DOCSLIB.ORG

Pseudodifferential Operators on Manifolds, Index of Elliptic Operators

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Pseudodifferential Operators on Manifolds, Index of Elliptic Operators Chapter 8 Pseudodifferential operators on manifolds, index of elliptic operators 8.1 Coordinate changes Pseudodifferential operators will now be defined on compact manifolds. Our presentation here is meant as a useful orientation for the reader, with rela- tively brief explanations. In order to define ψdo’s on manifolds, we have to investigate how they behave under coordinate changes. Let Ω and Ω be open subsets of Rn together with a diffeomorphism κ of Ω onto Ω. When P is a ψdo defined on Ω, we define P on Ω by 1 P u = P (u κ) κ− , when u C∞(Ω), (8.1) ◦ ◦ ∈ 0 the definition extends to larger spaces as explained earlier. Theorem 8.1. 1◦ Let P = Op(q(x, y, ξ)) be a ψdo with q(x, y, ξ) m n ∈ S (Ω Ω, R ) and let K be a compact subset of Ω. With κ0 denoting the 1,0 × Jacobian matrix (∂κi/∂xj), let M(x, y) be the matrix defined by (8.6) below; it satisfies x y = M(x, y)(x y), (8.2) − − and is invertible on Uε = (x, y) x, y K, x y < ε for a sufficiently 1 { | ∈ | − | } small ε> 0, with M, M − and their derivatives bounded there. In particular, M(x, x)= κ0(x). If q(x, y, ξ) vanishes for (x, y) / Uε, then P is a ψdo with a symbol m n ∈ q(x,y, ξ) S1,0(Ω Ω, R ) (vanishing for (x,y) outside the image of Uε); it satisfies,∈ with x =×κ(x), y = κ(y), t t 1 q(x,y, ξ)= q(x, y, M(x, y)ξ) det M(x, y) det κ0(y)− . (8.3) · | | | | t In particular, q(x, x, ξ)= q(x, x, κ0(x)ξ). If q is polyhomogeneous, then so is q. 195 196 8 Pseudodifferential operators on manifolds, index of elliptic operators If q(x, y, ξ) vanishes for (x, y) / K K, let %(x, y)= χ( x y /r), then P is, for sufficiently small r, the sum∈ of an× operator with symbol| −(8.3)| multiplied by χ( x y /r) and a negligible operator. | − | For general q(x, y, ξ), let (ϕj )j N be a locally finite partition of unity on ∈ 0 Ω and write q(x, y, ξ)= j,k ϕj (x)q(x, y, ξ)ϕk(y), so that P = j,k ϕj P ϕk; then P = ϕ P ϕ with ϕ(κ(x)) = ϕ(x). The terms where supp ϕj j,k j k P P ∩ supp ϕ = are treated as above, and the others define a negligible operator k P that transforms6 ∅ to a negligible operator. 2◦ When P = Op(p(x, ξ)), P is the sum of a ψdo in x-form Op(pκ(x, ξ)) and a negligible operator, where the symbol pκ has the asymptotic expansion (H¨ormander’s formula) iκ(x) ξ iκ(x) ξ pκ(κ(x), ξ)= e− · P (e · ) (8.4) 1 α t α iµx(y) ξ α Nn α! Dξ p(x, κ0(x)ξ)∂y e · y=x ∼ ∈ 0 | m n P in S (Ω, R ); here µx(y) = κ(y) κ(x) κ0(x)(y x), and each factor 1,0 − − − α iµx(y) ξ α /2 n ϕα(x, ξ) = ∂ e · y=x is in S| | (Ω, R ) and is a polynomial in ξ of y | degree α /2. In particular, ϕ0 =1 and ϕα =0 for α =1, and in the case where p≤is | polyhomogeneous,| | | 0 0 t pκ(x, ξ)= p (x, κ0(x)ξ), (8.5) on the set where it is homogeneous. Proof. By Taylor’s formula applied to each κi, (8.2) holds with 1 M(x, y)= κ0(x + t(y x))dt, (8.6) − Z0 a smooth function of x and y where it is defined; the domain includes a neighborhood of the diagonal in Ω Ω. (Note that an M satisfying (8.2) is × uniquely determined only if n = 1.) In particular, M(x, x) = κ0(x), hence is 1 invertible. Since M(x, y)= M(x, x)[I + M(x, x)− (M(x, y) M(x, x))], it is 1 − seen by a Neumann series construction that M(x, y)− exists and is bounded (with bounded derivatives) for (x, y) U , for a sufficiently small ε> 0. ∈ ε If q(x, y, ξ) vanishes for (x, y) / Uε, we have for u C0∞(Ω), setting ξ = tM(x, y)ξ: ∈ ∈ i(x y) ξ – (P u)(κ(x)) = e − · q(x, y, ξ)u(κ(y)) dydξ Z i(x y) tMξ 1 t – = e − · q(x, y, ξ)u(y) det κ0(y)− det M(x, y) dydξ | | | | Z i(x y) ξ – = e − · q(x,y, ξ)u(y) dydξ, Z 8.2 Operators on manifolds 197 d with q defined by (8.3). Clearly, q is a symbol in S1,0 as asserted. When x = y, 1 t det κ0(y)− and det M(x, y) cancel out. The formula (8.3) shows moreover that polyhomogeneity is preserved. If q(x, y, ξ) vanishes for (x, y) / K K, we write ∈ × P = + P , R 1 where = Op((1 χ( x y /r))q(x, y, ξ)) is negligible by Lemma 7.9, and P is asR above; we− can e.g.| − take| r = ε/2. Since is an integral operator with 1 R C∞-kernel, so is the transformed operator . For the general q, one uses that the summationR of the terms with supp ϕ j ∩ supp ϕk = is finite locally in (x, y). If we6 now∅ consider an operator given in x-form, one can find the x-form pκ of the symbol of P by an application of Theorem 7.13 1◦. The formula (8.5) follows easily from this. As for (8.4), the first formula is the characterization we know from (7.29). The second formula is given in more detail in [H85, Th. 18.1.17]; it was first proved in [H65]. The present method of proof going via (x, y)-forms is slightly different from that of [H65] and is, according to Friedrichs [F68], due to Kuranishi. ut 8.2 Operators on manifolds The definition of an n-dimensional C∞-manifold X is explained e.g. in [H63, Sect. 1.8] and [H83, pp. 143–144]. X is a Hausdorff topological space, provided with a family of homeomorphisms κ, called coordinate systems, of open F n sets Uκ X onto open sets Vκ R (coordinate patches) such that: (i) For ⊂ ⊂ any κj ,κk in the family, 1 κ κ− : κ (U U ) κ (U U ) is a diffeomorphism. (8.7) j k k κj ∩ κk → j κj ∩ κk (This is of course an empty statement unless U U = .) (ii) The sets κj ∩ κk 6 ∅ Uκ cover X. (iii) The family is complete, in the sense that when a homeo- F n morphism κ0 from an open set U0 X to an open set V0 R is such that (8.7) holds for κ = κ , any κ ⊂ , then κ . A subfamily⊂ where the j 0 k ∈ F 0 ∈ F Uκ’s cover X is called an atlas; it already describes the structure. Consider just compact manifolds, then a finite atlas κj : Uj Vj j = 1,...,j suffices to describe the structure, and we can{ assume that→ the| V 0} j are bounded and mutually disjoint in Rn. We define that a function u on X m 1 is C∞, C or L , when the function y u(κ− (y)) is so on V , for each p,loc 7→ j j j. Since X is compact, the Lp,loc-functions are in fact in Lp(X), which can 1 j0 1 p be provided with a Banach space norm ( (ψj u) κ− ) p , defined j=1 k ◦ j kLp(Vj ) with the help of a partition of unity as in Lemma 8.4 1 below. P ◦ 198 8 Pseudodifferential operators on manifolds, index of elliptic operators Recall the rule for coordinate changes of distributions in Definition 3.19, which, in the application to test functions, carries a functional determinant factor J along in order to make the rule consistent with coordinate changes in integrals with continuous functions. Namely, when κ : x x is a diffeo- n 1 7→ morphism from V to V in R , u = u κ− satisfies ◦ u, ϕ = u, J ϕ = J u, ϕ (8.8) h iV h · iV h · iV 1 for ϕ C0∞(V ), with J(x)= det κ0(x) , ϕ = ϕ κ− . A distribution∈ density u on |X is defined| in [H83,◦ Sect. 6.3] to be a collection of distributions uκ D 0(Vκ), κ , such that the rule (8.8) is respected by ∈ 1 ∈F the diffeomorphisms κ = κ κ− going from κ (U U ) to κ (U U ), for j k k κj ∩ κk j κj ∩ κk all κ ,κ . The value of u on C∞-functions ϕ on X is then found by linear j k ∈F 0 extension from the cases where ϕ is supported in a Uκ: When ϕ C0∞(Uκ), then ∈ 1 u, ϕ = u , ϕ κ− . (8.9) h i h κ ◦ iVκ When ϕ C∞(X), write ϕ as a finite sum of functions supported in coor- ∈ dinate sets Uκ by use of a partition of unity as in Lemma 8.4 1◦ below, and apply (8.9) to each term. In particular, when the structure of the compact manifold X is defined by the atlas κj : Uj Vj , 1 j j0, let (ψj )1 j j be a partition of unity → ≤ ≤ ≤ ≤ 0 as in Lemma 8.4 1◦; then the distribution density u defined from a system u D 0(V ), 1 j j , is evaluated on test functions ϕ C∞(X) by j ∈ j ≤ ≤ 0 ∈ j0 1 u, ϕ = u , (ψ ϕ) κ− .
Load more

Recommended publications
  • The Index of Normal Fredholm Elements of C* -Algebras
    proceedings of the american mathematical society Volume 113, Number 1, September 1991 THE INDEX OF NORMAL FREDHOLM ELEMENTS OF C*-ALGEBRAS J. A. MINGO AND J. S. SPIELBERG (Communicated by Palle E. T. Jorgensen) Abstract. Examples are given of normal elements of C*-algebras that are invertible modulo an ideal and have nonzero index, in contrast to the case of Fredholm operators on Hubert space. It is shown that this phenomenon occurs only along the lines of these examples. Let T be a bounded operator on a Hubert space. If the range of T is closed and both T and T* have a finite dimensional kernel then T is Fredholm, and the index of T is dim(kerT) - dim(kerT*). If T is normal then kerT = ker T*, so a normal Fredholm operator has index 0. Let us consider a generalization of the notion of Fredholm operator intro- duced by Atiyah. Let X be a compact Hausdorff space and consider continuous functions T: X —>B(H), where B(H) is the set of bounded linear operators on a separable infinite dimensional Hubert space with the norm topology. The set of such functions forms a C*- algebra C(X) <g>B(H). A function T is Fredholm if T(x) is Fredholm for each x . Atiyah [1, Appendix] showed how such an element has an index which is an element of K°(X). Suppose that T is Fredholm and T(x) is normal for each x. Is the index of T necessarily 0? There is a generalization of this question that we would like to consider.
    [Show full text]
  • Basic Theory of Fredholm Operators Annali Della Scuola Normale Superiore Di Pisa, Classe Di Scienze 3E Série, Tome 21, No 2 (1967), P
    ANNALI DELLA SCUOLA NORMALE SUPERIORE DI PISA Classe di Scienze MARTIN SCHECHTER Basic theory of Fredholm operators Annali della Scuola Normale Superiore di Pisa, Classe di Scienze 3e série, tome 21, no 2 (1967), p. 261-280 <http://www.numdam.org/item?id=ASNSP_1967_3_21_2_261_0> © Scuola Normale Superiore, Pisa, 1967, tous droits réservés. L’accès aux archives de la revue « Annali della Scuola Normale Superiore di Pisa, Classe di Scienze » (http://www.sns.it/it/edizioni/riviste/annaliscienze/) implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/conditions). Toute utilisa- tion commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ BASIC THEORY OF FREDHOLM OPERATORS (*) MARTIN SOHECHTER 1. Introduction. " A linear operator A from a Banach space X to a Banach space Y is called a Fredholm operator if 1. A is closed 2. the domain D (A) of A is dense in X 3. a (A), the dimension of the null space N (A) of A, is finite 4. .R (A), the range of A, is closed in Y 5. ~ (A), the codimension of R (A) in Y, is finite. The terminology stems from the classical Fredholm theory of integral equations. Special types of Fredholm operators were considered by many authors since that time, but systematic treatments were not given until the work of Atkinson [1]~ Gohberg [2, 3, 4] and Yood [5]. These papers conside- red bounded operators.
    [Show full text]
  • Notex on Fredholm (And Compact) Operators
    Notex on Fredholm (and compact) operators October 5, 2009 Abstract In these separate notes, we give an exposition on Fredholm operators between Banach spaces. In particular, we prove the theorems stated in the last section of the first lecture 1. Contents 1 Fredholm operators: basic properties 2 2 Compact operators: basic properties 3 3 Compact operators: the Fredholm alternative 4 4 The relation between Fredholm and compact operators 7 1emphasize that some of the extra-material is just for your curiosity and is not needed for the promised proofs. It is a good exercise for you to cross out the parts which are not needed 1 1 Fredholm operators: basic properties Let E and F be two Banach spaces. We denote by L(E, F) the space of bounded linear operators from E to F. Definition 1.1 A bounded operator T : E −→ F is called Fredholm if Ker(A) and Coker(A) are finite dimensional. We denote by F(E, F) the space of all Fredholm operators from E to F. The index of a Fredholm operator A is defined by Index(A) := dim(Ker(A)) − dim(Coker(A)). Note that a consequence of the Fredholmness is the fact that R(A) = Im(A) is closed. Here are the first properties of Fredholm operators. Theorem 1.2 Let E, F, G be Banach spaces. (i) If B : E −→ F and A : F −→ G are bounded, and two out of the three operators A, B and AB are Fredholm, then so is the third, and Index(A ◦ B) = Index(A) + Index(B).
    [Show full text]
  • Fredholm Operators and Spectral Flow, Canad
    Fredholm Operators and Spectral Flow Nils Waterstraat arXiv:1603.02009v1 [math.FA] 7 Mar 2016 2 Contents 1 Linear Operators 7 1.1 BoundedOperatorsandSubspaces . ...... 7 1.2 ClosedOperators................................. ... 10 1.3 SpectralTheory.................................. ... 15 2 Selfadjoint Operators 21 2.1 DefinitionsandBasicProperties . ....... 21 2.2 Spectral Theoryof Selfadjoint Operators . ........... 26 3 The Gap Topology 29 3.1 DefinitionandProperties . ..... 29 3.2 StabilityofSpectra.............................. ..... 34 3.3 Spaces ofSelfadjoint FredholmOperators . .......... 36 4 The Spectral Flow 39 4.1 DefinitionoftheSpectralFlow . ...... 39 4.2 PropertiesandUniqueness. ...... 42 4.3 CrossingForms ................................... .. 46 5 A Simple Example and a Glimpse at the Literature 49 5.1 ASimpleExample .................................. 49 5.2 AGlimpseattheLiterature. ..... 51 3 4 CONTENTS Introduction Fredholm operators are one of the most important classes of linear operators in mathematics. They were introduced around 1900 in the study of integral operators and by definition they share many properties with linear operators between finite dimensional spaces. They appear naturally in global analysis which is a branch of pure mathematics concerned with the global and topological properties of systems of differential equations on manifolds. One of the basic important facts says that every linear elliptic differential operator acting on sections of a vector bundle over a closed manifold induces a Fredholm operator on a suitable Banach space comple- tion of bundle sections. Every Fredholm operator has an integer-valued index, which is invariant under deformations of the operator, and the most fundamental theorem in global analysis is the Atiyah-Singer index theorem [AS68] which gives an explicit formula for the Fredholm index of an elliptic operator on a closed manifold in terms of topological data.
    [Show full text]
  • Fredholm Operators and Atkinson's Theorem
    1 A One Lecture Introduction to Fredholm Operators Craig Sinnamon 250380771 December, 2009 1. Introduction This is an elementary introdution to Fredholm operators on a Hilbert space H. Fredholm operators are named after a Swedish mathematician, Ivar Fredholm(1866-1927), who studied integral equations. We will introduce two definitions of a Fredholm operator and prove their equivalance. We will also discuss briefly the index map defined on the set of Fredholm operators. Note that results proved in 4154A Functional Analysis by Prof. Khalkhali may be used without proof. Definition 1.1: A bounded, linear operator T : H ! H is said to be Fredholm if 1) rangeT ⊆ H is closed 2) dimkerT < 1 3) dimketT ∗ < 1 Notice that for a bounded linear operator T on a Hilbert space H, kerT ∗ = (ImageT )?. Indeed: x 2 kerT ∗ , T ∗x = 0 ,< T ∗x; y >= 0 for all y 2 H ,< x:T y >= 0 , x 2 (ImageT )? A good way to think about these Fredholm operators is as operators that are "almost invertible". This notion of "almost invertible" will be made pre- cise later. For now, notice that that operator is almost injective as it has only a finite dimensional kernal, and almost surjective as kerT ∗ = (ImageT )? is also finite dimensional. We will now introduce some algebraic structure on the set of all bounded linear functionals, L(H) and from here make the above discussion precise. 2 2. Bounded Linear Operators as a Banach Algebra Definition 2.1:A C algebra is a ring A with identity along with a ring homomorphism f : C ! A such that 1 7! 1A and f(C) ⊆ Z(A).
    [Show full text]
  • A → B Between Banach Spaces Is a Fredholm Operator If Ker L and Coker L Are finite Dimensional
    LECTURE 6. PART III, MORSE HOMOLOGY, 2011 HTTP://MORSEHOMOLOGY.WIKISPACES.COM 2.3. Fredholm theory. Def. A bounded linear map L : A → B between Banach spaces is a Fredholm operator if ker L and coker L are finite dimensional. Def. A map f : M → N between Banach mfds is a Fredholm map if dpf : TpM → Tf(p)N is a Fredholm operator. Basic Facts about Fredholm operators (1) K = ker L has a closed complement A0 ⊂ A. (so the implicit function theorem applies to Fredholm maps). 1 ∗ ∗ ∗ ∗ Pf. pick basis v1,...,vk of K, pick dual v1 ,...,vk ∈ A . A0 = ∩ ker vi . (2) im(L)= image(L) ⊂ B is closed. (so coker L = B/im(L) is Banach) Pf. pick complement C to im(L). C is finite dim’l, so closed, so Banach. ⇒ L : A/K ⊕ C → B,L(a,c)= La + c is a bounded linear bijection, hence an iso (open mapping theorem). So L(A/K) = Im(L) is closed. (3) A = A0 ⊕K, B = B0 ⊕C where B0 = im(L), C = complement (=∼ coker L). iso 0 ⇒ L = 0 0 : A0 ⊕ K → B0 ⊕ C Def. index(L) = dim ker L − dim coker L. (4) Perturbing L preserves the Fredholm condition and the index: Claim.2 s : A → B bdd linear with small norm ⇒ ∃ “change of basis” isos i : A ∼ B ⊕ K = 0 such that j ◦ (L + s) ◦ i = I 0 j : B =∼ B0 ⊕ C 0 ℓ for some linear map ℓ : K → C. Note: dim ker drops by rank(ℓ), but also dim coker drops by rank(ℓ).
    [Show full text]
  • Fredholm Operators and the Generalized Index
    FREDHOLM OPERATORS AND THE GENERALIZED INDEX JOSEPH BREEN CONTENTS 1. Introduction 1 1.1. Index Theory in Finite Dimensions 2 2. The Space of Fredholm Operators 3 3. Vector Bundles and K-Theory 6 3.1. Vector Bundles 6 3.2. K-Theory 8 4. The Atiyah-Janich¨ Theorem 9 4.1. The Generalized Index Map 10 5. Index Theory Examples 12 5.1. Toeplitz Operators and the Toeplitz Index Theorem 12 5.2. The Atiyah-Singer Index Theorem 14 6. Conclusion 16 References 17 1. INTRODUCTION One of the most fundamental problems in mathematics is to solve linear equations of the form T f = g, where T is a linear transformation, g is known, and f is some unknown quantity. The simplest example of this comes from elementary linear algebra, which deals with solutions to matrix-vector equations of the form Ax = b. More generally, if V; W are vector spaces (or, in particular, Hilbert or Banach spaces), we might be interested in solving equations of the form T v = w where v 2 V , w 2 W , and T is a linear map from V ! W . A more explicit source of examples is that of differential equations. For instance, one can seek solutions to a system of differential equations of the form Ax(t) = x0(t), where, again, A is a matrix. From physics, we get important partial differential equations such as Poisson’s equation: ∆f = g, Pn @2 n where ∆ = i=1 2 and f and g are functions on R . In general, we can take certain partial @xi differential equations and repackage them in the form Df = g for some suitable differential operator D between Banach spaces.
    [Show full text]
  • 16.3 Fredholm Operators
    Lectures 16 and 17 16.3 Fredholm Operators A nice way to think about compact operators is to show that set of compact op­ erators is the closure of the set of finite rank operator in operator norm. In this sense compact operator are similar to the finite dimensional case. One property of finite rank operators that does not generalize to this setting is theorem from linear algebra that if T : X → Y is a linear transformation of finite dimensional vector spaces then dim(ker(T )) − dim(Coker(T )) = dim(X ) − dim(Y ). 35 Of course if X or Y is infinite dimensional then the right hand side of equal­ ity does not make sense however the stability property that the equality implies could be generalized. This brings us to the study of Fredholm operators. It turns out that many of the operators arising naturally in geometry, the Laplacian, the Dirac operator etc give rise to Fredholm operators. The following is mainly from H ormander¨ Definition 16.13. Let X and Y be Banach spaces and let T : X → Y be a bounded linear operator. T is said to be Fredholm if the following hold. 1. ker(T ) is finite dimensional. 2. Ran(T ) is closed. 3. Coker(T ) is finite dimensional. If T is Fredholm define the index of T denoted Ind(T ) to be the number dim(ker(T ))− dim(Coker(T )) First let us show that the closed range condition is redundant. Lemma 16.14. Let T : X → Y be a operator so that the range admits a closed complementary subspace.
    [Show full text]
  • On the Essential Spectrum*
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS 25, 121-127 (1969) On the Essential Spectrum* IL GUSTAFSON University of Colorado, Boulder, Colorado 80302 AND J. WEIDMANN University of Munich, Germany Submitted by P. D. Lax 1. INTRODUCTION For bounded self-adjoint operators A and B in a Hilbert space, Weyl’s theorem [1] states that a,(A + B) = o,(A) if B is compact and u, denotes the essential spectrum of an operator (in this case just the limit-points of the spectrum). On the other hand it is an immediate corollary of the spectral theorem that if a,(A + B) = u,(A) for all bounded self-adjoint operators A, then (the self-adjoint) B is compact. Recently there has been much interest concerning extensions and applications of Weyl’s theorem to unbounded operators in a Banach space. The basic contention of this note is that one cannot extend Weyl’s theorem significantly beyond a (rather strong) relative compactness requirement on the perturbation B, in general. To this end we shall: (a) exhibit limitations to the extendability of Weyl’s theorem; and (b) give an analogue of the above- mentioned corollary of the spectral theorem for non-self-adjoint operators in Hilbert space. In Section 2 we make precise the different definitions of the essential spectrum; in Section 3 we examine the possibility of extending Weyl’s theo- rem to B which are not relatively compact and show that the approach of Schechter [2, 31 cannot be pushed further on to P-compactness (n > 2), in general.
    [Show full text]
  • The Fredholm Spectrum of the Sum and Product of Two Operators
    TRANSACTIONSOF THE AMERICANMATHEMATICAL SOCIETY Volume 191,1974 THE FREDHOLMSPECTRUM OF THE SUMAND PRODUCTOF TWOOPERATORS BY JACK SHAPIRO AND MORRISSNOW( 1) ABSTRACT. Let C(X) denote the set of closed operators with dense domain on a Banach space X, and L(X) the set of all bounded linear operators on X. Let *(X) denote the set of all Fredholm operators on X, and °$(-4) the set of all complex numbers X such that (X — A) e" t(X). In this paper we establish conditions under which &q(A +fi) C cr^fA) + °^(/3), o-#(¿M) C c^(A) • °$(B), and °"tM/3)C o^(A)cr¿B). In this paper we will use the operational calculus developed in [3] to establish a property of the Fredholm spectrum of the sum and product of two operators. Definition 1. A closed operator A from a Banach space X to a Banach space y is called a Fredholm operator if: (1) the domain of A, D(A), is dense in X. (2) <x(A) = dim [NiA)] < oo. (3) RiA), the range of A, is closed in Y. (4) ß(A), the codimension of RiA) in Y, is finite. It is shown in [l, Lemma 332] that condition (4) implies condition (3). A dis- cussion of Fredholm operators can be found in [2]. We denote the set of Fredholm operators from X to Y by $(X). Definition 2. A e <bA ¡f and only if (A- A) e f(X). Definition 3. A e ct+(A) if and only if A 4 $A. Definition 4.
    [Show full text]
  • FREDHOLM OPERATORS (NOTES for FUNCTIONAL ANALYSIS) We Assume Throughout the Following That X and Y Are Banach Spaces Over the Fi
    FREDHOLM OPERATORS (NOTES FOR FUNCTIONAL ANALYSIS) CHRIS WENDL We assume throughout the following that X and Y are Banach spaces over the field K P tR; Cu unless otherwise specified. For a bounded linear operator T P L pX; Y q, we denote its transpose, also known as its dual operator, by T ˚ : Y ˚ Ñ X˚ :Λ ÞÑ Λ ˝ T . Contents 1. Definitions and examples 1 1 ´1 2. The Sobolev spaces H0 pΩq and H pΩq 2 3. Main theorems 6 4. Some preparatory results 9 5. The semi-Fredholm property 11 6. Compact perturbations 12 References 14 1. Definitions and examples A bounded linear operator T : X Ñ Y is called a Fredholm operator if dim ker T ă 8 and dim coker T ă 8; where by definition the cokernel of T is coker T :“ Y im T; so the second condition means that the image ofLT has finite codimension. The Fredholm index of T is then the integer indpT q :“ dim ker T ´ dim coker T P Z: Fredholm operators arise naturally in the study of linear PDEs, in particular as certain types of differential operators for functions on compact domains (often with suitable boundary conditions imposed). 1 Example 1.1. For periodic functions of one variable x P S “ R{Z with values in a finite- k 1 k´1 1 dimensional vector space V , the derivative Bx : C pS q Ñ C pS q is a Fredholm operator with index 0 for any k P N. Indeed, 1 k 1 ker Bx “ constant functions S Ñ V Ă C pS q; and ( k´1 1 im Bx “ g P C pS q gpxq dx “ 0 ; 1 " ˇ »S * the latter follows from the fundamental theorem ofˇ calculus since the condition g x dx 0 ˇ S1 p q “ ensures that the function fpxq :“ x gptq dt on isˇ periodic.
    [Show full text]
  • Funktionalanalysis
    Ralph Chill Skript zur Vorlesung Funktionalanalysis July 23, 2016 ⃝c R. Chill v Vorwort: Ich habe dieses Skript zur Vorlesung Funktionalanalysis an der Universitat¨ Ulm und an der TU Dresden nach meinem besten Wissen und Gewissen geschrieben. Mit Sicherheit schlichen sich jedoch Druckfehler oder gar mathematische Unge- nauigkeiten ein, die man beim ersten Schreiben eines Skripts nicht vermeiden kann. Moge¨ man mir diese Fehler verzeihen. Obwohl die Vorlesung auf Deutsch gehalten wird, habe ich mich entschieden, dieses Skript auf Englisch zu verfassen. Auf diese Weise wird eine Brucke¨ zwischen der Vorlesung und der (meist englischsprachigen) Literatur geschlagen. Mathematik sollte jedenfalls unabhangig¨ von der Sprache sein in der sie prasentiert¨ wird. Ich danke Johannes Ruf und Manfred Sauter fur¨ ihre Kommentare zu einer fruheren¨ Version dieses Skripts. Fur¨ weitere Kommentare, die zur Verbesserungen beitragen, bin ich sehr dankbar. Contents 0 Primer on topology ............................................. 1 0.1 Metric spaces . 1 0.2 Sequences, convergence . 4 0.3 Compact spaces . 6 0.4 Continuity . 7 0.5 Completion of a metric space . 8 1 Banach spaces and bounded linear operators ...................... 11 1.1 Normed spaces. 11 1.2 Product spaces and quotient spaces . 17 1.3 Bounded linear operators . 20 1.4 The Arzela-Ascoli` theorem . 25 2 Hilbert spaces ................................................. 29 2.1 Inner product spaces . 29 2.2 Orthogonal decomposition . 33 2.3 * Fourier series . 37 2.4 Linear functionals on Hilbert spaces . 42 2.5 Weak convergence in Hilbert spaces . 43 3 Dual spaces and weak convergence ............................... 47 3.1 The theorem of Hahn-Banach . 47 3.2 Weak∗ convergence and the theorem of Banach-Alaoglu .
    [Show full text]