A dual Moser–Onofri inequality and its extensions to higher dimensional spheres

Martial Agueh; Shirin Boroushaki; Nassif Ghoussoub

doi:10.5802/afst.1531

Martial Agueh ¹ ; Shirin Boroushaki ² ; Nassif Ghoussoub ²

¹ Department of Mathematics and Statistics University of Victoria, Victoria, BC, V8W 3R4, Canada
² Department of Mathematics, 1984 Mathematics Road, University of British Columbia, BC, V6T 1Z2, Canada

Annales de la Faculté des sciences de Toulouse : Mathématiques, Série 6, Tome 26 (2017) no. 2, pp. 217-233.

Résumé
Abstract

Nous utilisons une méthode de transport optimal pour donner une nouvelle démonstration et une forme duale de l’inégalité de Moser-Onofri sur $𝕊^{2}$ . Cette approche est dans le même esprit que celle des inégalités de Sobolev et de Gagliardi-Nirenberg par Cordero-Erausquin, Nazaret et Villani [5] ainsi que de leurs généralisations par Agueh–Ghoussoub–Kang [1]. Il y a néanmoins plusieurs difficultés nouvelles qui apparaissent une fois qu’on a effectué une projection stéréographique sur $ℝ^{2}$ : les fonctions n’ont plus support compact, ce qui demande de tenir compte de termes de bord. De plus, l’énergie libre duale de la densité probabilité de référence $μ_{2} (x) = \frac{1}{{π (1 + | x |}^{2})^{2}}$ n’est pas finie sur l’espace entier ce qui demande d’introduire une énergie libre renormalisée dans la formule duale. Nous étendons aussi cette inégalité en dimensions supérieures et établissons une inégalité d’Onofri pour les sphères $𝕊^{n}$ quand $n \geq 2$ . Il est remarquable que l’énergie libre correspondante est toujours donnée par $F (ρ) = - n ρ^{1 - \frac{1}{n}}$ , ce qui signifie que les problèmes de courbure scalaire prescrite et de courbure de Gauss prescrite conduisent essentiellement au même problème dual.

We use optimal mass transport to provide a new proof and a dual formula to the Moser–Onofri inequality on $𝕊^{2}$ . This is in the same spirit as the approach of Cordero-Erausquin, Nazaret and Villani [5] to the Sobolev and Gagliardo–Nirenberg inequalities and the one of Agueh–Ghoussoub–Kang [1] to more general settings. There are however many hurdles to overcome once a stereographic projection on $ℝ^{2}$ is performed: Functions are not necessarily of compact support, hence boundary terms need to be evaluated. Moreover, the corresponding dual free energy of the reference probability density $μ_{2} (x) = \frac{1}{π {(1 + {| x |}^{2})}^{2}}$ is not finite on the whole space, which requires the introduction of a renormalized free energy into the dual formula. We also extend this duality to higher dimensions and establish an extension of the Onofri inequality to spheres $𝕊^{n}$ with $n \geq 2$ . What is remarkable is that the corresponding free energy is again given by $F (ρ) = - n ρ^{1 - \frac{1}{n}}$ , which means that both the prescribed scalar curvature problem and the prescribed Gaussian curvature problem lead essentially to the same dual problem whose extremals are stationary solutions of the fast diffusion equations.

Publié le : 2017-04-12

DOI : 10.5802/afst.1531

Classification : 39B62, 35J20, 34A34, 34A30
Mots clés : Onofri inequality, duality, mass transport, prescribed Gaussian curvature, fast diffusion

Affiliations des auteurs :

Martial Agueh ¹ ; Shirin Boroushaki ² ; Nassif Ghoussoub ²

¹ Department of Mathematics and Statistics University of Victoria, Victoria, BC, V8W 3R4, Canada
² Department of Mathematics, 1984 Mathematics Road, University of British Columbia, BC, V6T 1Z2, Canada

Licence :

CC-BY 4.0

Droits d'auteur : Les auteurs conservent leurs droits

@article{AFST_2017_6_26_2_217_0,
     author = {Martial Agueh and Shirin Boroushaki and Nassif Ghoussoub},
     title = {A dual {Moser{\textendash}Onofri} inequality and its extensions to higher dimensional spheres},
     journal = {Annales de la Facult\'e des sciences de Toulouse : Math\'ematiques},
     pages = {217--233},
     publisher = {Universit\'e Paul Sabatier, Toulouse},
     volume = {Ser. 6, 26},
     number = {2},
     year = {2017},
     doi = {10.5802/afst.1531},
     language = {en},
     url = {https://afst.centre-mersenne.org/articles/10.5802/afst.1531/}
}

TY  - JOUR
AU  - Martial Agueh
AU  - Shirin Boroushaki
AU  - Nassif Ghoussoub
TI  - A dual Moser–Onofri inequality and its extensions to higher dimensional spheres
JO  - Annales de la Faculté des sciences de Toulouse : Mathématiques
PY  - 2017
SP  - 217
EP  - 233
VL  - 26
IS  - 2
PB  - Université Paul Sabatier, Toulouse
UR  - https://afst.centre-mersenne.org/articles/10.5802/afst.1531/
DO  - 10.5802/afst.1531
LA  - en
ID  - AFST_2017_6_26_2_217_0
ER  -

%0 Journal Article
%A Martial Agueh
%A Shirin Boroushaki
%A Nassif Ghoussoub
%T A dual Moser–Onofri inequality and its extensions to higher dimensional spheres
%J Annales de la Faculté des sciences de Toulouse : Mathématiques
%D 2017
%P 217-233
%V 26
%N 2
%I Université Paul Sabatier, Toulouse
%U https://afst.centre-mersenne.org/articles/10.5802/afst.1531/
%R 10.5802/afst.1531
%G en
%F AFST_2017_6_26_2_217_0

Martial Agueh; Shirin Boroushaki; Nassif Ghoussoub. A dual Moser–Onofri inequality and its extensions to higher dimensional spheres. Annales de la Faculté des sciences de Toulouse : Mathématiques, Série 6, Tome 26 (2017) no. 2, pp. 217-233. doi : 10.5802/afst.1531. https://afst.centre-mersenne.org/articles/10.5802/afst.1531/

Bibliographie
Cité par

[1] Martial Agueh; Nassif Ghoussoub; Xiaosong Kang Geometric inequalities via a general comparison principle for interacting gases, Geom. Funct. Anal., Volume 14 (2004) no. 1, pp. 215-244 | DOI

[2] Thierry Aubin Meilleures constantes dans le théorème d’inclusion de Sobolev et un théorème de Fredholm non linéaire pour la transformation conforme de la courbure scalaire, J. Funct. Anal., Volume 32 (1979), pp. 148-174 | DOI

[3] William Beckner Sharp Sobolev inequalities on the sphere and the Moser–Trudinger inequality, Ann. Math., Volume 138 (1993) no. 1, pp. 213-242 | DOI

[4] Yann Brenier Polar factorization and monotone rearrangement of vector-valued functions, Commun. Pure Appl. Math., Volume 44 (1991) no. 4, pp. 375-417 | DOI

[5] Dario Cordero-Erausquin; Bruno Nazaret; Cédric Villani A mass transportation approach to sharp Sobolev and Gagliardo–Nirenberg inequalities, Adv. Math., Volume 182 (2004) no. 2, pp. 307-332 | DOI

[6] Jean Dolbeault; Maria J. Esteban; Gaspard Jankowiak The Moser-Trudinger-Onofri inequality (2014) (https://arxiv.org/abs/1403.5042v1)

[7] Nassif Ghoussoub; Amir Moradifam Functional inequalities: new perspectives and new applications, Mathematical Surveys and Monographs, 187, American Mathematical Society, 2013, xxiv+299 pages

[8] Chongwei Hong A best constant and the Gaussian curvature, Proc. Am. Math. Soc., Volume 97 (1986) no. 4, pp. 737-747 | DOI

[9] Francesco Maggi; Cédric Villani Balls have the worst best Sobolev inequalities. II: Variants and extensions, Calc. Var. Partial Differ. Equ., Volume 31 (2008) no. 1, pp. 47-74 | DOI

[10] Robert J. McCann A convexity principle for interacting gases, Adv. Math., Volume 128 (1997) no. 1, pp. 153-179 | DOI

[11] Jürgen Moser A sharp form of an inequality by Trudinger, Indiana Univ. Math. J., Volume 20 (1971), pp. 1077-1092 | DOI

[12] Enrico Onofri On the positivity of the effective action in a theory of random surfaces, Commun. Math. Phys., Volume 86 (1982), pp. 321-326 | DOI

[13] Brad G. Osgood; Ralph Saul Phillips; Peter C. Sarnak Extremals of determinants of Laplacians, J. Funct. Anal., Volume 80 (1988) no. 1, pp. 148-211 | DOI

[14] Cédric Villani Topics in Optimal Transportation, Graduate Studies in Mathematics, 58, American Mathematical Society, 2003, xvi+370 pages

Cité par Sources :