Premiers outils du Calcul Différentiel
Prologue
Ce chapître introduit les premiers outils du Calcul Différentiel : cône tangent
à une partie d’un espace de dimension finie ,dérivées de Dini ,dérivées direction-
nelles ,Gateaux- dérivabilité(1), et présente trois applications importantes :
1. La règle de Fermat(2) qui permet de déterminer les éventuels « extrema
locaux », ou « extrema libres », de fonctions f∶D⊂Rn↦Rde plusieurs
variables réelles, à valeurs réelles, mais aussi, plus généralement, de fonc-
tions f∶D⊂E↦Rà valeurs réelles, définies sur un espace de dimension
finie quelconque, paradigme(3) fondamental de l’optimisation.
2. Le théorème des accroissements finis qui permet un calcul explicite des
constantes de Lipschitz de fonctions à valeurs réelles, localement Lip-
schitziennes, définies sur un ouvert d’un espace de dimension finie. On
prouve en particulier que toute fonction à valeurs réelles de nvariables
réelles, définie sur un ouvert Ode Rn, qui admet en tout point de Odes
dérivées partielles majorées, en valeur absolue, par une même constante
réelle, est Lipschitzienne.
3. La caractérisation de la projection Euclidienne sur une partie convexe
fermée d’un espace Euclidien (E,<,>)d’un point donné dans E, arché-
type du problème consistant à minimiser une fonction à valeurs réelles
définie sur une partie convexe fermée d’un espace de dimension finie,
autre paradigme classique de l’optimisation. On énonce une condition
nécessaire d’optimalité, vérifiée par les solutions d’un tel problème, qui
généralise la règle de Fermat.
1. - René Eugène Gateaux, 1889-1914, Mathématicien Français. Pour découvrir sa biographie :
http://www-groups.dcs.st-andrews.ac.uk/history/Mathematicians/Gateaux.html.
2. - Pierre de Fermat, 1601-1665, Mathématicien Français, « inventeur » du calcul infinitésimal, au-
teur du recueil : « Methodus ad disquirendam maximam et minimam ». Pour découvrir sa bio-
graphie :http://www-groups.dcs.st-andrews.ac.uk/history/Biographies/Fermat.html
.
3. « Paradigme » : choix de problèmes à étudier et des techniques propres à leur étude :
www.larousse.fr/dictionnaires/français/paradigme/ .