вторник, 26 января 2016 г.

Задача Коши для уравнения Клейна-Фока-Гордона

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

Возник недавно вопрос про задачу Коши для уравнения Клейна-Фока-Гордона.
Решить задачу Коши:
 
Культурно эта задача решается через функции Грина второго рода. Ну, то есть нужно сначала найти функцию Грина первого рода, а затем, по известным правилам найти функции Грина для указанной задачи Коши. Но действовать нужно предельно осмотрительно, чтобы не пропустить обобщённые функции. Поучителен другой способ, основанный на знании общего решения уравнения Клейна-Фока-Годона. Как мы учим студентов, это общее решение имеет вид
где , а --- функции, которые мы хотим выразить через и . Это довольно просто: используя (), вычисляем и , и с помощью обратного преобразования Фурье получаем
Подставляя в (), получаем
Но мы хотим взять интеграл по , и вот здесь следует действовать аккуратно. Нужно взять два базисных интеграла:
Точнее, интеграл нам отдельно считать не надо, так как . Для , интегрируя по углам, получаем

Рисунок 1. Функция .
Интеграл сходится весьма условно, и чтобы придать ему строгий смысл, будем считать, что у есть малая положительная мнимая часть. Поскольку подынтегральное выражение естественно продолжается как чётная функция , заменяем , а вместо пишем . Затем переходим к новой переменной, подставляя . Получаем
Из этой формулы легко заметить, что является нечётной функцией , так что далее будем считать, что . Грабли, на которые нелегко не наступить, состоят в том, что можно пропустить обобщённые фунции с носителем на световом конусе . Признаюсь, что мне эти грабли обойти с первого раза не удалось. Отчасти, это обстоятельство и побудило написать эту памятку. Итак, наученный опытом, я поступлю здесь так: сначала избавимся от в предэкспоненте, выразив его через производную по . Затем введём параметр , такой, что . Получим
Учитывая, что и , можно сделать сдвиг и тогда интеграл сводится к -функции Бесселя:
Характерный вид графика функции показан на рисунке 1. Аргумент становится вещественным положительным при и поэтому равно нулю в этой области. В точке функция имеет разрыв, причем . Таким образом,
Вычисляя производную по , получаем
Функция ведёт себя абсолютно аналогично , причём . Поэтому для функции получаем
Всё это богатство с и в можно получить, если аккуратно вычислить как предел , где
Если у кого есть плагин от Wolfram Mathematica для просмотра cdf-формата, то можно самому поиграть с :

Учитывая антисимметрию и симметрию при обращении времени, получаем
В моей первой, торопливой попытке я потерял последние члены в и, естественно, в . Видимо, сработало какое-то давнишнее предубеждение против выражений, содержащих одновременно и . Полученные выражения очень даже замечательны. Хотя
при , тем не менее,
и первые члены в () оказываются конечными. Окончательно, получаем следующее решение
Интересно проследить стремление к и к при . Как ни удивительно, трёхмерная -функция от реализуется как предел .

P.S. Вообще-то, эту задачу я предложил студентам в качестве домашней на ближайшую неделю, но если кто вдруг и зайдёт сюда и разберётся, то и ладно.

Комментариев нет:

Отправить комментарий