On the size of the sets of gradients of bump functions and starlike bodies on the Hilbert space
[Sur la taille des ensembles de dérivées des fonctions bosses et des hyperplans tangents aux corps étoilés dans l'espace de Hilbert]
Azagra, Daniel ; Jiménez-Sevilla, Mar
Bulletin de la Société Mathématique de France, Tome 130 (2002), p. 337-347 / Harvested from Numdam

On étudie la taille des ensembles de dérivées des fonctions bosses sur l’espace de Hilbert 2 , ainsi que celle de l’ensemble des hyperplans tangents à un corps étoilé dans 2 . On trouve que ces ensembles peuvent être assez petits. D’un côté, la norme de l’espace de Hilbert peut s’approximer uniformément par des fonctions de classe C 1 et lipschitziennes ψ telles que les cônes générés par les images des dérivées ψ ' ( 2 ) sont d’intérieur vide. Cela entraîne l’existence de fonctions de classe C 1 et lipschitziennes dont les cônes générés par les images des dérivées sont d’intérieur vide. On construit d’autre part des corps étoilés bornés lisses de classe C 1 et lipschitziens dont les cônes générés par leurs hyperplans tangents sont d’intérieur vide. On montre aussi pourquoi ces résultats constituent la meilleure réponse à ces questions que l’on puisse espérer.

We study the size of the sets of gradients of bump functions on the Hilbert space 2 , and the related question as to how small the set of tangent hyperplanes to a smooth bounded starlike body in 2 can be. We find that those sets can be quite small. On the one hand, the usual norm of the Hilbert space 2 can be uniformly approximated by C 1 smooth Lipschitz functions ψ so that the cones generated by the ranges of its derivatives ψ ' ( 2 ) have empty interior. This implies that there are C 1 smooth Lipschitz bumps in 2 so that the cones generated by their sets of gradients have empty interior. On the other hand, we construct C 1 -smooth bounded starlike bodies A 2 , which approximate the unit ball, so that the cones generated by the hyperplanes which are tangent to A have empty interior as well. We also explain why this is the best answer to the above questions that one can expect.

Publié le : 2002-01-01
DOI : https://doi.org/10.24033/bsmf.2422
Classification:  46B20,  58B99
Mots clés: dérivées, hyperplans tangents, fonctions bosses, corps étoilés
@article{BSMF_2002__130_3_337_0,
     author = {Azagra, Daniel and Jim\'enez-Sevilla, Mar},
     title = {On the size of the sets of gradients of bump functions and starlike bodies on the Hilbert space},
     journal = {Bulletin de la Soci\'et\'e Math\'ematique de France},
     volume = {130},
     year = {2002},
     pages = {337-347},
     doi = {10.24033/bsmf.2422},
     mrnumber = {1943881},
     zbl = {1034.46016},
     language = {en},
     url = {http://dml.mathdoc.fr/item/BSMF_2002__130_3_337_0}
}
Azagra, Daniel; Jiménez-Sevilla, Mar. On the size of the sets of gradients of bump functions and starlike bodies on the Hilbert space. Bulletin de la Société Mathématique de France, Tome 130 (2002) pp. 337-347. doi : 10.24033/bsmf.2422. http://gdmltest.u-ga.fr/item/BSMF_2002__130_3_337_0/

[1] D. Azagra & R. Deville - « James' theorem fails for starlike bodies », J. Funct. Anal. 180 (2001), p. 328-346. | MR 1814992 | Zbl 0983.46016

[2] D. Azagra & M. Jiménez-Sevilla - « The failure of Rolle's theorem in infinite dimensional Banach spaces », J. Funct. Anal. 182 (2001), p. 207-226. | MR 1829247 | Zbl 0995.46025

[3] J. Borwein, M. Fabian, I. Kortezov & P. Loewen - « The range of the gradient of a continuously differentiable bump », J. Nonlinear Convex Anal. 2 (2001), no. 1, p. 1-19. | MR 1828155 | Zbl 0993.46023

[4] R. Deville, G. Godefroy & V. Zizler - Smoothness and renormings in Banach spaces, Monographies and Surveys in Pure and Applied Math., vol. 64, Pitman, 1993. | MR 1211634 | Zbl 0782.46019

[5] J. Ferrer - « Rolle's theorem for polynomials of degree four in a Hilbert space », J. Math. Anal. Appl. 265 (2002), no. 2, p. 322-331. | MR 1876143 | Zbl 1086.46032

[6] P. Hájek - « Smooth functions on c 0 », Israel J. Math. 104 (1998), p. 17-27. | MR 1622271 | Zbl 0940.46023

[7] M. Jiménez-Sevilla & J. Moreno - « A note on norm attaining functionals », Proc. Amer. Math. Soc. 126 (1998), no. 3, p. 1989-1997. | MR 1485482 | Zbl 0894.46011

[8] J. Malý - « The Darboux property for gradients », Real Anal. Exchange 22 (1996/1997), p. 167-173. | MR 1433604 | Zbl 0879.26042

[9] R. Phelps - Convex functions, monotone operators and differentiability, Lecture Notes in Math., vol. 1364, Springer-Verlag, Berlin, 1989. | MR 984602 | Zbl 0658.46035

[10] S. Shkarin - « On Rolle's theorem in infinite-dimensional Banach spaces », Mat. Zametki 51 (1992), no. 3, p. 128-136, English transl. | MR 1172237 | Zbl 0786.46044