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

Преобразова́ния Ло́ренца в линейные (или аффинные) преобразования векторного (соответственно, аффинного) псевдоевклидова пространства, сохраняющее длины или, что эквивалентно, скалярное произведение векторов.

Преобразования Лоренца псевдоевклидова пространства сигнатуры (n-1,1) находят широкое применение в физике, в частности, в специальной теории относительности (СТО), где в качестве аффинного псевдоевклидова пространства выступает четырёхмерный пространственно-временной континуум (пространство Минковского).

[править] Преобразования Лоренца в математике

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

[править] Определение

Преобразование Лоренца (лоренцево преобразование) псевдоевклидова векторного пространства $\,L$ в это линейное преобразование $\,A: L \to L$ , сохраняющее индефинитное скалярное произведение векторов. Это означает, что для любых двух векторов $x,y \in L$ выполняется равенство

$\langle A(x),\,A(y) \rangle = \langle x,\,y \rangle,$

где треугольными скобками обозначено индефинитное скалярное произведение $\langle x,\,y \rangle$ в псевдоевклидовом пространстве $\,L$ .

Аналогично, преобразование Лоренца (лоренцево преобразование) псевдоевклидова аффинного пространства в это аффинное преобразование, сохраняющее расстояние между точками этого пространства.

[править] Общие свойства

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

Если в псевдоевклидовом векторном пространстве $\,L$ выбран некоторый базис $e_1, \ldots, e_n$ , то для индефинитного скалярного произведения $\langle x,\,y \rangle$ определена матрица Грама $\,G$ . Тогда матрица $\,A$ преобразования Лоренца удовлетворяет соотношению

$A^* \,G \, A = G, \qquad (*)$

где звёздочка означает транспонирование матрицы. И обратно, любая матрица $\,A$ , удовлетворяющая соотношению $(*)$ , является матрицей преобразования Лоренца. Всегда можно выбрать базис $e_1, \ldots, e_n$ таким образом, что индефинитное скалярное произведение имеет вид

$\langle x,\,y \rangle = x_1y_1 +\cdots+ x_ky_k - x_{k+1}y_{k+1} -\cdots- x_ny_n,$

и в равенстве $(*)$ матрица $\,G$ в• диагональная с элементами $\,1$ (первые $k$ ) и $\,-1$ (последние $n-k$ ).

Из соотношения $(*)$ следует, что, как и в случае ортогонального преобразования, определитель $\,|A|=+1$ или $\,|A|=-1$ .

Если подпространство $L_1 \subset L$ инвариантно относительно лоренцева преобразования $A: L \to L$ , то и его ортогональное (в смысле данного индефинитного скалярного произведения) дополнение $L_1^{\perp}$ тоже инвариантно относительно преобразования $\,A$ , причем $\dim L_1 + \dim L_1^{\perp} = \dim L$ . Однако, в отличие от ортогональных преобразований евклидовых пространств, равенство $L_1 \oplus L_1^{\perp} = L$ , где символ $\oplus \!$ означает прямую сумму подпространств, вообще говоря, не имеет места (оба подпространства $\,L_1$ и $L_1^{\perp}$ могут содержать одни и те же ненулевые изотропные векторы, т.е. $L_1 \cap L_1^{\perp} \neq 0$ , так как любой изотропный вектор ортогонален сам себе).^[1]

[править] Свойства в пространствах сигнатуры (n-1,1)

Из равенства $\langle A(x),\,A(x) \rangle = \langle x,\,x \rangle$ следует, что лоренцево преобразование переводит световой конус в себя, а также переводит в себя его внешность (в СТО в область абсолютно удалённого). Однако при этом две компоненты светового конуса, разделенные его вершиной (в СТО они ограничивают конус будущего и конус прошлого), могут либо переходить в себя, либо меняться друг с другом местами.

Исходя из того, переставляет ли данное лоренцево преобразование $\,A$ части светового конуса, или оставляет их на месте, а также из знака определителя $\,|A|=\pm 1$ , группу Лоренца можно разделить на 4 части, которые являются её линейно связными компонентами (но подгруппой является лишь одна из них). Этот факт (наличие четырёх компонент связности) часто интерпретируют как наличие четырёх ориентаций псевдоевклидова пространства (в отличие от евклидова пространства, где есть только две ориентации).^[1]

[править] Явный вид преобразований псевдоевклидовой плоскости

Лоренцевы преобразования псевдоевклидовой плоскости можно записать в наиболее простом виде, используя базис $e,g$ , состоящий из двух изотропных векторов:

$\langle e,e \rangle = 0, \quad \langle g,g \rangle = 0, \quad \langle e,g \rangle = 1/2.$

Именно, в зависимости от знака определителя $\,|A|=\pm 1$ , матрица преобразования в данном базисе имеет вид:

$A=\begin{pmatrix} a&\ \ \, 0\\ 0&\, 1/a\end{pmatrix} \ \Leftrightarrow \ |A|=+1, \qquad A=\begin{pmatrix} 0&\ a\\ 1/a&\,0\end{pmatrix} \ \Leftrightarrow \ |A|=-1, \qquad a \neq 0.$

Знак числа $a$ определяет то, оставляет ли преобразование $\,A$ части светового конуса на месте $(a>0)$ , или меняет их местами $(a<0)$ .

Другой часто встречающийся вид матриц лоренцевых преобразований псевдоевклидовой плоскости получается при выборе базиса, состоящего из векторов $\,e'=e+g$ и $\,g'=e-g$ :

$\langle e',e' \rangle = +1, \quad \langle g',g' \rangle = -1, \quad \langle e',g' \rangle = 0.$

В базисе $\, e', g'$ матрица преобразования $\,A$ имеет одну из четырёх форм:

$\begin{pmatrix}\ \operatorname{ch}\varphi& \ \ \operatorname{sh}\varphi\\ \,\operatorname{sh}\varphi& \ \operatorname{ch}\varphi\end{pmatrix}, \quad \begin{pmatrix}\ -\operatorname{ch}\varphi& \, \ -\operatorname{sh}\varphi\\ \,-\operatorname{sh}\varphi& \, -\operatorname{ch}\varphi\end{pmatrix}, \quad \begin{pmatrix} -\operatorname{ch}\varphi& \, -\operatorname{sh}\varphi\\ \,\operatorname{sh}\varphi& \ \operatorname{ch}\varphi\end{pmatrix}, \quad \begin{pmatrix}\ \operatorname{ch}\varphi& \ \, \operatorname{sh}\varphi\\ \,-\operatorname{sh}\varphi& \, -\operatorname{ch}\varphi\end{pmatrix}, \qquad (0)$

где $\operatorname{sh}$ и $\operatorname{ch}$ в гиперболические синус и косинус.

[править] Явный вид преобразований пространства сигнатуры (n-1,1)

Лоренцевы преобразования $n$ -мерного псевдоевклидова пространства $\,L$ со скалярным произведением

$\langle x,\,y \rangle = x_1y_1 +\cdots+ x_{n-1}y_{n-1} - x_ny_n \quad (1)$

описываются следующей теоремой.

Теорема 1. Для всякого лоренцева преобразования $\,A: L \to L$ существуют такие инвариантные подпространства $L_0 \subset L$ и $L_1 \subset L$ , что ограничение скалярного произведения (1) на каждое из них невырождено и имеет место ортогональное разложение

$L = L_0 \oplus L_1, \quad L_0 \perp L_1,$

причем подпространство $\, L_0$ со скалярным произведением (1) является евклидовым и $\dim L_1 \leq 3$ . ^[1]

Теорема 1 утверждает, что любое лоренцево преобразование псевдоевклидова пространства $\,L$ сигнатуры $(n-1,1)$ задается лоренцевым преобразованием псевдоевклидова пространства $L_1 \subset L$ размерности 1 или 2 или 3 и ортогональным преобразованием евклидова пространства $L_0 \subset L$ дополнительной размерности.

Лемма. Если $\, \dim L_1 = 3$ , то инвариантное псевдоевклидово подпространство $\,L_1$ , в свою очередь, представимо в виде прямой суммы

$L_1 = M_1 \oplus M_2 \oplus M_3$ или $L_1 = M_1 \oplus M_2$

подпространств $M_i \subset L_1$ , попарно ортогональных и инвариантных относительно преобразования $\,A$ , за исключением одного единственного случая, когда преобразование $A: L_1 \to L_1$ имеет единственное собственное значение $\lambda = \pm 1$ кратности 3 и единственный собственный вектор $e \in L_1$ является изотропным: $\langle e,\,e \rangle = 0$ . В этом единственном случае инвариантное подпространство $\,L_1$ не разлагается в прямую сумму никаких подпространств, инвариантных относительно преобразования $A: L_1 \to L_1$ , а является трёхмерным корневым подпространством этого преобразования.^[1]

Теорема 1 вместе с леммой позволяют установить следующий результат:

Теорема 2. Для всякого лоренцева преобразования $\,A: L \to L$ существует такой ортонормированный (относительно индефинитного скалярного произведения (1)) базис $e_1, \ldots, e_n$ :

$\langle e_1,\,e_1 \rangle = \cdots = \langle e_{n-1},\,e_{n-1} \rangle = +1, \quad \langle e_n,\,e_n \rangle = -1, \quad \langle e_i,\,e_j \rangle = 0 \ \, (\forall \, i \neq j),$

в котором матрица $\,A$ имеет блочно-диагональный вид с блоками следующих типов:

порядка 1 с элементом $\pm 1$ ,
порядка 2 в матрица поворота евклидовой плоскости на угол $\phi$ ,
порядка 2 в матрица лоренцева преобразования псевдоевклидовой плоскости вида $(0)$ ,
порядка 3 в матрица лоренцева преобразования трёхмерного псевдоевклидова пространства с трёхкратным собственным значением $\lambda = \pm 1$ и единственным собственным вектором, являющимся изотропным.

При этом матрица $\,A$ может содержать не более одного блока, относящегося двум последним типам.^[1]

Кроме того, имеет место следующее представление лоренцевых преобразований $n$ -мерного псевдоевклидова пространства $\,L$ со скалярным произведением $(1)$ .

Теорема 3. Всякое лоренцево преобразование $\,A: L \to L$ пространства $\,L$ со скалярным произведением $(1)$ представимо в виде композиции следующих линейных преобразований:

ортогонального преобразования евклидова подпространства, заданного уравнением $\,x_n=0$ , с координатами $(x_1, \ldots, x_{n-1})$ ,
лоренцева преобразования псевдоевклидовой плоскости с координатами $\,(x_i, x_n)$ с некоторым $i<n$ ,
отражений вида $x_i \mapsto \pm x_i$ , $i \in \{1, \ldots, n\}$ .^[2]

[править] Преобразования Лоренца в физике

Преобразованиями Лоренца в физике, в частности, в специальной теории относительности (СТО), называются преобразования, которым подвергаются пространственно-временные координаты $(x, y, z, t)$ каждого события при переходе от одной инерциальной системы отсчета (ИСО) к другой. Аналогично, преобразованиям Лоренца при таком переходе подвергаются координаты любого 4-вектора.

Чтобы явно различить преобразования Лоренца со сдвигами начала отсчёта и без сдвигов, когда это необходимо, говорят о неоднородных и однородных преобразованиях Лоренца.

Преобразования Лоренца без сдвигов начала отсчёта образуют группу Лоренца, со сдвигами в группу Пуанкаре, иначе называемую неоднородной группой Лоренца.

С математической точки зрения преобразования Лоренца в это преобразования, сохраняющие неизменной метрику Минковского, то есть, в частности, последняя сохраняет при них простейший вид при переходе от одной инерциальной системы отсчёта к другой (другими словами преобразования Лоренца в это аналог для метрики Минковского ортогональных преобразований, осуществляющих переход от одного ортонормированного базиса к другому, то есть аналог поворота координатных осей для пространства-времени). В математике или теоретической физике преобразования Лоренца могут относиться к любой размерности пространства.

Именно преобразования Лоренца, смешивающие в в отличие от преобразований Галилея в пространственные координаты и время, исторически стали основой для формирования концепции единого пространства-времени.

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

[править] Вид преобразований при коллинеарных (параллельных) пространственных осях

Если ИСО $K'$ движется относительно ИСО $K$ с постоянной скоростью $v$ вдоль оси $x$ , а начала пространственных координат совпадают в начальный момент времени в обеих системах, то преобразования Лоренца (прямые) имеют вид:

$x'=\frac{x-vt}{\sqrt{1-v^2/c^2}},$

$y'=y,\$

$z'=z,\$

$t'=\frac{t-(v/c^2)x}{\sqrt{1-v^2/c^2}},$

где $c$ в скорость света, величины со штрихами измерены в системе $K'$ , без штрихов в в $K$ .

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

Формулы, выражающие обратное преобразование, то есть выражающие $x',y',z',t'$ через $x,y,z,t$ можно получить просто заменой $v$ на $-v$ (абсолютная величина относительной скорости движения систем отсчёта $|v|$ одинакова при измерении её в обеих системах отсчёта, поэтому можно при желании снабдить $v$ штрихом, только при этом надо внимательно следить за тем, чтобы знак и определение соответствовали друг другу) и взаимной заменой штрихованных $x$ и $t$ с нештрихованными. Или решая систему уравнений (1) относительно $x', y', z', t'$ .
Надо иметь в виду, что в литературе преобразования Лоренца часто записывается для упрощения в системе единиц, где $c = 1$ , что действительно делает их вид более изящным.
Видно, что при преобразованиях Лоренца события, одновременные в одной системе отсчёта, не являются одновременными в другой (относительность одновременности), кроме того, у движущегося тела сокращается продольный размер по сравнению с тем, какой оно имеет в сопутствующей ему системе отсчёта (лоренцево сокращение), а ход движущихся часов замедляется, если наблюдать их из «неподвижной» системы отсчёта (релятивистское замедление времени).

[править] Вывод преобразований

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

Преобразования Лоренца могут быть получены абстрактно, из групповых соображений (в этом случае они получаются с неопределённым $c$ ), как обобщение преобразований Галилея (что было проделано Анри Пуанкаре в см. ниже). Однако впервые они были получены как преобразования, относительно которых ковариантны уравнения Максвелла (то есть по сути в которые не меняют вида законов электродинамики и оптики при переходе к другой системе отсчёта). Могут также быть получены из предположения линейности преобразований и постулата одинаковости скорости света во всех системах отсчёта (являющегося упрощённой формулировкой требования ковариантности электродинамики относительно искомых преобразований, и распространением принципа равноправия инерциальных систем отсчёта в принципа относительности в на электродинамику), как это делается в специальной теории относительности (СТО) (при этом $c$ в преобразованиях Лоренца получается определённым и совпадает со скоростью света).

Надо заметить, что если не ограничивать класс преобразований координат линейными, то первый закон Ньютона выполняется не только для преобразований Лоренца, а для более широкого класса дробно-линейных преобразований ^[3] (однако этот более широкий класс преобразований в за исключением, конечно, частного случая преобразований Лоренца в не сохраняет метрику постоянной).

[править] Разные формы записи преобразований

[править] Вид преобразований при произвольной ориентации осей

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

$\mathbf{r'} = \mathbf{i}x' + \mathbf{j}y' + \mathbf{k}z'$ ,

где $\mathbf{i}, \mathbf{j}, \mathbf{k}$ в орты, надо разбить на составляющую $\mathbf{r'_\|}$ параллельную скорости и составляющую $\mathbf{r'_\perp}$ ей перпендикулярную

$\mathbf{r'} = \mathbf{r'_\|} + \mathbf{r'_\perp}$ .

Тогда преобразования получат вид

$\mathbf{r_\|}=\frac{\mathbf{r'_\|}+\mathbf{v}t'}{\sqrt{1-v^2/c^2}}, \mathbf{r_\perp}=\mathbf{r'_\perp},~~ t=\frac{t'+(v/c^2)r_\|}{\sqrt{1-v^2/c^2}}$ ,

где $v = \left| \mathbf{v} \right|$ в абсолютная величина скорости, $r_\| = \left| \mathbf{r_\|} \right|$ в абсолютная величина продольной составляющей радиус-вектора.

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

$\mathbf{r} = \frac{\mathbf{r'}+\mathbf{v}t'}{\sqrt{1-v^2/c^2}} + \frac{1}{v^2}\left( \frac{1}{\sqrt{1-v^2/c^2}}-1 \right)(\mathbf{r'\otimes v})\otimes \mathbf{v}$

$t=\frac{t'+\mathbf{r'v}/c^2}{\sqrt{1-v^2/c^2}}$ .

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

[править] Преобразования Лоренца в матричном виде

Для случая коллинеарных осей преобразования Лоренца записываются в виде

$\begin{bmatrix} c t \\x \\y \\z \end{bmatrix} = \begin{bmatrix} \gamma&\frac{v}{c} \gamma&0&0\\ \frac{v}{c} \gamma&\gamma&0&0\\ 0&0&1&0\\ 0&0&0&1\\ \end{bmatrix} \begin{bmatrix} c t'\\x'\\y'\\z' \end{bmatrix}$ ,

где $\gamma \equiv \frac{1}{\sqrt{1 - v^2/c^2}}$ .

При произвольной ориентации осей, в форме 4-векторов это преобразование записывается как:

$\begin{bmatrix} c t \\ \vec r \end{bmatrix} = \begin{bmatrix} \gamma & \frac{\vec v}{c} \gamma \\ \frac{\vec v}{c} \gamma & E + \frac{\vec v \otimes \vec v}{v^2}(\gamma -1) \end{bmatrix} \begin{bmatrix} c t' \\ \vec r\,' \end{bmatrix}$

$\gamma = \frac{1}{\sqrt{1-\frac{v^2}{c^2}}}$

где E в единичная матрица 3 $\times$ 3, $\otimes$ в тензорное умножение трехмерных векторов.

Надо иметь в виду, что в литературе матрица преобразований Лоренца часто записывается для упрощения в системе единиц, где $c = 1$ .

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

[править] Свойства преобразований Лоренца

Можно заметить, что в случае, когда $c\rightarrow\infty$ , преобразования Лоренца переходят в преобразования Галилея. То же самое происходит в случае, когда $v/c\rightarrow0$ . Это говорит о том, что специальная теория относительности совпадает с механикой Ньютона либо в мире с бесконечной скоростью света, либо при скоростях, малых по сравнению со скоростью света. Последее объясняет, каким образом сочетаются эти две теории в первая является обобщением и уточнением второй, а вторая в предельным случаем первой, оставаясь в этом качестве верной приближенно (с некоторой точностью, на практике часто очень и очень большой) при достаточно малых (по сравнению со скоростью света) скоростях движений.
Преобразования Лоренца сохраняют инвариантным интервал для любой пары событий (точек пространства-времени) в то есть любой пары точек пространства-времени Минковского:
$s = \sqrt{c^2 (\Delta t)^2- (\Delta x)^2 - (\Delta y)^2 - (\Delta z)^2}=\sqrt{c^2 (\Delta t')^2- (\Delta x')^2 - (\Delta y')^2 - (\Delta z')^2}.$
Убедиться в этом нетрудно, например, проверив явно то, что матрица преобразования Лоренца $L$ ортогональна в смысле метрики Минковского
$\eta_{ik}=\left[\begin{matrix}1&0&0&0\\0&-1&0&0\\0&0&-1&0\\0&0&0&-1\end{matrix}\right],$
определяемой таким выражением, то есть $\sum_{i,k}L^i_j \eta_{ik} L^k_m = \delta_{jm}$ . Это проще всего проделать для буста, а для трехмерных вращений это очевидно из определения декартовых координат, кроме того, сдвиги начала отсчёта не меняют разностей координат. Следовательно, это свойство верно и для любых композиций бустов, вращений и сдвигов, что и составляет полную группу Пуанкаре; как только мы узнали, что преобразования координат ортогональны, из этого сразу следует, что формула для расстояния остаётся неизменной при переходе к новой системе координат в по определению ортогональных преобразований.
В частности, инвариантность интервала имеет место и для случая $s=0$ , а значит в гиперповерхность в пространстве-времени, которая определяется равенством нулю интервала до заданной точки в световой конус в является неподвижной при преобразованиях Лоренца (что является проявлением инвариантности скорости света). Внутреность двух полостей конуса соответствует времениподобным в вещественным в интервалам от их точек до вершины, внешняя область в пространственноподобным в чисто мнимым (в принятой в этой статье сигнатуре интервала).
Другие инвариантные гиперповерхности однородных преобразований Лоренца (аналоги сферы для пространства Минковского) в гиперболоиды: двуполостный гиперболоид для времениподобных интервалов относительно начала координат, и однополостный в для пространственноподобных интервалов.
Матрицу преобразования Лоренца при коллинеарных пространственных осях (в системе единиц c=1) можно представить как:

$\begin{bmatrix} \mathop{\rm ch} \theta & -\mathop{\rm sh} \theta & 0 & 0\\ -\mathop{\rm sh} \theta & \mathop{\rm ch} \theta & 0 & 0\\ 0 & 0 & 1 & 0\\ 0 & 0 & 0 & 1\\ \end{bmatrix}$

где $\theta = \mathop{\rm Arth} (v/c)\$ . В этом легко убедиться, учитывая $\rm ch^2 \theta - \rm sh^2 \theta = 1 \$ и проверив выполнение соответствующего тождества для матрицы преобразования Лоренца в обычном виде.

Если принять введённые Минковским обозначения $x_0=ict, x_1=x, x_2=y, x_3=z\$ , то преобразование Лоренца для такого пространства сводится к повороту на мнимый угол в плоскости, включающей ось $x_0\$ (для случая движения вдоль оси $x_1\$ в в плоскости $x_0 x_1$ ). Это очевидно, исходя из подстановки $\mathop{\rm ch} \theta = \mathop{\rm cos}(i\,\theta),\ \mathop{\rm sh} \theta = -i\, \mathop{\rm sin}(i\theta)$ в матрицу, приведенную чуть выше в и её небольшого изменения для того, чтобы учесть вводимую мнимость временной координаты в и сравнении её с обычной матрицей вращения.

[править] Следствия преобразований Лоренца

[править] Изменение длины

Пусть в системе отсчета $K'\,$ покоится стержень и координаты его начала и конца равны $x_2'\,$ , $x_1'\,$ . Для определения длины стержня в системе $K\,$ фиксируются координаты этих же точек в один и тот же момент времени системы $K\,$ . Пусть $l_0=x_2'-x_1'\,$ в собственная длина стержня в $K'\,$ , а $l=x_2-x_1\,$ в длина стержня в $K\,$ . Тогда из преобразований Лоренца следует:

$l_0 =x'_2-x'_1 = \frac{x_2-v\,t}{\sqrt{1-\frac{v^2}{c^2} }}-\frac{x_1-v\,t}{\sqrt{1-\frac{v^2}{c^2}}}=\frac{x_2-x_1}{\sqrt{1-\frac{v^2}{c^2}}}$

или

$l = l_0\sqrt{1-\frac{v^2}{c^2}}.$

Таким образом, длина движущегося стержня, измеренная «неподвижными» наблюдателями, оказывается меньше, чем собственная длина стержня.

[править] Относительность одновременности

Если два разнесённых в пространстве события (например, вспышки света) происходят одновременно в движущейся системе отсчёта, то они будут неодновременны относительно «неподвижной» системы. При Δt' = 0 из преобразований Лоренца следует

Если Δx = x2 в x1 > 0, то и Δt = t2 в t1 > 0. Это означает, что, с точки зрения неподвижного наблюдателя, левое событие происходит раньше правого (t2 > t1). Относительность одновременности приводит к невозможности синхронизации часов в различных инерциальных системах отсчёта во всём пространстве.

Пусть в двух системах отсчёта, вдоль оси x расположены синхронизированные в каждой системе часы, и в момент совпадения «центральных» часов (на рисунке ниже) они показывают одинаковое время. Левый рисунок показывает, как эта ситуация выглядит с точки зрения наблюдателя в системе S. Часы в движущейся системе отсчёта показывают различное время. Находящиеся по ходу движения часы отстают, а находящиеся против хода движения опережают «центральные» часы. Аналогична ситуация для наблюдателей в S' (правый рисунок).

[править] Замедление времени для движущихся тел

[править] Связанные определения

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

[править] История

Преобразования названы в честь их первооткрывателя в Х. А. Лоренца, который впервые ввел их (вместо преобразований Галилея) в качестве преобразований, связывающих геометрические величины (длины, углы), измеренные в разных инерциальных системах отсчета^{[источник не указан 281 день]}, чтобы устранить противоречия между электродинамикой и механикой, которые имелись в ньютоновской формулировке, включающей преобразования Галилея, что в конечном итоге привело к успеху при существенной модификации механики.

Сначала было обнаружено, что уравнения Максвелла инвариантны относительно подобных преобразований (В. Фогтом в 1887 году)^{[источник не указан 281 день]}. Это же было повторено Лармором в 1900 году^{[источник не указан 281 день]}.

В 1892 году Лоренц ввёл теорию сокращения, предполагающую сокращение длин всех твёрдых тел в направлении движения, количественно совпадающее с тем, что понимается сейчас под лоренцевым сокращением.

Преобразования Лоренца были впервые опубликованы Лоренцем в 1904 году, но в то время их форма была несовершенна (они были выведены с точностью до членов $v^2/c^2$ , а в преобразовании тока была допущена ошибка). К современному, полностью самосогласованному виду их привели французский математик А. Пуанкаре и параллельно и независимо А. Эйнштейн в 1905 году. Анри Пуанкаре первым установил и детально изучил одно из самых важных свойств преобразований Лоренца в их групповую структуру, и показал, что "преобразования Лоренца представляют ни что иное, как поворот в пространство четырех измерений, точки которого имеют координаты $(x,y,z,i t)$ ".^[4]. В 1905 году Эйнштейн в своей теории относительности пришёл к широко популярной впоследствии формально-аксиоматической трактовке этих преобразований.

Пуанкаре же ввел термины «преобразования Лоренца» и «группа Лоренца» и показал, исходя из эфирной модели, невозможность обнаружить движение относительно абсолютной системы отсчета (то есть системы, в который эфир неподвижен), модифицировав таким образом принцип относительности Галилея^{[источник не указан 281 день]}. Ему же принадлежит групповой вывод явного вида преобразований Лоренца (с неопределенным c) без независимого постулата инвариантности скорости света^{[источник не указан 281 день]}.

В 1910 году В.С. Игнатовский первым попытался получить преобразование Лоренца на основе теории групп и без использования постулата о постоянстве скорости света ^[5].

[править] Примечания

в‘ ¹ ² ³ ⁴ ⁵ Шафаревич И. Р., Ремизов А. О. Линейная алгебра и геометрия, гл. VII, пар. 8, в Физматлит, Москва, 2009.
в‘ Петровский И. Г. Лекции об уравнениях с частными производными, гл. II, пар. 14, в Любое издание.
в‘ Статья Ф.Франк и Г.Роте "Über die Transformation der Raumzeitkoordinaten von ruhenden auf bewegte Systeme" Ann. der Physik, Ser. 4, Vol. 34, No. 5, 1911, pp. 825в855 в которой впервые отмечено, что дробнолинейные преобразования являются наиболее общими преобразованиями, которые согласуются с принципом относительности (русский перевод)
в‘ Пуанкаре А. О динамике электрона.в В кн.: Принцип относительности : Сб. работ классиков релятивизма.в М. : Атомиздат, 1973, с. 90в93, 118в 160.
в‘ "Некоторые общие замечания к принципу относительности" Доклад на общем заседании математического и физического отделения 82-го собрания немецких натуралистов и врачей в г. Кёнигсберг 21 сентября 1910 г.;
von W. v. Ignatowsky, "Einige allgemeine Bemerkungen zum Relativitätsprinzip", Verh. d. Deutsch. Phys. Ges. 12, 788-96, 1910 (русский перевод)

[править] Литература

Ландау, Л. Д., Лифшиц, Е. М. Теория поля. в Издание 7-е, исправленное. в М.: Наука, 1988. в 512 с. в («Теоретическая физика», том II). в ISBN 5-02-014420-7
Физическая энциклопедия, т.2 в М.:Большая Российская Энциклопедия стр.608 и стр.609.
Фёдоров Ф. И. Группа Лоренца. в М.: Наука, 1979. 384 с.
Гельфанд И. М., Минлос Р. А., Шапиро З. Я. Представление группы вращений и группы Лоренца. М., 1958.
Шафаревич И. Р., Ремизов А. О. Линейная алгебра и геометрия, в Физматлит, Москва, 2009.

[править] См. также

Сложное движение (формула преобразования скорости, согласованная с преобразованиями Лоренца)
Прецессия Томаса
Группа Лоренца

[править] Ссылки

Преобразования Лоренца в книге Релятивистский мир

[autogenerated1-0] в‘ ¹ ² ³ ⁴ ⁵ Шафаревич И. Р., Ремизов А. О. Линейная алгебра и геометрия, гл. VII, пар. 8, в Физматлит, Москва, 2009.

[1] в‘ Петровский И. Г. Лекции об уравнениях с частными производными, гл. II, пар. 14, в Любое издание.

[2] в‘ Статья Ф.Франк и Г.Роте "Über die Transformation der Raumzeitkoordinaten von ruhenden auf bewegte Systeme" Ann. der Physik, Ser. 4, Vol. 34, No. 5, 1911, pp. 825в855 в которой впервые отмечено, что дробнолинейные преобразования являются наиболее общими преобразованиями, которые согласуются с принципом относительности (русский перевод)

[3] в‘ Пуанкаре А. О динамике электрона.в В кн.: Принцип относительности : Сб. работ классиков релятивизма.в М. : Атомиздат, 1973, с. 90в93, 118в 160.

[doklad_ru-4] в‘ "Некоторые общие замечания к принципу относительности" Доклад на общем заседании математического и физического отделения 82-го собрания немецких натуралистов и врачей в г. Кёнигсберг 21 сентября 1910 г.;
von W. v. Ignatowsky, "Einige allgemeine Bemerkungen zum Relativitätsprinzip", Verh. d. Deutsch. Phys. Ges. 12, 788-96, 1910 (русский перевод)

[1]

[2]

[3]

[4]

[5]

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

Содержание

[править] Преобразования Лоренца в математике

[править] Определение

[править] Общие свойства

[править] Свойства в пространствах сигнатуры (n-1,1)

[править] Явный вид преобразований псевдоевклидовой плоскости

[править] Явный вид преобразований пространства сигнатуры (n-1,1)

[править] Преобразования Лоренца в физике

[править] Вид преобразований при коллинеарных (параллельных) пространственных осях

[править] Вывод преобразований

[править] Разные формы записи преобразований

[править] Вид преобразований при произвольной ориентации осей

[править] Преобразования Лоренца в матричном виде

[править] Свойства преобразований Лоренца

[править] Следствия преобразований Лоренца

[править] Изменение длины

[править] Относительность одновременности

[править] Замедление времени для движущихся тел

[править] Связанные определения

[править] История

[править] Примечания

[править] Литература

[править] См. также

[править] Ссылки

Личные инструменты

Пространства имён

Варианты

Просмотры

Действия

Поиск

Навигация

Участие

Печать/экспорт

Инструменты

На других языках