В отличие от алгебраических уравнений, где неизвестными являются числа, обыкновенные дифференциальные уравнения (ОДУ) относятся к более широкому классу функциональных уравнений, в которых неизвестной является функция (скалярная или векторная), заданная на некотором интервале.
Теория дифференциальных уравнений дает углубленное понимание процессов разной природы и служит средством для построения их математических моделей. Во многих случаях при изучении явлений природы или решении задач из различных областей естествознания не удается сразу определить функциональную зависимость между переменными величинами, характеризующими изучаемое явление, однако удается найти уравнение, связывающее неизвестную функцию и ее производные. Именно такие уравнения и называются дифференциальными.
В теории ОДУ рассматривают также системы уравнений, которые состоят из n обыкновенных дифференциальных уравнений и такого же числа искомых функций. Задачи, приводящие к решению систем ОДУ, виды систем и методы их решения подробно описаны в работах [1–4]. С помощью систем ОДУ можно описать целый ряд физических процессов и построить ту или иную математическую модель. Поэтому студентам необходимо научиться решать такие системы, используя при этом эффективные методы нахождения общих решений, и давать качественную оценку полученным результатам.
- 1. Нормальная система дифференциальных уравнений. Задача Коши. Теорема Коши
При решении многих задач требуется найти функции которые удовлетворяют системе дифференциальных уравнений, содержащих аргумент , искомые функции и их производные.
Рассмотрим систему уравнений первого порядка:
где – неизвестные функции, – аргумент, , …, – функции, определенные в (n + 1)-мерной области D .
Такая система, в левой части уравнений которой стоят производные первого порядка, а правые части не содержат производных, называется нормальной системой.
Решением нормальной системы на интервале называется совокупность функций , непрерывно дифференцируемых на и обращающих уравнение системы (1) в тождество относительно .
Задача Коши для нормальной системы ОДУ формулируется следующим образом: задана точка D , требуется найти определенное в окрестности точки решение нормальной системы, удовлетворяющее при условиям
которые называются начальными условиями для данной системы ОДУ, а – начальными значениями.
Сформулируем теорему существования и единственности решения нормальной системы ОДУ, связанную с именем французского математика и механика Огустена Луи Коши.
Теорема Коши. Пусть правые части , …, нормальной системы определены в (n+1) – мерной области D изменения переменных . Если в некоторой окрестности точки D функции , …, непрерывны и имеют непрерывные частные производные ( по переменным , то существует интервал изменения переменной , в котором существует, и притом единственное, решение системы (1), удовлетворяющее начальным условиям (2).
- 2. Частное и общее решения системы ОДУ. Первые интегралы нормальной системы
Общим решением системы (1) называется совокупность функций
(3)
в области D, обращающих в тождества уравнения системы при любых допустимых значениях постоянных и в области, в которой выполнены условия теоремы Коши, из совокупности функций (3) можно получить решение задачи Коши, то есть для любой точки D существует совокупность значений параметров определяемая путем решения системы уравнений , , такая, что система уравнений , является решением задачи Коши для нормальной системы ОДУ с начальными значениями Решение задачи Коши называют частным решением нормальной системы ОДУ.
Интегралом нормальной системы ОДУ называется функция определенная и непрерывная вместе с частными производными , , …, в области D изменения переменных и принимающая при любых постоянное значение при подстановке в нее произвольного решения системы.
Равенство где – интеграл нормальной системы, а – произвольная постоянная, называется первым интегралом нормальной системы ОДУ (1).
Если найдены независимых первых интегралов системы (1)
……………….................
,
то их совокупность неявно определяет общее решение или общий интеграл системы дифференциальных уравнений. Чтобы проверить независимость первых интегралов в области D, достаточно составить матрицу Якоби
и установить, что ее определитель в области D будет отличен от нуля.
- 3. Метод выделения интегрируемых комбинаций для решения систем дифференциальных уравнений
Одним из методов интегрирования систем дифференциальных уравнений является метод выделения интегрируемых комбинаций, то есть получения из системы (1) таких уравнений, которые можно проинтегрировать и получить первые интегралы. Их совокупность неявно определит общее решение или общий интеграл системы. Для выделения интегрируемых комбинаций из системы (1) ее удобнее записать в так называемой симметричной форме
=
и использовать свойство равных дробей: если , то при любых множителях имеет место равенство
(4)
Пример 1. Решить систему уравнений
Решение. Запишем систему в симметричной форме
Из равенства первых двух дробей получаем интегрируемую комбинацию Интегрируя, получаем первый интеграл системы . Для нахождения другого первого интеграла используем свойство равных дробей. Положив , получим
После сокращения на множитель будем иметь вторую интегрируемую комбинацию и второй первый интеграл .
Пример 2. Найти частное решение (или частный интеграл) системы
удовлетворяющее начальным условиям .
Решение. Используем свойство равных дробей, положив ,
, то есть .
Проинтегрировав, получаем первый интеграл . Выбирая , , , приходим к равенству , откуда получаем еще один первый интеграл . Подставим начальные условия в общий интеграл, а именно выделим интегральную кривую, проходящую через точку (1; 1; -2). Подставляя координаты точки в первые интегралы системы, найдем искомый частный интеграл, задаваемый уравнениями:
,
.
Пример 3. Решить систему
Решение. Последние две дроби представляют интегрируемую комбинацию откуда получаем первый интеграл системы При . Получаем равную дробь
или
Интегрируя, найдем первый интеграл
Совокупность первых интегралов
задает общий интеграл системы.
- 4. Понижение порядка системы дифференциальных уравнений при помощи первых интегралов
Рассмотрим задачу Коши для нормальной системы
с начальными условиями
Пусть – известный первый интеграл. Подставим начальные значения и найдем значение константы . Предположим, что уравнение
можно разрешить в некоторой области G D . Относительно одной из переменных, например, , где – непрерывно дифференцируемая функция переменных . Подставим функцию в первые дифференциальных уравнений
с начальными условиями .
Решение этой задачи Коши позволяет получить решение исходной задачи Коши
Таким образом, при помощи первого интеграла порядок системы удается понизить на единицу.
Пример 4. Решить задачу Коши
при условии, что
Решение. Запишем систему в симметричной форме:
Первые две дроби представляют интегрируемую комбинацию после сокращения на . Имеем или . Интегрируя, получаем первый интеграл . Выразим и подставим во вторую дробь. Тогда вторая и третья дроби задают интегрируемую комбинацию
или . Интегрируя, получаем Исключаем и окончательно получаем . Совокупность первых интегралов и задает общий интеграл системы. Из начальных условий найдем , .Тогда частный интеграл задачи Коши задается системой уравнений
Алгоритм построения интегрируемых комбинаций и вычисление первых интегралов нормальной системы дифференциальных уравнений позволяют существенно ускорить процесс нахождения общих и частных решений системы. На примерах показано, что с помощью первых интегралов удается понизить порядок системы дифференциальных уравнений на единицу и найти решение.