🔢 mathematics

On "discrete" solutions of the Euler system of gas dynamics

Este artículo identifica una clase específica de datos iniciales para el sistema de Euler de la dinámica de gases que genera infinitas soluciones débiles "discretas", caracterizadas por estados constantes finitos y perfiles de entropía crecientes que convergen a un estado terminal prescrito a medida que el tiempo tiende a infinito.

Autores originales: Anna Abbatiello, Eduard Feireisl

Publicado 2026-08-04

📖 7 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Anna Abbatiello, Eduard Feireisl

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 que estás intentando predecir el clima. Tienes un fluido gigante e invisible que llena el cielo —el aire— que se mueve, se arremolina y choca contra sí mismo. Los científicos tienen un conjunto de reglas, llamado el sistema de Euler, que describen cómo debería comportarse este fluido. Piensa en estas reglas como el manual de instrucciones definitivo para una danza perfecta y sin fricción. En esta danza, el aire no tiene viscosidad (pegajosidad) ni pérdida de calor; es un flujo puro e idealizado. Durante mucho tiempo, los matemáticos creyeron que si conocías la posición inicial de cada molécula de aire, estas reglas te dirían exactamente qué sucede después, para siempre. Era como creer que si sueltas una pelota, la física garantiza que rebotará de una manera específica y predecible.

Sin embargo, hay un inconveniente. En el mundo real, los fluidos pueden volverse desordenados. Pueden formar choques repentinos y violentos (como un estallido sónico) o arremolinarse en el caos. Cuando las cosas se vuelven así de salvajes, las reglas "perfectas" a veces fallan y las matemáticas se vuelven difusas. Aquí es donde entra el concepto de "soluciones débiles". En lugar de exigir una danza perfecta y suave para cada molécula, las soluciones débiles permiten un poco de rugosidad, siempre y cuando el balance general de energía y masa se mantenga. Pero aquí está el giro: descubrimientos recientes han demostrado que, para algunos puntos de partida, las matemáticas no solo se vuelven difusas; se vuelven caóticas de una manera muy específica. Resulta que para un enorme número de puntos de partida, las reglas no solo permiten un resultado, sino que permiten infinitos resultados diferentes, todos los cuales parecen seguir las leyes de la física. Es como si hubieras soltado esa pelota y las leyes de la física dijeran: "Podría rebotar a la izquierda, a la derecha, arriba, abajo, o convertirse en una mariposa, y todos esos caminos son igualmente válidos".

Este artículo se sumerge profundamente en ese patio de recreo caótico. Los autores, Anna Abbatiello y Eduard Feireisl, investigan un tipo especial de solución "salvaje" del sistema de Euler. No solo están demostrando que existen múltiples soluciones; están construyendo un tipo de solución muy específico, casi como piezas de Lego, que llaman "discreta". Imagina un fluido que no fluye suavemente como el agua en un río, sino que salta entre un número finito de estados distintos y congelados, como un personaje de un videojuego pixelado teletransportándose entre unos pocos puntos fijos. El artículo demuestra que, para un conjunto denso de condiciones iniciales (lo que significa que puedes encontrar estas condiciones en casi cualquier lugar que mires), puedes crear una familia infinita de estas soluciones "discretas". Más extrañamente, estas soluciones pueden hacerse para producir cada vez más entropía (desorden) a voluntad, o pueden ser forzadas a establecerse en un patrón específico de desorden a medida que pasa el tiempo. Los autores muestran que el sistema de Euler es "mal planteado" incluso cuando intentamos ser estrictos con la física; permite estos resultados extraños, no únicos y altamente controlables.

La historia del fluido "pixelado"

Vamos a desglosar lo que los autores encontraron realmente. Están trabajando con el sistema de Euler, que es el modelo matemático para un gas (como el aire) que no tiene fricción ni pérdida de calor. Normalmente, esperamos que si conocemos la densidad (qué tan compactado está el gas), el momento (qué tan rápido y en qué dirección se mueve) y la entropía (una medida del desorden o calor) al principio, el futuro esté determinado. Pero los autores muestran que, para una gran colección de puntos de partida, esto no es cierto.

Descubrieron una forma de construir soluciones que son "discretas". En el mundo real, los fluidos son continuos; cambian suavemente. Pero estas soluciones son como una imagen digital hecha de píxeles. El gas no fluye suavemente; en su lugar, existe en un número finito de estados constantes. Imagina una habitación llena de gas. En un escenario normal, el gas podría arremolinarse suavemente. En estas soluciones "discretas", el gas en una esquina está de repente en el Estado A (una densidad y velocidad específicas), y en la esquina siguiente, está en el Estado B. No se mezcla; simplemente es una cosa o la otra. Los autores demostraron que, para un conjunto denso de condiciones iniciales, puedes crear un número infinito de estos escenarios pixelados.

Aquí está la parte realmente asombrosa: estas soluciones no son solo aleatorias. Los autores pueden controlarlas. Mostraron que puedes crear una familia de estas soluciones donde la cantidad de desorden (entropía) sigue aumentando. Es como tener una máquina que puede generar infinitas versiones diferentes de una película, donde en una versión los personajes se vuelven un poco más desordenados, en la siguiente se vuelven aún más desordenados, y así sucesivamente, todo mientras se obedecen estrictamente las leyes de la física.

Además, mostraron que puedes forzar estas soluciones a terminar en un estado "terminal" específico. Imagina que quieres que el gas se asiente en un patrón de desorden muy específico para cuando el reloj marque cierto tiempo. Los autores demostraron que puedes construir una solución que haga exactamente eso, sin importar cuán complejo sea el patrón final (siempre que sea una función "Riemann integrable", que es una forma elegante de decir que es un patrón que se puede medir).

Por qué esto importa (y por qué es extraño)

Los autores están diciendo esencialmente que el sistema de Euler es "mal planteado". En el lenguaje matemático, "bien planteado" significa que tienes una solución única que depende adecuadamente de los datos iniciales. "Mal planteado" significa que las reglas están rotas. El artículo demuestra que, incluso si añadimos la regla de que "la entropía debe aumentar" (que es la Segunda Ley de la Termodinámica, la regla que dice que las cosas se vuelven más desordenadas con el tiempo), el sistema todavía permite infinitos futuros diferentes.

Esto es algo importante porque desafía nuestra comprensión de cómo se comportan los fluidos. Si las matemáticas permiten infinitas posibilidades, ¿cómo sabemos cuál es la "real"? Los autores señalan que estas soluciones "discretas" probablemente no son lo que sucede en el mundo real. Son "patológicas", es decir, son monstruos matemáticos. Tienen propiedades extrañas, como que la densidad del gas permanece exactamente igual para siempre mientras la velocidad salta de un lado a otro, o que el gas de repente se detiene y arranca de una manera que parece antinatural.

El artículo también toca la idea de la "admisibilidad". Los científicos han intentado crear reglas para elegir la solución "real" entre las infinitas falsas. Por ejemplo, DiPerna y Dafermos sugirieron que la solución "real" debería ser aquella que produce más entropía lo más rápido posible. Los autores muestran que sus soluciones "discretas" fallan esta prueba. Siempre puedes encontrar otra solución que produzca aún más entropía. Esto sugiere que estas soluciones discretas son, en efecto, no físicas, pero su existencia demuestra que las reglas actuales que usamos para filtrarlas no son lo suficientemente fuertes como para garantizar una única respuesta.

La conclusión

Entonces, ¿cuál es la conclusión fundamental? Los autores han construido una máquina matemática que puede generar infinitas soluciones pixeladas y no únicas a las ecuaciones de flujo de gas. Estas soluciones pueden ajustarse para producir más y más desorden o para asentarse en un patrón final específico. Aunque estas soluciones probablemente no son lo que vemos en la naturaleza (son demasiado rígidas y extrañas), su existencia demuestra que el sistema de Euler está fundamentalmente roto en el sentido de que no tiene una respuesta única, incluso cuando intentamos ser muy estrictos con las leyes de la física. Es un recordatorio de que en el mundo de las matemáticas, a veces las reglas permiten un universo de posibilidades, y encontrar la "real" requiere más que solo las leyes básicas del movimiento y la energía. El artículo no dice que no podamos predecir el clima; dice que si dependemos solo de las ecuaciones de Euler, las matemáticas mismas dicen: "No sé hacia dónde soplará el viento, porque puedo hacer que sople de un millón de maneras diferentes, y todas parecen correctas".

Resumen Técnico: Sobre las soluciones "discretas" del sistema de Euler de la dinámica de gases

1. Planteamiento del problema y contexto
El artículo aborda el problema de la buena formulación (well-posedness) para el sistema de Euler de la dinámica de gases, un modelo fundamental que describe la evolución temporal de fluidos compresibles e inviscosos. Si bien el sistema es localmente bien formulado para datos iniciales con suficiente regularidad, se sabe que la teoría de las soluciones débiles (específicamente las admisibles por entropía) es mal formulada en el entorno multidimensional. Trabajos previos de De Lellis, Székelyhidi y otros, utilizando el método de la Integración Convexa, han demostrado la existencia de datos iniciales "salvajes" —densos en la topología $L^p$ — que generan infinitas soluciones débiles admisibles por la entropía.

El problema específico abordado en este trabajo es la caracterización de una clase de estas soluciones no únicas que son "discretas". Una solución se denomina discreta si las variables de estado (densidad $\varrho$ , momento $\mathbf{m}$ y entropía $s$ ) alcanzan solo un número finito de valores constantes dentro del dominio espacio-temporal. Los autores pretenden extender los resultados obtenidos previamente para el sistema de Euler isentrópico (barotrópico) por Luo, Xie y Xin al sistema de Euler completo, construyendo además familias de soluciones con tasas de producción de entropía específicas y comportamientos terminales prescritos.

2. Metodología
La metodología central se basa en la técnica de Integración Convexa, adaptada al sistema de Euler completo. El enfoque implica los siguientes pasos:

Reformulación: Los autores reformulan el problema fijando la densidad $\varrho$ y la entropía $s$ para que sean escalares constantes por partes sobre una descomposición finita del dominio espacial $\Omega = \bigcup_{n=1}^N \Omega_n$ . Esto reduce el sistema a la búsqueda de un campo de momento $\mathbf{m}$ que satisfaga el balance de momento y una restricción de energía cinética específica en cada subdominio $\Omega_n$ .
Reducción a un sistema de tipo incompresible: Al fijar $\varrho$ y $s$ , la ecuación de momento se transforma en un sistema que se asemeja a las ecuaciones de Euler incompresibles con un término de presión específico. La restricción sobre la energía cinética está vinculada a una constante $\Lambda$ y a la presión $p(\varrho, s)$ .
Aplicación de la Integración Convexa Discreta: Los autores adaptan un resultado de Luo, Xie y Xin [17] al problema transformado. Este resultado garantiza la existencia de infinitas soluciones débiles al sistema reducido donde el momento $\mathbf{m}$ toma valores de un conjunto finito de vectores constantes $\{\mathbf{m}^\ell_n\}$ en cada subdominio. Estos vectores se eligen de tal manera que su envolvente convexa contiene el origen en un espacio de fase específico, satisfaciendo las condiciones de subsolución necesarias.
Concatenación y producción de entropía: Para generar soluciones con entropía creciente, los autores dividen el intervalo de tiempo $(0, T)$ en segmentos. En los puntos de unión, el momento se restablece a cero (continuidad débil) para permitir la concatenación. El aumento de la entropía se logra no solo mediante la desaparición del momento, sino seleccionando un nuevo perfil de entropía más alto $s_{new} > s_{old}$ para el segmento subsecuente y ajustando la constante de energía $\Lambda$ para satisfacer el balance de energía global. Este proceso produce una solución donde la tasa de producción de entropía es positiva en las uniones.
Refinamiento recursivo para perfiles terminales: Para lograr un perfil de entropía terminal prescrito, los autores emplean un refinamiento recursivo de la descomposición espacial a medida que el tiempo se aproxima al infinito. Al elegir entropías iniciales constantes por partes sobre particiones cada vez más finas que aproximan una función objetivo de Riemann integrable, construyen una secuencia de soluciones que converge al perfil deseado.

3. Contribuciones clave y resultados

El artículo establece la existencia de soluciones "discretas" para el sistema de Euler completo bajo los siguientes teoremas principales:

Teorema 2.3 (Soluciones discretas con entropía creciente): Para un conjunto denso de densidades y entropías iniciales $(\varrho_0, s_0)$ , existe un momento inicial $\mathbf{m}_0$ tal que el sistema de Euler admite infinitas soluciones débiles admisibles. Estas soluciones son discretas (alcanzan estados constantes finitos) y poseen perfiles de entropía total estrictamente crecientes. Específicamente, para parámetros distintos $\lambda_1 < \lambda_2$ , la entropía total de la solución correspondiente a $\lambda_2$ es estrictamente mayor que la de $\lambda_1$ .
Teorema 2.6 (Soluciones discretas con energía cinética inicial prescrita): El resultado se extiende a casos donde la densidad inicial $\varrho_0$ y el perfil de energía cinética inicial $E_{0,kin}$ están prescritos. Existen infinitas soluciones discretas para un conjunto denso de estos datos iniciales.
Corolario 2.7 (Soluciones discretas con energía total prescrita): Bajo restricciones específicas de dimensión y constante adiabática ( $d=2$ o $d=3, \gamma < 5/3$ ), se muestra la existencia de soluciones discretas para perfiles de densidad y energía total iniciales prescritos.
Teorema 2.9 (Soluciones discretas con entropía terminal prescrita): Para un gas monoatómico ( $\gamma = 5/3$ ) en 3D, los autores muestran que para un conjunto denso de datos iniciales, existe una solución que converge fuertemente en $L^q$ a un perfil de entropía terminal $e_s$ cuando $t \to T$ . Si $e_s$ es constante por partes, la solución permanece discreta durante todo el tiempo.
Comportamiento a largo plazo (Teoremas 6.1 y 6.3): El artículo demuestra que las soluciones construidas pueden hacerse periódicas en el tiempo o pueden converger asintóticamente a un estado de equilibrio ( $\mathbf{m}=0$ ) con tasas de convergencia arbitrarias.

4. Significancia y admisibilidad

El artículo destaca que estas soluciones "discretas", aunque son soluciones débiles matemáticamente válidas y admisibles por la entropía, exhiben propiedades "patológicas":

No maximalidad: Las soluciones no son maximales con respecto a los criterios de selección propuestos por DiPerna (basados en el orden de la entropía total) o Dafermos (basados en la tasa de producción de entropía). La construcción permite la creación de soluciones "mayores" con tasas de producción de entropía más altas, lo que implica que estas soluciones discretas son probablemente no físicas.
Mal formulación (Ill-posedness): Los resultados refuerzan la mala formulación del sistema de Euler en la clase de soluciones débiles admisibles por la entropía, mostrando que incluso con la restricción de estados discretos, la unicidad falla.
Soluciones de valor medido: Los autores señalan que las combinaciones convexas de estas soluciones discretas proporcionan ejemplos de soluciones de valor medido que también alcanzan un número finito de estados constantes.

5. Conclusión

El artículo extiende con éxito la teoría de las soluciones discretas del sistema de Euler isentrópico al sistema de Euler completo. Al combinar la integración convexa con ansatzes específicos para la densidad y la entropía, los autores construyen una rica familia de soluciones no únicas. El trabajo subraya que la desigualdad de la entropía por sí sola es insuficiente para seleccionar una solución física única, ya que se pueden construir soluciones que sean discretas, satisfagan todas las leyes de conservación y, sin embargo, fallen los criterios estándar de maximalidad para la producción de entropía. Los resultados se presentan como una ilustración adicional de la complejidad y la mala formulación inherentes a las ecuaciones de Euler multidimensionales.

La historia del fluido "pixelado"

Por qué esto importa (y por qué es extraño)

La conclusión

Más como este