Luận văn Nghiệm bị chặn của phương trình vi phân hàm bậc nhất tuyến tính

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC SƯ PHẠM TP. HỒ CHÍ MINH Lê Yến Vi NGHIỆM BỊ CHẶN CỦA PHƯƠNG TRÌNH VI PHÂN HÀM BẬC NHẤT TUYẾN TÍNH LUẬN VĂN THẠC SĨ TOÁN HỌC Thành phố Hồ Chí Minh – 2014 BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC SƯ PHẠM TP. HỒ CHÍ MINH Lê Yến Vi NGHIỆM BỊ CHẶN CỦA PHƯƠNG TRÌNH VI PHÂN HÀM BẬC NHẤT TUYẾN TÍNH Chuyên ngành: Toán giải tích Mã số: 60 46 01 02 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 Thành phố Hồ Chí Minh – 2014 LỜI CÁM ƠN Lời đầu tiên, tôi xin kính gởi lời cám ơn sâu sắc và chân thành nhất tới PGS.TS Nguyễn Anh Tuấn – Khoa Toán Tin – Trường Đại Học Sư Phạm TP.Hồ Chí Minh vì sự tận tình giúp đỡ và chỉ bảo của thầy đối với tôi trong thời gian làm luận văn. Tôi cũng xin gởi lời cám ơn đến Quý Thầy Cô Trường Đại Học Sư Phạm TP.Hồ Chí Minh đã tận tình giảng dạy tôi trong suốt khóa học. Tôi xin cám ơn Ban giám hiệu, Ban chủ nhiệm khoa Toán – Tin, Phòng Khoa Học Công Nghệ và Phòng Sau Đại Học – Trường Đại Học Sư Phạm TP.Hồ Chí Minh đã giúp đỡ và tạo điều kiện cho tôi trong thời gian học tại trường. Xin gởi lời cám ơn đến quý thầy, cô trong Hội đồng chấm luận văn đã dành thời gian quý báu để đọc, chỉnh sửa, góp ý và phản biện cho tôi hoàn thành luận văn này một cách hoàn chỉnh nhất. Cuối cùng xin chân thành cảm ơn gia đình và bạn bè đã luôn quan tâm và động viên giúp tôi hoàn thành luận văn này. TP. Hồ Chí Minh, tháng 10 năm 2014. MỤC LỤC MỞ ĐẦU .......................................................................................................... 1 Chương 1. CÁC BỔ ĐỀ BỔ TRỢ ................................................................. 3 1.1. Giới thiệu bài toán ................................................................................... 3 1.2. Các bổ đề ................................................................................................. 7 1.2.1. Bổ đề về sự tồn tại nghiệm bị chặn ................................................... 7 1.2.2. Bổ đề về sự đánh giá tiên nghiệm ..................................................... 8 1.2.3. Bổ đề về bài toán giá trị biên trên khoảng hữu hạn ........................ 15 1.2.4. Bổ đề về nghiệm không âm của bất phương trình vi phân ............. 19 Chương 2. CÁC ĐỊNH LÝ VỀ SỰ TỒN TẠI VÀ DUY NHẤT NGHIỆM BỊ CHẶN ............................................................... 21 2.1. Các định lý ............................................................................................ 21 2.1.1. Định lý về điều kiện cần và đủ ....................................................... 21 2.1.2. Định lý về nghiệm bị chặn .............................................................. 22 2.1.3. Định lý về nghiệm có dấu không đổi .............................................. 27 2.2. Phương trình vi phân đối số lệch .......................................................... 33 2.2.1. Hệ quả của định lý nghiệm bị chặn ................................................ 33 2.2.2. Hệ quả của định lý về nghiệm có dấu không đổi............................ 35 2.2.3. Chứng minh các hệ quả .................................................................. 38 2.3. Các ví dụ ............................................................................................... 41 KẾT LUẬN .................................................................................................... 58 TÀI LIỆU THAM KHẢO ............................................................................ 59 MỘT SỐ KÝ HIỆU • N là tập hợp tất cả các số tự nhiên. • R là tập hợp tất cả các số thực, [0, ).R+ = +∞ • [ ]( ), ;C a b R là không gian Banach của các hàm liên tục :[ , ]u a b R→ với một chuẩn { }ax ( ) : .Cu m u t a t b= ≤ ≤ • [ ]( ) [ ]( ){, ; , ; : ( ) 0C a b R u C a b R u t+ = ∈ ≥ với [ ]}, .t a b∈ • ( )[ , ); D ,locC a +∞ với ,D R⊆ là tập hợp các hàm liên tục u :[ , )a D+∞ → với cấu trúc tôpô hội tụ đều trên mọi tập con compact của [ , ).a +∞ Nếu ( )[ , );locu C a R∈ +∞ thì { }sup ( ) : .u u t t a= ≥ • ( )0 [ , );C a R+∞ là tập hợp các hàm ( )[ , ); ,locu C a R∈ +∞ với cấu trúc tôpô hội tụ đều trên mọi tập con compact của [ , )a +∞ mà với mỗi hàm ( )[ , );locu C a R∈ +∞ đều tồn tại giới hạn hữu hạn ef ( ) lim ( ). d t u u t →+∞ +∞ = •  [ ]( ), ;C a b D , với ,D R⊆ là tập hợp các hàm liên tục tuyệt đối u :[ , ] .a b D→ •  [ ]( ), ;C a b D , với ,D R⊆ là tập hợp các hàm u :[ , )a D+∞ → liên tục tuyệt đối trên mọi tập con compact của [ , ).a +∞ •  ( )  ( ) ( )0 0[a,+ ); [a,+ ); [a,+ );locC D C D C D∞ = ∞ ∩ ∞ với .D R⊆ • L ([a, b]; R) là không gian Banach của các hàm khả tích Lebesgue :[ , ]p a b R→ với một chuẩn ( ) b L a p p s ds= ∫ • [ ]( ) [ ]( ) [ ]{ }, ; , ; : ( ) 0, , .L a b R p L a b R p t t a b+ = ∈ ≥ ∀ ∈ • ( )[ , ); DL a +∞ với ,D R⊆ là tập hợp các hàm khả tích Lebesgue :[ , ) .p a D+∞ → • ( )[ , ); D ,locL a +∞ với ,D R⊆ là tập hợp các hàm khả tích Lebesgue địa phương :[ , ) .p a D+∞ → với cấu trúc tôpô hội tụ trên mọi tập con compact của [ , ).a +∞ • ch là tập hợp các hàm tuyến tính bị chặn không tầm thường ( ): [ , ); .locC a R Rω +∞ → • W0 là tập hợp các hàm tuyến tính bị chặn không tầm thường ( )0: [ , ); .C a R Rω +∞ → • Lab là tập hợp các toán tử tuyến tính bị chặn [ ]( ) [ ]( ): , ; , ; ,C a b R L a b R→ sao cho với abL∈ thì tồn tại [ ]( ), ;L a b Rη +∈ thỏa mãn ( )( ) ( ) ,Ct tυ η υ≤ [ ], ,t a b∀ ∈ [ ]( ), ; .C a b Rυ∈ • Pab là tập hợp các toán tử abL∈ biến tập [ ]( ), ;C a b R+ thành tập [ ]( ), ; .L a b R+ • Mab là tập các hàm đo được: τ : [a, b] → [a, b]. • P là tập hợp các toán tử tuyến tính: ( ) ( ): [ , ); [ , );Loc LocC a R L a R+∞ → +∞ liên tục, biến tập ( )[ , );LocC a R++∞ thành tập ( )[ , );LocL a R++∞ sao cho ( )(1) [ , ); .L a R+∈ +∞ • L tập hợp các toán tử tuyến tính: ( ) ( ): [ , ); [ , );Loc LocC a R L a R+∞ → +∞ liên tục và tồn tại toán tử P∈ sao cho ( ) ( )( )( ) ( ),t tυ υ≤  [a, ),t∀ ∈ +∞ ( )[ , ); .C a Rυ∈ +∞ • M là một tập hợp các hàm đo được địa phương :[ , ) [ , ).a aτ +∞ → +∞ • abχ là hàm đặc trưng trên đoạn [a, b], tức là: [ ] [ ] 1 , , 0 , ,ab t a b t a b χ  ∈ =  ∉ • ( ) ( )0: [ , ); [a, );b locC a R C Rθ +∞ → +∞ với ( , )b a∈ +∞ xác định bởi: ( )( ) ( ) ( ) (1 ( )) ( )b ab abu t t u t t u tθ χ χ= + − với t [ , )a∈ +∞ • Nếu ( )[ , (; và [ , ), thìlocq L a R b a∈ +∞ ∈ +∞  ( ) ( ) ( ), t [ , ).abbq t t q t aχ= ∀ ∈ +∞ • Nếu  và [ , ) thìL b a∈ ∈ +∞ ( )( ) ( ) ( ( ))( ), t [ , ).b ab bu t t u t aχ θ= ∀ ∈ +∞  • Nếu chω∈ tương ứng ω∈ W0 và [ , ) thìb a∈ +∞  ( ) ( ( ))b bu uω ω θ= . • Ta gọi L∈ là toán tử a − Volterra nếu như có [ , )b a∈ +∞ và ( )[ , );RlocC aυ∈ +∞ thỏa mãn phương trình: ( ) 0tυ = với t [ , ].a b∈ thì ( )( ) 0tυ = hầu khắp t [ , ].a b∈ • Ta gọi L∈ là toán tử anti − Volterra nếu có [ , )b a∈ +∞ và ( )[ , );RlocC aυ∈ +∞ thỏa mãn phương trình: ( ) 0tυ = với t [ , ].a b∈ thì ( )( ) 0tυ = hầu khắp [b, ).t∈ +∞ 1 MỞ ĐẦU Lý thuyết bài toán biên cho phương trình vi phân ra đời vào thế kỉ thứ 18 sau đó phát triển mạnh mẽ nhờ các ứng dụng của nó trong vật lý, cơ học, kỹ thuật, kinh tế, nông nghiệp. Vấn đề về sự tồn tại nghiệm cho phương trình vi phân đối xứng chậm và đối xứng lệch trong những năm gần đây nhận được sự quan tâm của nhiều nhà toán học của cộng hòa Sech, cộng hòa Gruzia, Mục đích chính của luận văn là áp dụng các kết quả tổng quát của các tác giả I.T.Kiguradze, B.Puza ..cho hệ phương trình vi phân hàm tuyến tính để nghiên cứu sự tồn tại, duy nhất nghiệm, nghiệm dương, nghiệm bị chặn cho phương trình vi phân hàm bậc nhất tuyến tính với điều kiện biên dạng hàm như sau: ( ) ( )( ) ( )u t u t q t′ = + (1.1) Thỏa mãn điều kiện biên: ω(u) = c. (1.2) Trong đó: , ([ , ), ),locL q L a R chω∈ ∈ +∞ ∈ hoặc 0Wω∈ và .c R∈ Nghiệm của phương trình vi phân bậc nhất (1.1) là hàm ( )[ , );Locu C a R∈ +∞ thỏa mãn phương trình (1.1) hầu khắp nơi trên [ , )a +∞ . Nghiệm của bài toán (1.1), (1.2) được hiểu là nghiệm của phương trình vi phân (1.1) và thỏa mãn (1.2). Cùng với bài toán (1.1), (1.2) ta xét bài toán thuần nhất tương ứng: ( ) ( )( )u t u t′ =  (1.10) ω(u) = 0. (1.20) Trường hợp đặc biệt của điều kiện (1.2) là: ( ) ,u a c= (1.3) ( ) ,u c+∞ = (1.4) 2 ( ) ( ) ,u a u c− +∞ = (1.5) Tương ứng trường hợp đặc biệt điều kiện (1.20) là: ( ) 0,u a = (1.30) ( ) 0,u +∞ = (1.40) ( ) ( ) 0,u a u− +∞ = (1.50) Luận văn này là tài liệu tham khảo cho những ai quan tâm đến nghiên cứu sự tồn tại và sự duy nhất của nghiệm bị chặn, nghiệm dương của phương trình vi phân hàm bậc nhất tuyến tính thỏa mãn điều kiện biên dạng hàm. Sau đó áp dụng các kết quả trên để nghiên cứu sự tồn tại và tính duy nhất của nghiệm, nghiệm dương, nghiệm bị chặn cho phương trình vi phân đối số chậm và đối số lệch. Ngoài phần mở đầu, kết luận và tài liệu tham khảo, luận văn chia làm 2 chương, cụ thể như sau: Chương 1. CÁC BỔ ĐỀ BỔ TRỢ. Chương 1 gồm các phần: giới thiệu bài toán, đưa ra một số định nghĩa, mệnh đề và các bổ đề để hổ trợ cho việc chứng minh các định lý trong chương 2. Chương 2. CÁC ĐỊNH LÝ TỒN TẠI VÀ DUY NHẤT NGHIỆM BỊ CHẶN. Áp dụng các bổ đề ở chương 1 để xây dựng các điều kiện cần và đủ về sự tồn tại và duy nhất của nghiệm, nghiệm bị chặn, nghiệm dương của phương trình vi phân hàm bậc nhất tuyến tính với điều kiện biên dạng hàm. Ngoài ra, các bổ đề của chương 1 kết hợp với các định lý của chương 2 để chứng minh các hệ quả của các định lý. Phần cuối của chương 2 là các ví dụ để kiểm tra sự tối ưu của kết quả thu được. 3 Chương 1. CÁC BỔ ĐỀ BỔ TRỢ 1.1. Giới thiệu bài toán Trong luận văn này ta nghiên cứu sự tồn tại nghiệm của hệ phương trình vi phân hàm tuyến tính bậc nhất: ( ) ( )( ) ( )u t u t q t′ = + (1.1) thỏa mãn điều kiện biên: ω(u) = c. (1.2) Trong đó: , ([ , ), ),locL q L a R chω∈ ∈ +∞ ∈ hoặc 0Wω∈ và .c R∈ Nghiệm của phương trình vi phân bậc nhất (1.1) là hàm ( )[ , );Locu C a R∈ +∞ thỏa mãn phương trình (1.1) hầu khắp nơi trên [ , )a +∞ . Nghiệm của bài toán (1.1), (1.2) được hiểu là nghiệm của phương trình vi phân (1.1) và thỏa mãn (1.2). Cùng với với bài toán (1.1), (1.2) ta xét bài toán thuần nhất tương ứng: ( ) ( )( )u t u t′ =  (1.10) ω(u) = 0. (1.20) Trường hợp đặc biệt của điều kiện (1.2) là các điều kiện: ( ) ,u a c= (1.3) ( ) ,u c+∞ = (1.4) ( ) ( ) ,u a u c− +∞ = (1.5) Tương ứng trường hợp đặc biệt của điều kiện (1.20) là các điều kiện: ( ) 0,u a = (1.30) ( ) 0,u +∞ = (1.40) ( ) ( ) 0,u a u− +∞ = (1.50) Lấy b > a tùy ý và ta cố định lại. Ta định nghĩa toán tử: [ ]( ) ( ): , ; [ , );oC a b R C a Rϕ → +∞ và ( ) [ ]( ): [ , ); , ;L a R L a b Rψ +∞ → cho bởi công thức: 4 ef ( )( ) ( ( )) d t v tϕ υ υ= với [ , ).t a∈ +∞ (1.6) ef 1 2( )( ) ( ( ))( ) d b au t u v t b t ψ −−= − với [ , ).t a b∈ (1.7) Với ( )v t được xác định như sau: ( ) 1 b av t b t a − = − + − với [ , ).t a∈ +∞ (1.8) và 1v− là hàm số nghịch đảo của v tức là 1( ) 1b av t a b t − −= + − − với [ , ).t a b∈ Ta định nghĩa toán tử: [ ]( ) [ ]( ): , ; , ;C a b R L a b R→ ef ( )( ) ( ( ( )))( ) d t tυ ψ ϕ υ=  với [ ], .t a b∈ (1.9) Do L∈  nên toán tử  xác định. Hơn nữa, ta dễ dàng kiểm tra rằng  là toán tử tuyến tính bị chặn. Ta định nghĩa hàm [ ]( )ˆ : , ;C a b R Rω → cho bởi công thức: ef ˆ ( ) ( ( )) d ω υ ω ϕ υ= (1.10) Dễ thấy hàm ωˆ là phiếm hàm tuyến tính bị chặn (cho 2 trường hợp, chω∈ và 0W )ω∈ . Giả sử rằng: ( )[ , ); .q L a R∈ +∞ (1.11) Ta định nghĩa: ef ˆ ( ) d q qψ= (1.12) Khi đó, ta xét bài toán trên đoạn [a, b] ˆˆ( ) ( )( ) ( ), ( ) , [ , ].t t q t c t a bυ υ ω υ′ = + = ∀ ∈   (1.13) và bài toán thuần nhất tương ứng: ˆ( ) ( )( ), ( ) 0, [ , ].t t t a bυ υ ω υ′ = = ∀ ∈   (1.130) Ta dễ dàng kiểm tra được nếu υ là nghiệm của bài toán (1.13) khi đó 5 ef ( ) d u ϕ υ= là nghiệm bị chặn của bài toán (1.1), (1.2) và ngược lại, nếu u là nghiệm bị chặn của bài toán (1.1), (1.2) thì  ( )0 [ , );u C a R∈ +∞ và hàm υ được xác định bởi: ef ef 1( ), ( ) ( ) d d u b uυ ϕ υ−= = +∞ là nghiệm của bài toán (1.13). Do đó, ta có các mệnh đề sau: Mệnh đề 1.1. Giả sử điều kiện (1.11) thỏa mãn. Khi đó, bài toán (1.1), (1.2) có duy nhất nghiệm khi và chỉ khi bài toán (1.13) có duy nhất nghiệm .υ Hơn nữa: ( )0 [ , ); , ( )u C a R uϕ υ∈ +∞ ≡ và ( ) ( )b uυ = +∞ . Sau đây là trường hợp đặc biệt của mệnh đề 1.1: Mệnh đề 1.2. Nghiệm bị chặn duy nhất của bài toán (1.10), (1.20) là tầm thường khi và chỉ khi bài toán (1.130) chỉ có nghiệm tầm thường. Mệnh đề 1.3. Bài toán (1.13) có duy nhất nghiệm khi và chỉ khi bài toán thuần nhất tương ứng (1.130) chỉ có nghiệm tầm thường. Chứng minh Giả sử: [ ]( ), ,X C a b R R= × là không gian Banach gồm các phần tử có dạng ( ), ,x u α= trong đó [ ]( ), , và c ,x C a b R R∈ ∈ với chuẩn: X Cx u α= + Đặt ˆ ( ) , t a q q s ds c   =      ∫ và định nghĩa toán tử :T X X→ như sau: ( ) ( ) ( )( ) , ( ) t a T x u a u s ds h uα α   = + + −     ∫ Ta có bài toán (1.1), (1.2) tương đương với phương trình toán tử: ˆ( )x T x q= + (*) trong không gian X theo nghĩa: 6 Nếu ( ),x u Xα= ∈ là nghiệm của phương trình (*) thì 0,α = [ ]( ), ,u C a b R∈  và u là nghiệm của bài toán (1.1), (1.2). Ngược lại, nếu [ ]( ), ,u C a b R∈  là nghiệm của bài toán (1.1), (1.2) thì ( ),0x u= là nghiệm của phương trình (*). Toán tử T xác định như trên là toán tử compăc. Mặt khác, theo định lý Riesz- Schauder, ta suy ra phương trình (*) có nghiệm duy nhất khi và chỉ khi phương trình thuần nhất tương ứng: ( )x T x= (**) chỉ có nghiệm tầm thường. Ta có: phương trình (**) tương đương với bài toán (1.10), (1.20) theo nghĩa trên. Do đó, bài toán (1.1), (1.2) có nghiệm duy nhất khi và chỉ khi bài toán thuần nhất tương ứng (1.10), (1.20) chỉ có nghiệm tầm thường. Từ định đề 1.1 – 1.3, ta có mệnh đề sau: Mệnh đề 1.4. Giả sử điều kiện (1.11) thỏa mãn. Khi đó, bài toán (1.1), (1.2) có nghiệm bị chặn duy nhất khi và chỉ khi nghiệm bị chặn duy nhất của bài toán thuần nhất (1.10), (1.20) là tầm thường. Vì vậy, câu hỏi về sự tồn tại và duy nhất nghiệm của bài toán (1.1), (1.2) (với giả thuyết điều kiện (1.11) thỏa mãn) tương đương với câu hỏi về sự tồn tại và duy nhất nghiệm của bài toán thuần nhất (1.130) (giới hạn trên đoạn [a, b]). Chú ý 1.1. Theo định lý Riesz – Schauder ta có nếu bài toán (1.130) có nghiệm không tầm thường thì với mỗi c R∈ tồn tại  [ ]( ), ;q L a b R∈ sao cho bài toán (1.13) không có nghiệm. Dưới đây ta sẽ nghiên cứu về bài toán (1.1), (1.2) với điều kiện (1.11) bị hạn chế hơn 7 sup ( ) : t a q s ds t a   ≥ < +∞     ∫ (1.14) Ta giả sử rằng L∈ và điều kiện (1.14) thỏa mãn. Nếu ef ( )( ) ( ). ( ) d t p t tυ υ= thì phương trình (1.1) có dạng: ( ) ( ). ( ) ( )u t p t u t q t′ = + (1.15) Giả sử L∈ nghĩa là: ( )[ , );p L a R∈ +∞ (1.16) Phương trình (1.15) là một dạng tương tự như phương trình (1.1) với điều kiện L∈ được thỏa mãn (tức là điều kiện (1.16) và điều kiện (1.14) là rất cần thiết cho tính bị chặn của nghiệm phương trình (1.1)). 1.2. Các bổ đề Trong bổ đề 1.1, 1.2 ta có xét bài toán sau: ( ) ( )( ) ( )b bu t u t q t′ = + (1.17)  ( ) ,b u cω = (1.18) Tương ứng ( ) ( )( )bu t u t′ =  (1.170)  ( ) 0,b uω = (1.180) (  , vàb b bqω được định nghĩa trong mục “ Một số kí hiệu”) 1.2.1. Bổ đề về sự tồn tại nghiệm bị chặn Bổ đề 1.1. Giả sử điều kiện (1.14) thỏa mãn và tồn tại 0 0ρ ≥ và 0 ( , ),b a∈ +∞ sao cho với mỗi b ≥ b0 phương trình (1.17) có nghiệm ub thỏa: 0bu ρ≤ (1.19) Khi đó, phương trình (1.1) có ít nhất một nghiệm bị chặn u. Hơn nữa, tồn 8 tại dãy { } { } 01nb b b bn u u +∞ ≥= ⊂ sao cho: lim ( ) ( ) nbn u t u t →+∞ = hội tụ đều trên [ , ).a +∞ (1.20) Chứng minh Do (1.19) và L∈ , từ (1.17) với u = ub ta có: ( ) ( ) ( )( ) ( ) t t bb b b b s s u t u s u d q dξ ξ ξ ξ− ≤ +∫ ∫ 0 (1)( ) ( ) t t s s d q dρ ξ ξ ξ ξ≤ +∫ ∫ với a s t≤ ≤ Do đó, dãy hàm { } 0b b b u ≥ bị chặn đều và liên tục đều trên mọi tập con compact của [ , )a +∞ . Theo bổ đề Arzelà – Ascoli, tồn tại dãy hàm { } { } 01nb b b bn u u +∞ ≥= ⊂ và hàm ( )[ , );Locu C a R∈ +∞ sao cho lim nn b→+∞ = +∞ và (1.21) thỏa mãn. Ta có: ( )( ) ( ) n n nb b bu t u tθ = với , .t a n≥ ∈ Lấy tích phân 2 vế của (1.17) (với nbu u= ) đi từ a tới t, ta được: ( ) ( ) ( )( ) ( ) n n n t t b b b a a u t u a u d q dξ ξ ξ ξ= + +∫ ∫ với [ ], , .nt a b n N∈ ∈ Do (1.20) và giả thiết L∈ ta có: ( ) ( ) ( )( ) ( ) t t a a u t u a u d q dξ ξ ξ ξ= + +∫ ∫ với .t a≥ tức là  ( )[ , );Locu C a R∈ +∞ và u là nghiệm của phương trình (1.1). Hơn nữa, từ (1.19) và (1.20) ta có 0u ρ≤ . 1.2.2. Bổ đề về sự đánh giá tiên nghiệm Bổ đề 1.2. Giả sử nghiệm bị chặn duy nhất của bài toán (1.10), (1.20) là 9 tầm thường. Hơn nữa, điều kiện (1.14) thỏa mãn. Khi đó, tồn tại 0 0(a,+ ) và 0b r∈ ∞ > sao cho với mỗi 0b b≥ , bài toán (1.17), (1.18) có duy nhất nghiệm ub và nghiệm này thỏa mãn đánh giá *0( ).bu r c q≤ + với * sup ( ) : t a q q s ds t a   = ≥     ∫ (1.21) Để chứng minh bổ đề 1.2 ta cần một vài mệnh đề phụ sau: Mệnh đề 1.5. Giả sử bài toán (1.130) chỉ có nghiệm tầm thường. Khi đó, tồn tại r0 > 0 sao cho với mỗi  [ ]( ), ;q L a b R∈ nghiệm υ của bài toán (1.13) thỏa mãn đánh giá  [ ]0 sup ( ) : , t C a r c q s ds t a bυ     ≤ + ∈      ∫ (1.22) Chứng minh Giả sử: [ ]( ) ( )  [ ]( ){ }, ; , : , , ; .R L a b R c q c R q L a b R× = ∈ ∈ là không gian tuyến tính với chuẩn ( )  [ ], sup ( ) : , . t R L a c q c q s ds t a b ×   = + ∈     ∫ và giả sử Ω là một toán tử, gán mỗi ( ) [ ]( ), , ;c q R L a b R∈ × với nghiệm υ của bài toán (1.13). Theo mệnh đề 1.3, toán tử Ω xác định. Hơn nữa, theo định lý 1.4 trong [11], [ ]( ) [ ]( ): , ; , ;R L a b R C a b RΩ × → là toán tử tuyến tính bị chặn (xem thêm Định lý 3.2 trong [10]). Ký hiệu r0 là chuẩn của Ω . Ta có, với mỗi ( ) [ ]( ), , ;c q R L a b R∈ × thì: ( ) ( )0, , C R L c q r c q × Ω ≤ 10 Do đó, nghiệm ( ),c qυ = Ω của bài toán (1.13) thỏa mãn đánh giá (1.22). Từ mệnh đề 1.5 ta suy ra ngay mệnh đề sau: Mệnh đề 1.6. Giả sử ( , )b a∈ +∞ và bài toán (1.170), (1.180) chỉ có nghiệm tầm thường. Khi đó, tồn tại rb > 0 sao cho với mỗi ( )[ , );locq L a R∈ +∞ thỏa mãn điều kiện (1.14) và c R∈ thì bài toán (1.17), (1.18) có duy nhất nghiệm ub và nghiệm này thỏa mãn đánh giá ( )*b bu r c q≤ + (1.23) với q* được xác định bởi (1.22). Mệnh đề 1.7. Giả sử nghiệm bị chặn duy nhất của bài toán (1.10), (1.20) là tầm thường. Khi đó, tồn tại 0 ( , )b a∈ +∞ sao cho với mỗi b ≥ b0, bài toán (1.170), (1.180) chỉ có nghiệm tầm thường. Chứng minh Giả sử ngược lại, tồn tại dãy tăng { } 1 , limk kk kb b +∞ = →+∞ = +∞ mà với mỗi k ∈ N, bài toán: ( ) ( )( ), 0k kb bu t u t ω′ = = (1.24) có nghiệm không tầm thường uk. Ta có: ( ) kk b ku uθ≡ (1.25) Để không làm mất tổng quát, ta có thể giả sử 1ku = với k N∈ . (1.26) Hơn nữa, từ (1.26) – (1.28) và giả sử L∈ , ta có: ( ) ( ) ( ) ( )( ) ( )( )k t t t bk k k k k s s s u t u s u d u d u dξ ξ ξ ξ ξ ξ′− ≤ = ≤∫ ∫ ∫  (1)( ) t s dξ ξ≤ ∫ với , .a s t k N≤ ≤ ∈ 11 Do đó, dãy hàm { } 1k kU +∞ = bị chặn đều và liên tục đều trên mọi tập con compact của [ , ).a +∞ Theo bổ đề Arzela–Ascoli, để không làm mất tính tổng quát, ta giả sử tồn tại ( )0 [ , );locu C a R∈ +∞ sao cho: 0 lim ( ) ( )kk u t u t→+∞ = hội tụ đều trên [ , ).a +∞ (1.27) Hơn nữa theo (1.26) ta có: 0 1u ≤ (1.28) Mặt khác, vì ( )ku k N∈ là nghiệm của bài toán (1.24) nên ta có: ( ) ( ) ( )k t bk k k a u t u a u s ds= + ∫  với t a≥ (1.29)  (