Как записать общее решение линейного однородного уравнения с постоянными коэффициентами?
Возьми уравнение a·y″ + b·y′ + c·y = 0 и составь характеристическое: ak² + bk + c = 0. Найди его корни. Два разных действительных корня k₁ и k₂ дают общее решение: y = C₁·exp(k₁x) + C₂·exp(k₂x). Один кратный корень k даёт: y = (C₁ + C₂x)eᵏˣ. Пара комплексных корней α ± βi даёт: y = eᵅˣ(C₁cos βx + C₂sin βx). Для ДУ третьего порядка и выше правило то же: каждый корень вносит в ответ свои слагаемые.
Почему так трудно перейти от корней к ответу?
Знакомая картина: характеристическое уравнение ты решил верно, корни нашёл, а дальше замираешь. Ответ нужно записать в одной из трёх форм, и по памяти легко перепутать, где стоит множитель x, где синус, а где просто сумма экспонент. В итоге получается запись, которая либо не похожа на ответ из задачника, либо выглядит прилично, но решением не является. Такая путаница возникает, когда формулы выучены, а их происхождение не понято.
Хорошая новость: формул всего три, и все они выводятся из одной идеи. Мы ищем решение в виде y = eᵏˣ, потому что производная такой функции — снова та же функция, умноженная на число. Поэтому дифференциальное уравнение превращается в обычное алгебраическое, и вся задача сводится к поиску чисел k. Дальше нужно лишь понять, сколько независимых решений даёт каждый корень и как собрать их в общее решение.
Слово «однородное» здесь означает, что справа стоит ноль. Слово «линейное» — что y и её производные входят в первой степени, без произведений и функций вроде sin y. «Постоянные коэффициенты» — что a, b, c являются числами, а не выражениями с x. Если хотя бы одно условие нарушено, метод в чистом виде не сработает. Для переменных коэффициентов нужны другие приёмы, хотя есть исключение — уравнение Эйлера, которое заменой x = eᵗ сводится к постоянным коэффициентам. Для ненулевой правой части к ответу добавляют частное решение: его подбирают или находят вариацией постоянных.
Как составить характеристическое уравнение и откуда оно берётся?
Подставь в уравнение a·y″ + b·y′ + c·y = 0 функцию y = eᵏˣ. Тогда y′ = k·eᵏˣ, а y″ = k²·eᵏˣ. Получается равенство: eᵏˣ(ak² + bk + c) = 0. Экспонента никогда не равна нулю, поэтому на неё можно сократить. Остаётся: ak² + bk + c = 0. Это и есть характеристическое уравнение. Правило запоминается просто: вторая производная заменяется на k², первая на k, а сама функция на единицу.
В части учебников неизвестную обозначают λ, смысл тот же. Для уравнения n-го порядка получается многочлен степени n: производная порядка m превращается в kᵐ. Например, из y‴ − y″ − 4y′ + 4y = 0 выходит k³ − k² − 4k + 4 = 0. Если в уравнении нет какой-то производной, соответствующая степень просто пропадает: y″ + 4y = 0 даёт k² + 4 = 0, а не k² + 4k = 0. На этом простом месте студенты теряют баллы чаще всего.
Затем находишь корни. Для квадратного уравнения считаешь дискриминант D = b² − 4ac. Если D > 0, корни действительные и разные. Если D = 0, корень один, кратности 2. Если D < 0, корни комплексные сопряжённые. Именно эти три ситуации и порождают три формулы ответа. Для ОДУ высших порядков многочлен раскладывают на множители. Если коэффициенты целые, а старший равен единице, целый корень ищут среди делителей свободного члена, а затем делят многочлен на (k − корень).
Что делать, если корни действительные и разные?
Каждому корню соответствует своё решение eᵏˣ. Если корней два, k₁ ≠ k₂, то exp(k₁x) и exp(k₂x) линейно независимы: ни одно не получается из другого умножением на число. Формально это проверяют определителем Вронского, но для экспонент с разными показателями факт стандартный. Общее решение — их линейная комбинация: y = C₁·exp(k₁x) + C₂·exp(k₂x). Постоянных две, потому что порядок уравнения равен двум.
Пример 1. Решим y″ − 5y′ + 6y = 0. Характеристическое уравнение: k² − 5k + 6 = 0. Дискриминант D = 25 − 24 = 1, корни k = (5 ± 1)/2, то есть k₁ = 2 и k₂ = 3. Ответ: y = C₁e²ˣ + C₂e³ˣ. Проверим слагаемое e³ˣ: y′ = 3e³ˣ, y″ = 9e³ˣ, и 9e³ˣ − 15e³ˣ + 6e³ˣ = 0. Для e²ˣ получаем 4 − 10 + 6 = 0. Оба слагаемых подходят, значит, и вся комбинация подходит.
Корни могут быть и отрицательными, и нулевыми. Если k = 0, то e⁰ˣ = 1, и в ответе появляется просто константа. Например, у уравнения y″ − y′ = 0 характеристическое уравнение k² − k = 0, корни 0 и 1, ответ y = C₁ + C₂eˣ. Не пугайся такого вида: константа здесь — полноправное решение, ведь производная постоянной равна нулю, и уравнение выполняется.
Как записать ответ, если корень кратный?
При D = 0 корень один, k₁ = k₂ = k. Тогда eᵏˣ даёт только одно решение, а нужно два. Второе решение — x·eᵏˣ. Общее решение: y = (C₁ + C₂x)eᵏˣ. Если кратность корня равна m, в скобках стоит многочлен степени m − 1: C₁ + C₂x + … + Cₘxᵐ⁻¹. Просто повторить экспоненту нельзя: слагаемые C₁eᵏˣ и C₂eᵏˣ сливаются в одно, и постоянная пропадает.
Пример 2. Решим y″ − 6y′ + 9y = 0. Характеристическое уравнение: k² − 6k + 9 = 0, то есть (k − 3)² = 0, значит k = 3 — корень кратности 2. Ответ: y = (C₁ + C₂x)e³ˣ. Проверим решение xe³ˣ. Первая производная: e³ˣ + 3xe³ˣ. Вторая: 6e³ˣ + 9xe³ˣ. Подставляем: 6e³ˣ + 9xe³ˣ − 6e³ˣ − 18xe³ˣ + 9xe³ˣ = 0. Всё сокращается, второе решение найдено верно.
Частый случай — корень k = 0 кратности 2, например у уравнения y″ = 0. Характеристическое уравнение k² = 0, ответ y = C₁ + C₂x. Это семейство прямых, и вторая производная у каждой действительно равна нулю. Такой пример полезно держать в голове для проверки здравого смысла: если забыть множитель x, останется только константа, и она не опишет все решения.
Как записать решение, если корни комплексные?
При D < 0 корни имеют вид k = α ± βi, где α = −b/(2a), а β = √(4ac − b²)/(2a) при a > 0. Они сопряжённые, поэтому два комплексных решения exp((α + βi)x) и exp((α − βi)x) можно заменить двумя действительными: eᵅˣcos βx и eᵅˣsin βx. Это следует из формулы Эйлера: eⁱᵝˣ = cos βx + i·sin βx. Общее решение: y = eᵅˣ(C₁cos βx + C₂sin βx). Запомни: действительная часть корня идёт в показатель экспоненты, мнимая — в аргумент косинуса и синуса.
Пример 3. Решим y″ + 2y′ + 5y = 0. Характеристическое уравнение: k² + 2k + 5 = 0, D = 4 − 20 = −16. Корни: k = (−2 ± 4i)/2 = −1 ± 2i. Значит, α = −1, β = 2. Ответ: y = e⁻ˣ(C₁cos 2x + C₂sin 2x). Проверка для e⁻ˣcos 2x: y′ = −e⁻ˣcos 2x − 2e⁻ˣsin 2x, y″ = −3e⁻ˣcos 2x + 4e⁻ˣsin 2x. Коэффициент при косинусе: −3 − 2 + 5 = 0, при синусе: 4 − 4 = 0.
Если α = 0, корни чисто мнимые, и экспонента исчезает. Пример 4 с условиями: y″ + 4y = 0, y(0) = 1, y′(0) = 2. Корни k = ±2i, общее решение y = C₁cos 2x + C₂sin 2x. Из первого условия y(0) = C₁ = 1. Производная y′ = −2C₁sin 2x + 2C₂cos 2x, поэтому y′(0) = 2C₂ = 2, откуда C₂ = 1. Ответ задачи Коши: y = cos 2x + sin 2x. Такой вид описывает гармонические колебания.
Как решать уравнения третьего порядка и выше?
Принцип тот же, меняется только число корней. Уравнение порядка n имеет n корней с учётом кратности, и общее решение содержит ровно n произвольных постоянных. Каждый действительный корень кратности m даёт m слагаемых: eᵏˣ, x·eᵏˣ, …, xᵐ⁻¹·eᵏˣ. Каждая пара комплексных корней α ± βi кратности 2 даёт четыре слагаемых: eᵅˣcos βx, eᵅˣsin βx, x·eᵅˣcos βx, x·eᵅˣsin βx.
Пример 5. Решим y‴ − y″ − 4y′ + 4y = 0. Характеристическое уравнение: k³ − k² − 4k + 4 = 0. Группируем: k²(k − 1) − 4(k − 1) = (k − 1)(k² − 4) = (k − 1)(k − 2)(k + 2). Корни: 1, 2 и −2, все разные и действительные. Ответ: y = C₁eˣ + C₂e²ˣ + C₃e⁻²ˣ. Три постоянные соответствуют третьему порядку. Проверка для e⁻²ˣ: −8 − 4 + 8 + 4 = 0.
Если группировка не видна, подбирай целые корни среди делителей свободного члена. В примере это ±1, ±2, ±4. Подставил k = 1, получил 1 − 1 − 4 + 4 = 0, значит, (k − 1) является делителем. Поделил многочлен на (k − 1) и получил квадратный трёхчлен, который решается как обычно. Этот приём стоит потренировать отдельно: на контрольных именно подбор корня съедает больше всего времени.
Как проверить, что ответ верный?
Проверка делается подстановкой, и она короче, чем кажется. Берёшь каждое слагаемое общего решения отдельно, находишь нужное число производных и подставляешь в уравнение. Если получился ноль, слагаемое — решение. Достаточно проверить каждое базисное слагаемое по отдельности: линейность уравнения гарантирует, что любая их комбинация с постоянными тоже подходит. Именно так мы проверяли примеры выше. Этот приём работает для любых линейных диффуров, не только для этой темы.
Проверь и количество постоянных: их должно быть столько, каков порядок уравнения, а базисные функции должны быть линейно независимы. Если у уравнения второго порядка в ответе одна или три константы, где-то ошибка. Ещё одна ловушка — знак корня. Для k² − 5k + 6 = 0 корни положительные, 2 и 3, и показатели в ответе положительные. Для k² + 5k + 6 = 0 корни были бы −2 и −3, и ответ выглядел бы как C₁e⁻²ˣ + C₂e⁻³ˣ.
Чтобы проверить себя и посмотреть ход решения, можно воспользоваться калькулятором дифференциальных уравнений Prepodoff. Он бесплатный, работает онлайн без регистрации и решает пошагово, в том числе линейные уравнения с постоянными коэффициентами и задачу Коши. Каждый ответ проверяется подстановкой, и строится график. Сначала реши сам на бумаге, потом сравни корни и форму ответа с его шагами.
Можно ли проверять дифуры калькулятором и что делать, если ответ не сходится?
Можно, если использовать его как проверку, а не замену. Списанное решение не поможет на контрольной, где подсказок нет и характеристическое уравнение нужно составить самому. Хороший порядок такой: решаешь сам, сверяешь корни, смотришь, на каком шаге пути разошлись. В калькуляторе на странице /tools/differential-equations решение показано по шагам, поэтому видно, где именно закралась ошибка.
Что делать, если ответ не совпал с задачником? Сначала перепроверь дискриминант: частая ошибка — неверный знак перед b. Затем убедись, что форма ответа соответствует типу корней: для комплексных обязательны косинус и синус, для кратного — множитель x. Иногда ответ записан в другой, но равносильной форме, например A·sin(2x + φ) вместо C₁cos 2x + C₂sin 2x. Тогда сравнивай подстановкой, а не глазами.
Если решение нужно сдать в виде файла, зарегистрированные пользователи могут скачать PDF-отчёт. Тот же решатель есть и в Telegram-боте @prepodoff_bot: там PDF присылает бот, а решением можно поделиться с однокурсником. А чтобы разложить подготовку к контрольной по дням, пригодится «Мой план» — бесплатный планировщик в том же боте: расписание пар, дедлайны, напоминания и ИИ-тренер, который составит план подготовки к экзамену.
