Mathematical Methods for Physics and Engineering : A Comprehensive Guide

(lu) #1

26.20 VECTOR OPERATORS IN TENSOR FORM


SupposeA=[aij],B=[bij]and thatB=A−^1. By considering the determinanta=|A|,
show that
∂a
∂uk

=abji

∂aij
∂uk

.


If we denote the cofactor of the elementaijby ∆ijthen the elements of the inverse matrix
are given by (see chapter 8)


bij=

1


a

∆ji. (26.93)

However, the determinant ofAis given by

a=


j

aij∆ij,

in which we havefixediand written the sum overjexplicitly, for clarity. Partially
differentiating both sides with respect toaij, we then obtain


∂a
∂aij

=∆ij, (26.94)

sinceaijdoes not occur in any of the cofactors ∆ij.
Now, if theaijdepend on the coordinates then so will the determinantaand, by the
chain rule, we have


∂a
∂uk

=


∂a
∂aij

∂aij
∂uk

=∆ij

∂aij
∂uk

=abji

∂aij
∂uk

, (26.95)


in which we have used (26.93) and (26.94).


Applying the result (26.95) to the determinantgof the metric tensor, and

remembering both thatgikgkj=δijand thatgijis symmetric, we obtain


∂g
∂uk

=ggij

∂gij
∂uk

. (26.96)


Substituting (26.96) into (26.92) we find that the expression for the Christoffel

symbol can be much simplified to give


Γiki=

1
2 g

∂g
∂uk

=

1

g



g
∂uk

.

Thus finally we obtain the expression for the divergence of a vector field in a

general coordinate system as


∇·v=vi;i=

1

g


∂uj

(


gvj). (26.97)

Laplacian

If we replacevby∇φin∇·vthen we obtain the Laplacian∇^2 φ. From (26.91),


we have


viei=v=∇φ=

∂φ
∂ui

ei,
Free download pdf