Maximal estimates for perturbations of the Schrödinger operator on $\mathbb{T}^d$

Technische Zusammenfassung: Maximale Abschätzungen für Störungen des Schrödinger-Operators auf $\mathbb{T}^d$

Problemstellung
Diese Arbeit untersucht $L^p_x L^\infty_t$-maximale Abschätzungen für exponentielle Summen assoziiert mit $C^2$-Graphhyperflächen, motiviert durch das Problem der punktweisen Konvergenz der Schrödinger-Gleichung auf dem Torus $\mathbb{T}^d$. Speziell untersuchen die Autoren, ob die vermutete maximale Abschätzung für die periodische Schrödinger-Gleichung unter $C^2$-kleinen Störungen des Paraboloids Bestand hat.

Das zentrale Objekt der Untersuchung ist die exponentielle Summe:
$$u(x, t) = \sum_{q \in [Q]^d} b_q e\left(x \cdot \frac{q}{Q} + t\psi\left(\frac{q}{Q}\right)\right),$$
wobei $\psi \in C^2([0, 1]^d)$. Wenn \text{er \psi(\xi) = |\xi|^2}, entspricht dies der parabolisch reskalierten Lösung der Schrödinger-Gleichung auf dem Einheits-Torus. Die vermutete maximale Abschätzung (Konjektur 1) postuliert, dass für $2 \le p \le p_{\text{conj}} = \frac{2(d+1)}{d}$, die $L^p$-Norm der maximalen Funktion durch $Q^{\frac{d}{p} + \frac{1}{p_{\text{conj}}} + \epsilon} \|b_q\|_{\ell^2}$ beschränkt ist.

Vorherige Arbeiten von Fu, Ren und Wang [FRW23] zeigten, dass diese Konjektur für $d=1$ über die Klasse gleichmäßig konvexer Sequenzen fehlschlägt, wobei sie aufzeigten, dass die maximale Abschätzung signifikant größer als die konjektierte Schranke sein kann. Die hier adressierte offene Frage ist, ob dieses Scheitern in höheren Dimensionen ($d \ge 2$) und für allgemeine $C^2$-Störungen des Paraboloids anhält, statt nur für spezifisch konstruierte Sequenzen.

Methodik
Die Arbeit verwendet eine Kombination aus harmonischer Analyse, Zahlentheorie und homogener Dynamik, um sowohl untere als auch obere Schranken zu etablieren.

1. Untere Schranken via Inzidenzabschätzungen:
   Um die konjektierte maximale Abschätzung zu widerlegen, konstruieren die Autoren spezifische Störungen $\psi$ und Anfangsdaten-Sequenzen $(b_q)$, die große maximale Funktionen liefern. Der Kern dieser Konstruktion beruht auf einem Resultat von Cairo und Zhang [CZ25] bezüglich des Schnitts von $C^2$-Untervarietäten mit reskalierten ganzzahligen Gittern.

   • Die Autoren nutzen eine Variation des Cairo-Zhang-Theorems (Theorem 1.4), das mittels homogener Dynamik (speziell der Wirkung von $SL_n(\mathbb{R})$ auf dem Raum der unimodularen Gitter) bewiesen wurde.
   • Durch Anwendung des Siegelschen Mittelsatzes und Zweitmoment-Methoden auf den Raum der Gitter zeigen sie die Existenz einer Gitertransformation $g$ und einer gestörten Funktion $\psi$, sodass der Graph von $\psi$ eine große Anzahl rationaler Punkte mit spezifischen Nennern enthält.
   • Diese „glücklichen“ Punkte ermöglichen die Konstruktion einer Sequenz $(b_q)$, bei der die exponentielle Summe konstruktive Interferenz (große Werte) auf einer Menge von signifikanter Maße aufweist, wodurch die konjektierte obere Schranke verletzt wird.

2. Obere Schranken via Decoupling:
   Für die obere Schranke nutzen die Autoren die $\ell^2$-Decoupling-Theorie für kompakte $C^2$-Hyperflächen, etabliert durch Bourgain und Demeter [BD15].

   • Sie wenden eine lokalisierte Version der globalen Decoupling-Ungleichung auf die exponentielle Summe an.
   • Durch die Analyse der Level-Sets der maximalen Funktion und unter Nutzung der lokalen Konstanz-Eigenschaft von Funktionen mit Fourier-Support in kleinen Kappen, leiten sie eine obere Schranke für die $L^p$-Norm ab.
   • Dieser Ansatz bestätigt, dass, während die konjektierte Abschätzung für Störungen fehlschlägt, der Decoupling-Exponent $p_{\text{crit}} = \frac{2(d+2)}{d}$ als gültige Schwelle für die obere Schranke bleibt, bis zu einem Verlust von $Q^\epsilon$.

Wesentliche Beiträge und Ergebnisse

• Scheitern der Konjektur in höheren Dimensionen: Das Hauptergebnis (Theorem 1.1) stellt fest, dass die konjektierte maximale Abschätzung für $C^2$-kleine Störungen des Paraboloids in allen Dimensionen $d \ge 1$ fehlschlägt. Speziell existiert für jedes $\epsilon > 0$ eine Störung $\psi$ nahe am Paraboloid und eine Sequenz $(b_q)$, sodass die maximale Abschätzung als $Q^{\frac{d(d+1)}{2(d+2)} + \frac{1}{p} + \epsilon} \|b_q\|_{\ell^2}$ skaliert.

  • Am kritischen Exponenten $p_{\text{crit}}$ ist die untere Schranke $Q^{d/2}$, wohingegen die konjektierte Schranke $Q^{d/2 + \epsilon}$ wäre.
  • Am konjektierten Endpunkt $p_{\text{conj}}$ übersteigt die untere Schranke die konjektierte Schranke um den Faktor $Q^{\frac{d}{2(d+1)(d+2)}}$.

• Schärfe der Decoupling-Schranken: Theorem 1.2 liefert eine obere Schranke für die maximale Abschätzung über gleichmäßig konvexe $C^2$-Hyperflächen. Die Autoren zeigen, dass die Abschätzungen am Decoupling-Endpunkt $p_{\text{crit}}$ im Wesentlichen scharf sind und sich von der unteren Schranke nur durch einen $Q^\epsilon$-Faktor unterscheiden.

• Neue Beweise via homogene Dynamik: Die Arbeit liefert einen alternativen Beweis für die Inzidenzabschätzungen, die ursprünglich von Cairo und Zhang [CZ25] bewiesen wurden. Dieser Beweis (Theorem 1.4) nutzt die Dynamik von $SL_n(\mathbb{R})$ wirkend auf den Raum der Gitter, vermeidet einige der spezifischen geometrischen Annahmen der ursprünglichen Arbeit und erweitert das Resultat auf beliebige Kodimensionen.

• Verfeinerung der Exponenten: Die Autoren definieren und analysieren die Lücke zwischen dem konjektierten Exponenten $\alpha_{\text{conj}}(p)$, dem unteren Schranken-Exponenten $\alpha_{\text{low}}(p)$ und dem oberen Schranken-Exponenten $\alpha_{\text{upp}}(p)$. Sie zeigen, dass für $d=1$ die Schranken scharf sind (bis auf $Q^\epsilon$), aber für $d \ge 2$ eine Lücke zwischen der konjektierten Abschätzung und dem tatsächlichen Verhalten von Störungen bei $p_{\text{conj}}$ existiert.

Bedeutung und Behauptungen
Die Arbeit behauptet, die Frage zu klären, ob die auf Decoupling basierende Konjektur für Schrödinger-maximale Abschätzungen gegenüber $C^2$-Störungen robust ist. Die Autoren demonstrieren, dass die Konjektur nicht robust ist; die zahlentheoretische Struktur des Paraboloids ist essenziell, damit die konjointierten Abschätzungen gelten. Wenn die Phasenfunktion innerhalb der $C^2$-Klasse gestört wird, verschlechtert sich die maximale Abschätzung, was mit dem Verhalten übereinstimmt, das durch [FRW23] für den Fall $d=1$ beobachtet wurde.

Darüber hinaus hebt die Arbeit die Grenzen von Decoupling-Methoden hervor, die nicht in der Lage sind, zwischen dem Paraboloid und seinen kleinen Störungen zu unterscheiden. Während Decoupling die korrekte obere Schranke für die Klasse der gleichmäßig konvexen Oberflächen liefert, kann es nicht die feineren konjointierten Abschätzungen wiederherstellen, die auf den spezifischen arithmetischen Eigenschaften des Paraboloids beruhen.

Die Arbeit schließt mit dem Schluss, dass für allgemeine $C^2$-Hyperflächen die maximale Abschätzung durch die Geometrie der Oberfläche (via Decoupling) und nicht durch die spezifische Arithmetik des Paraboloids bestimmt wird, und dass der konjektierte Exponent $p_{\text{conj}}$ nicht die korrekte Schwelle für die allgemeine $C^2$-Klasse in Dimensionen $d \ge 2$ darstellt. Die Ergebnisse werden als scharf präsentiert, bis auf $Q^\epsilon$-Verluste am kritischen Exponenten $p_{\text{crit}}$.