Квантовая электродинамика

Квантовая механика
Введение[англ.] История Математические основы
Основа Классическая механика Постоянная Планка Интерференция Бра и кет Гамильтониан Старая квантовая теория
Фундаментальные понятия Квантовое состояние Квантовая наблюдаемая Волновая функция Квантовая суперпозиция Квантовая запутанность Смешанное состояние Измерение Неопределённость Принцип Паули Дуализм Декогеренция Симметрия Теорема Эренфеста Туннельный эффект
Эксперименты Опыт Дэвиссона — Джермера Опыт Франка — Герца Опыт Штерна — Герлаха Опыт Юнга Квантовый ластик Квантовый ластик с отложенным выбором Проверка неравенств Белла Фотоэффект Эффект Комптона
Формулировки Представление Шрёдингера Представление Гейзенберга Представление взаимодействия Представление фазового пространства Матричная квантовая механика Интегралы по траекториям Диаграммы Фейнмана
Уравнения Шрёдингера Паули Клейна — Гордона Дирака Швингера — Томонаги фон Неймана Блоха Линдблада Гейзенберга
Интерпретации Копенгагенская Теория скрытых параметров Локальная[англ.] Супердетерминизм Многомировая Теория де Бройля — Бома
Развитие теории Квантовая теория поля Квантовая электродинамика Теория Глэшоу — Вайнберга — Салама Квантовая хромодинамика Стандартная модель Квантовая гравитация
Сложные темы Релятивистская квантовая механика Квантовая теория поля Квантовая гравитация Теория всего
Известные учёные Планк Эйнштейн Шрёдингер Гейзенберг Йордан Бор Паули Дирак Фок Борн де Бройль Ландау Фейнман Бом Эверетт
См. также История возникновения Глоссарий[англ.] ЭПР-парадокс
См. также: Портал:Физика

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

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

С математической точки зрения КЭД можно описать как теорию возмущений электромагнитного вакуума. Ричард Фейнман назвал её «жемчужиной физики» за чрезвычайно точные предсказания таких величин, как аномальный магнитный момент электрона и лэмбовский сдвиг энергетических уровней атома водорода^[1]:Ch1.

Первую формулировку квантовой теории, которая описывала взаимодействие излучения и материи, приписывают британскому физику Полу Дираку, который (в течение 1920-х годов) смог вычислить коэффициент спонтанного излучения атома.^[2][3]

Дирак рассмотрел квантование электромагнитного поля как ансамбль гармонических осцилляторов с использованием концепции операторов рождения и уничтожения частиц.^[4] В последующие годы, благодаря вкладам Вольфганга Паули, Юджина Вигнера, Паскуаля Йордана, Вернера Гейзенберга и элегантной формулировке квантовой электродинамики Энрико Ферми^[5] физики пришли к выводу, что в принципе возможно провести любые вычисления для любого физического процесса с участием фотонов и заряженных частиц. Однако дальнейшие исследования Феликса Блоха с Арнольдом Нордсиком^[6] и Виктором Вайскопфом^[7] в 1937 и 1939 годах показали, что такие вычисления оказались надежными только в первом порядке теории возмущений — проблема, ранее отмеченная Робертом Оппенгеймером.^[8] На более высоких порядках в серии возникали бесконечности, делающие такие вычисления бессмысленными и вызывающие серьёзные сомнения во внутренней непротиворечивости самой теории. Поскольку в то время не было известно решение этой проблемы, казалось, что существует фундаментальная несовместимость между специальной теорией относительности и квантовой механикой.

Трудности с теорией росли до конца 1940-х годов. Улучшения в микроволновой технике позволили провести более точные измерения сдвига уровней атома водорода^[9], ныне известного как лэмбовский сдвиг, и магнитного момента электрона.^[10] Эти эксперименты выявили несоответствия, которые теория не могла объяснить.

Первое указание на возможный выход из положения было дано Гансом Бете в 1947 году после посещения конференции острова Шелтер^[11]. На поезде от конференции до Скенектади он сделал первое нерелятивистское вычисление сдвига линий атома водорода, измеренного Лэмбом и Ризерфордом.^[12] Несмотря на ограничения вычислений, согласие было отличным. Идея заключалась в том, чтобы просто добавить бесконечности к поправкам на массу и заряд, которые фактически были зафиксированы на конечном значении экспериментально. Таким образом, бесконечности поглощаются этими константами и дают конечный результат, хорошо согласующийся с экспериментом. Эта процедура получила название перенормировки.

Основываясь на интуиции Бете и фундаментальных работах по этому вопросу Синъитиро Томонаги,^[13] Джулиана Швингера,^[14][15] Ричарда Фейнмана^[16][17][18] и Фримена Дайсона,^[19][20] наконец стало возможным получить полностью ковариантные формулировки, конечные в любом порядке в ряду теории возмущений для квантовой электродинамики. Синъитиро Томонага, Джулиан Швингер и Ричард Фейнман были совместно удостоены Нобелевской премии 1965 года по физике за свои работы в этой области.^[21] Их вклад и вклад Фримена Дайсона касались ковариантных и калибровочно-инвариантных формулировок квантовой электродинамики, которые позволяют вычислять наблюдаемые в любом порядке теории возмущений. Математическая техника Фейнмана, основанная на его диаграммах, поначалу казалась очень отличающейся от теоретико-полевого подхода, основанного на операторах Швингера и Томонаги, но Фримен Дайсон показал, что эти два подхода эквивалентны. Перенормировка, то есть необходимость придать физический смысл некоторым бесконечностям, появляющимся в теории, через интегралы, впоследствии стала одним из фундаментальных аспектов квантовой теории поля и стала рассматриваться как критерий общей согласованности теории. Несмотря на то, что на практике перенормировка работает очень хорошо, Фейнман никогда не чувствовал себя полностью уверенным в её математической достоверности, даже говоря о перенормировке как о «игре в ракушки» и «фокусе-покусе»^[1]:128.

КЭД послужила моделью и шаблоном для всех последующих квантовых теорий поля. Одной из таких последующих теорий — квантовая хромодинамика, которая зародилась в начале 1960-х и приобрела свою нынешнюю форму в 1970-х годах в работах Х. Дейвида Политцера, Сидни Коулмана, Дэвида Гросса и Фрэнка Вильчека. Основываясь на новаторских работах Швингера, Джеральда Гуральника, Дика Хагена, Тома Киббла,^[22][23] Питера Хиггса, Джеффри Голдстоуна и других, Шелдон Ли Глэшоу, Стивен Вайнберг и Абдус Салам независимо друг от друга показали, как слабое взаимодействие и квантовая электродинамика могут быть объединены в одно общее электрослабое взаимодействие.

Ближе к концу своей жизни Ричард Фейнман прочитал серию лекций по КЭД, предназначенных для широкой публики. Эти лекции были переписаны и опубликованы в виде книги Фейнмана в 1985 году, QED: The Strange Theory of Light and Matter^[1] — классическое нематематическое изложение QED с точки зрения, которая выглядит следующим образом.

Ключевыми компонентами КЭД, предложенной Фейнманом, являются три основных процесса.^[1]:85

Фотон перемещается из одного положения в пространстве и времени в другое.

Электрон перемещается из одного положения в пространстве и времени в другое.

Электрон излучает или поглощает фотон в определённой точке пространства и в определённое время.

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

Помимо визуального обозначения процессов, Фейнман вводит ещё один вид обозначения для числовых величин, называемых амплитудами вероятности. Вероятность — это квадрат абсолютного значения полной амплитуды вероятности: ${\displaystyle {\text{probability}}=|f({\text{amplitude}})|^{2}}$. Если фотон движется из одного положения в пространстве и времени ${\displaystyle A}$ в другое положение ${\displaystyle B}$ пространства и времени, то связанная величина записывается в сокращении Фейнмана как ${\displaystyle P(A{\text{ to }}B)}$. Аналогичная величина для электрона, движущегося из ${\displaystyle C}$ к ${\displaystyle D}$ записывается как ${\displaystyle E(C{\text{ to }}D)}$. Величину, которая говорит об амплитуде вероятности испускания или поглощения фотона, он называет j. Она связана с элементарным зарядом электрона e, но не тождественна ему.^[1]:91

КЭД основана на предположении, что сложные взаимодействия многих электронов и фотонов можно представить путем подбора подходящего набора из трех вышеуказанных строительных блоков и последующего использования амплитуд вероятности для вычисления вероятности любого такого сложного взаимодействия. Оказывается, что основную идею КЭД можно выразить, если предположить, что квадрат суммы амплитуд вероятности, упомянутых выше (P (от A к B), E (от C к D) и j), действует так же, как наша повседневная вероятность (упрощение, сделанное в книге Фейнмана). Позже, вслед за Фейнманом, эта формулировка будет исправлена, чтобы включить в неё математику, относящуюся к квантовому стилю.

Основные правила амплитуд вероятности, которые будут использоваться, следующие:^[1]:93

1. Каждому событию квантовой электродинамики (например, перемещению фотона или электрона из одной точки пространства-времени в другую или испусканию или поглощению фотона электроном) соответствует комплексное число — амплитуда вероятности события. Вероятность события равна квадрату модуля амплитуды вероятности события.
2. Амплитуды вероятностей взаимоисключающих событий складываются, суммарная вероятность должна быть равна единице. Если событие происходит поэтапно или в результате ряда независимых событий, амплитуды вероятностей событий перемножаются.

Предположим, мы начинаем с одного электрона в определённой пространственной позиции и в определённое время (этому месту и времени присвоена произвольная метка А) и фотона в другой точке пространства и времени (с меткой В). Типичный вопрос с физической точки зрения: «Какова вероятность найти электрон в C (другая координата и более поздний момент времени) и фотон в D (еще одна координата и время)?» . Самый простой процесс для достижения этой цели — это перемещение электрона из точки A в точку C (элементарное действие) и перемещение фотона из точки B в точку D (еще одно элементарное действие). Зная амплитуды вероятности каждого из этих подпроцессов — E (от A в C) и P (от B в D) — можно вычислить амплитуду вероятности того, что оба процесса происходят одновременно, умножая их, используя правило b). Это дает простую оценку общей амплитуды вероятности, которая возводится в квадрат для получения вероятности. 

Но есть и другие способы достижения конечного результата. Электрон может переместиться в точку и время E, где он поглотит фотон; затем двигается дальше, прежде чем испустить ещё один фотон в точке F; затем переходит к C, где он регистрируется, а новый фотон переходит к D. Вероятность этого сложного процесса можно снова рассчитать, зная амплитуды вероятности каждого из отдельных процессов: трех процессов для электрона, двух процессов для фотонов и двух вершин — одной для излучения и одной для поглощения. Для нахождения полной амплитуды вероятности, умножаются амплитуды вероятности каждого из процессов для любых выбранных координат E и F. Затем, используя правило а), нужно сложить все эти амплитуды вероятностей для всех возможностей для E и F. На практике эта процедура не элементарна и предполагает интегрирование. Но есть и другая возможность, заключающаяся в том, что электрон сначала движется в G, где он испускает фотон, который переходит в D, а электрон движется в H, где он поглощает первый фотон, прежде чем перейти к C. Опять же, можно вычислить амплитуду вероятности этих процессов (для всех точек G и H). Это улучшит оценку общей амплитуды вероятности, добавив амплитуды вероятностей этих двух возможностей к первоначальной простой оценке. Этот процесс взаимодействия фотона с электроном называется комптоновским рассеянием. 

Существует бесконечное число других промежуточных процессов, в которых все больше и больше фотонов поглощается и/или испускается. Для каждой из этих возможностей существует диаграмма Фейнмана, описывающая её. Это подразумевает сложные вычисления результирующих амплитуд вероятности, но при условии, что чем сложнее диаграмма, тем меньше она влияет на результат. Нахождение настолько точного ответа, насколько это необходимо — это вопрос времени и усилий. Такой подход для КЭД — основной. Чтобы рассчитать вероятность любого процесса взаимодействия между электронами и фотонами, нужно сначала выбрать с помощью диаграмм Фейнмана все возможные способы, которыми этот процесс может быть построен используя три основных элемента. Каждая диаграмма включает в себя некоторые вычисления, учитывающие определённые правила, для нахождения соответствующих амплитуд вероятности.

Эта базовая процедура остается при переходе к квантовому описанию, но необходимы некоторые концептуальные изменения. Можно было бы ожидать в повседневной жизни, что будут накладываться какие-то ограничения на точки, в которой частица может находиться, но это не так в квантовой электродинамике. Существует возможность того, что электрон в точке A или фотон в точке B переместится в качестве основного процесса в любое другое место и время во Вселенной. Это включает в себя положения в пространстве, которые можно было достичь только со скоростью большей, чем скорость света, и даже в более ранние времена. Электрон, движущийся назад во времени, можно рассматривать как позитрон, движущийся вперед во времени.^{[1]:89, 98–99}

Квантовая механика вносит важное изменение в способ вычисления вероятностей. Вероятности по-прежнему представлены обычными действительными числами, которые мы используем для вероятностей в нашем повседневном мире, но они вычисляются как квадрат модуля амплитуды вероятностей, которые представляются комплексными числами.

Фейнман избегает знакомить читателя с математикой комплексных чисел, используя простое, но точное представление их в виде стрелок на листе бумаги или экране. Их не следует путать со стрелками в диаграммах Фейнмана, которые представляют собой упрощенные представления в двух измерениях отношений между точками в трёх измерениях пространства и одном измерении времени. Стрелки амплитуды имеют фундаментальное значение для описания мира в квантовой теории. Они связаны с нашими повседневными представлениями о вероятности простым правилом: вероятность события равна квадрату длины соответствующей амплитуды стрелки. Таким образом, для данного процесса, если задействованы две амплитуды с вероятностью, v и w, то вероятность процесса будет определяться формулой

${\displaystyle P=|\mathbf {v} +\mathbf {w} |^{2}\,.}$

Правила сложения и умножения такие же, но там, где складываются или умножаются вероятности, нужно вместо этого складывать или умножать амплитуды вероятностей, которые теперь представляют собой комплексные числа.

Сложение и умножение — обычные операции в теории комплексных чисел, они представлены на рисунках. Сумма находится следующим образом. Пусть начало второй стрелки будет в конце первой. Сумма представляет собой третью стрелку, идущую прямо от начала первой до конца второй. Произведение двух стрелок — это стрелка, длина которой равна произведению двух длин. Направление произведения определяется путем сложения углов, на которые были повёрнуты эти стрелки относительно опорного направления.

Это изменение от вероятностей к амплитудам вероятностей усложняет математику, но не изменяет основной подход. Этого изменения все ещё недостаточно, потому что при этом не учитывается тот факт, что и фотоны, и электроны могут быть поляризованными, то есть их ориентацию в пр��странстве и времени необходимо также принять во внимание. Следовательно, P (от A к B) состоит из 16 комплексных чисел или стрелок амплитуды вероятности.^{[1]:120–121} Есть также некоторые незначительные изменения, связанные с величиной j, которую, возможно, придется повернуть на кратное 90° для некоторых поляризаций, что представляет интерес только для детального рассмотрения.

С поляризацией электронов связана ещё одна небольшая особенность, а именно необходимость учитывать фермионую статистику или распределение Ферми — Дирака. Основное правило состоит в том, что если есть амплитуда вероятности для данного сложного процесса, включающего более одного электрона, то, когда учитывается дополнительная диаграмма Фейнмана, в которой рассматривается обмен двух электронных событий, то результирующая амплитуда меняет знак. В простейшем случае двае диаграммы электронов начинаются с A и B и заканчиваются в C и D. Амплитуда должна быть вычислена как «разница», E(A to D) × E(B to C) − E(A to C) × E(B to D), где ожидается, исходя из нашего повседневного представления о вероятностях, сумма.^{[1]:112–113}

Наконец, необходимо вычислить P (от A к B) и E (от C к D), соответствующие амплитудам вероятности для фотона и электрона. По сути, это решения уравнения Дирака, которые описывают поведение амплитуды вероятности электрона, и уравнений Максвелла, описывающих поведение амплитуды вероятности фотона. Их называют пропагаторами Фейнмана. Перевод в обозначения, обычно используемые в стандартной литературе, выглядит следующим образом:

${\displaystyle P(A{\text{ to }}B)\to D_{F}(x_{B}-x_{A}),\quad E(C{\text{ to }}D)\to S_{F}(x_{D}-x_{C}),}$

где сокращенный символ, такой как ${\displaystyle x_{A}}$ обозначает четыре действительных числа, которые показывают время и положение в трёх измерениях точки, обозначенной буквой A.

Исторически возникла проблема, которая задержала прогресс на двадцать лет: хотя рассмотрение процесса начинается с предположения о трех основных «простых» процессах, но чтобы вычислить амплитуду вероятности перехода электрона из точки A в точку B, нужно принять во внимание все возможные способы, то есть все возможные диаграммы Фейнмана с этими конечными точками. Таким образом, электрон может переместиться в точку C, испустить там фотон, а затем снова поглотить его в точке D прежде, чем перейти к точке B. Или он может повторить такой процесс дважды и больше раз. Короче говоря, существует фрактальная ситуация, в которой, при внимательном рассмотрении линии, она распадается на набор «простых» линий, каждая из которых при внимательном рассмотрении, в свою очередь, состоит из «простых» линий и так далее до бесконечности. Это сложная ситуация. Если бы добавление этой детали лишь немного изменило ситуацию, это было бы неплохо, но случилась катастрофа, когда было обнаружено, что упомянутая выше простая поправка привела к бесконечным амплитудам вероятности. Со временем эта проблема была «исправлена» методом перенормировки. Однако сам Фейнман остался недоволен этим, назвав это «дурацким процессом».^[1]:128

В рамках вышеупомянутой структуры, физики смогли вычислить с высокой степенью точности некоторые свойства электронов, такие как аномальный магнитный дипольный момент. Однако, как указывает Фейнман, он не может объяснить, почему частицы, такие как электрон, обладают определённой массой. "Не существует теории, адекватно объясняющей эти цифры. Мы используем числа во всех наших теориях, но не понимаем их — что это такое и откуда они взялись. Я считаю, что с фундаментальной точки зрения это очень интересная и серьёзная проблема "^[1]:152

Математически КЭД — это абелева калибровочная теория поля с группой симметрии U(1). Калибровочное поле, которое переносит взаимодействие между заряженными полями спина 1/2, является электромагнитным полем^[24]:78.

Лагранжиан КЭД для поля спина 1/2 (электрон-позитронного поля), взаимодействующего с электромагнитным полем, равен сумме лагранжианов электрон-позитронного поля, фотонного поля и слагаемого, описывающего взаимодействие электромагнитного поля с электрон-позитронным полем. Последнее слагаемое, однако, часто объединяют с первым, используя так называемую обобщённую ковариантную производную:

${\displaystyle {\mathcal {L}}={\bar {\psi }}(i\gamma ^{\mu }D_{\mu }-m)\psi -{\frac {1}{4}}F_{\mu \nu }F^{\mu \nu },}$

где

${\displaystyle \gamma ^{\mu }}$ — матрицы Дирака ;

${\displaystyle \psi }$ биспинорное поле частиц со спином 1/2 (например, электрон- позитронное поле);

${\displaystyle {\bar {\psi }}\equiv \psi ^{\dagger }\gamma ^{0}}$, называемый «пси-бар», иногда называют сопряженным по Дираку;

${\displaystyle D_{\mu }\equiv \partial _{\mu }+ieA_{\mu }+ieB_{\mu }\,\!}$ — калибровочная ковариантная производная ;

е — константа связи, равная электрическому заряду биспинорного поля;

m — масса электрона или позитрона;

${\displaystyle A_{\mu }}$ — ковариантный четырехпотенциал электромагнитного поля, создаваемого самим электроном;

${\displaystyle B_{\mu }}$ — внешнее поле, создаваемое внешним источником;

${\displaystyle F_{\mu \nu }=\partial _{\mu }A_{\nu }-\partial _{\nu }A_{\mu }\,\!}$ — тензор электромагнитного поля .

Подставляя определение D в лагранжиан, получаем

${\displaystyle {\mathcal {L}}=i{\bar {\psi }}\gamma ^{\mu }\partial _{\mu }\psi -e{\bar {\psi }}\gamma ^{\mu }(A_{\mu }+B_{\mu })\psi -m{\bar {\psi }}\psi -{\frac {1}{4}}F_{\mu \nu }F^{\mu \nu }.}$

Из этого лагранжиана можно получить уравнения движения для полей ψ и A.

• Используя теоретико -полевое уравнение Эйлера — Лагранжа для ψ ,

${\displaystyle \partial _{\mu }\left({\frac {\partial {\mathcal {L}}}{\partial (\partial _{\mu }\psi )}}\right)-{\frac {\partial {\mathcal {L}}}{\partial \psi }}=0.}$

Производные лагранжиана относительно ψ равны

${\displaystyle \partial _{\mu }\left({\frac {\partial {\mathcal {L}}}{\partial (\partial _{\mu }\psi )}}\right)=\partial _{\mu }\left(i{\bar {\psi }}\gamma ^{\mu }\right),}$

${\displaystyle {\frac {\partial {\mathcal {L}}}{\partial \psi }}=-e{\bar {\psi }}\gamma ^{\mu }(A_{\mu }+B_{\mu })-m{\bar {\psi }}.}$

Подставляя их в (2)

${\displaystyle i\partial _{\mu }{\bar {\psi }}\gamma ^{\mu }+e{\bar {\psi }}\gamma ^{\mu }(A_{\mu }+B_{\mu })+m{\bar {\psi }}=0,}$

с эрмитово сопряженным уравнением

${\displaystyle i\gamma ^{\mu }\partial _{\mu }\psi -e\gamma ^{\mu }(A_{\mu }+B_{\mu })\psi -m\psi =0.}$

Перенос среднего члена в правую часть дает

${\displaystyle i\gamma ^{\mu }\partial _{\mu }\psi -m\psi =e\gamma ^{\mu }(A_{\mu }+B_{\mu })\psi .}$

Левая часть похожа на исходное уравнение Дирака, а правая часть описывает взаимодействие с электромагнитным полем.

• Используя уравнение Эйлера — Лагранжа для поля A,

${\displaystyle \partial _{\nu }\left({\frac {\partial {\mathcal {L}}}{\partial (\partial _{\nu }A_{\mu })}}\right)-{\frac {\partial {\mathcal {L}}}{\partial A_{\mu }}}=0,}$

на этот раз производные

${\displaystyle \partial _{\nu }\left({\frac {\partial {\mathcal {L}}}{\partial (\partial _{\nu }A_{\mu })}}\right)=\partial _{\nu }\left(\partial ^{\mu }A^{\nu }-\partial ^{\nu }A^{\mu }\right),}$

${\displaystyle {\frac {\partial {\mathcal {L}}}{\partial A_{\mu }}}=-e{\bar {\psi }}\gamma ^{\mu }\psi .}$

Подстановка обратно в (3) приводит к

${\displaystyle \partial _{\nu }F^{\nu \mu }=e{\bar {\psi }}\gamma ^{\mu }\psi .}$

Теперь, если принять калибровочное условие Лоренца

${\displaystyle \partial _{\mu }A^{\mu }=0,}$

уравнения сводятся к

${\displaystyle \Box A^{\mu }=e{\bar {\psi }}\gamma ^{\mu }\psi ,}$

которое является волновым уравнением для четырёхпотенциала, КХД-версии классических уравнений Максвелла в калибровке Лоренца . (Квадрат обозначает оператор Даламбера, ${\displaystyle \Box =\partial _{\alpha }\partial ^{\alpha }}$ .)

Эту теорию можно напрямую проквантовать, рассматривая бозонный и фермионный секторы для свободных частиц. Это позволяет построить набор асимптотических состояний, которые можно использовать для вычисления амплитуд вероятностей для различных процессов. Для этого нужно вычислить оператор эволюции, который для данного начального состояния ${\displaystyle |i\rangle }$ приводит к конечному состоянию ${\displaystyle \langle f|}$ таким образом, чтобы выполнялось условие^[24]:5

${\displaystyle M_{fi}=\langle f|U|i\rangle .}$

Этот метод также известен как метод S-матриц. Оператор эволюции получается в картине взаимодействия, где эволюция во времени задается гамильтонианом взаимодействия, который представляет собой интеграл по пространству от второго члена в плотности лагранжиана, приведенного выше:^[24]:123

${\displaystyle V=e\int d^{3}x\,{\bar {\psi }}\gamma ^{\mu }\psi A_{\mu },}$

Или^[24]:86

${\displaystyle U=T\exp \left[-{\frac {i}{\hbar }}\int _{t_{0}}^{t}dt'\,V(t')\right],}$

где T — оператор временного упорядочивания. Этот оператор эволюции имеет значение только в виде ряда. Получается ряд теории возмущений с постоянной тонкой структуры в качестве малого параметра. Этот ряд называется рядом Дайсона.

Основным вычислительным методом квантовой электродинамики является метод возмущений. В нулевом приближении электромагнитным взаимодействием пренебрегают, и частицы считаются невзаимодействующими. В первом, втором и т. д. приближениях учитываются однократные, двукратные и т. д. акты взаимодействия между частицами. Вероятность каждого акта взаимодействия пропорциональна заряду частицы ${\displaystyle e}$. Чем больше актов взаимодействия рассматривается, тем в более высокой степени входит заряд в выражение для амплитуды вероятности процесса^[25]. Вычисления в квантовой электродинамике заключаются в нахождении из лагранжиана, описывающего взаимодействие элементарных частиц, эффективных сечений реакций и скоростей распада частиц. Для вычислений по методу возмущений используется метод диаграмм Фейнмана, при помощи которых вычисляются матричные элементы, входящие в выражения для вероятностей переходов^[26].

Несмотря на концептуальную ясность подхода Фейнмана к КЭД, почти ни в одном из ранних учебников его изложение не давалось последовательно. При проведении вычислений гораздо проще работать с преобразованиями Фурье пропагаторов. Экспериментальные проверки квантовой электродинамики обычно представляют собой эксперименты по рассеянию. В теории рассеяния учитываются импульсы частиц, а не их положения, и удобно думать о частицах как о создаваемых или аннигилирующих при взаимодействии. Тогда диаграммы Фейнмана выглядят одинаково, но линии имеют разную интерпретацию. Электронная линия представляет собой электрон с заданной энергией и импульсом и аналогично для фотонной линии. Вершинная диаграмма представляет собой аннигиляцию одного электрона и создание другого вместе с поглощением или созданием фотона, каждый из которых имеет определённые энергии и импульсы.

Используя теорему Вика о членах ряда Дайсона, все члены S-матрицы для квантовой электродинамики можно вычислить с помощью техники диаграмм Фейнмана. В этом случае правила изображения следующие^{[24]:801–802}

К этим правилам нужно добавить ещё одно для замкну��ых контуров, которое подразумевает интегрирование по импульсам ${\displaystyle \int d^{4}p/(2\pi )^{4}}$, поскольку эти внутренние («виртуальные») частицы не ограничены какой-либо определённой энергией-импульсом, даже той, которая обычно требуется специальной теорией относительности (см. детали в Propagator).

На их основе непосредственно вычисляются амплитуды вероятностей. Примером может служить комптоновское рассеяние, когда электрон и фотон подвергаются упругому рассеянию. В данном случае диаграммы Фейнмана^{[24]:158–159}

и поэтому соответствующая амплитуда в первом порядке ряда возмущений для S-матрицы примет вид

${\displaystyle M_{fi}=(ie)^{2}{\overline {u}}({\vec {p}}',s')\epsilon \!\!\!/\,'({\vec {k}}',\lambda ')^{*}{\frac {p\!\!\!/+k\!\!\!/+m_{e}}{(p+k)^{2}-m_{e}^{2}}}\epsilon \!\!\!/({\vec {k}},\lambda )u({\vec {p}},s)+(ie)^{2}{\overline {u}}({\vec {p}}',s')\epsilon \!\!\!/({\vec {k}},\lambda ){\frac {p\!\!\!/-k\!\!\!/'+m_{e}}{(p-k')^{2}-m_{e}^{2}}}\epsilon \!\!\!/\,'({\vec {k}}',\lambda ')^{*}u({\vec {p}},s),}$

из которого вычисляют сечение этого рассеяния.

Успех предсказаний квантовой электродинамики во многом основан на использовании теории возмущений, выраженной в диаграммах Фейнмана. Однако квантовая электродинамика также приводит к предсказаниям, выходящим за рамки теории возмущений. В присутствии очень сильных электрических полей она предсказывает, что электроны и позитроны будут спонтанно образовываться, вызывая распад поля. Этот процесс, называемый эффектом Швингера^[27], который нельзя понять в терминах какого-либо конечного числа диаграмм Фейнмана и, следовательно, описывается как непертурбативный. Математически это может быть получено с помощью полуклассического приближения в терминах интегралов по траекториям в квантовой электродинамике.

Члены более высокого порядка вычисляются напрямую для оператора эволюции, но эти члены отображаются диаграммами, содержащими следующие более простые петли^{[24]:ch 10}

• 
  Однопетлевой вклад в функцию поляризации вакуума ${\displaystyle \Pi }$
• 
  Однопетлевой вклад в функцию собственной энергии электрона ${\displaystyle \Sigma }$
• 
  Однопетлевой вклад в вершинную функцию ${\displaystyle \Gamma }$

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

Перенормируемость стала важным критерием для того, чтобы квантовая теория поля считалась жизнеспособной. Все теории, описывающие фундаментальные взаимодействия, за исключением гравитации, квантовый аналог которой только предполагается и в настоящее время очень активно исследуется, являются перенормируемыми теориями.

Аргумент Фримена Дайсона показывает, что радиус сходимости ряда теории возмущений в КЭД равен нулю.^[28] Основной аргумент заключается в следующем: если бы константа связи была отрицательной, это было бы эквивалентно отрицательной силе Кулона. Такое «обратное» электромагнитное взаимодействие соответствует тому, что одноимённые заряды будут притягиваться и разноимённые — отталкиваться. Это сделало бы вакуум нестабильным по отношению к распаду на скопление электронов на одной стороне вселенной и скопление позитронов на другой стороне вселенной. Поскольку теория «больна» при любом отрицательном значении константы связи, ряды расходятся, и в лучшем случае имеют свойства асимптотических рядов.

С современной точки зрения говорится, что КЭД не может быть определена как квантовая теория поля для произвольно высоких энергий.^[29] Константа связи стремится к бесконечности при конечной энергии, сигнализируя о полюсе Ландау. Проблема состоит в том, что КХД, похоже, страдает проблемами квантовой тривиальности. Это одна из причин включения КХД в Теорию Великого Объединения.

Дифференциальное и полное сечения рассеяния эффекта Комптона, процесса рассеяния электрона на электроне и позитроне, процессов взаимодействия фотонов с атомами и ядрами, аномальный магнитный момент и лэмбовский сдвиг электрона с высокой точностью совпадают с расчетами квантовой электродинамики^[30][31][32].

Вакуумом в квантовой электродинамике называется состояние, в котором у всех осцилляторов ${\displaystyle n=0}$. Следовательно, энергия каждого осциллятора равна ${\displaystyle \hbar \omega /2}$, где ${\displaystyle \omega }$ — собственная частота осциллятора. Сумма всех мод осцилляторов с частотами от нуля до бесконечности равна бесконечности. На практике этой расходимостью пренебрегают и энергию вакуумного состояния принимают равной нулю. Остаётся открытым вопрос: не образуется ли вакуум гравитационного поля, подобно массе, распределенной с постоянной плотностью? По «правилу обрезания», моды с очень большими частотами исключаются из рассмотрения. Плотность энергии вакуумного состояния

${\displaystyle {\frac {E}{V}}=2{\frac {\hbar c}{2{(2\pi )}^{3}}}\int \limits _{0}^{k_{max}}k\cdot 4\pi k^{2}dk={\frac {\hbar ck_{max}^{4}}{8\pi ^{2}}}}$.

Подставляя значение ${\displaystyle k_{max}={\frac {Mc}{\hbar }}}$, где ${\displaystyle M}$ — масса протона, получаем значение плотности массы, эквивалентное этой энергии: ${\displaystyle m_{vak}={\frac {E}{Vc^{2}}}=2\cdot 10^{15}}$ грамм на кубический сантиметр пространства. Гравитационные эффекты, соответствующие этой энергии вакуума, не обнаружены^[33]. Не удается вычислить энергию вакуума как собственное значение для гамильтониана вакуумного состояния, а при применении методов теории возмущений к расчету вероятности перехода из вакуумного состояния в состояние с фотоном и электронно-позитронной парой получаются расходящиеся интегралы^[34].

При расчёте вероятностей процессов в квантовой электродинамике методом возмущений к выражению для амплитуды процесса последовательно добавляются слагаемые вида ${\displaystyle n!\alpha ^{n}}$, где ${\displaystyle \alpha }$ — постоянная тонкой структуры, ${\displaystyle n}$ — число вершин на диаграммах Фейнмана в данном приближении. Ряды вида ${\displaystyle \sum _{n=1}^{\infty }n!\alpha ^{n}}$ являются расходящимися. В опытах данная расходимость не проявляется, поскольку предельная точность вычислений при помощи таких рядов составляет ${\displaystyle 10^{-57}}$%^[25].

Требование локальности взаимодействия между частицами в квантовой электродинамике приводит к тому, что интегралы по пространству, описывающие процессы взаимодействия частиц, оказываются расходящимися за счёт больших импульсов виртуальных частиц. Это свидетельст��ует о неприменимости принятых в квантовой электродинамике методов описания взаимодействий на малых расстояниях^[35].