Говорят, что дифференциальное уравнение
решается в квадратурах, если его общее решение выражается через один или несколько интегралов.
Далее мы рассмотрим три типа уравнений высшего порядка, которые интегрируются в квадратурах.
Случай 1. Уравнение вида F(x, y (n)) = 0
Предположим сначала, что данное уравнение можно преобразовать в явную форму относительно производной
y(n), т.е. выразить в виде
Проинтегрируем это уравнение последовательно
n раз в пределах от
x0 до
x. Получаем следующие выражения для производных и для самой функции
y(x):
Последняя формула представляет собой общее решение дифференциального уравнения в квадратурах. При
x = x0 мы получим частное решение, удовлетворяющее начальным условиям
где
C1, C2,..., Cn − некоторый заданный набор чисел.
Повторный интеграл в выражении для
y(x) можно преобразовать к однократному интегралу. Действительно, в случае
n = 2 рассмотрим интеграл
в котором через
τ обозначена переменная интегрирования во внутреннем интеграле.
Данный повторный интеграл задан в треугольной области
D(x, τ), изображенной на рисунке 1.
В этом интеграле можно поменять порядок интегрирования, используя
формулу Дирихле:
В результате двукратный интеграл сводится к однократному:
Аналогичным образом можно упростить трехкратный повторный интеграл в случае
n = 3:
Для повторного интеграла произвольной кратности
n будет справедливо выражение
которое называется
формулой Коши для повторных интегралов.
Полученное выражение представляет собой частное решение дифференциального уравнения
y(n) = f(x) при нулевых начальных условиях
Соответственно, общее решение исходного уравнения описывается формулой
Заметим, что формула Коши связывает между собой функцию
y(x) и ее производную
n-го порядка
y(n) = f(x). Если допустить, что число
n может быть действительным, то мы приходим к понятию
производной дробного порядка.
Вместо факториала
(n − 1)! в формуле Коши запишем так называемую
гамма-функцию Γ(z), которая является непрерывной и выражается через несобственный интеграл в виде
Вид гамма-функции
Γ(n) для действительных значений
z показан выше на рисунке 2. При натуральных значениях
n справедливо равенство
Тогда формула Коши представляется в следующем виде:
где
z − действительное число.
Данную формулу можно рассматривать как определение дробной производной порядка
z, если исходная функция
y(x) известна или как определение интеграла дробного порядка
z, если задана соответствующая производная.
Мы рассмотрели решение явного дифференциального уравнения
y(n) = f(x) в квадратурах. Неявное уравнение
F(x, y(n)) = 0 также можно проинтегрировать, если его удается разрешить относительно переменной
x или, в более общем случае, представить в параметрической форме:
Тогда, учитывая, что
получаем
Далее аналогичным образом находим остальные производные и саму функцию
y(x). В результате получаем общее решение уравнения в параметрическом виде:
Случай 2. Уравнение вида F(y (n-1), y (n)) = 0
Рассмотрим сначала случай, когда такое уравнение можно разрешить относительно
y(n):
Решаем его следующим образом. Вводим новую переменную
z = y(n-1). Тогда уравнение записывается как
Разделяя переменные, находим его общее решение:
Возвращаясь к переменной
y, получаем дифференциальное уравнение
(n − 1)-го порядка:
которое решается методом, изложенном выше в пункте 1.
Общее неявное уравнение
F(y (n-1), y (n)) = 0 можно проинтегрировать, если оно представляется в параметрической форме
Поскольку
dy(n-1) = y(n)dx, получаем следующее выражение для
x(t):
Выражение для
y(t) находится последовательным интегрированием:
В результате мы получаем общее решение уравнения в параметрическом виде.
Случай 3. Уравнение вида F(y (n-2), y (n)) = 0
Предположим, что данное уравнение разрешено относительно
y(n):
Вводя новую переменную
y(n-1) = z, запишем его как
Умножая обе части на
z' (в предположении, что уравнение не имеет решения
z' = 0), получаем:
Видно, что мы получили уравнение вида
y(n-1) = f(y(n-2)), которое было рассмотрено в пункте 2 и которое решается в квадратурах.
Если уравнение
z'' = f(z) имеет решение
z' = 0, то общее решение выражается формулой:
В случае, когда дифференциальное уравнение
F(y (n-2), y (n)) = 0 допускает параметрическое представление
его решение строится следующим образом. Из соотношений
следует, что
или в параметрической форме:
Интегрируя, находим:
Теперь мы знаем параметрическое выражение для производных
y (n-2) и
y (n-1), т.е. задача сводится к типу 2.