Знаки в следующем тензорном анализе зависят от соглашения, используемого для метрического тензора . Соглашение, используемое здесь, это (+ − − −) , что соответствует метрическому тензору Минковского :
Электромагнитный тензор
Электромагнитный тензор представляет собой комбинацию электрического и магнитного полей в ковариантный антисимметричный тензор , элементы которого являются величинами B -поля. [1]
А результатом повышения его индексов является ,
где E — электрическое поле , B — магнитное поле , а c — скорость света .
Тензор электромагнитного поля F образует тензор электромагнитного напряжения-энергии T по уравнению: [2]
где η — метрический тензор Минковского (с сигнатурой (+ − − −) ). Обратите внимание, что мы используем тот факт,
который предсказывается уравнениями Максвелла.
Уравнения Максвелла в вакууме
В вакууме (или для микроскопических уравнений, не включающих макроскопические описания материалов) уравнения Максвелла можно записать в виде двух тензорных уравнений.
Два неоднородных уравнения Максвелла, закон Гаусса и закон Ампера (с поправкой Максвелла) объединяются в (с метрикой (+ − − −) ): [3]
Каждое из этих тензорных уравнений соответствует четырем скалярным уравнениям, по одному для каждого значения β .
Используя антисимметричную тензорную нотацию и обозначение запятой для частной производной (см. исчисление Риччи ), второе уравнение можно записать более компактно как:
При отсутствии источников уравнения Максвелла сводятся к:
которое представляет собой уравнение электромагнитной волны в тензоре напряженности поля.
Уравнения Максвелла в калибровке Лоренца
Калибровочное условие Лоренца является лоренц-инвариантным калибровочным условием. (Это можно противопоставить другим калибровочным условиям, таким как калибровка Кулона , которая, если она выполняется в одной инерциальной системе отсчета, в общем случае не выполняется ни в какой другой.) Она выражается в терминах четырехпотенциала следующим образом:
В калибровке Лоренца микроскопические уравнения Максвелла можно записать как:
Выражаясь через координатное время t , это выглядит так:
где p α — 4-импульс, q — заряд , а x β — положение.
Выражаясь в форме, не зависящей от системы отсчета, мы имеем 4-силу
, где u β — 4-скорость, а τ — собственное время частицы , которое связано с координатным временем соотношением dt = γdτ .
Зарядовый континуум
Плотность силы, обусловленной электромагнетизмом, пространственная часть которой представляет собой силу Лоренца, определяется выражением
и связана с тензором электромагнитного напряжения-энергии соотношением
Используя уравнения Максвелла, можно увидеть, что тензор электромагнитного напряжения-энергии (определенный выше) удовлетворяет следующему дифференциальному уравнению, связывающему его с электромагнитным тензором и четырехвектором тока
,
которое выражает сохранение линейного импульса и энергии при электромагнитных взаимодействиях.
Ковариантные объекты в материи
Свободные и связанные четырехпотоки
Для решения уравнений электромагнетизма, приведенных здесь, необходимо добавить информацию о том, как вычислить электрический ток, J ν . Часто бывает удобно разделить ток на две части, свободный ток и связанный ток, которые моделируются разными уравнениями;
где
Связанный ток выводится из полей P и M , которые образуют антисимметричный контравариантный тензор намагниченности-поляризации [1] [5] [6] [7]
, который определяет связанный ток.
Тензор электрического смещения
Если объединить это с F μν, то мы получим антисимметричный контравариантный тензор электромагнитного смещения, который объединяет поля D и H следующим образом:
Три тензора поля связаны соотношением:
что эквивалентно определениям полей D и H , данным выше.
Связанный ток и свободный ток, как определено выше, автоматически и по отдельности сохраняются.
Уравнения состояния
Вакуум
В вакууме определяющие соотношения между тензором поля и тензором смещения следующие:
Антисимметрия сводит эти 16 уравнений всего к шести независимым уравнениям. Поскольку обычно F μν определяется с помощью
материальных уравнений, в вакууме его можно объединить с законом Гаусса–Ампера, чтобы получить:
Электромагнитный тензор энергии-напряжения в терминах смещения равен:
где δ α π — дельта Кронекера . Когда верхний индекс опускается с η , он становится симметричным и является частью источника гравитационного поля.
Линейная, недисперсная материя
Таким образом, мы свели задачу моделирования тока J ν к двум (надеюсь) более простым задачам — моделированию свободного тока J ν free и моделированию намагниченности и поляризации . Например, в простейших материалах на низких частотах,
где мы находимся в мгновенно сопутствующей инерциальной системе отсчета материала, σ — его электропроводность , χ e — его электрическая восприимчивость , а χ m — его магнитная восприимчивость .
Определяющие соотношения между тензорами и F , предложенные Минковским для линейных материалов (то есть E пропорционально D , а B пропорционально H ), таковы:
где u — четырехмерная скорость материала, ε и μ — соответственно собственные диэлектрическая и магнитная проницаемости материала ( т.е. в системе покоя материала), а обозначает оператор звезды Ходжа .
Лагранжиан для классической электродинамики
Вакуум
Плотность лагранжиана для классической электродинамики состоит из двух компонентов: полевого компонента и компонента источника:
В термине взаимодействия четырехток следует понимать как сокращение многих терминов, выражающих электрические токи других заряженных полей через их переменные; четырехток сам по себе не является фундаментальным полем.
Уравнения Лагранжа для плотности электромагнитного лагранжиана можно сформулировать следующим образом:
Обратите внимание
, что выражение внутри квадратных скобок равно
Второй термин:
Таким образом, уравнения движения электромагнитного поля имеют вид
, что и представляет собой уравнение Гаусса–Ампера, приведенное выше.
Иметь значение
Разделяя свободные токи от связанных токов, можно записать плотность Лагранжа еще одним способом:
Используя уравнение Лагранжа, можно вывести уравнения движения .
Эквивалентное выражение в векторной записи имеет вид:
^ Классическая электродинамика Джексона, 3-е издание, Глава 11 Специальная теория относительности
^ Предполагается, что не существует никаких сил, кроме тех, которые возникают в точках E и B , то есть нет гравитационных , слабых или сильных сил.
^ Однако предположение, что , , и даже , являются релятивистскими тензорами в поляризуемой среде, не имеет под собой оснований. Величина не является четырехвектором в поляризуемой среде, поэтому не производит тензор.
^ Франклин, Джерролд, Могут ли электромагнитные поля образовывать тензоры в поляризующейся среде?
^ Гонано, Карло, Определение поляризации P и намагниченности M, полностью соответствующее уравнениям Максвелла
Дальнейшее чтение
Фейнмановские лекции по физике, том II, гл. 25: Электродинамика в релятивистских обозначениях
Эйнштейн, А. (1961). Относительность: Специальная и общая теория . Нью-Йорк: Crown. ISBN 0-517-02961-8.
Мизнер, Чарльз; Торн, Кип С.; Уилер, Джон Арчибальд (1973). Гравитация . Сан-Франциско: WH Freeman. ISBN 0-7167-0344-0.
Ландау, Л. Д.; Лифшиц, Э. М. (1975). Классическая теория полей (Четвертое пересмотренное английское издание). Оксфорд: Пергам. ISBN 0-08-018176-7.
RP Feynman; FB Moringo; WG Wagner (1995). Лекции Фейнмана по гравитации . Addison-Wesley. ISBN 0-201-62734-5.