Доказательство того, что одномерный простой гармонический осциллятор невырожден?

Стандартное рассмотрение одномерного квантового простого гармонического осциллятора (SHO) с использованием повышающих и понижающих операторов приводит к счетному базису собственных состояний. { | н } н знак равно 0 каждый с соответствующим собственным значением Е н знак равно ю ( н + 1 2 ) . Назовите эту конструкцию абстрактным решением .

Как абстрактное решение также доказывает единственность? Почему существует только одна уникальная последовательность счетных собственных состояний? В частности, можно ли доказать состояние | 0 является единственным основным состоянием, не прибегая к координатному представлению? (Из этого следует, что множество { | н } н знак равно 0 тоже уникальна)

Условие единственности очевидно, если решить задачу в координатном представлении, поскольку тогда приходится работать в области дифференциальных уравнений, где существует множество теорем единственности. Большинство учебников игнорируют эту деталь (тем более, что часто решают задачу как в координатном представлении, так и абстрактно), однако я нашел два исключения:

  • Шанкар апеллирует к теореме, доказывающей невырожденность одномерных систем, однако это неудовлетворительно по двум причинам:

    1. Не всякая одномерная система является невырожденной, однако общий результат может быть доказан для большого класса потенциалов (потенциал SHO принадлежит к такому классу).
    2. Доказательство требует отхода от абстрактного решения, поскольку оно классифицирует потенциалы в соответствии с их функциональными свойствами.
  • Гриффитс обращается к этой проблеме в сноске, в которой говорится, что уравнение а | 0 знак равно 0 однозначно определяет состояние | 0 . Возможно, это следует из абстрактного решения, однако я не вижу, как это сделать.

Ответы (2)

I) Это зависит от того, насколько абстрактным хочет быть ОП. Скажем, мы отбрасываем любые ссылки на одномерную геометрию, а также на операторы положения и импульса. д ^ а также п ^ . Скажи, что мы знаем только это

(1) ЧАС ^ ю   знак равно   Н ^ + ν 1 , ν е р ,
(2) Н ^   знак равно   а ^ а ^ ,
(3) [ а ^ , а ^ ]   знак равно   1 , [ 1 , ]   знак равно   0.

(Поскольку мы убрали все ссылки на геометрию, больше нет причин, по которым ν должно быть половиной, поэтому мы обобщили его до произвольного действительного числа ν е р .)

II) Затем предположим, что физические состояния живут в пространстве внутренних продуктов. ( В , , ) , и что В образуют нетривиальное неприводимое унитарное представление алгебры Гейзенберга,

(4) А   знак равно   ассоциативная алгебра, порожденная  а ^ а ^ , а также  1 .

Спектр полуположительного оператора Н ^ знак равно а ^ а ^ всегда неотрицательна,

(5) С п е с ( Н ^ )     [ 0 , [ .

В частности, спектр С п е с ( Н ^ ) ограничен снизу. Поскольку оператор Н ^ коммутирует с гамильтонианом ЧАС ^ , мы можем использовать Н ^ классифицировать физические состояния. Давайте набросаем, как проходит стандартный аргумент. Скажи это | н 0 0 является нормализованным собственным состоянием для Н ^ с собственным значением н 0 е [ 0 , [ . Мы можем использовать оператор опускающей лестницы (аннигиляции) а ^ повторно определить новые собственные состояния

(6) | н 0 1 , | н 0 2 ,

который, однако, может иметь нулевую норму. Поскольку спектр С п е с ( Н ^ ) ограничена снизу, эта процедура опускания (6) должна останавливаться за конечное число шагов. Должно существовать целое число м е Н 0 так что возникает нулевая норма

(7) а ^ | н 0 м   знак равно   0.

Предположить, что м является наименьшим из таких целых чисел. Норма

(8) 0   знак равно   | |   а ^ | н 0 м   | | 2   знак равно   н 0 м | Н ^ | н 0 м   знак равно   ( н 0 м ) | |   | н 0 м   | | 2 > 0 ,

поэтому исходное собственное значение является целым числом

(9) н 0   знак равно   м е Н 0 ,

и экв. (7) становится

(10) а ^ | 0   знак равно   0 , 0 | 0     0.

Затем мы можем использовать оператор подъемной лестницы (создания). а ^ повторно определить новые собственные состояния

(11) | 1 , | 2 , .

С помощью аналогичного рассуждения о норме можно увидеть, что эта процедура повышения (11) не может в конце концов создать состояние с нулевой нормой, и, следовательно, она продолжается вечно/не останавливается. Индуктивно, на стадии н е Н 0 , норма остается отличной от нуля,

(12) | |   а ^ | н   | | 2   знак равно   н | а ^ а ^ | н   знак равно   н | ( Н ^ + 1 ) | н   знак равно   ( н + 1 )   н | н   >   0.

Так В содержит хотя бы одну полную копию стандартного пространства Фока. С другой стороны, по предположению о неприводимости векторное пространство В не может быть больше и В следовательно, является стандартным пространством Фока (с точностью до изоморфизма).

III) Наконец, если В не является неприводимым, то В может быть прямой суммой нескольких фоковских пространств. В последнем случае энергетический уровень основного состояния вырожден.

В частности, случай III) означает, что для заключения о невырожденности необходимо представление в виде дифференциального оператора. (В абстрактном случае вместо этого предполагается неприводимость.)
@Арнольд Ноймайер. С этим ответом и вашим комментарием, кажется, я бы сделал следующий вывод. Учитывая неприводимость множества { п , Вопрос } и определения а а также а с точки зрения п а также Вопрос , приведенное выше предполагаемое условие неприводимости теперь будет следовать и, таким образом, гарантировать уникальность. Я видел доказательство неприводимости { п , Вопрос } который опирается на представление дифференциального оператора. Возможно, следующий вопрос заключается в том, существует ли альтернативное доказательство, не использующее это представление?
@Evan: Не может быть доказательства без представления дифференциального оператора. Для тензорного произведения нескольких неприводимых представлений Дж знак равно 1 , . . . , Н производит приводимое представление для п знак равно п Дж , Вопрос знак равно Вопрос Дж / Н , движение центра масс.
Я знаю, что пост старый, но мне непонятно, что гарантирует, что Н положительно полуопределен
Привет ekardnam_ Спасибо за отзыв. Намекать: ψ | Н ^ | ψ знак равно | | а ^ | ψ | | 2 0 .

Каждая одномерная потенциальная система имеет уникальный вакуум, поскольку он является минимумом следующего функционала

| ψ | 2 + В ( Икс ) | ψ | 2 д Икс

Что минимизируется реальной положительной (безузловой) волновой функцией. Если есть два разных минимума (если есть вырождение), то линейная комбинация двух волновых функций имеет узел, а это несовместимо с регулярным потенциалом.

Единственный способ иметь вырожденные основные состояния (или два отдельных независимых основных состояния) - это чтобы потенциал V имел бесконечную твердую стенку, разделяющую разные области. В противном случае волновая функция основного состояния везде отлична от нуля, и приведенный выше аргумент линейной комбинации/узла работает.

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