Invariants of tensors

Short description: Concept in multilinear algebra and representation theory

In mathematics, in the fields of multilinear algebra and representation theory, the principal invariants of the second rank tensor 𝐀 are the coefficients of the characteristic polynomial[1]

p(λ)=det⁡(𝐀−λ𝐈),

where 𝐈 is the identity operator and λi∈ℂ are the roots of the polynomial p and the eigenvalues of 𝐀.

More broadly, any scalar-valued function f(𝐀) is an invariant of 𝐀 if and only if f(𝐐𝐀𝐐T)=f(𝐀) for all orthogonal 𝐐. This means that a formula expressing an invariant in terms of components, Aij, will give the same result for all Cartesian bases. For example, even though individual diagonal components of 𝐀 will change with a change in basis, the sum of diagonal components will not change.

The principal invariants do not change with rotations of the coordinate system (they are objective, or in more modern terminology, satisfy the principle of material frame-indifference) and any function of the principal invariants is also objective.

## Contents

* 1 Calculation of the invariants of rank two tensors
* 1.1 Principal invariants
* 1.2 Main invariants
* 1.3 Mixed invariants
* 1.4 Invariants of higher dimension
* 2 Calculation of the invariants of higher rank tensors
* 3 Engineering applications
* 3.1 Invariants of non-symmetric tensors
* 4 See also
* 5 References

## Calculation of the invariants of rank two tensors

In a majority of engineering applications, the principal invariants of (rank two) tensors of dimension three are sought, such as those for the right Cauchy-Green deformation tensor 𝐂 which has the eigenvalues λ12, λ22, and λ32. Where λ1, λ2, and λ3 are the principal stretches, i.e. the eigenvalues of 𝐔=𝐂.

### Principal invariants

For such tensors, the principal invariants are given by:

I1=tr⁡𝐀=A11+A22+A33=λ1+λ2+λ3I2=12[(tr⁡𝐀)2−tr⁡(𝐀2)]=A11A22+A22A33+A11A33−A12A21−A23A32−A13A31=λ1λ2+λ1λ3+λ2λ3I3=det⁡𝐀=−A13A22A31+A12A23A31+A13A21A32−A11A23A32−A12A21A33+A11A22A33=λ1λ2λ3

For symmetric tensors, these definitions are reduced.[2]

The correspondence between the principal invariants and the characteristic polynomial of a tensor, in tandem with the Cayley–Hamilton theorem reveals that

𝐀3−I1𝐀2+I2𝐀−I3𝐈=0

where 𝐈 is the second-order identity tensor.

### Main invariants

In addition to the principal invariants listed above, it is also possible to introduce the notion of main invariants[3][4]

J1=λ1+λ2+λ3=I1J2=λ12+λ22+λ32=I12−2I2J3=λ13+λ23+λ33=I13−3I1I2+3I3

which are functions of the principal invariants above. These are the coefficients of the characteristic polynomial of the deviator 𝐀−(tr(𝐀)/3)𝐈, such that it is traceless. The separation of a tensor into a component that is a multiple of the identity and a traceless component is standard in hydrodynamics, where the former is called isotropic, providing the modified pressure, and the latter is called deviatoric, providing shear effects. Note that J1=I1 only by convention as the deviator of any tensor has by definition zero trace.

### Mixed invariants

Furthermore, mixed invariants between pairs of rank two tensors may also be defined.[4]

### Invariants of higher dimension

These may be extracted by evaluating the characteristic polynomial directly, using the Faddeev-LeVerrier algorithm for example.

## Calculation of the invariants of higher rank tensors

The invariants of rank three, four, and higher order tensors may also be determined.[5]

## Engineering applications

A scalar function f that depends entirely on the principal invariants of a tensor is objective, i.e., independent of rotations of the coordinate system. This property is commonly used in formulating closed-form expressions for the strain energy density, or Helmholtz free energy, of a nonlinear material possessing isotropic symmetry.[6]

This technique was first introduced into isotropic turbulence by Howard P. Robertson in 1940 where he was able to derive Kármán–Howarth equation from the invariant principle.[7] George Batchelor and Subrahmanyan Chandrasekhar exploited this technique and developed an extended treatment for axisymmetric turbulence.[8][9][10]

### Invariants of non-symmetric tensors

A real tensor 𝐀 in 3D (i.e., one with a 3x3 component matrix) has as many as six independent invariants, three being the invariants of its symmetric part and three characterizing the orientation of the axial vector of the skew-symmetric part relative to the principal directions of the symmetric part. For example, if the Cartesian components of 𝐀 are

[A]=[9315480−717−5120165010901533−6101169],

the first step would be to evaluate the axial vector 𝐰 associated with the skew-symmetric part. Specifically, the axial vector has components

w1=A32−A232=−850w2=A13−A312=−1125w3=A21−A122=−5300

The next step finds the principal values of the symmetric part of 𝐀. Even though the eigenvalues of a real non-symmetric tensor might be complex, the eigenvalues of its symmetric part will always be real and therefore can be ordered from largest to smallest. The corresponding orthonormal principal basis directions can be assigned senses to ensure that the axial vector 𝐰 points within the first octant. With respect to that special basis, the components of 𝐀 are

[A′]=[1875−2500312525001250−3750−31253750625],

The first three invariants of 𝐀 are the diagonal components of this matrix: a1=A'11=1875,a2=A'22=1250,a3=A'33=625 (equal to the ordered principal values of the tensor's symmetric part). The remaining three invariants are the axial vector's components in this basis: w'1=A'32=3750,w'2=A'13=3125,w'3=A'21=2500. Note: the magnitude of the axial vector, 𝐰⋅𝐰, is the sole invariant of the skew part of 𝐀, whereas these distinct three invariants characterize (in a sense) "alignment" between the symmetric and skew parts of 𝐀. Incidentally, it is a myth that a tensor is positive definite if its eigenvalues are positive. Instead, it is positive definite if and only if the eigenvalues of its symmetric part are positive.

## See also

* Symmetric polynomial
* Elementary symmetric polynomial
* Newton's identities
* Invariant theory

## References

1. ↑ Spencer, A. J. M. (1980). Continuum Mechanics. Longman. ISBN 0-582-44282-6.
2. ↑ Kelly, PA. "Lecture Notes: An introduction to Solid Mechanics". http://homepages.engineering.auckland.ac.nz/~pkel015/SolidMechanicsBooks/Part_III/Chapter_1_Vectors_Tensors/Vectors_Tensors_11_Eigenvalue.pdf.
3. ↑ Kindlmann, G.. "Tensor Invariants and their Gradients". https://people.cs.uchicago.edu/~glk/pubs/pdf/Kindlmann-TensorInvariantsGradients-MnV-2006.pdf.
4. ↑ 4.0 4.1 Schröder, Jörg; Neff, Patrizio (2010). Poly-, Quasi- and Rank-One Convexity in Applied Mechanics. Springer.
5. ↑ Betten, J. (1987). "Irreducible Invariants of Fourth-Order Tensors". Mathematical Modelling 8: 29–33. doi:10.1016/0270-0255(87)90535-5.
6. ↑ Ogden, R. W. (1984). Non-Linear Elastic Deformations. Dover.
7. ↑ Robertson, H. P. (1940). "The Invariant Theory of Isotropic Turbulence". Mathematical Proceedings of the Cambridge Philosophical Society (Cambridge University Press) 36 (2): 209–223. doi:10.1017/S0305004100017199. Bibcode: 1940PCPS...36..209R.
8. ↑ Batchelor, G. K. (1946). "The Theory of Axisymmetric Turbulence". Proc. R. Soc. Lond. A 186 (1007): 480–502. doi:10.1098/rspa.1946.0060. Bibcode: 1946RSPSA.186..480B.
9. ↑ Chandrasekhar, S. (1950). "The Theory of Axisymmetric Turbulence". Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 242 (855): 557–577. doi:10.1098/rsta.1950.0010. Bibcode: 1950RSPTA.242..557C.
10. ↑ Chandrasekhar, S. (1950). "The Decay of Axisymmetric Turbulence". Proc. R. Soc. A 203 (1074): 358–364. doi:10.1098/rspa.1950.0143. Bibcode: 1950RSPSA.203..358C.

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/Invariants of tensors. Read more

|

Retrieved from "https://handwiki.org/wiki/index.php?title=Invariants_of_tensors&oldid=4415183"