Сызықты дифференциялдық теңдеулер жүйесінің негізгі кластарының біреуін құрайтын дұрыс жүйелер

Мазмұны

Кіріспе ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ...

І . тарау.
Қажетті анықтамалармен жалпы тұжырымдар.
§1 Функцияның сипаттаушы сандары ... ... ... ... ... ... ... ... ... ... ... ... ... ... ...
§2 Сипаттаушы көрсеткіштердің негізгі қасиеттері ... ... ... ... ... ... ... ... ... .
§3 Сызықтың біртектес жүйе шешімдерінің сипаттаушы
көрсеткіштері... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ...

ІІ. тарау
Дұрыс және келтірімді жүйелер.
§1 Дұрыс жүйелер ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ...
§2 Үшбұрышты жүйелердің дұрыстығы.. Ляпунов теоремасы ... ... ... ... ..

Мысалдар ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ...

Әдебиеттер ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... .

Кіріспе
Дифференциялдық теңдеу шешімінің сипатын анықтау үшін өзінің бірінші әдісіне Ляпунов шешемді бірсарынды (монотонды) функциясымен салыстырады, мұндағы - нақты сан. Мұндай салыстыру нәтижесінде әрбәр шешімге белгілі бір саны сәйкес қойылады.Егер Функциялар жиынтығын өсу немесе кему кестесі ретінде алатын болса, онда осы кесте бойынша дифференциялдық теңдеулердің шешімдер жиынтығы реттелген болып шығады. Осылайша салыстыру негізінде Ляпунов сипаттаушы көрсеткіштер (сандар) теориясын жасаған. Ляпуновтың бірінші әдісі осы теорияға негізделген.
Жұмыста біртекті сызықты дифференциялдық теңдеулер жүйесінің негізгі кластарының біреуін құрайтын, дұрыс жүйелер қарастырылған.
Мұнда үшбұрышты жүйелер үшін негізгі теоремалардың бірі Ляпунов теоремасы және мысалдар келтірілген.

Әдебиеттер.
1. Ляпунов.А.М Общая задача об устойчивости движения, ОНТИ, М 1950
2. Малкин И. Г Теория устойчивости движения, Наука, М, 1966
3. Петровский И.Г Лекции по теории обыкновенных
диференциальных уравнений. Издательство МГУ, М. 1984
4. Демидович Б.П. Лекции по математической теории устойчивости, Наука,
М., 1967
5. Сүлейменов Ж. С. Дифференциалдық теңдеулер, «Білім» Алматы 1996
6. Коддингтон Э.А., Левисон Н. Теория обыкновенных дифференциальных
уравнений, М., 1958
7. Понтрягин Л.С обыкновенные дифференциальные уравнения, Наука, М.,
1983
8. Степанов В.В Курс дифференциальных уравнений,физматиз, М., 1959

Пән: Математика, Геометрия
Жұмыс түрі: Курстық жұмыс
Тегін: Антиплагиат
Көлемі: 25 бет
Таңдаулыға:

Мазмұны
Кіріспе ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ..
... ... ... ... ... ... ... ... ... ... ...
І – тарау.
Қажетті анықтамалармен жалпы тұжырымдар.
§1 Функцияның сипаттаушы
сандары ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... .
§2 Сипаттаушы көрсеткіштердің негізгі
қасиеттері ... ... ... ... ... ... . ... ... ...
§3 Сызықтың біртектес жүйе шешімдерінің сипаттаушы
көрсеткіштері...
... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ..
... ... ... ... ...

ІІ- тарау
Дұрыс және келтірімді жүйелер.
§1 Дұрыс
жүйелер ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ..
... ... ... ... ... ...
§2 Үшбұрышты жүйелердің дұрыстығы.. Ляпунов теоремасы ... ... ... ... ..
Мысалдар ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ...
... ... ... ... ... ... ... ... .
Әдебиеттер ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ..
... ... ... ... ... ... ... ... ... .

Кіріспе
Дифференциялдық теңдеу шешімінің сипатын анықтау үшін өзінің бірінші
әдісіне Ляпунов шешемді бірсарынды (монотонды) функциясымен
салыстырады, мұндағы - нақты сан. Мұндай салыстыру нәтижесінде әрбәр
шешімге белгілі бір саны сәйкес қойылады.Егер Функциялар
жиынтығын өсу немесе кему кестесі ретінде алатын болса, онда осы кесте
бойынша дифференциялдық теңдеулердің шешімдер жиынтығы реттелген болып
шығады. Осылайша салыстыру негізінде Ляпунов сипаттаушы көрсеткіштер
(сандар) теориясын жасаған. Ляпуновтың бірінші әдісі осы теорияға
негізделген.
Жұмыста біртекті сызықты дифференциялдық теңдеулер жүйесінің негізгі
кластарының біреуін құрайтын, дұрыс жүйелер қарастырылған.
Мұнда үшбұрышты жүйелер үшін негізгі теоремалардың бірі Ляпунов
теоремасы және мысалдар келтірілген.

І-ТАРАУ: Қажетті анықтамалармен жалпы тұжырымдар
§1 Функцияның сипаттаушы сандары
Ляпуновтың анықтамасы. Егер кез – келген мейлінше аз E0 саны
үшін нақты сан мына теңдіктерді
(1)
Қанағаттандыратын болса, онда оны функциясының сипаттаушы
көрсеткіші (саны) деп атайды.
Бұл анықтамадан кез – келген функцияның сипаттаушы көрсеткіші бола
бермейтіні көрініп тұр.
Перронның анықтамасы. Мына теңдік
(2)
арқылы анықталатын саны (нетаңбасы) функциясының
сипаттаушы көрсеткіші (саны) деп аталады.
Ляпунов пен Перрон анықтамаларының өзара пара – пар екенін көрсетейік.
(1) теңдіктер орындалсын. Оның біріншісінен санының бар болып, кез
келген және үшін
(3)
орындалатыны шығады. Ал екінші теңдік тізбегінің бар болып, ол
үшін шартының орындалатынын білдіреді. Демек, жетерліктей
үлкен үшін
(4)
теңсіздігі орындалады.
(3) және (4) теңсіздіктері логорифмдеу арқылы

теңсіздіктерін аламыз. Бұл екі теңсіздік (2) формуланың дұрыстығын
білдіреді. Енді сипаттаушы көрсеткіш (2) формула арқылы анықталсын. Онда
саны табылып, теңдігі орындалады. Сондықтан үшін
және Сандары табылып,

теңсіздіктері, яғни (2) орындалады.
(2) формула сипаттаушы көрсеткішті есептеу үшін өте ыңғайлы.
ЕСКЕРТУЛЕР.
1. Жоғарыда айтылғандардың, үшін
орындалғанда болатыны, ал
орындалғанда, болатыны шығады. Демек, болса, онда кезде
.
Функциясы кез-келген көрсеткіштікфункциясына қарағанда
баяуырақ және де белгілі бір тізбегі бойынша функциясынан тезірек
өседі. (1- сурет). Бұдан егер функцияның сипаттаушы көрсеткіші теріс болса,
оның кезде нольге ұмтылатыны, ал сипаттаушы көрсеткіші оң болса, оның
кезде шенелмегендігі шығады.

Егерде функцияның сипаттаушы көрсеткіш нольге тең болатын болса, онда
оның кездегі сипаты туралы ештеңе айтуға (с.к. бойынша) болмайды.

АНЫҚТАМА. Үзіліссіз вектор функциясының (матрица - жол
немесе матрица – бағана) сипаттаушы көрсеткіші деп оның нормасының
сипаттаушы көрсеткіші аталады.
және де ол норманың қай түрі
алынып тұрғанына байланысты болмайды, себебі ол нормалар
өзара пара –пар.
АНЫҚТАМА. Саны ақырлы функциялар жиынтығының сипаттаушы көрсеткіші деп
олардың сипаттаушы көрсеткішінің ішіндегі ең үлкенін айтады.
Әлбетте, егер вектор – функцияны компоненттерінің жиынтығы есебінде
қарастырып, оның сипаттаушы көрсеткіші формуласы арқылы анықталса,
онда ол - мен тең болады.

§2 Сипаттаушы көрсеткіштердің негізгі қасиеттері
1-Теорема. Саны ақырлы функциялар қосындысының сипаттаушы көрсеткіші
осы функциялар көрсеткішінің (олар ақырлы болғанда ) ең үлкенінен аспайды.
Ал егерде ең үлкен сипаттаушы көрсеткішке жалғыз ғана функция ие
болса,қосындының көрсеткіші оған тең болады.
іргелі жүйені де нақты деп есептеуге болады.
ДӘЛЕЛДЕУІ: Формула түрінде жазғанда, теореманың 1- ші бөлігін мына
теңсіздікті білдіреді.
(1)
белгілеу енгізейік:
онда үшін
Бұдан (1) теңсіздіктің шығатыны айқын. Енді теореманың екінші бөлігін
дәлелдейік. болсын. Онда үшін
Еркінсанынтеңсіздігін қанағаттандыратындай етіп алайық. Онда

теңдігі орындалады. Сондықтан мына ақиқат теңсіздікті

пайдалана отырып,
теңдігін аламыз. Олай болса, бұл теңсіздік (1) теңдікпен қосылып,

теңдігін береді.
Ескертулер.
1.Жасанды түрде қарағанда теорема кейбір функциялар ақырсыз ( неме-

се ) көрсеткішке ие болғанда да орындала береді.
2. Егер қосылғыштардың саны ақырсыз болатын болса, онда теорема мәнін
жояды (орындалмайды)
2- Теорема. Саны ақырлы функциялар көбейтіндісінің сипаттаушы
көрсеткіші осы функциялар көрсеткіштерінің қосындысынан аспайды,
(2)
Дәлелдеуі. Әлбетте, мына тұжырым

яғни, орындалады.
Ескертулер. Егер көбейткіш функцияларының арасында
теңдіктерін қанағаттандыратын және функциялары бар болса, онда
(2) теңсіздік анықталмай қалады .
Салдар. 1. Коэффициенттері шенелген ақырлы сызыұтық тіркестің енетін
функциялар көрсеткіштерінің ең үлкенінен аспайды.
шынында да,
екенін ескере отырып, 1,2 теоремар негізінде

Егерде сызықтық тіркестің коэффициенттері тұрақты болып, ал
функциялардың біреуі ғана ең үлкен көрсеткішке ие болатын болса , олнда
тіркестің көрсеткіші сол үлкенге тең болады. (1-теореманы дәлелдегендей):

3-Теорема. функциясымен оның кері функциясы көрсеткіштерінің
қосындысы нөлге тең болуы үшін кезде өрнегінің ақырлы шегі
болуы қажетті де жеткілікті.
Дәлелдеуі. Егер
болса, онда мына теңдікке
сүйеніп,
теңдігін аламыз, яғни анықталмаған ақырлы шек бар болады. Егер
бар болса, онда яғни орындалады.
1-Анықтама. Егер үшін ақырлы шек
бар болса, онда функциясының көрсеткішін дәл көрсеткіш деп атайды.
4 теорема. Егер функция f(t) дәл көрсеткішке ие болса онда f(t) және
g(t)(С[0;( ( функциялар көрсеткіштерінің қосындысына тең болады.
( (3)
Дәлелдеуі.
е –теорема негізінде (4)
болады. Екінші жағынан 3- теореманы ескере отырып, осы 2- теореманы қайта
қолдансақ

теңсіздігін аламыз. Ол (4) теңсіздікпен қосылып, (3) теңдікті береді.
Енді көрсеткіштік функция қарастырайық. Оның интегралы (алғашқы
бейнесі) түрінде алынсын.
Егер болса, Ал болғанда, болады.
Егер де болса, онда болады да теңдігі орындалмайды. Алайда
бұл жағдайда интегралды
түрінде алатын болса, болар еді, теңдік сақталар еді.
Сондықтан Ляпунов интегралдың мынандай ұғымын енгізген.
2- Анықтама. функциясының интегралы деп мына формулалар
кезде кезде арқылы анықталатын функциясын атайды.

§3 Сызықтың біртектес жүйе шешімдерінің сипаттаушы көрсеткіштері
Сызықтық біртектес
(1)
дифференциялдың жүйесін қарастырайық. Мұнда ал нақты матрица
үзіліссіз: . Әлбетте (1) жүйесінің нөлдік шешімі бар. Оның
сипаттаушы көрсеткіші -ке тең.
1-ТЕОРЕМА. Егер (1) жүйенің коэффициент матрицасы шенелген болса,
онда жүйенің кез келген нөлден өзгеше шешімі ақырлы көрсеткішке ие болады.
Дәлелдеуі. (1) жүйенің кез келген шешімі болсын. Теореманың шарты
бойынша
орындалады. Әлбетте, шешімін мына түрде
жазуға болады. Бұдан норма бойынша бағалау арқылы
Гронулл леммасына сүйеніп

теңдігі алынады. Ал бұдан саны нөлге тең дәл көрсеткішке ие
болғандықтан,
яғни теңсіздіктері шығады. Мұндағы
; енді екенін ескерсек, (1) жүйенің
нөлге тең емес шешімдерінің сипаттаушы көрсеткіштері кесіндісіне
жататыны алынады.
Ескерту. Жүйененің коэффициенттерінің шенелген болуы шешуші шарт. Ол
бұзылса теорема орындалмайды.
Лемма. Әр түрлі (бір – біріне тең емес) көрсеткіштерге ие вектор –
функциялар өзара сызықтық тәуелсіз болады.
Дәлелдеуі. аралығында анықталған вектор – функциялары
берілсін және болсын. Анықтау үшін деп есептейік. Кері
жорып, бәрі бірдей нөл емес сандары табылып, орындалсын делік.
Коэффициенттердің ішінде болсын. Онда
§2 – дәлелденген 1-2 теореманың салдарына сүйеніп,

теңдігін аламыз. Бұл шартқа қайшы. Кері жору қате, сызықтық
тәуелсіз.
3-Теорема. Жүйенің ерекше көрсеткіші болса, онда кез келген
саны үшін мен - дан тәуелсіз әрі мына теңсіздікті
қанағаттандыратын
(2)
саны табылады.
Дәлелдеуі. деп алсақ,
теңдігі алынады. Бұдан немесе үшін саны табылып,
болғанда, (3)
теңсіздігі алынады. Ал болғанда,
орындалады. Демек, немесе кезде
(4)
теңсіздігі орындалады.
Ал мына кезде

теңсіздігі орындалады. Егер деп, ал деп белгілесек (4),(5)
теңсіздіктерден (3) теңсіздік шығады. Сонымен ерекше көрсеткіш (3)
теңсіздікті қанағаттандыратын барлық сандарының ең кішісі (төменгі
шегі) болып табылады және (1) жүйенің бірқалыпты ден тәуелсіз)
орнықтылығын анықтайды. кезде (1) жүйе бірқалыпты асимптотикалық
орнықты болады. Егер (1) – жүйе болады. Жалпы айнымалы матрица
болғанда, мұндай қатынас алынбайды.
кеңістігінде сызықтық біртектес
(1)
жүйесін қарастырайық.оның спектрі өсу бағытында орналасқан
болсын. (1) жүйенің барлық шешімдерінің жиынтығы сызықтық кеңістік
құрайтыны белгілі. Ол кеңістіктің нүктелері болып жеке шешімдері, ал
базисы болып шешімдердің кез – келген ілгері жүйесі табылды. Ілгері
жүйеге енетін, сипаттаушы көрсеткіштері - ге тең, шешімдердің саны
болсын. Мұнда кейбір - лер нөлге тең болуыда мүмкін. Онда

жүйесінің сипаттаушы көрсеткіштерінің қосындысы деп аталады. Оның
төменгі шегін анықтайтын Ляпунов теңсіздігі дәлелденді:
(2)
сипаттаушы көрсеткіштері болатын өзара сызықтық тәуелсіз
шешімдердің ең үлкен саны болсын. Сипаттаушы көрсеткіштері -
ден аспайтын, нөлдік шешімді қамтитын барлық шешімдер жиынтығы арқылы
белгіленсін. Әлбетте, . қосындымен көбейтіндінің көрсеткіштері
туралы теоремалардан мына қасиеттер алынады.
сондықтан жиынтығы кеңістігінің ішкі сызықтық кеңістігі
болып табылады.
1 – Лемма. Кеңістігінің өлшемі ге тең болады.
(3)
Дәлелдеуі. Шынында да, анықтама бойынша, сипаттаушы көрсеткіші
болатын әрбір шешім - ге енеді. Демек, (4)

енді кеңістігінің
шартын қанағаттандыратын базисы болсын. Бұл базис міндетті түрде ең
үлкен көрсеткішке ие шешімді өзіне ұстайды. Олай болса базистың
шешімдерінің сызықтық тіркесі (комбинациясы) арқылы өрнектелмейтін
шешімдер бар болатын еді. (1) жүйенің сипаттаушы көрсеткіші - ге
тең. шешімін алайық. Онда шешімдер жиынтығы жаңа базаис
құрайды. Шынында да, егер
тепе – теңдігін қарастыратын болсақ, онда оны мына түрде

қайта жазып, шешімдерінің сызықтық тәуелсіздігі арқасында
теңдіктерін алар едік. Бұдан алынады. Олай болса,
кеңістігінің жаңа базисы. Бұл базистың әрбір элементі (шешімдер)
сипаттаушы көрсеткіштергге ие. Демек,
(5)
... жалғасы

Сіз бұл жұмысты біздің қосымшамыз арқылы толығымен тегін көре аласыз.