Abstract
This paper deals with the computation of interval enclosure for the solutions of initial value problems in systems of ordinary differential equations. We present a particular class of enclosure methods based on the Taylor series method. They are expressed in a single algorithm containing some parameters which may be chosen arbitrarily. However, a skillful choice is necessary in order to keep the widths of the enclosing intervals sufficiently small. We give some theoretical results about the behaviour of these widths.
Zusammenfassung
Die Arbeit behandelt die Intervall-Einschließung von Lösungen von Anfangswertproblemen bei Systemen gewöhnlicher Differentialgleichungen. Es wird eine spezielle Klasse von Einschließungs-Verfahren vorgestellt, die auf der Methode der Taylorentwicklung beruhen. Sie werden durch einen einzelnen Algorithmus mit gewissen, frei wählbaren Parametern dargestellt. Eine geschickte Wahl ist jedoch notwendig, um die Durchmesser der einschließenden Intervalle möglichst klein zu halten. Es werden einige theoretische Resultate über das Verhalten dieser Durchmesser aufgezeigt.
Similar content being viewed by others
References
Alefeld, G., Herzberger, J.: Introduction to interval computations. New York: Academic Press 1983.
Bauch, H., Jahn, K.-U., Oelshlägel, D., Süsse, H., Wiebigke, V.: Intervallmathematik: Theorie und Anwendungen. Leipzig: Teubner 1987.
Corliss, G. F.: Survey of interval algorithms for ordinary differential equations. Appl. Math. Comput.31, 112–120 (1989).
Eijgenraam P.: The solution of initial value problems using interval arithmetic. Mathematical Centre Tracts No. 144, Stichting Mathematisch Centrum, Amsterdam, 1981.
Kaucher, E. W., Miranker, W. L.: Self-validating numerics for function space problems. Orlando: Academic Press 1984.
Krückeberg, F.: Ordinary differential equations. In: Hansen, E. (ed.) Topics in interval analysis, pp. 91–97. Oxford: Clarendon Press 1969.
Lohner, R. J.: Einschließung der Lösung gewöhnlicher Anfangs- und Randwertaufgaben und Anwendungen. Diss., Universität Karlsruhe, 1988.
Moore, R. E.: Interval analysis. Englewood Cliffs: Prentice-Hall 1966.
Neumaier, A.: Interval methods for systems of equations. Cambridge: Cambridge University Press 1990.
Nickel, K. L. E.: Using interval methods for the numerical solution of ODE's. Z. angew. Math. Mech.66, 513–523 (1986).
Rall, L. B.: Automatic differentiation: techniques and applications. Springer Lecture Notes on Computer Science120, Berlin, 1981.
Rihm, R.: Über Einschließungsverfahren für gewöhnliche Anfangswertprobleme and ihre Anwendung auf Differentialgleichungen mit unstetiger rechter Seite. Diss., Universität Karlsruhe, 1993.
Stetter, H. J.: Algorithms for the inclusion of solutions of ordinary initial value problems. In: Vosmansky, J. H., Zlámal, M. (eds.) Equadiff 6: Proceedings of the international conference on differential equations and their applications (Brno, 1985). Lecture Notes in Mathematics1192, pp. 85–94. Berlin Heidelberg New York Tokyo: Springer 1986.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Rihm, R. On a class of enclosure methods for initial value problems. Computing 53, 369–377 (1994). https://doi.org/10.1007/BF02307387
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02307387