O problema de Navier-Stokes: visão geral da questão 3D aberta

Não, não está resolvido.

Esta página é a visão geral ampla do problema. Para o status atual em 2026 e o contexto de alegações fracassadas de solução, veja o problema de Navier-Stokes está resolvido?. Para a formulação oficial de Clay, veja existência e suavidade de Navier-Stokes.

O problema de Navier-Stokes coloca uma questão enganosamente simples: se você inicia o escoamento suave de um fluido 3D, ele permanece suave para sempre? Ou o movimento pode tornar-se tão caótico que as equações entram em colapso, com a suavidade se deteriorando em tempo finito?

Ninguém sabe.

Este é o problema de existência e suavidade de Navier-Stokes, uma das questões abertas mais profundas em toda a matemática, e tem resistido a todas as tentativas de prova desde que as equações tomaram forma no século XIX. Pessoas alegaram soluções. Nenhuma sobreviveu. Para o estado completo, veja Está Resolvido?

O problema está em aberto.

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 existem dados suaves $u_0$ (e possivelmente uma forçante suave $f$) para os quais singularidades de tempo finito se formam.

Ambas as direções estão em aberto. Nenhuma prova estabelece regularidade global; nenhuma construção produz explosão em tempo finito a partir de dados suaves. O problema está em aberto desde o trabalho fundacional de Navier (1822) e Stokes (1845), e permanece um dos problemas centrais em aberto em análise e física matemática.

Para o estado atual, incluindo alegações publicadas e seu destino, veja Está Resolvido?

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 a existência e suavidade de Navier-Stokes como um dos sete Problemas do Prêmio Millennium, oferecendo $1.000.000 por uma prova ou refutação correta. Vinte e seis anos depois, o prêmio permanece não reclamado.

Leia sobre o Problema do Millennium →

O Clay Mathematics Institute incluiu a existência e suavidade de Navier-Stokes em sua lista de 2000 de Problemas do Prêmio Millennium, com um prêmio de US $1,000,000. The problem statement, written by C. Fefferman, specifies two sub-problems (on $\mathbb{R}^3$ and on $\mathbb{T}^3$) e aceita tanto uma prova de existência suave global quanto uma construção de explosão em tempo finito. Até 2026, nenhuma solução foi aceita.

A formulação precisa do Millennium →

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

• Está Resolvido? Não. Aqui está o estado atual, principais alegações publicadas e as razões técnicas pelas quais falharam sob escrutínio especializado.
• 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? Estado do problema, alegações publicadas e retratadas, padrões de verificação.
• 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 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.

Panorama do progresso →