Regularity of quasi-linear equations with Hörmander vector fields of step two (2110.04377v4)

Abstract: If the smooth vector fields $X_1,\ldots,X_m$ and their commutators span the tangent space at every point in $\Omega\subseteq \mathbb{R}^N$ for any fixed $m\leq N$, then we establish the full interior regularity theory of quasi-linear equations $\sum_{i=1}^m X_i^*A_i(X_1u, \ldots,X_mu)= 0$ with $p$-Laplacian type growth condition. In other words, we show that a weak solution of the equation is locally $C^{1,\alpha}$.