Verified numerical computations for an inverse elliptic eigenvalue problem with finite data

DOI10.1007/BF03168592zbMath0984.65110MaRDI QIDQ5944173

Nobito Yamamoto, Yoshitaka Watanabe, Mitsuhiro T. Nakao

Publication date: 9 December 2001

Published in: Japan Journal of Industrial and Applied Mathematics (Search for Journal in Brave)

zbMATH Keywords

error bounds; enclosure method; inverse Dirichlet eigenvalue problem; result verification

Mathematics Subject Classification ID

35P15: Estimates of eigenvalues in context of PDEs

65N25: Numerical methods for eigenvalue problems for boundary value problems involving PDEs

65G20: Algorithms with automatic result verification

65N21: Numerical methods for inverse problems for boundary value problems involving PDEs

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Numerical verifications of solutions for nonlinear elliptic equations
• A numerical verification method for the existence of weak solutions for nonlinear boundary value problems
• Enclosing solutions of an inverse Sturm-Liouville problem with finite data
• Numerical verification of solutions for nonlinear elliptic problems using an \(L^\infty\) residual method
• A numerical method to verify the elliptic eigenvalue problems including a uniqueness property
• Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element
• Numerical verifications for eigenvalues of second-order elliptic operators
• On the Convergence of Some Interval-Arithmetic Modifications of Newton’s Method
• A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
• An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness
• An introduction to the mathematical theory of inverse problems