Global Schauder estimates for nondivergence stationary operators modeled on homogeneous Hörmander vector fields

1. Problem Statement

The paper addresses the regularity theory for a class of second-order non-divergence elliptic operators defined on $\mathbb{R}^n$ ($n > m$) of the form:
$$L = \sum_{i,j=1}^m a_{ij}(x) X_i X_j$$
where:

• $\{X_i\}_{i=1}^m$ are Hörmander vector fields that are homogeneous with respect to a family of non-isotropic dilations $\delta_\lambda$, but not necessarily left-invariant with respect to any Lie group structure.
• The matrix $A(x) = [a_{ij}(x)]$ is symmetric, uniformly positive-definite, and its entries are Hölder continuous with respect to the control distance induced by the vector fields.

The Gap: While local regularity results and Schauder estimates for such operators are well-established (via Rothschild-Stein lifting and local analysis), global Schauder estimates in Hölder spaces for stationary operators in this specific setting (homogeneous but non-group-invariant) were previously lacking. Existing global results were mostly limited to evolution operators (Kolmogorov-Fokker-Planck type) or operators with VMO coefficients.

Objective: To establish global Schauder estimates and higher-order regularity results for the operator $L$ in the Hölder spaces $C^{k,\alpha}_X(\mathbb{R}^n)$.

2. Methodology

The author employs a global lifting technique combined with the theory of Carnot groups. The strategy proceeds in three main stages:

A. Global Lifting to a Carnot Group

Instead of relying on local approximations (as in Rothschild-Stein), the paper utilizes a global lifting method (based on Biagi, Bonfiglioli, and Folland).

• The vector fields $X_1, \dots, X_m$ on $\mathbb{R}^n$ are lifted to vector fields $\tilde{X}_1, \dots, \tilde{X}_m$ on a higher-dimensional space $\mathbb{R}^N$ ($N > n$).
• Crucially, these lifted fields are generators of a Carnot group $G = (\mathbb{R}^N, *, D_\lambda)$.
• The lifted operator is defined as $\tilde{L} = \sum \tilde{a}_{ij}(x, \xi) \tilde{X}_i \tilde{X}_j$, where the coefficients are extended trivially to the extra dimensions.
• This transformation converts the problem from a non-invariant setting on $\mathbb{R}^n$ to an invariant setting on a Carnot group, where powerful algebraic and analytic tools are available.

B. Analysis on the Carnot Group

The core of the proof takes place within the framework of the Carnot group $G$.

1. Fundamental Solutions: The author utilizes the existence of fundamental solutions $\Gamma_x$ for the "frozen" coefficient operators $L_x = \sum a_{ij}(x) Y_i Y_j$ (where $Y_i$ are the left-invariant generators). These solutions are $(2-Q)$-homogeneous and smooth away from the origin.
2. Integral Representation: Smooth functions and their derivatives are expressed via integral representation formulas involving the fundamental solution of the frozen operator.
3. Local Estimates: Using the properties of the fundamental solution (specifically the vanishing mean value property on spheres and singular integral estimates), the author proves local Schauder estimates for functions with compact support. This involves bounding the Hölder seminorm of second derivatives by the Hölder seminorm of $Lu$.
4. Globalization: Local estimates are extended to global estimates using:
   • Interpolation inequalities to handle lower-order derivatives.
   • Partition of unity and cutoff functions adapted to the group structure.
   • A "freezing coefficients" argument to control the error between the variable coefficient operator $L$ and the frozen operator $L_x$.

C. Higher Order Regularity

For higher-order derivatives ($k \geq 1$), the author derives representation formulas for derivatives $Y_I u$ in terms of derivatives of $L_x u$. This allows for an inductive proof of higher-order global estimates, provided the coefficients $a_{ij}$ possess higher Hölder regularity.

D. Descent to the Original Setting

Finally, the results obtained on the Carnot group $\mathbb{R}^N$ are transferred back to the original space $\mathbb{R}^n$.

• The author establishes relations between the Hölder norms in the original space ($C^{k,\alpha}_X$) and the lifted space ($C^{k,\alpha}_{\tilde{X}}$).
• By showing that the extension operator preserves these norms (up to constants), the global estimates on the group imply the desired global estimates for the original operator $L$.

3. Key Contributions

1. First Global Hölder Estimates for Stationary Operators: The paper fills a significant void in the literature by providing the first global Schauder estimates for stationary non-divergence operators modeled on homogeneous Hörmander fields without assuming a pre-existing group structure.
2. Global vs. Local Lifting: It highlights the advantage of the global lifting (Folland/Biagi-Bonfiglioli) over the classical local lifting (Rothschild-Stein). The global approach preserves the homogeneous structure, allowing for direct application of group-theoretic tools to derive global results, whereas local lifting is inherently restricted to local neighborhoods.
3. Higher Order Regularity: The paper extends the theory to higher-order derivatives ($C^{k+2, \alpha}$), proving that if the coefficients are $C^{k,\alpha}$ and $Lu$ is $C^{k,\alpha}$, then the solution $u$ is $C^{k+2,\alpha}$.
4. Unified Framework: It unifies the treatment of operators with non-smooth (Hölder) coefficients in a degenerate elliptic setting, bridging the gap between subelliptic theory and global regularity.

4. Main Results

The paper proves two primary theorems:

Theorem 1.2 (Global Schauder Estimates):
Under the assumptions of homogeneity and Hölder continuity of coefficients, there exists a constant $c_0$ such that for any $u \in C^{2,\alpha}_X(\mathbb{R}^n)$:
$$\|u\|_{C^{2,\alpha}_X(\mathbb{R}^n)} \leq c_0 \left( \|Lu\|_{C^{\alpha}_X(\mathbb{R}^n)} + \|u\|_{L^\infty(\mathbb{R}^n)} \right)$$
Furthermore, if coefficients are $C^{k,\alpha}_X$, then $u \in C^{k+2,\alpha}_X$ with a corresponding estimate involving $\|Lu\|_{C^{k,\alpha}_X}$.

Theorem 1.6 & 1.7 (Carnot Group Analogues):
These theorems establish the same estimates for operators on Carnot groups, serving as the technical backbone for the main result. They rely on the existence of fundamental solutions and the specific structure of the group.

5. Significance

• Theoretical Advancement: This work significantly advances the regularity theory for degenerate elliptic operators. It demonstrates that the lack of a global group structure on the original domain does not preclude global regularity if the vector fields possess a homogeneous structure.
• Methodological Impact: The successful application of global lifting to obtain global estimates in Hölder spaces provides a robust template for future research on other classes of degenerate operators (e.g., evolution equations or operators with VMO coefficients).
• Applications: These estimates are fundamental for the study of existence, uniqueness, and stability of solutions to PDEs arising in control theory, stochastic processes (diffusion processes with degenerate noise), and geometric analysis on sub-Riemannian manifolds.

In summary, Matteo Faini's paper successfully extends the classical Schauder theory to a broad class of non-invariant, degenerate elliptic operators by leveraging the power of global lifting to Carnot groups, thereby establishing a complete global regularity theory in Hölder spaces.