Tensors Made Easy With Solved Problems
Tensors Made Easy With Solved Problems
TENSORS
made easy
Digitized by the Internet Archive
In 2022 with funding from
Kahle/Austin Foundation
https://archive.org/details/tensorsmadeeasyi0000bern
Giancarlo Bernacchi
made easy
An informal introduction
to Maths of General Relativity
2017
34 edition: December 2016
© Giancarlo Bernacchi
ISBN 978-1-326-29253-9
All rights reserved
Giancarlo Bernacchi
Rho (Milano) - Italia
giancarlobernacchi@libero.it
Introduction
Notations and conventions
Tensors
Outer product between vectors and covectors
Matrix representation of tensors
Sum of tensors and product by a number
Symmetry and skew-symmetry
Representing tensors in T-mosaic
Tensors in T-mosaic model: definitions
Tensor inner product
Outer product in T-mosaic
Contraction
Inner product as outer product + contraction
Multiple connection of tensors
“Scalar product” or “identity” tensor
Inverse tensor
Vector-covector “dual switch” tensor
Vectors / covectors homogeneous scalar product
G applied to basis-vectors
G applied to a tensor
Relations between I, G, 6
Change of basis
Basis change in T-mosaic
Invariance of the null tensor
Invariance of tensor equations
Tensors in manifolds
Coordinate systems
Coordinate lines and surfaces
Coordinate bases
Coordinate bases and non-coordinate bases
Change of the coordinate system
Contravariant and covariant tensors
Affine tensors
Cartesian tensors
Magnitude of vectors
Distance and metric tensor
Euclidean distance
Generalized distances
Tensors and not —
Covariant derivative
The gradient V at work
Gradient of some fundamental tensors
Covariant derivative and index raising / lowering
Christoffel symbols
Covariant derivative and invariance of tensor equations
T-mosaic representation of gradient, divergence
and covariant derivative -
Curved nanifolds
Symptoms of curvature
Derivative of a scalar or vector along a line
T-mosaic representation of derivatives along a line
Parallel transport along a line of a vector
Geodetics
Positive and negative curvature
Flat and curved manifold
Flat local system
Local flatness theorem
Riemann tensor
Symmetries of tensor R
Bianchi identity
Ricci tensor and Ricci scalar
Einstein tensor
Appendix
Problems
Bibliographic references
We note that, due to the sum convention, the “chain rule” for partial derivatives can
of Of ox"
be simply written and the sum over p comes automatically.
CX? OR OR
A dummy index, unlike a free index, does not survive the summation and thus it
does not appear in the result. Its name can be freely changed as long as it does not
collide with other homonymous indexes in the same term.
In all equations the dummy indexes must always be balanced up-down and they
cannot occur more than twice in each term. The free indexes appear only once in
each term. In an equation both left and right members must have the same free
indexes.
These conventions make it much easier writing correct relationships.
The little needed of matrix algebra will be said when necessary. We only note that
the multiplication of two matrices requires us to “devise” a dummy index. Thus, for
instance, the product of matrices [A,,] and [B“*] becomes PAS Be (also
for matrices we locate indexes up or down depending on the tensors they represent,
without a particular meaning for the matrix itself).
The mark * will be used indiscriminately for scalar products between vectors and
covectors, both heterogeneous and homogeneous, as well as for inner tensor
products.
Other notations will be explained when introduced: there is some redundancy in
notations and we will use them with easiness according to the convenience. In fact,
we had better getting familiar with all various alternative notations that can be found
in the literature.
The indented paragraphs marked ° are “inserts” in the thread of the speech and they
can, if desired, be skipped at first reading (they are usually justifications or proofs).
“Mnemo” boxes suggest simple rules to remind complex formulas.
- =e Oe a
<<. =
a 7 ipaes
7
a a > as ‘
> : ———," “~~. _ ) oa ao ah Oy “y satis ciel
eeeae goat"
Ae Se, & Ge OUPreS Oe
‘ oa
=_ aa 2a aay 7 awe
_ a.
aut ee a
7 J
= ay & €
- 7 ee Seeranr F af uals
- ~ e wee — =
7 a ae
Weg
V = é&V" 12
The nm numbers V° (a= 1, 2, ... 2) are the components of the vector
V on the basis we have chosen (v V“ ER).
| This way of representing the vector V is simply its “recipe”:
é),@,,..€, (ie. the @. ) is the list of the ingredients, and
V' V’,..V" (ie. the V% )are the quantities of each one.
The choice of the n basis-vectors is arbitrary. Obviously, the
components V“ of a given vector V change with the chosen basis
(unlike the vector itself!)
* In fact, it must be defined C = aA+bB , where A,B,C are elements of the
same set and a, b numbers €IR. We gloss over other requests more obvious.
7
The expansion eq. 1.1 allows us to represent a vector as an v-tuple:
CPE ese)
provided there is a basis @),2@,,...€, fixed in advance.
comp
As an alternative to eg.1.2 we will also write 7 “> Vv with the
same meaning.
« Let's represent graphically the vector-space of plane vectors (n = 2)
emanating from P , drawing only some vectors among the infinite
ones:
C = 16422,
The components of C on the established basis are thus (—%, 2).
« We observe that the expansion (or “recipe’”’) of a basis-vector on its
own basis (i.e. the basis made by themselves) cannot be other than:
esa) ee)
oo 10,0. 0se
regardless whether they are unit basis-vector or not and their length.
8
1.3 Covectors
We define covector P (or dual vector or “one-form”) a linear scalar
function of the vector V. In other words: P applied to a vector
results in a number:
P (V)= number ER ins
P can thus be seen as an “operator” that for any vector taken in
input gives a number as output.
By what rule? One of the possible rules has a particular interest
because it establishes a sort of reciprocity or duality between the
vectors VY andcovectors P , and it is what we aim to formalize.
: To begin with, we apply the covector P to a basis-vector (instead
of a generic vector). By definition, let's call the result the o-th
component of P
P(é,) = P, 1.4
We will then say that the n numbers P, (a = 1, 2, ... m) are the
components of the covector P (as well as the V% were the
components of the vector V ).
In operational terms we can state a rule (which will be generalized
later on):
Py te Pave
Both expansions are identical only if:
Be) eel for B=
é ;
0 otherwise
* From the definition given for P() it follows that: i) the application P is
linear: P(aA+b B)=P,(a4°+bB") =aP,A°+bP, BY =a P(A)+bP(B)
ii) the set of the covectors P is a vector space, too: (aP+hQ)(V’)
=aP(V)+bO(V)=aP,V"°+bO,V" =(aP,+bO,)V" =R,V"= R(V)
10
we can write the duality condition:
e*(é,) = 6° Xx
1.8
A vector space of vectors and a vector space of covectors are dual if
and only if this relation between their bases holds good.
= We observe now that P(V) = V°P, (eq.16) lends itself to an
alternative interpretation.
Because of its symmetry, the product V“P, can be interpreted not
only as P(V) but also as V(P) , interchanging operator and
operand:
V(P) = V°P, = number € R 1.9
In this “reversed” interpretation a vector can be regarded as a linear
scalar function of acovector P. *
As a final step, if we want the duality to be complete, it would be
possible to express the components V° of a vector as the result of the
application of V to the basis-covectors é* (by symmetry with the
definition of component of covector eq. 1.4):
V“=V(6") 1.10
e It's easy to observe that this is the case, because:
y(Py)= V(eP.)=P.V 2")
but since V(P) =P, V* (eq.1.9), equating the right members
the assumption follows.
Eq.1.10 is the dual of eg./.4 and together they express a general rule:
To get the components of a vector or covector apply the vector or
| covector to its dual basis.
11
The linearity of the operation is already known.
All writings:
P(V) = V(P) = (P,V) = (VP) = VP, iter
are equivalent and represent the heterogeneous scalar product between
a vector and a covector.
By the new introduced notation the duality condition between bases
eq.1.8 is currently expressed as:
eee Rene ae.
The homogeneous scalar product between vectors or covectors of the
same kind requires a different definition that will be introduced later.
iQ
So far we have considered the Kronecker symbol 5° as a number; we
will see later that 5° is to be considered as a component of a tensor.
bse III
13
Vectors are cubes with pins upward; covectors are cubes with holes
downward. We'll refer to pins and holes as “connectors”.
Pins and holes are in number of 7, the dimension of space.
Each pin representsa @, (a= 1, 2,... 7); each hole is fora e°.
In correspondence with the various pins or holes we have to imagine
the respective components written sideways on the body of the cube,
as shown in the picture
The example above refers to a 3D space (for n = 4, for instance, the
representation would provide cubes with 4 pins or holes).
The n pins and the 7 holes must connect together simultaneously.
Their connection emulates the heterogeneous scalar product between
vectors and covectors and creates an object with no exposed
connectors (a scalar). The heterogeneous scalar product
ele)
[ scalar x
So
A product PV
eg a
es a
pea eG
ek? =P PP. Pp
\ scalar gee ee ce x"
product Vee ye
14
it, while the generic name of the component array ( V“ for vectors
or P, for covectors) is written in the piece. This representation is
the basis of the model that we call “T-mosaic” for its ability to be
generalized to the case of tensors.
* So, from now on we will use the two-dimensional representation:
Vector V = Covector P =
Nyi) III
This means that, in the scalar product, all the products that enter in the
sum go to zero, except one.
Ino
16
A “smooth” block,,i.e. a block without free connectors, is a scalar (=a
number).
* Notice that:
Wi
It is worth noting that in the usual T-mosaic representation the >
~X a= ae awe
connection occurs directly between P,é° and de, by means ol
—
e e"
n TL
af = \ oa
( e e y = _—_ B >
73 we
e e
18
2 Tensors
The concept of tensor T is an extension of those of vector and
covector.
A tensor is a linear scalar function of h covectors and k vectors (h, k =
Oh eo we):
We may see T as an operator that takes h covectors and k vectors in
input to give a number as a result:
T(A,B,...P,O,...) = number € R 2.1
19
In general:
Sa AT Mavisres :
Titetnen vere au) = Lane 2.3
« This equation allows us to specify the calculation rule left
undetermined by eg.2.1 (which number does come out by applying the
tensor to its input list?). For example, given a tensor S of rank io for
which eg.2.3 becomes S$(é,,2”) = SX , we could get:
S(V,P)=S(4V 2P,)=V"PS(G.e)=V PS, 24
In general eg.2./ works as follows:
Tide hee Old Ben e me
Oe. 25
and its result is a number (one for each set of values p, v, a, B).
|An expression like A*B’ P.O, T%3 that contains only balanced
dummy indexes is a scalar because no index survives in the result
_ of the implicit multiple summation.
20
2.1 Outer product between vectors and covectors
Given the vectors A,B and the covectors P.O we define vector
outer product between the vectors A and B:
A@B suchthat: 4eB(P,O) = A(P) B(O) og
Namely: A@B is an Operator acting on a couple of covectors (i.e.
vectors of the other kind) in terms of a scalar products, as stated in the
right member . The result is here againa number €IR
It. scan. be immediately seen that the outer product ® is non-
commutative: A@B # Bed (indeed, note that Be A against the
~
* The most direct demonstration, based on a comparison between the two forms
T=P@0 =P, 2@ 0,2 = P,O,2°@ 2 =T. 2 @2 and THT yé
~ of
Al
e"’(é,é,) = 546, because in that case:
Ugv
Tel O80 gs:
Since 64 =é"(é,) and 6,=é'(é,) the second-last equation
becomes:
poec => ~ => ~v
Oe ay We (é,) € (25)
22
Thus, in general T°?¥ x T8% eT,
To preserve the order of the indexes is often enough a notation with a
double sequence for upper and lower indexes like Y37" . However,
this notation is ambiguous and turns out to be improper when indexes
are raised / lowered. Actually, it would be convenient using a scanning
with reserved columns like Y eee ; It aligns in a single sequence
upper and lower indexes and assigns to each index a specific place
wherein it may move up and down without colliding with other
indexes. To avoid any ambiguity we ought to use a notation such as
Y°37!, , Where the dot - is used to keep busy the column, or
YH
simply Y%,’", replacing the dot with a space.
23
2® 1 2® 2 €,8€,
jinn ye Geo
21 22 2n
es ai 2.12
ee. LF he pow (va)
iets (x jee
Similarly: ;
« The outer product between vectors and tensors has similarities with
the Cartesian product (= set of pairs).
For example V@W generates a basis grid &.@ @3 that includes all
the couples that can be formed by @x and @ 3 and a corresponding
matrix of components with all possible couples such as
v“w*(=T“*) ordered by row and column.
2 =
If X is a rank (5) tensor, the outer product X@V produces a
3-dimensional cubic grid @,®@,®@, of all the triplets built by
€. ,@s; ,€, and a similar cubic structure of all possible couples
poe
« It should be stressed that the dimension of the space on which the
tensor spreads itself is the rank 7 of the tensor and has nothing to do
with n, the dimension of geometric space. For example, a rank 2
tensor is a matrix (2-dimensional) in a space of any dimension; what
varies is the number 7 of rows and columns.
Also the T-mosaic blockwise representation is invariant with the
dimension of space: the number of connectors does not change since
they are not individually represented, but as arrays.
24
2.3 Sum of tensors and product by a number
As in the case of vectors and covectors, the set of all tensors of a
h :
certain rank (,) defined at a point P has the structure of a vector
Space, once defined operations of sum between tensors and
multiplication of tensors by numbers.
The sum of tensors (of the same rank!) gives a tensor whose
components are the sums of the components:
Aa BSC tS26 UV... = tet 2.13
The product of a number a by a tensor has the effect of multiplying by
a all the components:
comp
OMe Aan
Revie 2.14
ZS
« Any tensor T ranked (3) or (2)
0
can always be decomposed into a
symmetric part S and skew-symmetric part A :
T=S+A
that is es apts where: 2 16
= apy ~u > -
Wises rene. cacs
—_—
26
The exposed connectors correspond to free indexes; they determine
the rank, given by (”) _— {number of pins @
as
Eo neeerorioee ch Ol cvcmoyey —viani
« Blocks representing tensors can connect to each other with the usual
rule: pins or holes of a tensor can connect with holes or pins (with
equal generic index) of vectors / covectors, or other tensors. The
meaning of each single connection is similar to that of the
heterogeneous scalar product of vectors and covectors: connectors
disappear and bodies merge multiplying to each other.
« When (at least) one of the factors is a tensor (7 > 1) we properly refer
to it as an inner tensor product.
« The shapes of the blocks can be deformed for graphic reasons
without changing the order of the connectors. It is convenient to keep
fixed the orientation of the connectors (pins “on”, holes “down”’).
setting:
Ti Aah Oe
Hd
The result is a single number_X (all the indexes are dummy).
= Components of tensor T : obtained by saturating with basis-vectors
and basis-covectors all connectors of the “naked” tensor. For example:
The result T** are n> numbers, the components (3 are the indexes).
Intermediate cases between the previous two can occur, too:
* Input list with basis- and other vectors / covectors:
MCS even nieeeree, e.\= Pe Tes Gees) = haa
epee.
rn Wu
V:
= = y.
A :
e~
HL :
a setting:
éa jee = Ne
28
The result Y. are n°? numbers (survived indexes are 2): they are the
vV> +e
components of a double tensor Y= Yye,é"; but it is improper to
say that the result is a tensor!
Remarks:
" The order of connection, stated by the input list, is important. Note
diate ditterem@t tel Mie.te “P)— 2.4 Tle,,P,e) =.
would be obtained by connecting P with @” instead of é"
= In general a “coated” or “saturated tensor” , that is a tensor with all
connectors plugged (by vector, covectors or other) so as to be a
“smooth object” is a number or a multiplicity of numbers.
!
« It is worth emphasizing the different meaning of notations that are
similar only in appearance:
aS,
A particular case of tensor inner product is the familiar heterogeneous
dot product between a vector and a covector.
Let's define the total rank R of the inner product as the sum of ranks of
the two tensors involved: R = 7, +7 (R is the total number of
connectors of the tensors involved in the product). For the
heterogeneous scalar (or dot) product is R=1+1=2.
In a less trivial or strict sense the tensor inner product occurs between
tensors of which at least one of rank r > 1, that is, R > 2. In any case,
the tensor inner produci lowers by 2 the rank R of the result.
We will examine examples of tensor inner products of total rank R
gradually increasing, detecting their properties and peculiarities.
: é
H v
and:
30
setting:
fhcob saree at|ie
Only one connector of the tensor is plugged and then the rank r of the
tensor decrease by | (in the examples the result is a vector (FI 5
Algebraic expressions corresponding to the two cases are:
Bl
The results are different depending on the element (the index)
“hooked”, that must be known from the context (no matter the position
of é or €. inthe chain).
Likewise, when the internal product is made with a vector, as in
e" &° & & (&.) we have two chances:
eee(eé)aleegds° or @
5; 5x
depending on whether the dot product goes to hook é* or eP
Formally, the inner product of a vector or covector é. or &*
addressed to a certain element (different in kind) inside a tensorial
chain é“ é° é, é&,--- removes the “hooked” element from the chain
and insert a 6 with the vanished indexes. The chain welds with a ring
less, without changing the order of the remaining ones.
Note that product P+T on fixed indexes cannot give a result different
from T*P. Hence P*T=T*P and the tensor inner product is
commutattive in this case.the
* Same as above is the case of tensor inner product tensor * basis-
covector. Here as well, the product can be realized in two ways:
T(é") or T(é"). We carry out the latter case only, using the same T
of previous examples:
sh
(poe:
, the component of T , would be the result if the input list had
— complete. Having aed a basis-covector in the input list has
the effect of leaving uncovered a connector @ , so that the result is
here a vector.
32
Similar considerations apply to inner products tensor * vector whereT
is ranked e:
"If T is ranked (1) the tensor inner products T*V and T*P have an
unique (not ambiguous) meaning because in both cases there is only
an obliged way to perform them (it is clear in T-mosaic).
Even here the products commute: for example TeV =V eT.
« In conclusion: inner tensor products with rank R = 3 may or may not
be twofold, but they are anyways commutative.
* commutativity the eventuality that is AeB = BeA afier fixed the pair
of indexes (connectors) on which the products are performed.
A*B=(A,,2"2") + (BY
& &)=
33
which correspond rispectively to the following T-mosaic patterns: *
| at
am oa ae ars
on é,
= |
' | A
| ~X ~X
| é @
Ce ep | Cr &e
| BO Re
* The 4 results of AeB are in general different. But it may happen that:
J Le PrOcucl =.
A symmetrical (> é",
u
2” interchangeable)>
| 3° product = 4°
l-product = 3”
B symmetrical (> @,, é, interchangeable) =
2° product = 4°
The 4 products coincide only if both A and B are symmetrical.
* We use here the artifice of 6 as “plug adapter” to keep the correspondence of in-
dexes between equations and blocks.
** Of course, the 4 possible pairs of indexes (connectors) are the same as the
previous case, but their order is inverted. Note that the multiplicities of A*B are
counted separately from those of B*A.
34
* How to account for the different results if T-puzzle graphical
representation for A*B and BeA is unique? The distinction lies in a
different reading of the result that takes into account the order of the
items and give them the correct priority. In fact, the result must be
constructed by the following rule: *
| list first connectors (indices) of the first operand that survive
free, then free connectors (indices) survived of the second one.
_ Reading of the connectors (indexes) is always from left to right.
Obviously indexes that make the connection don't appear in the result.
* This rule is fully consistent with the usual interpretation of the intner tensor
product as "external tensor product + contraction" which will be given later on.
** At least for what concerns the product “tensor * vector or covector” (input lists
contain only vectors or covectors, not tensors.
35
then one or more connectors (indexes) residues of the tensor are found
in the result, which turns out to be a tensor of lowered rank. The
extreme case of “incomplete input list” is the tensor inner product
tensor * vector or covector, where all the arguments of the list are
missing, except one. Conversely the application of a tensor to a list
(complete or not) can be seen as a succession of more than one single
tensor inner products with vectors and covectors.
The higher the rank 7 of the tensor, the larger the number of possible
incomplete input lists, i.e. of situations intermediate between the
complete list and the single tensor inner product with vector or
covector. For example, for r = 3 there are 6 possible cases of
incomplete list. * In the case of a (*) tensor one among them is:
2 ey
T( ,P,é)=
ali
SE
e
Lage
e
— =
ee |
setting
4 Hv del v
3° tN eS
a 4 r 3
5,
36
2.8 Outer product in T-mosaic
According to T-mosaic metaphor the outer product ® means “union
by side gluing”. It may involve vectors, covectors or tensors.
Of the more general case is part the outer product between vectors
and/or covectors; for example:
or else:
The outer product makes the bodies to blend together and components
multiply (without the sum convention comes in operation).
It is clear from the T-mosaic representation that the symbol ® has a
meaning similar to that of the conjunction “and” in a list of items and
can usually be omitted without ambiguity.
« The same logic applies to tensors of rank r>1, and one speaks about
outer tensor product.
The tensor outer product operates on tensors of any rank, and merge
them into one “for side gluing” The result is a composite tensor of
rank equal to the sum of the ranks.
For example, inacase A(!) @ B(})=C(3)
3
(Avé,@2°) @(Bi.€,@2 @é) = ASB. e,8 eee ee ee =
ae Ghe
&, 86 B @E, @e BE
> ~ => ~V mK
BvK
: XU > Bo <V ~K
usually written C5, €,€ ee €
« Note the non-commutativity: AeB# BeA.
2.9 Contraction
Identifying two indexes of different kind (one upper and one lower), a
tensor undergoes a contraction (the repeated index becomes dummy
and appears no longer in the result). Contraction is an “unary”
operation.
h h-1
The tensor rank lowers from i to or
Cr ey an
contraction
Kn=T
> —}
sh oye’ en wes
38
It is worth noting that the contraction is not a simple canceling or
“simplification” of equal upper and lower indexes, but a sum which is
triggered by repeated indexes. For example:
Gee 6 Ct eC ae
« In a sense, the contraction consists of an inner product that operates
inside the tensor itself, plugging two connectors of different kind.
* The contraction may be seen as the result of an inner product by a
tensor carrying a connector (an index) which is already present, with
opposite kind, in the operand. Typically this tensor is the Kronecker 6.
For example: ~
Cove 8n°= Cava = Cay where contraction is on index a.
The T-mosaic representation of the latter is the following:
= —_>
Cn ey
Lax} ® Re |
3
any
~X
ay)
2.10 Inner product as outer product + contraction
The inner tensor product A*B can be interpreted as tensor outer
product A @B followed by a contraction of indexes:
A*B =contraction of (A®B).
The multiplicity of possible contractions of indexes gives an account
of the multiplicity of inner tensor product represented by A°B.
For example, in a case A(5) : B(;) = C(;) , with total rank R=5:
AB =e =, = C (produccom)):
e
eg.B ’
Cx
ef eS BR
€
40
2.12 “Scalar product” or “identity” tensor
The operation of (heterogeneous) scalar product takes in input a vector
and a covector to give a number = it is a tensor of rank () . We
denote it by I:
Preah ge = PL" 220
and can expand itas: I = J; é,@é° , thatis I = [e,€
How is it I? Let us calculate its components giving to it the dual basis-
vectors as input list:
eC es 8 ee ack 221
hence: eS, 6 e, 222
How does | act? Its complete input list contains two arguments: a
vector and a covector. Let's apply it to a partial list that contains only
one of the two; there are 2 possibilities:
® IP)
>
= 6;“a e°2.(P,e")=8,
rp> ~ a
P,e'e,(é")
~B > (~
=; o,Pye
Son ~B
=
4]
(note: 5; 5) = 6))
The T-mosaic blockwise representation of I(7) is:
SY Ill
42
For tensors of rank r # 2 the inverse is not defined.
fp ee 2.28
Furthermore, denoting T and T the matrices associated to T and
T" , we have: i
1D
ke | 2.29
where J is the unit matrix; namely, the matrices T and 7 are inverse
to each other.
° Indeed, for (3) tensors the definition eg.2.27 turns into eq.2.28.
But the latter, transcribed in matrix terms, takes the form
eseGee =I ,which is equivalent to eg.2.29.
43
other: usually we call the components of both tensors with the same
symbol 7 and distinguish them only by the position of the indexes.
However, it is worth realizing that we are dealing with different
tensors, and they cannot run both under the same symbol T (if we call
T one of the two, we must use another name for the other: in this
instance T*).
* The mixed fundamental tensor | > 8} has (with few others **)
the property to be the inverse of itself.
= Indeed, an already noticed *** property of Kronecker's 8:
54 5) = 8)
Q X ° B sae BLS
* That does not mean, of course, that it is the only existing mixed double tensor
+L B
(think to Cy= 4,,B’*
aewhen Ae B are not related to each other).
. ] . F . ~
** Also auto-inverse are the tensors (,/ , whose matrices are mirror images of I.
*** Already noticed about the calculation of I( P).
44
2.14 Vector-covector “dual switch” tensor
A tensor of rank 0
(5) needs two vectors as input to give a scalar. If the
input list is incomplete and consists in one vector only, the result is a
covector:
G = ap 7 =
ee
a
a aa
7 = Fa setting:
= GupV% = P,
to be read: G(/) = Ge? Seca =P
0 ed
45
Applying G" to the switch definition eq.2.3/:
G"(G(V)) = G*(V)
but G(G)=1 and I(V)=/ ,then:
v= Gy) 232
G" thus establishes an inverse correspondence G*: 7 3 V .
In T-mosaic terms:
setting:
CoV eee
to be read G'(7) = Gey, & =Vv'é =V
46
A°B s (A,B) or, likewise, Oe Edy 2:55
From the first equality, expanding on the bases and using the switch G
we get:
« In the T-mosaic metaphor the scalar (or inner) product between two vectors
takes the form:
47
while the scalar (or inner) product between two covectors is:
= G= [Gas] =
It 's clear that the symmetry of G is related to the commutativity of the scalar
product:
€, te, ee, ee GG, = Gesymimenic
and that its associated matrix is also symmetric.
xnx! CAD Ss ~n an
48
Notation
Various equivalent writings for the homogeneous scalar product are:
. between vectors:
AeB = BA =(A,B) =(4,B) = G(A, B) = G(B, A)
* between covectors:
Ae B= Bed =(A,B) =(4,B) = G"(A,B)=GB,A)
The notation ( . ) is reserved to he ee scalar product
vector-covector
has, in this example, really the effect of lowering the index @ involved
in the product without altering the order of the remaining others.
However, this is not the case for any index. What we need is to
examine a series of cases more extensive than a single example,
having in mind that the application of G to a tensor according to
usual rules of the tensor inner product G(T) =GeT gives rise to a
49
multiplicity of different products (the same applies to G*). To do so,
let's think of the inner product as of the various possible contractions
of the external product: in this interpretation it is up to the different
contractions to produce multiplicity.
° Referring to the case, let's examine the other inner products you
can do on the various indices, passing through the outer product
G,,X°'Y
uv = x'°**”
uy and then performing the contractions.
The p-a contraction leads to the known result X Sh AO: ein
addition:
* contraction u-B gives Ae oo) Coa
* contraction p-y gives X ay =e
(since G is symmetric, contractions of v with a, B or y give the
same results as the contractions of i). -
Other results rise by the application of G in post-multiplication:
frome “OG, =e Rive Wer eet A: | nouN at HEX pnand 2other
similar contractions for v.
We observe that, among the results, there are lowerings of indices
(e.g. aly, lowering &\ v, and X*" , lowering YS v), together
with other results that are not lowerings of indices (for example
X“": B is lowered Bxy but also shifted). X°.” does not appear
among the results: it is therefore not possible to get by means of G
the transformation:
R
fas)
og
as if é, were isolated.
It's easy to see that, given the usual rules of the inner tensor product,
only indices placed at the beginning or at the end of the string can be
raised / lowered by G (a similar conclusion applies to G* ).
It is clear, however, that this limitation does not manifest itself until
the indexes' string includes only two, that is, for tensors of rank r=2.
« For tensors of rank r=2 and, restricted to extreme indexes for tensors
50
of higher rank, we can enunciate the rules:
G applied to a tensor lowers an index (the one by which it connects).
Only the writing by components, e.g. G,, 7", = T°"vy ? clarifies
which indexes are involved.
G" applied to a tensor raises an index (the one by which it connects).
ap ESE ap ev
Potexamplec (17 Ga Io w
Mnemo
and from the last two it follows (not surprisingly, given the eg.2.28!)
that:
Garo, 2.43
ie Ip
that, together with eq.2.43, leads to:
Gi, = 9; 2.45
Likewise:
(FO OP BOF ot Oa al gsSng 2.46
51
c That does not mean that G and | are the same tensor. We observe
that the name G is reserved to the tensor whose components are
Gy3 ; the other two tensors, whose components are
G; and G°" , are different tensors and cannot be labeled by
the same name. In fact, the tensor with components G** is G",
while that one whose components are G,; coincides with I.
It is thus matter of three distinct tensors: *
(lees ooeeeny
Gee OG reed res xB
: ee Seig (ES a3 es as cae
>
*
The rank is also different: ‘)):(3)\3) respectively. Their matrix representation can
be formally the same if G = diag (+1), but on a different “basis grid”!
52
3 Change of basis
* Like all vectors, each basis-vector of the new basis @,, can be
expanded on the old basis-vectors @,
Cees. Ba,aa) 3.2
Az, are the coefficients of the expansion that describes the “recipe”
of the new @,, on the old basis [@,} (i.e. on the basis of the old
“ingredients”).
Taken as a whole, these coefficients express the new basis in terms of
the old one; they can be arranged in a matrix n xn |Ag.|
a3
« What about covectors? First let us deduce the transformation law for
components. From P, = P(é,) eq.1.4, which also holds good in the
new basis, by means of the transformation of basis-vectors eq.3.2 that
we already know, we get:
(easy a) akan JEW aed mea A ea a 3.5
From the definition of component of P and using the eq.3.5 above,
we deduce the inverse transformation for basis-covectors (from new to
old ones):
P= P,& |
~ =f5l a ~B! => ea = Nee:
P= Pe = Ag Pye
e. Neree 3.6
« To summarize, all direct transformations (from old to new basis) are
ruled by two matrices:
[At expresses the transformation of the components of vectors
(eq.3.4) and of basis-covectors (eq.3.6)
|Ag. expresses the transformation of the components of covectors
(eq.3.5) and of basis-vectors (eqg.3.2)
The two matrices are one the transposed inverse * of the other.
. Ay 7 Me eee
é Cn, e 3 6
; : 3.8
Nast (a-)"
Lire esbe Po) Pe,
Roughly speaking: if the bases vary in a manner, the components vary
in the opposite one in order to leave the vector unchanged (as well as
the number that expresses the measure of a quantity increases by
making smaller the unit we use, and vice versa).
The transformations in the opposite sense (<—) require to invert all the
matrices of the table (remind that the inverse of |Aa) ise: |):
« For a transformation to be reversible, it is required that its matrix
A is invertible, that means detA #0 .
« The duality relation between bases of vectors and covectors holds
good in the new basis, too:
2p)
Suea e aN Ne Neg re e
only possible if (&,, 2’) =A’ since then 54=A%, AY’ .
Hence, the element of the matrix A is:
Av=lé.,e 5 mee
and the transformation matrix is thus built up by crossing old and new
bases.
« In practice, it is not convenient trying to remind the transformation
matrices to use in each different case, nor reasoning in terms of matrix
calculus: the balance of the indexes inherent in the sum convention is
an automatic mechanism that leads to write the right formulas in every
case.
Mnemo
ek es a, |
The transformation of a given object is correctly written by simply
taking care to balance the indexes. For example, the transformation
of components of covector from new to old basis, provisionally
written P,=A P,, , can only be completed as P, =A) P,, =
the matrix element to use is A‘
56
The connection is done “wearing” the basis-converters blocks as
“shoes” on the connectors of the tensor, docking them on the pin-side
or the hole-side as needed, "apex on apex" or "non-apex on non-apex".
The body of the converter blocks will be marked with the element of
the transformation matrix A’or A®, with the apices ' up or down
oriented in the same way with those of connectors (this implicitly
leads to the correct choice of A® or A®, ).
For example, to basis-transform the components of the vector V“é,
we must apply on the @, connector a converter block that hooks it
and replaces with @,.
Cyr
{
OQ
since: Aja uy
. - : ri
(Zeal
. ax
since: A,P, = Py:
of,
* This rule doesn't apply to basis-vectors Lin] (the converter block
would contain in that case the inverse matrix, if one); however the
block representation of these instances has no practical interest.
« Subject to a basis transformation, a tensor needs to convert all its
connectors by means of the matrices A*'or A&, ; an appropriate
conversion block must be applied to each connector.
For example:
>
QnX
2
5
~X ea :
(2
é x xX
i * :
~U ~v ~ ~
e e ae (Aaa
4
a tax) G
Cac a
since tneAs : te ine le
: «
algeoa ee
é ul ey
58
« A very special case is that of tensor 1= 655, é° whose components
never change: 53 = diag(+1) is true in any basis:
sincereNGN 0, nA uN AO.
C=0 = VC =0 * Sat
° In fact:
Ce eee Ste a Nee 0 Bale
for all A®’, A‘, ..., that is for any transformation of bases.
ayy
3.3. Invariance of tensor equations
Vectors, covectors and tensors are the invariants of a given
“landscape”: changing the basis, only the way by which they are
represented by their components varies. Then, also the relationships
between them, or tensor equations, are invariant. For tensor equations
we mean equations in which only tensors (vectors, covectors and
scalars included) are involved, no matter whether written in tensor
notation (T, V, ecc.) or componentwise.
Reduced to its essential terms, a tensor equation is an equality
between two tensor like:
A=B or Al"
(ees =B?"
hace 3213
Now, it's enough putting A-B=C to reduce to the equivalent form
eq.3.12 C=0 or Cy’ =0 that, as is valid in a basis, is valid in all
bases. It follows that eg.3.13, too, as is valid in a basis is valid in all
bases. So the equations in tensor form are not affected by the
particular basis chosen , but they apply in “absolute”.
In practice
60
4 Tensors in manifolds
61
is required that the correspondence g(Q) <— w(Q) is itself
continuous and differentiable.
62
correspondence 9 .
63
shown in the figure.
64
increases from s to s + ds and the coordinates of the point move from
x oy aux to F+ax x? + be... x" dx”.
comp
The displacement from P to P’isthen d®¥ — dx" ,or:
Ge = dhe. 4.]
This equation works as a definition of a vector basis {@,} in P, in
such a manner that each basis-vector is tangent to a coordinate line.
Note that dX is a vector (inasmuch it is independent of the
coordinate system which we refer to).
A basis of vectors defined in this way, related to the coordinates, is
called a coordinate vector basis. Of course it is a basis among other
ones, but the easiest to use because only here d% — dx“! *
It is worth noting that in general it depends upon the point P .
: A further relation between dx and its components dx" is:
Give 4d x) 4.2
(it is nothing but the rule eqg././0, according to which we get the
components by applying the vector to the dual basis); its blockwise
representation in T-mosaic metaphor looks like:
The basis {é"} is the coordinate covector basis, dual to the previ-
ously introduced coordinate vector basis.
= We aim now to link even this covector basis to the coordinates.
Let us consider a scalar function of the point f defined on the manifold
(at least along @) as a function of the coordinates. Its variation from the
initial point P along a path dX is given by its total differential:
Of eet
= iat 43
* Tf the basis is not that defined by eg.4./, we can still decompose dx along the
coordinate lines x", but dx" is no longer a component along a basis-vector.
65
We note that the derivatives ue are the components of a covector
Ox"
because their product by the components dx“ of the vector dX
gives the scalar df (in other words, eq.4.3 can be interpreted as an
heterogeneous scalar product).*
~ comp OQ .
Let us denote by Vf — at this covector, whose components
in a coordinate basis are the partial derivatives of the function f and
therefore it can be identified with the gradient of / itself.
In symbols, in a coordinate basis:
~ Ai : comp fa) 4 4
= —
ah Ox
hee) eee
or, in short notation ©, = aH for partial derivatives:
Vi ancu
4.5
Note that the gradient is a covector, not a vector.
The total differential (eg.4.3) can now be written in vector form:
66
as shown in the following figures that illustrate the 3D case:
67
df is expressed as:
dx = €,dp+é,pd0 é 4.8
and this can be identified with the coordinate basis condition
dx=é,dx" provided we take as a basis:
g = 2,, & = pee 4.9
Here the basis-vector @ “includes” p, it's no longer a unit vector and
also varies from point to point. Conversely, the basis of unit vectors
{é,,é)} which is currently used in Vector Analysis for polar
coordinates is not a coordinate basis.
ec An example of a non-coordinate basis in 3D Cartesian
coordinates is obtained by applying a 45° rotation to unit vectors
“i on the horizontal plane, leaving &- unchanged.
Shee 7,7 in terms of the new rotated vectors we i’,j'
get for dx:
d% = 2(7'-j'\dx +2747 ")dy + kdz , 4.10
2
and this relation matches the coordinate bases condition (eg.
4. /)
only by taking as basis vectors:
OP yaa V2 a +
= eal
—=(i'- AolPati Mae a
<
* 7 andi (in general @, and é") remain distinct entities, although super-
imposable. In Cartesian they have the same expansion by components and their
"arrows" coincide, but under change of coordinates they return to differ.
68
° Indeed, it is already known that in Cartesian the coordinate basis
is made of the unit vectors i,j,k. They can be written in terms
of components:
Pot,
0 0) er =O 0) e050, 1)
The coordinate covector basis will necessarily be:
On a i ue = 0,
Set Vic ee al we n ae = Os
0 er 0 ae Chek= 1.
as required by the condition of duality.
® In polar coordinates, on the contrary, the vector coordinate basis
{é,}={ é,,@3} does not match with the covector basis deduced from
duality condition {@’} = [2°, 8°}.
© Indeed: unit vectors in polar coordinates are by definition:
é,=(1,0), @=(0,1). Thus, from eq.4.9:
2, = 11,0)" Ge «ey = (0/)
Letbe 2@°=(a,b) , 8°=(c,d). From (",é,) = 64 =
fee cle = (a,b)*(1,0)=a
= (a) )-(\0.p)=bp => b=081
sos =(1,0)
0 22,
=> cm )
(c,d)*(1,0)=c F
0 = (°, =
69
systems (an apex ' marks the new ones). But which A must we use for
a given transformation of coordinates?
To find the actual form of A we impose to vector basis a twofold
condition: that the starting basis is a coordinate basis (first equality)
and that the arrival basis is a coordinated basis, too (second equality):
> ee > nyt
dx = é,dx" = é,dx ze
The generic new coordinate x” will be related to all the old ones
x’, x’,...x" bya function x” =x"'(x', x’,...x") ,ie.
ax = os dx"
Ox! 3
Substituting into the double equality eg.4. 11:
AX= 6.08"=e,,——-
x = @,dx ey ae ax = éSee ey aa
ae 4.12
=> => => ox” > > ox”
4.13
ay 0 ae
A=
i 0 x' 7
ax!’
dx
ag!
Ox?
ae
Ox”
Oe Ox?’ Ox a
Se aes eee Aone | Es 4.14
aa” ae”
Diy 50%,
ax
hee
70
we can identify:
N=J 4.15
* The coordinate transformation has thus as related matrix the
Jacobian matrix A =J (whose elements are the partial derivatives
of the new coordinates with respect to the old ones). It states, together
with its inverse and transpose, how the old coordinate bases transform
into the new coordinate bases, and consequently how the components
of vectors and tensors transform.
_After a coordinate transformation we have to transform bases and
_components by means of the related matrix A=J (and its
_ inverse / transpose) to continue working in a coordinate basis.
For a tensor of higher rank, for example (3) > the following law of
transformation of the components applies:
71
T= OMI One Cm
paval — ’ ' tea 4.16
Ox Ox” Ox%
which is just a different way of writing eg.3./0 in case of coordinate
basis (in that case eg.4.13 holds).
The generalization of eqg.3.10 to tensors of any rank is obvious.
In general, a tensor of rank is is told contravariant of order (= rank)
h and covariant of order k.
Traditional texts begin here, using the transformation laws under
coordinate transformation of components* as a definition: a tensor is
defined as a multidimensional entity whose components transform
according to example eq.4. 16.
So, for affine tensors, the law of coordinate transformation and the
transformation law for vector components coincide and are both
expressed by the same matrix A (the components of covectors
transform as usual by the transposed inverse of A).
* Although the traditional “by components” approach avoids speaking about bases,
it is implied that there we always work in a coordinate basis (both old and new).
72
4.8 Cartesian tensors
If we further restrict to linear orthogonal transformations, we identify
the class of Cartesian tensors (wider than affine tensors).
A linear orthogonal transformation is represented by an orthogonal
matrix.* Also for Cartesian tensors the same matrix lay| rules both
the coordinate transformation and the transformation of vector
components. Moreover, since an orthogonal matrix coincides with its
transposed inverse, the same matrix lay] transforms as well covector
components. So, as vectors and covectors transform in the same way,
they are the same thing: the distinction between vectors and covectors
(or contravariant tensors and covariant tensors) falls in the case of
Cartesian tensors.
73
The distance ds given by the tensor equation:
ds = gldx,dx) Airez4 19
is an invariant scalar and does not depend on the coordinate system.
At this point, the tensor g defines the geometry of the manifold, i.e. its
metric properties, based on the definition of distance between two
points. For this reason g is called metric tensor, or “metric”.
« If (and only if) we use coordinate bases, the distance can be written:
[Zas|= f :
geometry of manifold = g =
= Summary: = Say
coordinate system =>
75
4.13 Tensors and not -
ax = wens dx"
Ox’
confirms that the infinitesimal displacement vector is a contravariant
tensor of the first order.
Instead, the “position” or “radius-vector” X is not a tensor because
its components do not transform according to the law of coordinate
transformation (which in general has nothing to do with the contra /
covariant schemes).
« Neither is a tensor the derivative of (components of) a vector. In fact,
given a vector that transforms its components:
Or
ae ae 4.26
ox
its derivatives transform (according to Leibniz rule * and using the
“chain rule’’) as:
IO eg Oye ee OO) a ere Oe
yt
or Ox oy” Ox Ox” Ox" Ox" Ox” Ox*dx”
4.27
which is not the tensor transformation scheme (it would be for a
tensor () without the additional term in 0? ). This conclusion is not
surprising because partial derivatives are not independent of the
coordinates.
ote
OV = 7
NO I > v
RRA
> v v
5 es 4.28
76
Of the two terms, the first describes the variability of the components
of the vector, the second the variability of the basis-vectors along the
coordinate lines x" .
We observe that 6,@,, the partial derivative of a basis-vector,
although not a tensor is a vector in a geometric sense (because it
represents the change of the basis vector @, along the infinitesimal
are dx“ on the coordinate line x" ) and therefore can be expanded
on the basis of vectors.
Hence, setting Oe, =| , we can write:
leah ee 4.29
But in reality T is already labeled with lower indexes pt,v , hence
es = Tree , So that:
Cegal es 4.30
The: vectors I, are m in number, one for each pair u,v , with n
A
components I’...uv each.
The coefficients re are called Christoffel symbols or connection
coefficients; they are in total n° coefficients.
Eq.4.30 is equivalent to:
ie
uy eo erepv Ast
77
In short: oF ee (0,V" + eUas) 4.32
Oe en 4.34
Ox"
ae al H
pe
a
Cay ae
Be ) Page. u er
Aloe
v me 4.35
Ib = L, g
La lege
hence:
=v Ve ea
Of CLs ie 4.36
78
Op Ale opAt Ly erdye
interchanging the dummy indexes v, in the last term:
= "0,4, + Lh 2"A,= 2°(0,4,+ L*,A)) 4.37
A vy
Antedef Opal mA
r
4.41
which is analogous to eq.4.33.
: After this position, the derivative of a covector is written (from
eq.4.40):
A=e@A vyH
4.42
| The (partial) derivative of a covector has as components n
_ covariant derivatives of the covector.
79
4.15 The gradient V at work
We have already stated that the gradient Y is a covector whose
components in coordinate bases are the partial derivatives with
respect to the coordinates (eq. 4.4, eqg.4.5):
comp
grad = =
~
© That
~
V is a tensor has been deduced from eqg.4.3 in case of
V applied to f, but it is abstractly true, confirmed by the fact
Ox"
that the “chain rule” applied to its components 0,
oon
coincides with the covariant transformation scheme eq. 4. 16.
Vel = &0,0V
that is to say * Vi =e 0.7 4.44
0, V comes from eq.4.32. Substituting:
Vive= ccloy rel ay | 4.45
On the other hand, Y / may be written as expansion:
80
Vi =v, 4.48
Eq.4.47 represents the covariant derivative of)vector, qualifying it as
component of the tensor gradient of vector VV (=VeP )).
covariant
gradient derivative
r
W components _ oV ry"
ns eee aes ss We
SY
n derivative of
components components component
bn OV
Ox”
partial
derivative
One,
Poaceae OR Oe ne
We reserve the term “covariant derivative” to the components
which together form the “gradient tensor’:
Vie ee eee 0 le
~ => comp ; *) *)
Papal — — acs
gradient covariant partial © Christoffel
tensor derivative derivative symbol
osceconennosesveranananntannasoenin
innate gonoNeNOo
Notation
The covariant derivative of ’ withrespectto x" is symbolized
Ni aa le wok ee yu
V;
VA=V,A ee 4.54
we get:
A
V FA 0d Sees 4.55
which is equivalent to eg.4.4/ with the alternative notation:
Vi A, = As,
82
£q.4.55 represents the covariant derivative of covector and qualifies it
as a component of the tensor gradient of covector V 4 (=V@ Ay
Eq.4.55 is the analogous of eq. 4.47, which was stated for vectors.
Mnemo
To write the covariant derivative of vectors and covectors:
« we had better writing the I’ before the component, not vice versa
= 15t step:
V4 =0,474+1, or Vi Av Stay
(adjust the indexes of I’ according to those of the 1** member)
» 2" step: paste a dummy index to I’ and to the component A that
follows so as to balance the upper/ lower indexes: f
K
83
|To write the covariant derivative of tensors, forexample V, ihe
|+ after the term in ©, consider the indexes of T one by one:
|- write the first term in I as it were V,,7°, then complete T
| with its remaining indexes | : > +T).> eleeTy
| «write the second terminI asitwere V,7°, thencompleteT |
|with its remaining indexes * : > +I! +t. 7)" |
| = write the third as it were V,,7, . then complete 7 |
|_with its remaining indexes “ : > -[“ > -I% re 4
We eons. u
Vile, HU
4.60
where V.,, is for:
¢ 0. if applied to a scalar
o,+1... if applied to (a component of) a vector V
¢ 0,—I’... if applied to (a component of) a covector P
0+ various terms in I’... according to the rank of tensor T
84
~
K > = = K — K K
= IF uak
e © Cat Cpe Lats = eae rie albee ee is
This important result, less obvious than the previous one, states that
in each point of any manifold with Riemannian metric it is:
Vg=0 4.67
Likewise: Vg'=0 4.68
© It can be obtained like eq.4.66, passing through V,, g** and
0,g°° and then considering that 0,@°=—TI\.é" (eq.4.39).
The last eg.4.67, eq.4.68 are often respectively written as:
V «Sap = 0 or Sig 2
; : 4.69
and: V2 =0) (cree 8
* Vg=0 all over the space does mot mean that g is unvarying, but that it is
punctually stationary (like a function in its maximum or minimum) in each point.
86
(on the left, covariant derivative followed by raising the index; on the
right, raised index followed by covariant derivative).
° Indeed:
ee
Bk co Peay i oan T Sach ge ON as = (sigat be
=0
having used the eg.4.69.
If is thus allowed “‘to raise/lower indexes under covariant derivative”.
87
ped bess be 4.71
Lissde,
2 A
4.72
88
coordinate basis) we get:
ie Pa Zeu,oe Zu0,8 = Po Ee
rr up .==me
K 1 Ka
89
4.20 T-mosaic representation of gradient, divergence and
covariant derivative
* Gradient of scalar: Vf =
é, ee
e” er
= DN eg
SOV Viewer,
—
covariant
derivative
en en ee
— Shey
= ye aR
Se
covariant
derivative
« Gradient of tensor,
eg. g Veg = =
~rX © ~y
o vente
* Divergence of vector:
9]
5 Curved manifolds
92
parallel to itself without difficulty, so that they can be often considered
delocalized. For example, to measure the relative velocity of two
particles far apart, we may imagine to carry the vector ¥, parallel to
itself from the second particle to the first so as to make their origins
coincide in order to carry out the subtraction ¥,—7¥,
But what does it mean a parallel transport in a curved space?
In a curved space, this expression has no precise meaning. However,
Ory can think to perform a parallel transport of a vector by a step-by-
step strategy, taking advantage from the fact that in the neighborhood
of each point the space looks substantially flat.
93
the picture:
maik@
Sata
The mismatch between the initial vector and the one that returns after
the parallel transport can give a measure of the degree of curvature of
the space (this measure is fully accessible to the two-dimensional
observer @p).
To do so we must give first a more precise mathematical definition of
parallel transport of a vector along a line.
va — 5.1
dx" 2 _ comp dx"
= U'=— ic. U- in a coordinate basis.
dt
94
Of MOT
ny
oa eax cot
but, since for a scalar f partial and covariant derivatives identify, in a
coordinate base is:
d art >
a OE a Ve SV £0) 5.3
q.e.d.
Bae
aes Vif 5.5
i= Ny 5.6
rag!
* Note that along the coordinate line x’, provided + is the arc:
= ; ¢€a ear >
a = = =e = i [no sum] i
** The indication [no sum] offs the summation convention for repeated indexes in
the case.
95
® derivative of a vector along a line
In analogy with the result just found for the scalar f (eq.5.3) we define
the derivative of a vector V along a line @ with tangent vector U as
the “projection” or “component” of the gradient on the tangent
vector:
>
aA 5.7
dt
The derivative of a vector along a line is a vector, since V V isa ()
tensor. Expanding on the bases:
Eq.5.8
can be written: = _ — 5.9
=a
dVv~
5.11
A new derivative symbol has been introduced since the components of
— are not simply a , but have the more complex form eg.5./1.
« Another notation, the most widely used in practice, for the derivative
of a vector along a line is the following:
dV = Vil
>
Sxl)
dt
96
(that recalls the definition “projection of the gradient VV on U ”).
Ma i aot ee i
ta ie| Yea hie oN: Be
* The relationship between the derivative of a vector along a line and
the covariant derivative arises when the line @ is a coordinate line x’.
BY comp y
namely: We =) VV
« Comparing the two cases of derivative along a line for a scalar and a
vector we see (eg.5.6, eg.5.14) that in both cases the derivative is
designated by = = Vz , but the operator Vi has a different
meaning in the two cases:
97
5.3 T-mosaic representation of derivatives along a line
® Derivative along a line of a scalar:
(scalar)
Vi?
—-+—-
(vector)
98
Mnemo
Derivative along a line of a vector: the previous block diagram can
help recalling the right formulas.
In particular, writing VV recalls the
disposition of the symbols in the block: iM v
:
dV _wee
lie
os
(VV,U)= Ve V_ contain the sign > and are vectors
(2)Ce eat, y
: Ce U Was are scalar components
( without sign
~)
99
The parallel transport condition of V along U can be expressed by
one of the following forms:
Vea 0" (VU)= Oem, aeaye1) peas 18
all equivalent to the early definition because (eq. 5.7, eg.5.13):
5.5 Geodesics
When it happens that the tangent vector U is transported parallel to
itself along a line, the line is a geodesic.
Geodesic condition for a line is then:
dU
——
Ae = () along the line :
S19
= Indeed: (g,,U°U*)=U"V,(g.gU°U")=
= U"(g.,3U°V,U'+29,,3U° V,U°+U°U'
V 2,5) =0
because U"V,,U* = U*V_U“= 0 is the parallel transport
* The converse is not true: the constancy in magnitude of the tangent vector is not
a sufficient condition for a line to be a geodesic.
100
condition of U along the geodesic and V Sap 0 (e9.4.67).
Hence: g,,U"U*=const = g(U,U) # \UP = const Sq.e.d.
* A geodesic parameterized by a parameter T is still a geodesic when
re-parameterized * with an “affine” parameter s like s=at+bt (two
parameters are called affine if linked by a linear relationship).
" The geodesics are the “straightest possible lines” in a curved space,
and can be thought of as inertial trajectories of particles not subject to
external forces. Under these conditions a particle transports its
velocity vector parallel to itself (constant in magnitude and tangent to
the path). A curve must have precise characteristics to be a geodesic: it
must be a path that requires no acceleration. For example on a 2D
spherical surface the geodesics are the greatest circles, like the
meridians and the equator; not so the parallels: they can be traveled
only if a constant acceleration directed along the meridian is in action.
* A line may be parametrized in oot than aye way. aioe example, a parabola can
be parametrizedby x =f; y= or x=fsy=t’.
101
the spherical surface the ribbon with the various subsequent
positions taken by the vector E drawn on. In that way we
achieve a graphical representation of the evolution of the vector
E_ parallel transported along the Earth's parallel.
The steps of the procedure are explained in the figure below.
After having traveled a full circle of parallel transport on the
Earth's parallel of latitude « the vector E has undergone a
clockwise rotation by an angle = eT GO. =2tsine , from
r/tgn
og
Only for x= 0 (along the equator) we get = 0 after a turn.
2Trcosa/ 7 hg
——_—_—_—__—_»;
The trick to flatten on the plane the tape containing the trajectory
works whatever is the initial orientation of the vector you want
to parallel transport (along the “flattened” path the vector may
be moved parallel to itself even if it is out of the plane).
102
can be positive (e.g. a spherical space) or negative (hyperbolic space).
In a space with positive curvature the sum of the internal angles of a
triangle is >180 °, the ratio of circumference to diameter is < a and
two parallel lines end up with meeting each other; in a space with
negative curvature the sum of the internal angles of a triangle is
<180°, the ratio of circumference to diameter is > 2 and two parallel
lines end up to diverge.
« A space with negative curvature or hyperbolic curvature is less easily
representable than a space with positive curvature or spherical.
An intuitive approach is to imagine a thin flat metallic plate (a) that is
unevenly heated. The thermal dilatation will be greater in the points
where the higher is the temperature.
SSor
a) flat space
CLL
b) space with
positive curvature
c) space with
negative curvature
If the plate is heated more in the central part the termal dilating will be
greater at the center and the foil will sag dome-shaped (6).
103
If the plate is more heated in the periphery, the termal dilation will be
greater in the outer band and the plate will “embark” assuming a wavy
shape (c).
The simplest case of negative curvature (c) is shown, in which the
curved surface has the shape of a hyperbolic paraboloid (the form
often taken by fried potato chips!).
104
In practice, givena &,, P-dependent, it is not easy to determine if the
manifold is flat or curved: you should find a coordinate system where
all g,y= numerical constants, or exclude the possibility to find one.
* Note that in a flat manifold VI =0 due to eq.4.73.
* Due to a theorem of matrix calculus, any symmetric matrix * (such
as [Suv with constant coefficients) can be put into the canonical
form diag (+1) by means of an other appropriate matrix A .
Remind that the matrix A is related to a certain coordinate
transformation (it is not the transformation, but it comes down!). In
fact, to reduce the metric to canonical form, we have to apply a
coordinate transformation to the manifold so that (the transposed
inverse of) its Jacobian matrix A‘, makes the metric canonical:
ANGS = Sarpn= diag (+1) 5.24
For a flat space, being the metric independent of the point, the matrix
A holds globally, for the manifold as a whole. Hence, a flat
manifold admits a coordinate system in which the metric tensor at
each point has the canonical form
|Suv] = diag (+1) 5.25
which can be achieved by a proper matrix A valid for the whole
manifold.
This property can be taken as a definition of flatness:
Is flat a manifold that admits a coordinate system where 8, can
| be everywhere expressed in canonical form diag (+1)
In particular, if |Suv =diag(+1) the manifold is the Euclidean
space; if |g,,]=diag(+1) with a single -1 the manifold is a
Minkowski space. The occurrences of +1 and —1 in the main diagonal,
or their sum called “signature”, is a characteristic of the given space:
transforming the coordinates the various +1 and —1 can interchange
their places on the diagonal but do not change in number (Sylvester's
theorem).
Hereafter by 1,, we will refer to the canonical metric diag(+1),
regardless of the number of +1 and —1 in the main diagonal.
Conversely, for curved manifolds there is no coordinate system in
105
which the metric tensor has the canonical form diag (+1) on the whole
manifold. Only punctually we can do this: given any point P , we can
turn the metric to the canonical form in this point by means of a
certain matrix A , but that works only for that point (as well as the
coordinate transformation from which it comes). The coordinate
transformation that has led to the matrix A good for P does not work
for all other points of the manifold: to put the metric into canonical
form here too, you have to use other transformations and other
matrices.
106
The above equation is merely a Taylor series expansion around the
point P , missing of the first order term (x* — xf) ae: (P) because
Che
x
the first derivative is supposed to be null in P.
We explicitly observe that the neighborhood of P containing P’
belongs to the manifold, not to the tangent space. On the other hand
Nuy 1s the (global) flat metric of the tangent space in P .
Roughly, the theorem means that the space is locally flat in the
neighborhood of each point and there it can be confused with the
tangent space to less than a second-order infinitesimal.
The analogy is with the Earth's surface, that can be considered locally
flat in the neighborhood of every point.
« The proof of the theorem is a semi-constructive one: it can be shown
that there is a coordinate transformation whose related matrix makes
the metric canonical in P with all its first derivatives null; then we'll
try to rebuild the coordinate transformation and its related matrix (or
at least the initial terms of the series expansions of its inverse).
We report here a scheme of proof.
= Given a manifold with a coordinate system x° and a point P in it
we transform to new coordinates x“’ to take the metric into canonical
form in P with zero first derivatives.
At any point P’ of the P-neighborhood it is:
(P) a xh ey (P) +
Syrvi(P’) sm Bur
1 cy’
+(x" ry hrvaesnst ke wate eter ere) Tee 5.8
107
0
ASA®,g9(P'!) = ASAP gag(P) +(x”
—20") (AS
AL 245)(P) +
; |
x”
+ Ghar ee
Ne
EG
OxXe se
olan
Now let's equal order by order the right terms of eg.5.28 and eq.5.29:
Cc. rE
III) Dinpaiey ONT Ee) Na (AD AY Zag) (P) Dow
ox’ Ox
Hereafter all terms are calculated in P and for that we omit this
specification below.
« _ 0 une
Recalling that A, = aHL and carrying out the derivatives of product
x
we get:
ox* ox?
I ‘Sip = Se oya3
) &u Ox Ox eh
ox eee oo 4 Ox ex.
[pots Ox Ox 0K: oa Ox Po ae ox" ee
‘en 5.34
= Ce Ox
IIT) SE RO apres S35
ox” oxox" Ox”
The right side members of these equations contain terms suchas Sx¢,y°
108
(We'll see that just the derivatives of various order of old coordinates
with respect to new ones allow us to rebuild the matrix A related to
the transformation and the transformation itself.)
* Now let's perform the counting of equations and unknowns for the
case n = 4, the most interesting for General Relativity.
The equations are counted by the left side members of I, Il, III ; the
unknowns by the right side members of them.
* It is a matter of combinations (in the case of 4 items) with repeats, different for at
least one element.
109
We have thus shown that, for a generic point P , by assigning
appropriate values to the derivatives of various order, it is possible to
get (more than) a metric 8,-,, such that in this point:
° Say =Ny , the metric of flat manifold
* all its first derivatives are null: V g,.\.,y,=0
* some second derivatives are nonzero: 4 some g,,,,, 1,4 9
* This metric 1... with zero first derivatives and second derivatives
not all zero characterizes the flat local system in P (but the manifold
itself is curved because of the nonzero second derivatives).
The metric 1... with zero first and second derivatives is instead that
of the tangent space in P (which is a space everywhere flat). The flat
local metric of the manifold and that of the tangent space coincide in
P and (the metric being stationary) even in its neighborhood except for
a difference of infinitesimals of higher order.
* Finally, we note that, having calculated or assigned appropriate
values to the derivatives of various order of old coordinates with
respect to the new ones, we can reconstruct the series expansions of
the (inverse) transformation of coordinates x*(x"') and the elements
of the matrix Aj, (transposed inverse of A). Indeed, in their series
expansions in terms of new coordinates x" around P
X ! (ey « we "0 ik
3% (och) =i ee LP ae, (P) +(x? =x) (P)
iY
ee ce (er
2 : tS Bina
Set SSSoA,
PAT Ko
DS es ee 2 ee SIRS, =
Ox vise ne boo
UE ss en 34 ; an
ox" ( : Pe ox
ee
2 i
ee© ee
ax” oxox"
only derivatives of old coordinates with respect to the new ones
appear as coefficients. —
110
Once known its inverse, the direct transformation x(x") and the
related matrix A =| A? | that induce the canonical metric in P are in
principle implicitly determined, q.e.d.
* It is worth noting that also in the flat local system the strategy
“comma goes to semicolon” is applicable. Indeed, eg.4.73 ensures that
even in the flat local system is VI =0 and therefore covariant
derivatives V,, and ordinary derivatives 6, coincide.
* The loop ABCDA/in always closes: in fact it lies on the surface or “hypersurface”
in which the n-2 not involved coordinates are constant.
111
(of course, the construction could be repeated using all possible
couples of coordinates with «,B = 1,2,...7 ).
Tangent to the coordinates are the basis-vectors @.,@ 3 , coordinated
(0. xx
= dV _
The parallel transport of V requires that ina 0 or, component-
wise U°V,.V*=0 (eg.5.13), which along a segment of coordinate
line x* reduces to V,V" =0 (eg.5.15). But:
Va StS = — = Tl, a 36
Xx x
AB: V*(B) = ae ee Ax
BC: V*(c) =V(B)-(TaV*| ac) Ax
CD: VD) = Vile)+ ae Weekes
Are AMC Na Aue) ela A esyypee
(in the last two segments Ax“, Ax° are negative in sign). Summing:
112
Sereda os allel (ied ave
(in the last step we have used once again the theorem of the
finite increase; now we mean the two terms in |..) be calculated
in an intermediate point between (BC) and (DA) and in an
intermediate point between (4B) and (CD) respectively, dropping
to indicate it)
male
= (Tae? +I,eeeax Ax? + fear: AxPAx*
he
A
: OV
and reusing the result oo Be V eg 536):
x
Sly ah ne a At ae ey EY ny Ax Ax
Using as dummy index instead of ) in the 18‘ and 3"¢ term:
Se
Buse
Dl ® Nx Aineaay1Dgen Se
xu,
We al Nt aoc
=ViAx*Ax(-Ty +P rh +ry, .-Te.T
a)
Weconclude:
BENGE
A edeBU,get
om
earl eal leas.
Re
5.38
BBO
RR’...HBox must be a tensor because the other factors are tensors as well as
AV~. Its rank is (3) for the rank balancing: GI)
Set:
A
Rees lp v gl atl v ed epee lela 5.39
v de v v
we can write:
MAVEN okay 5.40
that is:
AV(P)=R(P,V Ax, A x) 5.41
113
INURE AETING ST
Naa Tien 5.42
It is tacitly supposed a passage to the limit for Ax*,Ax’>0: R
and its components are related to the point P at which the infinitesimal
loop degenerates.
R=Ripeee é°e* | the Riemann tensor, expresses the “propor-
tionality constant” Beracen the change undergone by a parallel
transported vector along an (infinitesimal) loop and the area of the
loop, and contains the whole information about the curvature. In
general it depends upon the point: R = R(P) .
If R=0 from eq.5.4/ it follows AV =0 = the vector V overlaps
itself after the parallel transport along the infinitesimal loop around
the point P = the manifold is flat at that point. Hence:
R(P)=0 = manifold flatin P
If that applies globally the manifold is everywhere flat.
If R # 0 in P ,the manifold is curved in that point, although it is
possible to define a local flat system in P .
* R is a function of IF and its first derivatives (eq.5.39), namely of g
and its first and second derivatives (see eq.4.73).
* In the flat local coordinate system where g assumes the canonical
form with zero first derivatives, R depends only on the second
derivatives of g. Let us clarify now this dependence.
Because in each point of the manifold in its flat local system is
VI =0 , the definition eg.5.39 given for Ris,HBO reduces to:
Re aa eaee ee 5.43
* That is equivalent to R applied to an incomplete list. Completing the list gives
eq. 5.41.
Eq.5.40 is eq.5.42 componentwise.
From eq.4.73 that gives the I’ as functions of g and their derivatives
Wh A ae ‘ Oy
P= 78 (= Spuo+Sue,e+80,u) and since 38 [=0me
v Spat Vora
Rise 53§ ( SETS NR A ea
1 vp
TZ 8 ee ee ee,
aaah VIO
= ine eater ee Sew oak
that is true in each point of the manifold in its respective flat local
system (but vot in general).
© Jt is worth noting that the eg.5.44 is no longer valid in a generic
system because it is not a tensor equation: outside the flat local
system we need to retrieve the last two terms in I'I from
eq.5.39. Therefore in a generic coordinate system it is:
Balt! nee h
| ee Ae Peo ae ce ee AUR Tle
5.45
Mnemo
To write down i enone in the local flat system (eg.5.44) the “Pascal
snail” can be used as a mnemonic aid to suggest the pairs of the
indexes before the comma:
~ —_ sing age
4ie
a p Uv
IF Eee xi Sey,
115
"In R,s,, it is usual to identify two pairs of indexes: R eB py
TM
pair pair
116
5.12 Bianchi identity
It 's another relation linking the covariant first derivatives of R aBUY :
R ABUV SA
ale aBVAsH Pe aBApsyv = 0 5.50
117
B
Benes Rayy ees
% > R,,=0
o
rs ae amt pets
Soll!
eau 6
rv
R ypu Rouy Ry,
pS = > => R=,
aX
Rivas Roag = Ry.
There are other similar cases and they still give as result 0 or Rg,
different in sign. +R, is then the only significant result of the
various possible contractions.
We define Ricci tensor the (3) tensor with components:
R,.,= contraction of R aBuv with respect to 1“ and 3“index 5.52
« Caution should be exercised when contracting Riemann tensor. After
defined Ricci tensor Rg, (taken of course with a positive sign) as
contraction of Ry», on indexes 1 and 3, to all other possible
contractions a sign is assigned as a consequence.
By the symmetries of ,3,, and using schemes like eg.5.5/ we see:
* have sign + the results of contraction on indexes 1-3 or 1-4
* have sign — the results of contraction on indexers 1-4 or 2-3
(while contractions on indexes 1-2 or 3-4 have 0 as result)
«The tensor Rs, is symmetric (see eg.5.5/).
« By further contraction of the Ricci tensor we get the Ricci scalar R :
*gZBy e
118
Ss (Ree Reeve aes =0
By u A
& LK ares BvAsu PR oS 0
The first term contracts again; the 2" and 3" term differ for a dummy
index and are in fact the same:
Ra —2Ri,, =0 5.54
that, thanks to the identity (2R,—6,R),, =2Ry,,-R,, , may be
written as:
(2 RX 8° R),, = 0 5.55
This expression or its equivalent eg.5.54 are sometimes called twice
contracted Bianchi identities.
Operating a further rising of the indexes:
g™(2R,—8, R),, = 0
then Oe en=0
that, since 6°" = g’" (eq.2.46), gives:
(OR eR) 0
[Rete] ail 5.56
We define Einstein tensor the (3) tensor G whose components are: *
* Nothing to do, of course, with the “dual switch” earlier denoted by the same
symbol!
119
Gu def R= ag" R
G is our last stop. What's all that for? Blending physics and mathematics
with an overdose of intuition, one day of a hundred years ago Einstein
wrote:
Gran
anticipating, according to some, a theory of the Third Millennium to the
twentieth century. This equation expresses a direct proportionality
between the content of matter-energy represented by the “stress-energy-
momentum” tensor T — a generalization in the Minkowski space-time of
the stress tensor — and the curvature of space expressed by G (it was to
ensure the conservation of energy and momentum that Einstein needed a
zero divergence tensor like G). In a sense, T belongs to the realm of
physics, while G is matter of mathematics: that maths we have toyed with
so far. Compatibility with the Newton's gravitation law allows to give a
value to the constant « and write down the ‘undamental equation of
General Relativity in the usual form:
Gr = ke jie
c
May be curious to note in the margin as, in this equation defining the fate
of the Universe, beside fundamental constants such as the gravitational
constant G and the light speed c, peeps out the ineffable z, which seems
to claim in that manner its key role in the architecture of the world,
although no one seems to make a great account of that (those who think
of this observation as trivial try to imagine a Universe in which 7 is, yes, a
constant, but different from 3.14 ....).
120
Appendix
1 - Transformation of 1 under coordinate change
We explicit T, from eq.4.30 lee, =0,é, by (scalar) multiplying
both members by é*:
A ~K >
te (ey, € ) a (Oe), e")
—————
5
Diy =(t,€,0€
Now let us operate a coordinate change x*—>x° (and coordinate
bases, too) and express the right member in the new frame:
Diy = (Cun)
es |
Ox 6 ia
e.) , Ne ) (chain rule on x“ )
-|ai ap
O
a! 0 Bl = K ~y!
= —(A; e,,), Ave
Ox " Ox
De
ie
Milas ae) APCee Te
Oe Pu m ABraye’ v
The first term would describe a tensor transform, but the additional
term leads to a different law and confirms that I’, is not a tensor.
121
2 - Transformation of covariant derivative under coordinate change
To Sar
let's apply a coordinate change x°—x* and express the right
member in the new coordinate frame:
ae a
= etAS .V’')+(transformation of T)A‘,V°
ox"
+ 0% AX —(A‘,)+
al, Kk oVY a0
y
Bn a
ls
k
oeuw eal= (Ne
y’)
B! OX ORS Ew cee
+A, ve ANS Ter ke Va ee 0 hea
Ox ox" Ox
a’ kK y* Daye () Oat
— aN A ' A (PS eer
ee one Pie Ox
Oa lee
tAS ALDVE +S
OF ON ACK
kK
eeSe os a
OX. .0x7 Ox
A ue Ox 6 ox"
* Recaliian Ape oe 82. = =88;
Ox” Ox” Ox
122
=At Ay VitAY AL T2.,.V* +terms in 0
SN ed V*’)+ terms in 0°
Ox ex" Ox Ox
= -
i ox" Ox Ox™ Ox™ Ox" Ox"
ee eee
On the other hand: —> - = 0,,=0 _,,hence:
@ae Ose Ox
123
124
PROBLEMS
Warnings
125
xXx=0 sing cosO
y=p sing sin®O
Z=P cos>
Too=—P sin 9
Re ress
a= =P
6 6
Lol o=p
8 6
Papa ea coré
® :
=— sing cos >
126
Problem 1
In 2D Cartesian plane show that, after arbitrarily chosen any two
(non-aligned) vectors as basis of vectors, you can express any other
vector as a linear combination on this basis.
Let's choose as basis of vectors @,=(2,1) , &,=(-1,3) *
and express e.g. on that basis the vector V =(3,—2):
V= Ee yi+ é, ya
Problem 2
Given the basis of plane vectors é,=(2,1) , te i,
ie find the dual
basis of covectors.
pleat oy go(-l 2
Ha(F.5) , Bala 9)
As a verification we see that the duality condition is satisfied:
* We will use a notation such as a “n-tuple” (a,b,...) for both vectors and covectors,
without any reference to the matrix representation by rows and column that is sometimes
used, We mean as product of two n-tuples the sum of the products of the ordered pairs, 1.e.:
(a,b,...)*(m,n,...)=am+bn+.., The mark * stands for scalar or inner product (not to
be confused with the usual multiplication mark °).
127
Problem 3
Is it coherent taking in 3D space:
e2900 tore =e 0 meme (0 iO, 1) as basis-covectors and
(@ é,)= 0,0,1)+(0,0,1) =1
The two given basis are thus dual (though other choices would be allowed).
In any case, the more obvious choice would be to take:
= (1 Oa eees | Onl O)eeee = (On0n1)
2, = 1 0n0nrcr—= (Opie Oe 2. (OP0ah
Problem 4
Given the vectors A, B find the components of AoB .
128
A“B® are thus the components of A@B_ which can be written as:
AeB= 4B €,@, or =A® Bee Kee
In T-mosaic metaphor the result is forthwith displayed.
Problem 5
A'B. AR? a3 AB AB AB
In general: A@B = Ueptin epe|, SO in3D: A@B =| 4B! AB? A?B?
AL Ba boa ACRE
It's easy to realize that the tensor BeA= BA°é,é, is the transposed of
A®B. Inthis particular instance:
_|BA BA |_[-1-2--1-1]_[-2 -1
Oy Ea de a Ne ae li eS
129
a) From the definition of ® we can write:
AeB(M,N)=A(M) B(N)=A°M,-B°N,=
=(A'M,+4’M,)(B'N,+
B’N,) =[2-1+1(—4)][-1-0+3(-3)]=
=[-2][-9]=18
~ ~
while the 2°? member A( M) B( N) can be drawn as:
Both ways lead to the same end result (as obvious: the rules imposed to
T-mosaic are functional to this algebra).
The diagrams show how 4B differs from Bed: exchanging
A with B has the effect of exchanging the connections with 17, N.
130
>
c) A@B(N,M)=A(N) B(M)=4°N, BN by
+ A’N,)(B'M,+ B’M,) =[2-0+ 1(—3)][-1-1+3(—4)]=
Problem 7 _
Clarify the meanings of the scriptures:
a) &*(V)
eas
a) =(0,0,..1,..)*(V', V7,... V%,...) = V" = a-component of V.
2Te aS
(0,0,..1,..) is astring of 0s, with a single 1 in the place a).
ay
131
b) Writing 5°(V) is improper; to apply the Kronecker 6 to the vector
V the correct writing is:
SI 8 Vs On Vato ay
no sum
Problem 8
Given in a 3D space the tensor: T= ip &,&3e°& with pee =atBtutv
a) find its contraction on indexes B ,u and the further contraction of the
oO
result T,
b) study the symmetries of these two tensors
132
Problem9
Remark:
These two results are identical: the tensor inner product vector-tensor is
thus commutative (as well as commutative are scalar or dot products
vector vector , vector*covector and covector+covector).
* Tt is worth noting that this is the same logic for which the (heterogeneous) scalar product
between covectors and vectors reduces to a sequence of products between the various @
and @ with the same index, inasmuch products between @ and @ with different index
are null.
133
Note that both equivalent products T- V and V-T have the same, common
representation in T-mosaic that corresponds to the single existing connection
mode and that the result is univocal and can be “read” in only one way:
>
ay) a
= Ill
4
®R
Ny Ill
Problem 10
Given the tensors A=2é,2'—é,2—5x@,2'+x°2,6°+72,e° ,
BH=xe'e'+2yP e+ Or+408
and the covector P=3é'—22+2xé@ , compute:
a) P-A
b) B-A
c) discuss the execution of the products in matrix form.
As in the previous problem we will carry out internal products as products of
polynomials:
a) pee eee a &-5xé,8' +x 2,8 +72,e°)=
= 3é'+(22,2'-€, 2-5 x é,é'+x°6,8 +726") —
— 26° +(22,2'-2,2’-5x
68! +x°E,6°+728,e°)+
+2xé°+(2e\2'-€.6°_-5x &6'+x°6,87+72,6°)=
and we go on writing non-zero products only, i.e. those
containing pairs like é'+é,, or é+é, , or &’+é, , whose
value is 5; = 5; = 53=
~1 > + >a ~2 > > ~ ~ >
= 3é'-(2é é'-€ 2°)—2é +(—5xé,6'+x°,é")+2xé**(72,e°)=
~ +6 wl > 3 ~2 > ~ ~~ ~ +n
= 36'26 é'-32'-€ 2 +26 5x E,6'—2670x72,0°+2 xe 72,0°=
= 66'—3é°+ 10xé'—2x°6? +148" =
=(6+10x)é'-2x°é?-(3-14xJe’
134
b) B-A is a case of ambiguous writing, as is immediately clear in the
T-mosaic representation: is inner product (= connection) on &* or on 85?
* As arule, in the matrix M/“; the 1* index (a) is the row index; the 2" (f) is the column
index (1% and 2" are counted from left to right, regardless of the position up/down).
135
In the case @ the product [B,,]-[A",] on B-p requires to be executed to
insert a “dummy” Y in place of B and y; rewritten as [B,,]:|4”,] it can be
indeed executed as matrix product and results in:
x 0 Sue Mreesl 2x O85
0 2y 1 |:|-—5x x? 0 |=|—10xy 2x*?y 7
0 0 4x Oc On, 0 QO 28x
B A
In the case & a complication arises: the inner product on a-u, rewritten with
the dummy Y in place of a and u takes the form |By,|:[4”,] , which is not
a suitable form for matrix product. Instead, a proper form would be
[Bs,][A”,]. that presents the dummy indexes Y properly faced in a
median position; we get this form by transposing the matrix of B (i.e. swap-
ping rows and columns). Then, in the product it will take place, instead of B,
its transposed B? : i:
a () 2 0-1 DEX OQ -x
0 2y 0 }}=5x x? 0 |=|-10xy 2x7y 0
OW ahs YO @ 4 GC So
B? 4
« With regard to the product P+A, its form rewritten with the dummy
y: P,-[A”,] is suited to matrix product provided Py is a row vector: *
2 0-1
[3 -2 2x]-|-Sx x? 0 |=[6+10x -2x? -3+14x]
Pp: Oy Gr
A
These are some examples of small complications which the matrix calculus,
although often most quick, introduces. If you are not careful about how the
indexes face it is easy to incur in blunders.
Problem 11
Is tensor inner product commutative? Discuss the case of the products
between tensors A and B where: A=, A,=-2, A,=3, Aj==1
1 12
B'=2, B’=4, B'=—-5, B’=-3
* This doesn't depend upon Pa being a covector: as a counterexample we note that the op-
eration A+P (ie. [A",]P.. rewritten [A”,|P,, then transposed to [A,”]-P,),
which leads to the same result, requires to consider Pa acolumn vector.
136
Tensors are of the type: A =A &.é° and B=B"Y &, &, , whose T-mosaic
blocks are:
The writing A-B is ambiguous and may stand for 2 different products,
performed on indexes (= connectors) B-u rather than B-v. Similarly B-A
may be 2 different products, depending upon which indexes are involved.
Let's look to the two different products as well as their commutated:
® products A+B and B-A by indexes f-n,
® products A+B and B-A by indexes B-v.
(read AB )
“| (read BA)
The T-mosaic representation is unique for A°-B and B-A (the distinction
between the two cases is entrusted to the order of reading the result)
—
B
bi,
Be
cley a e,c, Seah aC
Instead of writing tensors as polynomials and multiply them term by term as
in previous problems, let us compute directly the components by means of
the expression for C“’ written above:
C= 4° B*” namely C*’= AB + ASB’. that gives:
137
C'= A,B +A,Bo =1-2+(-
C= 4B? + Alp” =1-44(-
= BR. se
Bev e=g = OC éce Be
AAO eA Cas
rahe Bred. namely C’*=B'* eee Bs leads to:
|C'=B"
A,+ BY A,=2-1+(-5)(—2
JCP=B" Ait BY A,=2:3+(—5 Ie
C"=BY A\+ BA, =4-1+(-3 iy
C”°=BY A+B” 45=43+(-3 Ne
which is to say: Cae ioe. Mee ee eels
® A-B and B-A byindexes -v:
(here too, the T-mosaic representation is unique, no matter the order of the
factors that however must be recovered in the order we read the result)
a (read B—A)
“| (read AB)
138
[CM Sh pele? a2 4+(—2)
45 46
ie Bee 1(—5)+(-2)(-3)=1
i = A,B + A,B =3-2+(-1)4=2
(GSA Beer BS 3(- 5) =1)(=3) 10
as to say: C=é,é,(-6)+ 22,+é,é,2 + &2,(-12)
« With regard to its “commuted” B-A :
BY 6,é,°Ag 2 = BY Ape, 6,+6,2° = BY’ ASE OE, =
>
a 4 2
8
=x uB ya> — & uas> => up ya ViKow
wa Bb A,erew=C ee BA, =C. 3
Q
astosay : C=2,é,(—6)+
22,2 + 2, + é,2,(-12)
The tensor inner product between the given tensors turn out to be not com-
mutative, but it is except for a transposition. In general, except the cases of
symmetric tensors, any possible inner product between tensors of rank r=2
is not commutative, although it is commutative apart from a transposition.
Remark:
It has been seen that, against a single T-mosaic representation for the two
“commuted” products A-B and B-A (case of “tensor ¢ tensor” inner
products that give two results different by a transposition), the algebraic
transcription of the result depends on the order how you read the T-mosaic
sketch. The distinction between the two cases is kept reading and Jisting the
survivor free connectors always starting from the first operand.
Problem 12
Given a 2D symmetrical tensor ranked (7) A= Aue: é, with
A=] A’ =2 A'=2 Wraa3
139
a) Named B the inverse tensor, to have A*B=I with | identity tensor,
it must be in terms of components: *
A“°B,,=8) namely 4° B,+A™ B,,=8°, expanded
to:
Av B,,+A"B,,=6, 1B, +2-B,,=1
A Boel B=, 1-B,,+2-B,,=0
HieBilge Dics
1 SLE TE — Oh rs 2-B,,+(—3)B,,=0
7 =
Problem 13
Find out the inverses of the tensors (*) represented by the matrices:
atte Oil.
a) a-|! 1 b) A=iz
Och ries pias
1 A @: A-| ali’ A=! 1
As in the previous problem the condition “B inverse of A” leads to the
system of equations 4°°B,,=8% , ie: **
(A Bg A Bo=8,=1
A BAB i=
AGB. tA Be 1
\A" B, +A” B,,=d,=1
2
140
b) By,=0, By,=1,By,=1, B,=0 = i
1
i is self-inverse too.
c) B,,=0 > B,,=1 ’ By, =1 ’ aa a7 Ulan of | ; s i 2
d) for 4'=4"=4"=4”"=] the system becomes:
(By + B,=1
| B+ B,,=0
| But Bz,=0
(By
+By=1
This system has no solution (the 1* equation contradicts the 2"! and the 3"
: el ee: :
contradicts the 4") => i i does not admit inverse. Remind that the
inverse matrix [B,,]=B does not exist when, as now, det[A*’]=0 .
Problem 14
iQ) BD
Using as “dual switch” the symmetrical tensor G = O =2 Il
ee sh 8
a) find the dual switched covector of the vector V =(2,-3,-1 )
b) after setabasis of vectors {é,,é@,,@,| with @,=(1,1,0), ¢@,=(1,0,2),
2,=(0 AO) 1), find out the dual basis of covectors and...
c) compare it with the “dual switched” of the basis vectors
d) determine the dual switch G that transforms the basis |é ip ey, €5, Paro
its dual {é ,é°, &}.
> wl w~2 3
141
b) Let's denote the basis covectors dual of €,=(1, 1,0), ea ORo Ne
é,=(0,0,1) by:
B=(a,b,c), ’=(d,e,f), &=(1,m,n)
and impose the duality condition to get their components:
ee =l 11,0) *aeboc\=1 Gip=
| E82=0 1,1,0)+(d,e, as d+e=0
2-2 =0 1,1,0)*(7,m,n)= 1+m=0
é,-2 =0 1.022) (a,b. e)\= at2c=0
ee = = (1,0,2)-(d,e, j= > Jdt2f=
é,+2 =0 1,0,2)+(7, m,n) = 1+2n=0
é,-2'=0 0,0,1)*(a,b,c)= c=0
é,-2 =0 0,0,1)+(d,e ip f=0
é,-e=1 0,0,1)*(2,m,n) =1 n=1
Solution of the system are:
a=0, b=1,c=0, d=1, e=—-1, f=0 ,J=-2 , m=2 , n=1 ,thus:
= Os Ce ON ee NY
c) The switching operated on the eee of vectors by G does not lead in
general to the basis of covectors {é',é°,2°| ; applying G to basis vectors:
es sav ~U Ses u
G-2,=G,,22)+
uv
@,=G,,2"5,=G,,2
yelds:
[Sea
> ~ ml
+G,,@+G,,@=12
m2 ~3 ~l
+0-8+2-2
wie ~3
= mw 1 +2éme)
ex Es <u Sen Ae Plena ay: Py. eB se naes
G22 Go = Gut iG,,e + Gye =0°e t(—2)-e vs €=-22 +é
' > po wll we ~3
\G-é,=G,,2"=G,,8+G,,8 + G,,8=2-841-243-2=228'+ +32
mel Ps ee)
and using for @ ,@ ,@ the respective components from point (b):
(G-é,
=2'+22 =(0,1,0)+2(-2,
2,1) =(—4,5, 2)
1G-é,=-28
+@ =—-2(1,-1,0)+(-2,2,1)
=(-4, 4,1)
\G-é, =28'+2°+32 =2(0,1,0)+(1,-1,0)+3(—2,2, 1)=(—5,7,3)
So, the “dual switched” of basis vector @,,@,,@, achieved through G are
in general covectors different from the basis covectors achieved by applying
the duality condition....
142
sing the expansions for G-+é, , etc. from the previous point:
Problem 15
Considering tensors ranked (°)
2 and (*)
a) determine whether you can raise / lower indexes in pairs in such a way
that is T°? =T ap © Dy which metrics, for which classes of tensors?”
b) is it correct to say that T° and Tg are a couple of inverse?
143
tensor T°? into Ty,=T° (Gust imposing 7,,=T"', Ty»=T', etc. in the
system and solving with respect to g,,, 2), etc.), but it only works for
that tensor. However, there are chances that a particular class of metrics
transforms a certain class of tensors so that is T.,=T “® for all tensors of
that class.
For instance, if the metrics is diagonal (g,.=g,,=0) the system reduces to:
ee Cap Sah
Ty =8y8nT
Tie Me
(Ty = 8n Sn ies
Problem 16
144
The transformation is linear (the equation of new coordinates as a function
of old ones are of 1* degree); the system takes the form:
Bt
x
B ne)
=a, xX
where a’ are the numerical coefficients that appear in the two equations.
For the given transformation they are:
G21 = .
4, =)
1 oe
a, ales a; =
The origins of both new and old coordinates coincide: for
(x, y)=(0,0) we have (x’, y’)=(0,0). New axes x’, y’ are rotated with
respect to the old ones, are no longer orthogonal to each other and change
their “graduation”. ©
The new abscissa axis x’ is obtained from the second equation by setting
y'=0 = x—y=0,ie. x=y; the new ordinate axis y’ is obtained from
the first for x'=0 > 2x+y=0,1e. y=—-2x.
The drawing displays the new and old axes; numbers written near to the
intersections of the grid of the old coordinates are the new coordinates of
some points of the plan; for example, (0, 3) are the new coordinates of the
point whose old coordinates were (1, —2).
a) The point P (1,2) does not move but takes the new coordinates:
kN a Pia =|)
y'=1-2
b) The vector V does not transform: what transforms are its components
that take different values in the new reference (x’, y’).
145
Let's write the transformation VN Vas = a‘‘V" where a’
are the same coefficients of the transformation of coordinates.* We get:
he =a, V't+a,V
c
ill el 1?s,2
2:1+1-2=4
V
Die
=a,
Qe 1
74a,
Be 2
1-1+(-1)-2 =-1
The vector V is thus expressed in the new coordinates as V=(4,—1).
As can be seen from the drawing, 4 and —1 are the projections of the vector
on new axes x’, y’ (that is, its components).
It is important to note that, under coordinate transformation, neither the
points of space, nor the vectors (or tensor) change: the elements of the “land-
scape” remain fixed and only the componentwise description changes; what
changes is the superimposed coordinate lattice that is a new one and, accord-
ing to it, the numbers that express the position of the points. Accordingly
change the components of the vectors.
Problem 17
A plane coordinate transformation having matrix A operates the following
transformation on the basis of covectors:
At) Beil eeeee:
CSC aie
4 4
Bo [eet vores
é =--@+—é
4 4
Ca"_|V¥3/4
ena1/4]. is the matrix A (a’ row index,
where [A* ]=| ‘
:
r8column ;
.
index).
The transformation does not act on vectors, but transforms the components
in the same way of the bases of covectors, ie with the same matrix:
146
b) The basis of vectors transforms by inverse matrix, which is:
ae =| 4 see eeerayareWA WdaBa—t lela.
: i V3 =1/4 7/3/44 1 AZ|) 10st
after made a transposition of the matrix itself.
In fact, the transformation of the basis-vectors is:
2
1! @,=(V3)é,+1-2,=V36,+é,
2
2" @,=(-1)é,+(V3)é,=-é, +V3é,
Note that the two above equations are equivalent to the matrix form:
é,)_|Aw Ap
é,} [Al A2,
where the transposed of the inverse matrix (Aq ae is effective:
Ay. A (9 \
AoA
2! weak
; ; ’ x=pcos 0
The (inverse) transformation p,@ — x,y is defined by y=psin®
We'll use as equivalent the notations:
vex y=x p=x 4e=x i=é, “j=é,
The transformation x? > x" expressed by the matrix A
Ox ur sox:
Ao, =
0x ; nd
ox 6x
P a Oxy Ox
Ci hae ae
in this particular case takes the form:
je
oe
op
or
06] _ |cos® —p sin®O
Br oy oy sin8 pcos0
0p 0
b) To compute the basis covectors we need the inverse matrix. This can be
calculated by inverting the matrix ee or directly from the (inverse)
transformation of coordinates x,y — p,0:
[ p=Vx?+ y? xV=y(x' P+(x?)
y that is es x?
| 8=arcig x = arcig~T
148
B' 1 2 ar
as hac Jey
es
ae Ox
ES i Ox
ie Ox 08 06
on ON. Ox Oy
y
a \e+y ay a ak iy
= Sie) eos
eae x 1) 0
ye ey
Finally:
z : male asl ee
oh je =e e'+A, a ies coe cos 0+ € sin®
a ee De ii AY pp) a ad GHD) 4 AB COS)
le =A, € +A, é ala’ Daeg re 0
c) The point P is located on the straight line from the origin inclined of 60°,
where cos@=1/2 and sin@=V3/2; in P(1,V3) itis p=V17+(v3)=2.
«In P, for what is already known from step (a), the basis of vectors is:
> =2 || =3
a Pe ip
ye
PL ys (EER VARY Ss
: V=n V'+A,V? [y= 34 3
and in P(1,V3) , where cos0=1/2, sin= V3 /2 i=! veihis:
} DD 2
V rhea ri V3)
149
Problem 19
Given in the plane x,y the vector field V =(—x,-y), examine how it
transform by applying the following transformation of coordinates:
ee a) fae : oo) et
yl=xty 0=arctg(y/x) yl=ytl
d) what can we deduce about the fact that the “radius vector” or position
vector F is a tensor or not?
y & (x,y)
The given vector field is the set of
vectors defined in any generic point
of the plane P(x,y) ranging from
P to the origin of axes O (0,0).
For each of the three transformation xox let's transform the components
of V=(V4,7?) by VPaAL yea Ds
Oty’, taking Vi=—x , Py.
a) The transformation is linear.
entvendt!y-
' '
Ox
a
c) year yeu ya
t ' B'
Ox
(neaning a°=xjyre x" =x", vy")
a » a : fa) 7 =
d) Notice that the vector V( —x,—y) coincides, except for the sign, with the
position vector 7(x,y) * In fact, the behavior of 7 under coordinate
transformation is indicative of the behavior (tensorial or not) of the position
vector 7.
We observe here that, while in all three cases the components of 7 (really
of V) were (intentionally) transformed like a tensor, it remains to under-
stand whether what has been produced can be still considered the position
vector 7. It will be so in the cases where we will have found to be still
V*'=—x' V"=—y"', and only then we can say that 7 behaves as a tensor
in these cases. Using this criterion means to request that the components of
7 transform as the coordinates.
« In the case of linear transformation (a) the criterion is met. The matrix A
which transforms the vector components (among which 7) is the same that
transforms the coordinates (See note to problem 17). Since 7 behaves as a
tensor under linear transformation it is by definition a Cartesian tensor.
« In the transformation (b) into polar, while the coordinates of P transform
(x, y)(p,0), components of 7 transform (x, y)(p,0), that is unlike
the coordinates. While in Cartesian ix+jy gives the position of P,
polar ee o+é,-0 does not identify the position of P (but rather a Acie .
radius p). The criterion is not satisfied: the vector 7 does not transform as a
tensor, then it is not.
« The transformation (c) does not match the criterion: the components of 7
* Notice that 7(x,y) outgoing from O(0,0) can't be defined a vector field; on the
contrary, itis 7 (—x,—y) outgoing from P(x,y).
151
and the coordinates transform in a different way and in the new coordinates
does not preserve its meaning of position vector. Notice that coordinate y U
moves its 0 and that a 0 no more exist for coordinate x’, so that an origin
(0,0) from which the vector 7 comes out does not exist.
In the end the position vector 7 does not transform as a tensor except under
linear transformation: then it is not a tensor, but a Cartesian tensor only.
Problem 20
Consider a transformation of coordinates from a Cartesian system x, y, Z, ...
into another generic system of coordinates x“ with a'=1,2,3,...
Show that basis vectors can be expressed at each point of the new reference
ido is
as = ye =e, where Yr is the position vector of the point in the Cartesian
4¢ oa
reference.
Moving from the old system x? to the new x“ the basis vectors transform
. > B -—
according to the usual: é@,,= ING ee -
For example, for a’=1:
ad l= hg oy es
Cin Ey IN negated
NytEy Fa —
REOXr 0 eC ae
i oa
=r (ixtjytkz+..) =
152
Problem 21
ae 2 2
In a 3D Cartesian system the equation sae + x He a =1 represents an
Ce cee
ellipsoid with semiaxes a, b, c lying on the axes x, y, z. Show that operating
a rotation of the axes the equation of the ellipsoid can be written in the new
BH ag Peps 5
coordinates X inthe form ajy4/X" x*'=1, where the double index para-
meter Ay: is a Cartesian tensor.
a’ b c
or, performing the summations for repeated indexes:
Ve [
ae "
ek SANZ| +
Uke
pee
tik,
Depo!
hak
ey OW
2
a b
i i SF SHIN!
(hee ope aes ps
4 oe aa]
€
Developing the squares:
' ' ' ' t ' ' ' git
1
i Pal 2 x? P+ (Al?
3 P+2h)
1 x" hyx?
2 +2h)
ale x! hyx? +2h,x°
2 hyx
3 G
2
a
ar uv
eh M
Pt ND.
thxPES AWx
ole aghs
tlh,x hyx + 2hIIS
pia d y!
xAehee
er a 5
Te a hxSa
SED+2h,x
ae Re ed
xLe hyx
Ch
yxaaee +2h
ee
xlego:
eh
ieee! f {
PUG x?
PEOSTEEN P+(hi
nL HiTeF+(hix
iN.
2 EE +2h
Se
id le Se el eh
2
or (going by “columns”’):
x
virXxX (AL) i? (AP ae a {Aa? ea)? ,(ae
a b c a b eee
c
ee eed SS
Sq! SCAB
153
Wee
Biro
6
Siar mlPw
2
priory Ca
are 3 2 2 2
FL lcs
===D 2
a b Cc b
BSes ey Sie Le od 2 eee ek Se
= 3131 =A 19
PD et ye hh Nh de, a 5 snl|
as1 reves1 He, iene
3 73 OT Be? By eps)
(a
b E b G
2S a a rn wees ele aero) Le see cl
=Gy131 = p13
The various terms in parentheses contain only constants whose value
depends on the coordinates of arrival; they have been referred to as
A141 Gy and so on, taking into account the coordinates of arrival which
they are related to (for example a,,,, is only related to coordinates
x ex” ). The various terms can be collected in the matrix:
Matrix elements that do not appear in the calculation above can be obtained
by symmetry: the symmetry of terms of the last 3 parentheses with respect to
their indexes (e.g. @,,;,=4@,1., because exchanging 1’ with 2’ in the second
parenthesis above the result is the same) and the presence of coefficients 2 in
the development allow to “split in half’ the non-diagonal terms giving to
each an unit coefficient in order to symmetrise them with respect to the
diagonal itself (e.g. term 2a,,,,.x'
x* can be split into two symmetrical
(emu onxae andaa,,., 7 x: ).
« The equation of the ellipsoid can then be written in the new coordinates in
simplified form as Bae ee = In general, in any coordinate system
obtained by linear transformation of the Cartesian system the form:
Aaupxx =1
represents an ellipsoid.
« Let's verify that the various a,, are components of a tensor. To decide on
this we apply to the general equation of the ellipsoid a linear transformation
of coordinates x*—x" replacing x° =k; x" :
Ta Xo —Uye hax ke Sta, k ik, ks ene
To find in the new coordinates the same equation of the ellipsoid as stated
above, it has been necessary to identify a,, kage with a,,, and this
means that 4, transforms as a Cartesian tensor, and so it is.
154
Problem 22
Switch from the Cartesian plane (x,y) to a reference (®,,0) that locates
each point P of the plane by the angles formed by two rays coming out from
two fixed points H, K of the x-axis as shown:
Sy
Je
8, O 8; es
Fos ee ee EET
a
Determine:
a) the transformation of coordinates from (x,y) to (@), 62)
b) the basis vectors in the new coordinates
c) the Euclidean metric tensor in the new coordinates
a) Instead of (8;, 82) we will use the respective tangents, that is the angular
coefficients of the straight lines from Hand K: m,=tg0, , m,=tg0,. *
The coordinate transformation ensues by expressing the coordinates x,y of
the cross point of the rays as a function of m,,m, (in place of 8;, 82).
To do that intersect the two bundles of straight lines outgoing from H and K:
« bundle of straight lines from H:
y=mxtq for (5,0) = 0=m,>+9 = q=-m> = y=m,x—m, Nw|s
* intersection point:
requiring
q g m,x—m,2=m,x+m,~
mM, ta 2 29 we get.
get: pee)
2 m,—m,
; ‘ ; : mM)
that, inserted into the equation of y gives: eae
1 2
155
(| ee Aes whose elements are:
m,,M, Oy Oy
om, om,
Se
Coe Gh iG ay
5 =-q
My,
om 2 (m,—m,) (m,—m,)
Ox a M—M,+M
TM, _ m
om, 2 m,— My)” (m,—m,)
OV a m,(m,—m,)— mm, tae (m;)
om 2 (m,—m,) (m,—m,)
Oy _ a m,(m,—m,)+ mm, _ (m,)
om, 2 (m,—m,) (mm, —m,)’
b) basis vectors:
é&, =A}, é,+A3,
&= —4*— (-im,-j
mj) =é,, ;
(Oh (m,—m,)
as shown:
—a/2 ta/2
Notice that aes lies on the coordinate line m,=const (i.e. 8,=const),
while em, lies on the coordinate line m,=const (i.e. 8,=const).
156
c) the metric tensor in the new coordinates can be computed applying the
transformation A to the Euclidean metric £ag= diag (+1)
Problem 23
Let two vectors V,W be defined at a point P of a 3D Euclidean space.
Verify that the definition of oe product between vectors given via the
metric tensor V+W= Sap Vw? is equivalent to the definition usually given
in Vector Analysis V+W=|V\\W| cos, 0 being the angle between vectors.
Two vectors outgoing from a point identify a plane in space (3D or n-
dimensional). Without loss of generality we can set in this plane a Cartesian
reference oriented in such a way that an axis (for example x’) coincides in
direction with one of the vectors:
157
The general definition of scalar product (homogeneous) between vectors
VW=2,0 Wag,V W+e VW +e.V W tevWV
in a Euclidean-Cartesian reference where 2.,= ; reduces to:
VW=V'Witvew
But, having oriented the axes as in figure, it turn out to be:
V'=|V| , V?=0 and z
W'=|W\cosp (W' isthe projectionof W on V) ,
andthen: V+W=|V||W|coso ,q.e.d.
Problem 24
In a 2D Cartesian reference the vectors U=(0,1) and V =(3,4) are
defined in a point P(2, 2).
a) determine the angle between the two vectors
b) verify that the measure of the angle does not depend upon the location of
the vectors, whatever reference is used.
cosh = sues that comes from the basic definition of scalar product of
IOI |
vectors that is given in Vector Analysis.
a) In Cartesian coordinates we write the vectors:
U=j , V=3i+4j
Under Euclidean-Cartesian metric g = diag(+1) we can use the traditional
methods of calculation of Vector Analysis:
UV = ]-(37+47)=4
7l=l71=1
PY anise as
158
eareee. A
and finally: cos =
Notice we
eRe are iia ee
fo ht eg
Ox
ate
Ox
fe‘ Re
Oy
1
Ness eyi
eee
bu
where x , y are the coordinates of the point P (2,2), that we don't substitute
now hoping they will elide before reaching the final result (that we would
just show to be independent of the point P).
: ; int ib @
Recalling that in polar coordinates it is Zag = i J , we calculate:
IB,
——"
—_——;
wy Pa)eeeoal meee op meme ney PC EA es 5
Vxe+y? p x+y? \ ty? x+y?
Note that passing from Cartesian to polar coordinates all values of coso
and U+V ,|U|, || remain unchanged, regardless of the point P in which
vectors are defined (here too the coordinates of P have not been requested).
The invariance of the vectors under translation is indeed a characteristic of
Euclidean space, and does not depend on the coordinate system.
Problem 25 |
For a transformation from Cartesian coordinates (x,y,z) to spherical
coordinates (p,o,0) ina 3D space compute:
a) the matrix of transformation A ed express in the new reference system:
b) the basis vectors
c) the connection coefficients (or Christoffel symbols)
d) the line element
e) the metric tensor and its conjugate
160
Cee oh ox ox Ox
Ox EP Ox ap
0p 06 00
Oe g Ox Ox 2
Ox I lty ey 0 y'|_
ax Ox. Hx": 1 ox” ep o> 30]
Oe te tx | |ez @2 bz
Ox 0x Ox p o> 00
bis ees
6 a
=
Ses en Sesbe ets yee ees
= bias 5,OIE Obie
SU IIS DSS a NT RIS alg On od ag) Sm
Oe > =4 =>
= cos cos0i + cos sin®j— sindk= xe
° = 5 ae ils
82, =- sino
— .
sin®8i + sing cos) j= pee
0g, + ~ ee BINS
* = cos cos0 i +cosg sin® j—singk = Fé,
>
= —psing cos 01—psino sin’ j—pcosok = =e,
161
|06
Q Las}
load
=—pcosdo sindit pcos cos 0 j =cotgo @&
Oe, . . a a oo i as
Fis =—sino sin8i+singcos0j = pe
Oe, as ae os
ae: =—pcoso sinBi+pcosg cos 0 j = cotg @,
Mo =-psino cos 8i-psing sin®j =—0 sin o &,— SiN cos> &,
ae eae | ae
Tp=0 eae ee
ye. cast Ope Oe
Dye p Dye 0 ee
De 0" OLecon
]
Poo= Too= leo=p
162
meridian and by p sin dé along the parallel. The three displacements are
perpendicular and thus the Euclidean definition of the line element ds leads
to:
ds’ =(dp)
+(p do) +(p sino dey
e) The expression of the Euclidean metric tensor in spherical coordinates can
be obtained by applying (twice) to the Cartesian metric tensor diag (+1) the
transformation matrix A, but can also be immediately obtained from the line
element ds. The bilinear form of ds? written above corresponds in fact to:
1 @ 0
g =[g.8]= 0 p° 0
Oo 0’sin’
Since the matrix is diagonal, the conjugate metric tensor is:
, : 1 0 0
gr=[g |=|0° 1/p 0
0 0 1/p' sin’
Problem 26
Deduce from the metric the connection coefficients for polar coordinates of
the plane (p,@) .
The connection coefficients or Christoffel symbols I are expressed in term
of metric tensor and its derivatives by the relation (eg. 4.73):
K 1 «xa
Pup= 58 Peta eae Sar)
163
8.s,.. With a #B are all zero since all non diagonal 8,, are zero.
ian) nab : op
The conclusion is that the only derivative #9 is: g5. = a = 2p
Let's compute now the I from the relation mentioned at the beginning:
K 1 KQ@
Pip= 58 ee ee ere
1
ie he Ths 8+ 8n)=0 |
Ip 7§ (+9001) as 1 1 ~t 1
| [2 —— 22 37hee =—-—_ 20 =—
12 2 22,1 2 ae ie)
Ti=5 8
K Kee (+gn,) = (|38 aboveby the symmetry ) r=r,=1
B)
Problem 27
For the plane in polar coordinates:
a) compute the gradient of the basis vectors
b) deduce the Christoffel coefficients of connection
a) In plane polar coordinates (p,0) the basis vectors are (see Problem 18):
=i cos0+j sin
&,=—i p sind+jp cos®
Since the gradient has the n partial derivatives of the vector (eg.4.5/) as
vector components, we compute first these derivatives:
cae
op
0 es roa 9 + = ‘ i=
59 = 1 SING +jcos® =Feg
164
= —i sin6+ jcos 6 - 6,
— = ~a> Ha
Vée=eeaT uy;
whence, summing on dummies a,A and giving to v one after the other the
values 9,0. we get:
aes
Vé,=e22,1h,t+ &é.,,+ &&,15,t+ € 14, which, compared with
as ~p=> ~p > 6 ~8= 6 . .
7 a0 => . .
Vie e lt en jute! 2, ans as ete et already known, implies:
r=0
ene 1-0
oe 1-0
Bs r=4
6 _1 and similarly:y
Problem28
Verify that for the plane in polar coordinates (9,8) the gradient of the
metric is null: Vg=0 (property of “covariant constancy”, eg.4.67).
Remind that this property is quite general and holds for all Riemann spaces.
Let's verify it directly in the particular case proposed.
165
: bd item)
In polar coordinates of the plane it is: (ga)=|4 z and the only
V,2 uv a & u
Dy .Sox= 0-0-0 =0
Vo Epp Sop,p Loic
Remark:
The equation Vg=0_ that has proven to be true in polar coordinates, as a
tensor equation holds in any other coordinate system of the same space too;
that the same is true in any Riemann space depends instead on the fact that it
expresses a general property of these spaces.
166
Problem29 _
Given a plane vector field V=wru (with w tangential unit vector, normal
to radius ¥ from the origin O), determine for the vector ¥:
a) the derivatives of components, the gradient and the covariant derivatives
b) the divergence of vector V
c) give a kinematic interpretation for velocity and acceleration
d) verify that the gradient of vector grad V is a tensor.
#=0 , =p thatis B= op
being @,=w the unit vector along the tangential @ direction and ? the
related “physical” components.
We remark that @)# @): the unit vector @) does not coincide with the
basis-vector of polar coordinates, which is not a unit vector (as it is not in
general, except for Cartesian coordinates). In other words @@ does not
belong to the coordinate basis.
>
pe Od : :
Keeping in mind that @.= 5 x8 * where x” are the coordinates in the
x
actual reference and 7 the position vector in a Cartesian reference, we can
CU (for the 8 direction, the only one of interest):
i peeps epee para
é,= ait jy)
56
ee =p
167
>
£6
Since , Sel we can express V in terms of the basis-vectors: *
8
= op— = op = Weg
lee]
Notice that, having changed the basis-vectors, the components, in particular
v®, change: the correct expression of the field ¥ in coordinate bases is:
> => 5 ) 8
V=@Mé, thatis v=0, v=o
= Covariant derivatives:
Remind =) Vvere oy—lcy iy vec, (eq.4.44, 4.45)
* The factors |é,,| relating @, and @, are sometimes called “scale factors”; they also
relate the tensorial components V“ with the “physical” components of the vector
(which are always referred to unit vectors).
168
which can be written in matrix form:
Wane vo] 0 |
—po 0
Notice that this is the gradient of the vector, not the gradient of the scalar
v =wp. (The latter, from an elementary point of view, can here be
dv°
understood as rive In a more formal way one arrives to the same
b) Divergence
deve Voi = Vio =Viv Vey =040=0
a result that implies the absence of sources of the field ¥ (whose lines of
force are in fact closed lines, in this case circles).
Remark:
In turn, the vector field ¥ = wp & can be derived as the gradient of a scalar
field. A similar case will be treated in the problem 35.
* We are speaking about the vectorial components (the rows of the matrix Vi ); the
scalar components are the covariant derivatives (the elements of the matrix).
169
>
; » ay
The acceleration defined by - has as components the covariant
derivatives along the line: *
TZ
" a APCS
d(ipcoswt+
OFFjp sinwt
JPSNOT) +
- _F56 é
sinont + >,Fp cost
whence v* =—pw sinot=-Wy , v= pwcoswt=wx
and the covariant derivatives, scalar components of tensor grad (VI =0):
Ox
Vee ov =
2 ==) ve=|-w °|
0
y oy
7 OW
ee)
Vv, oy J
* tis the line to which ¥ is‘tangent, that is the circumference whose parametric equations
are p=cost ;9=wt in polar coordinates.
170
It is straightforwardto get the acceleration a # o BS = (eq.5.10)
t t
erp ae Vive
2a Dvy* fie!) x iG
Vv x +vV x v=
x
0+ = 2
pwcosut
« Let's check that the two forms of the gradient of vector V¥% found in polar
and in Cartesian transform tensor-like one in the other: we'll do it starting
from polar form of V,.v° and transforming it into the Cartesian Wie
VP = Viv AGN
(let «,B denote the polar p,6 , while w’,v’ stand for Cartesian x’, y’)
w Op Oy! OO Oy a se iilal Ne s
—wp— — = = cos80 pcos8-w sind=
Daneel peiete. | Pt cara!
=cos’0+wsin
0=0
Vv"
= Vv AS, Ag =VivPAP As + VeavPAy Ag =
=V>vVAC AS EY pv Agi AG Eaveu NN edie AS .AS=
mr ote = =p
17H
oo=V BAX
Vy vw VASAy =ViviAl
AZ — BAP AgAy’ + Ver BAO
Ay RAR
ADta=
(pea
|
oP =e FY" «sing
Ab =
Oy’ Oy!
Ke cos8 sinO
y") \
a(
AS comp qe
pa
a
u tuk oe
A® Seton SO yrs eSsin®
; roe
F eked Ox!
3 de
| WO (Aa cos8
em Oe Na ene p
2
( 0x dlpcose
Ay =A = =cos0
op op
6
=p sind
i 0 u to) co.
Bo m =
| :
, comp
. [Ay] ms co wed
Ag >
sind pcos0
[e e
oa dp +4 ys ES
UL = sin
The matrices AS| and [Ap] are (as expected) inverse to each other.
* In matrix terms we should compute: Vor ey TIV v8] [Ay’ that is:
0 w]_|cos@ —sin6/p 0 w/p|| cosd sinO
-o 0 sind cos6/p||-pw 0 —psind pcosé
172
Problem 30
Find, provided they exist, the transformations of coordinates that transform
the metric from g,,, into Sq1g: inthe two cases:
“l= 0 1 0
y 2..| 0 / fi er=|q a
10) 1 0
S111 Sieh, Si
a) fOr) 25 — hs has
ax! } |e }
i ne = lS | or Il
814 (2 Ox!
Ox! 2 Ox? 2
K Ox Ox
ae
x a
x ee)
equations that, after integrated, give the respective solutions:
173
xi=x' +f(x’ )t+a > x =V2x' +¢9(x)+b
x=V2x7 t+h(x')te 3; x =x +1(x')t+d *
which can be summarized in the following two:
[xt=x''t \2x’ +a
se V2 x?
(putting h(x')=x" , f(x?)=V2 x’, a=c it is possible to identify the
two expressions for x!; putting g(x’ )=x" , I(x')=V2 x’, b=d can be
identified the two for x?)
They are valid (linear) transformation that, once inverted, give the desired
transformation x" x" able to transform the metric: 8,7 Sarg: .
b) For g,,=—1l ., g,,=1 the same procedure leads to (note the different
sign in the second equation):
174
sh
Notice that in this case det] A‘,,]= =
42 V2
Recall that (Sylvester theorem) there are no coordinate transformations able
to change the signature of the metric, for example, to switch from an
Euclidean space into a Minkowski space. Only transformations that leave the
signature unchanged as in the case (a) are possible.
Problem 31
Assess whether the two 2D metrics defined by the following arc lengths are
Euclidean:
l
a ds*=
os i
b) dst = ple!) +(e?)
x
[Zap]= (x?
se) fare).
peas,
Suv’
A l
Ore
Sap
0
at
Bag= Ny Ag Syryr = Ag Ag
(g,,,. is the unit matrix and can be unmentioned).
Noticing that the two matrices denoted by A are actually the same matrix it
can be guessed that A is the “square root” of 8,, » so that:
7]
x
ial
Ilyfe
Cece
Aye sy ul
soe x 1! = logx 1 si fie)
yt 2 + a
ia
5 =0 Ve Reoae
whose respective
alae
5
2 solutions are:
2 =h(x2)+e
;
oe =1 Reece eos ed
ae
The second two equation for x” are compatibles and satisfied if:
hix\=x"7, I(x )=0, e=d jsothat x =x*te..
Hence the required transformation of coordinates is:
=
lite loge a
|\ x?’ =x’+e
able to carry the metric g,,,,= diag(+1) into the given form 2,,, which
is thus Euclidean, according to our initial hypothesis.
1
0
b) It correspond to: [g.,]=| (x?)
OF
1
; ; ey wp
01 s
erie 5 See
176
CEs l i’ x 2;
Ox! x? x = + f(x) ta
Ox!
ee aw yay es +b
Ox" whose respective g(x!)
xe solutions are:
al =() x* =h(x?)+c
ox" ' 5
ae N= l (x ea
This time the system is impossible because the first two equations are
mutually incompatible and can not be reduced to the same form (in
x'' = g(x')+b there is no place for x2, as the first equation requires).
There is then no coordinate transformation x*—>x" such that its Jacobian
matrix J=A transform the Euclidean-Cartesian diag (+1) into the given
Sas », Which is therefore a non-Euclidean metric. *
Problem 32
For a 3D space in cylindrical coordinates (p,9,z) :
a) compute the coefficients of connection T
b) compute the Riemann curvature tensor
c) argue the intrinsic / extrinsic curvature of the cylindrical surface.
The (inverse) transformation of coordinates from Cartesian to cylindrical is:
Z
x=pcos0
y=psin6
jen
x p
The line element and the metric in the news coordinates are:
il O @
ds’=(dp)’+(pd0)+(adz) > gy=|0 p’ 0
ORO
a) Since the coefficients IT are in number of 7° (in this case 27), most of
them null, we need an appropriate strategy to calculate the significant ones.
* Do not confuse the coordinate transformation with the matrix of its partial derivatives A, or
Jacobian matrix of the transformation (which operates the transformation on the vectors,
not on the coordinates!). Only a linear transformation coincides with its Jacobian matrix A.
177
The coefficients T are related to the derivatives of the metric by the relation:
K 1 xa
Die 8 fae Sen Seu (eq.4.73)
It is clear that for the given metric the only derivative # 0 is 8, » that is
Zo0o=2P ; there are 3 cases:
¢ if 66,9=up,a the 1“ derivative is=2p and the other two are =0; it must be
k=a to get g**40, and since a=p, then g*“=g® that means «=p; thus:
Tio =48"(-20)=-p
1
* This situation, which here occurs in a particular 3D case, is typical of any 2D space, where
the indexes 1, 2 can build only four non-zero R, only one of which independent: in 2D it
178
symmetry:
Ron2=— Riaz =— Raa = Ri (all others are certainly null).
In order to find R,,,.=Rgoo9 » let's compute first:
8 8
Rosa P89 = Bis et Dy yo— Ae lee
=-1/p
Se l
=
Ot a
6
lg8 eral glee hea
p eae
=| om
=-4-0+0+4-0-0=0
p p
to get then Ro,o9 - For that we must lower the first index:
Raguy= SayRpuv= ek eek Bad oie = in this case:
S|
Reise Bay Bane = ikei Bes PRS ERS aeacy,
ds?=(pd0)+
2 2 (dz)?
2 > al o 04
The only coordinates are now (6, z) : respect to them all derivatives
&..6 © 8..,, arenull = all TYga0 = all Rey =O >
the space is flat, devoid of eects curvature”. *
179
Therefore the cylindrical surface has null intrinsic curvature: notice that in
fact triangles drawn on the cylindrical surface have the sum of the interior
angles = 180° (and that the Gauss curvature of a cylindrical surface is zero).
Problem 33 _
Given a spherical surface with radius p=a compute and discuss both from
a point of view extrinsic (O03) and intrinsic (Ox):
a) the metric tensor
b) the basis vectors
c) the representation of vectors defined at points of the spherical surface
d) the Christoffel coefficients
e) the Riemann tensor
J) the Ricci tensor and scalar
(x =a sino cos 8
|
see sing sin®
Z=a cos
“rolled” as that of a cylinder is not curved, unlike a “domed” surface that is non-
developable in a plane. In facts, the distinction between curvature of space and curvature
of a surface vanishes only when the surface itself is the space (intrinsic point of view), but
is critical when considering surfaces “embedded” in a space (extrinsic point view).
180
An observer (2p will be able to deduce the same “reduced” metric after
realizing that its 2D Space is a spherical surface. In detail he will operate as
follows: he will discover that always moving in the same direction, whatever
it is, he is back to the starting point; measuring the distance traveled he will
be able to determine a ; he could then fix a stake in a point that he will take
as “North Pole”, and draw a network of meridians and parallels to express
the coordinates 0, 0.
b) 3p can define at any point of the spherical surface vectors directed in any
direction and, forexample, describe its components in terms of the Cartesian
vectors-based 7, ye k .
Even limiting to tangent vectors to the surface, @3p will describe them in
terms of 7,7, k © Or else @p can define a suitable system of basis vectors
é, , €, which describe the vectors tangent to the surface. For this class of
tangent vectors, by coordinate transformation from Cartesian to spherical, he
will write down the basis vectors as:
&=Ale= AZ UN gros Opt 10 ey jae zk=
= a(cos cos@i+coso sin® j—sing k)
and get once again the components of the spherical metric reduced in 2D,
“amputated” of the coordinate p).
Oxy will be able to define on his spherical surface only vectors tangent
to the surface itself, describing its components by a system of basis
vectors SINS to the surface.
For @p both 7 ; ie k and the expressions for e, ; e, have no meaning. O2
may instead define in every point basis vectors eC , @, tangent respectively
to the meridian and to the parallel, namely a coordinate basis defined as:
me def Meee ed =
dx2dx é.=d é,tdd e,
Since dx is the vector infinitesimal displacement on spherical surface, it's:
dx=é,ado
+ é,a sin6d6
(é,,@, are unit vectors in direction of &,, &, but, unlike these, have unit
length). Comparing the two expressions for dx ©2p will be able to define
his basis of vectors:
181]
On spherical surface:
é, wherever constant
*y é, depending on @
Cet V bea vector defined in a point of the spherical surface and tangent
to it; for example let V=2e,+3@,, defined on the surface at a point P
whose coordinates are 6=7/3 (=60°) , 9=72/4 (=45°). Both Oxy and @3p can
agree about this definition. *
(sp can express V in3D onbasis {7,7,4} or in 2D on basis (ese an
the latter case he must compute @ ae é, in P and then the components able
to piece together on this basis the vector V whose “physical” components
are 2 and 3. Starting from the already known @, , @, the steps are:
2, = a(coso cos8i+cossin® j—sing k)
& = a(—sing sin®
i+ sing cos0/)
ae Ie ie A. A
ly
° OTe “GID, 2 4 4 5
é,= V3. N23, v3V2 ay Gee ae
mo) De 4 4
whose lengths are (remind here that 2.4, = @,° @):
ee, = 2, 1Pl a > lé,|= a
2
* On the definition of a unit length both @25 and (sp can agree giving a common measure to
a; that allows a concordance also on unit vectors @, , @,.
182
In that way ©3p will come to write the vector V as:
>
V(p)=28,+38,=2
2 +3 2 =2%043_%
le a
On the other hand @y will feature the same vector V on his own basis
LORCA & knowing that é,=ae, , €g=asing é, , as follows:
ee e é en Ray are
(P) = 224
ViP\= 2é,+ 3é, 3e.—=2
. 43 Fern
=] —= —(2 oT
+=. é,)
=/3/2
hp =e
K 1 KGa
1 1]
=> Pease" (0+ Con +0Q)== 2a’ sindcosh =cotgo
2 a’sin’o
=2a’sind cosh
an
a Sadak thatis au,B=80,0 => k=a=0 =
= f= 1 = cos}
183
Rio = Roi =~ Ryn = ~ Raia (1=0 ,2=6) .
However, the symmetries of soa are not the same of Ree smtO: take
advantage from these latter we go on by steps as follows:
© we compute only one Race , for instance:
o 6 % @ pa oka arya
Rego =(—Tp0,0 + Veag ~ Po, Dee Vaal oo) =
ae)
A?) 2
=sin ~—cos
a 2 > yo > We % no
Ser sin = Como tat Wel oa— lig laa Leg® lga
pO
=
——
_=singcos
igo
me 2 ee
=0 + (sin —cos’) +0 +0—-0+cos >= sin o
Not all components of R are zero, so the space “spherical surface 2D” is not
flat, from the intrinsic point of view of Oz , but curved.
The relationship between R and the curvature « of the space is in general
complex, but in the 2D case simplifies to:
Dien),
2
= Aun = hee eee sin
ge OE Baet
det(gue) det{ gag] a*-a’sin’o a?
Hence 2p finds a positive curvature for his space.
* This value is the same as for the Gauss curvature of a spherical surface of radius a.
184
f) = Ricci tensor
We get it by contraction of Riemann tensor Re , on 1* and 3" index:
ar uw Ae:' 1 ?)
Key = Rei = BeiytReoy >
aT). OMe
Ryo =a Root Rooe ae
———
=i
— pd Oz
Ryo = Ryoot Ro oe = 9
— pe Gh) tes
Reo a Roget Roo =0
_ poe splay eae
Reg = Reoe + Roge
= Sin’
=sin’
* Ricci scalar
Remark:
In the “extrinsic” vision of O3p ,at each point P the basis vectors tangents to
the meridian and to the parallel @, ,@, lie in a plane tangent to the sphere in
P . Oxy does not “see” this plan that extends outside his space, but finds that
his (curved) space is locally flat at the point P (because vectors @, ,@, are
>
Problem 34
185
defined at the point P (3,4)
; aeek (=f
c) compute the absolute derivative along the parametric line es (t-1)
at point P and discuss its analogy with the directional derivative.
where, in this case, x'=x , x*=y and a’ takes the values p,0 :
2 + oy
SK? Ouo&35
O,=ApQ.= x7 36
oy OF
186
Q, = cos0:2x + sin@-2 y= cos8:2pcos0 + sin8-2p sin®@ =2p
QO, =—psin®-2x + pcos8-2y =—psinO:2pcos0 + pcos8:2psin0 =0
and then we get once again as components of Q the same values directly
found in polar coordinates for V ff: indeed V Ff behaves as a covariant
tensor (") under coordinate transformation.
ee 5 ~ Sa ees! De Al
Vie = ey | ee —+ oe
f \ : ry v5 i 15 aS
> 44
23 + ——==22
cps in
whic h P (3,4) tak es
the value V+ f*v(P) ===
oy f (7) v5 V5 V5
c) The given parametric line is the straight line y=2x-—2 (as we can see
by eliminating the parameter ¢ from the two parametric equations). This
straight line passes through the point P (3,4) and has the same direction of
the vector V =i+2/7.
The derivative of f along the t-parametrized line is:
187
The line reparametrized with the arc length s = tV5_ is expressed as:
S 2
—— 5 a ii
: i ; it's easy to note that the derivative along the line <<
ay =2(=-1
(5
parametrized with the arc length s coincides with the directional derivative.
Problem 35
After defined in an Euclidean 3D space a scalar potential function y
“Newton-Coulomb-like” expressed in spherical coordinates by p=—5 ;
determine:
a) the gradient of yw
b) the gradient of the vector grad y
188
Voi Oe eaeTe, FeTiP ston ceppill aidBh®
= oF =e267=—
)2 3
=i) Fi =Fe=() :
(terms in F° and F® are left out in the following since
=0)
Voi? =0,F*+1%,
o_ 7°S=0
=0
Voi? = 0,F+
[:Reese cs)
18,F°=0
8 p=
=0
1, F°=0
V,F°=0,F°+
=0
Visite Op hse Vy FP io)
Lglk3
p
=1/p
V,F Ora=0,F 6 + Ty
6
f== 0
=0
Vor =0,F°t+ Ty, F= 0
=0
k
Vere =0,F°+ Ty, Fe= ers
k Oe
= =0°
=1/p
Ope
Assembling the non-null components the grad turn out to be:
Problem 36
189
uw ; ,
pees dx"
dx" _ dx" dx" _ ALU"
dt Ox" dt m
|
L
4Zz
=U
s (that is 9 = - 6 = const-® that can be obtained by eliminating
the parameter).
Notice that in this case f is not the arc length (maybe the time).
The vector U tangent to the curve has components:
A yo — 40 —
= “2 that is a
U§ =— =
dt
ae U*=& = keoswt-ktsinoto
Ur =<. . thatis 4
CF =a =ksinwtt+ktcoswt-w
Now we can see that the same result arises by transforming the components
U®, U® as tensor components:
U™ =AYU" =A" UP + Agus = ae yeu that is:
(u*=<2u? + Su"
AS . it is to say:
C—O
0 Che)
} U* Be
= cos0:k—psinO-w = kcoswt—kt sinwt-o q.e.d.
_U* =sinO-k+pcos8-w=ksinwt+ktcosmt-w
190
Problem 37 _
Given in IR° a surface of equation z= x+ We and on it a line £ whose
projection on the x, y plane is the straight line % passing through the origin
with parametric equations x =at, y=bt . Determine:
a) the tangent vector to the curve £
b) the derivative of the vector V =i(x—y)+j2+k(x’—y’) along the line €
x=at
The complete parametric equations of the line @ are: {/y=br
z=attb?t
(the 3“ obtained by substitution of 1* and 2" into the equation of the surface).
The intersections of the surface with
vertical planes are parabolas with the
concavity upwards, except for y = 0; in
this case, the intersection is a straight
line inclined 45 ° to the plane x, z.
The surface is thus a “gutter” inclined
at 45°, having parabolic sections with
the vertexes of the parabolas aligned
on the bisector of the plane x, z.
a) The tangent vector to the line @ is:
ee ye ee Sg Ne ee
dt dt t dt
Vat sey
so that:
191
Knowing grad V, the derivative of the vector along the line é can be
calculated directly as:
Problem 38
A particle describe on the surface of a cylinder with radius p an helical path
xX =pcosot
whose parametric equation are: \ y=psinot
z=ht
(t is the time). Compute and argue about the physical meaning of:
a) the vector tangent to the path
b) the derivative along the line (or “absolute”’) of the tangent vector itself
c) derive a tensorial expression for the acceleration
d) Is the helical path a geodesic?
ax
Uf rF
SS = wpsij nwt=
t= wy
=
a) Calepc
y >
, a
a= Wp cos Ol = 0x ‘ ;
is equivalent
to:
U*=mez,
\ dt sk
* Inner products like i+? or j+j are = 1. Terms like 7-j(eg.ij+j... or ijck...) are
null and will be not even written.
192
provided V is the tangent vector U itself, is particularized in Cartesian
coordinates as: *
Ce
ea TUTee = dU* ali - oe Ue dU”
dion Wel A a x Uruné, di. ¥
a, 2
di =—w' pcos wt
DU*_ dU’ sats Wire
dt dt - nae =—-w psinwt or:
ave
|dt =a
OU aU ds dU dU ~
ied? weds i +" j +" k=—io pcoswt—jo psinot
dU ae, (|Serer ae
:
and in length: i) = 4 sin wt =’
wp’cos’wt+w'p’
: d Nees
It's easy to realize that a has the meaning of an acceleration; indeed, it is
known from Kinematics that for a motion like that:
Summary:
: ; : : du
® in a Cartesian reference has been identified the vectors U, dy Tespect-
ively with velocity and acceleration (since the parameter f is time).
= aU
wien are invariant in form in any other reference since tensors and
their physical meaning is independent of the reference system adopted.
© have thus general validity in any other reference the associations:
193
x =pcos0 ; = constant
y=psin@ = parametric equation of the helix: {9 =qr
ie Zab
Py
= =
7 =—
ap = : OenGU
= Re
— ec = Or =f)
ECE GS ey © i dt
that is U=é,wt+éh and jo|=V0-0 =/g,,U"U =
L078
and since [%,y|=|0 p°0
SOPiet8 |
=VU°U? + UU? + UU = V0 + pw +h =
== Ni N acted
which coincides with velocity found in Cartesian coordinates.
[resem (bene
| at dt
a 2 aD Cee Oi os
Le.e, 7
— Fee — oy é, 0+0
+Q+0=—-— pore,
c) From previous point we get soon the tensor expressions of v , da for the
motion along a trajectory X(t) (t = time):
194
= comp ¥:
zt GX rey dx
dt dt
which is the differential equation (or rather, the system of differential equa-
tions) of geodesics.
The cylindrical helix is thus, from a point of view intrinsic to a 2D space
“cylindrical surface”, a geodesic, that is the shortest line * that joins any two
points.
Note the deduction: null acceleration = geodesic path.
* Or the longest one. Let's consider two points near each other on the cylindrical surface: the
short branch of helix joining them is the shortest path, but there is also another helix
joining them “after one tour” along the cylindrical surface. This is the longest path (except
the chance of multiple revolutions!).
195
Problem 39°
We know that only 21> 82 are #0 and asa consequence only g"', Pacis
; l = 2 :
respectively go =—=e, g’=1. We thus consider only the cases:
uB=22 ee
Fae ae EoD
KOE oes Dig=58 (ao ee eae name =
Ne pee dx" 5 zu
aed
ds? vO
do
he
as UA ds ds . pee s dares
\ ds? "Ads ds
196
(in 1* equation it must be uA=11 to
have I’ 0; in the 2" no one is # 0)
Ma ed xia x!
es =2 impun
ds elie.
ds ae =i
on [E+ Wh (eie
pUF=0
(-*=0 =
lds
(marked with a bar above ~ the derivatives whit respect to the arc s).
The system is separable and its solutions are the parametric equations: *
|x'= 2 In|s—k,|+ k,
[x= k,s +k,
or, writing for convenience x=x', y=x*:
rc
|x =2In|s—k,|+k,
| yak s+k,
We eliminate the parameter extracting s from the second to substitute it the
first. After aggregated and renamed the various constants ** we get:
y=ae*l*+b
which is the equation of geodesics. The indeterminate constants ae b are to
be precised as a function of initial and final points.
Problem 40
In an Euclidean 3D space a vector V is parallel transported on a cyl-
0 = cost
indrical surface along a line € having parametric equations 8=or
[z=2 (4)
2 A ; ay ‘ —1 é 3
* To solve the 1* differential equation, it is convenient to set ¥ =Z and rewrite it as
z+ >z2=() which is of the first order with separable variables, thus easy to solve:
197
a) Determine how the components of
the vector V°,V®,V* vary
b) Verify the invariance in length of the
vector under parallel transport
c) What does it change when the cyl-
indrical surface itself is a 2D space?
In this reference:
10 0 eee = 0? » §3= 1
Sag=|0 p O| = #0 are only: gla] ; gual, ei
O20 1 |
| 822 ip
and the only coefficients [ #0 are:
Ty,=—p ? Motes
Keep in mind that the coordinate p is constant on the cylindrical surface.
The condition of parallel transport for a generic vector V_ is (eg.5.8, eg.5.11):
dv' bso
for w=1: ir PP2U i =0.4. with Je0 only itech
= 22"
dV' dV' 2
——
Fe #TU
wn Vv = —-—
ef awV~=0=
dV eee :
for w=2: ae +1, U°V*=0, with T 40 onlyif. «xd = 12,21
dV? ave
peas LGU te ena wV'=0
dv?
for u=3: Pe (no one T° 40 )
198
The third equation states that V*(that is V*) remains unchanged during the
transport regardless of the path (note that for V* it was not necessary to
make any reference to the particular line along which the transport takes
place!). V*=const along any trajectory.
The evolution of the components V', V*(that is V°, V°) under parallel
transport is instead described by the system of differential equations:
i
y)
arr
Solutions of the system are:
[V'=coswt-V) + sinwt-V?
Me SUIT 7 COSI Ts,
hy vas ) Vo
V;.V > are constants depending upon initial conditions: for r=0 it turns
72
V
out to be from the 1%: V'=V} and from 2%: V?= mE ; hence V5, Vi
are, apart from constants, the initial components of V at time =0 (this is
the reason of its names).
Remarks:
« The equations found for Vj} ,V;., in addition to that for V°*, are the
complicated way whereby it is expressed in cylindrical coordinates the
transport of vectors in the ordinary sense, that is the capability to translate
the vectors parallel to themselves without limitations everywhere in 3D
space, which is a property of the Euclidean space*
* the whole calculation is not affected by the trajectory, but only by its
projection on the plane z = 0: the line @ and the z(t) that defines it on the
cylindrical surface can indeed be any.
v°, V°, V?_ by applying a coordinate transformation from Cartesian to cylindrical and by
means of the usual matrix A. What we get are the same expressions found as solutions of
the system of differential equations (try to believe!).
nos
and substituting the expressions for in yore
unos os
=(coswt-Vj+sinwt-Vi)+p| — Vio y2) HV? =
ll (cosmt-Vj+sinwt-V2)+(—sinwt-V+cos tee +(V?? =
Ca elem eo) ==rcorst e
* Notice that this is nor the sum of the squares of the components (giving the squared length
in Cartesian): here V; is not the component of V* for r=0 (it is “nearly”, but there is
an hampering factor p ).
200
Problem 41
In the 2D space of a spherical surface of unit radius:
a) find a coordinate transformation leading to a reference which is locally
flat in the point P of coordinates 8=1/4, o=n/4
b) verify that the matrix A related to the transformation leads to a flat metric
nee
c) verify that the metric locally flat in P coincides with the metrics of the
tangent plane.
The point P is located at the center of the first octant of the sphere as shown.
a) On a spherical surface of unit radius the arc element ds is:
ds’=do’+sin
od
thus g,,= : a . Although this is not a flat space, we can define
0 sing
coordinate systems locally flat in each point (and approximately flat in its
surroundings). Moreover, given a point P , the system therein locally flat is
not yet unique, but there are many.
A strategy to define a system locally flat in P (7/4, 2/4) is looking for a
coordinate transformation (starting from the overall metric of the spherical
2D surface) which is suitable for the particular case, deriving it from the
comparison between the two metrics, the global one and that you want
locally flat at the point.
Let x’, x’ the coordinates of the new system flat in P. The flatness
requires first that 2,1) = f |=6,,.,,, which is to say:
ds*=(dx")+(dx’fs.
Comparing the two expressions for ds’, respectively of the spherical
surface and of the flat system, let's impose:
201
dx'=do , dx’ =sino dé
that gives the transformation in differential form. We should now get the
. il? 2
finished form x =..., xX =....
Comparing the two above expressions with the definition of differential:
Ox
a oe. Ox"
alts, ee aera Ox” de
Gumescus Maks ae
= —dot
Pee Aas
gives:
1! y
a =1 = x'=o+f(0)+c, s =0) > =g(0) rc,
2'
a f
Putting this particular value into the second equation of x° means making
it compatible with the first one (x*= o2 +I(@)+¢e, can be identified with
—
ee
2 V
ES he
To give a value to the constants c the zero of the coordinates must be fixed.
In order to locate the origin of the coordinates x', x* in P(1/4, 2/4) we
impose x'=0 for ¢=1/4, x°=0 for 0=1/4 and get:
* In this case, due to the particular geometry, the neighborhood where sing ~ sin(x/4)
extends to the whole spherical strip of latitude 9 ~ (1/4).
202
V2,
Cry ~ 65—T oe ts In the end the coordinate transformation is:
ee
ial eels
arr,
BN 2H, a 7
et
It's easy to realize that the coordinates x’, x’ are the arc length * from the
generic point Q to the fixed point P , measured respectively along the
meridian and the parallel (dashed lines in figure).
= sl=((
ake
*
For this to happen in the point P, the metric of the spherical surface must be
calculated in that point, and thus we'll take g..= : : , that is
0 sin“o(P)
Sup
era op el ot,
E ol (since sing=-~ im P)..
* For a sphere of unit radius, arc and central angle [radiants] have the same measure.
203
= Aid, Bit ApAgn Bin AG Apa AT AGB y=
= 10-1 + 1420 + 0-0-0 + 0v2-5 =0
ais emINVA autPapua aad Ra 8 CH
204
The three intercepts of the plane on the axes are equal and worth V3. * The
unit segment from P perpendicular to the plane is the height of the right
triangular pyramid ABCO.
« We want to derive the metric of the tangent plane from its basis vectors.
Let @, 2, be the basis vectors of the spherical surface in P; to express them
in Cartesian coordinates we operate the coordinate transformation from
spherical to Cartesian:
os A an te po LOG Oia OZ. =
B= NG = NEA NEANGE, = Ft SEI+ 5k
= : io ie =p Ox, Oo 02=
Ep=A5& = Age, tAge, +Ajé, =—- i+ = j+ —k
(x=sing cos®
From .y=singsin@ (remind that here p=1) it follows:
_Z=cos
chee
59 sing sin®ae ay _., cos8
58 = sing az
50 _
=0
hence:
@)=i cosh cos8+jcosg sinB—k sin®
€g=— ising sinO+
j sing cosO
Note that these basis vectors @,,@, of the spherical surface at P can also
serve as basis vectors for the tangential plane, if we assume on it a Cartesian
reference system (v,w) with its origin in P as in figure.
The important fact is that the basis vectors &,,@,, renamed @ and é@
and expressed as above in terms of ian k , hold unchanged for the whole
tangent plane. Thus at each point of the tangent plane will be:
* That can be seen by considerations of elementary geometry on the right triangular pyramid
with unit height ABCO.
205
Recalling that Zus=@.°@s the components of the metric tensor for the
tangent plane follow:
=> > a ae eae: e eo _ > — 1
: ee lhl AY
oie Fh 0 1/2 for the whole tangent plane, q.e.d.
The locally flat metric in a point of the spherical surface thus coincides with
the (global) metric of the tangent plane in that point.
Problem 42
Given on a spherical surface two points A, B located on the same meridian
and the same parallel, assess whether are geodesic the trajectories AB
a) along the parallel
b) along the meridian ie
V other l =0
206
dA d A* N v
eyo -(44
e ie ee ur)e
E> (where ase since av =())
only
pee en yt Ui
Ere At eu it Ue Ue HT UN +
Peru re er A Ty AL) =
= &,(—sin@coso-1-w + 0-1-0 + 0-0-m + 0-0-0) +
+ &,(0-1-w + cotg-1-0 + cotg-0-w + 0-0-0) =
=-€, wsing cos #0 except at the pole and the equator =>
S i
Q By
7, ae |
VY
ae
par -
=
Ja= (where V F
dB = 0)
SWRPA
ae a
UP rel
hy yu > 70
obWes ply Ue
BW ails be sol eRe tele eB)
pela Cries Ul BeOB Ue
i sing cos :0:0 + 0-0-~ + 0-1-0 + 0-1-a) +
ec iow cee 104 0-1-0) =0 =
= the trajectory is a geodesic.
Only great circles, as the meridians, are geodesics. Moving along a parallel
(other than the equator) requires to constantly maintain a “steering” toward
the pole, that is, an acceleration directed along the meridian.
As wellas U is related to a velocity, a is related to the acceleration that
must be applied from outside to force it on a trajectory that is not inertial, i.e.
not geodesic, other than a great circle.
207
Problem 43 |
The surface z= x — y is intrinsically a 2D space with negative curvature.
In it:
a) define a locally flat system in O (0,0)
b) compute in (0, 0) the Riemann tensor, the Ricci tensor, the Ricci scalar
and the Christoffel coefficients
c) compute the length of the path with 8 constant that reach the generic
point P of the surface starting from the origin
d) are there straight geodesics on the surface?
208
through x,y: dz =2xdx-2ydy =
= dv 2dxtdy td? 2 dx*+dy'+(2xdx-2ydy)? =
= (1+4x?)dx? + (1+4y’)dy’-8xy dx dy =
2 gi See
|82,2=8y
In(0,0)is: g,,(0,0)=,,
(=diag(+1))|
and: 8y,,{0,0)=0 per Va,B,y
= the Cartesian reference (x, y) used to describe the surface 2D is by itself
a system locally flat in (0,0). *
b) = R of Riemann in (0,0)
Since we operate in a reference that makes the space locally flat in (0,0) it is
possible to compute R by the reduced formula devoid of T : **
1
boi = 5 eauae ar EBu 1a aa Sau,Bv iz a ed (eq. 5.44)
£u,1=8
Sef ee
taking count that the only terms # 0 are:
Soa 2an-— 4
£2,» =8
* Albeit flat in that point only; outside (0,0) g is globally not reducible to the Euclidean g
5.,g=diag(+ 1) and this already allow us to say that the space is curved.
** AJ] T are =0 in (0,0) since there all the derivatives 2. ,,y are null (eg. 4.73), just as occur
in any system locally flat.
209
Ricci tensor in (0, 0)
From Rs,,y we get by cotraction Roy eRe = Raat Roos
namely:
Iiia Ea te + Rip,
Reis =R}+ Rae
Rj, SR
= +R,
R=SER st Roos
ne calculated the required Rey, :
Reno Re oak, ators, = 00 = 0
=e Re Ree Ry = OR eA
la ll 12 2
a Se Koes: Ait S Ky O08
11 12
Ry = 440 =—4
Roy = g' * Rao = & Ripe
(in lifting / lowering the indexes we used the metric Zag punctually flat in
(0,0), thatis diag(+1), sothat also g*’=diag(+1)).
Weget:
R,,=0-4=-4
R,,=010=0
R,,=0+0=0
R,,=—4+0=-4
* Ricci scalar in (0,0)
We get itas: R= R°=R, +R,
and it is therefore required the preliminary calculation of:
R =g'°R, = 8 Ry+B R= BR avy]
R= oa Lo g aR yess * Rp = g * Ry = iat
Then: R= R, +R; =—4-4=-8
210
c) We specify at the outset the views extrinsic / intrinsic; the calculation
varies depending on the point of view adopted.
* In the extrinsic 3D vision the surface is embedded in the Euclidean-
Cartesian space IR* and its generic point is P(x,y,z); the path with
constant @ is a line from the origin that climbs on the surface without
changing (azimuthal) direction up to the point P (a curved line of length Z in
3D space). Its projection on the plane (x,y) is a 0-inclined straight line
joining the origin and the projection P(x,y) ofthe point P(x,y,z) .
« In the intrinsic 2D vision the spatial dimension z is abolished and the two-
dimensional surface itself is a space, whose generic point is P(x,y); the
abolition of the z dimension has been achieved — as in (a) — making it
implicit in the other two, paying the price of a g which is no longer
Euclidean-Cartesian. The representation of the surface is not different from
the 2D projection of the 3D surface on the plane, except that the metric is
different and thus the distances are distorted (each point P keeps unchanged
its coordinates (x,y), but the distance between two points will no longer
be the the Pythagorean form). The path with 6 constant takes place along a
straight line of the plane (x,y) from the origin to the point P(x,y) ,
which is the projection on the plane of the 3D path, but the length of the
segment OP is different, equal to the length L of the curved path OP in
the 3D view. This means that, in polar coordinates, the arc lenght Z from the
origin O to the point P is L2p.
« To calculate the path lengths one or the other point of view are equivalent.
We will adopt the intrinsic 2D vision, which sees the surface of the hyper-
bolic paraboloid “flattened” in a two-dimentional reference (x, y or p, 8) at
the price of a metric which is function of the point and distorsive of the dis-
tances. It's better writing the 2D arc lenght in polar coordinates:
ds’= (1+4x?)dx’ + (1+4y’)dy’-8xy dx dy
Since the motion is along a radius p , 8=const and:
x=pcos@, y=psin®, dx=cosO0dp , dy=sinOdp =
ds’=[(1+4p?cos’®)cos’@ +(1+4p’sin*@)sin’® —8p’sin’® cos’6] dp’ =
=[1+4 7(cos’@—sin’0)|dp’ =
[1+ 4 ?cos’20]dp’ , hence:
ds=v1+4p’cos’26 dp
The arc length Z from the origin to the point P is then the integral:
211
= ee + D =
OT a
: E I+u?7+—5in(ur 14) =
~ 2 cos 20 0
=a,
eT pcos26\ 1+4*cos?20 +4 In(2pcos26 +1 +4 p°cos"20 NE
L is the arc length measured along the radial line from the origin O to the
point P of coordinate p=) x*+ y* (intrinsic 2D vision) or, indifferently, the
length of the curve that climbs on the surface up to the point P(x, y,z) keep-
ing rectilinear its projection on the x, y plane (extrinsic 3D vision).
We see that: for p small: L~p (since In{1+e)~e )
forp great: L>p except when cos20=0,
that is: 8 = 45°, 135°, 225°, 315°
L=p on the bisectors of the quadrants, where the surface crosses to the plane
Bagh
« The following figure displays the polar diagram L(p, 8) .
212
In any direction 0, the value of Z related to p is given by the length of the 0-
oblique segment from the origin up to the curve of parameter p . *
Example: how far from the origin is the point of coordinates 0=30°, p=2 ?
See figure: in the direction 8 =30° draw a segment unto the curve p =2 and
evaluate its length L~2,9 (use asa “ruler” the same graduation of the axes,
made in units of L). This means that in that direction to a p=2 corresponds a
distance equal to L=2,9.
Except on the bisectors of the quadrants, the arc length L diverges rapidly
from the Euclidean p=\x*+y? as p grows; only on the bisectors of the
quadrants it happens that L=p and there is no distortion in the distances.
« It should be noted that the radial lines along which L is measured are not in
general geodesics (only the bisectors of the quadrants, since straight lines
also in the 3D vision, are geodesics), so that Z has not the meaning of a
distance (finite distances between points are measured along geodesics).
Except this particular case, only for small values of p geodetics and the
radial straight lines used in the calculation of LZ can be confused.
(The problem of straight geodesics in general is treated below)
d) Given any two points on the surface, the geodetic path that connects them
is not in general a straight line (this is obvious for the 3D surface, but is also
true for the 2D space, where the straight lines are not in general the shortest
paths, due to the “distortions” effected by the non-Euclidean metric). How-
ever, it may happen that some gedetics are straight lines indeed.
In the following we treat separately the two cases 2D and 3D.
* Calculation of g*“
The inverse of a matrix [A] canbe calculated as:
* Drawing the curves it has been taken as unit length the unit of L; the graduations of the
axes are not those of the Cartesian axes, but are also expressed in units of L.
213
In this case, as [g“*] is the inverse of [2x] :
[ a —3 1 1+4y° 4xy of
= 1
; - 1+4y” 4xy
~ det|g] Axy 1+4x° 1+4y'+4x 4xy 1+4x7
* Calculation of [
1 i ei
Ti; =78 Siege See
UWP a ittl 12
5/2 (—8nt Burt 8ua)*8 (=—sieeier so) =
“8x =0 =—Ay oe Ay!
1 4x(1+4y° l6xy 4x
4 i aad le sale)
144 y*+4x° a oe
144y't4x? ets esr aaa)
144(x7+y’)
] hile
l, =58 Sie San Sa) =
l 11 12
=e (= Soap eee (=gingt eats... \= 0
SA any =0 =-4x =o neta
i oe ie a0
1a
ey) met (Sonat ere ee) =
i 11 12
2, lg (on eee ee ae ery ee
=0 =—4x =-4x =8y
—4x
1+4(x°+y7)
(here
=58 alin, (2a oak =
Lael 22
ae (— Sut 8natSunr)*s (Seite ee oan
SSS
=8x =0 =—4y =—4y
214
=l[g".8x-¢
Vi 221 22 By ee16x° A
Ay(1+4x? a
1+4y+4x° 1+4y +4x 1+4(x +y )
2 12
lr, =58 gest Sais) =
1 21 22
=—18 (So ees ere hae ast tea l= 0
= 4 aay =0 =—Ax =0 =-4x
In=Tp =
2 1 2a
Yr, 58 Sep ue ho) =
« We first check if radial straight lines from the origin are geodesics, by
examining if they meet the above written equations of geodetics.
The parametric equations of straight lines from (0,0) are: (s=arc lenght)
a 2 Z
1s ateaper so that: ie Bs : GUS 6 ; <= = ay =O
_y =s sin ds ds ds ds
Substituting in the equations of geodesics:
EN [cos*@—sin’®]
1+45?
a ee [—cos*8+sin’6]
1+45?
simultaneously veryfied only for:
[cos’@—-sin’®]=0 => 6 =45° 135°...
We conclude that bisectors of the quadrants of the plain x,y are geodesics.
« This outcome can be easily extended taking straight lines outcoming from a
215
generic point Coca)
xX =x,t+scosO
\y =y,ts sinO
and performing again the calculation, substituting x, y and their derivatives
into geodesics equations. It is straightforward to reach the same conclusion:
only the straight lines inclined at 6 = 45°, 135°,... fulfill.
So, among the geodesics which ty
depart from a point, the only
straight ones are those parallel to
the bisectors of the quadrants
(bisectors themselves included)
Or: if two points P,Q lay on the
same straight line inclined at 45°
or 135° to the x axis, then that
straight line is the geodetic path
connecting them, Otherwise the
geodetic path between two points
is a curved one (for example in
the case of points O, P).*
From any point Pi xo¥ oz) of the 3D surface Z)= xe , comes out a
sheaf of straight lines whose parametric equations are:
L= Kat
Y=yotbt
[z=z,tet
3 2 Z
where the last one can be written: 7=X>,—yotct .
Let's impose now that x,y,z satisfies the constraint z=x’—y’; this
means asking that (each point of) the straight line lies on the surface.
The z=x—y can then be written: z=(x,+at)—(y,+bt) .
* To get a qualitative idea about the trend of curvilinear geodesics outgoing from a point we
can resort to a thought experiment (in 3D vision): launching particles from the point in
various directions and leaving they go along inertial trajectories, that is geodesics. The
particles will be laterally diverted toward the valleys by the side slope of the surface.
216
Equaling the two expressions for z we get:
first two we get aS i =+1 which represents two such straight lines).
0
For each point of the 3D surface then pass two lines perpendicular to each
other that lie entirely on the surface. The surface of the hyperbolic
paraboloid is a "grooved" surface, which can be built by combining an
infinite number of those straight lines "side by side", changing its orientation
with continuity.
All of these straight lines which groove the 3D curved surface are geodesics
in respect of any pair of points contained in them.
Namely: two points P,Q of the surface whose projections P’, Q’ on the
x,y plane are both on the same line inclined at 45° or 135° to x axis are
connected (in 3D space) by a straight geodesic lying on the curved surface.
The straight geodetics are infinite in number, skew to each other, and their
projections on the plane are straight lines parallel to the bisectors of the
quadrants. The same bisectors of the quadrants are geodesic.
« We also notice here (as in (c) above) the concordance of the results
obtained by adopting the 2D or 3D view: "by squeezing" the 3D surface in a
two-dimensional space, the projections of the straight 3D geodesics coincide
with straight 2D geodesics.
eli
Problem 44
Display the distortive effects on distances operated by the following 2D
metrics with respect to Euclidean metric:
* The value ds given by yhe metric as ds’= 24g dx*dx’ has a variable sign when, as in
this case, the metric is not positive definite. In geometric contests in these cases the sign is
“straightened” by resetting ds’=| Zap dx“ dx*| . Not done in Relativity, allowing that it can
be ds?<0 (spacelike intervals).
(A metric g is positive definite if the scalar product g,,V“ V® is >0 for ¥ vector V).
218
c) ds’= |dx’+dxdy+dy"|= 1’ (cos
sin’*0+
0)+h’cos® sin6| = h’|1+cos® sin6|
and then ds=hy|1+cos@ sin@.
a) b)
The polar plots are built reporting from any point of the plane a radius-
vector proportional to the ratio ds/h in each direction 9. Its length, readable
on the diagrams, is an index of the "stretching" or "compressing" upon the
distances made by the metric in a certain direction. In each diagram is shown
for comparison the "unit" circle relative to the case (a) for which the
Euclidean ds/h = | (slight stretch).
Example: metric (d) with k=2 gives ds ~ 1,32h in direction 8 =30”.
« We observe that the metric distortion of the distances is not specific of
curved spaces, but also concerns flat spaces, although here geodesics are
straight lines.
ZN,
220
Bibliographic references
* Among texts specifically devoted to Tensor Analysis the following retain a
relatively soft profile:
221
Fleisch, D.A. 2012, 4 Student's Guide to Vectors and Tensors, Cambridge University
Press, pag. 133
A very "friendly" introduction to Vector and Tensor Analysis, understandable even
without special prerequisites, neverthless with a good completeness (until the
introduction of the Riemann tensor, but without going into curved spaces). The
approach to tensor is traditional. Beautiful illustrations, many examples from
physics, many calculations carried out in full, together with a speech that gives the
impression of proceeding methodically and safely, without jumps and without
leaving behind dark spots, make this book an excellent autodidactict tool, also
accessible to a good high school student.
222
except for some advanced topics of GR.
223
224
Index of Problems by Topic
1 Expansion on basis of vectors
2,3 Dual basis of covectors, duality relation
4 Vector product
b) Components of tensor
6 Non-commutativity of vector product, vector product in T-mosaic
ti Scalar product, Kronecker 5
8 Contraction of tensor, symmetry
9,10 Tensor inner product, product in matrix form
11 Non-commutativity of tensor inner product
12 Inverse tensor
13 _ Inverse tensor in matrix form
14 Dual switch
115) Indexes raising / lowering
16, 17 Coordinates transformation, transformation of basis and components of
vector
18 Transformation into polar coordinates
19 Vector radius or position vector
20 Basis-vectors
Zl Cartesian tensors
22 Coordinates transformation, metric tensor
ws: Vector scalar product
24 ~~ Angle between vectors
ZS Spherical coordinates, metric tensor, Christoffel coefficients
26 Polar coordinates, Christoffel coefficients
a Christoffel coefficients, gradient
28 Gradient, covariant constancy
29 Gradient, covariant derivative, divergence
30-31 Euclidean and non-Euclidean metrics
By) Cylindrical coordinates, Christoffel coefficients, Riemann tensor,
extrinsic/intrinsic curvature
33 Spherical coordinates, Christoffel coefficients, Riemann tensor, Ricci tensor,
Ricci scalar, extrinsic/intrinsic curvature
34 Gradient, directional derivative, derivative along a line
35 Gradient of scalar and vector
36 Tangent vector
37 Tangent vector, derivative along a line
38 Tangent vector, derivative along a line, acceleration, geodesics
39 Geodesics
40 Parallel transport of a vector
4] Locally flat metric, tangent plane
42 Geodesics
43 Spaces with negative curvature
44 Flat metrics and distances
PES)
A ~ :
7 nat ,
3 "is area torttsihee
> ‘gabe «thew. ex vlaye
Ps taalre
aaAt’ a
aap en A
5 beaghedthpor)
- iol a) ah a) LEP“ oy Ve Va ieee ya) ac :
_ *§ mas hve), Gack a
— Pui wp tes 0 peewee :
es Gre 2 hts) ot) ie 23 my i oud ‘7 ei
joes tea? = Ne ee ee
D 16 DoF HAN “ :
: - boon
Aoi ad wes"s
« hae =<
1 we =. verti
a Rsv @ aa marienat
a) ' °° Ue (ou :
ana
: G Brkt he 9eoOkwnt,
Ce eee ee
aw & ea ‘at a “a
MP ASP ae a =
— ie he) OMe very mao AO
Aes erie waite (ese
AM d» etl « sere Frm sa a
tT.
mh - GreCe iny Ifa. qj .
> Vania way o; i
a
ae
fe
eS
id
e.
Hl|||| Wl Made in the USA
40665254R00128 Middletown, DE
19 February 2017
An informal, simplified
introduction
to the Maths
of General Relativity
ISBN 978=1=326—-297253—9
LM | il |
ll
9M 7813264292539