Fractional Hardy's inequality for half spaces in the Heisenberg group
We establish the following fractional Hardy's inequality $$\int_{\mathbb{H}^n_+}\frac{|f(ξ)|^p}{x_1^{sp}|z|^α}dξ\leq C\int_{\mathbb{H}^n_+}\int_{\mathbb{H}^n_+}\frac{|f(ξ)-f(ξ')|^p}{d(ξ^{-1}\circ ξ')^{Q+sp}|z'-z|^α}dξ'dξ,\ \ \forall\,f\in C_c(\mathbb{H}^n_+)$$ for the half space $\mathbb{H}^n_+:=\{ξ=(z,t)=(x_1,x_2,\ldots, x_n, y_1,y_2,\ldots,y_n,t)\in\mathbb{H}^n:x_1>0\}$ in the Heisenberg group $\mathbb{H}^n$ under the conditions $sp>1$ and $α\geq (2n+sp)/2$. We also provide an alternate proof of a fractional Hardy's inequality in $\mathbb{H}^n$ established in an earlier work.