Professional Documents
Culture Documents
Редакција серије:
Чланови одбора:
А. В. Даниљченко (зам. пред.), Н. Н. Герасимович (одг. секретар),
М. А. Журавков, С Н. Ходин, И. С. Ровдо, И. И. Пирожник,
В. В. Лисак, О. М. Самусевич, О. А. Ивашкевич (зам. пред.),
В. М. Анишик, П. А. Мандрик
В. В. Амељкин
ДИФЕРЕНЦИЈАЛНЕ ЈЕДНАЧИНЕ
Одобрено
Министарством просвете Републике Белорусије као уџбеник за студенте високошколских установа
на студијском програму МАТЕМАТИКА
МИНСК
БГУ
2012
УДК 517.91(075.8)
ББК22.1б1.6я73
А61
Рецензенти:
департман за математику БГУИР (шеф департмана др физ.-мат.наука, професор В. В. Цегељник);
шеф департмана за математику БГЭУ др физ.-мат.наука, професор М. П. Димков
Амељкин, В. В.
А61 Диференцијалне једначине: уџбеник / В. В. Амељкин. — Минск; БГУ, 2012. — 288 с. —
(Класично Универзитетско издање ).
ISBN 978-985-518-703-6.
1
УДК 517.91(075.8)
ББК22.161.6я73
ISBN978-985-518-703-6
© Амељкин В. В., 2012
© БГУ, 2012
С. В.Абламејко
УВОД
Сада постоји много добрих књига о основама теорије и примене обичних диференцијалних
једначина (ОДЈ). Ипак је очигледно да постојипотреба за сталним унапређењем курса ОДЈ
повезаног са најновимнаучним достигнућима, новим изазовима и успешним методикама.Циљ ове
публикације, с једне стране једа пружи студенту неопходанминимум знања класичне теорије
диференцијалнихједначина ради успешне примене у разним областима науке и технике, аса друге,
дага доведедо разумевања задатака модерне теорије диференцијалнихједначина и технике
решавања.
Приручник је написан на основу циклуса предавања аутора током многих годинау производном
погону за механику и математикуБеларуског Државног Универзитета. Садржи детаљан преглед
свих питања наставног плана курса "Диференцијалнеједначине"за механичко-математичке и
физичко-математичке специјалностиУниверзитета.
Материјал приручника је намењен студентима са средњим нивоомприпреме.Коришћени су само
класични концепти из области математичке анализе и основниподаци из линеарне алгебре.
Кратко ћемо се задржати на неким одређеним аспектима уџбеника.Пре свега, обратимо пажњу на
теорему 3.1 која тврди даје тачка прелома интегралне криве скаларне диференцијалне једначине
тачкатангенте интегралне криве и изоклине. Ових једноставних али корисних чињеница нема
ууџбеницима о диференцијалним једначинама.Постоје два фундаментално различита приступа
појму интеграциједиференцијалних једначина: интеграција у ужем и ширем смислу(§ 4), чије
разумевање дозвољава избегавањеразне врсте неспоразума,јерсе у уџбеницима о диференцијалним
једначинама питање интеграције третира другачије. Треба имати у виду и две тачке гледишта на
појаминтеграције у околини јединствене тачке.
Истакнимои Теорему 6.2, која наглашава чињеницу да кадаОјлеров идентитет на отвореном скупу
IS,диференцијална једначина (6.1)ће бити једначинатоталног диференцијала, говорећи уопштено, на
неком отвореном подскупуD са O, што и илуструје наведенипример.
2
ПРЕДГОВОР
Приликом разматрања питања о сингуларном решењу издвојимо теорему 11.1, која се односи на
довољан услов за постојање енвелопе (обвојнице) - једноставног и ефикасног услова, али у
уџбеницима о диференцијалним једначинамасе једва помиње. Донекле неочекивано за студенте је
чињеница да се на неком скупу линеарно зависних скаларних функција и вектора могу градити
линеарно независне вектор-функцијe (§ 29). Погодна за примену је и Теорема 30.6 о неопходном и
довољном услову линеарне зависности скаларних аналитичких функција, која недостаје у
академској литератури о диференцијалним једначинама. Истакнимо и кратак доказ Кошијеве
теореме 43.1 о холоморфном решењу диференцијалних једначина и Поенкареове теореме 48.1 о
аналитичкој зависности решења диференцијалних једначина од параметра на бази идеја
контрактивног пресликавања. Обратимо пажњу на потпуно нови приступ за образовну литературу о
проучавању питања стабилности кретања аутономних диференцијалних једначина, заснован на
коришћењу функција константног знака што значајно проширују могућности другог метода
Љапунова (§ 58). У овој књизи појам "опште решење", који је коришћен у већини уџбеника,
замењен је појмом "с-фамилија решења" диференцијалне једначине, због тога што појам "опште
решење", са тачке гледишта руског језика, нетачно интерпретира суштину питања, јер не може увек
описати сва решења диференцијалних једначина. Такође, термин "опште решење" није потпуно
тачан превод са француског на руски, јер термин general solution треба очигледно превести као
"главно или генерално решење". У цитатима и библиографији наведени су називи уџбеника у којим
су питања, дотакнута у овом раду, излажу методолошки другачије и са другим акцентом у избору
материјала.
Аутор захваљује рецензентима, доктору физ. мат. наука, професору М.П. Димкову и доктору физ.
мат. наука, професору В.В.Цегељнику - за конструктивне коментаре за побољшање садржаја
уџбеника, као и др физ.мат.наука, доценту Б.С. Калитинуи др физ.мат.наука, доценту Ју.Б. Сироиду
за корисне сугестије.
3
ГЛАВА 1
Обичне диференцијалне једначине 1.реда.Општа питања
интеграљења у квадратурама
У овом случају, вредност извода тражене функције у свакој тачки мора одговарати вредности у
одговарајућој тачки саме функције, као на пример, за функцију , задату једначином
Штавише, показује се да таквих функција има бесконачно много, и оне су задате релацијом
( *
Aко нас занимају реалне функције које би моглe претворити ову једначину у идентитет, очигледно
је да такве функције не постоје, јер је вредност извода, у датом случају имагинарна.
Размотримо сада ДЈ.
( *
4
Ову ДЈ задовољава само једна реална функција која је дата релацијом .
Дакле, наведени примери воде нас до једног од најважнијих задатака теорије ДЈ, који је везан за
проналажење услова који гарантују постојање функција које претварају задату ДЈ у идентитет и
које дају одговор на питање о броју таквих функција.
На ова и друга питања даћемо одговор касније. Напоменимо да се појам ДЈ јавља у курсу
математичке анализе при тражењу примитивне функције. Дакле, имајући на уму да примитивном
функцијом на интервалу функције називамо функцију , која је
диференцијабилна у било којој тачки , а вредност њеног извода једнак .
Закључјемо да тражење примитивних функција , води тражењу функција , таквих да је
Задатак се сада своди на проналажење такве вредности у којој функција достиже свој максимум.
Решавањем овог задатка проналажења максимума, долазимо до прве ДЈ,
5
која описује поступак припреме студента за испит. Поступајућ[[[и даље на стандардан начин,
налазимо да је тражено √ ⁄ (за , добијамо да је , што значи ; за
, поново је ,а ).
Не говорећи више о задацима који доводе до ДЈ, приметимо само да се такве једначине појављују у
решавању задатака из различитих области науке и технике. То су, нпр. физика и астрономија,
математикаи хемија, биологија и економија, екологија и медицина, војни задаци, енергетика и др.
Корисан водич за формирање ДЈ је приручник К. К. Пономарева [1], у којем има више од 300
задатака из различитих области природних наука и технике, од чега су око 200 задатака са
детаљним решењем (види. такође и књигу В.В. Амељкина [2]).
Говорећи о ДЈ, треба напоменути да постоје различити типови таквих ДЈ. На пример, обичне
диференцијалне једначине (ОДЈ), парцијалне ДЈ, ДЈ са одстрањујућим аргументом, функционалне
диференцијалне једначине, стохастичке ДЈ, итд. У овом уџбенику посебна пажња се даје ОДЈ, чија
је теорија најразвијенија,а познавање различитих аспеката ове теорије је неопходно у проучавању
других типова ДЈ.
̇ ( )
(1.1)
где је независна променљива, коју ћемо даље звати време; непозната функција,
дефинисана на неком интервалу са вредностима у задато пресликавање скупа
(обично, скуп је или област (отворени повезан скуп) или затворени паралелепипед)
, а ̇ је симбол диференцијације по ( ̇ ).
Често се, како у образовној тако и у научној литератури, користи скраћени облик ДЈ (1.1) у облику
̇
(1.1')
Ако у ДЈ (1.1), тј. (1.1'), деснa страна не зависи од времена експлицитно, тј ако јеДЈ облика
̇ ( ) ̇
(1.2)
онда се она зове аутономна ДЈ.
Такође, aко бар једна компонента вектор-функције експлицитно зависи od , тада се ДЈ (1.1) зове
неаутономна ДЈ.
Специјални случај неаутономне ДЈ је раније наведена ОДЈ ̇ .
Обратимо овде пажњу на чињеницу да једначина
̇ ( )
6
није ОДЈ 1.реда у нормалном облику.
Даље, истакнимода се скуп , на коме је дефиниисана функција , зове скуп области
дефинисаности ОДЈ (1.1).
У случају ОДЈ скуп њене области дефинисаности биће , где је .
За аутономну ДЈ (1.2), скуп дефинисаности је скуп где је .
Ако је у векторском простору задата база , онда векторску ДЈ (1.1) можемо записати
у координатном облику помоћу диференцијалног система (ДС)
̇ ̅̅̅̅̅
(1.1'')
Заиста, како је
̇ ̇ ̇ ̇
то је
̇ ̇ ̇
̇ ( ) ( *
̇
{
̇
Обратимо пажњу на следећу околност. Као што смо већ видели, у општем случају,једначина (1.1)
((систем 1.1"))је неаутономна. Али показало се, да неаутономном ДЈувек можемо кореспондирати
аутономни систем, увођењем нове променљиве. Такав систем је облика
7
Дефиниција 1.2.Решење (у експлицитном облику) ОДЈ (1.1) са непрекидном десном страном
, (по свим променљивим) дефинисанимна интервалу | | називасепресликавање
, које једиференцијабилнo на , ( ако је полуинтервалили сегмент, ондаукрајњој
тачкиима одговарајући једнострани извод), чији график (графиком пресликавања се зове
подскуп директног производа који се састоји од тачака ( , где је ) лежи у иважи
̇ ( ) ( ̇ ( ))
( )
У случају једначине
̇ √
(1.4)
где је [ ,непосредном провером показује се да су њена решења, на
пример, функције задате релацијама
Графици ових функција приказани су на слици2, причему у првом случају имамо полупараболу (а
не параболу), због тога што из облика ДЈ следи да је извод сваке функције која задовољава ДЈ, увек
ненегативан.
Напоменимо да графиком пресликавања зовемо подскуп директног производа ,
кога чине тачке .
8
Сл. 1. За ДЈ (1.3) Сл.2. За ДЈ (1.4)
Такође приметимо, да је од два решења последње ДЈ могуће конструисати тзв. слепљено (спојено)
решење. Такво решење је, на пример, решење добијено састављањем полуинтервала ] осе и
полупараболе .
У теорији ДЈ спојена решења се обично не разматрају.
Проналажење решења ДЈ обично се назива интеграљењем.
Историјски,основни задаткак теорије ДЈ је био задатак интеграције ДЈ у квадратурама, тј. задатак о
представљању решења ДЈ аналитичким формулама, помоћу низа елементарних функција, тј.
Помоћу полиномних, степених, тригонометријских, инверзно тригонометријских,
експоненцијалних, логаритамских и функција које се могу добити из њих уз помоћ коначног броја
операција, од којих је свака или једна од аритметичких операција, или композиција пресликавања и
функција које фигуришу у ДЈ, користећи само коначан низ алгебарских операција и операција
неодређеног интеграла (квадратуре). Међутим, након што је Жозеф Лијувил(Liouville J., 1809-1882,
француски математичар)1841. год.показао да се ДЈ у квадратурама интегришу ретко, основни циљ
теорије ДЈ постао је одређивање својства решења ДЈ, непосредно.
Дефиниција 1.3.Интегралном кривом, или кретањем, ОДЈ (1.1) назива се график решења ОДЈ (1.1).
9
Сл. 3. За дефиниције 1.3 и 1.4
(1.5)
Дефиниција 1.6. ОДЈ (1.1) задовољава услове постојања решења, ако за било коју тачку
постоји и пресликавање ( { || | }), које је решење ОДЈ (1.1) и
којезадовољава почетнe условe (1.5).
Дефиниција 1.7. ОДЈ (1.1) задовољава условјединствености решења, ако за било којадва
решења и ,из једначине , где је следи да је
.
Из последње дефиниције следује да, на пример,ОДЈ (1.4) не задовољава услов јединствености
решења.
Дефиниција 1.8. Решење ОДЈ (1.1), кроз чију сваку тачку графика пролази најмање један график
другог решења (1.1) зове се сингуларно решење.
§ 2. КОШИЈЕВ ПРОБЛЕМ.
ГЕОМЕТРИЈСКO ЗНАЧЕЊЕ ОБИЧНЕ ДИФЕРЕНЦИЈАЛНЕ ЈЕДНАЧИНЕ 1.РЕДА У
НОРМАЛНОМ ОБЛИКУ
10
Другим речима, Кошијевзадатак се састојиу конструкцијипресликавања које задовољава
следећа два услова:
̇
(2.1)
Надаље, Кошијев задатак ћемо писати у облику (2.1).
Поље праваца. Нека свакој тачкиобласти дефинисаности система (1.1") одговара јединични
вектор са почетком у овој тачки, чији су косинуси правца једнаки, респективно, и
вредностимадесних страна једначина система (1.1") у датој тачки.Истакнимо да су косинуси правца
вектора у Декартовом координатном системукосинуси углова којеовај вектор чиниса координатним
осама.Ако су ̅̅̅̅̅̅ углови којeобразује вектор ⃗ у Декартовом координатном
системуредом са осама , онда косинусе правца вектора ⃗одређујемо помоћу формула
√∑
11
Одавде, специјално, следи да, ако је вектор јединичан, онда се његови косинуси правцапоклапају са
одговарајућим координатама вектора. Косинусима правца праве линијезову секосинуси правцабило
ког ненултог вектора паралелног датој прави.Скуп овакоодређених вектора се зове поље праваца
(Сл. 5).
Да би разјаснили геометријско значење ОДЈ (1.1), записаћемо систем (1.1") који одговара векторској
ДЈ (1.1), у такозваном симетричном облику, тј у облику:
̅̅̅̅̅
при чемује одсечакпоља праваца који је повезан са наведеном тачкомочигледно иодсечак ове
тангенте.
Дакле, интегрална крива једначине (1.1) (система (1.1")) има такво својство, да се у свакој њеној
тачки правац тангенте поклапа са правцем поља, које је дато једначином (1.1) (система (1.1")) у
одговарајућој тачки.
Ова особина и одређује геометријски смисао ОДЈ (1.1): правац тангенте интегралне криве за ОДЈ
(1.1) у тачки ,поклапасе са правцем поља, које одређује ОДЈ (1.1) у истој тачки .
̇
(3.1)
12
где је пресликавање области у , такво да ДЈ (3.1) задовољава услове постојања
решења.
Дефиниција 3.1. Крива у чијојје свакој тачки нагиб вектора поља праваца дефинисаног ДЈ
(3.1)исти, зове сеизоклинаДЈ (3.1).
Фамилија изоклина ДЈ (3.1) (ако их има) дата је једначином
Сл. 6. КДЈ
Познавање изоклинaпонекад може дати потпуну слику о понашању интегралних кривих ДЈ облика
(3.1), чак и безинтеграљења.
На пример, за ДЈ
̇ √
(3.2)
фамилија изоклинаје фамилија кривих дефинисаних једначином √ или једначином
. Дакле, изоклинама за дату ДЈ се сматрајуконцентрични кругови са центром у
координатном почетку .,који се добијају за различите вредности параметра (за
изоклина је тачка ).
Приметимо да је у овом конкретном случају, нагиб (коефицијент правца) ̇ тангенте интегралне
криве једнак полупречнику одговарајућег круга, па је лакопредставити понашање
интегралнихкривих ДЈ (3.2) (сл.6).
Дефиниција 3.2.Крива, у чијим тачкама интегралне криве ДЈ (3.1) имају превој, зовеселинија
тачакапревоја.Подсетимо се да, ако је функција двапут непрекидно диференцијабилна
13
на интервалу и ̈ jеднако нули само када , тадаје вредност апсциса тачке
превоја за функцију само ако ̈ мења знак када пролази кроз . Тачка ( )jeтачка
превоја графика функције .
Теорема 3.1. Нека je тачка ( ) тачкапревоја интегралне криве која одговара решењу
ДЈ (3.1). Тада, ако је функција непрекидно диференцијабилна, онда је тачка ( ) додирна
тачка интегралне криве и изоклине.
( ) ( )
̈
Како је утачки превоја графика функције вредност њеног другог извода нула, то је
( ) ( )
одакле је
( ) ( )
⁄
( ) ( )
Из које добијамо већ унапред нађену вредност извода , што доказује теорему.
14
тада је занимљивото што она може бити истовремено иинтегрална крива, и изоклина, и линија
тачака превоја. Очигледно, у овом случају, крива је график сингуларног решења.Пример за то је
ДЈ ̇ за коју јекрива дата релацијом .
(3.3)
Област дефинисаностиједначине (3.3) је цела раван . Крива ,чија је једначина (сл. 7),
очигледно није интегрална крива.
Што се тиче криве ,онаје интегрална крива, која није линија тачака превоја.
Праве и деле раван на три подобласти:
̇ ̈ десно од
̇ ̈ између и
̇ ̈ лево од
На кривој се налазетачке минимума интегралних кривих.
Десно од интегралне криве се пењунагоре, алево сеспуштајунадоле, ако гледамо са лева на десно.
Тачака превоја нема. Десно од интегралне криве су конкавне нагоре,а лево су конкавне надоле.
Квалитативна слика понашања интегралних кривих илустрована је на сл. 7.
15
Напомена 3.3. У размотреном примеру, интегрална крива јекрива"раздвајања" и она раздваја
једну фамилију интегралних кривих од друге.
Такве криве се обично називајусепаратрисе.
(4.1)
Уствари,ако су ДЈ (3.1) и (4.1) такве да су им десне странедефинисанеу свакој тачки некеобласти ,
тада суове једначине еквивалентне,у смислу да, ако је пресликавање решење ДЈ (3.1), онда
је инверзно пресликавање решење ДЈ(4.1) и стога, једначине (3.1) и (4.1) имају заједничке
интегралне криве. Уколико у некој тачки подручја једна од једначина (3.1) или (4.1) нема
смисла, тада постоје два приступа интеграције ДЈ: интеграција у ширем смислу и интеграција у
ужем смислу.
Ако говоримо о интеграцији ДЈ у ширем смислу, онда у тачкама недефинисаности десне стране
једначине уместо почетне једначине посматрамо "реципрочну" ДЈ, чијарешењаприсједињујемоса
решењимапочетне једначине. Обједињавање ових решења су геометријскетачке, што значи да
сеобласт допуњује правцимакоји су паралелни оси .Самим тим, област деф. ДЈ (3.1) ((4.1))
се шири. Тако, интеграцијау ширем смислу значи: разматрајући ДЈ (3.1) и њену "реципрочну"
једначину (4.1), сматра се да разматрамоједну ДЈ. Када говоримо о интеграцији ДЈ(3.1) у ужем
смислу, тадасе "реципрочна"једначина не разсматра, аполазна једначинасе разматрасамо у
областидефинисаностифункције .
Дакле, ако интеграцију подразумевамо у ширем смислу, тада су променљиве и у ДЈ
равноправне. Ова чињеницасе истичеаналитичким записом ДЈ у тзв. диференцијалном
(симетричном) облику:
(4.2)
У случају ДЈ (3.1) имамо да је
16
У овом случају,тачка je таква да и зове сесингуларномтачком ДЈ
(4.2), анесингуларном тачкому супротном случају, тј. за случај
За свакусингуларну тачку могућеје одредити неку њену околину укојој је, или или
што значи да јеинтеграција ДЈ(4.2) у еквивалентна интеграцији ДЈ
( )
(4.1)
у ширем смислу.
Што се тиче интеграције ДЈ (4.2) у околинисингуларне тачке, онда овде имамо две тачке гледања.
Према првој: једначина (4.2) се сматра, као што је већ раније поменуто, још једним обликом писања
(диференцијалан илисиметричан) једначине (4.3), интеграбилне у ширем смислу. Уколико у
сингуларној тачки правацапоља диференцијалних једначина (4.3) нису дефинисани ,
овосвојствосе приписује и једначини (4.2). Другим речима, сингуларна тачка у области
дефинисаности једначине (4.2) ((4.3)) није укључена.
На основудруге тачке гледишта, које седрже, на пример, аутори уџбеника [3].), ДЈ (4.2) није
повезана са ДЈ (4.3), и њусматрају као посебан случај тзв.Фафове (Рfaff I. Е,1765-1825, немачки
математичар) једначине,
При оваквом приступу,сингуларна тачка (4.2) је већ укључена у област дефинисаности једначине,
при чему се сматра да иДЈ (4.2) дефинише у овој тачки неки правац.
На пример, размотримоФафову ДЈ
(4.4)
Област дефинисаности ове једначине је .Непосредно се проверава да су праве и
интегралне криве посматранеДЈ. Да бисмоодредили читав скуп њених интегралних кривих,
поступимо на следећи начин. Поделимо обе стране ДЈ (4.4) са .Као резултат, добијамо ДЈ
oдакле је,
| | | | | | | |
17
или
| | | | | | | |
или
(4.5)
Где је с произвољна константа различита од нуле.
Додавањем добијеном скупу решења (4.5), који ћемо називатис-фамилијом решења, и раније
нађенасингуларна решења ( и суконстанте), , , добијамо комплетну фамилију решења,
тј. скуп свих решењапосматране Фафове једначине:
* (* )
(4.6)
где је произвољна константа.
На тај начин, интегралне криве Фафове једначине (4.4) су праве (4.6), које пролазе кроз сингуларну
тачку (сл.8).
18
садрже сингуларну тачку (сл.9).
Већ смо истаклида је ДЈ интеграбилнау квадратурама само у ретким случајевима, па је зато главни
задатак теорије ДЈ да се разјасне својства решења помоћусвојства самих ДЈ. Ипак, за одређене
задатке често је потребно знање техничких метода решења стандардних типова ДЈ, које олакшавају
решавање задатогпроблема.
Размотримо сада методе решавања неких важних класа скаларних ОДЈ 1. реда.
̇
(5.1)
уз претпоставку да је функција непрекидна у траци ,где је ||одсечак из . Ако
је за тадасу функције, дефинисане релацијама решења
ДЈ (5.1), којa се обично зовустационарним.
Ако је у некој околини тачке , тада у овој околиниразматрамо„реципрочну―ДЈ
(5.2)
која је једноставнија ДЈ у односу на непознату функцију .
Потпунафамилијарешења ДЈ (5.2), за , задата је релацијом
(5.3)
дефинише -фамилију решења ДЈ (5.1).
Тако, свеукупнафамилија решења ДЈ (5.1) се састоји од -фамилија (5.3) и стационарних решења,
уколико постоје.
19
Напомена 5.1. Стационарна решења могу бити елементи -фамилије решења ДЈ (5.1).
(5.4)
где су функције , и , непрекиднe на неким интервалима | |и | |редом.
Tада, ако једначину (5.4) разматрамо као посебан случај Фафове једначине, под условом
за и за функције дефинисанe идентитетима
∫ ∫
(5.5)
којадефинише -фамилију решења у имплицитном облику где је, нумерички параметар који узима
произвољне вредности из неког скупа .
Општије,у случају једначина облика (3.1) или (4.2) говори, да је релација ,где је
непрекидно диференцијабилна функција у области , чији суизводи и
истовремено нуле само у сингуларним тачкама ДЈ (4.2), нумерички параметар који
узима произвољне вредности из неког скупа и одређује фамилију решења(3.1) ((4.2)) у
имплицитном облику ако је
где је иликоресподентно
где је .
Враћајући се на ДЈ (5.4), приметимо да је потпун систем решења ове једначине скуп стационарних
решења (ако постоје) и -фамилија решења у имплицитном облику (5.5).
Напомена 5.2. Стационарне решењаДЈ (5.4) могу бити укључена у -фамилију решења.
20
Обратимо пажњу и на чињеницу да стационарна решења могу бити сингуларна решења. На пример,
размотримо ДЈ
Стационарно решење је овде сингуларно решење (сл. 10), јер свака од интегралних кривих
-фамилије полупарабола су тангенте на осу .
На крају, приметимо да ако ДЈ (5.4) разматрамо као симетричан облик ОДЈ 1. реда у нормалном
облику, онда се интегралне кривекоје не пролазе кроз сингуларне тачке ,ако их има, могу њима
приближавати.
Хомогене једначине. Скаларна ДЈ 1. реда назива се хомогеном ако се може записати или у облику
̇ ( ), или у облику (4.2) где су и хомогене функцијеистог степена.
Напоменимо да се функција зове хомогенaстепена акоза било који и свако
важиидентитет . Уколико , онда је хомогеност функције
дефинисана за било којe .
Хомогена једначина се своди на ДЈ са раздвојеним променљивама сменом
На пример, размотримохомогену ДЈ
21
Сл.10. Посебно стационарно решење
| |
| |√ √
̇
(5.6)
У случају , једначина (5.6) се назива хомогеном, а акоје ,онда
једначину(5.6)називамо хетерогеном.
22
Надаље, разматраћемо линеарне једначине, под претпоставком да су функције и непрекинде на
неком сегменту| | .
Приметимо да je линеарно хомогена једначина,једначина са раздвојеним променљивима,ако
јенапишемо у диференцијалном облику, а њенапотпунафамилија решења се одређује на напред
описан стандардни начин и има облик
(5.7)
( ∫ ) ∫
∫ ∫ ∫ ∫
(5.8)
где је произвољна константа.
Као што се види из (5.8), то је -параметарска фамилија решења.
Потпунафамилија решења линеарне нехомогенеДЈ (5.6) може се написати у тзв.Кошијевом облику,
тј. у облику
∫ ∫ ∫
∫
̇
(5.9)
Својство 5.1. Потпуну фамилију решења нехомогене ДЈ (5.6) налазимо двема квадратурама.
23
Својство 5.2.Потпуна фамилија решења нехомогене ДЈ (5.6) је збир потпуне фамилије решења
одговарајуће хомогене ДЈ и партикуларног решења нехомогенеДЈ (5.6).
̇ ̇ ∫
(5.10)
Својство5.6. Скаларна ДЈ облика (3.1), која има потпуну фамилију решења (5.10) је линеарна
нехомогена ДЈ.
24
Рикатијева једначина(RiccatiJ. Е. , 1676-1754,италијанскиматематичар).Рикатијева једначинаје ДЈ
облика
(5.12)
где су , , , - диференцијабилнефункцијепромељиве којезадовољавају услов
( ̇ ̇ ̇) ( ̇ ̇ ̇)
̇ ̇ ̇ ( ̇ ̇ ̇ ̇) ( ̇ ̇)
Са друге стране, ако ставимо вредност ,одређену формулом (5.12),у десну страну (5.11), добијамо
разломак са истимимениоцем као у (5.13) и са квадратнимполиномом по у бројиоцу. Дакле, ако
изједначимо вредности ̇ из (5.11) и (5.13), поново добијамо Рикатијеву једначину.
25
Својство 5.9.Ако су функције и непрекидно диференцијабилне, по променљивој ,тада
сеРикатијева једначина сменом
своди на једначину
где је
̇ ̇
своди на једначину
̇
где је
̇
где је
Својство 5.11. Ако је познатоједно партикуларно решење Рикатијеве једначине, тадасе сменом
26
(5.14)
дата једначина своди на линеарну нехомогену ДЈ
̇
(5.15)
Последица 5.2. Ако је познато једно партикуларно решење Рикатијеве једначине, тадасе њена
потпуна фамилија решења налази двама квадратурама.
Својство 5.12. Ако су позната било која два партикуларна решења Рикатијеве једначине, тадасе
њена потпуна фамилија решења налази једном квадратуром.
(5.16)
где је произвољна константа.
Заиста, како су , , решења ДЈ (5.11), онда су ⁄ и ⁄ два партикуларна
решења нехомогене линеарне ДЈ (5.15), чијисе потпун систем решењаодређујебез квадратура,на
основу својства 5.4 нехомогене линеарне ДЈ (5.6) и дат је релацијом
( *
(5.17)
Али,ако је ⁄ , тадапосле једноставних трансформација у (5.17), добијамо (5.16).
Својство 5.14. Ако је познато било којепартикуларно решење Рикатијеве једначине, онда је
њенапотпунафамилија решењаразломљеналинеарна функција у односу на произвољну константу.
Заиста, нека је решење Рикатијеве једначине. Тада се потпунафамилија решења ДЈ (5.15), која
сесменом(5.14) сводина Рикатијеву једначину, може представити као
27
Дакле, сменом(5.14) добијамо да је
Својство 5.15. Ако је потпуна фамилија решења неке скаларне ОДЈ 1.реда
представљенеразломљено-линеарном функцијом у односу на произвољну константу, тадаје таква ДЈ
Рикатијева.
Заиста, нека је релација
(5.18)
где је и произвољна константа,потпуна фамилија решења неке ДЈ.
Решавањем једначине (5.18) у односу на c, имамо
(5.19)
̇ ( ̇ ̇ ) ( ̇ ̇ ̇ ̇ ) ̇ ̇
̇
(5.20)
где су , константе.
Године, 1724-1725 гг. Д. Бернули (BernoulliD., 1700-1782, швајцарски математичар.) доказао је да се
једначина (5.20)може интегрисати за све ⁄ , где су , .Ж.Лијувил је
1841. показао да се, осим у случајевима којеје утврдио Д.Бернули, специјална Рикатијева једначина
не може интегралити у квадратурама.
Приметимо да је за , партикуларно решење специјалне Рикатијеве једначине
̇
(5.21)
28
могућетражити у облику ⁄ где је нека константа. Тада се проналажење решења своди на
решавање квадратне једначине
Ако ова једначина има реална решења, тада се ДЈ (5.21) интегралисменом ⁄ ⁄ .Уколико
претходна једначина нема реалних решења, тадасе сменом ⁄ , ДЈ (5.21) своди на хомогену ДЈ
̇ ( )
§ 6.ИНТЕГРАЦИОНИ ФАКТОР
Размотримо ДЈ
(6.1)
уз претпоставку да су функције и непрекидне заједно са парцијалним изводима другог реда на
неком отвореном скупу .
ДЈ (6.1) се зове једначина тоталног диференцијала на отвореном скупу ако постоји скаларна
функција са непрекидним парцијалним изводима таква да се њен тотални диференцијал поклапа са
левом страном ДЈ (6.1), тј. да је
(6.2)
где нумерички параметар узима такве вредности за које (6.2) представља интегралне криве ДЈ (6.1)
у .
У овом случају, ако се испостави да је скуп подскуп скупа ,тада је потпуна фамилија решења
ДЈ (6.1) скуп -фамилија (6.2) и решења ДЈ (6.1) на скупу ⁄ на којем једначина више није
једначина тоталног диференцијала.
(6.3)
29
Доказ. Како је једначина (6.1) једначина тоталног диференцијала на скупу , тада на постоји
непрекидно диференцијабилна функција таква да
(6.4)
што значи да на важе формуле
(6.5)
Како су, по претпоставци, парцијални изводи и непрекидни на ,то су непрекидни и
Доказ. Премауслову теореме, на скупу важи идентитет (6.3). Тражимотакву функцију која ће на
неком скупу ,имати непрекидно парцијалнеизводе који задовољавају(6.5). Да би одредили
такву функцију, одредимо прво све функције ,којезадовољају првуод(6.5), тј. функцијекоје
задовољавајурелацију
(6.6)
у којој фигуришу парцијални изводи непознате функције ,а диференцирање леве стране (6.6)
представља диференцирње по променљивој за фиксирану променљиву .
На овај начин, све функције ,које задовољавају једначину (6.6),задате су формулом
∫
(6.7)
где је произвољна непрекидно диференцијабилна функција, укључујући и произвољну константу
у односу на . Интеграл се узима уз претпоставку даје променљива фиксирана, а скуп дефи-
нисаности ових функција биће, генерално говорећи, подскуп скупа , јер ∫ може бити
функција, која je непрекидна само на подскупу скупа .(Као што показује пример након доказа
ове теореме).
30
Показаћемо сада да функцију увек можемо изабратитако даважиједнакост
(6.8)
Заиста, замењујући израз дефинисан формулом (6.7) у (6.8), имамо
∫
одакле je
∫
(6.9)
Пошто је функција променљиве , онда јепотребнода важи релација
( ∫ *
( ∫ * ( ∫ *
Дакле, десна страна једначине (6.9) зависи само од , па функцију добијамо интегрисањем (6.9).
Заменом добијеногизраза за , у (6.7) добијамо функцију која задовољава обе једначине (6.5),
штодоказује теорему.
Пример. Размотримо ДЈ
31
која је дефинисана на скупу ⁄ На овом скупу су дефинисани и непрекидни
парцијалниизводи и , који су једнаки , штозначида је на скупу ⁄ услов
(6.3) испуњен.
Пратећи сада алгоритам, налазимо
где је скуп скуп област дефинисаностифункције , који се састоји од свих тачака равни ,
осим тачака линије , јер израз има смисла само на скупу
Решавајући на скупу једначину
( *
где је произвољна константа, апотпуна фамилија решења полазне ДЈ, која је дефинисана на скупу
⁄ , дата је низом релација
Теорема6.3. Ако је скуп повезана област, тада јеОјлеров идентитет (6.3) потребани довољан услов
да биједначина (6.1) у области билаједначиноаса тоталним диференцијалом, и при томе је
(6.10)
Одавдеје произвољна фиксна тачка области , а интеграл јекриволинијски интеграл2.
врстена било којој кривој из ,којаповезује тачке у и где интеграл не зависи од ,већ је функција
само горње границе интеграције
32
Напомена 6.2. Бирајући конкретнепутеве, добијамо различите формуле за изразе функције . Тако,
на пример, ако је правоугаоник:
{ | }
интеграљењем (6.10) дуж стране правоугаоника са теменима у тачкама и ,(сл. 11) имамо
∫ ∫ ∫ ∫
Стога je
∫ ∫ ∫
∫ ∫ ∫
или као
33
гдепотпунафамилија решења оригиналне ДЈ даје
Напомена 6.4. Ако је област вишеструко повезана, онда функција која је дата изразом (6.10)
одређује се као и у случају једноструко повезне областина целом скупу , али може бити
вишезначна функција.
(6.11)
На тај начин, акорешимо ДЈ (6.11), која је парцијалнаДЈ у односу на непознату функцију , онда
ћемо решити и ДЈ (6.1). Такође, приметимо да је за проналазак целефамилије решења ДЈ (6.1),
довољно да се пронађеједно решење ДЈ (6.11).
Детаљније ДЈ (6.11) можемо записати као
или
(6.12)
одакле je
34
Дакле, интеграцијом претходне једначине добијамо
одакле је
На пример, размотримо ДЈ
35
која се може написати у облику
или
(6.13)
одакле je
Итеграцијом добијамо
Размотримо,на пример, ДЈ
36
⁄
Заиста, ако је
Случај
37
(6.14)
или
Напомена 6.5.Последни случај је занимљив, јеррелација (6.14) важи уз услов Коши – Римана, тј.
д'Аламбера–Ојлера (D'Aiembert J. L., 1717-1783, француски математичар, Riemann В., 1826-1866,
немачки математичар)
имамо да је
̅ ̅
38
Случај ,где су и непрекиднефункције које нису идентички једнаке нули.
ДЈ (6.1) има интеграциони фактор ове врсте ако једначина (6.13) има облик
∫ ∫
§ 7. УСЛОВ ЛИПШИЦА
( )
39
‖ ‖
‖ ‖
‖ ‖
(7.1)
‖ ‖ | |
За дато пресликавање извод не постоји у тачкамаосе (сл 13.), али je овде услов Липшица
задовољeн. Заиста,
| | || | | || | |
У овом случају је .
40
Тада је јасно да је функција непрекидна у свим тачкама осе (сл. 14), али она не задовољава услов
Липшица у њима, јер је
| |
| | √| |
§ 8. Пикар-Линделефова теорема
Из дефиниције решења ОДЈ (1.1) следи да ако је пресликавање решење (1.1) на интервалу
,тада је рестрикција решења ОДЈ (1.1),тј. пресликавање где је , овог
решења, такође решење ОДЈ (1.1).
Дефиниција 8.1. Решење ОДЈ (1.1), које није рестрикција ниједног другог решења ОДЈ (1.1), назива
се непродуженимили продуженим решењем ОДЈ (1.1).
Напомена 8.1. У будућности, под решењем ОДЈ (1.1) подразумеваћемо непроширено решење.
̇
(8.1)
(8.2)
̇ ( )
(8.3)
41
∫ ( )
(8.4)
тј. добијамо да је решење интегралне једначине (8.2).
Обрнуто,претпоставимо да за непрекидну функцију на важиидентитет (8.4).
Одавдедобијамо .Даље, како је десна страна (8.4) диференцијабилна по ,
збогнепрекидности функције ,то је и такође диференцијабилна функција по Диференцирајући
тадаобе стране идентитета(8.4)добијамо да је решење полазног задатка (8.1).
( * ‖ ‖ ‖ ‖
‖ ‖ ‖ ‖ ( | |*
| | | | ̅̅̅̅̅
(8.5)
гдесе оператор одређује десном страном једначине (8.2):
∫ ( )
(8.6)
42
Доказ о егзистенцији јединственог решења једначине оператора (8.5) спровешћемо на основу,
принципаконтракциије пресликавања, при чему пресликавање метричког простора
зовемо контракцијом ако постоји таква позитивна константа да за сваки пар елемената
важи ( ) . Тачку такву да је , зовемо непокретном
тачком пресликавања .
Покажимо сада да је оператор А контракција простора у самог себе. Пре свега,покажимо да
оператор А преводи простор у .
Заиста, нека је Тада,с обзиром на тода је одређени интеграл десне стране (8.6) непрекидна
функција горње границе на интервалу | | , следи непрекидност функције , чије
вредности припадају паралелопипеду што показује следећи низ релација:
‖ ‖ ‖ ( ) ‖ ‖∫ ( ) ‖
| | | |
| ∫‖ ( )‖ | | |
| |
‖ ∫[ ( ) ( )] ‖
| |
| ∫‖ ( ) ( )‖ |
| |
| ∫‖ ‖ |
| |
| |
где је .
∫ ( )
43
што значи да је једино решење интегралне једначине (8.2), а тиме и почетног задатка
(8.1).Теорема је доказана.
Напомена 8.2. Теорема 8.1, осим имена "теоремаПикар-Линделоф", као и многе друге теореме
теорије ОДЈ у литератури има и другеназиве, као на пример, Кошијева теорема, теорема Пикар-
Коши, Пикарова; и други.
Апроксимације и ред Пикара.Сагласно принципу контракционог пресликавања,решење
почетногзадатка (8.1) може се добити методом сукцесивних апроксимација, где за почетну (нулту)
апроксимацију можемо узети константно пресликавање [ ] ,a остале апро-
ксимације задају серекурентним релацијама
( ) ∫ ( )
(8.7)
где је | |
Апроксимације , обично се називајуапроксимацијама Пикара.
Ако размотримо криве , које суграфици одговараћих апроксимација Пикара, тада,
имајући у видурелацију(8.7), геометријски прелазод криве на криву значи конструисањетакве
криве на кривој чији се коефицијент правца тангенте за свако фиксно поклапа саправцем
поља криве за одговарајућу вредност (Слика 15.). Обратимо пажњуна чиненицу да акосе
коефицијентправца тангенте неке криве поклапа са правцем поља саме криве за свако фиксно ,
онда је крива интегрална.
44
Истовремено, користећи неједнакосттроугла и узимајући у обзир да је оператор контракција,
можемо проценити тачност апроксимацијe , решењa , почетног задатка (8.1) преко растојања
између тачака и , формулом
(8.8)
Заиста, из
( )
следи формула(8.8).
На (сл.16) је дата геометријска интерпретација процене тачности апроксимације ка непокретној
тачки .
Илуструјмона конкретном примеру како се полазни задатакрешава уз помоћ апроксимација и
редаПикара.
Размотримопочетни скаларни задатак,
где је
∫( )
што значи да је
∫( )
45
Сл.16. Оцена (8.8)
∫( *
∫( *
Одавде следује,
( ) ( ) ( )
̇
(8.9)
где је
Решење овог задатка су функције
| |
46
Сл. 17
График решења илуструје Сл.17. Тако, док је десна страна ове ДЈ дефинисана у односу на независну
променљиву на целој бројној оси,решење је ипак дефинисано само на интервалу
( ).Истовремено Пикара-Линделофа не негира факт постојања ДЈ, чија су решења
дефинисанана целом интервалу дефинисаности функције , тј. на интервалу | | .Овде је
десна страна ДЈ (1.1), као функција променљиве .
Овакве ДЈ реално постоје, и то су, на пример, тзв линеарне ОДЈ, које су од великог значаја какоза
теорију ОДЈ, тако и за њену примену.
̇ ∑ ̅̅̅̅̅
или краће
̇
(9.1)
где је
( ) ( ) ( )
Дефиниција 9.2. ОДЈ (9.1) зовесе линеарна хомогена ДЈ, ако je , а линеарна нехомогена ДЈ,
ако је .
47
Размотримо почетнизадатак
̇
(9.2)
Теорема 9.1. (Теорема Пикар -Линдлофа за линеарне диференцијалне једначине). Ако су матрица
и векторска функција непрекидне на интервалу | | ,онда за свако , почетни задатак
(9.2) има јединствено решење , дефинисано на целом интервалу| | .
∫ ∫
(9.4)
‖ ‖ ‖ ‖ ‖ ‖
| | | |
48
‖ ‖ ‖ ‖ ‖∫ ‖
| | | |
| ∫‖ ‖ | | ∫‖ ‖‖ ‖ |
| | | |
| ∫‖ ‖ | | |
| |
‖ ‖
(9.5)
‖ ‖ ‖ ‖ ‖∫ ( ) ‖
| | | |
| ∫‖ ‖‖( )‖ | | ∫‖ ‖ |
| |
| |
| ∫| | |
| | | |
‖ ‖ ( )
‖ ‖ ( ) ‖ ‖
где је ‖ ‖ | |.
̅̅̅̅̅
49
Зато, према критеријуму Вајерштраса (Karl Theodor Wilhelm Weierstraß., 1815-1897,
немачки математичар), редПикара (9.4) конвергирана интервалу | | ,и то равномерно. Тада,
гранична функција која је дефинисана релацијом
( ∫ ∫ )
∫ ∫
Напомена 9.1.Ако насзанима само питање постојања решења почетног задатка (8.1), тада се уочава
да није обавезно тражити испуњење услова Липшица у теореми 8.1. За постојање решења почетног
задатка (8.1) довољнајенепрекидност функције .
Ова чињеница је садржај теореме 9.2, коју ћемонавести без доказа.
Теорема 9.2Теорема Пеано (PeanoD., 1858-1932, италијанскиматематичар). Ако је пресликавање
области из у непрекидно, онда за сваку тачку постоји најмање
једно решење полазног задатка (8.1).
50
Сл. 18. Ка проширењу решења
{ } { } { | }
51
Сл. 19. Ка теореми 10.1
Напомена10.1.Теорема 10.1 показује да се свако решење ДЈ (1.1) може придружити до решења, које
се даље не може продужити. У овом смислу, непродружена решења исцрпљују скуп свих решења.
̇
(11.1)
Раније су наведени довољни услови (теорема Пикар-Линделофа), под којима почетни задатак (11.1)
има јединствено решење. Уколико су нарушени услови теореме Пикар-Линделофа може се десити
да је решење почетногзадатка илине постоји, или задатак (11.1) има неколико решења.
Дефиниција 11.1. Тачка се зове тачком гранањарешења почетног задатка (11.1), ако кроз
њу пролази неколико интегралних кривих ДЈ (11.1).
Подсетимо се овде и напред наведенетеореме Пеано, према којој,за непрекидну функцију у некој
области , почетни задатак (11.1) увек има бар једно решење.
Дакле,ако је функција непрекидна, а услов Липшица по променљивој није задовољен, онда је за
почетни задатак (11.1) могуће постојање тачака гранања. На пример, ово може бити када извод не
постоји или је неограничен. Другим речима, ако у некој тачки , извод не постоји или je
неограничен,таква тачка ће бити сумњиватачка гранања.
Због непрекидности једнозначнефункције , изводу свакој тачки имаће одређену
вредност, па самим тим иу тачкама гранања,ако постојеинтегралне криве које се додирују.
( *
53
* ( *
Стога, посебно, и следи да је тачка тачка гранања решења полазног задатка (сл. 20).
одакле следује (Сл. 21) да кроз сваку тачку интегралне криве пролази, додирујући је, још јенда
интегрална крива задате ДЈ.
54
Сл. 21. Ка примеру 11.2
Размотримосада појаманвелоперешења.
Нека једнакост
(11.2)
где је реални параметар, a непрекиднодиференцијабилна функција, која дефинише фамилију
дисјунктних кривих, које потпуно покривају одређену област и којe су интегралне криве
скаларне ДЈ (11.1).
Тада, за сваку дозвољену вредност кроз сваку тачкуобласти пролази крива која је дефинисана ДЈ
(11.1), иу свакој таквој тачки, правац тангенте на криву се поклапа са правцем поља,задатог ДЈ
(11.1).
Претпоставимо да фамилија кривих дефинисана (11.2), има обвојницу , тј. такву криву, која у
свакој својој тачки додирује макар једну криву фамилије и у свакој околини сваке своје тачке не
поклапа се ни са једном од кривих дате фамилије. Тада је, с обзиром на предходно, јасно да ће
обвојница бити интегрална крива ДЈ (11.1).
55
Очигледно дајеанвелопасингуларно решење.
На тај начин, ако је позната -фамилија решења ДЈ (11.1) облика (11.2), онда можемо констрисати
нова решења ДЈ (11.1), ако наћемо анвелопе -фамилије (11.2).
У диференцијалној геометрији се доказује да, ако -фамилија кривих дефинисаних релацијом (11.2),
има анвелопу, онда њена једначина може битидобијена елиминацијом параметра ,из система
{
(11.3)
(11.4)
акоја се добија из система (11.3) елиминацијом параметра , није увек анвелопа.
56
Ако говоримо о фамилији кривих дефинисаних једначином (11.2), онда у случају када свака крива
ове фамилије има сингуларну тачку, координате тих тачака су решења система
(11.5)
где је -реални параметар. Aко геометријско место сингуларних тачака фамилије (11.2)
образујенеку криву, онда су координате сваке тачке ове криве решења система (11.5).Обрнуто, ако
од било које две једначине система (11.5), на пример, из првих две, елиминишемопараметар
,добијамо једнакост
(11.6)
која одређујегеометријско место тачака чије координате задовољавају и последње једначине
система. Међутим, тоне значи да ће тачке криве дефинисанеједначином (11.6) бити сингуларне
тачке.
Враћајући се сада на -дискриминантне криве, докажимо следећекориснотврђење, тј. теорему.
Теорема11.1. Услов
(11.7)
је довољан да -дискриминантнакрива која не припада -фамилији (11.2)будеобвојницате фамилије.
Ако узимемо садау обзир (11.7), и ако претпоставимо, одређености ради, да је последња
једначина се може написати у облику
57
Али, ако је ̇ ,онда je коефицијент нагиба тангенте -дискриминантне криве
̇
(11.8)
Израчунаћемо сада нагиб тангенте на кривуфамилије (11.2). Једначина (11.2) дефинише као
имплицитну функцију .Стога је
̇
па је
̇
(11.9)
58
Из овог система следи да се -дискриминанта крива у потпуности састоји од сингуларних тачака
фамилије, којесу фокусне тачке (Сл. 23), а при овом је -дискриминанта крива и обвојница.
или системом
{ {
59
Први систем одређује геометријско место могућих сингуларних тачака, а други - не. У овом случају,
-дискриминантна крива , је обвојница разматране фамилије (Сл. 24), а -дискриминантна
крива ,која је геометријско место чворних тачака, није обвојница (Слика 24).
Размотримо ДЈ.
̇
(12.1)
у векторском облику, где је пресликавање , непрекидно.
60
Дефиниција 12.2.Непрекидно,променљиво, независно од , пресликавање , зове се
први интеграл ДЈ(12.2), ако је оно константно дуж сваке трајекторије ДЈ (12.2) из области ,тј. ако
је ( ) ,где је - решење ДЈ (12.2).
̇ ̇
(12.3)
(12.4)
Доказ. Нека je непрекидно диференцијабилно пресликавање први интеграл ДЈ (12.1).То
значи да је ,где је ,решење ДЈ (12.1). Диференцирајући задњу релацију по ,
a због (12.1), добијамо
61
Обрнуто, претпоставимо да важи релација (12.4). Тада, дуж интегралних кривих ДЈ (12.1) важи
једнакост
по , добијамо да
62
а због аналитичког критеријума првог интеграла ,
( *
63
̇ ̇ ̅̅̅̅̅
(12.5)
∑( ( * *
(12.6)
у свакој тачки .
( )
(12.7)
64
Пошто су први интеграли функционално независни, најмање је једна од дете-
рминаната -тогреда,састављена од елемената матрице (12.7), различита од нуле. Показаћемо да је
таква управо детерминанта (12.6).
Заиста, како су непрекидно диференцијабилни први интеграли, тада важе једнакости
65
са непознатим при чему се за последњи систем знада има нетривијално решење. Из
ове чињенице следује
(12.8)
66
тога што из релације , једну од компоненти тражене функције можемо изразити
прекодругих.
Показаћемо да, ако је познато -функционално независних првих интеграла, где је , онда
ред векторске ДЈ можемоснизити за -јединица.
У том циљу, нека су , функционално независних првих интегралаДЈ (12.1). У
овом случају, најмање једна од детерминанти -реда,чији су елементи, елементи матрице
( )
је различита од нуле.
Нека je
( ̃ ̃ ̃ ) ̅̅̅̅̅̅̅̅̅̅̅
(13.2)
̅̅̅̅̅̅̅̅̅̅̅
(13.3)
67
онда њиховом заменом у (13.1), добијамо
̅̅̅̅̅̅
(13.4)
(14.1)
Доказ. Како је непрекидно диференцијабилан првиинтеграл ДЈ (14.1), тада због (14.1) добијамо
идентитет
одакле je,
(14.3)
На овај начин,имамо
68
па је, стога,
Напомена 14.1.Формула (14.3) нам омогућава да нађемо интеграционе факторе ДЈ (14.1), на основу
познатих првих интегралаДЈ.
[ ]
( )
(14.4)
где је произвољна непрекидно диференцијабилна функција једнепроменљиве. Такође је
непрекидно диференцијабилан и интеграциони фактор ДЈ (14.1).
( )[ ] ( ) ∫ ( )
69
(14.1), тадабило који други непрекидно диференцијабилниинтеграциони фактор ДЈ (14.1)
дефинисанјеса (14.4), уз условда скуп не садржи сингуларне тачке једначина и
.
( ( )) ( )
( ) ( )
Напомена 14.3. Теорема 14.3 указује наначин проналажења интеграционог фактора који подсећа на
директноизналажење .
Суштина ове методе је следећа. Поделити ДЈ (14.1) у неколико група, на пример, због
једноставности, у две. Свака група се третира као одвојена ДЈ. Затим за сваку добијену
ДЈодређујусе интегративни фактори и , и њима одговарајући први интеграли и . Сви
интеграциони фактори обеју ДЈ респективно се одређују једначинама
( ) ( )
Пример14.1.Интегралити ДЈ
( ) ( )
( ) ( )
одакле је
∫ ∫
71
(15.1)
У систему (15.1) променљиве су равноправне за разлику од система у нормалном облику
тј. у облику
̅̅̅̅̅
(15.2)
где променљиве нису равноправне.Променљива је независна, а променљиве
се третирају као тражене функције.
Систему (15.2) можемокореспондирати систем у симетричном облику
Приметимо овде да наведени низрелацијанису разломци, већ пропорције, а то значи да наведени низ
релација има смислаи тада, када је неки од имениоца нула.
Покажимо сада да под одређеним претпоставкама у односу на функције ,
диференцијалном систему у симетричном облику (15.1) можемо кореспондирати одређени ДС у
нормалном облику.
Заправо, нека су функције дефинисане и непрекидне заједно са својим првим
парцијалним изводима у некој околини тачке , и ни у једној тачки изабране околине
ове функције нису нулеи истовремено немају сингуларних тачака. Одређености ради,
претпоставимо да је
72
{
(15.4)
(15.6)
Но тадасу први интеграли ДС (15.5) који не зависе експлицитно од очигледно и први интеграли
ДС (15.1). Како се ДС (15.1) може записати као ДС (15.4)у нормалном облику, омогућавајући
облике не више од функционално независних првих интеграла (теорема 12.7), то и ДС (15.5)
не може имати више од функционално независних првих интегралакоји не зависе
експлицитно од .
73
̅̅̅̅̅̅̅̅̅̅
̃ ̅̅̅̅̅̅̅̅̅̅
(15.7)
одакле je,
(15.8)
̅̅̅̅̅̅̅̅̅̅
(15.9)
Пре разматрања примера, још једномобратимо пажњу на чињеницу да јесвођење система ОДЈ на
симетрични облик честокористан за проналажење првих интеграла. За овосе користе горе-поменуте
интеграбилне комбинације. Све ово или комбинације једначина система,које садрже само
двепроменљивеи представљајућих ДЈ, које се могу решити, или такве комбинације чланова
једначина (15.1), које су линеарнеу односу на диференцијале и чија је левастранатотални
74
диференцијал, а десна нула. Интеграљењем овог тоталног диференцијала добијамо први интеграл.
Ако се на овај начин нађе , функционално независних првих интеграла, онда добијамо базу
-фамилијe решења у имплицитном облику.
(15.10)
(15.11)
75
Множењем свих именитеља добијеног система cа , имамо систем
(15.12)
У складу са својствомниза једнаких релација, налазимо да је
(15.13)
Одавде je
76
С друге стране, из једначине (15.13) следи
па је
У овом случају,имамо да је
Стога, дати ДС има базну -фамилију решења задату, у имплицитном облику, једначинaмa
77
§ 16. ЛИНЕАРНЕ ХОМОГЕНЕ ПАРЦИЈАЛНЕ ЈЕДНАЧИНЕ ПРВОГ РЕДА
(16.1)
Даље ћемо сматрати (као и у § 15) да функције ̅̅̅̅̅, не могу све истовремено бити нуле ни у
једној тачки изабране околине.
Дакле, имамо
( *
oдакле је
(16.2)
78
што идоказујетеорему.
| ( *|
( * ( *
одакле, због (16.2), имамо да важи идентитет | ,што значи да је први интеграл ДС (15.1).
Теорема 16.3. У околини било које несингуларне тачке система (15.1)((15.4)), постоје
функционално независних првих интеграла ̅̅̅̅̅̅̅̅̅̅ система (15.1) ((15.4)).
̅̅̅̅̅̅̅̅̅̅
(16.3)
где су, на основу теореме 22.2, функције непрекидно диференцијабилне. Очигледно је даје
̅̅̅̅̅̅̅̅̅̅
(16.4)
( ) ̅̅̅̅̅̅̅̅̅̅
јединична, што значи да је њенадетерминанта једнака 1. Но, у овом случају систем (16.3)
можеморешитиу односу на у околини , тј. могу се добити једнакости
79
̅̅̅̅̅̅̅̅̅̅
Према томе, функције су константне дуж интегралних кривих у , и стога супрви интеграли.
Даље, за сваку фиксну вредност ,довољно блиској , системи функција (16.3) и (16.5) су
међусобно инверзни, што значи да је производ њихових јакобијана , где је
( ) ( ) ̅̅̅̅̅̅̅̅̅̅
( )
(16.6)
∑ ∑ ∑
∑ ( *
Теорема 16.5. Свако решење једначине (16.1) дефинише се формулом (16.6) за одговарајући избор
функције .
80
(16.7)
Како су, према теореми 16.1, први интеграли ДС (15.1) решења једначине (16.1),
добијамо
̅̅̅̅̅̅̅̅̅̅
(16.8)
(16.9)
Одавде следи да се једначина (16.9) може решити по функцији , тј. да се из (16.9) може наћи
функција , дефинисана једначином (16.6). Теорема је доказана.
Напомена 16.1. Нагласимо да је у складу са теоремом 16.5, задатак проналажења свих решења
једначина (16.1) еквивалентан задатку одређивања базних првих стационарних интеграла ДС (15.1).
Теорема 16.5 нам даје за право да формулу (16.6) зовемо формулом потпуне фамилије решења, у
класи непрекидно диференцијабилних функција, једначине (16.1) са непрекидно дифере-
нцијабилним коефицијентима ̅̅̅̅̅. Такође треба имати у виду да потпуна фамилија решења
једначине (16.1) постоји само у некој околини сваке несингуларне тачке.
81
Обратимо такође пажњу на чињеницу да, за разлику од линеарне ОДЈ, потпуна фамилија решења
парцијалне хомогене линеарне једначине (16.1), приказана формулом (16.6), не садржи произвољне
константе, већ произвољну функцију.
Кошијев задатак. У теорији парцијалних линеарних једначина, обично се разматрају два типа
Кошијевог задатка.
Напомена 16.2. У случају када тражена функција у једначини (16.1) зависи само од две независно
променљиве, тј. када је једначина (16.1) облика
(16.10)
(16.11)
таквог да за
(16.12)
Геометријски то значи да се међу свим интегралним површима одређених једначином (16.10) тражи
интегрална површ дефинисана једначином (16.11) која би пролазила кроз задату криву одређену
једначином (16.12), а која лежи у равни која је паралелна равни .
82
(16.13)
̃ ̅̅̅̅̅̅̅̅̅̅
(16.14)
(̃ ̃ ̃ )
(16.15)
што значи да ако решимо систем (16.14) у односу на променљиве , тј.ако нађемо
(̃ ̃ ̃ ) ̅̅̅̅̅̅̅̅̅̅
( )
Заиста,
(̃ ̃ ̃ ) ( (̃ ̃ ̃ ) (̃ ̃ ̃ ) (̃ ̃ ̃ ))
( )
83
(16.16)
Решење. ДС симетричне форме који одговара једначини (16.16) има облик , а њен први
интеграл одређује се једначином У том случају, систем (16.14) који се овде
дегенерише у једну једначину, може бити записан као ̃.
Тако, у складу са горе наведеном процедуром, траженo решење биће функција , дефинисана
једначином .
(16.17)
(16.18)
Дакле, генералисани Кошијев проблем значи изналажење такве интегралне површи једначине
(16.10) која би пролазила кроз дату криву , чија је пројекција на раван крива (слика 26).
Без улажења у питање решења генералисаног Кошијевог проблема приметимо само да решења
конкретног Кошијевог задатка може, али и не мора бити јединствено.
84
Сл.26. Генералисан Кошијев проблем
(17.1)
85
(17.2)
Решење нехомогене једначине (17.1) дефинишесе на исти начин као у случају хомогене линеарне
једначине (16.1).
(17.3)
( )
(17.4)
( ( ))
(17.5)
̅̅̅̅̅
одакле je
̅̅̅̅̅
(17.6)
86
Заменом нађених израза за из (17.6) у (17.1), долазимо до горе наведене хомогене линеарне
парцијалне диференцијалне једначине првог реда (17.3), за функцију .
Међутим, треба имати у виду да за проналажење решења једначине (17.1) у имплицитном облику
(17.4), захтевамо да једнакост (17.5) постаје идентитет само по промењивим ,
апроменљива у (17.4) замењује се функцијом ( ).
Стога, не можемо рећи да су након решавања хомогене линеарне једначине (17.3) нађена сва
решења полазне једначине (17.1) у имплицитном облику (17.4).
Међутим, можемо одредити услове под којима се решавањем једначине (17.3) могу наћи сва
решења једначине (17.1) у имплицитном облику.
Пре него што одредимо ове услове приметимо да, као у случају једначине (16.1), за једначину (17.1)
се такође везује тзв. карактеристичан систем. Карактеристичним системом једначине (17.1) назива
сеаутономни систем
̇ ( ) ̅̅̅̅̅
{
̇ ( )
(17.7)
Напомена 17.1. За разлику од хомогене линеарне једначине (16.1), у случају нехомогене линеарне
једначине (17.1) карактеристике нису у простору променљивих , него у простору
променљивих , и зато њихов геометријски смисао је овде другачији. Може се
показати да ако интегрална површ једначине (17.1) садржи тачку
, онда ова површ садржи и карактеристику која пролази кроз тачку .
Другим речима, свака интегрална површ једначине (17.1) састоји се у потпуности од његових
карактеристика.
87
Лема 17.1. Ако важи неједнакост (17.2) и ако су функције ̅̅̅̅̅̅̅̅̅̅̅ у области
функционално независни први стационарни интеграли аутономног система (15.5), онда се овај
систем своди на неаутономни систем (15.4), за који су исте функције ̅̅̅̅̅̅̅̅̅̅̅
функционално независни првинестационарни интеграли.
Даље расуђујемо на следећи начин. Пошто су функције први интеграли система (15.5), онда су
они константни дуж трајекторија система (15.5) или интегралних кривих система (15.4). У складу са
аналитичким критеријумом првог интеграла(теорема 12.1), први интеграли система (15.5)
задовољавају систем
̅̅̅̅̅̅̅̅̅̅̅
(17.8)
̅̅̅̅̅̅̅̅̅̅̅
Размотримо матрице
{ }
{ }
Први интеграли ̅̅̅̅̅̅̅̅̅̅̅ система (15.4) су функционално независни ако је ранг матрице
једнак . Што се тиче истих тих првих интеграла, ако се посматра систем (15.5), тада, ако је
у области , на основу формуле (17.8) последњaколона матрице биће линеарна
комбинација колона матрице ,па је самим тим и ранг матрица и исти. Тако да из
функционалне независности првих интеграла ̅̅̅̅̅̅̅̅̅̅̅ система (15.5) следи њихова
функционална независност и за систем (15.4).
88
Лема 17.2. Ако је непрекидно диференцијабилан први стационарни интеграл
карактеристичног система (17.7), дефинисан у околини тачке при чему је
(17.9)
̅̅̅̅̅
( )
(17.10)
( )
89
( )
(17.11)
Заиста, пошто важи неједнакост (17.2), то у околини тачке , карактеристике једначине (17.1)
задовољавају систем
̅̅̅̅̅̅̅̅̅̅
(17.12)
Означимо, даље
̅̅̅̅̅̅̅̅̅̅
(17.13)
̅̅̅̅̅̅̅̅̅̅
(17.14)
̅̅̅̅̅̅̅̅̅̅
(17.15)
90
Функције ̅̅̅̅̅, су први интеграли система (17.12),што се доказује аналогно доказу теореме
16.3. При томе, површ дефинисана изразом ,сепоклапа са датом површи, чија
једначина је , јер се свака од њих састоји од карактеристика, тј. од решења система
(17.2) са почетним условима (17.14), где је .
Обрнуто, свака непрекидно диференцијабилна функција која фигурише на левој страни израза
(17.10), је константна дуж трајекторија система (17.7), где су ̅̅̅̅̅, први интеграли система
(17.7), што значи да је први интеграл система (17.7). При испуњености неједнакости (17.11),
једнакост (17.10) дефинише у околини тачке имплицитну функцију , која на основу
леме 17.2 представља решење једначине (17.1).
Напомена 17.2. Уколико променљива само у једном од првих интеграла ̅̅̅̅̅, на пример у
, онда је израз (17.10) могуће записати као
(17.16)
Напомена 17.3. Формула (17.10) се зове формула комплетне фамилије решења једначине (1.17), у
имплицитном облику.
91
Решавањем једначине , налазимо даје , тј. да је први интеграл
карактеристичног система. Тада, заменом у једначини , добијамо линеарну, у
На тај начин, потпуна фамилија решења полазне једначине имплицитно су дефинисане формулом
( *
√
√
√ )=0
(17.17)
92
диференцијабилна функција у тачкама специјалног решења, што значи да дата једначина не
задовољава све услове под којима се испитивала нехомогена линеарна једначина (17.1).
Размотримо прво варијанту, која је аналогна Кошијевом проблему за ОДЈ. У овом случају, проблем
ћемо формулисати на исти начин као за хомогену једначину (16.1): потребно је од свих решења
једначине (17.1) пронаћи такво решење , које за задовољава
услов , тј.
Показаћемо, како пронаћи решење за Кошијев проблем, ако је позната потпуна фамилија решења
једначине (17.1), дефинисана формулом (17.10).
У овом случају, као и у случају хомогене једначине, процес проналажења решења се своди на
дефинисање облика функције . Записујући почетне услове у облику при
и упоређивајући их са једначином (17.10), закључујемо да функцију треба одабрати тако
да је
̅ ̅ ̅ ,
(17.18)
где су ̅ ̅̅̅̅̅, функције добијене из функционално независних првих интеграла система (17.7)
заменом са почетном вредношћу , тј.
̅ ̅̅̅̅̅
(17.19)
̅ ̅ ̅ ̅̅̅̅̅̅̅̅̅̅
̅ ̅ ̅ .
93
Ако сада из скупа функција , изабремо
Стога, формула
( )
(17.20)
Одавде, је
̅
̅
94
̅ ̅
ако уместо ставимо, напред добијене њихове вредности. Као резултат замене долазимо до
израза
Као закључак овог параграфа, напомињемо да као у случају хомогених линеарних парцијалних
диференцијалних једначина, тако и у случају нехомогених линеарних парцијалних једначина такође
се разматра општи или генералисан Кошијев проблем, без освртања на решивост проблема, који се
формулише на исти начин као и у случају хомогених линеарних једначина.
Лема 18.1 (лемаГронвала (Thomas H. Gronwall, 1877’1932, američki matematičar)). Нека je дато
непрекидно пресликавање [ такво да за , vaжи неједнакост
∫( )
(18.1)
(18.2)
∫( )
(18.3)
95
тј.
̇
(18.4)
(18.5)
(18.6)
(18.7)
(18.8)
‖ ‖ ‖ ‖
96
(18.9)
Теорема 18.1. (Теорема о процени неподударања решења). Ако су задовољени услови (18.7) - (18.9),
тада за , за решења почетних задатака (18.5) и (18.6) важи оцена
‖ ‖ ( )
(18.10)
Доказ. Као и за доказ теореме Пикар - Линделоф, размотримо уместо почетних задатака њима
еквивалентне интегралне једначине
∫ ( )
∫( ( ) ( ))
Тада, је
‖ ‖ ‖ ‖ ∫ ‖ ( ) ( )‖ ‖ ( )‖
‖ ‖ ∫ ‖ ‖
Решење ДЈ (1.1) могућеје размотрити, не само као функцију времена , већ и као функцију
координата тачке кроз коју пролази график решења. Тако, на пример, скаларна ОДЈ првог реда
̇ ,
има решење задато једначином такво, да одговарајућа интегрална крива пролази кроз
тачку . Последњи услов дефинише као функцију променљивих што
аналитичкиистичемо једначином
97
Знање о томе на који начин решење ОДЈ зависи од скупа променљивих , је важно не само за
теорију, већ и запримену. Ствар јеу томе што решавање примењених проблема,при формирању
математичких модела,почетни услови обично се добију као резултат различитих мерења. Али ни
једно мерење не може бити изведено са апсолутном тачношћу и морамо одредити колико мале
грешке у мерењу почетних података утичу на понашање решења.
Теорема 19.1. Ако почетнизадатак (18.5) задовољава условеТеореме Пикар - Линделоф, онда
његово решење,непрекидно зависи, несамо од времена ,но и од почетних података .
(19.1)
| | | | | | | |.
| |
Поставка задатка је следећа. Ако десна страна ДЈ зависи,не само од него и још од неког
параметра, онда се поставља питање: како овај параметар утиче на понашање решења?
(20.1)
‖ ‖ ‖ ‖
99
са константом која не зависи од параметра .
Теорема 20.1. Решење почетног задатка (20.1) непрекиднозависи,на интервалу ,не само
од времена , већ и од параметра .
100
Размотримо ДЈ
̇
(21.1)
Доказ. Теорему ћемо доказатиза случај скаларне ДЈ . У општем случају доказ је аналоган.
Специјално, нека је . Taда произвољно решење једначине (21.1) је непрекидно
диференцијабилно и
(21.2)
(21.3)
101
̃ ̃ ̃
(21.4)
Уочивши садада је ̃ ̃ ,а
( )
( ( )) ∑
(21.5)
(21.6)
( )
∫ ( ( )) ∫∑
( )
∑ (∫ ) ∑
где је
( )
∫
(21.7)
102
‖ ‖ ‖ ‖
где је
| |
(21.8)
| | ∑| || | ∑| | ‖ ‖
где је дефинисано формулом (21.8). Из ове процене и дефиниције норме вектора, следи доказ
теореме.
103
§ 22. ДИФЕРЕНЦИЈАБИЛНОСТ РЕШЕЊА ПО ПАРАМЕТРИМА И ПОЧЕТНИМ
УСЛОВИМА
̇
(22.1)
где је параметар.
Доказ. У општем случају, доказ је аналоган доказу за случај . Дакле, нека је прво а
функције , решења скаларних почетних задатака облика (22.1). Тада су функције
,решења почетних задатака
̇ ,
па разлика
задовољава ДЈ
(22.2)
(22.3)
( *
(22.4)
104
тј. у односу на функцију , имамо линеарну ОДЈ.
Дакле, ако је , теорема је доказана. Ако десна страна једначине (22.1) има непрекидне
изводе до реда закључно, онда примећујемо да је, сагласно лемиАдамара,
( *
(22.5)
линеарна ОДЈ првог реда. Једначине за проналажење виших извода( ) , биће такође линеарне.
Истовремено, обратимо пажњу на то да, ако је за неку вредност познато решење
105
почетног задатка (22.1), онда коришћењем варијационе једначине, можемо израчунати
свеизводе
( * |
( *
(22.6)
Доказ.Тачност теореме 22.2 следи из теореме 22.1, јер се почетни услови могу сматрати као
параметри, због тога штосменом
106
̅
До сада смо проучавалиОДЈпрвог реда у нормалном облику, тј. ОДЈкоје су решивепо изводу.
Размотримо сада ОДЈ првог реда, у општем облику
(23.1)
Нека је , тачка подскупа равни из области задатка једначине (23.1). Размотримо једначину
у односу на :
(23.2)
Једначина (2.23) дефинише,у општем случају, више вредностиза , а може их бити и бесконачно
много. Тако, за разлику од ДЈ у нормалном облику, ДЈ у општем облику одређујеу свакој тачки
подскупа равне области задатка једначине (23.1) не један, већ више праваца, и зато кроз
тачку пролази више интегралнихкривих.
̇ ̇
107
где су произвољне константе.
Квалитативна слика понашања интегралних кривих, у овом случају, је приказана на слици. 29.
Овај пример показује да се интегралне криве различитих фамилија могу сећи како трансверзално, тј,
без додиривања као на пример у тачки А, тако и са додиривањем као на пример у тачки Б.
Тачка додира интегралних кривих зове сетачком нејединствености решења, док се тачка
трансверзалног пресека интегралних кривих различитих фамилија зове тачком јединствености.
Теорема 23.1. Ако је функција ̇ непрекидна, заједно са парцијалним изводима првог реда, у
неком паралелопипедуса центром у тачки ̇ , где је ̇ један од реалних корена једначине
̇
(23.2), и ̇
, тада на интервалу ,где je довољно мало, постоји јединствено
решење диференцијалне једначине (23.1), које задовољава услов , за који је
̇ ̇ .
(23.3)
Стога је функција непрекидна у и задовољава услов Липшица попроменљивој . Али тада, према
теореми Пикар–Линделоф, постоји само једно решење ДЈ (23.3)на интервалу
где je довољно мало, такво да важи а које је решење и ДЈ (23.1)
108
̇ ( )
Заменом , добијамо
̇ ( ) ̇
̇
̇
кроз тачку у правцу ,пролази јединствена интегрална крива.
Ако се испостави да је
На овај начин, тачке гранања решења ДЈ (23.1) се могу налазити на кривој која је одређена
системом
(23.4)
109
Такве криве могу бити сингуларне интегралне криве за ДЈ (23.1). Дакле, за
проналажењесингуларних решења ДЈ (23.1) можемопоступити на следећи начин:
Ако важе ова три случаја, онда су p - дискриминантне кривеуједно и сингуларне интегралне криве
ДЈ (23.1). Приметимо, такође, да за једначину (23.1) важи теорема аналогна теореми 11.1.
̇
Пример 23.2. Размотримо ДЈ ̇ .Систем (23.4) у овом случају има облик
(23.5)
̇ ̇
110
{
( )
111
{
Дакле, ако се ДЈ (23.1) може решити по ̇ ,тј. ако је могућедобити једну или више једначина
облика ̇ ,онда се интеграција ДЈ (23.1) своди на интеграцију ДЈ у нормалном облику.
Претпоставимо сада, да се ДЈ (23.1) можемо решити по ,тј. можемонаписати ДЈ у облику
У овом случају с-фамилију решењаДЈ могућеје наћи у параметарском облику. Заиста, изаберимо
као параметар извод ̇ , (тј. означимо ̇ ). Тада последња једначина има облик
(24.1)
Одавде добијамо
Добијена једначина може се решити по или по .На овај начин, ако се нађе решење за
последњудиференцијалну једначину у облику где је с- произвољна константа, тадазбог
(24.1)налазимо и - фамилију решења једначине(23.1) у параметарском облику, тј. имамо
112
Једначина Лагранжа (Монжа) је диференцијална једначинаоблика
̇ ̇
( )
па због имамо
( )
Ако је сада , онда су могућа следећа два подслучаја. У првом, постоје вредности
̅̅̅̅̅̅,такви да је ̅̅̅̅̅̅,а удругом је .У првомподслучају
једначина Лагранжа (Монжа) има решења облика
̅̅̅̅̅̅
̇ ̇
Специјално, за ̇ , добијамо
113
Одакле је
( )
Размотримо сада другу једначину претходног система. Ова једначина у случају линеарне функције
, тј. кадаје ,дајеспецијално решење, које улази у -фамилијурешењаКлероове
једначине за .
̇ ̇
( )
114
Заиста, из последње релацијеуочавамо да је - дискриминативна крива, а пошто је у овом случају
( ) (види теорему 11.1.), онда је дискриминативна крива и сингуларна
интегрална крива.
за које важи
( )
Дакле, имамо
̇ ̇
̇
Уводимо параметар на следећи начин: . Затим, како из облика полазне једначинеследи
̇ ̇
( * ( *
115
одакле налазимо , па је ̇ .Другим речима, полазна диференцијална једначина
допушта параметризацију
Нека једначина
(25.1)
Дефиниција 25.1. Крива која сече сваку криву фамилије (25.1) под истим константним углом
зовесе изогонална трајекторија фамилије кривих (25.1). За изогоналнатрајекторија се зове
ортогоналном. (угао између две криве у тачкињиховог пресека јеугао између тангентии тих
кривих у овој тачки).
116
Сл.34. Изогоналне трајекторије
Нека је - произвољна тачка изогоналне трајекторије (сл. 34). Означимо углове које
одређује осa са тангентом на криву фамилије (25.1) која пролази кроз тачку , и са
тангентом на трајекторију у тачки , редом са .
( )
или
(25.2)
( *
(25.3)
117
( )
( )
, ако је .
ГЛАВА 2.
СКАЛАРНЕ ОБИЧНЕ ДИФЕРЕНЦИЈАЛНE ЈЕДНАЧИНE
ВИШЕГ РЕДА
§ 26. СКАЛАРНE ОБИЧНE ДИФЕРЕНЦИЈАЛНE ЈЕДНАЧИНEn-ТОГ РЕДА У
НОРМАЛНОМ ОБЛИКУ
Дефиниција 26.1. Скаларна ОДЈ n-тог реда у нормалном обликује релација облика
( )
(26.1)
118
где је - независна променљива, коју обично називамо време, - непозната функција,
дефинисана на неком интервалу са вредностима у - задато пресликавање
некеобласти директног производа у ,а симбол оператора диференцијације -
пута по .
( )
Кошијев проблем (почетни задатак) за ОДЈ (1.26) је формулисан на следећи начин: потребно је наћи
решење ОДЈ (26.1) такво да за дату вредност независне променљиве и
датим важеједнакости
(26.2)
Дефиниција 26.3. График решењаОДЈ (26.1) у равни зовемо интегралном кривом ОДЈ (26.1).
Напоменемо,да као у случају ДЈ првог реда, ДЈn-тог реда (26.1) такође има одређени геометријски
смисао.
119
Тако, на пример, ако је дата ОДЈ другог реда
(26.3)
чија се нека интегрална крива задаје једначином онда је у свакој тачки одређена
кривина интегралне криве
| | | ( )|
√( ( ) ) √( ( ) )
| |
Тако, ОДЈ (26.3) даје везу између кривине и углом нагиба тражених интегралних кривих једначина.
Крива у равнипроменљивих може бити интегрална крива ДЈ (26.3) само када су у свакој њеној
тачки,кривина и угао нагиба, повезане наведеном формулом.
Показаћемо сада каквавеза постоји између скаларне ОДЈ -tog реда (26.1) и векторске ОДЈ 1. реда
(1.1).
Дакле, нека је дата скаларна ОДЈ -тог реда (26.1). Ставимо и уведимо следећеознаке:
Тада, у складу са новим ознакама ОДЈ (1.26) можемо написати у облику система
̇
̇
{
̇
(26.4)
где је
( ,
( )
120
Дакле, скаларна ОДЈ -тогреда (26.1) увек се може свести на векторску ОДЈ 1.реда (26.4).
На овај начин, очигледно је да, ако нађемо решење ОДЈ (26.4), онда смо нашли и решење ОДЈ
(26.1). Важи и обрнуто.
Размотримо сада могућност свођења нормалног ДС (1.1") на скаларну ОДЈ -тогреда (26.1).
̅̅̅̅̅
(1.1")
гдесве функције имају непрекидне парцијалне изводе до -реда,у односу на све аргументе.
Тада је
Ако сада у десну страну ове једначине ставимо,уместо ̅̅̅̅̅ њихове вредности из
(1.1"),долазимо до једначине облика
(26.5)
̃
{
̃
(26.6)
̃ ̃
Претпоставимо да је јакобијан Тада,из система
{ ̃
налазимо
121
̅̅̅̅̅
(26.7)
У овом случају, заменом вредности из (26.7)у задњој једначини система (26.6), добијамо ОДЈ -
тог реда
Некад се може десити да је немогуће наћи (26.7). На пример, тако ће бити у случају када су из прве
једначине система (1.1") и једначине (26.5) већ искључене променљиве или једначина
(26.5) једноставно не садржи Тада добијамо неколико ДЈ са једном непознатом за
неко .
Дакле, диференцијалном систему (1.1") можемокореспондиратиили једном ОДЈ -тог реда, или
више ОДЈ, чији је збир редова једнак .
Напомена 26.2.Понекад, можемо добити и такве ДЈ, чији збир редова можебити вишиод . У овом
случају компонента произвољногрешења формалноће садржати више од
произвољних констаната. Заменом нађених компоненатау полазни ДС (1.1"), добићемо релације
међу константама такве, који ће дати баш - произвољних констаната.
решење ДЈ
122
Важносттеореме следи из могућности свођења ДЈ (26.1) на ДЈ (26.4), а затим применом на теорему
Пикар - Линделоф.
(27.1)
∫∫
∫∫ ∫
123
Добијена формула дефинише сва решења ДЈ (27.1) и даје нам могућност одрећивања решења са
произвољним скупом бројева за које важи
∫∫ ∫
садржи -квадратура. Међутим, како се показује, онемогу бити замењене једном квадратуром, тј.
можемо показати да важи следећаКошијева формула
(27.2)
∫∫ ∫ ∫
124
∫ ∫ ∫ ∫ ∫
Стога је,
∫∫ ∫
На сличан начин,налазимо:
∫∫∫ ∫ ∫ ∫ ∫ ∫
∫∫∫∫ ∫ ∫ ∫
Генерализација заснована на формули која описује тзв. гаму функцију (означену са ), где је по
дефиницији { }а ∫
наравно, ако интеграл постоји, што и доводи до следеће генерализације извода. Ако за дату
функцију постоји функција и реални број , такви да важи једнакост
онда називамо изводом функције реда . Ако су датиреалан број и функција , онда се
функција назива -струким интегралом функције . Наведене дефиниције извода реда и
-струког интеграла имају широку примену у разним областима савремене математике.
125
§ 28. МЕТОДЕ РЕШАВАЊА ОДРЕЂЕНИХ ТИПОВА НЕЛИНЕАРНИХ СКАЛАРНИХ
ОБИЧНИХ ДИФЕРЕНЦИЈАЛНИХ ЈЕДНАЧИНА ВИШИХ РЕДОВА У НОРМАЛНОМ И
ОПШТЕМ ОБЛИКУ
Пре свега, приметимо дасе скаларном ОДЈ -тогреда у општем облику зове однос
где је дати природан број; - независна променљива која се зове време; - непозната
функција, дефинисана на неком интервалу са вредностима у ; -задато (непрекидно)
пресликавањенеке области у ; - симбол оператора диференцијације -пута по .
Решење скаларне ОДЈ вишег реда у општем облику дефинише сеаналогно случају скаларне ОДЈ
вишег реда у нормалном облику.
Приметимо такође да је један од интеграбилних типова скаларне ОДЈ -тогреда заправо једначина
разматрена у § 27.
Једначина облика
Размотримо случај где једначина овог типа није решиваелементарним функцијама у односу на .
Онда се -фамилија решења обично тражи у параметарском облику. Ово јеслучај када ДЈ омогућава
параметризацију, тј. постојање функција
таквих да је
( )
126
Одакле имамо
Даље имамо,
( ) ( )
па је на овај начин
∫( ) ( * ( )
( * ( )
127
Једначина облика ( )
ДЈ ове врсте допуштају умањење реда за к, ако уведемо смену
одређује сингуларно решењеполазне ДЈ. На тај начин, потпуна фамилија решења ове једначине
задаје се системом
Издвојимо два специална подслучаја ДЈ вишег реда, којене садржетражену функцију и узастопне
прве изводе.
Једначина облика
Прво, претпоставимо да је ова једначина решива по највишем изводу, тј. посматрајмо ДЈ.
128
Стављајући да је долазимо до аутономне ДЈ 1.реда
( )
која је разматрана раније. Њеним решавањем налазимо -фамилију решења ове једначине у
параметарском облику.
па је
129
тј.
( *
На овај начин, - фамилија решења ове једначине у параметарском облику задата је релацијом
( *
Једначина облика
Претпоставимо прво да ДЈ можемо решити по ,тј. можемо добити једну или више ДЈ облика
√ ∫
одакле је
√ ∫
130
Тада, приметивши да је
тј.
√ ∫
Једначина облика
Једначине овог обликадопуштају смањење реда, увођењемсмене променљивих
Имамо:
( * ( *
( ( * ) ( )
( ( )+
131
Пример 28.4. Интегрисати једначину
или
Тако, имамо ДЈ
132
Једначина
облика
Једначине овог обликаназивају се хомогеним ДЈу односу на тражену функцију и њенеизводе. Ове
једначине омогућавају смањење реда за 1, ако уведемо нову непознату функцију z, сменом
Заиста, како је то је
( )
Ако сада искористимо својство хомогености функције ,по одговарајућимпроменљивим, при чему
улогу у овом случају има , последњу ДЈ можемо написати у облику
( )
( )
Решење. Као и у претходном примеру, ова једначина има једнопараметарску фамилију решења
гдеје нумерички параметар.
133
Добијена ДЈ дељењем са своди се на Бернулијеву ДЈ, чијом интеграцијом налазимо да је
{ √
Зове се уопштена хомогена ДЈ, ако постоји такав број , за који лева страна ДЈ постаје хомогена
функција неког степена у односу на аргументе, у претпоставци да сматрамо
променљивима степена хомогености редом, тј.
(28.1)
( * ( *
тј.
( *
134
Даље налазимо да је
( ) ( *
Показаћемо на конкретном примеру, како се налази број у смени (28.1) и како се формира ДЈ која
не садржи независну променљиву .
(28.2)
па је
( )
( *
135
Последња једнакост означава да је функција први интеграл дате ДЈ, па ред ДЈ можемо смањити за
један.
{ | | }
паје полазна ДЈ једначина у тачним изводима. Имајући у виду ову једначину, долазимо до ДЈ
| | | |
или до ДЈ
за коју је
( )
√
Аналогно, је
Интеграцијом овакве ДЈ, добијамо с-фамилију решења полазне ДЈ, која је задата релацијом
Где је
136
није ДЈ у тачним изводима, у неким случајевима могуће је наћи функцију
која, након множења ДЈ са ,лева страна новодобијене једначине постаје тачан извод. Таква
функција се назива интеграциони фактор.
| | | | | |
Интеграцијом, налазимо
| | | | | | | |
или
Како је
( *
једнакост
| |
(29.1)
137
Напомена 29.1. Из дефиниције 29.1 следи:
2) ако је бар једна од функција идентички једнака нули на интервалу | | онда су ове
функције линеарно зависне у| |
Дефиниција 29.3. Вектори са истим бројем компоненти зову се линеарно зависни, ако
постоје константе који нису сви једнаки нули, такви да
| |
(29.2)
Објаснимо сада везу између појмова линеарна зависност скаларних функција, вектора и вектор-
функција.
( , ( , ( , | |
̅̅̅̅̅
(29.3)
138
на | | који означавају линеарну зависност компонената у смислу дефиниције 29.1.
У општем случају не важи обрнуто. На пример, размотримо две векторске функције које су
датерелацијама
( ) ( )
Прве компоненте ових векторских функција су исте, што значи да су онелинеарно зависне.
( ) ( ) ( )
долазимо до система
На тај начин, могуће је на неком скупу линеарно зависних скаларних функција изградити линеарно
независне векторске функције. Таквелинеарно независне векторске функције је могуће изградити у
случају када су пропорције између коефицијената у идентитетима (29.3) различите.
Показаћемо сада каквавеза постоји између линеарне зависности векторских функција и линеарне
зависности вектора.
( ) ( )
139
У овом случају, на пример, за добијамо три пара вектора
( ) ( ) ( ) ( ) ( ) ( )
Вектори сваког од ових парова су линеарно зависни, јер су пропорционални (са коефицијентима
пропорционалности 1, 2, 3, респективно).
( ) ( ) ( )
долазимо до идентитета
Објашњење ове чињенице састоји се у томе да, у случају линеарне зависности векторских функција
исти скуп констаната ̅̅̅̅̅̅служи за све вредности а у последњем примеру за сваку вредност
је потребнадругачија пропорција између констаната.
Наведимо сада неколико конкретних примера функција на чије разматрање се своди решење низа
питања теорије разматраних линеарних ОДЈ вишег реда.
140
Али то је немогуће, јер полином степена не може имати више од различитих корена на било ком
интервалу. Из ове контрадикције следи тражени резултат.
̅̅̅̅̅
Доказ.Да бисмо се уверили у претходну тврњу, применићемо метод математичке индукције. Дакле,
за ова тврдња је очигледна. Претпоставимо сада да она важи и за и да су функција
линеарно зависнена неком интервалу | |. У том случају, за свако | |важила
биједнакост
за било које | |
̅̅̅̅̅
| |
141
Изаберимо неко | | У овом случају, због линеарне независности вектора
долазимо до система једначина
Доказ. Претпоставимо, као у претходном примеру да су ове функције линеарно зависнена неком
интервалу | |. Онда морају постојати константе
| |
где је
̅̅̅̅̅
Без смањења општости, узмимо да је Тада, делећи обе стране овог идентитета са ,и
диференцирањем пута по , долазимодо идентитета
( )
( )
| |
142
који, због чињенице да је степен полинома једнак степену полинома противречи
чињеници да полином не може идентичнобити једнак нулина интервалу | |. (Пример 29.1).
Из ове контрадикције следи тражени резултат.
(30.1)
(30.2)
143
је тривијално решење
| |
| |
Теорема 30.1. (неопходан услов линеарне зависности скаларних функција). Ако су скаларне
функције линеарно зависнена интервалу | |, тада је у овом интервалу.
при чему нису сви ̅̅̅̅̅ једнаки нули. Диференцирањем добијеног идентитета пута по
, добијамо
( ) ( ) ( ) ( )
144
̅̅̅̅̅
( )
линеарно зависни, па је
| |
из идентитета | | , на пример, за је ,а за je , па
одавде добијамо , што значи да су функције линеарно независнена .
2) | |
Некаје таква тачка да важи . Тада су колоне детерминанте линеарно зависне, што
значи да постоје константе , које нису свеједнаке нули, такве да је
( ) ( ) ( ) ( )
Одатле је
145
{
(30.3)
Напомена 30.2. Ако је број разматраних решења ДЈ (30.2) мања од реда једначине, онда из
једначине не следи линеарна зависност решења.
Дефиниција 30.3. База, или фундаментални систем решења линеарне скаларне хомогене ОДЈ -тог
реда (30.2) на интервалу | | је скуп од решења ДЈ (30.2), дефинисаних и линеарно независних
на| |.
( )
146
̅̅̅̅̅
Напомена 30.3.Из доказа теореме 30.3 следи да ДЈ (30.2) има бесконачно много база решења.
Теорема 30.4 (теорема о комплетној фамилији решења). Нека је база решењаДЈ (30.2).
Тадасвако решење ДЈ (30.2) које се разликује од базног је дато једначином
(30.4)
Наш задатак је дапронађемо функцију у облику (30.4) која задовољава исте почетне услове. Овај
захтев доводи до система једначина
На овај начин, могуће је одредити решење облика (30,4) које задовољава исте почетне услове као и
решење . Сагласно теореми постојања и јединствености, ова два решења су иста, што значи да се
представља у облику (30.4).
Напомена 30.4. Као што је раније поменуто, ДЈ (30.2) има бесконачно много база решења. Ипак,
без обзира на избор базе решења, формула (30.4) описује исти скуп решења.Слична ситуација се
јавља и у линеарној алгебри: простор је исти, а базу у њему могуће је изабрати на различит начин.
147
важи само ако је
Али, у овом случају биће линеарно независне и функције што значи да се, на пример,
решење одређујерешењима формулом (30.4), што је у супротности са
претпоставком о линеарној независности решења. Ова контрадикција и доказује последицу.
Показаћемо сада како одредити линеарну скаларну хомогену ОДЈ -тог реда облика (30.2), ако су
познате линеарно независних скаларних функција .
Претходно означимо са
( )
( )
(30.5)
( ) ̅̅̅̅̅
јер ова детерминанти увек има две идентичне колоне. Развој детерминанте ( )по
елементима прве колоне и одређује ДЈ (30.2). У овом случају, пошто је функције
формирају базу решења добијене ДЈ.
148
који можемо посматрати као линеарни нехомогени систем од алгебарских једначина
понепознатим Овај систем увек има јединствено решење, што је сагласно
услову чиме је теорема доказана.
( )
( )
Ова неједнакост, према теореми 30.5, казује да постоји јединствена линеарна скаларна хомогена
ОДЈ -тог реда
( )
(30.6)
149
Напомена 30.5. Из доказа теореме 30.6 следи да акоје ( ) на | |, а
( ) за свако | |, онда теорема важи и без захтева о аналитичности
функција .
§ 31.ФОРМУЛА АБЕЛА-ЛУЈИВИЛА–ОСТРОГРАДСКОГ
Нилс Хенрик Абел (нор. Niels Abel; 1802 -1829) , норвешки математичар
Жозеф Лујивил (фр. Joseph Liouville;1809 - 1882), француски математичар
Михаил Остроградски (1801- 1862), руски математичар
| | | |
| | | |
Одавде видимо да је извод функционалне детерминанте -тог реда збир детерминаната код којих је
-та детерминанта једнака полазној детерминанти са диференцираном -том врстом.
Теорема 31.1. Нека су решења ДЈ (30.2) и је Вронскијан тих решења. Тада важи
формула Абел-Лујивил-Остроградски
(31.1)
| |
150
| |
| |
| |
| |
тј.
(31.2)
Напомена 31.1. Из формуле(31.1) јасно следи да је Вронскијан или увек једнак нули или увек
различит од нуле. Другим речима, он је само експонент са коефицијентом који су или нула или
различити од нуле.
Показаћемо сада како можемо уз помоћ формуле (31.1) да одредимо комплетну фамилију решења
ДЈ 2. Реда, тј. једначине
(31.3)
Нека је произвољно решење ДЈ (31.3) такво да је .Tada, на основу формуле (31.1) можемо
записати да je
151
| | ∫
или
( ) ∫
∫
(∫ )
(31.4)
Дакле, ако је познато нетривијално решење ДЈ (31.3), онда је комплетна фамилија решења ДЈ
(31.3) дата формулом (31.4), тј. налази се квадратурама.
̅̅̅̅̅
(31.5)
( *( ∫ *
152
(31.6)
Напомена 31.2.Истакнимо да, ако ДЈ (30.2) има линеарно независних решења , онда у
складу са сменом за добијамо ДЈ (31.6). Што се тиче ДЈ (31.6), она ће имати
линеарно независних решења
( * ( * ( *
Можесе показати да се ред ДЈ (30.2) може смањити за јединица. То добијамо увођењем нових
функција
( *( ∫ *
( * ( * ( *
Настављајући овај процес, на крају ћемо добити хомогену линеарну једначину -тог реда.
(32.1)
Тврђење 32.1.Ако је решење нехомогене ДЈ (32.1), решење одговарајуће хомогене ДЈ (30.2), онда
ће збир бити решење за нехомогену ДЈ (32.1).
Тада је
( ) ( ) ( )
153
што је и требало доказати.
Тврђење 32.2.Ако су два решења нехомогене ДЈ (32.1), онда је њихова разлика решење
хомогенеДЈ (30.2).
Теорема 32.1.Потпуна фамилија решења нехомогене ДЈ (32.1) је збир комплектне фамилије решења
одговарајуће хомогене ДЈ (30.2) и било когпартикуларног решења нехомогене ДЈ (32.1), тј.
(32.2)
(33.1)
154
( , ( , ( ,
(33.2)
Ове функције изабрали смо тако да би се при узастопном диференцирању функције , функције
̅̅̅̅̅ сматралеконстантама.
( ) ( ) ( )
(33.3)
( ) ( )
(33.4)
(33.5)
Тако, узимајући у обзир формуле (33.3) и (33.5) имамо следећи линеарни нехомогени систем
алгебарских једначина са непознатим ̅̅̅̅̅.
(33.6)
155
Детерминанта система (33.6) јеВронскијан, па решавањем система по Крамеровим правилом,
добијамо
̅̅̅̅̅
∫ ∫ ∑
дата формулом
где су произвољне константе, па онда систем (33.6) у овом случају има облик
| |
| |
156
могуће решитиза сваки почетни задатак. На пример, ако је онда увек постоји функција
која је решење почетног задатка
(33.7)
где је .Даље, нагласимо да решење почетног задатка (33.7) не зависи само од ,већ и од
почетне тачке , тј. .
(33.8)
где је
(33.9)
(33.10)
∫ ∫
157
која је специјални случај опште формуле диференцирања одређеног интеграла по параметру у
случају када и границе интеграла зависе од параметара, а такођеузимајући у обзир једначину (33.9),
добијамо релације
(33.11)
Ако заменимо вредности и одговарајућих извода из (33.10) и (33.11) у ДЈ (32.1), због (33.8)
добијамо да je
∫ ( )
Чињеница да решење задовољава почетне услове дате у теореми следи директно из формула
(33.10) и (33.11).
дата формулом
158
где су произвољне константе. Онда, из услова (33.9) добијамо
Одавде налазимо да је
па је
∫ ∫ ( | ∫ )
тј. .
РазмотримоОДЈ облика
(34.1)
159
(34.2)
(34.3)
карактеристичномједначином ДЈ (34.2).
2) ( ) (Формула померања)
Својство 1) је очигледно.
( ) ∑ (∑ )
Тада је
( )
Лема 34.1. Ако је корен карактеристичне једначине (34.3), онда је функција решење
ДЈ (34.2).
Лема 34.2. Ако је корен карактеристичне једначине (34.3) -струкости, онда су функције
̅̅̅̅̅̅̅̅̅̅
решења ДЈ (34.2).
160
Доказ. Пре свега приметимо да, без смањења општости, можемо узети , јер за ,
сменом , сагласно својству 2, почетну ДЈ сводимо на једначину
(34.4)
Директном проверомутврђујемо да су
(34.5)
Доказ. Према леми 34.1, свака од функција ̅̅̅̅̅ је решење ДЈ (34.1), и ове функције
су линеарно независне на сваком интервалу | |, што показује Пример 29.2. Теорема је, уз
ослањање на теорему 30.4, доказана.
Напомена 34.1. Ако су сви бројеви ̅̅̅̅̅ реални, онда формула (34.5) даје потпуну фамилију
реалних решења ДЈ (34.1).Ако међу коренима карактеристичне једначине (34.3)
имакомплексних,тј. ако је, на пример, корен карактеристичне једначине (34.3),
онда је и такође корен ове једначине.
161
(34.6)
где су
̅̅̅̅̅
ДЈ (34.1) има комплексних решења, тада сесваки пар комплексних коњугованих решења
облика (34.6) може заменити паром реалних решења .Ако реална решења дефинисане
једнакостима означимоса , онда су реална решења линеарно независна на
сваком интервалу| |.
Доказ. Нека су тражене функције линеарно зависне у неком интервалу | |.Тада постоје константе
, реалне или комплексне, које нису све једнаки нули, такве да је
| |
( )
| |
где је ,
У овом случају, ако је барем једна константа , онда постоји константа , и стога су
функције линеарно зависне, што је у супротности са претходно доказаним.
Закључак. У случају различитих корена карактеристичне једначине (34.3) постоји база решења која
се састоји од функција за сваки реални и функција за сваки пар
комплексних корена
162
коњугованих корена одговарају реална решења , дефинисана са
( ) ( )
решења ДЈ (34.1). Како су ове функције линеарно независнеу сваком интервалу | |, што следи из
примера 29.4.и како је њихов број , онда доказ теореме следи из теореме 30.4.
163
има корене , па базу решења чине функције
Пример 34.3.Интегралити ДЈ
има корене √ √
√ √
(35.1)
164
( )
(35.2)
(35.3)
(35.4)
Тада је јасно да, ако је корен једначине (35.4), ондаје решење хомогенеједначине
(35.1)( - решење хомогенеДЈ (35.3)). Али, ако је -струки корен једначине (35.4), онда су
функције
165
решења хомогене ДЈ (35.3), а самим тим, с обзиром да је ,закључујемо да су функције
( ) ( )
166
Дефиниција 36.1. Квази-полином је функција
(36.1)
где је - квази-полином.
ДЈ (36.1) је специјални случај ДЈ облика
(36.2)
где је произвољна непрекидна функција, али се издвајаиз једначина облика (36.2), јер се
партикуларно решење таквеДЈ увек може наћи методом неодређених коефицијената.
Ради једноставности излагањаметодеодређивањапартикуларног решења у датом случају,
посматрајмо ДЈ
(36.3)
где је нека константа, у општем случају комплексна,а полином -степена у односу на .
Теорема 36.1. Ако није корен карактеристичне једначине ,онда је партикуларно
решење ДЈ(36.3) дато у облику
Доказ. Као и за доказ леме 34.2, можемо сматрати да је . Уз ову претпоставку, ако ставимо
167
Теорема 36.2. Ако је -струки корен карактеристичнеједначине , онда је партикуларно
решење ДЈ (36.3) дато једначином
Доказ. Као и за доказ леме 34.2, можемо сматрати да је -струки корен једначине ..
То значи да је карактеристична једначина облика
(36.4)
Ако сада уведемо ознаку
(36.5)
тада ДЈ (36.4) можемо написати као
одакле налазимо
(36.6)
где су полиноми степена, респективно, реални бројеви, своди на случај
једначинеоблика (36.3).
Заиста, користећи формуле
168
добијамо да је
( ) ( )
( )
( ) ( )
̅ ̅
где је са означен комплексни број , а са полином ( ) -степена, где је
{ }.
У овом случају, важно је напоменути да сусабирци добијеног збира комплексно коњуговани, и
стога, ако се нађе решење ДЈ ,тадаће функција ̅ бити решење ДЈ ̅
̅ ̅
,пa је функција ̅ решење ДЈ (36.6).
Приметимо да у интеграцији конкретних ДЈ није нужно да се десна странаДЈ (36.6) напише као збир
двакомплексно коњугована сабирка, јерна основу Напомена 36.1 и Теорема 36.2 имамо следећу
теорему.
(36.7)
где су полиноми -степена, где је { }.
Напомена 36.2.Обратимо пажњу да, ако је у формули (36.6) једна од функција или идентички
једнака нули, тада сепартикуларно решење ДЈ тражи у облику (36.7).
Напомена 36.3. У литератури случај који је описан теоремом 36.1 назива се не-резонантни, а онај
који је описан теоремом 36.2 - резонантни.
Размотримо ДЈ облика
(37.1)
уз претпоставку да су функције непрекидне на интервалу[ ].
Занимају нас само реална решења.Појаснимо питање расподеле нула графика таквих решењана
временској оси, тј. вредности ,за које , где је решење ДЈ (37.1)
Претходно напоменимо да, без губитка општости, уместо ДЈ (37.1) можеморазматрати ДЈ
(37.2)
169
где је функција непрекидна на[ ].
Заиста, сменом
∫
Доказ. Претпоставимо да теорема нијетачна, тј. да постоји неко нетривијално решење такво да
њен график има у интервалу [ ] бесконачно много нула. Изаберемо конвергентанниз{ } и нека
буде граничнавредност овог низа.
СагласноБолцано-Вајерштрасовој Теореми, тачка [ ]. Даље, пошто је , где је
,онда из непрекидности решења следи да је
Али бројилац разломка је нула, што значи да је . Добијена једнакост противречи леми
37.1. Ова контрадикција и доказује теорему.
(37.3)
и
(37.4)
ДЈ, за које су у интервалу [ ] функције и непрекидне и
[ ]
(37.5)
Онда између сваке две узастопне нуле и ( графика нетривијалног решења ДЈ
(37.3) има најмање једна нула графикасваког нетривијалног решења ДЈ (37.4), под условом
да није једнак нули за и .
170
Доказ. Како су и решења одговарајућих ДЈ, онда важе идентитети
Ако сада помножимо први идентитет на , а други на и од прве одузмимо другу, онда
долазимо до идентитета
( )
(37.6)
С обзиром да
( )
и интеграцијом релације (37.6) у границама од добијамо
∫ ( )
(37.7)
Даље, ако су узастопне нуле графика решења , онда без губитка општости, можемо
претпоставити да је за било које (сл 36.).
Сада, ако теорема не би била тачна, онда би постајалорешење , чији графикнема ниједну нулуу
интервалу . Без губиткаопштости, можемо сматрати да је за свако [ ] (Сл.
37). Али у овом случају лева страна једначине (37.7) би била негативна, адесна страна ненегативна
што следи из услова (37.5).
Ова контрадикција и доказује теорему.
171
Теорема 37.3. Ако је на сегменту [ ],тада график сваког нетривијалног решења ДЈ (37.2)
у интервалу [ ], може имати највише једну нулу.
Доказ. Као ДЈ за поређење, изаберимо ДЈ
(37.8)
Тада, ако претпоставимо да график неког нетривијалног решења ДЈ (37.2) у интервалу има
две нуле и онда из претходне теореме следи да у интервалу [ ] мора бити бар једна нула
графика сваког решења ДЈ (37.8), што није тачно за решење које је дато једначином
. Ова контрадикција доказује теорему.
Теорема 37.4. (Теорема о узастопним коренима). Нека су и два линеарно независна решења
ДЈ (37.2). Тада, између две узастопне нуле и графика првог решења је управо једна нула графика
другог решења.
Доказ.Као ДЈ за поређење, изаберимо ДЈ (37.2). Тада је па јеуслов (37.5)
испуњен. Напоменимо да се нуле графикарешења и не могу поклапати (уколико би постојало
такво да су ,онда би важило
| |
што јеу супротности са претпоставком о линеарној независности решења и ). Претпоставимо да
су и узастопне нуле графика решења . Тада би,сагласно теоремиШтурмао поређењу, између
нула и требало да буде само једна нула графика решења , иначе би уинтервалу
постајала још једна нула графика решења , што би противуречило томе да су и узастопне
нуле. Овом контрадикцијом теорема је доказана.
(37.9)
Доказ. Упоредимо задату ДЈ (37.2) са једначином
(37.10)
чија је потпунафамилија решења датарелацијом
(37.11)
где су произвољне константе.
Из (37.11) следи да нетривијално решење ДЈ (37.10), којепостаје нула за , је решење, које је
дато једначином
172
(37.12)
Из Теореме 37.2 тада следи да следећа у низунула графика решења (37.12) лежи у полу
интервалу ].Али, због (37.12) је , па је
(37.13)
чија је потпунафамилија решења дата са
(37.14)
и стога следећанула након графика решења(37.14) је .
Како је ,то из теореме 37.2 следи данула .графика решења лежи у полуинтервалу
] (сл 38.).
(38.1)
173
∑
(38.2)
Тако, формула (38.2), која описује потпунуфамилију решења ДЈ (38.1) садржи параметара
и произвољних констаната
За издвајање партикуларних решења дате ДЈ, потребноје знати додатне услове из којих се
одређујуконстанте . Као додатни услов могу бити изабрани, на пример, вредности
функције и њенихизвода у некој тачки .Тада долазимо до
почетногзадатка, тј. Кошијевог задатка, који је, као што знамо,увек решив.
Међутим, као додатни услов могућеје одабрати вредност функције и њених извода или комбинације
ових величина не само у једној тачки , већу неколико тачака. У овом случајудолазимодо тзв.
граничнихзадатака. Они могу бити са две тачке, три тачке, и тако даље.
{
( )
Решење. За дати гранични задатак неопходно је пронаћи решење, чији график пролази кроз две
дате тачке .
Решавањемпочетне ДЈ, налазимо да формула
{
( )
174
релативне позиције тачака које одређују додатне услове. Због тога је у интересу наћи критеријуме
решивости граничних задатака.
У наставку ћемо разматрати само линеарне граничне задатке где су и ДЈ и гранични услови
линеарни.Лева страна граничних условасу линеарне комбинације вредности тражене функције и
њених извода у задатим тачкама , а десна страназадате константе.
Уколико је константа на десној страни граничног услова нула, онда тај услов зовемо хомогеним, а
уколико константа није нула, тај услов зовемонехомогеним.
Гранични задатак се зове хомогени ако су ДЈ и гранични услови линеарни и хомогени.
Примери линеарних граничних услова су:
1)
2)
3) | | | |
4)
5)
Али могући су и други услови.
Задржимо се детаљније на граничном задатку
где су и произвољне константе. Значи да решивост или нерешивост граничног задатка (38.3)
зависи од могућности или немогућностида се реши систем линеарних алгебарских једначина по и
, тј. систем
{
(38.4)
где је
175
Напомена 38.1. Горе наведена тврђења можемо узети у обзир само ако су позната два линеарно
независна решења ДЈ (38.3). Следеће теореме дају нам критеријуме код којих није потребно њихово
одређивање.
Теорема 38.1. Да би гранични задатак (38.3) имао за изводе и једно и само једно решење,
потребно је и довољно да одговарајући хомогени гранични задатак има само тривијално решење.
Заиста, ако хомогени гранични задатак има само тривијално решење, онда је . Важи и
обрнуто.
Напомена 38.2. Истакнимо да, ако хомогени гранични задатак (38.3) има нетривијално решење,
онда нехомогени гранични задатак или нема ни једно решење, или за неке и има бесконачно
много решења која су добијена из једног нетривијалног решења нехомогеног граничног задатка
додавањем њему било ког решења хомогеног задатка.
Теорема 38.2. Ако је онда хомогени гранични задатак (38.3) има бесконачно много решења,
која су одређена једнакошћу , где је неко нетривијално решење задатка и
произвољна константа.
Доказ. Ако је неко партикуларно решење хомогеног граничног задатка (38.3) различито од
решења ,тада, рецимо, из првог граничног услова следи да линеарни
хомогенисистем алгебарских једначина
{
у односу на и има барем једно нетривијално решење . У том случају, детерминанта
овог система је Вронскијан у тачки , па је ,одакле је и стога,
Размотримо сада гранични задатак
(38.5)
где су и функције које су дефинисане и непрекидне на сегменту [ ], и | | | | | |
| |
176
Теорема 38.3. Ако за гранични задатак (38.5) има само нулто решење, онда Гринова
функција постоји и има облик
{
(38.7)
где су и нетривијална решења ДЈ , која задовољавају респективно први и други
гранични услов из (38.5), а фактори и зависе од и одређују се из захтева да функција (38.7)
задовољава услове (38.6), тј.
(38.8)
Ова решења задовољавају респективно први и други гранични услов у (38.5), уз то они су линеарно
независни. Заиста, ако би решења и била линеарно зависна, онда би важио идентитет
, па би нетривијално решење , , јер је | | | | задовољавало и граничне
услове у (38.5), што би било у супротности претпоставкама у теореми.
Дакле, решења и су линеарно независна, па је свако решење ДЈ дато
релацијом за неке и .
У овом случају, с обзиром да само решење задовољава први гранични услов из (38.5) и само
решење други гранични услов из (38.5), тада из захтева 1) и 2) Дефиниције 38.1 следи да
функција мора имати облик (38.7). Из захтева 3) Дефиниције 38.1 следе једначине (38.8). Систем
(38.8) је решив по и , јер је његова детерминанта
| |
Тако, уз испуњеност услова теореме налазимо и , који задовољавају једначине (38.8), и тада
функција (38.7) задовољава захтеве 1), 2) и 3) дефиниције 38.1. Овим је теорема доказана.
Теорема 38.4. Ако су испуњени услови Теореме 38.3, решење граничног задатка (38.5) је дато са
177
∫
(38.9)
Доказ. Тражићемо решење граничног задатка (38.5) у облику (38.9). Разбијањем интервала
интеграције [ ] у два подинтервала и , добијамо
∫ ∫ ∫
∫ ∫
∫ ∫
∫ ∫
Даље налазимо,
∫ ∫
∫ ∫
178
∫
(38.10)
Из овог следи да за гранични задатак (38.10) има само нулто решење за , тј. услов
постојања Гринове функције је испуњен.
(38.11)
Одавде налазимо да је
179
Тада, из формула (38.11) коначно добијамо да је Гринова функцијазадата једнакостима
ГЛАВА 3.
Дефиниција 39.1. Линеарном векторском ОДЈ првог реда у нормалном облику зовемо једначину
(39.1)
где је
( , ( , ( ,
(39.2)
180
је тривијално решење .
| |
| |
при чему нису сви ̅̅̅̅̅ једнаки нули. У овом случају, детерминанта последњег система, коју
чине линеарно зависне колоне ̅̅̅̅̅ која се поклапа са Вронскијаном, идентички јеједнака
нули на | |.
Напомена 39.1. Услов , генерално гледано, није довољан за линеарну зависност вектор-
функција.Тако је, на пример, за вектор-функције и дефинисане једнакостима
181
( ) ( )
Вронскијан је идентички једнак нули на било ком интервалу | |, али ове вектор-функције, као
што следи из дефиниције линеарне зависности вектор-функција, су линеарно независне.
4) на | |;
која је, очигледно, контролно решење векторске ДЈ (39.2) и уз то задовољава почетни услов
. Последње значи да је тривијално решење ДЈ (39.2) (Тврђење 39.1) и, према томе, решења
су линеарно зависна у | |.
182
3) постоји такво | |, да су вектори линеарно независни.
4) за свако | | детерминанта је ;
5) постоји | |такво да .
Дефиниција 39.3. Базом, или фундаменталним системом решења линеарне векторске хомогене ДЈ
(39.2) у интервалу | |зовемо скуп решења ДЈ (39.2), дефинисаних и линеарно независних у | |.
која увек постоје на основу теореме Пикар-Линделофа за линеарне системе. Одабраних решења су
линеарно независна, јер је због избора вектора , Вронскијан .
Напомена 39.2.Из доказа теореме 39.3 следи да ДЈ (39.2) има бесконачно много базисних решења.
(39.3)
Доказ. Формула (39.3) даје једнакост скупова. Дакле, да се докаже тражена једнакост мора прво да
се покаже да сваки елеменат десне стране припада левој страни, и да се покаже да се свако решење
ДЈ (39.2) може представити као линеарна комбинација.
Чињеница да је било која функција у облику (39.3), решење ДЈ (39.2) следи из принципа
суперпозиције.
183
Обрнуто, показаћемо да се свако решење ДЈ (39.2) може представити као линеарна комбинација.
Дакле, нека је произвољно решење ДЈ (39.2), произвољна тачка из области дефинисаности базе
решења ДЈ (39.2), и нека је
( ,
Одредимо друго решење у облику линеарне комбинације (39.3) које задовољава почетни услов
( ,
Дакле, за добијање елемента који је у пресеку -теврсте и -те колоне матрице , неопходно је
помножити -ту врсту матрице са -томколоном матрице .Тачније, да би добили елемент
184
потребно је помножити прву врсту матрице са првом колоном матрице , да би добили елемент
, потребно је помножити другу врсту матрице А са првом колоном матрице . Тако, за добијање
елемената прве колоне матрице С неопходне су матрица и само прва колона матрице .
Наведено својство множења матрица дозвољава "разбијање" једне матричне релацијена сет
векторских релација: прва колона матрице (вектор) је једнака производу матрице са првом
колоном матрице , друга колона матрице је производ матрице и друге колоне матрице и
тако даље.
Могућа је и обрнута операција, тј. могуће је из низа векторских релација са истом матрицом добити
једну матричну релацију. Баш ова последња операција се користи у добијању тзв матричне ДЈ, до
које долазимо на следећи начин: нека је дат скуп векторских идентитета
̇ ̅̅̅̅̅
Овај скуп се може објединити у једну релацију тако што означимо са матрицу која је састављена
од вектора . Тада ће ̇ бити матрицасастављена од извода ових вектора. Као резултат тог
обједињавања добијамо матричну ДЈ
(40.1)
На основу правила множења матрица следује да је матрична функција решење ДЈ (40.1) само
тада, када су њене колоне решења векторске ДЈ (39.2).
( ,
Ова формула омогућује искраћен запис потпуне фамилије решења матричне ДЈ.
Наиме, нека је некa фундаментална матрица, произвољно решење матричне ДЈ, које се
састоји од колона .Пошто је свака колона решење векторскеДЈ (39.2), то је
185
где је сваки вектор има свој вектор , а ове релације поново се обједињују у једну матричну
релацију
(40.2)
На овај начин, потпуна фамилија решења матричне ДЈ (40.1) се дефинише формулом (40.2).
(40.3)
̇ ̇ ̇
̇ ̇ ̇
̇ | | | | | |
̇ ̇ ̇
∑ ∑ ∑
| | |∑ ∑ ∑ |
| | | |
| |
| |
∑ ∑ ∑
186
Претпоставимо сада да су решења ДЈ (39.2) линеарно зависна на . Тада је формула
(40 3) очигледна. Али, ако су ова решења линеарно независна на , тада је за свако
, па је
(39.1)
Тврђење 41.1. Ако је решење нехомогене ДЈ (39.1), а решење одговарајуће хомогене ДЈ, тада је
збир решење нехомогене ДЈ (39.1).
Тврђење 41.2. Ако су и два решења нехомогене ДЈ (39.1), тада је њихова разлика решење
одговарајуће хомогене ДЈ.
Ова два тврђења могу бити доказана аналогно доказу тврђења 32.1 и 32.2.
Теорема 41.1. (теорема о потпуној фамилији решења). Потпуна фамилија решења нехомогене
ДЈ (39.1) је збир потпуне фамилије решења одговарајуће хомогене ДЈ и било кога партикуларног
решења нехомогене ДЈ (39.1), тј.
Напомена 41.1. Како је "потпуна фамилија решења" скуп функција, то теорема 41.1 констатује
једнакост два скупа.
187
Метод варијације произвољних константи омогућава изналажење комплетне фамилије решења
нехомогене линеарне ДЈ (39.1)уз помоћ квадратура, ако је позната база решења одговарајуће
хомогене ДЈ
(41.1)
(41.2)
или
̇
( ∫ )
(41.3)
Ако тражимо решење које задовољава почетни услов ,тада је у овом случају ,
а самим тим и .Тада формулу (41.3) можемо записати у облику тзв. Кошијеве
функције
Функција
188
која се појављује два пута у Кошијевој формули зове се матрична Кошијева функција. Помоћу ове
функције, формулу потпуне фамилије решења ДЈ (39.1) можемо записати у Кошијевом обликукао
Нека је { } у општем случајуквадратна фундаментална матрица реда . Ова матрица може бити
аргумент неке функције. Конкретно, она може бити аргумент тзв. експоненцијалне функције која се
даје формулом
(42.1)
где елементи матрице узимају коначне вредности. У теорији матрица доказује се да матрични ред
(42.1) конвергира за било коју квадратну матрицу и то апсолутно.
1) Ако је тада је ;
3)
4) ако је , то је
189
Теорема 42.1. (теорема Лапо-Данилевског(Лапо-Данилевски Иван Александрович (1896-1931),
руски математичар)).
(∫ ) (∫ )
∫ ∫ ∫
( *
Напомена 42.1. У случају, када је матрица константна, она комутира са својим интегралом, и
зато као интегралну матрицу матричне ДЈ (40.1), са константном матрицом могуће је узети
матрицу
Даље нека је произвољан елемент поља . Жордановим (Jordan M.E.C., 1838-1922, француски
математичар)блокомзовемо квадратну матрицуреда .
( )
Квазидијагоналну матрицу
( )
(42.2)
начијој дијагонали леже Жордановиблоковиназива се Жорданова матрица. Приметимо да
елементи не морају бити обавезноразличити. Например, свака дијагонална матрица је
Жорданова матрица.
190
Нека је квадратна матрица у пољу . Жорданову матрицу , сличну матрици (тј. матрицу за коју
постоји несингуларна квадратна матрица упољу таква да је ),назива се Жордановом
нормалном формом матрице .
Карактеристични полином матрице је детерминанта
( ,
Како је
( ,
имамо
( ,
( ,
191
( ,
( ,
и користећи једначину
(42.4)
фундаменталну матрицу ДЈ (42.3), добијамо у облику
( )
Пример 42.1. Интегралити ДЈ ̇ где је
( ) ( )
Решење.Карактеристични полином за матрицу је
| |
( * ( )
Одавде је
192
Случај 2. Карактеристични полином је облика
∏( )
( ) ( ) ( )
( ) ( ,
193
Испитаћемо развијени облик матрице
( )
Овде, пре свега, приметимо даматрице и кумутирују,и стога, према својству 1), је
( )
(42.5)
Међутим, како је
(42.6)
а Жордановблок је Жорданова нулпотентна матрица са нулпотентним индексом , тада ред
(42.6)добија облик
( )
( )
Добијени облик матрице објашњава структуру фундаменталне матрице . Наиме,
фундаментална матрица садржи -групарешења, где се свако решење исте групе
добијаизпоследнегрешења (колоне)узастопним диференцирањемкоефицијената уз .
194
| |
Дакле, имамо
( )
тј. ( ).
Одредимо матрицу из релације . Имамо
( )( ) ( )( )
или
( * ( *
Одавде налазимо да је ,а .Стављајући да је , добијамо
тј. ( ).На овај начин, фундаментална матрица је облика
( )( ) ( *
а потпуна фамилија решења дата је релацијом
ГЛАВА 4
ИНТЕГРАЦИЈА ПОМОЋУ РЕДОВА
(43.2)
где су константе.
Тврђење 43.1. (Вајерштрасова теорема). Ако низ функција{ } холоморфних у области
, равномерно конвергира на сваком компактном подскупу , онда је гранична функција
холоморфна у .
195
Тврђење 43.2. Ако степени ред (43.2) конвергира у области (43.1), и ако променљиве
заменимо степеним редовима чији је радијус конвергенције мањи од неког , онда ће радијус
конвергенције добијеног степеног реда бити мањи од .
Тврђење 43.3.Ред добијен интеграљењем конвергентног степеног реда је конвергентни степени ред
у области конвергенције првобитног реда.
̇
{
(43.3)
при чему је
‖ ‖
196
( )
и чији графици леже у .
Ако тада за растојање између две тачке и у овом простору,на пример,изаберемо
‖ ‖ {‖ ‖ | | }
{ {| | ̅̅̅̅̅} | | }
тада на основу тврђења 43.1, простор ће битипотпун метрички простор.
Даље, као и у доказу теореме Пикард-Линделоф, расуђивања ћемо везати за разматрањеинтегралне
једначине
∫ ( )
(43.4)
којасе моженаписати у операторском облику
( )
где се оператор одређује десном страном једначине (43.4):
( ) ∫ ( )
{‖ ∫ ( ) ‖ | | }
{ ∫‖ ( )‖ | | }
( )
{ ‖( )‖ ‖ ‖ | | }
{‖ ‖| | | | }
{‖ ‖ | | }
197
Напомена 43.1. Као што проистиче из формулацијеКошијеве теореме, она даје довољан услов за
постојање холоморфног решења. Могуће је навести примере ДЈ,десне стране које су нехоломорфне
у околини почетних услова, а холоморфно решење Кошијевог задатка постоји, и то чак може бити
да холоморфних решења постоји бесконачно много.
На пример, десна страна ДЈ
̇
је нехоломорфна у тачки , јер у овој тачки она чак није дефинисана. Међутим, потпуна
фамилија решења дате ДЈ је дефинисана релацијама
где је произвољна константа, односно, тј. постоји бесконачно много холоморфних решења
блискихсингуларној тачки .
Размотримо сада векторски почетни задатак
̇
(43.5)
198
где су и произвољне константе, што значи дане постоје холоморфна решења дате ДЈ у околини
тачке .
Међутим, могућису случајеви када решење може бити представљено у облику тзв. генерализованог
степеног реда.
Дефиниција 44.1.Генерализованим степенимредом се зове ред облика
где је нека константа, реална или комплексна, астепени ред ∑ конвергентан степени
ред.
Теорема 44.1.(теорема Фукса (Имануел Лазар Фукс (1833-1902), немачки математичар)). Једначина
(44.1)
са холоморфним функцијама ̅̅̅̅̅ у некој околини тачке , има најмање једно решење
које се може представити у околини генерализованим степеним редом.
где је
∑ ∑ | |
(44.2)
Из ДЈ (44.2) имамо
(44.3)
и тражимо решење у облику
∑ ∑
(44.4)
После замене вредности ,из формуле (44.4) и вредности у једначини (44.3), имамо
∑ ∑ ∑ ∑ ∑
199
∑ ∑ ∑ (∑ +
( ) ∑( )
(44.5)
која се зове одређујућом једначином у сингуларној тачки .
Иначе, сингуларна тачка коефицијента назива се тачка у којој је или .
Одређујућу једначину можемо написати у облику
и ова једначина има кључну улогу у проучавању Фуксових једначина облика (44.2). Она има два
корена и који могу битиразличити или једнаки.
Акоих нумеришемо тако да реални део корена није мањи од реалног дела корена , онда можемо
показати да корену одређујуће једначине (44.5) увек одговара решење облика (44.4) задате ДЈ
(44.2).
У општем случају, важиследећа теорема.
(44.6)
конвергентних за
2) ако је разлика цео број, онда постоји решење у облику генерализованог степеног
реда (44.6) и друго линеарно независно решење може бити представљено у облику
(44.7)
200
При чему, ако је ,онда је коефицијент , тј. решење одређено формулом (44.7)
обавезно садржи .
Напомена 44.2. Једначине Фуксове класе имају широку примену у разним дисциплинама, а
нарочито следеће једначине
- Ојлерова једначина;
- Беселова једначина;
- Лагерова једначина;
- Лежандрова једначина
Гаусова једначина.
Фридрих Вилхелм Бесел , 1784—1846, немачки математичар и астроном
Едмон Никола Лагер, 1834— 1886, француски математичар
Адријен-Мари Лежандр, 1752—1833, француски математичар;
Јохан Карл Фридрих Гаус , 1777—1855, немачки математичар и астроном
Ако ставимо да је
∑ | |
∑ ∑ | |
тадаје ДЈ:
∑ ∑
Смењујући последњи ред у почетну ДЈ, можемо се уверити да су сви ,где су једнаки
нули. Због тога, ако узмемо, на пример, , онда тражено решење добијамо у облику .
201
§ 45. ОПШТИ КОМЕНТАРИ О СИНГУЛАРИТЕТИМА РЕШЕЊА ЛИНЕАРНИХ
ДИФЕРЕНЦИЈАЛНИХ ЈЕДНАЧИНА
Кошијева теорема даје услов постојања холоморфног решења у околини тачке , Наравно,
поставља се питање: како се понашају решења која нису довољно блиска тачки Чак и
једноставни примери показују да се на нештовећем растојању од ове тачке могу појавити
сингуларитети. Често су то покретни сингуларитети решења једначине која нису сингуларитети
саме једначине и чија је карактеристика да њихов положај зависи од почетних услова.Тако, на
пример, проста ДЈ
̇
има фамилију решења, дефинисану једначином , са сингуларитетом, полом првог реда, у
тачки , који зависи од избора произвољне константе .
Међутим, ово усложњавање не важи за неке од важних класа ДЈ са фиксним сингуларитетом. На
пример, за линеарне ДЈ.
За такве ДЈ имамо следећу теорему:
202
сингуларитет у тачки . Најзад, за , је је и бесконачно много
решења типа су холоморфна, а остала решења имају сингуларитет у тачки .
Овај пример илуструје чињеницу да, чак за линеарне ДЈ сингуларитети могу на неки начин
зависити од почетних услова, али само у смислу да сингуларне тачке коефицијената могу
послужити као сингуларне тачке једних, али не и других решења.
Пре свега, напомињемо да, када говоримо о периодичним функцијама, разматрање ће се односити
на непрекидне функције.Имајући ово у виду, присетимо се следеће дефиниције.
203
Обратимо овде пажњу на чињеницу, да за постојање периодичног решења са периодом , или чак
безброј таквих решења у ДЈ (46.1), није неопходно да његова десна страна, коју разматрамо као
функцију од , буде периодична са периодом . Тако, на пример, десне стране диференцијалних
једначина,
̇ ̇
уопште нису периодичне по , али систем има периодично решење
Међутим, ако захтевамо, на пример, да су сва решења ДЈ (46.1) периодична са периодом , онда и
функција ,коју разматрамо као функцију , мора бити периодична са периодом .
С друге стране, очигледно је да ако десна страна ДЈ (46.1) није периодична функција по , за сваки
избор , онда не постоје периодична решења.
У случају када функција не зависи експлицитно од ,тј. када је ДЈ (46.1) аутономна,
можеморазматрати као периодичну векторскуфункцију по произвољне периоде, и зато је могуће
постојање периодичних решења било кога периода. Приметимо такође да и неаутономне
периодичне ДЈ могуимати периодична решења ма ког периода.
Тако, на пример, у систему диференцијалних једначина
̇ ̇
где је произвољан реалан број различит од нуле, десне стране су периодичне по са периодом и
решење система
има период .Не треба ипак мислити да у случају када је десна страна ДЈ (46.1) периодична по са
периодом , ДЈ (46.1) мора имати периодична решења. Заиста, размотримо, на пример,
најједноставнију скаларну ДЈ
̇
где је периодична функција са периодом . Потпунафамилија решења ове ДЈ одређује се, као што
знамо, једначином
204
Најчешће коришћен и, вероватно, најприроднијианалитички апарат за приказ периодичних
функција су Фуријеови редови (Жан Батист Жозеф Фурије, 1768-1830, француски математичар).
Илустроваћемо овај приступ на примеру ДЈ другог реда
(47.1)
са непрекидном периодичном функцијом која се може приказатиФуријеовим редом
(47.2)
где је
∫ ∫
(47.3)
где су коефицијенти непознати. Заменом израза за из (47.3) у (47.1), добијамо да је
∑ ∑
∑ )
или
∑( ) ∑
Овде су могућа дваслучаја:1) нерезонантан, где није цео број;2) резонантан где је цео
број.
1. Нерезонантан случај.
Коефицијенти реда (47.3) једнозначно се одређују формулама
(47.4)
205
Овај ред конвергира и допушта два пута узастопно диференцирање као што показују следећа
образложења.Ред (47.2) конвергира униформно, јер је функција непрекидна, а коефицијенти
реда
(47.5)
који је састављен од других извода чланова реда (47.4), се разликују од коефицијената и
реда (47.2)само по независној ,монотоно тежећи кад множитељем
Стога ред (47.5) конвергира равномерно што значи да се ред (47.4) може два пута узастопно
диференцирати члан по члан. Дакле, ред (47.4), не само да формално задовољава ДЈ (47.1), већ и
његовасума постоји ионо је периодично решење ДЈ (47.1).
2. Резонантан случај.
Овде имамо релације:
∫ ∫
(47.6)
Услови (47.6) се обично називају условима ортогоналности. Тако, у резонантном случају ДЈ (47.1)
има периодична решења, чак и целуфамилију таквих решења,ако су испуњени услови
ортогоналности (47.6). У том случају, када услови ортогоналностинису испуњени, онда не постоје
периодична решења. На пример, ДЈ
С друге стране, ДЈ
206
∑
Метода малог параметра, или како се још зове, метода Поенкаре, се користи за одређивање
периодичних решења нелинеарних ДЈ које садрже мали параметар. Претпоставља се да
трансформација у нулу малог параметра не смањују ред ДЈ.
Методу је предложио Поенкаре у раним 90 г. XIX века за решавање проблема небеске механике.
Даље, ова метода је коришћена не само у небеској, већ и у општој механици, електротехници и
физици. Тренутно, метода малог параметра је једна од основних у истраживању нелинеарних
осцилација.
Метода малог параметразаснива се на теоремамао аналитичкој, тј.холоморфној зависности решења
ДЈ од параметара. Размотримо једну такву теорему.Другу варијанту теореме о аналитичкој
зависности решења ДЈ од параметара налази се у [4, гл. 1, с. 55-56].
Размотримо векторски почетнизадатак, са почетним условима
̇
{
(48.1)
Теорема 48.1 (теорема Поенкаре). Ако је вектор-функција холоморфна у односу на променљиве
у околини тачке , тј ако може представити у облику степеног реда
∑
(48.2)
207
за мале вредности
Доказ.Размотримопаралелопипед
| | ‖ ‖ | |
и нека је
‖ ‖
где не зависи од .Уведимо простор чије су тачке вектор-функцијехоломорфне по и
дефинисане у квадрату
| | | |
где је
( )
и чији графици леже у .
Ако као растојање између две тачке и у уведеном простору , изаберимо, рецимо,
‖ ‖ ‖ ‖ {| | ̅̅̅̅̅}
онда на тврђења 43.1, тј. Вејерштрасове теореме, простор ће бити потпун метрички простор.
Размотримо оператор
( ) ∫
На основу тврђења 43.2 и 43.3 оператор преводи тачкепростора у тачке истог простора .
Контракција оператора следи из следећегниза оцена:
( ) ‖ ‖ ‖ ( ) ( )‖
‖∫ { } ‖
|∫ ‖ ‖ |
|∫ ‖ ‖‖ ‖ |
‖ ‖| |
‖ ‖
208
где треба одредити да пронађете прве чланове развоја периодичног решења.
Да бисмо пронашли траженепрве чланове развоја размотримо помоћну ДЈ
(48.3)
где је мали параметар.
У складу са методом малог параметра, периодично решење тражимо у облику (48.2), уз услов да је
(48.4)
Сматрајући познатом функцијом, њу јемогуће одредити из ДЈ (48.4), заодређивање , имамо
таданехомогену линеарну ДЈ другог реда
Аналогно,
Напомена 48.1.Метода малог параметра је још једна варијанта методе неодређених коефицијената.
ГЛАВА 5
209
АУТОНОМНЕ ДИФЕРЕНЦИЈАЛНЕ ЈЕДНАЧИНЕ
§ 49. ОПШТА СВОЈСТВА РЕШЕЊА ДИНАМИЧКИХ СИСТЕМА ОДРЕЂЕНИХ
ДИФЕРЕНЦИЈАЛНИМ ЈЕДНАЧИНАМА
Размотримоаутономну векторску ДЈ
̇
(49.1)
гдефункција задовољаваусловеегзистенцијеијединствености решења у некојобласти .
Дефиниција 49.1.ДЈ (49.1) одређује динамички систем ако су сва решења ове једначине продужена
на временски инервал од до , тј. дефинисанасу за свако .
У општемслучају,независно од аутономних ДЈ,динамички систем у простору је
пресликавање , које задовољава услове:
1) је непрекидно пресликавање;
2) ;
3) ( ) ;
У општем случају ДЈ (49.1) не дефинише динамички систем. На пример, размотримо скаларни
задатак са почетним условима
̇
(49.2)
Његово решење је функција , одређена једначином
Дакле, решење овог почетног задатка је дефинисано у интервалу (сл. 40) и због тога, ДЈ
(49.2) не дефинише динамички систем.
210
(49.3)
где је, на пример, . Овде је скаларни производ вектора са вектором .
√
Као што се види, ДЈ (49.1) и (49.3) разликују се један од друге скаларним позитивним
фактором . Овозначи да су брзине кретања репрезентативнихтачака по трајекторијама датих ДЈ
различите. Иначе, за тачку фазног простора каже се да је репрезентативна, ако она има координату
, тј. ( ) где је решење ДЈ. Притом, брзинакретања одређена ДЈ (49.3) је
ограничена и, самим тим, тачка која се креће дуж интегралне криве ДЈ (49.3) не може за коначно
време стићи до бесконачности. Другим речима, ДЈ (49.3), за разлику одДЈ (49.1) увек одређује
динамички систем.
Што се тиче трајекторија ДЈ (49.1) и (49.3), оне сепоклапају, јер увођење у једначину (49.1)
скаларног фактора који мења брзину кретања мења само независну променљиву ,тј. мења само
параметар на интегралним кривим.
Дакле, са гледишта истраживања геометријских својстава решења, као што и имамо у виду, ДЈ
(49.1) дефинише динамички систем.
( )
Специјално, ова једнакост важии за . Имајући ово у виду, добијамо следећи ланац
једнакости:
| | ( ) ( )|
(49.4)
211
Теорема 49.2. Кроз било коју тачку области фазног простора пролази једна и само
једнатрајекторија ДЈ (49.1).
Доказ. То да кроз тачку заиста пролази најмање једна трајекторија, следи из чињенице да увек
постоји решење које задовољава услов (49.4). Даља расуђивања спроводићемо методом
контрадикције. Наиме, претпоставимо да кроз тачку пролазе две трајекторије које одговарају
решењима и .
Дакле, постоје и тако да је .Надаље, ако је решење ДЈ (49.1), онда
сагласно теореми 49.1 решење ће бити и композиција .За ово решење важи низ
једнакости:
|
Из тога следи да се трајекторије дефинисане решењем и поклапају, јер се, на основу напомене
49.1, поклапају трајекторије које су дефинисане решењем и , арешења и
се поклапају сагласно условима јединствености решења.
Напомена 49.2.За случај не-аутономних ДЈ,тврдња аналогна теореми 49.2, у општем случају не
важи. За неаутономне ДЈ карактеристично је да графици решења такве ДЈ, којипролазе кроз тачке
на линији која је паралелна са осом , имају различите пројекције на фазни простор, штозначи да
јединственост у општем случају не важи (слика 42.).
Размотримо садаоператоре померања на трајекторијама ДЈ.
Стога, уведимо у разматрање трансформацију за време од до , које за фиксне представљају
пресликавања
(49.5)
фазног простора у самог себе, коједодељује свакој тачки тачку трајекторије ДЈ
(49.1), чије решење задовољава почетни услов .
Аналитичкo својствотаквог пресликавања, очигледно, сеодређује једначином
212
(49.6)
Пресликавање (49.5) уведено на овај начин обично сеназивајаоператором померања по
трајекторијама ДЈ (49.1).
Уведени појам оператора померања по трајекторијама ДЈ користи се и у општем случају
неаутономних ДЈ.
Очигледно, да је оператор померања непрекидан оператор и да:
1) За свако оператор ,је оператор идентитета;
2) За сваке , оператор је .
(49.7)
Доказ.Ланац једнакости (49.7)је еквивалентанједнакостима
( ) ( )
(49.8)
Размотримо векторске функције и ,које су дефинисане једнакостима
( )
и које, на основу теорема 49.1, су решења ДЈ (49.1). За имамо
Дефиниција 49.2. Тачка се зове сингуларна тачка,тачка мировања, тј. положај равнотеже ДЈ
(49.1), ако је
Очигледно је да ако је сингуларна тачка ДЈ (49.1), онда је
i. Векторска функција таква да је решење ДЈ (49.1);
213
ii. Тачка је трајекторија ДЈ (49.1).
§ 50. ПЕРИОДИЧНА РЕШЕЊА И ЗАТВОРЕНЕ ТРАЈЕКТОРИЈЕ
Доказ.Акоскуп { }нема граничних тачака, онда он садржи све њих, односно, он је затворен.
Претпоставимо да{ } има граничне тачке. Означимо са било коју од њих. Онда, на основу
непрекидности функције имамо ланац једнакости
Напомена 50.1.Из теореме 50.1, очигледно следи да је скуп периода непрекидне функције
затворена подгрупа групе реалних бројева.
Теорема 50.2.Затворена подгрупа групе реалних бројева је или { }, или скуп облика { },где је
, a јенеки број различит од нуле или .
Сл.43. За случај
Сада, ако би у групи било елемената, различитих од елемената облика , онда би они обавезно
припадали задатом интервалу. Нека је један од таквих елемената. У овом случају
214
Ови елементи деле целу реалну осу на интервале чијаје појединачна дужина мања од . Међутим,
пошто је произвољно мало, то значи да у произвољно малој околини произвољне тачке из
постоје елементи из .Како је затворен скуп, то следи да се поклапа са .
Дакле, када је имамо трећи случај теореме.
Напомена 50.2. Ако говоримо о периодичним функцијама, скуп њихових периода је или скуп
{ }, где је , a не нулти број, или се овај скуппоклапа са читавом реалном осом , и у овом
случају функција је константна.
Теорема 50.4.Да би трајекторија аутономне ДЈ (49.1) била проста затворена крива, неопходно је и
довољно да је онапројекција на фазни простор графика неконстантног периодичног решења (49.1).
Доказ. Неопходност. Нека је трајекторија проста затворена крива, која је пројекција на фазни
простор графика неког решења ДЈ (49.1).Тада, уколико је проста затворена крива,
постоје и , такви да важи .Одавде, а на основу теореме 50.3, следи да је
периодично решење.
С друге стране,како је проста крива,то је неконстантно периодично решење.
Довољност. Нека је неконстантно периодично решење ДЈ (49.1) са најмањим позитивним
периодом . То значи да је трајекторија која одговара овом решењудефинисана за све из
интервала .Ако је сада за неке , за које је који
постоје због периодичности решења , тада према теореми 50.3, разлика је период решења
.Како је најмањи позитиван период решења , то је .На овај начин је
,па следи да је проста затворена крива.
Напомена 50.3. У случају неаутономне ДЈ затворене трајекторије могу бити пројекцијена фазни
просторграфика непериодичних решења.
На пример, размотримо диференцијални систем
̇ ̇
(50.1)
Прелазећи на поларне координате и сагласно формулама ,
диференцирањем односа по добијамо једнакост
215
̇ ̇ ̇ ̇ ̇ ̇
(50.2)
Тада је систем (50.1) у поларним координатама добија облик
̇ ̇
Интегрисањем, имамо
Теорема 50.6. Интегрална крива аутономне ДЈ (49.1) не можеући у сингуларну тачкуза коначно
време.
Доказ. Нека је сингуларна тачка ДЈ (49.1). Тада, као што знамо, вектор-функција је таква да је
решењеДЈ (49.1).
У овом случају, ако се трајекторије, одговарајуће графицима решења и ДЈ (49.1), не поклапају,
онда оненемају заједничких тачака, па је за свако , што и доказује теорему.
216
Последица 50.1. Интегрална крива ДЈ (49.1) може се приближити сингуларној тачки само за
или за .
(51.1)
Скуп свих граничних тачака дате тачке дате трајекторије ) се зове њеним граничним
скупом.
Доказ. Теоремућемо извести само за случај скупа . Случај за скуп разматра се аналогно.
Нека је{ } такавниз тачака да за . Показаћемо да важи .
Заиста, по дефиницији скупа , за постоји низвременских тренутака { } за ,
такав да је за .
Без умањења општости расуђивања, можемо претпоставити да за било који
‖ ‖
где је за . Нека је Тада, уколико
‖ ‖ ‖ ‖ ‖ ‖ ‖ ‖
за ,тоје за штозначи да , тј. скуп је затворен.
217
или само инваријантним, ако за било коју тачку трајекторија , тј.
полутрајекторија или ,која пролази кроз тачку ,припада скупу .
Иначе, скуп тачака фазног простора се зове инваријантним, тј. позитивно инваријантним или
негативно инваријантним, ако се састоји од целих трајекторија, тј. позитивних полутрајекторија или
негативних полутрајекторијаДЈ (49.1).
218
Сл. 45. За пример 51.1. Сл. 46. За пример 51.2.
√
(51.3)
Ако у првој једначинисистема (51.3) ставимо да је онда добијамо .
Ове једначине дефинишу затворенутрајекторију, тј. кружницу која је дата једначином .
Ако је онда је јасно да су и када .Акоје ,онда је и поново
за .
То значи да постоји само једна затворена трајекторија , којојсе све преостале трајекторије
током временаприближавају по спиралама што је приказано на сл.48.
219
Дакле, кружница која се задаје једначином , је гранични скуп за све спирале-
трајекторије система (51.1).
Тачка у овом случају је гранична тачка за спирале, тј.трајекторије које се налазе у коначној
области ограниченој наведеном кружницом.
Сл. 49. Нестабилни гранични циклусСл. 50. Полустабилни гранични циклуси (а,б)
220
Размотримо један појам који се може користити у разјашњавању питања постојања граничних
циклуса. Ово је појам индекса затворене криве.
Размотримо дводимензионални динамички систем
̇ ̇
(52.1)
где су функције и , по претпоставци,непрекидно диференцијабилне у некој области .
Нека је затворена крива фазне равни, која није обавезно трајекторија система (52.1), и која не
пролази кроз сингуларне тачке овог система. Тада, ако је тачка криве , онда је вектор
(52.2)
где су јединични вектори Декартовихоса. Вектор је не-нулти вектор и стога, има одређен правац
који је одређен неким углом (сл 51.).
Ако тачка , која се креће дуж криве , на пример, у контра-смеру казаљке на сату, направи
један обрт, онда вектор направи за то време неки цели број обртаја, тј. угао добија прираштај
где је цео позитиван, нула или цео негативан број. Овај број сезове индекс затворене криве , тј.
цикл .
Теорема 52.1.Затворена трајекторија система (52.1) окружује бар једну сингуларну тачку овог
система.
Доказ.Напомињемо прво да је индекс затворене трајекторије система (52.1) једнак , јер правац
вектора увек тангиратрајекторије. Ако се сада циклус почне стезати тако да он при деформисању
не прође кроз сингуларне тачке система (52.1), онда индекс треба да се, с једне стране, мења
непрекидно, а са друге, увек мора бити једнак целом броју. То значи да се занепрекидну
деформацију индекс цикла не мења.
Стога, индекс цикла је нула, ако га јемогуће непрекидно скупити до тачке без укрштавања са
сингуларним тачкама система (52.1), тј.акоцикл не окружујесингуларне тачке система. Одавде, и
како је индекс затворене трајекторије једнак , следуједоказ теореме.
221
Напомена 52.1. Теорема 52.1 се често користи да се докаже одсуство граничних циклова у
одређеној области фазне равни.
Такође, треба напоменути иследеће важне тврдње, тј. теореме
Доказ. Претпоставимо да систем (52.1) има у просто повезаној области затворену трајекторију
и нека је унутрашња област ограничена трајекторијом . Затим, пошто је просто повезана област,
онда је . Сагласно формулиГрина, је
∫ ∬( +
(52.3)
Како дуж трајекторије важи једнакост штоследи из облика трајекторија
одговарајућих ДЈ, то је
∫
С друге стране, подинтегрални израз на деснојстрани (52.3) има константан знак и идентичкиније
једнак нулиу . То значи да је деснастрана (52.3) различита од нуле. Ова контрадикција, са
претходним идентитетом, и доказује теорему.
Напомена 52.2.За ,теорема 52.2 се зове Бендиксонов критеријум (Ивар Бендиксон (1861-
1935), шведски математичар).
222
Према Бендиконовом критеријуму, систем (52.4) нема затворених трајекторијау целој фазној
равни .
Наведимосада важну теорему, која даје довољне услове за постојање затворених трајекторија у
систему (52.1).
Пример 52.2.Размотримо систем (51.1). Овај систем има, као што је већгоре поменуто, јединствену
сингуларну тачку и такоу прстенастој области , на пример, између кружницарадијуса
и са центром у тачки , нема сингуларних тачака система. Пошто је
̇ за
онда је ̇ на унутрашњој кружници и ̇ наспољашњојкружници. Дакле, вектор (52.2) је
усмерен унутар у свим граничним тачкама.То значи да свака трајекторија која пролази кроз
граничну тачку, улази у и остаје тамо за . Према томе, сагласно теореми 52.3 област
садржи затворену трајекторију и она је гранични циклус, који је дат једначином
223
У закључку параграфа истакнимо следеће. Осмог августа 1900.г. на 2. Међународном конгресу
математичара у Паризу, Д.Хилберт (Дејвид Хилберт, 1862-1943, немачки математичар)је
формулисао 23 математичка проблема, који су, по његовом мишљењу, најзначајнији за математику
долазећег 20. века. Један од њих је 16.проблем којије формулисан на следећи начин: Истражити
питање максималног броја и положаја граничних циклова Поенкареа за диференцијалне једначине
првог реда и првог степена облика
(52.5)
где су рационалне функције -тог степена у односу на .
До сада јесамо доказано да је свакаконкретно узета једначина облика (52.5) има само коначан број
граничних циклова. А процене о броју граничних циклова, важећег за све једначине -тог степена,
што, у ствари, и јесте суштина проблема, до сада још нису добијене.
Тако,16. проблем Хилберта, који је директно повезан са апликацијама, као што су физика и
радиотехника, још увек није решен.
Наш непосредни циљ је да се добије што више информација о нелинеарним ДЈ, проучавајући фазне
портрете нелинеарних аутономних система облика (52.1).
Један од аспеката овог проблема је класификација сингуларних тачака таквих система по њиховој
природи и стабилности. Биће показано да под одређеним условима проблем класификације, за
одређени нелинеарни систем, може бити решен на основу одговарајућег линеарног система.
Према томе,због неопходности, првенствено ћемо класифициратисингуларне тачке линеарних
аутономних система.
Дакле, размотримо диференцијални систем
̇ ̇
(53.1)
за који је координатнипочетак фазне равне, очигледно, сингуларна тачка. Даље,
претпостављамо да детерминанта
| |
(53.2)
па је тачка јединствена сингуларна тачка система (53.1).
Из § 42 следи да систем (53.1) поседује нетривијално решење облика
224
(53.3)
Очигледно, даиз услова (53.2) следи да број 0 не може бити корен једначине (53.3).
Нека су корени карактеристичне једначине (53.3). Показаћемо да карактер сингуларне тачке 0
(0,0) система (53.1), одређује природу бројева и .
Стога је неопходно да се размотри 5 случајева, од којих су три основна и два критична.
Основни случајеви:
Случај . Корени и су реални, различити и имају исти знак.
Случај . Корени и су реални и имају супротне знаке
Случај . Корени и су комплексно коњуговани корени, али не и чисто имагинарни.
Критични случајеви:
Случај . Корени и су реални и једнаки.
Случај . Корени и су чисто имагинарни.
Из даљег излагања биће јасно зашто се врши подела на основне и критичне случајеве.
Размотримо сада сваки од издвојених случајева.
(53.4)
где су фиксне константе такве да је
док су за решења
(53.6)
За свако ,решење, које је дато формулама (53.5), одређује трајекторију која се састоји од једне
полуправе линије са коефицијентом нагиба , и за свако она дефинише
трајекторију која се састоји од друге полуправе дате линије. Даље, будући да је ,
репрезентативне тачкесе приближујупо наведеним полуправим трајекторијама ка
сингуларнојтачки за , и то уколико је , онда репрезентативне тачке "улазе" у
225
По тим двема трајекторијама репрезентативне тачке се такођеприближавају ка тачки за
и "улазе" у њу са коефицијентом нагиба .
Ако је и онда потпуна фамилија решења (53.4) одређујетрајекторије које се разликују
од полуправих. Тада, због чињенице да и дуж ових трајекторија, репрезентативне
тачке такође "улазе" у тачку кад .
А, како је ,и
( )
( )
Сл. 53.Чвор
226
Сл.54. Седло.
(53.7)
Из § 42, следи да се потпуна фамилија решења, у овом случају задаје релацијама
( )
( )
(53.8)
227
где су фиксне константе, а произвољне константе.
Нека је . Онда из формула (53.8) следи да , ако што значи да се, дуж
трајекторија, репрезентативне тачке приближавају тачки кад . Показаћемо да
приближавање сингуларној тачки иде по спиралама. Зато, уведимо поларну координату
Показује се, да је дуж билокоје трајекторије, извод ̇ увек позитиван или негативан. Заиста,
како из друге формуле (50.2) и облика система (53.1) имамо
̇ ̇
̇
(53.9)
онда, пошто нас занимају трајекторије, различите од сингуларне тачке , сматрамо да је
.
Из неједнакости (53.7) следује да су бројеви и различитих знакова.
Нека је . Тада, за из (53.9) имамо ̇ . Уколико је ,извод ̇ ,уз ову
претпоставку, не може бити нула, јер би у супротном из (53.9) имали
или
( *
(53.10)
за неки реалан број . Али, ово не може бити јер је дискриминанта квадратне једначине (53.10), која
се подудара са ,негативна. Дакле, ̇ , ако је . На сличан начин показује сеи да је ̇ ,
ако је .
Примећујући сада да,због тога што из (53.8) следи да и бесконачан број пута промене знаккад
, онда репрезентативне тачке се приближавају сингуларној тачки по спиралама, тј.
трајекторијама (у контра смеру казаљке на сату или њеномкретањуу складу са неједнакостима
или ,(сл. 55.).
Приметимо да ће се спирале ширитиу случају .
Сингуларна тачка у случају зове се фокус.
Подслучај (i). Ако је општа вредност и , онда једначина (53.3) има облик
,одакле је .Систем (53.1) у овом случају ћемо написати у облику
̇ ̇
(53.11)
чија потпуна фамилија решења је дата једнакостима
228
(53.12)
где су произвољне константе. Трајекторије система (53.11) дефинисане релацијама (53.12), су
све полуправе, дуж којих репрезентативне тачке "улазе" у сингуларну тачку кад (слика
56.).
(53.13)
где су фиксне константе, а произвољне константе. За добијамо решења
који дефинишу две полуправе трајекторије, које припадају линији ,са коефицијентом нагиба
.Уколико , ондадуж обе трајекторије, репрезентативне тачке теже тачки кад .
Ако је ,онда решење (53.13) дефинише закривљену трајекторију дуж које репрезентативне
тачке такође тежетачки , кад .Уз то, из (53.13) следи да је
па је, стога, кад ,тј. дуж закривљених трајекторија репрезентативне тачке "улазе" у
сингуларну тачку са истим углом нагиба . Такође треба напоменути да је и кад
(сл. 57.).
Ако је ,онда је смер кретања репрезентативних тачака по трајекторијама супротан
приказаному на сл. 57.
Сингуларна тачка у подслучају (ii) сеназива дегенерисани чвор.
229
Случај Е. У овом критичном случају, где је .Дакле, потпунафамилија решења
одређена је саједнакости (53.8), где самонедостаје експоненцијални фактор.Према томе, функције
и су периодичне и свакатрајекторија је затворена крива, која окружује координатнипочетак, и
представљаелипсу (слика 58.). Та чињеница се може доказатидиректном интеграцијом
диференцијалне једначине трајекторија
230
Размотримо нелинеарни систем ДЈ
̇ ̇
(54.1)
Теорема 54.1. Ако десне стране система (54.1) задовољавају следеће услове:
1.
2. функције и су непрекидни у некој околини координатног почетка и задовољавају
услов Липшица по и ;
3. где је √ сваки мали фиксни позитиван број,
онда трајекторије система (54.1) се понашају у околини сингуларне тачке слично
трајекторијама линеарног система (53.1), осим случаја када
,тј. када линеарни систем (53.1) има центар, и нелинеарни систем (54,1) може имати
или центар, или фокус, или центар-фокус (види пример (54.3)), и када
, тј. када линеарни систем (53.1) има чвор (дикритички (звездасти), дегенерисани) и
нелинеарни систем (54.1) могу да имају или чвор или фокус.
(Из услова 3) следи да је , и на тај начин тачка сингуларна тачка
система (54.1), и то изолована.)
Приметимо да у теорији ДЈ све посебне тачке седеле (сагласно грубој класификације) у две класе
просте сингуларне тачке и сложене сингуларне тачке.
Дефиниција 54.1.За сингуларну тачку система (52.1) кажемо да јепроста (сложена) сингуларна
тачка, ако је детерминанта Јакобија
|| ||
231
налазимо да је потпуна фамилија решења ове ДЈ дата релацијом
где је произвољна константа. Према томе, координатни почетак фазне равни је фокус.
Дакле, у овом случају тип сингуларне тачке линеарног система се промениопри нелинеарној
пертурбацији.
̇ √
{ √
(54.2)
сматрајући да су у њемудесне странеу тачки једнаке нули.
Под овим условом, систем (54.2) је систем класе и има, као и одговарајући линеарни систем,
јединствену сингуларну тачку . Ова сингуларна тачка је, као што знамо, центар за линеарни
систем.
Испитајмо систем (54.2). Прелазећи као у претходном примеру,на поларне координате, добијамо
систем
̇ ̇
одакле је
(54.3)
232
Уводећи смену
добијамо ДЈ
одакле је
(54.4)
Из једначине (54.3) следи да је за ., што значи да постоји пребројив број
затворених трајекторија,односно кружницаса центрому тачки чији су радијуси
једнакивредностима .
Ове кружнице чине прстенове, унутар којих су, на основу (54.4), трајекторије спирале,које се за
или бесконачно приближавају одговарајућим кружницама.
Тако се, на пример, за спирале приближавају кружницама радијуса и , респективно,
ако се вредности арктангенса узимају између и .
У тривијалном случају трајекторије за иду у бесконачност.
Сингуларна тачка у овом случају се зове центар-фокус (сл. 59).
233
.Дакле,може седоказати да, ако судесне стране система (52.1) аналитичке функције, такав систем
не може имати сингуларне тачке типа центар-фокус.
чијим интеграљењемдобијамо
234
̇ ̇
(55.2)
̇ √| | ̇ √| |
(55.3)
̇ ̇
(55.4)
̇ ̇
(55.5)
̇ ̇
(55.6)
̇ ̇
(55.7)
̇ ̇
(55.8)
Квалитативне слике понашања трајекторија ових система у околини сингуларне тачке
приказане су на сликама 60-66, респективно.
Сл. 60, За систем (55.2)Сл 61. За систем (55.3) Сл. 62. За систем (55.4)
235
Сл. 65. За систем (55.7) Сл. 66. За систем (55.8)
У општем случају, кадасу на пример сви партикуларни изводи функција и , који се појављујуу
десним странама диференцијалних једначина система (52.1), трансформишу се у сингуларној тачки
у нулу до -тог реда закључно, а у околини сингуларне тачке је могућ бесконачни број слика
понашања фазних трајекторија.
Међутим, ако искључимо из разматрањасингуларнетачке типа центра и фокуса, онда се испоставља
да сеоколина сингуларне тачке може поделити на коначни број сектора са одређеним понашањем
трајекторија.
Ова чињеница указује на важност проблема разликовања центра и фокуса у питању изградње
квантитетне слике понашања трајекторија аутономних диференцијалних система.
Приступимо овом питању детаљније. Као што је раније показано, пертурбација линеарног центра
може да промени карактер понашања трајекторија у околини сингуларне тачке. Таква ситуација се
може јавити и у случају сложене сингуларне тачке.
Проблем разликовања између центра и фокуса, чија је суштина да дефинише услове под којима све
трајекторијеаутономног система ОДЈ (52.1) у некој околини сингуларне тачке , са изузетком саме
тачке О, су затворене криве, од суштинског значаја за теорију ОДЈ није само у смислу непосреднг
решавања датог проблема, али и са становишта истраживања граничних циклова, као и због бројних
апликација аналитичког система са сингуларном тачком типа центар или фокус којисе тичу
осцилаторних процеса.
Даље ћемо сматрати да су у систему (54.1) функције и у околини тачке холоморфне ида
не садрже у својимразвојима слободне и линеарне чланова, тј. сматраћемо да је
∑̅ ∑̅
(55.9)
где су ̅ ̅ хомогени полиноми степена у односу на .
Затим, ако су корени карактеристичне једначине (53.3), онда се проблем разликовања центра и
фокуса за системе (54.1), (55.9) јавља у следећа два случаја:
1)
2)
У првом случају, афина трансформација тражених функцијаи промена скале времена за размотрени
систем увек се може свести на облик
236
̇ ̇
(55.10)
где су и холоморфнефункције у околини дате релацијама
∑ ∑
( )
( )
где су холоморфне функције у околини дефинисане једначином
̇ ∑ ̇ ∑
(55.12)
и нека је тачка јединственасингуларна тачка система (52.1) на оси . Тада, ако трајекторија
система (52.1), излазећи из тачке позитивне полуосеосе , пресеца негативну полуосу осе , онда
је затворенатрајекторија. Ако све трајекторије у околини координатногпочетка поседују ово
својство, онда је сингуларна тачка центар за систем (52.1).
237
Тачност теореме следи из чињенице да је векторско поље, које је дефинисано системом (52.1), под
условима (55.12), симетрично у односу на осу .
и ако је тачка јединствена сингуларна тачка система (52.1) на оси , тада важи тврђење
слично теореми 55.1.
Обратимо пажњу и на чињеницу да услови
ГЛАВА 6
СТАБИЛНОСТ ПО ЉАПУНОВУ
§ 56. ОСНОВНИ ПОЈМОВИ И ДЕФИНИЦИЈЕ ВЕЗАНЕ ЗА СТАБИЛНОСТ РЕШЕЊА И
РАВНОТЕЖНИХ ТАЧАКА ФУНКЦИЈЕ ЉАПУНОВА
238
Прелазећи напитања непрекидне зависности решења ДЈ од почетних условау бесконачном
интервалу временске променљиве , претпоставимо да су у односу на ДЈ (56.1) испуњени услови
који гарантују егзистенцију и јединственост решења на скупу тачака , таквих да је
,а отворен скуп у простору промена променљиве .
Нека је
(56.2)
решење ДЈ (56.1) дефинисано за .
Дефиниција 56.1.Решење (56.2) ДЈ (56.1) зове се стабилним по Љапунову, ако за било које
постоји такво да за свако друго решење ДЈ (56.1) које задовољава неједнакост
‖ ‖
за све важи неједнакост
‖ ‖
(56.3)
Дефиниција 56.2. Решење (56.2) ДЈ (56.1) зове сеасимптотски стабилнимпо Љапунову, ако је оно
стабилно и ако постоји позитивни број , такав да када
‖ ‖
важи
‖ ‖
(56.4)
239
којеваже за све .
Дакле, ако је | | | | ,онда и за свако имамо
| | | | .
Аналогно, ако узмемо,на пример ,онда за | | и| | добијамо да је нулто решење
стабилно.
Напомена 56.1. Обратимо пажњу на чињеницу да испуњење услова (56.4) за решење ДЈ (56.1) још
не значи асимптотску стабилност решења .
Може бити да је чак иу случају аутономних ДЈ за испуњење услова (56.4), решење нестабилно.
(Виноград Р. Е. Неприменљивост методе карактеристичних експонената у проучавању нелинеарних
диференцијалних једначина. Математ.Суб Т. 1957. 41 (83), №4,стр.431-438.)
̇
{
(56.5)
240
где због непрекидности сматрамо ̇ ̇ за .
Трајекторије система (56.5) су симетричне у односу на тачку фазне равни и оне се у околини
тачке понашајукао штоје приказано на Сл.67.
Очигледно је да је тривијално решење у овом случају нестабилно, јер трајекторија пролазећи, на
пример, кроз тачку другог квадранта довољно близу координатногпочетка, обавезно излази из
дате околине, јер ова трајекторија мора обићи око "латице".
Тада, имамо
̇ ̇ ̇
где је , штозначи да је решење последње ДЈ.
Из смене следи да решењу ДЈ (56.1) чијустабилност испитујемо, одговара тривијално
решење једначине ̇ .
Због тога, убудуће, без умањења општости, сматраћемода застабилност испитујемотривијално
решење.
Обратимо пажњу на следеће.Наведене дефиниције 56.1-56.3 примењују се на ДЈ општег облика
(56.1), и стога,покривају и случај аутономних ДЈ. Међутим, због специфичности аутономних ДЈ
обично се говори о стабилности или нестабилности тачака равнотеже таквих ДЈ.
Узимајући у обзир напомену 56.2, размотримо аутономну векторску ДЈ
̇
(56.6)
где је функција непрекидна и задовољава услов Липшица у некој области фазног простора ,
укључујући тачку , заједно са неком околином.
Нека је решење ДЈ (56.6), такво да је
241
Означимо трајекторију која пролази кроз тачку са
Дефиниција 56.4. Тачка равнотеже ДЈ (56.6) зове се стабилномпо Љапунову, ако за свако
можемо да изаберемо такво да, ако је ‖ ‖ ,онда за свако важи неједнакост
‖ ‖
(56.7)
Дефиниција 56.9. Функција зове се променљива по знаку у области , ако у овој области
она узимаи позитивне и негативне вредности.
На пример, за , функција је таква да је ,позитивно дефинитна функција.
Функција ,дефинисана једначином , биће позитивнодефинитна функцијајер она
нестаје у тачкама осе .Такође је јасно да је функција ,која је дефинисана једначином
променљивогзнака.
242
Дефиниција 56.10.Ниво површи функције ,која је дефинисана једначином ,
зовесе затвореном у односу на тачку , ако на свакој непрекидној кривој која повезује
тачку саграничном тачкомобласти , постоји барједна тачка у којојје .
Теорема 56.1. (теорема о структури нивоа површи функције одређеног знака). Уколико је
функција одређеногзнака, онда постоји такав позитиван број , да су свениво површи ,где
је | | , затворене у односуна тачку .
Без улажења у доказ ове теореме, који је изложен, на пример, у [6, Гл.1, теорема 3.1], напомињемо
да нису свениво површи функцијеодређеног знака, затворенеповршиу односу на тачку . На пример,
функција дефинисана једначином
(56.9)
којасу за неограничене, док су за затворене у односу на тачку и ограничене (слика
68.). Такође, обратимо пажњу на чињеницу да површи које сузатворене у односу на тачку могу
имати веоманеобичну структуру. Конкретно, у дводимензионом случају,површинивоа које су
затворенеу односу на тачку , не могубити једнодимензионе криве (Сл. 69).
Сл. 68. За криве (56.9) Сл.69. Неједномерна затворена површинау односу на тачку
Приметимо и следеће. Теореме Љапунова која се тичу питања стабилности решења и која се
односена другу методу, заснована су на коришћењудефинитних функција одређеног знака.
Међутим, за решавање конкретних задатака,изналажење дефинитних функција одређеног знака
представља одређене потешкоће, али уз то постоји могућност коришћења функцијаконстантног
знака.
Развоју ове методедопринели су: Калитин Б.С. и LапLамберт у својим истраживањима.
Даље ћемо показати како функције константногзнакамогу да се користе за решавање питања
стабилности тачакаравнотеже динамичких система дефинисаних диференцијалним
једначинама.Прво наведимо следеће дефиниције.
243
Нека је позитивно инваријантан скуп у ,који садржи тачку равнотеже ДЈ (56.6),
{ |‖ ‖ },кугласа радијусом иса центром у координатном почетку простора .
Лема 57.1. Ако је тачка равнотеже, тј. стационарна тачка ДЈ (56.6) нестабилна у односу на затворен
позитивно инваријантан скуп који садржи тачку ,онда у пресеку било које околинеове
тачке са скупом ,постоји негативна нетривијална полутрајекторија ДЈ (56.6).
Доказ. Пошто је тачка равнотеже нестабилна у односу на скуп , онда постоји , низ
тачака{ } и низ тренутака времена{ } такве да за свако фиксно
важи
‖ ‖ ‖ ‖
(57.1)
где симбол означава различите трајекторијеза различите , у општем случају.
Нека је границакугле . Тада, због компактности скупа , без умањења општости, можемо
сматрати даниз
{ }
конвергира, односно, можемо сматрати да ,гдетачка (Сл. 70).
244
Слика 70. За доказ леме 57.1
У исто време, због позитивне инваријантности скупа ,слдеи да ,и због затворености скупа ,
имамо да инклузија .
Приметимо такође да кад . Ово следи из чињенице да,ако бинизимао коначну
граничну тачку ̃ онда бисмо имали једнакост ̃ ,што противуречиса ‖ ̃ ‖ и са
тиме да је тачкамировања.
Сада ћемо показати да је нетривијална негативна полутрајекторија ДЈ (56.6) .
У ствари, допустимо да то није тако.Онда постоји број такав да је ‖ ‖ . Изаберимо
број тако да важи неједнакост ‖ ‖ .
На основу теореме о непрекидној зависности решења од почетних услова можемо на
основубројева и ,одредити број такав да из
‖ ‖ следи‖ ‖
Пошто је сада низ{ } конвергентан, онда постоји природан број такав да за свако важи
неједнакост ‖ ‖ .Онда за свако важинеједнакост‖ ‖ .
Приметимо притом да,уколико ,онда број можемо изабратитолико великим да за све
важинеједнакост .
Како, на основу неједнакости троугла за све имамо
̅ ̅ ( ) ̅
тад, на основу групногсвојства трајекторија ,закључујемо да је ‖
‖ .Какодобијена неједнакост противуречи неједнакости (57.1),то полутрајекторија
̅ ,при чему је‖ ‖ .
Даље, због позитивне инваријантности скупа за имамо да . Стога, за свако
могуће је наћиприродан број , такав да за све важинеједнакост . Сагласно
групном својству трајекторија и позитивне инвариантности скупа , добијамо да је
( )
245
Стога, за из граничних вредности имамо да .Какоје тренутак времена
изабран произвољно, то је .
Дакле, заиста је
̅ { }
Теорема 57.1. Да би тачка равнотеже (56.6) била асимптотски стабилна у односу на затворен
позитивно инваријантан скуп , неопходно је и довољно да постоји околина тачке
таква да скуп { } не садржи негативне полутрајекторије.
Доказ. Неопходност. Нека је тачка равнотеже (56.6) асимптотски стабилна тачка у односу на
скупове и нека пресек ̅ припада области стезања .
Показаћемо да скуп ̅ не садржи нетривијалне негативне полутрајекторије.
Заиста, претпоставимо супротно, тј. да постоји негативна полутрајекторија ̅
{ }.Онда, због компактности ̅ , скуп је непразан и инваријантан. По конструкцији ̅
, па за сваку тачку добијамо да‖ ‖ кад .У овом случају, с обзиром на
затвореност граничног скупа тачке , тачка равнотеже припада . Стога, негативна
полутрајекторија тежи тачки , па је тачка равнотеже ДЈ (56.6) нестабилна, што
противуречи почетној претпоставци.
̇ ̇ ∑
246
Претпоставимо да је тачка равнотеже ДЈ (56.6) нестабилна. Онда постоје и два
низа{ } , { } , таква да важи релација (57.1). Слично доказу леме 57.1 можемо
показати да је , кад је ̅ и‖ ‖ .
Доказаћемо сада да је ( ) .Заиста, нека је произвољни негативни број, и
довољно велики природни број, такав да је за .Тада, на основу прва два услова
теореме имамо неједнакости ( ) . Одавде, прелазећи на граничну вредност
за , добијамо да је ( ) за свако , тј. ( ) , и стога је
.
Са друге стране, како је скуп позитивно инваријантан, тоје због непрекидности функције , скуп
̅ затворен, па сагласно теореми 57.1 овај скуп не садржи нетривијалне негативне
полутрајекторије. Ова контрадикција и доказује теорему.
Напомена 58.1. Теорема 58.1 важи и када се услов позитивно дефинитне функције замени
условом у области . У том случају, захтев асимптотске стабилности стационарне тачке,
тј.тачке равнотеже ДЈ (56.6) у односу на скуп ,означава њену асимптотску стабилност у
односу на целу околину .
Напомена 58.2. Како теорема 58.1, тако и последица 58.1 важе и при замени услова негативно
дефинитне функције извода ̇ условом ̇ у . У овом случају, функција је први интеграл ДЈ
(56.6).
247
Сл. 71. За систем (58.1)
248
Сл. 72. За систем (58.4)
Лема 58.1 (лема Барбашина (Барбашин Е.А., (1918-1969), совјетски математичар)).
Ако је у области дефинисана непрекидно диференцијабилна функција таква да је
дуж ограничене позитивне полутрајекторије , диференцијалне једначине (56.6),
извод ̇ негативно (позитивно) дефинитнна, онда све граничне тачке тачке припадају истом
нивоу површи функције .
Доказ.Како је , трећи услов теореме 58.2 повлачи испуњење трећег услова теореме 58.1.
Дакле, тачка равнотеже ДЈ (56.6) је стабилна по Љапунову, што значи да за свако
постоји такво да, ако је‖ ‖ , онда је‖ ‖ за свако . Нека је
толико мали да се затварање ̅ сфере садржи у околини тачке и да је ̅ .
Показаћемо да‖ ‖ , ако . Заиста, претпоставимо да то није тако. Онда је могуће
изабрати почетну тачку такву да је њен гранични скуп { } . Скуп
јенепразан, инваријантан, затворен и припада затварању ̅ , тако да садржи неку негативну
полутрајекторију { }, такву да важи ̅ { } .Шта више, сагласно леми
58.1, важи идентитет ̇ ( ) тј. ̅̅̅̅̅̅̅̅̅̅̅ ̅ , па је тада̅̅̅̅̅̅̅̅̅̅̅ . Према томе,
249
за сваку тачку , имамо ‖ ‖ кад што значи да је{ } тј.
{ } .Ово је у супротности са{ } , па из добијене контрадикције следидоказ теореме.
Напомена 58.3. Ако се у теореми 58.2 услов позитивно дефинитне функције замени условом
њене дефинитне одређености, може се доказати да јетада теорема 58.2 еквивалентна следећој
теореми.
Теорема 58.3 (теорема Красовског (Красовски Н. Н., (1924-2012), руски математичар)). Ако је у
области дата позитивнодефинитна функција , чији је извод ̇ ,за (56.6),
негативнодефинитна функција, а скуп { | } не садржи позитивних
полутрајекторија ДЈ (56.6), осим тачке равнотеже , онда је тачка , асимптотски стабилна
по Љапунову.
Дакле, теорема Красовског је последица теореме 58.2.
250
Сл. 73. За систем (58.5)
Доказ теорема 59.1 и 59.2.Како у свакој околини тачке равнотеже функција није
негативнодефинитна, онда у свакој произвољно малojоколини постоји тачка за коју је
. Некаje сфера чије тачке задовољавају неједнакост | | . Претпоставимо
сада да ни за какву вредност трајекторија не излази ван неке сфере .
251
Онда, ако трајекторија , где јеизвод ̇ позитивно дефинитан, тада за свако
не улази у сферу
фиксно тачка припада сферном појасу ̅ ,а самим тим и непразан гранични скуп
такође припада сферномпојасу ̅ .
Нека скуп не садржи позитивне полутрајекторије (теорема 59.1). Онда, на основулеме 58.1, скуп
лежи на ниво површи , иу складу са теоремама 51.1 и 51.2, затворен је и састоји се од целих
трајекторија,а специјално од позитивних полутрајекторија, па закључујемо да је на скупу
извод ̇ ,и стога је .Како добијена инклузијапротивуречи претпоставци теореме 59.1, тј.
чињеници да скуп не садржи позитивнеполутрајекторије, то добијена противречност и доказује
теорему 59.1.
Размотримо сада случај када скуп садржи позитивне полутрајекторије, али само такве да кад
оне теже тачки (Теорема 59.2). Тада, ако је произвољна тачка граничног скупа
таква да‖ ‖ кад , онда збогинваријантности граничних скупова је { }
.Како јеова неједнакост у супротности са горе добијеном инклузијом ̅ , то је теорема
доказана.
252
Сл. 74. За случај Сл. 75. За случај
Размотримо векторску ДЈ
̇
(60.1)
где је реална константна матрица.
Теорема 60.1. Ако сви корени карактеристичне једначине матрице имају негативне реалне
делове, онда је тачкаравнотеже ДЈ (60.1)стабилна по Љапунову.
Доказ. Из резултата § 42, следи да се свакорешење ДЈ (60.1) задаје у векторском облику једначином
(60.2)
где је векторски полином, чија свака координатаима степен не већи од ,а
је ред највећег Жордановогблока који садржи елеменат , а коефицијенти полинома су вектори
из .
Примећујући да за важи једнакост
| |
253
можемо закључити да, ако је ,онда за ,и, као што знамо из курса математичке
анализе, а самим тим и свакорешење (60.1) тежи нули за ,и оно је ограничено за
. Али, у овом случају ограничена и фундаментална матрица , тј.
‖ ‖ за ,и ‖ ‖ за . Даље, за свако решење ДЈ (60,1), имамо
.Одавде следи‖ ‖ ‖ ‖‖ ‖ за , ако је ‖ ‖ ,и када
.Овим јетеоремадоказана.
Теорема 60.2. Ако сви корени карактеристичне једначине матрице имају непозитивне реалне
делове, при чему корени карактеристичне једначине са нултим реалним деловима
омогућавајуЖорданове блокове само реда 1, онда је тачка равнотеже . ДЈ (60.1)стабилна по
Љапунову.
Теорема 60.3. Ако сви корени карактеристичне једначине матрице имају негативне реалне
делове, а корени карактеристичне једначине са нултим реалним деловимаомогућавајуЖорданове
блокове само реда , онда је тачка равнотеже ДЈ (60.1) нестабилна по Љапунову.
Теорема 61.2. Ако међу коренима карактеристичне једначине матрице А, ДЈ првогприближења има
бар један са позитивним реалним делом, онда је тачкаравнотеже нелинеарнеДЈ (61.1)
нестабилнапо Љапунову.
Не улазећи у доказ наведених теорема, чије доказе можете наћи нпр. у књизи Малкин И.Г. Теорија
стабилности кретања. 2.изд. М:. Наука, 1966, напомињемо само да ограничења која су наложена на
корене карактеристичне једначине матрице првог приближавења(60.1) не обухватају само тзв.
критични случај, односно случај, када карактеристична
једначина матрице без корена, са позитивним реалним деловима, има корене са нултима реалним
деловима.
У критичном случају, у зависности од функција може постојати како стабилност, тако и
нестабилност тачке равнотеже ДЈ (61.1).Другим речима, у критичном случају
испитивањестабилности по првомприближењује, уопштено говорећи, немогуће.
255
Решење.Карактеристична једначина матрице
( )
система првогприближења има корене ,и, према томе, а у складу са Теоремом 61.2,
тачкаравнотеже система (61.3) је нестабилна по Љапунову, тј. тачка је нестабилни
фокус.
Теорема 61.3 (Раут – Хурвицов критеријум (Раут Е. Ј., 1831-1907, британски математичар,
ХурвицА, 1859- 1919, немачки математичар)). Да би сви корени једначине
(61.5)
са реалним коефицијентима имали негативне реалнеделове, неопходно је и довољнодаимамо
позитивне све главне дијагоналне миноре Хурвица
( ,
256
Истакнимо да се Хурвицова матрица саставља на следећи начин. На главној дијагонали матрице
распоређују се респективно коефицијенти ̅̅̅̅̅ ,почевши од до . Колоне се
састојередомод коефицијената само непарних или само парних индекса, а каопоследњи укључен
коефицијент је .
Сви недостајући елементи, односно коефицијенти са индексима већим од или мањим од , су
замењени нулом.
Главни дијагоналниминориХурвицовематрице су
| | | | | |
Овде треба напоменути да, ако је ,онда последњи услов се своди на захтев
.
( )
Карактеристичнуједначину матрице , што је лако проверити, можемо записати у облику
па је .Одавде је
| | | |
| |
257
§ 62. ОРБИТАЛНА СТАБИЛНОСТ И СТАБИЛНОСТ ПО ЉАПУНОВУ ЗАТВОРЕНИХ
ТРАЈЕКТОРИЈА АУТОНОМНИХ ДИФЕРЕНЦИЈАЛНИХ ЈЕДНАЧИНА СА
ДВОДИМЕНЗИОНАЛНИМ ФАЗНИМ ПРОСТОРОМ. ПРОБЛЕМИЗОХРОНОСТИ
У §51 дата је строга дефиниција граничног цикла и истакнуто да постоје гранични цикли:орбитално
стабилни, орбитално нестабилни и орбитално полустабилни.
Дефинисаћемо стога појам"орбиталне стабилности."
Са геометријске тачке гледишта, то значи да се две репрезентативне тачкеблиске једна другој, које
сусвоје кретањезапочеле у неком тренутку времена , на пример, са осе ,удаље током
времена на неко коначно растојање.
Међутим, такође се може догодити да се током времена ове тачке и не разиђу. Да би уочили
разлику између ове две могућности, уводи се појам стабилности периодичних решења по
Љапунову. Његова суштина је следећа:
Ако je по датој довољнo малој околини тачке која се креће дуж затворене трајекторије (сл. 76),
могуће одабрати такву покретну околину исте тачке, да свака репрезентативна тачка, која у
258
почетном тренутку времена лежи у околини, а током времена никада неће изаћи из околине,
онда се периодично решење које одговара трајекторији зове стабилнимпо Љапунову.
Ако периодично решење није стабилно по Љапунову, онда се назива нестабилним по Љапунову.
За појам стабилности по Љапунову периодичних решења блискоје везан појам изохроних
периодичних и апериодичнихосцилација.
Да бисмо дефинисали овај појам, размотримо аутономни систем
̇ ̇
(62.1)
где је нека константа, која може бити једнака нули, и холоморфне у околини
{ || | | | }
координатног почетка фазне равни, функције које не садрже у својимразлагањимау
степенередовеслободне и линеарне чланове по променљивим и , тј.
∑ ∑
∑ ∑
259
Узимајући сада у обзирто,даље ће бити више речи о изолованој сингуларној тачки система (62.1),
која се поклапа са координатним почетком фазне равни, што, наравно, не смањује општост
расуђивања, претпостављамо да у почетном тренутку времена ,репрезентативне тачке кривих
центра или фокуса система (62.1) леже на истом зраку са почетком у тачки ,који чини са
апсцисом Декартовог координатног система угао (сл. 77).
Теорема 62.1. Изохрони центар и изохрони фокус система (52.1)су просте сингуларне тачке.
260
где су функције и исте као у претходном случају.
Системи (62.2) и (62.3) увођењем поларних координата ,респективно постају
̇ ∑ ̇ ∑
(62.4)
и
̇ ∑ ̇ ∑
(62.5)
где су , као и ,хомогени полиноми у односу на функције и степена .
Осврнимо се на систем (62.4). Ако у овом систему уведемосмену ,онда она неће утицати
наизохроност. Тада, из једначине
следи да, ако узмемо неко , онда за довољно мало постоје у околини координатног
почеткатрајекторије, дуж којих је
или
Међутим, како је
∫
√
долазимо до закључка да за време описивања трајекторијеједног окрета, около сингуларне
тачке, расте неограничено. Стога,координатни почетак не може бити изохрон сингуларно тачком
система (52.1).
Сада размотримо случај система (62.5). Из облика друге једначине овог система проистиче да, без
обзира колико је мало ,увек постојитакваоколина сингуларне тачке, у којој постоје
трајекторије, дуж којих је | ̇ | ,тј. постоје трајекторије, чије репрезентативне тачке врше окрет
око координатног почетка за произвољно дуг временски период. То значи да систем (52.1) није
изохрон у тачки . Теорема је доказана.
Један од примера нелинеарних изохроних система са центрому координатном почетку, па према
томе система са стабилнимпериодичним решењима по Љапунову, је систем облика
̇ ̇
што се лако показује преласком на поларне координате и интеграцијомдобијеног система.
Следећи пример је горе наведени систем (51.1), који има у координатном почетку изохрони фокус
̇ и стабилни гранични циклкоји је дат једначином .
261
Метода Љапунова може бити примењенаи за истраживање стабилности тривијалног решења
неаутономне ДЈ
̇
(63.1)
где се претпоставља да је вектор-функција непрекидно диференцијабилнау некој области
‖ ‖ .
Приметимо, међутим, да у овом случају заснованост теоремао функцијамаконстантног знака не
може се ослањати на теорији граничних скупова трајекторије, јер ови скупови у не-аутономном
случају, опште говорећи, нису инваријантни.
Ако се вратимо на разматрање не-аутономних ДЈ облика (63.1), морамо узети у обзир да је извод
̇ непрекидно диференцијабилне функције због ДЈ (63.1) већ датједначином
̇ ̇ ∑
262
нелинеарних ДЈ, несумњиво су посвећени како теоретским испитивањима, тако и озбиљним
применама у различитим областима науке и технике.
263