There are at least two directions concerning the extension of classical sharp Hardy-Littlewood-Sobolev inequality: (1) Extending the sharp inequality on general manifolds; (2) Extending it for the negative exponent $lambda=n-alpha$ (that is for the c
ase of $alpha>n$). In this paper we confirm the possibility for the extension along the first direction by establishing the sharp Hardy-Littlewood-Sobolev inequality on the upper half space (which is conformally equivalent to a ball). The existences of extremal functions are obtained; And for certain range of the exponent, we classify all extremal functions via the method of moving sphere.
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.
