Thèse soutenue

Détermination sous-différentielle, propriété Radon-Nikodym de faces, et structure différentielle des ensembles prox-réguliers

FR  |  
EN
Auteur / Autrice : David Salas Videla
Direction : Lionel Thibault
Type : Thèse de doctorat
Discipline(s) : Mathématiques et modélisation
Date : Soutenance le 14/12/2016
Etablissement(s) : Montpellier
Ecole(s) doctorale(s) : École doctorale Information, Structures, Systèmes (Montpellier ; 2015-....)
Partenaire(s) de recherche : Laboratoire : Institut Montpelliérain Alexander Grothendieck (Montpellier ; 2003-....)
Jury : Examinateurs / Examinatrices : Lionel Thibault, Shawn Xianfu Wang, Juan-Enrique Martínez-Legaz, Rafaël Correa, Térence Bayen, Abderrahim Hantoute, Alexandre Cabot, Didier Aussel
Rapporteurs / Rapporteuses : Shawn Xianfu Wang, Juan-Enrique Martínez-Legaz

Résumé

FR  |  
EN

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.