Говорят, что дифференциальное уравнение
решается в квадратурах, если его общее решение выражается через один или несколько интегралов.
Далее мы рассмотрим три типа уравнений высшего порядка, которые интегрируются в квадратурах.
Случай 1. Уравнение вида \(F\left( {x,{y^{\left( n \right)}}} \right) = 0\)
Предположим сначала, что данное уравнение можно преобразовать в явную форму относительно производной \({{y^{\left( n \right)}}},\) т.е. выразить в виде \[{y^{\left( n \right)}} = f\left( x \right).\] Проинтегрируем это уравнение последовательно \(n\) раз в пределах от \({x_0}\) до \(x.\) Получаем следующие выражения для производных и для самой функции \(y\left( x \right):\) \[{y^{\left( {n - 1} \right)}}\left( x \right) = \int\limits_{{x_0}}^x {f\left( x \right)dx} + {C_1},\] \[{y^{\left( {n - 2} \right)}}\left( x \right) = \int\limits_{{x_0}}^x {dx} \int\limits_{{x_0}}^x {f\left( x \right)dx} + {C_1}\left( {x - {x_0}} \right) + {C_2},\] \[\ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots\] \[ {y\left( x \right) = \underbrace {\int\limits_{{x_0}}^x {dx} \int\limits_{{x_0}}^x {dx} \cdots \int\limits_{{x_0}}^x {f\left( x \right)dx} }_{n\;\text{раз}} } + {{C_1}\frac{{{{\left( {x - {x_0}} \right)}^{n - 1}}}}{{\left( {n - 1} \right)!}} + \cdots } + {{C_{n - 1}}\left( {x - {x_0}} \right) + {C_n}.} \] Последняя формула представляет собой общее решение дифференциального уравнения в квадратурах. При \(x = {x_0}\) мы получим частное решение, удовлетворяющее начальным условиям \[ {y\left( {x = {x_0}} \right) = {C_n},}\;\; {y'\left( {x = {x_0}} \right) = {C_{n - 1}},\;\; \ldots,}\;\; {{y^{\left( {n - 2} \right)}}\left( {x = {x_0}} \right) = {C_2},}\;\; {{y^{\left( {n - 1} \right)}}\left( {x = {x_0}} \right) = {C_1},} \] где \({C_1},{C_2}, \ldots ,{C_n}\) − некоторый заданный набор чисел.
Повторный интеграл в выражении для \(y\left( x \right)\) можно преобразовать к однократному интегралу. Действительно, в случае \(n = 2\) рассмотрим интеграл \[y\left( x \right) = \int\limits_{{x_0}}^x {dx} \int\limits_{{x_0}}^x {f\left( \tau \right)d\tau } ,\] в котором через \(\tau\) обозначена переменная интегрирования во внутреннем интеграле.
Данный повторный интеграл задан в треугольной области \(D\left( {x,\tau } \right),\) изображенной на рисунке \(1.\)
В этом интеграле можно поменять порядок интегрирования, используя
формулу Дирихле: \[ {y\left( x \right) = \int\limits_{{x_0}}^x {dx} \int\limits_{{x_0}}^x {f\left( \tau \right)d\tau } } = {\int\limits_{{x_0}}^x {f\left( \tau \right)d\tau } \int\limits_\tau ^x {dx} .} \] В результате двукратный интеграл сводится к однократному: \[ {y\left( x \right) = \int\limits_{{x_0}}^x {f\left( \tau \right)\left( {x - \tau } \right)d\tau } } = {\int\limits_{{x_0}}^x {\frac{{\left( {x - \tau } \right)}}{{1!}}f\left( \tau \right)d\tau } .} \] Аналогичным образом можно упростить трехкратный повторный интеграл в случае \(n = 3:\) \[ {y\left( x \right) = \int\limits_{{x_0}}^x {dx} \int\limits_{{x_0}}^x {dx} \int\limits_{{x_0}}^x {f\left( x \right)dx} } = {\int\limits_{{x_0}}^x {dx} \int\limits_{{x_0}}^x {\frac{{\left( {x - \tau } \right)}}{{1!}}f\left( \tau \right)d\tau } } = {\int\limits_{{x_0}}^x {f\left( \tau \right)d\tau } \int\limits_\tau ^x {\frac{{\left( {x - \tau } \right)}}{{1!}}d\tau } } = {\int\limits_{{x_0}}^x {\left[ {\left. {\left( {\frac{{{{\left( {x - \tau } \right)}^2}}}{{2!}}} \right)} \right|_{x = \tau }^{x = x}} \right]f\left( \tau \right)d\tau } } = {\int\limits_{{x_0}}^x {\frac{{{{\left( {x - \tau } \right)}^2}}}{{2!}}f\left( \tau \right)d\tau } .} \] Для повторного интеграла произвольной кратности \(n\) будет справедливо выражение \[y\left( x \right) = \int\limits_{{x_0}}^x {\frac{{{{\left( {x - \tau } \right)}^{n - 1}}}}{{\left( {n - 1} \right)!}}f\left( \tau \right)d\tau } ,\] которое называется
формулой Коши для повторных интегралов.
Полученное выражение представляет собой частное решение дифференциального уравнения \({y^{\left( n \right)}} = f\left( x \right)\) при нулевых начальных условиях \[ {y\left( {x = {x_0}} \right) = 0,}\;\; {y'\left( {x = {x_0}} \right) = 0,\;\; \ldots ,}\;\; {{y^{\left( {n - 1} \right)}}\left( {x = {x_0}} \right) = 0.} \] Соответственно, общее решение исходного уравнения описывается формулой \[ {y\left( x \right) = \int\limits_{{x_0}}^x {\frac{{{{\left( {x - \tau } \right)}^{n - 1}}}}{{\left( {n - 1} \right)!}}f\left( \tau \right)d\tau } } + {{C_1}\frac{{{{\left( {x - {x_0}} \right)}^{n - 1}}}}{{\left( {n - 1} \right)!}} + \cdots } + {{C_{n - 1}}\left( {x - {x_0}} \right) + {C_n}.} \] Заметим, что формула Коши связывает между собой функцию \(y\left( x \right)\) и ее производную \(n\)-го порядка \({y^{\left( n \right)}} = f\left( x \right).\) Если допустить, что число \(n\) может быть действительным, то мы приходим к понятию
производной дробного порядка.
Вместо факториала \(\left( {n - 1} \right)!\) в формуле Коши запишем так называемую
гамма-функцию \(\Gamma \left( z \right),\) которая является непрерывной и выражается через несобственный интеграл в виде \[\Gamma \left( z \right) = \int\limits_0^\infty {{e^{ - t}}{t^{z - 1}}dt} .\] Вид гамма-функции \(\Gamma \left( z \right)\) для действительных значений \(z\) показан выше на рисунке \(2.\) При натуральных значениях \(n\) справедливо равенство \[\Gamma \left( n \right) = \left( {n - 1} \right)!\] Тогда формула Коши представляется в следующем виде: \[y\left( {x,z} \right) = \int\limits_{{x_0}}^x {\frac{{{{\left( {x - \tau } \right)}^{z - 1}}}}{{\Gamma \left( z \right)}}f\left( \tau \right)d\tau } .\] где \(z\) − действительное число.
Данную формулу можно рассматривать как определение дробной производной порядка \(z,\) если исходная функция \(y\left( x \right)\) известна или как определение интеграла дробного порядка \(z,\) если задана соответствующая производная.
Мы рассмотрели решение явного дифференциального уравнения \({y^{\left( n \right)}} = f\left( x \right)\) в квадратурах. Неявное уравнение \(F\left( {x,{y^{\left( n \right)}}} \right) = 0\) также можно проинтегрировать, если его удается разрешить относительно переменной \(x\) или, в более общем случае, представить в параметрической форме: \[x = \varphi \left( t \right),\;\;{y^{\left( n \right)}} = \psi \left( t \right).\] Тогда, учитывая, что \[d{y^{\left( {n - 1} \right)}} = {y^{\left( n \right)}}dx = \psi \left( t \right)\varphi '\left( t \right)dt,\] получаем \[{y^{\left( {n - 1} \right)}}\left( x \right) = \int {\psi \left( t \right)\varphi '\left( t \right)dt} + {C_1}.\] Далее аналогичным образом находим остальные производные и саму функцию \(y\left( x \right).\) В результате получаем общее решение уравнения в параметрическом виде: \[x = \varphi \left( t \right),\;\;y = \Phi \left( {t,{C_1},{C_2}, \ldots ,{C_n}} \right).\]
Случай 2. Уравнение вида \(F\left( {{y^{\left( {n - 1} \right)}},{y^{\left( n \right)}}} \right) = 0\)
Рассмотрим сначала случай, когда такое уравнение можно разрешить относительно \({{y^{\left( n \right)}}}:\) \[{y^{\left( n \right)}} = f\left( {{y^{\left( {n - 1} \right)}}} \right).\] Решаем его следующим образом. Вводим новую переменную \(z = {{y^{\left( {n - 1} \right)}}}.\) Тогда уравнение записывается как \[z' = f\left( z \right).\] Разделяя переменные, находим его общее решение: \[\int {\frac{{dz}}{{f\left( z \right)}}} = x + {C_1},\;\; \Rightarrow z = \varphi \left( {x,{C_1}} \right).\] Возвращаясь к переменной \(y,\) получаем дифференциальное уравнение \(\left( {n - 1} \right)\)-го порядка: \[{y^{\left( {n - 1} \right)}} = \varphi \left( {x,{C_1}} \right).\] которое решается методом, изложенном выше в пункте \(1.\)
Общее неявное уравнение \(F\left( {{y^{\left( {n - 1} \right)}},{y^{\left( n \right)}}} \right) = 0\) можно проинтегрировать, если оно представляется в параметрической форме \[{y^{\left( n \right)}} = \varphi \left( t \right),\;\;{y^{\left( {n - 1} \right)}} = \psi \left( t \right).\] Поскольку \(d{y^{\left( {n - 1} \right)}} = {y^{\left( n \right)}}dx,\) получаем следующее выражение для \(x\left( t \right):\) \[ {dx = \frac{{d{y^{\left( {n - 1} \right)}}}}{{{y^{\left( n \right)}}}} = \frac{{\psi '\left( t \right)dt}}{{\varphi \left( t \right)}},}\;\; {\Rightarrow x = \int {\frac{{\psi '\left( t \right)dt}}{{\varphi \left( t \right)}}} + {C_1}.} \] Выражение для \(y\left( t \right)\) находится последовательным интегрированием: \[ {d{y^{\left( {n - 2} \right)}} = {y^{\left( {n - 1} \right)}}dx = \frac{{\psi \left( t \right)\psi '\left( t \right)dt}}{{\varphi \left( t \right)}},}\;\; {\Rightarrow {y^{\left( {n - 2} \right)}} = \int {\frac{{\psi \left( t \right)\psi '\left( t \right)dt}}{{\varphi \left( t \right)}}} + {C_2},} \] \[\ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots\] \[dy = y'dx,\;\; \Rightarrow y = \int {y'dx} + {C_n}.\] В результате мы получаем общее решение уравнения в параметрическом виде.
Случай 3. Уравнение вида \(F\left( {{y^{\left( {n - 2} \right)}},{y^{\left( n \right)}}} \right) = 0\)
Предположим, что данное уравнение разрешено относительно \({{y^{\left( n \right)}}}:\) \[{y^{\left( n \right)}} = f\left( {{y^{\left( {n - 2} \right)}}} \right).\] Вводя новую переменную \({{y^{\left( {n - 2} \right)}}} = z,\) запишем его как \[z'' = f\left( z \right).\] Умножая обе части на \(z'\) (в предположении, что уравнение не имеет решения \(z' = 0\)), получаем: \[ {z'z'' = f\left( z \right)z',}\;\; {\Rightarrow d\left[ {{{\left( {z'} \right)}^2}} \right] = 2f\left( z \right)dz,}\;\; {\Rightarrow {\left( {z'} \right)^2} = 2\int {f\left( z \right)dz} + {C_1},}\;\; {\Rightarrow z' = \sqrt {2\int {f\left( z \right)dz} + {C_1}} ,}\;\; {\Rightarrow {y^{\left( {n - 1} \right)}} = \sqrt {2\int {f\left( {{y^{\left( {n - 2} \right)}}} \right)d{y^{\left( {n - 2} \right)}}} + {C_1}} .} \] Видно, что мы получили уравнение вида \({y^{\left( {n - 1} \right)}} = f\left( {{y^{\left( {n - 2} \right)}}} \right),\) которое было рассмотрено в пункте \(2\) и которое решается в квадратурах.
Если уравнение \(z'' = f\left( z \right)\) имеет решение \(z' = 0,\) то общее решение выражается формулой: \[ {{y^{\left( {n - 1} \right)}} = 0,}\;\; {\Rightarrow y = {C_1}{x^{n - 2}} + {C_2}{x^{n - 3}} + \cdots + {C_{n - 1}}.} \] В случае, когда дифференциальное уравнение \(F\left( {{y^{\left( {n - 2} \right)}},{y^{\left( n \right)}}} \right) = 0\) допускает параметрическое представление \[{y^{\left( n \right)}} = \varphi \left( t \right),\;\;{y^{\left( {n - 2} \right)}} = \psi \left( t \right),\] его решение строится следующим образом. Из соотношений \[d{y^{\left( {n - 1} \right)}} = {y^{\left( n \right)}}dx,\;\;d{y^{\left( {n - 2} \right)}} = {y^{\left( {n - 1} \right)}}dx\] следует, что \[{y^{\left( {n - 1} \right)}}d{y^{\left( {n - 1} \right)}} = {y^{\left( n \right)}}d{y^{\left( {n - 2} \right)}},\] или в параметрической форме: \[{y^{\left( {n - 1} \right)}}d{y^{\left( {n - 1} \right)}} = \varphi \left( t \right)\psi '\left( t \right)dt.\] Интегрируя, находим: \[{y^{\left( {n - 1} \right)}} = \sqrt {2\int {\varphi \left( t \right)\psi '\left( t \right)dt} + {C_1}} .\] Теперь мы знаем параметрическое выражение для производных \({y^{\left( {n - 2} \right)}}\) и \({y^{\left( {n - 1} \right)}},\) т.е. задача сводится к типу \(2.\)