Exact mean-covariance dynamics of the Weber field in the stochastic Lagrangian representation of the 3D Navier-Stokes equations

Resumen Técnico: Dinámica Exacta de la Media–Covarianza del Campo de Weber en la Representación Lagrangiana Estocástica de las Ecuaciones de Navier–Stokes 3D

Planteamiento del Problema
El artículo investiga las ecuaciones de Navier–Stokes incomprimibles en un toro 3 $\mathbb{T}^3$:
$$\partial_t u + (u \cdot \nabla)u - \nu\Delta u + \nabla p = 0, \quad \text{div } u = 0.$$
El análisis se fundamenta en la representación lagrangiana estocástica de Constantin–Iyer, que expresa el campo de velocidad $u$ como la proyección de la esperanza de un campo de Weber estocástico:
$$u(t) = \mathcal{P} \mathbb{E}\left[ (\nabla A_t)^\top (u_0 \circ A_t) \right],$$
donde $A_t = X_t^{-1}$ es la inversa del flujo estocástico $X_t$ impulsado por un único movimiento Browniano $W$ común a todas las etiquetas lagrangianas. El problema central abordado es si la esperanza del gradiente de deformación, $\mathbb{E}[\nabla A_t]$, por sí sola puede controlar la regularidad de la solución, o si la correlación entre la deformación y los datos iniciales muestreados a lo largo de la trayectoria es esencial. El artículo busca derivar ecuaciones deterministas cerradas y exactas que gobiernen los momentos estadísticos de esta representación para comprender los mecanismos de regularidad y sus posibles obstrucciones.

Metodología
El autor emplea un enfoque riguroso de cálculo estocástico, utilizando específicamente la fórmula de Itô–Wentzell y las reglas de producto de Itô aplicadas al flujo estocástico $A_t$ y al gradiente de deformación asociado $J_t = \nabla A_t$.

1. Descomposición: La esperanza del campo de Weber se descompone en el producto de las medias y una covarianza centrada:
   $$\mathbb{E}[J_t^\top V_t] = M^\top N + R,$$
   donde $M = \mathbb{E}[J_t]$, $N = \mathbb{E}[V_t]$ y $R = \mathbb{E}[(J_t - M)^\top (V_t - N)]$.
2. Cierre: Al aplicar el operador $D_u = \partial_t + u \cdot \nabla - \nu\Delta$ a estos componentes, el autor deriva un sistema de ecuaciones de advección–difusión deterministas. Una observación estructural clave es que, debido a que cada etiqueta lagrangiana es impulsada por el mismo camino Browniano, los términos de covariación cuadrática colapsan en un Laplaciano, evitando la emergencia de una jerarquía de momentos infinita.
3. Análisis de dos puntos: El análisis se extiende a las estadísticas de dos puntos para investigar el comportamiento de la covarianza en la variable de separación $r = x - y$.
4. Contraejemplos y Rigidez: El artículo construye contraejemplos explícitos (utilizando flujos de cizalla e integrales oscilatorias) para probar los límites de varias hipótesis de regularidad y emplea argumentos de tipo Liouville para soluciones antiguas con el fin de establecer resultados de rigidez.

Contribuciones Clave y Resultados

1. Ecuaciones Deterministas Cerradas para la Covarianza
La principal contribución teórica es la derivación de una ecuación cerrada para el campo de covarianza $R$ (Teorema 3.1):
$$D_u R + G^\top R = 2\nu \sum_{k=1}^3 (\partial_k M)^\top (\partial_k N), \quad R(0) = 0.$$
Esta ecuación es cerrada en las variables $(u, M, N, R)$; no se requieren momentos de orden superior. Del mismo modo, se deriva una ecuación cerrada para el tensor de deformación–varianza $Q = \mathbb{E}[(J_t - M)^\top (J_t - M)]$ (Teorema 3.3). Estas ecuaciones revelan que el forzamiento Browniano disipa simultáneamente la covarianza (vía el Laplaciano) y la produce (vía el término fuente que involucra los gradientes de las medias).

2. Cotas de Energía y Regularidad

• Balance de Energía: Se establece un balance exacto de energía/producción para la covarianza (Proposición 3.4), mostrando que el término de deformación (strain) no tiene un signo definido, lo que complica las estimaciones de energía simples.
• Desplazamiento Medio: El desplazamiento medio $\ell = \mathbb{E}[A_t] - x$ satisface una ecuación de calor forzada. Se demuestra una cota $L^2$ incondicional para $\ell$, controlada únicamente por la energía inicial (Teorema 5.1).
• Cotas de Hölder: Aunque existen cotas $L^2$ incondicionales, el artículo demuestra que las cotas de Hölder incondicionales sobre la deformación media $M$ no se mantienen uniformemente hasta $t=0$. Específicamente, para soluciones de cizalla exactas, la norma de Hölder de $M$ diverge cuando $t \to 0$ (Proposición 5.2).

3. Obstrucciones al Control de "Solo la Media"
El artículo descarta sistemáticamente varias estrategias de prueba potenciales para la regularidad global:

• Separación de Normas: La norma del gradiente de deformación esperado no controla la norma esperada del gradiente, incluso para derivas divergencia-libres suaves (Proposiciones 6.1, 6.3).
• Cotas de Solo Energía: Existen soluciones de cizalla suaves y globales de Navier–Stokes donde la energía inicial es fija, pero la norma de Hölder de la deformación media se vuelve arbitrariamente grande a medida que la escala de longitud de los datos iniciales disminuye (Proposición 6.4). Esto refuta cualquier estimación de la forma $\sup_t \|M(t)\|_{C^\alpha} \leq F(\|u_0\|_{L^2})$.
• Regularidad Espacial vs. Temporal: Una cota de Hölder espacial en la media no implica el decaimiento de Campanato parabólico (Proposición 6.5), ya que las oscilaciones temporales pueden persistir independientemente de la suavidad espacial.

4. Criterios Críticos y Rigidez

• Cociente de Serrin–Weber: El autor define una norma de cociente invariante por gauge para el campo de Weber, $\|[\bar{F}]\|_{L^q/\nabla W^{1,q}}$, y demuestra que es equivalente a la norma de Serrin de la velocidad (Teorema 7.1). La finitud de este cociente en el rango crítico de Serrin implica regularidad global.
• Rigidez Afín: Se demuestra un teorema de tipo Liouville para soluciones adecuadas antiguas donde la coordenada media $\Theta$ es afín de rango $\geq 1$. Bajo una cota de Tipo-I, tales soluciones deben ser triviales ($u \equiv 0$) (Teorema 7.2).

Significado y Pretensiones
El artículo establece explícitamente que no realiza ninguna afirmación respecto al problema de la regularidad global de las ecuaciones de Navier–Stokes. Su importancia radica en:

1. Claridad Estructural: Proporcionar un marco determinista exacto y cerrado para la representación lagrangiana estocástica, aislando el papel específico de la covarianza $R$ y el tensor de varianza $Q$.
2. Demarcación de Obstáculos: Identificar y demostrar explícitamente que ciertos enfoques intuitivos (por ejemplo, controlar la solución únicamente mediante la deformación media o utilizar solo cotas de energía) son insuficientes.
3. Problemas Abiertos: El artículo concluye aislando los pasos específicos faltantes necesarios para convertir estos resultados estructurales en una prueba de regularidad. Estos incluyen establecer una cota de la media en tiempo positivo, lograr un cierre de covarianza autosistente que utilice la estructura específica de las soluciones de Navier–Stokes en lugar de cotas genéricas, y resolver el caso de rigidez de rango cero.

En resumen, el trabajo proporciona un "mapa" riguroso de la dinámica de la media–covarianza, demostrando que, si bien la representación estocástica produce ecuaciones cerradas exactas, el camino hacia la regularidad global requiere superar obstrucciones específicas y no triviales relacionadas con la interacción entre la deformación media y la estructura de la covarianza, las cuales no se resuelven únicamente mediante cotas incondicionales.