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

We introduce and study a new class of higher order differential operators defined on $\mathbb{R}^{n}$, which are built with Hörmander vector fields, homogeneous w.r.t. a family of dilations (but not left invariant w.r.t. any structure of Lie group) and have a structure such that a suitably lifted version of the operator is hypoelliptic. We call these operators ‘‘generalized Rockland operators’’. We prove that these operators are themselves hypoelliptic and, under a natural condition on the homogeneity degree, possess a global fundamental solution $Γ\left( x,y\right) $ which is jointly homogeneous in $\left( x,y\right) $ and satisfies sharp pointwise estimates. Our theory can be applied also to some higher order heat-type operators and their fundamental solutions.

💡 Research Summary

The paper introduces a new class of higher‑order differential operators on ℝⁿ that are built from Hörmander vector fields, are homogeneous with respect to a family of anisotropic dilations, but are not required to be left‑invariant under any Lie‑group structure. These operators are called “generalized Rockland operators.” The authors first set up the geometric framework: a family of smooth, linearly independent vector fields X₁,…,X_m satisfies Hörmander’s bracket‑generating condition at the origin, and ℝⁿ is equipped with dilations δ_λ(x) = (λ^{σ₁}x₁,…,λ^{σ_n}x_n) where 1=σ₁≤…≤σ_n are integers. Each X_i is homogeneous of degree ν_i (1≤ν₁≤…≤ν_m) with respect to δ_λ.

An operator of the form

 L = Σ_{|I|=ν} c_I X^I, |I| = Σ_{h=1}^{ℓ(I)} ν_{i_h},

with ν a positive integer and real constants c_I, is defined as a generalized Rockland operator provided that, if the same vector fields were left‑invariant on a homogeneous Lie group whose dilations coincide with δ_λ, then L would be hypoelliptic. This intuitive definition is later replaced by a rigorous “lifting” condition (Definition 3.3): one lifts the vector fields to a higher‑dimensional homogeneous group where they become left‑invariant, constructs a left‑invariant homogeneous operator there, and requires that this lifted operator be hypoelliptic (i.e., satisfy the classical Rockland condition).

The main results are:

1. Hypoellipticity (Theorem 1.8). Every generalized Rockland operator L is hypoelliptic on ℝⁿ. The proof uses the lifting to a homogeneous group, where hypoellipticity follows from the Rockland theorem, and then transfers the regularity back to the original space.

2. Liouville‑type theorem (Theorem 1.9). If a tempered distribution Λ satisfies LΛ = 0 in 𝒮′(ℝⁿ), then Λ must be a polynomial; in particular any bounded solution is constant. This follows from the hypoellipticity together with known Liouville results for homogeneous hypoelliptic operators.

3. Existence of a global fundamental solution (Theorem 1.13). Assuming the homogeneity degree ν of L is strictly smaller than the homogeneous dimension q = Σ σ_i, there exists a global fundamental solution Γ(x,y) satisfying L_x Γ(·,y) = –δ_y in the distributional sense. Γ is locally integrable in each variable, belongs to L¹_loc(ℝ^{2n}), is smooth off the diagonal, and is jointly homogeneous of degree ν–q:  Γ(δ_λ x, δ_λ y) = λ^{ν–q} Γ(x,y).

   Moreover, if the formal adjoint L* is also a generalized Rockland operator, then Γ*(x,y)=Γ(y,x); in the self‑adjoint case Γ is symmetric.

4. Sharp pointwise estimates (Theorem 1.14). Let r be a non‑negative integer with r ≥ ν–n. For any collection of vector fields Z₁,…,Z_h chosen from {X_i^x, X_i^y} such that Σ|Z_i| = r, the following holds:

   Non‑critical case (r > ν–n):
   |Z₁…Z_h Γ(x,y)| ≤ C  d_X(x,y)^{ν–r} |B_X(x,d_X(x,y))|^{–1}.

   Critical case (r = ν–n):
   |Z₁…Z_h Γ(x,y)| ≤ C  d_X(x,y)^{n} |B_X(x,d_X(x,y))|^{–1} log(R₀ d_X(x,y)).

   Here d_X is the control (Carnot‑Carathéodory) distance associated with the vector fields, and B_X(x,r) denotes the corresponding metric ball. When r=0 the estimate reduces to a bound on Γ itself. In particular, for fixed x, Γ(x,y) → 0 as |y|→∞.

The proofs rely on a refined version of the lifting technique originally developed by Biagi and Bonfiglioli for sub‑Laplacians. The authors embed ℝⁿ into a higher‑dimensional homogeneous group G̃ where the lifted vector fields become left‑invariant. On G̃ the operator becomes a classical Rockland operator, for which a homogeneous fundamental solution is known (Folland, 1975). By projecting this kernel back to ℝⁿ and carefully analysing the behavior under the dilations, they obtain the joint homogeneity and the sharp estimates. The distance and volume comparison lemmas ensure that the projected kernel retains the same decay properties as in the group setting.

Finally, the paper discusses extensions to heat‑type operators L ± ∂_t. If L satisfies an additional positivity condition, the same lifting argument yields a fundamental solution for the parabolic operator, together with Gaussian‑type bounds derived from the spatial estimates.

Significance. This work removes the restrictive left‑invariance hypothesis that has limited the theory of higher‑order hypoelliptic operators to stratified Lie groups. By working directly with Hörmander systems and anisotropic dilations, the authors broaden the class of operators for which global fundamental solutions and precise kernel estimates are available. The results bridge the gap between the abstract Rockland theory on homogeneous groups and concrete PDEs with variable coefficients, opening new avenues for analysis of nonlinear hypoelliptic equations, sub‑Riemannian geometry, and stochastic processes on non‑group manifolds.