Что такое определитель Вронского и как его составить?
Определитель Вронского, или вронскиан, — это определитель, составленный из функций и их производных. Для двух функций y₁ и y₂ он считается так: W(y₁, y₂) = y₁ · y₂′ − y₂ · y₁′. Для трёх функций добавляется строка со вторыми производными, и так далее до порядка n − 1. Главный смысл такой: если вронскиан n решений линейного однородного ДУ порядка n не равен нулю хотя бы в одной точке, решения линейно независимы и образуют фундаментальную систему.
Зачем в дифурах доказывать независимость решений?
Типичная ситуация на контрольной по диффурам: в задании сказано «покажите, что функции y₁ и y₂ образуют фундаментальную систему решений уравнения», а ты не понимаешь, что именно нужно показать. Обычно студенты проверяют, что функции подходят в уравнение, и на этом останавливаются. Но этого мало: два решения ещё не дают общего решения, если одно из них получается из другого умножением на число.
Вспомни линейную алгебру. Функции y₁ и y₂ линейно зависимы, если найдутся числа C₁ и C₂, не равные нулю одновременно, при которых для всех x выполняется равенство: C₁y₁ + C₂y₂ = 0. Тогда одна функция выражается через другую, например y₂ = k · y₁. Такие два решения несут одну и ту же информацию, и выражение C₁y₁ + C₂y₂ по сути содержит одну независимую постоянную вместо двух.
Для линейного однородного ОДУ порядка n общее решение собирается из n независимых решений: y = C₁y₁ + C₂y₂ + … + Cₙyₙ. Набор из n линейно независимых решений называется фундаментальной системой решений. Вронскиан даёт быстрый способ проверить независимость: не нужно подбирать числа C₁, C₂ и решать систему, достаточно посчитать один определитель и посмотреть, равен ли он нулю.
Как вычислить определитель Вронского по шагам?
Алгоритм короткий. Первый шаг: выпиши функции y₁, y₂, …, yₙ, их должно быть столько, каков порядок уравнения. Второй шаг: найди производные каждой функции до порядка n − 1 включительно. Третий шаг: составь определитель, в первой строке функции, во второй их первые производные, в третьей вторые и так далее. Четвёртый шаг: раскрой определитель и упрости результат.
Для двух функций определитель второго порядка раскрывается по знакомому правилу: произведение элементов главной диагонали минус произведение элементов побочной. Получаем формулу: W = y₁ · y₂′ − y₂ · y₁′. Не перепутай порядок: сначала y₁ умножается на производную y₂, потом наоборот. Если поменять функции местами, вронскиан сменит знак, но равенство нулю от этого не изменится, а нас интересует именно оно.
Для трёх функций определитель третьего порядка удобно раскрывать по той строке или столбцу, где больше нулей. Общие множители вроде экспонент выноси за знак определителя: это сильно упрощает вычисления и помогает сразу увидеть, равен ли результат нулю. Например, если у всех элементов столбца есть множитель e²ˣ, его можно вынести целиком, и часто остаётся определитель из одних чисел.
Как найти вронскиан двух решений: пример с экспонентами?
Пример 1. Покажем, что функции y₁ = eˣ и y₂ = e²ˣ образуют фундаментальную систему решений уравнения: y″ − 3y′ + 2y = 0. Сначала убедимся, что это вообще решения. Для y₁ все производные равны eˣ, и получается eˣ − 3eˣ + 2eˣ = 0. Для y₂ имеем y₂′ = 2e²ˣ и y₂″ = 4e²ˣ, значит 4e²ˣ − 6e²ˣ + 2e²ˣ = 0. Обе функции подходят.
Теперь вронскиан. Производные: y₁′ = eˣ и y₂′ = 2e²ˣ. Считаем: W = eˣ · 2e²ˣ − e²ˣ · eˣ = 2e³ˣ − e³ˣ = e³ˣ. Поскольку e³ˣ > 0 при любом x, вронскиан нигде не обращается в ноль. Значит, y₁ и y₂ линейно независимы, их два, порядок уравнения тоже два, и они образуют фундаментальную систему.
Ответ: общее решение имеет вид y = C₁eˣ + C₂e²ˣ. Заодно заметим общий случай для разных корней характеристического уравнения λ₁ ≠ λ₂: вронскиан пары экспонент с показателями λ₁x и λ₂x равен (λ₂ − λ₁), умноженному на экспоненту с показателем (λ₁ + λ₂)x. Ноль он не даёт, пока корни различны. В нашем примере λ₁ = 1, λ₂ = 2, и получается 1 · e³ˣ.
Как оформить решение в тетради: сначала запиши, что обе функции удовлетворяют уравнению, затем вычисли W(x) с промежуточными производными, затем сделай вывод. Не пропускай шаг с производными, преподаватель смотрит именно на него. Если вронскиан получился выражением вроде e³ˣ, достаточно отметить, что оно положительно при любом x, никакие дополнительные вычисления не нужны.
Что делать с кратным корнем и уравнением третьего порядка?
Пример 2. Уравнение y″ − 4y′ + 4y = 0 имеет характеристическое уравнение λ² − 4λ + 4 = 0, то есть (λ − 2)² = 0, и корень λ = 2 кратный. Решения: y₁ = e²ˣ и y₂ = x · e²ˣ. Найдём производные: y₁′ = 2e²ˣ, а для второй функции по правилу произведения y₂′ = e²ˣ + 2x · e²ˣ = e²ˣ(1 + 2x). Дальше остаётся составить определитель из этих четырёх выражений.
Вронскиан: W = e²ˣ · e²ˣ(1 + 2x) − x · e²ˣ · 2e²ˣ = e⁴ˣ(1 + 2x − 2x) = e⁴ˣ. Он положителен при всех x, значит, пара e²ˣ и x · e²ˣ действительно фундаментальная система. Ответ: y = (C₁ + C₂x) · e²ˣ. Именно поэтому для кратного корня во втором решении появляется множитель x: без него вторая функция совпала бы с первой, и вронскиан был бы равен нулю.
Пример 3. Уравнение третьего порядка y‴ − y′ = 0 имеет решения y₁ = 1, y₂ = eˣ, y₃ = e⁻ˣ. Подстановка: для единицы обе производные нулевые, для eˣ получаем eˣ − eˣ = 0, для e⁻ˣ получаем −e⁻ˣ − (−e⁻ˣ) = 0. Теперь определитель третьего порядка. В первой строке 1, eˣ, e⁻ˣ, во второй 0, eˣ, −e⁻ˣ, в третьей 0, eˣ, e⁻ˣ.
Первый столбец состоит из 1, 0, 0, поэтому раскрываем определитель по нему, и остаётся определитель второго порядка: W = eˣ · e⁻ˣ − (−e⁻ˣ) · eˣ = 1 + 1 = 2. Вронскиан равен 2 и не обращается в ноль, функций три, порядок уравнения три. Фундаментальная система найдена, ответ: y = C₁ + C₂eˣ + C₃e⁻ˣ.
Как вронскиан связан с формулой Лиувилля?
У вронскиана решений есть красивое свойство. Для уравнения y″ + p(x)y′ + q(x)y = 0 с непрерывными коэффициентами вронскиан любых двух решений находится по формуле Лиувилля – Остроградского: W(x) = C · exp(−∫ p(x) dx). Здесь C — постоянная, своя для каждой пары решений. Формула говорит, как ведёт себя вронскиан, даже если сами решения найти не удалось.
Отсюда важный вывод: экспонента никогда не равна нулю, поэтому вронскиан решений одного линейного однородного уравнения либо равен нулю при всех x сразу, либо не равен нулю ни при одном x на промежутке, где коэффициенты непрерывны. Не бывает так, что он обнулился в одной точке и ожил в другой. Значит, независимость достаточно проверить в одной удобной точке, например при x = 0.
Проверим на примерах. В первом примере p(x) = −3, поэтому −∫ p dx = 3x и по формуле W = C · e³ˣ. Прямой подсчёт дал e³ˣ, то есть C = 1. Во втором примере p(x) = −4, откуда W = C · e⁴ˣ, и снова всё сошлось. Это отличный способ самопроверки: если вронскиан не похож на экспоненту с таким показателем, ищи ошибку в производных.
Формулу Лиувилля используют и в обратную сторону. Если известно одно решение y₁, вронскиан находят по формуле, а равенство W = y₁ · y₂′ − y₂ · y₁′ превращается в линейное уравнение первого порядка для второго решения y₂. Так по одному найденному решению строят второе и получают целую фундаментальную систему, не решая уравнение заново с нуля.
Какие ошибки чаще всего делают при подсчёте вронскиана?
Первая ошибка: берут не те производные. В определителе должно быть ровно n функций и производные до порядка n − 1, а не до n. Для уравнения второго порядка нужны функции и их первые производные, вторые во вронскиан не входят. Вторая ошибка: путаница в производной произведения, особенно для функции x · e²ˣ, где забывают слагаемое с производной от самого x.
Третья ошибка: проверяют только вронскиан и не проверяют, что функции вообще решают уравнение. Вронскиан отвечает на вопрос о независимости, а подставить функции в уравнение всё равно нужно. Четвёртая: не сравнивают число функций с порядком. Для уравнения третьего порядка двух независимых решений мало, нужно три, и пара с ненулевым вронскианом фундаментальной системой не станет.
Чтобы не терять баллы, выработай порядок: подстановка в уравнение, потом вронскиан, потом вывод одной фразой. Например: «W(x) = e³ˣ ≠ 0, значит, решения линейно независимы и образуют фундаментальную систему». Такая запись нравится преподавателям, потому что видны и вычисление, и понимание. Свой пример реши на бумаге, а потом сверься с калькулятором дифференциальных уравнений Prepodoff: он решает пошагово и проверяет ответ подстановкой.
Можно ли считать функции зависимыми, если вронскиан равен нулю?
Зависит от того, чьи это функции. Если y₁ и y₂ — решения одного линейного однородного уравнения с непрерывными коэффициентами на промежутке, то W = 0 хотя бы в одной точке x₀ уже означает линейную зависимость. Причина в теореме единственности решения задачи Коши: найдутся C₁ и C₂, не равные нулю одновременно, при которых комбинация C₁y₁ + C₂y₂ и её производная в точке x₀ равны нулю, и тогда эта комбинация тождественно равна нулю. Пример: sin 2x и sin x · cos x, обе решают уравнение y″ + 4y = 0. Вторая функция равна половине первой, поэтому W = 0, и функции зависимы.
Для произвольных функций, не связанных одним уравнением, ситуация другая: из W = 0 зависимость не следует. Классический пример: y₁ = x² и y₂ = x · |x| на всей числовой оси. При x ≥ 0 обе функции равны x², при x < 0 вторая равна −x². Вронскиан всюду равен нулю, но равенство C₁x² + C₂x|x| = 0 при всех x возможно лишь при C₁ = C₂ = 0, так что функции независимы.
А если вронскиан решений обнулился в отдельной точке, а в остальных нет? Для решений линейного уравнения с непрерывными коэффициентами так не бывает. Скорее всего, в вычислениях ошибка, или в этой точке у уравнения коэффициенты разрывны. Проверь производные ещё раз, пересчитай определитель, не торопясь, и только потом делай вывод о независимости. Чаще всего причина оказывается в потерянном знаке или в неверной производной произведения.
Если хочешь проверить себя, открой калькулятор дифференциальных уравнений Prepodoff: он бесплатный, работает онлайн без регистрации и решает линейные уравнения с постоянными коэффициентами пошагово. Сравни его решения со своей фундаментальной системой, посмотри график и убедись, что подстановка даёт ноль. Вронскиан всё равно посчитай сам: на экзамене его нужно уметь составить вручную.
