Differentiability of solutions for the non-degenerate p-Laplacian in the Heisenberg group

We propose a direct method to control the first-order fractional difference quotients of solutions to quasilinear subelliptic equations in the Heisenberg group. In this way we implement iteration methods on fractional difference quotients to obtain weak differentiability in the T-direction and then secondorder weak differentiability in the horizontal directions.