Variational formulation of hyperbolic conservation laws

Resumo Técnico: Formulação Variacional das Leis de Conservação Hiperbólicas

Enunciação do Problema
O artigo aborda uma questão fundamental levantada por K. O. Friedrichs sobre a origem da simetria em sistemas de leis de conservação hiperbólicas. Embora Friedrichs e Lax tenham estabelecido que a existência de uma função entropia estritamente convexa implica que o sistema pode ser simetrizado (ou seja, as matrizes jacobianas podem ser simetrizadas pelo hessiano da entropia), Friedrichs questionou se essa simetria é uma propriedade intrínseca que pode ser derivada das próprias leis de conservação, em vez de uma hipótese imposta ao sistema. Isso é particularmente relevante para sistemas com $N \geq 3$ equações, onde a condição de simetria constitui um sistema sobredeterminado para o hessiano da entropia, e funções de entropia nem sempre existem (por exemplo, sistemas "completamente não conservativos").

Além disso, o artigo investiga a seleção de soluções fracas fisicamente relevantes. Embora a desigualdade de entropia ($\eta_t + \nabla \cdot q_\eta \leq 0$) sirva como critério de seleção para leis escalares e sistemas unidimensionais, ela falha em garantir unicidade em sistemas multidimensionais ($N \geq 2$). Dafermos propôs um princípio de "Máxima Produção de Entropia" (MaxEnt) como um critério de seleção mais forte, mas existem contraexemplos onde esse princípio também falha em produzir uma solução única. O artigo busca reformular o problema para derivar a função de entropia e o princípio MaxEnt simultaneamente a partir de uma estrutura variacional.

Metodologia
O autor introduz uma formulação variacional baseada em um funcional de ação $I_\eta(u)$ definido sobre um espaço de funções de estado $u$ e um conjunto de observáveis $\eta$.

1. Soluções Variacionais: Um par $(\eta, u)$ é definido como uma solução variacional se $u$ for um minimizador do funcional de ação $I_\eta$ entre todos os estados admissíveis. O funcional de ação é 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$$
   Aqui, o integrando envolve produtos não conservativos (devido a potenciais descontinuidades em $u$), interpretados no sentido de Dal Maso, LeFloch e Murat (DLM) usando um caminho específico $\phi$.

2. Derivação da Simetria: O artigo considera dois tipos de perturbações:

   • Perturbações lineares do observável ($\eta_c = \eta + \langle c, u \rangle$): Exigir que a ação seja minimizada em relação a essas perturbações força $u$ a satisfazer as leis de conservação no sentido fraco.
   • Perturbações suaves locais do estado ($u + \delta u$): Exigir que a ação seja estacionária em relação a essas perturbações leva à condição:
     $$D^2\eta(u) A_j(u) = A_j(u)^\top D^2\eta(u)$$
     Esta é precisamente a condição de simetrizabilidade. Assim, a existência de uma função de entropia é derivada como uma condição necessária para a estacionariedade do princípio variacional, em vez de ser assumida a priori.

3. Derivação da Desigualdade de Entropia e do MaxEnt: Ao restringir o conjunto de observáveis àqueles que satisfazem a condição de simetrizabilidade (ou seja, funções de entropia), o funcional de ação simplifica-se para a variação total de entropia mais o fluxo de fronteira. A propriedade de minimização da solução variacional implica então que a solução minimiza a taxa de produção de entropia (ou maximiza a dissipação de entropia) em relação a perturbações locais. Isso produz uma versão local do princípio MaxEnt de Dafermos diretamente a partir da formulação variacional.

Contribuições e Resultados Principais

• Derivação da Entropia: O artigo responde à questão de Friedrichs mostrando que, para sistemas que admitem uma solução variacional, a função de entropia não é uma hipótese externa, mas um objeto extremo derivado do princípio variacional. O hessiano da função de entropia é mostrado como o simetrizador dos jacobianos do sistema.
• Classificação de Sistemas: A formulação distingue entre "sistemas entrópicos" (que admitem um conjunto não vazio de observáveis/entropias e, portanto, soluções variacionais) e "sistemas não entrópicos" (onde o conjunto de observáveis é vazio e nenhuma solução variacional existe).
• Princípio MaxEnt Local: O artigo demonstra que o princípio variacional implica uma versão local do critério MaxEnt de Dafermos. Especificamente, uma solução variacional minimiza a taxa local de produção de entropia entre todas as soluções fracas que concordam com a solução até um certo tempo.
• Limitações quanto à Unicidade: O artigo reconhece que, embora a formulação variacional forneça um quadro rigoroso para derivar a entropia e o princípio MaxEnt, ela não resolve automaticamente o problema da unicidade para sistemas multidimensionais. Cita trabalhos recentes (por exemplo, De Lellis, Székelyhidi, Chiodaroli, etc.) mostrando que mesmo o princípio MaxEnt falha em selecionar uma solução única para certos dados iniciais nas equações de Euler isentrópicas. A formulação variacional é notada como mais restritiva do que o critério MaxEnt local, mas a existência de um espaço adequado de perturbações $W$ que garanta a unicidade permanece uma questão em aberto.

Significância
O artigo reivindica significância ao fornecer um quadro teórico unificado que:

1. Deriva a Simetria: Desloca o status da entropia de uma restrição física imposta para uma consequência matemática de um princípio variacional, abordando a indagação de Friedrichs sobre a origem da simetria.
2. Unifica Princípios de Seleção: Conecta o conceito de soluções fracas, a existência de funções de entropia e o critério de seleção MaxEnt dentro de uma única estrutura variacional.
3. Clarifica o Escopo: Delimita explicitamente a classe de sistemas para os quais tal formulação é possível (sistemas entrópicos) e destaca as limitações dos princípios de seleção atuais em garantir unicidade para leis de conservação hiperbólicas multidimensionais.

O trabalho é apresentado como um passo rumo a uma compreensão mais profunda da estrutura matemática das leis de conservação hiperbólicas, honrando o legado de Peter Lax e o trabalho fundamental de Friedrichs, ao mesmo tempo em que reconhece que o "escândalo científico" da não unicidade em fluxos compressíveis multidimensionais permanece um desafio em aberto.