Invariants of tensors

From Wikipedia, the free encyclopedia

This article or section is in need of attention from an expert on the subject.

WikiProject Mathematics or the Mathematics Portal may be able to help recruit one.

If a more appropriate WikiProject or portal exists, please adjust this template accordingly.

In mathematics, in the fields of multilinear algebra and representation theory, invariants of tensors are coefficients of the characteristic polynomial of the tensor A:

$\ \det (\mathbf{A}-\lambda \mathbf{E}) = 0$

The first invariant of an n×n tensor A ( $I A$ ) is the coefficient for $λ n - 1$ (coefficient for $λ n$ is always 1), the second invariant ( $I I A$ ) is the coefficient for $λ n - 2$ , etc., the n-th invariant is the free term.

The definition of the invariants of tensors and specific notations used through out the article were introduced into the field of Rheology by Ronald Rivlin and became extremely popular there. In fact even the trace of a tensor $A$ is usually denoted as $I A$ in the textbooks on rheology.

1 Properties
2 Calculation of the invariants of symmetric 3×3 tensors
3 Engineering application
4 See also
5 References

[edit] Properties

The first invariant (trace) is always the sum of the diagonal components:

$\ I_A=A_{11}+A_{22}+ \dots + A_{nn}=\mathrm{tr}(\mathbf{A})$

The n-th invariant is just $\pm \det \mathbf{A}$ , the determinant of $\mathbf{A}$ (up to sign).

The invariants do not change with rotation of the coordinate system (they are objective). Obviously, any function of the invariants only is also objective.

[edit] Calculation of the invariants of symmetric 3×3 tensors

Most tensors used in engineering are symmetric 3×3. For this case the invariants can be calculated as:

$\ I_A= tr(\mathbf{A}) = A_{11}+A_{22}+A_{33}=A_1+A_2+A_3$

$\ II_A= \frac{1}{2} \left( tr(\mathbf{A})^2 - \mathbf{A}^T \cdot \mathbf{A} \right) = A_{11}A_{22}+A_{22}A_{33}+A_{11}A_{33}-A_{12}^2-A_{23}^2-A_{13}^2 =A_1A_2+A_2A_3+A_1A_3$

$\ III_A=\det (\mathbf{A})= A_1 A_2 A_3$

where $A 1$ , $A 2$ , $A 3$ are the eigenvalues of tensor A.

Because of the Cayley-Hamilton theorem the following equation is always true:

$\ \mathbf{A}^3 - I_A \mathbf{A}^2 +II_A \mathbf{A} -III_A \mathbf{E}= 0$

where E is the 2nd order Identity Tensor.

A similar equation holds for tensors of higher order.

[edit] Engineering application

A scalar valued tensor function f that depends merely on the three invariants of a symmetric 3×3 tensor $\mathbf{A}$ is objective, i.e., independent from rotations of the coordinate system. Thus objectivity is fulfilled if

$\ f\ (A_{ij})=f(I_A,II_A,III_A)$ .

Moreover, the mere dependence on this tensor's invariants is a necessary condition for the objectivity of the function. Reason behind is that the tensor's six degrees of freedom are reduced by three degrees of freedom for arbitrary rotation in three dimensional space. Therefore, the objective function depends at most on three degrees of freedom.

A common application to this is the evaluation of the potential energy as function of the deformation tensor (stress and strain tensors). Exhausting the above theorem the energy potential reduces to a function of 3 scalar parameters rather than 6. Consequently, experimental fits and computational efforts may be eased significantly.

[edit] See also

[edit] References

This article does not cite any references or sources. (October 2007)
Please help improve this article by adding citations to reliable sources. Unverifiable material may be challenged and removed.