Counterexamples to maximal regularity for operators in divergence form

Technisches Resümee: Gegenbeispiele zur maximalen Regularität für Operatoren in Divergenzform

Problemstellung
Dieses Paper adressiert zwei fundamentale Fragen bezüglich der Regularität von Lösungen zu parabolischen partiellen Differentialgleichungen (PDEs) in Divergenzform mit zeitabhängigen Koeffizienten. Die Autoren betrachten das abstrakte Cauchy-Problem (CP):
$$\begin{cases} u' - Au = f, & \text{auf } (0, 1), \\ u(0) = 0, \end{cases}$$
wobei $A(t)$ eine stark messbare Familie von Operatoren ist, die einen Hilbert-Raum $V$ in dessen Dualen $V^*$ abbildet und Koerzitivitäts- sowie Beschränkungsbedingungen erfüllt. Speziell konzentrieren sich die Autoren auf den konkreten Fall $H = L^2(\mathbb{R}^d)$, $V = H^1(\mathbb{R}^d)$ und $A(t)v = -\text{div}(B(t)\nabla v)$, wobei $B$ eine gleichmäßig elliptische Matrixfeld ist.

Die Untersuchung befasst sich mit zwei spezifischen Regularitätsproblemen:

1. Problem 1 (Maximale $L^p$-Regularität auf $V$): Im Falle von $p \in (1, \infty) \setminus \{2\}$, impliziert die Bedingung $f \in L^p(0, 1; V^*)$, dass die eindeutige schwache Lösung $u$ in $L^p(0, 1; V)$ liegt?
2. Problem 2 (Maximale $L^2$-Regularität auf $H$): Impliziert die Bedingung $f \in L^2(0, 1; H)$, dass die zeitliche Ableitung der Lösung die Eigenschaft $u' \in L^2(0, 1; H)$ besitzt?

Während die Theorie von Lions allein unter Koerzitivität eine eindeutige schwache Lösung in $L^2(0, 1; V) \cap H^1(0, 1; V^*)$ garantiert, und positive Ergebnisse für autonome Operatoren oder Operatoren mit ausreichender Zeit-Regularität (z. B. Stetigkeit oder Hölder-Stetigkeit) existieren, bleibt das Verhalten für allgemeine zeitabhängige Koeffizienten ohne solche Regularitätsannahmen offen. Frühere Gegenbeispiele von Dier und Fackler waren abstrakt und keine Differentialoperatoren. Dieses Paper zielt darauf ab, Gegenbeispiele zu konstruieren, die echte Differentialoperatoren sind.

Methodik
Der Ansatz der Autoren stützt sich auf eine spezifische Konstruktion von Lösungen zu linearen, gleichmäßig parabolischen PDEs mit komplexen Koeffizienten, die ursprünglich vom zweitgenannten Autor in [19] entwickelt wurde. Die Methodik verläuft wie folgt:

1. Skalierungssymmetrie-Konstruktion: Die Autoren nutzen eine selbstähnliche Ansatzform für die Lösung $\zeta(t, x)$ und das Koeffizientenmatrix $B(t, x)$:
   $$\zeta(t, x) = (1-t)^{-\mu/2} e^{-i \log(1-t)/2} w\left(\frac{x}{(1-t)^{1/2}}\right), \quad B(t, x) = a\left(\frac{x}{(1-t)^{1/2}}\right).$$
   Dies reduziert die parabolische PDE auf eine elliptische PDE für die Profilfunktion $w$ und das Koeffizientenfeld $a$ auf $\mathbb{R}^d$.

2. Existenz singulärer Profile: Unter Bezugnahme auf [19] stellen die Autoren fest, dass für jeden Parameter $\mu \in [0, d/2)$ glatte (fernab des Ursprungs) gleichmäßig elliptische Koeffizienten $a$ und Lösungen $w$ existieren, sodass $w$ lokal Lipschitz-stetig ist, aber spezifische Abfallraten am Unendlichen ($|x|^{-\mu}$) aufweist. Entscheidend ist, dass der Imaginärteil von $B$ symmetrisch gewählt wird, was eine starke Kopplung zwischen dem Realteil und dem Imaginärteil der Gleichung ermöglicht, ohne die Elliptizitätsbedingung zu verletzen.

3. Lokalisierung und Generierung von Gegenbeispielen: Um diese globalen Lösungen an das beschränkte Zeitintervall $(0, 1)$ und das spezifische Problemsetting anzupassen, führen die Autoren eine glatte Abschneidefunktion (Cutoff-Funktion) $\eta$ ein. Sie definieren einen neuen Lösungskandidaten $u(t, x) = t \zeta(t, x) \eta(x)$ und leiten daraus die entsprechende Erregungsfunktion (Forcing Term) $f$ ab.

4. Regularitätsanalyse: Der Kern des Beweises besteht in der Abschätzung der Integrierbarkeit von $u$ und $f$. Durch eine sorgfältige Auswahl der Parameter $\mu$, $r$ und $s$ demonstrieren die Autoren, dass während $f$ eine hohe Regularität besitzt (z. B. $f \in L^\infty(0, 1; L^2)$), die Lösung $u$ nicht in bestimmte gemischte Norm-Räume $L^r(0, 1; L^s(\mathbb{R}^d))$ gehört.

5. Dualität und Interpolation:

   • Für Problem 1 mit $p > 2$ impliziert das Versagen der $L^r(L^s)$-Integrierbarkeit direkt das Versagen der $L^p(0, 1; H^1)$-Regularität via Sobolev-Einbettung.
   • Für Problem 1 mit $p < 2$ wird ein Dualitätsargument angewandt. Die Annahme, dass die maximale Regularität für $p$ gilt, führt zu einem Widerspruch mit dem bekannten Versagen für den dualen Exponenten $p'$.
   • Für Problem 2 werden komplexe Interpolation und Sobolev-Einbettungssätze verwendet, um zu zeigen, dass falls $u$ die erforderliche Zeit-Regularität ($H^\nu$) besäße, es notwendigerweise in den Raum $L^r(L^s)$ gehören müsste, was bereits als falsch bewiesen wurde.

Wesentliche Beiträge und Ergebnisse

• Theorem 2.4 (Versagen höherer Integrierbarkeit): Für Dimensionen $d \ge 2$ und Exponenten $r, s \in (1, \infty)$ mit $\frac{2}{r} + \frac{d}{s} < \frac{d}{2}$ existiert eine elliptische Matrix $B$ und ein Erregungsterm $f \in L^\infty(0, 1; L^2)$, so dass die eindeutige Lösung $u$ der Divergenzform-Gleichung nicht in $L^r(0, 1; L^s)$ liegt.
• Theorem 2.5 (Versagen der maximalen $L^p$-Regularität für Problem 1): Für jedes $p \in (1, \infty) \setminus \{2\}$ existiert ein elliptischer Operator in Divergenzform und ein Erregungsterm $f \in L^p(0, 1; H^{-1})$, so dass die Lösung $u$ nicht in $L^p(0, 1; H^1)$ liegt. Dies zeigt, dass das positive Ergebnis von Theorem 2.2 (welches Regularität für $p$ in einer kleinen Umgebung von 2 garantiert) scharf ist und nicht auf das gesamte Intervall $(1, \infty)$ erweitert werden kann.
• Theorem 2.7 (Versagen der maximalen $L^2$-Regularität für Problem 2): Für jedes $\nu \in (1/2, 1]$ existiert ein elliptischer Operator und ein $f \in L^\infty(0, 1; L^2)$, so dass die Lösung $u$ nicht in dem fraktionalen Sobolev-Raum $H^\nu(0, 1; L^2)$ liegt. Dies liefert eine negative Antwort auf Lions' Problem für allgemeine elliptische Operatoren in Divergenzform und zeigt, dass die Lösung selbst eine Zeit-Regularität von Ordnung $1/2$ in $L^2$ verfehlen kann.

Bedeutung und Behauptungen
Das Paper beansprucht, die Frage zu klären, ob die maximale Regularität für allgemeine zeitabhängige Operatoren in Divergenzform gilt, indem es explizite Gegenbeispiele liefert, die Differentialoperatoren sind und keine abstrakten Operatoren.

• Schärfe bestehender Theorie: Die Ergebnisse bestätigen, dass das kleine Intervall von $p$, für das die maximale $L^p$-Regularität gilt (Theorem 2.2), optimal ist und ohne zusätzliche Annahmen über die Zeit-Regularität der Koeffizienten nicht auf das volle Intervall $(1, \infty)$ erweitert werden kann.
• Beschränkungen der Divergenzform-Struktur: Im Gegensatz zum Kato-Quadratwurzel-Problem, bei dem die Differentialstruktur positive Ergebnisse lieferte, zeigt diese Arbeit, dass die Divergenzform-Struktur allein nicht ausreicht, um maximale Regularität zu garantieren, wenn die Koeffizienten keine Zeit-Kontinuität besitzen.
• Regularität der Koeffizienten: Die Autoren merken an, dass ihre Gegenbeispiele auf Koeffizienten $B$ beruhen, die nicht zeitstetig sind (speziell nicht stetig als Abbildungen in $L^\infty$). Sie halten explizit fest, dass das Finden eines Gegenbeispiels für Problem 2 mit Hölder-stetigen Koeffizienten (speziell für $\nu=1$) ein offenes und interessantes Problem bleibt, da positive Ergebnisse für Koeffizienten mit etwas mehr Regularität (z. B. $C^{1/2+\epsilon}$) existieren.

Das Paper schließt mit der Anerkennung offener Fragen, einschließlich des Falls symmetrischer/hermitescher Operatoren und des eindimensionalen Falls ($d=1$), in dem das Verhalten abweichen könnte.