Completeness of boundary traces of eigenfunctions
Xiaolong Han, Andrew Hassell, Hamid Hezari, Steve Zelditch · Proceedings of the London Mathematical Society · 2015
In this paper, we study the boundary traces of eigenfunctions on the boundary of a smooth and bounded domain. An identity derived by Bäcker, Fürstburger, Schubert, and Steiner [‘Behaviour of boundary functions for quantum billiards’, J. Phys. A 35 (2002) 10293–10310], expressing (in some sense) the asymptotic completeness of the set of boundary traces in a frequency window of size O(1), is proved both for Dirichlet and Neumann boundary conditions. We then prove a semiclassical generalization of this identity.