- •Основные понятия
- •Понятия о дифференциальных уравнениях
- •Некоторые математические модели, описываемые обыкновенными дифференциальными уравнениями
- •Движение материальной точки
- •Модели динамики популяций
- •Обыкновенное дифференциальное уравнение первого порядка, разрешенное относительно производной
- •Дифференциальные уравнения в симметричном виде и в полных дифференциалах
- •Уравнение в симметричном виде
- •Уравнение в полных дифференциалах
- •Интегрирующий множитель
- •Задача Коши
- •Задача Коши для уравнения первого порядка, разрешенного относительно производной
- •Редукция к интегральному уравнению
- •Лемма Гронуолла-Беллмана
- •Условие Липшица
- •Теорема единственности решения задачи Коши
- •Локальная теорема существования решения задачи Коши
- •Задача Коши для уравнения первого порядка, не разрешенного относительно производной
- •Примеры постановки задачи Коши
- •Теорема существования и единственности решения задачи Коши
- •Методы интегрирования
- •Особые решения дифференциального уравнения первого порядка
- •Постановка задачи Коши для нормальной системы
- •Теорема единственности решения задачи Коши для нормальной системы
- •Теорема существования решения задача Коши для нормальной системы на всем отрезке
- •Задача Коши для нормальной системы (локальная теорема)
- •Общая теория линейных обыкновенных дифференциальных уравнений
- •Линейная зависимость скалярных функций и определитель Вронского
- •Линейная зависимость произвольных скалярных функций
- •Линейная зависимость и независимость решений линейного однородного дифференциального уравнения
- •Фундаментальная система решений и общее решение линейного дифференциального уравнения
- •Фундаментальная система решений линейного однородного уравнения
- •Общее решение линейного однородного уравнения
- •Общее решение линейного неоднородного уравнения
- •Метод вариации постоянных
- •Построение фундаментальной системы решений для линейного однородного уравнения с постоянными коэффициентами
- •Построение вещественной фундаментальной системы решений для линейного однородного уравнения с постоянными коэффициентами
- •Построение линейного дифференциального уравнения по его решениям
- •Формула Остроградского-Лиувилля
- •Общая теория линейных систем обыкновенных дифференциальных уравнений
- •Линейные системы дифференциальных уравнений и матричные дифференциальные уравнения
- •Линейные однородные системы
- •Однородные матричные дифференциальные уравнения
- •Линейная зависимость произвольных вектор-функций
- •Линейная зависимость и независимость решений линейной однородной системы дифференциальных уравнений
- •Фундаментальная система решений и общее решение линейной системы
- •Фундаментальная система решений линейной однородной системы
- •Общее решение линейной однородной системы
- •Общее решение линейной неоднородной системы, метод вариации постоянных
- •Построение фундаментальной системы решений для линейной однородной системы дифференциальных уравнений с постоянной матрицей
- •Построение фундаментальной системы решений, когда существует базис из собственных векторов
- •Построение фундаментальной системы решений, когда не существует базиса из собственных векторов
- •Построение фундаментальной системы решений в вещественном виде
- •Неявные функции и функциональные матрицы
- •Общая теория линейных дифференциальных уравнений с точки зрения систем линейных дифференциальных уравнений
- •Литература
1.4. Уравнение в симметричном виде |
15 |
Рис. 1.3. Пример особого решения y0(t) = 0. |
|
Его решениями являются семейство функций
y(t) = |
(t − C)3 |
, |
(1.9) |
|
27 |
||||
|
|
|
где C – произвольная постоянная. Также решением уравнения (1.8) является y0(t) = 0. Очевидно, что это решение не может быть получено из семейства (1.9) ни при каком выборе постоянной C.
Решение дифференциального уравнения (1.7) называется частным решением, если во всех точках его интегральной кривой выполняется условие единственности, то есть ее не касаются другие интегральные кривые уравнения (1.7).
Решение называется особым, если в каждой точке его интегральной кривой происходит ее касание с другими интегральными кривыми.
В примере 1.3.1 решение y0(t) = 0 является особым решением, так как в каждой точке (t0, 0) его интегральной кривой ее касается ин-
тегральная кривая, соответствующая решению y(t, t0) = |
(t − t0)3 |
(см. |
|
27 |
|||
рис. 1.3). |
|
||
|
|
1.4.Дифференциальные уравнения в симметричном виде и в полных дифференциалах
Исследование дифференциальных уравнений первого порядка в разрешенном относительно производной виде вносит несимметричность в
16 |
Глава 1. Основные понятия |
√
Рис. 1.4. К примеру 1.4.1 : графики функций y1(t) = C2 − t2 и y2(t) =
√
− C2 − t2.
переменные t и y, поскольку подразумевает, что y есть функция от t. С точки зрения интегральных кривых, представляющих собой графики решений дифференциальных уравнений, нет особой разницы в выборе способа параметризации. То есть, наряду с y = y(t), возможно t = t(y) или, в общем случае, t = ϕ(τ), y = ψ(τ), где τ – параметр.
Целесообразность выбора симметричной параметризации показывает следующий пример.
Пример 1.4.1. Рассмотрим дифференциальное уравнение
|
t |
|
y0 |
(t) = −y(t) . |
(1.10) |
Его решениями на отрезке [−C + ε, C − ε] при 0 < ε < C являются функции
pp
y1(t) = C2 − t2, y2(t) = − C2 − t2.
Очевидно, что оба этих решения не существуют на отрезке [−C, C], поскольку при t → C и t → −C производные решений стремятся к бесконечности. Интегральная кривая (t, y1(t)) представляет собой верхнюю полуокружность, а интегральная кривая (t, y2(t)) – нижнюю полуокружность (см. рис. 1.4). Таким образом, интегральные кривые уравнения (1.10) определяют окружность радиуса C за исключением точек (−C, 0) , (C, 0). Эта особенность связана только с тем, что при определении решения мы использовали параметризацию y = y(t). Устранить этот недостаток можно, перейдя к более общей форме дифференциального уравнения первого порядка.
1.4. Уравнение в симметричном виде |
17 |
1.4.1. Уравнение в симметричном виде
Дифференциальным уравнением в симметричном виде (или в дифференциалах) называется уравнение
M(t, y)dt + N(t, y)dy = 0. |
(1.11) |
Предполагается, что функции M(t, y) и N(t, y) определены и непрерывны в некоторой области D R2 и подчиняются условию
|M(t, y)| + |N(t, y)| > 0, (t, y) D. |
(1.12) |
Уравнение (1.11) является более общим по сравнению с уравнением (1.7), поскольку последнее уравнение можно записать в виде (1.11) с функциями M(t, y) = f(t, y), N(t, y) = −1.
Дадим определение решения уравнения (1.11). Так как переменные входят в него симметрично, то определение решения естественно дать в параметрической форме.
Определение 1.4.1. Пара функций t = ϕ(τ), y = ψ(τ) называется параметрическим решением уравнения в симметричном виде (1.11) на отрезке [τ1, τ2], если:
1.функции ϕ(τ), ψ(τ) непрерывно дифференцируемы на [τ1, τ2] и
|ϕ0(τ)| + |ψ0(τ)| > 0, τ [τ1, τ2];
2.(ϕ(τ), ψ(τ)) D, τ [τ1, τ2];
3.при подстановке t = ϕ(τ), y = ψ(τ) в (1.11) получается тождество, то есть
M(ϕ(τ), ψ(τ))ϕ0(τ)+N(ϕ(τ), ψ(τ))ψ0(τ) = 0, τ [τ1, τ2]. (1.13)
Пусть t = ϕ(τ), y = ψ(τ) – параметрическое решение уравнения (1.11). Интегральной кривой уравнения в симметричной форме называется совокупность точек на плоскости (t, y) таких, что t = ϕ(τ), y = ψ(τ), τ [τ1, τ2].
Из условия 1 в определении параметрического решения вытекает, что либо ϕ0(τ) 6= 0, либо ψ0(τ) 6= 0 в окрестности каждой точки τ0 (τ1, τ2). Это, в свою очередь, означает существование одной из обратных функций τ = ϕ−1(t) либо τ = ψ−1(y) и, соответственно, возможность представить решение уравнения (1.11) либо в виде y = ψ(ϕ−1(t))
18 Глава 1. Основные понятия
в окрестности точки t0 = ϕ(τ0), либо в виде t = ϕ(ψ−1(y)) в окрестности точки y0 = ψ(τ0).
Убедимся в преимуществе исследования уравнения в симметричной форме на примере уравнения (1.10).
Пример 1.4.2. Запишем уравнение (1.10) в симметричном виде
tdt + ydy = 0.
Его параметрическое решение t = C cos τ, y = C sin τ, τ [0, 2π] определяет интегральные кривые, представляющие собой окружности радиуса C. То есть, в отличие от интегральных кривых уравнения (1.10), параметрическое решение задает окружность целиком без каких-либо исключенных точек.
Заметим, что, если параметрическое решение рассматривается отрезке τ [0, 2π], то не существует однозначной функции y = y(t) или t = t(y), описывающей соответствующую дугу целиком. В то же время, в окрестности каждой точки рассматриваемой дуги такие представления нетрудно выписать.
С уравнением в симметричной форме связаны важные понятия интеграла и общего интеграла. Пусть функция Φ(t, y, c) определена и непрерывна для (t, y) D и постоянных c, принадлежащих некоторому множеству C0.
Определение 1.4.2. Уравнение
Φ(t, y, c) = 0
называется интегралом уравнения (1.11) в области D, если при любом значении c C0 оно определяет решение уравнения (1.11).
Интеграл называется общим, если он определяет все решения уравнения (1.11), то есть для любого решения уравнения (1.11) t = ϕ(τ), y = ψ(τ), интегральная кривая которого лежит в D, найдется постоянная c˜ C0 такая, что Φ(ϕ(τ), ψ(τ), c˜) ≡ 0.
Так как общий интеграл определяет все решения дифференциального уравнения, то в том случае, когда его удается найти, задача поиска решений дифференциального уравнения считается решенной. Рассмотрим примеры.
Пример 1.4.3. Уравнение в симметричной форме tdt+ydy = 0 имеет общий интеграл t2 + y2 − c = 0. Множество C0 в этом случае является множеством положительных чисел.