Equivalence of entropy solutions and gradient flows for pressureless 1D Euler systems

Resumen Técnico: Equivalencia de Soluciones de Entropía y Flujos de Gradiente para Sistemas Euler 1D Sin Presión

Planteamiento del Problema
El artículo investiga las soluciones distribucionales para el problema de Cauchy del sistema Euler unidimensional sin presión:
$$\partial_t\rho + \partial_x(\rho v) = 0, \quad \partial_t(\rho v) + \partial_x(\rho v^2) = f[\rho],$$
donde $\rho$ es una medida de probabilidad con momentos de segundo orden acotados y $v$ es un campo de velocidades. El término de forzamiento $f[\rho]$ es generado por el propio fluido, con atención específica al sistema Euler–Poisson (atractivo o repulsivo) y a sistemas con confinamiento cuadrático y amortiguamiento lineal. Un desafío central en este campo es la formación de singularidades (concentración de masa o "blow-up") donde las soluciones clásicas se rompen. El artículo aborda la necesidad de extender las soluciones más allá de estas singularidades y de establecer una continuación única y físicamente relevante.

Se han desarrollado dos marcos distintos de soluciones para tales sistemas:

1. Soluciones Lagrangianas: Introducidas por Brenier, Gangbo, Savaré y Westdickenberg [7], se formulan como flujos de gradiente $L^2$ en el espacio de medidas de probabilidad, utilizando mapas de transporte óptimo e inclusiones diferenciales involucrando conos normales.
2. Soluciones de Entropía: Estudiadas por Nguyen y Tudorascu [36, 37] para el sistema Euler–Poisson, se definen mediante leyes de conservación escalares para la función de distribución acumulativa, apoyándose en la condición E de Oleĭnik para la admisibilidad.

Si bien ambos marcos producen soluciones únicas bajo supuestos específicos, su equivalencia no había sido establecida rigurosamente para el sistema Euler de segundo orden general, particularmente en presencia de concentración de masa y fuerzas repulsivas donde las trayectorias de las partículas pueden cruzarse o separarse.

Metodología
Los autores establecen la equivalencia entre estos dos conceptos construyendo una correspondencia directa entre las estructuras geométricas que gobiernan cada marco. El núcleo de la metodología consiste en:

1. Transformación de Variables:

   • Para las soluciones lagrangianas, la variable principal es el mapa de transporte óptimo $X(t, m)$, una función no decreciente que lleva la medida de Lebesgue a $\rho(t)$.
   • Para las soluciones de entropía, la variable principal es la función de distribución $M(t, x)$, la inversa por la derecha de $X$.

2. Correspondencia Geométrica:
   El artículo demuestra que los mecanismos que seleccionan soluciones únicas en ambos marcos son matemáticamente idénticos:

   • Admisibilidad de Choques: Se demuestra que la condición de que la velocidad del mapa de transporte $\dot{X}$ sea la proyección $L^2$ de la velocidad prescrita $U$ sobre el cono tangente del cono de funciones no decrecientes ($\dot{X} = P_{TXK}U$) es equivalente a la condición de Rankine–Hugoniot para choques en la función de distribución $M$.
   • Principio de Selección: Se prueba que el requisito de que el residuo $U - \dot{X}$ pertenezca al cono normal $N_{X}K$ (asegurando que la solución permanezca dentro del cono admisible) es equivalente a la condición E de Oleĭnik para la ley de conservación escalar que gobierna $M$. Esta equivalencia se basa en una caracterización del cono normal debida a Natile y Savaré [35].

3. Derivación de la Función de Flujo:
   Los autores derivan una ley de conservación escalar $\partial_t M + \partial_x U(t, M) = 0$, donde la función de flujo $U(t, M)$ es la primitiva de la velocidad prescrita de la formulación lagrangiana. Utilizan resultados de Golovaty y Nguyen [24] para manejar funciones de flujo que no son continuas de Lipschitz, lo cual es necesario para el sistema Euler–Poisson.

Contribuciones Clave y Resultados

• Teorema de Equivalencia: El resultado principal es la prueba de que las soluciones lagrangianas y las soluciones de entropía son equivalentes para el sistema Euler 1D sin presión. Específicamente, una solución lagrangiana $X$ genera una solución de entropía $M$ (su inversa generalizada), y viceversa. Esto se sostiene para términos de forzamiento generales $f[\rho]$ que satisfacen condiciones específicas de acotación y continuidad, incluyendo el sistema Euler–Poisson.
• Extensión Más Allá del Blow-up: La equivalencia permite a los autores definir soluciones únicas para sistemas donde las soluciones clásicas se rompen.
  • Sistema Euler–Poisson Repulsivo: El artículo establece que para fuerzas repulsivas ($\alpha < 0$), la masa puede concentrarse inicialmente pero eventualmente se difundirá. El concepto de solución de entropía proporciona un marco riguroso para describir este comportamiento, confirmando que las partículas que colisionan debido a velocidades iniciales "supercríticas" se separarán, un comportamiento dictado por la condición E de Oleĭnik.
  • Sistemas con Amortiguamiento y Confinamiento: Para el sistema con amortiguamiento lineal y confinamiento cuadrático (estudiado en [14]), los autores prueban la existencia de soluciones de entropía definidas globalmente. Demuestran que, independientemente de si ocurre concentración de masa, el sistema converge asintóticamente a una distribución de masa uniforme con velocidad cero.
• Disipación de Energía y Fisicidad: A través de ejemplos de dinámica de partículas (Secciones 6 y 7), el artículo ilustra que la solución de entropía/lagrangiana es la continuación única "física". En casos repulsivos, las soluciones alternativas "pegajosas" (donde las partículas permanecen pegadas tras la colisión) violan la condición E de Oleĭnik y resultan en aumentos no físicos de energía. La solución de entropía asegura que la energía sea no creciente.
• Estabilidad Asintótica: El artículo prueba que, para sistemas amortiguados, la solución converge exponencialmente rápido a un estado de equilibrio en la métrica $T_2$. Para sistemas sin amortiguamiento, se establece un resultado de estabilidad de Lyapunov, mostrando que las soluciones permanecen cerca si los datos iniciales están cerca.

Significancia y Reivindicaciones
El artículo afirma que la equivalencia de estos conceptos de solución es fundamental para comprender el comportamiento a largo plazo de los sistemas Euler sin presión. Al vincular el enfoque geométrico de flujo de gradiente $L^2$ con el enfoque analítico de la solución de entropía, los autores proporcionan un marco unificado que:

1. Resuelve ambigüedades en la continuación de la solución tras la formación de singularidades, particularmente en regímenes repulsivos donde las partículas pueden colisionar y separarse.
2. Generaliza resultados previos de ecuaciones de agregación de primer orden (por ejemplo, [4]) a sistemas de segundo orden.
3. Proporciona una base rigurosa para estudiar sistemas con amortiguamiento y confinamiento más allá de la vida útil de las soluciones clásicas.

Los autores enfatizan que el entorno unidimensional es esencial para esta equivalencia debido a la relación única entre los mapas de transporte óptimo y las funciones de distribución (inversas generalizadas) y el ordenamiento de las partículas. Señalan que generalizar estos resultados a dimensiones superiores es poco probable de una manera ingenua. El trabajo sirve para unificar la intuición de "partículas pegajosas" con la teoría rigurosa de las leyes de conservación, ofreciendo una herramienta robusta para analizar la compleja dinámica de partículas en modelos de fluidos.