Курсова робота
"Вивчення систем з постійною парною частиною"
Зміст
Введення
1. Парні й непарні вектор-функції
2.Основні відомості з теорії функцій, що відбивають
3. Системи парна-непара
4. Побудова прикладів систем, парна частина загального рішення яких постійна
5. Прості й найпростіші системи
6. Побудова множини систем, парна частина загального рішення яких постійна
6.1 Системи, що мають постійну парну частину
6.2 Побудова систем із заданою парною частиною
Висновок
Список джерел
Введення
При вивченні питань існування періодичних рішень диференціальних систем і рівнянь використовуються властивості симетричності (парність, непарність і т.п.) як функцій, що задають досліджувану систему, так і самих рішень.
У даній роботі ми будемо розглядати сімейства рішень із постійною парною частиною, тобто коли парна частина буде представлена у вигляді константи.
Розберемо приклади систем, сімейства рішень яких мають постійну парну частину. Будемо вивчати побудову систем із заданою парною частиною.
1. Парні й непарні вектор-функції
За аналогією з функціями одної змінної, вектор-функцію 
, 
будемо називати парною (непарної), якщо для всіх 
, 
є парною (непарної) функцією, тобто область визначення 
симетрична щодо нуля й $IMAGE6$ ( $IMAGE7$ ).
Будь-яку функцію із симетричною областю визначення, можна представити як суму парної й непарної функцій. Дійсно, якщо
$IMAGE8$
$IMAGE9$
$IMAGE10$
і $IMAGE11$ є парною функцією, а $IMAGE12$ – непарної.
$IMAGE13$ будемо називати парною частиною функції $IMAGE14$, $IMAGE15$ – непарної.
Відзначимо наступні властивості парних і непарних функцій.
Властивість 1 Похідна парної (непарної) функції є функція непарна (парна).
Доказ. a) $IMAGE14$ – парна функція.
$IMAGE17$
$IMAGE18$
$IMAGE19$
Т.к. $IMAGE20$ і $IMAGE21$ існують або не існують одночасно, те $IMAGE22$, $IMAGE23$ і $IMAGE24$. Таким чином, похідна парної функції є функція непарна.
б) $IMAGE14$ – непарна функція.
$IMAGE17$
$IMAGE27$
$IMAGE28$
Т.к. $IMAGE20$ і $IMAGE21$ існують або не існують одночасно, те $IMAGE22$, $IMAGE23$ і $IMAGE33$. Таким чином, похідна непарної функції є функція парна.
Властивість 2 Якщо – непарна функція, те $IMAGE35$.
Доказ. Оскільки $IMAGE14$ – непарна функція, те
$IMAGE37$
Підставивши замість $IMAGE38$ $IMAGE39$ одержуємо $IMAGE40$
Звідки треба $IMAGE41$
2. Основні відомості з теорії функцій, що відбивають
Розглянемо систему
$IMAGE42$(1)
уважаючи, що її права частина безперервна й має безперервні частки похідні по $IMAGE43$. Загальне рішення цієї системи у формі Коші позначимо через $IMAGE44$. Через $IMAGE45$ позначимо інтервал існування рішення $IMAGE46$
Нехай
$IMAGE47$
Визначення: функцією, що відбиває, (1) системи назвемо функцію
$IMAGE48$
обумовлену формулою
$IMAGE49$ (2)
або формулами
$IMAGE50$
Для функції, що відбиває, справедливі властивості:
1) Для будь-якого рішення
$IMAGE51$
системи (1) вірна тотожність
$IMAGE52$(3)
2) Для функції, що $IMAGE53$ відображає, будь-якої системи виконані тотожності:
$IMAGE54$ (4)
3) Диференцюєма функція
$IMAGE55$
буде функцією, що відбиває, (1) системи тоді й тільки тоді, коли вона задовольняє рівнянням у частинних похідних
$IMAGE56$ (5)
і початковій умові
$IMAGE57$(6)
Рівняння (5) будемо називати основним рівнянням (основним співвідношенням) для функції, що відбиває.
Доказ. Властивість 1) треба безпосередньо з визначення (2). Для доказу властивості 2) помітимо, що відповідно до властивості 1) для будь-якого рішення $IMAGE58$ системи (1) вірні тотожності
$IMAGE59$
Із цих тотожностей у силу того, що через кожну крапку $IMAGE60$ проходить деяке рішення $IMAGE58$ системи (1), і випливають тотожності (5).
Приступимося до доказу властивості 3). Нехай $IMAGE62$ – функція, що відбиває, (1)системи . Тоді для неї вірна тотожність (3). Диференціюємо цю тотожність по $IMAGE38$ й скористаємося тим, що $IMAGE58$ – рішення системи (1), і самою тотожністю (3). Одержимо тотожність
$IMAGE65$
з якого в силу довільності рішення $IMAGE58$ треба, що $IMAGE62$ – рішення системи (5). Початкова умова відповідно до властивості 2) так само виконується.
Нехай деяка функція $IMAGE68$ задовольняє системі (5) й умові (6). Тому що цій системі й цій умові задовольняє так само й функція, що відбиває, то з одиничності рішення (5) задачі (6) - $IMAGE68$ функція повинна збігатися з функцією, що відбиває. Властивість 3) доведено.
Лема Основна лема 3 Нехай права частина системи (1) $IMAGE70$-періодична по $IMAGE38$, безперервна й має безперервні частки похідні по змінним $IMAGE43$. Тоді відображення за період для системи (1) можна знайти по формулі
$IMAGE73$
і тому рішення $IMAGE74$
системи (1) буде $IMAGE70$- періодичним тоді й тільки тоді, коли $IMAGE76$ є рішення недиференціальної системи
$IMAGE77$ (7)
Як наслідок цієї леми доведемо наступне припущення.
Твердження 4 Нехай безупинно диференцюєма функція $IMAGE78$ $IMAGE70$-періодична й нечетна по $IMAGE38$, тобто
$IMAGE81$
и. $IMAGE82$ Тоді всяке продовження на відрізок $IMAGE83$ рішення системи (1) буде $IMAGE70$-періодичним і парним по $IMAGE38$.
Доказ. Для доказу досить помітити, що функція $IMAGE86$ задовольняє рівнянню (5) й умові (6). Тому вона відповідно до властивості 3) є функцією, що відбиває, розглянутої системи. Рівняння (7) в нашім випадку вироджується в тотожність, і йому задовольняє кожне $IMAGE76$, для якого визначене значення
$IMAGE88$
Відповідно до основної леми будь-яке рішення системи (1) буде $IMAGE70$-періодичним. Парність довільного рішення $IMAGE58$ системи (1) треба з тотожностей
$IMAGE91$
справедливих у силу властивості 1) функції, що відбиває.
Справедливі наступні твердження [4].
Теорема 5 Нехай всі рішення системи (1) $IMAGE92$-періодичні й однозначно визначаються своїми початковими даними. Тоді, що відбиває функція, $IMAGE62$ цієї системи $IMAGE92$-періодична по $IMAGE95$
Теорема 6 Нехай система (1) $IMAGE92$-періодична по $IMAGE97$ а її рішення однозначно визначаються своїми початковими даними й існують при всіх $IMAGE98$ Якщо, крім того, що відбиває функція цієї системи $IMAGE92$-періодична по $IMAGE97$ те всі рішення системи (1) періодичні з періодом $IMAGE101$
Аналогічна теорема має місце в тому випадку, коли не всі рішення системи (1) продовжимі на відрізок $IMAGE102$ При цьому висновок про $IMAGE103$-періодичність можна зробити лише для тих рішень, які існують при всіх $IMAGE98$
З $IMAGE105$-періодичності функції, що відбиває, $IMAGE92$треба -періодичність всіх продовжимих $IMAGE107$ на рішення періодичної (1)системи . З $IMAGE92$-періодичності функції, що відбиває, не треба, загалом кажучи $IMAGE92$, -періодичність $IMAGE92$рішень -періодичної системи, хоча треба $IMAGE103$їх -періодичність.
Не слід думати, що якщо всі рішення $IMAGE92$-періодичної системи $IMAGE92$-періодичні, те її функція, що відбиває, зобов'язана $IMAGE105$бути -періодичної. Цьому суперечить приклад рівняння $IMAGE115$
У випадку, коли $IMAGE116$, тобто коли система (1) вироджується в рівняння, вірна
Теорема 7 Нехай рівняння (1) $IMAGE92$-періодичне по $IMAGE97$ а його рішення однозначно визначаються своїми початковими даними й існують при всіх $IMAGE119$ Тоді для того, щоб всі рішення рівняння (1) були $IMAGE92$-періодичні, необхідна й достатня $IMAGE92$-періодичність по $IMAGE38$ функції, що відбиває, цього рівняння.
3. Системи парна-непара
Розглянемо систему
$IMAGE123$(8)
Будемо вважати, що всюди надалі ця система задовольняє умовам:
а) Функція $IMAGE124$ безупинно диференцюєма, і тому, задача Коші для системи (8) має єдине рішення;
б) Права частина системи (8) $IMAGE70$-періодична по $IMAGE38$.
Лема 8 Нехай система (8) задовольняє умовам а) і б). Тоді продовжині на відрізок $IMAGE83$ рішення $IMAGE58$ цієї системи буде $IMAGE70$-періодичним тоді й тільки тоді, коли
$IMAGE130$
$IMAGE131$
– є непарна частина рішення $IMAGE58$.
Доказ. Нехай $IMAGE58$ – $IMAGE70$-періодичне рішення системи (8). Тоді
$IMAGE135$
Необхідність доведена.
Нехай $IMAGE58$ – рішення системи (8), для якого $IMAGE137$. Тоді
$IMAGE138$
і тому
$IMAGE139$
Таким чином, крапка $IMAGE140$ є нерухлива крапка відображення за період, а рішення $IMAGE58$ – $IMAGE70$-періодичне.
Доведена лема, питання про періодичність рішення
$IMAGE143$
зводить до обчислення одного зі значень непарної частини $IMAGE144$. Іноді відносно $IMAGE144$ можна сказати більше, ніж про саме рішення $IMAGE58$. Це дозволяє в таких випадках робити різні висновки щодо існування періодичних рішень у систем виду (8). Диференцуємі функції
$IMAGE147$
$IMAGE148$
задовольняють деякій системі диференціальних рівнянь. Перш, ніж виписати цю систему, помітимо:
$IMAGE149$(9)
тому що
$IMAGE150$
рішення системи (8). Заміняючи в тотожності (9) $IMAGE38$ на $IMAGE152$ й з огляду на, що похідна парної функції – функція непарна, а похідна непарної функції – функція парна, одержуємо тотожність
$IMAGE153$(10)
З тотожностей (9) і (10) знайдемо похідні:
$IMAGE154$
У такий спосіб вектор-функція
$IMAGE155$(11)
задовольняє наступній системі диференціальних рівнянь порядку $IMAGE156$:
$IMAGE157$(12)
$IMAGE158$
Систему (12) будемо називати системою пар-непара, що відповідає системі (8). рішення системи чіт-непара, як треба з умови а), однозначно визначається своїми початковими умовами.
4. Побудова прикладів систем, парна частина загального рішення яких постійна
Приклад
$IMAGE159$
Знайдемо рішення: будемо використовувати метод виключення, візьмемо перше рівняння системи й виразимо з нього $IMAGE160$:
$IMAGE161$
тепер диференціюємо його
$IMAGE162$
Ми можемо дорівняти ліву частину отриманого рівняння з лівою частиною другого рівняння вихідної системи
$IMAGE163$
Зробимо перетворення й приведемо подібні
$IMAGE164$
$IMAGE165$
$IMAGE166$
$IMAGE167$
$IMAGE168$
$IMAGE169$
$IMAGE170$
У такий спосіб:
$IMAGE171$
Зробимо перевірку, для цього у вихідну систему підставимо отримане рішення:
$IMAGE172$
$IMAGE173$
Одержали вірні рівності. Значить було знайдено правильне рішення вихідної системи.
Парна частина загального рішення:
$IMAGE174$
Приклад
$IMAGE175$
Знайдемо рішення: будемо використовувати метод виключення, візьмемо перше рівняння системи й виразимо з нього $IMAGE160$:
$IMAGE177$
тепер диференціюємо його
$IMAGE178$
Ми можемо дорівняти ліву частину отриманого рівняння з лівою частиною другого рівняння вихідної системи
$IMAGE179$
Зробимо перетворення й приведемо подібні
$IMAGE180$
$IMAGE181$
$IMAGE182$
$IMAGE183$
$IMAGE184$
$IMAGE185$
У такий спосіб:
$IMAGE186$
Зробимо перевірку:
$IMAGE187$
$IMAGE188$
$IMAGE189$
Парна частина загального рішення
$IMAGE190$
Приклад
$IMAGE191$
Знайдемо рішення: будемо використовувати метод виключення, візьмемо перше рівняння системи й виразимо з нього $IMAGE160$:
$IMAGE193$
тепер диференціюємо його
$IMAGE194$
Ми можемо дорівняти ліву частину отриманого рівняння з лівою частиною другого рівняння вихідної системи
$IMAGE195$
$IMAGE196$
$IMAGE197$
$IMAGE198$
Одержали два рішення $IMAGE199$ й $IMAGE200$.
1) $IMAGE201$;
$IMAGE202$
2) $IMAGE203$;
$IMAGE204$
Зробимо перевірку для $IMAGE199$:
$IMAGE206$