The purpose of this paper is five-fold. First, we employ the harmonic analysis techniques to establish the following Hardy-Littlewood-Sobolev inequality with the fractional Poisson kernel on the upper half space $$\int_{\mathbb{R}_ + ^n} {{{\int_{\partial \mathbb{R}_ + ^n} {f\left( \xi \right)P\left( {x,\xi,\alpha } \right)g\left( x \right)d\xi dx \leq {C_{n,\alpha,p,q'}}\parallel g\parallel } }_{Lq'\left( {\mathbb{R}_ + ^n} \right)}}} \parallel f{\parallel _{Lq'\left( {\partial \mathbb{R}_ + ^n} \right),}}$$ where \(f\, \in \,{L^p}\left( {\partial \mathbb{R}_ + ^n} \right),\,g\, \in \,{L^{q'}}\left( {\mathbb{R}_ + ^n}\right)\,\text{and}\;\,p,\,q'\, \in \,\left( {1 + \infty } \right),\,2\, \leq {\alpha<n}\; \text{satisfying}\;\frac{{n - 1}}{{np}} + \frac{1}{{q'}} + \frac{{2 - \alpha }}{n} = 1.\)Second, we utilize the technique combining the rearrangement inequality and Lorentz interpolation to show the attainability of best constant Cn,α,p,q′. Third, we apply the regularity lifting method to obtain the smoothness of extremal functions of the above inequality under weaker assumptions. Furthermore, in light of the Pohozaev identity, we establish the sufficient and necessary condition for the existence of positive solutions to the integral system of the Euler-Lagrange equations associated with the extremals of the fractional Poisson kernel. Finally, by using the method of moving plane in integral forms, we prove that extremals of the Hardy-Littlewood-Sobolev inequality with the fractional Poisson kernel must be radially symmetric and decreasing about some point \({\xi _0}\, \in \,\partial \mathbb{R}_+ ^n.\) Our results proved in this paper play a crucial role in establishing the Stein-Weiss inequalities with the Poisson kernel in our subsequent paper.
Read full abstract