An efficient approach to the numerical verification for solutions of elliptic differential equations

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)

zbMATH Keywords

elliptic equations; numerical verification; fixed-point theorem

Mathematics Subject Classification ID

35J65: Nonlinear boundary value problems for linear elliptic equations

65N99: Numerical methods for partial differential equations, boundary value problems

Related Items

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 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