Диференціальні рівняння першого порядку, не розвязані відносно похідної

Диференціальні рівняння першого порядку, не розвязані відносно похідної

1. Основні поняття і означення, теорема про достатні умови існування і єдності розв'язку.

Диференціальне рівняння першого порядку, не розв'язані відносно похідної має вигляд

(5.1)

Найбільш часто зусрічаються диференціальні рівняння першого порядку -ої степені.

Означення 5.1. Функція , визначена і

(5.2)

неперервнодиференційовна на називається розв'язком Д.Р. (5.1), якщо вона після підстановки перетворює Д.Р. (5.1) в

тотожність

Означення 5.2. Будемо говорити, що рівняння визначає розв'язок Д.Р.(5.1) в нормальній формі, якщо воно визначає як функцію і вона являється розв'язком Д.Р.(5.1).

Означення 5.3. Рівняння , ,, визначає розв'язок Д.Р.(5.1) в параметричній формі, якщо

Криві на ел., які відповідають розв'язкам, будемо називати

Задача Коші - задача знаходження розв'язків, які задовільняють умови .

Означення 5.4. Говорять, що задача Коші для Д.Р.(5.1) з початковими умовами має єдиний розв'язок, якшо через в достатньо малому околі її проходить стільки , скільки напрямків поля визначає Д.Р. в цій точці. В противному - не єдиний розв'язок.

Теорема 5.1. (про існування і єдиність розв'язку задачі Коші).

Якщо функція задовільняє наступним умовам:

а) Являється визначеною і неперервною разом зі своїми ЧП в деякому замкненому околі т.;

б);

в);

то Д.Р.(1) має єдиний розв'язок , визначений і неперервно диференційовний в околі т , задовільняючий умови і такий, що

► Без доведення ◄

Припустимо, що розв'язуючи Д.Р.(1) відносно , ми знайдемо дійсні розв'язки

(5.3)

де визначені в обл. так, що маємо Д.Р. першого порядку, розв'язаних відносно . Припустимо, що в точці , напрямок поля, визначений кожним Д.Р. (5.3), різний. Так що різних рівнянь не можуть дотикатися друг друга на .