Domain theory and differential calculus (functions of one variable)
Proceedings - Symposium on Logic in Computer Science - Trang 277-286
Tóm tắt
A data-type for differential calculus is introduced, which is based on domain theory. We define the integral and also the derivative of a Scott continuous function on the domain of intervals, and present a domain-theoretic generalization of the fundamental theorem of calculus. We then construct a domain for differentiable real valued functions of a real variable. The set of classical C/sup 1/ functions, equipped with its C/sup 1/ norm, is embedded into the set of maximal elements of this domain, which is a countably based bounded complete continuous domain. This gives a data type for differential calculus. The construction can be generalized to C/sup k/ and C/sup /spl infin// functions. As an immediate application, we present a domain-theoretic generalization of Picard's theorem, which provides a data type for solving differential equations.
Từ khóa
#Calculus #Differential equations #Polynomials #Educational institutions #Pathology #Mathematics #Approximation algorithms #Uncertainty #Application software #Logic designTài liệu tham khảo
10.1006/gmod.2001.0539
10.1007/978-3-642-56999-9
lawson, 1997, Spaces of maximal points, Mathematical Structures in Computer Science, 7, 543, 10.1017/S0960129597002363
pour-el, 1988, Computability in Analysis and Physics
10.1016/0010-4485(95)00063-1
kolmogorov, 1975, Introductory Real Analysis
10.1016/0304-3975(95)00250-2
10.1007/978-3-642-67678-9
10.1006/inco.1995.1096
10.1016/0304-3975(95)00050-7
10.1016/0168-0072(91)90065-T
10.1016/S0304-3975(98)00097-8
10.1109/LICS.2002.1029836
10.1016/S0304-3975(96)00243-5
10.1006/inco.1999.2844
10.2307/421098
10.1016/S1571-0661(05)80166-5
10.1145/304012.304040