Differentiability of solutions for the non-degenerate \(p\)-Laplacian in the Heisenberg group (Q1888322)

The author studies estimates for the weak solutions of the non-degenerate \(p\)-Laplacian equation \[ -\sum_{j=1}^{2n}X_j\big((\Lambda+| X u| ^2)^{(p-2)/2}X_ju\big)=0\text{ in }\Omega, \] where \(\Omega\) is an open subset of the Heisenberg group \({\mathbb H}^n\), and \(Xu=(X_1 u,\dots, X_{2n}u)\) denotes the horizontal gradient of \(u\), \(p>1\) and \(\Lambda>0\). In order to achieve this goal, the author considers weak solutions of the equation as follows: \[ \sum_{j=1}^{2n}\int_\Omega \big(\Lambda+| Xu(x)| ^2\big)^{(p-2)/2}X_ju(x)X_j\phi(x)\,dx=0 \] for all test functions \(\phi\in HW_0^{1,p}(\Omega)\). In this paper, the author shows that if \(u\in L^p({\mathbb H}^n)\), \(0<\alpha\), \(0<\sigma\), \(0\leq M<\infty\) and \(Z\) a left-invariant vector field. Suppose that \[ \sup_{0<| s| \leq \sigma}{\| \Delta_{Z,s}^2u\| _{L^p}\over | s| ^\alpha}\leq M. \] Then there exists a universal constant \(c>0\) and a possibly different \(\sigma\) from that one in the above condition such that \[ \sup_{0<| s| \leq \sigma}{\| \Delta_{Z,s}^2u\| _{L^p}\over | s| ^\beta}\leq c\big (\| u\| _{L^p}+M\big). \] Here \(\beta\) satisfies \(\beta=\alpha\) if \(0<\alpha<1\), \(\beta\) any number in \((0,1)\) if \(\alpha=1\), and \(\beta=1\) if \(\alpha=1\). The author also obtains several \(L^p\) estimates for derivatives of weak solutions along horizontal directions.