Linear Operators and Their Essential Pseudospectra
Linear Operators and Their Essential Pseudospectra
Aref Jeribi, PhD Department of Mathematics, University of Sfax, Tunisia E-mail: [email protected] Apple Academic Press Inc. Apple Academic Press Inc. 3333 Mistwell Crescent 9 Spinnaker Way Oakville, ON L6L 0A2 Canada Waretown, NJ 08758 USA © 2018 by Apple Academic Press, Inc. Exclusive worldwide distribution by CRC Press, a member of Taylor & Francis Group No claim to original U.S. Government works Printed in the United States of America on acid-free paper International Standard Book Number-13: 978-1-77188-699-4 (Hardcover) International Standard Book Number-13: 978-1-351-04627-5 (eBook) All rights reserved. No part of this work may be reprinted or reproduced or utilized in any form or by any electric, mechanical or other means, now known or hereafter invented, including photocopying and re- cording, or in any information storage or retrieval system, without permission in writing from the publish- er or its distributor, except in the case of brief excerpts or quotations for use in reviews or critical articles. This book contains information obtained from authentic and highly regarded sources. Reprinted material is quoted with permission and sources are indicated. Copyright for individual articles remains with the authors as indicated. A wide variety of references are listed. Reasonable efforts have been made to publish reliable data and information, but the authors, editors, and the publisher cannot assume responsibility for the validity of all materials or the consequences of their use. The authors, editors, and the publisher have attempted to trace the copyright holders of all material reproduced in this publication and apologize to copyright holders if permission to publish in this form has not been obtained. If any copyright material has not been acknowledged, please write and let us know so we may rectify in any future reprint. Trademark Notice: Registered trademark of products or corporate names are used only for explanation and identification without intent to infringe. Library and Archives Canada Cataloguing in Publication
Jeribi, Aref, author Linear operators and their essential pseudospectra / Aref Jeribi, PhD (Department of Mathematics, University of Sfax, Tunisia).
Includes bibliographical references and index. Issued in print and electronic formats. ISBN 978-1-77188-699-4 (hardcover).--ISBN 978-1-351-04627-5 (PDF)
1. Linear operators. 2. Spectral theory (Mathematics). I. Title.
QA329.2.J47 2018 515'.7246 C2018-900406-1 C2018-900407-X
CIP data on file with S Library of C ongress
Apple Academic Press also publishes its books in a variety of electronic formats. Some content that appears in print may not be available in electronic format. For information about Apple Academic Press products, visit our website at www.appleacademicpress.com and the CRC Press website at www.crcpress.com To my mother Sania, my father Ali, my wife Fadoua, my children Adam and Rahma, my brothers Sofien and Mohamed Amin, my sister Elhem, and all members of my extended family
Contents
About the Author xiii
Preface xv
1 Introduction 1 1.1 Essential Spectra and Relative Essential Spectra . . . . . 2 1.2 Essential Pseudospectra ...... 8 1.3 Structured Essential Pseudospectra and Relative Struc- tured Essential Pseudospectra ...... 12 1.4 Condition Pseudospectrum ...... 14 1.5 Outline of Contents ...... 15
2 Fundamentals 19 2.1 Operators ...... 19 2.1.1 Linear Operators ...... 19 2.1.2 Bounded Operators ...... 20 2.1.3 Closed and Closable Operators ...... 20 2.1.4 Adjoint Operator ...... 22 2.1.5 Direct Sum ...... 24 2.1.6 Resolvent Set and Spectrum ...... 25 2.1.7 Compact Operators ...... 26 2.1.8 A-Defined, A-Bounded, and A-Compact Operators 27 2.1.9 Weakly Compact and A-Weakly Compact Opera- tors ...... 29 2.1.10 Dunford-Pettis Property ...... 29 2.1.11 Strictly Singular Operators ...... 30 viii Contents
2.1.12 Strictly Cosingular ...... 31 2.1.13 Perturbation Function ...... 32 2.1.14 Measure of Non-Strict-Singularity ...... 33 2.1.15 Semigroup Theory ...... 33 2.2 Fredholm and Semi-Fredholm Operators ...... 34 2.2.1 Definitions ...... 34 2.2.2 Basics on Bounded Fredholm Operators ...... 37 2.2.3 Basics on Unbounded Fredholm Operators . . . . 43 2.3 Perturbation ...... 48 2.3.1 Fredholm and Semi-Fredholm Perturbations . . . . 48 2.3.2 Semi-Fredholm Perturbations ...... 51 2.3.3 Riesz Operator ...... 52 2.3.4 Some Perturbation Results ...... 53 2.3.5 A-Fredholm Perturbation ...... 54 2.3.6 A-Compact Perturbations ...... 55 2.3.7 The Convergence Compactly ...... 56 2.4 Ascent and Descent Operators ...... 57 2.4.1 Bounded Operators ...... 57 2.4.2 Unbounded Operators ...... 62 2.5 Semi-Browder and Browder Operators ...... 63 2.5.1 Semi-Browder Operators ...... 63 2.5.2 Fredholm Operator with Finite Ascent and Descent 65 2.6 Measure of Noncompactness ...... 67 2.6.1 Measure of Noncompactness of a Bounded Subset 68 2.6.2 Measure of Noncompactness of an Operator . . . . 69 2.6.3 Measure of Non-Strict-Singularity ...... 71 2.6.4 γ-Relatively Bounded ...... 73 2.6.5 Perturbation Result ...... 73 2.7 γ-Diagonally Dominant ...... 75 2.8 Gap Topology ...... 76 2.8.1 Gap Between Two Subsets ...... 76 2.8.2 Gap Between Two Operators ...... 77 Contents ix
2.8.3 Convergence in the Generalized Sense ...... 78 2.9 Quasi-Inverse Operator ...... 79 2.10 Limit Inferior and Superior ...... 83
3 Spectra 85 3.1 Essential Spectra ...... 85 3.1.1 Definitions ...... 85 3.1.2 Characterization of Essential Spectra ...... 88 3.2 The Left and Right Jeribi Essential Spectra ...... 91 3.3 S-Resolvent Set, S-Spectra, and S-Essential Spectra . . . . 92 3.3.1 The S-Resolvent Set ...... 92 3.3.2 S-Spectra ...... 98 3.3.3 S-Browder’s Resolvent ...... 100 3.3.4 S-Essential Spectra ...... 104 3.4 Invariance of the S-Essential Spectrum ...... 108 3.5 Pseudospectra ...... 113 3.5.1 Pseudospectrum ...... 113 3.5.2 S-Pseudospectrum ...... 115 3.5.3 Ammar-Jeribi Essential Pseudospectrum ...... 119 3.5.4 Essential Pseudospectra ...... 122 3.5.5 Conditional Pseudospectrum ...... 123 3.6 Structured Pseudospectra ...... 124 3.6.1 Structured Pseudospectrum ...... 124 3.6.2 The Structured Essential Pseudospectra ...... 125 3.6.3 The Structured S-Pseudospectra ...... 126 3.6.4 The Structured S-Essential Pseudospectra . . . . . 128
4 Perturbation of Unbounded Linear Operators by γ-Relative Boundedness 129 4.1 Sum of Closable Operators ...... 129 4.1.1 Norm Operators ...... 129 4.1.2 Kuratowski Measure of Noncompactness . . . . . 135 4.2 Block Operator Matrices ...... 137 x Contents
4.2.1 2 × 2 Block Operator Matrices ...... 137 4.2.2 3 × 3 Block Operator Matrices ...... 139
5 Essential Spectra 143 5.1 Characterization of Essential Spectra ...... 143 5.1.1 Characterization of Left and Right Weyl Essential Spectra ...... 143 5.1.2 Characterization of Left and Right Jeribi Essential Spectra ...... 149 5.2 Stability of Essential Approximate Point Spectrum and Essential Defect Spectrum of Linear Operator ...... 156 5.2.1 Stability of Essential Spectra ...... 156 5.2.2 Invariance of Essential Spectra ...... 159 5.3 Convergence ...... 162 5.3.1 Convergence Compactly ...... 162 5.3.2 Convergence in the Generalized Sense ...... 169
6 S-Essential Spectra of Closed Linear Operator on a Banach Space 183 6.1 S-Essential Spectra ...... 183 6.1.1 Characterization of S-Essential Spectra ...... 183 6.1.2 Stability of S-Essential Spectra of Closed Linear Operator ...... 188 6.2 S-Left and S-Right Essential Spectra ...... 195 6.2.1 Stability of S-Left and S-Right Fredholm Spectra . 195 6.2.2 Stability of S-Left and S-Right Browder Spectra . . 201
7 S-Essential Spectrum and Measure of Non-Strict-Singularity 205 7.1 A Characterization of the S-Essential Spectrum ...... 205 7.2 The S-Essential Spectra of 2 × 2 Block Operator Matrices 210
8 S-Pseudospectra and Structured S-Pseudospectra 217 8.1 Study of the S-Pseudospectra ...... 217 8.2 Characterization of the Structured S-Pseudospectra . . . . 223 Contents xi
8.3 Characterization of the Structured S-Essential Pseu- dospectra ...... 231
9 Structured Essential Pseudospectra 239 9.1 On a Characterization of the Structured Wolf, Ammar- Jeribi, and Browder Essential Pseudospectra ...... 239 9.1.1 Structured Ammar-Jeribi, and Browder Essential Pseudospectra ...... 239 9.1.2 A Characterization of the Structured Browder Essential Pseudospectrum ...... 252 9.2 Some Description of the Structured Essential Pseu- dospectra ...... 262 9.2.1 Relationship Between Structured Jeribi and Struc- tured Ammar-Jeribi Essential Pseudospectra . . . . 262 9.2.2 A Characterization of the Structured Ammar- Jeribi Essential Pseudospectrum ...... 264
10 Structured Essential Pseudospectra and Measure of Noncom- pactness 269 10.1 New Description of the Structured Essential Pseudospectra 269 10.1.1 A Characterization of the Structured Ammar- Jeribi Essential Pseudospectrum by Kuratowski Measure of Noncompactness ...... 269 10.1.2 A Characterization of the Structured Browder Essential Pseudospectrum by Means of Measure of Non-Strict-Singularity ...... 274
11 A Characterization of the Essential Pseudospectra 279 11.1 Approximation of ε-Pseudospectrum ...... 279 11.2 A Characterization of Approximation Pseudospectrum . . 283 11.3 Essential Approximation Pseudospectrum ...... 293 11.4 Properties of Essential Pseudospectra ...... 298 11.5 Pseudospectrum of Block Operator Matrices ...... 305 xii Contents
12 Conditional Pseudospectra 315 12.1 Some Properties of Σε (A) ...... 315 12.2 Characterization of Condition Pseudospectrum ...... 322
Bibliography 327
Index 345 About the Author
Aref Jeribi, PhD Professor, Department of Mathematics, University of Sfax, Tunisia
Aref Jeribi, PhD, is Professor in the Department of Mathematics at the University of Sfax, Tunisia. He is the author of the book Spectral Theory and Applications of Linear Operators and Block Operator Matrices (2015) and co-author of the book Nonlinear Functional Analysis in Banach Spaces and Banach Algebras: Fixed Point Theory under Weak Topology for Nonlinear Operators and Block Operator Matrices with Applications (CRC Press, 2015). He has published many journal articles in international journals. His areas of interest include spectral theory, matrice operators, transport theory, Gribov operator, Bargman space, fixed point theory, Riesz basis, and linear relations.
Preface
This book is intended to provide a fairly comprehensive study of spectral theory of linear operators defined on Banach spaces. The central items of interest include various essential spectra, but we also consider some of their generalizations that have been studied in recent years. As the spectral theory of operators is an important part of functional analysis and has numerous applications in many parts of mathematics and, we require, in this book, some modest prerequisites from functional anal- ysis and operator theory are necessary that the reader can find in the clas- sical texts of functional analysis. We therefore have the hope that this book is accessible to newcomers and graduate students of mathematics with a standard background in analysis. A considerable part of the content of this book corresponds to research activities developed in collaboration with some colleagues as well as with some of my graduate students over the course of several years. This book is considered as an attempt to organize the available material, most of which exists only in the form of research papers scattered throughout the litera- ture. For this reason, it has been a great pleasure for me to organize the material in this book. In recent years, spectral theory has witnessed an explosive develop- ment. In this book, we present a survey of results concerning various types of essential spectra and pseudospectra in a unified, axiomatic way, and we also gathered several topics that are new but that relate only to those concepts and methods emanating from other parts of the book. The book covers an important list of topics in spectral theory and will be an excellent choice. It is well written, giving a survey of results xvi Preface concerning various types of spectra in a unified, axiomatic way. The main topics include essential spectra, essential pseudospectra, structured essen- tial pseudospectra, and their relative sets. We do hope that this book will be very useful for researchers, since it represents not only a collection of a previously heterogeneous material but is also an innovation through several extensions. Of course, it is impossible for a single book to cover such a huge field of research. In making personal choices for inclusion of material, we tried to give useful complementary references in this research area, hence prob- ably neglecting some relevant works. We would be very grateful to receive any comments from readers and researchers, providing us with some infor- mation concerning some missing references. We would like to thank Salma Charfi for the improvement she has made in the introduction of this book. We are indebted to her. We would also like to thank Aymen Ammar for the improvement he has made throughout this book, and we are very grateful to him. Moreover, we should mention that the thesis work, performed under my direction, by my former students and present colleagues Asrar Elleuch, Mohamemd Zerai Dhahri, Bilel Boukettaya, Kamel Mahfoudhi, and Faten Bouzayeni, obtained results that have helped us in writing this book. Finally, we apol- ogize in case we have forgotten to quote any author who has contributed, directly or indirectly, to this work. —Aref Jeribi, PhD Chapter 1
Introduction
Recently, the interest in description of essential spectra remains high because of the abundance of practical applications that help scientists to deal with information overload. This book is intended to provide an impor- tant list of topics in spectral theory of linear operators defined on Banach spaces. Central items of interest include Fredholm operators and various characterizations of essential spectra. In this book, a survey of the state of the art of research related to essential spectra of closed, densely defined, and linear operators subjected to various perturbations is outlined. As important supersets of the essen- tial spectra, the description of essential pseudospectra in this book are interesting objects by themselves, since they carry more information and have a better convergence and approximation properties than essential spectra. We are also interested in giving a much better insight into the essential pseudospectra, by studying some sets called structured essential pseudospectra. Further, a significant amount of research has been done in this book to treat important characterizations of S-essential spectra and S- structured essential pseudospectra. In this book, we also turn our attention to the important concept of condition pseudospectrum which carries more information than spectrum and pseudospectrum, especially, about transient instead of just asymptotic behavior of dynamical systems. 2 Linear Operators and Their Essential Pseudospectra
Now, let us describe its contents in the following sections.
1.1 ESSENTIAL SPECTRA AND RELATIVE ESSENTIAL SPECTRA
The theory of the essential spectra of linear operators in Banach spaces is a modern section of the spectral analysis. It has numerous applications in many parts of mathematics and physics including matrix theory, function theory, complex analysis, differential and integral equations, and control theory. The original definition of the essential spectrum goes back to H. Weyl [158] around 1909, when he defined the essential spectrum for a self-adjoint operator A on a Hilbert space as the set of all points of the spectrum of A that are not isolated eigenvalues of finite algebraic multi- plicity and he proved that the addition of a compact operator to A does not affect the essential spectrum. Irrespective of whether A is bounded or not on a Banach space X, there are many ways to define the essen- tial spectrum, most of them are enlargement of the continuous spectrum. Hence, we can find several definitions of the essential spectrum in the liter- ature, which coincide for self-adjoint operators on Hilbert spaces (see, for example, [79, 137]). On the other hand, the concept of essential spectra was introduced and studied by many mathematicians and we can cite the contributions of H. Weyl and his collaborators (see, for instance [1–3, 48, 82, 83, 108, 120, 141, 154, 158]). Further important characterizations concerning essential spectra and their applications to transport operators are established by A. Jeribi and his collaborators see Refs. [1, 4–9, 11–14, 19, 26, 31, 34, 36, 37, 40, 41, 43–47, 51, 53, 59, 60, 84–88, 90, 94, 95, 97–100, 114–116, 123]. Among these essential spectra, the following sets are defined for a closed densely defined linear operator A: Introduction 3
σe1(A) := {λ ∈ C such that λ − A ∈/ Φ+(X)}, σe2(A) := {λ ∈ C such that λ − A ∈/ Φ−(X)}, T σe3(A) := σe1(A) σe2(A), σe4(A) := {λ ∈ C such that λ − A ∈/ Φ(X)}, \ σe5(A) := σ(A + K), K∈K (X) n σe6(A) := C\ λ ∈ C such that λ − A is Fredholm, i(λ − A) = 0, o and all scalars near λ are in ρ(A) , \ σe7(A) := σap(A + K), K∈K (X) \ σe8(A) := σδ (A + K), K∈K (X) \ σewl(A) := σl(A + K), K∈K (X) \ σewr(A) := σr(A + K), K∈K (X) where Φ+(X), Φ−(X), and Φ(X) denote the sets of upper semi-Fredholm, lower semi-Fredholm, and Fredholm operators, respectively; ρ(A), σ(A), and i(A) denote the resolvent set, the spectrum, and the index of A, respec- tively; K (X) denotes the set of all compact linear operators on X, and n o σap(A) := λ ∈ C such that inf k(λ − A)xk = 0 , kxk=1, x∈D(A) n o σδ (A) := λ ∈ C such that λ − A is not surjective , σl(A) := {λ ∈ C such that λ − A is not left invertible}, σr(A) := {λ ∈ C such that λ − A is not right invertible}.
The sets σe1(·) and σe2(·) are the Gustafson and Weidmann essential spectra, respectively [79]; σe3(·) is the Kato essential spectrum [108]; the subset σe4(·) is the Wolf essential spectrum [160]; σe5(·) is the Schechter essential spectrum [86–88]; and σe6(·) denotes the Browder essential spec- trum [48, 96]. The subset σe7(·) was introduced by V. Racoc ˇevic ´ [133] and designates the essential approximate point spectrum, and σe8(·) is 4 Linear Operators and Their Essential Pseudospectra the essential defect spectrum and was introduced by C. Shmoeger [143].
σewl(·) and σewr(·) are the left and the right of Weyl essential spectra, respectively. Considerable attention has also been devoted by A. Jeribi [1,93,113] to give a new characterization of the Schechter essential spectrum named the
Jeribi essential spectrum, σ j(A), of A ∈ C (X) (the set of closed densely defined linear operators on X) defined by
\ σ j(A) = σ(A + K) K∈W ∗(X) where W ∗(X) stands for each one of the sets W (X) (the set of weakly compact operators) or S (X) (the set of strictly singular operators). Recently, an important progress has been made by A. Ammar, B. Boukettaya, and A. Jeribi [20], who were interested in studying the stability problem of the left and right Weyl operator sets; and they defined the left and right Jeribi essential spectra for a closed densely defined oper- ator A as: l \ σ j(A) = σl(A + K) K∈W ∗(X) and r \ σ j (A) = σr(A + K). K∈W ∗(X) l r At the first sight, σewl(A) (resp. σewr(A)) and σ j(A) (resp. σ j (A)) seem l to be not equal. However, the authors has proved that σewl(A) = σ j(A) and r σewr(A) = σ j (A) in L1-spaces or X satisfies the Dunford-Pettis property; l and hence σewl(A) and σewr(A) may be viewed as an extension of σ j(A) r and σ j (A), respectively. On the other hand, the question of stability of the left and the right essential Weyl spectra was well-treated in Ref. [20] by using the concept of polynomially Riesz operators in order to give a refinement on the definition of these essential spectra via this concept and to show that compactness condition can be relaxed in a very general Banach space setting. Introduction 5
Motivated by the notion of measure of noncompactness, A. Ammar, M. Z. Dhahri and A. Jeribi [23] are interested in the description of the essential approximate point spectrum and the essential defect spectrum of a closed densely defined linear operator by means of upper semi-Fredholm and lower semi-Fredholm operators, respectively. In literature, the spectral theory of linear operators have been enriched by S. Goldberg [75], who presented a development of some powerful methods for the study of the convergence of a sequence of linear opera- tors in a Banach space and the investigation of the convergence compactly to zero. Recently, A. Ammar and A. Jeribi are concerned in work [32], not only with the case of bounded linear operators (An)n converging compactly to a bounded operator A, but also with the case of a sequence of closed linear operators (An)n converging in the generalized sense to a closed linear operator A. The notion of generalized convergence was approached as a general- ization of convergence in norm for possibly unbounded linear operators, as well as a reliable method for comparing operators. Further, this notion make the authors generalize the results of T. Kato [108], which essentially represents the convergence between their graphs in a certain distance. The obtained results were exploited in Ref. [27] to examine the relationship between the various essential spectrum of An and A, where (An)n converges in the generalized sense to A. In the last years, there have been many studies of the operators pencils, λS − A, λ ∈ C (operator-valued functions of a complex argument) (see, for example, [119, 147]). It is known that many problems of mathemat- ical physics (e.g., quantum theory, transport theory, ···) are reduced to the study of the essential spectra of λS − A. For this, it seems interesting to study the following S-essential spectra: 6 Linear Operators and Their Essential Pseudospectra
σe1,S(A) := {λ ∈ C such that λS − A ∈/ Φ+(X)}, σe2,S(A) := {λ ∈ C such that λS − A ∈/ Φ−(X)}, S σe3,S(A) := {λ ∈ C such that λS − A ∈/ Φ+(X) Φ−(X)}, σe4,S(A) := {λ ∈ C such that λS − A ∈/ Φ(X)}, σe5,S(A) := {λ ∈ C such that λS − A ∈/ W (X)}, σb,S(A) := {λ ∈ C such that λS − A ∈/ B(X)}, σel,S(A) := {λ ∈ C such that λS − A ∈/ Φl(X)}, σer,S(A) := {λ ∈ C such that λS − A ∈/ Φr(X)}, σewl,S(A) := {λ ∈ C such that λS − A ∈/ Wl(X)}, σewr,S(A) := {λ ∈ C such that λS − A ∈/ Wr(X)}, l σbl,S(A) := {λ ∈ C such that λS − A ∈/ B (X)}, r σbr,S(A) := {λ ∈ C such that λS − A ∈/ B (X)}, n o σeap,S(A) := λ ∈ C such that λS − A 6∈ Φ+(X) and i(λS − A) ≤ 0 , n o σeδ,S(A) := λ ∈ C such that λS − A 6∈ Φ−(X) and i(λS − A) ≥ 0 , where B(X) is the set of Riesz-Schauder operators; Φl(X) is the set of left
Fredholm operators; Φr(X) is the set of right Fredholm operators; Wl(X) is the set of left Weyl operators; Wr(X) is the set of right Weyl operators; Bl(X) is the set of left Browder operators; and Br(X) is the set of right Browder operators. They can be ordered as \ σe3,S(A) = σe1,S(A) σe2,S(A) ⊆ σe4,S(A) ⊆ σe5,S(A) ⊆ σb,S(A),
σel,S(A) ⊆ σewl,S(A) ⊆ σbl,S(A),
σer,S(A) ⊆ σewr,S(A) ⊆ σbr,S(A). In Ref. [29], the authors proved that [ σe4,S(A) = σel,S(A) σer,S(A), σe1,S(A) ⊂ σel,S(A) and σe2,S(A) ⊂ σer,S(A).
Note that if S = I, we recover the usual definition of the essential spectra of a bounded linear operator A defined in the first section of this introduc- tion. These relative essential spectra drew the attention of Jeribi and his collaborators in Refs. [1, 10, 20, 29, 101]. Introduction 7
More precisely, the authors A. Ammar, B. Boukettaya, and A. Jeribi pursued the analysis started in Refs. [1, 163, 164] for S-left-right essential spectra and they studied the invariance of σei,S(·)(i = l, r, wl, wr) by some class of perturbations and extended a part of the results obtained in Ref. [98] to a large class of perturbation operators R(X), which contains F (X) for the S-left and S-right spectrum, where R(X) (resp. F (X)) denotes the set of Riesz operators (resp. Fredholm perturbations). They applied their obtained results to describe the S-essential spectra of an integro-differential operator with abstract boundary conditions acting in the Banach space. At the same time, an important progress has been made in order to describe various relative essential spectra and we can cite in this context the contribution of the work of A. Ammar, M. Z. Dhahri and A. Jeribi in Ref. [25], where the authors are inspired by the work [10] and studied some types of S-essential spectra of linear bounded operators on a Banach space X. More precisely, in Ref. [25], we find a detailed treatment of some subsets of S-essential spectra of closed linear operators by means of the measure of non-strict-singularity. When dealing with block operator matrices, we recall that the papers [39, 52, 54–56, 103, 111, 120, 146] are concerned with the study of the I - essential spectra of operators defined by a 2×2 block operator matrix that ! AB L0 = CD acts on the product X ×Y of Banach spaces, where I is the identity oper- ator defined on the product space X ×Y by ! I 0 I = . 0 I Inspired by the works [39,111,120,146], the aim of the authors in Ref. [101] was to generalize the previous work and they considered a bounded operator S formally defined on the product Banach space X ×Y as ! M M S = 1 2 . M3 M4 8 Linear Operators and Their Essential Pseudospectra
A considerable attention has been also devoted in Ref. [24] in order to give the characterization of the S-essential spectra of the 2×2 matrix oper- ator L0 acting on a Banach space are given by using the notion of measure of non-strict-singularity. These results are considered as generalizations of the paper of N. Moalla in Ref. [122], where S-essential spectra of some 2 × 2 operator matrices on X × X are discussed with S = I.
1.2 ESSENTIAL PSEUDOSPECTRA
In 1967, J. M. Varah [155] introduced the first idea of pseudospectra. In 1986, J. H. Wilkinson [159] came up with the modern interpretation of pseudospectrum where he defined it for an arbitrary matrix norm induced by a vector norm. Throughout the 1990s, L. N. Trefethen [135, 150–152] not only initiated the study of pseudospectrum for matrices and operators, but also he talked of approximate eigenvalues and pseudospectrum and used this notion to study interesting problems in mathematical physics. By the same token, several authors worked on this field. For example, we may refer to E. B. Davies [58], A. Harrabi [80], A. Jeribi [1], E. Shar- gorodsky [145], and M. P. H. Wolff [161] who had introduced the term approximation pseudospectrum for linear operators. Pseudospectra are interesting objects by themselves since they carry more information than spectra, especially about transient instead of just asymptotic behavior of dynamical systems. Also, they have better conver- gence and approximation properties than spectra. The definition of pseu- dospectra of a closed densely defined linear operator A, for every ε > 0, is given by: [ −1 1 σε (A) := σ(A) λ ∈ C such that k(λ − A) k > , ε Introduction 9 or by [ −1 1 Σε (A) := σ(A) λ ∈ C such that k(λ − A) k ≥ . ε
By convention, we write k(λ − A)−1k = ∞ if λ ∈ σ(A), (spectrum of A).
For ε > 0, it can be shown that σε (A) is a larger set and is never empty. The pseudospectra of A are a family of strictly nested closed sets, which grow to fill the whole complex plane as ε → ∞ (see [80, 151, 152]). From these definitions, it follows that the pseudospectra associated with various
ε are nested sets. Then, for all 0 < ε1 < ε2, we have
σ(A) ⊂ σε1 (A) ⊂ σε2 (A) and σ(A) ⊂ Σε1 (A) ⊂ Σε2 (A), and that the intersections of all the pseudospectra are the spectrum,
\ \ σε (A) = σ(A) = Σε (A). ε>0 ε>0 In [58], E. B. Davies has defined another equivalent of pseudospec- trum. One is in terms of perturbations of the spectrum, that is, for any closed operator A, we have
[ σε (A) := σ(A + D). ||D||<ε
Inspired by the notion of pseudospectra, A. Ammar and A. Jeribi in their works [29], thought to extend these results for essential spectra of densely closed linear operators on a Banach space. They declared the new concept of the essential pseudospectra of densely closed linear operators on a Banach space. Because of the existence of several essential spectra, they were interested in focusing their study on the pseudo-Browder essen- tial spectrum. This set was shown to be characterized in the way one would expect by analogy with essential numerical range. As a conse- quence, the authors in Ref. [29] located the pseudo-Browder essential spectrum between the essential spectra and the essential numerical range. 10 Linear Operators and Their Essential Pseudospectra
More precisely, for A ∈ C (X) and for every ε > 0, they defined the pseudo- Browder essential spectrum as follows:
[n 1o σe6,ε (A) = σe6(A) λ ∈ C such that kRb(A,λ)k > , ε where Rb(A,λ) is the Browder resolvent of A. The aim of this concept is to study the existence of eigenvalues far from the Browder essential spectrum and also to search the instability of the Browder essential spec- trum under every perturbation. Their study of pseudo-Browder essential spectrum enabled them to determine and localize the Browder essential spectrum of a closed, densely defined linear operator on a Banach space. In Refs. [1, 21, 29, 30], A. Jeribi and his collaborators pursued their studies about essential pseudospectra and defined the following sets:
ε σe1,ε (A) := {λ ∈ C such that λ − A ∈/ Φ+(X)}, ε σe2,ε (A) := {λ ∈ C such that λ − A ∈/ Φ−(X)}, ε σe3,ε (A) := {λ ∈ C such that λ − A ∈/ Φ±(X)}, ε σe4,ε (A) := {λ ∈ C such that λ − A ∈/ Φ (X)}, \ σe5,ε (A) := σε (A + K), K∈K (X) S σeap,ε (A) := σe1,ε (A) {λ ∈ C : i(λ − A − D) > 0, ∀ ||D|| < ε}, S σeδ,ε (A) := σe2,ε (A) {λ ∈ C : i(λ − A − D) < 0, ∀ ||D|| < ε},
ε ε where Φ+(X) (resp. Φ−(X)) denotes the set of upper (resp. lower) pseudo ε semi-Fredholm operator, Φ±(X) denotes the set of pseudo semi-Fredholm operator, and Φε (X) denotes the set of pseudo Fredholm operators. Note that if ε tends to 0, we recover the usual definition of the essential spectra of a closed linear operator A defined in the first section of this introduction. In [161], M. P. H. Wolff has given a motivation to study the essen- tial approximation pseudospectrum. In [33], A. Ammar, A. Jeribi and K. Mahfoudhi showed that the notion of essential approximation pseudospec- trum can be extended by devoting our studies to the essential approxima- Introduction 11 tion spectrum. For ε > 0 and A ∈ C (X), they define
\ σeap,ε (A) = σap,ε (A + K), K∈K (X) \ Σeap,ε (A) = Σap,ε (A + K), K∈K (X) where
σap,ε (A) := λ ∈ C such that inf k(λ − A)xk < ε , x∈D(A), kxk=1 and Σap,ε (A) := λ ∈ C such that inf k(λ − A)xk ≤ ε . x∈D(A), kxk=1
In their work, the authors measure the sensitivity of the set σap(A) with respect to additive perturbations of A by an operator D ∈ L (X) of a norm less than ε. So, they define the approximation pseudospectrum of A by
[ σap,ε (A) = σap(A + D), kDk<ε and they give a characterization of the essential approximation pseu- dospectrum σeap,ε (·) which nicely blends these properties of the essen- tial and the approximation pseudospectra, and accordingly the authors are interested in the following essential approximation spectrum
\ σeap(A) := σap(A + K). K∈K (X)
As a consequence, the authors obtain the following result
[ σeap,ε (A) = σeap(A + D). kDk<ε 12 Linear Operators and Their Essential Pseudospectra
1.3 STRUCTURED ESSENTIAL PSEUDOSPECTRA AND RELATIVE STRUCTURED ESSENTIAL PSEUDOSPECTRA
Structured pseudospectra are very useful tools in control theory and other fields [81]. In particular, D. Hinrichsen and B. Kelb [81] presented in 1993 a graphical method to determine and visualize the spectral value sets of a matrix A.
We also refer the reader to E. B. Davies [58] who defined the structured pseudospectra, or spectral value sets of a closed densely defined linear operator A on a Banach space X by
[ σ(A,B,C,ε) = σ(A +CDB), kDk<ε where B ∈ L (X,Y) (the set of bounded linear operators from X into Y) and C ∈ L (Z,X). The notion of structured pseudospectra drew the attention of A. Elleuch and A. Jeribi who have recently been concerned in [67,68] with the study of essential spectra of an operator A which is subjected to structured perturbation of the form A A + CDB, where B, C are given bounded operators and D is unknown disturbance operator satisfies kDk < ε for a given ε > 0. More specifically, inspired by [1, 86–89, 91, 112], where the authors proved the invariance of the Schechter essential spectrum of a closed densely defined linear operators, A. Elleuch and A. Jeribi, in [67, 68], extended the obtained results for the case of structured Ammar- Jeribi essential pseudospectrum. For this analysis, they needed to charac- terize the structured pseudospectra of bounded operator and they defined the following structured essential pseudospectra of a closed, densely defined linear operator A with respect to the perturbation structure (B,C), Introduction 13 where B ∈ L (X,Y), C ∈ L (Z,X) and uncertainty level ε > 0, [ σe4(A,B,C,ε) := σe4(A +CDB), kDk<ε
[ σe5(A,B,C,ε) := σe5(A +CDB), kDk<ε
[ σe6(A,B,C,ε) := σe6(A +CDB). kDk<ε
The subset σe4(A,B,C,ε) is the structured Wolf essential pseudospectrum,
σe5(A,B,C,ε) is the structured Ammar-Jeribi essential pseudospectrum, and σe6(A,B,C,ε) denotes the structured Browder essential pseudospec- trum. The main purpose of the authors in Ref. [67] consists in studying the structured essential pseudospectra of the sum of two operators in order to improve and extend the results of Refs. [1, 12, 144] which were done for various essential spectra. In addition, the authors described the behavior of structured Ammar-Jeribi essential pseudospectrum and they presented a fine description of this set by means of compact and Fredholm perturba- tions. Further, they used in Ref. [68] some criteria in order to prove the stability of the structured Wolf and the structured Ammar-Jeribi essen- tial pseudospectra. They also used the notion of the measure of noncom- pactness to give a new characterization of the structured Ammar-Jeribi essential pseudospectrum and they presented some properties of the struc- tured Ammar-Jeribi and Browder essential pseudospectra by means of the measure of non-strict-singularity. On the other hand, based on the definition of the S-essential spectra and the structured S-pseudospectra, A. Elleuch and A. Jeribi, in [67, 68], introduced and characterized the structured S-pseudospectrum of a closed, densely defined linear operator on a Banach space X. They also established 14 Linear Operators and Their Essential Pseudospectra a relationship between the structured S-essential pseudospectra and the S- essential spectra of a bounded linear operator under some conditions.
1.4 CONDITION PSEUDOSPECTRUM
There are several generalizations of the concept of the spectrum in literature such as Ransford spectrum [134], pseudospectrum [1, 80, 152], and condition spectrum [109]. It is natural to ask whether there are any results similar for operator in infinite dimensional Banach spaces for these sets. The concept of condition pseudospectrum is very important since it carries more information than spectra and pseudospectra, especially, about transient instead of just asymptotic behavior of dynamical systems. Also, condition pseudospectrums have better convergence and approximation properties than spectra and pseudospectra. For a detailed study of the prop- erties of the condition spectrum in finite dimensional space or in Banach algebras, we may refer to S. H. Kulkarni and D. Sukumar in Ref. [109], M. Karow in [106] and G. K. Kumar and S. H. Lui in Ref. [110]. The aim of the authors A. Ammar, A. Jeribi and K. Mahfoudhi in [35] is to show some properties of condition pseudospectra of a linear operator A in Banach spaces and reveal the relation between their condition pseu- dospectrum and the pseudospectrum (resp. numerical range). One of the central questions consists in characterizing the condition pseudospectra of all bounded linear operators acting in a Banach space. More precisely, the authors consider, in their work, one more such extension in terms of the condition number. In a complex Banach space, the condition pseudospec- trum of a bounded linear operator A in infinite dimensional Banach spaces is given for every 0 < ε < 1 by:
ε [ −1 1 Σ (A) := σ(A) λ ∈ C such that kλ − Akk(λ − A) k > , ε Introduction 15 with the convention that kλ − Akk(λ − A)−1k = ∞, if λ − A is not invert- ible. The authors summarize some properties and useful results of the condi- tion pseudospectrum and they characterize it in order to improve lots recent results of Refs. [106, 109, 110] in infinite dimensional Banach spaces.
1.5 OUTLINE OF CONTENTS
Going on to a brief indication of the contents of the individual chapters, we mention, first of all that our book consists of 12 chapters. We recall in Chapter 2 some definitions, notations, and basic informa- tion on both bounded and unbounded Fredholm operators. We also intro- duce the concept of semigroup theory, compactly convergence, measure of noncompactness, gap topology, and quasi-inverse operator. Basic concepts and classical results are summarized in the first two sections. In the subse- quent sections we study the approximate point spectrum, which is one of the most important examples of a spectrum in Banach algebras. The approximate point spectrum is closely related with the notions of remov- able and non-removable ideals. We continue Chapter 3 by giving some fundamentals about charac- terization of various spectra and essential spectra such as left and right Jeribi essential spectra, S-resolvent set, S-spectra, S-essential spectra, pseudospectra and structured pseudospectra. The aim of Chapter 4 is to investigate the perturbation of unbounded linear operators via the concept of γ-relative boundedness introduced in [92]. In fact, this chapter is a survey of the paper [22] where the authors try to generalize the some results of [61] by using the new concept of the gap and the γ-relative boundedness in order to establish some sufficient conditions imposed to three unbounded linear operators and to obtain the 16 Linear Operators and Their Essential Pseudospectra closedness of their algebraic sum. The obtained results are useful to study some specific properties of both 2 × 2 and 3 × 3 block operator matrices. Chapter 5 addresses the characterization of essential spectra such as left and right Jeribi and Weyl essential spectra. We also study the stability of essential approximate point spectrum and essential defect spectrum of linear operators and we treat the elegant interaction between essential spectra of closed linear operators and the notion of convergence in the generalized sense. In Chapters 6 and 7, we focus on the study of the stability of S-left and S-right essential spectra. Moreover, we give the characterization of the Schechter S-essential spectrum by means of compact and Fredholm perturbations and also via the concept of measure of non-strict-singularity. Finally, illustrate the obtained results to matrix operator. We concentrate ourselves exclusively in Chapter 8 on the character- ization of S-pseudospectra, structured S-pseudospectra, and structured S- essential pseudospectra. Inspired by the definition of essential spectra, we define and characterize in Chapter 9 the structured Ammar-Jeribi, Browder and Wolf, essential pseudospectra and in particular, we treat the relation- ship between structured Jeribi and structured Ammar-Jeribi essential pseu- dospectra. Chapter 10 focuses on a new description of the structured essen- tial pseudospectra. Not only do we give a characterization of the struc- tured Ammar-Jeribi essential pseudospectrum by Kuratowski measure of noncompactness but also we investigate the structured Browder essential pseudospectrum by means of measure of non-strict-singularity. The aim of Chapter 11 is to investigate the essential approximation pseudospectrum of closed, densely defined linear operators on a Banach space. We refine the notion of the ε-pseudospectrum and we focus on the characterization of the approximation pseudospectrum and the essen- tial approximation pseudospectrum. We also establish some properties of essential pseudospectra. Further, we study the pseudospectrum of block operator matrix. Introduction 17
Finally, in Chapter 12, we summarize some properties and useful results of the condition pseudospectrum and we characterize it in infinite dimensional Banach spaces.
Chapter 2
Fundamentals
The aim of this chapter is to introduce the basic concepts, notations, and elementary results which are used throughout the book.
2.1 OPERATORS
Let X and Y be two Banach spaces. A mapping A which assigns to each element x of a set D(A) ⊂ X a unique element y ∈ Y is called an operator (or transformation), we use the notation A(X −→ Y). The set D(A) on which A acts is called the domain of A.
2.1.1 Linear Operators
The operator A is called linear, if D(A) is a subspace of X, and if A(λx + βy) = λAx + βAy for all scalars λ, β and all elements x, y in D(A). By an operator A from X into Y, we mean a linear operator with a domain D(A) ⊂ X. We denote by N(A) its null space, and R(A) its range. For injective A, the inverse A−1(Y −→ X) is an operator with D(A−1) = R(A) and R(A−1) = D(A). The nullity, α(A), of A is defined as the dimension of N(A) and the defi- ciency, β(A), of A is defined as the codimension of R(A) in Y. 20 Linear Operators and Their Essential Pseudospectra
2.1.2 Bounded Operators
The operator A is called bounded if there is a constant M such that
kAxk ≤ Mkxk, x ∈ X.
The norm of such an operator is defined by kAxk kAk = sup . x6=0 kxk For an introduction to the theory of bounded or unbounded linear oper- ators, we refer to the books of E. B. Davies [58], N. Dunford and J. T. Schwartz [65], I. C. Gohberg, S. Goldberg and M. A. Kaashoek [73], A. Jeribi [1–3] and T. Kato [108].
2.1.3 Closed and Closable Operators
The graph G(A) of a linear operator A on D(A) ⊂ X into Y is the set
{(x,Ax) such that x ∈ D(A)} in the product space X ×Y. Then, A is called a closed linear operator when its graph G(A) constitutes a closed linear subspace of X ×Y. Hence, the notion of a closed linear operator is an extension of the notion of a bounded linear operator. The operator B will be called A-closed if xn → x, Axn → y, Bxn → z for {xn} ⊂ D(A) implies that x ∈ D(B) and Bx = z. A sequence (xn)n ⊂ D(A) will be called A-convergent to x ∈ X if both (xn)n and (Axn)n are Cauchy sequences and xn → x. A linear operator A on D(A) ⊂ X into Y is said to be closable if A has a closed extension. It is equivalent to the condition that the graph G(A) is a submanifold (or subspace) of a closed linear manifold (or space) which is at the same time a graph. It follows that A is closable if, and only if, the closure G(A) of G(A) is a graph. We are thus led to the criterion: A is closable if, and only if, no element of the form (0,x), x 6= 0 is the limit of elements of the form (x,Ax). In other words, A is closable if, and only if, (xn)n ∈ D(A), xn → 0 and Axn → x imply x = 0. When A is closable, there is a closed operator A with G(A) = G(A). A Fundamentals 21 is called the closure of A. It follows immediately that A is the smallest closed extension of A, in the sense that any closed extension of A is also an extension of A. Since x ∈ D(A) is equivalent to (x,Ax) ∈ G(A), x ∈ X belongs to D(A) if, and only if, there exists a sequence (xn)n that is A- convergent to x. In this case, we have
Ax = lim Axn. n→∞
The operator B will be called A-closable if xn → 0, Axn → 0, Bxn → z implies z = 0. By C (X,Y), we denote the set of all closed, densely defined linear operators from X into Y, and by L (X,Y) the Banach space of all bounded linear operators from X into Y. If X = Y, the sets L (X,Y) and C (X,Y) are replaced, respectively, by L (X) and C (X). It is easy to see that a bounded operator defined on the whole Banach space X is closed. The inverse is also true and follows from the closed graph theorem which is the following theorem.
Theorem 2.1.1 If X, Y are Banach spaces, and A is a closed linear oper- ator from X into Y, with D(A) = X, then A ∈ L (X,Y). ♦
Theorem 2.1.2 If A is a one-to-one closed linear operator from X into Y, then R(A) is closed in Y if, and only if, A−1 is a bounded linear operator from Y into X. ♦
Theorem 2.1.3 Let X, Y be Banach spaces, and let A be a closed linear operator from X into Y. Then, a necessary and sufficient condition that R(A) be closed in Y is that
dist(x,N(A)) ≤ CkAxk, x ∈ D(A) holds, where C is a constant and dist(x,N(A)) denotes the distance between x and N(A). ♦
We will recall the Hahn-Banach theorem for normed spaces: 22 Linear Operators and Their Essential Pseudospectra
Theorem 2.1.4 Let X be a normed space and let x0 6= 0 be any element of X. Then, there exists a bounded linear functional f on X such that k f k = 1 and f (x0) = kx0k. ♦
We will recall the Liouville theorem.
Theorem 2.1.5 Let f (z) be an analytic function on the complex plane. If f (z) is bounded, then f (z) is constant. ♦
2.1.4 Adjoint Operator
Let A ∈ L (X,Y). For each y0 ∈ Y ∗ (the adjoint space of Y), the expres- sion y0(Ax) assigns a scalar to each x ∈ X. Thus, it is a functional F(x). Clearly, F is linear. It is also bounded since
|F(x)| = |y0(Ax)| ≤ ky0kkAxk ≤ ky0kkAkkxk.
Thus, there is an x0 ∈ X∗ (the adjoint space of X) such that
y0(Ax) = x0(x), x ∈ X. (2.1)
This functional is unique, for any other functional satisfying (2.1) would have to coincide with x0 on each x ∈ X. Thus, (2.1) can be written in the form y0(Ax) = A∗y0(x). (2.2)
The operator A∗ is called the adjoint of A, depending on the mood one is in. If A, B are bounded operators defined everywhere, it is easily checked that (BA)∗ = A∗B∗. We just follow the definition of adjoint for bounded operator (see (2.2)) for define the adjoint of unbounded operator. Fundamentals 23
By an operator A from X into Y, we mean a linear operator with a domain D(A) ⊂ X. We want
A∗y0(x) = y0(Ax), x ∈ D(A).
Thus, we say that y0 ∈ D(A∗) if there is an x0 ∈ X∗ such that
x0(x) = y0(Ax), x ∈ D(A). (2.3)
Then, we define A∗y0 to be x0. In order that this definition make sense, we need x0 to be unique, i.e., that
x0(x) = 0 for all x ∈ D(A) should imply that x0 = 0. Thus, it is true if D(A) is dense in X. To summarize, we can define A∗ for any linear operator from X into Y provided D(A) is dense in X. We take D(A∗) to be the set of those y0 ∈ Y ∗ for which there is an x0 ∈ X∗ satisfying (2.3). This x0 is unique, and we set
A∗y0 = x0.
If A, B are only densely defined, D(AB) need not be dense, and conse- quently, (BA)∗ need not exist. If D(BA) is dense, it follows that
D(A∗B∗) ⊂ D((BA)∗) and (BA)∗z0 = A∗B∗z0, for all z0 ∈ D(A∗B∗). Let N be a subset of a normed vector space X.A functional x0 ∈ X∗, is called an annihilator of N if x0(x) = 0, x ∈ N. The set of all annihilators of N is denoted by N⊥. The subspace N⊥ is closed. For any subset R of X∗, we call x ∈ X an annihilator of R if
x0(x) = 0, x0 ∈ R. We denote the set of such annihilators of R by ⊥R. The subspace ⊥R is closed. If M is a closed subspace of X, then
⊥(M⊥) = M. 24 Linear Operators and Their Essential Pseudospectra
0 0 Lemma 2.1.1 (M. Schechter [140, Lemma 4.14, p. 93]) If x1,··· ,xm are ∗ linearly independent vectors in X , then there are vectors x1,··· ,xm in X, such that 0 1 if j = k x j(xk) = δ jk := 1 ≤ j,k ≤ m. (2.4) 0 if j 6= k
Moreover, if x1,··· ,xm are linearly independent vectors in X, then there 0 0 ∗ are vectors x1,··· ,xm in X , such that (2.4) holds. ♦ We will recall a simple lemma due to F. Riesz. Lemma 2.1.2 Let M be a closed subspace of a normed vector space X. If M is not the whole of X, then for each number θ satisfying 0 < θ < 1, there is an element xθ ∈ X, such that kxθ k = 1 and
dist(xθ ,M) := inf kxθ − xk ≥ θ, x∈M where dist(xθ ,M) denotes the distance between xθ and M. ♦
2.1.5 Direct Sum
It is obvious that the sum M + N of two linear subspaces M and N of a vector space X is again a linear subspace. If M TN = {0}, then this sum is called the direct sum of M and N, and will be denoted by M LN. In this case, for every z = x + y in M + N, the components x, y are uniquely determined. A subspace M ⊂ X is said to be complemented, if there exists a closed subspace N ⊂ X, such that X = M LN. If X = M LN, then N is called an algebraic complement of M. A particularly important class of endomorphisms are the so-called projections. If X = M LN and x = y+z, with x ∈ M and y ∈ N, define P : X −→ M by Px := y. The linear map P projects X onto M along N. Clearly, I − P projects X onto N along M and, we have P(X) = N(I − P) = M, N(P) = (I − P)(X) = N, with P2 = P, i.e., P is an idempotent operator. Suppose now that X is a Banach space. If X = M LN and the projection P is continuous, then M Fundamentals 25 is said to be complemented and N is said to be a topological complement of M. Note that each complemented subspace is closed, but the converse is not true, for instance c0, the Banach space of all sequences which converge to 0, is a not complemented closed subspace of l∞, where l∞ denotes the Banach space of all bounded sequences, see [126].
Lemma 2.1.3 (V.Muller¨ [124, Lemma 2, p. 156]) Let T ∈ L (X,Y) and let F ⊂ Y be a finite-dimensional subspace. Suppose that R(T) + F is closed. Then, R(T) is closed. In particular, if codimR(T) < ∞, then R(T) is closed. ♦
T Proof. Let F0 = R(T) F and choose a subspace F1 such that M F = F0 F1.
Let M S : X|N(T) F1 −→ Y be the operator defined by
S(x + N(T))M f = Tx + f .
Then, R(S) = R(T) + F and S is one-to-one. Hence, S is bounded below, and consequently, the space M R(T) = S X|N(T) {0} is closed. Q.E.D.
2.1.6 Resolvent Set and Spectrum
Definition 2.1.1 Let A be a closable linear operator in a Banach space X. The resolvent set and the spectrum of A are, respectively, defined as − ρ(A) = {λ ∈ C such that λ − A is injective and (λ − A) 1 ∈ L (X)}, σ(A) = C\ρ(A) 26 Linear Operators and Their Essential Pseudospectra and the point spectrum, continuous, and the residual spectrum are defined as σp(A) = {λ ∈ C such that λ − A is not injective}, σc(A) = {λ ∈ C such that λ − A is injective, R(λ − A) = X, and R(λ − A) 6= X}, σR(A) = {λ ∈ C such that λ − A is injective, R(λ − A) 6= X}. ♦
Remark 2.1.1 Note that, if ρ(A) 6= /0, then A is closed. In fact, if λ ∈ ρ(A), then (λ −A)−1 is closed, which is also valid for λ −A. Then, according to the closed graph theorem (see Theorem 2.1.1), we deduce that
ρ(A) = {λ ∈ C such that λ − A is bijective} and hence, S S σ(A) = σp(A) σc(A) σR(A). ♦
Theorem 2.1.6 Let A, B be elements of L (X). Then, σ(AB)\{0} = σ(BA)\{0}. ♦
2.1.7 Compact Operators
Definition 2.1.2 Let X and Y be two Banach spaces. A bounded linear operator K from X into Y is said to be compact (or completely continuous) if it transforms every bounded set of X in a relatively compact set of Y. In a similar way, K is said to be compact if for any bounded sequence (xn)n of X, the sequence (Kxn)n has a convergent sequence in Y. ♦
We denote by K (X,Y) the set of all compact linear operators from X into Y. If X = Y, then the set K (X,X) is replaced by K (X).
Theorem 2.1.7 Let K ∈ L (X,Y). Then,
(i) If (Kn)n is compact and converge in norm to K, then K is compact. (ii) K∗ is compact if, and only if, K is compact. (iii) K (X,Y) is a two-sided ideal of L (X,Y). ♦ Fundamentals 27
Lemma 2.1.4 For any n elements a1,··· ,an of a complex Banach space X, the set E, of their linear combinations, forms a subspace of X of dimension ≤ n. ♦
Definition 2.1.3 A bounded operator A on X is said to be finite rank if dimR(A) < ∞. ♦
Lemma 2.1.5 Operators of finite rank are compact. ♦
2.1.8 A-Defined, A-Bounded, and A-Compact Operators
Let A ∈ C (X,Y). The graph norm of A is defined by
kxkA = kxk + kAxk, x ∈ D(A). (2.5)
From the closedness of A, it follows that D(A) endowed with the norm k·kA is a Banach space. Let us denote by XA, the space D(A) equipped with the norm k·kA. Clearly, the operator A satisfies
kAxk ≤ kxkA and consequently,
A ∈ L (XA,X). Let J : X −→ Y be a linear operator on X. If D(A) ⊂ D(J), then J will be called A-defined. If J is A-defined, we will denote by Jbits restriction to D(A). Moreover, if Jb∈ L (XA,Y), we say that J is A-bounded. We can easily check that, if J is closed (or closable), then J is A-bounded. Thus, we have the obvious relation α(Ab) = α(A), β(Bb) = β(B), R(Ab) = R(A), α(Ab+ Bb) = α(A + B), (2.6) β(Ab+ Jb) = β(A + J) and R(Ab+ Jb) = R(A + J), where α(A) := dimN(A) and β(A) := codimR(A).
Definition 2.1.4 Let X and Y be two Banach spaces, A ∈ C (X,Y) and let J be an A-defined linear operator on X. We say that J is A-compact if
Jb∈ K (XA,Y). ♦ 28 Linear Operators and Their Essential Pseudospectra
We can define the A-compact by the sequence.
Definition 2.1.5 Let X, Y and Z be Banach spaces, and let A and S be two linear operators from X into Y and from X into Z, respectively. S is called relatively compact with respect to A (or A-compact), if D(A) ⊂ D(S) and for every bounded sequence (xn)n ∈ D(A) such that (Axn)n ⊂ Y is bounded, the sequence (Sxn)n ⊂ Z contains a convergent subsequence. ♦
Let AK (X,Y) denotes the set of A-compact on X. If X = Y we write AK (X) for AK (X,X). We can define the iterates A2, A3,··· of A. If n > 1, D(An) is the set n o x ∈ X such that x,Ax,··· ,An−1x ∈ D(A) , and Anx = A(An−1x).
Definition 2.1.6 Let X be a Banach space. We consider the following linear operators A : D(A) ⊂ X −→ X and K : D(K) ⊂ X −→ X. We say that K commutes with A if (i) D(A) ⊂ D(K), (ii) Kx ∈ D(A) whenever x ∈ D(A), and (iii) KAx = AKx for x ∈ D(A2). ♦
Definition 2.1.7 Let X, Y and Z be Banach spaces, and let A and S be two linear operators from X into Y and from X into Z, respectively. S is called relatively bounded with respect to A (or A-bounded), if D(A) ⊂ D(S) and there exist two constants aS ≥ 0, and bS ≥ 0, such that
kSxk ≤ aSkxk + bSkAxk, x ∈ D(A). (2.7)
The infimum δ of all bS that (2.7) holds for some aS ≥ 0 is called relative bound of S with respect to A (or A-bounded of S). ♦ Fundamentals 29
Clearly, a compact operator is always A-compact, and an A-compact operator is always A-bounded.
Definition 2.1.8 An operator B is said to be A-pseudo-compact if
kxnk + kAxnk + kBxnk ≤ c, for all {xn} ∈ D(A) implies that {Bxn} has a convergent subsequence, where c is a constant. ♦
2.1.9 Weakly Compact and A-Weakly Compact Operators
Definition 2.1.9 An operator A ∈ L (X,Y) is said to be weakly compact, if A(B) is relatively weakly compact in Y, for every bounded subset B ⊂ X. ♦
The family of weakly compact operators from X into Y is denoted by W (X,Y). If X = Y, then the family of weakly compact operators on X, W (X) := W (X,X), is a closed two-sided ideal of L (X) containing K (X) (cf. [65, 75]).
Definition 2.1.10 Let X and Y be two Banach spaces and let S and A be two linear operators from X into Y. The operator S is said to be relatively weakly compact with respect to A (or A-weakly compact) if
D(A) ⊂ D(S) and, for every bounded sequence (xn)n ∈ D(A) such that (Axn)n is bounded, the sequence (Sxn)n contains a weakly convergent subsequence. ♦
2.1.10 Dunford-Pettis Property
Definition 2.1.11 Let X be a Banach space. We say that X possesses the Dunford-Pettis property (for short, property DP) if, for each Banach space Y, every weakly compact operator A : X −→ Y takes weakly compact sets in X into norm compact sets of Y. ♦ 30 Linear Operators and Their Essential Pseudospectra
It is well known that if X has the property DP, then
W (X)W (X) ⊂ K (X). (2.8)
Indeed, Let A1 and A2 ∈ W (X). If U is a bounded subset of X, then
A1(U) is relatively weakly compact. Accordingly, since X has the DP property, then A2(A1(U)) is a relatively compact subset of X. That is,
A2A1 ∈ K (X). It is well known that any L1-space has the property DP [64]. Also, if Ω is a compact Hausdorff space, then C(Ω) has the property DP [78]. For further examples we refer to [62]. Actually, if X is a separable Hilbert space, then K (X) is the unique proper closed two-sided ideal of
L (X). This result hold true for the space lp, 1 ≤ p ≤ ∞ and c0.
2.1.11 Strictly Singular Operators
Definition 2.1.12 Let X and Y be two Banach spaces. An operator A ∈ L (X,Y) is called strictly singular if, for every infinite-dimensional subspace M, the restriction of A to M is not a homeomorphism. ♦
Let S (X,Y) denotes the set of strictly singular operators from X into Y. The concept of strictly singular operators was introduced by T. Kato in his pioneering paper [108] as a generalization of the notion of compact operators. For a detailed study of the properties of strictly singular opera- tors, we may refer to [75,108]. For our own use, let us recall the following four facts. The set S (X,Y) is a closed subspace of L (X,Y). If X = Y, then S (X) := S (X,X) is a closed two-sided ideal of L (X) containing K (X). If X is a Hilbert space, then
K (X) = S (X) and the class of weakly compact operators on L1-spaces (resp. C(K)- spaces with K being a compact Haussdorff space) is, nothing else but, the family of strictly singular operators on L1-spaces (resp. C(K)-spaces)
(see [128, Theorem 1]). In fact, if X = L1(Ω,Σ, µ), where (Ω,Σ, µ) is a Fundamentals 31 positive measure space or X = C(K) with K is a compact Hausdorff space, then W (X) = S (X). (2.9) For the detailed study of the basic properties of the classes S (X), we refer the reader to [127, Theorem 1].
Lemma 2.1.6 (A. Pelczynski [127]) Let (Ω,Σ, µ) be a positive measure space and let p ≥ 1. If X is isomorphic to one of the spaces Lp(Ω,Σ,dµ), then S (X)S (X) ⊂ K (X). ♦
Definition 2.1.13 Let X and Y be two Banach spaces, A ∈ C (X,Y) and let J be an A-defined linear operator on X. We say that J is A-strictly singular if Jb∈ S (XA,Y). ♦
Let AS (X,Y) denotes the set of A-strictly singular from X into Y. If X = Y we write AS (X) for AS (X,X).
Remark 2.1.2 If J is A-defined and strictly singular, then J is A-strictly singular. ♦
2.1.12 Strictly Cosingular
Let X be a Banach space. If N is a closed subspace of X, we denote X by πN the quotient map X −→ X/N. The codimension of N, codim(N), is defined to be the dimension of the vector space X/N.
Definition 2.1.14 Let X and Y be two Banach spaces. An operator F ∈ L (X,Y) is called strictly cosingular from X into Y if there exists no closed Y subspace N of Y with codim(N) = ∞ such that πN F : X −→ Y/N is surjec- tive. ♦
Let SC (X,Y) denotes the set of strictly cosingular operators from X into Y. This class of operators was introduced by A. Pelczynski [128]. If X = Y, the family of strictly cosingular operators on X, SC (X) := SC (X,X), is a closed two-sided ideal of L (X) (see [156]). 32 Linear Operators and Their Essential Pseudospectra
Definition 2.1.15 Let X and Y be two Banach spaces, A ∈ C (X,Y) and let J be an A-defined linear operator on X. We say that J is A-strictly cosingular if Jb∈ SC (XA,Y). ♦
Let ASC (X,Y) denotes the set of A-strictly cosingular from X into Y. If X = Y, we write ASC (X) for ASC (X,X).
Remark 2.1.3 If J is A-defined and strictly cosingular, then J is A-strictly cosingular. ♦
2.1.13 Perturbation Function
The family of infinite dimensional subspaces of X is denoted by I (X). For a linear subspace M of X, we denote by iM the canonical injection of
M into X and by AiM the restriction of A to M with the usual convention
AiM = Ai(M TD(A)).
Definition 2.1.16 Let A : D(A) ⊂ X −→ Y be a linear operator. The minimum modulus of A is defined as follows n o γ1(A) = sup α ≥ 0 such that α dist(x,N(A)) ≤ kAxk ∀ x ∈ D(A) , where dist(x,N(A)) denotes the distance between x and N(A). ♦
Definition 2.1.17 Let X, Y be normed spaces and let A : D(A) ⊂ X −→ Y be a linear operator. The surjection modulus q(A) is defined by
q(A) = sup{α ≥ 0 such that A(BD(A)) ⊃ BY }, where BD(A) (resp. BY ) denotes the closed unit ball in D(A) (resp. Y), that is, the set of all x ∈ D(A) (resp. x ∈ Y) satisfying kxk ≤ 1. ♦
Definition 2.1.18 We define a perturbation function to be a function ψ assigning, to each pair of normed spaces X, Y and a linear operator A : D(A) ⊂ X −→ Y, a number ψ(A) ∈ [0,∞], verifying the following prop- erties: Fundamentals 33
(i) ψ(λA) = |λ|ψ(A), for all λ ∈ C. (ii) ψ(A + S) = ψ(A), where S is a precompact operator. (iii) ψ(A) ≤ kAk whenever A ∈ L (X,Y). Otherwise kAk = ∞. (iv) q(A) ≤ ψ(A) whenever dimD(A∗) = ∞. (v) ψ(AiM) ≤ ψ(A),M ∈ I (D(A)), where I (D(A)) denotes the family of infinite dimensional subspaces of D(A). ♦
2.1.14 Measure of Non-Strict-Singularity
Definition 2.1.19 Let X, Y be two normed spaces and ψ be a perturbation function. For a linear operator A : D(A) ⊂ X −→Y, we define the functions
Γψ (·) and ∆ψ (·) in the following way:
If dimD(A) < ∞, then Γψ (A) = 0. However, if dimD(A) = ∞, then n o Γψ (A) = inf ψ(AiM) : M ∈ I (D(A)) (2.10) and
n o ∆ψ (A) = sup Γψ (AiM) : M ∈ I (D(A)) . (2.11)
∆ψ (·) is called the measure of non-strict-singularity. ♦
Theorem 2.1.8 (T. Alvarez [18, Theorem 2.7]) Let T ∈ L (X,Y). Then, T is strictly singular operator if, and only if, ∆ψ (T) = 0. ♦
2.1.15 Semigroup Theory
Definition 2.1.20 Let X be a Banach space. A strongly continuous semi- group is an operator-valued function T(t) from R+ into L (X) that satis- fies the following properties
T(t + s) = T(t)T(s) for t, s ≥ 0 T(0) = I + kT(t)z0 − z0k → 0 as t → 0 for all z0 ∈ X.
We shall subsequently use the standard abbreviation C0-semigroup for a strongly continuous semigroup. ♦ 34 Linear Operators and Their Essential Pseudospectra
Definition 2.1.21 The infinitesimal generator A of a C0-semigroup on a Banach space X is defined by 1 Az = lim (T(t) − I)z t→0+ t whenever the limit exists; the domain of A, D(A), being the set of elements in X for which the limit exists. ♦
2.2 FREDHOLM AND SEMI-FREDHOLM OPERATORS 2.2.1 Definitions
Let X and Y be two Banach spaces. By an operator A from X into Y we mean a linear operator with domain D(A) ⊂ X and range R(A) ⊂ Y. The operator A is called left invertible if A is injective and R(A) is closed and a complemented subspaces of X. The operator A is called right invertible if A is onto and N(A) is a complemented subspaces of X. An operator A ∈ C (X,Y) is said to be a Fredholm operator from X into Y if (i) α(A) := dimN(A) is finite, (ii) R(A) is closed in Y, and (iii) β(A) := codimR(A) is finite. The set of upper semi-Fredholm operators is defined by n o Φ+(X,Y) := A ∈ C (X,Y) such that α(A) < ∞ and R(A) is closed in Y .
The set of lower semi-Fredholm operators from X into Y is defined by n o Φ−(X,Y) := A ∈ C (X,Y) such that β(A) < ∞ and R(T) is closed in Y .
The set of semi-Fredholm operators from X into Y is defined by [ Φ±(X,Y) := Φ+(X,Y) Φ−(X,Y).
The set of Fredholm operators from X into Y is defined by \ Φ(X,Y) := Φ+(X,Y) Φ−(X,Y). Fundamentals 35
The set of left invertible and right invertible operators are denoted by Gl(X) and Gr(X), respectively. Note that A is invertible if A is left and right invert- ible. The set of left Fredholm operators is defined by n Φl(X,Y) = A ∈ C (X,Y) such that R(A) is closed, o complemented subspaces and α(A) < ∞ and the set of right Fredholm operators is defined by n Φr(X,Y) = A ∈ C (X,Y) such that R(A) is closed, o N(A) is complemented subspaces and β(A) < ∞ . Thus, we have the following inclusions
Φ(X,Y) ⊆ Φl(X,Y) ⊆ Φ+(X,Y) and
Φ(X,Y) ⊆ Φr(X,Y) ⊆ Φ−(X,Y).
Let A ∈ C (X,Y) and S ∈ L (X,Y). A complex number λ is in l r Φ+A,S, Φ−A,S, ΦA,S, ΦA,S, Φ±A,S or ΦA,S, if λS − A is in Φ+(X,Y), Φ−(X,Y), Φl(X,Y), Φr(X,Y), Φ±(X,Y) or Φ(X,Y), respectively. Let b b b T Φ (X,Y), Φ+(X,Y), and Φ−(X,Y) denote the sets Φ(X,Y) L (X,Y), T T Φ+(X,Y) L (X,Y), and Φ−(X,Y) L (X,Y), respectively. If X =
Y, then Φ+(X,Y), Φ−(X,Y), Φ±(X,Y), Φ(X,Y), Φl(X,Y), Φr(X,Y), b b b Φ (X,Y), Φ+(X,Y) and Φ−(X,Y) are replaced by Φ+(X), Φ−(X), b b b Φ±(X), Φ(X), Φl(X), Φr(X), Φ (X), Φ+(X) and Φ−(X), respectively. A number complex λ is in Φ+A, Φ−A, ΦlA, ΦrA or ΦA if λ − A is in Φ+(X),
Φ−(X), Φl(X), Φr(X) or Φ(X), respectively.
Theorem 2.2.1 ΦA and ρ(A) are open sets of C. Hence, σ(A) is a closed set. ♦
If A is a semi-Fredholm operator, then the index of A is defined by
i(A) := α(A) − β(A). 36 Linear Operators and Their Essential Pseudospectra
Clearly, if A ∈ Φ(X,Y), then
i(A) < ∞.
If A ∈ Φl(X,Y)\Φ(X,Y), then
i(A) = −∞ and, if A ∈ Φr(X,Y)\Φ(X,Y), then
i(A) = +∞.
The set of left Weyl operators is defined by n o Wl(X) = A ∈ Φl(X) such that i(A) ≤ 0 and, the set of right Weyl operators is defined by n o Wr(X) = A ∈ Φr(X) such that i(A) ≥ 0 .
The set of Weyl operators is defined by \ n o Wl(X) Wr(X) = A ∈ Φ(X) such that i(A) = 0 .
l r Let A ∈ C (X) and S ∈ L (X). A number complex λ is in WA,S or WA,S if λS − A is in Wl(X) or Wr(X), respectively.
Theorem 2.2.2 Assume that T ∗ exists. Then, R(T) is closed if, and only if, R(T ∗) is closed. In this case we have R(T)⊥ = N(T ∗),N(T)⊥ = R(T ∗), α(T ∗) = β(T), and β(T ∗) = α(T). ♦
Definition 2.2.1 Let ε > 0 and A ∈ C (X). (i) A is called an upper (resp. lower) pseudo semi-Fredholm operators if A + D is an upper (resp. lower) semi-Fredholm operator for all D ∈ L (X) such that ||D|| < ε. (ii) A is called a pseudo semi-Fredholm operator if A + D is a semi- Fredholm operator for all D ∈ L (X) such that ||D|| < ε. (iii) A is called a pseudo Fredholm operator if A + D is a Fredholm operator for all D ∈ L (X) such that ||D|| < ε. ♦ Fundamentals 37
We denote by Φε (X) the set of pseudo Fredholm operators, by ε ε Φ±(X) the set of pseudo semi-Fredholm operator and by Φ+(X)(resp. ε Φ−(X)) the set of upper (resp. lower) pseudo semi-Fredholm operator. ε ε ε ε A complex number λ is in Φ±A, Φ+A, Φ−A or ΦA if λ − A is in ε ε ε ε Φ±(X), Φ+(X), Φ−(X) or Φ (X), respectively.
2.2.2 Basics on Bounded Fredholm Operators
Theorem 2.2.3 (M. Schechter [137, Theorem 5.4, p. 103]) Let X and Y be two Banach spaces, and let A ∈ Φb(X,Y). Then, there is a closed subspace
X0 of X, such that M X = X0 N(A) and, a subspace Y0 of Y of dimension β(A) such that
M Y = R(A) Y0.
Moreover, there is an operator A0 ∈ L (Y,X), such that N(A0) = Y0,
R(A0) = X0,
A0A = I on X0, and
AA0 = I on R(A). In addition,
A0A = I − F1 on X, and
AA0 = I − F2 on Y, where F1 ∈ L (X) with R(F1) = N(A) and F2 ∈ L (Y) with R(F2) = Y0. ♦ 38 Linear Operators and Their Essential Pseudospectra
Theorem 2.2.4 (M. Schechter [137, Theorem 5.5, p. 105]) Let A ∈
L (X,Y). Suppose that there exist A1,A2 ∈ L (Y,X),F1 ∈ K (X) and
F2 ∈ K (Y) such that
A1A = I − F1 on X and
AA2 = I − F2 on Y. Then, A ∈ Φb(X,Y). ♦
Theorem 2.2.5 (M. Schechter [139]) Let A ∈ L (X,Y) and B ∈ L (Y,Z), where X, Y, and Z are Banach spaces. If A and B are Fredholm operators, upper semi-Fredholm operators, lower semi-Fredholm operators, then BA is a Fredholm operator, an upper semi-Fredholm operator, a lower semi- Fredholm operator, respectively, and i(BA) = i(B) + i(A). ♦
Theorem 2.2.6 (M. Schechter [137, Theorem 5.13, p. 110]) Let X, Y, and Z be three Banach spaces. Assume that A ∈ L (X,Y) and B ∈ L (Y,Z) are such that BA ∈ Φb(X,Z). Then, A ∈ Φb(X,Y) if, and only if, B ∈ Φb(Y,Z). ♦
Theorem 2.2.7 (M. Schechter [137, Theorem 5.14, p. 111]) Let X, Y, and Z be three Banach spaces. Assume that A ∈ L (X,Y) and B ∈ L (Y,Z) are such that BA ∈ Φb(X,Z). If α(B) < ∞, then A ∈ Φb(X,Y) and B ∈ Φb(Y,Z). ♦
Theorem 2.2.8 (M. Schechter [137, Theorem 7.3, p. 157]) Let X and Y be Banach spaces. If A ∈ Φb(X,Y) and B ∈ Φb(Y,Z), then BA ∈ Φb(X,Z) and i(BA) = i(B) + i(A). ♦
Lemma 2.2.1 (A. Lebow and M. Schechter [117, Lemma 4.3]) Let X and b Y be Banach spaces. An operator A ∈ L (X,Y) is in Φ+(X,Y) if, and only if, α(A − K) < ∞ for all K ∈ K (X,Y). ♦ Fundamentals 39
Lemma 2.2.2 (A. Lebow and M. Schechter [117, Lemma 4.5]) Let X and b b b Y be Banach spaces. If A ∈ Φ+(X,Y) (resp. Φ−(X,Y), Φ (X,Y)), then b b b there exist an η > 0 such that B ∈ Φ+(X,Y) (resp. Φ−(X,Y), Φ (X,Y)) with i(B) = i(A), for all B ∈ L (X,Y) satisfying kB − Ak < η. ♦
Theorem 2.2.9 (V. Muller¨ [125, Theorem 5, p. 156]) Let X, Y, and Z be three Banach spaces, A ∈ L (X,Y) and B ∈ L (Y,Z). Then,
b b b (i) if A ∈ Φ−(X,Y) and B ∈ Φ−(Y,Z), then BA ∈ Φ−(X,Z), b b b (ii) if A ∈ Φ+(X,Y) and B ∈ Φ+(Y,Z), then BA ∈ Φ+(X,Z), and (iii) if A ∈ Φb(X,Y) and B ∈ Φb(Y,Z), then BA ∈ Φb(X,Z). ♦
Theorem 2.2.10 (V. Muller¨ [125, Theorem 6, p. 157]) Let X, Y, and Z be three Banach spaces, A ∈ L (X,Y) and B ∈ L (Y,Z). Then, b b (i) if BA ∈ Φ+(X,Z), then A ∈ Φ+(X,Y), b b (ii) if BA ∈ Φ−(X,Z), then B ∈ Φ−(Y,Z), and b b b (iii) if BA ∈ Φ (X,Z), then B ∈ Φ−(Y,Z) and A ∈ Φ+(X,Y). ♦
Lemma 2.2.3 Assume that A ∈ L (X) and there exist operators B0,B1 ∈ b b L (X) such that B0A and AB1 are in Φ (X). Then, A ∈ Φ (X). ♦
Proof. By referring to Theorem 2.2.3, there are operators A0, A1 ∈ L (X) such that A0B0A − I and AB1A1 − I are in K (X). The result follows from Theorem 2.2.4. Q.E.D.
Theorem 2.2.11 (V. Muller¨ [125, Theorem 7]) For a bounded operator A on a Banach space X, the following assertions are equivalent: (i) A is a Fredholm operator having index 0, (ii) there exist K ∈ K (X) and an invertible operator S ∈ L (X) such that A = S + K is invertible. ♦
Theorem 2.2.12 (P. Aiena [16, Corollary 1.52]) Suppose that T ∈ L (X). Then, 40 Linear Operators and Their Essential Pseudospectra
(i) T ∈ Φr(X) if, and only if, the class rest Tb = T + K (X) is right invertible in the Calkin algebra L (X)/K (X). (ii) T ∈ Φl(X) if, and only if, the class rest Tb = T + K (X) is left invertible in L (X)/K (X). (iii) T ∈ Φb(X) if, and only if, the class rest Tb = T + K (X) is invert- ible in L (X)/K (X). ♦
Let P(X) denote the set
∗ r P(X) := {F ∈ L (X) such that there exists r ∈ N satisfying F ∈ K (X)}.
Lemma 2.2.4 (A. Jeribi [84], see also [113]) Let A ∈ P(X) and set A = I − F. Then, (i) dim[N(A)] < ∞, (ii) R(A) is closed, and (iii) codim[R(A)] < ∞. ♦
∗ r Proof. (i) Since F ∈ P(X), there exists r ∈ N such that F ∈ K (X). Let x ∈ N(A), then Frx = x i.e., x ∈ N(I − Fr) and, therefore
N(A) ⊂ N(I − Fr).
On the other hand, the identity I restricted to the kernel of I − Fr is equal to Fr and, consequently compact. Hence, N(I − Fr) is finite dimensional and, therefore dim[N(A)] < ∞.
(ii) Since A commutes with I, Newton’s binomial formula gives
r r r k k k F = (I − A) = I + ∑(−1) Cr A . (2.12) k=1 Let E be a closed complement for N(A), so that
X = N(A)ME. Fundamentals 41
Thus, we obtain two linear continuous maps
A|E : E −→ X and
F|E : E −→ X, the restrictions of A and F to E. It is clear that the kernel of A|E is {0}. In order to conclude, it suffices to show that
A|E (E) = A(E) = A(X) is closed. For this, it suffices to show that the map
−1 (A|E ) : A(E) −→ E
−1 is continuous. By linearity, it even suffices to prove that (A|E ) is contin- uous at 0. Suppose that this is not the case. Then, we can find a sequence
(xn)n in E such that
Axn → 0, but (xn)n does not converge to 0. Selecting a suitable subsequence, we can assume without loss of generality that
kxnk ≥ η > 0 for all n. Then,
1 1 < kxnk η for all n and, consequently A( xn ) also converges to 0. Furthermore, xn kxnk kxnk has norm 1, and hence some subsequence of Fr( xn ) converges. It follows kxnk from (2.12) that xn has a converging subsequence to an element z in E kxnk verifying kzk = 1 and 42 Linear Operators and Their Essential Pseudospectra
Fr(z) = z. On the other hand,
Fr = F − FA − F2A − ··· − Fr−1A and so, we get Fr(z) = F(z). Hence, we infer that F(z) − z = 0, which implies that z ∈ N(A). This contradicts the fact that \ E N(A) = {0}
(because kzk = 1) and completes the proof of (ii). (iii) If A(X) does not have finite codimension, we can find a sequence of closed subspaces
A(X) = M0 ⊂ M1 ⊂ M2 ⊂ ··· ⊂ Mn ⊂ ··· such that each Mn is closed and of codimension 1 in Mn+1 just by adding one-dimensional spaces to A(X) inductively. By Riesz’s lemma
(see Lemma 2.1.2), we can find, in each Mn, an element xn such that kxnk = 1 and,
kxn − yk ≥ 1 − ε for all y in Mn−1 with 0 < ε < 1. Then, by using (2.12), together with the fact that X ⊃ R(A) ⊃ R(A2)··· ⊃ R(An) ⊃ ··· , for all k < n, we get
r r r r i i i i i i kF xn − F xkk = xn − ∑(−1) CrA xn − xk + ∑(−1) CrA xk i=1 i=1
r i i i = xn − xk − ∑(−1) CrA (xn − xk) i=1 ≥ 1 − ε Fundamentals 43 because r i i i xk + ∑(−1) CrA (xn − xk) ∈ Mn−1. i=1 r This proves that the sequence (F xn)n cannot have a convergent subse- quence, and contradicts the compactness of Fr. Q.E.D.
Theorem 2.2.13 Assume that the hypothesis of Lemma 2.2.4 holds. Then, A = I − F is a Fredholm operator and i(A) = 0. ♦
Let X be a Banach space. We denote by P(X) the set defined by
n n k P(X) = A ∈ L (X) such that there exists a polynomial P(z) = ∑ akz k=0 o satisfying P(1) 6= 0, P(1) − a0 6= 0 and P(A) ∈ K (X) .
Lemma 2.2.5 (A. Jeribi and K. Latrach [115, Lemma 2.2]) If A ∈ P(X), then I + A ∈ Φ(X) and i(I + A) = 0. ♦
2.2.3 Basics on Unbounded Fredholm Operators
Theorem 2.2.14 (M. Schechter [137, Theorem 5.10]) Let A ∈ C (X,Y). If A ∈ Φ(X,Y) and K ∈ K (X,Y), then A + K ∈ Φ(X,Y) and i(A + K) = i(A). ♦
Theorem 2.2.15 (M. Schechter [137, Theorem 7.9, p. 161]) Let X and Y be Banach spaces. For A ∈ Φ(X,Y), there is an η > 0 such that, for every T ∈ L (X,Y) satisfying kTk < η, one has A + T ∈ Φ(X,Y),
i(A + T) = i(A) and α(A + T) ≤ α(A). ♦ 44 Linear Operators and Their Essential Pseudospectra
Let A be a closed linear from X into Y. Then, N(A) is a closed subspace of X and, hence the quotient space Xe := X/N(A) is a Banach space with respect to the norm
kxek = dist(x,N(A)) := inf{kx − yk such that y ∈ N(A)}. Since N(A) ⊂ D(A), the quotient space D(Ae) := D(A)/N(A) is contained in Xe. Defining Axe = Ax for every xe ∈ D(Ae), it follows that Ae is a well defined closed linear operator with D(Ae) ⊂ Xe and R(Ae) = R(A). Since Ae is one-to-one, the inverse Ae−1 exists on R(A). The reduced minimum modulus of A is defined by kAxk inf if A 6= 0, γe(A) := x∈/N(A) dist(x,N(A)) (2.13) ∞ if A = 0. It is to remember that the reduced minimum modulus measures the closedness of the range of operators in the sense that R(A) is closed if, and −1 −1 only if, γe(A) = kAe k > 0.
Remark 2.2.1 Let A ∈ C (X). Then, γe(A) = γ1(A). ♦
Theorem 2.2.16 (T. Kato [107, Theorem 5.22, p. 236]) Let T ∈ C (X,Y) be semi-Fredholm (so that γ = γe(T) > 0). Let A be a T-bounded operator from X into Y so that we have the inequality
kAxk ≤ akxk + bkTxk x ∈ D(T) ⊂ D(A), where a < (1 − b)γ. Then, S = T + A belongs to C (X,Y), S is semi- Fredholm, α(S) ≤ α(T), β(S) ≤ β(T), and i(S) = i(T). ♦
Lemma 2.2.6 (F. Fakhfakh and M. Mnif [70, Lemma 3.1]) Let X be a
Banach space, A ∈ C (X), and K ∈ L (X). If ∆ψ (K) < Γψ (A), then A+K ∈ Φ+(X),A ∈ Φ+(X), and
i(A + K) = i(A), where ∆ψ (·) is the measure of non-strict-singularity given in (2.11) and
Γψ (·) is given in (2.10). ♦ Fundamentals 45
Lemma 2.2.7 Let A ∈ Φ+(X). Then, the following statements are equiva- lent (i) i(A) ≤ 0, (ii) A can be expressed in the form
A = U + K, where K ∈ K (X) and U ∈ C (X) an operator with closed range and α(U) = 0. ♦
This lemma is well known for bounded upper semi-Fredholm opera- tors. The proof is a straightforward adaption of the proof of Theorem 3.9 in [162].
Theorem 2.2.17 (M. Schechter [137, Theorem 7.1, p. 157]) Let X and
Y be Banach spaces, and A ∈ Φ(X,Y). Then, there is an operator A0 ∈ T L (Y,X), such that N(A0) = Y0,R(A0) = X0 D(A),
\ A0A = I on X0 D(A), and
AA0 = I on R(A) i.e., there are operators F1 ∈ L (X),F2 ∈ L (Y), such that
A0A = I − F1 on D(A),
AA0 = I − F2 on Y,
R(F1) = N(A),N(F1) = X0, and R(F2) = Y0,N(F2) = R(A). ♦
Theorem 2.2.18 (T. Kato [108, Theorem 5.31, p. 241]) Let X and Y be Banach spaces. Let A ∈ C (X,Y) be semi-Fredholm and let S be an A- bounded operator from X into Y. Then, λS + A is semi-Fredholm and α(λS + A), β(λS + A) are constant for a sufficiently small |λ| > 0. ♦ 46 Linear Operators and Their Essential Pseudospectra
Theorem 2.2.19 (M. Schechter [141, Theorem 7.3, p. 157]) Let X and Y be Banach spaces. If A ∈ Φ(X,Y) and B ∈ Φ(Y,Z), then BA ∈ Φ(X,Z) and i(BA) = i(B) + i(A). ♦
Theorem 2.2.20 (M. Schechter [140, Theorem 3.8]) Let X, Y, Z be Banach spaces and suppose B ∈ Φb(Y,Z). Assume that A is a closed, densely defined linear operator from X into Y such that BA ∈ Φ(X,Z). Then, A ∈ Φ(X,Y). ♦
Theorem 2.2.21 (M. Schechter [137, Theorem 7.12, p. 162]) Let X, Y, and Z be Banach spaces. If A ∈ Φ(X,Y) and B is a densely defined closed linear operator from Y into Z such that BA ∈ Φ(X,Z), then B ∈ Φ(Y,Z). ♦
Theorem 2.2.22 (M. Schechter [137, Theorem 7.14, p. 164]) Let X, Y, and Z be Banach spaces and let A be a densely defined closed linear operator from X into Y. Suppose that B ∈ L (Y,Z) with α(B) < ∞ and BA ∈ Φ(X,Z). Then, A ∈ Φ(X,Y). ♦
Proposition 2.2.1 Let A ∈ C (X,Y) and let S be a non null bounded linear operator from X into Y. Then, we have the following results
(i) ΦA,S is open,
(ii) i(λS − A) is constant on any component of ΦA,S, and
(iii) α(λS−A) and β(λS−A) are constant on any component of ΦA,S, except on a discrete set of points on which they have larger values. ♦
Proof. (i) Let λ0 ∈ ΦA,S. Then, according to Theorem 2.2.15, there exists η η > 0 such that, for all µ ∈ C with |µ| < kSk , the operator λ0S − µS −A is a Fredholm operator,
i(λ0S − µS − A) = i(λ0S − A) and
α(λ0S − µS − A) ≤ α(λ0S − A). Fundamentals 47
Consider λ ∈ C such that η |λ − λ | < . 0 kSk
Then, λS − A is a Fredholm operator,
i(λS − A) = i(λ0S − A) and
α(λS − A) ≤ α(λ0S − A).
In particular, this implies that ΦA,S is open.
(ii) Let λ1 and λ2 be any two points in ΦA,S which are connected by a smooth curve Γ whose points are all in ΦA,S. Since ΦA,S is an open set, then for each λ ∈ Γ, there exists an ε > 0 such that, for all µ ∈ C, |λ − µ| < ε, µ ∈ ΦA,S and i(µS − A) = i(λS − A).
By using the Heine-Borel theorem, there exist a finite number of such sets, which cover Γ. Since each of these sets overlaps with, at least, another set and since i(µS − A) is constant on each one, we see that
i(λ1S − A) = i(λ2S − A).
(iii) Let λ1 and λ2 be any two points in ΦA,S which are connected by a smooth curve Γ whose points are all in ΦA,S. Since ΦA,S is an open set, then for each λ ∈ Γ, there is a sufficiently small ε > 0 such that, for all µ ∈ C, |λ − µ| < ε, µ ∈ ΦA,S and by using Theorem 2.2.18, α(A + µS) and β(A+ µS) are constant for all µ ∈ C, 0 < |λ − µ| < ε. By referring to Heine-Borel’s theorem, there is a finite number of such sets which cover Γ. Since each of these sets overlaps with, at least, another set, we see that α(µS + A) and β(µS + A) are constant for all µ ∈ Γ, except for a finite number of points of Γ. Q.E.D.
The following theorem is developed by M. Gonzalez and M. O. Onieva in [77]. 48 Linear Operators and Their Essential Pseudospectra
Lemma 2.2.8 (M. Gonzalez and M. O. Onieva [77, Theorem 2.3]) Let A ∈ C (X,Y), then
(i) A ∈ Φl(X,Y) if, and only if, there exist B ∈ L (Y,X) and K ∈ K (X) such that [ R(B) R(K) ⊂ D(A) and BA = I − K on D(A),
(ii) A ∈ Φr(X,Y) if, and only if, there exist B ∈ L (Y,X) and K ∈ K (Y) such that R(B) ⊂ D(A), BA and KA are continuous, and AB = I − K. ♦
Lemma 2.2.9 (M. Gonzalez and M. O. Onieva [77, Theorem 2.5]) Let A ∈ C (Y,Z) and B ∈ C (X,Y), then
(i) if A ∈ Φl(Y,Z), B ∈ Φl(X,Y) and D(AB) = X, then AB ∈ Φl(X,Z) and i(AB) = i(A) + i(B),
(ii) if A ∈ Φr(Y,Z), B ∈ Φr(X,Y) and AB is closed, then AB ∈ Φr(X,Z) and i(AB) = i(A) + i(B). ♦
Lemma 2.2.10 (M. Gonzalez and M. O. Onieva [77, Theorem 2.7]) If A ∈
Φl(X)(resp. Φr(X)) and K ∈ K (X), then A + K ∈ Φl(X)(resp. Φr(X)) and i(A + K) = i(A). ♦
2.3 PERTURBATION 2.3.1 Fredholm and Semi-Fredholm Perturbations
Definition 2.3.1 Let X and Y be two Banach spaces, and let F ∈ L (X,Y). F is called a Fredholm perturbation, if U + F ∈ Φ(X,Y) whenever U ∈ Fundamentals 49
Φ(X,Y). F is called an upper (resp. lower) Fredholm perturbation, if U +
F ∈ Φ+(X,Y) (resp. U + F ∈ Φ−(X,Y)) whenever U ∈ Φ+(X,Y) (resp.
U ∈ Φ−(X,Y)). ♦
The sets of Fredholm, upper semi-Fredholm and lower semi-Fredholm perturbations are, respectively, denoted by F (X,Y), F+(X,Y), and F−(X,Y). In general, we have
K (X,Y) ⊆ F+(X,Y) ⊆ F (X,Y)
K (X,Y) ⊆ F−(X,Y) ⊆ F (X,Y).
If X = Y, we may write F (X), F+(X) and F−(X) instead of F (X,X), F+(X,X) and F−(X,X), respectively. In Definition 2.3.1, if b b we replace Φ(X,Y), Φ+(X,Y) and Φ−(X,Y) by Φ (X,Y), Φ+(X,Y) and b b b b Φ−(X,Y), we obtain the sets F (X,Y), F+(X,Y) and F−(X,Y), respec- tively. These classes of operators were introduced and investigated in [73]. In particular, it was shown that F b(X,Y) is a closed subset of L (X,Y) and F b(X) := F b(X,X) is a closed two-sided ideal of L (X). In general, we have b b K (X,Y) ⊆ F+(X,Y) ⊆ F (X,Y) b b K (X,Y) ⊆ F−(X,Y) ⊆ F (X,Y).
b b b In Ref. [72], it was shown that F (X) and F+(X) := F+(X,X) are closed two-sided ideals of L (X). It is worth noticing that, in general, the structure ideal of L (X) is extremely complicated. Most of the results on ideal structure deal with the well-known closed ideals which have arisen from applied work with operators. We can quote, for example, compact operators, weakly compact operators, strictly singular operators, strictly cosingular operators, upper semi-Fredholm perturbations, lower semi-Fredholm perturbations, and Fredholm perturbations. In general, we have 50 Linear Operators and Their Essential Pseudospectra
b b K (X) ⊂ S (X) ⊂ F+(X) ⊂ F (X) ⊂ J (X), and
b b K (X) ⊂ SC (X) ⊂ F−(X) ⊂ F (X) ⊂ J (X), b b where F−(X) := F−(X,X), and where J (X) denotes the set b J (X) = F ∈ L (X) such that I − F ∈ Φ (X) and i(I − F) = 0 .
Remark 2.3.1 J (X) is not an ideal of L (X) (since I 6∈ J (X)). ♦
If X is isomorphic to an Lp-space with 1 ≤ p ≤ ∞ or to C(Σ), where Σ is a compact Hausdorff space, then
b b b K (X) ⊂ S (X) = F+(X) = F−(X) = SC (X) = F (X).
Lemma 2.3.1 (A. Jeribi and N. Moalla [98, Lemma 2.1]) Let A ∈ C (X,Y) and let J : X −→ Y be a linear operator. Assume that J ∈ F (X,Y). Then, (i) if A ∈ Φ(X,Y), then A + J ∈ Φ(X,Y) and
i(A + J) = i(A).
Moreover,
(ii) if A ∈ Φ+(X,Y) and J ∈ F+(X,Y), then A + J ∈ Φ+(X,Y) and
i(A + J) = i(A),
(iii) if A ∈ Φ−(X,Y) and J ∈ F−(X,Y), then A + J ∈ Φ−(X,Y) and
i(A + J) = i(A),
T (iv) if A ∈ Φ±(X,Y) and J ∈ F+(X,Y) F−(X,Y), then A + J ∈ Φ±(X,Y) and i(A + J) = i(A). ♦
Lemma 2.3.2 Let X, Y and Z be three Banach spaces. Then, b b (i) if F1 ∈ F (X,Y) and A ∈ L (Y,Z), then AF1 ∈ F (X,Z), and b b (ii) if F2 ∈ F (Y,Z) and B ∈ L (X,Y), then F1B ∈ F (Y,Z). ♦ Fundamentals 51
Definition 2.3.2 An operator A ∈ L (X) is said to be polynomially Fred- holm perturbation if there exists a nonzero complex polynomial P(z) = p n ∑n=0 anz such that P(A) is a Fredholm perturbation. ♦ Lemma 2.3.3 Let X and Y be two Banach spaces. Then, F b(X,Y) = F (X,Y). ♦
An immediate consequence of Lemma 2.3.3 that F (X) is a closed two- sided ideal of L (X).
2.3.2 Semi-Fredholm Perturbations
In the beginning of this section, let us prove some results for semi- Fredholm perturbations. Proposition 2.3.1 Let X, Y and Z be three Banach spaces. (i) If the set Φb(Y,Z) is not empty, then b b b E1 ∈ F+(X,Y)and A ∈ Φ (Y,Z) imply AE1 ∈ F+(X,Z) b b b E1 ∈ F−(X,Y)and A ∈ Φ (Y,Z) imply AE1 ∈ F−(X,Z). (ii) If the set Φb(X,Y) is not empty, then b b b E2 ∈ F+(Y,Z)and B ∈ Φ (X,Y) imply E2B ∈ F+(X,Z) b b b E2 ∈ F−(Y,Z)and B ∈ Φ (X,Y) imply E2B ∈ F−(X,Z). ♦ Proof. (i) Since A ∈ Φb(Y,Z), and using Theorem 2.2.3, it follows that there exist A0 ∈ L (Z,Y) and K ∈ K (Z) such that
AA0 = I − K. b From Lemma 2.2.5, we get AA0 ∈ Φ (Z). Using Theorem 2.2.6, we have b b b b A0 ∈ Φ (Z,Y), and so A0 ∈ Φ+(Z,Y) and A0 ∈ Φ−(Z,Y). Let J ∈ Φ+(X,Z) b b (resp. Φ−(X,Z)), using Theorem 2.2.9, we deduce that A0J ∈ Φ+(X,Y) b b b (resp. Φ−(X,Y)). This implies that E1 +A0J ∈ Φ+(X,Y) (resp. Φ−(X,Y)). b b So, A(E1 + A0J) ∈ Φ+(X,Z) (resp. Φ−(X,Z)). Now, using the relation
AE1 + J − KJ = A(E1 + A0J) together with the compactness of the operator KJ, we get (AE1 + J) ∈ b b b Φ+(X,Z) (resp. Φ−(X,Z)). This implies that AE1 ∈ F+(X,Z) (resp. 52 Linear Operators and Their Essential Pseudospectra
b F−(X,Z)). (ii) The proof of (ii) is obtained in a similar way as the proof of the item (i). Q.E.D.
Theorem 2.3.1 Let X, Y and Z be three Banach spaces. Then, (i) If the set Φb(Y,Z) is not empty, then b b E1 ∈ F+(X,Y)and A ∈ L (Y,Z) imply AE1 ∈ F+(X,Z) b b E1 ∈ F−(X,Y)and A ∈ L (Y,Z) imply AE1 ∈ F−(X,Z). (ii) If the set Φb(X,Y) is not empty, then b b E2 ∈ F+(Y,Z)and B ∈ L (X,Y) imply E2B ∈ F+(X,Z) b b E2 ∈ F−(Y,Z)and B ∈ L (X,Y) imply E2B ∈ F−(X,Z). ♦
b Proof. (i) Let C ∈ Φ (Y,Z) and λ ∈ C. Let A1 = A − λC and A2 = λC. b For a sufficiently large λ, and using Lemma 2.2.2, we have A1 ∈ Φ (Y,Z). b From Proposition 2.3.1 (i), it follows that A1E1 ∈ F+(X,Z) (resp. b b b F−(X,Z)) and A2E1 ∈ F+(X,Z) (resp. F−(X,Z)). This implies that
A1E1 + A2E1 = AE1
b b is an element of F+(X,Z) (resp. F−(X,Z)). (ii) The proof may be achieved in a similar way as (i). It is sufficient to replace Proposition 2.3.1 (i) by Proposition 2.3.1 (ii). Q.E.D.
2.3.3 Riesz Operator
Let X be a Banach space. An operator R ∈ L (X) is said to be a Riesz operators if ΦR = C\{0}. This family of Riesz operators is denoted by R(X). We know that R(X) is not an ideal of L (X) (see [49]). In general, we have K (X) ⊂ S (X) ⊂ F (X) ⊂ R(X), where n o R(X) := A ∈ L (X) such that λ − A ∈ Φb(X) for each λ 6= 0 Fundamentals 53 which is the class of all Riesz operators. The set R(X) is, not generally, a closed ideal of L (X).
Theorem 2.3.2 (P. Aiena [15, Theorem 2.3]) Let X be a Banach space. Then, (i) if A, B ∈ R(X) and AB − BA ∈ K (X), then A + B ∈ R(X), and (ii) if A ∈ R(X),B ∈ L (X) and AB−BA ∈ K (X), then AB and BA ∈ R(X). ♦
2.3.4 Some Perturbation Results
Definition 2.3.3 Let X and Y be two Banach spaces. (i) An operator A ∈ C (X) is said to have a left Fredholm inverse if there are maps Rl ∈ L (X) and F ∈ F (X) such that IX + F extends RlA.
The operator Rl is called left Fredholm inverse of A. (ii) An operator A ∈ C (X) is said to have a right Fredholm inverse if there are maps Rr ∈ L (X) such that Rr(Y) ⊂ D(A) and ARr −IY ∈ F (X). The operator Rr is called right Fredholm inverse of A. ♦
The following theorem is well known for bounded upper or lower semi-Fredholm operators. The proof is a straightforward adaption of the proof in [162].
Theorem 2.3.3 T ∈ Φ+(X,Y) (Φ−(X,Y)) either without Φ−(X,Y)
(Φ+(X,Y)) or with it with index ≥ 0 (≤ 0) if, and only if, is of the form
U1 +U2, where R(U1) is closed (U1 has range Y) and U2 is compact. ♦
Theorem 2.3.4 (S. Cˇ . Zˇ ivkovic´-Zlatanovic´, D. S. Djordjevic´, and R. E. Harte [163, Theorem 8]) Let A ∈ L (X) and E ∈ R(X), then b (i) if A ∈ Φl(X) and AE − EA ∈ F (X), then A + E ∈ Φl(X), b (ii) if A ∈ Φr(X) and AE − EA ∈ F (X), then A + E ∈ Φr(X), b (iii) if A ∈ Wl(X) and AE − EA ∈ F (X), then A + E ∈ Wl(X), and b (iv) if A ∈ Wr(X) and AE − EA ∈ F (X), then A + E ∈ Wr(X). ♦ 54 Linear Operators and Their Essential Pseudospectra
A direct consequence of Theorem 2.3.4, the ideality of F (X) and the local constancy of the index, we infer the following result.
Corollary 2.3.1 Let A ∈ L (X) and E ∈ F b(X), then
(i) if A ∈ Φl(X), then A + E ∈ Φl(X) and i(A) = i(A + E), and (ii) if A ∈ Φr(X), then A + E ∈ Φr(X) and i(A) = i(A + E). ♦
2.3.5 A-Fredholm Perturbation
Definition 2.3.4 Let X and Y be two Banach spaces, A ∈ C (X,Y), and let F be an arbitrary A-defined linear operator on X. We say that F is b an A-Fredholm perturbation if Fb ∈ F (XA,Y). The operator F is called b an upper (resp. lower) A-Fredholm perturbation if Fb ∈ F+(XA,Y) (resp. b Fb ∈ F−(XA,Y)). ♦
The sets of A-Fredholm, upper A-semi-Fredholm and lower A-semi-
Fredholm perturbations are denoted by AF (X,Y), AF+(X,Y), and AF−(X,Y), respectively. If X = Y, we write AF (X), AF+(X), and AF−(X) for AF (X,X), AF+(X,X), and AF−(X,X), respectively.
Remark 2.3.2 (i) If B is bounded (resp. compact, weakly compact, strictly singular, strictly cosingular) implies that B is A-bounded (resp. A-compact, A-weakly compact, A-strictly singular, A-strictly cosingular). (ii) Notice that the concept of A-compactness and A-Fredholmness are not connected with the operator A itself, but only with its domain. (iii) Using Definition 2.3.4 and [74, page 69], we have
AK (X) ⊆ AS (X) ⊆ AF+(X) ⊆ AF (X). and
AK (X) ⊆ ASC (X) ⊆ AF−(X) ⊆ AF (X). (iv) Let B be an arbitrary A-Fredholm perturbation operator, hence we can regard A and B as operators from XA into X, they will be denoted by Fundamentals 55
Ab and B,b respectively, these operators belong to L (XA,X). Furthermore, we have the obvious relations α(Ab) = α(A), β(Bb) = β(B), R(Ab) = R(A), α(Ab+ Bb) = α(A + B), (2.14) β(Ab+ Bb) = β(A + B) and R(Ab+ Bb) = R(A + B).
♦
2.3.6 A-Compact Perturbations
Theorem 2.3.5 (T. Kato [107, Theorem 5.26, p. 238]) Let X and Y be Banach spaces. Suppose that A is a semi-Fredholm operator and B is an A-compact operator from X into Y, then A + B is also semi-Fredholm with
i(A + B) = i(A). ♦
As a consequence of Theorem 2.3.5, we have the following:
Theorem 2.3.6 (M. Schechter [140, Theorem 7.26, p. 172]) ΦA+K = ΦA for all K which are A-compact, and
i(A + K − λ) = i(A − λ) for all λ ∈ ΦA. ♦
Theorem 2.3.7 (M. Schechter [140, Theorem 2.12, p. 9]) Let X and Y be two Banach spaces. If A is a closed linear operator from X into Y, and if B is A-compact, then (i) kBxk ≤ c(kAxk + kxk), x ∈ D(A), (ii) kAxk ≤ c(k(A + B)xk + kxk), x ∈ D(A), (iii) A + B is a closed operator, and (iv) B is (A + B)-compact. ♦ 56 Linear Operators and Their Essential Pseudospectra
Theorem 2.3.8 Let G be a connected open set in the complex plane, such that ρ(A)TG 6= /0. Then, each point of σ(A)TG is a pole of finite rank of (λ − A)−1 if, and only if,
α(λ − A) = β(λ − A) < ∞ at each point λ of G. ♦
2.3.7 The Convergence Compactly
Definition 2.3.5 Let (Tn)n be a sequence of bounded linear operators on c X, (Tn)n is said to be converge to zero compactly, written Tn −→ 0 if, for all x ∈ X,Tnx → 0 and (Tnxn)n is relatively compact for every bounded sequence (xn)n ⊂ X. ♦
c Clearly, kTnk → 0 implies that Tn −→ 0.
Theorem 2.3.9 (S. Goldberg [76, Theorem 4]) Let (Kn)n be a sequence of c bounded linear operators converging to zero compactly i.e., Kn −→ 0, and let T be a closed linear operator. If T is a semi-Fredholm operator, then there exists n0 ∈ N such that for all n ≥ n0, (i) T + Kn is semi-Fredholm,
(ii) α(T + Kn) ≤ α(T),
(iii) β(T + Kn) ≤ β(T), and
(iv) i(T + Kn) = i(T). ♦
We recall the following results due to M. Schechter in [139].
Theorem 2.3.10 Let (Tn)n be a sequence of bounded linear operators which converges (in norm) to a bounded operator T. Then, b b (i) if (Tn)n ∈ F (X), then T ∈ F (X), and b b (ii) if (Tn)n ∈ F−(X), then T ∈ F−(X). ♦
Definition 2.3.6 Let (Tn)n be a sequence of bounded linear operators on X and let T ∈ L (X). The sequence (Tn)n is said to be converge to T c compactly, written Tn −→ T, if (Tn − T)n converges to zero compactly. ♦ Fundamentals 57
If (Tn)n converges to T, then (Tn)n converges to T compactly. A general- ization of the Theorem 2.3.10 is given by the following proposition.
Proposition 2.3.2 (A. Ammar and A. Jeribi [32]) Let (Tn)n be a sequence of bounded linear operators which converges compactly to a bounded operator T. Then, b b (i) if (Tn)n ∈ F (X), then T ∈ F (X), b b (ii) if (Tn)n ∈ F+(X), then T ∈ F+(X), and b b (iii) if (Tn)n ∈ F−(X), then T ∈ F−(X). ♦
2.4 ASCENT AND DESCENT OPERATORS 2.4.1 Bounded Operators
We will denote the set of nonnegative integers by N and if A ∈ L (X), we define the ascent and the descent of A, respectively, by n n n+ o asc(A) := min n ∈ N such that N(A ) = N(A 1) , and n n n+1 o desc(A) := min n ∈ N such that R(A ) = R(A ) . If no such integer exists, we shall say that A has infinite ascent or infi- nite descent. First, we will recall the following result due to A. E. Taylor.
Proposition 2.4.1 (A. E. Taylor [149, Theorem 3.6]) Let A ∈ L (X). If asc(A) and desc(A) are finite, then asc(A) = desc(A). ♦
Proposition 2.4.2 Let A be a bounded linear operator on a Banach space X. If A ∈ Φb(X) with asc(A) and desc(A) are finite. Then, i(A) = 0. ♦ 58 Linear Operators and Their Essential Pseudospectra
Proof. Since asc(A) and desc(A) are finite. Using Proposition 2.4.1, there exists an integer k such that
asc(A) = desc(A) = k.
Hence, N(Ak) = N(An+k) and R(Ak) = R(An+k) for all n ∈ N. Therefore,
i(Ak) = i(An+k).
However, since A ∈ Φb(X) and by using Theorem 2.2.5, we deduce that
i(Ak) = ki(A) = i(An+k) = (n + k)i(A), for all n ≥ 0. Hence, i(A) = 0. Q.E.D.
Theorem 2.4.1 (M. A. Kaashoek [104]) Suppose that α(A) = β(A) < ∞, and that p = asc(A) < ∞. Then, (i) desc(A) = asc(A), (ii) α(Ai) = β(Ai) < ∞ for i = 0,1,2,···, and (iii) X = R(Ap)LN(Ap). ♦
Theorem 2.4.2 Suppose λ0 is an isolated point of σ(A), and let m be a −1 positive integer. Then, λ0 is a pole of order m of (λ − A) if, and only if,
asc(λ0 − A) = desc(λ0 − A) = m
m and R[(λ0 − A) ] is closed. ♦
Lemma 2.4.1 (S. R. Caradus [50]) For any non negative k, we have (i) α(Ak) ≤ asc(A)α(A), and (ii) β(Ak) ≤ desc(A)β(A). ♦ Fundamentals 59
Lemma 2.4.2 (A. E. Taylor [149]) Suppose there exists a nonnegative integer N such that α(Ak) ≤ N when k = 0,1,2···. Then, asc(A) ≤ N. ♦
Theorem 2.4.3 (V. Rakocevi˘ c´ [132, Theorem 1]) Suppose that A, K ∈ L (X) and AK = KA. Then, b b (i) if A ∈ Φ+(X), asc(A) < ∞ and K ∈ F+(X), then asc(A + K) < ∞, and b b (ii) if A ∈ Φ−(X), desc(A) < ∞ and K ∈ F−(X), then desc(A + K) < ∞. ♦
Theorem 2.4.4 Let A ∈ L (X) and assume that there exists a nonzero complex polynomial n k P(z) = ∑ akz k=0 satisfying P(A) ∈ R(X).
b If P(λ) 6= 0 for some λ ∈ C, then λ −A ∈ Φ (X) with asc(λ −A) < ∞ and desc(λ − A) < ∞. ♦
Proof. Let λ ∈ C with P(λ) 6= 0. We have n k k P(λ) − P(A) = ∑ ak(λ − A ). k=1 Moreover, for any k ∈ {1,··· ,n}
k−1 λ k − Ak = (λ − A) ∑ λ iAk−1−i. i=0 Then, P(λ) − P(A) = (λ − A)H(A) = H(A)(λ − A), where n k−1 i k−1−i H(A) = ∑ ak ∑ λ A . k=1 i=0 60 Linear Operators and Their Essential Pseudospectra
Hence, for n ∈ N,
(P(λ) − P(A))n = (λ − A)nH(A)n = H(A)n(λ − A)n.
This implies that
N[(λ − A)n] ⊂ N[(P(λ) − P(A))n] and R[(P(λ) − P(A))n] ⊂ R[(λ − A)n] for all n ∈ N. The last inclusions gives [ [ N[(λ − A)n] ⊂ N[(P(λ) − P(A))n] (2.15) n∈N n∈N and \ \ R[(P(λ) − P(A))n] ⊂ R[(λ − A)n]. (2.16) n∈N n∈N On the other hand, since P(λ) 6= 0 and P(A) ∈ R(X), then P(λ) − P(A) ∈ Φb(X) with asc(P(λ) − P(A)) < ∞ and desc(P(λ) − P(A)) < ∞. Therefore, Proposition 2.4.1 gives
asc(P(λ) − P(A)) = desc(P(λ) − P(A)).
Let n0 this quantity. Since P(λ) commutes with P(A), Newton’s binomial formula gives
n0 (P( ) − P(A))n0 = (−1)kCk P( )n0−kP(A)k λ ∑ n0 λ k=0 = P(λ)n0 − K , where n0 = P(A) (−1)k−1Ck P( )n0−kP(A)k−1 K ∑ n0 λ k=1 is a Riesz operator on X. Then,
[ dim N[(P(λ) − P(A))n] = dimN[(P(λ) − P(A))n0 ] < ∞ n∈N Fundamentals 61 and
\ codim R[(P(λ) − P(A))n] = codimR[(P(λ) − P(A))n0 ] < ∞. n∈N It follows from Eqs. (2.15) and (2.16) that
[ dim N[(λ − A)n] < ∞ n∈N and \ codim R[(λ − A)n] < ∞. n∈N Hence, asc(λ − A) < ∞ and desc(λ − A) < ∞. This implies that α(λ − A) < ∞ and β(λ −A) < ∞ and consequently, by Lemma 2.1.3, R(λ −A) is closed. This proves that λ −A ∈ Φb(X) with asc(λ −A) < ∞ and desc(λ − A) < ∞. Q.E.D.
Corollary 2.4.1 Assume that the hypotheses of Theorem 2.4.4 hold. Then, λ − A is a Fredholm operator on X of index zero. ♦
The next corollary is a consequence of Theorem 2.4.4 and Corollary 2.4.1.
Corollary 2.4.2 Let A ∈ PR(X) i.e., there exists a nonzero complex poly- nomial n k P(z) = ∑ akz k=0 satisfying P(−1) 6= 0 and P(A) ∈ R(X).
Then, I + A ∈ Φb(X) and i(I + A) = 0. ♦ 62 Linear Operators and Their Essential Pseudospectra
2.4.2 Unbounded Operators
To discuss the definitions of ascent and descent for an unbounded linear operator one must consider the case in which D(A) and R(A) are in the same linear space X. Obviously,
N(An) ⊂ N(An+1) and R(An+1) ⊂ R(An) for all n ≥ 0 with the convention A0 = I (the identity operator on X). Thus, if N(Ak) = N(Ak+1) (resp. R(Ak) = R(Ak+1)), then N(An) = N(Ak) (resp. R(An) = R(Ak)) for all n ≥ k. Then, the smallest nonnegative integer n such that N(An) = N(An+1) (resp. R(An) = R(An+1)) is called the ascent (resp. the descent) of A, and denoted by asc(A) (resp. desc(A)). In case where n does not exist, we define asc(A) = ∞ (resp. desc(A) = ∞).
Proposition 2.4.3 (M. A. Kaashoek and D. C. Lay [105]) Suppose that α(A) = β(A) < ∞ and asc(A) < ∞. Then, there exists a bounded linear operator B defined on X with finite-dimensional range and such that
(i) BAx = ABx for x ∈ D(A), in particular, B commutes with A, (ii) 0 ∈ ρ(A + B), i.e., A + B has a bounded inverse defined on X, and (iii) if C commutes with A, then CBx = BCx for x ∈ D(A). ♦
Lemma 2.4.3 (M. A. Kaashoek and D. C. Lay [105]) If C commutes with A, then −C commutes with A +C. ♦
Theorem 2.4.5 (M. A. Kaashoek and D. C. Lay [105]) Suppose that α(A) = β(A) < ∞ and asc(A) < ∞. Let C commute with A and suppose that C satisfies at least one of the following conditions: (i) C is a compact linear operator on X, (ii) C is a Riesz operator, and n ∗ (iii) C is A -compact, n ∈ N . Then, A +C is closed, α(A +C) = β(A +C) < ∞, and asc(A +C) = desc(A +C)) < ∞. ♦ Fundamentals 63
2.5 SEMI-BROWDER AND BROWDER OPERATORS
For A ∈ C (X), we define the generalized kernel of A by
∞ N∞(A) = [ N(Ak) k=1 and the generalized range of A by
∞ R∞(A) = \ R(Ak). k=1
Proposition 2.5.1 (T. T. West [157]) Let A ∈ L (X). (i) If α(A) < ∞, then A has finite ascent if, and only if,
∞ ! ∞ ! [ \ \ N(An) An(X) = {0}. n=1 n=1
(ii) If β(A) < ∞, then A has finite descent if, and only if, ∞ ∞ [ N(An)M \ An(X) = X. ♦ n=1 n=1
2.5.1 Semi-Browder Operators
Two important classes of operators in Fredholm theory are given by the classes of semi-Fredholm operators which possess finite ascent or finite descent. We shall distinguish the class of all upper semi-Browder operators on a Banach space X that is defined by n o B+(X) := A ∈ Φ+(X) such that asc(A) < ∞ , and the class of all lower semi-Browder operators that is defined by n o B−(X) := A ∈ Φ−(X) such that desc(A) < ∞ . 64 Linear Operators and Their Essential Pseudospectra
The class of all Browder operators (known in the literature also as Riesz-Schauder operators) is defined by
\ B(X) := B+(X) B−(X).
The class of all left Browder operators is defined by
l n o B (X) = A ∈ Φl(X) such that asc(A) < ∞ and the class of all right Browder operators is defined by
r n o B (X) = A ∈ Φr(X) such that desc(A) < ∞ .
Theorem 2.5.1 (S. Cˇ . Zˇ ivkovic´-Zlatanovic´, D. S. Djordjevic´, and R. E. Harte [163, Theorem 7]) Let A, E ∈ L (X). Then, (i) if A ∈ Bl(X) and E ∈ R(X) such that AE = EA, then A + E ∈ Bl(X), and (ii) if A ∈ Br(X) and E ∈ R(X) such that AE = EA, then A + E ∈ Br(X). ♦
Theorem 2.5.2 (F. Fakhfakh and M. Mnif [70, Theorem 3.1]) Let X be a Banach space, A ∈ C (X) and K ∈ L (X) such that either ρ(A) or ρ(A +
K) 6= /0. Assume that K commutes with A, and ∆ψ (K) < Γψ (A), where ψ is a perturbation function. Then,
A ∈ B+(X) if, and only if, A + K ∈ B+(X). ♦
Theorem 2.5.3 (F. Fakhfakh and M. Mnif [70, Theorem 3.2]) Let X be a Banach space, ψ be a perturbation function, A ∈ C (X),K ∈ L (X), and neither ρ(A) nor ρ(A + K) is empty. If we suppose that K commutes with
A and ∆ψ (K) < Γψ (A), then A ∈ B(X) if, and only if, A + K ∈ B(X). ♦ Fundamentals 65
Theorem 2.5.4 (F. Leon-Saavedra and V. Muller¨ [118, Theorem 10, p. 186]) An operator A ∈ L (X) is upper semi-Browder (lower semi-Browder, Browder, respectively) if, and only if, there exists a decomposition M X = X1 X2
such that dimX1 < ∞, AXi ⊂ Xi (i = 1,2), A|X1 is nilpotent and A|X2 is bounded below (onto, invertible, respectively). ♦
2.5.2 Fredholm Operator with Finite Ascent and Descent
Theorem 2.5.5 Let A ∈ PF (X) i.e., there exists a nonzero complex poly- nomial n i P(z) = ∑aiz i=0 b satisfying P(A) ∈ F (X). Let λ ∈ C with P(λ) 6= 0 and set B = λ − A. Then, B is a Fredholm operator on X with finite ascent and descent. ♦
We need the following lemma for the proof of the Theorem 2.5.5.
Lemma 2.5.1 Let P be a complex polynomial and λ ∈ C such that P(λ) 6= 0. Then, for all A ∈ L (X) satisfying P(A) ∈ F b(X), the operator P(λ) − P(A) is a Fredholm operator on X with finite ascent and descent. ♦
Proof. Put B = P(λ) − P(A) P(A) = P(λ) I − P(λ) = P(λ)(I − F),
P(A) b where F = P(λ) ∈ F (X). Let C = I − F, then B = P(λ)C.
It is clear that C + F ∈ B(X) and so, we can write C = C + F − F with C + F ∈ B(X) and F ∈ F b(X). On the other hand, we have
(C + F)F = F(C + F). 66 Linear Operators and Their Essential Pseudospectra
By using Theorem 2.4.3, we deduce that C ∈ B(X) and therefore, B ∈ B(X). Q.E.D.
Proof of Theorem 2.5.5 Let λ ∈ C with P(λ) 6= 0. We have n i i P(λ) − P(A) = ∑ ai(λ − A ). i=1 On the one hand, for any i ∈ {1,··· ,n}, we have
k−1 λ i − Ai = (λ − A) ∑ λ jAk−1− j. j=0 So, P(λ) − P(A) = (λ − A)Q(A) = Q(A)(λ − A), (2.17) where n k−1 j k−1− j Q(A) = ∑ ai ∑ λ A . i=1 j=0 Let p ∈ N, the Eq. (2.17) gives p P(λ) − P(A) = (λ − A)pQ(A)p = Q(A)p(λ − A)p.
Hence, p p N[(λ − A) ] ⊂ N P(λ) − P(A) , ∀p ∈ N and p p R P(λ) − P(A) ⊂ R[(λ − A) ], ∀p ∈ N. This implies that [ [ p N[(λ − A)p] ⊂ N P(λ) − P(A) , (2.18) p∈N p∈N and \ p \ R P(λ) − P(A) ⊂ R[(λ − A)p]. (2.19) p∈N p∈N On the other hand, since P(λ) 6= 0 and P(A) ∈ F b(X), then by using Lemma 2.5.1, P(λ) − P(A) is a Fredholm operator on X with finite ascent and descent. So, by Proposition 2.4.1, we have
asc P(λ) − P(A) = desc P(λ) − P(A). Fundamentals 67
Let p0 this quantity, then [ p p dim N P(λ) − P(A) = dim N P(λ) − P(A) 0 < ∞, p∈N and
\ p p codim R P(λ) − P(A) = codim R P(λ) − P(A) 0 < ∞. p∈N Using Eqs. (2.18) and (2.19), we have [ dim N[(λ − A)p] < ∞, p∈N and \ codim R[(λ − A)p] < ∞. p∈N Therefore, asc(λ − A) < ∞ and desc(λ − A) < ∞. We have also, α(λ − A) < ∞ and β(λ − A) < ∞. Q.E.D.
Corollary 2.5.1 Let A ∈ PF (X), i.e., there exists a nonzero complex polynomial p r P(z) = ∑arz r=0 b satisfying P(A) ∈ F (X). Let λ ∈ C with P(λ) 6= 0. Then, the operator λ − A is a Fredholm operator on X of index zero. ♦
Proof. The proof follows immediately from both Theorem 2.5.5 and Proposition 2.4.2. Q.E.D.
2.6 MEASURE OF NONCOMPACTNESS
The notion of measure of noncompactness turned out to be a useful tool in some topological problems, in functional analysis, and in operator theory (see [1, 17, 42, 63, 121, 129]). 68 Linear Operators and Their Essential Pseudospectra
2.6.1 Measure of Noncompactness of a Bounded Subset
In order to recall the measure of noncompactness, let (X,k · k) be an infinite-dimensional Banach space. We denote by MX the family of all nonempty and bounded subsets of X, while NX denotes its subfamily consisting of all relatively compact sets. Moreover, let us denote the convex hull of a set A ⊂ X by conv(A). Let us recall the following defi- nition.
Definition 2.6.1 A mapping µ : MX −→ [0,+∞[ is said to be a measure of noncompactness in the space X, if it satisfies the following conditions:
(i) The family Ker(µ) := {D ∈ MX such that µ(D) = 0} is nonempty, and Ker(µ) ⊂ NX .
For A,B ∈ MX , we have the following: (ii) If A ⊂ B, then µ(A) ≤ µ(B). (iii) µ(A) = µ(A). (iv) µ(conv(A)) = µ(A). (v) µ(λA + (1 − λ)B) ≤ λ µ(A) + (1 − λ)µ(B), for all λ ∈ [0,1].
(vi) If (An)n is a sequence of sets from MX such that An+1 ⊂ An, An = An (n = 1,2,···) and lim µ(An) = 0, then n→+∞
∞ \ A∞ := An n=1 is nonempty and A∞ ∈ Ker(µ). ♦
The family Ker(µ), described in Definition 2.6.1 (i), is called the kernel of the measure of noncompactness µ.
Definition 2.6.2 A measure of noncompactness µ is said to be sublinear if, for all A,B ∈ MX , it satisfies the two following conditions: (i) µ(λA) = |λ|µ(A) for λ ∈ R (µ is said to be homogenous), and (ii) µ(A + B) ≤ µ(A) + µ(B) (µ is said to be subadditive). ♦
Definition 2.6.3 A measure of noncompactness µ is referred to as a measure with maximum property if max(µ(A), µ(B)) = µ(ASB). ♦ Fundamentals 69
Definition 2.6.4 A measure of noncompactness µ is said to be regular if
Ker(µ) = NX , sublinear and has a maximum property. ♦
For A ∈ MX , the most important examples of measures of noncom- pactness ( [121]) are:
• Kuratowski measure of noncompactness
γ(A) = inf{ε > 0 : A may be covered by a finite number of sets of diameter ≤ ε}.
• Hausdorff measure of noncompactness
γ(A) = inf{ε > 0 : A may be covered by a finite number of open balls of radius ≤ ε}.
Note that these measures γ(·) and γ(·) are regular. The relations between these measures are given by the following inequalities, which were obtained by J. Danes [57]
γ(A) ≤ γ(A) ≤ 2γ(A), for any A ∈ MX . The following proposition gives some frequently used properties of the Kuratowski’s measure of noncompactness.
Proposition 2.6.1 Let A and A0 be two bounded subsets of X. Then, we have the following properties: (i) γ(A) = 0 if, and only if, A is relatively compact. (ii) If A ⊆ A0, then γ(A) ≤ γ(A0). (iii) γ(A + A0) ≤ γ(A) + γ(A0). (iv) For every α ∈ C, γ(αA) = |α|γ(A). ♦
2.6.2 Measure of Noncompactness of an Operator
Definition 2.6.5 (i) Let T : D(T) ⊆ X −→ X be a continuous operator and let γ(·) be the Kuratowski measure of noncompactness in X. Let k ≥ 0. 70 Linear Operators and Their Essential Pseudospectra
T is said to be k-set-contraction if, for any bounded subset A of D(T), T(A) is a bounded subset of X and
γ(T(A)) ≤ kγ(A).
T is said to be condensing if, for any bounded subset A of D(T) such that γ(A) > 0,T(A) is a bounded subset of X and
γ(T(A)) < γ(A).
(ii) Let T : D(T) ⊆ X −→ X be a continuous operator, γ(·) being the Hausdorff measure of noncompactness in X, and k ≥ 0. T is said to be k- ball-contraction if, for any bounded subset A of D(T),T(A) is a bounded subset of X and γ(T(A)) ≤ kγ(A). ♦
Remark 2.6.1 It is well known that (i) If k < 1, then every k-set-contraction operator is condensing. (ii) Every condensing operator is 1-set-contraction. ♦
Let T ∈ L (X). We define Kuratowski measure of noncompactness, γ(T), by γ(T) := inf{k such that T is k-set-contraction}, (2.20)
and Hausdorff measure of noncompactness, γ(T), by
γ(T) := γ[T(BX )] := inf{k such that T is k-ball-contraction}, where BX denotes the closed unit ball in X, that is, the set of all x ∈ X satis- fying kxk ≤ 1. In the following lemma, we give some important properties of γ(T) and γ(T).
Lemma 2.6.1 ( [38, 66]) Let X be a Banach space and T ∈ L (X). We have the following 1 (i) 2 γ(T) ≤ γ(T) ≤ 2γ(T). (ii) γ(T) = 0 if, and only if, γ(T) = 0 if, and only if, T is compact. Fundamentals 71
(iii) If T,S ∈ L (X), then γ(ST) ≤ γ(S)γ(T) and γ(ST) ≤ γ(S)γ(T). (iv) If K ∈ K (X), then γ(T + K) = γ(T) and γ(T + K) = γ(T). (v) γ(T ∗) ≤ γ(T) and γ(T) ≤ γ(T ∗), where T ∗ denotes the dual oper- ator of T. (vi) If B is a bounded subset of X, then γ(T(B)) ≤ γ(T)γ(B). (vii) γ(T) ≤ kTk. ♦
Theorem 2.6.1 [6, Theorem 3.1] (see also [1]) Let A ∈ L (X), and P, Q be two complex polynomials satisfying Q divides P − 1. (i) If γ P(A) < 1, then
b Q(A) ∈ Φ+(X). 1 (ii) If γ P(A) < , then 2 Q(A) ∈ Φb(X). ♦
Proposition 2.6.2 (B. Abdelmoumen, A. Dehici, A. Jeribi, and M. Mnif [6, Corollary 3.4]) Let X be a Banach space and A ∈ L (X). If γ(An) < 1, for some n > 0, then I − A is a Fredholm operator with i(I − A) = 0. ♦
2.6.3 Measure of Non-Strict-Singularity
We recall the following definition of the measure of non-strict- singularity which is introduced by M. Schechter in [139].
Definition 2.6.6 For A ∈ L (X,Y), set
fM(A) = inf γ(AiN) (2.21) N⊂M and
f (A) = sup fM(A), (2.22) M⊂X where M, N represent infinite dimensional subspaces of X and AiN denotes the restriction of A to N. ♦ 72 Linear Operators and Their Essential Pseudospectra
The semi-norm f (·) is a measure of non-strict-singularity, it was intro- duced by M. Schechter in [142].
Proposition 2.6.3 (V. R. Rakocevi˘ c´ [130]) Let A ∈ L (X,Y). Then, (i) A ∈ S (X,Y) if, and only if,
f (A) = 0.
(ii) A ∈ S (X,Y) if, and only if,
f (A + T) = f (T) for all T ∈ L (X,Y). (iii) If Z is a Banach space and B ∈ L (Y,Z), then f (BA) ≤ f (B) f (A). ♦
Proposition 2.6.4 (N. Moalla [122, Proposition 2.3]) Let A ∈ L (X). If f (An) < 1 for some integer n ≥ 1, then I −A ∈ Φb(X) with i(I −A) = 0. ♦
Proposition 2.6.5 (N. Moalla [122]) For A ∈ L (X,Y), we have f (A) ≤ γ(A). ♦
Lemma 2.6.2 (N. Moalla [122]) For all bounded operator ! T T T = 1 2 T3 T4 on X ×Y, we consider
n o g(T) = max f (T1) + f (T2), f (T3) + f (T4) , (2.23) where f (·) is a measure of non-strict-singularity given in (2.22). Then, g(·) defines a measure of non-strict-singularity on the space L (X ×Y). ♦ Fundamentals 73
2.6.4 γ-Relatively Bounded
Let us notice that, throughout the book, we are working on two spaces, for example X and Y with their respective measures γX (·) and γY (·).
However, and in order to simplify our reasoning, γX (·) and γY (·) will be simply called γ(·). Of course, the reader will be able to link γ(·) either to
γX (·) or to γY (·).
Definition 2.6.7 Let X and Y be Banach spaces, let γ(·) be a Kuratowski measure of noncompactness, and let S, A be two linear operators from X into Y bounded on its domains such that D(A) ⊂ D(S). The operator S is called γ-relatively bounded with respect to A (or A-γ-bounded), if there exist constants aS ≥ 0 and bS ≥ 0, such that
γ(S(D)) ≤ aSγ(D) + bSγ(A(D)), (2.24) where D is a bounded subset of D(A). The infimum of the constants bS which satisfy (2.24) for some aS ≥ 0 is called the A-γ-bound of S. ♦
Theorem 2.6.2 (A. Jeribi, B. Krichen, and M. Zarai Dhahri [92, Theorem 2.1]) If S is A-γ-bounded with a bound < 1 and if S and A are closed, then A + S is closed. ♦
Lemma 2.6.3 (A. Jeribi, B. Krichen, and M. Zarai Dhahri [92, Remark 2.1]) If S is T-γ-bounded with T-γ-bound δ < 1, then S is (T + S)-γ- δ bounded with (T + S)-γ-bound ≤ 1−δ . ♦
2.6.5 Perturbation Result
We start our investigation with the following lemma which is funda- mental for our purpose.
Lemma 2.6.4 Let A, K ∈ L (X) such that K commutes with A. If f (Kn) < n b b fM(A ) for some n ≥ 1, then A + K ∈ Φ+(X),A ∈ Φ+(X) and
i(A + K) = i(A), where fM(·) (resp. f (·)) is given in (2.21) (resp. (2.22)). ♦ 74 Linear Operators and Their Essential Pseudospectra
Proof. We will begin by the case n = 1. For this, we argue by contra- b diction. Suppose that A + K 6∈ Φ+(X), then by Lemma 2.2.1, there is S ∈ K (X) such that α(A + K − S) = ∞. We set M = N(A + K −S). Then, the restriction of A + K to M is compact, that is
(A + K)iM = SiM. Let N be a subspace of M such that
dimN = ∞.
So,
AiMiN = −KiMiN + SiMiN. From Proposition 2.6.3 (ii), it follows that
f (AiN) = f (KiN).
Thereby, fM(A) = inf ( f (AiN)) N⊂M ≤ f (AiN)
= f (KiN). Then,
fM(A) ≤ fM(K) ≤ f (K)
b which is absurd. Consequently, A + K ∈ Φ+(X). Let λ ∈ [0,1], then
f (λK) = λ f (K) < fM(A),
b b b and so A + λK ∈ Φ+(X). Thereby, A ∈ Φ+(X). Since A + λK ∈ Φ+(X) for all λ ∈ [0,1] and the use of Lemma 2.2.2 leads to
i(A + K) = i(A).
For n > 1, we have
An − Kn = (An−1 + An−2K + ··· + AKn−2 + Kn−1)(A − K). (2.25) Fundamentals 75
Since n n n f (−K ) = f (K ) < fM(A ), then n n b A − K ∈ Φ+(X). (2.26) In view of Theorem 2.2.10 and both (2.25) and (2.26), we get A − K ∈
Φ+(X). Let λ ∈ [−1,0]. Thus,
f (−(λK)n) = f ((λK)n) = |λ n| f (Kn) n < fM(A ) and then, by what we have just showed,
b A − λK ∈ Φ+(X).
b b Therefore, A + K ∈ Φ+(X) and A ∈ Φ+(X). It remains to show that
i(A + K) = i(A).
To do this, we reason in the same way as the case n = 1. Q.E.D.
2.7 γ-DIAGONALLY DOMINANT
We denote by L the block matrix linear operator, acting on the Banach space X ×Y, of the form ! AB L = , (2.27) CD where the operator A acts on X and has domain D(A), D is defined on D(D) and acts on the Banach space Y, and the intertwining operator B (resp. C) is defined on the domain D(B) (resp. D(C)) and acts on X (resp. Y). One of the problems in the study of such operators is that in general L is not closed or even closable, even if its entries are closed. 76 Linear Operators and Their Essential Pseudospectra
Definition 2.7.1 Let γ(·) be a measure of noncompactness. The block operator matrix L , given in (2.27), is called (i) γ-diagonally dominant if C is A-γ-bounded and B is D-γ-bounded. (ii) off-γ-diagonally dominant if A is C-γ-bounded and D is B-γ- bounded. ♦
Definition 2.7.2 The block operator matrix L is called (i) γ-diagonally dominant with bound δ, if C is A-γ-bounded with
A-γ-bound δC, and B is D-γ-bounded with D-γ-bound δB, and δ = max{δC,δB}. (ii) off-γ-diagonally dominant with bound δ if A is C-γ-bounded with C-γ-bound δA, and D is B-γ-bounded with B-γ-bound δD, and δ = max{δA,δD}. ♦
2.8 GAP TOPOLOGY 2.8.1 Gap Between Two Subsets
Definition 2.8.1 The gap between two subsets M and N of a normed space X is defined by the following formula:
δ(M,N) = sup dist(x,N), x∈M, kxk=1 whenever M 6= {0}. Otherwise we define δ({0},N) = 0 for every subset N. We can also define n o δb(M,N) = max δ(M,N),δ(N,M) .
Sometimes the latter is called the symmetric or maximal gap between M and N in order to distinguish it from the former. The gap δ(M,N) can be characterized as the smallest number δ such that dist(x,N) ≤ δkxk, for all x ∈ M. ♦ Fundamentals 77
Remark 2.8.1 (i) The gap measures the distance between two subsets and it follows easily from the Definition 2.8.1, (a) δ(M,N) = δ(M,N) and δb(M,N) = δb(M,N), (b) δ(M,N) = 0 if, and only if, M ⊂ N, (c) δb(M,N) = 0 if, and only if, M = N, where M (resp. N) is the closure of M (resp. N). (ii) Let us notice that δb(·,·) is a metric on the set U (X) of all linear, closed subspaces of X and the convergence Mn → N in U (X) is obviously defined by δb(Mn,N) → 0. Moreover, (U (X),δb) is a complete metric space. ♦
2.8.2 Gap Between Two Operators
Definition 2.8.2 Let X and Y be two normed spaces and let T, S be two closed linear operators acting from X into Y. Let us define
δ(T,S) = δ G(T),G(S) and δb(T,S) = δb G(T),G(S).
δb T,S is called the gap between S and T. More explicitly, 1 2 2 2 δ G(T),G(S) = sup inf kx − ykX + kTx − SykY . y∈D(S) x ∈ D(T) 2 2 kxkX + kTxkY = 1 ♦
The function δb(·,·) defines a metric on C (X,Y) called the gap metric and the topology induced by this metric is called the gap topology. The next theorem contains some basic properties of the gap between two closed linear operator.
Theorem 2.8.1 (T. Kato [108, Chapter IV Section 2]) Let T and S be two closed densely defined linear operators. Then, (i) δ(T,S) = δ(S∗,T ∗) and δb(T,S) = δb(S∗,T ∗). 78 Linear Operators and Their Essential Pseudospectra
(ii) If S and T are one-to-one, then δ(S,T) = δ(S−1,T −1) and δb(S,T) = δb(S−1,T −1). (iii) Let A ∈ L (X,Y), then δb(A + S,A + T) ≤ 2(1 + kAk2)δb(S,T). (iv) Let T be a Fredholm (resp. semi-Fredholm) operator. If δb(T,S) < −1 γ(T)(1+[γ(T)]2) 2 , then S is a Fredholm (resp. semi-Fredholm) operator, α(S) ≤ α(T) and β(S) ≤ β(T). Furthermore, there exists b > 0 such that δb(T,S) < b, which implies i(S) = i(T). 1 h i− 2 (v) Let T ∈ L (X,Y). If S ∈ C (X,Y) and δb(T,S) ≤ 1 + kTk2 , then S is a bounded operator (so that D(S) is closed). ♦
A complete discussion and properties concerning the gap may be found in T. Kato [108]. For the case of closable linear operators, the authors A. Ammar and A. Jeribi have introduced in [32] the following definition.
Definition 2.8.3 Let S and T be two closable operators. We define the gap between T and S by δ(T,S) = δ(T,S) and δb(T,S) = δb(T,S). ♦
2.8.3 Convergence in the Generalized Sense
Definition 2.8.4 Let (Tn)n be a sequence of closable linear operators from X into Y and let T be a closable linear operator from X into Y. The sequence (Tn)n is said to be converge in the generalized sense to T, written g Tn −→ T, if δb(Tn,T) converges to 0 when n → ∞. ♦
It should be remarked that the notion of generalized convergence intro- duced above for closed and closable operators can be thought as a general- ization of convergence in norm for linear operators that may be unbounded. Moreover, an important passageway between these two notions is devel- oped in the following theorem:
Theorem 2.8.2 (A. Ammar [32, Theorem 2.3]) Let (Tn)n be a sequence of closable linear operators from X into Y and let T be a closable linear operator from X into Y. Then, Fundamentals 79
g (i) The sequence (Tn)n converges in the generalized sense to T, (Tn −→
T), if, and only if, (Tn + S)n converges in the generalized sense to T + S, for all S ∈ L (X,Y). (ii) Let T ∈ L (X,Y). The sequence (Tn)n converges in the generalized sense to T if, and only if, Tn ∈ L (X,Y) for sufficiently larger n and (Tn)n converges to T. −1 (iii) If (Tn)n converges in the generalized sense to T, then T exists −1 −1 −1 and T ∈ L (Y,X), if, and only if, Tn exists and Tn ∈ L (Y,X) for −1 −1 sufficiently larger n and (Tn )n converges to T . ♦
2.9 QUASI-INVERSE OPERATOR
Let A be a closed operator on a Banach space X, with the property that ΦA 6= /0.If f (λ) is a complex valued analytic function of a complex variable, we denote by ∆( f ) the domain of analyticity of f .
0 Definition 2.9.1 By R∞(A) we mean the family of all analytic functions f (λ) with the following properties:
(i) C\ΦA ⊂ ∆( f ), and (ii) ∆( f ) contains a neighborhood of ∞ and f is analytic at ∞. ♦
Definition 2.9.2 A bounded operator B is called a quasi-inverse of the closed operator A if R(B) ⊂ D(A),
AB = I + K1, and
BA = I + K2, where K1,K2 ∈ K (X). ♦
If A is a closed operator such that ΦA is not empty, then by using Propo- sition 2.2.1 (i), ΦA is open. Hence, it is the union of a disjoint collection 80 Linear Operators and Their Essential Pseudospectra of connected open sets. Each of them, Φi(A), will be called a component of ΦA. In each Φi(A), a fixed point λi, is chosen in a prescribed manner.
Since α(λi − A) < ∞, R(λi − A) is closed and β(λi − A) < ∞, then there exist a closed subspace Xi and a subspace Yi, such that dimYi = β(λi − A) satisfying M X = N(λi − A) Xi and M X = Yi R(λi − A).
Now, let P1i be the projection of X onto N(λi − A) along Xi and let P2i be the projection of X onto Yi along R(λi − A). P1i and P2i are bounded finite T rank operators. It is shown in [138] that (λi − A)|D(A) Xi has a bounded inverse Ai, where
\ Ai : R(λi − A) −→ D(A) Xi.
Let Ti be the bounded operator defined by
Tix := Ai(I − P2i)x (2.28) satisfying
Ti(λi − A) = I − P1i on D(A) and
(λi − A)Ti = I − P2i on X.
Hence, Ti is a quasi-inverse of λi − A. Moreover, when λ ∈ Φi(A) and −1 ∈ ρ(Ti), the operator λ−λi
0 −1 Rλ (A) := Ti [(λ − λi)Ti + I]
0 is shown in [71] to be a quasi-inverse of λ − A. In fact, Rλ (A) is defined 0 and analytic for all λ ∈ ΦA except for, at most, an isolated set, Φ (A), having no accumulation point in ΦA. Now, we are ready to declare this result: Fundamentals 81
Lemma 2.9.1 (F. Abdmouleh, S. Charfi, and A. Jeribi [12, Lemma 3.2]) 0 0 Let A ∈ C (X),B ∈ L (X), λ ∈ ΦA\Φ (A) and µ ∈ ΦB\Φ (B). If there exist a positive integer n and a Fredholm perturbation F1, such that
B : D(An) −→ D(A) and
ABx = BAx + F1x, for all x ∈ D(An). Then, there exists a Fredholm perturbation F depending analytically on λ and µ such that 0 0 0 0 Rλ (A)Rµ (B) = Rµ (B)Rλ (A) + F. ♦
Definition 2.9.3 A set D in the complex plane is called a Cauchy domain, if the following conditions are satisfied: (i) D is open, (ii) D has a finite number of components, of which the closures of any two are disjoint, and (iii) the boundary of D is composed of a finite positive number of closed rectifiable Jordan curves, of which any two are unable to intersect.
♦
Theorem 2.9.1 (A. E. Taylor [148, Theorem 3.3]) Let F and ∆ be point sets in the plane. Let F be closed, ∆ be open and F ⊂ ∆. Suppose that the boundary ∂∆ of ∆ is nonempty and bounded. Then, there exists a Cauchy domain D, such that (i) F ⊂ D, (ii) D ⊂ ∆, (iii) the curves forming ∂D are polygons, and (iv) D is unbounded if ∆ is unbounded. ♦ 82 Linear Operators and Their Essential Pseudospectra
0 Definition 2.9.4 Let f ∈ R∞(A). The class of operators F (A) will be defined as follows: B ∈ F (A) if Z 1 0 B = f (∞) + f (λ)Rλ (A)dλ, 2πi +∂D where f (∞) := lim f (λ) λ→∞ and D is an unbounded Cauchy domain such that C\ΦA ⊂ D, D ⊂ ∆( f ), and the boundary of D, ∂D, does not contain any points of Φ0(A). ♦
Theorem 2.9.2 (R. M. Gethner and J. H. Shapiro [71, Theorem 7]) Let
B1,B2 ∈ F (A). Then, , B1 − B2 = K where K ∈ K (X). ♦
0 Definition 2.9.5 Let f ∈ R∞(A). By f (A) we mean an arbitrary operator in the set F (A). ♦
Theorem 2.9.3 (R. M. Gethner and J. H. Shapiro [71, Theorem 9]) Let 0 f (λ) and g(λ) be in R∞(A). Then,
f (A).g(A) = ( f .g)(A) + K, where K ∈ K (X). ♦
Definition 2.9.6 Let A ∈ L (X). By R0(A) we mean the family of all analytic functions, f (λ), such that
C\ΦA ⊂ ∆( f ). ♦
Definition 2.9.7 Let f ∈ R0(A). The class of operators F ∗(A) will be defined as follows: B ∈ F ∗(A) if Z 1 0 B = f (λ)Rλ (A)dλ, 2πi +∂D where D is a bounded Cauchy domain such that C\ΦA ⊂ D, D ⊂ ∆( f ), and ∂D does not contain any points of Φ0(A). ♦ Fundamentals 83
Definition 2.9.8 Let f ∈ R0(A). By f ∗(A) we mean an arbitrary operator in the set F ∗(A). ♦
Theorem 2.9.4 (R. M. Gethner and J. H. Shapiro [71, Theorem 12]) Let ∗ B1,B2 ∈ F (A). Then,
B1 − B2 = K, K ∈ K (X). ♦
Theorem 2.9.5 (R. M. Gethner and J. H. Shapiro [71, Theorem 13]) Let A ∈ L (X), and let f (λ) = 1. Then, f ∗(A) = I + K, K ∈ K (X). ♦
Theorem 2.9.6 (R. M. Gethner and J. H. Shapiro [71, Theorem 14]) Let A ∈ L (X), and let f (λ) = λ. Then, f ∗(A) = A + K, K ∈ K (X). ♦
Lemma 2.9.2 (R. M. Gethner and J. H. Shapiro [71, Lemma 7.4]) Let µi ∈ 0 0 −1 Φ (A) (Φ (A) being the set of all λ ∈ Φi(A) such that ∈ σ(Ti) and i i λ−λi Ti is defined in Eq. (2.28)). Let D be a bounded Cauchy domain with the 0 following D ⊂ Φi(A), µi ∈ D, and no other points of Φ (A) are contained in D. Then, Z 1 0 Rλ (A)dλ = K ∈ K (X). ♦ 2πi +∂D Lemma 2.9.3 (J. Shapiro and M. Snow [144, Lemma 1.1]) Let A ∈ C (X), such that ΦA is not empty, and let n be a positive integer. Then, for each 0 λ ∈ ΦA\Φ (A), there exists a subspace Vλ dense in X and depending on
λ such that, for all x ∈ Vλ , we have 0 n Rλ (A)x ∈ D(A ). ♦
2.10 LIMIT INFERIOR AND SUPERIOR
Let S be the collection of all non-empty compact subsets of C. It is well known that the convergence of a sequence in S with respect to 84 Linear Operators and Their Essential Pseudospectra the Hausdorff metric can be characterized through the concepts of limit inferior and superior. Let {En}n be a sequence of arbitrary subsets of C and, define the limits inferior and superior of {En}n, denoted respectively by liminfEn and limsupEn, as follows: n liminfEn = λ ∈ C, for every ε > 0, there exists N ∈ N such that T o B(λ,ε) En 6= /0for all n ≥ N , and n limsupEn = λ ∈ C, for every ε > 0, there exists J ⊂ N infinite such T o that B(λ,ε) En 6= /0for all n ∈ J . We recall the following properties of limit inferior and superior.
Theorem 2.10.1 Let {En}n be a sequence of non-empty subsets of C. The following properties of limit inferior and superior are known: (i) liminfEn and limsupEn are closed subsets of C. (ii) λ ∈ limsupEn if, and only if, there exists an increasing sequence ∗ of natural numbers n1 < n2 < n3 < ··· and points λnk ∈ Enk , for all k ∈ N , such that
limλnk = λ.
(iii) λ ∈ liminfEn if, and only if, there exists a sequence {λn}n such that λn ∈ En for all n ∈ N, and
limλn = λ.
(iv) Suppose E, En ∈ S for all n ∈ N, and there exists K ∈ S such that En ⊂ K, for all n ∈ N. Then,
En → E in the Hausdorff metric if, and only if,
limsupEn ⊂ E and
E ⊂ liminfEn. ♦ Chapter 3
Spectra
In this chapter, we investigate the essential spectra of the closed, densely defined linear operators on Banach space.
3.1 ESSENTIAL SPECTRA 3.1.1 Definitions
It is well known that if A is a self-adjoint operator on a Hilbert space, then the essential spectrum of A is the set of limit points of the spec- trum of A (with eigenvalues counted according to their multiplicities), i.e., all points of the spectrum except isolated eigenvalues of finite algebraic multiplicity (see, for instance, Refs. [1, 136]). Irrespective of whether A is bounded or not on a Banach space X, there are several definitions of the essential spectrum, most of which constitute an enlargement of the contin- uous spectrum. Let us define the following sets: 86 Linear Operators and Their Essential Pseudospectra
\ σ j(A) := σ(A + K), K∈W ∗(X) n o σe1(A) := λ ∈ C such that λ − A 6∈ Φ+(X) := C\Φ+(X), n o σe2(A) := λ ∈ C such that λ − A 6∈ Φ−(X) := C\Φ−(X), T σe3(A) := σe1(A) σe2(A), n o σel(A) := λ ∈ C such that λ − A ∈/ Φl(X) := C\ΦlA, n o σer(A) := λ ∈ C such that λ − A ∈/ Φr(X) := C\ΦrA, n o σe4(A) := λ ∈ C such that λ − A ∈/ Φ(X) := C\ΦA, \ σe5(A) := σ(A + K), K∈K (X) n o σe6(A) := C\ λ ∈ ρ5(A) such that all scalars near λ are in ρ(A)
:= C\ρ6(A), \ σe7(A) := σap(A + K), K∈K (X) \ σewl(A) := σl(A + K), K∈K (X) \ σewr(A) := σr(A + K), K∈K (X) \ σe8(A) := σδ (A + K), K∈K (X) where W ∗(X) stands for each one of the sets W (X) or S (X),
ρ5(A) = {λ ∈ C such that λ −A is a Fredholm operator and i(λ −A) = 0}, n o σap(A) = λ ∈ C such that inf k(λ − A)xk = 0 , x∈D(A) kxk=1 n o σl(A) := λ ∈ C such that λ − A is not left invertible , n o σr(A) := λ ∈ C such that λ − A is not right invertible , and n o σδ (A) = λ ∈ C such that λ − A is not surjective .
The subset σ j(·) is the Jeribi’s essential spectrum [1]. σe1(·) and
σe2(·) are the Gustafson and Weidman’s essential spectra, respectively Spectra 87
[79]. σe3(·) is the Kato’s essential spectrum [108]. σe4(·) is the Wolf’s essential spectrum [79, 139, 160]. σe5(·) is the Schechter’s essential spec- trum [79, 86–88, 139] and σe6(·) denotes the Browder’s essential spec- trum [79, 96, 139]. σe7(·) was introduced by V. Rakocevi˘ c´ in [131] and designated the essential approximate point spectrum, σe8(·) is the essential defect spectrum and was introduced by V. Schmoeger [143], and σap(·) is the approximate point spectrum. Let us notice that all these sets are closed and, in general, we have
\ σe3(A) := σe1(A) σe2(A) ⊆ σe4(A) ⊆ σe5(A) ⊆ σe6(A),
[ σe5(A) = σe7(A) σe8(A),
σe1(A) ⊂ σe7(A), and
σe2(A) ⊂ σe8(A). It is proved in [1] that
σ j(A) ⊂ σe5(A). However, if X is a Hilbert space and A is self-adjoint, then all these sets coincide.
Remark 3.1.1 (i) If λ ∈ σc(A) (the continuous spectrum of A), then R(λ −A) is not closed (otherwise λ ∈ ρ(A) see [137, Lemma 5.1 p. 179]).
Therefore, λ ∈ σei(A), i = 1,··· ,6. Consequently, we have
6 \ σc(A) ⊂ σei(A). i=1 If the spectrum of A is purely continuous, then
σ(A) = σc(A) = σei(A) i = 1,··· ,6.
(ii) σe5(A + K) = σe5(A) for all K ∈ K (X). 88 Linear Operators and Their Essential Pseudospectra
(iii) Let E0 be a core of A, i.e., a linear subspace of D(A) such that the closure A|E0 of its restriction A|E0 equals A. Then, σap(A) := λ ∈ C such that inf k(λ − A)xk = 0 . kxk=1, x∈E0
(iv) Set αe(A) := inf{kAxk such that x ∈ D(A) and kxk = 1}. Whenever E0 is a core of A, then
αe(A) := inf{kAxk such that x ∈ E0 and kxk = 1} holds. Using this quantity, we obtain
σap(A) = {λ ∈ C such that αe(λ − A) = 0}. ♦
Lemma 3.1.1 Let A ∈ C (X) such that 0 ∈ ρ(A). Then, λ ∈ σei(A) if, and 1 −1 only if, λ ∈ σei(A ) i = 7, 8. ♦
3.1.2 Characterization of Essential Spectra
The following proposition gives a characterization of the Schechter essential spectrum by means of Fredholm operators.
Proposition 3.1.1 (M. Schechter [137, Theorem 5.4, p. 180]) Let X be a 0 Banach space and let A ∈ C (X). Then, λ 6∈ σe5(A) if, and only if, λ ∈ ΦA, 0 where ΦA = {λ ∈ ΦA such that i(λ − A) = 0}. ♦
∗ For n ∈ N , let
n In(X) = {K ∈ L (X) satisfying f ((KB) ) < 1 for all B ∈ L (X)}, where f (·) is a measure of non-strict-singularity given in (2.22).
Theorem 3.1.1 (N. Moalla [122]) Let A ∈ Φ(X), then for all K ∈ In(X), we have (i) K + A ∈ Φ(X) and i(K + A) = i(A),
(ii) σe5(A + K) = σe5(A). ♦ Spectra 89
Theorem 3.1.2 (N. Moalla [122]) Let A,B ∈ C (X) such that ρ(A)Tρ(B) 6= /0. If, for some λ ∈ ρ(A)Tρ(B), the operator (λ − A)−1 − (λ − B)−1 ∈
In(X), then
σe5(A) = σe5(B). ♦
We recall some properties of σe7(·) (resp. σe8(·)) due to V. Rakocevi˘ c´ (resp. C. Schmoeger), given in [143].
Proposition 3.1.2 (C. Schmoeger [143]) Let A ∈ L (X), then
(i) σe7(A) 6= /0,
(ii) σe8(A) 6= /0, and
(iii) σe7(A) and σe8(A) are compact. ♦
The following proposition gives a characterization of the essential approximate point spectrum and the essential defect spectrum by means of upper semi-Fredholm and lower semi-Fredholm operators, respectively.
Proposition 3.1.3 (A. Jeribi and N. Moalla [98, Proposition 3.1]) Let A ∈ C (X). Then,
(i) λ 6∈ σe7(A) if, and only if, λ − A ∈ Φ+(X) and i(λ − A) ≤ 0,
(ii) λ 6∈ σe8(A) if, and only if, λ − A ∈ Φ−(X) and i(λ − A) ≥ 0, and ∗ (iii) if A is a bounded linear operator, then σe8(A) = σe7(A ), where A∗ stands for the adjoint operator of A. This is equivalent that
[n o σe7(A) = σe1(A) λ ∈ C such that i(A − λ) > 0 , and [n o σe8(A) = σe4(A) λ ∈ C such that i(A − λ) < 0 .
If, in addition, ΦA is connected and ρ(A) 6= /0, then
σe1(A) = σe7(A), and
σe4(A) = σe8(A). ♦ 90 Linear Operators and Their Essential Pseudospectra
Theorem 3.1.3 (M. A. Kaashoek and D. C. Lay [105]) Let A be a closed linear operator on a Banach space X. Then, σe6(A) is the largest subset of the spectrum of A which remains invariant under perturbations of A by Riesz operators which commute with A. ♦
Theorem 3.1.4 (F. Abdmouleh and A. Jeribi [14]) Let A and B be two bounded linear operators on a Banach space X. Then, (i) If AB ∈ F b(X), then
h [ i σei(A + B)\{0} ⊂ σei(A) σei(B) \{0}, i = 4, 5.
Furthermore, if BA ∈ F b(X), then
h [ i σe4(A + B)\{0} = σe4(A) σe4(B) \{0}.
Moreover, if C\σe4(A) is connected, then h [ i σe5(A + B)\{0} = σe5(A) σe5(B) \{0}.
(ii) If the hypotheses of (i) are satisfied, and if C\σe5(A + B), C\σe5(A) and C\σe5(B) are connected, then S σe6(A + B)\{0} = [σe6(A) σe6(B)]\{0}. ♦
Theorem 3.1.5 Let A,B ∈ C (X) and let λ ∈ ρ(A)Tρ(B). If (λ − A)−1 − (λ − B)−1 ∈ F b(X), then
σei(A) = σei(B), i = 4,5. ♦
Theorem 3.1.6 [14,96] Let A ∈ C (X) such that ρ(A) is not empty. Then,
(i) If C\σe4(A) is connected, then
σe4(A) = σe5(A).
(ii) If C\σe5(A) is connected, then
σe5(A) = σe6(A). ♦ Spectra 91
3.2 THE LEFT AND RIGHT JERIBI ESSENTIAL SPECTRA
In this section, we will give fine description of the definition of the left and right Jeribi essential spectra of a closed densely defined linear operators. For this, let X be a Banach space and let A ∈ C (X), we denote the left Jeribi essential spectrum by
l \ σ j(A) = σl(A + K) K∈W ∗(X) and, the right Jeribi essential spectrum by
r \ σ j (A) = σr(A + K). K∈W ∗(X) For A ∈ C (X), we observe that K (X) ⊂ W ∗(X). Then,
l σ j(A) ⊆ σewl(A) and r σ j (A) ⊆ σewr(A). One of the central questions in the study of the left and right essential spectra of closed densely defined linear operators on Banach space X consists of showing what are the conditions that we must impose on space X such that for A ∈ C (X),
l σewl(A) = σ j(A) and r σewr(A) = σ j (A). If X is a reflexive Banach space, then L (X) = W (X). So, the left or right Jeribi essential spectrum is the smallest essential spectrum in the sense of inclusion of the other essential spectra.
The set of Browder essential spectrum [1, 70] of A is characterized by n o σe6(A) := C\ λ ∈ C such that λ − A ∈ B(X) . 92 Linear Operators and Their Essential Pseudospectra
3.3 S-RESOLVENT SET, S-SPECTRA, AND S-ESSENTIAL SPECTRA 3.3.1 The S-Resolvent Set
Let X and Y be two Banach space. Let S ∈ L (X,Y), for A ∈ C (X,Y) such that A 6= S and S 6= 0, we define the S-resolvent set of A by n o ρS(A) = λ ∈ C such that λS − A has a bounded inverse .
We denote by −1 RS(λ,A) := (λS − A) and call it the S-resolvent operator of A. The name “S-resolvent” is appro- priate, since RS(λ,A) helps to solve the equation
(λS − A)x = y.
Thus, −1 x = (λS − A) y = RS(λ,A)y provided RS(λ,A) exists.
If ρS(A) is not empty, then A is closed. Indeed, let (xn)n ∈ D(A) such that xn → x and Axn → y. Since ρS(A) 6= /0, then there exist λ0 ∈ ρS(A) such −1 that (A − λ0S) ∈ L (X). Since S ∈ L (X), then
(A − λ0S)xn → y − λ0Sx.
Thus, −1 xn → (A − λ0S) (y − λ0Sx) = x, we deduce that Ax = y and x ∈ D(A).
Lemma 3.3.1 For all λ, µ ∈ ρS(A), we have
RS(λ,A) − RS(µ,A) = (µ − λ)RS(λ,A)SRS(µ,A). ♦ Spectra 93
Proof. Let λ, µ ∈ ρS(A), we have −1 −1 RS(λ,A) − RS(µ,A) = (λS − A) (µS − A) − (λS − A) (µS − A) ,
= (µ − λ)RS(λ,A)SRS(µ,A), which completes the proof of lemma. Q.E.D.
Proposition 3.3.1 Let A ∈ C (X,Y),S ∈ L (X,Y) such that S 6= 0 and S 6= A, we have
(i) the S-resolvent set ρS(A) is open, and (ii) the function
ϕ : λ −→ RS(λ,A) is holomorphic at any point of ρS(A). ♦
Proof. (i) If ρS(A) = /0,then ρS(A) is open. If ρS(A) 6= /0,then λ0 ∈ ρS(A). It sufficient to find ε > 0 such that
B(λ0,ε) ⊂ ρS(A), where B(λ0,ε) designates the open ball centered at λ0 with radius ε. We can write for any λ ∈ C
λS − A = λ0S − A + (λ − λ0)S,
= (λ0S − A)[I + (λ − λ0)RS(λ0,A)S].
If k(λ − λ0)RS(λ0,A)Sk < 1, then
I + (λ − λ0)RS(λ0,A)S is invertible. This is equivalent to say that if 1 |λ − λ0| < , kRS(λ0,A)Sk
1 then λ ∈ ρS(A). Consequently, it suffices to take ε = . kRS(λ0,A)Sk 94 Linear Operators and Their Essential Pseudospectra
(ii) Let λ, µ ∈ ρS(A), we have
ϕ(µ) − ϕ(λ) R (µ,A) − R (λ,A) = S S , µ − λ µ − λ R (µ,A)(λ − µ)SR (λ,A) = S S , µ − λ = − RS(µ,A)SRS(λ,A).
Hence,
ϕ(µ) − ϕ(λ) lim = −RS(λ,A)SRS(λ,A) ∈ L (Y,X), µ−→λ µ − λ which completes the proof of proposition. Q.E.D.
Remark 3.3.1 If A ∈ L (X) and S is an invertible bounded operator, then
−1 \ −1 ρS(A) = ρ(S A) ρ(AS ).
Because λS − A = S(λ − S−1A), and λS − A = (λ − AS−1)S,
−1 T −1 it follows that λ ∈ ρS(A) if, and only if, λ ∈ ρ(S A) ρ(AS ). ♦
Theorem 3.3.1 Let A ∈ C (X,Y),S ∈ L (X,Y) and λ ∈ C. If λS − A is one-to-one and onto, then (λS − A)−1 is a bounded linear operator. ♦
− Proof. Let λ ∈ C, we shall first prove that (λS − A) 1 is a closed linear operator. For this, we take the sequence (yn)n ⊂ Y such that ( yn → y in Y, −1 (λS − A) yn → x in X.
−1 In the following, we set xn = (λS − A) yn, then xn ∈ D(A) and
yn = (λS − A)xn ∈ Y. Spectra 95
Since (λS−A)xn → y, xn → x and λS−A is a closed linear operator which implies that x ∈ D(A) and
y = (λS − A)x.
So, y ∈ Y and x = (λS − A)−1y. This proves that (λS−A)−1 is a closed operator. Furthermore, (λS−A)−1 is a closed operator defined on all Y. Using the closed graph theorem (see Theorem 2.1.1), we obtain that
(λS − A)−1 is a bounded linear operator. Q.E.D.
Proposition 3.3.2 Let A and S ∈ L (X) such that S 6= A and S 6= 0. Then,
(i) If S is an operator which commutes with A, then for any λ ∈ ρS(A), we have ARS(λ,A) = RS(λ,A)A,
RS(λ,A)S = SRS(λ,A).
(ii) If S commutes with A, then for every λ, µ ∈ ρS(A), we have
RS(λ,A)RS(µ,A) = RS(µ,A)RS(λ,A). ♦
Proof. (i) Since, by hypothesis, S commutes with A, then the last two operators commute with the operator λS−A. In addition, since λ ∈ ρS(A), we obtain that S and A commute with RS(λ,A).
(ii) Let λ, µ ∈ ρS(A), we have h i−1 RS(λ,A)RS(µ,A) = (µS − A)(λS − A) , h i−1 = λS(µS − A) − A(µS − A) , h i−1 = (λS − A)(µS − A) ,
= RS(µ,A)RS(λ,A), which completes the proof of proposition. Q.E.D. 96 Linear Operators and Their Essential Pseudospectra
Theorem 3.3.2 Let A and S ∈ L (X) such that S 6= A and S 6= 0. If
S commutes with A, then for any λ and λ0 ∈ ρS(A) with |λ − λ0| < 1 , we have kRS(λ0,A)Sk n n n+1 RS(λ,A) = ∑ (λ0 − λ) S RS(λ0,A) . ♦ n≥0
1 Proof. Let λ, λ0 ∈ ρS(A) such that |λ − λ0| < . Then, kRS(λ0,A)Sk
−1 RS(λ,A) = (λ0S − A − λ0S + λS) , h i−1 = λ0S − A I − (λ0 − λ)RS(λ0,A)S , h i−1 = I − (λ0 − λ)RS(λ0,A)S RS(λ0,A), n n = ∑ (λ0 − λ) (RS(λ0,A)S) RS(λ0,A). n≥0
According to the Proposition 3.3.2 (i),
RS(λ0,A)S = SRS(λ0,A). (3.1)
So, Eq. (3.1) implies that
n n n (RS(λ0,A)S) = S RS(λ0,A) .
Consequently,
n n n+1 RS(λ,A) = ∑ (λ0 − λ) S RS(λ0,A) , n≥0 which completes the proof of theorem. Q.E.D.
Theorem 3.3.3 Let A and S ∈ L (X) such that S 6= A and S 6= 0. If S commutes with A, then dn R (λ,A) = (−1)n n! SnR (λ,A)n+1 ∀ λ ∈ ρ (A). ♦ dλ n S S S Spectra 97
Proof. We argue by recurrence. We know that the function
ϕ : λ −→ RS(λ,A) is holomorphic at any point λ of ρS(A). Then, in view of Proposition 3.3.2 (i), we have
d RS(µ,A) − RS(λ,A) RS(λ,A) = lim , dλ µ→λ µ − λ = lim −RS(µ,A)SRS(λ,A), µ→λ 2 = −SRS(λ,A) .
For n = 1, the equality is true. We assume that is true until the order n and we prove that it remains true to the order n + 1. We will show that for any λ ∈ ρS(A),
n+1 d n+1 n+1 n+2 RS(λ,A) = (−1) (n + 1)! S RS(λ,A) . dλ n+1 In fact,
dn+1 d dn RS(λ,A) = RS(λ,A) , dλ n+1 dλ dλ n n dn d R (µ,A) − R (λ,A) dµn S n S = lim dλ , µ→λ µ − λ R (µ,A)n+1 − R (λ,A)n+1 = lim (−1)n n! Sn S S . µ→λ µ − λ
According to the Proposition 3.3.2 (ii), we have
RS(λ,A)RS(µ,A) = RS(µ,A)RS(λ,A) ∀ λ, µ ∈ ρS(A).
So, we can write
n+1 n+1 n RS(µ,A) − RS(λ,A) = RS(µ,A) − RS(λ,A) RS(µ,A) n−1 n−2 2 n +RS(µ,A) RS(λ,A) + RS(µ,A) RS(λ,A) + ··· + RS(λ,A) . This implies that 98 Linear Operators and Their Essential Pseudospectra
dn+1 RS(λ,A) dλ n+1 n n RS(µ,A) − RS(λ,A) RS(µ,A) + ··· + RS(λ,A) = lim (−1)n n! Sn , µ→λ µ − λ n n 2 n = (−1) n! S − SRS(λ,A) (n + 1) RS(λ,A) , n+1 n+1 n+2 = (−1) (n + 1)! S RS(λ,A) , which completes the proof of theorem. Q.E.D.
3.3.2 S-Spectra
Let A ∈ C (X) and S ∈ L (X) such that S 6= A and S 6= 0. We define the S-spectrum of A by σS(A) := C\ρS(A).
We see the following examples, where σS(A) can be discrete or the whole complex plane: ! ! 2 2 1 0 (i) Let A = and S = , then σS(A) = {2}. 0 3 0 0 ! ! 1 2 1 0 (ii) Let A = and S = , then σS(A) = C. 0 0 0 0 ! ! 1 2 0 0 (iii) Let A = and S = , then σS(A) = /0. 0 3 0 1 The S-left spectrum of A is defined by n o σl,S(A) = λ ∈ C such that λS − A ∈/ Gl(X) and the S-right spectrum of A is defined by n o σr,S(A) = λ ∈ C such that λS − A ∈/ Gr(X) .
It is clear that [ σS(A) = σl,S(A) σr,S(A). Spectra 99
Corollary 3.3.1 Let A be a linear operator and S be a non null bounded linear operator from X into Y. If A is a non closed operator, then
σS(A) = C. ♦
Proof. Let A be a linear operator which is not closed. We argue by contra- diction. Suppose that ρS(A) is not empty, then there exists λ ∈ C such that −1 λ ∈ ρS(A) and consequently, (λS − A) is a bounded operator. Hence, λS − A is a closed operator. In addition, we can write
A = A − λS + λS.
We conclude that A is a closed operator, which is a contradiction. Q.E.D.
Definition 3.3.1 Let A ∈ C (X) and S ∈ L (X) such that S 6= A and S 6= 0. We define the following sets: (i) The S-point spectrum of A and it is denoted by n o σp,S(A) = λ ∈ C such that λS − A is not one-to-one .
(ii) The S-continuous spectrum of A and it is defined by n σc,S(A) = λ ∈ C : λS − A is one-to-one, (λS − A)(D(A)) = X, o and (λS − A)−1 is unbounded . (iii) The S-residual spectrum of A and it is denoted by n o σR,S(A) = λ ∈ C : λS − A is one-to-one, (λS − A)(D(A)) 6= X .
(iv) The S-approximate point spectrum and it is denoted by
σap,S(A) = λ ∈ : ∃ xn ∈ D(A), kxnk = 1 and lim k(λS − A)xnk = 0 . ♦ C n→+∞
Remark 3.3.2 Let A ∈ C (X) and S ∈ L (X) such that S 6= A and S 6= 0, then the S-spectrum, σS(A), is partitioned into three disjoint sets as follows S S σS(A) = σp,S(A) σc,S(A) σR,S(A). ♦ 100 Linear Operators and Their Essential Pseudospectra
3.3.3 S-Browder’s Resolvent
Definition 3.3.2 Let A ∈ C (X) and λ0 be an isolated point of σS(A). For an admissible contour Γλ0 , I S −1 Pλ0,S = − (A − λS) dλ, 2πi Γ λ0 is called the S-Riesz integral for A, S and λ0 with range and kernel denote by Rλ,S and Kλ,S, respectively. ♦
The S-discrete spectrum of A, denoted σdS (A), is just the set of isolated points λ ∈ C of the spectrum such that the corresponding S-Riesz projec- tors Pλ,S are finite-dimensional. Another part of the spectrum, which is generally larger than σe6,S(A), is σS(A)\σdS (A). We will also use this terminology here and the notation
σe6,S(A) = σS(A)\σdS (A) and
ρ6,S(A) = C\σe6,S(A). The largest open set on which the resolvent is finitely meromorphic is precisely [ ρ6,S(A) = σdS (A) ρS(A).
For λ ∈ ρ6,S(A), let Pλ,S(A) (or Pλ,S) denotes the corresponding (finite rank) S-Riesz projector with a range and a kernel denoted by Rλ,S and
Kλ,S, respectively. Since Pλ,S is invariant, we may define the operator
Aλ,S = (A − λS)(I − Pλ,S) + Pλ,S, (3.2) with respect to the decomposition
M X = Kλ,S Rλ,S and M A = ((A − λS) ) I. λ,S |Kλ,S Spectra 101
We have just cut off the finite-dimensional part of A − λS in the S-Riesz decomposition. Since
σ (A − λS) = σ(A − λS)\{0}, |Kλ,S
Aλ,S has a bounded inverse, denoted by Rb,S(A,λ) and called the “S- Browder’s resolvent”, i.e.,
M R (A,λ) = ((A − λ) )−1 I b,S |Kλ,S with respect to M X = Kλ,S Rλ,S. Or, alternatively
R (A,λ) = (A − λS) )−1(I − P ) + P b,S |Kλ,S λ,S λ,S for λ ∈ ρ6,S(A). This clearly extends the usual resolvent RS(A,λ) from
ρS(A) to ρ6,S(A) and retains many of its important properties.
Proposition 3.3.3 Let A ∈ C (X) and S ∈ L (X) such that S 6= A and S 6= 0.
Then, for any µ, λ ∈ ρ6,S(A), we have
Rb,S(A,λ) − Rb,S(A, µ) = (λ − µ)Rb,S(A,λ)SRb,S(A, µ) + M (λ, µ), (3.3) where M (λ, µ) is a finite rank operator with the following expression M (λ, µ) = Rb,S(A,λ) (A−(λS+I))Pλ,S −(A−(µS+I))Pµ,S Rb,S(A, µ) (3.4) is a finite rank operator with rank(M (λ, µ)) = rank(Pλ,S)+rank(Pµ,S) in case λ 6= µ. ♦ 102 Linear Operators and Their Essential Pseudospectra
Proof. We have
Rb,S(A,λ) − Rb,S(A, µ) = Rb,S(A,λ)[Aµ,S − Aλ,S]Rb,S(A, µ), where
Aµ,S := (A − µS)(I − Pµ,S) + Pµ,S. So,
Aµ,S − Aλ,S = [(A − µS)(I − Pµ,S) + Pµ,S] − [(A − λS)(I − Pλ,S) + Pλ,S]
= [(A − (λS + I))Pλ,S − (A − (µS + I))Pµ,S] + (λ − µ)S.
Therefore,
Rb,S(A,λ) − Rb,S(A, µ) = (λ − µ)Rb,S(A,λ)SRb,S(A, µ) + M (λ, µ).
Q.E.D.
Proposition 3.3.4 Let X and Y be two complex Banach spaces. Let A ∈ C (X),S ∈ L (X),B ∈ L (Y,X), and C : X −→ Y be two linear operators. Then,
(i) Rb,S(A, µ)B is continuous for some µ ∈ ρ6,S(A) if, and only if, it is continuous for all µ ∈ ρ6,S(A). −1 (ii) C(A − µS) is bounded for some λ ∈ ρS(A) if, and only if,
CRb,S(A, µ) is bounded for some (hence for every) µ ∈ ρ6,S(A). (iii) If B and C satisfy the conditions (i) and (ii), respectively, and B is densely defined, then CM (λ, µ), M (λ, µ)B, and CM (λ, µ)B are operators of finite rank for any µ, λ ∈ ρ6,S(A). ♦
Proof. From the resolvent identity, we have for any µ, λ ∈ ρS(A),
(A − λS)−1C = (A − µS)−1C + (λ − µ)(A − λS)−1S(A − µS)−1C, (3.5) and for any µ, λ ∈ ρ6,S(A),
Rb,S(A,λ)B = Rb,S(A, µ)B+(λ − µ)Rb,S(A,λ)SRb,S(A, µ)B+M (λ, µ)B, (3.6) Spectra 103 and
CRb,S(A,λ) = CRb,S(A, µ)+(λ −µ)CRb,S(A,λ)SRb,S(A, µ)+CM (λ, µ). (3.7) (i) Since S is bounded, then
Rb,S(A,λ)SRb,S(A, µ)B is bounded. According to Proposition 3.3.3 that the operator
(A − (λS + I))Pλ,S − (A − (µS + I))Pµ,S is bounded. Thus, M (λ, µ)B has finite dimensional range, and in view of Eq. (3.6), we have
Rb,S(A,λ)B − Rb,S(A, µ)B is bounded. Hence, Rb,S(A, µ)B is continuous for some µ ∈ ρ6,S(A) if, and only if, it is continuous for all µ ∈ ρ6,S(A).
(ii) If CRb,S(A,λ) is bounded for some λ ∈ ρ6,S(A), then clearly CRb,S(A, µ) is also bounded for any µ and, it follows from the Eq. (3.7) that
CRb,S(A, µ) is bounded for any µ. By using Eq. (3.5) we have C(A− µS)−1 is bounded for every µ ∈ ρS(A). (iii) According to Proposition 3.3.3 that the operator M (λ, µ) is a finite rank operator. So, CM (λ, µ) and M (λ, µ)B are a finite rank oper- ator. Hence, it is clear that M (λ, µ)B is of finite rank if B is densely defined. Since CM (λ, µ)B = CRb,S(A,λ) (A − (λS + I))Pλ,S− (A − (µS + I))Pµ,S Rb,S(A, µ)B
= CRb,S(A,λ)[(A − λS)(I − Pλ,S) + Pλ,S]Rb,S(A, µ)B 104 Linear Operators and Their Essential Pseudospectra and if B and C satisfy the conditions (i) and (ii), respectively, then
CM (λ, µ)B will again be continuous and densely defined with finite-dimensional range. Q.E.D.
3.3.4 S-Essential Spectra
Let A ∈ C (X) and S ∈ L (X) such that S 6= 0 and S 6= A. We are concerned with the following S-essential spectra (see [1, 10, 101]) defined by the following sets
σe1,S(A) := {λ ∈ C such that λS − A ∈/ Φ+(X)} := C\Φ+A,S, σe2,S(A) := {λ ∈ C such that λS − A ∈/ Φ−(X)} := C\Φ−A,S, σe3,S(A) := {λ ∈ C such that λS − A ∈/ Φ±(X)}, σe4,S(A) := {λ ∈ C such that λS − A ∈/ Φ(X)}, \ σe5,S(A) := σS(A + K), K∈K (X) σe6,S(A) := {λ ∈ C such that λS − A ∈/ B(X)}, σel,S(A) := {λ ∈ C such that λS − A ∈/ Φl(X)}, σer,S(A) := {λ ∈ C such that λS − A ∈/ Φr(X)}, σewl,S(A) := {λ ∈ C such that λS − A ∈/ Wl(X)}, σewr,S(A) := {λ ∈ C such that λS − A ∈/ Wr(X)}, l σbl,S(A) := {λ ∈ C such that λS − A ∈/ B (X)}, r σbr,S(A) := {λ ∈ C such that λS − A ∈/ B (X)}, n σeap,S(A) := λ ∈ C such that λS − A 6∈ Φ+(X) and o i(λS − A) ≤ 0 := C\ρeap,S(A), n σeδ,S(A) := λ ∈ C such that λS − A 6∈ Φ−(X) and o i(λS − A) ≥ 0 := C\ρeδ,S(A).
They can be ordered as
\ σe3,S(A) = σe1,S(A) σe2,S(A) ⊆ σe4,S(A) ⊆ σe5,S(A) ⊆ σe6,S(A), Spectra 105
σel,S(A) ⊆ σewl,S(A) ⊆ σbl,S(A), and
σer,S(A) ⊆ σewr,S(A) ⊆ σbr,S(A). In [29], the authors proved that
[ σe4,S(A) = σel,S(A) σer,S(A),
σe1,S(A) ⊂ σel,S(A), and
σe2,S(A) ⊂ σer,S(A).
Remark 3.3.3 (i) If S = I, we recover the usual definition of the essential spectra of a closed densely defined linear operator A. (ii) If A ∈ L (X) and S is invertible, then −1 S −1 σei,S(A) = σei(S A) σei(AS ), i ∈ 1,2,3,4,5,6,ap,δ . ♦
Theorem 3.3.4 (F. Abdmouleh, A. Ammar and A. Jeribi [10]) Let S and A be two bounded linear operators on a Banach space X. Then, S σe5,S(A) = σe4,S(A) λ ∈ C such that i(A − λS) 6= 0 . ♦
S Proof. Let λ 6∈ σe4,S(A) {λ ∈ C such that i(A − λS) 6= 0}. Then,
A − λS ∈ Φb(X) and i(A − λS) = 0.
By applying Theorem 2.2.11, there exists K ∈ K (X) such that A−λS+K is invertible. Hence,
λ ∈ ρS(A + K). This shows that \ λ 6∈ σS(A + K). K∈K (X) 106 Linear Operators and Their Essential Pseudospectra
Then, we have
[ σe5,S(A) ⊂ σe4,S(A) {λ ∈ C such that i(A − λS) 6= 0 . (3.8)
To prove the inverse inclusion of Eq. (3.8). Suppose λ 6∈ σe5,S(A), then there exists K ∈ K (X) such that λ ∈ ρS(A + K). Hence, A − λS + K ∈ Φb(X) and i(A − λS + K) = 0.
Now, the operator A − λS can be written in the form
A − λS = A + K − λS − K.
Since K ∈ K (X), using Lemma 2.3.1, we get A − λS ∈ Φb(X) and
i(A − λS) = i(A + K − λS) = 0.
We conclude that
[ λ 6∈ σe4,S(A) {λ ∈ C such that i(A − λS) 6= 0}.
Hence,
[ σe4,S(A) λ ∈ C such that i(A − λS) 6= 0 ⊂ σe5,S(A).
Therefore,
[ σe5,S(A) = σe4,S(A) λ ∈ C such that i(A − λS) 6= 0 .
This completes the proof. Q.E.D.
Proposition 3.3.5 Let A and S ∈ L (X) such that S 6= A. If C\σe4,S(A) is connected and ρS(A) is not empty, then
σe5,S(A) = σe4,S(A). ♦ Spectra 107
Proof. (i) By using Theorem 3.3.4, we have
[ σe5,S(A) = σe4,S(A) {λ ∈ C such that i(A − λS) 6= 0}.
Hence,
σe4,S(A) ⊂ σe5,S(A).
Conversely, let λ ∈ σe5,S(A). It suffices to show that
{λ ∈ C such that i(A − λS) 6= 0} ⊂ σe4,S(A) which is equivalent to
\ [C\σe4,S(A)] {λ ∈ C such that i(A − λS) 6= 0} = /0.
Suppose that
\ [C\σe4,S(A)] {λ ∈ C such that i(A − λS) 6= 0} 6= /0 and let
\ λ0 ∈ [C\σe4,S(A)] {λ ∈ C such that i(A − λS) 6= 0}.
Since ρS(A) 6= /0,then there exists λ1 ∈ C such that λ1 ∈ ρS(A) and conse- b quently, λ1S − A ∈ Φ (X) and
i(λ1S − A) = 0.
On the other side, C\σe4,S(A) is connected, it follows from Proposition 2.2.1 (ii) that i(λS − A) is constant on any component of ΦA,S. Therefore,
i(λ1S − A) = i(λ0S − A) = 0, which is a contradiction. Then,
\ [C\σe4,S(A)] {λ ∈ C such that i(A − λS) 6= 0} = /0.
Hence,
σe5,S(A) ⊂ σe4,S(A). Q.E.D. 108 Linear Operators and Their Essential Pseudospectra
Lemma 3.3.2 (A. Jeribi, N. Moalla, and S. Yengui [101, Lemma 2.1]) Let
A ∈ C (X) and S ∈ L (X), such that ρS(A) is not empty.
(i) If C\σe4,S(A) is connected, then
σe4,S(A) = σe5,S(A).
(ii) If C\σe5,S(A) is connected, then
σe5,S(A) = σe6,S(A). ♦
3.4 INVARIANCE OF THE S-ESSENTIAL SPECTRUM
The following result gives a characterization of the S-essential spec- trum by means of a Fredholm operators.
Proposition 3.4.1 Let S ∈ L (X) and A ∈ C (X). Then,
λ 6∈ σe5,S(A) if, and only if, A − λS ∈ Φ(X) and i(A − λS) = 0. ♦
Proof. Let λ 6∈ σe5,S(A). Then, there exists a compact operator K on X such that λ ∈ ρS(A + K). So, A + K − λS ∈ Φ(X) and i(A + K − λS) = 0. Now, the operator A − λS can be written in the form
A − λS = A + K − λS − K.
By Theorem 2.2.14, we have
A − λS ∈ Φ(X) and i(A − λS) = 0. Conversely, we suppose that A − λS ∈ Φ(X) and i(A − λS) = 0. Let n = α(A−λS) = β(A−λS), x1,··· ,xn being the basis for the N((A−λS)) Spectra 109
0 0 ⊥ and y1,··· ,yn being the basis for annihilator R(A − λS) . By Lemma 0 0 ∗ 2.1.1, there are functionals x1,··· ,xn in X (the adjoint space of X) and elements y1,··· ,yn such that
0 0 x j(xk) = δ jk and y j(yk) = δ jk, 1 ≤ j, k ≤ n, where δ jk = 0 if j 6= k and δ jk = 1 if j = k. Consider the operator K defined by n 0 K : X 3 x −→ Kx := ∑ xi(x)yi ∈ X. i=1 Clearly, K is a linear operator defined everywhere on X. It is bounded, since n 0 kKxk ≤ ∑ kxkkkykk kxk. k=1 Moreover, the range of K is contained in a finite dimensional subspace of X. Then, K is a finite rank operator in X (see Lemma 2.1.4). By Lemma 2.1.5, K is a compact operator in X. We may prove that \ \ N(A − λS) N(K) = {0} and R(A − λS) R(K) = {0}. (3.9)
Indeed, let x ∈ N(A − λS), then
n x = ∑ αkxk. k=1 Therefore, 0 x j(x) = α j, 1 ≤ j ≤ n. On the one hand, if x ∈ N(K), then
0 x j(x) = 0, 1 ≤ j ≤ n.
This proves the first relation in Eq. (3.9). The second inclusion is similar. In fact, if y ∈ R(K), then n y = ∑ αkyk, k=1 and hence, 0 y j(y) = α j, 1 ≤ j ≤ n. 110 Linear Operators and Their Essential Pseudospectra
But, if y ∈ R(A − λS), then
0 y j(y) = 0, 1 ≤ j ≤ n.
This gives the second relation in Eq. (3.9). On the other hand, K is a compact operator, hence we deduce, from Theorem 2.2.14, that λS − A − K ∈ Φ(X) and i(A − λS − K) = 0.
If x ∈ N(A−λS−K), then (A−λS)x is in R(A−λS)TR(K). This implies that x ∈ N(A − λS)TN(K) and so, x = 0. Thus,
α(A + K − λS) = 0.
In the same way, one proves that
R(A + K − λS) = X.
Using Theorem 2.1.2, we get λ ∈ ρS(A + K). Also,
\ λ 6∈ σS(A + K). K∈ K (X)
So, λ 6∈ σe5,S(A). Q.E.D.
Corollary 3.4.1 Let A ∈ C (X) and S ∈ L (X). If ΦA,S is connected and ρS(A) is not empty, then σe5,S(A) = λ ∈ C such that A − λS 6∈ Φ(X) = C\ΦA,S. ♦
T Theorem 3.4.1 Let S ∈ L (X) and λ ∈ ρS(A) ρS(A + B). If
kxnk + kAxnk + kBxnk ≤ c,
−1 for all xn ∈ D(A) implies that (A − λS) Bxn has a convergent subse- quence, then
σe5,S(A + B) = σe5,S(A). (3.10) ♦ Spectra 111
Proof. We employ the identities
(A+B−µS)−(A−µS)(A−λS)−1(A+B−λS) = (µ −λ)S(A−λS)−1B. (3.11)
Since, ρS(A) and ρS(A + B) are not empty, then A and A + B are closed. Hence, A + B is A-bounded. This shows that the hypotheses imply that −1 (A − λS) B is A-compact and (A + B)-compact. Let µ 6∈ σe5,S(A + B), then from Proposition 3.4.1, we get
A + B − µS ∈ Φ(X) and i(A + B − µS) = 0.
By Eq. (3.11), we have
(A − µS)(A − λS)−1(A + B − λS) ∈ Φ(X) and i (A − µS)(A − λS)−1(A + B − λS) = 0.
Since λ ∈ ρS(A + B), then
A + B − λS ∈ Φ(X) and i(A + B − λS) = 0.
Using Theorem 2.2.21, we get
(A − µS)(A − λS)−1 ∈ Φ(X) and i (A − µS)(A − λS)−1 = 0.
From this and the identity
A − µS = (A − µS)(A − λS)−1(A − λS), 112 Linear Operators and Their Essential Pseudospectra we obtain A − µS ∈ Φ(X) and i(A − µS) = 0.
Thus, in view of Proposition 3.4.1, µ 6∈ σe5,S(A) and, we conclude that
σe5,S(A) ⊂ σe5,S(A + B).
Conversely, if µ 6∈ σe5,S(A), then
A − µS ∈ Φ(X) and i(A − µS) = 0.
Since λ ∈ ρS(A + B), then by Proposition 3.4.1, we have
A + B − λS ∈ Φ(X) and i(A + B − λS) = 0.
Thus, (A − µS)(A − λS)−1(A + B − λS) ∈ Φ(X) and i (A − µS)(A − λS)−1(A + B − λS) = 0.
By Eq. (3.11), we have
A + B − µS ∈ Φ(X) and i(A + B − µS) = 0.
Then, in view of Proposition 3.4.1, µ 6∈ σe5,S(A + B), and we obtain
σe5,S(A + B) ⊂ σe5,S(A).
This proves (3.10) and completes the proof. Q.E.D. Spectra 113
Remark 3.4.1 If A and B are bounded operators. Theorem 3.4.1 remains true if we replace (A − λS)−1B by B(A − λS)−1. Indeed, it suffices to replace Eq. (3.11) by (A + B − µS) − (A + B − λS)(A − λS)−1(A − µS) = (µ − λ)B(A − λS)−1S. ♦
3.5 PSEUDOSPECTRA 3.5.1 Pseudospectrum
Let us start by giving the definition of the pseudospectrum of densely closed linear operator A for every ε > 0,
[n −1 1o σε (A) := σ(A) λ ∈ C such that k(λ − A) k > , ε or by [ −1 1 Σε (A) := σ(A) λ ∈ C such that k(λ − A) k ≥ , ε with the convention k(λ −A)−1k = ∞ if, and only if, λ ∈ σ(A). The pseu- dospectrum, σε (A), is the open subset of the complex plane bounded by the ε−1 level curve of the norm of the resolvent. For ε > 0, it can be shown that σε (A) is a larger set and is never empty. The pseudospectra of A are a family of strictly nested closed sets, which grow to fill the whole complex plane as ε → ∞ (see [80, 151, 152]). From these definitions, it follows that the pseudospectra associated with various ε are nested sets. Then, for all
0 < ε1 < ε2, we have
σ(A) ⊂ σε1 (A) ⊂ σε2 (A) and
σ(A) ⊂ Σε1 (A) ⊂ Σε2 (A), 114 Linear Operators and Their Essential Pseudospectra and that the intersections of all the pseudospectra are the spectrum
\ \ σε (A) = σ(A) = Σε (A). ε>0 ε>0
Theorem 3.5.1 Let A ∈ C (X). The following three conditions are equiva- lent:
(i) λ ∈ σε (A). (ii) There exists a bounded operator D such that kDk < ε and
λ ∈ σ(A + D).
(iii) Either λ ∈ σ(A) or k(λ − A)−1k < ε−1. ♦
Proof. (i) ⇒ (ii) If λ ∈ σ(A), we may put D = 0. Otherwise, let f ∈ D(A − λ), k f k = 1 and
k(A − λ) f k < ε.
Let φ ∈ X∗ satisfy kφk = 1 and φ( f ) = 1. Then, let us define the rank one operator D : X −→ X by
Dg := −φ(g)(A − λ) f .
We see immediately that kDk < ε and
(A − λ + D) f = 0.
(ii) ⇒ (iii) We derive a contradiction from the assumption that λ ∈/ σ(A) and k(A − λ)−1k ≤ ε−1.
Let B : X −→ X be the bounded operator defined by the norm convergent series ∞ n B := ∑ (A − λ)−1 −D(A − λ)−1 n=0 = (A − λ)−1(I + D(A − λ)−1)−1. Spectra 115
It is immediate from these formulae that B is one-to-one with a range equal to D(A − λ). We also see that
B(I + D(A − λ)−1) f = (A − λ)−1 f , for all f ∈ X. Putting g = (A − λ)−1 f , we conclude that B(A − λ + D)g = g for all g ∈ D(A − λ). The proof that
(A − λ + D)Bh = h, for all h ∈ X is similar. Hence, A − λ + D is invertible, with an inverse B.
(iii) ⇒ (i) We assume for non-triviality that λ ∈/ σ(A). There exists g ∈ X such that k(A − λ)−1gk > ε−1kgk.
Putting f := (A − λ)−1g, we see that k(A − λ) f k < εk f k. Q.E.D.
Remark 3.5.1 From Theorem 3.5.1, it follows immediately that [ σε (A) = σ(A + D). ♦ kDk<ε
3.5.2 S-Pseudospectrum
Let A ∈ C (X) and S ∈ L (X). Consider the equation defined by
(λS − A)x = b, (3.12) where λ ∈ C, b ∈ X and x ∈ D(A). For λ ∈ ρS(A), the existence of a solution of Eq. (3.12) and it is uniqueness are guaranteed. So,
x = RS(λ,A)b. (3.13) 116 Linear Operators and Their Essential Pseudospectra
Under the perturbation of b by adding r ∈ X to b such that 0 < krk < ε. We obtain the equation
(λS − A)x = b + r.
This implies that
x = RS(λ,A)(b + r). (3.14) We want the solution of the Eq. (3.12) remains stable despite the perturba- tion. It means that x is very close to x and so,
kx − xk < 1.
Since the two Eqs. (3.13) and (3.14) provide
kx − xk = kRS(λ,A)rk
< kRS(λ,A)kε.
For this, it suffices to take 1 kR (λ,A)k ≤ . S ε In this case, we define \ 1 ρS, ε(A) = ρS(A) λ ∈ C such that kRS(λ,A)k ≤ . ε Therefore, σS, ε(A) = C\ρS, ε(A).
Definition 3.5.1 Let A ∈ C (X),S ∈ L (X) and ε > 0 such that S 6= A and S 6= 0. We define the S-pseudospectrum of A by [ 1 σS, ε(A) = σS(A) λ ∈ C such that kRS(λ,A)k > . ε
Convention: kRS(λ,A)k = +∞ if, and only if, λ ∈ σS(A). ♦
If we replace the bounded operator S by the identity operator I, we obtain the definition of pseudospectrum σε(A) (see [58, 153]). Spectra 117
Proposition 3.5.1 Let A ∈ C (X),S ∈ L (X) and ε > 0, then the S- pseudospectra verifies the following properties:
(i) σS, ε(A) 6= /0, (ii) the S-pseudospectra σS, ε(A) ε>0 are increasing sets in the sense of inclusion relative to the parameter strictly positive ε, and \ (iii) σS, ε(A) = σS(A). ♦ ε>0
Proof. (i) We argue by contradiction. Suppose that σS, ε(A) = /0,then
ρS, ε(A) = C.
It means exactly that \ 1 ρS(A) λ ∈ C such that kRS(λ,A)k ≤ = C, ε and so ρS(A) = C. Hence, 1 λ ∈ C such that kRS(λ,A)k ≤ = C. ε Consider the function
ϕ : C −→ L (X) λ −→ RS(λ,A).
Since ϕ is analytic on C and for every λ ∈ C, we have 1 kϕ(λ)k ≤ , ε then ϕ is an entire bounded function. Therefore, using Liouville theorem
(see Theorem 2.1.5), we obtain that ϕ is constant. It follows that RS(λ,A) is null, which is a contradiction. 118 Linear Operators and Their Essential Pseudospectra
(ii) Let ε1, ε2 > 0 such that ε1 < ε2. If λ ∈ σS, ε1(A), then 1 1 kRS(λ,A)k > > . ε1 ε2 Therefore,
λ ∈ σS, ε2(A). (iii) We have \ \ [ 1 σS, ε(A) = σS(A) λ ∈ C such that kRS(λ,A)k > , ε ε>0 ε>0 ! S \ 1 = σS(A) λ ∈ C such that kRS(λ,A)k > . ε ε>0 It suffices to prove that \ 1 λ ∈ C such that kRS(λ,A)k > = ε ε>0 {λ ∈ C such that kRS(λ,A)k = +∞}.
For the inclusion in the direct sense: let λ ∈ C such that for all ε > 0 1 kR (λ,A)k > . S ε Consequently,
lim kRS(λ,A)k = kRS(λ,A)k = +∞. ε→0+
For the other inclusion: let λ ∈ C such that 1 kR (λ,A)k = +∞ > S ε for all ε > 0. Hence,
\ [n o σS, ε(A) = σS(A) λ ∈ C such that kRS(λ,A)k = +∞ , ε>0 = σS(A), which completes the proof of proposition. Q.E.D. Spectra 119
3.5.3 Ammar-Jeribi Essential Pseudospectrum
In Ref. [29], A. Ammar and A. Jeribi introduced the definition of Ammar-Jeribi essential pseudospectrum of closed densely defined linear operators by \ σe5,ε (A) = σε (A + K). K∈K (X)
Theorem 3.5.2 Let X be a Banach space, ε > 0 and A ∈ C (X). Then,
λ 6∈ σe5,ε (A) if, and only if, for all D ∈ L (X) such that kDk < ε, we have A + D − λ ∈ Φ(X) and i(A + D − λ) = 0. ♦
Proof. Let λ 6∈ σe5,ε (A). By using Theorem 3.5.1, we infer that there exists a compact operator K on X, such that
[ λ 6∈ σ(A + K + D). kDk<ε
So, for all D ∈ L (X) such that kDk < ε, we have
λ ∈ ρ(A + D + K).
Therefore, A + D + K − λ ∈ Φ(X) and
i(A + D + K − λ) = 0, for all D ∈ L (X) such that kDk < ε. From Theorem 2.2.14, we deduce that for all D ∈ L (X) such that kDk < ε, we have
A + D − λ ∈ Φ(X) and i(A + D − λ) = 0.
Conversely, we suppose that, for all D ∈ L (X) such that kDk < ε, we have
A + D − λ ∈ Φ(X) 120 Linear Operators and Their Essential Pseudospectra and i(A + D − λ) = 0.
Without loss of generality, we may assume that λ = 0. Let n = α(A+D) = 0 0 β(A + D), x1,··· ,xn being the basis for N(A + D) and y1,··· ,yn being the basis for the N((A+D)∗). By using Lemma 2.1.1, there are func- 0 0 ∗ tionals x1,··· ,xn in X (the adjoint space of X) and elements y1,··· ,yn, such that 0 x j(xk) = δ jk and
y j(yk) = δ jk,
1 ≤ j, k ≤ n, where δ jk = 0 if j 6= k and δ jk = 1 if j = k. Let K be the operator defined by n 0 Kx = ∑ xk(x)yk, k=1 x ∈ X. Clearly, K is a linear operator defined everywhere on X. It is bounded, since n 0 kKxk ≤ kxk ∑ kxkkkykk . k=1 Moreover, the range of K is contained in a finite-dimensional subspace of X. Then, K is a finite rank operator in X. So, K is a compact operator in X. Now, we may prove that
\ \ N(A + D) N(K) = {0} and R(A + D) R(K) = {0}, (3.15) for all D ∈ L (X) such that kDk < ε. Indeed, let x ∈ N(A + D), then
n x = ∑ αkxk, k=1 and therefore,
x j(x) = α j, 1 ≤ j ≤ n. Moreover, if x ∈ N(K), then
0 x j(x) = 0, Spectra 121 with 1 ≤ j ≤ n. This proves the first relation in Eq. (3.15). The second inclusion is similar. In fact, if y ∈ R(K), then
n y = ∑ αkyk, k=1 and hence,
y j(y) = α j, with 1 ≤ j ≤ n. However, if y ∈ R(A + D), then
0 y j(y) = 0, with 1 ≤ j ≤ n. This gives the second relation in Eq. (3.15). Besides, K is a compact operator. We deduce, from Theorem 2.2.14, that 0 ∈ ΦA+K+D and i(A + D + K) = 0. If x ∈ N(A + D + K), then
(A + D)x ∈ R(A + D)\R(K).
This implies that x ∈ N(A + D)TN(K) and x = 0. Thus,
α(A + D + K) = 0.
In the same way, we can prove that
R(A + D + K) = X.
Hence, 0 ∈ ρ(A + D + K). This implies that, for all D ∈ L (X) such that kDk < ε, we have 0 6∈ σ(A + D + K). Also, \ 0 6∈ σε (A + K). K∈ K (X) So,
0 6∈ σe5,ε (A). Q.E.D. 122 Linear Operators and Their Essential Pseudospectra
Remark 3.5.2 Let X be a Banach space, ε > 0 and A ∈ C (X). (i) Using Theorem 3.5.2, we have
[ σe5,ε (A) := σe5(A + D). kDk<ε
(ii) We have \ σe5,ε (A) := σε (A + D). ♦ D∈F (X)
3.5.4 Essential Pseudospectra
Let A ∈ C (X) and ε > 0. We are concerned with the following essential pseudospectra
ε ε σe1,ε (A) := λ ∈ C such that λ − A ∈/ Φ+(X) := C\Φ+A, ε ε σe2,ε (A) := λ ∈ C such that λ − A ∈/ Φ−(X) := C\Φ−A, ε ε σe3,ε (A) := λ ∈ C such that λ − A ∈/ Φ±(X) := C\Φ±A, ε ε σe4,ε (A) := {λ ∈ C such that λ − A ∈/ Φ (X)} := C\ΦA, \ σe5,ε (A) := σε (A + K), K∈K (X) \ σeap,ε (A) := σap,ε (A + K), K∈K (X) \ Σeap,ε (A) := Σap,ε (A + K), K∈K (X) S σeδ,ε (A) := σe2,ε (A) {λ ∈ C such that i(λ − A − D) < 0, for all ||D|| < ε}, where σap,ε (A) := λ ∈ C such that inf k(λ − A)xk < ε , x∈D(A), kxk=1 and Σap,ε (A) := λ ∈ C such that inf k(λ − A)xk ≤ ε . x∈D(A), kxk=1 Note that if ε tends to 0, we recover the usual definition of the essential spectra of a closed linear operator A. Spectra 123
Remark 3.5.3 Let A ∈ C (X) and consider i ∈ {1,..,5,ap,δ}. Then,
(i) σei,ε (A) ⊂ σε (A), \ (ii) σei,ε (A) = σei(A), ε>0
(iii) if ε1 < ε2, then σei,ε1 (A) ⊂ σei,ε2 (A), and (iv) they can be ordered as T σe3,ε (A) = σe1,ε (A) σe2,ε (A) ⊆ σe4,ε (A) ⊆ σe5,ε (A) = T σeap,ε (A) σeδ,ε (A). ♦
3.5.5 Conditional Pseudospectrum
In this section we define the conditional pseudospectrum of a linear operators in infinite dimensional Banach spaces and consider some basic properties in order to put this definition in its due place. We begin with the following definition.
Definition 3.5.2 Let A ∈ L (X) and 0 < ε < 1. The condition pseudospec- trum of A is denoted by Σε (A) and is defined as, ε [ −1 1 Σ (A) := σ(A) λ ∈ C : kλ − Akk(λ − A) k > , ε with the convention that kλ − Akk(λ − A)−1k = ∞, if λ − A is not invert- ible. The condition pseudoresolvent of A is denoted by ρε (A) and is defined as, ε T −1 1 ρ (A) := ρ(A) λ ∈ C : kλ − Akk(λ − A) k ≤ . ♦ ε For 0 < ε < 1, it can be shown that ρε (A) is a larger set and is never empty. Here also ρε (A) ⊆ ρ(A) for 0 < ε < 1. Recall that the usual condition pseudospectral radius rε (A) of A ∈ L (X) by
n ε o rε (A) := sup |λ| : λ ∈ Σ (A) , and the spectral radius of A ∈ L (X) by n o rσ (A) = sup |λ| : λ ∈ σ(A) . 124 Linear Operators and Their Essential Pseudospectra
3.6 STRUCTURED PSEUDOSPECTRA 3.6.1 Structured Pseudospectrum
We refer to E. B. Davies [58] which defined the structured pseudospec- trum, or spectral value sets of a closed densely defined linear operator A on X by [ σ(A,B,C,ε) = σ(A +CDB), kDk<ε where B ∈ L (X,Y) and C ∈ L (Z,X). It is clear that
σ(A,I,I,ε) = σε(A).
We first prove the following proposition which is basic for our purpose.
Proposition 3.6.1 Let A ∈ L (X),B ∈ L (X,Y),C ∈ L (Z,X),G(s) := B(s−A)−1C and ε > 0. Then, σ(A,B,C,ε)\σ(A) is a bounded open subset of C such that n 1o σ(A,B,C,ε) = σ(A)S s ∈ ρ(A) such that kG(s)k > . ♦ ε Proof. We will discuss these two cases: 1st case : If B or C = 0, then σ(A,B,C,ε) = σ(A,ε). Hence,
σ(A,B,C,ε)\σ(A) = /0 is bounded. 2nd case : If B and C 6= 0. We consider the following function ( ϕ : ρ(A) −→ R s −→kG(s)k.
ϕ is continuous. It is clear that
1 σ(A,B,C,ε)\σ(A) = ϕ−1 ,+∞ . ε Spectra 125
So, we can deduce that σ(A,B,C,ε)\σ(A) is open. Furthermore, we argue by contradiction so we suppose that there exists s ∈ σ(A,B,C,ε)\σ(A) such that |s| → +∞. Since
lim kG(s)k = 0, |s|→+∞
1 then 0 ≥ ε which is impossible. As a consequence we obtain that
σ(A,B,C,ε)\σ(A) is a bounded set. Q.E.D.
Remark 3.6.1 As a consequence of Proposition 3.6.1, that the structured pseudospectra, σ(A,B,C,ε), of a bounded operator A is a bounded subset of C. ♦
The following identity was established in [58, Theorem 9.2.18].
Theorem 3.6.1 Let A ∈ C (X),B ∈ L (X,Y),C ∈ L (Z,X) and ε > 0. Then, Sn −1 1o σ(A,B,C,ε) = σ(A) s ∈ C such that kB(s − A) Ck > ε . ♦
3.6.2 The Structured Essential Pseudospectra
In this section, we are interested in studying the following structured essential pseudospectra of a closed, densely defined linear operator A introduced in [67] with respect to the perturbation structure (B,C), where B ∈ L (X,Y), C ∈ L (Z,X) and uncertainty level ε > 0. We note that the structured essential pseudospectrum consists of large sets of all complex numbers to which at least one essential spectrum can be shifted by distur- bance operator D of norm kDk < ε.
Definition 3.6.1 Let A ∈ C (X),B ∈ L (X,Y),C ∈ L (Z,X), and ε > 0. 126 Linear Operators and Their Essential Pseudospectra
(i) The structured Jeribi essential pseudospectrum is defined by
\ σ j(A,B,C,ε) := σ(A + K,B,C,ε). K∈W ∗(X) (ii) The structured Wolf essential pseudospectrum is defined by
[ σe4(A,B,C,ε) := σe4(A +CDB). kDk<ε
(iii) The structured Ammar-Jeribi essential pseudospectrum is defined by [ σe5(A,B,C,ε) := σe5(A +CDB). kDk<ε (iv) The structured Browder essential pseudospectrum is defined by [ σe6(A,B,C,ε) := σe6(A +CDB). ♦ kDk<ε
Remark 3.6.2 All these sets satisfy the following inclusions:
σe4(A,B,C,ε) ⊆ σe5(A,B,C,ε) ⊆ σe6(A,B,C,ε). ♦
By Theorem 3.1.6, we have the following.
Lemma 3.6.1 Let A ∈ C (X),B ∈ L (X,Y),C ∈ L (Z,X) and ε > 0. Suppose that for every kDk < ε, we have ρ(A +CDB) 6= /0. Then,
(i) If for all kDk < ε, we have C\σe4(A +CDB) is connected, then
σe4(A,B,C,ε) = σe5(A,B,C,ε).
(ii) If C\σe5(A +CDB) is connected for every kDk < ε, then
σe5(A,B,C,ε) = σe6(A,B,C,ε). ♦
3.6.3 The Structured S-Pseudospectra
Definition 3.6.2 Let A ∈ C (X),S ∈ L (X),B ∈ L (X,Y),C ∈ L (Z,X) and ε > 0. We define the structured S-pseudospectrum by [ σS(A,B,C,ε) := σS(A +CDB). ♦ kDk<ε Spectra 127
Remark 3.6.3 If S is an invertible operator, then −1 −1 σS(A,B,C,ε) = σ(S A,B,S C,ε). ♦
Definition 3.6.3 Let A ∈ C (X),S ∈ L (X),B ∈ L (X,Y),C ∈ L (Z,X) and ε > 0. (i) The structured S-point pseudospectrum is defined by [ σp,S(A,B,C,ε) := σp,S(A +CDB). kDk<ε (ii) The structured S-continuous pseudospectrum is defined by [ σc,S(A,B,C,ε) := σc,S(A +CDB). kDk<ε (iii) The structured S-residual pseudospectrum is defined by [ σR,S(A,B,C,ε) := σR,S(A +CDB). kDk<ε (iv) The structured S-approximate point pseudospectrum is defined by [ σap,S(A,B,C,ε) := σap,S(A +CDB). ♦ kDk<ε Remark 3.6.4 Let A ∈ C (X),S ∈ L (X),B ∈ L (X,Y),C ∈ L (Z,X) and ε > 0, then the structured S-pseudospectra is partitioned into three disjoint sets as follows: S S σS(A,B,C,ε) = σp,S(A,B,C,ε) σc,S(A,B,C,ε) σR,S(A,B,C,ε). ♦
Lemma 3.6.2 Let A ∈ C (X),S ∈ L (X),B ∈ L (X,Y),C ∈ L (Z,X) and ε > 0, then
σp,S(A,B,C,ε) ⊂ σap,S(A,B,C,ε). ♦
Proof. Let λ ∈ σp,S(A,B,C,ε). Then, there exists D ∈ L (Y,Z) such that kDk < ε and
λ ∈ σp,S(A +CDB). Therefore, there exists x ∈ D(A)\ 0 with (λS − A −CDB)x = 0. In this case, it is sufficient to take x = x . Consequently, n kxk 128 Linear Operators and Their Essential Pseudospectra
λ ∈ σap,S(A,B,C,ε). Q.E.D.
3.6.4 The Structured S-Essential Pseudospectra
Definition 3.6.4 Let A ∈ C (X),S ∈ L (X),B ∈ L (X,Y),C ∈ L (Z,X) and ε > 0, we define the structured S-essential pseudospectra in the following way
[ σe1,S(A,B,C,ε) := σe1,S(A +CDB), kDk<ε [ σe2,S(A,B,C,ε) := σe2,S(A +CDB), kDk<ε [ σe3,S(A,B,C,ε) := σe3,S(A +CDB), kDk<ε [ σe4,S(A,B,C,ε) := σe4,S(A +CDB), kDk<ε
[ σe5,S(A,B,C,ε) := σe5,S(A +CDB). ♦ kDk<ε
Remark 3.6.5 Let A, S ∈ L (X),B ∈ L (X,Y),C ∈ L (Z,X), λ ∈ C and ε > 0. If SA = AS, then we can write
(λS − A)(λS −CDB) = ACDB + λS(λS − A −CDB) (3.16) and
(λS −CDB)(λS − A) = CDBA + λ(λS − A −CDB)S. (3.17)
♦ Chapter 4
Perturbation of Unbounded Linear Operators by γ-Relative Boundedness
In Ref. [61], T. Diagana studied some sufficient conditions such that if S, T and K are three unbounded linear operators with S being a closed operator, then their algebraic sum S + T + K is also a closed operator. The main focus of this chapter is to extend these results to the closable operator by adding a new concept of the gap and the γ-relative boundedness inspired by the work of A. Jeribi, B. Krichen and M. Zarai Dhahri in Ref. [92]. After that, we apply the obtained results to study the specific properties of some block operator matrices. All results of this chapter are given in Ref. [22].
4.1 SUM OF CLOSABLE OPERATORS 4.1.1 Norm Operators
The goal of this part consists in establishing some properties of clos- able operators in Banach spaces. 130 Linear Operators and Their Essential Pseudospectra
Theorem 4.1.1 Let X and Y be two Banach spaces and let S, T and K be three operators from X into Y such that D(T) ⊂ D(S) ⊂ D(K). If (i) there exist two constants a, b > 0 such that
kSxk ≤ akxk + bkTxk, x ∈ D(T),
(ii) there exist two constants e, d > 0 such that µ = b(1 + d) < 1 and
kKxk ≤ ekxk + dkSxk, x ∈ D(S).
Then, S + T + K is closable if, and only if, T is also closable.
In this case, D(S + T + K) = D(T) and
−1 2 2 1 δb(S + T + K,T) ≤ (1 − µ) (ν + µ ) 2 , (4.1) where ν = (a(1 + d) + e)(ν > 0) and δb(·,·) is the gap between two oper- ators. ♦
Proof. Let x ∈ D(S + T + K) = D(T). Then,
k(S + T + K)xk ≤ (1 + b)kTxk + (a + e)kxk + d akxk + bkTxk, and hence,
k(S + T + K)xk ≤ (a + e + da)kxk + (1 + b + bd)kTxk. (4.2)
Similarly, we also have, for all x ∈ D(T),
k(S + K)xk ≤ bkTxk + (a + e)kxk + d(akxk + bkTxk) and hence,
k(S + K)xk ≤ (a + e + da)kxk + b(1 + d)kTxk. (4.3)
Combining (4.2) and (4.3), it follows that for all x ∈ D(T), we have
k(S + T + K)xk ≥ −(a + e + da)kxk + [1 − b(1 + d)]kTxk, Perturbation of Unbounded Linear Operators 131 which yields
1 − b(1 + d)kTxk ≤ k(S + T + K)xk + (a + e + da)kxk.
Setting µ = b(1 + d)(0 < µ < 1) and ν = a + e + da, we deduce that kTxk ≤ (1 − µ)−1 k(S + T + K)xk + νkxk . (4.4)
Let (xn)n be a sequence in D(S+T +K) = D(T) such that xn → 0 and
(S + T + K)xn → χ.
By using (4.4), it follows that (Txn)n is a Cauchy sequence in the Banach space Y and therefore, there exists ψ1 ∈ Y such that
Txn → ψ1.
Since T is closable, then
ψ1 = 0. It follows from (4.2) that
(S + T + K)xn → 0.
Then, χ = 0 and S+T +K is closable. Similarly, T is closable if S+T +K is also closable. Now, we may prove that
D(S + T + K) = D(T).
Let x ∈ D(S + T + K), then there exists a sequence (xn)n such that (xn)n is (S + T + K)-convergent to x. By using (4.4), we deduce that (xn)n is T-convergent to x, then x ∈ D(T) so that
D(S + T + K) ⊂ D(T).
The opposite inclusion is proved similarly. In order to prove (4.1). Let ϕ = (u,(S + T + K)u) ∈ G(S + T + K) with kϕk = 1 so that, we have
kuk2 + k(S + T + K)uk2 = kϕk2 = 1. (4.5) 132 Linear Operators and Their Essential Pseudospectra
Since G(S + T + K) = G(S + T + K), then there exists a sequence (ϕn)n in G(S + T + K), such that
ϕn → ϕ. Hence,
ϕn = (un,(S + T + K)un), where un ∈ D(S + T + K), un → u and
(S + T + K)un → (S + T + K)u.
Now, we take ψn = (un,Tun) ∈ G(T). By using (4.4), we have (un)n is T-convergent to u. Then,
ψn → ψ0 ∈ G(T).
Combining both (4.3) and (4.4), we have
kϕn − ψnk = k(S + K)unk −1 ≤ (1 − µ) νkunk + µk(S + T + K)unk .
If n → ∞, then we obtain
−1 kϕ − ψ0k ≤ (1 − µ) νkuk + µk(S + T + K)uk .
From Schwarz inequality and Eq. (4.5), it follows that
−1 2 2 1 kϕ − ψ0k ≤ (1 − µ) (ν + µ ) 2 .
Hence, −1 2 2 1 dist(ϕ,G(T)) ≤ (1 − µ) (ν + µ ) 2 .
Now, since ϕ is an arbitrary element of the unit sphere of G(S + T + K), then −1 2 2 1 δ(S + T + K,T) ≤ (1 − µ) (ν + µ ) 2 .
Similarly, we can estimate the quantity δ(T,S + T + K). As a result, we obtain (4.1). Q.E.D. Perturbation of Unbounded Linear Operators 133
Remark 4.1.1 If the hypotheses of Theorem 4.1.1 are satisfied, then (i) S + T + K is closed if, and only if, T is also closed. (ii) If S + K ∈ L (X,Y), then δb(S + T + K,T) ≤ kS + Kk. ♦
Theorem 4.1.2 Let S, T and K be three operators from X into Y such that D(T) ⊂ D(S) ⊂ D(K) and (a) there exist two constants a, b > 0
kSxk ≤ akxk + bkTxk, x ∈ D(T),
(b) there exist two constants e, d > 0 such that
kKxk ≤ ekxk + dkSxk, x ∈ D(S), and γe(T)(1 − ν) > µ, (4.6) where µ = b(1 + d) < 1, ν = a(1 + d) + e (ν > 0) and γe(T) is given in (2.13). If T is a semi-Fredholm operator, then S +T +K is semi-Fredholm and it satisfies the following properties: (i) α(S + T + K) ≤ α(T), (ii) β(S + T + K) ≤ β(T), and (iii) i(S + T + K) = i(T). ♦
Proof. Referring to (4.6), we have ν < 1. Then, by virtue of Remark 4.1.1 (i), we have S + T + K is closed. Let us introduce the new norm in D(T) by [k xk] = (ν + ε)kxk + (µ + ε)kTxk, x ∈ D(T), where ε is fixed and γ(T)(1 − ν) − µ 0 < ε < e . (4.7) 1 + γe(T)
It is clear that [k · k] and k · kT (see Eq. (2.5)) are equivalent and, if we denote by Xb = (D(T), [k · k]), then Xb is a Banach space and we have the following inequalities −1 kTbk ≤ (µ + ν) 134 Linear Operators and Their Essential Pseudospectra and kSb+ Kbk ≤ 1. Since ( α(Tb) = α(T), β(Tb) = β(T), R(Tb) = R(T), β(S +\T + K) = β(S + T + K) and R(S +\T + K) = R(S + T + K), then we deduce that Tb ∈ Φ±(X,Y) and, it is sufficient to show that S +\T + K ∈ Φ±(X,Y). It is clear that
γe(T) γe(Tb) = . (4.8) ν + ε + (µ + ε)γe(T)
By using (4.7) and Eq.(4.8), we have γ(Tb) > 1. Thus,
kSb+ Kbk < γe(Tb).
Accordingly, we have
S +\T + K ∈ Φ±(X,Y),
α(S +\T + K) ≤ α(Tb), and β(S +\T + K) ≤ β(Tb), which completes the proof of theorem. Q.E.D.
Corollary 4.1.1 Let ε > 0 such that
γ(T) kS + Kk ≤ e , p 2 1 + (εγe(T)) where γe(T) is given in (2.13). If T is a semi-Fredholm operator, then S + T + K is semi-Fredholm and it satisfies the following properties: (i) α(S + T + K) ≤ α(T), (ii) β(S + T + K) ≤ β(T), and (iii) i(S + T + K) = i(T). ♦ Perturbation of Unbounded Linear Operators 135
4.1.2 Kuratowski Measure of Noncompactness
In this part, we provide some sufficient conditions for three closed operators S, T and K to have their algebaric sum also closed.
Theorem 4.1.3 Let γ(·) be the Kuratowski measure of noncompactness and let S, T and K be three closed operators such that D(S) ⊂ D(T) ⊂ D(K). If (i) there exist two constants as,bs > 0 such that
γ(S(D)) ≤ asγ(D) + bsγ(T(D)), D ⊂ D(T),
(ii) there exist two constants ak, bk > 0 such that bk < 1, bs(1+bk) < 1 and
γ(K(D)) ≤ akγ(D) + bkγ(S(D)), D ⊂ D(T). Then, the operator S + T + K is closed. ♦
Proof. Let D ⊂ D(T). The fact that
γ(T(D)) = γ ((T + S + K − S − K)(D)) (4.9) allows us to
γ((T + S + K − S − K)(D)) ≤ γ ((T + S + K)(D)) + γ((S + K)(D)). (4.10) By using Eq. (4.9) and the relation (4.10), we have
γ((T + S + K)(D)) ≥ γ(T(D)) − γ((S + K)(D)). (4.11)
Moreover,
γ((S + K)(D)) ≤ γ(S(D)) + γ(K(D))
≤ asγ(D) + bsγ(T(D)) + akγ(D) + bk(asγ(D) + bsγ(T(D)))
≤ asγ(D) + bsγ(T(D)) + akγ(D) + bkasγ(D) + bkbsγ(T(D))
≤ (as + ak + bkas)γ(D) + bs(1 + bk)γ(T(D)), we infer, from the last equation and Eq. (4.11), that 136 Linear Operators and Their Essential Pseudospectra
γ((T + S + K)(D)) ≥ γ(T(D)) − γ((S + K)(D))
≥ γ(T(D)) − (as + ak + bkas)γ(D) − bs(1 + bk)γ(T(D))
≥ −(as + ak + bkas)γ(D) + (1 − bs(1 + bk))γ(T(D)). Then,
γ((T + S + K)(D)) ≥ −(as + ak + bkas)γ(D) + (1 − bs(1 + bk))γ(T(D)) (4.12) provided that 0 < 1−bs(1+bk) < 1 and as +ak +bkas > 0. Let (xn)n be a sequence in D(T + S + K) = D(T) such that xn → x and
(T + S + K)xn → y.
This implies that (xn)n and ((T + S + K)xn)n are relatively compact. Thus,
γ((xn)n) = γ(((T + S + K)xn)n) = 0.
By using (4.12), we deduce
γ(Txn) = 0,
and there exist a subsequence xnk → x ∈ D(T) such that
Txnk → α.
Since T is closed, then Tx = α.
In view of Theorem 2.6.2, we have S + K is closed. Since
(S + K)xnk → y − α, then x ∈ D(T) and (T + S + K)x = y.
We conclude that the algebaric sum T +S +K is a closed operator. Q.E.D. Perturbation of Unbounded Linear Operators 137
4.2 BLOCK OPERATOR MATRICES 4.2.1 2 × 2 Block Operator Matrices
We denote by L the linear block operator matrices, acting on the Banach space X ×Y, of the form ! AB L = , CD where the operator A acts on X and has domain D(A), D is defined on D(D) and acts on the Banach space Y, and the intertwining operator B (resp. C) is defined on the domain D(B) (resp. D(C)) and acts on X (resp. Y). One of the problems in the study of such operators is that in general L is not closed or even closable, even if its entries are closed.
Proposition 4.2.1 Consider the block operator matrices acting on the Banach space X ×Y by ! A 0 T = , 0 D ! 0 B S = , 0 0 and ! 0 0 K = . C 0 If the operator T + S + K is γ-diagonally dominant with bound δ, then (i) S is T -γ-bounded with T -γ-bound δ, and (ii) K is S -γ-bounded with S -γ-bound δ. ♦ 138 Linear Operators and Their Essential Pseudospectra
Proof. Let πi(·), i = 1,2 be denote the natural projections on X and Y, respectively. (i) For D ⊂ D(K ), we get " ! !# 0 B π1(D) γ = γ(B(π2 (D))). 0 0 π2(D)
According to these assumptions, there exist two constants aB, bB ≥ 0 such that
γ(B(π2(D))) ≤ aBγ(π2(D)) + bBγ(D(π2(D))). Since
γ(π2(D)) ≤ γ(π2)γ(D), then
γ(B(π2(D))) ≤ aBγ(π2)γ(D) + bBγ(D(π2(D))). Hence, " ! !# 0 B π (D) γ 1 0 0 π2(D)
≤ aBγ(π2)γ(D) + bBγ(D(π2(D))) " ! !# A 0 π1(D) ≤ aBγ(π2)γ(D) + bB maxγ . 0 D π2(D) (ii) Also, " ! !# 0 0 π1(D) γ = γ(C(π1 (D))). C 0 π2(D)
According to these assumptions, there exist two constants aC,bC ≥ 0 such that
γ(C(π1(D))) ≤ aCγ(π1(D)) + bCγ(A(π1(D))). Since
γ(π1(D)) ≤ γ(π1)γ(D), then
γ(C(π1(D))) ≤ aCγ(π1)γ(D) + bCγ(A(π1(D))). Hence, we get Perturbation of Unbounded Linear Operators 139
" ! !# 0 0 π (D) γ 1 C 0 π2(D)
≤ aCγ(π1)γ(D) + bCγ(A(π1(D))) " ! !# A 0 π1(D) ≤ aCγ(π1)γ(D) + bC maxγ . 0 D π2(D) This completes the proof. Q.E.D.
4.2.2 3 × 3 Block Operator Matrices
In what follows, we are concerned with the block operator matrices
ABC M = DEF , GHK which acts on the product of Banach spaces X ×Y ×Z, where the entire of the matrix are linear operators. The operator A, having the domain D(A), acts on X, the operator E, having the domain D(E), acts on Y, and the operator K, having the domain D(K), acts on Z. Similarly, the operator B, H, C, F, D, and G are defined, respectively, by the domains D(B) ⊂ Y into X, D(H) ⊂ Y into Z, D(C) ⊂ Z into X, D(F) ⊂ Z into Y, D(D) ⊂ X into Y, and D(G) ⊂ X to Z. Let M be the operator
u1 v1 G(M ) = u , v ∈ (X ×Y × Z)2 such that 2 2 u3 v3 v = Au + Bu +Cu 1 1 2 3 v2 = Du1 + Eu2 + Fu3 v3 = Gu1 + Hu2 + Ku3 T T T T D(M ) = (D(A) D(D) D(G)) × (D(B) D(E) D(H))× (D(C)TD(F)TD(K)). 140 Linear Operators and Their Essential Pseudospectra
We denote by A 0 0 T = 0 E 0 , 0 0 K
0 B 0 S = 0 0 F , G 0 0 and 0 0 C K = D 0 0 . 0 H 0 Then, it is clear that M = T + S + K .
Remark 4.2.1 It is clear that T is closed if, and only if, A, E and K are closed. ♦
Theorem 4.2.1 (a) Let us consider the following conditions
(i) B is E-γ-bounded with E-γ-bound δ1,
(ii) F is K-γ-bounded with K-γ-bound δ2, and
(iii) G is A-γ-bounded with A-γ-bound δ3. Then, S is T -γ-bounded with T -γ-bound
δ = max{δ1,δ2,δ3}.
(b) Let us consider the following conditions
(i) C is F-γ-bounded with F-γ-bound δ1,
(ii) D is G-γ-bounded with G-γ-bound δ2, and
(iii) H is B-γ-bounded with B-γ-bound δ3.
Then, K is S -γ-bounded with S -γ-bound δ = max{δ1,δ2,δ3}. ♦ Perturbation of Unbounded Linear Operators 141
Proof. (a) Let πi(·), i = 1,2,3 be the natural projections on X, Y and Z, respectively, and let ε > 0. Consider the constants, aB, aG, aF , bB, bG, and bF such that
δ1 ≤ b1 ≤ δ1 + ε,
δ2 ≤ b2 ≤ δ2 + ε,
δ3 ≤ b3 ≤ δ3 + ε,
a1 = {aGγ(π1),aBγ(π2),aF γ(π3)}, and
a2 = {bG,bB,bF }.
For D ⊂ D(S ), we get 0 B 0 π1(D) γ 0 0 F π2(D) = G 0 0 π3(D)
max{γ(G(π1 (D))),γ(B(π2 (D))),γ(F(π3 (D)))}. Hence, γ(G(π (D))) ≤ a γ(π (D)) + b γ(A(π (D))), 1 G 1 G 1 γ(B(π2(D))) ≤ aBγ(π2(D)) + bBγ(E(π2(D))), γ(F(π3(D))) ≤ aF γ(π3(D)) + bF γ(K(π3(D))).
Since,
γ(πi(D)) ≤ γ(πi)γ(D), i = 1,2,3, then γ(G(π (D))) ≤ a γ(π )γ(D) + b γ(A(π (D))), 1 G 1 G 1 γ(B(π2(D))) ≤ aBγ(π2)γ(D) + bBγ(E(π2(D))), γ(F(π3(D))) ≤ aF γ(π3)γ(D) + bF γ(K(π3(D))). Hence, we get 0 B 0 π1(D) γ 0 0 F π2(D) G 0 0 π3(D) 142 Linear Operators and Their Essential Pseudospectra
≤ maxa2 max{γ(A(π1(D))),γ(E(π2(D))),γ(K(π3(D)))}+
γ(D)maxa1 A 0 0 π1(D) ≤ γ(D)maxa1 + γ 0 E 0 π2(D) maxa2. 0 0 K π3(D) Since
max{bG,bB,bF } = {δ1 + ε,δ2 + ε,δ3 + ε} = δ + ε, then S is T -γ-bounded with T -γ-bound < δ. The proof of (b) may be checked in the same way as in the proof of the item (a). Q.E.D. Chapter 5
Essential Spectra
In this chapter, we characterize the essential spectra of the closed, densely defined linear operators on Banach space.
5.1 CHARACTERIZATION OF ESSENTIAL SPECTRA
The goal of this section consists in establishing some preliminary results which will be needed in the sequel.
5.1.1 Characterization of Left and Right Weyl Essential Spectra
Theorem 5.1.1 Let A ∈ C (X). Then,
(i) λ ∈/ σewl(A) if, and only if, λ − A ∈ Φl(X) and i(λ − A) ≤ 0. (ii) λ ∈/ σewr(A) if, and only if, λ − A ∈ Φr(X) and i(λ − A) ≥ 0. S (iii) σe5(A) = σewl(A) σewr(A). ♦
Proof. (i) If λ − A ∈ Φl(X) and i(λ − A) ≤ 0. Then, by Lemma 2.2.7, λ − A can be expressed in the form
λ − A = U + K, 144 Linear Operators and Their Essential Pseudospectra where K ∈ K (X) and U ∈ C (X) such that R(U) is closed and U is injec- tive. Furthermore, by Lemma 2.2.10, R(λ − A − K) is complemented. So,
λ ∈/ σl(A + K) and hence,
λ ∈/ σewl(A).
Conversely, if λ ∈/ σewl(A), then there exists K ∈ K (X) such that λ −A− K is left invertible. Hence, λ − A − K is left Fredholm and
α(λ − A − K) = 0.
Using Lemma 2.2.10, we get λ − A ∈ Φl(X) and
i(λ − A) ≤ 0.
(ii) Let λ ∈ ΦrA such that
i(λ − A) ≥ 0.
Using Theorem 2.3.3, there exist K ∈ K (X) and V ∈ C (X) such that
λ − A = V + K, V(X) = X.
Thus, λ − A − K is surjective. Furthermore, by Lemma 2.2.10, N(λ − A −
K) is complemented. So, λ ∈/ σr(A + K). This gives
λ ∈/ σewr(A).
(iii) From Proposition 3.1.1, λ ∈/ σe5(A) if, and only if, λ − A ∈ Φ(X) and i(λ − A) = 0. Then, the result follows from (i) and (ii). Q.E.D.
Remark 5.1.1 Let A ∈ C (X). Then, \ σc(A) ⊂ σewl(A) σewr(A).
In fact, let λ ∈ σc(A), then R(λ − A) is not closed (otherwise λ ∈ ρ(A) see [137, Lemma 5.1 p. 179]). Therefore, T λ ∈ σewl(A) σewr(A). ♦ Essential Spectra 145
Lemma 5.1.1 Let A ∈ C (X) such that 0 ∈ ρ(A). Then, for λ 6= 0, we have 1 −1 λ ∈ σei(A) if, and only if, ∈ σei(A ), i = l, r, wl, wr. ♦ λ
1 Proof. For λ 6= 0, assume that λ ∈ ΦA−1 , then
λ −1 − A−1 ∈ Φb(X).
The operator λ − A can be written in the form
λ − A = −λ(λ −1 − A−1)A. (5.1)
Since A is one-to-one and onto, then by Eq. (5.1), we have N(λ − A) and N(λ −1 − A−1) are isomorphic and, R(λ − A) and R(λ −1 − A−1) are isomorphic. This shows that λ ∈ Φ+A resp. Φ−A and R(λ − A) resp. −1 N(λ − A) is complemented if, and only if, λ ∈ Φ+A−1 resp. Φ−A−1 and R(λ −1 − A−1) resp. N(λ −1 − A−1) is complemented. Therefore,
1 λ ∈ Φl resp. Φr if, and only if, ∈ Φl resp. Φr . A A λ A−1 A−1 Since 0 ∈ ρ(A), then i(A) = 0.
Using both Theorem 2.2.5 and Eq. (5.1), we conclude that
i(λ − A) = i(A) + i(λ −1 − A−1) = i(λ −1 − A−1).
l r So, λ ∈ ΦA resp. ΦA and i(λ − A) ≤ 0 resp. i(λ − A) ≥ 0 if, and only 1 if, ∈ Φl resp. Φr and i(λ −1 −A−1) ≤ 0 resp. i(λ −1 −A−1) ≥ 0. λ A−1 A−1 Hence,
1 −1 λ ∈ σei(A), if, and only if, ∈ σei(A ), i = l, r, wl, wr, λ which completes the proof. Q.E.D. 146 Linear Operators and Their Essential Pseudospectra
Now, we discuss the left and right Weyl essential spectra by means of the polynomially Riesz operators. Let A ∈ C (X), with a non-empty resol- vent set, we will give a refinement of the definition of the left Weyl essen- tial spectrum and the right Weyl essential spectrum of A, respectively, by
l \ σe(A) = σl(A + R) R∈G(X) and r \ σe (A) = σr(A + R), R∈G(X) where
G(X) = {R ∈ L (X) such that (λ − A − R)−1R ∈ PR(X) for all λ ∈ ρ(A + R)}.
For A ∈ L (X), we observe that
K (X) ⊂ G(X).
Indeed, let K ∈ K (X). If we take P(z) = z, then for all λ ∈ ρ(A + K),
P((λ − A − K)−1K) ∈ K (X), so P((λ − A − K)−1K) ∈ R(X). Evidently, the following inclusions hold
l σe(A) ⊆ σewl(A) and r σe (A) ⊆ σewr(A). Note that if R and R0 are two operators in G(X), we have not neces- 0 sarily R + R ∈ G(X). So, we can note deduce the stability of σewl(A) and σewr(A) by perturbations of operators in the class G(X). This bring us to introduce the following subset of G(X). Let Ie(X) = R ∈ L (X) satisfying SR ∈ PR(X) for all S ∈ L (X) .
By [165, Theorem 2.18], Ie(X) is equivalent to R ∈ L (X) satisfying RS ∈ PR(X) for all S ∈ L (X) . Essential Spectra 147
Proposition 5.1.1 Let A ∈ C (X). Then,
(i) If A ∈ Φl(X) and R ∈ Ie(X), then A + R ∈ Φl(X) and
i(A + R) = i(A).
(ii) If A ∈ Φr(X) and R ∈ Ie(X), then A + R ∈ Φr(X) and i(A + R) = i(A). ♦
Proof. Let A ∈ Φl(X), then by Lemma 2.2.8 (i), there exist Al ∈ L (X) and K ∈ K (X) such that
Al(A + R) = I − K + AlR on D(A).
Since R ∈ Ie(X), then AlR ∈ PR(X). By applying Corollary 2.4.2, we b get I + AlR ∈ Φ (X) and
i(I + AlR) = 0.
Since K is compact, then
Al(A + R) ∈ Φ(X) and [ R(Al) R(AlR − K) ⊂ D(A). Using Lemma 2.2.8 (i), we have
A + R ∈ Φl(X).
Since A+R ∈ C (X), we can make D(A+R) = D(A) into a Banach space by introducing the norm
kxkA = kxk + kAxk.
Let XA = (D(A),k · kA) be the Banach space for the graph norm k · kA. We can regard A as operator from XA into X. This will be denoted by Ab. Clearly 148 Linear Operators and Their Essential Pseudospectra that Ab+ Rb and Rb are bounded operators from XA into X, Kb ∈ L (XA) and Abl ∈ L (X,XA). Clearly,
AblAb = IXA − Kb is a Fredholm operator satisfying
i(AblAb) = 0 and
i(Abl(Ab+ Rb)) = i(Al(A + R)).
It is clear Abl is Fredholm if, and only if, Ab is Fredholm if, and only if, Ab+Rb is Fredholm, and therefore, by (2.6)
i(A + R) = i(Ab+ Rb) = i(Ab) = i(A).
(ii) A same reasoning allows us to reach the result of (ii). Q.E.D.
Theorem 5.1.2 Let A ∈ C (X). If R ∈ Ie(X), then
σewl(A) = σewl(A + R) (5.2) and
σewr(A) = σewr(A + R). (5.3) ♦
Proof. Let λ ∈ ΦlA such that i(λ − A) ≤ 0. By Proposition 5.1.1 (i), we have
λ − A − R ∈ Φl(X) and i(λ − A − R) = i(λ − A) ≤ 0.
The opposite inclusion follows by symmetry and, we obtain (5.2). The proof of (5.3) may be checked in a similar way to that (5.2). Q.E.D. Essential Spectra 149
Theorem 5.1.3 Let A and B ∈ C (X) such that ρ(A)Tρ(B) 6= /0. If, for some λ ∈ ρ(A)Tρ(B), the operator (λ −A)−1 −(λ −B)−1 ∈ Ie(X), then
σewl(A) = σewl(B) and
σewr(A) = σewr(B). ♦
Proof. Without loss of generality, we may assume that λ = 0. Hence, 0 ∈ ρ(A)Tρ(B) and therefore, we can write for µ 6= 0
µ − A = −µ(µ−1 − A−1)A.
Since A is one-to-one and onto, then
α(µ − A) = α(µ−1 − A−1) and R(µ − A) = R(µ−1 − A−1).
−1 This shows that µ ∈ ΦlA (resp. ΦrA) if, and only if, µ ∈ ΦlA−1 (resp.
ΦrA−1 ), in this case we have
i(µ − A) = i(µ−1 − A−1).
Therefore, it follows from Proposition 5.1.1 that ΦlA = ΦlB (resp. ΦrA = ΦrB) and i(µ − A) = i(µ − B)
−1 −1 for each µ ∈ ΦlA (resp. ΦrA), since A − B ∈ Ie(X). Hence, to use both Lemma 5.1.1 and Theorem 5.1.1 makes us conclude that σewl(A) =
σewl(B)(resp. σewr(A) = σewr(B)), which completes the proof. Q.E.D.
5.1.2 Characterization of Left and Right Jeribi Essential Spectra
We begin with the following theorem which gives a refinement of the definition of the left Jeribi essential spectrum on L1-spaces. 150 Linear Operators and Their Essential Pseudospectra
Theorem 5.1.4 Let (Ω,Σ, µ) be an arbitrary positive measure space. Let
A be a closed, densely defined and linear operator on L1(Ω, µ). Then, l σ j(A) = σewl(A). ♦ Proof. We first claim that
l σewl(A) ⊆ σ j(A).
l ∗ Indeed, if λ ∈/ σ j(A), then there exists F ∈ W (L1(Ω, µ)) such that λ ∈/ σl(A + F). Then, λ − A − F ∈ Φl(X) and
i(λ − A − F) ≤ 0. (5.4)
∗ Since F ∈ W (L1(Ω, µ)), we have
−1 ∗ (λ − A − F) F ∈ W (L1(Ω, µ)).
Hence, by applying both Eqs. (2.8) and (2.9), we get
−1 2 [(λ − A − F) F] ∈ K (L1(Ω, µ)).
−1 So, I + (λ − A − F) F ∈ Φl(X) and
i(I + (λ − A − F)−1F) = 0. (5.5)
By using the equality
λ − A = (λ − A − F)(I + (λ − A − F)−1F), together with Lemma 2.2.9 and both Eqs. (5.4) and (5.5), we have λ −A ∈
Φl(X) and i(λ − A) = i(λ − A − F) ≤ 0.
Thus, λ ∈/ σewl(A). This proves the claim. Moreover, since
∗ K (L1(Ω, µ)) ⊂ W (L1(Ω, µ)), we infer that l σ j(A) ⊂ σewl(A), which completes the proof of theorem. Q.E.D. Essential Spectra 151
The following theorem will allow us to show that the equalities between the right Weyl essential spectrum and the right Jeribi essential spectrum.
Theorem 5.1.5 Let (Ω,Σ, µ) be an arbitrary positive measure space. Let
A be a closed, densely defined and linear operator on L1(Ω, µ). Then, we have r σ j (A) = σewr(A). ♦
∗ Proof. Since K (L1(Ω, µ)) ⊂ W (L1(Ω, µ)), then
r σ j (A) ⊂ σewr(A).
It remains to show that r σewr(A) ⊆ σ j (A). r ∗ For this, we consider λ ∈/ σ j (A), then there exists F ∈ W (L1(Ω, µ)) such that
λ ∈/ σl(A + F).
∗ Since F ∈ W (L1(Ω, µ)), we have
−1 ∗ (λ − A − F) F ∈ W (L1(Ω, µ)).
Hence, by applying Eqs. (2.8) and (2.9), we get
−1 2 [(λ − A − F) F] ∈ K (L1(Ω, µ)).
Using Lemma 2.2.5, we get
I + (λ − A − F)−1F ∈ Φ(X) and i(I + (λ − A − F)−1F) = 0.
Writing λ − A = (λ − A − F)(I + (λ − A − F)−1F). 152 Linear Operators and Their Essential Pseudospectra
Since λ ∈/ σr(A + F), then λ − A − F is right Fredholm and
i(λ − A) ≥ 0.
Therefore, by Lemma 2.2.9 (ii),
−1 (λ − A − F)(I + (λ − A − F) F) ∈ Φr(X) and i(λ − A) = i(λ − A − F) ≥ 0, which completes the proof. Q.E.D.
Remark 5.1.2 (i) Theorems 5.1.4 and 5.1.5 provide a unified definition of the left and right Weyl spectrum on L1-spaces. l r (ii) We have seen in the previous that σ j(A) and σewl(A) (resp. σ j (A) and σewr(A)) are not equal. As we observed in Theorem 5.1.4 that
l σ j(A) = σewl(A) and in Theorem 5.1.5 that
r σ j (A) = σewr(A) on L1-spaces. ♦
As a consequence of Theorems 5.1.4 and 5.1.5, we obtain the equalities l r between σewl(A) (resp. σewr(A)) and σ j(A) (resp. σ j (A)) for A ∈ C (X) with X satisfies the Dunford-Pettis property.
Corollary 5.1.1 If X satisfies the Dunford-Pettis property and A is a closed densely defined and linear operator on X, then
l σ j(A) = σewl(A), and r σ j (A) = σewr(A). ♦ Essential Spectra 153
Proof. The proof is obtained in the same way of the proof of Theorems 5.1.4 and 5.1.5. Q.E.D.
Remark 5.1.3 If X satisfies the Dunford-Pettis property and A is a closed densely defined and linear operator on X, then
l l σ j(A) = σ j(A + K) and r r σ j (A) = σ j (A + K) for all K ∈ W (X). ♦
Recall that the relationship between the left-right Jeribi essential spectra and the left-right Weyl essential spectra is the inclusion strict on a Banach space. This suggests the following theorem.
Theorem 5.1.6 If A is a closed densely defined and linear operator on ∗ Lp(Ω,dµ) with p ∈ [1,∞). If W (Lp(Ω, µ)) = S (Lp(Ω, µ)), then
l σ j(A) = σewl(A), and r σ j (A) = σewr(A). ♦
Proof. The fact that K (Lp(Ω, µ)) ⊂ S (Lp(Ω, µ)), then
l σ j(A) ⊂ σewl(A).
l Conversely, let λ ∈/ σ j(A), then there exists F ∈ S (Lp(Ω, µ)) such that
λ ∈/ σl(A + F).
This implies that λ ∈ ΦlA+F and
i(λ − A − F) ≤ 0. 154 Linear Operators and Their Essential Pseudospectra
Since F ∈ S (Lp(Ω, µ)) and S (Lp(Ω, µ)) is a two-sided ideal of Lp(Ω, µ), we have
−1 (λ − A − F) F ∈ S (Lp(Ω, µ)).
Hence, by applying Lemma 2.1.6, we get
−1 2 [(λ − A − F) F] ∈ K (Lp(Ω, µ)).
Using Lemma 2.2.5, we get
I + (λ − A − F)−1F ∈ Φb(X) and i(I + (λ − A − F)−1F) = 0. Using the equality λ − A as
λ − A = (λ − A − F)(I + (λ − A − F)−1F), together with Lemma 2.2.9 (i), we have
−1 (λ − A − F)(I + (λ − A − F) F) ∈ Φl(X) and i(λ − A) = i(λ − A − F) ≤ 0. Finally, the use of Theorem 5.1.1 shows
λ ∈/ σewl(A), which completes the proof of theorem. Q.E.D.
Corollary 5.1.2 Let A ∈ C (Lp(Ω,dµ)) with p ∈ [1,∞). Then,
(i) If A ∈ Φl(Lp(Ω,dµ)) and R ∈ S (Lp(Ω,dµ)), then A + R ∈
Φl(Lp(Ω,dµ)) and i(A + R) = i(A).
(ii) If A ∈ Φr(Lp(Ω,dµ)) and R ∈ S (Lp(Ω,dµ)), then A + R ∈ Φr(Lp(Ω,dµ)) and i(A + R) = i(A). ♦ Essential Spectra 155
T Theorem 5.1.7 Let A, B ∈ C (Lp(Ω,dµ)) such that ρ(A) ρ(B) 6= /0 (p ∈ [1,∞)). If for some λ ∈ ρ(A)Tρ(B), the operator (λ −A)−1 −(λ −B)−1 ∈
S (Lp(Ω, µ)), then
l l σ j(A) = σ j(B), and r r σ j (A) = σ j (B). ♦
Proof. Without loss of generality, we suppose that λ = 0. Hence, 0 ∈ ρ(A)Tρ(B). Therefore, we can write for µ 6= 0
µ − A = −µ(µ−1 − A−1)A.
Since, A is one-to-one and onto, then
α(µ − A) = α(µ−1 − A−1) and R(µ − A) = R(µ−1 − A−1).
−1 This shows that µ ∈ ΦlA (resp. ΦrA) if, and only if, µ ∈ ΦlA−1 (resp.
ΦrA−1 ), in this case, we have
i(µ − A) = i(µ−1 − A−1).
Therefore, it follows, from Corollary 5.1.2, that ΦlA = ΦlB (resp. ΦrA = ΦrB) and i(µ − A) = i(µ − B)
−1 −1 for each µ ∈ ΦlA (resp. ΦrA), since A − B ∈ S (Lp(Ω, µ)). Hence, l to use from Theorems 5.1.1 and 5.1.6 makes us conclude that σ j(A) = l r r σ j(B)(resp. σ j (A) = σ j (B)). Q.E.D. 156 Linear Operators and Their Essential Pseudospectra
5.2 STABILITY OF ESSENTIAL APPROXIMATE POINT SPECTRUM AND ESSENTIAL DEFECT SPECTRUM OF LINEAR OPERATOR 5.2.1 Stability of Essential Spectra
The reader interested in the results of this section may also refer to [28], which constitutes the real basis of our work. The purpose of this section, is to present the following useful stability of essential spectra.
Theorem 5.2.1 Let X be a Banach space, A and B be two operators in L (X).
(i) Assume that for each λ ∈ Φ+A, there exists a left Fredholm inverse
Aλl of λ − A such that kBAλlk < 1. Then,
σe7(A + B) = σe7(A).
(ii) Assume that for each λ ∈ Φ−A, there exists a right Fredholm inverse Aλr of λ − A such that kAλrBk < 1. Then,
σe8(A + B) = σe8(A). ♦
Proof. Let
n Pγ (X) = {A ∈ L (X) such that γ(A ) < 1, for some n > 0}, where γ(·) is the Kuratowski measure of noncompactness. Since kBAλlk <
1 (resp. kAλrBk < 1), then γ(BAλl) < 1 (resp. γ(AλrB) < 1). So, BAλl ∈
Pγ (X) (resp. AλrB ∈ Pγ (X)). Applying Proposition 2.6.2, we have
b I − BAλl ∈ Φ (X) and i(I − BAλl) = 0, (5.6) and b I − AλrB ∈ Φ (X) and i(I − AλrB) = 0. (5.7)
(i) Let λ 6∈ σe7(A), then by Proposition 3.1.3 (i), we get
b λ − A ∈ Φ+(X) Essential Spectra 157 and i(λ − A) ≤ 0.
b As, Aλl is a left Fredholm inverse of λ − A, then there exists F ∈ F (X) such that
Aλl(λ − A) = I − F on X. (5.8) By Eq. (5.8), the operator λ − A − B can be written in the form
λ −A−B = λ −A−B(Aλl(λ −A)+F) = (I −BAλl)(λ −A)−BF. (5.9)
b According to the Eq. (5.6), we have I − BAλl ∈ Φ+(X), and by using b Theorem 2.2.5, we have (I − BAλl)(λ − A) ∈ Φ+(X) and
i[(I − BAλl)(λ − A)] = i(I − BAλl) + i(λ − A) = i(λ − A) ≤ 0. By using both Eq. (5.9) and Lemma 2.3.1 (ii), we get
λ − A − B ∈ Φ+(X) and i(λ − A − B) = i(λ − A) ≤ 0.
Hence, λ 6∈ σe7(A + B). Conversely, let λ 6∈ σe7(A + B), then by Proposi- tion 3.1.3 (i), we have
b λ − A − B ∈ Φ+(X) and i(λ − A − B) ≤ 0.
Since kBAλlk < 1, and by Eq. (5.9), the operator λ − A can be written in the form −1 λ − A = (I − BAλl) (λ − A − B + BF). (5.10) Using Lemma 2.3.1 (ii), we get
b λ − A − B + BF ∈ Φ+(X) 158 Linear Operators and Their Essential Pseudospectra and i(λ − A − B + BF) = i(λ − A − B) ≤ 0.
Since I − BAλl is boundedly invertible, then by using Eq. (5.10), we have
b λ − A ∈ Φ+(X) and i(λ − A) ≤ 0.
This proves that λ 6∈ σe7(A) and, we conclude that
σe7(A + B) = σe7(A).
(ii) Let λ 6∈ σe8(A), then according to Proposition 3.1.3 (ii), we get
b λ − A ∈ Φ−(X) and i(λ − A) ≥ 0.
Since Aλr is a right Fredholm inverse of λ − A, then there exists F ∈ F b(X) such that
(λ − A)Aλr = I − F on X. (5.11) By using Eq. (5.11), the operator λ − A − B can be written in the form
λ − A − B = λ − A − ((λ − A)Aλr + F)B = (λ − A)(I − AλrB) − FB. (5.12) b A similar proof as (i), it suffices to replace Φ+(·), σe7(·), Eqs. (5.6), (5.9) b and Lemma 2.3.1 (ii) by Φ−(·), σe8(·), Eqs. (5.7), (5.12) and Lemma 2.3.1 (iii), respectively. Hence, we show that
σe8(A + B) ⊂ σe8(A).
Conversely, let λ 6∈ σe8(A + B), then by Proposition 3.1.3 (ii), we have
λ − A − B ∈ Φ−(X) Essential Spectra 159 and i(λ − A − B) ≥ 0.
Since kAλrBk < 1, and in view of Eq. (5.12), the operator λ − A can be written in the form
−1 λ − A = (λ − A − B + FB)(I − AλrB) . (5.13) According to Lemma 2.3.1 (iii), we get
b λ − A − B + FB ∈ Φ−(X) and i(λ − A − B + FB) = i(λ − A − B) ≥ 0.
So, I − AλrB is boundedly invertible. Hence, by Eq. (5.13), we have λ − b A ∈ Φ−(X) and i(λ − A) ≥ 0. This proves that λ 6∈ σe8(A). Thus,
σe8(A + B) = σe8(A), which completes the proof. Q.E.D.
5.2.2 Invariance of Essential Spectra
The purpose of this section is to show the following useful stability result for the essential approximate point spectrum and the essential defect spectrum of a closed, densely defined linear operator on a Banach space X. We begin with the following useful result.
Theorem 5.2.2 Let X be a Banach space and let A, B ∈ Φ(X). Assume that there are A0, B0 ∈ L (X) and F1,F2 ∈ PF (X) such that
AA0 = I − F1, (5.14) and
BB0 = I − F2. (5.15) T b (i) If 0 ∈ ΦA ΦB,A0 − B0 ∈ F+(X) and i(A) = i(B), then
σe7(A) = σe7(B). T b (ii) If 0 ∈ ΦA ΦB,A0 − B0 ∈ F−(X) and i(A) = i(B), then 160 Linear Operators and Their Essential Pseudospectra
σe7(A) = σe7(B). ♦
Proof. Let λ ∈ C, Eqs. (5.14) and (5.15) imply
(λ − A)A0 − (λ − B)B0 = F1 − F2 + λ(A0 − B0). (5.16)
(i) Let λ 6∈ σe7(B), then by Proposition 3.1.3 (i), we have
λ − B ∈ Φ+(X) and i(λ − B) ≤ 0.
It is clearly that B ∈ L (XB,X), where XB = (D(B),k · kB) is a Banach space for the graph norm k · kB. We can regard B as operator from XB into X. This will be denoted by Bb. Then,
b λ − Bb ∈ Φ+(XB,X) and i(λ − Bb) ≤ 0.
Moreover, as F2 ∈ PF (X), Eq. (5.15), and both Theorems 2.5.5 and b 2.2.22 imply that B0 ∈ Φ (X,XB), and consequently,
b (λ − Bb)B0 ∈ Φ+(XB,X).
b Using both Eq. (5.16) and Lemma 2.3.1, the operator A0 − B0 ∈ F+(X) imply that
b (λ − Ab)A0 ∈ Φ+(X) (5.17) and
i((λ − Ab)A0) = i((λ − Bb)B0). (5.18) A similar reasoning as before by combining Eq. (5.14), Theorem 2.5.5 and b Theorem 2.2.22, we show that A0 ∈ Φ (X,XA), where XA = (D(A),k·kA). Now, according to Theorem 2.2.3, we can write
A0T = I − F on XA, (5.19) Essential Spectra 161 where
T ∈ L (XA,X) and F ∈ F (XA). By Eq. (5.19), we have
(λ − Ab)A0T = λ − Ab− (λ − Ab)F. (5.20) b By using Eq. (5.19) and Theorem 2.2.22, we have T ∈ Φ (XA,X). According to both Eq. (5.17) and Theorem 2.2.5, we have
b (λ − Ab)A0T ∈ Φ+(XA,X). Using both Eq. (5.20) and Lemma 2.3.1 (ii), we get
b λ − Ab ∈ Φ+(XA,X). Hence, Eq. (2.6) gives
λ − A ∈ Φ+(X). (5.21)
As, F1, F2 ∈ PF (X), Eqs. (5.14), (5.15) and both Theorems 2.5.5 and 2.2.5 give
i(A) + i(A0) = i(I − F1) = 0 and
i(B) + i(B0) = i(I − F1) = 0.
Since i(A) = i(B), then i(A0) = i(B0). Using Eq. (5.18), we can write
i(λ − A) + i(A0) = i(λ − B) + i(B0). Therefore, i(λ − A) ≤ 0. (5.22)
Using both Eqs. (5.21) and (5.22), we get λ 6∈ σe7(A). Hence,
σe7(A) ⊂ σe7(B). The opposite inclusion follows by symmetry and, we obtain
σe7(A) = σe7(B).
(ii) The proof of (ii) may be checked in a similar way to that in (i). It suffices to replace σe7(·), Φ+(·), and i(·) ≤ 0 by σe8(·), Φ−(·), and i(·) ≥ 0, respectively. Q.E.D. 162 Linear Operators and Their Essential Pseudospectra
5.3 CONVERGENCE
In this section we gather some notation and results of each of conver- gence compactly and the convergence in generalized sense, that we need to prove our results later.
5.3.1 Convergence Compactly
In this section we investigate the essential spectra, σei(·), i = 1,··· ,5, of the sequence of linear operators in a Banach space X.
Theorem 5.3.1 Let (Tn)n be a bounded linear operators mapping on X, and let T and B be two operators in L (X), λ0 ∈ C, and U ⊆ C is open.
(i) If ((λ0 −Tn −B)−(λ0 −T −B))n converges to zero compactly, and 0 ∈ U , then there exists n0 ∈ N such that, for all n ≥ n0,
σei(λ0 − Tn − B) ⊆ σei(λ0 − T − B) + U , i = 1,··· ,5 and,