Verified numerical computations for an inverse elliptic eigenvalue problem with finite data
DOI10.1007/BF03168592zbMath0984.65110OpenAlexW2064701558MaRDI QIDQ5944173
Mitsuhiro T. Nakao, Nobito Yamamoto, Yoshitaka Watanabe
Publication date: 9 December 2001
Published in: Japan Journal of Industrial and Applied Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf03168592
Estimates of eigenvalues in context of PDEs (35P15) Numerical methods for eigenvalue problems for boundary value problems involving PDEs (65N25) Algorithms with automatic result verification (65G20) Numerical methods for inverse problems for boundary value problems involving PDEs (65N21)
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
This page was built for publication: Verified numerical computations for an inverse elliptic eigenvalue problem with finite data
