Tensors for Physics

(Marcin) #1

5.6 Hamilton-Cayley Theorem and Consequences 71


5.6 Hamilton-Cayley Theorem and Consequences.


5.6.1 Hamilton-Cayley Theorem


Any symmetric second rank tensorSμν, with principal valuesS(^1 ),S(^2 ),S(^3 )obeys
the equation


(
Sμν−S(^1 )δμν

)(

Sνλ−S(^2 )δνλ

)(

Sλκ−S(^3 )δλκ

)

= 0 , (5.48)

which is essentially theHamilton-Cayley theorem. In linear algebra, this theorem is
applied to square matrices. To prove (5.48), notice firstly, that any vectora,in3D,
can be written as linear combination of the three unit vectorse(^1 ),e(^2 ),e(^3 )which are
parallel to the principal directions:aκ=a(^1 )e(κ^1 )+a(^2 )e(κ^2 )+a(^3 )e(κ^3 ). Multiplication
of the left hand side of (5.48) withaκyields zero. This can be checked, term by
term, using the eigenvalue relationSμνeν(i)=e(μi),fori= 1 , 2 ,3. In particular, one


has immediately(Sλκ−S(^3 )δλκ)eκ(^3 )=0. The multiplication(Sνλ−S(^2 )δνλ)(Sλκ−


S(^3 )δλκ)eκ(^2 )=(Sνλ−S(^2 )δνλ)(S(^2 )−S(^3 ))e(λ^2 )=0 again yields zero. Similarly, one


finds(Sμν−S(^1 )δμν)(Sνλ−S(^2 )δνλ)(Sλκ−S(^3 )δλκ)eκ(^1 )=(Sμν−S(^1 )δμν)(S(^1 )−


S(^2 ))(S(^1 )−S(^3 ))eν(^1 )=0. Since this result is valid for all vectors, the tensorial
relation (5.48) must hold true.
Explicit multiplication of the terms in (5.48) leads to


SμνSνλSλκ−

(

S(^1 )+S(^2 )+S(^3 )

)

SμλSλκ

+

(

S(^1 )S(^2 )+S(^2 )S(^3 )+S(^3 )S(^1 )

)

Sμκ−S(^1 )S(^2 )S(^3 )δμκ= 0.

SinceS(^1 )S(^2 )S(^3 ) =det(S), due toS(^1 )+S(^2 )+S(^3 )= SααandS(^1 )S(^2 )+
S(^2 )S(^3 )+S(^3 )S(^1 )=^12 ((S(^1 )+S(^2 )+S(^3 ))^2 −((S(^1 ))^2 +(S(^2 ))^2 +(S(^3 ))^2 ))=
1
2 (SααSββ−SαβSβα), the Hamilton-Cayley theorem is equivalent to


det(S)δμκ=SμνSνλSλκ−SννSμλSλκ+

1

2

(SννSλλ−SνλSλν)Sμκ. (5.49)

In the case of a symmetric traceless tensorS, this relation reduces to


det

(

S

)

δμκ= Sμν SνλSλκ −

1

2

SνλSλν Sμκ. (5.50)

Consequences of the Hamilton-Cayley relations (5.49) and (5.50) are presented next.
The contraction withμ=κin the Hamilton-Cayley theorem (5.49) leads to the
previously presented equation (5.42) for the calculation of the determinant in terms

Free download pdf