Professional Documents
Culture Documents
for E ngineers
Second Edition
This publication, portions of it, or any accompanying software may not be reproduced in any
way, stored in a retrieval system of any type, or transmitted by any means, media, electronic display
or mechanical display, including, but not limited to, photocopy, recording, Internet postings, or
scanning, without prior permission in writing from the publisher.
The publisher recognizes and respects all marks used by companies, manufacturers, and developers
as a means to distinguish their products. All brand names and product names mentioned in this book
are trademarks or service marks of their respective companies. Any omission or misuse (of any kind) of
service marks or trademarks, etc. is not an attempt to infringe on the property of others.
202122321 This book is printed on acid-free paper in the United States of America.
Our titles are available for adoption, license, or bulk purchase by institutions, corporations, etc. For
additional information, please contact the Customer Service Dept. at 800-232-0223(toll free).
All of our titles are available in digital format at www.academiccourseware.com and other digital vendors.
The sole obligation of Mercury Learning and Information to the purchaser is to replace the book,
based on defective materials or faulty workmanship, but not based on the operation or functionality of
the product.
Chapter 1: Introduction 1
1.1 Index Notation—The Einstein Summation Convention 2
Chapter 2: Coordinate Systems Definition 3
Chapter 3: Basis Vectors and Scale Factors 5
Chapter 4: Contravariant Components and Transformations 9
Chapter 5: Covariant Components and Transformations 13
Chapter 6: Physical Components and Transformations 15
Chapter 7: Tensors—Mixed and Metric 17
Chapter 8: Metric Tensor Operation on Tensor Indices 21
8.1 Example: Cylindrical Coordinate Systems 23
8.2 Example: Spherical Coordinate Systems 25
Chapter 9: Dot and Cross Products of Tensors 29
9.1 Determinant of an N × N Matrix Using
Permutation Symbols 34
Chapter 10: Gradient Vector Operator—Christoffel Symbols 35
10.1 Covariant Derivatives of Vectors—Christoffel
Symbols of the 2nd Kind 35
10.2 Contravariant Derivatives of Vectors 39
10.3 Covariant Derivatives of a Mixed Tensor 40
10.4 Christoffel Symbol Relations and
Properties—1st and 2nd Kinds 41
References 177
Index 179
1
INTRODUCTION
2
COORDINATE SYSTEMS
DEFINITION
In this book, we limit the geometry to that known as Euclidean geometry [2], [4],
[5]. Therefore, curved space geometry (i.e., Riemann geometry), space-time,
and discussions of General Relativity are not included. However, curvilinear
coordinate systems and oblique non-orthogonal systems are covered, where
applicable, and defined with reference to Euclidean geometry/space.
3
BASIS VECTORS AND
SCALE FACTORS
The magnitude of this vector is the square root of the dot-product of ds with
itself,
ds = ds ⋅ ds = dyi dy j Ei ⋅ E j 3.3
FIGURE 3.1 A Cartesian system with unit vectors and an incremental vector ds.
1 for i = j
Ei ⋅ E j =
3.5
0 for i ≠ j
Which also shows that the basis/unit vectors in Cartesian system yi are mutu-
ally perpendicular or the system is orthogonal, as defined.
Now we assume an arbitrary system x i, which may be neither rectilinear
nor orthogonal (see Figure 3.2). In this system the distance between
two
points—say P and P′—is the same when considering the vector ds . In other
words, the vector components in system x i compared to those in system yi
could change along with the basis vector corresponding to system x i such
that the vector itself remains the same, or as an invariant. This requirement
is simply a statement of independence of physical quantities (and the laws of
nature) regardless of the coordinate system we consider for calculation and
analysis. Therefore, we have
i
= ds dx = ei dyi Ei 3.6
where ei is the basis vector corresponding to system x i. In general the basis
vector ei can vary, both in magnitude and/or direction, from point to point
in space. Also, the dx i may be dimensionless, like the angle coordinate in a
polar coordinate system.
The magnitude of basis vector ei is the scale factor hi, or
hi = ei 3.7
Note that hi is unity for a Cartesian coordinate system and may be d
ifferent
from unity in general curvilinear systems. We will derive formulae for
the calculation of hi in an arbitrary coordinate system in further sections.
The unit vector e ( i ) can be defined as
ei
e ( i) = ( no summation on i ) 3.8
hi
Obviously, in a Cartesian system the unit vectors and the basis vectors are
identical, since hi is unity.
1
Common copyright (cc), https://commons.m.wikimedia.org/wiki/File:Vector_1-form.
svg#mw-jump-to-license
4
CONTRAVARIANT
COMPONENTS AND
TRANSFORMATIONS
x i = Fi ( y1 , y2 ,, yN )4.1
gives N number of functions transforming yi to x i system. Inversely [4], we
can transform from x i to yi system using function Gi given as
yi = Gi ( x1 , x2 ,, x N ) 4.2
For example, for a 2D polar coordinate system, ( r ,θ ) ≡ ( x1 , x2 ) with refer-
ence to Cartesian system ( X , Y ) ≡ ( y1 , y2 ) we have
X = r cosθ y = x cos ( x )
1 1 2
≡ 2 . Or inversely,
Y = r sin θ y = x sin ( x )
1 2
1
( y1 ) + ( y2 )
2 2
r
= X2 + Y2 = x
−1 Y
≡ y2 .
θ = tan x2 = tan −1 1
X y
The Jacobian can be interpreted as the density of the space. In other words,
let’s say that we have = 5 for a given system x i . This means that we have
packed 5 units of Cartesian space into a volume in x i space through trans-
formation from Cartesian to the given system. The smaller the Jacobian, the
smaller the space density would be and vice versa.
Similarly, we can use function Fi (see Equation 4.1) to have
∂x i
dx i = dy j4.5
∂y j
It can be shown [4], [2], that the determinant of transformation coefficient
∂x i
is the inverse of , or
∂y j
∂x1 ∂x1
∂y1 ∂yN
∂ ( x1 , x2 ,, x N )
−1
= = 4.6
∂ ( y1 , y2 ,, yN )
∂x N
∂x N
∂y1 ∂yN
Equations 4.3 and 4.5 show a pattern for the transformation of differentials
dyi and dx i, respectively. That is, the partial derivatives of the c orresponding
coordinates appear in the numerator of the transformation coefficient.
Nevertheless, one can ask: does this pattern maintain for general system-to-
system transformation? The short answer is “yes” [7]. Hence, for arbitrary
systems x i and x′i we have
∂x i ∂x′i j
=dx i = dx′ j
and dx′ i
dx 4.7
∂x′ j ∂x j
Any quantity, say A i, that transforms according to Equation 4.7 is defined as
a contravariant type, with the standard notation of having the index i as a
superscript. Therefore, transformation A i A′i reads
∂x′i j ∂x j i
=A′i = A and A j
A′ 4.8
∂x j ∂x′i
Obviously, performing the related calculations requires the functional
relations between the two systems, i.e., x i = func ( x′1 , x′2 ,, x′N ) or
x′i = func ( x1 , x2 ,, x N ) . This in turn requires having the Cartesian system
as a reference for calculating the values of A j or A′i, since x i and x′i are arbi-
i
trary. For example, transforming A directly from a spherical to a cylindrical
system requires having the functional relations between these coordinates
with reference to the Cartesian system as the main reference.
The contravariant component of a vector has a geometrical meaning as well.
To show this, we consider a rectilinear non-orthogonal system ( x1 , x2 ) in 2D,
as shown in Figure 4.1. The components of vector A can be obtained by
drawing parallel lines to the coordinates x1 and x2 to find contravariant com-
ponents A1 and A2, respectively.
With reference to Figure 4.1, we can also find another set of components,
A1 and A2 of the same vector A by drawing perpendicular lines to the
coordinates x1 and x2 . This is shown in Figure 4.2. Obviously, components
A1 and A2 are different in magnitude from the contravariant components.
We define A1 and A2 as covariant components. In the next section we define
the transformation rule for covariant quantities.
5
COVARIANT COMPONENTS
AND TRANSFORMATIONS
Since dx′k is arbitrary (i.e., the relation is valid for any choice of system
x′k and selections
=
of dx′k i ≠ 0 and dx′k ≠ i =
0 , for all values of i = 1,2,, N )
therefore the expression in the bracket must be equal to zero, or we have
∂x j
e′k = k e j 5.3
∂x′
∂x′ j ∂x i
=Ai = A′ and A′ Ai 5.4
∂x′ j
j j
∂x i
See Figure 4.2 for the geometrical interpretation of the covariant c omponent
of a vector.
6
PHYSICAL COMPONENTS
AND TRANSFORMATIONS
Having defined the contravariant and covariant quantities, like those of the
components of a vector, one can ask this question: which one of these two types
of components is the actual vector’s components in magnitude? The short
answer is “none”! However, note that the combination of the contravariant or
covariant components and their corresponding basis vectors (contravariant
basis vectors will be defined in further section) gives the magnitude of the
vector correctly. To find the actual magnitude of the vector, we should find
the unit vectors and then the components of the vector corresponding to
these unit vectors, or the physical components. In other words, the physical
components of a vector (or in general, a tensor) are scalars whose physical
dimensions and magnitudes are those of the components
vectors tangent
to the coordinates’ lines. Therefore, for vector A , if we designate A ( i ) as
its physical component and the corresponding unit vector as e ( i ) we can
write, then
i
=A A= ei A ( i ) e ( i ) 6.1
Now, using Equation 3.8 and substituting for ei we can write
i
A e ( i ) hi = A ( i ) e ( i ) . Therefore,
A ( i ) = A i hi , ( no summation on i ) 6.2
7
TENSORS—MIXED AND
METRIC
Since A is invariant, its value remains the same regardless of the coordi-
nate system used. We transform A from an arbitrary coordinate system x′i
ij
to another system, say x i , or A′ e′i e′j = A km ek em . Now, using Equation 5.3,
we transform the covariant basis vectors ek and em to system x′i . Therefore,
∂x′i ∂x′ j
we have A km ek em = A km k m e′i e′j . Using these last two relations, we obtain
∂x ∂x
∂x ′ i
∂x ′ j
e′i e′j A′ij − k m A km = 0 . Therefore, since basis vectors are non-zero,
∂x ∂x
we have
∂x′i ∂x′ j km
A′ij = A 7.2
∂x k ∂x m
The term in the bracket, on the R.H.S of Equation 7.6, is a scalar (i.e., a t ensor
of rank zero) resulting from a dot-product operation on the basis vectors.
Hence, we can write it as
= j cos α
ei ⋅ e j ei e= hi h j cos α
7.7
where α is the angle between the tangents to x i and x j axes of the c oordinate
system at the selected point in space. Geometrically speaking, Equation 7.7
is the multiplication of the magnitude of a basis vector with the projection of
the other one along the direction of the original one. Therefore, this quantity
could be used to identify whether a system (or at least the basis vectors
selected) is orthogonal or not. Also, it could be a metric for measuring the
distance over a curved surface. It has more properties and applications, which
we will encounter in future sections; hence, it is designated by a s ymbol and
a name, i.e., metric tensor gij
gij= ei ⋅ e j 7.8
It is easily seen from Equation 7.8 that a metric tensor is symmetric since
order in a dot-product is irrelevant (i.e., commutative). Also, if gij = 0 for
i ≠ j then the coordinates of the system x i are orthogonal. For example, the
metric tensor in a 3D orthogonal system can be represented by a 3 × 3 matrix
containing null off-diagonal elements,
g11 0 0
gij = 0 g22 0 , orthogonal system 7.9
0 0 g33
It would be useful to apply metric tensor definitions and expand Equation
7.6 using Equations 7.7 and 7.9 for an orthogonal 3D system, which gives
For example, in a Cartesian system we recover the familiar form of
theorem (i.e., ds = ( dX ) + ( dY ) + ( dZ ) ), since
2 2 2 2
the Pythagorean
g11 = g22 = g33 = Ei ⋅ Ei = 1. Similarly, for a spherical coordinate system ( r ,ϕ ,θ )
no sum on i
we have h= 2
1 g=
11 1 , h=
2
2 g=22 r 2 , and h=2
3 g=
33 r 2 sin 2 ϕ (see Example 8.2
for scale factors). Therefore, we obtain ds =2
( dr ) + r 2 ( dϕ )2 + r 2 sin 2 ϕ ( dθ )2 .
2
So far, we have not shown that gij is a tensor. To do this, we transform the
metric tensor to another arbitrary coordinate system, say x′i . We then can
∂x k ∂x m ∂x k ∂x m
write g′ij = e′i ⋅ e′j = i ( e ⋅ e ) . Therefore, we have g ′ = gkm ;
∂x′ ∂x′ j k ∂x′i ∂x′ j
m ij
= gkm
that is, when compared to Equation 7.4 we can conclude that gkm is a doubly
covariant tensor.
=
g g=
ij 2 7.12
=g g=
11 g22 g NN h12 h12 hN2 , orthogonal system 7.13
Note that= gii e= i ei hi2 (no sum on i ) (see Equation 7.7). From
Equations 7.12 and 7.13 we can conclude that the Jacobian for an orthogonal
system is equal to the products of the scale factors, or
= h1 h2 hN , orthogonal system7.14
8
METRIC TENSOR OPERATION
ON TENSOR INDICES
j
nent. Now, we show that the quantity A gij is transformed like a covari-
ant quantity, according to Equation 5.4. Considering systems x i and x′i ,
∂x′ j k ∂x m ∂x n ∂x′ j ∂x n ∂x m k
=
we can write A′ j g′ij = A i g
j mn k j
A gmn .
∂x ∂x′ ∂x′ ∂x ∂x′ ∂x′
k i
∂x′ j ∂x n ∂x n 1 , n = k
Note that the expression = = δ kn , where δ kn = is
∂x ∂x′
k j
∂x k
0, n ≠ k
a mixed second rank tensor (a Kronecker delta). Therefore, we have
∂x′ j ∂x n ∂x m k ∂x m n k ∂x m n
k = j
A g = ( k ) mn ∂x′i ( A gmn ) . The expression in
δ A g
∂x ∂x′ ∂x′ ∂x′i
i mn
n
=A
the last bracket is actually Am, according to our definition. Finally, we have
∂x m
A′i A=
= ′ j g′ij Am , which clearly shows that the quantity A′ j g′ij is trans-
∂x′i
formed like a covariant component (see Equation 5.4). Therefore, we have,
also using the symmetry property of a metric tensor or gij = g ji ,
=
Ai A=
j
gij A j g ji 8.1
Using Equation 8.1, we can write the expression for a contravariant basis
vector, or
ei = e j gij 8.2
which shows that the metric tensor lowers the contravariant index, whilethe
dummy index is dropped out. This will enable us to write the vector A in
terms of covariant or contravariant basis vectors, as
i
= A A= (
ei A i gij=
ej ) ( )
A i gij =
e j A j e j 8.3
So far, we have defined the doubly covariant metric tensor gij . Similarly, the
doubly contravariant metric tensor is defined g ij = e i ⋅ e j . Therefore, we can
write
i ij
=A A= ei A j g= ei A j e j
Also, the combination of the two types of metric tensor gives the mixed
one, as
g ij g jk = δ ki 8.5
FIGURE 8.1 Sketch for covariant and contravariant components of a vector and
basis vectors in a non-orthogonal coordinate system xi and alternate system ξ i .
= X r= cosθ y1 x1 sin x2
2
Y= r sin θ ≡ y= x1 sin x2. Find the inverse relations (i.e., x i = Fi ( y1 , y2 ,, yN )
= Z z= y3 x 3
x i = Fi ( y1 , y2 ,, yN ) , the basis vectors ei and e i for the cylindrical coordinate system in
terms of the Cartesian unit vectors. Also find the scale factors, unit vectors,
and metric tensors gij and g ij and line element magnitude ds .
Solution:
The functions Fi can be obtained by solving for X , Y, Z , using the functional
relation, given
1
= r X +Y
2 2 = x ( y1 2
) + ( y )
2 2
−1 Y 2 y1
= θ tan ≡ = x tan −1 2 . To find the covariant basis vectors,
X y
z = Z x3 = Y 3
∂y ∂y ∂y ∂y
j 1 2 3
we use ei = i E j . Therefore, we receive e1 = 1 E1 + 1 E2 + 1 E3 = cosθ E1 + sin θ E2
∂x ∂x ∂x ∂x
1 2 3 1 2 3
∂y ∂y ∂y ∂y ∂y ∂y
E 1 + E 2 + E 3 = cos θ E 1 + sin θ E 2
. Similarly, e 2 = E 1 + E 2 + E 3 =
− r sin θ E 1 + r cos θ E 2
,
∂x1 ∂x1 ∂x1 ∂x 2
∂x 2
∂x 2
∂y ∂y ∂y
1 2 3
and e3 = 3 E1 + 3 E2 + 3 E3 = E3 . In terms of coordinates notation, we
∂x ∂x ∂x
have
= er cosθ E1 + sin θ E2
eθ = − r sin θ E1 + r cosθ E2
ez = E3
∂x i
For calculating contravariant basis vectors, we receive e i = j E j. After
expansion and using the functional relations, we get ∂y
e r cosθ E1 + sin θ E2
=
θ sin θ cosθ
e = − E1 + E2
r r
e = E3
z
The scale factors are the magnitudes of the covariant basis vectors. Hence,
h= h= er ⋅ er = 1 , h= h=θ eθ ⋅ e=
θ r , and h= h= 1 . The unit vectors
1 r
2 3 z
e
e ( i ) = i , are
hi
e ( r ) cosθ E1 + sin θ E2
=
e (θ ) = − sin θ E1 + cosθ E2
e ( z ) = E3
Note that unit vectors e ( r ) and e (θ ) in cylindrical coordinate system change
with location and are not constant vectors.
The metric tensor is gij = ei ⋅ e j , or g=
rr h=
2
r 1 , gθθ= h=
2
θ r 2 , g=
zz h=
2
z 1 , and
the off-diagonal elements of the metric tensor are null, hence the coordinate
1 0 0
system is orthogonal, or gij = 0 r 2 0 . The Jacobian= is h= r hθ hz r.
0 0 1
The contravariant metric tensor can be calculated using g ij = e i ⋅ e j , or
1 0 0
g = 0 r −2 0 , which is equal to the inverse of covariant metric tensor.
ij
0 0 1
Another way for calculating the contravariant basis vectors is by using the
ij 11 2 22 33
relation e i = g e j , or=
e 1 g= e1 e1 =, e g= e2 r −2 e2 , and=
e 3 g= e3 e3 .
For the line element we have, ds = ( hi dx i ) = ( dr ) + ( rdθ ) + ( dz ) .
2 2 2 2
Solution:
The functions Fi can be obtained by solving for X , Y, Z , using corresponding func
x1 =
( y1 ) + ( y2 ) + ( y3 )
2 2 2
r= X + Y + Z
2 2 2
Z −1 y3
=
tional relations, or ϕ cos −1
= ≡ x cos
2
.
X +Y +Z ( y1 ) + ( y2 ) + ( y3 )
2 2 2 2 2 2
θ = tan −1
Y
y1
X x3 = tan −1 2
y
∂y
j
To find the covariant basis vectors, we use ei = i E j. Therefore, we get
∂x
∂y ∂y ∂y
1 2 3
e1 = 1 E1 + 1 E2 + 1 E3 = sin x2 cos x3 E1 + sin x3 sin x2 E2 + cos x2 E3 Similarly,
∂x ∂x ∂x
∂y ∂y ∂y
1 2 3
e2 = 2 E1 + 2 E2 + 2 E3 = x1 cos x2 cos x3 E1 + x1 sin x3 cos x2 E2 − x1 sin x2 E3 , and
∂x ∂x ∂x
1 2
∂y ∂y ∂y3
e3 = E 1 + E 2 + E3 = − x1 sin x2 sin x3 E1 + x1 cos x3 sin x2 E2 . In terms of coor-
∂x 3
∂x 3
∂x 3
The scale factors are the magnitudes of the basis vectors. Hence
h= h= er ⋅ er = 1 , h= h=
ϕ eϕ ⋅ e=
ϕ r , and h= h=θ eθ ⋅ e=
θ r sin ϕ .
1 r 2
3
e
The unit vectors e ( i ) = i , are
hi
e ( r ) = sin ϕ cosθ E1 + sin ϕ sin θ E2 + cos ϕ E3
e (ϕ ) = cos ϕ cosθ E1 + cos ϕ sin θ E2 − sin ϕ E3
e (θ ) =− sin θ E1 + cosθ E2
Note that unit vectors in spherical coordinate system change with location
and are not constant vectors. The metric tensor is gij = ei ⋅ e j , or g=rr h=
2
r 1,
gϕϕ= h= 2
ϕ r , gθθ= h=
2
θ
2
r sin ϕ , and the off-diagonal elements of
2 2
the metric tensor are null, hence the coordinate system is orthogonal,
1 0 0
gij = 0 r 2 0 . The Jacobian =is h= r hϕ hθ r 2 sin ϕ . The g ii = hi−2 ,
2
0 0 ( r sin ϕ )
1 0 0
or g ij = 0 r −2 0 , then we can calculate the contravariant basis
−2
0 0 ( r sin ϕ )
1 1
vectors, as e j = g ij ei , or e 1 = e1 , e 2 = 2 e2 , and e 3 = 2 2 e3 which yields
r r sin ϕ
e r = sin ϕ cosθ E1 + sin ϕ sin θ E2 + cos ϕ E3
ϕ cos ϕ cosθ cos ϕ sin θ sin ϕ
e = E1 + E2 − E3
r r r
θ sin θ cosθ
e = − E1 + E2
r sin ϕ r sin ϕ
For the line element we have, ds = ( h dx )
i
i 2
= ( dr )2 + ( rdϕ )2 + ( r sin ϕ dθ )2 .
9
DOT AND CROSS PRODUCTS
OF TENSORS
We often must multiply tensors by each other. We consider two vectors for
discussion here, without losing generality. When we multiply two scalars (i.e.,
tensors of rank zero) we just deal with arithmetic multiplication. But a vector
has a direction, in addition to its magnitude, that should be taken into con-
sideration for multiplication operations.
In principle we can have two vectors
just multiply by each other like AB, which is a tensor of rank two, called a
dyadic product. Or, multiply the vectors’ magnitudes and form a new vector
with the resulting magnitude directed perpendicular
to the plane containing
the original vectors, the cross-product A × B, which is a tensor of rank one.
Or, multiply the vectors’ magnitudes and reduce the rank of
the product by
projecting one vector on the other one, the dot-product A ⋅ B , which is a ten-
sor of rank zero. Obviously, for higher than rank-one tensors we would have
a greater number of combinations as the result of their products. In general,
compared to the rank of original tensors, dyadic product increases the rank,
cross-product keeps the rank, and dot-product decreases the rank, i.e., the
result is a tensor quantity of higher, the same, or lower rank (by one level/
rank) w.r.t to the original quantities, respectively.
We start with dot-product operations. Let’s consider two vectors A and B ;
the dot-product of these two vectors is given by A = ( )
⋅ B ( A i ei ) ⋅ B j e j , using
the contravariant components of the vectors. We expand this expression,
with Equations 7.7 and 7.8, to receive
A=⋅ B A i B=
j
gij A i B j hi h j cos α 9.1
where α is the angle between the two vectors. Further, using Equation 8.1
we receive
A⋅B
= A i B=i A j B j 9.2
Similarly, we could start with using the covariant components of the vector,
but the conclusive results would be the same as the expression given by
Equation 9.2. Readers may want to do this as an exercise. From Equation 9.2
we can conclude that the order of multiplication does not change the result
of the dot-product, or A i Bi = Bi A i .
In
an
orthogonal Cartesian system, either Equation 9.1 or 9.2 would result in
A ⋅ B= A i B jδ ij= A1 B1 + A2 B2 + + A N BN= A1 B1 + A2 B2 + + AN BN . The
second equality results from the fact that in orthogonal Cartesian systems
there is no distinction between contravariant and covariant components. An
example of the dot-product quantity of two vectors is the mechanical work—
the dot product of force and distance vectors.
The cross-product operation can be established with a more general
formulation using the permutation symbol (also referred to as the Levi-
Civita symbol) defined as
order. Then the number of points at the cross-section of the lines connecting
the same numbers is the order of permutation. This method is shown in the
following figure for e342165. The connecting lines intersect at six points; hence
the permutation is even.
3 4 2 1 6 5
1 2 3 4 5 6
Now considering two vectors A and B in a Cartesian
system the cross-
product of these two vectors is another vector C , given as (we propose this
expression, for now at least)
Ci =
= j k
ijk A B eijk A j Bk covariant component
i 9.6
=C =
ijk
A j Bk −1 eijk A j Bk contravariant component
Note that in Equation 9.6, for the covariant (contravariant) component of
the resulting vector C , we used the combination of covariant (contravariant)
permutation tensor and contravariant
(covariant) components of the two
contributing vectors A and B.
j
To show that, for example, ijk A Bk transforms like a covariant quan-
tity, we write down its transformation between two arbitrary systems, or
∂x l ∂x m ∂x n p ∂x′ j q ∂x′k p q ∂x
l
= ′ A′ j B′k lmn i
ijk k
=
A p
B q
= A B δ mδ n
′ ′
∂x ∂x ∂x
j
′ ∂x ∂x
lmn
∂x ′ i p q
∂x l
( lmn A m Bn )
∂x′i
. Similarly, for the contravariant form (i.e., the second
expression in Equation 9.6) it can be shown that it does indeed transform
like a contravariant quantity. Readers may want to do this as an exercise.
=
∏
=h i h1 h2 hN orthogonal system 9.11
i
And hence
d
= ∏
=h dx ( h dx )( h dx )( h
i
i
1
1
2
2
N dx N ) orthogonal system 9.12
i
10
GRADIENT VECTOR
OPERATOR—CHRISTOFFEL
SYMBOLS
In engineering and science, most if not all governing equations (e.g., equi-
librium, Navier-Stokes, Maxwell’s equations) contain terms that involve
derivatives of tensor quantities. These equations are mathematical models
of related quantity transports, like momentum, mass, energy, etc. Different
forms of derivatives result from the gradient operator, which is a vector that
takes the derivative of and performs dyadic, dot-product, cross-product, etc.
operations on the involved tensors. Depending on the rank of the tensors
under the gradient operation, the result could be complex expressions. In the
previous sections, we have defined and derived necessary formulae to tackle
the derivation of gradient vector transformation and consequently find the
general forms of related derivatives appearing in the governing equations.
The first term in the R.H.S of Equation 10.1 is the straight-forward deriva-
tive of the component A j . But the second term involves a gradient of the
basis vector e j , which is not necessarily zero in an arbitrary system since the
basis vector’s magnitude and/or direction may change from point to point.
Note that in a Cartesian system, ∇ i E j = 0 , i.e., the second term in Equation
10.1, vanishes. Therefore, we can interpret ∇ i e j as a measure of the curva-
ture of the arbitrary coordinate surface x i = constant (e.g., in a spherical
coordinate system X 2 + Y 2 + Z 2 = r 2 is the surface of the sphere). The physi-
cal meaning of ∇ i e j is this that it represents the rate of change of e j with
i
respect to coordinate variable x in the direction of basis vector ek . This
k
quantity is represented by Γ kij (some authors use instead) and is the
ij
Christoffel symbol of the second kind [8].
It may be useful to pause at this point and make sure that the physical/
geometrical meaning of the Christoffel symbol is well understood. To help
with this understanding, we consider a simple 2D polar coordinate system,
( r,θ ) ≡ ( x1 , x2 ) as shown in Figure 10.1.
As shown, the covariant basis vectors er and eθ change from point to point
in space, e.g., points A and A’ , in general. Let’s consider, for example
∂e
∇θ eθ =θ which represents the change for basis vector eθ with respect to
∂θ
coordinate variable θ . This derivative is a vector and has two components in
the ( r,θ ) coordinate system. Therefore, we can write it as a linear combina-
tion of the basis vectors in polar coordinate system er and eθ , or
∂eθ
∇θ eθ = = α er + β eθ 10.2
∂θ
Similar expressions can be written down for other possible derivatives (i.e.,
∇θ er , ∇ r eθ , ∇ r er ). In our example (see Equation 10.2), the coefficients α
and β are the corresponding Christoffel symbols, also referred to as connec-
∂eθ
tion coefficients. α is the component of the vector in the direction of er ,
∂ θ
∂eθ
or Γθθ and β is the component of the vector
r
in the direction of eθ , or
∂θ
Γθθθ . Using these definitions, we can write all possible derivatives with their
corresponding Christoffel symbols as
∂eθ r θ
∂θ = Γθθ er + Γθθ eθ
∂er = Γ r e + Γθ e
∂θ rθ r rθ θ
10.3
∂eθ = Γθr r er + Γθθ r eθ
∂r
∂e
r = Γ rrr er + Γθrr eθ
∂r
∂eθ
Using Equations 10.4 we receive = − r cosθ E1 − r sin θ E2 = − rer ,
∂θ
∂er 1 ∂eθ 1 ∂e
=− sin θ E1 + cosθ E2 = eθ , = − sin θ E1 + cosθ E2 = eθ , and r = 0 .
∂θ r ∂r r ∂r
Finally, comparing these results with Equation 10.3, we find the Christoffel
1
symbols values for polar coordinate system as Γθθ r
=− r , Γθrθ = Γθθ r = , and
r
Γθθθ =Γθrr =Γθr r =Γ rrθ =Γ rrr =0 . Table 10.1 gives the summary of these results
and the matrix form of these symbols for polar coordinate systems.
TABLE 10.1 Christoffel symbols of the 2nd kind for a 2D polar coordinate system ( r ,θ ) .
rθ
Γθ r Γθθ
Γ rrr er change w.r.t r in er direction 0 −
−
Γθθθ eθ change w.r.t θ in eθ direction 0
θ
Γθ = Γ rr Γθrθ
Γθrθ er change w.r.t θ in eθ direction 1/r = Γ θ θ θ
θr
Γθ r Γθθ
Γθrr er change w.r.t r in eθ direction 0 −
( )
Plugging back into Equation 10.1, we receive ∇ i A = e j ∇ i A j + A j Γ kij ek . In
this relation, for the last term we interchange j and k indices, since they are
dummy indices. Then, ∇ i A ( ) ( )
= e j ∇ i A j + A k Γ ikj e=j e j ∇ i A j + Γ ikj A k . The
expression in the bracket is a tensor, since both ∇ i A and e j are tensors. We
j
define the expression in the bracket as A, i where the comma in the subscript
indicates differentiation and index i represents the covariant component of
gradient vector. Hence,
∂A j
=A, ji + Γ ikj A k 10.6
∂x i
Equation
10.6 is the covariant derivative of the contravariant component of
vector A . Or
∇i A = A, ji e j 10.7
Equation 10.8
is the contravariant derivative of the contravariant component
of vector A . Or
∇i A = A,k ⋅i ek 10.9
From the start we could use the covariant component of vector A , to find
the corresponding covariant and contravariant gradient components as well
(see Equation 10.1). To this end, we can write the covariant derivative of the
covariant component of vector A , as
∇i A = (
∇i A je j = ) ( ) (
e j ∇ i A j + A j ∇ i e j 10.10)
The first term on the R.H.S of Equation 10.10 is straight-forward, the
derivative of the component A j . The second term involves the gradient of
the contravariant basis vector e j , for which we requirea new expression. To
∂e j
find this quantity, we use Equation 10.6 to write = e, ji + Γ ikj e k . Due to the
∂x i
j
Substituting for ∇ i e from Equation 10.11, into Equation 10.10, we receive
( ) ( ) ( )
∇ i A j e j = e j ∇ i A j − A j Γ ikj e k . In this relation for the last term we inter-
change j and k indices, since they are dummy indices. Then, after factoring
( ) ( )
out e j , we get ∇ i A j e j = e j ∇ i A j − Ak Γ kij . We define the expression in the
bracket as A j,i where the comma in subscript indicates differentiation and i
represents the covariant component of gradient vector. Hence
∂A j
A=
− Γ kij Ak 10.12
j, i
∂x i
Equation
10.12 is the covariant derivative of the covariant component of
vector A . Or
∇i A = A j, i e j 10.13
δm p
∂x k ∂yn ∂x q ∂ 2 y
p
∂x q
. Where, in the last expression we inserted ( = 1,
∂yp ∂x i ∂yn ∂x q ∂x j ∂x q
δ iq
or using chain rule). Finally, we receive
∂x k ∂ 2 y
p
Γ kij = p i j 10.17
∂y ∂x ∂x
Equation 10.17 clearly shows the symmetry of Γ kij for its lower indices, since
∂ 2 yp ∂ 2 yp
the order of differentiation is irrelevant, i.e., i j = j i .
∂x ∂x ∂x ∂x
2. Christoffel symbol is not a tensor: Because its value in a Cartesian
system is zero; hence, if it transforms as a tensor it should be zero in
any arbitrary system as well. But we know that this is not the case (see
Equations 10.10 and 10.17).
∂g jk
∇ i g jk =
= Γ nik g jn + Γ nij gnk 10.18
∂x i
Note that by comparing Equation 10.18 with the rule of covariant derivatives
of tensors (see Equation 10.14) we can conclude that g jk, i = 0, a reasonable
result considering that a metric tensor in a Cartesian system is a constant/
unity and hence its derivative is equal to zero in an arbitrary system.
4. Christoffel symbol of the first kind: So far, we have defined the Christ-
offel symbol of the second kind. We now derive formulas that can be
used for calculating its value as well as defining a Christoffel symbol of
the first kind. To do this, we manipulate Equation 10.18 by permuting
the indices (i.e., i → j, j → k, and k → i ), twice in sequence. Hence we
∂g
get two alternative but equivalent relations as kij = Γ nji g jn + Γ njk gni and
∂x
∂gij
= Γ kj gin + Γ ki gnj . Now we subtract Equation 10.18 from the sum of
n n
∂x k
the latter two relations, using along the way the symmetry of both metric
tensor and Christoffel symbols. The result reads
1 ∂g jk ∂gik ∂gij
Γ nij gnk
= + j − k 10.19
2 ∂x i ∂x ∂x
In Equation 10.19, the quantity Γ nij gnk is the Christoffel symbol of the first
kind, also written as Γ ij, k ≡ ij, k. We can use Γ nij gnk to find a relation for
calculation of the Christoffel symbol of the second kind in terms of metric
tensor. To do this we multiply it by g mk to get Γ nij gnk g mk =δ nm Γ nij =Γ mij .
Therefore, after multiplying Equation 10.19 by g mk, we get
g mk ∂g jk ∂gik ∂gij
=Γ mij + j − k 10.20
2 ∂x i ∂x ∂x
Equation 10.20 states that the Christoffel symbol of the second kind is equal
to the first kind multiplied by the doubly contravariant metric tensor related
to the coordinate system in use. Observing Equation 10.19, a symmetry
shows up. That is, the derivative is w.r.t. the coordinates indices and for each
term in the bracket the remaining indices are used for the metric tensor.
g ii ∂gii
Γ iij = , no summmation on i 10.21
2 ∂x j
g kk ∂gii
Γ kii =− , no summmation on i and k 10.22
2 ∂x k
1 ∂hi
Γ iii = , no summmation on i, ( orthogonal ) 10.24
hi ∂x i
hk−2 ∂ ( hi )
2
6. Another useful relation can be derived for the value of Γ iin, which
is ei change w.r.t x n in the direction of ei. We use the fact that the
derivative of the permutation tensor, or ,nijk is zero, since its value
in the Cartesian coordinates is null. Using Equation 10.14, we can
∂ ijk
write =
,nijk + Γ nm
i
mjk + Γ nmj
imk + Γ knm = ijm
0 . To simplify the
∂x n
derivation, without losing generality, we select=i 1,=j 2,= k 3. Hence,
∂ 123
we get = − ( Γ nm
1 m 23
+ Γ nm
2 1m3
+ Γ nm ) . Collecting non-
3 12 m
∂x n
∂ 123
zero terms, we have = − ( Γ1n1 123 + Γ 2n2 123 + Γ 3n3 123 ) = − 123 Γ nii ,
∂x n
1 ∂
Γ iin = n 10.26
∂x
Note that Equation 10.26 works for arbitrary coordinate systems and it
recovers Equation 10.23 when the system is orthogonal.
Cylindrical coordinates
From the results of Example 8.1, for a cylindrical coordinate system ( r ,θ , z )
(note the order of the coordinates defined here, see Figure 8.2) we can
write the non-zero terms of the metric tensor, as g= rr h=
2
r 1 , gθθ= h=
2
θ r 2,
and g=zz h=
2
z 1 . Therefore, the contravariant metric tensor reads g = 1,
rr
gθθ = r −2 , and g zz = 1 . Using Equations 10.20 and 10.25 and considering that
indices i, j, k, m are various permutations of cylindrical variables r,θ , z we
receive the Christoffel symbol of the second kind as
1 ∂ ( hθ ) 1 ∂r h ∂ ( hθ ) ∂r
For example, Γ12 2
= Γ 221 =Γθrθ = = =1 / r and Γθθ
r
=− θ2 = −r = −r
hθ ∂r r ∂r hr ∂r ∂r
h ∂ ( hθ ) ∂r
Γθθ
r
=− θ2 =−r = − r . Recall that the symbols, given by Equation 10.27 are defined
hr ∂r ∂r
∂er
based on the covariant basis vectors, ei (see Equation 10.5), or = (1 / r ) eθ
∂θ
∂eθ Γθr θ
and = ( − r ) er . It is useful to write the Christoffel symbols in terms of
∂θ r
Γθθ
the physical components of the vectors involved. This is done by using
∂ ( re (θ ) ) ∂ ( e (θ ) )
Equation 3.8 (i.e. ei = hi e ( i ) ), or = − re ( r ) , hence = −e ( r ) ,
∂θ ∂θ
or the Christoffel symbol based on unit vector reads Γˆ θθ r
= −1 (hatted to
distinguish them from the relation given in Equation 10.27). Similarly, for
∂er ∂ ( e ( r )) 1 ∂ ( e ( r ))
= (1 / r ) eθ we can write = ( re (θ ) ) , hence = e (θ ), or
∂θ ∂θ r ∂θ
Γθr θ
the Christoffel symbol based on unit vector reads Γˆ θ = rθ 1.
We could also calculate the Christoffel symbols Γˆ θrθ and Γˆ θθ r
, using the
unit vectors or the physical components, as given in Example 8.1. Writing
cosθ − sin θ
these relations in vector form, we have e ( r ) = sin θ , e (θ ) = cosθ ,
0 0
0
∂e ( r ) ∂e (θ ) ∂e ( z )
and e ( z ) = 0 . Therefore, the derivatives are; = = = 0 ,
1 ∂r ∂r ∂r
− sin θ − cosθ
∂e ( r ) ∂e (θ ) ∂e ( z ) ∂e ( r ) ∂e (θ ) ∂e ( z )
= = cosθ e (θ ) , = − sin θ = −e ( r ) , =
0, = = = 0
∂θ 0 ∂θ 0 ∂θ ∂z ∂z ∂z
∂e ( r ) ∂e (θ ) ∂e ( z )
= = = 0. Therefore, the non-zero Christoffel symbols calculated
∂z ∂z ∂z
based on the unit vectors are Γˆ θrθ = 1 and Γˆ θθ
r
= −1. The final results can be
summarized as
Spherical coordinates
From the results of Example 8.2, for a spherical system ( r ,ϕ ,θ ) , (note
the order of the coordinates defined here, see Figure 8.3) we can write
the non-zero terms of the metric tensor as g= rr h=
2
r 1 , gϕϕ= h=
2
ϕ r 2 , and
gθθ= h=2
θ r sin ϕ . Therefore, the contravariant metric tensor reads g rr = 1 ,
2 2
∂ ( r sin ϕ e(θ ) )
or = − r sin 2 ϕ e ( r ) = (− sin ϕ ) e ( r ), hence Γˆ θθ r
= − sin ϕ.
∂θ
ˆ
Γθθr
∂er ∂e ( r )
Also, = (1 / r ) eϕ= or (1= / r ) re (ϕ ) e (ϕ ) , hence Γˆ ϕrϕ = 1. Also,
∂ϕ ∂ϕ
Γϕrϕ
∂er ∂e ( r )
(
==1 / r ) eθ or (1= / r ) ( r sin ϕ e (θ ) ) sin ϕ e (θ ) , hence Γˆ θrθ = sin ϕ.
∂θ θ
∂θ Γˆ θrθ
Γrθ
∂eϕ ∂ ( re (ϕ ) )
Also, = ( cot ϕ )= eθ or =
cot ϕ ( r sin ϕ e (θ ) ) cos ϕ e (θ ) , hence
∂θ ∂θ Γˆ θϕθ
Γθϕθ
ˆΓθ = cos ϕ .
ϕθ
The Christoffel symbols can be obtained directly using the unit vectors as
well. From the results of Example 8.1, writing the physical components rela-
sin ϕ cosθ cos ϕ cosθ
tions in vector form, we have e ( r ) = sin ϕ sin θ , e (ϕ ) = cos ϕ sin θ , and
cos ϕ − sin ϕ
− sin θ
∂e ( r ) ∂e (ϕ ) ∂e (θ )
e (θ ) = cosθ . Therefore, the derivatives are; = = = 0 ,
0 ∂r ∂r ∂r
cos ϕ cosθ − sin ϕ cosθ
∂e ( r ) ∂e (ϕ ) ∂e (θ )
= = cos ϕ sin θ e (ϕ ) , = − sin ϕ sin θ = −e ( r ) , =
0,
∂ϕ − sin ϕ ∂ϕ − cos ϕ ∂ϕ
− sin ϕ sin θ − cos ϕ sin θ
∂e ( r ) ∂e (ϕ )
= = sin ϕ cosθ e (θ ) sin ϕ= , = cos ϕ cosθ e (θ ) cos ϕ ,
∂θ ∂θ
0 0
− cosθ
∂e (θ )
= − sin θ = − e ( r ) sin ϕ − e (ϕ ) cos ϕ . Therefore, the non-zero
∂θ 0
Christoffel symbols calculated based on the unit vectors are
Readers can use the Christoffel symbols of the 2nd kind calculated in this
example and further calculate the Christoffel symbols of the 1st kind using
Equation 10.19.
11
DERIVATIVE FORMS—CURL,
DIVERGENCE, LAPLACIAN
know that ijk is a tensor (see Section 9). But the expression ∇ j A k does not
transform like a tensor, due to extra terms appearing when transformed to
another arbitrary coordinate system [4], [7]. However, if we use the results
obtained in Section 10 and replace ∇ j A k with the tensor A ,k ⋅ j (i.e., the con-
travariant derivative of the contravariant component) then we get the proper
expression as (see Equation 10.8)
Ci = ijk A k, ⋅ j 11.1
Similarly, the contravariant component of the curl is written as, using
Equations 9.6 and 10.12,
Both expressions given by Equations 11.1 and 11.2 are tensors, since terms
are involved are tensors as well as both reduce to the Cartesian forms when
∂A
written in the Cartesian coordinate system (i.e., Ci = eijk kj because the
∂y
covariant and contravariant components are identical and Jacobian is unity).
To have a more practical and explicit relation for the curl, we write Equation
∂A
11.2 in detail or = C i ijk A= k, j ijk kj − ijk Γ njk An examining the last term,
∂x
on the R.H.S, using the symmetry property of the Christoffel symbol
(i.e., Γ njk = Γ kjn ) and the anti-symmetry of the permutation symbol (i.e.,
ijk = − ikj) yields, ijk Γ njk An = − ikj Γ nkj An . But after interchanging j ↔ k ,
dummy indices, only in the term on the R.H.S of the latter expression we
receive − ikj Γ nkj An = − ijk Γ njk An. After comparing this result with the original
expression (i.e., − ijk Γ njk An = ijk Γ njk An) we can conclude that ijk Γ njk An = 0.
Therefore, Equation 11.2 can be written as
eijk ∂Ak
(∇× A)
i
Ci = = 11.3
∂x j
The curl vector is then written as C = C i ei .
Similarly, we write Equation 11.1 in detail, also using Equation 10.8, or
∂A k
Ci = ijk A ,k ⋅ j = ijk g jn n + ijk g jnΓ nm
k
A m . Examining the last term on the
∂x
R.H.S, it turns out that it doesn’t vanish. Therefore, we have
∂A k
Ci = (∇× A) = g jn eijk n + Γ nm
k
A m 11.4
i
∂x
∂A nj
= =
Ckj kmn A nj ,m⋅ g mp ekmn p + Γ npq A qj 11.5
∂x
2. We consider the case for which the cross-product operation occurs with
e j . Therefore, the covariant component of A ij should be involved with
the permutation tensor. We can write, using Equation 11.1, the compo-
( )
nent of curl of A as ∇ × e j A ij ei . Careful attentions should be given to
pick up the right indices to form the curl expression. Since we picked
the e j for cross-product operation with gradient, the contravariant
ekmn ∂Ani
=C ki =
kmn i
An,m 11.6
∂x m
A similar operation can be used to write down the curl of a tensor of rank N,
which has N possible outcomes.
( i ) h=
A= iA
i
A i / hi no sum on i 11.8
(1) h=
Or A= 1A
1
( 2 ) h=
A1 / h1 , A= 2A
2
( 3 ) h=
A2 / h2 , A= 3A
3
A3 / h3 .
Now we would like to write the physical components of the curl of vector A . To
i eijk ∂Ak
do this we multiply Equation 11.3 by hi , or ∇ × A = hi h=
iC
i
hi( )
∂x j
.
But hiC i = C ( i ) and Ak = hk A ( k ) (see Equation 11.8).
Therefore, we will get
the physical component C ( i ) of the curl of vector A in terms of its physical
component A ( k ) , as
eijk ∂ ( hk A ( k ) )
C ( i ) = hi no sum on i, orthogonal 11.9
∂x j
Or, using = h1 h2 h3 for orthogonal systems, we have
1 ∂ ( h3 A ( 3 ) ) ∂ ( h2 A ( 2 ) )
( ∇ × A )=
(1 ) (1 )
C=
h2 h3 ∂x2
−
∂x3
∂ ( h1 A (1 ) ) ∂ ( h3 A ( 3 ) )
1
(∇× A=
)(2) (2)
C=
∂x3
h1 h3
−
∂x1
11.10
1 ∂ ( h2 A ( 2 ) ) ∂ ( h1 A (1 ) )
( )
( 3 ) C=
∇× A = (3)
h1 h2
∂x1
−
∂x2
It can be concluded that for a Cartesian system we recover the familiar
∂Az ∂Ay ∂AX ∂AZ
expressions, or ∇ × A = C= 1 ( − ) , ∇ × A = C= 2 − (
, )
1
∂Y ∂Z 2
∂Z ∂X
∂AY ∂AX
(
and ∇ × A = C=
3
3
∂X
)−
∂Y
, since h=
1 h=
2 h=
3 1.
∂A i A i ∂
dummy indices i ↔ n), to get = A ,ii + . After substituting for A,i i
∂x i ∂x i
into Equation 11.11 and performing some manipulations, we receive
1 ∂ ( A i )
∇⋅A = 11.12
∂x i
In addition, Equation 11.11 can be written inij terms of the covariant com-
ij
,i
( )
ponent of the vector using g , or ∇ ⋅ A = g A j , after expanding gives
=
,i
( )
∇ ⋅ A g ij A j + A=j g ij
, i
g ( )
ij
A j, i or after interchanging i ↔ j and using
=0
the symmetry of metric tensor, we receive
∇ ⋅ A = g ij Ai, j 11.13
gives
∂A ij
+ Γ im A j =
i m
(
1 ∂ A j
i
) , using Equation 11.12. Finally, we get
∂x i ∂x i
the result as
i j 1 ∂ A j
i
( )
( )
∇ ⋅ A = ∇ ⋅ ei A j e =
∂x i
− Γ mij Ami 11.14
( )
2. ∇ dot products with e j : In this case we get ∇ ⋅ A = ∇ ⋅ e j A ij ei . Note
that the gradient differentiates all terms in front of it but as a vector
only dotted with e j . In other words, the index j is involved
in the dot-
product operation. Using Equation 11.11 we can write ∇ ⋅ A = g kj Aki , j
which is a tensor of rank one, as expected since divergence reduces the
rank of A ij by one. Therefore, we have
( )
∇ ⋅ A = ∇ ⋅ e j A ij ei = Aki , . k 11.15
1 ∂ ( ∇ ψ )
i
∂ψ
or ∇ ψ =
2
where ∇ iψ = g ij j . Therefore,
∂x i
∂x
1 ∂ ∂ψ
∇ 2ψ = i g ij j 11.16
∂x ∂x
since it is a tensor and its value is zero in the Cartesian coordinate system,
hence it should be zero for an arbitrary system, as well. Therefore, we have
( ∇=
A ) (g
2 i nm
, n ), m
A=i
g nm A,inm 11.17
The term A,inm which is the second covariant derivative is a new term, so
∂ ( A,in )
far. By expanding this term, we get= A,nm ( A
i
= , n ), m
i
+ Γ mj
i
A,nj − Γ mn
j
A,i j.
∂x m
∂ ( Ai ) i
=
But i
A,n A + Γ nk A and after substituting and rearranging similar
i k
∂x n
terms, we receive
∂2 Ai k ∂Γ nk
i
i ∂A
k
i ∂A
i
=
A,inm + A + Γ nk + Γ mj
∂x m ∂x n ∂x m ∂x m ∂x j
11.18
j ∂A
i
− Γ mn j + Γ mjΓ nk A − Γ mnΓ jk A
i j k j i k
∂x
Similar expressions can be written for higher order tensors, using hints
from Equation 11.18 for writing the terms involving
Christoffel symbols
with appropriate signs. The
higher the rank of A the more complicated the
related expression for ∇ A becomes.
2
When a biharmonic
operates on a vector, thei result is a vector as well. For
example, for A = A i ei , we can write ∇ 4 A =B ei. Since the result is a vector
we can use Equation 11.17 to write
The quantity A,i jklm is a lengthy expression and can be written in detail [2], [4],
[7] using hints taken from Equation 11.18. In principle, one can extend the
discussion to find operators like ∇ 2 n =∇ ∇
2 2
∇ 2
. In practice we encounter
n times
mostly up to the level of the biharmonic operator in governing equations.
1 ∂ ∂ A ( i ) e ( i )
will have ∇ A = i 2
2
. Performing the differentiations
∂x hi ∂x i
along with using related relations for Christoffel symbols and after some
manipulations, we get the physical j -component as [7]
1 ∂h j ∂A ( i ) 1 ∂hi ∂A ( i )
∇2 A ∇2 A ( j ) + 2 2 i
= −
hi h j ∂x ∂x h j hi2 ∂x j ∂x i
( j) j
A ( i ) ∂ ∂h j A ( i ) ∂ ∂h
+ j − j
i
∂x hi h j ∂x ∂x h j hi ∂x
2 i i 2
Solution:
∂y
j
1 0 0
The Jacobin =
is h= r hθ hz r and g = h , or g = 0 1 / r 0 . Now
ii −2
i
ij 2
0 0 1
1 ∂ ∂ψ
using Equation 11.16 for orthogonal system i.e. ∇ 2ψ = i g ii i ,
∂x ∂x
=
since g 0 for i ≠ j , and substituting for corresponding values we will get
ij
1 ∂ ∂ψ 1 ∂ 2ψ ∂ 2ψ
∇ 2ψ
= r + + . In other words, the Laplacian operator
r ∂r ∂r r 2 ∂θ 2 ∂z2
in cylindrical coordinate system reads
1 ∂ ∂ 1 ∂ 2 ∂ 2 11.22
=∇2 r + +
r ∂r ∂r r 2 ∂θ 2 ∂z2
2 2 ∂A A
∇ 2 Ar − 2 θ − 2r
∇ A r = r ∂θ r
2 2 ∂A A
∇ A θ =
∇ 2 Aθ + 2 r
− 2θ 11.23
r ∂θ r
∇ A =
2
∇ Az
2
z
X = r sin ϕ cosθ
Y = r sin ϕ sin θ . Find the Laplacian expressions for a scalar and the
Z = r cos ϕ
physical components of a vector in this system. Let A (1 ) = Ar, A ( 2 ) = Aϕ,
and A ( 3 ) = Aθ.
Solution:
∂y
j
g ij = 0 1 / r 2 0 . Now using Equation 11.16 for orthogonal
0 0 1 / ( r sin ϕ )
2 2
1 ∂ ∂ψ
system i.e. ∇ 2ψ = i g ii i , since = g ij 0 for i ≠ j, and substituting
∂x ∂x
1 ∂ 2 ∂ψ 1 ∂
for corresponding values we will = get ∇ 2ψ r + 2
r ∂r ∂r r sin ϕ ∂ϕ
2
∂ψ 1 ∂ 2ψ
sin ϕ + . In other words, the Laplacian operator in
∂ϕ r 2 sin 2 ϕ ∂θ 2
spherical coordinate system reads
1 ∂ 2 ∂ 1 ∂ ∂ 1 ∂2
=∇2 r + 2 sin ϕ + 2 2 11.24
r ∂r ∂r r sin ϕ ∂ϕ
2
∂ϕ r sin ϕ ∂θ 2
2 2A 2 ∂(sin ϕ Aϕ ) 2 ∂ Aθ
∇ A r =
∇ 2 Ar − 2 r − 2
r r sin ϕ ∂ϕ
− 2
r sin ϕ ∂θ
2 A 2 ∂A 2 cos ϕ ∂Aθ
∇ 2 Aϕ − 2 ϕ 2 + 2 r − 2 2
∇ A ϕ = 11.25
r sin ϕ r ∂ϕ r sin ϕ ∂ θ
2 A 2 ∂Ar 2 cos ϕ ∂ Aϕ
∇ A θ =
∇ 2 Aθ − 2 θ 2 + 2 + 2 2
r sin ϕ r sin ϕ ∂θ r sin ϕ ∂θ
12
CARTESIAN TENSOR
TRANSFORMATION—
ROTATIONS
∂yi ∂yi
0 . Since dy′j is arbitrary, we conclude
Ei − E′j dy′j = Ei = E′j or,
∂y′j ∂y′j
by i ↔ j , we have
∂y j
E′i = E j 12.2
∂y′i
Now performing dot-product on both sides of Equation 12.2 with Ek gives,
∂y j ∂yk
E′i
Ek ⋅= E j ⋅=
Ek . Hence,
∂y′i ∂y′i
δ jk
∂y
Ek ⋅ Ei′ =k 12.3
∂y′i
∂y
This means that the cosine of the angle between yk and y′i is equal to k ,
called the cosine direction. ∂y′i
∂y′
Similarly, we can write Ek = i E′i , and after dot-product with E′j we receive
∂yk
′
∂yi ∂y ′j
E′j ⋅ E=
k E′i ⋅ E=′j . Hence, interchanging i ↔ j, we receive
∂yk ∂yk
δ ij
∂y′
E′i ⋅ Ek =i 12.4
∂yk
∂y′
This means that the cosine of the angle between yk and y′i is equal to i .
∂yk
Therefore, comparing Equations 12.3 and 12.4 and considering the commu-
tativity of the dot-product operation, we will have
∂y′i ∂yk
= 12.5
∂yk ∂y′i
( )
Rij = ni n j + δ ij − ni n j cosθ + eijk nk sin θ 12.6
y1′
y2′ =
y′
3
12.7
cosθ + n1 n1 (1 − cosθ ) n1 n2 (1 − cosθ ) + n3 sin θ n1 n3 (1 − cosθ ) − n2 sin θ y1
n1 n2 (1 − cosθ ) − n3 sin θ cosθ + n2 n2 (1 − cosθ ) n2 n3 (1 − cosθ ) + n1 sin θ y2
n1 n3 (1 − cosθ ) + n2 sin θ n2 n3 (1 − cosθ ) − n1 sin θ cosθ + n3 n3 (1 − cosθ ) y3
From Equation 12.7 (or 12.6) we can conclude that the trace of the rotation
matrix (i.e., the sum of diagonal elements, Rii) is equal to 1 + 2 cosθ, (note
2
that ni ni = n = n12 + n22 + n32 = 1, since n is a unit vector), or
Rii − 1
θ = cos−1 12.8
2
Equation 12.8 is a useful relation for finding rotation angle θ, once Rij is
known/given. However, readers may ask: if Rij is known, how can one find
the corresponding unit vector parallel to the axis of rotation? This q uestion
is all the more significant considering that we can have a sequence of
rotations to arrive at a final desired orientation of the coordinate axes. For
example, if we rotate the original system through a sequence of rotations
and arrive at the final system orientation, i.e., yi → yit 1 → → yitn → y′i ,
sequence
then we can apply Equation 12.7 for each sequence and calculate the final
rotation matrix. That is {y′i } = Rijtn Rijtn−1 Rijt 1 {yi }. Note that for each
Rij
rotation in the sequence, the corresponding rotation matrix is pre-multiplied
to the previous ones, and the normal vector parallel to the rotation axis is
defined based on the current coordinate system at hand in the sequence (see
Example 12.2.1)
Now, if we want to replace all intermediate rotations with just one equivalent
rotation, Equation 12.8 gives the value of the angle for the desired equiva-
lent single rotation. However, to find the axis of rotation parallel to the unit
vector for the equivalent single rotation we need a mathematical procedure/
tool. This tool can be obtained by finding the real eigenvector of the given
rotation matrix since, through all rotations, only the eigenvectors remain in
the same direction [2], [4]. The mathematical procedure is as follows:
FIGURE 12.1 Rotation matrix component T , about an arbitrary plane with normal n.
Equation 12.11 is known as the characteristic equation for matrix Rij, where
1 is the first principal scalar invariant, which is equal to the trace of Rij;
or 1 = Rii = λ1 + λ2 + λ3 , 2 is the second principal scalar invariant, which
is 2 = λ1 λ2 + λ2 λ3 + λ3 λ1 , or the sum of the diagonal minors; and 3 is the
third principal scalar invariant, which is equal to the determinant of Rij, or
= 3 e= ijk R1 i R2 j R3 k λ1 λ2 λ3 .
Equation 12.11 contains several important properties and pieces of
information about the system’s rotation matrix. Some examples related to
the discussion here include:
For symmetric tensors with real components there exist three real value
answers for λ (or λ1 , λ2 , and λ3). This is not the case for Rij, since it is not
symmetric, and we get only one real value λ, [10].
The answers for λ are the eigenvalues (or principal values) of Rij.
The corresponding ni, calculated and normalized for each eigenvalue,
are the eigenvectors (or principal directions) of Rij.
A given eigenvector when multiplied by a constant real number (positive
or negative) it gives a new vector, but all have the same direction parallel
to the principal direction.
The method of finding equivalent rotation is very useful in practice for
designing the motion of machine parts in robotic applications, such as a
robot arm’s motion.
FIGURE 12.2 Sequential rotations of a Cartesian coordinate system (left) and the equivalent
single rotation (right).
Solution:
We consider two sequential rotations: 1) rotation about y3 -axis with normal
vector ( 0,0,1 ) with an angle of 90° (R.H.R. applies) to get the intermediate
transformation ( y1 , y2 , y3 ) → ( y1′ , y2t , y3 ) , and 2) rotation about new y′1 with
normal vector (1,0,0 ) with an angle of 90° (R.H.R. applies) to get the
second transformation ( y1′ , y2t , y3 ) → ( y1′ , y′2 , y′3 ) (see Figure 12.2). Therefore,
using Equation 12.7 and the data given for the first transformation with
y1′ 0 1 0 y1
n = ( 0,0,1 ) we have y2t = −1 0 0 y2 . Similarly, for the second
y 0 0 1 y
3 3
y1′ 1 0 0 y1′
rotation with n = (1,0,0 ) , we have y2′ = 0 0 1 y2t . Note that
y′ 0 −1 0 y
3 3
the second rotation is performed on the current system at hand, which is
the result of the first rotation. Therefore, after substitution we can write
y1′ 1 0 0 0 1 0 y1 y1′ 0 1 0 y1
= y2′ 0 0 1 −1 0 0 y2 , or y2′ = 0 0 1 y2 . The final
y′ 0 −1 0 0 0 1 y y′ 1 0 0 y
3 3 3 3
0 1 0
rotation matrix is then Rij = 0 0 1 . Note that each rotation matrix
1 0 0
pre-multiplies the previous one in the sequence of rotations. Having the final
rotation matrix, we can calculate the single rotation angle. Using Equation 12.8,
−1 R ii − 1 −1 0 − 1 2π
we= get θ cos= =
cos . The corresponding
2 2 3
rotation axis is the eigenvector associated with the real eigenvalue for
0 1 0 −λ 1 0
Rij = 0 0 1 . We can write Rij − λδ ij = 0 −λ 1 =−λ 3 + 1 =0 .
1 0 0 1 0 −λ
Hence, we get the characteristic equation as ( λ − 1 ) ( λ 2 + λ + 1) = 0 with its
only real root being λ = 1 . Note that we could use Equation 12.11 instead
for calculating the eigenvalues. For λ = 1 , we get the eigenvector by solving
0 1 0 n1 n1 n2 = n1
0 0 1 n2 = (1 ) n2 , or n3 = n2 . This system is not determinate but
1 0 0 n3 n
3
n = n
1 3
gives n=1 n=
2 n3. However, the constraint for having n as a unit vector
3
gives n12 + n22 + n32 =1, or 3 n12 = 1. Therefore, n= 1 n=
2 n=
3 and finally
3
3 3 3
we have the equivalent rotation axis or the unit vector n = , , .
3 3 3
In conclusion, we can say that instead of two intermediate sequential
rotations, as mentioned above, we can rotate the original yi = ( y1 , y2 , y3 ) at
an angle of 120°, using right-hand-rule convention, about an axis parallel
3 3 3
to the unit vector , , (see Figure 12.2). Readers should note
3 3 3
that for calculating the rotation matrix using Equation 12.7, values of the
components of n should be those of the unit vector. However, to obtain
the direction of the rotation axis we can multiply the components of the
unit vector by a constant—for this example the multiplier is 3 . As shown
in Figure 12.2, the result is a vector, or (1,1,1), which is a vector along the
same direction as the unit vector n . This is consistent with the property of
the eigenvalues. We can examine these results by using Equation 12.6 to
3 3 3
θ 120° and n =
calculate the single rotation matrix, using = , , ,
3 3 3
3 3
2 2
1 1
or R11 = + 1 − cos (120° ) = − = 0, similarly R= R= 0.
3 3
22 33
3 3
3 3
2 2
3
Also, we get=
R12 + δ
12 − cos (120° ) +
e123 sin (120
= ° ) 1.
3 = 0 3 =1
3
Similarly, we receive R=
23 R=
31 1, and the remaining elements
R=21 R=
32 R=
13 0. These results are identical with the one obtained using
sequential rotations.
13
COORDINATE INDEPENDENT
GOVERNING EQUATIONS
dt
for the corresponding time increment of dt . Using Equation 3.6, we have
ds dx i
=
v = ei . Since ds is a vector, hence v is a vector and we can write it in
dt dt
terms of its contravariant component vi , or
i dx i
= v v= ei ei 13.1
dt
Equation 13.1 clearly gives the contravariant component of the velocity
dx i
vector as vi = . Acceleration vector a is the time derivative of the velocity
dt
vector, or
dv
=a = a i ei 13.2
dt
i
dv d ( v ei ) dvi
i dei
Using Equation 13.1, we can write= = ei +v . To relate
dt dt dt dt
d dx j ∂
the time derivative to the space gradient we use chain rule = ,
dt dt ∂x j
vj
hence
d ∂
= v j j 13.3
dt ∂x
dv j ∂vi i j ∂ei
Substituting into Equation 13.2, we get = a = ei v j
+ v v j
.
dt ∂x ∂x
∂ei ∂vi
But j = Γ kij ek , using Equation 10.5. Therefore,=a ei v j j + vi v j Γ kij ek and
∂x ∂x
in the last term we interchange dummy indices i ↔ k and use the symmetry
property of the Christoffel symbol to obtain
∂vi
=
a v j j + vk v j Γ ijk ei 13.4
∂x
a i = v j v,i j 13.6
∂vi
=
F i mv j + mvk v=Γ jk mv j v,i j 13.7
j i
∂x j
F = mv + mvk v j Γ1jk
∂x j
j ∂v
2
2
F = mv + mvk v j Γ 2jk 13.8
∂x j
3 j ∂v
3
F = mv + mvk v j Γ 3jk
∂x j
Note that in a Cartesian system the last term in Equation 13.7, associated with
the Christoffel symbol, is zero and we recover the familiar form of Newton’s
equation. But when we write this equation in a curvilinear coordinate system,
the term associated with the Christoffel symbol is not necessarily equal to
zero. This extra term acts like an inertia force and affects the path of moving
objects. For example, in a spherical coordinate system, like Earth’s geometry,
∂vi
we can write Equation 13.7 as F i − mvk v j Γ ijk =mv j j . The left-hand-side
∂x
∂vi
can be treated as a new total force, or F i = F i − mvk v j Γ ijk = mv j j . The
∂x
term mv v Γ jk is the Coriolis force, Fc
k j i i
=
Fci mvk v j Γ ijk 13.9
For example, from the point of view of an observer at the north pole of the
Earth an object with an initial velocity along a meridian towards the equator
will shift to the right, due to the inertia force resulting from the Coriolis force,
while to an observer at the South Pole it will shift to the left. Or we can say that
a force equivalent to the negative of the Coriolis force is acting on the object.
v ( i ) v ( j ) ∂hi hi v ( j ) v ( k ) i
a ( i) =
v ( i ) − + Γ jk 13.10
hi h j ∂x j h j hk
h1 v (1 ) v (1 ) 1 v ( 2 ) 1 v ( 3 ) 1 h1 v ( 2 ) v (1 ) 1 v ( 2 ) 1 v ( 3 ) 1
+ Γ11 + Γ12 + Γ13 + Γ 21 + Γ 22 + Γ 23 +
h1 h1 h h3
2 h2 h1
h2
h3
sum on k , j =1 sum on k , j = 2
h1 v ( 3 ) v (1 ) 1 v ( 2 ) 1 v ( 3 ) 1 But from Equations 10.23-10.25, we
Γ 31 + Γ 32 + Γ 33 .
h3 h1 h h3
2
sum on k , j = 3
1 ∂h 1 ∂h1 1 1 ∂h1 1 h ∂h
receive Γ111 = 11 , Γ112 = Γ121 = , Γ13 = Γ131 = , Γ 22 = − 2 2 12 ,
h1 ∂x h1 ∂x h1 ∂x ( h1 ) ∂x
2 3
h ∂h
and Γ133 = − 3 2 13 and Γ123 = Γ132 =. 0 Substituting for the corresponding
( 1)
h ∂ x
v (1 ) v ( 2 ) ∂h1
Christoffel symbols and simplifying, we receive a (1 ) = v (1 ) + +
h1 h2 ∂x2
v (1 ) v ( 3 ) ∂h1 v ( 2 ) v ( 2 ) ∂h2 v ( 3 ) v ( 3 ) ∂h3
− − . By similar operation we can
h1 h3 ∂x3 h1 h2 ∂x1 h1 h3 ∂x1
calculate the second and third components, i.e., a ( 2 ) and a ( 3 ) . Equation
13.11 lists all the physical components of acceleration vector in a 3D orthog-
onal coordinate system, as
Relations given by Equation 13.11 can be written in index form as, summation
on index j only,
v ( i ) v ( j ) ∂hi v ( j ) v ( j ) ∂h j
a ( i) =
v ( i ) + − 13.12
hi h j ∂x j hi h j ∂x i
v2 vr vθ
a = v r − θ e ( r ) + vθ + e (θ ) + v z e ( z )
r r
Note that e ( i ) are unit vectors in cylindrical coordinates. We can also write
the acceleration vector
in terms
of Cartesian unit vectors
Ei, by substitut-
e ( r ) cosθ E1 + sin θ E2, e (θ ) =
ing for= − sin θ E1 + cosθ E2, and e ( z ) = E3 (see
Example 8.1), or
v2 vv
a = v r − θ cosθ − vθ + r θ sin θ E1
r r
13.13
v2 vv
+ v r − θ sin θ + vθ + r θ cosθ E2 + v z E3
r r
In terms of coordinates themselves, we have
( ) (
r − rθ2 cosθ − rθ + 2 rθ sin θ E1
a =
) )
+
( ) ( )
r − rθ sin θ + rθ + 2 rθ cosθ E2 + zE3
2
)
Similarly, for a spherical coordinate system, using Equation 13.11, we can
write the physical components of the acceleration vector for spherical
v2 v2 vr vϕ vθ2 cos ϕ
coordinates as a (1 ) = ar = v r − ϕ − θ , a ( 2 ) =aϕ =vϕ + − , and
r r r r sin ϕ
vr vθ vθ vϕ cos ϕ
a(3) =aθ =vθ + + . Note that all components are the physical
r r sin ϕ
components of the corresponding vectors. Therefore, the acceleration vector is
Equations 13.13 and 13.14 are useful relations for calculating acceleration
vectors in cylindrical and spherical coordinate systems, respectively. Similar
calculations can be performed for arbitrary orthogonal curvilinear systems.
move with it and register its variation with respect to time, and b) we stay at
a fixed location in space and register the variation of the fluid passing by with
respect to time. In case (a) the changes are due to any variation of the fluid
w.r.t time, since we move with it and relative space change is absent/null. In
other words, the change w.r.t space is implicitly included. But in case (b) we
may have changes w.r.t both time and space for the fluid in motion.
FIGURE 13.1 Local coordinates attached to a moving fluid body in a fixed Cartesian coordinate system.
Using Equation 10.14, we can write the second term on the right-hand-side
as υ k (
∂ A ij ei e j )
k i j
= υ A j, k ei e . The first term is just equal to
∂A ij
, if the coor-
∂ xk ∂t
dinates x i are also fixed. Note that if the x i system is moving, we should
consider the changes of the basis vectors with reference to time as well (see
Equation 13.16). Therefore, we get the components (mixed contravariant/
covariant) of the substantial time derivative of A, as
DA ∂ A j
i i
( )
+ υ k A ij,k 13.17
=
Dt j ∂t
∂A ij
Note that A= i
j, k + Γ km
i
A mj − Γ nkj Ani .
∂x k
A specific case is to let A be equal to velocity itself, which results in the total
derivative of vi , as
i
Dυ ∂υ
i
= + υ jυ,ij 13.18
Dt ∂t
In orthogonal coordinate systems, we can write the physical components the
convective time derivative of a vector as
DA ∂A ( i ) v ( j ) ∂A ( i ) υ ( i ) A ( j ) ∂hi
( i) = + +
Dt ∂t h j ∂x j hi h j ∂x j
13.19
υ ( j ) A ( j ) ∂h j
− , no sum on i
hi h j ∂x i
Using Equation 13.19 we can write the total time derivative of vectors
like velocity or acceleration. The following example demonstrates these
calculations.
Da ∂ar ∂ar υθ ∂ar ∂a a
= + vr + + vz r − vθ θ
Dt r ∂t ∂r r ∂θ ∂z r
Da ∂aθ ∂aθ υθ ∂aθ ∂a υ a
= + vr + + υ z θ + θ r 13.20
Dt θ ∂t ∂r r ∂θ ∂z r
Da ∂az ∂az υθ ∂az ∂a
= + vr + + vz z
Dt z ∂t ∂r r ∂θ ∂z
Similarly, for spherical coordinates we receive the physical components of
the total derivative of acceleration vector as
Note that in these relations (i.e., Equations 13.20 and 13.21) all components
are the physical components of the corresponding vectors.
13.5 CONSERVATION EQUATIONS—COORDINATE
INDEPENDENT FORMS
A fundamental equation for the transformation of a tensor quantity per
unit volume, Ψ in an arbitrary control volume with a velocity field V,
can be obtained using the Gauss divergence theorem and the law of the
principle of conservation [11]. An integral equation defining the time rate
and divergence of convective transformation balanced with the rate of
production/destruction Ω of the quantity leads to the differential relation
given by Equation 13.22, as
∂Ψ
+ ( Ψ V i ), i =Ω 13.22
∂t
The second term can be written as ( Ψ V i ), i= V i Ψ , i + Ψ V i, i since covariant
differentiation follows the differentiation product rule. Therefore, L.H.S
∂Ψ DΨ
of Equation 13.22 can be written as + V i Ψ , i + Ψ V=
i
,i + Ψ V i, i . In
∂t
Dt
DΨ
=
Dt
vector form, this equation reads
DΨ DΨ
+ Ψ∇ ⋅ V = + Ψ V i, i = Ω 13.23
Dt Dt
Equation 13.22 (or equally Equation 13.23) can be considered the equation
of motion for the control volume or, in general, the medium that the quantity
Ψ transports in it. The source term is associated with the quantity in ques-
tion: for example, the mass, momentum, energy, electric charge, etc.
Now we consider mass conservation, or let Ψ =ρ where ρ is mass per
unit volume or density of the quantity in motion. After substitution in
Dρ
Equation 13.23, we get + ρ V i, i =
Ω. If mass source is zero, then we get
Dt
the continuity equation, as
Dρ
+ ρ V i, i =
0 13.24
Dt
Dρ ∂ρ
Note that = + V i ρ, i . Some specific cases can be observed:
Dt ∂t
ρ = ρ ( t ) only, i.e., we have an inhomogeneous quantity whose den-
sity changes with time. In this case the continuity equation reads as
∂ρ ∂ρ
+ V i ( ρ, i ) + ρ V i , i =
0 , or + ρ V i, i =
0.
∂t ∂t
=0
ρ = ρ ( x i ) only, i.e., we have an inhomogeneous quantity whose density
changes from location to location in the continuum but remains constant
with time at any given location. In this case the continuity equation reads
as ∂ρ + V i ρ + ρ V i = 0 , or ( ρ V ) = 0 .
i
,i ,i
∂t
=0
ρ is a constant, i.e., we have a homogeneous quantity with constant
density at all locations and times in the continuum. In this case the
Dρ
+ ρ V ,i =
0 , or V i, i = 0.
i
continuity equation reads as
Dt
=0
Now we consider momentum conservation, or let Ψ =ρ V , i.e., momentum
per unit volume of the quantity in motion. In this case Ψ is a vector quantity.
Substituting in Equation 13.22, the i th contravariant component reads
∂ ( ρV i )
∂t
(
+ ρ V iV j )
, j
=
Ω i 13.25
14
COLLECTION OF RELATIONS
FOR SELECTED COORDINATE
SYSTEMS
TABLE 14.1 Relations for tensors and their related derivatives in Cartesian coordinate systems.
Coordinates ( x, y, z ) ≡ ( X, Y, Z )
Basis/Unit vectors, Ei ( E , E , E ) ≡ ( i , j, k ), orthogonal
x y z
Jacobian =1
Vector components ( )
A = Ax , Ay , Az = Ax Ex + Ay Ey + Az Ez
(continued)
∂2 Ψ ∂2 Ψ ∂2 Ψ
Laplacian of a scalar, Ψ (
∇ 2 Ψ = ∇ ⋅ ∇Ψ =
∂x2
)
+ 2 + 2
∂y ∂z
∇ A=
2
∂ 2 Ax ∂ 2 Ax ∂ 2 Ax ∂ Ay ∂ Ay ∂ Ay
2 2 2
2 + + E +
∂x2
+ + Ey
∂z2
x
Laplacian of a vector, A ∂x ∂y2 ∂z2 ∂y2
∂ 2 A ∂ 2 Az ∂ 2 Az
+ 2z + + 2 Ez
∂x ∂y2 ∂z
∂4 ∂4 ∂4 ∂4 ∂4 ∂4
Biharmonic operator ∇ 4 = 4 + 4 + 4 + 2 2 2 + 2 2 + 2 2
∂x ∂y ∂z ∂x ∂y ∂y ∂z ∂x ∂z
Coordinates
(orthogonal)
( x , x , x ) ≡ ( r,θ, z ) , θ is the azimuth angle
1 2 3
Coordinate surfaces x 2 + y2 =
r 2, cylinders y / x = tan θ, planes z = constant, planes
cos θ − r sin θ 0
( er , eθ , ez ) = sin θ , r cosθ , 0
Basis vectors, ei,
covariant 0 0 1
cos θ − sin θ / r 0
Basis vectors, e i, ( e , e , e ) = sin θ , cosθ / r , 0
r θ z
contravariant 0 1
0
( g rr )= ( g zz )= 1, g= ( g )=
−1 −1 θθ −1
Metric tensors, gij g=
rr g=
zz θθ r 2 , the rest are
and g ij null-system is orthogonal
Jacobian =r
∂A ( r ) ∂A (θ ) ∂A ( z )
∂r ∂r ∂r
Gradient of a ∂A ( r ) A (θ ) ∂A (θ ) A ( r ) ∂A ( z )
=
∇A − +
vector, A
r ∂θ r r ∂θ r r ∂θ
∂A ( r ) ∂A (θ ) ∂A ( z )
∂z ∂z ∂z
(continued)
∂A ( z ) ∂A (θ ) ∂A ( r ) ∂A ( z )
=
∇×A − e (r) + − e (θ )
r ∂θ ∂z ∂z ∂r
Curl of a vector, A
∂ ( rA (θ ) ) ∂A ( r )
+ − e ( z)
r ∂r r ∂θ
Divergence ∂ ( rA ( r ) ) ∂A (θ ) ∂A ( z )
of a =
∇⋅A + +
vector, A r ∂r r ∂θ ∂z
1 ∂ ∂ 1 ∂2 ∂2
Laplacian operator ∇2 = ∇ ⋅ ∇ =( ) r + +
r ∂r ∂r r 2 ∂θ 2 ∂z2
1 ∂ ∂Ψ 1 ∂ 2 Ψ ∂ 2 Ψ
Laplacian of a
scalar, Ψ
(
∇ 2 Ψ = ∇ ⋅ ∇Ψ = )
r + +
r ∂r ∂r r 2 ∂θ 2 ∂z2
2 2 ∂A (θ ) A ( r )
A(r) − 2
∇ 2 A =∇ − 2 e (r)
Laplacian r ∂θ r
of a
vector, A 2 ∂A ( r ) A (θ )
+ ∇ 2 A (θ ) + 2 − 2 e (θ ) + ∇ 2 A ( z ) e ( z )
r ∂θ r
Biharmonic 1 ∂ ∂ 1 ∂ ∂ 1 ∂2 1 ∂2 ∂4
∇4 = r r + 2 2
+ 4
operator r ∂r ∂r r ∂r ∂r r 2 ∂θ 2 r ∂θ ∂z
Coordinates
(orthogonal)
( r,ϕ ,θ ), θ azimuth and ϕ polar angle
Coordinate x = r sin ϕ cos θ y = r sin ϕ sin θ z = r cos ϕ
functions
Coordinate surfaces
x2 + y2 + z2 =
r 2, (x + y2 ) / z 2 =
2
tan 2 ϕ, y / x = tan θ, planes
spheres cones
(continued)
( g=
)rr −1
(g =
)ϕϕ −1
(g =
) ( r sin ϕ ) , the rest
θθ −1 2
Metric tensors, gij =
grr 1,=
gϕϕ r 2=
, gθθ
ij
and g are null-system is orthogonal
Jacobian = r 2 sin ϕ
(continued)
∂ 1 ∂ 1 ∂
Gradient vector =∇ er + eϕ + eθ
∂r r ∂ϕ r sin ϕ ∂θ
Gradient of a ∂Ψ 1 ∂Ψ 1 ∂Ψ
=
∇Ψ er + eϕ + eθ
scalar, Ψ ∂r r ∂ϕ r sin ϕ ∂θ
∇A =
∂A ( r ) ∂A (ϕ ) ∂A (θ )
∂r ∂r ∂r
Gradient of a ∂A ( r ) A (ϕ ) ∂A (ϕ ) A ( r ) ∂A (θ )
vector, A
r ∂ϕ
−
r r ∂ϕ
+
r r ∂ϕ
1 ∂A ( r ) A (θ ) 1 ∂A (ϕ ) A (θ ) 1 ∂A (θ ) A ( r ) A (ϕ )
− − cot ϕ + + cot ϕ
r sin ϕ ∂θ r r sin ϕ ∂θ r r sin ϕ ∂θ r r
1 ∂ ( A (θ ) sin ϕ ) ∂A (ϕ )
=∇×A − e (r)
r sin ϕ ∂ϕ ∂θ
1 1 ∂A ( r ) ∂ ( rA(θ )
Curl + − e (ϕ )
r sin ϕ ∂θ ∂r
1 ∂ ( rA (ϕ ) ) ∂A ( r )
+ − e (θ )
r ∂r ∂ϕ
1 ∂ 2 ∂ 1 ∂ ∂ 1 ∂2
Laplacian operator ( )
∇2 = ∇ ⋅ ∇ = 2 r + 2 sin ϕ
r ∂r ∂r r sin ϕ ∂ϕ
+ 2 2
∂ϕ r sin ϕ ∂θ 2
1 ∂ 2 ∂Ψ 1 ∂ ∂Ψ
(
∇ 2 Ψ = ∇ ⋅ ∇Ψ = 2 )r + sin ϕ
r ∂r ∂r r 2 sin ϕ ∂ϕ
∂ϕ
Laplacian of a
scalar, Ψ 1 ∂2 Ψ
+ 2 2
r sin ϕ ∂θ 2
(continued)
2Ar 2 sin A 2 A
2 A 2 A r 2 2 er
r 2
r sin r sin
Laplacian A 2 A r 2 cos A
of a 2 A 2 2 2 2 2 e
vector, A r sin r r sin
A 2 A r 2 coss A
2 A 2 2 2 2 2 e
r sin r sin r sin
1 ∂ 2 ∂ 1 ∂ 2 ∂
∇4 = 2 r r
r ∂r ∂r r 2 ∂r ∂r
Biharmonic 1 ∂ ∂ 1 ∂ ∂
+ 2 sin ϕ 2 sin ϕ
operator, ∇ 4 r sin ϕ ∂ϕ ∂ϕ r sin ϕ ∂ϕ ∂ϕ
1 ∂2 1 ∂2
+ 2 2
r sin ϕ ∂θ 2 r 2 sin 2 ϕ ∂θ 2
Coordinates
(ξ ,η ,θ )
(orthogonal)
Coordinate
functions
x = ξη cos θ y = ξη sin θ =
z (ξ 2
− η2 ) / 2
x 2 + y2 = x 2 + y2 =
Coordinate surfaces −2ξ 2 ( z − ξ 2 / 2 ) , −2η 2 ( z − η 2 / 2 ) , y / x = tan θ , planes
paraboloids paraboloids
(continued)
Scale factors, hi ξ η (ξ
(h , h ,h ) =θ
2
+ η 2 , ξ 2 + η 2 , ξη )
( e (ξ ) , e (η ) , e (θ ) ) =
Unit vectors, η cos θ ξ cos θ − sin θ
physical 1 1
components 2 η sin θ , 2 ξ sin θ , cos θ
ξ +η ξ +η
2 2
ξ −η 0
Jacobian = ξη (ξ 2 + η 2 )
Unit volume d𝕍 ξη (ξ 2 + η 2 ) dξ dη dθ
=
dS =
Line element and dS = ξ 2 + η 2 dξ e (ξ ) + dη e (η )
magnitude + ξη dθ e (θ ) (ξ 2
+ η 2 ) ( dξ ) + (ξ 2 + η 2 ) ( dη ) + (ξη dθ )
2 2 2
Vector components A = A (ξ ) e (ξ ) + A (η ) e (η ) + A (θ ) e (θ )
Γθξθ = θ
Γθξ
=1/ξ
Γξξξ = −Γηη
ξ
Γξξη = ξ
Γηξ
Christoffel symbols, ξ
Γθθ = Γηθθ = θ
Γηθ = θ
Γθη
based on covariant =Γηξη = η
Γηξ = Γηηη
−ξη / (ξ + η ) −ηξ / (ξ + η ) = 1 / η
2 2 2 2 2 2
Basis vectors = ξ / (ξ 2 += η 2 ) η / (ξ 2 + η 2 )
θ θ
Γηθ =Γθη
= 1 /η
Dot-product
A ⋅ B A (ξ ) B (ξ ) + A (η ) B (η ) + A (θ ) B (θ )
=
(two vectors)
(continued)
A × B A (η ) B (θ ) − A (θ ) B (η ) e (ξ )
=
Cross-product
+ A (θ ) B (ξ ) − A (ξ ) B (θ ) e (η )
(two vectors)
+ A (ξ ) B (η ) − A (η ) B (ξ ) e (θ )
1 ∂ 1 ∂ 1 ∂
Gradient=
vector ∇ eξ + eη + eϕ
ξ + η ∂r ξ + η ∂η ξη ∂ϕ
2 2 2 2
Gradient =of a 1 ∂Ψ 1 ∂Ψ 1 ∂Ψ
∇Ψ eξ + e + e
scalar, Ψ η ξη ∂ϕ ϕ
ξ + η ∂r ξ + η ∂η
2 2 2 2
1 ∂ ∂ 1 ∂ ∂
( )
∇2 = ∇ ⋅ ∇ =
ξ (ξ + η ) ∂ξ
ξ + η
∂ξ η (ξ + η ) ∂η ∂η
2 2 2 2
Laplacian operator
1 ∂2
+
(ξη )2 ∂θ 2
1 ∂ ∂Ψ 1 ∂ ∂Ψ
( )
∇ 2 Ψ = ∇ ⋅ ∇Ψ = 2 ξ + 2 2 η
ξ (ξ + η ) ∂ξ ∂ξ η (ξ + η ) ∂η ∂η
2
Laplacian of a
scalar, Ψ 1 ∂2 Ψ
+
(ξη )2 ∂θ 2
Laplacian
of a ∇2 A =
, use Equation 11.21.
vector, A
For this coordinate system, we didn’t list all relations, since they are lengthy.
But readers can use the relations given in the next section, as they are appli-
cable to all orthogonal coordinate systems.
TABLE 14.5 Relations for quantities and their related derivatives in curvilinear orthogonal coordinate systems.
Coordinates
( x1 , x2 , x3 ) ≡ ( x1 , x2 , x3 )
(orthogonal)
Basis vectors ei , ( e1 , e2 , e3 )
covariant
Scale factors, hi ( h1 , h2 , h3 )
Unit vectors e ( i ) , ( e (1) , e ( 2 ) , e ( 3 ) ) = ( e1 / h1 , e2 / h2 , e3 / h3 )
physical components
g11 (= g11 ) (=
g ) ) , g (=
g )
−1 22 −1 33 −1
( h1 )= (h = ( h ) , the
2 2 2
Metric tensors, gij = , g22 2 33 3
ij
and g rest are null
Basis vectors e i
contravariant
( e , e , e ) = ( e g
1 2 3
1
11
, e2 g 22 , e3 g 33 )
Jacobian = h1 h2 h3
Vector components A = A (1 ) e (1 ) + A ( 2 ) e ( 2 ) + A ( 3 ) e ( 3 )
Christoffel symbols (use Equations 10.20-10.25)
Dot-product
A ⋅ B A (1 ) B (1 ) + A ( 2 ) B ( 2 ) + A ( 3 ) B ( 3 )
=
(two vectors)
A × B A ( 2 ) B ( 3 ) − A ( 3 ) B ( 2 ) e (1 )
=
Cross-product
+ A ( 3 ) B (1 ) − A (1 ) B ( 3 ) e ( 2 )
(two vectors)
+ A (1 ) B ( 2 ) − A ( 2 ) B (1 ) e ( 3 )
1 ∂ 1 ∂ 1 ∂
Gradient vector=∇ e (1 ) + e (2) + e (3)
h1 ∂x1 h2 ∂x2 h3 ∂x3
Gradient of a 1 ∂Ψ 1 ∂Ψ 1 ∂Ψ
=∇Ψ e (1 ) + e (2) + e (3)
scalar, Ψ h1 ∂x1 h2 ∂x2 h3 ∂x3
(continued)
∂A i k i j
Gradient of a
(
∇ A =∇ j A e j = )
∇ j ( A i ei ) e j = j + A Γ kj ei e , see Example 15.13.
vector, A ∂x
1 ∂ ( h3 A ( 3 ) ) ∂ ( h2 A ( 2 ) )
=∇×A − e (1 )
h2 h3 ∂x2 ∂x3
1 ∂ ( h1 A (1 ) ) ∂ ( h3 A ( 3 ) )
Curl of a vector, A + − e (2)
h1 h3 ∂x3 ∂x1
1 ∂ ( h2 A ( 2 ) ) ∂ ( h1 A (1 ) )
+ − e (3)
h1 h2 ∂x1 ∂x2
Divergence 1 ∂ ( h2 h3 A (1 ) ) ∂ ( h1 h3 A ( 2 ) ) ∂ ( h1 h2 A ( 3 ) )
of a
= ∇ ⋅A + +
vector, A h1 h2 h3 ∂x1 ∂x2 ∂x3
1 ∂ ( h2 h3 A (11 ) ) ∂ ( h1 h3 A ( 21 ) ) ∂ ( h1 h2 A ( 31 ) )
+ +
h1 h2 h3 ∂x1 ∂x2 ∂x3
e (1 )
∇ ⋅ A =
+ A ( 12 ) ∂ h A ( 31 ) ∂h A ( 22 ) ∂ h A ( 33 ) ∂ h
1
+ 1
− 2
− 3
h1 h2 ∂x2 h1 h3 ∂x3 h1 h2 ∂x1 h1 h3 ∂x1
1 ∂ ( h2 h3 A (12 ) ) ∂ ( h1 h3 A ( 22 ) ) ∂ ( h1 h2 A ( 32 ) )
+ +
Divergence of a h1 h2 h3 ∂x1 ∂x2 ∂x3
e (2)
+
2nd rank tensor, A + A ( 23 ) ∂ h A ( 12 ) ∂ h A ( 33 ) ∂h A ( 11 ) ∂ h
2
+ 2
− 3
− 1
h2 h3 ∂x3 h1 h2 ∂x1 h2 h3 ∂x2 h1 h2 ∂x2
1 ∂ ( h2 h3 A (13 ) ) ∂ ( h1 h3 A ( 23 ) ) ∂ ( h1 h2 A ( 33 ) )
+ +
h1 h2 h3 ∂x1 ∂x2 ∂x3
e (3)
+
+ A ( 31 ) ∂ h A ( 23 ) ∂ h A ( 11 ) ∂ h A ( 22 ) ∂ h
3
+ 3
− 1
− 2
h1 h3 ∂x1 h2 h3 ∂x2 h3 h1 ∂x3 h2 h3 ∂x3
∇ 2 Ψ = ∇ ⋅ ∇Ψ ( )
Laplacian of a
scalar, Ψ 1 ∂ h2 h3 ∂Ψ ∂ h1 h3 ∂Ψ ∂ h1 h2 ∂Ψ
= + +
h1 h2 h3 ∂x1 h1 ∂x1 ∂x2 h2 ∂x2 ∂x3 h3 ∂x3
(continued)
∇2 A =
∂ h2 ∂ ( h1 A1 ) ∂ ( h3 A3 )
−
1 ∂ 1 ∂x3 h1 h3 ∂x3 ∂x1
(∇⋅A + )
h2 h3 ∂ h ∂ ( h2 A2 ) ∂ ( h1 A1 )
e1
h1 ∂x1
− ∂x h h ∂x −
3
∂x2
2 1 2 1
∂ h3 ∂ ( h2 A2 ) ∂ ( h1 A1 )
−
Laplacian
of a 1 ∂ 1 ∂x1 h1 h2 ∂x1 ∂x2
vector, A + (
∇ ⋅A + )
h1 h3 ∂ h ∂ ( h3 A3 ) ∂ ( h2 A2 )
e2
h2 ∂x2
− −
1
∂x3 h2 h3 ∂x2 ∂x3
∂ h1 ∂ ( h3 A3 ) ∂ ( h2 A2 )
−
1 ∂ 1 ∂x2 h2 h3 ∂x2 ∂x3
+ (
∇ ⋅A + )
h2 h1 ∂ h ∂ ( h1 A1 ) ∂ ( h3 A3 )
e3
h3 ∂x3
− −
2
∂x1 h1 h3 ∂x3 ∂x1
1 ∂
∂ 1 ∂ ∂
∇4 = k
g kl l i
g ij
j
∂x ∂x ∂x ∂x
∇2
∂ h h ∂ 1 ∂ h2 h3 ∂
Biharmonic
2 3
∂x1 h1 ∂x1 h1 h2 h3 ∂x1 h1 ∂x1
operator, ∇ 4
1 ∂ h1 h3 ∂ 1 ∂ h1 h3 ∂
= +
h1 h2 h3 ∂x2 h2 ∂x2 h1 h2 h3 ∂x2 h2 ∂x2
+ ∂ h1 h2 ∂ 1 ∂ h1 h2 ∂
∂x3 h3 ∂x3 h1 h2 h3 ∂x3 h3 ∂x3
15
RIGID BODY ROTATION:
EULER ANGLES,
QUATERNIONS, AND
ROTATION MATRIX
In Chapter 12, we discussed Cartesian tensors and rotation of coordinate
system using Rodrigues’ formula (see Equation 12.6). For practical applica-
tions, mainly rigid body rotation, in this chapter we would like to expand on
this topic in relation to Euler angles and quaternions methods.
A rigid body transformation can be composed of two parts: a) translation
and b) rotation. The translation is usually referred to a vector connecting
the origin of the coordinate system to the centre of mass. Therefore, we can
always refer the rotation to the instantaneous center of mass and focus on
the rotation for calculation and analysis of rigid body motion.
In general, there are at least eight methods to represent rotation [13].
Among these three inter-related methods commonly used for calculating
rigid body orientation after it goes through possible rotations in a 3D space.
These are: 1) rotation matrix, 2) single axis-angle, and 3) quaternions. The
first two methods are discussed in Chapter 12 and expanded in this chapter
with the inclusion of Euler angles method. The third method is more robust
and with less limitations compared to the other methods in terms of practical
applications and is new to this second edition.
When dealing with rotation of a rigid body, several confusions may arise
in terms of definition of rotation matrix and rotation variables. To avoid
these ambiguities, identifying two definitions is critical. First, the assumed
note that the rotation matrix given here relates the rotated coordinates to the
( )
existing/current ones. Now if we have a vector V = Vx , Vy given in x − y
system and making angle ϕ with positive x axis then its components in x′ − y′
V cosθ sin θ Vx
system, in terms of Vx and Vy , are given as x′ = . This
Vy′ − sin θ cosθ Vy
type of transformation for which the vector is kept fixed and the coordinate
system rotates is called passive rotation. We can also perform the opposite
operation by rotating the vector and keep the original coordinate system
fixed. Therefore, we keep the system x − y fixed and rotate the vector V by
an angle equal to −θ about the same rotation axis (i.e., ni = ( 0,0,1 ) ) to get
the vector V′. This type of transformation for which the vector is rotated,
and the coordinate system is kept fixed is called active rotation. See Figure
Vx′
15.1. The components of the rotated vector are V ′ = ′ and are equivalent
Vy
V
to x′ in their magnitudes. In other words, passive rotation through an
Vy′
angle θ is equivalent to corresponding active rotation through an angle equal
to −θ . For 3D rotations, we can expand the relationship between passive and
active rotations by using the properties of rotation matrix, see Section 12.1,
or
Rij (=
n,θ ) R ji ( n, −θ ) 15.1
Equation 15.1 states that the rotation matrix for a given angle and axis of
rotation is equal to its transpose when the rotation angle is in opposite direc-
tion but about the same rotation axis. As mentioned in this book, we consider
Rij, as given by Equation 12.7, for passive rotations and use its transpose (or
inverse) for active rotations.
Solution:
The magnitude of the vector V is V = 3 2 + 4 2 = 5 and it makes an angle
4
=ϕ tan −1 =
53.13° with the x-axis. For passive rotation, we keep the vec-
3
tor V fixed and rotate the coordinate system ( x, y ) by 30° in the counter clock-
wise direction to get the resulted coordinate system ( x′, y′ ) . Therefore, the
cos30 sin 30 3 /2 1/2
rotation matrix is = . The components of the
− sin 30 cos30 −1/2 3 /2
3 /2 1/2 3 4.598
are x′
V
vector V in the ( x′, y′ ) system
= = .
V
passive −1/2
y′ 4
3 /2 1.964
For active rotation, we keep the coordinate system ( x, y ) fixed and rotate
the vector by 30° in the clockwise direction (or −30° ) to receive the vec-
( )
tor V ′ = Vx′, Vy′ that makes an angle ϕ=′ 53.13° − 30= °
23.13° with
the x-axis. Therefore, the components = are Vx′ 5cos
= ( 23.13 ) 4.598
V′
( 23.13 ) 1.964 , or x =
4.598
and Vy′ 5sin
= = . Note that
Vy′ 1.964 active
y y
V
y
V
x
V
x x
Passive Active
FIGURE 15.1 Passive (left) and active (right) transformations for a 2D coordinate system.
TABLE 15.1 Possible combination of Euler angles for rigid body rotations.
Few points should be noted about the order of executing Euler angles. As pre-
viously explained the rotation matrix related to each successive rotation should
be pre-multiplied by the previous ones. Considering the order of rotations
as the reference. This is a direct consequence of our definition for rotation
matrix that transforms previous axes to the current rotated ones. Conversely,
if one defines the transpose of the rotation matrix given by Equation 12.7
(i.e., transforming current/rotated coordinates to the original ones) then the
sequence of rotations through Euler angles and their multiplications of their
corresponding rotation matrices to generate the final rotation matrix should
be performed in the same order. For example, according to our definition,
see Equation 12.7, considering the combination yxz the order of rotation
is pitch first, followed by roll and having yaw as the last rotation, or (pitch-
roll-yaw). With this definition, yxz should be read in backward order, yxz
to get the correct final rotation matrix resulted from multiplication of rota-
tion matrices combination, see Section 12.2. Therefore, the related rotation
T T T
matrices multiplication order is Rθ3 Rθ2 Rθ1 = Rθ1 Rθ2 Rθ3 ,
where θ1 is the first angle of rotation (for example pitch), θ 2 second (for
example roll), and θ 3 third (for example yaw). The resulted rotation matrix
reads
[ R ] = Rθ 3
Rθ2 Rθ1 15.2
R −1 2 R −1
After substituting for cosθ we receive R (1,1 ) = ii + ( n1 ) 1 − ii .
2 2
2 R (1,1 ) − Rii + 1
Factoring out n1 gives, after some manipulation, n1 = .
3 − Rii
Therefore, for component k of the vector n = ( n1 , n2 , n3 ) , parallel to the rota-
tion axis, we receive
2 R ( k, k ) − Rii + 1
=nk = , k 1,2,3 15.3
3 − Rii
Solution:
We calculate the rotation matrices, using Equation 12.6 and multiply them
using Equation 15.2.
First yaw rotation: the rotation is about z-axis with ni = ( 0,0,1 ) and θ1 = 30
3 1
cos30 sin 30 0 2 0
2
which gives Rθ1 = − sin 30 cos30 0 = .
1 3
0 0 1 2− 0
2
0 0 1
Last yaw rotation: this rotation is about current z-axis (resulted from the
immediate previous rotation) with ni = ( 0,0,1 ) and θ 3 = 15 which gives
3 +1 3 −1
0
cos15 sin15 0 2 2 2 2
Rθ3 =
− sin15 cos15 0 =
3 −1 3 +1 .
0 − 0
0 1
2 2 2 2
0 0 1 2 2 3 1
0 − 0
2 2 2 2
For final rotation matrix, we first calculate Rθ2 Rθ1 = 0 1 0 1 3 =
6 − 0
2 2 2 2 2 2
2 2 3 1 − 0
0 − 0 4 4 2 2 2 0
0 1
2 2 2 2 1 3
Rθ2 Rθ1 = 0 1 0 1 3 = − 0 . The final operation is
− 0 2 2
2 0 2 2 2 6 2 2
2 2 0 0 1
4 4 2
to pre-multiply Rθ3 to this result, or
6 2 2
3 +1 3 −1 −
0 4 4 2
2 2 2 2 1 3
[ R ] = 3 − 1 3 +1 − 0
− 0 2 2
2 2 2 2 6 2 2
0 0 1
4 4 2
3+ 2 + 3 − 6 1+3 2 + 3 − 6 1+ 3
−
8 8 4
−3 − 2 + 3 − 6 1+3 2 − 3 + 6 −1 + 3
=
8 8 4
6 2 2
4 4 2
FIGURE 15.3 Successive rotation of an airplane, Euler angels left-to-right, yaw=30, pitch=45, yaw=15 degrees.
It seems useful to refer the readers to some animation tools for Euler angles.
The following Apps, available through the following links, could be used for
demonstrating the Euler angles.
“Controlling Airplane Flight” [22], “Euler Angles for Space Shuttle” [23],
and “Euler Angles” [24].
unit vector-
rotation axis Roll: ni = (1,0,0 ) Pitch: ni = ( 0,1,0 ) Yaw: ni = ( 0,0,1 )
Tensor-Analysis-for-Engineers_2E_CH15.indd 114
Successive θ3
θ1 θ2 Matrices multiplication for successive rotations Rotation matrix
rotation-angles
1 0 0 cos (θ 2 ) 0 − sin (θ 2 ) 1 0 0
xyx roll pitch roll 0 cos (θ 3 ) sin (θ )
3 0 1 0 0 cos (θ 1 ) sin (θ1 ) = xyx
0 − sin (θ 3 ) cos (θ 3 ) sin (θ 2 ) 0 cos (θ 2 ) 0 − sin (θ1 ) cos (θ1 )
1 0 0 cos (θ 2 ) sin (θ 2 ) 0 1 0 0
114 • Tensor Analysis for Engineers, 2E
xzx roll yaw roll 0 cos (θ 3 ) sin (θ )
3 − sin (θ 2 ) cos (θ 2 ) 0 0 cos (θ 1 ) sin (θ1 ) = xzx
0 − sin (θ 3 ) cos (θ 3 )
0 0 1 0 − sin (θ1 ) cos (θ1 )
10/3/2020 10:28:53 AM
Rigid Body Rotation: Euler Angles, Quaternions, and Rotation Matrix • 115
where,
cos (θ 2 ) sin (θ1 ) sin (θ 2 ) −cos (θ1 ) sin (θ 2 )
sin (θ 2 ) sin (θ 3 ) cos (θ 3 ) cos (θ1 ) cos (θ 3 ) sin (θ1 )
xyx = − sin (θ 3 ) cos (θ 2 ) sin (θ1 ) + sin (θ 3 ) cos (θ 2 ) cos (θ1 )
cos (θ 3 ) sin (θ 2 ) − sin (θ 3 ) cos (θ1 ) cos (θ 3 ) cos (θ 2 ) cos (θ1 )
− cos (θ 3 ) cos (θ 2 ) sin (θ1 ) − sin (θ 3 ) sin (θ1 )
Conversely; for a given single-axis rotation matrix the corresponding
R (1,2 ) 1 − R 2 (1,1 )
, θ 2 = tan , and
−1
Euler angles are: θ1 = tan
−1
− R ( 1,3 )
R ( 1,1 )
R ( 2,1 )
θ 3 = tan −1
R ( 3,1 )
cos (θ 2 ) cos (θ1 ) sin (θ 2 ) sin (θ1 ) sin (θ 2 )
− sin (θ 2 ) cos (θ 3 ) − sin (θ1 ) sin (θ 3 ) cos (θ1 ) sin (θ 3 )
xzx = + cos (θ 3 ) cos (θ 2 ) cos (θ1 ) + sin (θ1 ) cos (θ 2 ) cos (θ 3 )
sin (θ 2 ) sin (θ 3 ) − sin (θ1 ) cos (θ 3 ) cos (θ1 ) cos (θ 3 )
− cos (θ ) cos (θ ) sin (θ ) − sin (θ ) cos (θ ) sin (θ )
1 2 3 3 2 1
R ( 3,1 )
θ 3 = tan −1
− R ( 2,1 )
cos (θ 3 ) cos (θ1 ) sin (θ 2 ) sin (θ 3 ) − cos (θ 3 ) sin (θ1 )
− sin (θ 3 ) cos (θ 2 ) sin (θ1 ) − cos (θ1 ) cos (θ 2 ) sin (θ 3 )
yxy = sin (θ1 ) sin (θ 2 ) cos (θ 2 ) cos (θ1 ) sin (θ 2 )
sin (θ 3 ) cos (θ1 ) − sin (θ 2 ) cos (θ 3 ) cos (θ 3 ) cos (θ 2 ) cos (θ1 )
+ cos (θ ) cos (θ ) sin (θ ) − sin (θ 3 ) sin (θ1 )
3 2 1
R (1,2 )
θ 3 = tan −1
− R ( 3,2 )
− R ( 2,1 ) R ( 2,2 )
R ( 3,2 )
θ 3 = tan −1
R (1,2 )
R (1,3 )
θ 3 = tan −1
R ( 2,3 )
R ( 2,3 )
θ 3 = tan −1
− R (1,3 )
unit vector-
rotation axis Roll: ni = (1,0,0 ) Pitch: ni = ( 0,1,0 ) Yaw: ni = ( 0,0,1 )
Tensor-Analysis-for-Engineers_2E_CH15.indd 117
0 − sin ( ) cos ( ) sin ( ) 0 cos ( ) 0 0 1
Successive θ3
θ1 θ2 Matrices multiplication for successive rotations Rotation matrix
rotation-angles
Tait-Bryan Angles
(θ3 ) − sin (θ2 ) cos (θ2 ) 0 0
0 − sin (θ 3 ) cos (θ 3 )
0 0 1 sin (θ1 ) 0 cos (θ1 )
10/3/2020 10:29:00 AM
118 • Tensor Analysis for Engineers, 2E
where,
cos (θ 2 ) cos (θ 3 ) cos (θ1 ) sin (θ 3 ) sin (θ 3 ) sin (θ1 )
+ cos (θ 3 ) sin (θ 2 ) sin (θ1 ) − cos (θ 3 ) sin (θ 2 ) cos (θ1 )
xyz = − cos (θ 2 ) sin (θ 3 ) − sin (θ 3 ) sin (θ 2 ) sin (θ1 ) cos (θ 3 ) sin (θ1 )
+ cos (θ 3 ) cos (θ1 ) + sin (θ 3 ) sin (θ 2 ) cos (θ1 )
sin (θ 2 ) − cos (θ 2 ) sin (θ1 ) cos (θ 2 ) cos (θ1 )
R ( 3,3 ) 1 − R 2 ( 3,2 )
R (1,2 )
θ 3 = tan −1
R ( 2,2 )
R ( 2,2 ) 1 − R 2 ( 2,3 )
−R (1,3 )
θ 3 = tan −1
R ( 3,3 )
R (1,1 ) 1 − R 2 (1,3 )
R ( 2,3 )
θ 3 = tan −1
R ( 3,3 )
of a fixed given point in space with initial coordinates ( x, y, z). In other words,
the initially body-attached axes ( x, y, z) orient themselves to the ( x′ , y′, z′)
after the airplane goes through the given successive yaw-pitch-yaw rotations.
x′ 0 sin ( β ) −cos ( β ) x
nates, we receive y′ = 0 cos ( β ) sin ( β ) y . Where β= θ1 + θ 3.
z
z′ 1 0 0
15.5.1 Definition-Quaternion
A quaternion can be defined as the combination of a scalar and a vector, as
q = ( q0 , q ) . The vector-like part is in principle defined as a 3D complex num-
ber when using their multiplication relation defined as given by Equation
15.4. It is well-known that in 1843 Hamilton, excited with his spark discov-
ery, engraved this expression as a message on Broome Bridge in Dublin,
Ireland [31], [32].
i2 = j2 = k2 = ijk = −1 15.4
where, q0 is a real number and remaining terms are complex numbers. For
example, 2 − i + 3 j + 2 k. Using Equation 15.5, we can write complex num-
=
bers i, j, k as quaternions, or i (=
0,1,0,0 ) , j ( 0,0,1,0
= ) , and k ( 0,0,0,1).
Note that the similarity between ( i, j, k), here defined as complex num-
( )
bers with those of unit vectors ( e1 , e2 , e3 ) ≡ i, j, k that justifies the vector-
like representation of a quaternion and hence to some extent simplifies the
mathematical expressions resulted from algebraic manipulation of quater-
nions. The relations for the product of these complex quantities follows
the cross-product of unit vectors, except for those of identical unit vectors
(e.g., i2 = −1, whereas i × i =0 and i ⋅ i =1, etc.). Please note i2 = ii is an
expression representing arithmetic multiplication of a complex number i by
itself, hence manipulation of quaternions is relatively easier than those of
vectors.
All possible combinations of complex numbers products are listed in Table
15.4, with clockwise multiplication considered to be positive. From these
relations we can conclude that these relations are not commutative, for
example, ij ≠ ji =− ij, etc.
TABLE 15.4 Hamilton relations, quaternions multiplication rule.
k i
+ i = ( 0,1,0,0 ) j = ( 0,0,1,0 ) k = ( 0,0,0,1 )
j
i i2 = −1 ij = k ik = − j
j ji = − k j2 = −1 jk = i
k ki = j kj = − i k2 = −1
Solution:
We start with ijk = −1 and multiply both sides by i to receive
i2 jk = − i .
Hence, jk = i. Similarly, kj = − i. −1
jk = − k. Hence, i kj
Now multiply both sides by k to receive ki
k = k or
− ik
− jk
− ij
k2 =
k. Hence, ij = k. Similarly, ji = − k.
−1
Equation 15.7 clearly demonstrates that qp ≠ pq, since q × p ≠ p × q.
The author’s caution is to note the dual interpretations of complex numbers
i, j, k as unit vectors when the complex part of a quaternion is treated as
a vector (for example i = −1 but we treat as i ⋅ i =
2
1 or i × i = 0 for vec-
tor operation). Readers should note that simply the results of the product
operations are the same, not necessarily the term-by-term operation, hence
Equation 15.7 provides us with the same answer as that of Equation 15.6.
q
A unit quaternion, Q = =Q0 + iQ1 + jQ2 + kQ3 is defined as a quaternion
q
with magnitude/norm equal to unity, with having QQ∗ = 1. Therefore, for a
given unit quaternion its inverse and conjugate are equal, Q −1 = Q∗ . Also,
2
since q∗ q = q , see Equation 15.8, we can define the inverse of the quater-
q∗
nion as q−1 = 2 . Therefore, the division operation of two quaternions can
q
be performed. This, however, has two forms since the quaternions are non-
commutative. For example, the ratio q (assuming p ≠ 0) can be written as
p
−1 −1
qp or p q. Users should define which quotient is desired for their related
calculations.
Solution:
q + p =( 3 + i − 2 j + k ) + ( 2 − i + 2 j + 3 k ) =5 + 4 k . For the prod-
uct we calculate the dot and cross products of the correspond-
ing vectors, or q ⋅ p =(1, −2,1 ) ⋅ ( −1,2,3 ) =−1 − 4 + 3 =−2 and
q × p =emnl qn pl =−8 i − 4 j. Therefore, using Equation 15.7, we have
qp =[ 6 + 2 ] + −3 i + 6 j + 9 k + 2 i − 4 j + 2 k − 8 i − 4 j = 8 − 9 i − 2 j + 11k . The
conjugates are q∗ = 3 − ( i − 2 j + k ) and p∗ = 2 − ( − i + 2 j + 3 k ) . The
norm q = 9 + 1 + 4 + 1 = 15 and p = 4 + 1 + 4 + 9= 3 2.
q∗ 3 − i + 2 j − k 1 1 2 1
The inverse q−1 = 2 = = − i+ j− k and
q 15 5 15 15 15
p∗ 2 + i − 2 j − 3 k 1 1 1 1
p−1 = 2 = = + i − j − k. The unit quaternions are,
p 18 9 18 9 6
3+ i−2 j+k 15 15 2 15 15 and 2 − i + 2 j + 3k 2 2 2
Q= = + i− j+ k P= = − i+ j+
15 5 15 15 15 3 2 3 6 3
2 − i + 2 j + 3k 2 2 2 2
P= = − i+ j+ k.
3 2 3 6 3 2
Having the algebraic rules defined for quaternions, in the following sections
we present their application for coordinates system and rigid body rotation.
Since quaternions are basically an extension to the 2D complex numbers,
first we discuss the relation between 2D complex numbers and rotation
matrix followed by similar relations for 4D quaternions.
Q0 = cos β
15.10
Q = sin β
Q Q
We also define a unit vector as = n = using the vector
Q Q12 + Q22 + Q32
part (i.e., vector Q ) of the unit quaternion Q. Therefore, we can write the
unit quaternion as = Q cos β + n sin β .
Now, we can write as an extension to Euler formula, see Equation 15.9, the
so-called De Moivre’s formula for quaternion Q, [26]
nβ
=
Q e= cos β + n sin β 15.11
Note that n is a 3D imaginary number treated as a vector-like quantity calcu-
lated from the imaginary part of the unit quaternion. Using Equation 15.10,
Q12 + Q22 + Q32
we can write β = tan −1 and since n = ( n1 , n2 , n3 ) is defined
Q0
as a unit vector we have n1 + n22 + n32 =
2
1.
Recall that the rotation matrix/operation preserves the magnitude of the
vector which goes under rotation. In other words, magnitude of a vector
under rotation is invariant (see Sections 12.2 and 15.5.3). Therefore, for
using quaternions in rotation operation we look for an operator which is a
combination of relevant quaternion and maintains the magnitude of the vec-
tor on which it operates. The quaternion operation on a vector is done in a
two-step process, using a unit quaternion and its inverse/conjugate to make
sure that the result is a vector with preserved magnitude. For this purpose,
∗ −1
we use the unit quaternion Q and form the combination QVQ = QVQ to
( )
transform vector V to V ′ by rotation, or
∗
=V ′ QVQ
= enβ Ve− nβ 15.12
As mentioned, the reason that we use unit quaternion and its inverse/conjugate
is simply because the combination QV , as much as it may intuitively seem the
correct combination, it doesn’t result in a new vector and nor maintaining the
magnitude of V , under rotation operation. This can be seen using Equation 15.7
and writing V as= a pure quaternion. Or QV (= Q0 , Q1 , Q2 , Q3 ) ( 0, V1 , V2 , V3 )
−Q ⋅ V + Q0 V + Q × V , which is clearly a quaternion quantity and not a vector
due to having a scalar part (i.e. Q ⋅ V ).
Now, after expanding Equation 15.12, using Equation 15.11, we have QVQ∗ =( cos β + n sin β ) V ( co
( )
= V cos β + nV sin β ( cos β − n sin β ) =
QVQ∗ =( cos β + n sin β ) V ( cos β − n sin β ) =
( )
V cos2 β − nVn sin 2 β + nV − Vn sin β cos β . But using vector identities, we
can write nVn = ( )
V − 2 n ⋅ V n and nV − Vn =2 n ×V . After substituting we
receive, in terms of double angle 2 β ,
∗
=
QVQ ( ) (
V cos2 β + (1 − cos2 β ) n ⋅ V n + n × V sin 2 β )
Therefore, we can write Equation 15.12 in index notation as (note that in
Equation 15.13 subscripts i, j, k are simply indices, ranging from 1 to 3 and
should not be confused with the imaginary numbers)
Q
θ rotation (2=
= β )quaternion 2 tan −1
Q0
15.15
Q
n =
Q1 + Q22 + Q32
2
Readers may recall that for active rotation we keep the coordinate system
fixed and rotate the vector, see Section 15.1. From the above-mentioned
derivation, we can conclude the following theorem (note that Q −1 = Q∗):
For any given vector V and unit quaternion Q = Q0 + Q, vector
QVQ −1 is equivalent to the active rotation of the vector V through
Q
an angle θ = 2 tan −1 about an axis parallel to Q or equiva-
Q0
Q
lently the unit vector n =
Q
Similarly, it can be shown that the combination
Q∗ VQ = e− nβ Venβ 15.16
is equivalent to a passive rotation of vector V .
Two points worth mentioning, about quaternions and rotations. 1) It takes
two quaternions, the unit quaternion itself and its inverse/conjugate, to per-
form a rotation for a rigid body. Each quaternion carries half of the total
θ
angle of rotation, i.e., β = . 2) Further transformation follows the same
2
rule. For example, the vector Q∗ VQ can be transformed again using unit
quaternion P representing a second rotation, or
∗
(
)
P ∗ Q∗ VQ P = ( QP ) V ( QP ) = W ∗ VW 15.17
nd
st
1 rotation 2 rotation
As seen from Equation 15.17, we can combine the related two quaternions
as their product W = QP and perform the operation on the desired vector as
a single rotation. The first rotation corresponds to Q and the second one to
P. Similarly, for an active rotation we can write the following relation for two
successive rotations,
(
)
P QVQ∗ P ∗ = ( PQ ) V ( PQ ) = V ∗
∗
15.18
nd
st
1 rotation 2 rotation
15.20
Solution:
r 1 1 1
a. The unit vector related to the rotation axis is =
n = , , .
r 3 3 3
The transformation matrix is, using Equations 15.13 or 12.7, for active
transformation (vector rotates and coordinates are fixed) gives (note that
2π
θ2π= − 1 for active
2π rotation,
1 when
2π plugged
1 2in
π Equation
1 12.7)
2π 1 2π
cos 3 + 33 1 − cos 3 1 − cos − sin 1 − cos + sin
3 3 3 3 3 3 3 3
V1′ 1
1 2π 1 2π 2π 1 2π 1 2π 1 2π
V2′ = 1 − cos + sin cos + 1 − cos 1 − cos − sin 0
V ′ 3 3 3 3 3 3 3 3 3 3 3
3 1 0
2π 1 2π 1 2π 1 2π 2π 1 2π
3 11 − cos 3 2π− sin
2π 1 − cos
3 2π − 13 sin
+2π sin cos + 1 − cos
cos + 1 − cos 3 1 13 − cos 3 1 13 − cos 2π 3+ 13 sin 2π 3
3 3 3 3 3 3 3 3 3 3 3
V1′ 1
1 2π 1 2π 2π 1 2π 1 2π 1 2π
V2′ = 1 − cos + sin cos + 1 − cos 1 − cos − sin 0
V ′ 3 3 3 3 3 3 3 3 3 3 3
3 1 0
2π 1 2π 1 2π 1 2π 2π 1 2π
1 − cos − sin 1 − cos + sin cos + 1 − cos
3 3 3 3 3 3 3 3 3 3 3
Or
V1′ 0 0 1 1 0
= V2′ = 1 0 0 0 1 . Hence active rotation of vector i gives vector
V ′ 0 1 0 0 0
3
j. Similarly, the passive rotation (coordinates rotate and vector is fixed) gives
2π
π 1θ= 3 for
(note 2that passive
2π 1
rotation, when plugged
2π 1
in Equation
2π 1
12.7) 2π
2π 1
cos + 1 − cos 1 − cos + sin 1 − cos − sin
3 3 3 3 3 3 3 3 3 3 3
Vx′
1 2π 1 2π 2π 1 2π 1 2π 1 2π
Vy′ = 1 − cos − sin cos + 1 − cos 1 − cos + sin =
3 3 3 3 3 3 3 3 3 3 3
Vz′ 1 2π 1 2π 1 2π 1 2π 2π 1 2π
1 − cos + sin 1 − cos − sin cos + 1 − cos
2π 3 1 3 2π 3 1 3 3 2 π 1 3 2π 3 1 3 2π 3 1 3 2π 3
cos 3 + 3 1 − cos 3 1 − cos + sin 1 − cos − sin
3
Vx′ 3 3 3 3 3 3 3
1 2π 1 2π 2π 1 2π 1 2π 1 2π
Vy′ = 1 − cos − sin cos + 1 − cos 1 − cos + sin =
3 3 3 3 3 3 3 3 3 3 3
Vz′ 1 2π 1 2π 1 2π 1 2π 2π 1 2π
3 1 − cos 3 + sin 1 − cos − sin cos + 1 − cos
3
3 3 3 3 3 3 3 3
0 1 0 1 0
. Hence passive rotation of vector i gives vector k .
0 0 1 0
= 0
1 0 0 0 1
Similarly, we can calculate the passive rotation matrix using Q∗ VQ, to receive
Or
Vx′ V1
Vy′ = Rpassive V2
V V
z′ 3
Reader may note that Rpassive = [ Ractive ] , as expected. Readers should also
T
Solution:
We first check if the given quaternion is a unit quaternion by cal-
culating its norm/magnitude. Hence for q = 3 + i − 2 j + k we have
q = 9 + 1 + 4 + 1 = 15 ≠ 1. Therefore, we need to calculate the corre-
1 3 1 −2 1
sponding unit quaternion = Q ( 3 + i − 2 j=
+ k) , , , .
15 15 15 15 15
3
Now using Equation 15.21 for active rotation and plugging in for Q0 = ,
1 −2 1 15
Q1 = , Q2 = , and Q3 = we receive
15 15 15
9 1 1 2 3 6 1 1 2 2
15 + 15 − 2 − 15 − 15 − + − −
15 15 3 3 3
3 2 9 4 1 2 3 2 11 2
[ Ractive
= ] 2 − + − − −=
15 15
− .
15 15 15 15 2 15 15 3
1 6 3 2 9 1 1 14 2 1
+ − + −
15 15 15 15 15 15 2 15 15 3
The single axis of rotation is the vector corresponding to the vector part of the
1 −2 1 Q
−1
unit quaternion, or Q = , , and the angle is 2 tan Q =
15 15 15 0
6
2 tan −1 °
= 78.46 , see Equation 15.15. Note that the corresponding
3
unit vector is
1 , −2 , 1
Q 15 15 15 1 −2 1 .
= =
n active = , ,
Q 1 4 1 6 6 6
+ +
15 15 15
Similarly, for passive rotation, using Equation 15.22, we find
1 2 14
3 15 15
2 11 2
Rpassive = −
3 15 15 . We use the resulted rotation matrix to calcu-
2 2 1
− −
3 3 3
21
− 1
late the single angle of rotation, or cos 15
−1 °
= 78.46 , see Equation
2
12.8. The axis of rotation is the vector part of the conjugate unit
1 3 −1 2 −1
quaternion Q∗
= ( 3 − i + 2 j=
− k) , , , , or
15 15 15 15 15
−1 2 −1
∗ −1 2 −1 , ,
Q = , , with the unit = 15= 15 15 −1 2 −1
15 15 15 vector n passive = , , n act
1 4 1 6 6 6
+ +
−1 2 −1 15 15 15
, ,
15= 15 15 −1 2 −1
e = , , n active .
1 4 1 6 6 6
+ +
15 15 15
1 + Rtrace
Q0 = ± 15.23
2
2 R ( m, m ) − Rtrace + 1
Qm =
± , m=
1,2,3 15.24
2
From Equations 15.23 and 15.24, it is shown that for a given rotation matrix we
get two unit quaternions that describes the rotation, or Q = Q0 + Q1 + Q2 + Q3
and P = −Q = −Q0 − Q1 − Q2 − Q3 . Here, Q represents the unit quaternion
for a positive (R.H.R.) rotation about the axis of rotation and P represents
the rotation about the same axis but in opposite direction, [27].
Solution:
Using Equation 15.23, we receive the real part of the corresponding unit
1+0 1
quaternion as Q0 = ± = ± . The vector part can be calculated using
2 2
0 −0 +1 1
Equation 15.24, or Q1 =Q2 =Q3 = ± =± . Therefore the quater-
2 2
1 1 1 1 1 1 1 1
nions are Q = , , , and Q = − qˆ = − ,− ,− ,− .
2 2 2 2 2 2 2 2
Similarly, the unit quaternions for pitch and yaw rotations are
θ pitch θ pitch
=
Qθ pitch cos + j sin 15.26
2 2
and
θ yaw θ yaw
=
Qθ yaw cos + k sin 15.27
2 2
10/3/2020 10:29:59 AM
Tensor-Analysis-for-Engineers_2E_CH15.indd 142 10/3/2020 10:29:59 AM
CHAPTER
16
WORKED-OUT EXAMPLES
( ) (
+ A2 A1′11 + A2′21 + A3′31 + A3 A1′11 + A2′21 + A3′31 )
( )
d. ∇ ⋅ A ( ∇ 2 Φ= ) A′j j ( ∇ kΦ )= ′ ⋅ A′1 ( ∇ k Φ ) ′ ⋅ + A′2 ( ∇ k Φ )′ ⋅ + A′3 ( ∇ k Φ )=
k 1 k 2 k 3
′⋅
k
A ′11 ( ∇1 Φ )′ ⋅ + ( ∇ 2 Φ ) ′⋅ + ( ∇ 3 Φ )′ ⋅ + A ′22 ( ∇1 Φ ) ′⋅ + ( ∇ 2 Φ ) ′⋅ + ( ∇ 3 Φ ) ′⋅ +
1 2 3 1 2 3
A ′33 ( ∇1 Φ ) ′⋅ + ( ∇ 2 Φ ) ′⋅ + ( ∇ 3 Φ ) ′⋅
1 2 3
(
e. ∇ 2 A ⋅ ( ∇Φ
= ) ) (A k
( ∇ k Φ ) )′ j ⋅ j
= ( A (∇ Φ ) + A (∇ Φ ) + A (∇ Φ ))′
1
1
2
2
3
3 j⋅
j
= ( A (∇ Φ ) + A (∇ Φ ) + A (∇ Φ ))′
1
1
2
2
3
3 1⋅
1
+ ( A (∇ Φ ) + A (∇ Φ ) + A (∇ Φ ))
1 2 3 2
1
′ 2 3 2⋅
+ ( A (∇ Φ ) + A (∇ Φ ) + A (∇ Φ ))
1 2 3 3
1
′ 2 3 3⋅
( )
f. A ⋅ ∇ ( ∇ 2 Φ )= A j ( ∇ k Φ ) ⋅ j
k
= A1 ( ∇ k Φ ) + A2 ( ∇ k Φ )
+ A 3 ( ∇ k Φ ) ⋅3
k k k
′⋅ 1 ′⋅ 2 ′
= A ( ∇1 Φ ) ⋅ 1 + ( ∇ 2 Φ ) ⋅ 1 + ( ∇ 3 Φ ) ⋅1
1
1 2 3
′ ′ ′
+ A ( ∇1 Φ ) ⋅2 + ( ∇ 2 Φ ) ⋅2 + ( ∇ 3 Φ ) ⋅2
2 1 2 3
′ ′ ′
+ A3 ( ∇1 Φ ) ⋅ 3 + ( ∇ 2 Φ ) ⋅ 3 + ( ∇ 3 Φ ) ⋅3
1 2 3
′ ′ ′
FIGURE 16.1 Oblique coordinate system x i and Cartesian coordinate system y i.
Solution:
Assume axes x1 and x2 make angles α and β with Cartesian axis y1 , respec-
tively. Therefore, we can write the following functional relations between
the oblique and Cartesian systems:
y1 x1 cos α + x2 cos β
= x =
1
− csc (α − β ) y1 sin β − y2 cos β
2 , or inversely 2
= y x sin α + x sin β csc (α − β ) y1 sin α − y2 cos α
1 2
x =
a. Covariant components of A are obtained by drawing perpendicular
∂y j ∂y1
lines to the coordinate axes. We have Ai = Acj, =
or A1 Ac1 +
∂x i ∂x1
∂y2 ∂y1 ∂y2
= Ac 2 cos α Ac 1 + sin α Ac 2 . Similarly, A = A + Ac 2 = cos β Ac1 +
∂x1
2 c1
∂x2 ∂x2
sin β Ac 2 . The contravariant components of A are obtained by d rawing
∂x i
parallel lines to the coordinate axes. We have A i = Acj , or A1 =
∂y j
∂x1 ∂x1
Ac1 + − sin β csc (α − β ) Ac1 + cos β csc (α − β ) Ac 2. Similarly,
Ac 2 =
∂y1 ∂y2
∂x2 ∂x2
A2 = Ac 1 + Ac 2 = sin α csc (α − β ) Ac1 − cos α csc (α − β ) Ac 2 . Note
∂y1 ∂y2
that for the Cartesian system both covariant and contravariant compo-
nents are identical.
∂y
j
b. The covariant basis vectors for oblique system are ei = i E j ,
∂x
∂y 1
∂y 2
∂y
1
or e1 = 1 E1 + 1 E2 = cos α E1 + sin α E2. Similarly,=e2 E1 +
∂x ∂x ∂x2
∂y2 ∂x i
= E2 cos β E1 + sin β E2. The contravariant basis vectors are e i = j E j,
∂x 2
∂y
∂x1 ∂x1
or e1 = E1 + E 2 = − sin β csc ( α − β ) E 1 + cos β csc ( α − β ) E 2.
∂y1 ∂y2
∂x2 ∂x2
Similarly, e 2 = E1 + 2 E2 = sin α csc (α − β ) E1 − cos α csc (α − β ) E2 .
∂y1
∂y
Note that for the Cartesian system both covariant and contravariant
basis vectors are identical and are unit vectors, i.e. Ei = 1 .
c. A i ei = A1 e1 + A2 e2 = [− sin β csc (α − β ) Ac1 + cos β csc (α − β ) Ac 2 ][cos α E1 +
sin α E2 ] + [sin α csc (α − β ) Ac1 − cos α csc (α − β ) Ac 2 ][cos β E1 + sin β E2 ].
After some manipulations and rearranging the terms, we find A i ei =
i 1 2
Ac1 E1 + Ac 2 E2 . Similarly, Ai e = A1 e + A2 e = [cos α Ac1 + sin α Ac 2 ]
[− sin β csc (α − β ) E1 + cos β csc (α − β ) E2 ] + [cos β Ac1 + sin β Ac 2 ][sin α
csc (α − β ) E1 − cos α csc (α − β ) E2 ]. After some manipulations and
rearranging the terms, we find= Ai e i Ac1 E1 + Ac 2 E2.
d. Dot-product of covariant and contravariant basis vectors can
cos α sin α sin α cos α
now be written as e1 ⋅ e 2 = e 2 ⋅ e1 = − = 0 and
sin (α − β ) sin (α − β )
1 cos β sin β sin β cos β
e2 ⋅ e 1 =e ⋅ e2 = − + = 0 . These results con-
sin (α − β ) sin (α − β )
firm that e1 ⊥ e 2 and e2 ⊥ e 1 , as shown in Figure 16.2. Also, we can
cos α sin β sin α cos β cos β sin α
write e1 ⋅ e 1 = − + = 1 and = e2 ⋅ e 2 −
sin (α − β ) sin (α − β ) sin (α − β )
sin β cos α
δ ji .
= 1. These results verify that e i ⋅ e j =
sin (α − β )
FIGURE 16.2 Covariant and contravariant basis vectors in oblique coordinate systems.
e1 ⋅ e1 e1 ⋅ e2
e. The doubly covariant metric =
tensor gij =
e2 ⋅ e1 e2 ⋅ e2
1 cos (α − β )
. We can calculate doubly contravariant metric
cos (α − β ) 1
e1 ⋅ e1 e1 ⋅ e 2
tensor by inverting the gij , or using = g 2 1 =
ij
2 2
csc 2 (α − β )
e ⋅ e e ⋅ e
1 − cos (α − β ) i
. These results confirm that x is a non-
− cos ( α − β ) 1
orthogonal system, since off-diagonal elements of metric tensors are not
equal to zero for all values of angles α and β with the condition that
π
(α − β ) ≠ ( 2 k + 1) . where, k is an integer.
2
e1
f. Unit vectors along the covariant basis vectors are; = cos α E1 + sin α E2
e1
e2
=
and cos β E1 + sin β E2. The unit vectors along the contravariant basis
e2
e1 e1 e2 e2
vectors are; 1 = =− sin β E 1 + cos β E 2 =
and =
e e1 ⋅ e1 e2 e2 ⋅ e2
sin α E1 − cos α E2 .
X = ξη cosθ
Y = ξη sin θ . Find the basis vectors e1, e2, e3 for the parabolic coordi-
Z (ξ 2 − η 2 ) / 2
=
nate system in terms of the Cartesian unit vectors. Also find the scale factors,
unit vectors, metric tensors (covariant and contravariant), Jacobian, volume
element, and Christoffel symbols of the 2nd kind.
Solution:
∂y
j
The covariant basis vector ( eξ , eη , eθ ) reads, using ek = k E j
∂x
eξ = η cosθ E1 + η sin θ E2 + ξ E3
eη = ξ cosθ E1 + ξ sin θ E2 − η E3
eθ =−ξη sin θ E1 + ξη cosθ E2
The scale factors are h=ξ e=
ξ ξ 2 + η 2 , h=
η e=
η ξ 2 + η 2 , and hθ = ξη.
The unit vectors are, using e ( k ) = ek / hk ,
e (ξ ) = η cosθ E1 + η sin θ E2 + ξ E3 / ξ 2 + η 2
( )
( )
e (η ) = ξ cosθ E1 + ξ sin θ E2 − η E3 / ξ + η
2 2
e (θ ) = − sin θ E1 + cosθ E2
Covariant metric tensor reads, using gij= ei ⋅ e j ,
ξ 2 + η 2 0 0
=gij 0 ξ +η
2 2
0 . Therefore, the parabolic coordinate sys-
0 0 (ξη )2
tem is an orthogonal one, since metric tensor is a diagonal matrix with
null off-diagonal elements. The contravariant metric tensor is the inverse
(ξ 2 + η 2 )−1 0 0
( ) (ξ + η ) 0 .
−1
2 −1
of the covariant one, or = g ij
=
gij 0 2
0 0 (ξη ) −2
g
Jacobian is the square root of the determinant of ij , or the product of all scale
factors,=
gij ξη (ξ 2 + η 2 ) . The volume element is d d d d
=
g mk ∂g jk ∂gik ∂gij
2 2 d d d . We use Equation 10.20,=
or Γ mij + j − k
2 ∂x i ∂x ∂x
g11 ∂g11 ξ
=
to calculate the Christoffel symbols. Therefore, Γ111 = ,
2 ∂ξ ξ + η 2
2
∂g22
g11 ξ g11 ∂g33 ξη 2
Γ122 = − ∂ξ = − 2 , Γ123 =0, Γ133 = −
∂ξ =− ,
2 ξ +η2 2 ξ 2 +η2
g 22 ∂g22 η g 22 ∂g ηξ 2
=Γ 222 = , Γ 223 =0, Γ 233 = − 33 = − 2 ,
2 ∂η ξ + η 2
2
2 ∂η ξ +η2
g 33 ∂g33 1 3
=Γ 323 = , Γ 33 =0. In matrix form, we have
2 ∂η η
ξ η
2 0
Γξξξ
ξ +η2 ξ +η
2 2
Γξξη ξ
Γξθ
ξ ξ η ξ
Γξ = Γηξ ξ
Γηη Γηθ = ξ 2 + η 2 − 2 0
ξ +η2
Γθξ
ξ ξ
Γθη ξ
Γθθ
ξη 2
0 0 − 2
ξ +η2
η ξ
− 2 0
ξ +η2 ξ +η 2 2
Γηξξ Γηξη Γηξθ
η η ξ η
Γη = Γηξ η
Γηη Γηθ = ξ 2 +η2 0
ξ +η2
2
Γηθξ
Γηθη Γηθθ
ηξ
2
0 0 − 2
ξ +η2
1
0 0
ξ
Γθξξ Γθξη Γξθ
θ
θ θ 1
Γθ = Γηξ θ
Γηη Γηθ = 0 0
η
Γθθξ
Γθθη Γθθθ
1 1
ξ 0
η
FIGURE 16.4 Bipolar coordinates: ξ and η iso-surfaces (Foci are located at (−1, 0) and (1, 0)1.
1
(https://commons.wikimedia.org/wiki/File:Bipolar_isosurfaces.png)
Solution:
∂y
j
The covariant basis vector ( eξ , eη , ez ) reads, using ek = k E j
∂x
a
The scale factors, after simplification, are h=
ξ e=
ξ , h= e=
coshη − cos ξ η η
a
, and hz = 1. The unit vectors are, using e ( k ) = ek / hk,
coshη − cos ξ
sin ξ sinhη
0
cos ξ − coshη cos ξ − coshη
Γξξξ Γξξη Γξξ z
ξ sinhη − sin ξ
Γξ = Γηξ ξ
Γηη Γηξ z = 0
cos ξ − coshη cos ξ − coshη
Γξzξ Γξzη Γξzz
0 0 0
− sinhη sin ξ
cos ξ − coshη 0
cos ξ − coshη
Γηξξ Γηξη Γηξ z
η sin ξ sinhη
Γη = Γηξ η
Γηη Γηη z = 0
cos ξ − coshη cos ξ − coshη
Γηzξ Γηzη Γηzz
0 0 0
Γ z =[ 0 ]
Solution:
Knowing that metric tensors replace repeated indices with the
free index while raising (contravariant metric tensor) or lowering
(covariant metric tensor) them. We can write the expression in
the L.H.S of the above relation as, g ilε ljk A j Bk = jki A j Bk. But we
can write A j = g jn An and Bk = g km Bm , substituting, gives g ilε ljk A j Bk =
jk g=
i jn
An g Bm jk g=
km i
g An Bm =
jn km in km
k g AB inm
An Bm , after changing
n m
dummy indices, i.e., n → j and m → k, we get inm An Bm = ijk A j Bk.
Therefore, the given relation holds.
Solution:
The dot-product and cross-product relations are A ⋅ B = A i Bi, C i = ijk A j Bk
(contravariant component). We use the relations between covariant/
contravariant and physical components, or Ai = hi A ( i ) and A i = A ( i ) / hi .
a. For cylindrical coordinates, we have the scale factors as
( h1 , h2 , h3 ) = (1, r,1) and the Jacobian is = r (see Section 11.6.1). We
can write = B1 h= 1 B (1 ) B (=
1 ) , B2 h=
2B(2) rA ( 2= 3B(3)
) , B3 h= B(3).
( i ) h=
The physical component of the cross-product is C= iC
i
hi ijk A j Bk ,
no-summation on index i. Expanding the expression gives C= (1) h= 1C
1
e1 jk 1
h1 1 jk A j Bk = A j Bk = h2 A ( 2 ) h3 B ( 3 ) − h3 A ( 3 ) h2 B ( 2 ) =
r sin ϕ
2
e2 jk
A (2) B(3) − A (3) B(2), and ( 2 ) h=
C= 2C
2
r 2 jk A=
j Bk r A=
j Bk
h3 A ( 3 ) h1 B (1 ) − h1 A (1 ) h3 B ( 3 ) =
A ( 3 ) B (1 ) − A (1 ) B ( 3 ) , and C ( 3 ) =
e3 jk 1
h3 C3 = h3 3 jk A j Bk =r sin ϕ A j Bk = h1 A (1 ) h2 B ( 2 ) − h2 A ( 2 ) h1 B (1 ) =
r
A (1 ) B ( 2 ) − A ( 2 ) B (1 ) .
Solution:
Let’s consider two arbitrary system x i and x′i . We can write the metric ten-
∂x k ∂x l
sor transformation as g′ij = gkl , since it is a doubly covariant tensor.
∂x′i ∂x′ j
∂x k ∂x l ∂x k
Taking determinant of the both sides gives g′ij = g . But
∂x′i ∂x′ j ∂x′i
kl
∂x l
or is the Jacobian of transformation, hence g′ij = 2 gkl . Rewriting
∂x′ j
g′
the expression and using gkl = g and g′ij = g′ , we get g′ = 2 g , or = .
g
Now if the original x i system is the Cartesian system, then gcartesian = 1 and
we receive g′ = 2.
Solution:
We have ds2 = gij dx i dx j, expanding for the given coordinate system and
using gij = g ji, gives ds2 = g11 dξ 2 + g22 dη 2 + g33 dζ 2 + 2 g12 dξ dη + 2 g13 dξ dζ +
2g23 dη dζ . Therefore, after comparison we receive g11 = 5 , g22 = 3 , g33 = 7 ,
g12 = −2 , g13 = −4 , and g23 = 1 . The matrix form of covariant metric tensor
5 −2 −4
is gij = −2 3 1 . Determinant of gij = g =5 ( 21 − 1 ) + 2 ( −14 + 4 ) −
−4 1 7
4 ( −2 + 12 ) =40. Note that the given system is not orthogonal, since off-
diagonal elements of gij are not zero. For contravariant metric tensor, we find
1 1 1
−1 2 4 4
5 −2 −4 5 −2 −4
the inverse of gij = −2 3 1 , or g =
1 19 3 .
−2 3 1 =
ij
4 40 40
−4 1 7 −4 1 7 1 3 11
4 40 40
Cij cofactor of gij
This is calculated using the formula g=
ij
= , for
g determinante of gij
3 1 5 −2
−
C11 1 7 21 − 1 C23 −4 1 −5 + 8 3
example; g=
11
= = = 20, g=
23
= = = ,
40 40 40 40 40 40 40
etc.
Solution:
Considering the transformation from coordinate system x i to that of x′i,
we can write the Jacobian as the determinant of the transformation, using
∂x1 ∂x2 ∂x3
Equation 4.4, or = ε knl . Taking the time derivative, we have
∂x′k ∂x′n ∂x′l
∂ ∂ ∂x1 ∂x2 ∂x3 ∂x1 ∂ ∂x2 ∂x3 ∂x1 ∂x2 ∂ ∂x3
= ε knl k n + k n l+ k l .
∂t ∂x′ ∂t ∂x′ ∂x′ ∂x′ ∂x′ ∂t ∂x′ ∂x′ ∂x′ ∂x′ ∂t
l n
1 ∂
yields = ∇ ⋅ V. For divergence of a vector, see Equation 11.12.
∂t
Solution:
∂
j (
We have C = C i ei ; writing its covariant derivative, we receive C i ei ) e j .
∂x
∂ ∂C
i
i ∂
The covariant component then reads as j ( C i ei ) = j ei + C j ( i)
e =
∂x ∂x ∂ x
∂C i i k ∂C i k i
j ei + C Γ=
ijk
e ei j + C Γ kj . Now, since C is a constant, the first
∂x ∂x
i↔ k
C′ ij
term in the bracket vanishes but the second term does not. Therefore, we
receive C′=
i
j C k Γ kji .
A ( i)
∂ h
i + A ( k ) Γ i h e (= ∂ ( A ( i ) ) A ( i ) ∂ ( hi ) h i
i) − + A ( k ) Γ kji e ( i ) .
∂x j kj
i
∂x hi ∂x
j j
hk hk
∂ ( A ( i ) ) A ( i ) ∂ ( hi ) hi A ( i)
Therefore, A ( i ), j = − + A ( k ) Γ kji =∇ j A ( i ) − ∇ j hi +
∂x j
hi ∂x j
hk hi
hi
A ( k ) Γ kji . Note that the Christoffel symbol could be written in terms of
hk
physical components/ Unit vectors, i.e., Γ kji could be written in terms of e ( i ) ,
designated by Γˆ i (see Example 10.4.1).
kj
Solution:
∂ρ 1 ∂ ∂ ∂
Summation on i gives, + 1 ( ρ V 1 ) + 2 ( ρ V 2 ) + 3 ( ρ V 3 ) =
0.
∂t ∂x ∂x ∂x
a. Jacobian for a Cartesian system is unity and physical and contravariant
components are identical, hence the continuity equation reads,
∂ρ ∂ ∂ ∂
+ ( ρ Vx ) +
∂t ∂x ∂y
( )
ρ Vy + ( ρ Vz ) =
∂z
0.
b. Jacobian for cylindrical systems is = r and V 1 = Vr , V 2 = Vθ / r ,
V 3 = Vz . Hence, the continuity reads, after some manipulations,
∂ρ 1 ∂ 1 ∂ ∂
+ ( r ρ Vr ) + ( ρ Vθ ) + ( ρ Vz ) =
0.
∂t r ∂r r ∂θ ∂z
c. Jacobian for spherical systems is = r 2 sin ϕ and V 1 = Vr, V 2 = Vϕ / r,
V 3 = Vθ / ( r sin ϕ ). Hence, the continuity reads, after some manipulations,
∂ρ 1 ∂ 2 ∂ ∂
+ 2
∂t r sin ϕ ∂r
( r sin ϕρ Vr ) +
∂ϕ
( r sin ϕρ Vϕ ) +
∂θ
( r ρ Vθ ) =
0.
a. Find the Jacobian for the spherical system and volume of a 4D sphere in
this coordinate system.
b. Find the expression for the Laplacian of a scalar in the spherical coordi-
nates and write out it in detail.
Solution:
∂x ∂x ∂x ∂x
∂r ∂ψ ∂θ ∂ϕ
∂y ∂y ∂y ∂y
∂ ( x, y, z, w ) ∂r ∂ψ ∂θ ∂ϕ
=
1. Jacobian reads ∂= =
( r,ψ ,θ ,ϕ ) ∂z ∂z ∂z ∂z
∂r ∂ψ ∂θ ∂ϕ
∂w ∂w ∂w ∂w
∂r ∂ψ ∂θ ∂ϕ
sinψ sin θ cos ϕ r cosψ sin θ cos ϕ r sinψ sin θ cos ϕ − r sinψ sin θ sin ϕ
sinψ sin θ sin ϕ r cosψ sin θ sin ϕ r sinψ cosθ sin ϕ r sinψ sin θ cos ϕ
=
sinψ cosθ r cosψ cosθ − r sinψ sin θ 0
cosψ − r sinψ 0 0
− r sin ψ sin θ .
3 2
∫ ( −r ) ∫ sin ψ dψ ∫ sinθ dθ
= ∫ ϕ = π ∫ = .
3 2 4
d R
0 0 0 0 0
2 2
1
2. The expression for the Laplacian of scalar S reads ∇ 2 S =
(
∇ i g ij ∇ j S .)
This coordinate system is orthogonal, since gij = 0 for i ≠ j. For example
g12 = e1 ⋅ e2 = r sinψ cosψ sin 2 θ cos2 θ − r sinψ cosψ sin 2 θ sin 2 ϕ + r sinψ cosψ
1
cos2 θ − r sinψ cosψ = 0 . Therefore, g= ii = hi2 . For calculating
g ii
gii= ei ⋅ ei , need the covariant basis vectors, or
=e1 sinψ sin θ cos ϕ E1 + sinψ sin θ sin ϕ E2 + sinψ cosθ E3 + cosψ E4
=e2 r cosψ sin θ cos ϕ E1 + r cosψ sin θ sin ϕ E2 + r cosψ cosθ E3 − r sinψ E4
e3 = r sinψ cosθ cos ϕ E1 + r sinψ cosθ sin ϕ E2 − r sinψ sin θ E3
e4 = − r sinψ sin θ sin ϕ E1 + r sinψ sin θ cos ϕ E2
which yields, g11 = 1, g22 = r 2 , g33 = r 2 sin 2 ψ , g44 = r 2 sin 2 ψ sin 2 θ . Now,
1 1 1 1
∇2S =
( )
∇ i g ij ∇ j S = ∇ 2 S =
∇ i ( g ii∇ iS ) =
∇1 ( g11∇1S ) + ∇ 2 ( g 22 ∇ 2 S ) +
1 1
∇ 3 ( g 33 ∇ 3 S ) + ∇ 4 ( g 44 ∇ 4 S ) . Each term reads, after substitution
1 −1 ∂ 3 2 ∂S 3 ∂S ∂ 2 S
∇1 ( g11∇1S )= 3 2 − r sin ψ sin θ = +
r sin ψ sin θ ∂r ∂r r ∂r ∂r 2
1 −1 ∂ −2 3 2 ∂S
∇ 2 ( g 22 ∇ 2 S )
= − r r sin ψ sin θ
r sin ψ sin θ ∂ψ
3 2
∂ψ
1 ∂S ∂ 2 S
= 2 cotψ +
r ∂ψ ∂ψ 2
1 −1 ∂ − r 3 sin 2 ψ sin θ ∂S
∇ 3 ( g 33 ∇ 3 S ) =
r 3 sin 2 ψ sin θ ∂θ r 2 sin 2 ψ ∂θ
1 ∂S ∂ 2 S
= 2 2 cot θ +
r sin ψ ∂θ ∂θ 2
1 −1 ∂ − r 3 sin 2 ψ sin θ ∂S
∇ 4 ( g 44 ∇ 4 S ) =
r 3 sin 2 ψ sin θ ∂ϕ r 2 sin 2 ψ sin 2 θ ∂ϕ
1 ∂ 2S
= 2 2
r sin ψ sin 2 θ ∂ϕ 2
3 ∂S ∂ 2 S 1 ∂S ∂ 2 S 1 ∂S ∂ 2 S
Hence, ∇ 2 S= + 2 + 2 cotψ + 2
+ 2 2 cot θ + +
r ∂r ∂r r ∂ψ ∂ψ r sin ψ ∂θ ∂θ 2
1 ∂ 2S
.
r 2 sin 2 ψ sin 2 θ ∂ϕ 2
The expression ∇
A ∇ A is given. The notations mean that the two gradient
× ×
vectors (marked
by × ) are cross product to each other as well as the two
vectors A, then the resulted vectors of the cross-product operations are
dotted. Write the expression in tensor notation and simplify the result.
Solution:
The two cross-product results are dotted; hence we require the contravariant
component of the cross-product of the gradient’s and the covariant
component of the cross-product of the vectors A . Therefore, we can write
× ×
∇
A ∇
×
A=
×
(
′j
)
ε ijk ε ilm A l A′mk . Expanding the resulted expression yields,
× ×
× ×
=
a. ∇
A∇A ε =
× ×
ijk
ε ilm A l Ak m⋅
′ ′ j
( ′ ′ ) (
δ l jδ mk A l Ak m⋅ j − δ mj δ lk A
= )
l
Ak m⋅
′ ′j ( ) ( A A ′ )′ −
j k
k ⋅ j
( A A ′ )′
k
k ⋅
j
j
= A j j Ak ⋅k + A j Ak ⋅ kj − A k j Ak ⋅ j − A k Ak ⋅ jj . In vector notation, the
′ ′ ′ ′ ′ ′
× ×
A = (∇ ⋅ A ) + A ⋅ ∇ (∇ ⋅ A) − ( )
2
resulted expression can be written as ∇
A∇
× ×
A k j Ak ⋅ j − A ⋅ ∇ 2 A .
′ ′ ( )
× ×
A A ε ijkε ilm ( A m A=
k) ⋅j ( )
δ l jδ mk − δ mj δ lk ( A m A=
k) ⋅j ( Ak Ak )′⋅ j −
l l j
b. ∇∇
=
× ×
′ ′
2
( ) ( ( )) ( )
k
A j Ak ⋅ j = ∇ 2 A2 − 2 A ⋅ ∇ ∇ ⋅ A − A j⋅k Ak j − ∇ ⋅ A .
′ ′ ′
Note that vector-type notation is not sufficient to express some of the terms
in these expressions—another reason to use index/tensor notation for its
generality.
Solution:
Since metric tensor is a constant in the Cartesian coordinate system,
hence its derivative is null and will be the same for any coordinate system.
∂gij
To show this, we use Equation 10.14, or gij = ( )
′ ∂x k
k
− Γ nik gnj − Γ njk gni . Now
using Equation 10.19 we can expand the last two terms on the R.H.S, or
∂gij 1 ∂gij ∂gkj ∂g 1 ∂gij ∂g ∂gkj
( )
gij = k − k + i − kij − k + kij − i . The terms on
′k ∂x 2 ∂x ∂x ∂x 2 ∂x ∂x ∂x
the R.H.S cancel out and the expression is equal to zero, hence gij = 0 ,
′k
( )
and similarly g ij = 0.
′k ( )
quaternion method with Equation 15.12. Note that the rotation angle here
is given for an active rotation (i.e., vector rotates but coordinate system is
kept fix).
Solution:
a. Since the vector OA is rotated by 60 degrees, active rotation,
then we use θ = −60° in Equation 12.7. Therefore, for n1 = 0,
1 3 3
−
2 4 4
3 5 3
n2 = 1 / 2, and n3 = 3 / 2 we receive R = .
4 8 8
3 3 7
−
4 8 8
The rotated vector component in the ( x, y, z ) is given by
1 3 3 1 3 3
− + +
2 4 4
1 2 4 2 10 + 4 3
3 5 3 3 5 3 1
−1=
− + =
1+ 2 3 , or
4 8 8
2 4 8 4 8
3 3 7 3 3 7 14 − 3 3
− − − +
4 8 8 4 8 4
10 + 4 3 1 + 2 3 14 − 3 3
OA′ = , , .
8 8 8
60° 1 3 3 1 3
= 30°, Q = cos30 + j + k sin 30 = + j+ k. Now, we
2 2
2 2 4 4
n
∗ 3 1 3 3 1 3
calculate OA=′ QOAQ= + j+ k ( i − j + 2k) − j− k=
2 4 4 2 4 4
1 3 1 3 3 3 1 10 + 4 3 1+2 3 14 − 3 3
− + + i− j − − 3 k ( i − j=
+ 2k) i+ j+ k
4 2 2 4 4 4 8 8 8
10 + 4 3 1 + 2 3 14 − 3 3
10 + 4 3 1+2 3 14 − 3 3
(
k i − j=+ 2 k ) i + j + k . Or OA ′ =
8
,
8
,
8
.
8 8 8
Alternatively, we can use Equation 15.14. Readers may want to use
Wolfram Alpha (www.wolframalpha.com) to visualize the quaternion
as a rotation operator. After accessing the wolfram Web site, enter the
phrase “quaternions” in the space provided and use the format provided
similar to those examples given on the page.
2 6 2 2 6 2
− − −
2 4 4 1 2 4 2 −2
6 2+3 2 2 3 − 6 6 2 + 3 2 2 3 − 6 1
− −1 = − − + = −2 − 3 2 + 4
4 8 8 2 4 8 4 8
2 2 3− 6 6 + 2 2 2 3 − 6 6+ 2 12 + 4 2 − 2
− +
4 8 8 4 8 4
2 6 2
− −
2 4 2 −2 6
6 2 + 3 2 2 3 − 6 1 −2 6 −2 − 3 2 + 4 3 − 4 6 12 + 4 2 − 2 3 +
− − =
+ = −2 − 3 2 + 4 3 − 4 6 , or OA′ 8 , ,
4 8 4 8 8 8
2 2 3 − 6 6+ 2 12 + 4 2 − 2 3 + 6
− +
4 8 4
−2 6 −2 − 3 2 + 4 3 − 4 6 12 + 4 2 − 2 3 + 6
, , ≅ ( −0.61237, −1.13905,2.0803 ).
8 8 8
b. The quaternion related to this rotation, using half of the rotation angle,
π 1 3 π 2+ 2 2− 2 6−3 2
is Q = cos + j+ k sin = + j+ k.
8 2 2 8 2 4 4
n
Solution:
From Example 16.18 we have the resulted vector
10 + 4 3 1 + 2 3 14 − 3 3 1 3
OA′ = , , and the unit vector n = 0, ,
8 8 8 2 2
along the axis of rotation. The follow up rotation quaternion is
π
related to rotation angle of 45° = . Hence, using half-angle we have
4
π 1 3 π 2+ 2 2− 2 6−3 2
P = cos + j+ k sin = + j+ k . Now,
8 2 2 8 2 4 4
∗ 2 + 2
n 2− 2
using Equation 15.18 we =
can OA″ POA =
write ′P +
2 4
∗ 2 + 2
2− 2 6 − 3 2 10 + 4 3 1+2 3 14 − 3 3 2 + 2 2− 2
=OA″ POA = ′P + j+ k i+ j+ k −
2 4 4 8 8 8 2 4
1+2 3 14 − 3 3 2 + 2 2− 2 6−3 2
j+ k − j− k ≅ 1.5436 i + 1.8708 j + 0.3425 k.
8 8 2 4 4
We can also use the original vector OA with the dual-quaternion as
the product of the two corresponding quaternions, see Equation
15.18, or ( PQ ) OA ( PQ ) . Note that the q belongs to the first rota-
∗
tion and p (60° rotation) to the second one (45° rotation). But
2+ 2 2− 2 6 − 3 2 3 1 3
=ˆˆ
pq + j+ k + j+ k ≅ 0.60876 + 0.39668 j + 0.68706 k
2 4 4 2 4 4
0.60876 + 0.39668 j + 0.68706 k . Therefore, its conjugate ( p̂qˆ ) =0.60876 − 0.39668 j − 0.68706 k
∗
write OA″ (= ˆ ˆ ) OA ( pq
ˆ ˆ ) ( 0.60876 + 0.39668 j + 0.68706 k )
∗ ∗
=0.60876 − 0.39668 j − 0.68706 k . Now, we can= pq
17
EXERCISE PROBLEMS
a sinhη cos ϕ
X = coshη − cos ξ
a sinhη sin ϕ
as Y = . Find the basis vectors e1, e2 , e3 for the toroidal
cosh η − cos ξ
a sin ξ
Z =
coshη − cos ξ
coordinate system in terms of the Cartesian unit vectors. Also find the
scale factors, unit vectors, metric tensors (covariant and contravariant),
Jacobian, volume element, and Christoffel symbols of the 2nd kind.
4. Having displacement vector r = yi Ei defined in Cartesian coordinate
system yi, express r in terms of the contravariant and physical compo-
nents in cylindrical, spherical, bi-polar, bi-spherical, and toroidal coor-
dinate systems. Use the definitions of these systems as given in previous
examples and exercises.
=
5. Show that for an orthogonal coordinate system the relation gii 1=
/ g ii hi2
holds, i.e., the diagonal elements of covariant and contravariant metric
tensors. Note, no sum on index i.
6. For an orthogonal coordinate system, show that the following relations
holds for Christoffel symbols of the 2nd kind (all indices are set to be
different):
hi ∂hi i 1 ∂hi i 1 ∂hi
Γ kij =0, Γ iij =− , Γ ij = , Γ ii = .
h2j ∂x j hi ∂x j hi ∂x i
7. Find the relations for Christoffel symbols of the 1st kind for cylindrical
and spherical coordinate systems. Use results from the example given in
Section 10.4.1.
8. Show that covariant differentiation obeys the same rule as does ordinary
=
differentiation, when operating on products, e.g., A i B j
( )
A′ik B j + A i B′ kj .
′k
9. Write down the expression for the covariant derivative of a tensor of rank
ij
five, Akm , using hints from Section 10.14.
10. Show that metric tensors behave like a constant under a covariant dif-
ferentiation operation, i.e., A i gij( )′k
(
= A′ik gij and Ai g ij
= Ai′ k g ij . ) ′k
11. Show that the recursive relation for the curl of a vector A reads
A ( n ) = −∇ 2 A ( n − 2 ), for n > 2. where n is the number of curl operations
and A ( n ) = ∇× ∇
× × ∇ × A (note, A ( 0 ) = A ).
n times
12. Using the recursive relation for the curl of a vector given in Exercise
11, show that the recursive relation for the biharmonic operator reads
A ( n) =
∇ 4 A ( n − 4 ) , for n > 4 .
13. Using the results of Exercises 11 and 12, show that the recursive rela-
tions for higher order operator ∇ 2 n reads A ( 2 n + 1 ) =−
( 1 ) n ∇ 2 n A (1 )
and A ( 2 n ) = −∇ 2 n− 2 A ( 2 ) .
14. For the 4D spherical coordinate system from Example 15.15, calculate
the Christoffel symbols:
15. Show that the following expressions simplify as given (see Example 15.16):
×
×
a. ∇
A
× ×
= ∇ A Ak ′ j A ′
k j
⋅ + A ⋅ ∇ 2
A − Ak ′j A ′
jk
⋅ − A (
⋅ ∇ ∇⋅A ) ( ( ))
×
×
b. ∇
A ∇∇
× ×
2
(
Φ = ∇ ⋅ A ( ∇ Φ ) − A′ j ( ∇ k Φ )′ ⋅
k
) j
×
× 2
c. ∇∇
A∇
×
( ) ( )
Φ =∇ A ⋅ ( ∇Φ ) − ∇ ∇ ⋅ A ⋅ ( ∇Φ ) − A′ ⋅ ( ∇ k Φ ) − ∇ ⋅ A ( ∇ Φ ) − A ⋅ ∇ ( ∇ Φ )
×
2 jk 2
( ) ( )
) jk
( 2
)
⋅ A ⋅ ( ∇Φ ) − A′ ⋅ ( ∇ k Φ ) − ∇ ⋅ A ( ∇ Φ ) − A ⋅ ∇ ( ∇ 2 Φ ) ( )
16. Write the below expressions in index notation:
( )
a. V ∇ ⋅ A + ∇ ⋅ V A ( )
(
b. A ⋅ B × C )
( (
c. A ⋅ ∇ ∇ ⋅ A ))
17. Show that the following relations holds:
δ li δ mi δ ni
= δ mj δ nk − δ njδ mk , c. ε ε ijn =2δ n
ijk k
a. ε ijk ε lmn =δ l j δ mj δ nj , b. ε ε imn
ijk
δ lk δ mk δ nk
d. ε ijk ε ijk =6
2
21. Using cross-product expression for two vectors, show that ( is the
Jacobian):
1 mnl
a. ijk = gmi gnj glk
1 ijk mnl
b. = gmi gnj gkl
2
6
22. Calculate the single equivalent rotation angle and rotation axis for trans-
forming Cartesian system ( y1 , y2 , y3 ) to ( y′1 , y′2 , y′3 ) such that y′1 coin-
cides with y1, y′2 coincides with y3 , and y′3 coincides with y1 .
23. Find the rotation matrix for transforming ( y1 , y2 , y3 ) :
a. Rotate about (0, 0, 1) for 45°
b. Then, rotate about (1, 0, 0) for 60°
c. Then, rotate about (0, 1, 0) for 75°
d. Find the final rotation matrix and equivalent rotation angle
e. Find equivalent axis of rotation
24. Show the following relations hold for unit quaternion Q̂
= Q0 + Q and
arbitrary vector V .
( )
( ) (
ˆ ˆ ∗ = Q2 − Q 2 V + 2 Q ⋅ V Q + 2Q Q × V , active rotation
a. QVQ 0 0 )
b. Qˆ ∗ VQˆ = ( 2Q2
0 ( ) ( )
− 1 ) V + 2 V ⋅ Q Q + 2Q0 V × Q , passive rotation
25. Derive The rotation matrix given by Equation 15.22, using unit quater-
nion Q̂ and arbitrary vector V .
26. Using Example 16.18 rotation matrix result, calculate the corresponding
Euler angles.
27. Using Example 16.19 rotation matrix result, calculate the corresponding
Euler angles.
28. Using the quaternions
method
as shown in Example 16.20, calculate the
components of vector OA = (1, −1,2 ) after two successive rotations. The
1 3
first rotation is by an angle of 80° about the unit vector n = 0, ,
2 2
and the second rotation is by an angle of 50° about the unit vector
3 1
n= , ,0 . Perform the calculations for both active and passive
2 2
rotation scenarios.
29. For Exercise 28, calculate the corresponding rotation matrix using the
product of the quaternions involved. Also using the resulted rotation
matrix calculate the equivalent axis and angles of single rotation.
30. A pilot maneuvers its airplane through a pitch-roll-yaw series or rota-
tions. Using the relation for the corresponding rotation matrix yxz ana-
lyze the gimbal lock orientation when roll angle is equal to 3π .
2
31. Show that quaternion operation for active rotation ( QVQ∗ ) preserves
dot-products and triple products, hence it is a rotation.
32. Repeat the Exercise 16.20 considering the rotation as a passive one (i.e.,
coordinates are rotated).
15. Erik B. Dam, M. Koch, and M. Lillholm, “Quaternion, Interpolation and Animation,”
Department of Computer Science, University of Copenhagen, Denmark, 1998.
16. S. Oldenburger, “Applications of Quaternions. Written project of the course “Problem
Solving Techniques in Applied Computer Science,” Department of Computer Science,
Iowa State University, 2005.
17. H. Goldstein, C. Poole, and J. Safko, Classical Mechanics, 3rd Ed., Addison Wesley,
2000.
18. J. Kuipers, Quaternions and Rotation: A Primer with Applications to Orbits, Aerospace
and Virtual Reality, Princeton University Press, 1999.
19. R. Brannon, Rotation, Reflection, and Frame Changes: Orthogonal tensors in
computational engineering mechanics, IOP Publishing Ltd, 2018.
20. W. Heard, Rigid Body Mechanics: Mathematics, Physics and Applications, WILEY-
VCH Verlag GmbH & Co, 2005.
21. J. Vince, Quaternions for Computer Graphics, Hardcover, Springer, 2011.
22. E. Zeleny, “Controling Airplane Flight,” Wolfram Demonstration Project, 2011.
23. S. Blinder, “Euler Angles for Space Shuttle,” Wolfram Demonstrations Project, 2011.
24. F. W. Strauch, “Euler Angles,” Wolfram Demonstrations Project, 2011.
25. D. Hosier, “Avoiding Gimbal Lock in a Trajectory Simulation,” U.S. Army Armament
Research Development and Engineering Center, New Hersey, 2018.
26. D. Hoag, “Apollo Guidance and Navigation: Consideration of Apollo IMU Gimbal
Lock,” Apollo Lunar Surface Journal, Cambridge, MIT, 1963.
27. H. Schaub, “Spacecraft Dynamics & Control,” University of Colorado Boulder, 2019.
28. GuerrillaCG, “Euler (gimbal lock) Explained,” 2009.
29. “Choose Rotation Order and Gimbal Lock | Blender 2.8x – Rigging Tutorial,” 2019.
30. W. R. Hamilton, “On quaternions or a new system of imaginaries in algebra,” Philosophical
Magazine, link to David R. Wilkins collection at Trinity College, Dublin, Dublin.
31. A. J. Hanson, “Quaternion Application,” School of Informatics and Computing , Indiana
University, 2012.
32. L.C. Bruno and L.W. Baker, “Math and mathematicians : the history of math discoveries
around the world,” Detroit, Mich. : U X L, 1999.
33. YouTube, “Visualizing 4D Geometry – A Journey Into the 4th Dimension [Part 2],” 2017.
34. E. W. Weisstein, “Euler Formula From MathWorld—A Wolfram Web Resource”.
35. E. Cho, “De Moivre’s Formula for Quaternions,” Appl. Math. Lett, vol. 11, no. 6,
pp. 33–35, 1998.
36. D. Henderson, “Euler Angles, Quaternions, A140 Transformation Matrices for Space
Shuttle Analysis,” NASA-McDonnell Douglas Technical Services, 1977.
example, 127–128 U
and rotation, 129–132
unit vector, 6, 7
definition, 123–125
derive the rotation matrix from a given, W
135–138
worked-out examples
quaternions multiplication rule, 125
active rotation using single-axis and
R quaternions methods, 166–168
application of contravariant metric tensors,
right-hand-rule convention, 67, 72
155
rigid body rotations
complex double dot-cross product
Euler angles for, 108
expressions, 165–166
quaternions-applications for, 123–134
continuity equations in several coordinate
direct relations and methods, 141 systems, 160–161
Rodrigues’ rotation formula, 67 conversion from vector to index notations,
rotation matrix, 67, 114, 117, 128 144–145
calculating, 72 covariant derivatives of a constant
derive the equivalent quaternion from, vector, 160
138–139 covariant derivatives of metric
rotation, quaternion and, 129–132 tensors, 166
example, 133–134 covariant derivatives of physical components
S of a vector, 161
determinant of a 4 × 4 matrix using
scale factor, 7 permutation symbols, 159
second principal scalar invariant, 70 determinant of metric tensors using
spherical coordinate systems, 3, 93–96 displacement vectors, 158
acceleration vector physical components in, dot and cross products in cylindrical and
81–82 spherical coordinates, 155–156
for Christoffel symbols, 46–49 Einstein summation convention, 143
example, 25–27 4D spherical coordinate systems,
metric tensor, 25–27 162–165
physical components of Laplacian of a vector oblique rectilinear coordinate systems,
in, 61–63 145–148
substantial time derivatives of tensors, 82–85 passive rotation using single-axis and
quaternions methods, 168–169
T
quantities related to bi-polar coordinate
Tait-Bryan angles, 113, 117 systems, 152–154
third principal scalar invariant, 70 quantities related to parabolic coordinate
total/convective time derivative, 82 system, 149–151
transformation coefficient, 10, 11 relation between Jacobian and metric tensor
transformations, 15–16 determinants, 157
contravariant components and, 9–12 successive rotations using quaternions
covariant components and, 13–14 method, 170
physical components and, 15–16 time derivatives of the Jacobian, 159–160