LO em re re
BO GIAO DUC - DAO TAO
DAI HOC QUOC GIA THANH PHO HO CHI MINH TRUONG DAI HOC SU PHAM
©
MOT LOP BAI TOAN BIEN
CHO HỆ PHƯƠNG TRINH VI PHAN THUONG
Trang 2
LUẬN VĂN ĐƯỢC HOAN THANH TẠI
TRUONG DAI HOC SU PHAM THANH PHO HO CHI MINH 2 (= [z„zrzz hung dan y Phé Tién Si: =» NGUYEN ANH TUAN Khoa Toan Đại học Sư phạm Thành Phố Hỗ Chí Minh oO 2> phen btn ft: [Phó Tiến Sĩ: — LÊ THỊ THIÊN HƯƠNG Khoa Toán Dai hoc Sư phạm Thanh Phá Hỗ Chí Minh Cc PP MHhưu đưểum 2:
Pho Tién Si ; DAU THE CAP
Khoa Khoa Hoc Co Ban
Trường Cao Đắng kỹ thuật Vinhempic ¬ | Chie heen :
NGUYEN NGOC CON
Truong PTE Phan Van Tri
Huyện Châu Thanh, Tinh Cân Thơ
a
LUẬN VĂN KHOA HỌC DƯỢC BẢO VỆ TẠI
HỘI DỒNG CHẤM LUẬN VĂN THẠC SĨ TOÁN HỌC
TRƯỜNG ĐẠI HỌC SƯ PHAM THÀNH PHÓ HỒ CHÍ MINH
Trang 3
LOI CAM ON
Ler dtu téu lrong hadin win way, tit ain kink go din Phd Siéin KH NGUYEN ANH TUAN - Khoa CÍndm, ¢ During Pat hoe he fbam
lo 24¿uÁ fhe Ve Chi Oo Monk ; mati ha ⁄ di “an link hing dan va gu dé
tit hoan Uhank udu udu uay, long hithen chin lhanh wa ener T2
Fon he ự te dong hitl un dbe vee gee he Ự, Wea
Nhe Chén HK LUE TAL THIEN HUONG, CXZea OFain,
tự sư đạc Aepham Thank phé Hi Ché Mink
yi Hibn KH : DAU THE CAP ẽ Khoa Kiheoa hoc ca ban,
Trning Cue (# dng = %Í y Mbit 4a inhemfuc ht doe ban Chae, fhé blink wea phan been che “edn wan
Dew chin hank vim ta que ¢ (ấy “/@tưự Khoa Otodn di tin link
(rte yêu dat kien lhate cho lid (roug serio gue Crinh hoe tafe, ye câu, 2 lhuée AF hong “ [4# etn â Khow hee  Truciny Gf we hee he fham Cc Thanh ' tý
We Ch olbuk va que Shay VÊ2 /đuậc hong © Ngheen cu Khoa hoc vd
Pao ta wu Lat hoe (ung fi an hoe Gin Thea chi fro met diéu điểm thudn fot gif he bit trong seit hed gran hoc tafe va Chae huén ludn win mary
Wet ition evita, tive yen dink, ban hin ring qe ding „Lợi di ding were, gu Ae ne lao mo hin fh tén lhudu bed cho let frong que brink hee 7 na hoan
thank lad win wey
CHhank fhe a (2 ahs œ úñ lnk 7999 AL = / ”
OQ [zz„ấ» Ngee én
Trang 4MUC LUC Ky hiéu
Lời nói đầu
Chương 1: MỘT LỚP BÀI TOÁN BIÊN CHO HỆ PHƯƠNG TRÌNH VI PHÂN THƯỞNG VỚI ĐIỀU KIỆN BIÊN DANG CAUCHY - NICOLETTL
1.1, Diéu kién can và đủ cho việc tôn tại
nnphiệm của bài toán (0.1), (0.2) .o<-<e<<<sesee ] UD VG ahh gs IN (in oy tigate 6 cece a 1666004 ,00 9 1.3 Cac tiêu chuẩn hiệu quả cho việc tổn tai
và duy nhất nghiệm của bài toán (0.1),(0.2) 15 I.4 Về bài toán (0.1), (0.3) và (0.1), (0.4) -< <«- 20 Chương II : MỘT LỚP BÀI TOÁN BIẾN CHO HỆ PHƯƠNG?
TRÌNH VI PHÂN THƯỜNG VỚI ĐIỀU KIỆN BIÊN
DANG HAM
2.1 Diều kiện cần và đú cho việc tổn tại
nghiệm của bài toán (0.1), (Ú.8) .à.«-cc<cc<e~eeexxee 24 2.2 Dịnh lý vẻ việc tồn tại và duy nhất
nghiêm của bài toán (0.1), (0.B} eeeSĂieeesrisvee 29
2.3 Các tiêu chuẩn hiệu quả cho việc tồn
tại và duy nhất nghiệm của bài toán (0.1), (0.8) 39 2.3.1 Các tiêu chuẩn cho việc tổn tại và
duy nhất nghiệm của bài toán (0.1), (0.8) 39
2.3.2 Về tập N (<4,b#¿ ấy 2á ÐĐk) Gia 60266 25ssei 42
Trang 5KI HIEU
ILR 1a tap hop cae sé thuc ( duéng thang thuc) (a,b) = [xeER:a<x<b}- khoang
<a,b> = |xelR:a < x < bị - đoạn
lR" là không gian thực n chiều với các điểm x=(xj* bởi chuẩn ” Ixl=> [xi] t=] a (PR n, ¬ RT = Jor ERS 207 = Mn] 2.Voix,y € R", taco: x<y<©Sx, < y, (I=l1, n) ~ " ` = i we 4 : & gẢ
3.5 = (Si, jet la ma tran vudng cap n voi cac phan tu la
4.C„(<a,b>) là không gian các vécto ham n-chiều liên tục trên <a,b>,
VỚI chuậnn :
ÍxÍÍ cụ (<a,b>) = Max { > |x()|:ast<b Ì
t=1 n
C: (<a,b>) = t6), c C,(<a,b>) : x{t) > 0 với a < t b, j=L n} 5.AC,(<a,b>) la không gian các véctơ hàm n chiều liên tục tuyệt đối lrên <a,b>
6 |(<a,b>) là không gian các ham p kha tich (p21) trên <a,b> với
/
Trang 6b 1/p
Ibias £ LE flora |” vátsp<+ss
Vrai max { [x() |:a <t<b \ VỚI p=†+œ
L,(<a,b>, R,)= { xe LP(<a,b>) : x(t) 3 0, a < t <b}
7.K<a,b> la tap hợp các ham f : <a,b> x R" — R thda man cac điều
kién Caratheodory dia phuong nghia la néu f ¢ K<a,b>, f(-,x) là đo được trên <a,b> với môi xe R"; f(t, -) la lién tuc hau khap nơi trên R" với mọi t= <a,b> va sup{|{(-.x) |: Ix po} e L(<a,b>) vớip € (0,40) S.Néu gq 2 1 va gp? q ở q (( LEU] )= b —¬ | h *: 9 Si +)! với q<qqạ<+® q7 đụ với q=q hoặc q=+ œ
9.Nếu (@:C (<a,b>) > Ro, © Cy(<a,b>) (=l,2) và %¿¡( š %›(Ð
với VI ec <a,bh> khi đó La kí hiệu :
V;(;z %;)=inf{p(x) :xeC, (<a,b>) va OC, (t)Sx(t)S,(t) voi Vte<a,b>}
Trang 7LOI NOI PAU
Van dé ton tại và duy nhất nghiệm của bài toán biên cho phương
trình ví phân thường là một trong những vấn để quan trọng của lý thuyết phương trình ví phân Nghiệm của bài toán biên liên hệ chặt chẻ với sự
phát triển của bộ môn phương trình vì phân Trong những bài toán đầu
Viên (Bài toán Cauchy, bài toán Cauchy - Nicoletti, bài tốn tuần hồn, )
nghiệm của nó là hàm khả vị liên tục, Trong thế ký này vào những năm
3U cũng với sự ra đời của lý thuyết caratheodory nghiệm của bài toán biên được hiểu là hàm liên tục tuyệt đối ; vào những nãm 50 người ta đã đưa ra
nhiều tiêu chuẩn tồn tại và duy nhất nghiệm của bài toán biên với các diéu kiên biên khác nhau
Mục đích của luận văn này là nghiên cứu sự tổn tại và duy nhất
nghiệm của hệ phương trình ví phân với điều kiện biên dạng Cauchy -
nicoletti va diéu kién bién dang, ham
Luan van pom co hai chuong :
Trong, chuong | chung ta sé nghién ctu về việc tổn tại và duy nhất
nvhiém cada hé phương trinh vi phan thuone : 4 ĩ i » 1
dy, i _ a Hà t,;).( = Ì¿ n) (011)
thóa mãn điều kiên biên (0.2) :
x(t) =p, (Xu-: Xa) (E1;/⁄ n) (0.2)
trong do f,: <a,b>x R" > R, thỏa mãn điều kiện Carathéodory với
~ 9 <ash< + © ,t © <a,b>, (i=1, ,n) va @ : C,(<a,b>) -> R, (i=1, ,n)
Trang 8hove Thỏa mãn dita kita bien (0.3) hode (0.4) :
X(t) =p) OX pieeeXp) es GE] Sup {X¡(t}: Ast<b | san
(i=mi+Ï, ,11} (0.3)
va: S1 x;[ÐI: a<th } <t z2, (1Z1, mÌ (1.4) Cac truong hup dat biét cua bai tean (0.1), (0.2) chang han nh; ¢ Bai toan CauChy - Nicoletti:
xát) =C;, (#T1,.‹ n) (0.5)
¢ Bai loan tain hoàn :
xa) = xb), (i=7, 00) (01.6)
¢ Bai todn phan tuần hoan :
xa) > -xifh), (im 1, 9) (0.7)
Bai toan (011, (02) dược nghiên cứu bởi hàng loạt tác giả như II.Kiguradze, l Puza, Kakabadze, trong các công trìnlhi [3L[1],{2]/{8|, UTEP US FEZ vcs
Trong chifong I ching ta sé nghitn eva ve viée lén tai va duy nhất nghiệm của hệ phương trình vi phân thường (.L) thỏa mãn điều kiện liền (mét hàm: (8),
# 4X), (xu XJ} (=L, „nH) (0-8)
trong đề Pu„;C,(<a,b>) —> R là phiểm hàm tuyển tính , liên tực không niảm trang, C{<sa,b®} và tập trung trên doạn <a,.b> c <a,b> (có nghĩa là ma lrị (Ha hiểm hàm # „ chí phụ thuộc vào các hàm số tua liệp trên
* ` ` + 4 eZ ` -
Trang 9[rưởng họp đặc biệt của điều kién bién (0.8) là (0.2) hoặc điều kiện
biên đạng tích phân :
b
[x/(đ8,(Đ = ø¡ (xuxz, xu), (i=1, n) (0.9)
a
với <a„b,> c <a,b>, Trong đó tích phân được hiểu theo nghĩa Lebesgue - Sticejes và ã(b,) - ã(a,) > 0 Điều kiện biên (0.9) lần đầu tiên được đưa ra
bởi Kakabadze
Điều kiện biên (0.8) lần đầu tiên được đưa ra bởi nhà toán học Tiệp Khắc B.Puza (trong [12 ]) tác giá đã đưa ra được một số điều kiện đú cho
việc ton tai nghiệm của phương trình vì phân bậc n thỏa mãn điều kiện
(0.8)
Nghiệm của bài toán (0.1),(0.2) và (0.1), (0.8) được hiểu theo nghĩa Carathéodory tức là hàm véctơ n chiều liên tục tuyệt đối trên đoạn <a,b>
thóa mãn hệ phương trình (0.1) hầu khấp nơi và thỏa mãn diều kiện biên
Trang 10MOT LOP BAL TOAN BIEN CHO HE PHUONG TRINH V1 PHAN THUONG voi DIEU KIEN BIPN DANG CAUCHY - NICOLETTI
CHUONG I
MOT LOP BAI TOAN BIEN CHO HE PHUONG TRINH VI PHAN THUONG VOI DIEU KIEN BIEN DANG CAUCHY - NICOLETTI
1.1 DIEU KIEN CAN VA DU CHO VIEC TON TAL NGHIEM CUA
BÀI TOÁN (0.1),(0.2) :
Dinh lý 1.1: Điều kiện cần và đủ để bài toán (0.1), (0.2) có nghiệm la t6n tai cac vecto ham: tì OC = (OC) E AC, (<a,b>), (f=1,2) sao cho &,(t) S$ %;(t) i= voit € <a,b> (1.1) Hy (ti) © Ve (My Hp, Kp) SV (5 Ky, Op) € Øz/(t) (1.2) (i=1, ,n) và (21) [txyseto:OEg/Xigus)+ % (Ð)] simn(E-t) 0 (1.3) (f=1,2; i=1, n) với a SES b, L(t) Sx; $ p(t) (J=1, n)
Khi do bai toan (0.1),(0.2) co nghiém x= (x) | thỏa mãn các bất đắng im thức sau : ¡(9 < x(U) <%¿(0 với VtLe<a,b> (1:4)
Chung minh :
« Diều kiện cẩn : Điều kiên cần là hiển nhiên, bởi vì nếu x=(x)) là
i= nghiêm cua bai toan (0.1),(0.2) Khido :
C(t) = %,(t) = x(t) € AC, (<a,b>) thoa man (1.1) va (1.3)
e Diéu kién du: Dé chứng mỉnh điều kiện đủ trước tiên chúng ta đặt
Trang 11MOT LOP BALTOAN BIEN CHO HE PHUONG TRINH VIEPHAN THUGNG
VỚI ĐIỀU KIÊN BIEN DANG CAUCHY- NICOLETTI O,,(t) với S< %,((t) xXi(tS) = 5 Vol © ,(t) S SS O,,(t) %;¡(t) với S > C(t) BEX greene Xp) FFL A (EX) Kl tXp)) VA F(xp Xp) = Oj (Xpeeen Xn) với X; =x/(tx(Ð) 0=1, n) chủng ta xét bài toán : dx = = Ø/(t,Xạ, Xa), (Ì“1, n) (1.5) xi() = 0,(Xụ, Xa), (i=1, n) (1.6) ~ t * o X(t) = 4p, (XproeoeXn)# J git-x, (1), sabes X,(t))dt (i=1, ,.n) (1.7) tỉ do ap dung (1.2) và định nghĩa của g, và 4 ta được ; - a |
OC y(t) Sep, (Xg Xea) Š %¿j(t,) với (x) _ C„(<a,b>) (1.8)
va ton tai g* € L<a,b> sao cho:
Bằng cách sử dụng bất đẳng thức này và áp dụng nguyên lý
Schauder's vẻ điểm bất động, ta để dang chứng tỏ rằng hệ (1.7) và do đó
bài toán (1.5),(1.6) có nghiệm
Gia sw x,(t), x,(t) la một nghiệm của (1.5),(1.6) Để kết thúc chứng
mình định lý, ta chứng tỏ rằng nghiệm này thỏa mãn bất đẳng thức (1.4)
Trang 12MOT LOP BALTOAN BIEN CHO HE PHUONG TRINH VIPHAN THUONG
VỚI ĐIỀU KIÊN BIEN DANG CAUCIIY-NICOLETTI
lu do mdi nghiém cúa (1.5), (1.6) thóa mãn (1.4) thì luôn luôn là nghiệm
của (0.1),(0-2)
Giá sứ rằng (1.4) không xãy ra nghĩa là tôn tại £ e {1,2}, ¡ c {1, ,n} và
tL,€ <a,b> sao cho u(t,) > Ú, với u(t) = (-1)' [x,(t) - ~,,(t)]
Do (1.6) và (1.8) ta suy ra rằng tụ # t Không mất tinh tống quát ta
giả sứ r„,> tụ Do x(Ð liên tục nên tốn tại r¡ e <t,,t„ > sao cho :
u(t;) = Ú và u(t) > Ö với L< (ty, tạ (1.9) (Với t„ < t, ta chứng minh hoàn toàn tương tu) nhưng nếu ta đặt : xị= #,(x(Ð) và sứ dụng (1.3) chúng ta nhận được : VỚI E € ( 1, tụ) điều này mâu thuẩn với (1.9), chứng tó (1.4) đúng và định lý được chung minh Bây giờ ta xét trưởng hợp đặc biệt của điều kiện biên (0.2) là : x(t) =Ayx(0 +a (FD ) (1.10)
trong do a & t,, & Sb vad, pt, € R (i=1, ,n)
tử định ly 1.1 ta suy ra cac hé qua sau :
Hệ quả 1.1: Diéu kién cần va đú để bài toán (0.1), (1.10) có nghiệm là {On tại các vectơ hàm ;
L,= (Kn), © AC,<a,b> (f=1,2) thỏa mãn (1.1) và bất đắng thức (1.3)
XÂY ra VỚI ;
aS1Sb,Ø®%() < xị< %¿() ,(j=l, n), voi i e [H, n}
Trang 13MOT DOP HAT TOAN BIEN CHO ME PUONC PRINT V1 PLAN THUCNG VOLBIFU KIEN MEN JANG CALICEHTY-NICOLETTI hoặc : 3¡ # Ú, ®/(t;) - 3¡ 44 ñ )*IýŠ #“2/(tj - À¡ #2¡( 1; ) (1.11)
hadic: A < 0, %(1} - 3¡2cz( fy } Š dị Lilt) = Ai ul fF )
LIệ quá trên là tổng quát hóa một vải kết quá đã có trước Ví dụ A.V Iinke'Shtain đã chứng, tỏ trong [1] rằng, hệ (0.1) có nghiệm thóa mãn điều kiện biên sau :
x(a) =(1- 9} xb} + pc, G=1, n) néu Ú ZpạŠ 1 và với một số r>(}, ta có :
’
| F(x, +c, ,Xu#+Cu| % oe r với | x | sr a x, | sr Ai=1, _— ,h)
Tư hệ quả 1.1 La nhận được ngay kết quá này băng cách đặt :
$ +
%(Ù =e;+€IÖr[1+ ne P.|:¿=a, =b(É=L2;¡=1, n)
Các kết quả của Schmitt [16] và V.D.Ponomarev [14] về việc tổn tại
nghiệm của bài tốn tuẳn hỗn và phản tuần hoàn được suy ra trực tiến ti
hệ quả sau Trước hét ta lưu ÿ rằng nếu đặt; t=a, t; = bthichon A,=1 va néu dat: t=b t= athichan A,=-1
khi đó từ hệ quả 1.1 la suy ra được ngay hệ quả sau đây :
Hệ quả 1.2 : Bài toán (0.1),(0.6) { bài toán (0.1),(0.7) ] có nghiệm nếu lan tai cae veclo ham:
Trang 14MOT LO? BALTOAN BIEN CHO HE PHUUNG PRINH ¥LPHAN THUONG VOI BIRU KIEN IRN DANG CAUCIIY-NICOLETTI (1` A, [f@,X,-.Xiua(/Xiius .Xa) - %, 40] <0 (f =12;ï= lu ) Định lý 1.2 ; Giả sứ trong <a,b> x R” bắt đắng thức sau đây xảy ra : (,(LX:, „X„) sgn[(t-t)x,] £ g,(H xi|„ Í xu} (í=1, n) (1.12) và trong không pian C<a,b> tị (Xs -„Xa) [S Pp Uy dX yl} (T, n) (1.13)
trong đó các phiểm hàm ,: C.T<a,b> —> R, (i=1, n} liên tục và không
giám, # (Xkzs „Xa} = gu ÁbXI „Xa)X; Ð g2 X¡, „Xa}, hơn nữa hàm số :
gi; <ab> xR", —> R và g.: Zah>xR".>R (i=1, ,m)
thực hiện điều kién Carathéodory địa phương và môi ham ø¿((t,XỊ, X-}
(=1,2) là các hàm số không giảm đối với các hiến Xị, X;q,XietreXu +
Nếu bãi toán biên
ay
we = [gut: vị xoài Yụ ) ¥, + Bilt vị sects Vn )|sign(t-t); i (1.14)
vi) " *, ( vị hoi Yul) =1, ng lt)
Trang 15MOP lor BALTOAN BPN CLIO TE MIUONG TRINH ¥ITHAN THUONG VỚI THÊU KIỆN HIỆN DANG CAUCHY NICOLELTE
ai (= gấtÍ ya(t oad vat) |)
và v¡(t) > l1, Đội (t) 20 verte <a,b> (¡i=l, n} Lử (1.15 ) suy ra : vựt >0 với a Š tế b (i=l, n)
Dãt Z,( =(J y(Đ (É=L2)
Khi đó : #¡( šs Øsš %:(Ù với c <a,b>
Từ các bất đẳng thức (1.12), (1.13) chúng ta suy ra rằng với mỗi
bof )
m5: (f) =-4 vị ii Vụ ) * Ve eps Hy, Hop S V™ (My WH, ÓC¿) Š
SV (yy! peed yal P= Cait)
vit trén ip hop as ts b, %, (tS x, = %;, (Ð (i=l, ) bắt đẳng thức
sau tÍẦV XÂY Tả :
1 [FLX po X ire MUX t2 Xã}= %.(0] sipn(l-t;) =
` Ft pre X pg Ct ey mut Xj) sign|(t-t)) Z;(] =
[ø¡¡(t,!2;:(0| |2Ez„Ýt)J) Sill) + Baill (Key (OL oo Canlt PY SO
Vậy các vecld hầm %,(0, #;(Ù thóa mãn các điều kiện của dịnh ly
|,1, La đó định lý 1:2 được chúng mình
Từ các định lý 1.1 và định lý 1.2, chúng ta sẽ dưa ra các tiêu chuẩn hiệu quả cho việc tôn tại nghiệm cua bai toan (0.1),(0.2)
Treaty hét ta dua ra dinh nghia sau day, no la su tổng quát hóa các
dinh nghia cia vie lie pia Y.T Kiguradze va M.A Kakabadze
Định nghĩa 1.1 : Giả sử W,: C,"(<a.b>) > R, (i=l, m) là các phiếm
Trang 16MỘT LỚIP HÀI TUẦN BIẾN CHƠ HỆ PHƯƠNG TRINIT VI PHAN THUGNG
VỚI ĐIỂU KIÊN BIEN DANG CAUCHY-NICOLETTI
" -
g= (g) : <a,b> x R"-+ R” là thuộc lớp N(a,b; t;, ,t,; ° ¡, .„) nêu
‘=
a), Bi (EX) Xpq) ae PE Xp Xp) Xị + B2i(tX‡a Xu), trong, đó
gy, 2 <a,b> x» Rh-› R, (Ế=l2; i=l, m) thỏa mãn điều kiện
Carathéodory địa phương và (-1)' Bj (UXy,-X,) (2=1,2) 1a cac hàm số
không giám theo cac bib xy) Xp Xje pee Xe
b).16n tai hang sé duong c, > 0 sao cho vei méi vécto ham ’ (x) c AC ,,<a,b> là nghiệm của bất phương trình : x(t) sign[(t-t,)x,(t)] S g(t lx, (),- [x,(0)) veia Sts b; (1.16) Ix; (t;) |S (lx¡| ,|x„|} (i=1, ,n) thì : |x; { | S c„ vớia <t<hb_ (i=l, n) (1.17)
Định lý 1.3: Giá sứ trong <a,b> x R" bất đắng thưc (1.12) xãy ra và
trong C.(<a,b>) bất đắng thức (1.13) xây ra thêm vào đó :
,:C, <a,b>->R, - (i=l, n) là các hàm số liên tục, không giảm
và: (g) ° Nía,b; tụ, tý 4, ,2) (1.18)
khi đó bài toán (0.1),(0.2) có ít nhất một nghiệm
Chứng mình
Theo định lý 1.2, ta chí cần chí ra rằng bài toán (1.14) có nghiệm Giả sử c„ là hằng số dương được xác định trong định nghĩa 1.1
Dat: | nếu S < ne,
| Sg
x(S) = 2«— ïiÊu 1C, <SS 2nc,, NC,
0 nếu S> 2nc,,
Trang 17MOT LOP HDALTOAN BIEN CHO HE PHUGNG TRINH V1 PHAN THUONG
VỚI DIEU KIEN BIEN DANG CAUCHY- NICOLETTI và: ð2¡(L,Xị, X„) = zÍ |x|U Ø2((tXụ, Xa), Xịc R”, \⁄,(X»- ,Xu) = z ( - Ix, | C«ab>)f; Du ch = x=(x(t))< Cụ <a,b> m = ˆ * ` ` £
RO rang ton tai ham sé g,, ¢ L<a,b> va hang số dương r„ sao cho :
| 821 (t,] x) Jove [Xn [JIS Bol VOI Ee <ab>, (x) e R® — (119 je
(i=1, N)
và :|4⁄ (|xị |» [xa |)Í< rạ với (x,)” © C,(<a,b>) /(i=1, n) (1.20) ¡=l
- Xét bài toan biên ; ax đi e [- y(t |X) | 1X, |) x) + Bai (th [x [| x, |) ] sign(t-t)); (1.21) x(t) = W(]x, [>zil} (t=1, ) No Lương đương với bài toán sau : t x(t) = W(x, |] x, ]) exp|- J a(t be(s)b Xa(9)Dsign(s-t)ds |: t t + [fai(tIx,()1 |xu(£)l)[sigm(x-t)]exp[- Í gụ (S.x1(5))-Xn(8)Dsign(s-t)ds]dt t, T (i=1, ,n) (1.22)
Giống như trong chứng mỉnh định lý 1.1 việc tồn tại nghiệm cua bai
Trang 18MOT LOP BALTOAN BIEN CHiO HE PHUONG TRINH VEPHAN THUONG
VỚI ĐIÊU KIÊN HIỆN DANG CAUCHY-NICOLETT!
Tử các tính chất của cac ham Ø2, và WY (i=1, TH, „n) kéo theo bất dang
thức (1.16) đúng Do đó bất đắng thức (1.17) cũng đúng Khi đó theo định
nehia ham ‘taco:
na (t, |x¡() | |xe(Ð |) = øzứ, |xị(Ð [„ |xa(E)|) với t= <a,b>
và do đó x= (x())_ là nghiệm của bài toán (1.14)
1.2.VỀ TẬP N (a,b; tụ t„; 92, .,)
Trang 19MOT LOP BALTOAN BIEN CHO HE PHUONG TRINH VI PHAN THUONG
VỚI ĐIỀU KIÊN BIEN DANG CAUCHY: NICOLETTI
b) «, : <a,b> xR, -> R, (i=l, n) là các hàm số không giám theo
biến số thứ hai ø,(s,p )c L<a,b> với pe (0,+z) và: b fim + fo, (t, p) dt =0 (1.26) D ta? a c) Cac gia tri riéng cua ma tran S= (S,) ` với các phân tứ là : j=l Sy = Bi [(b-a)'/*o Vij +(b-a)! ij (4ij-4o) | hill 1 (i,J= 1.000012) (1.27) trong do: t (i= max{exp|- fl, (s)Sign(s-z)ds] : (t-t)(t-t)) 3 0,(r-t)(t-t,) 3 0, a <t, tế b} 1 nhỏ hơn 1, khi đó : (gì) < Nạyby tụả lụy Pay oe Pa) pe Chung minh :
Trang 20MOT LOD BAL POAN BIDN CHO TIE PIIUONG TRINIEVI PHAN THUUING VỚI Dift: KIDN DER DANG CAUCHY - NICOLETTI Lt thú : t " |x, | L Oza b> = [ 2 tị; | xj | I ha p>*1,£ lo, (GX Ix.(t)]) | i éa,bs 4 (bea)! w b, + ¿=1 s-l t „t
rh š | Phyl] [Seca b3 (i=L, m)
Tu bat dang thiic Hollder vả (1.23) ta có :
l
{flr fryer) dt | [Oca be = | (fry!) dry Py if x(t ) th ult |)!z»”J to<n,b> <
| b I1 t t
= | hi; |} evant | Js yy" dt | lu | Ifqo —
=||h, Me? Nea bem Irae vidal
> {b- a} Su (qi, J all Hạ a.b> || x(t)" 1 LA 1 , Sie a Wiles b> le , = (h-a] Q if (q„:q›} | hi fl, | ‘tt, b> | x Aa L Oey, b> ( 29) Dade :
Ix/[i95226-< ba) %5 Ít toe _l9)lh eatol +
Trang 21MOT LO? RALTOAN TIEN CHO HE PHUUING TRINILYEPIAN THUUING
VỚI DIU KIEN BIDN DANG CALICHY - NICOLETT
n , =
và =0) = (tra) “ð[r+{e,(, Š p)l:-aie ),, ' /=l
Vì các giá trị riêng của màa trận S nhỏ hơm 1 nên từ (1.31) ta suy ra :
E£“(E-SY'#,
Vì vậy :
(1.32) trung đó nạ là giá trị dương, chí phụ thuộc vào ma trận 5 Từ đó và Lừ (1.28) suy ra ranp bat đắng, thức (1.17) là đúng, với chú ý rằng : 1 „” ev : p, > N.= 6, | È nc.+rre+lo(> ñ,}) |i‹„»-+ >> | hii | !s-;„ > aI / = ] DatN = š N; và p„,>N sao cho ; bọ Ơn | mC, plat = Jott, p) fl peab> < với p>zpa (iZ1 n) il N Tu cac bat dang thuic do ta suy ra rằng : “ » PS Py = Điều đó khang định bất đẳng thúc (1.17) đúng
Các trưởng hợp đặt biệt của bổ đẻ trên chang hạn như hổ để 1.2
trong, [4] , bo dé trong mục 4.3 của tác giả IT Kiguradze trong [3]
Chư ý : La biết rằng ma trận $= 6.) với S„ 20, Khi do ;
1/Lat ca cac gia tri riêng của ma trận S nhỏ hơn 1 khi và chỉ khi tất cả
các định thức can chính của S đều đương
.Ã “A” Ä«' ~ ee
2.Diéu kién & % <1 (F“1;->¡0)
Trang 22MOL LGP BALTOAN BIÊN CHƠ HỆ PHƯƠNG TRINIE V1 PHAN THUONG
vit DIEU KIEN BIEN DANG CAUCHY - NICOLEFTI
đám báo rằng tất cá các giá trị riêng của ma trận S nằm trong đường tròn
don Vi
Bổ để 1.3: Giả sử
WA (XppecuXp) = Walls) + GEL) (1.33)
trong dé Wj: Crea pe F Re (Ltt) là hàm liên tục, thuần nhất
+s ¬ , Ị
sao cho : - [Iv (spsignis ~ fs
ao = Pl © Í ) <1 (=1 m), (1.34)
hàm sé g(UXp Xn) duoc dinh nghia trong, (1.25), rụh„ hụ và 6);
(j=1L, m) thỏa mãn các giá thiết a) và b) của bố đề 1.2 và các giá trì
riêng của ma trân S= (Su) "` ¡j1 với các phân tử : - 4; ' : ‘ 7 “6 ¥(1)(b-a)'/ Phgle! ven pot (b-a)'/ 4 E(qipAe) bri aie (i,j= L, t) (1.35) nhỏ hơn 1, hơn nữa j; (Z]1, t) có ý nghĩa như trong c) cua bố đề 1.2 Khidó: — (p)' ề Núa¿h; tụ Wụ, <2 Pụ)› Chiing minh : 1
Giá sử(x) © AC,(<a,b>) thóa mãn bất đắng, ¡=l thức :
x¡ (0 sipm{|(t)x/(Ð)] <-h/0Ix(0I+> hạ(904(9* oft pol j~ | x(t)
(i=1, m) (1.36)
và Ix/t)I£ u(x()l) trị GLa) (137)
Từ (1.36) với 6 {1, - m{, ta có :
Trang 23MOT LOP HALTOAN MEN CHO HE PLIUGNG TRÌNH VỊ PHẨN THƯỜNG?
vot Diftu KILN BIEN DANG CAUCHY - NICOLETTI
f
",(9VBAs “yy xé (sinks - rk
x(t) |S @ | x(t) |+ Ÿ ÍI lhuc)x(9)e F de| + /=1 ¡ -{h(s)Signs- thê + foe ` | x/(t)|) ef dr| s t, jel f ~| h (x\Siguiy — r, wis t, a”
< x(t) BL ot, © 9 1)[lu<.»> + jel
Trang 24MOL LOPAADOOAN BIPN CHO HE PHUGEING TRINH ¥E PHAN THUONG
VCH DIP) KIRN BIPN DANG CAUCIIY ~ NIGOLEDL
"on r +1
Jo tà (OD eae» (I=L ) “
và tử bổ đẻ 1.2 ta suy ra điều phải chứng mình
13 CÁC TIÊU CHUẨN HIỆU QUẢ CHO VIỆC TỒN TẠI VÀ DUY NHẤT NGHIEM CỦA BÀI TOÁN (0.1), (0.2):
Từ các bổ đẻ (1.2), (1.3) và định lý 1.3 chúng ta dé dàng suy ra các định Eý sau đây :
Định lý 1.4: Giả sử trong <a,b> xR” bất đẳng thức sau được thực hiện - f;(1,x¿, ,x„)sipn[(-t]x;| Š - h1 |x¡|† 2 hy (t) px +o, » x; )
| io]
i +,
(I=1 m) (1.38) va Lrong Cu¢sa,b>) ta co:
ft; (X¡›- ,Xa} Í £ gã Tự lx, rlocgns tr (I=L), (1.39) -|
trong do ry, 1;, h, hy va ow, (ij=1 0) thu hiện các điều kién a), b) vac) của bể để 1.2 Khi đó bài toán biên (0.1), (0.2) có íL nhất một nghiệm
Định lý 1.5 : Giá sử trong <a,b> x R” bất đẳng thức (1.38) được thực
hiện và trong C (<a,b>®) ta có :
IP¿ (Xus- Xa)|# ` (lx]) Đr, 2(0Z1, a1) (1.40)
trang dar, hy hy Wy, va œ; (i/jEL, ,n) thực hiện các giả thiết của bố đề
I.3 Khi đá bải toán (0, L], (0.2) có ít nhất một nghiệm
Dinh ly 1,6 : Gia sik trang <a,b> x R” bat ding lhúc sau được thực
hiện: [f(teus- ,)~f(teays xạ) | sign[f-)( xịc a0] *
hu(} xị; Xadlt 3 h„(Œ)( xụ- Xz | GL ) (1.41)
Trang 25MOT LOP BALTOAN BIEN CHO HE PHUGNG TRINH VIPHAN THUONG
VỚI DIRU KIEN BIEN DANG CAUCHY - NICOLETTI
và trong C.(<a,b>) ta có ;
(Pj (Xap Xn) | - Ip, (Xatz Xan) |S“ > tụ | XỊj X2i | LÌo%«a,b>
pol
(i=1, ,n) (1.42) trong dé ry, hy vahy (ij=L n) thực hiện các giả thiết của định lý 1.4 Khi đó bài toán (0.1), (0.2) có không quá một nghiệm Chứng mình ; Giá sử x¿=(x¿)” < AC,<ab> — (=1?) là hai nghiệm của bài ¡ =1 toán (0.1), (0.2) Đặt : x¡(t) = xị;() - x;;/() (i=1 ,n) Từ: (1.41), (1.42) ta suy ra : x (f)siøn[(t-t)x¡(9] S = h(t) |xi(t) [+ Š hị(Ð |x/(9) | {> " voiaStsb (i=l, ,n) vafx(t) |< Dry |x [tfS«a¿e> (IE1, m) j=l khi đó (x)” thỏa mãn các giá thiết của bổ đề 1.2 và do đó từ (1.32) ta suy ¡=l
ra: x(t)=O ,(i=l, n) Vậy dịnh lý đã được chứng minh Bằng cách tương tự chúng ta suy ra được định lý sau :
Dịnh lý 1.7 : Giá sử trong <a,b> x R” các bắt đắng thức (1.41) được
thực hiện và trong C,<a,b> taco:
lf ¿ (Xttze.Xin) - 0 / (Xap-.c2Xzn) | Š #gy (Xu Xi) (FFL ) (1.43)
trong doh, hy, va Vy, (ij=1, n) thỏa mãn các giả thiết của định lý 1.5 Khi đó bài toán (0.1), (0.2) có ít nhất một nghiệm
Từ các định lý trân chúng ta suy ra các hệ quả sau :
Trang 26MOT LOP BAL TOAN BIEN CHO HE PHUGONG TRINH VI PHAN THUONG
VỚI ĐIỀU KIÊN BIPN DANG CAUCHY - NICOLETTI
Hé qua 1.3 ; (Bai toan Cauchy - Nicoletti)
Gia su trong <a,b> x R" taco: (,(t,X, ,X„)sign|(t-t,)x,} š 3 hạ(Đ Íx|+ œ; (t) (i=l, m) (1.44) & [fi(t,x¡u„ Xịn) - fj(t,Xzt»s.-Xạn)Jsign[(t-t)(xyrxạ)] < E y(t) bey - xa (i=1, ,m) (1.45) trong đó (0, c L <a,b> Dé bai todn (0.1),(0.5) có ít nhất một nghiệm với " mọi c, tuy ý thuộc R là các giá trị riêng của ma trận S =(S,) — nhỏ hơn 1 t,j=l a) Sy = (b-ay'/ MA (qi.q,) Why ll Picante (Lj=1, n) ,nếu : ¥ | I hi = I Yea b> Pb—m1,1S di Ê đo Đụ — dụ bes I # bì S; =( ae) Mh reaps (UJEI, ,m"), nêu : tT hụ cụ i = 1 <a,b> + s ++ +=], q ! I< >Ƒ
c) S„ = ||h[i‹¿ux (ijE1, m) nếu hạ e L<a,b>
Các kết quả tương tự về sự tôn tại và duy nhất nghiệm của bài toán Cauchy - Nicoletti đầu tiên được đưa ra bới M.SVec, sau đó bởi A.LaSota,
bói AL.Perov và A.V Kibenko,
Từ hệ quả trên ta suy ra hệ quả sau đây :
Hệ quả 1.4: Giả sứ trong <a,b> x R" bắt đẳng thức (1.44) xãy ra và :
Trang 27ROT LCP DALIOAN DEN CHO HE PHUING TRINH VL PHAN THUONG
VON DIG KIEN IRN DANG CAUCHY - NICOLETT
Hệ quả 1.5 : { Bài tốn tuần hồn)
Giả sử trong, <a,h> x R" các bất đẳng thức sau đây xảy ra :
(,(1,Xy„ ,X„)sipn{(øx;) š - ht) x; +X hyd) Xft; (1) GAL.) p=}
|fi(t,x¡¡ Xịn) ~ fi(tX;+z Xau) |Jsign[ø, (x;rxzj] £ - hút) lxị;- xạit
+ Š hạ(Ð By: X; (i=1 m),
trong dda, © {-1,1|,h,: <a,h> -y R¿, hy và œ, (LJZ1, m} thỏa mãn các điều kiện a) và bì của bổ đề 1.2 và điều kiện : b exp(- |h{s)ds) <1 =1 „n) a n và các giá trị riêng của ma trận 8= (Sị),- 1 nhỏ hem 1 với các phẫn tứ như 1} : Satu: h =| ir ix efx a) ahi ng (ba) hết [r- ẹ ` i | hự|[LFs-¿ +
+ (b-al' A (gig) fbi Picts — Gj7L n)
Trang 28MCU LOP BAL TOAN DIEN CHO HE PIEZING TRINTIVIVMHAN FHUUNG vor DRG KIEN RIN DANG CAUCHY - NIGOLEIT! Hệ quả 1.6 : Giả sử trong <a,b> x R” các bất đẳng thức (1.38) [(1.41)|
xây ra, hơn nữa hạ hị và 6ø; (ij=I, m) thực hiện các diều kiện của hố đề 2 *„¡ịC R,aStSt°sšb (=l, rủỦ, = dlexp[L loa c (0,1> (i=l, n), tị ñ, (i=l, m} có ý nghĩa như trong c) cua bố đề 1.2 và các giá trị , ˆ „1 4 * 3 = ` riéng cua ma tran S=[S,} ì với các nhân tử như sau nằm trong đường, i — tron don vị s =p, | Het l;l^, | (bea a)" ¿iịn |, Cea bot Ti
ad i5e oni? | | f°: i=] } (b-a} AQj.Afa) Li LY <a> (1 pevsren 1)
nêu bi = Pilea toe Ly ae 1,1“ qi S q.- a | Pi a A : lì S = Í; +1 Japa (ij=L m), nếu hụ c L<a,b> i a c) Sị ñ.| Bilal, = | (b-a} hj, ¥, (t,]=] n}, nếu h, (t)=h,, : n khi đó hệ (D1) có it nhất một nghiệm x =(xj) — thỏa mãn điều kiện biên sau: x(t) > A; x(t*} + pj (iL )
Hệ quả 1.7 : Giả sứ trong, <a,h> x R" các bất đẳng, thức (1.38) [(L.41)]
Trang 29MOT LOP BAI TOAN DIEN CHO HE PUVONG TRÌNH VÌ PHÁN THƯỜNG
VỚI HIỂU KIỆN BIEN DANG CAUCTIY - NICOLETTI ; (iL có ý nghĩa như trong c} của bổ dé 1.2 và các giá trị " 5 68 , riêng của mái tin S=(5,) được xác định như hệ quả 1.6, Lj= Khi dé he (0.1) co it nhat mét nghiệm thỏa mãn điều kiện biên : x(t) =4, maxfo,x{Qiaces b+ (i=1, ,nÌ., 14 VE BAL TOAN (0.1),(0.3) VA (0.1),(0.4) :
‘Trong nic nay bing cách sứ đụng định lý 1.1 chứng ta đưa ra điều kiện cản và đú cho việc tổn tại nghiệm của bài toán (0.1),(0.3) và (0.1), (U4) Đầu tiên chúng la giả sử rằng : -m Sa¢t<bsto {87 Fp.) p 2 C(<a,b?] > R (=l, n) là các nhiếm hàm liên tục và f,cK{(a,b) (I=], ,n
Đồng thời ta cứng tìm nghiệm của bài tốn trên khơng gian AC ,<a,b>
Dịnh lý 1.8; Cia sứ tốn tại các véctơ hàm ;
n
Œ/=(%„] c AC fab) (f= 1,2) va A, c {-1,]} G=m4t1, ,n)
Trang 30MOT LOP BALTOAN THIEN CHO TE PHIUGNG TRINIEVI PHAN THUONG
VỚI ĐIỀU KIÊN BIEN DANG CAUCHY- NICOLETTI
(€=1,2; i=1, m)
(-1)ˆ A[f#(xu, Xị2Efi(Đ, Xza» X,) - œ (0] <0 (1.49)
(€=1,2; i=mì+1, ,n)
Khi đó hệ phương trình vị phân (0.1) có ít nhất một nghiệm x=(x)` khóa
mãn điều kiên biên : x/(tj) = @,(X, x„} (I1, m}) (1.50) và bất đẳng thức : H(t) = x(t) S$ y(t) voite (ab) — (i=m+l, mn) (1.51) Chứng minh: Ta chọn dãy {a,} "” và {b,} *® sao cho : kel k=1 a<a,.<t<b,<b = (i=1, ,.m; k= 1,2 ), Lima, =a va Limb, =b k->tun k-»+ro
Với mỗi số tự nhiên k chúng ta định nghĩa toán tử :
tụ, :C<ay, b,> -> C(a,b} (i=l, n) để sao cho
Arlt) = XM £ a(t) voite (a,b) và
W(t) Sx (ths Cy,(t) voit e <ay, by> => (Hy x)(t) = x(t) voit © <a,, b> a neu A=
Dat: ty (i=m+l, ,n)
bh, nếu A,=-l
Chúng ta xét nghiệm của bài toán (0-1) thỏa man điều kiện biên :
Trang 31MOL LOP BALLOAN BIEN CHO HE PHUGNG TRINTE¥IPILAN THUUING
VỚI pitt! KIfN BIDN DANG CAUCHY - NICOLETTI vi day { Via) = (ï=1, m} „ rong đó v„(t) = (nax„)Œ, là đồng bị chặn và k=l đồng liên tịc trên mỗi tập con campnắc của khóang (a,b), từ đó có thể chọn ton ra mgt day con { yikj (i=1, m) hội tụ đều trên mỗi tập con cormpắc ;Ì của khoảng (a,h) |3ắt x¡(f) = lim V¡kj(t) - (I=lL n), jo >to: khi đó x= oO là nghiệm của bai todn (0.1) théa man didu kién i= (1.50),(1.51)
Bằng cách tương tự ta nhận được định lý sau đây : Định lý 1.9 : Giả sử tốn tại các véctơ hàm :
S% „=(®% r¡} có AC (ah) (f =1,2) théa man điều kiện (1.46) và các si) Ave |-L,lJ (i=1, m"} sao chủ trên tập lượp a < t < b, Ky (HE x S %;(Ð (¡ =1, ,m} bắt đẳng thức sau đây xãy ra :
(-U A[f(txu-<Xcu%sŒ); Xeus-Xa) - % (0) 4U (1.53)
(É =1,2; i=1, n)
klu đó hệ (I1) có nghiệt x ={ x¡)_ thỏa mãn bất đẳng thức (1.51)
Từ định lý 1.8 và 1.9 ta đề đằng suy ra các định lý sau đây :
Trang 32MỖI TU! HAI ÁN BIEN CHO HE PHUGNG TRINTEVEPITAN THUQNG
VOL DINU KIEN BIEN DANG CAUCTTY - NICOLLET
Sun{|%s4Ð \:a<t“<b } <+ø (Ế =]1,2;i=ni11, n) và trên tập hợp acta hb, (he x € #;/(() Gab ) cle bat dang, thức {1.48),(1.49) được thute hiện, Lịnh lý 1.11 : Bài toán (0.13,(0.4) có ït nhất một nghiệm khi va chỉ khi lồn tai các vécld hảmn : Œ ,=(2 nh = AC (a,b) (ƒ =l,2) thỏa mãn diều kién (1.46) và i=|
yasd Ave (-1/1) G= 1 ) sao cho :
sup |#gzú)' :a<t<b Ì eto (fF =1,2; i= 1, n) va trên tập hợp
wets b, Hy (HS x; < C(t} (ped ) bat ding thức (1.53), xãy ra
Trang 33MOT LOD BALTIOAN THEN CHO TIE PEILZING TRINH VIVHAN THƯỜNG VỚM EHIỀU KIỆN AILN DANG HAM
CHUONG I
MOT LOP BAI TOAN BIEN CHO HE PHUGNG TRINH VI PHÃN THƯỜNG VỚI DIỀU KIEN BIEN DANG HAM 2.1.DIÊU KIỆN CÂN VẢ ĐỦ CHO VIỆC TỒN TẠI NGHIỆM
CỦA BÀI TOÁN (0.1),(0.8)
[rong phẩn mày clning ta xét điều kiện cần và đủ cho việc tổn tại nư liiệm của bài taám {0.11,(0,8), Dịnh ly sau đây là sự khái quát hỏa của
định lý 1.]
Định lý 2.1 : Điều kiên cân và di để hài loàn (0.1),(01.8) có nghiệm là
ton tai cac verte ham: |
#:,()=(%,.(1] 7g AC\{<a,b>) — (f =1,2) sao cho cae bat dang thiic
LÍ
sau diy xay ra:
LL) <5 (Y , Ve <a, b> (2.1)
đu) £ 0 (XiXzăxe) S Bey (Ha) với ÝX Úc se C,,(<a,b>) A
và W(t) ext) = Cot) Fte <a,b> (2.2)
và vớt mỗi ¡ e {L2, nị, (É =1,2]
(-1)' [f(,xụ X:u nite Xa perce x)= %,(8)] > 0 (2.3)
vol ¥tc <a, b>, Vx 6 RK, OC) ()S x, ŠS%¿() (ZL mJ#ẻ)
CL) [Filta ope je (OD, Kiet - œ (Ð] s4 (24)
vou ¥lLe <a, b>, yx = KR, (OS x 850) (m1 my 4 i)
Trang 34MỘYT LỚI! BÀI TOÁN BIEN ClO HE PHUONG TRINH VI PHAN THUONG VỚI pitu KIEN BIEN DANG HAM
khi dó nghiệm x(t c AC,(<a,b>) của bài toán (0.1), (0.8) thỏa mãn bắt đẳng thức sau :
(ts x(t) S$ %;(, Vie <a, b> (2.5) Chứng minh ;:
# Điều kiện cẩn :
Điều kiện cần là hiến nhiên vì nếu :
x(t)= (x,(t))" 5 AC,<a,b> là nghiệm của bài toán (0.1),(0.8) thì đặt i= %;()= %;()= x(Ð: Dễ dàng nhân thấy %;(Ð, %;(Ð thỏa mãn tắt cá các bất đẳng thức (2.1),(2.2),2.3),(2.4) # Điều kiện đủ : %;j() — với 5< ¡(9 Dặt Xi(t*)= 5 với H(t) sS$s X(t) (2.6) C(t) voi S>,(t)
(bx, ns Xp )AA (EH (EX res Xa(tXa)), Vte ( a, b) (2.7)
và : (0,(Xụ, Xa)“ GI( Xy X; Xa) (2.8)
Trang 35MOT LOP BAL POAN BIEN CUD HE PLIUCING TRINH VILHAN THUCING
VỚI DIÊU KIEN BIEN DANG HAM
[> <a,b>xR">3R (i=1, ,n) thoa mãn điều kiện Carathéodory, và
các hàm! sÉ : cọ, Cu (<ab>] >R (EL, n) là liên tục, hơn nda:
ï„(00 = sup{fE (Lxi, x¿} |: (XJ)” 6 R*h} e L(<a,b>),(01, n} (2.11)
i=l
Vil!
f= Sup { fop{x yee Xe : (x(} E Cu(<a,b>)] <+m (i=l, m) (2/12)
i=1
Dé ap dung djnh ly Conti [1] chúng ta cần chỉ ra bài toán thudn
nhat etka bài tuần (2.9},(2.10)
dv (8) 8 (=1,‹ rỦ (2.13)
_ aft
® Nự = 0) (2.14)
tuần chỉ có nghiệm tắm thường
Thật vậy, gia sử : v(1) — (v9) c AC, (<a,b>] là nghiệm của bài i=
toán (2.13){2.14) Thee (2.13) La có : y;(=c,c R, với c¡= const (i#], ,n) Thay vao (2.14), taca:
Pov) = BoilC= GPa) = cị =0, (i=1 n)
Vay y(t) = 0, (i=1, 0m) Khi do theo bố dé 2.1 trong [1] ta suy ra
rang bai toan (2.9),(2.10) co nghiệm
Giá sứ x() = (x/()) ` AC,(<a,h>) là nghiệm của bài toán (2.9),(2.10)
Trang 36MOT LOP BALTOAN BIEN CHO HE PLIUVONG TRINH VIPHAN THUONG
VỚI ĐIÊU KIEN BIEN DANG HAM
V,(t) s 0, voi Vt € <a,,b,> (2.16)
Ta sẽ chứng mình (2.16) bằng phán chứng : Giá sứ (2.16) là không
xây ra Khi đó xây ra một trong các trường hợp sau đây :
1).Nếu V¡( >0 với Yt e <a,b,> Khi đó theo (2.2),(2.8),(2.10),ta có B.(Vi(t)) = Pail)! (x(t) -2 4(t))] = (1) [ Bix(t)) -B(% (0) = (1) LOX Xn)- Bola] $0 (2.17) Mặt khác do #,, la phiém ham tuyến tính không giám va$#„(1)=1 nên ta có : ° (v0) > min Vi) |a, < t< b, | > (1) = min { V/(t) |a; < t< b, } >0 (2.18)
Vậy (2.18) mâu thuẩấn với (2.17) do đó (2.16) được chứng mỉnh
Trang 37MC OP BAL TOAN BIEN CHO HE PIER TRINITVEPTIAN THUGNG
VỚI DIÊ1! KIEN BÌEN ĐANG HẦM
với us Ls te điều nãy mâu thuấn với (2.20) Vậy (2.16) được chứng minh Ta sé chi ra (2.15) cling đúng Thật vậy, đẫầu tiên ta sẽ chứng minh : ViÚ * (l, với a st b; (2.21) Giả sử (2.21) không đúng Khi đó theo (2.16) sẽ tỐn tại một đoạn | 3 <1, “> c “a,a,> sao cho: v(Q PO vii ts ts Teva iC )=0 (2.22) Dat: xát AL) (F1 n] -Theo (2.3).(2.7) và (2.9) ta có : v.(9 =(-1}Ý [hít xi(0,- xị: (9, #z, xị.j(Đ» xé - % AC J20
VỚI T 3 t< t Liều này mâu Huyẩn vửi (2.22) Vay (2.21) duge chung minh
Bằng, cách tương tự ta sẽ chứng mình dược rằng :
Vị) s0, với n tt do đó (2.15) được chưng minh, Từ định lý 2.1 1a đế đăng thủ được định lý 1.1 trong chương Í
Hệ quả 2.1 : Diều kiện cần và đú để bài toán (0.1),(0.8) có nghiệm là lòn tại các vécto ham :
% (t= (%Z,.(0} "e AC {<a.b>}, (P=1,2) sao cho cac bat ding
¡=l
thức (2,11, (231.424) và bắt đẳng Huức san đây xây ra
b, h;
fea (O51) S49, ba» xe} £ | a (9đ6/9 eh q,
vei mn x) = (x9) e Ca(a,b>), j4) x(t) < 90, (1), YELe <a,b> | i |
{L=l, ,r\)
Trang 38MOT LOP BALTOAN BIEN CHO HE PHUUNG TRINIEVI PHAN THUONG
VỚI ĐIỀU KIÊN HIÊN DANG HAM
khi đó nghiém x(t) © AC,(<a,b>), cua bài toán (0.1),(0.8) thóa mãn bất đẳng thức (2.5) 2.2.DỊNH LÝ VỀ VIỆC TỒN TẠI VÀ DUY NHẤT NGHIỆM CỦA BÀI TOÁN (0.1),(0.8) : Định nghĩa 2.1 : Cho G=(gj)” : C(<a,b>) —> R", H=()”: <a,b>->R”", (j=1 và y= (w,)”: Cu(<a,b>) >R", , iz
là các toán tử liên tục, thuần nhất, không giảm
Chúng ta nói rằng : (G,H, 1) e Nico(<a,b>; ay, , a„,bụ,.,bạ) — (2⁄23)
nếu hệ các bất phương trình vi phân :
| x (t) ~ ø,()x;@) | £ 3 h¿(Ð |x(Đ)| với a < t< b, (i=l, m) (2.24)
VỚI CÁC điều kiên biện : K
mìn {|xj(Đ|: ai £ ES BAS ‹(lx(Đ), |xa(Đ)|), (i=1, m) (2.25) chí có nghiệm tâm thường Định lý 2.2 : Giả sử cho các bất đẳng thức : [f,(t,x¿, x„) - ø;(Ð x;j|sign x; $ š h(t) | Xj | + (9, (Ề | Xi |) (2.26) /~l jel nếu te <a,,b>,x € R", (i=1, ) [f,(t,xụ x„) - (9 xị ]sign x,>- š hạ(0|xÍ-ø¿,š ÍxÌ) — @22 jel /=l
nếu te <a,b>,xe R”,(i=1, n)
|0,Xg»¿ Xe} [ Š W4(|Xgl - Maal) # HCE |X) (2.28)
;=l
Trang 39MOT LOP BAT TOAN BIEN CHO HE PIUCNG TRINIL VI PITAN THUCING VỚI Dikt: KIEN BIFN DANG HAM
trong de 2G = GÌ, ,H= (hi) We (wi) ; thỏa mãn điều kiện (2.23)
Cac ham w,;:<a,b> xR, »R, là đo được đối với biến thứ nhất và không,
giảm đối với biến thứ hai, r, : R„ —> R là không giảm và
lim 5 Fs (tp) dt=0= tin 1 rip}, (i=1, 0) (2.29)
p> te +tx P
Lúc đỏ bài Loán (0.1),(0.8) có í{ nhất một nghiệm
Để chứng mình định lý 3-2 ta cần hai bổ đề sau đây :
Bổ để 2.1: Cho g*{(, yà và) = K(<a,b>), g(V, vị, Va)Sign(t - E)
là không giảm theo các biến vụ, vạ, Vị, Vịag, Vạ và mỗi nghiệm cúa
bài toán — ÿ =E(E,y, v,}, (i=L m) (2.30) i i vi)=(œ, (=l1, n) (2.31) ( trong, đó t, 6 Za,b®, c¡ 6 R, (i=1, m) ) có thể được mớ rộng trên toàn bộ k ; lì 3 ' zt doạn <a,b> Lúc đó với mỗi nghiệm x = (x()) £ AC,(<a,b>), của bài md tuần (2.32),(2.33) xí) sinn(t- L} % ø;*((, Xu xạ )8ign(t - ) (2.32) (2) với a St b, (i=1, ) x(t) SC, ,(ir1, ,m) (2.33) (=) ‘ n
tón tại một nghiệm (y;) s xác định trên đoạn <a,b> của bài Loán
(2.30), (2.31) thoa man bat đẳng thức :
x{hEy( ,vdiaSts b, (i=1, ,n) (2.34)
Bổ đề 2.1 được chứng minh tương tự như bố đề trong [3 |
Trang 40MOT LOP DAITOAN QIEN CHO FE PHURING TRINH ¥LPHAN THUONG
vou miu KICN BIRN DANG HAM
Bổ đề 2,2 : Giả sử điều kiện (2.23) được thực hiện Khi đó tôn tại một
hằng số n >0 sao cho bắt đẳng thức sau đây được thực hiện
| x| Cn(sa,h*] = [rat [dd (2.35)
a
voi mdi hang s6 rp2 O,mp,e L{<a,b>,R,} va voi méi nghiệm xe AC ,(<a,b>)
của hắt phuong trinh vi phan ; | xí) - ø(x¡@) ]styn x(t) $ ` h(t) |x;/(t)| # ma(Ð (2.36) j=l néua,St*b, (i=1, ) [x (9 - ø(0x4t Tsign x4) 2 E y(t) py (Ol - @n(t) (2.37) nếu a €tS b„ (i=l, „n)
vi điều kiện biên :
min {[x,(B] 2a, % t¢ B}S yy (Px (OL by (he te GEL ) (2.38)
Cluíng mình bổ đẻ :
Ta chứng mình bố đề bang phan chứng Gia sử (2.35) không xấy ra