Visão geral
As equações de Navier-Stokes são um sistema de equações diferenciais parciais não lineares que descrevem o movimento de fluidos viscosos newtonianos, como líquidos e gases. Elas expressam matematicamente o balanço de momento, combinando a conservação de massa e a aplicação da segunda lei de Newton ao escoamento de fluidos, considerando efeitos de pressão e viscosidade. São fundamentais na mecânica dos fluidos e na engenharia, permitindo modelar fenômenos como o fluxo de ar ao redor de aeronaves, correntes oceânicas, clima e fluxo sanguíneo. Generalizam as equações de Euler ao incluir viscosidade. Em três dimensões, a questão da existência e suavidade global de soluções suaves permanece um dos Problemas do Milênio propostos pelo Clay Mathematics Institute.
História
As equações foram desenvolvidas progressivamente no século XIX. Claude-Louis Navier introduziu a noção de viscosidade em 1822, estendendo as equações de Euler. George Gabriel Stokes refinou a forma final entre 1842 e 1850. Siméon Denis Poisson obteve resultados independentes semelhantes. O nome homenageia Navier e Stokes, embora o trabalho se baseie em contribuições anteriores de Cauchy e outros sobre tensores de tensão.
Formulação matemática
As equações de Navier-Stokes para fluidos incompressíveis em forma vetorial são:
ρ (∂u/∂t + (u · ∇)u) = −∇p + μΔu + ρf
com a restrição de incompressibilidade:
∇ · u = 0
onde u é o campo de velocidade, p a pressão, ρ a densidade (constante), μ a viscosidade dinâmica e f forças externas. Para fluidos compressíveis, incluem-se termos adicionais e a equação de continuidade. Elas surgem da aplicação da lei de conservação de momento a um elemento fluido, decompondo o tensor de tensão em partes viscosa e de pressão.
Aplicações
As equações são usadas em simulações computacionais de dinâmica dos fluidos (CFD) para projetar aeronaves, automóveis, turbinas, usinas hidrelétricas e modelar poluição atmosférica, correntes marinhas e sistemas biológicos como o fluxo sanguíneo. Acopladas a equações de Maxwell, fundamentam a magnetohidrodinâmica. Em meteorologia e oceanografia, auxiliam previsões climáticas. Soluções exatas existem em casos simplificados, como escoamentos de Poiseuille, Couette e vórtices de Taylor-Green.
Problema da existência e suavidade
Um dos sete Problemas do Milênio do Clay Mathematics Institute (2000) pergunta se, para condições iniciais suaves e forças aplicadas, existem soluções globais suaves em três dimensões ou se podem surgir singularidades em tempo finito. Em duas dimensões, a existência e suavidade globais são conhecidas. O problema oferece prêmio de US$ 1 milhão.
Status atual e desenvolvimentos recentes
Em setembro de 2026, a OpenAI anunciou que seu sistema de IA produziu uma prova analítica e formalização em Lean demonstrando que as equações de Navier-Stokes tridimensionais podem desenvolver singularidades em tempo finito a partir de condições iniciais suaves, resolvendo aspectos do problema do Milênio (declarações C e D da formulação oficial). Há controvérsia sobre possível influência de pesquisas paralelas de matemáticos humanos. Outros avanços incluem derivações rigorosas conectando leis de Newton à teoria cinética de Boltzmann e às equações de Navier-Stokes.
Termos importantes
- Viscosidade (μ ou ν): Medida da resistência interna ao escoamento.
- Incompressibilidade: ∇ · u = 0, densidade constante.
- Advecção não linear: Termo (u · ∇)u responsável por turbulência.
- Problema do Milênio: Questão aberta sobre regularidade das soluções em 3D.