Anisotropic Inviscid Limit for the Navier-Stokes Equations with Transport Noise Between Two Plates

Resumen Técnico: Límite Inviscido Anisotrópico para las Ecuaciones de Navier-Stokes con Ruido de Transporte

1. Planteamiento del Problema

El trabajo investiga el límite viscoso (inviscido) de las ecuaciones de Navier-Stokes estocásticas tridimensionales (3D) en un dominio acotado entre dos placas horizontales ($O = \mathbb{T}^2 \times (0, 1)$), bajo condiciones de contorno de deslizamiento nulo (no-slip).

La novedad central reside en la anisotropía del modelo:

• Viscosidad Turbulenta: La viscosidad se divide en componentes horizontal ($\nu_h$) y vertical ($\nu_z$). El objetivo es estudiar el límite donde ambas tienden a cero, pero a ritmos diferentes, específicamente cuando la relación $\nu_z / \nu_h \to 0$. Esto modela fenómenos de fluidos geofísicos donde la rotación (fuerza de Coriolis) amplifica la difusión horizontal, haciendo que la viscosidad vertical sea despreciable en comparación.
• Ruido de Transporte: El sistema está impulsado por un Ruido de Transporte y Estiramiento (Transport-Stretching Noise) derivado del principio de Advección Estocástica por Transporte de Lie (SALT). A diferencia de los modelos isotrópicos, el ruido se escala anisotrópicamente:
  • La componente horizontal del ruido se escala con $\nu_h^{1/2}$.
  • La componente vertical del ruido se escala con $\nu_z^{1/2}$.
• El Desafío Principal: La escala anisotrópica del ruido rompe la propiedad de divergencia nula (solenoidal) de las funciones de correlación espacial efectivas ($\tilde{\xi}_i$). En la teoría clásica de ruido de transporte, la divergencia nula es crucial para cancelar términos de energía en las estimaciones. Aquí, esta propiedad se pierde, introduciendo términos de acoplamiento cruzado que complican el análisis de energía.

La ecuación estocástica (en forma de Stratonovich) es:
$$du_t = -B(u_t, u_t)dt - \nu_h A_h u_t dt - \nu_z A_z u_t dt - \nu_h^{1/2} P G_h u_t \circ dW_t - \nu_z^{1/2} P G_z u_t \circ dW_t$$
Donde $P$ es el proyector de Leray, $B$ el término convectivo, y $A_h, A_z$ los operadores de Stokes horizontal y vertical.

2. Metodología

El autor emplea una combinación de análisis funcional estocástico, teoría de ecuaciones diferenciales parciales (EDP) y técnicas de corrección de frontera.

• Conversión a Forma de Itô: Se transforma la ecuación de Stratonovich a Itô. Esto genera un término corrector (Itô-Stratonovich) que involucra productos cruzados entre las viscosidades horizontal y vertical ($\nu_h^{1/2}\nu_z^{1/2}$). La falta de divergencia nula en $\tilde{\xi}_i$ impide que los términos de conmutación se cancelen exactamente como en el caso isotrópico.
• Manejo de la No-Divergencia Nula: Se demuestra que, aunque $\nabla \cdot \tilde{\xi}_i \neq 0$, la contribución de este término en las estimaciones de energía puede ser controlada. Utilizando la desigualdad de Young y la estructura específica de la escala $\nu^{1/2}$, los términos problemáticos se acotan por cantidades que desaparecen cuando $\nu_h, \nu_z \to 0$, permitiendo "absorber" los términos restantes en la disipación viscosa.
• Soluciones Débiles de Martingala: Dado que la unicidad de soluciones para Navier-Stokes 3D no está garantizada, el autor construye soluciones débiles de martingala. Para estudiar la convergencia, se construye un único espacio de probabilidad que soporta una secuencia de soluciones $(u^k)$ correspondientes a una secuencia de viscosidades $(\nu_h^k, \nu_z^k)$, utilizando productos infinitos de espacios de probabilidad.
• Corrección de Frontera (Boundary Corrector): Siguiendo el trabajo determinista de Masmoudi [55], se introduce una función de corrección de frontera $B$. Esta función ajusta la solución de Euler $w$ (que no satisface la condición de no-deslizamiento) para que $w + B$ satisfaga la condición de contorno de Navier-Stokes. La norma $L^2$ de $B$ decae con la viscosidad.
• Aproximación de Galerkin: Dado que el término no lineal no pertenece a $L^2_t H^{-1}_x$, el análisis se realiza primero a nivel de aproximaciones de Galerkin y luego se pasa al límite, manejando cuidadosamente los términos de proyección que podrían explotar en normas de Sobolev altas si no se manejan correctamente en la frontera.

3. Contribuciones Clave

1. Generalización Anisotrópica: Es el primer trabajo que establece el límite inviscido para Navier-Stokes estocásticos con viscosidades anisotrópicas y ruido de transporte escalado anisotrópicamente.
2. Ruido No-Solenoidal: Se aborda técnicamente el problema de que las funciones de correlación del ruido efectivo no son de divergencia nula debido a la escala de viscosidad. Se demuestra que esto no impide la convergencia, siempre que la relación $\nu_z/\nu_h \to 0$.
3. Convergencia a Soluciones Fuertes de Euler: Se prueba que las soluciones débiles de Navier-Stokes convergen a la solución fuerte determinista de la ecuación de Euler en el intervalo de vida de existencia de esta última.
4. Estructura del Ruido: Se justifica teóricamente la separación del ruido en componentes horizontales y verticales escaladas por $\nu^{1/2}$, mostrando que es la única escala que permite un límite no trivial y consistente con el balance de energía.

4. Resultados Principales

El Teorema 3.2 establece que, dadas dos secuencias de viscosidades $(\nu_h^k)$ y $(\nu_z^k)$ tales que $\nu_h^k \to 0$ y $\nu_z^k / \nu_h^k \to 0$:

1. Existe un espacio de probabilidad filtrado y una secuencia de soluciones débiles de martingala $(u^k, W^k)$.
2. Convergencia Fuerte: La secuencia $u^k$ converge a la solución fuerte $w$ de la ecuación de Euler en la norma $L^2(\Omega; L^\infty([0, T]; L^2_\sigma))$.
3. Disipación de Energía: Se demuestra que la disipación de energía en la capa límite (especialmente en la dirección vertical) tiende a cero, cumpliendo un criterio análogo al de Kato adaptado al caso estocástico y anisotrópico:
   $$\lim_{k \to \infty} \nu_z^k \int_0^T \|\nabla u^k\|_{L^2(\Gamma_\delta)}^2 ds = 0$$
   donde $\Gamma_\delta$ es una franja de frontera de ancho $\delta$.

5. Significado e Impacto

• Fundamentos Matemáticos: El artículo resuelve una brecha significativa en la teoría de límites inviscidos estocásticos, demostrando que la anisotropía, común en fluidos geofísicos, no impide la convergencia hacia la dinámica de Euler, incluso con ruido de transporte.
• Modelado Geofísico: Proporciona una base rigurosa para modelos de fluidos geofísicos donde la turbulencia es altamente anisotrópica debido a la rotación de la Tierra. Valida el uso de modelos simplificados (Euler) en escalas donde la viscosidad vertical es despreciable.
• Teoría de Ruido Estocástico: Abre nuevas vías para el análisis de ruido de transporte en dominios con fronteras donde las funciones de correlación no son solenoidales, un escenario que antes se consideraba intratable o requería suposiciones restrictivas.
• Técnica de Prueba: La metodología desarrollada para manejar los términos cruzados de viscosidad y ruido sin la propiedad de divergencia nula ofrece herramientas nuevas para futuros estudios en EDPs estocásticas anisotrópicas.

En resumen, este trabajo demuestra que, bajo una escala de ruido adecuada y una relación de viscosidad específica, el comportamiento estocástico de un fluido turbulento anisotrópico converge a la dinámica determinista ideal (Euler) en el límite de viscosidad cero, superando los obstáculos técnicos impuestos por la interacción entre la anisotropía y la estructura del ruido.