Abstract. Let X 1 , X 2 , . . . , Xq be a system of real smooth vector fields, satisfying Hörmander's condition in some bounded domain Ω ⊂ R n (n > q). We consider the differential operatorwhere the coefficients a ij (x) are real valued, bounded measurable functions, satisfying the uniform ellipticity condition:for a.e. x ∈ Ω, every ξ ∈ R q , some constant µ. Moreover, we assume that the coefficients a ij belong to the space VMO ("Vanishing Mean Oscillation"), defined with respect to the subelliptic metric induced by the vector fields X 1 , X 2 , . . . , Xq. We prove the following local L p -estimate:for every Ω ⊂⊂ Ω, 1 < p < ∞. We also prove the local Hölder continuity for solutions to Lf = g for any g ∈ L p with p large enough. Finally, we prove L p -estimates for higher order derivatives of f , whenever g and the coefficients a ij are more regular.
Introduction and main resultsLet X 0 , X 1 ,. . . , X q be a system of C ∞ real vector fields defined in R n (n ≥ q+1), that is, . . . , q; j = 1, 2, . . . , n), and letRecall that a linear differential operator P with C ∞ coefficients is said to be hypoelliptic in an open set Ω if, whenever the equation P u = f is satisfied, in the distributional sense, in the neighborhood of a point in Ω and f is C ∞ in that neighborhood, then u is also C ∞ in that neighborhood. A famous theorem proved by