Abstract
Letf be a Lipschitz mapping of a separable Banach spaceX to a Banach spaceY. We observe that the set of points at whichf is differentiable in a spanning set of directions but not Gâteaux differentiable isσ-directionally porous. Since Borelσ-directionally porous sets, in addition to being first category sets, are null in Aronszajn’s (or, equivalently, in Gaussian) sense, we obtain an alternative proof of the infinite-dimensional generalisation of Rademacher’s Theorem (due to Aronszajn) on Gâteaux differentiability of Lipschitz mappings. Better understanding ofσ-directionally porous sets leads us to a new version of Rademacher’s theorem in infinite dimensional spaces which we show to be stronger then the one obtained by Aronszajn. A more detailed analysis shows that (a stronger version of) our observation follows from a somewhat technical result showing that the behaviour of the slopes (f(x+t (u+v))−f(x+tv))/t ast → 0+is in some sense independent ofv. In particular, this implies that in the case of Lipschitz real valued functions the upper one-sided derivatives coincide with the derivatives defined by Michel and Penot, except for points of aσ-directionally porous set. This has a number of interesting consequences for upper and lower directional derivatives. For example, for allx ∈ X, except those which belong to aσ-directionally porous set, the functionv → \(\bar f\)(x, υ) (the upper right derivative off atx in the directionv) is convex.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
N. Aronszajn,Differentiability of Lipschitzian mappings between Banach spaces, Studia Mathematica57 (1976), 147–190.
Y. Benyamini and J. Lindenstrauss,Geometric Nonlinear Functional Analysis, Vol. 1, American Mathematical Society Colloquium Publications, Vol. 48, Providence, Rhode Island, 2000.
D. N. Bessis and F. H. Clarke,Partial subdifferentials, derivates and Rademacher’s theorem, Transactions of the American Mathematical Society351 (1999), 2899–2926.
S. M. Bates, W. B. Johnson, J. Lindenstrauss, D. Preiss and G. Schechtman,Affine approximation of Lipschitz functions and non-linear quotients, Geometric and Functional Analysis9 (1999), 1092–1127.
M. Csörnyei,Aronszajn null and Gaussian null sets coincide, Israel Journal of Mathematics111 (1999), 191–202.
J. P. R. Christensen,Topology and Borel Structure, North-Holland, Amsterdam, 1974.
E. P. Dolzhenko,Boundary properties of arbitrary functions (in Russian), Izvestiya Akademii Nauk SSSR, Seriya Matematicheskaya31 (1967), 3–14.
M. J. Evans and P. D. Humke,The equality of unilateral derivates, Proceedings of the American Mathematical Society79 (1980), 609–613.
M. Fabian and D. Preiss,On intermediate differentiability of Lipschitz functions on certain Banach spaces, Proceedings of the American Mathematical Society113 (1991), 733–740.
J. R. Giles and S. Sciffer,Locally Lipschitz functions are generically pseudoregular on separable Banach spaces, Bulletin of the Australian Mathematical Society47 (1993), 205–212.
P. Holický, J. Malý, L. Zajíček and C. Weil,A note on the gradient problem, Real Analysis Exchange22 (1996), 225–235.
P. Mankiewicz,On the differentiability of Lipschitz mappings in Frechet spaces, Studia Mathematica45 (1973), 15–29.
E. Matoušková,An almost nowhere Frechet smooth norm on superreflexive spaces, Studia Mathematica133 (1999), 93–99.
J. Matoušek and E. Matoušková,A highly nonsmooth norm on Hilbert space, Israel Journal of Mathematics112 (1999), 1–28.
P. Michel and J. P. Penot,Calculus sous-differentiel pour des fonctions lipschitziennes et non lipschitziennes, Comptes Rendus de l’Académie des Sciences, Paris, Série I, Mathématique298 (1984), 269–272.
P. Michel and J. P. Penot,A generalized derivative for calm and stable functions, Differential and Integral Equations5 (1992), 433–454.
A. Nekvinda and L. Zajíček,A simple proof of the Rademacher theorem, Časopis pro Pěstování matematiky113 (1988), 337–341.
R. R. Phelps,Gaussian null sets and differentiability of Lipschitz maps on Banach spaces, Pacific Journal of Mathematics18 (1978), 523–531.
D. Preiss,Differentiability of Lipschitz functions in Banach spaces, Journal of Functional Analysis91 (1990), 312–345.
D. Preiss and J. Tišer,Two unexpected examples concerning differentiability of Lipschitz functions on Banach spaces, inCollection: Geometric Aspects of Functional Analysis, Operator Theory: Advances and Applications 77, Birkhäuser, Boston, 1995, pp. 219–238.
D. Preiss and L. Zajíček,Sigma-porous sets in products of metric spaces and sigma-directionally porous sets in Banach spaces, Real Analysis Exchange24 (1998/9), 295–314.
B. S. Thomson,Real Functions, Lecture Notes in Mathematics1170, Springer-Verlag, Berlin, 1985.
L. Zajíček,Differentiability of of the distance function and points of multi-valuedness of the metric projection in Banach space, Czechoslovak Mathematical Journal33(108) (1983), 292–308.
L. Zajíček,Porosity and σ-porosity, Real Analysis Exchange13 (1987–88), 314–350.
L. Zajíček,A note on intermediate differentiability of Lipschitz functions, Commentationes Mathematicae Universitatis Carolinae40 (1999), 795–799.
Author information
Authors and Affiliations
Corresponding author
Additional information
The second-named author was supported by the grants GAČR 201/97/1161, CAUK 160/1999, and CEZ J13/98113200007.
Rights and permissions
About this article
Cite this article
Preiss, D., Zajíček, L. Directional derivatives of Lipschitz functions. Isr. J. Math. 125, 1–27 (2001). https://doi.org/10.1007/BF02773371
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02773371