ЭСБЕ/Интегрирование дифференциальных уравнений

Интегрирование дифференциальных уравнений (определение и разделение на категории — см. [[../Дифференциальные уравнения|Дифференциальные уравнения]]) — общий вид обыкновенного дифференциального уравнения с одной независимой переменной х и с одной искомой функцией у от этой переменной есть

Шаблон:Noindentгде функция f — некоторая заданная функция от n + 2 аргументов $x,y,y^{\prime },y^{″}\dots y^{(n)},$ знаками $y^{\prime }{y}^{″}\dots y^{(n)}$ обозначен ряд последовательных производных искомой функции у, а знаком n — порядок дифференциального уравнения, т. е. порядок высшей производной. Интегрировать дифференциальное уравнение (*) это значит найти все возможные функции от одного переменного х, которые вместе с соответственными производными по подставлении взамен $y,y^{\prime },y^{″}\dots y^{(n)}$ в уравнение (*) обратили бы его в тождество. Задача И. обыкновенного дифференциального уравнения некоторого порядка с одной неизвестной функцией есть задача неопределенная, что видно было уже в ст. Интегральное исчисление, при И. простейшего уравнения первого порядка $y^{\prime }=f(x){,}^{″}$ общее решение которого есть

$y=\int f(x)\cdot dx+C$

Шаблон:Noindentи которое заключает произвольную постоянную C; это замечание относится к уравнениям какого угодно порядка. Самым общим решением уравнения (*), его так называемым общим интегралом, будет функция вида

$y=F(x,C_1,C_2\dots C_n)$

где C₁, C₂…C_n некоторые произвольные постоянные, независимые друг от друга. Всякое решение, которое получается из общего от подстановки вместо постоянных произвольных некоторых частных численных значений, называется частным решением или частным интегралом данного дифференциального уравнения. Эйлеру принадлежит в высшей степени важное замечание, развитое потом Лагранжем и другими математиками, о существовании у некоторых дифференциальных уравнений так назыв. особенных решений, которые не могут быть получены из общего интеграла через подстановку вместо постоянных произвольных некоторых численных значений, а получаются, считая постоянные произвольные некоторыми функциями от x. Отсюда видно, что задача И. дифференциальных уравнений с одной неизвестной функцией от одной независимой переменной приводится к нахождению: во-первых, общего интеграла, а во-вторых, — всех особенных решений.

Шаблон:Razr2: 1. Интегрировать уравнение первого порядка:

$x{y}^{\prime }-y=0;$

написав это уравнение в виде

$x\cdot dy-y\cdot dx=0$

или $\frac{dy}{y}=\frac{dx}{x}$

Шаблон:Noindentи интегрируя обе части, находим

$\int \frac{dy}{y}=\int \frac{dx}{x}.$

Откуда $\lg y=\lg x+\lg C.$

или $y=C\cdot x.$

2. Общий интеграл уравнения $y^{″}=y$ есть $y=C_1{e}^x+C_2{e}^{-x}.$

3. Для примера особенных решений рассмотрим геометрическую задачу: найти кривую, касательная к которой была бы в постоянном расстоянии а от начала координат.

Уравнение касательной, проведенной через какую-нибудь точку (x, y) кривой, есть

$Y-y=y^{\prime }(X-x).$

Дифференциальное уравнение вопроса представляется в виде

$\frac{y-y^{\prime }x}{\sqrt{1+y{\text{'}}^2}}=a$

или

Дифференцируя относительно x, получим уравнение:

$0=d{y}^{\prime }(x+\frac{a{y}^{\prime }}{\sqrt{1+y{\text{'}}^2}}).$

Шаблон:Noindentкоторое разлагается на два

$d{y}^{\prime }=0$ и $x+\frac{a{y}^{\prime }}{\sqrt{1+y{\text{'}}^2}}=0.$

Из первого находим:

$y^{\prime }=C.$

Откуда на основании (1):

Из второго находим:

Внося это в ур. (1), получим:

Возвысив в квадрат и сложив уравнения (3) и (4), будет:

Уравнение (2) представляет общий интеграл и выражает бесчисленное множество прямых, отстоящих от начала координат в расстоянии а; все эти прямые касаются окружности, определяемой уравнением (5), которое есть особенное решение заданного дифференциального уравнения.

Из немногочисленных классов обыкновенных дифференциальных уравнений, приемы интегрирования которых известны, особенного внимания заслуживают так называемые линейные уравнения. Общий их вид есть $X_0{y}^{(n)}+X_1{y}^{(n-1)}+\dots +X_{n-1}{y}^{\prime }+X_{n}y=Y,$ где $X_0,X_1\dots X_{n-1},X_n$ и $Y$ суть некоторые заданные функции независимого переменного x. Если коэффициенты $X_0,X_1\dots X_n$ суть постоянные, то линейное уравнение называется уравнением с постоянными коэффициентами; что касается функции $Y,$ то, какова бы она ни была, линейное уравнение с постоянными коэффициентами всегда интегрируется в квадратурах.

Остановимся на интегрировании линейных уравнений с тем, чтобы обратить внимание на весьма важный прием, употребляемый при И. дифференциальных уравнений, развитый Лагранжем и называемый изменением произвольных постоянных (Шаблон:Lang). Этот прием впервые встречается уже в теории Луны Эйлера и ныне имеет обширное применение в «небесной механике».

Начнем с интегрирования линейного уравнения с постоянными коэффициентами, но без последнего члена, т. е. в которых Y = 0. Таким образом, пусть задано уравнение

Для интегрирования такого уравнения находят сперва n независимых решений этого уравнения

$y_1,y_2\dots y_n,$

Шаблон:Noindentтогда общий интеграл уравнения (А) выразится формулой

$y=C_1{y}_1+C_2{y}_2+\dots +C_n{y}_n$

Что касается частных решений $y_1,y_2\dots y_n,$ то для линейного уравнения с постоянными коэффициентами они могут быть представлены в виде $e^{k.x},$ где k — корень уравнения

Если заданные коэффициенты $a_0,a_1\dots a_n$ таковы, что это алгебраическое уравнение имеет n различных корней $k_1,k_2\dots k_n,$ то за n различных решений заданного линейного уравнения без последнего члена (А) могут быть приняты функции $e^{k_{1}x},e^{k_{2}x}\dots e^{k_{n}x},$ так что общий интеграл будет иметь вид:

В случае, если уравнение (В) имеет менее чем n различных корней, т. е. если некоторые корни этого уравнения одинаковые (кратные), то форма общего интеграла уравнения (C) несколько видоизменяется, причем все-таки общий интеграл выражается функцией линейной и однородной относительно постоянных произвольных $C_1,C_2\dots C_n.$ Отсюда видно, что каковы бы ни были коэффициенты заданного линейного уравнения (А), его общий интеграл выразится формулой:

Шаблон:Noindentгде $y_1,y_2\dots y_n$ некоторые найденные уже функции от x.

Обратимся теперь к И. уравнений с постоянным членом, т. е. такого, которое отличается от ур. (А) тем, что во второй части вместо нуля стоит некоторая функция от x. Общий его вид будет

Покажем, что решение ур. (Е) можно представить в виде ур. (D), в котором значение $y_1,y_2\dots y_n$ останется прежнее (частные решения уравнения без последнего члена), а $C_1,C_2\dots C_n$ уже не постоянные, а некоторые функции от х. Выражаясь иначе, мы будем изменять (варьировать, считать переменными) постоянные, находящиеся в общем интеграле уравнения без последнего члена так, чтобы вышел общий интеграл уравнения с последним членом. Имея в виду, что нужно удовлетворить только одному уравнению (Е), переменных же постоянных имеется много, n для упрощения задачи всегда можно предписать ряд новых условий, так, напр., можно потребовать, чтобы, кроме условия, что функция (D) есть решение уравнения с последним членом, все производные до порядка n−1 включительно выражались одинаковыми формулами, как в случае $C_1,C_2\dots C_n$ постоянных, так и в случае переменных.

Если $C_1,C_2\dots C_n$ переменные, то, дифференцируя уравнение (D), получим:

$y^{\prime }=C_{1}y{\text{'}}_1+C_{2}y{\text{'}}_2+\dots +C_{n}y{\text{'}}_n+C{\text{'}}_1{y}_1+C{\text{'}}_2{y}_2+\dots +C{\text{'}}_n{y}_n.$

Чтобы у′ выражалось одинаково, как в случае С постоянные, так и в случае С переменные, необходимо положить:

Тогда очевидно

Подобным образом, чтобы вторые производные в обоих предположениях выражались одинаково, необходимо на основании дифференцирования уравнения (G₁) положить:

Шаблон:Noindentтогда будет

Продолжая далее до (n−1)-й производной включительно, получим

Что касается n-й производной, то она уже не будет одна и та же в двух предположениях и в случае С переменных представится в виде:

Умножая уравнения (G_n), (G_n−1) … (G₁) и (D) соответственно на $a_0,a_1,\dots a_{n-1},a_n$ и складывая, найдем, что уравнение (Е) представится так:

$a_0({C^{\prime }}_1{y_1}^{(n-1)}+{C^{\prime }}_2{y_2}^{(n-1)}+\dots +{C^{\prime }}_n{y_n}^{(n-1)})+$ $+C_1({a_0{y}_1}^{(n)}+{a_1{y}_1}^{(n-1)}+\dots +a_n{y}_1)+$ $+C_2({a_0{y}_2}^{(n)}+{a_1{y}_2}^{(n-1)}+\dots +a_n{y}_2)+$ Шаблон:Ext $+C_n({a_0{y}_n}^{(n)}+{a_1{y}_n}^{(n-1)}+a_n{y}_n)=Y.$

Так как $y_1,y_2\dots y_n$ не какие-нибудь функции, а, как замечено уже выше, суть частные решения линейного уравнения без последнего члена, то легко видеть, что последнее уравнение обращается в

Уравнения (F₁), (F₂) … (F_n) суть линейные первой степени относительно n неизвестных $C{\text{'}}_1,C{\text{'}}_2\dots C{\text{'}}_n$ все коэффициенты этих уравнений — известные, вполне определенные функции от x, ибо функция Y задана, а функции $y_1,y_2\dots y_n$ уже найдены. Решая эту систему n уравнений первой степени относительно $C{\text{'}}_1,C{\text{'}}_2\dots C{\text{'}}_n$ по правилам элементарной алгебры, получим:

${C^{\prime }}_1={\varphi }_1(x)$ ${C^{\prime }}_2={\varphi }_2(x)$ Шаблон:Ext Шаблон:Ext ${C^{\prime }}_n={\varphi }_n(x).$

А после И. будет:

$C_1=\int {\varphi }_1(x)dx+{\mathrm{\Gamma }}_1$ $C_2=\int {\varphi }_2(x)dx+{\mathrm{\Gamma }}_2$ Шаблон:Ext Шаблон:Ext $C_n=\int {\varphi }_n(x)dx+{\mathrm{\Gamma }}_n.$

Если подставить эти выражения для $C{\text{'}}_1,C{\text{'}}_2\dots C{\text{'}}_n$ в уравнение (D), то получится и окончательный общий интеграл линейного уравнения с последним членом, именно:

$y={\mathrm{\Gamma }}_1{y}_1+{\mathrm{\Gamma }}_2{y}_2+\dots +{\mathrm{\Gamma }}_n{y}_n+y_1\int {\varphi }_1(x)dx+y_2\int {\varphi }_2(x)dx+\dots +y_n\int {\varphi }_n(x)dx$

Изменение произвольных постоянных как прием для И. применяется в тех случаях, когда заданное уравнение или систему уравнений интегрировать непосредственно весьма затруднительно, но можно, откидывая некоторые члены, получить новые уравнения такого вида, что можно написать их самые общие решения. Изменяя затем постоянные величины, входящие в эти решения, подбирают эти постоянные так, чтобы удовлетворились первоначально заданные уравнения.

В механике встречается надобность интегрировать системы так назыв. обыкновенных совокупных уравнений. Пусть задана система.

$f_1(x,y,z\dots u,y^{\prime },z^{\prime }\dots u^{\prime },y^{″},z^{″}\dots )=0$ $f_2(x,y,z\dots u,y^{\prime },z^{\prime }\dots u^{\prime },y^{″},z^{″}\dots )=0$ Шаблон:Ext $f_k(x,y,z\dots u,y^{\prime },z^{\prime }\dots u^{\prime },y^{″},z^{″}\dots )=0.$

В эти уравнения входят: независимая переменная х, n ее пока произвольных функций у, z…u и ряд производных от этих функций по независимой переменной х первых или высших порядков. Такая система называется системой k обыкновенных совокупных уравнений с n неизвестными функциями. Если n < k, то, вообще говоря, системе нельзя будет удовлетворить выбором n искомых функций и она будет возможна лишь при существовании некоторых условий, которым должны удовлетворить функции $f_1,f_2\dots f_k.$ Если n > k, то некоторые из функций будут совершенно произвольны. Самый важный случай представляется при n = k, т. е. когда число уравнений равно числу искомых функций. Этот случай обыкновенно и рассматривается. Если система не содержит противоречий, то интегрировать ее — значит найти все возможные значения искомых функций, обращающие ее в тождество, другими словами, чтобы в искомом выражении этих функций через независимую переменную входило достаточное число произвольных постоянных независимых друг от друга. Каков бы ни был порядок каждого из уравнений системы, т. е. порядок, наибольший из порядков производных, входящих в эти уравнения, всегда можно, вводя новые искомые функции и увеличивая за то число уравнений системы, получить систему m уравнений с m неизвестными функциями первого порядка, т. е. систему, в которой, кроме независимой переменной х и искомых функций, войдут только первые от них производные по х. Сделать это весьма просто, принимая за новые функции производные от прежних до порядка на единицу меньше наибольшего порядка производной от соответствующей функции, входящей в рассматриваемую систему. К такого рода системам принадлежат системы, названные Якоби каноническими и к которым приводятся уравнения различных задач в механике. — Интегрирование всякой системы m уравнений с m неизвестными функциями m-ого порядка может быть приведено или к интегрированию одного уравнения m-ого порядка с одной неизвестной функцией или к интегрированию нескольких обыкновенных уравнений, из которых каждое заключает одну неизвестную функцию, сумма порядков которых равна m.

И. дифференциальных уравнений с частными производными. Основное отличие уравнений с частными производными от уравнений обыкновенных заключается в тех произвольных элементах, которые вводит их И.; именно при И. уравнений с частными производными приходится рассматривать такие решения, которые содержат произвольные функции от независимых переменных. Пусть дано уравнение

Шаблон:Noindentгде n некоторое постоянное число, а и — искомая функция от m независимых переменных х, у,… t. Так как в уравнение (1) входят частные производные только первого порядка, то такое уравнение называется уравнением с частными производными первого порядка в отличие от уравнений с частными производными высших порядков. Если некоторые функции

${\alpha }_1=\frac{y}{x},{\alpha }_2=\frac{z}{x}\dots {\alpha }_{m-1}=\frac{t}{x}$

Шаблон:Noindentудовлетворяют все уравнению

$x\frac{d\alpha }{dx}+y\frac{d\alpha }{dy}+z\frac{d\alpha }{dz}+\dots +t\frac{d\alpha }{dt}=0$

Шаблон:Noindentи если положим

Шаблон:Noindentто легко заметить, что какова бы ни была функция $\mathrm{\Pi }$ от m−1 аргументов ${\alpha }_1,{\alpha }_2\dots {\alpha }_{m-1},$ заданное уравнение (1) удовлетворится выражением (2), в которое входит совершенно произвольная функция Π. В этом состоит известная теорема Эйлера об однородных функциях.

Для примера возьмем уравнение колебания струны

$\frac{d^{2}u}{d{y}^2}-a^2\frac{d^{2}u}{d{x}^2}=0;$

Шаблон:Noindentлегко проверить, что этому уравнению удовлетворяет следующая функция от u:

$u=\mathrm{\Pi }(x+ay)+\mathrm{\Phi }(x-ay),$

Шаблон:Noindentгде $\mathrm{\Pi }$ и $\mathrm{\Phi }$ совершенно произвольные функции.

Что касается теории уравнений с частными производными, то благодаря трудам Коши, Якоби и их последователей довольно обстоятельно разобраны уравнения первого порядка. Теория же уравнений высших порядков в настоящее время находится еще в зачаточном состоянии. Известно весьма мало общих свойств таких уравнений, и все сводится к разбору уравнений частного вида (отдельные примеры); впрочем, для математической физики весьма важно и то, что уравнения линейные относительно частных производных какого угодно порядка с постоянными коэффициентами интегрируются, как это показал Коши, при помощи интегралов Фурье.

Геометрическое значение И. обыкновенных дифференциальных уравнений между независимой переменной х и ее функцией у состоит в том, что отыскиваются все кривые F(x), обладающие некоторым общим свойством, выражаемым заданным дифференциальным уравнением. Отсюда ясно, что в уравнения искомых кривых должны входить произвольные постоянные, выбором которых можно отличить одну из кривых от всех прочих, принадлежащих к рассматриваемой системе. Аналогичное значение имеют для пространства дифференциальные уравнения с частными производными между независимыми переменными х и у и их искомой функцией z. Интегрировать такое уравнение значит найти все поверхности, обладающие общим свойством, выражаемым заданным уравнением. При интегрировании таких уравнений, понятно, должны входить произвольные функции, ибо из числа различных поверхностей можно выбирать не только такие, которые проходили бы через конечное число произвольно заданных точек пространства, но и такие, которые проходили бы через произвольно заданные кривые в пространстве. — Хотя задача интегрирования дифференциальных уравнений есть задача весьма трудная и удается лишь для малого числа простейших классов уравнений, тем не менее, интегральное исчисление является могущественным орудием натуральной философии, потому что строка Тейлора дает возможность разлагать решение дифференциального уравнения в ряды, расположенные по степеням независимого переменного, и получать таким образом приближенное значение искомых функций независимо от того, умеем ли мы интегрировать заданное дифференциальное уравнение или нет. Блестящие примеры такого рода приближенного И. представляет небесная механика, где при рассмотрении движений небесных тел, притягивающихся между собой по законам Ньютона, уже в случае трех тел (Солнце, Земля и Луна или Солнце, комета и возмущающая планета) является знаменитая задача о трех телах, которая до сих пор представляет непреодолимые затруднения, быть может, по существу, а может быть, только по сравнительной сложности относящихся сюда дифференциальных уравнений. Нечего говорить уже о задаче более общей, когда рассматривается движение более чем трех тел и которая имеет, однако, место в астрономии. Предсказание небесных явлений, открытие новых светил при помощи теоретических исследований (открытие Нептуна), обстоятельное разъяснение различных особенностей в движении их (неравенства) — все это свидетельствует о том, что если приемы приближенного И. дифференциальных уравнений и далеки от желательной степени теоретического совершенства и представляют в настоящее время область, где еще многое нужно сделать, однако интегрирование уравнений, по крайней мере в приложениях к физическим наукам, представляет часть математики, наиболее важную и богатую новыми результатами.