A logarithmic minimization property of the unitary polar factor in the spectral norm and the Frobenius matrix norm

Abstract

The unitary polar factor $Q=U$ in the polar decomposition of the matrix $Z=UH$ is the minimizer for both $\Vert \mathrm{Log}(Q^{\ast }Z){\Vert }^2$ and its Hermitian part $\Vert \mathrm{symLog}(Q^{\ast }Z){\Vert }^2$ over both $\mathbb{R}$ and $\mathbb{C}$, for any given invertible matrix $Z$ in ${\mathbb{C}}^{n\times n}$ and any matrix logarithm $\mathrm{Log}$, not necessarily the principal logarithm $\log$. We prove this for the spectral matrix norm in any dimension and for the Frobenius matrix norm in two and three dimensions. The result shows that the unitary polar factor is the nearest orthogonal matrix to $Z$ not only in the normwise sense, but also in a geodesic distance. The derivation is based on Bhatia's generalization of Bernstein's trace inequality for the matrix exponential and a new sum of squared logarithms inequality.

32 pages

References in corpus (1)

• A Riemannian approach to strain measures in nonlinear elasticity

Cited by in corpus (7)

• Geometry of logarithmic strain measures in solid mechanics
• The exponentiated Hencky-logarithmic strain energy. Part II: Coercivity, planar polyconvexity and existence of minimizers
• A Riemannian approach to strain measures in nonlinear elasticity
• The exponentiated Hencky-logarithmic strain energy. Improvement of planar polyconvexity
• The exponentiated Hencky strain energy in modelling tire derived material for moderately large deformations
• Minimal geodesics on GL(n) for left-invariant, right-O(n)-invariant Riemannian metrics
• Logarithmic inequalities under an elementary symmetric polynomial dominance order