ПӘннің ОҚУ-Әдістемелік кешені «Орнықтылық теориясы»
жүктеу/скачать 0,55 Mb.
|
 (20)
мұндағы Дифференциалдық теңдеулер жүйесі шешімінің бар болуы туралы локальді теореманың негізінде  болатындай кез келген  жұбы үшін (17) жүйенің  шешімі бар болады, ал ендеше  аралығында анықталған және осы аралықта  теңсіздігін қанағаттандыратын, мұнда негізінде -ға тәуелді,  шартын қанағаттандыратын (20) интегралдық теңдеудің де шешімі болады.
 теңсіздігінен
 (21)
болатындай  (22)
теңсіздігі орындалады. Енді (15) және (18) формулалардың негізінде болғанда мынаны аламыз:
мұндағы 
немесе (жоғарыда  (23)
оң санын  болатындай соншалықты кішкентай етіп таңдап аламыз. Онда болғанда (23)-тен келесі теңсіздік шығады:
 (24)
мұндағы (24) теңсіздіктен Бихари леммасының 1-салдарының негізінде төмендегі теңсіздікті аламыз:  (25)
егер тек
 (26)
болатын болса. Алайда 
болғандықтан (26) теңсіздікті (25)-тен, егер  шамасы жеткілікті аз болса, онда кез келген үшін нүктесі
облысының ішкі нүктесі болып табылады. Бұдан  (27)
Мұндағы, 
Мұндағы, №15 дәріс Каталог: ebook -> umkd umkd -> Мамандығына арналған Сұлтанмахмұттану ПӘнінің ОҚУ-Әдістемелік кешені umkd -> Қазақстан Республикасының umkd -> Қазақстан Республикасының umkd -> Студенттерге арналған оқу әдістемелік кешені umkd -> ПӘннің ОҚУ Әдістемелік кешені 5В011700 «Қазақ тілі мен әдебиеті» мамандығына арналған «Ұлы отан соғысы және соғыстан кейінгі жылдардағы қазақ әдебиетінің тарихы (1941-1960)» пәнінен ОҚытушыға арналған пән бағдарламасы umkd -> «Балалар әдебиеті» пәніне арналған оқу-әдістемелік материалдар 2013 жылғы №3 басылым 5 в 050117 «Қазақ тілі мен әдебиеті» umkd -> ПӘннің ОҚУ-Әдістемелік кешенінің umkd -> 5 в 011700- Қазақ тілі мен әдебиеті umkd -> 5 в 011700- Қазақ тілі мен әдебиеті umkd -> «Филология: қазақ тілі» мамандығына арналған жүктеу/скачать 0,55 Mb. Достарыңызбен бөлісу:
|
.
оң тұрақтысы бар болады. 
үшін
- жеткілікті үлкен оң тұрақты. 
үшін алынған бағалауды ескерсек)
.
бастапқы берілгендерінің жеткілікті аз төңірегінің есебінен әрқашанда орындалады деп санауға болады.
деп есептеуге болады. Сонымен,
- қандай да бір тұрақты. (27)-де 
болғанда мынаны аламыз:
-оң тұрақтысы ақырсыз аз. Демек, (14) сызықты емес жүйенің нөлдік шешімі экспонентті орнықты. Теорема дәлелденді.