Cauchy–Bunyakovsky–Schwarz type inequalities related to Möbius operations
- Open Access
- 01-12-2019
- Research
Published in:
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by (Link opens in a new window)
Abstract
1 Introduction and preliminaries
The celebrated Cauchy–Bunyakovsky–Schwarz (CBS in the sequel) inequality
in an arbitrary inner product space \(\mathbb{V}\) is one of the most fundamental inequalities in mathematics.
$$\begin{aligned} \bigl\vert \langle u, v\rangle \bigr\vert \le \langle u, u\rangle ^{\frac{1}{2}}\langle v, v\rangle ^{\frac{1}{2}} \quad (u, v \in \mathbb{V}) \end{aligned}$$
Möbius addition is defined on the complex open unit disk \(\mathbb{D} = \{z \in \mathbb{C} ; |z| < 1\}\) by
which appears in a wide variety of fields of mathematics. In particular, although Möbius addition is known in the literature as hyperbolic translation, its group-like structure had gone unnoticed until it was uncovered by A.A. Ungar in 1988 [4], in the context of Einstein’s special theory of relativity. Furthermore, Ungar extended Möbius addition, introduced Möbius scalar multiplication to open balls of arbitrary real inner product spaces, and established the concept of gyrovector spaces, which have a vector space-like structure (see [4‐6]).
$$\begin{aligned} a \oplus b = \frac{a + b}{1 + \overline{a}b} \quad (a, b \in \mathbb{D}), \end{aligned}$$
Advertisement
Let us briefly recall the definition of the Möbius gyrovector spaces. For precise definitions and basic results of gyrocommutative gyrogroups and gyrovector spaces, see [7]. Although one does not need any knowledge on gyrovector space theory to read this paper, it is a significant portion of our motivation and background. In addition, notations from gyrovector space theory simplify expressions of our inequalities remarkably. For elementary facts on inner product spaces and CBS type inequalities, one can refer to [1, 3].
Definition 1.1
([7, Definition 3.40 and 6.83])
Let \(\mathbb{V} = (\mathbb{V}, +, \langle \cdot , \cdot \rangle )\) be a real inner product space with a vector addition + and a positive definite inner product \(\langle \cdot , \cdot \rangle \). Let \(\mathbb{V}_{s}\) be an open ball
for any fixed \(s > 0\), where \(\|v\| = \langle v, v\rangle ^{ \frac{1}{2}}\). The Möbius addition \(\oplus _{\mathrm{M}}\) and the Möbius scalar multiplication \(\otimes _{\mathrm{M}}\) are given by the equations
for any \(u, v \in \mathbb{V}_{s}\) and \(r \in \mathbb{R}\). The addition \(\oplus _{\mathrm{M}}\) and the scalar multiplication \(\otimes _{ \mathrm{M}}\) for real numbers are defined by the equations
for any \(a, b \in (-s, s)\) and \(r \in \mathbb{R}\).
$$\mathbb{V}_{s} = \bigl\{ v \in \mathbb{V}; \Vert v \Vert < s\bigr\} $$
$$\begin{aligned} &u \oplus _{\mathrm{M}} v= \frac{ (1 + \frac{2}{s^{2}}\langle u, v\rangle + \frac{1}{s^{2}} \Vert v \Vert ^{2} )u + (1 -\frac{1}{s ^{2}} \Vert u \Vert ^{2} )v}{1 + \frac{2}{s^{2}}\langle u, v\rangle + \frac{1}{s ^{4}} \Vert u \Vert ^{2} \Vert v \Vert ^{2}}, \\ & r \otimes _{\mathrm{M}} u= s \tanh \biggl(r \tanh ^{-1} \frac{ \Vert u \Vert }{s} \biggr)\frac{u}{ \Vert u \Vert } \quad (\text{if } u \ne 0), r \otimes _{\mathrm{M}} 0 = 0, \end{aligned}$$
$$\begin{aligned} &a \oplus _{\mathrm{M}} b= \frac{a + b}{1 + \frac{1}{s^{2}}ab}, \\ & r \otimes _{\mathrm{M}} a= s \tanh \biggl(r \tanh ^{-1} \frac{a}{s} \biggr) \end{aligned}$$
We simply denote \(\oplus _{\mathrm{M}}\), \(\otimes _{\mathrm{M}}\) by \(\oplus _{s}\), \(\otimes _{s}\), respectively.
Advertisement
Theorem 1.2
The Möbius addition (resp. Möbius scalar multiplication) reduces to the ordinary vector addition (resp. scalar multiplication) as
\(s \to \infty \), that is,
for any
\(u, v \in \mathbb{V}\)
and
\(r \in \mathbb{R}\).
$$\begin{aligned} &u \oplus _{s} v\to u + v \quad (s \to \infty ), \\ & r \otimes _{s} u\to ru \quad (s \to \infty ) \end{aligned}$$
Definition 1.3
([7, Definition 2.7, (2.1), (6.286), (6.293)])
The inverse element of u with respect to \(\oplus _{s}\) obviously coincides with −u. We use the notation
as in group theory. Moreover, the Möbius gyrodistance function d and Poincaré distance function h are defined by the equations
Ungar showed that h satisfies the triangle inequality [7, (6.294)].
$$\begin{aligned} u \ominus _{s} v = u \oplus _{s} (-v) \end{aligned}$$
$$\begin{aligned} &d(u, v)= \Vert v \ominus _{s} u \Vert , \\ & h(u, v)= \tanh ^{-1}\frac{d(u, v)}{s}. \end{aligned}$$
The following identities are an easy consequence of the definition. One can refer to [10, Lemma 14 (i), Lemma 12].
Lemma 1.4
Let
\(s > 0\). The following formulae hold:
for any
\(u, v \in \mathbb{V}_{s}\).
(i)
\(\frac{u}{s} \oplus _{1} \frac{v}{s} = \frac{u \oplus _{s} v}{s}\),
(ii)
\(\|u \oplus _{s} v\|^{2} = \frac{\|u\|^{2} + 2\langle u, v\rangle + \|v\|^{2}}{1 + \frac{2}{s^{2}}\langle u, v\rangle + \frac{1}{s^{4}}\|u\|^{2}\|v\|^{2}}\)
Note that the Möbius operations generally are not commutative, associative, or distributive. Furthermore, the ordinary scalar multiplication does not distribute the Möbius addition. However, the restricted Möbius operations to real numbers together with the ordinary addition and multiplication have the following properties:
for any \(-s < a\), \(b < s\), \(r_{1}, r_{2}, r \in \mathbb{R}\). It follows from the additive formula of the hyperbolic function. In addition, we need the following lemmas.
$$\begin{aligned} &(r_{1}r_{2}) \otimes _{s} a= r_{1} \otimes _{s} (r_{2} \otimes _{s} a), \\ & (r_{1} + r_{2}) \otimes _{s} a= r_{1} \otimes _{s} a \oplus _{s} r _{2} \otimes _{s} a, \\ & r \otimes _{s} (a \oplus _{s} b)= r \otimes _{s} a \oplus _{s} r \otimes _{s} b \end{aligned}$$
Lemma 1.5
If
\(0 \le b_{j} \le a_{j} < s\) (\(j = 1, 2\)), then
The equality holds if and only if
\(a_{j} = b_{j}\) (\(j = 1, 2\)).
$$\begin{aligned} b_{1} \oplus _{s} b_{2} \le a_{1} \oplus _{s} a_{2}. \end{aligned}$$
Proof
We may assume \(s = 1\). It is immediate to see that
which implies
The equality condition also follows from the proof above. This completes the proof. □
$$\begin{aligned} &(a_{1} + a_{2}) (1 + b_{1}b_{2}) -(1 + a_{1}a_{2}) (b_{1} + b_{2}) \\ &\quad = (a_{1} -b_{1}) (1 -a_{2}b_{2}) + (a_{2} -b_{2}) (1 -a_{1}b_{1}) \ge 0, \end{aligned}$$
$$\begin{aligned} \frac{b_{1} + b_{2}}{1 + b_{1}b_{2}} \le \frac{a_{1} + a_{2}}{1 + a _{1}a_{2}}. \end{aligned}$$
Lemma 1.6
If
\(0 < a < s\)
and
\(0 < r < 1\) (resp. \(r > 1\)), then
\(ra < r \otimes _{s} a\) (resp. \(ra > r \otimes _{s} a\)).
Proof
By the identity
we may assume \(s = 1\). Obviously, \(ra < r \otimes _{1} a\) is equivalent to \(\tanh ^{-1}(ra) < r\tanh ^{-1}a\). Considering a as a variable, we put \(f(x) = r\tanh ^{-1}x -\tanh ^{-1}(rx)\). Then it is easy to see
which yields the result for \(0 < r < 1\). It is also easy to see the assertion for \(r > 1\). This completes the proof. □
$$\begin{aligned} r \otimes _{1} \frac{a}{s} = \frac{r \otimes _{s} a}{s}, \end{aligned}$$
$$\begin{aligned} f^{\prime }(x) = \frac{r(1 -r^{2})x^{2}}{(1 -x^{2})(1 -r^{2}x^{2})} > 0 \quad (0 < x < 1), \end{aligned}$$
Recently, the following CBS type inequality related to the Möbius addition in complex inner product spaces was obtained. See also [8] for a discrete Cauchy type inequality including a mixture of the Möbius addition and the Möbius scalar multiplication restricted to real numbers.
Theorem 1.7
([9, Theorem 5])
Let
\(\mathbb{V}\)
be a complex inner product space, and let
\(w \in \mathbb{V}\)
be a fixed element with
\(\|w\| \le 1\). For any
\(u, v \in \mathbb{V}\)
and for any
\(s > \max \{\|u\|, \|v\|\}\), the following inequality holds:
The equality holds if and only if one of the following conditions is satisfied:
$$\begin{aligned} \biggl\vert \frac{\langle u, w\rangle -\langle v, w\rangle }{1 -\frac{1}{s ^{2}}\overline{\langle u, w\rangle }\langle v, w\rangle } \biggr\vert \le \sqrt{ \frac{ \Vert u \Vert ^{2} -2\operatorname{Re}\langle u, v\rangle + \Vert v \Vert ^{2}}{1 -\frac{2}{s^{2}}\operatorname{Re}\langle u, v\rangle + \frac{1}{s ^{4}} \Vert u \Vert ^{2} \Vert v \Vert ^{2}}}. \end{aligned}$$
(1.1)
(i)
\(u = v\);
(ii)
\(\|w\| = 1\)
and
\(u = \lambda w\), \(v = \mu w\)
for some complex numbers
λ, μ.
Remark 1.8
As described in [9, Theorem 8], the corresponding inequality
holds in real inner product spaces, and it can be simply expressed as
by using the Möbius subtraction. Note that generally \(\langle u, w \rangle \ominus _{s} \langle v, w \rangle \ne \langle u \ominus _{s} v, w \rangle \).
$$\begin{aligned} \biggl\vert \frac{\langle u, w\rangle -\langle v, w\rangle }{1 -\frac{1}{s ^{2}}\langle u, w\rangle \langle v, w\rangle } \biggr\vert \le \sqrt{\frac{ \Vert u \Vert ^{2} -2\langle u, v\rangle + \Vert v \Vert ^{2}}{1 -\frac{2}{s ^{2}}\langle u, v\rangle + \frac{1}{s^{4}} \Vert u \Vert ^{2} \Vert v \Vert ^{2}}} \end{aligned}$$
$$\begin{aligned} \bigl\vert \langle u, w\rangle \ominus _{s} \langle v, w\rangle \bigr\vert \le \Vert u \ominus _{s} v \Vert \end{aligned}$$
Let us briefly compare the classical CBS inequality and inequality (1.1), and consider their relation. For any elements \(u, v, w \in \mathbb{V}\), replacing w by \(\frac{w}{\|w\|}\) in inequality (1.1) and letting \(s \to \infty \), then it asymptotically goes to the classical CBS inequality
Clearly \(\|w\|\) appears in the right-hand side of inequality (1.2). On the other hand, inequality (1.1) is not the case, even though it must be taken into account that the assumption of Theorem 1.7 includes the condition \(\|w\| \le 1\).
$$\begin{aligned} \bigl\vert \langle u, w\rangle -\langle v, w\rangle \bigr\vert \le \Vert u -v \Vert \Vert w \Vert . \end{aligned}$$
(1.2)
Example 1.9
In the one-dimensional complex inner product space \(\mathbb{C}\), let
Obviously \(\|u\|, \|v\| < 1\) and \(\|w\| \le 1\), and it is immediate to see
$$\begin{aligned} u = \frac{1}{\sqrt{2}}, \qquad v = -\frac{1}{\sqrt{2}}, \qquad w = \frac{1}{ \sqrt{2}}. \end{aligned}$$
$$\begin{aligned} \biggl\vert \frac{\langle u, w\rangle -\langle v, w\rangle }{1 -\overline{ \langle u, w\rangle }\langle v, w\rangle } \biggr\vert = \frac{4}{5} > \frac{2}{3} = \sqrt{\frac{ \Vert u \Vert ^{2} -2\operatorname{Re}\langle u, v \rangle + \Vert v \Vert ^{2}}{1 -2\operatorname{Re}\langle u, v\rangle + \Vert u \Vert ^{2} \Vert v \Vert ^{2}}} \Vert w \Vert . \end{aligned}$$
Despite the previous example, some kind of similar inequality involving \(\|w\|\) in the right-hand side may still be possible. Actually, S.-E. Takahasi raised the following question at a conference when Theorem 1.7 was presented.
Question 1.10
Is there any constant \(C > 1\) satisfying
for any \(u, v, w \in \mathbb{V}\) with \(\|u\|, \|v\| < 1\) and \(\|w\| \le 1\)?
$$\begin{aligned} \biggl\vert \frac{\langle u, w\rangle -\langle v, w\rangle }{1 -\overline{ \langle u, w\rangle }\langle v, w\rangle } \biggr\vert \le C\sqrt{\frac{ \Vert u \Vert ^{2} -2\operatorname{Re}\langle u, v\rangle + \Vert v \Vert ^{2}}{1 -2\operatorname{Re}\langle u, v\rangle + \Vert u \Vert ^{2} \Vert v \Vert ^{2}}} \Vert w \Vert \end{aligned}$$
In this article, we show some further extensions of CBS type inequality (1.1). One of them gives an affirmative and even sharper answer to Question 1.10. Another extension is related to both the Möbius addition and Möbius scalar multiplication, which can be regarded as the most natural extension in the context of relation between inner product spaces and the Möbius operations.
2 An extension of the CBS type inequality
In this section, we prove an extension of Theorem 1.7 related to the Möbius addition and discuss some properties. The following lemma is due to one of the referees.
Lemma 2.1
Let
a
be a real number and
z
be a complex number. If
\(|z| < a < 1\), then
\(\frac{1 + a}{2a} < \vert \frac{1 -z}{a -z} \vert \).
Proof
It is enough to show that \(4a^{2}|1 -z|^{2} -(1 + a)^{2}|a -z|^{2} > 0\). We can easily calculate
This completes the proof. □
$$\begin{aligned} &4a^{2} \vert 1 -z \vert ^{2} -(1 + a)^{2} \vert a -z \vert ^{2} \\ &\quad = 3a^{2} -2a^{3} -a^{4} + 2a(1 -a)^{2}\operatorname{Re}z - \vert z \vert ^{2}(1 -a) (3a + 1) \\ &\quad > 3a^{2} -2a^{3} -a^{4} -2a^{2}(1 -a)^{2} -a^{2}(1 -a) (3a + 1) \\ &\quad = 0. \end{aligned}$$
The following theorem is an extension of CBS type inequality in complex inner product spaces related to the Möbius addition.
Theorem 2.2
Let
\(\mathbb{V}\)
be a complex inner product space. For any
\(u, v \in \mathbb{V}\), \(s > \max \{\|u\|, \|v\|\}\)
and
\(w \in \mathbb{V}\)
with
\(\|w\| \le 1\), the following inequality holds:
The equality holds if and only if one of the following conditions is satisfied:
$$\begin{aligned} \biggl\vert \frac{\langle u, w\rangle -\langle v, w\rangle }{1 -\frac{1}{s ^{2}}\overline{\langle u, w\rangle }\langle v, w\rangle } \biggr\vert \le \sqrt{ \frac{ \Vert u \Vert ^{2} -2\operatorname{Re}\langle u, v\rangle + \Vert v \Vert ^{2}}{1 -\frac{2}{s^{2}}\operatorname{Re}\langle u, v\rangle + \frac{1}{s ^{4}} \Vert u \Vert ^{2} \Vert v \Vert ^{2}}} \cdot \frac{2 \Vert w \Vert }{1 + \Vert w \Vert ^{2}}. \end{aligned}$$
(2.1)
(i)
\(u = v\),
(ii)
\(w = 0\),
(iii)
\(\|w\| = 1\)
and
\(u = \lambda w\), \(v = \mu w\)
for some complex numbers
λ, μ.
The author had given a proof of Theorem 2.2 in the original manuscript, whose method was quite similar to that in [9]. One of the referees pointed out that Theorem 2.2 can be easily deduced from Lemma 2.1 and Theorem 1.7, and kindly presented the proof below, which is remarkably shorter than the original one.
Proof
It is easy to see that we may assume \(s = 1\). If \(\|w\| = 1\), then inequality (2.1) just reduces to inequality (1.1), so we may assume \(0 < \|w\| < 1\) as well. Put
Then the classical CBS inequality shows that \(|Z| \le \|u\|\|v\|\|w\|^{2} < a\). It follows from Lemma 2.1 that
where the equality holds if and only if \(Y = 0\). This shows that
where we used Theorem 1.7 for the later inequality. Thus we obtain the desired inequality.
$$\begin{aligned} a = \Vert w \Vert ^{2}, \qquad Y = \langle u, w\rangle -\langle v, w\rangle , \qquad Z = \overline{\langle u, w\rangle }\langle v, w\rangle . \end{aligned}$$
$$\begin{aligned} \frac{1 + a}{2\sqrt{a}} \biggl\vert \frac{Y}{1 -Z} \biggr\vert \le \sqrt{a} \biggl\vert \frac{1 -Z}{a -Z} \biggr\vert \biggl\vert \frac{Y}{1 -Z} \biggr\vert = \biggl\vert \frac{ \sqrt{a}Y}{a -Z} \biggr\vert = \biggl\vert \frac{\frac{Y}{\sqrt{a}}}{1 - \frac{Z}{a}} \biggr\vert , \end{aligned}$$
$$\begin{aligned} \frac{1 + \Vert w \Vert ^{2}}{2 \Vert w \Vert } \biggl\vert \frac{\langle u, w\rangle -\langle v, w\rangle }{1 -\overline{\langle u, w\rangle }\langle v, w\rangle } \biggr\vert &\le \biggl\vert \frac{\langle u, \frac{w}{ \Vert w \Vert }\rangle -\langle v, \frac{w}{ \Vert w \Vert }\rangle }{1 -\overline{\langle u, \frac{w}{ \Vert w \Vert }\rangle }\langle v, \frac{w}{ \Vert w \Vert }\rangle } \biggr\vert \\ &\le \sqrt{\frac{ \Vert u \Vert ^{2} -2\operatorname{Re}\langle u, v\rangle + \Vert v \Vert ^{2}}{1 -2\operatorname{Re}\langle u, v\rangle + \Vert u \Vert ^{2} \Vert v \Vert ^{2}}}, \end{aligned}$$
(2.2)
Next, we show the equality condition.
It is immediate to see that the equality in (2.1) holds provided one of the conditions (i), (ii), or (iii) is satisfied.
Conversely, suppose that the equality in (2.1) holds and \(s = 1\). It is obvious that we may assume \(0 < \|w\| < 1\). Then, by the equality in the second inequality of (2.2) and the equality condition of Theorem 1.7, we have \(u = v\) or \(u = \lambda w\), \(v = \mu w\) for some complex numbers λ, μ. In the later case, the equality in the first inequality of (2.2) yields
so we obtain \(u = v\). This completes the proof. □
$$\begin{aligned} \lambda \Vert w \Vert ^{2} = \langle \lambda w, w \rangle = \langle u, w \rangle = \langle v, w \rangle = \langle \mu w, w \rangle = \mu \Vert w \Vert ^{2}, \end{aligned}$$
Remark 2.3
The following corollary gives an affirmative answer to Question 1.10 with \(C = 2\).
Corollary
Let
\(\mathbb{V}\)
be a complex inner product space. For any
\(u, v \in \mathbb{V}\), \(s > \max \{\|u\|, \|v\|\}\)
and
\(w \in \mathbb{V}\)
with
\(\|w\| \le 1\), the following inequality holds:
$$\begin{aligned} \biggl\vert \frac{\langle u, w\rangle -\langle v, w\rangle }{1 -\frac{1}{s ^{2}}\overline{\langle u, w\rangle }\langle v, w\rangle } \biggr\vert \le 2\sqrt{\frac{ \Vert u \Vert ^{2} -2\operatorname{Re}\langle u, v\rangle + \Vert v \Vert ^{2}}{1 -\frac{2}{s^{2}}\operatorname{Re}\langle u, v\rangle + \frac{1}{s ^{4}} \Vert u \Vert ^{2} \Vert v \Vert ^{2}}} \Vert w \Vert . \end{aligned}$$
(2.3)
The following theorem shows that the constant 2 in the right-hand side of inequalities (2.1) and (2.3) is the best in a sense.
Theorem 2.4
For any real number
\(C < 2\), there exist elements
\(u, v, w \in \mathbb{V}\)
satisfying
\(\|u\|, \|v\| < 1\), \(\|w\| \le 1\)
and
$$\begin{aligned} \biggl\vert \frac{\langle u, w\rangle -\langle v, w\rangle }{1 -\overline{ \langle u, w\rangle }\langle v, w\rangle } \biggr\vert > C\sqrt{\frac{ \Vert u \Vert ^{2} -2\operatorname{Re}\langle u, v\rangle + \Vert v \Vert ^{2}}{1 -2\operatorname{Re}\langle u, v\rangle + \Vert u \Vert ^{2} \Vert v \Vert ^{2}}} \Vert w \Vert . \end{aligned}$$
Proof
In the one-dimensional complex inner product space \(\mathbb{C}\), let
Obviously \(\|u_{n}\|, \|v_{n}\| < 1\) and \(\|w_{n}\| \le 1\), and it is immediate to see
Therefore we have
This completes the proof. □
$$\begin{aligned} u_{n} = \sqrt{1 -\frac{1}{n}}, \qquad v_{n} = - \sqrt{1 -\frac{1}{n}}, \qquad w_{n} = \frac{1}{\sqrt{n}}. \end{aligned}$$
$$\begin{aligned} & \biggl\vert \frac{\langle u_{n}, w_{n}\rangle -\langle v_{n}, w_{n}\rangle }{1 -\overline{\langle u_{n}, w_{n}\rangle }\langle v_{n}, w_{n} \rangle } \biggr\vert = \frac{2n\sqrt{n -1}}{n^{2} + n -1}, \\ &\sqrt{\frac{ \Vert u_{n} \Vert ^{2} -2\operatorname{Re}\langle u_{n}, v_{n} \rangle + \Vert v_{n} \Vert ^{2}}{1 -2\operatorname{Re}\langle u_{n}, v_{n}\rangle + \Vert u_{n} \Vert ^{2} \Vert v_{n} \Vert ^{2}}} = \frac{2\sqrt{n(n -1)}}{2n -1}. \end{aligned}$$
$$\begin{aligned} & \biggl\vert \frac{\langle u_{n}, w_{n}\rangle -\langle v_{n}, w_{n}\rangle }{1 -\overline{\langle u_{n}, w_{n}\rangle }\langle v_{n}, w_{n} \rangle } \biggr\vert \biggm/\sqrt{\frac{ \Vert u_{n} \Vert ^{2} -2\operatorname{Re}\langle u_{n}, v_{n}\rangle + \Vert v_{n} \Vert ^{2}}{1 -2\operatorname{Re}\langle u_{n}, v _{n}\rangle + \Vert u_{n} \Vert ^{2} \Vert v_{n} \Vert ^{2}}} \Vert w_{n} \Vert \\ &\quad = \frac{n(2n -1)}{n^{2} + n -1} \to 2 \enskip (n \to \infty ). \end{aligned}$$
If the following inequality
would be valid for any \(u, v, w \in \mathbb{V}\) with \(\|u\|, \|v\| < 1\), \(\|w\| \le 1\), then we could prove Theorem 2.2 simply by combining the classical CBS inequality (1.2) and inequality (2.4). However, this is not the case.
$$\begin{aligned} \biggl\vert \frac{1}{1 -\overline{\langle u, w\rangle }\langle v, w\rangle } \biggr\vert \le \sqrt{\frac{1}{1 -2\operatorname{Re}\langle u, v\rangle + \Vert u \Vert ^{2} \Vert v \Vert ^{2}}} \cdot \frac{2}{1 + \Vert w \Vert ^{2}} \end{aligned}$$
(2.4)
Theorem 2.5
For any real number
\(C > 0\), there exist elements
\(u, v, w \in \mathbb{V}\)
satisfying
\(\|u\|, \|v\| < 1\), \(\|w\| \le 1\), and
$$\begin{aligned} \biggl\vert \frac{1}{1 -\overline{\langle u, w\rangle }\langle v, w\rangle } \biggr\vert > C\sqrt{ \frac{1}{1 -2\operatorname{Re}\langle u, v\rangle + \Vert u \Vert ^{2} \Vert v \Vert ^{2}}} \cdot \frac{2}{1 + \Vert w \Vert ^{2}}. \end{aligned}$$
Proof
Take a real number \(0 < a < 1\) satisfying \(\frac{1 + 3a}{(1 -a)(1 + a)^{2}} > C^{2}\). In the two-dimensional complex inner product space \(\mathbb{C}^{2}\), let
Obviously \(\|u\|, \|v\| < 1\) and \(\|w\| = 1\), and it is immediate to see
Since \(1 + 2a -3a^{2} > C^{2}(1 -a^{2})^{2}\), we obtain
This completes the proof. □
$$\begin{aligned} u = \begin{pmatrix} a \\ \sqrt{a(1 -a)} \end{pmatrix}, \qquad v = \begin{pmatrix} a \\ -\sqrt{a(1 -a)} \end{pmatrix}, \qquad w = \begin{pmatrix} 1 \\ 0 \end{pmatrix}. \end{aligned}$$
$$\begin{aligned} & \bigl\vert 1 -\overline{\langle u, w\rangle }\langle v, w\rangle \bigr\vert = 1 -a^{2}, \\ &1 -2\operatorname{Re}\langle u, v\rangle + \Vert u \Vert ^{2} \Vert v \Vert ^{2} = 1 + 2a -3a ^{2}. \end{aligned}$$
$$\begin{aligned} 1 -2\operatorname{Re}\langle u, v\rangle + \Vert u \Vert ^{2} \Vert v \Vert ^{2} > C^{2} \bigl\vert 1 -\overline{ \langle u, w\rangle } \langle v, w\rangle \bigr\vert ^{2}. \end{aligned}$$
Remark 2.6
One can easily modify the proof of Theorem 2.2 to obtain the corresponding inequality in real inner product spaces.
Theorem 2.7
Let
\(\mathbb{V}\)
be a real inner product space. For any
\(u, v \in \mathbb{V}\), \(s > \max \{\|u\|, \|v\|\}\)
and
\(w \in \mathbb{V}\)
with
\(\|w\| \le 1\), the following inequality holds:
The equality holds if and only if one of the following conditions is satisfied:
$$\begin{aligned} \biggl\vert \frac{\langle u, w\rangle -\langle v, w\rangle }{1 -\frac{1}{s ^{2}}\langle u, w\rangle \langle v, w\rangle } \biggr\vert \le \sqrt{\frac{ \Vert u \Vert ^{2} -2\langle u, v\rangle + \Vert v \Vert ^{2}}{1 -\frac{2}{s ^{2}}\langle u, v\rangle + \frac{1}{s^{4}} \Vert u \Vert ^{2} \Vert v \Vert ^{2}}} \cdot \frac{2 \Vert w \Vert }{1 + \Vert w \Vert ^{2}}. \end{aligned}$$
(i)
\(u = v\),
(ii)
\(w = 0\),
(iii)
\(\|w\| = 1\)
and
\(u = \lambda w\), \(v = \mu w\)
for some real numbers
λ, μ.
3 A CBS type inequality related to the Möbius operations
In this section, we prove a rather essential extension of Theorem 1.7, which is related to both the Möbius addition and Möbius scalar multiplication.
The next is a key result for the main theorem, which might be interesting by itself as an elementary inequality of real and complex numbers.
Theorem 3.1
Let
p
and
q
be real numbers with
\(0 \le p, q \le 1\), and let
α
and
β
be complex numbers with
\(|\alpha |, |\beta | \le 1\). Then the following inequality holds:
The equality holds if and only if one of the following conditions is satisfied:
$$\begin{aligned} \begin{aligned} &(p + q) \biggl\vert 1 -\frac{(p + q)^{2}}{4}\overline{\alpha }\beta \biggr\vert \bigl\{ \bigl\vert 1 -p^{2}\overline{\alpha }\beta \bigr\vert \bigl\vert 1 -q ^{2}\overline{\alpha }\beta \bigr\vert + pq \vert \alpha -\beta \vert ^{2} \bigr\} \\ &\quad \le \bigl\{ p \bigl\vert 1 -q^{2}\overline{\alpha }\beta \bigr\vert + q \bigl\vert 1 -p^{2}\overline{\alpha }\beta \bigr\vert \bigr\} \biggl\{ \biggl\vert 1 -\frac{(p + q)^{2}}{4}\overline{\alpha } \beta \biggr\vert ^{2} + \frac{(p + q)^{2}}{4} \vert \alpha -\beta \vert ^{2} \biggr\} . \end{aligned} \end{aligned}$$
(i)
\(p = q\),
(ii)
\(\alpha = \beta = 0\).
Proof We will give a proof of Theorem 3.1 by showing each proof of a number of lemmas. Let \(\alpha = ae^{ix}\), \(\beta = be^{iy}\) with \(0 \le a, b \le 1\) and \(0 \le x, y \le 2\pi \) be the polar form of complex numbers α, β. Put \(t = \cos (-x + y)\) and
$$\begin{aligned} &A= \bigl\vert 1 -p^{2}\overline{\alpha }\beta \bigr\vert = \sqrt{1 -2p ^{2}abt + p^{4}a^{2}b^{2}}, \\ & B= \bigl\vert 1 -q^{2}\overline{\alpha }\beta \bigr\vert = \sqrt{1 -2q ^{2}abt + q^{4}a^{2}b^{2}}, \\ & C= \biggl\vert 1 -\frac{(p + q)^{2}}{4}\overline{\alpha }\beta \biggr\vert = \sqrt{1 -\frac{1}{2}(p + q)^{2}abt + \frac{1}{16}(p + q)^{4}a^{2}b ^{2}}, \\ & D= \vert \alpha -\beta \vert = \sqrt{a^{2} -2abt + b^{2}}. \end{aligned}$$
We will show
because it seems difficult to prove directly
$$\begin{aligned} &(p + q)^{2}C^{2} \bigl\{ AB + pqD^{2} \bigr\} ^{2} \le \{pB + qA \} ^{2} \biggl\{ C^{2} + \frac{(p + q)^{2}}{4}D^{2} \biggr\} ^{2}, \end{aligned}$$
(3.1)
$$\begin{aligned} &(p + q)C \bigl\{ AB + pqD^{2} \bigr\} \le \{pB + qA \} \biggl\{ C^{2} + \frac{(p + q)^{2}}{4}D^{2} \biggr\} . \end{aligned}$$
(3.2)
We can calculate the subtraction of the left-hand side from the right-hand side of (3.1) as follows:
$$\begin{aligned} & \{pB + qA \}^{2} \biggl\{ C^{2} + \frac{(p + q)^{2}}{4}D ^{2} \biggr\} ^{2} -(p + q)^{2}C^{2} \bigl\{ AB + pqD^{2} \bigr\} ^{2} \\ &\quad = \bigl\{ p^{2}B^{2} + q^{2}A^{2} \bigr\} \biggl\{ C^{4} + \frac{1}{2}(p + q)^{2}C^{2}D^{2} + \frac{1}{16}(p + q)^{4}D^{4} \biggr\} \\ &\qquad {} -(p + q)^{2}C^{2} \bigl\{ A^{2}B^{2} + p^{2}q^{2}D^{4} \bigr\} \\ &\qquad {} + 2pqAB \biggl\{ C^{4} -\frac{1}{2}(p + q)^{2}C^{2}D^{2} + \frac{1}{16}(p + q)^{4}D^{4} \biggr\} . \end{aligned}$$
(3.3)
Lemma 3.2
The sum of the first two terms
in formula (3.3) is a polynomial whose degree is at most 1 with respect to
t.
$$\begin{aligned} & \bigl\{ p^{2}B^{2} + q^{2}A^{2} \bigr\} \biggl\{ C^{4} + \frac{1}{2}(p + q)^{2}C^{2}D^{2} + \frac{1}{16}(p + q)^{4}D^{4} \biggr\} -(p + q)^{2}C^{2} \bigl\{ A^{2}B^{2} + p^{2}q^{2}D^{4} \bigr\} \end{aligned}$$
Proof
$$\begin{aligned} & \bigl\{ p^{2}B^{2} + q^{2}A^{2} \bigr\} \biggl\{ C^{4} + \frac{1}{2}(p + q)^{2}C^{2}D^{2} + \frac{1}{16}(p + q)^{4}D^{4} \biggr\} \\ &\qquad {} -(p + q)^{2}C^{2} \bigl\{ A^{2}B^{2} + p^{2}q^{2}D^{4} \bigr\} \\ &\quad = \bigl\{ p^{2} \bigl(1 -2q^{2}abt + q^{4}a^{2}b^{2} \bigr) + q^{2} \bigl(1 -2p^{2}abt + p^{4}a^{2}b^{2} \bigr) \bigr\} \\ &\qquad {} \times\biggl\{ 1 -\frac{1}{2}(p + q)^{2}abt + \frac{1}{16}(p + q)^{4}a^{2}b^{2} \biggr\} ^{2} \\ &\qquad {} + \frac{1}{2}(p + q)^{2} \bigl\{ p^{2} \bigl(1 -2q^{2}abt + q^{4}a^{2}b^{2} \bigr) + q^{2} \bigl(1 -2p^{2}abt + p^{4}a^{2}b^{2} \bigr) \bigr\} \\ &\qquad {} \times \biggl\{ 1 -\frac{1}{2}(p + q)^{2}abt + \frac{1}{16}(p + q)^{4}a ^{2}b^{2} \biggr\} \bigl(a^{2} -2abt + b^{2} \bigr) \\ &\qquad {} + \frac{1}{16}(p + q)^{4} \bigl\{ p^{2} \bigl(1 -2q^{2}abt + q^{4}a^{2}b^{2} \bigr)\\ &\qquad {} + q^{2} \bigl(1 -2p^{2}abt + p^{4}a^{2}b^{2} \bigr) \bigr\} \bigl(a^{2} -2abt + b^{2} \bigr)^{2} \\ &\qquad {} -(p + q)^{2} \biggl\{ 1 -\frac{1}{2}(p + q)^{2}abt + \frac{1}{16}(p + q)^{4}a ^{2}b^{2} \biggr\} \\ &\qquad {} \times\bigl(1 -2p^{2}abt + p^{4}a^{2}b^{2} \bigr) \bigl(1 -2q^{2}abt + q ^{4}a^{2}b^{2} \bigr) \\ &\qquad {} -p^{2}q^{2}(p + q)^{2} \biggl\{ 1 - \frac{1}{2}(p + q)^{2}abt + \frac{1}{16}(p + q)^{4}a^{2}b^{2} \biggr\} \bigl(a^{2} -2abt + b^{2} \bigr)^{2}. \end{aligned}$$
$$\begin{aligned} & \bigl\{ p^{2}B^{2} + q^{2}A^{2} \bigr\} C^{4} \\ &\quad = -p^{2}q^{2}(p + q)^{4}a^{3}b^{3}t^{3} \\ &\qquad {} + (p + q)^{2}a^{2}b^{2} \biggl\{ 4p^{2}q^{2} \biggl(1 + \frac{1}{16}(p + q)^{4}a^{2}b^{2} \biggr)\\ &\qquad {} + \frac{1}{4}(p + q)^{2} \bigl(p^{2} + q^{2} + p ^{2}q^{4}a^{2}b^{2} + p^{4}q^{2}a^{2}b^{2} \bigr) \biggr\} t^{2} \\ &\qquad {} + \text{terms of degree at most 1}, \\ &\frac{1}{2}(p + q)^{2} \bigl\{ p^{2}B^{2} + q^{2}A^{2} \bigr\} C^{2}D ^{2} \\ &\quad = -2p^{2}q^{2}(p + q)^{4}a^{3}b^{3}t^{3} \\ &\qquad {} + (p + q)^{2}a^{2}b^{2} \biggl\{ p^{2}q^{2}(p + q)^{2} \bigl(a^{2} + b^{2} \bigr) + 4p^{2}q^{2} \biggl(1 + \frac{1}{16}(p + q)^{4}a^{2}b^{2} \biggr) \\ &\qquad {} + \frac{1}{2}(p + q)^{2} \bigl(p^{2} + q^{2} + p^{2}q^{4}a^{2}b^{2} + p^{4}q ^{2}a^{2}b^{2} \bigr) \biggr\} t^{2} \\ &\qquad {} + \text{terms of degree at most 1}, \\ &\frac{1}{16}(p + q)^{4} \bigl\{ p^{2}B^{2} + q^{2}A^{2} \bigr\} D^{4} \\ &\quad = -p^{2}q^{2}(p + q)^{4}a^{3}b^{3}t^{3} \\ &\qquad {} + (p + q)^{2}a^{2}b^{2} \biggl\{ p^{2}q^{2}(p + q)^{2} \bigl(a^{2} + b^{2} \bigr)\\ &\qquad {} + \frac{1}{4}(p + q)^{2} \bigl(p^{2} + q^{2} + p^{2}q^{4}a^{2}b^{2} + p^{4}q ^{2}a^{2}b^{2} \bigr) \biggr\} t^{2} \\ &\qquad {} + \text{terms of degree at most 1}, \\ &-(p + q)^{2}C^{2}A^{2}B^{2} \\ &\quad = 2p^{2}q^{2}(p + q)^{4}a^{3}b^{3}t^{3} \\ &\qquad {} -(p + q)^{2}a^{2}b^{2} \biggl\{ p^{2}(p + q)^{2} \bigl(1 + q^{4}a^{2}b^{2} \bigr) + q^{2}(p + q)^{2} \bigl(1 + p^{4}a^{2}b^{2} \bigr) \\ &\qquad {} + 4p^{2}q^{2} \biggl(1 + \frac{1}{16}(p + q)^{4}a^{2}b^{2} \biggr) \biggr\} t^{2} \\ &\qquad {} + \text{terms of degree at most 1}, \\ &-p^{2}q^{2}(p + q)^{2}C^{2}D^{4} \\ &\quad = 2p^{2}q^{2}(p + q)^{4}a^{3}b^{3}t^{3} \\ &\qquad {} -(p + q)^{2}a^{2}b^{2} \biggl\{ 2p^{2}q^{2}(p + q)^{2} \bigl(a^{2} + b^{2} \bigr) + 4p^{2}q^{2} \biggl(1 + \frac{1}{16}(p + q)^{4}a^{2}b^{2} \biggr) \biggr\} t ^{2} \\ &\qquad {} + \text{terms of degree at most 1}. \end{aligned}$$
Lemma 3.3
The factor
\(C^{4} -\frac{1}{2}(p + q)^{2}C^{2}D^{2} + \frac{1}{16}(p + q)^{4}D ^{4}\)
in formula (3.3) does not depend on
t.
Proof
It is straightforward to see that
This completes the proof of Lemma 3.3. □
$$\begin{aligned} C^{4} -\frac{1}{2}(p + q)^{2}C^{2}D^{2} + \frac{1}{16}(p + q)^{4}D ^{4} = \biggl\{ 1 + \frac{1}{16}(p + q)^{4}a^{2}b^{2} - \frac{1}{4}(p + q)^{2} \bigl(a^{2} + b^{2} \bigr) \biggr\} ^{2}. \end{aligned}$$
Lemma 3.4
Proof
By Lemma 3.2 and Lemma 3.3, it is sufficient to show that AB is concave with respect to t. It is easy to show that
This completes the proof of Lemma 3.4. □
$$\begin{aligned} \frac{d}{dt}(AB) ={}& {-}ab \bigl\{ p^{2} \bigl(1 -2p^{2}abt + p^{4}a^{2}b^{2} \bigr)^{- \frac{1}{2}} \bigl(1 -2q^{2}abt + q^{4}a^{2}b^{2} \bigr)^{\frac{1}{2}} \\ &{} + q^{2} \bigl(1 -2p^{2}abt + p^{4}a^{2}b^{2} \bigr)^{\frac{1}{2}} \bigl(1 -2q^{2}abt + q ^{4}a^{2}b^{2} \bigr)^{-\frac{1}{2}} \bigr\} \\ \frac{d^{2}}{dt^{2}}(AB) ={}& {-}a^{2}b^{2} \bigl(1 -2p^{2}abt + p^{4}a^{2}b ^{2} \bigr)^{-\frac{1}{2}} \bigl(1 -2q^{2}abt + q^{4}a^{2}b^{2} \bigr)^{-\frac{1}{2}} \\ & {}\times\bigl\{ p^{2} \bigl(1 -2p^{2}abt + p^{4}a^{2}b^{2} \bigr)^{-\frac{1}{2}} \bigl(1 -2q ^{2}abt + q^{4}a^{2}b^{2} \bigr)^{\frac{1}{2}} \\ &{} -q^{2} \bigl(1 -2p^{2}abt + p^{4}a^{2}b^{2} \bigr)^{\frac{1}{2}} \bigl(1 -2q^{2}abt + q ^{4}a^{2}b^{2} \bigr)^{-\frac{1}{2}} \bigr\} ^{2} \le 0. \end{aligned}$$
Considering formula (3.3) as a function of \(-1 \le t \le 1\), it takes the minimum value at −1 or 1 by Lemma 3.4. Therefore, our proof of Theorem 3.1 can be reduced to showing the next lemma.
Lemma 3.5
Proof
In the case where α and β are real numbers, we can show (3.2) directly. Since \(p(1 -q^{2}\alpha \beta ) + q(1 -p^{2} \alpha \beta ) = (p + q)(1 -pq\alpha \beta )\), it is sufficient to show
It is easy to calculate the left-hand side of the previous formula as follows:
Thus, we need to show, for any \(0 \le p\), \(q \le 1\), \(-1 \le \alpha \), \(\beta \le 1\),
Indeed, put \(x = \alpha \beta \),
and consider the minimum value of \(f(x)\) for \(-1 \le x \le 0\). It is obvious
because \(pq(p + q)^{2} \le (p + q)^{2} \le 2(p^{2} + q^{2})\). Thus the minimum value of \(f(x)\) for \(-1 \le x \le 0\) is \(f(-1)\). Now it is immediate to see
It is easy to see the equality condition. This completes the proof of Lemma 3.5. □
$$\begin{aligned} &(1 -pq\alpha \beta ) \biggl\{ \biggl(1 -\frac{1}{4}(p + q)^{2} \alpha \beta \biggr)^{2} + \frac{1}{4}(p + q)^{2}( \alpha -\beta )^{2} \biggr\} \\ &\quad {}- \biggl(1 -\frac{1}{4}(p + q)^{2}\alpha \beta \biggr) \bigl\{ \bigl(1 -p^{2}\alpha \beta \bigr) \bigl(1 -q^{2}\alpha \beta \bigr) + pq(\alpha -\beta )^{2} \bigr\} \ge 0. \end{aligned}$$
$$\begin{aligned} ={}& (1 -pq\alpha \beta ) \biggl\{ 1 -\frac{1}{2}(p + q)^{2}\alpha \beta + \frac{1}{16}(p + q)^{4}\alpha ^{2}\beta ^{2} + \frac{1}{4}(p + q)^{2} \bigl( \alpha ^{2} -2\alpha \beta + \beta ^{2} \bigr) \biggr\} \\ &{} - \biggl(1 -\frac{1}{4}(p + q)^{2}\alpha \beta \biggr) \bigl\{ 1 -p ^{2}\alpha \beta -q^{2}\alpha \beta + p^{2}q^{2}\alpha ^{2}\beta ^{2} + pq \bigl(\alpha ^{2} -2\alpha \beta + \beta ^{2} \bigr) \bigr\} \\ ={}& 1 -\frac{1}{2}(p + q)^{2}\alpha \beta + \frac{1}{16}(p + q)^{4} \alpha ^{2}\beta ^{2} + \frac{1}{4}(p + q)^{2} \bigl(\alpha ^{2} -2\alpha \beta + \beta ^{2} \bigr) \\ &{} -pq\alpha \beta + \frac{1}{2}pq(p + q)^{2}\alpha ^{2}\beta ^{2} - \frac{1}{16}pq(p + q)^{4} \alpha ^{3}\beta ^{3} \\ &{}-\frac{1}{4}pq(p + q)^{2} \bigl( \alpha ^{3}\beta -2\alpha ^{2}\beta ^{2} + \alpha \beta ^{3} \bigr) \\ &{} -1 + p^{2}\alpha \beta + q^{2}\alpha \beta -p^{2}q^{2}\alpha ^{2}\beta ^{2} -pq \bigl(\alpha ^{2} -2\alpha \beta + \beta ^{2} \bigr) \\ &{} + \frac{1}{4}(p + q)^{2}\alpha \beta - \frac{1}{4}p^{2}(p + q)^{2} \alpha ^{2}\beta ^{2} -\frac{1}{4}q^{2}(p + q)^{2}\alpha ^{2}\beta ^{2} + \frac{1}{4}p^{2}q^{2}(p + q)^{2}\alpha ^{3}\beta ^{3} \\ &{} + \frac{1}{4}pq(p + q)^{2} \bigl(\alpha ^{3} \beta -2\alpha ^{2}\beta ^{2} + \alpha \beta ^{3} \bigr) \\ ={}& \frac{(p -q)^{2}}{16} \bigl\{ 4 \bigl(\alpha ^{2} + \alpha \beta + \beta ^{2} \bigr) - \bigl((p + q)^{2} + 2 \bigl(p^{2} + q^{2} \bigr) \bigr)\alpha ^{2}\beta ^{2} -pq(p + q)^{2}\alpha ^{3}\beta ^{3} \bigr\} . \end{aligned}$$
$$\begin{aligned} 4 \bigl(\alpha ^{2} + \alpha \beta + \beta ^{2} \bigr) - \bigl((p + q)^{2} + 2 \bigl(p ^{2} + q^{2} \bigr) \bigr)\alpha ^{2}\beta ^{2} -pq(p + q)^{2}\alpha ^{3}\beta ^{3} \ge 0. \end{aligned}$$
(i)
The case where \(\alpha \beta \ge 0\).
$$\begin{aligned} \begin{aligned} &4 \bigl(\alpha ^{2} + \alpha \beta + \beta ^{2} \bigr) - \bigl((p + q)^{2} + 2 \bigl(p ^{2} + q^{2} \bigr) \bigr)\alpha ^{2}\beta ^{2} -pq(p + q)^{2}\alpha ^{3}\beta ^{3} \\ &\quad \ge 4 \bigl(\alpha ^{2} + \alpha \beta + \beta ^{2} \bigr) -8\alpha ^{2}\beta ^{2} -4 \alpha ^{3}\beta ^{3} \\ &\quad \ge 4 \bigl(\alpha ^{2} + \alpha \beta + \beta ^{2} \bigr) -8\alpha \beta -4 \alpha \beta = 4(\alpha -\beta )^{2} \ge 0. \end{aligned} \end{aligned}$$
(ii)
The case where \(\alpha \beta < 0\).
where we used \(\alpha \beta < 0\) and the fact
$$\begin{aligned} &4 \bigl(\alpha ^{2} + \alpha \beta + \beta ^{2} \bigr) - \bigl((p + q)^{2} + 2 \bigl(p ^{2} + q^{2} \bigr) \bigr)\alpha ^{2}\beta ^{2} -pq(p + q)^{2}\alpha ^{3}\beta ^{3} \\ &\quad = 4(\alpha + \beta )^{2} -\alpha \beta \bigl\{ 4 + \bigl((p + q)^{2} + 2 \bigl(p^{2} + q^{2} \bigr) \bigr)\alpha \beta + pq(p + q)^{2}\alpha ^{2}\beta ^{2} \bigr\} \ge 0, \end{aligned}$$
$$\begin{aligned} 4 + \bigl((p + q)^{2} + 2 \bigl(p^{2} + q^{2} \bigr) \bigr)\alpha \beta + pq(p + q)^{2}\alpha ^{2}\beta ^{2} \ge 0. \end{aligned}$$
$$\begin{aligned} f(x) = pq(p + q)^{2}x^{2} + \bigl((p + q)^{2} + 2 \bigl(p^{2} + q^{2} \bigr) \bigr)x + 4 \end{aligned}$$
$$\begin{aligned} f^{\prime }(x) = 0 \quad \text{if and only if}\quad x = - \frac{(p + q)^{2} + 2(p^{2} + q^{2})}{2pq(p + q)^{2}} \le -1, \end{aligned}$$
$$\begin{aligned} f(-1) = 2 \bigl(1 -p^{2} \bigr) \bigl(1 -q^{2} \bigr) + (1 -pq) \bigl(2 -p^{2} -q^{2} \bigr) \ge 0. \end{aligned}$$
Completion of the proof of Theorem 3.1
The following theorem can be regarded as the most natural extension of the CBS type inequality in complex inner product spaces in the context of relation between inner product spaces and the Möbius operations. In the rest of the paper, we simply denote ⊕1, ⊗1 by ⊕, ⊗, respectively.
Theorem 3.6
Let
\(\mathbb{V}\)
be a complex inner product space. For any
\(u, v \in \mathbb{V}\), \(s > \max \{\|u\|, \|v\|\}\), and
\(w \in \mathbb{V}\)
with
\(\|w\| \le 1\), the following inequality holds:
that is,
The equality holds if and only if one of the following conditions is satisfied:
$$\begin{aligned} \biggl\vert \frac{ \langle u, w \rangle - \langle v, w \rangle }{1 -\frac{1}{s^{2}} \overline{ \langle u, w \rangle } \langle v, w \rangle } \biggr\vert \le \Vert w \Vert \otimes _{s} \sqrt{\frac{ \Vert u \Vert ^{2} -2\operatorname{Re} \langle u, v \rangle + \Vert v \Vert ^{2}}{1 -\frac{2}{s ^{2}}\operatorname{Re} \langle u, v \rangle + \frac{1}{s^{4}} \Vert u \Vert ^{2} \Vert v \Vert ^{2}}}, \end{aligned}$$
(3.4)
$$\begin{aligned} & \biggl\vert \frac{ \langle u, w \rangle - \langle v, w \rangle }{1 -\frac{1}{s^{2}} \overline{ \langle u, w \rangle } \langle v, w \rangle } \biggr\vert \le s\tanh \biggl\{ \Vert w \Vert \tanh ^{-1} \biggl( \frac{1}{s} \sqrt{\frac{ \Vert u \Vert ^{2} -2 \operatorname{Re} \langle u, v \rangle + \Vert v \Vert ^{2}}{1 -\frac{2}{s ^{2}}\operatorname{Re} \langle u, v \rangle + \frac{1}{s^{4}} \Vert u \Vert ^{2} \Vert v \Vert ^{2}}} \biggr) \biggr\} . \end{aligned}$$
(i)
\(u = v\),
(ii)
\(w = 0\),
(iii)
\(\|w\| = 1\)
and
\(u = \lambda w\), \(v = \mu w\)
for some complex numbers
λ, μ.
Proof
At first, we show that if \(\|u\|, \|v\| < 1\) and \(\|w\| \le 1\), then
The proof uses an argument in [2] that shows the operator monotonicity of the functions \(t^{p}\) with \(0 \le p \le 1\). Let E denote the set of all real numbers p in the interval \([0, 1]\) for which if \(w \in \mathbb{V}\) with \(\|w\| = p\) then inequality (3.5) holds. Trivially \(0 \in E\), and Theorem 1.7 implies that \(1 \in E\). It is obvious that E is a closed subset of \([0, 1]\). The proof of inequality (3.5) will be complete when we show that E is convex. Suppose \(p, q \in E\). For an arbitrary element \(w \in \mathbb{V}\) with \(\|w\| = \frac{p + q}{2}\), put \(w_{1} = \frac{2p}{p + q}w\), \(w_{2} = \frac{2q}{p + q}w\). Then \(\|w_{1}\| = p\), \(\|w_{2}\| = q\), so we have
We have to show
By the properties of the Möbius operations together with ordinary addition and multiplication restricted to real numbers and Lemma 1.5,
It is also clear that
is equivalent to
Therefore, in order to show (3.6), it is sufficient to prove
We put \(\alpha = \frac{2}{p + q} \langle u, w \rangle \), \(\beta = \frac{2}{p + q} \langle v, w \rangle \). Then it follows that \(|\alpha |, |\beta | < 1\) by the classical CBS inequality. Furthermore, we have
Hence we can obtain
Therefore, dividing both sides by \(|\alpha -\beta |\), our proof is reduced to show that
the last inequality actually holds by Theorem 3.1. Thus the set E is convex, which leads to \(E = [0, 1]\), so inequality (3.5) holds.
$$\begin{aligned} \biggl\vert \frac{ \langle u, w \rangle - \langle v, w \rangle }{1 -\overline{ \langle u, w \rangle } \langle v, w \rangle } \biggr\vert \le \Vert w \Vert \otimes \sqrt{\frac{ \Vert u \Vert ^{2} -2\operatorname{Re} \langle u, v \rangle + \Vert v \Vert ^{2}}{1 -2\operatorname{Re} \langle u, v \rangle + \Vert u \Vert ^{2} \Vert v \Vert ^{2}}}. \end{aligned}$$
(3.5)
$$\begin{aligned} &\biggl\vert \frac{ \langle u, w_{1} \rangle - \langle v, w _{1} \rangle }{1 - \overline{ \langle u, w_{1} \rangle } \langle v, w _{1} \rangle } \biggr\vert \le p \otimes \sqrt{ \frac{ \Vert u \Vert ^{2} -2 \operatorname{Re} \langle u, v \rangle + \Vert v \Vert ^{2}}{1 -2\operatorname{Re} \langle u, v \rangle + \Vert u \Vert ^{2} \Vert v \Vert ^{2}}}, \\ & \biggl\vert \frac{ \langle u, w_{2} \rangle - \langle v, w _{2} \rangle }{1 - \overline{ \langle u, w_{2} \rangle } \langle v, w _{2} \rangle } \biggr\vert \le q \otimes \sqrt{ \frac{ \Vert u \Vert ^{2} -2 \operatorname{Re} \langle u, v \rangle + \Vert v \Vert ^{2}}{1 -2\operatorname{Re} \langle u, v \rangle + \Vert u \Vert ^{2} \Vert v \Vert ^{2}}}. \end{aligned}$$
$$\begin{aligned} \biggl\vert \frac{ \langle u, w \rangle - \langle v, w \rangle }{1 -\overline{ \langle u, w \rangle } \langle v, w \rangle } \biggr\vert \le \frac{p + q}{2} \otimes \sqrt{\frac{ \Vert u \Vert ^{2} -2\operatorname{Re} \langle u, v \rangle + \Vert v \Vert ^{2}}{1 -2\operatorname{Re} \langle u, v \rangle + \Vert u \Vert ^{2} \Vert v \Vert ^{2}}}. \end{aligned}$$
(3.6)
$$\begin{aligned} &\frac{p + q}{2} \otimes \sqrt{\frac{ \Vert u \Vert ^{2} -2\operatorname{Re} \langle u, v \rangle + \Vert v \Vert ^{2}}{1 -2 \operatorname{Re} \langle u, v \rangle + \Vert u \Vert ^{2} \Vert v \Vert ^{2}}} \\ &\quad = \frac{1}{2} \otimes \biggl(p \otimes \sqrt{\frac{ \Vert u \Vert ^{2} -2 \operatorname{Re} \langle u, v \rangle + \Vert v \Vert ^{2}}{1 -2\operatorname{Re} \langle u, v \rangle + \Vert u \Vert ^{2} \Vert v \Vert ^{2}}} \biggr) \oplus \frac{1}{2} \\ &\qquad {}\otimes \biggl(q \otimes \sqrt{ \frac{ \Vert u \Vert ^{2} -2\operatorname{Re} \langle u, v \rangle + \Vert v \Vert ^{2}}{1 -2 \operatorname{Re} \langle u, v \rangle + \Vert u \Vert ^{2} \Vert v \Vert ^{2}}} \biggr) \\ &\quad \ge \frac{1}{2} \otimes \biggl\vert \frac{ \langle u, w_{1} \rangle - \langle v, w_{1} \rangle }{1 -\overline{ \langle u, w _{1} \rangle } \langle v, w_{1} \rangle } \biggr\vert \oplus \frac{1}{2} \otimes \biggl\vert \frac{ \langle u, w_{2} \rangle - \langle v, w_{2} \rangle }{1 -\overline{ \langle u, w _{2} \rangle } \langle v, w_{2} \rangle } \biggr\vert . \end{aligned}$$
$$\begin{aligned} c \le \frac{1}{2} \otimes b_{1} \oplus \frac{1}{2} \otimes b_{2} \end{aligned}$$
$$\begin{aligned} 2 \otimes c \le b_{1} \oplus b_{2}. \end{aligned}$$
$$\begin{aligned} 2 \otimes \biggl\vert \frac{ \langle u, w \rangle - \langle v, w \rangle }{1 -\overline{ \langle u, w \rangle } \langle v, w \rangle } \biggr\vert \le \biggl\vert \frac{ \langle u, w_{1} \rangle - \langle v, w_{1} \rangle }{1 -\overline{ \langle u, w _{1} \rangle } \langle v, w_{1} \rangle } \biggr\vert \oplus \biggl\vert \frac{ \langle u, w_{2} \rangle - \langle v, w_{2} \rangle }{1 -\overline{ \langle u, w_{2} \rangle } \langle v, w_{2} \rangle } \biggr\vert . \end{aligned}$$
$$\begin{aligned} &\langle u, w \rangle= \frac{p + q}{2}\alpha , \qquad \langle v, w \rangle = \frac{p + q}{2}\beta , \qquad \langle u, w_{1} \rangle = p\alpha , \qquad \langle v, w_{1} \rangle = p\beta , \\ & \langle u, w_{2} \rangle= q\alpha , \qquad \langle v, w_{2} \rangle = q\beta . \end{aligned}$$
$$\begin{aligned} & \biggl\vert \frac{ \langle u, w_{1} \rangle - \langle v, w _{1} \rangle }{1 - \overline{ \langle u, w_{1} \rangle } \langle v, w _{1} \rangle } \biggr\vert \oplus \biggl\vert \frac{ \langle u, w _{2} \rangle - \langle v, w_{2} \rangle }{1 -\overline{ \langle u, w_{2} \rangle } \langle v, w_{2} \rangle } \biggr\vert = \frac{ \vert \frac{ \langle u, w_{1} \rangle - \langle v, w _{1} \rangle }{1 - \overline{ \langle u, w_{1} \rangle } \langle v, w _{1} \rangle } \vert + \vert \frac{ \langle u, w_{2} \rangle - \langle v, w_{2} \rangle }{1 -\overline{ \langle u, w _{2} \rangle } \langle v, w_{2} \rangle } \vert }{ 1 + \vert \frac{ \langle u, w_{1} \rangle - \langle v, w_{1} \rangle }{1 -\overline{ \langle u, w _{1} \rangle } \langle v, w_{1} \rangle } \vert \vert \frac{ \langle u, w_{2} \rangle - \langle v, w _{2} \rangle }{1 - \overline{ \langle u, w_{2} \rangle } \langle v, w _{2} \rangle } \vert } \\ &\quad = \frac{ \vert 1 -q^{2}\overline{\alpha }\beta \vert p \vert \alpha - \beta \vert + \vert 1 -p^{2}\overline{\alpha }\beta \vert q \vert \alpha - \beta \vert }{ \vert 1 -p^{2}\overline{\alpha }\beta \vert \vert 1 -q ^{2}\overline{\alpha }\beta \vert + pq \vert \alpha -\beta \vert ^{2}} \\ &2 \otimes \biggl\vert \frac{ \langle u, w \rangle - \langle v, w \rangle }{1 -\overline{ \langle u, w \rangle } \langle v, w \rangle } \biggr\vert = \frac{ 2 \vert \frac{ \langle u, w \rangle - \langle v, w \rangle }{1 -\overline{ \langle u, w \rangle } \langle v, w \rangle } \vert }{ 1 + \vert \frac{ \langle u, w \rangle - \langle v, w \rangle }{1 -\overline{ \langle u, w \rangle } \langle v, w \rangle } \vert ^{2}} = \frac{ \vert 1 -\frac{(p + q)^{2}}{4}\overline{\alpha }\beta \vert (p + q) \vert \alpha -\beta \vert }{ \vert 1 -\frac{(p + q)^{2}}{4}\overline{\alpha }\beta \vert ^{2} + \frac{(p + q)^{2}}{4} \vert \alpha -\beta \vert ^{2}}. \end{aligned}$$
$$\begin{aligned} \frac{ \vert 1 -\frac{(p + q)^{2}}{4}\overline{\alpha }\beta \vert (p + q)}{ \vert 1 -\frac{(p + q)^{2}}{4}\overline{\alpha }\beta \vert ^{2} + \frac{(p + q)^{2}}{4} \vert \alpha -\beta \vert ^{2}} \le \frac{ \vert 1 -q ^{2}\overline{\alpha }\beta \vert p + \vert 1 -p^{2}\overline{ \alpha }\beta \vert q}{ \vert 1 -p^{2}\overline{\alpha }\beta \vert \vert 1 -q^{2}\overline{\alpha }\beta \vert + pq \vert \alpha -\beta \vert ^{2}}, \end{aligned}$$
Finally, let \(u, v \in \mathbb{V}\) be arbitrary elements, and let \(s > \max \{\|u\|, \|v\|\}\). Applying inequality (3.5) to \(\frac{u}{s}\), \(\frac{v}{s}\), it is straightforward to deduce inequality (3.4).
For the equality condition, we may assume \(s = 1\).
It is immediate to see that the equality in (3.5) holds provided one of the conditions (i), (ii), or (iii) is satisfied.
Conversely, suppose \(\frac{1}{2} \le p < 1\), \(u, v, w \in \mathbb{V}\) with \(\|u\| < 1\), \(\|v\| < 1\), \(\|w\| = p\) and that the equality of (3.5) holds. If we put
then it is obvious that \(\|w_{1}\| = p^{\prime }\), \(\|w_{2}\| = 1\). By Theorem 3.1, inequality (3.5) and Lemma 1.5, it follows that
where the last formula equals to the first one by the assumption. Therefore, by the equality condition of Lemma 1.5,
which yields one of the following conditions: by the equality condition of Theorem 1.7. We have to consider only the case of condition (ii). The first inequality in the previous series of inequalities also has to be an equality. Namely,
which yields one of the following conditions:
However, we have \(p^{\prime }\ne 1\), because \(p < 1\). So the condition (ii′) \(\alpha = \beta \) has to occur. Furthermore,
thus we can conclude \(\lambda = \mu \) or \(u = v\).
$$\begin{aligned} p^{\prime }= 2p -1, \qquad w_{1} = \frac{2p^{\prime }}{p^{\prime }+ 1}w, \qquad w_{2} = \frac{2}{p^{\prime }+ 1}w, \end{aligned}$$
$$\begin{aligned} \biggl\vert \frac{ \langle u, w \rangle - \langle v, w \rangle }{1 -\overline{ \langle u, w \rangle } \langle v, w \rangle } \biggr\vert \le {}&\frac{1}{2} \otimes \biggl\vert \frac{ \langle u, w_{1} \rangle - \langle v, w _{1} \rangle }{1 - \overline{ \langle u, w_{1} \rangle } \langle v, w _{1} \rangle } \biggr\vert \oplus \frac{1}{2}\otimes \biggl\vert \frac{ \langle u, w_{2} \rangle - \langle v, w_{2} \rangle }{1 - \overline{ \langle u, w_{2} \rangle } \langle v, w _{2} \rangle } \biggr\vert \\ \le {}&\frac{1}{2} \otimes \biggl(p^{\prime }\otimes \sqrt{ \frac{ \Vert u \Vert ^{2} -2\operatorname{Re} \langle u, v \rangle + \Vert v \Vert ^{2}}{1 -2\operatorname{Re} \langle u, v \rangle + \Vert u \Vert ^{2} \Vert v \Vert ^{2}}} \biggr) \oplus \frac{1}{2} \\ &{} \otimes \biggl(1 \otimes \sqrt{\frac{ \Vert u \Vert ^{2} -2\operatorname{Re} \langle u, v \rangle + \Vert v \Vert ^{2}}{1 -2\operatorname{Re} \langle u, v \rangle + \Vert u \Vert ^{2} \Vert v \Vert ^{2}}} \biggr) \\ ={}& \frac{p^{\prime }+ 1}{2} \otimes \sqrt{\frac{ \Vert u \Vert ^{2} -2\operatorname{Re} \langle u, v \rangle + \Vert v \Vert ^{2}}{1 -2\operatorname{Re} \langle u, v \rangle + \Vert u \Vert ^{2} \Vert v \Vert ^{2}}}, \end{aligned}$$
$$\begin{aligned} \biggl\vert \frac{ \langle u, w_{2} \rangle - \langle v, w _{2} \rangle }{1 - \overline{ \langle u, w_{2} \rangle } \langle v, w _{2} \rangle } \biggr\vert = \sqrt{\frac{ \Vert u \Vert ^{2} -2\operatorname{Re} \langle u, v \rangle + \Vert v \Vert ^{2}}{1 -2\operatorname{Re} \langle u, v \rangle + \Vert u \Vert ^{2} \Vert v \Vert ^{2}}}, \end{aligned}$$
(i)
\(u = v\),
(ii)
\(u = \lambda w\), \(v = \mu w\) for some complex numbers λ, μ
$$\begin{aligned} \biggl\vert \frac{ \langle u, w \rangle - \langle v, w \rangle }{1 -\overline{ \langle u, w \rangle } \langle v, w \rangle } \biggr\vert = \frac{1}{2} \otimes \biggl\vert \frac{ \langle u, w_{1} \rangle - \langle v, w _{1} \rangle }{1 - \overline{ \langle u, w_{1} \rangle } \langle v, w _{1} \rangle } \biggr\vert \oplus \frac{1}{2} \otimes \biggl\vert \frac{ \langle u, w_{2} \rangle - \langle v, w_{2} \rangle }{1 - \overline{ \langle u, w_{2} \rangle } \langle v, w _{2} \rangle } \biggr\vert , \end{aligned}$$
(i′)
\(p^{\prime }= 1\),
(ii′)
\(\alpha = \beta \).
$$\begin{aligned} \alpha = \frac{2}{p^{\prime }+ 1} \langle u, w \rangle = \frac{2}{p ^{\prime }+ 1}\lambda \Vert w \Vert ^{2} \quad \text{and} \quad \beta = \frac{2}{p^{\prime }+ 1} \langle v, w \rangle = \frac{2}{p ^{\prime }+ 1}\mu \Vert w \Vert ^{2}, \end{aligned}$$
Next, suppose \(\frac{1}{4} \le p < \frac{1}{2}\) and that the equality of (3.5) holds for \(\|w\| = p\). Put
Then we have \(\|w_{1}\| = p^{\prime }\), \(\|w_{2}\| = \frac{1}{2}\). A similar argument before shows
which yields \(u = v\) by the equality condition established just before. This argument can be repeated for half open intervals \([1/2^{n + 1}, 1/2^{n})\), and we can conclude that the equality condition holds. This completes the proof. □
$$\begin{aligned} p^{\prime }= 2p -\frac{1}{2}, \qquad w_{1} = \frac{2p^{\prime }}{p^{\prime }+ \frac{1}{2}}w, \qquad w_{2} = \frac{2\cdot \frac{1}{2}}{p^{\prime }+ \frac{1}{2}}w. \end{aligned}$$
$$\begin{aligned} \biggl\vert \frac{ \langle u, w_{2} \rangle - \langle v, w _{2} \rangle }{1 - \overline{ \langle u, w_{2} \rangle } \langle v, w _{2} \rangle } \biggr\vert = \frac{1}{2} \otimes \sqrt{\frac{ \Vert u \Vert ^{2} -2\operatorname{Re} \langle u, v \rangle + \Vert v \Vert ^{2}}{1 -2\operatorname{Re} \langle u, v \rangle + \Vert u \Vert ^{2} \Vert v \Vert ^{2}}}, \end{aligned}$$
The following theorem shows that the number \(\|w\|\) in the right-hand side of inequality (3.4) is the best in a sense.
Theorem 3.7
Let
\(\mathbb{V}\)
be a complex inner product space and
w
be a fixed element in
\(\mathbb{V}\)
with
\(\|w\| \le 1\). Suppose that there exists a nonnegative constant
K
satisfying the following inequality:
for any
\(u, v \in \mathbb{V}\)
with
\(\|u\|, \|v\| < 1\). Then
\(\|w\| \le K\).
$$\begin{aligned} \biggl\vert \frac{ \langle u, w \rangle - \langle v, w \rangle }{1 -\overline{ \langle u, w \rangle } \langle v, w \rangle } \biggr\vert \le K \otimes \sqrt{\frac{ \Vert u \Vert ^{2} -2\operatorname{Re} \langle u, v \rangle + \Vert v \Vert ^{2}}{1 -2\operatorname{Re} \langle u, v \rangle + \Vert u \Vert ^{2} \Vert v \Vert ^{2}}} \end{aligned}$$
(3.7)
Proof
For any \(u, v \in \mathbb{V}\) and \(s > \max \{\|u\|, \|v\|\}\), by applying assumption (3.7) to \(\frac{u}{s}\), \(\frac{v}{s}\), it is immediate to see
By letting \(s \to \infty \), we can obtain
If we take \(u = \frac{1}{2}w\) and \(v = 0\), then we have
which yields \(\|w\| \le K\). This completes the proof. □
$$\begin{aligned} \biggl\vert \frac{ \langle u, w \rangle - \langle v, w \rangle }{1 -\frac{1}{s^{2}} \overline{ \langle u, w \rangle } \langle v, w \rangle } \biggr\vert &\le s\tanh \biggl\{ K\tanh ^{-1} \biggl(\frac{1}{s}\sqrt{\frac{ \Vert u \Vert ^{2} -2 \operatorname{Re} \langle u, v \rangle + \Vert v \Vert ^{2}}{1 -\frac{2}{s ^{2}}\operatorname{Re} \langle u, v \rangle + \frac{1}{s^{4}} \Vert u \Vert ^{2} \Vert v \Vert ^{2}}} \biggr) \biggr\} . \end{aligned}$$
$$\begin{aligned} \bigl\vert \langle u, w \rangle - \langle v, w \rangle \bigr\vert \le K \Vert u -v \Vert . \end{aligned}$$
$$\begin{aligned} \frac{1}{2} \Vert w \Vert ^{2} = \bigl\vert \langle u, w \rangle - \langle v, w \rangle \bigr\vert \le K \Vert u -v \Vert = \frac{K}{2} \Vert w \Vert , \end{aligned}$$
Theorem 3.8
Let
\(\mathbb{V}\)
be a real inner product space. For any
\(u, v \in \mathbb{V}\), \(s > \max \{\|u\|, \|v\|\}\), and
\(w \in \mathbb{V}\)
with
\(\|w\| \le 1\), the following inequality holds:
or
that is,
The equality holds if and only if one of the following conditions is satisfied:
$$\begin{aligned} \bigl\vert \langle u, w \rangle \ominus _{s} \langle v, w \rangle \bigr\vert \le \Vert w \Vert \otimes _{s} \Vert u \ominus _{s} v \Vert \end{aligned}$$
$$\begin{aligned} h \bigl( \langle u, w \rangle , \langle v, w \rangle \bigr) \le \Vert w \Vert h(u, v), \end{aligned}$$
$$\begin{aligned} & \biggl\vert \frac{ \langle u, w \rangle - \langle v, w \rangle }{1 -\frac{1}{s^{2}} \langle u, w \rangle \langle v, w \rangle } \biggr\vert \le s\tanh \biggl\{ \Vert w \Vert \tanh ^{-1} \biggl( \frac{1}{s} \sqrt{\frac{ \Vert u \Vert ^{2} -2 \langle u, v \rangle + \Vert v \Vert ^{2}}{1 -\frac{2}{s^{2}} \langle u, v \rangle + \frac{1}{s^{4}} \Vert u \Vert ^{2} \Vert v \Vert ^{2}}} \biggr) \biggr\} . \end{aligned}$$
(i)
\(u = v\),
(ii)
\(w = 0\),
(iii)
\(\|w\| = 1\)
and
\(u = \lambda w\), \(v = \mu w\)
for some real numbers
λ, μ.
Remark 3.9
(ii)
Acknowledgements
The author is greatly indebted to the referees who read the manuscript carefully, as their comments improved presentation of the paper. Especially, one of the referees remarkably simplified the proof of Theorem 2.2. The author would like to thank Prof. Sin-Ei Takahasi for raising Question 1.10 in an oral presentation by the author at the conference 92nd Yonezawa Mathematics Seminar on June 30th, 2018. This work was supported by the Research Institute for Mathematical Sciences, a Joint Usage/Research Center located in Kyoto University.
Availability of data and materials
Not applicable.
Competing interests
The author declares that he has no competing interests.
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.
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
