Uniform large deviations and long-time dynamics for the 2D anisotropic Navier-Stokes equations on the torus

Resumo Técnico: Grandes Desvios Uniformes e Dinâmica de Longo Prazo para as Equações de Navier-Stokes Anisotrópicas 2D no Toro

Enunciado do Problema
Este artigo investiga as equações estocásticas de Navier-Stokes incompressíveis bidimensionais no toro $\mathbb{T}^2$ sujeitas apenas a dissipação horizontal e ruído aditivo. O sistema é definido por:
$$du^\varepsilon + (u^\varepsilon \cdot \nabla)u^\varepsilon dt + \nabla p^\varepsilon dt - \partial_1^2 u^\varepsilon dt = \sqrt{\varepsilon} Q^{1/2} dW, \quad \nabla \cdot u^\varepsilon = 0,$$
onde o operador de dissipação $A = -P\partial_1^2$ atua exclusivamente na direção horizontal. A ausência de dissipação vertical cria um núcleo de dimensões infinitas de estados estacionários (modos de cisalhamento puramente verticais) que são imunes ao mecanismo dissipativo. Os autores abordam três desafios primários: estabelecer um Princípio de Grandes Desvios (LDP) uniforme para trajetórias de solução no espaço de energia sem depender de compacidade exponencial; analisar as propriedades de mistura de longo prazo; e caracterizar a estrutura das medidas invariantes na presença desta dissipação degenerada.

Metodologia
A análise procede através de três pilares metodológicos distintos:

1. Princípio de Grandes Desvios (LDP) Uniforme:
   Os autores empregam a abordagem de convergência fraca combinada com um princípio de contração uniforme.

   • Análise Linear: Eles primeiro estabelecem um LDP para o processo de Ornstein-Uhlenbeck linear $z^\varepsilon$ no espaço auxiliar $G = C([0, T]; H) \cap L^2(0, T; \tilde{H}^{1,1})$. Isso baseia-se na prova de estimativas a priori para a equação esqueleto e na compacidade do mapa de solução para controles limitados.
   • Mapeamento Não Linear: Um passo crucial envolve a construção de um mapa não linear $F_x: G \to C([0, T]; H)$ que envia a órbita linear para a solução da equação estocástica completa. Os autores provam uma estimativa Lipschitz uniforme para este mapa em conjuntos limitados de dados iniciais. Esta estimativa utiliza uma manipulação algébrica inovadora de desigualdades de Gagliardo-Nirenberg anisotrópicas e a condição de divergência nula para controlar o termo não linear $(u \cdot \nabla)u$.
   • Princípio de Contração: Ao aplicar o princípio de contração uniforme de Wang, eles derivam o LDP para o sistema não linear. Esta abordagem contorna a necessidade da condição de compacidade exponencial tipicamente exigida em provas clássicas de LDP para SPDEs, uma vez que a continuidade Lipschitz é estabelecida em todo o espaço auxiliar $G$.

2. Dinâmica de Longo Prazo (Mistura Exponencial):
   Os autores analisam a falha da mistura exponencial identificando um estado estacionário determinístico específico $u_0 = (\sin x_2, 0)$ que reside no núcleo do operador de Stokes horizontal. Como este modo possui derivada horizontal nula, o termo de dissipação desaparece, e o termo não linear também desaparece para este perfil específico. Consequentemente, a norma $L^2$ da diferença entre este estado estacionário e a solução zero permanece constante no limite determinístico. Os autores utilizam um argumento de contradição para mostrar que este modo não amortecido impede que o sistema estocástico satisfaça uma estimativa de mistura exponencial uniforme, mesmo com ruído pequeno.

3. Medidas Invariantes:
   O artigo investiga a existência e a estrutura de medidas invariantes contrastando os casos determinístico e estocástico:

   • Caso Determinístico: O núcleo de dimensões infinitas $N$ do operador $A$ consiste inteiramente de estados estacionários. Assim, cada medida de Dirac $\delta_u$ para $u \in N$ é uma medida invariante, resultando em infinitas medidas invariantes distintas.
   • Caso Estocástico: Os autores constroem um ruído degenerado específico onde o alcance da covariância do ruído reside inteiramente dentro do núcleo $N$. Eles provam que qualquer medida invariante para este sistema deve ser ortogonal a $N$ (ou seja, $\mu(N) = 0$). A prova demonstra que, se uma medida invariante carregasse $N$, a restrição da dinâmica a $N$ se comportaria como um processo Gaussiano com variância crescendo linearmente em um espaço de dimensões infinitas, o que não admite nenhuma medida de probabilidade invariante.

Principais Resultados

• LDP Uniforme: O artigo prova um LDP de Freidlin-Wentzell uniforme para as trajetórias de solução no espaço de energia $C([0, T]; H)$, uniformemente sobre conjuntos limitados de dados iniciais em $\tilde{H}^{0,1}$. Este é o primeiro resultado deste tipo para equações de Navier-Stokes anisotrópicas no espaço de energia, alcançado sem exigir compacidade exponencial ou amortecimento adicional.
• Falha da Mistura Exponencial: É rigorosamente provado que as equações de Navier-Stokes anisotrópicas no toro não exibem mistura exponencial. A existência de um núcleo de dimensões infinitas de modos de cisalhamento vertical, que são preservados pelas condições de contorno periódicas, impede que o sistema esqueça as condições iniciais exponencialmente rápido.
• Estrutura da Medida Invariante:
  • No limite determinístico, o sistema possui infinitas medidas de Dirac invariantes correspondentes ao núcleo do Laplaciano horizontal.
  • Sob ruído aditivo degenerado atuando dentro do núcleo, qualquer medida invariante existente deve ser ortogonal ao núcleo. O artigo demonstra ainda que, sob tal ruído, o próprio núcleo não suporta nenhuma medida invariante.

Significância e Alegações
Os autores posicionam este trabalho como uma distinção nítida entre equações anisotrópicas no toro e tanto as equações de Navier-Stokes totalmente dissipativas quanto as equações anisotrópicas com condições de contorno de não-deslizamento (Dirichlet).

• Contraste com Condições de Dirichlet: Em domínios limitados com condições de não-deslizamento, a desigualdade de Poincaré anisotrópica é válida, o núcleo é trivial e a ergodicidade única (mistura exponencial) foi estabelecida (citando Sun, Qiu e Tang). No toro, as condições de contorno periódicas preservam o núcleo de dimensões infinitas, alterando fundamentalmente o comportamento de longo prazo.
• Avanço Metodológico: A derivação do LDP uniforme sem compacidade exponencial é destacada como uma contribuição técnica significativa, baseando-se na regularidade específica do processo linear no espaço auxiliar $G$ e na continuidade Lipschitz uniforme do mapa não linear.
• Estrutura Conceitual: O artigo fornece um quadro para entender sistemas parcialmente dissipativos, identificando o núcleo do operador de dissipação como a principal obstrução à estabilidade estatística. Sugere que, embora os modos verticais não amortecidos impeçam a mistura exponencial, o termo não linear permanece como o único mecanismo potencial de transferência de energia para os modos horizontais dissipativos, embora a existência de uma medida invariante global para o caso estocástico geral permaneça uma questão aberta ligada à eficiência desta cascata de energia.

Os autores concluem que seus resultados esclarecem o papel das condições de contorno na determinação da dinâmica qualitativa de longo prazo de modelos de fluidos anisotrópicos e oferecem uma perspectiva estrutural aplicável a estudos futuros de sistemas parcialmente dissipativos, como MHD anisotrópica e equações primitivas.