Least Energy Solutions to Quasilinear Subelliptic Equations with Constant and Degenerate Potentials on the Heisenberg Group

Lu Chen,Guozhen Lu,Maochun Zhu
DOI: https://doi.org/10.1112/plms.12495
2023-01-01
Proceedings of the London Mathematical Society
Abstract:Let H-n = C-n x R be the n-dimensional Heisenberg group, Q = 2n + 2 be the homogeneous dimension of H-n. In this paper, we investigate the existence of a least energy solution to the Q-subLaplacian Schrodinger equation with either a constant V = gamma or a degenerate potential V vanishing on a bounded open subset of H-n: -div(H)(vertical bar del(H)u vertical bar(Q-2)del(H)u) + V(xi)vertical bar u vertical bar(Q-2)u = f(u) (0.1) with the non-linear term f of maximal exponential growth exp(alpha t(Q/Q-1)) as t -> +infinity. Since the Polya-Szego-type inequality fails on H-n, the coercivity of the potential has been a standard assumption in the literature for subelliptic equations to exclude the vanishing phenomena of Palais-Smale sequence on the entire space H-n. Our aim in this paper is to remove this strong assumption. To this end, we first establish a sharp critical Trudinger-Moser inequality involving a degenerate potential on H-n. Second, we prove the existence of a least energy solution to the above equation with the constant potential V(xi) = gamma > 0. Third, we establish the existence of a least energy solution to the Q-subelliptic equation (0.1) involving the degenerate potential which vanishes on some open bounded set of H-n. We develop arguments that avoid using any symmetrization on H-n where the Polya-Szego inequality fails. Fourth, we also establish the existence of a least energy solution to (0.1) when the potential is a non-degenerate Rabinowitz type potential but still fails to be coercive. Our results in this paper improve significantly on the earlier ones on quasilinear Schrodinger equations on the Heisenberg group in the literature. We note that all the main results and their proofs in this paper hold on stratified groups with the same proofs.
What problem does this paper attempt to address?