A numerical proof algorithm for the non-existence of solutions to elliptic boundary value problems
DOI10.1016/j.apnum.2021.06.011zbMath1479.65038OpenAlexW3175250000MaRDI QIDQ2048421
Kouta Sekine, Masahide Kashiwagi, Mitsuhiro T. Nakao, Shin'ichi Oishi
Publication date: 5 August 2021
Published in: Applied Numerical Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apnum.2021.06.011
Boundary value problems for second-order elliptic equations (35J25) Fixed-point theorems (47H10) Laplace operator, Helmholtz equation (reduced wave equation), Poisson equation (35J05) Numerical methods for partial differential equations, boundary value problems (65N99) Computer assisted proofs of proofs-by-exhaustion type (68V05)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Interval analysis and automatic result verification
- Sharp numerical inclusion of the best constant for embedding \(H_0^1(\Omega) \hookrightarrow L^p(\Omega)\) on bounded convex domain
- Computer-assisted proofs for semilinear elliptic boundary value problems
- Existence and multiplicity proofs for semilinear elliptic boundary value problems by computer assistance
- Bounds for eigenvalues of second-order elliptic differential operators
- Numerical verification of existence and inclusion of solutions for nonlinear operator equations
- Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element
- A new formulation using the Schur complement for the numerical existence proof of solutions to elliptic problems: without direct estimation for an inverse of the linearized operator
- An efficient approach to the numerical verification for solutions of elliptic differential equations
- A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems
- NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
- A numerical approach to the proof of existence of solutions for elliptic problems II
- A numerical approach to the proof of existence of solutions for elliptic problems
- Introduction to Interval Analysis
- A Test for Existence of Solutions to Nonlinear Systems
- Safe Starting Regions for Iterative Methods
- A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
- Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
- Verified Computations of Eigenvalue Exclosures for Eigenvalue Problems in Hilbert Spaces
This page was built for publication: A numerical proof algorithm for the non-existence of solutions to elliptic boundary value problems
