A Domain Theoretic Account of Picard’s Theorem

  • A. Edalat
  • D. Pattinson
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3142)


We present a domain-theoretic version of Picard’s theorem for solving classical initial value problems in ℝ n . For the case of vector fields that satisfy a Lipschitz condition, we construct an iterative algorithm that gives two sequences of piecewise linear maps with rational coefficients, which converge, respectively from below and above, exponentially fast to the unique solution of the initial value problem. We provide a detailed analysis of the speed of convergence and the complexity of computing the iterates. The algorithm uses proper data types based on rational arithmetic, where no rounding of real numbers is required. Thus, we obtain an implementation framework to solve initial value problems, which is sound and, in contrast to techniques based on interval analysis, also complete: the unique solution can be actually computed within any degree of required accuracy.


Lipschitz Condition Piecewise Linear Function Interval Analysis Initial Value Problem Piecewise Constant Function 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    AWA. A software package for validated solution of ordinary differential equations,
  2. 2.
    The GNU multi precision library,
  3. 3.
    Aberth, O.: Computable analysis and differential equations. In: Intuitionism and Proof Theory. Studies in Logic and the Foundations of Mathematics, pp. 47–52. North-Holland, Amsterdam (1970); Proc. of the Summer Conf. at Buffalo N.Y. (1968)Google Scholar
  4. 4.
    Abramsky, S., Jung, A.: In: Abramsky, S., Gabbay, D.M., Maibaum, T.S.E. (eds.) Handbook of Logic in Computer Science, vol. 3, Clarendon Press, Oxford (1994)Google Scholar
  5. 5.
    Aubin, J.P., Cellina, A.: Differential Inclusions. Springer, Heidelberg (1984)zbMATHGoogle Scholar
  6. 6.
    Brattka, V.: Computability of Banach space principles. Informatik Berichte 286, FernUniversität Hagen, Fachbereich Informatik (June 2001)Google Scholar
  7. 7.
    Clarke, F.H., Ledyaev, Y.S., Stern, R.J., Wolenski, P.R.: Nonsmooth Analysis and Control Theory. Springer, Heidelberg (1998)zbMATHGoogle Scholar
  8. 8.
    Cleave, J.P.: The primitive recursive analysis of ordinary differential equations and the complexity of their solutions. Journal of Computer and Systems Sciences 3, 447–455 (1969)zbMATHMathSciNetCrossRefGoogle Scholar
  9. 9.
    Coddington, E.A., Levinson, N.: Theory of Ordinary Differential Equations. McGraw-Hill, New York (1955)zbMATHGoogle Scholar
  10. 10.
    Edalat, A., Krznarić, M., Lieutier, A.: Domain-theoretic solution of differential equations (scalar fields). In: Proceedings of MFPS XIX. of Elect. Notes in Theoret. Comput. Sci., vol. 83 (2004), Full Paper in
  11. 11.
    Edalat, A., Lieutier, A.: Domain theory and differential calculus (Functions of one variable). In: Seventh Annual IEEE Symposium on Logic in Computer Science, IEEE Computer Society Press, Los Alamitos (2002), Full paper in Google Scholar
  12. 12.
    Grzegorczyk, A.: Computable functionals. Fund. Math. 42, 168–202 (1955)zbMATHMathSciNetGoogle Scholar
  13. 13.
    Iserles, A.: Numerical Analysis of Differential Equations. Cambridge Texts in Applied Mathematics. CUP (1996)Google Scholar
  14. 14.
    Ko, K.-I.: On the computational complexity of ordinary differential equations. Inform. Contr. 58, 157–194 (1983)zbMATHCrossRefGoogle Scholar
  15. 15.
    Kolmogorov, A.N., Fomin, S.V.: Introductory Real Analysis. Dover, New York (1975)Google Scholar
  16. 16.
    Moore, R.E.: Interval Analysis. Prentice-Hall, Englewood Cliffs (1966)zbMATHGoogle Scholar
  17. 17.
    Müller, N.T., Moiske, B.: Solving initial value problems in polynomial time. In: Proceedings of the 22th JAIIO - Panel 1993, Buenos Aires, pp. 283–293 (1993)Google Scholar
  18. 18.
    Nedialkov, N.S., Jackson, K.R., Corliss, G.F.: Validated solutions of initial value problems for ordinary differential equations. Applied Mathematics and Computation 105, 21–68 (1999)zbMATHCrossRefMathSciNetGoogle Scholar
  19. 19.
    Pour-El, M.B., Richards, J.I.: Computability in Analysis and Physics. Springer, Heidelberg (1988)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • A. Edalat
    • 1
  • D. Pattinson
    • 2
  1. 1.Department of ComputingImperial CollegeLondonUK
  2. 2.Institut für InformatikLMU MünchenGermany

Personalised recommendations