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

1. Problemstellung und Motivation

Das Ziel des Papers ist die Herleitung globaler Regularitätsresultate und Schauder-Abschätzungen für nicht-divergente stationäre Differentialoperatoren zweiter Ordnung der Form:
$$L = \sum_{i,j=1}^m a_{ij}(x) X_i X_j$$
wobei:

• $\{X_i\}_{1 \le i \le m}$ homogene H¨ormander-Vektorfelder auf $\mathbb{R}^n$ ($n > m$) sind.
• Diese Vektorfelder sind bezüglich einer Familie nicht-isotroper Dilatationen $\delta_\lambda$ homogen, aber nicht notwendigerweise linksinvariant bezüglich einer Lie-Gruppen-Struktur.
• Die Koeffizientenmatrix $A(x) = [a_{ij}(x)]$ symmetrisch, gleichmäßig positiv definit ist und deren Einträge bezüglich der durch die Vektorfelder induzierten Kontrollmetrik $d_X$ Hölder-stetig sind.

Hintergrund und Lücke in der Literatur:
Es existiert bereits eine umfangreiche lokale Theorie für solche Operatoren (basierend auf Arbeiten von Folland, Rothschild-Stein, Bramanti, Brandolini). Auch globale Ergebnisse in Sobolev-Räumen wurden für stationäre und evolutionäre Fälle etabliert. In Hölder-Räumen fehlte jedoch bisher ein globales Regularitätsergebnis für stationäre Operatoren ohne zugrunde liegende Gruppenstruktur. Bisherige globale Ergebnisse in Hölder-Räumen bezogen sich meist auf Kolmogorov-Fokker-Planck-Operatoren oder Operatoren auf Carnot-Gruppen.

Die Hauptmotivation dieses Papers ist es, diese Lücke zu schließen und eine globale Regularitätstheorie in Hölder-Räumen zu entwickeln, die parallel zu den bekannten Ergebnissen in Sobolev-Räumen steht, jedoch ohne die Annahme einer zugrunde liegenden Lie-Gruppen-Struktur für die ursprünglichen Vektorfelder.

2. Methodik

Der Beweis folgt einem mehrstufigen Ansatz, der die Technik des „Global Lifting" (globales Heben) nutzt, kombiniert mit Integraldarstellungsformeln auf Carnot-Gruppen.

A. Globales Heben (Global Lifting)

Da die ursprünglichen Vektorfelder $X_i$ keine Gruppenstruktur besitzen, wird der Operator $L$ auf einen höherdimensionalen Raum $\mathbb{R}^N$ ($N > n$) „gehoben".

• Satz 1.3 (Biagi, Bonfiglioli): Unter den Annahmen der Homogenität und der H¨ormander-Bedingung existiert eine Carnot-Gruppe $G = (\mathbb{R}^N, *, D_\lambda)$ und Vektorfelder $\tilde{X}_1, \dots, \tilde{X}_m$, die Generatoren dieser Gruppe sind.
• Die ursprünglichen Felder $X_i$ sind Projektionen der gehobenen Felder $\tilde{X}_i$. Die gehobenen Felder haben die Form $\tilde{X}_i = X_i + \sum R_j \partial_{\xi_j}$.
• Der Operator wird zu $\tilde{L} = \tilde{a}_{ij} \tilde{X}_i \tilde{X}_j$ auf $\mathbb{R}^N$ erweitert, wobei $\tilde{a}_{ij}(x, \xi) = a_{ij}(x)$.

B. Theorie auf Carnot-Gruppen

Auf dem gehobenen Raum $\mathbb{R}^N$ mit der Carnot-Struktur können etablierte Techniken angewendet werden:

1. Fundamentallösung: Für den „eingefrorenen" Operator $L_x$ (mit konstanten Koeffizienten an einem Punkt $x$) existiert eine Fundamentallösung $\Gamma_x$, die auf der Carnot-Gruppe definiert ist und homogene Eigenschaften besitzt.
2. Integraldarstellung: Glatt Funktionen und ihre Ableitungen können durch Faltung mit der Fundamentallösung und dem Operator $\tilde{L}$ dargestellt werden (ähnlich der Darstellung durch Riesz-Potenziale im euklidischen Fall).
3. Lokale Schauder-Abschätzungen: Zuerst werden lokale Abschätzungen für Operatoren mit konstanten Koeffizienten und dann für Operatoren mit Hölder-stetigen Koeffizienten auf kleinen Bällen bewiesen. Dies nutzt die Singularitätenintegrale und die Eigenschaften der Fundamentallösung (Homogenität, Mittelwert-Eigenschaft).
4. Interpolation und Überdeckung: Durch Interpolationsungleichungen (zwischen $L^\infty$-Normen und Hölder-Normen höherer Ordnung) und eine Überdeckung des Raumes mit Bällen wird die lokale Abschätzung auf eine globale Abschätzung ausgeweitet.

C. Rückführung auf den ursprünglichen Raum

Nachdem die globalen Schauder-Abschätzungen für den gehobenen Operator $\tilde{L}$ auf der Carnot-Gruppe bewiesen wurden, werden diese Ergebnisse auf den ursprünglichen Operator $L$ zurückgeführt.

• Es wird eine Beziehung zwischen den Hölder-Räumen auf $\mathbb{R}^n$ (mit Metrik $d_X$) und auf $\mathbb{R}^N$ (mit Metrik $d_{\tilde{X}}$) hergestellt.
• Ein „Extensions-Operator" $E$ wird verwendet, um Funktionen von $\mathbb{R}^n$ auf $\mathbb{R}^N$ zu erweitern. Es wird gezeigt, dass die Hölder-Normen unter dieser Erweiterung äquivalent sind (bis auf eine Konstante).
• Da die Koeffizienten $a_{ij}$ nur von $x$ abhängen, kommutiert der Operator mit der Erweiterung, was die Übertragung der Abschätzungen ermöglicht.

3. Wichtige Beiträge und Ergebnisse

Das Paper liefert folgende Hauptergebnisse:

Hauptsatz (Theorem 1.2): Globale Schauder-Abschätzungen

Unter den Annahmen (H1)-(H3) (Homogenität, H¨ormander-Bedingung, Hölder-stetige Koeffizienten) existiert eine Konstante $c_0$, sodass für jede Funktion $u \in C^{2,\alpha}_X(\mathbb{R}^n)$ gilt:
$$\|u\|_{C^{2,\alpha}_X(\mathbb{R}^n)} \le c_0 \left( \|Lu\|_{C^\alpha_X(\mathbb{R}^n)} + \|u\|_{L^\infty(\mathbb{R}^n)} \right)$$
Dies ist die zentrale globale Regularitätsaussage.

Höhere Regularität (Theorem 1.2, zweiter Teil)

Wenn die Koeffizienten $a_{ij}$ zusätzlich in $C^{k,\alpha}_X$ liegen und $Lu \in C^{k,\alpha}_X$, dann gilt $u \in C^{k+2,\alpha}_X$ mit der entsprechenden Abschätzung:
$$\|u\|_{C^{k+2,\alpha}_X} \le c_k \left( \|Lu\|_{C^{k,\alpha}_X} + \|u\|_{L^\infty} \right)$$

Ergebnisse auf Carnot-Gruppen (Theorem 1.6 und 1.7)

Als eigenständiges Ergebnis werden globale Schauder-Abschätzungen für Operatoren auf Carnot-Gruppen mit Hölder-stetigen Koeffizienten bewiesen. Dies ist notwendig, da die ursprünglichen Vektorfelder keine Gruppenstruktur haben, aber die Beweismethodik auf dem gehobenen Raum mit Gruppenstruktur operiert.

Vergleich mit Rothschild-Stein (Remark 1.4)

Das Paper hebt den Unterschied zur klassischen Rothschild-Stein-Lifting-Methode hervor:

• Rothschild-Stein: Lokales Heben auf freie Vektorfelder, gefolgt von einer lokalen Approximation durch eine Carnot-Gruppe (zwei-stufige Approximation).
• Dieses Paper (Folland/Biagi-Bonfiglioli): Globales Heben direkt auf Generatoren einer Carnot-Gruppe, ermöglicht durch die Homogenitätsstruktur. Dies ist weniger allgemein (benötigt Homogenität), aber für globale Ergebnisse viel mächtiger.

4. Signifikanz und Bedeutung

1. Schließung einer theoretischen Lücke: Das Paper liefert das erste globale Regularitätsergebnis in Hölder-Räumen für stationäre nicht-divergente Operatoren mit H¨ormander-Vektorfeldern, die keine linksinvariante Gruppenstruktur besitzen.
2. Erweiterung des Anwendungsbereichs: Viele physikalische und geometrische Modelle nutzen Vektorfelder, die homogen, aber nicht invariant sind. Die Ergebnisse gelten nun für diese breitere Klasse.
3. Methodische Eleganz: Die Kombination aus globalem Lifting (um die algebraische Struktur zu nutzen) und der präzisen Analyse der Beziehung zwischen den Metriken und Normen im ursprünglichen und gehobenen Raum demonstriert eine robuste Technik für degenerate elliptische Probleme.
4. Vorbereitung für weitere Anwendungen: Die etablierten globalen Abschätzungen sind eine Grundvoraussetzung für die Untersuchung von Existenz, Eindeutigkeit und Regularität von Lösungen für nichtlineare Probleme oder evolutionäre Gleichungen in diesem Kontext.

Zusammenfassend stellt dieses Paper einen wesentlichen Fortschritt in der Theorie der degenerierten elliptischen Operatoren dar, indem es die mächtigen Werkzeuge der Analysis auf Carnot-Gruppen erfolgreich auf den allgemeineren Fall homogener, aber nicht-invarianter Vektorfelder überträgt.