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

Planteamiento del Problema
Este artículo aborda la cuasi-invarianza cualitativa de las medidas gaussianas bajo el flujo de la ecuación de Schrödinger no lineal (NLS) quíntica unidimensional en el toro $\mathbb{T} := \mathbb{R}/2\pi\mathbb{Z}$. Específicamente, considera datos iniciales distribuidos según medidas gaussianas $\mu_s$ con un operador de covarianza $(1-\Delta)^{-s}$. La cuestión central es si la ley de la solución en cualquier tiempo $t$, denotada como $\Phi(t)\#\mu_s$, es absolutamente continua con respecto a la medida inicial $\mu_s$.

El estudio se centra en el régimen de baja regularidad. Si bien la existencia global de soluciones para la NLS quíntica es actualmente conocida para datos iniciales en $H^\sigma(\mathbb{T})$ con $\sigma > 2/5$ (establecido por Li-Wu-Xu [26]), la medida gaussiana $\mu_s$ está soportada en $H^\sigma(\mathbb{T})$ solo si $\sigma < s - 1/2$. En consecuencia, para aplicar el flujo global a $\mu_s$-casi todo dato inicial, se requiere que $s - 1/2 > 2/5$, lo que implica el umbral $s > 9/10$. Resultados previos sobre la cuasi-invarianza para esta ecuación se habían establecido para $s > 3/2$ (extendiendo el trabajo anterior sobre enteros pares $s=2k$). Este trabajo tiene como objetivo extender el resultado de la cuasi-invarianza hasta el umbral crítico $s > 9/10$.

Metodología
El enfoque combina herramientas probabilísticas con estimaciones de energía deterministas, siguiendo el marco iniciado por Sun y Tzvetkov [36] y extendido en [23]. La metodología procede a través de varios pasos clave:

1. Truncamiento y Aproximación: Los autores trabajan con una versión truncada de la NLS, $\Phi_N(t)$, donde se proyectan fuera las altas frecuencias. Utilizan la factorización del flujo truncado y las propiedades de aproximación de $\Phi_N(t)$ convergiendo al flujo completo $\Phi(t)$ para transferir la cuasi-invarianza de la aproximación de dimensión finita al sistema de dimensión infinita.
2. Reducción de la Forma Normal de Poincaré-Dulac: Para manejar la no conservación de la norma $H^s$, los autores emplean una reducción de la forma normal. Esto implica definir un funcional de energía modificado $E_{s,N}(u) = \frac{1}{2}\|\pi_N u\|_{H^s}^2 + R_{s,N}(u)$, donde $R_{s,N}$ es un término de corrección de energía derivado de las interacciones resonantes de la no linealidad. Esto transforma el problema en el análisis del transporte de una medida gaussiana ponderada $\rho_{s,N} = e^{-R_{s,N}} d\mu_s$.
3. Estimaciones Probabilísticas vía la Fórmula de Boué-Dupuis: Una innovación crucial en este trabajo es el uso de la fórmula variacional de Boué-Dupuis (Lema 2.11) para establecer la integrabilidad exponencial de la corrección de energía $R_{s,N}$ y su derivada temporal $Q_{s,N}$. Esto reemplaza el uso de expansiones de Caos de Wiener, las cuales los autores señalan como insuficientes o excesivamente complicadas para alcanzar el umbral $s > 9/10$.
4. Estimaciones Deterministas y de Conteo: La prueba depende fuertemente de estimaciones deterministas refinadas para la no linealidad $|u|^4u$ localizada en bloques de frecuencia diedicos. Clave para esto es el análisis de la función resonante $\Omega(\vec{k})$ y la derivada simetrizada $\psi_{2s}(\vec{k})$. Los autores establecen cotas inferiores en la función resonante lejos de la diagonal y utilizan cotas de conteo (Lemmas 6.3 y 6.4) para controlar el número de interacciones resonantes. Estas estimaciones se combinan con estimaciones de Strichartz y cotas $L^2$ sobre la no linealidad (Lemma 7.1) para derivar las necesarias cotas diedicas.

Contribuciones Clave y Resultados
El resultado principal es el Teorema 1.1, el cual establece que para cada $s > 9/10$, la medida gaussiana $\mu_s$ es cuasi-invariante a lo largo del flujo de la NLS quíntica 1D. En otras palabras, para cualquier tiempo $t \in \mathbb{R}$, la medida de empuje $\Phi(t)\#\mu_s$ es absolutamente continua con respecto a $\mu_s$.

El artículo logra esto:

• Extendiendo el rango de cuasi-invarianza desde $s > 3/2$ (el resultado de [23]) hasta $s > 9/10$, lo cual coincide con el umbral actual de existencia global de soluciones de la ecuación en los espacios de Sobolev relevantes.
• Probando estimaciones $L^p$ cuantitativas para los funcionales de energía $R_{s,N}$ y $Q_{s,N}$ (Proposiciones 3.8 y 3.9) utilizando la fórmula de Boué-Dupuis en lugar de el Caos de Wiener.
• Estableciendo un vínculo riguroso entre la cuasi-invarianza de las medidas ponderadas $\rho_{s,N}$ y las medidas gaussianas originales $\mu_s$ a través de estimaciones uniformes y argumentos de aproximación (Sección 5).

Significancia y Limitaciones
Los autores posicionan este trabajo como una extensión parcial de [23], empujando el umbral de regularidad para la cuasi-invarianza hacia el límite del conocimiento actual de la existencia global de soluciones. La significancia radica en demostrar que la propiedad de cuasi-invarianza se mantiene incluso en regímenes de baja regularidad donde el Hamiltoniano no se conserva y los métodos de energía estándar fallan.

Sin embargo, el artículo señala explícitamente sus limitaciones respecto a la fuerza del resultado:

• Cualitativo vs. Cuantitativo: A diferencia del resultado en [23] para $s > 3/2$, este trabajo no proporciona cotas cuantitativas para las derivadas de Radon-Nikodym (es decir, no establece cotas $L^p$ para la densidad misma, solo la continuidad absoluta). Los autores atribuyen esto a la incapacidad de usar la conservación de la masa y el Hamiltoniano en el régimen de baja regularidad ($s \leq 3/2$).
• Nitidez (Sharpness): El artículo no afirma que $s > 9/10$ sea el umbral nítido para la cuasi-invarianza. Reconoce que determinar el umbral exacto donde comienza el comportamiento singular (singularidad mutua) sigue siendo un problema abierto, similar al progreso realizado para la ecuación de Szegő cúbica en [9].
• Restricción Metodológica: Se destaca que la dependencia de la fórmula de Boué-Dupuis es el factor habilitador para esta extensión, mientras que el método de Caos de Wiener utilizado anteriormente parece insuficiente para este rango específico de $s$.

En resumen, el artículo proporciona una prueba rigurosa de la cuasi-invarianza de las medidas gaussianas para la NLS quíntica 1D hasta la regularidad $s > 9/10$, utilizando una combinación novedosa de reducciones de forma normal y estimaciones probabilísticas variacionales, mientras reconoce que el control cuantitativo de las densidades resultantes permanece fuera del alcance con las técnicas actuales.