Четырехвекторный

Не путать с p-вектором .

В специальной теории относительности — четырёхвектор (или 4-вектор , иногда вектор Лоренца ) — это объект с четырьмя компонентами, которые определенным образом преобразуются при преобразованиях Лоренца . В частности, четырех-вектор - это элемент четырехмерного векторного пространства, рассматриваемого как пространство представления стандартного представления группы Лоренца , ( 1 / 2 , 1/2 представительство . ) Он отличается от евклидова вектора тем, как определяется его величина. Преобразования, сохраняющие эту величину, — это преобразования Лоренца, включающие пространственные вращения и ускорения (переход с постоянной скоростью в другую инерциальную систему отсчета ).

Четыре-векторы описывают, например, позицию x ^м в пространстве-времени, смоделированном как пространство Минковского частицы , четырехимпульс p ^м , амплитуда электромагнитного четырехпотенциала A ^м ( x ) в точке x в пространстве-времени и элементы подпространства, натянутого гамма-матрицами внутри алгебры Дирака .

Группа Лоренца может быть представлена ​​матрицами 4×4 Λ . Действие преобразования Лоренца на общий контравариантный четырехвектор X (как в приведенных выше примерах), рассматриваемый как вектор-столбец с декартовыми координатами относительно инерциальной системы отсчета в записях, определяется выражением

$$X'=\Lambda X,$$

(умножение матрицы), где компоненты выделенного объекта относятся к новому кадру. Что касается приведенных выше примеров, которые даны в виде контравариантных векторов, существуют также соответствующие ковариантные векторы x _µ , p _µ и A _µ ( x ) . Они преобразуются по правилу

$$X'=\left(\Lambda ^{-1}\right)^{\textrm {T}}X,$$

где ^Т обозначает транспонирование матрицы . Это правило отличается от приведенного выше правила. Это соответствует двойственному представлению стандартного представления. Однако для группы Лоренца двойственное любому представлению эквивалентно исходному представлению. Таким образом, объекты с ковариантными индексами также являются четырехвекторами.

Пример четырехкомпонентного объекта с хорошим поведением в специальной теории относительности, который не является четырехвектором, см. в разделе «Биспинор» . Оно определяется аналогично, с той разницей, что правило преобразования при преобразованиях Лоренца задается представлением, отличным от стандартного представления. В этом случае правило гласит: X ′ = Π(Λ) X , где Π(Λ) — матрица размера 4×4, отличная от Λ . Аналогичные замечания применимы к объектам с меньшим или большим количеством компонентов, которые хорошо себя ведут при преобразованиях Лоренца. К ним относятся скаляры , спиноры , тензоры и спинор-тензоры.

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

Обозначения

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

Четырехвекторная алгебра

Четырехвекторы в вещественном формате

Четырехвектор A : представляет собой вектор с «времяподобным» компонентом и тремя «пространственноподобными» компонентами и может быть записан в различных эквивалентных обозначениях

$${\begin{aligned}\mathbf {A} &=\left(A^{0},\,A^{1},\,A^{2},\,A^{3}\right)\\&=A^{0}\mathbf {E} _{0}+A^{1}\mathbf {E} _{1}+A^{2}\mathbf {E} _{2}+A^{3}\mathbf {E} _{3}\\&=A^{0}\mathbf {E} _{0}+A^{i}\mathbf {E} _{i}\\&=A^{\alpha }\mathbf {E} _{\alpha }\end{aligned}}$$

где А ^а – компонент магнитуды, а E _α – компонент базисного вектора ; обратите внимание, что оба необходимы для создания вектора, и что когда A ^а рассматривается отдельно, оно относится строго к компонентам вектора.

Верхние индексы указывают на контравариантные компоненты. Здесь стандартное соглашение заключается в том, что латинские индексы принимают значения для пространственных компонентов, так что i = 1, 2, 3, а греческие индексы принимают значения для компонентов пространства и времени , поэтому α = 0, 1, 2, 3, используемые при суммировании. соглашение . Разделение между временным компонентом и пространственными компонентами полезно делать при определении сокращений вектора одной четверки с другими тензорными величинами, например, для расчета инвариантов Лоренца в скалярных произведениях (примеры приведены ниже) или повышения и понижения индексов .

В специальной теории относительности пространственноподобный базис E ₁ , E ₂ , E ₃ и компоненты A ¹ , А ² , А ³ часто являются декартовым базисом и компонентами:

$${\begin{aligned}\mathbf {A} &=\left(A_{t},\,A_{x},\,A_{y},\,A_{z}\right)\\&=A_{t}\mathbf {E} _{t}+A_{x}\mathbf {E} _{x}+A_{y}\mathbf {E} _{y}+A_{z}\mathbf {E} _{z}\\\end{aligned}}$$

хотя, конечно, можно использовать любую другую основу и компоненты, например сферические полярные координаты

$${\begin{aligned}\mathbf {A} &=\left(A_{t},\,A_{r},\,A_{\theta },\,A_{\phi }\right)\\&=A_{t}\mathbf {E} _{t}+A_{r}\mathbf {E} _{r}+A_{\theta }\mathbf {E} _{\theta }+A_{\phi }\mathbf {E} _{\phi }\\\end{aligned}}$$

или цилиндрические полярные координаты ,

$${\begin{aligned}\mathbf {A} &=(A_{t},\,A_{r},\,A_{\theta },\,A_{z})\\&=A_{t}\mathbf {E} _{t}+A_{r}\mathbf {E} _{r}+A_{\theta }\mathbf {E} _{\theta }+A_{z}\mathbf {E} _{z}\\\end{aligned}}$$

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

Также принято представлять основания векторами-столбцами :

$$\mathbf {E} _{0}={\begin{pmatrix}1\\0\\0\\0\end{pmatrix}}\,,\quad \mathbf {E} _{1}={\begin{pmatrix}0\\1\\0\\0\end{pmatrix}}\,,\quad \mathbf {E} _{2}={\begin{pmatrix}0\\0\\1\\0\end{pmatrix}}\,,\quad \mathbf {E} _{3}={\begin{pmatrix}0\\0\\0\\1\end{pmatrix}}$$

так что:

$$\mathbf {A} ={\begin{pmatrix}A^{0}\\A^{1}\\A^{2}\\A^{3}\end{pmatrix}}$$

Связь между ковариантными и контравариантными координатами осуществляется через Минковского метрический тензор (называемый метрикой) η , который повышает и понижает индексы следующим образом:

$$A_{\mu }=\eta _{\mu \nu }A^{\nu }\,,$$

и в различных эквивалентных обозначениях ковариантные компоненты:

$${\begin{aligned}\mathbf {A} &=(A_{0},\,A_{1},\,A_{2},\,A_{3})\\&=A_{0}\mathbf {E} ^{0}+A_{1}\mathbf {E} ^{1}+A_{2}\mathbf {E} ^{2}+A_{3}\mathbf {E} ^{3}\\&=A_{0}\mathbf {E} ^{0}+A_{i}\mathbf {E} ^{i}\\&=A_{\alpha }\mathbf {E} ^{\alpha }\\\end{aligned}}$$

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

Базисы могут быть представлены векторами-строками :

$$\mathbf {E} ^{0}={\begin{pmatrix}1&0&0&0\end{pmatrix}}\,,\quad \mathbf {E} ^{1}={\begin{pmatrix}0&1&0&0\end{pmatrix}}\,,\quad \mathbf {E} ^{2}={\begin{pmatrix}0&0&1&0\end{pmatrix}}\,,\quad \mathbf {E} ^{3}={\begin{pmatrix}0&0&0&1\end{pmatrix}}$$

так что:

$$\mathbf {A} ={\begin{pmatrix}A_{0}&A_{1}&A_{2}&A_{3}\end{pmatrix}}$$

Мотивацией для вышеупомянутых соглашений является то, что внутренний продукт является скаляром, подробности см. ниже.

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

Основная статья: преобразование Лоренца

Учитывая две инерциальные или повернутые системы отсчета , четырехвектор определяется как величина, которая преобразуется в соответствии с преобразования Лоренца матрицей Λ :

$$\mathbf {A} '={\boldsymbol {\Lambda }}\mathbf {A}$$

В индексной записи контравариантные и ковариантные компоненты преобразуются соответственно:

$${A'}^{\mu }=\Lambda ^{\mu }{}_{\nu }A^{\nu }\,,\quad {A'}_{\mu }=\Lambda _{\mu }{}^{\nu }A_{\nu }$$

в котором матрица Λ имеет компоненты Λ ^м _ν в строке µ и столбце ν , а матрица ( Λ ⁻¹ ) ^Т имеет компоненты Λ _μ ^н в строке µ и столбце ν .

Дополнительную информацию о природе этого определения преобразования см. в разделе tensor . Все четырехвекторы преобразуются одинаково, и это можно обобщить на четырехмерные релятивистские тензоры; см. специальную теорию относительности .

Чистые вращения вокруг произвольной оси

Для двух кадров, повернутых на фиксированный угол θ вокруг оси, определяемой единичным вектором :

$${\hat {\mathbf {n} }}=\left({\hat {n}}_{1},{\hat {n}}_{2},{\hat {n}}_{3}\right)\,,$$

без каких-либо повышений матрица Λ имеет компоненты, определяемые следующим образом:

$${\begin{aligned}\Lambda _{00}&=1\\\Lambda _{0i}=\Lambda _{i0}&=0\\\Lambda _{ij}&=\left(\delta _{ij}-{\hat {n}}_{i}{\hat {n}}_{j}\right)\cos \theta -\varepsilon _{ijk}{\hat {n}}_{k}\sin \theta +{\hat {n}}_{i}{\hat {n}}_{j}\end{aligned}}$$

где δij _— — дельта Кронекера , а εijk _. трехмерный символ Чивита Леви - Пространственноподобные компоненты четырехвекторов вращаются, а времениподобные остаются неизменными.

Только для случая вращения вокруг оси z пространственноподобная часть матрицы Лоренца сводится к матрице вращения вокруг оси z :

$${\begin{pmatrix}{A'}^{0}\\{A'}^{1}\\{A'}^{2}\\{A'}^{3}\end{pmatrix}}={\begin{pmatrix}1&0&0&0\\0&\cos \theta &-\sin \theta &0\\0&\sin \theta &\cos \theta &0\\0&0&0&1\\\end{pmatrix}}{\begin{pmatrix}A^{0}\\A^{1}\\A^{2}\\A^{3}\end{pmatrix}}\ .$$

Чистое усиление в произвольном направлении

Стандартная конфигурация систем координат; для усиления Лоренца в направлении x .

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

$${\boldsymbol {\beta }}=(\beta _{1},\,\beta _{2},\,\beta _{3})={\frac {1}{c}}(v_{1},\,v_{2},\,v_{3})={\frac {1}{c}}\mathbf {v} \,.$$

Тогда без вращений матрица Λ имеет компоненты, определяемые следующим образом:

$${\begin{aligned}\Lambda _{00}&=\gamma ,\\\Lambda _{0i}=\Lambda _{i0}&=-\gamma \beta _{i},\\\Lambda _{ij}=\Lambda _{ji}&=(\gamma -1){\frac {\beta _{i}\beta _{j}}{\beta ^{2}}}+\delta _{ij}=(\gamma -1){\frac {v_{i}v_{j}}{v^{2}}}+\delta _{ij},\\\end{aligned}}$$

где фактор Лоренца определяется как:

$$\gamma ={\frac {1}{\sqrt {1-{\boldsymbol {\beta }}\cdot {\boldsymbol {\beta }}}}}\,,$$

и δij _дельта — Кронекера . В отличие от случая чистого вращения, пространственно- и времяподобные компоненты при ускорении смешиваются.

Только в случае повышения в направлении x матрица уменьшается до;

$${\begin{pmatrix}A'^{0}\\A'^{1}\\A'^{2}\\A'^{3}\end{pmatrix}}={\begin{pmatrix}\cosh \phi &-\sinh \phi &0&0\\-\sinh \phi &\cosh \phi &0&0\\0&0&1&0\\0&0&0&1\\\end{pmatrix}}{\begin{pmatrix}A^{0}\\A^{1}\\A^{2}\\A^{3}\end{pmatrix}}$$

Там, где быстроты φ использовалось выражение , записанное в терминах гиперболических функций :

$$\gamma =\cosh \phi$$

Эта матрица Лоренца иллюстрирует усиление как гиперболическое вращение в четырехмерном пространстве-времени, аналогичное круговому вращению, описанному выше в трехмерном пространстве.

Свойства

Линейность

Четырехвекторы обладают теми же свойствами линейности , что и евклидовы векторы в трех измерениях . Их можно добавить обычным по записи способом:

$$\mathbf {A} +\mathbf {B} =\left(A^{0},A^{1},A^{2},A^{3}\right)+\left(B^{0},B^{1},B^{2},B^{3}\right)=\left(A^{0}+B^{0},A^{1}+B^{1},A^{2}+B^{2},A^{3}+B^{3}\right)$$

и аналогично скалярное умножение на скаляр λ определяется поэлементно следующим образом:

$$\lambda \mathbf {A} =\lambda \left(A^{0},A^{1},A^{2},A^{3}\right)=\left(\lambda A^{0},\lambda A^{1},\lambda A^{2},\lambda A^{3}\right)$$

Тогда вычитание — это операция, обратная сложению, определяемая поэлементно следующим образом:

$$\mathbf {A} +(-1)\mathbf {B} =\left(A^{0},A^{1},A^{2},A^{3}\right)+(-1)\left(B^{0},B^{1},B^{2},B^{3}\right)=\left(A^{0}-B^{0},A^{1}-B^{1},A^{2}-B^{2},A^{3}-B^{3}\right)$$

Тензор Минковского

См. также: пространственно-временной интервал

Применяя тензор Минковского η _μν к двум четырехвекторам A и B и записывая результат в виде скалярного произведения , мы имеем, используя обозначения Эйнштейна :

$$\mathbf {A} \cdot \mathbf {B} =A^{\mu }B^{\nu }\mathbf {E} _{\mu }\cdot \mathbf {E} _{\nu }=A^{\mu }\eta _{\mu \nu }B^{\nu }$$

в специальной теории относительности. Скалярное произведение базисных векторов представляет собой метрику Минковского, в отличие от дельты Кронекера, как в евклидовом пространстве. Удобно переписать определение в матричной форме:

$$\mathbf {A\cdot B} ={\begin{pmatrix}A^{0}&A^{1}&A^{2}&A^{3}\end{pmatrix}}{\begin{pmatrix}\eta _{00}&\eta _{01}&\eta _{02}&\eta _{03}\\\eta _{10}&\eta _{11}&\eta _{12}&\eta _{13}\\\eta _{20}&\eta _{21}&\eta _{22}&\eta _{23}\\\eta _{30}&\eta _{31}&\eta _{32}&\eta _{33}\end{pmatrix}}{\begin{pmatrix}B^{0}\\B^{1}\\B^{2}\\B^{3}\end{pmatrix}}$$

в этом случае η _µν выше является записью в строке µ и столбце ν метрики Минковского в виде квадратной матрицы. Метрика Минковского не является евклидовой метрикой , поскольку она неопределенна (см. подпись метрики ). Можно использовать ряд других выражений, поскольку метрический тензор может повышать и понижать A или B. компоненты Для контра/ковариантных компонентов A и ко/контравариантных компонентов B мы имеем:

$$\mathbf {A} \cdot \mathbf {B} =A^{\mu }\eta _{\mu \nu }B^{\nu }=A_{\nu }B^{\nu }=A^{\mu }B_{\mu }$$

поэтому в матричной записи:

$$\mathbf {A} \cdot \mathbf {B} ={\begin{pmatrix}A_{0}&A_{1}&A_{2}&A_{3}\end{pmatrix}}{\begin{pmatrix}B^{0}\\B^{1}\\B^{2}\\B^{3}\end{pmatrix}}={\begin{pmatrix}B_{0}&B_{1}&B_{2}&B_{3}\end{pmatrix}}{\begin{pmatrix}A^{0}\\A^{1}\\A^{2}\\A^{3}\end{pmatrix}}$$

в то время как для A и B каждый в ковариантных компонентах:

$$\mathbf {A} \cdot \mathbf {B} =A_{\mu }\eta ^{\mu \nu }B_{\nu }$$

с матричным выражением, аналогичным приведенному выше.

Применяя тензор Минковского к четырехвектору A с самим собой, получаем:

$$\mathbf {A\cdot A} =A^{\mu }\eta _{\mu \nu }A^{\nu }$$

которое, в зависимости от случая, можно считать квадратом или его отрицательным значением длины вектора.

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

Стандартный базис, (+---) подпись

(+---) В сигнатуре метрики оценка суммирования по индексам дает:

$$\mathbf {A} \cdot \mathbf {B} =A^{0}B^{0}-A^{1}B^{1}-A^{2}B^{2}-A^{3}B^{3}$$

в матричной форме:

$$\mathbf {A\cdot B} ={\begin{pmatrix}A^{0}&A^{1}&A^{2}&A^{3}\end{pmatrix}}{\begin{pmatrix}1&0&0&0\\0&-1&0&0\\0&0&-1&0\\0&0&0&-1\end{pmatrix}}{\begin{pmatrix}B^{0}\\B^{1}\\B^{2}\\B^{3}\end{pmatrix}}$$

В специальной теории относительности постоянно используется выражение

$$\mathbf {A} \cdot \mathbf {B} =A^{0}B^{0}-A^{1}B^{1}-A^{2}B^{2}-A^{3}B^{3}=C$$

в одной системе отсчета , где C — значение внутреннего продукта в этой системе отсчета, и:

$$\mathbf {A} '\cdot \mathbf {B} '={A'}^{0}{B'}^{0}-{A'}^{1}{B'}^{1}-{A'}^{2}{B'}^{2}-{A'}^{3}{B'}^{3}=C'$$

в другом кадре, в котором C ’ — значение внутреннего продукта в этом кадре. Тогда, поскольку внутренний продукт является инвариантом, они должны быть равны:

$$\mathbf {A} \cdot \mathbf {B} =\mathbf {A} '\cdot \mathbf {B} '$$

то есть:

$$C=A^{0}B^{0}-A^{1}B^{1}-A^{2}B^{2}-A^{3}B^{3}={A'}^{0}{B'}^{0}-{A'}^{1}{B'}^{1}-{A'}^{2}{B'}^{2}-{A'}^{3}{B'}^{3}$$

Учитывая, что физические величины в теории относительности являются четырехвекторными, это уравнение имеет вид « закона сохранения », но в нем нет никакого «сохранения». Основное значение внутреннего продукта Минковского состоит в том, что для любых двух четырехвекторов его значение инвариантно для всех наблюдателей; изменение координат не приводит к изменению значения внутреннего продукта. Компоненты четырехвекторов меняются от одного кадра к другому; A и A ′ связаны преобразованием Лоренца , и аналогично для B и B ′, хотя скалярные произведения одинаковы во всех системах отсчета. Тем не менее, этот тип выражения используется в релятивистских расчетах наравне с законами сохранения, поскольку величины компонент могут быть определены без явного выполнения каких-либо преобразований Лоренца. Конкретным примером является энергия и импульс в соотношении энергия-импульс, полученном из вектора четырех импульсов (см. Также ниже).

В этой подписи мы имеем:

$$\mathbf {A\cdot A} =\left(A^{0}\right)^{2}-\left(A^{1}\right)^{2}-\left(A^{2}\right)^{2}-\left(A^{3}\right)^{2}$$

С сигнатурой (+---) четырехвекторы могут быть классифицированы как пространственноподобные , если $\mathbf {A\cdot A} <0$, времяподобно , если $\mathbf {A\cdot A} >0$и нулевые векторы , если $\mathbf {A\cdot A} =0$.

Стандартная основа, (−+++) подпись

Некоторые авторы определяют η с противоположным знаком, и в этом случае мы имеем метрическую сигнатуру (−+++). Оценка суммирования с помощью этой сигнатуры:

$$\mathbf {A\cdot B} =-A^{0}B^{0}+A^{1}B^{1}+A^{2}B^{2}+A^{3}B^{3}$$

в то время как матричная форма:

$$\mathbf {A\cdot B} =\left({\begin{matrix}A^{0}&A^{1}&A^{2}&A^{3}\end{matrix}}\right)\left({\begin{matrix}-1&0&0&0\\0&1&0&0\\0&0&1&0\\0&0&0&1\end{matrix}}\right)\left({\begin{matrix}B^{0}\\B^{1}\\B^{2}\\B^{3}\end{matrix}}\right)$$

Обратите внимание, что в данном случае в одном кадре:

$$\mathbf {A} \cdot \mathbf {B} =-A^{0}B^{0}+A^{1}B^{1}+A^{2}B^{2}+A^{3}B^{3}=-C$$

а в другом:

$$\mathbf {A} '\cdot \mathbf {B} '=-{A'}^{0}{B'}^{0}+{A'}^{1}{B'}^{1}+{A'}^{2}{B'}^{2}+{A'}^{3}{B'}^{3}=-C'$$

так что:

$$-C=-A^{0}B^{0}+A^{1}B^{1}+A^{2}B^{2}+A^{3}B^{3}=-{A'}^{0}{B'}^{0}+{A'}^{1}{B'}^{1}+{A'}^{2}{B'}^{2}+{A'}^{3}{B'}^{3}$$

эквивалентно приведенному выше выражению для C через A и B. что Любая конвенция будет работать. При использовании метрики Минковского, определенной двумя вышеописанными способами, единственной разницей между ковариантными и контравариантными четырехвекторными компонентами являются знаки, поэтому знаки зависят от того, какое соглашение о знаках используется.

У нас есть:

$$\mathbf {A\cdot A} =-\left(A^{0}\right)^{2}+\left(A^{1}\right)^{2}+\left(A^{2}\right)^{2}+\left(A^{3}\right)^{2}$$

С сигнатурой (−+++) четырехвекторы могут быть классифицированы как пространственноподобные , если $\mathbf {A\cdot A} >0$, времяподобно , если $\mathbf {A\cdot A} <0$и ноль , если $\mathbf {A\cdot A} =0$.

Двойные векторы

Применение тензора Минковского часто выражается как влияние двойственного вектора одного вектора на другой:

$$\mathbf {A\cdot B} =A^{*}(\mathbf {B} )=A{_{\nu }}B^{\nu }.$$

Здесь A _ν s являются компонентами двойственного вектора A * к A в двойственном базисе и называются ковариантными координатами A , а исходный A ^н компоненты называются контравариантными координатами.

Четырехвекторное исчисление

Производные и дифференциалы

В специальной теории относительности (но не в общей теории относительности) производная четырехвектора по скаляру λ (инварианту) сама является четырехвектором. Также полезно взять дифференциал четырехвектора d A и разделить его на дифференциал скаляра dλ :

$${\underset {\text{differential}}{d\mathbf {A} }}={\underset {\text{derivative}}{\frac {d\mathbf {A} }{d\lambda }}}{\underset {\text{differential}}{d\lambda }}$$

где контравариантные компоненты:

$$d\mathbf {A} =\left(dA^{0},dA^{1},dA^{2},dA^{3}\right)$$

а ковариантные компоненты:

$$d\mathbf {A} =\left(dA_{0},dA_{1},dA_{2},dA_{3}\right)$$

В релятивистской механике часто берут дифференциал четырехвектора и делят на дифференциал в нужное время (см. ниже).

Фундаментальные четырёхвекторы

Четырехпозиционный

Точка в пространстве Минковского — это временное и пространственное положение, называемое «событием», а иногда и положение четырехвекторное, или четырехпозиционное, или 4-позиционное, описываемое в некоторой системе отсчета набором из четырех координат:

$$\mathbf {R} =\left(ct,\mathbf {r} \right)$$

где r — трехмерного пространства вектор положения . Если r является функцией координатного времени t в той же системе отсчета, т.е. r = r ( t ), это соответствует последовательности событий при изменении t . Определение Р ⁰ = ct гарантирует, что все координаты имеют одинаковые единицы измерения (расстояния). Эти координаты являются компонентами четырех-вектора положения события.

Четырехвектор смещения определяется как «стрелка», связывающая два события:

$$\Delta \mathbf {R} =\left(c\Delta t,\Delta \mathbf {r} \right)$$

Для дифференциальной четырехпозиции на мировой линии мы имеем, используя обозначение нормы :

$$\|d\mathbf {R} \|^{2}=\mathbf {dR\cdot dR} =dR^{\mu }dR_{\mu }=c^{2}d\tau ^{2}=ds^{2}\,,$$

определяющий элемент дифференциальной линии d s и приращение собственного времени d τ , но эта «норма» также:

$$\|d\mathbf {R} \|^{2}=(cdt)^{2}-d\mathbf {r} \cdot d\mathbf {r} \,,$$

так что:

$$(cd\tau )^{2}=(cdt)^{2}-d\mathbf {r} \cdot d\mathbf {r} \,.$$

При рассмотрении физических явлений естественным образом возникают дифференциальные уравнения; однако при рассмотрении производных функций по пространству и времени неясно, по отношению к какой системе отсчета берутся эти производные. Принято считать, что производные по времени берутся по собственному времени. $\tau$. Поскольку собственное время является инвариантом, это гарантирует, что производная по собственному времени любого четырехвектора сама является четырехвектором. Затем важно найти связь между этой производной по собственному времени и другой производной по времени (используя координатное время t инерциальной системы отсчета). Это соотношение обеспечивается путем взятия вышеуказанного дифференциально-инвариантного пространственно-временного интервала и его деления на ( cdt ) ² чтобы получить:

$$\left({\frac {cd\tau }{cdt}}\right)^{2}=1-\left({\frac {d\mathbf {r} }{cdt}}\cdot {\frac {d\mathbf {r} }{cdt}}\right)=1-{\frac {\mathbf {u} \cdot \mathbf {u} }{c^{2}}}={\frac {1}{\gamma (\mathbf {u} )^{2}}}\,,$$

где u = d r / dt — координата 3- скорость объекта, измеренная в той же системе отсчета, что и координаты x , y , z и координатное время t , и

$$\gamma (\mathbf {u} )={\frac {1}{\sqrt {1-{\frac {\mathbf {u} \cdot \mathbf {u} }{c^{2}}}}}}$$

является фактором Лоренца . Это обеспечивает полезную связь между дифференциалами координатного времени и собственного времени:

$$dt=\gamma (\mathbf {u} )d\tau \,.$$

Это соотношение также можно найти из преобразования времени в преобразованиях Лоренца .

Важные четыре вектора в теории относительности можно определить, применив этот дифференциал ${\frac {d}{d\tau }}$.

Четырехградиентный

что частные производные являются линейными операторами , можно сформировать четырехградиент из частной производной по времени ∂ / ∂t Учитывая , и пространственного градиента ∇. Используя стандартную основу, в индексных и сокращенных обозначениях, контравариантными компонентами являются:

$${\begin{aligned}{\boldsymbol {\partial }}&=\left({\frac {\partial }{\partial x_{0}}},\,-{\frac {\partial }{\partial x_{1}}},\,-{\frac {\partial }{\partial x_{2}}},\,-{\frac {\partial }{\partial x_{3}}}\right)\\&=(\partial ^{0},\,-\partial ^{1},\,-\partial ^{2},\,-\partial ^{3})\\&=\mathbf {E} _{0}\partial ^{0}-\mathbf {E} _{1}\partial ^{1}-\mathbf {E} _{2}\partial ^{2}-\mathbf {E} _{3}\partial ^{3}\\&=\mathbf {E} _{0}\partial ^{0}-\mathbf {E} _{i}\partial ^{i}\\&=\mathbf {E} _{\alpha }\partial ^{\alpha }\\&=\left({\frac {1}{c}}{\frac {\partial }{\partial t}},\,-\nabla \right)\\&=\left({\frac {\partial _{t}}{c}},-\nabla \right)\\&=\mathbf {E} _{0}{\frac {1}{c}}{\frac {\partial }{\partial t}}-\nabla \\\end{aligned}}$$

Обратите внимание, что базисные векторы помещаются перед компонентами, чтобы избежать путаницы между взятием производной базисного вектора или просто указанием, что частная производная является компонентом этого четырехвектора. Ковариантные компоненты:

$${\begin{aligned}{\boldsymbol {\partial }}&=\left({\frac {\partial }{\partial x^{0}}},\,{\frac {\partial }{\partial x^{1}}},\,{\frac {\partial }{\partial x^{2}}},\,{\frac {\partial }{\partial x^{3}}}\right)\\&=(\partial _{0},\,\partial _{1},\,\partial _{2},\,\partial _{3})\\&=\mathbf {E} ^{0}\partial _{0}+\mathbf {E} ^{1}\partial _{1}+\mathbf {E} ^{2}\partial _{2}+\mathbf {E} ^{3}\partial _{3}\\&=\mathbf {E} ^{0}\partial _{0}+\mathbf {E} ^{i}\partial _{i}\\&=\mathbf {E} ^{\alpha }\partial _{\alpha }\\&=\left({\frac {1}{c}}{\frac {\partial }{\partial t}},\,\nabla \right)\\&=\left({\frac {\partial _{t}}{c}},\nabla \right)\\&=\mathbf {E} ^{0}{\frac {1}{c}}{\frac {\partial }{\partial t}}+\nabla \\\end{aligned}}$$

Поскольку это оператор, у него нет «длины», но вычисление внутреннего продукта оператора на самого себя дает другой оператор:

$$\partial ^{\mu }\partial _{\mu }={\frac {1}{c^{2}}}{\frac {\partial ^{2}}{\partial t^{2}}}-\nabla ^{2}={\frac {{\partial _{t}}^{2}}{c^{2}}}-\nabla ^{2}$$

называется оператором Даламбера .

Кинематика

Четырехскоростной

Основная статья: Четырехскоростной

Четырехскоростная скорость частицы определяется следующим образом:

$$\mathbf {U} ={\frac {d\mathbf {X} }{d\tau }}={\frac {d\mathbf {X} }{dt}}{\frac {dt}{d\tau }}=\gamma (\mathbf {u} )\left(c,\mathbf {u} \right),$$

Геометрически U представляет собой нормированный вектор, касательный к мировой линии частицы. Используя дифференциал четырехпозиционной, можно получить величину четырехскоростной:

$$\|\mathbf {U} \|^{2}=U^{\mu }U_{\mu }={\frac {dX^{\mu }}{d\tau }}{\frac {dX_{\mu }}{d\tau }}={\frac {dX^{\mu }dX_{\mu }}{d\tau ^{2}}}=c^{2}\,,$$

Короче говоря, величина четырехскорости для любого объекта всегда является фиксированной константой:

$$\|\mathbf {U} \|^{2}=c^{2}$$

Нормой также является:

$$\|\mathbf {U} \|^{2}={\gamma (\mathbf {u} )}^{2}\left(c^{2}-\mathbf {u} \cdot \mathbf {u} \right)\,,$$

так что:

$$c^{2}={\gamma (\mathbf {u} )}^{2}\left(c^{2}-\mathbf {u} \cdot \mathbf {u} \right)\,,$$

что сводится к определению фактора Лоренца .

Единицами четырехскорости являются м/с в системе СИ и 1 в геометрической системе единиц . Четырехскоростной вектор — контравариантный.

Четырехскоростной

Четырехкратное ускорение определяется:

$$\mathbf {A} ={\frac {d\mathbf {U} }{d\tau }}=\gamma (\mathbf {u} )\left({\frac {d{\gamma }(\mathbf {u} )}{dt}}c,{\frac {d{\gamma }(\mathbf {u} )}{dt}}\mathbf {u} +\gamma (\mathbf {u} )\mathbf {a} \right).$$

где a = d u / dt – координата 3-ускорения. Поскольку величина U является постоянной, четыре ускорения ортогональны четырем скоростям, т. е. внутренний продукт Минковского четырех ускорений и четырех скоростей равен нулю:

$$\mathbf {A} \cdot \mathbf {U} =A^{\mu }U_{\mu }={\frac {dU^{\mu }}{d\tau }}U_{\mu }={\frac {1}{2}}\,{\frac {d}{d\tau }}\left(U^{\mu }U_{\mu }\right)=0\,$$

что справедливо для всех мировых линий. Геометрический смысл четырехускорения — вектор кривизны мировой линии в пространстве Минковского.

Динамика

Четырехимпульс

Для массивной частицы с массой покоя (или инвариантной массой ) m ₀ четырехимпульс : определяется выражением

$$\mathbf {P} =m_{0}\mathbf {U} =m_{0}\gamma (\mathbf {u} )(c,\mathbf {u} )=\left({\frac {E}{c}},\mathbf {p} \right)$$

где полная энергия движущейся частицы равна:

$$E=\gamma (\mathbf {u} )m_{0}c^{2}$$

а полный релятивистский импульс равен:

$$\mathbf {p} =\gamma (\mathbf {u} )m_{0}\mathbf {u}$$

Взяв с собой внутренний продукт четырехимпульса:

$$\|\mathbf {P} \|^{2}=P^{\mu }P_{\mu }=m_{0}^{2}U^{\mu }U_{\mu }=m_{0}^{2}c^{2}$$

а также:

$$\|\mathbf {P} \|^{2}={\frac {E^{2}}{c^{2}}}-\mathbf {p} \cdot \mathbf {p}$$

что приводит к соотношению энергия-импульс :

$$E^{2}=c^{2}\mathbf {p} \cdot \mathbf {p} +\left(m_{0}c^{2}\right)^{2}\,.$$

Это последнее соотношение полезно для релятивистской механики , оно важно для релятивистской квантовой механики и релятивистской квантовой теории поля , а также для приложений к физике элементарных частиц .

Четыре силы

Четырехсила , действующая на частицу, определяется аналогично 3-силе как производная по времени 3-импульса во втором законе Ньютона :

$$\mathbf {F} ={\frac {d\mathbf {P} }{d\tau }}=\gamma (\mathbf {u} )\left({\frac {1}{c}}{\frac {dE}{dt}},{\frac {d\mathbf {p} }{dt}}\right)=\gamma (\mathbf {u} )\left({\frac {P}{c}},\mathbf {f} \right)$$

где P — мощность, передаваемая для перемещения частицы, а f — 3-сила, действующая на частицу. Для частицы постоянной инвариантной массы m ₀ это эквивалентно

$$\mathbf {F} =m_{0}\mathbf {A} =m_{0}\gamma (\mathbf {u} )\left({\frac {d{\gamma }(\mathbf {u} )}{dt}}c,\left({\frac {d{\gamma }(\mathbf {u} )}{dt}}\mathbf {u} +\gamma (\mathbf {u} )\mathbf {a} \right)\right)$$

Инвариант, полученный из четырех сил:

$$\mathbf {F} \cdot \mathbf {U} =F^{\mu }U_{\mu }=m_{0}A^{\mu }U_{\mu }=0$$

из приведенного выше результата.

Термодинамика

Смотрите также: Релятивистская теплопроводность

Четырехтепловой поток

Четырехмерное векторное поле теплового потока по существу аналогично трехмерному теплового потока векторному полю q в локальной системе отсчета жидкости:

$$\mathbf {Q} =-k{\boldsymbol {\partial }}T=-k\left({\frac {1}{c}}{\frac {\partial T}{\partial t}},\nabla T\right)$$

где T — абсолютная температура , а k — теплопроводность .

четырехбарионных

Поток барионов равен:

$$\mathbf {S} =n\mathbf {U}$$

где n - плотность числа барионов антибарионов в локальной системе покоя барионной жидкости (положительные значения для барионов, отрицательные для ) , а U - поле четырех скоростей (жидкости), как указано выше.

Четырехэнтропия

Вектор четырехэнтропии определяется следующим образом:

$$\mathbf {s} =s\mathbf {S} +{\frac {\mathbf {Q} }{T}}$$

где s — энтропия на барион, а T — абсолютная температура в локальной системе покоя жидкости.

Электромагнетизм

Примеры четырехвекторов в электромагнетизме включают следующее.

Четырехточечный

Электромагнитный четырехток (или, точнее, четырехтоковая плотность) определяется

$$\mathbf {J} =\left(\rho c,\mathbf {j} \right)$$

формируется из плотности тока j и плотности заряда ρ .

Четырехпотенциальный

Электромагнитный четырехпотенциал (или, точнее, векторный потенциал с четырьмя ЭМ), определяемый формулой

$$\mathbf {A} =\left({\frac {\phi }{c}},\mathbf {a} \right)$$

формируется из векторного потенциала a и скалярного потенциала φ .

Четырехпотенциал не определен однозначно, так как зависит от выбора калибровки .

В волновом уравнении электромагнитного поля:

• В вакууме,
  $$({\boldsymbol {\partial }}\cdot {\boldsymbol {\partial }})\mathbf {A} =0$$
• С четырехтоковым источником и с использованием калибровочного условия Лоренца $({\boldsymbol {\partial }}\cdot \mathbf {A} )=0$,
  $$({\boldsymbol {\partial }}\cdot {\boldsymbol {\partial }})\mathbf {A} =\mu _{0}\mathbf {J}$$

Волны

Четырехчастотный

Фотонная плоская волна может быть описана четырехчастотой, определяемой как

$$\mathbf {N} =\nu \left(1,{\hat {\mathbf {n} }}\right)$$

где ν — частота волны и ${\hat {\mathbf {n} }}$ — единичный вектор направления движения волны. Сейчас:

$$\|\mathbf {N} \|=N^{\mu }N_{\mu }=\nu ^{2}\left(1-{\hat {\mathbf {n} }}\cdot {\hat {\mathbf {n} }}\right)=0$$

поэтому четырехчастотная частота фотона всегда является нулевым вектором.

Четырехволновой вектор

Смотрите также: соотношение де Бройля

Величинами, обратными времени t и пространству r, являются угловая частота ω и угловой волновой вектор k соответственно. Они образуют компоненты четырехволнового вектора или волнового четырехвектора:

$$\mathbf {K} =\left({\frac {\omega }{c}},{\vec {\mathbf {k} }}\right)=\left({\frac {\omega }{c}},{\frac {\omega }{v_{p}}}{\hat {\mathbf {n} }}\right)\,.$$

Волновой пакет почти монохроматического света можно описать следующим образом:

$$\mathbf {K} ={\frac {2\pi }{c}}\mathbf {N} ={\frac {2\pi }{c}}\nu \left(1,{\hat {\mathbf {n} }}\right)={\frac {\omega }{c}}\left(1,{\hat {\mathbf {n} }}\right)~.$$

Затем соотношения де Бройля показали, что четырехволновой вектор применим как к волнам материи, так и к световым волнам:

$$\mathbf {P} =\hbar \mathbf {K} =\left({\frac {E}{c}},{\vec {p}}\right)=\hbar \left({\frac {\omega }{c}},{\vec {k}}\right)~.$$

уступчивость $E=\hbar \omega$ и ${\vec {p}}=\hbar {\vec {k}}$, где ħ — постоянная Планка, деленная на 2 π .

Площадь нормы равна:

$$\|\mathbf {K} \|^{2}=K^{\mu }K_{\mu }=\left({\frac {\omega }{c}}\right)^{2}-\mathbf {k} \cdot \mathbf {k} \,,$$

и по соотношению де Бройля:

$$\|\mathbf {K} \|^{2}={\frac {1}{\hbar ^{2}}}\|\mathbf {P} \|^{2}=\left({\frac {m_{0}c}{\hbar }}\right)^{2}\,,$$

мы имеем волновой аналог соотношения энергия-импульс:

$$\left({\frac {\omega }{c}}\right)^{2}-\mathbf {k} \cdot \mathbf {k} =\left({\frac {m_{0}c}{\hbar }}\right)^{2}~.$$

Обратите внимание, что для безмассовых частиц, в этом случае m ₀ = 0 , имеем:

$$\left({\frac {\omega }{c}}\right)^{2}=\mathbf {k} \cdot \mathbf {k} \,,$$

или ‖ k ‖ знак равно ω / c . Обратите внимание, что это соответствует приведенному выше случаю; для фотонов с 3-волновым вектором модуля ω/c , определяемом единичным вектором в направлении распространения волны $\ {\hat {\mathbf {n} }}~.$

Квантовая теория

Ток четырех вероятностей

В квантовой механике ток четырех вероятностей или четырехвероятностный ток аналогичен электромагнитному четырехтоку :

$$\mathbf {J} =(\rho c,\mathbf {j} )$$

где ρ — функция плотности вероятности, соответствующая временной составляющей, а j — вектор тока вероятности . В нерелятивистской квантовой механике этот ток всегда четко определен, поскольку выражения для плотности и тока положительно определены и допускают вероятностную интерпретацию. В релятивистской квантовой механике и квантовой теории поля не всегда возможно найти ток, особенно когда речь идет о взаимодействиях.

Заменяя энергию оператором энергии и импульс оператором импульса в четырехимпульсе, можно получить оператор четырехимпульса , используемый в релятивистских волновых уравнениях .

Четырехспиновый

Четырехспин будет частицы определяется в системе покоя частицы, которая

$$\mathbf {S} =(0,\mathbf {s} )$$

где s — псевдовектор спина . В квантовой механике не все три компоненты этого вектора измеримы одновременно, а только одна компонента. Времяподобный компонент равен нулю в системе покоя частицы, но не в любой другой системе отсчета. Эту компоненту можно найти с помощью соответствующего преобразования Лоренца.

Квадрат нормы — это (отрицательный) квадрат величины спина, и согласно квантовой механике мы имеем

$$\|\mathbf {S} \|^{2}=-|\mathbf {s} |^{2}=-\hbar ^{2}s(s+1)$$

Это значение наблюдаемо и квантовано, причем s — квантовое число спина (а не величина вектора спина).

Другие составы

Четырехвекторы в алгебре физического пространства

Четырехвектор A также можно определить, используя матрицы Паули в качестве основы , опять же в различных эквивалентных обозначениях:

$${\begin{aligned}\mathbf {A} &=\left(A^{0},\,A^{1},\,A^{2},\,A^{3}\right)\\&=A^{0}{\boldsymbol {\sigma }}_{0}+A^{1}{\boldsymbol {\sigma }}_{1}+A^{2}{\boldsymbol {\sigma }}_{2}+A^{3}{\boldsymbol {\sigma }}_{3}\\&=A^{0}{\boldsymbol {\sigma }}_{0}+A^{i}{\boldsymbol {\sigma }}_{i}\\&=A^{\alpha }{\boldsymbol {\sigma }}_{\alpha }\\\end{aligned}}$$

или явно:

$${\begin{aligned}\mathbf {A} &=A^{0}{\begin{pmatrix}1&0\\0&1\end{pmatrix}}+A^{1}{\begin{pmatrix}0&1\\1&0\end{pmatrix}}+A^{2}{\begin{pmatrix}0&-i\\i&0\end{pmatrix}}+A^{3}{\begin{pmatrix}1&0\\0&-1\end{pmatrix}}\\&={\begin{pmatrix}A^{0}+A^{3}&A^{1}-iA^{2}\\A^{1}+iA^{2}&A^{0}-A^{3}\end{pmatrix}}\end{aligned}}$$

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

$${\begin{aligned}|\mathbf {A} |&={\begin{vmatrix}A^{0}+A^{3}&A^{1}-iA^{2}\\A^{1}+iA^{2}&A^{0}-A^{3}\end{vmatrix}}\\&=\left(A^{0}+A^{3}\right)\left(A^{0}-A^{3}\right)-\left(A^{1}-iA^{2}\right)\left(A^{1}+iA^{2}\right)\\&=\left(A^{0}\right)^{2}-\left(A^{1}\right)^{2}-\left(A^{2}\right)^{2}-\left(A^{3}\right)^{2}\end{aligned}}$$

Эта идея использования матриц Паули в качестве базисных векторов используется в алгебре физического пространства , примере алгебры Клиффорда .

Четырехвекторы в алгебре

В алгебре пространства-времени , другом примере алгебры Клиффорда, гамма-матрицы также могут образовывать базис . (Их также называют матрицами Дирака из-за их появления в уравнении Дирака ). Существует несколько способов выражения гамма-матриц, подробно описанных в этой основной статье.

Обозначение косой черты Фейнмана является сокращением четырехвекторного A, сжатого гамма-матрицами:

$$\mathbf {A} \!\!\!\!/=A_{\alpha }\gamma ^{\alpha }=A_{0}\gamma ^{0}+A_{1}\gamma ^{1}+A_{2}\gamma ^{2}+A_{3}\gamma ^{3}$$

Четырехимпульс, сжатый с гамма-матрицами, является важным случаем в релятивистской квантовой механике и релятивистской квантовой теории поля . В уравнении Дирака и других релятивистских волновых уравнениях члены вида:

$$\mathbf {P} \!\!\!\!/=P_{\alpha }\gamma ^{\alpha }=P_{0}\gamma ^{0}+P_{1}\gamma ^{1}+P_{2}\gamma ^{2}+P_{3}\gamma ^{3}={\dfrac {E}{c}}\gamma ^{0}-p_{x}\gamma ^{1}-p_{y}\gamma ^{2}-p_{z}\gamma ^{3}$$

, в которых компоненты энергии E и импульса ( p _x , py _z , p ₎ появляются заменяются соответствующими операторами .

См. также

• Базовое введение в математику искривленного пространства-времени
• Пыль (относительность) для четырехвектора числового потока
• Пространство Минковского
• Паравектор
• Релятивистская механика
• Волновой вектор

Ссылки

• Риндлер, В. Введение в специальную теорию относительности (2-е изд.) (1991) Clarendon Press Oxford ISBN   0-19-853952-5