《半经典微局部分析 Semiclassical Microlocal Analysis》课程教学资源（英文讲义）Lec24-25 QUANTUM ERGODICITY

LECTURE24-25:QUANTUMERGODICITY1.CLASSICAL DYNAMICS ON COTANGENTBUNDLET*MHamiltonian flow on cotangent bundle.Recall from Lecture 2 that associated to any Hamiltonian function H(r,)Co(R2n), there is a Hamiltonian vector field(OHH a三H=3EOCkOCkOEkkwhich"dominates"the classical behavior of the system.More precisely,if we denoteby (t) = ro. (t) the integral curve of EH starting at the point ro.o(O) = (ro, So),then the time-evolution of the system is given by the Hamiltonian flowPt = et=H : R2n → R2n, (r, S) → p(r,s) := e(t)Inparticular,we have the conservation of energyPH=H(which implies that each energy surface H-1(E) is preserved under the flow pt), andthe evolution equation of classical observableddtpia = (H,a),where (., J is the Poisson bracket so that for any f,g E C(R2n),(af ogaf og>E C(R2n).(f,g] =aOrkOrok=1Now suppose M be a smooth manifold, and T*M its cotangent bundle.For anysmooth function p E Co(T*M), we can also define its Hamiltonian vector field 1 viaopaop (1)三pakOCkOrkOEkOf course one has to check that E, is well-defined,namely it is independent of thechoice of coordinate charts.Recallfrom Lecture 18 that under the coordinate changey = y(r) on the base manifold, the cotangent variables are related by n = (o)Te.So wehaveo9aauarQulWe will give a more intrinsic definition of Ep via the symplectic structure later

LECTURE 24-25: QUANTUM ERGODICITY 1. Classical dynamics on cotangent bundle T ∗M ¶Hamiltonian flow on cotangent bundle. Recall from Lecture 2 that associated to any Hamiltonian function H(x, ξ) ∈ C ∞(R 2n ), there is a Hamiltonian vector field ΞH = X k  ∂H ∂ξk ∂ ∂xk − ∂H ∂xk ∂ ∂ξk  which “dominates” the classical behavior of the system. More precisely, if we denote by γ(t) = γx0,ξ0 (t) the integral curve of ΞH starting at the point γx0,ξ0 (0) = (x0, ξ0), then the time-evolution of the system is given by the Hamiltonian flow ρt = e tΞH : R 2n → R 2n , (x, ξ) 7→ ρt(x, ξ) := γx,ξ(t). In particular, we have the conservation of energy ρ ∗ t H = H (which implies that each energy surface H−1 (E) is preserved under the flow ρt), and the evolution equation of classical observable d dtρ ∗ t a = {H, a}, where {·, ·} is the Poisson bracket so that for any f, g ∈ C ∞(R 2n ), {f, g} = Xn k=1  ∂f ∂ξk ∂g ∂xk − ∂f ∂xk ∂g ∂ξk  ∈ C ∞(R 2n ). Now suppose M be a smooth manifold, and T ∗M its cotangent bundle. For any smooth function p ∈ C ∞(T ∗M), we can also define its Hamiltonian vector field 1 via (1) Ξp = X k  ∂p ∂ξk ∂ ∂xk − ∂p ∂xk ∂ ∂ξk  . Of course one has to check that Ξp is well-defined, namely it is independent of the choice of coordinate charts. Recall from Lecture 18 that under the coordinate change y = y(x) on the base manifold, the cotangent variables are related by η = ( ∂x ∂y ) T ξ. So we have ( ∂ ∂y ) = (∂x ∂y ) T ( ∂ ∂x) 1We will give a more intrinsic definition of Ξp via the symplectic structure later. 1

2LECTURE24-25:QUANTUMERGODICITYandarduItfollowsOPand similarly()()=()()aaraSo the vector field E, is well-defined. By repeating the theory for Rn, we can definethe Hamiltonian flow associated to p on T*M viaPt =et=p : T*M -→ T*M, (r,E) → pt(r,E) := re(t),where r.(t) is the integral curve of Ep starting at the point .s(O)= (r,s).Againwehavetheconservation of energyptp=p(which implies that each energy surface p-i(E) is preserved under the fow pt), andthe evolution equation of classical observableddipia = (p,a),where (., I is the Poisson bracket on T*M so that for any f, g E Co(T*M),(afogafog(f,g) =/= Xr(g) E C~(T*M).COEOrkOKOEKk=1Remark. Let (M,g) be a smooth Riemannian manifold, and letp(r,)=Il,=,g"t,(2)be half of the Riemannian norm square on the cotangent bundle. Then the integralcurves of E, (i.e. the trajectories of the Hamiltonian flow of p), when projected to M,are geodesics of the Riemannian manifold (M, g). Conversely, every parametrizedgeodesic arises in this way. (For a proof, c.f.my Riemannian geometry notes.)Notethat as a consequence of the conservation law of energy, the cosphere bundleS*M := ((r, $) E T*M I IlSllg = 1)is invariant under theflowpt.As a consequence,wegetan induced flow pt:S*M-→S*M. This flow is usually called the geodesic flow on S*M

2 LECTURE 24-25: QUANTUM ERGODICITY and ( ∂ ∂ξ ) = (∂η ∂ξ ) T ( ∂ ∂η ) = (∂x ∂y )( ∂ ∂η ). It follows ( ∂p ∂x) T ( ∂ ∂ξ ) = (∂p ∂y ) T ( ∂x ∂y ) −1 ( ∂x ∂y )( ∂ ∂η ) = (∂p ∂y ) T ( ∂ ∂η ) and similarly ( ∂p ∂ξ ) T ( ∂ ∂x) = (∂p ∂η ) T ( ∂ ∂y ). So the vector field Ξp is well-defined. By repeating the theory for R n , we can define the Hamiltonian flow associated to p on T ∗M via ρt = e tΞp : T ∗M → T ∗M, (x, ξ) 7→ ρt(x, ξ) := γx,ξ(t), where γx,ξ(t) is the integral curve of Ξp starting at the point γx,ξ(0) = (x, ξ). Again we have the conservation of energy ρ ∗ t p = p (which implies that each energy surface p −1 (E) is preserved under the flow ρt), and the evolution equation of classical observable d dtρ ∗ t a = {p, a}, where {·, ·} is the Poisson bracket on T ∗M so that for any f, g ∈ C ∞(T ∗M), {f, g} = Xn k=1  ∂f ∂ξk ∂g ∂xk − ∂f ∂xk ∂g ∂ξk  = Xf (g) ∈ C ∞(T ∗M). Remark. Let (M, g) be a smooth Riemannian manifold, and let (2) p(x, ξ) = 1 2 kξk 2 g = 1 2 Xg ij ξiξj be half of the Riemannian norm square on the cotangent bundle. Then the integral curves of Ξp (i.e. the trajectories of the Hamiltonian flow of p), when projected to M, are geodesics of the Riemannian manifold (M, g). Conversely, every parametrized geodesic arises in this way. (For a proof, c.f. my Riemannian geometry notes.) Note that as a consequence of the conservation law of energy, the cosphere bundle S ∗M := {(x, ξ) ∈ T ∗M | kξkg = 1} is invariant under the flow ρt . As a consequence, we get an induced flow ρt : S ∗M → S ∗M. This flow is usually called the geodesic flow on S ∗M

3LECTURE24-25:QUANTUMERGODICITY[Dynamical system on p-1(c) generated by the flow pt.Similar computations also show that the n-form dri Adei A.. Adrn A den is awell-defined volume form on T*M, which is usually known as the Liouville volumeform or the symplectic volume form. The induced measure drde on T*M is calledthe Liouville measure.Now suppose a < b and assume that on the set a ≤ p(c, ) ≤ b, [dpl ≥ co > 0.So in particular for each c E [a, b], the level setZ := p-1(c)is a smooth (2n-1)-dimensional hyper-surface in T*M. Moreover, for each c e Ja, b],thereisan induced Liouvillemeasureon Ecdefined viatheformula fdrde =fdpedc(o.blIn other words, dμe is themeasure associated to the induced volume form on theorientable hypersurface Ee.For example, if p(r,)=[sl, then each is a cospherebundle of different radius in T*M, and the induced Liouville measure on Zi = S*Misnothing butdrdgn-i($).Recall that the Hamiltonian ffow of the Hamiltonian function p(c,)preservesany level set Ze.We will prove that the Liouville volumeform and thus the Liouvillemeasure is invariant under the Hamiltonian flow pt.As a consequence, the inducedLiouville measure μe on Z。is invariant under the fow pt generated by p.Classical ergodicity.A very important class of dynamical systems, known as measure preservingflow, is a triple (X, μ, pt), where (X, μ) is a measure space with μ(X) < +oo, andPt : X →X is a measure preserving flow on X, namely. For any t e R, pt : (X,μ) → (X,μ) is measure-preservingPtisaflow:Pt+s=Ptops.Among all classes of dynamical systems, two extremal cases are widely studied: theintegrable case and the ergodic case.Roughly speaking,an integrable dynamicalsystem is a system with maximal conserved quantities and thus is very“regular"while ergodic system is very “chaotic". Here is a precise definition of ergodicity:Definition 1.1. We say a measure-preserving flow pt : (X, μ) → (X, μ) is ergodic ifany Pt-invariant measurable subset of X either has measure O or has full measure.Erample. For any compact Riemannian manifold with negative sectional curvature,the geodesic flow is ergodic.(This was first proved by Hopf for n =2, and by Anosovand Sinai for higher dimensions.Erample. The geodesic flow on Sn is NOT ergodic. (It is integrable.)

LECTURE 24-25: QUANTUM ERGODICITY 3 ¶Dynamical system on p −1 (c) generated by the flow ρt. Similar computations also show that the n-form dx1 ∧ dξ1 ∧ · · · ∧ dxn ∧ dξn is a well-defined volume form on T ∗M, which is usually known as the Liouville volume form or the symplectic volume form. The induced measure dxdξ on T ∗M is called the Liouville measure. Now suppose a < b and assume that on the set a ≤ p(x, ξ) ≤ b, |dp| ≥ c0 > 0. So in particular for each c ∈ [a, b], the level set Σc := p −1 (c) is a smooth (2n−1)-dimensional hyper-surface in T ∗M. Moreover, for each c ∈ [a, b], there is an induced Liouville measure on Σc defined via the formula Z p−1([a,b]) f dxdξ = Z b a Z Σc f dµcdc. In other words, dµc is the measure associated to the induced volume form on the orientable hypersurface Σc. For example, if p(x, ξ) = |ξ|, then each Σc is a cosphere bundle of different radius in T ∗M, and the induced Liouville measure on Σ1 = S ∗M is nothing but dxdSn−1 (ξ). Recall that the Hamiltonian flow of the Hamiltonian function p(x, ξ) preserves any level set Σc. We will prove that the Liouville volume form and thus the Liouville measure is invariant under the Hamiltonian flow ρt . As a consequence, the induced Liouville measure µc on Σc is invariant under the flow ρt generated by p. ¶Classical ergodicity. A very important class of dynamical systems, known as measure preserving flow, is a triple (X, µ, ρt), where (X, µ) is a measure space with µ(X) < +∞, and ρt : X → X is a measure preserving flow on X, namely • For any t ∈ R, ρt : (X, µ) → (X, µ) is measure-preserving. • ρt is a flow: ρt+s = ρt ◦ ρs. Among all classes of dynamical systems, two extremal cases are widely studied: the integrable case and the ergodic case. Roughly speaking, an integrable dynamical system is a system with maximal conserved quantities and thus is very “regular”, while ergodic system is very “chaotic”. Here is a precise definition of ergodicity: Definition 1.1. We say a measure-preserving flow ρt : (X, µ) → (X, µ) is ergodic if any ρt-invariant measurable subset of X either has measure 0 or has full measure. Example. For any compact Riemannian manifold with negative sectional curvature, the geodesic flow is ergodic. (This was first proved by Hopf for n = 2, and by Anosov and Sinai for higher dimensions. Example. The geodesic flow on S n is NOT ergodic. (It is integrable.)

4LECTURE24-25:QUANTUMERGODICITYThe following theorem is a classical result in the theory of dynamical systems,which claims that for an ergodic system, the "time-average" of any Li-functionequals to its “space-average":Theorem1.2(Birkhorff).Supposeptisan ergodic flowon (X,μ),then foranyf E L'(X,μ),1limf(pt(r)dt →f(y)dpV+00Tμ(X)for a.e. r EX.In other words,the flows of ergodic systems are equidistributed in the phasespace, which is in contrast to the fact that classical completely integrable systemsgenerally have periodic orbits in phase space.Birkhoff ergodicity theorem is a very strong theorem. What we will need is thefollowing weaker ergodicity theorem:Theorem 1.3 (L?-mean ergodic theorem). Suppose pt is an ergodic flow on (X, μ),then for any f E L?(X,μ),m(ro)a-/f(g)dpy)dμr=01(Fora proof,c.f.Zworski,page367-368.)Notations for the time-average(f)r(r) :=f(pt(r))dtand the space-average(f)x :=f(y)dμyμ(X)Then we canrewrite themean ergodic theoremaslim(<f)T()-<f)x)2dpz = 0whiletheBirkhoff ergodicitytheorem claims that<f)T(r) →<f)xas T → o for a.e. r E X.2.QUANTUM ERGODICITYInthissectionwewill alwaysassume(1) (M,g) is a compact Riemannian manifold,(2) p E Sm(T*M) is an (almost) elliptic classical symbol, where m>0.(3) a < b, and on the set a ≤p(r, s) ≤ b, [dpl ≥ co > 0

4 LECTURE 24-25: QUANTUM ERGODICITY The following theorem is a classical result in the theory of dynamical systems, which claims that for an ergodic system, the “time-average” of any L 1 -function equals to its “space-average”: Theorem 1.2 (Birkhorff). Suppose ρt is an ergodic flow on (X, µ), then for any f ∈ L 1 (X, µ), lim T→∞ 1 T Z T 0 f(ρt(x))dt → 1 µ(X) Z X f(y)dµ for a.e. x ∈ X. In other words, the flows of ergodic systems are equidistributed in the phase space, which is in contrast to the fact that classical completely integrable systems generally have periodic orbits in phase space. Birkhoff ergodicity theorem is a very strong theorem. What we will need is the following weaker ergodicity theorem: Theorem 1.3 (L 2 -mean ergodic theorem). Suppose ρt is an ergodic flow on (X, µ), then for any f ∈ L 2 (X, µ), lim T→∞ Z X  1 T Z T 0 f(ρt(x))dt − 1 m(X) Z X f(y)dµy 2 dµx = 0. (For a proof, c.f. Zworski, page 367-368.) Notations for the time-average hfiT (x) := 1 T Z T 0 f(ρt(x))dt. and the space-average hfiX := 1 µ(X) Z X f(y)dµy. Then we can rewrite the mean ergodic theorem as lim T→∞ Z X (hfiT (x) − hfiX) 2 dµx = 0 while the Birkhoff ergodicity theorem claims that hfiT (x) → hfiX as T → ∞ for a.e. x ∈ X. 2. Quantum ergodicity In this section we will always assume (1) (M, g) is a compact Riemannian manifold, (2) p ∈ S m(T ∗M) is an (almost) elliptic classical symbol, where m > 0. (3) a < b, and on the set a ≤ p(x, ξ) ≤ b, |dp| ≥ c0 > 0

5LECTURE24-25:QUANTUMERGODICITYNote that by the condition (3), each c e[a,b] is a regular value and thus each energylevel set。=p-1(c)isa smoothcompactmanifold on whichwewill always endowthe induced Liouville measureμe.Quantum ergodicityIn the classical side, we have the Hamiltonian flow on each energy level set p-1(c(which is compact since p is proper, where we assume that c is a regular value of p).In the quantum part, we have the eigenvalues/eigenfunctions of P,Ppj=Ajpj,where E C(M) and () form an L?-orthonormal basis of L?(M), andSpec(P) :.≤00.and people would like to understand the relation between the dynamical behaviorof the classical Hamiltonian flow and the quantum eigenvalue/eigenfunction data.The main theorem in this section is the quantum ergodicity theorem whichdescribes the behavior of eigenfunctions when the corresponding classical system isergodic.Theorem 2.1 (Schnirelman-Zelditch-Colin de Verdiere Quantum Ergodicity Theo-rem, Version 1). Suppose the Hamiltonian flow of p is ergodic on (Ze, μe) for eachcE[a,b]. : Then there erists a family of subsets A(h) C Spec(P)n[a,b] which hasdensity 1 in the sense#A(h)(3)lim胃0 升(Spe(P)n[a,可) = 1,such that for any semiclassical pseudodifferential operator A e o(M) whose symbolo(A)satisfythe conditionthatthequantity1(4)α(A)dμcVol() Jis independent ofce Ja,bl,we have,as ho1(5)o(A)drdE(Apj, Pi) →ol(p-1([a, b) J)<p<tfor >, E A(h).Before we go to the proof, let's state an important corollary. Let's take P-?,and take A= M, to be the “multiplication by f" map, where f e C(M). Then. eigenvalues are Aj,h = h?>, where >, are the standard Laplacian eigenvaluesof (M,g): the eigenfunctions Pj are the standard Laplacian eigenfunctions which areindependent of h. each Zis a cosphere bundle

LECTURE 24-25: QUANTUM ERGODICITY 5 Note that by the condition (3), each c ∈ [a, b] is a regular value and thus each energy level set Σc = p −1 (c) is a smooth compact manifold on which we will always endow the induced Liouville measure µc. ¶Quantum ergodicity. In the classical side, we have the Hamiltonian flow on each energy level set p −1 (c) (which is compact since p is proper, where we assume that c is a regular value of p). In the quantum part, we have the eigenvalues/eigenfunctions of P, P ϕj = λjϕj , where ϕj ∈ C ∞(M) and {ϕj} form an L 2 -orthonormal basis of L 2 (M), and Spec(P) : λ1 ≤ λ2 ≤ · · · ≤ λn ≤ · · · → ∞. and people would like to understand the relation between the dynamical behavior of the classical Hamiltonian flow and the quantum eigenvalue/eigenfunction data. The main theorem in this section is the quantum ergodicity theorem which describes the behavior of eigenfunctions when the corresponding classical system is ergodic. Theorem 2.1 (Schnirelman-Zelditch-Colin de Verdiere Quantum Ergodicity Theo￾rem, Version 1). Suppose the Hamiltonian flow of p is ergodic on (Σc, µc) for each c ∈ [a, b]. . Then there exists a family of subsets Λ(~) ⊂ Spec(P) ∩ [a, b] which has density 1 in the sense (3) lim ~→0 #Λ(~) #(Spec(P) ∩ [a, b]) = 1, such that for any semiclassical pseudodifferential operator A ∈ Ψ0 (M) whose symbol σ(A) satisfy the condition that the quantity (4) 1 Vol(Σc) Z Σc σ(A)dµc is independent of c ∈ [a, b], we have, as ~ → 0, (5) hAϕj , ϕj i → 1 Vol(p −1 ([a, b])) Z a≤p≤b σ(A)dxdξ for λj ∈ Λ(~). Before we go to the proof, let’s state an important corollary. Let’s take P = ~ 2∆, and take A = Mf to be the “multiplication by f” map, where f ∈ C ∞(M). Then • eigenvalues are λj,~ = ~ 2λj , where λj are the standard Laplacian eigenvalues of (M, g) • the eigenfunctions ϕj are the standard Laplacian eigenfunctions which are independent of ~ • each Σc is a cosphere bundle