On the Cauchy problem to the axially-symmetric solutions to the Navier-Stokes equations

Resumo Técnico: Soluções Regulares Globais para as Equações de Navier-Stokes Axissimétricas

Enunciado do Problema
Este artigo aborda o problema de Cauchy para as equações de Navier-Stokes axissimétricas em $\mathbb{R}^3$. O objetivo principal é provar a existência de soluções regulares globais para dados iniciais arbitrários, desde que as soluções possuam regularidade suficiente para satisfazer expansões específicas próximas ao eixo de simetria. Os autores concentram-se em derivar uma estimativa a priori global para soluções regulares que, quando combinada com a existência de soluções locais, implica a existência global.

As equações são formuladas em coordenadas cilíndricas $(r, \phi, z)$, onde o campo de velocidade $v$ e a vorticidade $\omega$ são decompostos em componentes radial, angular e axial. Uma característica crítica do caso axissimétrico é o comportamento da componente de "swirl" (redemoinho) $v_\phi$ e as componentes de vorticidade associadas perto do eixo de simetria ($r=0$), onde singularidades nas equações poderiam potencialmente surgir.

Metodologia
Os autores empregam uma estratégia de localizar a análise em duas regiões distintas: uma vizinhança do eixo de simetria e a região afastada do eixo. Essa separação é alcançada por meio de uma partição da unidade $\{\zeta(r), \vartheta(r)\}$, onde $\zeta$ é suportada próximo a $r=0$ e $\vartheta$ é suportada longe do eixo.

1. Formulação de Função de Fluxo Modificada e Vorticidade:
   A análise utiliza a função de fluxo modificada $\psi_1 = \psi/r$ e as componentes de vorticidade normalizadas $\Phi = \omega_r/r$ e $\Gamma = \omega_\phi/r$. Os autores derivam estimativas elípticas para $\psi_1$ nos espaços $H^2$ e $H^3$, que são cruciais para controlar os gradientes de velocidade perto do eixo.

2. Expansões de Liu-Wang:
   Um requisito metodológico central é a suposição de que as soluções satisfaçam as expansões derivadas por Liu e Wang perto do eixo de simetria. Especificamente, assume-se que as componentes de velocidade radial e angular e a função de fluxo se comportem como:
   $$v_r \sim a_1(z,t)r + a_2(z,t)r^3 + \dots$$
   $$v_\phi \sim b_1(z,t)r + b_2(z,t)r^3 + \dots$$
   $$\psi \sim d_1(z,t)r + d_2(z,t)r^3 + \dots$$
   Essas expansões garantem que os termos envolvendo a divisão por $r$ permaneçam limitados e regulares.

3. Estimativas de Energia e Controle de Swirl:
   Os autores derivam estimativas do tipo energia para as quantidades $\Phi$ e $\Gamma$. Uma parte significativa do trabalho envolve a estimativa do termo de acoplamento não linear $I = \int (v_\phi/r) \tilde{\Phi} \tilde{\Gamma} \, dx dt'$. Para lidar com esse termo sem restrições sobre a magnitude do swirl, os autores dividem a análise em dois regimes complementares baseados na razão $L(s) = \|\tilde{v}'_\phi\|_{s, \infty} / \|\tilde{v}'_\phi\|_{\infty}$:

   • Regime 1 ($L(s) \geq c_0$): Corresponde a um perfil de swirl não concentrado. As estimativas são derivadas usando desigualdades de interpolação e as expansões de Liu-Wang.
   • Regime 2 ($L(s) \leq c_0$): Corresponde a um perfil de swirl concentrado. As estimativas são derivadas usando limites $L^s$ e interpolação.
     Ao cobrir ambos os regimes, os autores evitam a condição restritiva exigida em trabalhos relacionados (por exemplo, exigir um limite inferior específico para a magnitude do swirl).

4. Bootstrapping de Regularidade:
   Uma vez estabelecida a estimativa a priori global para as normas de energia de $\Phi$ e $\Gamma$, os autores utilizam a teoria de solvabilidade para o sistema de Stokes não estacionário em espaços de Sobolev com normas mistas (referenciando [MS]) para aumentar iterativamente a regularidade da velocidade $v$ e do gradiente de pressão $\nabla p$. Esse processo eleva a solução da regularidade inicial para a classe $W^{3, 3/2}_3$.

Principais Contribuições e Resultados

• Estimativa A Priori Global: O principal resultado é o Teorema 1.1, que estabelece a estimativa a priori global:
  $$\|\omega_r/r\|_{V(\Omega_t)} + \|\omega_\phi/r\|_{V(\Omega_t)} \leq \phi(\text{dados})$$
  onde $V(\Omega_t)$ é a norma de energia, e $\phi$ é uma função positiva crescente dos dados iniciais e forças externas. Esta estimativa é válida para qualquer tempo finito $t < \infty$.

• Remoção de Condições Restritivas: Diferente de trabalhos anteriores (ex: [Z1, Z2, OZ]) que exigiam condições específicas sobre a magnitude do swirl ou condições de nulidade no eixo, este artigo deriva a estimativa global sem assumir as condições $(*)$ ou $(* *)$ da introdução. Isso é alcançado tratando as regiões próxima ao eixo e longe do eixo de forma independente e utilizando a análise de dois regimes para o termo de swirl.

• Existência de Soluções Regulares Globais: O Teorema 1.2 demonstra que, se os dados iniciais e a força externa possuírem regularidade suficiente ($v(0) \in W^{3-2/3}_3$ e $f \in W^{1, 1/2}_3$), e se uma solução local existir, a estimativa a priori global implica a existência de uma solução regular global $v \in W^{3, 3/2}_3(\mathbb{R}^3_t)$ com $\nabla p \in W^{1, 1/2}_3(\mathbb{R}^3_t)$.

• Caso de Dados Pequenos: A Seção 8 fornece um resultado complementar para dados iniciais pequenos, provando a existência via aproximações sucessivas. Os autores observam que o regime de dados pequenos corresponde a um pequeno swirl, que é o complemento ao regime de grande swirl analisado no corpo principal do texto.

Significância e Alegações
O artigo afirma fornecer uma prova rigorosa para a existência de soluções axissimétricas regulares globais para as equações de Navier-Stokes sob a suposição de que as soluções sejam suficientemente regulares para satisfazer as expansões de Liu-Wang perto do eixo. Os autores enfatizam que essas expansões são "absolutamente necessárias" para suas provas.

A significância do trabalho reside em:

1. Completar a Estimativa Global: Fornecer um limite a priori global que não depende das condições restritivas de swirl encontradas na literatura anterior.
2. Inovação Técnica: O uso de uma partição da unidade para separar o eixo singular do restante do domínio, permitindo técnicas de estimativa independentes em cada região.
3. Propagação de Regularidade: Demonstrar como a limitação das normas de energia das componentes de vorticidade normalizadas pode ser usada para realizar o bootstrapping da solução para uma regularidade de Sobolev superior.

Os autores reconhecem modestamente que a suposição de regularidade suficiente (especificamente a validade das expansões de Liu-Wang) é um pré-requisito para seu teorema principal. Eles citam a teoria de regularidade parcial de Caffarelli, Kohn e Nirenberg, observando que quaisquer singularidades potenciais para soluções axissimétricas devem ocorrer no eixo. Assim, seus resultados aplicam-se a soluções que não desenvolvem tais singularidades. Se o limite global pode ser derivado sem assumir essas expansões permanece um problema em aberto.