Quantum Ergodicity of Boundary Values of Eigenfunctions

Suppose that Ω is a bounded convex domain in R whose boundary is a C manifold with corners. We prove that the boundary values (Cauchy data) of eigenfunctions of the Laplacian on Ω with various boundary conditions are quantum ergodic if the classical billiard map β on the ball bundle B(∂Ω) is ergodic. Our proof is based on the classical observation that the boundary values of an interior eigenfunction φλ, ∆φλ = λ 2φλ is an eigenfunction of an operator Fh on the boundary of Ω with h = λ . In the case of the Neumann boundary condition, Fh is the boundary integral operator induced by the double layer potential. We show that Fh is a semiclassical Fourier integral operator quantizing the billiard map plus a ‘small’ remainder; the quantum dyanmics defined by Fh can be exploited on the boundary much as the quantum dynamics generated by the wave group was exploited in the interior of domains with corners and ergodic billiards in the work of Zelditch-Zworski (1996). Novelties include the facts that Fh is not unitary and (consequently) the boundary values are equidistributed by measures which are not invariant under β and which depend on the boundary conditions. Ergodicity of boundary values of eigenfunctions on domains with ergodic billiards was conjectured by S. Ozawa (1993), and was almost simultaneously proved by Gerard-Leichtnam (1993) in the case of C domains (with continuous tangent planes) and with Dirichlet boundary conditions. Our methods seem to be quite different. Motivation to study cornered domains comes from the fact that almost all known ergodic billiard domains have corners.