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

Resumo Técnico: Estimativas Maximais para Perturbações do Operador de Schrödinger em $\mathbb{T}^d$

Enunciado do Problema
Este artigo investiga estimativas maximais $L^p_x L^\infty_t$ para somas exponenciais associadas a hipersuperfícies de gráfico $C^2$, motivadas pelo problema da convergência pontual para a equação de Schrödinger no toro. Especificamente, os autores examinam se a estimativa maximal conjecturada para a equação de Schrödinger periódica se mantém sob perturbações $C^2$-pequenas do paraboloide.

O objeto central de estudo é a soma 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),$$
onde $\psi \in C^2([0, 1]^d)$. Quando $\psi(\xi) = |\xi|^2$, isso corresponde à solução do escalonamento parabólico da equação de Schrödinger no toro unitário. A estimativa maximal conjecturada (Conjectura 1) postula que, para $2 \le p \le p_{\text{conj}} = \frac{2(d+1)}{d}$, a norma $L^p$ da função maximal é limitada por $Q^{\frac{d}{p} + \frac{1}{p_{\text{conj}}} + \epsilon} \|b_q\|_{\ell^2}$.

Trabalhos anteriores por Fu, Ren e Wang [FRW23] demonstraram que esta conjectura falha para $d=1$ sobre a classe de sequências uniformemente convexas, mostrando que a estimativa maximal pode ser significativamente maior do que o limite conjecturado. A questão em aberto abordada aqui é se essa falha persiste em dimensões superiores ($d \ge 2$) e para perturbações $C^2$ gerais do paraboloide, em vez de apenas sequências construídas especificamente.

Metodologia
O artigo emprega uma combinação de análise harmônica, teoria dos números e dinâmica homogênea para estabelecer tanto limites inferiores quanto superiores.

1. Limites Inferiores via Estimativas de Incidência:
   Para refutar a estimativa maximal conjecturada, os autores constroem perturbações $\psi$ específicas e sequências de dados iniciais $(b_q)$ que resultam em funções maximais grandes. A essência desta construção baseia-se em um resultado de Cairo e Zhang [CZ25] sobre a interseção de subvariedades $C^2$ com reticulados inteiros escalonados.

   • Os autores utilizam uma variação do teorema de Cairo-Zhang (Teorema 1.4), provado via dinâmica homogênea (especificamente a ação de $SL_n(\mathbb{R})$ no espaço de reticulados unimodulares).
   • Ao aplicar o teorema do valor médio de Siegel e métodos de segundo momento ao espaço de reticulados, eles demonstram a existência de uma transformação de reticulado $g$ e uma função perturbada $\psi$ tal que o gráfico de $\psi$ contém um grande número de pontos racionais com denominadores específicos.
   • Esses pontos "sortudos" permitem a construção de uma sequência $(b_q)$ onde a soma exponencial exibe interferência construtiva (valores grandes) em um conjunto de medida significativa, violando assim o limite superior conjecturado.

2. Limites Superiores via Decoplagem (Decoupling):
   Para o limite superior, os autores utilizam a teoria de decoplagem $\ell^2$ para hipersuperfícies $C^2$ compactas estabelecida por Bourgain e Demeter [BD15].

   • Eles aplicam uma versão localizada da desigualdade de decoplagem global para a soma exponencial.
   • Ao analisar os conjuntos de nível da função maximal e utilizar a propriedade de constância local de funções com suporte de Fourier em pequenos caps, eles derivam um limite superior para a norma $L^p$.
   • Esta abordagem confirma que, embora a conjectura falhe para perturbações, o expoente de decoplagem $p_{\text{crit}} = \frac{2(d+2)}{d}$ permanece um limiar válido para o limite superior, com uma perda de até $Q^\epsilon$.

Principais Contribuições e Resultados

• Falha da Conjectura em Dimensões Superiores: O principal resultado (Teorema 1.1) estabelece que a estimativa maximal conjecturada falha para perturbações $C^2$-pequenas do paraboloide em todas as dimensões $d \ge 1$. Especificamente, para qualquer $\epsilon > 0$, existe uma perturbação $\psi$ próxima ao paraboloide e uma sequência $(b_q)$ tal que a estimativa maximal escala como $Q^{\frac{d(d+1)}{2(d+2)} + \frac{1}{p} + \epsilon} \|b_q\|_{\ell^2}$.

  • No expoente crítico $p_{\text{crit}}$, o limite inferior é $Q^{d/2}$, enquanto o limite conjecturado seria $Q^{d/2 + \epsilon}$.
  • No ponto final conjecturado $p_{\text{conj}}$, o limite inferior excede o limite conjecturado por um fator de $Q^{\frac{d}{2(d+1)(d+2)}}$.

• Nitidez dos Limites de Decoplagem: O Teorema 1.2 fornece um limite superior para a estimativa maximal sobre hipersuperfícies $C^2$ uniformemente convexas. Os autores mostram que as estimativas são essencialmente nítidas no ponto de decoplagem $p_{\text{crit}}$ para dimensões gerais, diferindo do limite inferior apenas por um fator $Q^\epsilon$.

• Novas Provas via Dinâmica Homogênea: O artigo fornece uma prova alternativa para as estimativas de incidência originalmente provadas por Cairo e Zhang [CZ25]. Esta prova (Teorema 1.4) utiliza a dinâmica de $SL_n(\mathbb{R})$ agindo no espaço de reticulados, evitando algumas das suposições geométricas específicas do trabalho original e estendendo o resultado para códimes arbitrários.

• Refinamento de Expoentes: Os autores definem e analisam a lacuna entre o expoente conjecturado $\alpha_{\text{conj}}(p)$, o expoente de limite inferior $\alpha_{\text{low}}(p)$ e o expoente de limite superior $\alpha_{\text{upp}}(p)$. Eles mostram que, para $d=1$, os limites são nítidos (até $Q^\epsilon$), mas para $d \ge 2$, existe uma lacuna entre a estimativa conjecturada e o comportamento real das perturbações em $p_{\text{conj}}$.

Significância e Alegações
O artigo afirma resolver a questão de se a conjectura baseada em decoplagem para estimativas maximais de Schrödinger é robusta sob perturbações $C^2$. Os autores demonstram que a conjectura não é robusta; a estrutura número-teórica do paraboloide é essencial para que os limites conjecturados se sustentem. Quando a função de fase é perturbada dentro da classe $C^2$, a estimativa maximal deteriora-se, alinhando-se com o comportamento observado no caso $d=1$ por [FRW23].

Além disso, o trabalho destaca as limitações dos métodos de decoplagem em distinguir entre o paraboloide e suas pequenas perturbações. Embora a decoplagem forneça o limite superior correto para a classe de superfícies uniformemente convexas, ela não consegue recuperar os limites mais finos conjecturados que dependem das propriedades aritméticas específicas do paraboloide.

O artigo conclui que, para hipersuperfícies $C^2$ gerais, a estimativa maximal é governada pela geometria da superfície (via decoplagem) em vez da aritmética específica do paraboloide, e que o expoente $p_{\text{conj}}$ não é o limiar correto para a classe $C^2$ geral em dimensões $d \ge 2$. Os resultados são apresentados como nítidos até perdas de $Q^\epsilon$ no expoente crítico $p_{\text{crit}}$.