Anisotropic Inviscid Limit for the Navier-Stokes Equations with Transport Noise Between Two Plates

1. Problema Investigado

O artigo aborda o limite invíscido anisotrópico das equações de Navier-Stokes estocásticas tridimensionais (3D) em um domínio limitado entre duas placas horizontais ($O = \mathbb{T}^2 \times (0, 1)$), sujeito a condições de contorno de não-deslizamento (Dirichlet, $u=0$).

O foco central é a convergência das soluções das equações de Navier-Stokes estocásticas para a solução forte da equação de Euler determinística à medida que a viscosidade turbulenta tende a zero. A inovação crucial reside na anisotropia:

• A viscosidade horizontal ($\nu_h$) e a viscosidade vertical ($\nu_z$) tendem a zero a taxas diferentes.
• Especificamente, considera-se o regime onde a razão $\nu_z / \nu_h \to 0$. Isso modela fenômenos de fluidos geofísicos onde a rotação (força de Coriolis) amplifica a difusão horizontal, tornando a viscosidade vertical muito menor que a horizontal.
• O sistema é perturbado por ruído de transporte estiramento (transport-stretching noise), modelado como um movimento browniano cilíndrico acoplado à velocidade do fluido via operadores de Lie.

2. Metodologia e Estrutura do Ruído

O autor enfrenta desafios únicos decorrentes da combinação de anisotropia, ruído e condições de contorno de não-deslizamento.

A. Estrutura do Ruído Anisotrópico

O ruído é introduzido seguindo o princípio do "Transporte Estocástico por Transporte de Lie" (SALT). O autor decompõe as funções de correlação espacial $\xi_i$ do movimento browniano em componentes horizontal ($\xi^h_i$) e vertical ($\xi^z_i$).

• O operador de ruído é escalado diferentemente: $\nu_h^{1/2}$ para a componente horizontal e $\nu_z^{1/2}$ para a vertical.
• Desafio Crítico: Essa escala anisotrópica faz com que a função de correlação efetiva $\tilde{\xi}_i$ não seja mais livre de divergência (divergence-free). Em modelos isotrópicos padrão, a propriedade de divergência nula é essencial para cancelar termos de energia na estimativa de Itô-Stratonovich. A perda dessa propriedade exige uma análise técnica refinada para controlar os termos de erro gerados.

B. Conversão para Forma de Itô

A equação original é dada na forma de Stratonovich. Para a análise, o autor a converte para a forma de Itô. Isso gera um termo corretor (corretor de Itô-Stratonovich) que envolve produtos cruzados entre as viscosidades horizontal e vertical. Devido à falta de divergência nula de $\tilde{\xi}_i$, o termo quadrático usual não se anula perfeitamente, exigindo o uso de desigualdades de Young e estimativas precisas para absorver os termos residuais na dissipação viscosa.

C. Construção de Soluções e Espaço de Probabilidade

• Soluções Fracas de Martingala: Devido à não unicidade conhecida das soluções fracas das equações de Navier-Stokes 3D, o autor constrói soluções probabilisticamente fracas.
• Espaço de Probabilidade Unificado: Para analisar a convergência de uma sequência de soluções, é necessário um único espaço de probabilidade que suporte todas as soluções simultaneamente. O autor constrói este espaço como um produto infinito dos espaços de probabilidade associados a cada par de viscosidades $(\nu_h^k, \nu_z^k)$.
• Corretor de Fronteira: Seguindo a abordagem de Masmoudi (2010) para o caso determinístico, o autor utiliza um corretor de fronteira ($B$). Como a condição de contorno de Euler ($w \cdot n = 0$) é mais fraca que a de Navier-Stokes ($u=0$), a diferença $u - w$ não converge bem na fronteira. O corretor $B$ é construído para anular a velocidade na fronteira, permitindo estimativas de energia na diferença $v = u - w - B$.

3. Contribuições Chave

1. Generalização para Ruído Anisotrópico: É a primeira análise do limite invíscido para Navier-Stokes estocásticos com ruído de transporte onde a escala do ruído é anisotrópica e acoplada à viscosidade.
2. Tratamento de Ruído Não Livre de Divergência: O artigo desenvolve técnicas para lidar com operadores de transporte onde as funções de correlação espacial não são livres de divergência, um problema que não era tratado na literatura existente para fluidos incompressíveis.
3. Convergência para Euler Determinístico: O autor prova que, sob a condição $\nu_z / \nu_h \to 0$, as soluções estocásticas convergem para a solução forte da equação de Euler determinística, e não para uma equação de Euler estocástica. Isso resolve a questão da estrutura do ruído no limite.
4. Extensão do Critério de Kato: O trabalho adapta o critério de Kato para a convergência invíscida (que relaciona a convergência à dissipação de energia em uma camada limite) ao contexto estocástico anisotrópico, mostrando que a dissipação na camada limite vertical é controlada pela razão $\nu_z/\nu_h$.

4. Resultados Principais

O Teorema Principal (Teorema 3.2) estabelece que:
Dadas duas sequências de constantes positivas $(\nu_h^k)$ e $(\nu_z^k)$ tais que $\nu_h^k \to 0$ e $\nu_z^k / \nu_h^k \to 0$:

1. Existe um espaço de probabilidade filtrado e uma sequência de soluções fracas de martingala $(u^k, W^k)$ para as equações de Navier-Stokes estocásticas anisotrópicas.
2. A sequência $u^k$ converge para a solução forte $w$ da equação de Euler determinística no espaço $L^2(\Omega; L^\infty([0, T]; L^2_\sigma))$.
3. Os termos de dissipação viscosa convergem para zero:
   • $\nu_h^k \sum_{j=1}^2 \partial_j u^k \to 0$
   • $\nu_z^k \partial_3 u^k \to 0$
     no sentido $L^2(\Omega; L^2([0, T]; L^2_\sigma))$.

A prova utiliza estimativas de energia detalhadas na variável $v = u - w - B$, controlando termos não lineares, termos de ruído e os efeitos do corretor de fronteira, garantindo que os termos de erro desapareçam no limite.

5. Significância

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

• Modelagem Geofísica Realista: A anisotropia de viscosidade é uma característica fundamental em fluidos geofísicos (atmosfera e oceanos). O modelo captura a física de que a difusão vertical é suprimida pela rotação, enquanto a horizontal é amplificada.
• Avanço Teórico em EDPs Estocásticas: Resolve um problema aberto sobre a estrutura do ruído no limite invíscido, demonstrando que, com a escala correta ($\nu^{1/2}$), o ruído desaparece no limite, recuperando a dinâmica determinística de Euler, mesmo na presença de condições de contorno complexas.
• Rigor Matemático: O tratamento rigoroso da perda da propriedade de divergência nula nas funções de correlação do ruído abre caminho para futuros estudos de ruído em fluidos onde a incompressibilidade do ruído não é garantida ou é quebrada por escalas físicas.

Em resumo, o artigo estabelece uma ponte robusta entre a dinâmica de fluidos estocásticos anisotrópicos e a teoria clássica de limites invíscidos, validando a convergência para o Euler determinístico sob condições fisicamente relevantes para a geofísica.