Académique Documents
Professionnel Documents
Culture Documents
Sommaire
Définition
Application à l'étude des points critiques
Condition nécessaire d'extremum local
Condition suffisante d'extremum local
Courbe hessienne
Extension au cadre des variétés différentielles
Extension au cadre des variétés riemanniennes
Définition
Applications
Lemme de Morse
Théorie de Morse
Notes et références
Voir aussi
Articles connexes
Lien externe
Définition
Etant donnée une fonction à valeurs réelles
dont toutes les dérivées partielles secondes existent, le coefficient d'indice de la matrice hessienne
vaut .
Autrement dit,
.
On appelle discriminant hessien (ou simplement hessien) le déterminant de cette matrice.
Le terme « hessien » a été introduit par James Joseph Sylvester, en hommage au mathématicien allemand
Ludwig Otto Hesse.
Soit notamment une fonction de classe définie sur un ouvert de l'espace , à valeurs réelles. Sa
matrice hessienne est bien définie et en vertu du théorème de Schwarz, elle est symétrique.
En particulier, si la hessienne en un point critique admet au moins une valeur propre strictement positive et
une valeur propre strictement négative, le point critique est un point col.
Précisément, un point critique de est dit dégénéré lorsque le discriminant hessien s'annule, autrement dit
lorsque 0 est valeur propre de la hessienne. En un point critique non dégénéré, le signe des valeurs propres
(toutes non nulles) détermine la nature de ce point (point d'extremum local ou point col) :
si la hessienne est définie positive, la fonction atteint un minimum local strict au point
critique ;
si la hessienne est définie négative, la fonction atteint un maximum local strict au point
critique ;
s'il y a des valeurs propres de chaque signe, le point critique est un point col (cf. supra).
Dans ce dernier cas, on définit l'indice du point critique comme la dimension maximale d'un sous-espace
sur lequel la hessienne est définie négative. C'est aussi le nombre de valeurs propres négatives.
En dimension deux notamment, le discriminant hessien étant le produit des valeurs propres, son signe suffit
à déterminer la nature d'un point critique non dégénéré
à déterminer la nature d un point critique non dégénéré.
Enfin pour un point critique dégénéré, aucune de ces implications n'est vraie. L'un des exemples les plus
simples de point critique dégénéré est la selle de singe.
Courbe hessienne
Il est possible de fournir une définition de cette hessienne en un point critique , sans recourir à des cartes
locales. En effet, le point admet pour image par l'élément nul de la fibre en du fibré
cotangent . L'application linéaire tangente arrive donc dans l'espace tangent en ce point, qui
admet une décomposition canonique . La hessienne s'obtient en ne
3
considérant que le deuxième terme de cette décomposition (le premier est trivial) . On peut donc la voir
comme une application bilinéaire
Définition
de par :
4
En coordonnées locales , le tenseur hessien s'exprime comme :
où les sont les symboles de Christoffel de la connexion . Le tenseur hessien possède aussi les
expressions suivantes :
Applications
À l'aide du tenseur hessien, on peut étendre la notion de fonction convexe (ou strictement convexe) aux
fonctions numériques sur les variétés riemanniennes : ce sont celles pour lesquelles le hessien est, en chaque
5
point, une forme bilinéaire positive (ou définie positive) .
On peut aussi retrouver le fait que le hessien d'une fonction réelle lisse sur une variété différentielle est
bien définie, indépendamment de tout choix de métrique, aux points critiques de . En effet, il est toujours
possible de munir d'une métrique riemannienne particulière. Et si est un point critique de ,
l'expression en coordonnées locales du tenseur hessien en est :
Lemme de Morse
6
Le lemme de Morse montre que le comportement d'une fonction régulière au voisinage d'un point critique
non dégénéré est entièrement déterminé par la connaissance de l'indice du point critique.
Lemme de Morse — Soit une fonction sur une variété différentielle de dimension .
On considère un point critique non dégénéré de la fonction , et l'on note son indice.
Alors il existe un système de coordonnées locales centré en et tel que
l'expression correspondante de est
Il résulte notamment du lemme que les points critiques non dégénérés sont isolés.
Le lemme de Morse se généralise aux espaces de Hilbert sous le nom de lemme de Morse-Palais (en).
Théorie de Morse
Une fonction dont tous les points critiques sont non dégénérés et toutes les valeurs critiques distinctes est
appelée fonction de Morse. La théorie de Morse a pour objectif de relier l'étude de la topologie de la
iété à ll d i t iti d f ti i t êt défi i
variété à celle des points critiques des fonctions qui peuvent y être définies.
Notes et références
1. Comme l'exemple des fonctions constantes le montre, la hessienne en un point de minimum
local (resp. de maximum local) peut ne pas être définie positive (resp. définie négative).
2. (en) G. Salmon, Higher Plane Curves, Stechert (1934)
3. Patrick Massot, Topologie différentielle (https://www.imo.universite-paris-saclay.fr/~pmassot/e
nseignement/mat553/poly.pdf), p. 46
4. (en) Jürgen Jost, Riemannian Geometry and Geometric Analysis, 2002 [détail des éditions],
p. 139.
5. (en) Jürgen Jost, Riemannian Geometry and Geometric Analysis, 2002 [détail des éditions],
p. 140
6. (en) John Milnor, Morse Theory, Princeton University Press, 1963. (ISBN 0-691-08008-9),
p. 6.
Voir aussi
Articles connexes
Forme quadratique
Matrice jacobienne
Point critique
Théorème de Sard
Lemme de Hadamard
Lien externe
Droit d'auteur : les textes sont disponibles sous licence Creative Commons attribution, partage dans les mêmes
conditions ; d’autres conditions peuvent s’appliquer. Voyez les conditions d’utilisation pour plus de détails, ainsi que
les crédits graphiques. En cas de réutilisation des textes de cette page, voyez comment citer les auteurs et
mentionner la licence.
Wikipedia® est une marque déposée de la Wikimedia Foundation, Inc., organisation de bienfaisance régie par le
paragraphe 501(c)(3) du code fiscal des États-Unis.
Politique de confidentialité
À propos de Wikipédia
Avertissements
Contact
Développeurs
Statistiques
Déclaration sur les témoins (cookies)