Система дифференциальных уравнений – это система уравнений относительно независимой переменнойx, функций этой переменной и их производных . Система может быть записана в общем виде
( )=0
....................................................................
( )=0
Порядок этой системы равен .
Пользуясь теоремой о неявной функции, можно разрешить систему уравнений относительно старших производных и записать ее в каноническом виде:
( )
..................................................................................
( )
Теорема. Любое дифференциальное уравнение, разрешенное относительно старшей производной, можно свести к системе дифференциальных уравнений первого порядка.
Доказательство. Рассмотрим дифференциальное уравнение n-ого порядка
. Обозначим . Дифференциальное уравнение n-ого порядка удалось свести к системе n дифференциальных уравнений первого порядка
Применяя эту теорему, можно от канонического вида системы дифференциальных уравнений перейти к системе дифференциальных уравнений первого порядка - нормальному виду системы.
................
.........................................................................................
.................
Получена система из дифференциальных уравнений первого порядка.
Удобнее нормальную систему дифференциальных уравнений (систему в нормальной форме) записывать в виде:
.................................. (покоординатная форма)
или в виде
, где (векторная форма).
Пример. Эти уравнения сводятся к нормальной системе
()
()
Оказывается, не только дифференциальное уравнение n- ого порядка сводится к системе n дифференциальных уравнений первого порядка – нормальной системе, но и нормальная система может быть сведена к одному дифференциальному уравнению.
Теорема. Пусть задана система n дифференциальных уравнений первого порядка
..................................
Обозначим
...................................
Потребуем, чтобы функция была бы дифференцируемой по совокупности переменных. Потребуем, чтобы определитель
Тогда система n дифференциальных уравнений эквивалентна одному дифференциальному уравнению n-ого порядка.
Доказательство. Метод доказательства называется методом исключения переменных и применяется на практике при сведении системы к одному уравнению. Продифференцируем :
1) Построим алгоритм метода исключения.
Пусть - решения системы (), тогда уравнения системы представляют собой тождества
...................................
Получены выражения производных
,
,
,
...
.
Из этих уравнений можно выразить через , так как определитель системы этих уравнений
Подставим выражения через в последнее уравнение . Так как - решения системы , то они являются и решениями полученного уравнения. Следовательно, система сведена к одному уравнению n-ого порядка.
2) Покажем эквивалентность решений. Предположим, что - решения полученного уравнения, покажем, что - решения системы.
, . Обозначим . . Обозначим , и т.д. . Обозначим .
Приравниваем полученные здесь функции введенным ранее, сокращая первые и вторые слагаемые, получаем систему уравнений
.....................................
.
Определитель этой системы равен , следовательно, в качестве единственного решения системы имеем . Поэтому решения эквивалентны. Теорема доказана.
Пример.
,
Функция называется общим решением системы, если
1. для любого - решение системы
2. для произвольных начальных условий найдется , что .
Если зафиксировать в общем решении, получим частное решение системы.
Задача Коши.
Найти решение системы , удовлетворяющее заданным начальным условиям .
Теорема Коши о существовании и единственности решения задачи Коши
Пусть функция непрерывна по совокупности переменных. Пусть существуют и непрерывны частные производные
Тогда существует и единственно решение задачи Коши.
Первые интегралы.
Пусть выполнены условия теоремы Коши. Рассмотрим решение задачи Коши при заданных начальных условиях . По теореме Коши оно существует и единственно. Это решение можно представить себе как некоторую интегральную кривую, соединяющие точки , .
Если в качестве начальных условий выбрать , то по теореме Коши через эту точку проходит та же единственная интегральная кривая, ее уравнение можно записать в виде . Зафиксируем , обозначим , получим соотношение – общийинтеграл системы дифференциальных уравнений (векторное соотношение). Первый интеграл системы дифференциальных уравнений – скалярная составляющая общего интеграла. Общийинтеграл системы дифференциальных уравнений – векторная функция, сохраняющая свое значение на решениях системы. Первый интеграл системы дифференциальных уравнений – скалярная функция, сохраняющая свое значение на решениях системы.
Знание одного первого интеграла позволяет понизить порядок системы на единицу. Знание общего интеграла дает общее решение системы, если только можно разрешить уравнение относительно .
Производной скалярной функции в силу системы называется
.
Скалярная функция является первым интегралом, если
.