text:
# Volume et courbure totale pour les hypersurfaces de l’espace euclidien

## Introduction

Une immersion isométrique d’hypersurface $`\phi :M^nE^{n+1}`$ de classe $`C^2`$ est localement rigide en dehors du lieu des points de courbure nulle et on s’attend à ce que les propriétés métriques de $`M`$ déterminent de nombreuses propriétés de $`\phi `$. Il y a pourtant peu de résultats quantitatifs qui estiment des caractéristiques extrinséques en termes d’objets intrinséques et qui soient valables en toute dimension (voir \[BZ\] pour plus de références).

Le résultat qui est à la source du présent travail est une inégalité de Burago \[BZ\] §6.2 en dimension $`n=2`$. Si $`T(M)=_M|K|𝑑V`$ désigne la courbure totale de l’immersion, $`R`$ est le rayon d’une boule contenant $`\phi (M)`$ et $`A(M)`$ désigne l’aire de $`M`$ alors

$$A(M)R^2T(M)$$
(1)
avec égalité uniquement pour le plongement isométrique standard de la sphère de rayon $`R`$. Nous nous sommes posés la question s’il y a un analogue de (1) en dimension supérieure. La réponse est négative pour ce qui est d’une inégalité globale du type

$$\text{vol}(M)C_nR^nT(M)$$
(2)
Néanmoins, nous obtenons des inégalités à caractère isopérimétrique semi-local faisant intervenir la courbure totale d’un ouvert sur lequel l’application de Gauss est non-dégénérée et exhibant le lieu des points de courbure nulle comme une obstruction à l’existence d’inégalités globales.

L’article est structuré comme suit. Nous présentons dans la section 1 un exemple explicite qui prouve la non-existence d’analogues de (1) en dimension supérieure. La section 2 développe des formules intégrales concernant les polynômes symétriques des courbures principales et la fonction support de l’immersion. Elles généralisent celles déjà obtenues par Minkowski et Kubota dans le cas convexe \[BF\], p.64 et par Hsiung \[H\] dans le cas non-convexe. Elles sont utilisées d’une part pour donner des conditions intrinséques suffisantes pour l’inégalité globale en dimension $`n=3`$ et d’autre part pour raffiner par la suite l’inégalité semi-locale. Nous obtenons notamment la

###### Proposition 1.

Soit $`\phi :M^3^4`$ une immersion isométrique de classe $`C^2`$ avec $`M`$ une variété riemannienne lisse compacte sans bord. On suppose que $`\phi (M)B^4(0,R)`$. Si $`M`$ vérifie $`Ric\alpha /R^2`$ avec $`0<\alpha <6`$ alors

$$\text{vol}(M)<\frac{6}{6\alpha }R^3T(M)$$

Il serait bien-sur intéressant de trouver des contre-exemples à l’inégalité (2) satisfaisant $`Ric6/R^2ϵ`$. Dans la section 3 nous obtenons des inégalités à caractère semi-local. On utilise une méthode d’estimation a-priori pour les équations de Monge-Ampère réelles développée par Rauch et Taylor \[RT\] et reprise par Aubin \[Au\]. L’opérateur de type Monge-Ampère qui apparait naturellement dans notre contexte est $`fdet(H_f+f\text{Id})`$ agissant sur les fonctions définies sur $`𝕊^n`$. Ceci suggère une relation - qui nous reste pour l’instant cachée - avec la théorie spectrale du laplacien sur $`𝕊^n`$. Notre résultat principal est le

###### Théorème 1.

On suppose que $`MB^{n+1}(0,R)E^{n+1}`$. Soit $`UM`$ un ouvert sur lequel l’application de Gauss est non-dégénérée. Il existe une constante $`C_n`$ qui dépend uniquement de la dimension telle que, si $`KU`$ est un compact, on ait

$$\text{vol}(K)C_nR^n\frac{1}{\left(d_{𝕊^n}(K,U)\right)^n}T(U)$$
(3)
et

$$\text{vol}(K)C_nR^n\frac{1}{\left(d_{𝕊^n}(K,U)\right)^{n1}}T(U)+\frac{R}{n}\text{vol}(K)$$
(4)
$`T(U)=_U|K|𝑑V`$ désigne la courbure totale de $`U`$ et $`d_{𝕊^n}(K,U)`$ est la distance sphérique locale entre $`K`$ et $`U`$ (voir la définition 1).

Le terme $`d_{𝕊^n}(K,U)`$ tend vers zéro lorsque $`U`$ approche $`K`$. Cela fait que l’estimation (4) est d’autant meilleure que le compact $`K`$ est situé à une grande distance du lieu des points de courbure nulle. C’est dans ce sens qu’on interprète le lieu des points de courbure nulle comme une obstruction à l’inégalité globale. L’obtention de (4) à partir de (3) à l’aide des formules intégrales globales de type Minkowski occupe la section 3.6. L’optimalité de l’inégalité (4) est discutée dans la section 4 et l’article clôt sur une inégalité isopérimétrique inverse traitée dans l’appendice.

Remerciements. Ce travail constitue la première partie de ma thèse. Il a été préparé sous la direction bienveillante et inspirée de Claude Viterbo, qui saura trouver ici l’expression de ma gratitude. J’ai profité de remarques, suggestions et patience d’écoute de la part de Jérôme Bertrand, Charles Boubel, Emmanuel Ferrand, Paul Gauduchon, Taoufik Hmidi, Jean Lannes, Christophe Margerin, Nicolae Mihalache, Liviu Ornea, Ferit Oztürk, Pierre Pansu, Jean-Marc Schlenker et Costin Vâlcu. Je leur suis reconnaissant.

## 1 Un contre-exemple en dimension $`n3`$

Nous construisons pour tout $`n3`$ une suite $`(M_k^n)_{_{k1}}`$ d’hypersurfaces compactes plongées dans $`^{n+1}`$, difféomorphes à $`𝕊^n`$ et de diamètre extérieur borné, telles que

$$\frac{\text{vol}(M_k^n)}{T(M_k^n)}\stackrel{k}{}\mathrm{}$$

$`T(M)=_M|K|𝑑V`$ désigne la courbure totale de $`M`$ et $`K=k_1k_2\mathrm{}k_n`$ est la courbure de Gauss-Kronecker, égale au produit des courbures principales de $`M`$. La courbure totale mesure avec multiplicités le volume recouvert sur $`𝕊^n`$ par l’application de Gauss définie sur $`M`$.

L’exemple prouve que l’inégalité (2) ne peut être vérifiée telle quelle en dimension au moins $`3`$: tout ce que l’on peut espérer de mieux est d’exhiber des classes de variétés intéressantes d’un point de vue géométrique qui la satisfont. Ceci justifie en particulier la proposition 1. La construction que nous présentons nous a été suggérée par Jean-Marc Schlenker.

Soit

$$\chi :$$

une fonction $`C^{\mathrm{}}`$ telle que $`\text{supp }\chi [4\pi \mathrm{,4}\pi ]`$, $`0\chi 1`$, $`\chi 1`$ sur $`[2\pi \mathrm{,2}\pi ]`$ et $`|\chi ^{}|1`$. Nous définissons aussi

$$\psi :^n$$

$$\psi (x_1,\mathrm{},x_n)=\chi (x_1)\mathrm{}\chi (x_n)$$

et on a $`|\frac{\psi }{x_i}|1`$, $`\text{supp }\psi [4\pi \mathrm{,4}\pi ]^n`$, $`\psi 1`$ sur $`[2\pi \mathrm{,2}\pi ]^n`$ et $`0\psi 1`$.

Considérons la fonction

$$F_k:^n,k^{}\mathrm{,\; 0}<\alpha <1$$

$$F_k(x)=\frac{\mathrm{sin}kx_1}{k^\alpha }\psi (x)$$

Nous définissons une hypersurface $`M_k`$ dans $`^{n+1}`$ en tronquant le graphe de $`F_k`$ au delà de $`|x_i|=4\pi `$ et en le refermant de façon lisse par une demi-sphère. Pour tout $`k`$, l’hypersurface $`M_k`$ est contenue dans la boule de rayon $`8\pi `$.

Prouvons que la famille $`M_k`$ fournit un contre-exemple à la conjecture, c’est-à-dire

$$\underset{k\mathrm{}}{lim}\frac{\text{vol}(M_k)}{T(M_k)}\mathrm{}$$

Tous les équivalents qui suivent seront considérés pour $`k\mathrm{}`$. Montrons d’abord que $`\text{vol}(M_k)k^{1\alpha }`$. On a

$$\frac{F_k}{x_1}=k^{1\alpha }\mathrm{cos}kx_1\psi (x)+k^\alpha \mathrm{sin}kx_1\frac{\psi }{x_1}$$

$$\frac{F_k}{x_i}=k^\alpha \mathrm{sin}kx_1\frac{\psi }{x_i}\mathrm{,\; 2}in$$

et ceci entraîne

$$\text{vol}(\text{graph}(F_{k}^{}{}_{|_{[4\pi \mathrm{,4}\pi ]^n}}{}^{}))=_{[4\pi \mathrm{,4}\pi ]^n}\sqrt{1+|dF_k|^2}𝑑Vk^{1\alpha }_{2\pi }^{2\pi }|\mathrm{cos}kx_1|𝑑x_1k^{1\alpha }$$

d’où $`\text{vol}(M_k)k^{1\alpha }`$.

D’un autre côté, la normale unitaire au graphe de $`F_k`$ est $`\nu =\frac{1}{\sqrt{1+|dF_k|^2}}(\frac{F_k}{x_1},\mathrm{},\frac{F_k}{x_n},1)`$ et son image est contenue dans un tube autour du grand cercle déterminé sur $`𝕊^n`$ par le plan $`x_{n+1}Ox_1`$. Le rayon de ce tube est équivalent à $`\mathrm{max}_{2in}|\frac{F_k}{x_i}|k^\alpha `$. Puisque chaque point en dehors du grand cercle est touché au plus $`k`$ fois on déduit

$$T(M_k)Ck(k^\alpha )^{n1}=Ck^{1(n1)\alpha }$$

$`C`$ est une constante qui ne dépend que de $`n`$.

Pour une autre constante $`C^{}`$ on aura

$$\frac{\text{vol}(M_k)}{T(M_k)}C^{}k^{(n2)\alpha }\stackrel{k\mathrm{}}{}\mathrm{}$$

et ceci montre la validité de la construction.

Il est intéressant de remarquer l’apparition de l’exposant $`n2`$. Ceci est à relier au fait que l’inégalité (2) est valable en dimension $`1n2`$.

## 2 Formules intégrales

Nous présentons des généralisations des formules intégrales de Minkowski \[BF, H\] qui impliquent la fonction support d’une immersion et les polynomes symétriques en les courbures principales. On récupère la preuve \[BZ\] de (1), une preuve simple de (2) en dimension $`n=1`$ ou lorsque $`M`$ est le bord d’un convexe (théorème d’Archimède), ainsi que des conditions suffisantes en dimension $`n=3`$.

### 2.1 Notations

Nous allons adopter un point de vue intrinséque: l’hypersurface sera représentée par une immmersion isométrique $`\phi :M^n^{n+1}`$, où $`M^n`$ est une variété riemannienne fermée orientée de dimension $`n`$. Soit $`\nu :M^{n+1}`$ le champ normal unitaire sur $`(M,\phi )`$ et, suivant \[BZ\], mettons

$$p=<\phi ,\nu >,q=|\phi <\phi ,\nu >\nu |$$

La fonction $`p`$ est appelée “fonction support” de $`(M,\phi )`$ et $`q`$ est la longueur de la composante de $`\phi `$ tangente à $`\phi (M)`$. Elles vérifient

$$p^2+q^2=|\phi |^2$$

Pour des vecteurs $`u_1,\mathrm{},u_{n+1}^{n+1}`$, on note $`(u_1,\mathrm{},u_{n+1})`$ le volume du parallélipipède orienté qu’ils déterminent. Pour des fonctions sur $`M`$ à valeurs vectorielles $`u_1,\mathrm{},u_kC^{\mathrm{}}(M,^{n+1})`$ et des $`1`$-formes sur $`M`$ à coefficients vectoriels $`\alpha ^{k+1},\mathrm{},\alpha ^{n+1}\mathrm{\Omega }^1(M,^{n+1})`$, où $`\alpha ^j=_1^n\alpha _i^jdy^i`$ et $`\{y^i\}`$ est un système local de coordonnées sur $`M`$, on définit la $`nk+1`$-forme sur $`M`$

$$(u_1,\mathrm{},u_k,\alpha ^{k+1},\mathrm{},\alpha ^{n+1})=\underset{i_k,\mathrm{},i_{n+1}}{}(u_1,\mathrm{},u_k,\alpha _{i_{k+1}}^{k+1},\mathrm{},\alpha _{i_{n+1}}^{n+1})dy^{i_{k+1}}\mathrm{}dy^{i_{n+1}}$$

Dans l’expression ci-dessus, l’interversion de deux vecteurs ou d’un vecteur et d’une $`1`$-forme change le signe. Par contre, l’interversion de deux $`1`$-formes ne change pas le signe.

Si $`k_1,\mathrm{},k_n`$ sont les courbures principales de $`M`$, on note

$$S_k=\underset{i_1<\mathrm{}<i_k}{}k_{i_1}\mathrm{}k_{i_k},1kn$$

le $`k`$-ième polynôme symétrique élémentaire en les courbures principales. On pose $`S_0=1`$. On a $`S_k=\stackrel{~}{S}_k/k!`$ avec

$$\stackrel{~}{S}_k=\underset{i_1,\mathrm{},i_k\text{distincts}}{}k_{i_1}\mathrm{}k_{i_k},1kn$$

Posons aussi

$$S_k^i=k_i\left(\underset{i_1<\mathrm{}<i_{k1}:i_ji}{}k_{i_1}\mathrm{}k_{i_{k1}}\right)=k_iS_{k1}(k_1,\mathrm{},\widehat{k}_i,\mathrm{},k_n)$$

On remarque $`S_2^i=\text{Ric}(e_i,e_i)`$, avec $`e_i`$ la direction de courbure correspondant à $`k_i`$.

### 2.2 Formules de Minkowski généralisées

###### Proposition 2.

L’identité intégrale suivante est vérifiée sur $`M`$

$$(nk+1)_Mp^{l1}S_{k1}dV=k_Mp^lS_kdV(l1)_Mp^{l2}(\underset{i=1}{\overset{n}{}}S_k^i<\phi ,e_i>^2)dV$$
(5)
$`1kn,l1`$

où les $`e_i`$ désignent les directions de courbure sur $`M`$.

Démonstration. . Nous allons calculer pour $`1kn`$ et $`l1`$ la différentielle extérieure

$`d\left(p^{l1}(\phi ,\nu ,\underset{k1}{\underset{}{d\nu ,\mathrm{},d\nu }},\underset{nk}{\underset{}{d\phi ,\mathrm{},d\phi }})\right)`$ $`=`$ $`(l1)p^{l2}dp(\phi ,\nu ,\underset{k1}{\underset{}{d\nu ,\mathrm{},d\nu }},\underset{nk}{\underset{}{d\phi ,\mathrm{},d\phi }})`$
$`p^{l1}(\nu ,\underset{k1}{\underset{}{d\nu ,\mathrm{},d\nu }},\underset{nk+1}{\underset{}{d\phi ,\mathrm{},d\phi }})+`$
$`+p^{l1}(\phi ,\underset{k}{\underset{}{d\nu ,\mathrm{},d\nu }},\underset{nk}{\underset{}{d\phi ,\mathrm{},d\phi }})`$
Autour de tout point $`xM`$ on peut choisir un système de coordonnées $`\{y^i\}`$ tel que, au point $`x`$, les $`\{\frac{}{y^i}\}_{i=1\mathrm{}n}`$ forment une base orthonormée et orientée avec $`e_i=\phi _{}\frac{}{y^i}`$ des directions de courbure au point $`\phi (x)`$. Les suivantes égalités sont valables au point $`x`$ :

$`d\nu ={\displaystyle k_ie_idy^i}`$ (6)
$`d\phi ={\displaystyle e_idy^i}`$
$`<e_i,e_j>=\delta _{ij},`$ $`e_1\times \mathrm{}\times e_n=\nu `$
Dans un tel système de coordonnées on a

$`(\nu ,\underset{k1}{\underset{}{d\nu ,\mathrm{},d\nu }},\underset{nk+1}{\underset{}{d\phi ,\mathrm{},d\phi }})`$ $`=`$ $`{\displaystyle \underset{\sigma S_n}{}}(\nu ,e_{\sigma (1)},\mathrm{},e_{\sigma (n)})k_{\sigma (1)}\mathrm{}k_{\sigma (k1)}dy^{\sigma (1)}\mathrm{}dy^{\sigma (n)}`$ (7)
$`=`$ $`({\displaystyle \underset{\sigma S_n}{}}k_{\sigma (1)}\mathrm{}k_{\sigma (k1)})(\nu ,e_1,\mathrm{},e_n)dy^1\mathrm{}dy^n`$
$`=`$ $`(1)^n(nk+1)!(k1)!S_{k1}dV`$
$`(\phi ,\underset{k}{\underset{}{d\nu ,\mathrm{},d\nu }},\underset{nk}{\underset{}{d\phi ,\mathrm{},d\phi }})`$ $`=`$ $`{\displaystyle \underset{\sigma S_n}{}}(\phi ,e_{\sigma (1)},\mathrm{},e_{\sigma (n)})k_{\sigma (1)}\mathrm{}k_{\sigma (k)}dy^{\sigma (1)}\mathrm{}dy^{\sigma (n)}`$ (8)
$`=`$ $`(nk)!k!S_k(\phi ,e_1,\mathrm{},e_n)dV`$
$`=`$ $`(1)^n(nk)!k!S_kpdV`$
On a utilisé les identités

$$(\nu ,e_1,\mathrm{},e_n)=(1)^n(e_1,\mathrm{},e_n,\nu )=(1)^n<e_1\times \mathrm{}\times e_n,\nu >=(1)^n$$

$$(\phi ,e_1,\mathrm{},e_n)=(1)^n(e_1,\mathrm{},e_n,\phi )=(1)^n<e_1\times \mathrm{}\times e_n,\phi >=(1)^np$$

Pour ce qui est du premier terme on a

$$dp=d<\phi ,\nu >=k_i<\phi ,e_i>dy^i$$

$`(\phi ,\nu ,\underset{k1}{\underset{}{d\nu ,\mathrm{},d\nu }},\underset{nk}{\underset{}{d\phi ,\mathrm{},d\phi }})=`$
$`{\displaystyle \underset{i=1}{\overset{n}{}}}{\displaystyle \underset{\sigma S_n:\sigma (n)=i}{}}(\phi ,\nu ,e_{\sigma (1)},\mathrm{},e_{\sigma (n1)})k_{\sigma (1)}\mathrm{}k_{\sigma (k1)}dy^{\sigma (1)}\mathrm{}dy^{\sigma (n1)}=`$
$`{\displaystyle \underset{i=1}{\overset{n}{}}}\left({\displaystyle \underset{\sigma S_n:\sigma (n)=i}{}}k_{\sigma (1)}\mathrm{}k_{\sigma (k1)}\right)(\phi ,\nu ,e_1,\mathrm{},\widehat{e}_i,\mathrm{},e_n)dy^1\mathrm{}d\widehat{y}^i\mathrm{}dy^n=`$
$`(nk)!(k1)!{\displaystyle \underset{i=1}{\overset{n}{}}}\left({\displaystyle \underset{i_1<\mathrm{}<i_{k1}:i_ji}{}}k_{i_1}\mathrm{}k_{i_{k1}}\right)(1)^{n+i}<\phi ,e_i>dy^1\mathrm{}d\widehat{y}^i\mathrm{}dy^n`$
On obtient

$`dp(\phi ,\nu ,\underset{k1}{\underset{}{d\nu ,\mathrm{},d\nu }},\underset{nk}{\underset{}{d\phi ,\mathrm{},d\phi }})=`$ (9)
$`(1)^{n1}(nk)!(k1)!({\displaystyle \underset{i=1}{\overset{n}{}}}k_i\left({\displaystyle \underset{i_1<\mathrm{}<i_{k1}:i_ji}{}}k_{i_1}\mathrm{}k_{i_{k1}}\right)<\phi ,e_i>^2)dV=`$
$`(1)^{n1}(nk)!(k1)!({\displaystyle \underset{i=1}{\overset{n}{}}}S_k^i<\phi ,e_i>^2)dV`$
et, finalement,

$`(l1)(nk)!(k1)!p^{l2}({\displaystyle \underset{i=1}{\overset{n}{}}}S_k^i<\phi ,e_i>^2)dV+(nk+1)!(k1)!p^{l1}S_{k1}dV`$
$`(nk)!k!p^lS_kdV=\text{forme exacte}`$
Il suffit maintenant d’intégrer cette dernière identité sur $`M`$.

$`\mathrm{}`$

### 2.3 Applications

a) Formules de Minkowski. Prendre $`l=1`$ pour obtenir

$$(nk+1)_MS_{k1}𝑑V=k_MpS_k𝑑V,1kn$$
(10)
b) L’inégalité (2) pour $`n=1`$. Prendre $`k=n=1`$ dans les formules de Minkowski pour obtenir, lorsque $`C`$ est une courbe immergée dans le plan

$$l(C)=_CpK𝑑l$$

et ceci implique tout de suite $`ł(C)RT(C)`$, avec égalité si et seulement si $`C`$ est le plongement standard du cercle de rayon $`R`$.

c) Expression du volume de $`M`$ en termes de courbure moyenne. Prendre $`k=1`$ dans (10) et obtenir

$$\text{vol}(M)=\frac{1}{n}_MpH𝑑V$$
(11)
d) Expression du volume de $`M`$ en termes de courbure de Gauss. Prendre $`l=k`$ dans (5) pour obtenir

$$(nk+1)_Mp^{k1}S_{k1}dV=k_Mp^kS_kdV(k1)_Mp^{k2}(\underset{i=1}{\overset{n}{}}S_k^i<\phi ,e_i>^2)dV$$
(12)
En additionnant les identités (12) pour $`1kn`$ nous trouvons

$$\text{vol}(M)=_M(p^n\frac{n1}{n}p^{n2}q^2)KdV\underset{k=2}{\overset{n1}{}}C_{n,k}_Mp^{k2}(\underset{i=1}{\overset{n}{}}S_k^i<\phi ,e_i>^2)dV$$
(13)
avec $`C_{n,k}={\displaystyle \frac{(k1)!}{n(n1)\mathrm{}(nk+2)}}{\displaystyle \frac{k1}{nk+1}}`$.

e) Preuve de (2) lorsque $`M`$ est le bord d’un convexe (théorème d’Archimède). Toutes les courbures principales sont alors positives et on obtient $`\text{vol}(M)_M(p^n\frac{n1}{n}p^{n2}q^2)K𝑑VR^nT(M)=R^n\text{vol}(𝕊^n)`$, avec égalité si et seulement si $`M`$ est la sphère de rayon $`R`$.

f) Preuve de (1) selon \[BZ\]. Prendre $`n=2`$ dans (13) pour obtenir

$$A(M)=_M(p^2\frac{1}{2}q^2)K𝑑S$$

Lorsque $`\phi (M)B(0,R)`$ on a $`p^2+q^2R^2`$ et cela implique tout de suite $`A(M)R^2T(M)`$, avec égalité si et seulement si $`\phi `$ est le plongement standard de la sphère de rayon $`R`$ dans $`E^3`$.

g) Condition suffisante pour $`n=3`$. D’après (13) on a

$$\text{vol}(M)=_M(p^3\frac{2}{3}pq^2)K𝑑V\frac{1}{6}_M\underset{i=1}{\overset{3}{}}Ric(e_i,e_i)<\phi ,e_i>^2dV$$
(14)
L’inégalité (2) sera vraie sous la forme $`\text{vol}(M)R^3T(M)`$ si $`M`$ vérifie $`\text{Ric}0`$. Mais, pour une hypersurface, ceci équivaut à demander que les courbures sectionnelles de $`M`$ soient positives ou nulles \[Su\]. Un théorème de Sacksteder \[Sa\] assure que toute immersion isométrique de classe $`C^4`$ d’une $`3`$-variété à courbure sectionnelle non-négative est forcément convexe et le résultat se ramènerait au théorème d’Archimède. On a toutefois des résultats nouveaux en affaiblissant la condition sur la courbure de Ricci.

Proposition 1. (n=3) Soit $`\phi :M^3^4`$ une immersion isométrique de classe $`C^2`$ d’une variété riemannienne lisse compacte sans bord. On suppose que $`\phi (M)B^4(0,R)`$. Si $`M`$ vérifie $`Ric\alpha /R^2`$ avec $`0<\alpha <6`$, alors

$$\text{vol}(M)<\frac{6}{6\alpha }R^3T(M)$$

Démonstration. On utilise $`_i\phi ,e_i^2|\phi |^2R^2`$ dans (14) pour obtenir

$$\text{vol}(M)_M(p^3\frac{2}{3}pq^2)K𝑑V+\frac{\alpha }{6}\text{vol}(M)$$

et de là $`\text{vol}(M)\frac{6}{6\alpha }R^3T(M)`$ puisque $`p^2+q^2=|\phi |^2R^2`$. L’égalité n’est pas atteinte puisque cela forcerait $`q0`$ et $`pR`$. Dans ce cas l’immersion devrait être le plongement standard de la sphère de rayon $`R`$, pour laquelle on a en fait $`\text{vol}(𝕊^3(R))=R^3T(𝕊^3(R))<\frac{6}{6\alpha }R^3T(𝕊^3(R))`$.

$`\mathrm{}`$

## 3 Inégalités à caractère local

Comme le montre la section précédente, l’inégalité (2) est valable en petite dimension grâce à l’existence de formules intégrales globales, qui reviennent en fait à la possibilité d’intégrer par parties : une méthode alternative pour obtenir les formules de Minkowski (10) est d’intégrer sur des ouverts constituant un découpage de $`M`$ et de sommer. Les termes de bord s’annulent deux par deux à cause du choix opposé de l’orientation et, en dimension $`2`$, les termes intérieurs sont controlables par la courbure totale. Dans ce qui suit nous traitons les termes parasites qui apparaissent en dimension $`n3`$ en simulant une intégration par parties où la contribution des termes de bord est compensée par l’utilisation d’un épaisissement de l’ouvert relativement compact dont on estime le volume.

Tout ouvert sur lequel l’application de Gauss $`G`$ est non-dégénérée et injective peut être paramétré par $`G^1`$ qui, à son tour, s’exprime à l’aide de la fonction support sur $`𝕊^n`$ et de sa hessienne. La forme locale de l’inégalité (2) s’exprimera comme une inégalité intégrale qu’on obtient par une technique d’estimation empruntée à la théorie des opérateurs de type Monge-Ampère \[Au, RT\]. Dans la section 3.5 nous renonçons à l’hypothèse d’injectivité sur l’application de Gauss par un argument de recollement. La section 3.6 utilise les formules intégrales développées précédememment pour obtenir (4) à partir de (3). Nous obtenons aussi une inégalité à caractère isopérimétrique en dimension deux.

### 3.1 Paramétrisation d’Euler

Considérons sur $`M`$ un domaine $`U`$ sur lequel l’application de Gauss $`G:U\stackrel{}{}V𝕊^n`$ est injective. Son inverse

$$\varphi :V\stackrel{}{}U$$

est une paramétrisation de $`U`$ et associe à un point $`\theta `$ l’unique $`x`$ tel que le vecteur $`\theta `$ soit orthogonal à l’hyperplan $`T_xM`$ tangent à $`M`$ en $`x`$. Si $`f(\theta )`$ désigne la distance orientée entre l’origine $`O`$ et $`T_xM`$, alors l’application $`f`$ est différentiable sur $`V`$ et le gradient $`f(\theta )T_\theta 𝕊^n`$ est bien défini. De plus, on aura

$$\varphi (\theta )=x=f(\theta )\theta +f(\theta )$$

après des identifications naturelles avec des vecteurs de $`^{n+1}`$. En géométrie convexe on appelle $`f`$ la “fonction support” de $`U`$ et $`\varphi `$ la “paramétrisation d’Euler” de l’hypersurface $`U`$.

Soient $`dV`$ et $`d\theta `$ les éléments de volume sur $`UM`$ et $`V𝕊^n`$ respectivement. Alors

$$dV=\pm det(\varphi _{}(\theta ))d\theta $$

On calcule maintenant $`\varphi _{}:T_\theta 𝕊^nT_\theta 𝕊^nT_{\varphi (\theta )}M^nT_{\varphi (\theta )}^{n+1}`$. On peut écrire

$$\varphi _{}Y=Y(f)\theta +fY+D_Y(f)$$

Mais $`T_{\varphi (\theta )}M^n//T_\theta 𝕊^n`$ et en prenant ci-dessus la partie tangente à $`𝕊^n`$ on a $`\varphi _{}Y=\varphi _{}^TY=fY+D_Y^T(f)=fY+D_Y^{𝕊^n}(f)`$. Cela signifie précisément que

$$\varphi _{}=H_f+fId$$

$`H_f`$ est la hessienne de $`f`$ sur la sphère $`𝕊^n`$. C’est l’endomorphisme du fibré tangent défini par

$$H_f(\xi )=_\xi f$$

Ceci établit la formule (où le signe dépend des orientations)

$$\text{vol}(U)=\pm _Vdet(H_f+fId)d\theta $$
(15)
Il est utile de voir l’application $`\varphi `$ comme inverse de l’application de Gauss. Là où cette dernière est un difféomorphisme, la dérivée $`\varphi _{}`$ sera l’inverse de l’application de Weingarten et ses valeurs propres seront les inverses des courbures principales de $`M`$. En particulier la signature de $`\varphi _{}`$ sera la même que la signature de l’application de Weingarten. Sur les domaines de signature impaire, $`\varphi _{}`$ change l’orientation et la formule précédente s’écrit avec le signe “$``$”. Sinon elle s’écrit avec le signe “$`+`$”.

### 3.2 Coordonnées stéréographiques

Dans cette section on exprime la formule intégrale précédente en coordonnées stéréographiques. Soit $`𝕊^n(\rho )=\{x^{n+1}:|x|=\rho \}`$ la sphère de rayon $`\rho `$ dans $`^{n+1}`$. Il est bien connu que la projection stéréographique du pôle nord induit sur $`^n`$ une métrique $`g`$ de composantes

$$g_{ij}=\frac{4}{(1+\frac{|x|^2}{\rho ^2})^2}\delta _{ij}$$

Les coefficients du tenseur de Christoffel sont

$$\mathrm{\Gamma }_{jk}^i=\frac{2}{\rho ^2+|x|^2}\{\delta _{ik}x^j+\delta _{ij}x^k\delta _{jk}x^i\}$$

Pour faciliter l’écriture on note par $`_i`$ les champs $`\frac{}{x^i}`$. Ce sont des champs orthogonaux dans la métrique sphérique. Le gradient sphérique de $`f`$ satisfait $`(f,_i)=\frac{f}{x^i}`$ et cela donne

$$f_{|_x}=\frac{1}{4}(1+\frac{|x|^2}{\rho ^2})^2\frac{f}{x^i}_i$$

La hessienne sphérique de $`f`$ vérifie

$$\begin{array}{c}H_f(_i)\hfill \\ =__if=__i\frac{1}{4\rho ^4}(\rho ^2+|x|^2)^2\frac{f}{x^j}_j\hfill \\ =\frac{1}{4\rho ^4}\{_i(\rho ^2+|x|^2)^2\frac{f}{x^j}_j+(\rho ^2+|x|^2)^2\frac{^2f}{x^ix^j}_j+(\rho ^2+|x|^2)^2_jf\mathrm{\Gamma }_{ij}^l_l\}\hfill \\ =\frac{1}{4}(1+\frac{|x|^2}{\rho ^2})^2_{ij}f_j+\frac{1}{\rho ^2}(1+\frac{|x|^2}{\rho ^2})x^i_jf_j\hfill \\ \frac{1}{2\rho ^2}(1+\frac{|x|^2}{\rho ^2})_jf\{\delta _{li}x^j+\delta _{lj}x^i\delta _{ij}x^l\}_l\hfill \\ =\frac{1}{4}(1+\frac{|x|^2}{\rho ^2})^2_{ij}f_j+\frac{1}{2\rho ^2}(1+\frac{|x|^2}{\rho ^2})[2x^i_jf_j_lf\{\delta _{ji}x^l+\delta _{lj}x^i\delta _{il}x^j\}_j]\hfill \\ =\frac{1}{4}(1+\frac{|x|^2}{\rho ^2})^2_{ij}f_j+\frac{1}{2\rho ^2}(1+\frac{|x|^2}{\rho ^2})[2x^i_jf_j_lf_{ji}\{\delta _{lj}x^i\delta _{il}x^j\}_j_lfx^l_i]\hfill \\ =\frac{1}{4}(1+\frac{|x|^2}{\rho ^2})^2_{ij}f_j+\frac{1}{2\rho ^2}(1+\frac{|x|^2}{\rho ^2})[(x^i_jf+x^j_if)_j(^^nf_{|_x}x)_i]\hfill \end{array}$$

Dans les formules qui vont suivre les gradients et hessiennes seront implicitement pris par rapport à la métrique euclidienne de $`^n`$. Dans le cas contraire, on l’indiquera explicitement (par exemple $`H_f^{𝕊^n}`$ désignera la hessienne de $`f`$ calculée dans la métrique sphérique). On peut simplifier l’expression obtenue en posant

$$g=\frac{\rho ^2+|x|^2}{2}f$$
(16)
Alors

$$\frac{^2g}{x^ix^j}=\frac{\rho ^2+|x|^2}{2}\frac{^2f}{x^ix^j}+(x^i_jf+x^j_if)+f\delta _{ij}$$

et on obtient

$$\begin{array}{c}H_f^{𝕊^n}(x)(_i)=\frac{1}{2\rho ^2}(1+\frac{|x|^2}{\rho ^2})\left[\frac{\rho ^2+|x|^2}{2}_{ij}f_j+(x^i_jf+x^j_if)_j\right]\frac{1}{2\rho ^2}(1+\frac{|x|^2}{\rho ^2})(fx)_i\hfill \\ =\frac{1}{2\rho ^2}(1+\frac{|x|^2}{\rho ^2})\left[H_g(f+fx)Id\right](_i)\hfill \end{array}$$

Soient maintenant $`U`$ et $`V`$ des domaines sur $`M`$ et respectivement $`𝕊^n`$ comme dans §3.1. On choisit un point $`N𝕊^nV`$ et on note $`\mathrm{\Omega }`$ l’image de $`V`$ par la projection stéréographique de $`N`$. Alors

$$_V(H_f+fId)𝑑\theta =\frac{1}{2^n\rho ^{2n}}_\mathrm{\Omega }(1+\frac{|x|^2}{\rho ^2})^ndet(H_g+(ffx+\frac{2\rho ^2}{1+\frac{|x|^2}{\rho ^2}}f))\frac{2^n}{(1+\frac{|x|^2}{\rho ^2})^n}dx$$

donc

$`\text{vol}(U)=\pm {\displaystyle \frac{1}{\rho ^{2n}}}{\displaystyle _\mathrm{\Omega }}det(H_g+R_fId)dx`$

où on a noté $`R_f=ffx+\frac{2\rho ^4}{\rho ^2+|x|^2}f`$. Il est utile de remarquer que

$$R_f=\frac{2}{\rho ^2+|x|^2}\left[(ggx)+(\rho ^4\rho ^2)f\right]$$

En particulier, pour $`\rho =1`$ on obtient

$$R_f=\frac{2}{1+|x|^2}(ggx)\stackrel{\text{not.}}{=}R_g$$
(17)
et on pourra écrire

$`\text{vol}(U)=\pm {\displaystyle _\mathrm{\Omega }}det(H_g+R_gId)dx`$

### 3.3 Formes différentielles

Considérons les 1-formes suivantes:

$$\omega _i=d(_ig)+R_gdx^i$$

On a

$$\omega _1\mathrm{}\omega _n=det(H_g+R_gId)dx^1\mathrm{}dx^n$$

donc

$$\text{vol}(U)=\pm _\mathrm{\Omega }\omega _1\mathrm{}\omega _n$$

Rappelons que $`R_g=\frac{2}{1+|x|^2}(ggx)`$ et donc

$$\begin{array}{c}dR_g=\frac{4}{(1+|x|^2)^2}(ggx)(xdx)\frac{2}{1+|x|^2}_{i=1}^nx^id(_ig)\hfill \\ =\frac{2}{1+|x|^2}_{i=1}^nx^i\omega _i\hfill \end{array}$$

Si on note $`u:=\frac{2}{1+|x|^2}`$ on a

$$dR_g=u\underset{i=1}{\overset{n}{}}x^i\omega _i$$

et donc

$$d\omega _i=dR_gdx^i=u\underset{j=1}{\overset{n}{}}x^j\omega _jdx^i$$
(18)
C’est l’identité (18) qui est la clé de notre résultat. On pourra la penser comme exprimant une sorte de stabilité des $`\omega _i`$ par différentiation extérieure.

### 3.4 Une inégalité locale

Etablissons d’abord les notations. Pour des suites d’indices $`I=(i_1,\mathrm{},i_k),J=(j_1,\mathrm{},j_{nk})\{1,\mathrm{},n\}`$ on note $`\omega _I:=\omega _{i_1}\mathrm{}\omega _{i_k}`$ et $`dx^J:=dx^{j_1}\mathrm{}dx^{j_{nk}}`$. Tous les indices sont des entiers compris entre $`1`$ et $`n`$.

###### Proposition 3.

Soit $`\mathrm{\Omega }^n`$ un ouvert connexe borné et $`f:\mathrm{\Omega }`$ une fonction telle que la matrice $`H_g+R_gId`$ soit non-dégénérée sur $`\mathrm{\Omega }`$, où $`g`$ et $`R_g`$ sont définies par (16) et (17) avec $`\rho `$ égal à $`1`$. Soient $`I,J`$ deux suites d’indices avec $`|I|=k,|J|=nk`$. Pour tout compact $`K\mathrm{\Omega }`$ il existe une constante $`C_k(K,\mathrm{\Omega })`$ indépendante de $`f`$ telle que, pour toute fonction $`\psi 𝒞^{\mathrm{}}(\mathrm{\Omega })`$ avec $`supp(\psi )K`$, on ait:

$$|_\mathrm{\Omega }\psi \omega _Idx^J|C_k(K,\mathrm{\Omega })\text{vol}(\mathrm{\Omega })\underset{K}{sup}|\psi |\underset{\mathrm{\Omega }}{sup}(|f|+|f|)^k$$

De plus, $`C_k(K,\mathrm{\Omega })`$ est proportionnelle par une constante indépendante de $`K`$ et $`\mathrm{\Omega }`$ à $`(\frac{(1+r)^2}{\delta })^k`$, où $`2\delta =\text{dist}(K,\mathrm{\Omega })`$ et $`\mathrm{\Omega }\{|x|r\}`$.

Démonstration: Donnons d’abord deux majorations pour $`|R_g|`$ et $`|g|`$.

Puisque $`\rho =1`$ on a $`R_g=\frac{1|x|^2}{1+|x|^2}ffx`$. Si $`\mathrm{\Omega }B(0,r)=\{x^n:|x|r\}`$ alors on trouve

$$|R_g||f|+r|f|(1+r)(|f|+|f|)$$

De même, on a $`g=fx+\frac{1+|x|^2}{2}f`$ et si $`\mathrm{\Omega }B(0,r)`$ alors

$$|g|r|f|+\frac{1+r^2}{2}|f|\frac{(1+r)^2}{2}(|f|+|f|)$$

I) Traitons d’abord le cas où $`H_g+R_gId`$ est définie positive sur $`\mathrm{\Omega }`$. On procède par récurrence sur $`k`$. Le premier pas de récurrence est $`k=1`$. On supposera $`J=(2,\mathrm{},n)`$ puisque les autres cas lui sont symétriques. Deux situations se présentent: $`IJ=\mathrm{}`$ et $`IJ\mathrm{}`$. Les calculs suivent une idée de Rauch et Taylor \[RT\] reprise dans Aubin \[Au\].

* a) $`IJ=\mathrm{}`$: on a successivement

$$\begin{array}{c}|_\mathrm{\Omega }\psi \omega _1dx^2\mathrm{}dx^n|=|_\mathrm{\Omega }\psi (_{11}g+R_g)𝑑x^1\mathrm{}dx^n|\hfill \\ \underset{K}{sup}|\psi |_K|(_{11}g+R_g)|𝑑x^1\mathrm{}dx^n\hfill \\ =\underset{K}{sup}|\psi |_K(_{11}g+R_g)𝑑x^1\mathrm{}dx^n\hfill \end{array}$$

La dernière égalité fait usage de la positivité de la matrice $`H_g+R_gId`$.

Soit maintenant $`\gamma `$ une fonction à support compact dans $`𝒞^{\mathrm{}}(\mathrm{\Omega })`$ telle que $`\gamma _{|_K}1`$ et $`0\gamma 1`$. On peut la choisir telle que $`|\gamma |1/\delta `$. Alors

$$_K(_{11}g+R_g)𝑑x_\mathrm{\Omega }\gamma (_{11}g+R_g)𝑑x$$

$$_\mathrm{\Omega }\gamma _{11}gdx=_\mathrm{\Omega }_1\gamma _1gdx\text{vol}(\mathrm{\Omega })\underset{\mathrm{\Omega }}{sup}|_1\gamma |\underset{\mathrm{\Omega }}{sup}|_1g|\frac{1}{\delta }\text{vol}(\mathrm{\Omega })\frac{(1+r)^2}{2}\underset{\mathrm{\Omega }}{sup}(|f|+|f|)$$

$$_\mathrm{\Omega }\gamma R_g𝑑x\text{vol}(\mathrm{\Omega })(1+r)\underset{\mathrm{\Omega }}{sup}(|f|+|f|)$$

ce qui donne

$$|_\mathrm{\Omega }\psi \omega _1dx^2\mathrm{}dx^n|C(r,\frac{1}{\delta })\text{vol}(\mathrm{\Omega })\underset{\mathrm{\Omega }}{sup}|\psi |\underset{\mathrm{\Omega }}{sup}(|f|+|f|)$$
* b) $`IJ\mathrm{}`$: soit $`i[2,n]`$.

$$\begin{array}{c}|_\mathrm{\Omega }\psi \omega _idx^2\mathrm{}dx^n|=|_\mathrm{\Omega }\psi _{1i}gdx^1\mathrm{}dx^n|\hfill \\ \underset{K}{sup}|\psi |_K|_{1i}g|𝑑x^1\mathrm{}dx^n\hfill \\ \frac{1}{2}\underset{K}{sup}|\psi |_K((_{11}g+R_g)+(_{ii}g+R_g))𝑑x^1\mathrm{}dx^n\hfill \\ C(r,\frac{1}{\delta })\text{vol}(\mathrm{\Omega })\underset{\mathrm{\Omega }}{sup}|\psi |\underset{\mathrm{\Omega }}{sup}(|f|+|f|)\hfill \end{array}$$

La dernière inégalité est une conséquence immédiate du point a), tandis que le fait crucial

$$|_{1i}g|\frac{1}{2}((_{11}g+R_g)+(_{ii}g+R_g))$$

découle de la positivité de la matrice $`H_g+R_gId`$. Cette dernière inégalité reste valable pour des mineurs d’ordre quelconque d’une matrice définie positive. Considérons deux suites d’indices $`I=(i_1,\mathrm{},i_k),J=(j_1,\mathrm{},j_{nk})\{1,\mathrm{},n\}`$. On note $`\stackrel{}{J}`$ la suite complémentaire de $`J`$. Pour une matrice $`M=(m_{ij})_n()`$ on note $`M[I,\stackrel{}{J}]`$ la matrice carrée construite sur les lignes $`I`$ et les colonnes $`\stackrel{}{J}`$ de $`M`$ et $`M_{I,\stackrel{}{J}}`$ son déterminant (par exemple, pour $`k=1`$ on a $`M_{ij}=m_{ij}`$).

Si $`M`$ est définie positive alors

$$i,j\overline{1,n}:|M_{ij}|\frac{1}{2}(M_{ii}+M_{jj})$$

puisque $`M_{\{i,j\},\{i,j\}}0`$. De plus, une fois l’orientation fixée sur $`^n`$ (représentée - par exemple - par la base canonique $`(e_1,\mathrm{},e_n)`$), $`M`$ détermine naturellement un endomorphisme défini positif sur $`\mathrm{\Lambda }^k(^n)`$ muni de la métrique induite par $`^n`$. Sa matrice dans la base $`e_{i_1}\mathrm{}e_{i_k}`$ a comme entrées justement les $`M_{I,\stackrel{}{J}}`$. On trouve donc l’inégalité

$$I,J,|I|=k,|J|=nk:|M_{I,\stackrel{}{J}}|\frac{1}{2}(M_{I,I}+M_{\stackrel{}{J},\stackrel{}{J}})$$

On suppose maintenant l’inégalité vraie pour $`k1`$ et on la prouve pour $`k`$. Les hypothèses sont $`supp\psi K`$, $`|I|=k`$, $`|J|=nk`$. On note $`M:=H_g+R_gId`$. Alors

$$\begin{array}{c}|_\mathrm{\Omega }\psi \omega _Idx^J|=|_\mathrm{\Omega }\psi M_{I,\stackrel{}{J}}𝑑x^1\mathrm{}dx^n|\hfill \\ \underset{K}{sup}|\psi |_K|M_{I,\stackrel{}{J}}|𝑑x^1\mathrm{}dx^n\hfill \\ \frac{1}{2}\underset{K}{sup}|\psi |_K(M_{I,I}+M_{\stackrel{}{J},\stackrel{}{J}})𝑑x^1\mathrm{}dx^n\hfill \\ =\frac{1}{2}\underset{K}{sup}|\psi |(_K\omega _Idx^\stackrel{}{I}+_K\omega _\stackrel{}{J}dx^J)\hfill \end{array}$$

Il suffit donc de trouver les estimations pour $`J=\stackrel{}{I}`$. Comme avant, soit $`\gamma `$ une fonction à support compact dans $`𝒞^{\mathrm{}}(\mathrm{\Omega })`$ telle que $`\gamma _{|_K}1`$, $`0\gamma 1`$ et $`dist(supp\gamma ,\mathrm{\Omega })\delta /2`$. On peut la choisir telle que $`|\gamma |1/\delta `$. Alors

$$\begin{array}{c}_K\omega _Idx^\stackrel{}{I}_\mathrm{\Omega }\gamma \omega _Idx^\stackrel{}{I}\hfill \\ =_\mathrm{\Omega }\gamma d(_{i_1}g)\omega _{I\{i_1\}}dx^\stackrel{}{I}+_\mathrm{\Omega }\gamma R_g𝑑x^{i_1}\omega _{I\{i_1\}}dx^\stackrel{}{I}\hfill \end{array}$$

Par l’hypothèse de récurrence on a

$$\begin{array}{c}_\mathrm{\Omega }\gamma R_g𝑑x^{i_1}\omega _{I\{i_1\}}dx^\stackrel{}{I}C_{k1}(r,\frac{4}{\delta })\underset{\mathrm{\Omega }}{sup}|\gamma R_g|\text{vol}(\mathrm{\Omega })\underset{\mathrm{\Omega }}{sup}(|f|+|f|)^{k1}\hfill \\ (1+r)4^{k1}C_{k1}(r,\frac{1}{\delta })\text{vol}(\mathrm{\Omega })\underset{\mathrm{\Omega }}{sup}(|f|+|f|)^k\hfill \end{array}$$

Après une intégration par parties on obtient aussi

$$\begin{array}{c}_\mathrm{\Omega }\gamma d(_{i_1}g)\omega _{I\{i_1\}}dx^\stackrel{}{I}\hfill \\ =_\mathrm{\Omega }_{i_1}gd\gamma \omega _{I\{i_1\}}dx^\stackrel{}{I}\underset{l=2}{\overset{k}{}}_\mathrm{\Omega }\gamma _{i_1}g\omega _{i_2}\mathrm{}dR_gdx^{i_l}\mathrm{}\omega _{i_k}dx^\stackrel{}{I}\hfill \\ =_\mathrm{\Omega }_{i_1}g(_s\gamma dx^s)\omega _{I\{i_1\}}dx^\stackrel{}{I}+\underset{l=2}{\overset{k}{}}_\mathrm{\Omega }\gamma _{i_1}g\frac{2}{1+|x|^2}\omega _{i_2}\mathrm{}(x^s\omega _s)dx^{i_l}\mathrm{}\omega _{i_k}dx^\stackrel{}{I}\hfill \\ nC_{k1}(r,\frac{4}{\delta })\frac{(1+r)^2}{2}\underset{\mathrm{\Omega }}{sup}(|f|+|f|)\frac{1}{\delta }\text{vol}(\mathrm{\Omega })\underset{\mathrm{\Omega }}{sup}(|f|+|f|)^{k1}\hfill \\ +(k1)C_{k1}(r,\frac{4}{\delta })\frac{(1+r)^2}{2}\underset{\mathrm{\Omega }}{sup}(|f|+|f|)\text{vol}(\mathrm{\Omega })\underset{\mathrm{\Omega }}{sup}(|f|+|f|)^{k1}\hfill \\ (n+k1)\frac{(1+r)^2}{2}\frac{1}{\delta }\mathrm{\hspace{0.33em}4}^{k1}C_{k1}(r,\frac{1}{\delta })vol_^n(\mathrm{\Omega })\underset{\mathrm{\Omega }}{sup}(|f|+|f|)^k\hfill \end{array}$$

Cela donne l’estimation finale

$$_K\omega _Idx^\stackrel{}{I}((n+k1)\frac{(1+r)^2}{2}+1+r)\mathrm{\hspace{0.33em}4}^{k1}\frac{1}{\delta }C_{k1}(r,\frac{1}{\delta })\text{vol}(\mathrm{\Omega })\underset{\mathrm{\Omega }}{sup}(|f|+|f|)^k$$

ou bien

$$|_K\psi \omega _Idx^\stackrel{}{I}|C_k(r,\frac{1}{\delta })\underset{\mathrm{\Omega }}{sup}|\psi |\text{vol}(\mathrm{\Omega })\underset{\mathrm{\Omega }}{sup}(|f|+|f|)^k$$

avec la constante équivalente à $`(\frac{1}{\delta })^k`$ et $`r^{2k}`$

$$C_k(r,\frac{1}{\delta })=((n+k1)\frac{(1+r)^2}{2}+1+r)\mathrm{\hspace{0.33em}4}^{k1}\frac{1}{\delta }C_{k1}(r,\frac{1}{\delta })$$

Cela achève la démonstration du cas défini positif.

II) On traite maintenant le cas d’une signature arbitraire.

Fait simple et fondamental: Soit $`\mathrm{\Omega }`$ un ouvert connexe et $`M(x)`$ une famille de matrices symétriques dépendant continûment du paramètre $`x\mathrm{\Omega }`$. On a l’équivalence:

i) $`M(x)`$ est définie positive pour tout $`x\mathrm{\Omega }`$

ii) Pour tout $`x\mathrm{\Omega }`$ on a $`detM(x)0`$ et il existe un $`x_0\mathrm{\Omega }`$ tel que $`M(x_0)`$ est définie positive.

Appliquons cela dans notre cas: choisissons un point $`x_0\mathrm{\Omega }`$. Il existe une matrice diagonale $`A=\text{diag}(ϵ_1,\mathrm{},ϵ_n)`$ telle que $`ϵ_i=\pm 1`$ et $`A(H_g+R_gId)_{|_{x_0}}>0`$. Vu que $`H_g+R_gId`$ est non-dégénérée sur $`\mathrm{\Omega }`$ on déduit par le fait précédent que $`A(H_g+R_gId)>0`$ sur $`\mathrm{\Omega }`$.

Multiplier par $`A`$ signifie multiplier certaines lignes de $`H_g+R_gId`$ par $`\pm 1`$. Vu que tous les déterminants ont été exprimés par les formes $`\omega _i`$ qui correspondent aux lignes de $`H_g+R_gId`$, cela revient à multiplier certaines des formes $`\omega _i`$ par $`\pm 1`$. Le cas défini positif nous donne l’inégalité

$$|_\mathrm{\Omega }\psi \underset{I}{\overset{}{\omega }}dx^J|C_k(K,\mathrm{\Omega })\text{vol}(\mathrm{\Omega })\underset{K}{sup}|\psi |\underset{\mathrm{\Omega }}{sup}(|f|+|f|)^k$$

$`\underset{I}{\overset{}{\omega }}=\underset{i_1}{\overset{}{\omega }}\mathrm{}\underset{i_k}{\overset{}{\omega }}`$ et $`\underset{i}{\overset{}{\omega }}=ϵ_i\omega _i=\pm \omega _i`$. Mais on a de façon évidente

$$_\mathrm{\Omega }\psi \omega _Idx^J=\pm _\mathrm{\Omega }\psi \underset{I}{\overset{}{\omega }}dx^J$$

ce qui donne l’inégalité désirée pour une signature quelconque et achève la démonstration.

$`\mathrm{}`$

La proposition précédente a été démontrée en vue du

###### Corollaire 1.

Avec les notations de la proposition 3, si $`H_g+R_gId`$ est non-dégénérée sur l’ouvert borné $`\mathrm{\Omega }\{|x|r\}`$ alors pour tout compact $`K\mathrm{\Omega }`$ il existe une constante $`C(K,\mathrm{\Omega })`$ telle que

$$_K\omega _1\mathrm{}\omega _nC(K,\mathrm{\Omega })\text{vol}(\mathrm{\Omega })\underset{\mathrm{\Omega }}{sup}(|f|+|f|)^n$$

Cette constante est proportionnelle à $`(\frac{(1+r)^2}{\delta })^n`$, où $`\delta =\text{dist}(K,\mathrm{\Omega })`$

Dans l’inégalité ci-dessus, le terme de gauche représente le volume d’un compact de $`M`$ sur lequel l’application de Gauss est non-dégénérée et injective, tandis que le membre de droite représente le volume d’un épaississement par $`\delta `$ de son image dans $`^n`$ par la composée de la projection stéréographique avec l’application de Gauss. Si $`r1`$, la distance euclidienne est comparable à la distance mesurée sur $`𝕊^n`$ et on en déduit le

###### Corollaire 2.

Soit $`\phi :ME^{n+1}`$ une immersion isométrique d’hypersurface dont l’image est contenue dans la boule $`B^{n+1}(0,R)`$. Soit $`UM`$ un ouvert sur lequel l’application de Gauss est non-dégénérée, injective et d’image contenue dans une demi-sphère. Il existe une constante $`C_n`$ indépendante de $`U`$ et de $`M`$ telle que, si $`KU`$ est un compact, on a

$$\text{vol}(K)C_nR^n\frac{1}{\left(\text{d}_{𝕊^n}(K,U)\right)^n}T(U)$$
(19)
Ici $`\text{d}_{𝕊^n}(K,U)`$ représente la distance entre $`K`$ et $`U`$ mesurée sur $`𝕊^n`$ via l’application de Gauss, c’est-à-dire

$$d_{𝕊^n}(K,U)\stackrel{\text{déf.}}{=}\text{dist}_{𝕊^n}(Gauss(K),Gauss(U))=\underset{xK}{\mathrm{min}}\text{dist}_{𝕊^n}(Gauss(x),Gauss(U))$$
(20)
### 3.5 Globalisation

Dans ce qui suit nous expliquons comment on peut éliminer les deux dernières hypothèses sur l’application de Gauss dans le corollaire 2. L’application de Gauss sera notée $`G`$ ou $`Gauss`$ et la courbure totale $`T(U)`$ d’un domaine $`U`$ sera parfois notée $`\text{vol}(Gauss_U)`$. Donnons d’abord la

###### Définition 1.

Soit $`UM`$ un ouvert sur lequel l’application de Gauss est non-dégénérée et $`KU`$ un compact. La distance sphérique locale entre $`K`$ et $`U`$ est définie comme

$`\overline{d}_{𝕊^n}(K,U)`$ $`\stackrel{\text{déf.}}{=}`$ $`\underset{xK}{\mathrm{min}}\underset{\begin{array}{c}U𝒰x\\ Gauss(𝒰)\text{demi-sphère}\\ Gauss_{|_𝒰}\text{injective}\end{array}}{sup}\text{d}_{𝕊^n}(x,𝒰)`$ (24)
$`=`$ $`\underset{xK}{\mathrm{min}}\underset{\begin{array}{c}U𝒰x\\ Gauss(𝒰)\text{demi-sphère}\end{array}}{sup}\text{d}_{𝕊^n}(x,𝒰)`$ (27)
Les deux quantités définies ci-dessus sont égales en vues de la non-dégénérescence de $`Gauss`$ sur $`U`$. Pour montrer l’égalité il suffit de voir que, pour $`xK`$ fixé et $`𝒰`$ satisfaisant $`x𝒰U`$ et $`Gauss(𝒰)\text{demi-sphère}`$, il existe un $`x𝒰^{}𝒰`$ sur lequel $`Gauss`$ est injective et tel que $`d_{𝕊^n}(x,𝒰)=d_{𝕊^n}(x,𝒰^{})`$. Or, par définition de $`d_{𝕊^n}(x,𝒰)`$, l’application $`G_{|_𝒰}`$ est propre au dessus de la boule ouverte $`B_{𝕊^n}(G(x),d_{𝕊^n}(x,𝒰))`$. Comme c’est aussi un difféomorphisme local on déduit que c’est un revêtement. L’ouvert $`𝒰^{}`$ cherché sera la feuille qui contient $`x`$.

###### Théorème 2.

Soit $`\phi :ME^{n+1}`$ une immersion isométrique d’hypersurface dont l’image est contenue dans la boule $`B^{n+1}(0,R)`$. Soit $`UM`$ un ouvert sur lequel l’application de Gauss est non-dégénérée. Il existe une constante $`\overline{C}_n`$ indépendante de $`U`$ et de $`M`$ telle que, si $`KU`$ est un compact, on a

$$\text{vol}(K)\overline{C}_nR^n\frac{1}{\left(\overline{d}_{𝕊^n}(K,U)\right)^n}\text{vol}(Gauss_U)$$
(28)
Ici $`\text{vol}(Gauss_U)`$ reprèsente le volume recouvert sur $`𝕊^n`$ par l’application de Gauss restreinte à $`U`$ compté avec multiplicités.

Avant de prouver le théorème nous donnons quelques propriétés de la distance $`\overline{d}_{𝕊^n}(K,U)`$.

1. si l’application de Gauss est non seulement non-dégénérée sur $`U`$, mais aussi injective et d’image contenue dans une demi-sphère (i.e. sous les hypothèses du corollaire 2), on a $`\overline{d}_{𝕊^n}(K,U)=d_{𝕊^n}(K,U)`$ ;
2. on a toujours $`\overline{d}_{𝕊^n}(K,U)>0`$ et

$$d_{𝕊^n}(K,U)\overline{d}_{𝕊^n}(K,U)\frac{\pi }{2}$$

Il se peut toutefois que $`d_{𝕊^n}(K,U)`$ soit nulle si on n’impose pas l’injectivité de $`G`$ sur $`U`$, à savoir lorsque l’image de $`U`$ recoupe l’image de $`K`$.
3. $$\overline{d}_{𝕊^n}(K,U)=\overline{d}_{𝕊^n}(K,U)$$
4. définissons une semidistance sur $`M`$ par

$$d_{𝕊^n}(x,y)\stackrel{\text{déf.}}{=}\text{dist}_{𝕊^n}(Gauss(x),Gauss(y))$$

Cette semi-distance est non-dégénérée sur un ouvert $`U`$ si et seulement si l’application de Gauss est injective sur $`U`$. La notation $`d_{𝕊^n}`$ est justifiée par l’identité

$$d_{𝕊^n}(K,U)=\underset{xK,yU}{\mathrm{min}}d_{𝕊^n}(x,y)$$

Pour une application de Gauss non-injective les boules

$$B_{d_{𝕊^n}}(x,r)=\{yM:d_{𝕊^n}(x,y)<r\},r>0$$

sont en général disconnexes. Définissons la boule connexe de rayon $`r`$ centrée en $`x`$ comme

$$\stackrel{~}{B}_{d_{𝕊^n}}(x,r)\stackrel{\text{déf.}}{=}\text{la composante connexe de }x\text{ dans }B_{d_{𝕊^n}}(x,r),r>0$$

avec la convention $`\stackrel{~}{B}_{d_{𝕊^n}}(x\mathrm{,0})=\{x\}`$. Définissons aussi le rayon sphérique d’injectivité de l’application de Gauss en $`x`$ comme

$$R_x\stackrel{\text{déf.}}{=}sup\{r:d_{𝕊^n}\text{ non-dégénérée sur }\stackrel{~}{B}_{d_{𝕊^n}}(x,r)\}$$

Si l’application de Gauss est non-dégénérée en $`x`$ alors $`R_x>0`$ par injectivité locale. Le lemme qui suit sera fondamental dans la preuve du théorème 2.

###### Lemme 1.

Soit $`U`$ un ouvert sur lequel l’application de Gauss est non-dégénérée et $`KU`$ un compact. Pour tout $`xK`$ on a $`R_x\overline{d}_{𝕊^n}(K,U)`$.

Démonstration du lemme: L’énoncé du lemme est en fait une reformulation géométrique des définitions. Soit $`xK`$. Il suffit de montrer

$$R_x\underset{\begin{array}{c}U𝒰x\\ Gauss_{|_𝒰}\text{injective}\end{array}}{sup}d_{𝕊^n}(x,𝒰)$$

Soit $`𝒰`$ tel que $`Gauss_{|_𝒰}`$ injective. Alors, par définition, $`\stackrel{~}{B}_{d_{𝕊^n}}(x,d_{𝕊^n}(x,𝒰))𝒰`$ et donc $`R_xd_{𝕊^n}(x,𝒰)`$, ce qui achève la preuve.

$`\mathrm{}`$

De ce fait on peut regarder la quantité $`\overline{d}_{𝕊^n}(K,U)`$ comme fournissant une borne inférieure uniforme sur $`K`$ pour les rayons d’injectivité de l’application de Gauss.

Démonstration du théorème 2 : Il suffit de faire la démonstration pour $`R=1`$. Nous allons fournir un argument de recollement. Il est possible de sous-diviser $`K`$ en compacts $`K^{}`$ et de choisir autour de chaque $`K^{}`$ un ouvert $`U^{}U`$ satisfaisant les propriétés suivantes:

\- la restriction de l’application de Gauss à chaque $`U^{}`$ est injective et d’image contenue dans une demi-sphère;

\- $`d_{𝕊^n}(K^{},U^{})\frac{1}{C}\overline{d}_{𝕊^n}(K,U)`$, avec $`C`$ une constante universelle indépendante de la dimension;

\- une intersection non-vide d’ouverts $`U^{}`$ compte au plus $`D_n`$ éléments, avec $`D_n`$ une constante dépendant uniquement de la dimension.

Une fois une telle sous-division de $`K`$ construite, on applique le corrolaire 2 pour chaque couple $`(K^{},U^{})`$ et on trouve:

$`\text{vol}(K)={\displaystyle \text{vol}(K^{})}`$ $``$ $`C_n{\displaystyle \frac{1}{\left(d_{𝕊^n}(K^{},U^{})\right)^n}\text{vol}(Gauss_U^{})}`$
$``$ $`C_n{\displaystyle \frac{C^n}{\left(\overline{d}_{𝕊^n}(K,U)\right)^n}}{\displaystyle \text{vol}(Gauss_U^{})}`$
$``$ $`D_nC_n{\displaystyle \frac{C^n}{\left(\overline{d}_{𝕊^n}(K,U)\right)^n}}\text{vol}(Gauss_U)`$
$`=`$ $`\overline{C}_n{\displaystyle \frac{1}{\left(\overline{d}_{𝕊^n}(K,U)\right)^n}}\text{vol}(Gauss_U)`$
avec $`\overline{C}_n=C^nD_nC_n`$.

Remarquons d’abord qu’il suffit de faire la démonstration dans le cas où $`Gauss`$ est non-dégénérée sur $`\overline{U}`$: on pourra ensuite considérer une exhaustion de $`U`$ par des ouverts relativements compacts contenant $`K`$. Par continuité de la distance $`\overline{d}_{𝕊^n}`$ l’inégalité pour $`U`$ lui-même s’ensuivra. On travaillera par la suite sous cette hypothèse.

La construction de la sous-division $`\{(K^{},U^{})\}`$ se fait en deux étapes:

Etape 1: réduction au cas où $`Gauss(U)`$ est contenu dans une demi-sphère. Fixons une triangulation $`\{T_i\}`$ de la sphère $`𝕊^n`$ telle que chaque simplexe soit contenu dans une boule de rayon $`\frac{3\pi }{8}`$. Pour chaque $`T_i`$ considérons le voisinage $`V_i=\{p𝕊^n:\text{dist}_{𝕊^n}(p,T_i)<\frac{\pi }{8}\}`$. Tout $`V_i`$ sera contenu dans une demi-sphère et chaque $`V_i`$ intersectera au plus $`c_n`$ autres $`V_j`$, avec $`c_n`$ une constante qui dépend de la triangulation. La constante $`c_n`$ sera désormais fixée, et il est facile d’obtenir des estimations sur $`c_n`$ en fonction de $`n`$ en construisant une triangulation explicite.

On construit maintenant une division de $`K`$ et $`U`$ en prenant des préimages par $`Gauss`$. Soient $`U_i^l`$ les composantes connexes de $`G^1(V_i)U`$. Puisque $`G`$ est un difféomorphisme local au voisinage de $`\overline{U}`$, celles-ci coïncident avec les intérieurs des composantes connexes de $`G^1(\overline{V_i})\overline{U}`$, et ces dernières sont en nombre fini par compacité de $`\overline{U}`$. Donc les $`U_i^l`$ sont en nombre fini.

Soient $`K_i^l=G^1(T_i)KU_i^l`$. Les $`K_i^l`$ ne sont pas nécessairement connexes, mais ils sont d’intérieurs disjoints et on a

$$\underset{l}{}K_i^l=G^1(T_i)K$$

Ainsi $`\{(K_i^l,U_i^l)\}_{i,l}`$ forme une sous-division de $`(K,U)`$ et $`G(U_i^l)`$ est inclus dans une demi-sphère par construction. De plus

$$\overline{d}_{𝕊^n}(K_i^l,U_i^l)=\mathrm{min}\{\overline{d}_{𝕊^n}(K_i^l,U),\frac{\pi }{8}\}\frac{1}{4}\overline{d}_{𝕊^n}(K,U)$$

et le nombre de $`U_i^l`$ qui s’intersectent à la fois est borné par $`c_n`$.

Il suffira ainsi de trouver pour chaque couple $`(K_i^l,U_i^l)`$ une sous-division avec les propriétés désirées. Si les constantes qui apparaîtront sont notées $`C^{}`$ et $`D_n^{}`$, alors la construction aura été faite dans le cas général avec $`C=4C^{}`$, $`D_n=c_nD_n^{}`$.

Remarque: Pour minimiser la constante finale il faudra trouver un bon rapport entre le $`c_n`$ et la largeur de l’épaisissement $`V_i`$ de chaque $`T_i`$. La constante finale sera meilleure avec un $`c_n`$ petit et un épaisissement large. Or ces deux demandes sont antagoniques et le produit des deux quantités est minimisé par un certain choix de triangulation. Dans notre cas, on ne s’intéresse pas à la meilleure constante et on cherche juste une information qualitative.

Etape 2: on suppose désormais que $`Gauss(U)`$ est inclus dans une demi-sphère. Soit

$$\delta =\frac{1}{15}\overline{d}_{𝕊^n}(K,U)$$

Le lemme 1 assure que $`Gauss`$ est injective sur $`\stackrel{~}{B}(x\mathrm{,\hspace{0.17em}15}\delta )\stackrel{\text{not.}}{=}\stackrel{~}{B}_{d_{𝕊^n}}(x\mathrm{,\hspace{0.17em}15}\delta )`$ pour tout $`xK`$. Soit $`\left(\stackrel{~}{B}(x_i\mathrm{,\hspace{0.17em}3}\delta )\right)_{i=1,N}`$ un recouvrement fini minimal de $`K`$ par des boules de rayon $`3\delta `$ centrées en des points de $`K`$. On pose

$$B_i=\stackrel{~}{B}(x_i\mathrm{,\hspace{0.17em}3}\delta ),U_i=\stackrel{~}{B}(x_i\mathrm{,\hspace{0.17em}4}\delta ),i=1,N$$

$$K_1=\text{cl}\left(\stackrel{~}{B}(x_1\mathrm{,\hspace{0.17em}3}\delta )K\right)$$

$$K_i=\text{cl}\left(\stackrel{~}{B}(x_i\mathrm{,\hspace{0.17em}3}\delta )\left(K\underset{j=1}{\overset{i1}{}}K_j\right)\right),i=2,\mathrm{},N$$

où “cl” désigne l’adhérence d’un ensemble. Alors $`\{(K_i,U_i)\}`$ est un découpage de $`(K,U)`$ et nous affirmons qu’il vérifie les conditions désirées.

Par construction et hypothèse l’application de Gauss est injective et d’image contenue dans une demi-sphère sur chaque $`U_i`$. De plus,

$$d_{𝕊^n}(K_i,U_i)\delta =\frac{1}{15}\overline{d}_{𝕊^n}(K,U)$$

Il ne reste plus qu’à estimer le nombre de $`U_i`$ qui peuvent s’intersecter à la fois. On utilise le

###### Lemme 2.

Soit $`x𝕊^n`$, $`r<\frac{\pi }{2}`$ et $`CB_{𝕊^n}(x,r)`$ un fermé. Il existe un recouvrement de $`C`$ par au plus $`2^n`$ boules de rayon $`r`$ centrées en des points de $`C`$.

Preuve du lemme 2: Soit $`b_n`$ le cardinal d’une triangulation de $`𝕊^{n1}=B_{𝕊^n}(x,\frac{\pi }{2})`$ par des simplexes de diamètre plus petit que $`\frac{\pi }{2}`$. Pour tout $`r<\frac{\pi }{2}`$ il existe alors une triangulation de $`B_{𝕊^n}(x,r)`$ avec $`b_n`$ simplexes de diamètre plus petit que $`r`$. Les préimages des simplexes par projection radiale dans $`B_{𝕊^n}(x,r)\{x\}`$ déterminent avec $`x`$ une décomposition $`\{S\}`$ de $`B_{𝕊^n}(x,r)`$ en $`b_n`$ sous-ensembles de diamètre plus petit que $`r`$. Si $`C`$ intersecte un $`S`$, alors la boule de rayon $`r`$ centrée en un point quelconque de $`CS`$ contient $`S`$ et en particulier $`CS`$. On prend une telle boule pour chaque $`S`$ qui intersecte $`C`$ pour obtenir un recouvrement de $`C`$ avec au plus $`b_n`$ boules. A titre d’exemple, on peut prendre $`b_1=2`$, $`b_2=4`$. On prouve alors par récurence que $`b_n=2^n`$ convient.

$`\mathrm{}`$

Suite de la preuve du théorème 2 : Deux boules $`U_i=\stackrel{~}{B}(x_i\mathrm{,\hspace{0.17em}4}\delta )`$ et $`U_j=\stackrel{~}{B}(x_j\mathrm{,\hspace{0.17em}4}\delta )`$ peuvent s’intersecter uniquement si $`x_j\text{cl}\stackrel{~}{B}(x_i\mathrm{,\hspace{0.17em}8}\delta )`$. Soit $`e(n,\delta ,x_i)`$ le nombre minimal de boules de rayon $`3\delta `$ avec centres dans $`\stackrel{~}{B}(x_i\mathrm{,\hspace{0.17em}11}\delta )`$ nécessaires pour recouvrir $`\text{cl}\left(\stackrel{~}{B}(x_i\mathrm{,\hspace{0.17em}11}\delta )\stackrel{~}{B}(x_i\mathrm{,\hspace{0.17em}4}\delta )\right)`$. Alors $`U_i`$ peut intersecter au plus $`2^ne(n,\delta ,x_i)`$ parmi les $`U_j`$. Dans le cas contraire, avec le Lemme 2 on remplacerait les $`B_j`$ correspondants par au plus $`2^ne(n,\delta ,x_i)`$ boules de rayon $`3\delta `$ centrées en des points de $`K`$, sans toutefois diminuer la partie de $`K`$ qu’elles recouvrent. Mais ceci contredirait la minimalité du recouvrement initial.

La quantité $`e(n,\delta ,x_i)`$ ne dépend pas de $`x_i`$ car le raisonnement est fait en pratique sur la sphère $`𝕊^n`$. De plus, on a

$$e(n,\delta ,x_i)=e(n,\delta )e_^n(n,\delta )=e(n)$$

$`e_^n(n,\delta )`$ désigne la quantité analogue à $`e(n,\delta )`$ dans l’espace euclidien. Un argument simple d’homotétie montre que $`e_^n(n,\delta )`$ ne dépend pas de $`\delta `$, et elle a été notée plus haut par $`e(n)`$. L’inégalité $`e(n,\delta )e_^n(n,\delta )`$ est assurée par le fait que l’application exponentielle est contractante sur un espace à courbure positive: tout recouvrement sur $`^n`$ déterminera par l’exponentielle un recouvrement du même cardinal sur la sphère.

L’existence du découpage est donc prouvée sous l’hypothèse que l’image de l’application de Gauss est contenue dans une demi-sphère avec les constantes $`C^{}=15`$ et $`D_n^{}=2^ne(n)`$. Son existence dans le cas général est prouvée avec $`C=60`$ et $`D_n=c_n\mathrm{\hspace{0.17em}2}^ne(n)`$. Ceci achève la démonstration. $`\mathrm{}`$

###### Corollaire 3.

Soit $`ZM`$ le lieu des points de courbure de Gauss nulle. Il existe une constante $`C_n`$ indépendante de $`M`$ telle que, pour tout compact $`KM`$ qui n’intersecte pas $`Z`$ on a

$$\text{vol}(K)\overline{C}_n\frac{1}{\left(\overline{d}_{𝕊^n}(K,Z)\right)^n}\text{vol}(Gauss_M)$$
(29)
Remarques. 1) Le compact $`K`$ du corollaire 3 peut être disconnexe.

2)Il est intéressant de remarquer le cas $`Z=\mathrm{}`$. Ceci correspond à une courbure de Gauss partout positive, donc à une hypersurface convexe (respectivement à une courbe localement convexe dans le cas $`n=1`$). Dans cette situation, le terme de (29) impliquant $`\overline{d}`$ est absorbé dans $`\overline{C}_n`$ et nous retrouvons l’inégalité d’Archimède (section 2.3) avec une constante plus faible et sans ambition de caractériser le cas d’égalité.

3) La conclusion de la présente étude est le fait que le lieu $`Z`$ des points de courbure nulle joue un rôle essentiel dans la comparaison des volumes de $`M`$ et de son application de Gauss. L’inégalité (29) a un caractère asymptotique: plus on voudra attraper dans le compact $`K`$ un volume proche de celui de $`M`$, plus la distance $`\overline{d}_{𝕊^n}(K,Z)`$ devient petite et l’estimation grossière. L’inégalité est efficace sur des hypersurfaces enroulées sur elles mêmes (Figure 1b), mais elle démeure très grossière pour des hypersurfaces possédant de grandes régions plates ou ayant un lieu $`Z`$ trop riche (Figure 1a).

### 3.6 Techniques globales pour raffiner l’inégalité locale

Reprenons les notations de la section 3.1: $`UM`$ est un domaine sur lequel l’application de Gauss est injective et évite au moins un point de $`𝕊^n`$, $`V𝕊^n`$, $`\mathrm{\Omega }^n`$ et $`\stackrel{~}{\varphi }`$ est définie par $`\phi \stackrel{~}{\varphi }=\varphi `$.

Ecrivons la formule (11 ) sur un compact arbitraire à bord lisse $`KM`$:

$$\text{vol}(K)=\frac{1}{n}_Kp𝑑V+_K\beta _1$$
(30)
avec

$$\beta _1=\frac{(1)^{n1}}{n!}(\phi ,\nu ,\underset{n1}{\underset{}{d\phi ,\mathrm{},d\phi }})$$

et

$$=\text{ courbure moyenne sur }M$$

Nous allons estimer les termes intervenant dans (30) par les techniques déjà vues dans 3.4, sous l’hypothèse $`\phi (M)B^{n+1}(0,R)E^{n+1}`$. De façon évidente on a

$$_K\beta _1\frac{R}{n}\text{vol}(K)$$

Ceci découle de

$$|\beta _1|\frac{1}{n}\text{d}vol_K$$

En effet, soit $`(f_1,\mathrm{},f_{n1})`$ un repère local orthonormé sur $`K`$. On a

$$|\beta _1(f_1,\mathrm{},f_{n1})|=\frac{1}{n}\left|det(\phi ,\nu ,\phi _{}(f_1),\mathrm{},\phi _{}(f_{n1}))\right|\frac{1}{n}|\phi |\frac{R}{n}$$

puisque $`\phi `$ est une isométrie et $`\phi (M)`$ est contenue dans la boule de rayon $`R`$.

Soit maintenant $`UK`$ un ouvert sur lequel l’application de Gauss est non-dégénérée et injective, avec $`U`$ lisse. Nous pouvons alors exprimer les intégrales sur $`U`$ comme des intégrales sur $`V=Gauss(U)`$ et en déduire des majorations sur $`_Kp𝑑V`$ en utilisant les techniques de la section 3.4. Mettons

$`\alpha _1`$ $`\stackrel{\text{déf.}}{=}`$ $`pdV`$
$`=`$ $`{\displaystyle \frac{(1)^n}{(n1)!}}(\phi ,d\nu ,\underset{n1}{\underset{}{d\phi ,\mathrm{},d\phi }})`$
Evaluons $`\stackrel{~}{\varphi }^{}\alpha _1`$ sur un repère local orthonormé $`(e_1,\mathrm{},e_n)`$ de $`𝕊^n`$, qu’on peut choisir comme étant constitué de directions de courbure de $`M`$, c’est-à-dire $`\varphi _{}e_i=\lambda _ie_i`$, avec $`\lambda _i=\frac{1}{k_i}`$ et $`k_i`$ courbure principale de $`M`$.

$`\stackrel{~}{\varphi }^{}\alpha _1(e_1,\mathrm{},e_n)_{|_\theta }`$
$`=`$ $`{\displaystyle \frac{(1)^n}{(n1)!}}(\phi ,d\nu ,\underset{n1}{\underset{}{d\phi ,\mathrm{},d\phi }})(\stackrel{~}{\varphi }_{}e_1,\mathrm{},\stackrel{~}{\varphi }_{}e_n)`$
$`=`$ $`(1)^n{\displaystyle \underset{i_1<\mathrm{}<i_{n1}}{}}det(f(\theta )\theta +f(\theta ),e_1,\mathrm{},e_n)\lambda _{i_1}\mathrm{}\lambda _{i_{n1}}`$
$`=`$ $`(1)^nf(\theta ){\displaystyle \underset{i_1<\mathrm{}<i_{n1}}{}}\lambda _{i_1}\mathrm{}\lambda _{i_{n1}}`$
On a utilisé $`\nu \stackrel{~}{\varphi }\text{Id}`$, $`\phi \stackrel{~}{\varphi }\varphi `$. La fonction $`f`$ est définie par $`p\stackrel{~}{\varphi }=f`$. Dans la somme ci-dessus apparaissent des mineurs de $`\varphi _{}`$ (dans la base $`(e_1,\mathrm{},e_n)`$) d’ordre exactement $`n1`$. Ceci fait qu’ils sont contrôlables par $`\frac{R^{n1}}{d_{𝕊^n}(K,U)^{n1}}`$. Comme $`|f|R`$ on obtient

$$\left|_Kp𝑑V\right|C_n\frac{R^n}{d_{𝕊^n}(K,U)^{n1}}T(U)$$

L’estimation précédente est valable sous des hypothèses d’injectivité et de bornitude sur l’application de Gauss qui sont superflues. La technique de globalisation de la section 3.5 fournit le résultat suivant:

###### Théorème 3.

Soit $`\phi :M^nE^{n+1}`$, $`n2`$ une immersion isométrique d’image contenue dans la boule $`B^{n+1}(0,R)`$. Soit $`UM`$ un ouvert sur lequel l’application de Gauss est non-dégénérée. Il existe une constante $`\overline{C}_n`$ indépendante de $`U`$ et de $`M`$ telle que, si $`KU`$ est un compact, on a

$$\text{vol}(K)\overline{C}_n\frac{R^n}{\overline{d}_{𝕊^n}(K,U)^{n1}}T(U)+\frac{R}{n}\text{vol}(K)$$
(31)
La descente de l’exposant de $`n`$ à $`n1`$ s’appuie sur la formule intégrale de Minkowski (11 ). On pourrait penser que la formule plus générale (13) permettrait une descente à $`n2`$. Pourtant ce n’est pas le cas, car des termes de bord supplémentaires apparaitront et ils ne peuvent pas être contrôlés de manière raisonnable sauf en dimension deux. Dans ce dernier cas, (13) fournit

$$\text{vol}(K)=_K\left(p^2\frac{1}{2}q^2\right)𝒦𝑑S+_K\beta _1+_K\beta _2$$

avec

$$\beta _1=\frac{1}{2}(\phi ,\nu ,d\phi ),$$

$$\beta _2=\frac{1}{2}p(\phi ,\nu ,d\nu ),$$

et

$$𝒦=\text{courbure de Gauss sur }M$$

Les inégalités

$$\left|_K\beta _1\right|\frac{R}{2}\text{Long}(K)$$

et

$$\left|_K\left(p^2\frac{1}{2}q^2\right)𝒦𝑑S\right|R^2T(K)$$

ont déjà été prouvées. Par un calcul similaire à celui exprimant l’image inverse de $`\beta _1`$ on obtient

$$df\stackrel{~}{\varphi }^{}p(\phi ,\nu ,d\nu )=f|df|^2d\text{vol}_{𝕊^n}$$

c’est-à-dire

$$\stackrel{~}{\varphi }^{}\beta _2=\frac{1}{2}fdf$$

Or $`df`$ est bornée par la condition $`\phi (M)B(0,R)`$, ce qui assure que $`df`$ est aussi bornée par $`Rd\text{vol}_{Gauss(K)}`$ à une constante multiplicative près. Comme $`f`$ est elle-même bornée par $`R`$, on déduit l’existence d’un $`C>0`$ tel que

$$\left|_K\beta _2\right|CR^2\text{Long}(Gauss_K)$$

Il faut remarquer que nous ne supposons pas $`Gauss`$ comme étant non-dégénérée sur $`K`$. Nous en déduisons la

###### Proposition 4.

($`n=2`$) Soit $`\phi :M^2^3`$ une immersion isométrique de surface dont l’image est contenue dans la boule de rayon $`R`$. Soit $`UM`$ un ouvert à bord lisse. Il existe une constante $`C`$ telle que

$$\text{Aire}(U)R^2\left(T(U)+C\text{Long}(Gauss_U)+\frac{1}{2R}\text{Long}(U)\right)$$
(32)
Remarque: L’inégalité (32) peut être vue comme une inégalité de type isopérimétrique: une correction impliquant la façon dont $`M`$ est pliée est nécessaire afin de pouvoir borner l’aire d’un domaine par la longueur de son bord. Par exemple, tout comme on s’y attend, sur un domaine (presque) plat, l’inégalité isopérimétrique est (pratiquement) vérifiée.

Le caractère isopérimétrique est présent aussi en dimension supérieure, dans l’inégalité (31), cette fois-ci en sens inverse: une correction par le volume du bord est nécessaire afin de pouvoir borner de façon optimale le volume d’un domaine par le volume recouvert sur $`𝕊^n`$ par son application de Gauss (l’optimalité est entendue au sens de la puissance à laquelle apparait $`\overline{d}_{𝕊^n}(K,U)`$ au dénominateur).

## 4 Optimalité des inégalités

Nous discutons l’optimalité des différentes inégalités que nous avons obtenues. Pour alléger les notations on supposera désormais que l’image de l’immersion est contenue dans la boule unité de $`E^{n+1}`$.

### 4.1 Nécessité de considérer un épaisissement dans (19):

$$\text{vol}(K)C_n\frac{1}{\left(d_{𝕊^n}(K,U)\right)^n}\text{vol}(Gauss_U)$$

Le membre de droite est optimal au sens où on ne peut remplacer $`Gauss_U`$ par $`Gauss_K`$. Sous les hypothèses du corollaire 2 une inégalité du type

$$\text{vol}(K)C_n\frac{1}{d^n}\text{vol}(Gauss_K)$$
(33)
ne peut être vraie pour toute hypersurface $`M`$ et toute paire $`(U,K)`$ telle que $`d_{𝕊^n}(K,U)d`$ fixé, comme le montre l’exemple suivant.

Pour plus d’aisance dans l’écriture, on fait la construction en dimension $`1`$. On considère la famille d’ellipses

$$E_ϵ=\{(x,y):x^2+\frac{y^2}{ϵ^2}=1\}B(\mathrm{0,1})$$

On fixe $`\frac{\pi }{2}>d>0`$. On choisit $`U_ϵ=\{(x,y)E_ϵ:y>0\}`$ la demi-ellipse supérieure et $`K_ϵ=\{(x,y)U_ϵ:|x|r\}`$, avec $`0<r<1`$ fixé. Pour $`ϵ`$ suffisamment petit on a effectivement $`d_{𝕊^1}(K_ϵ,U_ϵ)d`$, mais $`\text{Long}(K_ϵ)\underset{ϵ0}{\overset{}{}}2r`$, tandis que $`\text{Long}(Gauss_{K_ϵ})\underset{ϵ0}{\overset{}{}}0`$. Ceci montre qu’une inégalité du type (33) ne peut être vérifiée. La même construction fonctionne en dimension supérieure en considérant la famille d’ellipsoïdes

$$E_ϵ=\{(x_1,\mathrm{},x_{n+1})^{n+1}:x_1^2+\mathrm{}+x_n^2+\frac{x_{n+1}^2}{ϵ^2}=1\}B(\mathrm{0,1})$$

ainsi que

$$U_ϵ=\{(x_1,\mathrm{},x_{n+1})E_ϵ:x_{n+1}>0\},K_ϵ=\{(x_1,\mathrm{},x_{n+1})U_ϵ:\underset{i=1}{\overset{n}{}}x_i^2r^2\}$$

### 4.2 Optimalité de l’inégalité (32)

Les trois termes $`\text{Aire}(Gauss_U)`$, $`\text{Long}(Gauss_U)`$ et $`\text{Long}(U)`$ constituant la partie droite de l’inégalité sont indépendants, dans le sens qu’aucun d’entre eux ne peut être borné par les deux autres. Dans la figure 2 nous donnons trois exemples de bouts de surfaces à bord dans lesquels deux des trois termes sont négligeables par rapport au troisième. Les termes négligeables sont, respectivement: $`\text{Aire}(Gauss_U)`$ et $`\text{Long}(Gauss_U)`$ pour (1); $`\text{Long}(U)`$ et $`\text{Long}(Gauss_U)`$ pour (2); $`\text{Aire}(Gauss_U)`$ et $`\text{Long}(U)`$ pour (3).

Les exemples $`(1)`$ et $`(2)`$ dans la figure 2 prouvent aussi que les quantités $`\text{Aire}(Gauss_U)`$ et $`\text{Long}(U)`$ sont essentielles dans le fonctionnement de l’inégalité (32). On n’a pas encore d’exemple pour montrer que la quantité $`\text{Long}(Gauss_U)`$ est aussi essentielle. Il est fort possible qu’une inégalité du type

$$\text{Aire}(U)C\text{Aire}(Gauss_U)+C^{}\text{Long}(U)$$

soit vérifiée.

### 4.3 Meilleure estimation pour le volume d’un compact $`KM`$ fixé

Plaçons-nous dans le contexte du corollaire 2: $`K`$ est un compact admettant un voisinage $`U`$ sur lequel $`Gauss`$ est non-dégénérée, injective et d’image contenue dans une demi-sphère. L’inégalité (19) est alors valable:

$$\text{vol}(K)C_n\frac{1}{\left(\text{d}_{𝕊^n}(K,U)\right)^n}\text{vol}(Gauss_U)$$

Le but initial de cette étude était de majorer le volume de $`K`$ par un certain volume recouvert sur $`𝕊^n`$ par $`Gauss`$. Il est évident que, pour une distance $`d=d_{𝕊^n}(K,U)`$ fixée, la meilleure estimation par (19) est obtenue en choissant $`U`$ tel que $`Gauss(U)=Gauss(K)_d`$, où $`Gauss(K)_d`$ est l’épaisissement par $`d`$ de $`Gauss(K)`$:

$$Gauss(K)_d=\{x𝕊^n:\text{dist}_{𝕊^n}(x,Gauss(K))<d\}$$

On écrira $`K_d`$ pour l’épaisissement par $`d`$ de $`K`$ par rapport à la distance sphérique sur $`U`$:

$$K_d=\{xU:d_{𝕊^n}(x,K)<d\}$$

Alors $`Gauss(K_d)=Gauss(K)_d`$.

Ainsi $`K_d`$ est le plus petit ouvert $`𝒰`$ satisfaisant $`d_{𝕊^n}(K,𝒰)=d`$ et on a, sous l’hypothèse d’existence d’un $`U`$ comme ci-dessus,

$$\text{vol}(K)C_n\frac{1}{d^n}\text{vol}(Gauss(K)_d)$$
(34)
Cette écriture de l’inégalité ne fait intervenir de voisinage du compact qu’implicitement. Le $`d`$ peut varier entre $`0`$ et $`d_{\mathrm{max}}`$, où

$$\begin{array}{c}d_{\mathrm{max}}=\mathrm{max}\{d:U\text{ ouvert }K_d\text{ t.q. }Gauss_{|_U}\text{ non-dégénérée,}\hfill \\ \text{ injective et d’image contenue dans une demi-sphère }\}\hfill \end{array}$$

Nous nous intéressons alors à comprendre quel est le minimum du membre de droite dans (34). Le problème plus général à traiter est de trouver

$$\underset{0<d<d_{\mathrm{max}}}{\mathrm{min}}\frac{\text{vol}(A_d)}{d^n}$$

pour $`A𝕊^n`$ un compact quelconque inclus dans une demi-sphère $`𝒟`$, $`A_d`$ un épaisissement par $`d`$ de $`A`$ et $`d_{\mathrm{max}}\text{dist}_{𝕊^n}(A,𝒟)`$. La réponse complète à cette question est fournie par la proposition suivante, démontrée dans un cadre plus général dans l’appendice.

###### Proposition 5.

Pour tout compact $`K𝕊^n`$ inclus dans une demi-sphère la fonction

$$f(d)=\frac{\text{vol}(Gauss(K)_d)}{d^n}$$

est décroissante sur l’intervalle $`]0,d_{\mathrm{max}}]`$.

En particulier, la meilleure estimation dans l’inégalité (34) est obtenue pour $`d=d_{\mathrm{max}}`$.

### 4.4 Optimalité de l’inégalité (28)

$$\text{vol}(K)\overline{C}_n\frac{1}{\overline{d}_{𝕊^n}(K,U)^{n1}}\text{vol}(Gauss_U)+\frac{1}{n}\text{vol}(K)$$
(35)
Nous rapellons que $`Gauss`$ est supposée non-dégénérée sur l’ouvert $`U`$ et $`KU`$ est un compact. De plus, l’inégalité fonctionne pour une immersion isométrique de $`U`$ dans $`^{n+1}`$. Nous allons montrer que les deux termes de droite dans (35) sont essentiels dans le fonctionnement de l’inégalité et que l’exposant $`n1`$ est optimal.

a) Le terme $`\text{vol}(K)`$ est essentiel. Considérons une suite $`U_k`$ de bouts de surface définis par

$$U_k=B^{n+1}(\mathrm{0,1})S^n((0,\mathrm{}\mathrm{,\; 0},k),k+\frac{1}{k})$$
(36)
Les $`U_k`$ sont des hémi-sphères de courbure de plus en plus faible, qui tendent avec $`k`$ vers le disque ouvert

$$D^n(\mathrm{0,1})=\{x=(x_1,\mathrm{},x_{n+1})^{n+1}:|x|<1\text{ et }x_{n+1}=0\}$$

L’image par $`Gauss`$ de $`U_k`$ est une boule géodésique sur $`𝕊^n`$ centrée au pôle nord, de rayon $`\rho _k0`$. Soit $`K_k`$ la préimage de la boule géodésique fermée de même centre et rayon $`\rho _k/2`$. Alors $`K_k\overline{D}^n(0,\frac{1}{2})`$ (Figure 3, (1)). Par construction $`d_{𝕊^n}(K_k,U_k)=\rho _k/2`$, tandis que $`\text{vol}(Gauss_{U_k})\rho _k^n`$. Ainsi

$$\frac{\text{vol}(Gauss_{U_k})}{\left(d_{𝕊^n}(K_k,U_k)\right)^{n1}}\rho _k0$$

devient négligeable devant $`\text{vol}(K_k)`$. Ceci prouve que le terme $`\text{vol}(K_k)`$ est essentiel pour le fonctionnement de l’inégalité (28). Le même exemple prouve que l’inégalité (28) est optimale au sens où l’exposant $`n`$ ne peut être diminué sans ajout de termes supplémentaires.

b) Le terme $`\frac{1}{\overline{d}_{𝕊^n}(K,U)^{n1}}\text{vol}(Gauss_U)`$ est essentiel. Une inégalité du type $`\text{vol}(K)C\text{vol}(K)`$ ne peut être vraie telle quelle, comme on peut le voir facilement en prenant pour $`K`$ une sphère dont on a enlevé une boule géodésique arbitrairement petite.

c) L’exposant $`n1`$ dans (28) est optimal pour le coefficient $`\frac{1}{n}`$ devant $`\text{vol}(K)`$. A l’intérieur du disque plan

$$D^2(\mathrm{0,1})=\{x=(x_1,\mathrm{},x_{n+1})^{n+1}:|x|<1\text{ et }x_3=\mathrm{}=x_{n+1}=0\}$$

considérons une courbe fermée imergée, appelée $`\gamma `$.

La construction que nous présentons généralise celle des surfaces de rotation dans $`^3`$. La courbe $`\gamma `$ admet en chaque point un plan normal géométrique de dimension $`n`$, et tous ces plans normaux sont canoniquement identifiés par des translations et rotations dans $`^2\{x_3=\mathrm{}=x_{n+1}=0\}`$. Fixons une hypersurface $`H`$ de dimension $`n1`$ passant par l’origine dans un de ces plan normaux. Son image via les identifications canoniques décrit le long de $`\gamma `$ une hypersurface $``$ de dimension $`n`$ dans $`^{n+1}`$ qu’on appelle hypersurface de rotation définie par $`H`$ le long de $`\gamma `$.

Nous donnons des exemples de telles hypersurfaces de rotation $``$ pour lesquelles la différence $`\text{vol}(K)\frac{1}{n}\text{vol}(K)`$ est arbitrairement grande et dominée par $`C_n\frac{1}{\overline{d}_{𝕊^n}(K,U)^{n1}}\text{vol}(Gauss_U)`$, mais pour lequelles $`C\frac{1}{\overline{d}_{𝕊^n}(K,U)^{n2}}\text{vol}(Gauss_U)`$ est arbitrairement petit quelle que soit la constante $`C`$.

Faisons d’abord une remarque concernant la lissité des hypersurfaces $``$ construites comme ci-dessus. Comme le montre l’exemple des sphères (pour lesquelles on prend pour $`\gamma `$ un cercle et pour $`H`$ une demi-sphère), $``$ peut avoir des singularités, issues de l’intersection de ”méridiens” $`H`$ voisins. L’absence de singularités sur un méridien $`H_p`$ au point $`p\gamma `$ dépend de la courbure de $`\gamma `$ en $`p`$ et de la courbure de $`H`$. En termes précis, il faut que la projection de $`H`$ sur la normale à $`\gamma `$ au point $`p`$ s’éloigne de $`p`$ d’une distance au plus égale au rayon focal en $`p`$. Comme cela on est sur que les $`H`$ “voisines” ne s’intersectent pas. En particulier, si la courbure de $`\gamma `$ est bornée supérieurement, on peut prendre pour $`H`$ une hémisphère centrée sur $`\gamma `$, de courbure suffisamment faible. Ceci est le point de départ de notre construction.

Prenons donc pour $`\gamma `$ une courbe fermée imergée localement convexe. Pour tout $`\delta <1`$ il existe une telle courbe de longueur arbitrairement grande contenue dans $`D^2(0,\delta )`$ et de courbure bornée supérieurement par $`2/\delta `$. En particulier le rayon focal est minoré par $`\delta /2`$. Soit $`_k`$ une suite d’hypersurfaces de rotation construites sur $`\gamma `$ à partir d’hémisphères de rayon géodésique égal à $`r<1`$ et courbure tendant vers $`0`$ avec $`k`$. Le $`r`$ est choisi pour que $`_kB^{n+1}(\mathrm{0,1})`$. En prenant $`\delta `$ suffisamment petit, le $`r`$ peut être choisi arbitrairement proche de $`1`$.

Prenons $`U_k=_k`$. L’image par Gauss de $`U_k`$ est un tube de rayon $`\rho _k0`$ autour du grand cercle $`\overline{D}^2(\mathrm{0,1})𝕊^n`$, et on définit $`K_k`$ comme la préimage par Gauss du tube de rayon $`\rho _k/\lambda `$ autour du même grand cercle, avec $`\lambda >1`$ (Figure 3, (2)). Alors

$$\text{vol}(K_k)\text{vol}B^{n1}(\frac{r}{\lambda })\text{Long}(\gamma )=\frac{r}{\lambda }\frac{1}{n1}\text{vol}𝕊^{n2}(\frac{r}{\lambda })\text{Long}(\gamma )$$

$$\text{vol}(K_k)\text{vol}𝕊^{n2}(\frac{r}{\lambda })\text{Long}(\gamma )$$

Si $`\frac{r}{\lambda }>\frac{n1}{n}`$ (ce qui est réalisable pour $`r`$, $`\lambda `$ proches de $`1`$), alors $`\text{vol}(K_k)\frac{1}{n}\text{vol}(K_k)`$ est positif et peut être rendu arbitrairement grand en augmentant $`\text{Long}(\gamma )`$. Ceci démontre déjà qu’une correction de $`\text{vol}(K_k)`$ par un terme supplémentaire est nécessaire. D’un autre côté,

$$\text{vol}(Gauss_{U_k})\rho _k^{n1}\text{Long}(\gamma )$$

$$\overline{d}_{𝕊^n}(K_k,U_k)=\rho _k\left(1\frac{1}{\lambda }\right)$$

Ceci montre qu’un exposant $`\eta `$ strictement plus petit que $`n1`$ rendrait la quantité $`1/\left(\overline{d}_{𝕊^n}(K_k,U_k)\right)^\eta \text{vol}(Gauss_{U_k})`$ équivalente à $`\rho _k^{n1\eta }0`$, ne pouvant donc pas dominer $`\text{vol}(K_k)\frac{1}{n}\text{vol}(K_k)`$. L’exposant $`n1`$ est donc optimal pour le coefficient $`\frac{1}{n}`$ dans (28).

$`\mathrm{}`$

Remarque. Nous ne savons pas prouver que l’exposant $`n1`$ est optimal pour tout coefficient devant $`\text{vol}(K)`$. Par exemple, notre exemple ne fonctionne pas si le coefficient $`\frac{1}{n}`$ est remplacé par $`\frac{1}{n1}`$.

## 5 Appendice I. Une inégalité isopérimétrique inverse

Les résultats que nous présentons dans cet appendice ont été motivés par la recherche d’une preuve pour la proposition 5, à son tour motivée par l’étude de la meilleure façon d’estimer le volume d’un compact 4.3. Dans la suite on désignera par $`^n`$ l’espace euclidien $`^n`$, la sphère $`𝕊^n`$ ou l’espace hyperbolique $`H^n`$. Si $`K`$ est un compact de $`^n`$ et $`d>0`$ un réel positif on note

$$K_d=\{x^n:d(x,K)<d\}$$

On note par $`B(d)`$ une boule ouverte de rayon $`d`$ dans $`^n`$. On pose

$$d_{\text{max}}(K)=\pi \text{Circumradius}(K),^n=𝕊^n$$

$$d_{\text{max}}(K)=+\mathrm{},^n=^n,H^n$$

Nous allons montrer la

###### Proposition 6.

Pour tout compact $`K^n`$ et pour tout réel $`0<d<d_{\text{max}}(K)`$ on a l’inégalité

$$\frac{\text{vol}_nK_d}{\text{vol}_{n1}K_d}\frac{\text{vol}_nB(d)}{\text{vol}_{n1}B(d)}$$
(37)
avec égalité si et seulement si $`K`$ est un ensemble fini de points situés à distance au moins $`d`$ l’un de l’autre (ou, en d’autres mots, si $`K_d`$ est une union disjointe de boules de rayon $`d`$).

Avant d’en donner la preuve, indiquons un corollaire et une formulation équivalente de la proposition 6.

###### Corollaire 4.

Sous les hypothèses précédentes et pour $`^n=^n,𝕊^n`$ on a

$$\frac{\text{vol}_nK_d}{\text{vol}_{n1}K_d}\frac{d}{n}$$

En particulier, la fonction

$$f(d)=\frac{\text{vol}_nK_d}{d^n}$$
(38)
est décroissante pour $`0<d<d_{\text{max}}(K)`$.

Démonstration. Soit $`\alpha _{n1}`$ le volume de la sphère unité de $`^n`$. Il est facile de voir que :

* pour $`^n=^n`$, on a $`\text{vol}_{n1}B(d)=d^{n1}\alpha _{n1}`$, $`\text{vol}_nB(d)=_0^dt^{n1}\alpha _{n1}𝑑t=\frac{d^n}{n}\alpha _{n1}`$. Ceci entraîne

$$\frac{\text{vol}_nB(d)}{\text{vol}_{n1}B(d)}=\frac{d}{n}$$
* pour $`^n=𝕊^n`$, on a $`\text{vol}_{n1}B(d)=(\mathrm{sin}d)^{n1}\alpha _{n1}`$, $`\text{vol}_nB(d)=_0^d(\mathrm{sin}t)^{n1}\alpha _{n1}𝑑t`$. Alors on montre que

$$\frac{\text{vol}_nB(d)}{\text{vol}_{n1}B(d)}=\frac{_0^d(\mathrm{sin}t)^{n1}𝑑t}{(\mathrm{sin}t)^{n1}}\frac{d}{n}$$

Pour cela il suffit de voir que la fonction $`g(d)=n_0^d(\mathrm{sin}t)^{n1}𝑑td(\mathrm{sin}d)^{n1}`$ est croissante et nulle en $`d=0`$, ce qui assure sa positivité.

$`\mathrm{}`$

Remarque. C’est l’étude de la fonction $`f(d)`$ dans (38) qui a engendré l’étude de (37). Dans le cas d’un convexe $`K^n`$ une formule due à Steiner (\[BZ\], §4.19) assure que $`\text{vol}_nK_d`$ est un polynôme de degré $`n`$ en $`d>0`$ ayant les coefficients positifs, d’où la décroissance de $`f`$. Dans le cas non-convexe on peut encore écrire $`\text{vol}_nK_d`$ comme polynôme de degré $`n`$ en $`d`$ \[F\], mais uniquement pour des valeurs de $`d`$ plus petites que le rayon focal de $`K`$ lorsque celui-ci est lisse, ou plus petites qu’un analogue du rayon focal pour des compacts à bord ”raisonnablement” singulier \[F\].

C’est la décroissance de $`f`$ pour de très petites et de très grandes valeurs de $`d`$ (dans ce dernier cas, $`K_d`$ est proche d’une boule de rayon $`d`$) qui nous a menés vers l’étude de sa décroissance globale.

Il convient d’observer que la variation de $`\text{vol}_nK_d`$ peut être très compliquée dans le domaine intermédiaire, notamment à cause de la présence de trous dans $`K`$ qui peuvent être absorbés dans $`K_d`$ pour $`d`$ suffisamment grand.

La classe d’ouverts de $`^n`$ pour lesquels l’inégalité 37 est valable est

$$𝒞_d=\{D\text{ ouvert borné}^n:xD,\text{ boule }xB(d)D\}$$

De façon évidente, si $`K`$ est un compact alors

$$K_d𝒞_d$$
(39)
La proposition 6 découlera alors de la

###### Proposition 7.

Pour tout ouvert $`D𝒞_d`$ on a

$$\frac{\text{vol}_nD}{\text{vol}_{n1}D}\frac{\text{vol}_nB(d)}{\text{vol}_{n1}B(d)}$$
(40)
On a égalité si et seulement si $`D`$ est une union disjointe de boules de rayon $`d`$.

C’est cette dernière inégalité qui peut être regardée comme une inégalité isopérimétrique “inverse”. Remarquons d’ailleurs que $`𝒞_d`$ coïncide avec

$$𝒞_d^{}=\{D\text{ ouvert}^n:K\text{ compact, }D=K_d\}$$

En effet, l’inclusion $`𝒞_d^{}𝒞_d`$ découle de (39). D’un autre côté tout ouvert $`D𝒞_d`$ peut s’écrire

$$D=(D_d)_d$$

avec

$$D_d=\{xD:d(x,D)d\}$$

L’inclusion $`(D_d)_dD`$ est valable pour un ouvert arbitraire, n’appartenant pas nécessairement à $`𝒞_d`$. Pour voir l’inclusion inverse, prenons un point $`xD`$ quelconque. Puisque $`D𝒞_d`$ il existe une boule $`xB(y,d)D`$, ce qui assure que $`yD_d`$. Ceci entraîne $`B(y,d)(D_d)_d`$ et donc $`x(D_d)_d`$.

On conclut que les propositions 6 et 7 sont équivalentes.

Démonstration de la proposition 7. <sup>1</sup><sup>1</sup>1Une première preuve, en dimension $`2`$ et pour la métrique euclidienne, m’a été suggérée par Nicolae Mihalache. Je lui en suis vivement reconnaissant.  Un ouvert $`D𝒞_d`$ peut s’écrire comme

$$D=\underset{i=1}{\overset{\mathrm{}}{}}B_i(d)$$

avec

$$\underset{N}{lim}\text{vol}_n\underset{i=1}{\overset{N}{}}B_i(d)=\text{vol}_nD$$

$$\underset{N}{lim}\text{vol}_{n1}\underset{i=1}{\overset{N}{}}B_i(d)=\text{vol}_{n1}D$$

Il suffit donc de prouver (40) lorsque $`D`$ est une union finie de boules de rayon $`d`$. On raisonne par récurrence sur $`N`$. Lorsque $`N=1`$ on a même l’égalité. Pour alléger les notations dans le passage de $`N`$ à $`N+1`$ on note

$$V_N=\text{vol}_n\underset{i=1}{\overset{N}{}}B_i(d)_N=\text{vol}_{n1}\underset{i=1}{\overset{N}{}}B_i(d)$$

Soit

$$U_{N+1}=B_{N+1}(d)\left(\underset{i=1}{\overset{N}{}}B_i(d)\right)$$

Alors (voir aussi la figure 4)

$$V_{N+1}+\text{vol}_nU_{N+1}=V_N+\text{vol}_nB_{N+1}(d)$$

$$_{N+1}+\text{vol}_{n1}U_{N+1}=_N+\text{vol}_{n1}B_{N+1}(d)$$

En appliquant l’hypothèse de récurrence on déduit

$$\frac{V_{N+1}+\text{vol}_nU_{N+1}}{_{N+1}+\text{vol}_{n1}U_{N+1}}\frac{\text{vol}_nB(d)}{\text{vol}_{n1}B(d)}$$

Pour conclure il suffit alors de montrer que

$$\frac{\text{vol}_nU_{N+1}}{\text{vol}_{n1}U_{N+1}}\frac{\text{vol}_nB(d)}{\text{vol}_{n1}B(d)}$$
(41)
On utilise maintenant l’inégalité isopérimétrique dans $`^n`$ (\[BZ\], §10.2.1): si $`B(h)`$ désigne la boule de volume égal à $`\text{vol}_nU_{N+1}`$ on a l’inégalité $`\text{vol}_{n1}U_{N+1}\text{vol}_{n1}B(h)`$. On en déduit

$$\frac{\text{vol}_nU_{N+1}}{\text{vol}_{n1}U_{N+1}}\frac{\text{vol}_nB(h)}{\text{vol}_{n1}B(h)}$$

D’un autre côté, puisque $`U_{N+1}B_{N+1}(d)`$ on a forcément $`hd`$ et l’inégalité (41) s’ensuit une fois qu’on aura remarqué que la fonction $`G(d)=\frac{\text{vol}_nB(d)}{\text{vol}_{n1}B(d)}`$ est strictement croissante en $`d>0`$.

* si $`^n=^n`$ alors $`G(d)=\frac{d}{n}`$ ;
* si $`^n=𝕊^n`$ alors $`G(d)=\frac{_0^d(\mathrm{sin}t)^{n1}𝑑t}{(\mathrm{sin}t)^{n1}}`$. Sa croissance équivaut à la positivité de $`G_1(d)=(\mathrm{sin}d)^n(n1)_0^d(\mathrm{sin}t)^{n1}𝑑t\mathrm{cos}d`$, or $`G_1(0)=0`$ et $`G_1^{}0`$ ;
* si $`^n=H^n`$ alors $`G(d)=\frac{_0^d(\text{sinh }t)^{n1}𝑑t}{(\text{sinh }t)^{n1}}`$. Sa croissance équivaut à la positivité de $`G_1(d)=(\mathrm{sinh}d)^n(n1)_0^d(\mathrm{sinh}t)^{n1}𝑑t\mathrm{cosh}d`$, or $`G_1(0)=G_1^{}(0)=0`$ et $`G_1^{\prime \prime }0`$.

$`\mathrm{}`$