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

Когда мы обсуждаем линейную независимость в обычной алгебре, мы имеем дело с векторами-столбцами, состоящими из чисел, и используем матрицу Грама или метод Гаусса. Но как проверить линейную независимость не векторов, а абстрактных функций, например, синусов, экспонент или логарифмов? Для решения этой задачи польский математик-мистик Юзеф Мария Гене-Вронский в 1812 году ввел специальную конструкцию, получившую позже название «Вронскиан». Определитель Вронского перебрасывает мост между алгеброй матриц и математическим анализом непрерывных функций, являясь самым могущественным инструментом при построении фундаментов общих решений систем линейных дифференциальных уравнений (ОДУ).

Конструкция функциональной матрицы

Пусть нам задан набор из n достаточно гладких функций (f_1, f_2, ..., f_n), зависящих от переменной x. Чтобы создать из них матрицу, мы формируем первую строку, просто записав эти функции в ряд. Для формирования второй строки мы дифференцируем каждую функцию по x. Для третьей строки берем вторые производные, и так далее. Процесс продолжается до тех пор, пока мы не достигнем производной порядка n - 1. В итоге получается квадратная матрица размера n на n, элементами которой являются не константы, а функции переменной x. Определитель (детерминант) этой функциональной матрицы и называется определителем Вронского, или Вронскианом, обозначаемым W(x). Поскольку матрица зависит от x, Вронскиан сам по себе является непрерывной функцией от переменной x.

Достаточное условие линейной независимости

Вронскиан обеспечивает изящный аналитический тест на независимость функций. Теорема гласит: если существует хотя бы одна точка x на заданном интервале, в которой Вронскиан строго не равен нулю (W(x) != 0), то данный набор функций абсолютно гарантированно является линейно независимым. То есть ни одна из функций не может быть выражена в виде точной линейной комбинации остальных. Это свойство широко используется в квантовой механике для проверки независимости волновых функций, описывающих возможные состояния частиц. К сожалению, обратное утверждение в общем случае неверно (знаменитый контрпример Пеано): Вронскиан может тождественно равняться нулю всюду, но функции при этом все равно будут линейно независимы. Однако для решений дифференциальных уравнений ситуация кардинально меняется.

Фундаментальная система решений ОДУ

В теории обыкновенных линейных однородных дифференциальных уравнений n-го порядка пространство всех возможных решений всегда имеет размерность ровно n. Чтобы записать общее решение (которое описывает абсолютно всю физику процесса), инженерам необходимо найти n линейно независимых частных решений (Фундаментальную Систему Решений, ФСР). Именно здесь Вронскиан становится непобедимым аргументом. В силу теорем существования и единственности, если набор функций f_i является решениями такого уравнения, то их Вронскиан ведет себя бескомпромиссно: он либо тождественно равен нулю во всех точках интервала (и тогда решения линейно зависимы, ФСР не построена), либо он нигде не равен нулю на этом интервале (и тогда мы нашли идеальную независимую ФСР).

Формула Остроградского-Лиувилля (Тождество Абеля)

Одной из самых поразительных и красивых формул, связывающих Вронскиан с дифференциальным уравнением, является тождество Абеля (формула Остроградского-Лиувилля). Рассмотрим уравнение вида y'' + P(x)y' + Q(x)y = 0. Тождество Абеля утверждает, что Вронскиан двух любых решений этого уравнения можно вычислить, даже не зная самих решений! Вронскиан W(x) равен значению Вронскиана в любой начальной точке W(x_0), умноженному на экспоненту от интеграла со знаком минус функции P(x) (коэффициента при первой производной). Эта формула является следствием того факта, что производная определителя матрицы равна следу (сумме диагональных элементов) ее логарифмической производной. Тождество Абеля позволяет находить второе линейно независимое решение уравнения, если одно решение уже угадано, с помощью метода понижения порядка.

Оценить