On Moduli and Constants of quasi-Banach Spaces

1. Introduction

The study on Banach space geometry provides many fundamental notions and interesting aspects, and sometimes has surprising results. The basic geometric properties such as convexity, smoothness, non-squareness have made great contributions to various fields of Banach space theory. Strict convexity of Banach spaces was first introduced in 1936 by Clarkson [1] as the property that the unit sphere contains no non-trivial line segments, that is, \(1-\|2^{-1}(x + y)\|>0\) whenever \(\|x\|=\|y\|=1\). Clarkson [1] made use of these values to define the uniform version of convexity to look at how convex the unit ball is in a space. And the modulus of convexity provides a quantification of the geometric structure of the space from the viewpoint of convexity. A situation similar to this also occurs in smoothness and other properties. A Banach space \(\mathcal{B}\) is said to be smooth if each unit vector has a unique norm one support functional. In fact, this is equivalent to the statement that the norm is Gateaux differentiable, which happens iff \(\lim_{t\to0^+}=\sup(\| x+ty \|+\| x-ty\|)/2-1=0\) where \(x,y\in S_\mathcal{B}\) and \(\|x\|=1\). This allows us to quantify the geometric structure of the space from the viewpoint of smoothness, namely, the modulus of smoothness of a Banach space \(\mathcal{B}\). An advantage of these quantifications is that the complete duality between uniform convexity and uniform smoothness can be easily deduced by the well-known Lindenstrauss formulas, that is, a Banach space \(\mathcal{B}\) is uniformly convex if and only if its dual space \(\mathcal{B}^{\ast}\) is uniformly smooth. The same statement still holds if \(\mathcal{B}\) is replaced with \(\mathcal{B}^{\ast}\). Thus quantifying geometric structures might lead better results. Note that the same duality does not hold between strict convexity and smoothness in general, though one of those two properties of \(\mathcal{B}^{\ast}\) implies the other of \(\mathcal{B}\). There are some other ideas to quantify geometric structures of Banach spaces.

Many of the geometric constants for Banach Spaces have been investigated so far. These constants play an important role in the description of various geometric structures of Banach Spaces. In 1901 Jung [2] was the first who introduced a geometric constant for Banach Space. In 1936 and 1937 Clarkson [1, 3] introduced classical modulus of convexity to define a uniformly convex space. A great number of such moduli have been defined and introduced since then. The theory of the geometry of Banach Space has evolved very rapidly over the past fifty years. By contrast the study of quasi-Banach Space has lagged far behind, even though the first research papers in the subject appeared in the early 1940's [4].

There are very sound reasons to develop the understanding of these Space, but the absence of one of the fundamental tools of functional analysis, the Hahn-Banach theorem, has proved a very significant stumbling block. However, there has been some progress in the non-convex theory and arguably it has contributed to our appreciation of Banach space theory. A systematic study of quasi-Banach Space only really started in the late 1950's and early 1960's with the work of Klee, Peck, Rolewicz, Waelbroeck and Zelazko. The efforts of these researchers tended to go in rather separate directions. The subject was given great impetus by the paper of Duren, Romberg and Shields in 1969 which demonstrated both the possibilities for using quasi-Banach Space in classical function theory and also high-lighted some key problems related to the Hahn—Banach theorem. This opened up many new directions of research. The 1970's and 1980's saw a significant increase in activity with a number of authors contributing to the development of a coherent theory. An important breakthrough was the work of Roberts in [5] and [6], who showed that the Krein-Milman theorem fails in general quasi-Banach Space by developing powerful new techniques.

Quasi-Banach Space (Hp-Space when \(p< 1\)) were also used significantly in Alexandrov's solution of the inner function problem in 1982 [7]. During this period three books on the subject appeared by Turpin [8], Rolewicz [9] (actually an expanded version of a book [6]. In the 1990's it seems to the author that while more and more analysts find that quasi-Banach Space have uses in their research, paradoxically the interest in developing a general theory has subsided somewhat. The strictly convex Banach spaces were introduced in 1936 by Clarkson, [1], who also studied the concept of uniform convexity. The uniform convexity of \(L^p\) spaces, \(1< p< \infty\), was also established in [1]. The concept of duality map was introduced by Beurling and Livingston [10] and was further developed by many others and, De Figueiredo [11]. General properties of the duality map can be found in De Figueiredo [11]. The most recent research work in this field is carried out by [12] and [13].

2. Quasi-Banach Spaces

This section collects some basic facts about quasi-Banach spaces. We restrict ourselves to [11] and the references therein for an extensive overview. If \(\mathcal{B}\) is a (real) vector space, we say that \(\|.\|: \mathcal{B}\rightarrow [0,\infty)\) is a quasi-norm if

1. \(\|x\|=0\) if, and only if \(x=0\)
2. \(\|\alpha x\|=|\alpha|\|x\|\) for all \(\alpha\in \mathbb{R}\) and \(x\in \mathcal{B}\)
3. there is a constant \(C\geq 1\), such that \(\|x+y\|\leq C\left( \|x\|+\|y\|\right)\) for all \(x,y\in \mathcal{B}\).

The constant \(C\) is often referred to as the modulus of concavity, of the quasi-norm. A very basic and important result is the Aoki-Rolewicz theorem. This result can be interpreted as saying that of \(0< p\leq 1\) is given by \(C=2^{q/p-1}\) then there is a constant \(B\) so that for any \(x_{1}, x_{2},...,x_{n}\in \mathcal{B}\) we have

It is then possible to replace \(\|.\|\) by an equivalent \(p\)-subadditive quai-norm \(\parallel\mid.\mid\parallel\) so that $$\parallel\mid x+y \mid\parallel\leq \left(\parallel\mid x \mid\parallel^{p}+\parallel\mid y \mid\parallel^{p}\right)^{1/p}$$ The space \(\mathcal{B}\) is said to be \(p\)-normable if (1) holds. We will say that \(\mathcal{B}\) is \(p\)-normed if the quasi-norm on \(\mathcal{B}\) is \(p\)-subadditive.

If a quasi-normed vector space \(\mathcal{B}\) is complete with respect to the metric induced by \(\|.\|\), it is called a quasi-Banach space.

3. Preliminaries

Definition 3.1. For a non-trivial quasi-Banach space \(\mathcal{B}\), the modulus of convexity is a function \(\delta_\mathcal{B}\) : \((0,2]\longrightarrow [0,1]\) defined as

A characteristic or related coefficient of this modulus is:

Definition 3.2. Let \(\mathcal{B}\) be a nontrivial quasi-Banach space and \(S_{\mathcal{B}}\) be a unit ball in \(\mathcal{B}\), the modulus of smoothness is a function \(\rho_\mathcal{B}\) : \([0,\infty)\longrightarrow [0,\infty)\) defined as,

A characteristic or related coefficient of this modulus is

Definition 3.3. For a non-trivial quasi-Banach space \(\mathcal{B}\) the Yang-Wang Modulus is a function \(\gamma_{\mathcal{B}}\) : \([0,1]\longrightarrow [0,4]\) defined as,

A characteristic or related coefficient of this modulus is,

Definition 3.4. For a non-trivial quasi-Banach space \(\mathcal{B}\), the von Neumann-Jordan constant is denoted by \(C_{NJ} (\mathcal{B})\) and is defined as the smallest constant \(K\), for which the following estimate holds; $$\frac{1}{K}\leq \frac{{\| x_1+x_2 \|}^{2}+{\| x_1-x_2\|}^{2}}{2C^2\left({\| x_1\|}^{2}+{\| x_2\|}^{2}\right)}\leq K,$$ where \(x_1,x_2\in S_\mathcal{B}\) with \((x_1,x_2)\neq (0,0)\) and \(C\geq{1}\).
Equivalently, it can be written as,

The parametrized form of this constant is, where \(S_{\mathcal{B}}\) is unit sphere and \(x_1,x_2\in S_\mathcal{B}\). By taking \(t = 1\) and \(x_1 = x_2=x\), we obtain $$C_{NJ}(\mathcal{B})=\frac{{\| 2x\|}^2}{2C^2(1+1)}\geq \frac{2^2}{2C(1+1)}=\frac{1}{C}.$$

Definition 3.5. For a non-trivial quasi-Banach space \(\mathcal{B}\) the James Gao-Lau constant is defined as

The parametrized form of this constant is,

4. Main Results

Here are some basic algebraic inequalities. These inequalities are very important. With the help of these inequalities, we will be able to proceed some main results.

Lemma 4.1. Every convex function \(f\) with convex domain in \(\mathbb{R}\) is continuous.

Lemma 4.2. For all \(0\leq a \leq 2\) and \(0\leq b \leq 2\) we have $$ \frac{a^2+b^2}{4c^2}\leq\left(\frac{a+b}{2c}-\frac{1}{c}\right)^2+\frac{1}{c^2}. $$

Lemma 4.3. For all \(a\in \mathbb{R}\),\(b> 0\) and \(t\geq 0\) we have $$ \frac{at^2+b^2}{1+t^2}\leq\frac{a+\sqrt{a^2+b^2}}{2}. $$

Lemma 4.4. Let \(1< p< \infty\) and \(0\leq t\leq 1\), then the function; $$\phi(t)=(1+t)^{p}/(1+t^{p}),$$ is strictly increasing.

Lemma 4.5. Let \(0< r\leq1\) and \(0\leq t\leq 1\), then \(\forall s,t\in[0,\infty)\) $$|t^r-s^r| \leq |t-s|^r.$$

Lemma 4.6. Let \(0\leq{a}\leq 1\) and \(r_0=\frac{\sqrt{4+(1+a)^4}-(1+a)^2}{2}\), then

1. \(a\leq r_0 \qquad if \qquad a\in [0,\sqrt{2}-1]\)
2. \(a\geq r_0 \qquad if \qquad a\in [\sqrt{2}-1,1]\)

Proof. Let \(a\in [0,\sqrt{2}-1]\), then \begin{align*} 4+(1+a)^4-[(1+a)^2+2a]^2 &= 4(1-a-3a^2-a^3)\\ &= -4(a+1)(a+1+\sqrt{2})(a+1-\sqrt{2})\\ &\geq 0. \end{align*} This implies that \begin{align*} \sqrt{4+(1+a)^4} \geq [(1+a)^2+2a]\\ r_0 \geq a. \end{align*} Let \(a\in [\sqrt{2}-1,1]\), then we can prove it similarly.

Lemma 4.7. Let \(\mathcal{B}\) be a quasi-Banach space, then for every \(x\in\mathcal{B}\) with \(\|x\|=1\) and \(x^*\in X^*\) with \(\|x^*\|=1\) \begin{align*} \rho_\mathcal{B}(\tau)=\sup\Bigg\{\frac{\tau\epsilon}{2}-\delta_{\mathcal{B}^*}(\epsilon):\tau>0;\epsilon\in(0,2]\Bigg\},\\ \rho_{\mathcal{B}^*}(\tau)=\sup\Bigg\{\frac{\tau\epsilon}{2}-\delta_\mathcal{B}(\epsilon):\tau>0;\epsilon\in(0,2]\Bigg\}. \end{align*}

Proof. Let \(\tau>0\) and \(\epsilon\in(0,2]\) \& \(x, y\in S_\mathcal{B}\) with \(\|x\|=1,\|y\|=1\). Then by Hahn-Banach theorem, \(\exists\) \(x^*, y^*\in S^*_\mathcal{B}\) with \(\|x^*\|=1,\|y^*\|=1\) such that; $$\|x+y\|=\langle x+y, x^*_0\rangle$$ $$\|x-y\|=\langle x-y, y^*_0\rangle.$$ Then, \begin{align*} \|x+y\|+\tau\|x-y\|-2C&=\langle x+y, y^*_0\rangle+\tau\langle x-y, x^*_0\rangle - 2C\\ &=\langle x, x^*_0+\tau y^*_0\rangle+\langle y, x^*_0-\tau y^*_0\rangle - 2C\\ &=\|x^*_0+\tau y^*_0\|+\|x^*_0-\tau y^*_0\| - 2C. \end{align*} Therefore, we get \begin{align*} \frac{\|x+y\|+\tau\|x-y\|}{2C}-1 &=\frac{\|x^*_0+\tau y^*_0\|+\|x^*_0-\tau y^*_0\|}{2C}-1. \end{align*} Now, \(\|x-y\|< \epsilon\) so, we get \begin{align*} \frac{\|x+y\|}{2C}-1+\frac{\tau \epsilon C}{2C} &=\frac{\|x^*_0+\tau y^*_0\|+\|x^*_0-\tau y^*_0\|}{2C}-1. \end{align*} Taking supremum on both sides, with \(\|x\|=\|y\|=1\) and \(\|x^*\|=\|y^*\|=1\) we have, \begin{align*} \sup\bigg\{\frac{\|x+y\|}{2C}-1\bigg\}+\frac{\tau \epsilon C}{2C} &=\sup\bigg\{\frac{\|x^*_0+\tau y^*_0\|+\|x^*_0-\tau y^*_0\|}{2C}-1\bigg\}\\ -\delta_\mathcal{B}(\epsilon)+\frac{\tau \epsilon}{2} &=\rho_{\mathcal{B}^*}(\tau)\\ \rho_{\mathcal{B}^*}(\tau) &=\frac{\tau \epsilon}{2}-\delta_\mathcal{B}(\epsilon). \end{align*}

Now to prove the reverse inequality, we proceed as:
Let \(x^*, y^*\in S^*_\mathcal{B}\) with \(\|x^*\|=1,\|y^*\|=1\) and let \(\delta>0\) then for every \(\tau>0\) \(\exists\) \(x, y\in S_\mathcal{B}\) with \(\|x\|=1,\|y\|=1\) such that; $$\|x^*+\tau y^*\|=\langle x_0+\tau y^* , x^*\rangle+\epsilon$$ $$\|x^*-\tau y^*\|=\langle y_0\tau y^* , x^*\rangle+\epsilon.$$ Then, \begin{align*} \|x^*+\tau y^*\|+\|x^*-\tau y^*\|-2C &=\langle x_0 , x^*+\tau y^*\rangle+\langle y_0 , x^*-\tau y^*\rangle-2C+2\epsilon\\ &=\langle x_0+y_0 , x^*\rangle+\tau \langle x_0-y_0 , y^*\rangle-2C+2\epsilon\\ &=\|x_0+y_0\|+\tau \|x_0-y_0\|-2C+2\epsilon\\ &=\|x_0+y_0\|-2C+\tau \|x_0-y_0\|+2\epsilon. \end{align*} Now since, \(\|x-y\|\leq \epsilon\) so, we get \begin{align*} \frac{\|x^*+\tau y^*\|+\|x^*-\tau y^*\|-2C}{2C} &=\frac{\|x_0+y_0\|-2C+\tau \epsilon C}{2C}++\frac{\epsilon}{C}\\ &=\frac{\|x_0+y_0\|-2C}{2C}+\frac{\tau \epsilon C}{2C}+\frac{\epsilon}{C}\\ &=\frac{\|x_0+y_0\|}{2C}-1+\frac{\tau \epsilon}{2}++\frac{\epsilon}{C}. \end{align*} Taking supremum on both sides, with \(\|x\|=\|y\|=1\) and \(\|x^*\|=\|y^*\|=1\) we have, \begin{align*} \sup\bigg\{\frac{\|x^*+\tau y^*\|+\|x^*-\tau y^*\|}{2C}-1\bigg\} &=\sup\bigg\{\frac{\|x_0+y_0\|}{2C}-1\bigg\}+\frac{\tau \epsilon}{2}+\frac{\epsilon}{C}\\ \rho_{\mathcal{B}^*}(\tau)&=-\delta_\mathcal{B}(\epsilon)+\frac{\tau \epsilon}{2}+\frac{\epsilon}{C}\\ \rho_{\mathcal{B}^*}(\tau)&=\frac{\tau \epsilon}{2}-\delta_\mathcal{B}(\epsilon)+\frac{\epsilon}{C}. \end{align*} Hence, by combining (13) and (14) we get

Lemma 4.8. Let \(\mathcal{B}\) be quasi-Banach Space. \(\forall0\leq \epsilon_1\leq J(\mathcal{B})\leq 2\);

Proof. Since for all \(0\leq \epsilon\leq J(\mathcal{B})\leq 2,\) we have $$\frac{\delta_\mathcal{B}(J(\mathcal{B})-\delta_\mathcal{B}(\epsilon)}{J(\mathcal{B})-\epsilon}\leq\frac{1-\delta_\mathcal{B}(\epsilon)}{2-\epsilon}$$ (for simplicity we shall consider from now\(\delta_\mathcal{B}=\delta and J(\mathcal{B})=J\)) \begin{align*} ({\delta(J)-\delta(\epsilon)})(2-\epsilon)&\leq(1-\delta(\epsilon))(J-\epsilon)\\ 2({\delta(J)-\delta(\epsilon)})-\epsilon({\delta(J)-\delta(\epsilon)})&\leq(J(1-\delta(\epsilon))-\epsilon(1-\delta(\epsilon)))\\ 2{\delta(J)-2(\delta(\epsilon)})-\epsilon{\delta(J)}&\leq(J-J\delta(\epsilon))-\epsilon\\ \epsilon-\epsilon{\delta(J)}+2\delta(J)-J &\leq 2\delta(\epsilon)-J\delta(\epsilon)\\ \epsilon(1-\delta(J))+2\delta(J)-J&\leq(2-J)\delta(\epsilon). \end{align*} Since we know that \(1-\frac{J}{2}\leq\delta(J)\) this implies \(1-\delta(J)\leq\frac{J}{2}\). Therefore, we get \begin{align*} \epsilon\left(\frac{J}{2}\right)+2(\delta(J))-J&\leq(2-J)\delta(\epsilon)\\ \frac{J\epsilon+4-2J-2J}{2(2-J)}&\leq\delta(\epsilon)\\ \frac{J\epsilon+4-4J}{2(2-J)}&\leq\delta(\epsilon)\\ \frac{J\epsilon}{2(2-J)}+\frac{4-4J}{2(2-J)}&\leq\delta(\epsilon). \end{align*} It can be re-arranged as \begin{align*} \delta(\epsilon)&\geq\left(\frac{J}{2(2-J)}\right)\epsilon+\frac{4-4J}{2(2-J)}\\ \delta(\epsilon)&\geq\frac{4-4J}{2(2-J)}+\left(\frac{J}{2(2-J)}\right)\epsilon\\ \delta_(\epsilon)&\geq\frac{2(1-J)}{2-J}+\left(\frac{J}{2(2-J)}\right)\epsilon\\ \delta_\mathcal{B}(\epsilon)&\geq\frac{2(1-J(\mathcal{B}))}{2-J(\mathcal{B})}+\left(\frac{J(\mathcal{B})}{2(2-J(\mathcal{B}))}\right)\epsilon. \end{align*}

Lemma 4.9. Let \(\mathcal{B}\) be a quasi-Banach Space. For all \(0\leq J(\mathcal{B})\leq\epsilon\leq2\)

Proof. Since we know that \(\frac{\delta(\epsilon)}{\epsilon}\) is a non-decreasing function, therefore we can have, $$\frac{\delta(J)}{J}\leq\frac{\delta(\epsilon)}{\epsilon}.$$ This can be written as, \begin{align*} \frac{\delta(\epsilon)}{\epsilon} &\geq \frac{\delta(J)}{J}\\ \delta(\epsilon) &\geq \left(\frac{\delta(J)}{J}\right)\epsilon. \end{align*} But, we know that $$1-\frac{J}{2}\leq \delta(J).$$ Therefore, we have; \begin{align*} \delta(\epsilon) &\geq \left(\frac{1-\frac{J}{2}}{J}\right)\epsilon \\ &=\left(\frac{2-J}{2J}\right)\epsilon \\ \delta(\epsilon) &\geq \left[\frac{1}{J}-\frac{1}{2}\right]\epsilon \\ \delta_\mathcal{B}(\epsilon) &\geq \left[\frac{1}{J(\mathcal{B})}-\frac{1}{2}\right]\epsilon. \end{align*} Hence Proof

Theorem 4.10. Let \(\mathcal{B}\) be a quasi-Banach Space. Then \begin{align*} \rho_\mathcal{B}(1) &\leq 2\left(1-\frac{1}{J(\mathcal{B})}\right). \end{align*}

Proof. If \(J(\mathcal{B})=2\) or if \(\mathcal{B}\) is not uniformly non-square, then \(\rho_\mathcal{B}(1)=1\) and there is nothing to prove.
Assume \(J(\mathcal{B})< 2\). According to Lemma (4.7), we have

Here we just need to show that Let \(0< \epsilon \leq J\) and if \(\epsilon \leq 4\left(1-\frac{1}{J}\right)\) then the equality in (20) occurs.
Case 1. Let \(4\left(1-\frac{1}{J}\right)< \epsilon \leq J\) then by Lemma 4.8, we have From which it follows that $$\delta_\mathcal{B}(\epsilon) \geq \frac{2-2J}{2-J}+\left(\frac{J}{2(2-J)}\right)\epsilon, $$ subtracting from \(\frac{\epsilon}{2}\) on both sides \begin{align*} \frac{\epsilon}{2}-\delta_\mathcal{B}(\epsilon) &\geq \frac{\epsilon}{2}-\left[\frac{2-2J}{2-J}+\left(\frac{J}{2(2-J)}\right)\epsilon\right]\\ &= \left(\frac{1-J}{2-J}\right)\epsilon-\frac{2-2J}{2(2-J)}\\ &\leq \left(\frac{1-J}{2-J}\right)4\left(1-\frac{1}{J}\right) -\frac{2-2J}{2(2-J)}\\ &\leq 2\left(1-\frac{1}{J}\right). \end{align*} Case 2. Let \(J< \epsilon \leq 2\) then by Lemma 4.9, \begin{align*} \delta_\mathcal{B}(\epsilon) &\geq\left(\frac{1}{J}-\frac{1}{2}\right)\epsilon\\ \frac{\epsilon}{2}-\delta_\mathcal{B}(\epsilon) &\geq \frac{\epsilon}{2}-\left(\frac{1}{J}-\frac{1}{2}\right)\epsilon\\ &= \left(1-\frac{1}{J}\right)\epsilon \leq 2\left(1-\frac{1}{J}\right). \end{align*} This completes the proof.

Theorem 4.11. Let \(\mathcal{B}\) be a quasi-Banach Space. Then

Proof. The proof can be consulted from [12, Theorem 3.3]

Corollary 4.12. Let \(\mathcal{B}\) be a quasi-Banach Space such that,

Then, the equality holds in (23) if \(\mathcal{B}\) is not uniformly non-square.

Proof. By Lemma 4.10, we have

If \(\mathcal{B}\) is not uniformly non-square then the equality holds in (24). If the equality holds in (19) then we have the equality in the second inequality of (24) which shows that either \(J(\mathcal{B})=2\) or \(\mathcal{B}\) is uniformly non-square. This completes the proof.

Corollary 4.13. Let \(\mathcal{B}\) be a quasi-Banach Space, then

Proof. Let $$\sqrt{J(\mathcal{B})-1}\leq\frac{J(\mathcal{B})}{2}.$$ Taking square on both sides $$J(\mathcal{B})-1\leq\left[\frac{J(\mathcal{B})}{2}\right]^2.$$ This can be written as $$\left[\frac{J(\mathcal{B})}{2}\right]^2\geq{J}(\mathcal{B})-1. $$ $$J(\mathcal{B})^2\geq4{J}(\mathcal{B})-4.$$ $$\left(J(\mathcal{B})-2\right)^2\geq0.$$ This completes the proof.

Corollary 4.14. For a quasi-Banach space \(\mathcal{B}\) the inequality

holds if and only if \(\mathcal{B}\) is not uniformly non-square.

Proof. Let $$f(t) = 1+t\left[\sqrt{(1+t)^2+1}-(1-t)\right].$$ The function \(f(t)\) is strictly increasing and hence by Corollary 4.12, $$C_{NJ}(\mathcal{B}) \leq f(\rho_\mathcal{B}(1)) \leq f(\sqrt{J(\mathcal{B})-1}),$$ which implies (26).
We can immediately see that the equality in (26) holds if \(\mathcal{B}\) is not uniformly non-square. If the equality in (26) holds then we have, $$f(\rho_\mathcal{B}(1)) \leq f(\sqrt{J(\mathcal{B})-1}).$$ Which shows that $$\rho_\mathcal{B}(1) \leq \sqrt{J(\mathcal{B})-1}.$$ Which implies that \(\mathcal{B}\) is not uniformly non-square by Corollary 4.12. This completes the proof.

Corollary 4.15. Let \(\mathcal{B}\) be a quasi-Banach Space. Then

Proof. The proof is obvious on the same pattern as we have done in the above corollaries.

Theorem 4.16. Let \(\mathcal{B}\) be a non-trivial quasi-Banach space, then

Proof. Since we know that the parametric form of the von-Numan james constant is, \begin{align*} C_{NJ}(\mathcal{B}) &= \sup\Bigg\{\frac{{\| x_1+tx_2 \|}^{2}+{\| x_1-tx_2\|}^{2}}{2C^{2}(1+t^{2})}: t\in[0,1];C\geq{1}\Bigg\}\\ &=\sup\bigg\{\frac{\gamma_\mathcal{B}(t)}{1+t^2}: t\in[0,1]\bigg\}. \end{align*}

Competing interests

The authors declare that they have no competing interests.