Geometric inequalities via a general comparison principle for interacting gases

AbstractThe article builds on several recent advances in the Monge- Kantorovich theory of mass transport which have, among other things, led to new and quite natural proofs for a wide range of geometric inequalities such as the ones formulated by Brunn-Minkowski, Sobolev, Gagliardo- Nirenberg, Beckner, Gross, Talagrand, Otto-Villani and their extensions by many others. While this paper continues in this spirit, we however propose here a basic framework to which all of these inequalities belong, and a general unifying principle from which many of them follow. This basic inequality relates the relative total energy - internal, potential and interactive - of two arbitrary probability densities, their Wasserstein distance, their barycentres and their entropy production functional. The framework is remarkably encompassing as it implies many old geometric - Gaussian and Euclidean - inequalities as well as new ones, while allowing a direct and unified way for computing best constants and extremals. As expected, such inequalities also lead to exponential rates of convergence to equilibria for solutions of Fokker-Planck and McKean-Vlasov type equations. The principle also leads to a remarkable correspondence between ground state solutions of certain quasilinear - or semilinear - equations and stationary solutions of nonlinear Fokker-Planck type equations.

[1]  W. Gangbo,et al.  The geometry of optimal transportation , 1996 .

[2]  O. Rothaus.  Diffusion on compact Riemannian manifolds and logarithmic Sobolev inequalities , 1981 .

[3]  M. Agueh,et al.  Geometric inequalities via a duality between certain quasilinear PDE's and Fokker-Plank equations , 2002 .

[4]  M. Talagrand.  Transportation cost for Gaussian and other product measures , 1996 .

[5]  Manuel del Pino,et al.  The optimal Euclidean Lp-Sobolev logarithmic inequality , 2003 .

[6]  Dario Cordero-Erausquin,et al.  Some Applications of Mass Transport to Gaussian-Type Inequalities , 2002 .

[7]  Y. Brenier.  Polar Factorization and Monotone Rearrangement of Vector-Valued Functions , 1991 .

[8]  Ansgar Jüngel,et al.  Entropy Dissipation Methods for Degenerate ParabolicProblems and Generalized Sobolev Inequalities , 2001 .

[9]  D. Kinderlehrer,et al.  THE VARIATIONAL FORMULATION OF THE FOKKER-PLANCK EQUATION , 1996 .

[10]  Gordon Blower,et al.  The Gaussian Isoperimetric Inequality and Transportation , 2003 .

[11]  C. Villani,et al.  Generalization of an Inequality by Talagrand and Links with the Logarithmic Sobolev Inequality , 2000 .

[12]  C. Villani.  Topics in Optimal Transportation , 2003 .

[13]  F. Otto.  THE GEOMETRY OF DISSIPATIVE EVOLUTION EQUATIONS: THE POROUS MEDIUM EQUATION , 2001 .

[14]  M. Ledoux.  The concentration of measure phenomenon , 2001 .

[15]  William Beckner,et al.  Geometric asymptotics and the logarithmic Sobolev inequality , 1999 .

[16]  V. V. Buldygin,et al.  Brunn-Minkowski inequality , 2000 .

[17]  I. Gentil.  The general optimal Lp-Euclidean logarithmic Sobolev inequality by Hamilton–Jacobi equations , 2003 .

[18]  Felix Otto,et al.  Doubly Degenerate Diffusion Equations as Steepest Descent , 1996 .

[19]  F. Barthe.  On a reverse form of the Brascamp-Lieb inequality , 1997, math/9705210.

[20]  C. Villani,et al.  Kinetic equilibration rates for granular media and related equations: entropy dissipation and mass transportation estimates , 2003 .

[21]  L. Gross.  LOGARITHMIC SOBOLEV INEQUALITIES. , 1975 .

[22]  Christian Houdré,et al.  Inequalities for generalized entropy and optimal transportation , 2003 .

[23]  R. McCann.  A convexity theory for interacting gases and equilibrium crystals , 1994 .

[24]  M. Agueh.  Existence of solutions to degenerate parabolic equations via the Monge-Kantorovich theory. , 2002, math/0309410.

[25]  R. McCann.  A Convexity Principle for Interacting Gases , 1997 .

[26]  S. Bobkov,et al.  From Brunn-Minkowski to Brascamp-Lieb and to logarithmic Sobolev inequalities , 2000 .

[27]  C. Villani,et al.  A MASS-TRANSPORTATION APPROACH TO SHARP SOBOLEV AND GAGLIARDO-NIRENBERG INEQUALITIES , 2004 .

[28]  W. Gangbo,et al.  Optimal maps in Monge's mass transport problem , 1995 .