Sharp reversed Hardy-Littlewood-Sobolev inequality with extension kernel

In this paper, we prove the following reversed Hardy-Littlewood-Sobolev inequality with extension kernel: [GRAPHICS] for any nonnegative functions f E Lp( partial differential Rn+) and g E Lq ' (Rn+), where n > 2, p, q ' E (0, 1), alpha > n, 0 < beta < alpha-n n-1 , p > alpha-1-(n-1)beta are such that n-1 n-1 p + 1 1 q ' - alpha+beta-1 n = 1. We prove n the existence of extremal functions for the above inequality. Moreover, in the conformal invariant case, we classify all the extremal functions and hence derive the best constant via the method of moving spheres. It is quite surprising that the extremal functions do not depend on beta. Finally, we derive the sufficient and necessary conditions for existence of positive solutions to the Euler-Lagrange equations by using Pohozaev identities.