Riesz transform and its related inequalities for degenerate elliptic operators of Grushin type

Technische Zusammenfassung: Riesz-Transformation und verwandte Ungleichungen für degenerierte elliptische Operatoren des Grushin-Typs

Problemstellung
Diese Arbeit untersucht die $L^p$-Beschränktheit der Riesz-Transformation und die Gültigkeit der reversen Riesz-Ungleichung für eine Klasse degenerierter elliptischer Operatoren des Grushin-Typs. Der Operator $L$ ist auf $\mathbb{R}^{n+m}$ definiert durch:
$$L = -\nabla_x \cdot (|x|^{2\alpha}\nabla_x) + |x|^{2\beta}\Delta_y,$$
wobei $n, m \ge 1$, $0 < \alpha < 1$ und $\beta \ge 0$. Die Degeneration tritt auf der singulären Menge $\{x=0\}$ auf. Der zugehörige intrinsische Gradient ist $\nabla_L = (|x|^\alpha \nabla_x, |x|^\beta \nabla_y)$.

Die zentralen Fragen sind:

1. Beschränktheit der Riesz-Transformation: Für welches $p \in (1, \infty)$ gilt die Ungleichung $\|\nabla_L L^{-1/2} f\|_p \le C_p \|f\|_p$?
2. Reverse Riesz-Ungleichung: Für welches $p$ gilt die umgekehrte Ungleichung $\|L^{1/2} f\|_p \le C_p \|\nabla_L f\|_p$?

Die Analyse wird durch die anisotrope Geometrie des Grushin-Raums und das Verhalten der Friedrichs-Realisierung nahe der singulären Menge erschwert, welches je nach Dimension $n$ und Degenerationsparameter $\alpha$ signifikant variiert.

Methodik
Die Beweisstrategie beruht auf dem Nachweis von reversen Hölder-Ungleichungen für Gradienten von $L$-harmonischen Funktionen, wobei die abstrakte Äquivalenz zwischen diesen Ungleichungen und der Beschränktheit der Riesz-Transformation (Coulhon, Jiang, Koskela, Sikora) genutzt wird. Die Methodik unterteilt sich in verschiedene Regime basierend auf der Dimension und dem Degenerationsparameter:

1. Kernkonstruktionen und explizite Analyse:

   • Friedrichs-Realisierung: Die Autoren charakterisieren rigoros die zulässigen Randbedingungen an der singulären Menge $\{x=0\}$. Für $0 < \alpha < 1/2$ besitzt der Formdomän einen gemeinsamen Trace, was zu Flux-Matching-Bedingungen führt. Für $1/2 \le \alpha < 1$ hat die singuläre Menge Kapazität Null, wodurch der Domän zwei Halblinien mit Zero-Flux-Bedingungen zugeordnet werden.
   • Poisson- und Green-Kerne: Die Autoren konstruieren explizite Poisson- und Green-Kerne, die an die Friedrichs-Erweiterung angepasst sind. Dies erfolgt durch Fourier-Transformation in der $y$-Variablen und Zerlegung in Kugelfunktionen (für $n \ge 2$) bzw. durch Trennung der geraden/ungeraden Anteile (für $n=1$).
   • Modifizierte Bessel-Funktionen: Der radiale Teil des Operators reduziert sich auf modifizierte Bessel-Gleichungen. Die Analyse erfordert präzise Schätzungen von Verhältnissen modifizierter Bessel-Funktionen ($I_\nu$ und $K_\nu$).
     • Im Fall $n \ge 2$ hängt die Ordnung $\nu_\ell$ der Bessel-Funktionen von der Winkelhäufigkeit $\ell$ ab und strebt gegen Unendlich. Die Autoren entwickeln ordnungsinvariante Schätzungen (uniform-in-order estimates) für diese Bessel-Verhältnisse, die entscheidend für die Kontrolle der Interaktion mit der singulären Menge sind.
     • Im Fall $n=1$ reduziert sich das Problem auf die Analyse von Bessel-Funktionen fester Ordnung auf Halblinien, jedoch mit unterschiedlichen Randbedingungen (Zero-Flux für gerade Komponenten, Zero-Trace für ungerade Komponenten).

2. Reverse Riesz-Ungleichung via harmonischer Annihilation:

   • Für die umgekehrte Ungleichung, insbesondere im stark degenerierten Regime ($n=1, \alpha \ge 1/2$), in dem globale Poincaré-Ungleichungen versagen, wenden die Autoren eine Methode der harmonischen Annihilation an.
   • Diese Technik isoliert den führenden harmonischen Term im Kern der Riesz-Transformation (der in bestimmten Regimen zur Unbeschränktheit führt) und eliminiert ihn mittels Integration durch Teile in der bilinearen Form. Der verbleibende Term wird unter Verwendung einer Grushin-angepassten Hardy-Ungleichung kontrolliert.

3. Hodge-Projektor-Argument:

   • Im stark degenerierten eindimensionalen Fall ($n=1, 1/2 \le \alpha < 1$) verhindert das Fehlen einer globalen Poincaré-Ungleichung die direkte Anwendung standardmäßiger reverser Hölder-Charakterisierungen. Die Autoren kombinieren die reverse Riesz-Ungleichung mit einem Ergebnis zur Beschränktheit des Hodge-Projektors (Shen's Kriterium), um die volle Bandbreite der Riesz-Transformations-Beschränktheit zurückzugewinnen.

Wesentliche Beiträge und Ergebnisse

• Vollständige Beschränktheit für $n \ge 2$:
  Theorem 1.1 etabliert, dass für $n \ge 2$ und $0 < \alpha < 1$ die Riesz-Transformation für den vollen Bereich $1 < p < \infty$ beschränkt ist. Dies wird durch den Nachweis der endpunktnahen reversen Hölder-Schätzung $(RH_\infty)$ nahe der singulären Menge unter Verwendung uniformer Bessel-Schätzungen erreicht.

• Schärfer Bereich und Endpunkt-Obstruktion für schwach degeneriertes $n=1$:
  Für $n=1$ und $0 < \alpha < 1/2$ beweist Theorem 1.2, dass die Riesz-Transformation genau dann beschränkt ist, wenn $1 < p < \alpha^{-1}$.

  • Mechanismus: Der ungerade Anteil der Lösung erfüllt eine Zero-Trace-Bedingung am Ursprung und verhält sich wie $\text{sgn}(x)|x|^{1-2\alpha}$. Ihr intrinsischer Gradient skaliert als $|x|^{-\alpha}$, was eine Singularität erzeugt, die die Beschränktheit für $p \ge \alpha^{-1}$ verhindert.
  • Schärfe: Die Autoren konstruieren ein Gegenbeispiel, das das Versagen der reversen Hölder-Ungleichung am Endpunkt zeigt.

• Reverse Riesz-Ungleichung für alle Regime:
  Theorem 1.3 etabliert die reverse Riesz-Ungleichung für alle $n, m \ge 1$.

  • Für $n \ge 2$ gilt sie für alle $1 < p < \infty$.
  • Für $n=1$ gilt sie für $p \in (1, (1-\alpha)^{-1}) \cup ((1-\alpha)^{-1}, \infty)$. Der ausgeschlossene Exponent $p = (1-\alpha)^{-1}$ entspricht der Hardy-Schwelle.
  • Entscheidend ist, dass im stark degenerierten Fall ($n=1, \alpha \ge 1/2$) die umgekehrte Ungleichung trotz des Versagens der globalen Poincaré-Ungleichung für alle $1 < p < \infty$ gilt, dank der Technik der harmonischen Annihilation.

• Vollständige Beschränktheit für stark degeneriertes $n=1$:
  Theorem 1.4 beweist, dass für $n=1$ und $1/2 \le \alpha < 1$ die Riesz-Transformation für den vollen Bereich $1 < p < \infty$ beschränkt ist.

  • Mechanismus: Die Friedrichs-Realisierung trennt die beiden Halblinien und wählt den Zero-Flux-Zweig auf jedem der Teile aus. Während die globale Poincaré-Ungleichung versagt, ermöglicht die getrennte Struktur eine verstärkte lokale reverse Hölder-Schätzung. Die Kombination mit der reversen Riesz-Ungleichung und der Beschränktheit des Hodge-Projektors liefert das Ergebnis der vollen Bandbreite.

Bedeutung und Behauptungen
Die Arbeit beansprucht, eine vollständige Beschreibung der $L^p$-Beschränktheit der Riesz-Transformation für Grushin-Operatoren über alle Parameterregime hinweg zu liefern.

• Verhaltensübergang: Eine zentrale Erkenntnis ist der „auffällige Übergang“ im Verhalten der singulären Menge. Im schwach degenerierten eindimensionalen Fall wirkt die singuläre Menge wie eine Barriere, die eine spezifische Obstruktion ($\alpha^{-1}$) erzeugt. Im stark degenerierten Fall trennt die singuläre Menge den Raum effektiv, aber die Zero-Flux-Bedingung auf den getrennten Komponenten stellt die volle Bandbreiten-Beschränktheit wieder her.
• Technische Neuheit: Die Arbeit führt uniforme Schätzungen für modifizierte Bessel-Funktionen im Kontext von Grushin-Operatoren ein, die für den höheren dimensionalen Fall notwendig sind. Zudem wird die Methode der harmonischen Annihilation an degenerierte Operatoren angepasst, bei denen die singuläre Menge eine Kapazität von Null besitzt, um die Notwendigkeit globaler Poincaré-Ungleichungen in der reversen Riesz-Analyse zu umgehen.
• Limitierungen: Die Autoren merken an, dass die Endpunktfälle $p = \alpha^{-1}$ (für $n=1, \alpha < 1/2$) sowie $p = (1-\alpha)^{-1}$ (für die reverse Ungleichung) offen bleiben oder als exakte Schwellenwerte des Versagens bekannt sind; die Arbeit löst die Beschränktheit an genau diesen Endpunkten nicht auf.

Die Ergebnisse verdeutlichen, dass die Beschränktheit der Riesz-Transformation nicht nur von der Geometrie des Wärmekerns abhängt, sondern spezifisch vom lokalen Endpunktverhalten harmonischer Funktionen an der singulären Menge und dem Zusammenspiel zwischen der Friedrichs-Realisierung und dem intrinsischen Gradienten.