A Posteriori Error Bounds for Two-Point Boundary Value Problems

DOI10.1137/0718028zbMath0469.65062OpenAlexW2016907258MaRDI QIDQ3923534

Gershon Kedem

Publication date: 1981

Published in: SIAM Journal on Numerical Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1137/0718028

zbMATH Keywords

existence of solutionstwo-point boundary value problemroundoff errortruncation errora posteriori error boundscomputational existence proofs

Mathematics Subject Classification ID

Nonlinear boundary value problems for ordinary differential equations (34B15) Numerical solution of boundary value problems involving ordinary differential equations (65L10)

Related Items

A posteriori error bounds for the back-and-forth shooting method, A posteriori error bounds for two point boundary value problems: a Green's function approach, Numerical verification of existence and inclusion of solutions for nonlinear operator equations, A programmed algorithm for existence proofs for two-point boundary value problems, Computer-assisted existence proofs for two-point boundary value problems, Solving nonlinear parabolic problems with result verification. I: One- space dimensional case, Small mass limit of a Langevin equation on a manifold, A numerical verification method for the existence of weak solutions for nonlinear boundary value problems, Numerical verifications of solutions for nonlinear elliptic equations, NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS, A symbolic-numeric validation algorithm for linear ODEs with Newton-Picard method, Matrix displacement mappings in the numerical solution of functional and nonlinear differential equations with the tau method