Regularity for quasilinear second‐order subelliptic equations

Abstract In this paper, we study the regularity of solutions of the quasilinear equation where X = ( X 1 ,…, X m ) is a system of real smooth vector fields, A ij , B ϵ C ∞(Ω × ℝ R m +1 ). Assume that X satisfies the Hörmander condition and ( A ij ( x, z ,ζ)) is positive definite. We prove that if u ϵ S 2,α (Ω) (see Section 2) is a solution of the above equation, then u ϵ C ∞ (Ω).