Euler vs. Navier-Stokes: Qual é a Diferença?

As equações de Euler descrevem um fluido com atrito interno zero. Nenhuma viscosidade. As equações de Navier-Stokes descrevem o mesmo fluido com viscosidade incluída.

Matematicamente, toda a diferença é um termo: $\nu \Delta u$, o termo de difusão viscosa. Remova-o e Navier-Stokes torna-se Euler. Mantenha-o e a equação ganha um mecanismo de suavização que muda tanto a física quanto a análise de maneiras que você não esperaria de um único termo extra.

Esse único termo é a razão pela qual a fumaça se dissipa, por que camadas limite se formam ao longo de superfícies, e por que o Problema do Milênio de Navier-Stokes tem um caráter completamente diferente da questão correspondente de Euler.

As equações de Euler incompressíveis em $\mathbb{R}^3$ são

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

As equações de Navier-Stokes incompressíveis são

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

com $\nu > 0$ a viscosidade cinemática. Formalmente, definir $\nu = 0$ em Navier-Stokes recupera Euler. Mas essa substituição formal esconde o fato de que o limite $\nu \to 0$ é singular: o termo viscoso $\nu \Delta u$ carrega a derivada espacial de ordem mais alta no sistema, e removê-lo muda o tipo de EDP e os espaços de funções nos quais as soluções vivem.

Ambas as equações em sua forma incompressível padrão, escritas de modo que a comparação seja óbvia:

Euler:

$$\partial_t u + (u \cdot \nabla)u = -\nabla p$$

Navier-Stokes:

$$\partial_t u + (u \cdot \nabla)u = -\nabla p + \nu \Delta u$$

Mesmo lado esquerdo: a taxa de variação da velocidade mais o termo não linear de autotransporte $(u \cdot \nabla)u$. Ambas impõem incompressibilidade através de $\nabla \cdot u = 0$. A única diferença estrutural é o termo viscoso $\nu \Delta u$ no lado direito de Navier-Stokes.

O parâmetro $\nu$ é a viscosidade cinemática, uma constante física do fluido. O mel tem um $\nu$ grande. O ar tem um pequeno. As equações de Euler correspondem a $\nu = 0$: uma idealização perfeitamente sem atrito que pode aproximar alguns escoamentos de alto número de Reynolds longe de fronteiras, mas não existe em nenhum fluido real.

Ambos os sistemas compartilham a forma bilinear $(u \cdot \nabla)u$ e a pressão determinada implicitamente pela restrição de divergência nula. Tomando a divergência da equação de momento e usando $\nabla \cdot u = 0$ obtém-se a equação de Poisson para a pressão

$$-\Delta p = \nabla \cdot ((u \cdot \nabla)u) = \partial_i \partial_j (u_i u_j),$$

que é idêntica para ambos os sistemas. A pressão é um funcional não local de $u$ em qualquer caso.

O termo viscoso $\nu \Delta u$ é um operador elíptico linear de segunda ordem atuando em cada componente de velocidade. É regularização parabólica: sua presença torna Navier-Stokes um sistema parabólico semilinear, enquanto Euler incompressível é uma equação de transporte não linear de primeira ordem com acoplamento de pressão não local. Essa diferença no tipo de EDP impulsiona quase todas as diferenças subsequentes na teoria de regularidade.

Viscosidade é atrito entre camadas vizinhas de fluido. Camada rápida ao lado de uma lenta? A viscosidade transfere momento entre elas, suavizando a diferença de velocidade. Conceito simples. As consequências são enormes e dividem Navier-Stokes de Euler de três maneiras.

• Dissipação. Energia cinética se converte em calor. Mexa o café, depois pare. Ele eventualmente para porque a viscosidade drena o movimento como energia térmica. Euler não pode prever isso de forma alguma, já que não há mecanismo nas equações para drenar energia cinética em calor.
• Camadas limite. Fluidos reais aderem a superfícies (a condição de não deslizamento), criando camadas finas de rápida mudança de velocidade perto de paredes. Estas geram arrasto em asas de aeronaves, perdas por atrito em tubos e início de turbulência em altas velocidades. Escoamentos de Euler satisfazem uma condição de deslizamento, então perdem completamente o arrasto viscoso de parede.
• Suavização em pequena escala. A viscosidade elimina os gradientes de velocidade mais acentuados. Sem ela? Nada impede o escoamento de desenvolver estrutura infinitamente fina, cada vez mais acentuada para sempre. Essa suavização é exatamente o que torna a questão de regularidade para Navier-Stokes uma fera diferente de Euler.

A identidade de energia para Navier-Stokes em $\mathbb{R}^3$ (ou um domínio periódico) é

$$\frac{d}{dt}\frac{1}{2}\|u\|_{L^2}^2 = -\nu \|\nabla u\|_{L^2}^2,$$

então a energia cinética é dissipada monotonicamente. Para Euler ($\nu = 0$), a norma $L^2$ de $u$ é formalmente conservada.

No nível de fronteira, Navier-Stokes usa condições de não deslizamento ($u|_{\partial \Omega} = 0$), enquanto Euler requer apenas impermeabilidade ($u \cdot n = 0$). Quando $\nu \to 0$, a incompatibilidade entre essas condições gera a camada limite de Prandtl. É um fenômeno de perturbação singular, e as pessoas têm lutado com isso desde o artigo de Prandtl de 1904.

Fisicamente, a viscosidade atua como um filtro de alta frequência: ela amortece modos de Fourier a uma taxa $\nu |k|^2$, suprimindo preferencialmente pequenas escalas. Esse amortecimento espectral é o mecanismo por trás da escala de dissipação de Kolmogorov $\eta \sim (\nu^3 / \varepsilon)^{1/4}$ em turbulência. Veja Número de Reynolds e Turbulência para o quadro completo de escalonamento.

Formalmente? Sim. Defina $\nu = 0$ e você obtém Euler. Mas esse é um péssimo lugar para parar de pensar sobre isso.

O limite $\nu \to 0$ é singular. A viscosidade carrega as derivadas de ordem mais alta na equação, então removê-la não faz um pequeno ajuste. Muda completamente com que tipo de EDP você está lidando. Camadas limite não se afinam graciosamente. Elas podem explodir em turbulência. Soluções que eram perfeitamente suaves sob Navier-Stokes podem desenvolver comportamento completamente diferente sob Euler.

Sim, as duas equações compartilham seu DNA matemático. Mas o limite de viscosidade zero é um dos problemas abertos mais profundos em toda a dinâmica de fluidos, não um cálculo de guardanapo.

O limite invíscido $\nu \to 0$ é uma perturbação singular: $\nu \Delta u$ carrega as derivadas espaciais mais altas no sistema, então definir $\nu = 0$ reduz a ordem da EDP. Em domínios com fronteiras, o limite está ligado à validade da expansão de camada limite de Prandtl, que pode falhar espetacularmente (Grenier 2000, Gérard-Varet & Dormy 2010).

Em $\mathbb{R}^3$ ou $\mathbb{T}^3$ (sem fronteiras), as coisas ficam mais limpas. Se a solução de Euler $u^E$ permanece suave em $[0,T]$, então as soluções de Navier-Stokes $u^\nu$ convergem para $u^E$ em $L^2$ quando $\nu \to 0$ (Kato 1972). Mais limpo, mas não limpo: se as soluções de Euler sequer permanecem suaves globalmente é em si aberto em 3D, e esse é todo o problema.

O limite também colide frontalmente com a teoria de turbulência. O quadro de Kolmogorov requer $\nu > 0$ para definir uma escala de dissipação. No entanto, dissipação anômala, a persistência de dissipação de energia quando $\nu \to 0$, tem sido uma conjectura aberta por décadas. A conjectura de Onsager (agora um teorema: Isett 2018, refinado por Buckmaster, De Lellis, Székelyhidi e Vicol em 2019) caracteriza exatamente quando soluções de Euler podem dissipar energia sem qualquer viscosidade.

Sempre que a viscosidade é desprezível comparada às outras forças em jogo. Isso acontece mais frequentemente do que você pensaria:

• Aerodinâmica de alta velocidade longe de superfícies. Longe de uma asa, o fluxo de ar é quase invíscido. Engenheiros rotineiramente usam solucionadores de Euler para o escoamento principal e aplicam correções de camada limite perto da parede.
• Escoamentos astrofísicos. Nuvens de gás interestelar, interiores estelares, discos de acreção ao redor de buracos negros. Nessas escalas, a viscosidade molecular é completamente irrelevante (embora a viscosidade efetiva turbulenta possa não ser).
• Dinâmica de gases compressíveis. Ondas de choque. Detonações. Voo supersônico. A física que domina é pressão e inércia, não atrito.
• Teoria pura. Euler vale a pena estudar por si só, não apenas como um trampolim em direção a Navier-Stokes. Conecta-se à geometria riemanniana, dinâmica de vórtices e questões profundas sobre a estrutura da turbulência em si.

Mas para qualquer coisa onde atrito, arrasto ou comportamento de fronteira importa (escoamento em tubos, aerodinâmica de veículos perto de superfícies, circulação sanguínea, clima em escalas humanas), você precisa de Navier-Stokes. Ponto final.

As equações de Euler governam o comportamento de ordem principal em alto número de Reynolds $\mathrm{Re} = UL/\nu \gg 1$. Nesses números de Reynolds, efeitos viscosos ficam confinados a camadas limite finas e camadas de cisalhamento internas, enquanto o escoamento principal longe de paredes é bem aproximado por Euler.

As equações de Euler compressíveis, um sistema hiperbólico com velocidade de propagação finita, são o modelo padrão para dinâmica de gases, incluindo formação de choques e problemas de Riemann. Estas diferem das equações de Euler incompressíveis discutidas acima: Euler compressível é genuinamente hiperbólico, enquanto Euler incompressível tem acoplamento de pressão não local e velocidade de propagação infinita.

Na análise matemática, Euler serve tanto como um objeto limite para o problema de viscosidade evanescente quanto como um sistema de EDP rico com sua própria teoria de regularidade, quantidades conservadas (helicidade, Casimirs via estrutura de Euler-Arnold no grupo de difeomorfismos) e conexões com mecânica geométrica.

É aqui que a lacuna importa mais, e é onde as coisas ficam genuinamente interessantes.

O Problema do Milênio de Navier-Stokes faz uma pergunta que parece quase simples demais: se você começa com um escoamento suave e bem comportado em três dimensões, a solução permanece suave para sempre, ou pode explodir? Ninguém na Terra sabe a resposta.

A mesma pergunta para Euler também está aberta em 3D. Mas os dois problemas parecem completamente diferentes:

• Navier-Stokes tem viscosidade a seu favor. Sempre suavizando, sempre dissipando energia, sempre amortecendo os gradientes mais acentuados. A verdadeira questão é se essa suavização é forte o suficiente para dominar o termo não linear antes que ele crie uma singularidade.
• Euler não tem nada. Zero suavização. Zero dissipação. O termo não linear pode amplificar gradientes de velocidade sem absolutamente nenhuma força oposta, e se isso realmente produz uma singularidade em tempo finito a partir de dados iniciais 3D suaves é uma das maiores questões abertas na teoria de EDP.

Em 2D, ambas as equações são globalmente bem postas para dados iniciais suaves. Resolvido. Feito. O mistério vive inteiramente em três dimensões, para ambas as equações, mas por razões fundamentalmente diferentes.

O quadro de regularidade:

2D: Existência global e unicidade de soluções suaves é conhecida para ambos os sistemas. Para Euler 2D com dados suaves, Wolibner (1933) provou existência global em espaços de Hölder; Yudovich (1963) estabeleceu unicidade para dados de vorticidade limitada. Para Navier-Stokes 2D, regularidade global segue da desigualdade de Ladyzhenskaya e do princípio do máximo de vorticidade.

Navier-Stokes 3D: Leray (1934) provou existência global de soluções fracas em $L^2$, mas unicidade e regularidade permanecem abertas. O teorema de Caffarelli, Kohn e Nirenberg (1982) mostra que o conjunto singular tem medida de Hausdorff parabólica unidimensional zero, então qualquer explosão, se ocorrer, é extremamente esparsa. O termo viscoso fornece a estimativa a priori chave $\int_0^T \|\nabla u\|_{L^2}^2 \, dt \leq C(u_0)$, mas esse controle no nível de energia fica abaixo do escalonamento crítico 3D e não é suficiente para fechar um argumento de bootstrap. Veja Por Que Navier-Stokes É Difícil para a lacuna de supercriticalidade.

Euler 3D: Não existe teoria global para dados suaves. Boa colocação local em espaços de Sobolev $H^s$, $s > 5/2$, é clássica (Kato 1972, Kato e Ponce 1988). O critério de Beale, Kato e Majda (1984) reduz a detecção de explosão a $\int_0^T \|\omega\|_{L^\infty} \, dt$: a solução permanece suave em $[0,T]$ se e somente se essa integral é finita. Explosão requer que a vorticidade cresça rápido o suficiente para que seja não integrável no tempo. Elgindi (2021, Annals of Mathematics) provou formação de singularidade em tempo finito para dados $C^{1,\alpha}$. Um avanço genuíno, mas abaixo do limiar suave ($C^\infty$). Se soluções de Euler suaves explodem em 3D ainda está aberto.

Turbulência. É aqui que a comparação Euler-vs-Navier-Stokes se torna fisicamente vívida, quase tangível.

Em um escoamento turbulento, a energia entra em grandes escalas (o tamanho do tubo, da asa, da tempestade) e cascateia para redemoinhos cada vez menores. Esta é a cascata de energia, e é um dos fenômenos mais marcantes em toda a física. No fundo da cascata, a viscosidade finalmente converte energia cinética em calor. Fim da linha.

Euler captura a dinâmica da faixa inercial: transferência de energia através de escalas impulsionada pela não linearidade. Mas não tem corte viscoso. Nenhum fundo para a cascata. Nenhum mecanismo para converter energia cinética em calor em qualquer escala definida. Se a energia ainda pode se dissipar no limite invíscido, o que é chamado de dissipação anômala, permanece uma questão aberta profunda.

É por isso que a modelagem de turbulência quase sempre usa Navier-Stokes. O número de Reynolds $\mathrm{Re} = UL/\nu$ diz quão ampla é a cascata: alto $\mathrm{Re}$ significa muitas décadas de escalas separando entrada de energia de queima viscosa. Turbulência real vive na tensão entre a cascata invíscida despejando energia para baixo e o corte viscoso destruindo-a nas menores escalas.

A teoria de Kolmogorov de 1941 prevê um espectro de energia $E(k) \sim \varepsilon^{2/3} k^{-5/3}$ na faixa inercial, a região onde nem forçamento em grande escala nem dissipação viscosa dominam. A escala de dissipação $\eta = (\nu^3/\varepsilon)^{1/4}$ define o fundo dessa faixa. Abaixo de $\eta$, a viscosidade vence.

As equações de Euler são o modelo formal $\nu = 0$. Mas interpretar soluções de Navier-Stokes como convergindo para soluções de Euler no regime turbulento é genuinamente sutil, e a questão de se a dissipação de energia persiste neste limite (dissipação anômala) é o conteúdo da conjectura de Onsager. O lado rígido, mostrando nenhuma dissipação para $u \in C^{0,\alpha}$ com $\alpha > 1/3$, foi provado por Constantin, E e Titi em 1994. O lado flexível, construindo soluções de Euler dissipativas abaixo de $C^{1/3}$, foi completado por Isett em 2018, baseando-se no programa de integração convexa de De Lellis e Székelyhidi.

Para Navier-Stokes, o quadro de cascata está diretamente conectado ao balanço de energia: $\varepsilon = \nu \langle |\nabla u|^2 \rangle$. A questão aberta é clara. As soluções de Navier-Stokes permanecem suaves tempo suficiente para que a teoria estatística de Kolmogorov seja matematicamente justificada? O problema de existência e suavidade está, em parte, perguntando exatamente isso: se a dissipação viscosa é forte o suficiente para domar a cascata em todas as escalas, para todo o tempo.

A diferença entre Euler e Navier-Stokes é um termo: $\nu \Delta u$. Esse termo muda tudo.

Euler não é um Navier-Stokes simplificado. É um sistema fundamentalmente diferente que acontece de compartilhar a maior parte de sua estrutura. E a escolha importa na prática: escolher o modelo errado (Euler onde a viscosidade importa, Navier-Stokes onde não importa) pode arruinar completamente uma simulação. Para as equações completas, veja O Que São as Equações de Navier-Stokes?. Para os obstáculos, veja Por Que É Difícil. Para o prêmio, veja O Problema do Milênio. Para escoamento incompressível vs. compressível, veja Navier-Stokes Incompressível vs. Compressível.

O termo viscoso $\nu \Delta u$ converte um sistema não linear de primeira ordem (Euler) em um parabólico semilinear (Navier-Stokes). O que você obtém: dissipação de energia, estimativas a priori de ordem superior e a estrutura de semigrupo analítico subjacente à teoria de Navier-Stokes construída por Leray em 1934 e estendida por Fujita e Kato em 1964.

No entanto, essa regularização não é suficiente em 3D para fechar o argumento de regularidade global. Nem perto. O Problema do Milênio Clay pergunta precisamente se a suavização parabólica em Navier-Stokes pode controlar a transferência de energia não linear através de todas as escalas, para todo o tempo. Para Euler, a questão paralela é igualmente clara: a ausência total de suavização garante explosão em tempo finito a partir de dados suaves? Ninguém sabe.

Ambos os problemas estão no centro da teoria matemática de fluidos, e compará-los revela exatamente o que a viscosidade compra para você e o que não compra. A questão de regularidade 3D, para qualquer sistema, permanece entre os problemas abertos mais difíceis em toda a análise.