характеристической кривой, то дифференциальные уравнения (2) примут вид
Величины
пропорциональны направляющим косинусам нормали к интегральной поверхности
и уравнение (1) выражает условие перпендикулярности
нормали к интегральной поверхности с направлением поля, т. е. уравнение (1) сводится к требованию, чтобы в каждой точке интегральной поверхности
направление, определяемое указанным выше полем направлений, находилось в касательной плоскости к поверхности. Если некоторая поверхность
образована характеристиками уравнения (1), то в каждой точке этой поверхности касательная к характеристике, проходящей через эту точку, лежит в касательной плоскости к поверхности и, следовательно, эта поверхность является интегральной поверхностью уравнения (1). Обратно, если
есть интегральная поверхность уравнения (1), то ее можно покрыть семейством характеристик. Действительно, на любой интегральной поверхности
уравнения (1) можно задать однопараметрическое семейство кривых
с помощью дифференциальных уравнений
в которых и заменено его выражением
. Вдоль каждой такой кривой уравнение (1) переходит
Таким образом, рассматриваемое семейство удовлетворяет уравнениям (3) и, следовательно, состоит из характеристических кривых.
Так как решения системы дифференциальных уравнений (3) однозначно определяются начальными значениями
и при
мы получаем следующий результат: любая характеристическая кривая, имеющая общую точку с интегральной поверхностью, целиком лежит на этой интегральной поверхности.
Задача Коши. Пусть пространственная кривая I задана в параметрической форме
причем
Обозначим через 10 проекцию кривой I на плоскость
Задача Коши для уравнения (1) ставится так: в окрестности проекции
найти интегральную поверхность уравнения (1), проходящую через заданную кривую I, т. е. найти такое решение уравнения (1), которое принимает заданные значения в точках кривой
Будем предполагать, что начальные функции
непрерывно дифференцируемы в рассматриваемой области.
Для решения задачи Коши проведем через каждую точку кривой I характеристику, т. е. интегральную кривую системы (3); это можно сделать, причем единственным образом, в некоторой окрестности кривой
Мы получим семейство характеристических кривых, зависящих еще от параметра
В силу наших предположений функции (4) имеют непрерывные производные первого порядка по
и Кривые (4) образуют поверхность
, если из первых двух уравнений (4) можно выразить
через х и у. Для этого достаточно, чтобы на кривой I не обращался в нуль якобиан
Если на I выполняется условие
то и является функцией х и у. Нетрудно видеть, что эта функция есть решение уравнения (1). Действительно, пользуясь правилом дифференцирования сложной функции и уравнениями (3), получим
Но
, следовательно,
удовлетворяет уравнению (1).
Единственность решения задачи Коши следует из того, что характеристическая кривая, имеющая одну общую точку с интегральной поверхностью, целиком лежит на этой поверхности. Это значит, что любая интегральная поверхность, проходящая через кривую
целиком содержит семейство характеристик, проходящих через
следовательно, совпадает с
.
Если
всюду на кривой I и если существует интегральная поверхность
с непрерывными производными первого порядка, проходящая через
то эта кривая должна быть характеристикой. В самом деле, в этом случае параметр
на кривой
можно выбрать так, что вдоль этой кривой
Далее, подставляя в
выражения
и дифференцируя по
будем иметь
Отсюда, учитывая, что
есть решение уравнения (1), получим следовательно, I является характеристикой. Но, если I — характеристика, то через нее проходит не только одна, а бесконечно много интегральных поверхностей. Действительно, проведем через любую точку кривой I кривую
которая уже не является характеристикой. Интегральная поверхность, проходящая через
обязательно содержит характеристику
Таким образом, множество решений задачи Коши для характеристики
определяется множеством кривых
Все интегральные поверхности, проходящие через кривые этого
множества, содержат характеристику
Следовательно, характеристики являются линиями пересечения интегральных поверхностей линиями ветвления, тогда как через нехарактеристическую кривую не может проходить более одной интегральной поверхности. Сформулируем полученные результаты.
Теорема. Если
всюду на начальной кривой
то задача Коши для уравнения (1) имеет одно и только одно решение. Если же
всюду на
то для того чтобы задача Коши имела решение, кривая I должна быть характеристикой. В этом случае задача Коши имеет бесконечно много решений.
Заметим, что без предположения о непрерывной дифференцируемости решения
на кривой I мы не можем из равенства
на
сделать вывод, что
характеристика. Действительно, может случиться, как это мы увидим на примере, что
не характеристика, вдоль нее
и все же через
проходит интегральная поверхность, но такая, что частные производные от
перестают быть непрерывными в точках
так как кривая
является особой линией интегральной поверхности. Пример. Рассмотрим уравнение
Система (3) имеет вид
и ее решение, выраженное через начальные значения переменных
, будет
Положим, что кривая
через которую должна проходить интегральная поверхность, задана уравнениями
Подставив (9) в (8), получим
Определитель
не обращается в нуль при
и
Исключая
и мы получим уравнение интегральной поверхности
Пусть теперь кривая
задана уравнениями:
Подставив (11) в (8), найдем, что
Определитель
обращается в нуль при
т. е. вдоль I, хотя I не характеристика. Исключая
мы получим
т. е. две интегральные поверхности уравнения (6), проходящие через кривую
В данном случае
эта частная производная обращается в бесконечность вдоль линии (11).