With the right Cauchy-Green deformation tensor , the Green-Lagrange strain tensor measures the change in the material metric. Since , its work-conjugate stress and strain partner is the second Piola-Kirchhoff stress tensor . The formula follows by cycling factors in , not by identifying nominal and symmetric material stress.
For the polar decomposition of an invertible real matrix, start with . For nonzero , , since makes invertible. The spectral theorem for real symmetric matrices gives an orthonormal basis with and . Define
Then is a positive-definite symmetric matrix, , and
because . Thus is an orthogonal matrix with positive determinant. Set ; it too is a positive-definite symmetric matrix, and . Moreover . This proves
The positive square root is unique: any positive symmetric square root of commutes with , preserves its eigenspaces and has the positive scalar square root on each of them. Hence , then and , are unique. These are the right stretch tensor, rotation and left stretch tensor of the polar decomposition in continuum mechanics.
A standard spectral strain measure is
Take , and , with strictly increasing; the customary stronger condition gives a regular one-to-one parameterization of all positive principal stretches. The zero condition makes a rigid rotation strain free, monotonicity distinguishes extension from contraction and prevents nonunit stretch from being strain free, and the derivative normalization gives the ordinary infinitesimal strain. Indeed, for ,
Under a superposed spatial rotation , and hence remain unchanged, giving material frame indifference. Choosing satisfies all these conditions and gives the Biot strain tensor
The meaning of work-conjugate stress and strain here is that a symmetric material tensor satisfies
for every admissible rate, with both powers measured per reference volume. To keep the nominal-stress index convention explicit, write , so and the power is . Differentiating gives , where is skew. Conservation of angular momentum gives symmetry of , or equivalently of . Therefore
The first term vanishes because a symmetric tensor has zero contraction with a skew tensor. Since , the symmetric Biot stress is
If the nominal stress is instead stored spatial-index first as , the same answer is . The symmetrization is essential: need not itself be symmetric.
Let be an invertible, orientation-preserving deformation gradient, with . To prove Nanson's formula, take two reference surface tangent vectors . Their current images are , and their oriented area vectors are proportional to and . For every vector , the scalar triple product gives
Thus , and
This proof also identifies the area transformation as the cofactor of , rather than a transformation by itself.
Use the paper's material-index-first nominal stress tensor . Equality of force on the same material surface in its two configurations gives . Substitute the area transformation to obtain
Here is the Kirchhoff stress tensor. With symmetric Cauchy stress tensor, the matrix forms are and . This is the transpose of the first Piola-Kirchhoff stress tensor; keeping the index convention prevents a spurious transpose later.
For the velocity gradient , let be the rate-of-strain tensor. Then the reference-volume mechanical power is
The last step uses stress symmetry, as supplied by angular-momentum balance in an ordinary continuum without couple stresses: a symmetric tensor has zero contraction with the skew part of .
By work-conjugate stress and strain, a pair must satisfy for every deformation rate, with both sides measured per reference volume. For the Green-Lagrange strain tensor, set and calculate
Cyclically rearranging the contraction shows . Hence the symmetric conjugate is
the second Piola-Kirchhoff stress tensor.
The inverse right Cauchy-Green strain is , because . Differentiating gives
Consequently , and
The two stress measures have a geometric interpretation in the convected coordinate net. Its basis vectors are and its reciprocal basis is . The entries of are the contravariant components in , whereas are the covariant components, equivalently . They describe the same spatial Kirchhoff stress tensor in a deforming, generally nonorthonormal coordinate net.