Теорема Коши-Ковалевской: аналитическое решение УрЧП

Теорема Коши-Ковалевской - фундаментальный результат теории уравнений в частных производных: она гарантирует, что задача Коши для системы с аналитическими данными имеет единственное аналитическое решение в окрестности начальной поверхности. Это локальный аналог теоремы существования и единственности для обыкновенных уравнений, но в гораздо более тонкой ситуации многих переменных. Ниже разберём, как привести уравнение к нормальной форме, какую роль играет аналитичность, как работает доказательство методом мажорант и почему за пределами аналитического класса теорема молча отказывает. Чтобы быстро собрать корректную постановку задачи Коши под вашу систему, воспользуйтесь конструктором ниже.

Что утверждает теорема Коши-Ковалевской

Рассмотрим уравнение, разрешённое относительно старшей производной по выделенной переменной $t$:

$$\frac{\partial^k u}{\partial t^k} = F\left(t, x, \dots, \frac{\partial^{\alpha} u}{\partial t^{\alpha_0} \partial x^{\beta}}, \dots\right),$$

где в правую часть входят все производные порядка не выше $k$, причём порядок по $t$ строго меньше $k$. Задача Коши задаёт на гиперплоскости $t = t_0$ начальные данные:

$$u\big|_{t=t_0} = \varphi_0(x), \quad \frac{\partial u}{\partial t}\bigg|_{t=t_0} = \varphi_1(x), \quad \dots, \quad \frac{\partial^{k-1} u}{\partial t^{k-1}}\bigg|_{t=t_0} = \varphi_{k-1}(x).$$

Теорема утверждает: если функция $F$ аналитична в окрестности начальной точки, а все начальные данные $\varphi_j(x)$ аналитичны в окрестности соответствующей точки, то существует окрестность, в которой задача Коши имеет аналитическое решение, и притом единственное в классе аналитических функций.

Рассчитать для своей задачи

Ключевое слово здесь - аналитическое. Теорема не говорит ничего о решениях, которые лишь гладки или непрерывны; весь её механизм опирается на разложение в сходящийся степенной ряд.

Нормальная форма по Ковалевской

Чтобы теорема применялась, уравнение должно быть приведено к нормальной форме: старшая производная по $t$ выражена явно через остальные. Переменная $t$ при этом не обязана быть временем - это любая выделенная координата, относительно которой ставится задача Коши. Поверхность $t = t_0$, на которой заданы данные, называют начальной (или нехарактеристической).

Условие разрешимости относительно $\partial^k u/\partial t^k$ - не формальность. Если уравнение нельзя разрешить относительно старшей производной по выбранному направлению, поверхность оказывается характеристической, и теорема к ней неприменима. Именно поэтому на практике первый шаг - проверить, что начальная поверхность нехарактеристична: только тогда из уравнения и данных однозначно восстанавливаются все производные на ней.

Систему уравнений приводят к нормальной форме аналогично: вводят вектор неизвестных, понижают порядок добавлением новых функций-производных и добиваются, чтобы старшие $t$-производные стояли в левых частях по отдельности.

Зачем нужна аналитичность

В обыкновенных уравнениях для существования и единственности достаточно липшицевости правой части - это теорема Пикара-Линделёфа. В частных производных одной гладкости уже мало: Ковалевская показала, что естественный класс, в котором задача Коши корректна локально, - это класс аналитических функций.

Аналитичность даёт два рычага сразу. Во-первых, она позволяет формально определить все коэффициенты искомого ряда Тейлора: подставляя предполагаемое разложение решения в уравнение и дифференцируя начальные данные, мы рекуррентно вычисляем каждый коэффициент через предыдущие. Во-вторых, аналитичность правой части даёт оценки на эти коэффициенты, без которых формальный ряд мог бы расходиться.

Рассчитать для своей задачи

Формальная часть устроена просто, поэтому студенты часто думают, что на ней всё и заканчивается. На деле трудность не в построении коэффициентов, а в доказательстве сходимости полученного ряда - именно здесь работает метод мажорант.

Метод мажорант: ядро доказательства

Идея мажорант принадлежит Коши и доведена Ковалевской до общего случая. Мы хотим оценить коэффициенты ряда решения сверху. Для этого подбирают вспомогательную задачу с правой частью $G$, которая мажорирует исходную $F$: все коэффициенты тейлоровского разложения $G$ не меньше модулей соответствующих коэффициентов $F$.

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

Классическая мажоранта для аналитической функции - выражение вида

$$G = \frac{M}{1 - \dfrac{x_1 + \dots + x_n + t}{r}},$$

геометрическая прогрессия, коэффициенты которой доминируют над любыми коэффициентами функции, аналитической в поликруге радиуса $r$ с оценкой модуля $M$. Подобрав такую мажоранту, для неё выписывают явное решение приведённого уравнения и получают радиус сходимости.

Итог: ряд $\sum_{\alpha} c_{\alpha} (x - x_0)^{\alpha} (t - t_0)^{\alpha_0}$ сходится в окрестности начальной точки и задаёт ту самую аналитическую функцию, существование которой утверждает теорема.

Вклад Софьи Ковалевской

Огюстен Луи Коши доказал частные случаи теоремы в 1840-х годах. Общий результат для систем и строгое обоснование сходимости методом мажорант принадлежат Софье Васильевне Ковалевской - этот результат стал частью её докторской диссертации 1874 года в Гёттингене, выполненной под руководством Карла Вейерштрасса.

Рассчитать для своей задачи

Ковалевская не только обобщила формулировку, но и привела пример, показывающий, что без аналитичности утверждение разрушается: существуют уравнения с бесконечно гладкими, но неаналитическими данными, для которых аналитического решения нет. Этот пример очертил точную границу применимости и сделал теорему окончательной.

Где теорема не работает

Граница применимости важна не меньше самой теоремы. Теорема Коши-Ковалевской молчит в нескольких ситуациях:

• Характеристические поверхности. Если начальная поверхность характеристична, уравнение не разрешается относительно старшей производной по нормали, и теорема не применяется. Для волнового уравнения, например, характеристики - это конусы, вдоль которых распространяются возмущения.
• Неаналитические данные. Гладкости $C^\infty$ недостаточно. Пример Адамара для уравнения Лапласа показывает: малые гладкие возмущения данных могут давать решения, неограниченно растущие, - задача Коши для эллиптического уравнения некорректна по Адамару, хотя формально под теорему подходит лишь в аналитическом классе.
• Глобальность. Теорема локальна: она гарантирует решение лишь в малой окрестности начальной поверхности, ничего не говоря о его продолжении.

Именно поэтому в современной теории УрЧП теорема Коши-Ковалевской - отправная точка, а не финал: дальше изучают корректность по Адамару, типы уравнений и подходящие функциональные пространства.

Частые ошибки

• Забыть привести к нормальной форме. Теорема применима только когда уравнение разрешено относительно старшей производной по выделенной переменной. Без этого шага говорить о применимости нельзя.
• Считать, что хватает гладкости. $C^\infty$-данные не годятся: нужна именно аналитичность. Это не придирка, а суть - пример Ковалевской показывает разрушение без неё.
• Игнорировать характеристичность поверхности. Если начальная поверхность характеристична, теорема не работает, как бы хороши ни были данные.
• Путать с глобальной разрешимостью. Решение гарантировано лишь локально, в окрестности начальной точки; продолжение - отдельный вопрос.
• Смешивать формальный ряд и сходимость. Коэффициенты считаются легко; доказательство теоремы - именно про сходимость ряда через мажоранты.

FAQ

Чем теорема Коши-Ковалевской отличается от теоремы Пикара? Теорема Пикара-Линделёфа - про обыкновенные уравнения и требует лишь липшицевости правой части. Теорема Коши-Ковалевской - про уравнения в частных производных и требует аналитичности данных и правой части; её решение строится как сходящийся степенной ряд, а не методом последовательных приближений.

Обязательно ли $t$ - это время? Нет. $t$ - любая выделенная переменная, относительно старшей производной по которой разрешено уравнение. Начальная поверхность $t = t_0$ должна быть нехарактеристической; физический смысл координаты роли не играет.

Почему теорема не спасает уравнение Лапласа? Формально для аналитических данных она даёт локальное аналитическое решение и для Лапласа. Но пример Адамара показывает, что при малом изменении данных решение меняется неограниченно: задача Коши для эллиптического уравнения некорректна, поэтому такая постановка физически бессмысленна, несмотря на формальную применимость теоремы.

Коротко

Теорема Коши-Ковалевской гарантирует единственное локальное аналитическое решение задачи Коши для системы в нормальной форме при аналитических данных и правой части. Её доказательство - формальное вычисление коэффициентов степенного ряда плюс оценка их сходимости методом мажорант. Софья Ковалевская обобщила результат на системы, дала строгое обоснование и пример, очертивший границу: без аналитичности, на характеристических поверхностях и для некорректных по Адамару задач теорема не работает.