Luận văn Tiêu chuẩn loại massera cho phương trình đạo hàm riêng của hàm Trung Hòa

Phương trình vi phân, phương trình ñạo hàm riêng có rất nhiều ứng dụng trong thực tiễn có thể nói hầu như mọi lĩnh vực ñều có thể ứng dụng : y khoa, xây dựng, ñiện tử, kiến trúc , , việc chứng minh sự tồn tại nghiệm yếu, nghiệm tuần hoàn của phương trình vi phân ,phương trình ñạo hàm riêng, ñặc biệt là phương trình ñạo hàm riêng của hàm trung hòa có chứa hàm làm chậm bị chặn, chứa hàm làm chậm không bị chặn ñược các nhà toán học trên thế giới sử dụng nhiều phương pháp khác nhau ñể chứng minh. Sử dụng tiêu chuẩn loại Massera là một trong những phương pháp tìm lời giải tuần hoàn của phương trình ñạo hàm riêng của hàm trung hòa . Bài báo của Massera [12], người khởi xướng việc nghiên cứu nhận thấy mối liên hệ giữa lời giải bị chặn và lời giải tuần hoàn . Trong [12] mối liên hệ này ñược giải thích bởi phương trình vi phân thường tuần hoàn hai chiều. Kế tục Massera, một số tác giả khác cũng xem xét những mối quan hê tương tự, nhận thấy : Yoshizama cho phương trình vi phân n – chiều ; Lopes và Hale cho phương trình thường n – chiều và phương trình hàm với ñiều kiện làm chậm và Yong [16] cho phương trình hàm vi phân. Gần ñây Ezzinbi [3], sử dụng tiêu chuẩn loại Massera, ñã chỉ ra sự tồn tại lời giải tuần hoàn cho phương trình ñạo hàm riêng

pdf48 trang | Chia sẻ: duongneo | Ngày: 02/08/2017 | Lượt xem: 602 | Lượt tải: 0download
Bạn đang xem trước 20 trang tài liệu Luận văn Tiêu chuẩn loại massera cho phương trình đạo hàm riêng của hàm Trung Hòa, để 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 TP. HỒ CHÍ MINH Trần Quốc An TIÊU CHUẨN LOẠI MASSERA CHO PHƯƠNG TRÌNH ðẠO HÀM RIÊNG CỦA HÀM TRUNG HÒA Chuyên ngành : Toán giải tích. Mã số : 60 46 01 LUẬN VĂN THẠC SĨ TOÁN HỌC NGƯỜI HƯỚNG DẪN KHOA HỌC : PGS.TS. LÊ HOÀN HÓA Thành phố Hồ Chí Minh – 2008 1 MỞ ðẦU 1. Lý do chọn ñề tài Phương trình vi phân, phương trình ñạo hàm riêng có rất nhiều ứng dụng trong thực tiễn có thể nói hầu như mọi lĩnh vực ñều có thể ứng dụng : y khoa, xây dựng, ñiện tử, kiến trúc ,, việc chứng minh sự tồn tại nghiệm yếu, nghiệm tuần hoàn của phương trình vi phân ,phương trình ñạo hàm riêng, ñặc biệt là phương trình ñạo hàm riêng của hàm trung hòa có chứa hàm làm chậm bị chặn, chứa hàm làm chậm không bị chặn ñược các nhà toán học trên thế giới sử dụng nhiều phương pháp khác nhau ñể chứng minh. Sử dụng tiêu chuẩn loại Massera là một trong những phương pháp tìm lời giải tuần hoàn của phương trình ñạo hàm riêng của hàm trung hòa . Bài báo của Massera [12], người khởi xướng việc nghiên cứu nhận thấy mối liên hệ giữa lời giải bị chặn và lời giải tuần hoàn . Trong [12] mối liên hệ này ñược giải thích bởi phương trình vi phân thường tuần hoàn hai chiều. Kế tục Massera, một số tác giả khác cũng xem xét những mối quan hê tương tự, nhận thấy : Yoshizama cho phương trình vi phân n – chiều ; Lopes và Hale cho phương trình thường n – chiều và phương trình hàm với ñiều kiện làm chậm và Yong [16] cho phương trình hàm vi phân. Gần ñây Ezzinbi [3], sử dụng tiêu chuẩn loại Massera, ñã chỉ ra sự tồn tại lời giải tuần hoàn cho phương trình ñạo hàm riêng ϕ • = + = ∈ = −0 ( ) ( ) ( , ) , (1.3) x ([ ,0]: ) , t x t Ax t F t x C C r X Với A là phần tử vi phân của nửa nhóm compact của những toán tử tuyến tính bị chặn trong không gian Banach. Mục ñích của chúng ta trong luận văn này là thiết lập những kết quả tương tự như những kết quả trong [3], cho phương trình ñạo hàm riêng của hàm 2 trung hòa với ñiều kiện làm chậm ( 1.1) – (1.2). ðó là lý do tôi chọn ñề tài “Tiêu chuẩn loại Massera cho phương trình ñạo hàm riêng của hàm trung hòa”. 2. Mục ñích nghiên cứu Sử dụng tiêu chuẩn loại Massera chỉ ra sự tồn tại lời giải tuần hoàn của phương trình ñạo hàm riêng của hàm trung hòa chứa hàm làm chậm bị chặn, chứa hàm làm chậm không bị chặn . 3. ðối tượng và nội dung nghiên cứu Lời giải tuần hoàn cho phương trình ñạo hàm riêng của hàm trung hòa . 4. Ý nghĩa khoa học thực tiễn Tiêu chuẩn loại Massera là một công cụ rất mạnh ñể chỉ ra mối liên hệ giữa lời giải bị chặn và lời giải tuần hoàn của phương trình ñạo hàm riêng của hàm trung hòa . 5. Cấu trúc luận văn Nội dung luận văn chúng tôi gồm phần mở ñầu, bốn chương nội dung và phần kết luận. Cụ thể : Phần mở ñầu : Nêu lý do chọn ñề tài Phần nội dung : Chương 1 : Giới thiệu chung về những kết quả nghiên cứu có liên quan ñến ñề tài, các ký hiệu ñược sử dụng trong ñề tài ,các kết quả sẽ ñược sử dụng. Chương 2 : Lời giải tuần hoàn cho phương trình ñạo hàm riêng của hàm trung hòa có hàm làm chậm bị chặn. Trong chương này chúng ta chứng minh sự tồn tại lời giải tuần hoàn của bài toán giá trị ñầu : ( ) ( ) ( ) ( )0 ( ( ) ( , )) ( , ) 2.1 [ ,0]: 2.2 t t d x t G t x Ax t F t x dt x C C r Xϕ + = + = ∈ = − 3 Chương 3 : Lời giải tuần hoàn cho phương trình ñạo hàm riêng của hàm trung hòa có hàm làm chậm không bị chặn : Trong chương này chúng ta tập trung ñến sự tồn tại của lời giải ω - tuần hoàn cho phương trình ñạo hàm riêng của hàm trung hòa với mô hình làm chậm không bị chặn có dạng : ( ) ( )( ) ( ) ( ) ( ) ( ) , , 3.1 3.2σ ϕ + = + = ∈ t t d x t G t x Ax t F t x dt x B Với : ( ,0] , ( ) ( )t tx X x x tθ θ−∞ → = + thuộc vào không gian pha B trừu tượng xác ñịnh trước và , : × →ℝF G XB là những hàm liên tục. Chương 4: Ứng dụng Trong chương này chúng ta sẽ minh họa một số kết quả của việc sử dụng tiêu chuẩn loại Massera ñể tìm lời giải tuần hoàn của hàm trung hòa có hàm làm chậm bị chặn (hoặc hàm làm chậm không bị chặn) . Phần kết luận : ðưa ra những kết luận mà luận văn ñạt ñược, chưa ñạt ñược và ñưa ra những ñề xuất (nếu có ). 4 Chương 1 GIỚI THIỆU CHUNG VỀ NHỮNG KẾT QUẢ NGHIÊN CỨU CÓ LIÊN QUAN ðẾN ðỀ TÀI ,CÁC KÝ HIỆU ðƯỢC SỬ DỤNG TRONG ðỀ TÀI, CÁC KẾT QUẢ SẼ ðƯỢC SỬ DỤNG 1.1. Giới thiệu Bằng cách sử dụng tiêu chuẩn Massera chúng ta chứng minh sự tồn tại lời giải tuần hoàn cho phương trình ñạo hàm riêng của hàm trung hòa ϕ + = + > = ∈ t t d x t G t x Ax t F t x t dt D0 ( ( ) ( , )) ( ) ( , ) , 0 (1.1) x (1.2) Với A là phần tử vi phân của nửa nhóm compact, giải tích của những toán tử tuyến tính 0( ( ))tT t ≥ trên không gian Banach X. Hàm chậm , ( ) ( )t tx x x tθ θ= + thuộc không gian pha D thích hợp và × →ℝG F D X, : là những hàm liên tục. Bài báo của Massera [12], người khởi xướng việc nghiên cứu nhận thấy mối liên hệ giữa lời giải bị chặn và lời giải tuần hoàn . Trong [12] mối liên hệ này ñược giải thích bởi phương trình vi phân thường tuần hoàn hai chiều. Kế tục Massera, một số tác giả khác cũng xem xét những mối quan hệ tương tự, nhận thấy : Yoshizama cho phương trình vi phân n – chiều ; Lopes và Hale cho phương trình thường n – chiều và phương trình hàm với ñiều kiện làm chậm và Yong [16] cho phương trình hàm vi phân. Gần ñây Ezzinbi [3], sử dụng tiêu chuẩn loại Massera, ñã chỉ ra sự tồn tại lời giải tuần hoàn cho phương trình ñạo hàm riêng ϕ • = + = ∈ = −0 ( ) ( ) ( , ) , (1.3) x ([ ,0]: ) , t x t Ax t F t x C C r X 5 Với A là phần tử vi phân của nửa nhóm compact của những toán tử tuyến tính bị chặn trong không gian Banach. Mục ñích của chúng ta trong luận văn này là thiết lập những kết quả tương tự như những kết quả trong [3], cho phương trình ñạo hàm riêng của hàm trung hòa với ñiều kiện làm chậm ( 1.1) – (1.2). Những phương trình vi phân trung hòa ñược phát triển trong nhiều lĩnh vực của toán ứng dụng và những phương trình như vậy ñược mở rộng nhiều trong những năm gần ñây.Một tài liệu hướng dẫn rất hay về phương trình vi phân của hàm trung hòa với ñiều kiện làm chậm là cuốn sách của nhà toán học Hale [8] với những chỉ dẫn ở trong ñó. Làm việc ñầu tiên với phương trình ñạo hàm riêng của của hàm trung hòa với ñiều kiện làm chậm là Hernandez và Henriquez trong [9,10]. Trong những bài báo này, Họ ñã chứng minh tồn tại lời giải yếu, mạnh và lời giải tuần hoàn cho phương trình trung hòa 0 ( ( ) ( , )) ( ) ( , ) , (1.4)t t d x t G t x Ax t F t x dt x ϕ + = + = ∈B Với A là phần tử vi phân của nửa nhóm giải tích của những toán tử tuyến tính trên không gian Banach và B là pha không gian xác ñịnh bởi các tiên ñề. Trong trường hợp tổng quát, những kết quả này ñược suy từ ñịnh lý nửa nhóm và ñịnh lý ñiểm bất ñộng của Sadovskii. Luận văn này có năm chương. Trong chương 2 chúng ta tập trung ñến sự tồn tại lời giải tuần hoàn cho phương trình ñạo hàm riêng của hàm trung hòa xác ñịnh trên ([ ,0]: )C r X× −ℝ . Trong chương 3, bằng cách sử dụng kết quả của chương 2, chúng ta xét sự tồn tại của lời giải tuần hoàn cho phương trình trung hòa với với mô hình làm chậm bị chặn trên ×ℝ B ,với B là một pha không gian ñịnh nghĩa bởi các tiên ñề như trong Hale và Kato [5]. Chương 4 6 sẽ chứa những ví dụ minh họa .Những kết quả của chúng ta có ñược dựa trên những tính chất của nửa nhóm giải tích và những ý tưởng, kỹ thuật chứng minh của Harnandez và Henriquez [9,10] và Ezzinbi[3]. 1.2. Ký hiệu Trong luận văn này, ta sẽ ñược ký hiệu X là một không gian Banach với chuẩn . , A ký hiệu là phần tử vi phân của nửa nhóm giải tích, compact, 0( ( ))tT t ≥ ,của những toán tử tuyến tính trên X và ñược ñịnh nghĩa như sau : →: ( )A D A X với → −  = ∈   0 ( )( ) : lim toàn taïi t T t x x D A x X t và → = − = = ∈ 0 0 ( ) ( )lim vôùi ( ) t t T t x x dT t x Ax x D A t dt Dựa vào ñịnh lý 0C nửa nhóm của Pazy [13]. Trong luận văn này, (., )x ϕ ký hiệu lời giải cùa (1.1) - (1.2). Hơn nữa, ( : ),( [ : ])r rB x Z B x Z ký hiệu là quả cầu mở, (quả cầu ñóng) trong không gian Metric Z với tâm tại x và bán kính bằng r .Với hàm bị chặn : [ , ] [0, )a bξ → ∞ và a t b≤ ≤ chúng ta sẽ ký hiệu ,a tξ bởi , sup{ ( ) : [ , ]} (1.6)a t s s a tξ ξ= ∈ Nếu D là không gian pha Banach, chuẩn trong D sẽ ñược ký hiệu D . . ðể chứng minh những kết quả chính của luận văn ,chúng ta sẽ sử dụng những kết quả sau. 1.3. Một số kết quả ñược sử dụng trong luận văn 1.3.1. ðịnh lý 1.2 [5]. Cho Y là không gian Banach và 1: yΓ = Γ + với 1 :Y YΓ → là toán tử tuyến tính bị chặn và y Y∈ . Nếu tồn tại 0x Y∈ sao cho tập 0{ ( ) : } n x nΓ ∈ℕ là compact tương ñối trong Y, thì Γ có ñiểm bất ñộng trong Y. 7 1.3.2. ðịnh lý 1.3 [4] Cho X là không gian Banach và M là tập con lồi, khác rỗng của X. nếu : 2XMΓ → là ánh xạ ña trị sao cho (i) Với mỗi x M∈ thì tập ( )xΓ lồi, ñóng khác rỗng. (ii) Tập ( ) ( ) x M M x ∈ Γ = Γ∪ là compact tương ñối (iii) Γ là nửa liên tục trên. Thì Γ có ñiểm bất ñộng trong M. 1.3.3. ðịnh lý Ascoli Tập ( , )nM C K R⊂ là tập compact tương ñối nếu và chỉ nếu M bị chặn ñều và ñẳng liên tục . 1.3.4. ðịnh lý hội tụ bị chặn Lebesgue Cho dãy hàm số { }nf hội tụ theo ñộ ño ñến hàm số f trên một tập hợp A và ≤nf g h.k.n trên A với mọi n, trong ñó g là một hàm số khả tích trên A thì µ µ →∞ =∫ ∫lim nn A A f d fd 1.3.5. ðịnh lý ñiểm bất ñộng của Sadovskii 1.3.5.1. ðịnh nghĩa ñộ ño phi compact Kuratovskii Cho X là không gian Banach, A là tập con bị chặn .ðộ ño phi compact Kuratovski ñịnh bởi : χ (A) = inf {d > 0 / A ñược phủ bởi một số hữu hạn các tập hợp A1, A2,...An có ñường kính ≤ d}. Tính chất : ( i ) χ χ χ(A)= (A)= (coA) (ii ) χ = ⇔( ) 0A A là compact tương ñối . (iii ) { }χ χ χ∪ =( ) max ( ), ( )A B A B (iv ) χ χ χ+ = +( ) ( ) ( )A B A B (v ) χ χ=( ) ( )tA t A 8 1.3.5.2. ðịnh nghĩa toán tử cô ñặc Ánh xạ ⊂ →:f D X X ñược gọi là k – cô ñặc nếu tồn tại k∈(0,1) sao cho: χ χ≤( ( )) ( )f A k A với mọi A bị chặn chứa trong D. 1.3.5.3. ðịnh lý ñiểm bất ñộng của Sadovskii Giả sử (i) Toán tử ⊆ →:T M X M là k – cô ñặc, ở ñây (ii) M khác rỗng, ñóng, bị chặn và là tập con lồi của không gian Banach X . Khi ñó T có ñiểm bất ñộng . 1.3.6. Một số ñịnh lý 0C nửa nhóm 1.3.6.1. ðịnh nghĩa nửa nhóm (ñịnh nghĩa 1.1) [13] Cho X là không gian Banach. Một họ tham biến ( ),0T t t≤ < ∞ của những toán tử tuyến tính từ X vào X là nửa nhóm của những toán tử tuyến tính bị chặn trên X nếu: (i) T (0) = I (I là toán tử ñồng nhất trên X) (ii) T ( t + s ) = T(t)T(s) với mỗi s, t ≥ 0 (Tính chất nửa nhóm). 1.3.6.2. ðịnh nghĩa 0C nửa nhóm (ñịnh nghĩa 2.1) [13] Một nửa nhóm ≤ < ∞( ),0T t t ,của những toán tử tuyến tính bị chặn trên X là nửa nhóm liên tục mạnh của những toán tử tuyến tính bị chặn nếu → = 0 lim ( ) t T t x x với mỗi ∈x X . Nửa nhóm liên tục mạnh của những toán tử tuyến tính trên X ñược gọi là nửa nhóm của lớp 0C hay ñơn giản là 0C nửa nhóm . 1.3.6.3. ðịnh lý 2.2 [13] Nếu ( )T t là 0C nửa nhóm. Khi ñó tồn hằng số ω và ≥1M sao cho ω≤ ≤ < ∞( ) , 0tT t Me t 9 1.3.6.3.1. Hệ quả 2.3 [13] Nếu ( )T t là 0C nửa nhóm khi ñó với mỗi ∈ →, ( )x X t T t x là hàm liên tục từ +ℝ 0 ( ñường thẳng thực không âm ) vào X. 1.3.6.4. ðịnh lý 2.3 [13] Cho ( )T t là 0C nửa nhóm và A là phần tử vi phân của nó. Khi ñó : a) Với ∈x X , + → =∫0 1lim ( ) ( ) t h h t T s xds T t x h b) Với  ∈ ∈ = −    ∫ ∫ 0 0 , ( ) ( ) ( ) ( ) t t x X T s xds D A vaø A T s xds T t x x c) Với ∈ ∈ = =(A) , ( ) (A) vaø ( ) ( ) ( )dx D T t x D T t x AT t x T t Ax dt d) τ τ τ τ∈ − = =∫ ∫Vôùi (A) , ( ) ( ) ( ) ( ) t t s s x D T t x T s x T Axd AT xd 1.3.6.4.1. Hệ quả 2.5 [13] Nếu A là phần tử vi phân của 0C nửa nhóm ( )T t , khi ñó D (A), miền xác ñịnh của A, trù mật trong X và A là toán tử tuyến tính ñóng . 1.3.6.5. ðịnh lý 3.2 [13, tr.48] Cho ( )T t là 0C nửa nhóm. Nếu ( )T t là compact với 0t t> thì ( )T t liên tục trên không gian tô pô những toán tử ñều với 0t t> . Nếu 0( ( ))tT t ≥ là nửa nhóm giải tích và bị chặn ñều sao cho 0 ( )Aρ∈ thì nó có thể ñịnh nghĩa bậc hữu tỉ ( ) , (0,1]A α α− ∈ ,như là toán tử tuyến tính ñóng trên miền xác ñịnh của nó α−D A( ) . Hơn nữa không gian con α−D A( ) là trù mật trong X và biểu thức α α α = − ∈ −x A x x D A( ) , ( ) , ñịnh nghĩa là chuẩn trong α−D A( ) . Nếu X α biểu diễn không gian α −D A( ) xác ñịnh bởi chuẩn . α , thì theo [11, tr.74] ta có những tính chất sau : 10 1.3.6.6. Bổ ñề 1.1 Nếu các ñiều kiện trên ñúng, thì 1. Nếu 0 1α< ≤ thì X α là không gian Banach. 2. Nếu 0 1β α< < ≤ thì X Xα β→ và phép nhúng là compact với mỗi giải thức của toán tử A là compact. 3. Với mỗi 0 1α sao cho ( ) ( ) , 0 C A T t t t α α α − ≤ > Trong những phần sau, ñể tránh những ký hiệu không cần thiết , chúng ta giả sử rằng 0 ( )Aρ∈ và với mỗi 0 1υ< ≤ , ( ) , 0 T t M t≤ ≥ɶ và ( ) ( ) , 0 (1.5)CA T t t t υ υ υ − ≤ > với mỗi hằng số 0Cυ > . Trong luận văn này, 0 1β là những số không ñổi, × →ℝG F D X, : liên tục và chúng ta sử dụng những ñiều kiện sau H1: Hàm G nhận giá trị trong X β và ( )A G β − liên tục. H2: ( , ) ( , ) ( )G t V t h tψ ψ= + với V, h nhận giá trị trong X β ; ( ) ,( )A V A hβ β− − liên tục ; ( ) (., ),( )A V A hβ βψ− − tuần hoàn với chu kỳ ω và ( ) ( ,.)A V tβ− tuyến tính . H3: 1( , ) ( , ) ( , )G t V t G tψ ψ ψ= + với 1,V G nhận giá trị trong X β ; 1( ) ,( )A V A G β β − − liên tục ; 1( ) (., ),( ) (., )A V A G β βψ ψ− − tuần hoàn với chu kỳ ω và ( ) ( ,.)A V tβ− tuyến tính. H4: ( , ) ( , ) ( )F t L t f tψ ψ= + với ,L f liên tục ; (., ),L fψ tuần hoàn với chu kỳ ω và ( ,.)L t tuyến tính. H5: 1( , ) ( , ) ( , )F t L t F tψ ψ ψ= + với 1,L F liên tục ; 1(., ), (., )L Fψ ψ tuần hoàn với chu kỳ ω và ( ,.)L t tuyến tính. 11 H6: Với mỗi 0R > và với mọi 0T > , tập những hàm số [ , ] { ( , ) : (( , ] : ), sup ( ) }s r T s G s x x C T X x θ θ ∈ − → ∈ −∞ ≤ ℝ ñẳng liên tục trên ñoạn [0,T] H7: Với mỗi 0R > và với mọi 0T > , tập những hàm số [ , ] { ( , ) : (( , ] : ), sup ( ) }s b T s G s x x C T X x θ θ ∈ −∞ → ∈ −∞ ≤ ℝ ñẳng liên tục trên ñoạn [0,T] 12 Chương 2 LỜI GIẢI TUẦN HOÀN CHO PHƯƠNG TRÌNH ðẠO HÀM RIÊNG CỦA HÀM TRUNG HÒA CHỨA HÀM LÀM CHẬM BỊ CHẶN Trong chương này, chúng ta sẽ chứng minh sự tồn tại của lời giải tuần hoàn của bài toán giá trị ñầu ( ) ( )o ( ( ) ( , )) ( ) ( , ), 2.1 x ([ ,0]: ) 2.2 t t d x t G t x Ax t F t x dt C C r Xϕ + = + = ∈ = − 2.1. ðịnh nghĩa Hàm :[ , ]x r T X− → là lời giải yếu của bài toán Cauchy trừu tượng (2.1) – (2.2) nếu : 0x ϕ= ; thu hẹp của ( ).x trên ñoạn [0,T] liên tục ; với mỗi 0 t T≤ < hàm ( ) ( )− ∈, , [0, ),sAT t s G s x s t khả tích và ( ) ( ) ( ) ( )( ) ( ) ( ) ( ) ( ) ( ) ( ) 0 t 0 0 0, , , + - , , [0, ] 2.3 t t s s x t T t G G t x AT t s G s x ds T t s F s x ds t T ϕ ϕ= + − − − ∈ ∫ ∫ Sự tồn tại lời giải yếu của bài toán Cauchy trừu tượng (2.1) – (2.2) theo [9,ñịnh lý 2.1,2.2], với lý do này chúng ta sẽ bỏ qua việc chứng minh chi tiết hai kết quả kế tiếp 2.2. ðịnh lý 2.1 Cho , 0C Tϕ ∈ > và giả sử rằng các ñiều kiện sau ñúng : (a) Tồn tai hằng số ( )0,1β ∈ và 0L ≥ sao cho hàm G nhận giá trị trong X β , ( ) 1L A β−− < và 13 ( ) ( ) ( ) ( ) ( ) ( )1 2 1 2, , , 2.4CA G t A G s L t sβ βψ ψ ψ ψ− − − ≤ − + − với mỗi 0 ,s t T≤ ≤ và 1 2, Cψ ψ ∈ (b) Hàm F liên tục và biến những tập bị chặn thành những tập bị chặn. Khi ñó tồn tại lời giải yếu (., )x ϕ của bài Cauchy trừu tượng (2.1) – (2.2) xác ñịnh trên [-r,b], với mỗi 0 b T< ≤ 2.3. ðịnh lý 2.2 Cho Cϕ ∈ và 0T > . Giả sử rằng ñiều kiện (a) của ñịnh lý (2.1) ñúng và tồn tại 0N > sao cho ( , ) ( , ) CF t F t Nϕ ψ ϕ ψ− ≤ − với mọi 0 t T≤ ≤ và với mỗi , Cϕ ψ ∈ . Khi ñó tồn tại duy nhất lời giải yếu (., )x ϕ của (2.1) –(2.2) xác ñịnh trên [-r, b] với mỗi 0 b T< ≤ . Hơn nữa, b có thể chọn là min{T, 0b }, ở ñây 0b là hằng số dương ñộc lập với ϕ . ðể chứng minh kết quả chính của mục này, ñó là những kết quả cơ bản kế tiếp . 2.4. ðịnh lý 2.3 Cho T > r và giả sử rằng 1 6,H H ñúng. Giả sử thêm rằng, các ñiều kiện sau ñây ñúng (a) Với mỗi Cϕ ∈ tập ( ) [ ]( ) ( ) ( ){ }, : : laø lôøi giaûi cuûa 2.1 2.2X x C r T X xϕ = ∈ − − bị chặn. (b) Với mỗi 0R > , tập ( ) ( ) ( ) ( ){ }, , , : [0, ], vaø s s CA G s x F s x s T x X Rβ ϕ ϕ− ∈ ∈ ≤ bị chặn. 14 Khi ñó ánh xạ ña trị ( ) ( ){ }: 2 ; :C T TC X x x Xϕ ϕ ϕϒ → → = ∈ là compact, nghĩa là, với mỗi 0R > tập ( ), C R T T R X ϕ ϕ ≤ = ∪U là compact tương ñối ở trong C Chứng minh Cho 0R > và ( ) C R R X ϕ ϕ ≤ = ∪U . Từ (b), chúng ta cố ñịnh 0N > sao cho ( ) ( ), sA G s x Nβ− ≤ và ( ), sF s x N≤ với mỗi Rx∈ U và với mỗi [0, ]s T∈ . Mặt khác ,sử dụng ñịnh lý Ascoli ta sẽ chia chứng minh ra hai bước . Bước 1 : Tập ( ) ( ){ }= ∈:R Rt x t xU U là compact tương ñối với mỗi ∈(0, ]t T . Cho 0 t Tε< < ≤ . Vì ( )( ) 0tT t ≥ giải tích, hàm toán tử ( )s AT s→ liên tục trong không gian tô pô các toán tử ñều trên (0, T], bằng cách ước lượng ( ) ( )( ) ( ) ( ) ( ) 1 1 1, , [0, ), 2.6s R C N A T t s A G s x s t x t s β β β β − − − − − − ≤ ∈ ∈ − U suy ra hàm ( ) ( ), ss AT t s G s x→ − khả tích trên [0, )t với mỗi Rx∈ U . Với những ñiều kiện trước, với Rx∈ U ta có ( ) ( ) ( )( ) ( ) ( ) ( ) ( ) ( ) ( )( ) ( ) ( ) ( )( ) ( ) ( ) ( ) ( ) ( ) ( ) 1 0 t 1 t- 0 (0) (0, ) , +T , + -A , +T , , t t s s t t s s t x t T T t G A A G t x A T t s A G s x ds T t s A G s x ds T t s F s x ds T t s F s x ds β β ε β β β β ε ε ε ε ε ϕ ϕ ε ε ε ε − − − − − − = − + + − − − − − − − − − − + − ∫ ∫ ∫ ∫ 15 Với   ( ) ( )( (0) (0, )) ( ) ( ) ( (0) (0, ) ) ( ) .( ( ) ( ) (0, ) ( ) .( ) β β ε ε ϕ ϕ ε ε ϕ ϕ ε ϕ ε − ⊕ − + ≤ − + ≤ + − − ≤ + T T t G T T t G T M R A A G T M R N ( ) ( , ) ( ) ( ) ( , ) ( ) [0 : ]β β β β− −⊕ − ≤ ⇒ − − ∈ −t t NA G t x N A A G t x A B X 1 1 0 ( ) ( ) ( ) ( )( ) ( , ) t sW t T A T t s A G s x ds ε β βε ε − −⊕ = − − − −∫ 1 0 ( ) ( )( ) ( , ) t sA T t s A G s x ds ε β β − − = − − −∫ ( do tính chất nửa nhóm ) 2 0 0 ( ) ( ) ( ) ( , ) ( ) ( , ) t s t s W t T T t s F s x ds T t s F s x ds ε ε ε ε − − ⊕ = − − = − ∫ ∫ t 1 1 t- 11 11 C ( ) ( )( ) ( , ) va C diamC . 2C( ) β β ε ε β β ε ββ ε ε β − − − − − ⊕ = − − − ≤ ≤ − ∫ ∫ s t t A T t s A G s x ds Nds N t s   2 2 C ( ) ( , ) và diam(C ) ( ) . ( , ) . . ε ε ε ε ε ε − − − ⊕ = − ≤ − ≤ ≤ ∫ ∫ ∫ t s t t s t t t T t s F s x ds T t s F s x ds M Nds M N và do ñó ( ) ( ) ( ) 1 1 2 2[0, ] [0, ] ,R N N t tx t T MB X A B X W C W Cβ ε εε −+∈ + − + + + +ɶ với mỗi 1W là compact, thật vậy : 16 Với 0ε > cố ñịnh. Cho 00 t tε< < < sao cho 0t t δ ε− < < 1 1 1 0 0 ( ) ( ) ( ) ( ) ( )( ) ( , ) ε β βε ε − − − = − − − − −∫ t sW t W t T A T t s A G s x ds 0 1 0 0 ( ) ( ) ( )( ) ( , ) ε β βε ε − − − − − − −∫ t sT A T t s A G s x ds 0 0 1 0 0 1 = ( ) ( ) ( ( ) ( ))( ) ( , ) + ( ) ( ) ( )( ) ( , ) ε β β ε β β ε ε ε ε ε ε − − − − − − − − − − − − + − − − − ∫ ∫ t s t s t T A T t s T t s A G s x ds T A T t s A G s x ds 0 1 0 0 1 ( ) ( ( ) ( ))( ) ( , ) ( ) ( )( ) ( , ) t s t s t A T t s T t s A G s x ds A T t s A G s x ds ε β β ε β β ε − − − − − = − − − − − + + − − − ∫ ∫ Suy ra : 1 1 1 0 0 0 1 ( ) ( ) . ( ) . .2 . ββ β β β β β β ε ε εβ ε εβ − −  − ≤ − + − + − + +  ≤ + C W t W t N t t t t N C N N nên 1W ñẳng liên tục bên phải tại 0t .Tính liên tục tại 0 0t > ñược chứng minh tương tự, do ñó 1W ñẳng liên tục trên [0; )t . Mặt khác, 1 1 1 0
Luận văn liên quan