A nonlinear Liouville theorem for fractional equations in the Heisenberg group (Q497763)

In the Heisenberg group \(\mathbb H^n\), the authors state their main result that if a twice continuously differentiable and strictly positive function \(u\) is a solution of \[ \mathcal{P}_{\gamma}( \cdot)=( \cdot)^p, \] then it is not cylindrical for \(\gamma=\frac{1}{2}\) (Theorem 1.3), such that \(p\in(0,\frac{2n+3}{2n+1})\) and \(\mathcal{P}_{\gamma}\) is a pseudo-differential operator, given in terms of scattering operator, and its principal symbol is well defined. First, the authors recall a known result (Theorem 1.1) that \[ \mathcal{P}_\gamma u=-c_\gamma\lim_{\lambda\to 0}\lambda^{1-2\gamma}\frac{\partial U}{\partial\lambda} \] with \(c_\gamma\) is given explicitly in terms of the gamma function and \(U\) is a solution of: \[ \frac{\partial^2U}{\partial\lambda^2}+\frac{1-2\gamma}{\lambda}\frac{\partial U}{\partial\lambda}+\lambda^2\frac{\partial^2U}{\partial t^2}+\frac{1}{2}\Delta_{\mathbb H^n}U =0 \text{ in }\mathbb H^n\times\mathbb R_+\text{ and } U=u\text{ on }\mathbb H^n\times\partial\mathbb R_+=\mathbb H^n\times\{\lambda=0\}, \] where \(\Delta_{\mathbb H^n}\) stands for the sublaplacian operator in \(\mathbb H^n\). Then, the authors deduce that the proof of the principal result is essentially based on using the following nonlinear boundary value problem result which states that if \(U\) is a positive solution of: \[ \frac{\partial^2U}{\partial\lambda^2}+4\lambda^2\frac{\partial^2U}{\partial t^2}+\Delta_{\mathbb H^n}U=0\text{ in }\mathbb H^n\times\mathbb R_+\text{ and }-\frac{\partial U}{\partial\lambda}=U^p\text{ on }\mathbb H^n\times\partial\mathbb R_+, \] then \(U\) vanishes (Theorem 1.4) and its proof is based on using Hopf's Lemma. Remark: This paper is almost identical with [\textit{E. Cinti}, ``A Liouville theorem for nonlocal equations in the Heisenberg group'', in: ``Bruno Pini'' Mathematical Analysis Seminar 2014. Papers from the seminar, University of Bologna, Bologna, Italy, 2014. Bologna: Università di Bologna, Alma Mater Studiorum. 127--146 (2014; Zbl 1330.35490)].