Sharp bounds for non-trace class noise and applications to SPDEs

Technische Zusammenfassung: Scharfe Schranken für Rauschen außerhalb der Spurklasse und Anwendungen auf SPDEs

Problemstellung
Der Beitrag behandelt die Konvergenz und Regularität von Gaußschen Reihen der Form $g \sum_{n \ge 1} \gamma_n \mu_n f_n$ im Kontext stochastischer partieller Differentialgleichungen (SPDEs), die durch farbiges, räumlich-zeitliches Rauschen außerhalb der Spurklasse getrieben werden. Hierbei sind $(\gamma_n)$ unabhängige standard-Gaußsche Zufallsvariablen, $g$ ein räumlicher Koeffizient in $L^\eta(O)$, $(\mu_n)$ eine Folge von Skalaren, die die „Färbung" des Rauschens repräsentiert, und $(f_n)$ ein orthonormales System in $L^2(O)$.

Die bestehende Literatur beschränkt die Analyse häufig auf zwei Extreme: Rauschen der Spurklasse (wobei $\sum \mu_n^2 \|f_n\|_{L^\infty}^2 < \infty$) oder weißes räumlich-zeitliches Rauschen (wobei $\mu_n \equiv 1$). Der intermediäre Bereich, in dem das Rauschen außerhalb der Spurklasse liegt, aber regularer als weißes Rauschen ist, stellt Herausforderungen dar. Frühere Ergebnisse in diesem intermediären Bereich beruhten häufig auf einschränkenden Annahmen, wie etwa der Forderung, dass das orthonormale System $(f_n)$ Eigenfunktionen des beteiligten Differentialoperators sein muss, oder auf zusätzlichen Summierbarkeitsbedingungen für Eigenwerte, die den Bereich zulässiger Rauschintensitäten einschränken. Darüber hinaus waren viele bestehende Schranken in Bezug auf die Skalierungsinvarianz der zugehörigen SPDEs nicht scharf, insbesondere hinsichtlich der Integrierbarkeit des Koeffizienten $g$.

Methodik
Die Autoren verwenden einen funktionalanalytischen Ansatz, der auf $\gamma$-radonisierenden Operatoren und multilinearer Interpolation basiert.

1. $\gamma$-Radonisierende Operatoren: Die Konvergenz der Gaußschen Reihe wird als Beschränktheit eines Multiplikationsoperators $M_g$, zusammengesetzt mit einem Rauschoperator $R_\mu$, der in Räume von $\gamma$-radonisierenden Operatoren abbildet, neu formuliert, speziell $\gamma(L^2(O), \tilde{H}^{-s,q}(O))$. Dies ermöglicht die Nutzung der Ideal-Eigenschaft von $\gamma$-Räumen und Charakterisierungen durch Quadratfunktionen.
2. Gewichtete Folgenräume: Eine entscheidende Neuerung ist die Einführung des gewichteten Folgenraums $\ell^\zeta(S_f)$, definiert durch die Norm $\|\mu\|_{\ell^\zeta(S_f)} = (\sum |\mu_n|^\zeta \|f_n\|_{L^\infty}^2)^{1/\zeta}$. Dieser Raum interpoliert natürlich zwischen der Spurklassen-Bedingung ($\zeta=2$) und der Beschränktheits-Bedingung ($\zeta=\infty$) und kodiert explizit das $L^\infty$-Wachstum des orthonormalen Systems.
3. $\gamma$-Young-Ungleichung: Die Autoren etablieren eine neue „Young-Ungleichung" für $\gamma$-radonisierende Operatoren, die Faltungen mit schwachen Lebesgue-Räumen ($L^{r,\infty}$) beinhaltet. Dies ist wesentlich für den Umgang mit den Singularitäten von Bessel-Potential-Kernen in den kritischen (skalierungsinvarianten) Fällen.
4. Multilineare Interpolation: Die Hauptergebnisse werden durch Interpolation zwischen zwei Endpunktfällen hergeleitet:
   • Fall $\zeta=2$: Entspricht Rauschen der Spurklasse, bewiesen mittels Sobolev-Einbettungen und der Identifikation von $\gamma$-Räumen mit $L^\eta$-räumen mit Werten in $L^2$.
   • Fall $\zeta=\infty$: Entspricht beschränktem Rauschen, bewiesen unter Verwendung der $\gamma$-Young-Ungleichung und Eigenschaften von Multiplikationsoperatoren in Sobolev-Räumen.
     Die Interpolation wird auf die bilineare Abbildung $(g, \mu) \mapsto M_g R_\mu$ angewendet.

Hauptbeiträge und Ergebnisse

• Scharfe Sobolev-Einbettungen für Gaußsche Reihen (Satz 4.1): Der Beitrag stellt notwendige und hinreichende Bedingungen für die Konvergenz der Reihe $g \sum \gamma_n \mu_n f_n$ in Bessel-Potential-Räumen $\tilde{H}^{-s,q}(O)$ auf. Die Bedingungen lauten:
  $$\frac{s}{d} + \frac{1}{q} \ge \frac{1}{\eta} + \frac{1}{2} - \frac{1}{\zeta} \quad \text{und} \quad \frac{1}{\eta} - \frac{1}{\zeta} < \frac{1}{2}.$$
  Diese Schranken sind scharf, was bedeutet, dass sie die exakte Skalierungsinvarianz des Problems erfassen. Das Ergebnis gilt für allgemeine orthonormale Systeme $(f_n)$, ohne dass diese Eigenfunktionen eines spezifischen Differentialoperators sein müssen.

• Homogene Räume (Satz 4.2): Für den gesamten Raum $O = \mathbb{R}^d$ liefern die Autoren analoge Ergebnisse für homogene Sobolev-Räume $\dot{H}^{-s,q}(\mathbb{R}^d)$, wobei die erste Bedingung mit Gleichheit erfüllt ist.

• Verallgemeinerung auf Fourier-Multiplikatoren (Satz 4.9): Der Rahmen wird auf Gaußsche Rauschprozesse erweitert, die über Fourier-Multiplikatoren $T_m$ auf $\mathbb{R}^d$ definiert sind, wobei das Symbol $m$ in $L^\zeta(\mathbb{R}^d)$ liegt. Dies umfasst Matérn-Zufallsfelder und andere auf Faltungen basierende Rauschstrukturen.

• Optimale Regularität für stochastische Wärmeleitungsgleichungen (Satz 6.3): Durch Anwendung der Schranken für Gaußsche Reihen auf die stochastische Wärmeleitungsgleichung $\partial_t u - \Delta u = g \partial_t W$ leiten die Autoren optimale raum-zeitliche Regularitätsschätzungen für die milde Lösung $u$ her. Insbesondere beweisen sie:
  $$\mathbb{E}\|u\|_{L^p(0,T; H^{1-s,q}(O))}^p + \mathbb{E}\|u\|_{C([0,T]; B^{1-s-2/p}_{q,p}(O))}^p \lesssim \|\mu\|_{\ell^\zeta(S_f)}^p \mathbb{E}\|g\|_{L^p(0,T; L^\eta(O))}^p.$$
  Diese Schätzungen verbessern die bestehende Literatur, indem sie eine geringere Integrierbarkeit von $g$ (kleineres $\eta$) zulassen und einen breiteren Bereich von Rauschintensitäten $\zeta$ abdecken, ohne anzunehmen, dass das Rauschen an die Eigenbasis des Laplace-Operators gebunden ist.

• Notwendigkeit von Gewichten (Abschnitt 5): Der Beitrag zeigt, dass die Verwendung ungewichteter Folgenräume $\ell^\zeta$ (unter Vernachlässigung des $\|f_n\|_{L^\infty}$-Wachstums) versagt, die korrekte Skalierung für SPDEs zu erfassen, was zu suboptimalen Regularitätsergebnissen führt.

Bedeutung und Behauptungen
Die Autoren behaupten, dass ihre Ergebnisse die erste scharfe Charakterisierung der Konvergenz solcher Gaußscher Reihen in Bessel-Potential-Räumen für Rauschen außerhalb der Spurklasse liefern. Die Bedeutung liegt in mehreren spezifischen Verbesserungen gegenüber der Literatur:

1. Schärfe: Die abgeleiteten Bedingungen sind notwendig und hinreichend und bewahren die Skalierungsinvarianz der stochastischen Wärmeleitungsgleichung. Dies ist entscheidend für die Analyse kritischer nichtlinearer SPDEs, bei denen der Verlust selbst einer geringen Menge an Regularität die Anwendung von Fixpunktargumenten verhindert.
2. Allgemeinheit der Rauschstruktur: Im Gegensatz zu früheren Arbeiten, die $(f_n)$ als Eigenfunktionen des Differentialoperators (z. B. des Dirichlet-Laplace-Operators) erforderten, funktioniert dieser Ansatz für jedes orthonormale System. Dies ermöglicht die Anwendung der Ergebnisse auf Operatoren in Divergenzform, bei denen Eigenfunktionen nicht explizit bekannt sind.
3. Flexibilität bei Koeffizienten: Die Ergebnisse erlauben es, dass der Koeffizient $g$ in $L^\eta(O)$ mit einem $\eta$ liegt, das kleiner ist als bisher möglich, und verbessern sogar die Norm auf der linken Seite der Schätzungen (z. B. auf Besov-Räume). Diese Flexibilität wird als wesentliche Motivation für die Arbeit hervorgehoben, speziell für zukünftige Anwendungen auf nichtlineare SPDEs, bei denen man vermeiden möchte, Glattheit bei Sobolev-Einbettungen während Fixpunktiterationen zu verlieren.
4. Dimensionsunabhängigkeit: Die Schranken gelten für jede räumliche Dimension $d$, wohingegen frühere Bedingungen, die die Summierbarkeit von Eigenwerten betrafen, die Dimension oft einschränkten (z. B. $d < 6$ für bestimmte Spur-Bedingungen erforderlich).

Der Beitrag schließt, dass diese scharfen Schranken als grundlegendes Werkzeug für die Untersuchung nichtlinearer SPDEs mit Rauschen außerhalb der Spurklasse dienen, ein Thema, das die Autoren in künftigen Arbeiten im Detail untersuchen werden.