The Upper Bounds of the Numerical Radius on Hilbert C*-Modules

Abstract

In this paper, we give the generalized Cauchy–Schwarz inequality and an extension of Buzano inequality on quasi-Hilbert C*-modules. Additionally, the upper bounds of the numerical radius of bounded adjointable operators on Hilbert C*-modules are improved. Lastly, we obtain the upper bounds of the numerical radius for the product of bounded adjointable operators on Hilbert C*-modules.

1. Introduction

The Hilbert C*-module serves as a prevalent instrument within the realms of operator and operator algebra theory. Moreover, the theory of Hilbert C*-modules is a captivating subject independently. This is because the Hilbert C*-module is associated with the theory of operator algebra and assimilates various concepts. Hilbert C*-modules initially emerged in the work of Kaplansky, I. [1]. Kaplansky, I. employed Hilbert C*-modules to demonstrate that derivations of type I AW*-algebras are internal. Subsequently, the theory of Hilbert C*-modules was broadened to general C*-algebras and Hilbert spaces by Paschke, W.L. [2] and Rieffel, M.A. [3]. Paschke, W.L. and Rieffel, M.A. utilized Hilbert C*-modules to prove that induced representations of C*-algebras are connected to Morita equivalence. Since then, Hilbert C*-module theory has flourished. Hilbert C*-modules are the main tools of noncommutative geometry [4], KK-theory [5], quantum group theory [6], generalized index theory [7], operator-valued free probability theory [8], and quantum probability theory [9,10,11,12]. Hilbert C*-module theory is developed in the application process. Hilbert C*-modules serve to generalize the structure of the Hilbert space. Hilbert C*-modules achieve this generalization by redefining the inner product such that its values lie within a C*-algebra. The values of the inner product within a Hilbert space belong to the complex number field. That is to say, Hilbert C*-modules are the consequence of integrating the concepts of Hilbert spaces and C*-algebras. Additionally, it can be stated that Hilbert spaces and C*-algebras can be considered as special cases of Hilbert C*-modules. Consequently, the theory that serves as the foundation for Hilbert C*-modules arises from the intersection between the theoretical frameworks of Hilbert spaces and those of C*-algebras.

The investigation into the numerical range and numerical radius has a long and remarkable history. The concept of the numerical range originated from the Rayleigh quotients utilized in the 19th century and has developed to be applied in numerous modern fields. These fields cover multiple aspects. For example, in functional analysis, it is used for norm estimation and the determination of bounds. In operator theory, especially in the context of differential operators, it plays a role. In numerical analysis, it is related to the convergence rate of algorithms. In quantum computing, it is applied to quantum error correction. In quantum information theory, it is involved in the study of quantum channels. And in quantum control, it is used for optimizing witnesses. The numerical radius represents the radius of the smallest disk centered at the origin that encloses the closure of the numerical range. The numerical radius also serves as a valuable tool for characterizing the numerical range. Furthermore, the numerical radius plays a highly significant role in the stability theory of the finite difference approximate solutions for the hyperbolic initial value problem. In the context of researching inequalities within the fields of operator theory and matrix analysis, the study of inequalities related to the numerical radius is one of the most crucial topics (see [13,14,15,16,17]). Recently, many scholars have studied properties of the numerical range and the numerical radius for bounded adjointable operators on Hilbert C*-modules (see [1,2,18,19,20,21,22,23,24,25]).

Let us recall the definition of a Hilbert C*-module over a C*-algebra A (as shown in [1]).

Let A be a C*-algebra. A semi-inner product A-module is a linear space E which is a right A-module with the compatible scalar multiplication of

$$\lambda \left(xa\right)=\left(\lambda x\right)a=x\left(\lambda a\right)forallx\in E,a\in A,and\lambda \in \mathbb{C}$$

together with a map ${⟨·,·⟩}_E:E\times E\to A,$ which has the following properties:

(1)

${⟨x,\alpha y+\beta z⟩}_E=\alpha {⟨x,y⟩}_E+\beta {⟨x,z⟩}_E$, $x,y,z\in E$, $\alpha ,\beta \in \mathbb{C}$,

(2)

${⟨x,ya⟩}_E={⟨x,y⟩}_{E}a$, $x,y\in E$, $a\in A$,

(3)

${⟨x,y⟩}_E^{*}={⟨y,x⟩}_E$, $x,y\in E$.

For every $x\in E$, we put ${∥x∥}_E={∥{⟨x,x⟩}_E∥}^{\frac{1}{2}}.$ A semi-inner product space E, which satisfies

$$\begin{array}{c}\hfill {∥x∥}_E=0\iff x=0,\end{array}$$

(1)

is called an inner product A-module. A complete inner-product A-module is called a Hilbert C*-module.

If A degenerates into the complex field $\mathbb{C}$, then the Hilbert C*-module E becomes a Hilbert space. Thus, the Hilbert space can be regarded as a special case of the Hilbert C*-module. If A degenerates into the complex field $\mathbb{C}$ and the inequality (1) is not satisfied, then the Hilbert C*-module E is a semi-Hilbert space (see [26,27,28]).

Suppose that E and F are Hilbert C*-modules. We define $\mathcal{L}(E,F)$ to be the set of all maps $t:E\to F$ for which there is a map $t^{*}:F\to E$ such that ${⟨tx,y⟩}_E={⟨x,t^{*}y⟩}_E,$ for all $x\in E,y\in F.$ It is known that t must be a bounded A-linear map (that is, t is a bounded linear map and $t\left(xa\right)=\left(tx\right)a$ for all $x\in E$ and $a\in A$ ). If $E=F$, then $\mathcal{L}\left(E\right)$ is a C*-algebra together with the operator norm. A state on a C*-algebra A is a positive linear functional on A of norm one. We denote the state space of A by $S\left(A\right).$

In [29], Buzano, M.L. proved the Buzano inequality

$$\begin{array}{c}\hfill \left|\phi \left({⟨x,e⟩}_E\right)\phi \left({⟨e,y⟩}_E\right)\right|\le \frac{1}{2}\left[{\left(\phi \left({⟨x,x⟩}_E\right)\phi \left({⟨y,y⟩}_E\right)\right)}^{\frac{1}{2}}+\left|\phi \left({⟨x,y⟩}_E\right)\right|\right],\end{array}$$

(2)

where $x,y,e\in E$ and $\phi \in S\left(A\right)$ with $\phi \left({\left|e\right|}^2\right)=1.$ If we take $e={\phi }^{-\frac{1}{2}}\left({⟨y,y⟩}_E\right)y$ in (2), we get a Cauchy–Schwarz inequality as follows:

$$\begin{array}{c}\hfill {\left|\phi \left({⟨x,y⟩}_E\right)\right|}^2\le \phi \left({⟨x,x⟩}_E\right)\phi \left({⟨y,y⟩}_E\right).\end{array}$$

(3)

For $t\in \mathcal{L}\left(E\right)$, let $W_A\left(t\right)$, ${\omega }_A\left(t\right)$, $∥t∥$ denote the numerical range, numerical radius, and operator norm, respectively, namely

$$\begin{array}{cc}\hfill W_A\left(t\right)& =\{\phi \left({⟨x,tx⟩}_E\right):x\in E,\phi \in S\left(A\right),\phi \left({\left|x\right|}^2\right)=1\},\hfill \\ \hfill {\omega }_A\left(t\right)& =sup\{\left|\phi \left({⟨x,tx⟩}_E\right)\right|:x\in E,\phi \in S\left(A\right),\phi \left({\left|x\right|}^2\right)=1\},\hfill \\ \hfill ∥t∥& =sup\{\left|\phi \left({⟨x,ty⟩}_E\right)\right|:x,y\in E,\phi \in S\left(A\right),\phi \left({\left|x\right|}^2\right)=\phi \left({\left|y\right|}^2\right)=1\},\hfill \end{array}$$

where $\left|x\right|={⟨x,x⟩}_E^{\frac{1}{2}}$, $\left|y\right|={⟨y,y⟩}_E^{\frac{1}{2}}$.

In [19], Mehrazin, M. obtained that if $t\in \mathcal{L}\left(E\right)$, then

$$\begin{array}{c}\hfill \frac{1}{2}∥t∥\le {\omega }_A\left(t\right)\le ∥t∥.\end{array}$$

(4)

The inequality is sharp, ${\omega }_A\left(t\right)=∥t∥$, if t is a self-adjoint element of $\mathcal{L}\left(E\right)$.

Mehrazin, M. also improved the inequality (4). It has been shown that

$$\begin{array}{c}\hfill \frac{1}{4}∥t^{*}t+t{t}^{*}∥\le {\omega }_A^2\left(t\right)\le \frac{1}{2}∥t^{*}t+t{t}^{*}∥.\end{array}$$

(5)

In [18], Fakri, M.S. generalized the second inequality in (5). It is well known that if $t\in \mathcal{L}\left(E\right)$ and $r\ge 1$, then

$$\begin{array}{c}\hfill {\omega }_A^{2r}\left(t\right)\le \frac{1}{2}∥{\left|t\right|}^{2r}+{\left|t^{*}\right|}^{2r}∥.\end{array}$$

(6)

And they also obtained the upper bound of the numerical radius for the product of two bounded adjointable operators on Hilbert C*-modules.

$$\begin{array}{c}\hfill {\omega }_A^{2r}\left(s^{*}t\right)\le \frac{1}{2}∥{\left|t\right|}^{4r}+{\left|s\right|}^{4r}∥r\ge 1,\end{array}$$

(7)

where $\left|t\right|={\left(t^{*}t\right)}^{\frac{1}{2}}$ is the absolute value of $t\in \mathcal{L}\left(E\right).$

In Section 2, we give the generalized inequality (2) and the extension inequality (3). In Section 3, we present the upper bounds of the numerical radius of the bounded adjointable operators on Hilbert C*-modules. And, our bounds refine and generalize the existing related upper bounds, as shown in Remark 6 in the text. In Section 4, we obtain the upper bounds of the numerical radius of the product of two bounded adjointable operators on Hilbert C*-modules. And, our bounds refine inequality (7), as shown in Remark 8 in the text.

2. Preliminaries

To establish our principal results, we require the following series of lemmas.

Lemma 1

([18]). Let $t\in \mathcal{L}\left(E\right)$, $t\ge 0$ and $x\in E$. Then, for every $\phi \in S\left(A\right)$ with $\phi \left({\left|x\right|}^2\right)=1$,

$$\begin{array}{cc}\hfill & \left(a\right){\phi }^r\left({⟨x,tx⟩}_E\right)\le \phi \left({⟨x,t^{r}x⟩}_E\right),r\ge 1.\hfill \\ \hfill & \left(b\right){\phi }^r\left({⟨x,tx⟩}_E\right)\ge \phi \left({⟨x,t^{r}x⟩}_E\right),0<r\le 1.\hfill \end{array}$$

Lemma 2

([30]). If $a,b>0$ and $0\le \alpha \le 1$, then, for $m=1,2,3\cdots ,$ we have

$$\begin{array}{c}\hfill {\left(a^{\alpha }{b}^{(1-\alpha )}\right)}^m+r_0^m{(a^{\frac{m}{2}}-b^{\frac{m}{2}})}^2\le {(\alpha a+(1-\alpha )b)}^m,\end{array}$$

where $r_0=min\left\{\alpha ,1-\alpha \right\}$. In particular, if $\alpha =\frac{1}{2}$, then,

$$\begin{array}{c}\hfill {\left(a^{\frac{1}{2}}{b}^{\frac{1}{2}}\right)}^m+{\left(\frac{1}{2}\right)}^m{(a^{\frac{m}{2}}-b^{\frac{m}{2}})}^2\le {\left(\frac{a+b}{2}\right)}^m.\end{array}$$

Lemma 3

([31]). Let f be a non-negative convex function on $[0,\infty )$ and let $t,s\in \mathcal{L}\left(E\right)$ be positive operators. Then,

$$∥f\left(\frac{t+s}{2}\right)∥\le ∥\frac{f\left(t\right)+f\left(s\right)}{2}∥.$$

In particular, if $r\ge 1$, then,

$$∥{\left(\frac{t+s}{2}\right)}^r∥\le ∥\frac{t^r+s^r}{2}∥.$$

Lemma 4

([24]). Let $\mathbb{D}$ be a subset of $\mathbb{R}$ and let $f,g:\mathbb{D}\to [0,\infty )$ be a mapping such that $f\left(\beta \right)+g\left(\beta \right)=1$ for all $\beta \in \mathbb{D}$. Let E be a pre-Hilbert C*-module and $\phi \in S\left(A\right)$. If $x,y,e\in E$ such that $\phi \left({\left|e\right|}^2\right)=1$, then for any $r\ge 1$ and $\alpha \in \mathbb{C}\setminus \left\{0\right\}$, we have

$$\begin{array}{cc}\hfill & {\left|\phi \left({⟨x,e⟩}_E\right)\phi \left({⟨e,y⟩}_E\right)\right|}^{2r}\hfill \\ \hfill & \le \frac{max\{1,{\left|\alpha -1\right|}^2\}}{{\left|\alpha \right|}^2}{\left(\phi \left({⟨x,x⟩}_E\right)\phi \left({⟨y,y⟩}_E\right)\right)}^r\hfill \\ \hfill & +\frac{g\left(\beta \right)}{{\left|\alpha \right|}^2}{\left|\phi \left({⟨x,y⟩}_E\right){\left(\phi \left({⟨x,e⟩}_E\right)\phi \left({⟨e,y⟩}_E\right)\right)}^{r-1}\right|}^2\hfill \\ \hfill & +\frac{f\left(\beta \right)+2max\left\{1,\left|\alpha -1\right|\right\}}{{\left|\alpha \right|}^2}{\left(\phi \left({⟨x,x⟩}_E\right)\phi \left({⟨y,y⟩}_E\right)\right)}^{\frac{r}{2}}\left|\phi \left({⟨x,y⟩}_E\right){\left(\phi \left({⟨x,e⟩}_E\right)\phi \left({⟨e,y⟩}_E\right)\right)}^{r-1}\right|.\hfill \end{array}$$

Remark 1.

If we take $r=1$ and $\alpha =2$ in Lemma 4, then,

$$\begin{array}{cc}\hfill & {\left|\phi \left({⟨x,e⟩}_E\right)\phi \left({⟨e,y⟩}_E\right)\right|}^2\le \frac{1}{4}\phi \left({⟨x,x⟩}_E\right)\phi \left({⟨y,y⟩}_E\right)+\frac{g\left(\beta \right)}{4}{\left|\phi \left({⟨x,y⟩}_E\right)\right|}^2\hfill \\ \hfill & +\frac{f\left(\beta \right)+2}{4}{\left(\phi \left({⟨x,x⟩}_E\right)\phi \left({⟨y,y⟩}_E\right)\right)}^{\frac{1}{2}}\left|\phi \left({⟨x,y⟩}_E\right)\right|.\hfill \end{array}$$

Remark 2.

When the Hilbert C*-module space degenerates to a Hilbert space, let $r=1$, $\alpha =2$, $g\left(t\right)=\frac{h\left(t\right)}{2\left(h\right(t)+1)}$ and $f\left(t\right)=\frac{h\left(t\right)+2}{2\left(h\right(t)+1)}$ in Remark 1, where $h:(0,1)\to {\mathbb{R}}^{+}$. Then,

$$\begin{array}{cc}\hfill & {\left|⟨x,e⟩⟨e,y⟩\right|}^2\hfill \\ \hfill & \le \frac{1}{4}{∥x∥}^2{∥y∥}^2+\frac{h\left(t\right)}{8\left(h\right(t)+1)}{\left|⟨x,y⟩\right|}^2+\frac{5h\left(t\right)+6}{8\left(h\right(t)+1)}∥x∥\left|∥y∥⟨x,y⟩\right|.\hfill \end{array}$$

(8)

Moreover,

$$\begin{array}{cc}\hfill & {\left|⟨x,e⟩⟨e,y⟩\right|}^2\hfill \\ \hfill & \le \frac{1}{4}{∥x∥}^2{∥y∥}^2+\frac{h\left(t\right)}{8\left(h\right(t)+1)}{\left|⟨x,y⟩\right|}^2+\frac{5h\left(t\right)+6}{8\left(h\right(t)+1)}∥x∥\left|∥y∥⟨x,y⟩\right|\hfill \\ \hfill & \le \frac{1}{4}{∥x∥}^2{∥y∥}^2+\frac{h\left(t\right)}{8\left(h\right(t)+1)}{∥x∥}^2{∥y∥}^2+\frac{5h\left(t\right)+6}{8\left(h\right(t)+1)}∥x∥\left|∥y∥⟨x,y⟩\right|\hfill \\ \hfill & \le \frac{3h\left(t\right)+2}{8\left(h\right(t)+1)}{∥x∥}^2{∥y∥}^2+\frac{5h\left(t\right)+6}{8\left(h\right(t)+1)}∥x∥\left|∥y∥⟨x,y⟩\right|,\hfill \end{array}$$

(9)

which imply that inequality (8) refines Lemma 2.20 of [32], namely

$$\begin{array}{cc}\hfill {\left|⟨x,e⟩⟨e,y⟩\right|}^2& \le \frac{3h\left(t\right)+2}{8\left(h\right(t)+1)}{∥x∥}^2{∥y∥}^2+\frac{5h\left(t\right)+6}{8\left(h\right(t)+1)}∥x∥\left|∥y∥⟨x,y⟩\right|.\hfill \end{array}$$

(10)

Lemma 5

([24]). Let $\mathbb{D}$ be a subset of $\mathbb{R}$ and let $f,g:\mathbb{D}\to [0,\infty )$ be a mapping such that $f\left(\beta \right)+g\left(\beta \right)=1$ for all $\beta \in \mathbb{D}$. Let E be a pre-Hilbert C*-module and $\phi \in S\left(A\right)$. If $x,y\in E$, then for any $r\ge 1$ and $\alpha \in \mathbb{C}\setminus \left\{0\right\}$, we have

$$\begin{array}{cc}\hfill & (1-\frac{g\left(\beta \right)}{{\left|\alpha \right|}^2}){\left|\phi \left({⟨x,y⟩}_E\right)\right|}^{2r}\hfill \\ \hfill & \le \frac{max\{1,{\left|\alpha -1\right|}^2\}}{{\left|\alpha \right|}^2}{\left(\phi \left({⟨x,x⟩}_E\right)\phi \left({⟨y,y⟩}_E\right)\right)}^r\hfill \\ \hfill & +\frac{f\left(\beta \right)+2max\left\{1,\left|\alpha -1\right|\right\}}{{\left|\alpha \right|}^2}{\left(\phi \left({⟨x,x⟩}_E\right)\phi \left({⟨y,y⟩}_E\right)\right)}^{\frac{r}{2}}{\left|\phi \left({⟨x,y⟩}_E\right)\right|}^r.\hfill \end{array}$$

Remark 3.

If we take $r=1$ and $\alpha =2$ in Lemma 5, then,

$$\begin{array}{cc}\hfill & {\left|\phi \left({⟨x,y⟩}_E\right)\right|}^2\hfill \\ \hfill & \le \frac{1}{4-g\left(\beta \right)}\phi \left({⟨x,x⟩}_E\right)\phi \left({⟨y,y⟩}_E\right)+\frac{f\left(\beta \right)+2}{4-g\left(\beta \right)}{\left(\phi \left({⟨x,x⟩}_E\right)\phi \left({⟨y,y⟩}_E\right)\right)}^{\frac{1}{2}}\left|\phi \left({⟨x,y⟩}_E\right)\right|.\hfill \end{array}$$

3. The Upper Bounds of the Numerical Radius on Hilbert C*-Modules

In this section, we present a general upper bound for the numerical radius of bounded adjointable operators on Hilbert C*-modules with different parameters. Furthermore, when the Hilbert C*-module space degenerates to a Hilbert space and the parameter takes a special value, the inequality of the numerical radius of the bounded linear operator in the Hilbert space is improved.

Theorem 1.

Let $t\in \mathcal{L}\left(E\right)$ and let $\mathbb{D}$ be a subset of $\mathbb{R}$. Let $f,g:\mathbb{D}\to [0,\infty )$ be a mapping such that $f\left(\beta \right)+g\left(\beta \right)=1$ for all $\beta \in \mathbb{D}$. Then, for $m=1,2,3,\cdots ,$ we have

$$\begin{array}{cc}\hfill & {\omega }_A^{4m}\left(t\right)\le \frac{1}{8}∥{\left|t\right|}^{4m}+{\left|t^{*}\right|}^{4m}∥+\frac{g\left(\beta \right)}{4}{\omega }_A^{2m}\left(t^2\right)+\frac{f\left(\beta \right)+2}{8}∥{\left|t\right|}^{2m}+{\left|t^{*}\right|}^{2m}∥{\omega }_A^m\left(t^2\right)\hfill \\ \hfill & -\underset{\phi \left({\left|x\right|}^2\right)=1}{inf}\gamma \left(x\right),\hfill \end{array}$$

where

$$\gamma \left(x\right)={\left(\frac{1}{2}\right)}^{m+2}{({\phi }^m\left({⟨x,{\left|t\right|}^{2}x⟩}_E\right)-{\phi }^m\left({⟨x,{\left|t^{*}\right|}^{2}x⟩}_E\right))}^2.$$

Proof. 

If we take $x=t^{*}x$, $e=x$ and $y=tx$ in Remark 1, then,

$$\begin{array}{cc}\hfill & {\left|\phi \left({⟨x,tx⟩}_E\right)\right|}^4\hfill \\ \hfill & \le \frac{1}{4}\phi \left({⟨tx,tx⟩}_E\right)\phi \left({⟨t^{*}x,t^{*}x⟩}_E\right)+\frac{g\left(\beta \right)}{4}{\left|\phi \left({⟨t^{*}x,tx⟩}_E\right)\right|}^2\hfill \\ \hfill & +\frac{f\left(\beta \right)+2}{4}{\left(\phi \left({⟨tx,tx⟩}_E\right)\phi \left({⟨t^{*}x,t^{*}x⟩}_E\right)\right)}^{\frac{1}{2}}\left|\phi \left({⟨t^{*}x,tx⟩}_E\right)\right|\hfill \\ \hfill & \left(\mathrm{by}\mathrm{Remark}1\right)\hfill \\ \hfill & =\frac{1}{4}\phi \left({⟨x,{\left|t\right|}^{2}x⟩}_E\right)\phi \left({⟨x,{\left|t^{*}\right|}^{2}x⟩}_E\right)+\frac{g\left(\beta \right)}{4}{\left|\phi \left({⟨x,t^{2}x⟩}_E\right)\right|}^2\hfill \\ \hfill & +\frac{f\left(\beta \right)+2}{4}{\left(\phi \left({⟨x,{\left|t\right|}^{2}x⟩}_E\right)\phi \left({⟨x,{\left|t^{*}\right|}^{2}x⟩}_E\right)\right)}^{\frac{1}{2}}\left|\phi \left({⟨x,t^{2}x⟩}_E\right)\right|.\hfill \end{array}$$

Further,

$$\begin{array}{cc}\hfill & {\left|\phi \left({⟨x,tx⟩}_E\right)\right|}^{4m}\hfill \\ \hfill & \le [\frac{1}{4}\phi \left({⟨x,{\left|t\right|}^{2}x⟩}_E\right)\phi \left({⟨x,{\left|t^{*}\right|}^{2}x⟩}_E\right)+\frac{g\left(\beta \right)}{4}{\left|\phi \left({⟨x,t^{2}x⟩}_E\right)\right|}^2\hfill \\ \hfill & +\frac{f\left(\beta \right)+2}{4}{\left(\phi \left({⟨x,{\left|t\right|}^{2}x⟩}_E\right)\phi \left({⟨x,{\left|t^{*}\right|}^{2}x⟩}_E\right)\right)}^{\frac{1}{2}}\left|\phi \left({⟨x,t^{2}x⟩}_E\right)\right|{]}^m\hfill \\ \hfill & \le \frac{1}{4}{\left(\phi \left({⟨x,{\left|t\right|}^{2}x⟩}_E\right)\phi \left({⟨x,{\left|t^{*}\right|}^{2}x⟩}_E\right)\right)}^m+\frac{g\left(\beta \right)}{4}{\left|\phi \left({⟨x,t^{2}x⟩}_E\right)\right|}^{2m}\hfill \\ \hfill & +\frac{f\left(\beta \right)+2}{4}{\left(\phi \left({⟨x,{\left|t\right|}^{2}x⟩}_E\right)\phi \left({⟨x,{\left|t^{*}\right|}^{2}x⟩}_E\right)\right)}^{\frac{m}{2}}{\left|\phi \left({⟨x,t^{2}x⟩}_E\right)\right|}^m.\hfill \\ \hfill & \left(\mathrm{by}\mathrm{Lemma}3\right)\hfill \end{array}$$

Employing the generalization of Young inequality in Lemma 2, we have

$$\begin{array}{cc}\hfill & {\left|\phi \left({⟨x,tx⟩}_E\right)\right|}^{4m}\hfill \\ \hfill & \le \frac{1}{4}[{\left(\frac{{\phi }^2\left({⟨x,{\left|t\right|}^{2}x⟩}_E\right)+{\phi }^2\left({⟨x,{\left|t^{*}\right|}^{2}x⟩}_E\right)}{2}\right)}^m\hfill \\ \hfill & -{\left(\frac{1}{2}\right)}^m({\phi }^m\left({⟨x,{\left|t\right|}^{2}x⟩}_E\right)-{{\phi }^m\left({⟨x,{\left|t^{*}\right|}^{2}x⟩}_E\right))}^2]+\frac{g\left(\beta \right)}{4}{\left|\phi \left({⟨x,t^{2}x⟩}_E\right)\right|}^{2m}\hfill \\ \hfill & +\frac{f\left(\beta \right)+2}{4}·{\left(\frac{\phi \left({⟨x,{\left|t\right|}^{2}x⟩}_E\right)+\phi \left({⟨x,{\left|t^{*}\right|}^{2}x⟩}_E\right)}{2}\right)}^m{\left|\phi \left({⟨x,t^{2}x⟩}_E\right)\right|}^m\hfill \\ \hfill & (\mathrm{by}\mathrm{Lemma}2,\text{AM-GM}\mathrm{inequality})\hfill \\ \hfill & \le \frac{1}{4}[\frac{{\phi }^{2m}\left({⟨x,{\left|t\right|}^{2}x⟩}_E\right)+{\phi }^{2m}\left({⟨x,{\left|t^{*}\right|}^{2}x⟩}_E\right)}{2}\hfill \\ \hfill & -{\left(\frac{1}{2}\right)}^m({\phi }^m\left({⟨x,{\left|t\right|}^{2}x⟩}_E\right)-{{\phi }^m\left({⟨x,{\left|t^{*}\right|}^{2}x⟩}_E\right))}^2]+\frac{g\left(\beta \right)}{4}{\left|\phi \left({⟨x,t^{2}x⟩}_E\right)\right|}^{2m}\hfill \\ \hfill & +\frac{f\left(\beta \right)+2}{4}·\frac{{\phi }^m\left({⟨x,{\left|t\right|}^{2}x⟩}_E\right)+{\phi }^m\left({⟨x,{\left|t^{*}\right|}^{2}x⟩}_E\right)}{2}{\left|\phi \left({⟨x,t^{2}x⟩}_E\right)\right|}^m\hfill \\ \hfill & \left(\mathrm{by}\mathrm{Lemma}3\right)\hfill \\ \hfill & \le \frac{1}{4}[\frac{\phi \left({⟨x,({\left|t\right|}^{4m}+{\left|t^{*}\right|}^{4m})x⟩}_E\right)}{2}-{\left(\frac{1}{2}\right)}^m({\phi }^m\left({⟨x,{\left|t\right|}^{2}x⟩}_E\right)-{{\phi }^m\left({⟨x,{\left|t^{*}\right|}^{2}x⟩}_E\right))}^2]\hfill \\ \hfill & +\frac{g\left(\beta \right)}{4}{\left|\phi \left({⟨x,t^{2}x⟩}_E\right)\right|}^{2m}+\frac{f\left(\beta \right)+2}{8}·\phi \left({⟨x,({\left|t\right|}^{2m}+{\left|t^{*}\right|}^{2m})x⟩}_E\right){\left|\phi \left({⟨x,t^{2}x⟩}_E\right)\right|}^m.\hfill \\ \hfill & \left(\mathrm{by}\mathrm{Lemma}1\right)\hfill \end{array}$$

Therefore,

$$\begin{array}{cc}\hfill & {\left|\phi \left({⟨x,tx⟩}_E\right)\right|}^{4m}\hfill \\ \hfill & \le \frac{1}{8}∥{\left|t\right|}^{4m}+{\left|t^{*}\right|}^{4m}∥+\frac{g\left(\beta \right)}{4}{\omega }_A^{2m}\left(t^2\right)+\frac{f\left(\beta \right)+2}{8}∥{\left|t\right|}^{2m}+{\left|t^{*}\right|}^{2m}∥{\omega }_A^m\left(t^2\right)\hfill \\ \hfill & -{\left(\frac{1}{2}\right)}^{m+2}{({\phi }^m\left({⟨x,{\left|t\right|}^{2}x⟩}_E\right)-{\phi }^m\left({⟨x,{\left|t^{*}\right|}^{2}x⟩}_E\right))}^2.\hfill \end{array}$$

Now, by taking supremum over all $x\in E$ and $\phi \in S\left(A\right)$ with $\phi \left({\left|x\right|}^2\right)=1$,

$$\begin{array}{cc}\hfill & {\omega }_A^{4m}\left(t\right)\le \frac{1}{8}∥{\left|t\right|}^{4m}+{\left|t^{*}\right|}^{4m}∥+\frac{g\left(\beta \right)}{4}{\omega }_A^{2m}\left(t^2\right)+\frac{f\left(\beta \right)+2}{8}∥{\left|t\right|}^{2m}+{\left|t^{*}\right|}^{2m}∥{\omega }_A^m\left(t^2\right)\hfill \\ \hfill & -\underset{\phi \left({\left|x\right|}^2\right)=1}{inf}\gamma \left(x\right),\hfill \end{array}$$

where

$$\gamma \left(x\right)={\left(\frac{1}{2}\right)}^{m+2}{({\phi }^m\left({⟨x,{\left|t\right|}^{2}x⟩}_E\right)-{\phi }^m\left({⟨x,{\left|t^{*}\right|}^{2}x⟩}_E\right))}^2.$$

□

Remark 4.

When the Hilbert C* -module space degenerates to a Hilbert space, let $\alpha =2$, $m=1$, $g\left(\lambda \right)=\frac{\lambda }{\lambda +1}$ and $f\left(\lambda \right)=\frac{1}{\lambda +1}$ in Theorem 1, where $\lambda \ge 0$. Then,

$$\begin{array}{cc}\hfill & {\omega }^4\left(t\right)\hfill \\ \hfill & \le \frac{1}{8}∥{\left|t\right|}^4+{\left|t^{*}\right|}^4∥+\frac{\lambda }{4(\lambda +1)}{\omega }^2\left(t^2\right)+\frac{2\lambda +3}{8(\lambda +1)}∥{\left|t\right|}^2+{\left|t^{*}\right|}^2∥\omega \left(t^2\right)-\underset{{∥x∥}^2=1}{inf}\gamma \left(x\right),\hfill \end{array}$$

(11)

where

$$\gamma \left(x\right)=\frac{1}{8}(⟨x,{\left|t\right|}^{2}x⟩-{⟨x,{\left|t^{*}\right|}^{2}x⟩)}^2.$$

Moreover,

$$\begin{array}{cc}\hfill & {\omega }^4\left(t\right)\hfill \\ \hfill & \le \frac{1}{8}∥{\left|t\right|}^4+{\left|t^{*}\right|}^4∥+\frac{\lambda }{4(\lambda +1)}{\omega }^2\left(t^2\right)+\frac{2\lambda +3}{8(\lambda +1)}∥{\left|t\right|}^2+{\left|t^{*}\right|}^2∥\omega \left(t^2\right)-\underset{{∥x∥}^2=1}{inf}\gamma \left(x\right)\hfill \\ \hfill & \left(\mathit{by}\mathit{inequality}\right(7\left)\right)\hfill \\ \hfill & \le \frac{1}{8}∥{\left|t\right|}^4+{\left|t^{*}\right|}^4∥+\frac{\lambda }{8(\lambda +1)}∥{\left|t\right|}^4+{\left|t^{*}\right|}^4∥+\frac{2\lambda +3}{8(\lambda +1)}∥{\left|t\right|}^2+{\left|t^{*}\right|}^2∥\omega \left(t^2\right)-\underset{{∥x∥}^2=1}{inf}\gamma \left(x\right)\hfill \\ \hfill & =\frac{2\lambda +1}{8(\lambda +1)}∥{\left|t\right|}^4+{\left|t^{*}\right|}^4∥+\frac{2\lambda +3}{8(\lambda +1)}∥{\left|t\right|}^2+{\left|t^{*}\right|}^2∥\omega \left(t^2\right)-\underset{{∥x∥}^2=1}{inf}\gamma \left(x\right),\hfill \end{array}$$

which imply that inequality (11) refines Theorem 2.9 of [33], namely

$$\begin{array}{cc}\hfill & {\omega }^4\left(t\right)\le \frac{2\lambda +1}{8(\lambda +1)}∥{\left|t\right|}^4+{\left|t^{*}\right|}^4∥+\frac{2\lambda +3}{8(\lambda +1)}∥{\left|t\right|}^2+{\left|t^{*}\right|}^2∥\omega \left(t^2\right),\lambda \ge 0.\hfill \end{array}$$

Next, we will present Example 1 and Example 2 to illustrate the effectiveness of the results in Remark 4.

Example 1.

Consider $\gamma \left(x\right)$ in the above Remark 4, namely

$$\gamma \left(x\right)=\frac{1}{8}(⟨x,{\left|t\right|}^{2}x⟩-{⟨x,{\left|t^{*}\right|}^{2}x⟩)}^2.$$

Let $t=\left[\begin{array}{ccc}0& 1& 0\\ 0& 0& 2\\ 0& 0& 0\end{array}\right]$, then ${\left|t\right|}^2=\left[\begin{array}{ccc}0& 0& 0\\ 0& 1& 0\\ 0& 0& 4\end{array}\right],{\left|t^{*}\right|}^2=\left[\begin{array}{ccc}1& 0& 0\\ 0& 4& 0\\ 0& 0& 0\end{array}\right],t^2=\left[\begin{array}{ccc}0& 0& 2\\ 0& 0& 0\\ 0& 0& 0\end{array}\right]$,

${\left|t\right|}^4=\left[\begin{array}{ccc}0& 0& 0\\ 0& 1& 0\\ 0& 0& 16\end{array}\right],{\left|t^{*}\right|}^4=\left[\begin{array}{ccc}1& 0& 0\\ 0& 16& 0\\ 0& 0& 0\end{array}\right]$. Let $\lambda =1$, then,

$$\begin{array}{cc}\hfill 1.5625& ={\omega }^4\left(t\right)\hfill \\ \hfill & \le \frac{1}{8}∥{\left|t\right|}^4+{\left|t^{*}\right|}^4∥+\frac{1}{8}{\omega }^2\left(t^2\right)+\frac{5}{16}∥{\left|t\right|}^2+{\left|t^{*}\right|}^2∥\omega \left(t^2\right)-\underset{{∥x∥}^2=1}{inf}\gamma \left(x\right)\hfill \\ \hfill & =3.8125,\hfill \end{array}$$

where

$$\underset{∥x∥=1}{inf}\gamma \left(x\right)=0.$$

In [33], we have

$$\begin{array}{c}\hfill 1.5625={\omega }^4\left(t\right)\le \frac{3}{16}∥{\left|t\right|}^4+{\left|t^{*}\right|}^4∥+\frac{5}{16}∥{\left|t\right|}^2+{\left|t^{*}\right|}^2∥\omega \left(t^2\right)=4.75.\end{array}$$

Example 2.

Consider $\gamma \left(x\right)$ in the above Remark 4, namely

$$\gamma \left(x\right)=\frac{1}{8}(⟨x,{\left|t\right|}^{2}x⟩-{⟨x,{\left|t^{*}\right|}^{2}x⟩)}^2.$$

Let $t=\left[\begin{array}{ccc}0& 0& 0\\ I& 0& 0\\ 0& 2I& 0\end{array}\right]$, then $t^{*}=\left[\begin{array}{ccc}0& I& 0\\ 0& 0& 2I\\ 0& 0& 0\end{array}\right]$, $t^2=\left[\begin{array}{ccc}0& 0& 0\\ 0& 0& 0\\ 2I& 0& 0\end{array}\right]$, ${\left|t\right|}^2=\left[\begin{array}{ccc}I& 0& 0\\ 0& 4I& 0\\ 0& 0& 0\end{array}\right]$, ${\left|t^{*}\right|}^2=\left[\begin{array}{ccc}0& 0& 0\\ 0& I& 0\\ 0& 0& 4I\end{array}\right]$, ${\left|t\right|}^4=\left[\begin{array}{ccc}I& 0& 0\\ 0& 16I& 0\\ 0& 0& 0\end{array}\right]$, ${\left|t^{*}\right|}^4=\left[\begin{array}{ccc}0& 0& 0\\ 0& I& 0\\ 0& 0& 16I\end{array}\right]$, where I is the identity operator in an infinite dimensional Hilbert space. Let $\lambda =1$, then,

$$\begin{array}{cc}\hfill 1& ={\omega }^4\left(t\right)\hfill \\ \hfill & \le \frac{1}{8}∥{\left|t\right|}^4+{\left|t^{*}\right|}^4∥+\frac{1}{8}{\omega }^2\left(t^2\right)+\frac{5}{16}∥{\left|t\right|}^2+{\left|t^{*}\right|}^2∥\omega \left(t^2\right)-\underset{{∥x∥}^2=1}{inf}\gamma \left(x\right)\hfill \\ \hfill & =3.8125,\hfill \end{array}$$

where

$$\underset{∥x∥=1}{inf}\gamma \left(x\right)=0.$$

In [33], we have

$$\begin{array}{c}\hfill 1={\omega }^4\left(t\right)\le \frac{3}{16}∥{\left|t\right|}^4+{\left|t^{*}\right|}^4∥+\frac{5}{16}∥{\left|t\right|}^2+{\left|t^{*}\right|}^2∥\omega \left(t^2\right)=4.75.\end{array}$$

Remark 5.

By the above example, when $\underset{∥x∥=1}{inf}\gamma \left(x\right)=0$ holds, the inequality of Theorem 1 also improves Theorem 2.9 of [33]. When $\underset{∥x∥=1}{inf}\gamma \left(x\right)>0$ holds, we take $m=1$ and t as a uniformly hyponormal operator $(t^{*}t-t{t}^{*}\ge M>0$) [14] in Theorem 1.

Theorem 2.

Let $t\in \mathcal{L}\left(E\right)$ and let $\mathbb{D}$ be a subset of $\mathbb{R}$. Let $f,g:\mathbb{D}\to [0,\infty )$ be a mapping such that $f\left(\beta \right)+g\left(\beta \right)=1$ for all $\beta \in \mathbb{D}$. Then, for $r\ge 1$ and $\alpha \in \mathbb{C}\setminus \left\{0\right\}$, we have

$$\begin{array}{cc}\hfill & {\omega }_A^{4r}\left(t\right)\hfill \\ \hfill & \le \frac{max\{1,{\left|\alpha -1\right|}^2\}}{4{\left|\alpha \right|}^2}∥{\left|t\right|}^{4r}+{\left|t^{*}\right|}^{4r}∥+\frac{max\{1,{\left|\alpha -1\right|}^2\}}{2{\left|\alpha \right|}^2}{\omega }_A\left({\left|t\right|}^{2r}{\left|t^{*}\right|}^{2r}\right)\hfill \\ \hfill & +\frac{g\left(\beta \right)}{{\left|\alpha \right|}^2}{\omega }_A^2\left(t^2\right){\omega }_A^{4(r-1)}\left(t\right)+\frac{f\left(\beta \right)+2max\left\{1,\left|\alpha -1\right|\right\}}{2{\left|\alpha \right|}^2}∥{\left|t\right|}^{2r}+{\left|t^{*}\right|}^{2r}∥{\omega }_A\left(t^2\right){\omega }_A^{2(r-1)}\left(t\right).\hfill \end{array}$$

Proof. 

If we take $x=t^{*}x$, $e=x$ and $y=tx$ in Lemma 4, then,

$$\begin{array}{cc}\hfill & {\left|\phi \left({⟨x,tx⟩}_E\right)\right|}^{4r}\hfill \\ \hfill & \le \frac{max\{1,{\left|\alpha -1\right|}^2\}}{{\left|\alpha \right|}^2}{\left(\phi \left({⟨x,{\left|t\right|}^{2}x⟩}_E\right)\phi \left({⟨x,{\left|t^{*}\right|}^{2}x⟩}_E\right)\right)}^r\hfill \\ \hfill & +\frac{g\left(\beta \right)}{{\left|\alpha \right|}^2}{\left|\phi \left({⟨x,t^{2}x⟩}_E\right)\right|}^2{\left|\phi \left({⟨x,tx⟩}_E\right)\right|}^{4(r-1)}+\hfill \\ \hfill & \frac{f\left(\beta \right)+2max\left\{1,\left|\alpha -1\right|\right\}}{{\left|\alpha \right|}^2}{\left(\phi \left({⟨x,{\left|t\right|}^{2}x⟩}_E\right)\phi (x,{\left|t^{*}\right|}^{2}x)\right)}^{\frac{r}{2}}\left|\phi \left({⟨x,t^{2}x⟩}_E\right)\right|{\left|\phi \left({⟨x,tx⟩}_E\right)\right|}^{2(r-1)}\hfill \\ \hfill & \left(\mathrm{by}\mathrm{Lemma}4\right)\hfill \\ \hfill & \le \frac{max\{1,{\left|\alpha -1\right|}^2\}}{{\left|\alpha \right|}^2}\phi \left({⟨x,{\left|t\right|}^{2r}x⟩}_E\right)\phi \left({⟨x,{\left|t^{*}\right|}^{2r}x⟩}_E\right)\hfill \\ \hfill & +\frac{g\left(\beta \right)}{{\left|\alpha \right|}^2}{\left|\phi \left({⟨x,t^{2}x⟩}_E\right)\right|}^2{\left|\phi \left({⟨x,tx⟩}_E\right)\right|}^{4(r-1)}+\hfill \\ \hfill & \frac{f\left(\beta \right)+2max\left\{1,\left|\alpha -1\right|\right\}}{{\left|\alpha \right|}^2}{\left(\phi \left({⟨x,{\left|t\right|}^{2r}x⟩}_E\right)\phi \left({⟨x,{\left|t^{*}\right|}^{2r}x⟩}_E\right)\right)}^{\frac{1}{2}}\left|\phi \left({⟨x,t^{2}x⟩}_E\right)\right|{\left|\phi \left({⟨x,tx⟩}_E\right)\right|}^{2(r-1)}\hfill \\ \hfill & \left(\mathrm{by}\mathrm{Lemma}1\right)\hfill \\ \hfill & =\frac{max\{1,{\left|\alpha -1\right|}^2\}}{{\left|\alpha \right|}^2}\left|\phi \left({⟨{\left|t\right|}^{2r}x,x⟩}_E\right)\phi \left({⟨x,{\left|t^{*}\right|}^{2r}x⟩}_E\right)\right|\hfill \\ \hfill & +\frac{g\left(\beta \right)}{{\left|\alpha \right|}^2}{\left|\phi \left({⟨x,t^{2}x⟩}_E\right)\right|}^2{\left|\phi \left({⟨x,tx⟩}_E\right)\right|}^{4(r-1)}+\hfill \\ \hfill & \frac{f\left(\beta \right)+2max\left\{1,\left|\alpha -1\right|\right\}}{{\left|\alpha \right|}^2}{\left(\phi \left({⟨x,{\left|t\right|}^{2r}x⟩}_E\right)\phi \left({⟨x,{\left|t^{*}\right|}^{2r}x⟩}_E\right)\right)}^{\frac{1}{2}}\left|\phi \left({⟨x,t^{2}x⟩}_E\right)\right|{\left|\phi \left({⟨x,tx⟩}_E\right)\right|}^{2(r-1)}.\hfill \end{array}$$

By employing the Buzano inequality (2), we have

$$\begin{array}{cc}\hfill & \le \frac{max\{1,{\left|\alpha -1\right|}^2\}}{2{\left|\alpha \right|}^2}{\left(\right(\phi \left({⟨{\left|t\right|}^{2r}x,{\left|t\right|}^{2r}x⟩}_E\right)\phi \left({⟨{\left|t^{*}\right|}^{2r}x,{\left|t^{*}\right|}^{2r}x⟩}_E\right))}^{\frac{1}{2}}+\left|\phi \left({⟨{\left|t\right|}^{2r}x,{\left|t^{*}\right|}^{2r}x⟩}_E\right)\right|)\hfill \\ \hfill & +\frac{g\left(\beta \right)}{{\left|\alpha \right|}^2}{\left|\phi \left({⟨x,t^{2}x⟩}_E\right)\right|}^2{\left|\phi \left({⟨x,tx⟩}_E\right)\right|}^{4(r-1)}+\hfill \\ \hfill & \frac{f\left(\beta \right)+2max\left\{1,\left|\alpha -1\right|\right\}}{{\left|\alpha \right|}^2}{\left(\phi \left({⟨x,{\left|t\right|}^{2r}x⟩}_E\right)\phi \left({⟨x,{\left|t^{*}\right|}^{2r}x⟩}_E\right)\right)}^{\frac{1}{2}}\left|\phi \left({⟨x,t^{2}x⟩}_E\right)\right|{\left|\phi \left({⟨x,tx⟩}_E\right)\right|}^{2(r-1)}\hfill \\ \hfill & \left(\mathrm{by}\mathrm{inequality}\right(2\left)\right)\hfill \\ \hfill & \le \frac{max\{1,{\left|\alpha -1\right|}^2\}}{4{\left|\alpha \right|}^2}\phi \left({⟨x,({\left|t\right|}^{4r}+{\left|t^{*}\right|}^{4r})x⟩}_E\right)+\frac{max\{1,{\left|\alpha -1\right|}^2\}}{2{\left|\alpha \right|}^2}\left|\phi \left({⟨x,{\left|t\right|}^{2r}{\left|t^{*}\right|}^{2r}x⟩}_E\right)\right|\hfill \\ \hfill & +\frac{g\left(\beta \right)}{{\left|\alpha \right|}^2}{\left|\phi \left({⟨x,t^{2}x⟩}_E\right)\right|}^2{\left|\phi \left({⟨x,tx⟩}_E\right)\right|}^{4(r-1)}\hfill \\ \hfill & +\frac{f\left(\beta \right)+2max\left\{1,\left|\alpha -1\right|\right\}}{2{\left|\alpha \right|}^2}\phi \left({⟨x,({\left|t\right|}^{2r}+{\left|t^{*}\right|}^{2r})x⟩}_E\right)\left|\phi \left({⟨x,t^{2}x⟩}_E\right)\right|{\left|\phi \left({⟨x,tx⟩}_E\right)\right|}^{2(r-1)}.\hfill \\ \hfill & \left(\mathrm{by}\text{AM-GM}\mathrm{inequality}\right)\hfill \end{array}$$

Therefore,

$$\begin{array}{cc}\hfill & {\left|\phi \left({⟨x,tx⟩}_E\right)\right|}^{4r}\hfill \\ \hfill & \le \frac{max\{1,{\left|\alpha -1\right|}^2\}}{4{\left|\alpha \right|}^2}∥{\left|t\right|}^{4r}+{\left|t^{*}\right|}^{4r}∥+\frac{max\{1,{\left|\alpha -1\right|}^2\}}{2{\left|\alpha \right|}^2}{\omega }_A\left({\left|t\right|}^{2r}{\left|t^{*}\right|}^{2r}\right)\hfill \\ \hfill & +\frac{g\left(\beta \right)}{{\left|\alpha \right|}^2}{\omega }_A^2\left(t^2\right){\omega }_A^{4(r-1)}\left(t\right)+\frac{f\left(\beta \right)+2max\left\{1,\left|\alpha -1\right|\right\}}{2{\left|\alpha \right|}^2}∥{\left|t\right|}^{2r}+{\left|t^{*}\right|}^{2r}∥{\omega }_A\left(t^2\right){\omega }_A^{2(r-1)}\left(t\right).\hfill \end{array}$$

Now, by taking supremum over all $x\in E$ and $\phi \in S\left(A\right)$ with $\phi \left({\left|x\right|}^2\right)=1$,

$$\begin{array}{cc}\hfill & {\omega }_A^{4r}\left(t\right)\hfill \\ \hfill & \le \frac{max\{1,{\left|\alpha -1\right|}^2\}}{4{\left|\alpha \right|}^2}∥{\left|t\right|}^{4r}+{\left|t^{*}\right|}^{4r}∥+\frac{max\{1,{\left|\alpha -1\right|}^2\}}{2{\left|\alpha \right|}^2}{\omega }_A\left({\left|t\right|}^{2r}{\left|t^{*}\right|}^{2r}\right)\hfill \\ \hfill & +\frac{g\left(\beta \right)}{{\left|\alpha \right|}^2}{\omega }_A^2\left(t^2\right){\omega }_A^{4(r-1)}\left(t\right)+\frac{f\left(\beta \right)+2max\left\{1,\left|\alpha -1\right|\right\}}{2{\left|\alpha \right|}^2}∥{\left|t\right|}^{2r}+{\left|t^{*}\right|}^{2r}∥{\omega }_A\left(t^2\right){\omega }_A^{2(r-1)}\left(t\right).\hfill \end{array}$$

□

Remark 6.

When the Hilbert C*-module space degenerates to a Hilbert space, let $\alpha =2$ in Theorem 2. Then, we will obtain

$$\begin{array}{cc}\hfill & {\omega }^{4r}\left(t\right)\le \frac{1}{16}∥{\left|t\right|}^{4r}+{\left|t^{*}\right|}^{4r}∥+\frac{1}{8}\omega \left({\left|t\right|}^{2r}{\left|t^{*}\right|}^{2r}\right)+\frac{g\left(\beta \right)}{4}{\omega }^2\left(t^2\right){\omega }^{4(r-1)}\left(t\right)\hfill \\ \hfill & +\frac{f\left(\beta \right)+2}{8}∥{\left|t\right|}^{2r}+{\left|t^{*}\right|}^{2r}∥\omega \left(t^2\right){\omega }^{2(r-1)}\left(t\right).\hfill \end{array}$$

(12)

Moreover,

$$\begin{array}{cc}\hfill & {\omega }^{4r}\left(t\right)\le \frac{1}{16}∥{\left|t\right|}^{4r}+{\left|t^{*}\right|}^{4r}∥+\frac{1}{8}\omega \left({\left|t\right|}^{2r}{\left|t^{*}\right|}^{2r}\right)+\frac{g\left(\beta \right)}{4}{\omega }^2\left(t^2\right){\omega }^{4(r-1)}\left(t\right)\hfill \\ \hfill & +\frac{f\left(\beta \right)+2}{8}∥{\left|t\right|}^{2r}+{\left|t^{*}\right|}^{2r}∥\omega \left(t^2\right){\omega }^{2(r-1)}\left(t\right)\hfill \\ \hfill & \le \frac{1}{16}∥{\left|t\right|}^{4r}+{\left|t^{*}\right|}^{4r}∥+\frac{1}{8}\omega \left({\left|t^{*}\right|}^{2r}{\left|t\right|}^{2r}\right)+\frac{g\left(\beta \right)}{4}{\omega }^{4r}\left(t\right)\hfill \\ \hfill & +\frac{f\left(\beta \right)+2}{8}∥{\left|t\right|}^{2r}+{\left|t^{*}\right|}^{2r}∥{\omega }^{2r}\left(t\right)\hfill \\ \hfill & \left(\mathrm{by}\omega \left(t^n\right)\le {\omega }^n\left(t\right),n\in N^{+}\right)\hfill \\ \hfill & \le \frac{1}{16}∥{\left|t\right|}^{4r}+{\left|t^{*}\right|}^{4r}∥+\frac{1}{16}∥{\left|t\right|}^{4r}+{\left|t^{*}\right|}^{4r}∥+\frac{g\left(\beta \right)}{8}∥{\left|t\right|}^{4r}+{\left|t^{*}\right|}^{4r}∥\hfill \\ \hfill & +\frac{f\left(\beta \right)+2}{16}{∥{\left|t\right|}^{2r}+{\left|t^{*}\right|}^{2r}∥}^2\hfill \\ \hfill & \left(\mathit{by}\mathit{inequality}\right(6),\mathit{inequality}(7\left)\right)\hfill \\ \hfill & \le \frac{g\left(\beta \right)+1}{8}∥{\left|t\right|}^{4r}+{\left|t^{*}\right|}^{4r}∥+\frac{f\left(\beta \right)+2}{8}∥{\left|t\right|}^{4r}+{\left|t^{*}\right|}^{4r}∥\hfill \\ \hfill & \left(\mathit{by}\mathit{Lemma}3\right)\hfill \\ \hfill & =\frac{1}{2}∥{\left|t\right|}^{4r}+{\left|t^{*}\right|}^{4r}∥,\hfill \end{array}$$

which imply that inequality (12) refines Theorem 2 of [34], namely

$$\begin{array}{c}\hfill {\omega }^{2r}\left(t\right)\le \frac{1}{2}∥{\left|t\right|}^{2r}+{\left|t^{*}\right|}^{2r}∥,r\ge 1.\end{array}$$

4. The Upper Bounds of the Numerical Radius for a Product of Bounded Adjointable Operators on Hilbert C*-Modules

In this section, we provide the upper bounds of the numerical radius of the product of two adjointable operators on Hilbert C*-modules. And, our bounds refine inequality (7).

Theorem 3.

Let $t,s\in \mathcal{L}\left(E\right)$ and let $\mathbb{D}$ be a subset of $\mathbb{R}$. Let $f,g:\mathbb{D}\to [0,\infty )$ be a mapping such that $f\left(\beta \right)+g\left(\beta \right)=1$ for all $\beta \in \mathbb{D}$. Then, for $m=1,2,3,\cdots ,$ we have

$$\begin{array}{cc}\hfill & {\omega }_A^{2m}\left(s^{*}t\right)\le \frac{1}{2(4-g(\beta \left)\right)}∥{\left|t\right|}^{4m}+{\left|s\right|}^{4m}∥+\frac{f\left(\beta \right)+2}{2(4-g(\beta \left)\right)}∥{\left|t\right|}^{2m}+{\left|s\right|}^{2m}∥{\omega }_A^m\left(s^{*}t\right)\hfill \\ \hfill & -\underset{\phi \left({\left|x\right|}^2\right)=1}{inf}\gamma \left(x\right),\hfill \end{array}$$

where

$$\gamma \left(x\right)=\frac{1}{(4-g(\beta \left)\right)}{\left(\frac{1}{2}\right)}^m{({\phi }^m\left({⟨x,{\left|t\right|}^{2}x⟩}_E\right)-{\phi }^m\left({⟨x,{\left|s\right|}^{2}x⟩}_E\right))}^2.$$

Proof. 

If we take $x=sx$ and $y=tx$ in Remark 3, then,

$$\begin{array}{cc}\hfill & {\left|\phi \left({⟨x,s^{*}tx⟩}_E\right)\right|}^2\hfill \\ \hfill & \le \frac{1}{4-g\left(\beta \right)}\phi \left({⟨x,{\left|t\right|}^{2}x⟩}_E\right)\phi \left({⟨x,{\left|s\right|}^{2}x⟩}_E\right)\hfill \\ \hfill & +\frac{f\left(\beta \right)+2}{4-g\left(\beta \right)}{\left(\phi \left({⟨x,{\left|t\right|}^{2}x⟩}_E\right)\phi \left({⟨x,{\left|s\right|}^{2}x⟩}_E\right)\right)}^{\frac{1}{2}}\left|\phi \left({⟨x,s^{*}tx⟩}_E\right)\right|.\hfill \\ \hfill & \left(\mathrm{by}\mathrm{Remark}3\right)\hfill \end{array}$$

Further,

$$\begin{array}{cc}\hfill & {\left|\phi \left({⟨x,s^{*}tx⟩}_E\right)\right|}^{2m}\hfill \\ \hfill & \le [\frac{1}{4-g\left(\beta \right)}\phi \left({⟨x,{\left|t\right|}^{2}x⟩}_E\right)\phi \left({⟨x,{\left|s\right|}^{2}x⟩}_E\right)\hfill \\ \hfill & +\frac{f\left(\beta \right)+2}{4-g\left(\beta \right)}{\left(\phi \left({⟨x,{\left|t\right|}^{2}x⟩}_E\right)\phi \left({⟨x,{\left|s\right|}^{2}x⟩}_E\right)\right)}^{\frac{1}{2}}\left|\phi \left({⟨x,s^{*}tx⟩}_E\right)\right|{]}^m\hfill \\ \hfill & \le \frac{1}{4-g\left(\beta \right)}{\left(\phi \left({⟨x,{\left|t\right|}^{2}x⟩}_E\right)\phi \left({⟨x,{\left|s\right|}^{2}x⟩}_E\right)\right)}^m\hfill \\ \hfill & +\frac{f\left(\beta \right)+2}{4-g\left(\beta \right)}{\left(\phi \left({⟨x,{\left|t\right|}^{2}x⟩}_E\right)\phi \left({⟨x,{\left|s\right|}^{2}x⟩}_E\right)\right)}^{\frac{m}{2}}{\left|\phi \left({⟨x,s^{*}tx⟩}_E\right)\right|}^m.\hfill \\ \hfill & \left(\mathrm{by}\mathrm{Lemma}3\right)\hfill \end{array}$$

By employing the generalization of Young inequality in Lemma 2, we have

$$\begin{array}{cc}\hfill & {\left|\phi \left({⟨x,s^{*}tx⟩}_E\right)\right|}^{2m}\hfill \\ \hfill & \le \frac{1}{4-g\left(\beta \right)}[{\left(\frac{{\phi }^2\left({⟨x,{\left|t\right|}^{2}x⟩}_E\right)+{\phi }^2\left({⟨x,{\left|s\right|}^{2}x⟩}_E\right)}{2}\right)}^m\hfill \\ \hfill & -{\left(\frac{1}{2}\right)}^m{({\phi }^m\left({⟨x,{\left|t\right|}^{2}x⟩}_E\right)-{\phi }^m\left({⟨x,{\left|s\right|}^{2}x⟩}_E\right))}^2]\hfill \\ \hfill & +\frac{f\left(\beta \right)+2}{4-g\left(\beta \right)}·{\left(\frac{\phi \left({⟨x,{\left|t\right|}^{2}x⟩}_E\right)+\phi \left({⟨x,{\left|s\right|}^{2}x⟩}_E\right)}{2}\right)}^m{\left|\phi \left({⟨x,s^{*}tx⟩}_E\right)\right|}^m\hfill \\ \hfill & (\mathrm{by}\mathrm{Lemma}2,\text{AM-GM}\mathrm{inequality})\hfill \end{array}$$

$$\begin{array}{cc}\hfill & \le \frac{1}{4-g\left(\beta \right)}[\frac{{\phi }^{2m}\left({⟨x,{\left|t\right|}^{2}x⟩}_E\right)+{\phi }^{2m}\left({⟨x,{\left|s\right|}^{2}x⟩}_E\right)}{2}\hfill \\ \hfill & -{\left(\frac{1}{2}\right)}^m{({\phi }^m\left({⟨x,{\left|t\right|}^{2}x⟩}_E\right)-{\phi }^m\left({⟨x,{\left|s\right|}^{2}x⟩}_E\right))}^2]\hfill \\ \hfill & +\frac{f\left(\beta \right)+2}{4-g\left(\beta \right)}·\frac{{\phi }^m\left({⟨x,{\left|t\right|}^{2}x⟩}_E\right)+{\phi }^m\left({⟨x,{\left|s\right|}^{2}x⟩}_E\right)}{2}{\left|\phi \left({⟨x,s^{*}tx⟩}_E\right)\right|}^m\hfill \\ \hfill & \left(\mathrm{by}\mathrm{Lemma}3\right)\hfill \\ \hfill & \le \frac{1}{4-g\left(\beta \right)}[\frac{\phi \left({⟨x,({\left|t\right|}^{4m}+{\left|s\right|}^{4m})x⟩}_E\right)}{2}-{\left(\frac{1}{2}\right)}^m{({\phi }^m\left({⟨x,{\left|t\right|}^{2}x⟩}_E\right)-{\phi }^m\left({⟨x,{\left|s\right|}^{2}x⟩}_E\right))}^2]\hfill \\ \hfill & +\frac{f\left(\beta \right)+2}{4-g\left(\beta \right)}·\frac{\phi \left({⟨x,({\left|t\right|}^{2m}+{\left|s\right|}^{2m})x⟩}_E\right)}{2}{\left|\phi \left({⟨x,s^{*}tx⟩}_E\right)\right|}^m.\hfill \\ \hfill & \left(\mathrm{by}\mathrm{Lemma}1\right)\hfill \end{array}$$

Therefore,

$$\begin{array}{cc}\hfill & {\left|\phi \left({⟨x,s^{*}tx⟩}_E\right)\right|}^{2m}\hfill \\ \hfill & \le \frac{1}{2(4-g(\beta \left)\right)}∥{\left|t\right|}^{4m}+{\left|s\right|}^{4m}∥+\frac{f\left(\beta \right)+2}{2(4-g(\beta \left)\right)}∥{\left|t\right|}^{2m}+{\left|s\right|}^{2m}∥{\omega }_A^m\left(s^{*}t\right)\hfill \\ \hfill & -\frac{1}{(4-g(\beta \left)\right)}{\left(\frac{1}{2}\right)}^m{({\phi }^m\left({⟨x,{\left|t\right|}^{2}x⟩}_E\right)-{\phi }^m\left({⟨x,{\left|s\right|}^{2}x⟩}_E\right))}^2.\hfill \end{array}$$

Now, by taking supremum over all $x\in E$ and $\phi \in S\left(A\right)$ with $\phi \left({\left|x\right|}^2\right)=1$,

$$\begin{array}{cc}\hfill & {\omega }_A^{2m}\left(s^{*}t\right)\le \frac{1}{2(4-g(\beta \left)\right)}∥{\left|t\right|}^{4m}+{\left|s\right|}^{4m}∥+\frac{f\left(\beta \right)+2}{2(4-g(\beta \left)\right)}∥{\left|t\right|}^{2m}+{\left|s\right|}^{2m}∥{\omega }_A^m\left(s^{*}t\right)\hfill \\ \hfill & -\underset{\phi \left({\left|x\right|}^2\right)=1}{inf}\gamma \left(x\right),\hfill \end{array}$$

where

$$\gamma \left(x\right)=\frac{1}{(4-g(\beta \left)\right)}{\left(\frac{1}{2}\right)}^m{({\phi }^m\left({⟨x,{\left|t\right|}^{2}x⟩}_E\right)-{\phi }^m\left({⟨x,{\left|s\right|}^{2}x⟩}_E\right))}^2.$$

□

Remark 7.

When the Hilbert C*-module space degenerates to a Hilbert space, let $\alpha =2$, $m=1$, $g\left(\beta \right)=1$ and $f\left(\beta \right)=0$ in Theorem 3. Then, we observe that

$$\begin{array}{cc}\hfill & {\omega }^2\left(s^{*}t\right)\le \frac{1}{6}∥{\left|t\right|}^4+{\left|s\right|}^4∥+\frac{1}{3}∥{\left|t\right|}^2+{\left|s\right|}^2∥\omega \left(s^{*}t\right)-\underset{∥x∥=1}{inf}\gamma \left(x\right),\hfill \end{array}$$

where

$$\gamma \left(x\right)=\frac{1}{6}{((x,{\left|t\right|}^{2}x)-(x,{\left|s\right|}^{2}x))}^2.$$

And this inequality refines Theorem 1 of [35], namely

$$\begin{array}{c}\hfill {\omega }^2\left(s^{*}t\right)\le \frac{1}{6}∥{\left|t\right|}^4+{\left|s\right|}^4∥+\frac{1}{3}∥{\left|t\right|}^2+{\left|s\right|}^2∥\omega \left(s^{*}t\right).\end{array}$$

Next, we will give an example to show that there exists $t,s\in \mathcal{L}\left(E\right)$ such that ${\displaystyle \underset{∥x∥=1}{inf}}\gamma \left(x\right)\ne 0.$

Example 3.

Consider $\gamma \left(x\right)$ in the above Remark 7, namely

$$\gamma \left(x\right)=\frac{1}{6}{((x,{\left|t\right|}^{2}x)-(x,{\left|s\right|}^{2}x))}^2.$$

Let $t=\left[\begin{array}{cc}\sqrt{2}& 0\\ 0& \sqrt{2}\end{array}\right],s=\left[\begin{array}{cc}1& 0\\ 0& 1\end{array}\right]$. Then,

$$\begin{array}{c}\hfill 2={\omega }^2\left(s^{*}t\right)\le \frac{1}{6}∥{\left|t\right|}^4+{\left|s\right|}^4∥+\frac{1}{3}∥{\left|t\right|}^2+{\left|s\right|}^2∥\omega \left(s^{*}t\right)-\underset{∥x∥=1}{inf}\gamma \left(x\right)\approx 2.0808,\end{array}$$

where

$$\underset{∥x∥=1}{inf}\gamma \left(x\right)=\frac{1}{6}\ne 0.$$

In [35], we have

$$\begin{array}{c}\hfill 2={\omega }^2\left(s^{*}t\right)\le \frac{1}{6}∥{\left|t\right|}^4+{\left|s\right|}^4∥+\frac{1}{3}∥{\left|t\right|}^2+{\left|s\right|}^2∥\omega \left(s^{*}t\right)\approx 2.2475.\end{array}$$

Theorem 4.

Let $t,s\in \mathcal{L}\left(E\right)$ and let $\mathbb{D}$ be a subset of $\mathbb{R}$. Let $f,g:\mathbb{D}\to [0,\infty )$ be a mapping such that $f\left(\beta \right)+g\left(\beta \right)=1$ for all $\beta \in \mathbb{D}$. Then, for $r\ge 1$, $\alpha \in \mathbb{C}\setminus \left\{0\right\}$ and ${\left|\alpha \right|}^2\ne g\left(\beta \right)$, we have

$$\begin{array}{cc}\hfill & {\omega }_A^{2r}\left(s^{*}t\right)\hfill \\ \hfill & \le \frac{max\{1,{\left|\alpha -1\right|}^2\}}{2({\left|\alpha \right|}^2-g\left(\beta \right))}∥{\left|t\right|}^{4r}+{\left|s\right|}^{4r}∥+\frac{f\left(\beta \right)+2max\left\{1,\left|\alpha -1\right|\right\}}{2({\left|\alpha \right|}^2-g\left(\beta \right))}∥{\left|t\right|}^{2r}+{\left|s\right|}^{2r}∥{\omega }_A^r\left(s^{*}t\right).\hfill \end{array}$$

Proof. 

If we take $x=sx$ and $y=tx$ in Lemma 5, then,

$$\begin{array}{cc}\hfill & (1-\frac{g\left(\beta \right)}{{\left|\alpha \right|}^2}){\left|\phi \left({⟨x,s^{*}tx⟩}_E\right)\right|}^{2r}\hfill \\ \hfill & \le \frac{max\{1,{\left|\alpha -1\right|}^2\}}{{\left|\alpha \right|}^2}{\left(\phi \left({⟨x,{\left|t\right|}^{2}x⟩}_E\right)\phi \left({⟨x,{\left|s\right|}^{2}x⟩}_E\right)\right)}^r\hfill \\ \hfill & +\frac{f\left(\beta \right)+2max\left\{1,\left|\alpha -1\right|\right\}}{{\left|\alpha \right|}^2}{\left(\phi \left({⟨x,{\left|t\right|}^{2}x⟩}_E\right)\phi \left({⟨x,{\left|s\right|}^{2}x⟩}_E\right)\right)}^{\frac{r}{2}}{\left|\phi \left({⟨x,s^{*}tx⟩}_E\right)\right|}^r\hfill \\ \hfill & \left(\mathrm{by}\mathrm{Lemma}5\right)\hfill \\ \hfill & \le \frac{max\{1,{\left|\alpha -1\right|}^2\}}{{\left|\alpha \right|}^2}\phi \left({⟨x,{\left|t\right|}^{2r}x⟩}_E\right)\phi \left({⟨x,{\left|s\right|}^{2r}x⟩}_E\right)\hfill \\ \hfill & +\frac{f\left(\beta \right)+2max\left\{1,\left|\alpha -1\right|\right\}}{{\left|\alpha \right|}^2}{\left(\phi \left({⟨x,{\left|t\right|}^{2r}x⟩}_E\right)\phi \left({⟨x,{\left|s\right|}^{2r}x⟩}_E\right)\right)}^{\frac{1}{2}}{\left|\phi \left({⟨x,s^{*}tx⟩}_E\right)\right|}^r\hfill \\ \hfill & \left(\mathrm{by}\mathrm{Lemma}1\right)\hfill \\ \hfill & \le \frac{max\{1,{\left|\alpha -1\right|}^2\}}{2{\left|\alpha \right|}^2}({\phi }^2\left({⟨x,{\left|t\right|}^{2r}x⟩}_E\right)+{\phi }^2\left({⟨x,{\left|s\right|}^{2r}x⟩}_E\right))\hfill \\ \hfill & +\frac{f\left(\beta \right)+2max\left\{1,\left|\alpha -1\right|\right\}}{2{\left|\alpha \right|}^2}(\phi \left({⟨x,{\left|t\right|}^{2r}x⟩}_E\right)+\phi \left({⟨x,{\left|s\right|}^{2r}x⟩}_E\right)){\left|\phi \left({⟨x,s^{*}tx⟩}_E\right)\right|}^r\hfill \\ \hfill & \left(\mathrm{by}\text{AM-GM}\mathrm{inequality}\right)\hfill \\ \hfill & \le \frac{max\{1,{\left|\alpha -1\right|}^2\}}{2{\left|\alpha \right|}^2}\phi \left({⟨x,({\left|t\right|}^{4r}+{\left|s\right|}^{4r})x⟩}_E\right)\hfill \\ \hfill & +\frac{f\left(\beta \right)+2max\left\{1,\left|\alpha -1\right|\right\}}{2{\left|\alpha \right|}^2}\phi \left({⟨x,({\left|t\right|}^{2r}+{\left|s\right|}^{2r})x⟩}_E\right){\left|\phi \left({⟨x,s^{*}tx,x⟩}_E\right)\right|}^r.\hfill \\ \hfill & \left(\mathrm{by}\mathrm{Lemma}1\right)\hfill \end{array}$$

Thus,

$$\begin{array}{cc}\hfill & (1-\frac{g\left(\beta \right)}{{\left|\alpha \right|}^2}){\left|\phi \left({⟨x,s^{*}tx⟩}_E\right)\right|}^{2r}\hfill \\ & \le \frac{max\{1,{\left|\alpha -1\right|}^2\}}{2{\left|\alpha \right|}^2}∥{\left|t\right|}^{4r}+{\left|s\right|}^{4r}∥+\frac{f\left(\beta \right)+2max\left\{1,\left|\alpha -1\right|\right\}}{2{\left|\alpha \right|}^2}∥{\left|t\right|}^{2r}+{\left|s\right|}^{2r}∥{\omega }_A^r\left(s^{*}t\right).\hfill \end{array}$$

Now, by taking supremum over all $x\in E$ and $\phi \in S\left(A\right)$ with $\phi \left({\left|x\right|}^2\right)=1$,

$$\begin{array}{cc}\hfill & {\omega }_A^{2r}\left(s^{*}t\right)\hfill \\ \hfill & \le \frac{max\{1,{\left|\alpha -1\right|}^2\}}{2({\left|\alpha \right|}^2-g\left(\beta \right))}∥{\left|t\right|}^{4r}+{\left|s\right|}^{4r}∥+\frac{f\left(\beta \right)+2max\left\{1,\left|\alpha -1\right|\right\}}{2({\left|\alpha \right|}^2-g\left(\beta \right))}∥{\left|t\right|}^{2r}+{\left|s\right|}^{2r}∥{\omega }_A^r\left(s^{*}t\right).\hfill \end{array}$$

□

Remark 8.

Let $\alpha =2$ in Theorem 4. Then, we observe that

$$\begin{array}{cc}\hfill & {\omega }_A^{2r}\left(s^{*}t\right)\le \frac{1}{2(4-g(\beta \left)\right)}∥{\left|t\right|}^{4r}+{\left|s\right|}^{4r}∥+\frac{f\left(\beta \right)+2}{2(4-g(\beta \left)\right)}∥{\left|t\right|}^{2r}+{\left|s\right|}^{2r}∥{\omega }_A^r\left(s^{*}t\right).\hfill \end{array}$$

(13)

Moreover,

$$\begin{array}{cc}\hfill & {\omega }_A^{2r}\left(s^{*}t\right)\le \frac{1}{2(4-g(\beta \left)\right)}∥{\left|t\right|}^{4r}+{\left|s\right|}^{4r}∥+\frac{f\left(\beta \right)+2}{2(4-g(\beta \left)\right)}∥{\left|t\right|}^{2r}+{\left|s\right|}^{2r}∥{\omega }_A^r\left(s^{*}t\right)\hfill \\ \hfill & \left(\mathit{by}\mathit{inequality}\right(7\left)\right)\hfill \\ \hfill & \le \frac{1}{2(4-g(\beta \left)\right)}∥{\left|t\right|}^{4r}+{\left|s\right|}^{4r}∥+\frac{f\left(\beta \right)+2}{4(4-g(\beta \left)\right)}{∥{\left|t\right|}^{2r}+{\left|s\right|}^{2r}∥}^2\hfill \\ \hfill & \left(\mathit{by}\mathit{Lemma}3\right)\hfill \\ \hfill & \le \frac{1}{2(4-g(\beta \left)\right)}∥{\left|t\right|}^{4r}+{\left|s\right|}^{4r}∥+\frac{f\left(\beta \right)+2}{2(4-g(\beta \left)\right)}∥{\left|t\right|}^{4r}+{\left|s\right|}^{4r}∥\hfill \\ \hfill & =\frac{1}{2}∥{\left|t\right|}^{4r}+{\left|s\right|}^{4r}∥,\hfill \end{array}$$

which shows that inequality (13) refines inequality (7), namely

$$\begin{array}{c}\hfill {\omega }_A^{2r}\left(s^{*}t\right)\le \frac{1}{2}∥{\left|t\right|}^{4r}+{\left|s\right|}^{4r}∥,r\ge 1.\end{array}$$