Regularization and Asymptotic Behaviour of Ornstein-Uhlenbeck Evolution Operators in Infinite Dimension

Technische Zusammenfassung: Regularisierung und asymptotisches Verhalten von Ornstein-Uhlenbeck-Evolutionoperatoren in unendlicher Dimension

Problemstellung
Die vorliegende Arbeit untersucht die Eigenschaften von Ornstein-Uhlenbeck (OU)-Evolutionoperatoren, die auf Funktionen in einem separablen Hilbertraum $X$ wirken. Der Fokus der Untersuchung liegt auf dem nicht-autonomen, unendlichdimensionalen Fall, in dem die Koeffizienten der zugehörigen rückwärts gerichteten Kolmogorov-Gleichung zeitabhängig sind. Die primären Ziele sind zweigeteilt:

1. Die Etablierung allgemeiner Regularisierungseigenschaften dieser Operatoren beim Wirken auf $L^p$-Räume bezüglich eines geeigneten Evolutionssystems von Maßen.
2. Die Analyse des asymptotischen Verhaltens der Operatoren im zeitperiodischen Fall, insbesondere die Identifizierung der optimalen Konvergenzrate zum Mittelwert in Bezug auf die Zeit sowie die Bereitstellung eines Kriteriums für diese Optimalität, das ausschließlich auf dem Drift-Term basiert.

Während die Theorie für autonome OU-Operatoren in unendlichen Dimensionen gut etabliert ist, bleibt der nicht-autonome Fall weniger vollständig. Frühere Arbeiten haben die endliche-dimensionale nicht-autonome Gleichung sowie spezifische funktionale Ungleichungen (z. B. die starke Feller-Eigenschaft, Hyperkontraktivität) in unendlichen Dimensionen behandelt, doch eine umfassende Analyse der asymptotischen Zerfallsraten und deren Optimalität im $L^p$-Kontext fehlte bisher.

Methodik
Die Analyse strukturiert sich um den Evolutionoperator $\{U(t, s)\}$, der mit einer Familie linearer Operatoren $\{A(t)\}$ und einer beschränkten Familie $\{B(t)\}$ assoziiert ist. Der OU-Evolutionoperator $P_{s,t}$ wird über ein Gauß-Maß mit Mittelwert $U(t, s)x$ und Kovarianz $Q(t, s)$ definiert.

Die Methodik gliedert sich in mehrere Schlüsselphasen:

• Evolutionssysteme von Maßen: Die Autoren führen die Familie der zentrierten Gauß-Maße $\mu_t = N(0, Q(t, -\infty))$ ein, die als „Evolutionssystem von Maßen“ bezeichnet werden. Diese verallgemeinern das Konzept der invarianten Maße im nicht-autonomen Kontext und erfüllen die Invarianzeigenschaft $\int P_{s,t}\phi \, d\mu_s = \int \phi \, d\mu_t$.
• Erweiterung auf $L^p$-Räume: Der Operator $P_{s,t}$, der ursprünglich auf beschränkten stetigen Funktionen $C_b(X)$ definiert ist, wird auf $L^p(X, \mu_t)$ erweitert. Diese Erweiterung beruht auf der Invarianzeigenschaft und der Kontraktionsnatur des Operators.
• Regularisierung mittels Sobolev-Räume: Eine zentrale technische Komponente besteht darin, zu beweisen, dass $P_{s,t}$ Funktionen aus $L^p$ in erste Ordnung Sobolev-Räume $W^{1,p}(X, \mu_s)$ abbildet. Dies erfordert die Behandlung sowohl skalarer als auch vektorwertiger Funktionen. Die Autoren definieren vektorwertige Sobolev-Räume mittels zylindrischer Funktionen und dem Abschluss des Gradientenoperators in der Hilbert-Schmidt-Norm. Der Beweis der Regularisierung nutzt das Cameron-Martin-Theorem und die „Kontrollierbarkeitsbedingung“ (Annahme 8), welche sicherstellt, dass das Bild des Evolutionoperators im Bild der Quadratwurzel des Kovarianzoperators liegt.
• Spektralanalyse im periodischen Fall: Unter der Annahme, dass die Koeffizienten $A(\cdot)$ und $B(\cdot)$ $T$-periodisch sind, nutzen die Autoren die Spektraltheorie kompakter Operatoren. Sie analysen den Operator $P_{0,T}$ auf dem Unterraum der Funktionen mit Mittelwert Null. Die Kompaktheit von $P_{0,T}$ (abgeleitet aus den Regularisierungsergebnissen) ermöglicht die Verwendung von Spektralradiusformeln zur Abschätzung der Konvergenzraten.
• Verknüpfung der Spektren: Ein entscheidender Schritt besteht darin, das Spektrum des OU-Operators $P_{0,T}$ mit dem Spektrum des adjungierten Evolutionoperators $U(T, 0)^*$ in Beziehung zu setzen. Die Autoren zeigen, dass Eigenwerte von $U(T, 0)^*$ mit Eigenwerten von $P_{0,T}$ korrespondieren, speziell für lineare Eigenfunktionen.

Wesentliche Beiträge und Ergebnisse

1. Regularisierung und Kompaktheit: Das Paper beweist, dass für $p > 1$ der erweiterte OU-Operator $P_{s,t}: L^p(X, \mu_t) \to L^p(X, \mu_s)$ ein kompakter Operator ist. Sein Bild ist enthalten im Sobolev-Raum $W^{1,p}(X, \mu_s)$, und der Gradient erfüllt eine spezifische Abschätzung unter Verwendung des Operators $\Lambda(t, s) = Q(t, s)^{-1/2}U(t, s)$. Diese Kompaktheit ist entscheidend für die nachfolgende Spektralanalyse.

2. Exponentielle Konvergenzrate: Im zeitperiodischen Fall stellt das Paper die exponentielle Konvergenz von $P_{s,t}f$ gegen seinen Mittelwert $\int f d\mu_t$ fest. Speziell gilt: Für jedes $\omega$, das strikt größer als die Zerfallsrate $\omega_0$ des Evolutionoperators $U(t, s)$ ist (wobei $\|U(t, s)\| \leq Me^{\omega_0(t-s)}$), existiert eine Konstante $C_{T,\omega}$, sodass:
   $$\| P_{s,t}f - \int_X f d\mu_t \|_{L^p(X, \mu_s)} \leq C_{T,\omega} e^{\omega(t-s)} \|f\|_{L^p(X, \mu_t)}$$
   Der Spektralradius von $P_{0,T}$, eingeschränkt auf den Unterraum der Funktionen mit Mittelwert Null, ist durch $e^{\omega_0 T}$ beschränkt.

3. Optimalitätskriterium: Das Paper liefert eine hinreichende Bedingung dafür, dass die Konvergenzrate optimal ist, das heißt, die Rate kann nicht über $e^{\omega_0(t-s)}$ verbessert werden. Die Bedingung ist, dass alle Eigenwerte von $U(T, 0)^*$ mit dem maximalen Modul $e^{\omega_0 T}$ semi-simpel sein müssen. Wenn diese Bedingung erfüllt ist, gilt die Abschätzung mit $\omega = \omega_0$.

   • Entscheidend ist, dass die Autoren anmerken, dass dieses Optimalitätskriterium nur vom Drift-Term $A(\cdot)$ (über $U(T, 0)^*$) abhängt und nicht vom Diffusions-Term $B(\cdot)$.

4. Konkretes Beispiel: In Sektion 5 wird ein konkretes Beispiel in $X = L^2(\Omega)$ konstruiert, bei dem $A(t)$ ein zeitperiodischer elliptischer Differentialoperator ist und $B(t)$ eine Potenzfunktion von $A(t)^{-1}$ darstellt. Die Autoren verifizieren, dass dieses System alle Annahmen, einschließlich der Kontrollierbarkeitsbedingung und der Nicht-Degeneriertheit der Maße, erfüllt. Des Weiteren beweisen sie, dass für dieses spezifische Beispiel der Eigenwert von $U(T, 0)^*$ mit maximalem Modul eindeutig und semi-simpel ist, wodurch bestätigt wird, dass die abgeleitete Konvergenzrate tatsächlich optimal für diese Klasse von Operatoren ist.

Bedeutung
Das Paper beansprucht, die Theorie der nicht-autonomen Evolutionen in unendlichen Dimensionen wie folgt voranzubringen:

• Bereitstellung eines rigorosen Rahmens für die $L^p$-Regularisierung von OU-Operatoren bezüglich Evolutionssystemen von Maßen.
• Herstellung einer direkten Verbindung zwischen den Spektraleigenschaften des zugrunde liegenden deterministischen Evolutionoperators $U(t, s)$ und dem asymptotischen Zerfall des stochastischen OU-Operators $P_{s,t}$.
• Angebot eines verifizierbaren Kriteriums (Semi-Simplizität der maximalen Eigenwerte des Drift-Operators), um die Schärfe der Konvergenzrate zu bestimmen.
• Demonstration, dass die optimale Konverzionsgeschwindigkeit vollständig durch die Terme erster Ordnung (Drift) des Erzeugers bestimmt wird – ein Ergebnis, das die Analyse komplexer stochastischer Systeme vereinfacht.

Die Arbeit schließt die Lücke zwischen dem gut verstandenen autonomen Fall und dem komplexeren nicht-autonomen Szenario und bietet Werkzeuge zur Analyse des Langzeitverhaltens von Lösungen unendlichdimensionaler stochastischer Differentialgleichungen.