Voir la source de Application harmonique

{{Autre4|les applications harmoniques entre variétés riemanniennes|les fonctions à valeurs numériques|fonction harmonique}}
En [[géométrie différentielle]], une application régulière <math>\phi:M\to N</math> définie d'une [[variété riemannienne]] dans une autre est dite '''harmonique''' lorsqu'elle est solution d'une certaine [[équation aux dérivées partielles]] généralisant l'[[équation de Laplace]]. L'équation des applications harmoniques est en général introduite pour résoudre un [[problème variationnel]] ; il s'agit de l'[[équation d'Euler-Lagrange]] associée à la recherche des points critiques de l'[[énergie de Dirichlet]] des applications entre les deux variétés. Par suite, la recherche des applications harmoniques englobe à la fois celle des [[géodésique]]s et celle des [[fonction harmonique|fonctions numériques qui sont harmoniques]] sur un ouvert de l'espace euclidien.

[[Image:Round straw bales packaged in plastic film.jpg|vignette|Des ballots de paille recouverts de film plastique permettent d'approcher la notion d'application harmonique d'une portion de plan vers le bord du ballot.]]
On peut concevoir de façon informelle l'énergie de Dirichlet de l'application {{mvar|Φ}} comme une mesure de l'étirement (au sens de la [[tension superficielle]]) qu'il faut imprimer pour amener les points de {{mvar|M}} à leur position dans {{mvar|N}}. Ainsi, étirer une bande de caoutchouc pour la placer sur un galet lisse peut servir d'expérience de pensée pour modéliser l'application des points de la bande au repos vers sa position finale, et son énergie. Une caractéristique de la position finale de la bande, et qui est l'expression du caractère harmonique de l'application, est qu'il s'agit d'une position d'[[équilibre]] : au premier ordre, pour toute déformation physique de la bande qu'on peut concevoir, la dérivée de l'énergie est nulle à l'instant initial.

Les initiateurs de la théorie des fonctions harmoniques, [[James Eells]] et [[Joseph H. Sampson]], ont montré en 1964 que, dans un contexte géométrique adéquat, une application régulière quelconque, pouvait être [[homotopie|déformée par homotopie]] en une application harmonique<ref name="EellsSampson1964">Eells, James, Jr.; Sampson, J.H. ''Harmonic mappings of Riemannian manifolds.'' Amer. J. Math. 86 (1964), 109–160. [[doi:10.2307/2373037]], {{jstor|2373037}}</ref>. Les applications harmoniques l'étude du flot de la chaleur, par elles-mêmes et à titre d'inspiration, font partie des sujets les plus étudiés dans le domaine de l'[[analyse géométrique]]. Le travail de Eells et Sampson a notamment servi d'inspiration première à [[Richard S. Hamilton]] dans ses recherches sur le [[flot de Ricci]], qui ont conduit à la preuve de la [[conjecture de Poincaré]]. 

La découverte du phénomène des « bulles » dans les suites de fonctions harmoniques, et l'introduction de méthodes pour les contrôler, par Jonathan Sacks et [[Karen Uhlenbeck]]<ref>Sacks, J.; Uhlenbeck, K. ''The existence of minimal immersions of 2-spheres.'' Ann. of Math. (2) 113 (1981), no. 1, 1–24.</ref>{{,}}<ref>[https://images.math.cnrs.fr/Sur-les-travaux-de-Karen-Uhlenbeck-I.html?lang=es Sur les travaux de Karen Uhlenbeck], [[CNRS]]</ref>, a revêtu une influence particulière, car des situations analogues ont été reconnues dans de nombreux autres contextes géométriques. Ainsi, la découverte concomitante par Uhlenbeck d'un phénomène de bulles pour les [[Théorie de Yang-Mills|champs de Yang–Mills]] a joué un rôle important dans les travaux de [[Simon Donaldson]] sur les [[variété de dimension 4|espaces de dimension 4]]<ref>Uhlenbeck, Karen. ''Harmonic maps into Lie groups: classical solutions of the chiral model.'' J. Differential Geom. 30 (1989), no. 1, 1–50.</ref>, et de même la découverte ultérieure par [[Mikhail Gromov]] de bulles pour les [[courbe pseudoholomorphe|courbes pseudoholomorphes]] s'est révélé riche de conséquences en [[géométrie symplectique]] et en [[cohomologie quantique]]. De même, les techniques employées par [[Richard Schoen]] et Uhlenbeck pour étudier la régularité des applications harmoniques ont servi d'inspiration au développement de méthodes d'analyse nouvelle en analyse géométrique<ref>Schoen, Richard; Uhlenbeck, Karen. ''A regularity theory for harmonic maps.'' J. Differential Geom. 17 (1982), no. 2, 307–335.</ref>{{,}}<ref>Schoen, Richard; Uhlenbeck, Karen. ''Boundary regularity and the Dirichlet problem for harmonic maps.'' J. Differential Geom. 18 (1983), no. 2, 253–268.</ref>.

== Définition ==

L'[[équation de Laplace]] de l'espace euclidien ne se généralise pas simplement dans le cadre des [[variété (géométrie)|variétés]]. On sait que la notion même de [[dérivée seconde]] n'a pas de sens en général, mais qu'en munissant la variété d'une [[variété riemannienne|structure riemannienne]], il est possible de mener du calcul différentiel à tout ordre. Pour autant, même pour des objets simples définis sur une seule variété, comme les [[Forme différentielle|formes différentielles]], il peut exister plusieurs notions concurrentes d'[[opérateurs laplaciens en géométrie riemannienne|opérateur laplacien]]. 

Quand on dispose de deux variétés riemanniennes et d'une application <math>\phi:M\to N</math> de classe au moins C<sup>2</sup>, on va voir qu'il existe un '''champ de tension''' qui peut être considéré comme une généralisation du laplacien. Les applications harmoniques seront celles pour lesquelles le champ de tension s'annule. On peut commencer par envisager le cas où la variété ''M'' est [[compacité (mathématiques)|compacte]] et [[orientation (mathématiques)|orientée]], car le champ de tension peut être obtenu à partir de considérations globales en termes d'énergie.

=== Le cas compact orienté ===
{{Voir aussi|énergie de Dirichlet}}

On peut commencer par introduire l'expression générale de la [[première forme fondamentale]] (utilisée pour l'étude des surfaces) : on ramène le [[tenseur métrique]] de {{mvar|N}} sur {{mvar|M}} par [[image réciproque (géométrie différentielle)|image réciproque]] <math>\phi^\ast h</math>, ce qui donne un tenseur sur {{mvar|M}}.
On suppose ''M'' compacte orientée, et on définit l'énergie de {{mvar|Φ}} en prenant l'intégrale de la trace de cette forme fondamentale pour la mesure canonique de {{mvar|M}}<ref>{{Berger1}}, p. 675</ref>
:<math>E(\phi)=\frac12\int_M \mathrm{tr}_g(\phi^\ast h) \mathrm{d}V_g</math>
En détaillant les choses dans une carte locale, l'intégrande est une quantité appelée '''densité d'énergie''' qui peut aussi s'exprimer sous les formes suivantes
:<math>e(\phi)=\frac12\mathrm{tr}_g(\phi^\ast h)  =\frac12 g^{\alpha\beta}
 \left(\frac{\partial \phi}{\partial x^\alpha} \Big|
\frac{\partial \phi}{\partial x^\beta}\right)_{\phi^{-1}(TN)}=\frac12(\mathrm d \phi|\mathrm d \phi)_{T^\ast M \otimes\phi^{-1}(TN)}</math>
expression dans laquelle on retrouve bien le carré d'une norme, mais sur un certain [[fibré vectoriel]] associé aux deux variétés. Ainsi l'expression de l'énergie devient<ref>{{harvsp|Jost|2002|loc={{p.|390}}}}</ref> 
:<math>E(\phi)=\int_Me(\phi) \mathrm{d}V_g=\frac12\int_M \|\mathrm d\phi\|^2 \mathrm{d}V_g</math>

Les points critiques de cette fonctionnelle énergie sont appelées applications harmoniques. En utilisant la démarche du [[calcul des variations]], on peut étudier une famille <math>\phi_t</math> d'applications de {{mvar|M}} dans {{mvar|N}} et donner les conditions sur le [[champ de vecteurs]] ψ représentant la déformation selon ''t'' pour que <math>E(\phi_t)</math> présente un extremum en ''t=0''. Ces conditions s'interprètent comme des relations d'orthogonalité à tout champ de déformation qui ont la forme suivante
:<math>\frac{\mathrm {d}}{\mathrm {d} t}E(\phi_t)\Big|_{t=0}=\int_M \frac{\partial}{\partial t}\Big|_{t=0}e(\phi_t)\,\mathrm{d}V_g=-\int_M h\left(\frac{\partial}{\partial t}\Big|_{t=0}\phi_t,\tau( \phi)\right)\,\mathrm{d}V_g=-\int_M h\left(\Psi,\tau(\phi)\right)\,\mathrm{d}V_g=0</math>
L'expression  <math>\tau(\phi)</math> qui apparaît représente la contrainte à laquelle on aboutit sur <math>\phi=\phi_0</math> : c'est l'[[équation d'Euler-Lagrange]] <math>\tau(\phi)=0</math>. Cette quantité peut s'exprimer sous forme intrinsèque
:<math>\tau(\phi)=\mathrm{tr}_g(\nabla (\mathrm{d}\phi))</math>
(avec la [[connexion de Levi-Civita]]), ou encore en coordonnées locales (et avec les [[symboles de Christoffel]] pour chacune des deux métriques et l'emploi de la [[convention de sommation d'Einstein]])<ref>{{harvsp|Jost|2002|loc={{p.|393}}}}</ref> 
:<math>\tau^i(\phi)=g^{\alpha \beta}\left(\frac{\partial^2\phi^i}{\partial x^\alpha\partial x^\beta}-\Gamma[g]_{\alpha\beta}^\gamma\frac{\partial \phi^i}{\partial x^\gamma}+\Gamma[h]_{jk}^i\frac{\partial \phi^j}{\partial x^\alpha}\frac{\partial \phi^i}{\partial x^\beta}\right).</math>
On aboutit ainsi  à une formulation équivalente du caractère harmonique, qui a l'avantage de faire intervenir non plus une intégrale sur toute la variété, mais des considérations purement locales : c'est sur ce '''champ de tension''' <math>\tau(\phi)</math> que va s'appuyer la définition générale.

===Cas général===

Dans le cas non-compact, il n'est plus possible de donner une définition globale de l'énergie. Mais la notion de champ de tension reste bien définie, et les arguments de calcul variationnel peuvent être repris en se limitant à des perturbations Ψ à support local. Dans ce cas, on peut reprendre une part du calcul précédent
:<math>\int_M \frac{\partial}{\partial t}\Big|_{t=0}e(\phi_t)\,\mathrm{d}V_g=-\int_M h\left(\Psi,\tau( \phi)\right)\,\mathrm{d}V_g</math>
Et cela justifie qu'on introduise les applications harmoniques comme celles pour lesquelles le champ de tension est nul. On peut interpréter la quantité <math>\nabla \mathrm d \phi</math> comme une [[matrice hessienne|hessienne]] généralisée à une fonction qui n'est pas à valeurs numériques, et le champ de tension lui-même comme un laplacien généralisé. Même si l'expression en coordonnées locales montre qu'on n'est plus dans le domaine des [[Non-linéarité|problèmes linéaires]], on s'attend pourtant à retrouver un certain nombre de traits des fonctions harmoniques numériques<ref>{{harvsp|Jost|2002|loc={{p.|391}}}}</ref>.

Un premier résultat en ce sens est celui de la régularité : l'aspect local de l'équation d'annulation du champ de tension montre qu'il s'agit d'une [[symbole d'un opérateur différentiel|équation elliptique]] (non linéaire). Les théorèmes de régularité usuels permettent donc d'affirmer qu'une application harmonique de classe C<sup>2</sup> est automatiquement C<sup>∞</sup><ref name="aubin349">{{harvsp|Aubin|1998|loc={{p.|349}}}}</ref>.

=== Harmonicité au sens faible ===

Établir des résultats avancés sur les applications harmoniques demande d'employer au moins à titre d'intermédiaires des espaces fonctionnels soigneusement choisis pour obtenir les propriétés de convergence désirées. C'est pourquoi on utilise couramment une notion de fonction harmonique au sens faible, en considérant l'énergie de Dirichlet et ses points critiques sur l'[[espace de Sobolev]] <math>H^1(M,N)</math>. On peut cependant retomber sur la notion usuelle : si une fonction est continue et faiblement harmonique, elle est C<sup>∞</sup> et harmonique au sens fort<ref name="Aubin351">{{harvsp|Aubin|1998|loc={{p.|351}}}}</ref>.

== Exemples ==

=== Cas particuliers ===

La notion d'application harmonique englobe plusieurs situations classiques<ref name="Jost394">{{harvsp|Jost|2002|loc={{p.|393-394}}}}</ref>. Tout d'abord les [[fonction harmonique|fonctions numériques harmoniques]] sur un ouvert de l'espace euclidien, ou plus généralement, celles qui annulent l'[[opérateur de Laplace-Beltrami]] sont exactement les applications harmoniques à valeurs dans la droite réelle. Cela inclut les fonctions constantes.

Si au contraire c'est la variété {{math|M}} qui est de dimension 1, et {{math|N}} une variété riemannienne quelconque on retrouve dans la condition d'harmonicité l'[[équation des géodésiques]]. Celle-ci est d'ailleurs fréquemment établie par le même procédé, en recherchant les extrema de l'énergie de Dirichlet. Plus généralement, une application totalement géodésique, c'est-à-dire telle que l'image de toute géodésique est une géodésique, est harmonique. L'exemple le plus simple est l'application identité.

Si les variétés sont munies d'une structure de [[variété kählérienne]], toute [[fonction holomorphe|application holomorphe]] ou anti-holomorphe (c'est-à-dire satisfaisant la relation <math>\overline \partial \phi=0</math> ou <math>\partial \phi=0</math> pour les [[cohomologie de Dolbeault|opérateurs de Dolbeault]]) est harmonique. La réciproque est fausse en général, mais peut être vraie sous certaines hypothèses de courbure (voir ci-dessous). De plus une simple [[variété hermitienne|structure hermitienne]] ne suffit pas pour établir que les applications holomorphes sont harmoniques, la condition d'intégrabilité de Kähler est utilisée<ref>Luc Lemaire, [http://www.numdam.org/article/SB_1979-1980__22__174_0.pdf Existence des applications harmoniques et courbure des variétés], in actes du [[Séminaire Bourbaki]], 1981, p. 178</ref>.

=== Cas des immersions ===

Dans l'étude des sous-variétés riemanniennes, la [[seconde forme fondamentale]] joue un rôle important. On peut généraliser cette notion pour une immersion quelconque, mais il y a a priori deux tenseurs métriques à prendre en compte, sur la variété source et le but. En se plaçant sur un domaine d'injectivité de {{math|Φ}}, on peut transporter les champs de vecteurs de {{math|M}} par image directe (et les prolonger si besoin). On montre alors que l'expression suivante a un sens, et donne, en chaque point, une [[forme bilinéaire]] sur l'espace tangent à {{math|M}} à valeurs dans l'espace tangent à {{math|N}} 
:<math>\mathrm{I}\!\mathrm{I}(X,Y)=\nabla^h_{\phi_\ast X} (\phi_\ast Y)-\phi_\ast(\nabla^g_XY) </math>
Un calcul en carte locale permet de montrer qu'on retrouve dans cette expression le hessien généralisé <math>\nabla \mathrm d \phi</math>, et le champ de tension <math>\tau(\phi)</math> n'est autre que la trace de cette seconde forme fondamentale<ref name="aubin349"/>.

Les applications totalement géodésiques peuvent être vues de façon naturelle comme celles pour lesquelles la seconde forme fondamentale est constamment nulle. On retrouve bien qu'elles sont harmoniques.

Un autre contexte où la seconde forme fondamentale se simplifie est celui des immersions isométriques de {{math|M}} dans {{math|N}} (ce qui englobe le cas de l'injection canonique pour une sous-variété riemanniennes de {{math|N}}). Une telle application est harmonique si et seulement si {{math|Φ(M)}} est une [[surface minimale|variété minimale]] dans {{math|N}})<ref name="Jost394"/>.

==Flot de la chaleur==

=== Définition ===
Le flot de la chaleur a servi de prototype à l'introduction et à l'étude de nombreux flots géométriques, dont le plus connu est le [[flot de Ricci]]. Il s'agit d'une [[équation aux dérivées partielles]], non linéaire, dans laquelle on fait évoluer l'application <math>\phi:M\to N</math>. Cette évolution est suivie par un paramètre {{math|t}} et dictée par une équation inspirée de l'[[équation de diffusion]], dans laquelle le champ de tension joue le rôle du laplacien
:<math>\frac{\partial \phi_t}{\partial t}=\tau(\phi_t), \qquad \phi_0=\phi</math>
En se plaçant dans le cas de variétés compactes pour ne pas rencontrer de difficulté de définition, une des premières propriétés du flot est que tant qu'il est défini, il fait diminuer l'énergie : <math>\frac{\mathrm d}{\mathrm d t} E(\phi_t)\leq 0</math>, et même strictement sauf aux valeurs de {{math|t}} pour lesquelles <math>\phi_t</math> est une fonction harmonique<ref>{{harvsp|Aubin|1998|loc={{p.|352}}}}</ref>.

En introduisant cet outil, l'objectif initial de Eells et Sampson était d'établir que sous des hypothèses convenables de régularité et de courbure, il était possible de déformer l'application initiale {{math|Φ}} par [[homotopie]] en une application harmonique réalisant même un minimum de l'énergie. Mais l'étude du flot s'est révélée intéressante par elle-même<ref name="Aubin351"/>.

===Le théorème de Eells et Sampson===

{{Théorème|Théorème de Eells et Sampson (1964)|Soient {{math|(M, g)}} et {{math|(N, h)}} deux variétés riemanniennes fermées, telles que la [[courbure sectionnelle]] de {{math|(N, h)}} est négative. Alors toute application initiale <math>\phi_0\in {\cal C}^1(M,N)</math>, il existe une unique [[solution maximale]] associée à l'équation du flot de la chaleur <math>\phi_t, t\geq 0</math>. Elle est définie pour tout temps <math>t\geq 0</math>, et de classe {{math|C<sup>∞</sup>}}
pour <math>t>0</math>. Il existe une suite <math>(t_n)</math> tendant vers l'infini telle que les fonctions <math>\phi_{t_n}</math> convergent au sens de la topologie {{math|C<sup>∞</sup>}} vers une application harmonique.}}

{{Théorème|Corollaire|Sous les mêmes hypothèses sur {{math|M}} et {{math|N}}, toute application continue est homotope à une application harmonique.}}

En 1967, [[Philip Hartman]] a renforcé les résultats de Eells et Sampson, prouvant que la convergence est vraie au sens fort, sans nécessité de recours à une [[sous-suite]]. Il s'est aussi intéressé à la question de l'unicité de l'application harmonique dans une classe d'homotopie donnée<ref>Hartman, Philip. ''On homotopic harmonic maps.'' Canadian J. Math. 19 (1967), 673–687.</ref>. En 1975, [[Richard Hamilton]] a adapté la démarche de Eells et Sampson au cadre des [[condition de bord|conditions de bord de Dirichlet]] sur une variété {{mvar|M}} compacte [[variété à bord|à bord]]<ref>Hamilton, Richard S. ''Harmonic maps of manifolds with boundary.'' Lecture Notes in Mathematics, Vol. 471. Springer-Verlag, Berlin-New York, 1975. i+168 pp.</ref>.

La question de la nécessité de l'hypothèse de courbure négative pour {{math|(''N'', ''h'')}} s'est posée pendant de nombreuses années après la publication du théorème de 1964. Depuis les travaux de Kung-Ching Chang, Wei-Yue Ding, and Rugang Ye en 1992, l'idée communément admise est qu'on ne peut pas « en général » espérer avoir un temps d'existence infini pour les solutions, mais qu'il se produit une certaine forme d'[[explosion en temps fini]]. Ils ont en effet mis en évidence des phénomènes de ce type pour des variétés aussi simples que la sphère canonique de dimension 2, et, dans la mesure où les équations elliptiques et paraboliques se comportent particulièrement bien à deux dimensions, leur résultat est considéré comme donnant une bonne idée du comportement général du flot <ref>Chang, Kung-Ching; Ding, Wei Yue; Ye, Rugang. ''Finite-time blow-up of the heat flow of harmonic maps from surfaces.'' J. Differential Geom. 36 (1992), no. 2, 507–515.</ref>.

=== Formule de Bochner et rigidité===

Un calcul qui joue un rôle central dans la preuve du théorème de Eells et Sampson est l'établissement d'une formule de Bochner reliant champ de tension et courbure (comme pour les [[opérateurs laplaciens en géométrie riemannienne|opérateurs laplaciens usuels]]). Dans le cadre de l'étude de solutions <math>\phi_t, 0<t<T</math>, la relation prend la forme suivante
:<math>\Big(\frac{\partial}{\partial t}-\Delta^g\Big)e(\phi_t)=-\big\|\nabla(d \phi_t)\big\|^2-\big\langle\operatorname{Ric}^g,\phi_t^\ast h\big\rangle_g+\operatorname{scal}^g\big(\phi_t^\ast\operatorname{Rm}^h\big).</math>
faisant intervenir les [[courbure de Ricci|courbures de Ricci]] et [[courbure scalaire|scalaire]]. Plus précisément le dernier terme est l'analogue d'un calcul de courbure scalaire sur le tenseur image réciproque du |[[tenseur de Riemann|tenseur de courbure de Riemann]]<ref>Voir l'expression en carte locale dans {{harvsp|Aubin|1989|loc={{p.|352}}}}.</ref>.

De façon plus générale, cette formule se révèle intéressante pour étudier les propriétés d'une application harmonique donnée <math>\phi : M\to N</math>
:<math>\Delta^ge(\phi)=\big\|\nabla(d\phi)\big\|^2+\big\langle\operatorname{Ric}^g,\phi^\ast h\big\rangle_g-\operatorname{scal}^g\big(\phi^\ast\operatorname{Rm}^h\big).</math>
Si la courbure de Ricci de {{mvar|g}} est strictement positive et la courbure sectionnelle de {{mvar|h}} est négative, il résulte de cette relation que <math>\Delta e(\phi)</math> est positive. Sur une variété {{mvar|M}} fermée, en multipliant par <math>e(\phi)</math> et en employant la [[théorème de Stokes|formule de Stokes]] on aboutit au fait que <math>e(\phi)</math> est constant, et en fait nul, puis que <math>\phi</math> lui-même est constant<ref>{{harvsp|Aubin|1989|loc={{p.|353}}}}.</ref>. En 1976, [[Richard Schoen]] et [[Shing-Tung Yau]] étendent ce résultat au cadre {{mvar|M}} non compact en employant un résultat de Yau selon lequel des [[Fonction sous-harmonique|fonctions sous-harmoniques]] positives bornées au sens {{math|L<sup>2</sup>}} sont constantes. En fin de compte on peut affirmer :
{{Théorème|Soient {{math|(M, g)}} et {{math|(N, h)}} deux variétés riemanniennes complètes et <math>\phi:M\to N</math> une application harmonique. On suppose que {{mvar|M}} a une courbure de Ricci strictement positive  et {{mvar|N}} une courbure sectionnelle négative.
* Si {{mvar|M}} et {{mvar|N}} sont fermées alors {{mvar|Φ}} est constante.
* Si {{mvar|N}} est fermée et {{mvar|Φ}} est d'énergie finie, alors c'est une constante.}}
En couplant ce résultat au théorème d'Eells et Sampson on obtient par exemple que, dans le cas de deux variétés fermées et sous ces hypothèses de courbure sur les deux variétés, toute application continue de {{mvar|M}} dans {{mvar|N}} est homotope à une constante.

La démarche générale consistant à déformer une application en une application harmonique, puis à établir que cette dernière obéit à des contraintes très fortes, s'est révélée très fructueuse. Ainsi en 1980, [[Yum-Tong Siu]] a donné une version de la formule de Bochner dans le cadre de l'[[analyse complexe]], prouvant qu'une application harmonique entre [[variété kählérienne|variétés de Kähler]] est nécessairement holomorphe, dès lors que la variété but a une certaine hypothèse de courbure négative<ref>Siu, Yum Tong. ''The complex-analyticity of harmonic maps and the strong rigidity of compact Kähler manifolds.'' Ann. of Math. (2) 112 (1980), no. 1, 73–111.</ref>. En employant le théorème d'existence de Eells et Sampson, il a ensuite établi que si les deux variétés sont en outre fermées, alors dès que {{mvar|M}} et {{mvar|N}} sont homotopes, elles sont en fait biholomorphes ou anti-biholomorphes (en faisant évoluer l'application d'homotopie selon le flot de la chaleur). Cela a permis à Siu de résoudre une variante de la [[conjecture de Hodge]] (toujours ouverte), limitée au contexte de la courbure négative.

Kevin Corlette, en 1992, a étendu la formule de Bochner établie par Siu, et l'a employée pour prouver des résultats de {{lien|trad=Superrigidity|super-rigidité}} pour certains réseaux de [[groupes de Lie]]<ref>Corlette, Kevin. ''Archimedean superrigidity and hyperbolic geometry.'' Ann. of Math. (2) 135 (1992), no. 1, 165–182.</ref>. [[Mikhael Gromov]] et Richard Schoen ont alors proposé une extension du concept d'application harmonique où la variété but {{math|(N,h)}} est remplacée par un [[espace métrique]]<ref>Gromov, Mikhail; Schoen, Richard. ''Harmonic maps into singular spaces and p-adic superrigidity for lattices in groups of rank one.'' Inst. Hautes Études Sci. Publ. Math. No. 76 (1992), 165–246.</ref>. Étendant à la fois le théorème de Eells et Sampson  et la formule de Bochner de Siu et Corlette, ils ont pu établir de nouveaux théorèmes de rigidité pour ces matrices.

== Les phénomènes de la dimension 2 ==

On pourrait espérer, à la lumière des résultats obtenus en suivant l'équation du flot de la chaleur, en étendre le résultat final, par d'autres procédés, issus par exemple du [[calcul des variations]], pour trouver une application harmonique réalisant le minimum de l'énergie dans chaque classe d'homotopie. La situation est en fait plus compliquée, mais elle est bien décrite lorsque la variété source est une [[surface de Riemann]] <math>\Sigma=M</math>, et fait apparaître un phénomène de « bulles », en fait des sphères minimales dans la variété but.

=== Applications harmoniques depuis une surface de Riemann ===

Pour justifier que la question posée en ces termes a bien un sens, il convient de noter que, bien qu'il existe sur {{math|Σ}} plusieurs métriques compatibles avec la structure de surface de Riemann, elles conduisent toutes à la même notion d'application harmonique et à la même valeur de l'énergie de Dirichlet<ref>{{harvsp|Jost|2002|loc={{p.|397-398}}}}</ref>. L'intérêt de faire intervenir cette structure est d'apporter une condition nécessaire simple pour que <math>\phi:\Sigma \to N</math> soit harmonique : dans ce cas,
:<math>\left(\frac{\partial \phi}{\partial z},\frac{\partial \phi}{\partial z}\right)_N \mathrm d z\otimes \mathrm d z</math>
est une expression holomorphe, section du carré tensoriel du complexifié de l'espace cotangent <math>T^\ast_\C \Sigma \otimes T^\ast_\C \Sigma</math>.

On peut établir que dans le cas de la sphère, une telle section est nécessairement nulle (comme conséquence du [[Théorème de Liouville (variable complexe)|théorème de Liouville]]), et en déduire que les seules applications harmoniques de la sphère dans {{math|N}} sont les paramétrages de [[surface minimale]]<ref>{{harvsp|Jost|2002|loc={{p.|401}}}}</ref>.

=== Le théorème de Sacks et Uhlenbeck ===

Plus qu'un simple exemple, le cas de la sphère minimale apparaît en fait comme le deuxième terme d'une alternative qui vient corriger l'espoir initial de trouver un minimum dans chaque classe d'homotopie, ainsi que le montre le résultat suivant 
{{Théorème|Théorème (Sacks et Uhlenbeck, 1981)|Soient {{math|Σ}} une surface de Riemann compacte, {{math|N}} une variété riemannienne compacte, et <math>\phi\in {\cal C}^0 \cap H^{1,2}(\Sigma,N)</math>. Alors
* soit il existe une application  <math>u:\Sigma\to N</math> harmonique et homotope à {{math|Φ}},
* soit il n'y en a pas et il existe une 2-sphère minimale <math>v:\mathbb S^2\to N</math>.}}
Une version de ce théorème a aussi été prouvée pour les surfaces de Riemann à bord<ref>{{harvsp|Jost|2002|loc={{p.|421}}}}</ref>. Dans le cas où la variété {{math|N}} a un deuxième [[groupe d'homotopie]] nul (<math>\pi_2(N)=0</math>), on arrive à réaliser l'objectif initial : pour toute application <math>\phi</math> ayant le même type de régularité que dans le théorème, il existe une application harmonique qui lui est homotope et minimise l'énergie dans la classe d'homotopie<ref>{{harvsp|Jost|2002|loc={{p.|409}}}}</ref>.

Ce résultat utilise des arguments techniques permettant de contrôler les grandeurs en jeu, comme l'énergie, à condition de travailler dans des espaces fonctionnels adéquats. Mais le point le plus notable est l'apparition de l'alternative et les informations concrètes que son étude apporte : elle est fondée sur le fait que pour une suite {{math|(u<sub>n</sub>)}} de fonctions harmoniques d'énergie bornée, on a 
* soit des dérivées uniformément bornées, et un argument d'[[équicontinuité]] permet d'obtenir le résultat de convergence vers une application harmonique
* soit une suite extraite pour laquelle les dérivées sont de norme <math>\lambda_n</math> de plus en plus grosse, auquel cas un argument de compacité permet de mettre en évidence un point {{math|z<sub>0</sub>}} en lequel ce phénomène d'explosion des dérivées se produit. Dès lors, on peut proposer un changement d'échelle pour l'application recentrée en ce point <math>v_n(w)=u_{\rho(n)}\left(z_0+\frac w {\lambda_n}\right)</math>. La suite {{math|(v<sub>n</sub>)}} reste à énergie bornée et c'est sur cette nouvelle suite que des théorèmes de convergence pourront s'appliquer, pour justifier qu'une suite extraite converge<ref>{{harvsp|Jost|2002|loc={{p.|419}}}}</ref>.

==Références==
{{TradRef|url=https://en.wikipedia.org/w/index.php?title=Harmonic_map&oldid=1013766641}}
{{Reflist}}
{{Refbegin}}
* Schoen, Richard; Yau, Shing Tung. ''Harmonic maps and the topology of stable hypersurfaces and manifolds with non-negative Ricci curvature.'' Comment. Math. Helv. 51 (1976), no. 3, 333–341.
* Hildebrandt, Stéfan; Kaul, Helmut; Widman, Kjell-Ove. ''An existence theorem for harmonic mappings of Riemannian manifolds.'' Acta Math. 138 (1977), no. 1-2, 1–16.
* Schoen, R.; Yau, Shing Tung. ''Existence of incompressible minimal surfaces and the topology of three-dimensional manifolds with nonnegative scalar curvature.'' Ann. of Math. (2) 110 (1979), no. 1, 127–142.
* Baird, P.; Eells, J. ''A conservation law for harmonic maps.'' Geometry Symposium, Utrecht 1980 (Utrecht, 1980), pp. 1–25, Lecture Notes in Math., 894, Springer, Berlin-New York, 1981. 
* Giaquinta, Mariano; Giusti, Enrico. ''On the regularity of the minima of variational integrals.'' Acta Math. 148 (1982), 31–46.
* Simon, Leon. ''Asymptotics for a class of nonlinear evolution equations, with applications to geometric problems.'' Ann. of Math. (2) 118 (1983), no. 3, 525–571.
* Schoen, Richard M. ''Analytic aspects of the harmonic map problem.'' Seminar on nonlinear partial differential equations (Berkeley, Calif., 1983), 321–358, Math. Sci. Res. Inst. Publ., 2, Springer, New York, 1984.
* Struwe, Michael. ''On the evolution of harmonic mappings of Riemannian surfaces.'' Comment. Math. Helv. 60 (1985), no. 4, 558–581.
* Brezis, Haïm; Coron, Jean-Michel; Lieb, Elliott H. ''Harmonic maps with defects.'' Comm. Math. Phys. 107 (1986), no. 4, 649–705.
* Struwe, Michael. ''On the evolution of harmonic maps in higher dimensions.'' J. Differential Geom. 28 (1988), no. 3, 485–502.
* Chen, Yun Mei; Struwe, Michael. ''Existence and partial regularity results for the heat flow for harmonic maps.'' Math. Z. 201 (1989), no. 1, 83–103.
* Evans, Lawrence C. ''Partial regularity for stationary harmonic maps into spheres.'' Arch. Rational Mech. Anal. 116 (1991), no. 2, 101–113.
* Hélein, Frédéric. ''Régularité des applications faiblement harmoniques entre une surface et une variété riemannienne.'' C. R. Acad. Sci. Paris Sér. I Math. 312 (1991), no. 8, 591–596. 
* Bethuel, Fabrice. ''On the singular set of stationary harmonic maps.'' Manuscripta Math. 78 (1993), no. 4, 417–443.
* Korevaar, Nicholas J.; Schoen, Richard M. ''Sobolev spaces and harmonic maps for metric space targets.'' Comm. Anal. Geom. 1 (1993), no. 3-4, 561–659.
* {{Article| nom=Jost | prénom=Jürgen | titre=Equilibrium maps between metric spaces | doi=10.1007/BF01191341 | mr=1385525 | année=1994 | journal=Calculus of Variations and Partial Differential Equations | issn=0944-2669 | volume=2 | numéro=2 | pages=173–204}}.
* Ding, Weiyue; Tian, Gang. ''Energy identity for a class of approximate harmonic maps from surfaces.'' Comm. Anal. Geom. 3 (1995), no. 3-4, 543–554.
* Dorfmeister, J.; Pedit, F.; Wu, H. ''Weierstrass type representation of harmonic maps into symmetric spaces.'' Comm. Anal. Geom. 6 (1998), no. 4, 633–668.
{{Refend}}

===Livres et articles de revue===
{{Refbegin}}
* Aubin, Thierry. ''Some nonlinear problems in Riemannian geometry.'' Springer Monographs in Mathematics. Springer-Verlag, Berlin, 1998. xviii+395 pp. {{ISBN|3-540-60752-8}}
* Eells, J.; Lemaire, L. ''A report on harmonic maps.'' Bull. London Math. Soc. 10 (1978), no. 1, 1–68.
* Eells, James; Lemaire, Luc. ''Selected topics in harmonic maps.'' CBMS Regional Conference Series in Mathematics, 50. Publié pour la Conference Board of the Mathematical Sciences, Washington, DC; par la American Mathematical Society, Providence, RI, 1983. v+85 pp. {{ISBN|0-8218-0700-5}}
* Eells, J.; Lemaire, L. ''Another report on harmonic maps.'' Bull. London Math. Soc. 20 (1988), no. 5, 385–524. [[doi:10.1112/blms/20.5.385]]
* Eells, James; Lemaire, Luc. ''Two reports on harmonic maps.'' World Scientific Publishing Co., Inc., River Edge, NJ, 1995. xii+216 pp. {{ISBN|981-02-1466-9}} [Publication des articles de Eells & Lemaire (1978, 1988) sous forme de livre]
* [[Mariano Giaquinta|Giaquinta, Mariano]]; Martinazzi, Luca. ''An introduction to the regularity theory for elliptic systems, harmonic maps and minimal graphs.'' Second edition. Appunti. Scuola Normale Superiore di Pisa (Nuova Serie), 11. Edizioni della Normale, Pisa, 2012. xiv+366 pp. {{ISBN|978-88-7642-442-7|978-88-7642-443-4}}
* Hélein, Frédéric. ''Harmonic maps, conservation laws and moving frames.'' Translated from the 1996 French original. With a foreword by James Eells. Second edition. Cambridge Tracts in Mathematics, 150. Cambridge University Press, Cambridge, 2002. xxvi+264 pp. {{ISBN|0-521-81160-0}}
* Jost, Jürgen. ''Nonpositive curvature: geometric and analytic aspects.'' Lectures in Mathematics ETH Zürich. Birkhäuser Verlag, Basel, 1997. viii+108 pp. {{ISBN|3-7643-5736-3}} 
* {{Jost2}}
* Schoen, R.; Yau, S.T. ''Lectures on harmonic maps.'' Conference Proceedings and Lecture Notes in Geometry and Topology, II. International Press, Cambridge, MA, 1997. vi+394 pp. {{ISBN|1-57146-002-0}}
* Simon, Leon. ''Theorems on regularity and singularity of energy minimizing maps.'' Based on lecture notes by Norbert Hungerbühler. Lectures in Mathematics ETH Zürich. Birkhäuser Verlag, Basel, 1996. viii+152 pp. {{ISBN|3-7643-5397-X}}
* Yau, Shing Tung. ''Survey on partial differential equations in differential geometry.'' Seminar on Differential Geometry, pp. 3–71, Ann. of Math. Stud., 102, Princeton Univ. Press, Princeton, N.J., 1982.
{{Refend}}

== Liens externes ==
* [http://mathworld.wolfram.com/HarmonicMap.html MathWorld: Harmonic map]
* [http://people.bath.ac.uk/masfeb/harmonic.html Harmonic Maps Bibliography]
* [http://www.matematik.lu.se/matematiklu/personal/sigma/harmonic/bibliography.html The Bibliography of Harmonic Morphisms]

{{Portail|Mathématiques}}

[[Catégorie:Application entre variétés riemanniennes]]
[[Catégorie:Fonction harmonique]]
[[Catégorie:Analyse globale]]