Théorème isopérimétrique

En géométrie, un théorème isopérimétrique traite d'une question concernant les compacts d'un espace métrique pourvu d'une mesure.



Catégories :

Courbe - Aire - Grandeur physique - Métrologie - Distance et longueur - Théorème de géométrie

Page(s) en rapport avec ce sujet :

  • Il s'avère que l'unique manière de démontrer rigoureusement l'inégalité isopérimétrique, c'est d'utiliser la théorie géométrique de la mesure, ... (source : toutsurlesbulles.free)
  • Dans Wikipédia, sous le titre "Démonstrations géométriques élémentaires" dans le paragraphe " Théorème isopérimétrique ", il est démontré... (source : les-mathematiques)

En géométrie, un théorème isopérimétrique traite d'une question concernant les compacts d'un espace métrique pourvu d'une mesure. Un exemple simple est donné par les compacts d'un plan euclidien. Les compacts concernés sont ceux de mesures finies ayant une frontière aussi de mesure finie. Dans l'exemple choisi, les compacts concernés sont ceux dont la frontière est une courbe rectifiable, c'est-à-dire principalement non fractale. Les mesures du compact et de sa frontière sont naturellement différentes, dans l'exemple choisi, la mesure du compact est celle d'une surface, celle de la frontière, une longueur.

Un théorème isopérimétrique caractérise les compacts ayant la mesure la plus grande envisageable pour une mesure de leur frontière fixée. Dans le plan euclidien en utilisant la mesure de Lebesgue, un théorème isopérimétrique indique qu'un tel compact est un disque. En dimension 3, toujours avec une géométrie euclidienne, une autre version du théorème indique que c'est une sphère. D'une manière plus générale, dans un espace euclidien de dimension n, pourvu de la mesure de Lebesgue, l'optimum est obtenu par une sphère, ce qui donne l'inégalité isopérimétrique suivante, si K est un compact et B la boule unité :

\frac{(\text{Vol}\,\partial K)ˆn}{(\text{Vol}\, K)ˆ{n-1}}
 \ge \frac{(  \text{Vol}\,\partial B) ˆn } { (\text{Vol}\, B) ˆ{n-1} }

Un autre exemple de résultat est obtenu si le choix de la mesure est celui du nombre de points d'un réseau inclus dans le solide K, et si les compacts choisis sont des polytopes convexes à sommets entiers. En dimension 2 si le réseau est Z2, on trouve le théorème de Pick, indiquant que la mesure du polytope P (c'est-à-dire le nombre de points de Z2 qu'il contient) est égale à sa surface plus la moitié des points que contient sa surface plus un.

Un théorème isopérimétrique est fréquemment complexe à établir. Même un cas simple, comme celui du plan euclidien pourvu de la mesure de Lebesgue, est assez technique à démontrer. Une des méthodes partielles de preuve, connue depuis la démonstration de Hurwitz en 1901 est d'utiliser un résultat d'analyse, issu de la théorie des séries de Fourier, connu sous le nom d'inégalité de Wirtinger. Le résultat reste partiel car il ne traite que des surfaces dont la frontière est une courbe de classe C1.

Les théorèmes isopérimétriques sont aujourd'hui l'objet d'une intense recherche en mathématiques, surtout en analyse fonctionnelle et en principe des probabilité, suite à leurs liens étroits avec les phénomènes de concentration de la mesure.

Une approche plus élémentaire est proposée dans l'article Isopérimétrie.

Fragments d'histoire

Prémisses

La connaissance de théorème isopérimétrique est ancienne, près de 3 000 ans[1]. Le résultat essentiel de l'époque est l'œuvre de Zénodore IIe siècle av. J. -C. qui démontre un résultat qu'on exprimerait désormais de la manière suivante : S'il existe un polygone à n côtés de surface maximale à périmètre donné, alors il est régulier[2]. Cette partie de l'histoire est traitée dans l'article Isopérimétrie. Les études des théorème isopérimétriques datant de l'antiquité se fonde exclusivement sur la géométrie du triangle. Ces méthodes, assez élémentaires, ne permettent pas d'aller bien plus loin. A titre d'exemple, démontrer l'existence d'une solution est hors de portée. Il faut attendre près de 2 000 ans pour que l'étude de cette question soit enrichie avec apports théoriques de nature différente.

Jacques Bernoulli (1654-1705) étudie la question pour répondre à des questions de mécanique statique et plus exactement s'intéresse à la forme que doit posséder une poutre pour offrir le maximum de résistance envisageable, la résolution d'une telle question débouche sur un théorème isopérimétrique, le demi-cercle est quelquefois la forme offrant la meilleure résistance. Si Bernoulli ne parvient pas à finaliser un résultat, il utilise de nouveaux outils issus du calcul différentiel. Le mariage de la géométrie et de l'analyse est promis à un grand avenir, même si un théorème isopérimétrique n'est pas encore accessible.

Le XIXe siècle est celui des progrès majeurs. La première avancée est le fruit du travail de Jakob Steiner (1796-1863) . Il montre que, si une solution existe, elle est obligatoirement unique et c'est le disque. Pour cela, il développe un outil, désormais nommé symétrisation de Steiner[3] et toujours utilisé pour établir des théorèmes d'isopérimétrie. Son idée majeure consiste à remarquer que, si on coupe une solution avec une droite en deux parties de surfaces identiques, il est envisageable de construire une nouvelle surface optimale avec la duplication d'une des deux parties. Sa démonstration est présentée dans l'article Isopérimétrie.

Calcul variationnel

Pour l'obtention d'une preuve complète, au moins en dimension 2, une difficulté majeure n'est toujours pas franchie, celle de la preuve de l'existence d'une solution. Les premiers éléments de réponse proviennent de la démarche initiée par Bernoulli. Une hypothèse supplémentaire, légèrement étrange, est supposée : la frontière de la surface est lisse. L'étrangeté provient du fait qu'une ondulation sur la surface a tendance à plus augmenter le périmètre que l'aire. Plus la courbe frontière est irrégulière, plus elle est loin de l'optimale, mais plus la démonstration devient complexe[4]. Karl Weierstrass (1815-1897) formalise le calcul des variations et établit les bases de l'analyse fonctionnelle. Cette approche consiste à étudier non pas une courbe spécifique, mais un ensemble de courbes qui fluctuent, par exemple avec un paramètre. En faisant varier ces courbes, on montre que le cercle est l'optimum recherché[5]. Au moins pour la dimension 2, une fois l'existence d'un optimum établi pour les surfaces à la frontière régulière, il n'est plus trop complexe de montrer le théorème général, on sait en effet approximer une courbe fermée continue par une autre continûment dérivable.

La généralisation aux dimensions supérieures est naturelle. Tout d'abord, on suppose l'existence d'une solution au théorème et on montre que cette solution est obligatoirement une sphère de dimension n. Le raisonnement est particulièrement physique, c'est celui qui détermine la forme d'une bulle de savon. L'équilibre de la bulle est le fruit de deux forces qui s'annulent : la pression due à l'aire enfermée dans la bulle et la tension superficielle de la surface. Un rapide calcul de variation montre que la courbure moyenne de la sphère est obligatoirement constante. En 1900, on sait que l'unique compact strictement convexe de courbure moyenne constante est une sphère[6]. Une fois toujours, la démonstration de l'existence d'une solution s'avère la partie délicate. Une première démonstration en dimension 3 est l'œuvre H. A. Schwarz en 1890[7]. [8]

Géométrie des convexes

Si la démarche fondée sur le calcul variationnel débouche, la généralisation à des dimensions supérieures n'est pas aisée. Une autre approche, issue de la théorie algébrique des nombres est finalement plus prometteuse. Hermann Minkowski (1864-1909) développe une approche géométrique qui l'amène à étudier le nombre de points à coordonnées entières que contiennent certains convexes, problème proche de l'isopérimétrie. La fonction qui associe à un convexe compact de Rn, le cardinal de son intersection avec le réseau Zn est une mesure. Le théorème de Minkowski, qui procède de cette logique, permet d'élucider de manière élégante la structure du groupe des classes d'idéaux. Une nouvelle structure géométrique est étudiée ; au lieu de considérer une géométrie euclidienne de dimension n, Minkowski étudie un ensemble dont les points sont des compacts convexes. Cet ensemble est pourvu d'une addition.

Felix Hausdorff (1868-1942) trouve une distance naturelle pour un espace légèrement plus vaste, celui des compacts. La topologie associée à cette distance est bien adaptée. Les fonctions volumes et surfaces, qui associent à un convexe compact sa mesure et la mesure de sa frontières sont continues. Il en est de même pour la somme de Minkwoski. Enfin, l'espace est complet mais aussi le sous-ensemble des convexes. Enfin les polytopes forment un ensemble dense.

En dimension 2, l'étude de la somme de Minkwoski et de la sphère de rayon t et de centre le vecteur nul avec un convexe compact donne l'expression polynomiale a + pt + πt2, où a sert à désigner l'aire du convexe et p son périmètre. Démontrer le théorème isopérimétrique en dimension 2 revient à montrer que p2 est plus grand que 4πa, ce qui revient à dire que l'expression polynomiale précédente admet des racines réelles, ce que fait Minkowski[9]. T. Bonnesen va plus loin, en 1921 il démontre que si r est le rayon d'un cercle inscrit et R le rayon d'un cercle circonscrit, on dispose de la majoration suivante[10] :

 pˆ2 - 4\pi a \ge \piˆ2(Rˆ2 -rˆ2) \;

C'est à dire, l'égalité ne peut avoir lieu que si le convexe est un disque. Cette démarche peut être généralisée aux dimensions supérieures. A. Aleksandrov et W. Fenchel utilisent cette démarche pour établir le théorème isopérimétrique général, pour les géométries euclidiennes et la mesure de Lebesgue[11] en 1937. [12]

Plan euclidien

Dans tout le paragraphe, S sert à désigner une surface fermée convexe d'un plan euclidien dont l'aire, noté a, est finie et strictement positive ; le périmètre l'est aussi et est noté p.

Dans le plan euclidien, le théorème isopérimétrique prend la forme suivante :

  • La surface S possède une aire supérieure à celle d'un disque de périmètre p. L'égalité entre les aires n'a lieu que si S est un disque.

Ce théorème est fréquemment exprimé sous une forme équivalente, dite inégalité isopérimétrique :

pˆ2 - 4\pi a \ge 0\;

Aucune hypothèse n'est indispensable sur la nature de la surface. Cependant, si elle n'est pas suffisamment régulière, le périmètre n'est pas fini, l'inégalité ne possède alors aucun intérêt.

Démonstrations géométriques élémentaires

En dimension 2, on dispose d'une propriété qui simplifie largement les choses :

  • Si une surface n'est pas convexe mais est d'aire et de périmètre fini, il existe une surface S de périmètre strictement plus petit et d'aire strictement plus grand.

Intuitivement, ce théorème est assez évident. L'enveloppe convexe de S possède une aire strictement plus grande et un périmètre strictement plus petit que S, si la totalité n'est pas convexe. Pour cette raison, il est pertinent de ne s'intéresser qu'aux surfaces convexes. Comme l'aire et le périmètre, s'ils existent, d'un convexe est le même que celui de son adhérence, se limiter aux convexes fermés ne réduit en rien la généralité des solutions trouvées. Enfin, comme toute surface de périmètre fini est bornée, si elle est fermée, elle est obligatoirement compacte (cf. l'article Topologie d'un espace vectoriel de dimension finie) .

L'article Isopérimétrie établit toujours deux résultats avec la géométrie du triangle :

  • Si un polygone à n sommets possède une aire maximale pour un périmètre donné, ce polygone est régulier.
  • Si une surface possède une aire maximale pour un périmètre donné, alors cette surface est celle d'un disque.

La partie plus complexe à établir est l'existence de telles surfaces.

Calcul des variations

Une première manière de simplifier la question est du supposer que la frontière est suffisamment régulière. En 1904, Hurwitz propose une démonstration spécifiquement élégante[13], qui se fonde sur l'inégalité de Wirtinger :

  • Soit une courbe fermée définie par une fonction f (t) = (x (t), y (t) ) périodique, continûment dérivable définissant une surface S. La majoration suivante est vérifiée, l'égalité n'ayant lieu que si la courbe définit un cercle.
pˆ2\geq 4\pi a\;

Le prix à payer contre l'élégance et la simplicité est le caractère partiel de la solution. L'existence d'une solution optimale est bien démontrée, mais seulement si la frontière est lisse. Or la frontière peut être quelconque. Bien entendu, si elle n'est pas finie, la formule est vraie mais possède peu d'intérêt. [14]

Polygone et Steiner

La fonction associe à un triangle de périmètre égal à 3, son aire.

Les démonstrations historiques ont toutes un chainon manquant. Elles montrent qu'une surface, polygonale ou quelconque, qui ne possède pas la bonne propriété : être régulier ou être un disque, n'est pas un optimum. Par contre, elle ne montre pas qu'un tel optimum existe. Une fois l'existence d'un tel optimum démontrée, on sait tandis qu'il est unique et on connait sa géométrie. Mais la démonstration de cette existence est l'élément qui bloque les démonstrations pendant de si nombreux siècles. Elle demande une compréhension d'un aspect alors mal maitrisé de la géométrie : la topologie.

Les preuves actuelles procèdent d'une démarche toujours inconnue à l'époque de Steiner. La géométrie étudiée n'est plus le plan euclidien, support de la surface étudiée, mais un univers où chaque point est une surface. Elle est illustrée sur la figure de gauche dans le cas spécifique des triangles. La fonction reconnue est celle qui, à un triangle de périmètre 3, associe son aire. Le triangle est représenté par deux paramètres, c la longueur d'une arête et φ l'angle entre deux arêtes dont celle de longueur c. Si l'angle est de mesure nulle ou égale à π, l'aire est nulle, il en est de même si c est égal à 0 ou à 3/2. La représentation graphique montre que le maximum est bien atteint. Dans ce cas spécifique, le sommet est le triangle décrit par le couple (1, π/3).

Dans le cas des polygones à n sommets, où n est un entier supérieur à 2, la configuration est assez simple. On identifie un polygone à un vecteur de R2n. La totalité des polygones devient une partie d'un espace vectoriel euclidien, cette fois-ci, de dimension 2n. La topologie d'un espace euclidien dispose d'une propriété correcte. Un théorème assure que les ensembles fermés et bornés sont des compacts. La fonction, qui à un polygone associe son aire est continue. Un des charmes des compacts est que toute fonction continue, définie sur un compact ainsi qu'à valeur dans R atteint ses limites. La configuration est analogue à celle de la figure de gauche. Ce qui permet d'établir le chainon manquant :

  • Il existe un polygone à n côtés et de périmètre p qui possède une aire maximale.

Pour le cas général, une démarche analogue à la précédente ne permet pas de conclure. En se limitant aux convexes compacts, la zone qui nous intéresse est bien un fermé borné, mais la dimension de l'espace est ici illimitée. Or si la dimension n'est pas finie, le théorème de Riesz montre qu'un fermé borné comme la boule unité n'est jamais compact. Qui plus est , la fonction périmètre n'est plus continue, on peut approcher de plus en plus exactement un disque de rayon 1 par des carrés de plus en plus petits, l'approximation garde un périmètre égal à 8 sans s'approcher de la valeur 2π, même si elle devient excellente.

En revanche, il est envisageable d'approcher exactement la frontière d'un convexe compact par un polygone de périmètre plus petit et de surface presque égale à celle du convexe. Cette propriété, et le fait d'avoir établi le théorème isopérimétrique pour les polygones, permet facilement de montrer qu'aucune surface de périmètre p ne peut posséder une aire supérieure à celle d'un disque de même périmètre. Le disque est ainsi un des optimums recherchés, et les travaux de Steiner montrent que cet optimum est unique.

  • Toute surface S possède une aire plus petite que celle du disque de même périmètre. L'égalité n'a lieu que si la surface S est elle aussi un disque.

Somme de Minkowski

Article détaillé : Somme de Minkowski.
Somme de Minkowski d'un hexagone de rayon 1 et de la boule unité

On pourrait croire que les deux démonstrations précédentes closent le débat du problème isopérimétrique du plan euclidien E. Il n'en est rien. La démarche d'Hurwitz n'apporte aucune information si la frontière n'est pas suffisamment lisse. Celle présentée au dernier paragraphe se généralise mal aux dimensions supérieures. A partir de la dimension 3, il ne faut plus espérer trouver des polyèdres convexes réguliers, toujours nommés solides de Platon approchant avec la précision voulue la sphère. Il n'existe que 5 solides de ce type.

Hausdorff et Minkowski développent une autre approche, fondée sur une géométrie légèrement différente. Ici, le terme de géométrie sert à désigner l'étude d'un ensemble pourvu d'une distance et d'une opération algébrique compatible. L'espace reconnu est celui des compacts non vides, la distance celle de Hausdorff et l'opération est la somme de Minkowski, dont la compatibilité avec la distance se traduit par la continuité de l'opération. La somme de Minkowski P + Q correspond à la totalité des sommes dont le premier membre est élément de P et le second de Q :

P + Q = \{x \in E\quad x = p + q \quad\text{avec}\quad p \in P \;\text{et}\; q \in Q\}

Si S sert à désigner un convexe compact non vide et t. B la boule fermée de centre le vecteur nul et de rayon t, l'aire de la somme S + t. B prend la forme suivante, connue sous le nom de formule de Steiner-Minkowski :[15]

A(S + t\mathcal B) = a + p\cdot t + \pi \cdot tˆ2 \;

Ici, a sert à désigner l'aire de S et p son périmètre. Cette somme est illustrée sur la figure de gauche dans le cas d'un hexagone. La somme correspond à la totalité des points du plan à une distance inférieure ou égale à t de S. Appliquer à l'hexagone jaune de la figure de gauche, on peut décomposer cette somme en trois régions. La première correspond à la figure d'origine S en jaune, la seconde aux points localisés sur un rectangle de côté une arête du polygone et de largeur t, correspondant aux 6 rectangles bleus. L'aire des surfaces bleues est égale à p. t. Enfin, à chaque sommet est associée une portion de disque de rayon t, en vert sur la figure. L'union de ces portions de disque forme un disque complet, d'où le dernier terme de la formule. La démonstration dans le cas non polygonal est donnée dans l'article détaillé.

La surface s'exprime comme un polynôme de degré 2, son discriminant est égal à p2 - 4π. a. On reconnait là le terme de l'inégalité isopérimétrique. Démontrer le théorème revient à dire que le discriminant n'est jamais négatif, ou encore que le polynôme admet au moins une racine. Ce résultat s'obtient directement comme une conséquence de l'inégalité de Brunn-Minkowski.

Inégalité de Bonnesen

L'opposé rayon du cercle inscrit mais aussi celui du cercle circonscrit se trouvent entre les racines du polynôme.

A y regarder de près, le paragraphe précédent propose bien une méthode généralisable pour montrer l'inégalité isopérimétrique, mais elle n'indique pas comment traiter le cas de l'égalité. Plus exactement, la démonstration n'indique pas que seul le cercle est la solution, partie complexe de la démonstration qui a bloqué tant de monde depuis l'Antiquité.

Il existe bien une preuve, donnée dans l'article isopérimétrie et fondée sur une symétrisation de Steiner. Elle est mal commode à généraliser en dimension quelconque. Bonnesen trouve une expression simple, en fonction d'un cercle inscrit et d'un circonscrit. Le cercle est dit inscrit dans un compact S s'il est inclus dans S et si son rayon r est maximal. Un cercle est dit circonscrit dans S s'il contient S et si son rayon R est minimal. L'inégalité de Bonnesen s'exprime de la manière suivante, si a est l'aire du compact et p son périmètre[16] :

pˆ2 - 4\pi a \ge \piˆ2(R - r)ˆ2\;

Ce résultat veut dire que le discriminant du polynôme du second degré, qui à t associe l'aire de la surface S + t. B admet deux racines différentes si un cercle inscrit possède un rayon strictement plus petit qu'un cercle circonscrit. C'est à dire, pour le l'égalité isopérimétrique ait lieu, il est indispensable que les deux rayons soient égaux, ce qui ne peut arriver que pour le cercle. Un autre résultat, légèrement plus fort indique que les deux valeurs -R et -r se situent entre les deux racines, comme illustré sur la figure de droite. De la même manière, on en déduit l'obligation de l'égalité entre R et r pour atteindre l'optimal.

Dimension supérieure

Enoncé

Une bulle de savon est une réponse naturelle au théorème isopérimétrique en dimension 3. La tension superficielle de la bulle possède une énergie potentielle minimale si sa surface l'est . L'équilibre statique est obtenu lorsque la surface est minimale pour enserrer la quantité d'air enfermée dans la membrane de savon. La sphère est l'unique surface réalisant cet optimum, d'où la forme de la bulle. En dimension trois, on dispose du théorème suivant :

  • Soit K un compact d'un plan euclidien de dimension 3 et dont la surface est mesurable. La boule de même surface que celle de la frontière de K possède un volume plus grand que celui de K. Si v est le volume de K et s sa surface, la majoration suivante, dite inégalité isopérimétrique est vérifiée :
36.\pi.vˆ2 - sˆ3\le 0

De manière plus générale, si μ sert à désigner la mesure de Lebesgue dans un espace euclidien de dimension n, μn-1 la mesure équivalente pour les sous-variétés de dimension n - 1 et si K est un compact mesurable de frontière aussi mesurable, alors :

\mu_{n-1} (\partial K)ˆn - nˆn \mu (K)ˆ{n-1} \mu(\mathcal B) \ge 0 \;

Ici, B sert à désigner la boule unité. Un rapide calcul sert à déduire de cette majoration les inégalités isopérimétriques pour n égal à 2 ou 3.

Difficultés

Un lampion peut posséder une surface plus grande que celle du cylindre qui le circonscrit.

Certaines démonstrations, établies en dimension 2, se généralisent facilement aux dimensions quelconques. C'est , par exemple, le cas pour la formule de Leibniz donnant l'expression d'un déterminant. Un résultat faisant appel à la topologie est fréquemment bien plus complexe à établir. Un exemple célèbre est celui de la conjecture de Poincaré. Si le résultat équivalent en dimension 2 est assez simple, en dimension 3 il s'avère redoutable à démontrer. Sans atteindre des extrêmes aussi techniques, démontrer le théorème isopérimétrique pour un espace euclidien de dimension quelconque est plus ardu qu'en dimension 2.

Une première difficulté, déjà citée, provient du fait qu'il n'existe pas de suite illimitée de polygones réguliers convexes à partir de la dimension 3. Cependant, un contournement est facilement imaginable.

La géométrie des convexes change. A partir de la dimension 3, une enveloppe convexe d'un compact n'est pas obligatoirement de frontière de mesure plus petite que la mesure de la frontière du compact. Un contre exemple est donné en dimension 3 par une variété analogue à la chambre à air d'un vélo. Son enveloppe convexe contient deux disques supplémentaires, dont l'aire peut être supérieure à celle de la moitié de la surface de la variété qui n'est pas à la frontière de l'enveloppe convexe.

Enfin, le sens à donner au mot mesure de la frontière n'est pas aussi simple à partir de la dimension 3, que dans le plan. Dans le plan, définir la longueur d'une courbe est aisé avec l'approche de Jordan, on considère la limite supérieure de la totalité des lignes polygonales sont les sommets sont ordonnés et localisés sur la courbe (cf l'article Longueur d'un arc) . A partir de la dimension 3, cette démarche n'est plus envisageable, il existe des suites de polyèdres dont les points sont tous sur la surface d'une portion de cylindre localisée entre deux plans parallèles dont la suite des surfaces diverge. Un exemple est donné sur la figure de droite. La notion de forme volume permet bien de définir une mesure n - 1 dimensionnelle pour la frontière du compact, elle suppose cependant que la frontière est suffisamment lisse, c'est-à-dire qu'elle définisse une variété de dimension n - 1 de classe C2.

Variété différentielle

Contenu de Minkowski

Le contenu 1 dimensionnel d'un lacet simple correspond à longueur de l'arc, au sens de Jordan.

Pour obtenir une définition générale de la mesure de la frontière du compact étudié dans un espace euclidien E de dimension n, Minkowski définit la notion de contenu k dimensionnel, ici k sert à désigner un entier plus petit que n. Soit D un compact fermé de E, son contenu k dimensionnel Mn-k (D) est le suivant[19] :

\mathcal M_{n-k} (D) = \liminf_{t \to 0} \frac {\mu (D + t\mathcal B_n)}{\mu(t\mathcal B_{n-k})}

Ici, Bp sert à désigner la boule unité d'un espace euclidien de dimension p. En toute rigueur, on devrait parler de contenu k dimensionnel inférieur. La figure de droite illustre le concept pour la frontière d'un compact. La partie supérieure de la fraction définissant le contenu correspond au volume d'un tube de section un disque de rayon t si la figure est en dimension 3. Si la frontière est une variété de classe C2, le volume du tube est égal à sa longueur que multiple la surface du disque de rayon t, si t n'est pas trop grand. Le rapport définissant le contenu est toujours égal à la longueur de la variété[20]

Dans le cas plus général d'une variété compacte de dimension k et de classe C2, le volume du tube s'exprime comme un polynôme de degré n - k dont le terme de plus petit degré est égal à la mesure de la variété. La mesure est alors définie avec la forme volume canonique. Ce résultat se conçoit bien intuitivement, l'intersection du tube en un point de la variété par l'espace affine orthogonal à la variété en ce point est une boule de dimension n - k et de rayon t. En première approximation, le volume du tube est le produit de la mesure de cette boule par celle de la variété.

Egalité isopérimétrique pour la boule

Le choix du contenu de Minkowski pour mesurer la frontière du compact reconnu est pertinent. On peut s'en rendre compte par l'étude de l'égalité isopérimétrique dans le cas d'une boule r. B de rayon r d'un espace euclidien E de dimension n. Sa mesure est égale à[21] :

\mu(r\mathcal B_n) = \omega_n rˆn \quad\text{avec}\quad \omega_{2p+1} = \frac {2ˆ{p+1}\piˆp}{1\cdot 3 \cdots (2p+1)}\;\text{et}\quad \omega_{2p} = \frac {\piˆ{p}}{p!}

Si la surface est désignée par la lettre S, on a :

\mathcal M_{n-1}(r\partial {\mathcal B_n}) = \lim_{t \to 0} \frac {\mu (r\partial {\mathcal B_n} + t\mathcal B_n)}{\mu(t\mathcal B_{1})} = \lim_{t \to 0} \frac {\mu \left((r+t) {\mathcal B_n} - (r-t) {\mathcal B_n}\right)}{2t}

La seconde égalité indique que le tube génèré par la surface Sn-1 se compose des points de la boule de rayon r + t qui ne sont pas éléments de la boule r - t. Ce volume se calcule aisément :

\mu \left((r+t) {\mathcal B_n} - (r-t) {\mathcal B_n}\right) = \omega_n\left((r+t)ˆn - (r-t)ˆn\right) = \omega_n \sum_{i=0}ˆn \binom ni (1 - (-1)ˆi)rˆ{n-i}tˆi = 2n\omega_n rˆ{n-1}t + \cdots

On en déduit :

\mathcal M_{n-1}(r\partial {\mathcal B_n}) = n\omega_n rˆ{n-1} = n \frac {\mu (r\mathcal B_n)}r\quad\text{et}\quad M_{n-1}(r\partial {\mathcal B_n})ˆn - nˆn\omega_n \mu(r\mathcal B_n)ˆ{n-1} = 0

Ce qui est bien l'égalité isopérimétrique.

Inégalité de Brunn-Minkowski

L'inégalité de Brunn-Minkowski permet facilement de démontrer l'inégalité isopérimétrique, dans le cas d'un compact non vide K. Appliquée à K ainsi qu'à t. B, on obtient :

\mu(K + t\mathcal B) \ge \left(\mu(K)ˆ{\frac 1n} + \omega_nˆ{\frac 1n} t\right)ˆn \ge \mu(K) + n\mu(K)ˆ{\frac {n-1}n} \omega_nˆ{\frac 1n} t

C'est à dire :

\frac {\mu(K + t\mathcal B) - \mu(K)}t \ge n\mu(K)ˆ{\frac {n-1}n} \omega_nˆ{\frac 1n}

Il suffit de remarquer que le terme de gauche admet pour limite inférieure le contenu n - 1 dimensionnel de la frontière de K. Ce résultat est connu sous le nom de formule de Steiner-Minkowski. On obtient :

\mathcal M_{n-1}(\partial K)ˆn \ge nˆn\omegaˆn \mu(K)ˆ{n-1}

Ce qui correspond bien à l'inégalité isopérimétrique. Aucune hypothèse n'a été faite sur la nature du compact K. [22]

Inégalité d'Alexandrov-Fenchel

La démonstration est à la fois simple et rapide, mais il manque l'unicité de la solution. Des hypothèses supplémentaires permettent une démonstration plus simple de cette unicité. Le cas général ne peut s'exprimer aisément ; pour s'en rendre compte, il suffit de considérer une boule dans laquelle on plante une aiguille illimitément fine. Il existe deux cas où le théorème isopérimétrique s'exprime facilement. Dans le cas des convexes compacts, ou dans le cas des variétés à bord de classe C2, l'unicité de l'optimum se démontre avec l'inégalité d'Alexandrov-Fenchel.

Voir aussi

Notes

  1. T. Heath A History of Greek Mathematics, Vol. 2 Dover Publications (1981) (ISBN 0486240746)
  2. P. Nahin When Least Is Best : How Mathematicians Discovered Many Clever Ways to Make Things as Small (or as Large) as Envisageable Princeton University Press p 47 (2007) (ISBN 0691130523)
  3. P. J. Nahin When Least Is Best : How Mathematicians Discovered Many Clever Ways to Make Things as Small (or as Large) as Envisageable Princeton University Press (2003) p 55-56 (ISBN 0691070784)
  4. Cette remarque est issue de : R. Osserman The isoperimetric inequality Bull. Amer. Math. Soc. Vol 84 (1978) p 1188
  5. F. Dress Quelques grands problèmes en mathématiques Bulletin de la société mathématiques de France T 115 (1987) p 43
  6. H. Liebmann Ueber die Verbiegung der geschlossenen Flächen positiver Krümmung Math. Ann. 53 (1900) p 81-112
  7. H. A. Schwarz Gesammelte Mathematische Abhandlung Springer-Verlag Berlin (1890) I Vol. 2 p 327
  8. La majeure partie des informations de ce paragraphe provient de : R. Osserman The isoperimetric inequality Bull. Amer. Math. Soc. Vol 84 (1978)
  9. H. MinkowskiGesammelte Abhandlungen Chelsea Pub Co 1967 (réédition de l'original de 1911) Vol 2 p 131-229 (ISBN 0828402086)
  10. Bonnesen T Sur un progrès de l'inégalité isopérimetrique du cercle et la démonstration d'une inégalité de Minkowski C. R. Acad. Sci. Paris 172 (1921) p 1087–1089
  11. W. Fenchel Inégalités quadratiques entre les volumesmixtes des corps convexes Comptes Rend. Acad. Sci. Paris 203 (1936), p. 647-650 et A. D. Alexandrov Neue Ungleichungen für die Mischvolumen konvexer Körper Dokl. Acad. Sci. URSS 14 (1937), p. 155-157
  12. Les deux derniers paragraphes proviennent principalement de : B. Teissier Volumes des corps convexes, géométrie et algèbre Institut de Mathématiques de Jussieu. Leçon donnée le jeudi 7 octobre 1999 Rédigée par C. Reydy
  13. A P Burton P Smith Isoperimetric inequalities and areas of projections in Rn Acta Mathematica Hungarica Vol 62, N° 3-4 (1993)
  14. On trouve une démonstration, par exemple à : A. Treibergs Inequalities that Imply the Isoperimetric Inequality University of Utah
  15. A. Treibergs Inequalities that Imply the Isoperimetric Inequality University of Utah
  16. B. Teissier Volumes des corps convexes, géométrie et algèbre Institut de Mathématiques de Jussieu. Leçon donnée le jeudi 7 octobre 1999 Rédigée par C. Reydy p 5
  17. T. Bonnesen Über eine Verschärfung der isoperimetrischen Ungleichheit des Kreises in der ebene und auf der Kugeloberfläche nebst einer Anwendung auf eineMinkowskischeUngleichheit für konvexe Körper Math. Annalen 84 (1921) p. 216-227
  18. H. Hadwiger Vorlesungen Über Inhalt, Oberfläche und Isoperimetrie Springer, Berlin (1957) p. 153
  19. On trouve cette définition dans : R. Osserman The isoperimetric inequality Bull. Amer. Math. Soc. Vol 84 (1978) p 1189
  20. Marcel Berger, Bernard Gostiaux, Géométrie différentielle : variétés, courbes et surfaces [détail des éditions] p 254
  21. Marcel Berger, Bernard Gostiaux, Géométrie différentielle : variétés, courbes et surfaces [détail des éditions] p 227
  22. Cette démonstration provient de : R. Osserman The isoperimetric inequality Bull. Amer. Math. Soc. Vol 84 (1978) p 1190

Références

Recherche sur Amazon (livres) :



Principaux mots-clés de cette page : surface - aire - dimension - convexes - compacts - périmètre - frontière - polygone - disque - isopérimétrique - points - théorème - rayon - mesure - démonstration - inégalité - cercle - supérieures - minkowski - droite - possède - figure - géométrie - courbe - solution - égalité - espace - plan - euclidien - dire -

Ce texte est issu de l'encyclopédie Wikipedia. Vous pouvez consulter sa version originale dans cette encyclopédie à l'adresse http://fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8me_isop%C3%A9rim%C3%A9trique.
Voir la liste des contributeurs.
La version présentée ici à été extraite depuis cette source le 11/11/2010.
Ce texte est disponible sous les termes de la licence de documentation libre GNU (GFDL).
La liste des définitions proposées en tête de page est une sélection parmi les résultats obtenus à l'aide de la commande "define:" de Google.
Cette page fait partie du projet Wikibis.
Accueil Recherche Aller au contenuDébut page
ContactContact ImprimerImprimer liens d'évitement et raccourcis clavierAccessibilité
Aller au menu