Обсуждение:Ковариантная электродинамика

Тождества с символом Леви-Чевиты

В pdf-версии главы написано, что более подробно о преобразовании для

$\ \varepsilon _{\alpha \beta \gamma \lambda }\varepsilon ^{\lambda \mu \nu \sigma }$

можно прочитать на стр. 648. На стр. 648 книги я не нашел информации об этом. Где можно найти? Maxim 17:13, 18 октября 2012 (UTC).

Это математические приложения. Они пока не готовы. Но скопирую ниже соответствующий кусок. Советую также читать книжку Векторы, тензоры и формы. Инструкция для физиков (и решать задачки :). Там в частности стр.183 (но для 3-мерного пространства, зато в криволинейных координатах).

---

$\textstyle \bullet$ В пространстве-времени определим абсолютно антисимметричный тензор Леви-Чевиты так, что $\textstyle \varepsilon _{0123}=1$ и $\textstyle \varepsilon ^{0123}=-1$. Таким образом, значение, равное 1 для символа с нижними индексами принято по определению. Тензор с верхними индексами получается при помощи свёртки с метрическим тензором $\textstyle g_{\mu \nu }=\mathrm {diag} (1,-1,-1,-1)$. Три ненулевых индекса приводят к нечётному произведению -1 и дают значение -1.

Произведение двух символов Леви-Чевиты выражается через определитель от символов Кронекера:

$\varepsilon ^{\alpha \beta \gamma \lambda }\,\varepsilon _{\mu \nu \sigma \tau }=-{\begin{vmatrix}\delta _{\mu }^{\alpha }&\delta _{\nu }^{\alpha }&\delta _{\sigma }^{\alpha }&\delta _{\tau }^{\alpha }\\\delta _{\mu }^{\beta }&\delta _{\nu }^{\beta }&\delta _{\sigma }^{\beta }&\delta _{\tau }^{\beta }\\\delta _{\mu }^{\gamma }&\delta _{\nu }^{\gamma }&\delta _{\sigma }^{\gamma }&\delta _{\tau }^{\gamma }\\\delta _{\mu }^{\lambda }&\delta _{\nu }^{\lambda }&\delta _{\sigma }^{\lambda }&\delta _{\tau }^{\lambda }\\\end{vmatrix}}.$

Действительно, если четвёрки индексов $\textstyle \alpha \beta \gamma \lambda$ и $\textstyle \mu \nu \sigma \tau$ различны, то:

$\varepsilon ^{0123}\,\varepsilon _{0123}=-\det {\mathbf {1} }=-1.$

Если любые два индекса равны, то в матрице оказываются равными две строки или два столбца. Например, при $\textstyle \alpha =\beta$ равны первые две строки. Поэтому в этом случае определитель равен нулю. Перестановка любых двух индексов приводит для первого символа $\textstyle \varepsilon ^{\alpha \beta \gamma \lambda }$ к перестановке местами строк, а для второго $\textstyle \varepsilon _{\mu \nu \sigma \tau }$ — столбцов. В этом случае определитель меняет свой знак. Что и требовалось доказать.

Свернём по индексам $\textstyle \lambda$ и $\textstyle \tau$, перенеся в $\textstyle \varepsilon _{\mu \nu \sigma \tau }$ индекс $\textstyle \tau$ на первое место (появится знак минус). Затем раскроем определитель по нижней строке (получится сумма 4-х определителей 3x3). Учитывая, что перестановка столбцов в определители даёт знак минус, а $\textstyle \delta _{\lambda }^{\lambda }=4$, получаем:

$\varepsilon ^{\alpha \beta \gamma \lambda }\varepsilon _{\lambda \mu \nu \sigma }={\begin{vmatrix}\delta _{\mu }^{\alpha }&\delta _{\nu }^{\alpha }&\delta _{\sigma }^{\alpha }\\\delta _{\mu }^{\beta }&\delta _{\nu }^{\beta }&\delta _{\sigma }^{\beta }\\\delta _{\mu }^{\gamma }&\delta _{\nu }^{\gamma }&\delta _{\sigma }^{\gamma }\\\end{vmatrix}}=\left(^{\alpha \beta \gamma }_{\mu \nu \sigma }\right)-\left(^{\alpha \beta \gamma }_{\mu \sigma \nu }\right)+\left(^{\alpha \beta \gamma }_{\sigma \mu \nu }\right)-\left(^{\alpha \beta \gamma }_{\sigma \nu \mu }\right)+\left(^{\alpha \beta \gamma }_{\nu \sigma \mu }\right)-\left(^{\alpha \beta \gamma }_{\nu \mu \sigma }\right),$

где введено сокращение $\textstyle \left(^{\alpha \beta \gamma }_{\mu \nu \sigma }\right)=\delta _{\mu }^{\alpha }\delta _{\nu }^{\beta }\delta _{\sigma }^{\gamma }$ и второе равенство получено раскрытием определителя. Продолжая аналогичным образом, получаем также следующие тождества:

$\varepsilon ^{\alpha \beta \gamma \lambda }\varepsilon _{\gamma \lambda \mu \nu }=-2{\Bigl (}\delta _{\mu }^{\alpha }\delta _{\nu }^{\beta }-\delta _{\nu }^{\alpha }\delta _{\mu }^{\beta }{\Bigr )},\;\;\;\;\;\;\varepsilon ^{\alpha \beta \gamma \lambda }\varepsilon _{\alpha \beta \gamma \mu }=-6\delta _{\mu }^{\lambda },\;\;\;\;\;\;\varepsilon ^{\alpha \beta \gamma \lambda }\varepsilon _{\alpha \beta \gamma \lambda }=-24.$

---

Спасибо! Есть еще один вопрос по поводу антисимметричных тензоров (в данном случае - Леви-Чивиты). Как получить, что

$\ \varepsilon _{\alpha \beta }^{\nu \sigma }F_{\nu \sigma }=2F_{\alpha \beta }$?

Интересует, откуда взялся множитель 2. Не до конца понимаю, как это "навскидку" следует из антисимметричности тензоров. Maxim 19:35, 19 октября 2012 (UTC).

Просто подставляем определение $\varepsilon _{\alpha \beta }^{\nu \sigma }$, сворачиваем с символами Кронекера и в конце учитываем антисимметричность $F_{\beta \alpha }=-F_{\alpha \beta }$:

$\varepsilon _{\alpha \beta }^{\nu \sigma }F_{\nu \sigma }=(\delta _{\alpha }^{\nu }\delta _{\beta }^{\sigma }-\delta _{\beta }^{\nu }\delta _{\alpha }^{\sigma })F_{\nu \sigma }=F_{\alpha \beta }-F_{\beta \alpha }=2F_{\alpha \beta }$

Про "очевидность" получения ковариантных уравнений

Интересно, те же уравнения Максвелла в ковариантной форме исторически были получены наобум, или же были какие-то (даже качественные) основания "свернуть" тензор напряженности с 4-вектором производной именно так? Аналогичный вопрос по поводу "очевидности" введения тензора напряженности.

Можете написать по этому поводу? Подобные вопросы очень мучат, [:)]. Maxim 20:22, 19 октября 2012 (UTC).

Скорее сложно было догадаться о необходимости введения тензора напряженности. То, что $j^{\nu }=\{\rho ,\mathbf {j} \}$ и $\partial ^{\nu }=\{\partial _{0},\,-\nabla \}$ преобразуются как $x^{\nu }=\{t,\,\mathbf {r} \}$ было известно ещё Лоренцу и Пуанкаре. Хотя тензорный анализ они не использовали (про Пуанкаре не уверен, надо проверить). Уравнения Максвелла разбиваются на две пары уравнений (с зарядами и без). Это уравнения первого порядка. Поэтому в тензорном виде они должны зависеть от $\partial ^{\nu }$ и $j^{\nu }$. Два вектора $\mathbf {E}$ и $\mathbf {B}$ в один 4-вектор не засунуть. Можно взять два 4-вектора, но не ясно что для них брать для скалярной части. Остается антисимметричный тензор 2-го ранга, он как раз зависит от двух 3-векторов. Как то так. Хотя это сейчас тривиально, а тогда :)... По-моему Минковский тензорную форму предложил. Но нужно это проверить. Сергей Степанов 12:52, 21 октября 2012 (UTC)