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ố
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
N2
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 đó
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
tôi đặt ra không đòi hỏi
N2
q nên nghiệm yếu dương (nếu tồn tại) có thể không
bị chặn.
Bạn đang xem tài liệu "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ải tài liệu gốc về máy hãy click vào nút Download ở trên
Tóm tắt nội dung tài liệu: 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
76
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:
,treân0u
,tronguu)x(mu (1)
trong đó N là tập mở, bị chặn, có biên trơn ; 10 , là tham số
dương và hàm )(xm thuộc )(qL với q thỏa điều kiện
*
*
*
2
2.)2(
q
q hay
12
2
*
*
q (2)
với
2
22*
N
N . Phương trình (1) gọi là phương trình logistic, nó mô tả một số
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
2
Nq 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 đó
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
tôi đặt ra không đòi hỏi
2
Nq nên nghiệm yếu dương (nếu tồn tại) có thể không
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.
Tạp chí KHOA HỌC ĐHSP TP.HCM Số 12 năm 2007
77
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
),( uxfu trong ; 0 u 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 :
*
0
12,1
00 )(, HHWH
, 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 0Hu gọi là một nghiệm yếu của phương trình (3) nếu
1f (x, u) L ,
1uf (x.u) L và
LHuxfu 0),( .
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) ),(,0)0,( uxgxg tăng theo biến u,
ii) Với mỗi số t>0 tồn tại hàm 1Lt sao cho )x()u,x(gsup t
tu
.
Khi đó với mọi 1 Hh thì bài toán
huxgu ),( trong ; 0 u trên
có duy nhất nghiệm yếu.
Tạp chí KHOA HỌC ĐHSP TP.HCM Nguyễn Bích Huy, Nguyễn Duy Thanh,
Trần Đình Thanh
78
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
XK . Cho ánh xạ F : K K , ta xét bài toán tìm cặp ( , x) K sao
cho
),( xFx . (4)
Ta kí hiệu )},(,0:}0{\{ xFxKxS .
Đị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ó GS .
Đị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
KKG : , hàm : sao cho
F( , x) G( ( )x), ( , x) K .
Hơn nữa, giả sử tồn tại phần tử }0{\0 Ku và các số dương a, b sao cho
i) ],0[)( 00 btatutuG ;
ii)
00t
)tu(Glim,)(lim , trong đó 0. là một chuẩn trên X thỏa mãn
các điều kiện sau :
0 0 0x x x X ; 0 x y x y .
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) 10 ,
ii) qLxm )( với q thỏa mãn điều kiện (2) và tồn tại số 00 m , tập mở 0
sao cho 000 xm)x(m, .
Tạp chí KHOA HỌC ĐHSP TP.HCM Số 12 năm 2007
79
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
pq
qp
)2( * (5)
thì do (2) ta có *2 p . Do đó ánh xạ I nhúng H0 vào Lp là compắc. Vì *20 LH
nên )*2(1 LH . Do vậy, với mỗi )*2( Lh thì theo định lí 1, bài toán
hvv trong , 0 v 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ừ )*2( L vào H0. Thật vậy, với )*2(, Lhh , theo định nghĩa nghiệm yếu của (6)
ta có
0)(])()[()( HhhhPPhhPPh .
Cho hPPh ta có
))(()]()()[(|)(| 2 hPPhhhhPPhhPPhhPPh .
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)*2(
2 . hPPhhhhPPh H
Từ đây ta được
)*2(H
hh.ChPPh
.
Với mỗi 0( ,u) H , u 0 ta có
*2Lu và do đó tLuxm )(
với )*2(
*2
*2
q
qt . Do đó bài toán
uxmvv )( trong , 0 v trên
Tạp chí KHOA HỌC ĐHSP TP.HCM Nguyễn Bích Huy, Nguyễn Duy Thanh,
Trần Đình Thanh
80
có duy nhất nghiệm yếu, ta kí hiệu nó là ),( uF . Như vậy ta có ánh xạ
F : K K , nghiệm của phương trình ),( uFu 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 ),( uFu có
tính chất nêu trong định lí.
Xét ánh xạ uxmuN )(),(: . 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 )*2( L , do đó theo định lí Krasnoselskii nó liên tục.
Vì ta có PoNoIF 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 ),1(:)( uFuG 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à
)(),1(),( /1/1 uGuFuF .
Gọi là véctơ riêng tương ứng với giá trị riêng chính của bài toán
uu trong 0 , 0 u trên 0
và xét hàm 0u trên 0 , 00 u trên 0\ . Như đã chứng minh trong [2],
khi 0 đủ nhỏ ta có
0,)( 000 Huxmu . (7)
Xét )1,0( t , vì ),1()( 00 tuFtuG là nghiệm yếu của (6) với ))(( 0tuxmh
nên ta có
0000 ,))(())(()( HtuxmtuGtuG . (8)
Nhân (7) với t và trừ (8) rồi cho ))(( 00 tuGtu ta được
))()}(()())({())(( 0000
2
00 tuGtuttuxmtuGtuGtu (9)
trong đó )}tu(Gtu{A 00 .
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
0\A , còn trên 0A ta có
}){()()()( 10000000
tmmtututtumtug .
Tạp chí KHOA HỌC ĐHSP TP.HCM Số 12 năm 2007
81
Vì hàm u0 bị chặn nên từ đây ta thấy 0 g trên A khi t >0 đủ nhỏ. Do đó từ (9)
ta thấy khi t đủ nhỏ thì 0))(( 00 tuGtu hkn hay 00 )( tutuG . 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ạ )tu(Gtt 0 là tăng. Thật vậy, với
st 0 ta đặt )(),( 00 suGvtuGu . Từ (8) ta có
00)()( Hvsutvsut .
Cho )( vsut ta được
0)vsut)(vsut()vsut(
A
2
, (10)
trong đó }{ vsutA . Trên A ta có
01
s
tvsvsut .
Ở đây ta đã sử dụng giả thiết 1 . Do đó từ (10) ta được
( 0)( vsut ) hay vsut hkn.
từ điều đã chứng minh ta có với 1 t .
)()( 00 uGttuG
.
Do đó điều kiện ii) của định lí 2 được thỏa mãn với chuẩn
*20
.. .
Đị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
Tạp chí KHOA HỌC ĐHSP TP.HCM Nguyễn Bích Huy, Nguyễn Duy Thanh,
Trần Đình Thanh
82
[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.
File đính kèm:
tinh_lien_tuc_cua_tap_nghiem_yeu_cua_phuong_trinh_logistic_c.pdf

