Определитель Вронского в теории дифференциальных уравнений¶

Определитель Вронского (также вронскиан) — функциональный определитель, применяемый в теории обыкновенных дифференциальных уравнений и линейной алгебре для исследования линейной зависимости системы функций и построения общего решения линейных однородных уравнений. Назван в честь польско-французского математика Юзефа Марии Вронского (1776–1853), который ввёл его в 1812 году в работе, посвящённой разложению функций в ряды.

¶Определение

Пусть задана система из \(n\) функций \(y_1(x), y_2(x), \dots, y_n(x)\), каждая из которых имеет \(n-1\) производных на некотором интервале. Определитель Вронского этой системы — это определитель квадратной матрицы размера \(n \times n\), строки которой образованы производными функций:

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

Для двух функций \(y_1\) и \(y_2\) формула принимает простой вид:

\[ W(y_1, y_2) = y_1 y_2' - y_2 y_1'. \]

Вронскиан является функцией переменной \(x\), а не числом, если только функции не выбраны специальным образом.

¶Свойства

Основные свойства вронскиана:

• Если система функций линейно зависима на интервале, то её вронскиан тождественно равен нулю на этом интервале.
• Обратное утверждение в общем случае неверно: из равенства \(W \equiv 0\) не всегда следует линейная зависимость. Однако для решений линейного однородного дифференциального уравнения это обращение справедливо.
• Для системы решений линейного однородного уравнения \(n\)-го порядка вронскиан либо тождественно равен нулю, либо не обращается в нуль ни в одной точке интервала.
• Вронскиан удовлетворяет формуле Лиувилля — Остроградского, связывающей его значение в произвольной точке со значением в начальной точке через интеграл от коэффициента уравнения.

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

Для линейного однородного уравнения

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

вронскиан системы его решений выражается формулой

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

Из этой формулы видно, что если \(W(x_0) \neq 0\), то вронскиан не обращается в нуль нигде на интервале непрерывности коэффициентов. Это ключевой инструмент при доказательстве теорем о структуре общего решения.

¶Применение

¶Проверка фундаментальной системы решений

Набор из \(n\) решений линейного однородного уравнения называется фундаментальной системой решений, если он линейно независим. Критерий проверки прост: вронскиан такой системы должен быть отличен от нуля хотя бы в одной точке интервала. Если это выполнено, через эти решения выражается общее решение уравнения в виде линейной комбинации с произвольными постоянными.

¶Метод вариации постоянных

При решении неоднородного уравнения \(L[y] = f(x)\) вронскиан используется в методе вариации произвольных постоянных (метод Лагранжа). Постоянные \(C_i\) в общем решении однородного уравнения заменяются функциями \(C_i(x)\), для которых составляется система линейных алгебраических уравнений. Определителем этой системы служит вронскиан фундаментальной системы решений, что гарантирует её однозначную разрешимость.

¶Линейная алгебра и анализ

Понятие вронскиана применяется также при исследовании систем вектор-функций, в теории Чебышёва (системы функций с необращающимся в нуль вронскианом образуют чебышёвскую систему, что важно в теории приближений), а также в задачах математической физики и теории управления.

¶Пример

Рассмотрим функции \(y_1 = e^{k_1 x}\) и \(y_2 = e^{k_2 x}\) при \(k_1 \neq k_2\). Тогда

\[ W = e^{k_1 x} \cdot k_2 e^{k_2 x} - e^{k_2 x} \cdot k_1 e^{k_1 x} = (k_2 - k_1) e^{(k_1 + k_2) x} \neq 0. \]

Вронскиан отличен от нуля при всех \(x\), значит, функции линейно независимы и образуют фундаментальную систему решений уравнения \(y'' - (k_1 + k_2) y' + k_1 k_2 y = 0\).

Для функций \(y_1 = x\) и \(y_2 = 2x\) вронскиан равен \(x \cdot 2 - 2x \cdot 1 = 0\) тождественно, что согласуется с их линейной зависимостью.

¶Ограничения

Равенство вронскиана нулю само по себе не является достаточным условием линейной зависимости произвольных функций. Классический контрпример — функции \(y_1 = x^2\) и \(y_2 = x|x|\) на интервале, содержащем нуль: их вронскиан тождественно равен нулю, но функции линейно независимы. Поэтому при работе с произвольными системами функций требуются дополнительные условия (например, аналитичность или принадлежность к решениям одного дифференциального уравнения).

¶Историческая справка

Юзеф Мария Вронский опубликовал работу о разложении функций в степенные ряды в 1812 году, где впервые появилась конструкция, позднее получившая его имя. Термин «вронскиан» (англ. Wronskian) закрепился в англоязычной литературе в конце XIX века. В русскоязычных источниках наряду с «определителем Вронского» используется сокращённое название «вронскиан». Метод широко применяется в курсах высшей математики технических вузов России при изучении линейных дифференциальных уравнений.

¶Источники

• Вронский Ю. М. Работы по теории рядов.
• Степанов В. В. Курс дифференциальных уравнений.
• Понтрягин Л. С. Обыкновенные дифференциальные уравнения.
• Арнольд В. И. Обыкновенные дифференциальные уравнения.
• Математическая энциклопедия.