Проявление ковариации

редактировать

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

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

пример

Уравнение может быть лоренц-ковариантным, даже если оно не является явно ковариантным. Рассмотрим тензор электромагнитного поля

F а б знак равно а А б - б А а {\ Displaystyle F_ {ab} \, = \, \ partial _ {a} A_ {b} \, - \, \ partial _ {b} A_ {a} \,}

где - электромагнитный четырехпотенциал в калибровке Лоренца. Приведенное выше уравнение содержит частные производные и поэтому не является явно ковариантным. Обратите внимание, что частные производные могут быть записаны в терминах ковариантных производных и символов Кристоффеля как А а {\ displaystyle A_ {a}}

а А б знак равно а А б + Γ а б c А c {\ displaystyle \ partial _ {a} A_ {b} = \ nabla _ {a} A_ {b} + \ Gamma _ {ab} ^ {c} A_ {c}}
б А а знак равно б А а + Γ б а c А c {\ displaystyle \ partial _ {b} A_ {a} = \ nabla _ {b} A_ {a} + \ Gamma _ {ba} ^ {c} A_ {c}}

Для метрики без кручения, принятой в общей теории относительности, мы можем апеллировать к симметрии символов Кристоффеля

Γ а б c - Γ б а c знак равно 0 , {\ displaystyle \ Gamma _ {ab} ^ {c} - \ Gamma _ {ba} ^ {c} = 0,}

что позволяет записать тензор поля в явно ковариантной форме

F а б знак равно а А б - б А а . {\ displaystyle F_ {ab} \, = \, \ nabla _ {a} A_ {b} \, - \, \ nabla _ {b} A_ {a}.}
Смотрите также
Рекомендации
Последняя правка сделана 2024-01-01 06:00:09
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте