Article
Keywords:
Lipschitz function; intermediate derivative; $\sigma$-porous set; superreflexive Banach space
Summary:
Let $f$ be a Lipschitz function on a superreflexive Banach space $X$. We prove that then the set of points of $X$ at which $f$ has no intermediate derivative is not only a first category set (which was proved by M.  Fabian and D.  Preiss for much more general spaces $X$), but it is even $\sigma$-porous in a rather strong sense. In fact, we prove the result even for a stronger notion of uniform intermediate derivative which was defined by J.R.  Giles and S.  Sciffer.
References:
                        
[1] Aronszajn N.: 
Differentiability of Lipschitzian mappings between Banach spaces. Studia Math. 57 (1976), 147-190. 
MR 0425608 | 
Zbl 0342.46034[2] Bates S.M., Johnson W.B., Lindenstrauss J., Preiss D., Schechtman G.: Affine approximation of Lipschitz functions and non linear quotiens. to appear.
[3] Fabian M., Preiss D.: 
On intermediate differentiability of Lipschitz functions on certain Banach spaces. Proc. Amer. Math. Soc. 113 (1991), 733-740. 
MR 1074753 | 
Zbl 0743.46040[4] Giles J.R., Sciffer S.: 
Generalising generic differentiability properties from convex to locally Lipschitz functions. J. Math. Anal. Appl. 188 (1994), 833-854. 
MR 1305489 | 
Zbl 0897.46025[5] Preiss D.: 
Differentiability of Lipschitz functions in Banach spaces. J. Funct. Anal. 91 (1990), 312-345. 
MR 1058975[6] Preiss D., Zajíček L.: 
Sigma-porous sets in products of metric spaces and sigma-directionally porous sets in Banach spaces. Real Analysis Exchange 24 (1998-99), 295-313. 
MR 1691753[7] Preiss D., Zajíček L.: 
Directional derivatives of Lipschitz functions. to appear. 
MR 1853802[8] Zajíček L.: 
Porosity and $\sigma$-porosity. Real Analysis Exchange 13 (1987-88), 314-350. 
MR 0943561[9] Zajíček L.: 
On differentiability properties of Lipschitz functions on a Banach space with a Lipschitz uniformly Gâteaux differentiable bump function. Comment. Math. Univ. Carolinae 32 (1997), 329-336. 
MR 1455499[10] Zajíček L.: 
Small non-sigma-porous sets in topologically complete metric spaces. Colloq. Math. 77 (1998), 293-304. 
MR 1628994[11] Zelený M.: 
The Banach-Mazur game and $\sigma$-porosity. Fund. Math. 150 (1996), 197-210. 
MR 1405042