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

DOI10.1007/BF03168592MaRDI QIDQ5944173zbMATH OpenOpenAlexFDO

Authors Mitsuhiro T. Nakao, Yoshitaka Watanabe, Nobito Yamamoto

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

zbMATH Keywords

enclosure methoderror boundsinverse Dirichlet eigenvalue problemresult verification

Mathematics Subject Classification ID

Estimates of eigenvalues in context of PDEs (35P15) Algorithms with automatic result verification (65G20) Numerical methods for inverse problems for boundary value problems involving PDEs (65N21) Numerical methods for eigenvalue problems for boundary value problems involving PDEs (65N25)

Recommendations

• Enclosing solutions of an inverse Sturm-Liouville problem with finite data
• A numerical method to verify the elliptic eigenvalue problems including a uniqueness property
• The Inverse Eigenvalue Problem with Finite Data
• Verified numerical computations for multiple and nearly multiple eigenvalues of elliptic operators
• Numerical verification method for infinite dimensional eigenvalue problems

Cites work

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

Cited in

(2)

• A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems
• scientific article; zbMATH DE number 833782 (Why is no real title available?)

This page was built for publication: Verified numerical computations for an inverse elliptic eigenvalue problem with finite data

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5944173)