Что такое фундаментальная система решений: короткий ответ
Фундаментальная система решений — это набор из n линейно независимых решений линейного однородного дифференциального уравнения порядка n. Если уравнение второго порядка, в системе два решения y₁ и y₂, если третьего — три. Главное свойство: любое другое решение этого уравнения получается из них как комбинация. Общее решение выглядит так: y = C₁y₁ + C₂y₂ + … + Cₙyₙ. Постоянные C₁, …, Cₙ подбираются под начальные условия.
Почему путаешься, сколько решений нужно и как собрать из них общее?
Знакомая ситуация: в задачнике написано «найдите фундаментальную систему решений», а ты нашёл одну функцию, которая подходит, и не знаешь, хватит ли её. Или нашёл три функции для уравнения второго порядка и не понимаешь, какую выбросить. Термин звучит тяжело, хотя за ним стоит простая вещь: набор «кирпичиков», из которых строится любой ответ. Путаница обычно возникает из-за двух вопросов: сколько кирпичиков нужно и как убедиться, что они разные.
Причина в том, что на лекции определение даётся одной строкой, а потом сразу идут вронскиан и теорема. Ты записываешь формулы, но общей картины не видишь. Давай её восстановим. В ответе для дифуров (диффуров) второго порядка всегда две произвольные постоянные, для третьего порядка — три. Каждая постоянная стоит перед своей функцией. Фундаментальная система решений как раз и есть список этих функций.
Если держать в голове такую картину, большинство задач на ФСР решается без заучивания. Нужно найти n решений, проверить, что они не получаются друг из друга умножением на число и сложением, и записать сумму с постоянными. Остальное — техника: корни характеристического уравнения, определитель, подстановка начальных условий. Каждый из этих шагов ниже разобран отдельно.
Сколько решений входит в фундаментальную систему ОДУ?
Ровно столько, каков порядок уравнения. Для линейного однородного ОДУ порядка n с непрерывными на промежутке коэффициентами множество всех решений устроено как n-мерное пространство: чтобы описать любое решение, нужно n чисел. Поэтому у уравнения y″ + y = 0 в системе два решения, у y‴ − y′ = 0 — три, а у y′ + 2y = 0 — одно. Меньше n функций не хватит, чтобы получить все решения, а больше n окажется лишним.
Почему именно n? Интуитивно это видно на простейшем уравнении y⁽ⁿ⁾ = 0: его нужно проинтегрировать n раз, и каждое интегрирование приносит одну постоянную. Есть и более строгая причина: начальные условия y(x₀), y′(x₀), …, y⁽ⁿ⁻¹⁾(x₀) задают решение однозначно, и их ровно n. Значит, и свободных параметров в общем решении ровно n, ни больше ни меньше.
Важна оговорка: речь идёт о линейных однородных уравнениях, то есть о таких, где y и все его производные входят в первой степени, а правая часть равна нулю. Для неоднородного уравнения фундаментальная система относится к соответствующему однородному, а к ответу добавляется ещё частное решение. Для нелинейных уравнений понятие ФСР не применяют.
Как проверить линейную независимость решений: определитель Вронского?
Функции y₁, y₂, …, yₙ называются линейно независимыми, если равенство C₁y₁ + C₂y₂ + … + Cₙyₙ = 0 на всём промежутке возможно только при всех нулевых C. Если же можно подобрать постоянные, не все нулевые, функции зависимы: одна выражается через другие. Например, eˣ и 2eˣ зависимы, а eˣ и e²ˣ — нет.
Для проверки используют определитель Вронского, или вронскиан. Для двух функций он считается так: W(x) = y₁y₂′ − y₂y₁′. Для трёх функций составляется определитель третьего порядка: в первой строке сами функции, во второй их первые производные, в третьей вторые. Если n решений уравнения порядка n дают W(x) ≠ 0 хотя бы в одной точке промежутка, где коэффициенты непрерывны, система фундаментальная.
Здесь работает формула Лиувилля: для уравнения y″ + a₁(x)y′ + a₂(x)y = 0 с непрерывными коэффициентами вронскиан двух решений равен W(x) = C·e^(−∫a₁(x) dx). Экспонента никогда не обращается в ноль, поэтому вронскиан решений либо тождественно равен нулю, либо не равен нулю нигде. Отсюда практический вывод: достаточно проверить любую удобную точку, например x = 0. Но для произвольных функций, не решений одного уравнения, это правило не гарантировано.
Как найти фундаментальную систему для уравнения с постоянными коэффициентами?
Алгоритм для уравнения a₀y⁽ⁿ⁾ + … + aₙy = 0 с постоянными коэффициентами, где a₀ ≠ 0, такой. Шаг первый: ищем решения вида y = e^(λx) и составляем характеристическое уравнение, заменяя y⁽ᵏ⁾ на λᵏ. Шаг второй: находим все n корней с учётом кратности. Шаг третий: каждому корню сопоставляем функции по правилу из следующего абзаца. Шаг четвёртый: проверяем независимость вронскианом и записываем общее решение.
Правила такие. Простой действительный корень λ даёт функцию e^(λx). Корень λ кратности m даёт m функций: e^(λx), x·e^(λx), …, xᵐ⁻¹·e^(λx). Пара комплексных корней α ± βi даёт две функции: e^(αx)·cos βx и e^(αx)·sin βx. Подробнее о корнях написано в статье про характеристическое уравнение, а здесь важно, что количество функций всегда совпадает с порядком.
Пример 1. Найти фундаментальную систему решений уравнения y″ − 3y′ + 2y = 0. Характеристическое уравнение: λ² − 3λ + 2 = 0, корни λ₁ = 1 и λ₂ = 2. Фундаментальная система: y₁ = eˣ, y₂ = e²ˣ. Вронскиан: W = eˣ·2e²ˣ − e²ˣ·eˣ = 2e³ˣ − e³ˣ = e³ˣ ≠ 0, значит, решения независимы. Общее решение: y = C₁eˣ + C₂e²ˣ. Проверка для e²ˣ: 4e²ˣ − 6e²ˣ + 2e²ˣ = 0.
Заметь, что результат согласуется с формулой Лиувилля: коэффициент при y′ равен −3, поэтому W = C·e³ˣ, и при C = 1 получается ровно найденный вронскиан. Такое совпадение — хороший способ поймать арифметическую ошибку. Корни и вид функций можно сверить в калькуляторе дифференциальных уравнений Prepodoff: он показывает ход решения, и ты видишь, на каком шаге разошёлся с ним.
Как из фундаментальной системы получить решение задачи Коши?
Пример 2. Решить задачу Коши: y″ + 4y = 0, y(0) = 1, y′(0) = 2. Характеристическое уравнение λ² + 4 = 0 даёт λ = ±2i, то есть α = 0, β = 2. Фундаментальная система: y₁ = cos 2x, y₂ = sin 2x. Вронскиан: W = cos 2x·2cos 2x − sin 2x·(−2 sin 2x) = 2cos²2x + 2sin²2x = 2 ≠ 0. Общее решение: y = C₁ cos 2x + C₂ sin 2x.
Теперь подставляем условия. Из первого: y(0) = C₁·1 + C₂·0 = C₁, значит, C₁ = 1. Производная: y′ = −2C₁ sin 2x + 2C₂ cos 2x. Из второго условия: y′(0) = 2C₂ = 2, значит, C₂ = 1. Ответ: y = cos 2x + sin 2x. Проверка: y″ = −4cos 2x − 4 sin 2x, и y″ + 4y = 0 выполняется, а y(0) = 1 и y′(0) = −2·0 + 2·1 = 2.
Обрати внимание, как вронскиан работает в задаче Коши. Система для C₁ и C₂ имеет определитель, равный вронскиану в точке x₀, то есть W(0) = 2. Он не равен нулю, поэтому постоянные находятся однозначно при любых начальных данных. В этом и состоит настоящий смысл фундаментальной системы: она позволяет выполнить любое начальное условие, а по теореме единственности формула C₁y₁ + C₂y₂ описывает все решения уравнения без исключения.
Как по фундаментальной системе восстановить уравнение?
Иногда задача обратная: даны функции, нужно составить уравнение, для которого они образуют ФСР. Пример 3. Составить линейное однородное уравнение с постоянными коэффициентами, фундаментальная система которого — функции eˣ и xeˣ. Функция xeˣ говорит о кратном корне: значит, λ = 1 имеет кратность 2. Характеристический многочлен: (λ − 1)² = λ² − 2λ + 1.
Возвращаемся от λ к производным: λ² соответствует y″, λ — y′, свободный член — y. Получаем уравнение y″ − 2y′ + y = 0. Проверим для y = xeˣ. Производные: y′ = eˣ + xeˣ, y″ = 2eˣ + xeˣ. Тогда y″ − 2y′ + y = 2eˣ + xeˣ − 2eˣ − 2xeˣ + xeˣ = 0. Для eˣ все производные равны eˣ, и 1 − 2 + 1 = 0. Вронскиан равен e²ˣ ≠ 0, система фундаментальная.
Тот же приём работает для комплексных корней. Если в системе есть cos 3x и sin 3x, то корни равны ±3i, многочлен равен λ² + 9, а уравнение — y″ + 9y = 0. Если нужно уравнение выше второго порядка, перемножаешь многочлены для каждой группы функций. Проверять результат стоит подстановкой хотя бы одной функции из системы: так ты ловишь ошибки до сдачи, а не после.
Можно ли взять любые n решений и что делать, если вронскиан равен нулю?
Любые n решений брать нельзя: они должны быть линейно независимыми. Например, для y″ − y = 0 решения eˣ и 3eˣ годятся по отдельности, но вместе дают только семейство Ceˣ и теряют e⁻ˣ. Их вронскиан: eˣ·3eˣ − 3eˣ·eˣ = 0. Правильная система здесь eˣ и e⁻ˣ, вронскиан равен eˣ·(−e⁻ˣ) − e⁻ˣ·eˣ = −2 ≠ 0.
Если вронскиан решений оказался равен нулю, значит, либо ты ошибся в вычислениях, либо функции действительно зависимы, и одну из них нужно заменить. Вспомни: у решений одного линейного уравнения вронскиан нулевой либо тождественно, либо нигде. Поэтому ноль даже в одной точке означает зависимость. Проверь, не получается ли одна функция из другой, например sin 2x и sin x·cos x: ведь sin 2x = 2 sin x·cos x.
Ещё один частый вопрос: единственна ли фундаментальная система. Нет, их бесконечно много. Для y″ + 4y = 0 подойдёт и пара cos 2x, sin 2x, и пара cos 2x + sin 2x, cos 2x − sin 2x. Общее решение при этом описывает одно и то же множество функций, меняются только значения постоянных. На экзамене достаточно любой верной системы, обычно берут самую простую, которую даёт характеристическое уравнение.
Как проверить себя, когда нашёл фундаментальную систему?
Три проверки занимают несколько минут. Первая: подставь каждую функцию системы в уравнение, левая часть должна обратиться в ноль. Вторая: сосчитай вронскиан и убедись, что он не равен нулю. Третья: пересчитай функции, их должно быть столько, каков порядок уравнения. Если все три проверки пройдены, система верна, и общее решение можно писать без сомнений.
Для самопроверки удобен калькулятор дифференциальных уравнений Prepodoff. Он бесплатный, работает онлайн и без регистрации. Вводишь однородное уравнение и смотришь, как оно решается пошагово, как на парах: характеристическое уравнение, корни, функции, общий ответ. Каждый ответ проверяется подстановкой, строится график. Сначала реши сам на листе, потом сравни ход решения, а не переписывай готовое.
Если нужен отчёт для преподавателя, зарегистрированные пользователи могут скачать PDF с решением, а в Telegram-боте @prepodoff_bot PDF присылает бот, и решением можно поделиться с однокурсником. А чтобы подготовка к экзамену не рассыпалась, добавь пары и дедлайны в бесплатный планировщик «Мой план» (/bot): ИИ-тренер составит план подготовки и объяснит теорию, в том числе про линейные уравнения и фундаментальные системы.
