Inégalité isopérimétrique anisotrope

L'inégalité isopérimétrique anisotrope est une variante de l'inégalité isopérimétrique classique.

Histoire 

Le problème isopérimétrique anisotrope apparaît pour la première fois en 1901 dans un article de George Wulff. Wulff s'intéresse à la forme de certains cristaux soumis uniquement à des tensions de surface. Ces tensions ont des forces d'intensités différentes selon la direction normale à la surface du cristal. Autrement dit, la tension de surface n'est pas homogène: c'est pour cela que l'on parle d'anisotropie. Le cristal tend à prendre la forme qui minimise son énergie de surface. En modélisant cette énergie de surface par une notion adéquat de périmètre anisotropique, le problème revient à minimiser ce périmètre anisotropique en conservant un volume constant (égal au volume du cristal). En 1951, Conyers Herring justifie l'hypothèse disant que la seule force qui influe sur la forme du cristal est sa tension de surface en restreignant l'étude à des cristaux à grains suffisamment petits.

Du point de vue mathématique, l'anisotropie est modélisée par un ensemble convexe et bornée K qui attribue un poids à chaque direction de l'espace (les détails sont donnés dans la section suivante). Dans le cas isotrope, l'ensemble K n'est rien d'autre que la sphère unité. Dans son article, Wulff émet la conjecture que l'unique forme que peut prendre un cristal soumis à une tension de surface induite par K est celle de K lui-même. La véracité de cette conjecture est prouvée pour la première fois en 1944 par Alexander Dinghas, supposant toutefois que les cristaux ne peuvent prendre comme forme que celles de polyèdres convexes. En 1978, J.E.Taylor prouve la conjecture dans le contexte des ensembles bornés de périmètre fini. Sa preuve utilise des arguments de théorie géométrique de la mesure et de théorie des courants, ainsi qu'une délicate approximation des ensembles de périmètre fini par des polyèdres. En 1991, Irene Fonseca et Stefan Muller donnent une preuve alternative qui ne fait pas intervenir de courants, qui ne fait intervenir l'approximation utilisée par J.E. Taylor, et qui permet de supprimer l'hypothèse de bornitude sur les ensembles considérés. Bernard Dacorogna et C.-E. Pfister fournissent en 1992 une preuve totalement analytique dans le cas de la dimension 2.

En 1986, dans son appendice au livre de Milman et Schechtman, Mikhaïl Gromov propose une preuve d'une version fonctionnelle de l'inégalité en utilisant la fonction de Knothe. En 2010, Alessio Figalli, Francesco Maggi et Aldo Pratelli ont repris cette preuve en remplaçant la fonction de Knothe par celle de Brenier. Ce choix leur permet d'obtenir des estimées qui leur servent ensuite pour démontrer une version quantitative de l'inégalité.

Enoncé 

Soit  un ensemble ouvert convexe borné de  contenant . On définit la fonction

qui donne un poids plus important aux directions de  vers lesquelles  est plus grand. Pour tout ensemble  de périmètre fini, on définit son périmètre anisotropique
. Le problème isopérimétrique anisotropique est alors celui de trouver dans la collection des ensembles  de volume constant égal au volume de  celui (ou ceux) qui minimisent la quantité . Une formulation équivalente est la recherche de l'ensemble (ou des ensembles)  de périmètre fini et de volume fini et non nul minimisant la quantité 

où .
L'unique solution de ces deux problèmes équivalents est l'ensemble , ce qui se traduit sous la forme d'une égalité:

Preuve 
La preuve présentée ici est celle de Figalli, Maggi, et Pratelli. Elle nécessite quelques connaissances sur le transport optimal et la théorie géométrique de la mesure.

Soit  de périmètre fini tel que  (on peut toujours se ramener à cette hypothèse en dilatant : la quantité que l'on cherche à minimiser est en effet invariante par dilatations). Ainsi

Soit  la fonction de Brenier. L'une des premières propriétés de  est que  presque partout sur . On peut donc écrire

afin de pouvoir appliquer l'inégalité arithmético-géométrique. En effet, une seconde propriété de la fonction de Brenier  est qu'elle est le gradient d'une fonction convexe, donc sa dérivée distributionnelle est une mesure de Radon à valeurs dans l'ensemble des matrices  symétriques et définies positives. De plus,  se décompose en la somme d'une partie absolument continue par rapport à la mesure de Lebesgue  et une partie singulière  qui est une mesure de Radon positive (ainsi la divergence distributionnelle de  vérifie ).  étant à valeurs dans l'ensemble des matrices symétriques et définies positives, ses valeurs propres sont réelles et positives. En appliquant l'inégalité arithmético-géométrique à celles-ci, il vient que . Ainsi

Une application directe du théorème de la divergence dans le cadre des ensembles de périmètre fini donne

où  désigne la trace de  sur . Introduisant la jauge  du convexe , il est facile de montrer que l'inégalité de Cauchy-Schwarz  est vraie pour tout  et . D'où

Enfin le fait que  soit à valeurs dans  et que  implique que  sur . D'où le résultat.

Notes et références 

Isoperimetrique anisotrope