DOC PREVIEW
MIT 18 155 - Lecture Notes

This preview shows page 1 out of 4 pages.

Save
View full document
View full document
Premium Document
Do you want full access? Go Premium and unlock all 4 pages.
Access to all documents
Download any document
Ad free experience
Premium Document
Do you want full access? Go Premium and unlock all 4 pages.
Access to all documents
Download any document
Ad free experience

Unformatted text preview:

LECTURE NOTES FOR 18.155, FALL 2004 9916. Spectral theoremFor a bounded operator T on a Hilbert space we define the spectrumas the set(16.1) spec(T ) = {z ∈ C; T − z Id is not invertible}.Proposition 16.1. For any bounded linear operator on a Hilbert spacespec(T ) ⊂ C is a compact subset of {|z| ≤ kT k}.Proof. We show that the set C \ spec(T ) (generally called the resolventset of T ) is open and contains the complement of a sufficiently largeball. This is based on the convergence of the Neumann series. Namelyif T is bounded and kT k < 1 then(16.2) (Id −T )−1=∞Xj=0Tjconverges to a bounded operator which is a two-sided inverse of Id −T.Indeed, kTjk ≤ kT kjso the series is convergent and composing withId −T on either side gives a telescoping series reducing to the identity.Applying this result, we first see that(16.3) (T − z) = −z(Id −T/z)is invertible if |z| > kT k. Similarly, if (T − z0)−1exists for some z0∈ Cthen(16.4) (T −z) = (T −z0)−(z−z0) = (T −z0)−1(Id −(z−z0)(T −z0)−1)exists for |z − z0|k(T − z0)−1k < 1. In general it is rather difficult to precisely locate spec(T ).However for a bounded self-adjoint operator it is easier. One sign ofthis is the the norm of the operator has an alternative, simple, charac-terization. Namely(16.5) if A∗= A then supkφk=1hAφ, φi| = kAk.If a is this supermum, then clearly a ≤ kAk. To see the converse, chooseany φ, ψ ∈ H with norm 1 and then replace ψ by eiθψ with θ chosenso that hAφ, ψi is real. Then use the polarization identity to write(16.6) 4hAφ, ψi = hA(φ + ψ), (φ + ψ)i − hA(φ − ψ), (φ − ψ)i+ ihA(φ + iψ), (φ + iψ)i − ihA(φ − iψ), (φ − iψ)i.Now, by the assumed reality we may drop the last two terms and seethat(16.7) 4|hAφ, ψi| ≤ a(kφ + ψk2+ kφ − ψk2) = 2a(kφk2+ kψk2) = 4a.100 RICHARD B. MELROSEThus indeed kAk = supkφk=kψk=1|hAφ, ψi| = a.We can always subtract a real constant from A so that A0= A − tsatisfies(16.8) − infkφk=1hA0φ, φi = supkφk=1hA0φ, φi = kA0k.Then, it follows that A0± kA0k is not invertible. Indeed, there exists asequence φn, with kφnk = 1 such that h(A0− kA0k)φn, φni → 0. Thus(16.9)k(A0−kA0k)φnk2= −2hA0φn, φni+kA0φnk2+kA0k2≤ −2hA0φn, φni+2kA0k2→ 0.This shows that A0− kA0k cannot be invertible and the same argumentworks for A0+ kA0k. For the original operator A if we set(16.10) m = infkφk=1hAφ, φi M = supkφk=1hAφ, φithen we conclude that neither A − m Id nor A − M Id is invertible andkAk = max(−m, M).Proposition 16.2. If A is a bounded self-adjoint operator then, withm and M defined by (16.10),(16.11) {m} ∪ {M} ⊂ spec(A) ⊂ [m, M].Proof. We have already shown the first part, that m and M are inthe spectrum so it remains to show that A − z is invertible for allz ∈ C \ [m, M].Using the self-adjointness(16.12) Imh(A − z)φ, φi = − Im zkφk2.This implies that A − z is invertible if z ∈ C \ R. First it shows that(A − z)φ = 0 implies φ = 0, so A − z is injective. Secondly, the range isclosed. Indeed, if (A − z)φn→ ψ then applying (16.12) directly showsthat kφnk is bounded and so can be replaced by a weakly convergentsubsequence. Applying (16.12) again to φn− φmshows that the se-quence is actually Cauchy, hence convergens to φ so (A − z)φ = ψ is inthe range. Finally, the orthocomplement to this range is the null spaceof A∗− ¯z, which is also trivial, so A − z is an isomorphism and (16.12)also shows that the inverse is bounded, in fact(16.13) k(A − z)−1k ≤1| Im z|.When z ∈ R we can replace A by A0satisfying (16.8). Then we haveto show that A0− z is inverible for |z| > kAk, but that is shown in theproof of Proposition 16.1. LECTURE NOTES FOR 18.155, FALL 2004 101The basic estimate leading to the spectral theorem is:Proposition 16.3. If A is a bounded self-adjoint operator and p is areal polynomial in one variable,(16.14) p(t) =NXi=0citi, cN6= 0,then p(A) =NPi=0ciAisatisfies(16.15) kp(A)k ≤ supt∈[m,M]|p(t)|.Proof. Clearly, p(A) is a bounded self-adjoint operator. If s /∈ p([m, M])then p(A) − s is invertible. Indeed, the roots of p(t) − s must cannotlie in [m.M], since otherwise s ∈ p([m, M]). Thus, factorizing p(s) − twe have(16.16)p(t) − s = cNNYi=1(t − ti(s)), ti(s) /∈ [m, M] =⇒ (p(A) − s)−1existssince p(A) = cNPi(A − ti(s)) and each of the factors is invertible.Thus spec(p(A)) ⊂ p([m, M]), which is an interval (or a point), andfrom Proposition 16.3 we conclude that kp(A)k ≤ sup p([m, M]) whichis (16.15). Now, reinterpreting (16.15) we have a linear map(16.17) P(R) 3 p 7−→ p(A) ∈ B(H)from the real polynomials to the bounded self-adjoint operators whichis continuous with respect to the supremum norm on [m, M]. Sincepolynomials are dense in continuous functions on finite intervals, wesee that (16.17) extends by continuity to a linear map(16.18)C([m, M]) 3 f 7−→ f (A) ∈ B(H), kf(A)k ≤ kfk[m,M], f g(A) = f (A)g(A)where the multiplicativity follows by continuity together with the factthat it is true for polynomials.Now, consider any two elements φ, ψ ∈ H. Evaluating f (A) on φ andpairing with ψ gives a linear map(16.19) C([m, M]) 3 f 7−→ hf (A)φ, ψi ∈ C.This is a linear functional on C([m, M]) to which we can apply the Rieszrepresentatin theorem and conclude that it is defined by integration102 RICHARD B. MELROSEagainst a unique Radon measure µφ,ψ:(16.20) hf(A)φ, ψi =Z[m,M]fdµφ,ψ.The total mass |µφ,ψ| of this measure is the norm of the functional.Since it is a Borel measure, we can take the integral on −∞, b] for anyb ∈ R ad, with the uniqueness, this shows that we have a continuoussesquilinear map(16.21)Pb(φ, ψ) : H×H 3 (φ, ψ) 7−→Z[m,b]dµφ,ψ∈ R, |Pb(φ, ψ)| ≤ kAkkφkkψk.From the Hilbert space Riesz representation theorem it follows thatthis sesquilinear form defines, and is determined by, a bounded linearoperator(16.22) Pb(φ, ψ) = hPbφ, ψi, kPbk ≤ kAk.In fact, from the functional calculus (the multiplicativity in (16.18))we see that(16.23) P∗b= Pb, P2b= Pb, kPbk ≤ 1,so Pbis a projection.Thus the spectral theorem gives us an increasing (with b) family ofcommuting self-adjoint projections such that µφ,ψ((−∞, b]) = hPbφ, ψidetermines the Radon measure for which (16.20) holds. One can gofurther and think of Pbitself as determining a measure(16.24) µ((−∞, b]) = Pbwhich takes values in the


View Full Document

MIT 18 155 - Lecture Notes

Download Lecture Notes
Our administrator received your request to download this document. We will send you the file to your email shortly.
Loading Unlocking...
Login

Join to view Lecture Notes and access 3M+ class-specific study document.

or
We will never post anything without your permission.
Don't have an account?
Sign Up

Join to view Lecture Notes 2 2 and access 3M+ class-specific study document.

or

By creating an account you agree to our Privacy Policy and Terms Of Use

Already a member?