🌊 Диффуры

Задача Коши для дифференциального уравнения

англ. Cauchy problem for an ODE

Уравнение плюс начальные условия в одной точке: все производные до n−1 включительно заданы в x₀; ищется решение, проходящее через эту точку с заданным наклоном.

Задача Коши — это дифференциальное уравнение вместе с начальными условиями, заданными в одной точке: для уравнения $n$ -го порядка известны $y (x_{0}), y^{'} (x_{0}), \dots, y^{(n - 1)} (x_{0})$ . Для первого порядка хватит $y (x_{0}) = y_{0}$ : геометрически мы стоим в точке $(x_{0}, y_{0})$ и знаем, куда направлена касательная. Смысл в предсказании: по состоянию «сейчас» восстановить всё будущее (и прошлое) движение. Общая постановка для первых порядков — в уроке основы ДУ первого порядка, альтернатива с условиями на двух концах — в материале краевые задачи для ДУ и в термине краевая задача.

Фундамент — теорема существования и единственности: если правая часть $f (x, y)$ непрерывна и липшицева по $y$ в окрестности точки, решение задачи Коши существует, единственно и непрерывно зависит от начальных данных. Липшицевость грубо значит «наклоны поля не разбегаются быстрее линейно»; классический контрпример — $y^{'} = ∣ y ∣$ , где через начало проходят два решения: $y = 0$ и $y = x^{2} /4$ . Нарушение единственности — это не мелочь, а сигнал: уравнение описывает систему с ветвлением, и тогда вступают в игру особые решения.

y^{(n)} = f (x, y, y^{'}, \dots, y^{(n - 1)}), y (x_{0}) = y_{0}, y^{'} (x_{0}) = y_{1}, \dots

постановка задачи Коши: все условия подвешены к одной точке x₀ — этим она отличается от краевой задачи

Частые вопросы

Чем задача Коши отличается от краевой задачи?

Местом приложения условий. В задаче Коши всё известно в одной точке: значение и производные — информация «здесь и сейчас», решение строится наружу. В краевой задаче условия сидят на разных концах отрезка, например $y (0) = 0$ , $y (1) = 1$ , и решение приходится подгонять сразу целиком — оно может не существовать или быть не единственным даже при гладкой правой части. Механика: задача Коши — старт с известной скоростью, краевая — попадание в цель на другом конце.

Когда решение задачи Коши не единственно?

Когда правая часть недостаточно гладкая по неизвестной. Теорема требует непрерывности и условия Липшица (или хотя бы непрерывности частной производной $f_{y}$ ); в окрестности, где оно нарушается, решения могут ветвиться. Пример $y^{'} = ∣ y ∣$ , $y (0) = 0$ : кроме нулевого, существует пучок решений, «отрывающихся» в произвольный момент. Практический вывод: перед численным интегрированием стоит проверить гладкость правой части — иначе шаговый метод молча выберет одну из ветвей.