Явное решение нестационарного уравнения Шредингера для свободной частицы, которое начинается как дельта-функция

В предыдущей теме обсуждается решение зависящего от времени уравнения Шредингера для массивной частицы в одном измерении, которая начинается в состоянии Ψ ( Икс , 0 ) "=" дельта ( Икс ) . Это можно легко решить в импульсном представлении, дав решение в виде

Ψ ( Икс , т ) "=" 1 2 π е я м 2 т Икс 2 е я т 2 м ( к м т Икс ) 2 д к ,
и это преобразование Фурье к представлению положения является интегралом Френеля, который можно явно проинтегрировать, чтобы получить явное решение
( * ) Ψ ( Икс , т ) "=" { дельта ( Икс ) т "=" 0 , м 2 π | т | е я с г н ( т ) π / 4 опыт [ я м Икс 2 2 т ] т 0.

Теперь эта процедура может иногда показаться немного двусмысленной, и она оставляет затяжное сомнение в том, что решение в ( * ) действительно удовлетворяет дифференциальному уравнению

(С) я т Ψ ( Икс , т ) "=" 2 2 м 2 Икс 2 Ψ ( Икс , т )
в каком-то подходящем смысле.

Хотя может показаться, что это просто случай заполнения пробелов в зависимости от времени, Ψ ( Икс , т ) очень неравномерно в т "=" 0 , так как она содержит особенность в множителе е я с г н ( т ) π / 4 / | т | "=" 1 / я т , а экспоненциальный

опыт ( я м Икс 2 2 т ) "=" потому что ( м Икс 2 2 1 т ) + я грех ( м Икс 2 2 1 т )
колеблется бесконечно быстро в т 0 ± , поэтому поведение решения на т "=" 0 линия очень нерегулярна (и действительно имеет существенную особенность ). В какой-то степени этого следует ожидать: начальное условие Ψ ( Икс , 0 ) "=" дельта ( Икс ) является распределением , и уравнение Шредингера вызывает, по крайней мере, вторую производную этой дельта-функции, так что в той мере, в какой справедливо уравнение Шредингера, это будет только в каком-то смысле распределения ; это, вероятно, будет немного сложно, но в остальном это должно быть возможно.

Итак, просто для заполнения пробелов: в каком смысле и без обращения к импульсному представлению ( * ) решение ( С ) ?

Ответы (1)

Набросок доказательства: если мы определим регуляризованное распределение

Ψ ϵ [ ф ; т ]   "="   р 2 д Икс   д к 2 π   ф ( Икс ) опыт { я к Икс к 2 2 м ( ϵ + я т ) } (А)   "="   м 2 π ( ϵ + я т ) р д Икс   ф ( Икс ) опыт { м Икс 2 2 ( ϵ + я т ) } , т   е   р , ϵ   е   р + ,

для пространственной тестовой функции ф , можно сначала показать с помощью теоремы Лебега о мажорируемой сходимости , что Ψ ϵ [ ф ; т ] становится дельта-распределением Дирака

(Б) лим ϵ 0 + лим т 0 Ψ ϵ [ ф ; т ]   "="   дельта [ ф ]   "="   ф ( 0 ) для т     0 ,

а во-вторых, что регуляризованный Ψ ϵ [ ф ; т ] удовлетворяет TDSE для т е р и ϵ е р + . Здесь пространственная производная

(С) Ψ ϵ , Икс Икс [ ф ; т ]   "="   Ψ ϵ [ ф Икс Икс ; т ]
определяется в обычном смысле распределения.