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

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.

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.

Veja também: o problema de Navier-Stokes está resolvido? (status de 2026-09-12 (JST))

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.

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 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.

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 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.

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.

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.

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.
• Importância duradoura. Clay escolheu Navier–Stokes como um de seus sete Problemas do Milênio em 2000 por sua dificuldade matemática fundamental e pelo papel central das equações na dinâmica de fluidos. O anúncio de setembro de 2026 muda o estado, não esses motivos de sua importância. Veja também: explore por quê

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.

A estimativa de energia aqui exibida vale sem força externa. Com força, o lado direito também inclui o termo de trabalho $\int_0^t\!\int f(x,s)\cdot u(x,s)\,dx\,ds$.

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.
• 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.

Veja também: abordagens de espaço crítico

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.

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.

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.