Связь между представлениями бозонных операторов?

У меня есть простой (я думаю!) вопрос о представлениях бозонных операторов и о том, как они связаны. Прежде всего, давайте определим две сопряженные наблюдаемые Вопрос и п (т.е. [ Вопрос , п ] "=" я и Вопрос "=" Вопрос , п "=" п ). Если мы дополнительно определим:

а "=" α 2 ( Вопрос + я α п )                         а "=" α 2 ( Вопрос я α п )               α е С ,
(как и в задаче о гармоническом осцилляторе) мы имеем, что [ а , а ] "=" 1 . Мы можем там определить а ( ) как операторы уничтожения (рождения) бозонов. Однако мы также можем определить:
б "=" Вопрос е я п                                 б "=" е я п Вопрос
который проверит [ б , б ] "=" 1 (это требует немного больше алгебры, хотя).

Вопрос: Есть ли связь между этими двумя представлениями? Это конкретные примеры, но, вероятно, можно было бы подумать и о других представлениях. Поскольку эти представления реализуют одни и те же коммутационные соотношения, значит ли это, что они связаны каким-то преобразованием (в частности, унитарным преобразованием)?

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

Ответы (3)

Ваше нестандартное представление не дает хорошей канонической теории.

Самый очевидный и прямой способ противостоять этому, за исключением теоретических замечаний, основанных на отсутствии строгих гипотез, достаточных для применения какой-либо теоремы (Стоун фон Нейман, Нельсон, ФС^3, Диксмьер...), состоит в следующем.

Чтобы построить представление вашей бозонной теории (а), вы должны построить ортонормированный набор состояний чисел заполнения { | н } н "=" 0 , 1 , 2 , и (б) вы должны доказать, что это множество полное (т.е. максимальное)( * ).

По определению, где С н 0 - нормировочный коэффициент:

| н "=" С н ( б ) н | 0 ( 1 )
с:
б | 0 "=" 0 и 0 | 0 "=" 1 . ( 2 )
Первое уравнение в (2), делающее явным вид оператора б в гильбертовом пространстве теории, л 2 ( р ) , и записывая уравнение, используя волновую функцию ψ 0 из | 0 в представлении положения, гласит:
Икс ψ 0 ( Икс + 1 ) "=" 0 (почти везде) , ( 3 )
где я использовал тот факт, что { е я λ п } λ е р является унитарным представлением группы Икс -переводы.

Единственный л 2 решение (3) тривиально:

ψ 0 ( Икс ) "=" 0 почти везде.
Следовательно, последнее условие в (2) несостоятельно и вся конструкция здесь обрывается.


сноски

( * ) С технической точки зрения, эти векторы, следовательно, являются аналитическими векторами для всех вовлеченных операторов, и это является гарантией справедливости нескольких важных свойств, таких как по существу самосопряженность новых канонических переменных.

Итак, теория не согласуется. Но я все еще кое-чего не понимаю: представление (1) можно использовать для решения задачи о гармоническом осцилляторе. Тем не менее, вы показываете здесь, что теория несостоятельна... что происходит !??? Более того, давайте процитируем П. М. Дирака по поводу проблемы гармонического осциллятора: «Это означает, что динамическая система, состоящая из набора подобных бозонов, эквивалентна динамической системе, состоящей из набора осцилляторов — две системы представляют собой одну и ту же систему, рассматриваемую с две разные точки зрения [...]
(продолжение) [...] Существует один осциллятор, связанный с каждым независимым состоянием бозона. Здесь мы имеем один из самых фундаментальных результатов квантовой механики, который позволяет осуществить объединение волновой и корпускулярной теорий света... Таким образом, набор гармонических осцилляторов эквивалентен набору бозоны в стационарных состояниях без взаимодействия между ними. Если осциллятор набора находится в своем n-м квантовом состоянии, в соответствующем бозонном состоянии находится n' бозонов.
Я говорю о том, что представление в терминах состояний | н > имеет смысл, если Икс и п являются стандартными в л 2 ( р ) или, слабее, если есть унитарный оператор, переводящий их в стандартные. Это не относится к новым операторам Икс и п связан с б и б .
Другими словами, не все классические канонические преобразования, которые в классической физике дают эквивалентные описания физической системы, выполняют ту же работу в квантовой физике.
То, что говорит Дирак, верно, когда а и а связаны с Икс и п унитарно связанные со стандартными операторами положения и импульса в л 2 ( р ) .
О, я вижу, теперь все начинает обретать для меня больше смысла. Существует ли утверждение или теорема, различающая классы канонических преобразований (т.е. какие канонические преобразования приводят к одному и тому же непротиворечивому «физическому описанию»?!)?
Это очень трудно сказать. В принципе, эти канонические трансы. те, которые представлены унитарными преобразованиями при квантовании. И это очень тонкая (математическая и физическая) проблема, которую необходимо анализировать в каждом конкретном случае.
@Moretti Что меня беспокоит, так это то, что новый набор координат по сути является полярными координатами п Вопрос плоскости, и они хорошо себя ведут в классической механике. Что может пойти не так с процедурой квантования?
По сути: б и б связан с Икс и п существуют , но не обладают всеми хорошими свойствами а и а необходимо определить «бозоны» (как я доказал, | 0 > не существует). Они обладали бы этими хорошими свойствами, если бы Икс и п были унитарно эквивалентны стандарту Икс и п . Но это неверно, потому что если бы это было так, то спектры были бы идентичными, а мы знаем, что они не могут: Спектры - это классические значения, достигаемые наблюдаемыми, а диапазон полярных координат и декартовых различен.
@Moretti Спасибо за объяснение. Я согласен с тем, что канонические преобразования в классической механике вообще не индуцируют унитарных преобразований в КМ. Но как насчет квантования? Можем ли мы по-прежнему квантовать гармонические осцилляторы с помощью «полярных координат»?
Я плохо понимаю, что значит "квантовать гармонический осциллятор в полярных координатах". Я думаю, вам интересно, есть ли естественный способ связать классические локальные канонические (т.е. гамильтоновы) координаты с самосопряженными операторами. Ответ состоит в том, что до сих пор не существует , если не считать очень конкретных классов координат, связанных с симметриями (орбитами действия групп).
Общая проблема заключается в следующем. Предположим, что конфигурационное многообразие не обязательно р н , так что, например, операторы импульса не определены (нет трансляционной симметрии), а операторы координат в принципе определены. Какой базовый класс наблюдаемых (я имею в виду самосопряженные операторы, а не только эрмитовы или симметричные) можно использовать для построения всех наблюдаемых системы? Эту проблему изучали несколько физиков-математиков, обнаружив интересные решения.
Например, см. NP LANDSMAN and N. LINDEN, Nuclear Physics B365 (1991) 121-160 или упомянутые там лекции Ишема (кажется).

Существует только одно унитарное представление для алгебры бозонных операторов. Учитывая набор операторов создания и уничтожения,

[ б , б ] "=" 1 ,

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

[ Вопрос , п ] "=" я С , [ С , п ] "=" [ С , Вопрос ] "=" 0.

которая известна как алгебра Гейзенберга. С является центром этой алгебры. Существует только одно унитарное представление для алгебры Гейзенберга (теорема Стоуна-фон Неймана).

Что же касается "нового представительства", о котором вы упомянули, то эти ( п и Вопрос ) - это просто переменные действия-угла. Вопрос в «новом представлении» — амплитуда колебаний, тогда как п примерно равен фазовому углу. Точнее (установить α "=" 1 ),

Вопрос "=" 2 Вопрос потому что ( п ) ; п "=" 2 Вопрос грех ( п ) .

п и Вопрос являются «новыми» переменными. Они также образуют каноническую сопряженную пару. Вы можете проверить это как для классических, так и для квантовых осцилляторов.

Что вы подразумеваете под переменными действия-угла? Я ничего не предполагал в этом представлении (просто CCR Вопрос и п ).
Я имею в виду переменные действие-угол Якоби в классической механике. Новый" Вопрос и п связаны со старыми через каноническую трансформацию. Обсуждение на эту тему см .
Не могли бы вы немного пояснить следующее: «унитарное представление алгебры»? -- Я знаю, что такое уп. является. Тем не менее, был респ. алгебры (просто говоря)?
Под алгеброй я подразумеваю алгебру Ли . Вы должны быть знакомы с линейным представлением конечной группы. Точно так же вы можете говорить о линейном представлении алгебры Ли. Я извиняюсь, если это схематично, но действительно требуется более 500 символов, чтобы объяснить, что представляет собой представление определенной алгебры Ли.
Я не понимаю, что вы имеете в виду под такими вещами, как Вопрос , так как спектр Вопрос включает отрицательную вещественную ось. Вы имеете в виду вместо этого | Вопрос | ?
Вопрос это определяется через ряд Тейлора вокруг некоторой эталонной наблюдаемой, Вопрос 0 сказать.
Не работает вообще! Разложения Тейлора не коммутируют с процедурой квантования, если только вы не имеете дело с ограниченными операторами и равномерной сходимостью операторов. Здесь вместо этого операторы неограничены, а разрешенная топология является сильной. Единственный шанс получить что-то толковое — это спектральный подход или теорема о полярном разложении для неограниченного замкнутого нормального оператора (оба связаны со строгой топологией).

Да, ваши b- возбуждения известны: это подправленные когерентные состояния , основанные на операторе смещения оптического фазового пространства.

Для простоты возьмем α = 2, так что

Вопрос "=" а + а 2 , я п "=" а а ,
и поэтому
б "=" а + а 2 е а а "=" а + а 2 Д ( 1 ) , б "=" е а а а + а 2 "=" Д ( 1 ) а + а 2   ,
где оператор смещения определяется как Д ( 1 ) "=" е а а .

Тогда, видимо,

[ б , б ] "=" а + а 2 Д ( 1 ) а + а 2 Д ( 1 ) "=" 1   .
Действуя на вакуум Фока, аннулируемый a , отличным от указанного выше ! , операторы смещения определяют когерентное состояние Д ( α "=" 1 ) | 0 "=" | α "=" 1 , собственное состояние оператора уничтожения, но я не уверен в дрейфе остальной части вашего вопроса.

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