- •Основные понятия
- •Понятия о дифференциальных уравнениях
- •Некоторые математические модели, описываемые обыкновенными дифференциальными уравнениями
- •Движение материальной точки
- •Модели динамики популяций
- •Обыкновенное дифференциальное уравнение первого порядка, разрешенное относительно производной
- •Дифференциальные уравнения в симметричном виде и в полных дифференциалах
- •Уравнение в симметричном виде
- •Уравнение в полных дифференциалах
- •Интегрирующий множитель
- •Задача Коши
- •Задача Коши для уравнения первого порядка, разрешенного относительно производной
- •Редукция к интегральному уравнению
- •Лемма Гронуолла-Беллмана
- •Условие Липшица
- •Теорема единственности решения задачи Коши
- •Локальная теорема существования решения задачи Коши
- •Задача Коши для уравнения первого порядка, не разрешенного относительно производной
- •Примеры постановки задачи Коши
- •Теорема существования и единственности решения задачи Коши
- •Методы интегрирования
- •Особые решения дифференциального уравнения первого порядка
- •Постановка задачи Коши для нормальной системы
- •Теорема единственности решения задачи Коши для нормальной системы
- •Теорема существования решения задача Коши для нормальной системы на всем отрезке
- •Задача Коши для нормальной системы (локальная теорема)
- •Общая теория линейных обыкновенных дифференциальных уравнений
- •Линейная зависимость скалярных функций и определитель Вронского
- •Линейная зависимость произвольных скалярных функций
- •Линейная зависимость и независимость решений линейного однородного дифференциального уравнения
- •Фундаментальная система решений и общее решение линейного дифференциального уравнения
- •Фундаментальная система решений линейного однородного уравнения
- •Общее решение линейного однородного уравнения
- •Общее решение линейного неоднородного уравнения
- •Метод вариации постоянных
- •Построение фундаментальной системы решений для линейного однородного уравнения с постоянными коэффициентами
- •Построение вещественной фундаментальной системы решений для линейного однородного уравнения с постоянными коэффициентами
- •Построение линейного дифференциального уравнения по его решениям
- •Формула Остроградского-Лиувилля
- •Общая теория линейных систем обыкновенных дифференциальных уравнений
- •Линейные системы дифференциальных уравнений и матричные дифференциальные уравнения
- •Линейные однородные системы
- •Однородные матричные дифференциальные уравнения
- •Линейная зависимость произвольных вектор-функций
- •Линейная зависимость и независимость решений линейной однородной системы дифференциальных уравнений
- •Фундаментальная система решений и общее решение линейной системы
- •Фундаментальная система решений линейной однородной системы
- •Общее решение линейной однородной системы
- •Общее решение линейной неоднородной системы, метод вариации постоянных
- •Построение фундаментальной системы решений для линейной однородной системы дифференциальных уравнений с постоянной матрицей
- •Построение фундаментальной системы решений, когда существует базис из собственных векторов
- •Построение фундаментальной системы решений, когда не существует базиса из собственных векторов
- •Построение фундаментальной системы решений в вещественном виде
- •Неявные функции и функциональные матрицы
- •Общая теория линейных дифференциальных уравнений с точки зрения систем линейных дифференциальных уравнений
- •Литература
МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ
им. М.В.ЛОМОНОСОВА ФАКУЛЬТЕТ ВЫЧИСЛИТЕЛЬНОЙ МАТЕМАТИКИ И
КИБЕРНЕТИКИ
А.М. ДЕНИСОВ, А.В. РАЗГУЛИН
ОБЫКНОВЕННЫЕ
ДИФФЕРЕНЦИАЛЬНЫЕ
УРАВНЕНИЯ
Часть 1
МОСКВА 2009 г.
Пособие отражает содержание первой части лекционного курса "Обыкновенные дифференциальные уравнения", читаемого студентам факультета вычислительной математики и кибернетики МГУ им. М.В. Ломоносова в соответствии с программой по специальности "Прикладная математика и информатика" .
c Факультет вычислительной математики и кибернетики МГУ им. М.В.Ломоносова, 2009 г.
c А.М. Денисов, А.В. Разгулин, 2009 г.
Оглавление |
3 |
Оглавление
1 Основные понятия |
7 |
1.1 Понятия о дифференциальных уравнениях . . . . . . . . . |
7 |
1.2Некоторые математические модели, описываемые обык-
новенными дифференциальными уравнениями . . . . . . . 10 1.2.1 Движение материальной точки . . . . . . . . . . . . 10 1.2.2 Модели динамики популяций . . . . . . . . . . . . . 12
1.3Обыкновенное дифференциальное уравнение первого по-
рядка, разрешенное относительно производной . . . . . . . 13
1.4Дифференциальные уравнения в симметричном виде и в
полных дифференциалах . . . . . . . . . . . . . . . . . . . . 15 1.4.1 Уравнение в симметричном виде . . . . . . . . . . . 17 1.4.2 Уравнение в полных дифференциалах . . . . . . . . 19 1.4.3 Интегрирующий множитель . . . . . . . . . . . . . . 22
2 Задача Коши |
25 |
2.1Задача Коши для уравнения первого порядка, разрешен-
ного относительно производной . . . . . . . . . . . . . . |
. . 25 |
|
2.1.1 Редукция к интегральному уравнению . . . . . . |
. . 25 |
|
2.1.2 |
Лемма Гронуолла-Беллмана . . . . . . . . . . . . |
. . 27 |
2.1.3 |
Условие Липшица . . . . . . . . . . . . . . . . . . |
. . 29 |
2.1.4 Теорема единственности решения задачи Коши |
. . 30 |
2.1.5Локальная теорема существования решения
задачи Коши . . . . . . . . . . . . . . . . . . . . . . . 31
2.2Задача Коши для уравнения первого порядка, не разре-
шенного относительно производной . . . . . . . . . . . . . . 36 2.2.1 Примеры постановки задачи Коши . . . . . . . . . . 36
2.2.2Теорема существования и единственности решения
задачи Коши . . . . . . . . . . . . . . . . . . . . . . . 39
4 |
Оглавление |
2.2.3 Методы интегрирования . . . . . . . . . . . . . . . . |
41 |
2.2.4Особые решения дифференциального уравнения
первого порядка . . . . . . . . . . . . . . . . . . . . . 42
2.3Задача Коши для нормальной системы обыкновенных дифференциальных уравнений и уравнения n-го порядка
на всем отрезке . . . . . . . . . . . . . . . . . . . . . . . . . |
45 |
2.3.1 Постановка задачи Коши для нормальной системы |
45 |
2.3.2Теорема единственности решения задачи Коши
для нормальной системы . . . . . . . . . . . . . . . . 46
2.3.3Теорема существования решения задача Коши для
нормальной системы на всем отрезке . . . . . . . . . 48
2.3.4Задача Коши для дифференциального уравнения
n-го порядка на всем отрезке . . . . . . . . . . . . . 52
2.3.5Задача Коши для системы линейных обыкновен-
ных дифференциальных уравнений n-го порядка . 54
2.3.6Задача Коши для линейного обыкновенного дифференциального уравнения n-го порядка . . . . 55
2.4Задача Коши для нормальной системы (локальная теорема) 55
3 Общая теория линейных обыкновенных дифференци- |
|
альных уравнений |
61 |
3.1Комплекснозначные решения линейного дифференциаль-
ного уравнения n-го порядка и системы линейных обыкновенных дифференциальных уравнений . . . . . . . . . . 61
3.2Общие свойства линейного дифференциального уравне-
ния n-го порядка . . . . . . . . . . . . . . . . . . . . . . . . |
65 |
3.3Линейная зависимость скалярных функций и определи-
тель Вронского . . . . . . . . . . . . . . . . . . . . . . . . . . 67
3.3.1Линейная зависимость произвольных скалярных
функций . . . . . . . . . . . . . . . . . . . . . . . . . |
67 |
3.3.2Линейная зависимость и независимость решений линейного однородного дифференциального урав-
нения . . . . . . . . . . . . . . . . . . . . . . . . . . . |
69 |
3.4Фундаментальная система решений и общее решение ли-
нейного дифференциального уравнения . . . . . . . . . . . 71
3.4.1Фундаментальная система решений линейного
однородного уравнения . . . . . . . . . . . . . . . . . 71
3.4.2Общее решение линейного однородного уравнения . 72
3.4.3Общее решение линейного неоднородного уравнения 74
Оглавление |
5 |
3.4.4 Метод вариации постоянных . . . . . . . . . . . . . . 75
3.4.5Построение фундаментальной системы решений
для линейного однородного уравнения с постоянными коэффициентами . . . . . . . . . . . . . . . . . 77
3.4.6Построение вещественной фундаментальной систе-
мы решений для линейного однородного уравнения с постоянными коэффициентами . . . . . . . . . . . 81
3.5Построение линейного дифференциального уравнения n-
го порядка по его решениям . . . . . . . . . . . . . . . . . . 83
3.5.1Построение линейного дифференциального урав-
нения по его решениям . . . . . . . . . . . . . . . . . |
83 |
3.5.2 Формула Остроградского-Лиувилля . . . . . . . . . |
87 |
4 Общая теория линейных систем обыкновенных диффе- |
|
ренциальных уравнений |
89 |
4.1Линейные системы дифференциальных уравнений и мат-
ричные дифференциальные уравнения . . . . . . . . . . . . 89 4.1.1 Линейные однородные системы . . . . . . . . . . . . 89
4.1.2Однородные матричные дифференциальные урав-
нения . . . . . . . . . . . . . . . . . . . . . . . . . . . |
90 |
4.2Линейная зависимость вектор-функций и определитель
Вронского . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
4.2.1Линейная зависимость произвольных вектор-
функций . . . . . . . . . . . . . . . . . . . . . . . . . |
93 |
4.2.2Линейная зависимость и независимость решений
линейной однородной системы дифференциальных |
|
уравнений . . . . . . . . . . . . . . . . . . . . . . . . |
95 |
4.3Фундаментальная система решений и общее решение ли-
нейной системы . . . . . . . . . . . . . . . . . . . . . . . . . |
96 |
4.3.1Фундаментальная система решений линейной
однородной системы . . . . . . . . . . . . . . . . . . |
96 |
4.3.2Общее решение линейной однородной системы . . . 97
4.3.3Общее решение линейной неоднородной системы,
метод вариации постоянных . . . . . . . . . . . . . . 99
4.4Построение фундаментальной системы решений для линейной однородной системы дифференциальных уравне-
ний с постоянной матрицей . . . . . . . . . . . . . . . . . . |
101 |
4.4.1Построение фундаментальной системы решений,
когда существует базис из собственных векторов . . 102
6 |
|
Оглавление |
|
4.4.2 Построение фундаментальной системы решений, |
|
|
когда не существует базиса из собственных векторов103 |
|
|
4.4.3 Построение фундаментальной системы решений |
|
|
в вещественном виде . . . . . . . . . . . . . |
. . . . . 106 |
A Неявные функции и функциональные матрицы |
108 |
|
A.1 |
Теорема о неявных функциях . . . . . . . . . . . . |
. . . . . 108 |
A.2 |
Зависимость функций и функциональные матрицы . . . . 109 |
BОбщая теория линейных дифференциальных уравнений с точки зрения систем линейных дифференциальных
уравнений |
112 |
|
B.1 |
Связь линейной зависимости скалярных функций и |
|
|
вектор-функций . . . . . . . . . . . . . . . . . . . . . . |
. . . 112 |
B.2 |
Линейная зависимость решений линейного однородного |
|
|
дифференциального уравнения . . . . . . . . . . . . . |
. . . 114 |
B.3 |
Фундаментальная система решений и общее решение ли- |
|
|
нейного однородного дифференциального уравнения |
. . . 116 |
B.4 |
Общее решение линейного неоднородного дифференци- |
|
|
ального уравнения, метод вариации постоянных . . . |
. . . 117 |
B.5 |
Построение фундаментальной системы решений для ли- |
|
|
нейного однородного уравнения с постоянными коэффи- |
|
|
циентами . . . . . . . . . . . . . . . . . . . . . . . . . . |
. . . 120 |
Литература |
122 |
1.1. Понятия о дифференциальных уравнениях |
7 |
Глава 1
Основные понятия
1.1. Понятия о дифференциальных уравнениях
Дифференциальным уравнением называется уравнение, содержащее производные неизвестной функции. Приведем некоторые примеры.
Пример 1.1.1. Найти функцию y(t) такую, что
y000(t) + (y0(t))2 − ety(t) = 1 + t, a 6 t 6 b.
Пример 1.1.2. Найти функцию u(t, x) такую, что
utt(t, x) + ut(t, x) = (t2 + x)u(t, x), a 6 t 6 b, c 6 x 6 d.
Пример 1.1.3. Найти функцию u(t, x) такую, что
ut(t, x) − uxx(t, x) + u(t, x) = 0, a 6 t 6 b, c 6 x 6 d.
Уравнение, содержащее производные неизвестной функции только по одной независимой переменной, называется обыкновенным дифференциальным уравнением.
Уравнение, содержащее производные неизвестной функции по нескольким независимым переменным, называется дифференциальным уравнением в частных производных.
Уравнения, приведенные в примерах 1.1.1 и 1.1.2, являются обыкновенными дифференциальными уравнениями, уравнение из примера 1.1.3 – дифференциальным уравнением в частных производных.
Порядком дифференциального уравнения называется наибольший порядок входящих в него производных.
Данный курс посвящен, в основном, обыкновенным дифференциальным уравнениям.
Обыкновенным дифференциальным уравнением первого порядка относительно неизвестной функции y(t) называется уравнение
F (t, y(t), y0(t)) = 0, t |
|
[a, b], |
|
|
8 |
Глава 1. Основные понятия |
||
где F (t, y, p) – заданная функция трех переменных. |
|||
|
Обыкновенным дифференциальным уравнением n-го порядка отно- |
||
сительно неизвестной функции y(t) называется уравнение |
|||
|
F (t, y(t), y0(t), . . . , y(n)(t)) = 0, t |
|
[a, b], |
|
|
|
где F (t, y, p1, . . . , pn) – заданная функция n + 2 переменных. Обыкновенным дифференциальным уравнением n-го порядка, раз-
решенным относительно старшей производной, называется уравнение
y(n)(t) = F (t, y(t), y0(t), . . . , y(n−1)(t)), t |
|
[a, b], |
(1.1) |
|
|
где F (t, y, p1, . . . , pn−1) – заданная функция n + 1 переменной.
Наряду с обыкновенными дифференциальными уравнениями можно рассматривать системы обыкновенных дифференциальных уравнений. Пусть заданы функции fi(t, y1, y2, . . . , yn), i = 1, 2, . . . , n. Нормальной системой обыкновенных дифференциальных уравнений относительно неизвестных функций y1(t), . . . , yn(t) называется система
y10 (t)
y0 (t)
2
y0 (t)
n
= |
f1(t, y1(t), y2(t), . . . , yn(t)), |
t [a, b], |
|
= |
f2(t, y1(t), y2(t), . . . , yn(t)), |
t [a, b], |
(1.2) |
. . . |
fn(t, y1(t), y2(t), . . . , yn(t)), t [a, b]. |
|
|
= |
|
Уравнение (1.1) может быть сведено к нормальной системе (1.2). Действительно, пусть функция y(t) является решением уравнения (1.1). Введем функции
y1(t) = y(t), y2(t) = y0(t), . . . yn−1(t) = y(n−2)(t), yn(t) = y(n−1)(t).
Тогда функции y1(t), . . . , yn(t) являются решениями нормальной системы
y10 (t)
y0 (t)
2
y0 (t)
n−1
y0 (t)
n
= |
y2(t), |
t [a, b], |
= |
y3(t), |
t [a, b], |
. . . |
|
(1.3) |
= |
yn(t), |
t [a, b], |
= |
F (t, y1(t), y2(t), . . . , yn(t)), t [a, b]. |
Справедливо и обратное. Если функции y1(t), . . . , yn(t) являются решениями системы (1.3), то функция y(t) = y1(t) является решением уравнения (1.1).
1.2. Некоторые математические модели |
9 |
Рис. 1.1. К примеру 1.1.4: слева – интегральная кривая (спираль), справа – фазовая траектория (окружность).
При решении уравнения (1.1) или системы (1.2) часто приходится проводить операцию интегрирования. Процесс нахождения решений обычно называется интегрированием дифференциального уравнения или системы.
Всякое решение (y1(t), y2(t), . . . , yn(t)) системы (1.2) можно интерпретировать геометрически как кривую в n + 1 мерном пространстве переменных (t, y1, y2, . . . , yn). Кривая (t, y1(t), y2(t), . . . , yn(t)) называется интегральной кривой. Пространство переменных (y1, y2, . . . , yn) называется фазовым пространством, а определенная в этом пространстве кривая (y1(t), y2(t), . . . , yn(t)) – фазовой траекторией.
Пример 1.1.4. Нормальная система
y0 (t) = y (t), t |
|
[0, 4π], |
||
y20 |
(t) = y1 |
(t), t [0, 4π] |
||
1 |
− |
2 |
|
|
имеет решение y1(t) = cos t, y2(t) = sin t. Интегральная кривая этого решения в пространстве переменных (t, y1, y2) является спиралью, состоящей из двух витков, а фазовая траектория – окружностью (см. рис. 1.1).