|
Teorema-1. Agar funksiya
sohada aniqlangan uzluksiz bo’lib, uzluksiz va hosilalarga ega bo’lsa, u holda ushbu
(4.1)
Koshi masalasining yechimi uchun quyidagi tasdiqlar o’rinli:
1. -o’zgaruvchilarning uzluksiz funksiyasidan iborat bo’ladi.
2. uzluksiz funksiya bo’lib,
chiziqli tenglamani qanoatlantiradi.
Isbot. 1. Ixtiyoriy nuqtalarni olib, quyidagi
(4.2)
(4.3)
Koshi masalalarini qaraylik. Shu bilan bir qatorda, ularning yechimlarini mos ravishda va orqali belgilaylik.
Teorema shartiga ko’ra, va funksiyalar P sohada uzluksiz bo’lganliklari uchun shunday sonlari topilib,
tengsizliklar o’rinli bo’ladi. Bu munosabatlardan foydalanib quyidagi
baholarni olamiz. Ushbu
integral tenglamalardan foydalanib
ayirmani baholaymiz:
Demak funksiya quyidagi
tengsizlikni qanoatlantirar ekan. Bunda, quyidagi
belgilashni olib, Cronuolla tengsizligidan foydalansak
baho hosil bo’ladi. Agar ixtiyoriy soni uchun sonini
deb tanlasak, u holda tengsizligi bajarilganda
bahoning o’rinli bo’lishi kelib chiqadi. Bu esa yechimning o’zgaruvchilarga nisbatan uzluksiz ekanligini bildiradi. Teoremaning birinchi qismi isbotlandi.
2. Aytaylik (4.1) masalaning yechimi bo’lsin. U holda funksiya ushbu
(4.4)
Koshi masalasining yechimi bo’ladi. –yechimning orttirmasi bo’lgani uchun hamda
(4.5)
o’rinli ekanligini inobatga olib ushbu
tenglikka ega bo’lamiz. Bu tenglikni
(4.6)
(4. )
ko’rinishda yozish mumkin. Adamar lemmasiga (M.V. Fidaryuk “обыкновенные дифференсиальные уравнения” kitobining 106-108 betlari) ko’ra (4.6) tenglamaning o’ng tomonini quyidagicha yozish mumkin:
ya’ni
. (4.7)
Ushbu va funksiyalar bir xil (bitta) boshlang’ich shartarni qanoatlantirgani uchun
(4. )
shartga ega bo’lamiz. (4.7) tenglamaning o’ng tomoni o’zgaruvchilar bo’yicha uzluksiz va o’zgaruvchiga nisbatan uzluksiz differensiallanuvchi bo’lgani uchun Adamar lemmasiga asosan F, G funksiyalar ushbu uzluksiz funksiyalarning integralidan iborat. Yechimning parametrlarga uzluksiz bog’liqligidan funksiya kichik larda uzluksiz. Shuning uchun quyidagi chekli limit mavjud:
Yana Adamar lemmasiga asosan
munosabatlarga ega bo’lamiz. Demak, hosila quyidagi
(4.8)
differensial tenglamani va
(4. )
boshlang’ich shartni qanoatlantirar ekan.
Misol-1. Quyidagi
(4.9)
masala yechimining hosilasini nuqtadagi qiymatini toping.
Yechish. Bu holda (4.8) tenglama ushbu
(4.10)
ko’rinishni oladi. Bu yerda . Agar bo’lsa, (4.9) masala quyidagi
ko’rinishni oladi. Bu Koshi masalasini yechib funksiyani topamiz.
Bundan foydalanib (4.10) masalani da
ko’rinishda yozish mumkin. Hosil bo’lgan chiziqli tenglamani yechib
ya’ni
topamiz.
Misol-2. Quyidagi
(4.11)
Koshi masalasi yechimining hosilasini nuqtadagi qiymatini toping.
Yechish. Qaralayotgan holda (4.8) tenglama
(4.12)
ko’rinishni oladi. holda (4.11) masala
ko’rinishda bo’lgani uchun bo’ladi. Bundan foydalanib (4.12) tenglama
ko’rinishga keladi. Chiziqli tenglamani yechib
, ya’ni
ekanligini topamiz.
Endi, ushbu
(4.13)
Koshi masalasining yechimini boshlang’ich shartga nisbatan silliqligini o’rganamiz.
Teorema-2. Aytaylik va funksiyalar
sohada uzluksiz bo’lsin. U holda, shunday soni topilib, (4.13) Koshi masalasining ushbu oraliqda aniqlangan yechimi uchun quyidagi tasdiqlar o’rinli:
1. –xususiy hosilalar uzluksiz funksiyalardan iborat bo’lib, mos ravishda ushbu
(4.14)
tenglamalarni qanoatlantiradi. Bu yerda
(4.15)
2. –aralash hosilalar uzluksiz.
Isbot. Avvalo ushbu
xususiy hosilani mavjudligini ko’rsatamiz. Buning uchun quyidagi yordamchi
(4.16)
Koshi masalasini ham qaraymiz. Berilgan (4.13) Koshi masalasining yechimi oraliqda mavjud. Shu bilan bir qatorda (4.16) Koshi masalasining yechimi oraliqda mavjud. Bu yechimlar boshlang’ich shartlarga nisbatan uzluksiz bo’lgani uchun, ushbu
baho o’rinli, ya’ni da munosabat o’rinli bo’ladi.
Bundan tashqari (4.13) va (4.16) Koshi masalalari quyidagi
(4. )
integral tenglamalarga ekvivalent. Shu bilan bir qatorda funksiyaga nisbatan ushbu
integral tenglamani ham qaraylik. Yuqoridagi integral tenglamalardan foydalanib quyidagi ayirmani hisoblaymiz:
ya’ni
bu yerda cheksiz kichik miqdor, ya’ni munosabat o’rinli bo’ladi, qachonki bo’lsa, bu esa da o’rinli. Oxirgi (4.17) tenglikni tengsizlikdan foydalanib, baholaymiz:
(4.18)
Bu yerda da yechimning boshlangich shartga uzluksiz bog’liqligidan
bo’lishi, bundan esa o’z navbatida
kelib chiqadi. Oxirgi (4.18) munosabatga Gronuolla tengsizligini qo’llasak quyidagi baho kelib chiqadi:
Bu bahodan da
bo’lishi kelib chiqadi. Bu esa, o’z navbatida
ekanligini bildiradi. Bundan, ushbu xususiy hosilaning mavjudligi va
tenglik kelib chiqadi. Teoremaning qolgan bandlari ham xuddi shunday isbotlanadi.
Do'stlaringiz bilan baham: |
