Enunciado Clay de Navier-Stokes: critérios oficiais explicados

Resposta curta: o problema oficial de Clay pergunta se escoamentos suaves de Navier-Stokes incompressíveis tridimensionais devem permanecer suaves para todo tempo futuro, ou se dados suaves admissíveis podem romper. Em julho de 2026, o Clay Mathematics Institute não aceitou nenhuma prova ou contraexemplo.

Em 2000, o Clay Mathematics Institute escolheu sete dos problemas não resolvidos mais difíceis da matemática e colocou $1 milhão em cada um. O problema da existência e suavidade de Navier-Stokes entrou na lista.

Esta página percorre o enunciado oficial do problema — o PDF de Charles Fefferman para o Clay Mathematics Institute, vinculado abaixo — em linguagem simples: o que o Clay está perguntando, quais dados são permitidos e o que contaria como prova ou contraexemplo. Se você quer apenas o status atual, veja o problema de Navier-Stokes está resolvido? (status de julho de 2026)

A pergunta, resumida: as equações do movimento de fluidos sempre produzem soluções suaves e bem comportadas, ou elas podem explodir?

Ninguém reivindicou o prêmio. Houve progresso real na compreensão de como seria uma solução ou uma ruptura, mas o problema do Prêmio do Milênio Clay em si permanece completamente aberto.

Resposta curta: o problema de Clay pergunta se as formulações 3D incompressíveis aceitas de Navier-Stokes sempre admitem soluções globais suaves a partir de dados suaves livres de divergência, ou se dados suaves admissíveis podem forçar ruptura em tempo finito. Em julho de 2026, nenhuma das alternativas foi provada.

O Prêmio do Milênio Clay para Navier-Stokes está declarado na descrição oficial do problema por Charles Fefferman. Duas formulações são dadas, uma em $\mathbb{R}^3$ e uma em $\mathbb{T}^3$ com condições de contorno periódicas. Uma solução válida deve resolver uma das alternativas aceitas do enunciado de Clay.

O prêmio requer:

• (A) Existência e suavidade: provar que os dados iniciais suaves e livres de divergência apropriados geram uma solução suave para todo $t \geq 0$ com o controle de energia declarado.
• (B) Ruptura: exibir dados suaves admissíveis, com a força permitida na formulação relevante, para os quais não existe solução globalmente suave.

Esta página parafraseia e explica o enunciado oficial; para o texto autorizado, use a fonte Clay vinculada abaixo.

O problema de Clay não está perguntando se simulações de fluidos funcionam, se engenheiros conseguem resolver exemplos de escoamento em tubos, ou se soluções fracas existem. Essas são perguntas separadas. A pergunta do prêmio é sobre suavidade global ou ruptura em tempo finito para as equações incompressíveis tridimensionais.

Para ganhar o prêmio, uma prova precisa se encaixar em um de dois casos:

1. Suavidade global: mostrar que todo escoamento inicial suave admissível permanece suave para todo tempo futuro.
2. Ruptura: apresentar uma configuração inicial suave admissível para a qual uma solução globalmente suave não pode existir.

O sistema central é a equação de Navier-Stokes 3D incompressível

$$\partial_t u + (u \cdot \nabla)u = -\nabla p + \nu \Delta u + f, \qquad \nabla \cdot u = 0.$$

A formulação de Clay separa os casos do espaço inteiro e periódico. Na direção de existência no espaço inteiro, a velocidade inicial é suave, livre de divergência e de decaimento rápido; o alvo é uma solução globalmente suave com energia finita para todo tempo. Na direção de ruptura, a tarefa é construir dados admissíveis, sob uma das alternativas oficiais, para os quais a solução globalmente suave exigida deixa de existir.

Aqui está o que o problema realmente pergunta, em linguagem simples:

Configuração: Tome qualquer velocidade inicial do fluido que seja perfeitamente suave (sem bordas afiadas, sem descontinuidades) e que desapareça no infinito. Longe da ação, o fluido fica parado.

Pergunta: A velocidade permanece suave e finita para todo tempo futuro? Ou ela pode explodir?

Duas respostas. Apenas duas.

1. Sim, sempre suave. Prove que não importa qual estado inicial suave você escolha, a solução permanece suave para sempre. Toda condição inicial, todo tempo.
2. Não, a explosão acontece. Encontre uma configuração inicial suave específica, possivelmente junto com uma força externa suave, onde a solução quebra. Apenas uma é suficiente.

Seguindo a formulação de Fefferman em $\mathbb{R}^3$ com $f \equiv 0$:

Hipóteses: Seja $u_0 \in C^\infty(\mathbb{R}^3)$ livre de divergência. Assuma que para todo $\alpha$ e $K$ existem constantes $C_{\alpha,K}$ tais que

$$|\partial^\alpha u_0(x)| \leq \frac{C_{\alpha,K}}{(1 + |x|)^K} \quad \text{em } \mathbb{R}^3.$$

Conclusão (a provar): Existem $p \in C^\infty(\mathbb{R}^3 \times [0,\infty))$ e $u \in C^\infty(\mathbb{R}^3 \times [0,\infty))$ satisfazendo as equações de Navier-Stokes, $u(x,0) = u_0(x)$, e a limitação de energia

$$\int_{\mathbb{R}^3} |u(x,t)|^2 \, dx < C \quad \text{para todo } t \geq 0.$$

Três coisas colocaram Navier-Stokes nessa lista restrita:

• Importância prática. Essas equações governam a maior parte da dinâmica de fluidos: projeto de aeronaves, modelos climáticos, fluxo sanguíneo, correntes oceânicas. Mesmo sem uma prova completa, engenheiros usam essas equações com sucesso em muitos regimes; o problema aberto é sobre se as equações 3D podem sempre ser justificadas matematicamente.
• Profundidade matemática. Envolve análise, geometria, topologia e física simultaneamente.
• Pura teimosia (explore por quê). Mais de 180 anos de esforço por alguns dos maiores matemáticos que já viveram, e ainda não sabemos a resposta.

Um estudante brilhante de graduação pode enunciar a pergunta em cinco minutos. Ninguém encontrou uma resposta. Essa lacuna entre uma declaração simples e uma prova inalcançável é o que define um Problema do Milênio.

A dificuldade do problema está enraizada na natureza supercrítica das equações 3D. A estimativa de energia natural

$$\frac{1}{2}\|u(t)\|_{L^2}^2 + \nu \int_0^t \|\nabla u(s)\|_{L^2}^2 \, ds \leq \frac{1}{2}\|u_0\|_{L^2}^2$$

coloca $u$ em $L^\infty_t L^2_x \cap L^2_t \dot{H}^1_x$, que está abaixo do escalonamento crítico. As equações de Navier-Stokes são invariantes sob

$$u(x,t) \mapsto \lambda u(\lambda x, \lambda^2 t), \quad p(x,t) \mapsto \lambda^2 p(\lambda x, \lambda^2 t)$$

e o espaço crítico é $L^3(\mathbb{R}^3)$ (ou $\dot{H}^{1/2}$). A classe de energia $L^2$ é supercrítica. Ela está abaixo do limiar de escalonamento crítico e não controla por si só a cascata não linear em pequena escala, deixando uma lacuna que todas as técnicas existentes lutam para preencher.

Os marcos essenciais:

• 1822: Navier deriva as equações a partir de considerações moleculares.
• 1845: Stokes dá a derivação moderna a partir da mecânica do contínuo.
• 1934: Leray prova que soluções "fracas" sempre existem. Um resultado massivo, mas essas soluções podem não ser suaves.
• 1982: Caffarelli, Kohn e Nirenberg provam que singularidades (mais sobre regularidade parcial), se existirem, são extremamente pequenas: na geometria parabólica natural a essas equações, o conjunto singular tem medida de Hausdorff parabólica unidimensional zero.
• 1984: Beale, Kato e Majda provam (originalmente para Euler, com análogos para Navier-Stokes) que a explosão só pode acontecer se a vorticidade se tornar infinita.
• 2000: Clay o nomeia um Problema do Milênio.
• Hoje: Ainda aberto. Trabalho ativo em abordagens de espaço crítico, classificação de explosão Tipo-I/II e prova assistida por computador.

Resultados fundamentais, seletivamente:

• Leray (1934): Soluções fracas globais $u \in L^\infty_t L^2_x \cap L^2_t \dot{H}^1_x$ existem, provadas via compacidade. Ele introduziu o projetor de Leray e o conceito de soluções turbulentas. O tiro de partida para tudo que se seguiu.
• Hopf (1951): Estendeu a construção de Leray para domínios limitados.
• Ladyzhenskaya, Prodi, Serrin (anos 1960): Critérios de regularidade. Se $u \in L^p_t L^q_x$ com $2/p + 3/q \leq 1$, $q > 3$, então a solução é suave. Escauriaza, Seregin e Šverák resolveram o caso de ponto final $L^\infty_t L^3_x$ em 2003.
• Caffarelli, Kohn, Nirenberg (1982): $\mathcal{P}^1(\Sigma) = 0$. O conjunto singular tem medida de Hausdorff parabólica unidimensional zero.
• Beale, Kato, Majda (1984): Originalmente provado para Euler incompressível: a explosão acontece se e somente se $\int_0^{T^*} \|\omega(\cdot,t)\|_{L^\infty} \, dt = \infty$. Critérios análogos valem para Navier-Stokes.
• Koch, Tataru (2001): Boa colocação local para dados pequenos em $\mathrm{BMO}^{-1}$. Este é o maior espaço crítico onde a boa colocação é conhecida.
• Seregin (2012): Em um tempo de explosão $T^*$, a norma $L^3$ deve divergir: $\|u(t)\|_{L^3} \to \infty$ quando $t \to T^*$. Estritamente mais forte que ESS (2003), que apenas mostrou falha de limitação uniforme.

Este artigo faz parte de O Problema.

Se você veio aqui se perguntando se alguém já o resolveu, comece com O Problema de Navier-Stokes Foi Resolvido?.

Então explore por que é tão difícil, ou veja como os matemáticos o dividiram em subproblemas. Para as razões estruturais pelas quais o problema 2D é tratável enquanto o 3D permanece aberto, veja Por Que 2D É Mais Fácil Que 3D.

Este artigo faz parte de O Problema.

Quer a resposta curta sobre se foi resolvido? Veja O Problema de Navier-Stokes Foi Resolvido? Essa página também esclarece a lacuna entre existência fraca e regularidade suave global.

Os obstáculos matemáticos são apresentados em Por Que É Difícil. Para uma decomposição em peças tratáveis (soluções fracas, regularidade parcial, classificação de explosão), veja Subproblemas. E para entender por que o caso 2D está resolvido enquanto o 3D não está, veja Por Que 2D É Mais Fácil Que 3D.