arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 1006.3592math.APcs.NAmath.NAmath.SP
收藏

边界拟正交性与大Dirichlet特征值的尖锐包含界

Boundary quasi-orthogonality and sharp inclusion bounds for large Dirichlet eigenvalues

A. H. Barnett, Andrew Hassell

AI总结:

通过边界L²范数估计Helmholtz方程试验解的误差,并利用新的边界法向导数拟正交性,获得了比Moler-Payne界改进√E因子的尖锐特征值包含界。

摘要:

我们研究了具有分片光滑边界的有界域 $Ω\subset\RR^n$ 上Dirichlet Laplacian的特征函数和特征值。我们通过Helmholtz方程 $(Δ+ E)u = 0$ 的归一化试验解 $u$ 的边界 $L^2$-范数,来界定任意参数 $E > 0$ 与谱 $\{E_j \}$ 之间的距离。我们还界定了该试验解与特征函数之误差的 $L^2$-范数。这两个结果在常数意义下都是尖锐的,对所有大于一个小常数的 $E$ 成立,并且比Moler-Payne的已知最佳界改进了一个波数 $\sqrt{E}$ 的因子。一个应用是通过特殊解方法等求解高频特征值问题。对于平面严格星形域,我们给出了一个常数也是尖锐的包含界。我们在定理中给出了显式常数,并展示了一个数值例子,其中计算了大约第2500个特征值,相对精度达到14位。证明利用了特征模态边界法向导数的一个新的拟正交性质,该性质本身也值得关注。

英文摘要:

We study eigenfunctions and eigenvalues of the Dirichlet Laplacian on a bounded domain $Ω\subset\RR^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 $(Δ+ 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, of interest in its own right.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑