 Research
 Open Access
 Published:
Cancellability and regularity of operator connections with applications to nonlinear operator equations involving means
Journal of Inequalities and Applications volume 2015, Article number: 411 (2015)
Abstract
An operator connection is a binary operation assigned to each pair of positive operators satisfying monotonicity, continuity from above, and the transformer inequality. A normalized operator connection is called an operator mean. In this paper, we introduce and characterize the concepts of cancellability and regularity of operator connections with respect to operator monotone functions, Borel measures, and certain nonlinear operator equations. As applications, we investigate the existence and the uniqueness of solutions for operator equations involving various kind of operator means.
Introduction
A general theory of connections and means for positive operators was given by Kubo and Ando [1]. This theory is closely related to theory of operator inequalities and has deep applications in electrical network theory and mathematical physics. Let \(B(\mathbb {H})\) be the algebra of bounded linear operators on a Hilbert space \(\mathbb {H}\). The set of positive operators on \(\mathbb {H}\) is denoted by \(B(\mathbb {H})^{+}\). Denote the spectrum of an operator X by \(\operatorname {Sp}(X)\). For Hermitian operators \(A,B \in B(\mathbb {H})\), the partial order \(A \leqslant B\) indicates that \(BA \in B(\mathbb {H})^{+}\). The notation \(A>0\) suggests that A is a strictly positive operator. A connection is a binary operation σ on \(B(\mathbb {H})^{+}\) such that for all positive operators A, B, C, D:

(M1)
monotonicity: \(A \leqslant C, B \leqslant D \implies A \,\sigma \,B \leqslant C \,\sigma \,D\);

(M2)
transformer inequality: \(C(A \,\sigma \,B)C \leqslant (CAC) \,\sigma \,(CBC)\);

(M3)
continuity from above: for \(A_{n},B_{n} \in B(\mathbb {H})^{+}\), if \(A_{n} \downarrow A\) and \(B_{n} \downarrow B\), then \(A_{n} \,\sigma \,B_{n} \downarrow A \,\sigma \,B\). Here, \(A_{n} \downarrow A\) indicates that \((A_{n})\) is a decreasing sequence converging strongly to A.
Two trivial examples are the lefttrivial mean \(\omega_{l} : (A,B) \mapsto A\) and the righttrivial mean \(\omega_{r}: (A,B) \mapsto B\). The sum \((A,B) \mapsto A+B\) is clearly a connection. A connection was modeled from the notion of parallel sum, introduced by Anderson and Duffin [2],
This notion plays an important role in the analysis of electrical networks.
From the transformer inequality, every connection is invariant consider congruences in the sense that for each \(A,B \geqslant 0\) and \(C>0\) we have
A mean is a connection σ with normalized condition \(I \,\sigma \,I = I\) or, equivalently, fixedpoint property \(A \,\sigma \,A =A\) for all \(A \geqslant 0\). The class of KuboAndo means cover many wellknown operator means in practice, e.g.

αweighted arithmetic means: \(A \,\triangledown_{\alpha }\, B = (1\alpha )A + \alpha B\);

αweighted geometric means: \(A \,\#_{\alpha }\, B = A^{1/2} ({A}^{1/2} B {A}^{1/2})^{\alpha } {A}^{1/2}\);

αweighted harmonic means: \(A \,!_{\alpha }\, B = [(1\alpha )A^{1} + \alpha B^{1}]^{1}\);

logarithmic mean: \((A,B) \mapsto A^{1/2}f(A^{1/2}BA^{1/2})A^{1/2}\) where \(f: \mathbb {R}^{+} \to \mathbb {R}^{+}\), \(f(x)=(x1)/\log{x}\), \(f(0) \equiv0\), and \(f(1) \equiv1\). Here, \(\mathbb {R}^{+}=[0, \infty)\).
See [3, 4], [5], Section 3, and [6], Chapter 5.
It is a fundamental that there are onetoone correspondences between the following objects:

(1)
operator connections on \(B(\mathbb {H})^{+}\);

(2)
operator monotone functions from \(\mathbb {R}^{+}\) to \(\mathbb {R}^{+}\);

(3)
finite (positive) Borel measures on \([0,1]\);

(4)
monotone (Riemannian) metrics on the smooth manifold of positive definite matrices.
Recall that a function \(f: \mathbb {R}^{+} \to \mathbb {R}^{+}\) is said to be operator monotone if
for all positive operators \(A,B \in B(\mathbb {H})\) and for all Hilbert spaces \(\mathbb {H}\). This concept was introduced in [7]; see also [8], Chapter V, [5], Section 2, and [6], Chapter 4. Concrete examples of operator monotone functions are provided in [9]. A remarkable fact is that (see [10]) a function \(f: \mathbb {R}^{+} \to \mathbb {R}^{+}\) is operator monotone if and only if it is operator concave, i.e.
for all positive operators \(A,B \in B(\mathbb {H})\) and for all Hilbert spaces \(\mathbb {H}\).
A connection σ on \(B(\mathbb {H})^{+}\) can be characterized via operator monotone functions as follows.
Theorem 1.1
([1])
Given a connection σ, there is a unique operator monotone function \(f: \mathbb {R}^{+} \to \mathbb {R}^{+}\) satisfying
Moreover, the map \(\sigma\mapsto f\) is a bijection.
We call f the representing function of σ. A connection also has a canonical characterization with respect to a Borel measure via a meaningful integral representation as follows.
Theorem 1.2
([11])
Given a finite Borel measure μ on \([0,1]\), the binary operation
is a connection on \(B(\mathbb {H})^{+}\). Moreover, the map \(\mu\mapsto\sigma\) is bijective, in which case the representing function of σ is given by
We call μ the associated measure of σ. A connection is a mean if and only if \(f(1)=1\) or its associated measure is a probability measure. Hence every mean can be regarded as an average of weighted harmonic means. From (1.1) and (1.2), σ and f are related by
A connection σ is said to be symmetric if \(A \,\sigma \,B = B \,\sigma \,A\) for all \(A,B \geqslant 0\).
The notion of monotone metrics arises naturally in quantum mechanics. A metric on a differentiable manifold of nbyn positive definite matrices is a continuous family of positive definite sesquilinear forms assigned to each invertible density matrix in the manifold. A monotone metric is a metric with the contraction property under stochastic maps. It was shown in [12] that there is a onetoone correspondence between operator connections and monotone metrics. Moreover, symmetric metrics correspond to symmetric means. In [13], the author defined a symmetric metric to be nonregular if \(f(0)=0\) where f is the associated operator monotone function. In [14], f is said to be nonregular if \(f(0) = 0\), otherwise f is regular. It turns out that the regularity of the associated operator monotone function guarantees the extendability of this metric to the complex projective space generated by the pure states (see [15]).
In the present paper, we introduce the concept of cancellability for operator connections in a natural way. Various characterizations of cancellability with respect to operator monotone functions, Borel measures, and certain operator equations are provided. It is shown that a connection is cancellable if and only if it is not a scalar multiple of trivial means. Applications of this concept go to certain nonlinear operator equations involving operator means. It is shown that such equations are always solvable if and only if f is unbounded and \(f(0)=0\) where f is the associated operator monotone function. We also characterize the condition \(f(0)=0\) for arbitrary connections without assuming the symmetry. Such a connection is said to be nonregular.
This paper is organized as follows. In Section 2, the concept of cancellability of operator connections is defined and characterized. Applications of cancellability to certain nonlinear operator equations involving operators means are explained in Section 3. We investigate the regularity of operator connections in Section 4.
Cancellability of connections
The concept of cancellability for scalar means was considered in [16]. We generalize this concept to operator means or, more generally, operator connections as follows.
Definition 2.1
A connection σ is said to be

left cancellable if for each \(A>0\), \(B \geqslant 0\), and \(C \geqslant 0\),
$$\begin{aligned} A \,\sigma \,B = A \,\sigma \,C \quad\implies\quad B=C; \end{aligned}$$ 
right cancellable if for each \(A>0\), \(B \geqslant 0\), and \(C \geqslant 0\),
$$\begin{aligned} B \,\sigma \,A = C \,\sigma \,A \quad\implies\quad B=C; \end{aligned}$$ 
cancellable if it is both left and right cancellable.
Lemma 2.2
Every nonconstant operator monotone function from \(\mathbb {R}^{+}\) to \(\mathbb {R}^{+}\) is injective.
Proof
Let \(f: \mathbb {R}^{+} \to \mathbb {R}^{+}\) be a nonconstant operator monotone function. Suppose there exist \(b>a \geqslant 0\) such that \(f(a)=f(b)\). Since f is monotone increasing (in the usual sense), \(f(x)=f(a)\) for all \(a \leqslant x \leqslant b\) and \(f(y) \geqslant f(b)\) for all \(y \geqslant b\). Since f is operator concave, f is concave in the usual sense and hence \(f(x)=f(b)\) for all \(x \geqslant b\). The case \(a=0\) contradicts the fact that f is nonconstant. For the case \(a>0\), suppose that there is a point \(c \in(0,a)\) such that \(0 \leqslant f(c)< f(a)\). The convexity of the function \(g(x)=xf(x)\) (see [1], Lemma 5.1) yields a contradiction. □
A similar result for this lemma under the restriction that \(f(0)=0\) was obtained in [17]. The left cancellability of connections is now characterized as follows.
Theorem 2.3
Let σ be a connection with representing function f and associated measure μ. Then the following statements are equivalent:

(1)
σ is left cancellable;

(2)
for each \(A \geqslant 0\) and \(B \geqslant 0\), \(I \,\sigma \,A = I \,\sigma \,B \implies A=B\);

(3)
σ is not a scalar multiple of the lefttrivial mean;

(4)
f is injective, i.e., f is left cancellable in the sense that
$$\begin{aligned} f \circ g = f \circ h \quad\implies\quad g=h ; \end{aligned}$$ 
(5)
f is a nonconstant function;

(6)
μ is not a scalar multiple of the Dirac measure \(\delta_{0}\) at 0.
Proof
Clearly, (1) ⇒ (2) ⇒ (3) and (4) ⇒ (5). For each \(k \geqslant 0\), it is straightforward to show that the representing function of the connection
is the constant function \(f \equiv k\) and its associated measure is given by \(k\delta_{0}\). Hence, we have the implications (3) ⇔ (5) ⇔ (6). By Lemma 2.2, we have (5) ⇒ (4).
(4) ⇒ (2): Assume that f is injective. Consider \(A \geqslant 0\) and \(B \geqslant 0\) such that \(I \,\sigma \,A = I \,\sigma \,B\). Then \(f(A) = f(B)\) by (1.3). Since \(f^{1} \circ f (x) =x\) for all \(x \in \mathbb {R}^{+}\), we have \(A=B\).
(2) ⇒ (1): Let \(A>0\), \(B\geqslant 0\), and \(C \geqslant 0\) be such that \(A \,\sigma \,B = A \,\sigma \,C\). By the congruence invariance of σ, we have
and thus \(I \,\sigma \,A^{\frac{1}{2}} B A^{\frac{1}{2}} = I \,\sigma \,A^{\frac{1}{2}} C A^{\frac{1}{2}} \). The assumption (2) implies \(B=C\). □
Recall that the transpose of a connection σ is the connection
If f is the representing function of σ, then the representing function of the transpose of σ is given by the transpose of f (see [1], Corollary 4.2), defined by
A connection is symmetric if it coincides with its transpose.
Theorem 2.4
Let σ be a connection with representing function f and associated measure μ. Then the following statements are equivalent:

(1)
σ is right cancellable;

(2)
for each \(A \geqslant 0\) and \(B \geqslant 0\), \(A \,\sigma \,I = B \,\sigma \,I \implies A=B\);

(3)
σ is not a scalar multiple of the righttrivial mean;

(4)
the transpose of f is injective;

(5)
f is not a scalar multiple of the identity function \(x \mapsto x\);

(6)
μ is not a scalar multiple of the Dirac measure \(\delta_{1}\) at 1.
Proof
It is straightforward to see that, for each \(k\geqslant 0\), the representing function of the connection
is the function \(x \mapsto kx\) and its associated measure is given by \(k\delta_{1}\). The proof is done by replacing σ with its transpose in Theorem 2.3. □
Remark 2.5
The injectivity of the transpose of f does not imply the surjectivity of f. To see that, take \(f(x)=(1+x)/2\). Then the transpose of f is f itself.
The following results are characterizations of cancellability for connections.
Corollary 2.6
Let σ be a connection with representing function f and associated measure μ. Then the following statements are equivalent:

(1)
σ is cancellable;

(2)
σ is not a scalar multiple of the left/righttrivial mean;

(3)
f and its transpose are injective;

(4)
f is neither a constant function nor a scalar multiple of the identity function;

(5)
μ is not a scalar multiple of \(\delta_{0}\) or \(\delta_{1}\).
In particular, every nontrivial mean is cancellable.
Remark 2.7
The ‘order cancellability’ does not hold for general connections, even if we restrict them to the class of means. For each \(A,B>0\), it is not true that the condition \(I \,\sigma \,A \leqslant I \,\sigma \,B\) or the condition \(A \,\sigma \,I \leqslant B \,\sigma \,I\) implies \(A \leqslant B\). To see this, take σ to be the geometric mean. It is not true that \(A^{1/2} \leqslant B^{1/2}\) implies \(A \leqslant B\) in general.
Applications to certain nonlinear operator equations involving means
Cancellability of connections can be restated in terms of the uniqueness of certain operator equations as follows. A connection σ is left cancellable if and only if
for each given \(A>0\) and \(B \geqslant 0\), if the equation \(A \,\sigma \,X =B\) has a solution X, then it has a unique solution.
The similar statement for right cancellability holds. In this section, we characterize the existence and the uniqueness of a solution of the operator equation \(A \,\sigma \,X =B\). The equations of this type with specific operator means σ are also considered.
Theorem 3.1
Let σ be a connection which is not a scalar multiple of the lefttrivial mean. Let f be its representing function. Given \(A>0\) and \(B \geqslant 0\), the operator equation
has a (positive) solution if and only if \(\operatorname {Sp}(A^{\frac{1}{2}} B A^{\frac{1}{2}}) \subseteq \operatorname {Range}(f)\). In fact, such a solution is unique and given by
Proof
Suppose that there is a positive operator X such that \(A \,\sigma \,X =B\). The congruent invariance of σ yields
The property (1.3) now implies
By the spectral mapping theorem,
Conversely, suppose that \(\operatorname {Sp}(A^{\frac{1}{2}} B A^{\frac{1}{2}}) \subseteq \operatorname {Range}(f)\). Since \(\sigma\neq k \omega_{l}\) for all \(k \geqslant 0\), we see that f is nonconstant by Theorem 2.3. It follows that f is injective by Lemma 2.2. The assumption yields the existence of the operator \(X \equiv A^{\frac{1}{2}} f^{1}(A^{\frac{1}{2}} B A^{\frac {1}{2}}) A^{\frac{1}{2}}\). We obtain from the property (1.3) \(A \,\sigma \,X =B\). The uniqueness of a solution follows from the left cancellability of σ. □
Similarly, we have the following theorem.
Theorem 3.2
Let σ be a connection which is not a scalar multiple of the righttrivial mean. Given \(A>0\) and \(B \geqslant 0\), the operator equation
has a (positive) solution if and only if \(\operatorname {Sp}(A^{1/2} B A^{1/2}) \subseteq \operatorname {Range}(g)\), here g is the representing function of the transpose of σ. In fact, such a solution is unique and given by
Theorem 3.3
Let σ be a connection with representing function f. Then the following statements are equivalent:

(1)
the operator equation
$$\begin{aligned} A \,\sigma \,X = B \end{aligned}$$(3.1)has a unique solution for any given \(A>0\) and \(B \geqslant 0\);

(2)
f is unbounded and \(f(0)=0\);

(3)
f is surjective, i.e., f is right cancellable in the sense that
$$\begin{aligned} g \circ f = h \circ f \quad\implies\quad g=h. \end{aligned}$$
Moreover, if (1) holds, then the solution of (3.1) varies continuously in each given \(A>0\) and \(B \geqslant 0\), i.e. the map \((A,B) \mapsto X\) is separately continuous with respect to the strongoperator topology.
Proof
(2) ⇒ (3): This follows directly from the intermediate value theorem.
(3) ⇒ (1): It is immediate from Theorem 3.1.
(1) ⇒ (3): Assume (1). The uniqueness of solution for the equation \(A \,\sigma \,X =B\) implies the left cancellability of σ. By Theorem 2.3, f is injective. The assumption (1) implies the existence of a positive operator X such that
The spectral mapping theorem implies that \(f(\lambda )=0\) for all \(\lambda \in \operatorname {Sp}(X)\). Since f is injective, we have \(\operatorname {Sp}(X) =\{\lambda \}\) for some \(\lambda \in \mathbb {R}^{+}\). Since X is not invertible (otherwise, \(I \,\sigma \,X>0\)), we have \(\lambda =0\) and hence \(f(0)=0\).
Now, let \(k>0\). The assumption (1) implies the existence of \(X \geqslant 0\) such that \(I \,\sigma \,X =kI\). Since \(f(X)=kI\), we have \(f(\lambda )=k\) for all \(\lambda \in \operatorname {Sp}(X)\). Since \(\operatorname {Sp}(X)\) is nonempty, there is \(\lambda \in \operatorname {Sp}(X)\) such that \(f(\lambda )=k\). Therefore, f is unbounded.
Assume that (1) holds. Then the map \((A,B) \mapsto X\) is well defined. Recall that if \(A_{n} \in B(\mathbb {H})^{+}\) converges strongly to A, then \(\phi(A_{n})\) converges strongly to \(\phi(A)\) for any continuous function ϕ. It follows that the map
is separately continuous in each variable. □
Next, we investigate certain nonlinear operator equations involving operator means. First, consider a class of parametrized means, namely, the quasiarithmetic power mean \(\#_{p,\alpha }\) with exponent \(p \in[1,1]\) and weight \(\alpha \in(0,1)\), defined by
Its representing function of this mean is given by
The special cases \(p=1\) and \(p=1\) are the αweighted arithmetic mean and the αweighted harmonic mean, respectively. The case \(p=0\) is defined by continuity and, in fact, \(\#_{0,\alpha } = \# _{\alpha }\) and \(f_{0,\alpha }(x)=x^{\alpha }\).
Example 3.4
Let \(p \in[1,1]\) and \(\alpha \in(0,1)\). Given \(A>0\) and \(B \geqslant 0\), consider the operator equation
The case \(p=0\): Since the range of \(f_{0,\alpha }(x)=x^{\alpha }\) is \(\mathbb {R}^{+}\), equation (3.2) always has a unique solution given by
The case \(0< p\leqslant 1\): The range of \(f_{p,\alpha }\) is the interval \([(1\alpha )^{1/p}, \infty)\). Hence, equation (3.2) is solvable if and only if \(\operatorname {Sp}(A^{1/2} B A^{1/2}) \subseteq[(1\alpha )^{1/p}, \infty)\), i.e., \(B \geqslant (1\alpha )^{1/p} A\).
The case \(1 \leqslant p< 0\): The range of \(f_{p,\alpha }\) is the interval \([0, (1\alpha )^{1/p})\). Hence, equation (3.2) is solvable if and only if \(\operatorname {Sp}(A^{1/2} B A^{1/2}) \subseteq[0, (1\alpha )^{1/p})\), i.e., \(B < (1\alpha )^{1/p} A\).
For each \(p \in[1,0) \cup(0,1]\) and \(\alpha \in(0,1)\), we have
Hence, the solution of (3.2) is given by
Example 3.5
Let σ be the logarithmic mean with representing function
Here, \(f(0) \equiv0\) and \(f(1) \equiv1\) by continuity. We see that f is unbounded. Thus, the operator equation \(A \,\sigma \,X =B\) is solvable for all \(A>0\) and \(B \geqslant 0\).
Example 3.6
Let η be the dual of the logarithmic mean, i.e.,
where σ denotes the logarithmic mean. The representing function of η is given by
Since \(f(0) \equiv0\) and f is unbounded, the operator equation \(A \eta X =B\) is solvable for all \(A>0\) and \(B \geqslant 0\).
Next, we will consider a parametrized symmetric mean. For each \(r \in[1,1]\), recall that the function
is operator monotone (see [4]). This function satisfies \(g_{r}(1)=1\) and \(g_{r}(x) = x g_{r}(1/x)\). Thus it associates to a unique symmetric operator mean, denoted by \(\diamondsuit_{r}\). In particular,
The operator means \(\diamondsuit_{1/3}\) and \(\diamondsuit_{1/3}\) are the logarithmic mean and its dual.
Example 3.7
Let \(A > 0\) and \(B \geqslant 0\). Consider the operator equation
for each given \(r \in[1,1]\).
The case \(1/3 < r \leqslant 1\): Observe that
meaning that \(g_{r}\) is unbounded. By the intermediate value theorem,
By Theorem 3.1, the operator equation (3.3) has a (unique) solution if and only if
The case \(0 < r < 1/3\): Observe that
so that \(g_{r}\) is unbounded. By L’Hôspital’s rule, we have
It follows that \(\operatorname {Range}{g_{r}} = [0, \infty)\). Theorem 3.1 guarantees the existence and uniqueness for the solution of the equation (3.3).
The case \((1/3) < r < 0\): It is similar to the case \(0 < r < 1/3\). The operator equation (3.3) always has a unique solution.
The case \(1 < r < (1/3)\): We have
By L’Hôspital’s rule, we have \(g_{r}(0)=0\). By continuity,
By Theorem 3.1, the operator equation (3.3) has a (unique) solution if and only if
The cases \(r=1/3\) and \(r=1/3\) are already done in Examples 3.5 and 3.6.
Regularity of connections
In this section, we give various characterizations for the nonregularity of an operator connection.
Theorem 4.1
Let σ be a connection with representing function f and associated measure μ. Then the following statements are equivalent.

(1)
\(f(0)=0\);

(2)
\(\mu(\{0\}) = 0\);

(3)
\(I \,\sigma \,0 = 0\);

(4)
\(A \,\sigma \,0 =0\) for all \(A \geqslant 0\);

(5)
for each \(A \geqslant 0\), the condition \(0 \in \operatorname {Sp}(A)\) implies \(0 \in \operatorname {Sp}(I \,\sigma \,A)\);

(6)
for each \(A,X \geqslant 0\), the condition \(0 \in \operatorname {Sp}(A)\) implies \(0 \in \operatorname {Sp}(X \,\sigma \,A)\).
Proof
From the integral representation (1.2), we have
i.e. \(f(0)=\mu(\{0\})\). From the property (1.3), we have \(I \,\sigma \,0 =f(0)I\). Hence, (1)(3) are equivalent. It is clear that (4) ⇒ (3) and (6) ⇒ (5).
(3) ⇒ (4): Assume that \(I \,\sigma \,0=0\). For any \(A>0\), we have by the congruence invariance
For general \(A \geqslant 0\), we have \((A + \epsilon I) \,\sigma \,0 =0\) for all \(\epsilon >0\) by the previous claim and hence \(A \,\sigma \,0 =0\) by the continuity from above.
(5) ⇒ (1): We have \(0 \in \operatorname {Sp}(I \,\sigma \,0) = \operatorname {Sp}(f(0)I) = \{f(0)\}\), i.e. \(f(0)=0\).
(1) ⇒ (6): Assume \(f(0)=0\). Consider \(A \geqslant 0\) such that \(0 \in \operatorname {Sp}(A)\), i.e. A is not invertible. Assume first that \(X>0\). Then
Since \(X^{\frac{1}{2}} A X^{\frac{1}{2}}\) is not invertible, we have \(0 \in \operatorname {Sp}(X^{\frac{1}{2}} A X^{\frac{1}{2}})\) and hence by the spectral mapping theorem
This implies that \(X \,\sigma \,A\) is not invertible. Now, consider \(X \geqslant 0\). The previous claim shows that \((X+I)\,\sigma \,A\) is not invertible. Since \(X \,\sigma \,A \leqslant (X+I) \,\sigma \,A\), we conclude that \(X \,\sigma \,A\) is not invertible. □
We say that a connection σ is nonregular if one of the conditions in Theorem 4.1 holds (and thus they all do), otherwise σ is regular. Hence, regular connections correspond to regular operator monotone functions and regular monotone metrics.
Remark 4.2
Let σ be a connection with representing function f and associated measure μ. Let g be the representing function of the transpose of σ. From (4.1),
Thus, the transpose of σ is nonregular if and only if \(\mu(\{ 1\})=0\).
Theorem 4.3
The following statements are equivalent for a mean σ.

(1)
σ is nonregular;

(2)
\(I \,\sigma \,P = P\) for each projection P.
Proof
(1) ⇒ (2): Assume that \(f(0)=0\) and consider a projection P. Since \(f(1)=1\), we have \(f(x)=x\) for all \(x \in\{0,1\} \supseteq \operatorname {Sp}(P)\). Thus \(I \,\sigma \,P = f(P)=P\).
(2) ⇒ (1): We have \(0=I \,\sigma \,0=f(0)I\), i.e. \(f(0)=0\). □
To prove the next result, recall the following lemma.
Lemma 4.4
([1])
If \(f: \mathbb {R}^{+} \to \mathbb {R}^{+}\) is an operator monotone function such that \(f(1)=1\) and f is neither the constant function 1 nor the identity function, then

(1)
\(0< x<1 \implies x<f(x)<1\);

(2)
\(1< x \implies1< f(x)< x\).
Theorem 4.5
Let σ be a nontrivial mean. For each \(A \geqslant 0\), if \(I \,\sigma \,A =A\), then A is a projection. Hence, the following statements are equivalent:

(1)
σ is nonregular;

(2)
for each \(A \geqslant 0\), A is a projection if and only if \(I \,\sigma \,A = A\).
Proof
Since \(I \,\sigma \,A=A\), we have \(f(A)=A\) by (1.3). Hence \(f(x)=x\) for all \(x \in \operatorname {Sp}(A)\) by the injectivity of the continuous functional calculus. Since σ is a nontrivial mean, Lemma 4.4 implies that \(\operatorname {Sp}(A) \subseteq\{0,1\}\), i.e. A is a projection. □
Theorem 4.6
Under the condition that σ is a leftcancellable connection with representing function f, the following statements are equivalent:

(1)
σ is nonregular.

(2)
The equation \(f(x)=0\) has a solution x.

(3)
The equation \(f(x)=0\) has a unique solution x.

(4)
The only solution to \(f(x)=0\) is \(x=0\).

(5)
For each \(A>0\), the equation \(A \,\sigma \,X =0\) has a solution X.

(6)
For each \(A>0\), the equation \(A \,\sigma \,X =0\) has a unique solution X.

(7)
For each \(A>0\), the only solution to the equation \(A \,\sigma \,X =0\) is \(X=0\).

(8)
The equation \(I \,\sigma \,X =0\) has a solution X.

(9)
The equation \(I \,\sigma \,X =0\) has a unique solution X.

(10)
The only solution to the equation \(I \,\sigma \,X =0\) is \(X=0\).
Similar results for the case of right cancellability hold.
Proof
It is clear that (1) ⇒ (2), (6) ⇒ (5) and (10) ⇒ (8). Since f is injective by Theorem 2.3, we have (2) ⇒ (3) ⇒ (4).
(4) ⇒ (10): Let \(X \geqslant 0\) be such that \(I \,\sigma \,X =0\). Then \(f(X)=0\) by (1.3). By spectral mapping theorem, \(f(\operatorname {Sp}(X)) =\{0\}\). Hence, \(\operatorname {Sp}(X)=\{0\} \), i.e. \(X=0\).
(8) ⇒ (9): Consider \(X \geqslant 0\) such that \(I \,\sigma \,X =0\). Then \(f(X)=0\). Since f is injective with continuous inverse, we have \(X=f^{1}(0)\).
(9) ⇒ (6): Use congruence invariance.
(5) ⇒ (7): Let \(A>0\) and consider \(X \geqslant 0\) such that \(A \,\sigma \,X=0\). Then \(A^{\frac{1}{2}} (I \,\sigma \,A^{\frac{1}{2}} X A^{\frac{1}{2}}) A^{\frac{1}{2}} =0\), i.e. \(f(A^{\frac{1}{2}} X A^{\frac{1}{2}}) = I \,\sigma \,A^{\frac{1}{2}} X A^{\frac{1}{2}} =0\). Hence,
Suppose there exists \(\lambda \in \operatorname {Sp}(A^{\frac{1}{2}} X A^{\frac{1}{2}})\) such that \(\lambda >0\). Then \(f(0)< f(\lambda )=0\), a contradiction. Hence, \(\operatorname {Sp}(A^{\frac{1}{2}} X A^{\frac{1}{2}}) =\{0\}\), i.e. \(A^{\frac{1}{2}} X A^{\frac{1}{2}} =0\) or \(X=0\).
(7) ⇒ (1): We have \(f(0)I = I \,\sigma \,0 =0\), i.e. \(f(0)=0\). □
References
 1.
Kubo, F, Ando, T: Means of positive linear operators. Math. Ann. 246, 205224 (1980)
 2.
Anderson, WN Jr, Duffin, RJ: Series and parallel addition of matrices. J. Math. Anal. Appl. 26, 576594 (1969)
 3.
Chansangiam, P: Positivity, betweenness, and strictness of operator means. Abstr. Appl. Anal. 2015, Article ID 851568 (2015)
 4.
Fujii, JI, Seo, Y: On parametrized operator means dominated by power ones. Sci. Math. Jpn. 1, 301306 (1998)
 5.
Hiai, F: Matrix analysis: matrix monotone functions, matrix means, and majorizations. Interdiscip. Inf. Sci. 16, 139248 (2010)
 6.
Hiai, F, Petz, P: Introduction to Matrix Analysis and Applications. Springer, New Delhi (2014)
 7.
Löwner, C: Über monotone matrix funktionen. Math. Z. 38, 177216 (1934)
 8.
Bhatia, R: Matrix Analysis. Springer, New York (1997)
 9.
Furuta, T: Concrete examples of operator monotone functions obtained by an elementary method without appealing to Löwner integral representation. Linear Algebra Appl. 429, 972980 (2008)
 10.
Hansen, F, Pedersen, GK: Jensen’s inequality for operators and Löwner’s theorem. Math. Ann. 258, 229241 (1982)
 11.
Chansangiam, P, Lewkeeratiyutkul, W: Operator connections and Borel measures on the unit interval. ScienceAsia 41, 273279 (2015)
 12.
Petz, D: Monotone metrics on matrix spaces. Linear Algebra Appl. 244, 8196 (1996)
 13.
Hansen, F: Metric adjusted skew information. Proc. Natl. Acad. Sci. USA 105, 99099916 (2008)
 14.
Gibilisco, P, Hansen, F, Isola, T: On a correspondence between regular and nonregular operator monotone functions. Linear Algebra Appl. 430, 22252232 (2009)
 15.
Petz, D, Sudár, C: Geometry of quantum states. J. Math. Phys. 37, 26622673 (1996)
 16.
Toader, G, Toader, S: Greek means and the arithmeticgeometric mean. Dissertation, Victoria University (2005)
 17.
Molnár, L: Maps preserving general means of positive operators. Electron. J. Linear Algebra 22, 864874 (2011)
Acknowledgements
This research was supported by King Mongkut’s Institute of Technology Ladkrabang Research Fund grant no. KREF045710.
Author information
Additional information
Competing interests
The author declares that he has no competing interests.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Chansangiam, P. Cancellability and regularity of operator connections with applications to nonlinear operator equations involving means. J Inequal Appl 2015, 411 (2015) doi:10.1186/s1366001509347
Received
Accepted
Published
DOI
MSC
 47A64
 47A62
 47A63
Keywords
 operator connection
 operator mean
 operator monotone function