- Research Article
- Open access
- Published:
Some Inequalities of the Grüss Type for the Numerical Radius of Bounded Linear Operators in Hilbert Spaces
Journal of Inequalities and Applications volume 2008, Article number: 763102 (2010)
Abstract
Some inequalities of the Grüss type for the numerical radius of bounded linear operators in Hilbert spaces are established.
1. Introduction
Let be a complex Hilbert space. The numerical range of an operator
is the subset of the complex numbers
given by [1, page 1]:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F763102/MediaObjects/13660_2008_Article_1859_Equ1_HTML.gif)
The numerical radius of an operator
on
is given by [1, page 8]:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F763102/MediaObjects/13660_2008_Article_1859_Equ2_HTML.gif)
It is well known that is a norm on the Banach algebra
of all bounded linear operators
This norm is equivalent to the operator norm. In fact, the following more precise result holds [1, page 9].
Theorem 1.1 (equivalent norm).
For any one has
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F763102/MediaObjects/13660_2008_Article_1859_Equ3_HTML.gif)
For other results on numerical radius (see [2, Chapter 11]).
We recall some classical results involving the numerical radius of two linear operators
The following general result for the product of two operators holds [1, page 37].
Theorem 1.2.
If are two bounded linear operators on the Hilbert space
then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F763102/MediaObjects/13660_2008_Article_1859_Equ4_HTML.gif)
In the case that then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F763102/MediaObjects/13660_2008_Article_1859_Equ5_HTML.gif)
The following results are also well known [1, page 38].
Theorem 1.3.
If is a unitary operator that commutes with another operator
then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F763102/MediaObjects/13660_2008_Article_1859_Equ6_HTML.gif)
If is an isometry and
then (1.6) also holds true.
We say that and
double commute, if
and
The following result holds [1, page 38].
Theorem 1.4 (double commute).
If the operators and
double commute, then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F763102/MediaObjects/13660_2008_Article_1859_Equ7_HTML.gif)
As a consequence of the above, one has [1, page 39] the following.
Corollary 1.5.
Let be a normal operator commuting with
Then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F763102/MediaObjects/13660_2008_Article_1859_Equ8_HTML.gif)
For other results and historical comments on the above (see [1, pages 39–41]). For more results on the numerical radius, see [2].
In the recent survey paper [3], we provided other inequalities for the numerical radius of the product of two operators. We list here some of the results.
Theorem 1.6.
Let be two bounded linear operators on the Hilbert space
then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F763102/MediaObjects/13660_2008_Article_1859_Equ9_HTML.gif)
respectively.
If more information regarding one of the operators is available, then the following results may be stated as well.
Theorem 1.7.
Let be two bounded linear operators on
, and
is invertible such that, for a given
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F763102/MediaObjects/13660_2008_Article_1859_Equ10_HTML.gif)
Then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F763102/MediaObjects/13660_2008_Article_1859_Equ11_HTML.gif)
respectively.
Motivated by the natural questions that arise, in order to compare the quantity with other expressions comprising the norm or the numerical radius of the involved operators
and
(or certain expressions constructed with these operators), we establish in this paper some natural inequalities of the form
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F763102/MediaObjects/13660_2008_Article_1859_Equ12_HTML.gif)
or
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F763102/MediaObjects/13660_2008_Article_1859_Equ13_HTML.gif)
where and
are specified and desirably simple constants (depending on the given operators
and
Applications in providing upper bounds for the non-negative quantities
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F763102/MediaObjects/13660_2008_Article_1859_Equ14_HTML.gif)
and the superunitary quantities
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F763102/MediaObjects/13660_2008_Article_1859_Equ15_HTML.gif)
are also given.
2. Numerical Radius Inequalities of Grüss Type
For the complex numbers and the bounded linear operator
, we define the following transform:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F763102/MediaObjects/13660_2008_Article_1859_Equ16_HTML.gif)
where by we denote the adjoint of
.
We list some properties of the transform that are useful in the following.
(i)For any and
we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F763102/MediaObjects/13660_2008_Article_1859_Equ17_HTML.gif)
-
(ii)
The operator
is normal, if and only if
for each
.
We recall that a bounded linear operator on the complex Hilbert space
is called accretive, if
, for any
Utilizing the following identity
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F763102/MediaObjects/13660_2008_Article_1859_Equ18_HTML.gif)
that holds for any scalars and any vector
with
we can give a simple characterization result that is useful in the following.
Lemma 2.1.
For and
the following statements are equivalent.
(i)The transformis accretive.
(ii)The transformis accretive.
(iii)One has the norm inequality
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F763102/MediaObjects/13660_2008_Article_1859_Equ19_HTML.gif)
or, equivalently,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F763102/MediaObjects/13660_2008_Article_1859_Equ20_HTML.gif)
Remark 2.2.
In order to give examples of operators and numbers
such that the transform
is accretive, it suffices to select a bounded linear operator
and the complex numbers
with the property that
, and by choosing
and
we observe that
satisfies (2.4), that is,
is accretive.
The following results compare the quantities and
provided that some information about the transforms
and
are available, where
.
Theorem 2.3.
Let and
be such that the transforms
and
are accretive, then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F763102/MediaObjects/13660_2008_Article_1859_Equ21_HTML.gif)
Proof.
Since and
are accretive, then, on making use of Lemma 2.1, we have that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F763102/MediaObjects/13660_2008_Article_1859_Equ22_HTML.gif)
for any
Now, we make use of the following Grüss type inequality for vectors in inner product spaces obtained by the author in [4] (see also [5] or [6, page 43]).
Let be an inner product space over the real or complex number field
,
and
such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F763102/MediaObjects/13660_2008_Article_1859_Equ23_HTML.gif)
or equivalently,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F763102/MediaObjects/13660_2008_Article_1859_Equ24_HTML.gif)
then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F763102/MediaObjects/13660_2008_Article_1859_Equ25_HTML.gif)
Applying (2.10) for , and
we deduce
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F763102/MediaObjects/13660_2008_Article_1859_Equ26_HTML.gif)
for any which is an inequality of interest in itself.
Observing that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F763102/MediaObjects/13660_2008_Article_1859_Equ27_HTML.gif)
then by (2.10), we deduce the inequality
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F763102/MediaObjects/13660_2008_Article_1859_Equ28_HTML.gif)
for any On taking the supremum over
in (2.13), we deduce the desired result (2.6).
The following particular case provides an upper bound for the nonnegative quantity when some information about the operator
is available.
Corollary 2.4.
Let and
be such that the transform
is accretive, then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F763102/MediaObjects/13660_2008_Article_1859_Equ29_HTML.gif)
Proof.
Follows on applying Theorem 2.3 above for the choice taking into account that
is accretive implies that
is the same and
Remark 2.5.
Let and
be such that the transform
is accretive. Then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F763102/MediaObjects/13660_2008_Article_1859_Equ30_HTML.gif)
A sufficient simple condition for to be accretive is that
is a self-adjoint operator on
and such that
in the partial operator order of
The following result may be stated as well.
Theorem 2.6.
Let and
be such that
and the transforms
are accretive, then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F763102/MediaObjects/13660_2008_Article_1859_Equ31_HTML.gif)
respectively.
Proof.
With the assumptions (2.8) (or, equivalently, (2.9) in the proof of Theorem 2.3) and if then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F763102/MediaObjects/13660_2008_Article_1859_Equ32_HTML.gif)
The first inequality has been established in [7] (see [6, page 62]) while the second one can be obtained in a canonical manner from the reverse of the Schwarz inequality given in [8]. The details are omitted.
Applying (2.10) for , and
we deduce
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F763102/MediaObjects/13660_2008_Article_1859_Equ33_HTML.gif)
for any which are of interest in themselves.
A similar argument to that in the proof of Theorem 2.3 yields the desired inequalities (2.16). The details are omitted.
Corollary 2.7.
Let and
be such that
and the transform
is accretive, then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F763102/MediaObjects/13660_2008_Article_1859_Equ34_HTML.gif)
respectively.
The proof is obvious from Theorem 2.6 on choosing and the details are omitted.
Remark 2.8.
Let and
be such that the transform
is accretive. Then, on making use of Corollary 2.7, we may state the following simpler results:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F763102/MediaObjects/13660_2008_Article_1859_Equ35_HTML.gif)
respectively. These two inequalities were obtained earlier by the author using a different approach (see [9]).
Problem 1.
Find general examples of bounded linear operators realizing the equality case in each of inequalities (2.6), (2.16), respectively.
3. Some Particular Cases of Interest
The following result is well known in the literature (see, e.g., [10]):
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F763102/MediaObjects/13660_2008_Article_1859_Equ36_HTML.gif)
for each positive integer and any operator
The following reverse inequalities for can be stated.
Proposition 3.1.
Let and
be such that the transform
is accretive, then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F763102/MediaObjects/13660_2008_Article_1859_Equ37_HTML.gif)
Proof.
On applying inequality (2.11) from Theorem 2.3 for the choice we get the following inequality of interest in itself:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F763102/MediaObjects/13660_2008_Article_1859_Equ38_HTML.gif)
for any Since obviously,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F763102/MediaObjects/13660_2008_Article_1859_Equ39_HTML.gif)
then by (3.3), we get
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F763102/MediaObjects/13660_2008_Article_1859_Equ40_HTML.gif)
for any Taking the supremum over
in (3.5), we deduce the desired result (3.2).
Remark 3.2.
Let and
be such that the transform
is accretive. Then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F763102/MediaObjects/13660_2008_Article_1859_Equ41_HTML.gif)
If in the partial operator order of
then (3.6) is valid.
Finally, we also have the following proposition.
Proposition 3.3.
Let and
be such that
and the transform
is accretive, then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F763102/MediaObjects/13660_2008_Article_1859_Equ42_HTML.gif)
respectively.
Proof.
On applying inequality (2.18) from Theorem 2.6 for the choice we get the following inequality of interest in itself:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F763102/MediaObjects/13660_2008_Article_1859_Equ43_HTML.gif)
for any
Now, on making use of a similar argument to the one in the proof of Proposition 3.1, we deduce the desired results (3.7). The details are omitted.
Remark 3.4.
Let and
be such that the transform
is accretive. Then, on making use of Proposition 3.3, we may state the following simpler results:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F763102/MediaObjects/13660_2008_Article_1859_Equ44_HTML.gif)
respectively.
References
Gustafson KE, Rao DKM: Numerical Range: The Field of Values of Linear Operators and Matrices, Universitext. Springer, New York, NY, USA; 1997:xiv+189.
Halmos PR: A Hilbert Space Problem Book, Graduate Texts in Mathematics. Volume 19. 2nd edition. Springer, New York, NY, USA; 1982:xvii+369.
Dragomir SS: A survey of some recent inequalities for the norm and numerical radius of operators in Hilbert spaces. Banach Journal of Mathematical Analysis 2007,1(2):154–175.
Dragomir SS: A generalization of Grüss's inequality in inner product spaces and applications. Journal of Mathematical Analysis and Applications 1999,237(1):74–82. 10.1006/jmaa.1999.6452
Dragomir SS: Some Grüss type inequalities in inner product spaces. Journal of Inequalities in Pure and Applied Mathematics 2003,4(2, article 42):1–10.
Dragomir SS: Advances in Inequalities of the Schwarz, Grüss and Bessel Type in Inner Product Spaces. Nova Science, Hauppauge, NY, USA; 2005:viii+249.
Dragomir SS: Reverses of Schwarz, triangle and Bessel inequalities in inner product spaces. Journal of Inequalities in Pure and Applied Mathematics 2004,5(3, article 76):1–18.
Dragomir SS: Reverses of the Schwarz inequality generalising a Klamkin-McLenaghan result. Bulletin of the Australian Mathematical Society 2006,73(1):69–78. 10.1017/S0004972700038636
Dragomir SS: Reverse inequalities for the numerical radius of linear operators in Hilbert spaces. Bulletin of the Australian Mathematical Society 2006,73(2):255–262. 10.1017/S0004972700038831
Pearcy C: An elementary proof of the power inequality for the numerical radius. The Michigan Mathematical Journal 1966,13(3):289–291.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Dragomir, S.S. Some Inequalities of the Grüss Type for the Numerical Radius of Bounded Linear Operators in Hilbert Spaces. J Inequal Appl 2008, 763102 (2010). https://doi.org/10.1155/2008/763102
Received:
Accepted:
Published:
DOI: https://doi.org/10.1155/2008/763102