Как проверить решение дифференциального уравнения: короткий ответ
Чтобы проверить решение дифференциального уравнения, подставь найденную функцию в исходное уравнение: найди нужные производные, поставь их на место y′, y″ и y и убедись, что левая часть превратилась в правую при любых x. Если в задаче есть условия Коши, отдельно подставь их в ответ. Если решение неявное, продифференцируй его по x и сравни с уравнением. Совпало — ответ верный, не совпало — ищи ошибку.
Почему дифур так трудно проверить самому, если ответа нет?
Знакомая картина: решил дифур, получил длинный ответ с экспонентами и константами, а сверить не с чем. В задачнике ответ есть не ко всем номерам, у однокурсника получилось что-то другое, а преподаватель проверит только на паре. Хуже всего, что верный ответ в разной записи выглядит непохоже: константу можно обозначить C, 2C или ln C, и формулы будут отличаться на вид.
Поэтому сравнивать свой ответ с чужим — ненадёжный способ. У ДУ есть преимущество, которого нет у многих других задач: решение можно проверить самому, без ответа в конце книги. Определение решения как раз и говорит, что функция должна обращать уравнение в тождество. Значит, достаточно взять ответ и честно подставить его обратно. Это занимает пару минут и работает для любого типа, будь то ОДУ с разделяющимися переменными или линейное уравнение второго порядка.
Привычка проверять решает сразу две проблемы. Во-первых, ты узнаёшь об ошибке до того, как сдал работу, а не после. Во-вторых, ты начинаешь лучше понимать, что такое решение: не набор формул из шаблона, а функция, которая удовлетворяет уравнению. Дальше разберём, как проверять общее решение, задачу Коши и неявный ответ, на примерах с полной выкладкой.
Как работает проверка подстановкой и что именно нужно проверить?
Решением дифференциального уравнения n-го порядка называется функция, которая n раз дифференцируема на некотором промежутке и при подстановке вместе со своими производными обращает уравнение в тождество на этом промежутке. Отсюда алгоритм проверки. Первое: выпиши найденную функцию y. Второе: найди все производные, которые входят в уравнение, до его порядка включительно. Третье: подставь y и производные в левую часть. Четвёртое: упрости и сравни с правой частью. Если получился ноль или нужное выражение при любых x, решение верное.
Для общего решения важна ещё одна вещь: число произвольных постоянных. У уравнения n-го порядка в общем решении должно быть n независимых констант C₁, C₂, …, Cₙ. Если у уравнения второго порядка в ответе одна постоянная, то ты нашёл только часть решений. Подстановка такую неполноту не покажет: функция может обращать уравнение в тождество, а семейство при этом остаётся неполным. Поэтому считай константы отдельным пунктом проверки.
Константы при подстановке должны сокращаться: если после упрощения C₁ или C₂ остались в выражении, значит, где-то ошибка в производной или в знаке. Это удобный сигнал. Верное общее решение превращает уравнение в тождество для любых допустимых значений констант, и они «уходят» сами. А вот в задаче Коши константы уже конкретные числа, и проверять нужно ещё и начальные условия, о чём ниже.
Как проверить общее решение линейного уравнения второго порядка?
Возьмём уравнение: y″ − 3y′ + 2y = 0. Характеристическое уравнение λ² − 3λ + 2 = 0 даёт корни λ₁ = 1 и λ₂ = 2, поэтому ты записал ответ: y = C₁eˣ + C₂e²ˣ. Проверим его. Сначала находим производные: y′ = C₁eˣ + 2C₂e²ˣ и y″ = C₁eˣ + 4C₂e²ˣ. Они нужны, чтобы подставить их в левую часть уравнения.
Подставляем в левую часть: y″ − 3y′ + 2y = (C₁eˣ + 4C₂e²ˣ) − 3(C₁eˣ + 2C₂e²ˣ) + 2(C₁eˣ + C₂e²ˣ). Собираем слагаемые с C₁eˣ: коэффициент 1 − 3 + 2 = 0. Собираем слагаемые с C₂e²ˣ: коэффициент 4 − 6 + 2 = 0. Левая часть равна нулю при любых x, C₁ и C₂, то есть равна правой части. Решение верное, и констант в нём две, как и положено для второго порядка.
Заметь, как работает проверка на ошибке. Допустим, ты перепутал знак и записал корни как −1 и −2, получив y = C₁e⁻ˣ + C₂e⁻²ˣ. Тогда y′ = −C₁e⁻ˣ − 2C₂e⁻²ˣ и y″ = C₁e⁻ˣ + 4C₂e⁻²ˣ, а коэффициент при C₁e⁻ˣ равен 1 + 3 + 2 = 6, не ноль. Тождества нет, значит, ответ неверный. Ошибка нашлась за минуту, не дожидаясь проверки преподавателя.
Как проверить задачу Коши и неоднородное уравнение?
Здесь проверок две: уравнение и начальные условия. Возьмём y′ + y = x с условием y(0) = 2. Это линейное уравнение первого порядка, и ты получил общее решение y = x − 1 + Ce⁻ˣ. Подставляем условие: x = 0, y = 2, откуда −1 + C = 2 и C = 3. Частное решение: y = x − 1 + 3e⁻ˣ. Теперь проверим, что оно годится.
Проверяем уравнение. Производная: y′ = 1 − 3e⁻ˣ. Складываем: y′ + y = (1 − 3e⁻ˣ) + (x − 1 + 3e⁻ˣ) = x. Показательные слагаемые сократились, единицы тоже, остался x — ровно правая часть. Теперь условие: y(0) = 0 − 1 + 3e⁰ = −1 + 3 = 2. Совпало. Обе проверки пройдены, значит, и общее решение, и константа найдены правильно.
Для уравнения второго порядка условий два: y(x₀) и y′(x₀). Вернёмся к решению y = C₁eˣ + C₂e²ˣ с условиями y(0) = 1 и y′(0) = 0. Подстановка даёт систему: C₁ + C₂ = 1 и C₁ + 2C₂ = 0, откуда C₂ = −1 и C₁ = 2. Частное решение: y = 2eˣ − e²ˣ. Проверка условий: y(0) = 2 − 1 = 1, а y′ = 2eˣ − 2e²ˣ, поэтому y′(0) = 2 − 2 = 0.
Обрати внимание на частую ошибку: условие на производную подставляют в саму функцию, а не в y′. Поэтому в проверке всегда сначала выписывай производную явно, и только потом подставляй x₀. Саму постановку и способы решения задачи Коши мы разбираем в отдельной статье, а здесь важно одно: проверка условий не заменяет проверку уравнения, нужны обе.
Как проверить неявное решение и не потерять частные решения?
Ответ не всегда записан как y = f(x). Например, для уравнения x + yy′ = 0 разделением переменных получается y dy = −x dx и ответ x² + y² = C, где C > 0. Это неявное решение, и подставлять в него y′ напрямую нельзя. Нужно продифференцировать равенство по x, помня, что y — функция от x. Получаем 2x + 2yy′ = 0, то есть x + yy′ = 0. Это в точности исходное уравнение, значит, ответ верен.
Если дано условие y(0) = 1, подставь его в неявный ответ: 0 + 1 = C, значит, C = 1 и x² + y² = 1. Явная запись в окрестности этой точки такая: y = √(1 − x²), потому что y положителен. Проверим: y′ = −x/√(1 − x²), и тогда yy′ = √(1 − x²) · (−x/√(1 − x²)) = −x. Складываем: x + yy′ = x − x = 0. Равенство верно на промежутке −1 < x < 1.
Вторая ловушка — потерянные решения. Возьмём y′ = y². Делим на y² и интегрируем: dy/y² = dx, откуда −1/y = x + C и y = −1/(x + C). Проверка: y′ = 1/(x + C)², а y² = 1/(x + C)², равенство верное при любом C. Константа ушла сама, как и должно быть, и подстановка вроде бы закрывает вопрос. Но не спеши ставить точку.
При делении на y² мы предположили, что y ≠ 0. Подстановка y = 0 даёт 0 = 0, значит, y = 0 тоже решение, и в формулу при конечном C оно не входит. Это не мелочь: при условии y(0) = 0 формула даёт −1/C = 0, и подходящего C нет, а ответ задачи Коши — как раз y = 0. Всегда проверяй, что стало с тем, на что делил.
Какие ошибки находит проверка подстановкой, а какие нет?
Подстановка надёжно ловит ошибки в вычислениях: потерянный знак, неверный коэффициент, забытый множитель после интегрирования, неправильную производную. Если получилось тождество, значит, функция действительно удовлетворяет уравнению, как бы ты к ней ни пришёл. Это сильнее, чем сверка с ответом: ты проверяешь не совпадение записей, а само определение решения, и поэтому не зависишь от чужой записи ответа.
Но есть то, что подстановка не покажет. Она не скажет, что ты потерял решения вроде y = 0 при делении на функцию. Не скажет, что общее решение неполное, если констант меньше порядка уравнения. Не заметит, что ты взял не тот промежуток, на котором функция определена. Поэтому к подстановке добавляй три коротких вопроса: сколько констант, на что я делил и где определено решение.
Если хочется посмотреть ход решения и сверить его со своим, пригодится калькулятор дифференциальных уравнений Prepodoff. Он бесплатный, работает онлайн без регистрации и решает пошагово, как на парах, а каждый ответ проверяет подстановкой и строит график. Сначала реши сам, потом сравни шаги: так видно, на каком этапе вы разошлись, и в следующий раз ты не повторишь ту же ошибку.
Можно ли проверить решение дифура калькулятором и что делать, если проверка не сходится?
Можно, и это нормальный способ самопроверки, если пользоваться им после собственного решения, а не вместо него. Введи уравнение в калькулятор Prepodoff, сравни свой ответ с найденным и посмотри шаги. Помни, что формы записи могут отличаться: константы можно переобозначить, а логарифм и модуль записывать по-разному. Если ответы выглядят непохоже, подставь свой в уравнение, а не сравнивай глазами.
Что делать, если подстановка не сошлась? Не стирай всё. Найди, на каком шаге расходится: сначала перепроверь производные ответа, потом знаки при упрощении, потом сам вывод решения. Чаще всего ошибка лежит в одном из трёх мест: производная сложной функции, перенос слагаемого через знак равенства или константа после интегрирования. Если левая часть отличается от правой на понятный множитель, смотри на коэффициенты.
На сайте PDF-отчёт с решением могут скачать зарегистрированные пользователи. Калькулятор есть и в Telegram-боте @prepodoff_bot: там PDF присылает бот, а решением можно поделиться с однокурсником, чтобы вместе разобрать, где расходятся шаги. А если до экзамена осталось мало времени, внеси даты в «Мой план»: ИИ-тренер составит план подготовки к экзамену и объяснит теорию.
Итог простой: нашёл ответ — продифференцируй и подставь, пересчитай константы, проверь начальные условия и вспомни, на что делил. Две-три минуты на такую проверку нередко стоят целого балла на экзамене, а главное, ты сам уверен в результате и не зависишь от ответа в конце задачника. Делай её сразу после каждого номера, пока выкладки свежи в голове: так ошибки не копятся до контрольной.
