Quantum ergodicity of boundary values of eigenfunctions

DOI10.1007/S00220-004-1070-2MaRDI QIDQ1885608zbMATH OpenOpenAlexFDO

Authors Andrew Hassell, Steve Zelditch

Publication date 11 November 2004

Published in Communications in Mathematical Physics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0211140

zbMATH Keywords

billiard mapCauchy dataDirichlet boundary conditiondomain in spaceEgorov theoremLaplacianNeumann boundary conditionquantum ergodicRobin boundary conditionWeyl law

Mathematics Subject Classification ID

Applications of selfadjoint operator algebras to physics (46L60) Pseudodifferential and Fourier integral operators on manifolds (58J40) Spectral problems; spectral geometry; scattering theory on manifolds (58J50) Geometry and quantization, symplectic methods (81S10)

Abstract: Suppose that Omega is a bounded, piecewise smooth Euclidean domain. We prove that the boundary values (Cauchy data) of eigenfunctions of the Laplacian on Omega with various boundary conditions are quantum ergodic if the classical billiard map (on the ball bundle of the boundary of Omega) is ergodic. Our proof is based on the classical observation that the boundary value of an interior eigenfunction is an eigenfunction of an operator F_h on the boundary of Omega, where h^{-2} is equal to the eigenvalue. In the case of the Neumann boundary condition, F_h is the boundary integral operator induced by the double layer potential. We show that F_h is a semiclassical Fourier integral operator quantizing the billiard map plus a `small' remainder. We then use the quantum dyanmics defined by F_h at the boundary to prove the result, much as the quantum dynamics generated by the wave group were exploited in the work of Zelditch-Zworski (1996). Novelties include the facts that F_h is not unitary and (consequently) the boundary values are equidistributed by measures which are not invariant under the billiard map and which depend on the boundary conditions.

Review text

Let \(\Omega\) be a bounded, piecewise smooth domain in \({R}^n\). Assume that the classical billiard map on the ball bundle \(B^*(\partial\Omega)\) is ergodic. Impose Dirichlet, Neumann, Robin boundary conditions, or \(\Psi^1\) Robin boundary conditions. The authors show that the boundary values (Cauchy data) of the eigenfunctions of the Laplacian on \(\Omega\) are quantum ergodic. The paper is organized into sections: 1) Introduction, 2) Quantum ergodicity of endomorphisms, 3) Piecewise smooth manifolds, 4) Structure of the operators \(E_h\) and \(F_h\), 5) Local Weyl law, 6) Egorov theorem, 7) Proof of main theorem - Neumann boundary conditions, 8) Robin boundary conditions, 9) Dirichlet boundary conditions, 10) \(\Psi^1\)-Robin boundary conditions, 11) non-convex domains, 12) Appendix - heat kernel.

Recommendations

• Quantum Ergodicity of Boundary Values of Eigenfunctions: A Control Theory Approach
• Quantum ergodic restriction theorems. I: Interior hypersurfaces in domains with ergodic billiards
• Quantum ergodicity for restrictions to hypersurfaces
• Quantum ergodicity and \(L^{p}\) norms of restrictions of eigenfunctions
• scientific article; zbMATH DE number 223801

Cites work

• Analytic Extension of the Trace Associated with Elliptic Boundary Problems
• Asymptotic property of eigenfunction of the Laplacian at the boundary
• Conditions of stochasticity of two-dimensional billiards
• Convolution Singular Integrals on Lipschitz Surfaces
• Ergodic properties of eigenfunctions for the Dirichlet problem
• Ergodicity and eigenfunctions of the Laplacian
• Ergodicity of billiard flows and quadratic differentials
• Ergodicity of eigenfunctions for ergodic billiards
• Hadamard's variation of the Green kernels of heat equations and their traces. I
• How high-dimensional stadia look like
• scientific article; zbMATH DE number 4146661 (Why is no real title available?)
• scientific article; zbMATH DE number 3969124 (Why is no real title available?)
• scientific article; zbMATH DE number 3709065 (Why is no real title available?)
• scientific article; zbMATH DE number 3775877 (Why is no real title available?)
• scientific article; zbMATH DE number 45780 (Why is no real title available?)
• scientific article; zbMATH DE number 194234 (Why is no real title available?)
• scientific article; zbMATH DE number 1339094 (Why is no real title available?)
• scientific article; zbMATH DE number 1182341 (Why is no real title available?)
• scientific article; zbMATH DE number 914800 (Why is no real title available?)
• Inverse spectral problem for analytic domains. I: Balian-Bloch trace formula
• Layer potentials and regularity for the Dirichlet problem for Laplace's equation in Lipschitz domains
• On the ergodic properties of nowhere dispersing billiards
• Perturbation of domains and Green kernels of heat equations
• Principles for the design of billiards with nonvanishing Lyapunov exponents
• Quantum ergodicity of \(C^*\) dynamical systems
• The eigenvalues of the Laplacian and perturbation of boundary condition
• The Resolvent of an Elliptic Boundary Problem
• The semi-classical trace formula and propagation of wave packets
• Uniform distribution of eigenfunctions on compact hyperbolic surfaces
• Upper and lower bounds for normal derivatives of Dirichlet eigenfunctions

Cited in

(29)

• Ergodic properties of eigenfunctions for the Dirichlet problem
• Comparable upper and lower bounds for boundary values of Neumann eigenfunctions and tight inclusion of eigenvalues
• Non-localization of eigenfunctions for Sturm-Liouville operators and applications
• The quantum Sabine law for resonances in transmission problems
• Spectral shape optimization for the Neumann traces of the Dirichlet-Laplacian eigenfunctions
• Quantum ergodicity and \(L^{p}\) norms of restrictions of eigenfunctions
• Inverse spectral problem for analytic domains. I: Balian-Bloch trace formula
• Quantum ergodicity at a finite energy level
• Differences between Robin and Neumann eigenvalues
• Eigenfunction asymptotics and spectral rigidity of the ellipse
• Optimal shape and location of sensors for parabolic equations with random initial data
• Quantum ergodic restriction theorems: manifolds without boundary
• Inverse spectral problem for analytic domains. II: Z₂-symmetric domains
• Number of nodal domains of eigenfunctions on non-positively curved surfaces with concave boundary
• Completeness of boundary traces of eigenfunctions
• Quantum mushroom billiards
• Quantum ergodic restriction theorems. I: Interior hypersurfaces in domains with ergodic billiards
• Percival's conjecture for the Bunimovich mushroom billiard
• Equidistribution of Neumann data mass on triangles
• The ergodicity landscape of quantum theories
• Quantum Ergodicity of Boundary Values of Eigenfunctions: A Control Theory Approach
• Sharp norm estimates of layer potentials and operators at high frequency
• Fast computation of high-frequency Dirichlet eigenmodes via spectral flow of the interior Neumann-to-Dirichlet map
• Energy distribution for Dirichlet eigenfunctions on right triangles
• Spectral asymptotics for Robin Laplacians on Lipschitz sets
• On the original Ulam's problem and its quantization
• Quantitative quantum ergodicity and the nodal domains of Hecke-Maass cusp forms
• Ergodic billiards that are not quantum unique ergodic (with an appendix by Andrew Hassell and Luc Hillairet)
• Inverse spectral problem for analytic \((\mathbb Z/2\mathbb Z)^n\)-symmetric domains in \(\mathbb R^n\)

This page was built for publication: Quantum ergodicity of boundary values of eigenfunctions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1885608)