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

X Liu - Applied Mathematics and Computation, 2015 - Elsevier
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 …

Guaranteed eigenvalue bounds for the Steklov eigenvalue problem

C You, H Xie, X Liu - SIAM Journal on Numerical Analysis, 2019 - SIAM
To provide mathematically rigorous eigenvalue bounds for the Steklov eigenvalue problem,
an enhanced version of the eigenvalue estimation algorithm developed by the third author is …

Verified eigenvalue evaluation for the Laplacian over polygonal domains of arbitrary shape

X Liu, S Oishi - SIAM Journal on Numerical Analysis, 2013 - SIAM
The finite element method (FEM) is applied to bound leading eigenvalues of the Laplace
operator over polygonal domains. Compared with classical numerical methods, most of …

Estimation of the first eigenvalue of second order elliptic operators

MF Chen, FY Wang - Journal of Functional Analysis, 1995 - Elsevier
This note studies the first non-trivial eigenvalue of second order self-adjoint elliptic operators
in Rd. Some lower bounds of the eigenvalue are obtained by using a probabilistic approach …

[HTML][HTML] Verified numerical computations for multiple and nearly multiple eigenvalues of elliptic operators

K Toyonaga, MT Nakao, Y Watanabe - Journal of Computational and …, 2002 - Elsevier
In this paper, we propose a numerical method to verify bounds for multiple eigenvalues for
elliptic eigenvalue problems. We calculate error bounds for approximations of multiple …

Computing the lower and upper bounds of Laplace eigenvalue problem: by combining conforming and nonconforming finite element methods

FS Luo, Q Lin, HH Xie - Science China Mathematics, 2012 - Springer
We introduce some ways to compute the lower and upper bounds of the Laplace eigenvalue
problem. By using the special nonconforming finite elements, ie, enriched Crouzeix-Raviart …

Eigenvalue approximation from below using non-conforming finite elements

YD Yang, ZM Zhang, FB Lin - Science in China Series A: Mathematics, 2010 - Springer
This is a survey article about using non-conforming finite elements in solving eigenvalue
problems of elliptic operators, with emphasis on obtaining lower bounds. In addition, this …

Methods for computing lower bounds to eigenvalues of self-adjoint operators

C Beattie, F Goerisch - Numerische Mathematik, 1995 - Springer
New approaches for computing tight lower bounds to the eigenvalues of a class of
semibounded self-adjoint operators are presented that require comparatively little a priori …

The lower/upper bound property of approximate eigenvalues by nonconforming finite element methods for elliptic operators

J Hu, Y Huang, Q Shen - Journal of Scientific Computing, 2014 - Springer
This paper is a complement of the work (Hu et al. in arXiv: 1112.1145 v1 math. NA, 2011),
where a general theory is proposed to analyze the lower bound property of discrete …

Lower bounds for higher eigenvalues by finite difference methods

HF Weinberger - Pacific J. Math, 1958 - msp.org
1. Introduction. This paper gives lower bounds for all the eigenvalues of an arbitrary second
order self-adjoint elliptic differential operator on a bounded domain R with zero boundary …