Sum of squared logarithms - An inequality relating positive definite matrices and their matrix logarithm

Let y1, y2, y3, a1, a2, a3 > 0 be such that y1 y2 y3 = a1 a2 a3 and y1 + y2 + y3 >= a1 + a2 + a3, y1 y2 + y2 y3 + y1 y3 >= a1 a2 + a2 a3 + a1 a3. Then the following inequality holds (log y1)^2 + (log y2)^2 + (log y3)^2 >= (log a1)^2 + (log a2)^2 + (log a3)^2. This can also be stated in terms of real positive definite 3x3-matrices P1, P2: If their determinants are equal det P1 = det P2, then tr P1 >= tr P2 and tr Cof P1 >= tr Cof P2 implies norm(log P1) >= norm(log P2), where log is the principal matrix logarithm and norm(P) denotes the Frobenius matrix norm. Applications in matrix analysis and nonlinear elasticity are indicated.

No reviews yet.

No comments yet.