Matrix Hölder-McCarthy inequality via matrix geometric means (Q782519): Difference between revisions
From MaRDI portal
ReferenceBot (talk | contribs) Changed an Item |
Normalize DOI. |
||
Property / DOI | |||
Property / DOI: 10.1007/s43036-020-00044-y / rank | |||
Property / DOI | |||
Property / DOI: 10.1007/S43036-020-00044-Y / rank | |||
Normal rank |
Revision as of 09:29, 9 December 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Matrix Hölder-McCarthy inequality via matrix geometric means |
scientific article |
Statements
Matrix Hölder-McCarthy inequality via matrix geometric means (English)
0 references
27 July 2020
0 references
This paper examines a number of matrix inequalities which generalize well-known scalar inequalities and uses matrix geometric means to give unified proofs. If \(A\) and \(B\) are \(n\times n\) positive definite matrices then the matrix weighted geometric mean is defined by \(A\natural_{p}B:=A^{1/2}(A^{-1/2}BA^{-1/2})^{p}A^{1/2}\) for \(p\in\lbrack0,1]\). The definition can be extended in certain cases to semidefinite matrices by continuity and by using Moore-Penrose inverses to a larger range of \(p\) although \(\natural_{p}\) may not be a matrix mean in the sense of Kubo-Ando when \(p\notin\lbrack0,1]\). The authors prove the following version of the Hölder-McCarthy inequality (Theorem 1): if \(A\) is positive semidefinite and \(X\) is an \(n\times k\) matrix then \(X^{\ast}A^{p}X\leq(X^{\ast}X)\natural_{p}(X^{\ast}AX)\) for all \(p\in\lbrack0,1]\) and the reverse inequality holds for \(p\in\lbrack1,2]\). Moreover if \(A\) is positive definite then the reverse inequality also holds for \(p\in\lbrack-1,0]\). On the other hand, suppose in addition that the eigenvalues of \(A\) lie in an interval \([m,M]\) where \(0 < m < M\). Then a matrix version of the Kantorovich inequality holds (Theorem 3): \(K(h,p)(X^{\ast}X)\natural_{p}(X^{\ast}AX)\leq X^{\ast}A^{p}X\leq(X^{\ast}X)\natural_{p}(X^{\ast}AX)\) for all \(p\in\lbrack0,1],\) where \(K(h,p)\) in the Kantorovich constant which depends only on \(h:=M/m\) and \(p\). Again the reverse inequality holds when \(p\in\lbrack-1,0]\cup\lbrack1,2]\). The paper explores related inequalities and gives examples to show that some matrix generalizations of these inequalities fail.
0 references
matrix inequalities
0 references
Hölder-McCarthy inequality
0 references
quasi-arithmetic power mean
0 references
positive definite matrix
0 references
0 references