A Posteriori Error Bounds for Two-Point Boundary Value Problems

DOI10.1137/0718028MaRDI QIDQ3923534zbMATH OpenOpenAlexFDO

Authors 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

a posteriori error boundscomputational existence proofsexistence of solutionsroundoff errortruncation errortwo-point boundary value problem

Mathematics Subject Classification ID

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

Cited in

(12)

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

This page was built for publication: A Posteriori Error Bounds for Two-Point Boundary Value Problems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3923534)