(LUẬN văn THẠC sĩ) bài toán biên hai điểm cho phương trình vi phân hàm bậc hai

BỘ GIÁO DỤC VÀ ðÀO TẠO TRƯỜNG ðẠI HỌC SƯ PHẠM TP HỒ CHÍ MINH - NGUYỄN VŨ THỤ NHÂN BÀI TOÁN BIÊN HAI ðIỂM CHO PHƯƠNG TRÌNH VI PHÂN HÀM BẬC HAI Chun ngành: Tố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 NGUYỄN ANH TUẤN Tp Hồ Chí Minh – 2008 download by : skknchat@gmail.com LỜI CẢM ƠN ðầu tiên, tơi xin bày tỏ lịng biết ơn sâu sắc PGS TS NGUYỄN ANH TUẤN – Khoa Toán – Tin học, Trường ðại học Sư Phạm ñã dành thời gian cơng sức tận tình hướng dẫn giúp tơi hồn thành luận văn Tơi xin gửi lời cảm ơn đến q Thầy Cơ Hội đồng chấm luận văn ñã dành thời gian ñọc, chỉnh sửa đóng góp ý kiến giúp cho tơi hồn thành luận văn cách hồn chỉnh Bên cạnh đó, tơi xin chân thành cảm ơn Ban giám Hiệu trường ðH Sư phạm Tp.HCM, Ban chủ nhiệm Khoa Toán - Tin học, Phịng KHCN – SðH q Thầy Cơ giảng dạy, tạo điều kiện cho chúng tơi hồn thành khóa học Và để có kết ngày hơm nay, tơi giúp đỡ tận tình Ban chủ nhiệm Khoa Vật Lý, nhận lời động viên, đóng góp ý kiến bạn ñồng nghiệp Khoa Vật Lý – Trường ðH Sư phạm Tp.HCM bạn bè người thân ðặc biệt, xin dành tặng kết cho ba mẹ gia đình thân u – người ln tạo điều kiện, hỗ trợ động viên tơi vượt qua khó khăn bước ñường nghiên cứu khoa học Cuối cùng, q trình viết luận văn này, khó tránh khỏi thiếu sót, tơi mong nhận ý kiến đóng góp bạn đọc Mọi ý kiến đóng góp, xin gửi theo địa chỉ: Nguyễn Vũ Thụ Nhân Khoa Vật Lý, Trường ðại học Sư Phạm Tp.HCM 280 An Dương Vương, Quận 5, Tp.HCM Email: nguyenvuthunhan@gmail.com Xin chân thành cảm ơn download by : skknchat@gmail.com Mục lục Trang phụ bìa Lời cảm ơn Mục lục .3 Danh mục ký hiệu MỞ ðẦU .8 Chương GIỚI THIỆU BÀI TOÁN .10 Chương MỘT SỐ CÔNG CỤ, KIẾN THỨC CHUẨN BỊ 12 BỔ ðỀ VỀ TÍNH GIẢI ðƯỢC CỦA BÀI TỐN KHƠNG THUẦN NHẤT 12 2.1.1 ðịnh nghĩa 2.1.1 .12 2.1.2 ðịnh nghĩa 2.1.2 .12 2.1.3 Bổ ñề 2.1.1 (bổ đề tính giải phương trình vi phân hàm không nhất) 13 2.1.4 Bổ ñề 2.1.2 .15 2 BỔ ðỀ VỀ TÍNH GIẢI ðƯỢC CỦA BÀI TỐN PHI TUYẾN17 2.2.1 ðịnh nghĩa 2.2.1 .17 2.2.2 ðịnh nghĩa 2.2.2 .17 2.2.3 Mệnh ñề 2.2.1 ([8]) 17 2.2.4 Mệnh ñề 2.2.2 ([8]) 18 2.2.5 Bổ ñề 2.2.1 .18 2.2.6 Mệnh ñề 2.2.3 19 2.2.7 Mệnh đề 2.2.4 (Tính chất tập V0 ((a; b); ℓ) 19 2.2.8 Bổ ñề 2.2.2 20 download by : skknchat@gmail.com Chương CÁC KẾT QUẢ CHÍNH CỦA BÀI TỐN BIÊN HAI ðIỂM .23 BÀI TOÁN (1.1), (1.2) 23 3.1.1 ðịnh lý 3.1.1 23 3.1.2 Bổ ñề 3.1.1 (bổ ñề ñánh giá xấp xỉ tiệm cận) 23 3.1.3 Hệ 3.1.1 .27 3.1.4 Hệ 3.1.2 .28 3.1.5 ðịnh lý 3.1.2 30 3.1.6 Bổ ñề 3.1.2 (bổ ñề ñánh giá xấp xỉ tiệm cận) 30 3.1.7 ðịnh lý 3.1.3 34 3.1.8 Bổ ñề 3.1.3 .35 ðịnh lý 3.1.3’ .39 3.1.9 Hệ 3.1.3 .39 3.1.10 Hệ 3.1.4 42 BÀI TOÁN (1.1), (1.2) CHO PHƯƠNG TRÌNH VI PHÂN HÀM VỚI PHẦN CHÍNH KHƠNG TĂNG 45 3.2.1 ðịnh lý 3.2.1 45 3.2.2 Bổ ñề 3.2.1 .45 3.2.3 Bổ ñề 3.2.2 .47 3.2.4 Hệ 3.2.1 .51 3.2.5 Hệ 3.2.2 .55 3.2.6 Hệ 3.2.3 .56 3.2.7 Hệ 3.2.4 .58 KẾT LUẬN VÀ KIẾN NGHỊ 64 TÀI LIỆU THAM KHẢO 65 download by : skknchat@gmail.com Danh mục ký hiệu R: tâp hợp số thực R+ = [0, + ∞) N: tập hợp số tự nhiên C ([a ; b]; R) không gian ánh xạ liên tục u: [a, b] → R [a ; b] với chuẩn: || u ||C = max { |u(t)|: a ≤ t ≤ b} C0 ([a ; b]; R) = { u ∈ C( [a ; b]; R) : u(a) = 0, u(b) = 0} C1([a ; b]; R) không gian ánh xạ khả vi, liên tục u: [a, b] → R với chuẩn: u C1 = u C + u' C { } C01 ([ a ; b]; R) = u ∈ C1 ([a; b]; R) : u (a) = 0, u (b) = C ' ([a ; b]; R) không gian hàm liên tục tuyệt ñối [a ; b], với ñạo hàm cấp liên tục tuyệt ñối, hàm u: [a ; b] → R với b chuẩn: u C' = u ( a ) + ∫ u '( s ) ds a ' Cloc ( I ; D ) (với I ⊂ [a ; b] D ⊂ R) tập hợp ánh xạ u: I →D liên tục tuyệt ñối I cho u ∈ C ' ( I0 ; D) với tập compact I0 ⊂ I C ' ([a ; b]; (0, + ∞)) = {u ∈ C ' ([a ; b]; R): u(t) > 0, ∀ a ≤ t ≤ b} L ([ a; b ]; R ) không gian hàm f : [a ; b] → R khả tích Lebesgue b [a ; b] với chuẩn: f L = ∫ f ( s ) ds a L ( ( a; b ) ; R+ ) = { f ∈ L(( a; b); ℝ ) : f (t ) ≥ 0, ∀a < t < b} download by : skknchat@gmail.com LP((a ; b); R), p> 1, không gian hàm f : (a ; b) → R, f P ∈ L ( ( a; b ) ;R + ) , với chuẩn f 1/ p Lp b  p =  ∫ f ( s ) ds  a  K ( ( a; b ) xR n ; D ) , n ∈ N , D ⊂ R , tập hợp ánh xạ f : ( a; b ) x R n → D thỏa mãn ñiều kiện Caratheodory ñịa phương, nghĩa là: f (., x ) : ( a; b ) → D ño ñược với x ∈ Rn sup { f (., x ) , x ∈ D } ∈ L ( ( a;b ) , R ) + với tập compact D0 ∈ R n f ( t ,.) : R n → D liên tục hầu khắp nơi với t ∈ (a ; b) M((a ; b); D), với D ⊂ R, tập hàm ño ñược f: (a ; b) → D L0([a;b]) tập hợp toán tử ℓ : C ([ a; b ]; R ) → L ( ( a; b ) ; R ) tuyến tính, bị chặn thỏa mãn điều kiện: { sup ℓ ( v )(.) : v C } = ∈ L ( ( a; b ) ; R+ ) (*) L1((a ; b)) tập hợp toán tử ℓ : C ([ a; b ]; R ) → L ( ( a; b ) ; R ) liên tục, dương thỏa mãn ñiều kiện (*) K((a ; b)) tập hợp toán tử F: C1 ([ a; b]; ℝ ) → L(( a; b); ℝ) liên tục thỏa mãn ñiều kiện: { sup F (v )(.) : v C1 } ≤ r ∈ L ( ( a; b ) ;R + ) , ∀r > K ((a ; b)) tập hợp toán tử F: C ' ([ a; b]; ℝ ) → L(( a; b); ℝ) liên tục thỏa mãn ñiều kiện: { sup F ( v )(.) : v C' } ≤ r ∈ L ( ( a; b ) ; R+ ) , ∀r > download by : skknchat@gmail.com σ: L((a ; b); R) → L((a ; b); R) tốn tử xác ñịnh bởi:  t   σ ( p)(t ) = exp  ∫ p( s) ds   a +b    t σ α ( p)(t ) = σ ( p )( s ) ds σ ( p )(t ) α∫ t b σ ab ( p)(t ) = σ ( p)( s) ds ∫ σ ( p )( s)ds σ ( p)(t ) ∫a t [ p ]+ = ½ ( p + p ) [ p ]− = ½ ( p − p ) Ta nói tốn tử ℓ ∈ Li((a ; b)) , i ∈ {0; 1} không giảm nếu: Với u, v ∈ C([a ; b]; R) thỏa mãn: u(t) ≥ v(t), a≤ t ≤ b ta có: ℓ( u)( t) ≥ ℓ( v)( t), với a≤ t ≤ b Ta nói tốn tử ℓ ∈ Li((a ; b)) , i ∈ {0; 1} không tăng nếu: Với u, v ∈ C([a ; b]; R) thỏa mãn: u(t) ≤ v(t), a≤ t ≤ b ta có: ℓ( u)( t) ≥ ℓ( v)( t), với a ≤ t ≤ b Nghiệm toán: u”( t) = F (u) (t) với F∈K((a ; b)) hàm u ∈ C ' ( [ a ; b]; R) thỏa mãn phương trình hầu khắp nơi (a ; b) - download by : skknchat@gmail.com MỞ ðẦU Lý chọn đề tài Lý thuyết tốn biên cho phương trình hàm hình thành phát triển từ kỷ XVIII ngày tìm ứng dụng rộng rãi lĩnh vực kinh tế khoa học kỹ thuật Song, từ năm 1997, việc nghiên cứu phát triển theo hướng thực phát triển mạnh thu ñược nhiều kết Các kết nghiên cứu nhóm nhà tốn học Grudia Cộng hịa Czech dẫn dắt giáo sư viên sỹ Ivan Kiguradze - Viện trưởng viện tốn học Tbilisi Trong năm gần đây, vấn ñề ñạt ñược nhiều kết cơng trình tác giả như: I.Kiguradze, B.Puza R.Hakl, A.Lomtatidze Vì vậy, chúng tơi chọn đề tài làm nội dung nghiên cứu luận văn nhằm học tập phát triển đề tài theo hướng tác giả Mục đích nghiên cứu Trong luận văn này, tiếp tục học tập nghiên cứu tồn nghiệm tốn biên hai điểm cho phương trình: phương trình vi phân hàm cấp hai nhất, phương trình vi phân hàm cấp hai khơng nhất, áp dụng kết đạt cho phương trình vi phân hàm cấp hai ñối số lệch ðối tượng phạm vi nghiên cứu Trong luận văn này, chúng tơi trọng việc nghiên cứu tính giải ñược nghiệm toán biên hai điểm cho phương trình vi phân hàm bậc hai Ý nghĩa khoa học thực tiễn Kết luận văn sở ñể tiếp tục nghiên cứu lớp tốn biên hai điểm, nhiều ñiểm cho phương trình vi phân hàm bậc hai download by : skknchat@gmail.com phương trình vi phân hàm bậc cao áp dụng kết cho phương trình vi phân đối số lệch bậc cao Cấu trúc luận văn Nội dung luận văn gồm có chương: Chương Phần giới thiệu tốn Chương Một số cơng cụ, kiến thức chuẩn bị Nội dung chương trình bày khái niệm, ñịnh nghĩa, bất ñẳng thức liên quan đến q trình xây dựng kết tốn ðồng thời, chúng tơi xây dựng bổ đề tính giải tốn biên hai điểm cho phương trình vi phân hàm bậc hai Chương Các kết tốn Dựa kết chương ñể xây dưng ñiều kiện ñủ cho tồn nghiệm cho phương trình vi phân hàm bậc hai download by : skknchat@gmail.com 10 Chương GIỚI THIỆU BÀI TOÁN Trong luận văn này, nghiên cứu tồn nghiệm phương trình: u’’ (t) = F (u)(t) (1.1) u(a) = 0, u(b) = (1.2) thỏa mãn điều kiện: đó: F ∈ K((a ; b)) Bài tốn (1.1), (1.2) ñược nghiên cứu chi tiết trường hợp F toán tử Nemytski, nghĩa là: F(u)(t) = f ( t, u (t), u’(t)), với f ∈K((a ; b)xR2; R) Khi đó, tốn (1.1) trở thành: u '' = f (t , u (t ), u '(t )) (1.3) Các kết tốn biên (1.3), (1.2), trình bày cơng trình nhà tốn học S.N.Bershtein [5], M.Nagumo, C.De la Vallée Poussin, L Tonelli H Epheser Hiện nay, lý thuyết toán biên dạng (1.3), (1.2) hình thành cách đầy đủ, hàm f hàm khơng khả tích Trong năm gần đây, vấn đề đạt nhiều kết cơng trình tác giả như: I.Kiguradze, B.Puza R.Hakl, A.Lomatatidze Vì vậy, cơng việc luận văn tiếp tục học tập phát triển đề tài theo hướng tác giả Trong năm gần ñây, cơng trình nghiên cứu lý thuyết tốn biên cho hệ phương trình vi phân hàm ([1 - 4, - 8], ) Hơn nữa, toán (1.3), (1.2), tiếp tục ñược nghiên cứu tỉ mỉ trường hợp tổng quát Tuy nhiên, gặp khó khăn sử dụng kỹ thuật lý thuyết download by : skknchat@gmail.com 52 Ta xét: −1 t b  b wε (t ) = ε +  ∫ σ ( g )( s )ds   ∫ σ ( g )( s ) ds ∫ σ a ( g )( s ) ([ p ( s ) ]− + ℓ(1)( s ) ) ds + a a  t t b  + ∫ σ ( g )( s )ds ∫ σ b ( g )( s ) ([ p ( s ) ]− + ℓ(1)( s ) ) ds  , với a ≤ t ≤ b a t  Áp dụng bất ñẳng thức (3.2.22) ta chọn ε > cho: < wε ( t ) < , với a ≤ t ≤ b (3.2.24) Ta tính wε" (t ) : ðặt : b t t a t b a t wa (t ) = ∫ σ ( g )( s )ds ∫ σ a ( g )( s ) ([ p ( s ) ]− + ℓ(1)( s ) ) ds wb (t ) = ∫ σ ( g )( s )ds ∫ σ b ( g )( s ) ([ p ( s ) ]− + ℓ(1)( s ) ) ds t Ta có : wa' (t ) = −σ ( g )(t ).∫ σ a ( g )( s ) ([ p ( s ) ]− + ℓ(1)( s ) )ds + a ( b + ∫ σ ( g )( s )ds σ a ( g )(t ) ([ p (t ) ]− + ℓ(1)(t ) ) t ) b wb' (t ) = σ ( g )(t ).∫ σ b ( g )( s ) ([ p ( s ) ]− + ℓ(1)( s ) )ds − t ( t − ∫ σ ( g )( s ) ds σ b ( g )(t ) ([ p (t ) ]− + ℓ(1)(t ) ) a ) t wa" (t ) = − (σ ( g )(t ) ) '.∫ σ a ( g )( s ) ([ p ( s ) ]− + ℓ(1)( s ) )ds − a ( ) ( ( − (σ ( g )(t ) ) σ a ( g )(t ) [ p (t ) ]− + ℓ(1)(t )  −σ ( g )(t ) σ a ( g )(t ) [ p (t ) ]− + ℓ(1)(t ) b )) ' ' + ∫ σ ( g )( s )ds (σ a ( g )(t ) ) ([ p (t ) ]− + ℓ(1)(t ) ) + (σ a ( g )(t ) ) ([ p (t ) ]− + ℓ(1)(t ) )    t download by : skknchat@gmail.com 53  t   σ ( g )(t ) = exp  ∫ g ( s ) ds  ;  a +b    Mà : t σ a ( g )(t ) = σ ( g )( s )ds ; σ ( g )(t ) ∫a b σ ( g )( s )ds σ ( g )(t ) ∫t σ b ( g )(t ) = [ p ]+ = ½ ( p + p ) ; [ p ]− = ½ ( p − p ) (σ ( g )(t ) ) ' = g (t ).σ ( g )(t ) ; Nên : t (σ a ( g )(t ) ) ' = σ ( g )(t ) − g (t ).∫ σ ( g )( s) ds a σ ( g )(t ) = − g (t ).σ a ( g )(t ) b (σ b ( g )(t ) ) ' = σ ( g )(t ) − g (t ).∫ σ ( g )( s ) ds t σ ( g )(t ) = − g (t ).σ b ( g )(t ) t w (t ) = − g (t ).σ ( g )(t ).∫ σ a ( g )( s ) ([ p ( s ) ]− + ℓ(1)( s ) )ds − " a Suy ra: a ( b ) ' −2 (σ ( g )(t ) ) σ a ( g )(t ) [ p (t ) ]− + ℓ(1)(t )  + ∫ σ ( g )( s )ds (σ a ( g )(t ) ) ([ p (t ) ]− + ℓ(1)(t ) )    t b ( ) b + σ ( g )( s )ds [ p (t ) ]− + ℓ(1)(t ) − g (t ).∫ σ ( g )( s ) ds.σ a ( g )(t ) ([ p (t ) ]− + ℓ(1)(t ) ) (3.2.25) ∫ t t b Tương tự : wb" (t ) = g (t ).σ ( g )(t ).∫ σ b ( g )( s ) ([ p ( s ) ]− + ℓ(1)( s ) )ds t ( ) t ' −2 (σ ( g )(t ) ) σ b ( g )(t ) [ p (t ) ]− + ℓ(1)(t )  − ∫ σ ( g )( s )ds (σ b ( g )(t ) ) ([ p (t )]− + ℓ(1)(t ) )    a t t + ∫ σ ( g )( s ) ds.([ p (t ) ]− + ℓ(1)(t ) ) + g (t ) σ ( g )( s ) ds.σ b ( g )(t ) a ∫ ([ p(t )] − a download by : skknchat@gmail.com + ℓ(1)(t ) ) (3.2.26) 54 Mặt khác, ta lại có : −1 b  wε (t ) =  ∫ σ ( g )( s ) ds  ( wa" (t ) + wb" (t ) ) a  '' Nên từ (3.2.25) (3.2.26) ta có : −1 b  " ' wε (t ) = ( g (t ).wε (t ) − [ p (t ) ]− + ℓ(1)(t ) ) +  ∫ σ ( g )( s ) ds  a  t b (σ ( g )(t ) ) [ p (t ) ] + ℓ(1)(t ) '  − σ ( g )( s )ds (σ ( g )(t ) ) [ p (t ) ] + ℓ(1)(t ) '   σ ( g )( s ) ds ∫  − −  a  ∫a  b   t ( ) ( ) Mà : t b ' '       ∫ σ ( g )( s )ds (σ a ( g )(t ) ) [ p(t ) ]− + ℓ(1)(t )  − ∫ σ ( g )( s )ds (σ b ( g )(t ) ) [ p(t )]− + ℓ(1)(t )       a t ( ) ( ) t b  = ([ p(t )]− + ℓ(1)(t ) )  ∫ σ ( g )( s )ds.σ a ( g )(t ) − ∫ σ ( g )( s)ds.σ b ( g )(t )  a t  ' t b   σ ( g )( s )ds t σ ( g )( s )ds  b ∫ ∫ ' =0 = ([ p(t )]− + ℓ(1)(t ) )  ∫ σ ( g )( s)ds a − ∫ σ ( g )( s)ds t t  σ ( g )(t ) σ ( g )( t ) a     Nên: wε" (t ) = ( g (t ).wε' (t ) − [ p (t ) ]− + ℓ(1)(t ) ) Vậy: wε" (t ) = − [ p (t ) ]− + g (t ).wε' (t ) + ℓ(1)(t ) , với a < t < b (3.2.27) Kết hợp (3.2.24) ta có kết quả: wε" (t ) ≤ p (t ).wε (t ) + g (t ).wε' (t ) + ℓ( wε )(t ) , với a < t < b (3.2.28) ðiều chứng tỏ với hàm g ∈ M((a ; b); R) tồn wε ∈ C '([ a ; b]; R) cho: w’’(t) ≤ p(t)w(t) + g(t)w’(t) + ℓ(w)(t), với a < t < b Nên : (p, g, g) ∈ V0((a; b); ℓ) Vậy ñiều kiện (3.2.3) ñịnh lý 3.2.1 ñược thỏa mãn download by : skknchat@gmail.com 55 Mặt khác, từ (3.2.23) ta có: [ F (v)(t ) − p(t )v(t ) − g (t )v '(t ) − ℓ(v)(t )]sgn v(t ) ≥ − p (t )v (t )sgn v (t ) − g (t )v '(t )sgn v (t ) + p (t ) v(t ) + g (t ) v '(t ) − q (t ) ≥ −q (t ) Do đó, điều kiện (3.2.1), (3.2.2) thỏa mãn với (p1, g1, g2) ≡ (p, g, g) Vậy áp dụng định lý 3.2.1 ta có phương trình (1.1), (1.2) có nghiệm Vậy hệ 3.2.1 ñược chứng minh 3.2.5 Hệ 3.2.2 Ta ñịnh nghĩa: def ℓ(v)(t ) = h(t )v(τ (t )), v ∈ C ([a; b]; R) Xét phương trình: u "(t ) = h ( t ) u ( t ( t ) ) + G ( u )( t ) (1.6) τ ∈ M((a ; b); (a ; b)) G ∈ K((a ; b)) Giả sử với v ∈ C01 ([a; b]; R ) ta có: G (v)(t )sgn v(t ) ≥ −q(t ), q ∈ L ( ( a; b ) ;R + ) , (3.2.29) Ngoài ra, giả sử h(t) ≤ 0, a < t < b (3.2.30) giả sử với ε ∈ (0; b – a) ta có: ( b − τ (t ) ) τ (t ) ∫ ( s − a ) h( s ) ds + (τ (t ) − a ) b ∫τ (b − s) h(s) ds ≤ b − a − ε , a < t < b (t ) a (3.2.31) Khi đó, tốn (1.6), (1.2) có nghiệm Chứng minh hệ 3.2.2: Trước tiên, ta chứng minh : (p1, g1, g2) ≡ (0,0,0) ∈ V0((a; b); ℓ) Thật vậy: t b   Xét: wε (t ) = ε + (b − t ) ∫ ( s − a) h( s) ds + (t − a) ∫ (b − s) h( s) ds  , a ≤ t ≤ b b−a b−a  Do (3.2.31) ta có : a t wε (τ (t )) ≤ 1, a < t < b download by : skknchat@gmail.com  (3.2.32) 56 Mặt khác, ta lại có : t b   wε (t ) =  (b − t )(t − a ) h(t ) − ∫ ( s − a ) h( s ) ds − (t − a )(b − t ) h(t ) + ∫ (b − s ) h( s ) ds  b−a a t  ' b t   ( b − s ) h ( s ) ds − ( s − a ) h( s ) ds  ∫ ∫ b−a t a  = Suy ra: wε" (t ) = ( −(b − t ) h(t ) − (t − a) h(t ) ) = − h(t ) = h(t ) (do h(t) < 0) b−a Vậy, từ (3.2.32) ta có: wε" (t ) ≤ h(t ) wε" (τ (t )) Do đó, tồn wε ∈ wε ∈ C ' ([ a; b ];R ) cho: w"(t ) ≤ ℓ ( w )( t ) , với a < t < b Nên : (0, 0, 0) ∈ V0((a; b); ℓ) u’’(t) = h(t) u(τ(t)) + G(u)(t) = F(u)(t) Xét tốn: Ta có : [ F (v)(t ) − ℓ(v)(t )]sgn v(t ) = G (v)(t )sgn v(t ) ≥ −q(t ) Do : điều kiện (3.2.1), (3.2.2) ñược thỏa mãn vớ i ( p1 , p2 , g1 , g ) ≡ ( 0,0,0,0 ) Vậy áp dụng định lý 3.2.1 ta có phương trình (1.6), (1.2) có nghiệm Vậy hệ 3.2.2 ñược chứng minh 3.2.6 Hệ 3.2.3 Cố ñịnh ñiều kiện (3.2.30) giả sử tồn c ∈ [a ; b] cho: c b ∫ σ a ( f )(s) h(s) ds < 1, ∫ σ b ( f )(s) h(s) ds < a (3.2.33) c c h( s ) ds < 1, a < t < b ( f )( s ) σ t (t − τ (t ))σ ( f )(t ) ∫ download by : skknchat@gmail.com (3.2.34) 57 đó: f (t ) = h(t )(τ (t ) − t ), a < t < b (3.2.35) Ngoài ra, giả sử bất ñẳng thức (3.2.31) ñúng với v ∈ C01 ([a ; b]; R ) , q ∈ L((a ; b); R+) tốn (1.6), (1.2) có nghiệm Chứng minh hệ 3.2.3: Ta chứng minh: (p1, g1, g2) ≡ (0,0,0) ∈ V0((a; b); ℓ) Thật : c b ∫ σ a ( f )(s) h(s) ds ≥ ∫ σ b ( f )(s) h(s) ds Giả sử: a (3.2.36) c b c   ∫ σ a ( f )( s ) h( s ) ds < ∫ σ b ( f )( s ) h( s ) ds  c a  t  c h(ξ )  wε (t ) = ε + ∫ σ ( f )( s )  ∫ dξ  ds, a < t < b a  s σ ( f )(ξ )  ðặt: b    c h(ξ )  dξ  ds, a < t < b   wε (t ) = ε − ∫ σ ( f )( s )  ∫  t  s σ ( f )(ξ )    Từ (3.2.32) (3.2.33), ta chọn ε > cho < w ε(t) < 1, với a ≤ t ≤ b Lấy ñạo hàm cấp cấp hai wε(t) Ta có :  c h( s )  wε' (t ) = σ ( f )(t )  ∫ ds  , a < t < b  t σ ( f )( s )  Khi :  c h( s )   c h( s )  wε (t ) = (σ ( f )(t ) )  ∫ ds  + σ ( f )(t )  ∫ ds   t σ ( f )( s )   t σ ( f )( s )  " '  c h( s )  = f (t ) (σ ( f )(t ) )  ∫ ds  − h(t )  t σ ( f )( s )   c h( s )  = h(t ) + h(t )(τ (t ) − t ) (σ ( f )(t ) )  ∫ ds   t σ ( f )( s )  = h(t ) + h(t )(τ (t ) − t ) wε' (t ) , với a < t < b download by : skknchat@gmail.com ' 58 Do (3.2.34) nên: wε" (t ) ≤ 0, a < t < b Do đó, wε' (t ) khơng tăng, từ ñó ta có: τ (t ) ∫ wε (s)ds < wε (t ) (τ (t ) − t ) , a < t < b ' ' (3.2.37) t Kết hợp (3.2.37) với wε" (t ) ta có: wε" (t ) ≤ h(t ) + h(t ) ( wε (τ (t )) − wε (t ) ) = h(t ) (1 − wε (τ (t )) ) + h(t ) wε (t ) ≤ h(t ) wε (τ (t )) (do wε(t) < h(t) < 0, với a < t< b) Do đó, tồn wε ∈ C '([a; b]; R ) cho: w"(t ) ≤ ℓ(w)(t), với a < t < b Nên : (0, 0, 0) ∈ V0((a; b); ℓ) Xét toán: u "(t ) = h(t) u(τ(t)) + G(u)(t) = F(u)(t) Ta có : [ F (v)(t ) − ℓ(v)(t )]sgn v(t ) = G (v)(t )sgn v(t ) ≥ −q(t ) Do ñó : ñiều kiện (3.2.1), (3.2.2) ñược thỏa mãn vớ i ( p1 , p2 , g1 , g ) ≡ ( 0,0,0,0 ) Vậy áp dụng ñịnh lý 3.2.1 ta có phương trình (1.6), (1.2) có nghiệm Vậy hệ 3.2.3 ñược chứng minh 3.2.7 Hệ 3.2.4 Xét phương trình dạng (1.4): u "(t ) = p1( t)u( t) + p2( u)( t).u’( t) + h( t) u( τ( t) + G( u)( t) đó: τ ∈ M((a ; b); (a ; b)), p1∈ L((a ; b); R) p2, G ∈ K((a ; b)) Giả sử ñiều kiện (3.2.2) (3.2.31) ñược thỏa mãn với v ∈ C01 ([a; b]; R ) , p2, G ∈ K((a ; b)), q∈L((a ; b); R+) download by : skknchat@gmail.com 59 Ngoài ra, giả sử tồn số λi ∈ [0;1], α ij ∈ [0; +∞), i, j = 1,2 c ∈ [ a; b] cho: +∞ ∫α 11 (c − a ) > 1− λ1 ds + α12 s + s − λ1 +∞ ∫α , 21 (b − c ) > 1−λ2 ds + α 22 s + s (3.2.38) − λ2 ( t − a ) [ p1 (t ) + h(t )] ≥ −α11 , λ1 Và λ   (t − a )λ1  g1 (t ) + + (τ (t ) − t ) h(t )  ≥ −α12 , a < t < c t−a   ( b − t ) [ p1 (t ) + h(t )] ≥ −α 21 , λ2 λ   (b − t )λ2  g1 (t ) + + (τ (t ) − t ) h(t )  ≤ α 22 , c < t < b b−t   (3.2.39) Với phiếm hàm h thỏa mãn điều kiện (3.2.30) Khi đó, tốn (1.4), (1.2) có nghiệm Chứng minh hệ 3.2.4: Ta cần chứng minh : (p, g1, g2) ∈ V0((a; b); ℓ) Hay cần chứng minh: với hàm g ∈ M ( ( a; b ) ; R ) thỏa mãn bất ñẳng thức: g1(t) ≤ g(t) ≤ g2(t), với a < t < b tồn w ∈ w ∈ C ' ([a; b]; R ) cho: w"(t ) ≤ p ( t ) w ( t ) + g ( t ) w’ ( t ) + ℓ ( w )( t ) , với a < t < b Thật : Giả sử c ∈ (a ; b) (trường hợp c = a, c = b chứng minh hoàn toàn tương tự) Do (3.2.38) nên tồn < γi < ki < + ∞, i = 1, cho: k1 ∫α γ ds 11 + α12 s + s (c − a ) = 1−λ1 − λ1 k2 , ∫α γ ds 21 + α 22 s + s (b − c ) = 1− λ2 − λ2 Ta xây dựng hai hàm ρ1, ρ2 cho : download by : skknchat@gmail.com (3.2.40) 60 k1 ∫ ρ1 ( t ) ds α11 + α12 s + s k2 ∫ (t − a ) = ds ρ2 ( t ) α 21 + α 22 s + s 1−λ1 , a < t ≤ c − λ1 (b − t ) = (3.2.41) 1− λ2 − λ2 ,c ≤ t < b (3.2.42) Từ (3.2.40) ta có: γ1 < ρ1(t) < k1, a < t < c, γ2 < ρ2(t) < k2, c < t < b, Xét: ρ1 (c) = γ1, ρ2 (c) = γ2 (3.2.43)  t  − λ1 exp   ∫ ( s − a ) ρ1 ( s ) ds  , a ≤ t ≤ c  c  v(t ) =  c  − λ2  b − s s ds exp ( ) ρ ( )   ,c < t ≤ b ∫  t   (3.2.44) t   −λ1  (t − a) ρ1 (t ).exp  ∫ ( s − a)−λ1 ρ1 ( s )ds  , a < t < c   c  Suy : v '(t ) =  (3.2.45)  c  −(b − t )−λ2 ρ2 (t ).exp  (b − s )−λ1 ρ2 ( s ) ds  , c < t < b ∫    t   Ta lại có :  −λ (t − a )−λ1−1.ρ (t ) + (t − a )−λ1 ρ ' (t ) + (t − a )−2λ1 ρ (t ) 1     t   −λ1  ,a < t < c exp ( s − a ) ρ ( s ) ds  ∫   c   v ''(t ) =  −λ (b − t )−λ2 −1 ρ (t ) − (b − t )−λ2 ρ ' (t ) + (b − t )−2λ2 ρ (t ) 2    c    (b − s )−λ1 ρ ( s ) ds  , c < t < b exp ∫    t   (3.2.46) Mặt khác , từ (3.2.41), (3.2.42) ta có : ρ1' (t ) = −(t − a )−λ1 (α11 + α12ρ1 (t ) + ρ12 (t )) , ρ2' (t ) = (b − t )−λ2 (α21 + α22ρ2 (t ) + ρ22 (t )) download by : skknchat@gmail.com (3.2.47) 61 Thế (3.2.47) vào (3.2.46) ta có : v ''(t ) = − λ1 1 v '(t ) − α + α12ρ1 (t ) + ρ12 (t )).v (t ) + ρ12 (t ).v (t ) 2λ1 ( 11 2λ1 (t − a ) (t − a) (t − a ) =− λ1 α12 −λ v '(t ) − α11.v(t ) − t − a ) ρ1 (t ).v(t ) 2λ1 λ1 ( (t − a ) (t − a ) (t − a ) =−  α λ1  12  − + v ( t ) 2λ λ1   v '(t ) , ( t − a ) t − a (t − a ) ( )   α11 với a < t < c (3.2.48) Tương tự ta có : v ''(t ) = −  α λ2  22  + − v ( t ) 2λ λ2   v '(t ) , c < t < b (3.2.49) b − t b − t (b − t ) ( )   α21 v "(t ) ≤ , với a < t < b Suy : (3.2.50) ' ((a; b) \ {c}; R+ ), v '(t ) > , a < t < c Ngoài ra: v (t ) > 0, a ≤ t ≤ b, v ∈ Cloc v’(t) < 0, c < t < b ; v’(c-) ≥ v’(c+) (3.2.51) Khi ñó, xét hàm ño ñược g : (a ; b) → R thỏa mãn : g1(t) ≤ g(t) ≤ g2(t), a 0, u0(b) = v(b) > nên : u0(t)> download by : skknchat@gmail.com 63 Vậ y w(t) > với a ≤ t ≤ b Hay : tồn w ∈ w ∈ C ' ([ a; b]; R ) cho: w ''(t ) ≤ p (t ) w(t ) + g (t ) w '(t ) + h(t ) w(τ (t )) , với a < t < b Nghĩa : (p, g1, g2) ∈ V0((a; b); ℓ) Vậy ñiều kiện (3.2.2) ñịnh lý 3.2.1 thỏa mãn Tiếp tục, xét tốn : u’’( t) = p1( t)u( t) + p2( u)( t).u’( t) + h( t) u( τ( t) + G( u)( t) = F(u)(t) Ta có : [ F (v)(t ) − p1 (t )v(t ) − p2 (v)(t )v '(t ) − ℓ(v)(t )]sgn v(t ) = G (v)(t )sgn v(t ) ≥ −q(t ) (do bất ñẳng thức (3.2.29)) nên điều kiện (3.2.1) thỏa mãn Do đó, áp dụng định lý 2.1 ta có tốn (1.4), (1.2) có nghiệm Vậy hệ 3.2.4 ñược chứng minh download by : skknchat@gmail.com 64 KẾT LUẬN VÀ KIẾN NGHỊ Luận văn ñã ñạt ñược mục tiêu ban ñầu ñề Qua kết luận văn, chúng tơi nghiên cứu tính giải tính nghiệm tốn biên hai điểm cho phương trình vi phân hàm bậc hai áp dụng kết cho phương trình vi phân đối số lệch Qua đó, câu hỏi tự nhiên đặt là: kết cịn hay khơng cho phương trình vi phân hàm bậc cao Hơn nữa, tốn chúng tơi cịn chưa nghiên cứu tính chất xấp xỉ nghiệm Ngồi ra, kết cịn hay khơng tốn biên dạng tuần hồn, hay tốn biên nhiều điểm cho phương trình vi phân hàm bậc cao Các vấn đề nói chung cịn mở, chưa giải cặn kẽ Chính vậy, thơng qua kết đạt luận văn này, chúng tơi mong muốn mở rộng tiếp tục nghiên cứu vấn ñề vừa nêu download by : skknchat@gmail.com 65 TÀI LIỆU THAM KHẢO Tiếng Anh I.Kiguradze and B.Puza , On boundary value problems for systems of linear functional differential equations, Czechslovak Math, J 47, (1997) (No.2) , 341-373 I.Kiguradze and B.Puza , Conti–Opial type theorems for systems of functional differential equations, Differentsialnye Uravneniya, 33, (1997) (No.2) , 185-194 I.Kiguradze and B Puza , On the sovability of nonlinear boundary value problems for fuctional differential equations, Georgian Math, J, (1998) (No 3), 251-262 I T.Kiguradze, Some singluar boudary value of problem for ordinary differential quations , Tbilisi Univ Press, Tbilisi (1975) S.N.Berstein, On variational calculus equations Uspekhi mat.nauk (1940), (No.1), 32 – 74 J.Hale, Theory of functional differential equations Springer-Verlag, NewYork-Heidelberg-Berlin, (1977) A.G.Lomtatidze, On a boundary value problem for second order nonlinear ordinary differential equations with singularities, Differentsial’snye Uraneniya 22 (1986), (No.3), 416 – 426 A.G.Lomtatidze and S.V Mukhigulashvili, On a two-point boundary value problem for second order functional differential equations, Mem Differential Equations Math Phys.10 (1997), 125 – 128, 150 – 152 download by : skknchat@gmail.com 66 V.V.Gudkov, Yu A.Klokov, A.J.Lepin and V.D.Ponomarev, Two-point boundary value problems for ordinary equations, Zinatne, Riga, (1973) 10 I.T.Kiguradze, On a priori estimates for derivatives of bounded funtions satisfying second order differential inequalities, Differentsial’nye Uravneniya (1967), (No 7), 1043 - 1052 download by : skknchat@gmail.com ... tốn biên hai điểm cho phương trình vi phân hàm bậc hai Ý nghĩa khoa học thực tiễn Kết luận văn sở ñể tiếp tục nghiên cứu lớp tốn biên hai điểm, nhiều điểm cho phương trình vi phân hàm bậc hai. .. phân hàm cấp hai nhất, phương trình vi phân hàm cấp hai không nhất, áp dụng kết đạt cho phương trình vi phân hàm cấp hai ñối số lệch ðối tượng phạm vi nghiên cứu Trong luận văn này, trọng vi? ??c... skknchat@gmail.com phương trình vi phân hàm bậc cao áp dụng kết cho phương trình vi phân ñối số lệch bậc cao Cấu trúc luận văn Nội dung luận văn gồm có chương: Chương Phần giới thiệu toán Chương Một