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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Abolfathbeigi, S., Mahmoudi, M.: Manuscript in Persian (2003)
Abramsky, S., Jung, A.: Domain theory. In: Abramsky, S., Gabbay, D.M., Maibaum, T.S.E. (eds.) Handbook of Logic in Computer Science, vol. 3, Clarendon Press, Oxford (1994)
Clarke, F.H.: Private communications. Summer (2005)
Clarke, F.H.: Optimization and Nonsmooth Analysis. Wiley, Chichester (1983)
Edalat, A.: Dynamical systems, measures and fractals via domain theory. Information and Computation 120(1), 32–48 (1995)
Edalat, A.: A continuous derivative for real-valued functions. Invited submission to New Computational Paradigms, 2006. Available at www.doc.ic.ac.uk/~ae/papers/banachf.ps
Edalat, A., Krznarić, M., Lieutier, A.: Domain-theoretic solution of differential equations (scalar fields). In: Proceedings of MFPS XIX, volume 83 of Electronic Notes in Theoretical Computer Science (2003), Full paper in www.doc.ic.ac.uk/~ae/papers/scalar.ps
Edalat, A., Lieutier, A.: Foundation of a computable solid modelling. Theoretical Computer Science 284(2), 319–345 (2002)
Edalat, A., Lieutier, A.: Domain theory and differential calculus (Functions of one variable). Mathematical Structures in Computer Science 14(6), 771–802 (2004)
Edalat, A., Lieutier, A., Pattinson, D.: A computational model for multi-variable differential calculus. In: Sassone, V. (ed.) FOSSACS 2005. LNCS, vol. 3441, pp. 505–519. Springer, Heidelberg (2005)
Edalat, A., Pattinson, D.: A domain theoretic account of Picard’s theorem. In: Proc. ICALP 2004 LNCS vol. 3142, pp. 494–505 (2004), Full paper in www.doc.ic.ac.uk/~ae/papers/picard.icalp.ps
Fars, N.: Aspects analytiques dans la mathematique de shraf al-din al-tusi. Historia Sc. 5(1) (1995)
Fars, N.: Le calcul du maximum et la ’derive’ selon shraf al-din al-tusi. Arabic Sci. Philos. 5(2), 219–237 (1995)
Gierz, G., Hofmann, K.H., Keimel, K., Lawson, J.D., Mislove, M., Scott, D.S.: Continuous Lattices and Domains. Cambridge University Press, UK (2003)
Hogendijk, J.P.: Shraf al-din al-tusi on the number of positive roots of cubic equations. Fund. Math. 16(1), 69–85 (1989)
Pour-El, M.B., Richards, J.I.: A computable ordinary differential equation which possesses no computable solution. Annals Math. Logic 17, 61–90 (1979)
Scott, D.S.: Outline of a mathematical theory of computation. In: 4th Annual Princeton Conference on Information Sciences and Systems, pp. 169–176 (1970)
Weihrauch, K.: Computable Analysis (An Introduction). Springer, Heidelberg (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Edalat, A. (2007). A Continuous Derivative for Real-Valued Functions. In: Cooper, S.B., Löwe, B., Sorbi, A. (eds) Computation and Logic in the Real World. CiE 2007. Lecture Notes in Computer Science, vol 4497. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73001-9_26
Download citation
DOI: https://doi.org/10.1007/978-3-540-73001-9_26
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-73000-2
Online ISBN: 978-3-540-73001-9
eBook Packages: Computer ScienceComputer Science (R0)