Sciweavers

ENTCS
2006

Domain Theoretic Solutions of Initial Value Problems for Unbounded Vector Fields

13 years 11 months ago
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 [8], 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.
Abbas Edalat, Dirk Pattinson
Added 12 Dec 2010
Updated 12 Dec 2010
Type Journal
Year 2006
Where ENTCS
Authors Abbas Edalat, Dirk Pattinson
Comments (0)