Universality in the Low Mach number limit via a convex integration framework

Resumo Técnico: Universalidade no Limite de Baixo Número de Mach via uma Estrutura de Integração Convexa

Enunciado do Problema
O artigo investiga o limite de baixo número de Mach das equações de Euler compressíveis, um limite singular onde o número de Mach $\delta$ tende a zero. Fisicamente, este regime descreve fluxos de fluidos onde as velocidades são pequenas em relação à velocidade do som, levando a variações de densidade desprezíveis e comportamento incompressível. Matematicamente, o objetivo é justificar a transição do sistema de Euler compressível (1.1) para o sistema de Euler incompressível (1.2).

Embora trabalhos anteriores (ex: Ebin; Klainerman–Majda) tenham estabelecido este limite para dados iniciais suaves e bem preparados, extensões posteriores abordaram dados mal preparados e soluções fracas usando métodos de compacidade ou entropia relativa, mas essas abordagens tipicamente filtram comportamentos altamente oscilatórios ou turbulentos. Uma questão central permanece: O sistema incompressível é um "atrator universal" no contexto de soluções fracas? Especificamente, pode toda solução fraca incompressível ser realizada como o limite forte de uma sequência de soluções fracas para o sistema compressível, mesmo quando as soluções compressíveis exibem a não-unicidade e a turbulência permitidas pela integração convexa?

Metodologia
Os autores empregam uma estrutura de integração convexa refinada, baseando-se em seu trabalho anterior [5], que estabeleceu a não-unicidade para os sistemas de Euler incompressível e isentrópico compressível. A estratégia procede em três estágios conceituais:

1. Construção de Subsolução: Partindo de uma solução fraca arbitrária $u$ das equações de Euler incompressíveis, os autores constroem uma subsolução incompressível suave $(u_\varepsilon, \pi_\varepsilon, R_\varepsilon)$ para um sistema relaxado, onde $R_\varepsilon$ é um tensor de tensão de Reynolds positivo definido. Esta é então elevada para uma subsolução compressível correspondente $(\rho_\delta, V_\delta, R_\delta)$ para as equações rescaladas (1.3). Esta elevação garante que a densidade $\rho_\delta$ permaneça próxima de 1 e que a tensão de Reynolds permaneça positiva definida.

2. Integração Convexa Refinada: A inovação central reside na modificação do esquema padrão de integração convexa. Os autores introduzem uma nova restrição do tipo $L^2$ sobre o conjunto de perturbações admissíveis. Especificamente, as perturbações $\tilde{V}$ devem satisfazer:
   $$\left| \int V_\delta \cdot \tilde{V} \, \frac{dx dt}{\rho_\delta} \right| \leq \frac{1}{8} \int \frac{|\tilde{V}|^2}{\rho_\delta} \, dx dt$$
   Esta restrição está ausente nas teorias de integração convexa $L^\infty$ anteriores (que dependem do teorema da categoria de Baire), mas está naturalmente alinhada com as teorias $C^\alpha$.

3. Estimativas Uniformes e Convergência: Ao impor esta restrição, os autores derivam uma estimativa de energia uniforme (Proposição 3.1) mostrando que a energia cinética das perturbações é controlada pelo traço do tensor de tensão de Reynolds:
   $$\int \frac{|\tilde{V}|^2}{\rho_\delta} \, dx dt \leq C \int \text{tr}(R_\delta) \, dx dt$$
   Como a construção da subsolução garante que $\text{tr}(R_\delta) = O(\delta)$, esta estimativa doma as oscilações turbulentas uniformemente em relação ao número de Mach $\delta$. Este controle é crucial para provar a convergência forte quando $\delta \to 0$.

Principais Contribuições

• Resultado de Atrator Universal: O artigo prova que o sistema incompressível atua como um atrator universal para o sistema compressível dentro da estrutura de integração convexa. Para qualquer solução fraca $L^2$ das equações de Euler incompressíveis, existe uma família de dados iniciais para o sistema de Euler compressível tal que as soluções fracas resultantes convergem fortemente para a dada solução incompressível conforme o número de Mach se anula.
• Nova Restrição para Teoria $L^\infty$: A introdução desta restrição do tipo $L^2$ (1.4) na teoria não-construtiva de integração convexa $L^\infty$ é um avanço técnico significativo. Ela estabelece uma ponte entre o controle de perturbações turbulentas pelo tensor de Reynolds (previamente visto em contextos $C^\alpha$) e a abordagem de categoria de Baire usada para soluções $L^\infty$.
• Generalidade no Expoente Adiabático: Diferentemente de resultados anteriores de integração convexa para fluxos compressíveis que exigiam restrições no expoente adiabático $\gamma$ (ex: $1 < \gamma \leq 1 + 2/n$) para satisfazer desigualdades de energia, este resultado é válido para todo o intervalo $\gamma > 1$ porque a desigualdade de energia não é imposta como um critério de admissibilidade.

Resultados Principais
O teorema principal (Teorema 1.1) afirma que para dimensões $n=2$ ou $3$ e qualquer $\gamma > 1$, dado qualquer solução fraca $u$ das equações de Euler incompressíveis com dados iniciais $u_0 \in L^2$, existe uma família de dados iniciais $(\rho_\delta^0, m_\delta^0)$ para as equações de Euler rescaladas. Para qualquer número de Mach $\delta$ suficientemente pequeno, existem infinitas soluções fracas para o sistema compressível emanando destes dados. Quando $\delta \to 0$:

• A densidade $\rho_\delta$ converge para 1 em $C^0$.
• O momento $\rho_\delta v_\delta$ converge fortemente para $u$ em $L^2(0, T; L^2)$.
• O momento inicial $m_\delta^0$ converge fracamente para $u_0$ em $L^2$.

Significância
O artigo afirma fornecer uma justificativa matemática rigorosa para a robustez da aproximação incompressível. Ele demonstra que qualquer campo de fluxo divergência-livre de grande escala pode emergir como a descrição efetiva e média de um fluido compressível no regime de baixo número de Mach, independentemente da dinâmica oscilatória de pequena escala e não-única modelada pela integração convexa. Isso estabelece uma nova forma de universalidade para limites singulares, deslocando o paradigma analítico de investigar se uma família específica de soluções compressíveis converge para provar construtivamente que qualquer solução fraca incompressível pode ser alvo e aproximada por soluções fracas compressíveis.