Двойственная роль (анти)эрмитовых операторов в квантовой механике

Эрмитовы (или антиэрмитовы) операторы имеют центральное значение в квантовой механике по крайней мере в двух различных воплощениях:

  • Наблюдаемые представлены эрмитовыми операторами в пространстве состояний квантовой механики.
  • Преобразования пространства состояний должны сохранять структуру гильбертова пространства: они унитарны. (Анти-)эрмитовы операторы являются инфинитезимальными генераторами унитарных преобразований.

Отсюда следует, что каждая наблюдаемая порождает преобразование пространства состояний, и, наоборот, преобразованию пространства состояний соответствует наблюдаемая (или, по крайней мере, эрмитов оператор).

Мой вопрос: это вообще осмысленная переписка?

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

Я знаю несколько случаев, когда переписка действительно имеет смысл:

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

Ответы (1)

Первое замечание: термин «эрмитов», даже если он очень популярен в физике, на мой взгляд, вводит в заблуждение (потому что кто-то использует его для симметрических операторов, кто-то для самосопряженных).

Второе замечание: самосопряженные операторы данного гильбертова пространства ЧАС находятся во взаимно однозначном соответствии с сильно непрерывными группами унитарных операторов; ни с какой группой унитарных операторов. Таким образом, наблюдаемые нельзя связать с «унитарными операторами», но можно связать их с сильно непрерывными (абелевыми, локально компактными) группами унитарных операторов.

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

Что касается наблюдаемых, то дело в том, что довольно сложно дать удовлетворительную алгебраическую настройку, чтобы собрать вместе неограниченные наблюдаемые (поскольку они на самом деле являются большинством физически значимых величин: например, энергия, импульс...). Один из вариантов — построить алгебру неограниченных операторов, но нужно учитывать всевозможные «кошмары» предметной области. Другой — рассмотреть алгебру ограниченных операторов (a С * или алгебра фон Неймана) и подходящим образом «аффилировать» с ней неограниченные самосопряженные операторы. Обе процедуры, на мой взгляд, не вполне удовлетворительны; в любом случае алгебраический подход дает очень хорошую основу для понимания некоторых аспектов квантовых теорий, особенно представлений групп операторов.

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

Последний математический комментарий : Конечно, вы можете ассоциировать с данным самосопряженным оператором А сильно непрерывная унитарная группа е я т А ; и, например, построить С * алгебра { е я т А , т е р } я я ¯ ; где черта обозначает замыкание (в операторной норме). Эта алгебра может быть очень интересна для изучения и связана с определенной группой преобразований симметрии и так далее. Однако есть и другие алгебры, которые могут быть еще более интересными, например резольвентная алгебра. { ( А я λ ) 1 , λ е р } я я ¯ .

В случае CCR резольвентная алгебра имеет «более богатую» структуру аффилированных самосопряженных операторов и, что более важно, автоморфизмов. Это означает, что на резольвентной алгебре можно определить больше типов квантовой динамики, сохраняя ее, чем для унитарной экспоненциальной алгебры Вейля. С точки зрения того, что наблюдаемые являются только операторами, связанными с данной алгеброй, это означает, что резольвентная алгебра содержит больше наблюдаемых и менее тривиальную структуру возможных эволюций, чем алгебра Вейля.

Спасибо за Ваш ответ. Я (в некоторой степени) осведомлен о технических неточностях, но я не хотел заострять на них внимание и намеренно оставил формулировку свободной. Скажем, моя отправная точка состоит в том, что, грубо говоря, наблюдаемые соответствуют преобразованиям, и мой вопрос состоит в том, имеет ли это соответствие общий физический смысл.
@doetoe Такое же соответствие можно установить, грубо говоря, и в классической механике. Потоки (преобразования) порождаются функционалами фазового пространства, т.е. наблюдаемыми. Разница только в том, что классические преобразования могут быть нелинейными и действовать в коммутативном пространстве, тогда как квантовые преобразования ограничены линейностью и действуют в некоммутативном пространстве. Однако и на классическом, и на квантовом уровне существуют преобразования, которые не порождаются наблюдаемыми (даже если из наблюдаемых всегда можно «искусственно» построить преобразование).
Возможно, стоит отметить, что сильно непрерывное предположение в однопараметрической унитарной группе теорему о самосопряженном операторе можно смягчить до слабо измеримой для сепарабельных гильбертовых пространств. Статья в Википедии и цитируемая там ссылка на фон Неймана.
Собственно, связать самосопряженные операторы с унитарными можно естественным образом через преобразование Кэли . Это взаимно однозначное соответствие между самосопряженными операторами и унитарными операторами, которые не имеют 1 как собственное значение. Это преобразование полезно для изучения самосопряженных расширений симметрических операторов и может быть использовано для доказательства спектральной теоремы для неограниченных самосопряженных операторов из ограниченной нормальной формы.