Open Access

Weyl-type theorems and k-quasi-M-hyponormal operators

Contributed equally
Journal of Inequalities and Applications20132013:446

https://doi.org/10.1186/1029-242X-2013-446

Received: 24 April 2013

Accepted: 29 August 2013

Published: 1 November 2013

Abstract

In this paper, we show that if E is the Riesz idempotent for a non-zeroisolated point λ of the spectrum of ak-quasi-M-hyponormal operator T, then E isself-adjoint, and R ( E ) = N ( T λ ) = N ( T λ ) . Also, we obtain that Weyl-type theorems hold foralgebraically k-quasi-M-hyponormal operators.

MSC: 47B20, 47A10.

Keywords

k-quasi-M-hyponormal operatorsRiesz idempotent operatorsWeyl-type theorems

1 Introduction

Let T be a bounded linear operator on a complex Hilbert space H,write it for T B ( H ) , take a complex number λ in , and,henceforth, shorten T λ I to T λ . One of recent trends in operator theory is studying naturalextensions of normal operators. We introduce some of these operators as follows.

T is said to be a hyponormal operator if T T T T ;

T is M-hyponormal [1] if there exists a real positive number M such that
M 2 ( T λ ) ( T λ ) ( T λ ) ( T λ ) for all  λ C ;
T is quasi-M-hyponormal [2] if there exits a real positive number M such that
T ( M 2 ( T λ ) ( T λ ) ) T T ( T λ ) ( T λ ) T for all  λ C ;
T is k-quasi-M-hyponormal [3] if there exists a real positive number M such that
T k ( M 2 ( T λ ) ( T λ ) ) T k T k ( T λ ) ( T λ ) T k for all  λ C ,

where k is a natural number.

It is clear that hyponormal M -hyponormal k -quasi- M -hyponormal .

We give the following example to indicate that there exists an M-hyponormaloperator, which is not hyponormal.

Example 1.1 Consider the unilateral weighted shift operator as aninfinite-dimensional Hilbert space operator. Recall that given a bounded sequence ofpositive numbers α: α 1 , α 2 , α 3 , (called weights), the unilateral weighted shift W α associated with α is the operator on H = l 2 defined by W α e n : = α n e n + 1 for all n 1 , where { e n } n = 1 is the canonical orthogonal basis for l 2 . It is well known that W α is hyponormal if and only if α is monotonicallyincreasing. Also, W α is M-hyponormal if and only if α iseventually increasing. Hence, if we take the weights α such that α 1 = 2 , α 2 = 1 , α 3 = 2 , α 3 = α 4 =  , then W α is an M-hyponormal operator, but it is nothyponormal.

Next, we give a 2-quasi-M-hyponormal operator, which is notM-hyponormal.

Example 1.2 Let T = ( 0 1 0 0 ) defined on C 2 . Then by simple calculations, we see that T is a2-quasi-M-hyponormal operator, but is not M-hyponormal.

If T B ( H ) , we shall write N ( T ) and R ( T ) for the null space and the range space of T. Also, let α ( T ) : = dim N ( T ) , β ( T ) : = dim N ( T ) , σ ( T ) and iso σ ( T ) for the spectrum and the isolated points of the spectrum ofT, respectively.

Let λ iso σ ( T ) . The Riesz idempotent E of T with respect toλ is defined by E = 1 2 π i D ( μ T ) 1 d μ , where D is a closed disk, centered at λ,which contains no other points of σ ( T ) . It is well known that the Riesz idempotent satisfies E 2 = E , E T = T E , σ ( T | R ( E ) ) = { λ } , and N ( T λ ) R ( E ) . Stampfli [4] showed that if T satisfies the growth condition G 1 , then E is self-adjoint and R ( E ) = N ( T λ ) . Recently, Chō and Tanahashi [5] obtained an improvement of Stampfli’s result top-hyponormal operators or log-hyponormal operators. Furthermore, Chōand Han extended it to M-hyponormal operators as follows.

Proposition 1.3 [[6], Theorem 4]

Let T be an M-hyponormal operator, and let λ be an isolated point of σ ( T ) . If E is the Riesz idempotent for λ, then E is self-adjoint, and R ( E ) = N ( T λ ) = N ( T λ ) .

2 Isolated point of spectrum of k-quasi-M-hyponormaloperators

Lemma 2.1 Let T be a k-quasi-M-hyponormal operator. If 0 λ C , and assume that σ ( T ) = { λ } , then T = λ I .

Proof If λ 0 and σ ( T ) = { λ } , then T is invertible, so T is anM-hyponormal operator, and hence, T = λ I by [6]. □

Lemma 2.2 Let T be a k-quasi-M-hyponormal operator and 0 λ C . Then T x = λ x implies that T x = λ ¯ x .

Proof Suppose that T x = λ x . Since T is a k-quasi-M-hyponormaloperator, M ( T α ) T k y ( T α ) T k y for all vectors y H and α C . In particular, M ( T λ ) T k x ( T λ ) T k x . Since T x = λ x , 0 = M | λ | k ( T λ ) x = M ( T λ ) T k x ( T λ ) T k x = | λ | k ( T λ ) x . | λ | 0 , therefore ( T λ ) x = 0 . □

Theorem 2.3 Let T be a k-quasi-M-hyponormal operator, and let λ be a non-zero isolated point of σ ( T ) . Then the Riesz idempotent E for λ is self-adjoint, and
R ( E ) = N ( T λ ) = N ( T λ ) .

Proof We can derive the result from Lemma 2.2, [[3], Theorem 2.5] and [[7], Lemma 5.2]. □

3 Weyl-type theorems of algebraically k-quasi-M-hyponormaloperators

We say that T is an algebraically k-quasi-M-hyponormaloperator if there exists a nonconstant complex polynomial p such that p ( T ) is a k-quasi-M-hyponormal operator. From thedefinition above, T is an algebraicallyk-quasi-M-hyponormal operator, then so is T λ for each λ C .

An operator T is called Fredholm if R ( T ) is closed, and both N ( T ) and N ( T ) are finite-dimensional. The index of a Fredholm operatorT is given by i ( T ) = α ( T ) β ( T ) . An operator T is called Weyl if it is Fredholm of indexzero. The Weyl spectrum of T[8] is defined by w ( T ) : = { λ C : T λ  is not Weyl } . Following [9], we say that Weyl’s theorem holds for T if σ ( T ) w ( T ) = π 00 ( T ) , where π 00 ( T ) : = { λ iso σ ( T ) : 0 < α ( T λ ) < } .

More generally, Berkani investigated the B-Fredholm theory (see [1012]). We define T S B F + ( H ) if there exists a positive integer n such that R ( T n ) is closed, T [ n ] : R ( T n ) x T x R ( T n ) is upper semi-Fredholm (i.e., R ( T [ n ] ) = R ( T n + 1 ) is closed, dim N ( T [ n ] ) = dim N ( T ) R ( T n ) < ) and i ( T [ n ] ) 0 [12]. We define σ S B F + ( T ) = { λ C : T λ S B F + ( H ) } . Let E a ( T ) denote the set of all isolated points λ of σ a ( T ) with 0 < α ( T λ ) . We say that generalized a-Weyl’s theorem holds forT if σ a ( T ) σ S B F + ( T ) = E a ( T ) .

We know that Weyl’s theorem holds for hermitian operators [13], which have been extended to hyponormal operators [14], algebraically hyponormal operators by [15], algebraically M-hyponormal operators [6] and algebraically quasi-M-hyponormal operators [2], respectively. In this section, we obtain that generalizeda-Weyl’s theorems hold for algebraicallyk-quasi-M-hyponormal operators.

Lemma 3.1[3]

Let T B ( H ) be a k-quasi-M-hyponormal operator, let the rangeof T k be not dense and
T = ( T 1 T 2 0 T 3 ) on H = R ( T k ) ¯ N ( T k ) .

Then T 1 is M-hyponormal, T 3 k = 0 and σ ( T ) = σ ( T 1 ) { 0 } .

Theorem 3.2 Let T be a quasinilpotent algebraically k-quasi-M-hyponormal operator. Then T is nilpotent.

Proof We first assume that T is ak-quasi-M-hyponormal operator. Consider two cases, Case I: If therange of T k has dense range, then it is an M-hyponormal operator.Hence, by [[6], Lemma 8], T is nilpotent. Case II: If T does nothave dense range, then by Lemma 3.1, we can represent T as the uppertriangular matrix
T = ( T 1 T 2 0 T 3 ) on H = R ( T k ) ¯ N ( T k ) ,
where T 1 : = T | R ( T k ) ¯ is an M-hyponormal operator. Since T isquasinilpotent, σ ( T ) = { 0 } . But σ ( T ) = σ ( T 1 ) { 0 } , hence, σ ( T 1 ) = { 0 } . Since T 1 is an M-hyponormal operator, T 1 = 0 . Since T 3 k = 0 , simple computation shows that
T k + 1 = ( 0 T 2 T 3 k 0 T 3 k + 1 ) = 0 .
Now, suppose that T is an algebraicallyk-quasi-M-hyponormal operator. Then there exists a nonconstantpolynomial p such that p ( T ) is a k-quasi-M-hyponormal operator. If p ( T ) has dense range, then p ( T ) is an M-hyponormal operator. Thus T is analgebraically M-hyponormal operator. It follows from [[6], Lemma 8] that it is nilpotent. If ( p ( T ) ) k does not have a dense range, then by Lemma 3.1, we canrepresent p ( T ) as the upper triangular matrix
p ( T ) = ( A B 0 C ) on H = R ( ( p ( T ) ) k ) ¯ N ( ( p ( T ) ) k ) ,

where A : = p ( T ) | R ( ( p ( T ) ) k ) ¯ is an M-hyponormal operator. Since σ ( T ) = { 0 } and σ ( p ( T ) ) = p ( σ ( T ) ) = { p ( 0 ) } , the operator p ( T ) p ( 0 ) is quasinilpotent. But σ ( p ( T ) ) = σ ( A ) { 0 } , thus σ ( A ) { 0 } = { p ( 0 ) } . So p ( 0 ) = 0 , and hence, p ( T ) is quasinilpotent. Since p ( T ) is a k-quasi-M-hyponormal operator, by theprevious argument p ( T ) is nilpotent. On the other hand, since p ( 0 ) = 0 , p ( z ) = c z m ( z λ 1 ) ( z λ 2 ) ( z λ n ) for some natural number m. p ( T ) = c T m ( T λ 1 ) ( T λ 2 ) ( T λ n ) . p ( T ) is nilpotent, therefore, T isnilpotent. □

Recall that an operator T is said to be isoloid if every isolated point of σ ( T ) is an eigenvalue of T and polaroid if every isolatedpoint of σ ( T ) is a pole of the resolvent of T. In general, ifT is polaroid, then it is isoloid. However, the converse is not true.In [6], it is showed that every algebraically M-hyponormal operator isisoloid, we can prove more.

Theorem 3.3 Let T be an algebraically k-quasi-M-hyponormal operator. Then T is polaroid.

Proof Suppose that T is an algebraicallyk-quasi-M-hyponormal operator. Then p ( T ) is a k-quasi-M-hyponormal operator for somenonconstant polynomial p. Let λ iso σ ( T ) and E λ be the Riesz idempotent associated to λ defined by E λ : = 1 2 π i D ( μ T ) 1 d μ , where D is a closed disk of center λ,which contains no other point of σ ( T ) . We can represent T as the direct sum in the followingform:
T = ( T 1 0 0 T 2 ) ,

where σ ( T 1 ) = { λ } and σ ( T 2 ) = σ ( T ) { λ } . Since T 1 is an algebraically k-quasi-M-hyponormaloperator, so is T 1 λ . But σ ( T 1 λ ) = { 0 } , it follows from Theorem 3.2 that T 1 λ is nilpotent, thus T 1 λ has finite ascent and descent. On the other hand, since T 2 λ is invertible, clearly, it has finite ascent and descent. T λ has finite ascent and descent, and hence, λ is apole of the resolvent of T, therefore, T ispolaroid. □

Corollary 3.4 Let T be an algebraically k-quasi-M-hyponormal operator. Then T is isoloid.

We say that T has the single valued extension property (abbreviated SVEP)if, for every open set U of , the only analytic solution f: U H of the equation
( T λ ) f ( λ ) = 0 for all  λ U

is a zero function on U.

Theorem 3.5 Let T be an algebraically k-quasi-M-hyponormal operator. Then T has SVEP.

Proof Suppose that T is an algebraicallyk-quasi-M-hyponormal operator. Then p ( T ) is a k-quasi-M-hyponormal operator for somenonconstant complex polynomial p, and hence, p ( T ) has SVEP by [[3], Theorem 2.1]. Therefore, T has SVEP by [[16], Theorem 3.3.9]. □

In the following theorem, H ( σ ( T ) ) denotes the space of functions analytic in an open neighborhood of σ ( T ) .

Theorem 3.6 Let T or T be an algebraically k-quasi-M-hyponormal operator. ThenWeyl’s theorem holds for f ( T ) for every f H ( σ ( T ) ) .

Proof Firstly, suppose that T is an algebraicallyk-quasi-M-hyponormal operator. We first show that Weyl’stheorem holds for T. Using the fact [[17], Theorem 2.2] that if T is polaroid, then Weyl’stheorem holds for T if and only if T has SVEP at points of λ σ ( T ) w ( T ) . We have that T is polaroid by Theorem 3.3, andT has SVEP by Theorem 3.5. Hence, T satisfiesWeyl’s theorem.

Next, suppose that T is an algebraically k-quasi-M-hyponormaloperator. Now we show that Weyl’s theorem holds for T. We use thefact [[18], Theorem 3.1] that if T or T has SVEP, then Weyl’s theorem holds for T if andonly if π 00 ( T ) = p 00 ( T ) . Since T has SVEP, it is sufficient to show that π 00 ( T ) = p 00 ( T ) . p 00 ( T ) π 00 ( T ) is clear, so we only need to prove π 00 ( T ) p 00 ( T ) . Let λ π 00 ( T ) . Then λ is an isolated point of σ ( T ) . Hence, λ is a pole of the resolvent of T,since T is polaroid by Theorem 3.3, that is, p ( λ T ) = q ( λ T ) < . By assumption, we have α ( λ T ) < , so β ( λ T ) < . Hence, we conclude that λ p 00 ( T ) . Therefore, Weyl’s theorem holds for T.

Finally, we can derive the result by Theorem 3.5 and [[17], Theorem 2.4]. □

Following [[19], Theorem 3.12], we obtain the following result.

Theorem 3.7 Let f be an analytic function on σ ( T ) , and f is not constant on each connected component of the open set U containing σ ( T ) .
  1. (i)

    If T is an algebraically k-quasi-M-hyponormal operator, then f ( T ) satisfies a generalized a-Weyl’s theorem.

     
  2. (ii)

    If T is an algebraically k-quasi-M-hyponormal operator, then f ( T ) satisfies a generalized a-Weyl’s theorem.

     

Notes

Declarations

Acknowledgements

We wish to thank the referee for careful reading and valuable comments for theorigin draft. This work is supported by the Basic Science and TechnologicalFrontier Project of Henan Province (No. 132300410261). This work is partiallysupported by the National Natural Science Foundation of China (No. 11271112,11201126).

Authors’ Affiliations

(1)
College of Mathematics and Information Science, Henan Normal University

References

  1. Wadhwa BL: M -hyponormal operators. Duke Math. J. 1974, 41: 655–660. 10.1215/S0012-7094-74-04168-4MATHMathSciNetView ArticleGoogle Scholar
  2. Han YM, Son JH: On quasi- M -hyponormal operators. Filomat 2011, 25: 37–52.MATHMathSciNetView ArticleGoogle Scholar
  3. Mecheri S: On k -quasi- M -hyponormal operators. Math. Inequal. Appl. 2013, 16: 895–902.MATHMathSciNetGoogle Scholar
  4. Stampfli J: Hyponormal operators and spectral density. Trans. Am. Math. Soc. 1965, 117: 469–476.MATHMathSciNetView ArticleGoogle Scholar
  5. Chō M, Tanahashi K: Isolated point spectrum of p -hyponormal, log-hyponormaloperators. Integral Equ. Oper. Theory 2002, 43: 379–384. 10.1007/BF01212700MATHView ArticleGoogle Scholar
  6. Chō M, Han YM: Riesz idempotent and algebraically M -hyponormal operators. Integral Equ. Oper. Theory 2005, 53: 311–320. 10.1007/s00020-004-1314-8MATHView ArticleGoogle Scholar
  7. Yuan JT, Ji GX:On ( n , k ) -quasiparanormal operators. Stud. Math. 2012, 209: 289–301. 10.4064/sm209-3-6MATHMathSciNetView ArticleGoogle Scholar
  8. Harte RE: Invertibility and Singularity for Bounded Linear Operators. Dekker, New York; 1988.MATHGoogle Scholar
  9. Harte RE, Lee WY: Another note on Weyl’s theorem. Trans. Am. Math. Soc. 1997, 349: 2115–2124. 10.1090/S0002-9947-97-01881-3MATHMathSciNetView ArticleGoogle Scholar
  10. Berkani M, Arroud A: Generalized Weyl’s theorem and hyponormal operators. J. Aust. Math. Soc. 2004, 76: 291–302. 10.1017/S144678870000896XMATHMathSciNetView ArticleGoogle Scholar
  11. Berkani M, Koliha JJ: Weyl type theorems for bounded linear operators. Acta Sci. Math. 2003, 69: 359–376.MATHMathSciNetGoogle Scholar
  12. Berkani M, Sarih M: On semi B -Fredholm operators. Glasg. Math. J. 2001, 43: 457–465.MATHMathSciNetView ArticleGoogle Scholar
  13. Weyl H: Über beschränkte quadratische Formen, deren Dierenz vollsteigist. Rend. Circ. Mat. Palermo 1909, 27: 373–392. 10.1007/BF03019655MATHView ArticleGoogle Scholar
  14. Coburn LA: Weyl’s theorem for nonnormal operators. Mich. Math. J. 1966, 13: 285–288.MATHMathSciNetView ArticleGoogle Scholar
  15. Han YM, Lee WY: Weyl’s theorem holds for algebraically hyponormal operators. Proc. Am. Math. Soc. 2000, 128: 2291–2296. 10.1090/S0002-9939-00-05741-5MATHMathSciNetView ArticleGoogle Scholar
  16. Laursen KB, Neumann MM: Introduction to Local Spectral Theory. Clarendon, Oxford; 2000.MATHGoogle Scholar
  17. Duggal BP: Polaroid operators satisfying Weyl’s theorem. Linear Algebra Appl. 2006, 414: 271–277. 10.1016/j.laa.2005.10.002MATHMathSciNetView ArticleGoogle Scholar
  18. Aiena P: Classes of operators satisfying a-Weyl’s theorem. Stud. Math. 2005, 169: 105–122. 10.4064/sm169-2-1MATHMathSciNetView ArticleGoogle Scholar
  19. Aiena P, Aponte E, Balzan E: Weyl type theorems for left and right polaroid operators. Integral Equ. Oper. Theory 2010, 66: 1–20. 10.1007/s00020-009-1738-2MATHMathSciNetView ArticleGoogle Scholar

Copyright

© Zuo and Zuo; licensee Springer. 2013

This article is published under license to BioMed Central Ltd. This is an open access article distributed under the terms of the Creative CommonsAttribution License (http://creativecommons.org/licenses/by/2.0), which permitsunrestricted use, distribution, and reproduction in any medium, provided theoriginal work is properly cited.