Low Mach number limit and optimal time decay rates of the compressible Navier-Stokes-transport system in critical Besov spaces

Resumo Técnico: Limite de Baixo Número de Mach e Taxas Ótimas de Decaimento Temporal do Sistema Navier-Stokes-Transporte Compressível em Espaços de Besov Críticos

Enunciado do Problema
Este artigo investiga o sistema Navier-Stokes-Transporte (NST) compressível, um modelo de fluido que compreende um sistema de Navier-Stokes compressível para a densidade ($\rho$) e momento ($\rho u$), acoplado a uma equação de transporte para a temperatura potencial ($\theta$). Diferentemente do bem conhecido sistema Navier-Stokes-Fourier (NSF), onde a temperatura satisfaz uma equação parabólica que fornece dissipação tanto para a temperatura quanto para a densidade, o sistema NST apresenta uma equação de transporte para a temperatura. Essa diferença estrutural impede um mecanismo dissipativo para a densidade, levando a comportamentos assintóticos significativamente diferentes.

O estudo aborda três desafios matemáticos primários dentro da estrutura dos espaços de Besov críticos ($\dot{B}^s_{p,r}$) em $\mathbb{R}^d$ ($d \ge 2$):

1. Bem-posedidade Global: Estabelecer a existência e unicidade de soluções fortes para dados iniciais pequenos em espaços críticos, apesar da falta de dissipação da densidade.
2. Limite de Baixo Número de Mach: Provar rigorosamente a convergência do sistema NST compressível para o sistema Navier-Stokes incompressível inhomogêneo conforme o número de Mach $\varepsilon \to 0$, especificamente para dados iniciais mal preparados (ill-prepared).
3. Taxas Ótimas de Decaimento Temporal: Derivar taxas de decaimento ótimas para soluções fortes em dimensões $d \ge 3$, abordando a dificuldade de que a densidade não decai ao longo do tempo devido à ausência de uma estrutura dissipativa.

Metodologia
Os autores empregam uma análise de energia refinada dentro da estrutura de decomposição de Littlewood-Paley dos espaços de Besov. As principais inovações metodológicas incluem:

• Reformulação e Novas Variáveis: Para lidar com a forte não linearidade da pressão e a falta de dissipação da densidade, o sistema é reformulado em termos da perturbação da densidade $a = \rho - 1$, velocidade $u$ e perturbação da pressão $z = P - 1$. Crucialmente, os autores introduzem uma nova quantidade derivada $\omega = \gamma a - z$. Embora o próprio $\omega$ careça de uma estrutura dissipativa, ele fornece um elo crucial entre $a$ e $z$, permitindo a derivação de estimativas uniformes para a densidade $a$ que seriam inalcançáveis de outra forma devido ao termo linear $\text{div } u$ na equação de continuidade.
• Análise Localizada em Frequência: A prova de bem-posedidade global utiliza uma desigualdade de Lyapunov localizada em frequência. O sistema $(u, z)$ é tratado como um sistema hiperbólico-parabólico onde as baixas frequências exibem comportamento difusivo-térmico e as altas frequências exibem amortecimento. Os autores estimam separadamente a parte incompressível ($Pu$) e a parte potencial ($Qu$) da velocidade tanto nos regimes de baixa quanto de alta frequência, empregando o método da velocidade efetiva para altas frequências.
• Estratégia para o Limite de Baixo Número de Mach: Para o limite singular $\varepsilon \to 0$, os autores utilizam um argumento de reescalonamento. Para superar a falta de compacidade para a densidade $a^\varepsilon$ (que não pertence a $L^2(\mathbb{R}^+; \dot{B}^{d/2}_{2,1})$), eles analisam a equação para o novo modo $\omega^\varepsilon = \gamma a^\varepsilon - z^\varepsilon$. Isso permite estabelecer a compacidade forte para $\omega^\varepsilon$ e, subsequentemente, justificar a convergência da equação de continuidade no sentido das distribuições. Estimativas dispersivas para $z^\varepsilon$ e $Qu^\varepsilon$ são derivadas para lidar com a convergência da equação do momento.
• Análise de Decaimento Temporal: Para as taxas de decaimento, os autores distinguem entre condições de limitação e de pequenez nos dados iniciais. Eles utilizam funcionais de energia ponderados pelo tempo e desigualdades de interpolação. Um obstáculo técnico significativo é a "perda de derivada" causada por termos não lineares envolvendo a densidade não dissipativa $a$ (ex: $f(a)\nabla z$). Os autores superam isso aproveitando o acoplamento entre $u$ e $z$ e o novo modo $\omega$ para fechar as estimativas de energia, evitando a necessidade de suposições adicionais de pequenez sobre os dados iniciais de baixa frequência que são típicas em estudos isentrópicos.

Contribuições Principais e Resultados

1. Bem-posedidade Global (Teorema 1.2):
   O artigo estabelece a existência global e a unicidade de soluções fortes para o sistema NST compressível em espaços de Besov críticos $\dot{B}^{d/2}_{2,1} \times \dot{B}^{d/2-1}_{2,1} \times \dot{B}^{d/2}_{2,1}$ para $d \ge 2$, desde que os dados iniciais sejam suficientemente pequenos.

   • Significância: Diferente de trabalhos anteriores (ex: Zhai et al. [59]), este resultado fornece taxas de decaimento temporal ótimas e utiliza um método diferente que lida explicitamente com a falta de dissipação da densidade via o novo modo $\omega$.

2. Limite de Baixo Número de Mach (Teorema 1.3):
   Os autores provam rigorosamente que, conforme $\varepsilon \to 0$, as soluções do sistema NST compressível convergem para a solução global do sistema Navier-Stokes incompressível inhomogêneo.

   • Significância: Este resultado é válido para dados iniciais mal preparados (ill-prepared, onde $\text{div } u_0 = O(1)$ e $\nabla z_0 = O(1)$), um caso que é matematicamente mais desafiador do que o caso bem preparado. A convergência é estabelecida no sentido das distribuições, com taxas de convergência explícitas para os modos acústicos.

3. Taxas Ótimas de Decaimento Temporal (Teoremas 1.4–1.6):
   Para $d \ge 3$, o artigo deriva taxas de decaimento temporal ótimas para a velocidade $u$ e para a perturbação da pressão/temperatura $z$.

   • Limites Superiores: Sob uma condição de limitação nos dados iniciais (Teorema 1.4), obtêm-se taxas de decaimento de $(1+t)^{-\frac{1}{2}(\sigma - \sigma_0)}$ para $\sigma \in (\sigma_0, d/2 - 1]$. Sob uma condição de pequenez (Teorema 1.5), essas taxas estendem-se para regularidades mais altas $\sigma \in (\sigma_0, d/2 + 1]$.
   • Limites Inferiores: O Teorema 1.6 estabelece limites inferiores correspondentes, confirmando a otimalidade das taxas de decaimento.
   • Comportamento Distintivo: Uma descoberta fundamental é que a densidade $a$ permanece uniformemente limitada no tempo, mas não exibe decaimento temporal. Isso contrasta fortemente com o sistema NSF e as equações de Navier-Stokes isentrópicas, onde a densidade possui uma estrutura dissipativa e decai. Os autores observam que a falta de dissipação da densidade impede que os termos de acoplamento não linear contribuam com taxas de decaimento adicionais para o sistema.

Significância e Alegações
O artigo afirma resolver desafios técnicos significativos decorrentes da natureza hiperbólica do transporte da densidade e da temperatura no sistema NST. Ao introduzir o modo $\omega = \gamma a - z$, os autores conseguem contornar a obstrução causada pela falta de uma estrutura dissipativa para a densidade, uma limitação que impede a aplicação das teorias de perturbação clássicas usadas para sistemas isentrópicos ou NSF.

O trabalho amplia a compreensão matemática da dinâmica de fluidos não isentrópica, particularmente em regimes onde processos diabáticos são negligenciados. Os resultados sobre o limite de baixo número de Mach para dados mal preparados em espaços de Besov críticos preenchem uma lacuna na literatura, fornecendo uma justificativa rigorosa para o limite incompressível em um cenário onde os argumentos de compacidade padrão falham. Além disso, a derivação das taxas de decaimento ótimas, embora explicitamente note a natureza não decrescente da densidade, oferece uma caracterização precisa do comportamento de longo prazo deste modelo de fluido específico.