Existence Results for Critical Semi-linear Equations on Heisenberg Group Domains

Following the work of G. Citti and F. Uguzzoni who studied Yamabe type problems on Heisenberg group domains, we consider here the following critical semi-linear equation on domains of the Heisenberg group \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathbb{H}^1}}$$\end{document}:\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$(P) \left\{\begin{array}{lll}-{\Delta_{H}}u\quad =\quad K{u^{3}}\quad\,{\rm in}\,\,\Omega,\\ \quad\quad\,{u}\quad > \quad0\qquad\,\,\,\,{\rm in}\,\,\Omega,\\ \quad\quad\,{u}\quad = \quad 0 \quad\quad\,\,\,{\rm on}\,\partial \Omega, \end{array}\right. $$\end{document}where ΔH is the sublaplacian on \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathbb{H}^1}}$$\end{document} and K is a C3 positive function defined on Ω. Using a version of the Morse Lemma at infinity, we give necessary conditions on K to insure the existence of solutions for (P).