Luận văn thạc sĩ HUS phương pháp phiếm hàm lyapunov và ứng dụng để nghiên cứu tính ổn định nghiệm của phương trình vi phân có chậm

ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC KHOA HỌC TỰ NHIÊN LƯU THỊ THU HUYỀN PHƯƠNG PHÁP PHIẾM HÀM LYAPUNOV VÀ ỨNG DỤNG ĐỂ NGHIÊN CỨU TÍNH ỔN ĐỊNH NGHIỆM CỦA PHƯƠNG TRÌNH VI PHÂN CĨ CHẬM LUẬN VĂN THẠC SĨ KHOA HỌC Hà Nội - Năm 2014 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC KHOA HỌC TỰ NHIÊN LƯU THỊ THU HUYỀN PHƯƠNG PHÁP PHIẾM HÀM LYAPUNOV VÀ ỨNG DỤNG ĐỂ NGHIÊN CỨU TÍNH ỔN ĐỊNH NGHIỆM CỦA PHƯƠNG TRÌNH VI PHÂN CĨ CHẬM Chun ngành: Tố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 - Năm 2014 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Mục lục Mở đầu Sự ổn định nghiệm phương trình vi phân khơng gian Banach 1.1 Một số khái niệm 1.1.1 1.1.2 1.2 Sự tồn nghiệm phương trình vi phân tuyến tính Các khái niệm ổn định Phương pháp phiếm hàm Lyapunov phương trình vi phân khơng gian Banach 10 1.3 Phương pháp xấp xỉ thứ 15 1.3.1 Sự tồn nghiệm phương trình vi phân tuyến tính 15 1.3.2 Sự ổn định nghiệm phương trình vi phân tuyến tính có nhiễu 19 1.4 Phương pháp phiếm hàm Lyapunov Rn 20 1.4.1 Các hàm xác định dấu 20 1.4.2 Đạo hàm phiếm hàm Lyapunov dọc theo nghiệm hệ phương trình vi phân 22 1.4.3 Định lý thứ Lyapunov ổn định 22 1.4.4 Định lý thứ hai Lyapunov ổn định tiệm cận 23 1.4.5 Định lý thứ ba Lyapunov không ổn định 24 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 1.5 Sự ổn định mũ 25 1.6 Phương pháp chọn hàm Lyapunov cho hệ phương trình vi phân tuyến tính với hệ số 28 Phương pháp phiếm hàm Lyapunov nghiên cứu tính ổn định nghiệm phương trình vi phân hàm 2.1 2.2 2.3 2.4 Khái niệm phương trình vi phân hàm 35 2.1.1 Định nghĩa ký hiệu 35 2.1.2 Định lý tồn nghiệm 36 Phương pháp tìm nghiệm phương trình vi phân hàm 37 2.2.1 Phương pháp bước 37 2.2.2 Phương pháp toán tử Laplace 38 Lý thuyết ổn định theo Lyapunov 41 2.3.1 Các khái niệm ổn định 41 2.3.2 Phương pháp hàm Lyapunov 42 Định lý Razumikhin 50 Một số mơ hình ứng dụng 3.1 3.2 35 55 Mơ hình ứng dụng quần thể sinh học 55 3.1.1 Mơ hình thú - mồi Lotka - Volterra dạng đơn giản 56 3.1.2 Mơ hình cạnh tranh Lotka - Volterra 61 3.1.3 Mơ hình cộng sinh Lotka-Volterra 66 3.1.4 Mơ hình Lotka-Volterra cho ba lồi 69 3.1.5 Một số nhận xét chung mơ hình quần thể đa lồi 71 Mơ hình Lotka-Volterra có chậm 73 3.2.1 Tính ổn định tiệm cận địa phương 74 3.2.2 Tính ổn định tiệm cận toàn cục 79 3.3 Sự ổn định trình chuyển động quay vật thể rắn 83 3.4 Sự ổn định phi chuyển động 84 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Mở đầu Lý thuyết ổn định phương trình vi phân hướng nghiên cứu có ý nghĩa quan trọng lý thuyết định tính phương trình vi phân Lý thuyết xuất phát từ đòi hỏi thực tế có nhiều ứng dụng lĩnh vực thực tế khác nhau, như: Vật lý, Sinh thái học, Cơ học, Trong năm gần có nhiều cơng trình nhà khoa học nước sâu nghiên cứu lĩnh vực Để nghiên cứu tính ổn định nghiệm phương trình vi phân, thường sử dụng phương pháp nhà toán học người Nga A.E.Lyapunov Ngày nay, yêu cầu ứng dụng thực tế phát triển vượt bậc toán học, việc nghiên cứu toán ổn định mở rộng theo nhiều hướng, số nghiên cứu phương trình vi phân có chậm Trong luận văn đề cập đến số vấn đề sau đây: - Trình bày lại kết tính ổn định nghiệm phương trình vi phân khơng gian Banach, khơng gian Rn phương pháp hàm Lyapunov phương trình vi phân hàm - Phần cuối luận văn dành cho việc trình bày chi tiết số ứng dụng phương pháp hàm Lyapunov phương pháp xấp xỉ thứ cho mơ hình ứng dụng Bố cục luận văn gồm ba chương: Chương 1: Trình bày số tính chất nghiệm phương trình vi phân không gian Banach không gian Rn Chương 2: Trình bày tính chất nghiệm phương trình vi phân có chậm LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Chương 3: Trình bày số ứng dụng tính ổn định nghiệm phương trình vi phân Bản luận văn thực hướng dẫn tận tình PGS TS Đặng Đình Châu Nhân dịp 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 thời gian công sức để hướng dẫn, kiểm tra, giúp đỡ tơi việc hồn thành luận văn Tơi xin gửi lời cảm ơn đến thầy cô giáo Khoa Toán - Cơ - Tin học, trường Đại học Khoa học Tự nhiên - ĐHQG Hà Nội kiến thức điều tốt đẹp mang lại cho thời gian học tập trường Tôi xin cảm ơn phòng Sau đại học điều kiện thuận lợi việc hoàn thành thủ tục học tập bảo vệ luận văn Cuối muốn bày tỏ lịng biết ơn gia đình, người thân chỗ dựa tinh thần vật chất cho sống học tập Mặc dù có nhiều cố gắng luận văn khó tránh khỏi thiếu sót Tơi mong nhận góp ý quý thầy cô bạn để luận văn hoàn thiện Hà Nội, tháng 10 năm 2014 Lưu Thị Thu Huyền LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Chương Sự ổn định nghiệm phương trình vi phân khơng gian Banach 1.1 1.1.1 Một số khái niệm Sự tồn nghiệm phương trình vi phân tuyến tính Giả sử B không gian Banach Trong không gian B ta xét phương trình vi phân dx(t) = f (t, x(t)), dt (1.1) t ∈ R+ , x(.) ∈ B hàm f : R+ × D → D với D miền đơn liên không gian Banach B Ta hiểu nghiệm (1.1) nghiệm cổ điển theo nghĩa sau Định nghĩa 1.1.1 Hàm x = x(t), (x : I → B; I ⊂ R+ ) xác định I , khả vi liên tục theo t ∈ I gọi nghiệm (1.1) thay vào (1.1) ta thu đồng thức I Tức dx(t) = f (t, x(t)); ∀t ∈ I dt LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Bài toán Cauchy: Tìm nghiệm x = x(t) phương trình (1.1) thỏa mãn điều kiện ban đầu x(t0 ) = x0 với (t0 , x0 ) ∈ I × B cho trước Tương ứng với phương trình (1.1) ta thường xét phương trình tích phân sau: t x(t) = x0 + f (τ, x(τ ))dτ (1.2) t0 Nhận xét: Nếu hàm f liên tục theo chuẩn B ta nghiệm (1.2) nghiệm tốn Cauchy ngược lại Ký hiệu S(ε,µ) = (t, x) ∈ R+ × B : |t − t0 | ≤ ε, ||x − x0 || ≤ µ , với ε > 0, µ > lân cận đóng điểm (t0 , x0 ) Khi ta có định lý tồn nghiệm toán Cauchy sau: Định lý 1.1.1 (Tính nghiệm địa phương) Giả sử tồn lân cận đóng (t0 , x0 ) cho lân cận hàm f (t, x) liên tục theo t, ||f (t, x0 )|| ≤ M0 < +∞ thỏa mãn điều kiện Lipschitz: ||f (t, x2 ) − f (t, x1 )|| ≤ M ||x2 − x1 || (1.3) M số hữu hạn Khi tồn lân cận điểm x0 mà lân cận (1.1) có nghiệm x = x(t) thỏa mãn điều kiện ban đầu x(t0 ) = x0 Chứng minh Từ giả thiết suy tồn ε, η > cho miền |t − t0 | ≤ ε, ||x − x0 || ≤ η , ta có: ||f (t, x)|| ≤ ||f (t, x0 )|| + ||f (t, x) − f (t, x0 )|| ≤ ||f (t, x0 )|| + M η ≤ M1 < +∞ Lấy δ = ε, Mη1 ký hiệu Cδ (B) không gian Banach hàm liên tục x(t) xác định |t − t0 | ≤ δ với chuẩn |||x||| = sup ||x(t)|| |t−t0 |≤δ LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Gọi Bη (x0 ) = {x ∈ Cδ (B) : |||x − x0 ||| ≤ η} Xét toán tử t (Sx)(t) = x0 + f (τ, x(τ ))dτ t0 Ta có: t ||(Sx)(t) − x0 || = || f (τ, x(τ ))dτ || ≤ ||t − t0 || sup ||f (τ, x(τ ))|| τ ∈[t0 ,t] t0 ≤ δM1 ≤ η (∀x(t) ∈ Bη ) Ta thấy toán tử S ánh xạ từ Bη vào Bη Hơn nữa, với x1 , x2 ∈ Bη , từ điều kiện Lipschitz ta có đánh giá t ||f (τ, x2 (τ )) − f (τ, x1 (τ ))||dτ ||(Sx2 )(t) − (Sx1 )(t)|| ≤ t0 t ||x2 (τ ) − x1 (τ )||dτ ≤ M (t − t0 )|||x2 − x1 ||| ≤M t0 Mặt khác ta lại có: t ||(S x2 )(t) − (S x1 )(t)|| ≤ M ||(Sx2 )(τ ) − (Sx1 )(τ )||dτ t0 t ≤ M |||x2 − x1 ||| (τ − t0 )dτ t0 = [M (t − t0 )]2 |||x2 − x1 ||| 2! Sử dụng phép đánh giá liên tiếp ta được: [M (t − t0 )]n |||x2 − x1 ||| n! [δM ]n ||S n x2 − S n x1 || ≤ |||x2 − x1 ||| n! ||(S n x2 )(t) − (S n x1 )(t)|| ≤ Do [δM ]n n! → n → +∞ nên với n đủ lớn S n tốn tử co Bη Do tồn nghiệm x(t) ∈ Bη phương trình tích phân: t x(t) = x0 + f (τ, x(τ ))dτ t0 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Định lý 1.1.2 (Tính nghiệm tồn cục) Giả sử tồn miền [a, b] × B mà hàm f (t, x) liên tục theo biến t thỏa mãn điều kiện Lipschitz (1.3) Khi với (t0 , x0 ) ∈ [a, b]× B, tốn Cauchy có nghiệm x = x(t) xác định [a, b] Chứng minh tương tự định lý (1.1.1) với ý: (i) Từ giả thiết định lý ta suy hàm f (t, x) giới nội [a, b] × D với D tập compact không gian Banach B (ii) Bη định lý trước thay C(B) gồm tất hàm x(t) xác định liên tục [a, b], lấy giá trị không gian Banach B có chuẩn xác định |||x||| = sup ||x(t)|| [a,b] Định lý 1.1.3 (Sự kéo dài nghiệm toán Cauchy) Giả sử ||x|| < ∞, t ≥ t0 , hàm f (t, x) thỏa mãn điều kiện ||f (t, x(t))|| ≤ L(||x||), L(r) hàm liên tục có tính chất r r0 dr → ∞ r → +∞ L(r) Khi nghiệm phương trình (1.2) kéo dài khoảng thời gian vô hạn t0 ≤ t < +∞ Chứng minh Vì || x(t2 ) − x(t1 ) ||x(t2 )|| − ||x(t1 )|| dx d||x|| || ≥ ⇒ || || ≥ t2 − t1 t2 − t1 dt dt Mặt khác ta có dx(t) dt = f (t, x(t)) ||f (t, x)|| ≤ L(||x||) ta suy L(||x||) ≥ d||x|| dt Lấy tích phân dọc theo đường cong x = x(t) từ điểm x0 = x(t0 ) đến điểm x theo chiều tăng t ta được: t t dr ≥ t0 t0 d||x|| dr ⇒ t − t0 ≥ dt L(||x||) ||x|| ||x0 || dr Lr Đổi biến r = x(t) Do r r0 dr → ∞ r → +∞ L(r) LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com với N T , P T ma trận chuyển vị N, P B C ma trận vuông cấp k x k : B = (bij ), C = (cij ) Với N ∗ , P ∗ từ (3.21) ta đặt: N = N ∗ + u, P = P ∗ + v |u|, |v| xấp xỉ với |N ∗ |, |P ∗ | Ta có dv du ≈ −N ∗T Bv, ≈ P ∗T Cu dt dt Từ du  dt  ≈ A dv dt   u v , A= −N ∗T B P ∗T C 0 (3.22) A ma trận tổng quát cấp 2k × 2k với giá trị nằm đường chéo Khi đó, giá trị riêng λi , i = 1, 2, , 2k nghiệm |A − λ.E| = 2k cho λi = T rA = T rA vết ma trận A i=1 Nếu tất Reλi = trạng thái dừng (N ∗ , P ∗ ) ổn định trường hợp hai loài Nếu Reλi có λi = chúng có phức liên hợp , có nghĩa tồn Reλi > (N ∗ , P ∗ ) khơng ổn định Đây mơ hình tổng qt, mở rộng cho k loài thú k loài mồi Mơ hình dạng gọi mơ hình Kolmogorov Tuy khơng mang tính thực tế cao chúng cho ta thấy kết chung quan trọng phức tạp thường có kết khơng ổn định ổn định 3.2 Mơ hình Lotka-Volterra có chậm Trong phần xét mơ hình cạnh tranh Lotka-Volterra có chậm Xét mơ hình cạnh tranh Lotka-Volterra có chậm cho hệ sau: x(t) ˙ = x(t) [b1 − a11 x(t − τ11 ) − a12 y(t − τ12 )] y(t) ˙ = y(t) [b2 − a21 x(t − τ21 ) − a22 y(t − τ22 )] (3.23) 73 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com với điều kiện ban đầu     x(t) = Φ1 (t) ≥ t ∈ [τ, 0], Φ1 (0) > 0, y(t) = Φ (t) ≥ t ∈ [τ, 0], Φ2 (0) > 0,    τ = max {τ } ij (3.24) x(t), y(t) mật độ hai lồi thời điểm t, bi aij số dương, τij không âm Nếu tất thời gian chậm τij khơng hệ (3.23) trở trường hợp đơn giản x(t) ˙ = x(t) [b1 − a11 x(t) − a12 y(t)] y(t) ˙ = y(t) [b2 − a21 x(t) − a22 y(t)] (3.25) Nếu a11 b1 a12 > > , a21 b2 a22 (3.26) tất nghiệm Z(t) = (x(t), y(t)) (3.25) có điểm cân Z ∗ = (x∗ , y ∗ ) t → +∞, x∗ = 3.2.1 b1 a22 − b2 a12 , a11 a22 − a21 a12 y∗ = b2 a11 − b1 a21 a11 a22 − a21 a12 (3.27) Tính ổn định tiệm cận địa phương Ta thấy từ điều kiện (3.26), hệ (3.23) có điểm cân Z ∗ = (x∗ , y ∗ ), với x∗ , y ∗ xác định (3.27) Đặt u(t) = x(t) − x∗ , v(t) = y(t) − y ∗ Khi (u(t), v(t)) thỏa mãn hệ phương trình u(t) ˙ = (u(t) + x∗ ) [−a11 u(t − τ11 ) − a12 v(t − τ12 )] v(t) ˙ = (v(t) + y ∗ ) [−a21 u(t − τ21 ) − a22 v(t − τ22 )] (3.28) Ta thấy (3.29) biến thiên (3.23) với điểm cân Z ∗ = (x∗ , y ∗ ) hệ phương trình tuyến tính u(t) ˙ = −a11 x∗ u(t − τ11 ) − a12 x∗ v(t − τ12 ) v(t) ˙ = −a21 y ∗ u(t − τ21 ) − a22 y ∗ v(t − τ22 ) (3.29) 74 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Đặt p11 = a11 (2a11 τ11 + a12 τ12 + a12 τ11 ), p12 = a12 (2a12 τ12 + a11 τ11 + a11 τ12 ) p21 = a21 (2a21 τ21 + a22 τ22 + a22 τ21 ), p22 = a22 (2a22 τ22 + a21 τ21 + a21 τ22 ) 1 q1 = a11 a21 (τ11 + τ21 ) + a11 a22 (τ11 + τ22 ) + a12 a21 (τ12 + τ21 ) 2 1 q2 = a12 a22 (τ12 + τ22 ) + a11 a22 (τ11 + τ22 ) + a12 a21 (τ12 + τ21 ) 2 a222 + a221 a211 + a212 2(a12 y ∗ α + a21 x∗ β) α= , β= , γ= , a11 a22 + a12 a21 a11 a22 + a12 a21 a11 x∗ + a22 y ∗ 2(y ∗ + x∗ β)∆ 2(x∗ + y ∗ α)∆ , r = ∆ = a11 a22 − a21 a12 , r1 = ∗ x (a11 x∗ + a22 y ∗ ) y ∗ (a11 x∗ + a22 y ∗ ) Định lý 3.2.1 Với giả thiết (3.26) Nếu biến chậm τij thỏa mãn αp11 + βp21 + γq1 < r1 (3.30) αp12 + βp22 + γq2 < r2 điểm cân Z ∗ = (x∗ , y ∗ ) hệ (3.23) ổn định tiệm cận địa phương Chứng minh Hệ phương trình (3.29) viết dạng sau  t t  u(t)  = −a11 u(t) − a12 v(t) x∗ − a11 t−τ11 u(s)ds − a12 t−τ12 v(s)ds   v(t) y∗ t − a21 t−τ21 t u(s)ds − a22 t−τ22 v(s)ds (3.31) = −a21 u(t) − a22 v(t) Đặt u(t) A(t) = ∗ − a11 x B(t) = v(t) − a21 y∗ t t u(s)ds − a12 t−τ11 t v(s)ds t−τ12 t u(s)ds − a22 t−τ21 v(s)ds t−τ22 Chúng ta chứng minh định lý việc sử dụng phiếm hàm Lyapunov: W (t) = αW1 (Z)(t) + βW2 (Z)(t) + γW3 (Z)(t) (3.32) W1 (t) = W11 (Z)(t) + W12 (Z)(t) W2 (t) = W21 (Z)(t) + W22 (Z)(t) W3 (t) = W31 (Z)(t) + W32 (Z)(t) 75 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com với Wij (Z)(t) xác định phần đây: Đầu tiên ta xét hàm vô hướng W11 (Z)(t), Z(t) = (u(t), v(t)) W11 (Z)(t) = A2 (t) (3.33) Đạo hàm dọc theo nghiệm (3.31): dW11 (Z)(t)/dt cho 2a11 dW11 (Z)(t) 2a12 = −2(a11 u + a12 v)A(t) = − ∗ u2 − ∗ uv + 2(a11 u + a12 v) dt x x t t × v(s)ds u(s)ds + a12 a11 t−τ12 t−τ11 Sử dụng bất đẳng thức ab ≤ 12 (a2 + b2 ), ta có t 2a211 u(t) t t u(t)u(s)ds ≤ a211 u2 (t)τ11 + u(s)ds = 2a211 t−τ11 u2 (t)ds t−τ11 t−τ11 Làm tương tự vậy, ta thu dW11 (Z)(t) 2a11 2a12 ≤ − ∗ u2 − ∗ uv + a11 τ11 (a11 u2 + a12 v ) + a12 τ12 (a11 u2 + a12 v ) dt x x t t u2 (s)ds + a12 (a11 + a12 ) +a11 (a11 + a12 ) t−τ11 v (s)ds (3.34) t−τ12 Tiếp theo ta đặt t t t t W12 (Z)(t) = (a11 + a12 ) a11 v (l)dlds u (l)dlds + a12 t−τ11 s t−τ12 s dW12 (Z)(t) = a11 (a11 + a22 ) τ11 u2 (t) − dt t u2 (s)ds t−τ11 t +a12 (a11 + a22 ) τ12 v (t) − v (s)ds (3.35) t−τ12 Như định nghĩa W1 (t) = W11 (Z)(t) + W12 (Z)(t) Do đó, từ (3.34) (3.35) ta có 2a11 2a12 dW1 (t) − p uv + p12 v ≤− u − 11 dt x∗ x∗ (3.36) W21 (Z)(t) = B (t), (3.37) Tiếp theo, đặt 76 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Làm tương tự ta có: dW21 (Z)(t) 2a22 2a21 ≤ − ∗ v − ∗ uv + a21 τ21 (a21 u2 + a22 v ) + a22 τ22 (a21 u2 + a22 v ) dt y y t t +a21 (a21 + a22 ) v (s)ds u (s)ds + a22 (a21 + a22 ) t−τ21 (3.38) t−τ22 t t t t v (l)dlds + a21 W22 (Z)(t) = (a22 + a21 ) a22 t−τ22 u2 (l)dlds s t−τ21 (3.39) s Và dW2 (t) ≤− dt 2a22 − p22 y∗ v2 − 2a21 uv + p21 u2 ∗ y (3.40) Và cuối ta lấy W31 (Z)(t) = −A(t)B(t), (3.41) Khi a21 a12 dW31 (Z)(t) = ∗ u2 + ∗ v + dt x y a22 a11 + ∗ x∗ y uv t t − (a11 u + a12 v) a21 u(s)ds + a22 t−τ21 t − (a21 u + a22 v) a11 v(s)ds t−τ22 t v(s)ds u(s)ds + a12 t−τ12 t−τ11 a21 a12 a22 a11 u + ∗v + + ∗ uv ∗ x y x∗ y + (a11 u2 + a12 v )(a21 τ21 + a22 τ22 ) ≤ t + (a11 + a12 ) a21 u2 (s)ds + a22 t−τ21 + (a21 u2 + a22 v )(a11 τ11 + a12 τ12 ) t (a21 + a22 ) a11 + u2 (s)ds + a12 t−τ11 t v (s)ds t−τ22 t v (s)ds t−τ12 với W32 (Z)(t) = (a11 + a12 ) a21 + (a21 + a22 ) a11 t t t t v (l)dlds u (l)dlds + a22 t−τ21 t s t−τ22 t t s t v (l)dlds u (l)dlds + a12 t−τ11 s t−τ12 s 77 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Từ W3 (t) = W31 (Z)(t) + W32 (Z)(t), tương tự phần trước ta suy dW3 (t) ≤ dt a21 + q1 u + x∗ a12 + q2 y∗ v2 + a22 a11 + ∗ x∗ y uv (3.42) Từ biểu thức W1 (t), W2 (t), W3 (t) W (t), ta có: W (t) = αA2 (t)+βB (t)−γA(t)B(t)+αW12 (Z)(t)+βW22 (Z)(t)+γW32 (Z)(t) (3.43) Dễ thấy γ − 4αβ = 4∆ (a12 a21 + a11 a22 )[(a222 + a221 )y ∗ + (a211 + a212 )x∗ ] + 2(a222 + a221 )(a211 + a212 )x∗ y ∗ − (a11 x∗ + a22 y ∗ )2 (a11 a22 + a12 a21 )2 Kết hợp (3.43), ta có W (t) > Từ (3.32), kết hợp với (3.36), (3.40) (3.42) ta có: dW (t) ≤ −η1 u2 − η2 v , dt (3.44) η1 = r1 − αp11 − βp21 − γq1 η2 = r2 − αp12 − βp22 − γq2 Từ bất đẳng thức (3.30) ta thấy η1 > 0, η2 > Đặt η = {η1 , η2 }, từ (3.30) ta suy t [u2 (s) + v (s)]ds ≤ W (T ) với t ≥ T W (t) + η (3.45) T u2 (t) + v (t) ∈ L1 [T, ∞) Dễ thấy từ (3.29) tính bị chặn Z(t), ta suy lim u2 (t) + v (t) = t→∞ nghiệm tầm thường hệ (3.29) ổn định tiệm cận địa phương 78 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 3.2.2 Tính ổn định tiệm cận toàn cục Để chứng minh ổn định toàn cục cân hệ (3.23), ta xây dựng phiếm hàm Lyapunov thích hợp Trước tiên, ta xét bổ đề sau Bổ đề 3.2.1 Gọi (x(t), y(t)) nghiệm (3.23) với điều kiện ban đầu (3.24) Khi (x(t), y(t)) thỏa mãn đánh giá sau < x(t) ≤ M1 , < y(t) ≤ M2 (3.46) với t đủ lớn, M1 = b1 a11 eb1 τ11 , M2 = b2 a22 eb2 τ22 (3.47) Bổ đề 3.2.2 Với điều kiện (3.26) hệ (3.23) ổn định Sau ta đưa điều kiện ổn định toàn cục Z ∗ hệ (3.23): Định lý 3.2.2 Giả sử có (3.26) Nếu aii τii Mi < 1(i = 1, 2) A11 A22 − A12 A21 > 0, (3.48) A11 = a11 (1 − a11 τ11 M1 ), A12 = −a12 (1 + a11 τ11 M1 ), A21 = −a21 (1 + a22 τ22 M2 ), A22 = a22 (1 − a22 τ22 M2 ) (3.49) Mi cho (3.47) Khi điểm cân (x∗ , y ∗ ) (3.23) ổn định tiệm cận toàn cục Chứng minh Gọi Z(t) = (x(t), y(t)) nghiệm hệ (3.23) thỏa mãn điều kiện ban đầu (3.24) Đặt u(t) = ln x(t) , x∗ v(t) = ln y(t) y∗ (3.50) 79 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Khi từ (3.23) (3.50) ta có u (t) = −a11 x∗ eu(t−τ11 ) − − a12 y ∗ ev(t−τ12 ) − (3.51) v (t) = −a21 x∗ eu(t−τ21 ) − − a22 y ∗ ev(t−τ22 ) − (3.52) Phương trình (3.51) (3.52) viết sau: u (t) = −a11 x∗ eu(t) − − a12 y ∗ ev(t−τ12 ) − t eu(s) −a11 x∗ (eu(s−τ11 ) − 1) − a12 y ∗ (ev(s−τ12 ) − 1) ds, +a11 x∗ (3.53) t−τ11 v (t) = −a21 x∗ eu(t−τ21 ) − − a22 y ∗ ev(t) − t +a22 y ∗ ev(s) −a21 x∗ (eu(t−τ21 ) − 1) − a22 y ∗ (ev(s−τ22 ) − 1) ds (3.54) t−τ22 Bây ta tìm hàm Lyapunov Đặt V11 (t) = |u(t)| (3.55) Đạo hàm phải V11 theo nghiệm (3.51) Từ (3.53) (3.54), ta có D+ V11 |(3.51) ≤ −a11 x∗ |eu(t) − 1| + a12 y ∗ |ev(t−τ12 ) − 1| t + a11 x ∗ eu(s) (a11 x∗ |eu(s−τ11 ) − 1| + a12 y ∗ |ev(s−τ12 ) − 1)|)ds t−τ11 Từ bổ đề (3.2.1), ta thấy tồn số T0 ≥ cho x∗ eu(t) = x(t) ≤ M1 với t ≥ T0 với t ≥ T = T0 + τ ta có D+ V11 |(3.51) ≤ −a11 x∗ |eu(t) − 1| + a12 y ∗ |ev(t−τ12 ) − 1| + a11 M1 t × a11 x∗ t |eu(s−τ11 ) − 1|ds + a12 y ∗ t−τ11 |ev(s−τ12 ) − 1)|ds (3.56) t−τ11 Ta định nghĩa hàm Lyapunov sau V1 = V11 (t) + V12 (t), (3.57) 80 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com t t V12 (t) = a11 M1 a11 x∗ |eu(l−τ11 ) − 1|dlds + a12 y ∗ t−τ11 t s t |ev(l−τ12 ) − 1|dlds × t−τ11 s t t + a11 τ11 M1 a11 x∗ |eu(s) − 1|ds + a12 y ∗ t−τ11 |ev(s) − 1|ds t−τ12 t +a12 y ∗ |ev(s) − 1|ds (3.58) t−τ12 Khi đó, từ (3.56) - (3.58) với t ≥ T ta có: D+ V1 ≤ −a11 x∗ (1 − a11 τ11 M1 )|eu(t) − 1| + a12 y ∗ (1 + a11 τ11 M1 )|ev(t) − 1| = A11 x∗ |eu(t) − 1| − A12 y ∗ |ev(t) − 1| (3.59) Tiếp theo, đặt V2 (t) = V21 (t) + V22 (t), (3.60) V22 (t) = |v(t)| (3.61) t V21 (t) = a22 M2 a21 x t ∗ |eu(l−τ21 ) − 1|dlds + a22 y ∗ t−τ22 t s t |ev(l−τ22 ) − 1|dlds × t−τ22 s t + a22 τ22 M2 a21 x∗ t |eu(s) − 1|ds + a22 y ∗ t−τ21 |ev(s) − 1|ds t−τ22 t +a21 x ∗ |eu(s) − 1|ds (3.62) t−τ21 Từ (3.60) - (3.62) ta có D+ V2 ≤ −a22 y ∗ (1 − a22 τ22 M2 )|ev(t) − 1| + a21 x∗ (1 + a22 τ22 M2 )|eu(t) − 1| = −A22 |ev(t) − 1| − A21 |eu(t) − 1| (3.63) 81 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Theo giả thiết (3.48), ta biết A∗ = (Aij )2×2 ma trận tồn số dương d1 d2 cho A11 d1 + A21 d2 = δ1 > 0, A12 d1 + A22 d2 = δ2 > (3.64) Bây ta định nghĩa hàm Lyapunov V (t) sau V (t) = d1 V1 (t) + d2 V2 (t), (3.65) Khi đó, với t ≥ T , từ (3.59), (3.63) (3.65) ta có D+ V (t) ≤ −(A11 d1 + A21 d2 )|eu(t) − 1| − (A12 d1 + A22 d2 )|ev(t) − 1| = −δ1 x∗ |eu(t) − 1| − δ2 y ∗ |ev(t) − 1| (3.66) Từ (3.23) ta thấy, tồn số m1 , m2 mà x(t) = x∗ eu(t) ≥ m1 , y(t) = y ∗ ev(t) ≥ m2 suy x∗ |eu(t) − 1| = x∗ eθ1 (t) |u(t)| ≥ m1 |u(t)|, y ∗ |ev(t) − 1| = y ∗ eθ2 (t) |v(t)| ≥ m2 |u(t)| x∗ eθ1 (t) x(t) x∗ , y ∗ eθ2 (t) y(t) y ∗ Đặt δ = {δ1 m1 , δ2 m2 }, từ (3.66) ta có D+ V (t) ≤ −δ(|u(t)| + |v(t)|) (3.67) Chú ý V (t) ≥ (|u(t)| + |v(t)|), kết hợp với (3.67) ta có điểm cân hệ (3.51), (3.52) ổn định tiệm cận toàn cục, suy điểm cân hệ (3.23) ổn định tiệm cận tồn cục Ví dụ 3.2.1 Xét hệ phương trình vi phân có chậm sau x (t) = x(t)(1 − x(t − τ11 ) − 0, 5y(t − τ12 )) y (t) = y(t)(1 − 0, 5x(t − τ21 ) − y(t − τ22 )) Theo định lý (3.2.1) điểm cân 2 3, (3.68) hệ (3.68) ổn định tiệm cận địa phương thỏa mãn điều kiện sau: 28τ11 + 8τ22 + 5τ12 + 13τ21 < 18, 28τ22 + 8τ11 + 13τ12 + 5τ21 < 18 82 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Vậy điểm cân 2 3, hệ (3.68) ổn định tiệm cận địa phương τ11 < , τ22 < , Theo định lý (3.2.2) điểm cân 2 3, τ12 = τ21 = hệ (3.68) ổn định tiệm cận toàn cục > τ11 eτ11 , > τ22 eτ22 , 3(1 + τ11 τ22 eτ11 +τ22 ) > 5(τ11 eτ11 + τ22 eτ22 ) Từ điều kiện (3.69) ta thấy cân 2 3, (3.69) hệ (3.68) ổn định tiệm cận toàn cục τ11 = τ22 = 15 , τ21 τ12 số dương 3.3 Sự ổn định trình chuyển động quay vật thể rắn Xét chuyển động vật thể hệ tọa độ Oxyz với điểm bất động gốc tọa độ O (không có ngoại lực tác động) Ký hiệu A, B, C momen quán tính vật thể gốc tọa độ O, w - vector vận tốc góc hệ tọa độ xét Giả sử p, q, r hình chiếu vector w lên trục chính, phương trình chuyển động Ơle có dạng    Ap˙ = (B − C)qr B q˙ = (C − A)rp   C r˙ = (A − B)pq (3.70) Phương trình xác lập quay xung quanh trục thứ tương ứng với điểm p = p0 , q = 0, r = Sử dụng phép đổi biến x = p − p0 ; y = q; z = r, ta có điểm tới hạn gốc tọa độ nhận hệ phương trình rút gọn  B−C   x˙ = A yz y˙ =   z˙ = C−A B (p0 A−B C (p0 + x)z (3.71) + x)y 83 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com *) Nếu A < B ≤ C trình quay thực quanh trục lớn elipxoit qn tính Có thể chọn hàm Lyapunov: V : R3 → R+ xác định sau: V = B(B − A)y + C(C − A)z + By + Cz + A x2 + 2xp0 Ta thấy: Vì A < B ≤ C nên hàm Lyapunov xác định hàm xác định dương Tính toán ta V˙ = Vậy hàm V thỏa mãn điều kiện định lý thứ Lyapunov Do nghiệm tầm thường hệ cho ổn định *) Nếu A > B ≥ C tương tự cách chọn hàm Lyapunov V = B(A − B)y + C(A − C)z + By + Cz + A x2 + 2xp0 ta có nghiệm tầm thường hệ cho ổn định 3.4 Sự ổn định phi chuyển động Quan sát phi bay (có thể chim bay), giả sử mặt đối xứng trùng với mặt thẳng đứng hệ trục tọa độ thời điểm trình chuyển động Giả sử v tốc độ trọng tâm vật thể, θ góc vector chuyển động với trục hoành (trục nằm ngang) Giả sử trục chuyển động (trục hướng theo chiều dài phi cơ) tạo nên góc khơng đổi α với v Ký hiệu CD (α) CL (α) hệ số phản lực tùy ý lực đẳng Khi ta có phương trình biến thiên v θ có dạng mv˙ = −mg sin θ − CD (α)v mv θ˙ = −mg cos θ + CL (α)v Bằng cách đặt v02 = mg , CL τ= gt , v0 y= v , v0 α= CD CL 84 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com ta đưa phương trình xét dạng dy dτ dθ dτ = − sin θ − ay = − cos θ+y y Ở ta xét trường hợp đơn giản a = Khi hệ trở thành: dy dτ dθ dτ = − sin θ = − cos θ+y y Hệ phương trình có điểm suy biến y0 = 1, θ0 = 2kπ(k ∈ N) (các trường hợp tương ứng với trường hợp phi bay theo chiều ngang với vận tốc số) Ta cần xét trường hợp y0 = 1, θ0 = Dễ kiểm tra V (y, θ) = y − y cos θ + tích phân đầu hệ phương trình xét a = Ngoài ta nhận thấy lân cận điểm (1, 0) ta có: V (y, θ) > V (1, 0) = Hơn ta cịn chứng minh V˙ (t, x) ≤ 0, chuyển động phi thời điểm ổn định 85 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com KẾT LUẬN Luận văn trình bày lại kết tính ổn định nghiệm phương trình vi phân khơng gian Banach phương trình vi phân hàm Trong trường hợp riêng xét tính ổn định nghiệm phương trình vi phân khơng gian Rn đặc biệt trường hợp n = 2, 3, dựa vào đặc điểm cấu trúc tôpô không gian Euclide n chiều, cách cụ thể việc sử dụng phương pháp phiếm hàm Lyapunov bước đầu đề cập tới phương pháp xây dựng phiếm hàm Lyapunov hệ phương trình vi phân tuyến tính với hệ số số Trong phần cuối chúng tơi trình bày chi tiết số ứng dụng phương pháp phiếm hàm Lyapunov phương pháp xấp xỉ thứ cho số mơ hình ứng dụng 86 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com TÀI LIỆU THAM KHẢO Tiếng Việt Nguyễn Thế Hoàn - Phạm Phu (2010), Cơ sở phương trình vi phân lý thuyết ổn định, Nhà xuất Giáo dục Tiếng Anh Earl A Coddington, Robert Carlson (1997), Linear ordinary differential equa- tions Ivanka Stamova, Stability Analysis of Impulsive Functional Differential Equa- tion Ju.L.Dalekii and M.G.Krein (1974), Stability of Differential Equations in Ba- nach Space, American Mathematical Society Providence, Rhode Island J.D.Murray (2002), Mathematical Biology: I.An Introducation Third Edition, Springer J.D.Murray (2002), Mathematical Biology: II.An Introducation Third Edition, Springer M.G.Krein (1971), Linear Differential Equations in Banach Space, Providence, Rhode Island Yang Kuang, Delay differential equations with application in population dy- namics 87 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com ... THỊ THU HUYỀN PHƯƠNG PHÁP PHIẾM HÀM LYAPUNOV VÀ ỨNG DỤNG ĐỂ NGHIÊN CỨU TÍNH ỔN ĐỊNH NGHIỆM CỦA PHƯƠNG TRÌNH VI PHÂN CĨ CHẬM Chun ngành: Tốn giải tích Mã số: 60460102 LUẬN VĂN THẠC SĨ KHOA HỌC NGƯỜI... 1.6 Phương pháp chọn hàm Lyapunov cho hệ phương trình vi phân tuyến tính với hệ số 28 Phương pháp phiếm hàm Lyapunov nghiên cứu tính ổn định nghiệm phương trình vi phân hàm. .. thuyết ổn định theo Lyapunov Các khái niệm ổn định Để nghiên cứu tính ổn định phương trình vi phân hàm thường áp dụng phương pháp hàm Lyapunov Sau đây, chúng tơi xin trình bày khái niệm ổn định nghiệm