arxiv: v2 [math.ap] 4 Jun 2013

Transcription

1 QUANTUM ERGODIC RESTRICTION FOR CAUCHY DATA: INTERIOR QUE AND RESTRICTED QUE arxiv:05.086v [mat.ap] Jun 03 HANS CHRISTIANSON, JOHN A. TOTH, AND STEVE ZELDITCH Abstract. We prove a quantum ergodic restriction teorem for te Caucy data of a sequence of quantum ergodic eigenfunctions on a ypersurface H of a Riemannian manifold (M,g). Te tecnique of proof is to use a Rellic type identity to relate quantum ergodicity of Caucy data on H to quantum ergodicity of eigenfunctions on te global manifold M. Tis as te interesting consequence tat if te eigenfunctions are quantum unique ergodic on te global manifold M, ten te Caucy data is automatically quantum unique ergodic on H wit respect to operators wose symbols vanis to order one on te glancing set of unit tangential directions to H.. Introduction Tis article is concerned wit te QER(quantum ergodic restriction) problem for ypersurfaces in compact Riemannian manifolds(m, g). We consider te eigenvalue problem on M g ϕ j λ j ϕ j, ϕ j,ϕ k δ jk, Bϕ j 0 on M were f,g fḡdv (dv is te volume form of te metric) and were B is M te boundary operator, e.g. Bϕ ϕ M in te Diriclet case or Bϕ ν ϕ M in te Neumann case. We also allow M. We introduce te Planck constant j λj ; for notational simplicity we often drop te subscript j. We ten denote te eigenfunctions in te ortonormal basis by ϕ and te eigenvalues by, so tat te eigenvalue problem takes te semi-classical form, ( g )ϕ 0, (.), Bϕ 0 on M were B I or B D ν in te Diriclet or Neumann cases respectively. Also, g denotes te negative Laplacian, e.g. on flat R n it denotes n j. x j Let H M be a smoot ypersurface wic does not meet M if M. Te main result of tis article (Teorem ) is tat te semiclassical Caucy data (.) CD(ϕ ) : {(ϕ H, D ν ϕ H )} of eigenfunctions is always quantum ergodic along any ypersurface H M if te eigenfunctions are quantum ergodic on te global manifold M. Te proof is a generalization of te boundary case were H M, wic was proved in [HaZe] and in [Bu]. Our proof is modeled on tat of [Bu], developing ideas of [GL] (see also [CTZ] for an abstract microlocal approac). Tis automatic QER property of Caucy data stands in contrast to te conditional nature of te QER property

2 HANS CHRISTIANSON, JOHN A. TOTH, AND STEVE ZELDITCH for te Diriclet data alone, wic requires an asymmetry condition on H wit respect to geodesics [TZ, TZ, DZ]. Note tat in te boundary case H M, te Diriclet resp. Neumann boundary condition kills one of te two components of te Caucy data, so tat te Caucy data QER teorem appears te same as te QER teorem for Neumann data (resp. Diriclet data) alone. As empasized below te statement of Teorem, te deduction of quantum ergodicity of te Caucy data from quantum ergodicity of te sequence of ambient eigenfunctions olds for te full original sequence. Hence, if te original sequence is a complete ortonormal basis of eigenfunctions, i.e. if g is QUE (quantum uniquely ergodic), ten te Caucy data of te full ortonormal basis is also QUE on H for any embedded orientable separating ypersurface H. We refer to tis as te QUER property. However, it is not necessarily te case tat te Caucy data is QUER for te full algebra of pseudo-differential operators. In Corollary. it is proved tat QUE on (M,g) implies QUER wit respect to te subalgebra of semiclassical pseudodifferential operators on H wose symbols vanis to order along S H. Te restriction on te symbols arises because te passage from QUE in te ambient manifold to QUER on te ypersurface involves multiplying te symbols by a certain factor wic vanises to order one on S H, i.e. te unit directions (co-)tangent to H. Terefore, QUE in te ambient manifold does not imply QUER for all pseudodifferential operators on H, and indeed te test operators damp out te possible modes wic concentrate microlocally on H. We neverteless refer to it as a QUER property because it olds for te entire sequence of eigenfunctions; tere is no need to remove a subsequence of density zero for te subalgebra limits. To state te results precisely, we introduce some notation. We work wit te semiclassical calculus of pseudo-differential operators as in te references [Bu, DZ, HaZe, TZ, Zw]; see also for background. On bot H and M we fix (Weyl) quantizations a a w of semi-classical symbols to semi-classical pseudo-differential operators. Wen it is necessary to indicate wic manifold is involved, we eiter write Op H (a) for pseudo-differential operators on H or we use capital letters A w (x,d) to indicate operators on M and small letters a w (y,d y ) to indicate operators on H. A sequence of functions u j on a manifold M indexed by a sequence of Planck constants is said to be quantum ergodic wit limit measure dµ if a w (x, j D x )u j,u j ω(a 0 ) : T M a 0 dµ, for all zerot order semi-classical pseudo-differential operators, were a 0 is te principal symbol of a w (x, j D x ). In te classical case of compact Riemannian manifolds (M,g) wit ergodic geodesic flow of [Sc, Zel, CdV, ZZ], te {u j } were a subsequence of density one of an ortonormal basis of eigenfunctions of g and dµ is normalized Liouville measure on S M. Te functional a a w (x, j D x )u j,u j is often referred to as a microlocal lift (or a Wigner distribution), and te limit measure or state ω(a) is often called a quantum limit or a semi-classical defect measure. Tus, we use te term quantum ergodic sequence in tis article to mean a sequence of functions wose microlocal lifts ave a unique weak* limit. For te results of tis article, it is not necessary to assume tat te geodesic flow is ergodic; we sow tat tat Caucy data of a quantum ergodic sequence of eigenfunctions in

3 QUANTUM ERGODIC RESTRICTION FOR CAUCHY DATA 3 te ambient space M are quantum ergodic on H, no matter wat mecanism leads to quantum ergodicity of te original sequence. We introduce a ypersurface H, wic we assume to be orientable, embedded, and separating in te sense tat M\H M + M were M ± are domains wit boundary in M. Tis is not a restrictive assumption since we can arrange tat any ypersurface is part of te boundary of a domain. Given a quantization a Op H (a) of semi-classical symbols a Ssc(H) 0 of order zero (see Appendix ) to semi-classical pseudo-differential operators on L (H), we define te microlocal lifts of te Neumann data as te linear functionals on a Ssc 0 (H) given by µ N (a) : adφ N : Op H(a)D ν ϕ H,D ν ϕ H L (H). We also define te renormalized microlocal lifts of te Diriclet data by µ D (a) : : Op H (a)(+ H )ϕ H,ϕ H L (H). adφ RD Finally, we define te microlocal lift dφ CD (.3) dφ CD of te Caucy data to be te sum : dφ N +dφ RD. Here, H denotes te negative tangential Laplacian for te induced metric on H, so tat te operator (+ H ) is caracteristic precisely on te glancing set S H of H. Intuitively, we ave renormalized te Diriclet data by damping out te wispering gallery components. Te distributions µ N,µD are asymptotically positive, but are not normalized to avemass one and may tend to infinity. Tey depend on te coice ofquantization, but teir possible weak* limits as 0 do not, and te results of te article are valid for any coice of quantization. We refer to or to [Zw] for background on semi-classical microlocal analysis. Our first result is tat te Caucy data of a sequence of quantum ergodic eigenfunctions restricted to H is automatically QER for semiclassical pseudodifferential operators wit symbols vanising on te glancing set S H, i.e. tat were ω(a) dφ CD ω, µ(s a 0 (x,ξ )( ξ ) / dσ M) is te limit state of Teorem. Tis was proved in a different way in [TZ] in te case of piecewise smoot Euclidean domains. Te assumption H M is for simplicity of exposition and because te case H M is already known. Teorem. Suppose H M is a smoot, codimension embedded orientable separating ypersurface and assume H M. Assume tat {ϕ } is a quantum ergodic sequence of eigenfunctions (.). Ten te sequence {dφ CD } (.3) of microlocal lifts of te Caucy data of ϕ is quantum ergodic on H in te sense tat

4 HANS CHRISTIANSON, JOHN A. TOTH, AND STEVE ZELDITCH for any a S 0 sc (H), Op H (a)d ν ϕ H,D ν ϕ H L (H) + Op H (a)(+ H )ϕ H,ϕ H L (H) 0 + µ(s M) a 0(x,ξ )( ξ ) / dσ, were a 0 (x,ξ ) is te principal symbol of Op H (a), H is te induced tangential (semiclassical) Laplacian wit principal symbol ξ, µ is te Liouville measure on S M, and dσ is te standard symplectic volume form on. Remark. We empasize tat te limit along H in Teorem olds for te full sequence {ϕ }. Tus, if te full sequence of eigenfunctions is known to be quantum ergodic, i.e. if te sequence is QUE, ten te conclusion of te teorem applies to te full sequence of eigenfunctions. We also remark tat altoug we do not state it formally, Teorem (and indeed all te results in tis paper) apply equally well to quasimodes, tat is, to approximate eigenfunctions satisfying as 0+. ( g )ϕ L o() ϕ L Te proof simply relates te interior and restricted microlocal lifts and reduces te QER property along H to te QE property of te ambient manifold. If we assume tat QUE olds in te ambient manifold, we automatically get QUER, wic is our first Corollary: Corollary.. Suppose tat {ϕ } is QUE on M. Ten te distributions {dφ CD } ave a unique weak* limit ω(a) : µ(s M) a 0 (x,ξ )( ξ ) / dσ. We note tat dφ CD involves te microlocal lift dφ RD rater tan te microlocal lift of te Diriclet data. However, in Teorem, we see tat te analogue of Teorem olds for a density one subsequence if we use te furter renormalized distributionsdφ D +dφrn werete microlocallift dφ D D ()oftediriclet data of ϕ is defined by adφ D : Op H(a)ϕ H,ϕ H L (H), and adφ RN : (+ H +i0) Op H (a)d ν ϕ H,D ν ϕ H L (H). Teorem. Suppose H M is a smoot, codimension embedded orientable separating ypersurface and assume H M. Assume tat {ϕ } is a quantum ergodic sequence. Ten, tere exists a sub-sequence of density one as 0 + suc tat for all a S 0 sc(h), (+ H +i0) Op H (a)d ν ϕ H,D ν ϕ H 0 + µ(s M) a 0(x,ξ )( ξ ) / dσ, were a 0 (x,ξ ) is te principal symbol of Op H (a). L (H) + Op H(a)ϕ H,ϕ H L (H)

5 QUANTUM ERGODIC RESTRICTION FOR CAUCHY DATA 5 Te additional step in te proof is a pointwise local Weyl law as in [TZ] section 8. sowing tat only a sparse set of eigenfunctions could scar on te glancing set S H. Tis is precisely te step wic is not allowed in te QUER problem. Terefore, QUER for all Op H (a) migt fail for tis rescaled problem; to determine weter it olds for all Op H (a) we would need a new idea. However, te following is a direct consequence of Teorem. Corollary.. Suppose tat {ϕ } is QUE on M. Ten te distributions {dφ D + dφ RN } ave a unique weak* limit ω(a) : µ(s a 0 (x,ξ )( ξ ) / dσ M) wit respect to te subclass of symbols wic vanis on S H. We prove Teorem by means of a Rellic identity adapted from [GL, Bu]. It is also possible to prove te teorem using te layer potential approac in Step (Proof of (7.)) in section 7 of [HaZe]. To adapt tis proof, one would need to introduce a semi-classical Green s function in place of te Euclidean Green s function, verify tat it as te properties of te latter in section of [HaZe], and ten go troug te proof of Step. Despite te autors fondness for te layer potential approac, tis proof is muc longer tan te infinitesimal Rellic identity approac and we ave decided to omit te details. Acknowledgements. Te first version of tis article was written at te same time as[tz, TZ] but its completion was post-poned wile te autors proved te QER penomenon for Diriclet data alone. We were furter stimulated to complete te article by a discussion wit Peter Sarnak at te Spectral Geometry conference at Dartmout in July, 00 in wic we debated weter QUE in te ambient domain implies QUER along H. We said yes, Sarnak said no ; Corollaries. and. explain te sense in wic bot answers are rigt. Te researc of H.C. was partially supported by NSF grant# DMS-09005; J.T. was partially supported by NSERC grant # OGP07080 and a William Dawson Fellowsip; S.Z. was partially supported by NSF grant # DMS Rellic approac: Proof of Teorem We ave assumed H is a separating ypersurface, so tat H is te boundary of a smoot open submanifold of M, H M + M. Tere is no loss of generality in tis assumption, since we may always use a cutoff to a subset of H. We ten use a Rellic type identity to write te integral of a commutator over M + as a sum of integrals over te boundary (of course te same argument would apply on M M \M + ). Te argument is partially motivated by Burq s proof of boundary quantum ergodicity (ie. te case H M). Let x (x,...,x n,x n ) (x,x n ) be Fermi normal coordinates in a small tubularneigbouroodh(ǫ)ofh defined nearapoint x 0 H. In tesecoordinates we can locally write H(ǫ) : {(x,x n ) U R, x n < ǫ}. Here U R n is a coordinate cart containing x 0 H and ǫ > 0 is arbitrarily small but for te moment, fixed. We let χ C 0 (R) be a cutoff wit χ(x) 0 for

6 6 HANS CHRISTIANSON, JOHN A. TOTH, AND STEVE ZELDITCH x and χ(x) for x /. In terms of te normal coordinates, g g(x) D x n g(x)d xn +R(x n,x,d x ) were, R is a second-order -differential operator along H wit coefficients tat depend on x n, and R(0,x,D x ) H is te induced tangential semiclassical Laplacian on H. Let A(x,D x ) Ψ 0 sc(m) be an order zero semiclassical pseudodifferential operator on M (see ). By Green s formula and (.) we get te Rellic identity (.) i ( [ g, A(x,D x )]ϕ (x) ) ϕ (x)dx M + (D ν A(x,x n,d x )ϕ H )ϕ H dσ H H + (A(x,x n,d x )ϕ H )D ν ϕ H dσ H. H Here, D xj i x j, D x (D x,...,d xn ), D ν i ν were ν is te interior unit normal to M +. Given a S 0,0 (T H (0, 0 ]), we ten coose A(x,x n,d x ) χ( x n ǫ )D x n a w (x,d ). Since χ(0) it follows tat te second term on te rigt side of (.) is just (.) a w (x,d )D xn ϕ H,D xn ϕ H. Te first term on rigt and side of (.) equals (.3) D n (χ(x n /ǫ)d n a w (x,d )ϕ ) ϕ dσ H H xn0 xn0 ( χ(x n /ǫ)a w (x,d )(D n ) ϕ + ) H iǫ χ (x n /ǫ)d n a w (x,d )ϕ xn0 ϕ dσ H xn0 (χ(x n /ǫ)a w (x,d )( R(x n,x,d ))ϕ ) ϕ dσ H +O ǫ (), xn0 xn0 H since χ (0) 0 and ((D n ) +R+O())ϕ ϕ in tese coordinates. It follows from (.)-(.3) tat (.) (.5) Op H (a)d ν ϕ H,D ν ϕ H L (H) + Op H (a)(+ H )ϕ H,ϕ H L (H) ({ ξn +R(x n,x,ξ ), χ( x }) wϕ n ǫ )ξ na(x,ξ ), ϕ +O ǫ (). L (M +) We now assume tat ϕ is a sequence of quantum ergodic eigenfunctions, and take te 0 + limit on bot sides of (.). We apply interior quantum ergodicity to te term on te rigt side of (.). We compute

7 QUANTUM ERGODIC RESTRICTION FOR CAUCHY DATA 7 { ξ n +R(x n,x,ξ ), χ( xn ǫ )ξ na(x,ξ ) } ǫ χ ( xn ǫ )ξ n a(x,ξ ) (.6) +χ( xn ǫ )R (x,x n,ξ ), were R is a zero order symbol. Let χ C satisfy χ (t) 0 for t /, χ (t) fort 0,andχ (t) > 0for / < t < 0,andletρbeaboundarydefining function for M +. Ten χ (ρ/δ) is on M + and 0 outside a δ/ neigbourood. Now te assumptions tat te sequence ϕ is quantum ergodic implies tat te matrix element of te second term on te rigt side of (.6) is bounded by (χ(x n /ǫ)r (x,ξ )) w ϕ,ϕ L (M +) χ (ρ/δ)χ(x n /ǫ)ϕ L (M) χ (ρ/δ) χ(x n /ǫ)ϕ L (M) O δ (ǫ)+o δ,ǫ (), were χ and χ are smoot, compactly supported functions wic are one on te support of χ and χ respectively. Here, te last line follows from interior quantum ergodicity of te ϕ since te volume of te supports of χ(x n /ǫ) and χ(x n /ǫ) is comparable to ǫ. To andle te matrix element of te first term on te rigt side of (.6), we note tat χ (x n /ǫ) M+ χ (x n /ǫ) for a smoot function χ C (M) satisfying χ in a neigbourood of M \ M + and zero inside a neigbourood of H. Ten, again by interior quantum ergodicity, we ave (.7) ( ǫ χ ( x n ( ǫ χ ( x n ) w ǫ )ξ na(x,ξ ) ϕ, ϕ ) w ϕ, ϕ ǫ )ξ n a(x,ξ ) µ(s M) S M µ(s M) L (M +) L (M) ǫ χ ( x n ǫ )( R(x,x n,ξ ))a(x,ξ )dµ+o(ǫ)+o ǫ () S M + ǫ χ ( x n ǫ )( R(x,x n,ξ ))a(x,ξ )dµ+o(ǫ)+o ǫ (), since χ and χ are supported inside M +. Combining te above calculations yields (.8) Op H (a)d ν ϕ H,D ν ϕ H L (H) + Op H (a)(+ H )ϕ H,ϕ H L (H) µ(s M) S M + ǫ χ ( x n ǫ )( R(x,x n,ξ ))a(x,ξ )dµ+o δ (ǫ)+o δ,ǫ (). Finally, we take te 0 + -limit in (.8) followed by te ǫ 0 + -limit, and finally te δ 0 + limit. Te result is tat, since te left-and side in (.8) is

8 8 HANS CHRISTIANSON, JOHN A. TOTH, AND STEVE ZELDITCH independent of ǫ and δ, lim Op H (a)d ν ϕ H,D ν ϕ H L 0 + (H) + Op H (a)(+ H )ϕ H,ϕ H L (H) µ(s ( R(x,x n 0,ξ ))d σ M) SH M (.9) µ(s ( ξ ) / a(x,ξ ))dσ, M) were d σ is te symplectic volume form on SH M, and dσ is te symplectic volume form on. 3. Proof of Teorem and Corollary. Te proof follows as in Teorem wit a few modifications. For fixed ǫ > 0 we coose te test operator (3.) A(x,x n,d x ) : (I + H (x,d )+iǫ ) χ( x n ǫ )D x n a w (x,d ) and since WF (ϕ H ) (see [TZ] section ) it suffices to assume tat a C 0 (T H) wit suppa B +ǫ (H). Let χ ǫ (x,ξ ) C0 (B (H) \ B be a cutoff near te glancing +ǫ ǫ(h);[0,]) set S H wit χ ǫ (x,ξ ) wen (x,ξ ) B (H) \ B Ten, wit +ǫ ǫ(h). A(x,D x ) in (3.), te same Rellic commutator argument as in Teorem gives (+ H +iǫ ) a w (x,d )( χ ǫ ) w D ν ϕ H,D ν ϕ H (3.) L (H) ( ξ + a w (x,d )( χ ǫ ) w ) w ξ ϕ H,ϕ H +iǫ L (H) ( ( ξ µ(s a 0 (x,ξ )( χ ǫ (x,ξ ) / ) )) M) ξ dσ. +iǫ It remains to determine te contribution of te glancing set S H. As in [Bu, DZ, HaZe, TZ] we use a local Weyl law to do tis. Because of te additional normal derivative term te argument is sligtly different tan in te cited articles and so we give some details. For te rest of tis proof, we need to recall tat {λ j }, and we write j for tis sequence to empasize tat it is a discrete sequence of values j 0. Since a w (x,d ) L L O(), it follows tat for (0, 0(ǫ )] wit 0 (ǫ ) > 0 sufficiently small, a w (x,d )χ w (3.3) ǫ ϕ j H,ϕ j H L (H) C C O(ǫ ). ( χ w ǫ ϕ j H L (H) χ w ǫ ϕ j H L (H) +O( j )) ) ( χ w ϕ ǫ j H L (H) + χw ϕ ǫ j H L (H) +O( j )

9 QUANTUM ERGODIC RESTRICTION FOR CAUCHY DATA 9 By a Fourier Tauberian argument [TZ] section 8., it follows tat for (0, 0 (ǫ )] (3.) χ w ǫ,ǫ ϕ j H (x ) O(ǫ ) uniformly for x H. Te last estimate in (3.3) follows from (3.) by integration over H. To estimate te normal derivative terms, we first recall te standard resolvent estimate (+ H +iǫ ) u H (H) Cǫ u L (H), were H is te semiclassical Sobolev space of order (see [Zw] Lemma 3.6). Applying te obvious embedding H (H) L (H), we recover to get tat (3.5) (+ H +iǫ ) u L (H) C (+ H +iǫ ) u H (H) Cǫ u L (H) (+ H +iǫ ) a w (x,d )χ w ǫ j D xn ϕ j H, j D xn ϕ j H L (H) C ǫ ( χ w ǫ D xn ϕ j H L (H) χ w ǫ D xn ϕ j H L (H) +O( j ) ) C ǫ O(ǫ ǫ ) O(ǫ ). ( ) χ w ǫ D xn ϕ j H L (H) + χw ǫ D xn ϕ j H L (H) +O( j ) Te last estimate follows again from te Fourier Tauberian argument in [TZ] section 8., wic gives (3.6) χ w ǫ,ǫ j D xn ϕ j H (x ) O(ǫ ) uniformly for x H. Since ǫ > 0 is arbitrary, Teorem follows from (3.3) and (3.5) by letting ǫ 0 + in (3.). 3.. Proof of Corollary.. We now observe tat Corollary. follows almost immediately from te proof of Teorem. To see tis, we notice tat by restricting our attention to symbols wic vanis on te glancing set, we do not need to pass troug te local Weyl law/tauberian argument, wic is te step by wic one extracts a density one subsequence. Hence te result applies to te full sequence.

10 0 HANS CHRISTIANSON, JOHN A. TOTH, AND STEVE ZELDITCH. Appendix.. Semiclassical symbols. Let M be a compact manifold. By a semiclassical symbol a S m,k (T M [0, 0 )), we mean a smoot function possessing an asymptotic expansion as 0 of te form, (.) a(x,ξ,) 0 + a k j (x,ξ) m+j, j0 wit a k j S,0(T k M). Here, S,0 k is te standard Hörmander class consisting of smoot functions a(x,ξ) satisfying te estimates x α β ξ a(x,ξ) C α,β ξ k β for all multi-indices α,β N n. We say tat A() Op w (Sm,k (T M [0, 0 )) provided its Scwartz kernel is locally of te form (.) A()(x,y) (π) n e i x y,ξ / a( x+y,ξ,)dξ R n wit a S m,k. We denote te operator A() by a w (x,d x ) (or simply a w ). By a symbol of orderzero we mean tat a S 0,0, and we refer to a 0 (x,ξ) as te principal symbol. In te latter case, we simply write S 0 sc (M) : S0,0, Ψ 0 sc (M) : Opw (S0,0 ). Finally, wen H M is a ypersurface and a Ssc 0 (H), we sometimes write Op H (a) a w to indicate dependence on te submanifold, H. We refer to [Zw] for background. References [Bu] Burq, N. Quantum ergodicity of boundary values of eigenfunctions: a control teory approac. Canad. Mat. Bull. 8 (005), no., p [CdV] Colin de Verdière, Y. Ergodicité et fonctions propres du laplacien. Comm. Mat. Pys. 0, 985. p [CTZ] Cristianson, H., Tot, J.A., and Zelditc, S. Quantum Flux and Quantum Ergodicity for Cross Sections. in preparation. [DZ] Dyatlov, S. and Zworski, M. Quantum ergodicity for restrictions to ypersurfaces. Nonlinearity 6 (03), p (arxiv:0.08). [GL] Gérard, P. and Leictnam, E. Ergodic properties of eigenfunctions for te Diriclet problem. Duke Mat. J. 7 (993), no., p [HaZe] Hassell, A. and Zelditc, S. Quantum ergodicity of boundary values of eigenfunctions. Comm. Mat. Pys. 8, no., 00. p [Sc] Scnirelman, A. I., Ergodic properties of eigenfunctions, Usp. Mat. Nauk. 9 (97), p. 8-. [TZ] Tot, J.A. and Zelditc, S. Quantum ergodic restriction teorems, I: interior ypersurfaces in domains wit ergodic billiards, Annales Henri Poincaré 3() (0), p (arxiv: ). [TZ] Tot, J.A. and Zelditc, S. Quantum ergodic restriction teorems, II: manifolds witout boundary, Geom. Func. Anal. (DOI) 0.007/s (arxiv:0.53). [Zel] Zelditc, S. Uniform Distribution of Eigenfunctions on Compacty Hyperbolic Surfaces. Duke Mat. J. 55, 987. p [ZZ] Zelditc, S. and Zworski, M., Ergodicity of eigenfunctions for ergodic billiards. Comm. Mat. Pys. 75 (996), p [Zw] Zworski, M. Semiclassical Analysis, Graduate Studies in Matematics 38, AMS, 0.

11 QUANTUM ERGODIC RESTRICTION FOR CAUCHY DATA Department of Matematics, UNC-Capel Hill, CB#350 Pillips Hall, Capel Hill, NC address: Department of Matematics and Statistics, McGill University, Montreal, CANADA address: Department of Matematics, Nortwestern University, Evanston, IL , USA address: