Dissipative solutions to randomly forced 3D Euler equations

Este trabajo construye soluciones probabilísticamente fuertes y disipativas para las ecuaciones de Euler tridimensionales forzadas aleatoriamente, demostrando su continuidad temporal, regularidad de Hölder espacial y no unicidad ergódica hasta tiempos de parada arbitrariamente grandes.

Lo esencial

Imagina que el mundo de los fluidos (como el agua en un río o el aire en una tormenta) es como una gigantesca orquesta tocando una sinfonía caótica. La física nos da las "partituras" matemáticas para predecir cómo se mueve esta música. Una de las partituras más famosas y difíciles es la de las Ecuaciones de Euler, que describen cómo se mueven los fluidos ideales (sin fricción, como si el agua fuera mágica y no se pegara a nada).

El problema es que, hasta ahora, nadie estaba seguro de si esta partitura tenía una sola solución única o si, dependiendo de cómo la toques, podías obtener melodías completamente diferentes. Además, en la vida real, nada es perfecto: siempre hay "ruido" (viento, temperatura, vibraciones) que perturba el sistema.

Este artículo, escrito por Umberto Pappalettera y Francesco Triggiano, es como un gran experimento de laboratorio matemático que demuestra dos cosas sorprendentes sobre este caos:

1. El "Efecto Mariposa" Matemático (Soluciones No Únicas)

Imagina que tienes un vaso de agua y le das un pequeño golpe. En la física clásica, esperas que el agua se mueva de una forma predecible. Pero estos autores demuestran que, si añades un poco de "ruido" aleatorio (como si alguien estuviera soplando suavemente y de forma impredecible sobre el agua), puedes crear dos mundos completamente diferentes a partir del mismo punto de partida.

• La analogía: Piensa en un dado. Si lo lanzas, el resultado es aleatorio. Pero aquí, demuestran que puedes "trampar" el dado de tal manera que, aunque empieces con la misma cara arriba, el dado puede rodar y terminar en dos resultados distintos y estables.
• El hallazgo: Han construido soluciones matemáticas que son "fuertes" (muy precisas) y que, aunque siguen las reglas del juego, disipan energía (se calientan o pierden fuerza) de una manera que no es un estado fijo. Es como si el fluido decidiera, de repente, bailar un vals o un tango, y ambas opciones fueran válidas al mismo tiempo. Esto rompe la idea de que el universo siempre elige un solo camino.

2. La "Búsqueda del Tesoro" de las Medidas Ergódicas (El Caos Estable)

La segunda parte del artículo habla de la ergodicidad. En términos simples, imagina que observas el clima durante 100 años. La teoría ergódica dice que, si esperas lo suficiente, verás todas las posibilidades de clima que existen, y el promedio de lo que ves será igual a la probabilidad de que ocurra algo.

• La analogía: Imagina un laberinto gigante con muchas salidas. La pregunta es: ¿Hay un único mapa que te diga cómo salir de forma promedio, o hay varios mapas diferentes que también funcionan?
• El hallazgo: Los autores demuestran que, para estas ecuaciones de fluidos con ruido, no existe un único mapa. Pueden construir dos "mapas" (medidas) diferentes que describen el mismo tipo de empujón externo (el ruido), pero que llevan a comportamientos del fluido totalmente distintos.
  • En un mapa, el fluido tiene mucha energía y se mueve rápido.
  • En el otro, tiene menos energía y se mueve lento.
  • Y lo más increíble: ambos son válidos y estables. No puedes predecir cuál de los dos va a ocurrir solo mirando el empujón externo.

¿Por qué es importante esto?

Hasta ahora, los matemáticos pensaban que, si añadías suficiente ruido a un sistema, este se "calmaría" y elegiría un comportamiento promedio único. Este artículo dice: "¡No tan rápido!".

Demuestran que el caos (la turbulencia) es mucho más rico y complejo de lo que pensábamos. Incluso con las mismas reglas y el mismo "ruido" externo, la naturaleza podría estar eligiendo diferentes caminos de forma aleatoria y persistente.

En resumen:
Los autores han usado una técnica matemática muy sofisticada (llamada "integración convexa", que es como construir una casa de cartas con bloques que se mueven y se ajustan constantemente) para demostrar que las ecuaciones que gobiernan el movimiento de los fluidos en 3D, cuando se les añade un poco de ruido, no tienen una única respuesta. Pueden tener múltiples respuestas "reales" y estables al mismo tiempo.

Es como descubrir que, si lanzas una moneda al aire en un día ventoso, la moneda podría caer en cara o en cruz, pero también podría quedarse flotando en el aire girando de dos formas diferentes, y ambas formas son igualmente posibles y estables. ¡El universo es más loco y divertido de lo que imaginábamos!

Resumen técnico

1. Planteamiento del Problema

El trabajo aborda dos problemas fundamentales en la dinámica de fluidos estocástica y la teoría de ecuaciones en derivadas parciales (EDP):

1. Existencia y No Unicidad de Soluciones Disipativas: Se estudian las ecuaciones de Euler tridimensionales forzadas por un ruido aditivo (proceso de Wiener). El objetivo es construir soluciones que sean probabilísticamente fuertes (definidas en un espacio de probabilidad fijo), continuas en el tiempo y Hölder en el espacio, y que satisfagan una desigualdad de energía local (Local Energy Inequality - LEI). Esta desigualdad es crucial porque caracteriza soluciones físicamente relevantes que disipan energía debido a la irregularidad de la velocidad, incluso en ausencia de viscosidad.
2. No Ergodicidad: Se investiga la hipótesis ergódica para las ecuaciones de Euler forzadas. El problema consiste en determinar si existe una única medida de equilibrio (medida ergódica) que describa el comportamiento estadístico a largo plazo del sistema. Los autores buscan demostrar que, bajo ciertas condiciones, existen múltiples medidas ergódicas distintas concentradas en soluciones que son estrictamente disipativas y no son estados estacionarios, desafiando la unicidad de la descripción estadística del sistema.

2. Metodología

La metodología central del artículo es la Integración Convexa (Convex Integration), una técnica desarrollada originalmente por De Lellis y Székelyhidi Jr. para demostrar la no unicidad de soluciones débiles en las ecuaciones de Euler y Navier-Stokes.

• Esquema Iterativo: Los autores construyen una secuencia de soluciones aproximadas $(v_q, p_q, R_q, \phi_q, z_q)$ que convergen a una solución exacta. En cada paso $q$, se introduce una perturbación de velocidad $w = v_{q+1} - v_q$ diseñada para reducir el tensor de Reynolds $R_q$ (el error en la ecuación de momento) y la corriente de energía $\phi_q$ (el error en la desigualdad de energía).
• Flujos Mikado: La perturbación se construye utilizando "flujos Mikado", que son campos vectoriales altamente oscilatorios modulado por amplitudes escalares. Estos flujos permiten cancelar los términos de error mediante lemas geométricos específicos.
• Tratamiento del Ruido:
  • Para las Ecuaciones de Euler Estocásticas (SE), utilizan el truco de Da Prato-Debussche para descomponer la solución $u = v + z$, donde $z$ es el proceso estocástico suave (integral de Wiener) y $v$ es la parte determinista que se corrige iterativamente. Esto permite manejar la regularidad temporal del ruido.
  • Para las Ecuaciones de Euler Forzadas (FE) (sin estructura de Browniana explícita en el forzamiento $g$), trabajan directamente con el sistema forzado, construyendo medidas ergódicas sobre el espacio de trayectorias.
• Estimaciones de Regularidad: Se emplean estimaciones finas en espacios de Hölder ($C^\alpha$) y técnicas de análisis armónico (operadores de Littlewood-Paley, estimaciones de antidivergencia) para controlar los términos no lineales y asegurar la convergencia de la secuencia.
• Construcción de Medidas Ergódicas: Utilizan el teorema de Krylov-Bogoliubov para promediar las soluciones a lo largo del tiempo y obtener medidas invariantes. Luego, aplican el teorema de Krein-Milman para extraer medidas ergódicas extremas.

3. Contribuciones Clave y Resultados Principales

El artículo presenta dos teoremas principales:

Teorema 1.1: Existencia y No Unicidad de Soluciones Disipativas Estocásticas

• Resultado: Demuestra la existencia de soluciones $(u, p)$ a las ecuaciones de Euler estocásticas 3D que son:
  • Probabilísticamente fuertes.
  • Continuas en el tiempo y Hölder en el espacio ($C^\alpha$ con $\alpha < 1/7$).
  • Satisfacen la igualdad de energía local (LEE) hasta un tiempo de parada arbitrariamente grande.
  • Son estrictamente disipativas (la energía cinética disminuye más de lo que predice el forzamiento, indicando disipación anómala).
• No Unicidad: Se prueba que dentro de esta clase de soluciones, la ley de la solución no es única (no unicidad en ley). Esto significa que, dados los mismos datos iniciales y el mismo ruido, pueden existir múltiples trayectorias con distribuciones de probabilidad diferentes.

Teorema 1.2 y 1.4: No Ergodicidad y Medidas Múltiples

• Resultado: Construyen dos medidas ergódicas distintas, $\mu_1$ y $\mu_2$, sobre el espacio de trayectorias de las ecuaciones de Euler forzadas.
• Propiedades de las Medidas:
  • Ambas medidas están concentradas en soluciones que satisfacen la desigualdad de energía local.
  • Las soluciones asociadas son genuinamente aleatorias (no son estados estacionarios deterministas) y no estacionarias en el sentido de que la norma de la velocidad varía con el tiempo.
  • Diferencia Clave: Las dos medidas corresponden a soluciones con diferentes tamaños típicos de la velocidad (y por tanto, diferentes tasas de disipación de energía), a pesar de que el forzamiento externo $g$ puede tener la misma ley bajo ambas medidas.
• Implicación: Esto demuestra que el forzamiento externo no es suficiente para seleccionar una única medida estadística estacionaria en el límite de viscosidad cero para las ecuaciones de Euler, invalidando la unicidad de la correspondencia entre la ley del forzamiento y la ley de la solución.

4. Significado e Impacto

• Avance en la Teoría de Turbulencia: El trabajo proporciona un marco riguroso para entender la disipación de energía en fluidos ideales (sin viscosidad) bajo perturbaciones aleatorias. La existencia de soluciones que satisfacen la desigualdad de energía local es un paso crucial hacia la validación matemática de modelos de turbulencia.
• Desafío a la Hipótesis Ergódica: Al demostrar la no ergodicidad (múltiples medidas estacionarias para el mismo forzamiento), el artículo sugiere que la historia del sistema o la selección de la solución pueden depender de factores más allá del forzamiento promedio, lo cual es fundamental para la modelización estadística de la turbulencia.
• Extensión de Técnicas de Integración Convexa: El artículo es una extensión sofisticada de las técnicas de integración convexa al contexto estocástico y a la construcción de medidas ergódicas. Resuelve problemas técnicos significativos relacionados con la adaptación a la filtración estocástica y el manejo de términos de ruido en las estimaciones de energía.
• Conexión con el Límite de Viscosidad Cero: Los resultados apoyan la idea de que las soluciones de las ecuaciones de Navier-Stokes estocásticas, en el límite de viscosidad cero, pueden converger a diferentes medidas de Euler dependiendo de la selección de la solución, lo que complica la justificación matemática de la hipótesis ergódica en fluidos turbulentos.

En resumen, este trabajo establece que las ecuaciones de Euler 3D forzadas estocásticamente admiten una riqueza de comportamientos dinámicos y estadísticos, incluyendo soluciones disipativas no únicas y la ruptura de la unicidad ergódica, lo que tiene profundas implicaciones para la comprensión teórica de la turbulencia en fluidos ideales.