Strichartz estimates for a class of Schrödinger equations with a drift

1. Problemstellung und Motivation

Der Artikel untersucht die Strichartz-Abschätzungen für eine Klasse von entarteten Schrödinger-Gleichungen mit einem reellen Drift-Term. Das betrachtete Cauchy-Problem in $\mathbb{R}^n \times [0, \infty)$ lautet:

$$\partial_t u - i \text{tr}(Q \nabla^2 u) - \langle Bx, \nabla u \rangle = F(x, t), \quad u(x, 0) = \phi(x)$$

Dabei sind $Q$ und $B$ konstante $n \times n$-Matrizen, wobei $Q$ symmetrisch und positiv semidefinit ($Q = Q^*, Q \ge 0$) ist.

Herausforderungen und Kontext:

• Entartung: Die Matrix $Q$ kann hochgradig entartet sein (z. B. $\text{Rank}(Q) = 1$), was typisch für Modelle von Quantendrähten ist. Dies führt zu einem degenerierten kinetischen Term.
• Drift-Term: Der Term $\langle Bx, \nabla u \rangle$ bricht die Variationsstruktur der Gleichung auf und verhindert oft die Existenz globaler homogener Skalierungen (Dilations), die für klassische Strichartz-Abschätzungen entscheidend sind.
• Fehlende globale Homogenität: Im Gegensatz zur klassischen Schrödinger-Gleichung ($Q=I, B=0$) besitzt das System im Allgemeinen keine globale Dilationsinvarianz, was die Bestimmung der Integrabilitätsindizes erschwert.

Das Ziel ist es, neue intrinsic Strichartz-Abschätzungen (innere Abschätzungen) zu etablieren, bei denen die Integrabilitätsindizes nicht von der Raumdimension $n$, sondern von einer lokalen homogenen Dimension $D$ abhängen, die intrinsisch durch die Matrizen $Q$ und $B$ definiert ist.

2. Methodik und theoretischer Rahmen

Die Autoren nutzen einen mehrstufigen Ansatz, der auf der expliziten Lösungsformel und der Theorie von Lie-Gruppen basiert:

1. Darstellung der Lösung:
   Unter der algebraischen Bedingung (H) (der Kern von $Q$ enthält keinen nicht-trivialen invarianten Unterraum von $B^*$), existiert eine explizite Lösungsformel (basierend auf [17]), die den Schrödinger-Propagator $T(t)$ als Integraloperator mit einem komplexen Gauß-Kern darstellt. Der Kern hängt von der Volumenfunktion $V(t) = \det Q(t)$ ab, wobei $Q(t) = \int_0^t e^{sB} Q e^{sB^*} ds$ die Kontrollierbarkeits-Gramm-Matrix ist.

2. Definition der lokalen homogenen Dimension $D$:
   Basierend auf der kanonischen Form von $Q$ und $B$ (verwandt mit der Kontrollierbarkeitsstruktur) definieren die Autoren die Dimension:
   $$D = p_0 + 3p_1 + \dots + (2r+1)p_r$$
   wobei $p_i$ die Ränge bestimmter Blöcke in der kanonischen Darstellung sind.

   • Wenn $Q$ invertierbar ist, gilt $D=n$.
   • Wenn $Q$ entartet ist, gilt $D > n$.
     Diese Zahl $D$ bestimmt das Skalenverhalten der Lösung und ersetzt die Raumdimension $n$ in den klassischen Exponenten.

3. Verallgemeinerung der Ginibre-Velo-Methode ($T^*T$-Methode):
   Die Beweise stützen sich auf die von Ginibre und Velo entwickelte $T^*T$-Argumentation.

   • Es wird eine Gruppe $\{U(t)\}_{t \in \mathbb{R}}$ definiert, die den Propagator auf die gesamte reelle Achse erweitert.
   • Es werden Dispersionsungleichungen (Dispersive Estimates) für $U(t)$ hergeleitet, die das Verhalten der Volumenfunktion $V(t)$ und den Spur des Drifts $\text{tr}(B)$ enthalten.
   • Durch Anwendung des Hardy-Littlewood-Sobolev-Theorems auf die Faltungsstruktur des Operators $T^*T$ werden die gemischten Norm-Abschätzungen gewonnen.

4. Analyse der Volumenfunktion $V(t)$:
   Ein wesentlicher technischer Teil des Papers ist die Untersuchung des asymptotischen Verhaltens von $V(t)$ für $t \to \infty$. Je nach Spektrum von $B$ und Entartung von $Q$ verhält sich $V(t)$ entweder wie $t^D$ oder wie $t^{D_\infty}$ (mit $D_\infty < D$). Dies führt zu zwei verschiedenen Hypothesen für die Abschätzungen.

3. Hauptergebnisse

Die Ergebnisse werden in zwei Hauptsätze unterteilt, abhängig vom asymptotischen Verhalten von $V(t)$:

Theorem A (Fall: Hypothese A)

Gilt für Fälle, in denen $V(t) \ge \gamma t^{\text{tr}(B)}$ (bzw. spezifisch $V(t) \ge \gamma t^D$ bei $\text{tr}(B)=0$) für alle $t > 0$.

• Ergebnis: Es existieren Strichartz-Abschätzungen für admissible Paare $(q, r)$, definiert durch $2/q = D(1/2 - 1/r)$.
• Gewichte: Die Abschätzungen enthalten exponentielle Gewichte $e^{\frac{q}{2} \text{tr}(B) t}$, die aus der Drift-Transformation resultieren.
• Besonderheit: Falls $\text{tr}(B) = 0$, erhält man die klassische Form ohne Gewichte, jedoch mit dem Index $D$ statt $n$. Dies verallgemeinert die klassischen Strichartz-Abschätzungen auf entartete Systeme mit Drift.

Theorem B (Fall: Hypothese B)

Gilt für Fälle, in denen $V(t)$ ein anderes asymptotisches Verhalten zeigt, nämlich $V(t) \ge \gamma \min\{t^D, t^{D_\infty}\}$ mit $D_\infty < D$. Dies tritt auf, wenn $Q$ entartet ist und $B$ bestimmte spektrale Eigenschaften hat (z. B. rein imaginäre Eigenwerte, aber nicht nilpotent in der speziellen Form).

• Ergebnis: Die Abschätzungen erfordern eine Kombination von Räumen (Summen- und Schnittmengenräume), um das unterschiedliche Verhalten für kleine und große Zeiten zu handhaben.
• Form: $\|u\|_{L^q_t L^r_x + L^{q_\infty}_t L^r_x} \le C (\|\phi\|_{L^2} + \|F\|_{L^{q'}_t \cap L^{q'_\infty}_t L^{r'}_x})$.

Satz 1.3 und 1.4 (Gültigkeit der Hypothesen)

Die Autoren zeigen, dass fast alle Szenarien für $Q$ und $B$ abgedeckt sind:

• Wenn $\sigma(B) \not\subset i\mathbb{R}$ oder $Q$ invertierbar ist, gilt Hypothese A.
• Wenn $Q$ entartet ist und $B$ ähnlich zu einer schiefsymmetrischen Matrix ist, gilt Hypothese B mit $D_\infty = n$.
• Es wird ein „anomaler Fall" (Beispiel 7.4) diskutiert, in dem $D_\infty < D$ gilt, aber $B$ nicht schiefsymmetrisch ist, was die Notwendigkeit der Unterscheidung zwischen Theorem A und B unterstreicht.

4. Beispiele und Anwendungen

Der Artikel illustriert die Theorie mit mehreren wichtigen Beispielen:

• Konforme Koordinaten: Die Transformation der klassischen Schrödinger-Gleichung in konforme selbstähnliche Koordinaten führt genau auf eine Gleichung der Form (1.3) mit $B = -I$. Dies erklärt den Ursprung der exponentiellen Gewichte in den Abschätzungen.
• Verzerrte Laplace-Operatoren: Die Gleichung auf Heisenberg-Gruppen oder Carnot-Gruppen führt nach Fourier-Transformation auf Schrödinger-Gleichungen mit Drift-Termen, die von der Struktur der Gruppe abhängen.
• Degenerierte Kolmogorov-Operatoren: Für den klassischen Kolmogorov-Operator ($\partial_t u - i \Delta_x u - \langle x, \nabla_y u \rangle = 0$) wird gezeigt, dass die lokale homogene Dimension $D = 2n$ ist (doppelt so groß wie die Raumdimension), was zu neuen, schärferen Strichartz-Indizes führt.
• Beispiel 7.2 (Variierende Entartung): Eine Familie von Gleichungen, bei denen der entartete Laplace-Term nur auf $k$ Variablen wirkt. Hier zeigt sich, dass $D$ von $k$ abhängt ($D_n(k) = n + (n-k+1)(n-k)$) und mit abnehmendem $k$ (zunehmender Entartung) die Integrabilitätsverluste der Lösung wachsen.

5. Bedeutung und Beitrag

• Erweiterung der Strichartz-Theorie: Das Papier erweitert die Strichartz-Abschätzungen signifikant von nicht-degenerierten Fällen ($Q=I$) auf hochgradig entartete Operatoren mit Drift.
• Intrinsische Geometrie: Es etabliert, dass die Integrabilitätsindizes nicht durch die topologische Dimension $n$, sondern durch die lokale homogene Dimension $D$ bestimmt werden, die aus der algebraischen Struktur der Kontrollierbarkeits-Gramm-Matrix resultiert.
• Behandlung von Drift-Termen: Die Arbeit klärt systematisch, wie Drift-Terme (die oft zu exponentiellen Gewichten führen) und Entartung zusammenwirken. Sie zeigt, dass exponentielle Gewichte natürlich aus der Koordinatentransformation und der Spektraltheorie von $B$ entstehen.
• Technische Tiefe: Die Analyse des asymptotischen Verhaltens der Determinante der Gramm-Matrix ($V(t)$) liefert neue Einblicke in die langfristige Dynamik solcher Systeme und verbindet Kontrolltheorie (Kalman-Bedingung) mit der Analysis von PDEs.

Zusammenfassend liefert das Paper einen fundamentalen Baustein für die Analyse nichtlinearer Schrödinger-Gleichungen in degenerierten Umgebungen und auf Lie-Gruppen, indem es die notwendigen a-priori-Abschätzungen für die Existenz- und Regularitätstheorie bereitstellt.