On the large-time behavior of strong solutions to the generalized compressible Navier-Stokes-Korteweg system in 2D and 3D for arbitrarily large initial data

Resumo Técnico: Existência Global e Comportamento em Tempo Longo de Soluções Fortes para o Sistema Navier-Stokes-Korteweg Generalizado Compressível

Enunciado do Problema
Este artigo investiga a existência global e o comportamento assintótico em tempo longo de soluções fortes para o sistema Navier-Stokes-Korteweg (NSK) periódico compressível em duas e três dimensões com dados iniciais arbitrariamente grandes $(\rho_0, u_0) \in H^3 \times H^2$. O sistema é caracterizado por coeficientes de viscosidade dependentes da densidade que satisfazem a relação de Bresch-Desjardins (BD), $\mu(\rho) = \nu\rho^\alpha$ e $\lambda(\rho) = 2\nu(\alpha-1)\rho^\alpha$, e um coeficiente de capilaridade $\kappa(\rho) = \varepsilon^2\alpha^2\rho^{2\alpha-3}$.

Os principais desafios matemáticos abordados são:

1. Existência Global com Dados Grandes: Estabelecer a existência de soluções fortes globais sem suposições de pequenez sobre os dados iniciais, particularmente em dimensões superiores ($N=2,3$).
2. Limites Uniformes de Densidade: Provar que a densidade permanece uniformemente limitada longe do vácuo e da concentração (ou seja, $C^{-1} \le \rho(x,t) \le C$) para todo o tempo, um pré-requisito para regularidade de ordem superior.
3. Comportamento em Tempo Longo: Demonstrar a convergência das soluções para o estado de equilíbrio conforme $t \to \infty$.

Trabalhos anteriores estabeleceram a existência global para regimes específicos de parâmetros (por exemplo, Gu-Huang-Meng-Zhou [16] para $\alpha < 1$ e Huang-Meng-Zhang [25] para $\alpha=1$), mas frequentemente com expoentes adiabáticos $\gamma$ restritos ou sem estabelecer limites de densidade uniformes no tempo e convergência em tempo longo para dados arbitrariamente grandes.

Metodologia
Os autores empregam uma estratégia analítica multifacetada centrada na transformação da velocidade efetiva e em uma estrutura duplamente parabólica do sistema reformulado.

1. Formulação da Velocidade Efetiva: O sistema é reformulado usando a velocidade efetiva $v := u + c\rho^{\alpha-2}\nabla\rho$, onde $c = \nu + \sqrt{\nu^2-\varepsilon^2}$. Isso transforma o sistema original em um sistema acoplado de densidade e velocidade efetiva (Equação 11), que exibe uma estrutura duplamente parabólica. Esta estrutura é crucial para derivar regularidade adicional e controlar a densidade.

2. Argumento de Bootstrap para Parâmetros Admissíveis:

   • Para o caso $\alpha < 1$, os autores melhoram a faixa admissível do expoente adiabático $\gamma$. Eles utilizam um argumento de bootstrap que faz a ponte entre a estimativa de energia padrão (weighted $L^2$) e a estimativa crítica (weighted $L^3$). Ao melhorar iterativamente a integrabilidade da velocidade efetiva e da densidade, eles estendem o alcance de $\gamma$ além dos resultados anteriores (especificamente, até $\frac{111\alpha^2-122\alpha+33}{21\alpha-13}$ em 3D).

3. Estratégia de Discretização Temporal para Limites Superiores:

   • Para estabelecer um limite superior uniforme para a densidade, os autores adotam uma estratégia de discretização temporal. Eles particionam o eixo do tempo $[0, \infty)$ em subintervalos $[t_n, t_{n+1}]$ de comprimento uniformemente limitado.
   • Usando as estimativas de dissipação, eles identificam pontos $t_n$ onde a densidade e a velocidade efetiva satisfazem limites quantitativos uniformes.
   • Em cada subintervalo, eles aplicam um esquema de iteração Nash-Moser modificado (inspirado em Gu-Huang-Meng-Zhou [16]) para derivar um limite superior de densidade que é independente do subintervalo específico, resultando assim em um limite superior global uniforme.

4. Bootstrap Indutivo para Limites Inferiores ($\alpha < 1$):

   • Estabelecer um limite inferior positivo uniforme requer uma integrabilidade mais forte da velocidade efetiva ($L^p$ com $p > \frac{2}{1-\alpha}$).
   • Os autores desenvolvem um novo procedimento de bootstrap indutivo. Assumindo as estimativas do nível $(k-1)$, eles derivam estimativas uniformes e de dissipação de nível $k$. Este processo é repetido um número finito de vezes até que a integrabilidade necessária seja alcançada, permitindo a aplicação da iteração Nash-Moser à variável recíproca $\tau = \rho^{-1}$ para obter um limite inferior positivo uniforme.
   • Para o caso crítico $\alpha = 1$, o artigo estabelece um limite superior uniforme, mas observa que o limite inferior permanece como um problema em aberto devido à incapacidade de fechar o bootstrap no nível $L^\infty$ para a velocidade efetiva.

5. Estimativas de Ordem Superior e Decaimento:

   • Com os limites uniformes de densidade estabelecidos, os autores derivam estimativas globais de ordem superior para a densidade e a velocidade efetiva.
   • Eles exploram a estrutura elíptica inerente ao sistema de velocidade efetiva para controlar derivadas de ordem superior.
   • Essas estimativas levam à prova do comportamento em tempo longo, mostrando que a norma $H^3$ do desvio da densidade e a norma $H^1$ do gradiente da velocidade decaem para zero.

Principais Contribuições e Resultados

• Teorema 1.1 (Caso $\alpha < 1$):

  • Estabelece a existência global de soluções fortes únicas para dados iniciais arbitrariamente grandes em 2D e 3D.
  • Faixa de Parâmetros Ampliada: Expande significativamente a faixa admissível do expoente adiabático $\gamma$ comparado a trabalhos anteriores (ex: [16]). Em 3D, $\gamma$ pode agora atingir $\frac{111\alpha^2-122\alpha+33}{21\alpha-13}$.
  • Limites Uniformes: Prova que a densidade satisfaz $C^{-1} \le \rho(x,t) \le C$ para todo $t \ge 0$, garantindo que a solução permaneça longe do vácuo e da concentração.
  • Comportamento em Tempo Longo: Prova que $\|\rho(t) - \rho_s\|_{H^3} + \|\nabla u(t)\|_{H^1} \to 0$ quando $t \to \infty$, onde $\rho_s$ é a densidade média. Isso ocorre sem qualquer suposição de pequenez sobre os dados iniciais.

• Teorema 1.2 (Caso $\alpha = 1$):

  • Estabelece a existência global para o caso crítico $\alpha = 1$ (que inclui o modelo Saint-Venant viscoso e o sistema Navier-Stokes quântico sob condições específicas).
  • Melhoria da Faixa de Parâmetros: Amplia ainda mais a faixa admissível de $\gamma$ em 3D para $[1, 11/4)$, melhorando o intervalo $[1, 8/3)$ de [22] e o intervalo $[1, 7/3)$ de [25].
  • Limite Superior Uniforme: Prova um limite superior uniforme para a densidade ($\rho(x,t) \le C$).
  • Limitação: O artigo afirma explicitamente que estabelecer um limite inferior positivo uniforme para a densidade no caso crítico $\alpha=1$ permanece um desafio em aberto e é deixado para trabalhos futuros.

Significância
O artigo fornece uma resposta afirmativa às questões de se soluções fortes globais com dados iniciais arbitrariamente grandes admitem limites de densidade uniformes no tempo e convergem para o equilíbrio no sistema NSK periódico multidimensional.

• Resolução de Problemas em Aberto: Resolve o problema aberto referente ao comportamento em tempo longo e limites de densidade uniformes para o sistema NSK generalizado com dados grandes, que anteriormente não haviam sido resolvidos mesmo após o estabelecimento da existência global em [16] e [25].
• Avanço Metodológico: O desenvolvimento da estratégia de discretização temporal combinada com o argumento de bootstrap para integrabilidade representa um avanço metodológico significativo. Isso permite a derivação de limites uniformes sem depender do regime intermediário restritivo ($\varepsilon = \nu$) frequentemente exigido em análises de Navier-Stokes quânticos, cobrindo assim o regime parabólico mais amplo ($\varepsilon < \nu$).
• Otimização de Parâmetros: Ao refinar as faixas admissíveis para $\gamma$, os resultados ampliam a aplicabilidade física da teoria de existência global para fluidos compressíveis com efeitos de capilaridade.

Os autores enfatizam que seus resultados são derivados sem impor condições de pequenez aos dados iniciais, tornando as descobertas robustas para cenários fisicamente relevantes envolvendo grandes perturbações. O trabalho deixa a extensão para o problema de Cauchy e o estabelecimento de limites inferiores para o caso crítico $\alpha=1$ como direções para pesquisas futuras.