- Research
- Open access
- Published:
New norm equalities and inequalities for operator matrices
Journal of Inequalities and Applications volume 2016, Article number: 175 (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.
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)\),
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)\),
for any unitary \(U \in \operatorname{LB}(H)\).
Also
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
where \(|M|=(M^{*}M)^{\frac{1}{2}}\) means the absolute value of M, and
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
and
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
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
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
-
(a)
\(\langle M x, x\rangle^{s}\leq\langle M^{s}x, x\rangle\) for \(s\geq1\),
-
(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
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
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
-
(a)
\(\Vert T\Vert ^{r}\leq 2^{r-2} (\max \{\Vert \rho \Vert ,\Vert \beta \Vert \}+\max \{\Vert \gamma \Vert ,\Vert \delta \Vert \} )\),
-
(b)
\(\omega^{r}(T)\leq 2^{r-2}\max\{\omega(\rho+\gamma),\omega (\beta+\delta)\}\),
where
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
where
Thus,
and so
Hence,
(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:
and so
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:
where
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)
Now, in the last inequality letting \(A=B\) we get the following inequality:
Also,
Remark 3.5
Let \(r=1\) in Theorem 3.1. Then we get
where
and
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:
Also, if \(D=0\), then
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
be a tridiagonal operator matrix in \(\operatorname{LB}(H^{5})\). Then
Proof
Let
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
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)
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)
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)
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)
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
be a partitioned operator in \(\operatorname{LB}(H^{5})\). Then
Proof
It is easy to show that
is a unitary operator in \(\operatorname{LB}(H^{5})\) and
Hence, from the invariance property of weakly unitarily invariant norms, we have
Thus,
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.
References
Gustafson, KE, Rao, DKM: Numerical Range. Springer, New York (1997)
Halmos, PR: A Hilbert Space Problem Book, 2nd edn. Springer, New York (1982)
Kittaneh, F: A numerical radius inequality and an estimate for the numerical radius of the Frobenius companion matrix. Stud. Math. 158, 11-17 (2003)
Kittaneh, F: Numerical radius inequalities for Hilbert space operators. Stud. Math. 168, 73-80 (2005)
El-Haddad, M, Kittaneh, F: Numerical radius inequalities for Hilbert space operators. II. Stud. Math. 182, 133-140 (2007)
Kittaneh, F: Notes on some inequalities for Hilbert space operators. Publ. Res. Inst. Math. Sci. 24, 283-293 (1988)
Hardy, GH, Littlewood, JE, Pólya, G: Inequalities, 2nd edn. Cambridge University Press, Cambridge (1988)
Bani-Domi, W, Kittaneh, F: Norm equalities and inequalities for operator matrices. Linear Algebra Appl. 429, 57-67 (2008)
Bani-Domi, W: Generalized numerical radius inequalities for \(2\times2\) operator matrices. Ital. J. Pure Appl. Math. (to appear)
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.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
FAB-A gave and proved some results in the paper. WB-D gave and proved other results and comments on the first author’s results. Both authors read and approved the final manuscript.
Rights and permissions
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.
About this article
Cite this article
Bani-Ahmad, F.A., Bani-Domi, W. New norm equalities and inequalities for operator matrices. J Inequal Appl 2016, 175 (2016). https://doi.org/10.1186/s13660-016-1108-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-016-1108-y