O Problema de Navier-Stokes

O problema de Navier–Stokes pergunta se as equações do movimento dos fluidos sempre se comportam bem em três dimensões: partindo de um escoamento suave com energia finita, a solução permanece suave para todo o tempo, ou a velocidade pode se tornar infinita após um tempo finito? A versão do Prêmio do Milênio de Clay aceita tanto uma prova de suavidade global sem força externa quanto um exemplo de ruptura, no qual também se pode escolher uma força suave de decaimento rápido.

A situação em resumo: em setembro de 2026, a OpenAI anunciou uma prova da alternativa de ruptura com uma força desse tipo, e Clay disse que o problema «aparentemente foi resolvido», com avaliação deliberadamente sem pressa. Ainda não se sabe se escoamentos sem força externa sempre permanecem suaves. A explicação datada da situação cobre o que foi afirmado e como está sendo avaliado.

Esta página é o mapa: qual é a pergunta, o que foi provado, por que ela resiste à prova e o que ler em seguida.

Fontes primárias: Clay (2026-09-11) · OpenAI (2026-09-08) · Lean / GitHub · Enunciado oficial de Clay.

O problema de existência e suavidade de Navier-Stokes pergunta se, para todo dado inicial suficientemente suave e com divergência nula $u_0 \in C^\infty(\mathbb{R}^3)$ com decaimento adequado e $f \equiv 0$, o sistema de Navier-Stokes incompressível admite uma solução $u \in C^\infty(\mathbb{R}^3 \times [0,\infty))$ com energia limitada (e a pergunta periódica análoga em $\mathbb{T}^3$). A formulação de Clay também aceita um exemplo de ruptura em que se permite uma força suave admissível.

A situação em resumo: o manuscrito de setembro de 2026 reivindica as alternativas de ruptura forçada, C em $\mathbb{R}^3$ (Teorema 1.1) e D em $\mathbb{T}^3$ (Corolário 10.6); Clay disse que o problema «aparentemente foi resolvido», com avaliação deliberadamente sem pressa. O caso $f\equiv0$ não é decidido por essa afirmação. Detalhes: situação datada e fontes.

Fontes primárias: Clay (2026-09-11) · OpenAI (2026-09-08) · Lean / GitHub · Enunciado oficial de Clay.

Não resolvido não significa intocado. Quase um século de trabalho matemático profundo mapeou o terreno e revelou exatamente onde reside a dificuldade e por que ela não cederá às ferramentas que temos:

• Soluções fracas existem globalmente (Leray, 1934). Relaxe a noção de «solução» para permitir um comportamento irregular, em média, e soluções existem para todo o tempo. Se elas permanecem suaves sem força externa, ninguém provou. Mais sobre abordagens →
• 2D está resolvido. Soluções suaves sempre existem globalmente em duas dimensões, mas três dimensões é uma fera completamente diferente. Por que 3D é mais difícil →
• Singularidades, se existirem, são raras (CKN, 1982). Caffarelli, Kohn e Nirenberg provaram que o conjunto de possíveis singularidades tem medida de Hausdorff parabólica unidimensional zero. Subproblemas e resultados parciais →
• Soluções suaves existem brevemente. Comece com dados suaves e você obtém uma solução suave única por algum intervalo de tempo, mas se esse intervalo pode sempre ser estendido ao infinito é exatamente o que é desconhecido.
• A formulação precisa foi estabelecida por Charles Fefferman para o Clay Mathematics Institute. Leia a declaração do Problema do Millennium →

Os seguintes resultados constituem o principal progresso parcial:

• Leray (1934): para $u_0 \in L^2(\mathbb{R}^3)$, existem soluções fracas globais (hoje chamadas soluções de Leray-Hopf) que satisfazem a desigualdade de energia. Para $f\equiv0$, a unicidade e a regularidade dessas soluções continuam em aberto; com uma força escolhida adequadamente, a não unicidade foi provada. Abordagens →
• Regularidade global em 2D: em duas dimensões, a existência global e a unicidade de soluções suaves são conhecidas há muito; o enunciado de Clay cita a monografia de Ladyzhenskaya de 1969. A chave é que a enstrofia é controlada em 2D. Por que o 3D é diferente →
• CKN (1982): Caffarelli, Kohn e Nirenberg provaram que a medida de Hausdorff parabólica unidimensional do conjunto singular de qualquer solução fraca adequada é zero. Subproblemas →
• Existência local: Para dados suficientemente regulares, soluções suaves locais únicas existem; em espaços críticos como $\dot{H}^{1/2}$, tem-se boa colocação local no contexto de soluções brandas. A questão em aberto é se essas soluções podem sempre ser continuadas para todo tempo.
• Formulação Clay (2000): A declaração do problema de Fefferman especifica os espaços de funções exatos, condições de decaimento e o que constitui uma prova ou refutação válida. O Problema do Millennium →

Eis a dificuldade central. O próprio movimento de um fluido pode empurrar a atividade para escalas cada vez menores mais depressa do que as estimativas atuais conseguem controlar. Para escoamentos tridimensionais sem força externa, as estimativas conhecidas não são fortes o bastante para descartar isso, e ninguém mostrou que isso acontece. (A construção de 2026 afirma que isso pode acontecer quando uma força suave é aplicada.)

Não é questão de engenhosidade. Não é questão de poder computacional. As estimativas conhecidas ficam aquém, e essa tensão entre concentração e dissipação é o motivo pelo qual resolver a questão sem força externa exige ideias novas.

Supercriticidade, a lacuna de escala, por que a turbulência 3D é fundamentalmente diferente: para a história completa, veja Por Que o Problema de Navier-Stokes É Tão Difícil.

As equações de Navier-Stokes 3D são supercríticas com respeito à estimativa de energia natural: a norma $L^2$ é controlada, mas a regularidade crítica de escala reside em $\dot{H}^{1/2}$, que não é propagada apenas pela desigualdade de energia. O termo não linear $(u \cdot \nabla)u$ pode em princípio transferir energia para escalas arbitrariamente finas mais rápido do que o Laplaciano a dissipa.

Este é o obstáculo analítico essencial; para $f\equiv0$, nenhuma técnica existente fecha a lacuna. Para um tratamento detalhado, veja Por que é difícil.

Em 2000, o Clay Mathematics Institute incluiu essa questão de regularidade entre os sete Problemas do Prêmio do Milênio, oferecendo US$ 1.000.000 por uma resolução reconhecida segundo suas regras. O enunciado oficial aceita qualquer uma entre quatro alternativas: suavidade global sem força externa, ou ruptura permitindo uma força suave admissível, cada uma em todo o espaço ou em uma caixa periódica. Esta visão geral explica por que essa pergunta do prêmio importa em contexto.

Para a formulação exata, leia o enunciado oficial do problema, explicado. Para saber em que pé as coisas estão agora, veja a situação atual (fontes revisadas em 2026-09-29).

O Clay Mathematics Institute incluiu essa questão de regularidade em sua lista de Problemas do Prêmio do Milênio de 2000. A formulação, escrita por C. Fefferman, é colocada em $\mathbb{R}^3$ e $\mathbb{T}^3$ e aceita ou uma prova de existência suave global com $f\equiv0$ (A, B), ou uma construção de ruptura em que se pode escolher uma força suave admissível (C, D).

Leia o enunciado oficial do problema, explicado, ou confira a situação atual (fontes revisadas em 2026-09-29).

Esta página é um mapa. Escolha a pergunta que trouxe você até aqui:

• Está resolvido? O anúncio de setembro de 2026, a resposta de Clay e o que continua em aberto.
• O que exatamente Clay pede? O enunciado oficial, suas quatro alternativas e suas condições.
• Por que é difícil? Supercriticalidade, turbulência e a lacuna de escala.
• Por que o 2D é mais fácil? O estiramento de vórtices e o que ele quebra em três dimensões.
• O que é uma solução fraca? Soluções fracas, fortes e suaves, e o que a unicidade significa para cada uma.
• O que foi provado? De Leray à afirmação de 2026.

Para tratamentos detalhados:

• Está resolvido? O teorema anunciado, sua correspondência com C/D, a situação da avaliação e as questões restantes.
• O Problema do Milênio A formulação de Fefferman, os espaços de funções, as condições (4)–(11) e o que constitui uma resolução válida.
• Por que é difícil A escala supercrítica, o papel da não linearidade e a lacuna entre o controle no nível da energia e a regularidade.
• Por que 2D é mais fácil que 3D Transporte de vorticidade, controle da enstrofia e estiramento de vórtices.
• Soluções fracas, fortes e suaves Soluções distribucionais versus soluções de Leray–Hopf, e unicidade fraca-forte.
• Progresso Os marcos e o capítulo de 2026 em contexto.

Os matemáticos não ficaram apenas olhando para o problema. Desenvolveram ferramentas poderosas, resultados parciais e campos inteiramente novos da análise tentando resolvê-lo. A afirmação de 2026 acrescenta uma nova construção a ser estudada, enquanto a questão sem força externa, a unicidade das soluções fracas e os mecanismos pelos quais os escoamentos se concentram continuam sendo pesquisa ativa.

Veja também: Veja o progresso até agora →

O problema de Navier-Stokes impulsionou grandes desenvolvimentos em análise harmônica, análise funcional e teoria geométrica da medida ao longo do último século. Resultados de regularidade parcial, critérios condicionais de explosão (Beale-Kato-Majda, Escauriaza-Seregin-Šverák) e análises de problemas-modelo continuam aprimorando nossa compreensão de onde está a fronteira entre regularidade e possível singularidade. A construção forçada anunciada (C/D) agora se soma a esses resultados; o caso $f\equiv0$ continua em aberto.

Veja também: Panorama do progresso →