Skip to main content
LibreTexts - Ukrayinska

2: Спеціальна структура та рішення ОДУ

Послідовна тема у всіх ОДА полягає в тому, що «особлива структура» рівнянь може виявити розуміння природи розв'язків. Тут ми розглянемо дуже основне і важливе властивість автономних рівнянь:

«Часові зрушення розв'язків автономних ОД також є розв'язками ОДА (але з іншою початковою умовою)».

Зараз ми покажемо, як в цьому переконатися.

Протягом цього курсу ми будемо вважати, що існування та унікальність розв'язків тримається на області та часовому інтервалі, достатньому для наших аргументів та обчислень.

Починаємо з встановлення налаштування. Розглянуто автономне векторне поле, визначене наRn:

˙x=f(x)x(0)=x0,xRn,

з розчином позначається:

x(t,0,x0),x(0,0,x0)=x0.

Тут ми беремо початковий час, щоб бутиt0=0. Незабаром ми побачимо, що для автономних рівнянь це можна зробити без втрати спільності. Тепер вибираємоsR (s0, який слід розглядати як фіксовану константу). Ми повинні показати наступне:

˙x(t+s)=f(x(t+s))

Це те, що ми маємо на увазі під фразою тимчасові зрушення рішень. Це співвідношення випливає відразу з розрахунку правила ланцюга:

ddt=dd(t+s)d(t+s)dt=dd(t+s).

Нарешті, нам потрібно визначити початкову умову для зрушеного за часом рішення. Для оригінального рішення у нас є:

x(t,0,x0),x(0,0,x0)=x0,

і за час зрушеного рішення у нас є:

x(t+s,0,x0),x(s,0,x0).

Саме з цієї причини, без втрати спільності, для автономних векторних полів ми можемо взяти початковий часt0=0. Це дозволяє спростити аргументи в позначеннях для розв'язків автономних векторних полів, тx(0,0,x0)=x(0,x0)=x0.x(t,0,x0)x(t,x0) Е.

Приклад2.5: The time-shift property of autonomous vector fields

Розглянемо наступне одновимірне автономне векторне поле:

˙x=λx,x(0)=x0,xR,λR.

Рішення дається:

x(t,0,x0)=x(t,x0)=eλtx0.

Час зсунутого рішення задається:

x(t+s,x0)=eλ(t+s)x0.

Ми бачимо, що це рішення ОДА з наступними розрахунками:

ddtx(t+s,x0)=λeλ(t+s)x0=λx(t+s,x0),

з початковим станом:

x(s,x0)=eλsx0.

Підводячи підсумок, ми бачимо, що розв'язки автономних векторних полів задовольняють наступним трьом властивостям:

  1. x(0,x0)=x0
  2. x(t,x0)знаходитьсяCr вx0
  3. x(t+s,x0)=x(t,x(s,x0))

Власність один якраз відображає прийняті нами позначення. Property 2 - це твердження властивостей, що виникають внаслідок існування та унікальності рішень. Властивість 3 використовує дві характеристики рішень. Одним з них є властивість «зсуву часу» для автономних векторних полів, які ми довели. Інша - «унікальність рішень», оскільки ліва сторона та права частина Property 3 задовольняють однаковій початковій умові при t = 0.

Ці три властивості є визначальними властивостями потоку, тобто a. Іншими словами, ми розглядаємо рішення як визначення карти точок у фазовому просторі. Властивість групи виникає з властивості 3, тобто властивості зсуву часу. Для того, щоб підкреслити цю властивість «карти фазового простору», введемо загальне позначення для потоку наступним чином:

x(t,x0)ϕt()

де «·» в аргументіϕt() відображає той факт, що потік є функцією на фазовому просторі. За допомогою цього позначення три властивості потоку записуються наступним чином:

  1. ϕ0()це карта ідентичності.
  2. ϕt()Crприпадає на кожну т.
  3. ϕt+s()=ϕtϕs()

Ми часто використовуємо словосполучення «потік, що генерується (автономним) векторним полем». Автономний знаходиться в дужках, оскільки розуміється, що коли ми розглядаємо потоки, ми розглядаємо рішення автономних векторних полів. Це пов'язано з тим, що неавтономні векторні поля не обов'язково задовольняють властивість зсуву у часі, як ми зараз показуємо на прикладі.

Приклад2.6: An example of a nonautonomous vector field not having the time-shift property

Розглянемо наступне одновимірне векторне поле наR:

˙x=λtx\),\)x(0)=x0,xR\),\(λR.

Це векторне поле відокремлюється, і рішення легко знайти:

x(t,0,x0)=x0eλ2t2.

Час зсунутого «рішення» задається:

x(t+s,0,x0)=x0eλ2(t+s)2.

Ми показуємо, що це не задовольняє векторне поле з наступним розрахунком:

ddtx(t+s,0,x0)=x0eλ2(t+s)2λ(t+s).

λtx(t+s,0,x0).

Можливо, більш простий приклад, який ілюструє, що неавтономні векторні поля не задовольняють властивість зсуву часу, є наступним.

Приклад2.7

Розглянемо наступне одновимірне неавтономне векторне поле:

˙x=et,xR.

Рішення дається:

x(t)=et.

Легко перевірити, що функція зі зміщенням часу:

x(t+s)=et+s,

не задовольняє рівнянню.

При вивченні ОДУ певні типи рішень досягли рівня популярності, значною мірою виходячи з їх значущості в додатках. Вони є

  • рівноважні рішення,
  • періодичні розчини,
  • гетероклінічні розчини,
  • гомоклінічні рішення.

Визначимо кожен з них.

ВИЗНАЧЕННЯ 8: РІВНОВАГА

Точка вx=ˉx=Rn фазовому просторі, яка є рішенням ОДА, тобто

f(ˉx)=0,f(ˉx,t)=0,

називається точкою рівноваги.

Наприклад, x = 0 - точка рівноваги для наступних автономних і неавтономних одновимірних векторних полів, відповідно,

  • ˙x=x,xR,
  • ˙x=tx,xR.

Періодичне рішення - це просто рішення, яке є періодичним за часом. Його визначення однакове як для автономних, так і для неавтономних векторних полів.

ВИЗНАЧЕННЯ 9: ПЕРІОДИЧНІ РІШЕННЯ

x(t,t0,x0)Розв'язок є періодичним, якщо існує T > 0 такий, що

x(t,t0,x0)=x(t+T,t0,x0)

Гомоклінічні та гетероклінічні розчини мають важливе значення в різних сферах застосування. Їх визначення не настільки просте, як визначення рівноваги та періодичних розв'язків, оскільки вони можуть бути визначені та узагальнені до багатьох різних налаштувань. Ми будемо розглядати тільки ці спеціальні рішення для автономних векторних полів, і розчини гомоклінічних або гетероклінічних до рівноважних розв'язків.

ВИЗНАЧЕННЯ 10 (ГОМОКЛІНІЧНІ ТА ГЕТЕРОКЛІНІЧНІ РОЗЧИНИ)

Припустимоˉx1 іˉx2 є точками рівноваги автономного векторного поля, тобто

f(ˉx1)=0,f(ˉx2)=0.

x(t,t0,x0)Траєкторія, як кажуть, гетероклінічна доˉx1 іˉx2 якщо

limtx(t,t0,x0)=ˉx2,

limtx(t,t0,x0)=ˉx1,

Якщоˉx1=ˉx2 траєкторія, як кажуть, гомоклінічна доˉx1=ˉx2.

Приклад2.8: equilibrium points and heteroclinic orbits

Розглянемо наступне одновимірне автономне векторне поле наR:

˙x=xx3=x(1x2),xR.

Це векторне поле має три точки рівноваги наx=0,±1.

На рис. 2.1 ми показуємо графік векторного поля (2.12) в панелі а) і динаміку фазової лінії в панелі b).

Суцільні чорні точки на панелі b) відповідають точкам рівноваги, і вони, в свою чергу, відповідають нулям векторного поля, показаного на панелі а). Між його нулями векторне поле має фіксований знак (тобто позитивний або негативний), що відповідає тому, що є або збільшенням, або зменшенням. На це вказує напрямок стрілок на панелі б).

Знімок екрана 2019-09-12 в 10.44.39 AM.png
Малюнок 2.1: а) Графік векторного поля. б) Фазовий простір.

Наша дискусія про траєкторії, як і цей приклад, підводить нас до точки, коли закономірно ввести важливе поняття інваріантної множини. Хоча це загальна ідея, яка стосується як автономних, так і неавтономних систем, в цьому курсі ми обговоримо це поняття лише в контексті автономних систем. Відповідно, давайтеϕt() позначимо потік, що генерується автономним векторним полем.

ВИЗНАЧЕННЯ 11: ІНВАРІАНТНИЙ НАБІР

Набір, як кажуть,MRn є інваріантним, якщо

xMϕt(x)M

t.

Іншими словами, набір є інваріантним (щодо потоку), якщо ви починаєте в наборі, і залишитеся в наборі, назавжди.

Якщо задуматися, то повинно бути зрозуміло, що інваріантні множини - це множини траєкторій. Будь-яка єдина траєкторія - це інваріантна множина. Весь фазовий простір - це інваріантна множина. Найцікавіші випадки - це ті, що «між ними». Також повинно бути зрозуміло, що об'єднання будь-яких двох інваріантних множин також є інваріантною множиною (просто застосувати визначення інваріантної множини до об'єднання двох, або більше, інваріантних множин).

Існують певні ситуації, коли нас цікавлять множини, які є інваріантними лише для позитивного часу — позитивними інваріантними множинами.

ВИЗНАЧЕННЯ 12: ПОЗИТИВНА ІНВАРІАНТНА МНОЖИНА

БезлічMRn, як кажуть, позитивний інваріант, якщо

xMϕt(x)Mt>0.

Існує подібне поняття негативних інваріантних множин, але узагальнення цього з визначення позитивних інваріантних множин має бути очевидним, тому виписувати подробиці не будемо.

Що стосується прикладу 8, то три точки рівноваги є інваріантними множинами, а також замкнутими інтервалами[1,0] та [0, 1]. Чи існують інші інваріантні набори?