🔢 mathematics

Density of weak solutions of the fractional Navier-Stokes equations in the smooth divergence-free vector fields

Este artículo extiende los resultados de no unicidad para las ecuaciones de Navier-Stokes al caso fraccionario al demostrar que las soluciones débiles con una regularidad espacio-temporal específica ( $L^s_t W^{1,q}_x$ ) son densas en el espacio de campos vectoriales suaves y sin divergencia, estableciendo así la no unicidad para un amplio rango de parámetros mediante la integración convexa.

Autores originales: Michele Gorini

Publicado 2026-07-02

📖 6 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Michele Gorini

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

Imagina un fluido gigante e invisible girando dentro de una caja con forma de dona (los matemáticos llaman a esto un toro). Este fluido es el sujeto de un famoso acertijo: las ecuaciones de Navier-Stokes. Estas ecuaciones son el libro de reglas de cómo se mueven los fluidos, describiendo todo, desde el humo que sube de una vela hasta la sangre que fluye por las venas. Pero aquí está el truco: aunque sabemos que estas reglas existen, no siempre estamos seguros de si conducen a un único futuro posible o si permiten múltiples futuros, igualmente válidos, partiendo exactamente del mismo punto.

Durante mucho tiempo, los matemáticos pensaron que si empezabas con un fluido suave y tranquilo, las reglas lo obligarían a evolucionar de una sola manera. Sin embargo, el investigador Michele Gorini ha demostrado que, bajo ciertas condiciones específicas, esto no es cierto. Su trabajo no es el primero en mostrar este tipo de no unicidad (resultados anteriores fueron establecidos por Schnirelman, y por De Lellis y Szekelyhidi), sino que generaliza y extiende técnicas previamente desarrolladas por Cheskidov y Luo. Gorini demostró que puedes empezar con un fluido perfectamente suave y, utilizando un ingenioso truco matemático, construir un escenario donde el fluido se divide repentinamente en dos caminos completamente diferentes, y ambos obedecen las reglas perfectamente.

El truco de magia: Integración convexa

¿Cómo lo hizo? Piensa en ello como un juego de "golpear al topo" con el tiempo.

Imagina que tienes un río suave y fluido. Los investigadores querían introducir pequeñas ondulaciones caóticas que eventualmente se convertirían en un río completamente diferente, pero tenían que hacerlo sin romper las leyes de la física. Utilizaron una técnica llamada Integración convexa.

Imagina esto: Tienes una lámina suave de arcilla (el fluido). Quieres pincharla con una aguja para crear un bulto, pero no puedes simplemente aplastarla; tienes que doblarla de una manera que parezca suave desde lejos, pero que en realidad esté llena de pequeñas arrugas ocultas.

El pegado: Primero, tomó el río suave y lo cortó en pequeñas rebanadas de tiempo. En medio de cada rebanada, pegó un "corrector": un pequeño remolino de movimiento rápido que arregla la matemática para ese momento específico.
El corte brusco: Utilizó un "corte brusco" (como un interruptor superrápido) para encender y apagar estos remolinos. Debido a que el interruptor es tan rápido, los remolinos solo existen por una fracción de segundo. Para un observador lento, el fluido parece suave. Pero para un observador rápido, es un caos de pequeños movimientos ocultos.
El giro fraccionario: El artículo trata sobre las ecuaciones de Navier-Stokes "fraccionarias". Imagina que el fluido tiene un ajuste de "fricción". En la versión estándar, la fricción está establecida en 1. En este artículo, giró el dial de la fricción a un número diferente (llamado $\theta$ ). Encontró que, incluso con este ajuste de fricción diferente, todavía se puede realizar el truco de magia de crear múltiples futuros.

El "Meta-teorema" y las reglas

El autor no solo encontró un ejemplo extraño; demostró un "Meta-teorema". Esto es como una llave maestra que dice: "Si tienes un fluido inicial suave, siempre puedes encontrar una solución extraña y no única, siempre y cuando sigas un conjunto específico de reglas".

Es crucial entender la dirección de esta aproximación: el resultado demuestra que las soluciones débiles son densas en los campos de vectores suaves y de divergencia nula. Esto significa que cualquier campo de fluido suave y tranquilo puede ser aproximado arbitrariamente de cerca por estas soluciones débiles complejas. No es que los campos suaves sean densos en las soluciones débiles, sino al revés: las soluciones débiles pueden imitar a los campos suaves con extrema precisión.

Estas reglas son un poco como una receta para un pastel que solo funciona si usas cantidades específicas de harina y azúcar. El artículo enumera estos ingredientes como rangos matemáticos precisos:

Integrabilidad temporal ( $s$ y $p$ ): Cuánto cambia la solución a lo largo del tiempo, medido en normas de Lebesgue ( $L^s$ y $L^p$ ).
Integrabilidad espacial ( $q$ ): Cuánto cambia la solución a través del espacio, medido en normas de Lebesgue ( $L^q$ ).
Suavidad espacial ( $\gamma$ ): Este es el parámetro de suavidad genuino (regularidad de Sobolev en el espacio $W^{\gamma,q}$ ), que indica qué tan "suave" o regular es la solución en el espacio.
La fracción ( $\theta$ ): El ajuste de fricción.

El artículo demuestra que si eliges tus números ( $s, p, q, \gamma, \theta$ ) dentro de ciertos rangos (por ejemplo, si la integrabilidad temporal $s$ es al menos 1, y la integrabilidad espacial $q$ es mayor que 1), puedes construir estas soluciones no únicas. Incluso demostró que estas soluciones extrañas son suaves (perfectamente agradables) durante casi todo el tiempo, excepto por un conjunto diminuto y casi invisible de momentos donde ocurre el caos.

Lo que descartaron (y lo que no)

Es crucial entender lo que este artículo no dice.

NO dice que el fluido sea impredecible en la vida real. Las soluciones que construyó son "soluciones débiles". Piensa en estas como fantasmas matemáticos. Obedecen las reglas de la ecuación, pero podrían no ser las soluciones físicas "admisibles" que la naturaleza elige realmente. La naturaleza podría tener una regla oculta que obliga al fluido a elegir un solo camino, incluso si la matemática permite dos. El artículo señala explícitamente que para las soluciones "admisibles" (aquellas que obedecen la desigualdad de energía, es decir, que la energía puede disminuir pero nunca aumentar o ganarse espontáneamente), la cuestión de la unicidad sigue siendo un misterio enorme y sin resolver.
NO dice que esto ocurra para todos los ajustes de fricción. El artículo se centra en rangos específicos del exponente fraccionario $\theta$ . No afirma haber resuelto el problema para cada valor posible de fricción.
NO es una simulación. Esto no es un modelo computacional que sugiere que la no-unicidad podría ocurrir. Esta es una demostración matemática rigurosa. El autor no solo adivinó; construyó las soluciones paso a paso y demostró que existen.

Conclusión

Michele Gorini ha demostrado que, para las ecuaciones de Navier-Stokes fraccionarias, la puerta a los "múltiples futuros" está abierta de par en par para una clase específica de soluciones matemáticas. Generalizando el trabajo de Cheskidov y Luo, demostró que si estás dispuesto a aceptar soluciones que son suaves la mayor parte del tiempo pero que tienen pequeños estallidos ocultos de caos, puedes empezar con un fluido tranquilo y terminar con dos resultados diferentes.

Sin embargo, el artículo no llega a decir que esto signifique que el mundo real sea caótico. Deja la puerta abierta a la posibilidad de que los fluidos físicos "reales" (los admisibles, que no ganan energía) sigan comportándose bien y elijan un solo camino. El misterio de si el universo realmente permite múltiples futuros en la dinámica de fluidos sigue siendo uno de los mayores desafíos en las matemáticas, pero este artículo definitivamente ha añadido un capítulo nuevo y fascinante a la historia.

Resumen Técnico: Densidad de Soluciones Débiles de las Ecuaciones de Navier-Stokes Fraccionarias en Campos Vectoriales Suaves Sin Divergencia

Planteamiento del Problema
Este artículo aborda el problema de la no unicidad de las soluciones débiles para las ecuaciones de Navier-Stokes fraccionarias en el toro $d$ -dimensional $\mathbb{T}^d$ :
$\begin{cases} \partial_t v + \text{div}(v \otimes v) + \nabla p + (-\Delta)^\theta v = 0 \\ \text{div } v = 0 \end{cases}$
donde $\theta \geq 0$ es el exponente de disipación fraccionaria. Mientras que el caso clásico ( $\theta=1$ ) y las ecuaciones de Euler no viscosas han experimentado avances significativos respecto a la no unicidad mediante la integración convexa, el caso fraccionario presenta desafíos específicos. El caso $\theta=0$ corresponde a las ecuaciones de Navier-Stokes fraccionarias con exponente cero, las cuales retienen el término de disipación y no deben confundirse con las ecuaciones de Euler. La presencia del término del Laplaciano fraccionario $(-\Delta)^\theta v$ complica el control del esfuerzo de Reynolds en comparación con el caso de Euler; sin embargo, la integración convexa se vuelve generalmente más fácil a medida que $\theta$ disminuye.

El objetivo principal es extender los resultados de no unicidad de Cheskidov y Luo (específicamente su teorema de densidad para soluciones $L^1_t W^{1,q}_x$ de las ecuaciones de Navier-Stokes clásicas) al caso fraccionario. El artículo pretende establecer un "meta-teorema" que demuestre que los campos vectoriales suaves y sin divergencia pueden ser aproximados arbitrariamente cerca por soluciones con clases de regularidad prescritas $L^p_t L^\infty_x \cap L^s_t W^{\gamma, q}_x$ , donde los parámetros $p, s, q, \gamma$ están limitados y restringidos por el exponente fraccionario $\theta$ y por las relaciones mutuas entre ellos, operando dentro de rangos específicos.

Metodología
La demostración se basa en un esquema de integración convexa adaptado de trabajos previos sobre las ecuaciones de Euler y Navier-Stokes (notablemente [2], [4] y [5]). La metodología se estructura en un esquema iterativo que involucra dos pasos principales:

Concentración del Error de Esfuerzo (Pegado/Gluing):
Dada una solución suave $(u, R)$ al sistema de Navier-Stokes-Reynolds fraccionario, el intervalo de tiempo $[0, T]$ se subdivide en intervalos pequeños $I_i$ . En cada intervalo, se construye un corrector $v_i$ para resolver la ecuación de diferencia centrada en $(u, R)$ , haciendo efectivamente que $u + v_i$ sea una solución exacta en $I_i$ . Se aplica una función de corte aguda $\chi_i$ a estos correctores para pegarlos. Este proceso concentra el error de esfuerzo $R$ en los bordes de los subintervalos, resultando en una nueva solución donde el esfuerzo está soportado en un conjunto de pequeña medida temporal. Este paso asegura que la solución final tenga un conjunto singular de pequeña dimensión de Hausdorff.
Integración Convexa Espacio-Temporal:
Para reducir el tamaño del error de esfuerzo concentrado, se añade una perturbación $w$ a la solución pegada. Esta perturbación se construye utilizando:
- Flujos Mikado Estacionarios: Bloques de construcción espaciales ( $W_k$ ) soportados en cilindros periódicos, introducidos en [7], que permiten la concentración espacial de $(d-1)$ dimensiones.
- Funciones Temporales Intermitentes: Oscilaciones dependientes del tiempo ( $g_\kappa, h_\kappa$ ) que modulan los bloques espaciales.
La perturbación $w$ se descompone en una parte principal $w^{(p)}$ , un corrector $w^{(c)}$ para asegurar la incompresibilidad, y un corrector temporal $w^{(t)}$ . El diseño de estos componentes equilibra los términos espaciales y temporales de alta frecuencia frente al esfuerzo de Reynolds. Una característica técnica clave de este artículo es el uso de la "integración convexa en el tiempo", que permite el equilibrio de los términos de alta frecuencia temporal sin requerir restricciones de oscilación adicionales, permitiendo así la construcción de soluciones con una regularidad $L^s_t$ específica.

Contribuciones Clave y Resultados
El artículo establece el Teorema 1.2.1, el cual proporciona un conjunto exhaustivo de condiciones sobre los parámetros $p, q, s, \gamma, \theta$ (y la dimensión $d$ ) bajo las cuales se cumple el meta-teorema. Específicamente, para cualquier campo inicial suave y sin divergencia, existe una solución débil $u$ que está $\epsilon$ -cerca del campo inicial en la topología $L^p_t L^\infty_x \cap L^1_t W^{1,q}_x$ , mientras satisface:

$u \in L^p_t L^\infty_x \cap L^s_t W^{\gamma, q}_x$ .
$u$ es suave en una unión de intervalos abiertos $I \subset [0, T]$ tal que el complemento (el conjunto singular) tiene dimensión de Hausdorff $\leq \epsilon$ .
$u$ coincide exactamente con el campo inicial en $t=0$ ; además, para $t>0$ pequeños (cerca de $t=0$ ), $u$ coincide con la solución suave que surge del dato inicial del campo de partida, y no con el campo de partida mismo.

El Corolario 1.2.1 detalla explícitamente los rangos de validez para estos parámetros. Los resultados indican un compromiso entre la regularidad temporal y espacial. Por ejemplo:

Si $\gamma < 1$ , el meta-teorema se cumple para varios rangos de $q$ y $s$ dependiendo de $p$ .
El artículo recupera y extiende resultados previos, como la no unicidad $L^1_t W^{1,q}_x$ para $\theta=1$ (Cheskidov-Luo) y los extiende a $\theta$ fraccionario y diferentes clases de integrabilidad temporal $L^s_t$ .

La demostración implica una elección delicada de parámetros (Sección 6) para satisfacer un sistema de desigualdades derivadas de las leyes de escala de los flujos Mikado y las oscilaciones temporales. Los autores demuestran que, para elecciones apropiadas de frecuencia espacial $\sigma$ , frecuencia temporal $\nu$ , parámetros de concentración $\mu, \kappa$ y oscilación $\nu$ , los términos de error pueden hacerse arbitrariamente pequeños.

Significado
El artículo afirma extender el panorama de la no unicidad para las ecuaciones de Navier-Stokes fraccionarias. Al generalizar el resultado de densidad de Cheskidov y Luo desde el caso clásico ( $\theta=1$ ) al caso fraccionario ( $\theta \in [1/2, 1]$ ) y ampliar la integrabilidad temporal de $L^1_t$ a $L^s_t$ , el trabajo demuestra que la obstrucción a la unicidad no se debe únicamente a la naturaleza específica del Laplaciano, sino que persiste en el régimen fraccionario.

La importancia radica en la capacidad de construir soluciones débiles que son suaves casi en todas partes (en el sentido de la dimensión de Hausdorff) pero que no son únicas, incluso cuando están restringidas a clases de regularidad de Sobolev específicas. Esto contribuye a la comprensión de los fenómenos de tipo "conjetura de Onsager" en sistemas disipativos, mostrando que incluso con disipación fraccionaria, la desigualdad de energía (admisibilidad) no es suficiente para garantizar la unicidad de las soluciones con baja regularidad. El artículo no pretende resolver la unicidad de las soluciones de Leray-Hopf (que satisfacen la desigualdad de energía), sino que se centra en la clase más amplia de soluciones débiles distribucionales, resaltando las limitaciones de las teorías de regularidad actuales para asegurar la unicidad.

El truco de magia: Integración convexa

El "Meta-teorema" y las reglas

Lo que descartaron (y lo que no)

Conclusión

Más como este