Variational formulation of hyperbolic conservation laws

Resumen Técnico: Formulación Variacional de Leyes de Conservación Hiperbólicas

Planteamiento del Problema
El artículo aborda una pregunta fundamental planteada por K. O. Friedrichs sobre el origen de la simetría en sistemas de leyes de conservación hiperbólicas. Mientras que Friedrichs y Lax establecieron que la existencia de una función de entropía estrictamente convexa implica que el sistema puede simetrizarse (es decir, que las matrices jacobianas pueden simetrizarse mediante el hessiano de la entropía), Friedrichs cuestionó si esta simetría es una propiedad intrínseca que puede derivarse de las propias leyes de conservación, en lugar de ser una asunción impuesta al sistema. Esto es particularmente relevante para sistemas con $N \geq 3$ ecuaciones, donde la condición de simetría constituye un sistema sobredeterminado para el hessiano de la entropía, y las funciones de entropía no siempre existen (por ejemplo, en sistemas "completamente no conservativos").

Además, el artículo investiga la selección de soluciones débiles físicamente relevantes. Si bien la desigualdad de entropía ($\eta_t + \nabla \cdot q_\eta \leq 0$) sirve como criterio de selección para leyes escalares y sistemas unidimensionales, no garantiza la unicidad en sistemas multidimensionales ($N \geq 2$). Dafermos propuso un principio de "Máxima Producción de Entropía" (MaxEnt) como un criterio de selección más fuerte, pero existen contraejemplos donde este principio tampoco logra obtener una solución única. El artículo busca reformular el problema para derivar simultáneamente la función de entropía y el principio MaxEnt a partir de un marco variacional.

Metodología
El autor introduce una formulación variacional basada en un funcional de acción $I_\eta(u)$ definido sobre un espacio de funciones de estado $u$ y un conjunto de observables $\eta$.

1. Soluciones Variacionales: Un par $(\eta, u)$ se define como una solución variacional si $u$ es un minimizador del funcional de acción $I_\eta$ entre todos los estados admisibles. El funcional de acción viene dado por:
   $$I_\eta(u) = \int_{t_1}^{t_2} \int_\Omega \langle \nabla \eta(u), u_t + \sum_{j=1}^d f_j(u)_{x_j} \rangle_\phi \, dx \, dt$$
   Aquí, el integrando involucra productos no conservativos (debido a posibles discontinuidades en $u$), interpretados en el sentido de Dal Maso, LeFloch y Murat (DLM) utilizando una trayectoria específica $\phi$.

2. Derivación de la Simetría: El artículo considera dos tipos de perturbaciones:

   • Perturbaciones lineales del observable ($\eta_c = \eta + \langle c, u \rangle$): Exigir que la acción sea minimizada con respecto a estas perturbaciones fuerza a que $u$ satisfaga las leyes de conservación en sentido débil.
   • Perturbaciones suaves locales del estado ($u + \delta u$): Exigir que la acción sea estacionaria con respecto a estas perturbaciones conduce a la condición:
     $$D^2\eta(u) A_j(u) = A_j(u)^\top D^2\eta(u)$$
     Esta es precisamente la condición de simetrizabilidad. Por lo tanto, la existencia de una función de entropía se deriva como una condición necesaria para la estacionariedad del principio variacional, en lugar de asumirse a priori.

3. Derivación de la Desigualdad de Entropía y MaxEnt: Al restringir el conjunto de observables a aquellos que satisfacen la condición de simetrizabilidad (es decir, funciones de entropía), el funcional de acción se simplifica al cambio total de entropía más el flujo de frontera. La propiedad de minimización de la solución variacional implica entonces que la solución minimiza la tasa de producción de entropía (o maximiza la disipación de entropía) con respecto a perturbaciones locales. Esto produce una versión local del principio MaxEnt de Dafermos directamente desde la formulación variacional.

Contribuciones y Resultados Clave

• Derivación de la Entropía: El artículo responde a la pregunta de Friedrichs mostrando que, para sistemas que admiten una solución variacional, la función de entropía no es una asunción externa, sino un objeto extremo derivado del principio variacional. Se demuestra que el hessiano de la función de entropía es el simetrizador de los jacobianos del sistema.
• Clasificación de Sistemas: La formulación distingue entre "sistemas entrópicos" (que admiten un conjunto no vacío de observables/entropías y, por tanto, soluciones variacionales) y "sistemas no entrópicos" (donde el conjunto de observables está vacío y no existe solución variacional).
• Principio MaxEnt Local: El artículo demuestra que el principio variacional implica una versión local del criterio MaxEnt de Dafermos. Específicamente, una solución variacional minimiza la tasa local de producción de entropía entre todas las soluciones débiles que coinciden con la solución hasta cierto tiempo.
• Limitaciones en la Unicidad: El artículo reconoce que, si bien la formulación variacional proporciona un marco riguroso para derivar la entropía y el principio MaxEnt, no resuelve automáticamente el problema de unicidad para sistemas multidimensionales. Cita trabajos recientes (por ejemplo, De Lellis, Székelyhidi, Chiodaroli, etc.) que muestran que incluso el principio MaxEnt falla al seleccionar una solución única para ciertos datos iniciales en las ecuaciones de Euler isentrópicas. Se señala que la formulación variacional es más restrictiva que el criterio MaxEnt local, pero la existencia de un espacio adecuado de perturbaciones $W$ que garantice la unicidad sigue siendo una pregunta abierta.

Significado
El artículo reivindica su importancia al proporcionar un marco teórico unificado que:

1. Deriva la Simetría: Cambia el estatus de la entropía de una restricción física impuesta a una consecuencia matemática de un principio variacional, abordando la indagación de Friedrichs sobre el origen de la simetría.
2. Unifica Principios de Selección: Conecta el concepto de soluciones débiles, la existencia de funciones de entropía y el criterio de selección MaxEnt dentro de una única estructura variacional.
3. Clarifica el Alcance: Delimita explícitamente la clase de sistemas para los cuales es posible dicha formulación (sistemas entrópicos) y destaca las limitaciones de los principios de selección actuales para garantizar la unicidad en leyes de conservación hiperbólicas multidimensionales.

El trabajo se presenta como un paso hacia una comprensión más profunda de la estructura matemática de las leyes de conservación hiperbólicas, honrando el legado de Peter Lax y el trabajo fundamental de Friedrichs, mientras se reconoce que el "escándalo científico" de la no unicidad en flujos compresibles multidimensionales sigue siendo un desafío abierto.