Các nghiệm không bị chặn của phương trình logistic và dáng điệu tiệm cận của chúng

Tóm tắt Các nghiệm không bị chặn của phương trình logistic và dáng điệu tiệm cận của chúng: ...__________________________________________________________________________ 5 Khi đú với mỗi 1, ' ( )ph W -ẻ W tồn tại duy nhất hàm 1,0 ( )pz Wẻ W sao cho 1( , ) ( ), ( , ). ( )locg x z L g x z z Lẻ W ẻ W và 2 | | ( , ) p z z g x z hj j j - ẹ ẹ ẹ + =ũ ũ ũ (4) đỳng cho mọi 0 ( )Cj Ơẻ W... ' 1, 0: p pP L Wđ liờn tục nếu F là ỏnh xạ hoàn toàn liờn tục. Bổ đề 2 Gọi 1l là giỏ trị riờng đầu và 1u là hàm riờng tương ứng của bài toỏn biờn 1p pu ul --D = trong 'W , 0 0u = trờn 'ảW . Ta định nghĩa 0 1u cu= trong 'W , 0 0u = trong \ 'W W với 0c > đủ nhỏ thỡ 0u là nghiệm dưới ...và ( )v F u= ta cú từ (9) (với 1pa = - ) 1 1 ' .p p pq v v c vb b + + + Ê (10) Nếu ' 1pq bÊ + thỡ từ (10) ta cú 1 1 1 . pv c vb b b + + + Ê nờn vỡ 1pb a> = - ta suy ra tập 0( )F M bị chặn. Tiếp theo ta xột trường hợp 1 'pqb+ < . Khi đú từ (H4) ta cú *(1 ) * '' 1 ( 1)...

pdf8 trang | Chia sẻ: havih72 | Lượt xem: 315 | Lượt tải: 0download
Nội dung tài liệu Các nghiệm không bị chặn của phương trình logistic và dáng điệu tiệm cận của chúng, để tải tài liệu về máy bạn click vào nút DOWNLOAD ở trên
Created by Simpo PDF Creator Pro (unregistered version)
Tạp chí KHOA HỌC ĐHSP TP HCM Nguyễn Bích Huy, Trần Đình Thanh 
_____________________________________________________________________________________________________________ 
 3 
CÁC NGHIỆM KHÔNG BỊ CHẶN CỦA PHƯƠNG TRÌNH 
LOGISTIC VÀ DÁNG ĐIỆU TIỆM CẬN CỦA CHÚNG 
 NGUYỄN BÍCH HUY *, TRẦN ĐÌNH THANH ** 
TÓM TẮT 
Trong bài báo chúng tôi xét phương trình logistic chứa toán tử p-Laplace và hàm 
trọng ( ) qm x LÎ với q nhỏ. Chúng tôi chứng minh sự tồn tại các nghiệm yếu lớn nhất (có 
thể không bị chặn) và nghiên cứu dáng điệu tiệm cận của chúng. 
ABSTRACT 
Unbounded solutions of the logistic equation and their asymptotic behaviors 
In the paper we consider the logistic equation involving the p-Laplace operator and 
the weight function ( ) qm x LÎ with small q. We prove the existence of maximal weak 
solutions (may be unbounded) and study their asymptotic behaviors. 
1. Mở đầu 
Trong bài báo này, chúng tôi xét sự tồn tại và dáng điệu tiệm cận của nghiệm 
lớn nhất, không bị chặn của phương trình logistic sau: 
( )pu m x u u
a bl-D = - trong W, u = 0 trên ¶W , (1) 
trong đó NRW Ì là miền bị chặn, có biên trơn, 2( )ppu div u u
-D = Ñ Ñ là toán tử 
p_Laplace, ( ) ( )qm x LÎ W với q thích hợp và 1 .pa b£ - < 
Khi hàm ( )m x là hằng số và toán tử pu-D được thay bằng một toán tử tuyến 
tính elliptic bậc 2 thì với mỗi 0l l³ bài toán (1) có duy nhất nghiệm trơn và dáng 
điệu tiệm cận của nghiệm được nghiên cứu trong [3]. Khi q đủ lớn thì (1) có duy 
nhất nghiệm bị chặn (thuộc 1,20W L¥Ç ) và sự phụ thuộc của nghiệm vào tham số l 
có thể nghiên cứu bằng phương pháp của [4]. Khi q nhỏ nghiệm của (1) có thể 
không bị chặn và không duy nhất, do đó việc nghiên cứu sự phụ thuộc của nghiệm 
theo tham số trở nên phức tạp. Trong [6] chúng tôi đã chứng minh sự tồn tại nhánh 
liên tục không bị chặn trong tập nghiệm của (1) khi p = 2 và q nhỏ. Trong bài này, 
chúng tôi sẽ nghiên cứu sự tồn tại của nghiệm lớn nhất (khi l cố định), có thể 
không bị chặn và dáng điệu tiệm cận của nghiệm khi 0l ® hoặc l ®¥ . 
2. Các kết quả được sử dụng 
* PGS TS, Khoa Toán – Tin học, Trường Đại học Sư phạm TP HCM 
** TS, Trường Đại học Y Dược TP HCM 
Created by Simpo PDF Creator Pro (unregistered version)
Tạp chí KHOA HỌC ĐHSP TP HCM Số 21 năm 2010 
_____________________________________________________________________________________________________________ 
 4 
2.1. Phương trình không gian có thứ tự 
Cho X là không gian Banach với thứ tự sinh bởi nón K. Ta nói ánh xạ 
:F M X XÌ ® là tăng nếu , ,u v M u vÎ £ thì ( ) ( )F u F v£ . 
Định lý A [5] 
Cho X là không gian Banach với thứ tự sinh bởi nón, M XÌ là tập đóng, 
:F M M® là ánh xạ tăng thỏa mãn các điều kiện 
(i) Tập 0 { : ( )}M u M u F u= Î £ ¹ f và có tính chất 
0 0, , : ,u v M w M u w v w" Î $ Î £ £ . 
(ii) Nếu 0{ }nu MÌ là dãy tăng thì dãy { ( )}nF u hội tụ. 
Khi đó F có điểm bất động lớn nhất trong M. 
2.2. Nghiệm yếu của một lớp phương trình elliptic tựa tuyến tính 
Giả sử NRW Ì là miền bị chặn, có biên trơn, puD là toán tử p-Laplace với 
1 p N< < và :f R RW´ ® là hàm thỏa điều kiện Caratheodory. Ta xét bài toán 
biên sau: 
( , )pu f x u-D = trong W , 0u = trên ¶W (2) 
Ta xét các không gian 1,0 ( ), ( )p pW LW W thông thường, chuẩn trong chúng được 
ký hiệu tương ứng là . và .
p
. Đặt * pNp
N p
=
-
 và '
1
pp
p
=
-
. Dưới đây các tích 
phân đều được lấy trên W . 
Định nghĩa: 
1) Ta nói hàm 1,0 ( )pu WÎ W là nghiệm yếu của (2) nếu 
*( ) '
*( , ) ( )
pf x u LÎ W và 
2 1,
0( , ) , ( )
p pu u f x u Wj j j
-
Ñ Ñ Ñ = " Î Wò ò (3) 
2) Ta nói hàm 1,0 0 ( )pu WÎ W là một nghiệm dưới của (2) nếu 
*( ) '
0( , ) ( )
pf x u LÎ W , 
2 1,
0 0 0 0( , ) , ( ), 0
p pu u f x u Wj j j j
-
Ñ Ñ Ñ £ " Î W ³ò ò 
và 0 0u £ trên ¶W theo nghĩa vết. 
Định lý B [2] 
Giả sử hàm :g R RW´ ® thỏa điều kiện Caratheodory và 
(i) ( ,0) 0, ( , )g x g x u= tăng theo biến u x" ÎW 
(ii) 1
| |
0, ( ) : | ( , ) | ( )supt t
u t
t L g x u xj j
£
" > $ Î W £ . 
Created by Simpo PDF Creator Pro (unregistered version)
Tạp chí KHOA HỌC ĐHSP TP HCM Nguyễn Bích Huy, Trần Đình Thanh 
_____________________________________________________________________________________________________________ 
 5 
Khi đó với mỗi 1, ' ( )ph W -Î W tồn tại duy nhất hàm 1,0 ( )pz WÎ W sao cho 
1( , ) ( ), ( , ). ( )locg x z L g x z z LÎ W Î W và 
2
| | ( , )
p
z z g x z hj j j
-
Ñ Ñ Ñ + =ò ò ò (4) 
đúng cho mọi 0 ( )Cj ¥Î W và zj = . 
Ghi chú 1: 
1) Nếu hàm z nói trong định lý B thỏa thêm điều kiện ( *) '( , ) ( )pg x z LÎ W thì (4) 
cũng đúng cho mọi 1,0 ( )pWjÎ W do tập 0 ( )C¥ W trù mật trong 1,0 ( )pW W . Do đó z cũng 
là nghiệm yếu của bài toán 
( , )pu g x u h-D + = trên W , 0u = trên ¶W . 
2) Dưới đây, để ngắn gọn ta sẽ kí hiệu vế trái của (3) là ,Au j 
3. Kết quả chính 
Ta xét phương trình (1) với các giả thiết sau: 
(H1) ( ) 0, ( ) ( )qm x m x L³ Î W với q > 1 thích hợp và tồn tại miền trơn 'W Í W , tồn 
tại số 0 0m > sao cho 0( ) 'm x m x³ " ÎW 
(H2) * 1pa b< £ - 
Đầu tiên ta sẽ đưa bài toán (1) về bài toán tìm điểm bất động của một ánh xạ 
tăng trong không gian có thứ tự. 
Do điều kiện (H2) ta có 
1 ( *) 'pb
b
+
> , do đó nếu 1 1( )z Lb+ Î W thì ( *) ' ( )pz Lb Î W . 
Áp dụng định lý B và ghi chú 1 cho hàm ( , )g x u ub= ta có với mọi 
( *) ' 1, '( ) ( )p ph L W -Î W Ì W tồn tại duy nhất hàm 1,0 ( )pz WÎ W thỏa 1 ( )z L b+Î W và 
1,
0, ( )
pAz z h Wbj j j j + = " Î Wò ò (5) 
Gọi P là ánh xạ đặt tương ứng mỗi ( *) '( )ph LÎ W với nghiệm z của (5) thì P có 
các tính chất sau [4] 
(a) 1, 10( ) ( ) ( )pP h W L b+Î W Ç W , P là ánh xạ tăng. 
(b) Nếu M là một tập bị chặn trong ( *) ' ( )pL W thì P(M) là một tập bị chặn trong 
1,
0 ( )
pW W và do đó là tập compắc tương đối trong ( )Lg W với *pg < . 
(c) P liên tục nếu 2p ³ . 
Giả sử số 1r ³ thỏa điều kiện 
Created by Simpo PDF Creator Pro (unregistered version)
Tạp chí KHOA HỌC ĐHSP TP HCM Số 21 năm 2010 
_____________________________________________________________________________________________________________ 
 6 
( *) 'qr p
q ra
³
+
 (6) 
Khi đó nếu ( )ru L+Î W ta có ( ) ( )tm x u La Î W với 
qrt
q ra
=
+
Do đó ánh xạ Nemyskii ( , ) ( )N u m x ual l= tác động từ ( )rL W vào ( *) '( )pL W và 
liên tục, biến tập bị chặn vào tập bị chặn. 
Đặt ( , ) ( , )F u PoN ul l= thì sự tồn tại nghiệm yếu của (1) được đưa về bài toán 
tìm nghiệm của phương trình 
( , )u F ul= (7) 
Bổ đề 1 
Giả sử (6) được thỏa mãn thì F là ánh xạ từ [0, ) ( )rL+¥ ´ W vào 
1, 1
0 ( ) ( )
pW L b+W Ç W và 
(i) F là ánh xạ tăng; nếu 0u là nghiệm dưới của (1) thì 0 0( , )u F ul£ 
(ii) Nếu 2p ³ và * ( *) '
*
qp p
q pa
>
+
 thì F là ánh xạ hoàn toàn liên tục từ 
1,
0[0, ) ( )
pW¥ ´ W vào 1,0 ( )pW W . 
Chứng minh : 
Tính chất (i) đã được chứng minh trong [4]. Để chứng minh (ii) ta chọn số 
*r p< thỏa (6). Phép nhúng 1,0 p rW L® là compắc, ánh xạ ( *) ': r pN L L® liên tục và 
( *) ' 1,
0:
p pP L W® liên tục nếu F là ánh xạ hoàn toàn liên tục. 
Bổ đề 2 
Gọi 1l là giá trị riêng đầu và 1u là hàm riêng tương ứng của bài toán biên 
1p
pu ul
--D = trong 'W , 0 0u = trên '¶W . 
Ta định nghĩa 0 1u cu= trong 'W , 0 0u = trong \ 'W W với 0c > đủ nhỏ thì 0u là 
nghiệm dưới của (1) trong các trường hợp sau : 
1) 1, 0,pa l 
2) 1
0
1,p
m
l
a l= - > 
Chứng minh : 
Trong [1] đã chứng minh rằng 10 1 0ppu ul --D £ theo nghĩa yếu. 
Với 1,0 , 0pWj jÎ ³ ta có 
Created by Simpo PDF Creator Pro (unregistered version)
Tạp chí KHOA HỌC ĐHSP TP HCM Nguyễn Bích Huy, Trần Đình Thanh 
_____________________________________________________________________________________________________________ 
 7 
1 1
0 0 0 0 1 0 0 1 0 0, ( ( ) ) , ( ( ) )
p pAu m x u u Au u m x u u ua b a bj l j l j l l j- - - - = - - -ò ò (8) 
Vì 
1 1
1 0 0 0 0 1 0 0: ( ) ( )
p pv m x u u u m u ub a a b al l l l- - - -= - - ³ - - trên 'W và 1u bị chặn trên 'W 
ta thấy nếu c nhỏ và 1, 0pa l hoặc 1
0
1,p
m
la l= - > thì 0v ³ . Vậy ta có vế 
phải của (8) là không dương và do đó 0u là nghiệm dưới của (1) 
Định lý 1 
Giả sử các điều kiện (H1), (H2) và (H3) sau được thỏa mãn 
(H3) 
*1,
1
qp qa
a
¢æ ö< - ³ ç ÷+è ø
Khi đó với mỗi 0l > bài toán (1) có nghiệm yếu lớn nhất. 
Chứng minh : 
Từ điều kiện (H3) ta thấy (6) đúng với *r p= . Do đó ánh xạ F trong (7) tác 
động từ *pL vào chính nó và ta sẽ xét phương trình (7) trong *pL . Cố định 0l > , ta 
kí hiệu ( )F u thay cho ( , )F ul . Theo bổ đề 1,2 ta có 0 0( )u F u£ . Nếu 1 1( )u F u£ , 
2 2( )u F u£ thì hàm 1 2max( , )u u u= thỏa ( )u F u£ do F là ánh xạ tăng. Vậy điều kiện 
(i) của định lý A đúng. Để kiểm tra điều kiện (ii) của định lý A ta chỉ cần chứng 
minh tập 0( )F M là bị chặn trong 
*pL . Lấy 0u MÎ , đặt ( )v F u= và lấy v là hàm thử, 
ta có 
11 1
(1 ) '
, ( ) ( ) .
q q
Av v v m x u v m x v m v ab a a
a
l l l ++ +
+
 + = £ £ò ò ò (9) 
Vì '(1 ) *q pa+ £ theo (H3) nên từ (9) ta suy ra 
1
* *
p
p p
v c v a+£ 
Vậy tập 0( )F M bị chặn. Định lý được chứng minh. 
Định lý 2 
Gọi 1l là số được định nghĩa trong bổ đề 2. Giả sử các điều kiện (H1), (H2) và 
(H4) sau được thỏa mãn 
(H4) 
(1 )1,
1 ( 1) *
pp q
p p
ba
b
* ¢æ ö+
= - ³ ç ÷+ + -è ø
. 
Khi đó với 1
0m
ll > bài toán (1) có nghiệm lớn nhất. 
Created by Simpo PDF Creator Pro (unregistered version)
Tạp chí KHOA HỌC ĐHSP TP HCM Số 21 năm 2010 
_____________________________________________________________________________________________________________ 
 8 
Chứng minh : 
Với 1
0m
ll > thì ánh xạ : ( ,.)F F l= thỏa điều kiện (i) của định lý A. Từ điều 
kiện (H4) ta có (6) đúng với 1r b= + và do đó F tác động từ 1L b+ vào chính nó. Ta 
sẽ chứng minh tập 0( )F M bị chặn trong 
1L b+ . Với 0u MÎ và ( )v F u= ta có từ (9) 
(với 1pa = - ) 
1
1 '
.p p
pq
v v c vb
b
+
+
+ £ (10) 
Nếu ' 1pq b£ + thì từ (10) ta có 1
1 1
. pv c vb
b b
+
+ +
£ nên vì 1pb a> = - ta suy ra 
tập 0( )F M bị chặn. 
Tiếp theo ta xét trường hợp 1 'pqb+ < . Khi đó từ (H4) ta có
 *(1 ) * ''
1 ( 1) * ' ( 1) *
p p pqq
p p pq p p
b
b
+£ <
+ + - + -
và từ đó ta có ' *pq p£ .Vì 1 ' *pq pb+ < < ta có 
1
1'
. 1
pq
v c v vq qb
-
+£ (11) 
Với (0,1)q Î không phụ thuộc v. Từ (10), (11) ta có 
' 'pq pq
v c v g£ với (1 ) 1
1
pg q q
b
= + - <
+
. 
Do đó v bị chặn trong 'pqL và trong 1L b+ . 
Định lý 3 
Giả sử các giả thiết (H1), (H2) và (H3) sau được thỏa mãn và gọi ul là nghiệm 
lớn nhất của (1); 1/( 1) .pv ual ll
- += . Khi đó 
1) Nếu 1pb > - thì tồn tại nghiệm v của bài toán biên 
( )pu m x u
a-D = trong W , 0u = trên ¶W (12) 
sao cho 
0
lim v vll® = trong 
1,
0
pW và hầu khắp nơi trong W 
2) Nếu 1pb < - thì tồn tại nghiệm v của (12) sao cho lim v vll®¥ = trong 
1,
0
pW và 
hầu khắp nơi trong W . 
Chứng minh: 
Để đơn giản kí hiệu ta đặt 
1( 1 )( 1 )p pt b al l
-+ - - -= . Dễ dàng kiểm tra rằng vl là 
nghiệm yếu lớn nhất của bài toán 
Created by Simpo PDF Creator Pro (unregistered version)
Tạp chí KHOA HỌC ĐHSP TP HCM Nguyễn Bích Huy, Trần Đình Thanh 
_____________________________________________________________________________________________________________ 
 9 
( )pu m x u t u
a b
l-D = - trong W , 0u = trên ¶W (13) 
hay 
1,
0, ( )
pAu t u m x u Wb alj j j j + = " Îò ò (14) 
1) Khi 1pb > - ta có 0tl ® khi 0l ® và nếu l m< thì t tl m< và vm là một 
nghiệm dưới của (13); do vậy v vm l< . Suy ra tồn tại 
0
lim
x
v vl
®
= tại mỗi điểm của W . 
Để chứng minh khẳng định của định lý, ta chỉ cần chỉ ra v là nghiệm của (12) 
và với mọi dãy 0nl ® thì dãy { }nvl có dãy con hội tụ trong 1,0 pW về v. 
Đặt 
nn
v vl= và cho nvj = trong (14) và lí luận tương tự trong (9) ta có 
1 1 1 1
1 (1 ) ' *
p
n n n n n nq p
v t v c v c v c vb a a a
b a
+ + + +
+ +
+ £ £ £ 
trong đó 
nn
t tl= . Do đó dãy { }nv bị chặn trong 1,0 pW và có dãy con mà ta vẫn kí 
hiệu là { }nv hội tụ yếu trong 1,0 pW và hầu khắp nơi trong W . Hàm giới hạn phải là v. 
Vì 0,n nt v v® £ và , ( )v m x vb a thuộc 
( *)pL ¢ nên từ (14) (với ,n nu v t tl= = ) ta có thể 
áp dụng định lí hội tụ bị chặn và nhận được 
1,
0, ( )
pAv m x v Waj j j= " Îò (15) 
hay v là một nghiệm của (12). Lấy nv vj = - trong (14) (với ,n nu v t tl= = ) và trong 
(15) rồi trừ từng vế hai đẳng thức ta có 
, ( )( )( ) ( )n n n n n n nAv Av v v m x v v v v t v v v
a a b= - - - -ò ò (16) 
Vì 1 1 1 1, ( ) ,nv v m x v L v La b+ +£ Î Î và áp dụng định lí hội tụ bị chặn ta suy ra rằng vế 
phải của (16) hội tụ về 0. Vế trái của (16) lớn hơn ( ) ( )1 1p pn nv v v v- -- - . Do đó 
lim nv v= . Vì 1,0
pW là không gian lồi đều nên từ đây và từ nv v® yếu ta suy ra 
nv v® trong 1,0 pW . 
2) Nếu 1pb nếu l m< . Do đó ta có thể áp dụng 
các lí luận trên để chứng minh trường hợp này. 
Ghi chú 2: 
Nếu 1pb = - thì 1tl = và 1 0v ul l= " > . 
Created by Simpo PDF Creator Pro (unregistered version)
Tạp chí KHOA HỌC ĐHSP TP HCM Số 21 năm 2010 
_____________________________________________________________________________________________________________ 
 10 
TÀI LIỆU THAM KHẢO 
1. Boccardo L., Orsina L. (1994), “Sublinear equations in Ls”, Houston J.Math., 
(20), pp. 99-114. 
2. Brezis H., Browder F. (1982), “Some properties of higher order Sobolev 
space”, J.Math. Pures Appl, (61), pp. 245-259. 
3. Delgado M., Suarez A. (2002), “On the structure of the positive solutions of 
logistic equation with nonlinear diffusion”, JMAA 268, pp. 200-216. 
4. Drabek P., Hernandez J. (2001), “Existence and uiniqueness of positive 
solution for some quasilinear elliptic problems”, Nonlinear Anal, (44), pp. 
189-204. 
5. N. B. Huy (2002), “Positive week solutions for some semilinear elliptic 
equations”, Nonlinear Anal, (48), pp. 939-945. 
6. Nguyễn Bích Huy, Nguyễn Duy Thanh, Trần Đình Thanh (2007), “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, (12), tr. 76-82. 

File đính kèm:

  • pdfcac_nghiem_khong_bi_chan_cua_phuong_trinh_logistic_va_dang_d.pdf