Abstract
We show some Cauchy–Bunyakovsky–Schwarz type inequalities related to the Möbius operations in complex inner product spaces which are extensions of a similar type inequality obtained recently, and we discuss some properties.
Similar content being viewed by others
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.
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,5,6]).
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}\).
We simply denote \(\oplus _{\mathrm{M}}\), \(\otimes _{\mathrm{M}}\) by \(\oplus _{s}\), \(\otimes _{s}\), respectively.
Theorem 1.2
(see [7, after Remark 3.41], [6, p. 1054])
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}\).
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)].
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:
-
(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}}\)
for any \(u, v \in \mathbb{V}_{s}\).
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.
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\)).
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. □
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. □
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:
-
(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 \).
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\).
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
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\)?
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. □
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:
-
(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.
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. □
Remark 2.3
Since \(\frac{2\|w\|}{1 + \|w\|^{2}} \le 1\), Theorem 2.2 is an improvement of Theorem 1.7.
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:
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
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. □
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.
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
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. □
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:
-
(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:
-
(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
We will show
because it seems difficult to prove directly
We can calculate the subtraction of the left-hand side from the right-hand side of (3.1) as follows:
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.
Proof
It is clear that the previous formula is a polynomial whose degree is at most 3 with respect to t. Although the rest of the proof is just expanding the formula above, we describe a process to calculate for the convenience of readers.
It is not difficult to verify that the terms of degree 3 and 2 actually cancel each other, respectively. Thus the sum of the first two terms in formula (3.3) consists of terms at most degree 1. This completes the proof of Lemma 3.2. □
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. □
Lemma 3.4
Formula (3.3) is a concave function with respect to t.
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. □
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
Theorem 3.1 holds for real numbers α, β.
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\),
-
(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\).
$$\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}$$where we used \(\alpha \beta < 0\) and the fact
$$\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}$$
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. □
Completion of the proof of Theorem 3.1
Thus we have shown that formula (3.3) is nonnegative. It is easy to check that the equality condition of Theorem 3.1 holds, because it can be reduced to the equality condition for the case of real numbers. This completes 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:
-
(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.
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:
-
(i)
\(u = v\),
-
(ii)
\(u = \lambda w\), \(v = \mu w\) for some complex numbers λ, μ
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:
- (i′):
-
\(p^{\prime }= 1\),
- (ii′):
-
\(\alpha = \beta \).
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\).
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. □
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\).
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. □
Lemma 3.5 implies the result corresponding to Theorem 3.6 in real inner product spaces.
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:
-
(i)
\(u = v\),
-
(ii)
\(w = 0\),
-
(iii)
\(\|w\| = 1\) and \(u = \lambda w\), \(v = \mu w\) for some real numbers λ, μ.
Remark 3.9
-
(i)
Obviously, if \(\|w\| = 1\), then inequalities (2.1) and (3.4) reduce to inequality (1.1).
-
(ii)
As used in the proof of Theorem 3.7, by letting \(s \to \infty \) in inequality (3.4), we can recapture the classical CBS inequality (1.2).
-
(iii)
Theorem 3.6 is an improvement of Theorem 1.7, because, if \(0 \le a < s\) and \(\|w\| \le 1\), then \(\|w\| \otimes _{s} a \le a\).
References
Conway, J.B.: A Course in Functional Analysis, 2nd edn. Graduate Texts in Mathematics, vol. 96. Springer, New York (1990)
Pedersen, G.K.: Some operator monotone functions. Proc. Am. Math. Soc. 36(1), 309–310 (1972)
Steele, J.M.: The Cauchy–Schwarz Master Class: An Introduction to the Art of Mathematical Inequalities. MAA Problem Books Series. Cambridge University Press, Cambridge (2008)
Ungar, A.A.: Thomas rotation and the parametrization of the Lorentz transformation group. Found. Phys. Lett. 1(1), 57–89 (1988)
Ungar, A.A.: Group-like structure underlying the unit ball in real inner product spaces. Results Math. 18(3–4), 355–364 (1990)
Ungar, A.A.: Extension of the unit disk gyrogroup into the unit ball of any real inner product space. J. Math. Anal. Appl. 202(3), 1040–1057 (1996)
Ungar, A.A.: Analytic Hyperbolic Geometry and Albert Einstein’s Special Theory of Relativity. World Scientific, Singapore (2008)
Watanabe, K.: A Cauchy type inequality for Möbius operations. J. Inequal. Appl. 2018, 97 (2018). https://doi.org/10.1186/s13660-018-1690-2
Watanabe, K.: A Cauchy–Bunyakovsky–Schwarz type inequality related to the Möbius addition. J. Math. Inequal. 12(4), 989–996 (2018). https://doi.org/10.7153/jmi-2018-12-75
Watanabe, K.: Orthogonal gyroexpansion in Möbius gyrovector spaces. J. Funct. Spaces 2017, Article ID 1518254 (2017). https://doi.org/10.1155/2017/1518254
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.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
The author read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The author declares that he has no competing interests.
Additional information
Dedicated to Professor Osamu Hatori on his 65th birthday
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Watanabe, K. Cauchy–Bunyakovsky–Schwarz type inequalities related to Möbius operations. J Inequal Appl 2019, 179 (2019). https://doi.org/10.1186/s13660-019-2132-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-019-2132-5