Fréchet Differentiability of Lipschitz Functions and Porous Sets in Banach Spaces (AM-179)

Author(s):  
Joram Lindenstrauss ◽  
David Preiss ◽  
Jaroslav Tišer
Author(s):  
Joram Lindenstrauss ◽  
David Preiss ◽  
Tiˇser Jaroslav

This chapter gives an account of the known genuinely infinite dimensional results proving Fréchet differentiability almost everywhere except for Γ‎-null sets. Γ‎-null sets provide the only notion of negligible sets with which a Fréchet differentiability result is known. Porous sets appear as sets at which Gâteaux derivatives can behave irregularly, and they turn out to be the only obstacle to validity of a Fréchet differentiability result Γ‎-almost everywhere. Furthermore, geometry of the space may (or may not) guarantee that porous sets are Γ‎-null. The chapter also shows that on some infinite dimensional Banach spaces countable collections of real-valued Lipschitz functions, and even of fairly general Lipschitz maps to infinite dimensional spaces, have a common point of Fréchet differentiability.


Author(s):  
Joram Lindenstrauss ◽  
David Preiss ◽  
Jaroslav Tier

This book makes a significant inroad into the unexpectedly difficult question of existence of Fréchet derivatives of Lipschitz maps of Banach spaces into higher dimensional spaces. Because the question turns out to be closely related to porous sets in Banach spaces, it provides a bridge between descriptive set theory and the classical topic of existence of derivatives of vector-valued Lipschitz functions. The topic is relevant to classical analysis and descriptive set theory on Banach spaces. The book opens several new research directions in this area of geometric nonlinear functional analysis. The new methods developed here include a game approach to perturbational variational principles that is of independent interest. Detailed explanation of the underlying ideas and motivation behind the proofs of the new results on Fréchet differentiability of vector-valued functions should make these arguments accessible to a wider audience. The most important special case of the differentiability results, that Lipschitz mappings from a Hilbert space into the plane have points of Fréchet differentiability, is given its own chapter with a proof that is independent of much of the work done to prove more general results. The book raises several open questions concerning its two main topics.


Author(s):  
Joram Lindenstrauss ◽  
David Preiss ◽  
Tiˇser Jaroslav

This chapter shows how spaces with separable dual admit a Fréchet smooth norm. It first considers a criterion of the differentiability of continuous convex functions on Banach spaces before discussing Fréchet smooth and nonsmooth renormings and Fréchet differentiability of convex functions. It then describes the connection between porous sets and Fréchet differentiability, along with the set of points of Fréchet differentiability of maps between Banach spaces. It also examines the concept of separable determination, the relevance of the σ‎-porous sets for differentiability and proves the existence of a Fréchet smooth equivalent norm on a Banach space with separable dual. The chapter concludes by explaining how one can show that many differentiability type results hold in nonseparable spaces provided they hold in separable ones.


Author(s):  
Joram Lindenstrauss ◽  
David Preiss ◽  
Tiˇser Jaroslav

This chapter shows that cone-monotone functions on Asplund spaces have points of Fréchet differentiability and that the appropriate version of the mean value estimates holds. It also proves that the corresponding point of Fréchet differentiability may be found outside any given σ‎-porous set. This new result considerably strengthens known Fréchet differentiability results for real-valued Lipschitz functions on such spaces. The avoidance of σ‎-porous sets is new even in the Lipschitz case. The chapter first discusses the use of variational principles to prove Fréchet differentiability before analyzing a one-dimensional mean value problem in relation to Lipschitz functions. It shows that results on existence of points of Fréchet differentiability may be generalized to derivatives other than the Fréchet derivative.


Author(s):  
Joram Lindenstrauss ◽  
David Preiss ◽  
Tiˇser Jaroslav

This chapter treats results on ε‎-Fréchet differentiability of Lipschitz functions in asymptotically smooth spaces. These results are highly exceptional in the sense that they prove almost Frechet differentiability in some situations when we know that the closed convex hull of all (even almost) Fréchet derivatives may be strictly smaller than the closed convex hull of the Gâteaux derivatives. The chapter first presents a simple proof of an almost differentiability result for Lipschitz functions in asymptotically uniformly smooth spaces before discussing the notion of asymptotic uniform smoothness. It then proves that in an asymptotically smooth Banach space X, any finite set of real-valued Lipschitz functions on X has, for every ε‎ > 0, a common point of ε‎-Fréchet differentiability.


1989 ◽  
Vol 32 (3) ◽  
pp. 274-280
Author(s):  
D. E. G. Hare

AbstractWe introduce a new type of differentiability, called cofinite Fréchet differentiability. We show that the convex point-of-continuity property of Banach spaces is dual to the cofinite Fréchet differentiability of all equivalent norms. A corresponding result for dual spaces with the weak* convex point-of-continuity property is also established.


Sign in / Sign up

Export Citation Format

Share Document