(Luận văn) một lớp bài toán biên hai điểm không chính quy cho phương trình vi phân cấp hai

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC SƯ PHẠM THÀNH PHỐ HỒ CHÍ MINH Huỳnh Văn An lu an n va MỘT LỚP BÀI TOÁN BIÊN HAI ĐIỂM gh tn to KHƠNG CHÍNH QUY p ie CHO PHƯƠNG TRÌNH VI PHÂN CẤP HAI d oa nl w lu ll u nf va an LUẬN VĂN THẠC SĨ TOÁN HỌC oi m z at nh z m co l gm @ an Lu Thành phố Hồ Chí Minh – 2020 n va ac th si BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC SƯ PHẠM THÀNH PHỐ HỒ CHÍ MINH Huỳnh Văn An lu MỘT LỚP BÀI TỐN BIÊN HAI ĐIỂM an va n KHƠNG CHÍNH QUY p ie gh tn to CHO PHƯƠNG TRÌNH VI PHÂN CẤP HAI oa nl w Chuyên ngành: Toán giải tích d Mã số: 84 601 02 lu ll u nf va an LUẬN VĂN THẠC SĨ TOÁN HỌC oi m z at nh NGƯỜI HƯỚNG DẪN KHOA HỌC: PGS.TS NGUYỄN ANH TUẤN z m co l gm @ an Lu Thành phố Hồ Chí Minh – 2020 n va ac th si LỜI CAM ĐOAN Tôi xin cam đoan luận văn Thạc sĩ Toán học với đề tài “Một lớp tốn biên hai điểm khơng quy cho phương trình vi phân cấp hai” thực với hướng dẫn PGS TS Nguyễn Anh Tuấn, khơng chép Nội dung luận văn tham khảo, trình bày lại kết nhà toán học: A.G Lomtatidze, Robert Hakl Manuel Zamora từ tài liệu liệt kê danh mục tài liệu tham khảo Tôi xin hoàn toàn chịu trách nhiệm lu luận văn an n va Thành phố Hồ Chí Minh, ngày 10 tháng năm 2020 to p ie gh tn Học viên thực nl w d oa HUỲNH VĂN AN ll u nf va an lu oi m z at nh z m co l gm @ an Lu n va ac th si LỜI CẢM ƠN Tôi xin gửi lời cảm ơn chân thành tới Ban giám hiệu, Phòng Đào tạo, Phòng Sau đại học, Khoa Toán Tin trường Đại học Sư phạm Thành phố Hồ Chí Minh tạo điều kiện thuận lợi cho tơi suốt q trình học tập hồn thành luận văn Thạc sĩ Tôi xin gửi lời cảm ơn chân thành tới giảng viên Trường nhiệt tình truyền đạt kiến thức quý báu, tạo điều kiện thuận lợi cho tơi hồn thành khóa học lu Tôi xin gửi lời cảm ơn chân thành tới PGS TS Nguyễn Anh Tuấn hướng an n va dẫn tơi suốt q trình nghiên cứu hoàn thành luận văn Thạc sĩ tn to Đồng thời, xin gửi lời cảm ơn đến quý thầy cô Hội đồng chấm gh luận văn dành thời gian đọc, chỉnh sửa đóng góp ý kiến cho tơi hồn thành p ie luận văn cách hồn chỉnh nl w Cuối cùng, tơi xin chân thành cảm ơn gia đình, bạn bè động viên, khuyến d oa kích tơi suốt q trình học tập nghiên cứu ll u nf va an lu Xin chân thành cảm ơn oi m z at nh z m co l gm @ an Lu n va ac th si MỤC LỤC Lời cam đoan Lời cảm ơn Mục lục Danh mục kí hiệu GIỚI THIỆU Chương TÍNH GIẢI ĐƯỢC CHO BÀI TOÁN (1.1), (1.2) 1.1 Các kết cho toán (1.1), (1.2) lu an Định nghĩa 1.1 va n Định lý 1.2 ie gh tn to Hệ 1.3 p Hệ 1.4 oa nl w 1.2 Các bổ đề bổ trợ d Bổ đề 1.5 lu va an Bổ đề 1.6 11 ll u nf Bổ đề 1.7 13 oi m Bổ đề 1.8 18 z at nh Bổ đề 1.9 19 1.3 Chứng minh kết 19 z @ l gm Chứng minh Định lý 1.2: 19 Chứng minh Hệ 1.3: 22 m co Chứng minh Hệ 1.4: 29 an Lu Chương TÍNH GIẢI ĐƯỢC CHO BÀI TOÁN (2.1), (2.2) 32 n va ac th si 2.1 Các kết cho toán (2.1), (2.2) 32 Định nghĩa 2.1 32 Định lý 2.2 32 2.2 Các bổ đề bổ trợ 33 Bổ đề 2.3 33 Bổ đề 2.4 39 Bổ đề 2.5 43 lu Bổ đề 2.6 43 an n va Bổ đề 2.7 45 gh tn to Bổ đề 2.8 49 p ie 2.3 Chứng minh kết 49 w Chứng minh Định lý 2.2 49 oa nl KẾT LUẬN 51 d TÀI LIỆU THAM KHẢO 52 ll u nf va an lu oi m z at nh z m co l gm @ an Lu n va ac th si DANH MỤC CÁC KÍ HIỆU  ℕ tập số tự nhiên, ℝ tập số thực, ℝ+ = [0, +∞)  𝐿([𝑎, 𝑏]; 𝐷) với 𝐷 ⊆ ℝ tập hàm 𝑝: [𝑎, 𝑏] → 𝐷 khả tích Lebesgue [𝑎, 𝑏]  𝐿𝑙𝑜𝑐 ((𝑎, 𝑏); 𝐷) với 𝐷 ⊆ ℝ tập hàm 𝑝: (𝑎, 𝑏) → 𝐷 thỏa 𝑝 ∈ 𝐿([𝛼, 𝛽]; 𝐷) với [𝛼, 𝛽] ⊂ (𝑎, 𝑏)  𝐿∞ 𝑙𝑜𝑐 ((𝑎, 𝑏); ℝ+ ) tập hàm 𝑝: (𝑎, 𝑏) → ℝ+ bị chặn hoàn toàn đoạn chứa (𝑎, 𝑏) lu  𝐶([𝑎, 𝑏]; 𝐷) với 𝐷 ⊆ ℝ tập hàm liên tục 𝑢: [𝑎, 𝑏] → 𝐷 an n va  𝐶𝑙𝑜𝑐 ((𝑎, 𝑏); ℝ) tập hàm 𝑢: (𝑎, 𝑏) → ℝ thỏa 𝑢 ∈ 𝐶([𝛼, 𝛽]; ℝ) với tn to [𝛼, 𝛽] ⊂ (𝑎, 𝑏) gh  𝐴𝐶 ([𝑎, 𝑏]; 𝐷) với 𝐷 ⊆ ℝ tập hàm 𝑢: [𝑎, 𝑏] → 𝐷 liên tục tuyệt đối p ie đạo hàm cấp liên tục tuyệt đối w (𝐼; 𝐷) với 𝐼 ⊆ (𝑎, 𝑏), 𝐷 ⊆ ℝ tập hàm 𝑢: 𝐼 → 𝐷 thỏa mãn  AC𝑙𝑜𝑐 oa nl 𝑢 ∈ 𝐴𝐶 ([𝛼, 𝛽]; 𝐷) với [𝛼, 𝛽] ⊆ 𝐼 d  𝐶𝑎𝑟𝑙𝑜𝑐 ((𝑎, 𝑏) × 𝐷 × ℝ; ℝ) với 𝐷 ⊆ ℝ lớp Carathéodory, nghĩa hàm lu va an 𝑓: (𝑎, 𝑏) × 𝐷 × ℝ → ℝ thỏa 𝑓(𝑡,∙,∙): 𝐷 × ℝ → ℝ liên tục hầu khắp nơi ll u nf 𝑡 ∈ (𝑎, 𝑏), 𝑓(∙, 𝑥, 𝑦): (𝑎, 𝑏) → ℝ liên tục với (𝑥, 𝑦) ∈ 𝐷 × ℝ oi m sup{|𝑓(∙, 𝑥, 𝑦)|: (𝑥, 𝑦) ∈ 𝐷0 } ∈ 𝐿𝑙𝑜𝑐 ((𝑎, 𝑏); ℝ+ ) với tập compact 1 2 z at nh 𝐷0 ⊂ 𝐷 × ℝ  [𝑝]− = (|𝑝| − 𝑝), [𝑝]+ = (|𝑝| + 𝑝) z m co l gm @  𝑢(𝑠 +) 𝑢(𝑠 −) giới hạn phải giới hạn trái hàm 𝑢 điểm 𝑠 an Lu n va ac th si GIỚI THIỆU Lý thuyết toán biên cho phương trình vi phân thường đời từ kỉ 18, nhiên đến phát triển mạnh mẽ có nhiều ứng dụng khoa học kỹ thuật khác như: khí, điện tử, vật lý, sinh học, nông nghiệp, ….[1], [3], [4], [6] – [8], [18] – [20] Một mục đích việc nghiên cứu tốn biên cho phương trình vi phân xem xét tồn nghiệm, tính chất nghiệm cho phương trình vi phân đối số chậm đối số lệch hay phương trình vi phân khơng quy Bài tốn biên cho phương trình vi phân khơng quy nghiên cứu nhiều nhà tốn học đến từ Cộng hịa lu an Grugia, Cộng hòa Séc,… I Kiguradze, A Lomtatidze, R Hakl n va Mục đích luận văn hệ thống trình bày lại cách chi tiết hai to gh tn báo A Lomtatidze R Hakl p ie 1) A Lomtatidze and P J Torres, On a two-point boundary value problem w for second order singular equations, Czechoslovak Math J 53 (2003), 19 – 43 oa nl 2) R Hakl and Manuel Zamora, Existence of a solution to the Dirichlet d problem associated to a second-order differential equation with singularities: lu u nf 469 – 491 va an The method of lower and upper functions, Georgian Math J 20 (2013), ll Nội dung luận văn gồm hai chương: oi m z at nh Chương Tính giải cho tốn (1.1), (1.2) Chương xây dựng điều kiện đủ số trường hợp điều kiện cần z (1.2) an Lu 𝑓, 𝑔 ∈ Car𝑙𝑜𝑐 ((𝑎, 𝑏) × (0, +∞); ℝ) m co 𝑢(𝑎 +) = 0, 𝑢(𝑏 −) = (1.1) l 𝑢′′ = 𝑓(𝑡, 𝑢) + 𝑔(𝑡, 𝑢)𝑢′ gm @ đủ cho tính giải toán giá trị biên: n va ac th si Nghiệm toán (1.1), (1.2) hàm 𝑢 không bị chặn, 𝑢 ∈ AC𝑙𝑜𝑐 ((𝑎, 𝑏); (0; +∞)) thỏa mãn phương trình (1.1) hầu khắp nơi (𝑎, 𝑏) thỏa mãn điều kiện biên (1.2) Chương Tính giải cho tốn (2.1), (2.2) Chương xây dựng điều kiện đủ cho tính giải toán giá trị biên: 𝑢′′ = 𝑓(𝑡, 𝑢) + 𝑔(𝑡, 𝑢)𝑢′ (2.1) 𝑢(𝑎 +) = 0, 𝑢(𝑏 −) = (2.2) lu 𝑓, 𝑔 ∈ Car𝑙𝑜𝑐 ((𝑎, 𝑏) × (0,1); ℝ) an n va Nghiệm toán (2.1), (2.2) hàm 𝑢 bị chặn, 𝑢 ∈ AC𝑙𝑜𝑐 ((𝑎, 𝑏); ℝ), tn to < 𝑢(𝑡) < 1, 𝑡 ∈ (𝑎, 𝑏) thỏa mãn phương trình (2.1) hầu khắp nơi (𝑎, 𝑏) p ie gh thỏa mãn điều kiện biên (2.2) d oa nl w ll u nf va an lu oi m z at nh z m co l gm @ an Lu n va ac th si Chương TÍNH GIẢI ĐƯỢC CHO BÀI TỐN (1.1), (1.2) Trong chương này, ta xây dựng điều kiện đủ số trường hợp điều kiện cần đủ cho tồn nghiệm không bị chặn toán giá trị biên: 𝑢′′ = 𝑓(𝑡, 𝑢) + 𝑔(𝑡, 𝑢)𝑢′ (1.1) 𝑢(𝑎 +) = 0, 𝑢(𝑏 −) = (1.2) Trong 𝑓, 𝑔 ∈ Car𝑙𝑜𝑐 ((𝑎, 𝑏) × (0, +∞); ℝ) lu 1.1 Các kết cho toán (1.1), (1.2) an n va Định nghĩa 1.1 tn to Hàm liên tục 𝜎: (𝑎, 𝑏) → (0, +∞) hàm (trên) phương trình (1.1) ie gh ∈ 𝐴𝐶𝑙𝑜𝑐 ((𝑎, 𝑏)\{𝑡1 , 𝑡2 , … , 𝑡𝑛 }; (0, +∞)), 𝑎 < 𝑡1 < 𝑡2 < ⋯ < 𝑡𝑛 < 𝑏, tồn p giới hạn hữu hạn 𝜎(𝑎 +), 𝜎(𝑏 −), 𝜎′(𝑡𝑖 +), 𝜎 ′ (𝑡𝑖 −), 𝑖 = ̅̅̅̅̅ 1, 𝑛, oa nl w 𝜎 ′ (𝑡𝑖 −) < 𝜎′(𝑡𝑖 +) ( 𝜎 ′ (𝑡𝑖 −) > 𝜎′(𝑡𝑖 +)), 𝑖 = ̅̅̅̅̅ 1, 𝑛, d hkn 𝑡 ∈ (𝑎, 𝑏) ta có: an lu u nf va 𝜎 ′′ (𝑡) ≥ 𝑓(𝑡, 𝜎(𝑡)) + 𝑔(𝑡, 𝜎(𝑡))𝜎 ′ (𝑡) ll (𝜎′′(𝑡) ≤ 𝑓(𝑡, 𝜎(𝑡)) + 𝑔(𝑡, 𝜎(𝑡))𝜎′(𝑡)) oi m z at nh Định lý 1.2 Giả sử 𝜎1 𝜎2 hàm hàm phương trình (1.1) và: z gm @ 𝜎1 (𝑡) ≤ 𝜎2 (𝑡), 𝑡 ∈ (𝑎, 𝑏), (1.3) m co l 𝜎1 (𝑎 +) = 0, 𝜎1 (𝑏 −) = 0, 𝜎2 (𝑎 +) ≠ 0, 𝜎2 (𝑏 −) ≠ Giải sử thêm, với < 𝜂 < min{𝜎2 (𝑡): 𝑎 ≤ 𝑡 ≤ 𝑏} tồn 𝛾 ∈ (𝑎, 𝑏), an Lu 𝑝𝜂 , 𝑞𝜂 ∈ 𝐿𝑙𝑜𝑐 ((𝑎, 𝑏); ℝ+ ) thỏa mãn: n va ac th si 40 𝜌𝑎 (𝑡) = 𝜌0 ( 𝑏−𝑡 𝜆0 ) 𝑡−𝑎 𝜌𝑏 (𝑡) = 𝜌0 ( 𝑡−𝑎 𝜆0 ) 𝑏−𝑡 𝑐−𝑎 𝜆0 [𝑟1 (𝑏−𝑐) 𝑏−𝑐 𝜆0 [𝑟1 (𝑐−𝑎) 𝑐 𝑠−𝑎 𝜆0 + ∫𝑡 ( ) 𝑏−𝑠 𝑡 𝑏−𝑠 𝜆0 + ∫𝑐 ( ) 𝑠−𝑎 ℎ0 (𝑠)𝑑𝑠] , 𝑡 ∈ (𝑎, 𝑐] ℎ0 (𝑠)𝑑𝑠] , 𝑡 ∈ [𝑐, 𝑏) 𝜌 (𝑡), 𝑡 ∈ (𝑎, 𝑐] 𝜌(𝑡) = { 𝑎 𝜌𝑏 (𝑡), 𝑡 ∈ [𝑐, 𝑏) Do ℎ𝑜 khả tích với trọng số (𝑏 − 𝑡 )(𝑡 − 𝑎) nên 𝜌 ∈ 𝐶((𝑎, 𝑏); ℝ+ ) ∩ 𝐿([𝑎, 𝑏]; ℝ+ ) lu Giả sử bổ đề sai, tồn 𝑡1 ∈ (𝑎, 𝑐), 𝑡2 ∈ (𝑐, 𝑏), 𝑢 ∈ 𝐴𝐶 ([𝑡1 , 𝑡2 ]; ℝ) an thỏa mãn (2.23), (2.24), tồn 𝑡0 ∈ [𝑡1 , 𝑡2 ] thỏa mãn: va n |𝑢′ (𝑡0 )| > 𝜌(𝑡0 ) (2.26) tn to gh Nếu 𝑡0 = 𝑐 theo giả thiết ta có 𝑢′ (𝑡0 ) ≤ 𝜌(𝑡0 ): mâu thuẫn với (2.26) Suy p ie 𝑡0 ≠ 𝑐 nl w Đặt: oa 𝜆 (2.27) d ℎ2 (𝑡) = (𝑏−𝑡)(𝑡−𝑎) + ℎ1 (𝑡), hkn 𝑡 ∈ (𝑎, 𝑏) ll u nf va an Từ (2.24) ta có: lu Trường hợp 𝑡0 < 𝑐: oi m |𝑢′ (𝑡)|′ ≤ ℎ0 (𝑡) + ℎ2 (𝑡)|𝑢′ (𝑡)|, hkn 𝑡 ∈ (𝑡0 , 𝑐) z at nh Áp dụng bổ đề bất đẳng thức vi phân tích phân ta có: 𝑡 𝑡 𝑡 z |𝑢′ (𝑡)| ≤ 𝑢′ (𝑐)𝑒𝑥𝑝 (∫𝑐 −ℎ2 (𝜉)𝑑𝜉 ) + ∫𝑐 −ℎ0 (𝑠)𝑒𝑥𝑝 (∫𝑠 −ℎ2 (𝜉)𝑑𝜉 ) 𝑑𝑠 𝑐 gm @ 𝑐 𝑠 , ℎ𝑘𝑛 𝑡 ∈ (𝑡0 , 𝑐) an Lu Suy ra: m co l ≤ 𝑢′ (𝑐)𝑒𝑥𝑝(∫𝑡 ℎ2 (𝜉)𝑑𝜉 ) + ∫𝑡 ℎ0 (𝑠)𝑒𝑥𝑝(∫𝑡 ℎ2 (𝜉)𝑑𝜉 )𝑑𝑠 n va ac th si 41 𝑐 𝑐 𝑠 0 |𝑢′ (𝑡0 )| ≤ 𝑢′ (𝑐)𝑒𝑥𝑝 (∫𝑡 ℎ2 (𝜉)𝑑𝜉 ) + ∫𝑡 ℎ0 (𝑠)𝑒𝑥𝑝 (∫𝑡 ℎ2 (𝜉)𝑑𝜉 ) 𝑑𝑠 (2.28) 𝜆 Ta có: ℎ2 (𝑡) = (𝑏−𝑡)(𝑡−𝑎) + ℎ1 (𝑡) Lấy tích phân hai vế ta được: 𝑠 𝑠 0 ∫𝑡 ℎ2 (𝜉)𝑑𝜉 = ∫𝑡 = 𝑠 𝜆 𝑑𝜉 + ∫𝑡 ℎ1 (𝜉)𝑑𝜉 (𝑏−𝜉)(𝜉−𝑎) 𝜆 𝑏−𝑎 ln | 𝜉−𝑎 𝑏−𝜉 𝑠 𝑠 | |𝑡 + ∫𝑡 ℎ1 (𝜉)𝑑𝜉 0 (𝑏−𝑡 )(𝑠−𝑎) lu = 𝜆0 ln (𝑏−𝑠)(𝑡 𝑠 + ∫𝑡 ℎ1 (𝜉)𝑑𝜉 −𝑎) an (𝑏−𝑡 )(𝑠−𝑎) n va ≤ 𝜆0 ln (𝑏−𝑠)(𝑡 −𝑎) + ln 𝜌0 , 𝑠 ∈ [𝑡0 , 𝑐) to (𝑏−𝑡 )(𝑠−𝑎) 𝜆0 𝑠 tn Suy ra: 𝑒𝑥𝑝 [∫𝑡 ℎ2 (𝜉)𝑑𝜉 ] ≤ 𝜌0 [(𝑏−𝑠)(𝑡 −𝑎) ] , 𝑠 ∈ [𝑡0 , 𝑐) ie gh p Vì 𝑡0 ∈ (𝑎, 𝑐] nên w nl 𝜌(𝑡0 ) = 𝜌𝑎 (𝑡0 ) = 𝜌0 ( 𝑏−𝑡0 𝜆0 d oa 𝑡0 ) −𝑎 lu (𝑏−𝑡0 )(𝑐−𝑎) 𝜆0 ) −𝑎)(𝑏−𝑐) an = 𝜌0 𝑟1 ((𝑡 𝑐−𝑎 𝜆0 [𝑟1 (𝑏−𝑐) + 𝜌0 ( 𝑐 𝑏−𝑡0 𝜆0 𝑡0 𝑠−𝑎 𝜆0 + ∫𝑡 ( ) 𝑏−𝑠 ) −𝑎 𝑐 𝑠−𝑎 𝜆0 ∫𝑡 (𝑏−𝑠 ) va 𝑐 𝑠 0 u nf 𝑐 ℎ0 (𝑠)𝑑𝑠] ℎ0 (𝑠)𝑑𝑠 z l gm @ Từ (2.24) ta có: z at nh Trường hợp 𝑡0 > 𝑐: oi Mâu thuẫn với (2.26) m = |𝑢′ (𝑡0 )| ll ≥ 𝑢′ (𝑐)𝑒𝑥𝑝 (∫𝑡 ℎ2 (𝜉)𝑑𝜉 ) + ∫𝑡 ℎ0 (𝑠)𝑒𝑥𝑝 (∫𝑡 ℎ2 (𝜉)𝑑𝜉 ) 𝑑𝑠 m co |𝑢′ (𝑡)|′ ≤ ℎ0 (𝑡) + ℎ2 (𝑡)|𝑢′ (𝑡)|, hkn 𝑡 ∈ (𝑐, 𝑡0 ) an Lu Áp dụng bổ đề bất đẳng thức vi phân tích phân ta có: n va ac th si 42 𝑡 𝑡 𝑡 |𝑢′ (𝑡)| ≤ 𝑢′ (𝑐)𝑒𝑥𝑝 (∫𝑐 ℎ2 (𝜉)𝑑𝜉 ) + ∫𝑐 ℎ0 (𝑠)𝑒𝑥𝑝 (∫𝑠 ℎ2 (𝜉)𝑑𝜉 ) 𝑑𝑠 Suy ra: 𝑡 𝑡 𝑡 |𝑢′ (𝑡0 )| ≤ 𝑢′ (𝑐)𝑒𝑥𝑝 (∫𝑐 ℎ2 (𝜉)𝑑𝜉 ) + ∫𝑐 ℎ0 (𝑠)𝑒𝑥𝑝 (∫𝑠 ℎ2 (𝜉)𝑑𝜉 ) 𝑑𝑠 𝜆 Ta có: ℎ2 (𝑡) = (𝑏−𝑡)(𝑡−𝑎) + ℎ1 (𝑡) Lấy tích phân hai vế ta được: 𝑡 𝑡 𝑡 𝜆 0 ∫𝑠 ℎ2 (𝜉)𝑑𝜉 = ∫𝑠 (𝑏−𝜉)(𝜉−𝑎) 𝑑𝜉 + ∫𝑠 ℎ1 (𝜉)𝑑𝜉 lu an = 𝜆 𝑏−𝑎 ln | va 𝑡 𝑡 | | + ∫𝑠 ℎ1 (𝜉)𝑑𝜉 𝑏−𝜉 𝑠 𝜉−𝑎 n (𝑡 −𝑎)(𝑏−𝑠) 𝑡 to = 𝜆0 ln (𝑠−𝑎)(𝑏−𝑡 + ∫𝑠 ℎ1 (𝜉)𝑑𝜉 ) gh tn (𝑏−𝑡 )(𝑠−𝑎) p ie ≤ 𝜆0 ln (𝑏−𝑠)(𝑡 + ln 𝜌0 , 𝑠 ∈ (𝑐, 𝑡0 ] oa nl w Suy ra: −𝑎) d 𝑡 𝑒𝑥𝑝 [∫𝑠 ℎ2 (𝜉)𝑑𝜉 ] (𝑏−𝑡0 )(𝑠−𝑎) 𝜆0 ≤ 𝜌0 [(𝑏−𝑠)(𝑡 ] , 𝑠 ∈ (𝑐, 𝑡0 ] u nf va an lu Vì 𝑡0 ∈ [𝑐, 𝑏) nên −𝑎) 𝑡0 −𝑎 𝜆0 ) ll 𝜌(𝑡0 ) = 𝜌𝑏 (𝑡0 ) = 𝜌0 ( [𝑟1 (𝑐−𝑎) oi m 𝑏−𝑡0 𝑏−𝑐 𝜆0 ) )(𝑐−𝑎) 𝑡 𝑡0 −𝑎 𝜆0 z at nh (𝑡 −𝑎)(𝑏−𝑐) 𝜆0 = 𝜌0 𝑟1 ((𝑏−𝑡 + + 𝜌0 ( 𝑏−𝑡0 ) 𝑡0 𝑏−𝑠 𝜆0 ∫𝑐 (𝑠−𝑎) 𝑏−𝑠 𝜆0 𝑡 ∫𝑐 (𝑠−𝑎) 𝑡 ℎ0 (𝑠)𝑑𝑠] ℎ0 (𝑠)𝑑𝑠 𝑡 z ≥ 𝑢′ (𝑐)𝑒𝑥𝑝 (∫𝑐 ℎ2 (𝜉)𝑑𝜉 ) + ∫𝑐 ℎ0 (𝑠)𝑒𝑥𝑝 (∫𝑠 ℎ2 (𝜉)𝑑𝜉 ) 𝑑𝑠 m co Mâu thuẫn với (2.26) Vậy, bổ đề chứng minh l gm @ = |𝑢′ (𝑡0 )| an Lu n va ac th si 43 Bổ đề 2.5 Giả sử 𝜎1 𝜎2 hàm hàm phương trình (2.3) thỏa 𝜎1 (𝑡) ≤ 𝜎2 (𝑡), 𝑡 ∈ (𝑎, 𝑏), (2.29) |ℎ(𝑡, 𝑥, 𝑦)| ≤ 𝑞(𝑡), hkn 𝑡 ∈ (𝑎, 𝑏), 𝜎1 (𝑡) ≤ 𝑥 ≤ 𝜎2 (𝑡), 𝑦 ∈ ℝ, 𝑞 ∈ 𝐿([𝑎, 𝑏]; ℝ+ ) 𝑐1 ∈ [𝜎1 (𝑎 +), 𝜎2 (𝑎 +)] 𝑐2 ∈ [𝜎1 (𝑏 −), 𝜎2 (𝑏 −)] lu Khi đó, tốn (2.3), (2 30 ) có nghiệm 𝑢 ∈ 𝐴𝐶𝑙𝑜𝑐 ((𝑎, 𝑏); ℝ) thỏa mãn: an va n 𝜎1 (𝑡) ≤ 𝑢(𝑡) ≤ 𝜎2 (𝑡), 𝑡 ∈ (𝑎, 𝑏) (2.30) to gh tn Bổ đề 2.6 p ie Cho 𝜎1 𝜎2 hàm hàm phương trình (2.3) thỏa mãn w (2 30 ) Hơn nữa, giả sử: nl 𝜆 d oa ℎ(𝑡, 𝑥, 𝑦)𝑠𝑔𝑛[𝑦(𝑡 − 𝑐)] ≤ ℎ0 (𝑡) + [(𝑏−𝑡)(𝑡−𝑎) + ℎ1 (𝑡)] |𝑦| (2.31) u nf va an lu , hkn 𝑡 ∈ (𝑎, 𝑏), 𝜎1 (𝑡) ≤ 𝑥 ≤ 𝜎2 (𝑡), 𝑦 ∈ ℝ (2.32) ll ℎ(𝑡, 𝑥, 𝑦) ≥ −ℎ0 (𝑡) − ℎ2 (𝑡)|𝑦| oi m z at nh , hkn 𝑡 ∈ (𝛼, 𝛽), 𝜎1 (𝑡) ≤ 𝑥 ≤ 𝜎2 (𝑡), 𝑦 ∈ ℝ, 𝑎 < 𝛼 < 𝛽 < 𝑏, 𝜆 ∈ [0,𝑏 − 𝑎), ℎ1 , ℎ2 ∈ 𝐿([𝑎, 𝑏]; ℝ+ ), ℎ0 ∈ 𝐿𝑙𝑜𝑐 ((𝑎, 𝑏); ℝ+ ) thỏa (2.10) z @ an Lu Đặt: m co Chứng minh: l toán (2.3), (2 30 ) có nghiệm 𝑢 thỏa (2.30) gm Khi đó, với 𝑐1 ∈ [𝜎1 (𝑎 +), 𝜎2 (𝑎 +)] 𝑐2 ∈ [𝜎1 (𝑏 −), 𝜎2 (𝑏 −)] n va ac th si 44 𝑟0 = sup{|𝜎1 (𝑡)| + |𝜎2 (𝑡)| + 1: 𝑡 ∈ (𝑎, 𝑏)}, (2.33) 𝑏 𝑏 𝑟 ∗ = [2𝑟0 (𝑏 − 𝑎) + ∫𝑎 (𝑏 − 𝑠)(𝑠 − 𝑎)ℎ0 (𝑠)𝑑𝑠] 𝑒𝑥𝑝 (2 ∫𝑎 ℎ2 (𝑠)𝑑𝑠), 𝑟∗ (2.34) 𝑟1 = (𝛽−𝑐)(𝑐−𝛼) Giả sử có hàm 𝜌 ∈ 𝐶((𝑎, 𝑏); ℝ+ ) ∩ 𝐿([𝑎, 𝑏]; ℝ+ ) thỏa Bổ đề 2.4 Xét phương trình: 𝑢′′ = 𝜒(𝑡, 𝑢′ )ℎ(𝑡, 𝑢, 𝑢′ ) (2.35) lu đó: an n va 1, 𝑡 ∈ (𝑎, 𝑏), |𝑦| ≤ 𝜌1 (𝑡), |𝑦| (𝑡) (2.36) p ie , 𝑡 ∈ (𝑎, 𝑏), 𝜌1 (𝑡) < |𝑦| < 2𝜌1 (𝑡), 0, 𝑡 ∈ (𝑎, 𝑏), 2𝜌1 (𝑡) ≤ |𝑦|, gh tn to 𝜒(𝑡, 𝑦) = {2 − 𝜌 𝜌1 (𝑡) = 𝜌(𝑡) + |𝜎1′ (𝑡)| + |𝜎2′ (𝑡)| + 1, 𝑡 ∈ (𝑎, 𝑏) oa nl w (2.37) d Đặt: lu Sao cho: u nf va an 𝑡1𝑛 ∈ (𝑎, 𝛼), 𝑡2𝑛 ∈ (𝛽, 𝑏), 𝑐𝑗𝑛 ∈ [𝜎1 (𝑡𝑗𝑛 , ), 𝜎2 (𝑡𝑗𝑛 )], 𝑛 ∈ ℕ (𝑗 = 1,2) lim 𝑡1𝑛 = 𝑎, lim 𝑡2𝑛 = 𝑏, lim 𝑐𝑗𝑛 = 𝑐𝑗 𝑛→+∞ 𝑛→+∞ ll 𝑛→+∞ (𝑗 = 1,2) (2.38) m oi Theo Bổ đề 2.5, với 𝑛 ∈ ℕ phương trình (2.35) có nghiệm 𝑢𝑛 xác @ (2.40) l gm 𝜎1 (𝑡) ≤ 𝑢𝑛 (𝑡) ≤ 𝜎2 (𝑡), 𝑡 ∈ [𝑡1𝑛 , 𝑡2𝑛 ] (2.39) z 𝑢𝑛 (𝑡1𝑛 ) = 𝑐1𝑛 , 𝑢𝑛 (𝑡2𝑛 ) = 𝑐2𝑛 , z at nh định [𝑡1𝑛 , 𝑡2𝑛 ] thỏa mãn: m co Từ (2.32), (2.34), (2.35) (2.40), với 𝑛 ∈ ℕ hàm 𝑢 ≡ 𝑢𝑛 thỏa mãn an Lu bất đẳng thức (2.11) (2.12) với 𝑡1 = 𝛼, 𝑡2 = 𝛽 Do theo Bổ đề 2.3 từ (2.34) ta có (2.23) Hơn nữa, từ (2.31), (2.35), (2.40) suy (2.24) n va ac th si 45 với 𝑡1 = 𝑡1𝑛 , 𝑡2 = 𝑡2𝑛 Khi theo Bổ đề 2.4 ta có: |𝑢𝑛′ (𝑡)| ≤ 𝜌(𝑡), 𝑡 ∈ [𝑡1𝑛 , 𝑡2𝑛 ], 𝑛 ∈ ℕ (2.41) Do đó, 𝑢𝑛 nghiệm toán (2.3) [𝑡1𝑛 , 𝑡2𝑛 ] Mặt khác, từ (2.41) với 𝑛 ∈ ℕ ta có: 𝑡 |𝑢𝑛 (𝑡) − 𝑐1𝑛 | ≤ ∫𝑎 𝜌(𝑠) 𝑑𝑠, 𝑏 |𝑢𝑛 (𝑡) − 𝑐2𝑛 | ≤ ∫𝑡 𝜌(𝑠) 𝑑𝑠, 𝑡 ∈ [𝑡1𝑛 , 𝑡2𝑛 ] (2.42) Theo định lý Arzelà – Ascoli, từ (2.3), (2.40), (2.41), khơng tính tổng qt lu an ta giả sử: va lim 𝑢𝑛 = 𝑢 tập compact 𝑢 nghiệm phương n 𝑛→+∞ to tn trình (2.3) (𝑎, 𝑏) Hơn nữa, từ (2.38) − (2.40) (2.42) ta (2 30 ) p ie gh (2.30) d oa nl Bổ đề 2.7 w Vậy, bổ đề chứng minh an lu Cho 𝑓, 𝑔 ∈ 𝐶𝑎𝑟𝑙𝑜𝑐 ((𝑎, 𝑏) × (0,1); ℝ), 𝜎1 𝜎2 hàm hàm u nf va phương trình (2.1) thỏa (2.4) (2.43) ll 𝜎1 (𝑎 +) = 0, < 𝜎2 (𝑎 +) < m oi Giả sử thêm, với 𝜂 ∈ (0, 1⁄2) (2.6) đúng, 𝑐 ∈ (𝑎, 𝑏), z at nh 𝜆𝜂 ∈ [0, 𝑏 − 𝑎), 𝑞𝜂 ∈ 𝐿([𝑎, 𝑏]; ℝ+ ), 𝑝𝜂 ∈ 𝐿𝑙𝑜𝑐 ((𝑎, 𝑏); ℝ+ ) thỏa (2.7), z 𝜎1𝜂 , 𝜎2𝜂 (2.8) Khi đó, với 𝑏0 ∈ (𝑐, 𝑏), phương trình (2.1) có (2.45) an Lu 𝑢′ (𝑏0 −) hữu hạn (2.44) m co 𝑢(𝑎 +) = 0, 𝑢(𝑏0 −) = 𝜎2 (𝑏0 ) l 𝜎1 (𝑡) ≤ 𝑢(𝑡) ≤ 𝜎2 (𝑡), 𝑡 ∈ (𝑎, 𝑏0 ), gm @ nghiệm 𝑢 (xác định (𝑎, 𝑏0 )) thỏa mãn: n va ac th si 46 Chứng minh: Lấy 𝑏0 ∈ (𝑐, 𝑏) tùy ý cố định lại, 𝜂0 ∈ (0, 1⁄2) 𝑡10 ∈ (𝑎, 𝑐) thỏa mãn: 𝜂0 < sup{𝜎1 (𝑡): 𝑡 ∈ (𝑎,𝑏0 ]}, 𝜂0 < min{𝜎2∗ , − 𝜎2∗ }, (2.46) với 𝜎2∗ = inf{𝜎2 (𝑡): 𝑡 ∈ (𝑎,𝑏0 ]} , 𝜎2∗ = sup{𝜎2 (𝑡): 𝑡 ∈ (𝑎,𝑏0 ]} , lu 𝜎1 (𝑡) ≤ 𝜎1 (𝑡10 ), 𝑡 ∈ (𝑎, 𝑡10 ), 𝜎1 (𝑡10 ) = 𝜂0 (2.47) an n va Đặt 𝑤 ∈ 𝐴𝐶𝑙𝑜𝑐 ((𝑎,𝑡10 ]; ℝ) nghiệm toán: (2.48) gh tn to 𝜆𝜂 𝑤 ′′ = −𝑝𝜂0 (𝑡) − [(𝑏−𝑡)(𝑡−𝑎) + 𝑞𝜂0 (𝑡)] 𝑤 ′ , (2.49) p ie 𝑤(𝑎 +) = 𝜂0 , 𝑤(𝑡10 −) = nl w Nghiệm 𝑤 tồn theo [9, Định lý 1.1] Hiển nhiên tồn 𝑎1 ∈ (𝑎, 𝑡10 ) thỏa: 𝑤(𝑡) < 𝜎2 (𝑡), 𝑤 ′ (𝑡) > 0, 𝑡 ∈ (𝑎, 𝑎1 ), 𝑤(𝑎1 ) = 𝜎2 (𝑎1 ) d oa (2.50) an lu Hơn nữa, theo (2.46) ta có: 𝜂0 ≤ 𝑤(𝑡) ≤ − 𝜂0 , 𝑡 ∈ (𝑎,𝑎1 ], 𝑤 ′ (𝑎1 ) ≥ 𝜎2′ (𝑎1 +) u nf va (2.51) ll Do đó, từ (2.6), (2.47), (2.48) − (2.51) ta có: oi m 𝑢′′ (𝑡) ≤ 𝑓(𝑡, 𝑤(𝑡)) + 𝑔(𝑡, 𝑤(𝑡))𝑤 ′ (𝑡), hkn 𝑡 ∈ (𝑎, 𝑎1 ) z at nh (2.52) Ngoài ra, từ (2.48) (2.50) ta có 𝑢′′ (𝑡) ≤ 0, hkn 𝑡 ∈ (𝑎, 𝑎1 ) z gm @ Vì vậy, từ (2.52) suy ra: Lấy 𝑡1𝑛 ∈ (𝑎,𝑎1 ], 𝑛 ∈ ℕ thỏa mãn: m co l 𝑢′′ (𝑡) ≤ −[𝑓(𝑡, 𝑤(𝑡)) + 𝑔(𝑡, 𝑤(𝑡))𝑤 ′ (𝑡)]− , hkn 𝑡 ∈ (𝑎, 𝑎1 ) an Lu n va ac th si 47 (2.53) 𝑡1𝑛+1 < 𝑡1𝑛 , 𝑛 ∈ ℕ, lim 𝑡1𝑛 = 𝑎, 𝑛→+∞ 𝜎1 (𝑡) < 𝜎1 (𝑡1𝑛 ), 𝑡 ∈ (𝑎, 𝑡1𝑛 ), 𝑛 ∈ ℕ, với 𝑛 ∈ ℕ, 𝑥, 𝑦 ∈ ℝ, đặt: 𝜂𝑛 = min{𝜎1 (𝑡): 𝑡 ∈ [𝑡1𝑛 , 𝑏0 ]}, 𝜂𝑛 , 𝑘ℎ𝑖 𝑥 < 𝜂𝑛 , 𝜒𝑛 (𝑥) = {𝑥 , 𝑘ℎ𝑖 𝜂𝑛 ≤ 𝑥 ≤ − 𝜂𝑛 , − 𝜂𝑛 , 𝑘ℎ𝑖 − 𝜂𝑛 < 𝑥, lu −[𝑓(𝑡, 𝜒𝑛 (𝑥)) + 𝑔(𝑡, 𝜒𝑛 (𝑥))𝑦]− , ℎ𝑘𝑛 𝑡 ∈ (𝑎, 𝑡1𝑛 ), 𝐹𝑛 (𝑡, 𝑥, 𝑦) = { 𝑓(𝑡, 𝜒𝑛 (𝑥)) + 𝑔(𝑡, 𝜒𝑛 (𝑥))𝑦, ℎ𝑘𝑛 𝑡 ∈ (𝑡1𝑛 , 𝑏0 ), an n va gh tn to 𝜎 (𝑡 ), 𝑡 ∈ (𝑎, 𝑡1𝑛 ), 𝜎̃1𝑛 (𝑡) = { 1𝑛 𝜎1 (𝑡), 𝑡 ∈ [𝑡1𝑛 , 𝑏0 ), p ie 𝑤(𝑡), 𝑡 ∈ (𝑎, 𝑎1 ), 𝜎̃21 (𝑡) = { 𝜎2 (𝑡), 𝑡 ∈ [𝑎1 , 𝑏0 ) oa nl w Khi đó, với 𝑛 ∈ ℕ, 𝜎̃1𝑛 (𝑡) hàm phương trình: 𝑢′′ (𝑡) = 𝐹𝑛 (𝑡, 𝑢, 𝑢′ ) d (2.54) lu va an 𝜎̃21 (𝑡) hàm phương trình: 𝑢′′ (𝑡) = 𝐹1 (𝑡, 𝑢, 𝑢′ ) ll u nf (2.55) oi m Đặt: 𝑎1 +𝑐 ,𝛽 = 𝑐+𝑏0 ,𝜆 = z at nh 𝛼= 𝜆𝜂1 (𝑏0 −𝑎) 𝑏−𝑎 (2.56) , z sup{|𝑔(𝑡, 𝑥)|: 𝜎1 (𝑡) ≤ 𝑥 ≤ 𝜎2 (𝑡), ℎ𝑘𝑛 𝑡 ∈ (𝛼, 𝛽)}, @ (2.57) 0, ℎ𝑘𝑛 𝑡 ∈ (𝑎, 𝛼) ∪ (𝛽, 𝑏0 ), l gm ℎ2 (𝑡) = { an Lu ℎ(𝑡, 𝑥, 𝑦) = 𝐹1 (𝑡, 𝑥, 𝑦), hkn 𝑡 ∈ (𝑎, 𝑏0 ), 𝑥, 𝑦 ∈ ℝ (2.58) m co ℎ0 (𝑡) = 𝑝𝜂1 (𝑡), ℎ1 (𝑡) = 𝑞𝜂1 (𝑡) , hkn 𝑡 ∈ (𝑎, 𝑏0 ), n va ac th si 48 Khi đó, theo Bổ đề 2.6 tồn nghiệm 𝑢1 phương trình (2.55) xác định (𝑎, 𝑏0 ) thỏa mãn: 𝜎̃11 (𝑡) ≤ 𝑢1 (𝑡) ≤ 𝜎̃21 (𝑡), 𝑡 ∈ (𝑎, 𝑏0 ), 𝑢1 (𝑎 +) = 𝜎1 (𝑡11 ), 𝑢1 (𝑏0 −) = 𝜎2 (𝑏0 ) Đến đây, giả sử tồn nghiệm 𝑢𝑘 , 𝑘 ∈ ℕ phương trình (2.54) với 𝑛 = 𝑘 (𝑎, 𝑏0 ) có tính chất: 𝜎̃1𝑘 (𝑡) ≤ 𝑢𝑘 (𝑡) ≤ 𝜎̃2𝑘 (𝑡), 𝑡 ∈ (𝑎, 𝑏0 ), lu 𝑢𝑘 (𝑎 +) = 𝜎1 (𝑡1𝑘 ), 𝑢𝑘 (𝑏 −) = 𝜎2 (𝑏0 ) an n va Ta định nghĩa hàm 𝜎̃2𝑘+1 phương trình (2.54) với 𝑛 = 𝑘 + là: tn to 𝜎̃2𝑘+1 (𝑡) = 𝑢𝑘 (𝑡), 𝑡 ∈ (𝑎, 𝑏0 ) p ie gh Khi đó, lại áp dụng Bổ đề 2.6 với 𝜆 = 𝜆𝜂𝑛 (𝑏0 − 𝑎)⁄(𝑏 − 𝑎), (2.59) w ℎ0 (𝑡) = 𝑝𝜂𝑛 (𝑡), ℎ1 (𝑡) = 𝑞𝜂𝑛 (𝑡), hkn 𝑡 ∈ (𝑎, 𝑏0 ), oa nl ℎ(𝑡, 𝑥, 𝑦) = 𝐹𝑛 (𝑡, 𝑥, 𝑦), hkn 𝑡 ∈ (𝑎, 𝑏0 ), 𝑥, 𝑦 ∈ ℝ, d 𝛼, 𝛽, ℎ2 định nghĩa (2.56), (2.57), tồn nghiệm 𝑢𝑘+1 (2.54) với an lu u nf va 𝑛 = 𝑘 + (𝑎, 𝑏0 ) thỏa mãn: 𝜎1 (𝑡) ≤ 𝑢𝑛+1 (𝑡) ≤ 𝑢𝑛 (𝑡) ≤ 𝜎2 (𝑡), 𝑡 ∈ (𝑎, 𝑏0 ), 𝑛 ∈ ℕ; (2.60) ll m (2.61) oi 𝑢𝑛 (𝑎 +) = 𝜎1 (𝑡1𝑛 ), 𝑢𝑛 (𝑏0 −) = 𝜎2 (𝑏0 ) z at nh ′ +∞ Từ (2.54), (2.60) Bổ đề 2.3,2.4 với 𝑏 = 𝑏0 dãy {𝑢𝑛 }+∞ 𝑛=1 {𝑢𝑛 }𝑛=1 bị z chặn đồng liên tục tập compact (𝑎, 𝑏0 ) Do đó, tồn gm @ 𝑢0 ∈ 𝐴𝐶𝑙𝑜𝑐 ((𝑎, 𝑏0 ); ℝ) thỏa mãn: m co 𝑛→+∞ l 𝑢0 = lim 𝑢𝑛 tập compact 𝑢0 nghiệm (2.1), an Lu 𝜎1 (𝑡) ≤ 𝑢0 (𝑡) ≤ 𝜎2 (𝑡), 𝑡 ∈ (𝑎, 𝑏0 ), 𝑢0 (𝑏0 −) = 𝜎2 (𝑏0 ), (2.62) n va ac th si 49 Và từ (2.60), (2.61) ta có: ≤ lim inf 𝑢0 (𝑡) ≤ lim sup 𝑢0 (𝑡) ≤ 𝜎1 (𝑡1𝑛 ), 𝑛 ∈ ℕ 𝑡→𝑎+ 𝑡→𝑎+ Từ (2.43) (2.53) suy 𝑢0 (𝑎 +) = Vì 𝑢0 nghiệm phương trình (2.1) (𝑐, 𝑏0 ) hàm 𝑓, 𝑔 thuộc lớp Carathéodory nên từ (2.62) tính liên tục 𝑢0′ (𝑐, 𝑏0 ), suy 𝑢0′ (𝑏0 −) hữu hạn Vậy, bổ đề chứng minh lu Bổ đề 2.8 an n va Cho 𝑓, 𝑔 ∈ 𝐶𝑎𝑟𝑙𝑜𝑐 ((𝑎, 𝑏) × (0,1); ℝ), 𝜎1 𝜎2 hàm hàm tn to (2.1) thỏa mãn (2.4) và: (2.63) ie gh 𝜎2 (𝑏 −) = 1, < 𝜎1 (𝑏 −) < p Giả sử thêm, với 𝜂 ∈ (0, 1⁄2) (2.6) đúng, 𝑐 ∈ (𝑎, 𝑏), oa nl w 𝜆𝜂 ∈ [0, 𝑏 − 𝑎), 𝑞𝜂 ∈ 𝐿([𝑎, 𝑏]; ℝ+ ), 𝑝𝜂 ∈ 𝐿𝑙𝑜𝑐 ((𝑎, 𝑏); ℝ+ ) thỏa (2.7), d 𝜎1𝜂 , 𝜎2𝜂 (2.8) Khi đó, với 𝑎0 ∈ (𝑎, 𝑐), phương trình (2.1) có lu va an nghiệm 𝑢 (xác định (𝑎0 , 𝑏)) thỏa mãn: (2.64) ll u nf 𝜎1 (𝑡) ≤ 𝑢(𝑡) ≤ 𝜎2 (𝑡), 𝑡 ∈ (𝑎0 , 𝑏), (2.65) 2.3 Chứng minh kết z at nh 𝑢′ (𝑎0 +) hữu hạn oi m 𝑢(𝑎0 +) = 𝜎1 (𝑎0 ), 𝑢(𝑏 −) = z gm @ Chứng minh Định lý 2.2 m co l Nếu 𝜎2 (𝑎 +) > 𝜎1 (𝑏 −) < theo Bổ đề 2.7 2.8 tồn 𝑣 𝑤 nghiệm phương trình (2.1) xác định (𝑎, 𝑏0 ) (𝑎0 , 𝑏), an Lu đó: n va ac th si 50 𝑎0 = 𝑎+𝑐 , 𝑏0 = 𝑐+𝑏 , 𝑣(𝑎 +) = 𝑎, 𝑣(𝑏0 −) = 𝜎2 (𝑏0 ), 𝑤(𝑎 +) = 𝜎1 (𝑎0 ), 𝑤(𝑏 −) = 1, 𝑣 ′ (𝑏0 −) ≥ 𝜎2′ (𝑏0 +), 𝑤 ′ (𝑎0 +) ≥ 𝜎1′ (𝑎0 −) Do đó, khơng tính tổng qt ta giả sử: 𝜎2 (𝑎 +) = 0, 𝜎1 (𝑏 −) = (2.66) Đặt: ℎ(𝑡, 𝑥, 𝑦) = 𝑓(𝑡, 𝑥) + 𝑔(𝑡, 𝑥)𝑦, hkn 𝑡 ∈ (𝑎, 𝑏), 𝑥, 𝑦 ∈ ℝ, 𝑡1𝑛 ∈ (𝑎, 𝑐), 𝑡2𝑛 ∈ (𝑐, 𝑏), 𝑛 ∈ ℕ thỏa mãn: lu an 𝑡1𝑛+1 < 𝑡1𝑛 , 𝑡2𝑛 < 𝑡2𝑛+1 , 𝑛 ∈ ℕ, lim 𝑡1𝑛 = 𝑎, lim 𝑡2𝑛 = 𝑏 𝑛→+∞ 𝑛→+∞ n va 𝜂𝑛 ≤ 𝜎1 (𝑡) ≤ 𝜎2 (𝑡) ≤ − 𝜂𝑛 , 𝑡 ∈ [𝑡1𝑛 , 𝑡2𝑛 ], 𝑛 ∈ ℕ ie gh tn to Khi đó, tồn dãy {𝜂𝑛 }+∞ 𝑛=1 ⊂ (0, 1⁄2) thỏa mãn: p Do đó, với 𝑛 ∈ ℕ, từ bất phương trình (2.6) suy (2.31) (2.32) nl w [𝑡1𝑛 , 𝑡2𝑛 ] Do đó, theo Bổ đề 2.6, với 𝑛 ∈ ℕ tồn 𝑢𝑛 nghiệm d oa toán (2.1) xác định (𝑡1𝑛 , 𝑡2𝑛 ) thỏa mãn: va an lu 𝑢𝑛 (𝑡1𝑛 +) = 𝜎1 (𝑡1𝑛 ), 𝑢𝑛 (𝑡2𝑛 −) = 𝜎2 (𝑡2𝑛 ), (2.67) u nf 𝜎1 (𝑡) ≤ 𝑢𝑛 (𝑡) ≤ 𝜎2 (𝑡), 𝑡 ∈ (𝑡1𝑛 , 𝑡2𝑛 ) ll Từ (2.6) Bổ đề 2.3, 2.4, với tập compact [𝑠1 , 𝑠2 ] ⊂ (𝑎, 𝑏) tồn m oi ′ +∞ 𝑛0 ∈ ℕ cho dãy {𝑢𝑛 }+∞ 𝑛=𝑛0 {𝑢𝑛 }𝑛=𝑛0 bị chặn đồng liên tục z at nh [𝑠1 , 𝑠2 ] Do đó, khơng tính tổng qt, ta giả sử tồn hàm z 𝑢 ∈ 𝐴𝐶𝑙𝑜𝑐 ((𝑎, 𝑏); ℝ) thỏa mãn: @ l 𝑛→+∞ gm 𝑢 = lim 𝑢𝑛 tập compact 𝑢 nghiệm (2.1), m co Hơn nữa, từ (2.5), (2.66) (2.67) suy 𝑢 thỏa (2.2) (2.9) an Lu Vậy, định lý chứng minh n va ac th si 51 KẾT LUẬN Trong luận văn này, tác giả tìm hiểu hai tốn biên hai điểm khơng quy cho phương trình vi phân cấp hai hai báo khác Bài báo A Lomtatidze xây dựng điều kiện đủ số trường hợp điều kiện cần đủ cho tồn nghiệm khơng bị chặn tốn 𝑢′′ = 𝑓(𝑡, 𝑢) + 𝑔(𝑡, 𝑢)𝑢′ với điều kiện biên: (𝑎 +) = 0, 𝑢(𝑏 −) = 0, 𝑓, 𝑔 ∈ Car𝑙𝑜𝑐 ((𝑎, 𝑏) × (0, +∞); ℝ) Các kết Chương Định lý 1.2, Hệ 1.3 Hệ 1.4 Còn báo R Hakl xây dựng điều kiện lu đủ cho tồn nghiệm toán: 𝑢′′ = 𝑓(𝑡, 𝑢) + 𝑔(𝑡, 𝑢) với điều kiện an n va biên: (𝑎 +) = 0, 𝑢(𝑏 −) = 1, 𝑓, 𝑔 ∈ Car𝑙𝑜𝑐 ((𝑎, 𝑏) × (0,1); ℝ) Kết Chương Định lý 2.2 Cả hai tác giả dùng phương pháp to gh tn nghiệm trên, nghiệm để chứng minh tồn nghiệm toán p ie Mặt dù luận văn chưa thu kết mong đợt, xem xét w kết có hay khơng cho phương trình vi phân bậc cao khơng quy, oa nl tuyến tính phi tuyến, tác giả có gắng trình bày chi tiết rõ ràng d bổ đề, hệ quả, định lí tìm hiểu Luận văn tài liệu tham khảo cho lu an sinh viên học viên cao học nghiêu cứu toán biên hai điểm khơng u nf va quy cho phương trình vi phân cấp hai tuyến tính phi tuyến ll Tác giả xin gửi lời cảm ơn chân thành đến quý thầy cô Hội đồng chấm m oi luận văn dành thời gian quý báu để đọc, chỉnh sửa góp ý cho tác giả z at nh chỗ thiếu xót để luận văn hồn chỉnh z m co l gm @ an Lu n va ac th si 52 TÀI LIỆU THAM KHẢO [1] J A Ackroyd, On the laminar compressible boundary layer with stationary origin on a moving flat wall Proc Cambridge Phil Soc 63 (1967), 871 – 888 [2] R P Agarwal and D O’ Regan, Singular boundary value problems for superlinear second order ordinary and delay differential equations J Differential Equations 130 (1996), 333 – 335 lu [3] L E Bobisud, D O’ Regan and W.D Royalty, Solvability of some an monlinear singular boundary value problems Nonlinear Anal 12 va n (1998), 855 – 869 response of a spherical cap Siam J Appl Math 48 (1998), 855 – 869 p ie gh tn to [4] J V Baxley, A singular nonlinear boundary value problem: membrane [5] J E Bouillet and S M Gomes, An equation with singular nonlinearity nl w related to diffusion problems in one dimension Quart Appl Math 42 d oa (1985), 395 – 402 an lu [6] A J Callegary and M B Friedman, An analytic solution of a nonlinear (1968), 510 – 529 ll u nf va boundary value problems in theory of viscous fluids, J Math Anal 21 oi m [7] A J Callegary and A Nachman, Some singular nonlinear differential (1978), 96 – 105 z at nh equations arising in boundary layer theory J Math Anal Appl 64 z gm @ [8] A J Dunnigher and J.C Kurtz, A priori bounds and existence of positive solutions for singular nonliinear boundary value problems Siam J m co l Math Anal 17 (1986), 595 – 609 an Lu n va ac th si 53 [9] J A Gatila, V Oliker and P Waltman, Singular nonlinear boundary value problems for second ordeer ordinary differential equations J Differential Equations 79 (1989), 62 – 78 [10] Z Guo, Solvability of some singular nonlinear boundary value problems and existence of positive radial solutions of some nonlinear elliptic problem Nonlinear Anal 16 (1991), 781 – 790 [11] P Habets and F Zanolin, Upper and lower solutions for a generalized Emden – Fowler equation J Math Appl 181 (1994), 684 – 700 [12] P Habets and F Zanolin, Positive solutions for a class of singular lu an boundary value problems Boll Unione Mat Ital (7) Ser A (1995), n va 273 – 286 problem asociated to a second-order differential equation with ie gh tn to [13] R Hakl and Manuel Zamora, Existence of a solution to the Dirichlet p singularities: The method of lower and upper functions Georgian Math w J 20 (2013), 469 – 491 oa nl [14] J Janus and A Myjak, A generalized Emden – Fowler equation with a d negative exponent Nonlinear Anal 21 (1994), 953 – 970 lu va an [15] I T Kiguradze, Some singular bondary value problems for second order (1988), 1753 – 1773 ll u nf onlinear ordinary differential equations Differentsial’nye Uravneniya m oi [16] I T Kiguradze and B L Shekhter, Singular boundary – value problems z at nh for second-order ordinary differential equations J Sov Math 43 z (1988), no 2, 2340 – 2417 @ gm [17] A Lomtatidze and P J Torres, On a two-point boundary value problem m co 19 – 43 l for second order singular equations Czechoslovak Math J 53 (2003), an Lu n va ac th si 54 [18] N F Morozov, Onanalytic structure of a solution of the membrane equation Dokl Akad Nauk SSSR 152 (1963), 78 – 80 [19] L S Srubshhik and V I Yudovich, Asymptotics of equation of large deflection of circular symmetrically boaded plate Ibirsk Mat Zh (1963), 657 – 672 [20] S Taliaferro, A nonlinar singular boundary value problem Nonlinear Anal (1979), 897 – 904 lu an n va p ie gh tn to d oa nl w ll u nf va an lu oi m z at nh z m co l gm @ an Lu n va ac th si