В физике свободное поле является полем без взаимодействия, которое описывается в соответствии с условиями движения и массы.
В классической физике, А свободное поле представляет собой поле, чьи уравнения движения задаются линейными дифференциальными уравнениями. Такие линейные УЧП имеют единственное решение для заданного начального условия.
В квантовой теории поля, операторнозначный распределение является свободным полем, если он удовлетворяет некоторые линейные дифференциальные уравнения в частных такой, что соответствующий случай одних и тех же линейных уравнений в частных производных для классического поля (т.е. не является оператором), будет уравнение Эйлера-Лагранжа для некоторых квадратичный лагранжиан. Мы можем дифференцировать распределения, определяя их производные с помощью дифференцированных тестовых функций. См. Распределение Шварца для более подробной информации. Поскольку мы имеем дело не с обычными распределениями, а с операторнозначными распределениями, понятно, что эти УЧП не являются ограничениями для состояний, а вместо этого являются описанием отношений между размазанными полями. Помимо УЧП, операторы также удовлетворяют другому соотношению - соотношениям коммутации / антикоммутации.
По сути, коммутатор (для бозонов ) / антикоммутатор (для фермионов ) двух размытых полей - это в i раз скобка Пайерлса поля с самим собой (которое на самом деле является распределением, а не функцией) для УЧП, размазанных по обеим пробным функциям. Это имеет форму алгебры CCR / CAR.
Алгебры CCR / CAR с бесконечным числом степеней свободы имеют много неэквивалентных неприводимых унитарных представлений. Если теория определена над пространством Минковского, мы можем выбрать унитарный арсенал, содержащий вакуумное состояние, хотя это не всегда необходимо.
Пусть φ - операторнозначное распределение и уравнение в частных производных (Клейна – Гордона)
Это бозонное поле. Назовем распределение, данное скобкой Пайерлса, Δ.
Затем,
где φ - классическое поле, а {,} - скобка Пайерлса.
Тогда каноническое коммутационное соотношение имеет вид
Обратите внимание, что Δ - это распределение по двум аргументам, поэтому его также можно размазать.
Точно так же мы могли бы настоять на том, чтобы
где - оператор временного упорядочения, и что если носители f и g пространственно разделены,