Qualitative quasi-invariance of low regularity Gaussian measures for the 1d quintic nonlinear Schrödinger equation

Enunciado do Problema
Este artigo aborda a quase-invariância qualitativa de medidas gaussianas sob o fluxo da equação de Schrödinger não linear (NLS) quíntica unidimensional no toro $\mathbb{T} := \mathbb{R}/2\pi\mathbb{Z}$. Especificamente, considera dados iniciais distribuídos de acordo com medidas gaussianas $\mu_s$ com operador de covariância $(1-\Delta)^{-s}$. A questão central é se a lei da solução em qualquer tempo $t$, denotada por $\Phi(t)\#\mu_s$, é absolutamente contínua em relação à medida inicial $\mu_s$.

O estudo foca no regime de baixa regularidade. Embora a global bem-postura para a NLS quíntica seja atualmente conhecida para dados iniciais em $H^\sigma(\mathbb{T})$ com $\sigma > 2/5$ (estabelecida por Li-Wu-Xu [26]), a medida gaussiana $\mu_s$ é suportada em $H^\sigma(\mathbb{T})$ apenas se $\sigma < s - 1/2$. Consequentemente, para aplicar o fluxo global para quase todo dado inicial $\mu_s$, é necessário que $s - 1/2 > 2/5$, o que implica o limiar $s > 9/10$. Resultados anteriores sobre quase-invariância para esta equação haviam sido estabelecidos para $s > 3/2$ (estendendo o trabalho anterior sobre inteiros pares $s=2k$). Este trabalho visa estender o resultado de quase-invariância até o limiar crítico $s > 9/10$.

Metodologia
A abordagem combina ferramentas probabilísticas com estimativas de energia determinísticas, seguindo o arcabouço iniciado por Sun e Tzvetkov [36] e estendido em [23]. A metodologia procede através de várias etapas fundamentais:

1. Truncamento e Aproximação: Os autores trabalham com uma versão truncada da NLS, $\Phi_N(t)$, onde frequências altas são projetadas para fora. Eles utilizam a fatoração do fluxo truncado e as propriedades de aproximação de $\Phi_N(t)$ convergindo para o fluxo completo $\Phi(t)$ para transferir a quase-invariância da aproximação de dimensão finita para o sistema de dimensão infinita.
2. Redução de Forma Normal de Poincaré-Dulac: Para lidar com a não conservação da norma $H^s$, os autores empregam uma redução de forma normal. Isso envolve definir um funcional de energia modificado $E_{s,N}(u) = \frac{1}{2}\|\pi_N u\|_{H^s}^2 + R_{s,N}(u)$, onde $R_{s,N}$ é um termo de correção de energia derivado das interações ressonantes da não linearidade. Isso transforma o problema na análise do transporte de uma medida gaussiana ponderada $\rho_{s,N} = e^{-R_{s,N}} d\mu_s$.
3. Estimativas Probabilísticas via Fórmula de Boué-Dupuis: Uma inovação crucial neste trabalho é o uso da fórmula variacional de Boué-Dupuis (Lema 2.11) para estabelecer a integrabilidade exponencial da correção de energia $R_{s,N}$ e de sua derivada temporal $Q_{s,N}$. Isso substitui o uso de expansões de Caos de Wiener, que os autores observam ser insuficiente ou excessivamente complicado para atingir o limiar $s > 9/10$.
4. Estimativas Determinísticas e de Contagem: A prova depende fortemente de estimativas determinísticas refinadas para a não linearidade $|u|^4u$ localizada em blocos de frequência diádicos. Chave para isso é a análise da função ressonante $\Omega(\vec{k})$ e da derivada simetrizada $\psi_{2s}(\vec{k})$. Os autores estabelecem limites inferiores na função ressonante longe da diagonal e utilizam limites de contagem (Lemas 6.3 e 6.4) para controlar o número de interações ressonantes. Essas estimativas são combinadas com estimativas de Strichartz e limites $L^2$ na não linearidade (Lema 7.1) para derivar os necessários limites diádicos.

Principais Contribuições e Resultados
O resultado primário é o Teorema 1.1, que afirma que para todo $s > 9/10$, a medida gaussiana $\mu_s$ é quase-invariante ao longo do fluxo da NLS quíntica 1D. Em outras palavras, para qualquer tempo $t \in \mathbb{R}$, a medida push-forward $\Phi(t)\#\mu_s$ é absolutamente contínua em relação a $\mu_s$.

O artigo alcança isso ao:

• Estender o intervalo de quase-invariância de $s > 3/2$ (o resultado de [23]) para $s > 9/10$, o que coincide com o limiar atual de bem-postura global da equação nos espaços de Sobolev relevantes.
• Provar estimativas $L^p$ quantitativas para os funcionais de energia $R_{s,N}$ e $Q_{s,N}$ (Proposições 3.8 e 3.9) usando a fórmula de Boué-Dupuis em vez de Caos de Wiener.
• Estabelecer uma ligação rigorosa entre a quase-invariância das medidas ponderadas $\rho_{s,N}$ e as medidas gaussianas originais $\mu_s$ via estimativas uniformes e argumentos de aproximação (Seção 5).

Significância e Limitações
Os autores posicionam este trabalho como uma extensão parcial de [23], empurrando o limiar de regularidade para a quase-invariância até o limite do conhecimento atual de bem-postura global. A significância reside em demonstrar que a propriedade de quase-invariância se mantém mesmo em regimes de baixa regularidade onde o Hamiltoniano não é conservado e métodos de energia padrão falham.

No entanto, o artigo nota explicitamente suas limitações em relação à força do resultado:

• Qualitativo vs. Quantitativo: Diferente do resultado em [23] para $s > 3/2$, este trabalho não fornece limites quantitativos para as derivadas de Radon-Nikodym (ou seja, não estabelece limites $L^p$ para a própria densidade, apenas a continuidade absoluta). Os autores atribuem isso à incapacidade de usar a conservação de massa e do Hamiltoniano no regime de baixa regularidade ($s \leq 3/2$).
• Nitidez (Sharpness): O artigo não afirma que $s > 9/10$ é o limiar nítido para a quase-invariância. Ele reconhece que determinar o limiar exato onde o comportamento singular (singularidade mútua) começa permanece um problema aberto, similar ao progresso feito para a equação de Szegő cúbica em [9].
• Restrição Metodológica: A dependência da fórmula de Boué-Dupuis é destacada como o fator possibilitador desta extensão, enquanto o método de Caos de Wiener anteriormente utilizado parece insuficiente para este intervalo específico de $s$.

Em resumo, o artigo fornece uma prova rigorosa da quase-invariância das medidas gaussianas para a NLS quíntica 1D até a regularidade $s > 9/10$, utilizando uma combinação inovadora de reduções de forma normal e estimativas probabilísticas variacionais, enquanto reconhece que o controle quantitativo das densidades resultantes permanece fora de alcance com as técnicas atuais.