Teoremani isboti (Mavjudligi). Berilgan differensial tenglamani ushbu
ko’rinishda yozib, uni interval bo’yicha integrallaymiz:
Hosil bo’lgan bu tenglikda (2) boshlang’ich shartdan foydalanib
(5)
munosabatni hosil qilamiz. Bu munosabat funksiyaga nisbatan integral tenglamadir. Shunday qilib, agar funksiya (1)-(2) Koshi masalasining yechimi bo’lsa, u holda (5) integral tenglamani qanoatlantirar ekan. Aksincha, agar uzluksiz funksiya (5) integral tenglamaning yechimi bo’lsa, u holda berilgan (1)-(2) Koshi masalasining ham yechimi bo’lishini ko’rsatish mumkin. Haqiqatan ham uzluksiz funksiya (5) integral tenglamani qanoatlantirsin. U holda funksiya sohada uzluksiz bo’lgani uchun
munosabatning o’rinli bo’lishi “Matematik analiz” fanidan ma’lum. Yuqoridagi (5) tenglikning ikki tomonini differensiallab
ekanligini topamiz. (2) boshlang’ich shartning bajarilishi (5) tenglikdan ko’rinib turibdi:
.
Shunday qilib, (1)-(2) Koshi masalasi (5) integral tenglamaga ekvivalent ekan. Shuning ushun (1)-(2) Koshi masalasi yechimini mavjudligini ko’rsatish o’rniga, unga ekvivalent bo’lgan (5) integral tenglama yechimini mavjudligini ko’rsatamiz. Buning uchun ketma-ket yaqinlashishlar (Pikar) usulidan foydalanamiz.
Quyidagi
(6)
formulalar yordamida funksional ketma-ketlikni tuzib olamiz. Bu yerdagi funksiyalarning har biri (2) boshlang’ich shartni, ya’ni qanoatlantiradi.
Endi, ushbu
,
ayirmalarni baholaymiz:
(7)
Bundan ko’rinadiki, agar lar ushbu
tengsizlikni qanoatlantirsa, u holda (7) bahodan
( )
tengsizliklar kelib chiqadi. Bu esa funksiyalarning grafiklari larda to’g’ri to’rtburchakdan chiqib ketmasligini ko’rsatadi. Shunday qilib, tengsizlik bajarilsa, funksiyalarning grafiklari
to’g’ri to’rtburchakda joylashar ekan.
Endi, har bir tayinlangan larda ushbu sonli ketma-ketlikning da chekli limiti mavjudligini ko’rsatamiz va uni
(8)
orqali belgilaymiz. Shu maqsadda, matematik induksiya usulini qo’llab
(9)
bahoning o’rinli bo’lishini ko’rsatamiz. Bu baho da o’rinli:
Aytaylik, (9) tengsizlik biror uchun bajarilsin. U holda (9) bahoni uchun bajarilishini ko’rsatamiz. Lipshits shartidan foydalanib quyidagi ayirmani baholaymiz:
Agar deb, ushbu
belgilashdan foydalansak, (9) baho quyidagi
(10)
ko’rinishni oladi. Avvalo ketma-ketlik ushbu
tengsizlikni qanoatlantirishini ko’rsatamiz. Buning uchun ketma-ketlikni tuzib olamiz. Ko’rinib turibdiki,
munosabat o’rinli. Bunga ko’ra, shunday nomer topiladiki, tengsizlik larda bajariladi. Bu esa ya’ni ketma-ketlikning hadlari nomerdan boshlab kamayuvchi va chegaralangan ekanligini ko’rsatadi. Demak, Shuning uchun
tengsizlik bajariladi. Bundan va (10) tengsizlikdan
(11)
baho kelib chiqadi.
Endi , ketma-ketlik Koshi kriteriyasini qanoatlantirishini ko’rsatamiz. Buning uchun quyidagi ayirmani baholaymiz:
(12)
Bu tengsizlikdan
ekanligi kelib chiqadi. Bu esa ketma-ketlikning fundamentalligini va Koshi kriteriyasiga asosan uning (8) ko’rinishdagi chekli limitga ega ekanligini ko’rsatadi.
Quyidagi
geometrik progressiya yig’indisini topish formulasidan foydalanib, (12) tengsizlikni
ko’rinishda yozish mumkin. Bu tenglikda da limitga o’tib, (8) munosabatni inobatga olsak,
kelib chiqadi. Barcha larda (8) limitning mavjudligi ning shu kesmada aniqlangan funksiya ekanligini bildiradi.
Endi funksiyani kesmada uzluksizligini va uning grafigi to’g’ri to’rtburchakda yotishini ko’rsatamiz. Buning uchun ikki nuqta olib ushbu ayirmani baholaymiz:
Bu oxirgi tengsizlikda da limitga o’tsak,
baho kelib chiqadi. Bundan esa funksiyaning kesmada uzluksizligi kelib chiqadi.
Yuqorida isbotlangan ( ), ya’ni
tengsizlikda da limitga o’tib,
bahoni olamiz. Bu esa funksiyaning grafigi to’g’ri to’rtburchakda joylashishini ko’rsatadi.
Nihoyat uzluksiz funksiyani (5) integral tenglamani qanoatlantirishini ko’rsatamiz. Avvalo Lipshits shartidan foydalanib quyidagi ayirmani baholaymiz:
Quyidagi
tengsizlikda da limitga o’tib, ushbu
integral tenglamani hosil qilamiz. Bu esa uzluksiz funksiya (5) integral tenglamaning yechimidan iborat ekanligini bildiradi. Shunday qilib, (1)-(2) Koshi masalasining kesmada aniqlangan yechimi mavjud ekan.
Berilgan (1)-(2) Koshi masalasi yechimining yagonaligini ko’rsatish uchun quyidagi tasdiqdan foydalanamiz.
Lemma-1 (Gronuolla). Faraz qilaylik, kesmada funksiyalar uzluksiz va manfiy bo’lmasin. Agar ular uchun, ushbu
(13)
baho o’rinli bo’lsa, u holda
(14)
tengsizlik bajariladi.
Isbot. Aytaylik, bo’lsin. U holda (13) tengsizlikda modul ishorasini tashlab va uni ga ko’paytirsak,
(15)
hosil bo’ladi. Oxirgi (15) tengsizlikni ushbu
munosabatdan foydalanib
ko’rinishda yozish mumkin. Bu tengsizlikning ikkala tomonini integrallab
munosabatni hosil qilamiz. Bundan
kelib chiqadi, lemma shartidagi (13) tengsizlikka asosan
baho hosil bo’ladi. Bu baho larda ham o’rinli. Chunki larda (13) tengsizlikni quyidagi
ko’rinishda yozish mumkin. Bundan ham
kelib chiqadi.
Agar bo’lsa, u holda bo’ladi. Haqiqatan ham
bo’lsa, (14) dan
bahoga ega bo’lamiz. Bundan da olamiz, bu esa shartga zid. Shuning uchun . ■
Do'stlaringiz bilan baham: |