Variational formulation of hyperbolic conservation laws

Sintesi Tecnica: Formulazione Variazionale delle Leggi di Conservazione Iperboliche

Enunciato del Problema
Il lavoro affronta una domanda fondamentale posta da K. O. Friedrichs riguardo all'origine della simmetria nei sistemi di leggi di conservazione iperboliche. Mentre Friedrichs e Lax hanno stabilito che l'esistenza di una funzione entropia strettamente convessa implica che il sistema possa essere simmetrizzato (cioè, le matrici jacobiane possono essere simmetrizzate dall'hessiano dell'entropia), Friedrichs si chiese se questa simmetria fosse una proprietà intrinseca che può essere derivata dalle stesse leggi di conservazione, piuttosto che un'assunzione imposta al sistema. Ciò è particolarmente rilevante per sistemi con $N \geq 3$ equazioni, dove la condizione di simmetria costituisce un sistema sovradeterminato per l'hessiano dell'entropia, e le funzioni entropia non esistono sempre (ad esempio, sistemi "completamente non conservativi").

Inoltre, il lavoro investiga la selezione di soluzioni deboli fisicamente rilevanti. Mentre la disuguaglianza entropica ($\eta_t + \nabla \cdot q_\eta \leq 0$) funge da criterio di selezione per leggi scalari e sistemi 1D, essa non garantisce l'unicità nei sistemi multidimensionali ($N \geq 2$). Dafermos propose un principio di "Massima Produzione di Entropia" (MaxEnt) come criterio di selezione più forte, ma esistono controesempi in cui anche questo principio fallisce nel produrre una soluzione unica. Il lavoro cerca di riformulare il problema per derivare simultaneamente la funzione entropia e il principio MaxEnt da un quadro variazionale.

Metodologia
L'autore introduce una formulazione variazionale basata su un funzionale d'azione $I_\eta(u)$ definito su uno spazio di funzioni di stato $u$ e su un insieme di osservabili $\eta$.

1. Soluzioni Variazionali: Una coppia $(\eta, u)$ è definita soluzione variazionale se $u$ è un minimizzatore del funzionale d'azione $I_\eta$ tra tutti gli stati ammissibili. Il funzionale d'azione è dato da:
   $$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$$
   Qui, l'integrando coinvolge prodotti non conservativi (a causa di potenziali discontinuità in $u$), interpretati nel senso di Dal Maso, LeFloch e Murat (DLM) utilizzando un percorso specifico $\phi$.

2. Derivazione della Simmetria: Il lavoro considera due tipi di perturbazioni:

   • Perturbazioni lineari dell'osservabile ($\eta_c = \eta + \langle c, u \rangle$): Richiedere che l'azione sia minimizzata rispetto a queste perturbazioni forza $u$ a soddisfare le leggi di conservazione nel senso debole.
   • Perturbazioni locali lisce dello stato ($u + \delta u$): Richiedere che l'azione sia stazionaria rispetto a queste perturbazioni porta alla condizione:
     $$D^2\eta(u) A_j(u) = A_j(u)^\top D^2\eta(u)$$
     Questa è precisamente la condizione di simmetrizzabilità. Pertanto, l'esistenza di una funzione entropia è derivata come condizione necessaria per la stazionarietà del principio variazionale, anziché essere assunta a priori.

3. Derivazione della Disuguaglianza Entropica e MaxEnt: Limitando l'insieme degli osservabili a quelli che soddisfano la condizione di simmetrizzabilità (cioè, le funzioni entropia), il funzionale d'azione si semplifica nella variazione totale dell'entropia più il flusso al contorno. La proprietà di minimizzazione della soluzione variazionale implica quindi che la soluzione minimizzi il tasso di produzione di entropia (o massimizzi la dissipazione di entropia) rispetto alle perturbazioni locali. Ciò produce una versione locale del principio MaxEnt di Dafermos direttamente dalla formulazione variazionale.

Contributi e Risultati Chiave

• Derivazione dell'Entropia: Il lavoro risponde alla domanda di Friedrichs mostrando che, per sistemi che ammettono una soluzione variazionale, la funzione entropia non è un'assunzione esterna ma un oggetto estremo derivato dal principio variazionale. L'hessiano della funzione entropia è mostrato essere il simmetrizzatore delle matrici jacobiane del sistema.
• Classificazione dei Sistemi: La formulazione distingue tra "sistemi entropici" (che ammettono un insieme non vuoto di osservabili/entropie e quindi soluzioni variazionali) e "sistemi non entropici" (dove l'insieme degli osservabili è vuoto e non esiste alcuna soluzione variazionale).
• Principio MaxEnt Locale: Il lavoro dimostra che il principio variazionale implica una versione locale del criterio MaxEnt di Dafermos. Nello specifico, una soluzione variazionale minimizza il tasso locale di produzione di entropia tra tutte le soluzioni deboli che coincidono con la soluzione fino a un certo tempo.
• Limitazioni sull'Unicità: Il lavoro riconosce che, sebbene la formulazione variazionale fornisca un quadro rigoroso per derivare l'entropia e il principio MaxEnt, non risolve automaticamente il problema dell'unicità per i sistemi multidimensionali. Cita lavori recenti (ad esempio, De Lellis, Székelyhidi, Chiodaroli, ecc.) che mostrano come anche il principio MaxEnt fallisca nel selezionare una soluzione unica per certi dati iniziali nelle equazioni di Eulero isentropiche. Si nota che la formulazione variazionale è più restrittiva del criterio MaxEnt locale, ma l'esistenza di uno spazio adatto di perturbazioni $W$ che garantisca l'unicità rimane una questione aperta.

Significato
Il lavoro rivendica importanza nel fornire un quadro teorico unificato che:

1. Deriva la Simmetria: Sposta lo status dell'entropia da un vincolo fisico imposto a una conseguenza matematica di un principio variazionale, affrontando l'indagine di Friedrichs sull'origine della simmetria.
2. Unifica i Principi di Selezione: Collega il concetto di soluzioni deboli, l'esistenza di funzioni entropia e il criterio di selezione MaxEnt all'interno di un'unica struttura variazionale.
3. Chiarisce la Portata: Delimita esplicitamente la classe di sistemi per cui una tale formulazione è possibile (sistemi entropici) e mette in luce i limiti dei principi di selezione attuali nel garantire l'unicità per le leggi di conservazione iperboliche multidimensionali.

Il lavoro è presentato come un passo verso una comprensione più profonda della struttura matematica delle leggi di conservazione iperboliche, onorando l'eredità di Peter Lax e il lavoro fondamentale di Friedrichs, pur riconoscendo che lo "scandalo scientifico" della non unicità nei flussi comprimibili multidimensionali rimane una sfida aperta.