Файл: лекция № 12.doc

З теорем 5.1 і 5.2 випливає: для того, щоб n розв’язків диференціального рівняння (5.5) були лінійно незалежними на (a,b) необхідно і достатньо , щоб їх вронскіан не дорівнював нулю в жодній точці цього інтервалу.

Виявляється, для вияснення лінійної незалежності n розв’язків диференціального рівняння (5.5) достатньо переконатися , що W(x) не дорівнює нулю хоча б в одній точці інтервалу (a,b) . Це випливає з наступних властивостей вронскіана від n розв’язків диференціального рівняння (5.5):

а) якщо вронскіан дорівнює нулю в одній точці (a,b) і всі коефіцієнти диференціального рівняння (5.5) є неперервними, то на (a,b).

Дійсно, якщо , то по теоремі 5.2 функції- лінійно залежні на (a,b). Тоді , по теоремі 5.1 на (a,b);

б) якщо вронскіан n розв’язків диференціального рівняння (5.5) відмінний від нуля в одній точці (a,b) , то на (a,b).

Дійсно , якби W(x) дорівнював в одній точці з (a,b) нулю, то згідно а) на (a,b), в тому числі і в точці (a,b), що суперечить умові.

Звідси випливає, якщо n розв’язків диференціального рівняння (5.5) лінійно незалежні на (a,b), то вони будуть лінійно незалежні на будь-якому (a,b).

Формула Остроградського – Ліувілля

Ця формула має вигляд

. (5.19)

Доведення. Розглянемо вронскіан W(x) = і обчислимо його похідну

Перших (n-1) - визначників рівні нулю , так як всі вони мають по дві однакових стрічки. Далі домножимо перші (n-1) рядки останнього визначника відповідно на і складемо всіn стрічок . В силу диференціального рівняння (5.5) маємо

Звідки маємо формулу (5.19).

Фундаментальна система розв’язків та її існування

Означення 5.5 Сукупність n розв’язків диференціального рівняння (5.5) визначених і лінійно незалежних на (a,b) називається фундаментальною системою розв’язків .

З попереднього випливає, для того, щоб система n розв’язків диференціального рівняння (5.5) була фундаментальною системою розв’язків необхідно і достатньо, щоб вронскіан цих розв’язків був відмінний від нуля хоч в одній точці інтервалу неперервності коефіцієнтів диференціального рівняння (5.5). Всі ці розв’язки повинні бути ненульовими.

Теорема 5.3 (про існування фундаментальної системи розвязків). Якщо коефіцієнти диференціального рівняння (5.5) є неперервними на (a,b) , то існує фундаментальна система розв’язків на цьому інтервалі.

Доведення. Візьмемо точку (a,b) і побудуємо, використовуючи метод Пікара , розв’язки :

з початковими умовами ;

………………………………………………

з початковими умовами .

Очевидно , що , отже побудовані розв’язки лінійно незалежні.

Теорема доведена.

З методу побудови лінійно незалежних функцій випливає, що таких функцій можна побудувати безліч.

Побудована система розв’язків називається нормованою в точці .

Для будь-якого диференціального рівняння (5.5) існує тільки одна фундаментальна система розв’язків, нормована по моменту .

Загальний розв’язок. Число лінійно незалежних розв’язків

Теорема 5.4. Якщо - фундаментальна система розв’язків диференціального рівняння (5.5) , то формула

(5.20)

де - довільні константи, дає загальний розв’язок диференціального рівняння (5.5) в області

, , (5.21)

тобто в області визначення диференціального рівняння (5.5).

Доведення. Якщо – розв’язки диференціального рівняння (5.5) , то лінійна комбінація (5.20) теж розв’язок. Систему

(5.22)

можна розв’язати відносно ,, ... ,в області (5.21), так як. Згідно визначення (5.20) – загальний розв’язок і він містить в собі всі розв’язки диференціального рівняння (5.5).

Теорема доведена.

Для знаходження частинного розв’язку такого, що

(5.23)

необхідно все підставити в (5.22) і визначити ,i=1,2,…,n. Тоді – частинний розв’язок. Якщо фундаментальна система розв’язків – нормована в точці, то, тобто

(5.24)

загальний розв’язок в формі Коші.

Зауважимо, що загальний розв’язок диференціального рівняння (5.5) є однорідна лінійна функція від довільних констант.

Твердження 5.1. Диференціальне рівняння (5.5) не може мати більше ніж n лінійно незалежних частинних розв’язків.

Дійсно, нехай ми маємо (n+1) частинний розв’язок. Розглянемо n перших. Якщо вони лінійно залежні, то і всі будуть лінійно залежні, так як

, a < x < b,

де всі не дорівнюють нулю . Якщо ж вони лінійно залежні, то по теоремі 5.4 будь-який розв’язок, в тому числі івиражається через, тобто=. Отримали, що(n+1)-ий розв’язок знову виявився лінійно залежним.

Для побудови диференціального рівняння типу (5.5) по системі лінійно незалежних функцій , якіn раз неперервно диференційовані на (a,b) , вронскіан яких ,(a,b) необхідно розглянути вронскіан порядку (n+1)