$\mathrm{L}^p$ bounds for parabolic Riesz transforms with rough coefficients: The case $1<p \leq 2$

Technische Zusammenfassung: $L^p$-Schranken für parabolische Riesz-Transformationen mit rauen Koeffizienten

Problemstellung
Die Arbeit befasst sich mit der Beschränktheit von Riesz-Transformationen, die mit nicht-autonomen, zweiten-Ordnung-parabolischen Differentialoperatoren in Divergenzform auf $\mathbb{R}^{n+1}$ assoziiert sind. Der Operator ist definiert als $H = \partial_t - \text{div}_x(A(x,t)\nabla_x)$, wobei die Koeffizientenmatrix $A$ beschränkt, messbar und elliptisch ist und von allen Raum-Zeit-Variablen abhängt. Die zugehörige Riesz-Transformation ist definiert als $R_H = D H^{-1/2}$, wobei $D = (\nabla_x, D_t^{1/2})$ der parabolische Gradient unter Einbeziehung einer fraktionalen Zeitableitung der Ordnung $1/2$ ist.

Während die $L^2$-Beschränktheit für solche Operatoren über die Lösung des parabolischen Kato-Problems etabliert wurde, bleibt die Erweiterung auf $L^p$-Räume für $p \neq 2$ eine signifikante Herausforderung. Im elliptischen Fall mit rauen Koeffizienten sind $L^p$-Schranken typischerweise auf einen Teilbereich der Exponenten $1 < p < 2$ beschränkt, da es an Glattheit mangelt, und Dualitätsargumente versagen für $p > 2$. Für parabolische Operatoren wird die Situation durch die nicht-lokale Natur der fraktionalen Zeitableitung $D_t^{1/2}$ und die Kopplung von Raum- und Zeitvariablen durch die messbaren Koeffizienten zusätzlich erschwert, was die Anwendung klassischer Fourier-Multiplikator-Techniken verhindert, die Variablen trennen.

Methodik und Kernideen
Die Autoren entwickeln ein neuartiges Extrapolations-Framework, das auf zwei komplementären Geometrien beruht, um die begrenzte Raum-Zeit-Abklingrate des Operatorkerns zu handhaben:

1. Kleine Skalen: Parabolische Würfel $\Delta_r(x,t) = Q_r(x) \times I_r(t)$, welche die lokale Geometrie des Operators widerspiegeln.
2. Große Skalen: Regionen, die modelliert sind nach den Level-Sets der fraktionalen Zeitableitung eines parabolischen Bessel-Potentials. Dies sind „zeitgestreckte“ Annuli, in denen die Zeitdimension im Vergleich zur Raumdimension um den Faktor $N^2$ gestreckt ist.

Die zentrale technische Strategie besteht darin, Raum-Zeit-Off-Diagonal-Abschätzungen für die Familie der Operatoren $(\lambda D E_\lambda)_{\lambda > 0}$ zu etablieren, wobei $E_\lambda = (1 + \lambda^2 H)^{-1}$ der Resolvent ist. Im Gegensatz zu früheren Ansätzen, die auf der Interpolation von $L^2$-Energieabschätzungen mit $L^p$-Schranken basierten, leiten die Autoren echte $L^p$-Off-Diagonal-Abschätzungen ab. Dies ist entscheidend, da die nicht-lokale fraktionale Ableitung $D_t^{1/2}$ bedeutet, dass selbst die zugrunde liegenden $L^2$-Abschätzungen nicht genügend Abfall liefern, um unterhalb des unteren parabolischen Sobolev-Konjugierten von 2 ($2^\star$) mittels Standard-Interpolation zu arbeiten.

Der Beweis erfolgt über ein Bootstrapping-Argument entlang der parabolischen Sobolev-Konjugierten. Durch iteratives Anwenden von Extrapolationskriterien (speziell eine zwei-skalige Version des Blunck–Kunstmann-Kriteriums und ein neues Kriterium für Operatoren mit begrenztem Abfall) erweitern die Autoren den Bereich der Beschränktheit von $p=2$ nach unten bis zu einem kritischen Exponenten.

Wesentliche Beiträge und Ergebnisse

1. Identifizierung des maximalen Bereichs: Die Arbeit etabliert die ersten $L^p$-Schranken für parabolische Riesz-Transformationen mit Koeffizienten, die messbar von allen Variablen abhängen. Sie identifiziert den maximalen offenen Exponentenbereich $1 < p \leq 2$, für den $R_H$ beschränkt ist. Dieser Bereich wird durch den kritischen Exponenten $p_-(H)$ bestimmt, der das Infimum der Exponenten ist, für die die Resolventenfamilie $(E_\lambda)$ $L^p$-beschränkt ist.

   • Theorem 1.3: Für komplexe Koeffizienten ist $R_H$ beschränkt auf $L^p$ für alle $p \in (p_-(H), 2]$. Die Autoren beweisen, dass $p_-(H) = q_-(H)$ gilt (wobei $q_-(H)$ das Infimum für die Gradientenfamilie ist) und dass dieser Wert im Intervall $[1, 2^\star)$ liegt, wobei $2^\star = \frac{2(n+2)}{n+4}$ der untere parabolische Sobolev-Konjugierte von 2 ist.

2. Reelle Koeffizienten: Im Fall, dass die Koeffizienten $A$ reellwertig sind, beweisen die Autoren, dass $p_-(H) = 1$ gilt. Folglich ist die Riesz-Transformation auf den vollen Bereich $L^p$ für alle $1 < p \leq 2$ beschränkt. Des Weiteren wird gezeigt, dass die räumliche Gradientenkomponente $\nabla_x H^{-1/2}$ von schwachem Typ $(1,1)$ ist.

3. Schärfe: Die Ergebnisse werden innerhalb der Klasse der parabolischen Operatoren für Raumdimensionen $n \geq 2$ als scharf erwiesen. Unter Verwendung irregulärer schwacher Lösungen, konstruiert von Mooney, zeigen die Autoren, dass für jedes $\epsilon > 0$ Koeffizienten existieren, sodass $p_-(H) \geq 2^\star - \epsilon$ gilt. Dies bestätigt, dass die untere Grenze des Extrapolationsbereichs im allgemeinen komplexen Fall ohne zusätzliche Annahmen nicht auf 1 verbessert werden kann.

4. Neues Extrapolations-Framework: Das Paper führt ein Boundedness-Kriterium (Theorem 5.1) ein, das auf Operatoren mit „begrenztem Raum-Zeit-Abfall“ zugeschnitten ist, die nicht in Standard-Räume vom homogenen Typ passen. Dieses Framework ermöglicht die iterative Erweiterung der Beschränktheit von $L^2$ nach unten bis zum kritischen Exponenten, indem das Extrapolationsargument von jedem bekannten beschränkten Exponenten $q$ aus neu gestartet wird.

Bedeutung und Ansprüche
Das Paper beansprucht, die ersten Ergebnisse zu $L^p$-Schranken für Riesz-Transformationen assoziiert mit nicht-autonomen parabolischen Operatoren mit lediglich messbaren Koeffizienten, die von allen Variablen abhängen, geliefert zu haben. Die Bedeutung liegt in der Überwindung der Kopplung von Raum- und Zeitvariablen sowie der Nicht-Lokalität der Zeitableitung, was zuvor die Anwendung der Standard-Calderón–Zygmund-Theorie verhindert hatte.

Die Autoren betonen, dass ihre geometrische Einsicht – die Kombination von parabolischen Würfeln mit zeitgestreckten Regionen – es ermöglicht, den ausreichenden Off-Diagonal-Abfall wiederherzustellen, um klassische koordinatenweise Argumente zu ersetzen. Das Ergebnis ist scharf in Dimensionen $n \geq 2$ und identifiziert die präzise Limitation, die durch die Rauheit der Koeffizienten gesetzt wird. Für reelle Koeffizienten stellt das Ergebnis den vollen Bereich $1 < p \leq 2$ wieder her und erweitert damit frühere Ergebnisse, die auf autonome Operatoren beschränkt waren oder eine höhere Regularität erforderten.

Das Paper schließt mit dem Hinweis, dass die entwickelten Techniken voraussichtlich auf andere nicht-lokale Operatoren, wie etwa verallgemeinerte Stokes-Operatoren, anwendbar sind, und listet mehrere offene Probleme auf, darunter die Beschränktheit vom schwachen Typ $(1,1)$ für die vollständige Riesz-Transformation mit reellen Koeffizienten sowie das Verhalten in Dimension $n=1$.