Дельта Дирака в определении функции Грина

Для неоднородного дифференциального уравнения следующего вида

л ^ ты ( Икс ) знак равно р ( Икс ) ,
общее решение может быть записано в терминах функции Грина,
ты ( Икс ) знак равно д Икс грамм ( Икс ; Икс ) р ( Икс ) ,
такой, что
л ^ грамм ( Икс ; Икс ) знак равно дельта ( Икс Икс ) .

В этом случае мне нетрудно понять, почему должно выполняться приведенное выше равенство.

Однако в однородном случае

л ^ ты ( Икс ) знак равно 0
решение можно записать с помощью пропагатора
ты ( Икс ) знак равно д Икс К ( Икс ; Икс ) ты ( Икс )
что удовлетворяет (согласно книгам)
л ^ К ( Икс ; Икс ) знак равно дельта ( Икс Икс ) .

Я не могу понять этот факт, потому что, если вы вставите ты ( Икс ) , записанный в терминах пропагатора К ( Икс ; Икс ) , в это дифференциальное уравнение можно было бы ожидать л ^ К ( Икс ; Икс ) знак равно 0 .

Этот вопрос возник во время изучения функции Грина в квантовой механике многих тел, например, Загоскина или Брууса, Фленсберга .

экв Загоскин стр.11 где л ^ знак равно я т ЧАС ( Икс , Икс , т )
Этот ответ может помочь прояснить ваше замешательство.

Ответы (1)

На ваш вопрос отвечали снова и снова , и снова , хотя и косвенно и эллиптически — я просто буду более прямым и конкретным. Дело в том, что вы пропустили переменные: в данном случае t и, следовательно, написанное вами выражение ("согласно книгам, л ^ К ( Икс ; Икс ) знак равно дельта ( Икс Икс )   "), ерунда, как вы уже правильно выяснили, если только вы не включили t в обобщенные координаты, но опять же предшествующая ей свертка неверна.

Это все прискорбное недоразумение, вызванное неряшливым языком в сообществе. В статье WP это правильно. Запаздывающая функция Грина G является обратной л ^ знак равно я т ЧАС ,

л ^ грамм ( Икс , т ; Икс , т ) знак равно дельта ( т т ) дельта ( Икс Икс )   ,
и это не совсем пропагандист. (Вместе со своим продвинутым близнецом они составляют гиперформальный унитарный оператор эволюции времени, не представляющий здесь практического интереса.)

Учитывать

грамм 1 я θ ( т т ) К ( Икс , т ; Икс , т ) ,
и положи К ( Икс , т ; Икс , т ) знак равно дельта ( Икс Икс ) . В этом случае пропагатор K оказывается ядром (нулевой собственной функцией) л ^ , просто потому, что производная по времени в л ^ действует на ступенчатую функцию θ ( т т ) , дает дельта ( т т ) и, следовательно, дельта ( Икс Икс ) при действии на K по указанному выше положению. Затем они отменяют две дельты на правой стороне и оставляют только
θ ( т т )     л ^ К ( Икс , т ; Икс , т ) знак равно 0
за.

Таким образом , K является фундаментальным решением однородного уравнения , реального TDSE (напомним, что вы никогда не хотите решать неоднородный TDSE!); и все получается.

Без ограничения общности возьмем т знак равно 0 , так что пиши К ( Икс , т ; Икс ) . Следовательно

ψ ( Икс , т ) знак равно д Икс К ( Икс , т ; Икс ) ты ( Икс )
является нулевой собственной функцией л ^ с начальным условием ψ ( Икс , 0 ) знак равно ты ( Икс ) , что, в свою очередь, оправдывает постул.

То есть приведенный выше интеграл представляет собой наиболее общую суперпозицию фундаментальных решений, соответствующих всем возможным ИК

Иллюстрируя вышесказанное со свободной частицей,

( я т + 2 Икс 2 2 м ) К ( Икс , т ; Икс ) знак равно 0
урожаи
К ( Икс , т ; Икс ) знак равно 1 2 π + д к е я к ( Икс Икс ) е я к 2 т 2 м знак равно ( м 2 π я т ) 1 2 е м ( Икс Икс ) 2 2 я т ,
что удовлетворяет постулату IC.

Похоже, вы уже проверили решение приведенного выше однородного уравнения,

( я ( 1 2 т + м ( Икс Икс ) 2 2 я т 2 ) + 2 2 м ( м я т м 2 ( Икс Икс ) 2 2 т 2 ) ) К знак равно 0 ,
хорошо.

Точно так же легко найти пропагатор для осциллятора (квадратичный потенциал), а затем решить для великолепного ядра Мелера (1866 г.) ,

К ( Икс , т ; Икс ) знак равно ( м ю 2 π я грех ю т ) 1 2 опыт ( м ю ( ( Икс 2 + Икс 2 ) потому что ю т 2 Икс Икс ) 2 я грех ю т )   ,
которая в аналитическом продолжении предшествует этой проблеме КМ более чем на полвека...