Квантовая механика: как именно работает «нормализация дельта-функции» для собственных функций в случае одномерного свободного пространства?

Определение «нормализации дельта-функции» говорит, что базис собственных функций частицы в свободном пространстве ортонормирован, когда

ф н * ( р ) ф м ( р ) д р "=" дельта н , м
где дельта н , м — дельта-функция Кронекера.

Поэтому рассмотрим частицу в одномерном свободном пространстве. Собственные функции положения частицы имеют вид ф п о с я т я о н "=" дельта н ( Икс Икс н ) , и его импульсные собственные функции ф м о м е н т ты м "=" е я к н Икс .

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

дельта н * ( Икс Икс н ) дельта м ( Икс Икс м ) д Икс "=" дельта н * ( Икс Икс н ) дельта м ( Икс Икс м ) "=" дельта ( Икс н Икс м ) "=" дельта н , м

Однако мне трудно применить то же определение к собственным функциям импульса, что и

( е я к н Икс ) *   е я к м Икс д Икс "=" е я ( к н к м ) Икс д Икс
где если н "=" м , то уравнение принимает вид 1   д Икс "=" ; и если н м , то уравнение остается колебательным и не сходится.

В обоих случаях неясно, удовлетворяет ли интеграл определению нормализации дельта-функции. Для н "=" м случай, 1   д Икс "=" может быть любым кратным дельта-функции, т.е. дельта , 2 дельта , 3 дельта и т. д., так как определение бесконечности расплывчато. С другой стороны, когда н м , интеграл не обращается в нуль и, следовательно, не удовлетворяет определению.

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

Что мне здесь не хватает? Как доказать 1   д Икс "=" "=" дельта и ( е я к н Икс ) *   е я к м Икс д Икс "=" дельта н , м ?

Уравнения следует понимать в смысле распределений.
Да, вы не очень понимаете, что такое дельта Дирака. Это не бесконечность в нуле, это распределение, определяемое своими интегральными свойствами. Значит одно первое интегральное выражение конечной строки неверно.
@ Бенджамин Подожди. Не могли бы вы уточнить, почему нельзя доказать первый интеграл последней строки? Именно поэтому я в замешательстве. Я знаю, что дельта Дирака — это обобщенная функция, и она работает только в том случае, если ее интеграл равен единице. Но это не работает наоборот, и простой результат бесконечности не является дельтой Дирака. Вот почему я упомянул, что это может быть что угодно. Тогда все еще остается вопрос, как выполнить нормализацию функции Дирака для собственных функций импульса.
Ах, я вижу, что здесь происходит основная путаница ... волновая функция одномерной свободной частицы не нормализуется, поскольку она не стремится к нулю на бесконечности. Здесь может быть хороший источник для просмотра: physicspages.com/2012/09/11/…
Спасибо за ссылку, Вениамин. Если вы нажмете на хитроумную формулу, она скажет: «Эта формула явно абсурдна, поскольку мы интегрируем колебательную функцию в бесконечном диапазоне, поэтому она не сходится». Итак, я предполагаю, что собственные функции импульса не ортогональны в строгом математическом смысле? Но они ортогональны в физике? :/ Я все еще меня беспокою.

Ответы (1)

Дельта-функция на самом деле не функция, а распределение. дельта ( Икс ) и е я к Икс не нормализуются , когда н "=" м

Один из способов доказать ваши уравнения — использовать преобразования Фурье.

Используя теорему Плашереля, преобразование Фурье Ф ( [ ф ( Икс ) ] к ) для функции ф ( Икс ) дан кем-то

Ф [ дельта ( Икс Икс 0 ) ] ( к ) "=" 1 2 π дельта ( Икс Икс 0 ) е я к Икс д Икс "=" 1 2 π е я к Икс 0

рассмотрим обратный Фурье

Ф 1 [ е я к Икс 0 ] "=" 1 2 π е я к ( Икс Икс 0 ) д к

ясно, что это но для этого есть хитрость или обходной путь, мы можем быть уверены, что для любой функции ф ( Икс ) если

ф ( Икс ) преобразование Фурье Ф [ ф ( Икс ) ] ( к )
затем

Ф [ ф ( Икс ) ] ( к )  inv преобразование Фурье ф ( Икс )

Итак, мы можем написать

е я к ( Икс Икс 0 ) д к "=" 2 π дельта ( Икс Икс 0 )

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

е я Икс ( к м к н ) д Икс "=" е я Икс к м ( е я Икс к н ) * д Икс "=" 2 π дельта ( к м к н )

Таким образом, « нормированные » собственные функции импульса принимают вид

дельта ( к м к н )

Важно то, что функции дельта ( Икс ) и е я к Икс полны и ортогональны, и это все, что нам нужно, если мы будем использовать их в качестве базисных векторов для нашего гильбертова пространства

Также см. Griffths — Introduction to Quantum mechanics, Chapter 3 — Formalism.

Теперь я вижу вашу точку зрения. Вы использовали пары Фурье дельта-функции и комплексные экспоненты, чтобы доказать, что базис собственных функций импульса ортогонален. Затем вы утверждали, что, поскольку они ортогональны и полны, можно расширить любые функции с точки зрения базиса, утверждение, которое я также читал в других учебниках. Все идет нормально. Я полностью согласен с вашим аргументом. Но все же представление о том, что базис не нормализуется, не кажется мне очень физическим. Может у вас есть мысли по этому поводу?
PS: Вы можете изменить формулировку. Если ортогональный набор векторов не нормализуем, то он не является ортонрмальным и такой набор векторов не удовлетворяет требованию формировать базис гильбертова пространства. Здесь просто некоторая математическая строгость. (Хотя сейчас я запутался, как обращаться к набору сложных экспонент, поскольку они не являются основой. :-/)
Извините за это, я обновил
@user3336365 user3336365 Эй, вам не обязательно принимать мой ответ, если вы не удовлетворены (я знаю, что вы не удовлетворены), это все, что могут предложить большинство учебников уровня UG, и я только изучил это :) для более глубокого ответ, который вы, вероятно, могли бы подождать или посмотреть ссылки, предоставленные Qmechanic :)