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

Resumen Técnico: Estimaciones Máximas para Perturbaciones del Operador de Schrödinger en $\mathbb{T}^d$

Planteamiento del Problema
Este artículo investiga las estimaciones máximas $L^p_x L^\infty_t$ para sumas exponenciales asociadas con hipersuperficies de grafos $C^2$, motivadas por el problema de la convergencia puntual para la ecuación de Schrödinger en el toro. Específicamente, los autores examinan si la estimación máxima conjeturada para la ecuación de Schrödinger periódica se mantiene bajo perturbaciones $C^2$-pequeñas del paraboloide.

El objeto central de estudio es la suma exponencial:
$$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),$$
donde $\psi \in C^2([0, 1]^d)$. Cuando $\psi(\xi) = |\xi|^2$, esto corresponde a la solución parabólicamente reescalada de la ecuación de Schrödinger en el toro unitario. La estimación máxima conjeturada (Conjetura 1) postula que para $2 \le p \le p_{\text{conj}} = \frac{2(d+1)}{d}$, la norma $L^p$ de la función máxima está acotada por $Q^{\frac{d}{p} + \frac{1}{p_{\text{conj}}} + \epsilon} \|b_q\|_{\ell^2}$.

Trabajos previos de Fu, Ren y Wang [FRW23] demostraron que esta conjetura falla para $d=1$ sobre la clase de secuencias uniformemente convexas, mostrando que la estimación máxima puede ser significativamente mayor que el límite conjeturado. La pregunta abierta abordada aquí es si este fallo persiste en dimensiones superiores ($d \ge 2$) y para perturbaciones $C^2$ generales del paraboloide, en lugar de solo para secuencias construidas específicamente.

Metodología
El artículo emplea una combinación de análisis armónico, teoría de números y dinámica homogénea para establecer tanto límites inferiores como superiores.

1. Límites Inferiores mediante Estimaciones de Incidencia:
   Para refutar la estimación máxima conjeturada, los autores construyen perturbaciones $\psi$ específicas y secuencias de datos iniciales $(b_q)$ que producen funciones máximas grandes. La base de esta construcción reside en un resultado de Cairo y Zhang [CZ25] relativo a la intersección de subvariedades $C^2$ con redes enteras reescaladas.

   • Los autores utilizan una variación del teorema de Cairo-Zhang (Teorema 1.4), probado mediante dinámica homogénea (específicamente la acción de $SL_n(\mathbb{R})$ sobre el espacio de redes unimodulares).
   • Al aplicar el teorema del valor medio de Siegel y métodos de segundo momento al espacio de redes, demuestran la existencia de una transformación de red $g$ y una función perturbada $\psi$ tal que el grafo de $\psi$ contiene un gran número de puntos racionales con denominadores específicos.
   • Estos puntos "afortunados" permiten la construcción de una secuencia $(b_q)$ donde la suma exponencial exhibe interferencia constructiva (valores grandes) en un conjunto de medida significativa, violando así el límite superior conjeturado.

2. Límites Superiores mediante Decoplamiento (Decoupling):
   Para el límite superior, los autores utilizan la teoría de decoplamiento $\ell^2$ para hipersuperficies $C^2$ compactas establecida por Bourgain y Demeter [BD15].

   • Aplican una versión localizada de la desigualdad de decoplamiento global a la suma exponencial.
   • Al analizar los conjuntos de nivel de la función máxima y utilizar la propiedad de constancia local de funciones con soporte de Fourier en pequeñas cápsulas (caps), derivan un límite superior para la norma $L^p$.
   • Este enfoque confirma que, si bien la estimación para la perturbación falla, el exponente de decoplamiento $p_{\text{crit}} = \frac{2(d+2)}{d}$ sigue siendo un umbral válido para el límite superior, hasta un error de $Q^\epsilon$.

Contribuciones Clave y Resultados

• Fallo de la Conjetura en Dimensiones Superiores: El resultado principal (Teorema 1.1) establece que la estimación máxima conjeturada falla para perturbaciones $C^2$-pequeñas del paraboloide en todas las dimensiones $d \ge 1$. Específicamente, para cualquier $\epsilon > 0$, existe una perturbación $\psi$ cercana al paraboloide y una secuencia $(b_q)$ tales que la estimación máxima escala como $Q^{\frac{d(d+1)}{2(d+2)} + \frac{1}{p} + \epsilon} \|b_q\|_{\ell^2}$.

  • En el exponente crítico $p_{\text{crit}}$, el límite inferior es $Q^{d/2}$, mientras que el límite conjeturado sería $Q^{d/2 + \epsilon}$.
  • En el extremo conjeturado $p_{\text{conj}}$, el límite inferior excede el límite conjeturado por un factor de $Q^{\frac{d}{2(d+1)(d+2)}}$.

• Nitidez de los Límites de Decoplamiento: El Teorema 1.2 proporciona un límite superior para la estimación máxima sobre hipersuperficies $C^2$ uniformemente convexas. Los autores muestran que las estimaciones son esencialmente nítidas en el extremo de decoplamiento $p_{\text{crit}}$ para dimensiones generales, diferenciándose del límite inferior solo por un factor de $Q^\epsilon$.

• Nuevas Pruebas vía Dinámica Homogénea: El artículo proporciona una prueba alternativa de las estimaciones de incidencia originalmente probadas por Cairo y Zhang [CZ25]. Esta prueba (Teorema 1.4) utiliza la dinámica de $SL_n(\mathbb{R})$ actuando sobre el espacio de redes, evitando algunas de las suposiciones geométricas específicas del trabajo original y extendiendo el resultado a arbitrarias codimensiones.

• Refinamiento de Exponentes: Los autores definen y analizan la brecha entre el exponente conjeturado $\alpha_{\text{conj}}(p)$, el exponente del límite inferior $\alpha_{\text{low}}(p)$ y el exponente del límite superior $\alpha_{\text{upp}}(p)$. Muestran que para $d=1$, los límites son nítidos (hasta $Q^\epsilon$), pero para $d \ge 2$, existe una brecha entre la estimación conjeturada y el comportamiento real de las perturbaciones en $p_{\text{conj}}$.

Significado y Reivindicaciones
El artículo afirma resolver la cuestión de si la conjetura basada en el decoplamiento para las estimaciones máximas de Schrödinger es robusta bajo perturbaciones $C^2$. Los autores demuestran que la conjetura no es robusta; la estructura número-teórica del paraboloide es esencial para que los límites conjeturados se mantengan. Cuando la función de fase se perturba dentro de la clase $C^2$, la estimación máxima se deteriora, alineándose con el comportamiento observado en el caso $d=1$ por [FRW23].

Además, el trabajo destaca las limitaciones de los métodos de decoplamiento para distinguir entre el paraboloide y sus pequeñas perturbaciones. Mientras que el decoplamiento proporciona el límite superior correcto para la clase de superficies uniformemente convexas, no puede recuperar los límites conjeturados más finos que dependen de las propiedades aritméticas específicas del paraboloide.

El artículo concluye que, para hipersuperficies $C^2$ generales, la estimación máxima está gobernada por la geometría de la superficie (vía decoplamiento) más que por la aritmética específica del paraboloide, y que el exponente conjeturado $p_{\text{conj}}$ no es el umbral correcto para la clase $C^2$ general en dimensiones $d \ge 2$. Los resultados se presentan como nítidos hasta pérdidas de $Q^\epsilon$ en el exponente crítico $p_{\text{crit}}$.