Abstract:For smooth bounded domains in $\mathbb{R}$, we prove upper and lower $L^2$ bounds on the boundary data of Neumann eigenfunctions, and prove quasi-orthogonality of this boundary data in a spectral window. The bounds are tight in the sense that both are independent of eigenvalue; this is achieved by working with an appropriate norm for boundary functions, which includes a `spectral weight', that is, a function of the boundary Laplacian. This spectral weight is chosen to cancel concentration at the boundary that can happen for `whispering gallery' type eigenfunctions. These bounds are closely related to wave equation estimates due to Tataru. Using this, we bound the distance from an arbitrary Helmholtz parameter $E>0$ to the nearest Neumann eigenvalue, in terms of boundary normal-derivative data of a trial function $u$ solving the Helmholtz equation $(\Delta-E)u=0$. This `inclusion bound' improves over previously known bounds by a factor of $E^{5/6}$. It is analogous to a recently improved inclusion bound in the Dirichlet case, due to the first two authors. Finally, we apply our theory to present an improved numerical implementation of the method of particular solutions for computation of Neumann eigenpairs on smooth planar domains. We show that the new inclusion bound improves the relative accuracy in a computed Neumann eigenvalue (around the $42000$th) from 9 digits to 14 digits, with little extra effort.

Computable Upper and Lower Bounds on Eigenfrequencies

Lower Bounds for Eigenvalues of Laplacian Operator and the Clamped Plate Problem

The Lower/Upper Bound Property of Approximate Eigenvalues by Nonconforming Finite Element Methods for Elliptic Operators

The Lower Bounds for Eigenvalues of Elliptic Operators --By Nonconforming Finite Element Methods

On Lower Bounds of the First Eigenvalue of Finsler-Laplacian

A High Accuracy Post-processing Algorithm for the Eigenvalues of Elliptic Operators

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

Guaranteed Lower and upper bounds for eigenvalues of second order elliptic operators in any dimension

The Lower/Upper Bound Property of the Crouzeix–Raviart Element Eigenvalues on Adaptive Meshes

Lower Bounds for Generalized Eigenvalues of the Quasilinear Systems

Upper and Lower Bounds on Quantities of Interest for Contact Problems

Mixed methods and lower eigenvalue bounds

Computing Both Upper and Lower Eigenvalue Bounds by HDG Methods

Error Bounds for Approximate Solutions of Abstract Inequality Systems and Infinite Systems of Inequalities on Banach Spaces

Computing lower and upper bounds for J-lintegral in functionally graded material

Finite element eigenvalue enclosures for the Maxwell operator

THE LOWER APPROXIMATION OF EIGENVALUE BY LUMPED MASS FINITE ELEMENT METHOD ∗1)

Lower eigenvalue bounds with hybrid high-order methods

Bounds for eigenvalues and condition numbers in the p-version of the finite element method

Guaranteed lower eigenvalue bounds for two spectral problems arising in fluid mechanics

Guaranteed Lower Bounds for Eigenvalues of Elliptic Operators