Вы находитесь на странице: 1из 14

517.

-.

..

(The Millennium Prize Problems):


-
.
: , , .

In this paper it is given the solution of the sixth millennium problem: it is proof the existence and smoothness of
unique solution of the Navier Stokes equations with periodic boundary conditions in the spatial variables.
Key words: Navier-Stokes equations, method Galerkin, periodic boundary conditions.

,
, .

.
. ,
,
. 2000-
( Clay Mathematics Institute)
(The Millennium Prize Problems)
-
[1].

.
..[2-5], R. Temam[6,7].
,
, -.
, .. [8], J. Leray[9,10],
E. Hopf [11], J.-L. Lions [12-14], .. [15], .. [16] .

1. . -
R ; x ( x1 , , xn ) - R ;
n n

.
Lp ( ), (1 p ); -
.
Lp ( ) - , p - .
1
p
p
u Lp ( )
u ( x) dx ,

p u L ( ) sup ess u( x) .
x

(, u X
u X ).

C k ( ) - k .

1
C ( ) - .
H ( ) m m

:
H m ( ) u D u L2 ( ) , m ,
H m ( )
1
2
2
u Hm( )
D u . (1.1)
L2 ( )
m

1.[14]. H m ( ) , (1.1),

(u, v) H m ( ) ( D u,D v) L2 ( )
m

u v H m ( ) .
D( ) -
,
D ( ) D( ) = .
H 01 ( ) = D( ) H 1 ( ) = ( H 1 ( ) ),
.
X - , Lp (0, T ; X ) ()
t f (t ) : 0, T X ; , X ,
1
T p
p
f (t ) X
dt f Lp (0T ; X )
;
0

p f L (0,T ; X ) sup ess f (t ) X


;
t 0,T

Lp (0, T ; X ) ( [20] ).
D (0, T ; X ) 0,T X ,
[21].
f D (0, T ; X ) ,

f
( ) f( ) D( 0, T ).
t t
n n
l 1 l 1
2. [18]. C 2
H 2
C l ( ) .
n
l 1
f H 2
f Cl ( )
cl f H
l 1 n
2 ( ) , cl
f .
3. [18]. (n 1) S C 1
, S
C1 .
f H 1 ( ) f S , L2 ( S ) ,
f L2 ( S )
c f H1 ( )

c f .
1. f H k ( ), k 1 . D f , k

2
D f S L2 (S ) D f L2 ( S )
c f Hk ( )
.
B0 , B, B1 - ,
B0 B B1 , Bi i 0,1 , (1.2)

B0 B (1.3)
.

dv
W v v LP0 (0, T ; B0 ), v LP1 (0, T ; B1 )
dt
T 1 pi , i 0,1 . W
v P
L 0 (0,T ; B0 )
v LP1 (0,T ; B1 )

. , W LP0 (0, T ; B ) .
4.[13]. ( ) (1.2), (1.3) 1 pi ,i 0,1
W L (0, T ; B) .
P0

5. [18]. H 1 ( ) L2 ( ) .
-1.[19].
.
2. . R3
QT (0, T ) , T 0 . ,
x ( x1 , x2 , x3 ) R3 : 0 xi l , i 1, 2,3 .
x l
: G( x, t ) xk 0 G( x, t ) x l G( x, t ) x 0
k k k

( ) -
( x) xk 0 ( x) xk l k 1, 2,3 .
( ) ( ) .
, D( ) ( ) E( ) D( ).
(u, v) L2 ( ) , ..
(u, v) u( x)v( x)dx ;

u ( )v ( ).
xk l
{ ( )3 , div 0, xk 0 0},
xk
H = ( L2 ( ))3 ,
V = ( H 2 ( ))3 .
V = V
D(QT ) -
QT

D (QT ) D(QT ) = QT .

3

u ( u1 , u2 , u3 ) ,
u u1 u2 u3
u ( u1 , u2 , u3 )
, , ), (
t t t t
u u u
Di u ( Di u1 , Di u2 , Di u3 ) ( 1 , 2 , 3 ), i 1, 2,3 ,
xi xi xi
u ( u1 , u2 , u3 ) .
:
u ,
p
x t (0, T ) ,
3 3 2
ui ui 1 p ui
uj fi ( x, t ) QT , i 1, 2,3;
t j 1 xj xi j 1 x 2j
(2.1)
3
ui
0, ( x, t ) QT .
i 1 xi
f ( f1 , f 2 , f 3 ) - , - , -
. , 1, 1.
(2.1) (
) :
u t 0 u0 , x ; (2.2)
u xk 0 u xk l , (2.3)
u u
xk 0 xk l ,
xk xk
p xk 0 p xk l , k 1, 2,3; 0 t T (2.4)
p :
pdx Q0 , Q0 const 0. (2.5)

(u; p) ( u1 ; u 2 ; u 3 ; p ).

3. (2.1)-(2.5).
6. u0 H f L2 (0, T ; V )
u L2 (0, T ; V ) L (0, T ; H ) , p D (0, T ; ( )) (2.1)-(2.5).

6, (2.1)-(2.5) .

4. (2.1)-(2.5) .
(2.1)-(2.5).
: f , g H
3 1
( f , g) f i g i dx, f (f, f) 2 .
i 1

C ( )

4
f C( )
max f .
x

( H 2 ( ))3
3
((u , v)) (ui , vi ) H 2 ( )
(4.1)
i 1

1
V = ( H 2 ( ))3 , u V ((u, u)) 2 .

V H, (4.2)
V H .
H : H H .
V H , ,
(4.2)
V H V .
-1 V .

3 uj vj
a(u, v) dx, u, v V ,
i, j 1 xi xi
3
b(u , v, w) uk ( Dk ui ) wi dx
i ,k 1

u, v, w , ;
:
1. u, v, w b(u, v, w) V V V .
. , u V , ui H 2 ( ) , ,
2 ui C( )
,

uk ( Dk vi ) wi dx c uk C( )
Dk vi H1 ( )
wi C( )
,

.
, div u 0 (2.3) u L2 (0, T ;V ) L (0, T ; H ) .
, u L2 (0, T ;V ) L (0, T ; H ) ,
f L2 (0, T ;V ) , (4.3)
u0 H , (4.4)
3
u
u ui Di u f gradp , (4.5)
t i 1

u (0) u0 . (4.6)
p(t ) xk 0 p(t ) xk l , k 1, 2,3; 0 t T (4.7)
, V , a priori
:
: V = ( H 2 ( ))3
:
x l u xk l
V {u u ( H 2 ( ))3 , u xkk 0 0, x 0 0, ( k 1, 2,3) , div u 0} .
xk k

5
.
V . , V V ; . L
- V , V ; L
( )
3
L (v ) ( Li , vi ), Li V .
i 1

L V , , L V ( H 01 ( ))3 ,
[22]
S
Li , S ( ).
xi
xk l
[23], S L2 ( ) . , S xk 0 0, k 1, 2,3; .

3 3 3
S
L(v) ( , vi ) S vi ni ds S div vdx S vi ni ds 0, v V,
i 1 xi i 1 i 1

n (n1 , n2 , n3 ) .
3 3
S
L(v) (
, vi ) S vi ni ds S div vdx 0, v V
i 1 xi i 1

.
, (4.7),
( grad p, ) 0 ( ( D (0, T ))3 ),
(4.5)
(u , ) a(u, ) b(u, u, ) ( f , ) . (4.8)
,
b(u, u, ) b(u, , u)
(4.8)
(u , ) a(u, ) b(u, , u) ( f , ) . (4.9)
.

f L2 (0, T ;V ) , (4.10)
u0 H . (4.11)
u L2 (0, T ;V ) L (0, T ; H ) ,
(u , v) a(u, v) b(u, u, v) ( f , v) v V (4.12)
u (0) u0 . (4.13)
1. .
u - (4.3)-(4.7), (4.9) ,
(4.10)-(4.13) V ; u -
(4.10)-(4.13).
, u - (4.12). ,
3
u
u ui Di u f S ,
t i 1

S ( D (0, T ; E ( )))3
(S , ) 0 ( D (0, T ))3 .
, S

6
S grad p, p D (0, T , E ( )) ,
p (4.7) .
V ,
:
2. v V , Dvi j L6 ( ) .
Di v j H 1 ( )
1 1 1 1
Di v j Lq ( ), .
q 2 3 6
3. u, v V
b(u, u, v) b(u, v, u ) .
.
4. u V
v b(u, u, v) V ;
b(u, u, v) ( g (u), v), g (u) V (4.14)

2
g (u ) V c1 u ( C ( ))3
(4.15)
. ,
3
2
b(u , u , v ) b(u , v, u ) c4 u ( C ( ))3
Di v j ,
L6 ( )
i, j 1

2 (4.15).
5.
u L2 (0, T ;V ) L (0, T ; H ) . ui L2 (0, T ; C( )) L (0, T ; L2 ( )) . (4.16)
. u {ui } .
ui L2 (0, T ; H 2 ( )) L (0, T ; L2 ( )) . (4.17)
2, H ( ) 2
C ( ) , (4.17)
ui L2 (0, T ; C( )) L (0, T ; L2 ( )) .
6. V H .
, V ( H 2 ( ))3 ( H 1 ( ))3 ,
-5 V H .
2. ( (4.1))
((w, v)) (w, v) v V
w j ,
j :
(( w j , v)) j ( w j , v) v V, j 0. (4.18)
w j
.

5. (2.1)-(2.5).
5.1. . w1 , w2 , , wm , ,
(4.18).
um (t ) m :
m
um (t ) w1 , , wm , um (t ) g jm (t ) w j ,
j 1

7
(um (t ), w j ) a (um (t ), w j ) b(um (t ), um (t ), w j ) ( f (t ), w j ), 1 j m, (5.1)
um (0) u0m , um (0) w1 , , wm , u0m u0 H. (5.2)
( g jm (t ) )
um (t ) 0, tm ; , tm T.
5.2. (I). (5.1) g jm (t ) j ;
(. 3) b(um , um , um ) 0, :
1 d 2
um (t ) a(um (t ), um (t )) ( f (t ), um (t )) .
2 dt
v a(v, v) ( ( H 2 ( ))3 , v ( H 1 ( ))3
).

1 d 2 2 1 2 2
um (t ) um (t ) f (t ) um (t ) um (t ) c f (t )
2 dt 2

t t
2 2 2 2
um (t ) um ( ) d u0m 2c f( ) d .
0 0

(5.2), tm T
u m L (0, T ;V ) L (0, T ; H ) .
2
(5.3)
5.3. (II). ,
u m L2 (0, T ;V ) . (5.4)
Pm - H w1 , , wm ,
m
Pm h (h, wi ) wi .
i 1

a(u, v) ( Au, v), A F (V, V ) . (5.5)
(4.14) (5.5) (5.1),
um Pm ( g (um )) Pm Aum Pm f (5.6)
Pm F (V ,V )
1 ( w j );
( Pm* Pm ):
Pm F(V ,V )
1.

(4.15), (4.16) (5.3) , g (u m ) L2 (0, T ;V ) , ,


, Pm ( g (um )) L2 (0, T ;V ) .
, Aum L2 (0, T ;V ) , (5.4) (5.6).

5.4. (III). 4,

B0 V , p0 2,
B1 V, p1 2,
B H.
u m u ,
u u L2 (0, T ;V ) , (5.7)

8
u u *- L (0, T ; H ) ,
u u L2 (0, T ; H ) QT , (5.8)
u u L2 (0, T ;V ) . (5.9)
(5.7), (5.9) , u (0) u (0) V u (0) u0 .
5, u i u j L2 (QT ) , , , ,
u iu j L2 (QT ) .
ij (5.10)
(5.8) :
ij ui u j (5.11)
, u i u j ui u j D (QT ) ; ,
u iu j dxdt ui u j dxdt D(QT ) ,
QT QT

u i ui L2 (QT ) , u j u j L2 (QT ) .
(5.10), (5.11) ,
b(u , u , w j ) b(u , u , w j ) L2 (0, T ) .
, L2 (0, T ) ,
T T
b(u , u , w j ) dt b(u , w j , u ) dt ,
0 0
, (5.10).

(u , w j ) (u , w j ) , D (0, T ) ,
, (5.1) ( m )
(u , w j ) a (u , w j ) b(u , u , w j ) ( f , w j ),
j . (4.12) v V .
6. .
7. (5.10)-(5.13)
u L2 (0, T ;V ) (6.1)
. , (5.14) (6.5), (5.12),

u Au g (u) f . (6.2)
(5.15) (5.16) g (u ) L (0, T ;V ) ; Au L (0, T ;V ), f L (0, T ;V )
2 2 2

(6.2) (6.1).
8. (5.10)-(5.13) ,
, 0,T H ; u (t ) u0 H ,
t 0.
. u L2 (0, T ;V ) , (6.1) -1.
9. ,
f , f L2 (0, T ;V ), f (0) H , u0 V
( ).
(5.10)-(5.13), -6,

u L2 (0, T ;V ) L (0, T ; H ). (6.3)


. u m - (6.1), (6.2), w j -

9
V u0m , u0 m u0 V .
(6.1) ,
2
um (0) ( f (0), um (0)) a(u0 m , um (0)) b(u0 m , u0 m , um (0)),
2
um (0) f (0) um (0) ) c um (0) ,

3
b(u0 m , u0 m , um (0)) c u0 m 3 Di (u0 m ) j um (0) .
( C ( )) H1 ( )
i, j 1

Di (u0 m ) j H 1 ( ) .
(6.1) t :
(um (t ), w j ) a (um (t ), w j ) b(um (t ), um (t ), w j ) b(um (t ), um (t ), w j ) ( f (t ), w j ) . (6.4)
(6.4) g jm (t ) j . ,
b(um (t ), um (t ), um (t )) 0 ,
:
1d 2 2
um (t ) um (t ) ( f (t ), um (t )) b(um (t ), um (t ), um (t ))
2 dt

b(um (t ), um (t ), um (t )) b(um (t ), um (t ), um (t ))
3
c1 um (t ) 3 (um (t )) j um (t ) ( C ( ))3
( C ( )) H1 ( )
j 1

1 2 2 2
c2 um (t ) um (t ) um (t ) ( C ( ))3
um (t ) c3 um (t ) um (t ) ( C ( ))3
2

2
m (t ) um (t ) ( C ( ))3
.

d 2 2 2
um (t ) um (t ) f (t ) V um (t ) c3 m (t ) um (t ) , (6.5)
dt
d 2 2 2 2 2
um (t ) um (t ) c4 f (t ) V um (t ) c3 m (t ) um (t ) ,
dt
d 2 2 2
um (t ) c4 f (t ) V c3 m (t ) um (t )
dt
(6.5), , ,
t t
2 2 2 2
um (t ) um (0) c4 f ( )V d c3 m ( ) um ( ) d
0 0
t
2
c5 c3 m ( ) um ( ) d
0

,
t
2
um (t ) c5 exp c3 m ( )d . (6.6)
0

u m L2 (0, T ;V ) L (0, T ; H ) , L2 (0, T ;(C ( ))3 ) ,


10
t

m ( )d const .
0
(6.6) ,
u m L (0, T ; H ) . (6.7)
(6.5) ,
u m L2 (0, T ;V ) . (6.8)
, um u ( L (0, T ;V ) ) (6.3) (6.7) (6.8).
2

-6, ,
.
7. . u u - ,
w u u .
(w , v) a(w, v) b(w, u, v) b(u, w, v) b(w, w, v) 0
v V ( V ( L2 ( ))3 ). (7.1)
(6.1) , w L (0, T ;V ) , (7.1)
2

v w(t ) t ; :
t
1 2
w(t ) a( w, w)d
2 0
t
(7.2)
b( w, u, w) b(u, w, w) b( w, w, w) d 0.
0

b(u, w, w) 0, b( w, w, w) 0 (7.2)
t t
1 2 2
w(t ) w( ) d b(w, u, w)d . (7.3)
2 0 0

t t
2
b( w, u , w)d c1 w( ) ( C ( ))3
u( ) ( H 1 ( ))3
d
0 0
t
c2 w( ) w( ) u ( ) d
0
t t
2 2 2
w( ) d c3 w( ) u ( ) d .
0 0
(7.3) ,
t
2 2 2
w(t ) 2c3 w( ) u ( ) d , (7.4)
0

w 0 .

8.
(2.1)-(2.5).
u0 ( x) (u01 ( x), u02 ( x), u03 ( x)), u0i C 2 ( )
f ( x, t ) ( f1 ( x, t ), f 2 ( x, t ), f3 ( x, t )), fi C(QT )) .
u( x, t ) ( u1 ( x, t ), u2 ( x, t ), u3 ( x, t )), ui C1[0, T ] C 2 ( )
p ( x, t ) C (0, T ) C 1 ( ) (2.1)-(2.5)

11
(2.1) (2.2)-(2.5)
10. (2.1)-(2.5)

2
x l u01 xk l
f1 ( x,0) xk 0 , k 2,3;
k xk2 xk 0
2
xk l u02 xk l
f 2 ( x,0) xk 0 xk 0 , k 1,3; (8.1)
xk2
2
xk l u03 xk l
f3 ( x,0) xk 0 xk 0 , k 1, 2;
xk2
x2 l x3 l
f1 ( x, t ) x2 0 x3 0 0, x1 0, l ; t [0, T ];
x3 l x1 l
f1 ( x, t ) x3 0 x1 0 0, x2 0, l ;
x2 l x1 l
f1 ( x, t ) x2 0 x1 0 0, x3 0, l ;
x2 l x3 l
f 2 ( x, t ) x2 0 x3 0 0, x1 0, l ;
x1 l x3 l
f 2 ( x, t ) x1 0 x3 0 0, x2 0, l ;
x1 l x2 l
f 2 ( x, t ) x1 0 x2 0 0, x3 0, l ;
x2 l x3 l
f 3 ( x, t ) x2 0 x3 0 0, x1 0, l ;
x1 l x3 l
f 3 ( x, t ) x1 0 x3 0 0, x2 0, l ;
x1 l x2 l
f 3 ( x, t ) x1 0 x2 0 0, x3 0, l ;
(2.2)-(2.4) (8.1) .

.
(2.1)-(2.5). (2.1)
3 2 3
p u1 u1 u1
f1 ( x , t ) u j , ( x, t ) QT ,
x1 j 1 x 2j t j 1 xj
3 2 3
p u2 u2 u2
f 2 ( x, t ) uj ,
x2 j 1 x 2j t j 1 xj
(8.1)
3 2 3
p u3 u3 u3
f 3 ( x, t ) uj ,
x3 j 1 x 2j t j 1 xj
3
ui
0.
i 1 xi

(8.1), (2.3)-(2.4),
2
xk l u1 xk l
f1 ( x, t ) x 0 , k 2,3; t [0, T ]. (8.2)
k xk2 xk 0
,

12
x2 l x3 l
f1 ( x, t ) x2 0 x3 0 0, x1 0, l ;
x3 l x1 l
f1 ( x, t ) x3 0 x1 0 0, x2 0, l ;
x2 l x1 l
f1 ( x, t ) x2 0 x1 0 0, x3 0, l ;
(8.2) t 0
2
x l u01 xk l
f1 ( x,0) xk 0 , k 2,3.
k xk2 xk 0
(8.1)
2
x l u02 xk l
f 2 ( x,0) xk 0 , k 1,3;
k xk2 xk 0
x2 l x3 l
f 2 ( x, t ) x2 0 x3 0 0, x1 0, l ;
x1 l x3 l
f 2 ( x, t ) x1 0 x3 0 0, x2 0, l ;
x1 l x2 l
f 2 ( x, t ) x1 0 x2 0 0, x3 0, l ;
2
xk l u03 xk l
f3 ( x,0) xk 0 xk 0 , k 1, 2.
xk2
x2 l x3 l
f 3 ( x, t ) x2 0 x3 0 0, x1 0, l ;
x1 l x3 l
f 3 ( x, t ) x1 0 x3 0 0, x2 0, l ;
x1 l x2 l
f 3 ( x, t ) x1 0 x2 0 0, x3 0, l ;
f ( x, t ) ( f1 ( x, t ), f 2 ( x, t ), f 3 ( x, t ) )
t 0
u0 ( x) (u01 ( x), u02 ( x), u03 ( x)), x .
. ,
(2.1)-(2.5) (2.1)-(2.5). 6
(2.1)-(2.5).

[1]. Fefferman Ch.Existence and smoothness of the Navier-Stokes equation.


http://claymath.org/ millennium/ Navier-Stokes_Equation. Cambridge,MA:Clay
Mathematics Institute,2000.- P.1-5.
[2]. . -
// .-1958.-.123,3. .427-429
[3]. .., ..
//
.-1960.-.59.-.115-173.
[4]. . . .-.:
, 1970.-288 .
[5]. .. : - ,
// . -2003.-.58, 2(350). . 45-78.
[6]. Temam R. On the Theory and Numerical Analysis of the Nanier-Stokes Equations.
13
College Park: Univ. of Maryland. Lecture Note, 1973.-V.9.
[7]. Temam R. Nanier-Stokes Equations. Theory and Numerical Analysis.Studies in Math.and
its Appl.-Amsterdam, New York,Oxford: North Holland Pub.Comp.,1979.-V.2.
[8]. .. //
. .-1942.-.6, 1. . 56-58.
[9]. Leray J. Essai sur les mouvements plans dun liquid visqueux que limitend des parois //
Jurnal Math. Pyres Appl.-1934. V .9. P. 331-418.
[10]. Leray J.Sur le movement dun liquid visqueux emplissant lespase.-Acta Math, 1934.
V . 63. P . 193-248.
[11]. Hopf E. Uber die Anfangswertaufgabe fur die Hydrodinamischen Grundgleichungen.
Math.Nachr.,1951. V.4. P.213-231.
[12]. Lions J.-L Equations differentielles et problems aux limites.Berlin:Springen
Verlag,1961(Grundlehren Math. Wiss., V.111).
[13]. .. .
. . ,1972.
[14]. ., . .
., . ,1971
[15]. .., .
. .: , 1980. -440 .
[16]. ..
. .
// . -2003 . .58, 2.-. 123-156.
[17]. . -. ISSN
1682- 0525. . 2013. 13. 4 (40)
[18]. .. .
., , 1983.
[19]. .., ..
. ., , 1989.
[20]. . . (, ), ., , 1967.
[21]. . Distributions a valeurs vectorielles, I,II, Ann. Inst. Fourier, 7(1957), 1-141;
8(1958),1-209.
[22]. De Ram. . ., .,
1956.
[23]. . .(Magenes E., Stampacchia G.) I problemi al contorno per le
equazioni differenziali di tipo ellittico. Ann. Scuola Norm. Sup. Pisa, XII (1958),
247-358.

..
, .
E-mail: davlatov1968@mail.ru

14