Однорідні рівняння зі сталими коефіцієнтами;
Однорідні рівняння зі сталими коефіцієнтами
Історично перший метод розв'язування звичайних лінійних диференціальних рівнянь зі сталими коефіцієнтами пов'язаний з іменем Ейлера, який зрозумів, що розв'язки мають вигляд Неможливо розібрати вираз (невідома помилка): e^{zx} , де Неможливо розібрати вираз (невідома помилка): z - (в загальному випадку)-комплексні значення z. Щоб сума кількох похідних функції дорівнювала нулю, похідні повинні врівноважувати одна одну, тож єдиний спосіб досягнути цього - похідні мусять мати ту ж форму, що й вихідна функція. Міркуючи так, для розв'язання
покладемо Неможливо розібрати вираз (невідома помилка): y=e^{zx} , що дає
Неможливо розібрати вираз (невідома помилка): z^n e^{zx} + A_1 z^{n-1} e^{zx} + \cdots + A_n e^{zx} = 0.
Діленням на Неможливо розібрати вираз (невідома помилка): e^{zx}
многочлен n-го порядку
Неможливо розібрати вираз (невідома помилка): F(z) = z^{n} + A_{1}z^{n-1} + \cdots + A_n = 0.\,
Це алгебраїчне рівняння Неможливо розібрати вираз (невідома помилка): F(t)=0 , характеристичне рівняння, було розглянуто пізніше Ґаспаром Монжем і Оґюстеном-Луї Коші. Формально, члени
Неможливо розібрати вираз (невідома помилка): y^{(k)}\quad\quad(k = 1, 2, \dots, n).
вихідних диференціальних рівнянь замінюються на Неможливо розібрати вираз (невідома помилка): z^k . Розв'язок алгебраїчного рівняння дає n значень Неможливо розібрати вираз (невідома помилка): z_1, z_2, ...z_n . Підстановка будь-якого з цих значень Неможливо розібрати вираз (невідома помилка): z
в Неможливо розібрати вираз (невідома помилка): zx дає розв'язок Неможливо розібрати вираз (невідома помилка): e^{zx}
. Оскільки однорідні лінійні диференціальні рівняння підпорядковані принципу суперпозиції, будь-яка лінійна комбінація цих функцій також задовольняє дане диференціальне рівняння.
Коли всі корені різні, ми маємо n різних розв'язків диференціального рівняння. Застосовуючи визначник Вандермонда, можна показати, що вони лінійно незалежні і разом утворюють базис в просторі всіх розв'язків диференціального рівняння.
Вищесказане дає розв'язок в разі, коли всі корені різні, тобто кожен з них має кратність 1. У загальному випадку, якщо Неможливо розібрати вираз (невідома помилка): z
(можливо, комплексний) нуль (=корінь)Неможливо розібрати вираз (невідома помилка): Р(x)
, що має кратність m, то Неможливо розібрати вираз (невідома помилка): y=x^ke^{zx} , є розв'язками ЛОР (де Неможливо розібрати вираз (невідома помилка): k\in\{0,1,\dots,m-1\} \, ). Застосування цього до всіх коренів дає набір з n різних і лінійно незалежних функцій, де n-степіньНеможливо розібрати вираз (невідома помилка): F(x) . Як і раніше, ці функції утворюють базис простору розв'язків.
Якщо коефіцієнти диференціального рівняння дійсні, то перевагу віддаємо дійснозначним розв'язкам. Оскільки комплексні (не дійсні) корені сполучені в пари спряжених, як і відповідні базисні функції, Неможливо розібрати вираз (невідома помилка): xkezx , то бажаний результат одержимо заміною кожної пари дійсною лінійною комбінацією з Неможливо розібрати вираз (невідома помилка): Re(y)
і Неможливо розібрати вираз (невідома помилка): Im(y)
, де y — одна з функцій пари.
- Випадки, що включають комплексні корені, можуть бути розглянуті за допомогою формули Ейлера.
Приклади однорідних рівнянянь зі сталими коефіцієнтами
1. Неможливо розібрати вираз (невідома помилка): y''''-2y'''+2y''-2y'+y=0 \,
має характеристичне рівняння
Неможливо розібрати вираз (невідома помилка): z^4-2z^3+2z^2-2z+1=0. \,
Його корені Неможливо розібрати вираз (невідома помилка): i, -i , й 1 (кратності 2). Базис розв'язків
Неможливо розібрати вираз (невідома помилка): e^{ix} ,\, e^{-ix} ,\, e^x ,\, xe^x \,.
Відповідний дійснозначний базис
Неможливо розібрати вираз (невідома помилка): \cos x ,\, \sin x ,\, e^x ,\, xe^x \,.
2.Дано, Неможливо розібрати вираз (невідома помилка): y''-4y'+5y=0 \, .
- Характеристичне рівняння
Неможливо розібрати вираз (невідома помилка): z^2-4z+5=0 \, ,
має корені (2 + і) і (2 - і).
Таким чином, базис розв'язків
Неможливо розібрати вираз (невідома помилка): \{y_1,y_2\} є Неможливо розібрати вираз (невідома помилка): \{e^{(2+i)x},e^{(2-i)x}\} \, .
Тепер у розв'язком тоді і тільки тоді Неможливо розібрати вираз (невідома помилка): y=c_1y_1+c_2y_2 \, , для Неможливо розібрати вираз (невідома помилка): c_1,c_2\in\mathbb C .
Оскільки коефіцієнти дійсні,
- ми, ймовірно, не зацікавлені в комплексних розв'язках;
- наші базисні елементи взаємно спряжені.
Лінійні комбінації
Неможливо розібрати вираз (невідома помилка): u_1=\mbox{Re}(y_1)=\frac{y_1+y_2}{2}=e^{2x}\cos(x) \, Неможливо розібрати вираз (невідома помилка): u_2=\mbox{Im}(y_1)=\frac{y_1-y_2}{2i}=e^{2x}\sin(x) \,
дають нам дійсний базис Неможливо розібрати вираз (невідома помилка): \{u_1,u_2\} .