Abstract
For (scalar) nonlinear two-point boundary value problems of the form−U ″+F(x, U, U′)=0, B 0 [U]=B 1 [U]=0, with Sturm-Liouville or periodic boundary operatorsB 0 andB 1, we present a method for proving the existence of a solution within a “close”C 1-neighborhood of an approximate solution.
Zusammenfassung
Für (skalare) nichtlineare Zweipunkt-Randwertprobleme der Form−U ″+F(x, U, U′)=0,B 0 [U]=B 1 [U]=0 mit Sturm-Liouville-oder periodischen RandoperatorenB 0,B 1 wird eine Methode vorgestellt, mit der die Existenz einer Lösung innerhalb einer “kleinen”C 1-Umgebung einer Näherungslösung bewiesen werden kann.
Similar content being viewed by others
References
Bazley, N. W., Fox, D. W.: Comparison operators for lower bounds to eigenvalues. J. Reine Angew. Math.233, 142–149 (1966).
Collatz, L.: The numerical treatment of differential equations: Springer, Berlin-Göttingen-Heidelberg 1960.
Ehlich, H., Zeller, K.: Schwankung von Polynomen zwischen Gitterpunkten. Math. Z.86, 41–44 (1964).
Gärtel, U.: Fehlerabschätzungen für vektorwertige Randwertaufgaben zweiter Ordnung, insbesondere für Probleme aus der chemischen Reaktions-Diffusions-Theorie. Doctoral Dissertation, Köln 1987.
Göhlen, M., Plum, M., Schröder, J.: A programmed algorithm for existence proofs for two-point boundary value problems. Computing44, 91–132 (1990).
Goerisch, F., Albrecht, J.: Eine einheitliche Herleitung von Einschließungssätzen für Eigenwerte. In: Albrecht, J., Collatz, L., Velte, W. (eds.): Numerical treatment of eigenvalue problems, vol. 3, pp 58–88, ISNM 69. Birkhäuser, Basel 1984.
IBM High-Accuracy Arithmetic Subroutine Library (ACRITH). Program description and user's guide, SC 33-6164-02, 3rd Edition (1986).
Kedem, G.: A posteriori error bounds for two-point boundary value problems. SIAM J. Numer. Anal.18, 431–448 (1981).
Kulisch, U.: FORTRAN-SC, language reference and user's guide. University of Karlsruhe and IBM Development Laboratory Böblingen 1987.
Lehmann, L. J.: Fehlerschranken für Näherungslösungen bei Differentialgleichungen. Numer. Math.10, 261–288 (1967).
Lohner, R.: Einschließung der Lösung gewöhnlicher Anfangs- und Randwertaufgaben und Anwendungen. Doctoral Dissertation, Karlsruhe 1988.
Plum, M.: Eigenvalue inclusions for second-order ordinary differential operators by a numerical homotopy method. J. Appl. Math. Phys. (ZAMP)41, 205–226 (1990).
Plum, M.: Existence and inclusion for two-point boundary value problems by numerical means. Proceedings of the IMA Conference on Computational Ordinary Differential Equations (London 1989), Oxford University Press, to appear.
Plum, M.: Verified existence and inclusion results for two-point boundary value problems. Proceedings of the International Symposium SCAN-89 (Basel 1989), to appear in: IMACS Annals on Computing and Applied Mathematics.
Plum, M.: ExplicitH 2-estimates and pointwise bounds for solutions of second-order elliptic boundary value problems, to appear in J. Math. Anal. Appl.
Plum, M.: Existence proofs in combination with error bounds for approximate solutions of weakly nonlinear second-order elliptic boundary value problems. ZAMM 71.
Schröder, J.: Operator inequalities. Academic Press, New York 1980.
Schröder, J.: Existence proofs for boundary value problems by numerical algorithms. Report Univ. Cologne 1986.
Schröder, J.: A method for producing verified results for two-point boundary value problems. Computing [Suppl. 6], 9–22 (1988).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Plum, M. Computer-assisted existence proofs for two-point boundary value problems. Computing 46, 19–34 (1991). https://doi.org/10.1007/BF02239009
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02239009