Fractional Stochastic Navier-Stokes Equations: Local Well-Posedness and Enstrophy Balance

Resumen Técnico: Ecuaciones de Navier–Stokes Estocásticas Fraccionarias: Bien-Posebilidad Local y Balance de Entropía

Formulación del Problema
Este artículo investiga la bien-posebilidad local y el balance de entropía de un modelo de fluido incompresible estocástico en el toro tridimensional $\mathbb{T}^3$. El modelo, denotado como la ecuación (1), acopla una derivada temporal fraccionaria de Caputo de orden $\beta \in (1/2, 1)$ con una disipación de Laplaciano fraccionario de orden $\alpha \in (1, 2)$. El sistema está impulsado por un ruido de clase traza y suave espacialmente con un coeficiente superlineal. La ecuación gobernante es:
$$\partial_t^\beta u = -(u \cdot \nabla)u - \nabla p - \nu(-\Delta)^{\alpha/2}u + \Phi(u)\dot{W}, \quad \nabla \cdot u = 0$$
donde $\Phi(u)$ representa un término de difusión superlineal y $\dot{W}$ es un proceso de Wiener $Q$. El desafío principal abordado es la interacción entre el estiramiento de vórtices inercial, la disipación anómala y la memoria temporal no local, particularmente en presencia de forzamiento estocástico.

Metodología y Derivación
Los autores adoptan un punto de vista de la física estadística, derivando el modelo de la mecánica hamiltoniana restringida en lugar de postular los operadores.

1. Derivación Microscópica: Utilizando el formalismo de proyección de Mori–Zwanzig, los autores eliminan los grados de libertad rápidos de un sistema de fluido hamiltoniano acoplado a un baño de calor armónico libre de escala. Este proceso produce una ecuación de Langevin generalizada donde el núcleo de memoria y la fuerza fluctuante emergen simultáneamente, vinculados por la segunda relación de fluctuación–disipación.
2. Emergencia de Operadores:
   • Derivada de Caputo: Al asumir que la densidad espectral del baño sigue una ley de potencia $J(\omega) \sim \omega^\beta$ cuando $\omega \to 0$, un teorema tauberiano establece que el núcleo de memoria decae algebraicamente como $t^{-\beta}$. Diferenciar este integral de memoria produce la derivada de Caputo $\partial_t^\beta$, identificándola rigurosamente como la imagen analítica de un baño libre de escala.
   • Laplaciano Fraccionario: De manera similar, un espectro espacial libre de escala conduce al Laplaciano fraccionario $(-\Delta)^{\alpha/2}$ como el generador de un semigrupo de Lévy $\alpha$-estable isotrópico.
3. Marco Analítico: El análisis utiliza la teoría de Littlewood–Paley y espacios de Besov ($H^s$ con $s > 3/2$). La evolución lineal está gobernada por dos propagadores de Mittag–Leffler distintos: $S_\beta(t)$ para los datos iniciales y un núcleo singular que involucra a $P_\beta(t)$ para el término de forzamiento. Los autores emplean un triple de Gelfand adaptado al operador de Stokes para manejar el ruido de clase traza.

Contribuciones Clave y Resultados

• Derivación Rigurosa de Operadores Fraccionarios: El artículo proporciona una cadena matemática precisa (Lema 1.1, Teoremas 1.2–1.3) demostrando que las derivadas de Caputo y el Laplaciano fraccionario no son elecciones de modelado arbitrarias, sino las consecuencias necesarias de la eliminación de modos rápidos en un entorno libre de escala.
• Geometría de la Vorticidad: Representando la vorticidad como una 2-forma diferencial, los autores prueban que el funcional de estiramiento de vórtices coincide con la forma cuadrática de signo indefinido del tensor de deformación (Proposición 3.1). Esto confirma que el estiramiento no es ni coercitivo ni de signo definido, dependiendo enteramente de la alineación de la vorticidad con el eigenmarco de la deformación.
• Propiedades del Núcleo Lineal: Utilizando identidades de subordinación, los autores muestran que el propagador lineal es una densidad de probabilidad con una cola de campo lejano algebraica (Proposición 3.4), contrastando con el decaimiento exponencial de los núcleos de calor clásicos.
• Umbral de Memoria Agudo: Un resultado crítico es la identificación de $\beta > 1/2$ como el umbral agudo para la existencia de soluciones con valores de función bajo forzamiento blanco en el tiempo (Proposición 4.1). Para $\beta \le 1/2$, la convolución estocástica diverge en $H^s$ a menos que el forzamiento sea regularizado.
• Bien-Posebilidad Local: El Teorema 4.4 establece la existencia y unicidad de soluciones tenues en $L^2(\Omega; C([0, \tau]; H^s))$ para $s > 3/2$. La prueba se basa en un argumento de punto fijo en una bola de $H^s$, utilizando las distintas propiedades de suavizado de los dos propagadores y las leyes de multiplicación tame de los espacios de Besov.
• Balance de Entropía: El Teorema 4.8 deriva una ecuación de balance de entropía exacta gobernada por una desigualdad diferencial fraccionaria. Este balance incluye un término disipativo, un término de estiramiento de signo indefinido y un término de entrada de ruido. Los autores derivan un exponente crítico $\sigma = \beta(1 + 3/\alpha)$ que separa el régimen dominado por la disipación ($\sigma < 1$) del régimen donde el estiramiento puede impulsar el crecimiento ($\sigma > 1$).
• Continuación y Existencia Global: Se establece un criterio de continuación de tipo Beale–Kato–Majda (Teorema 4.11), que establece que las soluciones pueden continuarse mientras la norma sup de la vorticidad permanezca integrable en el tiempo. La existencia global condicional se prueba (Corolario 4.12) bajo una condición geométrica donde la dirección de la vorticidad es Lipschitz en regiones de alta magnitud, agotando efectivamente el término de estiramiento.

Significancia y Reivindicaciones
El artículo afirma establecer un nuevo régimen estructural para la dinámica de fluidos donde la competencia entre el estiramiento inercial y la disipación anómala está gobernada por la memoria temporal no local y los forzamientos fluctuantes. La significancia radica en:

1. Derivación sobre Postulación: Los operadores no estándar se derivan de los primeros principios de la mecánica estadística, fundamentando el cálculo fraccionario en la física microscópica.
2. Restricciones Geométricas: El análisis destaca que la indefinición de signo del estiramiento de vórtices, transparente a través de las formas diferenciales, prohíbe las cotas inferiores coercitivas y requiere un análisis basado en balances exactos en lugar de desigualdades de un solo lado.
3. Escalamiento Crítico: El artículo identifica el exponente crítico $\sigma$ y el umbral $\beta_c = \alpha/(\alpha+3)$, que delinean los regímenes donde la disipación controla el flujo frente a aquellos donde el estiramiento podría conducir a una explosión en tiempo finito.
4. Limitaciones: Los autores señalan modestamente que no se reclama la existencia global incondicional. Debido a la naturaleza supercrítica del problema (donde el orden de disipación $\alpha < 5/2$ es insuficiente para controlar la no linealidad) y la ausencia de una ley de semigrupo para la derivada de Caputo, la regularidad global sigue siendo un problema abierto. Los resultados son estrictamente locales, y la existencia global es condicional a la depleción geométrica del estiramiento.

El trabajo concluye que los objetos físicamente fieles en este régimen son los balances e identidades, y que la estructura específica del núcleo de memoria y el ruido dicta las restricciones analíticas, particularmente el umbral agudo $\beta > 1/2$ para la bien-posebilidad.