On the Best Constant in the Moser-Onofri-Aubin Inequality

TL;DR

This paper investigates the lower bounds of a nonlinear functional on the sphere, showing it remains non-negative under certain conditions for a range of alpha values, extending previous results and posing open questions.

Contribution

It extends the range of alpha for which the Moser-Onofri-Aubin inequality holds under Aubin conditions, improving upon Onofri's original result.

Findings

J_alpha is non-negative for alpha >= 2/3 - epsilon_0 under Aubin conditions

The inequality holds for a broader alpha range than previously known

Open question remains whether it holds for all alpha >= 1/2

Abstract

Let $S^2$ be the 2-dimensional unit sphere and let $J_\alpha $ denote the nonlinear functional on the Sobolev space $H^{1,2}(S^2)$ defined by $$ J_\alpha(u) = \frac{\alpha}{4}\int_{S^2}|\nabla u|^2 d\omega + \int_{S^2} u d\omega -\ln \int_{S^2} e^{u} d\omega, $$ where $d\omega$ denotes Lebesgue measure on $S^2$, normalized so that $\int_{S^2} d\omega = 1$. Onofri had established that $J_\alpha$ is non-negative on $H^1(S^2)$ provided $\alpha \geq 1$. In this note, we show that if $J_\alpha$ is restricted to those $u\in H^1(S^2)$ that satisfy the Aubin condition: \int_{S^2}e^u x_j dw=0\quad\text{for all}1\leq j\leq 3, then the same inequality continues to hold (i.e., $J_\alpha (u)\geq0$) whenever $\alpha \geq {2/3}-\epsilon_0$ for some $\epsilon_0>0$. The question of Chang-Yang on whether this remains true for all $\alpha \geq {1/2}$ remains open.