Файл: R6.doc

Розділ 6. Системи звичайних диференціальних рівнянь

6.1. Основні поняття та загальні властивості розвязків

6.1.1. Основні поняття та означення. Задача Коші

Означення 6.1.Сукупність рівнянь вигляду

, (6.1)

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

Означення 6.2. Будемо говорити, що систему звичайних диференціальних рівнянь (6.1) записано в нормальній формі, якщо її можна розвязати відносно похідних і представити в такому вигляді

. (6.2)

Число рівнянь системи диференціальних рівнянь (6.2) називається її порядком.

Означення 6.3. Якщо праві частини системи диференціальних рівнянь (6.2) лінійні по

, (6.3)

то система називається лінійною.

Означення 6.4. Сукупність функцій

(6.4)

визначених і неперервно диференційовних на називається розвязком системи (6.2), якщо вона перетворює всі рівняння системи (6.2) в тотожності на .

Процес знаходження розвязків системи називається інтегруванням.

Задача Коші: для системи диференціальних рівнянь (6.2) серед всіх розвязків знайти такий

, (6.5)

який задовольняє умовам

. (6.6)

Тут – початкові значення шуканих функцій,– початкове значення незалежної змінної. Числаназиваються початковими даними розвязку (6.5), умови (6.6) – початковими умовами.

Геометричний зміст задачі Коші – серед всіх інтегральних кривих системи диференціальних рівнянь (6.2) знайти ту, яка проходить через точку (6.6).

Механічнийзміст задачі Коші – знайти такий рух, визначений системою диференціальних рівнянь (6.2), який задовольняє початковим умовам (6.6).

6.1.2. Теореми про достатні умови існування та єдиності розвязку задачі Коші та неперервну залежність розвязку системи від початкових даних і параметрів(без доведення)

Теорема 6.1(про існування і єдиність розв'язку задачі Коші). Розглянемо задачу (6.2), (6.6). Припустимо, що праві частини системи диференціальних рівнянь (6.2) визначені в області

(-задані числа) і задовольняють наR умовам:

1. функції ,є неперервними по всім аргументам і, отже, обмеженими

;

2) Функції мають обмеженні частинні похідні по, тобто

(задане число).

При цьому існує єдиний розвязок системи (6.2) при умові (6.6), визначений і неперервно диференційовний на інтервалі .

Зауваження 6.1. Якщо праві частини системи диференціальних рівнянь (6.2) – суто поліноми від своїх аргументів, то існує єдиний розвязок задачі Коші (6.2), (6.6) для будь-яких початкових умов.

Розглянемо систему диференціальних рівнянь в нормальній формі залежну від параметрів

, , (6.7)

праві частини якої визначенні в областях

і

.

Теорема 6.2 (про неперервну залежність розвязку від параметрів). Припустимо, що праві частини системи диференціальних рівнянь (6.7) задовольняють умовам:

1) функції неперервні зав областіі, і, отже, обмежені

, ;

2) функці задовольняють умові Ліпшиця за

,

де і– будь-які точки з,– будь-яка точка з,– постійне додатне число, незалежне відта. Тоді сиcтема (6.7) має єдиний розвязок

, (6.8)

який задовольняє початковим умовам .

Цей розвязок є визначеним і неперервно дифереційовним за на інтервалі

, (6.9)

визначений і неперервний по в областірівномірно заз (6.9), тобто для кожногоіснує, що одночасно для кожногоз (6.9) виконується нерівність

лише тільки

.

Теорема 6.3 (про неперервну залежність розвязків від початкових умов). Якщо праві частини системи диференціальних рівнянь (6.2) задовольняють в обом умовам тереми Пікара (теореми 6.1) , то розвязок

(6.10)

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

(6.11)

буде неперервним за і початковим умовам, коли

, (6.12)

а лежать в області

, (6.13)

де

.

При цьому розвязок (6.10) буде неперервним по , в області (6.13) рівномірно заз (6.12), тобто для любогоіснує, що нерівності

виконується одночасно для всіх з (6.12), коли

.

6.1.3 Загальний, частинний і особливий розв'язки

Нехай – область, в кожній точці якої виконуються умови теореми існування і єдиності.

Означення 6.5. Сукупність функцій

(6.14)

визначених в деякій області зміни змінних і які мають неперервні частинні похідні за, будемо називати загальним розвязком системи (6.2) в області , якщо систему (6.14) можна розвязати відносно

, (6.15)

а сукупність функцій (6.14) є розвязком диференціального рівняння (6.2) для всіх сталих, визначених співвідношеннями (6.15), коли .

Якщо в (6.14) роль сталих відіграють початкові умови

, (6.16)

то (6.16) називається загальним розвязком в формі Коші.

Означення 6.6. Розвязок системи диференціальних рівнянь (6.2) називається частинним якщо він складається з точок єдиності розвязку задачі Коші. Його можна отримати при конкретних сталих, включаючи .

Означення 6.7. Розвязок системи диференціальних рівнянь (6.2) називається особливим, якщо в кожній точці його порушується єдиність розвязку задачі Коші.

6.1.4 Інтеграл. Перший та загальний інтеграли. Число незалежних інтегралів

Розглянемо одну з рівностей (6.15)

. (6.17)

Функція на будь-якому частинному розвязку приймає постійні значення, тобто

.