Coarse-Grained Resolution and Pressure-Flux Work Depletion for Navier-Stokes CKN Badness

Resumo Técnico: Resolução de Granularidade Grossa e Depleção de Trabalho Pressão–Fluxo para a "Maldade" de Navier–Stokes CKN

Enunciado do Problema
O artigo aborda o problema da regularidade local para as equações de Navier–Stokes incompressíveis tridimensionais, especificamente dentro do arcabouço da teoria de Caffarelli–Kohn–Nirenberg (CKN). O desafio central é compreender o comportamento das escalas "CKN-ruins" (CKN-bad) — regiões espaço-temporais onde a quantidade de escala-crítica $\Psi(r)$ (envolvendo normas $L^3$ de velocidade e $L^{3/2}$ de pressão) é grande. O autor busca decompor este problema de regularidade local em dois componentes distintos: uma resolução de granularidade grossa (o que é visível em uma escala filtrada) e um resíduo de subfiltro (o que está oculto pelo filtro). Além disso, o artigo investiga o balanço de energia dos campos resolvidos, especificamente a distribuição de sinal da "trabalho combinado pressão–fluxo" $G_\ell$, para determinar como a energia é transferida, dissipada ou retroespalhada (backscattered) através de uma cadeia finita de escalas.

Metodologia
O artigo emprega uma análise matemática rigorosa baseada em granulação espacial grossa (mollificação) e identidades de energia exatas, evitando heurísticas probabilísticas ou numéricas.

1. Granulação Espacial Grossa: O autor define um filtro espacial $S_\ell$ com comprimento $\ell > 0$, produzindo a velocidade resolvida $U_\ell$ e a pressão $P_\ell$, e um tensor de tensão de Reynolds $R_\ell = S_\ell(u \otimes u) - U_\ell \otimes U_\ell$.
2. Decomposição de Quantidades CKN: A quantidade CKN completa $\Psi(r)$ é decomposta em uma parte resolvida $\Psi_\ell(r)$ e uma parte residual $\Omega_\ell(r)$, que representa as oscilações de subfiltro.
3. Telescopagem de Cadeia Finita: A análise é conduzida em uma cadeia geométrica fixa de fatias parabólicas adjacentes $Q_k$, com raios $r_k = \theta^k r_0$. O autor constró o uma soma "telescópica" de identidades de energia localizadas através dessas fatias.
4. Extração de Trabalho Ativo: Em vez de assumir que a distribuição de trabalho $G_\ell$ é não-negativa ou possui um sinal fixo, o artigo utiliza uma família finita-dimensional de perfis de teste para extrair construtivamente um peso não-negativo. Isso permite ao autor identificar se o trabalho é "para frente" (dissipativo) ou "para trás" (retroespalhamento) em cada fatia.
5. Decomposição de Pressão: O termo de pressão é dividido em uma parte de integral singular local (via transformadas de Riesz) e uma cauda harmônica, permitindo o controle preciso da invariância de calibre (gauge invariance) e das contribuições harmônicas para o trabalho.

Contribuições Principais e Resultados

1. O Lema de Resolução (Incondicional)
O primeiro principal resultado é uma desigualdade algébrica relacionando a "maldade" CKN completa à sua componente de granularidade grossa e residual:
$$\Psi(r) \leq 4\Psi_\ell(r) + 4\Omega_\ell(r)$$

• Significância: Este lema é incondicional; ele não depende das equações de Navier–Stokes, desigualdades de energia local ou condições de pequenez. Ele estabelece que, se uma escala é "ruim" (grande $\Psi$), ela deve ser ou visível nos campos resolvidos ($\Psi_\ell$) ou carregada por um resíduo de subfiltro quantitativamente grande ($\Omega_\ell$).
• Implicação: Um detector baseado apenas em campos resolvidos não pode perder uma singularidade, a menos que o resíduo de subfiltro seja quantitativamente grande. Isso evita "falsos negativos" na detecção de regularidade devido a artefatos de filtragem.

2. O Teorema de Depleção de Trabalho de Cadeia Finita
O segundo principal resultado é uma identidade exata para o trabalho combinado pressão–fluxo $G_\ell = \Pi_\ell + \nabla \cdot (P_\ell U_\ell)$ sobre uma cadeia finita de fatias.

• Extração Construtiva: Para qualquer cadeia finita, o autor prova a existência de um peso de teste específico $\phi_k$ em cada fatia tal que a magnitude do trabalho $|W_k|$ é limitada inferiormente por uma norma de coeficiente da distribuição de trabalho.
• Desigualdade de Telescopagem: Somar as identidades de energia locais resulta em uma desigualdade ponderada:
  $$\sum_{k} w_k (W_k^+ + D_k) \leq E_0^- + \sum_{k} w_k |L_k| + \sum_{k} w_k W_k^-$$
  onde $W_k^+$ é o trabalho para frente, $W_k^-$ é o retroespalhamento (trabalho negativo), $D_k$ é a dissipação resolvida e $L_k$ representa o vazamento de localização (leakage).
• Significância: Este teorema contabiliza rigorosamente o "retroespalhamento" (transferência de energia de escalas pequenas para grandes) e o "vazamento" (energia perdida nas fronteiras das funções de teste). Ele mostra que o trabalho para frente e a dissipação são "pagos" pela energia cinética inicial, pelo vazamento e pelo trabalho negativo.

3. A Interface do Detector Condicional
O artigo sintetiza estes resultados em uma implicação condicional. Se uma estimativa independente de "observabilidade de granularidade grossa" existir (isto é, se a grande maldade resolvida $\Psi_\ell$ implica um grande coeficiente de trabalho ativo $A_k(G_\ell)$), então o teorema de depleção aplica-se ao trabalho detectado.

• A Lacuna: O artigo afirma explicitamente que a implicação $\Psi_\ell \geq \epsilon \implies A_k(G_\ell) \geq c$ não é provada aqui. Ela é identificada como um problema separado e difícil de compacidade-rigidez que pode falhar devido ao cancelamento pressão–fluxo, caudas de pressão harmônica ou perfis coerentes de baixa frequência.

4. Exemplos Diagnósticos e Limitações
O autor fornece exemplos demonstrando que:

• A pressão harmônica (que é um calibre no sentido global) realiza trabalho local real e não pode ser ignorada.
• A transferência para frente e o retroespalhamento são ambos algebricamente possíveis para os campos de granularidade grossa.
• O cancelamento pressão–fluxo pode esconder grandes componentes individuais dentro de um pequeno trabalho combinado $G_\ell$.

Significância e Alegações
O artigo alega fornecer um cálculo de obstrução de granularidade grossa de escala finita para o problema de regularidade de Navier–Stokes. Sua contribuição primária é estrutural e algébrica:

1. Separação de Preocupações: Ele separa claramente o problema de "detectar" uma singularidade (que requer provar que a maldade resolvida implica grande trabalho) do problema de "contabilizar" a energia (que é tratado pela identidade de depleção exata).
2. Resolução Incondicional: Ele remove a ambiguidade das escalas de subfiltro no critério CKN via lema de resolução.
3. Contabilidade Exata: Fornece um livro contábil exato para o fluxo de energia, dissipação e retroespalhamento em cadeias finitas, rastreando explicitamente o vazamento e as caudas harmônicas.

O autor enquadra modestamente o trabalho como o isolamento da "resolução incondicional e das identidades de trabalho de cadeia fixa" necessárias para uma interface de detector. O artigo não pretende resolver o problema da regularidade de Navier–Stokes ou provar que singularidades não podem existir. Em vez disso, estabelece as condições matemáticas precisas sob as quais um detector baseado em trabalho resolvido teria sucesso ou falharia, destacando que a dificuldade restante reside no passo de "observabilidade de granularidade grossa" (eliminar perfis silenciosos como caudas harmônicas ou cancelamentos).