Short note on compact operators - Monday 24 th March, Sylvester Eriksson-Bique

Size: px
Start display at page:

Download "Short note on compact operators - Monday 24 th March, Sylvester Eriksson-Bique"

Transcription

1 Short note on compact operators - Monday 24 th March, 2014 Sylvester Eriksson-Bique 1 Introduction In this note I will give a short outline about the structure theory of compact operators. I restrict attention to K(X) = {K : X X compact}. The case of K(X Y ) involves other technicalities, since we can not do spectral theory. First I will give a few examples. Example 1: A : l 2 l 2 given by A( x i e i ) = i=0 a i x i e i is compact iff lim i a i = 0. This means that compact operators correspond, roughly speaking, with c 0. Example 2:Take the unit circle T. Consider the map from L 2 (T) L 2 (T) given by f F N f (the Fejer kernel). This is bounded and compact. In fact it is finite rank. Note that for any even nominally smooth function T C α, we have that the integral operator T f = T (x y)f(y)dy, T will be comapt. Thus mollification is compact. Note that the convolution is given by a multiplication in the frequency space, i.e. the Fourier transform diagonalized a convolution operator. Thus one can think of compact operators as mollifying infinities. Side note: This is actually a remarkably interesting class of examples, because it is exactly the method used to find linear representations of compact topological groups (Peter-Weil-Neumann theory). The idea is to look at compact operators arising as mollifiers, and their eigenspaces. Other tools are Haar-measures, and approximations of unities. With another significant i=0 1

2 step this leads to a solution to Hilbert s 5th problem and a large number of powerful corollaries in geometry follow. Example 3: I lied a little bit, more is true. If K(x, y) L 2 (T T), then the integral operator T f = K(x, y)f(y)dy, T will be compact. This is a good exercise to think about. 1 The idea here is that integral operators, however wild, usually make functions a bit nicer. Averaging helps a lot, and if there is good control on the kernel then the operator will be very nice (here even compact). One reason for this is cancelling out big frequencies. Example 4: In partial differential equations certain operators of the above form arise naturally. Consider the function 1 (n 2)ω n 1 n > 2 x y n 2 N(x) =. 1 log x y n=2 2π This is the Newton kernel, and ω n is the surface area of the n-sphere. The Newton kernel is the fundamental solution to the Laplacian, and corresponds to the potential field generated by a point mass/charge. Take a domain with sufficiently smooth boundary D R n 2. And consider the operators mapping C( D) C(D) given by T 1 f(x) = N(x y)f(y)dy, D and T 2 f(x) = ( ν N)(x y)f(y)dy. D These correspond to the single and double layer potentials. The names derive from physics; T 1 computes the potential for a charge distribution given by f on the boundary, whereas T 2 computed the potential distribution given 1 Hint: Finite rank condition (easier way), weak convergence defintion (slightly harder). 2 Sufficiently nice=c 2 to make your life easy, C 1 if you are brave, and Lipschitz if you have had a few beers. The Lipschitz case is kind of hard, but I managed to convince myself that the errors can be bounded... 2

3 by infinitesimal dipoles placed normally to the boundary with charge distribution f (or small bar magnets, if you think in terms of magnetic fields). T 1 corresponds to soliving the Neumann problem and T 2 for the Dirichlet problem. Take the boundary values of ν T 1 and T 2, which gives S 1, S 2 : C( D) L ( D) (It is important to take non-tangential limits). These can not be taken naively, because there is a so called jump condition. We get in fact S 1 = 1/2I T 2, S 2 = 1/2I + T 2 The wonderful fact is that T 2 is a copact operator mapping L 2 L 2 (see the third example). It is called a weakely singular operator. Now since T 1 f, T 2 f will be clearly harmonic in the interior, we are left to study solvability of the equation 1/2I ± T 2 f = φ. Here the Fredholm alternative and some basic maximum principle arguments will take you home. Thus you get a proof of existence of solutions for the Dirichlet/Neumann problems for sufficiently nice boundaries. Example 5: 3 I am compelled to present another type of beautiful example, while I won t give details. Consider a domain of the euclidean space D, with nice boundary D. Further consider the non-homogenous wave equation ( t 2 1 )u = c 2 c u = 0. u t=0 = u 0 C 0 (D), t u t=0 = 0 A problem in inverse-tomography, or more precisely photo-aucustic tomography involves reconstructing the signal u 0, or it s singularities, from measurements along the boundary D (or part of it, but I will assume we have complete data). Singularities are important, because they represent boundaries of tissue. There is a beautiful theory about how the singularities of the wave equation propagate. In fact, they propagate along geodesics for the metric 1/c 2 dx 2, with unit speed! The main concept here is the so called Wave-front set, and 3 Recently published in more general form by Gunther Uhlmann, Plamen Stefanov. See Thermoacoustic tomography with variable sound speed. 3

4 the amazing Lax-parametrix. It is astonishing that we can give such a precise description of the singularities, while at the same time being so intuitive. Now assume that the velocity is a smooth function and D is geodesically convex without trapped geodesics. That is, sound propagates out of the domain and does not return (for example, for simplicity just take c=1). consider a very large time T. Since the singularities of u 0 will propagate along shortest paths (when c=1, along straight lines), they must leave the domain D by the time T, if it is chosen large enough. In fact the map u 0 u(t, ) D will be regularizing, sending the Sobolev space H 2 1 to smooth functions C (D). Being regularizing and using some functional analysis arguments, it must be compact! This is important in proving that a certain iterative scheme for the solution converges. For example, from compactness, the norm of the operator must actually be strictly less than 1, because some energy must flow out. Otherwise, the norm being 1, would mean that there was a u that flows first out of D and then back into D (this is Tataru s unique continuation result). Lemma 1. D is a smooth bounded domain. Let T : L 2 (D) L 2 (D) be a bounded operator and T f H1 2 for all f L 2, then in fact the induced operator S : L 2 H1 2 is bounded, and moreover T is compact. Proof: The latter follows from the first, because by T = i S, where i : H1 2 L 2 is the inclusion and by Rellich is compact. For the first claim, apply closed graph. The graph of S is {(x, Sx) = (x, T x) x L 2, Sx H 2 1}. We prove that this is closed in L 2 H 2 1. Assume x i x and Sx i = T x i y, where the convergence is in H 1 2 norm. But we know that T x i T x in L 2, so y = T x by L 2 continuity, which completes the proof! Example 6: Consider the operator T : i=0 x ie i i=0 a ix i e i+1, where lim i a i = 0 is compact, but has no eigenfunctions. 2 Spectrum of compact operator Recall λ σ(t ) iff λi T is not invertible. I.e. one of the following occurs: 4

5 λi T does not have dense image, and is injective, i.e. λ is in the residual spectrum σ r (T ). λi T is injective but not bounded from below, λ is in the approximate point spectrum σ ap (T ). λi T is surjective, but not injective, in which case λ is an eigenvalue/is in the point spectrum σ p (T ). λi T is surjective and injective by open mapping theorem it is invertible and λ σ(t ). It turns out that for compact operators there is (essentially) no residual spectrum. Further approximate eigenvalues, are real eigenvalues (modulo the degeneracy at 0, where anything can happen). Lemma 2 (No approximate spectrum). For compact operators 0 λ σ ap (K) iff λ σ p (K). Proof: In Hilbert spaces, and reflexive and separable cases this is easier. Assume by scaling that λ = 1. Bounded below means that (I K)x c x, so since we don t have this bound we can take x i = 1 such that x i Kx i 1/i. Take a weakely convergent subsequence x i y. Then K(x i ) K(y) strongly, and since Kx i 1, we have y = 1. Further take any element in the dual λ X, and consider: 0 = lim < λ, x i K i >= lim < λ, y Ky >. Thus y = Ky, because λ was arbitrary. The problem here was that I used relfexivity, and separability to extract converging sequences. So another argument is needed. Take the x i as above, and assume that there is no subsequence that converges. This is only possible, if there exists a subsequence x nk and an ɛ > 0 such that x ns x nt > ɛ. But now also Kx ns Kx nt > ɛ/2 for all s, t big enough. But this contradicts compactness, since the image sequence does not have a convergent subsequence. 5

6 A suprising fact about compact operators is given by the following lemma. Lemma 3. If λi K is injective, then it is surjective for λ > 0. Proof: Again, let λ = 1 and T = I K. Consider V i = Im(T i ). Clearly V i+1 V i and T (V i ) V i+1. Take vectors x i V i such that d(x i, V i+1 ) = inf x Vi+1 x i x = 1/2 and x i = 1. These are called generalized eigenvectors. Now x i is one-separated, and T (x i ) V i+1. However for j > i Kx i Kx j = x i x j T (x i ) + T (x j ) 1/2. This last follows since x j T (x i ) + T (x j ) V i+1, but this contradicst compactness of K. Corollary 4. If λi K is surjective, then it is injective for λ > 0. Proof: The dual of T = I K is T = I K, which is injective if and only if T is surjective. Lemma 5 (Fredholm alternative). For compact operators K, σ r (K) {0}. More is true, Im(λI K) is closed for all λ 0 and codim(x) = dim(x/im(λi K)) = dim(ker(λi K)) Proof: The lemma states that λi K is Fredholm with index 0. First of all define T = λi K, S = ker(t ). First note that S is finite dimensional. This is because K S = λi and λi is a compact operator only on finite subspaces. Since S is finite dimensional, it is possible to find a closed subspace V such that X = S V, possibly with slightly distorted norm (Hint: consider first dim(s) = 1). Denote ImV = V. The operator T V : V V is compact. Also it satisfies for some C > 0: 1/C x T x C x. 6

7 But then if T x i is a Cauchy sequence, then also x i must be a Cauchy sequence, so x i y and T x i T y, hence the image is closed. Recall that the adjoint of the compact operator K is compact and hence T = λi K is also Fredholm and we can repeat the previous argument to get that kert = S is finite dimensional. Thus we have two decomopositions of X = S V = S V. Further we note that T is invertible if and only if T is invertible. We prove that dim(s) = dim(s ). Assume dim(s) dim(s ). Take your favourite map S S which is an injection, call it F. Now K + F is compact. Also T = λi (K + F ) is injective, and thus by the previous corollary it is surjective. But this means that dim(s ) dim(s). By contradiction we have affirmed the equality. On the other hand, assume dim(s) dim(s ). Then take an F operator mapping S surjectively onto S and consider again T = λi (K + F ). This is surjective and by previous corollary injective, so again the result follows. Theorem 6. The spectrum of a compact operator is countable and can have only 0 as an accumulation point. Proof: Every non-zero element in the spectrum must be in the point spectrum by the above. Thus we have λ i λ, and Kx i = λ i x i, x i > 1. Take V i = span(x 1,... x i ), and as above choose y i = a i x i + v i 1, v i 1 V i 1, such that y i = 1, and d(y i, V i 1 ) > 1/2. Note that y i y j > 1/2, and again for j > i Ky i Ky j = λ i y i λ j y j λ j λ j λ i. Thus this doesn t have any convergent subsequences. Theorem 7. For compact self-adjoint operators on a separable Hilbert space all the above holds, but also the space splits into orthogonal eigenspaces. 7

8 Proof: As we discussed. One uses a variational principle to prove that the eigenvalues can be obtained by a maximizing procedure, and iteratively extracting eigenspaces. By separability one will be done after countable operations (use a Zorns-lemma argument by taking the union of all orthonormal sets that diagonalize the operator). 3 Final remarks In the non-selfadjoint case the main problems arise because we may not have reflexivity (can t use weak convergence), and because we cant induct with orthogonality. In the self-adjoint case we can simply use a variational principle to extract eigenvalues and use orthogonality to get smaller and smaller subspaces. For general compact operators it is harder, since there may be no eigenvalues, i.e. the case when the spectral radius satisfies lim n ( Kn ) 1/n = 0. Thus we don t have many invariant subspaces. The proof still uses the same idea of invariant subspaces, but needs to deal with approximation and errors. One has to deal with the fact that T may also contain shifts like in example 6. Also the spectral character of 0 could be very wild. Thus a general form of the spectral theorem is technical without self-adjointness. If one tries to work without compactness all hell breaks loose. Self-adjointness salvages most of the theorems. The tools will change to use operator algebras, and functional calculus. This time one doesn t have eigenvalues, but approximate eigenvalues. Instead of splitting the space into eigenspaces one can split the space into orthogonal parts where the operator looks like multiplication by λ. This is a continuous spectral resolution. Further one can divide the spectrum depending on it s measure theoretic properties into singular, point and absolutely continuous spectrum. For unbounded operators the theorem is the same, but with more complications. 8

Spectral theory for compact operators on Banach spaces

Spectral theory for compact operators on Banach spaces 68 Chapter 9 Spectral theory for compact operators on Banach spaces Recall that a subset S of a metric space X is precompact if its closure is compact, or equivalently every sequence contains a Cauchy

More information

5 Compact linear operators

5 Compact linear operators 5 Compact linear operators One of the most important results of Linear Algebra is that for every selfadjoint linear map A on a finite-dimensional space, there exists a basis consisting of eigenvectors.

More information

SPECTRAL THEOREM FOR SYMMETRIC OPERATORS WITH COMPACT RESOLVENT

SPECTRAL THEOREM FOR SYMMETRIC OPERATORS WITH COMPACT RESOLVENT SPECTRAL THEOREM FOR SYMMETRIC OPERATORS WITH COMPACT RESOLVENT Abstract. These are the letcure notes prepared for the workshop on Functional Analysis and Operator Algebras to be held at NIT-Karnataka,

More information

Fredholm Theory. April 25, 2018

Fredholm Theory. April 25, 2018 Fredholm Theory April 25, 208 Roughly speaking, Fredholm theory consists of the study of operators of the form I + A where A is compact. From this point on, we will also refer to I + A as Fredholm operators.

More information

08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms

08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms (February 24, 2017) 08a. Operators on Hilbert spaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/real/notes 2016-17/08a-ops

More information

201B, Winter 11, Professor John Hunter Homework 9 Solutions

201B, Winter 11, Professor John Hunter Homework 9 Solutions 2B, Winter, Professor John Hunter Homework 9 Solutions. If A : H H is a bounded, self-adjoint linear operator, show that A n = A n for every n N. (You can use the results proved in class.) Proof. Let A

More information

COMPACT OPERATORS. 1. Definitions

COMPACT OPERATORS. 1. Definitions COMPACT OPERATORS. Definitions S:defi An operator M : X Y, X, Y Banach, is compact if M(B X (0, )) is relatively compact, i.e. it has compact closure. We denote { E:kk (.) K(X, Y ) = M L(X, Y ), M compact

More information

REAL ANALYSIS II HOMEWORK 3. Conway, Page 49

REAL ANALYSIS II HOMEWORK 3. Conway, Page 49 REAL ANALYSIS II HOMEWORK 3 CİHAN BAHRAN Conway, Page 49 3. Let K and k be as in Proposition 4.7 and suppose that k(x, y) k(y, x). Show that K is self-adjoint and if {µ n } are the eigenvalues of K, each

More information

SPECTRAL PROPERTIES OF THE LAPLACIAN ON BOUNDED DOMAINS

SPECTRAL PROPERTIES OF THE LAPLACIAN ON BOUNDED DOMAINS SPECTRAL PROPERTIES OF THE LAPLACIAN ON BOUNDED DOMAINS TSOGTGEREL GANTUMUR Abstract. After establishing discrete spectra for a large class of elliptic operators, we present some fundamental spectral properties

More information

Compact operators on Banach spaces

Compact operators on Banach spaces Compact operators on Banach spaces Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto November 12, 2017 1 Introduction In this note I prove several things about compact

More information

Your first day at work MATH 806 (Fall 2015)

Your first day at work MATH 806 (Fall 2015) Your first day at work MATH 806 (Fall 2015) 1. Let X be a set (with no particular algebraic structure). A function d : X X R is called a metric on X (and then X is called a metric space) when d satisfies

More information

On compact operators

On compact operators On compact operators Alen Aleanderian * Abstract In this basic note, we consider some basic properties of compact operators. We also consider the spectrum of compact operators on Hilbert spaces. A basic

More information

SPECTRAL THEOREM FOR COMPACT SELF-ADJOINT OPERATORS

SPECTRAL THEOREM FOR COMPACT SELF-ADJOINT OPERATORS SPECTRAL THEOREM FOR COMPACT SELF-ADJOINT OPERATORS G. RAMESH Contents Introduction 1 1. Bounded Operators 1 1.3. Examples 3 2. Compact Operators 5 2.1. Properties 6 3. The Spectral Theorem 9 3.3. Self-adjoint

More information

Real Variables # 10 : Hilbert Spaces II

Real Variables # 10 : Hilbert Spaces II randon ehring Real Variables # 0 : Hilbert Spaces II Exercise 20 For any sequence {f n } in H with f n = for all n, there exists f H and a subsequence {f nk } such that for all g H, one has lim (f n k,

More information

10. Smooth Varieties. 82 Andreas Gathmann

10. Smooth Varieties. 82 Andreas Gathmann 82 Andreas Gathmann 10. Smooth Varieties Let a be a point on a variety X. In the last chapter we have introduced the tangent cone C a X as a way to study X locally around a (see Construction 9.20). It

More information

The Dirichlet-to-Neumann operator

The Dirichlet-to-Neumann operator Lecture 8 The Dirichlet-to-Neumann operator The Dirichlet-to-Neumann operator plays an important role in the theory of inverse problems. In fact, from measurements of electrical currents at the surface

More information

Analysis Preliminary Exam Workshop: Hilbert Spaces

Analysis Preliminary Exam Workshop: Hilbert Spaces Analysis Preliminary Exam Workshop: Hilbert Spaces 1. Hilbert spaces A Hilbert space H is a complete real or complex inner product space. Consider complex Hilbert spaces for definiteness. If (, ) : H H

More information

CONTENTS. 4 Hausdorff Measure Introduction The Cantor Set Rectifiable Curves Cantor Set-Like Objects...

CONTENTS. 4 Hausdorff Measure Introduction The Cantor Set Rectifiable Curves Cantor Set-Like Objects... Contents 1 Functional Analysis 1 1.1 Hilbert Spaces................................... 1 1.1.1 Spectral Theorem............................. 4 1.2 Normed Vector Spaces.............................. 7 1.2.1

More information

REPRESENTATION THEORY WEEK 7

REPRESENTATION THEORY WEEK 7 REPRESENTATION THEORY WEEK 7 1. Characters of L k and S n A character of an irreducible representation of L k is a polynomial function constant on every conjugacy class. Since the set of diagonalizable

More information

Elliptic Regularity. Throughout we assume all vector bundles are smooth bundles with metrics over a Riemannian manifold X n.

Elliptic Regularity. Throughout we assume all vector bundles are smooth bundles with metrics over a Riemannian manifold X n. Elliptic Regularity Throughout we assume all vector bundles are smooth bundles with metrics over a Riemannian manifold X n. 1 Review of Hodge Theory In this note I outline the proof of the following Fundamental

More information

C.6 Adjoints for Operators on Hilbert Spaces

C.6 Adjoints for Operators on Hilbert Spaces C.6 Adjoints for Operators on Hilbert Spaces 317 Additional Problems C.11. Let E R be measurable. Given 1 p and a measurable weight function w: E (0, ), the weighted L p space L p s (R) consists of all

More information

MAT 578 FUNCTIONAL ANALYSIS EXERCISES

MAT 578 FUNCTIONAL ANALYSIS EXERCISES MAT 578 FUNCTIONAL ANALYSIS EXERCISES JOHN QUIGG Exercise 1. Prove that if A is bounded in a topological vector space, then for every neighborhood V of 0 there exists c > 0 such that tv A for all t > c.

More information

Errata Applied Analysis

Errata Applied Analysis Errata Applied Analysis p. 9: line 2 from the bottom: 2 instead of 2. p. 10: Last sentence should read: The lim sup of a sequence whose terms are bounded from above is finite or, and the lim inf of a sequence

More information

Diffun2, Fredholm Operators

Diffun2, Fredholm Operators Diffun2, Fredholm Operators Camilla Frantzen June 8, 2012 H 1 and H 2 denote Hilbert spaces in the following. Definition 1. A Fredholm operator is an operator T B(H 1, H 2 ) such that ker T and cokert

More information

Topological properties

Topological properties CHAPTER 4 Topological properties 1. Connectedness Definitions and examples Basic properties Connected components Connected versus path connected, again 2. Compactness Definition and first examples Topological

More information

Functional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...

Functional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability... Functional Analysis Franck Sueur 2018-2019 Contents 1 Metric spaces 1 1.1 Definitions........................................ 1 1.2 Completeness...................................... 3 1.3 Compactness......................................

More information

Review and problem list for Applied Math I

Review and problem list for Applied Math I Review and problem list for Applied Math I (This is a first version of a serious review sheet; it may contain errors and it certainly omits a number of topic which were covered in the course. Let me know

More information

Five Mini-Courses on Analysis

Five Mini-Courses on Analysis Christopher Heil Five Mini-Courses on Analysis Metrics, Norms, Inner Products, and Topology Lebesgue Measure and Integral Operator Theory and Functional Analysis Borel and Radon Measures Topological Vector

More information

TOEPLITZ OPERATORS. Toeplitz studied infinite matrices with NW-SE diagonals constant. f e C :

TOEPLITZ OPERATORS. Toeplitz studied infinite matrices with NW-SE diagonals constant. f e C : TOEPLITZ OPERATORS EFTON PARK 1. Introduction to Toeplitz Operators Otto Toeplitz lived from 1881-1940 in Goettingen, and it was pretty rough there, so he eventually went to Palestine and eventually contracted

More information

Math 113 Final Exam: Solutions

Math 113 Final Exam: Solutions Math 113 Final Exam: Solutions Thursday, June 11, 2013, 3.30-6.30pm. 1. (25 points total) Let P 2 (R) denote the real vector space of polynomials of degree 2. Consider the following inner product on P

More information

Math Solutions to homework 5

Math Solutions to homework 5 Math 75 - Solutions to homework 5 Cédric De Groote November 9, 207 Problem (7. in the book): Let {e n } be a complete orthonormal sequence in a Hilbert space H and let λ n C for n N. Show that there is

More information

OPERATOR THEORY ON HILBERT SPACE. Class notes. John Petrovic

OPERATOR THEORY ON HILBERT SPACE. Class notes. John Petrovic OPERATOR THEORY ON HILBERT SPACE Class notes John Petrovic Contents Chapter 1. Hilbert space 1 1.1. Definition and Properties 1 1.2. Orthogonality 3 1.3. Subspaces 7 1.4. Weak topology 9 Chapter 2. Operators

More information

Definition and basic properties of heat kernels I, An introduction

Definition and basic properties of heat kernels I, An introduction Definition and basic properties of heat kernels I, An introduction Zhiqin Lu, Department of Mathematics, UC Irvine, Irvine CA 92697 April 23, 2010 In this lecture, we will answer the following questions:

More information

Overview of normed linear spaces

Overview of normed linear spaces 20 Chapter 2 Overview of normed linear spaces Starting from this chapter, we begin examining linear spaces with at least one extra structure (topology or geometry). We assume linearity; this is a natural

More information

Eigenvalues and Eigenfunctions of the Laplacian

Eigenvalues and Eigenfunctions of the Laplacian The Waterloo Mathematics Review 23 Eigenvalues and Eigenfunctions of the Laplacian Mihai Nica University of Waterloo mcnica@uwaterloo.ca Abstract: The problem of determining the eigenvalues and eigenvectors

More information

Metric spaces and metrizability

Metric spaces and metrizability 1 Motivation Metric spaces and metrizability By this point in the course, this section should not need much in the way of motivation. From the very beginning, we have talked about R n usual and how relatively

More information

1 Math 241A-B Homework Problem List for F2015 and W2016

1 Math 241A-B Homework Problem List for F2015 and W2016 1 Math 241A-B Homework Problem List for F2015 W2016 1.1 Homework 1. Due Wednesday, October 7, 2015 Notation 1.1 Let U be any set, g be a positive function on U, Y be a normed space. For any f : U Y let

More information

(1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define

(1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define Homework, Real Analysis I, Fall, 2010. (1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define ρ(f, g) = 1 0 f(x) g(x) dx. Show that

More information

SPECTRAL THEORY EVAN JENKINS

SPECTRAL THEORY EVAN JENKINS SPECTRAL THEORY EVAN JENKINS Abstract. These are notes from two lectures given in MATH 27200, Basic Functional Analysis, at the University of Chicago in March 2010. The proof of the spectral theorem for

More information

Lecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University

Lecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University Lecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University February 7, 2007 2 Contents 1 Metric Spaces 1 1.1 Basic definitions...........................

More information

Chapter 8 Integral Operators

Chapter 8 Integral Operators Chapter 8 Integral Operators In our development of metrics, norms, inner products, and operator theory in Chapters 1 7 we only tangentially considered topics that involved the use of Lebesgue measure,

More information

Fall TMA4145 Linear Methods. Solutions to exercise set 9. 1 Let X be a Hilbert space and T a bounded linear operator on X.

Fall TMA4145 Linear Methods. Solutions to exercise set 9. 1 Let X be a Hilbert space and T a bounded linear operator on X. TMA445 Linear Methods Fall 26 Norwegian University of Science and Technology Department of Mathematical Sciences Solutions to exercise set 9 Let X be a Hilbert space and T a bounded linear operator on

More information

Contents. Preface for the Instructor. Preface for the Student. xvii. Acknowledgments. 1 Vector Spaces 1 1.A R n and C n 2

Contents. Preface for the Instructor. Preface for the Student. xvii. Acknowledgments. 1 Vector Spaces 1 1.A R n and C n 2 Contents Preface for the Instructor xi Preface for the Student xv Acknowledgments xvii 1 Vector Spaces 1 1.A R n and C n 2 Complex Numbers 2 Lists 5 F n 6 Digression on Fields 10 Exercises 1.A 11 1.B Definition

More information

Classes of Linear Operators Vol. I

Classes of Linear Operators Vol. I Classes of Linear Operators Vol. I Israel Gohberg Seymour Goldberg Marinus A. Kaashoek Birkhäuser Verlag Basel Boston Berlin TABLE OF CONTENTS VOLUME I Preface Table of Contents of Volume I Table of Contents

More information

Eigenvalues and eigenfunctions of the Laplacian. Andrew Hassell

Eigenvalues and eigenfunctions of the Laplacian. Andrew Hassell Eigenvalues and eigenfunctions of the Laplacian Andrew Hassell 1 2 The setting In this talk I will consider the Laplace operator,, on various geometric spaces M. Here, M will be either a bounded Euclidean

More information

Commutative Banach algebras 79

Commutative Banach algebras 79 8. Commutative Banach algebras In this chapter, we analyze commutative Banach algebras in greater detail. So we always assume that xy = yx for all x, y A here. Definition 8.1. Let A be a (commutative)

More information

Exercises to Applied Functional Analysis

Exercises to Applied Functional Analysis Exercises to Applied Functional Analysis Exercises to Lecture 1 Here are some exercises about metric spaces. Some of the solutions can be found in my own additional lecture notes on Blackboard, as the

More information

LECTURE 7. k=1 (, v k)u k. Moreover r

LECTURE 7. k=1 (, v k)u k. Moreover r LECTURE 7 Finite rank operators Definition. T is said to be of rank r (r < ) if dim T(H) = r. The class of operators of rank r is denoted by K r and K := r K r. Theorem 1. T K r iff T K r. Proof. Let T

More information

Finite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product

Finite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product Chapter 4 Hilbert Spaces 4.1 Inner Product Spaces Inner Product Space. A complex vector space E is called an inner product space (or a pre-hilbert space, or a unitary space) if there is a mapping (, )

More information

Spectral Properties of Elliptic Operators In previous work we have replaced the strong version of an elliptic boundary value problem

Spectral Properties of Elliptic Operators In previous work we have replaced the strong version of an elliptic boundary value problem Spectral Properties of Elliptic Operators In previous work we have replaced the strong version of an elliptic boundary value problem L u x f x BC u x g x with the weak problem find u V such that B u,v

More information

Functional analysis II Prof. Dr. Thomas Sørensen winter term 2014/15

Functional analysis II Prof. Dr. Thomas Sørensen winter term 2014/15 Functional analysis II Prof. Dr. Thomas Sørensen winter term 2014/15 Marcel Schaub February 4, 2015 1 Contents 0 Motivation and repetition 3 1 Spectral Theory for compact operators 10 1.1 Spectral Theorem

More information

Wave equation on manifolds and finite speed of propagation

Wave equation on manifolds and finite speed of propagation Wave equation on manifolds and finite speed of propagation Ethan Y. Jaffe Let M be a Riemannian manifold (without boundary), and let be the (negative of) the Laplace-Beltrami operator. In this note, we

More information

g 2 (x) (1/3)M 1 = (1/3)(2/3)M.

g 2 (x) (1/3)M 1 = (1/3)(2/3)M. COMPACTNESS If C R n is closed and bounded, then by B-W it is sequentially compact: any sequence of points in C has a subsequence converging to a point in C Conversely, any sequentially compact C R n is

More information

Notions such as convergent sequence and Cauchy sequence make sense for any metric space. Convergent Sequences are Cauchy

Notions such as convergent sequence and Cauchy sequence make sense for any metric space. Convergent Sequences are Cauchy Banach Spaces These notes provide an introduction to Banach spaces, which are complete normed vector spaces. For the purposes of these notes, all vector spaces are assumed to be over the real numbers.

More information

Analysis IV : Assignment 3 Solutions John Toth, Winter ,...). In particular for every fixed m N the sequence (u (n)

Analysis IV : Assignment 3 Solutions John Toth, Winter ,...). In particular for every fixed m N the sequence (u (n) Analysis IV : Assignment 3 Solutions John Toth, Winter 203 Exercise (l 2 (Z), 2 ) is a complete and separable Hilbert space. Proof Let {u (n) } n N be a Cauchy sequence. Say u (n) = (..., u 2, (n) u (n),

More information

Chapter 3: Baire category and open mapping theorems

Chapter 3: Baire category and open mapping theorems MA3421 2016 17 Chapter 3: Baire category and open mapping theorems A number of the major results rely on completeness via the Baire category theorem. 3.1 The Baire category theorem 3.1.1 Definition. A

More information

Metric Spaces and Topology

Metric Spaces and Topology Chapter 2 Metric Spaces and Topology From an engineering perspective, the most important way to construct a topology on a set is to define the topology in terms of a metric on the set. This approach underlies

More information

LECTURE OCTOBER, 2016

LECTURE OCTOBER, 2016 18.155 LECTURE 11 18 OCTOBER, 2016 RICHARD MELROSE Abstract. Notes before and after lecture if you have questions, ask! Read: Notes Chapter 2. Unfortunately my proof of the Closed Graph Theorem in lecture

More information

Chapter 2 Linear Transformations

Chapter 2 Linear Transformations Chapter 2 Linear Transformations Linear Transformations Loosely speaking, a linear transformation is a function from one vector space to another that preserves the vector space operations. Let us be more

More information

Topics in Fourier analysis - Lecture 2.

Topics in Fourier analysis - Lecture 2. Topics in Fourier analysis - Lecture 2. Akos Magyar 1 Infinite Fourier series. In this section we develop the basic theory of Fourier series of periodic functions of one variable, but only to the extent

More information

EXAM MATHEMATICAL METHODS OF PHYSICS. TRACK ANALYSIS (Chapters I-V). Thursday, June 7th,

EXAM MATHEMATICAL METHODS OF PHYSICS. TRACK ANALYSIS (Chapters I-V). Thursday, June 7th, EXAM MATHEMATICAL METHODS OF PHYSICS TRACK ANALYSIS (Chapters I-V) Thursday, June 7th, 1-13 Students who are entitled to a lighter version of the exam may skip problems 1, 8-11 and 16 Consider the differential

More information

Math Linear Algebra II. 1. Inner Products and Norms

Math Linear Algebra II. 1. Inner Products and Norms Math 342 - Linear Algebra II Notes 1. Inner Products and Norms One knows from a basic introduction to vectors in R n Math 254 at OSU) that the length of a vector x = x 1 x 2... x n ) T R n, denoted x,

More information

Linear Algebra Final Exam Solutions, December 13, 2008

Linear Algebra Final Exam Solutions, December 13, 2008 Linear Algebra Final Exam Solutions, December 13, 2008 Write clearly, with complete sentences, explaining your work. You will be graded on clarity, style, and brevity. If you add false statements to a

More information

Second Order Elliptic PDE

Second Order Elliptic PDE Second Order Elliptic PDE T. Muthukumar tmk@iitk.ac.in December 16, 2014 Contents 1 A Quick Introduction to PDE 1 2 Classification of Second Order PDE 3 3 Linear Second Order Elliptic Operators 4 4 Periodic

More information

CHAPTER VIII HILBERT SPACES

CHAPTER VIII HILBERT SPACES CHAPTER VIII HILBERT SPACES DEFINITION Let X and Y be two complex vector spaces. A map T : X Y is called a conjugate-linear transformation if it is a reallinear transformation from X into Y, and if T (λx)

More information

Spectral Theory, with an Introduction to Operator Means. William L. Green

Spectral Theory, with an Introduction to Operator Means. William L. Green Spectral Theory, with an Introduction to Operator Means William L. Green January 30, 2008 Contents Introduction............................... 1 Hilbert Space.............................. 4 Linear Maps

More information

Analysis in weighted spaces : preliminary version

Analysis in weighted spaces : preliminary version Analysis in weighted spaces : preliminary version Frank Pacard To cite this version: Frank Pacard. Analysis in weighted spaces : preliminary version. 3rd cycle. Téhéran (Iran, 2006, pp.75.

More information

LINEAR ALGEBRA MICHAEL PENKAVA

LINEAR ALGEBRA MICHAEL PENKAVA LINEAR ALGEBRA MICHAEL PENKAVA 1. Linear Maps Definition 1.1. If V and W are vector spaces over the same field K, then a map λ : V W is called a linear map if it satisfies the two conditions below: (1)

More information

Functional Analysis Review

Functional Analysis Review Outline 9.520: Statistical Learning Theory and Applications February 8, 2010 Outline 1 2 3 4 Vector Space Outline A vector space is a set V with binary operations +: V V V and : R V V such that for all

More information

Connectedness. Proposition 2.2. The following are equivalent for a topological space (X, T ).

Connectedness. Proposition 2.2. The following are equivalent for a topological space (X, T ). Connectedness 1 Motivation Connectedness is the sort of topological property that students love. Its definition is intuitive and easy to understand, and it is a powerful tool in proofs of well-known results.

More information

Inverse Scattering with Partial data on Asymptotically Hyperbolic Manifolds

Inverse Scattering with Partial data on Asymptotically Hyperbolic Manifolds Inverse Scattering with Partial data on Asymptotically Hyperbolic Manifolds Raphael Hora UFSC rhora@mtm.ufsc.br 29/04/2014 Raphael Hora (UFSC) Inverse Scattering with Partial data on AH Manifolds 29/04/2014

More information

2.2 Annihilators, complemented subspaces

2.2 Annihilators, complemented subspaces 34CHAPTER 2. WEAK TOPOLOGIES, REFLEXIVITY, ADJOINT OPERATORS 2.2 Annihilators, complemented subspaces Definition 2.2.1. [Annihilators, Pre-Annihilators] Assume X is a Banach space. Let M X and N X. We

More information

MAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9

MAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9 MAT 570 REAL ANALYSIS LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: FALL 204 Contents. Sets 2 2. Functions 5 3. Countability 7 4. Axiom of choice 8 5. Equivalence relations 9 6. Real numbers 9 7. Extended

More information

here, this space is in fact infinite-dimensional, so t σ ess. Exercise Let T B(H) be a self-adjoint operator on an infinitedimensional

here, this space is in fact infinite-dimensional, so t σ ess. Exercise Let T B(H) be a self-adjoint operator on an infinitedimensional 15. Perturbations by compact operators In this chapter, we study the stability (or lack thereof) of various spectral properties under small perturbations. Here s the type of situation we have in mind:

More information

B. Appendix B. Topological vector spaces

B. Appendix B. Topological vector spaces B.1 B. Appendix B. Topological vector spaces B.1. Fréchet spaces. In this appendix we go through the definition of Fréchet spaces and their inductive limits, such as they are used for definitions of function

More information

Real Analysis, 2nd Edition, G.B.Folland Elements of Functional Analysis

Real Analysis, 2nd Edition, G.B.Folland Elements of Functional Analysis Real Analysis, 2nd Edition, G.B.Folland Chapter 5 Elements of Functional Analysis Yung-Hsiang Huang 5.1 Normed Vector Spaces 1. Note for any x, y X and a, b K, x+y x + y and by ax b y x + b a x. 2. It

More information

1 Distributions (due January 22, 2009)

1 Distributions (due January 22, 2009) Distributions (due January 22, 29). The distribution derivative of the locally integrable function ln( x ) is the principal value distribution /x. We know that, φ = lim φ(x) dx. x ɛ x Show that x, φ =

More information

MTH 503: Functional Analysis

MTH 503: Functional Analysis MTH 53: Functional Analysis Semester 1, 215-216 Dr. Prahlad Vaidyanathan Contents I. Normed Linear Spaces 4 1. Review of Linear Algebra........................... 4 2. Definition and Examples...........................

More information

Chapter 7: Bounded Operators in Hilbert Spaces

Chapter 7: Bounded Operators in Hilbert Spaces Chapter 7: Bounded Operators in Hilbert Spaces I-Liang Chern Department of Applied Mathematics National Chiao Tung University and Department of Mathematics National Taiwan University Fall, 2013 1 / 84

More information

Topics in Harmonic Analysis Lecture 1: The Fourier transform

Topics in Harmonic Analysis Lecture 1: The Fourier transform Topics in Harmonic Analysis Lecture 1: The Fourier transform Po-Lam Yung The Chinese University of Hong Kong Outline Fourier series on T: L 2 theory Convolutions The Dirichlet and Fejer kernels Pointwise

More information

LINEAR CHAOS? Nathan S. Feldman

LINEAR CHAOS? Nathan S. Feldman LINEAR CHAOS? Nathan S. Feldman In this article we hope to convience the reader that the dynamics of linear operators can be fantastically complex and that linear dynamics exhibits the same beauty and

More information

Final A. Problem Points Score Total 100. Math115A Nadja Hempel 03/23/2017

Final A. Problem Points Score Total 100. Math115A Nadja Hempel 03/23/2017 Final A Math115A Nadja Hempel 03/23/2017 nadja@math.ucla.edu Name: UID: Problem Points Score 1 10 2 20 3 5 4 5 5 9 6 5 7 7 8 13 9 16 10 10 Total 100 1 2 Exercise 1. (10pt) Let T : V V be a linear transformation.

More information

Functional Analysis Exercise Class

Functional Analysis Exercise Class Functional Analysis Exercise Class Week 9 November 13 November Deadline to hand in the homeworks: your exercise class on week 16 November 20 November Exercises (1) Show that if T B(X, Y ) and S B(Y, Z)

More information

Notes for Functional Analysis

Notes for Functional Analysis Notes for Functional Analysis Wang Zuoqin (typed by Xiyu Zhai) October 16, 2015 1 Lecture 11 1.1 The closed graph theorem Definition 1.1. Let f : X Y be any map between topological spaces. We define its

More information

The eigenvalue problem for a bianisotropic cavity

The eigenvalue problem for a bianisotropic cavity The eigenvalue problem for a bianisotropic cavity Eftychia Argyropoulou, Andreas D.Ioannidis National and Kapodistrian University of Athens, Greece Linnaeus University, Sweden PIERS 2013, Stockholm, Sweden

More information

1 Definition and Basic Properties of Compa Operator

1 Definition and Basic Properties of Compa Operator 1 Definition and Basic Properties of Compa Operator 1.1 Let X be a infinite dimensional Banach space. Show that if A C(X ), A does not have bounded inverse. Proof. Denote the unit ball of X by B and the

More information

Exercise Solutions to Functional Analysis

Exercise Solutions to Functional Analysis Exercise Solutions to Functional Analysis Note: References refer to M. Schechter, Principles of Functional Analysis Exersize that. Let φ,..., φ n be an orthonormal set in a Hilbert space H. Show n f n

More information

Maxwell s equations in Carnot groups

Maxwell s equations in Carnot groups Maxwell s equations in Carnot groups B. Franchi (U. Bologna) INDAM Meeting on Geometric Control and sub-riemannian Geometry Cortona, May 21-25, 2012 in honor of Andrey Agrachev s 60th birthday Researches

More information

Real Analysis Notes. Thomas Goller

Real Analysis Notes. Thomas Goller Real Analysis Notes Thomas Goller September 4, 2011 Contents 1 Abstract Measure Spaces 2 1.1 Basic Definitions........................... 2 1.2 Measurable Functions........................ 2 1.3 Integration..............................

More information

3. (a) What is a simple function? What is an integrable function? How is f dµ defined? Define it first

3. (a) What is a simple function? What is an integrable function? How is f dµ defined? Define it first Math 632/6321: Theory of Functions of a Real Variable Sample Preinary Exam Questions 1. Let (, M, µ) be a measure space. (a) Prove that if µ() < and if 1 p < q

More information

INVERSE FUNCTION THEOREM and SURFACES IN R n

INVERSE FUNCTION THEOREM and SURFACES IN R n INVERSE FUNCTION THEOREM and SURFACES IN R n Let f C k (U; R n ), with U R n open. Assume df(a) GL(R n ), where a U. The Inverse Function Theorem says there is an open neighborhood V U of a in R n so that

More information

Chapter 4 Euclid Space

Chapter 4 Euclid Space Chapter 4 Euclid Space Inner Product Spaces Definition.. Let V be a real vector space over IR. A real inner product on V is a real valued function on V V, denoted by (, ), which satisfies () (x, y) = (y,

More information

MATHEMATICS. Course Syllabus. Section A: Linear Algebra. Subject Code: MA. Course Structure. Ordinary Differential Equations

MATHEMATICS. Course Syllabus. Section A: Linear Algebra. Subject Code: MA. Course Structure. Ordinary Differential Equations MATHEMATICS Subject Code: MA Course Structure Sections/Units Section A Section B Section C Linear Algebra Complex Analysis Real Analysis Topics Section D Section E Section F Section G Section H Section

More information

From now on, we will represent a metric space with (X, d). Here are some examples: i=1 (x i y i ) p ) 1 p, p 1.

From now on, we will represent a metric space with (X, d). Here are some examples: i=1 (x i y i ) p ) 1 p, p 1. Chapter 1 Metric spaces 1.1 Metric and convergence We will begin with some basic concepts. Definition 1.1. (Metric space) Metric space is a set X, with a metric satisfying: 1. d(x, y) 0, d(x, y) = 0 x

More information

Kernel Method: Data Analysis with Positive Definite Kernels

Kernel Method: Data Analysis with Positive Definite Kernels Kernel Method: Data Analysis with Positive Definite Kernels 2. Positive Definite Kernel and Reproducing Kernel Hilbert Space Kenji Fukumizu The Institute of Statistical Mathematics. Graduate University

More information

Math 350 Fall 2011 Notes about inner product spaces. In this notes we state and prove some important properties of inner product spaces.

Math 350 Fall 2011 Notes about inner product spaces. In this notes we state and prove some important properties of inner product spaces. Math 350 Fall 2011 Notes about inner product spaces In this notes we state and prove some important properties of inner product spaces. First, recall the dot product on R n : if x, y R n, say x = (x 1,...,

More information

On a class of pseudodifferential operators with mixed homogeneities

On a class of pseudodifferential operators with mixed homogeneities On a class of pseudodifferential operators with mixed homogeneities Po-Lam Yung University of Oxford July 25, 2014 Introduction Joint work with E. Stein (and an outgrowth of work of Nagel-Ricci-Stein-Wainger,

More information

Advanced functional analysis

Advanced functional analysis Advanced functional analysis M. Hairer, University of Warwick 1 Introduction This course will mostly deal with the analysis of unbounded operators on a Hilbert or Banach space with a particular focus on

More information

ON THE REGULARITY OF SAMPLE PATHS OF SUB-ELLIPTIC DIFFUSIONS ON MANIFOLDS

ON THE REGULARITY OF SAMPLE PATHS OF SUB-ELLIPTIC DIFFUSIONS ON MANIFOLDS Bendikov, A. and Saloff-Coste, L. Osaka J. Math. 4 (5), 677 7 ON THE REGULARITY OF SAMPLE PATHS OF SUB-ELLIPTIC DIFFUSIONS ON MANIFOLDS ALEXANDER BENDIKOV and LAURENT SALOFF-COSTE (Received March 4, 4)

More information

THE UNIFORMISATION THEOREM OF RIEMANN SURFACES

THE UNIFORMISATION THEOREM OF RIEMANN SURFACES THE UNIFORISATION THEORE OF RIEANN SURFACES 1. What is the aim of this seminar? Recall that a compact oriented surface is a g -holed object. (Classification of surfaces.) It can be obtained through a 4g

More information