La remarquable ingalit de Prkopa-Leindler

Alain R. Veeravalli
Matre de confrences l'universit d'Evry-Val d'Essonne.
Membre du jury de l'agrgation externe de mathmatiques
Dcouverte dans les annes 70, l'ingalit de Prkopa-Leindler figure dsormais en bonne place dans les traits
modernes de gomtrie dite convexe. Deux applications permettent d'en illustrer la force : elle compte parmi ses
nombreux corollaires le thorme de Brunn-Minkowski et l'ingalit isoprimtrique en toute dimension ! Cette note
exposera ces rsultats. Signalons que la composition de mathmatiques gnrales de l'agrgation externe (session
2001) se proposait, dans l'une de ses parties, de dmontrer par un autre biais le thorme de Brunn-Minkowski.

Partie 1
Une ingalit anti-hldrienne
Bibliographie

Partie 1
Une ingalit anti-hldrienne
De la classique ingalit de Hlder, on dduit aisment le rsultat suivant :

Soient un entier naturel non nul, un rel de l'intervalle , et trois fonctions
positives intgrables sur telles que


Alors on a



Dans les annes 70, Prkopa et Leindler ([4, 5]) dcouvrent une ingalit note dans la suite (PL)
et s'noncant ainsi :

Ingalit de Prkopa-Leindler
Soient un entier naturel non nul, un rel de l'intervalle , et trois fonctions
positives intgrables sur telles que


Alors on a
Page 1sur 6 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=354&Type=enonce&Num=0&Mode=...


Prsent ainsi, (PL) justifie le qualificatif anti-hldrien qui lui est parfois attach. Citons-en
maintenant deux applications qui motiveront le dernier paragraphe dvolu la dmonstration de
(PL).
Le thorme de Brunn-Minkowski
Si et sont deux compacts non-vides de de volumes nots respectivement et
, alors l'ingalit (PL) applique aux fonctions caractristiques des ensembles et
, exprime la Log-concavit de la
fonction volume (Vol en abrg) sur l'ensemble des compacts non-vides de :

Sous les hypothses prcdentes, on a


En fait, on a mieux : la fonction est concave sur l'ensemble des compacts non-vides de
:

Thorme de Brunn-Minkowski
Sous les hypothses prcdentes, on a


Par la classique ingalit moyenne arithmtique-moyenne gomtrique :



( ) est videmment plus interssante que ( ) et sa preuve partir de ( ) est aise :
il suffit de considrer le rel ( ),
les ensembles et pour obtenir



Page 2sur 6 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=354&Type=enonce&Num=0&Mode=...
ce qui aboutit ( ) par homognit.

Remarque
En posant et en utilisant l'homognit de la fonction volume, on obtient aussi
l'ingalit .
L'ingalit isoprimtrique
Si est une courbe de J ordan (i.e. un lacet lisse simple du plan), de longueur et bordant un
domaine d'aire , il est bien connu que l'on a toujours , le cas d'galit ayant lieu si et
seulement si est le bord d'un disque. En dimension plus grande, si un compact non-vide de
de bord , quel est le lien entre et ?
Notons la boule unit de pour la norme euclidienne et son bord qui est
la sphre unit de . Si est convexe, il est connu ([2]) que le volume du bord peut s'obtenir
en faisant des grossissements infinitsimaux :



Par la remarque prcdente et l'ingalit classique sur , on a




Il vient alors :

L'ingalit isoprimtrique
Si est un convexe compact non-vide de , on a


La formule de Stokes nous permettant d'crire , cette dernire ingalit
se recrit :
Page 3sur 6 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=354&Type=enonce&Num=0&Mode=...


i.e. la fonctionnelle dfinie sur l'ensemble des convexes compacts
non-vides de atteint son minimum pour (au moins) les boules de .


Remarques
1. Comme , on retrouve pour l'ingalit isoprimtrique dans le plan.
Pour un convexe compact non-vide de , de volume et de bord d'aire , on a
. Plus gnralement, il est classique ([1]) que ,
o dsigne la fonction Gamma, ce qui permet de calculer aisment les seconds membres
des ingalits (II ) et (II ).
2. videmment, l'galit dans (II ) et (II ) a lieu si est une boule arbitraire de . La
rciproque est aussi vraie et sera admise.
3. Si est un compact de de mme volume que la boule unit , alors
. Il faut alors navement s'tonner que des considrations
conomiques n'aient pas encore pouss les industriels nous proposer des bouteilles
sphriques d'eau minrale.
4. Si l'on veut faire l'conomie de la formule de Stokes, on peut en admettant (1), retrouver
aisment la relation .
Preuve de l'ingalit (PL), d'aprs [3]
Elle se fera par rcurrence sur la dimension .
tape 1. On commence par dmontrer (BM ) pour . La notation dsignera le volume
qui est ici la longueur. Soient donc et deux compacts non-vides de . Remarquons que
(BM ) est inchange si et sont remplacs par des translats : on peut donc supposer que
. Comme contient et avec
, on en dduit que .

tape 2. On peut maintenant en dduire (PL) pour : soient trois fonctions
intgrables sur . Remarquons qu'il suffit de dmontrer (PL) dans le cas o et sont bornes.
De plus, on peut supposer, par homognit, que . Par le thorme de Fubini,
Page 4sur 6 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=354&Type=enonce&Num=0&Mode=...
on peut crire



et de mme pour et . Par hypothse, on a , ce qui par
(BM ) donne



En intgrant cette dernire ingalit sur , il vient


et en utilisant l'ingalit moyenne arithmtique-moyenne gomtrique, on obtient enfin


L'initialisation est donc faite et on suppose dans la suite que (PL) est vraie au rang .

tape 3. Considrons donc trois fonctions et sur . Pour chaque rel , considrons la
fonction et de manire similaire les fonctions et . De
l'hypothse, on dduit aisment que



pour tout . Par hypothse de rcurrence, il vient



Ceci se retraduit en disant que les fonctions de la variable relle ,
et vrifient l'hypothse de (PL) pour . On en dduit
que
Page 5sur 6 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=354&Type=enonce&Num=0&Mode=...



i.e.





Bibliographie
1 Berger, M., Gostiaux B., Gomtrie diffrentielle : varits, courbes et surfaces, Presses
Universitaires de France dition 1992.
2 Berger, M., Gomtrie, tomes 1 et 2, Nathan 1990.
3 Brascamp, H. J ., Lieb, E. H., On extensions of the Brunn-Minkowski and Prkopa-
Leindler theorems, including inequalities for log-concave functions, and with an
application to the diffusion equation, J . Funct. Anal. 22 (1976), 366-389.
4 Prkopa, A., On logarithmically concave measures and functions, Acta Sci. Math. 34
(1973), 335-343.
5 Leindler, L., On a certain converse of Hlder's inequality. II., Acta Sci. Math. 33 (1972),
217-223.

Page 6sur 6 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=354&Type=enonce&Num=0&Mode=...