Тензор электромагнитного поля

Тензор электромагнитного поля — это антисимметричный тензор второго ранга, используемый в специальной теории относительности и электродинамике для ковариантной записи уравнений Максвелла и описания электромагнитного поля в четырёхмерном пространстве-времени Минковского. В отличие от трёхмерного векторного описания, где электрическое поле E и магнитное поле B рассматриваются как отдельные векторы, тензорный формализм объединяет их в единый геометрический объект, что позволяет явно демонстрировать релятивистскую инвариантность законов электродинамики.

Определение и структура

Тензор электромагнитного поля, обозначаемый обычно как \(F_{\mu\nu}\) или \(F^{\mu\nu}\), является 4×4-матрицей, компоненты которой выражаются через напряжённости электрического и магнитного полей. В системе единиц СИ, с использованием сигнатуры метрики Минковского \((+,-,-,-)\), ковариантный тензор \(F_{\mu\nu}\) имеет вид:

\[ F_{\mu\nu} = \begin{pmatrix} 0 & E_x/c & E_y/c & E_z/c \\ -E_x/c & 0 & -B_z & B_y \\ -E_y/c & B_z & 0 & -B_x \\ -E_z/c & -B_y & B_x & 0 \end{pmatrix} \]

Здесь \(c\) — скорость света в вакууме. Компоненты электрического поля \(E_x, E_y, E_z\) и магнитного поля \(B_x, B_y, B_z\) соответствуют декартовым координатам. Антисимметричность тензора означает, что \(F_{\mu\nu} = -F_{\nu\mu}\), а диагональные элементы равны нулю.

Контравариантный тензор \(F^{\mu\nu}\) получается поднятием индексов с помощью метрического тензора \(g^{\mu\nu}\):

\[ F^{\mu\nu} = g^{\mu\alpha} g^{\nu\beta} F_{\alpha\beta} \]

В той же сигнатуре он имеет вид:

\[ F^{\mu\nu} = \begin{pmatrix} 0 & -E_x/c & -E_y/c & -E_z/c \\ E_x/c & 0 & -B_z & B_y \\ E_y/c & B_z & 0 & -B_x \\ E_z/c & -B_y & B_x & 0 \end{pmatrix} \]

Связь с векторным потенциалом

Тензор электромагнитного поля может быть выражен через четырёхмерный векторный потенциал \(A_\mu = (\phi/c, \mathbf{A})\), где \(\phi\) — скалярный потенциал, а \(\mathbf{A}\) — векторный потенциал. Формула имеет вид:

\[ F_{\mu\nu} = \partial_\mu A_\nu - \partial_\nu A_\mu \]

где \(\partial_\mu\) — оператор частной производной по координате \(x^\mu\). Это определение автоматически гарантирует выполнение однородных уравнений Максвелла, так как \(F_{\mu\nu}\) является ротором потенциала. В трёхмерной записи это соответствует соотношениям \(\mathbf{E} = -\nabla \phi - \partial \mathbf{A}/\partial t\) и \(\mathbf{B} = \nabla \times \mathbf{A}\).

Уравнения Максвелла в тензорной форме

Тензорный формализм позволяет записать все четыре уравнения Максвелла компактно в виде двух тензорных уравнений.

Неоднородные уравнения

Первая пара уравнений (закон Гаусса для электрического поля и закон Ампера — Максвелла) объединяется в уравнение:

\[ \partial_\mu F^{\mu\nu} = \mu_0 J^\nu \]

где \(J^\nu = (c\rho, \mathbf{J})\) — четырёхмерный вектор плотности тока, \(\rho\) — плотность электрического заряда, \(\mathbf{J}\) — плотность тока, а \(\mu_0\) — магнитная постоянная. В компонентах это даёт:

• Для \(\nu = 0\): \(\nabla \cdot \mathbf{E} = \rho / \varepsilon_0\) (закон Гаусса)
• Для \(\nu = 1,2,3\): \(\nabla \times \mathbf{B} - \frac{1}{c^2} \frac{\partial \mathbf{E}}{\partial t} = \mu_0 \mathbf{J}\) (закон Ампера — Максвелла)

Однородные уравнения

Вторая пара уравнений (закон Гаусса для магнитного поля и закон электромагнитной индукции Фарадея) записывается в виде тождества Бьянки:

\[ \partial_\lambda F_{\mu\nu} + \partial_\mu F_{\nu\lambda} + \partial_\nu F_{\lambda\mu} = 0 \]

Это уравнение эквивалентно двум трёхмерным уравнениям:

• \(\nabla \cdot \mathbf{B} = 0\)
• \(\nabla \times \mathbf{E} + \frac{\partial \mathbf{B}}{\partial t} = 0\)

Инварианты поля

Из тензора электромагнитного поля можно построить два скалярных инварианта, не зависящих от выбора системы отсчёта:

1. Первый инвариант (свёртка тензора с самим собой):

\[ F_{\mu\nu} F^{\mu\nu} = 2\left(B^2 - \frac{E^2}{c^2}\right) \]

1. Второй инвариант (свёртка с дуальным тензором):

\[ F_{\mu\nu} \tilde{F}^{\mu\nu} = -4 \frac{\mathbf{E} \cdot \mathbf{B}}{c} \]

где \(\tilde{F}^{\mu\nu} = \frac{1}{2} \varepsilon^{\mu\nu\alpha\beta} F_{\alpha\beta}\) — дуальный тензор, а \(\varepsilon^{\mu\nu\alpha\beta}\) — символ Леви-Чивиты в четырёхмерном пространстве. Эти инварианты играют ключевую роль в классификации электромагнитных полей: например, если \(F_{\mu\nu} F^{\mu\nu} = 0\) и \(F_{\mu\nu} \tilde{F}^{\mu\nu} = 0\), поле является чисто волновым (плоская электромагнитная волна).

Преобразования Лоренца

Тензорная природа \(F_{\mu\nu}\) обеспечивает его ковариантность при преобразованиях Лоренца. Если переход между инерциальными системами отсчёта задаётся матрицей \(\Lambda^\mu_{\ \nu}\), то компоненты тензора преобразуются по закону:

\[ F'_{\mu\nu} = \Lambda^\alpha_{\ \mu} \Lambda^\beta_{\ \nu} F_{\alpha\beta} \]

Это приводит к известным формулам преобразования электрического и магнитного полей. Например, при движении системы отсчёта вдоль оси \(x\) со скоростью \(v\):

\[ E'_x = E_x, \quad E'_y = \gamma (E_y - v B_z), \quad E'_z = \gamma (E_z + v B_y) \] \[ B'_x = B_x, \quad B'_y = \gamma (B_y + \frac{v}{c^2} E_z), \quad B'_z = \gamma (B_z - \frac{v}{c^2} E_y) \]

где \(\gamma = 1/\sqrt{1 - v^2/c^2}\) — фактор Лоренца. Таким образом, разделение поля на электрическое и магнитное является относительным и зависит от выбора системы отсчёта.

Энергия и импульс поля

Тензор электромагнитного поля используется для построения тензора энергии-импульса электромагнитного поля \(T^{\mu\nu}\), который описывает плотность энергии, плотность импульса и поток энергии (вектор Пойнтинга). В системе СИ он имеет вид:

\[ T^{\mu\nu} = \frac{1}{\mu_0} \left( F^{\mu\alpha} F^\nu_{\ \alpha} - \frac{1}{4} g^{\mu\nu} F_{\alpha\beta} F^{\alpha\beta} \right) \]

Компоненты этого тензора:

• \(T^{00}\) — плотность энергии поля \(u = \frac{1}{2} \left( \varepsilon_0 E^2 + \frac{B^2}{\mu_0} \right)\)
• \(T^{0i}\) — компоненты вектора Пойнтинга \(\mathbf{S} = \frac{1}{\mu_0} \mathbf{E} \times \mathbf{B}\)
• \(T^{ij}\) — тензор напряжений Максвелла

Применение в квантовой электродинамике

В квантовой электродинамике тензор электромагнитного поля является основой для построения лагранжиана взаимодействия заряженных частиц с фотонами. Лагранжиан свободного электромагнитного поля записывается как:

\[ \mathcal{L} = -\frac{1}{4\mu_0} F_{\mu\nu} F^{\mu\nu} \]

Это выражение инвариантно относительно калибровочных преобразований \(A_\mu \to A_\mu + \partial_\mu \chi\), что лежит в основе калибровочной симметрии электродинамики. Тензорный формализм также используется при описании эффектов, таких как поляризация вакуума и рождение пар в сильных полях.

Историческая справка

Тензорное описание электромагнитного поля было разработано в рамках специальной теории относительности Альбертом Эйнштейном и Германом Минковским в 1907–1908 годах. Минковский впервые ввёл четырёхмерное пространство-время и показал, что уравнения Максвелла могут быть записаны в ковариантной форме. В 1915 году Эйнштейн использовал тензорный формализм при построении общей теории относительности, где тензор электромагнитного поля служит источником гравитационного поля в правой части уравнений Эйнштейна.

Источники

1. Ландау Л. Д., Лифшиц Е. М. Теоретическая физика: Том 2. Теория поля. — М.: Наука, 1988.
2. Джексон Дж. Классическая электродинамика. — М.: Мир, 1965.
3. Минковский Г. Пространство и время. — М.: Физматлит, 2003.
4. Фейнман Р., Лейтон Р., Сэндс М. Фейнмановские лекции по физике. Том 6: Электродинамика. — М.: Мир, 1977.