Вронскиан

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

Вронскиа́н (определитель Вронского) системы функций , дифференцируемых на промежутке (n-1)-раз — функция на , задаваемая определителем следующей матрицы:

.

Также вронскианом называют функцию, заданную определителем более общего вида. А именно, пусть задано n вектор-функций с n компонентами: . Тогда определитель будет выглядеть так (чтобы избежать разночтений обозначим его ):

.

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

Свойства[править | править вики-текст]

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


  • - где — определитель Вронского, в котором строка с номером i заменена строкой производных:

Примеры[править | править вики-текст]

  • Убедимся, что вронскиан линейно зависимых функций равен нулю:
  • Проверим теперь линейную независимость функций

Есть точки, где вронскиан отличен от нуля (в нашем случае это любая точка, кроме x=0). Поэтому на любом промежутке эти функции будут линейно независимыми.

  • Приведём теперь пример, когда вронскиан всюду равен нулю, но функции всё равно линейно независимы. Зададим две функции:

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

Однако эти функции, очевидно, являются линейно независимыми. Видим, что равенство вронскиана нулю не влечёт за собой линейной зависимости в случае произвольного выбора функций.

См. также[править | править вики-текст]

Логотип Викисловаря
В Викисловаре есть статья «вронскиан»

Литература[править | править вики-текст]

Романко В.К. Главы 5 и 6 // Курс дифференциальных уравнений и вариационного исчисления. — 2-е изд. — М.: Лаборатория Базовых Знаний, 2002. — С. 158-164, 174-177. — (Технический университет). — 3000 экз. — ISBN 5-93208-097-3.