# 8.2 Examples of more complicated laws

```8.2
Examples of more complicated laws
Ohm’s law in an anisotropic medium
Now we have defined a second rank tensor, the natural question to ask is whether δ is a
tensor or not. We have defined δij to be 1 if i = j and 0 otherwise in all bases and thus we
have that δij′ = δij . But using δij = lik ljk this gives
The simple form of Ohm’s Law stated above, in which an applied electric field E produces
a current in the same direction, only holds for conducting media which are isotropic, that
is, the same in all directions. This is certainly not the case in crystalline media, where the
regular lattice will favour conduction in some directions more than in others.
δij′ = liα lβ δαβ
This shows that δ transforms as a second rank tensor, we need no longer speak of the
δ–symbol but the δ–tensor.
Rotating rigid body
The most general relation between J and E which is linear and is such that J vanishes when
E vanishes is of the form
ω
_
Ji = σij Ej
where σij are the components of the conductivity tensor in the chosen basis, and characterise
the conduction properties when J and E are measured in that basis. Thus we need nine
v
_
numbers, σij , to characterise the conductivity of an anisotropic medium. The conductivity
tensor is an example of a second rank tensor.
For suppose we consider an orthogonal transformation of basis. Simply changing basis cannot
alter the form of the physical law and so we conclude that
′
Ji′ = σij
Ej′
where Ji′ = lij Jj
and Ej′ = ljk Ek
θ _r
O
Now consider the angular momentum of the particle about the origin O, defined by
L = r &times; p = r &times; (mv) where m is the mass of the particle.
Using the above expression for v we obtain
Thus we deduce that
L = mr &times; (ω &times; r) = m ω(r &middot; r) − r(r &middot; ω)
′
lij Jj = lij σjk Ek = σij ljk Ek
which we can rewrite as
′
(σij
ljk − lij σjk )Ek = 0
This must be true for arbitrary electric fields and hence
′
σij
ljk = lij σjk
Multiplying both sides by llk , noting that llk ljk = δlj and using the sifting property we find
′
that σil
= lij λlk σjk or re-labelling
Consider a particle of mass m at a point r in a rigid body
rotating with angular velocity ω. Recall previously
that v = ω &times; r. You were asked to check that this gives
the right direction for v; that it is perpendicular to the
plane of ω and r; that the magnitude |v| = ωr sin θ =
ω&times; radius of circle in which the point is travelling
(24)
where we have used the identity for the vector triple product. Note that only if r is perpendicular to ω do we obtain L = mr 2 ω, which means that only then are L and ω in the same
direction.
Taking components of equation (24) in an orthonormal basis {ei }, we find that
Li = m ωi (r &middot; r) − xi (r &middot; ω)
h
i
= m r 2 ωi − xi xj ωj
noting that r &middot; ω = xj ωj
h
i
= m r 2 δij − xi xj ωj using ωi = δij ωj
Thus
σij = liα ljβ σαβ
′
This exemplifies how the components of a second rank tensor change under an orthogonal
transformation and indeed will be taken as our definition of a second rank tensor. The above
discussion of the covariance of Ohm’s law is then an example of the quotient theorem.
Li = Iij (O) ωj
h
i
Iij (O) = m r 2 δij − xi xj
where
By the quotient theorem Iij (O) are the components of the inertia tensor, relative to O, in
the ei basis. The inertia tensor is another example of a second rank tensor. This may also
be shown directly as
Iij′ (O) = m[r ′2 δij − x′i x′j ]
Interlude: δij as a tensor
= m[r 2 liα ljβ δαβ − liα xα ljβ xβ ]
= liα ljβ Iαβ (O)
33
34
so I transforms as a second rank tensor.
Note also that if a is a pseudovector then a &times; b is a vector as (det L)2 = 1.
Summary of why we need tensors
We can also define tensors of rank greater than two by introducing more indices, together
with more ls. Indeed ǫ is actually a pseudotensor of rank three.
(i) Physical laws often relate two vectors.
There are some additonal special properties for rank two tensors only, as the set of nine
(ii) A second rank tensor provides a linear relation between two vectors which may be in
different directions.
(iii) Tensors allow the generalisation of isotropic laws (‘physics the same in all directions’)
to anisotropic laws (‘physics different in different directions’)
In general a second rank tensor maps a given vector onto a vector in a different direction: if
a vector n has components ni then
numbers, Tij , representing the tensor T , can

T11
T =  T21
T31
We can rewrite the generic transformation law for a second rank tensor as follows:
′
Tij
= liα ljβ Tαβ = (L)iα Tαβ (LT )βj
Thus in matrix form the transformation law is
However some special vectors called eigenvectors may exist such that mi = λ ni
i.e. the new vector is in the same direction as the original vector. Eigenvectors
usually have special physical significance (see later).
8.3
(i) It is wrong to say that a second rank tensor is a matrix; rather the tensor is the funda-
Scalars and vectors are called tensors of rank zero and one respectively, where rank = no.
of indices in a Cartesian basis. Thus we have
φ′ = φ scalar
a′i = liα aα
φ
= liα ljβ Tαβ
rank two tensor
= det L φ pseudoscalar
a′i = det L liα aα
Tij′
′
′
= det L liα ljβ Tαβ
′
(a , b , c ) ≡ a &middot; (b &times; c)
′
=
(ii) It is wrong to say a matrix is a tensor e.g. the transformation matrix L is not a tensor
but nine numbers defining the transformation between two different bases.
8.4
Invariants
Trace of a tensor: The trace of a matrix A (with elements aij ) is defined as the sum of its
diagonal elements, so
pseudosvector
tr A = aii
rank two pseudotensor
An example of a pseudovector is a &times; b, see section 7.3, and an example of a pseudoscalar is
the scalar triple product, for
′
mental object and is represented in a given basis by a matrix.
vector
We can also have pseudoscalars, pseudovectors and pseudotensors,
′
T ′ = LT LT
Notes
General properties
Tij′

T12 T13
T22 T23 
T32 T33
This of course is not true for higher rank tensors (which have more than 9 components).
Tij nj = mi ,
where mi are components of m, the vector that n is mapped onto.
be written as a 3 &times; 3 array
a′i (b
&times;
c)′i
This has the useful cyclic property
tr AB = aij bji = bji aij = tr BA
Consider the trace of the the tensor in the transformed basis
= liα aα det L liβ (b &times; c)β
= det L aα (b &times; c)β δαβ
= det L a &middot; (b &times; c) ≡ det L (a, b, c)
35
′
tr T ′ = Tii
= liα liβ Tαβ
= (LT L)αβ Tαβ = Tαα = tr T
36
```