Détermination sous-différentielle, propriété Radon-Nikodym de faces, et structure différentielle des ensembles prox-réguliers
David Salas Videla · HAL (Le Centre pour la Communication Scientifique Directe) · 2016
Ce travail est divisé en deux parties: Dans la première partie, on présente un résultat d'intégration dans les espaces localement convexes valable pour une longe classe des fonctions non-convexes. Cela nous permet de récupérer l'enveloppe convexe fermée d'une fonction à partir du sous-différentiel convexe de cette fonction. Motivé par ce résultat, on introduit la classe des espaces "Subdifferential Dense Primal Determined" (SDPD). Ces espaces jouissent des conditions nécessaires permettant d'appliquer le résultat ci-dessus. On donne aussi une interprétation géométrique de ces espaces, appelée la Propriété Radon-Nikod'ym de Faces (FRNP). Dans la seconde partie, on étudie dans le contexte d'espaces d'Hilbert, la relation entre la lissité de la frontière d'un ensemble prox-régulier et la lissité de sa projection métrique. On montre que si un corps fermé possède une frontière C^{p+1}-lisse (avec p≥1), alors sa projection métrique est de classe C^p dans le tube ouvert associé à sa fonction de prox-régularité. On établit également une version locale du même résultat reliant la lissité de la frontière autour d'un point à la prox-régularité en ce point. On étudie par ailleurs le cas où l'ensemble est lui-même une C^{p+1}-sous-variété. Finalement, on donne des réciproques de ces résultats.