Inequalities involving unitarily invariant norms and operator monotone functions
Fumio Hiai,Xingzhi Zhan
DOI: https://doi.org/10.1016/S0024-3795(01)00353-6
IF: 1.307
2002-01-01
Linear Algebra and its Applications
Abstract:Let ∥·∥ be a unitarily invariant norm on matrices. For matrices A,B,X with A,B positive semidefinite and X arbitrary, we prove that the function t↦∥|AtXB1−t|r∥·∥|A1−tXBt|r∥ is convex on [0,1] for each r>0. This convexity result interpolates the matrix Cauchy–Schwarz inequality ∥|A1/2XB1/2|r∥2⩽∥|AX|r∥·∥|XB|r∥ due to R. Bhatia and C. Davis [Linear Algebra Appl. 223/224 (1995) 119], and also it generalizes A.W. Marshall and I. Olkin's [Pacific J. Math. 15 (1965) 241] result that the condition number ∥As∥·∥A−s∥ is increasing in s>0. We prove that if f(t) is a nonnegative operator monotone function on [0,∞) and ∥·∥ is a normalized unitarily invariant norm, then f(∥X∥)⩽∥f(|X|)∥ for every matrix X. The special case when f(t)=tr (0<r⩽1) is used to consider the monotonicity of p↦∥Ap+Bp∥1/p as well as p↦∥(Ap+Bp)1/p∥. Furthermore, we obtain some norm inequalities of Hölder and Minkowski types related to the expression ∥|A|p+|B|p∥1/p. For example, comparisons are made between ∥C*A+D*B∥ and ∥|A|p+|B|p∥1/p·∥|C|q+|D|q∥1/q, where p−1+q−1=1.