Une famille d'inégalités géométriques qui minorent la mesure du bord (périmètre, aire de surface) d'une région en fonction de son volume, affirmant que parmi les ensembles de volume donné, la boule (la sphère) minimise la mesure du bord.

Principe

Optimiser la mesure du bord sous contrainte de volume ; dans l'espace euclidien l'extrémale est la boule ronde car la distribution de courbure et la symétrie minimisent le périmètre pour un volume donné.

Démonstration

Dans le plan l'inégalité isopérimétrique s'écrit 4πA ≤ L^2 où A est l'aire et L le périmètre ; l'égalité est atteinte exactement pour le cercle, qui réalise le périmètre minimal pour une aire donnée.

Mauvaise application

Appliquer l'inégalité isopérimétrique euclidienne classique à des ensembles à frontière fractale ou à des espaces métriques sans vérifier la régularité métrique-mesure requise et les hypothèses de courbure ambiante.

Conséquence

Fournit des estimations fondamentales utilisées pour déduire des inégalités de Sobolev et de Poincaré, des résultats de concentration de la mesure et des minorations des valeurs propres d'opérateurs de type Laplacien en analyse géométrique.

Inversion

La notion complémentaire est l'inégalité isodiamétrique qui compare volume et diamètre ; minimiser le bord pour un volume fixé (isopérimétrie) diffère de maximiser le volume pour un diamètre fixé (isodiamétrie).

Limite

Valable dans R^n euclidien et dans de nombreuses variétés riemanniennes avec courbure maîtrisée ; les extensions existent mais demandent d'adapter les constantes et peuvent échouer dans des espaces métriques singuliers ou très non euclidiens.

Tension sémantique

Parfois confondue avec les inégalités de Sobolev ou de Poincaré qui en sont des conséquences analytiques : l'isopérimétrie est géométrique et exacte pour les formes, tandis que Sobolev borne des normes de fonctions et peut être dérivée d'estimations isopérimétriques.

Synthèse

L'inégalité isopérimétrique affirme que, parmi les domaines de volume fixé, la sphère minimise la mesure du bord, offrant un principe extremal géométrique qui sous-tend des inégalités analytiques et des bornes spectrales.