Общее матричное преобразование Лоренца

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

По сути, мы знаем, что для одного пространственного вектора, связывающего систему отсчета S и S':

[ с т Икс ] "=" [ γ γ β γ β γ ] [ с т Икс ]
Это я упрощаю Икс "=" л 1 Икс . Поэтому я думаю, что если S' движется от S по двум пространственным координатам ( Икс и у ), то я могу использовать первый ход Икс а потом в у , такой, что Икс "=" л 1 л 2 Икс , в которой л 1 я держу у координата фиксированная, а в л 2 Я сохраняю координату x фиксированной. Написание этого будет:
[ с т Икс у ] "=" [ γ Икс γ Икс β Икс 0 γ Икс β Икс γ Икс 0 0 0 1 ] [ γ у 0 γ у β у 0 1 0 γ у β у 0 γ у ] [ с т Икс у ]

[ с т Икс у ] "=" [ γ Икс γ у γ Икс β Икс γ Икс γ у β у γ Икс β Икс γ у γ Икс γ Икс β Икс γ у β у γ у β у 0 γ у ] [ с т Икс у ]
Для меня все это выглядит довольно аккуратно, но когда я пытаюсь применить это к сложению скорости, я получаю ложные результаты. Насколько я мог понять, ноль в последней матрице 3x3 неверен (что не исчезнет, ​​если я также добавлю координату az...).

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

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

Классическая электродинамика Дж. Д. Джексона описывает это. В основном существует единый γ и три компонента скорости, и вы должны учитывать бесконечно малые матрицы вращения. Проверьте это: если ваш л 1 и л 2 не ездите на работу, вы не выполняете преобразование должным образом, чтобы получить общий 3D-результат. И они не ездят.
Композиция двух одномерных преобразований Лоренца (очевидно, вдоль одной оси) также является одномерным преобразованием Лоренца. Но композиция одномерного преобразования Лоренца вдоль Икс ось и одномерное преобразование Лоренца вдоль у ось представляет собой двухмерное преобразование Лоренца плюс вращение.
@Frobenius, это действительно имеет смысл. Мне просто интересно, как можно было бы выполнить четырехмерное вращение (в случае, если бы я расширил его, включив также координату z).
... в этом случае вращение является двумерным. Готовлю новый комментарий. Потерпи.
В моем ответе как «user82794» в нем: два набора координат, каждый в кадрах OO и O'O' (преобразование Лоренца), а в РАЗДЕЛЕ B я создаю более общее преобразование Лоренца из одномерного измерения. Мои результаты идентичны тем, которые даны без доказательства в "CLASSICAL ELECTRODYNAMICS" JDJackson, 3-е издание, §§ 11.3.
(А-01а) Икс "=" Икс + ( γ 1 ) ( н Икс ) н γ в т (А-01б) т "=" γ ( т в Икс с 2 )
где н "=" в в .
@Фробениус, спасибо! Я изучу его, но он выглядит многообещающе!
@Frobenius, просто возвращаясь к моей идее и вашему комментарию о необходимости добавить член вращения: разве я уже не учитываю вращение при определении LT в y так, чтобы x оставался постоянным? Я собрал это вместе, используя добавление скорости, так что от кадра S к S' мы двигаемся вдоль оси x (LT в x), затем от S' к S'', где S'' движется по оси X. направление y (и, следовательно, LT в y). Поскольку LT(S->S')LT(S'->S'') = LT(S->S''), я бы предположил, что моя идея верна.

Ответы (1)

введите описание изображения здесь

Из рисунка 01:

Преобразование Лоренца из С { Икс у η , η "=" с т } к С 1 { Икс 1 у 1 η 1 , η 1 "=" с т 1 }

(01) [ Икс 1 у 1 η 1 ] "=" [ чушь ζ 0 грех ζ 0 1 0 грех ζ 0 чушь ζ ] [ Икс у η ] , танх ζ "=" ты с
или
(01") Икс 1 "=" л 1 Икс , л 1 "=" [ чушь ζ 0 грех ζ 0 1 0 грех ζ 0 чушь ζ ]

введите описание изображения здесь

Из рисунка 02:

Преобразование Лоренца из С 1 { Икс 1 у 1 η 1 , η 1 "=" с т 1 } к С 2 { Икс 2 у 2 η 2 , η 2 "=" с т 2 }

(02) [ Икс 2 у 2 η 2 ] "=" [ 1 0 0 0 чушь ξ грех ξ 0 грех ξ чушь ξ ] [ Икс 1 у 1 η 1 ] , танх ξ "=" ж с
или
(02") Икс 2 "=" л 2 Икс 1 , л 2 "=" [ 1 0 0 0 чушь ξ грех ξ 0 грех ξ чушь ξ ]
Обратите внимание, что из-за стандартных конфигураций матрицы л 1 , л 2 действительно симметричны.

Из уравнений (01) и (02) имеем

(03) Икс 2 "=" л 2 Икс 1 "=" л 2 л 1 Икс Икс 2 "=" Λ Икс
где Λ композиция двух преобразований Лоренца л 1 , л 2
(04) Λ "=" л 2 л 1 "=" [ 1 0 0 0 чушь ξ грех ξ 0 грех ξ чушь ξ ] [ чушь ζ 0 грех ζ 0 1 0 грех ζ 0 чушь ζ ]
то есть
(04") Λ "=" [ чушь ζ 0 грех ζ грех ζ грех ξ чушь ξ чушь ζ грех ξ грех ζ чушь ξ грех ξ чушь ζ чушь ξ ]

Матрица преобразования Лоренца Λ несимметрична, поэтому системы С , С 2 не в стандартной конфигурации. Но можно было бы написать так

(05) Λ "=" р л
где л представляет собой симметричную матрицу преобразования Лоренца из С к промежуточной системе С 2 в стандартной комплектации к нему и совместному переезду с С 2 , пока р является чисто пространственным преобразованием из С 2 к С 2 .

введите описание изображения здесь

Теперь вам нужно найти матрицу преобразования Лоренца. л сначала, а потом доказать, что р является

(06) р "=" [ потому что ф грех ф 0 грех ф потому что ф 0 0 0 1 ] , где загар ф "=" грех ζ грех ξ чушь ζ + чушь ξ , ф е ( π 2 , + π 2 ) 1 1 1 1 1
представляющий плоское вращение из С 2 к С 2 , см. Рисунок 03.


РЕДАКТИРОВАТЬ

Матрица преобразования Лоренца л , от С в промежуточную систему С 2 в стандартной конфигурации к нему, это:

(07) л ( υ ) "=" [ 1 + ( γ υ 1 ) н Икс 2 ( γ υ 1 ) н Икс н у γ υ υ Икс с ( γ υ 1 ) н у н Икс 1 + ( γ υ 1 ) н у 2 γ υ υ у с γ υ υ Икс с γ υ υ у с γ υ ]
В (07)
(08.1) υ "=" ( υ Икс , υ у ) (08.2) н "=" ( н Икс , н у ) "=" υ υ "=" υ υ (08.3) γ υ "=" ( 1 υ 2 с 2 ) 1 2 "=" 1 1 υ 2 с 2
где υ - вектор скорости начала координат О 2 ( О 2 ) в отношении С , н единичный вектор вдоль υ и γ υ соответствующий γ фактор.

Вектор скорости υ можно выразить через быстроты ζ , ξ и поэтому мы могли бы выразить матрицу л как функция от них. Для начала заметим, что вектор скорости υ представляет собой релятивистскую сумму двух ортогональных векторов скорости ты "=" ( ты , 0 ) , ж "=" ( 0 , ж )

(09) υ "=" ты + ж γ ты "=" [ ты , ( 1 ты 2 с 2 ) 1 2 ж ] , γ ты "=" ( 1 ты 2 с 2 ) 1 2
не путать с релятивистской суммой двух коллинеарных векторов скорости, указывающих в одном направлении
(10) υ ты + ж 1 + ты ж с 2
Из (09) имеем
(11.1) υ Икс с "=" ты с "=" танх ζ (11.2) υ у с "=" ж γ ты с "=" танх ξ чушь ζ (11.3) ( υ с ) 2 "=" ( υ Икс с ) 2 + ( υ у с ) 2 "=" 1 ( 1 чушь ζ чушь ξ ) 2 "=" γ υ 2 1 γ υ 2 (11.4) γ υ "=" ( 1 υ 2 с 2 ) 1 2 "=" чушь ζ чушь ξ
и
(12.1) γ υ υ Икс с "=" грех ζ чушь ξ (12.2) γ υ υ у с "=" грех ξ (12.3) 1 + ( γ υ 1 ) н Икс 2 "=" 1 + ( γ υ 1 ) ( υ Икс с ) 2 ( υ с ) 2 "=" 1 + γ υ 2 1 + γ υ танх 2 ζ "=" 1 + грех 2 ζ чушь 2 ξ 1 + чушь ζ чушь ξ (12.4) 1 + ( γ υ 1 ) н у 2 "=" 1 + ( γ υ 1 ) ( υ у с ) 2 ( υ с ) 2 "=" 1 + γ υ 2 1 + γ υ танх 2 ξ чушь 2 ζ "=" 1 + грех 2 ξ 1 + чушь ζ чушь ξ (12,5) ( γ υ 1 ) н Икс н у "=" ( γ υ 1 ) ( υ Икс с ) ( υ у с ) ( υ с ) 2 "=" γ υ 2 1 + γ υ танх ζ танх ξ чушь ζ "=" грех ζ грех ξ чушь ξ 1 + чушь ζ чушь ξ
Итак, матрица л ( υ ) уравнения (07) как функция быстрот ζ , ξ является
(13) л ( υ ) "=" [ 1 + грех 2 ζ чушь 2 ξ 1 + чушь ζ чушь ξ грех ζ грех ξ чушь ξ 1 + чушь ζ чушь ξ грех ζ чушь ξ грех ζ грех ξ чушь ξ 1 + чушь ζ чушь ξ 1 + грех 2 ξ 1 + чушь ζ чушь ξ грех ξ грех ζ чушь ξ грех ξ чушь ζ чушь ξ ]
Теперь, чтобы определить пространственное преобразование р у нас есть от (05)
(14) р "=" Λ л 1
Для л 1 уравнение (07) дает
(15) л 1 "=" л ( υ ) "=" [ 1 + ( γ υ 1 ) н Икс 2 ( γ υ 1 ) н Икс н у γ υ υ Икс с ( γ υ 1 ) н у н Икс 1 + ( γ υ 1 ) н у 2 γ υ υ у с γ υ υ Икс с γ υ υ у с γ υ ]
и из (13)
(16) л 1 "=" [ 1 + грех 2 ζ чушь 2 ξ 1 + чушь ζ чушь ξ грех ζ грех ξ чушь ξ 1 + чушь ζ чушь ξ грех ζ чушь ξ грех ζ грех ξ чушь ξ 1 + чушь ζ чушь ξ 1 + грех 2 ξ 1 + чушь ζ чушь ξ грех ξ грех ζ чушь ξ грех ξ чушь ζ чушь ξ ]
Так
(17) р "=" [ чушь ζ 0 грех ζ грех ζ грех ξ чушь ξ чушь ζ грех ξ грех ζ чушь ξ грех ξ чушь ζ чушь ξ ] [ 1 + грех 2 ζ чушь 2 ξ 1 + чушь ζ чушь ξ грех ζ грех ξ чушь ξ 1 + чушь ζ чушь ξ грех ζ чушь ξ грех ζ грех ξ чушь ξ 1 + чушь ζ чушь ξ 1 + грех 2 ξ 1 + чушь ζ чушь ξ грех ξ грех ζ чушь ξ грех ξ чушь ζ чушь ξ ]
Вышеупомянутое умножение матриц приводит к следующему выражению
(18) р "=" [ чушь ζ + чушь ξ 1 + чушь ζ чушь ξ грех ζ грех ξ 1 + чушь ζ чушь ξ 0 грех ζ грех ξ 1 + чушь ζ чушь ξ чушь ζ + чушь ξ 1 + чушь ζ чушь ξ 0 0 0 1 ]
Но
(19) ( чушь ζ + чушь ξ 1 + чушь ζ чушь ξ ) 2 + ( грех ζ грех ξ 1 + чушь ζ чушь ξ ) 2 "=" 1
поэтому мы можем определить
(20) потому что ф г е ф чушь ζ + чушь ξ 1 + чушь ζ чушь ξ , грех ф "=" грех ζ грех ξ 1 + чушь ζ чушь ξ , ф е ( π 2 , + π 2 )
и наконец
(21) р "=" [ потому что ф грех ф 0 грех ф потому что ф 0 0 0 1 ]
доказывая, что р представляет собой вращение, см. рисунок 03.

это потрясающий ответ! Спасибо за все усилия! Я могу следовать за вами во всем. Я все еще пытаюсь понять, почему происходит вращение (я знаю, что так говорит математика, но что она говорит?). Это потому, что мы пытаемся выровнять ось X по направлению удаления системы S2?
Можно сказать, что для системы С его оси параллельны осям С 1 и наоборот, потому что оси Икс , Икс 1 коллинеарны и у , у 1 нормальны к вектору скорости ты . Это действительно также между системами С 1 , С 2 так как топоры у 1 , у 2 коллинеарны и Икс 1 , Икс 2 нормальны к вектору скорости ж . Но сказать, что С и С 2 двигаются с параллельными осями, это недопустимо, т.к. не имеет смысла.
Это связано с тем, что прямая упирается в систему С 2 наклонно к вектору скорости υ , как его ось Икс 2 например, в любой момент т 2 совокупность одновременных событий в С 2 но не одновременно в С . Таким образом, для С не существует даже прямой линии, образа оси Икс 2 .
Верно. Теперь это имеет смысл. Большое спасибо за все ваши усилия! Я обязательно повторю это еще несколько раз, но это золото!
@Frobenius Привет, не могли бы вы удалить свой предыдущий комментарий, пожалуйста, потому что он не по теме.