Нормальный заказ
В квантовой теории поля произведение квантовых полей или, что эквивалентно, их операторов рождения и уничтожения , обычно называется нормально упорядоченным (также называемым порядком Вика ), когда все операторы рождения находятся слева от всех операторов уничтожения в произведении. Процесс приведения продукта в нормальный порядок называется нормальным заказом (также называемым Wick-заказом ). Аналогично определяются термины «антинормальный порядок» и «антинормальный порядок» , где операторы уничтожения располагаются слева от операторов создания.
Нормальный порядок произведения квантовых полей или операторов рождения и уничтожения можно определить и многими другими способами . Какое определение является наиболее подходящим, зависит от ожидаемых значений, необходимых для данного расчета. В большей части этой статьи используется наиболее распространенное определение нормального порядка, данное выше, которое подходит при получении значений ожидания с использованием вакуумного состояния операторов создания и уничтожения .
Процесс нормального упорядочения особенно важен для квантовомеханического гамильтониана . При квантовании классического гамильтониана существует некоторая свобода при выборе порядка оператора, и этот выбор приводит к различиям в энергии основного состояния . Вот почему этот процесс также можно использовать для устранения бесконечной вакуумной энергии квантового поля.
Обозначения
[ редактировать ]Если обозначает произвольное произведение операторов рождения и/или уничтожения (или, что то же самое, квантовых полей), тогда нормальная упорядоченная форма обозначается .
Альтернативное обозначение .
Обратите внимание, что нормальный порядок — это концепция, которая имеет смысл только для произведений операторов. Попытка применить нормальный порядок к сумме операторов бесполезна, поскольку нормальный порядок не является линейной операцией.
Бозоны
[ редактировать ]Бозоны — это частицы, удовлетворяющие статистике Бозе-Эйнштейна . Теперь мы рассмотрим нормальный порядок продуктов операторов рождения и уничтожения бозонов.
Одиночные бозоны
[ редактировать ]Если мы начнем только с одного типа бозона, нас будут интересовать два оператора:
- : оператор создания бозона.
- : оператор уничтожения бозона.
Они удовлетворяют коммутаторному соотношению
где обозначает коммутатор . Мы можем переписать последний так:
Примеры
[ редактировать ]1. Сначала рассмотрим самый простой случай. Это нормальный заказ :
Выражение не был изменен, потому что он уже в нормальном порядке - оператор создания уже находится слева от оператора уничтожения .
2. Более интересный пример — обычное упорядочение :
Здесь обычная операция заказа изменила порядок условий, поместив слева от .
Эти два результата можно объединить с коммутационным соотношением, которому подчиняется уравнение и получить
или
Это уравнение используется для определения сокращений, используемых в теореме Вика .
3. Пример с несколькими операторами:
4. Простой пример показывает, что нормальный порядок не может быть самосогласованным образом распространен с мономов на все операторы по линейности. Предположим, что мы можем применить коммутационные соотношения, чтобы получить:
Тогда по линейности
противоречие.
Подразумевается, что нормальный порядок является линейной функцией не операторов, а свободной алгебры, порожденной операторами, т. е. операторы не удовлетворяют каноническим коммутационным соотношениям, находясь внутри нормального порядка (или любого другого оператора упорядочения, такого как временной порядок , и т. д).
Множественные бозоны
[ редактировать ]Если мы теперь рассмотрим существуют разные бозоны операторы:
- : оператор рождения бозона.
- : оператор уничтожения бозона.
Здесь .
Они удовлетворяют коммутационным соотношениям:
где и обозначает дельту Кронекера .
Их можно переписать как:
Примеры
[ редактировать ]1. Для двух разных бозонов ( ) у нас есть
2. Для трех разных бозонов ( ) у нас есть
Заметим, что поскольку (по коммутационным соотношениям) порядок записи операторов уничтожения не имеет значения.
Бозонные операторные функции
[ редактировать ]Нормальный порядок бозонных операторных функций , с оператором номера профессии , может быть достигнуто с использованием (падающих) факториалов и ряд Ньютона вместо ряда Тейлора : Это легко показать [1] что факториальные степени равны нормально упорядоченным (необработанным) степеням и поэтому обычно упорядочены по конструкции,
такая, что разложение в ряд Ньютона
операторной функции , с -я разница вперед в , всегда нормально заказывается. Здесь уравнение собственных значений относится и .
Как следствие, нормально упорядоченный ряд Тейлора произвольной функции равен ряду Ньютона ассоциированной функции , выполнение
если коэффициенты ряда Тейлора , с непрерывным , соответствуют коэффициентам ряда Ньютона , с целым числом ,
с -я частная производная в .Функции и связаны через так называемое преобразование нормального порядка в соответствии с
которое можно выразить через преобразование Меллина , видеть [1] для подробностей.
Фермионы
[ редактировать ]Фермионы — это частицы, которые удовлетворяют статистике Ферми–Дирака . Теперь мы рассмотрим нормальный порядок продуктов фермионных операторов рождения и уничтожения.
Одиночные фермионы
[ редактировать ]Для одного фермиона представляют интерес два оператора:
- : оператор создания фермиона.
- : оператор уничтожения фермиона.
Они удовлетворяют антикоммутаторным соотношениям
где обозначает антикоммутатор . Их можно переписать как
Чтобы определить нормальный порядок произведения фермионных операторов рождения и уничтожения, мы должны принять во внимание количество обменов между соседними операторами. За каждую такую развязку мы получаем знак минус.
Примеры
[ редактировать ]1. Опять начнем с самых простых случаев:
Это выражение уже находится в нормальном порядке, поэтому ничего не меняется. В обратном случае мы вводим знак минус, потому что нам нужно изменить порядок двух операторов:
Их можно объединить вместе с антикоммутационными соотношениями, чтобы показать
или
Это уравнение, которое имеет ту же форму, что и бозонный случай, описанный выше, используется для определения сокращений, используемых в теореме Вика .
2. Обычный порядок любых более сложных случаев дает ноль, потому что хотя бы один оператор создания или уничтожения будет появляться дважды. Например:
Множественные фермионы
[ редактировать ]Для существуют разные фермионы операторы:
- : оператор рождения фермиона.
- : оператор уничтожения фермиона.
Здесь .
Они удовлетворяют антикоммутационным соотношениям:
где и обозначает дельту Кронекера .
Их можно переписать как:
При вычислении нормального порядка произведений фермионных операторов необходимо учитывать количество перестановок соседних операторов, необходимых для перестановки выражения. Это как если бы мы притворились, что операторы создания и уничтожения являются антикоммутативными, а затем переупорядочили выражение так, чтобы операторы создания были слева, а операторы уничтожения — справа — все время принимая во внимание антикоммутационные отношения.
Примеры
[ редактировать ]1. Для двух разных фермионов ( ) у нас есть
Здесь выражение уже нормально упорядочено, поэтому ничего не меняется.
Здесь мы вводим знак минус, поскольку мы поменяли порядок двух операторов местами.
Обратите внимание, что порядок, в котором мы пишем здесь операторы, в отличие от бозонного случая, имеет значение .
2. Для трех разных фермионов ( ) у нас есть
Заметим, что поскольку (по антикоммутационным соотношениям) порядок, в котором мы пишем операторы, в данном случае имеет значение .
Аналогично у нас есть
Использование в квантовой теории поля
[ редактировать ]Вакуумное математическое ожидание нормального упорядоченного произведения операторов рождения и уничтожения равно нулю. Это связано с тем, что, обозначая вакуумное состояние через , операторы создания и уничтожения удовлетворяют
(здесь и являются операторами рождения и уничтожения (бозонными или фермионными)).
Позволять обозначают непустое произведение операторов рождения и уничтожения. Хотя это может удовлетворить
у нас есть
Нормальные упорядоченные операторы особенно полезны при определении квантовомеханического гамильтониана . Если гамильтониан теории находится в нормальном порядке, то энергия основного состояния будет равна нулю: .
Свободные поля
[ редактировать ]С двумя свободными полями φ и χ
где снова состояние вакуума. Каждый из двух членов в правой части обычно расширяется в пределе, когда y приближается к x, но разница между ними имеет четко определенный предел. Это позволяет нам определить :φ(x)χ(x):.
Теорема Вика
[ редактировать ]Теорема Вика утверждает связь между упорядоченным по времени произведением поля и сумма нормальный заказанный товар. Это может быть выражено для даже как
где суммирование ведется по всем различным способам объединения полей в пары. Результат для странно, выглядит одинаковоза исключением последней строки, которая гласит
Эта теорема обеспечивает простой метод вычисления вакуумных математических ожиданий упорядоченных по времени произведений операторов и послужила мотивацией введения нормального порядка.
Альтернативные определения
[ редактировать ]Наиболее общее определение нормального порядка предполагает разделение всех квантовых полей на две части (например, см. Evans and Steer 1996). . В продукте полей поля делятся на две части и части перемещаются так, чтобы всегда находиться слева от всех части. В обычном случае, рассмотренном в остальной части статьи, содержит только операторы создания, а содержит только операторы уничтожения. Поскольку это математическое тождество, поля можно разбивать как угодно. Однако для того, чтобы эта процедура была полезной, необходимо, чтобы нормальный упорядоченный продукт любой комбинации полей имел нулевое математическое ожидание.
Для практических расчетов важно также, что все коммутаторы (антикоммутаторы фермионных полей) всех и все являются c-числами. Эти два свойства означают, что мы можем применять теорему Вика обычным способом, превращая средние значения упорядоченных по времени произведений полей в произведения пар чисел c, сокращения. В этой обобщенной ситуации сокращение определяется как разница между упорядоченным по времени продуктом и нормальным упорядоченным продуктом пары полей.
Самый простой пример можно найти в контексте тепловой квантовой теории поля (Эванс и Стир, 1996). В этом случае интересующие средние значения представляют собой статистические ансамбли, трассы по всем состояниям, взвешенные по . Например, для одного бозонного квантово-гармонического осциллятора мы имеем, что тепловое математическое ожидание числового оператора представляет собой просто распределение Бозе-Эйнштейна.
Итак, здесь числовой оператор является нормально упорядоченным в обычном смысле, используемом в остальной части статьи, но его значения теплового ожидания не равны нулю. Применение теоремы Вика и выполнение расчетов с обычным нормальным порядком в этом тепловом контексте возможно, но вычислительно непрактично. Решение состоит в том, чтобы определить другой порядок, такой, что и представляют собой линейные комбинации исходных операторов уничтожения и создания. Комбинации выбираются таким образом, чтобы гарантировать, что ожидаемые тепловые значения обычных заказанных продуктов всегда равны нулю, поэтому выбранное разделение будет зависеть от температуры.
Ссылки
[ редактировать ]- ^ Jump up to: а б Кениг, Юрген; Хухт, Альфред (13 января 2021 г.). «Разложение бозонных операторных функций в ряд Ньютона» . SciPost Физика . 10 (1). Stichting SciPost: 007. arXiv : 2008.11139 . Бибкод : 2021ScPP...10....7K . дои : 10.21468/scipostphys.10.1.007 . ISSN 2542-4653 . S2CID 221293056 .
- Ф. Мандл, Г. Шоу, Квантовая теория поля, John Wiley & Sons, 1984.
- С. Вайнберг, Квантовая теория полей (Том I) Издательство Кембриджского университета (1995)
- Т. С. Эванс, Д. А. Стир, Теорема Вика при конечной температуре , Nucl. Phys B 474, 481-496 (1996) arXiv:hep-ph/9601268