Variational formulation of hyperbolic conservation laws

Technische Samenvatting: Variatievormulering van Hyperbolische Behoudswetten

Probleemstelling
Het artikel behandelt een fundamentele vraag die door K. O. Friedrichs werd gesteld over de oorsprong van symmetrie in systemen van hyperbolische behoudswetten. Hoewel Friedrichs en Lax hebben vastgesteld dat het bestaan van een strikt convexe entropiefunctie impliceert dat het systeem gesymmetriseerd kan worden (d.w.z. dat de Jacobiaan-matrices gesymmetriseerd kunnen worden door de Hessiaan van de entropie), stelde Friedrichs de vraag of deze symmetrie een intrinsieke eigenschap is die afgeleid kan worden uit de behoudswetten zelf, in plaats van een aanname die aan het systeem wordt opgelegd. Dit is met name relevant voor systemen met $N \geq 3$ vergelijkingen, waarbij de symmetrievoorwaarde een overbepaald systeem vormt voor de Hessiaan van de entropie, en entropiefuncties niet altijd bestaan (bijvoorbeeld bij "volledig niet-conservatieve" systemen).

Bovendien onderzoekt het artikel de selectie van fysisch relevante zwakke oplossingen. Hoewel de entropie-ongelijkheid ($\eta_t + \nabla \cdot q_\eta \leq 0$) dient als selectiecriteria voor scalaire wetten en 1D-systemen, garandeert deze geen uniciteit in meerdimensionale systemen ($N \geq 2$). Dafermos stelde een "Maximum Entropy Production" (MaxEnt)-principe voor als een sterker selectiecriterium, maar er bestaan tegenvoorbeelden waarbij dit principe evenmin een unieke oplossing oplevert. Het artikel tracht het probleem te herformuleren om de entropiefunctie en het MaxEnt-principe gelijktijdig af te leiden uit een variatiekader.

Methodologie
De auteur introduceert een variatieformulering gebaseerd op een actiefunctionaal $I_\eta(u)$ gedefinieerd over een ruimte van toestandsfuncties $u$ en een verzameling observabelen $\eta$.

1. Variatieoplossingen: Een paar $(\eta, u)$ wordt gedefinieerd als een variatieoplossing als $u$ een minimaliserende oplossing is van de actiefunctionaal $I_\eta$ onder alle toelaatbare toestanden. De actiefunctionaal wordt gegeven door:
   $$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$$
   Hierbij bevat de integrand niet-conservatieve producten (vanwege mogelijke discontinuïteiten in $u$), geïnterpreteerd in de zin van Dal Maso, LeFloch en Murat (DLM) met behulp van een specifiek pad $\phi$.

2. Afleiding van Symmetrie: Het artikel beschouwt twee soorten perturbaties:

   • Lineaire perturbaties van de observabele ($\eta_c = \eta + \langle c, u \rangle$): Het vereisen dat de actie geminimaliseerd wordt ten opzichte van deze perturbaties dwingt $u$ om de behoudswetten in zwakke zin te voldoen.
   • Lokale gladde perturbaties van de toestand ($u + \delta u$): Het vereisen dat de actie stationair is ten opzichte van deze perturbaties leidt tot de voorwaarde:
     $$D^2\eta(u) A_j(u) = A_j(u)^\top D^2\eta(u)$$
     Dit is precies de symmetriseerbaarheidsvoorwaarde. Aldus wordt het bestaan van een entropiefunctie afgeleid als een noodzakelijke voorwaarde voor de stationariteit van het variatieprincipe, in plaats van a priori te worden aangenomen.

3. Afleiding van de Entropie-ongelijkheid en MaxEnt: Door de verzameling observabelen te beperken tot die welke voldoen aan de symmetriseerbaarheidsvoorwaarde (d.w.z. entropiefuncties), vereenvoudigt de actiefunctionaal zich tot de totale entropieverandering plus randflux. De minimaliserende eigenschap van de variatieoplossing impliceert dan dat de oplossing de entropieproductiesnelheid minimaliseert (of entropiedissipatie maximaliseert) ten opzichte van lokale perturbaties. Dit levert een lokale versie van Dafermos' MaxEnt-principe direct op uit de variatieformulering.

Belangrijkste Bijdragen en Resultaten

• Afleiding van Entropie: Het artikel beantwoordt Friedrichs' vraag door aan te tonen dat voor systemen die een variatieoplossing toelaten, de entropiefunctie geen externe aanname is, maar een extremale grootheid die uit het variatieprincipe wordt afgeleid. De Hessiaan van de entropiefunctie wordt aangetoond als de symmetrisator van de Jacobiaan-matrices van het systeem.
• Classificatie van Systemen: De formulering onderscheidt tussen "entropische systemen" (die een niet-lege verzameling observabelen/entropieën toelaten en dus variatieoplossingen) en "niet-entropische systemen" (waarbij de verzameling observabelen leeg is en geen variatieoplossing bestaat).
• Lokaal MaxEnt-principe: Het artikel demonstreert dat het variatieprincipe impliceert een lokale versie van Dafermos' MaxEnt-criterium. Specifiek minimaliseert een variatieoplossing de lokale entropieproductiesnelheid onder alle zwakke oplossingen die overeenkomen met de oplossing tot een bepaald tijdstip.
• Beperkingen inzake Uniciteit: Het artikel erkent dat hoewel de variatieformulering een rigoureus kader biedt voor het afleiden van entropie en het MaxEnt-principe, deze het uniciteitsprobleem voor meerdimensionale systemen niet automatisch oplost. Het citeert recent werk (bijvoorbeeld van De Lellis, Székelyhidi, Chiodaroli, enz.) dat aantoont dat zelfs het MaxEnt-principe faalt om een unieke oplossing te selecteren voor bepaalde beginwaarden in de isentrope Euler-vergelijkingen. De variatieformulering wordt opgemerkt als restrictiever dan het lokale MaxEnt-criterium, maar het bestaan van een geschikte ruimte van perturbaties $W$ die uniciteit garandeert, blijft een open vraag.

Betekenis
Het artikel claimt betekenis door een verenigd theoretisch kader te bieden dat:

1. Symmetrie Afleidt: Het verschuift de status van entropie van een opgelegde fysische beperking naar een wiskundig gevolg van een variatieprincipe, waarmee Friedrichs' vraag naar de oorsprong van symmetrie wordt beantwoord.
2. Selectieprincipes Verenigt: Het verbindt het concept van zwakke oplossingen, het bestaan van entropiefuncties en het MaxEnt-selectiecriterium binnen een enkele variatiestructuur.
3. Het Bereik Verduidelijkt: Het schetst expliciet de klasse van systemen waarvoor een dergelijke formulering mogelijk is (entropische systemen) en benadrukt de beperkingen van huidige selectieprincipes om uniciteit te waarborgen voor meerdimensionale hyperbolische behoudswetten.

Het werk wordt gepresenteerd als een stap naar een dieper begrip van de wiskundige structuur van hyperbolische behoudswetten, ter ere van het nalatenschap van Peter Lax en het fundamentele werk van Friedrichs, terwijl wordt erkend dat de "wetenschappelijke schandaal" van non-uniciteit in meerdimensionale comprimeerbare stromingen een open uitdaging blijft.