Computing Publications

Publications Home » Domain Theory and Differential Ca...

Domain Theory and Differential Calculus (functions of one variable)

Abbas Edalat, Lieutier

Journal Article
IEEE Symposium on Logic in Computer Science (LICS) 2002
Mathematical Structures in Computer Science
Volume 14
Issue 6
pp.771–802
December, 2004
Cambridge University Press
ISSN 0960-1295
Abstract

We introduce a domain-theoretic framework for differential calculus. We define the set of primitive maps as well as the derivative of an interval-valued Scott continuous function on the domain of intervals, and show that they are dually related, providing an extension of the classical duality of differentiation and integration as in the fundamental theorem of calculus. It is shown that, for locally Lipschitz functions of a real variable, the domain-theoretic derivative coincides with the Clarke's derivative. We then construct a domain for differentiable real-valued functions of a real variable by pairing consistent information about the function and information about its derivative. The set of classical $C^1$ functions, equipped with its $C^1$ norm, is embedded into the set of maximal elements of this countably based, bounded complete continuous domain. This domain also provides a model for the differential properties of piecewise $C^1$ functions, locally Lipschitz functions and more generally of all continuous functions. We prove that consistency of function information and derivative information is decidable on rational step functions, which shows that our domain can be given an effective structure. We thus obtain a data type for differential calculus. As an immediate application, we present a domain-theoretic formulation of Picard's theorem, which provides a data type for solving differential equations.

Postscript of full publication (1.1 megabytes)
(need help viewing Postscript files?)
BibTEX file for the publication
N.B.
Conditions for downloading publications from this site.
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.