A programmed algorithm for existence proofs for two-point boundary value problems

For (scalar) nonlinear two-point boundary value problems of the second order, we present a programmed algorithm for proving the existence of a solution within calculated bounds. This algorithm is based on the theory of (functional-) differential inequalities applied to certain transformed problems.ZusammenfassungFür (skalare) nichtlineare Zweipunkt-Randwertaufgaben zweiter Ordnung wird ein programmierter Algorithmus vorgestellt, mit dem die Existenz einer Lösung innerhalb berechneter Schranken bewiesen werden kann. Der Algorithmus basiert auf der Theorie der (Funktional-) Differentialungleichungen, welche auf gewisse transformierte Probleme angewendet wird.

[1]  L. Collatz.  The numerical treatment of differential equations , 1961 .

[2]  Siegfried M. Rump,et al.  FORTRAN-SC a study of a FORTRAN extension for engineering/scientific computation with access to ACRITH , 1987, Computing.

[3]  Lothar Collatz,et al.  Aufgaben monotoner Art , 1952 .

[4]  Gershon Kedem.  A Posteriori Error Bounds for Two-Point Boundary Value Problems , 1981 .

[5]  Karl Zeller,et al.  Schwankung von Polynomen zwischen Gitterpunkten , 1964 .

[6]  Tassilo Küpper.  Einschließungsaussagen bei Differentialoperatoren zweiter Ordnung durch punktweise Ungleichungen , 1978 .

[7]  Willard L. Miranker,et al.  Computer arithmetic in theory and practice , 1981, Computer science and applied mathematics.

[8]  Carl de Boor,et al.  A Practical Guide to Splines , 1978, Applied Mathematical Sciences.

[9]  Karl Nickel,et al.  The construction of a priori bounds for the solution of a two point boundary value problem with finite elements I , 1979, Computing.

[10]  C. Grossmann,et al.  Gleichmäßig einschließende Diskretisierungsverfahren für schwach nichtlineare Randwertaufgaben , 1986 .

[11]  Mansour Al-Zanaidi,et al.  Monotone iteration discretization algorithm for BVP's , 2005, Computing.

[12]  G. Stoyan.  de Boor, C., A Practical Guide to Splines. Applied Mathematical Sciences 27. Berlin‐Heidelberg‐New York, Springer‐Verlag 1978. XXIV, 392 S., DM 32,50. US $ 17.90 , 1980 .

[13]  K. Wright,et al.  Computable Error Bounds for Polynomial Collocation Methods , 1978 .

[14]  R. Lohner.  Einschliessung der Lösung gewöhnlicher Anfangs- und Randwertaufgaben und Anwendungen , 1988 .

[15]  J. Schröder.  A method for producing verified results for two-point boundary value problems , 1988 .