Что утверждает теорема существования и единственности решения?
Теорема существования и единственности решения задачи Коши говорит: если в уравнении y′ = f(x, y) функция f и её частная производная ∂f/∂y непрерывны в окрестности точки (x₀, y₀), то через эту точку проходит решение, причём ровно одно. Иначе говоря, начальное условие y(x₀) = y₀ однозначно задаёт кривую, хотя бы на небольшом отрезке около x₀. Если условия нарушены, решений может не быть или быть бесконечно много.
Зачем нужна эта теорема, если можно просто решить уравнение?
На экзамене по дифференциальным уравнениям эту теорему часто включают в билет, и многие отвечают заученной формулировкой, не понимая, что она даёт. Это нормально: в практических задачах ты ищешь решение, а вопрос «есть ли оно вообще и одно ли оно» не возникает. Но теорема отвечает именно на него, и от ответа зависит, можно ли доверять найденной формуле.
Представь, что ты ищешь дорогу из точки на карте. Теорема гарантирует две вещи. Существование: хотя бы одна дорога из этой точки есть. Единственность: она одна, и две разные кривые-решения не могут пересечься или даже коснуться друг друга в точке, где условия выполнены. Поэтому график общего решения дифура — это семейство кривых, которые не пересекают друг друга и плотно заполняют область.
Есть и практический смысл. Если ты нашёл общее решение с постоянной C, а условия теоремы в нужной области выполнены, то любое начальное условие из этой области даст ровно одно значение C. А для численных методов вроде метода Эйлера теорема служит гарантией: ты приближаешь реально существующую и единственную кривую, а не гоняешь вычисления вхолостую.
Есть и связь с другой темой курса. Особое решение — это решение, в каждой точке которого нарушается единственность: через его точки проходят и другие решения. Поэтому искать особые решения нужно именно там, где условия теоремы не выполнены, например там, где производная ∂f/∂y обращается в бесконечность. Теорема подсказывает, где копать, и экономит время на проверках.
Какие условия проверяют в теореме и что значит «локально»?
Формулировка выглядит так. Дана задача Коши: y′ = f(x, y), y(x₀) = y₀. Пусть функция f(x, y) непрерывна в прямоугольнике с центром в точке (x₀, y₀), а её частная производная ∂f/∂y тоже непрерывна в этом прямоугольнике. Тогда найдётся такое число h > 0, что на отрезке x₀ − h ≤ x ≤ x₀ + h существует решение этой задачи, и оно единственное.
Непрерывность f отвечает за существование, непрерывность ∂f/∂y — за единственность. Часто вместо производной требуют условие Липшица: |f(x, y₁) − f(x, y₂)| ≤ L·|y₁ − y₂|, то есть f не может меняться по y слишком резко. Если ∂f/∂y непрерывна, это условие выполняется, поэтому в задачах обычно проверяют именно производную: так проще и понятнее.
Слово «локально» важно. Теорема гарантирует решение лишь на каком-то малом отрезке около x₀, а не на всей числовой оси, и насколько далеко решение продолжается, она не говорит. Для линейных уравнений y′ + p(x)·y = q(x) с непрерывными p и q ответ лучше: решение существует и единственно на всём интервале, где p и q непрерывны. Для второго порядка условия задают парой: y(x₀) = y₀ и y′(x₀) = y₁.
Как проверить условия теоремы по шагам?
Алгоритм короткий. Шаг первый: приведи уравнение к виду y′ = f(x, y), выразив производную. Шаг второй: найди область, где f непрерывна, и выпиши точки, где она не определена: деление на ноль, корень из отрицательного числа, логарифм неположительного числа. Шаг третий: найди частную производную ∂f/∂y, считая x константой, и тоже определи область её непрерывности.
Шаг четвёртый: проверь, лежит ли точка (x₀, y₀) внутри области, где непрерывны обе функции. Если да, то через эту точку проходит единственное решение. Если точка лежит на границе области или в точке разрыва, теорема не работает. Но это ещё не значит, что решения нет или оно не единственно: условия теоремы достаточные, а не необходимые. Тогда задачу придётся исследовать напрямую.
Именно эту оговорку любят спрашивать на экзамене. Выполнены условия — единственность есть. Не выполнены — возможно всё: решений может быть много, может не быть вовсе, а может оказаться ровно одно. Поэтому фраза «условие нарушено, значит, решений бесконечно много» — типичная ошибка. Правильный вывод звучит осторожнее: «теорема здесь ничего не гарантирует, нужно решать и смотреть».
Короткий образец. Задача: y′ = y/(x − 1), y(2) = 3. Здесь f = y/(x − 1) и ∂f/∂y = 1/(x − 1) непрерывны при x ≠ 1, а точка (2, 3) в эту область входит. Значит, решение существует и единственно в окрестности x = 2. Находим его: общее решение y = C·(x − 1), условие даёт C = 3, ответ y = 3x − 3. Проверка: y′ = 3, и y/(x − 1) = 3.
Как выглядит нарушение единственности на примере y′ = 3∛(y²)?
Пример 1. Задача Коши: y′ = 3∛(y²), y(0) = 0. Здесь f(x, y) = 3∛(y²) непрерывна на всей плоскости, значит, решение существует. Но производная ∂f/∂y = 2/∛y при y = 0 не определена, и условие единственности нарушено. Посмотрим, что происходит на деле. Первое решение очевидно: y = 0. Подстановка даёт 0 = 0, и начальное условие тоже выполнено.
Теперь разделим переменные при y ≠ 0: dy/∛(y²) = 3 dx. Интегрируем: 3∛y = 3x + C, откуда ∛y = x + C₁ и y = (x + C₁)³. Условие y(0) = 0 даёт C₁ = 0, то есть y = x³. Проверка: y′ = 3x², а 3∛((x³)²) = 3∛(x⁶) = 3x². Значит, через точку (0, 0) проходят как минимум два решения: y = 0 и y = x³.
На самом деле решений бесконечно много. Возьми любое число c и положи y = 0 при x ≤ c, а y = (x − c)³ при x > c. В точке x = c обе части и их производные равны нулю, поэтому склейка гладкая и тоже удовлетворяет уравнению. Кривая какое-то время лежит на оси, а потом «отрывается» от неё в произвольный момент. А вот для условия y(1) = 1 всё хорошо: там ∂f/∂y непрерывна, и вблизи точки x = 1 единственное решение — y = x³.
Типичные подозреваемые, когда единственность ломается, — дробные степени y с показателем между 0 и 1 и дроби с y в знаменателе. Ещё один пример: y′ = √y, y(0) = 0. Решение y = 0 очевидно. Второе находим разделением: dy/√y = dx, откуда 2√y = x + C, и при C = 0 получаем y = x²/4 для x ≥ 0. Проверка: y′ = x/2, а √y = x/2. Снова два решения через одну точку.
Может ли решение существовать только на части числовой оси?
Пример 2. Задача Коши: y′ = y², y(0) = 1. Здесь f = y² и ∂f/∂y = 2y непрерывны на всей плоскости, поэтому единственность гарантирована в любой точке. Но существование на всей оси теорема не обещает. Решаем: dy/y² = dx, откуда −1/y = x + C. Подставляем x = 0 и y = 1: −1 = C. Значит, −1/y = x − 1, то есть y = 1/(1 − x).
Проверка: y′ = 1/(1 − x)², и y² = 1/(1 − x)². Равенство верно, и y(0) = 1 тоже выполнено. Но при x → 1 знаменатель стремится к нулю, и решение уходит в бесконечность. Оно существует только на промежутке x < 1, хотя правая часть уравнения гладкая везде. Поэтому в теореме и сказано про некоторую окрестность точки, а не про всю прямую.
Вывод простой: единственность и существование на длинном отрезке — разные вещи. Решение может быть единственным и всё равно «взорваться» за конечное время. Так бывает, когда правая часть растёт быстрее линейной функции, как y². Для линейной правой части вроде y′ = y такой неприятности нет: решение y = C·eˣ определено при всех x. Для начала курса это хороший пример, чтобы понять разницу между локальным и глобальным.
Заметь, что граница существования зависит от начального значения. Для того же уравнения y′ = y² возьми условие y(0) = −1. Тогда −1/y = x + C, C = 1, и решение y = −1/(1 + x). Проверка: y′ = 1/(1 + x)², y² = 1/(1 + x)², и y(0) = −1. Теперь решение существует при x > −1, то есть оно уходит в бесконечность уже не справа, а слева от нуля.
Что делать, если правая часть не определена в начальной точке?
Пример 3. Уравнение y′ = y/x с условиями y(0) = 0 и отдельно y(0) = 1. Функция f = y/x не определена при x = 0, поэтому в точках (0, 0) и (0, 1) теорема неприменима. Решаем при x ≠ 0 и y ≠ 0: dy/y = dx/x, откуда ln|y| = ln|x| + const, то есть y = C·x. Случай C = 0 даёт y = 0. Проверка: y′ = C, а y/x = C·x/x = C.
Теперь начальные условия. Само уравнение при x = 0 не определено, поэтому решение понимают как функцию, которая удовлетворяет ему при x ≠ 0 и непрерывно принимает значение в нуле. Для y(0) = 0 подходит любая прямая y = C·x, ведь при x = 0 она даёт ноль при любом C, поэтому решений бесконечно много. Для y(0) = 1 равенство 1 = C·0 невозможно: ни одна прямая через начало координат не проходит через точку (0, 1), и решений нет вовсе. А в точке (1, 2) условия теоремы выполнены: C = 2, и единственное решение — y = 2x.
Так одна и та же особенность правой части даёт три разные картины: бесконечно много решений, ни одного и ровно одно. Свои выкладки удобно сверять в калькуляторе дифференциальных уравнений Prepodoff. Он бесплатный, работает онлайн без регистрации, решает задачу Коши пошагово, проверяет ответ подстановкой и строит график. Сначала реши сам на бумаге, а потом сравни свой ход с ходом калькулятора.
Можно ли с помощью теоремы найти само решение?
Нет. Теорема отвечает только на вопросы «есть ли решение» и «одно ли оно», а формулу не даёт. Это как справка о том, что дорога существует, но маршрута в ней нет. Решение ищут методами: разделением переменных, заменой, интегрирующим множителем. Если ответ не записывается в элементарных функциях, используют ряды или численные методы, и вот тогда теорема гарантирует, что ты приближаешь настоящую кривую.
Как отвечать на экзамене. Сформулируй задачу Коши, назови условия — непрерывность f и ∂f/∂y в окрестности точки (x₀, y₀) — и сделай вывод о существовании и единственности решения на некотором отрезке. Добавь, что условия достаточные, но не необходимые. Для иллюстрации приведи контрпример: y′ = 3∛(y²) с условием y(0) = 0, где есть решения y = 0 и y = x³. Это показывает понимание лучше, чем безупречно выученная формулировка.
Чтобы закрепить тему, возьми любое уравнение из задачника, найди область, где условия теоремы выполнены, реши задачу Коши сам и проверь результат в калькуляторе Prepodoff: там видно ход решения и проверку подстановкой. Если готовишься к экзамену, дедлайны и напоминания удобно вести в «Моём плане» — бесплатном планировщике студента в Telegram (@prepodoff_bot), где ИИ-тренер составляет план подготовки и объясняет теорию.
