Finite-Window Singularity Audits and Local-to-Clean Defect Transfer for Navier-Stokes

Resumo Técnico: Auditorias de Singularidade de Janela Finita e Transferência de Defeito Local-para-Limpo para Navier–Stokes

1. Enunciado do Problema
O artigo aborda o problema da regularidade local para as equações de Navier–Stokes incompressíveis tridimensionais. Especificamente, investiga os requisitos estruturais para um "ramo não-CKN"—uma sequência de escalas onde uma solução fraca adequada falha em entrar no regime de pequena magnitude de Caffarelli–Kohn–Nirenberg (CKN), o que, de outra forma, garantiria a regularidade local. A questão central é: se uma singularidade persiste através das escalas, quais mecanismos precisos permitem que ela sobreviva a observações de janela finita, esconda-se de observáveis padrão e se reproduza de escala para escala permanecendo realizável pela equação de Navier–Stokes?

O artigo não pretende provar a regularidade das soluções de Navier–Stokes nem construir uma solução singular. Em vez disso, visa reduzir o problema de potenciais singularidades a uma obstrução algébrica e analítica altamente estruturada.

2. Metodologia
O artigo emprega uma estrutura de duas partes: uma Auditoria de Singularidade de Janela Finita e uma Transferência de Defeito Local-para-Limpo.

• A Auditoria (Pagamento e Ocultação): Os autores modelam a persistência da "maldade" (quantidades de escala crítica) como um livro-razão financeiro. Eles demonstram que, para um ramo não-CKN persistir, ele deve gerar ou "suprimento crítico não tributado" (energia ou fluxo não dissipado) ou "acúmulo de vazamento" (perdas devido a cortes e localização). Isso é formalizado através de uma desigualdade de livro-razão crítico de escala finita derivada da desigualdade de energia local e estimativas de interpolação padrão.
• A Transferência (Local-para-Limpo): O artigo constrói um mapeamento entre pacotes de defeitos "localizados" (que contêm artefatos como cortes, caudas de pressão harmônica e erros de truncamento inerentes à análise de janela finita) e pacotes de defeitos "limpos" (modelos de dimensão finita onde esses artefatos são removidos ou explicitamente contabilizados). A ferramenta técnica central é um teorema de transferência algébrica que eleva um "gap anti-fantasma limpo" (uma estimativa coerciva no modelo limpo) de volta ao cenário localizado, desde que entradas estruturais específicas sejam mantidas.

3. Contribuições e Inovações Principais
O artigo introduz quatro inovações primárias:

1. Livro-Razão de Pagamento de Escala Finita: Uma alternativa quantitativa mostrando que a persistência de maldade crítica força o suprimento não tributado acumulado ou o vazamento. Isso converte a questão qualitativa de "existe uma singularidade?" em um problema de contabilidade quantitativa.
2. Auditoria de Defeito Realizável por NS: Um filtro rigoroso que distingue "fantasmas formais" (vetores do núcleo algébrico de mapas de observação) de "obstruções de NS". Uma obstrução perigosa deve satisfazer equações de momento grosseiras, compatibilidade de pressão, positividade de Reynolds e a identidade de fluxo de energia herdada de soluções fracas adequadas.
3. Teorema de Transferência Local-para-Limpo: Um resultado algébrico afirmando que, se um modelo de detecção limpa possui um gap anti-fantasma coercivo, e se a elevação de quociente, a comparação de detecção componente a componente e a normalização de resíduo forem mantidas, então os defeitos não-gauge localizados são quantitativamente detectados.
4. Mapa de Fechamento de Orçamento de Resíduo: Uma decomposição sistemática de todos os erros potenciais que obstruem a transferência (caudas de pressão, vazamento de corte, perda de truncamento, incompatibilidade não linear, deriva de reprodução, incompatibilidade de gauge e discrepância de lucro) em entradas explícitas de livro-razão de janela finita.

4. Resultados Principais

• Teorema 3.3 (Alternativa de Sobrevivência de Escala Finita): Ao longo de qualquer cadeia de janela de escala admissível, se a maldade do reservatório permanecer limitada inferiormente, a soma cumulativa do suprimento não tributado menos os impostos deve ser positiva, ou o vazamento acumulado deve ser não-negligível.
• Teorema 9.5 (Alternativa de Auditoria de Singularidade Condicional): Sob suposições de extração de defeito diedrico, esgotamento de observável e controle de crescimento de janela móvel, um ramo não-CKN persistente implica uma de cinco alternativas:
  • (a) Vazamento acumulado não-negligível.
  • (b) Suprimento crítico não tributado médio positivo.
  • (c) Observabilidade de janela móvel ineficaz (constantes crescem muito rápido).
  • (d) Existência de uma cascata de defeitos NS-realizável, limpa, combinada-invisível, lucrativa e reproduzível.
  • (e) Uma falha de dualidade-vertical ou fechamento anti-fantasma em regimes de degeneração de um componente.
• Teorema 17.4 (Transferência Anti-Fantasma Algébrica Local-para-Limpo): Se o mapa de detecção limpa satisfizer uma condição de gap coercivo ($c_{cl}^\Lambda$), e o orçamento de resíduo satisfizer um limite normalizado ($\eta_\Lambda < c_{cl}^\Lambda(1-\epsilon_G)$), então o mapa de detecção localizado satisfará uma estimativa coercitiva com uma constante positiva $c_{loc}^\Lambda$. Este teorema é puramente algébrico; sua aplicação a Navier–Stokes depende da verificação das entradas estruturais.
• Corolário 18.1 (Alternativa Unificada): Sintetiza os resultados de auditoria e transferência. Conclui que, se o vazamento for negligenciável, o suprimento for tributado/esgotado, as constantes forem controladas e as cascadas PRV (Lucrativas, Reproduzíveis, Verificadas) realizáveis por NS forem excluídas, então o ramo deve entrar em uma escala CKN, implicando regularidade.

5. Significância e Alegações
O artigo explicitamente se enquadra como uma redução condicional. Sua significância reside em isolar a natureza exata da obstrução restante para a regularidade de Navier–Stokes.

• O que é Provado: O artigo prova a estimativa do livro-razão de escala finita (um input de EDP incondicional) e o teorema de transferência algébrica (um resultado estrutural sob hipóteses explícitas). Também fornece uma contabilidade detalhada de todos os termos de resíduo que devem ser controlados.
• O que Permanece Aberto: O artigo identifica o "bloqueador genuíno restante" como o problema de absorção normalizada. Especificamente, deve-se provar estimativas de compatibilidade de componentes da forma:
  $$\text{Err}_\bullet(D) \leq \eta_\bullet \text{dist}_{loc}(D, \text{Im } G_{loc}^\Lambda) + \Delta_\bullet$$
  onde a soma dos coeficientes $\eta_\bullet$ é estritamente menor que a margem de gap limpa.
• A Obstrução Final: Se a regularidade não puder ser provada, o artigo argumenta que qualquer contraexemplo deve ser um objeto altamente organizado: uma cascata de defeitos NS-realizável, limpa, combinada-invisível, lucrativa e reproduzível. Inversamente, se tal cascata puder ser construída satisfazendo todas as restrições de compatibilidade, positividade e energia, isso constituiria uma singularidade.

Em resumo, o trabalho transforma a questão ampla da regularidade de Navier–Stokes em um desafio estrutural preciso: ou prova-se que os orçamentos de resíduo específicos podem ser absorvidos na distância de quociente localizada com suficiência de pequena magnitude, ou constrói-se um tipo específico de cascata de defeitos que evade todas as restrições de observabilidade de janela finita e algébricas. O trabalho não afirma ter resolvido o problema da regularidade, mas fornece um arcabouço rigoroso para definir exatamente como uma solução (ou contraexemplo) deve ser.