Доказательство того, что оператор импульса, действующий на волновую функцию, дает среднее значение

Я слежу за книгой, в которой автор пытается доказать, что

(0) п "=" ψ | п ^ | ψ ,
поэтому он просто вычисляет интеграл

(1) ψ | п ^ | ψ   "="   р ψ * ( Икс ) ( я г г Икс ) ψ ( Икс ) г Икс

и начинает с того, что

(2) я г ψ ( Икс ) г Икс   "="   я г г Икс р ψ ~ ( п ) е я п Икс / г п   "="   р п ψ ~ ( п ) е я п Икс / г п

что нормально, потому что мы можем разложить волновую функцию в пространстве положений как сумму волновых функций в импульсном пространстве, используя преобразование Фурье на ψ ( Икс ) .

Используя этот результат, мы имеем, что

(3) ψ | п ^ | ψ   "="   р ( р ψ ~ * ( п ) е я п Икс / г п ) ( р п ψ ~ ( п ) е я п Икс / г п ) г Икс

Однако я не понимаю, почему следующие два шага математически правильны и как он перемещает знаки интегрирования:

(4) ψ | п ^ | ψ "=" р р п ψ ~ * ( п ) ψ ~ ( п ) ( р е я ( п п ) Икс / г Икс ) г п г п (5) "=" р р дельта ( п п ) п ψ ~ * ( п ) ψ ~ ( п ) г п г п (6) "=" р п | ψ ~ ( п ) | 2 г п (7) "=" п

уравнение (7) очевидно следует из уравнения (6), потому что математическое ожидание случайной величины равно интегралу от этой переменной, умноженному на распределение плотности вероятности, а это именно то, что | ψ ~ ( п ) | 2 является. Но как он попадает в уравнение? (6)?

Вопрос: Как получить уравнения (5) и (6), исходя из уравнения (4)?

Я не понимаю этого вопроса - п и ψ | п ^ | ψ для меня просто два обозначения для одного и того же. Что именно вы хотите здесь доказать?
Какой учебник?
@ACuriousMind Я подозреваю, что Jamie_mc2 использует п означает значение статистического ожидания, т.е. Икс "=" Е [ Икс ] "=" Икс п ( Икс ) г Икс , что априори не то же самое, что матричный элемент оператора типа ψ | п ^ | ψ .
Да, @DavidZ именно это я и имел в виду. Спасибо

Ответы (1)

Из уравнения (4) к ур. (5): Преобразование Фурье 1 это дельта функция, т.е. е я п Икс г п "=" дельта ( Икс ) , ср. например википедия .

Из уравнения (5) к ур. (6): Это просто характерное свойство дельта -функция, т.е. ф ( Икс ) дельта ( Икс у ) Икс "=" ф ( у ) .

Есть 2 π везде отсутствует: е я п Икс г п "=" 2 π дельта ( Икс )