Progresso no Problema de Navier-Stokes

Desde a década de 1930, matemáticos têm atacado o problema de muitos ângulos, desde estimativas de energia e geometria até probabilidade e análise assistida por computador. A questão completa de existência e suavidade em 3D permanece completamente, teimosamente aberta.

Mas aqui está o que as pessoas perdem: aprendemos uma quantidade enorme com noventa anos de ataques fracassados, e o quadro coletivo é muito mais rico do que um simples rótulo de "não resolvido" sugere. Estratégias inteiras eliminadas. Subcasos fechados. Sabemos, com progresso substancial: alguns subcasos estão resolvidos, vários critérios condicionais são compreendidos, e as principais barreiras estão muito mais claras. O que se segue é um mapa desse progresso.

O problema de regularidade de Navier-Stokes pede existência global e suavidade de soluções para o sistema incompressível 3D com dados suaves e de decaimento rápido. Ele resistiu à resolução desde sua formulação moderna. As principais linhas de ataque incluem a teoria de soluções fracas de Leray–Hopf, regularidade parcial via teoria geométrica da medida, regularidade condicional através de critérios de continuação, métodos probabilísticos e estocásticos, e integração convexa para não-unicidade.

Nenhuma abordagem fechou o problema completo. Juntas, porém, elas esclareceram as barreiras críticas: escalonamento supercrítico, a lacuna entre soluções de classe de energia e soluções suaves, e a possibilidade perturbadora de que a própria unicidade possa falhar em classes de soluções fracas.

Cinco resultados que remodelaram o campo:

• 1934, Leray: Provou que soluções fracas globais no tempo existem para quaisquer dados iniciais razoáveis. Algo persiste para sempre. Mas permanece suave? Essa é a questão que Leray não pôde responder, e após noventa anos, ninguém mais pode.
• 1982, Caffarelli, Kohn, Nirenberg: O conjunto de possíveis singularidades é extremamente pequeno: na geometria parabólica natural a essas equações, ele tem tamanho unidimensional zero. Infinitesimalmente pequeno. Se explosão acontece, é esparsa além da imaginação.
• 1984, Beale, Kato, Majda: Resultado enorme. Uma solução suave só pode quebrar se a vorticidade explodir, o que deu ao campo inteiro um alvo preciso: controle a norma de vorticidade relevante fortemente o suficiente, e uma solução suave não pode quebrar naquele momento.
• 2016, Tao: Construiu explosão para um Navier-Stokes médio compartilhando as mesmas propriedades de energia e escalonamento que o real, o que significa que uma prova para a equação real tem que usar estrutura mais fina do que estimativas de energia e escalonamento sozinhos. Uma barreira. Não uma solução.
• 2022, Albritton, Brué, Colombo: Soluções fracas de Leray-Hopf não são únicas quando você permite uma força externa. Más notícias: a classe de solução mais fraca não é tão dócil quanto esperávamos, e isso força um repensar do que "solução" sequer significa neste nível.

• 1934, Leray: Existência global de soluções fracas em \(L^2\) para dados livres de divergência \(u_0 \in L^2(\mathbb{R}^3)\), satisfazendo a desigualdade de energia (J Math Pures Appl).
• 1982, Caffarelli–Kohn–Nirenberg (CKN): Regularidade parcial; \(\mathcal{P}^1(\mathrm{sing}\, u)=0\), significando que a medida de Hausdorff parabólica unidimensional do conjunto singular se anula. Ainda o resultado geral mais forte que temos (Comm Pure Appl Math).
• 1984, Beale–Kato–Majda (BKM): O critério de continuação que remodelou o campo: uma solução suave em \([0,T)\) se estende além de \(T\) se e somente se \(\int_0^T \|\omega(\cdot,t)\|_{L^\infty}\,dt < \infty\), reduzindo regularidade ao controle de vorticidade. Originalmente para Euler; adaptado para Navier-Stokes (Comm Math Phys).
• 2016, Tao: Explosão em tempo finito para uma equação de Navier-Stokes médio obedecendo as mesmas propriedades de energia e escalonamento que o sistema verdadeiro, significando que qualquer prova de regularidade deve explorar estrutura mais fina (J Amer Math Soc).
• 2022, Albritton–Brué–Colombo: Não-unicidade de soluções de Leray-Hopf para Navier-Stokes 3D forçado, construída via soluções auto-similares instáveis (Ann of Math).

Esta página é um mapa, não o território. Para os detalhes:

Para tratamento detalhado de direções de pesquisa específicas:

• Subproblemas: casos resolvidos e parcialmente resolvidos, incluindo regularidade global 2D (Ladyzhenskaya 1959), axissimétrico sem rotação, resultados em espaços críticos (\(L^3\), \(\dot{H}^{1/2}\), \(BMO^{-1}\)), e critérios de regularidade condicional além de BKM.
• Abordagens: as principais estratégias de prova sob investigação ativa, incluindo métodos de energia e enstrofia, decomposição de perfil, teoria de solução suave, Navier-Stokes estocástico, programas de integração convexa, e limites assistidos computacionalmente.

Última revisão: março de 2026. Esta página é um diretório vivo. À medida que novos resultados aparecem e artigos mais profundos são publicados, ela será atualizada.

Última revisão: março de 2026. Esta página serve como um hub de navegação. Para correções ou sugestões, consulte o repositório do site.