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

Sintesi Tecnica: Stime Massimali per Perturbazioni dell'Operatore di Schrödinger su $\mathbb{T}^d$

Enunciato del Problema
Questo articolo investiga le stime massimali $L^p_x L^\infty_t$ per somme esponenziali associate a ipersuperfici di grafico $C^2$, motivate dal problema della convergenza puntuale per l'equazione di Schrödinger sul toro. Nello specifico, gli autori esaminano se la stimata massimale congetturata per l'equazione di Schrödinger periodica sia valida sotto perturbazioni $C^2$-piccole del paraboloide.

L'oggetto centrale di studio è la somma esponenziale:
$$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),$$
dove $\psi \in C^2([0, 1]^d)$. Quando $\psi(\xi) = |\xi|^2$, ciò corrisponde alla soluzione riscalata parabolicamente dell'equazione di Schrödinger sul toro unitario. La congettura massimale (Congettura 1) postula che, per $2 \le p \le p_{\text{conj}} = \frac{2(d+1)}{d}$, la norma $L^p$ della funzione massimale sia limitata da $Q^{\frac{d}{p} + \frac{1}{p_{\text{conj}}} + \epsilon} \|b_q\|_{\ell^2}$.

Il lavoro precedente di Fu, Ren e Wang [FRW23] ha dimostrato che questa congettura fallisce per $d=1$ nell'ambito delle sequenze uniformemente convesse, mostrando che la stima massimale può essere significativamente più grande del limite congetturato. La questione aperta affrontata qui è se questo fallimento persista in dimensioni superiori ($d \ge 2$) e per perturbazioni $C^2$ generali del paraboloide, piuttosto che solo per specifiche sequenze costruite.

Metodologia
L'articolo impiega una combinazione di analisi armonica, teoria dei numeri e dinamica omogenea per stabilire sia limiti inferiori che superiori.

1. Limiti Inferiori tramite Stime di Incidenza:
   Per confutare la congettuta stima massimale, gli autori costruiscono perturbazioni $\psi$ specifiche e sequenze di dati iniziali $(b_q)$ che producono funzioni massimali grandi. Il nucleo di questa costruzione si basa su un risultato di Cairo e Zhang [CZ25] riguardante l'intersezione di sottovarietà $C^2$ con reticoli interi riscalati.

   • Gli autori utilizzano una variazione del teorema di Cairo-Zhang (Teorema 1.4), provato tramite dinamica omogenea (specificamente l'azione di $SL_n(\mathbb{R})$ sullo spazio dei reticoli unimodulari).
   • Applicando il teorema del valore medio di Siegel e metodi del secondo momento sullo spazio dei reticoli, dimostrano l'esistenza di una trasformazione di reticolo $g$ e di una funzione perturbata $\psi$ tale che il grafico di $\psi$ contenga un gran numero di punti razionali con denominatori specifici.
   • Questi punti "fortunati" permettono la costruzione di una sequenza $(b_q)$ in cui la somma esponenziale presenta un'interferenza costruttiva (valori grandi) su un insieme di misura significativa, violando così il limite superiore congetturato.

2. Limiti Superiori tramite Decoupling:
   Per il limite superiore, gli autori utilizzano la teoria del decoupling $\ell^2$ per ipersuperfici $C^2$ compatte stabilita da Bourgain e Demeter [BD15].

   • Applicano una versione localizzata della disuguaglianza di decoupling globale alla somma esponenziale.
   • Analizzando i livelli di consistenza della funzione massimale e utilizzando la proprietà di costanza locale di funzioni con supporto di Fourier in piccoli cappi (caps), derivano un limite superiore per la norma $L^p$.
   • Questo approccio conferma che, sebbene la congettura fallisca per le perturbazioni, l'esponente di decoupling $p_{\text{crit}} = \frac{2(d+2)}{d}$ rimane una soglia valida per il limite superiore, con una perdita al più di $Q^\epsilon$.

Contributi Chiave e Risultati

• Fallimento della Congettura in Dimensioni Superiori: Il risultato principale (Teorema 1.1) stabilisce che la congettura massimale fallisce per perturbazioni $C^2$-piccole del paraboloide in tutte le dimensioni $d \ge 1$. Specificamente, per ogni $\epsilon > 0$, esiste una perturbazione $\psi$ vicina al paraboloide e una sequenza $(b_q)$ tali che la stima massimale scala come $Q^{\frac{d(d+1)}{2(d+2)} + \frac{1}{p} + \epsilon} \|b_q\|_{\ell^2}$.

  • Al esponente critico $p_{\text{crit}}$, il limite inferiore è $Q^{d/2}$, mentre il limite congetturato sarebbe $Q^{d/2 + \epsilon}$.
  • All'endpoint congetturato $p_{\text{conj}}$, il limite inferiore eccede il limite congetturato di un fattore $Q^{\frac{d}{2(d+1)(d+2)}}$.

• Nitidezza dei Limiti di Decoupling: Il Teorema 1.2 fornisce un limite superiore per la stima massimale su ipersuperfici $C^2$ uniformemente convesse. Gli autori mostrano che le stime sono essenzialmente nitide all'endpoint di decoupling $p_{\text{crit}}$ per dimensioni generali, differendo dal limite inferiore solo per un fattore $Q^\epsilon$.

• Nuove Prove tramite Dinamica Omogenea: Il documento fornisce una prova alternativa delle stime di incidenza originariamente provate da Cairo e Zhang [CZ25]. Questa prova (Teorema 1.4) utilizza la dinamica di $SL_n(\mathbb{R})$ agendo sullo spazio dei reticoli, evitando alcune delle specifiche assunzioni geometriche del lavoro originale ed estendendo il risultato a codimensioni arbitrarie.

• Raffinamento degli Esponenti: Gli autori definiscono e analizzano il divario tra l'esponente congetturato $\alpha_{\text{conj}}(p)$, l'esponente del limite inferiore $\alpha_{\text{low}}(p)$ e l'esponente del limite superiore $\alpha_{\text{upp}}(p)$. Mostrano che per $d=1$, i limiti sono nitidi (fino a $Q^\epsilon$), ma per $d \ge 2$, esiste un divario tra la stima congetturata e il comportamento effettivo delle perturbazioni a $p_{\text{conj}}$.

Significato e Rivendicazioni
Il documento rivendica di aver risolto la questione se la congettura basata sul decoupling per le stime massimali di Schrödinger sia robusta sotto perturbazioni $C^2$. Gli autori dimostrano che la congettura non è robusta; la struttura numerica del paraboloide è essenziale affinché i limiti congetturati siano validi. Quando la funzione di fase viene perturbata all'interno della classe $C^2$, la stima massimale decade, allineandosi con il comportamento osservato nel caso $d=1$ da [FRW23].

Inoltre, il lavoro evidenzia i limiti dei metodi di decoupling nel distinguere tra il paraboloide e le sue piccole perturbazioni. Sebbene il decoupling fornisca il corretto limite superiore per la classe di superfici uniformemente convesse, non può recuperare i limiti congetturati più fini che dipendono dalle specifiche proprietà aritmetiche del paraboloide.

L'articolo conclude che, per ipersuperfici $C^2$ generali, la stima massimale è governata dalla geometria della superficie (tramite il decoupling) piuttosto che dall'aritmetica specifica del paraboloide, e che l'esponente congetturato $p_{\text{conj}}$ non è la soglia corretta per la classe $C^2$ generale in dimensioni $d \ge 2$. I risultati sono presentati come nitidi fino a perdite $Q^\epsilon$ all'esponente critico $p_{\text{crit}}$.