On non-uniqueness of mild solutions and stationary singular solutions to the Navier-Stokes equations

Each language version is independently generated for its own context, not a direct translation.

¡Claro que sí! Imagina que este artículo es como una historia de detectives matemáticos que han descubierto un secreto muy profundo sobre cómo se mueven los fluidos, como el agua en un río o el aire alrededor de un avión.

Aquí tienes la explicación de la investigación de Cheskidov y Hou, traducida a un lenguaje sencillo y con analogías creativas:

🌊 El Gran Misterio: ¿El agua siempre sigue las mismas reglas?

Imagina que tienes una bañera llena de agua y decides moverla de una manera muy específica. En el mundo de las matemáticas, tenemos unas reglas famosas llamadas Ecuaciones de Navier-Stokes. Estas reglas intentan predecir exactamente cómo se moverá el agua en el futuro.

Durante décadas, los matemáticos creyeron que si conocías el estado inicial del agua (cómo estaba al principio), las reglas de Navier-Stokes te darían una sola y única respuesta sobre cómo se movería después. Era como si el universo tuviera un único guion para cada película de fluidos.

🕵️‍♂️ La Gran Revelación: ¡Hay más de un guion!

En este nuevo artículo, los autores (Cheskidov y Hou) dicen: "¡Esperen un momento! Eso no siempre es verdad".

Han demostrado que, en ciertos escenarios muy extraños y complejos (llamados espacios de "regularidad negativa", que suenan a jerga técnica pero que podemos imaginar como "ruido" o "caos" en el fluido), no hay una única solución.

La analogía del laberinto:
Imagina que estás en un laberinto muy oscuro (el fluido).

La vieja creencia: Si empiezas en el punto A, solo hay un camino posible para salir.
El descubrimiento: Los autores dicen: "No, si el laberinto es lo suficientemente caótico, puedes empezar en el punto A y, milagrosamente, terminar en dos lugares diferentes al mismo tiempo, siguiendo las mismas reglas físicas".

Esto significa que las ecuaciones pierden su unicidad. El futuro del fluido no está totalmente determinado por su pasado en estos casos extremos.

🏗️ ¿Cómo lo hicieron? (La técnica de "Construcción con Legos")

Para probar esto, no solo hicieron cálculos en una pizarra; construyeron algo físico (matemáticamente hablando) usando una técnica llamada "Integración Convexa".

La analogía del arquitecto de fantasmas:
Imagina que quieres construir una casa (una solución a la ecuación) que parezca sólida, pero que en realidad esté hecha de "fantasmas" o ilusiones ópticas.

Los autores construyeron una solución que parece estar quieta (estacionaria), pero que en realidad es un "fantasma" matemático.
Usaron bloques de construcción muy pequeños y rápidos (ondas de alta frecuencia) para crear un fluido que tiene energía infinita o que es tan caótico que no se puede medir con reglas normales.
Al combinar estos bloques de una manera muy específica, demostraron que se pueden crear dos fluidos diferentes que empiezan exactamente igual, pero que luego se comportan de forma totalmente distinta.

Es como si pudieras tomar dos copias idénticas de un vaso de agua, darle un golpe idéntico a ambos, y ver que uno se congela y el otro se convierte en vapor, simplemente porque el "ruido" interno del agua era lo suficientemente caótico.

🌌 El "Monstruo" Estacionario

Un punto clave del artículo es la creación de "Soluciones Singulares Estacionarias".

La analogía del tornillo atascado:
Imagina un tornillo que gira eternamente en el mismo lugar sin avanzar ni retroceder, pero que gira tan rápido y con tal fuerza que destruye todo a su alrededor.

En matemáticas, esto es una solución que no cambia con el tiempo (estacionaria), pero que es tan "fea" o "ruidosa" (singular) que no tiene energía finita.
Los autores demostraron que estos "tornillos infinitos" existen en casi todos los tipos de caos que podemos imaginar. Y, lo más importante, si existen estos tornillos, significa que el futuro del fluido no está escrito en piedra.

🧩 ¿Por qué importa esto?

Rompemos un mito: Nos dicen que nuestra comprensión de la física de fluidos tiene límites. En condiciones extremas (muy turbulentas o con mucho "ruido"), las ecuaciones clásicas no pueden predecir el futuro con certeza absoluta.
Nuevas herramientas: Han desarrollado una nueva forma de "construir" soluciones matemáticas (como si fueran bloques de Lego) que puede usarse para resolver otros problemas difíciles en física y matemáticas.
El caos tiene reglas: Aunque el resultado es que hay múltiples soluciones, el proceso para encontrarlas es muy ordenado y lógico. Han encontrado el orden dentro del caos.

En resumen

Este artículo es como si un mago matemático dijera: "Miren, siempre pensaron que si empujan una pelota, esta sigue una sola trayectoria. Pero si la pelota está hecha de humo y el viento es muy fuerte, ¡esa misma pelota puede tomar dos caminos diferentes al mismo tiempo!".

Han demostrado que el universo de los fluidos es más misterioso y menos predecible de lo que creíamos, al menos cuando nos adentramos en los rincones más caóticos y "sucios" de las matemáticas.

Each language version is independently generated for its own context, not a direct translation.

Aquí presento un resumen técnico detallado del artículo "Non-uniqueness of mild solutions and stationary singular solutions to the Navier-Stokes equations" (No unicidad de soluciones suaves y soluciones singulares estacionarias para las ecuaciones de Navier-Stokes) de Alexey Cheskidov y Hedong Hou.

1. El Problema

El artículo aborda la unicidad incondicional de las soluciones suaves (mild solutions) a las ecuaciones de Navier-Stokes (NSE) y sus versiones fraccionarias (NSE $\alpha$ ).

Contexto: Se sabe que las NSE están bien planteadas localmente en espacios críticos o subcríticos (como $L^d$ o espacios de Besov $\dot{B}^{-1+d/q}_{q,r}$ ) bajo ciertas condiciones de regularidad. Sin embargo, la cuestión de si la solución es única dentro de una clase de soluciones dada (unicidad incondicional) es un problema abierto en muchos espacios, especialmente aquellos con índices de regularidad negativos (espacios de Besov $B^s_{q,r}$ con $s < 0$ ).
La Pregunta Central: ¿Es posible que existan múltiples soluciones suaves que partan de la misma condición inicial en espacios con regularidad negativa?
Antecedentes: Resultados previos (como los de Buckmaster y Vicol) demostraron la no unicidad en espacios supercríticos ( $H^\beta$ con $\beta > 0$ ), pero no en clases subcríticas o críticas con regularidad negativa.

2. Metodología

Los autores emplean una combinación de integración convexa y el análisis de soluciones estacionarias singulares.

A. Construcción de Soluciones Singulares Estacionarias

En lugar de construir soluciones dependientes del tiempo directamente, los autores construyen soluciones estacionarias no triviales a las ecuaciones de Navier-Stokes fraccionarias estacionarias:
$\text{div}(u \otimes u) + (-\Delta)^\alpha u + \nabla p = 0, \quad \text{div } u = 0$
donde $u$ es una solución singular.

Definición de Singularidad: Una solución $u$ es singular si no pertenece a $L^2$ (energía infinita) y el producto tensorial $u \otimes u$ no está en $L^1$ .
Definición del Producto Tensorial: Para manejar la falta de regularidad, definen $u \otimes u$ como un paraproducto en el espacio de distribuciones módulo constantes ( $D'/\mathbb{C}$ ), utilizando la descomposición de Littlewood-Paley. Esto permite dar sentido al término no lineal en espacios de Sobolev homogéneos con índice negativo ( $\dot{H}^{-s}$ ).

B. Integración Convexa (Convex Integration)

Utilizan el método de integración convexa, introducido originalmente por De Lellis y Székelyhidi y perfeccionado por Buckmaster y Vicol, para construir estas soluciones.

Bloques de Construcción: Utilizan flujos Mikado (introducidos por Daneri y Székelyhidi) como bloques fundamentales. Estos son campos vectoriales oscilantes y localizados que satisfacen la ecuación de Euler sin presión.
Procedimiento Iterativo:
1. Comienzan con una solución suave aproximada $(u, R)$ que satisface las ecuaciones de Navier-Stokes-Reynolds con un estrés de Reynolds $R$ pequeño.
2. Añaden una perturbación de velocidad $w$ $w$ compuesta por:
  - Una parte principal ( $w^{(p)}$ ) basada en flujos Mikado con alta frecuencia.
  - Correctores de localización de frecuencia ( $w^{(l)}$ ) y divergencia ( $w^{(d)}$ ) para asegurar que la nueva velocidad sea libre de divergencia y esté localizada en frecuencias específicas.
3. Demuestran que la nueva solución $(u+w, R_{new})$ satisface las ecuaciones con un estrés de Reynolds $R_{new}$ significativamente más pequeño.
4. Al iterar este proceso infinitamente, el estrés de Reynolds tiende a cero, obteniendo una solución exacta a las ecuaciones estacionarias.

C. Conexión con Soluciones Suaves No Estacionarias

Utilizan un resultado clave (Proposición 1.4): Si $u$ es una solución estacionaria singular, entonces la función constante en el tiempo $U(t) = u$ es una solución suave (mild solution) a las ecuaciones de Navier-Stokes evolutivas.

Si existe una solución estacionaria singular no trivial $u$ , y dado que el problema lineal tiene una solución suave única (o una solución suave construida por métodos clásicos), se generan dos soluciones distintas con la misma condición inicial: la solución estacionaria singular y la solución suave clásica (que se vuelve suave instantáneamente).

3. Contribuciones Clave y Resultados Principales

A. Fallo de la Unicidad Incondicional en Espacios de Besov Negativos (Teorema 1.1 y 1.2)

Resultado: Demuestran que la unicidad incondicional falla en todos los espacios de Besov $B^{-\theta}_{q,r}(\mathbb{T}^d)$ con $\theta > 0$ (regularidad negativa), tanto para NSE estándar ( $\alpha=1$ ) como para NSE fraccionarias con $\alpha > 1/2$ .
Significancia: Este es el primer resultado de no unicidad en clases de soluciones subcríticas (donde la regularidad es mayor que la crítica) y en espacios con regularidad negativa. Esto contrasta con resultados anteriores que solo mostraban no unicidad en espacios supercríticos.
Construcción: Para cualquier $\epsilon > 0$ , construyen una condición inicial $u_{in}$ con norma menor que $\epsilon$ en $B^{-\theta}_{q,r}$ que admite al menos dos soluciones suaves distintas.

B. Existencia de Soluciones Singulares Estacionarias (Teorema 1.5)

Demuestran la existencia de infinitas soluciones estacionarias singulares no triviales para cualquier $\alpha > 0$ .
Estas soluciones pertenecen a la intersección de todos los espacios $L^p$ para $1 \le p < 2$ y a todos los espacios de Besov con regularidad negativa.
Si $0 < \alpha < (d+1)/4 $, también existen soluciones en$ L^2(\mathbb{T}^d) $, lo que implica la no unicidad de soluciones débiles en$ L^2 $para estos rangos de$ \alpha$.

C. Unicidad en Espacios Críticos de Extremo (Teorema 1.7)

A pesar de la no unicidad general, demuestran que no existen soluciones estacionarias no triviales en ciertos espacios críticos de "extremo" (endpoint critical spaces), específicamente en $B^{-1}_{\infty,1}$ (para $\alpha=1$ ) y espacios relacionados para $\alpha > 1$ .
Esto mejora resultados previos de Lemarié-Rieusset y establece una frontera precisa donde la unicidad se recupera.

D. Ecuaciones Fraccionarias (NSE $\alpha$ )

Generalizan los resultados a ecuaciones con un Laplaciano fraccionario $(-\Delta)^\alpha$ con potencias arbitrariamente grandes.
Establecen que para $\alpha > (d+2)/4$ , la unicidad falla incluso en espacios $L^p$ con $1 \le p < 2$.

4. Significado e Impacto

Resolución de un Problema Abierto: El trabajo cierra la brecha sobre la unicidad en espacios subcríticos con regularidad negativa, mostrando que la "suavidad" de la solución (en el sentido de pertenecer a un espacio de Besov negativo) no es suficiente para garantizar la unicidad.
Nueva Perspectiva sobre la Regularidad: Sugiere que la no unicidad es un fenómeno mucho más robusto de lo que se pensaba, ocurriendo incluso en regímenes donde la disipación es fuerte (para $\alpha$ grande) y la regularidad es negativa.
Técnica de Integración Convexa: El artículo demuestra la versatilidad de la integración convexa para construir soluciones estacionarias singulares, no solo soluciones dependientes del tiempo, y cómo estas soluciones estacionarias pueden utilizarse para generar contraejemplos de unicidad en problemas evolutivos.
Implicaciones para la Teoría de Fluidos: Cuestiona la validez de los modelos de Navier-Stokes en espacios de baja regularidad, indicando que para condiciones iniciales muy irregulares (en espacios de Besov negativos), el modelo podría no predecir un único comportamiento físico.

En resumen, Cheskidov y Hou demuestran que la unicidad de las soluciones de Navier-Stokes es un fenómeno frágil que falla en una amplia gama de espacios de funciones con regularidad negativa, utilizando la construcción de soluciones estacionarias singulares mediante integración convexa como herramienta central.