Voir la source de Surface minimale

{{Voir homonymes|Surface}}

En [[mathématiques]] et en [[physique]], une '''surface minimale''' est une [[Surface (géométrie)|surface]] minimisant son [[superficie|aire]] tout en réalisant une contrainte : un ensemble de points, ou le bord de la surface, est d'avance déterminé. Si un cerceau est retiré d'une bassine d'eau savonneuse, un disque de liquide reste fixé. Un souffle dessus déforme légèrement le disque en une [[calotte sphérique]]. Si l'étude fait appel à la [[mécanique des fluides]], le traitement mathématique utilise le langage des surfaces minimales. Usuellement, une définition oblige de préciser le contexte : quel est l'espace ambiant ? quel sens donner à la notion d'aire ? à la minimisation ?

En [[géométrie différentielle]] élémentaire, une surface minimale est une surface [[Fermé (topologie)|fermée]] et [[Partie bornée|bornée]] d'un [[espace affine]] réel euclidien de dimension 3 à bord régulier minimisant l'aire totale à contour fixé. La définition se généralise en géométrie différentielle : une surface minimale dans une [[variété riemannienne]] donnée est le plongement d'une variété compacte à bord minimisant le volume riemannien à bord fixé.

Intuitivement, une surface minimale est une surface dont l'aire ou le volume ne peut qu'augmenter lorsqu'on lui applique une perturbation suffisamment petite. Les surfaces minimales forment donc l'analogue en dimension supérieure des [[géodésique]]s (courbes dont la longueur ne peut qu'augmenter sous l'effet d'une perturbation assez petite et assez localisée).
[[Image:EnneperSurface.PNG|vignette|La [[surface d'Enneper]] est une surface non plongée de courbure nulle.]]
Décrire les surfaces minimales n'est pas un problème mathématique simple. La première approche est d'effectuer un [[calcul des variations]] sur l'aire ou le volume riemannien vu comme une fonctionnelle d'énergie. Cette méthode permet d'en décrire les points critiques : il s'agit des surfaces dont la [[courbure moyenne]] est nulle, ou des sous-variétés dont la courbure moyenne est nulle. Cette propriété est parfois présentée comme une définition des surfaces minimales. Les deux définitions (point critique ou véritable minimum) ne sont pas équivalentes.

Certaines surfaces minimales peuvent être matérialisées par des bulles de savon s'appuyant sur un contour, car le film de savon tend à minimiser son [[énergie]], donc sa [[superficie]]. Elles sont utilisées justement en ingénierie pour minimiser la surface de contact et donc par exemple les pertes d'énergie.

Une question connexe est celle de la surface d'aire minimale englobant un volume donné. Elle est traitée dans l'article « [[Isopérimétrie]] ».

== Histoire ==

En [[1744 en science|1744]], [[Leonhard Euler]] posait et résolvait le premier problème de surface minimale : trouver, entre toutes les surfaces passant par deux cercles parallèles, celle dont la surface était la plus petite. Il découvrit ainsi la [[caténoïde]]. En [[1755 en science|1755]], [[Joseph-Louis Lagrange|Lagrange]], alors âgé de {{nobr|19 ans}}, énonce l'[[équation d'Euler-Lagrange]] s'appliquant à une surface minimale s'appuyant sur un contour fermé (voir ci-dessous pour une preuve actualisée). En [[1776 en science|1776]], [[Jean-Baptiste Marie Meusnier de la Place|Meusnier]] déduit de l'équation différentielle de Lagrange que les [[courbure|courbures principales]] doivent être opposées, ce qui se traduit par une courbure moyenne nulle. Il découvre par la même occasion l'[[hélicoïde]].
[[Image:Deformation surfaces.svg|vignette|upright=2|Déformations de surfaces : surface convexe et surface de type selle.]]
Depuis lors, il est établi que les surfaces minimales de l'espace euclidien s'appuyant sur un contour donné ont une courbure moyenne nulle. Cette propriété traduit l'aspect local de la surface : pour qu'une déformation légère ne puisse qu'augmenter la surface, il faut qu'elle soit de type selle, comme l'illustre le schéma ci-contre. Lorsqu'on déforme une surface convexe (à gauche), donc de courbure moyenne non nulle, toutes les lignes de cette surface s'allongent ou rétrécissent en même temps (en rouge). En revanche, lorsqu'on déforme une surface de type selle, certaines de ces lignes de surface s'allongent alors que d'autres rétrécissent, selon la direction, illustrant le fait que la surface elle-même est de courbure moyenne nulle.

En [[1866 en science|1866]], [[Karl Weierstrass|Weierstrass]] démontre qu'une solution à l'équation d'Euler-Lagrange vérifie les [[équations de Cauchy-Riemann]] : une telle solution est donc une fonction [[holomorphe]]. En [[1873 en science|1873]], le physicien belge [[Joseph Plateau]] généralise une observation expérimentale faite à l'aide de films de savons : pour tout contour donné [[homéomorphe]] à un cercle, il existe une surface minimale, donc une solution à l'équation d'Euler-Lagrange. On appela par la suite « [[problème de Plateau]] » le fait de trouver cette solution.

Une recherche particulièrement active en géométrie différentielle se concentre sur les surfaces minimales depuis les années 1960<ref>Marcel Berger, {{p.|58}}.</ref>. Avant 1980, seuls six types de surfaces minimales de l'espace euclidien étaient connues : le plan, la caténoïde, l'hélicoïde, la [[surface d'Enneper]] et les deux types de [[surfaces de Scherk]]. Mais en [[1981 en science|1981]], {{Lien|langue=de|fr=William Meeks}}, se basant sur des travaux antérieurs de [[Celso José da Costa]], publia une nouvelle famille<ref>William H. Meeks, A survey of the geometric results in the classical theory of minimal surfaces, ''Bol. Soc. Brasil. Mat.'' '''12''', (1981), no.1, {{p.|29-86}}.</ref>, et bientôt suivirent des dizaines d'autres<ref>{{en}} {{Lien archive|url=http://www.msri.org/about/sgp/jim/geom/minimal/library/costa/index.html|titre={{Langue|en|The Costa-Hoffman-Meeks Surface Families}}|horodatage archive=20100707023953}}.</ref>. Ce sont les progrès de l'informatique qui rendirent possibles ces découvertes en multipliant la puissance de calcul des ordinateurs.

Il existe aujourd'hui plus d'une centaine de familles de surfaces minimales complètes. De nombreuses questions restent encore ouvertes notamment en dimension supérieure. La recherche actuelle vise à minimiser la courbure moyenne par une étude menée sur les flots<ref>{{en}} Klaus Ecker, « {{Langue|en|A local monotonicity formula for mean curvature flow}} », ''Ann. of Math.'' '''154''' (2001), {{Numéro|2}}, {{p.|503-525}}.</ref>.

== Exemples ==
[[Image:Helicoid.PNG|vignette|L'hélicoïde.]]
[[Image:Helicatenoid.gif|vignette|Transformation localement isométrique en tout point d'une caténoïde en hélicoïde.]]
* La [[caténoïde]] ;
* la [[gyroïde]] ;
* l'[[hélicoïde]] ;
* la {{Lien|langue=en|trad=Bour's minimal surface|fr=surface minimale de Bour}} ;
* la [[surface minimale de Catalan]] ;
* la [[surface de Costa]] ;
* la [[surface d'Enneper]] ;
* la {{Lien|langue=en|trad=Henneberg surface|fr=surface de Henneberg}} ;
* la [[surface d'Hoffman]] ;
* les [[surfaces de Scherk]] ;
* les {{Lien|langue=en|trad=Schwarz minimal surface|fr=Surface minimale de Schwarz|texte=surfaces minimales de Schwarz}} ;
* la [[trinoïde]].

La caténoïde et l'hélicoïde ont la propriété remarquable de pouvoir être déformées continûment l'une en l'autre, la déformation étant localement en tout point une isométrie. De plus, toutes les surfaces intermédiaires sont des surfaces minimales. Pour cela, on prend la paramétrisation suivante, où ''t'' est le paramètre de déformation, variant de 0 pour la caténoïde à <math>\frac{\pi}{2}</math> pour l'hélicoïde et (''u'',''v'') sont les paramètres décrivant la surface intermédiaire à ''t'' donné :
:<math>x = \frac{e^u \cos(v-t)}{2} + \frac{e^{-u} \cos(v+t)}{2} </math>
:<math>y = \frac{e^u \sin(v-t)}{2} + \frac{e^{-u} \sin(v+t)}{2} </math>
:<math>z = u\cos(t) + v\sin(t) </math>

La [[sphère]], qui possède une courbure moyenne constante non nulle, n'est pas une surface minimale au sens restrictif du terme. Elle vérifie cependant une autre propriété de minimisation : elle est la surface d'aire minimale enfermant un [[volume]] donné (voir l'article « [[Théorème isopérimétrique]] »).

== Propriétés mathématiques ==

=== Équation aux dérivées partielles ===
Une surface lisse de '''R'''<sup>3</sup> peut localement après changement de coordonnées (euclidiennes) être représentée comme le [[graphe d'une fonction]] réelle à deux variables ''u'' et ''v''. Plus précisément, la surface devient l'ensemble des points de coordonnées :
<center><math>\vec{M} = \begin{pmatrix}u \\ v \\ f(u,v) \end{pmatrix} </math>,</center>
et en utilisant les notations <math>\frac{ \partial f}{\partial u} = f_u</math> et <math>\frac{ \partial^2 f}{ \partial u^2} = f_{uu}</math>, l'équation locale d'Euler-Lagrange se réécrit :
<center><math>f_{uu}(1+f_v^2)- 2f_u f_v f_{uv} + f_{vv}(1+f_u^2) = 0.</math></center>

Cette équation donne une relation non évidente entre les dérivées partielles de ''f'' aux premier et second ordre : c'est un exemple d'équations aux dérivées partielles.

Exemples : La seule famille de solutions de la forme <math>z= f(v/u)</math> en est l'[[hélicoïde]]. La seule famille de solution de la forme <math>z= f(u) + g(v)</math> est une [[Surfaces de Scherk|surface de Scherk]].

* Même si cela peut paraître contre-intuitif, il n'y a pas unicité de solution au problème de Plateau. En d'autres termes, il n'existe pas toujours qu'une unique surface minimale s'appuyant sur un contour donné. Voici quelques éléments sur le nombre de surfaces minimales par contour :
** Si le contour est une [[courbe plane]], il ne borde qu'une surface minimale. De même s'il se projette simplement sur un plan suivant une courbe convexe (Rado, 1932) ;
** Un contour dont la courbure totale est inférieure à <math>4\pi</math> ne peut border qu'une surface minimale du type du disque ;
** Une courbe analytique ne peut border qu'un nombre fini de surfaces d'aire minimale.

=== Application de la théorie de Morse ===
La [[théorie de Morse]] se relève assez efficace pour compter les points critiques ; elle est célèbre pour avoir donné les [[inégalités de Morse]] qui permettent d'obtenir des estimations pour le nombre de points critiques d'une fonction définie sur un [[Compacité (mathématiques)|espace compact]] de dimension finie. Les surfaces de courbure nulle se présentent comme les points critiques de l'aire ou du volume. Il est tentant d'appliquer la théorie de Morse : cependant, les variations sur les surfaces impliquent nécessairement une étude en dimension infinie. La compacité ne peut plus être invoquée pour des raisons topologiques fondamentales<ref>Une variété de dimension infinie, quelle que soit la définition choisie, n'est pas localement compacte : de fait, elle ne peut pas l'être globalement.</ref>.

Toutefois, une théorie analogue est réalisable et fournit l'identité :
<center><math>(-1)^{Y_1} + (-1)^{Y_2} + ... + (-1)^{Y_n} = 1,</math></center>
où ''n'' est le nombre de surfaces minimales distinctes, et les <math>Y_n</math> des entiers, nombres caractéristiques associés à chaque surface minimale.

== Application à la physique ==
=== Capillarité ===
[[Image:Bulle_caténoïde.png|vignette|Une caténoïde réalisée avec un film de savon.]]
{{article détaillé|Capillarité}}
Dans certains cas, on peut matérialiser une surface minimale par un film de savon. En effet, un film de savon tend à minimiser son [[énergie potentielle]] ce qui revient à diminuer sa surface. Plus précisément, il obéit à l'équation de Laplace-Young :
<math>\Delta p =2\sigma\gamma \,</math>, où <math>\Delta p \,</math> désigne la différence de pression entre les deux faces de la surface, <math>\sigma \,</math> la [[tension superficielle]], caractéristique du liquide dont est constituée cette surface, et <math>\gamma \,</math> la courbure moyenne. Dans le cas d'un film de savon libre, la pression de l'air est la même de chaque côté, donc <math>\Delta p = 0\,</math>, par conséquent la courbure moyenne est nulle : on retrouve la définition mathématique de la surface minimale.

Cette représentation a toutefois d'intéressantes limites. En effet, ne peuvent être représentées de cette manière que des équilibres stables de l'énergie potentielle. Imaginons un contour en forme de « [[Pringles|chips]] ». Trois surfaces minimales peuvent s'appuyer sur ce contour, mais seules deux correspondent à des films de savons : la troisième est un équilibre instable, un film de savon « fantôme », c'est le cas correspondant par exemple à une [[surface d'Enneper]].

=== Coût des matériaux ===

[[Image:Olympiastadion_Muenchen.jpg|vignette|Stade Olympique de Munich.]]

En architecture, l'utilisation de surfaces minimales permet à la fois de minimiser la quantité de matériaux utilisés et de mieux gérer les contraintes physiques en mimant un film de savon sur une armature. Un exemple frappant en est le [[stade olympique de Munich]], qui date de 1972.

== Notes et références ==
{{références}}

== Bibliographie ==
{{autres projets|Commons=Category:Minimal surfaces}}
* {{Berger1}}
* {{GallotHulinLafontaine}}
* {{GennesBrochardWyartQuéré-2002}}

{{Portail|géométrie}}

[[Catégorie:Surface minimale| ]]
[[Catégorie:Étude métrique des surfaces]]