Verified eigenvalue evaluation for Laplacian over polygonal domain of arbitrary shape

Xuefeng Liu, Shin'ichi Oishi

The finite element method(FEM) is applied to bound leading eigenvalues of Laplace operator over polygonal domain. Compared with classical numerical methods, most of which can only…