Ma'ruza 10 Evolyusion tenglama uchun Koshi masalasi Reja
(5) tengsizlikni qanoantlantiradi. Isbot
Download 78.11 Kb.
|
- Bu sahifa navigatsiya:
- ys(t) = In funksiyaning ikkinchi tartibli hosilasi uchun Koshi - Bunyakovskiy tengsizligidan foydalansak ¥"{t) = -4-W\t) ■ (Pit) - (p\t)\ = -4
- Xo 0 у J Xj J
- rj, g, P, b, (p
(5)
tengsizlikni qanoantlantiradi. Isbot. (p(t) = \x(t)f =(x,x) funksiyani qaraymiz. Bu funksiyani differensiallab quyidagilarni hosil qilamiz: 2(x',x) = 2(Ax,x) = [(A + A*)x,x], (p\t) = 2(x',xf) + 2(x,x") = 2(Ax,Ax) + 2(x,A2x). Dastlab biz A operatorning o'zaro qo'shma bo'lgan holiga to'xtalamiz. Bu qaralayotgan holda (X,A2x) = (AX,AX) bo'lib, bundan quyidagini hosil qilamiz (p"(t) = 4(Ax,Ax) Bularga asosan ys(t) = In funksiyaning ikkinchi tartibli hosilasi uchun Koshi - Bunyakovskiy tengsizligidan foydalansak ¥"{t) = -4-W\t) ■ (Pit) - (p\t)\ = -4--[(Ax, Ax) ■ (x,x) - (Ax,x)2] > 0 6) (Pit) (Pit) kelib chiqadi. Endi (6) dan Wif) < ^V(O) + jy/iT) (7) tengsizlikni oson hosil qilamiz. (7) tengsizlikdan potensirlash asosida (5) tengsizlikni hosil qilamiz. Demak, A o'zaro qo'shma normal operator bo'lsa (5) tengsizlik o'rinli bo Tar ekan. A operator faqat normal bo'lsin. Bu hoi uchun (Ax, Ax) = (A * x, A * x) bo'ladi. Shuning uchun, va hosilalar uchun cp\t) = (Ax, Ax) + (A * jc, A * jc) + 2(Ax, A * x) = [(A + A*)x,(A + A*)x], cp\t) = {[(A + A*)x,(A + A*)x](x,x) - [(A + A*)x,xf}> 0 (P (■*) kelib chiqadi. Bulardan yana (5) tengsizlik osongina kelib chiqadi. Endi bir jinsli bo Tmagan
(20) Bg()+2Fl=0 |^|2<4(r2+2^2), //о >-\УВ\-\^\Щ> -2|VB\4у2 + 2Ъ^ > 7=1 «-1 (25) ^F/Д * "I • |Г|-4|VT|(r2 + 2^2), 7=1 >-I V"F|• | 7=1 (18) dan (20) ga asosan (24) va (25) ni hisobga olganda H(y;£,) uchun quyidagi tengsizlikka ega bo'lamiz еу"Н(у\£) > (2Fbyn + BByn + Bbyo - 2ЬВуо - 8| V'B \ bV2 - -32\V'F\b-8 FB -2bF bV2 -8|2FF +BF b)£2 + II Уп Уо | Уп Уо +(4F2 + 2FFyn + BFyo - 4| V'B\b~V2 - -16|V"F|-4 FB - 2bF b~V2-A\2FF +BF )r2 II Уп Уо | Уп Уо и Endi (16) ni hisobga olganda koeffitsientini 2~lby dan katta ekanligini, y2 ning koeffitsientini 1/8 dan katta ekanligini ko'rish qiyin emas, agar T (2) shartdan, M esa teorema 1 shartidan aniqlangan bo'lsa. Bulardan tashqari oxirgi tengsizlikda o'zgaruvchilarni almashtirish formulasidan kelib chiqan b = с + 2 dT~2xjo , b =c , 1 < i y0 Xo 0 у J Xj ' J formulalar hisobga olingan. Shunday qilib, (2) shart bajarilganda H(y\g) kvadratik forma uchun tengsizlikni hosil qilamiz. Agar H(y;g) = 0 bo'lsa, u holda £0=Ova,y = 0 bo'ladi. Bulardan (23) tengsizlikka asosan | Lemma 1 dagi H(y,g)> 0 shartda t//(x) funksiyani biz (1) shartda aniqladik. Bunday t//(x) funksiyaga to'lqin operatoriga nisbatan psevdo - qavariq deb aytiladi. Teorema 1 isbotini yakunlaymiz. Lemma 1 ga asosan (13) xarakteristik simvol P uchun teorema 3 dagi shartlar bajarilganligi kelib chiqadi. Shuning uchun, G = G(j uchun (10) karleman tengsizligi о'rinli. (10) formulada (11) formula orqali o'zgaruvchilarni almashtiramiz. Bu almashtirishning yakobiani 1 ga tengligini hisobga olsak va xarakteristik simvolning bosh qismi birinchi tartibli hosilalarga bog'liq bo'lmaganligi uchun teorema 1 isbotini yakunlagan bo'lamiz. Teorema 1 isbot bo'ldi. Ma'ruzani o'zlashtirish uchun savollar. Qanday funksiyaga operatorga nisbatan psevdo- qavariq deymiz? Energiya integrali qanday tuziladi? Karleman baholashlari qanday ko'rinishga ega? To'lqin operatorining xarakteristik ko'phadi qanday tuziladi? Xyormander teoremasini to'lqin operatori uchun keltiring? Ma'ruza 12 To'lqin koeffitsienti ixtiyoriy bo'lgan hoi uchun karleman baholashlari Reja To'lqin koeffitsienti ixtiyoriy boTganda Karleman baholashlari. To'lqin operatorining xarakteristik ko'phadi. To Tqin operatoriga nisbatan psevdo - qavariqlik. Tayanch iboralar. To'lqin operatori. Psevdo-qavariqlik. Nogiperbolik Koshi masalasi. Xarakteristik ko'phad. Biz ma'ruza 11 da to'lqin koeffitsienti xn ga nisbatan monoton bo'lgan hoi uchun т j\Vu\2e2wdx + r3 j\ufe2wdx karleman baholashlarini tuzdik. Bu monotonlik sharti o'zgarmas koeffitsientli to'lqin operatorlarini o'rganmaydi. Shuning uchun, biz bu ma'ruzada o'zgarmas koeffitsientli to'lqin operatorlarini o'rganadigan holni qaraymiz va ular uchun psevdo - qavariq funksiyalar tuzamiz va ular asosida karleman baholashlarini tuzamiz. Vazn funksiya i//(x) ni i//(x) = ехр[хй + d{ 1 - x20T~2) + 2-\S(\x'\2 - Я2)] -1 (1) ko'rinishda kiritamiz. Bunda x" ma'ruza 11 dakiritilgan Teorema. To'lqin koeffitsienti с Q da c+ tengsizliklarni qanoatlantirsin. U holda faqat | с |' (Q) ga bog'liq bo'lgan shunday M son mavjudki, agar sxT > dM(l + d), 8 bo'lsa, u holda (3) tengsizlik o'rinli bo'ladi. Teoremaning isboti. Xuddi ma'ruza 11 dagidek o'zgaruvchilarni quyidagicha almashtiramiz: =х0,...,уи_1 = Vi, yn = xn+d(\-T-2xl) + 2-lS^x"\2-R2). (4) Bunda ham xuddi ma'ruza 11 dagi belgilashlarni rj, g, P, b, (p, В va F funksiyalar uchun saqlaymiz. (4) formulalarga asosan quyidagilarni hosil qilamiz. д/дх0=д/ду0 - 2dT~2y0d/дхп, д/дх} =д/ду+Syjd /дуп, д/дхп=д/дуп, (5) ij0=g0-2dT~2y0gn, rjj =gj+3у£„, 0 Shuning uchun, (5) ga asosan p(y;ko'phad P(y-g) = -bgl + $?+...+ ^ + (Bg0 + 2S< y",g" >)g2n +(F + S2(6) ko'rinishda ega bo'ladi. Уп) Yangi у o'zgaruvchilarda cp va Vcp lar uchun ф) = еу"-1, V(p = (0,0,...,0,e- bo'ladi. G0 ning (4) almashtirishdagi aksi Q0 bo'lsin. Lemma. Teoremaning (5), (6) shartlari bajarilganda Xyormender teoremasidagi H(y,g)> 0 bo'ladi. (V) Isbot. Xuddi ma'ruza 6 dagidek xarakterstik g vektorda Pw = -2 b^ + Bgn, Pu> = 2 P) = -ЪуД1 + (B40 + 2,5 < y", ifodalarga ega bo'lamiz. (9) Ma'ruza 11 dagi lemmadagidek i/(y, v Ум ум Уп Уп v ^ ^ и n-1 7=1 n-1 +*LFyA'A+(2FF,B + +< V"F>/ >)£++ (4f2++ 7=1 )(|£f + r2) + 2FF +25 < VF,y" >)y2 + r2, bunda
yoki H(y,g) kvadratik formani tuzishda r = 0 hoi uchun uning ko'rinishi oldingi ma'ruza 11 dagi (18) formula bilan berilishi hisobga olingan bo'lib, S2,S3,S4 li hadlar r2 ko'rinishli bo'ladi. P(y;g) = 0 tenglikning haqikiy qismini ajratib, т ]ImP(y;g) = 0 tenglikning (6) ko'rinishidan hamda ma'ruza 11 dagi (14) ni hisobga olib, -b^2+1Г г + (Bfo + 2 +{f + S2 И2)(й -r2) = 0, B^+2S(y"^") + 2[F + S2\y"\yn = 0 tengliklarni hosil qilamiz. (11) ning birinchisini ikkinchisiga asosan (10) Download 78.11 Kb. Do'stlaringiz bilan baham: |
Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©fayllar.org 2024
ma'muriyatiga murojaat qiling
ma'muriyatiga murojaat qiling