On regularity estimates for axially symmetric Navier-Stokes equations in a cylinder and the critical-wedge occurrence problem

Resumo Técnico: Estimativas de Regularidade para as Equações de Navier–Stokes Axialmente Simétricas em um Cilindro

Enunciado do Problema
Este artigo aborda o problema da boa colocação global para as equações de Navier–Stokes incompressíveis tridimensionais sob a restrição de simetria axial, especificamente dentro de um domínio cilíndrico finito $\Omega \subset \mathbb{R}^3$. Os autores focam na regularidade das soluções onde o campo de velocidade $v$ e a vorticidade $\omega = \text{curl } v$ satisfazem condições de contorno específicas: na fronteira lateral $S_1$, a velocidade radial $v_r$, a velocidade azimutal $v_\phi$ e a vorticidade azimutal $\omega_\phi$ desaparecem; nas fronteiras superior e inferior $S_2$, a velocidade axial $v_z$, $\omega_\phi$ e a derivada axial $\partial_z v_\phi$ desaparecem.

A dificuldade central em estabelecer a regularidade para soluções axialmente simétricas reside no controle do termo de interação não linear envolvendo o componente de torção (swirl) $v_\phi$. Especificamente, os autores analisam as quantidades $\Phi = \omega_r/r$ e $\Gamma = \omega_\phi/r$, que são cruciais para limitar a solução. A principal obstrução para o fechamento das estimativas de energia provém do termo integral $\int_{\Omega_t} \frac{v_\phi}{r} \Phi \Gamma \, dx \, dt'$, cujo controle depende da distribuição do componente da velocidade angular $v_\phi$.

Metodologia
Os autores empregam uma estratégia de estimativa a priori condicional que particiona o intervalo de tempo com base no comportamento das normas $L^s$ e $L^\infty$ do componente de torção $v_\phi$.

1. Identificação da Cunha Crítica: Os autores definem uma "cunha crítica" $W_{A,c_0}$ no espaço de fase do tempo $t$. Este regime é caracterizado por tempos onde a norma $L^s$ de $v_\phi$ é grande ($> A$), mas a razão entre a norma $L^s$ e a norma $L^\infty$ é pequena ($< c_0$). Fora desta cunha, mecanismos de fechamento padrão se aplicam. Dentro da cunha, as estimativas padrão falham em fechar.
2. Medição do Resíduo: Em vez de afirmar a regularidade global incondicional, o artigo introduz um "resíduo da cunha crítica" $E_{W,s}(t)$. Este termo mede a porção não fechável da interação não linear especificamente quando a trajetória entra na cunha crítica.
3. Ferramentas Analíticas:
   • Função de Corrente Modificada: A análise utiliza uma função de corrente modificada $\psi_1 = \psi/r$, que satisfaz uma equação elíptica com fonte $\Gamma$. Os autores derivam estimativas elípticas $H^2$ e $H^3$ para $\psi_1$.
   • Expansões de Liu-Wang: Para lidar com as singularidades próximas ao eixo de simetria ($r=0$), os autores baseiam-se nas expansões de regularidade de $v_r, v_\phi, \psi$ e $\psi_1$ perto do eixo, conforme estabelecido por Liu e Wang. Essas expansões são essenciais para estimar termos de contorno e integração por partes envolvendo $r$.
   • Estimativas de Redução de Ordem: Um passo técnico fundamental envolve derivar desigualdades de "redução de ordem" que limitam normas de ordem superior (como $\|\Phi\|_{L^2}$) por normas de ordem inferior e pelos dados, efetivamente reduzindo a complexidade dos termos não lineares.
   • Espaços de Sobolev e Besov: A prova da regularidade de ordem superior (Teorema 1.4) baseia-se em resultados de solvabilidade para o sistema de Stokes em espaços de Sobolev com normas mistas e teoremas de traço para espaços Besov.

Principais Contribuições e Resultados

• Estimativa A Priori Condicional (Teorema 1.2): O principal resultado é uma estimativa condicional para a quantidade $X_s(t) = \|\Phi\|_{V(\Omega_t)} + \|\Gamma\|_{V(\Omega_t)}$. Os autores provam que:
  $$X_s(t) \leq \Psi_{s,A,c_0}\left(\text{dados}, \int_0^t E_{W,s}(\tau) \, d\tau\right)$$
  onde $\Psi$ é uma função positiva crescente. Esta estimativa recupera o limite original dependente dos dados se o resíduo da cunha crítica desaparecer (ou seja, se a trajetória não entrar na cunha crítica).
• Remoção de Restrições Anteriores: O artigo demonstra que a restrição $\psi_1|_{r=0} = 0$ (exigida em trabalhos anteriores do segundo autor) não é necessária para estas estimativas. No entanto, a condição relacionando as normas $L^s$ e $L^\infty$ (previamente assumida globalmente) é relaxada para um requisito condicional: a estimativa é válida desde que o "resíduo da cunha" seja finito.
• Regularidade Superior (Teorema 1.4): Sob suposições adicionais sobre o termo de forçante e os dados iniciais, os autores estabelecem a regularidade de Sobolev superior para a velocidade $v$ e o gradiente de pressão $\nabla p$, com a mesma dependência condicional do resíduo da cunha.
• Existência Global para Dados Pequenos (Seção 8): O artigo inclui um resultado separado provando a existência de soluções regulares globais para dados pequenos. Este resultado é independente da obstrução da cunha crítica e baseia-se no controle direto do componente angular.

Significância e Alegações
O artigo não pretende resolver o problema da regularidade global para as equações de Navier–Stokes de forma incondicional. Em vez disso, ele identifica o regime de "concentração" específico (a cunha crítica) onde os métodos de energia padrão falham. A significância do trabalho reside em:

1. Caracterização Precisa da Obstrução: Ele isola o mecanismo exato (a razão entre as normas $L^s$ e $L^\infty$ de $v_\phi$) que impede o fechamento das estimativas.
2. Controle Condicional: Prova que o controle a priori usual é recuperado sempre que o resíduo da cunha associado for finito. Isso implica que, se uma solução se tornar singular, ela deverá fazê-lo entrando neste regime específico de cunha crítica com um resíduo não nulo.
3. Refinamento Metodológico: Ao utilizar as expansões de Liu-Wang e estimativas elípticas refinadas para a função de corrente modificada, os autores melhoram os resultados anteriores ao remover a condição de contorno artificial $\psi_1|_{r=0}=0$, mantendo o controle rigoroso sobre o comportamento da solução próximo ao eixo de simetria.

Em resumo, o artigo fornece um arcabouço rigoroso para compreender a regularidade das soluções de Navier–Stokes axialmente simétricas, quantificando a "lacuna" nas estimativas como uma função da trajetória da solução em relação a uma definida cunha crítica no espaço de fase.