Ma'ruza 4 Shartli korrekt masala yechimi turg'unligini baholash va taqribiy yechimni oddiy tanlash usuli orqali topish Reja

_{^x=Yj^xk
xk=(^x,
k})
ko'rinishda yozish mumkin. U holda

1. 
   oo
   

Ax = ^\x_k cp_k, B_aAx = J^(a + A_k )^_1 Л_кх_кср_к,

2. 
   i
   

bo'ladi. A operatorning to'la uzluksiz, o'zaro qo'shma hamda musbatligidan uning xos qiymatlari haqiqiy, musbat va u yagona limitik nuqtaga ega bo'lib, bu limitik nuqta A = 0 dan iborat. Shuning uchun, {/l.} ni kamayish tartibida joylashtirish mumkinki, lim/l, =0 bo'ladi. A operatorning hamma xos
k—>00
qiymatlari musbatligidan ixtiyoriy musbat a lar uchun B_a uzluksiz operator bo'ladi va
a
tenglik kelib chiqadi.
Endi x-B_aAx ayirma
х-В_аАх = ^-\(а + Л_кГ¹ \_k(p_k =aj^(a + \)^_1 х_к<р_к,
i
ko'rinishda bo'lganligi uchun
\x-B_aA4==a{±(a + \r^lx²_nY ->0,
1
agar a—>0. Bundan B_a operatorlar oilasining regulyarizatsiyalovchi operator ekanligini hosil qilamiz. Shunday qilib, biz qaralayotgan holda (1) tenglama uchun regulyarizatsiyalovchi oilani qurdik.
A operator o'zaro qo'shma va musbat bo'lmasin, lekin (1) tenglamaning yechimi yagona. Bu holda A operator spektriga nol nuqta taaluqli bo'lmaydi. (1) ning xar ikkala tomoniga A* operatorni qo'llab,
А*Ах = А*/ = /_г (2)
tenglamani hosil qilamiz. (1) tenglama yechimining yagonaligidan (2) tenglamaning ham yechimi yagonaligi kelib chiqadi. Haqiqatdan ham, (1) ning yechimi yagona bo'lsin. Agar
A* Ax = 0
bo'lsa
(A * Ax_xx) = (Ax₁Ax) = \\Axf = 0
bo'ladi. Bundan x = 0 kelib chiqadi.
Shunday qilib, A o'zaro qo'shma va musbat bo'lmagan hoi, o'zaro qo'shma va musbat operatorli holga kelar ekan. Bu hoi uchun regulyarizatsiyalovchi operatorlar oilasi
B_a =(aE + A*A)~^l
ko'rinishda bo'ladi. (1) tenglama uchun regulyarizatsiyalovchi operatorlar oilasi B_a = {ali + A)'¹ bo'lganligidan B_a ni aniqlash uchun
(аЕ + А)х = f
tenglamani yechish kerak. Demak, (1) tenglama uchun regulyarizatsiyalovchi masalalar oilasi ikkinchi tur operator tenglamalar oilasidan iborat ekan. Mavzu oxirida biz (1) operator tenglamalarni yechishda ketma- ket yaqinlashish usulidan foydalanish mumkinligini qaraymiz. Bunda A- musbat aniqlangan va o'zaro qo'shma operator bo'lib, ||^||<2 bo'lgan holga to'xtalamiz. (1) tenglamani

k=j

ko'rinishda olamiz. {B_n} ketma-ketlik orqali aniqlanadigan operatorlar oilasini (6) ko'rinishda oladigan bo'lsak, bu oilani (1) operator tenglama uchun regulyarizatsiyalovchi oila ekanligini ko'rish qiyin emas. Haqiqatdan ham,

1. 
   oo
   

x = Yu^Xk
va Ах = ^\^хМ

2. 
   i
   

tengliklardan

00
\^xk
= St¹ - 0- ~ \Т^х~]^хм

В_яАх = ^
k=1

7=0
k=1

kelib chiqadi.
Oxirgi tenglikdan 1 imB_nAx = x ga ega bo'lamiz. Bundan [В_и}
n—>oo
operatorlarning (1) tenglama uchun regulyarizatsiyalovchi operator ekanligi kelib chiqadi.
Endi A operatorning aniqlanishiga asosan \E - A\\ < 1 ni hosil qilamiz, bundan |Л_и| = и ekanligini ko'rish oson.
Umumiy ko'rinishli (1) operator tenglama uchun regulyarizatsiyalovchi operatorlar oilasi qilib,
В_п= м^(^Е~мА*А)^к А*
к=О
operatorlar ketma-ketligini olish mumkin. Bunda // <2\\A* A\\ bo'ladi.
Mavzuni o'zlashtirish uchun savollar.

1. 
   Ikkinchi tur chiziqli operatorli regulyarizatsiya oilasi qanday tuziladi?
   
2. 
   O'zaro qo'shma musbat operatorli regulyarizatsiya oilasi qanday tuziladi?
   
3. 
   Ixtiyoriy ko'rinishli operator tenglamalar uchun regulyarizatsiya oilasi qanday tuziladi?
   
4. 
   Ketma- ket yaqinlashish orqali regulyarizatsiya oila qanday tuziladi?