O Problema de Navier-Stokes

A regularidade global de Navier–Stokes 3D sem força externa permanece em aberto: a construção forçada anunciada não a resolve. Na discussão técnica abaixo, questões abertas de regularidade e unicidade referem-se ao sistema sem força externa, salvo indicação explícita de outro contexto.

Estado das fontes revisado em 2026-09-12 (JST). Em 8 de setembro, a OpenAI anunciou explosão em tempo finito para Navier–Stokes incompressível 3D com força externa suave, alegando resolver as alternativas C e D de Clay, com manuscrito e formalização em Lean. Em 11 de setembro, Clay declarou que o problema «aparentemente foi resolvido»; a avaliação e a atribuição de crédito serão deliberadamente sem pressa. Isso não é a concessão do prêmio nem uma verificação da prova por este site.

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

Veja também: o problema de Navier-Stokes está resolvido? · existência e suavidade de Navier-Stokes · Está Resolvido?

A regularidade global de Navier–Stokes 3D sem força externa permanece em aberto: a construção forçada anunciada não a resolve. Na discussão técnica abaixo, questões abertas de regularidade e unicidade referem-se ao sistema sem força externa, salvo indicação explícita de outro contexto.

Estado das fontes revisado em 2026-09-12 (JST). Em 8 de setembro, a OpenAI anunciou explosão em tempo finito para Navier–Stokes incompressível 3D com força externa suave, alegando resolver as alternativas C e D de Clay, com manuscrito e formalização em Lean. Em 11 de setembro, Clay declarou que o problema «aparentemente foi resolvido»; a avaliação e a atribuição de crédito serão deliberadamente sem pressa. Isso não é a concessão do prêmio nem uma verificação da prova por este site.

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

Veja também: Está Resolvido?

Clay pede uma prova de uma entre quatro alternativas, não das quatro: (A) existência global suave sem força externa em R³; (B) existência global suave sem força externa no toro periódico T³; (C) ruptura em R³, permitindo forças suaves admissíveis; (D) ruptura periódica, permitindo forças suaves admissíveis. A/B abrangem todos os dados iniciais admissíveis; C/D exigem um contraexemplo admissível. A ruptura forçada não refuta A/B.

O problema de existência e suavidade de Navier-Stokes pergunta se, para todo dado inicial suficientemente suave e livre de divergência $u_0 \in C^\infty(\mathbb{R}^3)$ (com decaimento adequado) e $f \equiv 0$, o sistema incompressível de Navier-Stokes admite uma solução $u \in C^\infty(\mathbb{R}^3 \times [0,\infty))$; alternativamente, se dados suaves admissíveis podem levar a uma ruptura em tempo finito.

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 comportamento áspero e médio, e soluções existem para todo tempo. Suaves? Ninguém pode provar. 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)$, soluções fracas globais (agora chamadas soluções de Leray-Hopf) existem e satisfazem a desigualdade de energia. Unicidade e regularidade dessas soluções permanecem em aberto. Abordagens →
• Regularidade global em 2D: Ladyzhenskaya (1959) estabeleceu existência global e unicidade de soluções suaves em $\mathbb{R}^2$. A chave é que a enstrofia é controlada em 2D. Por que 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 →

Aqui está a dificuldade central. O próprio movimento de um fluido pode empurrar atividade para escalas cada vez menores mais rápido do que as estimativas atuais podem controlar. Em três dimensões, a matemática não nos dá controle suficiente para descartar isso. Também não nos permite provar que isso acontece.

Isso não é sobre inteligência. Não é sobre poder computacional. As ferramentas matemáticas conhecidas são fundamentalmente insuficientes, e essa tensão entre concentração e dissipação é exatamente por que resolver o problema exigiria matemática genuinamente nova.

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.

Esta é a obstrução analítica essencial, e nenhuma técnica existente fecha a lacuna. Para um tratamento detalhado, veja Por Que É Difícil.

Em 2000, o Clay Mathematics Institute nomeou esta questão de regularidade como um dos sete Problemas do Prêmio do Milênio, oferecendo US$ 1.000.000 por uma prova ou refutação correta. Esta visão geral explica por que essa questão do prêmio importa no contexto.

Para a formulação exata, leia o enunciado oficial do problema, explicado. Para saber como as coisas estão agora, veja o status atual (2026-09-12 (JST)).

O Clay Mathematics Institute incluiu esta questão de regularidade em sua lista de 2000 de Problemas do Prêmio do Milênio. A formulação, escrita por C. Fefferman, é posta em $\mathbb{R}^3$ e $\mathbb{T}^3$ e aceita tanto uma prova de existência suave global quanto uma construção de ruptura em tempo finito sob as alternativas aceitas.

Leia o enunciado oficial do problema, explicado, ou verifique o status atual (2026-09-12 (JST)).

Esta página é um mapa. O território é profundo. Escolha um fio:

• Está Resolvido? Setembro de 2026: OpenAI anuncia explosão 3D com força suave (Clay C/D); Clay reconhece aparente resolução. Avaliação e prêmio são etapas distintas.
• O Problema do Millennium Exigências. Precisas.
• Por Que É Difícil Supercriticidade, turbulência e a lacuna de escala que bloqueia todas as abordagens conhecidas de chegar perto de uma prova.

Para tratamentos detalhados dos tópicos introduzidos acima:

• Está Resolvido? Setembro de 2026: OpenAI anuncia explosão 3D com força suave (Clay C/D); Clay reconhece aparente resolução. Avaliação e prêmio são etapas distintas.
• O Problema do Millennium Formulação de Fefferman, espaços de funções e o que constitui uma prova ou contraexemplo válido.
• Por Que É Difícil A escala supercrítica, o papel da não linearidade e a lacuna entre controle no nível de energia e regularidade.

Matemáticos não apenas olharam fixamente para o problema. Eles desenvolveram ferramentas poderosas, resultados parciais e campos inteiramente novos de análise tentando decifrá-lo. O trabalho continua.

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 a aprimorar nossa compreensão de onde reside a fronteira entre regularidade e potencial singularidade.

Veja também: Panorama do progresso →