4-вектор

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

4-вектор (четы́ре-ве́ктор, четырёхве́ктор) — вектор в четырёхмерном пространстве Минковского. Координаты 4-вектора[где?] при переносе или повороте системы отсчёта преобразуются как соответствующие им координаты в пространстве Минковского. В 4-векторе одна временная компонента и три пространственных. Пространственные компоненты составляют обычный пространственный трёхмерный вектор и преобразуются в соответствии с этим при преобразовании пространственных координат, не затрагивающих временной, то есть при преобразованиях координат, не включающих физического движения новой системы отсчёта относительно прежней.

  • В современных обозначениях временной компоненте обычно соответствует индекс 0 (то есть она считается нулевой компонентой), пространственным: 1, 2, 3 — совпадающим с x, y, z (обычно, по умолчанию и если возможно, это обычные прямоугольные декартовы координаты). В старой литературе часто используется соглашение (восходящее к Минковскому), по которому временная компонента считалась не нулевой, а четвёртой.
  • Иногда бывает удобно приписывать временной компоненте 4-вектора чисто мнимый характер (всегда умножать действительную временную компоненту на мнимую единицу). Такое представление 4-векторов было исторически введено первым и иногда — в силу своего удобства — используется и в современной литературе.
  • 4-векторы (их компонентное представление) могут быть записаны в контравариантной и (или) ковариантной форме (см. ниже), которые не всегда совпадают, а в случае действительного представления (без мнимой единицы) всегда различаются между собой, хотя в простых случаях это различие весьма просто.

Примеры 4-векторов[править | править вики-текст]

Здесь и далее используется сигнатура .

  • 4-перемещение
  • 4-скорость
    где  — «собственное время», равное деленному на скорость света интервалу, , измеренному вдоль мировой линии. Геометрически 4-скорость является единичным вектором, касательным к мировой линии частицы.
  • 4-ускорение
    где  — см. выше. Геометрически 4-ускорение является вектором кривизны мировой линии частицы.
  • 4-вектор энергии-импульса (четырёхимпульс)
  • четырёхмерная плотность тока (4-ток)
  • волновой 4-вектор
  • Электромагнитный потенциал

Свойства[править | править вики-текст]

  • Закон преобразования четырёхвектора:

где  — матрица из группы Лоренца — матрица перехода к новым координатам (к новой системе отсчёта).

  • Скалярные произведения (в частности, квадраты) 4-векторов вычисляются с использованием метрики Лоренца (см. также ниже).
    • Они инвариантны относительно преобразований Лоренца. Они называются скалярами (в четырёхмерном — пространственно-временном — смысле).
    • Например, это интервал (квадрат интервала есть квадрат вектора перемещения в метрике Лоренца), масса (масса покоя) — её квадрат есть, с точностью до постоянного множителя, квадрат 4-импульса: и т. д.

Обозначения[править | править вики-текст]

Традиционно используется обозначение 4-вектора как совокупности его компонент. Так 4-вектор обозначается как: (не нужно путать это обозначение с возведением в степень!) или

Координаты, 3 пространственные и временную, обычно обозначают как

Что означает при этом использование верхнего () или нижнего () индекса, оговаривается особо, но по умолчанию, если используется тот и другой (или хотя бы первый) вариант, то есть, если верхние индексы вообще используют, верхним индексом обозначают контравариантные координаты 4-вектора, а нижним — ковариантные координаты. Таким образом, в этом случае один и тот же вектор может иметь два разных представления — контравариантное и ковариантное.

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

и в частности

(здесь и ниже использовано правило суммирования по повторяющемуся индексу Эйнштейна, а возведение в квадрат обозначено как (…)²).

Если же хотят написать скалярное произведение с использованием только ковариантных или только контравариантных компонент, обычно используют запись с метрикой Лоренца (или ):

или

(оба способа эквивалентны друг другу и описанному выше способу со обоими типами координат).

Однако в более общем случае нелоренцевых систем отсчета, в том числе при учете гравитации в соответствии с ОТО, вместо очень простой и постоянной лоренцевой метрики приходится рассматривать произвольную, в том числе зависящую от пространственных координат и времени метрику (Во всех формулах, написанных в этом параграфе выше, надо в общем случае заменить на , а на ). При этом простое правило о том, что ковариантное и контравариантное представление 4-вектора различаются лишь знаком пространственных компонент, перестает действовать, они начинают выражаться друг через друга с использованием также метрики общего вида (см. Метрический тензор#Изоморфизм между касательным и кокасательным пространством):

(Как видим, эти формулы были верны и для но в том случае сводились к простому правилу перемены знака некоторых компонент, а здесь — в общем случае — уже не сводятся).

Заметим также, что в пространстве-времени с кривизной (которое уже правильно считать только многообразием, а не векторным пространством), совокупность координат уже не является вектором. Однако бесконечно малые смещения по координатам представляют вектор (вектор касательного пространства к многообразию в точке ).

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

Интересно, что способ с использованием только нижних индексов и мнимой временно́й компоненты лишен этих недостатков (главным образом в области применимости, ограниченной случаем плоского пространства, но не только). Дело в том, что при использовании этого способа нужные знаки получаются автоматически (внимание: с учетом сигнатуры; впрочем, выбор сигнатуры — всё равно дело договоренности). То есть о знаках вообще не нужно думать, не нужно использовать явно матрицу метрического тензора, даже то есть метрика формально представлена единичной матрицей («формально евклидовская», что, конечно, не меняет её реально псевдоевклидова характера, но упрощает запись), а представление всех 4-векторов просто и единообразно:

  • 4-перемещение
  • 4-импульс
  • четырёхмерная плотность тока
  • волновой 4-вектор
  • электромагнитный потенциал

и т. д., где i — мнимая единица.

4-вектор в математике[править | править вики-текст]

Точка в пространстве Минковского называется событием и задаётся четырьмя координатами:

где  — скорость света,  — время события, а  — его пространственные координаты. Такой 4-вектор называется 4-радиус-вектором.

Многие другие 4-векторы могут быть построены из него и далее друг из друга сложением, вычитанием, умножением или делением на скаляр, а также дифференцированием по скаляру и т. п. Так из 4-радиус-вектора дифференцированием по собственному времени получается 4-скорость, и т. д.

Скалярные произведения 4-векторов — лоренц-инвариантные величины (инварианты группы Лоренца), скаляры пространства Минковского.

История[править | править вики-текст]

4-векторы впервые рассмотрели Пуанкаре (1905) и затем Минковский. Они рассматривали временную компоненту 4-вектора чисто мнимой, что автоматически порождало нужное правило вычисления скалярного произведения при обычном суммировании произведений компонент. Термин «4-вектор» был предложен Арнольдом Зоммерфельдом в 1910 году.

Литература[править | править вики-текст]

  • Ландау, Л. Д., Лифшиц, Е. М. § 2. Интервал. § 3. Собственное время. § 6. Четырёхмерные векторы. § 7. Четырёхмерная скорость. // Теория поля. — Издание 7-е, исправленное. — М.: Наука, 1988. — 512 с. — («Теоретическая физика», том II). — ISBN 5-02-014420-7..
  • Фейнман Р., Лейтон Р., Сэндс М. Фейнмановские лекции по физике. Том 6: Электродинамика. Перевод с английского (издание 3). — Эдиториал УРСС. — ISBN 5-354-00704-6. — гл. 25. «Электродинамика в релятивистских обозначениях». (Это простое введение для студентов младших курсов; во избежание путаницы следует обратить внимание, что в этой книге используются только нижние индексы, относящиеся, однако, к контравариантным компонентам 4-векторов).