Equações de Navier–Stokes

1. Por que isso importa: um Problema do Milênio

A água que contorna um barco e o ar que contorna uma asa obedecem ao mesmo balanço local: a massa se conserva, e as forças alteram o momento. As equações de Navier–Stokes transformam essa ideia em um modelo contínuo. Escrever as equações é muito mais fácil do que provar tudo o que cada solução pode fazer.

Situação da pesquisa verificada em 13 de outubro de 2026. Em 8 de setembro, a OpenAI anunciou uma construção de singularidade em tempo finito para Navier–Stokes incompressível em três dimensões com uma força externa suave, acompanhada de um artigo e de código Lean. Ela visa às alternativas C e D do Problema do Milênio do Clay. Trata-se de um importante avanço anunciado, mas ele não estabelece uma singularidade para as equações de Navier–Stokes sem força externa. O resultado separado para Euler sem força externa tem viscosidade nula e não deve ser confundido com ele. Anúncio da OpenAI, atualizado em 10 de setembro.

Aqui importa distinguir um resultado anunciado, uma proposição formal verificada, uma demonstração legível e a aceitação pela comunidade. A seção 14 apresenta a situação da avaliação com datas, incluindo o exame crítico de outubro. A física a seguir explica por que energia limitada pode coexistir com movimento local cada vez mais extremo.

---

2. Campos contínuos e leis de conservação

Sejam $\rho (\mathbf{x},t)$ a densidade de massa, $\mathbf{v}(\mathbf{x},t)$ a velocidade, $p(\mathbf{x},t)$ a pressão e $\mathbf{\sigma }$ o tensor de tensões de Cauchy. A força de volume por unidade de massa é $\mathbf{f}$, como a gravidade.

Um campo atribui um valor a cada posição e instante; ele representa uma média sobre muitas moléculas. O modelo pressupõe que as escalas de comprimento relevantes sejam grandes o suficiente para que essa média e uma lei local de tensões façam sentido. Uma singularidade matemática diz respeito às equações do contínuo; ela não prevê que uma molécula real alcance velocidade infinita.

2.1 Conservação da massa

$${\partial }_t\rho +\nabla \cdot (\rho \mathbf{v})=0.$$

O primeiro termo mede o acúmulo local de massa; a divergência mede o fluxo líquido de massa para fora. Para densidade constante, a conservação da massa se reduz à divergência nula da velocidade. Uma parcela de fluido pode se esticar e mudar de forma mantendo seu volume.

2.2 Conservação do momento (Cauchy)

$$\rho \left({\partial }_t\mathbf{v}+(\mathbf{v}\cdot \nabla )\mathbf{v}\right)=\nabla \cdot \mathbf{\sigma }+\rho \mathbf{f}.$$

Decompõe-se a tensão em pressão isotrópica e parte viscosa:

$$\mathbf{\sigma }=-p\mathbf{I}+\mathbf{\tau }.$$

A derivada material $D_t={\partial }_t+\mathbf{v}\cdot \nabla$ acompanha uma parcela em movimento. Mesmo um campo de velocidades estacionário pode acelerar uma parcela: a água que entra em uma passagem mais estreita alcança uma região com outra velocidade. Esse é o termo de transporte não linear $(\mathbf{v}\cdot \nabla )\mathbf{v}$.

---

3. Lei constitutiva de um fluido newtoniano

Para um fluido newtoniano isotrópico,

$$\mathbf{\tau }=2\mu \mathbf{S}+\lambda (\nabla \cdot \mathbf{v})\mathbf{I},\mathbf{S}\equiv \frac{1}{2}\left(\nabla \mathbf{v}+\nabla {\mathbf{v}}^{\top }\right),$$

com viscosidade dinâmica $\mu$ e segundo coeficiente de viscosidade $\lambda$; a viscosidade volumétrica é $\zeta =\lambda +2\mu /3$.

Para coeficientes de viscosidade espacialmente constantes, a substituição no balanço de momento fornece as equações de Navier–Stokes compressíveis:

$$\rho \left({\partial }_t\mathbf{v}+\mathbf{v}\cdot \nabla \mathbf{v}\right)=-\nabla p+\mu {\nabla }^2\mathbf{v}+(\mu +\lambda )\nabla (\nabla \cdot \mathbf{v})+\rho \mathbf{f}.$$

Define-se a viscosidade cinemática $\nu \equiv \mu /\rho$ quando $\rho$ é constante.

A viscosidade responde à deformação, não à translação uniforme. Suas dimensões são $[\mu ]=\mathrm{Pa}\mathrm{s}$ e $[\nu ]={\mathrm{m}}^2/s$. No diagrama do escoamento entre placas, uma distância $h$ e uma velocidade $U$ da placa superior fornecem $v_x(y)=Uy/h$ e a tensão de cisalhamento ${\tau }_{xy}=\mu U/h$. Essa solução exata simples é suave; a afirmação de uma singularidade é uma afirmação de existência para dados específicos, não uma afirmação sobre todo escoamento.

---

4. Forma incompressível

Para densidade constante $\rho ={\rho }_0$ e

$$\nabla \cdot \mathbf{v}=0,$$

obtemos

$${\partial }_t\mathbf{v}+(\mathbf{v}\cdot \nabla )\mathbf{v}=-\frac{1}{{\rho }_0}\nabla p+\nu {\nabla }^2\mathbf{v}+\mathbf{f},\nabla \cdot \mathbf{v}=0.$$

Leia a equação como: a aceleração é igual à soma da aceleração devida à pressão, da difusão viscosa e da aceleração aplicada.

Termo	Significado
${\partial }_t\mathbf{v}$	Variação medida em uma posição fixa
$(\mathbf{v}\cdot \nabla )\mathbf{v}$	Variação causada pelo deslocamento de uma parcela através do campo de velocidades
$-\nabla p/{\rho }_0$	As forças de pressão redistribuem o momento
$\nu {\nabla }^2\mathbf{v}$	A viscosidade suaviza as variações espaciais
$\mathbf{f}$	Força aplicada externamente por unidade de massa

A incompressibilidade não exige velocidade nula nem aceleração nula. A pressão atua como uma restrição que mantém a divergência da velocidade igual a zero; ela não é uma equação de estado independente nesse modelo de densidade constante.

Tomar a divergência da equação de momento fornece uma equação de Poisson para a pressão, com condições de contorno adequadas:

$${\nabla }^{2}p=-{\rho }_0\nabla \cdot [(\mathbf{v}\cdot \nabla )\mathbf{v}]+{\rho }_0\nabla \cdot \mathbf{f}.$$

---

5. Vorticidade e helicidade

Define-se a vorticidade $\mathbf{\omega }\equiv \nabla \times \mathbf{v}$. Para um escoamento incompressível ($\nabla \cdot \mathbf{v}=0$):

$${\partial }_t\mathbf{\omega }=\nabla \times (\mathbf{v}\times \mathbf{\omega })+\nu {\nabla }^2\mathbf{\omega }+\nabla \times \mathbf{f}.$$

Em componentes:

$${\partial }_t{\omega }_i+v_j{\partial }_j{\omega }_i={\omega }_j{\partial }_j{v}_i+\nu {\partial }_{jj}{\omega }_i+(\nabla \times \mathbf{f}{)}_i.$$

O termo ${\omega }_j{\partial }_j{v}_i$ é o estiramento de vórtices, presente apenas em 3D. A helicidade $H\equiv \int \mathbf{v}\cdot \mathbf{\omega }dV$ caracteriza a topologia das linhas de vorticidade.

Um tubo de vórtice esticado ao longo de seu eixo pode ficar mais fino e intenso. Na equação da vorticidade, o estiramento pode amplificar a rotação, enquanto a viscosidade a difunde. Nenhum desses efeitos, isoladamente, determina se a dinâmica acoplada completa permanece suave.

Para um escoamento realmente planar $\mathbf{v}=(v_x(x,y),v_y(x,y),0)$, a vorticidade aponta perpendicularmente ao plano, e os campos não variam nessa direção. Assim, $(\mathbf{\omega }\cdot \nabla )\mathbf{v}=0$. Isso elimina um importante mecanismo de amplificação em duas dimensões; não significa que todo vórtice tridimensional deva desenvolver uma singularidade.

---

6. Balanço de energia no caso incompressível

Para uma solução suave, multiplica-se escalarmente a equação de momento por $\mathbf{v}$ e integra-se sobre um domínio $\Omega$ com fronteira estacionária e condição de não deslizamento. A mesma identidade vale em uma caixa periódica ou em todo o espaço com decaimento suficiente:

$$\frac{1}{2}\frac{d}{dt}{\int }_{\Omega }|\mathbf{v}{|}^{2}dV+\nu {\int }_{\Omega }|\nabla \mathbf{v}{|}^{2}dV={\int }_{\Omega }\mathbf{f}\cdot \mathbf{v}dV.$$

Para $\mathbf{f}=0$, a energia cinética decai monotonicamente; a dissipação viscosa é dada por $\nu \Vert \nabla \mathbf{v}{\Vert }_2^2$.

Essa energia está normalizada pela densidade constante: a energia cinética física é ${\rho }_0/2$ vezes a integral do quadrado da velocidade. O transporte e a pressão contribuem apenas com fluxos de fronteira que se anulam nessas condições; a integração por partes fornece o termo viscoso não negativo. Uma parede em movimento ou uma fronteira aberta introduz termos adicionais de trabalho ou de fluxo.

6.1 Por que energia finita não garante suavidade

Uma estimativa integral controla o movimento total, não seu maior valor local. Para ilustrar a mudança de escala, escolha um campo fixo $\mathbf{\varphi }$, suave, de suporte compacto e divergência nula, e defina

$${\mathbf{v}}_{\ell }(\mathbf{x})={\ell }^{-1}\mathbf{\varphi }(\mathbf{x}/\ell ).$$

Então $\Vert {\mathbf{v}}_{\ell }{\Vert }_{\infty }={\ell }^{-1}\Vert \mathbf{\varphi }{\Vert }_{\infty }$ cresce quando $\ell \to 0$, enquanto $\Vert {\mathbf{v}}_{\ell }{\Vert }_2^2=\ell \Vert \mathbf{\varphi }{\Vert }_2^2$ diminui. Esses campos são retratos instantâneos reescalados, não uma solução nem uma prova de singularidade. Eles mostram por que velocidades cada vez maiores em um volume cada vez menor podem respeitar uma limitação de energia. Controlar as derivadas e a concentração é o desafio adicional da regularidade.

---

7. Adimensionalização e parâmetros de controle

Escolha escalas características $L$ para o comprimento e $U$ para a velocidade e defina ${\mathbf{x}}^{\prime }=\mathbf{x}/L$, $t^{\prime }=tU/L$, ${\mathbf{v}}^{\prime }=\mathbf{v}/U$, $p^{\prime }=p/(\rho U^2)$.

As equações incompressíveis tornam-se

$${\partial }_{t^{\prime }}{\mathbf{v}}^{\prime }+({\mathbf{v}}^{\prime }\cdot {\nabla }^{\prime }){\mathbf{v}}^{\prime }=-{\nabla }^{\prime }{p}^{\prime }+\frac{1}{\mathrm{Re}}{\nabla }^{\prime 2}{\mathbf{v}}^{\prime }+{\mathbf{f}}^{\prime },{\nabla }^{\prime }\cdot {\mathbf{v}}^{\prime }=0,$$

com o número de Reynolds

$$\mathrm{Re}=\frac{UL}{\nu }.$$

Aqui, ${\mathbf{f}}^{\prime }=L\mathbf{f}/U^2$. O tempo de difusão é $L^2/\nu$, e o tempo de advecção é $L/U$; a razão entre eles é $\mathrm{Re}$. Um número de Reynolds alto significa que a advecção é rápida em comparação com a suavização viscosa na escala escolhida. Ele não é um limiar universal de turbulência nem um critério de singularidade: a geometria, as perturbações e a escala observada também importam. Por exemplo, $U=0.1m/s$, $L=0.01\mathrm{m}$ e $\nu =10^{-6}{\mathrm{m}}^2/s$ fornecem $\mathrm{Re}=1000$.

Outros grupos adimensionais, conforme necessário:

• Mach $\mathrm{Ma}=U/c_s$ (compressibilidade),
• Froude $\mathrm{Fr}=U/\sqrt{gL}$ (gravidade),
• Prandtl $\mathrm{Pr}=\nu /\kappa$ (difusão de momento em relação à difusão térmica).

---

8. Navier–Stokes–Fourier compressível: um esboço

Inclui-se a energia interna $e$ ou a temperatura $T$, com o fluxo de calor de Fourier $\mathbf{q}=-k_{\mathrm{th}}\nabla T$. A condutividade térmica $k_{\mathrm{th}}$ é distinta da difusividade térmica $\kappa$ usada acima:

$${\partial }_t(\rho e)+\nabla \cdot (\rho e\mathbf{v})=-p\nabla \cdot \mathbf{v}+\mathbf{\tau }:\nabla \mathbf{v}-\nabla \cdot \mathbf{q}.$$

Uma equação de estado, por exemplo a de um gás ideal, fecha o sistema: $p=(\gamma -1)\rho e$.

O trabalho de compressão e a conversão de energia cinética em energia interna passam a importar explicitamente. O Problema do Milênio incompressível não resolve a formação de choques, o transporte de calor nem a teoria de regularidade desse sistema diferente.

---

9. Teoria matemática: existência e unicidade

Existência local significa que uma solução existe em algum intervalo após o instante inicial; existência global significa que ela existe para todos os tempos futuros. Uma solução clássica tem derivadas suficientes para satisfazer as equações ponto a ponto; suave, aqui, significa diferenciável em todas as ordens. Uma solução fraca satisfaz uma versão integrada, transferindo as derivadas para funções de teste suaves. Esses são requisitos diferentes de existência.

9.1 Soluções fracas de Leray–Hopf

Para dados iniciais de divergência nula e energia finita no contexto usual de todo o espaço ou de um domínio periódico, e forças admissíveis, a teoria de Leray–Hopf fornece soluções fracas globais que satisfazem uma desigualdade de energia. Uma solução suave é única na classe de energia correspondente enquanto permanecer suave (unicidade fraca-forte). Portanto, uma eventual perda de suavidade não significa que todas as soluções generalizadas deixem de existir. Descrição oficial do problema por Fefferman.

A unicidade depende da classe de soluções, dos dados iniciais e da força. Albritton, Brué e Colombo estabelecem a não unicidade para certas forças. Hou, Wang e Yang relatam não unicidade assistida por computador, sem força externa, para dados iniciais singulares. Esses resultados não devem ser apresentados como formação de singularidade a partir de dados iniciais suaves sem força externa.

9.2 Critérios de regularidade em 3D

• Critério de continuação pela vorticidade, do tipo Beale–Kato–Majda: para uma solução clássica no contexto usual suficientemente regular de todo o espaço ou de um domínio periódico, com força suficientemente regular até e incluindo $T$, uma perda de regularidade em $T$ exige

$${\int }_0^T\Vert \mathbf{\omega }(\cdot ,t){\Vert }_{L^{\infty }}dt=\infty .$$

A discussão de Luo sobre critérios de continuação para Navier–Stokes apresenta o critério sem força externa; a condição acima sobre a força exclui a perda de regularidade imposta por uma ação externa singular.

• Prodi–Serrin: uma solução fraca na classe de energia, com força adequada, é regular se $\mathbf{v}\in L^p(0,T;L^q)$ com

$$\frac{2}{p}+\frac{3}{q}\le 1,q>3,$$

e, nesse caso, a solução é suave em $(0,T]$.

• Caffarelli–Kohn–Nirenberg: soluções fracas adequadas, sob as hipóteses do teorema para a força, têm um conjunto singular com medida de Hausdorff parabólica unidimensional igual a zero. Isso é regularidade parcial; não prova que o conjunto singular seja vazio. Contexto e referências na descrição oficial do problema.

Essas são afirmações condicionais. Elas especificam qual controle evitaria a perda de regularidade, sem fornecer esse controle para todo escoamento tridimensional. Os expoentes acima refletem a mudança de escala natural ${\mathbf{v}}_a(\mathbf{x},t)=a\mathbf{v}(a\mathbf{x},a^{2}t)$; em três dimensões, a norma de energia, sozinha, não tem a escala crítica.

9.3 Regularidade global em 2D

Para dados suaves e compatíveis no contexto usual de todo o espaço ou de um domínio periódico, com força suficientemente regular, o escoamento incompressível bidimensional permanece suave para todo tempo finito. Sem força externa, a enstrofia $\int |\mathbf{\omega }{|}^{2}dV$ não aumenta; a força acrescenta um termo fonte. A ausência de estiramento de vórtices permite um controle muito mais forte do que em 3D.

9.4 Escoamentos compressíveis

Existem soluções fracas globais de energia finita, sob certas condições para gases com lei $\gamma$, mas regularidade e unicidade permanecem, em grande parte, em aberto.

9.5 O que as quatro alternativas do Clay realmente pedem

A formulação oficial aceita uma prova de qualquer uma de quatro afirmações, com viscosidade positiva:

Alternativa	Domínio	Força e questão
A	${\mathbb{R}}^3$	Força nula; soluções globais suaves de energia finita para todos os dados iniciais suaves permitidos
B	${\mathbb{R}}^3/{\mathbb{Z}}^3$ periódico	Força nula; soluções globais suaves para todos os dados iniciais suaves e periódicos permitidos
C	${\mathbb{R}}^3$	Alguns dados suaves permitidos e uma força suave de decaimento rápido não admitem solução global suave com energia uniformemente limitada
D	${\mathbb{R}}^3/{\mathbb{Z}}^3$ periódico	Alguns dados suaves e periódicos permitidos e uma força suave e periódica permitida não admitem solução global suave

Em todo o espaço, os dados iniciais e a força obedecem às condições de decaimento especificadas; a força periódica também obedece a condições de decaimento no tempo. C e D permitem uma força não nula, portanto provar uma delas não refutaria logicamente as afirmações A ou B sem força externa. “Resolver uma alternativa do Clay” e “resolver todas as versões da regularidade” são afirmações diferentes.

---

10. Turbulência e espectros

Na turbulência homogênea e isotrópica com alto $\mathrm{Re}$ (K41), o espectro de energia na faixa inercial é

$$E(k)=C_K{\epsilon }^{2/3}{k}^{-5/3},$$

com taxa média de dissipação $\epsilon$ e constante de Kolmogorov $C_K\sim \mathcal{O}(1)$.

Microescala de Kolmogorov:

$$\eta \sim {\left(\frac{{\nu }^3}{\epsilon }\right)}^{1/4}.$$

Usando a estimativa de K41 $\epsilon \sim U^3/L$, obtém-se $L/\eta \sim {\mathrm{Re}}^{3/4}$. Resolver essa escala em três dimensões sugere um número de pontos de malha da ordem de ${\mathrm{Re}}^{9/4}$, antes mesmo do custo dos passos no tempo. Essa heurística motiva a simulação numérica direta (DNS), a simulação de grandes escalas (LES) e as equações de Navier–Stokes com média de Reynolds (RANS), com diferentes escolhas de resolução e modelagem. LES e RANS exigem hipóteses de fechamento para as correlações não resolvidas.

O espectro $-5/3$ descreve um modelo estatístico da faixa inercial, não todo escoamento nem toda escala. A intermitência e as fronteiras complicam esse quadro. Uma solução singular construída especialmente não forneceria um modelo universal de turbulência nem eliminaria a necessidade de estimativas de erro numérico.

---

11. Condições de contorno e geometria

• Parede sem deslizamento: $\mathbf{v}{|}_{\partial \Omega }=0$
• Deslizamento livre: $\mathbf{n}\cdot \mathbf{v}=0$, $\mathbf{n}\cdot \mathbf{\tau }\cdot \mathbf{t}=0$
• Caixa periódica (toro) para teoria e DNS
• Entrada e saída com especificações adequadas de tensão ou pressão

A escolha afeta a boa colocação do problema, o balanço de energia e a estabilidade numérica.

Uma caixa periódica identifica as faces opostas; ela não tem paredes físicas. O decaimento em todo o espaço substitui uma condição de parede no infinito. Um resultado nessas geometrias não pode ser transferido automaticamente para a superfície de uma aeronave ou para um tubo: as condições de contorno fazem parte do problema matemático.

---

12. Métodos numéricos: um guia compacto

• Métodos de projeção: avance ${\mathbf{v}}^{\ast }$, resolva a equação de Poisson para $p$ e projete para obter $\nabla \cdot {\mathbf{v}}^{n+1}=0$.
• Esquemas estáveis em energia: a forma antissimétrica do termo convectivo preserva a energia discreta.
• Restrição CFL para esquemas explícitos de advecção/difusão: $\Delta t\lesssim \min \{\Delta x/U,\Delta x^2/\nu \}$.
• Controle da divergência: bases espectrais de divergência nula ou elementos finitos mistos com pares velocidade–pressão estáveis na condição inf–sup. A divergência exatamente nula exige espaços adequados; a estabilidade inf–sup, sozinha, não a garante.

Uma simulação pode revelar um pico crescente, mas uma malha finita, por si só, não estabelece um limite infinito. Estudos de refinamento, controle dos erros de discretização e um argumento analítico são necessários para distinguir uma concentração real de uma instabilidade numérica. Provas assistidas por computador fornecem estimativas rigorosas; assistentes de prova formal verificam deduções a partir de definições e hipóteses codificadas. Nenhum deles é simplesmente uma animação de alta resolução.

---

13. Conexões e extensões

• Equações de Euler: definir $\nu =0$ elimina a difusão viscosa. A própria passagem ao limite $\nu \to 0$ pode ser delicada, sobretudo perto de paredes. O resultado de Euler sem força externa anunciado separadamente pela OpenAI diz respeito a essa equação não viscosa, não ao problema sem força externa com viscosidade positiva. Anúncio e artigo separado sobre Euler.
• Hidrodinâmica relativística: a formulação ingênua de Navier–Stokes é acausal; teorias de Israel–Stewart de segunda ordem podem restaurar a causalidade sob condições adequadas para os coeficientes de transporte e os estados do fluido (um exemplo rigoroso com viscosidade volumétrica).
• Fluidos quânticos: análogos superfluidos das equações de Navier–Stokes com modelos de dois fluidos e vórtices quantizados.

---

14. Situação atual

Em 13 de outubro de 2026: a construção tridimensional com força suave foi anunciada e está sob análise; a regularidade de Navier–Stokes em 3D sem força externa permanece em aberto. Isso não invalida a regularidade bidimensional nem a utilidade cotidiana das soluções de escoamento suave.

14.1 A afirmação precisa e seu mecanismo

O Teorema 1.1 do artigo da OpenAI afirma: para todo $\nu >0$, existe uma força suave de suporte compacto no espaço e no tempo e um escoamento incompressível suave em ${\mathbb{R}}^3\times [0,1)$, partindo do repouso, para o qual

$$\mathbf{v}(\cdot ,0)=0,\underset{0\le t<1}{\sup }\Vert \mathbf{v}(t){\Vert }_{L^2}<\infty ,\underset{t\uparrow 1}{\mathrm{limsup}}\Vert \mathbf{v}(t){\Vert }_{L^{\infty }}=\infty .$$

A velocidade e a pressão têm suporte espacial compacto fixo antes do instante 1; a força se estende suavemente através desse instante. O artigo afirma demonstrar a alternativa C e, por sua construção periódica no Corolário 10.6, a D. Sua convenção para a pressão incorpora a densidade constante.

O mecanismo proposto concentra um vórtice que espirala para dentro e se estica axialmente. Correções oscilatórias e seu transporte de momento cancelam forças residuais que, de outra forma, seriam singulares. Escolher uma velocidade qualquer que desenvolva uma singularidade e definir uma força pela equação não basta: a força e todas as suas derivadas devem permanecer suaves através do instante singular. Isso é um esboço conceitual da construção anunciada, não uma demonstração independente.

“Para cada viscosidade existe uma força” permite que a força dependa da viscosidade. Isso não significa que uma mesma força fixa vença toda viscosidade, que forças arbitrariamente pequenas sejam suficientes ou que um fluido inicialmente em repouso desenvolva uma singularidade sem entrada de energia.

14.2 Lean, exame matemático e o prêmio

O repositório Lean publicado contém enunciados-alvo para todo o espaço e para o caso periódico, além de instruções de verificação independente com Comparator. Um verificador formal confere deduções para o enunciado e as hipóteses exatamente como foram codificados. Saber se essas definições expressam o problema pretendido e como o argumento explica a demonstração escrita são questões adicionais. Estas notas não afirmam ter recompilado nem verificado de forma independente o projeto Lean.

Em 6 de outubro, Bastounis, Circelli e Hansen publicaram uma crítica à correspondência entre a exposição em linguagem natural e Lean: os exemplos incluem diferentes requisitos de derivadas no Lema 8.6 e um argumento diferente para a estimativa de pressão no Lema 10.5. Isso questiona tratar a formalização como certificação automática de cada passo da prova escrita. Por si só, isso não refuta o teorema final de singularidade com força externa nem mostra que o enunciado formal final esteja errado.

Em 11 de setembro, a resposta do Clay acolheu o aparente avanço, enfatizando seu processo de avaliação deliberadamente sem pressa. As regras do prêmio exigem uma publicação qualificada, pelo menos dois anos desde essa publicação e aceitação matemática geral antes da consideração. A data do anúncio, sozinha, não inicia uma contagem estabelecida para o prêmio. Não se afirma aqui que o prêmio tenha sido concedido; a OpenAI diz que não pretende reivindicá-lo.

14.3 O que os trabalhos posteriores estabelecem e o que não estabelecem

Os trabalhos posteriores de setembro também exigem atenção ao escopo. Petrillo e Glimm separam explicitamente o resultado com força externa do problema sem força ainda em aberto. A exposição de Lei e Ren estuda a construção do perfil, deixando cancelamentos oscilatórios adicionais para depois; ela não é uma verificação independente completa. Constantin, Ignatova e Vicol obtêm uma obstrução à singularidade por regularidade sob hipóteses específicas de geometria, crescimento e força. Isso é relevante para tentativas de remover a força desse mecanismo, não um teorema de regularidade global para todos os escoamentos com força analítica.

As perguntas produtivas agora são precisas: as hipóteses e conclusões anunciadas estão verificadas, o mecanismo pode ser explicado com transparência e o que permanece quando a força é removida? A previsão da turbulência, a unicidade de soluções fracas em todas as classes e o escoamento compressível continuam sendo problemas separados.

15. Teste sua compreensão

1. Translação uniforme: para velocidade constante, pressão constante e força nula, quais termos da equação incompressível se anulam? Todas as derivadas espaciais e temporais se anulam, portanto qualquer viscosidade positiva é compatível com esse movimento.
2. Energia e velocidade máxima: na seção 6.1, faça a mudança de variáveis $\mathbf{y}=\mathbf{x}/\ell$. Por que a energia escala como $\ell$? O quadrado da amplitude contribui com ${\ell }^{-2}$, e o volume tridimensional contribui com ${\ell }^3$.
3. Mudança de escala: mantendo $U$ e $\nu$ fixos, o que acontece com o número de Reynolds se $L$ for reduzido à metade? Ele cai pela metade; a importância relativa da viscosidade aumenta na escala menor.
4. Lendo um teorema: por que a alternativa C pode valer enquanto A permanece sem decisão? C permite uma força suave não nula escolhida, enquanto A trata apenas de força nula.
5. Um verificador de provas: o que mais deve ser conferido depois que Lean aceita uma prova? Se as definições, hipóteses e a conclusão final codificadas correspondem à questão matemática pretendida; a correspondência com uma exposição separada também precisa ser examinada.

---