Đa tạp quán tính xấp xỉ và ứng dụng

Mục lục
Lời cảm ơn 3
Lời nói đầu 4
1 Kiến thức chuẩn bị 6
1.1 Phát biểu bài toán biên ban đầu đối với hệ Navier-Stokes . . . . . 6
1.2 Các không gian hàm và các toán tử . . . . . . . . . . . . . . . . . . 6
1.2.1 Các không gian hàm. . . . . . . . . . . . . . . . . . . . . . . 6
1.2.2 Các toán tử . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.3 Một số kết quả về hệ phương trình Navier-Stokes . . . . . . . . . . 11
1.3.1 Sự tồn tại và duy nhất nghiệm . . . . . . . . . . . . . . . . 11
1.3.2 Sự tồn tại tập hút toàn cục . . . . . . . . . . . . . . . . . . 14
1.3.3 Tính ổn định của nghiệm dừng. . . . . . . . . . . . . . . . . 16
1.3.4 Đánh giá số chiều của tập hút toàn cục . . . . . . . . . . . 18
2 Đa tạp quán tính xấp xỉ đối với hệ phương trình Navier-Stokes
và ứng dụng 24
2.1 Đặt vấn đề . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
2.2 Đa tạp quán tính xấp xỉ H
m
. . . . . . . . . . . . . . . . . . . . . . 25
2.3 Đa tạp quán tính xấp xỉ M
0
. . . . . . . . . . . . . . . . . . . . . . 28
2.3.1 Phương trình của đa tạp . . . . . . . . . . . . . . . . . . . . 28
2.3.2 Các đánh giá về khoảng cách của quỹ đạo tới M
0
. . . . . 30
2.3.3 Ví dụ minh họa . . . . . . . . . . . . . . . . . . . . . . . . . 31
1
MỤC LỤC
Kết luận 33
Tài liệu tham khảo 34

2
Lời cảm ơn
Bản luận văn này được hoàn thành dưới sự hướng dẫn và chỉ bảo tận tình
của PGS. TS. Cung Thế Anh. Thầy đã dành nhiều thời gian hướng dẫn cũng
như giải đáp các thắc mắc của tôi trong suốt quá trình làm luận văn. Tôi muốn
bày tỏ lòng biết ơn sâu sắc đến người thầy của mình.
Qua đây, tôi xin gửi tới các thầy cô đang công tác tại Khoa Toán-Cơ-Tin học,
Trường Đại học Khoa học Tự nhiên, Đại học Quốc gia Hà Nội, cũng như các
thầy cô đã tham gia giảng dạy khóa Cao học 2011 - 2013 lời cảm ơn chân thành
đối với công lao dạy dỗ trong thời gian chúng tôi học tập tại trường.
Tôi cũng xin gửi lời cảm ơn chân thành tới gia đình, bạn bè, những người
đã luôn cổ vũ, động viên tôi trong suốt quá trình học tập cũng như làm luận văn.
Hà Nội, ngày 12 tháng 11 năm 2014
Học viên
Phạm Mạnh Hùng
3
Lời nói đầu
Các phương trình và hệ phương trình trong cơ học chất lỏng xuất hiện
khi mô tả chuyển động của các chất lỏng và khí như nước, không khí, dầu mỏ,
dưới những điều kiện tương đối tổng quát. Một trong những lớp hệ phương trình
cơ bản quan trọng trong cơ học chất lỏng, miêu tả dòng chảy của chất lỏng lí
tưởng, nhớt, không nén là hệ phương trình Navier-Stokes.
Hệ phương trình Navier-Stokes được xây dựng từ các định luật bảo toàn khối
lượng, động lượng và có dạng:



∂u
∂t
− ν∆u + (u · ∇)u + ∇p = f(x, t) x ∈ Ω, t > 0,

∇.u = 0 x ∈ Ω, t > 0,
(1)
ở đó, u = u(x, t); p = p(x, t) tương ứng là hàm vectơ vận tốc và hàm áp suất cần
tìm, hằng số ν > 0 là hệ số nhớt và f là ngoại lực.
Khi nghiên cứu các phương trình và hệ phương trình trong cơ học chất lỏng,
dáng điệu tiệm cận của nghiệm khi thời gian dần ra vô cùng là một trong các
nội dung quan trọng cần được nghiên cứu vì nó cho phép dự đoán xu hướng
phát triển của hệ trong tương lai, từ đó có những điều chỉnh thích hợp để đạt
được mục đích mong muốn.
Dáng điệu tiệm cận nghiệm thường được nghiên cứu bằng cách sử dụng lí
thuyết tập hút hoặc trong tình huống đơn giản hơn là nghiên cứu tính ổn định
của nghiệm dừng (xem [10]). Tuy nhiên, tập hút toàn cục thường có cấu trúc
hình học rất phức tạp và không ổn định đối với nhiễu; vì vậy nó không thật phù
hợp cho các vấn đề xấp xỉ số dáng điệu của nghiệm khi thời gian lớn. Bên cạnh
đó, lí thuyết đa tạp quán tính (là một đa tạp Lipschitz hữu hạn chiều, bất biến
và hút mũ các quỹ đạo) cũng là công cụ quan trọng để nghiên cứu dáng điệu
tiệm cận nghiệm của các phương trình đạo hàm riêng tiêu hao (xem[1, 3]). Đa
tạp quán tính, nếu tồn tại, sẽ chứa tập hút toàn cục và chứa đựng nhiều thông
tin về dáng điệu tiệm cận của hệ đang xét; nói riêng là có thể qui việc nghiên
cứu dáng điệu tiệm cận của hệ đang xét về nghiên cứu dáng điệu tiệm cận của
hệ rút gọn trên đa tạp quán tính, là hệ hữu hạn chiều. Tuy nhiên, các phương
4
Lời nói đầu
pháp kiến thiết đa tạp quán tính đã biết đều yêu cầu điều kiện kẽ hở phổ đủ
lớn, tức là khoảng cách giữa hai giá trị riêng liên tiếp phải đủ lớn. Mặc dù chỉ là
điều kiện đủ, nhưng đây là điều kiện rất ngặt và nhiều phương trình quan trọng
trong vật lí toán không thỏa mãn.
Cho đến nay, sự tồn tại đa tạp quán tính đối với hệ phương trình Navier-
Stokes hai chiều vẫn là câu hỏi mở. Tuy nhiên, dựa trên lí thuyết đa tạp quán
tính, Foias-Manley-Temam đã xây dựng đa tạp quán tính xấp xỉ M

0
cho hệ
phương trình Navier-Stokes hai chiều. Đa tạp quán tính này xấp xỉ tập hút
toàn cục tốt hơn so với sử dụng đa tạp quán tính xấp xỉ thông thường H
m
(là
đa tạp tuyến tính), nhận được bằng cách sử dụng phương pháp Galerkin cổ điển.
Luận văn này trình bày các kết quả về sự tồn tại đa tạp quán tính xấp xỉ M
0
đối với hệ phương trình Navier-Stokes hai chiều và ứng dụng trong vấn đề xấp
xỉ nghiệm. Nội dung chính của luận văn dựa trên các bài báo [2, 11] trong Danh
mục tài liệu tham khảo. Ngoài lời mở đầu, kết luận và tài liệu tham khảo, luận
văn được chia thành hai chương:
Chương 1: Kiến thức chuẩn bị.
Trong chương này, chúng tôi trình bày một số kết quả cơ bản về sự tồn tại
duy nhất nghiệm yếu và tập hút toàn cục đối với hệ phương trình Navier-Stokes.
Ta biết rằng sự tồn tại tập hút toàn cục với số chiều fractal hữu hạn là điều kiện
cần để tồn tại đa tạp quán tính.
Chương 2: Đa tạp quán tính xấp xỉ đối với hệ phương trình Navier-
Stokes và ứng dụng.
Trong chương này, trước hết dựa trên phương pháp Galerkin cổ điển, chúng
tôi trình bày dáng điệu của các dòng xoáy nhỏ của hệ phương trình Navier-
Stokes bằng cách sử dụng đa tạp quán tính xấp xỉ H
m
. Tiếp theo, chúng tôi
trình bày đa tạp quán tính xấp xỉ M
0
và đưa ra ước lượng về khoảng cách của
quỹ đạo đến đa tạp này. Cuối cùng chúng tôi trình bày một ví dụ minh họa cho
tính ưu việt của đa tạp M

0
so với đa tạp H
m
.
5
Chương 1
Kiến thức chuẩn bị
Trong chương này chúng tôi trình bày một số kết quả cổ điển về sự tồn tại duy
nhất nghiệm và dáng điệu tiệm cận nghiệm của hệ phương trình Navier-Stokes
hai chiều trong miền bị chặn. Các kết quả trong chương này dựa theo [9, 10].
1.1 Phát biểu bài toán biên ban đầu đối với hệ Navier-Stokes
Giả sử Ω là miền bị chặn trong R
2
với biên ∂Ω trơn. Xét bài toán biên ban
đầu đối với hệ phương trình Navier-Stokes hai chiều:













∂u
∂t

− ν∆u + (u · ∇)u + ∇p = f, x ∈ Ω, t > 0,
∇ · u = 0 x ∈ Ω, t > 0,
u(x, t) = 0 x ∈ ∂Ω, t > 0,
u(x, 0) = u
0
(x) x ∈ Ω,
(1.1)
trong đó u = (u
1
, u
2
)
T
là hàm vectơ vận tốc, p : Ω → R là hàm áp suất, hằng số
ν > 0 là hệ số nhớt.
1.2 Các không gian hàm và các toán tử
Trong mục này ta giới thiệu các không gian hàm và các toán tử thường dùng
khi nghiên cứu hệ phương trình Navier-Stokes.
1.2.1 Các không gian hàm.
Kí hiệu:
V = {u ∈ (C
∞
0
(Ω))
2
: ∇ · u = 0}.
6
Chương 1. Kiến thức chuẩn bị
Để nghiên cứu bài toán (1.1), ta xét các không gian hàm sau:
V = V

(H
1
0
(Ω))
2
= {u ∈ (H
1
0
(Ω))
2
: ∇ · u = 0} là bao đóng của V trong (H
1
0
(Ω))
2
,
H = V
(L
2
(Ω))
2
là bao đóng của V trong (L
2
(Ω))
2
.
Khi đó H và V là các không gian Hilbert với tích vô hướng lần lượt là:
(u, v) = (u, v)
H
=


Ω
u · vdx =

Ω
2

i=1
u
i
v
i
dx,
((u, v)) = (u, v)
V
=

Ω
2

i=1
∇u
i
· ∇v
i
dx =

Ω
2


i,j=1
∂u
i
∂x
j
∂v
i
∂x
j
dx,
trong đó u = (u
1
, u
2
)
T
, v = (v
1
, v
2
)
T
.
Gọi H
⊥
là phần bù trực giao của H trong (L
2
(Ω))
2
. Từ kết quả trong Temam

[8], ta có
H
⊥
= {u ∈ (L
2
(Ω))
2
: u = gradp, p ∈ H
1
(Ω)}.
Gọi V

là không gian đối ngẫu của V . Ta kí hiệu |.|, . lần lượt là chuẩn trong
H và trong V , .
∗
là chuẩn trong V

.
1.2.2 Các toán tử
∗ Toán tử A:
Giả sử A : V → V

là toán tử xác định bởi
Au, v = ((u, v)), ∀u, v ∈ V.
Kí hiệu D(A) là miền xác định của A, ta có:
D(A) = {u ∈ H : Au ∈ H} = (H
2
(Ω))
2
∩ V.

Dễ thấy A là toán tử tuyến tính không bị chặn, tự liên hợp, xác định dương
và có nghịch đảo A
−1
: H → D(A) compact vì phép nhúng H
1
0
(Ω) → L
2
(Ω) là
compact. Do đó, phổ của A gồm toàn giá trị riêng {λ
i
}
∞
i=1
với
0 < λ
1
≤ λ
2
≤ ≤ λ
n
≤ , λ
n
→ +∞ khi n → +∞,
và các hàm riêng tương ứng {w
j
}
∞
j=1
⊂ D(A) lập thành một cơ sở trực chuẩn

trong H.
Ta có:
|φ|
L
∞
(Ω)
2
≤ c
2
φ

1 + log
|Aφ|
2
λφ
2

1
2
, ∀φ ∈ D(A). (1.2)
7
Chương 1. Kiến thức chuẩn bị
∗ Toán tử B:
Đặt
b(u, v, w) =
2

i,j=1

Ω

u
i
∂v
j
∂x
i
w
j
dx.
Khi đó, b(., ., .) là một dạng 3-tuyến tính liên tục trên (H
1
0
(Ω))
2
, hay nói riêng
trên V .
Chứng minh.
|b(u, v, w)| =




Ω
2

i,j=1
u
i
∂v
j

∂x
i
w
j
dx



≤
2

i,j=1


Ω
|u
i
|
4
dx

1
4


Ω



∂v

j
∂x
i



|
2
dx

1
2


Ω
|w
j
|
4
dx

1
4
≤ Cu
L
4
v
H
1
0

w
L
4
≤ Cu
H
1
0
v
H
1
0
w
H
1
0
,
ở đó ta đã sử dụng phép nhúng H
1
(Ω) → L
4
(Ω).
Ngoài ra, ta có
b(u, v, w) = −b(u, w, v) ∀u, v, w ∈ V.
Nói riêng
b(u, v, v) = 0, ∀u, v ∈ V.
Bổ đề 1.2.1. (Bất đẳng thức Laydyzhenskaya khi n = 2). Với bất kì tập mở
Ω ⊂ R
2
, ta có:
ν

L
4
(Ω)
≤ 2
1
4
ν
1
2
L
2
(Ω)
∇ν
1
2
L
2
(Ω)
, ∀ν ∈ H
1
0
(Ω). (1.3)
Chứng minh. Vì C
∞
0
(Ω) trù mật trong H
1
0
(Ω) nên ta chỉ cần chứng minh (1.3)
đúng với mọi ν ∈ C

∞
0
(Ω). Với ν ∈ C
∞
0
(Ω), ta có
ν
2
(x) = 2
x
1

−∞
ν(ξ
1
, x
2
)
∂ν
∂x
1
(ξ
2
, x
2
)dξ
1
.
Suy ra ν
2

(x) ≤ 2ν
1
(x
2
), ở đây
ν
1
(x
2
) =
+∞

−∞
|ν(ξ
1
, x
2
)|



∂ν
∂x
1
(ξ
1
, x
2
)




dξ
1
.
Tương tự, ta cũng có ν
2
(x) ≤ 2ν
2
(x
1
), với
ν
2
(x
1
) =
+∞

−∞
|ν(x
1
, ξ
2
)|



∂ν
∂x

1
(x
1
, ξ
2
)



dξ
2
.
8
Chương 1. Kiến thức chuẩn bị
Từ đó suy ra

R
2
ν
4
(x)dx =

R
2
ν
1
(x
2
)ν
2

(x1)dx ≤ 4

+∞

−∞
ν
1
(x
2
)dx
2

+∞

−∞
ν
2
(x
1
)dx
1

≤ 4ν
2
L
2
(R
2
)




∂ν
∂x
1



2
L
2
(R
2
)



∂ν
∂x
2



2
L
2
(R
2
)
≤ 2ν

2
L
2
(R
2
)
· ∇ν
2
L
2
(R
2
)
.
Từ đây suy ra điều phải chứng minh.
Bổ đề 1.2.2. Ta có
|b(u, v, w)| ≤ 2
1
2
|u|
1
2
u
1
2
v|w|
1
2
w
1

2
, ∀u, v, w ∈ V.
Chứng minh. Ta có
|b(u, v, w)| =
2

i,j=1

Ω



u
i
∂v
j
∂x
i
w
j
dx



≤

2

i,j=1




∂v
j
∂x
i
|



2
L
2
dx

1
2

2

i=1
u
i

2
L
4
dx

1

2

2

j=1
w
j

2
L
4
dx

1
4
.
Mà
2

i=1
u
i

2
L
4
≤ 2
1
2
2


i=1
u
i

L
2
· ∇u
i

L
2
≤ 2
1
2
u · |u|,
nên suy ra
|b(u, v, w)| ≤ 2
1
2
|u|
1
2
u
1
2
v|w|
1
2
w

1
2
, ∀u, v, w ∈ V.
Chú ý. Vì b(u, v, w) = −b(u, w, v) nên
|b(u, v, w)| ≤ 2
1
2
|u|
1
2
u
1
2
w|v|
1
2
v
1
2
, ∀u, v, w ∈ V.
Nói riêng
|b(u, u, v)| ≤ 2
1
2
.|u| · u · v, ∀u, v ∈ V. (1.4)
Xét toán tử B : V × V → V

xác định bởi
B(u, v), w = b(u, v, w), ∀u, v, w ∈ V,
và đặt Bu = B(u, u). Ta có:

|(B(u, v), w)| ≤ c
2
|u|
1
2
u
1
2
v|w|
1
2
w
1
2
, (1.5)
9
Chương 1. Kiến thức chuẩn bị
|B(u, v)| ≤ c
3







uv

1 + log
|Au|

2
λ
1
u
2

1
2
,
uAu

1 + log
|A
3
2
v|
2
λ
1
Av
2

1
2
,
(1.6)
B(u, v) ≤ c
4

|u|

1
2
u
1
2
v
1
2
|Av|,
u|
1
2
|Au|
1
2
v.
(1.7)
Khi đó, bài toán (1.1) có thể phát biểu dưới một trong hai dạng sau đây:
Bài toán 1. Cho trước u
0
∈ H và f ∈ L
2
(0, T ; V

). Tìm hàm u ∈ L
2
(0, T ; V )
thỏa mãn




d
dt
(u, v) + ν((u, v)) + b(u, u, v) = f, v, với mọi v ∈ V và hầu khắp t ∈ (0, T ),
u(0) = u
0
.
Để viết lại Bài toán 1 dưới dạng phương trình toán tử, ta xét bổ đề sau.
Bổ đề 1.2.3. Giả sử u ∈ L
2
(0, T ; V ). Khi đó hàm Bu xác định bởi
Bu(t), v = b(u(t), u(t), v), ∀v ∈ V,
sẽ thuộc L
1
(0, T ; V

).
Chứng minh. Với hầu khắp t ∈ [0, T ], ta có Bu(t) ∈ V

và
|Bu(t), v| = |b(u(t), u(t), v)| ≤ Cu(t)
2
· v, ∀v ∈ V.
Suy ra Bw
V

≤ Cw
2
, ∀w ∈ V . Do đó
T


0
Bw(t)
V

dt ≤ C
T

0
w(t)
2
V
dt < +∞.
Vậy Bu ∈ L
1
(0, T ; V

).
Bài toán 2. Cho trước u
0
∈ H và f ∈ L
2
(0, T ; V

). Tìm hàm u ∈ L
2
(0, T ; V )
thỏa mãn:
u


∈ L
1
(0, T ; V

),
u

+ νAu + Bu = f trong V

với hầu khắp t ∈ (0, T ), (1.8)
u(0) = u
0
. (1.9)
Bài toán 1 và Bài toán 2 tương đương với nhau theo nghĩa nếu u là nghiệm
của bài toán này thì nó cũng là nghiệm của bài toán kia và ngược lại.
10
Chương 1. Kiến thức chuẩn bị
1.3 Một số kết quả về hệ phương trình Navier-Stokes
1.3.1 Sự tồn tại và duy nhất nghiệm
Định lí 1.3.1. Giả sử u
0
∈ H và f ∈ L
2
(0, T ; V

). Khi đó, Bài toán 1 có duy
nhất nghiệm u thỏa mãn:
u ∈ C([0, T ]; H) ∩ L
2
(0, T ; V ).

Chứng minh. Ta chứng minh sự tồn tại nghiệm bằng phương pháp xấp xỉ Galerkin.
Bước 1. Xây dựng dãy nghiệm xấp xỉ.
Giả sử {w
j
}
∞
j=1
là một cơ sở của V gồm toàn các vectơ riêng của toán tử A.
Với mỗi m ≥ 1, tìm nghiệm xấp xỉ dưới dạng
u
m
(t) =
m

i=1
g
im
(t)w
i
,
trong đó g
im
thỏa mãn




du
m
(t)

dt
, w
j

+ ν(u
m
(t), w
j
) + b(u
m
(t), u
m
(t), w
j
) = f(t), w
j
, j = 1, , m,
u
m
(0) = u
0m
.
(1.10)
ở đây u
0m
= P
m
u
0
, với P

m
là phép chiếu của H xuống span{w
1
, , w
m
}, không
gian con sinh bởi m vectơ riêng đầu tiên. Từ lí thuyết phương trình vi phân
thường suy ra nghiệm xấp xỉ u
m
(t) tồn tại và xác định trên khoảng [0, T].
Bước 2. Xây dựng các ước lượng tiên nghiệm đối với {u
m
}.
Nhân hai vế của (1.10) với g
im
(t), sau đó lấy tổng theo j từ 1 đến m ta được
(u
m
(t), u
m
(t)) + νu
m
(t)
2
= f(t), u
m
(t).
Từ đây, sử dụng bất đẳng thức Cauchy, ta suy ra
d
dt

|u
m
(t)|
2
+ 2νu
m
(t)
2
≤ 2f(t)
∗
u
m
(t) ≤ νu
m
(t)
2
+
1
ν
f(t)
2
∗
.
Do đó
d
dt
|u
m
(t)|
2

+ νu
m
(t)
2
≤
1
ν
f(t)
2
∗
.
Lấy tích phân bất đẳng thức này từ 0 đến t, 0 ≤ t ≤ T, ta được
|u
m
(t)|
2
+ ν
t

0
u
m
(s)
2
ds ≤ |u
om
|
2
+
1

ν
t

0
f(s)
2
∗
ds ≤ |u
o
|
2
+
1
ν
T

0
f(t)
2
∗
dt.
Từ đây suy ra
{u
m
} bị chặn trong L
∞
(0, T ; H),
11
Chương 1. Kiến thức chuẩn bị
{u

m
} bị chặn trong L
2
(0, T ; V ).
Dễ thấy
{Au
m
} bị chặn trong L
∞
(0, T ; V

),
{Bu
m
} bị chặn trong L
2
(0, T ; V

).
Vì
du
m
dt
= νAu
m
− P
m
Bu
m
+ P

m
f nên suy ra

du
m
dt

bị chặn trong L
2
(0, T ; V

).
Bước 3. Chuyển qua giới hạn.
Từ các ước lượng tiên nghiệm ở Bước 2, ta có thể giả sử
u
m
 u trong L
2
(0, T ; V );
Au
m
 Au trong L
2
(0, T ; V

);
du
m
dt


du
dt
trong L
2
(0, T ; V

).
Bây giờ ta cần chứng minh Bu
m
 Bu trong L
2
(0, T ; V

). Áp dụng Bổ đề Aubin-
Lions, ta nhận được một dãy con của {u
m
} mà ta vẫn kí hiệu là {u
m
} thỏa
mãn
u
m
→ u trong L
2
(0, T ; H).
Ta chứng minh kêt quả sau.
Bổ đề 1.3.1. Giả sử u
m
 u trong L
2

(0, T ; V ) và u
m
→ u trong L
2
(0, T ; H). Khi
đó với mọi w ∈ C
1
(Q
T
) ta có
T

0
b(u
m
(t), u
m
(t), w(t))dt →
T

0
b(u(t), u(t), w(t))dt.
Chứng minh. Ta có:
T

0
b(u
m
(t), u
m

(t), w(t))dt = −
T

0
b(u
m
, w, u
m
)dt = −
2

i,j=1
T

0

Ω
(u
m
)
i
dw
j
dx
i
(u
m
)
j
dxdt.

Do đó
T

0
b(u
m
, u
m
, w)dt −
T

0
b(u, u, w)dt =
=
2

i,j=1
T

0

Ω

(u
m
i
− u
i
)
∂w

j
∂x
i
u
j
+ u
m
i
∂w
j
∂x
i
(u
m
j
− u
j
)

dxdt.
12
Chương 1. Kiến thức chuẩn bị
Bởi vậy ta chỉ cần xét biểu thức dạng
E
m
=
T

0


Ω
(ν
m
− ν)wν
m
dxdt,
ở đó ν
m
→ ν trong L
2
(0, T ; H), w ∈ L
2
(0, T ; H) và ν
m
bị chặn đều trong L
∞
(0, T ; H).
Do
wν
m

L
2
(0,T ;H)
≤ w
L
2
(0,T ;H)
ν
m


L
∞
(0,T ;H)
nên E
m
→ 0. Từ đó suy ra bổ đề được chứng minh.
Từ các kết quả trên suy ra tồn tại hàm u ∈ L
2
(0, T ; V )∩L
∞
(0, T ; H) thỏa mãn:
du
dt
+ νAu + Bu = f trong L
2
(0, T ; V

),
hay
du
dt
(t) + νAu(t) + Bu(t) = f(t) trong V

với hầu khắp t ∈ [0, T ].
Để chứng minh u(0) = u
0
, ta chọn hàm thử ϕ ∈ C
1
([0, T ]; V ) với ϕ(T ) = 0, và

lấy tích vô hướng của phương trình trên với ϕ, sau đó tích phân từng phần ta
được:
−
T

0
(u(t), ϕ

(t))dt + ν
T

0
(u(t), ϕ(t))dt +
T

0
b(u(t), u(t), ϕ(t))dt
= (u(0), ϕ(0)) +
T

0
f(t), ϕ(t))dt.
Mặt khác, làm tương tự với nghiệm xấp xỉ Galerkin u
m
ta được
−
T

0
(u

m
(t), ϕ

(t))dt + ν
T

0
(u
m
(t), ϕ(t))dt +
T

0
b(u
m
(t), u
m
(t), ϕ(t))dt
= (u
m
(0), ϕ(0)) +
T

0
f(t), ϕ(t))dt.
Chuyển qua giới hạn khi m → ∞ ta được
−
T

0

(u(t), ϕ

(t))dt + ν
T

0
(u(t), ϕ(t))dt +
T

0
b(u(t), u(t), ϕ(t))dt
= (u
0
, ϕ(0)) +
T

0
f(t), ϕ(t))dt.
13
Chương 1. Kiến thức chuẩn bị
Từ đó suy ra (u(0), ϕ(0)) = (u
0
, ϕ(0)) với mọi ϕ, và do đó u(0) = u
0
.
Bước 4. Tính duy nhất và sự phụ thuộc liên tục của nghiệm vào
điều kiện ban đầu.
Giả sử u
1
, u

2
là hai nghiệm của bài toán đã cho với dữ kiện ban đầu lần lượt
là u
01
, u
02
. Đặt u = u
1
− u
2
, ta có

u

+ νAu = −Bu
1
+ Bu
2
u(0) = u
01
− u
02
.
Nhân hai vế phương trình này với u ta được
d
dt
|u(t)|
2
+ 2νu(t)
2

= −2b(u
2
(t), u
2
(t), u(t)) − 2b(u
1
(t), u
1
(t), u(t))
= −2b(u(t), u
2
(t), u(t)).
Sử dụng Bổ đề 1.2.2, ta có
d
dt
|u(t)|
2
+ 2νu(t)
2
≤ 2
1
2
|u(t)|u(t)u
2
(t)
≤ 2νu(t)
2
+
1
ν

|u(t)|
2
u
2
(t)
2
.
Do đó
d
dt
|u(t)|
2
≤
1
ν
|u(t)|
2
u
2
(t)
2
.
Suy ra
|u(t)|
2
≤ |u(0)|
2
exp

T


0
1
ν
u
2
(s)
2
ds

.
Từ đây suy ra điều phải chứng minh.
1.3.2 Sự tồn tại tập hút toàn cục
Khái niệm tập hút toàn cục: Tập A ⊂ X, A = Φ gọi là tập hút toàn cục
đối với hệ động lực (X, S(t)) nếu:
1. A đóng và bị chặn
2. A bất biến, tức là, S(t).A = A, ∀t > 0
3. A hút mọi tập bị chặn B của X, tức là, lim
t→+∞
dist(S(t).B, A) = 0 với dist(E, F) =
sup
a∈E
inf
b∈F
d(a, b) là nửa khoảng cách Hausdoff giữa hai tập con E, F của X.
Một số ính chất của tập hút toàn cục A:
14
Chương 1. Kiến thức chuẩn bị
1. Tính cực đại: Nếu B ⊂ X bị chặn và bất biến thì B ⊂ A
2. Tính cực tiểu: Nếu B ⊂ X dóng hút các tập bị chặn của X thì A ⊂ B

3. A là duy nhất
Giả thiết ngoại lực f ∈ H không phụ thuộc vào thời gian t. Từ Định lí 1.3.1, ta
có thể xây dựng nửa nhóm S(t) : H → H liên kết với bài toán (1.1) bằng cách
đặt
S(t)u
0
= u(t),
ở đó u(t) là nghiệm yếu của bài toàn (1.1) với dữ kiện ban đầu u
0
. Ta sẽ chứng
minh hệ động lực (H, S(t)) có một tập hút toàn cục compact A trong H.
a) Tập hấp thụ trong H
Nhân hai vế của phương trình đầu tiên ở (1.1) với u, ta được
1
2
d
dt
|u|
2
+ νu
2
= (f, u).
Sử dụng bất đẳng thức Cauchy ta có:
d
dt
|u|
2
+ 2νu
2
≤ νλ

1
|u|
2
+
1
νλ
1
|f|
2
, (1.11)
hay
d
dt
|u|
2
+ νλ
1
|u|
2
≤
1
νλ
1
|f|
2
.
Áp dụng bất đẳng thức Gronwall ta được
|u(t)|
2
≤ |u

0
|
2
e
−νλ
1
t
+
1
ν
2
λ
2
1
|f|
2
.
Đặt |R
2
H
| =
1
ν
2
λ
2
1
|f|
2
. Suy ra hình cầu B

H
(0, R
H
) là tập hấp thụ trong H của hệ
động lực (H, S(t)).
b) Tập hấp thụ trong V
Nhân hai vế của phương trình đầu tiên ở (1.1) với Au, ta được
d
dt
u
2
+ ν|Au|
2
+ b(u, u, Au) = (f, Au).
Chú ý rằng
|b(u, u, Au)| ≤ C|u|
1
2
u|Au|
1
2
≤
ν
4
|Au|
2
+
C

ν

3
|u|
2
.u
4
,
và
|(f, Au)| ≤
ν
4
|Au|
2
+
1
ν
|f|
2
,
15
Chương 1. Kiến thức chuẩn bị
ta có
d
dt
u
2
+ νλ
1
u
2
≤

2
ν
|f|
2
+
2C

ν
3
|u|
2
.u
4
. (1.12)
Mặt khác lấy tích phân từ t đến t + 1 bất đẳng thức (1.11) ta được
|u(t + 1)|
2
+ ν
t+1

t
u(s)ds ≤
1
νλ
1
|f|
2
+ |u(t)|
2
≤

1
νλ
1
|f|
2
+ R
2
H
, ∀t ≥ T + 1.
Nói riêng ta có
ν
t+1

t
u(s)ds ≤
1
νλ
1
|f|
2
+ R
2
H
.
Từ (1.12), áp dụng bất đẳng thức Gronwall đều với y(t) = u(t)
2
,
a(t) =
2C


ν
3
|u(t)|
2
.u(t)
4
, b(t) =
2
ν
|f|
2
, ta được
u(t)
2
≤ R
2
V
, ∀t ≥ T + 1.
Từ đây suy ra hình cầu B
V
(0, R
V
) là tập hấp thụ bị chặn trong V của hệ động
lực (H, S(t)).
Vì phép nhúng V → H là compact và không gian pha H là liên thông, ta có
ngay kết quả sau.
Định lí 1.3.2. Hệ động lực (H, S(t)) sinh bởi bài toán (1.1) có tập hút toàn cục
compact liên thông A trong H.
1.3.3 Tính ổn định của nghiệm dừng.
Số Grashoff suy rộng

G =
|f|
ν
2
λ
1
.
đóng vai trò quan trọng trong việc khảo sát cấu trúc của tập hút toàn cục A.
Giả sử c
0
là hằng số tốt nhất trong bất đẳng thức Ladyzhenskaya (ta biết
rằng c
0
≤ 2
1
2
):
u
L
4
≤ c
0
u
1
2
L
2
∇u
1
2

L
2
, ∀u ∈ H
1
0
(Ω).
Định lí 1.3.3. Giả sử rằng
G <
1
c
2
0
, (1.13)
ở đó c
0
là hằng số tốt nhất trong bất đẳng thức Ladyzhenskaya. Khi đó, bài toán
(1.1) có duy nhất nghiệm dừng u
∗
∈ V và nghiệm dừng này ổn định mũ toàn
cục, tức là khi đó tập hút toàn cục A có cấu trúc rất đơn giản:
A = {u
∗
}.
16
Chương 1. Kiến thức chuẩn bị
Chứng minh. Giả sử {w
1
, w
2
, } là cơ sở gồm toàn các vectơ riêng của toán tử

A. Không gian con sinh bởi w
1
, , w
m
kí hiệu bởi V
m
.
Tìm nghiệm xấp xỉ u
m
của bài toán dừng u
m
dưới dạng
u
m
=
m

i=1
γ
im
w
i
,
ở đó
ν((u
m
, v)) + b(u
m
, u
m

, v) = f, v, ∀v ∈ V
m
(1.14)
Để chứng minh sự tồn tại của u
m
, xét toán tử R
m
: V
m
→ V
m
cho bởi
((R
m
, v)) = Au, v + b(u, u, v) − f, v, ∀u, ν ∈ V
m
.
Với mọi u ∈ V
m
, ta có
((R
m
, u)) = νu
2
+ b(u, u, u) − f, u ≥ νu
2
−
1
λ
1

2
1
|f| · u.
Bởi vậy nếu ta lấy
β =
|f|
νλ
1
2
1
,
ta có ((R
m
u, u)) ≥ 0, ∀u ∈ V
m
thỏa mãn u = β. Do đó từ hệ quả của định lí điểm
bất động Brouwer ta có với mỗi m ≥ 1, tồn tại u
m
∈ V
m
thỏa mãn R
m
(u
m
) = 0.
Lấy v = u
m
trong (1.14) ta có
u
m

 ≤
|f|
νλ
1
2
1
.
Từ đó ta có thể trích ra một dãy con u
m
 u
∗
trong V . Vì phép nhúng V → H
là compact, ta có thể coi u
m
→ u
∗
trong H. Từ đây có thể chứng minh được u
∗
là một nghiệm dừng của bài toán (1.1) và
u
∗
 ≤
|f|
νλ
1
2
1
. (1.15)
Bây giờ ta chứng minh tính duy nhất và tính ổn định của nghiệm dừng u
∗

.
Chú ý rằng mỗi nghiệm u(t) của (1.1) đều có thể viết dưới dạng u(t) = u
∗
+ v(t),
ở đó v(t) thỏa mãn
∂
t
v + 2νv
2
+ B(v, v) + B(v, u
∗
) + B(u
∗
, v) = 0.
Nhân cả hai vế của phương trình này với v, ta được
d
dt
|v|
2
+ 2νv
2
= 2b(v, v, u
∗
) ≤ 2c
2
0
|v|vu
∗
 ≤ 2c
2

0
λ
−
1
2
1
v
2
u
∗

2
≤ 2c
2
0
λ
−1
1
|f|v
2
.
17
Chương 1. Kiến thức chuẩn bị
Từ đây
d
dt
|v|
2
+ 2(ν − c
2

0
λ
−1
1
ν
−1
|f|)v
2
≤ 0,
và do đó
d
dt
|v|
2
+ α|v|
2
≤ 0,
ở đó α = 2(ν − c
2
0
λ
−1
1
ν
−1
|f|)λ
−1
1
> 0. Do
|f|

ν
2
λ
1
= G <
1
c
2
0
,
ta suy ra
|v(t)|
2
= |u(t) − u
∗
| ≤ |u(0) − u
∗
|
2
e
−αt
.
Định lí được chứng minh.
1.3.4 Đánh giá số chiều của tập hút toàn cục
Khái niệm số chiều fractal: Cho tập M compact trong không gian metric
X, số chiều fractal của M là:
d
F
M = lim
ε→0

log
2
n(M, ε)
log
2
(1/ε)
= lim
ε→0
ln n(M, ε)
ln(1/ε)
vơi n(M, ε) là số tối thiểu các hình cầu đóng bán kính ε dùng để phủ M. H
ε
(M) =
log
2
n(M, ε) gọi là Kolgomorov ε - entropy của M.
Từ Định lí 1.3.2, ta biết rằng nửa nhóm S(t) sinh bởi hệ phương trình Navier-
Stokes (1.1) có một tập hút toàn cục A và A là tập bị chặn trong V và compact
trong H. Dưới đây ta đánh giá số chiều fractal của A.
Định lí 1.3.4. Số chiều fractal của A thỏa mãn
d
F
A ≤ c
|f||Ω|
ν
2
, (1.16)
ở đó c là hằng số chỉ phụ thuộc vào hình dạng của miền Ω (tức là, c(λΩ) =
c(Ω), ∀λ > 0).
Hệ quả 1.3.1. Giả sử f ∈ H. Khi đó

d
F
A ≤
1
π
|f||Ω|
ν
2
.
Chú ý rằng ước lượng này chỉ chứa các tham số vật lí của hệ (1.1).
Chứng minh. Đầu tiên ta chứng minh nửa nhóm S(t) là tựa khả vi đều trên A
trong H.
18
Chương 1. Kiến thức chuẩn bị
Bổ đề 1.3.2. Các nghiệm của hệ phương trình Navier-Stokes hai chiều thỏa
mãn
sup
u,v∈A,0<|u−v|<
|S(t)v − S(t)u − Λ(t, u)(v − u)|
|v − u|
→ 0 khi  → 0
và
sup
u∈A
Λ(t, u)
op
< ∞ ∀t ≥ 0,
ở đây Λ(t, u
0
)ξ là nghiệm của phương trình

dU
dt
+ νAU + B(u, U) + B(U, u) = 0, U(0) = ξ. (1.17)
Hơn nữa, Λ(t; u
0
) là compact với mỗi t > 0.
Chứng minh. Giả sử u(t) và v(t) là hai nghiệm của phương trình
du
dt
+ νAu + B(u, u) = 0,
với điều kiện ban đầu tương ứng là u
0
và v
0
∈ A. Ta xét nghiệm U(t) của (1.17)
với U(0) = v
0
− u
0
. Khi đó, ta có với θ = v − u − U,
dθ
dt
+ νAθ + B(u, θ) + B(u − v, u − v) = 0.
Đặt w = u − v và lấy tích vô hướng với θ, ta có
1
2
d
dt
|θ|
2

+ νθ
2
= −b(θ, u, θ) − b(u, w, θ).
Sử dụng (1.4) ta có
1
2
d
dt
|θ|
2
+ νθ
2
≤ k|θ|θu + k|w|wθ.
Bởi vì tập hút bị chặn trong V ta có u ≤ ρ
V
. Sử dụng bất đẳng thức Young
cho hai số hạng ở vế phải ta có
1
2
d
dt
|θ|
2
+ νθ
2
≤ c|θ|
2
+ c|w|
2
w

2
.
Bỏ số hạng chứa θ và sử dụng bất đẳng thức Gronwall với lưu ý θ(0) = 0, ta
có
|θ(t)|
2
≤ k
t

o
|w(s)|
2
w(s)
2
ds. (1.18)
Trong phần chứng minh tính duy nhất nghiệm ở Định lí 1.3.1, ta đã có
d
dt
|w|
2
+ νw
2
≤
k
2
ν
u
2
· |w|
2

, (1.19)
19
Chương 1. Kiến thức chuẩn bị
và từ đó ta có
|w(t)|
2
≤ exp

t

0
k
2
ν
u(s)
2
ds

|w(0)|
2
.
Do u
2
≤ ρ
V
, ta có
|w(t)|
2
≤ e
kt

|w
0
|
2
với k > 0 nào đó.
Nhân cả hai vế của (1.19) với |w(t)|
2
và lấy tích phân từ 0 đến t ta có
ν
t

o
|w(s)|
2
w(s)
2
ds ≤
k
2
ν
ρ
2
V
t

o
|w(s)|
4
ds +
1

2
|w
0
|
4
.
Từ đây suy ra
ν
t

o
|w(s)|
2
w(s)
2
ds ≤ Ce
kt
|w
0
|
4
.
Thế đánh giá này vào (1.18) ta có:
|θ(t)| ≤ C(t)|u
0
− v
0
|,
và do đó
|v(t) − u(t) − U(t)|

|v
0
− u
0
|
≤ C|v
0
− u
0
| khi v
0
→ u
0
.
Điều này chứng minh tính tựa khả vi của S(t). Suy ra tựa vi phân của S(t) là
toán tử
A(t, u
0
)ξ = v(t), ξ ∈ H, ở đó v(t) là nghiệm của phương trình

∂
t
v = −νAv − B(u(t), v) − B(v, u(t)) = A
u
(u(t))v,
v|
t=0
= ξ.
Bây giờ ta ước lượng j-vết của A
u

(u(t)). Chú ý rằng với mọi v ∈ V , ta có
(A
u
(u(t))v, v) = νv
2
− (B(v, u(t)), v), (1.20)
ở đó ta đã sử dụng tính chất (B(u, v), v) = 0, ∀u, v ∈ V .
Giả sử Q
j
là phép chiếu trực giao lên không gian Q
j
H với cơ sở trực chuẩn
ϕ
1
, , ϕ
j
∈ V . Bởi (1.20), ta có
T r

A
u
(u(t))Q
j

=
j

i=1
(A
u

(u(t))ϕ
i
, ϕ
i
) = −ν
j

i=1
|∇ϕ
i
|
2
−
j

i=1
B(ϕ
i
, u(t)), ϕ
i

20
Chương 1. Kiến thức chuẩn bị
= −ν
j

i=1
|∇ϕ
i
|

2
−

Ω
j

i=1
2

k,l=1
ϕ
k
i
∂
k
uu

(t)ϕ

i
dx
≤ −ν
j

i=1
|∇ϕ
i
|
2
+


Ω
ρ(x)|∇u(t)|dx ≤ −ν
j

i=1
|∇ϕ
i
|
2
+ |ρ||∇u(t)|.
ở đó
ρ(x) =
j

i=1
|ϕ
i
(x)|
2
. (1.21)
Do các hàm thuộc V nên triệt tiêu trên ∂Ω, ta có thể mở rộng hàm này lên R
2
bằng cách đặt bằng 0 bên ngoài Ω. Khi đó ta nhận được các hàm ϕ
i
(x), x ∈ R
2
,
thuộc không gian (H
1

(R
2
))
2
và trực chuẩn trong (L
2
(R
2
))
2
. Bổ đề sau đây của
Lieb và Thirring đóng vai trò thiết yếu.
Bổ đề 1.3.3. (Bất đẳng thức Lieb-Thirring). Giả sử ϕ
1
, , ϕ
j
∈ (H
1
(R
n
))
m
là
một họ các vectơ trực chuẩn trong (L
2
(R
n
))
m
. Khi đó với ρ(x) =

j

i=1
|ϕ
i
(x)|
2
, bất
đẳng thức sau đây thỏa mãn:

R
n
(ρ(x))
1+
2
n
dx ≤ C
m,n
j

i=1

R
n
|∇ϕ
i
|
2
dx, (1.22)
ở đó C

m,n
chỉ phụ thuộc vào m và n.
Bởi nguyên lí biến phân:
j

i=1
|∇ϕ
i
|
2
≥ λ
1
+ λ
2
+ + λ
j
, (1.23)
ở đó λ
1
, λ
2
, là các giá trị riêng của toán tử A. Do λ
i
≥ c
0
|Ω|
−1
i, ta có
λ
1

+ λ
2
+ + λ
j
≥ c
2
j
2
|Ω|
, λ
1
≥
j
2
|Ω|
, (1.24)
ở đó c
0
, c
1
và c
2
là những hằng số chỉ phụ thuộc vào hình dạng của Ω (xem [?]).
Sử dụng (1.22) - (1.24), từ (1.21) ta có:
Tr

A
u
(u(t))Q
j


≤ −ν
j

i=1
|∇ϕ
i
|
2
+ 2

j

i=1
|∇ϕ
i
|
2

1
2
|∇u(t)|
2
≤ −
1
2
j

i=1
|∇ϕ

i
|
2
+
1
ν
|∇u(t)|
2
≤ −
νc
2
j
2
2|Ω|
+
1
ν
|∇u(t)|
2
.
21
Chương 1. Kiến thức chuẩn bị
Từ đó
Tr

A
u
(u(t))Q
j


≤ −
νc
2
j
2
2|Ω|
+
1
ν
|∇u(t)|
2
.
Khi đó sử dụng ước lượng
t

0
u(s)ds ≤
|u(0)|
2
ν
+
|f|
2
ν
2
λ
1
t,
ta có
q

j
= lim sup
t→∞
sup
u
0
∈A
1
ν
t

0
Tr
j

A
u
(u(s))

ds ≤ −
νc
2
j
2
2|Ω|
+ lim
t→0
1
ν
2

t
sup
u
0
∈A
|u
0
|
2
+
|f|
2
ν
3
λ
1
.
Chú ý rằng sup
u
0
∈A
|u
0
|
2
≤ c
3
, do đó
q
j

≤ −
νc
2
j
2
2|Ω|
+
|f|
2
ν
3
λ
1
≤ −
νc
2
j
2
2|Ω|
+
|f|
2
|Ω|
ν
3
c
1
= ϕ(j).
Khi đó nghiệm của phương trình ϕ(d) = 0 là
d

∗
=

2
c
1
c
2
|f||Ω|
ν
2
.
Do đó ước lượng (1.16) suy ra từ chú ý sau Định lí 1.3.5 dưới đây, với c =

2
c
1
c
2
.
Chú ý rằng Ilyin chứng minh trong [5] rằng c
1
≥ 2π, c
2
≥ π (và do đó, c
0
≥
c
2
≥ π), với mọi miền Ω có độ đo hữu hạn. Do đó c ≤

1
π
và bởi vậy ta có Hệ quả
1.3.1.
Bây giờ ta phát biểu định lí tổng quát về đánh giá số chiều fractal của tập
compact bất biến mà ta đã sử dụng ở trong chứng minh trên.
Định lí 1.3.5. [10] Giả sử rằng nửa nhóm S(t) trên không gian Hilbert E có
một tập compact bất biến X và là tựa khả vi đều trên X. Giả sử các bất đẳng
thức sau được thỏa mãn
q
j
≤ q
j
, j = 1, 2,
ở đó các số
q
j
:= lim sup
t→+∞
sup
u
0
∈X
1
T
T

0
Tr
j

A
u
(u(t))dt, j = 1, 2, với u(t) = S(t)u
0
.
Ta giả sử rằng các hàm q
j
lõm đối với j. Giả sử m là số nguyên nhỏ nhất sao
cho q
m+1
< 0 và q
m
≥ 0. Khi đó tập tập hợp X có số chiều fractal hữu hạn và
d
F
(X) ≤ d := m +
q
m
q
m
− q
m+1
. (1.25)
22
Chương 1. Kiến thức chuẩn bị
Chú ý. Trong các áp dụng, các số q
j
thường có dạng q
j
= ϕ(j), ở đó ϕ = ϕ(x), x ≥

0, là một hàm lõm trơn. Xét nghiệm d
∗
của nó: ϕ(d
∗
) = 0. Rõ ràng rằng d ≤ d
∗
vì ϕ là hàm lõm. Khi d lớn thì d
∗
rất rất gần với d. Trong một số trường hợp,
d
∗
được biểu diễn đơn giản hơn d. Bởi vậy người ta thường dùng d
∗
thay cho d
như là một cận trên trong (1.25) của số chiều fractal của tập hút. Chẳng hạn,
nếu ϕ(x) = −αx
1+δ
+ βx, ở đó α, β, δ > 0, thì d
∗
=

β
α

1
δ
. Thường thì α nhỏ và β
lớn. Do đó ước lượng (1.25) có dạng
d
F

(X) ≤ d ≤

β
α

1
δ
.
23
Chương 2
Đa tạp quán tính xấp xỉ đối với hệ
phương trình Navier-Stokes và ứng
dụng
2.1 Đặt vấn đề
Kí hiệu P = P
m
là phép chiếu trực giao của H lên H
m
= span{w
1
, , w
m
},
không gian con sinh bởi m vectơ riêng đầu tiên của toán tử Stokes A, và
Q = Q
m
= I − P
m
; p = P u, q = Qu.
Khi đó phương trình (1.8) tương đương với

dp
dt
+ νAp + P B(p + q, p + q) = P f, (2.1)
dq
dt
+ νAq + PB(p + q, p + q) = Qf. (2.2)
Đa tạp quán tính của phương trình (1.8) là tập con M ⊂ H có các tính chất
sau:
(i) M là đa tạp Lipschitz hữu hạn chiều;
(ii) M bất biến dương (tức là, nếu u
0
∈ M thì nghiệm của (1.8) - (1.9) là
u(t) ∈ M, ∀t > 0);
(iii) M hút mũ mọi quỹ đạo (tức là, với mọi nghiệm u(t) của (1.8), khoảng cách
dist(u(t), M) → 0 theo tốc độ mũ).
Từ (iii) ta thấy rằng đa tạp quán tính M, nếu tồn tại, sẽ chứa tập hút toàn
cục A.
24
Chương 2. Đa tạp quán tính xấp xỉ đối với hệ phương trình Navier-Stokes và ứng dụng
Nếu thêm vào đó ta yêu cầu M là đồ thị của một hàm Lipschitz Φ : H
m
→
Q
m
M thì điều kiện bất biến dương (ii) tương đương với phát biểu rằng với mọi
nghiệm p(t) và q(t) của (2.1) - (2.2) với q(0) = Φ(p(0)), ta có
q(t) = Φ(p(t)), ∀t > 0.
Từ đây, nếu hàm Φ như vậy tồn tại, rút gọn của hệ (2.1) - (2.2) trên M sẽ tương
đương với hệ phương trình vi phân thường sau đây mà ta gọi là dạng quán tính:
dp

dt
+ νAp + P B(p + Φ(p), p + Φ(p)) = P f, p ∈ H
m
. (2.3)
Như vậy, ta có thể qui việc nghiên cứu hệ động lực đang xét, là một hệ động lực
vô hạn chiều, về nghiên cứu một hệ động lực hữu hạn chiều trên đa tạp quán
tính M.
Tuy nhiên, ngay cả khi hàm Φ như vậy tồn tại, chúng ta cũng rất khó để có
được biểu thức giải tích tường minh của Φ. Thay vào đó, người ta cố gắng xấp
xỉ Φ bằng những hàm hiện đơn giản, và sử dụng những hàm này để xây dựng
những lược đồ xấp xỉ số mới.
Hơn nữa sự tồn tại đa tạp quán tính đối với hệ phương trình Navier-Stokes
cho đến nay vẫn còn là vấn đề mở. Vì vậy, người ta cố gắng xấp xỉ tập hút toàn
cục bởi những đa tạp trơn mà ta gọi là các đa tạp quán tính xấp xỉ và những đa
tạp xấp xỉ này cho phép ta đưa ra những xấp xỉ Galerkin cải biên, tốt hơn xấp
xỉ Galerkin cổ điển.
Điều kiện dủ của đa tạp quán tính là kẽ hở phổ phải đủ lớn, tức là
λ
m+1
− λ
m
 C(λ
α
m+1
+ λ
α
m
) với α ∈ (0; 1)
nhưng điều kiện đủ này cũng rất khó kiểm tra ngay cả đối với phương trình
Navier - Stokes hai chiều, chẳng hạn khi α =

1
2
thì
λ
m
∼ C.m khim → ∞
nên λ
m+1
− λ
m
tương đương với một hằng số vì vậy rất khó đánh giá.
2.2 Đa tạp quán tính xấp xỉ H
m
Kí hiệu P = P
m
là phép chiếu chính tắc từ không gian H vào không gian H
m
sinh bởi m vectơ riêng đầu tiên w
1
, , w
m
của toán tử A; ta đặt
Q = Q
m
= I − P
m
,
λ = λ
m
, Λ = λ

m+1
.
25