Comparable upper and lower bounds for boundary values of Neumann eigenfunctions and tight inclusion of eigenvalues (Q1626390)

The authors prove upper and lower \(L^2\) bounds on the boundary data of Neumann eigenfunctions in the framework of smooth bounded domains of the Euclidean space. Also they establish the quasi-orthogonality of this boundary data in a spectral window. The bounds are tight in the sense that both are independent of the eigenvalue. The main idea in the proof is to consider an appropriate norm for the boundary functions, which includes a spectral weight. Finally, the abstract results established in this paper are applied to present an improved numerical implementation of the method of particular solutions for computation of Neumann eigenpairs on smooth planar domains. The authors show that the new inclusion bound improves the relative accuracy in a computed Neumann eigenvalue (around the 42000th) from 9 digits to 14 digits, with little extra effort.