MORSE HAROLD CALVIN MARSTON (1892-1977)

Mathématicien américain, né à Waterville (Massachusetts), Marston Morse était parent de Samuel F. Morse, l'inventeur du télégraphe. Il fit ses études supérieures à Harvard, où il fut l'élève de G. D. Birkhoff.

Après quelques années aux universités Cornell (Ithaca, New York) et Brown (Providence, Rhode Island.), il revint à Harvard où il enseigna à partir de 1926, jusqu'à la création de l'Institute for Advanced Study à Princeton (New Jersey), dont il fut membre jusqu'à sa retraite.

Marston Morse est le créateur d'une nouvelle branche des mathématiques, qui est devenue l'un des outils les plus puissants des mathématiques, et qu'on appelle calcul des variations global, ou simplement théorie de Morse. Elle comporte deux niveaux :

A) Soit f une fonction réelle de classe C^∞ sur une variété différentielle M de dimension n.

Les maximums et minimums relatifs de f forment une partie de l'ensemble des points critiques de f, c'est-à-dire ceux où la différentielle df = 0. Morse s'intéresse à l'ensemble de tous ces points : un point critique x_o ∈ M est dit non dégénéré si, dans le développement de Taylor de f(x) —f(x_o) par rapport à des coordonnées locales, qui commence par des termes du second degré, ces termes constituent une forme quadratique non dégénérée ; le nombre de carrés négatifs de cette forme est alors appelé l'indice de Morse de f au point x_o : si cet indice est 0 (resp. n), x_o est un minimum relatif (resp. un maximum relatif) de f. Une fonction de Morse est une fonction f n'ayant que des points critiques non dégénérés (nécessairement isolés). Un résultat fondamental est que toute fonction bornée de classe C^∞ sur M peut être approchée uniformément par des fonctions de Morse. Si f est une fonction de Morse sur une variété compacte M, on a, pour 0 < λ< n,

Après la création de la théorie des complexes cellulaires (ou CW-complexes), on s'est aperçu que les méthodes de Morse donnaient des renseignements encore plus précis : la variété M étant supposée compacte et M^a désignant l'ensemble des x ∈ M où f(x) ≤ a pour une fonction de Morse f, le type d'homotopie de M^a est entièrement déterminé par les indices des points critiques de f contenus dans M^a.

B) Sur une variété riemannienne M, une géodésique est une courbe γ : t↦γ(t) définie pour t dans un intervalle ouvert I ⊂ R et ayant la propriété suivante : pour tout t₀ ∈ I, il y a un voisinage de t₀ tel que, pour tout t dans ce voisinage, la longueur de l'arc de γ correspondant à l'intervalle d'extrémités t₀ et t soit plus petite que celle de tout autre arc de courbe C¹ par morceaux joignant x₀ = γ(t₀) et x = γ(t) dans M.

Supposons, pour simplifier, M compacte et connexe ; pour tout point x ∈ M et tout vecteur tangent unitaire h₀ en x₀, il y a une géodésique et une seule t↦γ(h₀, t) qui soit définie dans R tout entier et telle que γ(h₀, 0) = x₀ et que h₀ soit le vecteur tangent unitaire à γ au point t = 0 ; γ (h₀, t) ne dépend que du vecteur tangent th₀ et on pose γ(h₀, t) = exp (th₀). Il existe r> 0 assez petit pour que h↦ exp (h) soit un difféomorphisme de la boule |h|< r (dans l'espace tangent T au point x₀) sur un voisinage ouvert de x₀ dans M. Les points exp (th₀) tels que h↦ exp (h) ne soit un difféomorphisme d'aucun voisinage de th₀ dans T sur un voisinage de exp (th₀) sont dits conjugués de x₀. Tout point de M peut être joint à x₀ par une géodésique au moins, et les points non conjugués de x₀ forment un ensemble partout dense. Par exemple, si M est la sphère S , les géodésiques sont les grands cercles (parcourus une infinité de fois) et x est conjugué de x₀ si et seulement s'il lui est diamétralement[...]