§ 1.13. Дифференциальное уравнение n-го порядка
Уравнение
(1)
называется дифференциальным
уравнением -го
порядка.
Здесь - функция,
непрерывная вместе со своими частными производными на некоторой области точек -мерного
пространства.
Разрешая
уравнение (1) относительно получаем
. (2)
Справедлива
Теорема 1
(существования). Пусть правая часть уравнения (2), рассматриваемая как
функция переменных,
непрерывна и имеет в некоторой окрестности точки непрерывные
частные производные .
Тогда существует
интервал и
определенная на нем раз непрерывно дифференцируемая
функция ,
удовлетворяющая уравнению (2) и начальным условиям
. (3)
Функция , обладающая
указанными свойствами, единственна.
Таким образом, есть решение
уравнения (2), удовлетворяющее начальным условиям (3).
Если
зафиксировать ,
то каждой системе чисел
,
обладающих
свойством
,
будет соответствовать решение нашего
дифференциального уравнения, которое (при фиксированном ) можно записать в
виде
. (4)
В результате получаем семейство решений нашего
дифференциального уравнения, зависящих от параметров . Каждой определенной системе параметров () соответствует свое решение дифференциального уравнения (со своим интервалом
определения).
Можно в
уравнении (2) ввести новые функции
.
Все
они во всяком случае имеют непрерывную первую производную. Тогда
уравнение (2) окажется эквивалентным следующей системе из дифференциальных уравнений
первого порядка:
(5)
Система (5) есть частный случай
системы
(6)
из дифференциальных
уравнений первого порядка относительно неизвестных функций .
Это нормальная система
(разрешенная относительно производных ). Она есть частный случай системы
. (7)
Справедлива
Теорема 2 (существования). Пусть функции непрерывны, имеют непрерывные частные производные
первого порядка по всем переменным, начиная со второй, в некоторой области точек , и пусть задана
определенная точка этой области.
Тогда существует интервал и определенные на нем непрерывно дифференцируемые (единственные)
функции ,
удовлетворяющие системе (6) и начальным условиям
. (8)
Если функции на непрерывно
дифференцируемы раз,
то соответственно и решения системы обладают лучшими свойствами - они
имеют непрерывную производную порядка .
Если
зафиксировать ,
то каждой системе чисел
,
соответствует
решение системы (6), которое можно записать (при фиксированном ) в виде
, (9)
где — произвольные
постоянные - параметры.
Выше было
отмечено, что решение уравнения -го порядка может быть сведено к
решению системы из дифференциальных уравнений первого
порядка с неизвестными
функциями. Но верно и обратное утверждение: решение системы (6) при
определенных условиях может быть сведено к решению некоторого дифференциального
уравнения -го
порядка с одной неизвестной функцией.
Доказательство этого обратного утверждения представляет
собой развитие соответствующего утверждения в случае (см. § 1.12).
Пример. Свести систему
к
дифференциальному уравнению третьего порядка.
Будем сводить
нашу систему к дифференциальному уравнению относительно функции . Дифференцируя
первое уравнение системы, с учетом двух других, имеем
.
Дифференцируя еще раз, получаем
. (10)
Из системы уравнений
(11)
выражаем и через и
(12)
Подставляя эти
значения и
в (10),
получим искомое уравнение третьего порядка относительно функции :
.
Решая это
уравнение, найдем функцию , затем мы находим функции и по формулам (12).