1.3. OVERVIEW 7 Chapter 5: This part of the book introduces semiclassical defect measures and uses them to derive decay estimates for the damped wave equation (1.1.1), where a ≥ 0 on the flat torus Tn. A theorem of Rauch and Tay- lor provides a beautiful example of classical/quantum correspondence: the waves decay exponentially if all classical trajectories within a certain fixed time intersect the region where positive damping occurs. Chapter 6: In Chapter 6 we begin our study of the eigenvalue problem P (h)u(h) = E(h)u(h), for the operator P (h) := −h2Δ + V (x). We prove Weyl’s Law for the asymptotic distributions of eigenvalues as h → 0, stating for all a b that #{E(h) | a ≤ E(h) ≤ b} = 1 (2πh)n (|{a ≤ |ξ|2 + V (x) ≤ b}| + o(1)) as h → 0. Our proof is a semiclassical analogue of the classical Dirichlet– Neumann bracketing argument of Courant. Chapter 7: Chapter 7 deepens our study of eigenfunctions, first establish- ing an exponential vanishing theorem in the “classically forbidden” region. We derive as well a Carleman-type estimate: if u(h) is an eigenfunction of a Schr¨ odinger operator, then for any open set U ⊂⊂ Rn, u(h) L2(U) ≥ e−c/h u(h) L2(Rn) . This provides a quantitative estimate for quantum mechanical tunneling. We also present a self-contained “semiclassical” derivation of interior Schauder estimates for the Laplacian. Chapter 8: We return in Chapter 8 to the symbol calculus, first proving the semiclassical version of Beals’s Theorem, characterizing pseudodifferential operators. As an application we show how quantization commutes with exponentiation at the level of order functions and then use these insights to define useful generalized Sobolev spaces. This chapter also introduces wavefront sets and the notion of microlocality. Chapter 9: We next introduce the useful formalism of half-densities and use them to see how changing variables in a symbol affects the Weyl quan- tization. This motivates our introducing the new class of Kohn–Nirenberg symbols, which behave well under coordinate changes and are consequently useful later when we investigate the semiclassical calculus on manifolds. Chapter 10: Chapter 10 discusses the local construction of propagators, us- ing solutions of Hamilton–Jacobi PDE to build phase functions for Fourier

Purchased from American Mathematical Society for the exclusive use of nofirst nolast (email unknown) Copyright 2012 American Mathematical Society. Duplication prohibited. Please report unauthorized use to cust-serv@ams.org. Thank You! Your purchase supports the AMS' mission, programs, and services for the mathematical community.