Strict 2.5D Shadows for One-Component Navier-Stokes Regularity

Resumo Técnico: Sombras 2.5D Estritas para a Regularidade de um Único Componente de Navier–Stokes

Enunciado do Problema
O artigo aborda o problema da regularidade local de um único componente para as equações de Navier–Stokes incompressíveis tridimensionais. Especificamente, investiga se uma solução fraca adequada $(u, p)$ permanece regular em um ponto $(0,0)$ se a componente vertical $u_3$ for pequena em uma norma de escala invariante crítica, enquanto a solução completa satisfaz um limite de energia de escala invariante. A questão central é se um componente vertical pequeno ($C_3(1) = \delta \ll 1$) combinado com uma energia total limitada ($\Phi(1) \le M$) implica um limite inferior na raio de regularidade $r_{reg}(0,0)$ que escala logaritmicamente com $\delta$.

Metodologia e Arquitetura
O artigo não reivindica uma prova incondicional do limite de regularidade logarítmica. Em vez disso, constrói um teorema de redução condicional rigoroso. A metodologia procede através de uma cadeia de dependência específica, isolando o problema em entradas estruturais que são ou provadas dentro do artigo ou identificadas como as obstruções remanescentes.

1. Comparação de Sombra 2.5D Estrita:
   A estratégia central compara a solução de Navier–Stokes a um sistema limite "estrito 2.5D". Este sistema consiste em um campo de velocidade horizontal $V_h$ (com $V_3=0$) e uma pressão $Q$ satisfazendo $\partial_3 Q = 0$. A comparação é realizada no quociente de pressão harmônica, uma topologia estável sob decomposição de pressão local, onde a pressão é medida módulo funções espacialmente harmônicas. Isso evita problemas com pressões harmônicas dependentes do tempo que podem ter gradientes grandes, mas oscilação de escala invariante limitada.

2. Entropia Relativa com Tampão de Variância:
   Um grande obstáculo técnico é o comutador de Reynolds (ou estresse de covariância) $\tau^\ell = S_\ell(u_h \otimes u_h) - S_\ell u_h \otimes S_\ell u_h$ gerado pelo coarse-graining da velocidade. Estimativas padrão forçariam este termo através de um alto fator exponencial ($e^{C\ell^{-N}}$), destruindo qualquer taxa logarítmica.

   • Inovação: O artigo introduz um framework de entropia relativa com tampão de variância. Ao definir uma variância não resolvida $\kappa^\ell = \frac{1}{2}\text{tr}(\tau^\ell)$ e utilizar uma identidade de variância de Onsager localizada, o termo perigoso $\tau^\ell : \nabla_h U^\ell_h$ é cancelado pelo termo de derivada temporal da variância.
   • Resultado: O comutador de Reynolds contribui aditivamente (como uma potência positiva da escala $\ell$) em vez de multiplicativamente através do fator exponencial. Apenas os resíduos que genuinamente envolvem o pequeno componente vertical $u_3$ carregam o fator exponencial.

3. Seleção de Sombra Subcrítica e Análise de Blow-up:
   O artigo reduz a seleção quantitativa de uma "boa-tempo" sombra estrita a um problema geométrico.

   • Seleção Subcrítica: Em vez de exigir uma escala de seleção de $\ell^2$ (que é forte demais para os limites de estresse atuais), o artigo formula um princípio de seleção subcrítica com uma escala $\ell^\mu$ onde $0 < \mu < 1/6$. Este expoente é escolhido para garantir que os erros de covariância normalizados e erros de corte desapareçam no limite de blow-up.
   • Estreiteza de Traço (Trace Tightness): Usando um conjunto de "bom-tempo" espesso e um argumento de queda de traço de alta frequência, o artigo estabelece que quase-minimizadores nítidos não perdem energia de traço para frequências arbitrariamente altas, desde que uma hipótese de interseção específica seja mantida.
   • Análise de Estratos Singulares: A redução identifica que, se a seleção de sombra estrita falhar, o limite de blow-up deve residir em um estrato singular da restrição não linear de compatibilidade de pressão $C(V) = \nabla_h \partial_3 \Delta^{-1}_{h,g} \partial_a \partial_b (V_a V_b) = 0$. O artigo analisa a geometria desses estratos (sombra zero, ramo de não-zero brando e ramos planos de modo finito).

4. Dualidade Vertical e Exclusão:
   Este passo final envolve uma estimativa de resíduo ativo de dualidade vertical. Esta hipótese afirma que a equação de momento vertical impede que os resíduos excitem direções "fantasmagóricas" no espaço quociente estrito. Se isso ocorrer, exclui a existência de um ramo plano de modo finito "sobrevivente" que, de outra forma, obstruiria a seleção.

Principais Contribuições

• Teorema de Redução Condicional: O artigo prova que o problema da regularidade de um único componente logarítmica é reduzido a um conjunto finito de entradas estruturais. Especificamente, mostra que se a fatoração de resíduo ativo de dualidade vertical e a seleção de curva estrita de estrato singular ocorrerem, então o raio de regularidade satisfaz $r_{reg}(0,0) \ge c_{M,\theta} |\log \delta|^{-\sigma/3}$.
• Topologia de Quociente de Pressão Harmônica: Ele formaliza o uso do quociente de pressão harmônica como a topologia local natural para a compacidade de pressão neste contexto, resolvendo ambiguidades em relação a pressões espacialmente harmônicas.
• Tratamento Aditivo do Estresse de Reynolds: Fornece um mecanismo (via entropia relativa com tampão de variância e identidades de Onsager) para tratar o comutador de Reynolds aditivamente, evitando o blow-up exponencial que tipicamente impede taxas logarítmicas em argumentos de unicidade fraca-forte.
• Identificação de Obstrução Geométrica: Identifica precisamente a obstrução restante não como um problema geral de regularidade, mas como um problema de seleção de curva de estrato singular para a restrição de compatibilidade de pressão não linear.

Resultados
O resultado principal é o Teorema 1.1, um teorema de redução condicional. Ele afirma que, sob entradas estruturais explicitamente listadas (incluindo a estimativa de dualidade vertical e a seleção de curva de estrato singular), o raio de regularidade é limitado inferiormente por uma função logarítmica do pequeno componente vertical:
$$r_{reg}(0, 0) \ge c_{M,\theta} |\log C_3(1)|^{-\sigma/3}$$
O artigo afirma explicitamente que ele não constitui uma resolução incondicional do problema de regularidade de um único componente logarítmica. A prova das entradas estruturais (especificamente os Problemas 1.5, 1.6 e 1.8 no texto) é deixada como a tarefa remanescente.

Significância e Alegações
O artigo alega significância como uma redução dirigida por teoremas. Ele desloca o ônus da prova de uma estimativa analítica global para um problema geométrico-analítico específico: a seleção de curvas estritas no cone tangente dos estratos singulares do mapa de compatibilidade de pressão.

• Modéstia: Os autores são explícitos ao afirmar que o artigo é um "teorema de redução". A "falha de seleção de sombra estrita" é reduzida a uma "obstrução de traço plano de modo finito", que é então eliminada condicionalmente pela dualidade vertical.
• Escopo: O trabalho isola a "obstrução específica de PDE" (dualidade vertical) das "entradas estruturais" (suavização, estreiteza de traço, seleção de curva). Ele esclarece que a taxa logarítmica é compatível com estimativas de estabilidade fraca-forte onde as constantes crescem exponencialmente em uma escala de baixa frequência, desde que o estresse de Reynolds seja tratado aditivamente.

Em resumo, o artigo fornece um roteiro completo para provar a regularidade de um único componente logarítmica, demonstrando que o problema é solúvel se, e somente se, as obstruções geométricas específicas relacionadas à restrição de pressão vertical puderem ser resolvidas.