Функция Грина для неоднородного уравнения Клейна-Гордона

Я пытаюсь решить масштабное уравнение Клейна-Гордона в старом добром пространстве-времени Минковского:

( + м 2 ) ф знак равно р ( т , Икс )
куда знак равно мю мю знак равно т 2 2 . Таким образом, можно использовать подход функции Грина, чтобы найти фундаментальное решение формы
( + м 2 ) грамм м знак равно дельта ( Икс мю Икс мю )
куда грамм м является известным пропагатором Клейна-Гордона. Затем получают решение ф в позиционном пространстве, заданном как известное решение
ф ( Икс мю ) знак равно д 4 Икс грамм м ( Икс мю , Икс мю ) р ( т , Икс ) ( )
Я был совершенно доволен этим, пока мне не понадобилось реализовать фактическое р и выполнить интегралы. До сих пор мне лучше всего было использовать найденное мной представление функции Бесселя (здесь: http://functions.wolfram.com/Bessel-TypeFunctions/BesselJ/31/02/ ) (которое, как я предполагал, имеет обобщение) форма:
грамм м ( т , т , Икс , Икс ) знак равно θ ( т т ) 2 π дельта ( ( т т ) 2 | Икс Икс | 2 ) м 2 π θ ( т т | Икс Икс | ) Дж 1 ( м ( т т ) 2 | Икс Икс | 2 ) м ( т т ) 2 | Икс Икс | 2 )
хотя это хорошее представление в закрытой форме, мне все еще очень трудно оценить интеграл ( ) . Я довольно долго искал в разных местах явные примеры вычисления интеграла и пока нашел очень мало. Mathematica (моя любимая вычислительная программа) действительно презирает эти функции Хевисайда в интегралах и предлагает мало рекомендаций. Единственный случай, который я могу сделать до сих пор, это м 0 .

Вопрос: Используя представление грамм м учитывая (или другой более приятный), как можно на самом деле вычислить ( ) ? Кто-нибудь получил ссылку, в которой вычисляется какой-то явный пример, где р выходит за рамки простого дельта -функция? Даже что-то вроде р знак равно р ( р , θ ) или же р знак равно р ( р ) было бы большим подспорьем.

Спасибо!

Пожалуйста, опубликуйте конкретные р ( Икс , т ) , вы должны рассматривать в каждом конкретном случае.
Я ищу здесь общую стратегию, которая, я полагаю, может быть принятием желаемого за действительное. Специфика, связанная с р не так уж и важны (поскольку у меня есть много дел, с которыми я хотел бы поиграть в конце концов). Я хочу знать, подходит ли представление, которое у меня есть, для вычислений и как их можно выполнить. В идеале я надеялся, что кто-то может знать ссылку, в которой вычисляются некоторые явные примеры. Даже что-то вроде р знак равно а р 2 + б р + с было бы полезно, так как я могу смотреть на это и надеяться обобщить. В нынешнем виде я действительно не знаю, как к этому подступиться.
Если проблема заключается в функциях Хевисайда, можете ли вы попытаться решить Задачу без них и реализовать различение случаев вручную? Хевисайды, похоже, реализуют причинно-следственную связь...
Спасибо, @Neuneck, это определенно стоит попробовать. Однако, что касается интеграции, я изо всех сил пытаюсь даже оценить
д 4 Икс Дж 1 ( м ( т т ) 2 | Икс Икс | 2 м ( т т ) 2 | Икс Икс | 2
(это когда р является постоянным). Я нашел эту ( fh-jena.de/~rsh/Forschung/Stoer/besint.pdf ) таблицу интегралов функций Бесселя, но этого там нет. Есть ли вообще основания предполагать, что интеграл существует в элементарной форме? Я полагаю, что нет.
У вас есть ссылка на то, как выводится функция зеленого? Я имею в виду формулу от вольфрама

Ответы (1)

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

Представление функции Грина Клейна-Гордона (пропагатор) в пространстве позиций явно выглядит устрашающе. Хитрость заключается в том, чтобы выполнить расчет в импульсном пространстве, где пропагатор — это просто рациональная функция. Прежде чем сделать это, позвольте мне указать, что в безмассовом случае м знак равно 0 , а для статического источника р знак равно р ( Икс ) , фактически решается уравнение Пуассона. Если источник радиально-симметричен, р знак равно р ( р ) , как было предложено в вопросе, решением является кулоновский потенциал, ф знак равно ф ( р ) 1 / р . Учитывая неисчезающую массу, получаем потенциал Юкавы, ф опыт ( м р ) / р .

Это можно явно показать с помощью интегралов Фурье. Во-первых, преобразовать поле,

ф ( к ) знак равно д 4 Икс е я к Икс ф ( Икс ) ,

и так же источник, р р ( к ) . Тогда решение уравнения КГ в импульсном пространстве имеет вид

ф ( к ) знак равно р ( к ) к 2 м 2 + я ϵ ,

с к 2 знак равно к 0 2 к 2 и причинный я ϵ -рецепт. (Измените соответствующим образом для отсталых/продвинутых решений.) Затем преобразуйте обратно в пространство позиций,

ф ( Икс ) знак равно д 4 к ( 2 π ) 4 е я к Икс р ( к ) к 2 м 2 + я ϵ . ( * * )

В качестве примера возьмем источник Гаусса, р ( р ) знак равно р 0 опыт ( α р 2 ) , с "нормализацией" р 0 знак равно ( α / π ) 3 / 2 . Его преобразование Фурье равно р ( к ) знак равно 2 π я дельта ( к 0 ) опыт ( к 2 / 4 α ) . к 0 - интеграл в ( * * ) поэтому является тривиальным, и д 3 к интегрирование может быть выполнено с помощью обычной записи метода остатка к 2 + м 2 ( κ + я м ) ( κ я м ) . Результат

ф ( р ) знак равно е м 2 / 4 α е м р 4 π р .

В пределе точечного источника ( α ) мы снова получаем стандартный потенциал Юкавы.

Для источников, зависящих от времени, будет передача энергии (нет дельта ( к 0 ) ), а интеграл ( * * ) обычно будет сложнее. Как правило, можно сделать к 0 -интегрирование через остатки и оставшуюся часть(и) с использованием стационарной фазы, как, например, в гл. 2.1 Пескина и Шредера.

Спасибо, что нашли время, чтобы написать это. Я видел эти подходы раньше, но действительно беспокоился, что они не будут работать с терминами, зависящими от времени и угла. Я возьму Пескина и Шредера из библиотеки и попробую; спасибо за ссылку на главу. Конечно, хотя решения в пространстве Фурье и пространстве положений должны быть эквивалентны при преобразовании, означает ли это, что у нас есть некоторые представления в замкнутой форме для интегралов Бесселя? Интересно! Может быть само по себе интересное направление исследований =)