Формула Лиувилля — Остроградского¶

Формула Лиувилля — Остроградского (также известная как формула Остроградского — Лиувилля или тождество Лиувилля) — это соотношение в теории обыкновенных дифференциальных уравнений, связывающее определитель Вронского (вронскиан) фундаментальной системы решений линейного однородного дифференциального уравнения с его коэффициентами. Формула позволяет выразить вронскиан через интеграл от коэффициента при (n-1)-й производной, что упрощает анализ решений и их линейной зависимости.

¶История

Формула была независимо открыта французским математиком Жозефом Лиувиллем и российским математиком Михаилом Васильевичем Остроградским в середине XIX века. Остроградский опубликовал свою работу в 1838 году, а Лиувилль — в 1839 году. В русскоязычной литературе формула часто называется формулой Остроградского — Лиувилля, а в западной — формулой Лиувилля (или тождеством Лиувилля). Оба учёных внесли значительный вклад в развитие теории дифференциальных уравнений и математической физики.

¶Формулировка

Рассмотрим линейное однородное дифференциальное уравнение n-го порядка:

\[ y^{(n)} + a_1(x) y^{(n-1)} + a_2(x) y^{(n-2)} + \dots + a_n(x) y = 0, \]

где \(a_i(x)\) — непрерывные функции на некотором интервале \(I\), а \(y^{(k)}\) обозначает k-ю производную неизвестной функции \(y(x)\).

Пусть \(y_1(x), y_2(x), \dots, y_n(x)\) — фундаментальная система решений этого уравнения на интервале \(I\). Определитель Вронского (вронскиан) \(W(x)\) определяется как:

\[ W(x) = \det \begin{pmatrix} y_1 & y_2 & \dots & y_n \\ y_1' & y_2' & \dots & y_n' \\ \vdots & \vdots & \ddots & \vdots \\ y_1^{(n-1)} & y_2^{(n-1)} & \dots & y_n^{(n-1)} \end{pmatrix}. \]

Формула Лиувилля — Остроградского утверждает, что для любого \(x_0 \in I\):

\[ W(x) = W(x_0) \exp\left(-\int_{x_0}^{x} a_1(t) \, dt\right). \]

Таким образом, вронскиан фундаментальной системы решений линейного однородного уравнения n-го порядка выражается через начальное значение \(W(x_0)\) и интеграл от коэффициента при (n-1)-й производной. Если \(a_1(x) \equiv 0\), то вронскиан постоянен: \(W(x) = W(x_0)\).

¶Частный случай: уравнение второго порядка

Для уравнения второго порядка:

\[ y'' + p(x) y' + q(x) y = 0, \]

формула принимает вид:

\[ W(x) = W(x_0) \exp\left(-\int_{x_0}^{x} p(t) \, dt\right). \]

Здесь \(W(x) = y_1 y_2' - y_2 y_1'\).

¶Доказательство

Доказательство основано на дифференцировании определителя Вронского и использовании самого уравнения. Для уравнения n-го порядка производная вронскиана равна:

\[ W'(x) = -a_1(x) W(x). \]

Это линейное дифференциальное уравнение первого порядка относительно \(W(x)\), решение которого даёт формулу Лиувилля — Остроградского. Детали доказательства включают разложение определителя по строке и подстановку выражений для старших производных из уравнения.

¶Свойства и следствия

• Линейная зависимость решений: Если \(W(x) \equiv 0\) на интервале \(I\), то решения \(y_1, \dots, y_n\) линейно зависимы на этом интервале. Если \(W(x) \neq 0\) хотя бы в одной точке, то решения линейно независимы.
• Постоянство вронскиана: При \(a_1(x) \equiv 0\) вронскиан не зависит от \(x\).
• Экспоненциальное поведение: Знак вронскиана не меняется на интервале, если начальное значение отлично от нуля, так как экспонента положительна.
• Связь с методом вариации постоянных: Формула используется при решении неоднородных уравнений методом вариации произвольных постоянных, позволяя выразить вронскиан через интеграл.

¶Применение

Формула Лиувилля — Остроградского широко применяется в теории дифференциальных уравнений и смежных областях:

• Определение линейной независимости решений: Позволяет быстро проверить, образуют ли найденные решения фундаментальную систему.
• Построение второго решения для уравнения второго порядка: Если известно одно решение \(y_1(x)\), то второе можно найти по формуле:

\[ y_2(x) = y_1(x) \int \frac{\exp\left(-\int p(x) \, dx\right)}{y_1^2(x)} \, dx. \]

• Анализ устойчивости решений: Вронскиан может указывать на асимптотическое поведение решений.
• Краевые задачи: Используется в теории Штурма — Лиувилля для исследования собственных функций и собственных значений.
• Математическая физика: Применяется в задачах квантовой механики, теории колебаний и других областях, где встречаются линейные дифференциальные уравнения.

¶Пример

Рассмотрим уравнение второго порядка:

\[ y'' + \frac{2}{x} y' + y = 0, \quad x > 0. \]

Здесь \(p(x) = \frac{2}{x}\). Пусть \(y_1(x) = \frac{\sin x}{x}\) — одно из решений. Найдём вронскиан \(W(x)\) для фундаментальной системы, состоящей из \(y_1\) и \(y_2\). По формуле Лиувилля — Остроградского:

\[ W(x) = W(x_0) \exp\left(-\int_{x_0}^{x} \frac{2}{t} \, dt\right) = W(x_0) \exp\left(-2 \ln \frac{x}{x_0}\right) = W(x_0) \frac{x_0^2}{x^2}. \]

Если выбрать \(x_0 = 1\) и \(W(1) = 1\), то \(W(x) = \frac{1}{x^2}\). Второе решение можно найти как \(y_2(x) = y_1(x) \int \frac{1}{y_1^2(x) W(x)} \, dx = \frac{\sin x}{x} \int \frac{x^2}{\sin^2 x} \cdot \frac{1}{1/x^2} \, dx = \frac{\sin x}{x} \int \frac{1}{\sin^2 x} \, dx = \frac{\sin x}{x} (-\cot x) = -\frac{\cos x}{x}\). Таким образом, фундаментальная система: \(\frac{\sin x}{x}\) и \(\frac{\cos x}{x}\).

¶Обобщения

Формула Лиувилля — Остроградского обобщается на системы линейных дифференциальных уравнений первого порядка. Для системы \(\mathbf{y}' = A(x) \mathbf{y}\), где \(A(x)\) — матрица размера \(n \times n\), вронскиан (определитель матрицы фундаментальных решений) удовлетворяет:

\[ W'(x) = \operatorname{tr}(A(x)) \, W(x), \]

где \(\operatorname{tr}(A)\) — след матрицы \(A\). Решение даётся аналогичной формулой:

\[ W(x) = W(x_0) \exp\left(\int_{x_0}^{x} \operatorname{tr}(A(t)) \, dt\right). \]

Это обобщение часто называют формулой Лиувилля для систем.

¶Интересные факты

• Формула является частным случаем более общего результата — тождества Абеля для дифференциальных уравнений.
• В квантовой механике аналог формулы Лиувилля используется для описания эволюции матрицы плотности в фазовом пространстве (уравнение Лиувилля).
• В теории динамических систем формула Лиувилля связывает изменение объёма в фазовом пространстве с дивергенцией векторного поля.

¶Источники

• Понтрягин Л. С. Обыкновенные дифференциальные уравнения. — М.: Наука, 1974.
• Эльсгольц Л. Э. Дифференциальные уравнения и вариационное исчисление. — М.: Наука, 1969.
• Арнольд В. И. Обыкновенные дифференциальные уравнения. — М.: МЦНМО, 2012.
• Hartman P. Ordinary Differential Equations. — SIAM, 2002.