- Research
- Open access
- Published:
An extension of several essential numerical radius inequalities of \(2\times 2\) off-diagonal operator matrices
Advances in Difference Equations volume 2020, Article number: 336 (2020)
Abstract
In this work, we provide upper and lower bounds for the numerical radius of an \(n\times n\) off-diagonal operator matrix, which extends some results by Abu-Omar and Kittaneh (Stud. Math. 216:69–75, 2013; Linear Algebra Appl. 468:18–26, 2015; Rocky Mt. J. Math. 45(4):1055–1065, 2015), and Paul and Bag (Appl. Math. Comput. 222:2731–2943, 2013).
1 Introduction
Let \(B(H)\) denote the \(C^{*}\)-algebra of all bounded linear operators on a complex Hilbert space H endowed with inner product \(\langle {\cdot,\cdot} \rangle \). The numerical radius and the usual operator norm of \(T\in B(H)\) are given by \(w(T) = \mathop{\sup } \vert \langle {Tx,x} \rangle \vert \) and \(\Vert T \Vert = \mathop{\sup } \sqrt{{ \langle {Tx,Tx} \rangle } }\), respectively, over all the unit vectors \(x\in H\). Also, the nonnegative number \(m(T)\) is given by \(m(T) = \inf | \langle {Tx,x} \rangle |\). It is well known that the numerical radius \(w(T)\) defines an equivalent norm to the usual operator norm on \(B(H)\) as follows [8]:
In [9], Kittaneh gives an improvement for the upper bound of (1.1) by using several norm inequalities
which has been again refined in [1] by using the concept of the generalized Aluthge transform of T as follows:
where \({{\tilde{T}}_{t}} = |T{|^{t}}U|T{|^{1 - t}}\) for \(t\in [0,1]\). Another improvement for the two-sided inequality (1.1) has been provided in [3] by showing that
where \(\alpha = \Vert {|T|^{2} + |{T^{*}}|^{2}} \Vert \). This estimation has been recently improved in [12] in the following form:
with \(P = |T|^{2} + |{T^{*}}|\) and \(c(T) = \inf_{ \substack{ \Vert x \Vert = 1\\ x \in {H}}}\inf_{\theta \in R} \Vert \operatorname{Re} ({e^{i \theta }}T )x \Vert \). Moreover, the authors in [2] gave a generalization for (1.4) in this fashion:
where \(\beta = \Vert {|B|^{2}} + {|{C^{*}}|^{2}} \Vert \).
Let \(H_{1}\), \(H_{2}\) be Hilbert spaces, and let \(A\in B(H_{1})\), \(B\in B(H_{2},H_{1})\), \(C\in B(H_{1},H_{2})\), and \(D\in B(H_{2})\). For our purposes, we recall the following fundamental facts that are relevant to our work:
It is worth mentioning here that the inequalities (1.7), (1.8), and (1.9) remain valid for \(n\times n\) operator matrices.
The aim of this paper is to give generalizations for the inequalities (1.3), (1.4), (1.5), (1.6), and (1.10).
2 Numerical radius inequalities for \(n\times n\) operator matrices
In this section, we will extend several well-known numerical radius inequalities of \(2\times 2\) operator matrices. We start by the following characterization for the numerical radius of \(T\in B(H)\) [13].
Theorem 2.1
Let\(T\in B(H)\). Then
We now state our main results which can be seen as a generalization of (1.10) from \(2\times 2\) operator matrices to a broad family of \(n\times n\) operator matrices.
Theorem 2.2
Let\(Y\in B(H)\)andnbe an odd natural number. Then, for arbitrary\({\lambda _{1}},\ldots ,{\lambda _{\frac{{n + 1}}{2}}} \in \mathbb{C}\), we have
Proof
Let
A direct computation shows that U is unitary operator and
Therefore, the result follows by the weakly unitary invariance of \(w(\cdot )\) and (1.9). □
As a direct consequence, we have the following generalization of (1.10).
Corollary 2.3
Let\(Y\in B(H)\). Then, for every\(n\in \mathbb{N}\), we have
Proof
It suffices to show the result in the case when \(n=2\) and n is an odd natural number. The first case follows from (1.10), and the second case from Theorem 2.2 by letting \({\lambda _{i}} = 1\), \((i=1,2,\ldots,\frac{n+1}{2})\). □
In our next result, we extend inequality (1.3) to arbitrary finite number of bounded linear operators on a complex Hilbert space.
Theorem 2.4
Let\(\{A_{i} \}_{i=1}^{n}\in B(H)\)and let\(A_{i}=U_{i} |A_{i} |\)be the polar decomposition of\(A_{i}\). Then
where\(O_{i}= |A_{n+1-i} |^{t}U_{i} |A_{i} |^{1-t}\), \(t\in [0,1]\).
Proof
Note that we have the following polar formulation
Thus the result follows from inequality (1.3). □
It is worth noting here that the inequality (1.3) can now be seen as a direct consequence of Theorems 2.2 and 2.4 when \(A_{1}=A_{2}=\cdots =A_{n}\).
Now, by using Theorem 2.1 together with the inequality (1.8), we have the following extension of the two-sided inequality (1.6).
Theorem 2.5
Let\(H_{1}\), \(H_{2}\), ..., \(H_{n}\)be Hilbert spaces, and let
with\(\{ A_{m} \} _{m=1}^{n}\in B (H_{n-m+1},H_{m} )\). Set\(E = \{ 1,2, \ldots ,\frac{n}{2} \} \)and\(O = \{ 1,2, \ldots ,\frac{{n - 1}}{2} \} \), then
where
and
Proof
Let n be an even number. Then
Now,
Therefore,
which shows the upper bound of inequality (2.3). To show the lower bound of inequality (2.3), let \(\psi \in \mathbb{R}\) be such that \({e^{2i\psi }} \langle {A_{n - s + 1}}{A_{s}}x, x \rangle = \vert \langle {A_{n - s + 1}}{A_{s}}x, x \rangle \vert \) for any unit vector \(x\in H_{n-s+1}\) where \(s\in E\). Then
Therefore,
As \(s\in E\) is arbitrary, \(2 w(T) \ge \mathop{\max }_{k \in E} \{d_{k} \}\), which completes the proof of inequality (2.3).
On the other hand, if n is an odd number, then
Now, arguing in a like fashion for the remaining steps completes the proof of inequality (2.4). □
It is clear that the two-sided inequality (1.6) can be obtained as a special case of Theorem 2.5 by taking \(n=2\) in (2.3). Further, the two-sided inequality (1.4) can be viewed as a consequence of Corollary 2.3 together with Theorem 2.5 when \(H_{1}=H_{2}=\cdots=H_{n}=H\).
Theorem 2.6
Under the same assumption of the previous theorem with\({B _{k}} = |{A_{k}}|^{2} + |A_{n - k +1}^{*}|^{2}\), we have
where
and
Proof
Let n be an even number. Then
Now,
Thus,
which shows the upper bound of inequality (2.5). To show the lower bound of inequality (2.5), let \(\psi \in \mathbb{R}\) be such that \({e^{2i\psi }}\langle {A_{n - s + 1}}{A_{s}}x,x\rangle = |\langle {A_{n - s + 1}}{A_{s}}x,x\rangle |\) for any unit vector \(x\in H_{n-s+1}\) where \(s\in E\). Then
Now, applying the supremum over all the unit vectors \(x\in H_{n-s+1}\) yields
for any \(s\in E\). Thus, we have the lower bound of (2.5).
Following the same argument as above, one can easily show that the inequality (2.6) holds when n is an odd number. □
It is clear to see that the lower bound provided in inequality (2.5) is preferable over the corresponding one of (1.2). Also, the upper bound of inequality (2.5) is better than the upper bound of inequality (1.11). To justify this, we need first to recall the following lemma from [7].
Lemma 2.7
Let\(T_{1},T_{2}\in B(H)\)such that\(\Vert T_{2} \Vert \leq 1\). Then\(w (T_{1}T_{2}+T_{2}^{*}T_{1} )\leq 2w(T)\).
Now, by Theorem 2.6 with \(n=2\) and the last lemma, we have
3 Conclusion
In the current work, novel upper and lower bounds for the numerical radius of \(n\times n\) off-diagonal operator matrices have been provided. The obtained numerical radius inequalities generalize several well-known related results in the literature. As an application, these numerical radius inequalities can be naturally utilized to provide new bounds for the zeros of polynomials over the complex field as in [4, 5, 10].
Lastly, it is worth mentioning here that several mathematical concepts have been recently modified in the sense of fractional calculus; see for example [6, 11, 14–16]. Our aim in the future is to extend the ideas that we have discussed here into the fractional sense.
References
Abu-Omar, A., Kittaneh, F.: A numerical radius inequality involving the generalized Aluthge transform. Stud. Math. 216, 69–75 (2013)
Abu-Omar, A., Kittaneh, F.: Numerical radius inequalities for \(n\times n\) operator matrices. Linear Algebra Appl. 468, 18–26 (2015)
Abu-Omar, A., Kittaneh, F.: Upper and lower bounds for the numerical radius with an application to involution operator. Rocky Mt. J. Math. 45(4), 1055–1065 (2015)
Al-Dolat, M., Al-Zoubi, K., Ali, M., Bani-Ahamed, F.: General numerical radius inequalities for matrices of operators. Open Math. 14, 1–9 (2016)
Al-Dolat, M., Jaradat, I., Al-Husban, B.: A novel numerical radius upper bounds for \(2\times 2\) operator matrices. Linear Multilinear Algebra (2020). https://doi.org/10.1080/03081087.2020.1756199
Bhatter, S., Mathur, A., Kumar, D., Singh, J.: A new analysis of fractional Drinfeld–Sokolov–Wilson model with exponential memory. Physica A 537, 122578 (2020)
Fong, C.K., Holbrook, J.A.R.: Unitarily invariant operator norms. Can. J. Math. 35(2), 274–299 (1983)
Gustafson, K.E., Rao, D.K.M.: Numerical Range. Springer, New York (1997)
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.: Bounds for the zeros of polynomials for matrix inequalities. Arch. Math. 81, 601–1608 (2003)
Kumar, D., Singh, J., Baleanu, D.: A new numerical algorithm for fractional Fitzhugh–Nagumo equation arising in transmission of nerve impulses. Nonlinear Dyn. 91, 307–317 (2018)
Paul, K., Bag, S.: Estimation of bounds for the zeros of a polynomial using numerical radius. Appl. Math. Comput. 222, 2731–2943 (2013)
Yamazaki, T.: On upper and lower bounds of the numerical radius and an equality condition. Stud. Math. 178, 83–89 (2007)
Yang, X.J.: New general fractional-order rheological models with kernels of Mittag-Leffler functions. Rom. Rep. Phys. 69, 118 (2017)
Yang, X.J., Gao, F., Ju, Y., Zhou, H.W.: Fundamental solutions of the general fractional-order diffusion equations. Math. Methods Appl. Sci. 41, 9312–9320 (2018)
Yang, X.J., Machado, J.A., Nieto, J.J.: A new family of the local fractional PDEs. Fundam. Inform. 151(1–4), 63–75 (2017)
Acknowledgements
The authors thank the editor and anonymous reviewers for their valuable suggestions, which substantially improved the quality of the paper.
Availability of data and materials
Not applicable.
Funding
The authors received no specific funding for this work.
Author information
Authors and Affiliations
Contributions
The authors declare that this study was accomplished in collaboration with the same responsibility. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Ethics approval and consent to participate
Not applicable.
Competing interests
The authors declare that there are no conflicts of interest regarding the publication of this article.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Al-Dolat, M., Jaradat, I. & Baleanu, D. An extension of several essential numerical radius inequalities of \(2\times 2\) off-diagonal operator matrices. Adv Differ Equ 2020, 336 (2020). https://doi.org/10.1186/s13662-020-02795-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-020-02795-7