SIAM Digital Library
 
 
 

You are not logged in Logged Out Log In

SIAM J. Numer. Anal. 49, pp. 1046-1063 (18 pages)

Boundary Quasi-Orthogonality and Sharp Inclusion Bounds for Large Dirichlet Eigenvalues

A. H. Barnett and A. Hassell

Full Text: Download PDF | Buy PDF (US$25) | View Cart
We study eigenfunctions $\phi_j$ and eigenvalues $E_j$ of the Dirichlet Laplacian on a bounded domain $\Omega\subset\mathbb{R}^n$ with piecewise smooth boundary. We bound the distance between an arbitrary parameter $E>0$ and the spectrum $\{E_j\}$ in terms of the boundary $L^2$-norm of a normalized trial solution $u$ of the Helmholtz equation $(\Delta+E)u=0$. We also bound the $L^2$-norm of the error of this trial solution from an eigenfunction. Both of these results are sharp up to constants, hold for all $E$ greater than a small constant, and improve upon the best-known bounds of Moler–Payne by a factor of the wavenumber $\sqrt{E}$. One application is to the solution of eigenvalue problems at high frequency, via, for example, the method of particular solutions. In the case of planar, strictly star-shaped domains we give an inclusion bound where the constant is also sharp. We give explicit constants in the theorems, and show a numerical example where an eigenvalue around the 2500th is computed to 14 digits of relative accuracy. The proof makes use of a new quasi-orthogonality property of the boundary normal derivatives of the eigenmodes (Theorem 1.3), of interest in its own right. Namely, the operator norm of the sum of rank 1 operators $\partial_n\phi_j\langle\partial_n\phi_j,\cdot\rangle$ over all $E_j$ in a spectral window of width $\sqrt{E}$—a sum with about $E^{(n-1)/2}$ terms—is at most a constant factor (independent of $E$) larger than the operator norm of any one individual term.

© 2011 Society for Industrial and Applied Mathematics

RELATED DATABASES

To view database links for this article, you need to log in.

PUBLICATION DATA

ISSN

0036-1429 (print)  
1095-7170 (online)

ARTICLE DATA

History
Received May 27, 2010
Accepted March 14, 2011
Published online May 24, 2011

For access to fully linked references, you need to log in.

Close

close