Как я могу доказать, что волновая функция остается нормализованной с течением времени?

Используя уравнение Шрёдингера и его сопряженное, мы можем показать, что

Ψ ˙ "=" я 2 м 2 Ψ я U Ψ
Ψ ˙ * "=" я 2 м 2 Ψ * + я U Ψ *
Так
| Ψ | 2 т "=" я 2 м ( Ψ * 2 Ψ Ψ 2 Ψ * )
Использование векторной идентичности ф 2 г "=" ( ф г ) г ф ф и г скалярные поля) и теорема о расходимости (мы интегрируем по В ), мы можем переставить таким образом
г г т В | Ψ | 2 г В "=" я 2 м С [ Ψ * Ψ ( Ψ * ) Ψ ] г С
Вы можете найти это выражение в «Физике атомов и молекул» Брансдена и Джоахейна (стр. 69 2-го изд.). Теперь, чтобы показать, что Ψ остаются нормированными с течением времени, мы должны показать, что
С [ Ψ * Ψ ( Ψ * ) Ψ ] г С 0
когда поверхность С охватывает, так сказать, все трехмерное пространство (а если В | Ψ | 2 г В конечен). В первой главе Гриффитс показывает это в одномерном случае (и не совсем удовлетворительным образом), но как насчет более реалистичного трехмерного случая?

Ответы (3)

Для всех практических целей в физике существование В | Ψ | 2 г В поставляется с Ψ ( Икс , т ) идет к 0 как Икс идет к + тогда как пространственные производные остаются ограниченными. Таким образом, ваш последний интеграл равен 0.

Как отметил Вальтер Моретти в комментариях, легко построить Ψ такой, что р 3 | Ψ | 2 г В конечно, но Ψ уходит в бесконечность как Икс идет к + . Это уже можно сделать в 1D. Посмотрите этот вопрос в разделе «Вопросы и ответы по математике» и несколько ответов, чтобы понять идею, а затем смешайте это с этим трюком , чтобы получить гладкие функции. Трясусь и отчаиваюсь на математике… К счастью, оказывается, мы, физики, сумели благополучно проигнорировать такие вопросы без существенной реакции.

Ну собственно то, что если | ф | 2 имеет конечный интеграл, то ф исчезает при больших аргументах неверно даже при рассмотрении гладких функций. Я думаю, что доказательство сохранения нормы не может быть дано таким образом, поскольку оно строго зависит от того факта, что оператор Гамильтона является самосопряженным (а не просто эрмитовым). Самосопряженные операторы не определены на пространствах гладких функций. В лучшем случае этот способ может дать некоторые предложения...
@ValterMoretti: Результат и доказательство сохранения нормы представителя чистого состояния при преобразовании, называемом «эволюция во времени», на самом деле является теоремой Стоуна в обратном порядке. Это, как известно, правда.
Да, конечно, добиться сходимости, сделав функцию нулевой на наборах мер, стремящихся к 0, в то время как функция стремится к бесконечности на остальных, и с помощью обычного приема тестовых функций с компактным носителем, используемого в теории распределения, мы действительно можем сделать такая функция плавная.
Но, ну это же физика!
На самом деле я просто имел в виду теорему Стоуна. Гамильтониан ЧАС рассматриваемого уравнения S. УЧП обычно является существенно самосопряженным только на пространстве гладких функций. Для перехода к унитарному временному эволютору необходимо расширить область до замыкания ЧАС ¯ из ЧАС . Оператор, сохраняющий норму, есть е я т ЧАС ¯ .
Этот оператор обычно переводит гладкие функции в негладкие.
@ Люк Дж. Бурхис Действительно, это физика. Но вы имели в виду какое-то математическое свойство. Моя точка зрения следующая. Есть две возможности. Или кто-то доказывает утверждения с помощью математики, или принимает правдоподобные физические гипотезы. Заявление ОП физически правдоподобно ( ψ обращается в нуль на бесконечности) и на этом можно было бы остановиться. Попытка исправить тонкие детали требует тонкой математики.
@ValterMoretti (вздох) Наверное, я шизофреник…
Не переживайте, со мной это случается очень часто :)
@ValterMoretti Я вижу, что проблема неуловима, по крайней мере, больше, чем кажется. Интересно, можем ли мы сделать рассуждение, которое докажет, что эти патологические функции физически неприемлемы. Кажется, что их нельзя отвергнуть как ложные, как это иногда бывает в физике. По крайней мере, я не понимаю, почему. Дела обстоят так же, как и требование о конечности Psi: легко понять, что это не обязательно для нормализации, и не самоочевидно понять, почему в бесконечной сферической дыре бесконечность Psi отвергается (см. Гриффитс, глава 4). ).
@Fausto Vezzano Дело в том, что проблема поставлена ​​не с нуля. Уравнение Шредингера не является стандартным УЧП, потому что т -производная вычисляется относительно топологии гильбертова пространства, тогда как другие производные стандартны только в подходящей области. Сохранение л 2 -норма гарантируется в этой формулировке теоремой Стоуна. Попытки получить тот же результат в чистой интерпретации PDE очень сложны.
Прежде всего следует доказать, что решения, связанные с некоторым классом начальных условий, быстро исчезают в пространстве (включая пространственные производные) в каждый фиксированный момент времени и существование этого класса сильно зависит от природы U . Если просто U "=" 0 вышеупомянутый класс является пространством Шварца: начальное условие в нем порождает в нем решения. Вероятно, локализованные гладкие функции U имеют аналогичные свойства относительно решений с начальными данными в пространстве Шварца, но я не знаю результатов такого типа: я интерпретирую уравнение Шредингера в л 2 смысл.
Потому что это правильная квантовая интерпретация. Как стандартное УЧП, уравнение Шрёдингера имеет ряд нефизических особенностей, аналогичных свойствам уравнения теплоты, ввиду бесконечной скорости распространения возмущений (уравнение не является гиперболическим), но в отличие от уравнения теплопроводности уравнение Шрёдингера не регуляризируется (для решения уравнения теплопроводности гораздо более гладкие, чем начальное условие).
Спасибо. Это выглядит слишком сложно для меня, но я не бросаю полотенце.

Ответ @LucJ.Bourhis предоставляет необходимую информацию о том, почему С 0 как размер С . Говоря более конкретно, изучите интеграл нормализации в сферических координатах:

Н | Ψ | 2 р 2 грех θ г р г θ г ф .
Для того чтобы Н быть конечным, лим р р 3 + ϵ | Ψ | 2 "=" 0 для некоторых ϵ > 0 (т.е. аргумент радиального интеграла должен обращаться в нуль быстрее, чем 1 / р ). Если вы исследуете компоненты градиента | Ψ | 2 (равно аргументу С по правилу произведения) вы обнаружите, что оно обращается в нуль, как, по крайней мере, производная верхней границы | Ψ | 2 . С верхней границей на | Ψ | 2 существование р 3 ϵ , то верхняя граница | р | Ψ | 2 | является р 4 ϵ . Этот вопрос на math.stackexchange имеет отношение к тому, является ли это доказательство надежным.

Объяснение того, почему угловые компоненты не имеют значения, остается в качестве упражнения.

почему я должен усреднить? | Ψ | 2 т "=" Ψ ˙ * Ψ + Ψ * Ψ ˙ , а где фактор 2?
@FaustoVezzaro Убрана критика - она ​​некорректна.

Для системы с гамильтонианом ЧАС ^ , временная эволюция произвольного состояния | Ψ ( р , т ) регулируется

(1) я т | Ψ ( р , т ) "=" ЧАС ^ | Ψ ( р , т ) .

Мы можем взять сопряженное уравнение. (1) и он читает

(2) я т Ψ ( р , т ) | "=" Ψ ( р , т ) | ЧАС ^ .

Обратите внимание, что мы предполагаем, что гамильтониан является эрмитовым, поэтому в правой части уравнения (2) , ЧАС ^ был заменен ЧАС ^ .

Теперь мы подходим к исходному вопросу, а именно к временной эволюции нормализации Н ( т ) "=" Ψ ( р , т ) | Ψ ( р , т ) волновой функции. Поэтому мы хотели бы оценить следующую величину --

Н ˙ ( т ) "=" т Ψ ( р , т ) | Ψ ( р , т ) .

Мы поступаем как

Н ˙ ( т ) "=" т Ψ ( р , т ) | Ψ ( р , т ) , "=" ( т Ψ ( р , т ) | ) | Ψ ( р , т ) + Ψ ( р , т ) | ( т | Ψ ( р , т ) ) , "=" 1 я ( я т Ψ ( р , т ) | ) | Ψ ( р , т ) + Ψ ( р , т ) |   1 я   ( я т | Ψ ( р , т ) ) , "=" 1 я   ( Ψ ( р , т ) | ЧАС ^ ) | Ψ ( р , т ) + Ψ ( р , т ) |   1 я   ( ЧАС ^ | Ψ ( р , т ) ) , U с я н г   Е д с . (1) & (2) "=" 1 я   Ψ ( р , т ) | ЧАС ^ | Ψ ( р , т ) + 1 я   Ψ ( р , т ) | ЧАС ^ | Ψ ( р , т ) , "=" 0.

Поскольку производная нормировки по времени равна нулю , нормализация остается постоянной во времени.

Что следует отметить:

  • Чтобы нормализация не зависела от времени, требуется унитарная эволюция состояний во времени | Ψ ( р , т ) , а именно
    | Ψ ( р , т ) "=" U ( т , т ) | Ψ ( р , т ) .
  • Для U ( т , т ) быть унитарным оператором вида
    U ( т , т ) "=" опыт ( я ЧАС ^ ( т т ) / ) ,
    требуется ЧАС ^ быть эрмитовым.
  • Фундаментальной причиной того, что состояния остаются нормализованными во временной эволюции типа Шрёдингера, является эрмитовость гамильтониана. Хотя бывают ситуации, когда состояния могут оставаться нормализованными при эволюции во времени для гамильтониана, который не является эрмитовым. Однако независимость нормировки от времени гарантируется для унитарной эволюции во времени, а именно для эрмитова гамильтониана, при уравнении типа Шредингера.