Large-Data Global Regularity for Three-Dimensional Navier--Stokes I: A Direct First-Threshold Continuation Proof for the Axisymmetric Swirl Class

Resumo Técnico: Regularidade Global para Grandes Dados das Equações de Navier–Stokes Tridimensionais I

Enunciado do Problema
O artigo aborda o problema da regularidade global para as equações de Navier–Stokes tridimensionais incompressíveis, especificamente dentro da classe de soluções axisimétricas com vorticidade. Enquanto a regularidade global é conhecida para fluxos axisimétricos sem vorticidade (onde a componente de vorticidade se anula), a presença de vorticidade introduz um termo fonte derivativo na equação para a razão de vorticidade elevada $G = \omega_\theta/r$. Este termo fonte, gerado pela vorticidade $\Gamma = r u_\theta$, torna o problema genuinamente crítico, pois impede a aplicação direta dos princípios do máximo clássicos que valem para o caso sem vorticidade. O artigo visa provar que, para dados iniciais suaves, sem divergência, axisimétricos com vorticidade em $H^1(\mathbb{R}^3)$, a correspondente solução suave existe globalmente no tempo ($T_{\max} = \infty$).

Metodologia e Estrutura
A prova emprega um argumento de continuação direto de primeiro limiar, organizado como a primeira parte de uma série de dois artigos. A metodologia diverge dos critérios de regularidade condicional ao tentar provar que um "primeiro limiar" de concentração não pode ocorrer.

1. Variáveis Elevadas e Geometria:
   A análise é conduzida em uma geometria elevada de cinco dimensões $(y, z) \in \mathbb{R}^4 \times \mathbb{R}$, onde $r = |y|$. As variáveis primárias são:

   • $\Gamma = r u_\theta$ (vorticidade).
   • $G = \omega_\theta / r$ (razão de vorticidade elevada).
     A medida natural é $d\mu_5 = r^3 dr dz$, e o Laplaciano é $\Delta_5$. A equação para $G$ é tratada como uma equação de transporte-difusão com um termo de recuperação não local e uma fonte derivativa $-\partial_z(\Gamma_e^2)$.

2. Quantidades Chave:

   • Pontuação Axisial ($Q_\rho$): Uma medida invariante de escala da concentração de $G$ em um centro e escala específicos.
   • Visibilidade Dirichlet Completa ($V_\chi$): Uma quantidade coerciva que mede a dissipação Dirichlet central e a massa visível no colar de transição de um pacote localizado.
   • Erro de Limiar Finito ($E_{fin}$): Um termo de erro composto que compreende vazamento (massa/energia do colar), cauda (cascas diádicas exteriores), resíduos de baixa frequência e concentração da fonte.

3. O Mecanismo de Primeiro Limiar:
   O argumento assume, por contradição, que o envelope de pontuação axisial crítica $Max(t)$ torna-se ilimitado. Define-se um tempo de primeiro limiar $t^*$ onde $Max(t)$ atinge pela primeira vez um valor grande $M^*$. Neste tempo, um pacote mínimo de primeiro limiar (um cilindro axial reverso normalizado) é selecionado com base em uma ordenação específica (tempo anterior, escala menor, menos componentes, etc.).

Contribuições Principais e Resultados Técnicos

A prova depende de três ingredientes quantitativos para mostrar que um pacote mínimo de primeiro limiar não pode existir:

1. Ponte Dirichlet Completa Estrita:
   O artigo estabelece uma desigualdade estrita relacionando o termo de transferência não local $T_{G,\chi}[G]$ à visibilidade $V_\chi[G]$:
   $$|T_{G,\chi}[G]| \le \theta V_\chi[G] + C E_{dir}[G], \quad 0 < \theta < 1$$
   O coeficiente $\theta < 1$ é derivado por meio de um argumento de Ekeland–Pohozaev restrito em uma classe admissível de "erro zero". Ao analisar a homogeneidade do termo de transferência (grau $3/2$) versus o termo de visibilidade (grau $2$) sob dilatação, os autores provam que nenhuma sequência pode saturar o quociente de transferência no nível 1 ou superior sem violar as restrições variacionais.

2. Extração de Descendentes com Sobreposição Finita:
   O artigo prova que, se qualquer componente do erro de limiar finito (vazamento, cauda, fonte, baixa frequência ou fragmentação) for grande, isso necessariamente produz um pacote descendente com uma ordem de seleção estritamente menor e uma pontuação corrigida positiva.

   • Vazamento/Cauda/Baixa Frequência: Valores grandes nestes canais permitem a extração de um subpacote (recentralizado ou deslocado) carregando uma fração da pontuação.
   • Conversão Fonte-Pontuação: Um lema crítico demonstra que uma grande fonte derivativa $-\partial_z(\Gamma_e^2)$ pode ser convertida em um descendente de pontuação $G$ positiva usando um pacote adjunto de calor adaptado ao sinal. Esta etapa isola a contribuição do forçamento de vorticidade para a concentração de vorticidade.

3. Contração de Pacote e Dicotomia:
   Para um pacote de primeiro limiar mínimo (aquele que não possui descendentes de pontuação comparável), a extração com sobreposição finita implica que todos os termos de erro devem ser perturbativos (pequenos). Consequentemente, a ponte estrita e o balanço de energia local contraem a pontuação do pacote, levando a uma contradição: a pontuação do pacote não pode ser grande o suficiente para constituir um limiar se todos os erros forem pequenos.

Resultado Principal
Teorema 2.1: Seja $u_0 \in H^1(\mathbb{R}^3)$ suave, sem divergência e axisimétrico com vorticidade. A correspondente solução suave $u$ existe globalmente ($T_{\max} = \infty$) e permanece suave para todo o tempo.

A prova procede mostrando que, se uma singularidade se formasse em um tempo finito $T$, o envelope crítico $Max(t)$ necessariamente explodiria. No entanto, o argumento de primeiro limiar demonstra que $Max(t)$ não pode exceder um limite finito determinado pela energia inicial, prevenindo assim a formação de uma singularidade.

Significado e Alegações
O artigo alega fornecer uma prova direta da regularidade global para esta classe, evitando a necessidade de critérios de regularidade condicional que assumem a limitação de certas normas.

• Diretividade: O argumento é organizado em torno da não existência de um "primeiro limiar" em vez da propagação de limites a partir de um estado regular conhecido.
• Isolamento de Mecanismo: O artigo isola os mecanismos locais específicos necessários para o fechamento axisimétrico: a ponte estrita (via Ekeland–Pohozaev), a conversão fonte-pontuação e a extração com sobreposição finita.
• Papel na Série: Este artigo (Parte I) estabelece o teorema de fechamento para a classe axisimétrica com vorticidade. Os autores afirmam que o artigo companheiro Parte II utiliza este resultado apenas após um mecanismo de front-end tridimensional reduzir um pacote geral de primeiro limiar à classe de compatibilidade axisimétrica com vorticidade.

O trabalho depende de insumos analíticos padrão (teoria de Calderón–Zygmund, estimativas de Hardy–Littlewood–Sobolev, princípio variacional de Ekeland e iteração de De Giorgi–Moser), mas sintetiza-os em um novo framework "direto-de-limiar" adaptado à geometria elevada de cinco dimensões do problema de vorticidade axisimétrica.