scientific article; zbMATH DE number 16044

Publication date 25 June 1992

\(EB\)-algorithms a posteriori error bounds computer-assisted existence proofs inverse-positive majorant operators nonlinear two-point boundary value problems

Mathematics Subject Classification ID

Nonlinear boundary value problems for ordinary differential equations (34B15) Numerical solution of boundary value problems involving ordinary differential equations (65L10) Error bounds for numerical methods for ordinary differential equations (65L70)

Review text

[For the entire collection see Zbl 0714.00024.] The author discusses the so-called \(EB\)-algorithms for vector-valued two- point boundary value problems \[ -U(x)+F(x,U(x))=0\quad (0<x<1), \quad U(0)=r_ 0,\;U(1)=r_ 1. \] The discussion is based on a rather abstract setting, i.e. that of the function space and the operators. Both procedures of \(A\) (approximation) and \(E\) (bounding) for the solution are given in detail. In particular, the notions of inverse-positive and inverse-positive majorant operators play important roles. The paper describes the way how to construct such operators from the original problem via a transformation into an integral equation or a transformation by using breakpoints.

Recommendations

Cited in

(6)

This page was built for publication:

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