Citations reads

3-taʼrif. Bir qadamli usul m-tartibli aniqlikdagi usul deb aytiladi (m – natural son, m1), agar toʻr yechimning xatoligi uchun quyidagi baholash oʻrinli boʻlsa:

max		i
i 0,1,...,N

• 
  Ch m
  

.
(74)

Xususan, Eylerning oshkor usuli birinchi tartibli aniqlikka ega, Eylerning toʻgʻrilangan va modifikatsiyalangan usullari esa ikkinchi tart-ibli aniqlikka ega.


13-izoh. Yuqorida aytilganlarga koʻra, m-tartibli aniqlikka ega bir qadamli usullarni qurish masalasi h^m+1 tartibli lokal xatolikka ega usullarni qurish masalasiga olib kelinadi.


14-izoh. Eylerning toʻgʻrilangan va modifikatsiyalangan usullari quyidagi hisob formulalariga ega guruhga kiradi:

y

i 1

 y

i

1

i

i

)  p

2

i

 h, y

i

i

i

))

,

(75)

 hp

f (x

, y

f (x

 hf (x

, y

bu yerda p1, p2,  - haqiqiy oʻzgarmaslar («usulning parametrlari»). Xususan, Eylerning toʻgʻrilangan usuli uchun p1 = p2 = 1/2;  = 1,

Eylerning modifikatsiyalangan usuli uchun esa p1 = 0; p2 = 1;  = 1/2. 3-teorema. (75) hisob formulali bir qadamli usulning lokal xatoligi

(73) baholashni qanoatlantirishi uchun uning parametrlari quyidagi tenglamalar sistemasini qanoatlantirishi zarur va yetarli:

p1 + p2 = 1;

p2 = 1/2.

Isbot. Eylerning toʻgʻrilangan usulidagi kabi ((67)

toʻr yechim (75) ni Teyler formulasi yordamida h ning

yoyib chiqib, quyidagi yoyilmaga ega boʻlamiz:

y

i 1

 y

i

 hp

f (x

, y

)  p

2

f (x

i

 h, y

i

 hf (x

, y

i

1

i

i

i

(76)
formulaga qarang)
darajalari boʻyicha

))	(77)
,

bu yerda

p2

~ ~

2

~ ~

2

~ ~

2

2

i 

f xx ''(xi , yi )

 2 f xy ''(xi , yi )

f  f yy ''(xi , yi )

f

.

(78)

2

Bu yerda f , f _x ', f _y ' orqali differensial tenglamaning oʻng tomoni va uning (xi,yi) «baza» nuqtadagi, yaʼni atrofida Teylor boʻyicha yoyilma

29

yozilgan nuqtadagi birinchi hosilalari,	~		~		- orqali esa baza nuqta va
	i	,	y	i
	x

«qoʻzgʻalgan» nuqtani tutastiruvchi kesmaning oraliq nuqtalari koordinata-lari, yaʼni x va y oʻzgaruvchilari boʻyicha h, hf koordinat orttirmalariga ega nuqta belgilangan.

77. 
    yoyilmani (68) yoyilmadan ((75) yoyilma holida Eylerning toʻgʻrilangan usuli uchun xuddi shu koʻrinishdagi aniqlikka ega) ayirib, mos oʻxshashliklarga keltirib, (75) usulning lokal xatoligi uchun quyidagi ifodaga kelamiz:
    

• 
  ( 2)
  
  1. 
     1
     

 1 p	 p	2	f
1

 h  

 p  f

' f

' f  h



y

' ' ' (x

 1



2

1

(i )



2

2



x

y

6

i

• 
  i
  

 h) i  h3
. (79)

Agar (76) shart bajarilsa, u holda (79) tenglikning oʻng tarafidagi h boʻyicha birinch va ikkinchi tartibgacha kichiklikka ega hadlar yoʻqoladi va lokal xatolik h boʻyicha uchinchi tartibgacha kichiklikka ega had bilan mos keladi. Eylerning toʻgʻrilangan usulidagi kabi koeffitsientning absoly-ut miqdorini (72) va (78) formulalar yordamida baholab, (73) tengsizlikka kelamiz.

Agar (76) shartlardan birortasi bajarilmasa, u holda (79) lokal xatolik h boʻyicha uchinchidan kichik tartibga ega va shuning uchun (73) tengsizlik oʻrinli boʻla olmaydi.

15-izoh. 3-teoremaga va 13-izohga koʻra (76) shart bajarilganda (75) hisob formulali usul ikkinchi tartibli aniqlikka ega boʻladi.


16-izoh. p2 parametrning nol qiymati (76) tenglamaning oʻng tomonini qanoatlantirmaydi. Bu holni chiqarib tashlab, shu tenglamadan  ning p2 parametr orqali ifodasiga kelamiz. Bunda tashqari (76) tenglaman-ing chap tomoni p1 parametrni p2 parametr orqali ifodalash imkonini be-radi. Bu ifodalarni (75) ifodaga qoʻysak, quyidagi ikkinchi tartibli aniqlik-ka ega bir parametrli hisob formulalari oilasiga kelamiz:





h

h









y

 y

 p

) f (x , y

)  p

f  x



, y



f (x , y

) 

i 1

i

 h (1

2

2

i

i

 ^.



ii



2 p2

2 p2

ii











Bu yerda p2 parametrga noldan farqli biror fiksirlangan haqiqiy qiymat berib, bu oilaning aniq hisob formulasini hosil qilamiz.


17-izoh. (75) toʻr yechimni geometrik jihatdan topishda Eylerning toʻgʻrilangan usulini oʻrganishda tavsiflangan qurish uslubidan foydalanish mumkin (4-lemmaga va undan oldingi fikrlarga qarang). Faqatgina farq shundaki, bunda kenglikning ikkinchi urinma oʻtkaziladigan nuqtasi sifati-da (x_i  h, y_i  hf (x_i , y_i )) nuqta olinadi, urinmalar burchak koeffitsiyen-larining oʻrta arifmetigi qiymati sifatida esa ularning oʻrta algebraik qiymat, yaʼni quyidagi chiziqli kombinatsiya qiymati olinadi:

30

tg 
p1tg1 

p	tg	2
2

,

bu yerda p1 + p2 =1.


18-izoh. (75) usullar Runge-Kutta usullari oilasiga kiradi va (76) shartlar bajarilganda ular ikkinchi tartibli aniqlikka ega usullar qism oilasini tashkil etadi. Bu usulning gʻoyasi 1885 yilda Karl Runge tomoni-dan kiritilda va 1901 yilda Vilgelm Kutta tomonidan rivojlantirildi. Bu bir qadamli usullarning keng oilasi yuqori tartibli aniqlikka ega usullarni (bu usullarning baʼzilari uchinchi va baʼzilari esa toʻrtinchi tartibli aniqlikka ega) ham oʻz ichiga oladi.

Uchinchi tartibli aniqlikka ega usul algoritmining (i+1)-qadamida quyidagi miqdorlar ketma-ket hisoblanadi:

k1  f (xi , yi ), k2	 f (xi		h	, yi		h	k1 ), k3  f (xi  h, yi  hk1  2hk2 ),	(80)
		2			2

buning geometrik nuqtai nazardan maʼnosi shuki, bu miqdorlar differensial tenglama yechimining grafigiga (xi,yi) nuqtada oʻtkazilgan urinmaning burchak koeffitsiyentini va (80) ifodaning ikkinchi va uchinchi oʻrnida turgan kengliklar nuqtalarining koordinatalarini ifodalaydi. Shundan keyin xi+1 tugundagi toʻr yechim quyidagi formula bilan hisoblanadi:

y	i 1	

y	i

• 
  h (k1  4k2 6
  

• 
  k3 )
  

.
(81)

Bu geometrik nuqtai nazardan shu maʼnoni bildiradiki, (xi,yi) nuqta

orqali oʻrtalashtirilgan koeffitsiyentlari

1	,	4	,	1
6		6		6

boʻlgan (80) algebraik

oʻrta miqdoriga teng burchak koeffisiyentli toʻgʻri chiziq oʻtkaziladi va xi+1 tugundagi toʻr yechim sifatida bu toʻgʻri chiziqning xi+1 tugun orqali ordi-nata oʻqiga parallel ravishda oʻtuvchi toʻgʻri chiziq bilan kesishish nuqtas-ining ordinatasi olinadi.

Toʻrtinchi tartibli aniqlikka ega usul algoritmining (i+1)-qadamida dastlab quyidagi miqdorlar hisoblanadi:

k



f (x

, y

),

k



f (x



h

, y



h

k ),

2

i

i

1

i

i

2

2

1

k3

 f (xi



h

, yi



h

k

2 ),

k4

 f (xi

 h, yi  hk3 ),

(82)

2

2

keyin esa toʻr yechim quyidagi formuladan topiladi:

y	i 1	

y	i

• 
  h (k1  2k2 6
  

• 
  2k3
  



k	4	)

.
(83)

19-izoh. Olingan toʻr yechimning aniqligini nazorat qilish xatolikni taqribiy baholashning Runge qoidasi yordamida amalga oshiriladi (bu qoida bilan aniq integrallarni taqribiy hisoblashda tanishilgan). Koshi ma-

31

salasini bir qadamli usullar bilan taqribiy yechishda bu qoidadan quyidagi tartibda foydalaniladi.

Faraz qilaylik,

y	N ,h	,	y	2 N ,h / 2

– m-tartibli aniqlikka ega usul yordamida

integrallash kesmasining oʻng oxirida toʻrning mos h, h/2 qadamlarida hisoblangan toʻr yechimlar boʻlsin. Bu yechimlar uchun quyidagi tenglik oʻrinli:

 c

h 

m

y(x

 L)  y

 chm  o(hm ) ,

y(x

 L)  y

0

N ,h

0

2 N ,h / 2







2 

• 
  o(hm )
  

.
(84)

bu yerda c – (84) formulalarning har ikkalasi uchun ham bir xil va h dan bogʻliq boʻlmagan oʻzgarmas; o(h^m) – bu h^m ga nisbatan kichik boʻlgan yuqori tartibli kichliklikka ega miqdor.

Qaralayotgan yechim xatoligining bosh hadlarini topish uchun (84) tenglikdan foydalani boʻlmaydi, chunki unga kiruvchi aniq yechimning

y(x	0	 L)	qiymati bizga maʼlum emas. Ammo, birinchi tenglikni ikkin-

chisidan ayirib tashlasak, u holda quyidagi munosabatga ega boʻlamiz:

c	h 	m
		(1 2m )  y		 y		 o(hm )
			N ,h		2 N ,h / 2		.
	2 

bu yerdan esa yuqori tartibli kichiklikka ega hadni tashlab yuborib,

(85)

y	2 N ,h / 2

toʻr yechim xatoligining bosh hadi uchun quyidagi taqribiy ifodasiga ke-lamiz:

	h 	m
	
c	2 


			1		y				
	2	m		1			2 N ,h / 2

y	N ,h


.
(86)

Agar (86) oʻng tomonining moduli toʻr yechimning absolyut xatoligi uchun mumkin boʻlgan limitik qiymatidan oshib ketmasa, u holda hisob toʻxtatiladi va integrallash oraligʻidagi taqribiy yechim sifatida h/2 qadam bilan hisoblangan toʻr yechim qabul qilinadi. Aks holda esa yuqorida tavsiflangan prosedura h/2, h/4 va hokazo qadamlar uchun takrorlanadi.

Shuni taʼkidlaymizki, Runge qoidasi boʻyicha xatolikni baholashda kesmaning oxiri shu kesmaning ixtiyoriy nuqtasi (masalan, kesmaning oʻrtasi) bilan almashtirilishi mumkin; h qadam sunday tanlanadiki, bunda shu nuqta toʻrning tuguni boʻlib chiqishi kerak.

20-izoh. Yuqorida chiqarilgan fikrlar toʻr yechimni koʻrsatish va uni hosil qilishni aniqlashtirishning uslublarini ochib beradi.

Aynan, agar (85) tenglikdan c(h/2)^m ni ifodalab olsak va uning na-tijasini (84) formulalardan ikkinchisiga qoʻysak, u holda quyidagi tenglikka ega boʻlamiz:

32

y(x0		y2 N ,h / 2
	L)
	

• 
  2m11 y2 N ,h / 2
  



y	N ,h

	 ohm





,

bu shuni bildiradiki, katta qavs ichidagi miqdor y(x0  L) uchun	y	2 N ,h / 2	ga

nisbatan eng yaxshi yaqinlashish, chunki bu miqdorning xatoligi o(h^m) tartibli cheksiz kichiklikka ega, u holda toʻr yechimning xatoligi ham o(h^m) tartibga ega.

Toʻr yechimni bunday aniqlashtirish uslubi 1910 yilda ingliz geofizigi L.Richardson tomonidan taklif etilgan boʻlib, u Richardson boʻyicha aniqlashtirish yoki Richardson ekstrapolyatsiyasi deb ataladi.

21-izoh. Runge-Kutta usullari nafaqat Koshi masalasini yechishda, balki birinchi tartibli differensial tenglamalar sistemasi uchun yozilgan chegaraviy masalalarni yechishda ham qoʻllanilishi mumkin. Bunda che-garaviy masalani yechish qoidalari o'q otish usuli deb ataluvchi Koshi ma-salasini ketma-ket yechish usuliga keltiriladi.

Masalan, ushbu

y	'(x)  f	1	(x, y (x), y	2	(x)),	y	2	'(x)  f	2	(x, y
1			1							1

y (x			) ,		y		(x	0	L)	,
1	0			2

xuddi shu differensial tenglamalar sistemasi

(x), y	2	(x)),	x	 x  x	o	 L,
			0

uchun ushbu

(87)

(88)

1	0	) ,	y	2	(x	0	)  	,	(89)
y (x

boshlangʻich shartli Koshi masalasi qaraladi. (89) dagi ikkinchi bosh-langʻich shartning oʻng tomonidagi  shunday tanlanadiki, bunda y2() yechim Koshi masalasini (88) ning ikkinchi chegaraviy sharti boʻyicha qanoatlantirsin:

y₂ (x₀  L, )  ;

bularga koʻra y1() va y2() yechimlar chegaraviy masalaning izlanayotgan yechimlari boʻladi.

Absrakt nuqtai nazardan  ni tanlash masalasi quyidagi funksiyaning ildizini topish masalasidir:

( )  y₂ (x₀  L, )  .

Bu tenglamani yechish uchun oraliqni teng ikkiga boʻlish usulidan foydalanamiz. Bu maqsadda 1, 1 (1< 1) qiymatlar shunday tanlanadiki, [1, 1] kesmaning oxirlarida Ф funksiya har xil ishorali qiymatlar qabul qilsin. Bu hoda Ф funksiyaning uzluksizligidan (faraz qilamizki, Koshi masalasi yechimining boshlangʻich shartlarning oʻng tarafidan bogʻliqlik ifodasi uzluksiz boʻlsin) bunday kesma izlanayotgan ildizni oʻz ichiga oladi. Kesmani 1 nuqta bilan teng ikkiga boʻlamiz va [1,1] ,[1,1] kesmalardan birini shunday tanlaymizki, tanlangan kesmaning oxirlarida

33

• 
  funksiya har xil ishorali qiymatlar qabul qilsin. Tanlangan kesmani [2, 2] kesma deb belgilab, uni 2 nuqta bilan teng ikkiga boʻlamiz va hokazo. Bu jarayonning qaysidir bir qadamida [n, n] kesmaning uzunligi ildizni topishning mumkin boʻlgan xatoligidan kichikligi kelib chiqsa, hisob ja-rayoni toʻxtatiladi va oxirgi kesma n ning oʻrtasi izlanayotgan  ning qiymatiga yaqinlashish sifatida deb qabul qilinadi.
  

( )  0 tenglamani yechishning boshqa usullari bilan tavsiya etilgan adabiyotlar orqali tanishish mumkin.

Quyida bir qadamli usullarning yana bir guruhi – yechimni Teylor qa-toriga yoyish usullari bilan tanishaylik.

Bunday usulning gʻoyasini ikkinchi tartibli aniqlikka ega usul misol-ida tushuntiraylik.

Berilgan differensial tenglamaning y⁽ⁱ⁾ yordamchi yechim uchun chiqarilgan (62) Teylor yoyilmasini qaraymiz, undagi uchinchi tartibli kichiklikka ega hadni tashlab yuboramiz va hosil boʻlgan miqdorni xi+1 tugundagi toʻr yechim deb qabul qilamiz. Boshqacha qilib ayganda,

quyidagini yozamiz:

y	i 1	

y	(i )	(x	)  y	(i )	'(x	)h 
		i			i

1. 
   y(i ) ''(xi )h2
   
2. 
   

.

Bu yerda y⁽ⁱ⁾ funksiyaning va uning xi nuqtadagi hosilalarinining qiymatini

63. 
    va (65) formulalar yordamida almashtirib, quyidagi hisob formulasiga kelamiz:
    

y

 y

 hf (x

, y

) 

1

f

'(x

, y

) 

i 1

i

x

i

i

2

i

i

f	y	'(x	, y	) f
		i	i

(xi ,

y	)h	2
i

.

Analitik nuqtai nazardan chiqarilgan fikrlar shuni anglatadiki, [xi,xi+1] kesmada y⁽ⁱ⁾ yordamchi yechimni ikkinchi tartibli hosilasi y⁽ⁱ⁾ yordamchi yechimning xi nuqtadagi hosilasi bilan mos keluvchi ikkinchi tartibli koʻphad bilan almashtirni anglatadi, geometrik nuqtai nazardan esa bu y⁽ⁱ⁾ yechimning grafigini grafigi (xi,yi) nuqtadan oʻtuvchi, shu nuqtada y⁽ⁱ⁾ umumiy yechim bilan bir xil urinmaga va bir xil egrilik radiusiga (bunday holda ikkita egri chiziqning oʻzaro urinishi «ikkichi tartibli urininsh» deb taladi) ega parabola bilan almashtiriladi. Bunda yi toʻr yechim sifatida bu koʻphadning x = xi+1 nuqtadagi yoki geometrik atamada - bu xi+1 tugundan oʻtuvchi va ordinata oʻqiga parallel boʻlgan toʻgʻri chiziqning shu parabola bilan kesishish nuqtasining ordinatasi qabul qilinadi.

Bu m-tartibli aniqlikka ega usulga oʻxshash usulning hisob formulasi differensial tenglamaning oʻng tomonidagi f funksiyaning (m-1)-tartibgacha hosilalarini oʻz ichiga oladi. Bu hosilalarning xi nuqtadagi

34

qiymatlarini hisoblash algoritmning (i+1)-qadamidagi assosiy hisoblash-larni tashkil qiladi. m-ning oshib borishi bilan bu hosilalarning soni tez oʻsib boradi, usul ham shuncha murakkablashadi, ammo yechimni Teylor qatoriga yoyish usuli bu maʼnoda xuddi shu tartibli Runge-Kutta usulidan ustun emas. Shuning uchun amaliyotda yechimni Teylor qatoriga yoyish usulidan nisbatan kam foydalaniladi.


1-misol. Ushbu
y  2y  x ²  1_{, y(0) = 1}

Koshi masalasining [0; 1] kesmadagi sonli yechimini Eyler usuli bilan top-ing.

Yechish. Bunda n = 10 deb olamiz, u holda h =(1-0)/10 = 0,1.

Berilgan differensial tenglamani kanonik koʻrinishda yozib olamiz:

y  f (x, y) 1 2y - x	2

Boshlangʻich nuqta: x0 = 0, y0 = 1.

Dastlabki x1 nuqta uchun hisoblashlar:

y	 y		 h f(x	; y	) 1 0,1f(0;1) 1 0,1(1 2 1 0	2	) 1	 0,13	1,3
		0
1			0	0

x1 = x0 + h = 0 + 0,1 = 0,1
Keyingi x2 nuqta uchun hisoblashlar

y₂  y₁  h  f(x₁; y₁ )  1,3  0,1 f(0,1;1,3) 

1,3  0,1(1 2,6  0,01)  1,3  0,13,59  1,659 x ₂  x₁  h  0,1  0,1  0,2

Yana qolgan sakkizta nuqta uchun xuddi shunday hisoblashlarni baja-rishimiz mumkin, chunki, n = 10 deb tanlab olingan.


Maple dasturida Eyler usuli bilan olingan natijalar (11-rasm):