Luận văn Một số nghiên cứu về phương trình logistic

Phương trình (0.5) đã được áp dụng trong mô hình phát triển giống loài bởi Gurtin và MacCamy trong [15] , mô tả sự phát triển của một loài đang cư ngụ trong  và mật độ của nó là w(x) . Điều kiện biên Dirichlet được hiểu là loài w không thể sống trên  ; bởi vì , chẳng hạn biên  có thể là sông , hồ , hay môi trường bao quanh  rất nguy hiểm , không thể sống được . Hàm dương e(x) mô tả mức lớn nhất cho phép về những ảnh hưởng của đám đông trong loài và hàm a(x) tượng trưng cho tốc độ sinh trưởng của loài .Hàm f(x) đóng vai trò điều khiển sự sinh trưởng của loài .Toán tử  chỉ sự khuyếch tán của loài , nghĩa là chỉ tốc độ di chuyển của loài từ vùng có mật độ cao đến vùng có mật độ thấp .Trong luận văn , chúng tôi xét m 1  , gọi là sự khuyếch tán phi tuyến chậm , nghĩa là sự khuyếch tán chậm hơn trường hợp m 1 . Điều kiện này mô tả chính xác hơn hiện thực sinh học .Với giả thiết đã cho , chúng tôi chứng tỏ rằng , với mỗi f , tồn tại duy nhất nghiệm

pdf65 trang | Chia sẻ: duongneo | Lượt xem: 1169 | Lượt tải: 0download
Bạn đang xem trước 20 trang tài liệu Luận văn Một số nghiên cứu về phương trình logistic, để xem tài liệu hoàn chỉnh bạn click vào nút DOWNLOAD ở trên
BOÄ GIAÙO DUÏC VAØ ÑAØO TAÏO TRÖÔØNG ÑAÏI HOÏC SÖ PHAÏM TP . HOÀ CHÍ MINH ----------------------------- NGUYEÃN KHAÛI HOAØN MOÄT SOÁ NGHIEÂN CÖÙU VEÀ PHÖÔNG TRÌNH LOGISTIC Chuyeân ngaønh : Toaùn giaûi tích Maõ soá : 60 46 01 LUAÄN VAÊN THAÏC SÓ TOAÙN HỌC NGƯỜI HƯỚNG DẪN KHOA HỌC PGS . TS . NGUYEÃN BÍCH HUY Thaønh phoá Hồ Chí Minh – 2007 LÔØI CAÙM ÔN  Toâi xin ñöôïc baøy toû loøng bieát ôn chaân thaønh vaø saâu saéc ñeán thaày höôùng daãn , PGS.TS NGUYEÃN BÍCH HUY ,khoa Toaùn-Tin tröôøng ñaïi hoïc sö phaïm thaønh phoá Hoà Chí Minh , ñaõ taän tình höôùng daãn toâi trong suoát quaù trình hoïc taäp , nghieân cöùu vaø hoaøn thaønh luaän vaên . Toâi cuõng xin chaân thaønh caûm ôn caùc thaày coâ trong Khoa Toaùn –Tin , Phoøng Khoa Hoïc Coâng Ngheä vaø Sau Ñaïi Hoïc tröôøng ñaïi hoïc sö phaïm thaønh phoá Hoà Chí Minh ñaõ taän tình giaûng daïy vaø taïo ñieàu kieän thuaän lôïi cho toâi trong suoát quaù trình hoïc taäp cuõng nhö tìm toøi caùc taøi lieäu cho vieäc nghieân cöùu. Vì kieán thöùc coøn haïn cheá neân luaän vaên khoâng traùnh khoûi nhöõng thieáu xoùt , raát mong ñöôïc söï chæ baûo chaân thaønh cuûa caùc thaày , vaø caùc baïn . MỞ ĐẦU Trong luận văn này , chúng tôi nghiên cứu về phương trình logistic có dạng sau: u m(x)u eu trong u 0 treân        (0.1) Phương trình này xuất phát từ bài toán sinh học mô tả sự phát triển của các loài trong tự nhiên và đã được nhiều nhà toán học nghiên cứu theo những hướng khác nhau từ những năm 1980 cho đến tận ngày nay. Phương trình (0.1) là dạng biến đổi của phương trình sau : n q(v ) m(x)v v trong v 0 treân       (0.2) trong đó n , q 1 và hàm trọng m(x) thuộc một không gian hàm cụ thể . Trường hợp n  1 và m(x) bị chặn , tồn tại nghiệm cổ điển được nghiên cứu bởi Amann và Crandal [3] .Trường hợp n  1 và m(x) sL ( )  với s   , sự tồn tại nghiệm yếu của (0.2) được nghiên cứu bởi Hernández J ,Drabek [17,18] và Nguyễn Bích Huy [24] .Các nghiên cứu chỉ rằng tính chính qui của nghiệm yếu phụ thuộc vào độ lớn s : khi s N nghiệm yếu thuộc lớp 1C ( ) , khi Nqs 2(q 1)   nghiệm yếu thuộc 1,20W ( ) L ( )  .Trường hợp n 1 và Ns 2 cũng được nghiên cứu trong [17].Trong luận văn , ở chương 1 , chúng tôi xét trường hợp n 1 và s có thể nhỏ hơn N 2 . Bằng phép biến đổi nu v , bài toán (0.2) trở thành : u m(x)u u trong u 0 treân        (0.3) trong đó N (N 3)  là miền mở ,bị chặn với biên trơn , m(x) sL ( )  với 2N(q 1)s , , 0 1 2(q 1) N(q 1 2r)           , và giả thiết bị chặn dưới của m(x) ,chúng tôi đã chứng minh sự tồn tại nghiệm yếu cực trị của (0.3) trên khoảng  0u , với 0u được định nghĩa trong chương 1.  Trong chương 2 , 3 , chúng tôi nghiên cứu điều khiển tối ưu mùa thu hoạch của một loài và được mô hình hóa bởi phương trình logistic suy biến sau : u (a f)u eu trong u 0 treân         (0.4) trong đó N (N 3)  là miền mở ,bị chặn với biên trơn . Ở đây , a , f ,e là các hàm bị chặn , a f , a , e   L: f L ( ) | f 0    , 0 1     . Phương trình (0.4) xuất hiện khi trong phương trình : m 2w (a f)w ew trong w 0 treân        (0.5) ta thực hiện phép đổi biến mu w , khi đó 1 2 , m m     . Phương trình (0.5) đã được áp dụng trong mô hình phát triển giống loài bởi Gurtin và MacCamy trong [15] , mô tả sự phát triển của một loài đang cư ngụ trong  và mật độ của nó là w(x) . Điều kiện biên Dirichlet được hiểu là loài w không thể sống trên  ; bởi vì , chẳng hạn biên  có thể là sông , hồ , hay môi trường bao quanh  rất nguy hiểm , không thể sống được . Hàm dương e(x) mô tả mức lớn nhất cho phép về những ảnh hưởng của đám đông trong loài và hàm a(x) tượng trưng cho tốc độ sinh trưởng của loài .Hàm f(x) đóng vai trò điều khiển sự sinh trưởng của loài .Toán tử  chỉ sự khuyếch tán của loài , nghĩa là chỉ tốc độ di chuyển của loài từ vùng có mật độ cao đến vùng có mật độ thấp .Trong luận văn , chúng tôi xét m 1 , gọi là sự khuyếch tán phi tuyến chậm , nghĩa là sự khuyếch tán chậm hơn trường hợp m 1 . Điều kiện này mô tả chính xác hơn hiện thực sinh học .Với giả thiết đã cho , chúng tôi chứng tỏ rằng , với mỗi f , tồn tại duy nhất nghiệm dương của (0.5) và được kí hiệu là fu . Khi đem bán sản phẩm , chúng ta sẽ thu được lợi nhuận được biểu thị bởi công thức sau : fJ(f ) ( h(f )u k(f ))     . Trong đó 1h C ( , )  , 2k C ( , )  và 0  là tham số . Hàm J biểu thị mức chênh lệch giữa thu nhập được tính bởi fu h(f )   và phí tổn được tính bởi k(f )   . Ở đây ,  mô tả tỉ số giữa giá cả của loài và phí tổn .Mục tiêu của chúng tôi là làm sao cho lợi nhuận lớn nhất , nghĩa là hàm J đạt giá trị lớn nhất. Trong trường hợp m 1 , nghĩa là 1 , 2    và h(t)  t , k(t)  2t , bài toán này đã được nghiên cứu trong [6],[22],[23] . Còn trong luận văn , chúng tôi xét m > 1, 1h C ( , )  , 2k C ( , )  và có một số giả thiết khác nữa .  Nội dung của luận văn chủ yếu dựa vào ba bài báo [11],[12],[24] bao gồm : CHƯƠNG 1 : Sự tồn tại nghiệm yếu không bị chặn . Trong chương này , chúng tôi đưa bài toán (0.3) về bài toán tìm điểm bất động của ánh xạ tăng và từ đó chứng minh sự tồn tại nghiệm yếu cực trị nằm trong q 1L  . CHƯƠNG 2 : Phương trình logistic suy biến . Trong §1 , chúng tôi giới thiệu một số khái niệm và một số kết quả về sự tồn tại và duy nhất giá trị riêng chính , nghiệm của bài toán elliptic tuyến tính với hàm thế không bị chặn .Trong §2 , chúng tôi chứng minh sự tồn tại và duy nhất nghiệm dương của (0.4). CHƯƠNG 3 : Sự tồn tại và duy nhất hàm điều khiển tối ưu. Trong chương này , chúng tôi chứng minh với  đủ nhỏ thì tồn tại duy nhất hàm điều khiển tối ưu. CHƯƠNG 1 SỰ TỒN TẠI NGHIỆM YẾU KHÔNG BỊ CHẶN §1. CÁC KHÁI NIỆM VÀ KẾT QỦA ĐƯỢC SỬ DỤNG. A.Không gian Banach có thứ tự Định nghĩa 1.1.1 Cho không gian Banach thực X . Tập K X gọi là một nón trên X nếu : i) K là tập đóng , K   , ii) K K K tK K t 0      , iii)  K ( K)   . Nếu K X là nón thì thứ tự trong X sinh bởi nón K được định nghĩa như sau: x y khi và chỉ khi y x K  . Định nghĩa 1.1.2 Cho X là không gian Banach thực , có thứ tự sinh bởi nón K . Khi đó ta nói : K là nón sinh nếu K K X  .  K là nón chuẩn nếu N 0 , x,y K , x y x N y       .  K là nón chính qui nếu mọi dãy đơn điệu tăng , bị chặn trên thì hội tụ .  K là nón hoàn toàn chính qui nếu mọi dãy đơn điệu tăng , bị chặn theo chuẩn thì hội tụ. Ta dễ dàng kiểm tra rằng :  Nón các hàm không âm h.k.n trong pL (X, ) , 1 p < +   là nón sinh , nón hoàn toàn chính qui. B.Điểm bất động của ánh xạ tăng Giả sử X là không gian Banach thực , có thứ tự sinh bởi một nón . Ta kí hiệu  u, là tập x X | x u  . Ta nói tập M X là có hướng nếu 1 2 1 2x , x M x M , x x , x x      . Ánh xạ T : M X X  được gọi là ánh xạ tăng nếu x, y M,x y T(x) T(y)     . Trong chương này ta sẽ sử dụng một định lý điểm bất động của ánh xạ tăng để chứng minh sự tồn tại nghiệm cực trị của bài toán tìm nghiệm yếu của phương trình Logistic. Mệnh đề 1.1.3 [ 7 ],[ 24 ] Cho X là không gian Banach thực có thứ tự sinh bởi một nón , M X là tập đóng và T : M M là ánh xạ tăng thỏa mãn các điều kiện sau : i)  0M u M | u Tu    , 0 0M , M  có hướng . ii) Với mọi dãy tăng  n 0u M thì dãy  nTu hội tụ . Khi đó , với mỗi u 0M thì ánh xạ T có trong  M u, điểm bất động lớn nhất u và điểm bất động nhỏ nhất u , nghĩa là nếu  v M u,  là một điểm bất động của T thì u v u   . Ghi chú 1.1.4 Ta sẽ áp dụng mệnh đề 1.1.3 cho ánh xạ T tác động trong không gian pX L ( )  , 1 p   , pL ( ) là không gian Banach có thứ tự sinh bởi nón các hàm không âm h.k.n trong .Như vậy để chứng minh dãy tăng  nTu hội tụ , ta chỉ cần chứng minh nó bị chặn theo chuẩn . C.Không gian Sobolev Giả sử N là một miền .Với 1 p   và m 0,1,2, ta định nghĩa :  m,pW ( ) là không gian các hàm u , pu L ( )  có đạo hàm suy rộng đến bậc m và pD u L ( )   với mọi  , m  . Với m 0 ,ta đặt 0,p pW ( ) L ( )   .Trong m,pW ( ) ta xét chuẩn : m,p p m u D u     , trong đó p. là chuẩn trong pL ( ) .  m,p0W ( ) là bao đóng của cC ( )  trong m,pW ( ) ( cC ( )  là không gian các hàm có giá compắc trong  và có đạo hàm mọi hạng liên tục trên ) . Ta thường xét không gian 1,p0W ( ) , trong 1,p0W ( ) ta xét chuẩn : 1,p p u u  . .Chuẩn này tương đương với chuẩn : p p u u  . Không gian 1,2W ( ) còn được kí hiệu là 1H ( ) . Không gian liên hợp của 1,p0W ( ) là 1,pW ( )  với 1 1 1p p  và 1,p W ( )   được định nghĩa trong [14]. Mệnh đề 1.1.5 [8],[14] 1) Khi 1< p < N , phép nhúng 1,p pW ( ) L ( )   là liên tục ,với Npp N p    và ta có :  p 1,pL ( ) W ( )     , trong đó s là chỉ số liên hợp với s theo nghĩa 1 1 1 s s   . 2) Nếu u,v 1,pW ( )  thì max(u,v) , min(u,v) thuộc 1,pW ( ) và ta có: ii i D u(x) ,neáu u(x) v(x) D (max(u,v))(x) D v(x) ,neáu v(x) u(x)    , ii i D u(x) ,neáu u(x) v(x) D (min(u,v))(x) D v(x) ,neáu v(x) u(x)    , iD u là đạo hàm riêng suy rộng theo biến xi của hàm u . Nói riêng ta có :     i i D u(x) , neáu u(x) 0 D u (x) 0 , neáu u(x) 0 , ii D u(x) , neáu u(x) 0 D u (x) 0 ,neáu u(x) 0     . Bất đẳng thức Gagliardo – Nirenberg + Với m,p qu W ( ) L ( )   và0 m 1    , ta có : 1 m,p qr D u C u . u   trong đó  định bởi : 1 1 m 1(1 ) r N p N q            . + Với 0,m 1   , ta có : 1 r 1,p q u C u . u  . §2. NGHIỆM YẾU CỰC TRỊ CỦA PHƯƠNG TRÌNH LOGISTIC Trong mục này , ta xét phương trình Logistic dạng sau: r qu m(x)u u trong u=0 treân       . (1.1) Ta xét sự tồn tại nghiệm yếu cực trị của (1.1) với các giả thiết : N (N 3)  là miền mở , bị chặn với biên trơn ,  là tham số dương , sm(x) L ( )  , 0 r 1 , r q    . Định nghĩa 1.2.1 Xét phương trình : u f(x,u) trong u 0 treân      (1.2) với : N ( N 3 ) là tập mở , bị chặn , có biên trơn , f :   là một hàm thỏa điều kiện Caratheodory. 1)Ta nói hàm 10u H ( )  là một nghiệm yếu của (1.2) nếu 2N N 2f (x,u) L ( )  , 1 0u dx f (x,u) dx H ( )          . 2) Ta nói hàm 1u H ( )  là một nghiệm dưới của (1.2) nếu 2N N 2f (x,u) L ( )  , u 0 trên , 10u dx f (x,u) dx H ( ) , 0            h.k.n trên  . Mệnh đề 1.2.2 [5] Giả sử hàm g :   thỏa điều kiện Caratheodory và các điều kiện sau : i) Với mọi x thì g(x,0) 0 và hàm u g(x,u) là tăng , ii) Với mọi t > 0 , tồn tại hàm 1th L ( )  sao cho   tsup g(x,u) u t h (x)  . Khi đó với mọi 1h H ( )  bài toán biên : u g(x,u) h trong u 0 treân       có duy nhất nghiệm yếu u 10H ( )  thỏa mãn điều kiện ug(x,u) 1L ( )  . Giả sử các dữ kiện trong bài toán (1.1) thỏa mãn các điều kiện sau : (H1) m(x) sL ( )  với 2N(q 1)s , r q ,0 r 1.2(q 1) N(q 1 2r)        (H2) m(x) 0 h.k.n trong  và tồn tại số 0m 0 , tập  có biên trơn sao cho 0; m(x) m , x .       Gọi u1 là hàm riêng ứng với giá trị riêng thứ nhất của bài toán biên : u u trong u 0 treân       (1.3) và u0 là hàm bằng 0 trên \   , bằng 1cu trên  với c > 0 đủ nhỏ . Định lý 1.2.3 Giả sử các điều kiện (H1),(H2) được thỏa mãn và hàm u0 được định nghĩa như trên . Khi đó phương trình (1.1) có nghiệm lớn nhất và nhỏ nhất trong 0u , . Chứng minh Ta chứng minh hàm u0 là một nghiệm dưới của (1.1). Gọi 1 là giá trị riêng đầu của bài toán biên (1.3) và đặt 1 u (x) ,x u(x) 0 ,x \     thì theo [25] ta có 1u u   , theo nghĩa yếu , nghĩa là : 11 0u dx u dx , H ( ) , 0.             Do đó , để 0u cu là nghiệm dưới của (1.1) ta chỉ cần chọn c sao cho :    r q 11 0cu m(x) cu(x) cu(x) dx , H ( ), 0                . (1.4) hay    r q 11 1 1 1 0cu m(x) cu (x) cu (x) dx , H ( ), 0                 . Ta có :    r q1 1 1 1m(x) cu (x) cu (x) cu (x)         r q r 1 r1 0 1 1 1cu (x) m cu (x) cu (x) 0 , x            khi c 0 đủ nhỏ vì q r 0,1 r 0    và u1(x) bị chặn trên  . Như vậy , ta có thể chọn c đủ nhỏ để (1.4) đúng hay 0u cu là nghiệm dưới của (1.1). Ta đưa bài toán (1.1) về bài toán tìm điểm bất động của ánh xạ tăng . Với mỗi q 1u L ( )  ta xét bài toán tìm nghiệm yếu của bài toán : q rz z m(x)u trong z 0 treân        . (1.5) Ta áp dụng mệnh đề 1.2.2 cho bài toán (1.5) .Rõ ràng hàm g(x,z) zq thỏa các điều kiện i),ii) của mệnh đề 1.2.2 . Vì u q 1 sL ( ) , m L ( )    ta suy ra : r tm(x).u L ( )  với s(q 1)t rs q 1    . Từ điều kiện (H1) ta có : 2Nt N 2  , do đó : 2N r 1N 2m(x)u L ( ) H ( )    . Như vậy , tất cả các điều kiện của mệnh đề 1.2.2 được thỏa mãn và bài toán (1.5) có duy nhất nghiệm yếu 10z H ( )  sao cho q 1 1z L ( )   . Xét ánh xạ T đặt tương ứng mỗi u q 1L ( )  với nghiệm duy nhất z của (1.5) thì ta có T là một ánh xạ từ q 1L ( )  vào q 1L ( )  và u là nghiệm yếu của (1.1) khi và chỉ khi u là điểm bất động của ánh xạ T . Ta chứng minh T là ánh xạ tăng . Giả sử u , v q 1L ( )  và u v .Với 10H ( )  , theo định nghĩa của T và khái niệm nghiệm yếu ta có : r qTu dx m(x)u (Tu) dx            , r qTv dx m(x)v (Tv) dx            , và do đó : r r q q(Tu Tv) dx m(x)(u v ) ((Tu) (Tv) ) dx               . (1.6) Theo mệnh đề 1.1.5 ta có: 10(Tu Tv) H ( )   , và ta có :    q qTu Tv (Tu Tv) 0 trong       . Do đó , cho (Tu Tv)   trong (1.6) ta có : (Tu Tv) (Tu Tv) dx 0       . (1.7) Mặt khác , với mọi w 10H ( )  , theo mệnh đề 1.1.5 ta có: w w 0      . (1.8) Do vậy , từ (1.7) và (1.8) ta có : 2 (Tu Tv) dx 0     . Từ đây , ta suy ra (Tu Tv) 0   h.k.n trong . Suy ra ,Tu Tv h.k.n trong   . Như vậy u v  Tu Tv  .  Ta tiếp tục chứng minh : 0 0u Tu . (1.9) Vì u0 là nghiệm dưới của (1.1) nên ta có : r q 10 0 0 0u dx m(x)u u dx , H ( ), 0                . Kết hợp với : r q 10 0 0 0Tu dx m(x)u (Tu ) dx , H ( )              . Ta được : q q 10 0 0 0 0(u Tu ) dx u (Tu ) dx , H ( ), 0                 .(1.10) Cho 0 0(u Tu )    trong (1.10) và chú ý : q q0 0 0 0u (Tu ) (u Tu ) 0     ta có : 0 0 0 0(u Tu ) (u Tu ) dx 0        . Tiếp tục sử dụng (1.8) ta có : 2 0 0(u Tu ) dx 0      . Từ đây, suy ra : 0 0u Tu h.k.n trong . Từ (1.9) và T là ánh xạ tăng ta thấy T biến tập đóng  0u , vào chính nó .Nghiệm yếu cực trị của (1.1) trên  0u , chính là các điểm bất động lớn nhất và nhỏ nhất của T trên  0u , . Chứng minh T có điểm bất động lớn nhất , nhỏ nhất trên  0u , Ta sẽ kiểm tra rằng tất cả các điều kiện của mệnh đề 1.1.3 được thỏa mãn . Với   1 2 0 0u ,u M u u , | u Tu     , ta đặt 3 1 2u max(u ,u ) thì do tính tăng của ánh xạ T ta có : 1 1 3u Tu Tu  , 2 2 3u Tu Tu  .Từ đây ta có : 3 3 3 0u Tu hay u M  . Vậy M0 là tập có hướng . Để chứng minh rằng , ánh xạ T thỏa mãn điều kiện ii) của mệnh đề 1.1.3 , ta chỉ cần chứng minh tập 0T(M ) bị chặn theo chuẩn trong q 1L ( )  . Với mỗi u M0 ta có : r qTu dx m(x)u (Tu) dx            r q 10m(x)(Tu) (Tu) dx , H ( ) , 0            . Cho Tu  ta có : 2 q 1 r 1Tu (Tu) dx m(x)(Tu) dx           . Dưới đây , ta sẽ có (r 1)sTu L ( )  , do đó áp dụng bất đẳng thức Holder cho vế phải ta có : 2 q 1 r 1 H q 1 s (r 1)s Tu Tu m . Tu      (1.11) ,trong đó 1 22 H u u       . Trường hợp: (r 1)s q 1   . Do q 1Tu L ( )  nên (r 1)sTu L ( )  .Từ (1.11) ta có q 1 r 1 q 1 s q 1 Tu m C. Tu    . Từ đây và do r < q , suy ra 0T(M ) là tập bị chặn trong q 1L ( )  . Trường hợp: (r 1)s q 1   . Từ (H1) ta suy ra : 2N s(q 1) N 2 rs q 1    . (1.12) Vì ánh xạ stt (rs t) tăng nên từ (1.12) ta có : 2N s(r 1)s s(r 1)s N 2 rs (r 1)s (r 1)s 1           2N (r 1)s . N 2   Như vậy , ta có : 2Nq 1 (r 1)s N 2      , và ta có thể áp dụng bất đẳng thức Gagliardo – Nirenberg để có: t 1 t (r 1)s H q 1 Tu C Tu . Tu   , (1.13) trong đó t thỏa : 1 1 1 N 2t 1 q (1 r)s q 1 2N         . Như vậy , ta có (r 1)sTu L ( )  .Từ (1.11) ta có : r 1 2 1H (r 1)s Tu C Tu   , (1.14) r 1 q 1 1q 1 (r 1)s Tu C Tu     . Từ (1.13) và (1.14) ta có : t (r 1) (1 t )(r 1) 2 q 1 2(r 1)s (r 1)s Tu C Tu        . Từ đây và do t(r 1) (1 t)(r 1) 1 2 q 1     nên tập T(M0) bị chặn trong (r 1)sL ( )  và do đó bị chặn trong q 1L ( )  . Như vậy ánh xạ T thỏa mãn tất cả các điều kiện của mệnh đề 1.1.3 và do đó nó có điểm bất động lớn nhất và nhỏ nhất trên  0u , và chính là nghiệm yếu lớn nhất và nhỏ nhất của bài toán (1.1) trên  0u , . Định lý 1.2.4 Giả sử các giả thiết của định lý 1.2.3 được thỏa mãn . Gọi un là nghiệm yếu (duy nhất) của bài toán : q rn n n 1u u m(x)u     trong , nu 0 trên  ( n ). Khi đó dãy  nu hội tụ trong 10H ( ) về nghiệm yếu nhỏ nhất của bài toán (1.1) trên  0u , . Chứng minh Áp dụng mệnh đề 1.2.2 và lập luận như ở phần đầu bước 2 trong chứng minh định lý 1.2.3 ta có hàm un được xác định duy nhất theo un-1 . Từ định nghĩa của ánh xạ T trong chứng minh định lý 1.2.3 và định nghĩa của un , ta suy ra un = T(un-1) . Do 0 0u Tu nên  nu là dãy tăng . Cũng theo chứng minh định lý 1.2.3 ta có  nu bị chặn trong q 1L ( )  .Do đó tồn tại giới hạn nny lim u h.k.n trong  và trong q 1L ( )  . Vì T là ánh xạ tăng nên n nu Tu Ty (n )   . Theo định nghĩa nghiệm yếu ta có : q q r r 1n n n 1 0(Ty u ) dx (Ty) u dx m(x)(y u ) dx H ( )                     . Cho nTy u   và áp dụng bất đẳng thức Poincare ta có : 22 n nC (Ty u ) dx (Ty u ) dx         q q r rn n n 1 n(Ty) u (Ty u )dx m(x)(y u )(Ty u )dx               r rn 1 nm(x) y u (Ty u )dx      . Cho n  và áp dụng định lý Beppo – Levi ta có Ty y .Vậy y là một điểm bất động của T . Cũng từ bất đẳng thức trên ta suy ra : nnlim u y  trong 1 0H ( ) . Ta chứng minh y là điểm bất động nhỏ nhất của T trên 0u , .Thật vậy , nếu  1 0y u ,  là một điểm bất động của T thì dùng qui nạp ta chứng minh được n 1u y (n )  và do đó y 1y . Định lý được chứng minh . CHƯƠNG 2 PHƯƠNG TRÌNH LOGISTIC SUY BIẾN §1 . CÁC KHÁI NIỆM VÀ KẾT QỦA ĐƯỢC SỬ DỤNG. Cho  là miền bị chặn trong N ,N 3 với biên  trơn .Cho f L ( )  ,ta định nghĩa :  Mf : esssupf inf k | f (x) k h.k.n trong      ,  Lf : essin f f sup k | k f (x) h.k.n trong      ,  LL ( ) : f L ( ) | f 0       ,  ML ( ) : f L ( ) | f 0       ,  1 10C ( ) : u C ( ) | u 0 treân       . 1 0C ( ) là không gian Banach có thứ tự sinh bởi nón P các hàm không âm của 10C ( ) ,phần trong của P kí hiệu là int(P).           1 0 uint(P) : u C ( ) | u 0 trong , 0 treân n , trong đó n là véc tơ pháp tuyến đơn vị trên biên  hướng ra ngoài . Chúng ta xét bài toán giá trị riêng suy biến sau: u M(x)u u trong u 0 treân        (2.1) ,trong đó : (H1) locM L ( )   thỏa M(x)d (
Luận văn liên quan