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

Technische Zusammenfassung: Fundamentale Lösung für höherordentliche homogene hypoelliptische Operatoren, die auf Hörmander-Vektorfeldern strukturiert sind

Problemstellung
Die vorliegende Arbeit befasst sich mit der Existenz und den Eigenschaften globaler Fundamentallösungen für eine neue Klasse höherordentlicher Differentialoperatoren auf $\mathbb{R}^n$. Diese Operatoren, bezeichnet als „verallgemeinerte Rockland-Operatoren“, werden aus einem System glatter reeller Vektorfelder $X_1, \dots, X_m$ konstruiert, welche die Hörmander-Bedingung erfüllen (das durch die Felder erzeugte Lie-Algebra hat überall vollen Rang) und homogen bezüglich einer Familie nicht-isotroper Dilatationen sind.

Eine entscheidende Unterscheidung dieser Arbeit ist, dass diese Vektorfelder nicht linksinvariant bezüglich einer Lie-Gruppenstruktur auf $\mathbb{R}^n$ angenommen werden. Die Theorie der hypoelliptischen Operatoren ist bereits gut etabliert für:

1. Operatoren zweiter Ordnung auf allgemeinen Hörmander-Systemen (lokale Ergebnisse).
2. Höherordentliche Operatoren auf homogenen Lie-Gruppen (globale Ergebnisse via Rockland-Bedingungen).
3. Operatoren zweiter Ordnung auf $\mathbb{R}^n$, die homogen, aber nicht linksinvariant sind (globale Ergebnisse durch Biagi-Bonfiglioli).

Es gab eine Lücke in der Literatur hinsichtlich höherordentlicher ($>2$) Operatoren, die homogen sind und auf Hörmander-Feldern strukturiert sind, aber keine globale Lie-Gruppen-Invarianz besitzen. Die Autoren zielen darauf ab, diese Lücke zu schließen, indem sie Hypoelliptizität nachweisen und globale Fundamentallösungen mit scharfen Punktwertabschätzungen für diese breitere Klasse konstruieren.

Methodik
Die Kernmethodik stützt sich auf eine Lifting- und Sättigungstechnik, die ursprünglich von Biagi und Bonfiglioli für Sub-Laplace-Operatoren zweiter Ordnung entwickelt wurde, hier jedoch auf beliebige höhere Ordnungen erweitert wird.

1. Lifting auf eine homogene Gruppe:
   Die Autoren nutzen ein Theorem, das besagt, dass jedes System von Hörmander-Vektorfeldern $X_1, \dots, X_m$ auf $\mathbb{R}^n$, welches Homogenitätsannahmen erfüllt, in einen höherdimensionalen Raum $\mathbb{R}^N = \mathbb{R}^n \times \mathbb{R}^p$ ($N > n$) „gehoben“ werden kann. In diesem erweiterten Raum existiert eine homogene Lie-Gruppe $G$ und ein System von linksinvarianten Vektorfeldern $\tilde{X}_1, \dots, \tilde{X}_m$ sodass:

   • Die Lie-Algebra der gehobenen Felder die vollständige Lie-Algebra von $G$ erzeugt.
   • Der ursprüngliche Operator $L$ die Projektion eines gehobenen Operators $\tilde{L}$ ist, der auf $G$ definiert ist. Speziell wirkt $\tilde{L}$ auf Funktionen, die unabhängig von den zusätzlichen Variablen $\xi \in \mathbb{R}^p$ sind, exakt so wie $L$ auf die Basiskomponenten wirkt.

2. Nutzung der Rockland-Theorie:
   Sobald der Operator gehoben ist, wird $\tilde{L}$ zu einem linksinvarianten, homogenen Operator auf einer homogenen Gruppe $G$. Die Autoren setzen voraus, dass $\tilde{L}$ (und sein Transponierter) die Rockland-Bedingung (Hypoelliptizität) erfüllt. Dies ermöglicht es ihnen, auf etablierte Ergebnisse von Folland und anderen bezüglich der Existenz einer eindeutigen, homogenen globalen Fundamentallösung $\tilde{\Gamma}$ auf der Gruppe $G$ zurückzugreifen.

3. Sättigung (Integration):
   Die Fundamentallösung $\Gamma(x, y)$ für den ursprünglichen Operator $L$ auf $\mathbb{R}^n$ wird durch Integration der gehobenen Fundamentallösung $\tilde{\Gamma}$ über die zusätzlichen Variablen $\xi$ konstruiert:
   $$\Gamma(x, y) = \int_{\mathbb{R}^p} \tilde{\Gamma}((x, \xi), (y, 0)) \, d\xi$$
   Die Autoren beweisen rigoros, dass dieses Integral konvergiert und eine gültige Fundamentallösung für $L$ liefert. Dies beinhaltet eine detaillierte Analyse der Integrierbarkeit des gehobenen Kerns sowie des Verhaltens des Differenzoperators $R = \tilde{L} - L$, um sicherzustellen, dass der Sättigungsprozess die hypoelliptischen Eigenschaften und die erforderlichen Abschätzungen bewahrt.

Wesentliche Beiträge und Ergebnisse

1. Hypoelliptizität (Theorem 1.10):
   Die Autoren beweisen, dass jeder verallgemeinerte Rockland-Operator $L$ in $\mathbb{R}^n$ hypoelliptisch ist. Dies wird dadurch etabliert, dass gezeigt wird, dass wenn $Lu$ glatt ist, die gehobene Distribution $\tilde{u} = u \otimes 1$ die Eigenschaft $\tilde{L}\tilde{u} = \text{glatt}$ erfüllt, was impliziert, dass $\tilde{u}$ glatt ist und folglich auch $u$ glatt ist.

2. Liouville-Typ-Theorem (Theorem 1.11):
   Ein Liouville-Theorem wird bewiesen: Jede temperierte Distribution $\Lambda$, die $L\Lambda = 0$ erfüllt, muss ein Polynom sein. Wenn $\Lambda$ beschränkt ist, ist sie eine Konstante. Dieses Resultat wird über die Lifting-Technik und das entsprechende Theorem auf homogenen Gruppen hergeleitet.

3. Existenz und Eigenschaften der globalen Fundamentallösung (Theorem 1.14):
   Unter der Bedingung, dass der Homogenitätsgrad $\nu$ von $L$ die Bedingung $\nu < q$ erfüllt (wobei $q$ die homogene Dimension von $\mathbb{R}^n$ ist), beweisen die Autoren die Existenz einer globalen Fundamentallösung $\Gamma(x, y)$. Wesentliche Eigenschaften umfassen:

   • Gemeinsame Homogenität: $\Gamma(\delta_\lambda x, \delta_\lambda y) = \lambda^{\nu-q} \Gamma(x, y)$.
   • Glattheit: $\Gamma \in C^\infty(\mathbb{R}^{2n} \setminus \{x=y\})$.
   • Verschwinden im Unendlichen: $\Gamma(x, y) \to 0$ für $|x| \to \infty$.
   • Eindeutigkeit: $\Gamma$ ist eindeutig innerhalb der Klasse der Fundamentallösungen, die im Unendlichen verschwinden.
   • Symmetrie: Wenn $L$ formal selbstadjungiert ist, gilt $\Gamma(x, y) = \Gamma(y, x)$.

4. Scharfe Punktwertabschätzungen (Theorem 1.16):
   Das Paper liefert scharfe obere Schranken für $\Gamma$ und dessen Ableitungen.

   • Nicht-kritischer Fall ($r > \nu - n$): Globale Abschätzungen der Form $|Z_1 \dots Z_h \Gamma| \leq C d_X(x, y)^{\nu - r - q}$.
   • Kritischer Fall ($r = \nu - n$): Lokale Abschätzungen unter Einbeziehung eines logarithmischen Terms.
     Diese Abschätzungen hängen von der durch die Vektorfelder induzierten Kontrolldistanz $d_X$ und dem Volumen der zugehörigen Metrikbälle ab.

5. Erweiterung auf Heat-Typ-Operatoren (Abschnitt 3.5):
   Die Theorie wird auf Operatoren der Form $H = L \pm \partial_t$ (Heat-Typ-Operatoren) erweitert, sofern $L$ ein „positiver“ verallgemeinerter Rockland-Operator ist. Die Autoren etablieren ähnliche Existenz-, Hypoelliptizitäts- und Abschätzungsresultate für diese parabolischen Operatoren.

Bedeutung und Ansprüche
Die Autoren behaupten, dass diese Arbeit die erste Untersuchung einer allgemeinen Klasse höherordentlicher hypoelliptischer Operatoren darstellt, die auf Hörmander-Vektorfeldern strukturiert sind, aber auf keiner homogenen Gruppe linksinvariant sind.

• Generalisierung: Die Ergebnisse generalisieren die bekannte Theorie der Rockland-Operatoren auf homogenen Gruppen (wo Linksinvarianz gilt) und die Theorie der zweitgeordneten nicht-invarianten Operatoren auf den höherordentlichen, nicht-invarianten Kontext.
• Konsistenz: Die abgeleiteten Bedingungen (z. B. $\nu < q$ für die Existenz einer homogenen Fundamentallösung) zeigen sich konsistent mit bestehenden Ergebnissen sowohl für linksinvariante Operatoren auf Gruppen als auch für Operatoren zweiter Ordnung ohne Invarianz.
• Neuheit der Technik: Das Argument aus Lifting und Sättigung wird als robuste Technik präsentiert, die angewendet werden kann, um Fundamentallösungen in Kontexten aufzubauen, in denen eine direkte Konstruktion aufgrund des Fehlens einer Gruppenstruktur schwierig ist.

Das Paper schlägt keine neuen experimentellen Anwendungen vor, sondern etabliert einen rigorosen analytischen Rahmen für die Untersuchung dieser spezifischen Differentialoperatoren, indem es die notwendigen Werkzeuge (Fundamentallösungen und Abschätzungen) für die weitere Analyse in Sobolev- und Hölder-Räumen bereitstellt, die an die Vektorfelder angepasst sind.