O problema de Navier-Stokes está resolvido? Status 2026

Não. Em 2026, o problema de existência e suavidade de Navier-Stokes permanece não resolvido. Ninguém provou que soluções suaves sempre existem em três dimensões, e ninguém mostrou que elas podem colapsar. O Prêmio do Milênio Clay ($1 milhão) permanece lá, não reivindicado, esperando por alguém que resolva um problema ligado a equações formuladas no século XIX e ainda em aberto hoje.

Esta é a página de status para perguntas como “Navier-Stokes está resolvido?” ou “o problema Clay de Navier-Stokes foi resolvido?”. Para o enunciado exato de Clay, veja existência e suavidade de Navier-Stokes.

As equações em si não estão em questão. Engenheiros e cientistas usam Navier-Stokes todos os dias para projetar aeronaves, prever o tempo e modelar o fluxo sanguíneo. Simulações funcionam. Mas aqui está o que não está resolvido: uma questão puramente matemática sobre se as equações sempre produzem soluções bem comportadas, ou se elas podem eventualmente prever algo impossível, como velocidade infinita concentrada em um único ponto no espaço.

Em 2026, o Prêmio do Milênio Clay para existência e suavidade de Navier-Stokes permanece em aberto. Nem regularidade global nem explosão em tempo finito foram estabelecidas para as equações de Navier-Stokes incompressíveis em 3D.

Precisamente: dados dados iniciais suaves e livres de divergência $u_0 \in C^\infty(\mathbb{R}^3)$ com decaimento adequado (ou em $\mathbb{T}^3$), é desconhecido se uma solução suave única $(u, p)$ existe para todo $t \geq 0$ com $u \in C^\infty(\mathbb{R}^3 \times [0, \infty))$. Nenhum contraexemplo foi construído.

Não está completamente escuro. Matemáticos têm trabalhado nisso por mais de um século, e construíram um quadro surpreendentemente detalhado do que é conhecido e do que não é:

• Soluções fracas existem (Leray, 1934). Se você enfraquece a noção de solução, soluções globais existem. Mas se elas permanecem suaves e únicas ainda está em aberto.
• 2D está resolvido (Ladyzhenskaya, 1969). Duas dimensões? Feito. Soluções suaves existem para todo tempo, e a dificuldade é inteiramente, obstinadamente específica a 3D.
• Singularidades são raras (Caffarelli-Kohn-Nirenberg, 1982). Mesmo se singularidades existem em 3D, elas estão confinadas a um conjunto de medida de Hausdorff parabólica unidimensional zero, um conjunto extremamente pequeno na geometria natural da equação.
• Soluções de tempo curto existem. Suaves? Sim, pelo menos brevemente. A questão: elas podem sempre ser continuadas para sempre?

Então a lacuna é estreita mas profunda. Sabemos que soluções começam suaves e sabemos que soluções fracas persistem globalmente, mas ninguém pode provar que a suavidade sobrevive para todo tempo em três dimensões.

Principais resultados estabelecidos:

• Leray (1934): Existência global de soluções fracas (distribucionais) satisfazendo a desigualdade de energia $\|u(t)\|_{L^2}^2 + 2\nu \int_0^t \|\nabla u(s)\|_{L^2}^2 \, ds \leq \|u_0\|_{L^2}^2$. Unicidade? Em aberto.
• Ladyzhenskaya (1969): Para o problema incompressível 2D, dados livres de divergência suaves produzem uma solução suave global única.
• Caffarelli-Kohn-Nirenberg (1982): Regularidade parcial para soluções fracas adequadas: o conjunto singular tem medida de Hausdorff parabólica unidimensional zero, $\mathcal{P}^1(S) = 0$.
• Boa colocação local: Para $u_0 \in H^s(\mathbb{R}^3)$ com $s > 3/2$, uma solução suave única existe em $[0, T^*)$; isso também vale no espaço crítico de escala $\dot{H}^{1/2}(\mathbb{R}^3)$ (Fujita-Kato, 1964), estendendo-se a espaços críticos estritamente maiores incluindo $BMO^{-1}$ (Koch-Tataru, 2001). $T^* = \infty$?

Aqui está a lacuna: sabemos que soluções fracas existem globalmente, e sabemos que soluções fortes existem localmente com unicidade completa. Se a solução forte pode sempre ser estendida para todo tempo é a questão que permanece amplamente aberta.

A cada ano ou dois, um preprint surge alegando resolver o problema de Navier-Stokes. O ciclo é previsível: entusiasmo, escrutínio de especialistas, então alguém encontra a lacuna. Nenhum foi aceito pela comunidade de especialistas como uma resolução correta.

Parte da confusão vem de misturar o que "resolvido" realmente significa:

• "Podemos simular fluidos em computadores." Claro. Mas simulação numérica não é uma prova matemática; simulações cortam espaço e tempo em pedaços finitos, e a questão é sobre o que acontece nas equações contínuas antes de você fazer qualquer corte.
• "Engenheiros usam essas equações com sucesso." Eles usam. Mas sucesso prático não nos diz se as equações são internamente consistentes em todo cenário possível que um matemático possa imaginar.
• "O problema 2D está resolvido." Correto. Mas o problema 3D é fundamentalmente diferente porque o mecanismo que faz 2D funcionar (sem estiramento de vórtice, que mantém a vorticidade limitada) simplesmente não se aplica em três dimensões.

Provas alegadas aparecem regularmente. Elas falham por razões previsíveis:

• Estimativas a priori incorretas: assumindo controle de uma norma crítica ou supercrítica que não foi realmente estabelecida.
• Confusão de soluções fracas e fortes: provando propriedades de soluções de Leray-Hopf que exigiriam a própria regularidade sendo alegada.
• Erros de análise dimensional: argumentos que fecham em 2D (onde enstrofia dá controle $H^1$ e imersões de Sobolev subcríticas são suficientes) mas falham completamente em 3D, onde essas mesmas imersões não controlam mais a não linearidade.
• Bootstraps circulares: a hipótese implicitamente assume o que está sendo provado.

Por que tudo falha? O problema 3D é supercrítico com respeito à norma de energia natural, então técnicas padrão como estimativas de energia e argumentos tipo Gronwall simplesmente não fornecem controle suficiente. Essa é a parede que toda prova alegada encontra.

Para reivindicar o prêmio Clay, você precisaria fazer uma de duas coisas:

1. Provar regularidade global: mostrar que para quaisquer condições iniciais suaves, a solução permanece suave para sempre. Sem velocidades infinitas. Sem colapsos. As equações sempre se comportam.
2. Construir uma explosão: encontrar condições iniciais suaves onde a solução matemática clássica colapsa em tempo finito, ou de outra forma satisfazer uma das formulações oficiais de colapso da Clay.

Qualquer resultado seria massivo. Regularidade global resolveria o problema Clay e estabeleceria que o modelo incompressível é matematicamente bem posto para todos os dados suaves. Uma explosão? Isso nos forçaria a repensar o que acontece em escalas extremas e poderia apontar para física inteiramente nova que ainda não imaginamos.

Pela formulação Clay de Fefferman, uma resolução válida requer uma de:

1. (A) Existência e suavidade: Para todo $u_0 \in C^\infty(\mathbb{R}^3)$ com $\nabla \cdot u_0 = 0$ e $|\partial_x^\alpha u_0(x)| \leq C_{\alpha K} (1 + |x|)^{-K}$ para todos $\alpha, K$, provar existência de $(u, p) \in C^\infty(\mathbb{R}^3 \times [0,\infty))$ satisfazendo as equações, com $\int_{\mathbb{R}^3} |u(x,t)|^2 \, dx < C$ para todo $t \geq 0$.
2. (B) Colapso: Exibir $u_0 \in C^\infty(\mathbb{R}^3)$ (livre de divergência, com decaimento adequado) e $f \in C^\infty(\mathbb{R}^3 \times [0,\infty))$ tal que nenhum $(u,p) \in C^\infty(\mathbb{R}^3 \times [0,\infty))$ satisfaz as equações.

Formulações análogas em $\mathbb{T}^3$ também são aceitas. A declaração completa de Fefferman inclui casos separados com e sem forçamento externo ($f = 0$ e $f \neq 0$); o acima destila as alternativas essenciais.

• 1822: Navier deriva as equações a partir de considerações moleculares.
• 1845: Stokes dá a elas sua forma moderna.
• 1934: Leray prova que soluções fracas existem globalmente. Enorme.
• 1969: Ladyzhenskaya resolve 2D.
• 1982: Caffarelli, Kohn e Nirenberg provam regularidade parcial, estabelecendo que quaisquer singularidades devem ser extraordinariamente raras, com medida de Hausdorff parabólica unidimensional zero.
• 1984: Beale, Kato e Majda provam para as equações de Euler 3D que o colapso de uma solução suave força divergência da integral temporal da vorticidade. Critérios de continuação relacionados também se aplicam a Navier-Stokes.
• 2000: Clay nomeia como um Problema do Milênio. Um milhão de dólares.
• 2014: Tao constrói explosão para uma versão média das equações (preprint; publicado 2016), mostrando que não há obstrução puramente estrutural à formação de singularidade.
• 2026: Em aberto.

• 1822: Navier. Tensão molecular.
• 1845: Stokes. Contínuo.
• 1934: Leray. O resultado fundamental: soluções fracas globais em $L^2$, o projetor de Leray, e a desigualdade de energia que moldaria um século inteiro de análise matemática de fluidos e definiria toda abordagem que se seguiu.
• 1951: Hopf estende para domínios limitados.
• 1962: Serrin estabelece regularidade condicional: suave se $u \in L^p_t L^q_x$ com $2/p + 3/q \leq 1$ e $q > 3$; o ponto final $L^\infty_t L^3_x$ foi resolvido por Escauriaza-Seregin-Šverák em 2003.
• 1969: Ladyzhenskaya. 2D feito.
• 1982: CKN. $\mathcal{P}^1(S) = 0$.
• 1984: Beale-Kato-Majda (para Euler 3D). Se $T^* < \infty$, então $\int_0^{T^*} \|\omega(s)\|_{L^\infty} \, ds = \infty$. Critérios de continuação análogos valem para Navier-Stokes.
• 2000: Clay.
• 2014: Tao. Explosão de Navier-Stokes média (JAMS 2016), mostrando que qualquer prova de regularidade para as equações verdadeiras deve explorar características mais finas da não linearidade de Navier-Stokes do que aquelas preservadas pelo modelo médio.
• 2026: Em aberto.

Parte de O Problema.

Vá mais fundo: por que o problema é tão difícil?, quais subproblemas os matemáticos estão trabalhando, e quais abordagens eles tentaram?

A declaração formal da Clay está na página do Problema do Milênio, e se você quer entender qual versão das equações este problema realmente visa, veja Navier-Stokes Incompressível vs. Compressível.

Parte de O Problema.

Detalhes: formulação Clay. Obstáculos: Por Que É Difícil.

Para o quadro completo de resultados parciais, questões abertas e toda estratégia que foi tentada ao longo do último século de trabalho neste problema, veja Subproblemas e Abordagens. Qual formulação o problema Clay estuda: Incompressível vs. Compressível.