Professional Documents
Culture Documents
NAVIERSTOKES EQUATION
CHARLES L. FEFFERMAN
ui
(1)
ui +
= ui
+ fi (x, t)
(x Rn , t 0),
uj
t
x
x
j
i
j=1
(2)
div u =
n
X
ui
i=1
xi
=0
(x Rn , t 0)
(3)
(x Rn ).
Here, u (x) is a given, C divergence-free vector field on Rn , fi (x, t) are the components of a given, externally applied force (e.g. gravity), is a positive coefficient
n
X
2
(the viscosity), and =
is the Laplacian in the space variables. The Euler
x2i
i=1
equations are equations (1), (2), (3) with set equal to zero.
Equation (1) is just Newtons law f = ma for a fluid element subject to the external force f = (fi (x, t))1in and to the forces arising from pressure and friction.
Equation (2) just says that the fluid is incompressible. For physically reasonable
solutions, we want to make sure u(x, t) does not grow large as |x| . Hence, we
will restrict attention to forces f and initial conditions u that satisfy
(4)
|x u (x)| CK (1 + |x|)K
and
(5)
(6)
and
Z
(7)
for all t 0
(bounded energy).
Rn
Alternatively, to rule out problems at infinity, we may look for spatially periodic
solutions of (1), (2), (3). Thus, we assume that u (x), f (x, t) satisfy
(8)
u (x + ej ) = u (x),
f (x + ej , t) = f (x, t)
1
for 1 j n
CHARLES L. FEFFERMAN
u(x, t) = u(x + ej , t)
on R3 [0, ) for
1jn
and
(11)
a finite blowup time T , then the velocity (ui (x, t))1i3 becomes unbounded near
the blowup time.
Other unpleasant things are known to happen at the blowup time T , if T < .
For the Euler equations ( = 0), if there is a solution (with f 0, say) with finite
blowup time T , then the vorticity (x, t) = curlx u(x, t) satisfies
Z T
sup |(x, t)| dt =
(BealeKatoMajda),
0
xR3
(12)
R3 R
dxdt
t
ij
ZZ
ui uj
i
dxdt
xj
R3 R
ZZ
ZZ
u dxdt +
=
R3 R
R3 R
ZZ
f dxdt
p (div )dxdt.
R3 R
Note that (12) makes sense for u L2 , f L1 , p L1 , whereas (1) makes sense
only if u(x, t) is twice differentiable in x. Similarly, if (x, t) is a smooth function,
compactly supported in R3 (0, ), then a formal integration by parts and (2)
imply
ZZ
(13)
u 5x dxdt = 0.
R3 R
CHARLES L. FEFFERMAN
CaffarelliKohnNirenberg [2] improved Scheffers results, and F.-H. Lin [6] simplified the proofs of the results in CaffarelliKohnNirenberg [2]. The partial regularity theorem of [2], [6] concerns a parabolic analogue of the Hausdorff dimension
of the singular set of a suitable weak solution of NavierStokes. Here, the singular set of a weak solution u consists of all points (x , t ) R3 R such that u
is unbounded in every neighborhood of (x , t ). (If the force f is smooth, and if
(x , t ) doesnt belong to the singular set, then its not hard to show that u can be
corrected on a set of measure zero to become smooth in a neighborhood of (x , t ).)
To define the parabolic analogue of Hausdorff dimension, we use parabolic cylinders Qr = Br Ir R3 R, where Br R3 is a ball of radius r, and Ir R is an
interval of length r2 . Given E R3 R and > 0, we set
(
)
X
K
PK, (E) = inf
ri : Qr1 , Qr2 , cover E, and each ri <
i=1
[8] V. Scheffer, An inviscid flow with compact support in spacetime, J. Geom. Analysis 3 (1993),
343401.
[9] A. Shnirelman, On the nonuniqueness of weak solutions of the Euler equation, Comm. Pure
& Appl. Math. 50 (1997), 12601286.
Errata
The further condition p(x + ej , t) = p(x, t) should be made explicit in Eqn (8).
Eqn (10) should read:
X x
i
dxdt
ui uj
dxdt
t
xj
3
3
ij
R R
R R
x
x
x
=
u 4 dxdt +
f dxdt +
p (div ) dxdt
x
R3 R
R3 R
R3 R