Formule De Steiner-Minkowski

Formule De Steiner-Minkowski

Formule de Steiner-Minkowski

Page d'aide sur l'homonymie Pour les articles homonymes, voir Steiner et Minkowski.

En géométrie, les formules de Steiner-Minkowski sont des relations traitant d'un 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 homéomorphe à la sphère et paramétrable par une fonction de classe C2 de la sphère dans l'espace euclidien.

La première formule indique que la frontière du compact est mesurable et que sa mesure est égale à la dérivée en 0 de la fonction de R+ dans lui même, qui à un scalaire ε associe le volume de C + ε.B. Ici, R+ désigne l'ensemble des nombres réels positif, B la boule unité et le signe + la somme de Minkowski. La mesure utilisée est celle de Lebesgue.

La deuxième formule indique que la mesure du volume de 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 n - 1 dimensionnel de Minkowski. Dans le cas où la frontière est paramétrable par une fonction de classe C2, 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 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ématiciens lithuanien Hermann Minkowski et suisse Jakob Steiner.

Sommaire

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 C1, une première définition de la mesure mf de cette frontière est la suivante :

m_f = \int_I \|f'(t)\| \mathrm dt

Cette définition se généralise bien, en dimension finie quelconque, si la frontière est l'ensemble d'arrivé d'un homéomorphisme φ de classe C1 de la sphère Sn-1. La mesure de la frontière s'exprime comme l'intégrale sur la sphère de la valeur absolue déterminant jacobien de la fonction φ :

m_f = \int_{\mathcal S_{n-1}} |\det D\varphi_{\sigma}| \mathrm d\sigma

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 C1. 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 Cp,K, si elle existe, définie par[1] :
C_{p,K} = \lim_{\epsilon \to 0} \frac {\mu (K + \epsilon \mathcal B)}{\mu (\epsilon\mathcal B_{n-p})}

Ici, μ désigne la mesure de Lebesgue, B la boule unité et Bn-p la boule unité d'un espace de dimension n - p.

Cette définition est bien cohérente avec les deux précédentes :

  • Soit C un convexe compact de E, un espace vectoriel de dimension n. Si la frontière F de C est l'ensemble d'arrivé d'un homéomorphisme φ de classe C1 de la sphère Sn-1, le contenu n-1-dimensionnel de Minkowski Cn-1,F de F vérifie l'égalité :
C_{n-1,F} = \int_{\mathcal S_{n-1}} |\det D\varphi_{\sigma}| \mathrm d\sigma
  • Soit C un convexe compact de E, un espace vectoriel de dimension 2. Si la frontière F de C est le support de l'ensemble d'arrivé d'un lacet simple, le contenu 1-dimensionnel de Minkowski de C1,F de F 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

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 K + ε.B s'exprime comme un polynôme de degré 2 en ε. Ici ε désigne un nombre réel positif suffisamment petit :
\exist \eta,\; \forall \epsilon \in [0,\eta[ \quad \mu(K + \epsilon\cdot \mathcal B) = \mu(K) + p\cdot \epsilon + q\cdot \epsilon^2\quad\text{avec}\quad p,q \in \mathbb R

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 arc rectifiable au sens de Jordan et si \scriptstyle L(\partial K) désigne la longueur de la frontière de K :
L(\partial K) = \lim_{\epsilon \to 0} \frac {\mu(K + \epsilon\cdot \mathcal B) - \mu(K)}{\epsilon}

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 à π. Si la frontière est un lacet simple, on trouve une démonstration au paragraphe Formalisme de l'article Longueur d'un arc.

Dimension quelconque

Enoncé de la formule

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

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

avec

\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\}

désignant la boule fermée de rayon δ > 0, et

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

est la somme de Minkowski de A et \overline{B_{\delta}}, d'où

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

Remarques

Mesure de la surface

Pour un ensemble "suffisamment irrégulier" A, la quantité \lambda (\partial A) ne correspond pas nécessairement à la mesure (n − 1)-dimensionnelle du bord \partial A de A. Voir Federer (1969) pour un traitement complet de ce problème.

Ensembles convexes

Quand l'ensemble A est convexe, la limite inférieure ci-dessus est une vraie limite et on peut montrer

\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},

λi est une fonction continue sur A et ωn désigne la mesure (ou volume) de la boulé unité de \mathbb{R}^{n}:

\omega_{n} = \frac{2 \pi^{n / 2}}{n \Gamma (n / 2)},

avec Γ désignant la fonction gamma.

Exemple : volume et surface d'une boule

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

\lambda (S_{R}) = \lim_{\delta \to 0} \frac{\mu \left( \overline{B_{R}} + \overline{B_{\delta}} \right) - \mu \left( \overline{B_{R}} \right)}{\delta}
= \lim_{\delta \to 0} \frac{[ (R + \delta)^{n} - R^{n} ] \omega_{n}}{\delta}
= nRn − 1ωn,

avec ωn défini ci-dessus.

Références

  1. On trouve cette définition dans : R. Osserman The isoperimetric inequality Bull. Amer. Math. Soc. Vol 84 (1978) p 1189
  2. Elle provient de l'article : A. Treibergs Inequalities that Imply the Isoperimetric Inequality University of Utah p 14

Sources

  • (en) Cet article est partiellement ou en totalité issu d’une traduction de l’article de Wikipédia en anglais intitulé « Minkowski-Steiner formula ».
  • (en) Dacorogna, Bernard, Introduction to the Calculus of Variations, Imperial College Press, London, 2004 
  • (en) Federer, Herbert, Geometric Measure Theory, Springer-Verlag, New-York, 1969 
  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Formule de Steiner-Minkowski ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Formule De Steiner-Minkowski de Wikipédia en français (auteurs)

Игры ⚽ Нужно решить контрольную?

Regardez d'autres dictionnaires:

  • Formule de steiner-minkowski — Pour les articles homonymes, voir Steiner et Minkowski. En géométrie, les formules de Steiner Minkowski sont des relations traitant d un compact C d un espace euclidien E. On ajoute en général une condition supplémentaire sur le compact,… …   Wikipédia en Français

  • Formule de Steiner-Minkowski — Pour les articles homonymes, voir Steiner et Minkowski. En géométrie, les formules de Steiner Minkowski sont des relations traitant d un compact C d un espace euclidien E. On ajoute en général une condition supplémentaire sur le compact,… …   Wikipédia en Français

  • Steiner — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Sommaire 1 Patronyme 2 Éducation 3 …   Wikipédia en Français

  • Minkowski — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Personnes Hermann Minkowski (1864 1909), mathématicien et physicien théoricien allemand ; Oskar Minkowski (1858 1931), médecin allemand, frère du… …   Wikipédia en Français

  • Somme de Minkowski — Pour les articles homonymes, voir Somme. En géométrie, la somme de Minkowski est une opération sur les parties d un espace vectoriel. À deux parties A et B elle associe leur ensemble somme, formé des sommes d éléments de A et de B. On note l… …   Wikipédia en Français

  • Somme de minkowski — En géométrie, la somme de Minkowski est une opération sur les parties d un espace euclidien. À deux parties A et B elle associe leur ensemble somme, formé des sommes d éléments de A et de B : La somme de deux compacts est compact, il est… …   Wikipédia en Français

  • Hermann Minkowski — Pour les articles homonymes, voir Minkowski. Hermann Minkowski Hermann Minkowski Naissance …   Wikipédia en Français

  • Jakob Steiner — Pour les articles homonymes, voir Steiner. Jakob Steiner Naissance 18 mars 1796 …   Wikipédia en Français

  • Theoreme isoperimetrique — 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 muni d une mesure. Un exemple simple est donné par les compacts d un plan euclidien. Les compacts concernés sont …   Wikipédia en Français

  • 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 muni d une mesure. Un exemple simple est donné par les compacts d un plan euclidien. Les compacts concernés sont ceux de mesures finies… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”