On the absence of anomalous dissipation for the Navier-Stokes equations with Navier boundary conditions: a sufficient condition

Resumo Técnico

1. Problema Investigado

O artigo aborda um dos problemas centrais da dinâmica de fluidos: o limite de viscosidade nula (vanishing viscosity limit) das equações de Navier-Stokes incompressíveis em um domínio limitado tridimensional, quando submetidas a condições de contorno de Navier (generalizadas).

O foco específico é a questão da dissipação anômala de energia. Em fluxos turbulentos, observa-se que, mesmo quando a viscosidade ($\nu$) tende a zero, a taxa de dissipação de energia pode não desaparecer, violando a conservação de energia esperada pelas equações de Euler (o limite invíscido). Este fenômeno está intimamente ligado à Conjectura de Onsager e à Lei de Kolmogorov de turbulência.

O objetivo principal é estabelecer uma condição suficiente para garantir a ausência de dissipação anômala e a convergência das soluções fracas de Leray-Hopf de Navier-Stokes para uma solução fraca das equações de Euler, sem fazer suposições sobre:

• O comportamento da pressão perto da fronteira.
• A existência de uma solução forte para as equações de Euler com os mesmos dados iniciais.

2. Metodologia e Estrutura Teórica

A. Formulação do Problema:
Os autores consideram as equações de Navier-Stokes com condições de contorno de Navier generalizadas:

1. Impermeabilidade: $u_\nu \cdot n = 0$ na fronteira $\partial\Omega$.
2. Condição de Navier Generalizada: $(D(u_\nu) \cdot n)_\tau + \lambda(\nu, x) \cdot u_\nu = 0$, onde $D(u)$ é a parte simétrica do gradiente (tensor de deformação) e $\lambda$ é uma função contínua não negativa definida na fronteira. Esta classe inclui condições de Robin e condições envolvendo vorticidade ou tensor de tensões.

B. Definição de Soluções Fracas:

• Navier-Stokes: Definem soluções fracas de Leray-Hopf que satisfazem uma desigualdade de energia e uma formulação fraca onde a condição de contorno de Navier é incorporada diretamente na equação integral (em vez de ser apenas uma condição de traço separada).
• Euler: Utilizam uma definição de solução fraca para as equações de Euler que exige regularidade Hölder ($C^{0,\alpha}$) para a velocidade e a pressão. Crucialmente, eles adotam a condição de contorno para a pressão derivada rigorosamente em trabalhos anteriores [4], que difere da condição clássica para soluções fortes.

C. Ferramentas Analíticas Principais:

• Regulamento de Pressão: O trabalho baseia-se em resultados recentes (Bardos, Boutros, Titi [4]) que mostram que a regularidade Hölder da velocidade se propaga para a pressão em soluções fracas das equações de Euler em 3D.
• Decomposição de Leray-Helmholtz: Utilizada para separar campos vetoriais em componentes solenoidais e gradientes, permitindo lidar com o termo de pressão na formulação fraca.
• Lema de Compactidade de Aubin-Lions: Empregado para extrair subsequências convergentes a partir das soluções de Navier-Stokes.
• Estimativas de Energia: Análise detalhada da desigualdade de energia de Leray-Hopf para controlar o termo de dissipação viscosa.

3. Resultados Principais

O teorema central (Teorema 6) estabelece que, se uma sequência de soluções fracas de Navier-Stokes $\{u_{\nu_k}\}$ (com $\nu_k \to 0$) satisfaz as seguintes condições:

1. Convergência Inicial: Os dados iniciais $u_{\nu_k, 0}$ convergem fortemente em $C^{0,\alpha}(\Omega)$ para um dado $u_0$.
2. Limites Uniformes: A sequência é uniformemente limitada em $L^\infty((0,T); C^{0,\alpha}(\Omega))$ e o termo $\nu_k^{1/2} \|u_{\nu_k}\|_{L^2((0,T); H^1(\Omega))}$ é limitado.

Então:

• Convergência: Qualquer limite fraco-$*$ $u$ é uma solução fraca das equações de Euler (no sentido da definição com regularidade Hölder e condição de contorno de pressão específica).
• Conservação de Energia: Se o expoente de Hölder satisfaz $\alpha > 1/3$, a solução limite $u$ conserva a energia ($L^2$-norma constante).
• Ausência de Dissipação Anômala: Sob a condição $\alpha > 1/3$, a taxa total de dissipação de energia (incluindo termos de volume e termos de fronteira associados a $\lambda$) converge para zero:
  $$\lim_{\nu_k \to 0} \left( 2\nu_k \int_0^T \|D(u_{\nu_k})\|_{L^2}^2 dt + 2\nu_k \int_0^T \int_{\partial\Omega} \lambda_{ij} (u_{\nu_k})_i (u_{\nu_k})_j d\sigma dt \right) = 0$$
• Existência de Subsequência Forte: Existe pelo menos uma subsequência que converge fortemente em $C([0,T]; L^2(\Omega))$.

4. Contribuições Chave e Inovações

1. Independência da Existência de Solução Forte de Euler: Diferente do critério clássico de Kato (para condições de contorno de aderência/no-slip), este resultado não assume a existência prévia de uma solução forte e regular das equações de Euler. A convergência é provada para soluções fracas com regularidade Hölder.
2. Sem Hipóteses sobre a Pressão na Fronteira: O trabalho elimina a necessidade de supor regularidade específica ou comportamento conhecido da pressão na fronteira para provar a ausência de dissipação anômala, utilizando a nova teoria de regularidade da pressão para soluções fracas.
3. Generalização das Condições de Contorno: O resultado aplica-se a uma classe ampla de condições de Navier (incluindo vorticidade e tensão), que são fisicamente mais realistas para certos fluxos de deslizamento e geram camadas limite mais fracas do que as condições de aderência (no-slip).
4. Refinamento da Condição de Regularidade: O artigo mostra que a condição de regularidade uniforme $C^{0,\alpha}$ com $\alpha > 1/3$ é suficiente para garantir a conservação de energia e a ausência de dissipação anômala, alinhando-se com a Conjectura de Onsager, mas estendendo-a para o contexto de limite de viscosidade com condições de contorno deslizantes.

5. Significado e Impacto

Este trabalho representa um avanço significativo na teoria matemática da turbulência e na análise assintótica das equações de fluidos:

• Resolução de um Problema Aberto: Fornece uma via rigorosa para entender quando a dissipação anômala não ocorre em domínios limitados com condições de deslizamento, um cenário onde a análise é frequentemente mais complexa do que no caso periódico ou no caso de no-slip.
• Validação do Limite Invíscido: Estabelece que, sob condições de regularidade adequadas (Hölder > 1/3), o limite de viscosidade nula é bem-comportado e preserva a energia, mesmo na presença de fronteiras físicas.
• Conexão com a Conjectura de Onsager: Reforça a ideia de que a regularidade de Hölder é o limiar crítico para a conservação de energia em fluidos ideais, mesmo quando derivados de sistemas viscosos com condições de contorno complexas.
• Aplicabilidade: Os resultados são relevantes para modelagem de fluxos em superfícies com deslizamento, microfluídica e estudos de turbulência onde as condições de contorno de aderência total não são fisicamente apropriadas.

Em suma, o artigo demonstra que a "anomalia" de dissipação de energia não é inevitável em todos os cenários de limite de viscosidade; ela pode ser evitada se a sequência de soluções mantiver uma regularidade espacial uniforme suficiente, independentemente da existência de soluções clássicas para o sistema invíscido.