Regularity results for quasilinear elliptic equations in the Heisenberg group (Q2458846)

The authors considers the following problem \[ \sum_{i=1}^{2n} X_i ((\mu^2 + | Xu| ^2)^{\frac{p-2}{2}}X_i u)= 0 \] on the open set \(\Omega\) in the Heisenberg group \(H^n\), where \(X=(X_i)\) is the horizontal gradient and \(\mu\) is a positive number. Assume \(2\leq p < 4\), then the authors prove that \(X^2u\) is in \(L^2_{\text{loc}}(\Omega)\).