Finite-Chain CKN-Bad Scale Counting for Navier-Stokes: Standard PDE Closure and Canonical Detector Realization

Resumo Técnico: Contagem de Escalas CKN-Ruim de Cadeia Finita para Navier–Stokes

Problema e Motivação
Este artigo aborda o problema de contabilidade de "cadeia finita" dentro da teoria de regularidade parcial das equações de Navier–Stokes incompressíveis tridimensionais. Especificamente, investiga o inverso do critério de $\epsilon$-regularidade de Caffarelli–Kohn–Nirenberg (CKN): se uma cadeia finita de escalas normalizadas permanece "CKN-ruim" (ou seja, a quantidade velocidade-pressão de escala crítica $\Phi$ excede um limiar $\varepsilon_{CKN}$), quais canais de EDP padrão devem se concentrar para sustentar essa ruimdade?

A motivação primária é evitar a "tautologia". Um teorema de contagem é considerado vazio se o seu lado direito (o custo) contiver implicitamente a própria quantidade de ruimdade CKN. O artigo busca limitar o tamanho ponderado de um conjunto de escalas ruins usando "custos de canais" não-tautológicos derivados de quantidades padrão de EDP — tais como concentração da componente vertical, vazamento anular, caudas de pressão e resíduos de pressão-fluxo-energia.

Metodologia e Estrutura
A análise é conduzida dentro da estrutura de soluções fracas adequadas, utilizando uma cadeia geométrica finita de escalas $r_k = \lambda^k r_0$. A metodologia é dividida em duas trilhas paralelas: uma Abordagem de EDP Padrão e uma Realização de Detector Canônico.

1. Abordagem de EDP Padrão:

   • Entradas: A prova baseia-se em duas entradas clássicas importadas: (1) a compacidade de soluções fracas adequadas sob um limite crítico local completo $\Psi(1) \le M$ (incluindo convergência da decomposição de pressão) e (2) a regularidade dos limites de compacidade onde a componente vertical da velocidade $v_3 = 0$.
   • Mecanismo de Fechamento: O artigo estabelece um teorema de "compacidade de uma componente qualitativa". Demonstra que, se a concentração da componente vertical ($\int |u_3|^3$) for suficientemente pequena, e o limite crítico completo $\Psi(1)$ for controlado, então a quantidade CKN $\Phi$ torna-se pequena em um raio específico $\rho_M$.
   • Definição de Custo: O "custo padrão" $C_{std}$ é definido como a soma de termos não-tautológicos:
     • $C_{3,k}$: Concentração da componente vertical ($\int |u_3|^3$).
     • $L_{ann, k}$: Vazamento anular (energia e dissipação no anel).
     • $P_{tail, k}$: Custos de cauda de pressão (erros de comutador, caudas harmônicas e erros de truncamento), excluindo explicitamente a oscilação de pressão de média livre completa.
     • $R_{PFE, k}$: Resíduos de Pressão-Fluxo-Energia (desajustes, defeitos ou resíduos de comparação do detector), também excluindo os núcleos das normas CKN.

2. Realização de Detector Canônico:

   • O artigo define um novo "detector canônico emendado" para realizar a filosofia de contagem de janela finita de maneira baseada em coordenadas.
   • Ao contrário de detectores abstratos, este modelo constrói explicitamente coordenadas usando componentes padrão de EDP: pressão ativa, pressão harmônica, fluxo, energia e resíduos de dimensão finita.
   • Crucialmente, mostra-se que o detector "não-emendado" é insuficiente para extrair a ruimdade CKN porque carece de controles sobre a velocidade $L^\infty_t L^2_x$ e modos de baixa pressão retidos.
   • O detector emendado adiciona o núcleo de energia ($A_{core}$), dissipação do núcleo ($E_{core}$) e modos de baixa pressão retidos ($P_{low}$) à estrutura de custo. Esta emenda permite a extração da pequenez CKN via interpolação de velocidade e decomposição de pressão.

Principais Resultados

1. Compacidade de Uma Componente Qualitativa (Teorema 4.3):
   Sob o limite crítico completo $\Psi(1) \le M$, se a concentração da componente vertical $\int_{Q_1} |u_3|^3$ for suficientemente pequena, a quantidade CKN $\Phi(\rho_M)$ será pequena. Este resultado é condicional às entradas de compacidade clássica e de regularidade de componente zero.

2. Fechamento Local Não-Tautológico (Teorema 5.1):
   Se o custo padrão total $C_{std}$ (dominado pelo canal da componente vertical na prova) for pequeno, então a solução é CKN-pequena no raio $\rho_M$. O contrapositivo afirma que a ruimdade CKN força a concentração de pelo menos um canal padrão.

3. Teorema de Contagem de Cadeia Finita (Teorema 6.3):
   Para uma cadeia finita de escalas $k=0, \dots, K$, a soma ponderada das escalas ruins é limitada pela soma ponderada dos custos dos canais padrão:
   $$\sum_{k \in B} w_k \le \frac{1}{\varepsilon_{close}(M)} \sum_{k=0}^K w_k \left( C_{3,k} + L_{ann, k} + P_{tail, k} + R_{PFE, k} \right)$$
   onde $B$ é o conjunto de índices onde $\Phi_k(\rho_M) \ge \varepsilon_{CKN}$.

4. Teorema de Contagem de Detector (Teorema 8.15):
   Um teorema de contagem paralelo é provado para o detector canônico emendado. Ele estabelece que a soma ponderada das escalas ruins é limitada pela soma ponderada da distância do detector emendado (envolvendo $L_{AEF}$, $P_{tail,+}$ e $R_{PFE,+}$). Este teorema prova a "realização superior" (detector limitado pelos custos), o "auditoria inferior" (custos limitados pelo detector) e a "extração CKN" (pequenez do detector implica CKN-pequenez).

Alegações e Significância
O artigo posiciona-se explicitamente como uma contribuição técnica conservadora, em vez de um avanço na regularidade global.

• Escopo: Os resultados são de "janela finita" e "cadeia finita". O artigo não reivindica um teorema de regularidade de escala uniforme ou uma prova de regularidade global para Navier–Stokes.
• Modéstia sobre Mecanismos: O principal mecanismo de fechamento provado é o canal da componente vertical. Embora o livro de registro inclua vazamento anular, caudas de pressão e resíduos de PFE, o artigo admite que não provou que esses canais adicionais forçam, independentemente, a pequenez CKN. Um "lema de fechamento de pressão-fluxo-energia" mais forte permanece como um problema em aberto.
• Distinção do Detector: O artigo esclarece que o detector canônico emendado é um novo modelo, não uma reconstrução de detectores abstratos anteriores. Ele prova que este detector canônico emendado específico realiza com sucesso a filosofia de contagem sem tautologia.
• Significância: O trabalho fornece um arcabouço rigoroso de "contabilidade" que isola os canais de EDP específicos responsáveis por sustentar o comportamento singular (ruimdade CKN) dentro de um intervalo de escala finito, garantindo que as estimativas de contagem não assumam implicitamente a regularidade que pretendem testar. Ele formaliza a relação entre a compacidade de uma componente e a distribuição de escalas ruins.