25 Jul Navier-Stokes equation
This is an equation which describes the motion of an incompressible fluid and is given by
∂∂t ui + j=13uj∂ui∂xj = ν Δ ui – ∂p∂xi + fi (x,t) x R3, t ≥ 0, 1 ≤ i ≤ 3
div u = j=13∂uj∂xj = 0 x R 3 t ≥ 0
with initial conditions u(x,0) = u 0(x) x R3. These have to be solved for an unknown velocity vector u(x,t) = (ui(x,t))1≤i≤3 x R3 and pressure p(x,t) defined for position x R3 and time t ≥ 0. Here u0(x) is a given infinitely differentiable divergence-free field and fi(x,t) are the components of a given external applied force (e.g. gravity), ν is a positive coefficient (viscosity) and Δ = j=13∂2∂xj2 is the Laplacian in the space variables. Equation (2) is the incompressibility condition.
The equation with ν set to 0 is called Euler equation and was derived by Euler in the eighteenth century from Newton’s laws, applied to an incompressible fluid moving under an external force, free of any internal force i.e. viscosity. The viscosity term was introduced by Navier in 1822. His results were correct but his derivation was faulty and was corrected by Stokes in around 1842 and the equation henceforth called Navier-Stokes equation became the central equation in fluid mechanics. Approximate solutions of the equation are used in many applications in Physics and Engineering. However till now no one has proved or disproved that a solution of Navier-Stokes equation must exist for any values of u0(x) and f(x,t). This is then the problem of existence of solution of Navier-Stokes equation and which has been chosen as a millennium problem.
[This is the last article in our series on Millennium Problems.]
Managing Editor of the English Section, Gonit Sora and Research Fellow, Faculty of Mathematics, University of Vienna.