The paper studies a class of mathematical equations called quasilinear equations on spaces known as stratified Lie groups. These are geometric structures that generalize ordinary flat space and include well-known examples like the Heisenberg group, which appears in quantum mechanics and harmonic analysis. The equations involve a special kind of operator called a q-sub-Laplacian, which is a generalization of the ordinary Laplacian (the operator behind heat flow and electrostatics) adapted to the curved geometry of these groups. The nonlinear terms in the equations grow very rapidly, specifically at an exponential rate, which makes them mathematically challenging to handle.
A central technical obstacle is that the exponential growth pushes the problem to the boundary of what standard function spaces can handle. To address this, the authors prove a new version of an important inequality called the Trudinger-Moser inequality, adapted to Lorentz function spaces on these groups. This inequality essentially measures how much an exponential nonlinearity can be controlled. Crucially, the equations studied here do not fit naturally into the standard framework of variational calculus, meaning one cannot simply look for solutions by minimizing an energy functional. This rules out many classical tools from nonlinear analysis.
To overcome these difficulties, the authors develop a carefully constructed approach based on the Galerkin method, which approximates solutions using finite-dimensional pieces and then passes to a limit. Using this strategy, they prove that positive weak solutions exist across the full range of the parameter q, recovering and extending previously known results that were limited either to flat Euclidean space or to specific values of q on the Heisenberg group. The results also apply to other concrete examples, such as the Engel group, broadening the scope of the theory significantly.