Euler vs. Navier-Stokes: What's the Difference?

The Euler equations describe a fluid with zero internal friction. No viscosity at all. The Navier-Stokes equations describe the same fluid with viscosity included.

Mathematically, the whole difference is one term: $\nu \Delta u$, the viscous diffusion term. Remove it and Navier-Stokes becomes Euler. Keep it and the equation gains a smoothing mechanism that changes both the physics and the analysis in ways you wouldn't expect from a single extra term.

That one term is why smoke dissipates, why boundary layers form along surfaces, and why the Navier-Stokes Millennium Problem has a completely different character from the corresponding Euler question.

The incompressible Euler equations on $\mathbb{R}^3$ are

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

The incompressible Navier-Stokes equations are

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

with $\nu > 0$ the kinematic viscosity. Formally, setting $\nu = 0$ in Navier-Stokes recovers Euler. But this formal substitution hides the fact that the $\nu \to 0$ limit is singular: the viscous term $\nu \Delta u$ carries the highest-order spatial derivative in the system, and dropping it changes the PDE type and the function spaces in which solutions live.

Both equations in their standard incompressible form, written so the comparison is obvious:

Euler:

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

Navier-Stokes:

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

Same left side: the rate of change of velocity plus the nonlinear self-transport term $(u \cdot \nabla)u$. Both enforce incompressibility through $\nabla \cdot u = 0$. The only structural difference is the viscous term $\nu \Delta u$ on the right side of Navier-Stokes.

The parameter $\nu$ is the kinematic viscosity, a physical constant of the fluid. Honey has a large $\nu$. Air has a small one. The Euler equations correspond to $\nu = 0$: a perfectly frictionless idealization that can approximate some high-Reynolds-number flows away from boundaries, but doesn't exist in any real fluid.

Both systems share the bilinear form $(u \cdot \nabla)u$ and the pressure determined implicitly by the divergence-free constraint. Taking the divergence of the momentum equation and using $\nabla \cdot u = 0$ gives the pressure Poisson equation

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

which is identical for both systems. The pressure is a nonlocal functional of $u$ in either case.

The viscous term $\nu \Delta u$ is a second-order linear elliptic operator acting on each velocity component. It's parabolic regularization: its presence makes Navier-Stokes a semilinear parabolic system, while incompressible Euler is a first-order nonlinear transport equation with nonlocal pressure coupling. This difference in PDE type drives nearly every subsequent difference in regularity theory.

Viscosity is friction between neighboring layers of fluid. Fast layer next to a slow one? Viscosity transfers momentum between them, smoothing out the velocity difference. Simple concept. The consequences are enormous and they split Navier-Stokes from Euler in three ways.

• Dissipation. Kinetic energy converts to heat. Stir coffee, then stop. It eventually comes to rest because viscosity bleeds the motion away as thermal energy. Euler can't predict this at all, since there's no mechanism in the equations to drain kinetic energy into heat.
• Boundary layers. Real fluids stick to surfaces (the no-slip condition), creating thin layers of rapid velocity change near walls. These generate drag on aircraft wings, friction losses in pipes, and turbulence onset at high speeds. Euler flows satisfy a slip condition instead, so they miss viscous wall drag entirely.
• Small-scale smoothing. Viscosity kills the sharpest velocity gradients. Without it? Nothing stops the flow from developing infinitely fine structure, sharper and sharper forever. This smoothing is exactly what makes the regularity question for Navier-Stokes a different beast from Euler.

The energy identity for Navier-Stokes on $\mathbb{R}^3$ (or a periodic domain) reads

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

so kinetic energy is monotonically dissipated. For Euler ($\nu = 0$), the $L^2$ norm of $u$ is formally conserved.

At the boundary level, Navier-Stokes uses no-slip conditions ($u|_{\partial \Omega} = 0$), while Euler requires only impermeability ($u \cdot n = 0$). As $\nu \to 0$, the mismatch between these conditions generates the Prandtl boundary layer. It's a singular perturbation phenomenon, and people have been wrestling with it since Prandtl's 1904 paper.

Physically, viscosity acts as a high-frequency filter: it damps Fourier modes at rate $\nu |k|^2$, preferentially suppressing small scales. This spectral damping is the mechanism behind the Kolmogorov dissipation scale $\eta \sim (\nu^3 / \varepsilon)^{1/4}$ in turbulence. See Reynolds Number and Turbulence for the full scaling picture.

Formally? Yes. Set $\nu = 0$ and you get Euler. But that's a terrible place to stop thinking about it.

The limit $\nu \to 0$ is singular. Viscosity carries the highest-order derivatives in the equation, so removing it doesn't make a small tweak. It completely changes what kind of PDE you're dealing with. Boundary layers don't thin out gracefully. They can blow up into turbulence. Solutions that were perfectly smooth under Navier-Stokes can develop wildly different behavior under Euler.

Yes, the two equations share their mathematical DNA. But the zero-viscosity limit is one of the deepest open problems in all of fluid dynamics, not a napkin calculation.

The inviscid limit $\nu \to 0$ is a singular perturbation: $\nu \Delta u$ carries the highest spatial derivatives in the system, so setting $\nu = 0$ drops the order of the PDE. On domains with boundaries, the limit is tied to the validity of Prandtl's boundary-layer expansion, which can fail spectacularly (Grenier 2000, Gérard-Varet & Dormy 2010).

On $\mathbb{R}^3$ or $\mathbb{T}^3$ (no boundaries), things get cleaner. If the Euler solution $u^E$ stays smooth on $[0,T]$, then Navier-Stokes solutions $u^\nu$ converge to $u^E$ in $L^2$ as $\nu \to 0$ (Kato 1972). Cleaner, but not clean: whether Euler solutions even remain smooth globally is itself open in 3D, and that's the whole problem.

The limit also collides head-on with turbulence theory. Kolmogorov's picture requires $\nu > 0$ to define a dissipation scale. Yet anomalous dissipation, the persistence of energy dissipation as $\nu \to 0$, has been an open conjecture for decades. Onsager's conjecture (now a theorem: Isett 2018, sharpened by Buckmaster, De Lellis, Székelyhidi, and Vicol in 2019) characterizes exactly when Euler solutions can dissipate energy without any viscosity at all.

Whenever viscosity is negligible compared to the other forces in play. This happens more often than you'd think:

• High-speed aerodynamics away from surfaces. Far from a wing, airflow is nearly inviscid. Engineers routinely use Euler solvers for the bulk flow and patch in boundary-layer corrections near the wall.
• Astrophysical flows. Interstellar gas clouds, stellar interiors, accretion disks around black holes. At those scales, molecular viscosity is completely irrelevant (though turbulent effective viscosity may not be).
• Compressible gas dynamics. Shock waves. Detonations. Supersonic flight. The physics that dominates is pressure and inertia, not friction.
• Pure theory. Euler is worth studying in its own right, not just as a stepping stone toward Navier-Stokes. It connects to Riemannian geometry, vortex dynamics, and deep questions about the structure of turbulence itself.

But for anything where friction, drag, or boundary behavior matters (pipe flow, vehicle aerodynamics near surfaces, blood circulation, weather at human scales), you need Navier-Stokes. Full stop.

The Euler equations govern leading-order behavior at high Reynolds number $\mathrm{Re} = UL/\nu \gg 1$. At these Reynolds numbers, viscous effects get confined to thin boundary layers and internal shear layers, while the bulk flow away from walls is well-approximated by Euler.

The compressible Euler equations, a hyperbolic system with finite propagation speed, are the standard model for gas dynamics, including shock formation and Riemann problems. These differ from the incompressible Euler equations discussed above: compressible Euler is genuinely hyperbolic, while incompressible Euler has nonlocal pressure coupling and infinite propagation speed.

In mathematical analysis, Euler serves both as a limit object for the vanishing-viscosity problem and as a rich PDE system with its own regularity theory, conserved quantities (helicity, Casimirs via the Euler-Arnold framework on the diffeomorphism group), and connections to geometric mechanics.

This is where the gap matters most, and it's where things get genuinely interesting.

The Navier-Stokes Millennium Problem asks a question that sounds almost too simple: if you start with a smooth, well-behaved flow in three dimensions, does the solution stay smooth forever, or can it blow up? Nobody on Earth knows the answer.

The same question for Euler is also open in 3D. But the two problems feel completely different:

• Navier-Stokes has viscosity on its side. Always smoothing, always dissipating energy, always damping the sharpest gradients. The real question is whether that smoothing is strong enough to overpower the nonlinear term before it creates a singularity.
• Euler has nothing. Zero smoothing. Zero dissipation. The nonlinear term can amplify velocity gradients with absolutely no opposing force, and whether this actually produces a finite-time singularity from smooth 3D initial data is one of the biggest open questions in PDE theory.

In 2D, both equations are globally well-posed for smooth initial data. Settled. Done. The mystery lives entirely in three dimensions, for both equations, but for fundamentally different reasons.

The regularity picture:

2D: Global existence and uniqueness of smooth solutions is known for both systems. For 2D Euler with smooth data, Wolibner (1933) proved global existence in Hölder spaces; Yudovich (1963) established uniqueness for bounded-vorticity data. For 2D Navier-Stokes, global regularity follows from the Ladyzhenskaya inequality and vorticity maximum principle.

3D Navier-Stokes: Leray (1934) proved global existence of weak solutions in $L^2$, but uniqueness and regularity remain open. The Caffarelli, Kohn, and Nirenberg theorem (1982) shows the singular set has one-dimensional parabolic Hausdorff measure zero, so any blowup, if it occurs, is extremely sparse. The viscous term provides the key a priori estimate $\int_0^T \|\nabla u\|_{L^2}^2 \, dt \leq C(u_0)$, but this $H^1$ control is subcritical for 3D scaling and isn't enough to close a bootstrap argument. See Why Navier-Stokes Is Hard for the supercriticality gap.

3D Euler: No global theory exists for smooth data. Local well-posedness in Sobolev spaces $H^s$, $s > 5/2$, is classical (Kato 1972, Kato and Ponce 1988). The Beale, Kato, and Majda criterion (1984) reduces blowup detection to $\int_0^T \|\omega\|_{L^\infty} \, dt$: the solution stays smooth on $[0,T]$ if and only if this integral is finite. Blowup requires vorticity to grow fast enough that it's non-integrable in time. Elgindi (2021, Annals of Mathematics) proved finite-time singularity formation for $C^{1,\alpha}$ data. A genuine breakthrough, but below the smooth ($C^\infty$) threshold. Whether smooth Euler solutions blow up in 3D is still open.

Turbulence. This is where the Euler-vs-Navier-Stokes comparison becomes physically vivid, almost tangible.

In a turbulent flow, energy enters at large scales (the size of the pipe, the wing, the storm) and cascades down to smaller and smaller eddies. This is the energy cascade, and it's one of the most striking phenomena in all of physics. At the very bottom of the cascade, viscosity finally converts kinetic energy into heat. End of the line.

Euler captures the inertial-range dynamics: energy transfer across scales driven by nonlinearity. But it has no viscous cutoff. No bottom to the cascade. No mechanism to convert kinetic energy into heat at any definite scale. Whether energy can still dissipate in the inviscid limit, what's called anomalous dissipation, remains a deep open question.

This is why turbulence modeling almost always uses Navier-Stokes. The Reynolds number $\mathrm{Re} = UL/\nu$ tells you how wide the cascade is: high $\mathrm{Re}$ means many decades of scales separating energy input from viscous burnoff. Real turbulence lives in the tension between the inviscid cascade pouring energy downward and the viscous cutoff destroying it at the smallest scales.

Kolmogorov's 1941 theory predicts an energy spectrum $E(k) \sim \varepsilon^{2/3} k^{-5/3}$ in the inertial range, the region where neither large-scale forcing nor viscous dissipation dominates. The dissipation scale $\eta = (\nu^3/\varepsilon)^{1/4}$ sets the bottom of this range. Below $\eta$, viscosity wins.

The Euler equations are the formal $\nu = 0$ model. But interpreting Navier-Stokes solutions as converging to Euler solutions in the turbulent regime is genuinely subtle, and the question of whether energy dissipation persists in this limit (anomalous dissipation) is the content of Onsager's conjecture. The rigid side, showing no dissipation for $u \in C^{0,\alpha}$ with $\alpha > 1/3$, was proved by Constantin, E, and Titi in 1994. The flexible side, constructing dissipative Euler solutions below $C^{1/3}$, was completed by Isett in 2018, building on De Lellis and Székelyhidi's convex integration program.

For Navier-Stokes, the cascade picture is wired directly into the energy balance: $\varepsilon = \nu \langle |\nabla u|^2 \rangle$. The open question is stark. Do Navier-Stokes solutions remain smooth long enough for Kolmogorov's statistical theory to be mathematically justified? The existence and smoothness problem is, in part, asking exactly this: whether viscous dissipation is strong enough to tame the cascade at every scale, for all time.

The difference between Euler and Navier-Stokes is one term: $\nu \Delta u$. That term changes everything.

Euler isn't a simplified Navier-Stokes. It's a fundamentally different system that happens to share most of its structure. And the choice matters in practice: picking the wrong model (Euler where viscosity matters, Navier-Stokes where it doesn't) can wreck a simulation entirely. For the full equations, see What Are the Navier-Stokes Equations?. For the obstacles, see Why It's Hard. For the prize, see The Millennium Problem. For incompressible vs. compressible flow, see Incompressible vs. Compressible Navier-Stokes.

The viscous term $\nu \Delta u$ converts a first-order nonlinear system (Euler) into a semilinear parabolic one (Navier-Stokes). What you get: energy dissipation, higher-order a priori estimates, and the analytic semigroup structure underlying the Navier-Stokes theory built by Leray in 1934 and extended by Fujita and Kato in 1964.

Yet this regularization isn't sufficient in 3D to close the global regularity argument. Not even close. The Clay Millennium Problem asks precisely whether parabolic smoothing in Navier-Stokes can control nonlinear energy transfer across all scales, for all time. For Euler, the parallel question is equally stark: does the total absence of smoothing guarantee finite-time blowup from smooth data? Nobody knows.

Both problems sit at the center of the mathematical theory of fluids, and comparing them reveals exactly what viscosity buys you and what it doesn't. The 3D regularity question, for either system, remains among the hardest open problems in all of analysis.