next up previous
Next: Tensor Fields Up: Cartesian Tensors Previous: Tensors and Tensor Notation


Tensor Transformation

As we saw in Appendix A, scalars and vectors are defined according to their transformation properties under rotation of the coordinate axes. In fact, a scalar is invariant under rotation of the coordinate axes. On the other hand, according to Equations (A.49) and (B.6), the components of a general vector $ {\bf a}$ transform under an infinitesimal rotation of the coordinate axes according to

$\displaystyle a_i' = a_i + \epsilon_{ijk} \,\delta\theta_j\,a_k.$ (B.24)

Here, the $ a_i$ are the components of the vector in the original coordinate system, the $ a_i'$ are the components in the rotated coordinate system, and the latter system is obtained from the former via a combination of an infinitesimal rotation through an angle $ \delta\theta_1$ about coordinate axis 1, an infinitesimal rotation through an angle $ \delta\theta_2$ about axis 2, and an infinitesimal rotation through an angle $ \delta\theta_3$ about axis 3. These three rotations can take place in any order. Incidentally, a finite rotation can be built up out of a great many infinitesimal rotations, so if a vector transforms properly under an infinitesimal rotation of the coordinate axes then it will also transform properly under a finite rotation.

Equation (B.24) can also be written

$\displaystyle a_i' = {\cal R}_{ij}\,a_j,$ (B.25)

where

$\displaystyle {\cal R}_{ij} = \delta_{ij} - \delta{\theta}_k\,\epsilon_{kij}$ (B.26)

is a rotation matrix (which is not a tensor, because it is specific to the two coordinate systems it transforms between). To first order in the $ \delta\theta_i$ , Equation (B.25) can be inverted to give

$\displaystyle a_i = {\cal R}_{ji}\,a_j'.$ (B.27)

This follows because, to first order in the $ \delta\theta_i$ ,

$\displaystyle {\cal R}_{ik}\,{\cal R}_{jk}$ $\displaystyle = (\delta_{ik}-\delta{\theta}_l\,\epsilon_{lik})\,(\delta_{jk}-\d...
...eta_l\,\delta_{jk}\,\epsilon_{lik} -\delta\theta_m\,\delta_{ik}\,\epsilon_{mjk}$    
  $\displaystyle =\delta_{ij} -\delta\theta_l\,\epsilon_{lij}-\delta\theta_l\,\epsilon_{lji}=\delta_{ij},$ (B.28)

where the dummy index $ m$ has been relabeled $ l$ , and use has been made of Equations (B.8), (B.10), and (B.12). Likewise, it is easily demonstrated that

$\displaystyle {\cal R}_{ki}\,{\cal R}_{kj } = \delta_{ij}.$ (B.29)

It can also be shown that, to first order in the $ \delta\theta_i$ ,

$\displaystyle \epsilon_{ijk}\,{\cal R}_{li}\,{\cal R}_{mj}\,{\cal R}_{nk} = \epsilon_{lmn}.$ (B.30)

This follows because

$\displaystyle \epsilon_{ijk}\,{\cal R}_{li}\,{\cal R}_{mj}\,{\cal R}_{nk}$ $\displaystyle = \epsilon_{ijk}\,(\delta_{li}-\delta\theta_a\,\epsilon_{ali})\,(...
...}-\delta\theta_b\,\epsilon_{bmj})\,(\delta_{nk}-\delta\theta_c\,\epsilon_{cnk})$    
  $\displaystyle =\epsilon_{ijk}\left[\delta_{li}\,\delta_{mj}\,\delta_{nk}-\delta...
...delta_{li}\,\delta_{nk} +\epsilon_{ank}\,\delta_{li}\,\delta_{mj}\right)\right]$    
  $\displaystyle = \epsilon_{lmn} -\delta\theta_a\left(\epsilon_{imn}\,\epsilon_{ial}+\epsilon_{inl}\,\epsilon_{iam} +\epsilon_{ilm}\,\epsilon_{ian}\right)$    
  $\displaystyle = \epsilon_{lmn}-\delta\theta_a\left(\delta_{ma}\,\delta_{nl}-\de...
...elta_{nm}\,\delta_{la}+\delta_{la}\,\delta_{mn}-\delta_{ln}\,\delta_{ma}\right)$    
  $\displaystyle =\epsilon_{lmn}.$ (B.31)

Here, there has been much relabeling of dummy indices, and use has been made of Equations (B.10) and (B.16). It can similarly be shown that

$\displaystyle \epsilon_{ijk}\,{\cal R}_{il}\,{\cal R}_{jm}\,{\cal R}_{kn} = \epsilon_{lmn}.$ (B.32)

As a direct generalization of Equation (B.25), a second-order tensor transforms under rotation as

$\displaystyle a_{ij}' = {\cal R}_{ik}\,{\cal R}_{jl}\,a_{kl},$ (B.33)

whereas a third-order tensor transforms as

$\displaystyle a_{ijk}' = {\cal R}_{il}\,{\cal R}_{jm}\,{\cal R}_{kn}\,a_{lmn}.$ (B.34)

The generalization to higher-order tensors is straightforward. For the case of a scalar, which is a zeroth-order tensor, the transformation rule is particularly simple: that is,

$\displaystyle a' = a.$ (B.35)

By analogy with Equation (B.27), the inverse transform is exemplified by

$\displaystyle a_{ijk} = {\cal R}_{li}\,{\cal R}_{mj}\,{\cal R}_{nk}\,a_{lmn}'.$ (B.36)

Incidentally, because all tensors of the same order transform in the same manner, it immediately follows that two tensors of the same order whose components are equal in one particular Cartesian coordinate system will have their components equal in all coordinate systems that can be obtained from the original system via rotation of the coordinate axes. In other words, if

$\displaystyle a_{ij} = b_{ij}$ (B.37)

in one particular Cartesian coordinate system then

$\displaystyle a_{ij}'=b_{ij}'$ (B.38)

in all Cartesian coordinate systems (with the same origin and system of units as the original system). Conversely, it does not make sense to equate tensors of different order, because such an equation would only be valid in one particular coordinate system, and so could not have any physical significance (because the laws of physics are coordinate independent).

It can easily be shown that the outer product of two tensors transforms as a tensor of the appropriate order. Thus, if

$\displaystyle c_{ijk} = a_i\,b_{jk},$ (B.39)

and

$\displaystyle a_i'$ $\displaystyle = {\cal R}_{ij}\,a_j,$ (B.40)
$\displaystyle b_{ij}'$ $\displaystyle ={\cal R}_{ik}\,{\cal R}_{jl}\,b_{kl},$ (B.41)

then

$\displaystyle c_{ijk}'$ $\displaystyle = a_i'\,b_{jk}' = {\cal R}_{il}\,a_l\,{\cal R}_{jm}\,{\cal R}_{kn}\,b_{mn} = {\cal R}_{il}\,{\cal R}_{jm}\,{\cal R}_{kn}\,a_l\,b_{mn}$    
  $\displaystyle ={\cal R}_{il}\,{\cal R}_{jm}\,{\cal R}_{kn}\,c_{lmn},$ (B.42)

which is the correct transformation rule for a third-order tensor.

The tensor transformation rule can be combined with the identity (B.29) to show that the scalar product of two vectors transforms as a scalar. Thus,

$\displaystyle a_i'\,b_i' = {\cal R}_{ij}\,a_j\,{\cal R}_{ik}\,b_k ={\cal R}_{ij}\,{\cal R}_{ik}\,a_j\,b_k = \delta_{jk}\,a_j\,b_k = a_j\,b_j=a_i\,b_i,$ (B.43)

where use has been made of Equation (B.14). Again, the previous proof is more rigorous than that given in Section A.6. The proof also indicates that the inner product of two tensors transforms as a tensor of the appropriate order.

The result that both the inner and outer products of two tensors transform as tensors of the appropriate order is known as the product rule. Closely related to this rule is the so-called quotient rule, according to which if (say)

$\displaystyle c_{ij} = a_{ik}\,b_{jk},$ (B.44)

where $ b_{jk}$ is an arbitrary tensor, and $ c_{ij}$ transforms as a tensor under all rotations of the coordinate axes, then $ a_{ik}$ --which can be thought of as the quotient of $ c_{ij}$ and $ b_{jk}$ --also transforms as a tensor. The proof is as follows:

$\displaystyle a_{ik}'\,b_{jk}'$ $\displaystyle =c_{ij}' = {\cal R}_{il}\,{\cal R}_{jm}\,c_{lm}= {\cal R}_{il}\,{...
...mk}={\cal R}_{il}\,{\cal R}_{jm}\,a_{lk}\,{\cal R}_{pm}\,{\cal R}_{qk}\,b_{pq}'$    
  $\displaystyle = {\cal R}_{il}\,{\cal R}_{qk}\,a_{lk}\,b_{jq} = {\cal R}_{il}\,{\cal R}_{km}\,a_{lm}\,b_{jk}',$ (B.45)

where use has been made of the fact that $ c_{ij}$ and $ b_{ij}$ transform as tensors, as well as Equation (B.28). Rearranging, we obtain

$\displaystyle (a_{ik}'- {\cal R}_{il}\,{\cal R}_{km}\,a_{lm})\,b_{jk}' = 0.$ (B.46)

However, the $ b_{ij}'$ are arbitrary, so the previous equation can only be satisfied, in general, if

$\displaystyle a_{ik}' = {\cal R}_{il}\,{\cal R}_{km}\,a_{lm},$ (B.47)

which is the correct transformation rule for a tensor. Incidentally, the quotient rule applies to any type of valid tensor product.

The components of the second-order identity tensor, $ \delta_{ij}$ , have the special property that they are invariant under rotation of the coordinate axes. This follows because

$\displaystyle \delta_{ij}' = {\cal R}_{ik}\,{\cal R}_{jl}\,\delta_{kl}= {\cal R}_{ik}\,{\cal R}_{jk} = \delta_{ij},$ (B.48)

where use has been made of Equation (B.28). The components of the third-order permutation tensor, $ \epsilon_{ijk}$ , also have this special property. This follows because

$\displaystyle \epsilon_{ijk}' = {\cal R}_{il}\,{\cal R}_{jm}\,{\cal R}_{ln}\,\epsilon_{lmn} = \epsilon_{ijk},$ (B.49)

where use has been made of Equation (B.31). The fact that $ \epsilon_{ijk}$ transforms as a proper third-order tensor immediately implies, from the product rule, that the vector product of two vectors transforms as a proper vector: that is, $ \epsilon_{ijk}\,a_j\,b_k$ is a first-order tensor provided that $ a_i$ and $ b_i$ are both first-order tensors. This proof is much more rigorous that that given earlier in Section A.8.


next up previous
Next: Tensor Fields Up: Cartesian Tensors Previous: Tensors and Tensor Notation
Richard Fitzpatrick 2016-03-31