Large-Data Global Regularity for Three-Dimensional Navier--Stokes II: A Direct First-Threshold Continuation Proof for the Full System

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

Enunciado do Problema
Este artigo aborda o problema da regularidade global para as equações de Navier–Stokes tridimensionais incompressíveis com dados iniciais grandes. Especificamente, serve como a segunda parte de uma série de dois artigos destinada a provar que soluções suaves existem para todo o tempo ($T^* = \infty$) sem que a solução desenvolva uma singularidade em tempo finito. Enquanto o artigo companheiro, Parte I, estabeleceu a regularidade global para a classe axisimétrica com vorticidade (swirl) usando um método de continuação direta de primeiro limiar, a Parte II enfrenta a frente "genuinamente tridimensional" do sistema completo. O desafio central é demonstrar que nenhum pacote de "primeiro limiar" — uma região localizada onde a pontuação de vorticidade invariante de escala atinge um valor crítico grande — pode persistir ou crescer sem contrair ou reduzir-se a um caso regular conhecido.

Metodologia
A prova emprega um argumento de "continuação direta de primeiro limiar" centrado em um envelope crítico combinado, denotado por $M_{crit}(t)$. Este envelope rastreia o supremo de uma pontuação local de vorticidade invariante de escala ($Q_{3D}$) sobre todas as localizações e escalas espaciais, acrescido de um componente axisimétrico ($M_{ax}$) derivado da Parte I.

A metodologia procede via um argumento por contradição:

1. Suposição de Blow-up: Assume-se que $M_{crit}(t)$ atinge um limiar grande $M^*$ em um tempo finito $t^*$.
2. Seleção de Pacote: Um pacote mínimo de "primeiro limiar" $Q^*$ é selecionado com base em uma ordenação específica (tempo mais cedo, menor escala, menos componentes, etc.).
3. Descida de Sobreposição Finita: A prova analisa os erros associados a $Q^*$ (vazamento, defeitos de casca, exportação de cauda, tensão passiva, defeitos de fase/estagnação/paridade). Utiliza-se um mecanismo de "sobreposição finita" para mostrar que qualquer erro não perturbativo nessas categorias força a existência de um pacote "descendente" $Q'$ com uma pontuação comparável, mas uma ordem de seleção estritamente menor.
4. Rigidez e Dicotomia: Se nenhum descendente for produzido (implicando que todos os erros são perturbativos), o pacote deve satisfazer uma condição de "defeito final zero". O artigo introduz trios de Littlewood–Paley angulares e rigidez de quadro ativo para classificar esses pacotes de defeito zero.
5. Redução: A análise prova que qualquer pacote de defeito final zero deve ser ou localmente bidimensional ou axisimétrico com vorticidade. O primeiro é tratado pela regularidade clássica 2D, e o último pelo teorema da Parte I.

Contribuições e Mecanismos Chave

• Envelope Crítico Combinado: A introdução de $M_{crit}(t)$ unifica a análise 3D completa com os resultados axisimétricos, permitindo que a prova trate o sistema completo ao reduzir estruturas 3D complexas a limites 2D ou axisimétricos.
• Rigidez de Quadro Ativo: Uma contribuição central é a definição de um espaço de rótulos "de quadro ativo" de dimensão finita derivado de trios angulares ressonantes. O artigo define funcionais de defeito ($D_{phase}, D_{stall}, D_{netpar}$) que medem o desvio de configurações geométricas rígidas.
  • Teorema 4.4/4.5: Estabelece uma lacuna quantitativa: se a soma desses defeitos for pequena, a medida do quadro ativo do pacote deve estar próxima de um de dois conjuntos rígidos: $Z_{2D}$ (quadro de estiramento constante, localmente 2D) ou $Z_{ax}$ (órbita azimutal física $m=1$, axisimétrico com vorticidade).
• Visibilidade da Tensão Passiva: O artigo introduz uma desigualdade de "sem matéria escura" (Proposição 2.7, Lema 4.6) provando que as contribuições de tensão passiva não podem permanecer invisíveis para o defeito final. Se a tensão passiva for não perturbativa, ela deve manifestar-se como um defeito mensurável (vazamento, casca, fase, etc.) ou ser absorvida na dissipação local.
• Extração de Descendente por Sobreposição Finita: O Teorema 6.6 formaliza o mecanismo onde grandes erros nos canais de vazamento, casca, cauda, fase ou fragmentação são convertidos em um novo pacote (descendente) com um limite inferior garantido em sua pontuação. Isso impede que o pacote de "primeiro limiar" seja um contraexemplo mínimo se tais erros existirem.

Resultados Principais

• Teorema 2.1 (Continuação Direta Tridimensional Completa): Para qualquer dado inicial suave e de divergência nula $u_0 \in C_c^\infty(\mathbb{R}^3)$, a solução suave correspondente existe globalmente ($T^* = \infty$).
• Limitação do Envelope: Para qualquer tempo finito $T$, o envelope crítico combinado permanece limitado: $\sup_{0<t<T} M_{crit}(t) \leq C(E_0, T)$, onde $E_0$ é a energia inicial $L^2$.
• Teorema 4.8 (Sem Candidato de Defeito Final Zero de Dimensão Completa): O artigo prova que nenhum pacote singular "genuinamente tridimensional" pode existir com defeitos finais nulos. Qualquer tal pacote é forçado para as classes localmente 2D ou axisimétricas com vorticidade, ambas conhecidas por serem regulares.

Significado e Alegações
O artigo alega fornecer uma prova completa e direta da regularidade global para as equações de Navier–Stokes 3D ao fechar a "frente" do problema. Seu significado reside em:

1. Completar a Série: Preenche a lacuna entre o caso axisimétrico (Parte I) e o sistema 3D completo, demonstrando que o sistema completo não admite novos tipos de singularidades que não sejam capturados pelas reduções axisimétricas ou 2D.
2. Mecanismo Direto de Limiar: Diferentemente de resultados de regularidade condicional que assumem um limite em uma norma específica, esta prova constrói uma contradição direta: se uma singularidade fosse se formar, um pacote mínimo existiria, mas a análise estrutural (rigidez, visibilidade, descida) prova que tal pacote não pode existir.
3. Rigidez Estrutural: O trabalho estabelece que as únicas possíveis geometrias "estáveis" para um pacote de alta pontuação no limite de defeito zero são as configurações clássicas 2D e axisimétricas com vorticidade. Todas as outras geometrias 3D complexas (fases helicoidais, misturas de múltiplos eixos, enrolamentos superiores) mostram-se possuir defeitos não nulos que ou dissipam energia estritamente ou geram descendentes, impedindo assim a formação de singularidades.

O artigo depende do teorema da Parte I companheira como entrada de ponto final para a ramificação axisimétrica, mas não o utiliza para provar as estimativas microlocais para a frente 3D geral. A prova é autocontida em relação aos mecanismos que excluem singularidades genuinamente 3D.