Numerical Verifications for Eigenvalues of Second-Order Elliptic Operators

M. T. Nakao, N. Yamamoto, K. Nagatou*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

17 Citations (Scopus)


In this paper, we consider a numerical technique to verify the exact eigenvalues and eigenfunctions of second-order elliptic operators in some neighborhood of their approximations. This technique is based on Nakao's method [9] using the Newton-like operator and the error estimates for the C0 finite element solution. We construct, in computer, a set containing solutions which satisfies the hypothesis of Schauder's fixed point theorem for compact map on a certain Sobolev space. Moreover, we propose a method to verify the eigenvalue which has the smallest absolute value. A numerical example is presented.

Original languageEnglish
Pages (from-to)307-320
Number of pages14
JournalJapan Journal of Industrial and Applied Mathematics
Issue number3
Publication statusPublished - 1999 Oct
Externally publishedYes


  • Eigenvalue problem
  • Elliptic operators
  • Error estimates
  • Finite element solution

ASJC Scopus subject areas

  • Mathematics(all)
  • Applied Mathematics


Dive into the research topics of 'Numerical Verifications for Eigenvalues of Second-Order Elliptic Operators'. Together they form a unique fingerprint.

Cite this