Symmetry and classification of solutions to an integral equation in the Heisenberg group $\mathbb{H}^n$

Abstract

In this paper we prove symmetry of nonnegative solutions of the integral equation \[ u (ζ) = \int\limits_{{\mathbb H}^n} |ζ^{-1} ξ|^{-(Q-α)} u(ξ)^{p} dξ\quad 1< p \leq \frac{Q+α}{Q-α},\quad 0< α<Q \] on the Heisenberg group ${\mathbb H}^n = {\mathbb C}^n \times {\mathbb R}$, $Q= 2n +2$ using the moving plane method and the Hardy-Littlewood-Sobolev inequality proved by Frank and Lieb for the Heisenberg group. For $p$ subcritical, i.e., $1< p < \frac{Q+α}{Q-α}$ we show nonexistence of positive solution of this integral equation, while for the critical case, $p = \frac{Q+α}{Q-α}$ we prove that the solutions are cylindrical and are unique upto Heisenberg translation and suitable scaling of the function \[ u_0 (z,t) = \left( (1+ |z|^2)^2 + t^2 \right)^{- \frac{Q-α}{4}} \quad (z,t ) \in {\mathbb H}^n. \] As a consequence, we also obtain the symmetry and classification of nonnegative $C^2$ solution of the equation \[ Δ_{\mathbb H} u + u^{p} = 0 \quad \mbox{for } 1< p \leq \frac{Q+α}{Q-α} \mbox{ in } {\mathbb H}^n \] without any partial symmetry assumption on the function $u$.