где функция
такова, что
, мы можем построить ровно
различных решений уравнения эйконала (11.64), удовлетворяющих этому начальному условию, а именно, решения уравнений (11.65) (каждое
них уже имеет единственное решение). Решения уравнений (11.65) существуют в малой окрестности плоскости
определяемой как указано в п 11.2. В этой же окрестности функции
будут однозначно определены из уравнений переноса, если задать начальные данные
(11.67)
Поставим теперь задачу Коши, для уравнения
задавая наг чальные данные вида:
Смысл этой задачи состоит в том, что мы хотим находить сколь угодно точные (при больших А) решения уравнения
с быстро осциллирующими начальными данными, являющимися конечными отрезками рядов, стоящих в правых частях (11.68).
Решением этой задачи уже нельзя называть просто ряд вида (11.63) (такого может и не оказаться). Нужно брать конечную сумму таких рядов (с различными фазами
). Итак, рассмотрим сумму:
(11.69)
где
(11.70)
Назовем сумму (11.69) решением уравнения
, если каждое
является решением этого уравнения. Поскольку все ряды
имеют вид
то начальные данные
тоже имеют такой вид. Поэтому имеет смысл говорить о выполнении начальных данных (11.68) для
.
Можно рассмотреть, например, частный случай, когда ряды в (11.68) вообще состоят из одного члена:
(11.71)
Обрывая ряд для и на достаточно далёком члене, мы видим, что нахождение асимптотических решений даёт настоящие функции
, для которых
(11.72)
где N может быть сколь угодно большим.
Теорема 11.5. Описанная выше задача Коши для гиперболического уравнения
(с начальными данными
) однозначно разрешима (в малой окрестности начальной плоскости
).
Доказательство. Каждая из фаз
должна удовлетворять уравнению эйконала и начальному условию
Существует, как мы видели, ровно
таких фаз
. Теперь уравнения переноса для амплитуд
показывают, что достаточно задать
, чтобы все функции
были однозначно определены. Итак, нам нужно показать, что начальные условия (11.68) однозначно определяют функции
.
Если определены
то из (11.73) находятся функции
и тогда из уравнений переноса можно определить
. Теорема 11.5 доказана.
Укажем кратко связь теоремы 11.5 с поведением особенностей решений задачи Коши. Особенности функции
, как известно, связаны с поведением на бесконечности её преобразования Фурье
. Например, написав формулу обращения
(11.74)
мы видим, что если
, то
. Поэтому для нахождения особенностей решения
достаточно решить задачу Коши с точностью до функций, у которых преобразование Фурье по
достаточно быстро убывает при
.
Формулу (11.74) можно рассматривать как представление
в виде линейной комбинации экспонент
. Поскольку исходная задача является линейной, для нахождения решения задачи с одним из начальных данных, равным
достаточно рассмотреть решение, для которого в начальном условии
заменено на
и потом взять такую же линейную комбинацию решений.
Если
, где К — компакт в
, то удобней поступить несколько иначе. А именно, пусть
в окрестности К. Тогда
(11.75)
и достаточно решать исходную задачу с заменой
на
. Например, если
, то верна формула (11.75); поэтому решив задачу Коши
(11.76)
где
— сумма
первых членов ряда, задающего асимптотическое решение
Все эти члены имеют вид
где
— одна из фазовых функций, удовлетворяющих уравнению эйконала с начальным условием
— функция, бесконечно дифференцируемая по всем переменным, определённая при малых t и имеющая носитель, лежащий в некоторой сколь угодно малой окрестности множества лучей
начинающихся в точке (0, 0) (последнее получается из вида уравнений переноса). Таким образом, мы видим, что носитель
лежит на множестве лучей, проходящих через точку (0, 0). Принимая во внимание тот сформулированный выше без доказательства факт, что особенности
и
(с любой точностью) совпадают, мы видим, что обобщённая функция
бесконечно дифференцируема вне множества лучей, начинаюнщхся в точке (0, 0).
При этом надо брать все лучи, соответствующие всем функциям
при каждом
и при каждом
Получится набор из
конусов с криволинейными образующими, выходящими из точки (0, 0) (при каждом
и при каждом
получается луч, причём этот луч гладко зависит от
). Более детальное описание особенностей мы оставляем читателю в качестве упражнения, которое полезно проделать для уравнений
порядка, например, для уравнения, описывающего распространение света в неоднородной среде.