Resumen Técnico: Transformaciones de Calibre, Ansatz del Operador de Promedio Aleatorio y Mejora de la Bien Posebilidad Probabilística para la NLS Radial en la Bola 3D

1. Planteamiento del Problema y Contexto

El artículo aborda la ecuación de Schrödinger no lineal (NLS) de tipo defocalizante cúbica en la bola unitaria tridimensional $B^3$ con condiciones de contorno de Dirichlet y datos iniciales radiales:
$$(i\partial_t + \Delta)u = |u|^2u, \quad u|_{\partial B^3} = 0.$$
El estudio se centra en la bien posebilidad probabilística de esta ecuación cuando los datos iniciales se aleatorizan según una medida gaussiana $\mu_\alpha$ soportada en espacios de Sobolev $H^s_{rad}(B^3)$ con $s < \alpha - 1/2$. Los datos iniciales se definen mediante una serie de Fourier aleatoria:
$$\phi_\alpha(\omega, x) = \sum_{n \ge 1} \frac{g_n(\omega)}{n^\alpha} e_n(x),$$
donde $g_n$ son variables gaussianas complejas estándar independientes y $e_n$ son autofunciones radiales del Laplaciano de Dirichlet.

El Desafío:
En tres dimensiones, la regularidad de Sobolev crítica para la NLS es $s=1/2$. El soporte de la medida de Gibbs corresponde a datos con regularidad ligeramente inferior a $1/2$ (específicamente $s < 1/2$ cuando $\alpha=1$). Trabajos previos de Bourgain y Bulut [BB14] establecieron la existencia y unicidad global casi segura para $\alpha=1$ (datos en $H^{1/2-}$). Sin embargo, su enfoque dependía de una aproximación de dimensión finita donde la no linealidad era truncada por un proyector espectral $\Pi_N en el lado derecho. Este método arrojó una tasa de convergencia con una divergencia logarítmica en el parámetro de frecuencia$N$, lo que limita la capacidad de manejar datos con menor regularidad (es decir, $\alpha < 1$) o de tratar la ecuación completa sin el proyector.

El artículo pretende mejorar estos resultados estableciendo la bien posebilidad local casi segura para $\alpha > 15/16$, un régimen que es supercrítico con respecto a la escala probabilística introducida por Deng, Nahmod y Yue [DNY24a, DNY22].

2. Metodología e Innovaciones Clave

Los autores emplean una combinación de transformaciones de calibre (gauge transforms), operadores de promedio aleatorio y un análisis de modulación refinado para superar las singularidades inherentes al entorno radial 3D.

2.1. Descomposición de la No Linealidad y Transformación de Calibre

La dificultad central identificada en [BB14] es una interacción resonante específica (alto $\times$ alto $\times$ alto) que produce una divergencia logarítmica cuando $\alpha=1$. En el entorno radial, los coeficientes de Fourier $u_n$ satisfacen una ecuación donde un coeficiente real divergente $C_n(u_N)$ depende de la frecuencia $n$:
$$(i\partial_t - n^2) \hat{u}_N(n) = C_n(u_N) \hat{u}_N(n) + \text{otros términos}.$$
A diferencia del caso del toro, donde las transformaciones de calibre globales pueden eliminar tales términos, la naturaleza dependiente de la frecuencia de $C_n$ en la bola impide una única transformación global.

La Solución: Los autores introducen una transformación de calibre refinada adaptada a la estructura algebraica específica del coeficiente divergente. Definen una relación de dispersión modificada $\lambda_n^2 = n^2 + \mu_n^2$, donde $\mu_n^2$ captura el valor esperado de la interacción resonante. Al restar la parte lineal asociada a $\mu_n^2$ y utilizar cancelaciones en el marco probabilístico (específicamente $|u_n(t)|^2 - |u_n(0)|^2$), convierten la contribución resonante problemática en términos quínticos no resonantes. Esta transformación es lineal en las frecuencias, contrastando con las transformaciones de calibre no lineales utilizadas en otros contextos (por ejemplo, [OTW20]).

2.2. Ansatz del Operador de Promedio Aleatorio

Para manejar las interacciones restantes de alta $\times$ baja frecuencia, los autores utilizan el marco del operador de promedio aleatorio introducido por Deng, Nahmod y Yue [DNY24a].

• Descomposición: La solución $u_N$ se descompone en un término gaussiano "coloreado" $\psi_N$ (que captura las interacciones más singulares de alto $\times$ bajo) y un resto más suave $w_N$.
• Reducción Radial: En el entorno radial, los operadores de promedio aleatorio se reducen a la multiplicación por fases complejas. Específicamente, para un modo $n$, el operador actúa como $H_n(t) = \exp(-i \int_0^t \Theta_n(\tau) d\tau)$, donde $\Theta_n$ es una función real determinada por componentes de menor frecuencia.
• Esquema de Inducción: La prueba procede mediante un esquema de inducción sobre escalas de frecuencia diedicas. En cada escala $N$, los autores construyen la fase de promedio aleatorio $H_N$ y el resto $w_N$ utilizando argumentos de punto fijo en espacios de Fourier-Lebesgue (espacios $X^{s,b}$ adaptados al Laplaciano retorcido).

2.3. Análisis de Modulación y Nuevas Estimaciones

El análisis se lleva a cabo enteramente en el espacio de frecuencias, reflejando la naturaleza unidimensional del problema radial. Las contribuciones técnicas clave incluyen:

• Nuevas Estimaciones de tipo Strichartz: Los autores derivan estimaciones de conteo refinadas para la función de resonancia $\Omega(\vec{n}) = \lambda_{n_1}^2 - \lambda_{n_2}^2 + \lambda_{n_3}^2 - \lambda_{n_4}^2$ en la bola. Estas estimaciones tienen en cuenta la relación de dispersión perturbada $\lambda_n^2 = n^2 + \mu_n^2$ y los efectos de frontera.
• Límites de Tensores y Operadores: Establecen límites deterministas y probabilísticos para las interacciones multilineales (trilineales y quínticas). Crucialmente, demuestran que los operadores de promedio aleatorio permiten la absorción de las interacciones de alta $\times$ baja más singulares, dejando solo términos que pueden controlarse de forma perturbativa.
• Manejo de la Divergencia Logarítmica: Al combinar la transformación de calibre con el ansatz de promedio aleatorio, los autores derivan una estimación para la diferencia de soluciones $x_{N,M}(t)$ de la forma:
  $$x_{N,M}(t) \le C N^{-\delta} + C \int_0^t x_{N,M}(\tau) d\tau,$$
  la cual carece de la divergencia logarítmica ($\log N$) presente en la estimación de [BB14]. Esto permite la aplicación de la desigualdad de Gronwall para probar la convergencia.

3. Resultados Principales

Teorema 1.2 (Bien Posebilidad Local Casi Segura):
Sea $\alpha > 15/16$. Existe un conjunto medible $\Sigma_\alpha$ con $\mu_\alpha(\Sigma_\alpha) = 1$ tal que para cada dato inicial $\phi \in \Sigma_\alpha$, existe un tiempo $T > 0$ para el cual la secuencia de soluciones $(u_N)_{N \ge 1}$ a la ecuación truncada por frecuencia (que evoluciona bajo la no linealidad cúbica completa) converge en $L^\infty([-T, T]; H^{\alpha - 1/2-}_{rad}(B^3))$ a un límite único $u$. Este límite resuelve la NLS cúbica en el sentido de la distribución.

Teorema 1.3 (Enunciado Cuantitativo):
La convergencia ocurre en un intervalo de tiempo $[-\tau_R, \tau_R]$ con $\tau_R = R^{-C_1}$, donde la probabilidad de que los datos iniciales no cumplan con los límites necesarios es exponencialmente pequeña ($< C_1 e^{-c_1 R^{\delta_0}}$). La solución admite una descomposición $u = \psi_\infty + w_\infty$, donde $\psi_\infty$ es el límite de los términos gaussianos coloreados y $w_\infty$ es un resto más suave en $C([-T, T]; H^{s_0}_{rad})$ para algún $s_0 > 1/2$.

4. Significado y Reivindicaciones

El artículo afirma ser una mejora significativa sobre los resultados de Bourgain y Bulut [BB14] en tres dimensiones.

• Régimen Supercrítico: El resultado establece la bien posebilidad para datos iniciales con regularidad estrictamente inferior a la regularidad típica del soporte de la medida de Gibbs (para $\alpha < 1$), situando el problema en un régimen supercrítico respecto a la escala probabilística de [DNY24a].
• Eliminación del Proyector: A diferencia de [BB14], que requería que la no linealidad fuera truncada por $\Pi_N$ (una aproximación de dimensión finita), este trabajo prueba la convergencia para la ecuación cúbica completa. Se muestra que el límite es el mismo tanto para las aproximaciones truncadas como para las completas.
• Eliminación de la Divergencia Logarítmica: El principal logro técnico es la eliminación de la divergencia $\log N$ en las estimaciones de convergencia. Esto se logra mediante la novedosa combinación de transformaciones de calibre (para manejar las interacciones alto-alto-alto resonantes) y operadores de promedio aleatorio (para manejar las interacciones alto-bajo).
• Geometría Radial: El trabajo extiende la teoría de la bien posebilidad probabilística a dominios acotados con frontera, específicamente la bola 3D, donde los efectos de frontera y la falta de invariancia por traslación complican el análisis en comparación con el toro.

Los autores señalan que la restricción $\alpha > 15/16$ no es óptima (conjeturan que $\alpha > 3/4$ es el umbral real), pero es suficiente para superar el umbral crítico $\alpha=1$. También comentan que el caso de dimensiones $d \ge 4$ sigue fuera de alcance debido a la criticalidad de energía y las pérdidas de derivada en las estimaciones de Strichartz en esferas.

5. Conclusión

Este trabajo proporciona un marco robusto para manejar soluciones probabilísticas de baja regularidad para la NLS en dominios acotados. Al refinar el análisis de las interacciones no lineales mediante transformaciones de calibre y promedios aleatorios, los autores navegan con éxito el régimen supercrítico, ofreciendo un resultado de convergencia más fuerte de lo que estaba disponible anteriormente para la NLS radial 3D. La metodología sugiere un camino a seguir para problemas similares donde el suavizado dispersivo estándar es insuficiente.