A difference counterpart to a matrix Hölder inequality
type: Item
instance of: scholarly article
title: A difference counterpart to a matrix Hölder inequality
zbMATH Open document ID: 1189.15028
author: Masatoshi Fujii
author: Eun-Young Lee
author: Yuki Seo
published in: Linear Algebra and its Applications
publication date: 2010-04-06T00:00:00Z
review text: Let \(A,A_1,\dots,A_n,B,B_1,\dots B_n\) be Hermitian positive definite matrices of the same dimension. Assume that there are real numbers \(0<m\leq M\) such that (under the Löwner partial ordering) \(0<mA_i\leq B_i\leq MA_i\) for all~\(i=1,\dots,n\). Define the geometric mean of \(A\) and \(B\) by~\(A\,\sharp\,B= A^\frac{1}{2} (A^{-\frac{1}{2}}BA^{-\frac{1}{2}})^\frac{1}{2}A^\frac{1}{2}\). The authors prove that the matrix Cauchy-Schwarz inequality has a ``difference type reverse'' \[ \big(\sum_{i=1}^nA_i\big)\,\sharp\,\big(\sum_{i=1}^nB_i\big)- \sum_{i=1}^nA_i\,\sharp\,B_i\leq \frac{(\sqrt{M}-\sqrt{m})^2}{4(\sqrt{M}+\sqrt{m})} \sum_{i=1}^nA_i \] and, more generally, that the matrix Hölder inequality has such a reverse \[ \big(\sum_{i=1}^nA_i\big)\,\sharp_\alpha\,\big(\sum_{i=1}^nB_i\big)- \sum_{i=1}^nA_i\,\sharp_\alpha\,B_i\leq -C(m,M,\alpha) \sum_{i=1}^nA_i. \] Here \(0\leq\alpha\leq 1\), \(A\,\sharp_\alpha\,B= A^\frac{1}{2}(A^{-\frac{1}{2}}BA^{-\frac{1}{2}})^\alpha A^\frac{1}{2}\), and \[ C(m,M,\alpha)=(\alpha-1)\Big(\frac{M^\alpha-m^\alpha} {\alpha(M-m)}\Big)^\frac{\alpha}{\alpha-1}+ \frac{Mm^\alpha-mM^\alpha}{M-m}. \] (The first summand should be regarded as the corresponding limit if \(\alpha=0\) or \(\alpha=1\).) These results follow from more general lemmas on positive maps between matrix spaces. As an application, the authors prove that the relative operator entropy \[ S(A\,|\,B)=A^\frac{1}{2} (\log A^{-\frac{1}{2}}BA^{-\frac{1}{2}})A^\frac{1}{2}= \lim_{\alpha\to 0}\frac{A\,\sharp_\alpha\,B-A}{\alpha}, \] due to \textit{J.~I.~Fujii} and \textit{E.~Kamei} [Math. Japon. 34, 341--348 (1989; Zbl 0699.46048)], satisfies \[ S\big(\sum_{i=1}^nA_i\,|\,\sum_{i=1}^nB_i\big)- \sum_{i=1}^nS(A_i\,|\,B_i)\leq\log{S(h)\sum_{i=1}^nA_i}. \] Here the Specht ratio \[ S(h)=\frac{(h-1)h^\frac{1}{h-1}}{\mathrm{e}\log{h}}\,\, (h\neq 1),\quad S(1)=1,\quad h=\frac{M}{m}. \]
Mathematics Subject Classification ID: 15A45
Mathematics Subject Classification ID: 15A60
Mathematics Subject Classification ID: 15B48
Mathematics Subject Classification ID: 26E60
zbMATH DE Number: 5689422
zbMATH Keywords: geometric mean
zbMATH Keywords: Cauchy-Schwarz inequality
zbMATH Keywords: positive linear maps
zbMATH Keywords: reverse inequalities
zbMATH Keywords: relative operator entropy
zbMATH Keywords: Specht ratio
zbMATH Keywords: Hermitian positive definite matrices
zbMATH Keywords: Löwner partial ordering
zbMATH Keywords: matrix Hölder inequality
reviewed by: Jorma K. Merikoski
MaRDI profile type: Publication
full work available at URL: j.laa.2009.12.002
OpenAlex ID: W2004224140
cites work: Matrix versions of some classical inequalities
cites work: A matrix reverse Hölder inequality
cites work: Q3477514
cites work: Q4305837
cites work: Operator inequalities associated with \(A\log A\) via Specht ratio.
cites work: Means of positive linear operators
cites work: A matrix reverse Cauchy-Schwarz inequality
cites work: A note on the entropy for operator algebras
cites work: Zur Theorie der elementaren Mittel
DOI: 10.1016/J.LAA.2009.12.002
description: scientific article; zbMATH DE number 5689422