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.65152MaRDI 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
35J65: Nonlinear boundary value problems for linear elliptic equations
65N99: Numerical methods for partial differential equations, boundary value problems
Related Items
Numerical verification for solutions to partial differential equations, A Numerical Verification Method for a System of FitzHugh-Nagumo Type, A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations, 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, Interval versions of central-difference method for solving the Poisson equation in proper and directed interval arithmetic, 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 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 computer-assisted method for excluding eigenvalues of an elliptic operator linearized at a solution of a nonlinear problem, A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems, Norm bound computation for inverses of linear operators in Hilbert spaces, Global smooth solution curves using rigorous branch following