Polar decomposition in continuum mechanics (source code)

= Polar decomposition in continuum mechanics
{title2=$F=RU=VR$}

For an orientation-preserving invertible <deformation gradient>, the <polar decomposition of an invertible real matrix> separates a rotation $R$ from the <right stretch tensor> $U$ or the <left stretch tensor> $V$. The rotation is shared by the two factorizations, with $V=RUR^T$.