Hölder-Type Inequalities for Power Series of Operators in Hilbert Spaces

Abstract

Consider the power series with complex coefficients $h\left(z\right)={\sum }_{k=0}^{\infty }{a}_k{z}^k$ and its modified version $h_a\left(z\right)={\sum }_{k=0}^{\infty }\left|a_k\right|z^k$. In this article, we explore the application of certain Hölder-type inequalities for deriving various inequalities for operators acting on the aforementioned power series. We establish these inequalities under the assumption of the convergence of $h\left(z\right)$ on the open disk $D(0,\rho )$, where $\rho$ denotes the radius of convergence. Additionally, we investigate the norm and numerical radius inequalities associated with these concepts.

1. Introduction and Preliminary

In mathematics, inequalities are fundamental tools for comparing and analyzing mathematical objects. This article focuses on a specific type of inequality called Hölder-type inequalities, which are applied to power series of operators in Hilbert spaces. This topic is important in the fields of operator theory and functional analysis. Our goal is to enhance the theoretical foundations of mathematical inequalities and contribute to the overall understanding of this subject within the mathematical community. Our research represents a significant advancement in this area, providing new insights and tools for mathematicians working in these fields. Inequalities are essential for establishing the properties of operators and investigating the convergence and behavior of power series. For further reading on mathematical inequalities, interested readers can consult recent papers and the references therein [1,2,3,4,5,6,7,8,9].

Consider the power series $h\left(z\right)={\sum }_{k=0}^{\infty }{a}_k{z}^k$, where $a_k$ represents complex numbers and z denotes a complex variable. Let us assume that the convergence of $h\left(z\right)$ occurs within a specific region, known as the open disk $D(0,\rho )$. This region comprises all complex numbers z with a distance less than $\rho$ from the origin. If $\rho$ is infinite, it signifies the convergence of the power series for all complex numbers.

Associated with the power series $h\left(z\right)={\sum }_{k=0}^{\infty }{a}_k{z}^k$ is another series, denoted as $h_a\left(z\right)={\sum }_{k=0}^{\infty }\left|a_k\right|z^k$. In this series, the coefficients are obtained by taking the absolute values of the coefficients in the original series $h\left(z\right)$. Both $h\left(z\right)$ and $h_a\left(z\right)$ share the same radius of convergence. One noteworthy case is when all coefficients $a_k$ are non-negative, meaning $a_k\ge 0$ for all k. In this situation, the series $h_a\left(z\right)$ is equal to $h\left(z\right)$. Power series of operators are fundamental in functional analysis and operator theory, offering a systematic way to express and investigate operators. By using power series, one can explore operator properties and behavior in a structured manner. Readers interested in a deeper understanding of this topic can refer to references such as [10,11,12,13], which provide comprehensive insights into the power series of operators and their applications.

To illustrate the concepts mentioned earlier, consider some natural examples of power series:

$$\begin{array}{cc}\hfill h\left(z\right)& =\sum _{n=1}^{\infty }\frac{{(-1)}^n}{n}{z}^n=ln\left(\frac{1}{1+z}\right),z\in D(0,1);\hfill \\ \hfill h\left(z\right)& =\sum _{n=0}^{\infty }\frac{{(-1)}^n}{\left(2n\right)!}{z}^{2n}=cosz,z\in \mathbb{C};\hfill \\ \hfill h\left(z\right)& =\sum _{n=0}^{\infty }{(-1)}^n{z}^n=\frac{1}{1+z},z\in D(0,1)\hfill \end{array}$$

then, corresponding functions with absolute values of coefficients are then provided by:

$$\begin{array}{cc}\hfill h_a\left(z\right)& =\sum _{n=1}^{\infty }\frac{1}{n}{z}^n=ln\left(\frac{1}{1-z}\right),z\in D(0,1);\hfill \\ \hfill h_a\left(z\right)& =\sum _{n=0}^{\infty }\frac{1}{\left(2n\right)!}{z}^{2n}=coshz,z\in \mathbb{C};\hfill \\ \hfill h_a\left(z\right)& =\sum _{n=0}^{\infty }{z}^n=\frac{1}{1-z},z\in D(0,1).\hfill \end{array}$$

Other notable examples of functions expressed as power series with nonnegative coefficients include:

$$\begin{array}{cc}\hfill exp\left(z\right)& =\sum _{n=0}^{\infty }\frac{1}{n!}{z}^n,z\in \mathbb{C};\hfill \\ \hfill \frac{1}{2}ln\left(\frac{1+z}{1-z}\right)& =\sum _{n=1}^{\infty }\frac{1}{2n-1}{z}^{2n-1},z\in D(0,1).\hfill \end{array}$$

Before delving into our exploration, it is crucial to revisit some fundamental definitions and concepts. Consider $\mathcal{B}\left(\mathcal{H}\right)$, the $C^{*}$-algebra comprising all bounded linear operators on a complex Hilbert space $\mathcal{H}$. Let $T\in \mathcal{B}\left(\mathcal{H}\right)$. The operator norm of T, denoted by $\parallel T\parallel$, is defined as the supremum of $\parallel Tx\parallel$ over all unit vectors $\parallel x\parallel =1$, expressed as $\parallel T\parallel =\underset{\parallel x\parallel =1}{sup}\parallel Tx\parallel$. In this context, for x in $\mathcal{H}$, the quantity $\parallel x\parallel$ is defined as the square root of the inner product $⟨x,x⟩$, where $⟨·,·⟩$ symbolizes the inner product on $\mathcal{H}$. Alternatively, the operator norm $\parallel ·\parallel$ can be defined as $\parallel T\parallel =\underset{\parallel x\parallel =\parallel y\parallel =1}{sup}\left|⟨Tx,y⟩\right|$. By setting $y=x$ in this definition, a smaller quantity emerges known as the numerical radius, denoted by $\omega \left(T\right)$. Thus, for $T\in \mathcal{B}\left(\mathcal{H}\right)$, the numerical radius of T is the scalar value $\omega \left(T\right)=\underset{\parallel x\parallel =1}{sup}\left|⟨Tx,x⟩\right|$. Importantly, $\omega (·)$ also defines a norm on $\mathcal{B}\left(\mathcal{H}\right)$. Nevertheless, noteworthy distinctions exist between the norm properties of $\omega (·)$ and $\parallel ·\parallel$. Specifically, the numerical radius lacks sub-multiplicativity and unitary invariance, in contrast with the operator norm.

Even though understanding $\omega (·)$ might seem simpler than $\parallel ·\parallel$, determining the numerical radius $\omega (·)$ is actually more challenging. As a result, there has been significant interest in the research community in estimating the values of $\omega (·)$ in terms of the operator norm $\parallel ·\parallel$. This is often achieved by establishing sharp upper and lower bounds. In this context, an important relationship, as discussed in (Theorem 1.3-1 [14]), states that for every $T\in \mathcal{B}\left(\mathcal{H}\right)$, we have

$$\omega \left(T\right)\le \parallel T\parallel \le 2\omega \left(T\right)$$

(1)

This connection shows that the two norms, $\omega (·)$ and $\parallel ·\parallel$, are related. However, it is crucial to understand that there might be a significant difference between the values on the left and right sides of (1). Consequently, researchers have dedicated considerable efforts to finding better bounds for more accurate approximations and a deeper understanding of these relationships. For more information on norm and numerical radius inequalities, readers are encouraged to consult the following references [15,16,17,18,19,20,21,22,23,24,25,26] and the additional references cited therein.

The paper is structured as follows. In Section 2, our main focus is on establishing various vector inequalities for operators. We delve into the summation of the power series of operators in Hilbert spaces and their modified versions. We also provide several generalizations of a Kato-type inequality for Hölder weighted sums of operators, as established in [27]. Among other results, we demonstrate that if the power series with complex coefficients $h\left(\lambda \right):={\sum }_{k=0}^{\infty }{a}_k{\lambda }^k$ is convergent on $D(0,\rho )$ and $X_i,$$U_i,$$V_i\in \mathcal{B}\left(\mathcal{H}\right)$ with $∥X_i∥<\rho ,$$i\in \left\{1,\dots ,n\right\}$, then, for non-negative weights $p_i\ge 0$ with ${\sum }_{i=1}^n{p}_i>0$ (meaning that not all of them are zero), it holds that:

$$\begin{array}{cc}\hfill & {\left|⟨\sum _{i=1}^n{p}_i{V}_i^{*}{X}_{i}h\left(X_i\right)U_{i}x,y⟩\right|}^2\hfill \\ \hfill & \le {∥x∥}^{\frac{2}{q}}{∥y∥}^{\frac{2}{p}}{⟨\sum _{i=1}^n{p}_i{h}_a^p\left(∥X_i∥\right){\left|{\left|X_i\right|}^{\alpha }{U}_i\right|}^{2p}x,x⟩}^{\frac{1}{p}}{⟨\sum _{i=1}^n{p}_i{h}_a^q\left(∥X_i∥\right){\left|{\left|X_i^{*}\right|}^{1-\alpha }{V}_i\right|}^{2q}y,y⟩}^{\frac{1}{q}}.\hfill \end{array}$$

for all $x,$$y\in \mathcal{H}$, $\alpha \in \left[0,1\right]$ and $p,q>1$ such that $\frac{1}{p}+\frac{1}{q}=1$.

If the power series h reduces to the constant $1,$ then we obtain the usual Hölder’s-type vector inequality for weighted sums

$$\begin{array}{cc}\hfill & {\left|⟨\sum _{i=1}^n{p}_i{V}_i^{*}{X}_i{U}_{i}x,y⟩\right|}^2\hfill \\ \hfill & \le {∥x∥}^{\frac{2}{q}}{∥y∥}^{\frac{2}{p}}{⟨\sum _{i=1}^n{p}_i{\left|{\left|X_i\right|}^{\alpha }{U}_i\right|}^{2p}x,x⟩}^{\frac{1}{p}}{⟨\sum _{i=1}^n{p}_i{\left|{\left|X_i^{*}\right|}^{1-\alpha }{V}_i\right|}^{2q}y,y⟩}^{\frac{1}{q}}.\hfill \end{array}$$

When $V_i=U_i=I$ for all $i\in \left\{1,\dots ,n\right\},$ we obtain the one sequence vector inequality for weighted sums

$$\begin{array}{cc}\hfill & {\left|⟨\sum _{i=1}^n{p}_i{X}_{i}x,y⟩\right|}^2\hfill \\ \hfill & \le {∥x∥}^{\frac{2}{q}}{∥y∥}^{\frac{2}{p}}{⟨\sum _{i=1}^n{p}_i{\left|X_i\right|}^{2\alpha p}x,x⟩}^{\frac{1}{p}}{⟨\sum _{i=1}^n{p}_i{\left|X_i^{*}\right|}^{2\left(1-\alpha \right)q}y,y⟩}^{\frac{1}{q}}.\hfill \end{array}$$

(2)

Moreover, for $n=2$ and $p_1=p_2=1$, we derive from (2) the following Hölder type vector inequality for the sum of two operators

$$\begin{array}{cc}\hfill & {\left|⟨\left(A+B\right)x,y⟩\right|}^2\hfill \\ \hfill & \le {∥x∥}^{\frac{2}{q}}{∥y∥}^{\frac{2}{p}}{⟨\left({\left|A\right|}^{2\alpha p}+{\left|B\right|}^{2\alpha p}\right)x,x⟩}^{\frac{1}{p}}{⟨\left({\left|A^{*}\right|}^{2\left(1-\alpha \right)q}+{\left|B^{*}\right|}^{2\left(1-\alpha \right)q}\right)y,y⟩}^{\frac{1}{q}}\hfill \end{array}$$

for $A,$$B\in \mathcal{B}\left(\mathcal{H}\right),$$x,$$y\in \mathcal{H}$, $\alpha \in \left[0,1\right]$ and $p,q>1$ such that $\frac{1}{p}+\frac{1}{q}=1$.

In Section 3, we discuss a range of inequalities related to the norm and numerical radius. As an example, we highlight the following result: if $p,q>1$ such that $\frac{1}{p}+\frac{1}{q}=1$ and $s\ge max\left\{p,q\right\}>1,$ then

$$\begin{array}{cc}\hfill & {\omega }^{2s}\left(\sum _{i=1}^n{p}_i{V}_i^{*}{X}_{i}h\left(X_i\right)U_i\right)\hfill \\ \hfill & \le \frac{1}{2}{∥\sum _{i=1}^n{p}_i{h}_a^p\left(∥X_i∥\right){\left|{\left|X_i\right|}^{\alpha }{U}_i\right|}^{2p}∥}^{\frac{s}{p}}{∥\sum _{i=1}^n{p}_i{h}_a^q\left(∥X_i∥\right){\left|{\left|X_i^{*}\right|}^{1-\alpha }{V}_i\right|}^{2q}∥}^{\frac{s}{q}}\hfill \\ \hfill & +\frac{1}{2}\omega \left[{\left(\sum _{i=1}^n{p}_i{h}_a^q\left(∥X_i∥\right){\left|{\left|X_i^{*}\right|}^{1-\alpha }{V}_i\right|}^{2q}\right)}^{\frac{s}{q}}{\left(\sum _{i=1}^n{p}_i{h}_a^p\left(∥X_i∥\right){\left|{\left|X_i\right|}^{\alpha }{U}_i\right|}^{2p}\right)}^{\frac{s}{p}}\right]\hfill \end{array}$$

provided that the power series with complex coefficients $h\left(\lambda \right):={\sum }_{k=0}^{\infty }{a}_k{\lambda }^k$ is convergent on $D(0,\rho )$, $X_i,$$U_i,$$V_i\in \mathcal{B}\left(\mathcal{H}\right)$ with $∥X_i∥<\rho ,$$i\in \left\{1,\dots ,n\right\}$, $\alpha \in \left[0,1\right]$ and $p_i\ge 0$ with ${\sum }_{i=1}^n{p}_i>0.$

Here, if $h\equiv 1,$ then the above result becomes the norm and numerical radius inequality for weighted sums:

$$\begin{array}{cc}\hfill & {\omega }^{2s}\left(\sum _{i=1}^n{p}_i{V}_i^{*}{X}_i{U}_i\right)\hfill \\ \hfill & \le \frac{1}{2}{∥\sum _{i=1}^n{p}_i{\left|{\left|X_i\right|}^{\alpha }{U}_i\right|}^{2p}∥}^{\frac{s}{p}}{∥\sum _{i=1}^n{p}_i{\left|{\left|X_i^{*}\right|}^{1-\alpha }{V}_i\right|}^{2q}∥}^{\frac{s}{q}}\hfill \\ \hfill & +\frac{1}{2}\omega \left[{\left(\sum _{i=1}^n{p}_i{\left|{\left|X_i^{*}\right|}^{1-\alpha }{V}_i\right|}^{2q}\right)}^{\frac{s}{q}}{\left(\sum _{i=1}^n{p}_i{\left|{\left|X_i\right|}^{\alpha }{U}_i\right|}^{2p}\right)}^{\frac{s}{p}}\right].\hfill \end{array}$$

In particular, $V_i=U_i=I$ for all $i\in \left\{1,\dots ,n\right\},$ we obtain the one sequence numerical radius inequality for weighted sums

$$\begin{array}{cc}\hfill & {\omega }^{2s}\left(\sum _{i=1}^n{p}_i{X}_i\right)\hfill \\ \hfill & \le \frac{1}{2}{∥\sum _{i=1}^n{p}_i{\left|X_i\right|}^{2\alpha p}∥}^{\frac{s}{p}}{∥\sum _{i=1}^n{p}_i{\left|X_i^{*}\right|}^{2\left(1-\alpha \right)q}∥}^{\frac{s}{q}}\hfill \\ \hfill & +\frac{1}{2}\omega \left[{\left(\sum _{i=1}^n{p}_i{\left|X_i^{*}\right|}^{2\left(1-\alpha \right)q}\right)}^{\frac{s}{q}}{\left(\sum _{i=1}^n{p}_i{\left|X_i\right|}^{2\left(\alpha \right)p}\right)}^{\frac{s}{p}}\right].\hfill \end{array}$$

(3)

Moreover, for $n=2$ and $p_1=p_2=1,$, we derive from (3) the following Hölder-type numerical radius inequality for the sum of two operators

$$\begin{array}{cc}\hfill {\omega }^{2s}\left(A+B\right)& \le \frac{1}{2}{∥{\left|A\right|}^{2\alpha p}+{\left|B\right|}^{2\alpha p}∥}^{\frac{s}{p}}{∥{\left|A^{*}\right|}^{2\left(1-\alpha \right)q}+{\left|B^{*}\right|}^{2\left(1-\alpha \right)q}∥}^{\frac{s}{q}}\hfill \\ \hfill & +\frac{1}{2}\omega \left[{\left({\left|A^{*}\right|}^{2\left(1-\alpha \right)q}+{\left|B^{*}\right|}^{2\left(1-\alpha \right)q}\right)}^{\frac{s}{q}}{\left({\left|A\right|}^{2\alpha p}+{\left|B\right|}^{2\alpha p}\right)}^{\frac{s}{p}}\right]\hfill \end{array}$$

(4)

for $A,$$B\in \mathcal{B}\left(\mathcal{H}\right)$, $\alpha \in \left[0,1\right]$ and $p,q>1$ such that $\frac{1}{p}+\frac{1}{q}=1$ and $s\ge max\left\{p,q\right\}>1.$

For $p=q=2$, we obtain from (4) that

$$\begin{array}{cc}\hfill {\omega }^{2s}\left(A+B\right)& \le \frac{1}{2}{∥{\left|A\right|}^{4\alpha }+{\left|B\right|}^{4\alpha }∥}^{\frac{s}{2}}{∥{\left|A^{*}\right|}^{4\left(1-\alpha \right)}+{\left|B^{*}\right|}^{4\left(1-\alpha \right)}∥}^{\frac{s}{2}}\hfill \\ \hfill & +\frac{1}{2}\omega \left[{\left({\left|A^{*}\right|}^{4\left(1-\alpha \right)}+{\left|B^{*}\right|}^{4\left(1-\alpha \right)}\right)}^{\frac{s}{2}}{\left({\left|A\right|}^{4\alpha }+{\left|B\right|}^{4\alpha }\right)}^{\frac{s}{2}}\right]\hfill \end{array}$$

for $\alpha \in \left[0,1\right]$ and $s\ge 2,$ which for $\alpha =1/2$ provides

$$\begin{array}{cc}\hfill {\omega }^{2s}\left(A+B\right)& \le \frac{1}{2}{∥{\left|A\right|}^2+{\left|B\right|}^2∥}^{\frac{s}{2}}{∥{\left|A^{*}\right|}^2+{\left|B^{*}\right|}^2∥}^{\frac{s}{2}}\hfill \\ \hfill & +\frac{1}{2}\omega \left[{\left({\left|A^{*}\right|}^2+{\left|B^{*}\right|}^2\right)}^{\frac{s}{2}}{\left({\left|A\right|}^2+{\left|B\right|}^2\right)}^{\frac{s}{2}}\right]\hfill \end{array}$$

for $s\ge 2.$ Finally, if we take $s=2$, we also receive

$$\begin{array}{cc}\hfill {\omega }^4\left(A+B\right)& \le \frac{1}{2}∥{\left|A\right|}^2+{\left|B\right|}^2∥∥{\left|A^{*}\right|}^2+{\left|B^{*}\right|}^2∥\hfill \\ \hfill & +\frac{1}{2}\omega \left[\left({\left|A^{*}\right|}^2+{\left|B^{*}\right|}^2\right)\left({\left|A\right|}^2+{\left|B\right|}^2\right)\right]\hfill \end{array}$$

(5)

for $A,$$B\in \mathcal{B}\left(\mathcal{H}\right).$

We observe that the above inequalities (3)–(5) provide some complementary results for the numerical radius inequalities for the finite sums obtained recently in [28,29]. As far as we can see, the upper bounds for the numerical radius obtained in this paper cannot be compared with any bound from the papers [28,29].

To illustrate our theoretical results, we provide various examples of fundamental operator functions such as the resolvent, the logarithm function, operator exponential, and operator trigonometric and hyperbolic functions.

2. Vector Inequalities Involving Power Series of Operators

In order to establish our initial result in this section, it is necessary to invoke the following vector inequality for positive operators $A\ge 0$, as derived by McCarthy in [30]:

$${⟨Ax,x⟩}^p\le ⟨A^{p}x,x⟩,p\ge 1,$$

where $x\in \mathcal{H}$ and $\parallel x\parallel =1$. Additionally, we utilize Buzano’s inequality [31]:

$$\left|⟨x,e⟩⟨e,y⟩\right|\le \frac{1}{2}\left[∥x∥∥y∥+\left|⟨x,y⟩\right|\right],$$

(6)

which holds for any $x,y,e\in \mathcal{H}$ with $∥e∥=1$.

Substituting x with $\frac{y}{∥y∥}$, where $y\ne 0$, into (6), we obtain

$${⟨A\frac{y}{∥y∥},\frac{y}{∥y∥}⟩}^p\le ⟨A^p\frac{y}{∥y∥},\frac{y}{∥y∥}⟩,p\ge 1,$$

which can be expressed as

$${⟨Ay,y⟩}^p\le {∥y∥}^{2(p-1)}⟨A^{p}y,y⟩,p\ge 1,$$

(7)

valid for all $y\in \mathcal{H}$.

In this section, we consider the power series with complex coefficients $h\left(\lambda \right):={\sum }_{k=0}^{\infty }{a}_k{\lambda }^k$ with $a_k\in \mathbb{C}$ for $k\in \mathbb{N}:=\{0,1,\dots \}$. We assume that this power series is convergent on the open disk $D(0,\rho ):=\{z\in \mathbb{C};|z|<\rho \}$. If $\rho =\infty$, then $D(0,\rho )=\mathbb{C}$. We define $h_a\left(\lambda \right):={\sum }_{k=0}^{\infty }\left|a_k\right|{\lambda }^k$, which has the same radius of convergence $\rho$.

To prove our first result, we need to establish the following lemma concerning a generalized version of Schwarz vector inequlity concerning the natural powers of an operator T from $\mathcal{B}\left(\mathcal{H}\right).$

Lemma 1.  

Let $T,$$U,$$V\in \mathcal{B}\left(\mathcal{H}\right)$ and $\alpha \in \left[0,1\right].$ Then, for $n\ge 1$ we have

$${\left|⟨V^{*}{T}^{n}Ux,y⟩\right|}^2\le {∥T∥}^{2n-2}⟨{\left|{\left|T\right|}^{\alpha }U\right|}^{2}x,x⟩⟨{\left|{\left|T^{*}\right|}^{1-\alpha }V\right|}^{2}y,y⟩$$

(8)

for all $x,$$y\in \mathcal{H}.$

Proof. 

Firstly, observe that Kittaneh derived the following Schwarz-type inequality for powers of operators in [32]. This inequality asserts that for every $T\in \mathcal{B}\left(\mathcal{H}\right)$, and for all $x,y\in \mathcal{H}$, $\alpha \in [0,1]$ and $n\ge 1$, the following holds:

$${\left|⟨T^{n}x,y⟩\right|}^2\le {∥T∥}^{2n-2}⟨{\left|T\right|}^{2\alpha }x,x⟩⟨{\left|T^{*}\right|}^{2\left(1-\alpha \right)}y,y⟩.$$

(9)

Now, let $x,y\in \mathcal{H}$. If we replace x by $Ux$ and y by $Vy$ in (9), then we get

$${\left|⟨V^{*}{T}^{n}Ux,y⟩\right|}^2\le {∥T∥}^{2n-2}⟨U^{*}{\left|T\right|}^{2\alpha }Ux,x⟩⟨V^{*}{\left|T^{*}\right|}^{2\left(1-\alpha \right)}Vy,y⟩.$$

(10)

Observe that $U^{*}{\left|T\right|}^{2\alpha }U={\left|{\left|T\right|}^{\alpha }U\right|}^2$ and $V^{*}{\left|T^{*}\right|}^{2\left(1-\alpha \right)}V={\left|{\left|T^{*}\right|}^{1-\alpha }V\right|}^2$, then by (10), we get (8). □

Now, we are able to establish the following result.

Proposition 1.  

Assume that the power series with complex coefficients $h\left(\lambda \right):={\sum }_{k=0}^{\infty }{a}_k{\lambda }^k$ is convergent on $D(0,\rho )$ and $T,$$U,$$V\in \mathcal{B}\left(\mathcal{H}\right)$ with $∥T∥<\rho ,$ then

$${\left|⟨V^{*}Th\left(T\right)Ux,y⟩\right|}^2\le h_a^2\left(∥T∥\right)⟨{\left|{\left|T\right|}^{\alpha }U\right|}^{2}x,x⟩⟨{\left|{\left|T^{*}\right|}^{1-\alpha }V\right|}^{2}y,y⟩$$

(11)

for $\alpha \in \left[0,1\right]$ and $x,$$y\in \mathcal{H}.$ In particular,

$${\left|⟨V^{*}Th\left(T\right)Ux,y⟩\right|}^2\le h_a^2\left(∥T∥\right)⟨{\left|{\left|T\right|}^{\frac{1}{2}}U\right|}^{2}x,x⟩⟨{\left|{\left|T^{*}\right|}^{\frac{1}{2}}V\right|}^{2}y,y⟩$$

(12)

for $x,$$y\in \mathcal{H}.$

Proof. 

If we take $n=k+1,$$k\in \mathbb{N}$ in (8) and take the square root, then we obtain

$$\left|⟨V^{*}T{T}^{k}Ux,y⟩\right|\le {∥T∥}^k{⟨{\left|{\left|T\right|}^{\alpha }U\right|}^{2}x,x⟩}^{\frac{1}{2}}{⟨{\left|{\left|T^{*}\right|}^{1-\alpha }V\right|}^{2}y,y⟩}^{\frac{1}{2}}$$

for all $x,$$y\in \mathcal{H}.$

Furthermore, if we multiply by $\left|a_k\right|\ge 0,$ where $k\in \left\{0,1,\dots \right\}$, and sum over k from 0 to m, then we obtain

$$\begin{array}{cc}\hfill \left|⟨V^{*}T\sum _{k=0}^m{a}_k{T}^{k}Ux,y⟩\right|& =\left|\sum _{k=0}^m{a}_k⟨V^{*}T{T}^{k}Ux,y⟩\right|\hfill \\ \hfill & \le \sum _{k=0}^m\left|a_k\right|\left|⟨V^{*}T{T}^{k}Ux,y⟩\right|\hfill \\ \hfill & \le \sum _{k=0}^m\left|a_k\right|{∥T∥}^k{⟨{\left|{\left|T\right|}^{\alpha }U\right|}^{2}x,x⟩}^{\frac{1}{2}}{⟨{\left|{\left|T^{*}\right|}^{1-\alpha }V\right|}^{2}y,y⟩}^{\frac{1}{2}}\hfill \end{array}$$

(13)

for all $x,$$y\in \mathcal{H}.$

As $∥T∥<\rho ,$, then series ${\sum }_{k=0}^{\infty }{a}_k{T}^k$ and ${\sum }_{k=0}^{\infty }\left|a_k\right|{∥T∥}^k$ are convergent and

$$\sum _{k=0}^{\infty }{a}_k{T}^k=h\left(T\right)\mathrm{and}\sum _{k=0}^{\infty }\left|a_k\right|{∥T∥}^k=h_a\left(∥T∥\right).$$

By taking the limit over $m\to \infty$ in (13), we deduce the desired result (11). □

The following two remarks are crucial as they reveal significant consequences derived from the preceding proposition. These remarks provide valuable insights into the broader implications of the results obtained, further enhancing our understanding of the theoretical framework.

Remark 1.  

(1) If we take $h\equiv 1,$ in (11) and (12), then we obtain the following Kato-type inequality [32]

$${\left|⟨V^{*}TUx,y⟩\right|}^2\le ⟨{\left|{\left|T\right|}^{\alpha }U\right|}^{2}x,x⟩⟨{\left|{\left|T^{*}\right|}^{1-\alpha }V\right|}^{2}y,y⟩$$

for $\alpha \in \left[0,1\right]$ and $x,$$y\in \mathcal{H}.$ In particular,

$${\left|⟨V^{*}TUx,y⟩\right|}^2\le ⟨{\left|{\left|T\right|}^{\frac{1}{2}}U\right|}^{2}x,x⟩⟨{\left|{\left|T^{*}\right|}^{\frac{1}{2}}V\right|}^{2}y,y⟩.$$

(2) If we take $U=V=I$ in (11) and (12), then we obtain for $\alpha \in \left[0,1\right]$ that

$${\left|⟨Th\left(T\right)x,y⟩\right|}^2\le h_a^2\left(∥T∥\right)⟨{\left|T\right|}^{2\alpha }x,x⟩⟨{\left|T^{*}\right|}^{2\left(1-\alpha \right)}y,y⟩$$

(14)

and

$${\left|⟨Th\left(T\right)x,y⟩\right|}^2\le h_a^2\left(∥T∥\right)⟨\left|T\right|x,x⟩⟨\left|T^{*}\right|y,y⟩$$

for $x,$$y\in \mathcal{H}.$

The case $h\equiv 1$ provides the original Kato’s inequality [32]; therefore, (14) can be seen as a functional extension of Kato’s celebrated result in the case when the function is provided by a power series.

(3) If T is invertible and we take $V=I$, $U=T^{-1}$ in (11), then we obtain

$${\left|⟨h\left(T\right)x,y⟩\right|}^2\le h_a^2\left(∥T∥\right)⟨{\left|{\left|T\right|}^{\alpha }{T}^{-1}\right|}^{2}x,x⟩⟨{\left|T^{*}\right|}^{2\left(1-\alpha \right)}y,y⟩$$

for $\alpha \in \left[0,1\right]$ and $x,$$y\in \mathcal{H}.$ In particular,

$${\left|⟨h\left(T\right)x,y⟩\right|}^2\le h_a^2\left(∥T∥\right)⟨{\left|{\left|T\right|}^{\frac{1}{2}}{T}^{-1}\right|}^{2}x,x⟩⟨\left|T^{*}\right|y,y⟩$$

for $x,$$y\in \mathcal{H}.$

(4) If $T>0$ and we take $U=T^{-\beta },$$V=T^{-1+\beta },$$\beta \in \left[0,1\right],$ then we derive

$${\left|⟨h\left(T\right)x,y⟩\right|}^2\le h_a^2\left(∥T∥\right)⟨T^{2\left(\alpha -\beta \right)}x,x⟩⟨T^{2\left(\beta -\alpha \right)}y,y⟩$$

for $\alpha \in \left[0,1\right]$ and $x,$$y\in \mathcal{H}.$

To further clarify the previous result, we provide helpful examples in the following remarks. This will aid in understanding the concepts and implications presented earlier for some fundamental operator functions.

Remark 2.  

If $T,$$U,$$V\in \mathcal{B}\left(\mathcal{H}\right)$ with $∥T∥<1,$ then for $\alpha \in \left[0,1\right]$ we have the following inequalities involving the resolvent functions ${\left(I\pm T\right)}^{-1}$

$$\begin{array}{cc}\hfill {\left|⟨V^{*}T{\left(I\pm T\right)}^{-1}Ux,y⟩\right|}^2& \le {\left(1-∥T∥\right)}^{-2}⟨{\left|{\left|T\right|}^{\alpha }U\right|}^{2}x,x⟩⟨{\left|{\left|T^{*}\right|}^{1-\alpha }V\right|}^{2}y,y⟩\hfill \end{array}$$

(15)

and inequalities involving the operator entropy functions $Tln\left(I\pm T\right)$

$$\begin{array}{cc}\hfill {\left|⟨V^{*}Tln\left(I\pm T\right)Ux,y⟩\right|}^2& \le {\left[ln\left(1-∥T∥\right)\right]}^2⟨{\left|{\left|T\right|}^{\alpha }U\right|}^{2}x,x⟩⟨{\left|{\left|T^{*}\right|}^{1-\alpha }V\right|}^{2}y,y⟩\hfill \end{array}$$

(16)

for all $x,$$y\in \mathcal{H}.$

Remark 3.  

For $\alpha =\frac{1}{2}$ in (15) and (16), we obtain

$${\left|⟨V^{*}T{\left(I\pm T\right)}^{-1}Ux,y⟩\right|}^2\le {\left(1-∥T∥\right)}^{-2}⟨U^{*}\left|T\right|Ux,x⟩⟨V^{*}\left|T^{*}\right|Vy,y⟩$$

and

$${\left|⟨V^{*}Tln\left(I\pm T\right)Ux,y⟩\right|}^2\le {\left[ln\left(1-∥T∥\right)\right]}^2⟨U^{*}\left|T\right|Ux,x⟩⟨V^{*}\left|T^{*}\right|Vy,y⟩$$

for all $x,$$y\in \mathcal{H}.$

Remark 4.  

If $T,$$U,$$V\in \mathcal{B}\left(\mathcal{H}\right)$ and $\alpha \in \left[0,1\right],$ then we have the following results connecting the operator trigonometric and hyperbolic functions can be stated as well

$${\left|⟨V^{*}Tsin\left(T\right)Ux,y⟩\right|}^2\le {\left[sinh\left(∥T∥\right)\right]}^2⟨{\left|{\left|T\right|}^{\alpha }U\right|}^{2}x,x⟩⟨{\left|{\left|T^{*}\right|}^{1-\alpha }V\right|}^{2}y,y⟩$$

(17)

and

$${\left|⟨V^{*}Tcos\left(T\right)Ux,y⟩\right|}^2\le {\left[cosh\left(∥T∥\right)\right]}^2⟨{\left|{\left|T\right|}^{\alpha }U\right|}^{2}x,x⟩⟨{\left|{\left|T^{*}\right|}^{1-\alpha }V\right|}^{2}y,y⟩$$

(18)

for all $x,$$y\in \mathcal{H}.$

Remark 5.  

For $\alpha =\frac{1}{2}$ in (17) and (18) we obtain

$${\left|⟨V^{*}Tsin\left(T\right)Ux,y⟩\right|}^2\le {\left[sinh\left(∥T∥\right)\right]}^2⟨U^{*}\left|T\right|Ux,x⟩⟨V^{*}\left|T^{*}\right|Vy,y⟩$$

and

$${\left|⟨V^{*}Tcos\left(T\right)Ux,y⟩\right|}^2\le {\left[cosh\left(∥T∥\right)\right]}^2⟨U^{*}\left|T\right|Ux,x⟩⟨V^{*}\left|T^{*}\right|Vy,y⟩$$

for all $x,$$y\in \mathcal{H}.$

Remark 6.  

Also, if $T,$$U,$$V\in \mathcal{B}\left(\mathcal{H}\right)$ and $\alpha \in \left[0,1\right],$ then we have the following results involving the operator exponential and the hyperbolic functions

$${\left|⟨V^{*}Texp\left(T\right)Ux,y⟩\right|}^2\le exp\left(2∥T∥\right)⟨{\left|{\left|T\right|}^{\alpha }U\right|}^{2}x,x⟩⟨{\left|{\left|T^{*}\right|}^{1-\alpha }V\right|}^{2}y,y⟩,$$

$${\left|⟨V^{*}Tsinh\left(T\right)Ux,y⟩\right|}^2\le {\left[sinh\left(∥T∥\right)\right]}^2⟨{\left|{\left|T\right|}^{\alpha }U\right|}^{2}x,x⟩⟨{\left|{\left|T^{*}\right|}^{1-\alpha }V\right|}^{2}y,y⟩$$

and

$${\left|⟨V^{*}Tcosh\left(T\right)Ux,y⟩\right|}^2\le {\left[cosh\left(∥T∥\right)\right]}^2⟨{\left|{\left|T\right|}^{\alpha }U\right|}^{2}x,x⟩⟨{\left|{\left|T^{*}\right|}^{1-\alpha }V\right|}^{2}y,y⟩$$

for all $x,$$y\in \mathcal{H}.$

Remark 7.  

For $\alpha =\frac{1}{2}$ in the last three equations, we obtain some simpler inequalities. However, we omit the details.

Our next result provides another important finding involving vector inequalities for a power series of operators. It reads as follows:

Theorem 1.  

Let $h\left(z\right):={\sum }_{k=0}^{\infty }{a}_k{z}^k$ be a convergent power series with complex coefficients on $D(0,\rho )$. Take $X_i$, $U_i$, $V_i\in \mathcal{L}\left(\mathbb{H}\right)$ with $∥X_i∥<\rho$ for $i\in \{1,\dots ,n\}$. Choose $p,q>1$ such that $\frac{1}{p}+\frac{1}{q}=1$. Then, for non-negative $p_i$ ($i=1$ to n) with ${\sum }_{i=1}^n{p}_i>0$, the following inequalities hold for all $x,y\in \mathbb{H}$ and $\alpha \in [0,1]$:

$$\begin{array}{cc}\hfill & {\left|⟨\sum _{i=1}^n{p}_i{V}_i^{*}{X}_{i}h\left(X_i\right)U_{i}x,y⟩\right|}^2\hfill \\ \hfill & \le \sum _{i=1}^n{p}_i{\left|⟨V_i^{*}{X}_{i}h\left(X_i\right)U_{i}x,y⟩\right|}^2\hfill \\ \hfill & \le {∥x∥}^{\frac{2}{q}}{∥y∥}^{\frac{2}{p}}{⟨\sum _{i=1}^n{p}_i{h}_a^p\left(∥X_i∥\right){\left|{\left|X_i\right|}^{\alpha }{U}_i\right|}^{2p}x,x⟩}^{\frac{1}{p}}{⟨\sum _{i=1}^n{p}_i{h}_a^q\left(∥X_i∥\right){\left|{\left|X_i^{*}\right|}^{1-\alpha }{V}_i\right|}^{2q}y,y⟩}^{\frac{1}{q}}.\hfill \end{array}$$

(19)

Proof. 

From (11) we have

$$\begin{array}{cc}\hfill {\left|⟨V_i^{*}{X}_{i}h\left(X_i\right)U_{i}x,y⟩\right|}^2& \le ⟨h_a\left(∥X_i∥\right){\left|{\left|X_i\right|}^{\alpha }{U}_i\right|}^{2}x,x⟩⟨h_a\left(∥X_i∥\right){\left|{\left|X_i^{*}\right|}^{1-\alpha }{V}_i\right|}^{2}y,y⟩\hfill \end{array}$$

(20)

for all $x,$$y\in \mathcal{H}$ and $i\in \left\{1,\dots ,n\right\}.$

If we multiply (20) by $p_i\ge 0,$$i\in \left\{1,\dots ,n\right\}$ and sum over i from 1 to $n,$ then we obtain

$$\begin{array}{cc}\hfill \sum _{i=1}^n{p}_i{\left|⟨V_i^{*}{X}_{i}h\left(X_i\right)U_{i}x,y⟩\right|}^2& \le \sum _{i=1}^n{p}_i⟨h_a\left(∥X_i∥\right){\left|{\left|X_i\right|}^{\alpha }{U}_i\right|}^{2}x,x⟩⟨h_a\left(∥X_i∥\right){\left|{\left|X_i^{*}\right|}^{1-\alpha }{V}_i\right|}^{2}y,y⟩\hfill \end{array}$$

for all $x,$$y\in \mathcal{H}.$

From the Cauchy–Buniakowsky-Schwarz weighted inequality we have

$$\begin{array}{cc}\hfill {\left|⟨\sum _{i=1}^n{p}_i{V}_i^{*}{X}_{i}h\left(X_i\right)U_{i}x,y⟩\right|}^2& ={\left|\sum _{i=1}^n{p}_i⟨V_i^{*}{X}_{i}h\left(X_i\right)U_{i}x,y⟩\right|}^2\hfill \\ \hfill & \le \sum _{i=1}^n{p}_i{\left|⟨V_i^{*}{X}_{i}h\left(X_i\right)U_{i}x,y⟩\right|}^2\hfill \end{array}$$

(21)

for all $x,$$y\in \mathcal{H}.$

From weighted Hölder’s inequality for $p,$$q>1$ with $\frac{1}{p}+\frac{1}{q}=1,$

$$\begin{array}{cc}\hfill & \sum _{i=1}^n{p}_i⟨h_a\left(∥X_i∥\right){\left|{\left|X_i\right|}^{\alpha }{U}_i\right|}^{2}x,x⟩⟨h_a\left(∥X_i∥\right){\left|{\left|X_i^{*}\right|}^{1-\alpha }{V}_i\right|}^{2}y,y⟩\hfill \\ \hfill & \le {\left(\sum _{i=1}^n{p}_i{⟨h_a\left(∥X_i∥\right){\left|{\left|X_i\right|}^{\alpha }{U}_i\right|}^{2}x,x⟩}^p\right)}^{\frac{1}{p}}{\left(\sum _{i=1}^n{p}_i{⟨h_a\left(∥X_i∥\right){\left|{\left|X_i^{*}\right|}^{1-\alpha }{V}_i\right|}^{2}y,y⟩}^q\right)}^{\frac{1}{q}}\hfill \end{array}$$

(22)

for all $x,$$y\in \mathcal{H}.$

From the McCarthy inequality (7) we have

$${⟨h_a\left(∥X_i∥\right){\left|{\left|X_i\right|}^{\alpha }{U}_i\right|}^{2}x,x⟩}^p\le {∥x∥}^{2\left(p-1\right)}{h}_a^p\left(∥X_i∥\right)⟨{\left|{\left|X_i\right|}^{\alpha }{U}_i\right|}^{2p}x,x⟩$$

and

$${⟨h_a\left(∥X_i∥\right){\left|{\left|X_i^{*}\right|}^{1-\alpha }{V}_i\right|}^{2}y,y⟩}^q\le {∥y∥}^{2\left(q-1\right)}{h}_a^q\left(∥X_i∥\right)⟨{\left|{\left|X_i^{*}\right|}^{1-\alpha }{V}_i\right|}^{2q}y,y⟩$$

for all $x,$$y\in \mathcal{H}.$

Therefore, from (22) we obtain

$$\begin{array}{cc}\hfill & \sum _{i=1}^n{p}_i⟨h_a\left(∥X_i∥\right){\left|{\left|X_i\right|}^{\alpha }{U}_i\right|}^{2}x,x⟩⟨h_a\left(∥X_i∥\right){\left|{\left|X_i^{*}\right|}^{1-\alpha }{V}_i\right|}^{2}y,y⟩\hfill \\ \hfill & \le {\left({∥x∥}^{2\left(p-1\right)}\sum _{i=1}^n{p}_i{h}_a^p\left(∥X_i∥\right)⟨{\left|{\left|X_i\right|}^{\alpha }{U}_i\right|}^{2p}x,x⟩\right)}^{\frac{1}{p}}\hfill \\ \hfill & \times {\left({∥y∥}^{2\left(q-1\right)}\sum _{i=1}^n{p}_i{h}_a^q\left(∥X_i∥\right)⟨{\left|{\left|X_i^{*}\right|}^{1-\alpha }{V}_i\right|}^{2q}y,y⟩\right)}^{\frac{1}{q}}\hfill \\ \hfill & ={∥x∥}^{2\left(1-\frac{1}{p}\right)}{\left(\sum _{i=1}^n{p}_i{h}_a^p\left(∥X_i∥\right)⟨{\left|{\left|X_i\right|}^{\alpha }{U}_i\right|}^{2p}x,x⟩\right)}^{\frac{1}{p}}\hfill \\ \hfill & \times {∥y∥}^{2\left(1-\frac{1}{q}\right)}{\left(\sum _{i=1}^n{p}_i{h}_a^q\left(∥X_i∥\right)⟨{\left|{\left|X_i^{*}\right|}^{1-\alpha }{V}_i\right|}^{2q}y,y⟩\right)}^{\frac{1}{q}}\hfill \\ \hfill & ={∥x∥}^{\frac{2}{q}}{∥y∥}^{\frac{2}{p}}{⟨\sum _{i=1}^n{p}_i{h}_a^p\left(∥X_i∥\right){\left|{\left|X_i\right|}^{\alpha }{U}_i\right|}^{2p}x,x⟩}^{\frac{1}{p}}{⟨\sum _{i=1}^n{p}_i{h}_a^q\left(∥X_i∥\right){\left|{\left|X_i^{*}\right|}^{1-\alpha }{V}_i\right|}^{2q}y,y⟩}^{\frac{1}{q}}.\hfill \end{array}$$

(23)

By making use of (21)–(23), we obtain (19). □

Remark 8.  

By letting $\alpha =\frac{1}{2}$ in Theorem 1, we deduce that

$$\begin{array}{cc}\hfill & {\left|⟨\sum _{i=1}^n{p}_i{V}_i^{*}{X}_{i}h\left(X_i\right)U_{i}x,y⟩\right|}^2\hfill \\ \hfill & \le \sum _{i=1}^n{p}_i{\left|⟨V_i^{*}{X}_{i}h\left(X_i\right)U_{i}x,y⟩\right|}^2\hfill \\ \hfill & \le {∥x∥}^{\frac{2}{q}}{∥y∥}^{\frac{2}{p}}{⟨\sum _{i=1}^n{p}_i{h}_a^p\left(∥X_i∥\right){\left|{\left|X_i\right|}^{\frac{1}{2}}{U}_i\right|}^{2p}x,x⟩}^{\frac{1}{p}}{⟨\sum _{i=1}^n{p}_i{h}_a^q\left(∥X_i∥\right){\left|{\left|X_i^{*}\right|}^{\frac{1}{2}}{V}_i\right|}^{2q}y,y⟩}^{\frac{1}{q}}\hfill \end{array}$$

for all $x,$$y\in \mathcal{H}.$

Corollary 1.  

With the assumptions of Theorem 1, we have

$$\begin{array}{cc}\hfill & {\left|⟨\sum _{i=1}^n{p}_i{V}_i^{*}{X}_{i}h\left(X_i\right)U_{i}x,y⟩\right|}^4\hfill \\ \hfill & \le {\left(\sum _{i=1}^n{p}_i{\left|⟨V_i^{*}{X}_{i}h\left(X_i\right)U_{i}x,y⟩\right|}^2\right)}^2\hfill \\ \hfill & \le {∥x∥}^2{∥y∥}^2⟨\sum _{i=1}^n{p}_i{h}_a^2\left(∥X_i∥\right){\left|{\left|X_i\right|}^{\alpha }{U}_i\right|}^{4}x,x⟩⟨\sum _{i=1}^n{p}_i{h}_a^2\left(∥X_i∥\right){\left|{\left|X_i^{*}\right|}^{1-\alpha }{V}_i\right|}^{4}y,y⟩\hfill \end{array}$$

for all $x,$$y\in \mathcal{H}$ and $\alpha \in \left[0,1\right].$

In particular,

$$\begin{array}{cc}\hfill & {\left|⟨\sum _{i=1}^n{p}_i{V}_i^{*}{X}_{i}h\left(X_i\right)U_{i}x,y⟩\right|}^4\hfill \\ \hfill & \le {\left(\sum _{i=1}^n{p}_i{\left|⟨V_i^{*}{X}_{i}h\left(X_i\right)U_{i}x,y⟩\right|}^2\right)}^2\hfill \\ \hfill & \le {∥x∥}^2{∥y∥}^2⟨\sum _{i=1}^n{p}_i{h}_a^2\left(∥X_i∥\right){\left|{\left|X_i\right|}^{\frac{1}{2}}{U}_i\right|}^{4}x,x⟩⟨\sum _{i=1}^n{p}_i{h}_a^2\left(∥X_i∥\right){\left|{\left|X_i^{*}\right|}^{\frac{1}{2}}{V}_i\right|}^{4}y,y⟩\hfill \end{array}$$

for all $x,$$y\in \mathcal{H}$

Remark 9.  

Since $h_a\left(·\right)$ is a increasing function on $\left(0,\rho \right),$ then

$$h_a\left(∥X_i∥\right)\le h_a\left(\underset{k=1,\dots ,n}{max}∥X_k∥\right)=\underset{k=1,\dots ,n}{max}{h}_a\left(∥X_k∥\right),$$

then by (19) we derive for all $\alpha \in \left[0,1\right],$$p,$$q>1$ with $\frac{1}{p}+\frac{1}{q}=1,$ that

$$\begin{array}{cc}\hfill & {\left|⟨\sum _{i=1}^n{p}_i{V}_i^{*}{X}_{i}h\left(X_i\right)U_{i}x,y⟩\right|}^2\hfill \\ \hfill & \le \sum _{i=1}^n{p}_i{\left|⟨V_i^{*}{X}_{i}h\left(X_i\right)U_{i}x,y⟩\right|}^2\hfill \\ \hfill & \le {∥x∥}^{\frac{2}{q}}{∥y∥}^{\frac{2}{p}}\underset{k=1,\dots ,n}{max}{h}_a\left(∥X_k∥\right){⟨\sum _{i=1}^n{p}_i{\left|{\left|X_i\right|}^{\alpha }{U}_i\right|}^{2p}x,x⟩}^{\frac{1}{p}}{⟨\sum _{i=1}^n{p}_i{\left|{\left|X_i^{*}\right|}^{1-\alpha }{V}_i\right|}^{2q}y,y⟩}^{\frac{1}{q}}\hfill \end{array}$$

for all $x,$$y\in \mathcal{H}$ and $\alpha \in \left[0,1\right].$

In particular, we have

$$\begin{array}{cc}\hfill & {\left|⟨\sum _{i=1}^n{p}_i{V}_i^{*}{X}_{i}h\left(X_i\right)U_{i}x,y⟩\right|}^2\hfill \\ \hfill & \le \sum _{i=1}^n{p}_i{\left|⟨V_i^{*}{X}_{i}h\left(X_i\right)U_{i}x,y⟩\right|}^2\hfill \\ \hfill & \le {∥x∥}^{\frac{2}{q}}{∥y∥}^{\frac{2}{p}}\underset{k=1,\dots ,n}{max}{h}_a\left(∥X_k∥\right){⟨\sum _{i=1}^n{p}_i{\left|{\left|X_i\right|}^{\frac{1}{2}}{U}_i\right|}^{2p}x,x⟩}^{\frac{1}{p}}{⟨\sum _{i=1}^n{p}_i{\left|{\left|X_i^{*}\right|}^{\frac{1}{2}}{V}_i\right|}^{2q}y,y⟩}^{\frac{1}{q}}\hfill \end{array}$$

for all $x,$$y\in \mathcal{H}$.

Additional consequences arising from Theorem 1 are outlined in the following two remarks.

Remark 10.  

If we take $V_i=U_i=I$ then for $p_i\ge 0,$$i\in \left\{1,\dots ,n\right\}$ with ${\sum }_{i=1}^n{p}_i>0,$ we obtain from Theorem 1 that

$$\begin{array}{cc}\hfill & {\left|⟨\sum _{i=1}^n{p}_i{X}_{i}h\left(X_i\right)x,y⟩\right|}^2\hfill \\ \hfill & \le \sum _{i=1}^n{p}_i{\left|⟨X_{i}h\left(X_i\right)x,y⟩\right|}^2\hfill \\ \hfill & \le {∥x∥}^{\frac{2}{q}}{∥y∥}^{\frac{2}{p}}{⟨\sum _{i=1}^n{p}_i{h}_a^p\left(∥X_i∥\right){\left|X_i\right|}^{2\alpha p}x,x⟩}^{\frac{1}{p}}{⟨\sum _{i=1}^n{p}_i{h}_a^q\left(∥X_i∥\right){\left|X_i^{*}\right|}^{2q\left(1-\alpha \right)}y,y⟩}^{\frac{1}{q}}\hfill \\ \hfill & \le {∥x∥}^{\frac{2}{q}}{∥y∥}^{\frac{2}{p}}\underset{k=1,\dots ,n}{max}{h}_a\left(∥X_k∥\right){⟨\sum _{i=1}^{n}p{\left|X_i\right|}^{2\alpha p}x,x⟩}^{\frac{1}{p}}{⟨\sum _{i=1}^n{p}_i{\left|X_i^{*}\right|}^{2q\left(1-\alpha \right)}y,y⟩}^{\frac{1}{q}}\hfill \end{array}$$

(24)

for all $x,$$y\in \mathbb{H}$ and $\alpha \in \left[0,1\right].$ In particular, we have

$$\begin{array}{cc}\hfill & {\left|⟨\sum _{i=1}^n{p}_i{X}_{i}h\left(X_i\right)x,y⟩\right|}^2\hfill \\ \hfill & \le \sum _{i=1}^n{p}_i{\left|⟨X_{i}h\left(X_i\right)x,y⟩\right|}^2\hfill \\ \hfill & \le {∥x∥}^{\frac{2}{q}}{∥y∥}^{\frac{2}{p}}{⟨\sum _{i=1}^n{p}_i{h}_a^p\left(∥X_i∥\right){\left|X_i\right|}^{p}x,x⟩}^{\frac{1}{p}}{⟨\sum _{i=1}^n{p}_i{h}_a^q\left(∥X_i∥\right){\left|X_i^{*}\right|}^{q}y,y⟩}^{\frac{1}{q}}\hfill \\ \hfill & \le {∥x∥}^{\frac{2}{q}}{∥y∥}^{\frac{2}{p}}\underset{k=1,\dots ,n}{max}{h}_a\left(∥X_k∥\right){⟨\sum _{i=1}^n{p}_i{\left|X_i\right|}^{p}x,x⟩}^{\frac{1}{p}}{⟨\sum _{i=1}^n{p}_i{\left|X_i^{*}\right|}^{q}y,y⟩}^{\frac{1}{q}}\hfill \end{array}$$

for all $x,$$y\in \mathbb{H}$.

Remark 11. (1) If $X_i>0$ and we take $U_i=X_i^{-\beta },$$V_i=X_i^{-1+\beta },$$\beta \in \left[0,1\right],$ then we derive from Theorem 1 that

$$\begin{array}{cc}\hfill & {\left|⟨\sum _{i=1}^n{p}_{i}h\left(X_i\right)x,y⟩\right|}^2\hfill \\ \hfill & \le \sum _{i=1}^n{p}_i{\left|⟨h\left(X_i\right)x,y⟩\right|}^2\hfill \\ \hfill & \le {∥x∥}^{\frac{2}{q}}{∥y∥}^{\frac{2}{p}}{⟨\sum _{i=1}^n{p}_i{h}_a^p\left(∥X_i∥\right)X_i^{2p\left(\alpha -\beta \right)}x,x⟩}^{\frac{1}{p}}{⟨\sum _{i=1}^n{p}_i{h}_a^q\left(∥X_i∥\right)X_i^{2q\left(\beta -\alpha \right)}y,y⟩}^{\frac{1}{q}}\hfill \end{array}$$

for all $x,$$y\in \mathcal{H}$ and $\alpha \in \left[0,1\right].$(2) Now, if we take, for instance $h\left(\mu \right)={\left(1\pm \mu \right)}^{-1}$ with $\left|\mu \right|<1,$ then $h_a\left(\mu \right)={\left(1-\mu \right)}^{-1}$ and by (24) we get for all $x,$$y\in \mathcal{H}$ and $\alpha \in \left[0,1\right]$ that

$$\begin{array}{cc}\hfill & {\left|⟨\sum _{i=1}^n{p}_i{X}_i{\left(1\pm X_i\right)}^{-1}x,y⟩\right|}^2\hfill \\ \hfill & \le \sum _{i=1}^n{p}_i{\left|⟨X_i{\left(1\pm X_i\right)}^{-1}x,y⟩\right|}^2\hfill \\ \hfill & \le {∥x∥}^{\frac{2}{q}}{∥y∥}^{\frac{2}{p}}{⟨\sum _{i=1}^n{p}_i{\left(1-∥X_i∥\right)}^{-p}{\left|X_i\right|}^{2\alpha p}x,x⟩}^{\frac{1}{p}}{⟨\sum _{i=1}^n{p}_i{\left(1-∥X_i∥\right)}^{-q}{\left|X_i^{*}\right|}^{2q\left(1-\alpha \right)}y,y⟩}^{\frac{1}{q}},\hfill \end{array}$$

where $∥X_i∥<1,$$p_i\ge 0,$$i\in \left\{1,\dots ,n\right\}$ with ${\sum }_{i=1}^n{p}_i=1.$

(3) Also, if we take $h\left(\mu \right)=exp\left(c\mu \right)$ with $c,\mu \in \mathbb{C}$, then $h_a\left(\mu \right)=exp\left(\left|c\right|\mu \right)$ and by (24) we get for all $x,$$y\in \mathcal{H}$ and $\alpha \in \left[0,1\right]$ that

$$\begin{array}{cc}\hfill & {\left|⟨\sum _{i=1}^n{p}_i{X}_{i}exp\left(c{X}_i\right)x,y⟩\right|}^2\hfill \\ \hfill & \le \sum _{i=1}^n{p}_i{\left|⟨X_{i}exp\left(c{X}_i\right)x,y⟩\right|}^2\hfill \\ \hfill & \le {∥x∥}^{\frac{2}{q}}{∥y∥}^{\frac{2}{p}}{⟨\sum _{i=1}^n{p}_{i}exp\left(p\left|c\right|∥X_i∥\right){\left|X_i\right|}^{2\alpha p}x,x⟩}^{\frac{1}{p}}{⟨\sum _{i=1}^n{p}_{i}exp\left(q\left|c\right|∥X_i∥\right){\left|X_i^{*}\right|}^{2q\left(1-\alpha \right)}y,y⟩}^{\frac{1}{q}}\hfill \end{array}$$

where $X_i\in \mathcal{B}\left(\mathcal{H}\right),$$p_i\ge 0,$$i\in \left\{1,\dots ,n\right\}$ with ${\sum }_{i=1}^n{p}_i=1.$

3. Norm and Numerical Radius Inequalities

In this section, our objective is to establish norm and numerical radius inequalities related to the power series $h(·)$ and $h_a(·)$. We begin by presenting our first result in this regard.

Theorem 2.  

Let $h\left(z\right):={\sum }_{k=0}^{\infty }{a}_k{z}^k$ be a convergent power series with complex coefficients on $D(0,\rho )$. Take $X_i$, $U_i$, $V_i\in \mathcal{B}\left(\mathcal{H}\right)$ with $∥X_i∥<\rho$ for $i\in \{1,\dots ,n\}$. Choose $p,q>1$, such that $\frac{1}{p}+\frac{1}{q}=1$. Then, for non-negative $p_i$ ($i=1$ to n) with ${\sum }_{i=1}^n{p}_i>0$, the following inequalities hold for all $\alpha \in [0,1]$:

$$\begin{array}{cc}\hfill & {∥\sum _{i=1}^n{p}_i{V}_i^{*}{X}_{i}h\left(X_i\right)U_i∥}^2\hfill \\ \hfill & \le {∥\sum _{i=1}^n{p}_i{h}_a^p\left(∥X_i∥\right){\left|{\left|X_i\right|}^{\alpha }{U}_i\right|}^{2p}∥}^{\frac{1}{p}}{∥\sum _{i=1}^n{p}_i{h}_a^q\left(∥X_i∥\right){\left|{\left|X_i^{*}\right|}^{1-\alpha }{V}_i\right|}^{2q}∥}^{\frac{1}{q}}\hfill \\ \hfill & \le \underset{k=1,\dots ,n}{max}{h}_a^2\left(∥X_k∥\right){∥\sum _{i=1}^n{p}_i{\left|{\left|X_i\right|}^{\alpha }{U}_i\right|}^{2p}∥}^{\frac{1}{p}}{∥\sum _{i=1}^n{p}_i{\left|{\left|X_i^{*}\right|}^{1-\alpha }{V}_i\right|}^{2q}∥}^{\frac{1}{q}}.\hfill \end{array}$$

(25)

Also, we have

$$\begin{array}{cc}\hfill & {\omega }^2\left(\sum _{i=1}^n{p}_i{V}_i^{*}{X}_{i}h\left(X_i\right)U_i\right)\hfill \\ \hfill & \le ∥\sum _{i=1}^n{p}_i\left(\frac{1}{p}{h}_a^p\left(∥X_i∥\right){\left|{\left|X_i\right|}^{\alpha }{U}_i\right|}^{2p}+\frac{1}{q}{h}_a^q\left(∥X_i∥\right){\left|{\left|X_i^{*}\right|}^{1-\alpha }{V}_i\right|}^{2q}\right)∥.\hfill \end{array}$$

(26)

Proof. 

From (19) we obtain

$$\begin{array}{cc}\hfill & {∥\sum _{i=1}^n{p}_i{V}_i^{*}{X}_{i}h\left(X_i\right)U_i∥}^2\hfill \\ \hfill & =\underset{∥x∥=∥y∥=1}{sup}{\left|⟨\sum _{i=1}^n{p}_i{V}_i^{*}{X}_{i}h\left(X_i\right)U_{i}x,y⟩\right|}^2\hfill \\ \hfill & \le \underset{∥x∥=1}{sup}{⟨\sum _{i=1}^n{p}_i{h}_a^p\left(∥X_i∥\right){\left|{\left|X_i\right|}^{\alpha }{U}_i\right|}^{2p}x,x⟩}^{\frac{1}{p}}\underset{∥y∥=1}{sup}{⟨\sum _{i=1}^n{p}_i{h}_a^q\left(∥X_i∥\right){\left|{\left|X_i^{*}\right|}^{1-\alpha }{V}_i\right|}^{2q}y,y⟩}^{\frac{1}{q}}\hfill \\ \hfill & ={∥\sum _{i=1}^n{p}_i{h}_a^p\left(∥X_i∥\right){\left|{\left|X_i\right|}^{\alpha }{U}_i\right|}^{2p}∥}^{\frac{1}{p}}{∥\sum _{i=1}^n{p}_i{h}_a^q\left(∥X_i∥\right){\left|{\left|X_i^{*}\right|}^{1-\alpha }{V}_i\right|}^{2q}∥}^{\frac{1}{q}},\hfill \end{array}$$

which proves (25).

From Young’s inequality

$$ab\le \frac{1}{p}{a}^p+\frac{1}{q}{b}^q,a,b\ge 0$$

we have that

$$\begin{array}{cc}\hfill & {⟨\sum _{i=1}^n{p}_i{h}_a^p\left(∥X_i∥\right){\left|{\left|X_i\right|}^{\alpha }{U}_i\right|}^{2p}x,x⟩}^{\frac{1}{p}}{⟨\sum _{i=1}^n{p}_i{h}_a^q\left(∥X_i∥\right){\left|{\left|X_i^{*}\right|}^{1-\alpha }{V}_i\right|}^{2q}x,x⟩}^{\frac{1}{q}}\hfill \\ \hfill & \le \frac{1}{p}⟨\sum _{i=1}^n{p}_i{h}_a^p\left(∥X_i∥\right){\left|{\left|X_i\right|}^{\alpha }{U}_i\right|}^{2p}x,x⟩+\frac{1}{q}⟨\sum _{i=1}^n{p}_i{h}_a^q\left(∥X_i∥\right){\left|{\left|X_i^{*}\right|}^{1-\alpha }{V}_i\right|}^{2q}x,x⟩\hfill \\ \hfill & =⟨\sum _{i=1}^n{p}_i\left(\frac{1}{p}{h}_a^p\left(∥X_i∥\right){\left|{\left|X_i\right|}^{\alpha }{U}_i\right|}^{2p}+\frac{1}{q}{h}_a^q\left(∥X_i∥\right){\left|{\left|X_i^{*}\right|}^{1-\alpha }{V}_i\right|}^{2q}\right)x,x⟩\hfill \end{array}$$

(27)

for $x\in \mathcal{H}.$

From (19) and (27) we have for $y=x$ with $∥x∥=1$ that

$$\begin{array}{cc}\hfill & {\omega }^2\left(\sum _{i=1}^n{p}_i{V}_i^{*}{X}_{i}h\left(X_i\right)U_i\right)\hfill \\ \hfill & =\underset{∥x∥=1}{sup}{\left|⟨\sum _{i=1}^n{p}_i{V}_i^{*}{X}_{i}h\left(X_i\right)U_{i}x,x⟩\right|}^2\hfill \\ \hfill & \le \underset{∥x∥=1}{sup}\left[{⟨\sum _{i=1}^n{p}_i{h}_a^p\left(∥X_i∥\right){\left|{\left|X_i\right|}^{\alpha }{U}_i\right|}^{2p}x,x⟩}^{\frac{1}{p}}{⟨\sum _{i=1}^n{p}_i{h}_a^q\left(∥X_i∥\right){\left|{\left|X_i^{*}\right|}^{1-\alpha }{V}_i\right|}^{2q}y,y⟩}^{\frac{1}{q}}\right]\hfill \\ \hfill & \le \underset{∥x∥=1}{sup}⟨\sum _{i=1}^n{p}_i\left(\frac{1}{p}{h}_a^p\left(∥X_i∥\right){\left|{\left|X_i\right|}^{\alpha }{U}_i\right|}^{2p}+\frac{1}{q}{h}_a^q\left(∥X_i∥\right){\left|{\left|X_i^{*}\right|}^{1-\alpha }{V}_i\right|}^{2q}\right)x,x⟩\hfill \\ \hfill & =∥\sum _{i=1}^n{p}_i\left(\frac{1}{p}{h}_a^p\left(∥X_i∥\right){\left|{\left|X_i\right|}^{\alpha }{U}_i\right|}^{2p}+\frac{1}{q}{h}_a^q\left(∥X_i∥\right){\left|{\left|X_i^{*}\right|}^{1-\alpha }{V}_i\right|}^{2q}\right)∥,\hfill \end{array}$$

which proves (26).

□

In the following remark, we present a special case of Theorem 2 that is particularly interesting.

Remark 12.  

If we take $h\equiv 1$ in Theorem 2, then we obtain

$${∥\sum _{i=1}^n{p}_i{V}_i^{*}{X}_i{U}_i∥}^2\le {∥\sum _{i=1}^n{p}_i{\left|{\left|X_i\right|}^{\alpha }{U}_i\right|}^{2p}∥}^{\frac{1}{p}}{∥\sum _{i=1}^n{p}_{i}h{\left|{\left|X_i^{*}\right|}^{1-\alpha }{V}_i\right|}^{2q}∥}^{\frac{1}{q}}$$

and

$${\omega }^2\left(\sum _{i=1}^n{p}_i{V}_i^{*}{X}_i{U}_i\right)\le ∥\sum _{i=1}^n{p}_i\left(\frac{1}{p}{\left|{\left|X_i\right|}^{\alpha }{U}_i\right|}^{2p}+\frac{1}{q}{\left|{\left|X_i^{*}\right|}^{1-\alpha }{V}_i\right|}^{2q}\right)∥.$$

The case for two operators outlined in more details in the introduction, is as follows:

$${∥A+B∥}^2\le {∥{\left|A\right|}^{2\alpha p}+{\left|B\right|}^{2\alpha p}∥}^{\frac{1}{p}}{∥{\left|A^{*}\right|}^{2\left(1-\alpha \right)q}+{\left|B^{*}\right|}^{2\left(1-\alpha \right)q}∥}^{\frac{1}{q}}$$

and

$${\omega }^2\left(A+B\right)\le ∥\frac{1}{p}\left({\left|A\right|}^{2\alpha p}+{\left|B\right|}^{2\alpha p}\right)+\frac{1}{q}\left({\left|A^{*}\right|}^{2\left(1-\alpha \right)q}+{\left|B^{*}\right|}^{2\left(1-\alpha \right)q}\right)∥$$

.for $A,B\in \mathcal{L}\left(\mathbb{H}\right),$$\alpha \in \left[0,1\right]$ and $p,q>1$ such that $\frac{1}{p}+\frac{1}{q}=1.$

As a direct consequence of Theorem 2, we obtain the following corollaries.

Corollary 2.  

Let $h\left(z\right):={\sum }_{k=0}^{\infty }{a}_k{z}^k$ be a convergent power series with complex coefficients on $D(0,\rho )$. Take $X_i$, $U_i$, $V_i\in \mathcal{L}\left(\mathbb{H}\right)$ with $∥X_i∥<\rho$ for $i\in \{1,\dots ,n\}$. Choose $p,q>1$, such that $\frac{1}{p}+\frac{1}{q}=1$. Then, for non-negative $p_i$ ($i=1$ to n) with ${\sum }_{i=1}^n{p}_i>0$, the following inequalities hold

$$\begin{array}{cc}\hfill {∥\sum _{i=1}^n{p}_i{V}_i^{*}{X}_{i}h\left(X_i\right)U_i∥}^2& \le {∥\sum _{i=1}^n{p}_i{h}_a^p\left(∥X_i∥\right){\left|{\left|X_i\right|}^{\frac{1}{2}}{U}_i\right|}^{2p}∥}^{\frac{1}{p}}{∥\sum _{i=1}^n{p}_i{h}_a^q\left(∥X_i∥\right){\left|{\left|X_i^{*}\right|}^{\frac{1}{2}}{V}_i\right|}^{2q}∥}^{\frac{1}{q}}\hfill \\ \hfill & \le \underset{k=1,\dots ,n}{max}{h}_a^2\left(∥X_k∥\right){∥\sum _{i=1}^n{p}_i{\left|{\left|X_i\right|}^{\frac{1}{2}}{U}_i\right|}^{2p}∥}^{\frac{1}{p}}{∥\sum _{i=1}^n{p}_i{\left|{\left|X_i^{*}\right|}^{\frac{1}{2}}{V}_i\right|}^{2q}∥}^{\frac{1}{q}},\hfill \end{array}$$

and

$$\begin{array}{c}\hfill {\omega }^2\left(\sum _{i=1}^n{p}_i{V}_i^{*}{X}_{i}h\left(X_i\right)U_i\right)\le ∥\sum _{i=1}^n{p}_i\left(\frac{1}{p}{h}_a^p\left(∥X_i∥\right){\left|{\left|X_i\right|}^{\frac{1}{2}}{U}_i\right|}^{2p}+\frac{1}{q}{h}_a^q\left(∥X_i∥\right){\left|{\left|X_i^{*}\right|}^{\frac{1}{2}}{V}_i\right|}^{2q}\right)∥.\end{array}$$

Corollary 3.  

With the assumptions of Theorem 2 we have

$$\begin{array}{cc}\hfill {\omega }^2\left(\sum _{i=1}^n{p}_i{V}_i^{*}{X}_{i}h\left(X_i\right)U_i\right)& \le \frac{1}{2}∥\sum _{i=1}^n{p}_i{h}_a^2\left(∥X_i∥\right)\left({\left|{\left|X_i\right|}^{\alpha }{U}_i\right|}^4+{\left|{\left|X_i^{*}\right|}^{1-\alpha }{V}_i\right|}^4\right)∥\hfill \\ \hfill & \le \frac{1}{2}\underset{k=1,\dots ,n}{max}{h}_a^2\left(∥X_k∥\right)∥\sum _{i=1}^n{p}_i\left({\left|{\left|X_i\right|}^{\alpha }{U}_i\right|}^4+{\left|{\left|X_i^{*}\right|}^{1-\alpha }{V}_i\right|}^4\right)∥.\hfill \end{array}$$

In particular,

$$\begin{array}{cc}\hfill {\omega }^2\left(\sum _{i=1}^n{p}_i{V}_i^{*}{X}_{i}h\left(X_i\right)U_i\right)& \le \frac{1}{2}∥\sum _{i=1}^n{p}_i{h}_a^2\left(∥X_i∥\right)\left({\left|{\left|X_i\right|}^{\frac{1}{2}}{U}_i\right|}^4+{\left|{\left|X_i^{*}\right|}^{\frac{1}{2}}{V}_i\right|}^4\right)∥\hfill \\ \hfill & \le \frac{1}{2}\underset{k=1,\dots ,n}{max}{h}_a^2\left(∥X_k∥\right)∥\sum _{i=1}^n{p}_i\left({\left|{\left|X_i\right|}^{\frac{1}{2}}{U}_i\right|}^4+{\left|{\left|X_i^{*}\right|}^{\frac{1}{2}}{V}_i\right|}^4\right)∥.\hfill \end{array}$$

The following remark shows significant consequences and examples from previous findings.

Remark 13.  

(1) If we take $V_i=U_i=I$, then for $p_i\ge 0,$$i\in \left\{1,\dots ,n\right\}$ with ${\sum }_{i=1}^n{p}_i>0,$ we obtain from Corollary 3

$$\begin{array}{cc}\hfill {\omega }^2\left(\sum _{i=1}^n{p}_i{X}_{i}h\left(X_i\right)\right)& \le \frac{1}{2}∥\sum _{i=1}^n{p}_i{h}_a^2\left(∥X_i∥\right)\left({\left|X_i\right|}^{4\alpha }+{\left|X_i^{*}\right|}^{4\left(1-\alpha \right)}\right)∥\hfill \\ \hfill & \le \frac{1}{2}\underset{k=1,\dots ,n}{max}{h}_a^2\left(∥X_k∥\right)∥\sum _{i=1}^n{p}_i\left({\left|X_i\right|}^{4\alpha }+{\left|X_i^{*}\right|}^{4\left(1-\alpha \right)}\right)∥\hfill \end{array}$$

(28)

for all $\alpha \in \left[0,1\right].$ In particular,

$$\begin{array}{cc}\hfill {\omega }^2\left(\sum _{i=1}^n{p}_i{X}_{i}h\left(X_i\right)\right)& \le \frac{1}{2}∥\sum _{i=1}^n{p}_i{h}_a^2\left(∥X_i∥\right)\left({\left|X_i\right|}^2+{\left|X_i^{*}\right|}^2\right)∥\hfill \\ \hfill & \le \frac{1}{2}\underset{k=1,\dots ,n}{max}{h}_a^2\left(∥X_k∥\right)∥\sum _{i=1}^n{p}_i\left({\left|X_i\right|}^2+{\left|X_i^{*}\right|}^2\right)∥.\hfill \end{array}$$

(2) Now, if we take, for instance the resolvent function $h\left(\mu \right)={\left(1\pm \mu \right)}^{-1}$ with $\left|\mu \right|<1,$ then we obtain from (28) that

$$\begin{array}{cc}\hfill {\omega }^2\left(\sum _{i=1}^n{p}_i{X}_i{\left(1\pm X_i\right)}^{-1}\right)& \le \frac{1}{2}∥\sum _{i=1}^n{p}_i{\left(1-∥X_i∥\right)}^{-2}\left({\left|X_i\right|}^{4\alpha }+{\left|X_i^{*}\right|}^{4\left(1-\alpha \right)}\right)∥\hfill \\ \hfill & \le \frac{1}{2}{\left(1-\underset{k=1,\dots ,n}{max}∥X_k∥\right)}^{-2}∥\sum _{i=1}^n{p}_i\left({\left|X_i\right|}^{4\alpha }+{\left|X_i^{*}\right|}^{4\left(1-\alpha \right)}\right)∥\hfill \end{array}$$

for $∥X_i∥<1,$$i=1,\dots ,n.$

We also have the following result concerning the powers of numerical radius:

Theorem 3.  

With the assumptions of Theorem 2 and if $r\ge 1,$ then

$$\begin{array}{c}{\omega }^{2r}\left(\sum _{i=1}^n{p}_i{V}_i^{*}{X}_{i}h\left(X_i\right)U_i\right)\hfill \\ \hfill \le ∥\frac{1}{p}{\left(\sum _{i=1}^n{p}_i{h}_a^p\left(∥X_i∥\right){\left|{\left|X_i\right|}^{\alpha }{U}_i\right|}^{2p}\right)}^r+\frac{1}{q}{\left(\sum _{i=1}^n{p}_i{h}_a^q\left(∥X_i∥\right){\left|{\left|X_i^{*}\right|}^{1-\alpha }{V}_i\right|}^{2q}\right)}^r∥.\end{array}$$

(29)

Also, if $s\ge max\left\{p,q\right\}>1,$ then

$$\begin{array}{c}{\omega }^{2s}\left(\sum _{i=1}^n{p}_i{V}_i^{*}{X}_{i}h\left(X_i\right)U_i\right)\hfill \\ \le \frac{1}{2}{∥\sum _{i=1}^n{p}_i{h}_a^p\left(∥X_i∥\right){\left|{\left|X_i\right|}^{\alpha }{U}_i\right|}^{2p}∥}^{\frac{s}{p}}{∥\sum _{i=1}^n{p}_i{h}_a^q\left(∥X_i∥\right){\left|{\left|X_i^{*}\right|}^{1-\alpha }{V}_i\right|}^{2q}∥}^{\frac{s}{q}}\\ \hfill +\frac{1}{2}\omega \left[{\left(\sum _{i=1}^n{p}_i{h}_a^q\left(∥X_i∥\right){\left|{\left|X_i^{*}\right|}^{1-\alpha }{V}_i\right|}^{2q}\right)}^{\frac{s}{q}}{\left(\sum _{i=1}^n{p}_i{h}_a^p\left(∥X_i∥\right){\left|{\left|X_i\right|}^{\alpha }{U}_i\right|}^{2p}\right)}^{\frac{s}{p}}\right].\end{array}$$

(30)

Proof. 

From (19) we obtain for $y=x$ with $∥x∥=1$ that

$$\begin{array}{cc}\hfill & {\left|⟨\sum _{i=1}^n{p}_i{V}_i^{*}{X}_{i}h\left(X_i\right)U_{i}x,x⟩\right|}^2\hfill \\ \hfill & \le {⟨\sum _{i=1}^n{p}_i{h}_a^p\left(∥X_i∥\right){\left|{\left|X_i\right|}^{\alpha }{U}_i\right|}^{2p}x,x⟩}^{\frac{1}{p}}{⟨\sum _{i=1}^n{p}_i{h}_a^q\left(∥X_i∥\right){\left|{\left|X_i^{*}\right|}^{1-\alpha }{V}_i\right|}^{2q}x,x⟩}^{\frac{1}{q}}.\hfill \end{array}$$

(31)

If we take the power $r\ge 1$ and use McCarthy’s inequality, then we have

$$\begin{array}{cc}\hfill & {\left|⟨\sum _{i=1}^n{p}_i{V}_i^{*}{X}_{i}h\left(X_i\right)U_{i}x,x⟩\right|}^{2r}\hfill \\ \hfill & \le {⟨\sum _{i=1}^n{p}_i{h}_a^p\left(∥X_i∥\right){\left|{\left|X_i\right|}^{\alpha }{U}_i\right|}^{2p}x,x⟩}^{r/p}{⟨\sum _{i=1}^n{p}_i{h}_a^q\left(∥X_i∥\right){\left|{\left|X_i^{*}\right|}^{1-\alpha }{V}_i\right|}^{2q}x,x⟩}^{r/q}\hfill \\ \hfill & \le {⟨{\left(\sum _{i=1}^n{p}_i{h}_a^p\left(∥X_i∥\right){\left|{\left|X_i\right|}^{\alpha }{U}_i\right|}^{2p}\right)}^{r}x,x⟩}^{\frac{1}{p}}{⟨{\left(\sum _{i=1}^n{p}_i{h}_a^q\left(∥X_i∥\right){\left|{\left|X_i^{*}\right|}^{1-\alpha }{V}_i\right|}^{2q}\right)}^{r}x,x⟩}^{\frac{1}{q}}\hfill \end{array}$$

(32)

for $x\in \mathcal{H},$$∥x∥=1.$

Using Young’s inequality we also have

$$\begin{array}{c}{⟨{\left(\sum _{i=1}^n{p}_i{h}_a^p\left(∥X_i∥\right){\left|{\left|X_i\right|}^{\alpha }{U}_i\right|}^{2p}\right)}^{r}x,x⟩}^{\frac{1}{p}}{⟨{\left(\sum _{i=1}^n{p}_i{h}_a^q\left(∥X_i∥\right){\left|{\left|X_i^{*}\right|}^{1-\alpha }{V}_i\right|}^{2q}\right)}^{r}x,x⟩}^{\frac{1}{q}}\hfill \\ \le \frac{1}{p}⟨{\left(\sum _{i=1}^n{p}_i{h}_a^p\left(∥X_i∥\right){\left|{\left|X_i\right|}^{\alpha }{U}_i\right|}^{2p}\right)}^{r}x,x⟩+\frac{1}{q}⟨{\left(\sum _{i=1}^n{p}_i{h}_a^q\left(∥X_i∥\right){\left|{\left|X_i^{*}\right|}^{1-\alpha }{V}_i\right|}^{2q}\right)}^{r}x,x⟩\\ \hfill =⟨\left[\frac{1}{p}{\left(\sum _{i=1}^n{p}_i{h}_a^p\left(∥X_i∥\right){\left|{\left|X_i\right|}^{\alpha }{U}_i\right|}^{2p}\right)}^r+\frac{1}{q}{\left(\sum _{i=1}^n{p}_i{h}_a^q\left(∥X_i∥\right){\left|{\left|X_i^{*}\right|}^{1-\alpha }{V}_i\right|}^{2q}\right)}^r\right]x,x⟩,\end{array}$$

which, by (32) gives

$$\begin{array}{c}{\left|⟨\sum _{i=1}^n{p}_i{V}_i^{*}{X}_{i}h\left(X_i\right)U_{i}x,x⟩\right|}^{2r}\hfill \\ \hfill \le ⟨\left[\frac{1}{p}{\left(\sum _{i=1}^n{p}_i{h}_a^p\left(∥X_i∥\right){\left|{\left|X_i\right|}^{\alpha }{U}_i\right|}^{2p}\right)}^r+\frac{1}{q}{\left(\sum _{i=1}^n{p}_i{h}_a^q\left(∥X_i∥\right){\left|{\left|X_i^{*}\right|}^{1-\alpha }{V}_i\right|}^{2q}\right)}^r\right]x,x⟩\end{array}$$

for $x\in \mathcal{H},$$∥x∥=1.$

If we take the supremum over $∥x∥=1,$ then we obtain the desired result (29).

From (31) and McCarthy’s inequality we have

$$\begin{array}{cc}\hfill & {\left|⟨\sum _{i=1}^n{p}_i{V}_i^{*}{X}_{i}h\left(X_i\right)U_{i}x,x⟩\right|}^{2s}\hfill \\ \hfill & \le {⟨\sum _{i=1}^n{p}_i{h}_a^p\left(∥X_i∥\right){\left|{\left|X_i\right|}^{\alpha }{U}_i\right|}^{2p}x,x⟩}^{\frac{s}{p}}{⟨\sum _{i=1}^n{p}_i{h}_a^q\left(∥X_i∥\right){\left|{\left|X_i^{*}\right|}^{1-\alpha }{V}_i\right|}^{2q}x,x⟩}^{\frac{s}{q}}\hfill \\ \hfill & \le ⟨{\left(\sum _{i=1}^n{p}_i{h}_a^p\left(∥X_i∥\right){\left|{\left|X_i\right|}^{\alpha }{U}_i\right|}^{2p}\right)}^{\frac{s}{p}}x,x⟩⟨{\left(\sum _{i=1}^n{p}_i{h}_a^q\left(∥X_i∥\right){\left|{\left|X_i^{*}\right|}^{1-\alpha }{V}_i\right|}^{2q}\right)}^{\frac{s}{q}}x,x⟩\hfill \end{array}$$

(33)

for $x\in \mathcal{H},$$∥x∥=1.$

From Buzano’s inequality, we also have

$$\begin{array}{c}⟨{\left(\sum _{i=1}^n{p}_i{h}_a^p\left(∥X_i∥\right){\left|{\left|X_i\right|}^{\alpha }{U}_i\right|}^{2p}\right)}^{\frac{s}{p}}x,x⟩⟨x,{\left(\sum _{i=1}^n{p}_i{h}_a^q\left(∥X_i∥\right){\left|{\left|X_i^{*}\right|}^{1-\alpha }{V}_i\right|}^{2q}\right)}^{\frac{s}{q}}x⟩\hfill \\ \le \frac{1}{2}∥{\left(\sum _{i=1}^n{p}_i{h}_a^p\left(∥X_i∥\right){\left|{\left|X_i\right|}^{\alpha }{U}_i\right|}^{2p}\right)}^{\frac{s}{p}}x∥∥{\left(\sum _{i=1}^n{p}_i{h}_a^q\left(∥X_i∥\right){\left|{\left|X_i^{*}\right|}^{1-\alpha }{V}_i\right|}^{2q}\right)}^{\frac{s}{q}}x∥\\ +\frac{1}{2}\left|⟨{\left(\sum _{i=1}^n{p}_i{h}_a^p\left(∥X_i∥\right){\left|{\left|X_i\right|}^{\alpha }{U}_i\right|}^{2p}\right)}^{\frac{s}{p}}x,{\left(\sum _{i=1}^n{p}_i{h}_a^q\left(∥X_i∥\right){\left|{\left|X_i^{*}\right|}^{1-\alpha }{V}_i\right|}^{2q}\right)}^{\frac{s}{q}}x⟩\right|\\ =\frac{1}{2}∥{\left(\sum _{i=1}^n{p}_i{h}_a^p\left(∥X_i∥\right){\left|{\left|X_i\right|}^{\alpha }{U}_i\right|}^{2p}\right)}^{\frac{s}{p}}x∥∥{\left(\sum _{i=1}^n{p}_i{h}_a^q\left(∥X_i∥\right){\left|{\left|X_i^{*}\right|}^{1-\alpha }{V}_i\right|}^{2q}\right)}^{\frac{s}{q}}x∥\\ \hfill +\frac{1}{2}\left|⟨{\left(\sum _{i=1}^n{p}_i{h}_a^q\left(∥X_i∥\right){\left|{\left|X_i^{*}\right|}^{1-\alpha }{V}_i\right|}^{2q}\right)}^{\frac{s}{q}}{\left(\sum _{i=1}^n{p}_i{h}_a^p\left(∥X_i∥\right){\left|{\left|X_i\right|}^{\alpha }{U}_i\right|}^{2p}\right)}^{\frac{s}{p}}x,x⟩\right|\end{array}$$

(34)

for $x\in \mathcal{H},$$∥x∥=1.$

By utilizing (33) and (34) and then taking the supremum over $∥x∥=1$, we obtain (30). □

Theorem 3 provides us important insights and implications, leading to some interesting remarks and consequences. By carefully studying the theorem, we can discover the following remarks and corollary, which help us understand the topic even better.

Remark 14.  

It is worth noting that an interesting consequence can be observed by considering the special case where $h\equiv 1$ in Theorem 3. By doing so, we obtain the following result:

$$\begin{array}{cc}\hfill & {\omega }^{2r}\left(\sum _{i=1}^n{p}_i{V}_i^{*}{X}_i{U}_i\right)\hfill \\ \hfill & \le ∥\frac{1}{p}{\left(\sum _{i=1}^n{p}_i{h}_a^p\left(∥X_i∥\right){\left|{\left|X_i\right|}^{\alpha }{U}_i\right|}^{2p}\right)}^r+\frac{1}{q}{\left(\sum _{i=1}^n{p}_i{h}_a^q\left(∥X_i∥\right){\left|{\left|X_i^{*}\right|}^{1-\alpha }{V}_i\right|}^{2q}\right)}^r∥.\hfill \end{array}$$

and, if $s\ge max\left\{p,q\right\}>1,$ then

$$\begin{array}{cc}\hfill & {\omega }^{2s}\left(\sum _{i=1}^n{p}_i{V}_i^{*}{X}_i{U}_i\right)\hfill \\ \hfill & \le \frac{1}{2}{∥\sum _{i=1}^n{p}_i{\left|{\left|X_i\right|}^{\alpha }{U}_i\right|}^{2p}∥}^{\frac{s}{p}}{∥\sum _{i=1}^n{p}_i{\left|{\left|X_i^{*}\right|}^{1-\alpha }{V}_i\right|}^{2q}∥}^{\frac{s}{q}}\hfill \\ \hfill & +\frac{1}{2}\omega \left[{\left(\sum _{i=1}^n{p}_i{\left|{\left|X_i^{*}\right|}^{1-\alpha }{V}_i\right|}^{2q}\right)}^{\frac{s}{q}}{\left(\sum _{i=1}^n{p}_i{\left|{\left|X_i\right|}^{\alpha }{U}_i\right|}^{2p}\right)}^{\frac{s}{p}}\right].\hfill \end{array}$$

Remark 15.  

By letting $\alpha =\frac{1}{2}$ in Theorem 3, we deduce that

$$\begin{array}{c}{\omega }^{2r}\left(\sum _{i=1}^n{p}_i{V}_i^{*}{X}_{i}h\left(X_i\right)U_i\right)\hfill \\ \hfill \le ∥\frac{1}{p}{\left(\sum _{i=1}^n{p}_i{h}_a^p\left(∥X_i∥\right){\left|{\left|X_i\right|}^{\frac{1}{2}}{U}_i\right|}^{2p}\right)}^r+\frac{1}{q}{\left(\sum _{i=1}^n{p}_i{h}_a^q\left(∥X_i∥\right){\left|{\left|X_i^{*}\right|}^{\frac{1}{2}}{V}_i\right|}^{2q}\right)}^r∥,\end{array}$$

and

$$\begin{array}{c}{\omega }^{2s}\left(\sum _{i=1}^n{p}_i{V}_i^{*}{X}_{i}h\left(X_i\right)U_i\right)\hfill \\ \le \frac{1}{2}{∥\sum _{i=1}^n{p}_i{h}_a^p\left(∥X_i∥\right){\left|{\left|X_i\right|}^{\frac{1}{2}}{U}_i\right|}^{2p}∥}^{\frac{s}{p}}{∥\sum _{i=1}^n{p}_i{h}_a^q\left(∥X_i∥\right){\left|{\left|X_i^{*}\right|}^{\frac{1}{2}}{V}_i\right|}^{2q}∥}^{\frac{s}{q}}\\ \hfill +\frac{1}{2}\omega \left[{\left(\sum _{i=1}^n{p}_i{h}_a^q\left(∥X_i∥\right){\left|{\left|X_i^{*}\right|}^{\frac{1}{2}}{V}_i\right|}^{2q}\right)}^{\frac{s}{q}}{\left(\sum _{i=1}^n{p}_i{h}_a^p\left(∥X_i∥\right){\left|{\left|X_i\right|}^{\frac{1}{2}}{U}_i\right|}^{2p}\right)}^{\frac{s}{p}}\right].\end{array}$$

Corollary 4.  

With the assumptions of Theorem 2, we have for $r\ge 1$ that

$$\begin{array}{cc}\hfill & {\omega }^{2r}\left(\sum _{i=1}^n{p}_i{V}_i^{*}{X}_{i}h\left(X_i\right)U_i\right)\hfill \\ \hfill & \le \frac{1}{2}∥{\left(\sum _{i=1}^n{p}_i{h}_a^2\left(∥X_i∥\right){\left|{\left|X_i\right|}^{\alpha }{U}_i\right|}^4\right)}^r+{\left(\sum _{i=1}^n{p}_i{h}_a^2\left(∥X_i∥\right){\left|{\left|X_i^{*}\right|}^{1-\alpha }{V}_i\right|}^4\right)}^r∥\hfill \\ \hfill & \le \frac{1}{2}\underset{k=1,\dots ,n}{max}{h}_a^{2r}\left(∥X_k∥\right)∥{\left(\sum _{i=1}^n{p}_i{\left|{\left|X_i\right|}^{\alpha }{U}_i\right|}^4\right)}^r+{\left(\sum _{i=1}^n{p}_i{\left|{\left|X_i^{*}\right|}^{1-\alpha }{V}_i\right|}^4\right)}^r∥.\hfill \end{array}$$

In particular,

$$\begin{array}{cc}\hfill & {\omega }^{2r}\left(\sum _{i=1}^n{p}_i{V}_i^{*}{X}_{i}h\left(X_i\right)U_i\right)\hfill \\ \hfill & \le \frac{1}{2}∥{\left(\sum _{i=1}^n{p}_i{h}_a^2\left(∥X_i∥\right){\left|{\left|X_i\right|}^{\frac{1}{2}}{U}_i\right|}^4\right)}^r+{\left(\sum _{i=1}^n{p}_i{h}_a^2\left(∥X_i∥\right){\left|{\left|X_i^{*}\right|}^{\frac{1}{2}}{V}_i\right|}^4\right)}^r∥\hfill \\ \hfill & \le \frac{1}{2}\underset{k=1,\dots ,n}{max}{h}_a^{2r}\left(∥X_k∥\right)∥{\left(\sum _{i=1}^n{p}_i{\left|{\left|X_i\right|}^{\frac{1}{2}}{U}_i\right|}^4\right)}^r+{\left(\sum _{i=1}^n{p}_i{\left|{\left|X_i^{*}\right|}^{\frac{1}{2}}{V}_i\right|}^4\right)}^r∥.\hfill \end{array}$$

Remark 16.  

(1) If we take $V_i=U_i=I$ then for $p_i\ge 0,$$i\in \left\{1,\dots ,n\right\}$ with ${\sum }_{i=1}^n{p}_i>0,$ we get from Corollary 4 that

$$\begin{array}{cc}\hfill & {\omega }^{2r}\left(\sum _{i=1}^n{p}_i{X}_{i}h\left(X_i\right)\right)\hfill \\ \hfill & \le \frac{1}{2}∥{\left(\sum _{i=1}^n{p}_i{h}_a^2\left(∥X_i∥\right){\left|X_i\right|}^{4\alpha }\right)}^r+{\left(\sum _{i=1}^n{p}_i{h}_a^2\left(∥X_i∥\right){\left|X_i^{*}\right|}^{4\left(1-\alpha \right)}\right)}^r∥\hfill \\ \hfill & \le \frac{1}{2}\underset{k=1,\dots ,n}{max}{h}_a^{2r}\left(∥X_k∥\right)∥{\left(\sum _{i=1}^n{p}_i{\left|X_i\right|}^{4\alpha }\right)}^r+{\left(\sum _{i=1}^n{p}_i{\left|X_i^{*}\right|}^{4\left(1-\alpha \right)}\right)}^r∥.\hfill \end{array}$$

(35)

In particular,

$$\begin{array}{cc}\hfill & {\omega }^{2r}\left(\sum _{i=1}^n{p}_i{X}_{i}h\left(X_i\right)\right)\hfill \\ \hfill & \le \frac{1}{2}∥{\left(\sum _{i=1}^n{p}_i{h}_a^2\left(∥X_i∥\right){\left|X_i\right|}^2\right)}^r+{\left(\sum _{i=1}^n{p}_i{h}_a^2\left(∥X_i∥\right){\left|X_i^{*}\right|}^2\right)}^r∥\hfill \\ \hfill & \le \frac{1}{2}\underset{k=1,\dots ,n}{max}{h}_a^{2r}\left(∥X_k∥\right)∥{\left(\sum _{i=1}^n{p}_i{\left|X_i\right|}^2\right)}^r+{\left(\sum _{i=1}^n{p}_i{\left|X_i^{*}\right|}^2\right)}^r∥.\hfill \end{array}$$

(2) Now, if we take, for instance $h\left(\mu \right)={\left(1\pm \mu \right)}^{-1}$ with $\left|\mu \right|<1,$ then we obtain from (35) that

$$\begin{array}{cc}\hfill & {\omega }^{2r}\left(\sum _{i=1}^n{p}_i{X}_i{\left(1\pm X_i\right)}^{-1}\right)\hfill \\ \hfill & \le \frac{1}{2}∥{\left(\sum _{i=1}^n{p}_i{\left(1\pm ∥X_i∥\right)}^{-2}{\left|X_i\right|}^{4\alpha }\right)}^r+{\left(\sum _{i=1}^n{p}_i{\left(1\pm ∥X_i∥\right)}^{-2}{\left|X_i^{*}\right|}^{4\left(1-\alpha \right)}\right)}^r∥\hfill \\ \hfill & \le \frac{1}{2}{\left(1\pm \underset{k=1,\dots ,n}{max}∥X_k∥\right)}^{-2r}∥{\left(\sum _{i=1}^n{p}_i{\left|X_i\right|}^{4\alpha }\right)}^r+{\left(\sum _{i=1}^n{p}_i{\left|X_i^{*}\right|}^{4\left(1-\alpha \right)}\right)}^r∥\hfill \end{array}$$

for $∥X_i∥<1,$$i=1,\dots ,n.$

Various similar results for other fundamental complex functions such as, the logarithm function, the complex exponential, the complex trigonometric, and hyperbolic functions can be stated as well. The details are omitted.

4. Conclusions

In summary, this paper explores power series in Hilbert spaces. We focused on series like $h\left(z\right)={\sum }_{k=0}^{\infty }{a}_k{z}^k$ and its modified version $h_a\left(z\right)={\sum }_{k=0}^{\infty }\left|a_k\right|z^k$, where $a_k$ are complex numbers. By using Hölder-type inequalities, we found different inequalities for operators that work on these series. We made these discoveries assuming that $h\left(z\right)$ converges on the open disk $D(0,\rho )$, where $\rho$ is the radius of convergence.

We also explored norm and numerical radius inequalities related to these power series. Our main goal in this paper was to improve our understanding of mathematical inequalities and help others learn more about them. Our work is an important step forward in theory, offering new ideas and tools for mathematicians in this field.

The inequalities we found can be useful for analyzing various properties of power series and how they are used in functional analysis and related areas. They provide a good starting point for more research and help us understand how power series behave in Hilbert spaces. By learning more about mathematical inequalities, we can help advance mathematics and find new applications for these ideas in the future.