On Lipschitz continuity with respect to the Poincaré metric of linear contractions between Möbius gyrovector spaces

*Correspondence: wtnbk@math.sc.niigata-u.ac.jp 1Department of Mathematics, Faculty of Science, Niigata University, Niigata City, 950-2181, Japan Abstract For every linear operator between inner product spaces whose operator norm is less than or equal to one, we show that the restriction to the Möbius gyrovector space is Lipschitz continuous with respect to the Poincaré metric. Moreover, the Lipschitz constant is precisely the operator norm.


Introduction
The notion of Lipschitz continuity of mappings between two metric spaces is well known and significant in all fields of mathematics, particularly in geometry and analysis. It is one of the most fundamental facts in functional analysis that an arbitrary bounded linear operator T between normed spaces is Lipschitz continuous. Thus, for all vectors u, v in the normed space on which T is defined, the following norm inequality holds: (1.1) Moreover, the Lipschitz constant is precisely the operator norm of T. That is, the identity rovector spaces was initiated in connection with Einstein's special theory of relativity and intensively studied by A.A. Ungar. Especially, in [8][9][10], Ungar established the concept of real inner product gyrovector spaces, including Möbius gyrovector spaces. Let us briefly recall the definition of the Möbius gyrovector spaces. No knowledge of general theory of gyrogroups or gyrovector spaces is required to read this paper except for some basic facts on Möbius addition, Möbius scalar multiplication, and (gyro) distance function; however, it is fundamental for our motivation and background. In addition, notations from gyrovector space theory simplify expressions of our formulae remarkably. For elementary facts on functional analysis and CBS type inequalities, one can refer to [2,7]. Let H be a complex inner product space with a positive definite inner product ·, · , and let H s be the open s-ball of H, for any fixed s > 0, where u = u, u 1 2 . Although definitions and results are often described for real inner product spaces in the literature, they are also valid for complex inner product spaces as far as we are concerned in this paper, with some trivial modifications such as the change from u, v to Re u, v .
for any u, v ∈ H s and r ∈ R. The addition ⊕ M and the scalar multiplication ⊗ M for real numbers are defined by the equations for any a, b ∈ (-s, s) and r ∈ R.
We simply denote ⊕ M , ⊗ M by ⊕ s , ⊗ s , respectively. The ball H s expands to the whole space H as the parameter s → ∞, and each result in linear functional analysis can be recaptured from the counterpart in gyrolinear analysis. Theorem 1.2 (cf. [11,after Remark 3.41], [10, p. 1054]) The Möbius addition (resp. Möbius scalar multiplication) reduces to the ordinary vector addition (resp. scalar multiplication) as s → ∞, that is, for any u, v ∈ H and r ∈ R. Definition 1.3 ([11, (2.1), (6.286), (6.293)]) The inverse element of u with respect to ⊕ s obviously coincides with -u. We use the notation as in vector spaces. Moreover, the Möbius gyrodistance function d and Poincaré distance function (or Möbius metric) h are defined by the equations Theorem 1.4 (cf. [11, (6.294)]. See also [4,19] In recent years, various notions in the Möbius gyrovector spaces have been established as counterparts to those in Hilbert spaces, such as orthogonal gyrodecomposition with respect to closed gyrovector subspaces, orthogonal gyroexpansion with respect to orthogonal bases, Cauchy-Schwarz type inequalities, and continuous quasi gyrolinear functionals (cf. [1,[12][13][14][15][16][17][18]). The Cauchy-Bunyakovsky-Schwarz (CBS in the sequel) inequality is one of the most fundamental inequalities in mathematics. Recently, a CBS type inequality related to the Möbius operations was obtained.
Moreover, for any s > 0 and w ∈ H with w ≤ 1, the following identity holds: This result implies that every linear functional u → u, w with w ≤ 1 is Lipschitz continuous on the Möbius gyrovector space with respect to the Poincaré metric, and that the Lipschitz constant is precisely w . It is so desirable to extend this result of linear functionals to linear operators with norm less than or equal to one. Let H, K be inner product spaces, let s, s > 0, and let T be a bounded linear operator from H into K. Suppose that T ≤ s s . Then, it is obvious that the restriction of T maps H s into K s , and one can expect that they form one of the most fundamental classes of mappings between the Möbius gyrovector spaces. Although the restriction of bounded linear operators does not preserve the Möbius addition and the Möbius scalar multiplication in general, they can be considered as the most natural counterpart to bounded linear operators between Hilbert spaces. Maps that preserve gyro addition on gyrovector spaces are known to be special in a sense (cf. [5,Theorem 1], [3,Theorem 6], [17,Theorem 11]). Assume s = s for simplicity. In this article, for every linear operator between inner product spaces whose operator norm is less than or equal to one, we show that the restriction to the Möbius gyrovector space is Lipschitz continuous with respect to the Poincaré metric. Moreover, the Lipschitz constant is precisely the operator norm. In addition, the classical formula (1.1) can be recaptured from our novel result by letting s → ∞.
The main result in this article is Theorem 3.3, which is a satisfactory extension of [16,Theorem 3.6]. Also the core of Theorem 3.3 is Theorem 3.2, which is an extension of [15,Theorem 5] to an operator version. Although the proofs have similarity to the corresponding one in [15] or [16], we present them for the sake of completeness and reader's convenience. The technical ingredient in this paper is the use of an inequality derived from the classical CBS inequality, and the rest of the proofs are just refinement and conversion to the operator version of those in [15] and [16].

Preliminaries
In this section, we collect some necessary results. The following lemma is an easy consequence of the definition. One can refer to [ for any u, v ∈ H s and r ∈ R.
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 the interval (-s, s) together with the ordinary addition and multiplication have a familiar nature.
In addition, we need the following lemma.
The equality holds if and only if a j = b j (j = 1, 2).
The following theorem is crucial when we extend a particular case of the main theorem to the full strength with the Möbius scalar multiplication. The proof is essentially already given in [16, Theorem 3.1]. Theorem 2.4 Let a, b, p, and q be real numbers with 0 ≤ a, b, p, q ≤ 1. If t is a real number with |t| ≤ 1, then the following inequality holds: The equality holds if and only if one of the following conditions is satisfied: Proof Put α = a, θ = arccos t, β = be iθ and apply [16, Theorem 3.1].

Lipschitz continuity of linear contractions
Let H, K be complex inner product spaces, let u, v be elements in H, and let T be a bounded linear operator from H into K, unless otherwise stated.
Lemma 3.1 If u, v ∈ H and T ≤ 1, then the following inequality holds: Proof Although this assertion is almost trivial, we give a proof for the sake of completeness and readers' convenience. Considering the completion of inner product spaces if necessary, we can use the positive semidefinite square root of I -T * T, where I denotes the identity operator on H. By the CBS inequality, we obtain u, v -Tu, Tv This completes the proof.
The following theorem can be considered as a core of the main theorem in the present article, and it is an extension of [15,Theorem 5] to an operator version. It is necessary to consider the polar forms of complex numbers u, v and Tu, Tv . We reduce the proof of inequality (3.2) related with contractive linear operators between possibly infinite dimensional inner product spaces to a problem of constrained minimum value of a function of eight real variables a, b, c, d, ρ, r, t, x. The tuple (a, b, c, d, ρ, r, t, x) does not move all over the entire a priori rectangular, but is constrained by conditions derived from the norms of u and v, the linearity, and contractivity of T. We extract constraints (3.3) by the previous lemma.
Theorem 3.2 If u , v < 1 and T ≤ 1, then the following inequality holds: (3. 2) The equality holds if and only if one of the following conditions is satisfied: We can take real numbers 0 ≤ ρ, r ≤ 1 and 0 ≤ t, x < 2π such that u, v = abρe it and Tu, Tv = cdre ix .
Then it follows from (3.1) that Hence, we can obtain In order to prove inequality (3.2), it is necessary and sufficient to show The left-hand side of (3.4) can be calculated as follows: By using (3.3), we can continue to estimate: It follows from arithmetic-geometric mean inequality that Thus the desired inequality (3.4) is shown, and so inequality (3.2) holds. It is obvious that condition (i) implies the trivial equality in (3.2). Suppose that condition (ii) is satisfied. If u = 0, then the equality in (3.2) holds as Tv = v , so we may assume u = 0. We can obtain u 2 = Tu 2 = T * Tu, u ≤ T * Tu u ≤ u 2 .
By the equality condition of the CBS inequality, it is easy to see T * Tu = u. Hence we have (3.5) Condition (ii) and formula (3.5) clearly imply the equality in (3.2). Conversely, suppose that the equality in (3.2) holds. If u = 0 or v = 0, then condition (ii) is satisfied. If u, v = 0, then the proof of inequality (3.4) shows that the following conditions (3.6)-(3.7) hold: By formula (3.6), we have , then a = c and b = d, so condition (ii) is satisfied. If ρ cos t = 1, then u, v = u v , and it follows that v = λu for some positive real number λ. Therefore, from formula (3.7) we obtain The case b 2d 2 = 0 leads to condition (ii). The case b 2d 2 = 0 yields λ = 1 or condition (i). This completes the proof.
The following theorem can be regarded as the most natural counterpart to the classical norm inequality (1.1) for mappings between Möbius gyrovector spaces obtained by the restriction of contractive linear operators between inner product spaces. Actually, they are Lipschitz continuous with respect to the Poincaré metric. In the rest of the paper, we simply denote ⊕ 1 , ⊗ 1 by ⊕, ⊗, respectively. That is, The equality holds if and only if one of the following conditions is satisfied: Proof At first, we show that if s = 1, u , v < 1, and T ≤ 1, then (3.9) The proof uses an argument in [6] that shows the operator monotonicity of the functions t p with 0 ≤ p ≤ 1. Let E denote the set of all real numbers p in the interval [0, 1] for which if T : H → K is a bounded linear operator with T = p, then inequality (3.9) holds. Trivially 0 ∈ E, and the previous theorem implies that 1 ∈ E. It is easy to check that E is a closed subset of [0, 1]. In order to complete the proof of inequality (3.9), it suffices to show that E is convex. Suppose p, q ∈ E. For an arbitrary bounded linear operator T : H → K with T = p+q 2 , put T 1 = 2p p+q T, T 2 = 2q p+q T. Then T 1 = p, T 2 = q, so we have We have to show (3.10) By Lemma 2.2 and Lemma 2.3, we obtain Therefore, in order to show (3.10), it is sufficient to prove 2 ⊗ Tu 2 -2Re Tu, Tv + Tv 2 1 -2Re Tu, Tv + Tu 2 Tv 2 (3.11) If Tu = 0, then inequality (3.11) reduces to the following inequality: which is equivalent to The last inequality actually holds by (p + q) 2 ≥ 4pq. So we may assume Tu , Tv = 0. Put Re Tu, Tv ab .
Obviously 0 < a, b < 1 and |t| ≤ 1 by the CBS inequality. Furthermore, we have Hence we obtain  Therefore, dividing both sides by √ a 2 -2abt + b 2 , our proof of inequality (3.11) is reduced to show that (p + q) 1 -(p+q) 2 2 abt + (p+q) 4 16 a 2 b 2 1 -(p+q) 2 2 abt + (p+q) 4 16 the last inequality actually holds by Theorem 2.4. Thus the set E is convex, which leads to E = [0, 1], so inequality (3.9) holds. Finally, let u, v ∈ H be arbitrary elements, and let s > max{ u , v }. Applying inequality (3.9) to u s , v s , it is straightforward to deduce inequality (3.8). For the equality condition, we may assume s = 1. It is immediate to see that the equality in (3.9) holds provided one of conditions (i), (ii), or (iii) is satisfied.
Conversely, let 1 2 ≤ p < 1, u , v < 1, and T = p. Suppose that the equality of (3.9) holds. If we put p = 2p -1, then it is obvious that T 1 = p , T 2 = 1. By inequality (3.11), inequality (3.9), and Lemma 2.3, we obtain Tu 2 -2Re Tu, Tv + Tv 2 1 -2Re Tu, Tv + Tu 2 Tv 2 where the last formula equals the first one by the assumption. The equality condition of Lemma 2.3 implies which yields one of the following conditions: by the equality condition of Theorem 3.2. 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, Considering the division by √ a 2 -2abt + b 2 in the proof of (3.11), it yields one of the following conditions: (i ) p = 1, (ii ) Tu = Tv = 0, (iii ) Re Tu,Tv Tu Tv = 1 and Tu = Tv . However, we have p = 1, because p < 1.
Note that, if Tu = 0, then we have T 1 u = T 2 u = 0 and from which we easily obtain Tv = 0. In case (ii ), obviously u = v = 0 by T 2 u = u and In case (iii ), by the equality condition of the CBS inequality, Tv = λTu for some positive real number λ. Hence We may assume λ = 1, and it follows that Therefore, v = μu for some μ ≥ 0, and it leads to u = v. Next, suppose 1 4 ≤ p < 1 2 and that the equality of (3.9) holds for T = p. Put Then we have T 1 = p , T 2 = 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. (iv) In equality condition (iii) of Theorem 3.3, it is necessary that T = 1 unless u = v = 0.
The following theorem shows that, for every linear operator between inner product spaces whose operator norm is less than or equal to one, the Lipschitz constant of the restriction to the Möbius gyrovector space is precisely the operator norm if we consider the Poincaré metric. Proof It is easy to see that we may assume s = 1 without loss of generality. for any u, v ∈ H with u , v < 1.