Research | Open | Published:
Weyl-type theorems and k-quasi-M-hyponormal operators
Journal of Inequalities and Applicationsvolume 2013, Article number: 446 (2013)
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 . Also, we obtain that Weyl-type theorems hold foralgebraically k-quasi-M-hyponormal operators.
MSC: 47B20, 47A10.
Let T be a bounded linear operator on a complex Hilbert space H,write it for , take a complex number λ in ℂ, and,henceforth, shorten to . 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 is M-hyponormal  if there exists a real positive number M such that
T is quasi-M-hyponormal  if there exits a real positive number M such that
T is k-quasi-M-hyponormal  if there exists a real positive number M such that
where k is a natural number.
It is clear that .
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 α: (called weights), the unilateral weighted shift associated with α is the operator on defined by for all , where is the canonical orthogonal basis for . It is well known that is hyponormal if and only if α is monotonicallyincreasing. Also, is M-hyponormal if and only if α iseventually increasing. Hence, if we take the weights α such that , , , , then 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 defined on . Then by simple calculations, we see that T is a2-quasi-M-hyponormal operator, but is not M-hyponormal.
If , we shall write and for the null space and the range space of T. Also, let , , and for the spectrum and the isolated points of the spectrum ofT, respectively.
Let . The Riesz idempotent E of T with respect toλ is defined by , where D is a closed disk, centered at λ,which contains no other points of . It is well known that the Riesz idempotent satisfies , , , and . Stampfli  showed that if T satisfies the growth condition , then E is self-adjoint and . Recently, Chō and Tanahashi  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 [, Theorem 4]
Let T be an M-hyponormal operator, and let λ be an isolated point of. If E is the Riesz idempotent for λ, then E is self-adjoint, and.
2 Isolated point of spectrum of k-quasi-M-hyponormaloperators
Lemma 2.1 Let T be a k-quasi-M-hyponormal operator. If, and assume that, then.
Proof If and , then T is invertible, so T is anM-hyponormal operator, and hence, by . □
Lemma 2.2 Let T be a k-quasi-M-hyponormal operator and. Thenimplies that.
Proof Suppose that . Since T is a k-quasi-M-hyponormaloperator, for all vectors and . In particular, . Since , . , therefore . □
Theorem 2.3 Let T be a k-quasi-M-hyponormal operator, and let λ be a non-zero isolated point of. Then the Riesz idempotent E for λ is self-adjoint, and
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 is a k-quasi-M-hyponormal operator. From thedefinition above, T is an algebraicallyk-quasi-M-hyponormal operator, then so is for each .
An operator T is called Fredholm if is closed, and both and are finite-dimensional. The index of a Fredholm operatorT is given by . An operator T is called Weyl if it is Fredholm of indexzero. The Weyl spectrum of T is defined by . Following , we say that Weyl’s theorem holds for T if , where .
More generally, Berkani investigated the B-Fredholm theory (see [10–12]). We define if there exists a positive integer n such that is closed, is upper semi-Fredholm (i.e., is closed, ) and . We define . Let denote the set of all isolated points λ of with . We say that generalized a-Weyl’s theorem holds forT if .
We know that Weyl’s theorem holds for hermitian operators , which have been extended to hyponormal operators , algebraically hyponormal operators by , algebraically M-hyponormal operators  and algebraically quasi-M-hyponormal operators , respectively. In this section, we obtain that generalizeda-Weyl’s theorems hold for algebraicallyk-quasi-M-hyponormal operators.
Letbe a k-quasi-M-hyponormal operator, let the rangeofbe not dense and
Thenis M-hyponormal, and.
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 has dense range, then it is an M-hyponormal operator.Hence, by [, 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
where is an M-hyponormal operator. Since T isquasinilpotent, . But , hence, . Since is an M-hyponormal operator, . Since , simple computation shows that
Now, suppose that T is an algebraicallyk-quasi-M-hyponormal operator. Then there exists a nonconstantpolynomial p such that is a k-quasi-M-hyponormal operator. If has dense range, then is an M-hyponormal operator. Thus T is analgebraically M-hyponormal operator. It follows from [, Lemma 8] that it is nilpotent. If does not have a dense range, then by Lemma 3.1, we canrepresent as the upper triangular matrix
where is an M-hyponormal operator. Since and , the operator is quasinilpotent. But , thus . So , and hence, is quasinilpotent. Since is a k-quasi-M-hyponormal operator, by theprevious argument is nilpotent. On the other hand, since , for some natural number m. . is nilpotent, therefore, T isnilpotent. □
Recall that an operator T is said to be isoloid if every isolated point of is an eigenvalue of T and polaroid if every isolatedpoint of is a pole of the resolvent of T. In general, ifT is polaroid, then it is isoloid. However, the converse is not true.In , 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 is a k-quasi-M-hyponormal operator for somenonconstant polynomial p. Let and be the Riesz idempotent associated to λ defined by , where D is a closed disk of center λ,which contains no other point of . We can represent T as the direct sum in the followingform:
where and . Since is an algebraically k-quasi-M-hyponormaloperator, so is . But , it follows from Theorem 3.2 that is nilpotent, thus has finite ascent and descent. On the other hand, since is invertible, clearly, it has finite ascent and descent. 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: of the equation
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 is a k-quasi-M-hyponormal operator for somenonconstant complex polynomial p, and hence, has SVEP by [, Theorem 2.1]. Therefore, T has SVEP by [, Theorem 3.3.9]. □
In the following theorem, denotes the space of functions analytic in an open neighborhood of .
Theorem 3.6 Let T orbe an algebraically k-quasi-M-hyponormal operator. ThenWeyl’s theorem holds forfor every.
Proof Firstly, suppose that T is an algebraicallyk-quasi-M-hyponormal operator. We first show that Weyl’stheorem holds for T. Using the fact [, Theorem 2.2] that if T is polaroid, then Weyl’stheorem holds for T if and only if T has SVEP at points of . 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 is an algebraically k-quasi-M-hyponormaloperator. Now we show that Weyl’s theorem holds for T. We use thefact [, Theorem 3.1] that if T or has SVEP, then Weyl’s theorem holds for T if andonly if . Since has SVEP, it is sufficient to show that . is clear, so we only need to prove . Let . Then λ is an isolated point of . Hence, λ is a pole of the resolvent of T,since T is polaroid by Theorem 3.3, that is, . By assumption, we have , so . Hence, we conclude that . Therefore, Weyl’s theorem holds for T.
Finally, we can derive the result by Theorem 3.5 and [, Theorem 2.4]. □
Following [, Theorem 3.12], we obtain the following result.
Theorem 3.7 Let f be an analytic function on, and f is not constant on each connected component of the open set U containing.
If is an algebraically k-quasi-M-hyponormal operator, then satisfies a generalized a-Weyl’s theorem.
If T is an algebraically k-quasi-M-hyponormal operator, then satisfies a generalized a-Weyl’s theorem.
Wadhwa BL: M -hyponormal operators. Duke Math. J. 1974, 41: 655–660. 10.1215/S0012-7094-74-04168-4
Han YM, Son JH: On quasi- M -hyponormal operators. Filomat 2011, 25: 37–52.
Mecheri S: On k -quasi- M -hyponormal operators. Math. Inequal. Appl. 2013, 16: 895–902.
Stampfli J: Hyponormal operators and spectral density. Trans. Am. Math. Soc. 1965, 117: 469–476.
Chō M, Tanahashi K: Isolated point spectrum of p -hyponormal, log-hyponormaloperators. Integral Equ. Oper. Theory 2002, 43: 379–384. 10.1007/BF01212700
Chō M, Han YM: Riesz idempotent and algebraically M -hyponormal operators. Integral Equ. Oper. Theory 2005, 53: 311–320. 10.1007/s00020-004-1314-8
Yuan JT, Ji GX:On -quasiparanormal operators. Stud. Math. 2012, 209: 289–301. 10.4064/sm209-3-6
Harte RE: Invertibility and Singularity for Bounded Linear Operators. Dekker, New York; 1988.
Harte RE, Lee WY: Another note on Weyl’s theorem. Trans. Am. Math. Soc. 1997, 349: 2115–2124. 10.1090/S0002-9947-97-01881-3
Berkani M, Arroud A: Generalized Weyl’s theorem and hyponormal operators. J. Aust. Math. Soc. 2004, 76: 291–302. 10.1017/S144678870000896X
Berkani M, Koliha JJ: Weyl type theorems for bounded linear operators. Acta Sci. Math. 2003, 69: 359–376.
Berkani M, Sarih M: On semi B -Fredholm operators. Glasg. Math. J. 2001, 43: 457–465.
Weyl H: Über beschränkte quadratische Formen, deren Dierenz vollsteigist. Rend. Circ. Mat. Palermo 1909, 27: 373–392. 10.1007/BF03019655
Coburn LA: Weyl’s theorem for nonnormal operators. Mich. Math. J. 1966, 13: 285–288.
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-5
Laursen KB, Neumann MM: Introduction to Local Spectral Theory. Clarendon, Oxford; 2000.
Duggal BP: Polaroid operators satisfying Weyl’s theorem. Linear Algebra Appl. 2006, 414: 271–277. 10.1016/j.laa.2005.10.002
Aiena P: Classes of operators satisfying a-Weyl’s theorem. Stud. Math. 2005, 169: 105–122. 10.4064/sm169-2-1
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-2
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).
The authors declare that they have no competing interests.
Both authors have given equal contributions in this paper.
Fei Zuo and Hongliang Zuo contributed equally to this work.