The Nonlocal-to-Local Limit for the Inviscid Leray-α Equations

Resumo Técnico: O Limite Não Local-para-Local das Equações de Leray-$\alpha$ Inviscidas

Enunciado do Problema
Este artigo investiga as equações de Leray-$\alpha$ inviscidas, uma regularização não local das equações de Euler incomprimíveis. O sistema é definido em um domínio $\Omega \subseteq \mathbb{R}^d$ ($d=2,3$) com um parâmetro de escala de comprimento $\alpha > 0$. As equações relacionam a velocidade filtrada $u_\alpha$ à velocidade física $v_\alpha$ através da relação do operador de Helmholtz $v_\alpha = u_\alpha - \alpha^2 \Delta u_\alpha$ (ou, mais genericamente, $u_\alpha = K_\alpha * v_\alpha$), enquanto a equação de momento é $\partial_t v_\alpha + (u_\alpha \cdot \nabla)v_\alpha + \nabla p_\alpha = 0$.

O objetivo principal é estabelecer a convergência das soluções das equações de Ler-$\alpha$ para as soluções das equações de Euler conforme o parâmetro de regularização $\alpha \to 0$. Os autores abordam dois regimes distintos:

1. Soluções Fortes: Convergência em espaços de Sobolev de alta regularidade ($H^s$ com $s > d/2 + 1$) no espaço todo $\mathbb{R}^d$.
2. Soluções Fracas: Convergência em $L^2$ em domínios limitados, assumindo dados iniciais em $L^2$ e uma propriedade de escala local específica relacionada à teoria da turbulência, sem assumir regularidade superior.

Metodologia

Parte 1: Soluções Fortes e Kernels Gerais
Os autores adaptam técnicas do trabalho de Masmoudi sobre o limite inviscido de Navier-Stokes e do trabalho de Linshiz e Titi sobre o modelo Euler-$\alpha$. Uma distinção metodológica fundamental é que a prova para o modelo Leray-$\alpha$ é conduzida sem utilizar a estrutura de vorticidade do sistema, ao contrário das provas de Euler-$\alpha$ que dependem fortemente da equação de vorticidade.

A estratégia de prova envolve uma decomposição em três partes para estimar a diferença entre a solução de Leray-$\alpha$ $v_\alpha$ e a solução de Euler $v$:

1. Regularização dos Dados Iniciais: Os dados iniciais $v_0$ e $v_\alpha^0$ são suavizados usando um corte no espaço de Fourier (parâmetro $\delta$) para criar $v_0^\delta$ e $v_\alpha^{0,\delta}$.
2. Desigualdade Triangular: O erro $\|v_\alpha - v\|$ é dividido em três termos:
   • $\|v_\alpha - v_\alpha^\delta\|$: A diferença entre a solução de Leray-$\alpha$ com dados originais e a solução de Leray-$\alpha$ com dados suavizados.
   • $\|v_\alpha^\delta - v^\delta\|$: A diferença entre a solução suavizada de Leray-$\alpha$ e a solução suavizada de Euler.
   • $\|v^\delta - v\|$: A diferença entre a solução suavizada de Euler e a solução original de Euler.
3. Generalização do Kernel: Os autores mantêm um kernel geral $K_\alpha$ durante toda a derivação, especificando apenas as propriedades necessárias para a convergência (limitante em $H^l$ e convergência para a identidade). O kernel de Helmholtz específico é aplicado apenas no passo final para derivar taxas de convergência explícitas.

Parte 2: Soluções Fracas e Escala Local
Para o regime de solução fraca, os autores assumem dados iniciais em $L^2$ e impõem uma propriedade de escala local (Equação 12) longe da fronteira. Esta condição limita a função de estrutura de segunda ordem:
$$\sup_{\alpha>0} \int_0^T \int_K |v_\alpha(x+y, t) - v_\alpha(x, t)|^2 dx dt \leq E_K |y|^{2\gamma}$$
para $|y| \geq \eta(\alpha)$. Esta suposição é motivada pela teoria da turbulência de Kolmogorov de 1941 e pelo intervalo inercial, mas crucialmente, não implica regularidade clássica.

A prova de convergência segue a abordagem de [19] e [20] para o limite de viscosidade evanescente. Ela utiliza uma técnica de suavização com uma função de teste $j(z)$ para decompor o termo não linear $(u_\alpha \otimes v_\alpha)$. A prova demonstra que a diferença entre os termos não lineares de Leray-$\alpha$ e Euler desaparece ao dividir o erro em três componentes (A, B, C) envolvendo campos suavizados e utilizando a convergência fraca de $v_\alpha$ para $v_\infty$ e a convergência forte dos campos suavizados.

Principais Contribuições e Resultados

1. Convergência de Soluções Fortes (Teorema 1):

   • Os autores provam que, para dados iniciais em $H^s(\mathbb{R}^d)$ ($s > d/2 + 1$), as soluções fortes das equações de Leray-$\alpha$ convergem para a solução forte das equações de Euler em $L^\infty(0, T; H^s)$ conforme $\alpha \to 0$.
   • Taxas Explícitas: Eles derivam taxas de convergência para normas inferiores $H^{s'}$ ($0 \leq s' \leq s-1$). A taxa depende do erro dos dados iniciais e de um termo proporcional a $\alpha^\iota t$, onde $\iota$ depende da lacuna entre $s$ e $s'$.
   • Kernels Gerais (Corolário 1): Os resultados são estendidos a uma ampla classe de kernels regularizadores $K_\alpha$, desde que satisfaçam propriedades específicas de limitância e aproximação.

2. Convergência de Soluções Fracas (Teorema 2):

   • Em um domínio limitado, se uma sequência de soluções fracas satisfaz a propriedade de escala local (12) e converge fracamente em $L^2$, o limite é uma solução fraca para as equações de Euler.
   • A solução limite $v_\infty$ herda a propriedade de escala.
   • Este resultado acomoda soluções fracas "selvagens" que podem exibir dissipação anômala de energia (consistente com a Lei Zero de Kolmogorov), distinguindo-as de soluções fortes que conservam energia.

3. Distinção Metodológica:

   • O artigo observa explicitamente que a prova para Leray-$\alpha$ não depende da formulação de vorticidade, o que é uma mudança significativa em relação à literatura sobre modelos Euler-$\alpha$. Isso permite a investigação da convergência para uma classe mais geral de kernels.

Significância e Alegações

Os autores posicionam este trabalho como o tratamento de questões fundamentais relativas ao modelo de Leray-$\alpha$ inviscido, que recebeu comparativamente pouca atenção na literatura em comparação com o modelo Euler-$\alpha$ ou modelos de Leray-$\alpha viscosos.

• Limite Não Local-para-Local: O artigo estabelece o vínculo matemático rigoroso entre a regularização não local de Leray-$\alpha$ e as equações de Euler locais, confirmando a validade do modelo como um esquema de regularização.
• Comparação com Outros Limites: Os autores observam que as taxas de convergência em relação à ordem de $\alpha$ são comparáveis às encontradas no limite inviscido de Navier-Stokes (Masmoudi [40]) e no limite Euler-$\alpha$ (Linshiz e Titi [34]).
• Conexão com a Turbulência: Ao utilizar a propriedade de escala local na análise de solução fraca, o artigo conecta a convergência matemática às teorias físicas de turbulência (funções de estrutura de Kolmogorov), permitindo a convergência de soluções que podem não ser suaves.
• Condições de Fronteira: O trabalho esclarece o tratamento das condições de fronteira, observando que a suposição de escala é aplicada longe da fronteira para evitar complicações com camadas limites, uma dificuldade conhecida em limites inviscidos.

O artigo conclui que as equações de Leray-$\alpha$ inviscidas fornecem uma regularização não local robusta das equações de Euler, com propriedades de convergência que se mantêm tanto para regimes suaves quanto turbulentos (fracos) sob suposições apropriadas.