Abstract
Let J be a non trivial involutive Hermitian matrix. Consider \({\mathbb {C}}^n\) equipped with the indefinite inner product induced by J, \([x,y]=y^*J x\) for all \(x,y\in {{\mathbb {C}}}^n,\) which endows the matrix algebra \({\mathbb {C}}^{n\times n}\) with a partial order relation \(\le ^J\) between J-selfadjoint matrices. Inde-finite inequalities are given in this setup, involving the J-selfadjoint \(\alpha \)-weighted geometric matrix mean. In particular, an indefinite version of Ando–Hiai inequality is proved to be equivalent to Furuta inequality of indefinite type.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Inequalities play an important role in mathematics, engineering and science. In operator theory, several operator inequalities appear related to operator monotone functions in the context of Kubo-Ando theory on means [16]. The main purpose of this note is to survey some results on means defined on indefinite inner product spaces, shortly named indefinite means inequalities and to prove the equivalence of relevant inequalities in this context. We will restrict our attention to the finite dimensional case, but the investigation in the infinite dimensional set up also deserves attention. We start recalling the concept of mean. A continuous function \(M\!:(0,\infty )\times (0,\infty )\rightarrow (0,\infty )\) is a mean of two positive numbers if it satisfies the following conditions:
-
i.
\(M(a,a)=a,\) for every a;
-
ii.
\(M(a,b)=M(b,a)\), for every a, b;
-
iii.
\(\min \{a,b\}\le M(a,b)\le \max \{a,b\}\);
-
iv.
M(a, b) is monotone increasing in a and b;
-
v.
\(M(\alpha \, a,\alpha \,b )=\alpha \,M(a,\,b)\), for \(\alpha >0.\)
For two positive numbers a, b, the well known arithmetic mean, geometric mean, harmonic mean are defined as
respectively. These means were already among the family of means praised and studied by the ancient Pithagoreans six centuries before Christ.
An archetypal procedure of mathematicians consists of generalizing concepts. Inequalities for positive numbers could have plausible extensions to positive definite matrices. In this perspective, researchers generalized means of positive numbers to means of positive (semi)definite Hermitian matrices A, B or Hilbert space operators. These include the most famous Kubo-Ando means [16] and the quasi-arithmetic means, for example, characterizations concerning these means were given in [21]. The matrix versions of the \(\alpha \)-weighted arithmetic and harmonic means for \(\alpha \in [0,1]\) are
respectively. We will be specially concerned with the \(\alpha \)-weighted geometric mean of matrices, originally called \(\alpha \)-power mean by Ando and Hiai [3], previously defined by Pusz and Woronowicz [22] for \(\alpha =\frac{1}{2}\) and in such case called geometric mean.
We use the notation \(A>0\) (\(A\ge 0\)) if \(A\in {{\mathbb {C}}}^{n\times n}\) is a positive (semi)definite Hermitian matrix; \(A \ge B\) if \(A, B\in {{\mathbb {C}}}^{n\times n}\) are Hermitian matrices and \(A-B\) is positive semidefinite. The \(\alpha \)-weighted geometric mean of \(A,B \ge 0\) for \(\alpha \in [0,1]\) is given by
when A is invertible and it is extended to any non-invertible A by continuity as follows:
In particular, \(\sharp =\sharp _{1/2}\) denotes the geometric mean. If \(AB=BA\), then we have \(A \, \sharp _{\alpha }\, B\,=\,A^{1-\alpha } B^{\alpha }.\) In general, \(A\,\sharp _{1-\alpha }\, B=B\,\sharp _{\alpha }\, A\) and \((A,B)\mapsto A \, \sharp _{\alpha }\, B\) is jointly monotone both in A and B, as a consequence of the famous Löwner–Heinz inequality.
Löwner–Heinz inequality (L-H):
The original proof is due to Löwner [17] and it used an integral representation for operator monotone functions. Heinz [14] gave an alternative proof. A celebrated development of Löwner–Heinz inequality established in 1987 by T. Furuta [12] is the next order preserving operator inequality, which was motivated by a previous conjecture by Chan and Kwong [10].
Furuta inequality (F):
If \(A\ge B\ge 0\), then for each \(r\ge 0\)
hold for \(p\ge 0\) and \(q\ge 1\) with \((1+r)q\ge p+r.\)
The case of p, q, r all equal to 2 in (1) affirmatively answers Chan and Kwong’s conjecture:
Furuta and many other researchers refined and generalized (1) and applied these results to produce new inequalities [13].
Ando and Hiai proved a log-majorization result [3, Theorem 2.1], concerning the eigenvalues of the \(\alpha \)-weighted geometric mean, which is known as Ando–Hiai inequality and it can be rewritten as follows.
Ando–Hiai inequality (A-H):
For \(A,B\ge 0\) and \(\alpha \in [0,1]\), if \(A\sharp _\alpha B \le I\) holds, then \(A^r\sharp _\alpha B^r\le I\) holds for \(r\ge 1\).
This note is organized as follows. In Sect. 2, we present inequalities obtained in an indefinite inner product space context and for simplicity they will be called indefinite inequalities. For the general theory of these spaces we refer the reader to [4]. In Sect. 3, we prove that the indefinite Ando–Hiai inequality and the indefinite Furuta inequality are equivalent.
2 Indefinite inequalities
Let J be a non-trivial involutive Hermitian matrix, that is, \(J^*=J\), \(J^2=I\) and \(J \ne I\). Consider \({{\mathbb {C}}}^n\) equiped with the indefinite inner product induced by J, that is, defined by
The J-adjoint of \(A\in {{\mathbb {C}}}^{n\times n}\) is the matrix \(A^{[*]}\in {{\mathbb {C}}}^{n\times n}\), satisfying \([Ax,y]=[ x, A^{[*]} y]\) for all \(x,y\in {{\mathbb {C}}}^n,\) or equivalently, \(A^{[*]}=JA^*J.\) A matrix \(A\in {{\mathbb {C}}}^{n\times n}\) is said to be J-Hermitian, or J-selfadjoint, if \(A=A^{[*]}\), that is, if JA is Hermitian. It is well known that the eigenvalues of such matrices, which appear in several problems of relativistic quantum mechanics and quantum physics [5, 9], may not be real, nevertheless they occur in pairs of complex conjugate numbers. We denote the spectrum of A by \(\sigma (A)\).
For \(A,B\in {{\mathbb {C}}}^{n\times n}\) J-selfadjoint matrices we define the J-order \(A\ge ^J B\) as
or equivalently, \(J(A-B)\) is positive semidefinite.
If \(I\ge ^J A\), then all the eigenvalues of A are real, since \(I-A\) is the product of the Hermitian matrix J by a positive semidefinite matrix. A matrix \(A\in {{\mathbb {C}}}^{n\times n}\) is said to be a J-contraction if \(I\ge ^J A^{[*]}A\), equivalently, \(J\ge ^J A^*J A\) and in this case, by a Theorem of Potapov Ginzburg [4], all the eigenvalues of \(A^{[*]} A\) are nonnegative.
Following T. Ando [2], let us consider the following class of matrices:
If A is a J-contraction, then \(A^{[*]} A\in \, \mathcal U\). The class \(\mathcal U\) is not convex [2]. The spectral inclusion in class \(\mathcal U\) can be replaced by an operator inequality [2, Theorem 3.1], that is,
and, consequently,
[2, Theorem 3.5]. For simplicity, let \({\mathcal U}^*\) be the set of invertible elements in \(\mathcal U\). Then
or equivalently,
(see [23, Lemma 2.3] and [2, Corollary 3.3]).
A real valued continuous function f defined on a real (finite or infinite) interval \((\alpha ,\beta )\) is an operator monotone function if \(A\ge B\) implies \(f(A)\ge f(B)\) for any pair of matrices \(A,B \in {{\mathbb {C}}}^{n\times n}\) with spectra in \((\alpha ,\beta )\), for all \(n \in {\mathbb {N}}\). If all eigenvalues of a J-selfadjoint matrix A are real and \(\sigma (A)\subseteq (\alpha ,\beta )\), then for any operator monotone function f on \((\alpha ,\beta )\), we can define f(A) by the Riesz-Dunford integral
where \(\Gamma \) is a closed rectifiable contour in the domain of analytic continuation of f, surrounding positively the spectrum of A. Further, f(A) is J-selfadjoint.
If A is Hermitian, this integral produces the same matrix as that defined by the usual functional calculus for a Hermitian matrix.
Ando [1, Theorem 4] obtained the following result concerning operator monotone functions.
Theorem 2.1
Let \(A,B\in {{\mathbb {C}}}^{n\times n}\) be J-selfadjoint with \(\sigma (A),\sigma (B)\subseteq (\alpha ,\beta ).\) Then
for any operator monotone function f on \((\alpha ,\beta ).\)
By Theorem 2.1, due to the operator monotonicity on \((0,\infty )\) of \(f(t)=t^\alpha \), \(\alpha \in [0,1]\), stated by (L-H), if \(A,B\in {{\mathbb {C}}}^{n\times n}\) are J-selfadjoint with \(\sigma (A),\sigma (B)\subseteq (0,\infty )\), then
If \(\sigma (A)\subseteq [\,0,\infty ),\) some conditions must be imposed so that the integral (3) is convergent, namely \(I\ge ^J A\); in particular, for \(f(t)=t^\frac{1}{2}\) the integral gives a \(J-\)selfadjoint square root of A with non-negative eigenvalues [1, Theorem 4]. In this context, following Ando [1, Theorem 6] for the case \(\alpha =\frac{1}{2}\), Sano [23, Theorem 2.4] presented the following result, which is named the indefinite Löwner-Heinz inequality.
Indefinite Löwner-Heinz inequality (IL-H):
For selfadjoint matrices \(A,B\in {{\mathbb {C}}}^{n\times n}\), such that \(\sigma (A),\sigma (B)\subseteq [\,0,\infty )\),
After this result, several indefinite inequalities for J-selfadjoint matrices and J-contractions have been studied (see e.g. [6,7,8, 18,19,20]), some of them are stated in the next section.
3 Ando–Hiai and Furuta inequalities of indefinite type are equivalent
In the sequel, let \( \alpha \in [0, 1]\). The \(\alpha \)-weigthed geometric mean can be naturally extended to J-selfadjoint matrices \(A,B\in {{\mathbb {C}}}^{n\times n}\) with \(\sigma (A), \sigma (A^{-1}B)\subseteq (0, \infty )\), following the previous definition:
being the subscript \(\alpha \) in \(\sharp _\alpha \) omitted when \(\alpha =\frac{1}{2}\). In this case, \(A\,\sharp _\alpha \, B \) is a J-selfadjoint matrix too. Moreover, \(\sharp _{\alpha }\) is positively homogeneous, that is, \((\mu A)\,\sharp _{\alpha }\, (\mu B)=\mu \,(A\sharp _{\alpha } B)\) for any \(\mu >0\) and \((A\,\sharp _{\alpha }\, B)^{-1}=A^{-1}\sharp _\alpha \, B^{-1}\).
In general, the J-mean of A and B under the previous conditions could be defined for any normalized (i.e. \(f(1)=1\)) operator monotone function f on \((0, \infty )\) by
(see [18]) in paralell to Kubo-Ando means of positive operators. Our attention will be restricted to the case \(f(t)=t^\alpha \), \(\alpha \in [0, 1]\).
It should be remarked that the J-selfadjoint matrix \(A\,\sharp _\alpha \, B\) may not have real eigenvalues. Indeed, for example, consider the J-selfadjoint matrices
with \(\sigma (A)=\sigma (B)=\{2\}\subseteq (0,\infty )\). By simple computations, \(J(A-B)=6\, I\) and
Nevertheless, the J-selfadjoint matrix
has non-real eigenvalues, namely
In fact, \(A\ge ^J B\) is satisfied, but A, B are not in class \(\,{\mathcal U}^*\), because the matrices
are not positive semidefinite, as their eigenvalues are \(-3\pm \sqrt{10}\) and \(3\pm \sqrt{10}\), respectively.
The following basic results will be used throughout.
Lemma 3.1
[6]. Let \(A, B\in {{\mathbb {C}}}^{n\times n}\) be J-selfadjoint. Then \(X^{[*]}AX\ge ^J X^{[*]}BX\) for all \(X\in {{\mathbb {C}}}^{n\times n}\) if and only if \(A\ge ^J B\).
Lemma 3.2
[23]. If \(A \in \, \mathcal U\), then \(I\ge ^J A^{\lambda }\) for all \(\lambda >0.\)
From Theorem 2.1 and the fact that \(f(t)=-\frac{1}{t}\) is an operator monotone function on \((0,\infty ),\) the following holds.
Lemma 3.3
For \(A,B\in {{\mathbb {C}}}^{n\times n}\) J-selfadjoint with positive spectra, if \(A\ge ^J B,\) then \(B^{-1}\ge ^J A^{-1}.\)
Proposition 3.4
[18]. Let \(A, B \in {{\mathbb {C}}}^{n\times n}\) be J-selfadjoint with positive spectra. If \(A\ge ^J B\), then \(A\,\sharp _\alpha \, B\,=\,B\,\sharp _{1-\alpha }\, A\) for any \(\alpha \in [0,1].\)
If \(A\ge ^J B\) with \(\sigma (A),\,\sigma (B) \subseteq (0, \infty )\), then by Lemma 3.1 we have
that is, \(B^{\frac{1}{2}} A^{-\frac{1}{2}}\) and \( A^{\frac{1}{2}} B^{-\frac{1}{2}}\) are invertible J-contractions, so that \(A^{-\frac{1}{2}}B A^{-\frac{1}{2}}\) and \(B^{-\frac{1}{2}}A B^{-\frac{1}{2}}\) have positive spectra. By Theorem 2.1 and Lemma 3.1, we get
and, using also Proposition 3.4,
In this case, we obtained \(A \ge ^J A\,\sharp _\alpha \, B \ge ^J B,\) that is, \(\sharp _\alpha \) is a mean with respect to the J-order. Analogously, if \(B\ge ^J A\) and \(\sigma (A),\, \sigma (B)\subseteq (0, \infty )\), then \(B \ge ^J A\,\sharp _\alpha \, B \ge ^J A\).
Now, if A, B are in class \(\,\mathcal U^*\), we can conclude the following, which ensures that the J-selfadjoint matrix \(A\,\sharp _\alpha \, B\) has positive real eigenvalues too.
Proposition 3.5
Let \(A,B \in \, \mathcal U^*\) and \(A\ge ^J B\), then \(A\,\sharp _\alpha \, B \in \, {\mathcal U}^*\) for any \(\alpha \in [0,1]\).
Proof
If \(A\in \, {\mathcal U}^*\), then \(I \ge ^J A \ge ^J A\sharp _\alpha B\), having in mind (4), which implies that
is a J-contraction, that is, \(I \ge ^J W^{[*]} W\). Hence, \(W^{[*]} W =A\,\sharp _\alpha \, B\), which is invertible, has positive spectra and we conclude that \(A\,\sharp _\alpha \, B \in \, {\mathcal U}^*\). \(\square \)
By Lemma 3.1, Theorem 2.1 (and Proposition 3.4), we easily see that \(\sharp _\alpha \) satifies a monotonicity property in the first (and second) variables with respect to the J-order.
Proposition 3.6
Let \(A,B,C\in {{\mathbb {C}}}^{n\times n}\) be J-selfadjoint matrices with positive spectra.
- (a):
-
If \(A\ge ^J B\ge ^J C\), then \(A\,\sharp _\alpha \, B \ge ^J A\,\sharp _\alpha \, C\).
- (b):
-
If \( A\ge ^J C\ge ^J B\), then \(A\,\sharp _\alpha \, B \ge ^J C\,\sharp _\alpha \, B\).
Motivated by (IL-H), Furuta inequality of indefinite type was established as follows (see [23, Theorem 3.4] and [6, Theorem 2.1]).
Indefinite Furuta inequality (IF):
Let \(A,B\in {{\mathbb {C}}}^{n\times n}\) be J-selfadjoint with nonnegative spectra. If \(\mu I\ge ^J A\ge ^J B\) (or \(A\ge ^J B\ge ^J \mu I\)) for some \(\mu >0\), then for each \(r\ge 0\)
hold for \(p\ge 0\) and \(q\ge 1\) with \((1+r)q\ge p+r.\)
We notice that (IL-H) is recovered from (IF) when \(r=0\). The essential part of the indefinite Furuta inequality (EIF) is the case \(q=\frac{p+r}{1+r}\) and \(p\ge 1\), because the case \(q>\frac{p+r}{1+r}\) then follows from the essential one, using (IL-H). Without loss of generality, we may suppose \(\mu =1\), otherwise we replace A, B by \(\frac{1}{\mu }A, \frac{1}{\mu }B\), respectively, and we may consider A, B invertible by [23, Proposition 3.3], such that \(I\ge ^J A\ge ^J B\) (if \(A\ge ^J B\ge ^J I\), the result follows from \(I\ge ^J A^{-1}\ge ^J B^{-1}\), using Lemma 3.3). Hence, this essential part is stated for \(A,B\in {{\mathbb {C}}}^{n\times n}\) J-selfadjoint with positive eigenvalues as
for all \(p\ge 1\) and \(r\ge 0\), which can be written using the \(\alpha \)-weighted geometric mean as follows.
Corollary 3.7
(EIF). If \(A, B \in \, \mathcal U^*\), then \(A \ge ^J B\) implies
for all \(p\ge 1\) and \(r\ge 0\), with \(s_1=\frac{1+r}{p+r}\).
For \(A,B\in {{\mathbb {C}}}^{n\times n}\) J-selfadjoint with positive spectra, the J-chaotic order is defined by \({\textrm{Log}}(A)\ge ^J{\textrm{Log}}(B),\) where \({\textrm{Log}}\) denotes the principal branch of the logarithm function. Since \({\textrm{Log}}(t)\) is an operator monotone function on \((0,\infty ),\) by Theorem 2.1 the \(J-\)chaotic order \({\textrm{Log}}(A)\ge ^J{\textrm{Log}}(B)\) is weaker than the usual J-order \(A\ge ^J B.\)
If \(A,B\in \,{\mathcal U}^*\), then \({\textrm{Log}}(A)\ge ^J {\textrm{Log}}(B)\) if and only if \( A^r \,\ge ^J \big (A^{\frac{r}{2}}B^p A^{\frac{r}{2}}\big )^{\frac{r}{p+r}} \) for all \(p,r> 0\) [24, Theorem 7]. We may characterize the J-chaotic order for matrices in class \({\mathcal U}^*\) as follows, inspired by the corresponding equivalent conditions for the case \(t=0\).
Proposition 3.8
[8]. If \(A,B\in \,{\mathcal U}^*\), the following statements are mutually equivalent:
- (a):
-
\({\textrm{Log}}(A)\ge ^J {\textrm{Log}}(B);\)
- (b):
-
\(B^t \ge ^J A^{-r} \,\sharp _{s_t}\, B^p\) for \(p\ge t\ge 0\) and \(r \ge 0\);
- (c):
-
\(B^{-r}\,\sharp _{s_t}\, A^{p} \ge ^J A^t\) for \(p\ge t\ge 0\) and \(r \ge 0\);
where \(s_t=\frac{t+r}{p+r}\).
Since \(A\ge ^J B\) implies \({\textrm{Log}}(A)\ge ^J {\textrm{Log}}(B)\), the next indefinite version of Kamei’s satellite to Furuta inequality [15] readily follows from the implications \(\mathbf (a) \Rightarrow (b)\) and \(\mathbf (a) \Rightarrow (c)\) of Proposition 3.8 in the particular case \(t=1\), thus improving Corollary 3.7.
Corollary 3.9
If \(A,B \in \, {\mathcal U}^*\), such that \(A\ge ^J B\), then
for all \(p\ge 1\) and \(r\ge 0\), with \(s_1=\frac{1+r}{p+r}\).
Some related inequalities were given in [25, 26].
Moreover, Matharu et al. [18, Theorem 3.11] proved an indefinite version of the Ando–Hiai inequality, which is written below for the operator monotone function \(f(t)=t^\alpha \), \(t>0\), \(\alpha \in [0, 1]\).
Indefinite Ando–Hiai inequality (IA-H):
Let \(A,B\in {{\mathbb {C}}}^{n\times n}\) be J-selfadjoint with positive spectra, such that \(A\ge ^J \mu I\) and \(B\le ^J \gamma I\) for some \(\mu , \gamma >0\) and \( \alpha \in [0,1]\). Then
Fujii and Kamei [11] showed that Ando–Hiai inequality is equivalent to Furuta inequality. Inspired by their results we prove that the indefinite Ando–Hiai inequality and the essential part of the indefinite Furuta inequality in Corollary 3.7 are equivalent results too.
Theorem 3.10
The indefinite Ando–Hiai inequality implies the essential part of the indefinite Furuta inequality.
Proof
Let \(A,B\in \,{\mathcal U}^*\), \(p\ge 1\) and \(r\ge 0\). By Lemma 3.2 and Lemma 3.3, we have
Suppose that \(A\ge ^J B\) and let \(s_0=\frac{r}{p+r}\). If \(0\le r \le 1\), then \(-A^{-r}\ge ^J -B^{-r}\) by Theorem 2.1 for the operator monotone function \(f(t)=-\frac{1}{t^r}\) on \((0, \infty )\). Then
and by Proposition 3.6 we have
Next, let \(r>1\). In this case, from
we find
By (IA-H) applied to the J-selfadjoint matrices \(A_1=A^{-1}\) and \(B_1= B^\frac{p}{r}\), which have positive spectra, we conclude that
Again from (6), we obtain
for \(r>1\).
We conclude that
for any \(r \ge 0\) and, by Proposition 3.4, considering \(s_1=\frac{1+r}{p+r}\), we have
We have just obtained the first inequality of Corollary 3.7. The second one could be analogously obtained. \(\square \)
Theorem 3.11
The essential part of the indefinite Furuta inequality implies the indefinite Ando–Hiai inequality.
Proof
Let \(A,B\in {{\mathbb {C}}}^{n\times n}\) be J-selfadjoint with positive spectra, such that \(A\ge ^J \mu I\) and \(B\le ^J \gamma I\), for some \(\mu , \gamma >0\). Without loss of generality, let \(\mu =\gamma =1\), otherwise replace A and B by \(\frac{1}{\mu }\,A\) and \(\frac{1}{\gamma }\,B,\) respectively. Suppose that
Let \(r=1+\epsilon \) with \(\epsilon \in [0,1]\) and \(C=A^{-\frac{1}{2}}B A^{-\frac{1}{2}}\). We have \(I \ge ^J C\) and from (7) by Lemma 3.1 we have
By Proposition 3.6 we obtain
which is equivalent to
by Lemma 3.3. Applying Corollary 3.7, i.e., the essential part of the indefinite Furuta inequality, to \(A_1=A^{-1}\) and \(B_1= C^\alpha \) which are in class \( {\mathcal U}^*\), we find that
equivalently,
for all \(p \ge 1\). We observe that
If we choose \(p=\frac{1+\epsilon (1-\alpha )}{\alpha }\), then \(\alpha =\frac{1+\epsilon }{p+\epsilon }\) and \(p\ge 1\). Clearly, \(A^\epsilon \ge ^J I \ge ^J C^{\,\alpha p}\). Recalling (8), again by Lemma 3.1, we get
having also in mind (9). By Proposition 3.6, we obtain
that is,
When \(r>2\), there exists \(n\in {\mathbb {N}}\) and \(s\in [1,2]\) such that \(r=2^n s\) and the result follows by sucessive iterations. \(\square \)
Now, we recall the complete form of Furuta inequality [27] of indefinite type [8, Theorem 3.1].
Theorem 3.12
Let \(A,B\in {{\mathbb {C}}}^{n\times n}\) be J-selfadjoint with nonnegative eigen-values and \(\mu \, I\ge ^J A\ge ^J B\) (or \( A\ge ^J B\ge ^J \mu \, I\)) for some \(\mu >0\). If \(r\ge 0\) and \(p>p_0>0\), then
where \(m=\min \{p,2p_0+\min \{1,r\}\}\).
The case \(p_0=1\) of Theorem 3.12 implies (EIF). Indeed, if \(p_0=1\), we have \(m=\min \{p,3,2+r\}\) and by Lemma 3.1, after aplying (IL-H) with \(\alpha =\frac{1+r}{m+r}\) to both inequalities in (10), we obtain
for all \(r\ge 0\) and \(p>1\) with \(s_1=\frac{1+r}{p+r}\), whenever \(A, B \in {\mathcal U}^*\). Since \(A\ge ^J B\), this yields Corollary 3.9 and (EIF). As the converse also holds, the essential part of the indefinite Furuta inequality implies the case \(p_0=1\) of Theorem 3.12.
The next corollary is a variant of Theorem 3.12.
Corollary 3.13
Let A, \(B\in {{\mathbb {C}}}^{n\times n}\) be \(J-\)selfadjoint with nonnegative eigenvalues, \(\delta >0\) and \(\mu \, I\ge ^J A^\delta \ge ^J B^\delta \) (or \( A^\delta \ge ^J B^\delta \ge ^J \mu \, I\)) for some \(\mu >0\). If \(r\ge 0\) and \(p>p_0>0\), then (10) holds with \(m=\min \{p,2p_0+\min \{\delta ,r\}\}\).
Finally, we observe that if \(A,B\in \, {\mathcal U}^*\) and \({\textrm{Log}}(A) \ge ^J {\textrm{Log}}(B)\), then (10) holds for \(r\ge 0\) and \(p>p_0>0\) with \(m=\min \{p,2p_0\}\). This corresponds to the indefinite complete form of Furuta inequality for the J-chaotic order [8, Theorem 3.2] and it can be seen as the case \(\delta \rightarrow 0^+\) of Corollary 3.13, recalling that
Results in this note can inspire the study of other inequalities of indefinite type for matrices and operators. Application and development of the tools and ideas here discussed is a tempting project, and there is indeed much to antecipate.
References
Ando, T.: Löwner inequality of indefinite type. Linear Algebra Appl. 385, 73–84 (2004)
Ando, T.: Two classes of \(J\)-operators. J. Iran. Math. Soc. 4, 45–54 (2023)
Ando, T., Hiai, F.: Log-majorization and complementary Golden-Thompson type inequality. Linear Algebra Appl. 197, 113–131 (1994)
Azizov, T.Ya., Iokhvidov, I.S.: Linear Operators in Spaces with an Indefinite Metric, Nauka, Moscow, 1986, English Translation: Wiley, New York (1989)
Bagarello, F., Gazeau, J.-P., Szafraniec, F.H., Znojil, M.: Non-Selfadjoint Ope-rators in Quantum Physics: Mathematical Aspects. Wiley (2015)
Bebiano, N., Lemos, R., da Providência, J., Soares, G.: Further developments of Furuta inequality of indefinite type. Math. Inequal. Appl. 13, 523–535 (2010)
Bebiano, N., Lemos, R., da Providência, J.: On a reverse Heinz-Kato-Furuta inequality. Linear Algebra Appl. 437, 1892–1905 (2012)
Bebiano, N., Lemos, R., da Providência, J., Soares, G.: Operator inequalities for \(J\)-contractions. Math. Inequal. Appl. 15, 883–897 (2012)
Bebiano, N., da Providência, J., da Providência, J.P.: Mathematical aspects of quantum systems with a pseudo-Hermitian Hamiltonian. Braz. J. Phys. 46, 152–156 (2016)
Chan, N.N., Kwong, K.: Hermitian matrix inequalities and a conjecture. Am. Math. Mon. 92, 533–541 (1985)
Fujii, M., Kamei, E.: Ando-Hiai inequality and Furuta inequality. Linear Algebra Appl. 416, 541–545 (2006)
Furuta, T.: \(A\ge B\ge 0\) assures \((B^{r}A^{p}B^{r})^{1/q}\ge B^{\{p+2r)/q}\) for \(r\ge 0, p\ge 0, q\ge 1\) with \((1+2r)q\ge p+2r\). Proc. Am. Math. Soc. 101, 85–88 (1987)
Furuta, T.: Invitation to Linear Operators. Taylor & Francis, London (2001)
Heinz, E.: Beiträge zur Störungstheorie der Spektralzerlegung. Math. Ann. 123, 415–438 (1951)
Kamei, E.: A satellite to Furuta’s inequality. Math. Jpn. 33, 883–886 (1988)
Kubo, F., Ando, T.: Means of positive linear operators. Math. Ann. 246, 205–224 (1980)
Löwner, K.: Über monotone Matrixfunktionen. Math. Z. 38, 177–216 (1934)
Matharu, J.S., Malhotra, C., Moslehian, M.S.: Indefinite matrix inequalities via matrix means. Bull. Sci. Math. 171, 1–15 (2021)
Moslehian, M.S., Dehghani, M.: Operator convexity in Krein spaces. New York J. Math. 20, 133–144 (2014)
Moslehian, M.S., Sano, T., Sugawara, K.: The arithmetic-geometric mean ine-quality of indefinite type. Arch. Math. 117, 347–359 (2021)
Molnár, L.: Characterizations of certain means of positive operators. Linear Algebra Appl. 567, 143–166 (2019)
Pusz, W., Woronowicz, S.L.: Functional calculus for sesquilinear forms and the purification map. Rep. Math. Phys. 8, 159–170 (1975)
Sano, T.: Furuta inequality of indefinite type. Math. Inequal. Appl. 10, 381–387 (2007)
Sano, T.: On chaotic order of indefinite type. J. Inequal. Pure Appl. Math. 8(3), 62 (2007)
Soares, G.: Inequalities for \(J\)-contractions involving the \(\alpha \)-power mean. J. Inequal. Pure Appl. Math. 10(4), 95 (2009)
Soares, G.: Another approach for Sano’s characterization of the \(J\)-chaotic order. Math. Inequal. Appl. 15(4), 1037–1047 (2012)
Yuan, J., Gao, Z.: Complete form of Furuta inequality. Proc. Am. Math. Soc. 136, 2859–2867 (2008)
Acknowledgements
The authors would like to thank the referee for the comments which helped to improve the presentation of the paper. The first author was partially supported by the Centre for Mathematics of the University of Coimbra (funded by the Portuguese Government through FCT/MCTES, https://doi.org/10.54499/UIDB/00324/2020). The work of the second author was supported by Center for Research and Development in Mathematics and Applications (CIDMA) and it is funded by the Fundação para a Ciência e a Tecnologia, I.P. (FCT, Funder ID = 50110000187) under grants https://doi.org/10.54499/UIDB/04106/2020 and https://doi.org/10.54499/UIDP/04106/2020. The third author was financed by CMAT-UTAD through the Portuguese Foundation for Science and Technology (FCT - Fundação para a Ciência e a Tecnologia), reference UIDB/00013/2020, (https://doi.org/10.54499/UIDB/00013/2020).
Funding
Open access funding provided by FCT|FCCN (b-on).
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
On behalf of all authors, the corresponding author states that there is no Conflict of interest. No datasets were generated or analysed during the current study.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Bebiano, N., Lemos, R. & Soares, G. J-selfadjoint matrix means and their indefinite inequalities. Acta Sci. Math. (Szeged) (2024). https://doi.org/10.1007/s44146-024-00136-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s44146-024-00136-8
Keywords
- J-selfadjoint matrix means
- Löwner–Heinz inequality
- Furuta inequality and Ando–Hiai inequality of indefinite type