Fundamental solution for higher order homogeneous hypoelliptic operators structured on Hörmander vector fields

Technical Summary: Fundamental Solution for Higher-Order Homogeneous Hypoelliptic Operators Structured on Hörmander Vector Fields

Problem Statement
The paper addresses the existence and properties of global fundamental solutions for a new class of higher-order differential operators defined on $\mathbb{R}^n$. These operators, termed "generalized Rockland operators," are constructed from a system of smooth real vector fields $X_1, \dots, X_m$ that satisfy Hörmander's condition (the Lie algebra generated by the fields has full rank everywhere) and are homogeneous with respect to a family of non-isotropic dilations.

A critical distinction of this work is that these vector fields are not assumed to be left-invariant with respect to any Lie group structure on $\mathbb{R}^n$. While the theory of hypoelliptic operators is well-established for:

1. Second-order operators on general Hörmander systems (local results).
2. Higher-order operators on homogeneous Lie groups (global results via Rockland conditions).
3. Second-order operators on $\mathbb{R}^n$ that are homogeneous but not left-invariant (global results by Biagi-Bonfiglioli).

There was a gap in the literature regarding higher-order ($>2$) operators that are homogeneous and structured on Hörmander fields but lack a global Lie group invariance. The authors aim to fill this gap by proving hypoellipticity and constructing global fundamental solutions with sharp pointwise estimates for this broader class.

Methodology
The core methodology relies on a lifting and saturation technique, originally developed by Biagi and Bonfiglioli for second-order sub-Laplacians, but extended here to arbitrary higher orders.

1. Lifting to a Homogeneous Group:
   The authors utilize a theorem stating that any system of Hörmander vector fields $X_1, \dots, X_m$ on $\mathbb{R}^n$ satisfying homogeneity assumptions can be "lifted" to a higher-dimensional space $\mathbb{R}^N = \mathbb{R}^n \times \mathbb{R}^p$ ($N > n$). In this extended space, there exists a homogeneous Lie group $G$ and a system of left-invariant vector fields $\tilde{X}_1, \dots, \tilde{X}_m$ such that:

   • The Lie algebra of the lifted fields generates the full Lie algebra of $G$.
   • The original operator $L$ is the projection of a lifted operator $\tilde{L}$ defined on $G$. Specifically, $\tilde{L}$ acts on functions independent of the extra variables $\xi \in \mathbb{R}^p$ exactly as $L$ acts on the base variables.

2. Utilization of Rockland Theory:
   Once lifted, $\tilde{L}$ becomes a left-invariant, homogeneous operator on a homogeneous group $G$. The authors assume that $\tilde{L}$ (and its transpose) satisfies the Rockland condition (hypoellipticity). This allows them to invoke established results by Folland and others regarding the existence of a unique, homogeneous global fundamental solution $\tilde{\Gamma}$ on the group $G$.

3. Saturation (Integration):
   The fundamental solution $\Gamma(x, y)$ for the original operator $L$ on $\mathbb{R}^n$ is constructed by integrating the lifted fundamental solution $\tilde{\Gamma}$ over the extra variables $\xi$:
   $$\Gamma(x, y) = \int_{\mathbb{R}^p} \tilde{\Gamma}((x, \xi), (y, 0)) \, d\xi$$
   The authors rigorously prove that this integral converges and yields a valid fundamental solution for $L$. This involves detailed analysis of the integrability of the lifted kernel and the behavior of the "difference" operator $R = \tilde{L} - L$, ensuring that the saturation process preserves the hypoelliptic properties and the required estimates.

Key Contributions and Results

1. Hypoellipticity (Theorem 1.10):
   The authors prove that any generalized Rockland operator $L$ is hypoelliptic in $\mathbb{R}^n$. This is established by showing that if $L u$ is smooth, then the lifted distribution $\tilde{u} = u \otimes 1$ satisfies $\tilde{L}\tilde{u} = \text{smooth}$, implying $\tilde{u}$ is smooth, and consequently $u$ is smooth.

2. Liouville-Type Theorem (Theorem 1.11):
   A Liouville theorem is proven: any tempered distribution $\Lambda$ satisfying $L\Lambda = 0$ must be a polynomial. If $\Lambda$ is bounded, it is a constant. This result is derived via the lifting technique and the corresponding theorem on homogeneous groups.

3. Existence and Properties of Global Fundamental Solution (Theorem 1.14):
   Under the condition that the homogeneity degree $\nu$ of $L$ satisfies $\nu < q$ (where $q$ is the homogeneous dimension of $\mathbb{R}^n$), the authors prove the existence of a global fundamental solution $\Gamma(x, y)$. Key properties include:

   • Joint Homogeneity: $\Gamma(\delta_\lambda x, \delta_\lambda y) = \lambda^{\nu-q} \Gamma(x, y)$.
   • Smoothness: $\Gamma \in C^\infty(\mathbb{R}^{2n} \setminus \{x=y\})$.
   • Vanishing at Infinity: $\Gamma(x, y) \to 0$ as $|x| \to \infty$.
   • Uniqueness: $\Gamma$ is unique within the class of fundamental solutions vanishing at infinity.
   • Symmetry: If $L$ is formally self-adjoint, $\Gamma(x, y) = \Gamma(y, x)$.

4. Sharp Pointwise Estimates (Theorem 1.16):
   The paper provides sharp upper bounds for $\Gamma$ and its derivatives.

   • Non-critical case ($r > \nu - n$): Global estimates of the form $|Z_1 \dots Z_h \Gamma| \leq C d_X(x, y)^{\nu - r - q}$.
   • Critical case ($r = \nu - n$): Local estimates involving a logarithmic term.
     These estimates depend on the control distance $d_X$ induced by the vector fields and the volume of the associated metric balls.

5. Extension to Heat-Type Operators (Section 3.5):
   The theory is extended to operators of the form $H = L \pm \partial_t$ (heat-type operators), provided $L$ is a "positive" generalized Rockland operator. The authors establish similar existence, hypoellipticity, and estimate results for these parabolic operators.

Significance and Claims
The authors claim that this work represents the first study of a general class of higher-order hypoelliptic operators that are structured on Hörmander vector fields but are not left-invariant on any homogeneous group.

• Generalization: The results generalize the known theory of Rockland operators on homogeneous groups (where left-invariance holds) and the theory of second-order non-invariant operators to the higher-order, non-invariant setting.
• Consistency: The conditions derived (e.g., $\nu < q$ for the existence of a homogeneous fundamental solution) are shown to be consistent with existing results for both left-invariant operators on groups and second-order non-invariant operators.
• Novelty of Technique: The lifting-plus-saturation argument is presented as a robust technique that can be applied to build fundamental solutions in contexts where direct construction is difficult due to the lack of group structure.

The paper does not propose new experimental applications but rather establishes a rigorous analytical framework for studying these specific differential operators, providing the necessary tools (fundamental solutions and estimates) for further analysis in Sobolev and Hölder spaces adapted to the vector fields.