Метод Лагранжа (дифференциальные уравнения)

Шаблон:Значения Метод Лагранжа (метод вариации произвольных постоянных) — метод для получения общего решения неоднородного уравнения, зная общее решение однородного уравнения, без нахождения частного решения.

Метод вариации произвольных постоянных для построения решения линейного неоднородного дифференциального уравнения

Станем искать решение уравнения

$a_n(t)z^{(n)}(t)+a_{n-1}(t)z^{(n-1)}(t)+...+a_1(t)z^{\prime }(t)+a_0(t)z(t)=f(t),$

полагая, что для соответствующего ему однородного уравнения

$a_n(t)z^{(n)}(t)+a_{n-1}(t)z^{(n-1)}(t)+...+a_1(t)z^{\prime }(t)+a_0(t)z(t)=0(1)$

известно решение, которое запишем как

$z(t)=c_1{z}_1(t)+c_2{z}_2(t)+...+c_n{z}_n(t)$

Метод состоит в замене произвольных постоянных $c_k$ в общем решении на вспомогательные функции $c_k(t)$.

Производная для $z=c_1(t)z_1+c_2(t)z_2+...+c_n(t)z_n$ запишется

$z^{\prime }={c_1}^{\prime }{z}_1+\dots +{c_n}^{\prime }{z}_n+c_1{z_1}^{\prime }+\dots +c_n{z_n}^{\prime }$

Но мы потребуем дополнительно (ниже показано, что проблем это не вызовет), чтобы

${c_1}^{\prime }{z}_1+{c_2}^{\prime }{z}_2+\dots +{c_n}^{\prime }{z}_n=0$

Таким образом, $z^{\prime }=c_1{z_1}^{\prime }+\dots +c_n{z_n}^{\prime }$

Вводя схожие требования для ${c_k}^{\prime }$ при последовательном дифференцировании $z(t)$ до (n-1) порядка, получим

${c_1}^{\prime }{z}^{(k-1)}+\dots +{c_n}^{\prime }{z}^{(k-1)}=0$ $\Rightarrow$ $z^{(k)}=c_1{z}_1^{(k)}+\dots +c_n{z}_n^{(k)}$

А для старшей производной, соответственно

$z^{(n)}={c_1}^{\prime }{z}_1^{(n-1)}+\dots +{c_n}^{\prime }{z}_n^{(n-1)}+\dots +c_1{z}_1^{(n)}+\dots +c_n{z}_n^{(n)}$

После подстановки в исходное уравнение и сокращения в нём однородного решения (1), останется

$a_n(t)[{c_1}^{\prime }(t)z_1^{(n-1)}(t)+\dots +{c_n}^{\prime }(t)z_n^{(n-1)}(t)]=f(t)$

В результате, приходим к

$\{\begin{array}{ccccccccc}{z}_1(t){c_1}^{\prime }(t)& +& z_2(t){c_2}^{\prime }(t)& +& ...& +& z_n(t){c_n}^{\prime }(t)& =& 0\\ ⋮\\ z_1^{(n-2)}(t){c_1}^{\prime }(t)& +& z_2^{(n-2)}(t){c_2}^{\prime }(t)& +& ...& +& z_n^{(n-2)}(t){c_n}^{\prime }(t)& =& 0\\ z_1^{(n-1)}(t){c_1}^{\prime }(t)& +& z_2^{(n-1)}(t){c_2}^{\prime }(t)& +& ...& +& z_n^{(n-1)}(t){c_n}^{\prime }(t)& =& f(t)/a_n(t)\end{array}(2)$

Определителем системы (2) служит вронскиан функций $z_1,z_2,...,z_n$, что обеспечивает её однозначную разрешимость относительно ${c_k}^{\prime }$.

Если $\widetilde{c_k}$ — первообразные для ${c_k}^{\prime }$, взятые при фиксированных значениях постоянных интегрирования, то функция

$z=z^{*}(t)=\widetilde{c_1}(t)z_1(t)+...+\widetilde{c_n}(t)z_n(t)$

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

Примеры

1) Уравнение, в частности возникающее в законе радиоактивного распада

$\dot{x}+\gamma x=f(t)$

Общее решение элементарно интегрируется:

$x=c\cdot e^{-\gamma t}$

Применим метод Лагранжа:

$c^{\prime }{e}^{-\gamma t}=f(t)$

Откуда искомое решение

$x=\int f(t)e^{\gamma t}dt\cdot e^{-\gamma t}$

2) Уравнение гармонического осциллятора

$\ddot{x}+{\omega }^{2}x=f(t)$

Решение однородного уравнения запишем в виде

$x=a\sin \omega t+b\cos \omega t$

Согласно системе (2) получаем:

$\{\begin{array}{c}{a}^{\prime }\sin \omega t+b^{\prime }\cos \omega t=0,\\ a^{\prime }\cos \omega t-b^{\prime }\sin \omega t=f(t)/\omega ;\end{array}$

$a^{\prime }=\frac{-\frac{\cos \omega t}{\omega }f(t)}{-1}=\frac{\cos \omega t}{\omega }f(t)$

$b^{\prime }=\frac{\frac{\sin \omega t}{\omega }f(t)}{-1}=-\frac{\sin \omega t}{\omega }f(t)$

Восстановим решение:

$x(t)=(\int \frac{\cos \omega t}{\omega }f(t)dt)\sin \omega t-(\int \frac{\sin \omega t}{\omega }f(t)dt)\cos \omega t$

Метод вариации произвольных постоянных для построения решений системы линейных дифференциальных уравнений в векторной нормальной форме

$\frac{d\overline{x}}{dt}=A(t)\overline{x}+\overline{f}(t),t\in I(3)$

состоит в построении общего решения (3) в виде

$\overline{x}=\overline{x^{*}}(t)=Z(t)\overline{u}(t),$

где $Z(t)$ — базис решений соответствующего однородного уравнения, записанный в виде матрицы, а векторная функция $\overline{u}$, заменившая вектор произвольных постоянных, определена соотношением $\overline{u^{\prime }}(t)=Z^{-1}(t)\overline{f}(t)$. Искомое частное решение (с нулевыми начальными значениями) при $t=t_0$ имеет вид

$\overline{x}=\overline{x^{*}}(t)=\underset{t_0}{\overset{t}{\int }}Z(t)Z^{-1}(\tau )\overline{f}(\tau )d\tau .$

Для системы с постоянными коэффициентами последнее выражение упрощается:

$\overline{x}=\overline{x^{*}}(t)=\underset{t_0}{\overset{t}{\int }}Z(t-\tau )\overline{f}(\tau )d\tau .$

Матрица $Z(t)Z^{-1}(\tau )$ называется матрицей Коши оператора $L=A(t)$.

Ссылки

• exponenta.ru — Теоретическая справка c примерами