Задача Коши

Задача Коши — это одна из основных постановок задач для дифференциальных уравнений, заключающаяся в нахождении решения уравнения, удовлетворяющего заданному начальному условию (начальным данным). В отличие от краевых задач, где условия задаются на границе области, в задаче Коши все дополнительные условия формулируются в одной точке. Названа в честь французского математика Огюстена Луи Коши, внёсшего значительный вклад в теорию дифференциальных уравнений.

Постановка задачи

Обыкновенные дифференциальные уравнения

Для обыкновенного дифференциального уравнения (ОДУ) порядка \( n \) задача Коши ставится следующим образом:

\[ y^{(n)} = f(x, y, y', y'', \dots, y^{(n-1)}) \]

с начальными условиями:

\[ y(x_0) = y_0, \quad y'(x_0) = y_1, \quad \dots, \quad y^{(n-1)}(x_0) = y_{n-1}, \]

где \( x_0 \) — начальная точка, а \( y_0, y_1, \dots, y_{n-1} \) — заданные числа (начальные данные). Решением задачи Коши называется функция \( y(x) \), определённая в некоторой окрестности точки \( x_0 \), \( n \) раз дифференцируемая и удовлетворяющая как уравнению, так и начальным условиям.

Наиболее распространённым частным случаем является задача Коши для ОДУ первого порядка:

\[ y' = f(x, y), \quad y(x_0) = y_0. \]

Уравнения в частных производных

Для уравнений в частных производных (УЧП) задача Коши формулируется как нахождение решения, удовлетворяющего начальным условиям на некоторой гиперповерхности (обычно на плоскости \( t = 0 \)). Например, для одномерного волнового уравнения:

\[ \frac{\partial^2 u}{\partial t^2} = a^2 \frac{\partial^2 u}{\partial x^2} \]

задача Коши включает начальные условия:

\[ u(x, 0) = \varphi(x), \quad \frac{\partial u}{\partial t}(x, 0) = \psi(x), \]

где \( \varphi(x) \) и \( \psi(x) \) — заданные функции, описывающие начальное отклонение и начальную скорость.

Теорема существования и единственности

Теорема Пикара — Линделёфа

Для ОДУ первого порядка \( y' = f(x, y) \) с начальным условием \( y(x_0) = y_0 \) классическая теорема существования и единственности (теорема Пикара — Линделёфа) утверждает: если функция \( f(x, y) \) непрерывна по совокупности переменных в некоторой окрестности точки \( (x_0, y_0) \) и удовлетворяет условию Липшица по переменной \( y \) в этой окрестности, то существует единственное решение задачи Коши, определённое на некотором интервале \( (x_0 - \delta, x_0 + \delta) \).

Условие Липшица означает, что существует константа \( L > 0 \) такая, что для любых \( y_1, y_2 \) из окрестности выполняется:

\[ |f(x, y_1) - f(x, y_2)| \le L |y_1 - y_2|. \]

Это условие гарантирует, что малые изменения начальных данных приводят к малым изменениям решения, что является основой устойчивости.

Теорема Пеано

Если условие Липшица не выполняется, но функция \( f(x, y) \) непрерывна, то существование решения гарантирует теорема Пеано, однако единственность может быть нарушена. Классический пример — уравнение \( y' = 3y^{2/3} \) с начальным условием \( y(0) = 0 \), которое имеет бесконечно много решений (в том числе тривиальное \( y(x) = 0 \) и семейство парабол).

Методы решения

Аналитические методы

Для некоторых классов уравнений задача Коши решается аналитически:

• Уравнения с разделяющимися переменными: \( y' = f(x)g(y) \) — решение сводится к интегрированию.
• Линейные ОДУ первого порядка: \( y' + p(x)y = q(x) \) — решается методом вариации постоянной или интегрирующего множителя.
• Линейные ОДУ высших порядков с постоянными коэффициентами: решение ищется в виде суммы общего решения однородного уравнения и частного решения неоднородного.
• Уравнения в полных дифференциалах: \( M(x, y)dx + N(x, y)dy = 0 \) при условии \( \frac{\partial M}{\partial y} = \frac{\partial N}{\partial x} \).

Численные методы

В большинстве практических задач аналитическое решение найти невозможно, поэтому применяются численные методы. Основные из них:

• Метод Эйлера: простейший одношаговый метод, основанный на аппроксимации производной конечной разностью.
• Методы Рунге — Кутты: семейство методов различного порядка точности (наиболее популярен метод Рунге — Кутты 4-го порядка).
• Методы Адамса: многошаговые методы, использующие информацию о нескольких предыдущих точках.
• Неявные методы: например, метод трапеций, обладающие лучшей устойчивостью для жёстких систем.

Корректность задачи Коши

Задача Коши называется корректно поставленной (по Адамару), если выполняются три условия:

1. Существование решения для всех допустимых начальных данных.
2. Единственность решения.
3. Непрерывная зависимость решения от начальных данных (малое изменение начальных условий приводит к малому изменению решения).

Если хотя бы одно из условий нарушается, задача называется некорректной. Например, задача Коши для уравнения теплопроводности с обратным временем является некорректной, так как решение крайне чувствительно к начальным данным.

Примеры

Пример 1: Простейшее ОДУ

Рассмотрим задачу Коши:

\[ y' = y, \quad y(0) = 1. \]

Функция \( f(x, y) = y \) непрерывна и удовлетворяет условию Липшица. Решение: \( y(x) = e^x \). Единственное, существует на всей числовой прямой.

Пример 2: Отсутствие единственности

Уравнение \( y' = 2\sqrt{|y|} \) с начальным условием \( y(0) = 0 \). Функция \( f(x, y) = 2\sqrt{|y|} \) не удовлетворяет условию Липшица в окрестности нуля. Решения: \( y(x) = 0 \) и \( y(x) = x^2 \) (для \( x \ge 0 \)), а также их комбинации.

Пример 3: Задача Коши для волнового уравнения

Для одномерного волнового уравнения на бесконечной прямой:

\[ u_{tt} = a^2 u_{xx}, \quad u(x, 0) = \varphi(x), \quad u_t(x, 0) = \psi(x) \]

решение даётся формулой Даламбера:

\[ u(x, t) = \frac{\varphi(x - at) + \varphi(x + at)}{2} + \frac{1}{2a} \int_{x - at}^{x + at} \psi(s) \, ds. \]

Применение

Задача Коши является фундаментальной в математическом моделировании. Она используется в:

• Физике: описание движения тел (законы Ньютона), распространение волн, теплопроводность, квантовая механика (уравнение Шрёдингера).
• Химии: кинетика химических реакций.
• Биологии: модели роста популяций, распространения эпидемий.
• Экономике: динамические модели ценообразования, оптимального управления.
• Инженерии: расчёт переходных процессов в электрических цепях, динамика механических систем.

Интересные факты

• Термин «задача Коши» ввёл в обиход немецкий математик Давид Гильберт в начале XX века, хотя сам Коши сформулировал её для ОДУ ещё в 1820-х годах.
• Для уравнений в частных производных задача Коши часто называется начальной задачей.
• В теории обыкновенных дифференциальных уравнений задача Коши противопоставляется краевой задаче, где условия задаются на границах интервала.
• Существует понятие обратной задачи Коши, когда по известному решению восстанавливаются начальные данные или параметры уравнения — это типичная некорректная задача.

Источники

• Петровский И. Г. Лекции по теории обыкновенных дифференциальных уравнений. — М.: Наука, 1970.
• Тихонов А. Н., Самарский А. А. Уравнения математической физики. — М.: Наука, 1977.
• Хартман Ф. Обыкновенные дифференциальные уравнения. — М.: Мир, 1970.
• Коддингтон Э. А., Левинсон Н. Теория обыкновенных дифференциальных уравнений. — М.: ИЛ, 1958.
• Владимиров В. С. Уравнения математической физики. — М.: Наука, 1981.