A Classical Two-Part First-Threshold Proof of Global Smoothness for Navier--Stokes: Axisymmetric Swirl Closure and Full-System Reduction

Resumo Técnico: Uma Prova Clássica de Dois Estágios com Primeiro Limiar para a Regularidade Global das Equações de Navier–Stokes: Fechamento de Vórtice Axissimétrico e Redução do Sistema Completo

Enunciado do Problema
O artigo aborda o problema da regularidade global para as equações de Navier–Stokes incompressíveis tridimensionais:
$$\partial_t u + u \cdot \nabla u + \nabla p = \Delta u, \quad \nabla \cdot u = 0$$
em $\mathbb{R}^3$ com dados iniciais suaves, de energia finita e sem divergência. A dificuldade central reside na formação potencial de singularidades (explosão) em tempo finito. O autor, Rishad Shahmurov, propõe uma prova de que a continuação suave global ($T^* = \infty$) vale para todos esses dados iniciais.

Metodologia: O Argumento de Primeiro Limiar em Dois Estágios
A prova é estruturada como um argumento de "primeiro limiar em dois estágios". Assume-se a existência de um tempo terminal singular hipotético $T^*$ e tenta-se derivar uma contradição analisando um "pacote terminal de primeiro limiar canônico"—uma concentração normalizada de vorticidade e energia que existiria se uma singularidade fosse se formar.

Parte I: Fechamento de Vórtice Axissimétrico em Variáveis Elevadas em Cinco Dimensões
A Parte I estabelece a regularidade global para a classe específica de fluxos axissimétricos com vórtice.

• Elevação em Cinco Dimensões: O autor utiliza uma representação exata dos campos escalares axissimétricos como funções radiais SO(4) em um espaço de cinco dimensões ($\mathbb{R}^4_y \times \mathbb{R}_z$). Isso transforma os pesos cilíndricos singulares (por exemplo, $1/r$) em pesos radiais padrão, permitindo o uso de ferramentas padrão de análise harmônica em 5D.
• Variáveis Chave: A análise foca na razão de vorticidade elevada $G = \omega_\theta/r$ e no quadrado da derivada de vórtice regularizada $H = (u_\theta/r)^2$. A tensão $U = u_r/r$ é recuperada a partir de $G$ via um operador de ordem $-1$ (potencial de Riesz).
• O Mecanismo de Par: A dificuldade central é a fonte de derivada $-\partial_z H$ na equação de $G$ e o feedback compressivo $U[G]H^2$ na equação de $H$. A prova trata esses elementos como um mecanismo acoplado de "transferência de par" $(G, H)$, em vez de separá-los em termos principais e de erro.
• Ponte Suave vs. Ponte Estrita:
  • Ponte Suave: Estimativas clássicas (Hardy–Littlewood–Sobolev, Sobolev, interpolação, desigualdade de Young) são usadas para absorver pacotes "subcríticos" onde a massa local é pequena em relação à dissipação.
  • Ponte Estrita: Para os pacotes restantes "compacto-críticos" (onde o escalonamento está equilibrado), as desigualdades de norma clássicas são insuficientes porque não conseguem distinguir alinhamentos geométricos (sinais, paridade) que poderiam permitir uma saturação com coeficiente um. A prova introduz um argumento de estricteza terminal usando compacidade de estágio finito e uma identidade localizada de Pohozaev–Morawetz. Ao testar o perfil forte de ponto final contra homogeneidade de amplitude e dilatação, o autor deriva identidades incompatíveis que forçam um coeficiente estrito $\theta < 1$, contradizendo a saturação assumida.
• Recuperação: Uma vez que $G$ e $H$ são controlados, a variável de vórtice sem sinal $F = u_\theta/r$ é recuperada via uma equação de ordem inferior, estabelecendo limitação local e, portanto, regularidade global para esta classe.

Parte II: Redução de Primeiro Limiar do Sistema Completo
A Parte II reduz o problema 3D geral ao caso axissimétrico e ao caso 2D clássico.

• Canais de Defeito: Partindo de uma solução 3D singular hipotética, a prova decompõe potenciais obstruções em "canais de defeito": vazamento, efeitos de casca/cauda, fragmentação, tensão passiva, incompatibilidade de fase angular e rajadas de transferência temporal.
• Mecanismo Descendente: A prova emprega uma estratégia de "descendente de sobreposição finita". Se qualquer canal de defeito for não perturbativo (ou seja, grande demais para ser absorvido), ele gera um pacote "descendente" (escala menor, tempo anterior ou menos componentes) com uma pontuação corrigida positiva.
• Minimalidade Canônica: Ao selecionar um pacote terminal "canonicamente mínimo" (mínimo em tempo, escala e complexidade), a existência de qualquer tal descendente cria uma contradição.
• Rigidez de Defeito Zero: Se todos os canais de defeito desaparecem (defeito final zero), o limite terminal é rígido. A prova mostra que o limite deve ser ou:
  1. Localmente bidimensional: Excluído pela teoria clássica de Navier–Stokes 2D (Ladyzhenskaya, Temam, Galdi).
  2. Axissimétrico com vórtice: Excluído pelo resultado da Parte I.
• Conclusão: Como ambas as alternativas de defeito zero são regulares, e as alternativas de defeito positivo são descartadas pelo argumento descendente, nenhum pacote terminal singular pode existir.

Contribuições Principais

1. Elevação Exata 5D para Vórtice Axissimétrico: O artigo fornece um quadro rigoroso para tratar o problema axissimétrico-com-vórtice como um sistema parabólico escalar em 5D, isolando a fonte de derivada e o feedback compressivo em um único mecanismo de transferência de par.
2. Ponte Terminal Estrita: O autor demonstra que a análise harmônica clássica (estimativas de norma) não consegue fechar o caso crítico devido à "cegueira de forma". A prova introduz uma etapa de estricteza geométrica usando identidades de Pohozaev–Morawetz em perfis fortes de ponto final para romper o empate de escalonamento, forçando um coeficiente estritamente menor que um.
3. Quadro de Descendente de Sobreposição Finita: A Parte II categoriza sistematicamente todas as singularidades 3D potenciais em canais de defeito. Prova que qualquer defeito não perturbativo força a existência de um pacote "menor", o que contradiz a minimalidade da seleção de primeiro limiar.
4. Redução a Classes Conhecidas: A prova do sistema completo não depende de novas estimativas 3D, mas sim de um mecanismo de redução que canaliza qualquer singularidade potencial para a classe 2D ou para a classe axissimétrica-com-vórtice, ambas provadas como regulares.

Resultados
O artigo afirma provar o Teorema Principal 1.1 (Continuação global axissimétrica com vórtice) e o Teorema Principal 1.2 (Continuação global tridimensional). Especificamente, afirma que para qualquer dado inicial suave, de energia finita e sem divergência em $\mathbb{R}^3$, a solução correspondente de Navier–Stokes existe globalmente no tempo ($T^* = \infty$) e permanece suave.

Significado e Alegações
O artigo posiciona-se dentro do programa de "limiar direto", utilizando identidades de energia localizadas e contabilidade do tipo Caccioppoli, em vez de depender da regularidade épsilon de Caffarelli–Kohn–Nirenberg como uma caixa preta.

• Motivação: O autor observa que o problema axissimétrico-com-vórtice é um campo de teste central para a regularidade 3D porque retém o mecanismo de estiramento e a geometria singular, ao mesmo tempo que admite variáveis escalares exatas.
• Limitação das Estimativas Clássicas: O artigo argumenta explicitamente que as estimativas clássicas param no estágio da "ponte suave". Alega que, sem a etapa de "estricteza terminal" (testando a forma geométrica do pacote via identidades de Pohozaev), a prova não consegue excluir a possibilidade de um saturador com coeficiente um.
• Autocontenção: A prova é apresentada como autocontida em relação às estimativas utilizadas; todos os termos são definidos no texto, e a transição entre a Parte II (sistema completo) e a Parte I (axissimétrico) é feita de forma explícita.

O artigo não propõe novas aplicações experimentais ou esquemas numéricos futuros; sua contribuição é puramente analítica, visando resolver a conjectura de regularidade global através de uma decomposição específica do problema em um núcleo axissimétrico elevado em 5D e um front-end de redução 3D.