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.
Article PDF
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Avoid common mistakes on your manuscript.
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