Uniform large deviations and long-time dynamics for the 2D anisotropic Navier-Stokes equations on the torus

Resumen Técnico: Grandes Desviaciones Uniformes y Dinámica de Largo Tiempo para las Ecuaciones de Navier-Stokes Anisotrópicas 2D en el Toro

Planteamiento del Problema
Este artículo investiga las ecuaciones estocásticas de Navier-Stokes incompresibles bidimensionales en el toro $\mathbb{T}^2$ sujetas únicamente a disipación horizontal y ruido aditivo. El sistema se define como:
$$du^\varepsilon + (u^\varepsilon \cdot \nabla)u^\varepsilon dt + \nabla p^\varepsilon dt - \partial_1^2 u^\varepsilon dt = \sqrt{\varepsilon} Q^{1/2} dW, \quad \nabla \cdot u^\varepsilon = 0,$$
donde el operador de disipación $A = -P\partial_1^2$ actúa únicamente en la dirección horizontal. La ausencia de disipación vertical crea un núcleo de dimensiones infinitas de estados estacionarios (modos de cizalladura puramente verticales) que son inmunes al mecanismo disipativo. Los autores abordan tres desafíos principales: establecer un Principio de Grandes Desviaciones (LDP) uniforme para las trayectorias de la solución en el espacio de energía sin depender de la densidad exponencial; analizar las propiedades de mezcla de largo tiempo; y caracterizar la estructura de las medidas invariantes en presencia de esta disipación degenerada.

Metodología
El análisis procede a través de tres pilares metodológicos distintos:

1. Principio de Grandes Desviaciones (LDP) Uniforme:
   Los autores emplean el enfoque de convergencia débil combinado con un principio de contracción uniforme.

• Análisis Lineal: Primero establecen un LDP para el proceso de Ornstein-Uhlenbeck lineal $z^\varepsilon$ en el espacio auxiliar $G = C([0, T]; H) \cap L^2(0, T; \tilde{H}^{1,1})$. Esto se basa en demostrar estimaciones a priori para la ecuación de esqueleto y la compacidad del mapa de la solución para controles acotados.
• Mapeo No Lineal: Un paso crucial consiste en construir un mapa no lineal $F_x: G \to C([0, T]; H)$ que envía la órbita lineal a la solución de la ecuación estocástica completa. Los autores demuestran una estimación Lipschitz uniforme para este mapa en conjuntos acotados de datos iniciales. Esta estimación utiliza una novedosa manipulación algebraica de las desigualdades de Gagliardo-Nirenberg anisotrópicas y la condición de divergencia nula para controlar el término no lineal $(u \cdot \nabla)u$.
• Principio de Contracción: Al aplicar el principio de contracción uniforme de Wang, derivan el LDP para el sistema no lineal. Este enfoque elude la necesidad de la condición de densidad exponencial requerida típicamente en las demostraciones clásicas de LDP para SPDEs, ya que la continuidad Lipschitz se establece en todo el espacio auxiliar $G$.

2. Dinámica de Largo Tiempo (Mezcla Exponencial):
   Los autores analizan el fallo de la mezcla exponencial identificando un estado estacionario determinista específico $u_0 = (\sin x_2, 0)$ que se encuentra en el núcleo del operador de Stokes horizontal. Dado que este modo tiene una derivada horizontal nula, el término de disipación también desaparece, así como el término no lineal para este perfil específico. En consecuencia, la norma $L^2$ de la diferencia entre este estado estacionario y la solución cero permanece constante en el límite determinista. Los autores utilizan un argumento de contradicción para mostrar que este modo no amortiguado impide que el sistema estocástico satisfaga una estimación de mezcla exponencial uniforme, incluso con ruido pequeño.

3. Medidas Invariantes:
   El artículo investiga la existencia y estructura de las medidas invariantes contrastando los casos determinista y estocástico:

• Caso Determinista: El núcleo de dimensiones infinitas $N$ del operador $A$ consiste enteramente en estados estacionarios. Por lo tanto, cada medida de Dirac $\delta_u$ para $u \in N$ es una medida invariante, lo que resulta en infinitas medidas invariantes distintas.
• Caso Estocástico: Los autores construyen un ruido degenerado específico donde el rango de la covarianza del ruido reside enteramente dentro del núcleo $N$. Prueban que cualquier medida invariante para este sistema debe ser ortogonal a $N$ (es decir, $\mu(N) = 0$). La prueba demuestra que si una medida invariante cargara $N$, la restricción de la dinámica a $N$ se comportaría como un proceso Gaussiano con varianza que crece linealmente en un espacio de dimensiones infinitas, el cual no admite ninguna medida de probabilidad invariante.

Resultos Clave

• LDP Uniforme: El artículo demuestra un LDP de Freidlin-Wentzell uniforme para las trayectorias de la solución en el espacio de energía $C([0, T]; H)$, uniformemente sobre conjuntos acotados de datos iniciales en $\tilde{H}^{0,1}$. Este es el primer resultado de este tipo para las ecuaciones de Navier-Stokes anisotrópicas en el espacio de energía, logrado sin requerir densidad exponencial o amortiguación adicional.
• Fallo de la Mezcla Exponencial: Se demuestra rigurosamente que las ecuaciones de Navier-Stokes anisotrópicas en el toro no exhiben mezcla exponencial. La existencia de un núcleo de dimensiones infinitas de modos de cizalladura vertical, que se preservan mediante condiciones de frontera periódicas, impide que el sistema olvide las condiciones iniciales exponencialmente rápido.
• Estructura de la Medida Invariante:
  • En el límite determinista, el sistema posee infinitas medidas de Dirac invariantes correspondientes al núcleo del Laplaciano horizontal.
  • Bajo un ruido aditivo degenerado que actúa dentro del núcleo, cualquier medida invariante existente debe ser ortogonal al núcleo. El artículo demuestra además que, bajo dicho ruido, el propio núcleo no soporta ninguna medida invariante.

Significación y Reivindicaciones
Los autores posicionan este trabajo como una distinción nítida entre las ecuaciones anisotrópicas en el toro y tanto las ecuaciones de Navier-Stokes totalmente disipativas como las ecuaciones anisotrópicas con condiciones de no deslizamiento (Dirichlet).

• Contraste con Fronteras de Dirichlet: En dominios acotados con condiciones de no deslizamiento, la desigualdad de Poincaré anisotrópica se cumple, el núcleo es trivial y la ergodicidad única (mezcla exponencial) ha sido establecida (citando a Sun, Qiu y Tang). En el toro, las condiciones de frontera periódicas preservan el núcleo de dimensiones infinitas, alterando fundamentalmente el comportamiento de largo tiempo.
• Avance Metodológico: La derivación del LDP uniforme sin densidad exponencial se destaca como una contribución técnica significativa, apoyándose en la regularidad específica del proceso lineal en el espacio auxiliar $G$ y la continuidad Lipschitz uniforme del mapa no lineal.
• Marco Conceptual: El artículo proporciona un marco para comprender los sistemas parcialmente disipativos, identificando el núcleo del operador de disipación como la principal obstrucción a la estabilidad estadística. Sugiere que, si bien los modos verticales no amortiguados impiden la mezcla exponencial, el término no lineal sigue siendo el único mecanismo potencial para la transferencia de energía hacia los modos horizontales disipativos, aunque la existencia de una medida invariante global para el caso estocástico general sigue siendo una cuestión abierta vinculada a la eficiencia de esta cascada de energía.

Los autores concluyen que sus resultados esclarecen el papel de las condiciones de frontera en la determinación de la dinámica cualitativa de largo tiempo de los modelos de fluidos anisotrópicos y ofrecen una perspectiva estructural aplicable a futuros estudios de sistemas parcialmente disipativos, tales como la MHD anisotrópica y las ecuaciones primitivas.