Phương trình vi phân với hệ số tuần hoàn

ĐẠI HỌC THÁI NGUYÊN ĐẠI HỌC KHOA HỌC NGUYỄN THỊ HƯƠNG PHƯƠNG TRÌNH VI PHÂN VỚI HỆ SỐ TUẦN HOÀN CHUYÊN NGÀNH: TOÁN ỨNG DỤNG 2012 M CL C Trang M c l c…………………………………………………………… M u…………… …………………………………………… L i c m n………………………………………………………… Ch th ng Lý thuy t Floquet cho h ph ng trình vi phân ng 1.1 Các khái ni m c b n c a ph ng trình vi phân th ng………… 1.2 Lý thuy t Floquet cho h ph ng trình vi phân th ng 13 ng Lý thuy t Floquet thang th i gian … 17 Ch 2.1 M t s nh ngh a tính ch t c b n v thang th i gian……… 17 ng l c n tính thang th i gian 27 2.3 Lý thuy t Floquet thang th i gian … 29 2.4 Nhân t Floquet, m Floquet … 42 2.5 Áp d ng c a lý thuy t Floquet… 50 K t lu n…………………………………………………………… 57 Tài li u tham kh o………………………………………………… 58 2.2 H M U Nhi u toán th c t nh h c h c, h th ng i n, h sinh thái, h ng l c,…, th tr ng c a ph hoàn ng c mô t b i ph ng trình vi phân M t l p quan ng trình vi phân l p ph ng trình vi phân v i h s tu n nh lý Floquet m t nh lý c b n nh t lý thuy t ph ng trình vi phân v i h s tu n hoàn Nghiên c u ph ng trình vi phân v i h s tu n hoàn nói chung lý thuy t Floquet nói riêng m t ch c nhà nghiên c u quan tâm, ây mô hình hay g p th c t , thí d , h th ng hành tinh h m t tr i, dao ng v t lý, , h tu n hoàn Song hành v i ph ng trình vi phân, lý thuy t ph c nghiên c u phát tri n, Ph ng trình sai phân c ng c bi t nh ng n m g n ây (xem [5]) ng trình sai phân không ch m t mô hình r i r c c a ph phân, mà m t mô hình toán h c ng trình vi c l p, r t nhi u toán th c t (trong kinh t , k thu t, ) c ng có th mô t c b i h ph ng trình sai phân N m 1988, nh!m th ng nh t nghiên c u h r i r c liên t c, Hilger [8] ã a khái ni m thang th i gian Khái ni m thang th i gian c a Hilger không nh ng ch có ý ngh a toán h c, mà có ý ngh a tri t h c sâu s"c Nó cho phép th ng nh t hai b n ch t c a chuy n r c Sau Hilger ng, ó tính liên t c tính r i a khái ni m thang th i gian nghiên c u h ng l c thang th i gian, m t s nhà toán h c ã quan tâm nghiên c u xây d ng lý thuy t Floquet Lu n v n Ph iv ih ng trình vi phân v i h s tu n hoàn có m c ích trình bày lý thuy t Floquet cho h ph hoàn h ng l c tu n hoàn thang th i gian ng trình vi phân th ng n tính v i h s tu n ng l c n tính tu n hoàn thang th i gian tu n hoàn Ngoài ph n m u, k t lu n, lu n v n g#m hai ch ng Ch ng 1: Lý thuy t Floquet cho ph Ch ng trình bày ng trình vi phân th ng nh ngh a tính ch t c b n c a h ph trình vi phân th ng, phát bi u ch ng minh nh lý Floquet trình vi phân th ng Các ki n th c trình bày Ch i v i ph ng ng ng ch y u d a vào tài li u [2], [3], [4] Ch ng 2: Lý thuy t Floquet thang th i gian Ch ng trình bày m t s nh ngh a tính ch t v thang th i gian, h ng l c n tính thang th i gian, lý thuy t Floquet iv ih ng l c n tính tu n hoàn thang th i gian tu n hoàn m t s ví d áp d ng N i dung c a Ch ng c trình bày theo tài li u [6], [7], có tham kh o thêm tài li u [1] Do th i gian kh n ng nhi u h n ch nên lu n v n không th tránh kh$i nh ng thi u sót R t mong nh n c a th y cô b n #ng nghi p c nh ng ý ki n óng góp quí báu L IC M Tác gi trân tr ng c m Tr ng i h c khoa h c, N n Ban Giám hi u, Phòng t o sau i h c, i h c Thái Nguyên ã quan tâm t o i u ki n t t nh t cho tác gi hoàn thành khóa h c sau i h c Tác gi xin trân tr ng c m n cô giáo TS Nguy%n Th Thu Th y th y cô giáo tham gia gi ng d y l p cao h c K4B khóa 2010-2012 ã em h t nhi t tình tâm huy t c a trang b cho tác gi nh ng ki n th c c s Tác gi xin trân tr ng c m n tr Phòng ã t o nhi u i u ki n gi ng d y t i tr ng Ph& thông Hermann Gmeiner, H i tác gi có th i gian v'a hoàn thành nhi m v ng, #ng th i hoàn thành t t khóa h c Th c s Lu n v n PGS TS T Duy Ph c hoàn thành d is h ng d(n t n tình c a th y giáo ng, Vi n Toán h c Tác gi xin trân tr ng bày t$ lòng bi t n sâu s"c t i Th y Tác gi c ng xin g i l i c m n chân thành n thành viên l p cao h c K4B ã quan tâm, giúp ) tác gi su t trình h c t p Xin chân thành c m n gia ình, b n bè ã ng h , tác gi su t trình h c cao h c th c hi n ng viên giúp ) tài lu n v n Thái Nguyên, tháng 10 n m 2012 CH NG LÝ THUY T FLOQUET CHO H PH NG TRÌNH VI PHÂN TH 1.1 Các khái ni m c b n c a ph ng trình vi phân th 1.1.1 H ph ng H ph ng trình vi phân th ng trình vi phân th ng h ph NG ng ng trình d ng dxi = f i ( t , x1 , x2 , , xn ) , i = 1, 2, , n, t ∈ I + , dt c l p (ch th i gian), I + = {t : t < t < ∞} v i t ∈ ó t bi n t = −∞ Các hàm s G = I+ × D ⊂ ho c ph c n × (1.1.1) fi : G → n , i = 1, , n cho tr c, xác ho c nh n a hình tr D t p m không gian véc t n chi u th c n Các hàm kh vi x1 , x2 , , xn hàm s c n tìm, Kí hi u f1 ( t , x ) x1 x= x2 = column ( x1 , , xn ) ; f (t , x) = f2 (t, x ) = column ( f1 (t , x), , f n (t , x) ) fn (t, x ) xn Khi ó (1.1.1) c vi t d i d ng ph ng trình vi phân vect : dx = f (t, x ) , t ∈ I + , dt Thông th ng, ta òi h$i nghi m c a ph i u ki n ban (1.1.2) ng trình vi phân (1.1.2) ph i th$a mãn u x(t0 ) = x0 v i ( t0 , x0 ) ∈ G cho tr (1.1.3) c nh ngh a 1.1.1 Hàm véc t th c ho c ph c x = x(t ) thu c l p hàm kh vi C xác nh kho ng ( a, b ) ⊂ I + th$a mãn ph ng trình (1.1.2)-(1.1.3) v i m i a < t < b, ó ( t0 , x0 ) ∈ ( a, b ) × D, vi phân (1.1.2), th$a mãn i u ki n ban D i ây nh"c l i Lipschitz ng trình u (1.1.3) nh lý c b n v t#n t i nh t nghi m, c s nghiên c u tính ch t &n Hàm s c g i nghi m c a ph nh nghi m c a h ph Lipschitz Cho t p G ⊂ iv i x × n ng trình vi phân th f :G → Hàm s u theo t n u t#n t i s th c d ng c g i n ng L cho f (t , x1 ) − f (t , x2 ) ≤ L x1 − x2 v i m i (t , x1 ) ∈ G, (t , x2 ) ∈ G Hàm f : G → iv i x n , G = ( a, b ) × D ⊂ × n c g i hàm Lipschitz a ph ng u theo t n u v i m i i m x ∈ D t#n t i m t lân c n V ( x) ⊂ D c a x cho f Lipschitz iv i x u theo t lân c n y, t c f (t , x1 ) − f (t , x2 ) ≤ L x1 − x2 v i m i x1 , x2 ∈V ( x) t ∈ ( a, b ) nh lý 1.1.1 ( ph nh lý Picard-Lindelöp v s t#n t i nh t nghi m c a ng trình vi phân) Gi s hàm f : G → n xác i u ki n Lipschitz theo x nh liên t c t p m G⊂ × n , th a mãn u theo t G : f (t , x1 ) − f (t , x2 ) ≤ L x1 − x2 v i m i (t , x1 ) ∈ G, (t , x2 ) ∈ G Khi (t y v i m i (t0 , x0 ) ∈ G tìm − d , t0 + d ) , nghi m c a ph c m t s d > cho kho ng ng trình vi phân (1.1.2) tho mãn i u ki n ban u (1.1.3) t n t i nh t Chúng ta có khái ni m &n nh nghi m Lyapunov a n m 1892 d i ây nh ngh a 1.1.2 Nghi m η (t ), ( t0 < t < +∞ ) c a h ph ng ε cho nh theo Lyapunov t → +∞, n u v i m i s d c g i n tr ng trình (1.1.2)-(1.1.3) c v i m i t0 ∈ ( t ; +∞ ) , t#n t i s d M i nghi m x(t ) c a ph ng δ = δ (ε , t0 ) > cho ng trình (1.1.2)-(1.1.3), k c nghi m η (t ), th$a mãn i u ki n x(t0 ) − η ( t0 ) < δ , ph i kéo dài mãn (1.1.4) (1.1.4) c t i vô cùng, t c m i nghi m x(t ) có i u ki n ban u xác u th$a nh kho ng t0 ≤ t < +∞, hay x(t ) ∈ D v i m i t ∈ [t0 ; +∞ ) Các nghi m ó th$a mãn b t *ng th c: x(t ) − η (t ) < ε v i m i t ∈ [t0 ; +∞ ) (1.1.5) i u ki n (1.1.5) nói r!ng, nghi m có i u ki n ban t i i m t0 ph i mãi (v i m i t ≥ t0 ) d nh g n η ( t0 ) ε − ng có tr c η ( t ) nh ngh a 1.1.3 Nghi m η (t ), ( t0 < t < +∞ ) c a ph n u x ( t0 ) u theo t0 t → +∞ n u v i m i s d ng trình (1.1.2) ng ε cho tr cg i c, t#n t i s ng δ = δ ( ε ) không ph thu c vào t0 , cho v i m i t0 ∈ ( a; +∞ ) , m i nghi m x(t ) c a ph x(t0 ) − η ( t0 ) < δ ng trình (1.1.2) th$a mãn u kéo dài c t i vô (xác i u ki n ban u nh kho ng t0 ≤ t < +∞ ) th$a mãn i u ki n (1.1.5) nh ngh a 1.1.4 Nghi m η (t ), ( t0 < t < +∞ ) c a ph không n ng trình (1.1.2) cg i nh theo Lyapunov t → +∞ n u t#n t i m t s ε > m t th i i m t0 ∈ I + cho, v i m i s δ > 0, t#n t i nh t m t nghi m x(t ) c a ph ng trình (1.1.2) t#n t i m t th i i m t1 > t0 cho x(t0 ) − η ( t0 ) < δ nh ng x(t1 ) − η ( t1 ) ≥ ε i u có ngh a là, t#n t i m t th i i m t1 > t0 nghi m x(t ) v t kh$i ε − ng có tr c η ( t ) nh ngh a 1.1.5 Nghi m η (t ), ( t0 < t < +∞ ) c a ph n ng trình (1.1.2) nh ti m c n t → +∞ n u: Nghi m η (t ), ( t0 < t < +∞ ) &n nh theo Lyapunov t → +∞ V i m+i t0 ∈ I + t#n t i ∆ = ∆ (t0 ) > cho t t c x(t ), (t0 ≤ t < +∞) th$a mãn i u ki n x(t0 ) − η ( t0 ) < ∆ lim x(t ) − η (t ) = (1.1.6) B!ng phép &i bi n y (t ) = x(t ) − η (t ), ta có th a h ph ng trình (1.1.2) v ng trình d ng y (t ) = f ( t , y ) , v i f (t ,0) ≡ Do ó ta có th gi thi t f (t ,0) ≡ Khi y (1.1.2) có nghi m t m th Các nghi m u có tính ch t: t →+∞ ph cg i ng (nghi m cân b!ng) η (t ) ≡ nh ngh a (1.1.2)-(1.1.5) có th phát bi u g n gàng h n cho nghi m η (t ) ≡ Thí d , ta nói nghi m t m th f (t ,0) ≡ n ng η (t ) ≡ c a ph nh ti m c n n u &n ng trình (1.1.2) v i nh theo Lyapunov v i m+i t0 ∈ I + t#n t i ∆ = ∆ (t0 ) > cho t t c nghi m x(t ),(t0 ≤ t < +∞) th$a mãn i u ki n x(t0 ) < ∆ ta u có lim x(t ) = V i m+i t0 cho tr c, hình c u x(t0 ) < ∆ t →+∞ c g i mi n hút v v trí cân b!ng η (t ) ≡ c a h (1.1.2) nh ngh a 1.1.6 Gi s ph G = I+ × n ng trình (1.1.2) xác nh n a không gian Khi ó n u nghi m η (t ), ( t < t < +∞ ) c a ph ng trình (1.1.2) &n nh ti m c n t → +∞ m i nghi m x(t ), (t0 ≤ t < +∞) ki n lim x(t ) − η (t ) = η (t ) c g i n t →+∞ Nh v y nghi m η (t ) &n u th$a mãn i u nh ti m c n toàn th nh ti m c n toàn th n u t i th i i m ban t0 tùy ý, mi n hút c a nghi m ó toàn th không gian Cùng v i h (1.1.2) ta xét h có nhi%u tác ng th n u ng xuyên: dx = f ( t , x ) + ϕ (t , x), dt (1.1.7) ó ta gi thi t f (t , x) ∈ C 0,1 ( G ) , ϕ (t , x) ∈ C 0,1 ( G ) hàm liên t c theo bi n t kh vi theo bi n x nh ngh a 1.1.7 Nghi m η (t ), ( t < t < +∞ ) c a ph n nh v i nhi u tác m i t ∈ I + , t #n t i s ng th ng trình (1.1.2) cg i ng xuyên ϕ (t , x), n u v i m i ε > v i δ = δ ( t0 , ε ) > cho ϕ ( t , x ) < δ , m i nghi m x(t ) c a h (1.1.7) th$a mãn i u ki n x(t0 ) − η ( t0 ) < δ c ng u xác nh kho ng ( t0 ≤ t < +∞ ) th$a mãn i u ki n x(t ) − η (t ) < ε v i m i t ∈ [t0 ; +∞ ) 1.1.2 H ph Xét h ph ng trình vi phân th ng trình vi phân th dxi = dt n k =1 ng n tính ng n tính d ng aik ( t )xk + f i ( t ) , i = 1, n, (1.1.8) ó aik (.) , f i (.) ∈ C ( I + ), t c h s aik (.) c a xk s h ng t f i (.) c a h (1.1.8) hàm s liên t c kho ng I + = ( t ; +∞ ) N u thích khác, ta gi thi t hàm s aik ( t ) , f i ( t ) nh n giá tr th c xi (t ), i = 1, , n ,n hàm c n tìm c ng nh n giá tr th c N u a vào kí hi u: data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read ... ph hoàn ng c mô t b i ph ng trình vi phân M t l p quan ng trình vi phân l p ph ng trình vi phân v i h s tu n nh lý Floquet m t nh lý c b n nh t lý thuy t ph ng trình vi phân v i h s tu n hoàn. .. THUY T FLOQUET CHO H PH NG TRÌNH VI PHÂN TH 1.1 Các khái ni m c b n c a ph ng trình vi phân th 1.1.1 H ph ng H ph ng trình vi phân th ng trình vi phân th ng h ph NG ng ng trình d ng dxi = f i ( t... ih ng trình vi phân v i h s tu n hoàn có m c ích trình bày lý thuy t Floquet cho h ph hoàn h ng l c tu n hoàn thang th i gian ng trình vi phân th ng n tính v i h s tu n ng l c n tính tu n hoàn