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

Technische Samenvatting: Maximale Schattingen voor Perturbaties van de Schrödinger-operator op $\mathbb{T}^d$

Probleemstelling
Dit artikel onderzoekt $L^p_x L^\infty_t$ maximale schattingen voor exponentiële sommen geassocieerd met $C^2$ grafiek-hypersurfaces, gemotiveerd door het probleem van puntwijze convergentie voor de Schrödinger-vergelijking op de torus $\mathbb{T}^d$. Specifiek onderzoeken de auteurs of de geconstateerde maximale schatting voor de periodieke Schrödinger-vergelijking standhoudt onder $C^2$-kleine perturbaties van de paraboloïde.

Het centrale object van studie is de exponentiële som:
$$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),$$
waarbij $\psi \in C^2([0, 1]^d)$. Wanneer $\psi(\xi) = |\xi|^2$, komt dit overeen met de paraboolvormig gerescaleerde oplossing van de Schrödinger-vergelijking op de eenheidsdeeltorus. De geconstateerde maximale schatting (Conjectuur 1) stelt dat voor $2 \le p \le p_{\text{conj}} = \frac{2(d+1)}{d}$, de $L^p$-norm van de maximale functie begrensd wordt door $Q^{\frac{d}{p} + \frac{1}{p_{\text{conj}}} + \epsilon} \|b_q\|_{\ell^2}$.

Vorig werk door Fu, Ren en Wang [FRW23] heeft aangetoond dat deze conjectuur faalt voor $d=1$ over de klasse van uniform convexe sequenties, waarbij werd aangetoond dat de maximale schatting aanzienlijk groter kan zijn dan de geconstateerde bovengrens. De open vraag die hier wordt behandeld, is of deze mislukking standhoudt in hogere dimensies ($d \ge 2$) en voor algemene $C^2$-perturbaties van de paraboloïde, in plaats van alleen voor specifieke geconstrueerde sequenties.

Methodologie
Het artikel maakt gebruik van een combinatie van harmonische analyse, getaltheorie en homogene dynamica om zowel onder- als bovengrenzen vast te stellen.

1. Ondergrenzen via Incidentie-schattingen:
   Om de geconstateerde maximale schatting te weerleggen, construeren de auteurs specifieke perturbaties $\psi$ en initiële data-sequenties $(b_q)$ die grote maximale functies opleveren. De kern van deze constructie rust op een resultaat van Cairo en Zhang [CZ25] betreffende de intersectie van $C^2$ submanifolds met gerescaleerde gehele roosterpunten.

   • De auteurs maken gebruik van een variatie op de Cairo-Zhang stelling (Theorem 1.4), bewezen middels homogene dynamica (specifiek de actie van $SL_n(\mathbb{R})$ op de ruimte van unimodulaire roosters).
   • Door het toepassen van de stelling van Siegel over de gemiddelde waarde en second-moment methoden op de ruimte van roosters, tonen zij aan dat er een rooster-transformatie $g$ en een geperturbeerde functie $\psi$ bestaan zodanig dat de grafiek van $\psi$ een groot aantal rationale punten met specifieke noemers bevat.
   • Deze "gelukkige" punten maken de constructie van een sequentie $(b_q)$ mogelijk waarbij de exponentiële som een constructieve interferentie (grote waarden) vertoont op een verzameling van significante maat, waardoor de geconstateerde bovengrens wordt geschonden.

2. Bovengrenzen via Decoupling:
   Voor de bovengrens maken de auteurs gebruik van de $\ell^2$-decoupling theorie voor compacte $C^2$ hypersurfaces zoals vastgesteld door Bourgain en Demeter [BD15].

   • Zij passen een gelokaliseerde versie van de globale decoupling ongelijkheid toe op de exponentiële som.
   • Door de niveausets van de maximale functie te analyseren en gebruik te maken van de lokale constantie-eigenschap van functies met Fourier-ondersteuning in kleine caps, leiden zij een bovengrens af voor de $L^p$-norm.
   • Deze aanpak bevestigt dat hoewel de geconstateerde bovengrens faalt voor perturbaties, de decoupling exponent $p_{\text{crit}} = \frac{2(d+2)}{d}$ een geldige drempel blijft voor de bovengrens, tot een $Q^\epsilon$ verlies.

Belangrijkste Bijdragen en Resultaten

• Falen van de Conjectuur in Hogere Dimensies: Het primaire resultaat (Theorem 1.1) stelt vast dat de geconstateerde maximale schatting faalt voor $C^2$-kleine perturbaties van de paraboloïde in alle dimensies $d \ge 1$. Specifiek, voor elke $\epsilon > 0$, bestaat er een perturbatie $\psi$ nabij de paraboloïde en een sequentie $(b_q)$ waarvoor de maximale schatting schaalt als $Q^{\frac{d(d+1)}{2(d+2)} + \frac{1}{p} + \epsilon} \|b_q\|_{\ell^2}$.

  • Op de kritieke exponent $p_{\text{crit}}$ is de ondergrens $Q^{d/2}$, terwijl de geconstateerde bovengrens $Q^{d/2 + \epsilon}$ zou zijn.
  • Op de geconstateerde eindpunt $p_{\text{conj}}$, overstijgt de ondergrens de geconstateerde bovengrens met een factor $Q^{\frac{d}{2(d+1)(d+2)}}$.

• Scherpte van Decoupling-grenzen: Theorem 1.2 biedt een bovengrens voor de maximale schatting over uniform convexe $C^2$ hypersurfaces. De auteurs tonen aan dat de schattingen essentieel scherp zijn bij de decoupling eindpunt $p_{\text{crit}}$ voor algemene dimensies, waarbij ze slechts een $Q^\epsilon$ factor verschillen van de ondergrens.

• Nieuwe Bewijzen via Homogene Dynamica: Het artikel biedt een alternatief bewijs voor de incidentie-schattingen die oorspronkelijk door Cairo en Zhang [CZ25] zijn bewezen. Dit bewijs (Theorem 1.4) gebruikt de dynamica van $SL_n(\mathbb{R})$ acterend op de ruimte van roosters, waarbij sommige van de specifieke geometrische aannames van het oorspronkelijke werk worden vermeden en het resultaat wordt uitgebreid naar willekeurige codimensies.

• Verfijning van Exponenten: De auteurs definiëren en analyseren de kloof tussen de geconstateerde exponent $\alpha_{\text{conj}}(p)$, de ondergrens exponent $\alpha_{\text{low}}(p)$, en de bovengrens exponent $\alpha_{\text{upp}}(p)$. Zij tonen aan dat voor $d=1$ de grenzen scherp zijn (tot $Q^\epsilon$), maar dat er voor $d \ge 2$ een kloof bestaat tussen de geconstateerde schatting en het werkelijke gedrag van perturbaties bij $p_{\text{conj}}$.

Betekenis en Claims
Het artikel claimt de vraag te hebben opgelost of de op decoupling gebaseerde conjectuur voor Schrödinger maximale schattingen robuust is onder $C^2$ perturbaties. De auteurs demonstreren dat de conjectuur niet robuust is; de getaltheoretische structuur van de paraboloïde is essentieel voor het standhouden van de geconstateerde grenzen. Wanneer de fasefunctie binnen de $C^2$ klasse wordt geperturbeerd, verslechtert de maximale schatting, wat in lijn is met het gedrag dat is waargenomen in het $d=1$ geval door [FRW23].

Verder benadrukt het werk de beperkingen van decoupling methoden om onderscheid te maken tussen de paraboloïde en zijn kleine perturbaties. Hoewel decoupling de correcte bovengrens biedt voor de klasse van uniform convexe oppervlakken, kan het de fijnere geconstateerde grenzen die rusten op de specifieke rekenkundige eigenschappen van de paraboloïde niet herstellen.

Het artikel concludeert dat voor algemene $C^2$ hypersurfaces de maximale schatting wordt bepaald door de geometrie van het oppervlak (via decoupling) in plaats van de specifieke rekenkunde van de paraboloïde, en dat de geconstateerde exponent $p_{\text{conj}}$ niet de juiste drempel is voor de algemene $C^2$ klasse in dimensies $d \ge 2$. De resultaten worden gepresenteerd als scherp tot $Q^\epsilon$ verliezen bij de kritieke exponent $p_{\text{crit}}$.