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

Résumé technique : Estimations maximales pour les perturbations de l'opérateur de Schrödinger sur $\mathbb{T}^d$

Énoncé du problème
Cet article étudie les estimations maximales $L^p_x L^\infty_t$ pour les sommes exponentielles associées à des hypersurfaces de graphes $C^2$, motivées par le problème de la convergence ponctuelle de l'équation de Schrödinger sur le tore. Plus précisément, les auteurs examinent si l'estimation maximale conjecturée pour l'équation de Schrödinger périodique est vérifiée sous des petites perturbations $C^2$ du paraboloïde.

L'objet central d'étude est la somme exponentielle :
$$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),$$
où $\psi \in C^2([0, 1]^d)$. Lorsque $\psi(\xi) = |\xi|^2$, cela correspond à la solution rescalée par un paraboloïde de l'équation de Schrödinger sur le tore unité. L'estimation maximale conjecturée (Conjecture 1) pose que pour $2 \le p \le p_{\text{conj}} = \frac{2(d+1)}{d}$, la norme $L^p$ de la fonction maximale est bornée par $Q^{\frac{d}{p} + \frac{1}{p_{\text{conj}}} + \epsilon} \|b_q\|_{\ell^2}$.

Des travaux antérieurs par Fu, Ren et Wang [FRW23] ont démontré que cette conjecture échoue pour $d=1$ sur la classe des séquences uniformément convexes, montrant que l'estimation maximale peut être significativement plus grande que la borne conjecturée. La question ouverte abordée ici est de savoir si cet échec persiste dans les dimensions supérieures ($d \ge 2$) et pour des perturbations $C^2$ générales du paraboloïde, plutôt que pour des séquences construites spécifiquement.

Méthodologie
L'article emploie une combinaison d'analyse harmonique, de théorie des nombres et de dynamique homogène pour établir à la fois des bornes inférieures et supérieures.

1. Bornes inférieures via des estimations d'incidence :
   Pour infirmer l'estimation maximale conjecturée, les auteurs construisent des perturbations $\psi$ spécifiques et des séquences de données initiales $(b_q)$ qui produisent des fonctions maximales de grande amplitude. La construction centrale repose sur un résultat de Cairo et Zhang [CZ25] concernant l'intersection de sous-variétés $C^2$ avec des réseaux entiers rescalés.

   • Les auteurs utilisent une variation du théorème de Cairo-Zhang (Théorème 1.4), prouvé en utilisant la dynamique homogène (spécifiquement l'action de $SL_n(\mathbb{R})$ sur l'espace des réseaux unimodulaires).
   • En appliquant le théorème de la moyenne de Siegel et des méthodes de second moment sur l'espace des réseaux, ils démontrent l'existence d'une transformation de réseau $g$ et d'une fonction perturbée $\psi$ telle que le graphe de $\psi$ contient un grand nombre de points rationnels avec des dénominateurs spécifiques.
   • Ces points « chanceux » permettent la construction d'une séquence $(b_q)$ où la somme exponentielle présente une interférence constructive (valeurs élevées) sur un ensemble de mesure significative, violant ainsi la borne supérieure conjecturée.

2. Bornes supérieures via le découplage :
   Pour la borne supérieure, les auteurs utilisent la théorie du découplage $\ell^2$ pour les hypersurfaces $C^2$ compactes établies par Bourgain et Demeter [BD15].

   • Ils appliquent une version localisée de l'inégalité de découplage globale à la somme exponentielle.
   • En analysant les ensembles de niveau de la fonction maximale et en utilisant la propriété de constance locale des fonctions ayant un support de Fourier dans de petits caps, ils dérivent une borne supérieure pour la norme $L^p$.
   • Cette approche confirme que, bien que la conjecture échoue pour les perturbations, l'exposant de découplage $p_{\text{crit}} = \frac{2(d+2)}{d}$ reste un seuil valide pour la borne supérieure, à un facteur $Q^\epsilon$ près.

Contributions clés et résultats

• Échec de la conjecture dans les dimensions supérieures : Le résultat principal (Théorème 1.1) établit que l'estimation maximale conjecturée échoue pour des perturbations $C^2$-petites du paraboloïde dans toutes les dimensions $d \ge 1$. Spécifiquement, pour tout $\epsilon > 0$, il existe une perturbation $\psi$ proche du paraboloïde et une séquence $(b_q)$ telles que l'estimation maximale croît comme $Q^{\frac{d(d+1)}{2(d+2)} + \frac{1}{p} + \epsilon} \|b_q\|_{\ell^2}$.

  • À l'exposant critique $p_{\text{crit}}$, la borne inférieure est $Q^{d/2}$, alors que la borne conjecturée serait $Q^{d/2 + \epsilon}$.
  • À l'exposant de la borne conjecturée $p_{\text{conj}}$, la borne inférieure excède la borne conjecturée par un facteur de $Q^{\frac{d}{2(d+1)(d+2)}}$.

• Finesse des bornes de découplage : Le Théorème 1.2 fournit une borne supérieure pour l'estimation maximale sur les hypersurfaces $C^2$ uniformément convexes. Les auteurs montrent que les estimations sont essentiellement optimales à l'exposant de découplage $p_{\text{crit}}$ pour les dimensions générales, ne différant de la borne inférieure que par un facteur $Q^\epsilon$.

• Nouvelles preuves via la dynamique homogène : L'article fournit une preuve alternative des estimations d'incidence initialement prouvées par Cairo et Zhang [CZ25]. Cette preuve (Théorème 1.4) utilise la dynamique de $SL_n(\mathbb{R})$ agissant sur l'espace des réseaux, évitant certaines des hypothèses géométriques spécifiques du travail original et étendant le résultat à des codimensions arbitraires.

• Affinement des exposants : Les auteurs définissent et analysent l'écart entre l'exposant conjecturé $\alpha_{\text{conj}}(p)$, l'exposant de la borne inférieure $\alpha_{\text{low}}(p)$, et l'exposant de la borne supérieure $\alpha_{\text{upp}}(p)$. Ils montrent que pour $d=1$, les bornes sont optimales (à un $Q^\epsilon$ près), mais que pour $d \ge 2$, un écart existe entre l'estimation conjecturée et le comportement réel des perturbations à $p_{\text{conj}}$.

Signification et affirmations
L'article affirme résoudre la question de savoir si la conjecture basée sur le découplage pour les estimations maximales de Schrödinger est robuste sous les perturbations $C^2$. Les auteurs démontrent que la conjecture n'est pas robuste ; la structure arithmétique du paraboloïde est essentielle pour que les bornes conjecturées tiennent. Lorsque la fonction de phase est perturbée au sein de la classe $C^2$, l'estimation maximale se détériore, s'alignant sur le comportement observé dans le cas $d=1$ par [FRW23].

De plus, ce travail souligne les limites des méthodes de découplage pour distinguer le paraboloïde de ses petites perturbations. Bien que le découplage fournisse la borne supérieure correcte pour la classe des surfaces uniformément convexes, il ne peut pas récupérer les bornes conjecturées plus fines qui dépendent des propriétés arithmétiques spécifiques du paraboloïde.

L'article conclut que pour les hypersurfaces $C^2$ générales, l'estimation maximale est gouvernée par la géométrie de la surface (via le découplage) plutôt que par l'arithmétique spécifique du paraboloïde, et que l'exposant conjecturé $p_{\text{conj}}$ n'est pas le seuil correct pour la classe $C^2$ générale dans les dimensions $d \ge 2$. Les résultats sont présentés comme étant optimaux à des pertes $Q^\epsilon$ près à l'exposant critique $p_{\text{crit}}$.