Singular limits for non-isentropic compressible rotating fluids

1. Problema Investigado

O artigo estuda o comportamento assintótico (limites singulares) das equações de Navier-Stokes-Korteweg para fluidos compressíveis, não isotérmicos e em rotação. O foco principal é analisar a convergência do sistema tridimensional para um sistema bidimensional incompressível sob a ação simultânea de três parâmetros de escala extremos:

• Número de Mach baixo ($Ma \to 0$): Indica que o fluido tende a ser incompressível.
• Número de Rossby baixo ($Ro \to 0$): Indica uma rotação rápida, onde as forças de Coriolis dominam, tendendo a tornar o fluxo bidimensional (efeito de Taylor-Proudman).
• Número de Reynolds alto ($Re \to \infty$): Indica que os efeitos viscosos tornam-se desprezíveis, aproximando o sistema de um fluido invíscido.

O sistema considera explicitamente o efeito de capilaridade (tensão superficial em interfaces difusas), modelado pelo tensor de Korteweg. O estudo é realizado em um domínio infinito em forma de lâmina ($\Omega = \mathbb{R}^2 \times (0, 1)$) com condições de contorno de deslizamento total (full-slip).

O parâmetro $\alpha \in \{0, 1\}$ é introduzido para distinguir dois casos de comportamento da capilaridade na escala de limite:

• Caso $\alpha = 1$: O termo de capilaridade desaparece na escala de limite (comportamento de dispersão dominante).
• Caso $\alpha = 0$: O termo de capilaridade permanece e influencia a estrutura do limite (comportamento de erro dominante).

2. Metodologia

Os autores empregam uma abordagem analítica rigorosa baseada em estimativas de energia e análise espectral, dividida em duas partes principais conforme o valor de $\alpha$:

A. Caso $\alpha = 1$ (Sem capilaridade na escala de limite)

1. Estimativas Uniformes: Estabelecem estimativas de energia a priori para as soluções fortes do sistema original, garantindo que as normas em espaços de Sobolev ($H^s$) permaneçam limitadas independentemente de $\varepsilon$ (o parâmetro de escala pequeno) em um intervalo de tempo comum.
2. Análise Acústica e Teorema de RAGE: Para lidar com as oscilações de alta frequência (ondas acústicas) geradas pelo limite de Mach baixo, utilizam o Teorema de RAGE (Ruelle-Agmon-Rosenblum). Este teorema é aplicado para demonstrar que as componentes de alta frequência (não pertencentes ao núcleo do operador de onda) se dispersam e convergem para zero localmente.
3. Identificação do Limite: Combinam as estimativas de compactidade e a dispersão das ondas acústicas para identificar o sistema limite, que se assemelha às equações de Euler 2D.

B. Caso $\alpha = 0$ (Com capilaridade na escala de limite)

1. Construção de Solução Aproximada: Constroem uma solução aproximada baseada nas equações de Navier-Stokes incompressíveis (sistema limite esperado).
2. Estimativa de Erro: Em vez de usar dispersão, utilizam um método de estimativa de erro direto. Definem variáveis de erro como a diferença entre a solução do sistema original e a solução aproximada.
3. Análise Energética do Erro: Derivam equações para as variáveis de erro e aplicam desigualdades de Sobolev, comutadores e o lema de Gronwall para provar que a norma do erro é da ordem de $O(\varepsilon)$. Isso garante a convergência forte da solução.

3. Principais Contribuições e Resultados

Para $\alpha = 1$ (Teorema 2)

• Convergência Fraca-Estrela: Demonstram que, quando a capilaridade é negligenciada na escala de limite, as soluções $(q_\varepsilon, \mathbf{u}_\varepsilon, \theta_\varepsilon)$ convergem fracamente para $(q, \mathbf{u}, \theta)$.
• Sistema Limite: O sistema limite é composto por equações de diagnóstico que impõem que a densidade e a temperatura são independentes da coordenada vertical ($x_3$) e que o campo de velocidade é bidimensional e solenoidal.
• Equação de Evolução: A variável combinada $\sigma = q + \theta$ satisfaz uma equação de vorticidade não linear semelhante à equação de Euler 2D:
  $$\partial_t(\Delta_h \sigma - \sigma) + \nabla_h^\perp \sigma \cdot \nabla_h (\Delta_h \sigma) = 0$$
  onde $\Delta_h$ é o Laplaciano horizontal.

Para $\alpha = 0$ (Teorema 3)

• Convergência Forte: Demonstram a convergência forte das soluções do sistema de Navier-Stokes-Korteweg para as soluções das equações de Navier-Stokes incompressíveis bidimensionais.
• Taxa de Convergência: Estabelecem uma taxa de convergência explícita de ordem $O(\varepsilon)$ na norma de Sobolev $H^s$. Ou seja, a diferença entre a solução compressível/rotativa e a solução incompressível 2D é controlada linearmente pelo parâmetro pequeno $\varepsilon$.
• Papel da Capilaridade: O termo de capilaridade, neste caso, atua como um mecanismo de regularização que, no limite, se funde com a pressão no sistema incompressível, resultando em um sistema de Navier-Stokes-Korteweg incompressível.

4. Significância do Trabalho

Este artigo é significativo por várias razões:

1. Tratamento de Triple Singular Limit: É um dos trabalhos que aborda simultaneamente os limites de baixo Mach, baixo Rossby e alto Reynolds para fluidos não isotérmicos (com variações de temperatura), um cenário fisicamente mais complexo e realista do que os modelos isotérmicos.
2. Inclusão do Efeito Capilar: A maioria dos estudos anteriores sobre limites singulares focava em fluidos sem tensão superficial. Este trabalho integra rigorosamente o tensor de Korteweg, mostrando como a capilaridade interage com a rotação e a compressibilidade em regimes extremos.
3. Validação de Modelos Reduzidos: O trabalho fornece a justificação matemática rigorosa para o uso de modelos 2D incompressíveis (Euler ou Navier-Stokes) para descrever fenômenos geofísicos e atmosféricos complexos onde a rotação e a estratificação térmica são dominantes, mesmo na presença de efeitos de interface difusa.
4. Metodologia Híbrida: A distinção clara entre a abordagem via dispersão (RAGE) para $\alpha=1$ e a abordagem via estimativa de erro para $\alpha=0$ oferece um roteiro metodológico robusto para futuros estudos de limites singulares em sistemas de equações diferenciais parciais acopladas.

Em resumo, o artigo prova que, sob condições de rotação rápida e baixa compressibilidade, os fluidos compressíveis não isotérmicos com efeitos capilares degeneram em fluxos bidimensionais incompressíveis, seja como um sistema de Euler (sem capilaridade residual) ou Navier-Stokes (com capilaridade residual), dependendo da escala de dissipação do termo capilar.