Correction to the article "Global well-posedness and scattering in weighted space for nonlinear Schrödinger equations below the Strauss exponent without gauge-invariance"

Technisches Resümee: Korrektur zu „Global Well-Posedness and Scattering in Weighted Space for Nonlinear Schrödinger Equations Below the Strauss Exponent Without Gauge-Invariance“

Problemstellung
Dieser Artikel dient als Korrektur zur vorangegangenen Arbeit der Autoren [3], welche die globale Wohldefiniertheit (global well-posedness) und Streuung (scattering) von nichtlinearen Schrödinger-Gleichungen (NLS) in gewichteten Räumen für die Dimensionen $d=1, 2, 3$ unterhalb des Strauss-Exponenten behandelte. Die ursprüngliche Arbeit enthielt einen kritischen Fehler im Beweis der Kontraktionsabbildungseigenschaft für die Dimensionen $d=2$ und $d=3$.

Speziell trat der Fehler bei der Schätzung des Differenzterms $\|A_{4,n}(\cdot, v_1) - A_{4,n}(\cdot, v_2)\|_X$ innerhalb des Kontraktionsarguments auf. Der ursprüngliche Beweis stützte sich auf eine Schätzung (1.1), die implizit voraussetzte, dass der Nichtlinearitätsexponent $\alpha \geq 3$ für allgemeine, nicht-glatte Nichtlinearitäten gilt. Die zulässigen Bereiche für $\alpha$ in der ursprünglichen Arbeit waren jedoch $\alpha \in (2, 3)$ für $d=2$ und $\alpha = 2$ für $d=3$. Folglich war der Beweis für Lemma 3.4 in [3] für diese Dimensionen unter den allgemeinen Annahmen von Annahme 1.1 unvollständig, wodurch das Hauptergebnis (Theorem 1.4) für nicht-glatte Nichtlinearitäten in $d=2$ und $d=3$ nicht gerechtfertigt war. Während das Ergebnis für $d=1$ (wo $\alpha > 3$) und für glatte Nichtlinearitäten in $d=3$ Bestand hatte, erforderte der allgemeine Fall eine Korrektur.

Methodik und Reformulierung
Um die Singularitätsprobleme zu lösen, die aus der Zeitableitung der Nichtlinearität und dem Mangel an räumlicher Integrierbarkeit resultieren, reformulieren die Autoren die Integralgleichung und den zugehörigen Lösungsraum.

1. Reformulierung der Integralgleichung:
   Anstatt die Identität unter Verwendung der Zeitableitung von $F_n(v)$ wie in [3, (1.8)] zu verwenden, nutzen die Autoren eine neue Identität, die den Term $i\partial_t v - \frac{p^2}{2}v$ isoliert. Dies führt zu einer modifizierten Integralgleichung (2.1), in der der Term $A_{5,n}(t)$ durch einen neuen Term $\tilde{A}_{5,n}(t)$ ersetzt wird. Dieser neue Term beinhaltet den Operator $L = i\partial_t - \frac{p^2}{2}$, der auf die Lösung wirkt, was eine direktere Handhabung der Zeitableitung der Nichtlinearität ermöglicht, ohne den in der ursprünglichen Arbeit verwendeten Hilfsterm $E(v)$ zu benötigen.

2. Modifikation des Lösungsraums:
   Die Autoren führen einen neuen vollständigen metrischen Raum $\tilde{Z}_M$ ein, der mit einer modifizierten Norm $\|\cdot\|_{\tilde{Y}}$ ausgestattet ist. Eine zentrale Innovation ist die Einführung einer trunkierten Gewichtungsfunktion $\chi_\gamma(x)$, definiert als $|x|^{-\gamma}$ für $|x| \leq 1$ und $1$für$|x| > 1$.

• Zweck von $\chi_\gamma$: Diese Funktion dient dazu, die räumlichen Singularitäten am Ursprung ($x=0$) zu kontrollieren, die beim Einsatz von Resolventenschätzungen entstehen, um Zeit-Singularitäten bei $t=0$ zu vermeiden.
• Dimensionsspezifika:
  • Für $d=2$ handhabt das Gewicht die starke Zeit-Singularität, indem es eine stärkere räumliche Singularität erzwingt, wobei Resolventenschätzungen und das Gewicht genutzt werden, um die Singularität nahe $x=0$ zu lokalisieren.
  • Für $d=3$ adressiert das Gewicht einen Mangel an räumlicher Integrierbarkeit. Durch das Aufzwingen räumlicher Regularität und die Nutzung von Sobolev-Einbettungen (speziell $\|f\|_{L^2} \lesssim \|\nabla^{1/2}f\|_{L^{3/2}}$) kontrollieren die Autoren die räumliche Singularität mittels $\chi_{1/2}$.

3. Kontraktionsabbildungsargument:
   Die Abbildung $\Phi$ aus [3] wird durch $\tilde{\Phi}$ ersetzt. Die Autoren beweisen, dass $\tilde{\Phi}$ eine Kontraktion auf $(\tilde{Z}_M, d_{\tilde{Z}})$ für ein hinreichend kleines $M$ ist. Der Beweis umfasst:

• Die Etablierung von Beschränkungsabschätzungen für $\tilde{\Phi}(v)$ in den $X$- und $\tilde{Y}$-Normen unter Verwendung von Strichartz-Abschätzungen, Gagliardo-Nirenberg-Ungleichungen und den Eigenschaften von $\chi_\gamma$.
• Den Beweis der Kontraktionseigenschaft $d_{\tilde{Z}}(\tilde{\Phi}(v_1), \tilde{\Phi}(v_2)) \leq \frac{1}{2} d_{\tilde{Z}}(v_1, v_2)$ durch Abschätzung der Differenz der nichtlinearen Terme. Entscheidend ist, dass die Metrik $d_{\tilde{Z}}$ die trunkierte Gewichtungsfunktion $\chi_\gamma$ nicht enthält, wodurch die Abschätzungen abgeschlossen werden können, ohne dass das Gewicht im Differenzterm erscheint.

Wesentliche Beiträge und Ergebnisse

• Korrektur von Lemma 3.4 und Theorem 1.4: Die Arbeit liefert einen rigorosen Beweis dafür, dass das Hauptergebnis von [3] für die gesamte Klasse der in Annahme 1.1 spezifizierten Nichtlinearitäten gilt, einschließlich der nicht-glatten Fälle in den Dimensionen $d=2$ und $d=3$.
• Neuer analytischer Rahmen: Die Einführung der trunkierten Gewichtungsfunktion $\chi_\gamma$ und die Reformulierung der Integralgleichung unter Einbeziehung des Operators $L$ direkt in den Hilfsterm $\tilde{A}_{5,n}$ ermöglichen es den Autoren, die Regularitätsanforderungen ($\alpha \geq 3$), die zuvor den Beweis einschränkten, zu umgehen.
• Proposition 2.1: Die Autoren stellen fest, dass unter den Annahmen des ursprünglichen Theorem 1.4 die Abbildung $\tilde{\Phi}$ eine Kontraktion auf dem neuen Raum $\tilde{Z}_M$ ist und jeder Fixpunkt eine Lösung der ursprünglichen Gleichung [3, (1.8)] darstellt.

Bedeutung
Die Arbeit behauptet, dass ein Kompaktheitsargument das Ergebnis potenziell hätte wiederherstellen können, es jedoch wünschenswert ist, das Theorem innerhalb eines direkten Kontraktionsabbildungsrahmens zu etablieren. Durch die Korrektur der Lücke im Beweis stellen die Autoren sicher, dass die in [3] eingeführte Methode zur Behandlung von Streulösungen mit Nichtlinearitäten fraktionaler Potenz valide und robust bleibt. Die Korrektur strafft das Argument, indem sie den Hilfsterm $E(v)$ entfernt, und klärt die Handhabung von Singularitäten sowohl in der Zeit als auch im Raum, wodurch die globale Wohldefiniertheit und die Streuungsergebnisse für den intendierten Parameterbereich in den Dimensionen 2 und 3 abgesichert werden.