Ergodic properties of eigenfunctions for the Dirichlet problem (Q1312793)

The authors generalize to the Dirichlet-Laplacian a result already known for compact Riemannian manifolds and for semiclassical Schrödinger operators: namely that under ergodicity assumptions on the classical flow, there exists a subfamily of density 1 of orthonormalized eigenfunctions of the Laplacian, which are asymptotically equidistributed in phase space as the energy tends to infinity. The proof is based on refined versions of theorems on propagation of singularities for boundary value problems.