Teskari kvadratik interpolyatsiya usuli
Usulning nomidan kelib chiqib, f(x)=0 tenglamaning ildiziga yangi yaqinlashishni topish uchun y= f(x) funksiyaga nisbatan teskari bo‘lgan x=g(y) funksiyaning kvadratik interpolyatsiyasidan foydalaniladi. Ikkinchi darajali ko‘phad bilan interpolyatsiyalash uchun (x,y) tekislikning uchta nuqtasi zarur, ularni ildizga yaqinlashuvchi uchta ketma-ket nuqtalarni tanlaymiz:
(xn-2, yn-2=f(xn-2)), (xn-1, yn-1=f(xn-1)) va (xn, yn=f(xn)).
Bunday holda Lagranjning interpolyatsion formulasi quyidagicha yoziladi:
P ( y)
xk ( y yk 1)( y yk 2 )
xk 1( y yk )( y yk 2 )
2 ( y
k
yk 1
)( yk
yk 2 )
( yk 1
yk
)( y
k 1
yk 2 )
+ xk 2 ( y yk )( y yk 1 ) ( yk 2 yk )( yk 2 yk 1 )
. (1.19)
Bu ko‘phaddan keyinchalik foydalanish quyidagi farazlarga asoslangan. Agar x= g( y) funksiya ma’lum bo‘lganda edi, u holda ildizni topish ushbu xr = g(0) oddiy hisoblashga keltirilgan bo‘lardi. Ammo teska- ri funksiyani topish doimo tenglamani yechishdan ko‘ra murakkabroq. Ild- iz atrofida g( y) funksiya P2( y) ko‘phad bilan almashtirishni taklif qilish mumkin. Bu bilan biz P2(0) ni hisoblab, dastlabki tenglamaning ildiziga yangi yaqinlashishni hosil qilamiz: xk+1 = P2(0).
Shunday qilib, (1.19) ifodaga mos teskari kvadratik interpolyatsiya usulining iteratsiyalarini quyidagi formula bo‘yicha hisoblash mumkin:
x yk 1 yk 2 xk
yk yk 2 xk 1
yk yk 1 xk 2
(1.20)
k 1
( yk
yk 1
)( yk
yk 2 )
( yk 1
yk
)( y
k 1
yk 2 )
( yk 2
yk
)( y
k 2
yk 1 )
Teskari kvadratik interpolyatsiya usuli iteratsion jarayonlarining ya- qinlashish tezligi =1,839 bo‘lib, bu kesuvchilar usulidagiga qaraganda kattaroq. Ammo boshlang‘ich hisoblashlar uchun uchta x0, x1, x2 qiymatlarni hisoblash talab etiladi. Agarda bu qiymatlar noo‘rin tanlansa, hisob algoritmi xaotik tus oladi.
Kvadratik interpolyatsiyadan Myuller usulida ham foydalaniladi. Ammo bunda x=g(y) teskari funksiya emas, balki y= f(x) funksiya inter-
polyatsiyalanadi. Undan keyin esa interpolyatsion ko‘phadning ildizi dastlabki tenglamaga ildiziga yangi yaqinlashishni beradi, deb hisoblanadi. Ammo, ikkinchi darajali ko‘phad ikkita ildizga ega, hisoblashlarda esa ulardan birini tanlashga to‘g‘ri keladi. Agar ko‘phad kompleks ildizlarga ega bo‘lib qolsa, u holda muammo yanada murakkablashadi. Shuning uchun Myuller usuli karrali bo‘lmagan ildizlar holida qulay va u teskari kvadratik interpolyatsiya usuliga nisbatan ustunlikka ega emas. Bu usul y= f(x) funksiya grafigi abssissa o‘qiga uringandagi ikki karrali ildizlarni topishga qulay.
Ko‘phad ildizlarini izlashning sonli usullari
Ko‘phadlarning maxsus xossalari algebraik tenglamalarni yechishning juda ko‘p usullarini yuzaga keltirgan. Masalan, haqiqiy ko‘phadlarni ajrat- ishning usullaridan Lin usuli, Lobachevskiy usuli, Fridman usuli, parabo- lalar usuli, tushish usuli, Myuller usuli, Ridder usuli, Brent usuli, Lagerr usuli va bosqa usullar juda ko‘p qo‘llaniladi [1,2,5].
Algebraik ko‘phad ildizlarini topishning Lobachevskiy usuli. Bu usulning eng qulay tomoni shundaki, u ildizlarning taqribiy yaqinlashishi qiymatini talab qilmaydi. Bu usul ko‘phad har xil haqiqiy ildizlarga ega bo‘lgan holda qo‘llaniladi. Bu usul ikki bosqichda qo‘llaniladi. Agar
ko‘phadning ildizlari ushbu
x1
x21
... xn
tengsizlikni qanoatlantir-
sa, u holda a0xn+ a1 xn-1 + . . . + an-1x+ an ko‘phad ildizlarining taqribiy qiymatlari uning koeffisiyentlari orqali Viyetning quyidagi umumlashgan teoremasi formulalari bilan ifodalanadi:
x1+ x2+…+ xn= -a1/ a0 ,
x1x2+ x1x3+…+ xn-1xn= a2/ a0 ,
x1x2x3+ x2x3x4+…+ xn-2xn-1xn= -a3/ a0 ,
. . . . . . . . . . . . . . . . . .
x1x2 … xn = (-1) n an/ a0.
Bu yerda ketma-ket quyidagilarni topamiz:
x2 x3 xn a1 a1
x1 1 x
...
x x
a
x1 a ;
1 1
x2 x3
1 0 0
xn1 xn a2 a2
x1 x2 1
x1 x2
...
x1 x2 0
a
x2
; ...
a0
xi
ai ,
ai1
xi ,
i 1,2,... n.
Ko‘phad kompleks ildizlarini izlashning sonli usullari. Argument x ning faqat butun darajalari yig‘indisini o‘z ichiga olgan chiziqli bo‘lmagan tenglama chiziqli bo‘lmagan algebraik tenglama deb ataladi va u
Pn(x) = xn+an-1 xn-1 + . . . + a1x+a0 = 0 (1.21) kabi yoziladi. Chiziqli bo‘lmagan algebraik tenglamaning yechimi ko‘phadning ildizi deb ham ataladi. Bu n-darajali ko‘phadning ildizlarini izlashda ularning soni n ta ekanligini (ularning karralilarini ham hisobga olganda) va ular ham haqiqiy va ham kompleks bo‘lishi mumkinligini e’tiborga olish lozim. Agar ko‘phadning ai koeffisiyentlari haqiqiy desak, u holda kompleks ildizlar kompleks-qo‘shma juftlikni hosil qiladi. Ildizlar soni haqidagi ma’lumot muhim ahamiyatga ega.
Yuqorida chiziqli bo‘lmagan tenglamalarni yechishning umumiy algo- ritmlaridan ko‘phadlar ildizlarini topishga ham foydalanish mum- kin.Bunda faqat algoritmlarning amaliy tadbiqini kompleks sonlar arif- metikasi doirasida o‘tkazish lozim bo‘ladi. Shunga qaramasdan, ko‘phadlarning hamma ildizlarini (haqiqiy va kompleks ildizlarini) izlash- ning maxsus usullari mavjud. Ana shu usullardan ba’zilari bilan quyida tanishaylik.
Ko‘pgina usullar dastlabki ko‘phaddan kvadratik ko‘pytuvchini chiqarish prosedurasiga asoslangan, ya’ni
Pn(x) = (x2+px+q)(xn-2+bn-3 xn-3 + . . . + b1x+b0). (1.22) Bizga ma’lumki, x2+px+q =0 kvadrat ko‘phadning ildizlarini analitik yo‘l bilan topish mumkin, demak dastlabki (1.21) tenglama tartibi ikkiga
kamayadi va masala ushu
xn-2+bn-3 xn-3 + . . . + b1x+b0 = 0
tenglamani yechishga keladi. Bu tenglamaning o‘ng tarafidan yana bir bor kvadratik ko‘pytuvchini chiqarish mumkin, va hokazo. Ana shunday qilib ko‘paytuvchilarni chiqarish jarayoni ushbu x2+ b1x+b0 = 0 kvadratik yoki x+b0 = 0 chiziqli tenglama qolguncha davom ettiriladi.
Kvadrat ko‘paytuvchilarni ajratish, ya’ni n ta p, q, bn-1, bn-2, ..., b1, b0
koeffisiyentlarni izlash haqidagi bu masalasi quyidagicha yechiladi.
Dastlabki Pn(x) ko‘phadning ikki xil (1.21) va (1.22) shakllaridagi bir xil darajali hadlari koeffisiyentlarini o‘zaro tenglashtirib, quyidagi ikkita tengliklar sistemasini hosil qilamiz:
bn-3 + p = an-1,
bn-4 + pbn-3 + q = an-2,
bn-5 + pbn-4 + qbn-3 = an-3, (1.23)
………………………..
b1 + pb2 + qb3 = a3,
b0 + pb1 + qb2 = a2,
va
q = a0/b0 , p = (a1-qb1)/b0 . (1.24) Agar p va q koeffisiyentlarga ixtiyoriy qiymatlar berilsa, u holda
(1.23) sistemadan noma’lum bn-1, bn-2, ..., b2 keffisiyentlarni ketma-ket yo‘qotib, b1 va b0 larning qiymatlarini hisoblab olish mumkin, ya’ni (1.23) sistema quyidagi ikki argumentli ikki funksiyani topish imkonini beradi:
b0 = b0(p,q) va b1 = b1(p,q). (1.25) Endi (1.25) funksiyalardan (1.24) tengliklarning o‘ng taraflarida foydalanish mumkin, natijada qiyidagi ikkita chiziqli bo‘lmagan
tenglamalar sistemasiga kelinadi:
q a0 ,
b0 ( p, q)
p a1 qb1 ( p, q) . (1.26)
b0 ( p, q)
Shuni ta’kidlash lozimki, (1.26) tenglamalar sistemasining o‘ng qismlari analitik shaklda berilmagan bo‘lib, har bir ( p, q) argumentlar qiymatlari juftligi uchun b1 va b0 qiymatlarni hisoblash algoritmi shaklidadir. Ana shunday amaliy tadbiq ko‘plab amaliy masalalarni yechishda uchraydi. Tenglamalarni yozishda bunday analitik shakllarning berilmaslik holati ularni yechishga to‘sqinlik qilmaydi.
Agar (1.26) tenglamalar sistemasi oddiy iteratsiya algoritmi bilan yechilsa, u holda dastlabki (1.21) tenglama uchun qo‘llaniladigan sonli usul Lin usuli deb ataladi. Bunda (p0,q0) boshlang‘ich yaqinlashishdan bog‘liq iteratsiyalar quyidagi formulalar bilan bajariladi:
q a0
, p a1 qk b1 ( pk , qk ) . (1.27)
k 1
b0 ( pk
, qk )
k 1
b0 ( pk
, qk )
Oddiy iteratsiya o‘rnida Zeydel algoritmidan foydalanish mumkin. U holda (1.27) iteratsion formulalardan ikkinchisi quyidagi ko‘rinishda yoziladi:
p a1 qk 1b1 ( pk , qk 1 ) .
Bu iteratsion jarayon har qanday holatda ham toki ushbu
(bunda - yechimning aniqligini ifodalovchi kichik miqdor) shart bajarilgunga qadar yoki iteratsiyalar soni yetarlicha katta bo‘lgunga qadar davom ettiriladi. Oxirgi holat, ya’ni iteratsiyalar sonining juda katta bo‘lib ketishi iteratsiyalarning uzoqlashuvchi ekanligini va (1.26) sistema yechimga ega emasligini bildiradi.
Bertstou usuli ham xuddi yuqoridagidek kvadratik ko‘paytuvchini ajratishga asoslangan bo‘lib, bunda (1.26) ikkita tenglamalar sistemasi Nyuton usuli bilan yechiladi. Bu yerda ham iteratsiyalarning yaqinlashuvchanligi masalasi juda ham jiddiy holat.
Do'stlaringiz bilan baham: |