Next Article in Journal
Inverse Problem for a Mixed Type Integro-Differential Equation with Fractional Order Caputo Operators and Spectral Parameters
Previous Article in Journal
On the Bernstein Affine Fractal Interpolation Curved Lines and Surfaces
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Local Spectral Theory for R and S Satisfying RnSRn = Rj

Dipartimento di Ingegneria, Università di Palermo, Viale delle Scienze, I-90128 Palermo, Italy
Axioms 2020, 9(4), 120; https://doi.org/10.3390/axioms9040120
Submission received: 8 August 2020 / Revised: 12 October 2020 / Accepted: 14 October 2020 / Published: 19 October 2020

Abstract

:
In this paper, we analyze local spectral properties of operators R , S and R S which satisfy the operator equations R n S R n = R j and S n R S n = S j for same integers j n 0 . We also continue to study the relationship between the local spectral properties of an operator R and the local spectral properties of S . Thus, we investigate the transmission of some local spectral properties from R to S and we illustrate our results with an example. The theory is exemplified in some cases.

1. Introduction

In this paper, we continue the analysis undertaken in [1,2,3,4,5,6] on the general problem of study the local spectral properties for R , S , R S and S R L ( X ) in the case R and S satisfy the operator equations R n S R n = R j for same integers j n 0 . Following the procedure of [1], we study the relationship of Dunford property (C) for products R n S and S R n for operator R j n L ( X ) which satisfy the operator equations
S R n = R j n for same integers j n 0 ,
and hence
R n S R n = R j for same integers j n 0 .
The paper is organized as follows.
In Section 2, to keep the paper sufficiently self-contained, we collect some preliminary definitions and propositions that are used in what follows. In Section 3, we show some results concerning the transmission of some local spectral properties from R to S . In Section 4, we give an example that plays a crucial role for the theory. The final considerations are given in Section 5.

2. Notation and Complementary Results

A bounded operator T L ( X ) on a complex infinite dimensional Banach space X is said to have the single valued extension property at λ o C . In short, T has the SVEP at λ o , if for every open disc D λ o centered at λ o the only analytic function f : D λ o X which satisfies the equation
( λ I T ) f ( λ ) = 0
is the constant function f 0 .
T is said to have the SVEP if T has the SVEP for every λ C .
To facilitate the reader, we remember that the SVEP is a typical tool of the local spectral theory. If ρ T ( x ) denote the local resolvent set of T at the point x X , defined as the union of all open subsets U of C for which there exists an analytic function f : U X that satisfies
( λ I T ) f ( λ ) = x for all λ U
then the local spectrum σ T ( x ) of T at x is defined by
σ T ( x ) : = C \ ρ T ( x ) ,
and, obviously, σ T ( x ) σ ( T ) , where σ ( T ) denotes the spectrum of T.
Remark 1.
Let λ ρ T ( x ) and U denotes an open neighborhood of λ. If f : U X satisfies the equation ( λ I T ) f ( μ ) = x on U , then σ T ( f ( λ ) ) = σ T ( x ) for all λ U (see [7], Lemma 1.2.14). Moreover, 0 σ λ I T ( x ) if and only if λ σ T ( x ) .
Theorem 1.
Let T L ( X ) , X a Banach space. Then, T has SVEP if and only if every 0 x X the local spectrum σ T ( x ) is non-empty.
Proof. 
See ([7], Proposition 1.2.16). □
The SVEP has a decisive role in local spectral theory it has a certain interest to find conditions for which an operator has the SVEP.
Definition 1.
Let T is a linear operator on a vector space X. The hyperrange of T is the subspace
T ( X ) : = n N T n ( X ) .
Generally, T ( T ( X ) ) T ( X ) , thus we are interested in finding conditions for which T ( T ( X ) ) = T ( X ) . For every linear operator T on a vector space X, there corresponds the two chains:
{ 0 } = ker T 0 ker T ker T 2 .
and
X = T 0 ( X ) T ( X ) T 2 ( X ) .
The ascent of T is the smallest positive integer p = p ( T ) , whenever it exists, such that ker T p = ker T p + 1 . If such p does not exist, we let p = + . Analogously, the descent of T is defined to be the smallest integer q = q ( T ) , whenever it exists, such that T q + 1 ( X ) = T q ( X ) . If such q does not exist, we let q = + .
It is possible to prove that, if p ( T ) and q ( T ) are both finite, then p ( T ) = q ( T ) . Note that p ( T ) = 0 means that T is injective, and q ( T ) = 0 that T is surjective.
Theorem 2.
If T L ( X ) and X is a Banach space, then
T d o e s n o t h a v e t h e S V E P a t 0 p ( T ) = .
As noted in [1] (Lemma 1.1), the local spectrum of T x and x may differ only at 0 , i.e.,
For every T L ( X ) and x X , we have
σ T ( T x ) σ T ( x ) σ T ( T x ) { 0 } .
Moreover, if T is injective, then
σ T ( T x ) = σ T ( x ) for all x X .
For every subset F C , the analytic spectral subspace of T associated with F is the set
X T ( F ) : = { x X : σ T ( x ) F }
For every subset F C , the global spectral subspace X T ( F ) consists of all x X for which there exists an analytic function f : C \ F X that satisfies
( λ I T ) f ( λ ) = x for all λ C \ F .
In general, X T ( F ) X T ( F ) for every closed sets F C . The identity X T ( F ) = X T ( F ) holds for all closed sets F C whenever T has SVEP, precisely. T has SVEP if and only if X T ( F ) = X T ( F ) holds for all closed sets F C .
Definition 2.
The analytical core K ( λ I T ) of λ I T is the set
K ( λ I T ) : = X T ( C \ { λ } ) = { x X : λ σ T ( x ) }
The analytic core of an operator T is an invariant subspace, which, in general, is not closed [8].
Definition 3.
An operator T L ( X ) is said to be upper semi-Fredholm, T Φ + ( X ) , if T(X) is closed and the kernel k e r T is finite-dimensional. An operator T L ( X ) is said to be lower semi-Fredholm, T Φ ( X ) if the range T ( X ) has finite codimension.
Definition 4.
An operator T L ( X ) is said to be Drazin invertible if there exist C Ł ( X ) such that
1. 
T m ( X ) = T m + 1 C for some integer m 0 ;
2. 
C = T C 2 ; and
3. 
T C = C T
In this case, C is called Drazin inverse of T and the smallest m 0 in (4) is called the index i ( T ) of T.

3. Operator Equation R n SR n = R j

As mentioned in the Introduction, in this section, we show some results concerning the transmission of some local spectral properties from R to S .
We study the relationship between the local spectral properties of an operator R and the local spectral properties S, if this exists. In particular, we study a reciprocal relationship, analogous to that of (2). We also show that many local spectral properties, such as SVEP and Dunford property (C), are transferred from operator R to S somehow through a bond. While these properties are, in general, not preserved under sums and products of commuting operators, we obtain positive results in the case of our perturbations.
We suppose that R , S Ł ( X ) satisfy R n S R n = R j for some integers j n 0 . The case n = 2 and j = 1 is studied in [1,9,10]; if n = j = 1 , the operators A and B are relatively regular.
Moreover, if T Ł ( X ) is Drazin invertible operator with i ( T ) = k , then, by (4),
T 2 k + 1 = T k + 1 C T k + 1 .
Therefore, in this case, j = 2 k + 1 and n = k + 1 .
Lemma 1.
For every x X , we have
σ R j n ( R n x ) σ S R n ( x ) .
Moreover,
σ S R n ( S R n x ) σ R j n ( x ) , σ S R n ( S R n x ) σ R j n ( R n x )
Proof. 
Suppose that λ 0 ρ S R n ( x ) ; then, there exists an open neighborhood U 0 if λ 0 and an analytic function f : U o X such that
( λ I S R n ) f ( λ ) = x for all λ U 0 .
From this, it then follows that
R n x = R n ( λ I S R n ) f ( λ ) = ( λ R n R n S R n ) f ( λ ) = ( λ R n R j ) f ( λ ) = ( λ I R j n ) R n f ( λ ) ,
for all λ U 0 . Hence, λ o ρ R j n ( R n x ) ; thus,
σ R j n ( R n x ) σ S R n ( x ) .
To show the first inclusion (11), let λ 0 ρ R j n ( x ) ; then, there exists an open neighborhood U o of λ 0 and an analytic function f : U o X such that
( λ I R j n ) f ( λ ) = x for all λ 0 U 0 .
Consequently,
S R n x = S R n ( λ I R j n ) f ( λ ) = ( λ S R n S R j ) f ( λ ) = ( λ S R n S R n S R n ) f ( λ ) = ( λ S R [ S R n ] 2 ) f ( λ ) = ( λ I S R n ) S R n f ( λ ) ,
for all λ U 0 , and since S R n f ( λ ) is analytic, we obtain λ 0 ρ S R n ( S R n x ) . Hence, this shows the first inclusion of (11). To show the second inclusion, let λ 0 ρ R j n ( R n x ) ; then, there exists an open neighborhood U o of λ 0 and an analytic function f : U o X such that
( λ I R j n ) f ( λ ) = R n x for all λ 0 U 0 .
Consequently, the argument is similar to that first part. □
Theorem 3.
Suppose that F is a closed subset of C and 0 F . Then, X R j n ( F ) is closed if and only if X S R n ( F ) is closed.
Proof. 
Suppose that X R j ( F ) is closed and let ( x m ) be a sequence of X S R n ( F ) which converges to x X . Then, for every m N , we have σ S R n ( x m ) F . By (10), we have σ R j n ( R n x m ) F . Since 0 F , by (6) where T = R j n , we have σ R j n ( R n x m ) σ R j n ( R j x m ) { 0 } F . Therefore, R j x m X R J n ( F ) i.e., R j n R n x m X R J n ( F ) . By [9] (Lemma 2.3), R n x m X R J n ( F ) and by assumption X R j n ( F ) is closed. We then have R n x X R j n ( F ) , i.e., σ R j n ( x ) F . By (11),
σ S R n ( S R n x ) σ R j n ( x ) F .
Then, S R n x X S R n ( F ) , by [9] (Lemma 2.3) x X S R n ( F ) , thus X S R n ( F ) is closed. Conversely, suppose that X S R n ( F ) is closed and let ( x m ) be a sequence of X R j n ( F ) which converges to x X ; then, σ R j n ( x m ) F for every m N . By (11), σ S R n ( S R n x m ) F , and then S R n x m X S R n ( F ) . By [9] (Lemma 2.3) x m X S R n ( F ) , therefore x X S R n ( F ) . Hence, σ S R n ( x ) F . Since by (10) σ R j n ( R n y ) σ S R n ( y ) for all y X , then, if y = R j n x , we have σ R j n ( R J x ) σ S R n ( R j n x ) . By (6), we have
σ R j n ( R j n x ) σ R j n ( R j x ) { 0 } σ S R n ( R j n x ) { 0 } σ S R n ( S R j x ) { 0 } σ S R n [ ( S R n ) 2 x ] { 0 } σ S R n ( S R n x ) { 0 } σ S R n ( x ) { 0 } F
i.e., R j n x X R j n ( F ) . Hence, σ R j n ( R j n x ) F i.e., R j n x X R j n ( F ) . By [9] (Lemma 2.3) x X R j n ( F ) .
The following result is inspired by [1] and ([11], Theorem 2.1). □
Lemma 2.
Let S , R L ( X ) be such that R n S R n = R j for same integers j n 0 . If R j n has SVEP, then S R n and R n S have SVEP.
Proof. 
By ([12], Proposition 2.1), S R n has SVEP if and only if R n S has Svep. Suppose that R j n has SVEP at λ 0 and let f : U 0 X be an analytic function for which ( λ I S R n ) f ( λ ) = 0 for all λ U 0 . Then, S R n f ( λ ) = λ f ( λ ) .
R n ( λ I S R n ) f ( λ ) = ( λ R n R j ) f ( λ ) = ( λ I R j n ) R n f ( λ ) = 0 .
The SVEP of R j n at λ 0 implies that R n f ( λ ) = 0 and hence S R n f ( λ ) = λ f ( λ ) = 0 . Thus, if 0 U 0 , then f ( λ ) = 0 for λ 0 and by continuity f ( 0 ) = 0 . Therefore, S R n has SVEP at λ 0 .
We now consider the case where 0 F
Theorem 4.
Let F be a closed subset of C such that 0 F . Suppose that R , S Ł ( X ) satisfy R n S R n = R j for some integers j n 0 and R j n has SVEP. If X R j n ( F ) is closed, then X S R n ( F ) is closed.
Proof. 
Let F 1 : = F { 0 } ; by assumption, X R j n ( F 1 ) is closed. By (3), X S R n ( F 1 ) is closed. By (2), S R n has SVEP; therefore, by ([9], Lemma 1.4), X S R ( F ) is closed. □
Definition 5.
An operator T L ( X ) is said to have Dunford’s property (abbreviated property ( C ) ) if X T ( F ) is closed for every closed set F C
It is known that Dunford property (C) entails SVEP for T.
Theorem 5.
Let S , R L ( X ) be such that R n S R n = R j for some integers j n 0 . If R j n has the property (C), then S R n and R n S have the property (C).
Proof. 
Suppose that F is a closed set and R j n has property (C); then, R j n has SVEP. If 0 F , by (3) and by assumptions X R j n ( F ) is closed, it follows that X S R n ( F ) is closed. Similarly, if 0 F , then by (4) we have that X S R n ( F { 0 } ) is closed. Therefore, S R n has property (C). □
We prove that somehow there exists a bond, i.e., SR and RS share Dunford’s property (C) when R n S R n = R j for same integers j n 0 .
Definition 6.
An operator T L ( X ) is said to have property ( Q ) if the quasi-nilpotent part H 0 ( λ I T ) of λ I T defined by
H 0 ( λ I T ) : = { x X : lim sup n ( λ I T ) n x 1 / n = 0 }
is closed for every λ C .
It is known that
Property ( C ) Property ( Q ) S V E P ,
and moreover for operator T we have X T ( λ ) = H 0 ( λ I T ) .
Then, if T has SVEP,
X T ( λ ) = X T ( λ ) = H 0 ( λ I T ) .
Every multiplier of a semi-simple commutative Banach algebra has property ( Q ) , see ([13], Theorem 1.8), in particular every convolution operator T μ , μ M ( G ) , on the group algebra L 1 ( G ) has property ( Q ) , but there are convolution operators which do not enjoy property ( C ) (see [7], Chapter 4).
Observe that, if T has property ( Q ) and f is an injective analytic function defined on an open neighborhood U of σ ( T ) , then f ( T ) also has property ( Q ) . To see this, recall first that the equality
X f ( T ) ( F ) = X T ( f 1 ( F ) )
holds for every closed subset of C and every analytic function f on an open neighborhood U of σ ( T ) , see ([7], Theorem 3.3.6). Now, to show that f ( T ) has property ( Q ) amd f is injective, we have to prove that H 0 ( λ I f ( T ) ) is closed for every λ C . If λ σ ( f ( T ) ) , then H 0 ( λ I f ( T ) ) = { 0 } , while, if λ σ ( f ( T ) ) = f ( σ ( T ) ) , then
H 0 ( λ I f ( T ) ) = X f ( T ) ( { λ } ) = X T ( f 1 { λ } ) = H 0 ( μ I T ) ,
where f ( λ ) = μ , and, consequently, H 0 ( λ I f ( T ) ) is closed. In particular, considering the function f ( λ ) : = 1 λ , we see that, if T is invertible and has property ( Q ) , then its inverse has property ( Q ) . Furthermore, property ( Q ) for T implies property ( Q ) for T n , for every n N .
Theorem 6.
Let S , R L ( X ) be such that R n S R n = R j for some integers j n 0 . If R j n has the property ( Q ) , then S R n has the property ( Q ) .
Proof. 
Suppose that R j n has property ( Q ) . Then, R j n has SVEP, hence by Lemma 2 S R n has SVEP. Therefore, by (13) and by assumption, H 0 ( λ I R j n ) = X R j n ( { λ } ) is closed for every λ C . By (13) and (3), H 0 ( S R n ) = X S R n ( { 0 } ) is closed. Following the procedure of [1], let 0 λ C ; by ([7], Proposition 3.3.1, part (f)) we have
X R j n ( { λ } { 0 } ) = X R j n ( { λ } ) + X R j n ( { 0 } ) = H ( λ 0 I R j n ) + H 0 ( R j n ) .
Since R j n is upper semi-Fredholm, the SVEP at 0 implies that H 0 ( R j n ) is finite-dimensional (see [8], Theorem 3.18). Then, X R j n ( { λ } { 0 } ) is closed. By Theorem 5, we then have
H 0 ( λ I S R n ) = X S R n { λ }
is closed, therefore S R n has property Q .
Following the procedure of [1] (Theorem 3), it is possible to prove the following:
Theorem 7.
Let S , R L ( X ) be such that R n S R n = R j for same integers j n 0 .
1. 
(i) If 0 λ C , then K ( λ I R j n ) is closed if and only K ( λ I S R n ) is closed, or equivalently K ( λ I R n S ) is closed.
2. 
(ii) If R j n is injective, then K ( λ I R j n ) is closed if and only K ( λ I S R n ) is closed, or equivalently K ( λ I R n S ) is closed for all λ C .
Corollary 1.
Suppose R n S R n = R j , S j R S J = S n , for some integers j n 0 and λ 0 . Then, the following statements are equivalent:
1. 
K ( λ I R j ) is closed.
2. 
K ( λ I S R n ) is closed.
3. 
K ( λ I R n S ) is closed.
4. 
K ( λ I S n ) is closed.
When R is injective, the equivalence also holds for λ 0 .
Proof. 
The equivalence of (3) and (4) follows from Theorem 3. Since, the injectivity of R is equivalent to the injectivity of S, the equivalence of (1) and (4) also holds for λ = 0 . □
We show now that property ( Q ) is also transmitted between operators R into S . Let S , R L ( X ) be such that R n S R n = R j for some integers j n 0 . If R has the property ( Q ) and R j n has the property ( Q ) , then S R n has the property ( Q ) , therefore S n has the property ( Q ) , thus S has the property ( Q ) .

4. Example: Drazin Invertible Operators

In this section, we give an example that plays a crucial role for the theory, of operators R , S Ł ( X ) that satisfy the equation R n C R n = R j for some integers j n 0 .
In the literature, the concept of invertibility admits several generalizations. Another generalization of the notion of invertibility, which satisfies the relationships of “reciprocity” observed above, is provided by the concept of Drazin invertibility.
The concept of Drazin invertibility has been introduced in a more abstract setting than operator theory [14]. In the case of the Banach algebra L ( X ) , R L ( X ) is said to be Drazin invertible (with a finite index) if there exists an operator S L ( X ) and n N such that
R S = S R , S R S = S , R n S R = R n .
The smallest nonnegative integer ν such that (15) holds is called the index i ( R ) of R. In this case, the operator S is called Drazin inverse of R.
Clearly, in this case,
R n S R n = R n S R R n 1 = R n R n 1 = R j for same integers j = 2 n 1 > n 0 .
Clearly, any invertible operator or a nilpotent operator R is Drazin invertible.

5. Conclusions

In this paper we give a proof that the operators S and R share property (Q) and in some modes Dunford’s property (C); we prove further results concerning the local spectral theory of R, S, RS and SR, in particular we show several results concerning the quasi-nilpotent parts and the analytic cores of these operators. It should be noted that these results are established in a very general framework. Therefore, we hope to discuss some aspect in a further paper.

Funding

This work was partly supported by G.N.A.M.P.A.-INdAM and by the University of Palermo.

Acknowledgments

The author thanks the referees for their careful reading and comments on the original draft. Their suggestions have greatly contributed to improve the final form of this article.

Conflicts of Interest

I have no competing interests.

References

  1. Aiena, P.; Gonzalez, M. Local Spectral Theory For Operators R And S Satisfying RSR = R2. Extr. Math. 2016, 31, 37–46. [Google Scholar]
  2. Aiena, P.; Triolo, S. Local spectral theory for Drazin invertible operators. J. Math. Anal. Appl. 2016, 435, 414–424. [Google Scholar] [CrossRef]
  3. Aiena, P. The Weyl-Browder spectrum of a multiplier. Contemp. Math. 1999, 232, 13–21. [Google Scholar]
  4. Aiena, P.; Triolo, S. Weyl-Type Theorems on Banach Spaces Under Compact Perturbations. Mediterr. J. Math. 2018, 15, 126. [Google Scholar] [CrossRef]
  5. Aiena, P.; Triolo, S. Fredholm Spectra and Weyl Type Theorems for Drazin Invertible Operators. Mediterr. J. Math. 2016, 13, 4385–4400. [Google Scholar] [CrossRef]
  6. Aiena, P.; Triolo, S. Projections and isolated points of parts of the spectrum. Adv. Oper. Theory 2018, 3, 868–880. [Google Scholar] [CrossRef]
  7. Laursen, K.B.; Neumann, M.M. An Introduction to Local Spectral Theory; Clarendon Press: Oxford, UK, 2000. [Google Scholar]
  8. Aiena, P.; Triolo, S. Some Remarks on the Spectral Properties of Toeplitz Operators. Mediterr. J. Math. 2019, 16, 135. [Google Scholar] [CrossRef]
  9. Aiena, P.; Gonzalez, M. On the Dunford property (C) for bounded linear operators Rs And SR. Integr. Equa. Oper. Theory 2011, 70, 561568. [Google Scholar] [CrossRef]
  10. Schmoeger, C. Common spectral properties of linear operators A and B such that ABA = A2 and BAB = B2. Publ. de L’Inst. Math. 2006, 79, 127–133. [Google Scholar] [CrossRef] [Green Version]
  11. Duggal, B.P. Operator equation ABA = A2 and BAB = B2. Funct. Anal. Approx. Comput. 2011, 3, 9–18. [Google Scholar]
  12. Benhida, C.; Zerouali, E.H. Local spectral theory of linear operators RS and SR. Integr. Equa. Oper. Theory 2006, 54, 1–9. [Google Scholar] [CrossRef]
  13. Aiena, P.; Colasante, M.L.; González, M. Operators which have a closed quasi-nilpotent part. Proc. Amer. Math. Soc. 2002, 130, 2701–2710. [Google Scholar] [CrossRef]
  14. Drazin, M.P. Pseudoinverse in associative rings and semigroups. Am. Math. Mon. 1958, 65, 506–514. [Google Scholar] [CrossRef]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Triolo, S. Local Spectral Theory for R and S Satisfying RnSRn = Rj. Axioms 2020, 9, 120. https://doi.org/10.3390/axioms9040120

AMA Style

Triolo S. Local Spectral Theory for R and S Satisfying RnSRn = Rj. Axioms. 2020; 9(4):120. https://doi.org/10.3390/axioms9040120

Chicago/Turabian Style

Triolo, Salvatore. 2020. "Local Spectral Theory for R and S Satisfying RnSRn = Rj" Axioms 9, no. 4: 120. https://doi.org/10.3390/axioms9040120

APA Style

Triolo, S. (2020). Local Spectral Theory for R and S Satisfying RnSRn = Rj. Axioms, 9(4), 120. https://doi.org/10.3390/axioms9040120

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop