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