Open Access

New norm equalities and inequalities for operator matrices

Journal of Inequalities and Applications20162016:175

https://doi.org/10.1186/s13660-016-1108-y

Received: 28 December 2015

Accepted: 6 June 2016

Published: 7 July 2016

Abstract

We prove new inequalities for general \(2\times2\) operator matrices. These inequalities, which are based on classical convexity inequalities, generalize earlier inequalities for sums of operators. Some other related results are also presented. Also, we prove a numerical radius equality for a \(5\times5\) tridiagonal operator matrix.

Keywords

numerical radius usual operator norm operator matrix tridiagonal Jensen’s inequality mixed Schwarz inequality

MSC

47A12 47A30 47A63 47B15 47B36

1 Introduction

Let \(\operatorname{LB}(H)\) denote the \(C^{*}\)-algebra of all linear bounded operators on a complex separable Hilbert space H with inner product \(\langle \cdot, \cdot\rangle\). For \(M\in \operatorname{LB}(H)\), let \(\omega(M)=\sup \{| \langle Mx,x \rangle|:x \in H \mbox{ and }\Vert x\Vert =1 \}\) and \(\|M\|=\sup \{| \langle Mx,y \rangle|:x,y \in H\mbox{ and }\Vert x\Vert = \Vert y\Vert = 1 \}\) denote the numerical radius and the usual operator norm of M, respectively. It is well known that \(\omega(\cdot)\) defines a norm on \(\operatorname{LB}(H)\), which is equivalent to the usual operator norm \(\| \cdot\|\). In fact, for every \(M\in \operatorname{LB}(H)\),
$$ \frac{1}{2}\|M\|\leq\omega(M)\leq\| M\|. $$
(1.1)
Here, the first inequality in (1.1) becomes an equality if \(M^{2}=0\). Also, the second inequality becomes an equality if M is normal. The property of the numerical radius norm which is important is its weak unitary invariance, that is, for \(M\in \operatorname{LB}(H)\),
$$ \omega\bigl(UMU^{*}\bigr)= \omega(M) $$
(1.2)
for any unitary \(U \in \operatorname{LB}(H)\).
Also
$$ \omega\bigl(M^{*}\bigr)= \omega(M) $$
for all \(M \in \operatorname{LB}(H)\).
For more basic properties of the numerical radius, see [1] and [2]. Kittaneh in [3] and [4] improved the inequalities in (1.1). It has been shown in [3] and [4], respectively, that if \(M\in \operatorname{LB}(H)\), then
$$ \omega(M)\leq\frac{1}{2}\bigl\Vert |M|+\bigl\vert M^{*}\bigr\vert \bigr\Vert \leq\frac{1}{2} \bigl(\Vert M \Vert +\bigl\Vert M^{2}\bigr\Vert ^{\frac{1}{2}} \bigr), $$
(1.3)
where \(|M|=(M^{*}M)^{\frac{1}{2}}\) means the absolute value of M, and
$$ \frac{1}{4}\bigl\Vert M^{*}M+MM^{*} \bigr\Vert \leq\omega^{2}(M)\leq\frac{1}{2}\bigl\Vert M^{*}M+MM^{*}\bigr\Vert . $$
(1.4)
In [5] El-Haddad and Kittaneh generalized some inequalities for powers of the usual operator norm and a related numerical radius for sum of two operators. It has been shown that if \(M, N\in \operatorname{LB}(H)\), \(0 <\alpha< 1\), and \(r\geq1\), then
$$ \Vert M+N \Vert ^{r}\leq2^{r-2} \bigl(\bigl\Vert | M|^{2r\alpha }+| N|^{2r\alpha}\bigr\Vert + \bigl\Vert \bigl\vert M^{*}\bigr\vert ^{2r(1-\alpha)}+\bigl\vert N^{*} \bigr\vert ^{2r(1-\alpha)}\bigr\Vert \bigr) $$
(1.5)
and
$$ \omega^{r}(M+N)\leq2^{r-2}\bigl\Vert | M|^{2r\alpha}+\bigl\vert M^{*}\bigr\vert ^{2r(1-\alpha)}+ | N|^{2r\alpha}+\bigl\vert N^{*}\bigr\vert ^{2r(1-\alpha )}\bigr\Vert . $$
(1.6)
In Section 2, we generalize the inequalities (1.5) and (1.6) using some operator inequalities and some classical inequalities for nonnegative real numbers. In Section 3, we establish a numerical radius equality for \(5\times5\) tridiagonal operator matrices.

2 Generalization of inequalities (1.5) and (1.6) to general \(2\times2\) operator matrices

In this section we generalize the inequalities (1.5) and (1.6). To prove our generalized theorem, we need several well-known lemmas. The first lemma is important and it has been proved by Kittaneh [6].

Lemma 2.1

Let \(M\in \operatorname{LB}(H)\) and let f and g be nonnegative functions on \([0, \infty)\) which are continuous and satisfy the relation \(f(s)g(s)=s\) for all \(s\in[0, \infty)\). Then
$$ \bigl\vert \langle Mx, y\rangle\bigr\vert \leq\bigl\Vert f \bigl(\vert M \vert \bigr)x\bigr\Vert \bigl\Vert g \bigl(\bigl\vert M^{*}\bigr\vert \bigr)y\bigr\Vert \quad \textit{for all } x, y \in H. $$

The second lemma is a consequence of Jensen’s inequality, concerning the convexity or the concavity of certain power functions. It is a special case of Schlömilch’s inequality for weighted means of nonnegative real numbers (see, e.g., [7], p.26).

Lemma 2.2

For \(a,b\geq0\), \(0<\alpha<1\), and \(r\neq0\), let \(K_{r}(a, b, \alpha )=(\alpha a^{r}+(1-\alpha)b^{r})^{\frac{1}{r}}\) and let \(K_{0}(a, b, \alpha)=a^{\alpha}b^{1-\alpha}\). Then
$$ K_{r}(a, b, \alpha)\leq K_{s}(a, b, \alpha) \quad \textit{for } 0\leq r\leq s. $$

Now, from the spectral theorem for positive operators and Jensen’s inequality, we give the third lemma [6].

Lemma 2.3

Let \(M\in \operatorname{LB}(H)\) be positive, and let \(x\in H\) be any unit vector. Then
  1. (a)

    \(\langle M x, x\rangle^{s}\leq\langle M^{s}x, x\rangle\) for \(s\geq1\),

     
  2. (b)

    \(\langle M^{s}x, x\rangle\leq\langle M x, x\rangle^{s}\) for \(0< s\leq1\).

     

The fourth lemma is a simple consequence of Jensen’s inequality, concerning the concavity of the function \(h(x) = x^{s}\), \(0\leq s \leq1\) on \(x\in[0, \infty)\).

Lemma 2.4

If \(x_{1}, x_{2},\ldots, x_{n}\) are nonnegative real numbers, then
$$ \bigl(x_{1}^{s}+x_{2}^{s}+ \cdots+x_{n}^{s} \bigr)\leq n^{1-s} ( x_{1}+x_{2}+\cdots+x_{n} )^{s} \quad \textit{for }0\leq s\leq1. $$

The fifth and last lemma contains three parts. Part (i) was proved in [4], while (ii) and (iii) were proved in [8].

Lemma 2.5

Let \(M, N\in \operatorname{LB}(H)\). Then
$$\begin{aligned} (\mathrm{i})&\quad \omega \left (\left [ \textstyle\begin{array}{@{}c@{\quad}c@{}} M & 0 \\ 0 & N \end{array}\displaystyle \right ] \right ) = \max \bigl\{ \omega(M), \omega(N) \bigr\} , \\ (\mathrm{ii})&\quad \omega \left (\left [ \textstyle\begin{array}{@{}c@{\quad}c@{}} M & N \\ N & M \end{array}\displaystyle \right ] \right ) = \max \bigl\{ \omega(M+N), \omega(M-N) \bigr\} , \\ (\mathrm{iii})&\quad \omega \left (\left [ \textstyle\begin{array}{@{}c@{\quad}c@{}} M & N \\ -N & M \end{array}\displaystyle \right ] \right ) = \max \bigl\{ \omega(M+iN), \omega(M-iN) \bigr\} . \end{aligned}$$

3 Results and discussion

3.1 Result for \(2\times2\) operator matrices

In the following theorem we prove a generalization of the inequalities (1.5) and (1.6).

Theorem 3.1

Let \(T =\bigl [ {\scriptsize\begin{matrix}{} A & B \cr C & D\end{matrix}} \bigr ]\in \operatorname{LB}(H \oplus H )\), and let f and g be nonnegative functions on \([0, \infty)\), which are continuous and that satisfy the relation \(f(s)g(s)=s\) for all \(s\in[0, \infty)\), and \(r\geq1\). Then
  1. (a)

    \(\Vert T\Vert ^{r}\leq 2^{r-2} (\max \{\Vert \rho \Vert ,\Vert \beta \Vert \}+\max \{\Vert \gamma \Vert ,\Vert \delta \Vert \} )\),

     
  2. (b)

    \(\omega^{r}(T)\leq 2^{r-2}\max\{\omega(\rho+\gamma),\omega (\beta+\delta)\}\),

     
where
$$\begin{aligned}& \rho=f^{2r}\bigl(\vert A\vert \bigr)+ f^{2r}\bigl( \vert C\vert \bigr) , \qquad \beta= f^{2r}\bigl(\vert D\vert \bigr)+ f^{2r}\bigl(\vert B\vert \bigr) , \\& \gamma=g^{2r}\bigl(\bigl\vert A^{*}\bigr\vert \bigr)+ g^{2r}\bigl(\bigl\vert B^{*}\bigr\vert \bigr) ,\qquad \delta= g^{2r}\bigl(\bigl\vert D^{*}\bigr\vert \bigr)+g^{2r}\bigl(\bigl\vert C^{*}\bigr\vert \bigr) . \end{aligned}$$

Proof

(a) Let \(X=\bigl ( {\scriptsize\begin{matrix}{} x_{1} \cr x_{2}\end{matrix}} \bigr )\) and \(Y=\bigl ( {\scriptsize\begin{matrix}{} y_{1} \cr y_{2}\end{matrix}} \bigr )\) be any two unit vectors in \((H\oplus H)\). Then using the triangle inequality, Lemma 2.1, Lemma 2.2, Lemma 2.3(a), and Lemma 2.4, we have
$$\begin{aligned}& \left \vert \left\langle \left [ \textstyle\begin{array}{@{}c@{\quad}c@{}} A & B \\ C & D \end{array}\displaystyle \right ]X, Y \right\rangle\right \vert \\& \quad =\left \vert \left\langle \left [ \textstyle\begin{array}{@{}c@{\quad}c@{}} A & 0 \\ 0 & D \end{array}\displaystyle \right ] X, Y \right\rangle+ \left\langle \left [ \textstyle\begin{array}{@{}c@{\quad}c@{}} 0 & B \\ C & 0 \end{array}\displaystyle \right ] X, Y \right\rangle\right \vert \\& \quad \leq \left \vert \left\langle \left [ \textstyle\begin{array}{@{}c@{\quad}c@{}} A & 0 \\ 0 & D \end{array}\displaystyle \right ] X, Y \right\rangle\right \vert + \left \vert \left\langle \left [ \textstyle\begin{array}{@{}c@{\quad}c@{}} 0 & B \\ C & 0 \end{array}\displaystyle \right ] X, Y \right\rangle\right \vert \\& \quad \leq \left \Vert f \left (\left \vert \left [ \textstyle\begin{array}{@{}c@{\quad}c@{}} A & 0 \\ 0 & D \end{array}\displaystyle \right ]\right \vert \right )X \right \Vert \left \Vert g \left (\left \vert \left [ \textstyle\begin{array}{@{}c@{\quad}c@{}} A^{*} & 0 \\ 0 & D^{*} \end{array}\displaystyle \right ]\right \vert \right )Y \right \Vert \\ & \qquad {} +\left \Vert f \left (\left \vert \left [ \textstyle\begin{array}{@{}c@{\quad}c@{}} 0 & B \\ C & 0 \end{array}\displaystyle \right ]\right \vert \right )X \right \Vert \left \Vert g \left (\left \vert \left [ \textstyle\begin{array}{@{}c@{\quad}c@{}} 0 & C^{*} \\ B^{*} & 0 \end{array}\displaystyle \right ]\right \vert \right )Y \right \Vert \\ & \quad = \left\langle f^{2}\left (\left [ \textstyle\begin{array}{@{}c@{\quad}c@{}} |A| & 0 \\ 0 & |D| \end{array}\displaystyle \right ] \right )X, X \right\rangle^{\frac{1}{2}} \left\langle g^{2}\left (\left [ \textstyle\begin{array}{@{}c@{\quad}c@{}} |A^{*}| & 0 \\ 0 & |D^{*}| \end{array}\displaystyle \right ] \right )Y, Y \right\rangle^{\frac{1}{2}} \\ & \qquad {} + \left\langle f^{2}\left (\left [ \textstyle\begin{array}{@{}c@{\quad}c@{}} |C| & 0 \\ 0 & |B| \end{array}\displaystyle \right ] \right )X, X \right\rangle^{\frac{1}{2}} \left\langle g^{2}\left (\left [ \textstyle\begin{array}{@{}c@{\quad}c@{}} |B^{*}| & 0 \\ 0 & |C^{*}| \end{array}\displaystyle \right ] \right )Y, Y \right\rangle^{\frac{1}{2}} \\ & \quad =\left \langle \left [ \textstyle\begin{array}{@{}c@{\quad}c@{}} f^{2}(| A|) & 0 \\ 0 & f^{2}(| D|) \end{array}\displaystyle \right ]X, X \right \rangle ^{\frac{1}{2}} \left \langle \left [ \textstyle\begin{array}{@{}c@{\quad}c@{}} g^{2}(| A^{*}|) & 0 \\ 0 & g^{2}(| D^{*}|) \end{array}\displaystyle \right ]Y, Y \right \rangle ^{\frac{1}{2}} \\ & \qquad {} +\left \langle \left [ \textstyle\begin{array}{@{}c@{\quad}c@{}} f^{2}(| C|) & 0 \\ 0 & f^{2}(| B|) \end{array}\displaystyle \right ]X, X \right \rangle ^{\frac{1}{2}} \left \langle \left [ \textstyle\begin{array}{@{}c@{\quad}c@{}} g^{2}(| B^{*}|) & 0 \\ 0 & g^{2}(| C^{*}|) \end{array}\displaystyle \right ]Y, Y \right \rangle ^{\frac{1}{2}} \\ & \quad \leq 2^{\frac{-1}{r}}\left (\left \langle \left [ \textstyle\begin{array}{@{}c@{\quad}c@{}} f^{2}(| A|) & 0 \\ 0 & f^{2}(| D|) \end{array}\displaystyle \right ]X, X \right \rangle ^{r}+ \left \langle \left [ \textstyle\begin{array}{@{}c@{\quad}c@{}} g^{2}(| A^{*}|) & 0 \\ 0 & g^{2}(| D^{*}|) \end{array}\displaystyle \right ]Y, Y \right \rangle ^{r} \right )^{\frac{1}{r}} \\ & \qquad {} +2^{\frac{-1}{r}}\left (\left \langle \left [ \textstyle\begin{array}{@{}c@{\quad}c@{}} f^{2}(| C|) & 0 \\ 0 & f^{2}(| B|) \end{array}\displaystyle \right ]X, X \right \rangle ^{r}+ \left \langle \left [ \textstyle\begin{array}{@{}c@{\quad}c@{}} g^{2}(| B^{*}|) & 0 \\ 0 & g^{2}(| C^{*}|) \end{array}\displaystyle \right ]Y, Y \right \rangle ^{r} \right )^{\frac{1}{r}} \\ & \quad \leq 2^{\frac{-1}{r}}\left (\left \langle \left [ \textstyle\begin{array}{@{}c@{\quad}c@{}} f^{2r}(| A|) & 0 \\ 0 & f^{2r}(| D|) \end{array}\displaystyle \right ]X, X \right \rangle + \left \langle \left [ \textstyle\begin{array}{@{}c@{\quad}c@{}} g^{2r}(| A^{*}|) & 0 \\ 0 & g^{2r}(| D^{*}|) \end{array}\displaystyle \right ]Y, Y \right \rangle \right )^{\frac{1}{r}} \\ & \qquad {} +2^{\frac{-1}{r}}\left (\left \langle \left [ \textstyle\begin{array}{@{}c@{\quad}c@{}} f^{2r}(| C|) & 0 \\ 0 & f^{2r}(| B|) \end{array}\displaystyle \right ]X, X \right \rangle + \left \langle \left [ \textstyle\begin{array}{@{}c@{\quad}c@{}} g^{2r}(| B^{*}|) & 0 \\ 0 & g^{2r}(| C^{*}|) \end{array}\displaystyle \right ]Y, Y \right \rangle \right )^{\frac{1}{r}} \\ & \quad \leq2^{\frac{-1}{r}} \bigl(2^{1-\frac{1}{r}} \bigr) \bigl( \langle \Phi X, X \rangle + \langle \Psi Y, Y \rangle + \langle \Omega X, X \rangle + \langle \Theta Y, Y \rangle \bigr)^{\frac{1}{r}} \\ & \quad =2^{ (1-\frac{2}{r} )} \bigl(\bigl\langle (\Phi+\Omega ) X, X \bigr\rangle + \bigl\langle (\Psi+\Theta ) Y, Y \bigr\rangle \bigr)^{\frac {1}{r}}, \end{aligned}$$
where
$$\begin{aligned}& \Phi= \left [ \textstyle\begin{array}{@{}c@{\quad}c@{}} f^{2r}(| A|) & 0 \\ 0 & f^{2r}(| D|) \end{array}\displaystyle \right ], \\ & \Psi=\left [ \textstyle\begin{array}{@{}c@{\quad}c@{}} g^{2r}(| A^{*}|) & 0 \\ 0 & g^{2r}(| D^{*}|) \end{array}\displaystyle \right ], \\ & \Omega=\left [ \textstyle\begin{array}{@{}c@{\quad}c@{}} f^{2r}(| C|) & 0 \\ 0 & f^{2r}(| B|) \end{array}\displaystyle \right ], \\ & \Theta= \left [ \textstyle\begin{array}{@{}c@{\quad}c@{}} g^{2r}(| B^{*}|) & 0 \\ 0 & g^{2r}(| C^{*}|) \end{array}\displaystyle \right ]. \end{aligned}$$
Thus,
$$ \left \vert \left\langle \left [ \textstyle\begin{array}{@{}c@{\quad}c@{}} A & B \\ C & D \end{array}\displaystyle \right ] X, Y \right\rangle\right \vert ^{r}\leq2^{r-2} \bigl( \bigl\langle (\Phi+\Omega ) X, X \bigr\rangle + \bigl\langle (\Psi+\Theta ) Y, Y \bigr\rangle \bigr) $$
and so
$$\begin{aligned} \begin{aligned} &\sup \bigl\{ \bigl\vert \langle TX, Y \rangle\bigr\vert ^{r}: X,Y \in(H\oplus H), \| X \|=\| Y \|=1 \bigr\} \\ &\quad \leq 2^{r-2}\sup \bigl(\bigl\langle (\Phi+\Omega ) X, X \bigr\rangle + \bigl\langle (\Psi+\Theta ) Y, Y \bigr\rangle \bigr) \\ &\quad \leq 2^{r-2} \bigl(\sup \bigl(\bigl\langle (\Phi+\Omega ) X, X \bigr\rangle \bigr)+ \bigl(\sup \bigl\langle (\Psi+\Theta ) Y, Y \bigr\rangle \bigr) \bigr). \end{aligned} \end{aligned}$$
Hence,
$$\left \Vert \left [ \textstyle\begin{array}{@{}c@{\quad}c@{}} A & B \\ C & D \end{array}\displaystyle \right ]\right \Vert ^{r}\leq 2^{r-2} \bigl(\max \bigl\{ \Vert \rho \Vert , \Vert \beta \Vert \bigr\} + \max \bigl\{ \Vert \gamma \Vert ,\Vert \delta \Vert \bigr\} \bigr). $$

(b) The result follows from the proof of part (a) by letting \(X=Y\). □

The above theorem includes several norm inequalities of numerical radius and the usual operator norm for operator matrices. Samples of inequalities are demonstrated in the following remarks.

Remark 3.2

Let \(A=B=D \), \(C=-A\), \(f(t)=t^{\alpha}\), and \(g(t)=t^{1- \alpha}\) with \(\alpha\in[0, 1]\) in part (b) of Theorem 3.1. Then by using Lemma 2.5(iii) we get the following:
$$\begin{aligned} \omega^{r}\left (\left [ \textstyle\begin{array}{@{}c@{\quad}c@{}} A & A \\ -A & A \end{array}\displaystyle \right ] \right ) =& \bigl(\sqrt{2}\omega (A ) \bigr)^{r}=2^{\frac{r}{2}} \omega^{r} (A ) \\ \leq& 2^{r-1} \bigl\Vert \vert A\vert ^{2\alpha r}+\bigl\vert A^{*}\bigr\vert ^{2(1-\alpha) r}\bigr\Vert , \end{aligned}$$
and so
$$\omega^{r} (A )\leq 2^{\frac{r}{2}-1} \bigl\Vert \vert A\vert ^{2\alpha r}+\bigl\vert A^{*}\bigr\vert ^{2(1-\alpha) r}\bigr\Vert . $$

Remark 3.3

Let \(f(t)=t^{\alpha}\) and \(g(t)=t^{1- \alpha}\), \(\alpha\in[0, 1]\), in part (a) of Theorem 3.1. Then we get the following inequality:
$$\left \Vert \left [ \textstyle\begin{array}{@{}c@{\quad}c@{}} A & B \\ C & D \end{array}\displaystyle \right ]\right \Vert ^{r}\leq 2^{r-2} \bigl(\max \bigl\{ \Vert \rho \Vert , \Vert \beta \Vert \bigr\} + \max \bigl\{ \Vert \gamma \Vert ,\Vert \delta \Vert \bigr\} \bigr), $$
where
$$\begin{aligned}& \rho=\vert A\vert ^{2\alpha r}+ \vert C\vert ^{2\alpha r},\qquad \beta= \vert D\vert ^{2\alpha r}+ \vert B\vert ^{2\alpha r}, \\& \gamma=\bigl\vert A^{*}\bigr\vert ^{2(1-\alpha)r}+ \bigl\vert B^{*}\bigr\vert ^{2(1-\alpha )r}, \qquad \delta= \bigl\vert D^{*}\bigr\vert ^{2(1-\alpha)r}+\bigl\vert C^{*}\bigr\vert ^{2(1-\alpha)r}. \end{aligned}$$

Remark 3.4

Let \(A=D\), \(B=C\), \(f(t)=t^{\alpha}\), and \(g(t)=t^{1- \alpha}\) with \(\alpha\in[0, 1]\) in Theorem 3.1. Then by using Lemma 2.5(ii) we get the inequalities (1.6) and (1.5)
$$\begin{aligned} \omega^{r} (A+B ) \leq&\omega^{r}\left (\left [ \textstyle\begin{array}{@{}c@{\quad}c@{}} A & B \\ B & A \end{array}\displaystyle \right ] \right )=\max \bigl\{ \omega^{r} (A+B ),\omega ^{r} (A-B ) \bigr\} \\ \leq&2^{r-2}\max\bigl(\bigl\Vert \vert A\vert ^{2\alpha r}+ \bigl\vert A^{*}\bigr\vert ^{2(1-\alpha) r}+\vert B\vert ^{2\alpha r}+ \bigl\vert B^{*}\bigr\vert ^{2(1-\alpha) r}\bigr\Vert , \\ &\bigl\Vert \vert A\vert ^{2\alpha r}+ \bigl\vert A^{*} \bigr\vert ^{2(1-\alpha) r}+\vert B\vert ^{2\alpha r}+ \bigl\vert B^{*}\bigr\vert ^{2(1-\alpha) r}\bigr\Vert \bigr) \\ =& 2^{r-2}\bigl\Vert \vert A\vert ^{2\alpha r}+\bigl\vert A^{*} \bigr\vert ^{2(1-\alpha) r}+\vert B\vert ^{2\alpha r}+ \bigl\vert B^{*} \bigr\vert ^{2(1-\alpha) r}\bigr\Vert . \end{aligned}$$
Now, in the last inequality letting \(A=B\) we get the following inequality:
$$\omega^{r} (A )\leq\frac{1}{2}\bigl\Vert \vert A \vert ^{2\alpha r}+\bigl\vert A^{*}\bigr\vert ^{2(1-\alpha) r}\bigr\Vert . $$
Also,
$$\begin{aligned} \Vert A+B\Vert ^{r} \leq&\left \Vert \left [ \textstyle\begin{array}{@{}c@{\quad}c@{}} A & B \\ B & A \end{array}\displaystyle \right ]\right \Vert ^{r}=\max \bigl\{ \Vert A+B\Vert ^{r},\Vert A-B\Vert ^{r} \bigr\} \\ \leq&2^{r-2} \bigl(\max \bigl(\bigl\Vert \vert A\vert ^{2\alpha r}+\vert B\vert ^{2\alpha r}\bigr\Vert ,\bigl\Vert \vert A \vert ^{2\alpha r}+\vert B\vert ^{2\alpha r}\bigr\Vert \bigr) \bigr) \\ &{}+2^{r-2} \bigl(\max \bigl(\bigl\Vert \bigl\vert A^{*} \bigr\vert ^{2(1-\alpha) r}+\bigl\vert B^{*}\bigr\vert ^{2(1-\alpha) r}\bigr\Vert , \bigl\Vert \bigl\vert A^{*}\bigr\vert ^{2(1-\alpha) r}+\bigl\vert B^{*} \bigr\vert ^{2(1-\alpha) r} \bigr\Vert \bigr) \bigr) \\ =& 2^{r-2} \bigl(\bigl\Vert \vert A\vert ^{2\alpha r}+\vert B \vert ^{2\alpha r}\bigr\Vert +\bigl\Vert \bigl\vert A^{*} \bigr\vert ^{2(1-\alpha) r}+\bigl\vert B^{*}\bigr\vert ^{2(1-\alpha) r}\bigr\Vert \bigr). \end{aligned}$$

Remark 3.5

Let \(r=1\) in Theorem 3.1. Then we get
$$\omega(T)\leq\frac {1}{2}\max\bigl\{ \Vert a\Vert ,\Vert b\Vert \bigr\} , $$
where
$$a =f^{2}\bigl(\vert A\vert \bigr)+ f^{2}\bigl(\vert C \vert \bigr)+ g^{2}\bigl(\bigl\vert A^{*}\bigr\vert \bigr)+ g^{2}\bigl(\bigl\vert B^{*}\bigr\vert \bigr) $$
and
$$b= f^{2}\bigl(\vert D\vert \bigr)+ f^{2}\bigl(\vert B \vert \bigr)+ g^{2}\bigl(\bigl\vert D^{*}\bigr\vert \bigr)+ g^{2}\bigl(\bigl\vert C^{*}\bigr\vert \bigr), $$
and this result is proved in Theorem 4 in [9].

Remark 3.6

Let \(B=C=0\), \(f(t)=t^{\alpha}\), and \(g(t)=t^{1- \alpha}\) with \(\alpha \in[0, 1]\) in part (b) of Theorem 3.1. Then by using Lemma 2.5(i) we get the following:
$$\begin{aligned} \omega^{r} (A ) \leq&\omega^{r}\left (\left [ \textstyle\begin{array}{@{}c@{\quad}c@{}} A & 0 \\ 0 & D \end{array}\displaystyle \right ] \right )=\max \bigl\{ \omega^{r} (A ),\omega ^{r} (D ) \bigr\} \\ \leq&2^{r-2}\max \bigl(\omega \bigl(\vert A\vert ^{2\alpha r}+ \bigl\vert A^{*}\bigr\vert ^{2(1-\alpha) r} \bigr),\omega \bigl( \vert D\vert ^{2\alpha r}+\bigl\vert D^{*}\bigr\vert ^{2(1-\alpha) r} \bigr) \bigr). \end{aligned}$$
Also, if \(D=0\), then
$$\begin{aligned} \omega^{r} (A ) \leq& 2^{r-2} \bigl(\omega \bigl( \vert A \vert ^{2\alpha r}+\bigl\vert A^{*}\bigr\vert ^{2(1-\alpha) r} \bigr) \bigr) \\ =& 2^{r-2}\bigl\Vert \vert A\vert ^{2\alpha r}+ \bigl\vert A^{*}\bigr\vert ^{2(1-\alpha) r}\bigr\Vert . \end{aligned}$$

3.2 Numerical radius equality for \(5\times5\) tridiagonal operator matrix

Here, we prove a numerical radius equality for a special \(5\times5\) tridiagonal operator matrix and then we prove a more general numerical radius inequality for the general \(5\times5\) tridiagonal operator matrix.

Theorem 3.7

Let \(A,B\in \operatorname{LB}(H)\) and
$$T=\left [ \textstyle\begin{array}{@{}c@{\quad}c@{\quad}c@{\quad}c@{\quad}c@{}} A & B & 0 & 0 & 0 \\ B & A & B & 0 & 0 \\ 0 & B & A & B & 0 \\ 0 & 0 & B & A & B \\ 0 & 0 & 0 & B & A \end{array}\displaystyle \right ] $$
be a tridiagonal operator matrix in \(\operatorname{LB}(H^{5})\). Then
$$\omega (T )=\max \bigl\{ \omega (A+\sqrt{3}B ), \omega (A+B ),\omega (A ),\omega (A-B ),\omega (A-\sqrt{3}B ) \bigr\} . $$

Proof

Let
$$U=\left [ \textstyle\begin{array}{@{}c@{\quad}c@{\quad}c@{\quad}c@{\quad}c@{}} \frac{1}{2}I & \frac{\sqrt{3}}{2}I & I & \frac{\sqrt{3}}{2}I & \frac{1}{2}I \\ \frac{\sqrt{3}}{2}I & \frac{\sqrt{3}}{2}I & 0 & -\frac{\sqrt {3}}{2}I & -\frac{\sqrt{3}}{2}I \\ I & 0 & -I & 0 & I \\ \frac{\sqrt{3}}{2}I & -\frac{\sqrt{3}}{2}I & 0 & \frac{\sqrt {3}}{2}I & -\frac{\sqrt{3}}{2}I \\ \frac{1}{2}I & -\frac{\sqrt{3}}{2}I & I & -\frac{\sqrt{3}}{2}I & \frac{1}{2}I \end{array}\displaystyle \right ] $$
be a partitioned operator matrix in \(\operatorname{LB}(H^{5})\), where I is the identity operator in \(\operatorname{LB}(H)\). Then it is easy to show that U is a unitary operator in \(\operatorname{LB}(H^{5})\) and
$$UTU^{*}=\left [ \textstyle\begin{array}{@{}c@{\quad}c@{\quad}c@{\quad}c@{\quad}c@{}} A+\sqrt{3}B & 0 & 0 & 0 & 0 \\ 0 & A+B & 0 & 0 & 0 \\ 0 & 0 & A & 0 & 0 \\ 0 & 0 & 0 & A-B & 0 \\ 0 & 0 & 0 & 0 & A-\sqrt{3}B \end{array}\displaystyle \right ]. $$
Hence, from the invariance property of weakly unitarily invariant norms and Lemma 2.5(i), we have the desired result. □

Here, we give some special cases in the following remark.

Remark 3.8

  1. (1)
    If \(B=0\), then
    $$\omega \left (\left [ \textstyle\begin{array}{@{}c@{\quad}c@{\quad}c@{\quad}c@{\quad}c@{}} A & 0 & 0 & 0 & 0 \\ 0 & A & 0 & 0 & 0 \\ 0 & 0 & A & 0 & 0 \\ 0 & 0 & 0 & A & 0 \\ 0 & 0 & 0 & 0 & A \end{array}\displaystyle \right ] \right )=\omega (A ). $$
     
  2. (2)
    If \(A=0\), then
    $$\omega \left (\left [ \textstyle\begin{array}{@{}c@{\quad}c@{\quad}c@{\quad}c@{\quad}c@{}} 0 & B & 0 & 0 & 0 \\ B & 0 & B & 0 & 0 \\ 0 & B & 0 & B & 0 \\ 0 & 0 & B & 0 & B \\ 0 & 0 & 0 & B & 0 \end{array}\displaystyle \right ] \right )=\sqrt{3} \omega (B ). $$
     
  3. (3)
    If \(A=B\), then
    $$\omega \left (\left [ \textstyle\begin{array}{@{}c@{\quad}c@{\quad}c@{\quad}c@{\quad}c@{}} A & A & 0 & 0 & 0 \\ A & A & A & 0 & 0 \\ 0 & A & A & A & 0 \\ 0 & 0 & A & A & A \\ 0 & 0 & 0 & A & A \end{array}\displaystyle \right ] \right )= (1+\sqrt{3} )\omega (A ). $$
     
  4. (4)
    If \(B=iA\), then
    $$\omega \left (\left [ \textstyle\begin{array}{@{}c@{\quad}c@{\quad}c@{\quad}c@{\quad}c@{}} A & iA & 0 & 0 & 0 \\ iA & A & iA & 0 & 0 \\ 0 & iA & A & iA & 0 \\ 0 & 0 & iA & A & iA \\ 0 & 0 & 0 & iA & A \end{array}\displaystyle \right ] \right )=2 \omega (A ). $$
     

Now, the second result in this section is an inequality for a more general tridiagonal operator matrix than the previous one.

Theorem 3.9

Let
$$S =\left [ \textstyle\begin{array}{@{}c@{\quad}c@{\quad}c@{\quad}c@{\quad}c@{}} A & B & 0 & 0 & 0 \\ C & A & B & 0 & 0 \\ 0 & C & A & B & 0 \\ 0 & 0 & C & A & B \\ 0 & 0 & 0 & C & A \end{array}\displaystyle \right ] $$
be a partitioned operator in \(\operatorname{LB}(H^{5})\). Then
$$\begin{aligned} \omega (S ) \geq& \frac{1}{2}\max\bigl\{ \omega \bigl(2A+\sqrt{3} (B+C ) \bigr),\omega (2A+B+C ), \\ &\omega (2A ),\omega (2A-B-C ),\omega \bigl(A-\sqrt{3} (B+C ) \bigr)\bigr\} . \end{aligned}$$

Proof

It is easy to show that
$$U =\left [ \textstyle\begin{array}{@{}c@{\quad}c@{\quad}c@{\quad}c@{\quad}c@{}} 0 & 0 & 0 & 0 & I \\ 0 & 0 & 0 & I & 0 \\ 0 & 0 & I & 0 & 0 \\ 0 & I & 0 & 0 & 0 \\ I & 0 & 0 & 0 & 0 \end{array}\displaystyle \right ] $$
is a unitary operator in \(\operatorname{LB}(H^{5})\) and
$$S+USU^{*}=\left [ \textstyle\begin{array}{@{}c@{\quad}c@{\quad}c@{\quad}c@{\quad}c@{}} 2A & B+C & 0 & 0 & 0 \\ B+C & 2A & B+C & 0 & 0 \\ 0 & B+C & 2A & B+C & 0 \\ 0 & 0 & B+C & 2A & B+C \\ 0 & 0 & 0 & B+C & 2A \end{array}\displaystyle \right ]. $$
Hence, from the invariance property of weakly unitarily invariant norms, we have
$$\begin{aligned} \omega \bigl(S+USU^{*} \bigr) =&\max\bigl\{ \omega \bigl(2A+\sqrt {3} (B+C ) \bigr), \omega (2A+B+C ),\omega (2A ), \\ &\omega (2A-B-C ),\omega \bigl(A-\sqrt{3} (B+C ) \bigr)\bigr\} . \end{aligned}$$
Thus,
$$\begin{aligned} \omega (S ) \geq&\frac{1}{2}\max\bigl\{ \omega \bigl(2A+\sqrt{3} (B+C ) \bigr), \omega (2A+B+C ),\omega (2A ), \\ &\omega (2A-B-C ),\omega \bigl(A-\sqrt{3} (B+C ) \bigr)\bigr\} , \end{aligned}$$
as required. □

4 Conclusion

New inequalities for general \(2\times2\) operator matrices were derived. These inequalities, which are based on some classical convexity inequalities for the nonnegative real numbers, generalize earlier inequalities for sums of operators. Some other related results were also presented. Also, a numerical radius equality for a \(5\times5\) tridiagonal operator matrix was given.

Declarations

Acknowledgements

The authors would like to thank the anonymous reviewers for their helpful and constructive comments. The author Watheq Bani-Domi would like to thank Yarmouk University for partial support.

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Authors’ Affiliations

(1)
Department of Mathematics, Hashemite University
(2)
Department of Mathematics, Yarmouk University

References

  1. Gustafson, KE, Rao, DKM: Numerical Range. Springer, New York (1997) View ArticleMATHGoogle Scholar
  2. Halmos, PR: A Hilbert Space Problem Book, 2nd edn. Springer, New York (1982) View ArticleMATHGoogle Scholar
  3. Kittaneh, F: A numerical radius inequality and an estimate for the numerical radius of the Frobenius companion matrix. Stud. Math. 158, 11-17 (2003) MathSciNetView ArticleMATHGoogle Scholar
  4. Kittaneh, F: Numerical radius inequalities for Hilbert space operators. Stud. Math. 168, 73-80 (2005) MathSciNetView ArticleMATHGoogle Scholar
  5. El-Haddad, M, Kittaneh, F: Numerical radius inequalities for Hilbert space operators. II. Stud. Math. 182, 133-140 (2007) MathSciNetView ArticleMATHGoogle Scholar
  6. Kittaneh, F: Notes on some inequalities for Hilbert space operators. Publ. Res. Inst. Math. Sci. 24, 283-293 (1988) MathSciNetView ArticleMATHGoogle Scholar
  7. Hardy, GH, Littlewood, JE, Pólya, G: Inequalities, 2nd edn. Cambridge University Press, Cambridge (1988) MATHGoogle Scholar
  8. Bani-Domi, W, Kittaneh, F: Norm equalities and inequalities for operator matrices. Linear Algebra Appl. 429, 57-67 (2008) MathSciNetView ArticleMATHGoogle Scholar
  9. Bani-Domi, W: Generalized numerical radius inequalities for 2 × 2 $2\times2$ operator matrices. Ital. J. Pure Appl. Math. (to appear) Google Scholar

Copyright

© Bani-Ahmad and Bani-Domi 2016