A continuous derivative for real-valued functions
File(s)banachff.pdf (292.65 KB)
Accepted version
Author(s)
Edalat, A
Type
Chapter
Abstract
We develop a notion of derivative of a real-valued function on a Banach space, called the L-derivative, which is constructed by introducing a generalization of Lipschitz constant of a map. The values of the L-derivative of a function are non-empty weak* compact and convex subsets of the dual of the Banach space. This is also the case for the Clarke generalised gradient. The L-derivative, however, is shown to be upper semi continuous with respect to the weak* topology, a result which is not known to hold for the Clarke gradient on infinite dimensional Banach spaces. We also formulate the notion of primitive maps dual to the L-derivative, an extension of Fundamental Theorem of Calculus for the L-derivative and a domain for computation of real-valued functions on a Banach space with a corresponding computability theory.
Editor(s)
Cooper, S Barry
Lower, Benedict
Sorbi, Andreas
Date Issued
2007
Citation
Lecture Notes in Computer Science, 2007, pp.248-257
ISBN
9780387360331
0387360336
Publisher
Springer-Verlag New York Inc
Start Page
248
End Page
257
Journal / Book Title
Lecture Notes in Computer Science
Copyright Statement
© Springer-Verlag Berlin Heidelberg 2007. The final publication is available at Springer via https://doi.org/10.1007/978-3-540-73001-9_26
Identifier
http://www.doc.ic.ac.uk/~ae/
Subjects
Computers
Publication Status
Published
Article Number
Part IV
Date Publish Online
2007