Теорема Коши — Ковалевской


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

Рассмотрим пространство . Точку пространства будем обозначать через , а точку, принадлежащую , через . Обозначим оператор частного дифференцирования

Предположим, что коэффициенты оператора определены в окрестности начала координат в пространстве переменных и являются аналитическими функциями. Пусть функция также аналитична в . Пусть вектор начальных данных является аналитическим в некоторой окрестности начала координат  — пространства. Тогда существуют окрестность начала координат и единственная аналитическая функция , определённая в , для которой