Ayirmali metod, chiziqli masala Ayirmali metodni, eng sodda ikkinchi tartibli chiziqli differensial tenglama uchun qо‘yilgan chegaraviy masala misolida qaraymiz:
(1) (2) kesamada tо‘rni qaraymiz. Soddalik uchun bu turni tekis deb hisoblaymiz. Ikkinchi tartibli hosilani yechimning tо‘r nuqtalaridagi qiymatlari orqali ifodalaymiz; eng sodda
approksimatsiyadan foydalanamiz:
Bunday approksimatsiyani har bir , ichki nuqta uchun yozish mumkin. Agar buni (1)-tenglamadagi ikkinchi tartibli hosila urniga quysak unda tenglama taqribiy bо‘lib, uni qidirilayetgan yechim emas, balki taqribiy yechim qanoatlantiradi. Bu almashtirishni bajarib, belgilashlarni qabul qilsak
(3) tengliklarga ega bо‘lamiz. Bu ta algebraik tenglamadan iborat bо‘lgan sistemadir. Noma’lumlar soni ta, ya’ni noma’lumlar soni tenglamalar sonidan kо‘pdir. Ikkita yetmaydigan tenglamani (2) chegaraviy shartlardan hosil qilamiz.
(4) (3)-algebraik sistemani yechib, taqribiy yechimni topamiz.
Bunda uchta savol tug‘iladi:
1) (3)–kо‘rinishli sistemaning yechimi mavjudmi?
2) agar yechim mavjud bо‘lsa, uni qanday topish kerak?
3) yechimga istalgancha yaqin bо‘lgan taqribiy yechimni topish iloji bormi?
Eng avval ayirmali yechimning mavjudligini tekshiramiz.
deb talab qilamiz. (1)-masala chiziqli bо‘lganligi uchun, ayirmali approksimatsiya ham chiziqli bо‘ldi. Shuning uchun (3)-sistema chiziqli algebraik tenglamalar sistemasidan iborat bо‘ldi. bо‘lganligi uchun, bu sistemaning matritsasi diagonal elementlari absolyut qiymati shu element turgan satrdagi boshqa elementlar absolyut qiymatlari yig‘indisidan katta bо‘ladi. Bunday sistemaning yechimi mavjud va yagona bо‘lishi ma’lum.
Sistemaning matritsasi uch diagonalli bо‘lganligi uchun uni progonka usuli bilan yechish samarali.
Quyidagi teorema о‘rinli.
Teorema. Agar va ikkinchi tartibli uzluksiz hosilaga ega bо‘lsalar unda ayirmali yechim ,aniq yechimga intiladi va xatolik kabi bо‘ladi.
Isbot. Teoremaning shartlaridan tо‘rtinchi tartibli uzluksiz hosilaga ega ekanligi kelib chiqadi.
Unda
munosabat о‘rinli bо‘ladi.
Bundan, aniq yechim
ayirmali tenglamani qanoatlantirishi kelib chiqadi.
Bu tenglamadan (3)-tenglamani ayirib, xatolikni qanoatlantiradigan
(5)
(6)
tenglamalarni hosil qilamiz.
maksimumga erishadigan nuqtani tanlab olamiz; buning chegaraviy nuqta emasligi ma’lum. shartni inobatga olib bu nuqtada (5)-tenglikning chap va о‘ng tomonlarining absalyut qiymatlarini taqqoslab,
tengsizlikka ega bо‘lamiz. Buning о‘ng tomonidagi va larni ga almashtirsak
tengsizlik hosil bо‘ladi. Bu tengsizlik teorema tasdig‘ini isbot qiladi.
Endi umumiyrok xolni qaraymiz. Chiziqsiz masalalar anchagina qiyinchiliklarni tug‘diradi.
(1) birinchi jins chegaraviy shartlar bilan berilgan chiziqsiz, ikkinchi tartibli differansial tenglamani qaraymiz. ikkinchi tartibli uzluksiz hosilaga ega bо‘lsin degan talabni qо‘yamiz. Unda funksiyaning tо‘rtinchi tartibli hosilasi uzluksiz bо‘ladi.
qilib belgilaymiz.
Yuqoridagidek [a,b] kesmada tekis turni aniqlab ikkinchi tartibli hosilani chekli ayirma bilan almashtiramiz.
Unda
(2)
chiziqsiz algebraik tenglamalar sistemasiga ega bо‘lamiz. Ayirmali yechimning anik yechimga yaqinlashishini isbot qilamiz, buning uchun deb faraz qilamiz. Ikkinchi hosilaning approksimatsiyasi uchun
munosabat о‘rinli bо‘lgani uchun, aniq yechim
ayirmali tenglamalarni qanoatlantiradi.
Bu tenglamalarni (2)-teglamalardan mos ravishda ayirib xatolik uchun
(3)
tenglamalar sistemasini hosil qilamiz.
Bu yerda , maksimumga erishadigan nuqta bо‘lsin. Bu nuqtada (3) munosabatni
tengsizlik shaklida yozamiz. ґng tomondagi va ni ga almashtirib bu tengsizlikni yana ham kuchaytirib
(4)
bahoni hosil qilamiz.
Bu baho, ayirmali yechimning aniq yechimga ikkinchi tartib bilan tekis yaqinlashishini bildiradi.
Ayirmali yechimni topish bilan shug‘ullanamiz.
(2)-sistemani iteratsiya metodi yordamida yechish mumkin. Masalan
(5)
bu yerda - iteratsiya nomerini belgilaydi. Iteratsion usulni qо‘llasak iteratsiyaning har bir qadamida uch diagonalli chiziqli tenglamalar sistemasi hosil bо‘ladi. Bu sistemani progonka metodi yordamida yechish mumkin. (5) - iteratsiya metodining yaqinlashishini tekshiramiz.
- iteratsiya xatoligi, (2) ni (5) dan ayirishdan hosil bо‘ladigan
(6)
tenglamani qanoatlantiradi.
Bu sistemani progonka metodi yordamida yechamiz. Bu sistema uchun progonka koeffitsiyentlarini topish rekkurent formulalarini
shaklda yozish mumkin.
Progonkaning teskari harakat formulalari
(7)
shaklda yoziladi.
Bular izlanayotgan yechim bо‘ladilar. (6)-sistemaning tenglamalarini о‘ng tomonlari uchun
, tengsizliklar bajariladi.
Bularni (7) ga quyib
bahoga ega bо‘lamiz.
Bundan
(8)
bunda
hosil bо‘ladi.
Bu baho iteratsiya metodining
(9)
shart bajarilganda yaqinlashishini kо‘rsatadi. Yaqinlashish chiziqli ekanligi kо‘rinib turibdi ( ning birinchi darajasi kabi).
(2) sistemani Nyuton metodi yordamida yechish maqsadga muvofiqdir. Tenglamalarning о‘ng tomonlarini chiziqli funksiyaga almashtirib quyidagi formulalarni yozish mumkin:
Bu sistemani ham progonka metodi yordamida yechish mumkin.