Extensions of domain maps in differential and integral calculus
Author(s)
Edalat, A
Type
Conference Paper
Abstract
We introduce in the context of differential and integral calculus several key extensions of higher order maps from a dense subset of a topological space into a continuous Scott domain. These higher order maps include the classical derivative operator and the Riemann integration operator. Using a sequence of test functions, we prove that the subspace of real-valued continuously differentiable functions on a finite dimensional Euclidean space is dense in the space of Lipschitz maps equipped with the Ltopology. This provides a new result in basic mathematical analysis, which characterises the L-topology in terms of the limsup of the sequence of derivatives of a sequence of C1 maps that converges to a Lipschitz map. Using this result, it is also shown that the generalised (Clarke) gradient on Lipschitz maps is the extension of the derivative operator on C1 maps. We show that the generalised Riemann integral (R-integral) of a real-valued continuous function on a compact metric space with respect to a Borel measure can be extended to the integral of interval-valued functions on the metric space with respect to valuations on the probabilistic power domain of the space of non-empty and compact sets of the metric space. We also prove that the Lebesgue integral operator on integrable functions is the extension of the R-integral operator on continuous functions. We finally illustrate an application of these results by deriving a simple proof of Green’s theorem for interval-valued vector fields.
Date Issued
2015
Date Acceptance
2015-03-30
Citation
2015 30th Annual IEEE/ACM Symposium on Logic in Computer Science (LICS), 2015, pp.426-437
ISSN
1043-6871
Publisher
IEEE
Start Page
426
End Page
437
Journal / Book Title
2015 30th Annual IEEE/ACM Symposium on Logic in Computer Science (LICS)
Copyright Statement
© 2015 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
Source
Logic in Computer Science (LICS) 2015
Publication Status
Published
Start Date
2015-07-06
Finish Date
2015-07-10
Coverage Spatial
Kyoto, Japan