Non-Smooth Solutions of the Navier-Stokes Equation and their Means

Resumen Técnico: Soluciones No Suaves de la Ecuación de Navier-Stokes y sus Medias

Planteamiento del Problema
Este artículo aborda la regularidad de las soluciones de las ecuaciones de Navier-Stokes incompresibles en un dominio espacial periódico $T^3$. Específicamente, investiga la existencia de soluciones débiles de Leray-Hopf (LH) no suaves (explosión en tiempo finito o finite-time blowup) y caracteriza la relación entre estas soluciones singulares y sus valores "medios". El trabajo se posiciona como una respuesta al problema del Premio Millennium del Instituto Clay sobre la existencia y suavidad de las soluciones en tres dimensiones. Los autores afirman resolver el problema en sentido negativo mediante la construcción de datos iniciales que conducen a una explosión en tiempo finito, demostrando simultáneamente que la media de cualquier solución débil permanece suave durante todo el tiempo.

Metodología
El análisis se lleva a cabo dentro del marco de las soluciones débiles, utilizando espacios de funciones específicos y principios de entropía:

• Espacios de Funciones: Los autores trabajan principalmente en el espacio dual $V^*$ (donde $V=H^1$) en lugar del espacio de energía estándar $H=L^2$. Esta elección simplifica las demostraciones sobre analiticidad y explosión. Las soluciones se analizan en el espacio $W = L^p(0, T; V^*)$ con funciones de corte específicas $\phi \in L^1(0, T; V)$.
• Principio de Entropía: Una herramienta metodológica central es el "Principio de Entropía", que postula la existencia de soluciones débiles que maximizan la producción de entropía. El artículo distingue entre soluciones de "maximización de la producción de entropía" (asociadas con fluctuaciones turbulentas) y soluciones de "minimización de la producción de entropía" (asociadas con la media).
• Análisis de la Tasa de Decaimiento: La prueba de la explosión se basa en la comparación de las tasas de decaimiento de diferentes componentes de la solución. Los autores analizan el decaimiento de la solución $u$ frente al decaimiento de los integrandos de las fluctuaciones turbulentas $\nu_t^{int}$.
  • La solución $u$ (en el contexto del subespacio SRI, o Suma sobre Índices Repetidos) exhibe una tasa de decaimiento viscoso lenta de $O(e^{-\nu t/2})$.
  • Se demuestra que las fluctuaciones turbulentas $\nu_t^{int}$ (en el subespacio NSRI, o Índices No Sumados Repetidos) decaen a una tasa más rápida, $O(e^{-4\nu t/3})$ (o $O(t^{-4/3})$ en términos polinómicos).
• Cortes y Límites: La construcción utiliza cortes espaciales y temporales (subespacios de dimensión finita de elementos base suaves) para definir soluciones débiles. Los resultados se establecen como límites donde estos cortes se eliminan.
• Diagramas de Feynman: El mecanismo de explosión se describe en términos de diagramas de Feynman conectados, donde ocurre una discontinuidad en coeficientes de expansión no-SRI específicos (específicamente aquellos relacionados con la disipación turbulenta) a medida que transitan de modos turbulentos a viscosos.

Contribuciones Clave y Resultados

1. Construcción de Explosión en Tiempo Finito:
   El artículo construye soluciones débiles de Leray-Hopf no suaves que experimentan una explosión en tiempo finito.

   • Datos Iniciales: La explosión es desencadenada por datos iniciales "turbulentos", caracterizados por fluctuaciones turbulentas no nulas en el espacio de análisis de energía (específicamente, modos de energía NSRI no nulos).
   • Mecanismo: La explosión surge de una contradicción lógica en las tasas de decaimiento para las soluciones de maximización de la entropía. La fluctuación turbulenta $\nu_t^{int}$ decae más rápido que la propia solución $u$. Eventualmente, en un tiempo finito $T^*$, la curva de decaimiento de la fluctuación cae por debajo del límite inferior del decaimiento viscoso permitido para la solución suave. Para resolver esta contradicción, la solución debe perder su suavidad, resultando en una discontinuidad en los términos de disipación turbulenta.
   • Resultado: El Teorema 5.1 establece que una solución de maximización de la entropía con condiciones iniciales turbulentas tiene solo un intervalo finito de regularidad y no es globalmente suave.

2. Regularidad de la Media:
   El artículo identifica la "media" de una solución débil como una entidad distinta con diferentes propiedades de regularidad.

   • Definición: La media $M(u)$ se define en el espacio de Fourier vectorial como una suma de medias sobre el espacio de configuración, el espacio de fase y el tiempo fijo.
   • Minimización de la Entropía: La media corresponde a una solución de minimización de la producción de entropía. Para esta clase de soluciones, la tasa de disipación turbulenta $\nu_t$ es cero.
   • Suavidad: El Teorema 7.1 demuestra que la media de cualquier solución débil es una solución suave para todos los tiempos positivos.
   • Reducción de la Ecuación: Para la media, los términos no lineales y las fluctuaciones turbulentas desaparecen ($M(\nu_t^{NL}) = 0$ y $M(\nu_t^{temp}) = 0$). Consecuentemente, la ecuación de evolución para la media se reduce a la ecuación del calor: $\partial_t M(u) = \nu \Delta M(u)$. Dado que las soluciones a la ecuación del calor con datos iniciales $H$ son suaves para $t > 0$, la media es suave.

3. Resolución del Problema del Premio Millennium:
   Los autores afirman resolver el problema del Premio Millennium en sentido negativo.

   • Demuestran que, para ciertas condiciones iniciales turbulentas (que son válidas dentro de las restricciones del problema de datos periódicos, divergencia libre y suaves), la solución explota en tiempo finito.
   • Aclaran que, si bien la media de una solución es siempre suave, la media no posee datos iniciales "generales" (es un subconjunto específico derivado de la solución débil). Por lo tanto, la suavidad de la media no constituye una solución positiva al problema del premio, el cual requiere la suavidad para todos los datos iniciales suaves.

Significado y Reivindicaciones
El artículo afirma proporcionar una prueba constructiva de la existencia de soluciones no suaves para las ecuaciones de Navier-Stokes incompresibles en 3D, refutando así la conjetura de que existen soluciones suaves globalmente para todos los datos iniciales suaves.

• Solución Negativa: Al mostrar que los datos iniciales turbulentos conducen a una explosión en tiempo finito, el artículo afirma haber resuelto el problema del Premio Millennium en sentido negativo.
• Distinción entre Turbulencia y Media: Una contribución conceptual significativa es la separación rigurosa del componente "turbulento" (que explota) del componente "medio" (que permanece suave y satisface una ecuación del calor). El artículo argumenta que el valor medio de una solución débil es siempre una solución suave, pero esto no impide que la solución débil subyacente se vuelva singular.
• Papel de la Entropía: El trabajo enfatiza el papel de la maximización de la producción de entropía en la conducción de la explosión de las fluctuaciones turbulentas, contrastándolo con la minimización de la entropía que produce la media suave.

Los autores señalan que su análisis está restringido a fluidos incompresibles, isotérmicos y de un solo componente en un dominio periódico. Dependen de la existencia de soluciones de maximización de la producción de entropía (establecidas en literatura previa) y extienden estos resultados para demostrar las contradicciones específicas de las tasas de decaimiento que hacen necesaria la explosión. No proponen verificación experimental ni aplicaciones futuras, sino que enmarcan su contribución como una resolución teórica a la cuestión de la regularidad.