Quantum ergodicity for a class of mixed systems (Q2450828)

Summary: We examine high energy eigenfunctions for the Dirichlet Laplacian on domains where the billiard flow exhibits mixed dynamical behavior. (More generally, we consider semiclassical Schrödinger operators with mixed assumptions on the Hamiltonian flow.) Specifically, we assume that the billiard flow has an invariant ergodic component, \(U\), and study defect measures, \(\mu\), of positive density subsequences of eigenfunctions (and, more generally, of almost orthogonal quasimodes). We show that any defect measure associated to such a subsequence satisfies \(\mu|_{U}=c\mu_L|_{U}\), where \(\mu_L\) is the Liouville measure. This proves part of a conjecture of \textit{C. Percival} [``Regular and irregular spectra'', J. Phys. B At. Mol. Phys. 6, No. 9, 229--232 (1973; \url{doi:10.1088/0022-3700/6/9/002})].