Giải tích bậc phân số với một lịch sử lâu dài như là một lĩnh vực toán học
thuần túy. Trong vài thập kỉ trở lại đây, các phương trình vi-tích phân bậc phân
số đã thu hút sự quan tâm của nhiều tác giả bởi các ứng dụng của chúng trong
việc mô tả nhiều bài toán từ các mô hình thực tiễn [32, 38, 42, 54, 61]. Có nhiều
khái niệm đạo hàm bậc phân số. Trong số đó, đạo hàm theo nghĩa Caputo và
đạo hàm Riemann-Liouville được sử dụng rộng rãi hơn do các tính chất đặc thù
của chúng. Chẳng hạn, đạo hàm Caputo có nhiều tính chất quen thuộc, thích
nghi với phép biến đổi Laplace và thuận lợi hơn trong việc biểu diễn nghiệm
của các phương trình vi phân bậc phân số khi biết điều kiện đầu. Gần đây,
các phép tính giải tích bậc phân số được nhiều tác giả phát triển và vận dụng
trong nghiên cứu định tính các hệ phương trình vi phân và điều khiển bậc phân
số [29, 37, 83].
Lý thuyết định tính các phương trình vi phân nói chung, lý thuyết ổn định
nghiệm nói riêng, là một hướng nghiên cứu quan trọng trong lý thuyết điều
khiển hệ thống, góp phần giải quyết nhiều vấn đề đặt ra trong thực tiễn ứng
dụng từ cơ học, vật lý, hóa học, công nghệ thông tin đến các mô hình trong sinh
thái học quần thể, kinh tế và môi trường. Đối với các hệ vi phân bậc nguyên,
hướng nghiên cứu về ổn định nghiệm đã ghi nhận nhiều thành tựu quan trọng
cả về lý thuyết và ứng dụng. Tuy nhiên, đối với các hệ vi phân bậc phân số,
các kết quả nghiên cứu về tính ổn định vẫn rất khiêm tốn. Khó khăn chính là
các phương pháp và cách tiếp cận đã được phát triển cho lớp hệ vi phân bậc
nguyên thường không còn hiệu lực, đặc biệt là đối với các hệ vi-tích phân bậc
phân số trong các không gian vô hạn chiều. Chính vì vậy, vấn đề nghiên cứu
tính ổn định và ứng dụng trong các bài toán điều khiển đối với lớp hệ vi phân
bậc phân số đang là một chủ đề thu hút sự quan tâm rất lớn từ cộng đồng các
nhà nghiên cứu trong và ngoài nước.
95 trang |
Chia sẻ: thientruc20 | Lượt xem: 438 | Lượt tải: 1
Bạn đang xem trước 20 trang tài liệu Luận án Bài toán ổn định và ổn định hóa đối với một số lớp phương trình vi phân bậc phân số, để xem tài liệu hoàn chỉnh bạn click vào nút DOWNLOAD ở trên
BỘ GIÁO DỤC VÀ ĐÀO TẠO
TRƯỜNG ĐẠI HỌC SƯ PHẠM HÀ NỘI 2
——————–o0o———————
CHU TRỌNG KÍNH
BÀI TOÁN ỔN ĐỊNH VÀ ỔN ĐỊNH HÓA
ĐỐI VỚI MỘT SỐ LỚP PHƯƠNG TRÌNH
VI PHÂN BẬC PHÂN SỐ
LUẬN ÁN TIẾN SĨ TOÁN HỌC
XUÂN HÒA, 2018
BỘ GIÁO DỤC VÀ ĐÀO TẠO
TRƯỜNG ĐẠI HỌC SƯ PHẠM HÀ NỘI 2
——————–o0o———————
CHU TRỌNG KÍNH
BÀI TOÁN ỔN ĐỊNH VÀ ỔN ĐỊNH HÓA
ĐỐI VỚI MỘT SỐ LỚP PHƯƠNG TRÌNH
VI PHÂN BẬC PHÂN SỐ
Chuyên ngành: Toán giải tích
Mã số: 62 46 01 02
LUẬN ÁN TIẾN SĨ TOÁN HỌC
Người hướng dẫn khoa học:
PGS.TS LÊ VĂN HIỆN
XUÂN HÒA, 2018
LỜI CAM ĐOAN
Tôi xin cam đoan đây là công trình nghiên cứu của riêng tôi, được hoàn
thành dưới sự hướng dẫn của PGS.TS Lê Văn Hiện. Luận án sử dụng một số
kết quả viết chung với tác giả khác và đã được sự nhất trí của các đồng tác giả
khi đưa vào luận án. Các kết quả trình bày trong luận án là mới và chưa từng
được công bố trong bất kì luận văn, luận án nào khác.
Tác giả
1
LỜI CẢM ƠN
Luận án này được thực hiện tại trường Đại học Sư phạm Hà Nội 2, dưới
sự hướng dẫn khoa học của PGS.TS Lê Văn Hiện. Tôi xin tỏ lòng biết ơn chân
thành và sâu sắc tới thầy, PGS.TS Lê Văn Hiện, người đã định hướng, chỉ dẫn
sát sao và tận tình hướng dẫn tôi trong suốt quá trình học tập, nghiên cứu và
hoàn thành luận án này. Sự chuyên nghiệp, nghiêm túc trong nghiên cứu và
những định hướng đúng đắn của thầy là tiền đề quan trọng giúp tôi có được
những kết quả trình bày trong luận án này.
Tôi xin được bày tỏ lòng biết ơn chân thành và sâu sắc tới PGS.TS Trần
Đình Kế, người luôn đồng hành, ủng hộ và giúp đỡ tôi trong quá trình học tập
và làm nghiên cứu sinh.
Tôi xin chân thành cảm ơn các thầy, các cô trong khoa Toán, trường Đại
học Sư phạm Hà Nội 2, đã tạo điều kiện thuận lợi và giúp đỡ tôi trong thời gian
học tập và làm nghiên cứu tại Khoa. Đồng thời, tôi cũng chân thành cảm ơn
các bạn nghiên cứu sinh và các thành viên trong xemina Giải tích, khoa Toán,
trường Đại học Sư phạm Hà Nội 2, xemina Phương trình vi phân và tích phân,
trường Đại học Sư phạm Hà Nội, đã quan tâm, trao đổi và góp ý cho tôi trong
quá trình học tập và làm luận án.
Tôi xin chân thành cảm ơn Ban Giám hiệu, Phòng Sau đại học, trường Đại
học Sư phạm Hà Nội 2, đã tạo mọi điều kiện thuận lợi cho tôi trong quá trình
học tập, nghiên cứu và hoàn thành luận án.
Tôi cũng xin chân thành cảm ơn Ban Giám đốc Sở Giáo dục và Đào tạo
Hà Nội, các thầy giáo, cô giáo của trường THPT Ngô Quyền, Ba Vì, Hà Nội,
đã động viên và tạo mọi điều kiện thuận lợi cho tôi trong quá trình làm nghiên
cứu sinh.
Đặc biệt, tôi thực sự hạnh phúc và tự hào khi được đại gia đình luôn ở
bên, chia sẻ và động viên, là động lực để tôi cố gắng và hoàn thành luận án này.
Tác giả
2
MỤC LỤC
Trang
Lời cam đoan . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
Lời cảm ơn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
Kí hiệu . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
MỞ ĐẦU . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1. MỘT SỐ KIẾN THỨC CHUẨN BỊ . . . . . . . . . . . . . . . . . . . . 16
1.1. M-ma trận . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.2. Một số không gian hàm . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.3. Lý thuyết nửa nhóm . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.4. Giải tích bậc phân số . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.5. Ánh xạ đa trị và một số định lí điểm bất động . . . . . . . . . . . . 21
2. SỰ ĐỒNG BỘ CỦAMẠNG NƠRON HOPFIELD VỚI HỆ SỐ BIẾN
THIÊN VÀ TRỄ TỈ LỆ . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
2.1. Mô hình mạng nơron Hopfield bậc phân số . . . . . . . . . . . . . . 26
2.2. Sự đồng bộ nghiệm . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.3. Ví dụ minh họa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2.4. Kết luận chương 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
3. NGHIỆM HÚT TOÀN CỤC CỦA BAO HÀM THỨC VI PHÂN
BẬC PHÂN SỐ KIỂU SOBOLEV TRONG KHÔNG GIAN BANACH 36
3.1. Sự tồn tại nghiệm trên khoảng thời gian hữu hạn . . . . . . . . . . 36
3.2. Tập nghiệm hút toàn cục . . . . . . . . . . . . . . . . . . . . . . . . 49
3
3.3. Ứng dụng . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
3.4. Kết luận chương 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
4. ỔN ĐỊNH HÓA MỘT SỐ LỚP HỆ DƯƠNG BẬC PHÂN SỐ DẠNG
KẾT NỐI BẰNG ĐIỀU KHIỂN PHÂN QUYỀN . . . . . . . . . . . . 63
4.1. Hệ dương bậc phân số dạng kết nối . . . . . . . . . . . . . . . . . . 63
4.1.1. Mô tả hệ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
4.1.2. Tính ổn định . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
4.1.3. Thiết kế điều khiển . . . . . . . . . . . . . . . . . . . . . . . . 67
4.1.4. Ví dụ minh họa . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
4.2. Tính ổn định và ổn định hóa vững của hệ điều khiển bậc phân số
dạng kết nối với nhiễu dạng khoảng và trễ không đồng nhất . . . . 71
4.2.1. Hệ điều khiển bậc phân số dạng kết nối có trễ . . . . . . . . . 71
4.2.2. Điều kiện hệ dương . . . . . . . . . . . . . . . . . . . . . . . . 72
4.2.3. Phân tích tính ổn định . . . . . . . . . . . . . . . . . . . . . . 75
4.2.4. Thiết kế điều khiển . . . . . . . . . . . . . . . . . . . . . . . . 77
4.2.5. Một số ví dụ minh họa . . . . . . . . . . . . . . . . . . . . . . 80
4.3. Kết luận chương 4 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
Kết luận chung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
Danh mục công trình công bố . . . . . . . . . . . . . . . . . . . . . . . 87
TÀI LIỆU THAM KHẢO . . . . . . . . . . . . . . . . . . . . . . . . . . 87
4
KÍ HIỆU
[n] Tập n số nguyên dương đầu tiên {1, 2, . . . , n}
R+ Tập các số thực không âm
R∗+ Tập các số thực dương
Rn Không gian Euclide n chiều
‖x‖∞ maxi∈[n] |xi|, chuẩn max của vectơ x ∈ Rn
Rm×n Tập hợp các ma trận cấp m× n
A⊤ Ma trận chuyển vị của ma trận A
[A]ij Phần tử tại dòng i và cột j của ma trận A
A 0 Ma trận không âm, tức là [A]ij ≥ 0 với mọi i, j
A ≻ 0 Ma trận dương, tức là [A]ij > 0 với mọi i, j
x y xi ≥ yi, ∀i ∈ [n], với x = (xi) ∈ Rn và y = (yi) ∈ Rn
Rn+ Orthant dương {x ∈ Rn : x 0}
λ(A) Tập hợp các giá trị riêng của ma trận A
λmax(A), λmin(A) max{Reλ : λ ∈ λ(A)}, min{Reλ : λ ∈ λ(A)}
LMIs Các bất đẳng thức ma trận tuyến tính
MNC Độ đo không compact
LP Bài toán quy hoạch tuyến tính
Ck(Ω) Không gian các hàm khả vi liên tục cấp k trong miền Ω
Lp(Ω) Không gian các hàm lũy thừa bậc p khả tích Lebesgue
trong miền Ω
L∞(Ω) Không gian các hàm đo được bị chặn hầu khắp trên Ω
Lploc(Ω), 1 ≤ p <∞ Không gian các hàm lũy thừa bậc p khả tích địa phương
trên Ω
PC([0, T ];X) Không gian các hàm liên tục từng khúc trên [0, T ]
PC0 Không gian các hàm liên tục từng khúc trên [0,∞)
dần tới 0 khi t→∞
Dα0 f(t) Đạo hàm Caputo bậc α của hàm f(t)
RLDα0 f(t) Đạo hàm Riemann-Liouville bậc α của hàm f(t)
5
MỞ ĐẦU
1. Lí do chọn đề tài
Giải tích bậc phân số với một lịch sử lâu dài như là một lĩnh vực toán học
thuần túy. Trong vài thập kỉ trở lại đây, các phương trình vi-tích phân bậc phân
số đã thu hút sự quan tâm của nhiều tác giả bởi các ứng dụng của chúng trong
việc mô tả nhiều bài toán từ các mô hình thực tiễn [32,38,42,54,61]. Có nhiều
khái niệm đạo hàm bậc phân số. Trong số đó, đạo hàm theo nghĩa Caputo và
đạo hàm Riemann-Liouville được sử dụng rộng rãi hơn do các tính chất đặc thù
của chúng. Chẳng hạn, đạo hàm Caputo có nhiều tính chất quen thuộc, thích
nghi với phép biến đổi Laplace và thuận lợi hơn trong việc biểu diễn nghiệm
của các phương trình vi phân bậc phân số khi biết điều kiện đầu. Gần đây,
các phép tính giải tích bậc phân số được nhiều tác giả phát triển và vận dụng
trong nghiên cứu định tính các hệ phương trình vi phân và điều khiển bậc phân
số [29,37,83].
Lý thuyết định tính các phương trình vi phân nói chung, lý thuyết ổn định
nghiệm nói riêng, là một hướng nghiên cứu quan trọng trong lý thuyết điều
khiển hệ thống, góp phần giải quyết nhiều vấn đề đặt ra trong thực tiễn ứng
dụng từ cơ học, vật lý, hóa học, công nghệ thông tin đến các mô hình trong sinh
thái học quần thể, kinh tế và môi trường. Đối với các hệ vi phân bậc nguyên,
hướng nghiên cứu về ổn định nghiệm đã ghi nhận nhiều thành tựu quan trọng
cả về lý thuyết và ứng dụng. Tuy nhiên, đối với các hệ vi phân bậc phân số,
các kết quả nghiên cứu về tính ổn định vẫn rất khiêm tốn. Khó khăn chính là
các phương pháp và cách tiếp cận đã được phát triển cho lớp hệ vi phân bậc
nguyên thường không còn hiệu lực, đặc biệt là đối với các hệ vi-tích phân bậc
phân số trong các không gian vô hạn chiều. Chính vì vậy, vấn đề nghiên cứu
tính ổn định và ứng dụng trong các bài toán điều khiển đối với lớp hệ vi phân
bậc phân số đang là một chủ đề thu hút sự quan tâm rất lớn từ cộng đồng các
nhà nghiên cứu trong và ngoài nước. Một số kết quả nghiên cứu về định tính
6
đối với các phương trình vi phân bậc phân số đã được công bố gần đây như sự
tồn tại nghiệm và nghiệm phân rã kiểu tích phân [2,40,41] hay tính điều khiển
được, điều khiển được xấp xỉ [44,70,71]. Các nghiên cứu về tính ổn định và ổn
định hóa cũng đã được phát triển cho các hệ vi phân và điều khiển bậc phân số
trong các không gian hữu hạn chiều [5, 15, 46, 49–51, 74]. Trong các kết quả nói
trên, phương pháp hàm Lyapunov đã được phát triển thích ứng với nhiều lớp hệ
vi phân bậc phân số [14,33,50]. Nói riêng, đối với lớp hệ tuyến tính dừng (hệ số
hằng) có trễ và một số biến thể của nó như hệ tuyến tính có nhiễu dạng cấu trúc
hoặc nhiễu phi tuyến, cách tiếp cận rất phổ biến trong nghiên cứu tính ổn định
và ổn định hóa là sử dụng phương pháp hàm Lyapunov–Krasovskii để thiết lập
các điều kiện ổn định và ổn định hóa thông qua các điều kiện đại số dạng các
bất đẳng thức ma trận tuyến tính (LMIs) [10]. Tuy nhiên, cách tiếp cận nói trên
chỉ phù hợp và hiệu quả đối với các hệ động lực mô tả bởi hệ phương trình vi
phân bậc nguyên trong không gian hữu hạn chiều. Việc phát triển các kết quả
nghiên cứu tương tự cho các hệ vi phân bậc phân số trong các không gian vô hạn
chiều gặp rất nhiều khó khăn, đặc biệt trong việc ước lượng đạo hàm bậc phân
số. Chính vì vậy, các kết quả nghiên cứu về dáng điệu tiệm cận của nghiệm đối
với các hệ phương trình vi-tích phân bậc phân số, nhất là trong trường hợp hệ
vô hạn chiều, vẫn còn rất khiêm tốn. Nhiều vấn đề mở trong hướng nghiên cứu
về lý thuyết định tính và dáng điệu tiệm cận nghiệm nói chung, tính ổn định và
ổn định hóa nói riêng, đối với các hệ động lực mô tả bởi hệ phương trình vi-tích
phân bậc phân số, cả trong trường hợp hữu hạn và vô hạn chiều, cần tiếp tục
được nghiên cứu và hoàn thiện. Đó cũng là lí do và là động lực chính chúng tôi
chọn chủ đề nghiên cứu về tính ổn định và ổn định hóa của các phương trình vi
phân và điều khiển bậc phân số.
2. Đối tượng và nội dung nghiên cứu
2.1. Sự đồng bộ của mạng nơron dạng Hopfield với hệ số biến thiên và
trễ tỉ lệ
Nhiều mô hình trong thực tiễn đời sống được mô tả bởi các hệ phương trình
vi phân có trễ. Các ví dụ tiêu biểu cho những mô hình như thế có thể tìm thấy
7
trong cơ học, điều khiển tự động, các mạng viễn thông, các quá trình vật lí, hóa
học hay sinh học. Một mặt, sự xuất hiện của các độ trễ đó làm thay đổi đáng kể
dáng điệu nghiệm của hệ so với mô hình hệ không có trễ tương ứng, thậm chí
làm mất tính ổn định của hệ [65]. Mặt khác, vấn đề nghiên cứu các tính chất
định tính các hệ có trễ khó khăn hơn rất nhiều so với các hệ vi phân thường bởi
tính vô hạn chiều của không gian pha. Chính vì vậy, vấn đề nghiên cứu tính ổn
định và ổn định hóa các hệ có trễ là bài toán có ý nghĩa thực tiễn, đã và đang
được nhiều tác giả quan tâm trong những năm gần đây (xem [19, 31, 48, 59, 75]
và các tài liệu trích dẫn ở đó).
Trong hai thập kỷ gần đây, các hệ động lực có cấu trúc mạng nơron đã
được nghiên cứu và ứng dụng thành công trong nhiều lĩnh vực như xử lý tín
hiệu, nhận dạng mẫu, ước lượng tham số và đặc biệt trong lĩnh vực về trí tuệ
nhân tạo [27,56,68]. Trong các mô hình đó, việc đảm bảo tính ổn định của mạng
nơron được thiết kế là hết sức quan trọng [79]. Mặt khác, trong mô hình các hệ
nơron, yếu tố trễ truyền tải là không tránh khỏi do quá trình xử lý và truyền
tín hiệu qua các kênh với băng thông hạn chế. Sự xuất hiện của trễ thời gian
thường dẫn đến hiệu suất kém và nguy cơ làm mất tính ổn định của mạng [6].
Trong vài năm gần đây, vấn đề nghiên cứu tính ổn định hay tổng quát hơn là
tính chất đồng bộ của các mô hình mạng nơron có trễ mô tả bởi các hệ vi phân
cả bậc nguyên và bậc phân số đã thu hút sự quan tâm của nhiều tác giả. Để
liệt kê một số kết quả, chúng tôi giới thiệu độc giả các công trình công bố gần
đây [17, 18, 67, 69, 76] và các tài liệu trích dẫn ở đó. Trong các công trình đã
công bố, tính ổn định hay đồng bộ mới chỉ được nghiên cứu cho một số mô hình
mạng nơron với trọng số kết nối các nơron là hằng và trễ bị chặn. Mặt khác,
trong các mô hình mạng nơron có trễ, mô hình với trễ tỉ lệ được sử dụng rất
phổ biến [81]. Chẳng hạn, với cấu trúc một mạng nơron có nhiều tầng (layers),
quá trình xử lý và truyền tín hiệu giữa các tầng thường được mô tả bằng các tín
hiệu trễ mà thời gian trễ tỉ lệ với thời gian hiện tại. Về dáng điệu tiệm cận, trễ
tỉ lệ thuộc lớp trễ biến thiên không bị chặn, tăng trưởng tỉ lệ với khoảng thời
gian. Bởi vậy, việc nghiên cứu dáng điệu tiệm cận nghiệm các mô hình mạng
nơron có trễ tỉ lệ thường gặp nhiều khó khăn [30]. Đến nay, chúng tôi chưa tìm
thấy một kết quả nghiên cứu nào đề cập đến tính ổn định hay tính đồng bộ của
8
mô hình mạng nơron mô tả bởi hệ phương trình vi phân bậc phân số với trễ tỉ
lệ. Trong Chương 2 của luận án này, dựa trên bài báo [1] trong Danh mục công
trình công bố, chúng tôi nghiên cứu tính đồng bộ với tốc độ hội tụ kiểu đa thức
cho mô hình mạng nơron Hopfield với hệ số kết nối biến thiên chứa đa trễ tỉ lệ
dạng sau đây
Dα0 xi(t) = − di(t)xi(t) +
n∑
j=1
aij(t)fj(xj(t))
+
n∑
j=1
bij(t)gj(xj(qijt)) + Ii(t), t > 0,
xi(0) = x
0
i , i ∈ [n].
(0.1)
Áp dụng quy tắc Leibniz về đạo hàm phân số và một số kĩ thuật trong
nguyên lý so sánh, chúng tôi thiết lập các điều kiện cho tính đồng bộ toàn cục
với tốc độ đa thức của mô hình (0.1). Cụ thể hơn, từ các điều kiện đặt ra, chúng
tôi chỉ ra sự tồn tại của các hằng số dương β và γ sao cho hai nghiệm bất kì x(t)
và x˜(t) của (0.1) thỏa mãn đánh giá
‖x(t)− x˜(t)‖∞ ≤ β‖x0 − x˜0‖∞
(1 + t)γ
, ∀t ≥ 0.
2.2. Nghiệm hút toàn cục của bao hàm thức vi phân bậc phân số kiểu
Sobolev trong không gian Banach vô hạn chiều
Các bao hàm thức vi phân không chỉ là mô hình tổng quát của phương
trình vi phân mà còn xuất phát từ nhiều bài toán quan trọng như bài toán điều
khiển phản hồi đa trị, bài toán chính quy hóa phương trình vi phân với phần
phi tuyến không liên tục hay các bất đẳng thức vi-biến phân. Các bao hàm thức
vi phân trong không gian hữu hạn chiều đã được nghiên cứu từ khá sớm. Các
kết quả về tính giải được và cấu trúc tập nghiệm đã được trình bày một cách
hệ thống trong các chuyên khảo [3,21]. Bao hàm thức vi phân bậc nguyên trong
không gian Banach và ứng dụng của nó cũng đã được nghiên cứu [39,66]. Trong
Chương 3, dựa trên bài báo [2] trong Danh mục công trình công bố, chúng tôi
nghiên cứu bài toán Cauchy suy rộng đối với lớp bao hàm thức vi phân bậc
9
phân số kiểu Sobolev sau đây
Dα0Bu(t) ∈ Au(t) + F (t, u(t)), t 6= tk, tk ∈ (0,+∞), k ∈ Λ, (0.4a)
∆u(tk) = Ik(u(tk)), (0.4b)
u(0) = g(u), (0.4c)
ở đó α ∈ (0, 1), A, B là các toán tử tuyến tính đóng không bị chặn trong không
gian Banach X và F (.) là một ánh xạ phi tuyến đa trị, Ik(.) là hàm trạng thái
xung tại thời điểm nhảy tk và g(.) là hàm biểu thị điều kiện đầu không cục bộ.
Sự tồn tại, duy nhất và dáng điệu tiệm cận nghiệm của các phương trình
vi phân, phương trình đạo hàm riêng với điều kiện không cục bộ đã được nghiên
cứu trong vài thập kỉ gần đây. Trong thực tiễn, điều kiện không cục bộ thường
cho những mô tả tốt hơn so với điều kiện ban đầu cổ điển. Ví dụ, các điều kiện
u(0) = u0 +
m∑
i=1
ciu(ti), ci ∈ R, ti > 0,
u(0) = u0 +
1
b
∫ b
0
k(s)u(s)ds, b > 0, k(.) là một hàm thực,
cho phép ta thêm các đo đạc tại các thời điểm khác thời điểm ban đầu. Kết
quả đầu tiên và ý nghĩa vật lí của bài toán với điều kiện không cục bộ có thể
xem trong [13]. Các phương trình vi phân với điều kiện không cục bộ đã được
nghiên cứu bởi nhiều tác giả, điển hình là các kết quả [20, 34, 52, 83, 84]. Mặt
khác, điều kiện xung được sử dụng để mô tả các hệ động lực có sự thay đổi
trạng thái đột ngột tại một số thời điểm, thường gặp trong nhiều mô hình vật
lí, kĩ thuật. Một số kết quả cơ bản về phương trình vi phân có xung có thể tham
khảo trong [45,62].
Nghiên cứu các phương trình kiểu Sobolev có thể tìm thấy trong những
công trình của Barenblat và các cộng sự [7], ở đó các tác giả đề xuất mô hình
toán học (các phương trình trong không gian trạng thái) mô tả sự rò rỉ của chất
lỏng đồng nhất trong khe đá nứt được cho bởi
∂t[u(x, t)− ∂2xu(x, t)] = ∂2xu(x, t).
Dựa trên các phép tính giải tích bậc phân số [54], mô hình trên được tổng quát
hoá thành phương trình/bao hàm thức vi phân bậc phân số.
10
Liên quan tới hệ (0.4a)-(0.4c), sự xuất hiện của ánh xạ phi tuyến đa trị F
là động cơ cho nhiều bài toán đối với các phương trình vi phân thường với vế
phải không liên tục [26], các bất đẳng thức biến phân [57] hay điều khiển phản
hồi [39]. Một câu hỏi quan trọng liên quan tới bài toán (0.4a)-(0.4c) là về dáng
điệu tiệm cận của nghiệm khi thời gian đủ lớn. Cần chú ý thêm rằng lý thuyết
tập hút toàn cục (chẳng hạn, xem [16]) không thể áp dụng cho bài toán này vì
thiếu tính chất nửa nhóm của toán tử nghiệm. Thêm nữa, phương pháp hàm
Lyapunov để phân tích tính ổn định của nghiệm cũng không phù hợp do các
khó khăn trong tính toán và ước lượng đạo hàm bậc phân số, thậm chí ngay cả
trong trường hợp hữu hạn chiều.
Trong nội dung nghiên cứu này, chúng tôi sử dụng cách tiếp cận bằng lý
thuyết điểm bất động dựa trên ý tưởng mà Burton và Furumochi đề xuất [11,12].
Sử dụng cách tiếp cận này, chúng tôi xây dựng một độ đo không compact chính
quy và áp dụng lý thuyết điểm bất động đối với ánh xạ đa trị nén. Từ đó chúng
tôi chứng minh sự tồn tại của một tập compact khác rỗng các nghiệm hút toàn
cục đối với bài toán (0.4a)-(0.4c). Một áp dụng đối với các phương trình đạo
hàm riêng bậc phân số cũng được trình bày để minh họa cho kết quả nhận được.
2.3. Ổn định hóa bằng điều khiển phản hồi phân quyền một số lớp hệ
dương bậc phân số dạng kết nối
Thuật ngữ hệ kết nối (interconnected systems) thường được sử dụng để chỉ
các hệ điều khiển được cấu thành từ hai hay nhiều hệ đơn lẻ hoạt động đồng
thời và ảnh hưởng lẫn nhau thông qua các kênh kết nối (interconnections). Để
minh họa, ta xét mô hình hệ kết nối trong điều khiển tần số hệ thống điện (chi
tiết, mời độc giả xem trong [60]) bao gồm N khu vực sử dụng điện năng. Ở mỗi
khu vực, mô hình điều khiển được mô tả bởi hệ điều khiển tuyến tính dưới đây
mà ta gọi là hệ địa phương (local systems)
x˙i(t) = Aiixi(t) +Biui(t) + Γidi(t), i = 1, 2, . . . , N, (0.5)
ở đó xi(t) ∈ Rni là vectơ trạng thái (tần số) ở khu vực thứ i, ui(t) là tín hiệu điều
khiển và di(t) là nhiễu đầu vào. Các khu vực sử dụng điện được kết nối bằng
các đường truyền tải (tie-line) tạo thành một hệ thống điều khiển dạng kết nối
11
được mô tả bởi hệ
x˙i(t) = Aiixi(t) +
N∑
j=1,j 6=i
Aijxj(t) +Biui(t) + Γidi(t), i = 1, 2, . . . , N, (0.6)
ở đó x(t) = (x1(t), x2(t), . . . , xN (t))⊤ là vectơ trạng thái tổng của hệ và Aij là
trọng số kết nối giữa khu vực i với khu vực j. Trong điều khiển kĩ thuật, đối với
các hệ dạng kết nối, hai chiến lược điều khiển phổ biến nhất là kĩ thuật điều
khiển trung tâm (centralized control) và điều khiển phân quyền (decentralized
control). Chẳng hạn, đối với hệ (0.6), một điều khiển trung tâm có dạng
u(t) , (