Domain Theoretic Solutions of Initial Value Problems for Unbounded Vector Fields

This paper extends the domain theoretic method for solving initial value problems, described in [A. Edalat and D. Pattinson. A domain theoretic account of picard's theorem. In Proc. ICALP 2004, number 3142 in Lect. Notes in Comp. Sci., pages 494-505, 2004], to unbounded vector fields. Based on a sequence of approximations of the vector field, we construct two sequences of piecewise linear functions that converge exponentially fast from above and below to the classical solution of the initial value problem. We then show how to construct approximations of the vector field. First, we show that fast convergence is preserved under composition of approximations, if the approximated functions satisfy an additional property, which we call ''Hausdorff Lipschitz from below''. In particular, this frees us from the need to work with maximal extensions of classical functions. In a second step, we show how to construct approximations that satisfy this condition from a given computable vector field.

[1]  Samson Abramsky,et al.  Domain theory , 1995, LICS 1995.

[2]  Ker-I Ko,et al.  On the Computational Complexity of Ordinary Differential Equations , 1984, Inf. Control..

[3]  Abbas Edalat,et al.  Inverse and implicit functions in domain theory , 2005, 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).

[4]  John P. Cleave,et al.  The Primitive Recursive Analysis of Ordinary Differential Equations and the Complexity of Their Solutions , 1969, J. Comput. Syst. Sci..

[5]  K. Hofmann,et al.  Continuous Lattices and Domains , 2003 .

[6]  Alastair Spence.  Numerical Analysis of Differential Equations , .

[7]  Nedialko S. Nedialkov,et al.  Validated solutions of initial value problems for ordinary differential equations , 1999, Appl. Math. Comput..

[8]  Abbas Edalat,et al.  Domain-theoretic Solution of Differential Equations (Scalar Fields) , 2003, MFPS.

[9]  Ramon E. Moore.  Methods and applications of interval analysis , 1979, SIAM studies in applied mathematics.

[10]  Abbas Edalat,et al.  A Domain-Theoretic Account of Picard's Theorem , 2007 .

[11]  Oliver Aberth.  Computable Analysis and Differential Equations , 1970 .

[12]  Abbas Edalat,et al.  Computing with real numbers. I. The LFT approach to real number computation. II. A domain framework for computational geometry , 2002 .

[13]  Abbas Edalat,et al.  Numerical Integration with Exact Real Arithmetic , 1999, ICALP.

[14]  Abbas Edalat,et al.  A Domain Theoretic Account of Euler's Method for Solving Initial Value Problems , 2004, PARA.

[15]  Abbas Edalat,et al.  A Computational Model for Multi-variable Differential Calculus , 2005, FoSSaCS.

[16]  Abbas Edalat,et al.  Domain theory and differential calculus (functions of one variable) , 2004, Math. Struct. Comput. Sci..

[17]  Klaus Weihrauch,et al.  Computable Analysis: An Introduction , 2014, Texts in Theoretical Computer Science. An EATCS Series.