We give a new proof of Aubins improvement of the Sobolev inequality on $mathbb{S}^{n}$ under the vanishing of first order moments of the area element and generalize it to higher order moments case. By careful study of an extremal problem on $mathbb{S}^{n}$, we determine the constant explicitly in the second order moments case.
A classical result of Aubin states that the constant in Moser-Trudinger-Onofri inequality on $mathbb{S}^{2}$ can be imporved for furnctions with zero first order moments of the area element. We generalize it to higher order moments case. These new inequalities bear similarity to a sequence of Lebedev-Milin type inequalities on $mathbb{S}^{1}$ coming from the work of Grenander-Szego on Toeplitz determinants (as pointed out by Widom). We also discuss the related sharp inequality by a perturbation method.
We prove lifting theorems for complex representations $V$ of finite groups $G$. Let $sigma=(sigma_1,dots,sigma_n)$ be a minimal system of homogeneous basic invariants and let $d$ be their maximal degree. We prove that any continuous map $overline{f} colon {mathbb R}^m to V$ such that $f = sigma circ overline{f}$ is of class $C^{d-1,1}$ is locally of Sobolev class $W^{1,p}$ for all $1 le p<d/(d-1)$. In the case $m=1$ there always exists a continuous choice $overline{f}$ for given $fcolon {mathbb R} to sigma(V) subseteq {mathbb C}^n$. We give uniform bounds for the $W^{1,p}$-norm of $overline{f}$ in terms of the $C^{d-1,1}$-norm of $f$. The result is optimal: in general a lifting $overline{f}$ cannot have a higher Sobolev regularity and it even might not have bounded variation if $f$ is in a larger Holder class.
We establish an improved Sobolev trace inequality of order two in the Euclidean unit ball under the vanishing of higher order moments of the boundary volume element, and construct precise test functions to show that such inequalities are almost optimal. Our arguments can be adapted to the fourth order Sobolev trace inequalities in higher dimensional unit ball.
The classical sharp Hardy-Littlewood-Sobolev inequality states that, for $1<p, t<infty$ and $0<lambda=n-alpha <n$ with $ 1/p +1 /t+ lambda /n=2$, there is a best constant $N(n,lambda,p)>0$, such that $$ |int_{mathbb{R}^n} int_{mathbb{R}^n} f(x)|x-y|^{-lambda} g(y) dx dy|le N(n,lambda,p)||f||_{L^p(mathbb{R}^n)}||g||_{L^t(mathbb{R}^n)} $$ holds for all $fin L^p(mathbb{R}^n), gin L^t(mathbb{R}^n).$ The sharp form is due to Lieb, who proved the existence of the extremal functions to the inequality with sharp constant, and computed the best constant in the case of $p=t$ (or one of them is 2). Except that the case for $pin ((n-1)/n, n/alpha)$ (thus $alpha$ may be greater than $n$) was considered by Stein and Weiss in 1960, there is no other result for $alpha>n$. In this paper, we prove that the reversed Hardy-Littlewood-Sobolev inequality for $0<p, t<1$, $lambda<0$ holds for all nonnegative $fin L^p(mathbb{R}^n), gin L^t(mathbb{R}^n).$ For $p=t$, the existence of extremal functions is proved, all extremal functions are classified via the method of moving sphere, and the best constant is computed.