VỀ TÍNH CHẤT NGHIỆM CỦA PHƯƠNG TRÌNH TIẾN HÓA VÀ ỨNG DỤNG

ĐẠI HỌC QUỐC GIA HÀ NỘI
TRƯỜNG ĐẠI HỌC KHOA HỌC TỰ NHIÊN
- - - - - - - - - o0o - - - - - - - - -

PHẠM NHƯ THÀNH

VỀ TÍNH CHẤT NGHIỆM CỦA
PHƯƠNG TRÌNH TIẾN HÓA VÀ ỨNG DỤNG

LUẬN VĂN THẠC SĨ KHOA HỌC

Hà Nội - 2015


ĐẠI HỌC QUỐC GIA HÀ NỘI
TRƯỜNG ĐẠI HỌC KHOA HỌC TỰ NHIÊN
- - - - - - - - - o0o - - - - - - - - -

PHẠM NHƯ THÀNH

VỀ TÍNH CHẤT NGHIỆM CỦA
PHƯƠNG TRÌNH TIẾN HÓA VÀ ỨNG DỤNG

Chuyên ngành: TOÁN GIẢI TÍCH
Mã số:

60460102

LUẬN VĂN THẠC SĨ KHOA HỌC

NGƯỜI HƯỚNG DẪN KHOA HỌC:

PGS.TS. ĐẶNG ĐÌNH CHÂU
Hà Nội - 2015


Mở Đầu
Trong thời gian gần đây do yêu cầu đòi hỏi từ các mô hình ứng dụng, lý
thuyết định tính của các phương trình vi phân trong không gian Banach được
phát triển mạnh mẽ. Các kết quả nhận được về tính ổn định của phương trình
vi phân trong không gian Banach có thể ứng dụng cho việc nghiên cứu tính chất
nghiệm của phương trình vi phân hàm. Đồng thời sử dụng trong việc nghiên
cứu của các mô hình ứng dụng như: mô hình quần thể sinh học, mạng nơron
thần kinh, trong vật lý và cơ học. Một trong những vấn đề đầu tiên được nhiều
người quan tâm, nghiên cứu là áp dụng phương pháp nửa nhóm cho các phương
trình tiến hóa trừu tượng, từ đó ứng dụng vào mô hình dân số.
Mục đích chính của luận văn là cố gắng tìm hiểu phương pháp nửa nhóm
trong các không gian hàm và lý thuyết nhiễu của nửa nhóm vào việc nghiên cứu
tính chất nghiệm của phương trình vi phân có nhiễu trong không gian Banach,
từ đó đưa ra ứng dụng vào mô hình dân số.
Bố cục luận văn gồm phần mở đầu, hai chương, phần kết luận và danh mục
tài liệu tham khảo.
Chương một trình bày định nghĩa, tính chất của nửa nhóm liên tục mạnh
một số định lý quan trọng về toán tử sinh của nửa nhóm liên tục mạnh, về tán
xạ và một số dạng khác nhau của nửa nhóm liên tục mạnh. Trong phần này,
các nội dung được trình bày dựa trên kiến thức được học ở chuyên đề "Giải tích
hàm nâng cao" của TS. Trần Đức Long.
Chương hai trình bày bài toán nhiễu của nửa nhóm, tính chất của họ toán
tử tiến hóa liên tục mạnh, sự tương đương tiệm cận và các định lý liên quan;
từ đó đưa ra bài toán mô hình dân số phụ thuộc vào tuổi. Nội dung được trình
bày chủ yếu được tham khảo từ tài liệu [8]. Riêng mục 2.5 nội dung được trình
bày dựa trên các kiến thức được học ở chuyên đề " Tính ổn định nghiệm của

phương trình vi phân" của PGS.TS. Đặng Đình Châu. Mục 2.6 được tham khảo
từ bài báo [5].
Bản luận văn này được thực hiện dưới sự hướng dẫn của PGS.TS. Đặng Đình
1


Châu. Nhân dịp này tôi xin bày tỏ lòng biết ơn sâu sắc tới Thầy, người đã dành
nhiều công sức và thời gian để hướng dẫn, kiểm tra, giúp đỡ tôi trong việc hoàn
thành bản luận văn.
Tôi xin gửi lời cảm ơn đến lãnh đạo và các thầy cô trong khoa Toán - Cơ Tin học, trường Đại học Khoa học Tự nhiên Hà Nội về các kiến thức và những
điều tốt đẹp mang lại cho tôi trong thời gian học tập tại trường. Tôi xin cảm ơn
tới phòng Sau đại học về những điều kiện thuận lợi trong việc hoàn thành thủ
tục học tập và bảo vệ luận văn.
Cám ơn các thầy và các bạn trong seminar Phương trình vi phân về những
sự động viên và những ý kiến trao đổi quí báu đối với bản thân tôi trong thời
gian qua.
Cuối cùng tôi muốn tỏ lòng biết ơn gia đình, người thân là chỗ dựa về tinh
thần và vật chất cho tôi trong cuộc sống và trong học tập.
Mặc dù đã có nhiều cố gắng nhưng do thời gian còn bị hạn chế nên bản luận
văn còn để lại nhiều thiếu sót về lỗi ấn loát và các lỗi khi bỏ qua một số trình
bày chi tiết việc chứng minh lại các kết quả trong chương 1 cũng như trong một
vài ví dụ ứng dụng. Vì vậy, tôi rất mong nhận được sự góp ý của quý thầy, cô
và các bạn.

Hà Nội, tháng 11 năm 2015

Phạm Như Thành

2

Chương 1

Nửa nhóm liên tục mạnh trong
không gian Banach và toán tử sinh
của chúng
1.1

Nửa nhóm liên tục mạnh

Định nghĩa 1.1. Một họ (T (t))t≥0 các toán tử tuyến tính bị chặn trên không
gian Banach X được gọi là nửa nhóm liên tục mạnh (hoặc C0 − nửa nhóm ) nếu
nó thỏa mãn các điều kiện sau:
1. T (t + s) = T (t)T (s) với mọi t, s ≥ 0.
2. T (0) = I .
3. lim T (t)x = T (t0 )x với mọi x ∈ X, t ≥ 0.
t→t0

Định lý 1.1. Cho một nửa nhóm liên tục mạnh (T (t))t≥0 . Khi đó có một hằng
số w ∈ R và M ≥ 1 thỏa mãn
||T (t)|| ≤ M ewt

1.2

∀t > 0.

(1.1)

Khái niệm về toán tử sinh và một số kết quả bổ trợ

Định nghĩa 1.2. Toán tử sinh A : D(A) ⊂ X → X của một nửa nhóm liên tục
mạnh (T (t))t≥0 trên một không gian Banach X là một toán tử
1
Ax = ξ˙x (0) = lim (T (h)x − x)
+
h→0 h

3

(1.2)


xác định với mọi x trong miền xác định của nó
D(A) = {x ∈ X : ξx là khả vi trên R+ }.

1.3

(1.3)

Định lý về toán tử sinh của nửa nhóm

Định lý 1.2. Định lý toán tử sinh ( Hille-Yosida)
Cho (A, D(A)) là một toán tử tuyến tính trên một không gian Banach X. Khi đó
các tính chất sau là tương đương.
(a) (A, D(A)) sinh ra một nửa nhóm co liên tục mạnh.
(b) (A, D(A)) đóng, xác định trù mật, với mỗi λ > 0, ta có λ ∈ ρ(A) và
||λR(λ, A)|| ≤ 1.

(1.4)

(c) (A, D(A)) là đóng, xác định trù mật, với mỗi ∀λ ∈ C mà Reλ > 0, ta có
λ ∈ ρ(A) và
||R(λ, A)|| ≤

1
.
Reλ

(1.5)

Hệ quả 1.1. Giả sử w ∈ R, (A, D(A)) là một toán tử tuyến tính trên một không
gian Banach X. Khi đó các tính chất sau là tương đương.
(a) (A, D(A)) sinh ra một nửa nhóm liên tục mạnh thỏa mãn
||T (t)|| ≤ ewt

t ≥ 0.

(1.6)

(b) (A, D(A)) đóng, xác định trù mật, với mỗi λ > w ta có λ ∈ ρ(A) và
||(λ − w)R(λ, A)|| ≤ 1.

(1.7)

(c) (A, D(A)) là đóng, xác định trù mật, với mỗi λ ∈ C mà Reλ > w, ta có
λ ∈ ρ(A) và
||R(λ, A)|| ≤

1.4

1
.
Reλ − w

(1.8)

Khái niệm về tán xạ và định lý Lunner-Phillips

Định nghĩa 1.3. Toán tử tuyến tính (A, D(A)) trên không gian Banach X gọi
là tán xạ nếu
||(λI − A)x|| λ.||x||, ∀λ > 0, ∀x ∈ D(A).
(1.9)
Định lý 1.3. (Lunner-Phillips) Đối với tán xạ xác định trù mật (A, D(A)) trên
không gian Banach X các mệnh đề sau tương đương:
(a) Bao đóng A của A sinh ra nửa nhóm co.
(b) R(λI − A) trù mật trong X với một λ > 0 nào đó (và do đó với mọi λ > 0).
4


Hệ quả 1.2. Giả sử (A, D(A)) là toán tử xác định trù mật trên không gian
Banach X. Nếu cả A và toán tử liên hợp A∗ tán xạ thì bao đóng A của A sinh
ra một nửa nhóm co trên X.
Định lý 1.4. Giả sử (A, D(A)) là tán xạ trên không gian Banach X sao cho
(λI − A) là toàn ánh với λ > 0 nào đó. Khi đó phần A| của A trong không gian
con X0 = D(A) là xác định trù mật và sinh ra nửa nhóm co trong X0 .
Ví dụ 1.1. Sau đây ta nêu ra ví dụ về một tán xạ có miền xác định không trù
mật.
Giả sử X = C[0,1] , xét toán tử Af = −f với miền xác định D(A) được xác
định như sau:
1

D(A) = {f ∈ C[0,1]
: f (0) = 0}.

A là toán tử đóng.
A là tán xạ.

1.5
1.5.1

Một số ví dụ khác nhau của nửa nhóm liên tục mạnh
Nửa nhóm liên tục đều

Định nghĩa 1.4. Nửa nhóm (T (t))t≥0 được gọi là nửa nhóm liên tục đều trong
L(X) nếu ánh xạ R+ t → T (t) ∈ L(X) liên tục đối với tô pô chuẩn (tô pô đều)
trong L(X), tức là:
lim ||T (t + h) − T (t)|| = 0,

h→0+

∀t ≥ 0. (∗)

Rõ ràng nửa nhóm liên tục đều là liên tục mạnh. Vì thế điều kiện (∗) tương
đương với điều kiện sau
lim ||T (h) − I|| = 0.

h→0+

1.5.2

Nửa nhóm đồng dạng

Giả sử V là phép đẳng cự từ không gian Y lên không gian X và (S(t))t≥0 là
nửa nhóm liên tục mạnh trên Y cho bởi
S(t) = V −1 T (t)V,

5


trong đó (T (t))t≤0 là nửa nhóm liên tục mạnh trên X .
Khi đó toán tử sinh của nửa nhóm (S(t))t≥0 là B = V −1 AV với miền xác định
D(B) = {y ∈ Y : V y ∈ D(A)},

trong đó (A, D(A)) là toán tử sinh của nửa nhóm (T (t))t≤0 .
Ta có σ(A) = σ(B) và giải thức của B là: R(λ, B) = V −1 R(λ, A)V với λ ∈ ρ(A).
1.5.3

Nửa nhóm điều chỉnh

Nửa nhóm điều chỉnh (eµt T (αt))t≥0 , µ ∈ C, α > 0 có toán tử sinh là B =
αA + µI với miền xác định D(B) = D(A).
1.5.4

Nửa nhóm nhân

Ta bắt đầu với việc xét không gian Banach (với chuẩn sup)
Kí hiệu:
C0 (Ω) := {f ∈ C(ω) : ∀ ε > 0 tồn tại tập compact Kε ⊂ Ω

sao cho |f (s) < ε| ∀ s ∈ Ω\Kε }.
đây là không gian các hàm phức, liên tục trên không gian compact địa phương

Ω, triệt tiêu tại vô cùng. Với hàm liên tục bất kì q : Ω → C ta liên kết một toán
tử tuyến tính Mq định nghĩa trên miền xác định tối đại của nó D(Mq ) trong
C0 (Ω) .
Định nghĩa 1.5. Toán tử nhân Mq ∈ C0 (Ω) với q : Ω → C liên tục định nghĩa
bởi:
Mq f = q.f ∀f ∈ C0 (Ω) với miền xác định
D(Mq ) = {f ∈ C0 (Ω) : q.f ∈ C0 (Ω)}.

Định nghĩa 1.6. Giả sử q : Ω → C là hàm liên tục thỏa mãn:
supReq(s) < +∞.
s∈Ω

Khi đó nửa nhóm (Tq (t))t

0

cho bởi:
Tq (t)f = etq f,

với t 0, f ∈ C0 (Ω) được gọi là nửa nhóm nhân sinh bởi toán tử nhân Mq (hoặc
hàm q) trên C0 (Ω).
Định lý 1.5. Nửa nhóm nhân (Tq (t))t
và chỉ nếu q bị chặn.

0

6

sinh bởi q : Ω → C là liên tục đều nếu

1.6

Bài toán Cauchy đặt chỉnh

Xét bài toán Cauchy trừu tượng với giá trị ban đầu:
u(t)
˙
= Au(t)

(ACP)

∀t ≥ 0,

u(0) = x.

trong đó t là biến độc lập biểu diễn thời gian, u(.) là hàm nhận giá trị trong
không gian Banach X , A : D(A) ⊂ X → X là toán tử tuyến tính, x ∈ X là giá
trị ban đầu.
Định nghĩa 1.7. Hàm u : R+ → X được gọi là nghiệm (cổ điển) của bài toán
Cauchy trừu tượng (ACP) nếu u khả vi liên tục, u(t) ∈ D(A) với mọi t ≥ 0 và
thỏa mãn (ACP ).
Mệnh đề 1.1. Giả sử (A, D(A)) là toán tử sinh của nửa nhóm liên tục mạnh
(T (t))t≥0 . Khi đó, với mọi x ∈ D(A), hàm u : t → u(t) = T (t)x là nghiệm (cổ
điển) duy nhất của bài toán Cauchy trừu tượng.
Định nghĩa 1.8. Hàm u : R+ → X được gọi là nghiệm suy rộng của bài toán
t
Cauchy trừu tượng nếu 0 u(s)ds ∈ D(A) với mọi t ≥ 0 và
t

u(t) = A

u(s)ds + x.
0

Mệnh đề 1.2. Giả sử (A, D(A)) là toán tử sinh của nửa nhóm liên tục mạnh
(T (t))t≥0 .Khi đó, với mọi x ∈ X , ánh xạ quỹ đạo
u : t → T (t)x

là nghiệm suy rộng duy nhất của bài toán Cauchy trừu tượng.
Định nghĩa 1.9. (Bài toán Cauchy đặt chỉnh )
Bài toán Cauchy trừu tượng
(ACP)

u(t)
˙
= Au(t)

∀t ≥ 0,

u(0) = x

với toán tử đóng A : D(A) ⊂ X → X được gọi là đặt chỉnh nếu với mọi x ∈ D(A)
tồn tại duy nhất nghiệm u(., x) của bài toán Cauchy trừu tượng (ACP), A có
miền xác định trù mật, đồng thời với mọi dãy {xn }∞
n=0 ⊂ D(A) : lim xn = 0,ta
n→∞

có: lim u(t, xn ) = 0 đều trên [0, t0 ].
n→∞

7


Chương 2

Tính chất nghiệm của phương trình
tiến hóa trừu tượng và ứng dụng
2.1

Nhiễu bị chặn của nửa nhóm liên tục mạnh

Việc kiểm tra các điều kiện đặc trưng của toán tử sinh của nửa nhóm co hoặc
nửa nhóm liên tục mạnh là một công việc khó khăn và đối với nhiều toán tử
quan trọng không thể thực hiện một cách trực tiếp. Nhiễu là phương pháp cơ
bản giúp ta tiếp cận việc giải quyết vấn đề này. Trước khi xét bài toán nhiễu
của nửa nhóm ta xét bài toán sau.
Bài toán: Cho A : D(A) ⊆ X → X là toán tử sinh của nửa nhóm liên tục
mạnh (T (t))t≥0 và xét toán tử thứ hai B : D(B) ⊆ X → X . Tìm điều kiện để
A + B sinh ra nửa nhóm liên tục mạnh (S(t))t≥0 nào đó.
Chúng tôi xin nhắc lại, tổng A + B được định nghĩa như sau:
(A + B)x = Ax + Bx,

với
x ∈ D(A + B) = D(A) ∩ D(B).

Khi đó ta nói A là toán tử sinh của B và B là nhiễu của A. Nói chung, tập xác
định D(A + B) có vai trò quan trọng cho tính chất của tổng A + B . Trong một
số trường hợp D(A + B) có thể là {0}.
Định lý 2.1. (Định lý về nhiễu bị chặn) Cho (A, D(A)) là toán tử sinh của

nửa nhóm liên tục mạnh T(t) trên không gian Banach X thỏa mãn
||T (t)|| ≤ M eωt với mọi t
8

0


trong đó w ∈ R, M ≥ 1. Nếu B ∈ L(X) thì
C := A + B với D(C) := D(A)

là toán tử sinh của nửa nhóm liên tục mạnh trên (S(t))t≥0 thỏa mãn
||S(t)|| ≤ M e(ω+M ||B||)t với mọi t ≥ 0.

Chứng minh. Trước hết ta giả sử w = 0, M = 1. Khi đó λ ∈ ρ(A) với mọi λ > 0,
và λ − C có thể phân tích được thành
λ − C = λ − A − B = (I − BR(λ, A))(λ − A).

(2.1)

Từ λ − A là song ánh, ta kết luận được λ − C là song ánh, tức là, λ ∈ ρ(C), nếu
và chỉ nếu
I − BR(λ, A)

là khả nghịch trong L(X). Trong trường hợp đó ta có
R(λ, C) = R(λ, A)[I − BR(λ, A)]−1 .

(2.2)

Bây giờ chọn Reλ > ||B||. Khi đó ||BR(λ, A)|| ≤ ||B||/Reλ < 1 theo định lý toán
tử sinh, và do đó λ ∈ ρ(A) với

∞

(BR(λ, A))n .

R(λ, C) = R(λ, A)

(2.3)

n=0

Ta ước lượng
||R(λ, C)|| ≤

1
1
1
.
=
Reλ 1 − ||B||/Reλ
Reλ − ||B||

với mọi Reλ > ||B|| và từ hệ quả II.3.6 (xem [8], trang 76) ta có C là toán tử
sinh của nửa nhóm liên tục mạnh (S(t))t≥0 thỏa mãn
||S(t)|| ≤ e||B||t với t ≥ 0.

Với w ∈ R, M ≥ 1, việc đầu tiên chúng ta làm thay đổi để được w = 0. Giống
như Bổ đề II.3.10 (xem [8], trang 78), ta xây dựng chuẩn mới
|||x||| := sup||T (t)x||
t≥0

trên X . Chuẩn này thỏa mãn
||x|| ≤ |||x||| ≤ M ||x||,

và do đó
|||Bx||| ≤ M ||B||.||x|| ≤ M ||B||.|||x|||
9


với mọi x ∈ X . Bằng cách chứng minh ở phần đầu, tổng C := A + B là toán tử
sinh của nửa nhóm liên tục mạnh S(t) thỏa mãn công thức
|||S(t)||| ≤ e|||B|||t ≤ eM ||B||t .

Do đó
||S(t)|| ≤ |||S(t)x||| ≤ eM ||B||t |||x||| ≤ M eM ||B||t ||x||

với mọi t ≥ 0, điều đó khẳng định cho w = 0.

2.2

Phương trình tiến hóa với nhiễu Lipschitz

Trong phần này chúng ta sẽ nghiên cứu bài toán với giá trị ban đầu sau đây

 du(t) + Au(t) = f (t, u(t)), t > t0
dt
(2.4)
u(t )
=u
0

0

trong đó −A là một toán tử sinh của C0 − nửa nhóm T (t), t ≥ 0, trong không
gian Banach X và f : [t0 , T ] × X → X là ánh xạ liên tục theo t và thỏa mãn điều
kiện Lipschitz theo u ([?]).
Nếu bài toán (2.4) có nghiệm cổ điển thì tương ứng với phương trình (2.4) ta
sẽ xét phương trình tích phân
t

T (t − s)f (s, u(s))ds.

u(t) = T (t − t0 )u0 +

(2.5)

t0

Nói chung nghiệm của (2.5) có khi không là nghiệm của (2.4) và chúng ta có
định nghĩa sau.
Định nghĩa 2.1. Một nghiệm liên tục u của phương trình tích phân (2.5) được
gọi là nghiệm đủ tốt của bài toán Cauchy (2.4).
Chúng ta sẽ bắt đầu với việc nghiên cứu sự tồn tại duy nhất nghiệm của
nghiệm đủ tốt của phương trình (2.4) thông qua định lý sau đây.
Định lý 2.2. Cho hàm f : [t0 , T ] × X → X liên tục theo t trên [t0 , T ] và liên tục
Lipschitz đều (với hằng số L) trên X. Khi đó, nếu −A là toán tử sinh của C0 −
nửa nhóm (T (t))t≥0 trong không gian Banach X, thì với mỗi u0 ∈ X, bài toán với
giá trị ban đầu (2.4) có duy nhất một nghiệm đủ tốt u ∈ C([t0 , T ] : X).
Chứng minh. Trước hết chúng ta nhắc lại rằng (T (t))t≥0 là liên tục mạnh nên
tồn tại M0 > 0 sao cho
||T (t)|| ≤ M0 ewt ,

10

w>0


với mỗi u0 ∈ X.
Đồng thời f : [t0 , T ] × X → X thỏa mãn điều kiện Lipschitz đều trên X nên tồn
tại L > 0 sao cho với mọi u, v ∈ X ta có
||f (t, u) − f (t, v)|| ≤ L||u − v||.

Với mỗi u0 ∈ X ta xét ánh xạ F : C([t0 , T ] : X) → C([t0 , T ] : X), được xác định
bởi
t

(F u)(t) = T (t − t0 )u0 +

T (t − s)f (s, u(s))ds,

t0 ≤ t ≤ T.

(2.6)

t0

Xét hiệu
t

(F u)(t) − (F v)(t) = T (t − t0 )(u0 − v0 ) +

T (t − s)[f (s, u(s)) − f (s, v(s))]ds.

t0

Ta có
t

||(F u)(t) − (F v)(t)|| ≤ M0 e

w(t−t0 )

M0 ew(t−s) L||u(s) − v(s)||ds

||u0 − v0 || +
t0

t

M L||u(s) − v(s)||ds

≤
t0

trong đó M = M0 ewT . Do đó
||(F u)(t) − (F v)(t)|| ≤ M L(t − t0 )||u − v||∞ ,

(2.7)

Tiếp tục bằng phương pháp truy hồi ta có
(M L(t − t0 ))n
||(F u)(t) − (F v)(t)|| ≤
||u − v||∞ ,

n!
n

n

nên
||F n u − F n v|| ≤

(M LT )n
||u − v||∞ .
n!

(2.8)

(M LT )n
< 1. Bằng cách sử dụng nguyên lý ánh xạ co trong
n!
không gian Banach ta suy ra F có điểm bất động duy nhất u trong không gian

Với n đủ lớn ta có

C([t0 , T ] : X). Điểm bất động này là nghiệm của phương trình tích phân (2.5).

Do đó bài toán với giá trị ban đầu (2.4) tồn tại nghiệm duy nhất u trong không
gian C([t0 , T ] : X). Định lý được chứng minh.
Từ định lý được chứng minh ta có thể xác định một ánh xạ u0 → u từ X
vào C([t0 , T ] : X). Một trong những tính chất của ánh xạ này là tính liên tục
Lipschitz. Khái niệm về tính liên tục Lipschitz được cho bởi định nghĩa sau đây.

11

Định nghĩa 2.2. Ánh xạ f : X → C([t0 , T ], X) được xác định bởi
f : x → f (t, x)

được gọi là ánh xạ liên tục Lipschitz nếu tồn tại hằng số M1 dương sao cho với
mọi x, y ∈ X ta có
||f (t, x) − f (t, y)||∞ ≤ M1 ||x − y||.

Từ định lý 2.2 ta có hệ quả sau.
Hệ quả 2.1. Ánh xạ u0 → u được xác định theo định lý 2.2 là liên tục Lipschitz
từ X vào C([t0 , T ] : X).
Sử dụng phương pháp chứng minh tương tự như trong định lý 2.2 chúng ta
nhận được các hệ quả sau.
Hệ quả 2.2. Nếu A và f thỏa mãn các điều kiện của định lý 2.2 khi đó với mỗi
g ∈ C([t0 , T ] : X) phương trình tích phân
t

T (t − s)f (s, w(s))ds

w(t) = g(t) +

(2.9)

t0

có nghiệm duy nhất w ∈ C([t0 , T ] : X).
Chúng ta biết rằng giả thiết về sự thỏa mãn điều kiện Lipschitz đều của hàm
f trong định lý 2.2 bảo đảm cho sự tồn tại nghiệm trên toàn cục (tức là nghiệm
xác định trên toàn đoạn [t0 , T ]). Nếu chúng ta giả thiết rằng f chỉ thỏa mãn điều

kiện Lipschitz địa phương theo u, bị chặn đều theo t trên đoạn bị chặn, có nghĩa
là đối với mỗi t và một hằng số c > 0 thì tồn tại một hằng số L(c, t ) sao cho
||f (t, u) − f (t, v)|| ≤ L(c, t )||u − v||

(2.10)

thỏa mãn đối với mọi u, v ∈ X sao cho ||u|| < c, ||v|| < c và t ∈ [0, t ], khi đó chúng
ta có một phiên bản địa phương của định lý 2.2 như sau.
Định lý 2.3. Cho f là liên tục Lipschitz địa phương theo u, đều theo t trên mỗi
đoạn bị chặn bất kỳ, giả sử −A là toán tử sinh của C0 − nửa nhóm (T (t)) trên X.
Khi đó với mỗi u0 ∈ X tồn tại một tmax sao cho bài toán với giá trị ban đầu

 du(t) + Au(t) = f (t, u(t)), t ≥ 0
dt
(2.11)
u(0)
=u
0

là có nghiệm đủ tốt u trên [0, tmax ]. Tuy nhiên, nếu tmax < ∞ thì
lim ||u(t)|| = ∞.

t→t−
max

12


Nói chung, nếu hàm f chỉ thỏa mãn các định lý 2.2 và định lý 2.3 thì nghiệm
đủ tốt của (2.4) không phải là nghiệm cổ điển hoặc nghiệm mạnh của (2.4).

Định lý sau đây cho ta điều kiện đủ tốt của (2.4) cũng là nghiệm cổ điển.
Định lý 2.4. Giả sử −A là toán tử sinh của C0 - nửa nhóm (T (t)) trên X. Khi
đó nếu f : [t0 , T ] × X → X là khả vi liên tục từ [t0 , T ] × X vào X thì nghiệm đủ
tốt của (2.5) với u0 ∈ D(A) là nghiệm cổ điển của bài toán với giá trị ban đầu.
Để làm rõ khả năng ứng dụng của bài toán bị nhiễu chúng tôi sẽ phát biểu
định lý về tính ổn định nghiệm của phương trình tiến hóa dạng
t

u(t) = T (t − t0 ) +

T (t − t0 )f (τ, u(τ ))dτ

với t ≥ t0 , u(.) ∈ X.

(2.12)

t0

Ở đây (T (t))t≥0 là nửa nhóm liên tục mạnh, f : R+ × X → X là hàm liên tục
thỏa mãn điều kiện:
||f (t, u) − f (t, v)|| ≤ α(t)||u − v|| với t ∈ R+ , u, v ∈ X.

Hàm α : R+ → R là liên tục bị chặn.
Định lý 2.5. Giả sử α : R+ → R là liên tục thỏa mãn điều kiện
∞

α(t) ≤ +∞.
0

Khi đó ta có các khẳng định sau đây:

i) Nếu (T (t))t≥0 là bị chặn đều trên R+ thì tất cả các nghiệm của (2.12) là bị
chặn.
ii) Nếu (T (t))t≥0 là ổn định mũ trên R+ thì tất cả các nghiệm u = u(t) của
(2.12) đều hội tụ đến không khi t → ∞, tức là: lim ||u(t)|| = 0.
t→+∞

Nhận xét 2.1. Nếu hàm f : R+ × X → X trong định lý 2.3 thỏa mãn thêm
điều kiện f (t, 0) = 0 và thỏa mãn các điều kiện của định lý 2.5 thì ta có thể chỉ
ra rằng:
- Nghiệm tầm thường u(t) = 0 của (2.11) là ổn định nếu (T (t))t≥0 bị chặn đều.
- Nghiệm tầm thường u(t) = 0 của (2.11) là ổn định tiệm cận nếu (T (t))t≥0 là
ổn định tiệm cận.

13


2.3

Khái niệm họ toán tử tiến hóa liên tục mạnh và một vài
tính chất nghiệm của phương trình vi phân tuyến tính
thuần nhất trong không gian Banach

Giả sử X là không gian Banach và J ⊂ R là một khoảng hữu hạn hay vô hạn
trên trục thực R. Với mỗi t ∈ J ta xét toán tử tuyến tính A(t) : D(A(t)) ⊂ X → X
và hàm f (t) xác định trên J nhận giá trị trong không gian Banach X (f : J → X).
Trong phần tiếp theo chúng ta sẽ nghiên cứu bài toán với giá trị ban đầu

 dx(t) = A(t)x(t) + f (t) với t ∈ J
dt
(2.13)

x(s)
= x.
Bài toán với giá trị ban đầu (2.13) được gọi là bài toán tiến hóa. Nếu không
có giả thiết gì thêm thì sau đây chúng ta giả thiết rằng hàm f (t) (f : J → X) và
A(t) (A : J → L(X)) là đo được mạnh và khả tích Bochner trên mỗi đoạn hữu
hạn của tập J.
Trước tiên ta cố định s = t0 ∈ J . Khi đó mỗi nghiệm x = x(t) của (2.13) thỏa
mãn điều kiện ban đầu x(t0 ) = x0 với t0 ∈ J, x0 ∈ X cũng là nghiệm khả vi liên
tục của phương trình tích phân sau đây
t

x(t) = x0 +

t

A(τ )x(τ )dτ +
t0

f (τ )dτ

(2.14)

t0

ở đây x0 = x(t0 ).
Trong trường hợp đặc biệt nếu f (t) là liên tục và A(t) là liên tục mạnh (xem
[?]) thì nghiệm của phương trình (2.14) là khả vi liên tục tại mỗi t ∈ J, do đó
đẳng thức của phương trình (2.13) thỏa mãn trên toàn bộ tập J.
Trong trường hợp tổng quát hơn chúng ta có thể xét phương trình tích phân
Volterra có dạng sau đây:

t

x(t) = g(t) +

A(τ )x(τ )dτ,

(2.15)

t0

ở đây, hàm g(t) (g : J → X) là liên tục trên J và A(t) là đo được mạnh và khả
tích Bochner trên J., khi đó đối với (2.15) chúng ta có bổ đề sau đây
Bổ đề 2.1. Giả sử các hàm g : J → X , A: J → L(X) là đo được mạnh và khả
tích theo Bochner trên J . Khi đó phương trình (2.15) có nghiệm duy nhất xác

14


định trên đoạn [a; b] ⊂ J (a, b bất kỳ). Nghiệm này có thể biểu diễn dưới dạng:
t

x(t) = g(t) +

A(t1 )g(t1 )dt1
t0

∞

t

tn

+

t2

...
n=2

t0

t0

A(tn )A(tn−1 )...A(t1 )g(t1 )dt1 ...dtn−1 dtn
t0

(2.16)
hay:

∞

gk (t)

x(t) = g(t) +
k=1

trong đó:
t

gk (t) =

A(τ )gk−1 (τ )dτ, g0 (t) = g(t),

(k = 1, 2, . . . ).

t0

Chú ý rằng với giả thiết A: J → L(X) là đo được mạnh và khả tích Bochner
đồng thời do tính chất bất biến của tích phân khi hoán đổi vị trí các biến số
t1 , t2 , ..., tn nên ta có
t

t

t2

||A(tn )|| ||A(tn−1 )|| ||A(t1 )||dt1 ...dtn−1 dtn =

...
t0

tn

t0

1
n!

t

n

||A(τ )||dτ

.

t0

(2.17)
Sử dụng đẳng thức (2.17) ta có thể suy ra hệ quả sau:
Hệ quả 2.3. Nếu các giả thiết của bổ đề 2.1 được thỏa mãn thì ta có đánh giá
sau:
b

|||x||| ≤ |||g||| exp

||A(τ )||dτ .

(2.18)

a

Sử dụng kết quả của bổ đề 2.1 ta có định lý sau:
Định lý 2.6. Giả sử A : [t0 , T ] → L(X) là đo được mạnh và khả tích Bochner
trên [t0 , T ] và f ∈ C([t0 , T ], X). Khi đó phương trình (2.14) có nghiệm liên tục
duy nhất.
Trong trường hợp đặc biệt khi f (t) = 0 và A(t) thỏa mãn các điều kiện của
định lý 2.6 ta xét bài toán với giá trị ban đầu (Bài toán Cauchy):

 dx

= A(t)x(t),
dt
(2.19)
x(t ) = x .
0

0

15


Tương ứng với nó là phương trình tích phân
t

x(t) = x0 +

A(τ )x(τ )d(τ ).
t0

Nghiệm của phương trình này có thể nhận được từ biểu thức (2.16) bằng cách,
đặt g(t) ≡ x0 . Từ đó chúng ta có biểu thức sau:
t

x(t) = x0 +

A(t1 )x0 dt1
t0
t

∞

t2

tn

A(tn )A(tn−1 )...A(t1 )x0 dt1 ...dtn−1 dtn .

...

+
n=2

t0

t0

t0

Với mỗi t ∈ [t0 , T ], xét toán tử tuyến tính U (t, t0 ) : x → x(t) được xác định bởi
phương trình tích phân:
t

A(τ )x(τ )d(τ ).

x(t) = x0 +
t0

Với giả thiết A : [t0 , T ] → L(X) là đo được mạnh và khả tích Bochner, ta có thể
sử dụng bổ đề Gronwall-Bellman để chỉ ra rằng với mỗi t ∈ [t0 , T ] ta có:
||U (t, t0 )x|| = ||x(t)|| < M < +∞

với mọix ∈ X.

Như vậy U (t, t0 ) ∈ L(X). Trong không gian Banach L(X) ta xét chuỗi toán tử
t

A(t1 )dt1

U (t, t0 ) = I +
∞

t0
t

t2

tn

+

A(tn )A(tn−1 )...A(t1 )dt1 ...dtn−1 dtn .

...
n=2

t0

(2.20)

t0

t0

Bằng lý luận tương tự như trong bổ đề (2.1) chúng ta có thể chỉ ra chuỗi toán
tử đang xét là hội tụ. Chú ý rằng, chuỗi ở vế phải của biểu thức (2.20) được làm
ra bởi chuỗi:
∞
1+
n=1

1
n!

T

n

||A(τ )||dτ

.

t0 )

Giả sử s, t là các giá trị tùy ý thỏa mãn điều kiện 0 ≤ s ≤ t ≤ T. Chúng ta xét
bài toán giá trị ban đầu thuần nhất dạng:

 du(t)
dt
u(s)

= A(t)u(t)
= x.
16

với 0 ≤ s < t ≤ T,

(2.21)


Để thuận tiện cho việc xác lập một vài tính chất nghiệm đầu tiên của bài toán
(2.21), trước hết chúng ta xét trường hơp toán tử A(t) thỏa mãn các điều kiện
sau đây: với mỗi t ∈ [0, T ], toán tử tuyến tính A(t) là toán tử giới nội trong X, và
hàm A : t → A(t) là liên tục theo tô pô đều trong L(X) tức là A ∈ C([0, T ], L(X)).
Từ kết quả của định lý 2.6 ta có hệ quả sau đây.
Hệ quả 2.4. Cho X là không gian Banach và A ∈ C([0, T ], L(X)), khi đó với
mỗi x ∈ X bài toán giá trị ban đầu (2.21) có duy nhất một nghiệm cổ điển u.
Bổ đề 2.2. ([?])(Bất đẳng thức Gronwall - Bellman)
Giả sử:
t

ϕ(t) ≤ c +

(t ≥ t0 )

h(τ )ϕ(τ )dτ

(2.22)

t0

với h(t) là một hàm liên tục không âm. Khi đó:
t
t0

ϕ(t) ≤ ce

h(τ )dτ

.

(2.23)

Để thuận tiện cho việc biểu diễn nghiệm và nghiên cứu tính chất nghiệm của
phương trình (2.13) chúng ta sẽ xác định một toán tử tuyến tính U (t, s) từ X
vào X mà ta gọi là "toán tử nghiệm" của bài toán với giá trị ban đầu (2.21),
toán tử này được xác định như sau.
U (t, s) : x → u(t)
U (t, s)x = u(t)

với 0 ≤ s ≤ t ≤ T,
với 0 ≤ s ≤ t ≤ T.

(2.24)

ở đây u(t) là nghiệm của (2.21). U (t, s) là họ toán tử tiến hóa phụ thuộc vào hai
tham số.
Với T > 0 bất kỳ ta ký hiệu ∆T = {(t, s)|0 ≤ s ≤ t ≤ T }, định lý sau đây cho
ta một số tính chất cơ bản của họ toán tử tuyến tính bị chặn U : ∆T → L(X)
được xác định bởi phương trình (2.21).
Định lý 2.7. Giả sử A(t) thỏa mãn các điều kiện của định lý (2.4) tức là

A ∈ C(J, L(X)). Khi đó với mỗi (t, s) ∈ ∆T toán tử U (t, s) là một toán tử tuyến
tính bị chặn và
t

(i) ||U (t, s)|| ≤ exp( ||A(τ )||dτ ).
s

với 0 ≤ s ≤ r ≤ t ≤ T.

(ii) U (t, t) = I, U (t, s) = U (t, r)U (r, s),

(iii) (t, s) → U (t, s) là liên tục theo tô pô đều với 0 ≤ s ≤ t ≤ T.
17


∂U (t, s)
= A(t)U (t, s), với 0 ≤ s ≤ t ≤ T.
∂t
∂U (t, s)
(v)
= −U (t, s)A(s), với 0 ≤ s ≤ t ≤ T.
∂s

(iv)

tính chất (i) của định lý được thỏa mãn, hơn nữa ta có:
Định nghĩa 2.3. Một họ hai tham số của toán tử tuyến tính bị chặn U (t, s),
0 ≤ s ≤ t ≤ T, trên X được gọi là một họ tiến hóa liên tục mạnh nếu thỏa mãn
hai điều kiện sau:
(i) U (s, s) = I, U (t, r)U (r, s) = U (t, s) với 0 ≤ s ≤ r ≤ t ≤ T.

(ii) Ánh xạ (t, s) → U (t, s) là liên tục mạnh với 0 ≤ s ≤ t ≤ T.
Một số tính chất liên quan tới họ đó chúng ta sẽ xét trong các phần tiếp theo.

2.4

Nhiễu tuyến tính của phương trình tiến hoá và họ toán
tử tiến hóa liên tục mạnh

Giả sử (T (t))t≥0 là nửa nhóm liên tục mạnh sinh bởi (A, D(A)) và B(.) ∈
C(J, Ls (X)) với J = [0, T ], ta xét họ các toán tử tiến hoá U (t, s) : X → X xác
định bởi :
t

u(t) = T (t − s)x +

T (t − ξ)B(ξ)u(ξ)dξ

(2.25)

s

trong đó x ∈ X, (t, s) ∈ ∆J bất kỳ, B(.) ∈ Cb ([0, t1 ], Ls (X)).
Bổ đề 2.3. Giả sử (T (t))t≥0 là nửa nhóm liên tục mạnh, B(.) ∈ Cb ([0, t1 ], Ls (X)).
Khi đó phương trình tiến hóa (2.25) có nghiệm duy nhất.
Tương ứng với phương trình (2.25) với mỗi (t, s) ∈ ∆J ta xác định toán tử
U (t, s) : X → X xác định bởi
U (t, s) : x → u(t).

Từ (2.25) ta có:
||U (t, s)x|| = ||u(t)||

trong đó
t

||u(t)|| ≤ M1 +

M1 M2 ||u(ξ)||dξ.
s

Sử dụng bổ đề Gronwall-Bellman ta có:
||u(t)|| ≤ M1 eM1 M2 T < +∞.
18


Như vậy ứng với mỗi (t, s) ∈ ∆J thì U (t, s) là bị chặn, tức là U (t, s) ∈ L(X).
Định lý sau đây sẽ chứng tỏ rằng (U (t, s))t≥s≥0 là họ toán tử tiến hóa liên tục
mạnh.
Định lý 2.8. Giả sử (T (t))t≥0 là nửa nhóm liên tục mạnh trong X và B(.) ∈
C(J, Ls (X)). Khi đó họ toán tử tiến hóa xác định bởi (2.25) là một họ toán tử
tiến hóa tuyến tính liên tục mạnh trong không gian Banach X.
Do J ⊂ R+ là tập đóng bất kỳ nên ta có thể suy ra hệ quả sau:
Hệ quả 2.5. Giả sử (T (t))t≥0 là nửa nhóm liên tục mạnh trong X và B(.) ∈
C(R+ , Ls (X)). Khi đó họ toán tử tiến hóa xác định bởi (2.25) là một họ toán tử
tiến hóa tuyến tính liên tục mạnh trong không gian Banach X.

2.5

Sự tương đương tiệm cận của các họ toán tử tiến hóa

Giả sử (T (t))t≥0 là nửa nhóm liên tục mạnh sinh bởi toán tử tuyến tính

(A, D(A)) trong không gian Banach X. Cùng với nửa nhóm (T (t))t≥0 ta xét họ
toán tử tiến hoá (U (t, s))t≥s≥0 được xác định bởi:
t

U (t, s)x = T (t − s)x +

T (t − ζ)B(ζ)U (ζ, s)xdζ,

x ∈ X.

(2.26)

s

trong đó x ∈ X, 0 ≤ s ≤ t ≤ t1 và B(.) ∈ Cb (R+ , Ls (X)) thỏa mãn điều kiện
∞

||B(ζ)||dζ < +∞.

(2.27)

0

Định nghĩa 2.4. Nửa nhóm liên tục mạnh (T (t))t≥0 và họ các toán tử tiến
hóa liên tục mạnh (U (t, s))t≥s≥0 được gọi là tương đương tiệm cận nếu với mỗi
x ∈ X,tồn tại y ∈ X sao cho:
lim ||T (t − t0 )x − U (t, t0 )y|| = 0

t→∞

với mỗi t0 > 0 cố định.
Định nghĩa 2.5. Nửa nhóm liên tục mạnh (T (t))t≥0 được gọi là song ổn định
trong không gian Banach X nếu tồn tại t0 > 0 sao cho T (t0 ) : X → X là khả
nghịch và tồn tại chuẩn mới (||| . |||) tương đương với chuẩn xuất phát sao cho
|||T (t0 )||| = |||T −1 (t0 )||| = 1.
Định lý 2.9. Giả sử (T (t))t≥0 là nửa nhóm liên tục mạnh sinh bởi (A, D(A))
trong không gian Banach X. Khi đó các điều kiện sau là tương đương:
19


a) (T (t))t≥0 là song ổn định
b) (T (t))t≥0 có thể thác triển thành nhóm giới nội trong X.
c) (T (t))t≥0 có thể thác triển thành nhóm đẳng cự (T (t))t∈R trong không gian
Banach có chuẩn tương đương với chuẩn xuất phát.
d) Với mọi λ ∈ R\{0}, ta có λ ∈ ρ(A) và tồn tại M ≥ 1 sao cho
||[λR(λ, A)]n || ≤ M,

∀n ∈ N.

Định lý 2.10. Giả sử (T (t))t≥0 là một nửa nhóm giới nội đều sinh bởi A ∈ L(X)
thỏa mãn các điều kiện a) và b) của bổ đề (??). Khi đó (T (t))t≥0 và (U (t, s))t≥s
là tương đương tiệm cận.

2.6

Ứng dụng của phương pháp nửa nhóm trong mô hình quần
thể sinh học

2.6.1

Về tính chất nghiệm của bài toán dân số phụ thuộc vào tuổi

Xét mô hình dân số phụ thuộc vào tuổi được xác định bởi bài toán Cauchy:
(APE)

∂f
∂f


(a, t) +
(a, t) + µ(a)f (a, t) = 0, a, t ≥ 0

 ∂t
∂a
∞
(2.28)
f (0, t)
= 0 β(a)f (a, t)da, t ≥ 0




f (a, 0)

= f0 (a),

a ≥ 0.

Trong đó t và a là các biến thực không âm tương ứng với các đại lượng thời gian
và tuổi của các cá thể; f (., t) mô tả cấu trúc tuổi của quần thể ở thời điểm t và

f0 là giá trị ban đầu của cấu trúc tuổi ở thời điểm t = 0. Ngoài ra β và µ là các
hàm giới nội, đo được, nhận giá trị dương mô tả tỉ lệ sinh và tỉ lệ chết.
Để đưa bài toán (APE) về bài toán Cauchy trừu tượng chúng ta xét không
gian Banach X = L1 (R+ ) và toán tử đóng trù mật A0 được xác định bởi:
A0 f = −

∂f
− µf, f ∈ D(A0 ) := W 1,1 (R+ ).
∂a

trong đó:
µ:X→X

xác định bởi
µ : f (a, t) → µ(a)f (a, t).

20


Chú ý rằng, do µ = µ(a) giới nội, đo được trên R+ nên µ : X → X là toán tử liên
tục, tức là µ ∈ L(X).
Để tiếp tục nghiên cứu bài toán (APE), ta xét toán tử hạn chế của A0 như
sau:
∞
Af = A0 f, D(A) = {f : f ∈ D(A0 ), f (0) =

β(a)f (a)da}.
0

Bằng phương pháp tương tự như trong ví dụ 1.1 ta có thể chỉ ra toán tử tuyến

tính (A, D(A)) là toán tử sinh của nửa nhóm liên tục mạnh (T (t))t≥0 . Đồng thời
tương tự như trong [8] (trang 16-17) đã chỉ ra rằng bài toán (APE) tương đương
với bài toán Cauchy trừu tượng (CE).

u(t)
˙
= Au(t), t ≥ 0
(2.29)
u(0) = f0
với u(t) := f (., t).
Áp dụng định lý toán tử sinh của nửa nhóm liên tục mạnh ta có thể chỉ ra
rằng (A, D(A)) là toán tử sinh của nửa nhóm liên tục mạnh (T (t))t≥0 trong X
(ta sẽ gọi là nửa nhóm dân số). Trong trường hợp này, nghiệm duy nhất của
(APE) được cho bởi f (a, t) := (T (t)f0 (a).
Hoàn toàn tương tự, chúng ta xét bài toán dân số có nhiễu tuyến tính sau
đây: (APE(p))

∂f
∂f


(a, t) +
(a, t) + µ(a)f (a, t) = α(t)f (a, t), a, t ≥ 0

 ∂t
∂a
∞
(2.30)
f (0, t)
= 0 β(a)f (a, t)da, t ≥ 0





f (a, 0)

a ≥ 0.

= f0 (a),

Kí hiệu X = L1 (R+ ). Khi đó với t ∈ R+ thì:
Af = −

∂f
− µf, Bα = α(t)I
∂a

là các toán tử tuyến tính từ X vào X .
Như chúng ta đã xét ở trên
Af = −

∂f
− µf
∂a
∞

D(A) = {f | f ∈ W

1,1

(R+ ), f (0) =

β(a)f (a)da}
0

là toán tử sinh của nửa nhóm (T (t))t≥0 và Bα : X → X là toán tử tuyến tính liên
tục thỏa mãn điều kiện
∞

α(t)dt < +∞,
0

21


Khi đó từ bài toán (APE(p)) chúng ta có thể đưa về xét phương trình: (CE(p))

u(t)
˙
= [A + α(t)]u(t), t ≥ 0
(2.31)
u(0) = f0
với u(t) = f (., t).
Tương ứng với bài toán (CE(p)) chúng ta xét phương trình tiến hóa
t

u(t) = T (t − s)f +

T (t − τ )Bα (τ )u(τ )dτ

(2.32)

s

trong đó 0 ≤ s ≤ t, f ∈ L1 (R+ ).
Họ toán tử tiến hóa (U (t, s))t≥s≥0 được xác định bởi
U : (t, s) → u(t)

trong đó 0 ≤ s ≤ t và u(t) được xác định bởi (2.32) là họ toán tử tiến hóa liên
tục mạnh.
Định lý 2.11. Nếu (T (t))t≥0 là nửa nhóm liên tục mạnh bị chặn đều trên R+
thì (U (t, s))t≥s≥0 được xác định bởi phương trình (2.32) là bị chặn đều trên R+ .
Từ định lý trên và áp dụng kết quả định lý 2.10 về sự tương đương tiệm cận
của họ toán tử tiến hóa ta suy ra định lý sau:
Định lý 2.12.
a)Nếu (T (t))t≥0 là nửa nhóm liên tục mạnh ổn định mũ thì họ toán tử tiến
hóa U (t, s)t≥s≥0 xác định bởi phương trình (2.32) là ổn định mũ.
b)Nếu (T (t))t≥0 là nửa nhóm liên tục mạnh song ổn định thì nửa nhóm
(T (t))t≥0 và họ toán tử tiến hóa U (t, s)t≥0 là tương đương tiệm cận, tức là:
||U (t, t0 )x − T (t, t0 )y|| = 0(1), t → ∞.

Nhận xét 2.2. Kết quả của định lý 2.12 cho ta một bức tranh về dáng điệu
tiệm cận của mô hình dân số bị nhiễu.
2.6.2

Tính chất nghiệm của bài toán dân số có phụ thuộc vào tuổi và sự
phân bố dân cư

Giả sử Ω ⊂ Rn là một miền giới nội có biên trơn, ký hiệu p = p(r, t, x) là mật
độ dân số tại thời điểm t ≥ 0 với độ tuổi r ≥ 0 và ở vùng địa phương x ∈ Ω. Với

22


0 < r < rm , ở đây rm là tuổi thọ cao nhất của loài, chúng ta xét phương trình vi

phân sau:

∂p(r, t, x) ∂p(r, t, x)


+
= −µ(r)p(r, t, x) + K∆p(r, t, x),


∂t
∂r


 p(r, 0, x) = p (r, x),
0
rm


p(r, t, x) = 0 β(r)p(r, t, x)dr,






(2.33)

p(r, t, x)|∂Ω = 0.

Ở đây µ(r) là hàm tỷ lệ chết thoả mãn
r

rm

µ(ρ)dρ < ∞,

µ(ρ)dρ = ∞;

0

0

β(r) là hàm sinh sản (fertility), không âm, giới nội, đo được trên [0, rm ]; p0 (r, x)

là phân bố mật độ ban đầu, p0 (r, x) ≥ 0; K là hằng số dương và ∆ ký hiệu là
toán tử Lapplace trong Rn .
Bây giờ chúng ta đưa bài toán Cauchy đang xét về phương trình vi phân trừu
tượng trong không gian Banach X = L2 ((0, rm )) với chuẩn thông thường và xác
định toán tử A : X → X như sau:

 Aφ(r, x) = − ∂φ(r, x) − µ(r)φ(r, x) + K∆φ(r, x), ∀φ ∈ D(A),
∂r
 D(A) = {φ(r, x)|φ, Aφ ∈ X, φ| = 0, φ(0, x) = rm β(r)φ(r, x)dr, }
∂Ω

(2.34)

0

Trong tài liệu ([5], trang 164-165) đã chỉ ra rằng (A, D(A)) là toán tử sinh của
nửa nhóm liên tục mạnh (T (t))t≥0 trong không gian X := L2 ((0, rm )).
Để kết thúc bài toán này chúng tôi xin nhắc lại rằng các điều kiện đủ để nửa
nhóm (T (t))t≥0 là ổn định theo nghĩa Lyapunov đã được xét đến trong tài liệu
[5].

23