5-teorema. Aytaylik, vektor-funksiya (1) sistemaning intervalda aniqlangan biror yechimi bo‘lsin. Agar , va bo‘lsa, u holda shu yechimni intervalga davom ettirish mumkin.
Isbot. 1-teoremaga ko‘ra, bo‘lgani uchun , funksiya ham yechim bo‘ladi va , ayniyat o‘rinli. Bu ayniyatdan funksiya intervalda aniqlangani uchun funksiya intervalda aniqlangan bo‘ladi. Haqiqatan ham tengsizlikdan bo‘lganda va demak, yechimni dan chapga miqdorga davom ettirish mumkin, shunga o‘xshash, bo‘lganda , ya’ni yechimni dan o‘ngga miqdorga davom ettirish mumkin bo‘ladi. Har ikki holni birlashtirib yechimni intervalga davom ettirish mumkinligini qayd qilamiz. Shu intervalda aniqlangan yechim uchun ayniyat o‘rinli. desak, u holda , ya’ni bundan xuddi avvalgidek ekaniligi kelib chiqadi. funksiya intervalda aniqlangan bo‘lgani uchun oxirgi ayniyatdan foydalanib, mavjudlik intervalini yanada kengaytirish mumkin. Boshqacha aytganda, intervalda aniqlangan yechimni qurish mumkin. Bu yechimni deb belgilaymiz. Shunga o‘xshash, mavjudlik intervalini dan iborat bo‘lgan yechimni qurish mumkin.
Yuqoridagi tengsizlikda da limitga o‘tsak, interval hosil bo‘ladi ( va lar qanday bo‘lishidan qat’iy nazar). Shu intervalda aniqlangan yechimni deymiz. Ammo isbot davomida muxtor sistemaning har qanday trayektoriyasi chekli vaqtda cheksizga ketib qolmasligidan foydalanildi.■
Dostları ilə paylaş: |
