EXTENSIONS OF INTERPOLATION BETWEEN THE ARITHMETIC-GEOMETRIC MEAN INEQUALITY FOR MATRICES M. BAKHERAD 1, R. LASHKARIPOUR AND M. HAJMOHAMADI 3 arxiv:1708.0586v1 [math.fa] 19 Aug 017 Abstract. In this paper, we present some extensions of interpolation between the arithmetic-geometric means inequality. Among other inequalities, it is shown that if A,B,X are n n matrices, then AXB f 1 A AXg 1 B B f A AXg B B, where f 1,f,g 1,g are non-negative continues functions such that f 1 tf t = t and g 1 tg t = t t 0. We also obtain the inequality AB pa A m p +B B s A A n +pb B t p, in which m,n,s,t are real numbers such that m+n = s+t = 1, is an arbitrary unitarily invariant norm and p [0,1]. 1. Introduction and preliminaries LetM n bethec -algebraofalln ncomplexmatricesand, bethestandardscalar product in C n with the identity I. The Gelfand map ft fa is an isometrical - isomorphismbetween thec -algebracspaofcontinuousfunctionsonthespectrum spa of a Hermitian matrix A and the C -algebra generated by A and I. A norm on M n is said to be unitarily invariant norm if UAV = A, for all unitary matrices U and V. For A M n, let s 1 A s A s n A denote the singular values of A, i.e. the eigenvalues of the positive semidefinite matrix A = A A 1 arranged in a decreasing order with their multiplicities counted. Note that s j A = s j A = s j A 1 j n and A = s 1 A. The Ky Fan norm of a matrix A is defined as A k = k s ja 1 k n. The Fan dominance theorem asserts that A k B k for k = 1,,,n if and only if A B for every unitarily invariant norm see [8, p.93]. The Hilbert-Schmidt norm is defined by A = n s ja 1/, where is unitarily invariant. 010 Mathematics Subject Classification. Primary 47A64, Secondary 15A60. Key words and phrases. Arithmetic-geometric mean, Unitarily invariant norm, Hilbert-Schmidt norm, Cauchy-Schwarz inequality. 1
M. BAKHERAD, R. LASHKARIPOUR, M. HAJMOHAMADI The classical Cauchy-Schwarz inequality for a j 0, b j 0 1 j n states that n n n a j b j with equality if and only if a 1,,a n and b 1,,b n are proportional [11]. Bhatia and Davis gave a matrix Cauchy-Schwarz inequality as follows a j AXB A AX XB B 1.1 where A,B,X M n. For further information about the Cauchy-Schwarz inequality, see [4, 6, 7] and references therein. Recently, Kittaneh et al. [3] extended inequality 1.1 to the form AXB A A p XB B A A XB B p, 1. where A,B,X M n and p [0,1]. Audenaert [] proved that for all A,B M n and all p [0,1], we have AB pa A+B B A A+pB B. 1.3 In [14], the authors generalized inequality 1.3 for all A,B,X M n and all p [0,1] to the form AXB pa AX +XB B A AX +pxb B. 1.4 Inequality 1.4 interpolates between the arithmetic-geometric mean inequality. In [3], the authors showed a refinement of inequality 1.4 for the Hilbert-Schmidt norm as follows AXB pa AX +XB B r A AX XB B A AX +pxb B r A AX XB B, 1.5 in which A,B,X M n, p [0,1] and r = min{p,}. The Young inequality for every unitarily invariant norm states that A p B pa+b, where A,B are positive definite matrices and p [0,1] see [1] and also [5]. Kosaki [10] extended the last inequality for the Hilbert-Schmidt norm as follows A p XB pax +XB, 1.6 where A,B are positive definite matrices, X is any matrix and p [0,1]. In [9], the authors considered as a refined matrix Young inequality for the Hilbert-Schmidt norm A p XB +r AX XB pax +XB, 1.7 b j
EXTENSIONS OF INTERPOLATION BETWEEN THE ARITHMETIC-GEOMETRIC 3 inwhich A,B arepositive semidefinite matrices, X M n, p [0,1]andr = min{p,1 p}. Based on the refined Young inequality 1.7, Zhao and Wu [13] proved that A p XB +r 0 A 1 XB 1 AX + AX XB pax +XB, for 0 < p 1 and A p XB +r 0 A 1 XB 1 XB +p AX XB pax +XB, for 1 < p < 1 such that r = min{p,} and r 0 = min{r,1 r}. 1.8 In this paper, we obtain some operator and unitarily invariant norms inequalities. Among other results, we obtain a refinement of inequality 1.5 and we also extend inequalities 1., 1.3 and 1.5 for the function ft = t p p R.. Main results In this section, by using some ideas of [3] we extend the Audenaert results for the operator norm. Theorem.1. Let A,B,X M n and f 1,f,g 1,g be non-negative continues functions such that f 1 tf t = t and g 1 tg t = t t 0. Then Proof. It follows from AXB f 1 A AXg 1 B B f A AXg B B..1 AXB = BX A AXB = s 1 BX A AXB = λ max BX A AXB sincebx A AXB is positive semidefinite = λ max X A AXB B = λ max X f 1 A Af A AXg B Bg 1 B B = λ max g1 B BX f 1 A Af A AXg B B g 1 B BX f 1 A Af A AXg B B g 1 B BX f 1 A A f A AXg B B = f 1 A AXg 1 B B f A AXg B B
4 M. BAKHERAD, R. LASHKARIPOUR, M. HAJMOHAMADI that we get the desired result. Corollary.. If A,B,X M n and m,n,s,t are real numbers such that m + n = s+t = 1, then AXB A A m XB B s A A n XB B t.. In the next results, we show some generalizations of inequality 1.3 for the operator norm. Corollary.3. Let A,B M n and let f 1,f,g 1,g be non-negativecontinues functions such that f 1 tf t = t and g 1 tg t = t t 0. Then AB pf 1 A A 1 p +g1 B B 1 f A A 1 +pg B B 1 p, where p [0,1]. Proof. Using Theorem.1 for X = I we have AB f 1 A Ag 1 B B f A Ag B B = f 1 A A 1 p p g 1 B B 1 f A A 1 g B B p 1 p pf 1 A A 1 p +g1 B B 1 f A A 1 +pg B B 1 p by the Young inequality. Corollary.4. Let A,B M n and let f,g be non-negative continues functions such that ftgt = t t 0. Then AB pfa A+gB B 1 fa A+pgB B 1 pga A+fB B 1 ga A+pfB B 1, where p [0,1].
EXTENSIONS OF INTERPOLATION BETWEEN THE ARITHMETIC-GEOMETRIC 5 Proof. Applying Theorem.1 and the Young inequality we get AB 4 fa A 1 gb B 1 ga A 1 fb B 1 by Theorem.1 for f and g fa A p gb B fa A gb B p ga A p fb B ga A fb B p by inequality. pfa A+gB B fa A+pgB B pga A+fB B ga A+pfB B by the Young inequality. 3. Some interpolations for unitarily invariant norms In this section, by applying some ideas of [3] we generalize some interpolations for an arbitrary unitarily invariant norm. Let Q k,n denote the set of all strictly increasing k-tuples chosen from 1,,,n, i.e. I Q k,n if I = i 1,i,,i k, where 1 i 1 < i < < i k n. The following lemma gives some properties of the kth antisymmetric tensor powers of matrices in M n ; see [8, p.18]. Lemma 3.1. Let A,B M n. Then a k A k B = k AB for k = 1,,n. b k A = k A for k = 1,,n. c k A 1 = k A 1 for k = 1,,n. d If s 1,s,,s n are the singular values of A, then the singular values of k A are s i1,s i,,s ik, where i 1,i,,i k Q k,n. Now, we show inequality. for an arbitrary unitarily invariant norm. Theorem 3.. Let A,B,X M n and be an arbitrary unitarily invariant norm. Then AXB A A m XB B s A A n XB B t, 3.1
6 M. BAKHERAD, R. LASHKARIPOUR, M. HAJMOHAMADI where m,n,s,t are real numbers such that m+n = s+t = 1. In particular, if A, B are positive definite where p [0,1]. A 1 XB 1 A p XB A XB p, 3. Proof. If we replace A, B and X by k A, k B and k X, their kth antisymmetric tensor powers in inequality.1 and apply Lemma 3.1, then we have that is equivalent to k AXB k A A m XB B s k A A n XB B t s 1 k AXB s 1 k A A m XB B s s 1 k A A n XB B t. Applying Lemma 3.1d, we have k s j AXB k k s 1 j A A m XB B s s 1 j A A n XB B t k s 1 j A A m XB B s s 1 j A A n XB B t, 3.3 where k = 1,,n. Inequality 3.3 implies that k s j AXB k s 1 j A A m XB B s s 1 j A A n XB B t k s j A A m XB B s 1 k s j A A n XB B t 1 by the Cauchy-Schwarz inequality, where k = 1,,n. Hence AXB k A A m XB B s k A A n XB B t k. Now, using the Fan dominace theorem [8, p.98], we get the desired result. Now, by using inequality 3., Theorem 3. and a same argument in the proof of Corollaries.3 and.4, we get the following results that these inequalities are some generalizations of the Audenaert inequality 1.3.
EXTENSIONS OF INTERPOLATION BETWEEN THE ARITHMETIC-GEOMETRIC 7 Corollary 3.3. Let A,B M n, m,n,s,t be real numbers such that m+n = s+t = 1 and be an arbitrary unitarily invariant norm. Then AB pa A m p +B B s A A n +pb B t p, where p [0,1]. Corollary 3.4. Let A,B M n, m,n,s,t be real numbers such that m+n = s+t = and be an arbitrary unitarily invariant norm. Then AB pa A m +B B s 1 A A m +pb B s 1 in which p [0,1]. pa A n +B B t 1 A A n +pb B t 1, 3.4 Remark 3.5. If we put n = m = s = t = 1 in inequality 3.4, then we obtain the Audenaert inequality 1.3. Also, if we use inequality 1.6, Corollaries 3.3 and 3.4, then similar to Corollaries.3 and.4 we get the following inequalities AXB pa A m p X +XB B s A A n X +pxb B t p, 3.5 where A,B M n, m,n,s,t are real numbers such that m+n = s+t = 1, p [0,1] and AXB pa A m X +XB B s 1 A A m X +pxb B s 1 pa A n X +XB B t 1 A A n X +pxb B t 1 for A,B M n, real numbers m,n,s,t such that m + n = s + t = and p [0,1]. These inequalities are generalizations of 1.4 for the Hilbert-Schmidt norms. In the following theorem, we show a refinement of inequality 3.5 for the Hilbert- Schmidt norm. Theorem 3.6. Let A,B,X M n. Then pa AXB A m p X +XB B s A A n X +pxb B t p r A A m p X XB B s r A A n X XB B t p in which m,n,s,t are real numbers such that m + n = s + t = 1, p [0,1] and r = min{p,}.,
8 M. BAKHERAD, R. LASHKARIPOUR, M. HAJMOHAMADI Proof. Using inequality 3.1, we obtain AXB A A m XB B s A A n XB B t px X p = A A m p B B s A A n B B p t pa A m p X +XB B s A r A m p X XB B s A A n X +pxb B t p A r A n X XB B t p, where p [0,1] and r = min{p,}, and the proof is complete. Theorem 3.6 includes a special case as follows. Corollary 3.7. [3, Theorem.5] Let A,B,X M n. Then AXB pa AX +XB B r A AX XB B A AX +pxb B r A AX XB B, where p [0,1] and r = min{p,}. Proof. For p [0,1], if we put m = t = p and n = s = in Theorem 3.6, then we get the desired result. The next result is a refinement of inequality 1.5. Theorem 3.8. Let A,B,X M n C and let p 0,1. Then i for 0 < p 1, AXB pa AX +XB B r 0 A A 1 XB B 1 1 A AX A AX XB B A AX +pxb B r 0 A A 1 XB B 1 1 A AX p A AX XB B. ii for 1 < p < 1, AXB pa AX +XB B r 0 A A 1 XB B 1 1 XB B A AX XB B A AX +pxb B r 0 A A 1 XB B 1 1 XB B p A AX XB B, where r = min{p,} and r 0 = min{r,1 r}. 3.6 3.7
EXTENSIONS OF INTERPOLATION BETWEEN THE ARITHMETIC-GEOMETRIC 9 Proof. The proof of inequality 3.7 is similar to that of inequality 3.6. Thus, we only need to prove the inequality 3.6. If0 < p 1, thenwereplaceaandb bya AandB B ininequality 1.8, respectively, we have A A p XB B pa AX +XB B r 0 A A 1 XB B 1 A AX A AX XB B Interchanging the roles of p and in the inequality 3.8, we get A A XB B p A AX +pxb B r 0 A A 1 XB B 1 A AX p A AX XB B 1 1. 3.8. 3.9 Applying inequalities 3.1, 3.8 and 3.9, we get the desired result. Corollary 3.9. Let A,B M n C and p 0,1. Then i for 0 < p 1, AB pa A+B B r 0 A A 1 B B 1 1 A A A A B B A A+pB B r 0 A A 1 B B 1 1 A A p A A B B. ii for 1 < p < 1, AB pa A+B B r 0 A A 1 B B 1 1 B B A A B B A A+pB B r 0 A A 1 B B 1 1 B B p A A B B, where r = min{p,} and r 0 = min{r,1 r}. We would like obtain upper bound for AXB, for every unitary invariant norm. The following lemma hasbeen shown in[1], andconsidered asarefined matrixyoungs inequality for every unitary invariant norm. Lemma 3.10. Let A,B,X M n such that A,B are positive semidefinite. Then for 0 p 1, we have A p XB +r 0 AX XB p AX + XB, 3.10 where r 0 = min{p,}.
10 M. BAKHERAD, R. LASHKARIPOUR, M. HAJMOHAMADI Proposition 3.11. Let A,B,X M n. Then 1 AXB p A AX + XB B r 0 A AX XB B A AX +p XB B r 0 A AX XB B 1, where p [0,1] and r 0 = min{p,}. Proof. In inequality 3.10, we put A = A A and B = B B, we get A A p XB B p A AX + XB B r 0 A AX XB B 1. Interchanging p with in inequality 3.11, we get A A XB B p 3.11 A AX +p XB B r 0 A AX XB B 1. 3.1 Now by inequalities 3.1, 3.11 and 3.1 we get the desired inequality. References 1. T. Ando, Matrix Young inequality, J. Oper. Theor. Adv. Appl. 75 1995, 33 38.. K.M.R. Audenaert, Interpolating between the arithmetic-geometric mean and Cauchy-Schwarz matrix norm inequalities, Oper. Matrices. 9 015 475 479. 3. M. Al-khlyleh and F. Kittaneh, Interpolating inequalities related to a recent result of Audenaert, Linear Multilinear Algebra 65 017, no. 5, 9 99. 4. M. Bakherad, Some Reversed and Refined Callebaut Inequalities Via Kontorovich Constant, Bull. Malay. Math. Sci. Soc. to appear, doi: 10.1007/s40840-016-0364-9. 5. M. Bakherad, M. Krnic and M.S. Moslehian, Reverse Young-type inequalities for matrices and operators, Rocky Mountain J. Math. 46 016, no. 4, 1089 1105. 6. M. Bakherad and M.S. Moslehian, Reverses and variations of Heinz inequality, Linear Multilinear Algebra 63 015, no. 10, 197 1980. 7. M. Bakherad and M.S. Moslehian, Complementary and refined inequalities of Callebaut inequality for operators, Linear Multilinear Algebra 63 015, no. 8, 1678 169. 8. R. Bhatia, Matrix analysis, New York NY: Springer-Verlag; 1997. 9. O. Hirzallah and F. Kittaneh, Matrix Young inequalities for the Hilbert-Schmidt norm, Linear Algebra Appl. 308 000 77 84. 10. H. Kosaki, Arithmetic-geometric mean and related inequalities for operators, J. Funct. Anal. 156 1998, 49 451. 11. D.S. Mitrinović, J.E. Pečarić and A.M Fink, Classical and New Inequalities in Analysis, Kluwer Academic, 1993. 1. M. Sababheh, Interpolated inequalities for unitarily invariant norms, Linear Algebra Appl. 475 015, 40-50.
EXTENSIONS OF INTERPOLATION BETWEEN THE ARITHMETIC-GEOMETRIC 11 13. J. Zho and J. Wu, Operator inequalities involving improved Young and its reverse inequalities, J. Math. Anal. Appl. 41 015, 1779 1789. 14. L. Zou and Y. Jiang, A note on interpolation between the arithmetic geometric mean and Cauchy- Schwarz matrix norm inequalities, J. Math. Inequal. 10 016, no. 4, 1119 11. 13 Department of Mathematics, Faculty of Mathematics, University of Sistan and Baluchestan, Zahedan, I.R.Iran. E-mail address: 1 mojtaba.bakherad@yahoo.com; bakherad@member.ams.org E-mail address: lashkari@hamoon.usb.ac.ir E-mail address: monire.hajmohamadi@yahoo.com