Tính liên tục của tập nghiệm yếu của phương trình Logistic chứa tham số

Chia sẻ: Chauchaungayxua@gmail.com Chauchaungayxua@gmail.com | Ngày: | Loại File: PDF | Số trang:7

Thêm vào BST

Báo xấu

9
lượt xem 0
download

Download Vui lòng tải xuống để xem tài liệu đầy đủ

Trong bài viết sử dụng phương pháp chặn dưới đơn điệu để chứng minh rằng tập nghiệm yếu của phương trình Logistic chưa tham số là một nhánh liên tục không bị chặn.

Chủ đề:

Bình luận(0) Đăng nhập để gửi bình luận!

Lưu

Nội dung Text: Tính liên tục của tập nghiệm yếu của phương trình Logistic chứa tham số

Tạp chí KHOA HỌC ĐHSP TP.HCM Nguyễn Bích Huy, Nguyễn Duy Thanh, Trần Đình Thanh TÍNH LIÊN TỤC CỦA TẬP NGHIỆM YẾU CỦA PHƯƠNG TRÌNH LOGISTIC CHỨA THAM SỐ Nguyễn Bích Huy *, Nguyễn Duy Thanh †, Trần Đình Thanh ‡ 1. Mở đầu Trong bài báo này, chúng tôi muốn nghiên cứu cấu trúc của tập nghiệm yếu dương của bài toán biên chứa tham số sau:  u  m (x )u   u  trong  ,  (1) u  0 treân  , N trong đó   là tập mở, bị chặn, có biên trơn ; 0      1,  là tham số dương và hàm m(x) thuộc Lq () với q thỏa điều kiện q.2 * 2* (2* )  hay q  (2) q  2 * 2*  1   2N với 2 *  . Phương trình (1) gọi là phương trình logistic, nó mô tả một số N 2 hiện tượng trong y học và sinh học. Thông thường, nghiệm của phương trình chứa tham số không tồn tại đơn lẻ, rời rạc và ta muốn biết, liệu tập nghiệm của nó có “liên tục” theo một nghĩa nào đó không ? Trong [4, 6] chúng tôi đã chứng minh (1) có nghiệm yếu dương khi  đủ lớn nhưng chưa xem xét tính liên tục của tập nghiệm nhận được. Nếu N q thì nghiệm yếu dương của (1) nếu tồn tại, sẽ duy nhất và bị chặn ; khi đó 2 cấu trúc tập nghiệm của (1) có thể nghiên cứu nhờ các kết quả về phân nhánh toàn cục dạng định lý Rabinowitz như đã làm trong [1]. Điều kiện (2) mà chúng N tôi đặt ra không đòi hỏi q  nên nghiệm yếu dương (nếu tồn tại) có thể không 2 bị chặn. Do vậy, phương pháp nghiên cứu ở [1] không áp dụng được và chúng tôi * PGS.TS, Khoa Toán – Tin học, Trường ĐHSP Tp.HCM. † ThS, Khoa Toán – Tin học, Trường ĐHSP Tp.HCM. ‡ TS, Trường Đại học Y dược Tp.HCM. 76 Tạp chí KHOA HỌC ĐHSP TP.HCM Số 12 năm 2007 sẽ áp dụng phương pháp chặn dưới đơn điệu của Krasnoselskii ở dạng được phát triển trong [5]. 2. Các khái niệm và kết quả được sử dụng 2.1 Nghiệm yếu của phương trình elliptic Xét bài toán tìm hàm u thỏa mãn  u  f ( x, u ) trong  ; u  0 trên  (3) trong đó   N là tập mở, bị chặn, có biên trơn, f :    là hàm thỏa điều kiện Caratheodory. Ta sẽ sử dụng các kí hiệu thông thường cho các không gian Sobolev : H 0  W01, 2 , H 1  ( H 0 ) * , chuẩn trong H0 và Lp được kí hiệu tương ứng là . H , . P . Dưới đây nếu không được nói cụ thể hơn thì ta hiểu rằng các tích phân được lấy trên tập  . Định nghĩa Hàm u  H 0 gọi là một nghiệm yếu của phương trình (3) nếu f (x, u)  L1 , uf (x.u)  L1 và  u   f ( x, u)   H 0  L . Ta có định lí cơ bản sau về sự tồn tại nghiệm yếu. Định lí [3] Giả sử hàm Caratheodory g :    thỏa mãn các điều kiện sau i) g ( x,0)  0, g ( x, u ) tăng theo biến u, ii) Với mỗi số t>0 tồn tại hàm  t  L1 sao cho sup g(x, u)   t (x) . u t Khi đó với mọi h  H 1 thì bài toán  u  g ( x, u )  h trong  ; u  0 trên  có duy nhất nghiệm yếu. 77 Tạp chí KHOA HỌC ĐHSP TP.HCM Nguyễn Bích Huy, Nguyễn Duy Thanh, Trần Đình Thanh 2.2 Phương trình chứa tham số trong không gian Banach có thứ tự Giả sử  X, .  là không gian Banach với thứ tự "" được sinh bởi nón K  X . Cho ánh xạ F :   K  K , ta xét bài toán tìm cặp (, x)    K sao cho x  F ( , x ) . (4) Ta kí hiệu S  {x  K \ {0} :   0, x  F ( , x)}. Định nghĩa Ta nói rằng tập S có tính chất liên tục, không bị chặn, xuất phát từ 0 nếu với mọi tập G là mở, bị chặn, chứa 0 thì ta luôn có S  G   . Định lí 2 [5] Giả sử ánh xạ F :   K  K là hoàn toàn liên tục và tồn tại ánh xạ tăng G : K  K , hàm  :    sao cho F(, x)  G(( )x), (, x)   K. Hơn nữa, giả sử tồn tại phần tử u 0  K \ {0} và các số dương a, b sao cho i) G (tu 0 )  atu 0 t  [0, b] ; ii) lim ()  , lim G(tu 0 ) 0   , trong đó . 0 là một chuẩn trên X thỏa mãn   t  các điều kiện sau : x 0  x x  X ; 0  x  y  x 0  y 0. Khi đó tập nghiệm S của (3) có tính liên tục, không bị chặn, xuất phát từ 0. 3. Kết quả chính Định lí Giả sử các dữ kiện trong bài toán (1) thỏa mãn các điều kiện sau: i) 0      1, ii) m( x)  Lq với q thỏa mãn điều kiện (2) và tồn tại số m0  0 , tập mở  0 sao cho  0  , m (x )  m 0 x   0 . 78 Tạp chí KHOA HỌC ĐHSP TP.HCM Số 12 năm 2007 Khi đó tập nghiệm yếu dương của (1) là liên tục, không bị chặn, xuất phát từ 0. Chứng minh. Ta sẽ áp dụng định lí 1 để đưa bài toán tìm nghiệm yếu của (1) về bài toán tìm nghiệm của phương trình dạng (4) trong không gian H0 với thứ tự sinh bởi nón K các hàm không âm rồi áp dụng định lí 2 để có kết quả phải chứng minh. Bước 1. Đưa về phương trình dạng (4). Chọn p là số thỏa mãn điều kiện qp (2* )  (5) q  p thì do (2) ta có p  2 * . Do đó ánh xạ I nhúng H0 vào Lp là compắc. Vì H 0  L2* nên H 1  L( 2*) . Do vậy, với mỗi h  L( 2*) thì theo định lí 1, bài toán  v  v   h trong  , v  0 trên  (6) có duy nhất nghiệm yếu, kí hiệu là Ph. Ta sẽ chứng minh rằng, ánh xạ P là liên tục từ L( 2*) vào H0. Thật vậy, với h, h  L( 2*) , theo định nghĩa nghiệm yếu của (6) ta có   ( Ph  Ph)   [( Ph)  ( Ph)  ]   (h  h)   H 0 . Cho   Ph  Ph ta có  2  | ( Ph  Ph) |   [( Ph)  ( Ph )  ]( Ph  Ph )   ( h  h )( Ph  Ph ) . Chú ý rằng số hạng thứ hai ở vế trái là không âm và áp dụng bất đẳng thức Holder ta được 2 Ph  Ph  H  h  h ( 2*) . Ph  Ph  2* Từ đây ta được Ph  Ph  H  C. h  h  ( 2*) . Với mỗi (, u)    H 0 , u  0 ta có u  L2* và do đó m( x)u   Lt q2 * với t   ( 2*)  . Do đó bài toán q  2 *  v  v    m( x)u  trong  , v  0 trên  79 Tạp chí KHOA HỌC ĐHSP TP.HCM Nguyễn Bích Huy, Nguyễn Duy Thanh, Trần Đình Thanh có duy nhất nghiệm yếu, ta kí hiệu nó là F ( , u) . Như vậy ta có ánh xạ F:   K  K , nghiệm của phương trình u  F ( , u ) sẽ là nghiệm yếu của (1). Do đó, ta chỉ cần chứng minh tập nghiệm yếu của phương trình u  F ( , u ) có tính chất nêu trong định lí. Xét ánh xạ N : ( , u )  m( x)u  . Do định nghĩa số p và lí luận tương tự trên ta thấy N tác động từ Lp vào L( 2*) , do đó theo định lí Krasnoselskii nó liên tục. Vì ta có F  PoNoI nên F là ánh xạ hoàn toàn liên tục. Như đã chứng mính trong [4,6] F đơn điệu tăng theo biến u. Bước 2. Xây dựng ánh xạ chặn dưới đơn điệu Ta sẽ chứng minh G (u ) : F (1, u) thỏa mãn các điều kiện của định lí 2. Trước tiên ta có G đơn điệu tăng và F ( , u )  F (1, 1 /  u )  G (1 /  u ) . Gọi  là véctơ riêng tương ứng với giá trị riêng chính của bài toán  u   u trong  0 , u  0 trên  0 và xét hàm u 0   trên  0 , u 0  0 trên  \  0 . Như đã chứng minh trong [2], khi   0 đủ nhỏ ta có   u    m( x)u 0 0    H 0 ,   0 . (7) Xét t  (0,1) , vì G (tu 0 )  F (1, tu 0 ) là nghiệm yếu của (6) với h  m( x)(tu 0 )  nên ta có  G (tu 0 )   (G (tu 0 ))    m( x)(tu 0 )   ,   H 0 . (8) Nhân (7) với t và trừ (8) rồi cho   (tu 0  G (tu 0 ))  ta được 2  (tu 0  G (tu 0 ))    {(G (tu 0 ))   m( x)u 0 (t   t )}(tu 0  G (tu 0 )) (9) trong đó A  {tu 0  G(tu 0 )} . Gọi g là thừa số thứ nhất trong tích phân ở vế phải của (9). Ta có g = 0 trên A   \  0 , còn trên A   0 ta có g  (tu 0 )   m0 u 0 (t   t )  (tu 0 )  {(tu 0 )    m0  m0 t 1 } . 80 Tạp chí KHOA HỌC ĐHSP TP.HCM Số 12 năm 2007 Vì hàm u0 bị chặn nên từ đây ta thấy g  0 trên A khi t >0 đủ nhỏ. Do đó từ (9) ta thấy khi t đủ nhỏ thì (tu 0  G (tu 0 ))   0 hkn hay G (tu 0 )  tu 0 . Vậy G thỏa mãn các điều kiện i) của định lí 2. Tiếp theo ta sẽ chứng minh rằng ánh xạ t  t   G(tu 0 ) là tăng. Thật vậy, với 0  t  s ta đặt u  G (tu 0 ), v  G ( su 0 ) . Từ (8) ta có   (t u  s  v)   (t  u   s  v  )  0   H 0 . Cho   (t  u  s  v)  ta được  2   (t u  s  v)    ( t  u   s  v  )( t  u  s  v)  0 , (10) A trong đó A  {t  u  s  v} . Trên A ta có     t       t u  s v  s v    1  0 .  s   Ở đây ta đã sử dụng giả thiết   1. Do đó từ (10) ta được ( (t  u  s  v)   0 ) hay t  u  s  v hkn. từ điều đã chứng minh ta có với t  1 . G (tu 0 )  t  G (u 0 ) . Do đó điều kiện ii) của định lí 2 được thỏa mãn với chuẩn . 0  . 2* . Định lí được chứng minh. TÀI LIỆU THAM KHẢO [1]. Arcoya D., Carmona J., Pellacci B. (2001), Bifurcations for some quasilinear operators, Proc. Royal Soc. Edin., 131A, 733 – 765 [2]. Boccardo L., Orsina L. (1994), Sublinear equations in Ls, Houston J. Math., 20, 99 – 144 [3]. Brezis H., Browder F. (1982), Some properties of higher order Sobolev spaces, J. Math. Pures Appl. 61 (1982), 245 – 259 [4]. N. B. Huy (2002), Positive weak solution for some semilinear elliptic equations, Nonl. Analysis 48, 939 – 945 81 Tạp chí KHOA HỌC ĐHSP TP.HCM Nguyễn Bích Huy, Nguyễn Duy Thanh, Trần Đình Thanh [5]. N. B. Huy (1999), Global continua of positive solutions for equations with nondifferentiable operators, J. Math. Anal. Appl. 239, 449 – 456. [6]. Trần Đình Thanh (2002), Nghiệm yếu dương của một lớp phương trình elliptic.Tạp chí khoa học, Trường ĐHSP Tp HCM, 28, 39 – 42. Tóm tắt Tính liên tục của tập nghiệm yếu của phương trình logistic chứa tham số Trong bài báo, chúng tôi sử dụng phương pháp chặn dưới đơn điệu để chứng minh rằng tập nghiệm yếu của phương trình logistic chưa tham số là một nhánh liên tục không bị chặn. Abstract Global continua of weak solutions of logistic equation depending on a parameter In this paper we use the monotone minorant method to prove that weak solutions of logistic equation form an unbounded continuous branch. 82