Voir la source de Formule de Steiner-Minkowski

{{Voir homonymes|Steiner|Minkowski}}
En [[géométrie]], les '''formules de Steiner-Minkowski''' sont des relations traitant d'un [[compacité (mathématiques)|compact]] ''C'' d'un [[espace euclidien]] ''E''. On ajoute en général une condition supplémentaire sur le compact, indiquant qu'il est soit convexe, soit de [[frontière (topologie)|frontière]] [[homéomorphisme|homéomorphe]] à la [[sphère]] et paramétrable par une fonction de classe ''C''{{exp|2}} de la sphère dans l'espace euclidien.

La première formule indique que la frontière du compact est [[tribu de Lebesgue|mesurable]] et que sa mesure est égale à la dérivée en 0 de la fonction de ''R''<sup>+</sup> dans lui-même, qui à un scalaire ε associe le volume de {{nobr|''C'' + ε''B''}}. Ici, ''R''<sup>+</sup> désigne l'ensemble des [[Nombre réel|nombres réels]] positif, ''B'' la [[boule (mathématiques)|boule]] unité et le signe + la [[somme de Minkowski]]. La mesure utilisée est celle de [[mesure de Lebesgue|Lebesgue]].

La deuxième formule indique que la mesure du volume de {{nobr|''C'' + ε''B''}} s'exprime comme un [[polynôme]] de degré la dimension de ''E'', si ε est suffisamment petit.

La mesure de la frontière utilisée correspond au contenu {{nobr|''n'' – 1}} dimensionnel de Minkowski. Dans le cas où la frontière est paramétrable par une fonction de classe ''C''{{exp|2}}, le contenu se confond avec la définition usuelle, c'est-à-dire celle obtenue avec la [[forme volume]] canonique. Dans le cas de la dimension 2, ce contenu, dans le cas où la frontière est convexe, se confond avec la [[longueur d'un arc|longueur de l'arc]] qu'est la frontière, au sens de Jordan.

Les formules de Steiner-Minkowski sont utilisées conjointement avec le [[théorème de Brunn-Minkowski]], pour prouver le [[théorème isopérimétrique]]. Elles ont été ainsi nommées en l'honneur des [[mathématicien]]s [[lituanie]]n [[Hermann Minkowski]] et [[suisse]] [[Jakob Steiner]].

== Contenu de Minkowski ==
Une des difficultés de la première formule de Steiner-Minkowski, sous sa forme générale, est le sens à donner au mot ''mesure'' de la frontière. Comme le montre l'article [[longueur d'un arc]], il existe différentes manières de définir cette mesure.

En dimension 2, si la frontière est le support d'un [[arc paramétré]] (''I'', ''f'') injectif [[presque partout]] et de classe ''C''{{exp|1}}, une première définition de la mesure ''m<sub>f</sub>'' de cette frontière est la suivante :
<center><math>m_f = \int_I \|f'(t)\| \mathrm dt</math></center>

Cette définition se généralise bien, en dimension finie quelconque, si la frontière est l'ensemble d'arrivée d'un homéomorphisme φ de classe ''C''{{exp|1}} de la sphère ''S''<sub>''n'' – 1</sub>. La mesure de la frontière s'exprime comme l'intégrale sur la sphère de la valeur absolue [[Matrice jacobienne|déterminant jacobien]] de la fonction  φ :
<center><math>m_f = \int_{ S_{n-1}} |\det D\varphi_{\sigma}| \mathrm d\sigma</math></center>

Dans le cas d'un convexe compact d'un espace dimension 2, la frontière est toujours le support d'un arc paramétrée injectif presque partout. En revanche, cet arc n'est pas nécessairement de classe ''C''{{exp|1}}. Ceci n'est guère gênant, la définition de Jordan donne un sens à la longueur de l'arc, correspondant à une mesure 1 dimensionnel dans un espace de dimension 2. Dans le cas d'une dimension quelconque, la définition de Jordan ne se généralise pas ''(cf l'article [[Longueur d'un arc]])''. Une autre définition prend le relai, celle du contenu n-1 dimensionnel de Minkowski.

:* Le '''contenu ''p''-dimensionnel de Minkowski''' d'un ensemble ''K'' d'un espace euclidien de dimension ''n'', si ''p'' est un entier plus petit que ''n'' est la limite <math>C_{p,K}</math>, si elle existe, définie par<ref>On trouve cette définition dans : R. Osserman ''[http://www.ams.org/bull/1978-84-06/S0002-9904-1978-14553-4/S0002-9904-1978-14553-4.pdf The isoperimetric inequality] Bull. Amer. Math. Soc. Vol 84 (1978) {{p.|1189}}</ref> :
<center><math>C_{p,K} = \lim_{\epsilon \to 0} \frac {\mu (K + \epsilon B)}{\mu (\epsilon B_{n-p})}</math></center>
Ici, μ désigne la mesure de Lebesgue, <math>B</math> la boule unité et <math>B_{n-p}</math> la boule unité d'un espace de dimension <math>n-p</math>.

Cette définition est bien cohérente avec les deux précédentes :
:* ''Soit <math>C</math> un convexe compact de <math>E</math>, un espace vectoriel de dimension <math>n</math>. Si la frontière <math>F</math> de <math>C</math> est l'ensemble d'arrivée d'un homéomorphisme φ de classe <math>C_{1}</math> de la sphère <math>S^{n-1}</math>, le contenu <math>(n-1)</math>-dimensionnel de Minkowski <math>C_{n-1,F}</math> de <math>F</math> vérifie l'égalité :
<center><math>C_{n-1,F} = \int_{ S_{n-1}} |\det D\varphi_{\sigma}| \mathrm d\sigma</math></center>

:* ''Soit <math>C</math> un convexe compact de <math>E</math>, un espace vectoriel de dimension ''2''. Si la frontière <math>F</math> de <math>C</math> est le support de l'ensemble d'arrivée d'un lacet simple, le contenu 1-dimensionnel de Minkowski de <math>C_{1,F}</math> de <math>F</math> est égal à la longueur du lacet simple au sens de Jordan.

Un lacet ([''a'', ''b''], ''f'') est un arc paramétré sur un segment [''a'', ''b''] tel que l'image de ''a'' soit égal à l'image de ''b'' par ''f''. Le lacet est dit simple si la restriction de ''f'' à [''a'', ''b''] est injective.

== Dimension 2 ==
[[Fichier:Somme de Minkowski (1).jpg|thumb|180px|Pour un polygone convexe, les formules de Steiner-Minkowski sont presque évidentes.]]
Dans ce paragraphe, ''K'' désigne un compact non vide de ''E'', un espace euclidien de dimension 2 et μ la [[mesure de Lebesgue]] de ''E''. En dimension 2, les preuves sont plus aisées. La '''première formule de Steiner-Minkowski''' s'énonce ainsi :
:* ''Si ''K'' est convexe ou si sa frontière est le support d'un lacet simple de Jordan, la mesure de {{nobr|''K'' + ε''B''}} s'exprime comme un polynôme de degré 2 en ε. Ici ε désigne un nombre réel positif suffisamment petit :''
<center><math>\exist \eta,\; \forall \epsilon \in [0,\eta[\quad \mu(K + \epsilon\cdot B) = \mu(K) + p\cdot \epsilon + q\cdot \epsilon^2\quad\text{avec}\quad p,q \in \mathbb R</math></center>

Dans le cas où ''K'' désigne un convexe, la valeur positive ε peut être choisie quelconque. La '''deuxième formule de Minkowski''' donne une expression du périmètre de ''K'' :

:* ''Si ''K'' est convexe ou si sa frontière est le support d'un lacet simple de Jordan, la frontière de ''K'' est le support d'un [[longueur d'un arc|arc rectifiable]] au sens de Jordan et si <math>\scriptstyle L(\partial K)</math> désigne la longueur de la frontière de ''K'' :
<center><math>L(\partial K) = \lim_{\epsilon \to 0} \frac {\mu(K + \epsilon\cdot B) - \mu(K)}{\epsilon}</math></center>

La deuxième formule de Minkowski indique que le coefficient ''p'' de la première formule est égal au périmètre de ''K''. Dans le cas d'un convexe, le coefficient ''q'' est égal à {{mathPi}}. Si la frontière est un lacet simple, on trouve une démonstration au paragraphe [[Longueur d'un arc#Formalisme|Formalisme]] de l'article [[Longueur d'un arc]].

{{Boîte déroulante/début|align=left|titre=Cas des convexes<ref>Elle provient de l'article : A. Treibergs ''[http://www.math.utah.edu/~treiberg/isoperim/isop.pdf Inequalities that Imply the Isoperimetric Inequality] University of Utah p 14</ref>}}
''C'' désigne un compact convexe dans cette démonstration. Dans un premier temps, on établit l'égalité de Steiner-Minkowski uniquement pour les polygones convexes.

::* '''Si ''P'' est un polygone d'aire égale à ''a<sub>P</sub>'' et de périmètre ''p<sub>P</sub>'' et si ε est un nombre réel positif :'''
<center><math>\mu(P + \epsilon\cdot B) = a_P + p_P\cdot \epsilon + \pi \cdot \epsilon^2</math></center>

:Dans le cas d'un polygone convexe, la deuxième formule de Steiner-Minkowski est presque évidente, elle est illustrée par la figure en haut à droite, pour le cas d'un hexagone. On peut décomposer l'aire en trois parties. La partie jaune correspond à l'aire ''a<sub>P</sub>'' du polygone. La partie bleue est l'accroissement de surface au-dessus d'une arête, pour chaque arête on obtient une surface rectangulaire d'aire la longueur de l'arête que multiplie ε. Comme la somme des longueurs des arêtes est égale à ''p<sub>P</sub>'', on trouve le terme ε''p<sub>P</sub>''. Enfin, à chaque sommet, on trouve une portion de disque de rayon ε, représentant un angle θ<sub>s</sub>. Comme parcourir le polygone revient à faire un tour complet, la somme des angles θ<sub>s</sub> est égal à 2π, ce qui montre que la somme des aires des portions de disque correspond à l'aire d'un disque complet, de rayon ε.

Dans le cas général, le terme ''p'', intervenant dans la formule à démontrer, désigne le périmètre du compact convexe ''C'', il est nécessaire de montrer qu'il est fini.

[[Fichier:Somme de Minkowski (2).jpg|right|200px]]
::* '''La frontière de ''C'' est [[longueur d'un arc|rectifiable]] :'''
:Si l'intérieur de ''C'' est vide, trois points quelconques de ''C'' sont alignés sinon la convexité montre que le triangle de sommets ces trois points est inclus dans ''C'' et est d'intérieur non vide. ''C'' est inclus dans une droite. Comme il est convexe et compact, sa géométrie est celle d'un segment et la proposition est évidente.

:Si l'intérieur de ''C'' est non vide, on considère un point ''O'' de cet intérieur. Cette configuration est illustrée sur la figure de droite. Comme ''C'' est compact, il existe un réel positif ''a'' tel que le disque de centre ''O'' et de rayon ''a'' contienne ''C''. On considère un cercle ''C''<sub>b</sub> de centre ''0'' et de rayon ''b'' strictement plus grand que ''a''. Ce cercle est illustré en rouge sur la figure. L'objectif est de montrer qu'un polygone ''P'' convexe dont les sommets sont des points de la frontière de ''C'' est de périmètre plus petit que 2{{mathPi}}.''b''. Le polygone ''P'' est illustré en bleu. Pour cela, on considère l'ensemble des segments d'extrémités le centre 0 et un point du cercle ''C''<sub>b</sub> frontière du disque, passant par un sommet de ''P''. Ils sont illustrés en vert sur la figure. Soit ''E'' l'ensemble des polygones convexes dont les sommets sont tous sur les segments précédemment décrits. Si ''s'' est le nombre de sommets de ''P'', on peut identifier ''E'' à une partie de [0, ''b'']<sup>''s''</sup>, sous ensemble de ''R<sup>s</sup>''. Cette identification permet de munir ''E'' de la [[topologie induite]] par celle de ''R<sup>s</sup>''. L'ensemble ''E'' est alors un compact et la fonction qui associe son périmètre à un convexe est continue, elle admet au moins un maximum.

:On va montrer qu'il n'existe qu'un unique maximum ''M'', correspondant au polygone illustré en rouge sur la figure et correspondant au point de coordonnées (''b'',..., ''b''). Pour cela on montre qu'un polygone ''P''<sub>c</sub> ayant au moins une coordonnée strictement inférieure à ''b'' ne peut être de périmètre maximal dans ''E''. Soit ''S''<sub>2</sub> ce sommet à une distance strictement inférieure à ''b'' de ''O'' et soit ''S''<sub>1</sub> et ''S''<sub>3</sub> les deux sommets précédents et suivant. Soit ''L''<sub>2</sub> le segment vert, contenant ''S''<sub>2</sub> et d'extrémité ''O'' et un point du cercle ''C''<sub>b</sub>. Comme les points de ''E'' correspondent à des convexes, le sommet ''S''<sub>2</sub> est dans la portion ''L''<sub>2c</sub> de ''L''<sub>2</sub> d'extrémités, l'intersection de ''L''<sub>2</sub> avec [''S''<sub>1</sub>, ''S''<sub>3</sub>], et un point du cercle. Tout polygone ayant même sommets que ''P''<sub>c</sub> à l'exception de ''S''<sub>2</sub>, remplacé par un point de ''L''<sub>2c</sub> est élément de ''E''. Parmi ces polygones, celui de plus grand périmètre est celui pour lequel ''S''<sub>2</sub> est remplacé par un point du cercle ''C''<sub>b</sub>. Le polygone ''P''<sub>c</sub> possède un périmètre strictement majoré, il n'est donc pas maximal. Le seul polygone de périmètre maximal possible est ''M'', comme par ailleurs, nous savons qu'il existe un polygone de périmètre maximal dans ''E'', il correspond nécessairement à ''M''.

:Le polygone ''P'' est de périmètre majoré par celui de ''M'', lui-même majoré par 2π.''b''. On en déduit que toute ligne polygonale approximant le convexe ''C'' est majoré par 2π.''b'', ce qui montre que la frontière est bien rectifiable.

On appelle ''p'' le périmètre de ''C'', qui est une grandeur finie d'après la démonstration précédente. On montre ensuite qu'il est possible d'approcher ''C'' par un polygone compact convexe. La lettre η désigne un réel strictement positif.

::* '''Il existe un polygone compact convexe ''P'' inclus dans ''C'', à une [[distance de Hausdorff]] inférieure à η de ''C'' et tel que les périmètres et les aires de ''C'' et de ''P'' diffèrent de moins de η :'''

:On choisit un polygone convexe dont les sommets sont des points de ''C'' et qui approxime le périmètre de ''C'' à η près. Quitte à ajouter des points, on choisit le polygone tel qu'aucune arête ne soit de longueur ''l'', supérieure à 1 ou à η/(''p'' + π). Ce polygone est noté ''P''. La surface ''P'' + ''l.B'' contient le convexe ''C'', la démonstration est proposée dans l'article [[Théorème isopérimétrique]] au paragraphe [[Théorème isopérimétrique#Polygone et Steiner|Polygone et Steiner]]. Ceci montre que la distance de Hausdorff entre ''P'' et ''C'' est inférieure à η. L'aire μ(''P'' + ''l.B'') est plus grande que celle de ''C'' car ''C'' est contenu dans ''P'' + ''l.B''. La formule de mesure d'une telle aire pour un polygone et le fait que le périmètre de ''P'' soit plus petit que celui de ''C'' montre que :
<center><math>\mu(P) \le \mu(C) \le \mu( P + l B) \le \mu (P) + p\cdot l + \pi \cdot l^2 \le \mu (P) + \eta</math></center>

La formule est maintenant établit pour les polygones et il existe un polygone proche de ''C'', à la fois en surface et en périmètre. Dans la démonstration suivante, ce polygone permet de montrer que la première formule de Steiner Minkowski est vraie aussi pour ''C''. Si la frontière est un lacet simple, on trouve une démonstration dans l'article [[Longueur d'un arc]].

::* '''La première formule de Steiner-Minkowski est vraie pour ''C'' :'''
:Soit (''P''<sub>n</sub>) une suite de polygones contenus dans ''C'' tel que la distance de Haudorff entre ''P''<sub>n</sub> et ''C'' soit inférieur à 1/''n'', et les périmètres et les aires de ''P''<sub>n</sub> et ''C'' diffèrent de moins de 1/''n''. Si on note ''a''<sub>p</sub> l'aire de ''P''<sub>n</sub> et ''p''<sub>p</sub> son périmètre, on dispose des majorations :
<center><math>\forall \epsilon \in \mathbb R_+ \quad \forall n \in \mathbb N^* \quad \mu (P_n + \epsilon B) = a_n + p_n\cdot \epsilon + \pi \cdot \epsilon^2 \le \mu (C + \epsilon B) \le \mu (P_n + (\epsilon + \frac 1n) B) =a_n + p_n\cdot \epsilon + \pi \cdot \epsilon^2 + \frac 1n\left(\epsilon + \frac {\epsilon^2}n\right)</math></center>

:On dispose ensuite des majorations, si ''a'' désigne l'aire de ''C'' :
<center><math>\forall n \in \mathbb N^* \quad a_n \le a \le a_n + \frac 1n \quad\text{et}\quad \quad p_n \le p \le p_n + \frac 1n </math></center>

:On en déduit :
<center><math>\forall \epsilon \in \mathbb R_+ \quad \forall n \in \mathbb N^* \quad a + p\cdot \epsilon + \pi \cdot \epsilon^2 -\frac 1n\left(1 + \epsilon\right) \le \mu (C + \epsilon B) \le a + p\cdot \epsilon + \pi \cdot \epsilon^2 + \frac 1n\left(1 + 2\epsilon + \frac {\epsilon^2}n\right)</math></center>

:Il suffit alors de faire tendre ''n'' vers plus l'infini pour conclure.

::* '''La deuxième formule de Steiner-Minkowski est vraie pour ''C'' :'''
:C'est une conséquence directe de la première formule de Minkowski et du fait que le coefficient de degré 1 est égal au périmètre de la frontière. 
{{Boîte déroulante/fin}}

==Dimension quelconque ==

== Énoncé de la formule ==

Soit <math>n \geq 2</math>, et <math>A \subsetneq \mathbb{R}^{n}</math> un ensemble compact. Soit <math>\mu (A)</math> la [[mesure de Lebesgue]] (volume) de <math>A</math>. On définit la quantité <math>\lambda (\partial A)</math> par la formule suivante ('''formule de Minkowski-Steiner'''):

:<math>\lambda (\partial A) := \liminf_{\delta \to 0} \frac{\mu \left( A + \overline{B_{\delta}} \right) - \mu (A)}{\delta},</math>

avec

:<math>\overline{B_{\delta}} := \left\{ x = (x_{1}, \dots, x_{n}) \in \mathbb{R}^{n} \left| | x | := \sqrt{x_{1}^{2} + \dots + x_{n}^{2}} \leq \delta \right. \right\}</math>

désignant la [[Boule (mathématiques)|boule fermée]] de [[Rayon (géométrie)|rayon]] <math>\delta > 0</math>, et

:<math>A + \overline{B_{\delta}} := \left\{ a + b \in \mathbb{R}^{n} \left| a \in A, b \in \overline{B_{\delta}} \right. \right\}</math>

est la [[somme de Minkowski]] de <math>A</math> et <math>\overline{B_{\delta}}</math>, d'où

:<math>A + \overline{B_{\delta}} = \left\{ x \in \mathbb{R}^{n} \left| | x - a | \leq \delta \mbox{ pour } a \in A \right. \right\}.</math>

== Remarques ==

=== Mesure de la surface ===

Pour un ensemble "suffisamment irrégulier" <math>A</math>, la quantité <math>\lambda (\partial A)</math> ne correspond pas nécessairement à la mesure <math>(n - 1)</math>-dimensionnelle du [[Frontière (topologie)|bord]] <math>\partial A</math> de <math>A</math>. Voir Federer (1969) pour un traitement complet de ce problème.

===Ensembles convexes===

Quand l'ensemble <math>A</math> est [[ensemble convexe|convexe]], la [[Limites inférieure et supérieure|limite inférieure]] ci-dessus est une vraie [[limite de suite|limite]] et on peut montrer

:<math>\mu \left( A + \overline{B_{\delta}} \right) = \mu (A) + \lambda (\partial A) \delta + \sum_{i = 2}^{n - 1} \lambda_{i} (A) \delta^{i} + \omega_{n} \delta^{n},</math>

où <math>\lambda_{i}</math> est une [[Continuité (mathématiques)|fonction continue]] sur <math>A</math> et <math>\omega_{n}</math> désigne la mesure (ou volume) de la [[Boule (mathématiques)|boulé unité]] de <math>\mathbb{R}^{n}</math>:

:<math>\omega_{n} = \frac{2 \pi^{n / 2}}{n \Gamma (n / 2)},</math>

avec <math>\Gamma</math> désignant la [[fonction gamma]].

==Exemple : volume et surface d'une boule==

Prenons <math>A = \overline{B_{R}}</math> qui donne la formule de l'aire de la [[sphère]] de rayon <math>R</math>, <math>S_{R} := \partial B_{R}</math>:

:<math>\lambda (S_{R}) = \lim_{\delta \to 0} \frac{\mu \left( \overline{B_{R}} + \overline{B_{\delta}} \right) - \mu \left( \overline{B_{R}} \right)}{\delta}</math>
::<math>= \lim_{\delta \to 0} \frac{[(R + \delta)^{n} - R^{n}] \omega_{n}}{\delta}</math>
::<math>= n R^{n - 1} \omega_{n},</math>

avec <math>\omega_{n}</math> défini ci-dessus.

==Références==
{{Références}}

==Sources==
{{Traduction/Référence|en|Minkowski-Steiner formula|86565509}}
* {{Ouvrage |langue=en |nom1=[[Bernard Dacorogna]] |titre=Introduction to the Calculus of Variations |éditeur=[[Imperial College Press]] |lieu=Londres |année=2004 |pages totales=228 |format livre=poche |isbn=978-1-86094-508-3 |lccn=2004056946 |lire en ligne=https://books.google.com/books?id=ca7DOqZcGJQC&printsec=frontcover}}
* {{Ouvrage |langue=en |prénom1=Herbert |nom1=Federer |lien auteur1=Herbert Federer |titre=Geometric Measure Theory |éditeur=Springer-Verlag |lieu=New-York |année=1969 }}

{{Portail|mathématiques}}

[[Catégorie:Calcul des variations]]
[[Catégorie:Théorème de géométrie|Steiner Minkowski]]
[[Catégorie:Théorie géométrique de la mesure]]