A framework of verified eigenvalue bounds for self-adjoint differential operators

Xuefeng Liu

Applied Mathematics and Computation, 2015, vol. 267, issue C, 341-355

Abstract: For eigenvalue problems of self-adjoint differential operators, a universal framework is proposed to give explicit lower and upper bounds for the eigenvalues. In the case of the Laplacian operator, by applying Crouzeix–Raviart finite elements, an efficient algorithm is developed to bound the eigenvalues for the Laplacian defined in 1D, 2D and 3D spaces. Moreover, for nonconvex domains, for which case there may exist singularities of eigenfunctions around re-entrant corners, the proposed algorithm can easily provide eigenvalue bounds. By further adopting the interval arithmetic, the explicit eigenvalue bounds from numerical computations can be mathematically correct.

Keywords: Self-adjoint differential operator; Eigenvalue bounds; Non-conforming finite element method; Quantitative error estimation; Verified computation (search for similar items in EconPapers)
Date: 2015
References: View complete reference list from CitEc
Citations: View citations in EconPapers (3)

Downloads: (external link)
http://www.sciencedirect.com/science/article/pii/S0096300315003628
Full text for ScienceDirect subscribers only

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:eee:apmaco:v:267:y:2015:i:c:p:341-355

DOI: 10.1016/j.amc.2015.03.048

Access Statistics for this article

Applied Mathematics and Computation is currently edited by Theodore Simos

More articles in Applied Mathematics and Computation from Elsevier
Bibliographic data for series maintained by Catherine Liu ().