An efficient approach to the numerical verification for solutions of elliptic differential equations
From MaRDI portal
Publication:2387778
DOI10.1023/B:NUMA.0000049477.75366.94zbMath1114.65152OpenAlexW2029232122MaRDI QIDQ2387778
Yoshitaka Watanabe, Mitsuhiro T. Nakao
Publication date: 5 September 2005
Published in: Numerical Algorithms (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/b:numa.0000049477.75366.94
Nonlinear boundary value problems for linear elliptic equations (35J65) Numerical methods for partial differential equations, boundary value problems (65N99)
Related Items
A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations ⋮ Norm bound computation for inverses of linear operators in Hilbert spaces ⋮ A numerical verification method for two-coupled elliptic partial differential equations ⋮ Numerical verification method of solutions for elliptic equations and its application to the Rayleigh-Bénard problem ⋮ Improved convergence theorems of Newton's method designed for the numerical verification for solutions of differential equations ⋮ Numerical verification of stationary solutions for Navier-Stokes problems ⋮ Numerical verification for solutions to partial differential equations ⋮ Interval versions of central-difference method for solving the Poisson equation in proper and directed interval arithmetic ⋮ 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 ⋮ A Numerical Verification Method for a System of FitzHugh-Nagumo Type ⋮ A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems ⋮ Global smooth solution curves using rigorous branch following ⋮ A numerical proof algorithm for the non-existence of solutions to elliptic boundary value problems ⋮ Finite element approximation of invariant manifolds by the parameterization method ⋮ A computer-assisted method for excluding eigenvalues of an elliptic operator linearized at a solution of a nonlinear problem
