Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC SƯ PHẠM TRẦN NGUYÊN BÌNH MỘT SỐ TÍNH CHẤT CHỌN LỌC VỀ HỆ ĐỘNG LỰC RỜI RẠC L L U U Ậ Ậ N N V V Ă Ă N N T T H H Ạ Ạ C C S S Ĩ Ĩ T T O O Á Á N N H H Ọ Ọ C C Thái Nguyên - năm 2009 Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC SƯ PHẠM TRẦN NGUYÊN BÌNH MỘT SỐ TÍNH CHẤT CHỌN LỌC VỀ HỆ ĐỘNG LỰC RỜI RẠC Chuyên ngành: Giải tích Mã số: 60.46.01 L L U U Ậ Ậ N N V V Ă Ă N N T T H H Ạ Ạ C C S S Ĩ Ĩ T T O O Á Á N N H H Ọ Ọ C C Người hướng dẫn khoa học: GS.TSKH. VŨ NGỌC PHÁT Thái Nguyên - năm 2009 Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn x(k + 1) = Ax(k) + Bu(k), k ∈ Z + , [A, B]. x(k + 1) = (A + D a F a (k)E a )x(k)+(B + D b F b (k)E b )x(k − h) +(C + D c F c (k)F c )u(k) k ∈ Z + , x(k + 1) =(A + D a F a (k)E a )x(k) + (B + D b F b (k)E b )x(k − h) + f(k, x(k), x(k −h)), k ∈ Z + , x(k + 1) =(A + D a F a (k)E a )x(k) + (B + D b F b (k)E b )x(k − h) + (C + D c F c (k)E c )u(k) + f(k, x(k), x(k −h), u(k)), k ∈ Z + , x(k) ∈ R n u(k) ∈ R m A, B, C, D a , E a , D b , E b , D c , E c F a (k), F b (k), F c (k)  F a (k) ≤ 1,  F b (k) ≤ 1,  F c (k) ≤ 1, f(.) u(k) = h(x(k)) Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn f(.) f(.), f(.)  f(k, x, y) ≤ a  x  +b  y , ∀(k, x, y) ∈ Z + × R n × R n , a, b f(.)  f(k, x, y, z) ≤ a  x  +b  y  +c  z , ∀(k, x, y, z) ∈ Z + ×R n ×R n ×R m , a, b, c & & Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn • Z + R + R n n−  ., .   . ; R n×r (n × r) • A T A; A A = A T ; I • Sp(A) A. • λ max (A) = max{Reλ : λ ∈ Sp(A)}; λ min (A) = min{Reλ : λ ∈ Sp(A)}. • A  A,  A = ( n  i=1 n  j=1 |a ij | 2 ) 1 2 . • A A ≥ 0,  Ax, x  ≥ 0, ∀x ∈ R n ; A  Ax, x  ≥ 0, ∀x ∈ R n  Ax, x  > 0 x = 0. Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn  ˙x = f(t, x), t ∈ I = [t 0 , t 0 + b], x(t 0 ) = x 0 , x ∈ R n , t 0 ≥ 0, f(t, x) : I × D −→ R n , D = {x ∈ R n : x − x 0 ≤ a}. x(t) (t, x(t)) ∈ I × D, x(t) f(t, x) I ×D, x(t) x(t) = x 0 + t  t 0 f(s, x(s))ds.  ˙x = Ax + g(t), t ≥ 0, x(t 0 ) = x 0 , t 0 ≥ 0, A g(t) : [0, ∞) −→ R n x(t) = e A(t−t 0 ) x 0 + t  t 0 e A(t−s) g(s)ds. Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn  ˙x = A(t)x + g(t), t ≥ 0, x(t 0 ) = x 0 , t 0 ≥ 0, A(t) t  A(t) ≤ m(t), m(t), g(t) ˙x = A(t)x, x(t) = Φ(t, t 0 )x 0 + t  t 0 Φ(t, s)g(s)ds, Φ(t, s) (i) d dt Φ(t, s) = A(t)Φ(t, s), t ≥ s, (ii)Φ(t, t) = I. x(k + 1) = f (k, x(k)), k = 0, 1, 2, f(.) : Z + × R n −→ R n x(0) = x 0 x(1) = f (0, x 0 ), x(2) = f (1, f(0, x(0))), f(.). x(k + 1) = A(k)x(k) + g(k), k ∈ Z + , x(0) = x 0 g = {g(0), g(1), , g(k − 1), }, Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn x(k) k > 0 x(k) = F (k, 0)x 0 + k−1  s=0 F (k, s + 1)g(s), F (k, s) x(k + 1) = A(k)x(k), k ∈ Z + . F (k, s) F (k, s) = A(k − 1).A(k − 2) A(s), k ≥ s ≥ 0, F (k, k) = I. A(.) F (k, s) = A k−s , k ≥ s ≥ 0 x(k) = A k x 0 + k−1  s=0 A k−s−1 g(s). z(k), a(k) : Z + −→ Z + C ≥ 0 z(k) ≤ C + k−1  s=0 a(s)z(s), k = 1, 2, , z(0) ≤ C. z(k) ≤ C k−1  s=0 (1 + a(s)), k = 1, 2, f(.) x(t) = x 0 + t  t 0 f(s, x(s))ds. Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn [...]... ([16]) Cho E, H và F là các ma trận thực có số chiều thích F T F I Khi đó khẳng định sau là đúng: EF H T + HF T E T EE T + 1 HH T , > 0 14 S húa bi Trung tõm Hc liu i hc Thỏi Nguyờn http://www.lrc-tnu.edu.vn Chương 2 ổn định và ổn định hóa các hệ rời rạc ổ 2.1 2.1.1 n định của các hệ rời rạc ổ n định của các hệ rời rạc tuyến tính Xét hệ rời rạc tuyến tính x(k + 1) = Ax(k), k Z+ Với x(0) = x0 (2.1)... định và khi đó hệ sẽ ổn định với Ví dụ 2.1.3 C(k) a, a đủ nhỏ Xét hệ phương trình 1 1 x(k) + yk , 2(k + 1) 4(k + 1) 1 y(k + 1) = yk , k Z+ , 2(k + 1) x(k + 1) = trong đó 1 1 A(k) = 2(k + 1) 4(k + 1) 1 0 2(k + 1) 3 3 A(k) = =q0 tồn tại ( x(0) < Hệ (1.6) gọi , k0 phụ thuộc x(k) < thì ổn định và có một số ổn định là với mỗi ) sao cho với mọi nghiệm k k0 với mọi >0 nếu sao cho lim Hệ là x(k) của hệ mà ổn định tiệm cận x(k) = 0 t > 0, k0... minh Nghiệm của hệ (2.5) là k1 x(k) = F (k, 0)x0 + F (k, s + 1)g(s, x(s)), s=0 trong đó F (k, s) là nghiệm cơ bản của hệ tuyến tính x(k + 1) = A(k)x(k) Từ đó ta có đánh giá k1 x(k) F (x, 0)x0 + F (k, s + 1)g(s, x(s)) s=0 k1 qk x0 q ks1 L(s) + x(s) s=0 Sử dụng bất đẳng thức Gronwall rời rạc ta được k1 x(k) x0 (q + L(s)) s=0 Mặt khác vì lim supL(k) = 0 và k một số N >0 q < 1, nên có một số >0 đủ nhỏ... sâu sắc, có ý nghĩa khi quay trở về nghiên cứu các hệ liên tục Xét hệ động lực được mô tả bởi phương trình điều khiển rời rạc x(k + 1) = A(k)x(k) + B(k)u(k), k = 0, 1, 2, , x(k) Rn , u(k) Rm , trong đó A(k), B(k) u(k) Rm , (m n) biết bài toán x(0) = x0 Cauchy là các ma trận (n ì n) và (n ì m) (2.20) chiều tương ứng, được gọi là véc tơ điều khiển của hệ (2.20) của hệ này luôn có nghiệm Với điều kiện... kiện khi đó lại đòi hỏi về tính điều khiển được của cặp ma trận [A, B] Trước hết ta có định nghĩa sau Định nghĩa 2.2.4 Hệ phương trình (2.22) gọi là một số nguyên dương Để cho gọn ta nói N sao cho [A, B] điều khiển được nếu tồn tại rank[B, AB, A2 B, , AN 1 B] = n điều khiển được nghĩa là hệ (2.22) điều khiển được Bổ đề 2.2.5 (Lyapunov rời rạc) Giả sử F, G là các ma trận hằng số sao cho [F, G] điều... định tính phương trình vi phân có hai phương pháp chủ yếu nghiên cứu tính ổn định của các nghiệm đó là phương pháp số mũ Lyapunov và phương pháp dùng hàm Lyapunov (phương pháp trực tiếp) Trong phạm vi của luận văn chúng tôi chỉ nêu một số kết quả chủ yếu về phương pháp thứ hai Lyapunov Phương pháp thứ hai nghiên cứu sự ổn định là phương pháp dùng hàm Lyapunov, đối với phương pháp này chưa có một thuật... định k , nghĩa ổn định tiệm cận thì hoặc do đó ta có định lý sau Hệ (2.1) là ổn định tiệm cận nếu một trong hai điều kiện sau xảy ra (i) Tồn tại một số (ii)| q : 0 < q < 1 sao cho A = q < 1 |< 1 với mọi Sp(A) Bây giờ ta xét hệ tuyến tính không dừng x(k + 1) = A(k)x(k), k Z+ Định lý 2.1.2 ([3]) Đối với hệ 2.2 ta có khẳng định (i) Hệ là ổn định tiệm cận nếu tồn tại mọi (2.2) q (0, 1) sao cho A(k) . ĐẠI HỌC SƯ PHẠM TRẦN NGUYÊN BÌNH MỘT SỐ TÍNH CHẤT CHỌN LỌC VỀ HỆ ĐỘNG LỰC RỜI RẠC Chuyên ngành: Giải tích Mã số: 60.46.01 L L U U Ậ Ậ N N V V Ă Ă N N T T H H Ạ Ạ C C . CHỌN LỌC VỀ HỆ ĐỘNG LỰC RỜI RẠC L L U U Ậ Ậ N N V V Ă Ă N N T T H H Ạ Ạ C C S S Ĩ Ĩ T T O O Á Á N N H H Ọ Ọ C C Thái Nguyên - năm 2009 Số. Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC SƯ PHẠM TRẦN NGUYÊN BÌNH MỘT SỐ TÍNH CHẤT CHỌN