В физике скобка Мойала представляет собой соответствующим образом нормализованную антисимметризацию произведения звезд в фазовом пространстве .
Скобка Мойала была разработана примерно в 1940 году Хосе Энрике Мойалом , но Мойалу удалось опубликовать свою работу только в 1949 году после продолжительного спора с Полем Дираком . [1] [2] Тем временем эта идея была независимо представлена в 1946 году Хипом Грёневолдом . [3]
Скобка Мойала — это способ описания коммутатора наблюдаемых в формулировке фазового пространства квантовой механики , когда эти наблюдаемые описываются как функции на фазовом пространстве . Она опирается на схемы идентификации функций на фазовом пространстве с квантовыми наблюдаемыми, наиболее известной из которых является преобразование Вигнера–Вейля . Она лежит в основе динамического уравнения Мойала , эквивалентной формулировки квантового уравнения движения Гейзенберга , тем самым обеспечивая квантовое обобщение уравнений Гамильтона .
Математически это деформация скобки Пуассона фазового пространства (по сути, ее расширение ), параметром деформации является приведенная постоянная Планка ħ . Таким образом, ее групповое сокращение ħ →0 дает алгебру Ли скобки Пуассона .
С точностью до формальной эквивалентности скобка Мойала является единственной однопараметрической Ли-алгебраической деформацией скобки Пуассона. Ее алгебраический изоморфизм алгебре коммутаторов обходит отрицательный результат теоремы Гроенвольда–ван Хоува, которая исключает такой изоморфизм для скобки Пуассона, вопрос, неявно поднятый Дираком в его докторской диссертации 1926 года [4] «метод классической аналогии» для квантования. [5]
Например, в двумерном плоском фазовом пространстве и для соответствия отображению Вейля скобка Мойала имеет вид:
где ★ — оператор звездочного произведения в фазовом пространстве (ср. произведение Мойала ), тогда как f и g — дифференцируемые функции фазового пространства, а { f , g } — их скобка Пуассона. [6]
Более конкретно, на языке операционного исчисления это равно
Левая и правая стрелки над частными производными обозначают левую и правую частные производные. Иногда скобку Мойала называют скобкой синуса .
Популярное представление интеграла (Фурье) для него, введенное Джорджем Бейкером [7], имеет вид
Каждое отображение соответствия из фазового пространства в гильбертово пространство индуцирует характерную скобку «Мояла» (такую, как проиллюстрированная здесь для отображения Вейля). Все такие скобки Мойала формально эквивалентны между собой в соответствии с систематической теорией. [8]
Скобка Мойала определяет одноименную бесконечномерную алгебру Ли — она антисимметрична по своим аргументам f и g и удовлетворяет тождеству Якоби . Соответствующая абстрактная алгебра Ли реализуется с помощью T f ≡ f ★ , так что
На 2-торическом фазовом пространстве T 2 с периодическими координатами x и p , каждая из которых находится в [0,2 π ] , и целочисленными индексами мод m i для базисных функций exp( i ( m 1 x + m 2 p )) эта алгебра Ли имеет вид [9]
что сводится к SU ( N ) для целого числа N ≡ 4 π/ħ . SU ( N ) тогда возникает как деформация SU (∞) с параметром деформации 1/ N .
Обобщение скобки Мойала для квантовых систем со связями второго рода включает операцию над классами эквивалентности функций в фазовом пространстве [10] , которую можно рассматривать как квантовую деформацию скобки Дирака .
Наряду с обсуждаемой скобкой синуса Грёневольд далее ввел [3] скобку косинуса, разработанную Бейкером, [7] [11]
Здесь снова ★ — оператор звездочного произведения в фазовом пространстве, f и g — дифференцируемые функции фазового пространства, а f g — обычное произведение.
Синусные и косинусные скобки являются, соответственно, результатами антисимметризации и симметризации звездного произведения. Таким образом, поскольку синусная скобка является отображением Вигнера коммутатора, косинусная скобка является образом Вигнера антикоммутатора в стандартной квантовой механике. Аналогично, поскольку скобка Мойала равна скобке Пуассона вплоть до более высоких порядков ħ , косинусная скобка равна обычному произведению вплоть до более высоких порядков ħ . В классическом пределе скобка Мойала помогает свести к уравнению Лиувилля (сформулированному в терминах скобки Пуассона) , поскольку косинусная скобка приводит к классическому уравнению Гамильтона–Якоби . [12]
Скобки синуса и косинуса также связаны с уравнениями чисто алгебраического описания квантовой механики. [12] [13]