reciprocal frames, the vector derivative and curvilinear ... · 17th santalo summer school 2016,...
TRANSCRIPT
![Page 1: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/1.jpg)
Reciprocal Frames, the Vector Derivative andCurvilinear Coordinates.
17th Santalo Summer School 2016, Santander
Joan Lasenby
Signal Processing Group,Engineering Department,
Cambridge, UKand
Trinity CollegeCambridge
[email protected], www-sigproc.eng.cam.ac.uk/ ∼ jl
22 August 2016
1 / 110
![Page 2: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/2.jpg)
Overview
Reciprocal Frames: examples of their use
definition and use of the vector derivative
Curvilinear Coordinates: how reciprocal frames can beused to simplify complicated mathematics.
Summary
2 / 110
![Page 3: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/3.jpg)
Overview
Reciprocal Frames: examples of their use
definition and use of the vector derivative
Curvilinear Coordinates: how reciprocal frames can beused to simplify complicated mathematics.
Summary
3 / 110
![Page 4: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/4.jpg)
Overview
Reciprocal Frames: examples of their use
definition and use of the vector derivative
Curvilinear Coordinates: how reciprocal frames can beused to simplify complicated mathematics.
Summary
4 / 110
![Page 5: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/5.jpg)
Overview
Reciprocal Frames: examples of their use
definition and use of the vector derivative
Curvilinear Coordinates: how reciprocal frames can beused to simplify complicated mathematics.
Summary
5 / 110
![Page 6: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/6.jpg)
Reciprocal Frames
Many problems in mathematics, physics and engineeringrequire a treatment of non-orthonormal frames.
Take a set of n linearly independent vectors {ek}; these are notnecessarily orthogonal nor of unit length.
Can we find a second set of vectors (in the same space), callthese {ek}, such that
ei·ej = δij
6 / 110
![Page 7: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/7.jpg)
Reciprocal Frames
Many problems in mathematics, physics and engineeringrequire a treatment of non-orthonormal frames.
Take a set of n linearly independent vectors {ek}; these are notnecessarily orthogonal nor of unit length.
Can we find a second set of vectors (in the same space), callthese {ek}, such that
ei·ej = δij
7 / 110
![Page 8: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/8.jpg)
Reciprocal Frames
Many problems in mathematics, physics and engineeringrequire a treatment of non-orthonormal frames.
Take a set of n linearly independent vectors {ek}; these are notnecessarily orthogonal nor of unit length.
Can we find a second set of vectors (in the same space), callthese {ek}, such that
ei·ej = δij
8 / 110
![Page 9: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/9.jpg)
Reciprocal Frames
Many problems in mathematics, physics and engineeringrequire a treatment of non-orthonormal frames.
Take a set of n linearly independent vectors {ek}; these are notnecessarily orthogonal nor of unit length.
Can we find a second set of vectors (in the same space), callthese {ek}, such that
ei·ej = δij
9 / 110
![Page 10: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/10.jpg)
Reciprocal Frames
10 / 110
![Page 11: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/11.jpg)
Reciprocal Frames cont....
We call such a frame a reciprocal frame. Note that since anyvector a can be written as a = akek ≡ ∑ akek (ie we are adoptingthe convention that repeated indices are summed over), wehave
ek ·a = ek ·(ajej) = aj(ek ·ej) = ajδkj = ak
Similarly, since we can also write a = akek ≡ ∑ akek
ek ·a = ek ·(ajej) = aj(ek ·ej) = ajδjk = ak
Thus we would be able to recover the components of a givenvector in a similar way to that used for orthonormal frames.
So how do we find a reciprocal frame?
11 / 110
![Page 12: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/12.jpg)
Reciprocal Frames cont....
We call such a frame a reciprocal frame. Note that since anyvector a can be written as a = akek ≡ ∑ akek (ie we are adoptingthe convention that repeated indices are summed over), wehave
ek ·a = ek ·(ajej) = aj(ek ·ej) = ajδkj = ak
Similarly, since we can also write a = akek ≡ ∑ akek
ek ·a = ek ·(ajej) = aj(ek ·ej) = ajδjk = ak
Thus we would be able to recover the components of a givenvector in a similar way to that used for orthonormal frames.
So how do we find a reciprocal frame?
12 / 110
![Page 13: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/13.jpg)
Reciprocal Frames cont....
We call such a frame a reciprocal frame. Note that since anyvector a can be written as a = akek ≡ ∑ akek (ie we are adoptingthe convention that repeated indices are summed over), wehave
ek ·a = ek ·(ajej) = aj(ek ·ej) = ajδkj = ak
Similarly, since we can also write a = akek ≡ ∑ akek
ek ·a = ek ·(ajej) = aj(ek ·ej) = ajδjk = ak
Thus we would be able to recover the components of a givenvector in a similar way to that used for orthonormal frames.
So how do we find a reciprocal frame?
13 / 110
![Page 14: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/14.jpg)
Reciprocal Frames cont....
We call such a frame a reciprocal frame. Note that since anyvector a can be written as a = akek ≡ ∑ akek (ie we are adoptingthe convention that repeated indices are summed over), wehave
ek ·a = ek ·(ajej) = aj(ek ·ej) = ajδkj = ak
Similarly, since we can also write a = akek ≡ ∑ akek
ek ·a = ek ·(ajej) = aj(ek ·ej) = ajδjk = ak
Thus we would be able to recover the components of a givenvector in a similar way to that used for orthonormal frames.
So how do we find a reciprocal frame?14 / 110
![Page 15: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/15.jpg)
Reciprocal Frames cont....
We need, for example, e1 to be orthogonal to the set of vectors{e2, e3, ..., en}. ie e1 must be perpendicular to the hyperplanee2∧e3∧....∧en.
We find this by dualisation, ie multiplication by I [note: I is then-d pseudoscalar for our space]. We form e1 via
e1 = αe2∧e3∧...∧enI
α is a scalar found by dotting with e1:
e1·e1 = 1 = e1·(αe2∧e3∧...∧enI) = α(e1∧e2∧...∧en)I
(this uses a useful GA relation a·(BI) = (a∧B)I).
15 / 110
![Page 16: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/16.jpg)
Reciprocal Frames cont....
We need, for example, e1 to be orthogonal to the set of vectors{e2, e3, ..., en}. ie e1 must be perpendicular to the hyperplanee2∧e3∧....∧en.
We find this by dualisation, ie multiplication by I [note: I is then-d pseudoscalar for our space]. We form e1 via
e1 = αe2∧e3∧...∧enI
α is a scalar found by dotting with e1:
e1·e1 = 1 = e1·(αe2∧e3∧...∧enI) = α(e1∧e2∧...∧en)I
(this uses a useful GA relation a·(BI) = (a∧B)I).
16 / 110
![Page 17: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/17.jpg)
Reciprocal Frames cont....
We need, for example, e1 to be orthogonal to the set of vectors{e2, e3, ..., en}. ie e1 must be perpendicular to the hyperplanee2∧e3∧....∧en.
We find this by dualisation, ie multiplication by I [note: I is then-d pseudoscalar for our space]. We form e1 via
e1 = αe2∧e3∧...∧enI
α is a scalar found by dotting with e1:
e1·e1 = 1 = e1·(αe2∧e3∧...∧enI) = α(e1∧e2∧...∧en)I
(this uses a useful GA relation a·(BI) = (a∧B)I).
17 / 110
![Page 18: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/18.jpg)
Reciprocal Frames ....
If we letEn = e1∧e2∧...∧en 6= 0
we see that αEnI = 1, so that α = E−1n I−1. Thus giving us
ek = (−1)k+1e1∧e2∧...∧ek∧...∧enE−1n
where the ek notation indicates that ek is missing from the blade.
These reciprocal frames are remarkably useful!
18 / 110
![Page 19: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/19.jpg)
Reciprocal Frames ....
If we letEn = e1∧e2∧...∧en 6= 0
we see that αEnI = 1, so that α = E−1n I−1. Thus giving us
ek = (−1)k+1e1∧e2∧...∧ek∧...∧enE−1n
where the ek notation indicates that ek is missing from the blade.
These reciprocal frames are remarkably useful!
19 / 110
![Page 20: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/20.jpg)
Reciprocal Frames ....
If we letEn = e1∧e2∧...∧en 6= 0
we see that αEnI = 1, so that α = E−1n I−1. Thus giving us
ek = (−1)k+1e1∧e2∧...∧ek∧...∧enE−1n
where the ek notation indicates that ek is missing from the blade.
These reciprocal frames are remarkably useful!
20 / 110
![Page 21: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/21.jpg)
Reciprocal Frames ....
If we letEn = e1∧e2∧...∧en 6= 0
we see that αEnI = 1, so that α = E−1n I−1. Thus giving us
ek = (−1)k+1e1∧e2∧...∧ek∧...∧enE−1n
where the ek notation indicates that ek is missing from the blade.
These reciprocal frames are remarkably useful!
21 / 110
![Page 22: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/22.jpg)
Exercises 1
1 Show that a·(BI) = (a∧B)I. [Hint: make use of the fact thata·(BrIn) = 〈aBrIn〉n−r−1].
2 For {f1, f2, f3} = {e1, e1 + 2e3, e1 + e2 + e3} show, usingthe given formulae, that the reciprocal frame is given by
{f 1, f 2, f 3} = {e1 −12(e2 + e3),
12(e3 − e2), e2}
[these are the reciprocal frames shown in the earlierpictures]
22 / 110
![Page 23: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/23.jpg)
Exercises 2
1 Interchanging the role of frame and reciprocal frame,verify that we can write the frame vectors as
ek = (−1)k+1e1∧e2∧...∧ek∧...∧en{En}−1
where En = e1∧e2∧...∧en 6= 0.
2 Now show that we can move vectors through each other(changing sign) to give
ek = (−1)k−1en∧en−1∧...∧ek∧...∧e1{IV}
where {En}−1 = IV, and V is therefore a volume factor.
23 / 110
![Page 24: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/24.jpg)
Example: Recovering a Rotor in 3-d
As an example of using reciprocal frames, consider the problemof recovering the rotor which rotates between two 3-dnon-orthonormal frames {ek} and {fk}, ie find R such that
fk = RekR
It is not too hard to show that R can be written as
R = β(1 + fkek)
where the constant β ensures that RR = 1.
A very easy way of recovering rotations.
24 / 110
![Page 25: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/25.jpg)
Example: Recovering a Rotor in 3-d
As an example of using reciprocal frames, consider the problemof recovering the rotor which rotates between two 3-dnon-orthonormal frames {ek} and {fk}, ie find R such that
fk = RekR
It is not too hard to show that R can be written as
R = β(1 + fkek)
where the constant β ensures that RR = 1.
A very easy way of recovering rotations.
25 / 110
![Page 26: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/26.jpg)
Example: Recovering a Rotor in 3-d
As an example of using reciprocal frames, consider the problemof recovering the rotor which rotates between two 3-dnon-orthonormal frames {ek} and {fk}, ie find R such that
fk = RekR
It is not too hard to show that R can be written as
R = β(1 + fkek)
where the constant β ensures that RR = 1.
A very easy way of recovering rotations.
26 / 110
![Page 27: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/27.jpg)
The Vector Derivative
A vector x can be represented in terms of coordinates in twoways:
x = xkek or x = xkek
(Summation implied). Depending on whether we expand interms of a given frame {ek} or its reciprocal {ek}. Thecoefficients in these two frames are therefore given by
xk = ek ·x and xk = ek ·x
Now define the following derivative operator which we call thevector derivative
∇ = ∑k
ek ∂
∂xk ≡ ek ∂
∂xk
..this is clearly a vector!
27 / 110
![Page 28: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/28.jpg)
The Vector Derivative
A vector x can be represented in terms of coordinates in twoways:
x = xkek or x = xkek
(Summation implied). Depending on whether we expand interms of a given frame {ek} or its reciprocal {ek}. Thecoefficients in these two frames are therefore given by
xk = ek ·x and xk = ek ·x
Now define the following derivative operator which we call thevector derivative
∇ = ∑k
ek ∂
∂xk ≡ ek ∂
∂xk
..this is clearly a vector!
28 / 110
![Page 29: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/29.jpg)
The Vector Derivative
A vector x can be represented in terms of coordinates in twoways:
x = xkek or x = xkek
(Summation implied). Depending on whether we expand interms of a given frame {ek} or its reciprocal {ek}. Thecoefficients in these two frames are therefore given by
xk = ek ·x and xk = ek ·x
Now define the following derivative operator which we call thevector derivative
∇ = ∑k
ek ∂
∂xk ≡ ek ∂
∂xk
..this is clearly a vector!
29 / 110
![Page 30: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/30.jpg)
The Vector Derivative
A vector x can be represented in terms of coordinates in twoways:
x = xkek or x = xkek
(Summation implied). Depending on whether we expand interms of a given frame {ek} or its reciprocal {ek}. Thecoefficients in these two frames are therefore given by
xk = ek ·x and xk = ek ·x
Now define the following derivative operator which we call thevector derivative
∇ = ∑k
ek ∂
∂xk ≡ ek ∂
∂xk
..this is clearly a vector!30 / 110
![Page 31: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/31.jpg)
The Vector Derivative, cont...
∇ = ∑k
ek ∂
∂xk
This is a definition so far, but we will now see how this formarises.
Suppose we have a function acting on vectors, F(x). Usingstandard definitions of rates of change, we can define thedirectional derivative of F in the direction of a vector a as
limε→0
F(x + εa)− F(x)ε
31 / 110
![Page 32: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/32.jpg)
The Vector Derivative, cont...
∇ = ∑k
ek ∂
∂xk
This is a definition so far, but we will now see how this formarises.
Suppose we have a function acting on vectors, F(x). Usingstandard definitions of rates of change, we can define thedirectional derivative of F in the direction of a vector a as
limε→0
F(x + εa)− F(x)ε
32 / 110
![Page 33: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/33.jpg)
The Vector Derivative, cont...
∇ = ∑k
ek ∂
∂xk
This is a definition so far, but we will now see how this formarises.
Suppose we have a function acting on vectors, F(x). Usingstandard definitions of rates of change, we can define thedirectional derivative of F in the direction of a vector a as
limε→0
F(x + εa)− F(x)ε
33 / 110
![Page 34: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/34.jpg)
The Vector Derivative, cont...
∇ = ∑k
ek ∂
∂xk
This is a definition so far, but we will now see how this formarises.
Suppose we have a function acting on vectors, F(x). Usingstandard definitions of rates of change, we can define thedirectional derivative of F in the direction of a vector a as
limε→0
F(x + εa)− F(x)ε
34 / 110
![Page 35: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/35.jpg)
The Vector Derivative cont....
Now, suppose we want the directional derivative in thedirection of one of our frame vectors, say e1, this is given by
limε→0
F((x1 + ε)e1 + x2e2 + x3e3)− F(x1e1 + x2e2 + x3e3)
ε
which we recognise as∂F(x)
∂x1
ie the derivative with respect to the first coordinate, keepingthe second and third coordinates constant.
35 / 110
![Page 36: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/36.jpg)
The Vector Derivative cont....
Now, suppose we want the directional derivative in thedirection of one of our frame vectors, say e1, this is given by
limε→0
F((x1 + ε)e1 + x2e2 + x3e3)− F(x1e1 + x2e2 + x3e3)
ε
which we recognise as∂F(x)
∂x1
ie the derivative with respect to the first coordinate, keepingthe second and third coordinates constant.
36 / 110
![Page 37: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/37.jpg)
The Vector Derivative cont....
Now, suppose we want the directional derivative in thedirection of one of our frame vectors, say e1, this is given by
limε→0
F((x1 + ε)e1 + x2e2 + x3e3)− F(x1e1 + x2e2 + x3e3)
ε
which we recognise as∂F(x)
∂x1
ie the derivative with respect to the first coordinate, keepingthe second and third coordinates constant.
37 / 110
![Page 38: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/38.jpg)
The Vector Derivative cont....
Now, suppose we want the directional derivative in thedirection of one of our frame vectors, say e1, this is given by
limε→0
F((x1 + ε)e1 + x2e2 + x3e3)− F(x1e1 + x2e2 + x3e3)
ε
which we recognise as∂F(x)
∂x1
ie the derivative with respect to the first coordinate, keepingthe second and third coordinates constant.
38 / 110
![Page 39: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/39.jpg)
Vector Derivative cont.....
So, if we wish to define a gradient operator, ∇, such that(a·∇)F(x) gives the directional derivative of F in the adirection, we clearly need:
ei·∇ =∂
∂xi for i = 1, 2, 3
...which, since ei·ej ∂∂xj =
∂∂xi , gives us the previous form of the
vector derivative:
∇ = ∑k
ek ∂
∂xk
39 / 110
![Page 40: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/40.jpg)
Vector Derivative cont.....
So, if we wish to define a gradient operator, ∇, such that(a·∇)F(x) gives the directional derivative of F in the adirection, we clearly need:
ei·∇ =∂
∂xi for i = 1, 2, 3
...which, since ei·ej ∂∂xj =
∂∂xi , gives us the previous form of the
vector derivative:
∇ = ∑k
ek ∂
∂xk
40 / 110
![Page 41: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/41.jpg)
Vector Derivative cont.....
So, if we wish to define a gradient operator, ∇, such that(a·∇)F(x) gives the directional derivative of F in the adirection, we clearly need:
ei·∇ =∂
∂xi for i = 1, 2, 3
...which, since ei·ej ∂∂xj =
∂∂xi , gives us the previous form of the
vector derivative:
∇ = ∑k
ek ∂
∂xk
41 / 110
![Page 42: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/42.jpg)
Vector Derivative cont.....
So, if we wish to define a gradient operator, ∇, such that(a·∇)F(x) gives the directional derivative of F in the adirection, we clearly need:
ei·∇ =∂
∂xi for i = 1, 2, 3
...which, since ei·ej ∂∂xj =
∂∂xi , gives us the previous form of the
vector derivative:
∇ = ∑k
ek ∂
∂xk
42 / 110
![Page 43: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/43.jpg)
The Vector Derivative cont....
It follows now that if we dot ∇ with a, we get the directionalderivative in the a direction:
a·∇ F(x) = limε→0
F(x + εa)− F(x)ε
We will see later that the definition of ∇ is independent of thechoice of frame.
43 / 110
![Page 44: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/44.jpg)
The Vector Derivative cont....
It follows now that if we dot ∇ with a, we get the directionalderivative in the a direction:
a·∇ F(x) = limε→0
F(x + εa)− F(x)ε
We will see later that the definition of ∇ is independent of thechoice of frame.
44 / 110
![Page 45: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/45.jpg)
Operating on Scalar and Vector Fields
Operating on:
A Scalar Field φ(x): it gives ∇φ which is the gradient.
A Vector Field J(x): it gives ∇J. This is a geometric product
Scalar part gives divergence
Bivector part gives curl
∇J = ∇·J +∇∧J
See later discussions of electromagnetism.
45 / 110
![Page 46: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/46.jpg)
Operating on Scalar and Vector Fields
Operating on:
A Scalar Field φ(x): it gives ∇φ which is the gradient.
A Vector Field J(x): it gives ∇J. This is a geometric product
Scalar part gives divergence
Bivector part gives curl
∇J = ∇·J +∇∧J
See later discussions of electromagnetism.
46 / 110
![Page 47: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/47.jpg)
Operating on Scalar and Vector Fields
Operating on:
A Scalar Field φ(x): it gives ∇φ which is the gradient.
A Vector Field J(x): it gives ∇J. This is a geometric product
Scalar part gives divergence
Bivector part gives curl
∇J = ∇·J +∇∧J
See later discussions of electromagnetism.
47 / 110
![Page 48: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/48.jpg)
Operating on Scalar and Vector Fields
Operating on:
A Scalar Field φ(x): it gives ∇φ which is the gradient.
A Vector Field J(x): it gives ∇J. This is a geometric product
Scalar part gives divergence
Bivector part gives curl
∇J = ∇·J +∇∧J
See later discussions of electromagnetism.
48 / 110
![Page 49: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/49.jpg)
Operating on Scalar and Vector Fields
Operating on:
A Scalar Field φ(x): it gives ∇φ which is the gradient.
A Vector Field J(x): it gives ∇J. This is a geometric product
Scalar part gives divergence
Bivector part gives curl
∇J = ∇·J +∇∧J
See later discussions of electromagnetism.
49 / 110
![Page 50: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/50.jpg)
Operating on Scalar and Vector Fields
Operating on:
A Scalar Field φ(x): it gives ∇φ which is the gradient.
A Vector Field J(x): it gives ∇J. This is a geometric product
Scalar part gives divergence
Bivector part gives curl
∇J = ∇·J +∇∧J
See later discussions of electromagnetism.
50 / 110
![Page 51: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/51.jpg)
Curvilinear Coordinates
Curvilinear coordinates are systems where the frame vectorsvary with position – the two most commonly used sets in 3-dare:
r(r, θ, φ) = rer r(ρ, θ, z) = ρeρ + zez
For spherical polars, our position vector is defined in terms of alength r and two angles θ, φ: =⇒ coordinates are (r, θ, φ).For cylindrical polars, our position vector is defined in terms oftwo lengths ρ, z and an angle φ: =⇒ coordinates are (ρ, φ, z).
51 / 110
![Page 52: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/52.jpg)
Curvilinear Coordinates
Curvilinear coordinates are systems where the frame vectorsvary with position – the two most commonly used sets in 3-dare:
r(r, θ, φ) = rer r(ρ, θ, z) = ρeρ + zez
For spherical polars, our position vector is defined in terms of alength r and two angles θ, φ: =⇒ coordinates are (r, θ, φ).For cylindrical polars, our position vector is defined in terms oftwo lengths ρ, z and an angle φ: =⇒ coordinates are (ρ, φ, z).
52 / 110
![Page 53: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/53.jpg)
Curvilinear Coordinates
Curvilinear coordinates are systems where the frame vectorsvary with position – the two most commonly used sets in 3-dare:
r(r, θ, φ) = rer r(ρ, θ, z) = ρeρ + zez
For spherical polars, our position vector is defined in terms of alength r and two angles θ, φ: =⇒ coordinates are (r, θ, φ).
For cylindrical polars, our position vector is defined in terms oftwo lengths ρ, z and an angle φ: =⇒ coordinates are (ρ, φ, z).
53 / 110
![Page 54: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/54.jpg)
Curvilinear Coordinates
Curvilinear coordinates are systems where the frame vectorsvary with position – the two most commonly used sets in 3-dare:
r(r, θ, φ) = rer r(ρ, θ, z) = ρeρ + zez
For spherical polars, our position vector is defined in terms of alength r and two angles θ, φ: =⇒ coordinates are (r, θ, φ).For cylindrical polars, our position vector is defined in terms oftwo lengths ρ, z and an angle φ: =⇒ coordinates are (ρ, φ, z).
54 / 110
![Page 55: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/55.jpg)
Curvilinear Coordinates cont....
In a general curvilinear setup we will have coordinatesxi, i = 1, ..., n, which are functions of the position vector, r.
Of course, we can also write the position vector, r, as a functionof the coordinates {xi} (as on previous page).
Vary one coordinate while keeping others fixed to create acoordinate curve. We can then create a set of frame vectors, callthem {ei}, by finding the derivatives along these curves:
ei(r) =∂r∂xi ≡ lim
ε→0
r(x1, ..., xi + ε, ..., xn)− r(x1, ..., xi, ..., xn)
ε
55 / 110
![Page 56: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/56.jpg)
Curvilinear Coordinates cont....
In a general curvilinear setup we will have coordinatesxi, i = 1, ..., n, which are functions of the position vector, r.
Of course, we can also write the position vector, r, as a functionof the coordinates {xi} (as on previous page).
Vary one coordinate while keeping others fixed to create acoordinate curve. We can then create a set of frame vectors, callthem {ei}, by finding the derivatives along these curves:
ei(r) =∂r∂xi ≡ lim
ε→0
r(x1, ..., xi + ε, ..., xn)− r(x1, ..., xi, ..., xn)
ε
56 / 110
![Page 57: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/57.jpg)
Curvilinear Coordinates cont....
In a general curvilinear setup we will have coordinatesxi, i = 1, ..., n, which are functions of the position vector, r.
Of course, we can also write the position vector, r, as a functionof the coordinates {xi} (as on previous page).
Vary one coordinate while keeping others fixed to create acoordinate curve. We can then create a set of frame vectors, callthem {ei}, by finding the derivatives along these curves:
ei(r) =∂r∂xi ≡ lim
ε→0
r(x1, ..., xi + ε, ..., xn)− r(x1, ..., xi, ..., xn)
ε
57 / 110
![Page 58: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/58.jpg)
Curvilinear Coordinates cont....
In a general curvilinear setup we will have coordinatesxi, i = 1, ..., n, which are functions of the position vector, r.
Of course, we can also write the position vector, r, as a functionof the coordinates {xi} (as on previous page).
Vary one coordinate while keeping others fixed to create acoordinate curve. We can then create a set of frame vectors, callthem {ei}, by finding the derivatives along these curves:
ei(r) =∂r∂xi ≡ lim
ε→0
r(x1, ..., xi + ε, ..., xn)− r(x1, ..., xi, ..., xn)
ε
58 / 110
![Page 59: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/59.jpg)
Curvilinear Coordinates cont....
Now recall from earlier that the derivative in the ei direction isei·∇, which is also the partial derivative wrt the xi coordinate:
ei·∇ =∂
∂xi
It then follows that
(ei·∇)xj ≡ ei·(∇xj) =∂xj
∂xi = δji
Therefore, using the definition of the reciprocal frame(ei·ej = δ
ji), we can deduce that
ej = ∇xj
Thus, we can construct a second, reciprocal, frame from thecoordinates using the vector derivative
59 / 110
![Page 60: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/60.jpg)
Curvilinear Coordinates cont....
Now recall from earlier that the derivative in the ei direction isei·∇, which is also the partial derivative wrt the xi coordinate:
ei·∇ =∂
∂xi
It then follows that
(ei·∇)xj ≡ ei·(∇xj) =∂xj
∂xi = δji
Therefore, using the definition of the reciprocal frame(ei·ej = δ
ji), we can deduce that
ej = ∇xj
Thus, we can construct a second, reciprocal, frame from thecoordinates using the vector derivative
60 / 110
![Page 61: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/61.jpg)
Curvilinear Coordinates cont....
Now recall from earlier that the derivative in the ei direction isei·∇, which is also the partial derivative wrt the xi coordinate:
ei·∇ =∂
∂xi
It then follows that
(ei·∇)xj ≡ ei·(∇xj) =∂xj
∂xi = δji
Therefore, using the definition of the reciprocal frame(ei·ej = δ
ji), we can deduce that
ej = ∇xj
Thus, we can construct a second, reciprocal, frame from thecoordinates using the vector derivative
61 / 110
![Page 62: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/62.jpg)
Curvilinear Coordinates cont....
Now recall from earlier that the derivative in the ei direction isei·∇, which is also the partial derivative wrt the xi coordinate:
ei·∇ =∂
∂xi
It then follows that
(ei·∇)xj ≡ ei·(∇xj) =∂xj
∂xi = δji
Therefore, using the definition of the reciprocal frame(ei·ej = δ
ji), we can deduce that
ej = ∇xj
Thus, we can construct a second, reciprocal, frame from thecoordinates using the vector derivative
62 / 110
![Page 63: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/63.jpg)
Curvilinear Coordinates cont....
Now recall from earlier that the derivative in the ei direction isei·∇, which is also the partial derivative wrt the xi coordinate:
ei·∇ =∂
∂xi
It then follows that
(ei·∇)xj ≡ ei·(∇xj) =∂xj
∂xi = δji
Therefore, using the definition of the reciprocal frame(ei·ej = δ
ji), we can deduce that
ej = ∇xj
Thus, we can construct a second, reciprocal, frame from thecoordinates using the vector derivative
63 / 110
![Page 64: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/64.jpg)
Curvilinear Coordinates cont....
Now recall from earlier that the derivative in the ei direction isei·∇, which is also the partial derivative wrt the xi coordinate:
ei·∇ =∂
∂xi
It then follows that
(ei·∇)xj ≡ ei·(∇xj) =∂xj
∂xi = δji
Therefore, using the definition of the reciprocal frame(ei·ej = δ
ji), we can deduce that
ej = ∇xj
Thus, we can construct a second, reciprocal, frame from thecoordinates using the vector derivative
64 / 110
![Page 65: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/65.jpg)
Curvilinear Coordinates : Summary
Given coordinates {xi, i = 1, ..., n}, which any position vector, r[note, use boldface to distinguish from distance from origin],can be expressed in terms of, we can define a set of framevectors as
ei(r) =∂r∂xi
We can then construct a second, reciprocal, frame from thecoordinates via
ej = ∇xj [note : ∇∧ej = ∇∧∇xj = 0]
We see therefore that the vector derivative is crucial in relatingcoordinates to frames – and we will see how this simplifiesmanipulations in curvilinear coordinates.
65 / 110
![Page 66: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/66.jpg)
Curvilinear Coordinates : Summary
Given coordinates {xi, i = 1, ..., n}, which any position vector, r[note, use boldface to distinguish from distance from origin],can be expressed in terms of, we can define a set of framevectors as
ei(r) =∂r∂xi
We can then construct a second, reciprocal, frame from thecoordinates via
ej = ∇xj [note : ∇∧ej = ∇∧∇xj = 0]
We see therefore that the vector derivative is crucial in relatingcoordinates to frames – and we will see how this simplifiesmanipulations in curvilinear coordinates.
66 / 110
![Page 67: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/67.jpg)
Curvilinear Coordinates : Summary
Given coordinates {xi, i = 1, ..., n}, which any position vector, r[note, use boldface to distinguish from distance from origin],can be expressed in terms of, we can define a set of framevectors as
ei(r) =∂r∂xi
We can then construct a second, reciprocal, frame from thecoordinates via
ej = ∇xj [note : ∇∧ej = ∇∧∇xj = 0]
We see therefore that the vector derivative is crucial in relatingcoordinates to frames – and we will see how this simplifiesmanipulations in curvilinear coordinates.
67 / 110
![Page 68: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/68.jpg)
Curvilinear Coordinates : Summary
Given coordinates {xi, i = 1, ..., n}, which any position vector, r[note, use boldface to distinguish from distance from origin],can be expressed in terms of, we can define a set of framevectors as
ei(r) =∂r∂xi
We can then construct a second, reciprocal, frame from thecoordinates via
ej = ∇xj [note : ∇∧ej = ∇∧∇xj = 0]
We see therefore that the vector derivative is crucial in relatingcoordinates to frames – and we will see how this simplifiesmanipulations in curvilinear coordinates.
68 / 110
![Page 69: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/69.jpg)
Curvilinear Coordinates : Summary
Given coordinates {xi, i = 1, ..., n}, which any position vector, r[note, use boldface to distinguish from distance from origin],can be expressed in terms of, we can define a set of framevectors as
ei(r) =∂r∂xi
We can then construct a second, reciprocal, frame from thecoordinates via
ej = ∇xj [note : ∇∧ej = ∇∧∇xj = 0]
We see therefore that the vector derivative is crucial in relatingcoordinates to frames – and we will see how this simplifiesmanipulations in curvilinear coordinates.
69 / 110
![Page 70: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/70.jpg)
Div, Grad, Curl in Curvilinear Coordinates
Gradient of a Scalar Function, ψ
∇ψ = ei ∂ψ
∂xi [vector]
Divergence of a Vector Function, J
∇·J = ei ∂
∂xi ·(Jjej) = ei·
∂(Jjej)
∂xi [scalar]
Curl of a Vector Function, J
∇∧J = ei ∂
∂xi∧(Jjej) = ei∧
∂(Jjej)
∂xi [bivector]
70 / 110
![Page 71: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/71.jpg)
Div, Grad, Curl in Curvilinear Coordinates
Gradient of a Scalar Function, ψ
∇ψ = ei ∂ψ
∂xi [vector]
Divergence of a Vector Function, J
∇·J = ei ∂
∂xi ·(Jjej) = ei·
∂(Jjej)
∂xi [scalar]
Curl of a Vector Function, J
∇∧J = ei ∂
∂xi∧(Jjej) = ei∧
∂(Jjej)
∂xi [bivector]
71 / 110
![Page 72: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/72.jpg)
Div, Grad, Curl in Curvilinear Coordinates
Gradient of a Scalar Function, ψ
∇ψ = ei ∂ψ
∂xi [vector]
Divergence of a Vector Function, J
∇·J = ei ∂
∂xi ·(Jjej) = ei·
∂(Jjej)
∂xi [scalar]
Curl of a Vector Function, J
∇∧J = ei ∂
∂xi∧(Jjej) = ei∧
∂(Jjej)
∂xi [bivector]
72 / 110
![Page 73: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/73.jpg)
Div, Grad, Curl cont....
Now, we can write the expressions for div and curl in a waywhich makes them easier to relate to the standard expressionsfor derivatives in curvilinear coordinates.
Divergence
∇·J = ∇·(Jiei) = ei·(∇Ji) + Ji(∇·ei)
(this is a simple application of the chain rule)
Now, take the pseudovector (n− 1-blade)P = (−1)k−1en∧en−1∧...∧ek∧...∧e1, and recall that ei = PIV [SeeExercises 2]. So that (where 〈X〉 denotes the scalar part of X)
∇·ei = 〈∇(PIV)〉 = 〈(∇P)IV〉+ 〈PI(∇V)〉
73 / 110
![Page 74: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/74.jpg)
Div, Grad, Curl cont....
Now, we can write the expressions for div and curl in a waywhich makes them easier to relate to the standard expressionsfor derivatives in curvilinear coordinates.
Divergence
∇·J = ∇·(Jiei) = ei·(∇Ji) + Ji(∇·ei)
(this is a simple application of the chain rule)
Now, take the pseudovector (n− 1-blade)P = (−1)k−1en∧en−1∧...∧ek∧...∧e1, and recall that ei = PIV [SeeExercises 2]. So that (where 〈X〉 denotes the scalar part of X)
∇·ei = 〈∇(PIV)〉 = 〈(∇P)IV〉+ 〈PI(∇V)〉
74 / 110
![Page 75: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/75.jpg)
Div, Grad, Curl cont....
Now, we can write the expressions for div and curl in a waywhich makes them easier to relate to the standard expressionsfor derivatives in curvilinear coordinates.
Divergence
∇·J = ∇·(Jiei) = ei·(∇Ji) + Ji(∇·ei)
(this is a simple application of the chain rule)
Now, take the pseudovector (n− 1-blade)P = (−1)k−1en∧en−1∧...∧ek∧...∧e1, and recall that ei = PIV [SeeExercises 2]. So that (where 〈X〉 denotes the scalar part of X)
∇·ei = 〈∇(PIV)〉 = 〈(∇P)IV〉+ 〈PI(∇V)〉
75 / 110
![Page 76: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/76.jpg)
Div, Grad, Curl cont....
Now, we can write the expressions for div and curl in a waywhich makes them easier to relate to the standard expressionsfor derivatives in curvilinear coordinates.
Divergence
∇·J = ∇·(Jiei) = ei·(∇Ji) + Ji(∇·ei)
(this is a simple application of the chain rule)
Now, take the pseudovector (n− 1-blade)P = (−1)k−1en∧en−1∧...∧ek∧...∧e1, and recall that ei = PIV [SeeExercises 2]. So that (where 〈X〉 denotes the scalar part of X)
∇·ei = 〈∇(PIV)〉 = 〈(∇P)IV〉+ 〈PI(∇V)〉
76 / 110
![Page 77: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/77.jpg)
Div, Grad, Curl cont....
Now, we can write the expressions for div and curl in a waywhich makes them easier to relate to the standard expressionsfor derivatives in curvilinear coordinates.
Divergence
∇·J = ∇·(Jiei) = ei·(∇Ji) + Ji(∇·ei)
(this is a simple application of the chain rule)
Now, take the pseudovector (n− 1-blade)P = (−1)k−1en∧en−1∧...∧ek∧...∧e1, and recall that ei = PIV [SeeExercises 2]. So that (where 〈X〉 denotes the scalar part of X)
∇·ei = 〈∇(PIV)〉 = 〈(∇P)IV〉+ 〈PI(∇V)〉
77 / 110
![Page 78: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/78.jpg)
Div, Grad, Curl cont....
After some manipulation (which will be outlined in thefollowing exercises) we are able to write
∇·J = ei·(∇Ji) + Ji(ei·∇(ln V))
= ei·(∇Ji) + J·(∇(ln V)) =1V
∂
∂xi (VJi)
∇·J = 1V
∂
∂xi (VJi)
78 / 110
![Page 79: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/79.jpg)
Div, Grad, Curl cont....
After some manipulation (which will be outlined in thefollowing exercises) we are able to write
∇·J = ei·(∇Ji) + Ji(ei·∇(ln V))
= ei·(∇Ji) + J·(∇(ln V)) =1V
∂
∂xi (VJi)
∇·J = 1V
∂
∂xi (VJi)
79 / 110
![Page 80: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/80.jpg)
Div, Grad, Curl cont....
We therefore have the following expressions: Gradient of aScalar Function, ψ
∇ψ = ei ∂ψ
∂xi [vector]
Divergence of a Vector Function, J
∇·J = 1V
∂
∂xi (VJi) [scalar]
Curl of a Vector Function, J
∇∧J = (∇Ji)∧ei [bivector]
80 / 110
![Page 81: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/81.jpg)
Div, Grad, Curl cont....
We therefore have the following expressions: Gradient of aScalar Function, ψ
∇ψ = ei ∂ψ
∂xi [vector]
Divergence of a Vector Function, J
∇·J = 1V
∂
∂xi (VJi) [scalar]
Curl of a Vector Function, J
∇∧J = (∇Ji)∧ei [bivector]
81 / 110
![Page 82: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/82.jpg)
Div, Grad, Curl cont....
We therefore have the following expressions: Gradient of aScalar Function, ψ
∇ψ = ei ∂ψ
∂xi [vector]
Divergence of a Vector Function, J
∇·J = 1V
∂
∂xi (VJi) [scalar]
Curl of a Vector Function, J
∇∧J = (∇Ji)∧ei [bivector]
82 / 110
![Page 83: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/83.jpg)
Exercises 3
1 Since IV is a pseudoscalar, show that
〈(∇P)IV〉 = 〈(∇∧P)IV)〉
2 Using the fact that ei = PIV, show that
PI(∇V) = ei∇(ln V)
3 Verify that ∇∧a∧b = (∇∧a)∧b− a∧(∇∧b) ,and then, using our previous result of ∇∧ei = 0, show that
∇∧P = 0
and therefore that
∇·ei = ei·∇(ln V)83 / 110
![Page 84: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/84.jpg)
Exercises 4
1 By expanding ∇∧J as
∇∧J = ∇∧(Jiei) = ∇∧(Jiei) + ∇∧(Jiei)
explain how we obtain the result ∇∧J = (∇Ji)∧ei
84 / 110
![Page 85: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/85.jpg)
An Example: Spherical Polars in 3d
Recall our coordinates are (r, θ, φ), and we also have anorthogonal set of unit vectors (er, eθ , eφ) as shown in thediagram. Thus, we can define a frame via ei =
∂r∂xi to be
er =∂r∂r
=∂(rer)
∂r= er
eθ =∂r∂θ
=∂(rer)
∂θ= r
∂er
∂θ= reθ
eφ =∂r∂φ
=∂(rer)
∂φ= r
∂er
∂φ= r
∂(cos θez + sin θeρ)
∂φ= r sin θeφ
85 / 110
![Page 86: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/86.jpg)
An Example: Spherical Polars in 3d
Recall our coordinates are (r, θ, φ), and we also have anorthogonal set of unit vectors (er, eθ , eφ) as shown in thediagram. Thus, we can define a frame via ei =
∂r∂xi to be
er =∂r∂r
=∂(rer)
∂r= er
eθ =∂r∂θ
=∂(rer)
∂θ= r
∂er
∂θ= reθ
eφ =∂r∂φ
=∂(rer)
∂φ= r
∂er
∂φ= r
∂(cos θez + sin θeρ)
∂φ= r sin θeφ
86 / 110
![Page 87: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/87.jpg)
An Example: Spherical Polars in 3d
Recall our coordinates are (r, θ, φ), and we also have anorthogonal set of unit vectors (er, eθ , eφ) as shown in thediagram. Thus, we can define a frame via ei =
∂r∂xi to be
er =∂r∂r
=∂(rer)
∂r= er
eθ =∂r∂θ
=∂(rer)
∂θ= r
∂er
∂θ= reθ
eφ =∂r∂φ
=∂(rer)
∂φ= r
∂er
∂φ= r
∂(cos θez + sin θeρ)
∂φ= r sin θeφ
87 / 110
![Page 88: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/88.jpg)
An Example: Spherical Polars in 3d
Recall our coordinates are (r, θ, φ), and we also have anorthogonal set of unit vectors (er, eθ , eφ) as shown in thediagram. Thus, we can define a frame via ei =
∂r∂xi to be
er =∂r∂r
=∂(rer)
∂r= er
eθ =∂r∂θ
=∂(rer)
∂θ= r
∂er
∂θ= reθ
eφ =∂r∂φ
=∂(rer)
∂φ= r
∂er
∂φ= r
∂(cos θez + sin θeρ)
∂φ= r sin θeφ
88 / 110
![Page 89: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/89.jpg)
An Example: Spherical Polars in 3d cont...
From the definition of reciprocal frame we therefore see thatthe reciprocal vectors are given by
er = er eθ =1r
eθ eφ =1
r sin θeφ
(check that ei·ej = δij).
Now we can use our previous formulae to give us grad, divand curl in spherical polars.
Gradient
∇ψ = ei ∂ψ
∂xi =∂ψ
∂rer +
1r
∂ψ
∂θeθ +
1r sin θ
∂ψ
∂φeφ
Which agrees with the formula given in tables etc.
89 / 110
![Page 90: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/90.jpg)
An Example: Spherical Polars in 3d cont...
From the definition of reciprocal frame we therefore see thatthe reciprocal vectors are given by
er = er eθ =1r
eθ eφ =1
r sin θeφ
(check that ei·ej = δij).
Now we can use our previous formulae to give us grad, divand curl in spherical polars.
Gradient
∇ψ = ei ∂ψ
∂xi =∂ψ
∂rer +
1r
∂ψ
∂θeθ +
1r sin θ
∂ψ
∂φeφ
Which agrees with the formula given in tables etc.
90 / 110
![Page 91: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/91.jpg)
An Example: Spherical Polars in 3d cont...
From the definition of reciprocal frame we therefore see thatthe reciprocal vectors are given by
er = er eθ =1r
eθ eφ =1
r sin θeφ
(check that ei·ej = δij).
Now we can use our previous formulae to give us grad, divand curl in spherical polars.
Gradient
∇ψ = ei ∂ψ
∂xi =∂ψ
∂rer +
1r
∂ψ
∂θeθ +
1r sin θ
∂ψ
∂φeφ
Which agrees with the formula given in tables etc.
91 / 110
![Page 92: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/92.jpg)
An Example: Spherical Polars in 3d cont...
From the definition of reciprocal frame we therefore see thatthe reciprocal vectors are given by
er = er eθ =1r
eθ eφ =1
r sin θeφ
(check that ei·ej = δij).
Now we can use our previous formulae to give us grad, divand curl in spherical polars.
Gradient
∇ψ = ei ∂ψ
∂xi =∂ψ
∂rer +
1r
∂ψ
∂θeθ +
1r sin θ
∂ψ
∂φeφ
Which agrees with the formula given in tables etc.
92 / 110
![Page 93: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/93.jpg)
An Example: Spherical Polars in 3d cont...
From the definition of reciprocal frame we therefore see thatthe reciprocal vectors are given by
er = er eθ =1r
eθ eφ =1
r sin θeφ
(check that ei·ej = δij).
Now we can use our previous formulae to give us grad, divand curl in spherical polars.
Gradient
∇ψ = ei ∂ψ
∂xi =∂ψ
∂rer +
1r
∂ψ
∂θeθ +
1r sin θ
∂ψ
∂φeφ
Which agrees with the formula given in tables etc.
93 / 110
![Page 94: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/94.jpg)
An Example: Spherical Polars in 3d cont...
Divergence
∇·J = 1V
∂(VJi)
∂xi =1
r2 sin θ
∂(r2 sin θJr)
∂r+
1r2 sin θ
∂(r2 sin θJθ)
∂θ+
1r2 sin θ
∂(r2 sin θJφ)
∂φ
=1r2
∂(r2Jr)
∂r+
1sin θ
∂(sin θJθ)
∂θ+
∂Jφ
∂φ
Since V = −r2 sin θ (see exercises).Now, note that
J = Jrer + Jθeθ + Jφeφ = Jrer + Jθ(reθ)+ Jφ(r sin θ)eφ = Jrer + Jθ eθ + Jφeφ
Which agrees with the formula given in tables etc.
∇·J = 1r2
∂(r2Jr)
∂r+
1r sin θ
∂(sin θJθ)
∂θ+
1r sin θ
∂Jφ
∂φ
94 / 110
![Page 95: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/95.jpg)
An Example: Spherical Polars in 3d cont...
Divergence
∇·J = 1V
∂(VJi)
∂xi =1
r2 sin θ
∂(r2 sin θJr)
∂r+
1r2 sin θ
∂(r2 sin θJθ)
∂θ+
1r2 sin θ
∂(r2 sin θJφ)
∂φ
=1r2
∂(r2Jr)
∂r+
1sin θ
∂(sin θJθ)
∂θ+
∂Jφ
∂φ
Since V = −r2 sin θ (see exercises).
Now, note that
J = Jrer + Jθeθ + Jφeφ = Jrer + Jθ(reθ)+ Jφ(r sin θ)eφ = Jrer + Jθ eθ + Jφeφ
Which agrees with the formula given in tables etc.
∇·J = 1r2
∂(r2Jr)
∂r+
1r sin θ
∂(sin θJθ)
∂θ+
1r sin θ
∂Jφ
∂φ
95 / 110
![Page 96: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/96.jpg)
An Example: Spherical Polars in 3d cont...
Divergence
∇·J = 1V
∂(VJi)
∂xi =1
r2 sin θ
∂(r2 sin θJr)
∂r+
1r2 sin θ
∂(r2 sin θJθ)
∂θ+
1r2 sin θ
∂(r2 sin θJφ)
∂φ
=1r2
∂(r2Jr)
∂r+
1sin θ
∂(sin θJθ)
∂θ+
∂Jφ
∂φ
Since V = −r2 sin θ (see exercises).Now, note that
J = Jrer + Jθeθ + Jφeφ = Jrer + Jθ(reθ)+ Jφ(r sin θ)eφ = Jrer + Jθ eθ + Jφeφ
Which agrees with the formula given in tables etc.
∇·J = 1r2
∂(r2Jr)
∂r+
1r sin θ
∂(sin θJθ)
∂θ+
1r sin θ
∂Jφ
∂φ
96 / 110
![Page 97: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/97.jpg)
An Example: Spherical Polars in 3d cont...
Divergence
∇·J = 1V
∂(VJi)
∂xi =1
r2 sin θ
∂(r2 sin θJr)
∂r+
1r2 sin θ
∂(r2 sin θJθ)
∂θ+
1r2 sin θ
∂(r2 sin θJφ)
∂φ
=1r2
∂(r2Jr)
∂r+
1sin θ
∂(sin θJθ)
∂θ+
∂Jφ
∂φ
Since V = −r2 sin θ (see exercises).Now, note that
J = Jrer + Jθeθ + Jφeφ = Jrer + Jθ(reθ)+ Jφ(r sin θ)eφ = Jrer + Jθ eθ + Jφeφ
Which agrees with the formula given in tables etc.
∇·J = 1r2
∂(r2Jr)
∂r+
1r sin θ
∂(sin θJθ)
∂θ+
1r sin θ
∂Jφ
∂φ
97 / 110
![Page 98: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/98.jpg)
An Example: Spherical Polars in 3d cont...
Curl∇∧J = (∇Ji)∧ei =[
∂Jr
∂θ− ∂Jθ
∂r
](er∧eθ)+
[∂Jφ
∂θ− ∂Jθ
∂φ
](eθ∧eφ)+
[∂Jr
∂φ−
∂Jφ
∂r
](eφ∧er)
Now look at the second component, noting thateθ∧eφ = 1
r eθ∧ 1r sin θ eφ = 1
r2 sin θerI,[
∂Jφ
∂θ− ∂Jθ
∂φ
](eθ∧eφ) =
[∂(r sin θJφ)
∂θ− ∂(rJθ)
∂φ
]1
r2 sin θerI
which can be written to agree with conventional tabulatedform (though we have a bivector and not a vector):
1r sin θ
[∂(sin θJφ)
∂θ− ∂(Jθ)
∂φ
]erI
98 / 110
![Page 99: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/99.jpg)
An Example: Spherical Polars in 3d cont...
Curl∇∧J = (∇Ji)∧ei =[
∂Jr
∂θ− ∂Jθ
∂r
](er∧eθ)+
[∂Jφ
∂θ− ∂Jθ
∂φ
](eθ∧eφ)+
[∂Jr
∂φ−
∂Jφ
∂r
](eφ∧er)
Now look at the second component, noting thateθ∧eφ = 1
r eθ∧ 1r sin θ eφ = 1
r2 sin θerI,
[∂Jφ
∂θ− ∂Jθ
∂φ
](eθ∧eφ) =
[∂(r sin θJφ)
∂θ− ∂(rJθ)
∂φ
]1
r2 sin θerI
which can be written to agree with conventional tabulatedform (though we have a bivector and not a vector):
1r sin θ
[∂(sin θJφ)
∂θ− ∂(Jθ)
∂φ
]erI
99 / 110
![Page 100: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/100.jpg)
An Example: Spherical Polars in 3d cont...
Curl∇∧J = (∇Ji)∧ei =[
∂Jr
∂θ− ∂Jθ
∂r
](er∧eθ)+
[∂Jφ
∂θ− ∂Jθ
∂φ
](eθ∧eφ)+
[∂Jr
∂φ−
∂Jφ
∂r
](eφ∧er)
Now look at the second component, noting thateθ∧eφ = 1
r eθ∧ 1r sin θ eφ = 1
r2 sin θerI,[
∂Jφ
∂θ− ∂Jθ
∂φ
](eθ∧eφ) =
[∂(r sin θJφ)
∂θ− ∂(rJθ)
∂φ
]1
r2 sin θerI
which can be written to agree with conventional tabulatedform (though we have a bivector and not a vector):
1r sin θ
[∂(sin θJφ)
∂θ− ∂(Jθ)
∂φ
]erI
100 / 110
![Page 101: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/101.jpg)
An Example: Spherical Polars in 3d cont...
Curl∇∧J = (∇Ji)∧ei =[
∂Jr
∂θ− ∂Jθ
∂r
](er∧eθ)+
[∂Jφ
∂θ− ∂Jθ
∂φ
](eθ∧eφ)+
[∂Jr
∂φ−
∂Jφ
∂r
](eφ∧er)
Now look at the second component, noting thateθ∧eφ = 1
r eθ∧ 1r sin θ eφ = 1
r2 sin θerI,[
∂Jφ
∂θ− ∂Jθ
∂φ
](eθ∧eφ) =
[∂(r sin θJφ)
∂θ− ∂(rJθ)
∂φ
]1
r2 sin θerI
which can be written to agree with conventional tabulatedform (though we have a bivector and not a vector):
1r sin θ
[∂(sin θJφ)
∂θ− ∂(Jθ)
∂φ
]erI
101 / 110
![Page 102: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/102.jpg)
An Example: Spherical Polars in 3d cont...
Curl∇∧J = (∇Ji)∧ei =[
∂Jr
∂θ− ∂Jθ
∂r
](er∧eθ)+
[∂Jφ
∂θ− ∂Jθ
∂φ
](eθ∧eφ)+
[∂Jr
∂φ−
∂Jφ
∂r
](eφ∧er)
Now look at the second component, noting thateθ∧eφ = 1
r eθ∧ 1r sin θ eφ = 1
r2 sin θerI,[
∂Jφ
∂θ− ∂Jθ
∂φ
](eθ∧eφ) =
[∂(r sin θJφ)
∂θ− ∂(rJθ)
∂φ
]1
r2 sin θerI
which can be written to agree with conventional tabulatedform (though we have a bivector and not a vector):
1r sin θ
[∂(sin θJφ)
∂θ− ∂(Jθ)
∂φ
]erI
102 / 110
![Page 103: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/103.jpg)
Exercises 5
1 For 3d spherical polars, show that V = −r2 sin θ, whereVI = (En)−1 and En = er∧eθ∧eφ.
2 Show that the eφ∧er component of ∇∧J can be written as:
1r
[1
sin θ
∂(Jr)
∂φ−
∂(rJφ)
∂r
]eθI
3 Show that the er∧eθ component on ∇∧J can be written as:
1r
[1r
∂(rJθ)
∂r− ∂(Jr)
∂θ
]eφI
Check these against standard tabulated formulae.
103 / 110
![Page 104: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/104.jpg)
Connection with conventional Lame Coefficients
Conventionally, sets of Lame Coefficients are defined to be
hi =
∣∣∣∣ ∂r∂xi
∣∣∣∣
In our language we therefore have hi = |ei|, ie simply themoduli of the frame vectors defined by the coordinates.
All expressions of div, grad, curl etc in terms of the his, can thenbe directly related to the expressions we derive in GA.
104 / 110
![Page 105: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/105.jpg)
Connection with conventional Lame Coefficients
Conventionally, sets of Lame Coefficients are defined to be
hi =
∣∣∣∣ ∂r∂xi
∣∣∣∣In our language we therefore have hi = |ei|, ie simply themoduli of the frame vectors defined by the coordinates.
All expressions of div, grad, curl etc in terms of the his, can thenbe directly related to the expressions we derive in GA.
105 / 110
![Page 106: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/106.jpg)
Connection with conventional Lame Coefficients
Conventionally, sets of Lame Coefficients are defined to be
hi =
∣∣∣∣ ∂r∂xi
∣∣∣∣In our language we therefore have hi = |ei|, ie simply themoduli of the frame vectors defined by the coordinates.
All expressions of div, grad, curl etc in terms of the his, can thenbe directly related to the expressions we derive in GA.
106 / 110
![Page 107: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/107.jpg)
Summary
We have
Defined the concept of a Reciprocal Frame
Shown how to construct Reciprocal Frames
Using reciprocal frames, defined and motivated the formof the Vector Derivative
Shown how to relate coordinates, frame vectors andreciprocal frame vectors in curvilinear coordinate systems.
107 / 110
![Page 108: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/108.jpg)
Summary
We have
Defined the concept of a Reciprocal Frame
Shown how to construct Reciprocal Frames
Using reciprocal frames, defined and motivated the formof the Vector Derivative
Shown how to relate coordinates, frame vectors andreciprocal frame vectors in curvilinear coordinate systems.
108 / 110
![Page 109: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/109.jpg)
Summary
We have
Defined the concept of a Reciprocal Frame
Shown how to construct Reciprocal Frames
Using reciprocal frames, defined and motivated the formof the Vector Derivative
Shown how to relate coordinates, frame vectors andreciprocal frame vectors in curvilinear coordinate systems.
109 / 110
![Page 110: Reciprocal Frames, the Vector Derivative and Curvilinear ... · 17th Santalo Summer School 2016, Santander´ Joan Lasenby Signal Processing Group, Engineering Department, Cambridge,](https://reader034.vdocuments.us/reader034/viewer/2022050218/5f63ef73b0a5403ab95c1b2b/html5/thumbnails/110.jpg)
Summary
We have
Defined the concept of a Reciprocal Frame
Shown how to construct Reciprocal Frames
Using reciprocal frames, defined and motivated the formof the Vector Derivative
Shown how to relate coordinates, frame vectors andreciprocal frame vectors in curvilinear coordinate systems.
110 / 110