ON LEVEL SETS OF NORM OF GENERALIZED RESOLVENT OF OPERATORS PENCILS Текст научной статьи по специальности «Математика»

ISSN 2074-1871 yfoi/iMCKi/m MaTeMaTi/iHecKi/m wypHa^. TOM 16. № 3 (2024). C. 130-138.

ON LEVEL SETS OF NORM OF GENERALIZED RESOLVENT OF OPERATORS PENCILS

M.A. MANSOURI, A. KHELLAF, H. GUEBBAI

Abstract. We prove that the generalized resolvent operator defined in a Hilbert space cannot remain constant on any open subset of the resolvent set. Under certain conditions we also prove the same result for a complex uniformly convex Banach space. These results extend the known ones.

Keywords: e-pseudospectrum, e-pseudospectrum of operators pencils, generalized spectrum approximation, operator pencil.

Mathematics Subject Classification: 35P15; 47A75; 35.J10

1. Introduction

We consider a bounded operator T in a Banach space X, The symbol a(T) denotes the spectrum of operator T, The e-pseudospectrum of T is defined as

a£(T) = [z e C : || (T - zl)-1|| > e-1} U a(T)

or as

Ee(T) = [z e C : || (T - zl)-11| ^ e-1} U a(T)

where e > 0. For more details on this concept, see [ ], [ ], [ ], [ ], The difference between S£(T) and a£(T) is characterized by the e-level set of T given as

L£(T) = [z e C : ||(T - zl)-1|| = e-1}. (1.1)

A pertinent question is whether the set L£(T) can contain an open subset. If so, S£(T) would be significantly larger than the closure of a£ (T), This issue remained unresolved for some time, see |6|, and was resolved in |14|, |5|, |3|.

For T,S e B(X), where B(X) is the space of linear bounded operators in a Banach space X, the generalized eigenvalue problem is Tu = XSu, where A e C and u e X\{0}. The generalized resolvent set is defined by

p(T,S) = {z e C : (T - zS)-1 e B(X)}.

The generalized spectrum is defined as a(T,S) = C \ p(T,S). The pair (T,S) is generally called regular if p(T, S) = 0, a condition that is always met in this work. For a more detailed explanation of these definitions see |13|, |16|, |8|, |10|, |1|, |2|.

The of operator pencils of T, S e B(X) is defined as

a£(T, S) = [z e C : ||(T - zS)-151| > e-1} U a(T, S) (1.2)

or as

S£(T,S) = [z e C : ||(T - )-1S|| ^ e-1} U a(T,S)

m.A. mansouri, A. KllELLAF, H. GUEIJUAl, On level sets of norm of generalized resolvent of operators pencils.

© MANSOURI M.A., KllELLAF A., GUEUUAl H. 2024. Submitted December 22, 2023.

where e > 0. This definition is borrowed from [ ], where it was proved that it is a natural generalization of the case S = /.It shows that the set defined in ( ) remains consistent and preserves fundamental properties of the e-pseudospectrum, see [ , Thms, 2,1, 2,3, 2,4], For other definitions of the e-pseudospectrum see [],[],[], [ ],

The difference between S£(T, S^d oe(T, S) is the level set L£(T, S)

Le(T,S) = [X e C : II (T - XS)-1SII = e-1}. (1.3)

We address the issue about a condition for the set Le(T,S) ensuring that it contains no open

In this paper we prove that the set defined in ( ) contains no open set when X = H is a Hilbert space, see Theorem , This result is established under the condition that S is a compact injective operator. Our second main result demonstrate that given a pair (T, S) acting in a complex uniformly convex Banach space, if the generalized resolvent operator defined as (T — zS)-1S, z e p(T, S), has a constant norm on an open set, then this constant represents the global minimum, see Theorem 2,2, Theorems 2,3, 2,4 establish the same for a complex uniformly convex Banach space X, namely, the set defined in ( ) contains no open set provided S is either invertible with S-1 e B(X), or is compact and injective.

It was shown in [ , Thm, 2,2] that if A is an unbounded operator with a compact resolvent defined on a uniformly convex Banach space, then the set (1,1) contains no open set. Let a e p(A), where p(A) denotes the resolvent set of A We consider the operators S = (A — al)-1 and T = (A — al)-1A. It was shown in | , Thms. 2.3, 4.5] that T,S e B(X) and

a(T,S ) = a (A), a£(T,S ) = ae(A)

for e > 0. It is important to note that the assumption that S is compact and injective represents a correct generalization and contributes significantly to the existing studies in the literature. This extension promotes further exploration and understanding of the established concepts in the field of operator pencils.

2. Main results

Let T,S e B(X), In what follows, if we write X = H, then H is a Hilbert space. We begin with providing an example, in which the difference between two definitions of e-pseudospectrum

[z e C : || (T — zS)-11| > £-1} U a(T, S) (2.1)

[z e C : ||(T — zS)-11| ^ £-1} U a(T,S) (2.2)

contains open subset. For more details on these definitions see |17|, We introduce the generalized spectral problem as

Tu = XSu,

where, H = R3 and

/1 0 0\ (2 0 3

T = [0 10] , 5 = 10 0 0 \0 0 0) \3 0 1

It is clear that T and S are degenerate. By elementary matrix calculations we get

»(r - w+i\ • w+r\ +■ z 6 C 7 •0}

>-*■+« 6 C 0}

It is clear that, for any open set in C obevin the properties Re z > 1 and Im z = 0, we have

U(T - zS)-1|| = 1.

Hence, the difference between the sets (2,1) and (2,2) contain an open subsets.

Our first result describes that the set defined in ( ) contains no open set when X = H is a Hilbert space of infinite dimension. This result is established under the condition that S is a compact injective operator. In what follows, we use the notation Re(z,T, S) = (T - zS)-1 for all z e p(T,S).

Theorem 2.1. Let T,S e B(H), where S is compact and injective operator. Let U be an open subset of p(T, S). If

|| Re(\,T,S)S|| ^ M A e U,

|| Re(X,T,S)S|| <M A e U. X

references [],[],[ ], [ ], this situation was studied in the case S = I. Here we generalize these results for the operator pencils. The next theorem states that, for a pair (T, S) acting in a complex uniformly convex Banach space, if the generalized resolvent operator Re(z,T,S)S, z e p(T,S), has a norm that remains constant over an open set, then this constant value represents the global minimum.

Theorem 2.2. Let T and S belong to B(X), where X is a complex uniformly convex Banach ■space. Assume that there exist an open subset U C p(T, S) and const ant M > 0 such that

|| Re(X,T,S) S|| = M, A e U.

Then

|| Re(X,T,S) S|| ^ M for all A e p(T,S). X

described by ( ) contains no open subsets under the condition that S is invertible operator and 5-1 e B(X).

Theorem 2.3. Let T and S belong to B(X), where X is a complex uniformly convex Banach space. If S is an invertible operator such, that S-1 e B(X), then there is no open subset in p(T, S) such, that the function || Re( ■ ,T, S)S|| is constant on it.

X

described by ( ) contains no open set under the condition that S is a compact and injective operator.

Theorem 2.4. Let X be a complex uniformly convex Banach space and T,S e B(X). Assume that the operator S is injective and compact. Then there is no open subset in p(T, S) such, that the function || Re(-,T,S)S|| is constant on it.

Let us discuss the main results of the work. An example obeying the assumption of the Theorem reads as follows: H = L2(Q)„ where Q C Rra and n ^ 1. The operators T and S are defined as

Tu(t) = u(t) + j k1(t,s)u(s) ds, Su(t) = J k2(t,s)u(s) ds,

n n

where the functions k1 and k2 are the kernels of the integral operators. This case agrees with the results in [ ], [ ], Let A ^e an unbounded operator in X and a e p(A), where p(A) denotes

the resolvent set of A Consider the operators S = (A — al) 1 and T = (A — al) 1A. It was shown in [ , Thms, 2,3, 4,5] that T,S e B(X), and additionally, we have

Re(X,T, S)S = Re(A, A)

for all A e p(A). Consequently, if X is a complex uniformly convex Banach space or a Hilbert space, and S is compact operator, then according to Theorems and there is no subset of p(A), on which || Re( ■, A)|| remains constant,

3. Case of Hilbert space In this section we prove Theorem 2,1 and the following lemmas will play a crucial role.

Lemma 3.1. Given A e B(X), let ||A|| < 1. Then (I — A) possesses a bounded inverse in X, which is represented by the Neumann series

( I — A)-1 = . k=0

Lemma 3.2. Let T,S e B(X) and A0 e p(T, S). If there exists a A e C such that

|A — Ao| < || Re(\o,T,S)S||-1, (3.1)

then X e p(T, S) and

Re(A, T, S)S = ^(A - Ac)fc[Re(Ac, T, 5)5]

1 k+1

— ло) [Re(/\o, ± , uju k=0

Доказательство. Let Л G p(T,S) satisfy the relation ( ). Then

T -ЛS = (T - /oS) (I - (Л - Ло) Re(/o, T, S)S). Using Lemma 3.1, we arrive at the desired result. The proof is complete. □

Here we prove Theorem , We argue by contradiction. Let Л0 G U such that || Re( Л0,Т, S) S II = M. Since the set U is open, we can choose r > 0 such that

|| (Л - Zo)Re(Zo,T,S)S|| < 1, Л G В(Ло, г),

where В is of radius r centered at Л0. By Lemma we have

Re(Л,T, S)S = ^(Л - Л0)к(Re^o,T, S)S)fc+1, Л G В(Ao, r). fc=0

For each f G H we get

|| Re( Л, T, S )S f ||2 = ^ (Л - Л0)к~(Х-Х0Г <(Re(Лo, T, S )S )fc+1 f, (Re(Лo ,T, S )S )m+1 f) .

12 =

k,m=0

(3.2)

Integrating Equation (3.2) along the circle |Л - Л0| = r, where Л = Л0 + гегв, we find

-1J|| Re(Л0 + гeгв,T, S)Sf H2d9 0

2n

1 „

= S 2^/(re 1в)k(re-гв)md° <(Re(Лo,T,S)S)fc+1 f, (Re(Лo,T,S)S)m+1 f) .

k,m=0 0

Since

we obtain

( 2k •

■1 [(re")k(re-ie)mdd = 1 f dd=V if k = ^

2 t J 2tt J | 0 otherwise,

00

2t

It is clear that

, 2'f

- I || Re(Ao + rel(>,T,S)Sf fdd = ^ r2fc||(Re(Ao,T,5)S)fc+71|2.

o k=0

|| Re(\o,T,S)Sf ||2 + r2H(Re(\o,T,S)S)2f ||2 ^ £r2fc||(Re(Ao,T,5)S)k+1f ||2

k=o

and therefore

|| Re( Xo,T,S)Sf ||2 + r2|(Re(Ao ,T,S)S)2f ||2 ^ -—J || Re(Ao + re* ,T,S)Sf fd$.

o

Using

|| Re(Ao + re*,T,S)Sf || ^M||/||,

we find

|| Re(Xo,T,S)Sf ||2 + r2H(Re(\o,T,S)S)2f ||2 ^ M2||/||2. (3.3)

We choose an arbitrary e > 0, Since || Re( Ao,T, S)S|| = M, there exists f£ e H such that || fsH = 1 and || Re(Xo,T, S)S/£||2 >M2 — e. Therefore, due to (3.3),

M2 — e + r2||(Re(Ao, T, S)S)2/e||2 < M2.

Then

which implies and hence

| | (Re(\o,T,S)S)2/e||2 ,

lim | | (Re( Xo,T,S )S )2 /e| |2 = 0

£—s- o

lim(Re(\o,T, S)S)2 f£ = 0. (3.4)

£—^o

Since S is compact operator and the sequence (Re(Ao,T, S)Sf£)e>o is bounded, there exists an infinite subset I C R+ and yo e H such that

limRe( Xo,T,S)S fs = yo (3.5)

£—o

e .

Re( \o,T, S)S (limRe(Ao,T, S)Sf£) = Re(Ao,T, S)Syo. \£—o J

According to the continuity of Re( Ao,T, S)S,

lim(Re(\o,T, S)S)2f£ = Re(Ao,T, S)Syo

£—o

e .

Re(Xo,T, S)Syo = 0. Since S is inject ive, we con elude yo = 0. By ( )

limRe(Ao,T, S)Sf£ = 0

£—S- o

for all e e I and this contradicts to

|| Re(Ac,T, S)SfeH2 >M2 - e.

The proof is complete,

4. Case of complex uniformly convex banach space In this section we prove Theorems 2,2, 2,3 and 2,4,

The next theorem plays a crucial role in proving Theorems 2,2, 2,3 and 2,4,

Theorem 4.1. Let T and S belong to B(X), were X is a complex uniformly convex Banach space. Assume that there exists an open subset U C p(T, S) and a const ant M > 0 such that

|| Re(X,T,S) S|| = M, VA e U.

Then there exists (en)n^0 C X such, that ||era|| = 1 for aU n e N, where

lim || Re(Xo,T,S^„H = M

lim || (Re(Xo,T, S)S)2enH =0

for all A0 e U.

In the proof of Theorem 4,1 we employ the following lemma. Lemma 4.1. Let,

A^ f (X) = ^ ak(X - Ao)fc

k=0

X

of the point X0. If ||/(A)|| = ||a0|| in a neighborhood of the point X0, then for each k e N* there exists rk > 0 such that

||ao + (A - Xo)ak|| ^ ||ao|, |A - Ao| ^ rk.

The lemma is implied by |7, Lm, 1,1|,

Proof of Theorem 4.1. The proof is partially based on the proof of |3, Thm, 3,2| in the case S = /.Let A0 e U, we choose r > 0 such th at || Re(X0,T,S )S ||-1 > r. According to Lemma , the function Re(-,T,S)S is analytic in the ball B(X0,r) and

Re(X,T,S)S = ^(X - Ao)fc(Re(Xo,T,S)S)k+\ for all A e B(r,Xo).

k=0

Since || Re(X, T, S)S|| = M for all A e U, we have

|| Re(X,T,S)S|| = || Re(Xo,T,S)5| = M for all A e U. By Lemma ( ), for each k e N* there exists rk > 0 such that

|| Re(Ao,T, S)S +(X - Xo)(Re(Xo,T, S)S)fc+1| ^ M, |A - Ao| ^ rk for all A e U. This implies

|| Re(Xo, T, S )Sx + (X - Ao) Re(Xo,T, S )S )k+1xH ^ M, X e B (Ao, rk) for each x e X with ||x| = 1. Therefore,

H-^Re^T,^ + (Re(Xo,T,S)S)k+1xH ^ 1 X e B(Ao, 1).

Since || Re(Xo,T, S )S || = M, there exists (en)n^0 C X such th at ||era|| = 1 to all n e N and

lim || Re(Xo,T,S) S^H = M.

We define the sequence

and then ||xra| ^ 1- We let

xn = -1Re(\o,T,S)Sen, n e N,

yn = -(Re(\o,T,S)S)2en, n e N.

We are going to show that ||yra|| ^ 0, We suppose the opposite, that is, there exist e > 0 and an infinite subset I C N such th at ||yra|| > e to all n e I. Then

Hxn + (X -Xo)ynH < 1, X e B(\o, 1).

X, > 0

HxnH < 1 - 5 for all n e N. This contradicts to ||;rra|| ^ 1. Then ||yra|| ^ 0 to all n e N. Hence,

lim ||(Re(\o,T,S)S)2enH = 0, and this completes the proof, □

Proof of Theorem . Let A0 e U. For an arbitrary A e p(T, S), we use twice the first resolvent identity to find

Re( A, T, S)S - Re(Ao, T, S)S =(X - Ao) Re(X, T, S)S Re(Xo,T, S)S

=(A - Ao) ((A - Ao) Re(X,T, S)S + I) (Re(Xo,T, S)S)2.

Hence,

|| Re( X, T, S )S || ^ 11| Re(\o, T, S )S || - |A - Ao| ||(A - Ao) Re(X, T, S )S + /|| || (Re(Xo,T, S )S )2 || | .

Due to Theorem , there exists (en)n^o C X such that

lim || Re(Xo,T,S>,9e„| = M,

lim ||(Re(Xo,T,S)S)2era|| = 0, and ||e ra|| = 1 to all n e N. Therefore,

|| Re(X,T,S)S|| ^||| Re(\>,T,S)SenH

- |A - Ao| ||(A - Ao) Re(X, T, S )S + /|| || (Re(Xo,T, S)S )2 e„|| Then as n ^ we have

|| Re(X,T,S)S|| ^ M, X ep(T,S). The proof is complete, □

Proof of Theorem . Assume that there exists an open set U C p(T, S) such that

|| Re(X,T,S)S|| = M, X e U. By Theorem there exists Ao G ^d (en)n C X such th at || era|| = 1 to all n e N and

lim || Re(Xo,T,S)SenH = M,

lim ||(Re(Xo,T,S)S)2era|| = 0.

Since S is invertible, we find

lim | |en| | ^ lim 11 5-1(T — AoS)S-1(T — AoS) || || (Re(Ao, T, S)S)2era||

^11 S-1(T — XoS)S-1(T — XoS)|| lim ||(Re(Ao,T,S)S)2en|| = 0.

This contradicts to | | e n | | = 1 to all n e N. The proof is complete, □

Proof Theorem . Let T and S belong to B(X), where X is a complex uniformly convex Banach space. Assume that there exists an open set U C p(T, S) such that

| | Re(X,T,S)S|| = M, A e U.

By Theorem there exists (en)n C X such that ||en|| = 1 to all n e N, where

lim | | Re(Xo,T,S^ej = M.

n—<x

lim | | (Re(Xo,T,S)S)2en|| = 0. Since S is compact operator, there exists infinite subset I C N and y e X such that

lim Re( Xo,T, S)Sen = y, n e I.

n—<x

We have

Re(Ao, T, S)S(lim Re(Ao, T, S)Sen) = Re(A, T, S)Sy

for all n e I. Thus, Re(Xo,T, S)Sy = Since Re(Xo,T,S)S is injective operator, this implies y = 0, The latter contradicts to M > 0. The proof is complete, □

REFERENCES

1. A. Ammar, H. Daoud, A. Jcribi. Pse.udospe.ctra and essential pse.udospe.ctra of multivalued linear relations /7 Mcditcrr. .J. Math. 12:4, 1377 1395 (2015).

2. A. Ammar, A. .Jcribi, K. Mahfoudhi. The condition pse.udospectrum subset and related results /7 ■J. Pscudo Differ. Opcr. Appl. 11:1, 491 504 (2020).

3. S. Bogli, P. Siegl. Remarks on the. convergence, of pse.udospe.ctra /7 Integral Equations Oper. Theory. 80:3, 303 321 (2014).

4. E. B. Davies. Linear operators and their spectra, Cambridge University Press, Cambridge, England (2007).

5. E. B. Davies, E. Shargorodskv. Level sets of the. resolvent norm of a linear operator revisited /7 Mathematika. 62:1, 243 265 (2016).

6. .J. Globevnik. Norm constant analytic, functions and equivalent norms /7 111. .J. Math. 20:3, 503 506 (1976).

7. .J. Globevnik, I. Vidav. On operator valued analytic, functions with constant norm /7 .J. Funct. Anal. 15:4, 394 403 (1974).

8. H. Guebbai. Generalized spectrum approximation and numerical computation of eigenvalues for Schrddinge.r's operators /7 Lobaehevskii .J. Math. 34:1, 45 60 (2013).

9. A. Khellaf, S. Benarab, H. Guebbai, W. Merehela. A class of strongly stable, approximation for unbounded operators /7 Vestn. Tambov. Gos. Tekh. Univ. 24:126, 218 234 (2019).

10. A. Khellaf, W. Merehela, H. Guebbai. New sufficient conditions for the. computation of generalized eigenvalues /7 Izv. Vvssh. Uehebn. Zaved., Mat. 2021:2, 74-78 (2021) [Russian Math.'(Iz. VUZ) 65:2, 65 68 (2021).]

11. A. Khellaf. H. Guebbai, S. Lemita, A. M. Aissaoui. On the. pseudo-spectrum of operator pencils /7 Asian-Eur. .J. Math. 13:5, 2050100 (2020).

12. S. H. Kulkarni. Spectrum and related sets: a survey /7 .J. Anal. 29:2, 493 517 (2021).

13. A. S. Markus. Introduction to the. Spectral Theory of Polynomial Operator Pencils. American Mathematical Society Providence, RI (1988).

14. E. Shargorodskv. On the level sets of the resolvent norm of a linear operator // Bull. Lond. Math. Soc. 40:3, 493-504 (2008).

15. E. Shargorodskv. On the definition of pseudospectra // Bull. Lond. Math. Soc. 41:3, 524-534 (2009).

16. G. A. Sviridvuk. On the general theory of operator semigroups // Usp. Mat. Nauk 49:4(298), 47-74 (1994)'. [Russ. Math. Surv. 49:4, 45-74 (1994).]

17. L. N. Trefethen, M. Embree. Spectra and Pseudospectra. The Behavior of Nonnormal Matrices and Operators, Princeton University Press, Princeton, NJ (2005).

Mohammed Abderrazak Mansouri Laboratoire des Mathématiques Appliquées et Modélisation, Department of Mathematics

E-mail: mansouri .mohammedabderrazak@univ-guelma.dz.

Ammar Khellaf,

Ecole Nationale Polytechniques de Constantine,

Nouvelle Ville of Ali Mendjeli, BP 75,

25000, Constantine, Algeria

Laboratoire des Mathématiques Appliquées

et Modélisation, Université 8 Mai 1945,

BP.401, Guelma, 24000, Algeria

E-mail: amarlasix@gmail.com

Hamza Guebbai

Laboratoire des Mathématiques Appliquées

et Modélisation,

Department of Mathematics,

Université 8 Mai 1945,

BP.401, Guelma, 24000, Algeria

E-mail: guebbai.hamza@univ-guelma. dz