Académique Documents
Professionnel Documents
Culture Documents
Three dimensions
To begin, we translated some 3-dimensional formulas into index notation. You are familiar with writing
boldface letters to stand for vectors. Each such vector may be expanded in a basis. For example, in our
usual Cartesian basis, every vector v may be written as a linear combination
v = vxi + vyj + vz k
We need to make some changes here:
1. Replace the x, y, z labels with a numbers 1, 2, 3:
(vx , vy , vz ) (v1 , v2 , v3 )
2. Write the labels raised instead of lowered.
(v1 , v2 , v3 ) v 1 , v 2 , v 3
3. Use a lower-case Latin letter to run over the range, i = 1, 2, 3. This means that the single symbol, v i
stands for all three components, depending on the value of the index, i.
4. Replace the three unit vectors by an indexed symbol:
i
e
1 = i, e
2 = j and e
3 = k
so that e
With these changes the expansion of a vector v simplifies considerably because we may use a summation:
v
= vxi + vyj + vz k
1
2
1 + v e
2 + v 3 e
3
= v e
3
X
i
=
vi e
i=1
We have chosen the index positions, in part, so that inside the sum there is one index up and one down. We
will continue this convention, noting only that there is a deeper reason for the distinction between the index
positions, to be discussed later.
Linear combinations of vectors are also vectors. Thus, if we have two vectors expanded in a basis,
v
3
X
i
vi e
i=1
3
X
i
ui e
i=1
3
X
i +
ue
i=1
1
3
X
i
vi e
i=1
1 + u2 e
2 + u3 e
3 + v 1 e
1 + v 2 e
2 + v 3 e
3
u e
1 + u2 e
2 + u3 e
3 + v 1 e
1 + v 2 e
2 + v 3 e
3
u1 e
=
=
1 + u2 e
2 + u3 e
3 + v 1 e
1 + v 2 e
2 + v 3 e
3
= u1 e
1
1
2
2
3
3
1 + v e
1 + u e
2 + v e
2 + u e
3 + v e
3
= u e
1 + u2 + v 2 e
2 + u3 + v 3 e
3
= u1 + v 1 e
3
X
i
ui + v i e
i=1
Index notation lets us omit all of the intermediate steps in this calculation. Multiplication distributes over
addition and addition commutes, so we can immediately see that
3
X
i +
ui e
i=1
3
X
i =
vi e
i=1
3
X
i
ui + v i e
i=1
The inner product and cross product of two vectors is easy to accomplish. For the inner (dot) product,
! 3
3
X
X
i
j
uv =
ui e
vj e
i=1
j=1
Notice that in writing this expression, we have been careful to write different indices in the two sums. This
way we always know which things are being summed with which. Distributing the dot product over the sum,
and recalling that (u) v = (u v),
! 3
3
X
X
i
j
uv =
ui e
vj e
i=1
j=1
3 X
3
X
j )
ui v j (
ei e
i=1 j=1
Something important has happened here. We started by multiplying two sums of three terms each, and end
j ), that encompasses all of the resulting nine terms very concisely.
by writing a general expression, ui v j (
ei e
Notice that we can bring both ui and v j anywhere in the expression because the i and j indices tell us that
j , no matter where they occur in the expression.
v j is summed with e
2
1.1
Dot product
Now we only need to know the dot products of the basis vectors. Since the vectors are orthonormal, we get
1 if i = j and 0 if i 6= j. We write
i e
j = gij
e
where in this basis gij is exactly this: 1 if i = j and zero otherwise. This matrix is called the metric. In
Euclidean space and Cartesian coordinates, the metric is just the unit matrix
1 0 0
gij = 0 1 0
0 0 1
but in a general basis it will differ from this. The metric is always symmetric, gij = gji . Introduce this
symbol into our expression for the dot product,
uv
3 X
3
X
j )
ui v j (
ei e
i=1 j=1
3
3 X
X
ui v j gij
i=1 j=1
Now we introduce a further convention. When the metric is summed with the components of a vector, we
get a related vector but with the index down:
vi =
3
X
v j gij
j=1
When gij is the unit matrix, then the three numbers vi are the same as the the three numbers v i , but this
will not always be the case. This convention gives us the final form
uv
3
X
u i vi
i=1
Notice that the sum is still over one up and one down index.
We may define the inverse of raising an index by defining
1
g ij (gij )
The metric is the only object where the raised index version and lowered index versions are defined this way.
For all other objects, the metric provides this relationship:
vi
3
X
g ij vj
j=1
vi
3
X
gij v i
j=1
Tij
3 X
3
X
gim gjn T mn
m=1 n=1
T ij
3
X
gjn T in
n=1
The metric must not be confused with another important tensor, the Kronecker delta, which always has
components 1 on the diagonal and 0 elsewhere, regardless of the basis. Furthermore, the Kronecker delta
always has one raised and one lowered index,
1 0 0
ij = ji = 0 1 0
0 0 1
1.2
Cross product
The cross product leads us to introduce another important object called the Levi-Civita tensor. In our
Cartesian basis, it is a 3-index collection of numbers, ijk . Such an object has 27 components, but the
Levi-Civita tensor is defined to be totally antisymmetric the sign changes under interchange of any pair of
indices. Thus, for example, 123 = 132 . This means that for any components with two of i, j or k having
the same value, that component must vanish: we have 212 = 212 by interchanging the 2s, and there for
212 = 0. Most components vanish, the only nonvanishing ones being those where i, j, k are all different.
The nonzero components all have value 1:
123
231 = 312 = +1
132
213 = 321 = 1
Using ijk we can write index expressions for the cross product and curl. Start by raising an index on
ijk ,
3
X
im mjk
ijk =
m=1
Notice that when we have indices both up and down, we maintain the their horizontal displacement to keep
track of which index is which. In this simple Cartesian case, ijk has the same numerical values as ijk . Now
the ith component of the cross product is given by
i
[u v] =
3 X
3
X
ijk uj v k
j=1 k=1
It is crucial to distinguish between free indices those which are not summed, and dummy indices which
are summed over. The free indices in every term must match exactly; thus, our expression above has a single
raised i index in both terms. The j, k indices are dummy indices, which must always occur in pairs, one up
and one down.
We check this result by simply writing out the sums for each value of i,
[u v]
3 X
3
X
1jk uj v k
j=1 k=1
[u v]
= u2 v 3 u3 v 2
3 X
3
X
=
2jk uj v k
j=1 k=1
= 231 u3 v 1 + 213 u1 v 3
[u v]
= u3 v 1 u1 v 3
3 X
3
X
=
3jk uj v k
j=1 k=1
= u1 v 2 u2 v 1
4
We get the curl by replacing ui by i = x
i , but the derivative operator is defined to have a down
index, and this means we need to change the index positions on the Levi-Civita tensor again. Setting
ij k = jm imk we have
3 X
3
X
i
[ v] =
ij k j v k
j=1 k=1
[ v]
[ v]
v 2
v 3
2
x
x3
1
v
v 3
x3
x1
2
v
v 1
1
x
x2
3
X
i
i
[u v] e
i=1
3 X
3 X
3
X
i
ijk uj v k e
3 X
3 X
3
X
ij
i
j v k e
1.3
By now it is becoming evident that there are far too many summation symbols in our expressions. Fortunately, our insistence that dummy indices always occur in matched up-down pairs can releive us of this
burden. Consider what happens to our expression for the cross product, for example, if we simply omit the
summation symbols:
i
[u v] = ijk uj v k
There is a simple rule here: indices which occur matched
P3 across terms are free; indices which occur in
matched up-down pairs are summed. We do not need the j=1 to see that the j indices should be summed.
From now on, every matched, up-down pair of indices is to be summed. This is the Einstein summation
convention.
Using the convention, our previous results are now written as:
uv
uv
gij ui v j = ui vi
i
ijk uj v k e
ij
i
k j v k e
and
i
= ijk uj v k
= ij k j v k
[u v]
[ v]
1.4
There are useful identities involving pairs of Levi-Civita tensors. The most general is
ijk lmn
il jm kn + im jn kl + in jl km il jn km in jm kl im jl kn
To check this, first notice that the right side is antisymmetric in i, j, k and antisymmetric in l, m, n. For
example, if we interchange i and j, we get
jik lmn
jl im kn + jm in kl + jn il km jl in km jn im kl jm il kn
Now interchange the first pair of Kronecker deltas in each term, to get i, j, k in the original order, then
rearrange terms, then pull out an overall sign,
jik lmn
= im jl kn + in jm kl + il jn km in jl km im jn kl il jm kn
= il jm kn im jn kl in jl km + il jn km + in jm kl + im jl kn
= ijk lmn
Total antisymmetry means that if we know one component, the others are all determined uniquely. Therefore,
set i = l = 1, j = m = 2, k = n = 3, to see that
123 123
= 11 22 33 + 12 23 31 + 13 21 32 11 23 32 13 22 31 12 21 33
=
111+000+000100010001
Check one more case. Let i = 1, j = 2, k = 3 again, but take l = 3, m = 2, n = 1. Then we have
123 321
= 13 22 31 + 12 21 33 + 11 23 32 13 21 32 11 22 33 12 23 31
=
010+001+100000111000
= 1
as expected.
We get a second identity by setting n = k and summing. Observe that the sum, kk = 11 + 22 + 33 = 3,
while jk kj = ij . We find
ijk lmk
il jm kk + im jk kl + ik jl km il jk km ik jm kl im jl kk
3 il jm + im jl + im jl il jm il jm 3 im jl
(3 1 1) il jm (3 1 1) im jl
il jm im jl
= il jm im jl
= il jj ij jl
=
3 il il
2 il
Setting the last two indices equal and summing provides a check on our normalization,
ijk ijk
=
6
2 ii = 6
This is correct, since there are only six nonzero components and we are summing their squares.
Collecting these results,
jik lmn
jl im kn + jm in kl + jn il km jl in km jn im kl jm il kn
ijk lmk
il jm im jl
ijk ljk
2 il
ijk ijk
We demonstrate the usefulness of these properties by proving some vector identities. First, consider the
triple product. Working from the outside in,
u (v w)
= ui [v w]i
= ui ijk v j wk
= ijk ui v j wk
Because ijk = kij = jki , we may write this in two other ways,
ijk ui v j wk
jki ui v j wk = kij ui v j wk
ui ijk v j wk
v j jki wk ui = wk kij ui v j
u (v w)
v (w u) = w (u v)
[u (v w)]
= ijk uj [v w]
= ijk uj klm v l wm
= ijk klm uj v l wm
= ijk lmk uj v l wm
=
il jm im jl uj v l wm
= il jm uj v l wm im jl uj v l wm
= um v i wm ul v l wi
= v i (u w) wi (u v)
Returning fully to vector notation, this is the BAC CAB rule,
u (v w)
(u w) v (u v) w
[ (v w)]
= ij k j [v w]
= ij k j klm v l wm
= ij k klm j v l wm
= ijk klm j v l wm
= ijk lmk j v l wm + v l (j wm )
=
il jm im jl
j v l wm + v l (j wm )
= il jm j v l wm + il jm v l (j wm ) im jl j v l wm im jl v l (j wm )
= j v i w j + v i j w j j v j w i v j j w i
7
1.5
= c (a b) = b (c a)
= b (a c) c (a b)
=
(a c) (b d) (a d) (b c)
(f a)
i (f ai )
(i f ) ai + f i ai
(f ) a + f a
Prove the following two identities. Both of these require results involving symmetry:
f
( a)
(f ) a + f a
= ( a) 2 a
=
(a ) b + (b ) a + a ( b) + b ( a)
= b ( a) a ( b)
= a ( b) b ( a) + (b ) a (a ) b