International
Tables for Crystallography Volume D Physical properties of crystals Edited by A. Authier © International Union of Crystallography 2006 |
International Tables for Crystallography (2006). Vol. D. ch. 1.2, pp. 51-52
Section 1.2.4.1. Transformation properties of tensors
a
Institute for Theoretical Physics, University of Nijmegen, 6524 ED Nijmegen, The Netherlands |
A vector is an element of an N-dimensional vector space that transforms under an orthogonal transformation, an element of ), as A tensor of rank r under is an object with components () that transforms as (see Section 1.1.3.2 )A rank-zero tensor is a scalar, which is invariant under . A pseudovector (or axial vector) has components and transforms according to and analogously for pseudotensors (or axial tensors – see Section 1.1.4.5.3 ).
A vector field is a vector-valued function in n-dimensional space. Under an orthogonal transformation it transforms according to Under a Euclidean transformation, the function transforms according to In a similar way, one has (pseudo)tensor functions under the orthogonal group or the Euclidean group. So it is important to specify under what group an object is a tensor, unless no confusion is possible.
The n-dimensional vectors form a vector space that carries a representation of the group O(n). Moreover, it is an irreducible representation space. To stress this fact, one could speak of irreducible tensors and vectors. Vectors are here just rank-one tensors. The three-dimensional Euclidean vector space carries in this way an irreducible representation of O(3). Such representations are characterized by an integer l and are -dimensional. The usual three-dimensional space is therefore an irreducible space for O(3).
Since point groups are subgroups of the orthogonal group and space groups are subgroups of the Euclidean group, tensors inherit their transformation properties from their supergroups. As we have seen in Sections 1.2.2.3 and 1.2.2.7, one can also define tensors in a quite abstract way. Irreducible tensors under a group are then elements of a vector space that carries an irreducible representation of that group. Generally, tensors are elements of a vector space that carries a tensor product representation and (anti)symmetric tensors belong to a space with an (anti)symmetrized tensor product representation.
Because the point groups one usually considers in physics are subgroups of O(2) or O(3), it is useful to consider the irreducible representations of these groups. They are not finite, but they are compact, and for compact groups most of the theorems for finite groups are still valid if one replaces sums over group elements by integration over the group.
The group O(3) is the direct product . Therefore, there are even and odd representations. They have the property The irreducible representations are labelled by non-negative integers and have character if R is a rotation with rotation angle . From the character it follows that the dimension of the representation is equal to .
The tensor product of two irreducible representations of SO(3) is generally reducible: and the symmetrized and antisymmetrized tensor products are
If the components of the tensor are taken with respect to an orthonormal basis, the tensor is called a Cartesian tensor. The orthogonal transformation R then is represented by an orthogonal matrix . Cartesian tensors of higher rank than one are generally no longer irreducible for the group O(n). For example, the rank-two tensors in three dimensions have nine components . Under SO(3), they transform according to the tensor product of two representations. Because the space of rank 2 Cartesian tensors is the direct sum of three invariant subspaces. This corresponds to the fact that a general rank 2 tensor can be written as the sum of a diagonal tensor, an antisymmetric tensor and a symmetric tensor with trace zero. These three tensors are irreducible tensors, in this case also called spherical tensors, i.e. irreducible tensors for the orthogonal group.
An irreducible tensor with respect to the group transforms, in general, according to some reducible representation of a point group . If the group K is a symmetry of the physical system, the tensor should be invariant under K, i.e. it should transform according to the identity representation of K.
Consider, for example, a symmetric second-rank tensor under . This means that it belongs to the space that transforms according to the representation [see (1.2.4.6)]. If the symmetry group of the system is the point group , the representation has characterand is equivalent to the direct sumThe multiplicity of is one. Therefore, the space of tensors invariant under K is one-dimensional. Consequently, there is only one parameter left to describe such a symmetric second-rank tensor invariant under the cubic group . Noninvariant symmetric second-rank tensors are sums of tensors which transform according to the and representations. Here we are especially interested in invariant tensors.