Бесконечная потенциальная энергия ямы для кусочно-постоянной волновой функции

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

У скважины есть потенциал

В ( Икс ) "=" { 0 : 0 < Икс < л :  в другом месте
который имеет собственные состояния ф н ( Икс ) "=" 2 л грех ( н π Икс л ) с соответствующими энергиями Е н "=" н 2 π 2 2 2 м л 2 .

Теперь рассмотрим состояние

ψ ( Икс ) "=" { 0 : 0 < Икс < л / 2 2 л : л / 2 Икс < л 0 :  в другом месте
Мы хотим вычислить ЧАС для этого состояния. Один из способов сделать это — просто использовать определение: ЧАС "=" 0 л ψ * ( Икс ) ЧАС ψ ( Икс ) г Икс . Проблема с этим заключается в том, что ψ ( Икс ) кусочно-постоянна, и поэтому это даст вам 0 . Другой вариант — расширить ψ в терминах собственного базиса энергии путем вычисления коэффициентов с н "=" ф н | ψ , и получение ЧАС "=" н "=" 1 | с н | 2 Е н . Как Е н > 0 для каждого н , эта величина будет строго больше, чем 0 и поэтому будет отличаться от предыдущего ответа.

В чем несоответствие? Это, безусловно, связано с разрывом в Икс "=" л / 2 , но я не могу понять, как с этим бороться.

Обратите внимание, что ваша кусочно-постоянная ψ ( Икс ) не является непрерывным и, следовательно, не является физически доступной волновой функцией. Попробуйте повторить расчет, используя С 1 функции, которые сходятся к ψ и вы получите неограниченно возрастающие вклады от «клея» в 0 и L.
В более общем смысле представление разрывных функций с помощью рядов Фурье является нетривиальным делом и приводит к явлению Гиббса .

Ответы (1)

Ожидаемое значение

(1) ψ | В | ψ   "="   0

оператора потенциальной энергии В действительно равно нулю, но математическое ожидание

(2) ψ | К | ψ   "=" 2 2 м р г Икс   | ψ ( Икс ) | 2   "="   +

оператора кинетической энергии К на самом деле бесконечен для волновой функции

(3) ψ ( Икс )   "="   2 л ( θ ( Икс л 2 ) θ ( Икс л ) ) , Икс е р .

Здесь θ ступенчатая функция Хевисайда .

Оператор кинетической энергии К "=" 2 2 м г 2 г Икс 2 является примером неограниченного оператора , который имеет смысл только в своей области определения. Д К ЧАС внутри гильбертова пространства ЧАС "=" л 2 ( р ) функций, интегрируемых с квадратом по Лебегу. В частности, нетривиальной математической проблемой является применение дифференциального оператора К к недифференцируемой волновой функции (3).

Бесконечный результат (2) можно увидеть (на физическом уровне строгости) по крайней мере тремя способами (сначала упорядоченные с простейшим вычислением):

  1. Вставьте пошаговую функцию Хевисайда в уравнение. (2) получить интеграл по квадрату пары дельта-функций Дирака, расположенных в Икс "=" л 2 и Икс "=" л . Это, строго говоря, математически плохо определено. Физически имеет смысл присвоить интегралу бесконечное значение, ср. этот пост Phys.SE.

  2. Рассчитать перекрытия с н "=" ф н | ψ , и показать, чем сумма

    (4) ψ | ЧАС | ψ "=" н "=" 1 | с н | 2 Е н   "="   +
    расходится. Этот бесконечный вывод кажется физически устойчивым, поскольку все члены ряда (4) неотрицательны.

  3. По регуляризации , как предлагает Эмилио Писанти в комментарии. Задайте регуляризованную волновую функцию ψ ε е С 1 ( р ) таким образом, что (i) он сходится ψ ε ψ для ε 0 + , (ii) ожидаемое значение ψ ε | К | ψ ε легко вычисляется и конечен для ε > 0 . Покажи то ψ ε | К | ψ ε + расходится для ε 0 + .

Спасибо, моя проблема с подходом (1), как вы говорите, не имеет для меня математического смысла. Я имел в виду интегралы Лебега, где ψ является 0 почти всюду и поэтому его интеграл (или интеграл от его квадрата) равен 0 (что-то не так с этим мыслительным процессом?). Подход (2) является наиболее прямым (на мой взгляд), так как его можно выполнить методом грубой силы.
Это требование непрерывной дифференцируемости физических волновых функций сбивает меня с толку. Это может быть просто мое непонимание бесконечномерной КМ, но возьмите любую одномерную волновую функцию. ψ (сделайте так, как вам нравится) и выберите Икс * так что ψ ( Икс * ) 0 . Теперь измерьте, находится ли частица слева или справа от Икс * . Предположим, вы нашли частицу справа от Икс * , какое состояние после измерения? Привыкнув к конечному размеру, я предполагаю, что вы «проектируете ψ ' (набор п с я ( Икс ) "=" 0 для Икс < Икс * ) и нормализовать. Эта функция не будет непрерывной, но я не вижу проблемы.
Проблема в том, что волновая функция ψ вообще должен принадлежать домену Д А самосопряженного оператора А если кто-то хочет измерить ожидаемое значение ψ | А | ψ .