Verified norm estimation for the inverse of linear elliptic operators using eigenvalue evaluation

Kazuaki Tanaka, Akitoshi Takayasu, Xuefeng Liu, Shinichi Oishi

Research output: Contribution to journalArticle

2 Citations (Scopus)

Abstract

This paper proposes a verified numerical method of proving the invertibility of linear elliptic operators. This method also provides a verified norm estimation for the inverse operators. This type of estimation is important for verified computations of solutions to elliptic boundary value problems. The proposed method uses a generalized eigenvalue problem to derive the norm estimation. This method has several advantages. Namely, it can be applied to two types of boundary conditions: the Dirichlet type and the Neumann type. It also provides a way of numerically evaluating lower and upper bounds of target eigenvalues. Numerical examples are presented to show that the proposed method provides effective estimations in most cases.

Original languageEnglish
Pages (from-to)665-679
Number of pages15
JournalJapan Journal of Industrial and Applied Mathematics
Volume31
Issue number3
DOIs
Publication statusPublished - 2014 Nov 1

Keywords

  • Eigenvalue problem
  • Elliptic operator
  • Finite element method
  • Inverse norm estimation
  • Numerical verification

ASJC Scopus subject areas

  • Applied Mathematics
  • Engineering(all)

Fingerprint Dive into the research topics of 'Verified norm estimation for the inverse of linear elliptic operators using eigenvalue evaluation'. Together they form a unique fingerprint.

  • Cite this