The global well-posedness of the multi-dimensional compressible Euler system with damping in the $L^p$ critical Besov spaces for $p<2$

Resumo Técnico: Globalidade Bem-Posta do Sistema de Euler Compressível com Amortecimento em Espaços de Besov Críticos $L^p$ para $p < 2$

Autores: Jianzhong Zhang, Ying Sui e Xiliang Li.

1. O Problema Estudado

O artigo investiga o problema de Cauchy para o sistema de Euler compressível com amortecimento linear, que modela o fluxo de gás através de um meio poroso onde a matriz sólida exerce uma força de atrito proporcional e oposta ao momento do fluido. O sistema governante é dado por:
$$\begin{cases} \partial_t \rho + \text{div}(\rho u) = 0, \\ \partial_t (\rho u) + \nabla \cdot (\rho u \otimes u) + \nabla P(\rho) + \alpha \rho u = 0, \end{cases}$$
onde $\rho$ é a densidade, $u$ é a velocidade, $P(\rho)$ é a pressão e $\alpha > 0$ é o coeficiente de amortecimento.

O foco central é estabelecer a bem-postura global no tempo (existência, unicidade e dependência contínua dos dados iniciais) em espaços de Besov críticos do tipo $L^p$. Especificamente, o trabalho visa estender os resultados existentes para o caso onde $1 \le p < 2$, uma faixa de parâmetros que permanecia em aberto em estudos anteriores que se limitavam a $p \ge 2$.

2. Metodologia

A abordagem metodológica combina análise de frequências (baixas e altas) com novas estimativas de produtos em espaços híbridos.

• Reformulação do Sistema: O sistema é reescrito utilizando uma nova variável desconhecida chamada "entalpia" $n(\rho)$, transformando as equações em um sistema semilinear onde a pressão é linearizada em torno de uma densidade de referência $\bar{\rho}$.
• Separação de Frequências: Os autores definem um limiar de frequência $J_\varepsilon$ (dependente do parâmetro de relaxação $\varepsilon$) para separar as componentes de baixa frequência ($\ell$) e alta frequência ($h$).
  • Baixas Frequências ($L^p$): Para $j \le J_\varepsilon$, utiliza-se a estrutura de dissipação do sistema (equação de calor para a densidade e equação amortecida para a velocidade efetiva) no contexto $L^p$.
  • Altas Frequências ($L^2$): Para $j > J_\varepsilon$, utiliza-se o método de energia clássico em $L^2$, pois a análise espectral formal indica que a estrutura hiperbólica é mais estável nesse regime para altas frequências.
• Espaços de Funções: O trabalho é desenvolvido no espaço híbrido $E_{J_\varepsilon}^T$, que combina normas de Besov homogêneas $\dot{B}^{d/p}_{p,1}$ para baixas frequências e $\dot{B}^{d/2+1}_{2,1}$ para altas frequências.

3. Contribuições Chave e Novas Ferramentas

A principal dificuldade técnica reside no tratamento dos termos não lineares (como $v \cdot \nabla n$ e $v \cdot \nabla v$) quando $p < 2$, onde as estimativas de produto padrão em espaços de Besov falham ou não são suficientemente fortes.

• Nova Estimativa de Produto (Lema 2.1): O coração da prova é o desenvolvimento de uma nova estimativa de produto em espaços de Besov híbridos $L^p-L^2$.
  • O Lema 2.1 estabelece uma desigualdade que permite controlar o produto de duas funções em normas de baixa frequência ($L^p$) utilizando a norma $L^2$ de alta frequência de uma delas e a norma $L^p$ da outra.
  • A estimativa é da forma:
    $$\|ab\|_{\ell, J_\varepsilon}^{\dot{B}^{s_1}_{p,1}} \lesssim \left( \|b\|_{\ell, J_\varepsilon}^{\dot{B}^{s_1}_{p,1}} + 2^{(s_1 - d/p)J_\varepsilon} \|b\|_{h, J_\varepsilon}^{\dot{B}^{d/2}_{2,1}} \right) \|a\|_{\dot{B}^{d/2}_{2,1}}$$
  • Esta ferramenta é crucial para lidar com a perda de regularidade e as singularidades que surgem quando $p < 2$.

4. Resultados Principais

O teorema principal (Teorema 1.1) estabelece que:

• Para $1 \le p < 2$ e dimensão $d \ge 1$, sob a condição de pressão $P'(\bar{\rho}) > 0$, existe uma constante pequena $\delta_1 > 0$.
• Se os dados iniciais $(n_0, v_0)$ satisfizerem uma condição de pequeno porte na norma híbrida:
  $$\|(n_0, v_0)\|_{\ell, J_\varepsilon}^{\dot{B}^{d/p}_{p,1}} + \varepsilon \|(n_0, v_0)\|_{h, J_\varepsilon}^{\dot{B}^{d/2+1}_{2,1}} \le \delta_1,$$
• Então, o problema de Cauchy admite uma solução global única no espaço $E_{J_\varepsilon}^\infty$ para todo $\varepsilon > 0$.

Observações Importantes:

• O espaço de existência para $p < 2$ é menor (mais restritivo) do que o espaço para $p=2$ (devido à inclusão $\dot{B}^{d/p}_{p,1} \hookrightarrow \dot{B}^{d/2}_{2,1}$). Isso significa que o resultado garante a existência para dados que podem ser mais singulares e concentrados (como fontes pontuais ou filamentos de vórtice), que são comuns em problemas físicos.
• O limite de relaxação (convergência para a equação de meio poroso) para o caso $p < 2$ pode ser realizado seguindo o mesmo procedimento de trabalhos anteriores.

5. Significado e Impacto

• Preenchimento de Lacuna Teórica: Este trabalho resolve a questão natural deixada aberta por estudos recentes (Crin-Barat, Danchin, Xu, etc.) que cobriam apenas $p \ge 2$. Estender a teoria para $p < 2$ completa o quadro de bem-postura em espaços críticos para este sistema.
• Generalidade: A nova estimativa de produto desenvolvida não se limita ao sistema de Euler com amortecimento. Os autores indicam que esta ferramenta pode ser aplicada a outros sistemas, como:
  • Sistemas de quimiotaxia hiperbólico-parabólicos.
  • Equações de Navier-Stokes no contexto $L^p-L^2$ para $p < 2$.
• Aplicabilidade Física: Ao permitir $p < 2$, o modelo torna-se capaz de descrever cenários físicos com dados iniciais altamente concentrados, expandindo a utilidade matemática do modelo de fluxo em meios porosos.

Em suma, o artigo representa um avanço significativo na análise de equações de fluidos compressíveis, superando barreiras técnicas relacionadas à não-linearidade em espaços de funções com baixa integrabilidade ($p < 2$) através de uma engenhosa combinação de análise de frequências e novas estimativas de produto.