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

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

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

Наиболее распространенная форма преобразования, параметризованная действительной константой, представляющей скорость, ограниченную x- направлением, выражается как v , {\ displaystyle v,}

т знак равно γ ( т - v Икс c 2 ) Икс знак равно γ ( Икс - v т ) у знак равно у z знак равно z {\ displaystyle {\ begin {align} t 'amp; = \ gamma \ left (t - {\ frac {vx} {c ^ {2}}} \ right) \\ x' amp; = \ gamma \ left (x- vt \ right) \\ y 'amp; = y \\ z' amp; = z \ end {align}}}

где ( t, x, y, z) и ( t ', x ', y ', z ') - координаты события в двух кадрах, где штрихованный кадр виден из незаштрихованного кадра как движущийся со скоростью v вдоль х оси х, с есть скорость света, а также является фактором Лоренца. Когда скорость v намного меньше, чем c, фактор Лоренца незначительно отличается от 1, но, когда v приближается к c, неограниченно возрастает. Значение v должно быть меньше c, чтобы преобразование имело смысл. γ знак равно ( 1 - v 2 c 2 ) - 1 {\ displaystyle \ gamma = \ textstyle \ left ({\ sqrt {1 - {\ frac {v ^ {2}} {c ^ {2}}}}} \ right) ^ {- 1}} γ {\ displaystyle \ gamma}

Выражая скорость как эквивалентную форму преобразования, β знак равно v c , {\ displaystyle \ beta = {\ frac {v} {c}},}

c т знак равно γ ( c т - β Икс ) Икс знак равно γ ( Икс - β c т ) у знак равно у z знак равно z . {\ Displaystyle {\ begin {align} ct 'amp; = \ gamma \ left (ct- \ beta x \ right) \\ x' amp; = \ gamma \ left (x- \ beta ct \ right) \\ y 'amp; = y \\ z 'amp; = z. \ end {выравнивается}}}

Системы отсчета можно разделить на две группы: инерционные (относительное движение с постоянной скоростью) и неинерционные (ускорение, движение по криволинейным траекториям, вращательное движение с постоянной угловой скоростью и т. Д.). Термин «преобразования Лоренца» относится только к преобразованиям между инерциальными системами отсчета, обычно в контексте специальной теории относительности.

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

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

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

Преобразование Лоренца - линейное преобразование. Это может включать вращение пространства; преобразование Лоренца без вращения называется бустом Лоренца. В пространстве Минковского - математической модели пространства-времени в специальной теории относительности - преобразования Лоренца сохраняют пространственно-временной интервал между любыми двумя событиями. Это свойство является определяющим свойством преобразования Лоренца. Они описывают только преобразования, при которых пространственно-временное событие в начале координат остается фиксированным. Их можно рассматривать как гиперболическое вращение пространства Минковского. Более общий набор преобразований, который также включает переводы, известен как группа Пуанкаре.

СОДЕРЖАНИЕ

  • 1 История
  • 2 Вывод группы преобразований Лоренца
  • 3 Общие
  • 4 Физическая формулировка бустов Лоренца
    • 4.1 Преобразование координат
    • 4.2 Физические последствия
    • 4.3 векторные преобразования
    • 4.4 Преобразование скоростей
    • 4.5 Преобразование других величин
  • 5 Математическая формулировка
    • 5.1. Однородная группа Лоренца.
    • 5.2 Правильные преобразования
      • 5.2.1 Группа Ли SO + (3,1)
      • 5.2.2 Алгебра Ли so (3,1)
    • 5.3 Неправильные преобразования
    • 5.4. Неоднородная группа Лоренца.
  • 6 Тензорная формулировка
    • 6.1 Контравариантные векторы
    • 6.2 Ковариантные векторы
    • 6.3 Тензоры
      • 6.3.1 Преобразование электромагнитного поля
    • 6.4 Спиноры
      • 6.4.1 Преобразование общих полей
  • 7 См. Также
  • 8 Сноски
  • 9 Примечания
  • 10 Ссылки
    • 10.1 Веб-сайты
    • 10.2 Документы
    • 10.3 Книги
  • 11 Дальнейшее чтение
  • 12 Внешние ссылки

История

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

Многие физики, включая Вольдемара Фойгта, Джорджа Фицджеральда, Джозефа Лармора и самого Хендрика Лоренца, обсуждали физику, подразумеваемую этими уравнениями с 1887 года. В начале 1889 года Оливер Хевисайд показал из уравнений Максвелла, что электрическое поле, окружающее сферическое распределение заряд должен перестать иметь сферическую симметрию, когда заряд движется относительно светоносного эфира. Затем Фитцджеральд предположил, что результат об искажении Хевисайда может быть применен к теории межмолекулярных сил. Несколько месяцев спустя Фитцджеральд опубликовал гипотезу о том, что движущиеся тела сжимаются, чтобы объяснить загадочный результат эксперимента Майкельсона и Морли с эфирным ветром 1887 года. В 1892 году Лоренц независимо представил ту же идею в более подробной форме, которая впоследствии была названа гипотезой сжатия Фитцджеральда – Лоренца. Их объяснение было широко известно до 1905 года.

Лоренц (1892–1904) и Лармор (1897–1900), которые верили в гипотезу светоносного эфира, также искали преобразование, при котором уравнения Максвелла инвариантны при преобразовании из эфира в движущуюся систему отсчета. Они расширили гипотезу сжатия Фитцджеральда – Лоренца и обнаружили, что временная координата также должна быть изменена (« местное время »). Анри Пуанкаре дал физическую интерпретацию местного времени (до первого порядка по v / c, относительной скорости двух систем отсчета, нормированной на скорость света) как следствие синхронизации часов, при условии, что скорость света постоянна. в движущихся кадрах. Считается, что Лармор был первым, кто понял решающее свойство замедления времени, присущее его уравнениям.

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

Вывод группы преобразований Лоренца.

Основные статьи: Дифференцирования преобразований Лоренца и группы Лоренца

Событие является то, что происходит в определенной точке в пространстве - времени, или в более общем случае, точка в самом пространстве - времени. В любом инерциальном кадре событие задается временной координатой ct и набором декартовых координат x, y, z, чтобы указать положение в пространстве в этом кадре. Индексы обозначают отдельные события.

Из второго постулата относительности Эйнштейна (инвариантность c ) следует, что:

c 2 ( т 2 - т 1 ) 2 - ( Икс 2 - Икс 1 ) 2 - ( у 2 - у 1 ) 2 - ( z 2 - z 1 ) 2 знак равно 0 (светоподобные отдельные события 1, 2) {\ displaystyle c ^ {2} (t_ {2} -t_ {1}) ^ {2} - (x_ {2} -x_ {1}) ^ {2} - (y_ {2} -y_ {1}) ^ {2} - (z_ {2} -z_ {1}) ^ {2} = 0 \ quad {\ text {(светоподобные отдельные события 1, 2)}}}

 

 

 

 

( D1)

во всех инерциальных системах отсчета событий, связанных световыми сигналами. Величина слева называется пространственно-временным интервалом между событиями a 1 = ( t 1, x 1, y 1, z 1) и a 2 = ( t 2, x 2, y 2, z 2). Интервал между любыми двумя событиями, не обязательно разделенный световыми сигналами, на самом деле инвариантен, т. Е. Не зависит от состояния относительного движения наблюдателей в различных инерциальных системах отсчета, как показано с использованием однородности и изотропии пространства. Таким образом, искомая трансформация должна обладать следующим свойством:

c 2 ( т 2 - т 1 ) 2 - ( Икс 2 - Икс 1 ) 2 - ( у 2 - у 1 ) 2 - ( z 2 - z 1 ) 2 знак равно c 2 ( т 2 - т 1 ) 2 - ( Икс 2 - Икс 1 ) 2 - ( у 2 - у 1 ) 2 - ( z 2 - z 1 ) 2 (все события 1, 2) . {\ displaystyle {\ begin {align} amp; c ^ {2} (t_ {2} -t_ {1}) ^ {2} - (x_ {2} -x_ {1}) ^ {2} - (y_ {2 } -y_ {1}) ^ {2} - (z_ {2} -z_ {1}) ^ {2} \\ [6pt] = {} amp; c ^ {2} (t_ {2} '- t_ {1 } ') ^ {2} - (x_ {2}' - x_ {1} ') ^ {2} - (y_ {2}' - y_ {1} ') ^ {2} - (z_ {2}' -z_ {1} ') ^ {2} \ quad {\ text {(все события 1, 2)}}. \ end {align}}}

 

 

 

 

( D2)

где ( ct, x, y, z) - координаты пространства-времени, используемые для определения событий в одном кадре, а ( ct ′, x ′, y ′, z ′) - координаты в другом кадре. Сначала следует заметить, что (D2) удовлетворяется, если произвольный 4- набор чисел b добавляется к событиям a 1 и a 2. Такие преобразования называются трансляциями пространства-времени и здесь не рассматриваются. Затем можно заметить, что линейное решение, сохраняющее происхождение более простой задачи, решает и общую проблему:

c 2 т 2 - Икс 2 - у 2 - z 2 знак равно c 2 т 2 - Икс 2 - у 2 - z 2 или c 2 т 1 т 2 - Икс 1 Икс 2 - у 1 у 2 - z 1 z 2 знак равно c 2 т 1 т 2 - Икс 1 Икс 2 - у 1 у 2 - z 1 z 2 {\ displaystyle {\ begin {align} amp; c ^ {2} t ^ {2} -x ^ {2} -y ^ {2} -z ^ {2} = c ^ {2} t '^ {2} - x '^ {2} -y' ^ {2} -z '^ {2} \\ [6pt] {\ text {or}} \ quad amp; c ^ {2} t_ {1} t_ {2} -x_ { 1} x_ {2} -y_ {1} y_ {2} -z_ {1} z_ {2} = c ^ {2} t '_ {1} t' _ {2} -x '_ {1} x '_ {2} -y' _ {1} y '_ {2} -z' _ {1} z '_ {2} \ end {выровнено}}}

 

 

 

 

( D3)

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

( а , а ) знак равно ( а , а ) или а а знак равно а а , {\ displaystyle (a, a) = (a ', a') \ quad {\ text {или}} \ quad a \ cdot a = a '\ cdot a',}

 

 

 

 

( D4)

где (,) относится к билинейной форме сигнатуры (1, 3) на R 4, выраженной формулой правой части в (D3). Альтернативное обозначение, определенное справа, называется релятивистским скалярным произведением. Пространство математически рассматриваются как R 4, наделенное этим билинейная форма известна как пространства Минковского M. Таким образом, преобразование Лоренца является элементом группы O (1, 3), группы Лоренца или, для тех, кто предпочитает другую метрическую сигнатуру, O (3, 1) (также называемой группой Лоренца). Надо:

( а , а ) знак равно ( Λ а , Λ а ) знак равно ( а , а ) , Λ О ( 1 , 3 ) , а , а M , {\ displaystyle (a, a) = (\ Lambda a, \ Lambda a) = (a ', a'), \ quad \ Lambda \ in \ mathrm {O} (1,3), \ quad a, a ' \ in M,}

 

 

 

 

( D5)

что является в точности сохранением билинейной формы (D3), из которой следует (в силу линейности Λ и билинейности формы) выполнение (D2). Элементы группы Лоренца вращение и повышает и смесь их. Если включить пространственно-временные трансляции, то получится неоднородная группа Лоренца или группа Пуанкаре.

Общие

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

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

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

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

Физическая формулировка бустов Лоренца

Дополнительная информация: Вывод преобразований Лоренца.

Преобразование координат

Пространственно-временные координаты события, измеренные каждым наблюдателем в своей инерциальной системе отсчета (в стандартной конфигурации), показаны в речевых пузырях. Верхняя часть: рама F ' движется со скоростью V вдоль х оси х кадра F. Внизу: рамка F движется со скоростью - v по оси x ′ системы F ′.

«Стационарный» наблюдатель в кадре F определяет события с координатами t, x, y, z. Другая система F ' движется со скоростью v относительно F, и наблюдатель в этой "движущейся" системе F ' определяет события, используя координаты t ', x ', y ', z '.

Оси координат в каждом кадре параллельны ( оси x и x ′ параллельны, оси y и y ′ параллельны, а оси z и z ′ параллельны), остаются взаимно перпендикулярными, а относительное движение происходит вдоль совпадающего xx ' Оси. При t = t ′ = 0 начала обеих систем координат одинаковы, ( x, y, z) = ( x ′, y ′, z ′) = (0, 0, 0). Другими словами, время и место на этом мероприятии совпадают. Если все это выполняется, то говорят, что системы координат находятся в стандартной конфигурации или синхронизированы.

Если наблюдатель в F записывает событие t, x, y, z, то наблюдатель в F ' записывает то же событие с координатами

Усиление Лоренца ( направление x)
т знак равно γ ( т - v Икс c 2 ) Икс знак равно γ ( Икс - v т ) у знак равно у z знак равно z {\ displaystyle {\ begin {align} t 'amp; = \ gamma \ left (t - {\ frac {vx} {c ^ {2}}} \ right) \\ x' amp; = \ gamma \ left (x- vt \ right) \\ y 'amp; = y \\ z' amp; = z \ end {align}}}

где v - относительная скорость между кадрами в направлении x, c - скорость света, и

γ знак равно 1 1 - v 2 c 2 {\ displaystyle \ gamma = {\ frac {1} {\ sqrt {1 - {\ frac {v ^ {2}} {c ^ {2}}}}}}}

( гамма в нижнем регистре) - это фактор Лоренца.

Здесь v - параметр преобразования, для данного повышения это постоянное число, но может принимать непрерывный диапазон значений. В используемой здесь установке положительная относительная скорость v gt; 0 - это движение вдоль положительных направлений осей xx ′, нулевая относительная скорость v = 0 - отсутствие относительного движения, а отрицательная относительная скорость v lt;0 - относительное движение вдоль отрицательных направлений оси. хе ' ось. Величина относительной скорости v не может быть равной или превышать c, поэтому допустимы только субсветовые скорости - c lt; v lt; c. Соответствующий диапазон γ равен 1 ≤ γ lt;∞.

Преобразования не определены, если v выходит за эти пределы. При скорости света ( v = c) γ бесконечно, а быстрее света ( v gt; c) γ - комплексное число, каждое из которых делает преобразования нефизическими. Координаты пространства и времени являются измеримыми величинами и в числовом виде должны быть действительными числами.

Как активное преобразование, наблюдатель в F 'замечает, что координаты события должны быть "увеличены" в отрицательных направлениях осей xx ' из-за - v в преобразованиях. Это имеет эквивалентный эффект системы координат F ', усиленный в положительных направлениях осей xx ', в то время как событие не изменяется и просто представлено в другой системе координат, пассивное преобразование.

Обратные соотношения ( t, x, y, z через t ′, x ′, y ′, z ′) могут быть найдены путем алгебраического решения исходной системы уравнений. Более эффективный способ - использовать физические принципы. Здесь F ′ - «неподвижная» система отсчета, а F - «подвижная» система отсчета. Согласно принципу относительности, не существует привилегированной системы отсчета, поэтому преобразования из F ' в F должны принимать точно такую ​​же форму, что и преобразования из F в F '. Единственное отличие состоит в том, что F движется со скоростью - v относительно F ′ (т. Е. Относительная скорость имеет ту же величину, но противоположно направлена). Таким образом, если наблюдатель в F ' отмечает событие t ', x ', y ', z ', то наблюдатель в F отмечает то же событие с координатами

Обратное усиление Лоренца ( направление x)
т знак равно γ ( т + v Икс c 2 ) Икс знак равно γ ( Икс + v т ) у знак равно у z знак равно z , {\ displaystyle {\ begin {align} t amp; = \ gamma \ left (t '+ {\ frac {vx'} {c ^ {2}}} \ right) \\ x amp; = \ gamma \ left (x '+ vt '\ right) \\ y amp; = y' \\ z amp; = z ', \ end {align}}}

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

Иногда удобнее использовать β = v / c ( бета в нижнем регистре) вместо v, чтобы

c т знак равно γ ( c т - β Икс ) , Икс знак равно γ ( Икс - β c т ) , {\ Displaystyle {\ begin {align} ct 'amp; = \ gamma \ left (ct- \ beta x \ right) \,, \\ x' amp; = \ gamma \ left (x- \ beta ct \ right) \,, \\\ конец {выровнено}}}

что гораздо яснее показывает симметрию преобразования. Из допустимых диапазонов v и определения β следует −1 lt; β lt;1. Использование β и γ является стандартным во всей литературе.

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

Повышение Лоренца ( направление x с быстротой ζ)
c т знак равно c т шиш ζ - Икс грех ζ Икс знак равно Икс шиш ζ - c т грех ζ у знак равно у z знак равно z {\ displaystyle {\ begin {align} ct 'amp; = ct \ cosh \ zeta -x \ sinh \ zeta \\ x' amp; = x \ cosh \ zeta -ct \ sinh \ zeta \\ y 'amp; = y \\ z 'amp; = z \ end {выровнено}}}

где ζ (строчная дзета ) - параметр, называемый быстротой (используется много других символов, включая θ, ϕ, φ, η, ψ, ξ). Учитывая сильное сходство с вращениями пространственных координат в трехмерном пространстве в декартовых плоскостях xy, yz и zx, повышение Лоренца можно рассматривать как гиперболическое вращение пространственно-временных координат в декартовых временных плоскостях xt, yt и zt. 4d пространство Минковского. Параметр ζ - это гиперболический угол поворота, аналогичный обычному углу для круговых вращений. Это преобразование можно проиллюстрировать диаграммой Минковского.

Гиперболические функции возникают из разницы между квадратами времени и пространственных координат в пространственно-временном интервале, а не из суммы. Геометрическое значение гиперболических функций можно визуализировать, взяв в преобразованиях x = 0 или ct = 0. Возводя в квадрат и вычитая результаты, можно получить гиперболические кривые с постоянными значениями координат, но с изменением ζ, что параметризует кривые в соответствии с тождеством

шиш 2 ζ - грех 2 ζ знак равно 1 . {\ displaystyle \ cosh ^ {2} \ zeta - \ sinh ^ {2} \ zeta = 1 \,.}

И наоборот, оси ct и x могут быть построены для различных координат, но постоянного ζ. Определение

танх ζ знак равно грех ζ шиш ζ , {\ Displaystyle \ tanh \ zeta = {\ frac {\ sinh \ zeta} {\ cosh \ zeta}} \,,}

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

шиш ζ знак равно 1 1 - танх 2 ζ . {\ displaystyle \ cosh \ zeta = {\ frac {1} {\ sqrt {1- \ tanh ^ {2} \ zeta}}} \,.}

Сравнивая преобразования Лоренца по относительной скорости и быстроте или используя приведенные выше формулы, можно увидеть, что связи между β, γ и ζ равны

β знак равно танх ζ , γ знак равно шиш ζ , β γ знак равно грех ζ . {\ Displaystyle {\ begin {align} \ beta amp; = \ tanh \ zeta \,, \\\ gamma amp; = \ cosh \ zeta \,, \\\ beta \ gamma amp; = \ sinh \ zeta \,. \ end {выровнено}}}

Взятие обратного гиперболического тангенса дает быстроту

ζ знак равно танх - 1 β . {\ displaystyle \ zeta = \ tanh ^ {- 1} \ beta \,.}

Поскольку −1 lt; β lt;1, следует −∞ lt; ζ lt;∞. Из соотношения между ζ и β положительная скорость ζ gt; 0 - это движение вдоль положительных направлений осей xx ′, нулевая скорость ζ = 0 - отсутствие относительного движения, а отрицательная скорость ζ lt;0 - относительное движение вдоль отрицательных направлений оси. xx ′ оси.

Обратные преобразования получаются путем обмена величинами со штрихом и без штриха для переключения системы координат и отрицания скорости ζ → - ζ, поскольку это эквивалентно отрицанию относительной скорости. Следовательно,

Обратное усиление Лоренца ( направление x с быстротой ζ)
c т знак равно c т шиш ζ + Икс грех ζ Икс знак равно Икс шиш ζ + c т грех ζ у знак равно у z знак равно z {\ displaystyle {\ begin {align} ct amp; = ct '\ cosh \ zeta + x' \ sinh \ zeta \\ x amp; = x '\ cosh \ zeta + ct' \ sinh \ zeta \\ y amp; = y '\\ z amp; = z '\ end {выровнено}}}

Обратные преобразования можно визуализировать аналогично, рассматривая случаи, когда x ′ = 0 и ct ′ = 0.

До сих пор преобразования Лоренца применялись к одному событию. Если есть два события, между ними существует пространственное разделение и временной интервал. Из линейности преобразований Лоренца следует, что можно выбрать два значения пространственных и временных координат, к каждому можно применить преобразования Лоренца, а затем вычесть их, чтобы получить преобразования Лоренца разностей;

Δ т знак равно γ ( Δ т - v Δ Икс c 2 ) , Δ Икс знак равно γ ( Δ Икс - v Δ т ) , {\ displaystyle {\ begin {align} \ Delta t 'amp; = \ gamma \ left (\ Delta t - {\ frac {v \, \ Delta x} {c ^ {2}}} \ right) \,, \ \\ Delta x 'amp; = \ gamma \ left (\ Delta xv \, \ Delta t \ right) \,, \ end {выровнено}}}

с обратными отношениями

Δ т знак равно γ ( Δ т + v Δ Икс c 2 ) , Δ Икс знак равно γ ( Δ Икс + v Δ т ) . {\ displaystyle {\ begin {align} \ Delta t amp; = \ gamma \ left (\ Delta t '+ {\ frac {v \, \ Delta x'} {c ^ {2}}} \ right) \,, \ \\ Delta x amp; = \ gamma \ left (\ Delta x '+ v \, \ Delta t' \ right) \,. \ End {выравнивается}}}

где Δ ( дельта в верхнем регистре) указывает разницу величин; например, Δ x = x 2 - x 1 для двух значений координат x и так далее.

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

  • в расчетах и ​​экспериментах измеряются или представляют интерес промежутки между двумя точками или временными интервалами (например, длина движущегося транспортного средства или время, необходимое для путешествия из одного места в другое),
  • преобразования скорости можно легко получить, сделав разницу бесконечно малой и разделив уравнения, и повторив процесс для преобразования ускорения,
  • если системы координат никогда не совпадают (т. е. не в стандартной конфигурации), и если оба наблюдателя могут договориться о событии t 0, x 0, y 0, z 0 в F и t 0 ', x 0 ', y 0 ', z 0 ′ в F ′, то они могут использовать это событие в качестве начала координат, а разности пространственно-временных координат - это разности между их координатами и этим началом, например, Δ x = x - x 0, Δ x ′ = x ′ - x 0 ′ и т. д.

Физические последствия

Критическим требованием преобразований Лоренца является неизменность скорости света, факт, используемый при их выводе и содержащийся в самих преобразованиях. Если в F уравнение для импульса света вдоль направления x имеет вид x = ct, то в F ′ преобразования Лоренца дают x ′ = ct ′, и наоборот, для любого - c lt; v lt; c.

Для относительных скоростей, намного меньших скорости света, преобразования Лоренца сводятся к преобразованию Галилея

т т Икс Икс - v т {\ Displaystyle {\ begin {выровнено} т 'amp; \ приблизительно т \\ х' amp; \ приблизительно x-vt \ конец {выровнено}}}

в соответствии с принципом соответствия. Иногда говорят, что нерелятивистская физика - это физика «мгновенного действия на расстоянии».

Три противоречивых, но верных предсказания преобразований таковы:

Относительность одновременности
Предположим, что два события происходят одновременно ( Δ t = 0) вдоль оси x, но разделены ненулевым смещением Δ x. Затем в F ' мы находим это, так что события больше не являются одновременными согласно движущемуся наблюдателю. Δ т знак равно γ - v Δ Икс c 2 {\ displaystyle \ Delta t '= \ gamma {\ frac {-v \, \ Delta x} {c ^ {2}}}}
Замедление времени
Предположим, что в F покоятся часы. Если временной интервал измеряется в той же точке в этом кадре, так что Δ x = 0, то преобразования дают этот интервал в F ′ как Δ t ′ = γ Δ t. Наоборот, предположим, что в F ′ находятся часы в состоянии покоя. Если интервал измеряется в той же точке в этой системе отсчета, так что Δ x ′ = 0, то преобразования дают этот интервал в F как Δ t = γ Δ t ′. В любом случае каждый наблюдатель измеряет временной интервал между тактами движущихся часов, чтобы он был на коэффициент γ длиннее, чем временной интервал между тактами его собственных часов.
Уменьшение длины
Предположим, что в F неподвижен стержень, выровненный вдоль оси x, длиной Δ x. В F ' стержень движется со скоростью - v, поэтому его длину необходимо измерить, выполнив два одновременных ( Δ t ′ = 0) измерения на противоположных концах. В этих условиях обратное преобразование Лоренца показывает, что Δ x = γ Δ x '. Не в F два измерения больше не одновременное, но это не имеет значения, потому что стержень находится в состоянии покоя в F. Таким образом, каждый наблюдатель измеряет расстояние между концами движущегося стержня, чтобы оно было короче в 1 / γ раз, чем концы идентичного стержня, покоящегося в его собственной системе отсчета. Сокращение длины влияет на любую геометрическую величину, связанную с длиной, поэтому с точки зрения движущегося наблюдателя области и объемы также будут казаться сжимающимися в направлении движения.

Векторные преобразования

Дополнительная информация: евклидовы векторные и векторные проекции Наблюдатель в системе F наблюдает, как F ' движется со скоростью v, а F ' наблюдает, как F движется со скоростью - v. Оси координат каждого кадра по-прежнему параллельны и ортогональны. Вектор положения, измеренный в каждом кадре, разбивается на компоненты, параллельные и перпендикулярные вектору относительной скорости v. Слева: стандартная конфигурация. Справа: обратная конфигурация.

Использование векторов позволяет компактно выражать положения и скорости в произвольных направлениях. Однократное ускорение в любом направлении зависит от полного вектора относительной скорости v с величиной | v | = v, которое не может быть равным или превосходящим c, так что 0 ≤ v lt; c.

Меняются только время и координаты, параллельные направлению относительного движения, а перпендикулярные - нет. Имея это в виду, разделите вектор пространственного положения r, измеренный в F, и r ′, измеренный в F ′, каждый на компоненты, перпендикулярные (⊥) и параллельные (‖) к v,

р знак равно р + р , р знак равно р + р , {\ Displaystyle \ mathbf {r} = \ mathbf {r} _ {\ perp} + \ mathbf {r} _ {\ |} \,, \ quad \ mathbf {r} '= \ mathbf {r} _ {\ перп} '+ \ mathbf {r} _ {\ |}' \,,}

то преобразования

т знак равно γ ( т - р v c 2 ) р знак равно γ ( р - v т ) р знак равно р {\ displaystyle {\ begin {align} t 'amp; = \ gamma \ left (t - {\ frac {\ mathbf {r} _ {\ parallel} \ cdot \ mathbf {v}} {c ^ {2}}} \ right) \\\ mathbf {r} _ {\ |} 'amp; = \ gamma (\ mathbf {r} _ {\ |} - \ mathbf {v} t) \\\ mathbf {r} _ {\ perp } 'amp; = \ mathbf {r} _ {\ perp} \ end {выровнено}}}

где - скалярное произведение. Фактор Лоренца γ сохраняет свое определение для ускорения в любом направлении, поскольку он зависит только от величины относительной скорости. Некоторые авторы также используют определение β = v / c с величиной 0 ≤ β lt;1.

Вводя единичный вектор n = v / v = β / β в направлении относительного движения, относительная скорость равна v = v n с величиной v и направлением n, а проекция и отклонение вектора дают соответственно

р знак равно ( р п ) п , р знак равно р - ( р п ) п {\ Displaystyle \ mathbf {r} _ {\ parallel} = (\ mathbf {r} \ cdot \ mathbf {n}) \ mathbf {n} \,, \ quad \ mathbf {r} _ {\ perp} = \ mathbf {r} - (\ mathbf {r} \ cdot \ mathbf {n}) \ mathbf {n}}

Накопление результатов дает полные преобразования,

Повышение Лоренца ( в направлении n с величиной v)

т знак равно γ ( т - v п р c 2 ) , р знак равно р + ( γ - 1 ) ( р п ) п - γ т v п . {\ displaystyle {\ begin {align} t 'amp; = \ gamma \ left (t - {\ frac {v \ mathbf {n} \ cdot \ mathbf {r}} {c ^ {2}}} \ right) \,, \\\ mathbf {r} 'amp; = \ mathbf {r} + (\ gamma -1) (\ mathbf {r} \ cdot \ mathbf {n}) \ mathbf {n} - \ gamma tv \ mathbf { п} \,. \ конец {выровнено}}}

Проекция и отклонение также применимы к r '. Для обратных преобразований поменяйте местами r и r ′, чтобы переключить наблюдаемые координаты, и отмените относительную скорость v → - v (или просто единичный вектор n → - n, поскольку величина v всегда положительна), чтобы получить

Обратное усиление Лоренца ( в направлении n с величиной v)

т знак равно γ ( т + р v п c 2 ) , р знак равно р + ( γ - 1 ) ( р п ) п + γ т v п , {\ displaystyle {\ begin {align} t amp; = \ gamma \ left (t '+ {\ frac {\ mathbf {r}' \ cdot v \ mathbf {n}} {c ^ {2}}} \ right) \,, \\\ mathbf {r} amp; = \ mathbf {r} '+ (\ gamma -1) (\ mathbf {r}' \ cdot \ mathbf {n}) \ mathbf {n} + \ gamma t'v \ mathbf {п} \,, \ конец {выровнено}}}

Единичный вектор имеет то преимущество, что упрощает уравнения для одиночного повышения, позволяет восстановить либо v, либо β, когда это удобно, а параметризация быстродействия сразу же получается путем замены β и βγ. Это не удобно для многократных бустов.

Векторное соотношение между относительной скоростью и быстротой:

β знак равно β п знак равно п танх ζ , {\ displaystyle {\ boldsymbol {\ beta}} = \ beta \ mathbf {n} = \ mathbf {n} \ tanh \ zeta \,,}

а «вектор быстроты» можно определить как

ζ знак равно ζ п знак равно п танх - 1 β , {\ Displaystyle {\ boldsymbol {\ zeta}} = \ zeta \ mathbf {n} = \ mathbf {n} \ tanh ^ {- 1} \ beta \,,}

каждый из которых служит полезным сокращением в некоторых контекстах. Величина ζ - это абсолютное значение скаляра быстроты, ограниченное 0 ≤ ζ lt;∞, что согласуется с диапазоном 0 ≤ β lt;1.

Преобразование скоростей

Дополнительная информация: дифференциал функции и формула сложения скорости Преобразование скоростей дает определение релятивистского сложения скоростей ⊕, порядок векторов выбирается так, чтобы отражать порядок сложения скоростей; сначала v (скорость F 'относительно F), затем u ' (скорость X относительно F '), чтобы получить u = v ⊕ u ' (скорость X относительно F).

Определение координатных скоростей и фактора Лоренца с помощью

ты знак равно d р d т , ты знак равно d р d т , γ v знак равно 1 1 - v v c 2 {\ displaystyle \ mathbf {u} = {\ frac {d \ mathbf {r}} {dt}} \,, \ quad \ mathbf {u} '= {\ frac {d \ mathbf {r}'} {dt '}} \,, \ quad \ gamma _ {\ mathbf {v}} = {\ frac {1} {\ sqrt {1 - {\ dfrac {\ mathbf {v} \ cdot \ mathbf {v}} {c ^ {2}}}}}}}

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

ты знак равно 1 1 - v ты c 2 [ ты γ v - v + 1 c 2 γ v γ v + 1 ( ты v ) v ] {\ displaystyle \ mathbf {u} '= {\ frac {1} {1 - {\ frac {\ mathbf {v} \ cdot \ mathbf {u}} {c ^ {2}}}}} \ left [{ \ frac {\ mathbf {u}} {\ gamma _ {\ mathbf {v}}}} - \ mathbf {v} + {\ frac {1} {c ^ {2}}} {\ frac {\ gamma _ {\ mathbf {v}}} {\ gamma _ {\ mathbf {v}} +1}} \ left (\ mathbf {u} \ cdot \ mathbf {v} \ right) \ mathbf {v} \ right]}

Скорости u и u ′ - это скорость некоторого массивного объекта. Они также могут быть для третьей инерциальной системы отсчета (скажем, F ′ ′), и в этом случае они должны быть постоянными. Обозначим любую сущность через X. Тогда X движется со скоростью u относительно F или, что эквивалентно, со скоростью u ′ относительно F ′, в свою очередь F ′ движется со скоростью v относительно F. Обратные преобразования могут быть получены аналогичным образом: или, как с координатами положения, поменяйте местами u и u ′ и измените v на - v.

Преобразование скорости полезно при звездной аберрации, эксперименте Физо и релятивистском эффекте Доплера.

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

Преобразование других величин

В общем, для четырех величин A и Z = ( Z x, Z y, Z z) и их лоренц-бустированных аналогов A ′ и Z ′ = ( Z ′ x, Z ′ y, Z ′ z) соотношение форма

А 2 - Z Z знак равно А 2 - Z Z {\ displaystyle A ^ {2} - \ mathbf {Z} \ cdot \ mathbf {Z} = {A '} ^ {2} - \ mathbf {Z}' \ cdot \ mathbf {Z} '}

подразумевает преобразование величин при преобразованиях Лоренца аналогично преобразованию координат пространства-времени;

А знак равно γ ( А - v п Z c ) , Z знак равно Z + ( γ - 1 ) ( Z п ) п - γ А v п c . {\ displaystyle {\ begin {align} A 'amp; = \ gamma \ left (A - {\ frac {v \ mathbf {n} \ cdot \ mathbf {Z}} {c}} \ right) \,, \\ \ mathbf {Z} 'amp; = \ mathbf {Z} + (\ gamma -1) (\ mathbf {Z} \ cdot \ mathbf {n}) \ mathbf {n} - {\ frac {\ gamma Av \ mathbf { п}} {с}} \,. \ end {выровнено}}}

Разложение Z (и Z ′) на компоненты, перпендикулярные и параллельные v, точно такое же, как и для вектора положения, как и процесс получения обратных преобразований (обмен ( A, Z) и ( A ′, Z ′) для переключения наблюдаемых величин и изменения направления относительного движения путем замены n ↦ - n).

Величины ( A, Z) вместе составляют четырехвектор, где A - «времениподобный компонент», а Z - «пространственноподобный компонент». Примеры A и Z следующие:

Четыре вектора А Z
Положение четырехвекторное Время (умноженное на c), ct Вектор положения, r
Четыре импульса Энергия (деленная на c), E / c Импульс, p
Четырехволновой вектор угловая частота (деленная на c), ω / c волновой вектор, k
Четыре вращения (Без имени), с т Спин, с
Четыре текущих Плотность заряда (умноженная на c), ρc Плотность тока, Дж
Электромагнитный четырехпотенциал Электрический потенциал (деленный на c), φ / c Магнитно-векторный потенциал, А

Для данного объекта (например, частицы, жидкости, поля, материала), если A или Z соответствуют свойствам, специфичным для объекта, таким как его плотность заряда, массовая плотность, вращение и т. Д., Его свойства могут быть зафиксированы в системе покоя этот объект. Тогда преобразования Лоренца придают соответствующие свойства в системе отсчета, движущейся относительно объекта с постоянной скоростью. Это разрушает некоторые представления, которые считаются само собой разумеющимися в нерелятивистской физике. Например, энергия E объекта является скаляром в нерелятивистской механике, но не в релятивистской механике, потому что энергия изменяется при преобразованиях Лоренца; его значение различно для разных инерциальных систем. В системе покоя объект имеет энергию покоя и нулевой импульс. В усиленной рамке его энергия отличается, и кажется, что он имеет импульс. Точно так же в нерелятивистской квантовой механике спин частицы является постоянным вектором, но в релятивистской квантовой механике спин s зависит от относительного движения. В системе покоя частицы спиновой псевдовектор может быть зафиксирован как ее обычный нерелятивистский спин с нулевой времяподобной величиной s t, однако усиленный наблюдатель будет воспринимать ненулевую времениподобную компоненту и измененный спин.

Не все величины инвариантны в форме, как показано выше, например, орбитальный угловой момент L не имеет количество времениподобную, и ни один не делает электрическое поле Е, ни магнитного поля B. Угловой момент определяется как L = r × p, а в усиленной системе отсчета измененный угловой момент равен L ′ = r ′ × p ′. Применение этого определения с использованием преобразований координат и импульса приводит к преобразованию углового момента. Оказывается, L преобразуется с другой векторной величиной N = ( E / c 2) r - t p, связанной с ускорениями, подробности см. В релятивистском угловом моменте. В случае полей E и B преобразования не могут быть получены напрямую с использованием векторной алгебры. Сила Лоренца является определением этих полей, и в F это F = q ( E + v × B), а в F ′ это F ′ = q ( E ′ + v ′ × B ′). Метод получения преобразований электромагнитного поля эффективным способом, который также иллюстрирует единицу электромагнитного поля, использует тензорную алгебру, представленную ниже.

Математическая формулировка

Основная статья: группа Лоренца Дополнительная информация: Матрица (математика), матричное произведение, линейная алгебра и формализмы вращения в трех измерениях.

Повсюду, выделенные курсивом не полужирные заглавные буквы обозначают матрицы 4 × 4, а жирные не курсивные буквы - матрицы 3 × 3.

Однородная группа Лоренца

Запись координат в векторах-столбцах и метрики Минковского η в виде квадратной матрицы

Икс знак равно [ c т Икс у z ] , η знак равно [ - 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 ] , Икс знак равно [ c т Икс у z ] {\ Displaystyle X '= {\ begin {bmatrix} c \, t' \\ x '\\ y' \\ z '\ end {bmatrix}} \,, \ quad \ eta = {\ begin {bmatrix} - 1 amp; 0 amp; 0 amp; 0 \\ 0 amp; 1 amp; 0 amp; 0 \\ 0 amp; 0 amp; 1 amp; 0 \\ 0 amp; 0 amp; 0 amp; 1 \ end {bmatrix}} \,, \ quad X = {\ begin {bmatrix} c \, t \\ x \\ y \\ z \ end {bmatrix}}}

интервал пространства-времени принимает форму (T означает транспонирование )

Икс Икс знак равно Икс Т η Икс знак равно Икс Т η Икс {\ Displaystyle X \ cdot X = X ^ {\ mathrm {T}} \ eta X = {X '} ^ {\ mathrm {T}} \ eta {X'}}

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

Икс знак равно Λ Икс {\ displaystyle X '= \ Lambda X}

где Λ - квадратная матрица, которая может зависеть от параметров.

Обозначено множество всех преобразований Лоренца Λ в этой статье. Этот набор вместе с умножением матриц образует группу, в этом контексте известную как группа Лоренца. Кроме того, указанное выше выражение X X является квадратичной формой сигнатуры (3,1) в пространстве-времени, а группа преобразований, которая оставляет эту квадратичную форму инвариантной, является неопределенной ортогональной группой O (3,1), группой Ли. Другими словами, группа Лоренца - это O (3,1). Как представлено в этой статье, любые упомянутые группы Ли являются матричными группами Ли. В этом контексте операция композиции сводится к умножению матриц. L {\ Displaystyle {\ mathcal {L}}}

Из инвариантности пространственно-временного интервала следует

η знак равно Λ Т η Λ {\ displaystyle \ eta = \ Lambda ^ {\ mathrm {T}} \ eta \ Lambda}

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

[ Det ( Λ ) ] 2 знак равно 1 Det ( Λ ) знак равно ± 1 {\ Displaystyle [\ Det (\ Lambda)] ^ {2} = 1 \ quad \ Rightarrow \ quad \ det (\ Lambda) = \ pm 1}

Записывая метрику Минковского в виде блочной матрицы и преобразование Лоренца в самом общем виде,

η знак равно [ - 1 0 0 я ] , Λ знак равно [ Γ - а Т - б M ] , {\ displaystyle \ eta = {\ begin {bmatrix} -1 amp; 0 \\ 0 amp; \ mathbf {I} \ end {bmatrix}} \,, \ quad \ Lambda = {\ begin {bmatrix} \ Gamma amp; - \ mathbf {a } ^ {\ mathrm {T}} \\ - \ mathbf {b} amp; \ mathbf {M} \ end {bmatrix}} \,,}

выполнение блочного умножения матриц дает общие условия на Γ, a, b, M для обеспечения релятивистской инвариантности. Непосредственно из всех условий можно извлечь не так много информации, однако один из результатов

Γ 2 знак равно 1 + б Т б {\ Displaystyle \ Gamma ^ {2} = 1 + \ mathbf {b} ^ {\ mathrm {T}} \ mathbf {b}}

Полезно; b Tb ≥ 0 всегда, поэтому

Γ 2 1 Γ - 1 , Γ 1 {\ Displaystyle \ Gamma ^ {2} \ geq 1 \ quad \ Rightarrow \ quad \ Gamma \ leq -1 \,, \ quad \ Gamma \ geq 1}

Отрицательное неравенство может быть неожиданным, потому что Γ умножает временную координату, и это влияет на временную симметрию. Если выполнено положительное равенство, то Γ - фактор Лоренца.

Детерминант и неравенство обеспечивают четыре способа для классификации л orentz Т ransformations ( в данном описании LT с для краткости). Любая конкретная LT имеет только один детерминантный знак и одно неравенство. Есть четыре набора, которые включают в себя каждую возможную пару, заданную пересечениями (символ в форме «n», означающий «и») этих классифицирующих наборов.

Пересечение, ∩ Антихронные (или неортохронные) LT
L знак равно { Λ : Γ - 1 } {\ Displaystyle {\ mathcal {L}} ^ {\ downarrow} = \ {\ Lambda \,: \, \ Gamma \ leq -1 \}}
Ортохронные LT
L знак равно { Λ : Γ 1 } {\ Displaystyle {\ mathcal {L}} ^ {\ uparrow} = \ {\ Lambda \,: \, \ Gamma \ geq 1 \}}
Правильные LT
L + знак равно { Λ : Det ( Λ ) знак равно + 1 } {\ Displaystyle {\ mathcal {L}} _ {+} = \ {\ Lambda \,: \, \ det (\ Lambda) = + 1 \}}
Правильное antichronous ЛЦ
L + знак равно L + L {\ displaystyle {\ mathcal {L}} _ {+} ^ {\ downarrow} = {\ mathcal {L}} _ {+} \ cap {\ mathcal {L}} ^ {\ downarrow}}
Правильные ортохронные LT
L + знак равно L + L {\ displaystyle {\ mathcal {L}} _ {+} ^ {\ uparrow} = {\ mathcal {L}} _ {+} \ cap {\ mathcal {L}} ^ {\ uparrow}}
Неправильные LT
L - знак равно { Λ : Det ( Λ ) знак равно - 1 } {\ Displaystyle {\ mathcal {L}} _ {-} = \ {\ Lambda \,: \, \ det (\ Lambda) = - 1 \}}
Неправомерное antichronous ЛЦ
L - знак равно L - L {\ displaystyle {\ mathcal {L}} _ {-} ^ {\ downarrow} = {\ mathcal {L}} _ {-} \ cap {\ mathcal {L}} ^ {\ downarrow}}
Неправильные ортохронные LT
L - знак равно L - L {\ displaystyle {\ mathcal {L}} _ {-} ^ {\ uparrow} = {\ mathcal {L}} _ {-} \ cap {\ mathcal {L}} ^ {\ uparrow}}

где «+» и «-» обозначают знак определителя, а «↑» для ≥ и «↓» для ≤ обозначают неравенства.

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

L знак равно L + L - L + L - {\ displaystyle {\ mathcal {L}} = {\ mathcal {L}} _ {+} ^ {\ uparrow} \ cup {\ mathcal {L}} _ {-} ^ {\ uparrow} \ cup {\ mathcal {L}} _ {+} ^ {\ downarrow} \ cup {\ mathcal {L}} _ {-} ^ {\ downarrow}}

Подгруппа группы должна быть закрыта в соответствии с той же самой операцией группы (здесь умножения матриц). Другими словами, для двух преобразований Лоренца Л и L из определенного набора, составного преобразования Лоренца Λ L и L Λ должен быть в том же множестве, как Л и L. Это не всегда так: композиция двух антихронных преобразований Лоренца ортохронна, а композиция двух несобственных преобразований Лоренца правильна. Другими словами, в то время как наборы,,, и все формы подгруппы, наборы, содержащие неправильные и / или antichronous преобразований без достаточного количества собственных ортохронных преобразований (например,,) не образуют подгруппы. L + {\ displaystyle {\ mathcal {L}} _ {+} ^ {\ uparrow}} L + {\ displaystyle {\ mathcal {L}} _ {+}} L {\ displaystyle {\ mathcal {L}} ^ {\ uparrow}} L 0 знак равно L + L - {\ displaystyle {\ mathcal {L}} _ {0} = {\ mathcal {L}} _ {+} ^ {\ uparrow} \ cup {\ mathcal {L}} _ {-} ^ {\ downarrow}} L + {\ displaystyle {\ mathcal {L}} _ {+} ^ {\ downarrow}} L - {\ displaystyle {\ mathcal {L}} _ {-} ^ {\ downarrow}} L - {\ displaystyle {\ mathcal {L}} _ {-} ^ {\ uparrow}}

Правильные преобразования

Если ковариантный 4-вектор Лоренца измеряется в одной инерциальной системе отсчета с результатом, и такое же измерение, выполненное в другой инерциальной системе отсчета (с той же ориентацией и началом координат), дает результат, два результата будут связаны соотношением Икс {\ displaystyle X} Икс {\ displaystyle X '}

Икс знак равно B ( v ) Икс {\ Displaystyle X '= В (\ mathbf {v}) X}

где матрица усиления представляет преобразование Лоренца между кадрами без штриха и кадра со штрихом, а скорость кадра со штрихом, как видно из кадра без штриха. Матрица имеет вид B ( v ) {\ Displaystyle Б (\ mathbf {v})} v {\ displaystyle \ mathbf {v}}

B ( v ) знак равно [ γ - γ v Икс / c - γ v у / c - γ v z / c - γ v Икс / c 1 + ( γ - 1 ) v Икс 2 v 2 ( γ - 1 ) v Икс v у v 2 ( γ - 1 ) v Икс v z v 2 - γ v у / c ( γ - 1 ) v у v Икс v 2 1 + ( γ - 1 ) v у 2 v 2 ( γ - 1 ) v у v z v 2 - γ v z / c ( γ - 1 ) v z v Икс v 2 ( γ - 1 ) v z v у v 2 1 + ( γ - 1 ) v z 2 v 2 ] , {\ Displaystyle B (\ mathbf {v}) = {\ begin {bmatrix} \ gamma amp; - \ gamma v_ {x} / c amp; - \ gamma v_ {y} / c amp; - \ gamma v_ {z} / c \\ - \ gamma v_ {x} / c amp; 1 + (\ gamma -1) {\ dfrac {v_ {x} ^ {2}} {v ^ {2}}} amp; (\ gamma -1) {\ dfrac {v_ {x } v_ {y}} {v ^ {2}}} amp; (\ gamma -1) {\ dfrac {v_ {x} v_ {z}} {v ^ {2}}} \\ - \ gamma v_ {y } / c amp; (\ gamma -1) {\ dfrac {v_ {y} v_ {x}} {v ^ {2}}} amp; 1 + (\ gamma -1) {\ dfrac {v_ {y} ^ {2}} {v ^ {2}}} amp; (\ gamma -1) {\ dfrac {v_ {y} v_ {z}} {v ^ {2}}} \\ - \ gamma v_ {z} / c amp; (\ gamma -1) {\ dfrac {v_ {z} v_ {x}} {v ^ {2}}} amp; (\ gamma -1) {\ dfrac {v_ {z} v_ {y}} {v ^ {2} }} amp; 1 + (\ gamma -1) {\ dfrac {v_ {z} ^ {2}} {v ^ {2}}} \ end {bmatrix}},}

где - величина скорости, - фактор Лоренца. Эта формула представляет собой пассивное преобразование, поскольку она описывает, как координаты измеряемой величины изменяются от кадра без штриховки к кадру со штрихом. Активное преобразование определяется как. v знак равно v Икс 2 + v у 2 + v z 2 {\ displaystyle v = {\ sqrt {v_ {x} ^ {2} + v_ {y} ^ {2} + v_ {z} ^ {2}}}} γ знак равно 1 1 - v 2 c 2 {\ displaystyle \ gamma = {\ frac {1} {\ sqrt {1 - {\ frac {v ^ {2}} {c ^ {2}}}}}}} B ( - v ) {\ Displaystyle В (- \ mathbf {v})}

Если кадр F ' увеличивается со скоростью u относительно кадра F, а другой кадр F ' ' увеличивается со скоростью v относительно F ', отдельные повышения

Икс знак равно B ( v ) Икс , Икс знак равно B ( ты ) Икс {\ Displaystyle X '' = B (\ mathbf {v}) X '\,, \ quad X' = B (\ mathbf {u}) X}

а композиция двух бустов соединяет координаты в F ′ ′ и F,

Икс знак равно B ( v ) B ( ты ) Икс . {\ Displaystyle X '' = В (\ mathbf {v}) B (\ mathbf {u}) X \,.}

Слева действуют последовательные преобразования. Если у и v имеют коллинеарны (параллельно или антипараллельно по той же линии относительного движения), матрицы наддува коммутируют : В ( V) В ( у) = B ( U) В ( V). Это составное преобразование оказывается еще одним усилением, B ( w), где w коллинеарно с u и v.

Если u и v не лежат на одной прямой, а направлены в разные стороны, ситуация значительно усложняется. Повышения Лоренца в разных направлениях не коммутируют: B ( v) B ( u) и B ( u) B ( v) не равны. Кроме того, каждая из этих композиций не является одиночным усилением, но они по-прежнему являются преобразованиями Лоренца, каждая из которых сохраняет пространственно-временной интервал. Оказывается, композиция любых двух повышений Лоренца эквивалентна усилению, за которым следует или которому предшествует поворот пространственных координат в форме R ( ρ) B ( w) или B ( w) R ( ρ). Ш и ш являются композиционные скорости, в то время как ρ и ρ являются параметрами вращения (например, ось-угловые переменные, углы Эйлера и т.д.). Вращение в форме блочной матрицы просто

р ( ρ ) знак равно [ 1 0 0 р ( ρ ) ] , {\ displaystyle \ quad R ({\ boldsymbol {\ rho}}) = {\ begin {bmatrix} 1 amp; 0 \\ 0 amp; \ mathbf {R} ({\ boldsymbol {\ rho}}) \ end {bmatrix}} \,,}

где R ( ρ) - это трехмерная матрица вращения, которая вращает любой трехмерный вектор в одном смысле (активное преобразование) или, что эквивалентно, систему координат в противоположном смысле (пассивное преобразование). Это не просто соединить ж и ρ (или ш и ρ) для исходных параметров наддува у и v. В составе бустов матрица R называется вращением Вигнера и порождает прецессию Томаса. В этих статьях даются явные формулы для составных матриц преобразования, включая выражения для w, ρ, w, ρ.

В этой статье для ρ используется ось-угол. Вращение происходит вокруг оси в направлении единичного вектора e на угол θ (положительный против часовой стрелки, отрицательный по часовой стрелке согласно правилу правой руки ). "Вектор ось-угол"

θ знак равно θ е {\ displaystyle {\ boldsymbol {\ theta}} = \ theta \ mathbf {e}}

будет полезным сокращением.

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

Наиболее общее собственное преобразование Лоренца Λ ( v, θ) включает в себя повышение и вращение вместе и является несимметричной матрицей. В качестве частных случаев Λ ( 0, θ) = R ( θ) и Λ ( v, 0) = B ( v). Явная форма общего преобразования Лоренца громоздка для записи и здесь не приводится. Тем не менее, выражения в замкнутой форме для матриц преобразования будут приведены ниже с использованием теоретико-групповых аргументов. Будет проще использовать параметризацию быстроты для повышения, и в этом случае пишут Λ ( ζ, θ) и B ( ζ).

Группа Ли SO + (3,1)

Набор преобразований

{ B ( ζ ) , р ( θ ) , Λ ( ζ , θ ) } {\ displaystyle \ {B ({\ boldsymbol {\ zeta}}), R ({\ boldsymbol {\ theta}}), \ Lambda ({\ boldsymbol {\ zeta}}, {\ boldsymbol {\ theta}}) \}}

с матричным умножением в качестве операции композиции образует группу, называемую «ограниченной группой Лоренца», и является специальной неопределенной ортогональной группой SO + (3,1). (Знак плюс указывает, что он сохраняет ориентацию временного измерения).

Для простоты взгляните на бесконечно малое усиление Лоренца в направлении x (изучение повышения в любом другом направлении или вращения вокруг любой оси следует идентичной процедуре). Бесконечно малое усиление - это небольшое усиление от тождества, полученное расширением Тейлора матрицы буста до первого порядка около ζ = 0,

B Икс знак равно я + ζ B Икс ζ | ζ знак равно 0 + {\ displaystyle B_ {x} = I + \ zeta \ left. {\ frac {\ partial B_ {x}} {\ partial \ zeta}} \ right | _ {\ zeta = 0} + \ cdots}

где не показанные члены более высокого порядка пренебрежимо малы, потому что ζ мала, а B x - это просто матрица усиления в направлении x. Производная матрицы является матрица производных (из записей, по отношению к одной и той же переменной), и следует понимать производные найдены первые затем оценивали при г = 0,

B Икс ζ | ζ знак равно 0 знак равно - K Икс . {\ displaystyle \ left. {\ frac {\ partial B_ {x}} {\ partial \ zeta}} \ right | _ {\ zeta = 0} = - K_ {x} \,.}

На данный момент K x определяется этим результатом (его значение будет вскоре объяснено). В пределе бесконечного числа бесконечно малых шагов получается конечное преобразование буста в виде матричной экспоненты

B Икс знак равно Lim N ( я - ζ N K Икс ) N знак равно е - ζ K Икс {\ displaystyle B_ {x} = \ lim _ {N \ rightarrow \ infty} \ left (I - {\ frac {\ zeta} {N}} K_ {x} \ right) ^ {N} = e ^ {- \ zeta K_ {x}}}

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

B ( ζ ) знак равно е - ζ K , р ( θ ) знак равно е θ J . {\ Displaystyle B ({\ boldsymbol {\ zeta}}) = e ^ {- {\ boldsymbol {\ zeta}} \ cdot \ mathbf {K}} \,, \ quad R ({\ boldsymbol {\ theta}}) = e ^ {{\ boldsymbol {\ theta}} \ cdot \ mathbf {J}} \,.}

Вектор ось-угол θ и вектор скорости ζ представляют собой шесть непрерывных переменных, которые составляют параметры группы (в этом конкретном представлении), а образующие группы равны K = ( K x, K y, K z) и J = ( J x, J y, J z), каждый вектор матриц с явным видом

K Икс знак равно [ 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 ] , K у знак равно [ 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 ] , K z знак равно [ 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 ] {\ displaystyle K_ {x} = {\ begin {bmatrix} 0 amp; 1 amp; 0 amp; 0 \\ 1 amp; 0 amp; 0 amp; 0 \\ 0 amp; 0 amp; 0 amp; 0 \\ 0 amp; 0 amp; 0 amp; 0 \\\ end {bmatrix}} \,, \ quad K_ {y} = {\ begin {bmatrix} 0 amp; 0 amp; 1 amp; 0 \ \ 0 amp; 0 amp; 0 amp; 0 \\ 1 amp; 0 amp; 0 amp; 0 \\ 0 amp; 0 amp; 0 amp; 0 \ end {bmatrix}} \,, \ quad K_ {z} = {\ begin {bmatrix} 0 amp; 0 amp; 0 amp; 1 \\ 0 amp; 0 amp; 0 amp; 0 \\ 0 amp; 0 amp; 0 amp; 0 \\ 1 amp; 0 amp; 0 amp; 0 \ end {bmatrix}}}
J Икс знак равно [ 0 0 0 0 0 0 0 0 0 0 0 - 1 0 0 1 0 ] , J у знак равно [ 0 0 0 0 0 0 0 1 0 0 0 0 0 - 1 0 0 ] , J z знак равно [ 0 0 0 0 0 0 - 1 0 0 1 0 0 0 0 0 0 ] {\ displaystyle J_ {x} = {\ begin {bmatrix} 0 amp; 0 amp; 0 amp; 0 \\ 0 amp; 0 amp; 0 amp; 0 \\ 0 amp; 0 amp; 0 amp; -1 \\ 0 amp; 0 amp; 1 amp; 0 \\\ end {bmatrix}} \,, \ quad J_ {y} = {\ begin {bmatrix} 0 amp; 0 amp; 0 amp; 0 \\ 0 amp; 0 amp; 0 amp; 1 \\ 0 amp; 0 amp; 0 amp; 0 \\ 0 amp; -1 amp; 0 amp; 0 \ end {bmatrix}} \,, \ quad J_ {z} = {\ begin {bmatrix} 0 amp; 0 amp; 0 amp; 0 \\ 0 amp; 0 amp; -1 amp; 0 \\ 0 amp; 1 amp; 0 amp; 0 \\ 0 amp; 0 amp; 0 amp; 0 \ end }}}

Все они определены аналогично K x выше, хотя знаки минус в генераторах повышения напряжения являются обычными. Физически генераторы группы Лоренца соответствуют важным симметриям в пространстве-времени: J - генераторы вращения, которые соответствуют угловому моменту, а K - генераторы ускорения, которые соответствуют движению системы в пространстве-времени. Производная любой гладкой кривой C ( t) с C (0) = I в группе, зависящей от некоторого параметра группы t по отношению к этому параметру группы, вычисленная при t = 0, служит определением соответствующего генератора группы G, и это отражает бесконечно малую трансформацию вдали от идентичности. Гладкую кривую всегда можно рассматривать как экспоненту, поскольку экспонента всегда будет плавно отображать G обратно в группу через t → exp ( tG) для всех t ; эта кривая снова даст G при дифференцировании при t = 0.

Разлагая экспоненты в их ряды Тейлора, получаем

B ( ζ ) знак равно я - грех ζ ( п K ) + ( шиш ζ - 1 ) ( п K ) 2 {\ Displaystyle B ({\ boldsymbol {\ zeta}}) = I- \ sinh \ zeta (\ mathbf {n} \ cdot \ mathbf {K}) + (\ cosh \ zeta -1) (\ mathbf {n} \ cdot \ mathbf {K}) ^ {2}}
р ( θ ) знак равно я + грех θ ( е J ) + ( 1 - потому что θ ) ( е J ) 2 . {\ Displaystyle R ({\ boldsymbol {\ theta}}) = I + \ sin \ theta (\ mathbf {e} \ cdot \ mathbf {J}) + (1- \ cos \ theta) (\ mathbf {e} \ cdot \ mathbf {J}) ^ {2} \,.}

которые компактно воспроизводят матрицы ускорения и вращения, как указано в предыдущем разделе.

Было заявлено, что общее собственное преобразование Лоренца является продуктом ускорения и вращения. На бесконечно малом уровне продукт

Λ знак равно ( я - ζ K + ) ( я + θ J + ) знак равно ( я + θ J + ) ( я - ζ K + ) знак равно я - ζ K + θ J + {\ displaystyle {\ begin {align} \ Lambda amp; = (I - {\ boldsymbol {\ zeta}} \ cdot \ mathbf {K} + \ cdots) (I + {\ boldsymbol {\ theta}} \ cdot \ mathbf { J} + \ cdots) \\ amp; = (I + {\ boldsymbol {\ theta}} \ cdot \ mathbf {J} + \ cdots) (I - {\ boldsymbol {\ zeta}} \ cdot \ mathbf {K} + \ cdots) \\ amp; = I - {\ boldsymbol {\ zeta}} \ cdot \ mathbf {K} + {\ boldsymbol {\ theta}} \ cdot \ mathbf {J} + \ cdots \ end {align}}}

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

Λ ( ζ , θ ) знак равно е - ζ K + θ J . {\ displaystyle \ Lambda ({\ boldsymbol {\ zeta}}, {\ boldsymbol {\ theta}}) = e ^ {- {\ boldsymbol {\ zeta}} \ cdot \ mathbf {K} + {\ boldsymbol {\ theta}} \ cdot \ mathbf {J}}.}

Верно и обратное, но разложение конечного общего преобразования Лоренца на такие множители нетривиально. Особенно,

е - ζ K + θ J е - ζ K е θ J , {\ displaystyle e ^ {- {\ boldsymbol {\ zeta}} \ cdot \ mathbf {K} + {\ boldsymbol {\ theta}} \ cdot \ mathbf {J}} \ neq e ^ {- {\ boldsymbol {\ zeta}} \ cdot \ mathbf {K}} e ^ {{\ boldsymbol {\ theta}} \ cdot \ mathbf {J}},}

потому что генераторы не работают. Для описания того, как найти факторы общего преобразования Лоренца в терминах повышения и вращения в принципе (это обычно не дает внятного выражения в терминах генераторов J и K), см. Вращение Вигнера. Если, с другой стороны, разложение дано в терминах генераторов, и кто-то хочет найти произведение в терминах генераторов, тогда применима формула Бейкера – Кэмпбелла – Хаусдорфа.

Алгебра Ли so (3,1)

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

V знак равно { ζ K + θ J } {\ Displaystyle В = \ {{\ boldsymbol {\ zeta}} \ cdot \ mathbf {K} + {\ boldsymbol {\ theta}} \ cdot \ mathbf {J} \}}

вместе с операциями сложения обычных матриц и умножения матрицы на число образует векторное пространство над действительными числами. Генераторы J x, J y, J z, K x, K y, K z образуют базисный набор V, а компоненты вектора угла оси и скорости, θ x, θ y, θ z, ζ x, ζ y, ζ z - координаты генератора Лоренца относительно этого базиса.

Три коммутационных соотношения генераторов Лоренца следующие:

[ J Икс , J у ] знак равно J z , [ K Икс , K у ] знак равно - J z , [ J Икс , K у ] знак равно K z , {\ displaystyle [J_ {x}, J_ {y}] = J_ {z} \,, \ quad [K_ {x}, K_ {y}] = - J_ {z} \,, \ quad [J_ {x }, K_ {y}] = K_ {z} \,,}

где скобка [ A, B ] = AB - BA известна как коммутатор, а другие соотношения можно найти, взяв циклические перестановки компонентов x, y, z (т.е. заменив x на y, y на z, а z на х, повторить).

Эти коммутационные соотношения и векторное пространство образующих удовлетворяют определению алгебры Ли. Таким образом, алгебра Ли определяется как векторное пространство V над полем чисел и с бинарной операцией [,] ( в данном контексте называемой скобкой Ли ) над элементами векторного пространства, удовлетворяющей аксиомам билинейности, альтернатизация и тождество Якоби. Здесь операция [,] - это коммутатор, который удовлетворяет всем этим аксиомам, векторное пространство - это набор генераторов Лоренца V, как указано ранее, а поле - это набор действительных чисел. s о ( 3 , 1 ) {\ displaystyle {\ mathfrak {so}} (3,1)}

Связывание терминологии, используемой в математике и физике: генератор группы - это любой элемент алгебры Ли. Групповой параметр - это компонент координатного вектора, представляющий произвольный элемент алгебры Ли относительно некоторого базиса. Таким образом, базис - это набор образующих, являющийся базисом алгебры Ли в обычном смысле векторного пространства.

Экспоненциальное отображение из алгебры Ли в группе Ли,

е Икс п : s о ( 3 , 1 ) S О ( 3 , 1 ) , {\ Displaystyle \ mathrm {exp} \,: \, {\ mathfrak {so}} (3,1) \ rightarrow \ mathrm {SO} (3,1),}

обеспечивает взаимно однозначное соответствие между достаточно малыми окрестностями начала координат алгебры Ли и окрестностями единичного элемента группы Ли. В случае группы Лоренца экспоненциальное отображение - это просто матричная экспонента. Глобально экспоненциальное отображение не взаимно однозначно, но в случае группы Лоренца оно сюръективно (на). Следовательно, любой элемент группы в компоненте связности тождества может быть выражен как экспонента элемента алгебры Ли.

Неправильные преобразования

Преобразования Лоренца также включают обращение четности

п знак равно [ 1 0 0 - я ] {\ displaystyle P = {\ begin {bmatrix} 1 amp; 0 \\ 0 amp; - \ mathbf {I} \ end {bmatrix}}}

который сводит на нет все пространственные координаты, и обращение времени

Т знак равно [ - 1 0 0 я ] {\ displaystyle T = {\ begin {bmatrix} -1 amp; 0 \\ 0 amp; \ mathbf {I} \ end {bmatrix}}}

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

Если Λ - собственное ортохронное преобразование Лоренца, то T Λ - несобственное антихронное преобразование, P Λ - несобственное ортохронное преобразование, а TP Λ = PT Λ - собственное антихронное преобразование.

Неоднородная группа Лоренца.

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

Икс знак равно Λ Икс + C {\ displaystyle X '= \ Lambda X + C}

где C - постоянный столбец, содержащий переводы во времени и пространстве. Если C ≠ 0, это неоднородное преобразование Лоренца или преобразование Пуанкаре. Если C = 0, это однородное преобразование Лоренца. Преобразования Пуанкаре в этой статье не рассматриваются.

Тензорная формулировка

Основная статья: Теория представлений группы Лоренца Относительно используемых обозначений см. Исчисление Риччи.

Контравариантные векторы

Запись общего матричного преобразования координат в виде матричного уравнения

[ Икс 0 Икс 1 Икс 2 Икс 3 ] знак равно [ Λ 0 0 Λ 0 1 Λ 0 2 Λ 0 3 Λ 1 0 Λ 1 1 Λ 1 2 Λ 1 3 Λ 2 0 Λ 2 1 Λ 2 2 Λ 2 3 Λ 3 0 Λ 3 1 Λ 3 2 Λ 3 3 ] [ Икс 0 Икс 1 Икс 2 Икс 3 ] {\ displaystyle {\ begin {bmatrix} {x '} ^ {0} \\ {x'} ^ {1} \\ {x '} ^ {2} \\ {x'} ^ {3} \ end { bmatrix}} = {\ begin {bmatrix} {\ Lambda ^ {0}} _ {0} amp; {\ Lambda ^ {0}} _ {1} amp; {\ Lambda ^ {0}} _ {2} amp; { \ Lambda ^ {0}} _ {3} \\ {\ Lambda ^ {1}} _ {0} amp; {\ Lambda ^ {1}} _ {1} amp; {\ Lambda ^ {1}} _ {2 } amp; {\ Lambda ^ {1}} _ {3} \\ {\ Lambda ^ {2}} _ {0} amp; {\ Lambda ^ {2}} _ {1} amp; {\ Lambda ^ {2}} _ {2} amp; {\ Lambda ^ {2}} _ {3} \\ {\ Lambda ^ {3}} _ {0} amp; {\ Lambda ^ {3}} _ {1} amp; {\ Lambda ^ { 3}} _ {2} amp; {\ Lambda ^ {3}} _ {3} \\\ end {bmatrix}} {\ begin {bmatrix} x ^ {0} \\ x ^ {1} \\ x ^ {2} \\ x ^ {3} \ end {bmatrix}}}

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

Икс ν знак равно Λ ν μ Икс μ , {\ displaystyle {x ^ {\ prime}} ^ {\ nu} = {\ Lambda ^ {\ nu}} _ {\ mu} x ^ {\ mu},}

где нижний и верхний индексы обозначают ковариантные и контравариантные компоненты соответственно, и применяется соглашение о суммировании. Стандартным соглашением является использование греческих индексов, которые принимают значение 0 для компонентов времени и 1, 2, 3 для компонентов пространства, в то время как латинские индексы просто принимают значения 1, 2, 3 для пространственных компонентов. Обратите внимание, что первый индекс (чтение слева направо) соответствует в матричной записи индексу строки. Второй индекс соответствует индексу столбца.

Матрица преобразования универсальна для всех четырех векторов, а не только для координат четырехмерного пространства-времени. Если A - любой четырехвектор, то в тензорной записи индекса

А ν знак равно Λ ν μ А μ . {\ Displaystyle {A ^ {\ prime}} ^ {\ nu} = {\ Lambda ^ {\ nu}} _ {\ mu} A ^ {\ mu} \,.}

В качестве альтернативы можно написать

А ν знак равно Λ ν μ А μ . {\ Displaystyle A ^ {\ nu '} = {\ Lambda ^ {\ nu'}} _ {\ mu} A ^ {\ mu} \,.}

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

Для общего n -компонентного объекта можно написать

Икс α знак равно Π ( Λ ) α β Икс β , {\ Displaystyle {X '} ^ {\ alpha} = {\ Pi (\ Lambda) ^ {\ alpha}} _ {\ beta} X ^ {\ beta} \,,}

где Π - соответствующее представление группы Лоренца, матрица размера n × n для любого Λ. В этом случае индексы не следует рассматривать как пространственно-временные индексы (иногда называемые индексами Лоренца), и они проходят от 1 до n. Например, если X является биспинорами, то индексы называются индексы Дирака.

Ковариантные векторы

Есть также векторные величины с ковариантными индексами. Обычно они получаются из соответствующих им объектов с контравариантными индексами посредством операции понижения индекса ; например,

Икс ν знак равно η μ ν Икс μ , {\ displaystyle x _ {\ nu} = \ eta _ {\ mu \ nu} x ^ {\ mu},}

где η - метрический тензор. (В связанной статье также содержится дополнительная информация о том, что на самом деле представляет собой операция повышения и понижения индексов с математической точки зрения.) Обратное преобразование дается выражением

Икс μ знак равно η μ ν Икс ν , {\ Displaystyle х ^ {\ mu} = \ eta ^ {\ mu \ nu} x _ {\ nu},}

где, если рассматривать ее как матрицы, η μν является обратной величиной η μν. Оказывается, η μν = η μν. Это называется повышением индекса. Чтобы преобразовать ковариантный вектор A μ, сначала увеличьте его индекс, затем преобразуйте его по тому же правилу, что и для контравариантных 4 -векторов, а затем, наконец, уменьшите индекс;

А ν знак равно η ρ ν Λ ρ σ η μ σ А μ . {\ displaystyle {A '} _ {\ nu} = \ eta _ {\ rho \ nu} {\ Lambda ^ {\ rho}} _ {\ sigma} \ eta ^ {\ mu \ sigma} A _ {\ mu}.}

Но

η ρ ν Λ ρ σ η μ σ знак равно ( Λ - 1 ) μ ν , {\ displaystyle \ eta _ {\ rho \ nu} {\ Lambda ^ {\ rho}} _ {\ sigma} \ eta ^ {\ mu \ sigma} = {\ left (\ Lambda ^ {- 1} \ right) ^ {\ mu}} _ {\ nu},}

То есть это ( μ, ν) -компонента обратного преобразования Лоренца. Один определяет (в порядке обозначений),

Λ ν μ ( Λ - 1 ) μ ν , {\ Displaystyle {\ Lambda _ {\ nu}} ^ {\ mu} \ Equiv {\ left (\ Lambda ^ {- 1} \ right) ^ {\ mu}} _ {\ nu},}

и можете в этих обозначениях написать

А ν знак равно Λ ν μ А μ . {\ displaystyle {A '} _ {\ nu} = {\ Lambda _ {\ nu}} ^ {\ mu} A _ {\ mu}.}

Теперь о тонкости. Подразумеваемое суммирование в правой части

А ν знак равно Λ ν μ А μ знак равно ( Λ - 1 ) μ ν А μ {\ Displaystyle {A '} _ {\ nu} = {\ Lambda _ {\ nu}} ^ {\ mu} A _ {\ mu} = {\ left (\ Lambda ^ {- 1} \ right) ^ {\ mu}} _ {\ nu} A _ {\ mu}}

пробегает индекс строки матрицы, представляющей Λ −1. Таким образом, в терминах матриц, это преобразование следует рассматривать как обратные транспонированные из Л, действующие на вектор - столбец А ц. То есть в чисто матричной записи

А знак равно ( Λ - 1 ) Т А . {\ displaystyle A '= \ left (\ Lambda ^ {- 1} \ right) ^ {\ mathrm {T}} A.}

Это в точности означает, что ковариантные векторы (рассматриваемые как матрицы-столбцы) преобразуются в соответствии с двойственным представлением стандартного представления группы Лоренца. Это понятие обобщается на общие представления, просто замените Λ на Π (Λ).

Тензоры

Если и В являются линейными операторами на векторных пространства U и V, то линейный оператор ⊗ B может быть определен на тензорное произведение из U и V, обозначается U ⊗ V согласно

( А B ) ( ты v ) знак равно А ты B v , ты U , v V , ты v U V . {\ displaystyle (A \ otimes B) (u \ otimes v) = Au \ otimes Bv, \ qquad u \ in U, v \ in V, u \ otimes v \ in U \ otimes V.}               (Т1)

Отсюда сразу ясно, что если u и v - четырехвекторы в V, то u ⊗ v ∈ T 2 V ≡ V ⊗ V преобразуется как

ты v Λ ты Λ v знак равно Λ μ ν ты ν Λ ρ σ v σ знак равно Λ μ ν Λ ρ σ ты ν v σ Λ μ ν Λ ρ σ ш ν σ . {\ displaystyle u \ otimes v \ rightarrow \ Lambda u \ otimes \ Lambda v = {\ Lambda ^ {\ mu}} _ {\ nu} u ^ {\ nu} \ otimes {\ Lambda ^ {\ rho}} _ {\ sigma} v ^ {\ sigma} = {\ Lambda ^ {\ mu}} _ {\ nu} {\ Lambda ^ {\ rho}} _ {\ sigma} u ^ {\ nu} \ otimes v ^ { \ sigma} \ Equiv {\ Lambda ^ {\ mu}} _ {\ nu} {\ Lambda ^ {\ rho}} _ {\ sigma} w ^ {\ nu \ sigma}.}               (Т2)

На втором этапе используется билинейность тензорного произведения, а на последнем этапе определяется 2-тензор на компонентной форме, или, скорее, он просто переименовывает тензор u ⊗ v.

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

Т θ ι κ α β ζ знак равно Λ α μ Λ β ν Λ ζ ρ Λ θ σ Λ ι υ Λ κ ζ Т σ υ ζ μ ν ρ , {\ displaystyle T _ {\ theta '\ iota' \ cdots \ kappa '} ^ {\ alpha' \ beta '\ cdots \ zeta'} = {\ Lambda ^ {\ alpha '}} _ {\ mu} {\ Lambda ^ {\ beta '}} _ {\ nu} \ cdots {\ Lambda ^ {\ zeta'}} _ {\ rho} {\ Lambda _ {\ theta '}} ^ {\ sigma} {\ Lambda _ {\ iota '}} ^ {\ upsilon} \ cdots {\ Lambda _ {\ kappa'}} ^ {\ zeta} T _ {\ sigma \ upsilon \ cdots \ zeta} ^ {\ mu \ nu \ cdots \ rho},}               (Т3)

где Λ χ ′ ψ определено выше. Эта форма обычно может быть сведена к форме для общих n -компонентных объектов, приведенной выше, с единственной матрицей ( Π (Λ)), работающей с векторами-столбцами. Эта последняя форма иногда предпочтительнее; например, для тензора электромагнитного поля.

Преобразование электромагнитного поля

Лоренцево ускорение электрического заряда, заряд в том или ином кадре покоится. Основная статья: Электромагнитный тензор Дополнительная информация: классический электромагнетизм и специальная теория относительности

Преобразования Лоренца также можно использовать, чтобы проиллюстрировать, что магнитное поле B и электрическое поле E - это просто разные аспекты одной и той же силы - электромагнитной силы, как следствие относительного движения между электрическими зарядами и наблюдателями. Тот факт, что электромагнитное поле демонстрирует релятивистские эффекты, становится очевидным, если провести простой мысленный эксперимент.

  • Наблюдатель измеряет заряд в состоянии покоя в кадре F. Наблюдатель обнаруживает статическое электрическое поле. Поскольку заряд в этой системе координат неподвижен, электрический ток отсутствует, поэтому наблюдатель не видит никакого магнитного поля.
  • Другой наблюдатель в системе F 'движется со скоростью v относительно F и заряда. Этот наблюдатель видит другое электрическое поле, потому что заряд движется со скоростью - v в их системе покоя. Движение заряда соответствует электрическому току, и, таким образом, наблюдатель в системе F 'также видит магнитное поле.

Электрические и магнитные поля трансформируются по-разному в пространстве и времени, но точно так же, как релятивистский угловой момент и вектор ускорения.

Тензор напряженности электромагнитного поля имеет вид

F μ ν знак равно [ 0 - 1 c E Икс - 1 c E у - 1 c E z 1 c E Икс 0 - B z B у 1 c E у B z 0 - B Икс 1 c E z - B у B Икс 0 ] (Единицы СИ, подпись  ( + , - , - , - ) ) . {\ displaystyle F ^ {\ mu \ nu} = {\ begin {bmatrix} 0 amp; - {\ frac {1} {c}} E_ {x} amp; - {\ frac {1} {c}} E_ {y} amp; - {\ frac {1} {c}} E_ {z} \\ {\ frac {1} {c}} E_ {x} amp; 0 amp; -B_ {z} amp; B_ {y} \\ {\ frac {1} {c}} E_ {y} amp; B_ {z} amp; 0 amp; -B_ {x} \\ {\ frac {1} {c}} E_ {z} amp; - B_ {y} amp; B_ {x} amp; 0 \ end {bmatrix} } {\ text {(единицы СИ, подпись}} (+, -, -, -) {\ text {)}}.}

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

Λ μ ν знак равно [ γ - γ β 0 0 - γ β γ 0 0 0 0 1 0 0 0 0 1 ] , F μ ν знак равно [ 0 E Икс E у E z - E Икс 0 B z - B у - E у - B z 0 B Икс - E z B у - B Икс 0 ] (Гауссовские единицы, подпись  ( - , + , + , + ) ) , {\ displaystyle {\ Lambda ^ {\ mu}} _ {\ nu} = {\ begin {bmatrix} \ gamma amp; - \ gamma \ beta amp; 0 amp; 0 \\ - \ gamma \ beta amp; \ gamma amp; 0 amp; 0 \\ 0 amp; 0 amp; 1 amp; 0 \\ 0 amp; 0 amp; 0 amp; 1 \\\ end {bmatrix}}, \ qquad F ^ {\ mu \ nu} = {\ begin {bmatrix} 0 amp; E_ {x} amp; E_ {y} amp; E_ {z} \\ - E_ {x} amp; 0 amp; B_ {z} amp; -B_ {y} \\ - E_ {y} amp; - B_ {z} amp; 0 amp; B_ {x} \\ - E_ {z} amp; B_ {y} amp; - B_ {x} amp; 0 \ end {bmatrix}} {\ text { (Гауссовские единицы, подпись}} (-, +, +, +) {\ text {)}},}

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

Общий закон преобразования (T3) принимает вид

F μ ν знак равно Λ μ μ Λ ν ν F μ ν . {\ Displaystyle F ^ {\ mu '\ nu'} = {\ Lambda ^ {\ mu '}} _ {\ mu} {\ Lambda ^ {\ nu'}} _ {\ nu} F ^ {\ mu \ nu}.}

Для магнитного поля получаем

B Икс знак равно F 2 3 знак равно Λ 2 μ Λ 3 ν F μ ν знак равно Λ 2 2 Λ 3 3 F 23 знак равно 1 × 1 × B Икс знак равно B Икс , B у знак равно F 3 1 знак равно Λ 3 μ Λ 1 ν F μ ν знак равно Λ 3 3 Λ 1 ν F 3 ν знак равно Λ 3 3 Λ 1 0 F 30 + Λ 3 3 Λ 1 1 F 31 год знак равно 1 × ( - β γ ) ( - E z ) + 1 × γ B у знак равно γ B у + β γ E z знак равно γ ( B - β × E ) у B z знак равно F 1 2 знак равно Λ 1 μ Λ 2 ν F μ ν знак равно Λ 1 μ Λ 2 2 F μ 2 знак равно Λ 1 0 Λ 2 2 F 02 + Λ 1 1 Λ 2 2 F 12 знак равно ( - γ β ) × 1 × E у + γ × 1 × B z знак равно γ B z - β γ E у знак равно γ ( B - β × E ) z {\ displaystyle {\ begin {align} B_ {x '} amp; = F ^ {2'3'} = {\ Lambda ^ {2}} _ {\ mu} {\ Lambda ^ {3}} _ {\ nu } F ^ {\ mu \ nu} = {\ Lambda ^ {2}} _ {2} {\ Lambda ^ {3}} _ {3} F ^ {23} = 1 \ times 1 \ times B_ {x} \\ amp; = B_ {x}, \\ B_ {y '} amp; = F ^ {3'1'} = {\ Lambda ^ {3}} _ {\ mu} {\ Lambda ^ {1}} _ { \ nu} F ^ {\ mu \ nu} = {\ Lambda ^ {3}} _ {3} {\ Lambda ^ {1}} _ {\ nu} F ^ {3 \ nu} = {\ Lambda ^ { 3}} _ {3} {\ Lambda ^ {1}} _ {0} F ^ {30} + {\ Lambda ^ {3}} _ {3} {\ Lambda ^ {1}} _ {1} F ^ {31} \\ amp; = 1 \ times (- \ beta \ gamma) (- E_ {z}) + 1 \ times \ gamma B_ {y} = \ gamma B_ {y} + \ beta \ gamma E_ {z } \\ amp; = \ gamma \ left (\ mathbf {B} - {\ boldsymbol {\ beta}} \ times \ mathbf {E} \ right) _ {y} \\ B_ {z '} amp; = F ^ { 1'2 '} = {\ Lambda ^ {1}} _ {\ mu} {\ Lambda ^ {2}} _ {\ nu} F ^ {\ mu \ nu} = {\ Lambda ^ {1}} _ {\ mu} {\ Lambda ^ {2}} _ {2} F ^ {\ mu 2} = {\ Lambda ^ {1}} _ {0} {\ Lambda ^ {2}} _ {2} F ^ {02} + {\ Lambda ^ {1}} _ {1} {\ Lambda ^ {2}} _ {2} F ^ {12} \\ amp; = (- \ gamma \ beta) \ times 1 \ times E_ {y} + \ gamma \ times 1 \ times B_ {z} = \ gamma B_ {z} - \ beta \ gamma E_ {y} \\ amp; = \ gamma \ left (\ mathbf {B} - {\ boldsymbol { \ beta}} \ times \ mathbf {E} \ right) _ {z} \ end {align}}}

Для результатов электрического поля

E Икс знак равно F 0 1 знак равно Λ 0 μ Λ 1 ν F μ ν знак равно Λ 0 1 Λ 1 0 F 10 + Λ 0 0 Λ 1 1 F 01 знак равно ( - γ β ) ( - γ β ) ( - E Икс ) + γ γ E Икс знак равно - γ 2 β 2 ( E Икс ) + γ 2 E Икс знак равно E Икс ( 1 - β 2 ) γ 2 знак равно E Икс , E у знак равно F 0 2 знак равно Λ 0 μ Λ 2 ν F μ ν знак равно Λ 0 μ Λ 2 2 F μ 2 знак равно Λ 0 0 Λ 2 2 F 02 + Λ 0 1 Λ 2 2 F 12 знак равно γ × 1 × E у + ( - β γ ) × 1 × B z знак равно γ E у - β γ B z знак равно γ ( E + β × B ) у E z знак равно F 0 3 знак равно Λ 0 μ Λ 3 ν F μ ν знак равно Λ 0 μ Λ 3 3 F μ 3 знак равно Λ 0 0 Λ 3 3 F 03 + Λ 0 1 Λ 3 3 F 13 знак равно γ × 1 × E z - β γ × 1 × ( - B у ) знак равно γ E z + β γ B у знак равно γ ( E + β × B ) z . {\ displaystyle {\ begin {align} E_ {x '} amp; = F ^ {0'1'} = {\ Lambda ^ {0}} _ {\ mu} {\ Lambda ^ {1}} _ {\ nu } F ^ {\ mu \ nu} = {\ Lambda ^ {0}} _ {1} {\ Lambda ^ {1}} _ {0} F ^ {10} + {\ Lambda ^ {0}} _ { 0} {\ Lambda ^ {1}} _ {1} F ^ {01} \\ amp; = (- \ gamma \ beta) (- \ gamma \ beta) (- E_ {x}) + \ gamma \ gamma E_ {x} = - \ gamma ^ {2} \ beta ^ {2} (E_ {x}) + \ gamma ^ {2} E_ {x} = E_ {x} (1- \ beta ^ {2}) \ гамма ^ {2} \\ amp; = E_ {x}, \\ E_ {y '} amp; = F ^ {0'2'} = {\ Lambda ^ {0}} _ {\ mu} {\ Lambda ^ { 2}} _ {\ nu} F ^ {\ mu \ nu} = {\ Lambda ^ {0}} _ {\ mu} {\ Lambda ^ {2}} _ {2} F ^ {\ mu 2} = {\ Lambda ^ {0}} _ {0} {\ Lambda ^ {2}} _ {2} F ^ {02} + {\ Lambda ^ {0}} _ {1} {\ Lambda ^ {2}} _ {2} F ^ {12} \\ amp; = \ gamma \ times 1 \ times E_ {y} + (- \ beta \ gamma) \ times 1 \ times B_ {z} = \ gamma E_ {y} - \ beta \ gamma B_ {z} \\ amp; = \ gamma \ left (\ mathbf {E} + {\ boldsymbol {\ beta}} \ times \ mathbf {B} \ right) _ {y} \\ E_ {z ' } amp; = F ^ {0'3 '} = {\ Lambda ^ {0}} _ {\ mu} {\ Lambda ^ {3}} _ {\ nu} F ^ {\ mu \ nu} = {\ Lambda ^ {0}} _ {\ mu} {\ Lambda ^ {3}} _ {3} F ^ {\ mu 3} = {\ Lambda ^ {0}} _ {0} {\ Lambda ^ {3}} _ {3} F ^ {03} + {\ Lambda ^ {0}} _ {1} {\ Lambda ^ {3}} _ {3} F ^ {13} \\ amp; = \ gamma \ times 1 \ times E_ {z} - \ beta \ gamma \ times 1 \ times (- B_ {y}) = \ gamma E_ {z} + \ beta \ gamma B_ {y} \\ amp; = \ gamma \ left (\ mathbf {E} + {\ boldsymbol {\ beta}} \ times \ mathbf {B } \ right) _ {z}. \ end {align}}}

Здесь используется β = ( β, 0, 0). Эти результаты можно резюмировать следующим образом:

E знак равно E B знак равно B E знак равно γ ( E + β × B ) знак равно γ ( E + β × B ) , B знак равно γ ( B - β × E ) знак равно γ ( B - β × E ) , {\ displaystyle {\ begin {align} \ mathbf {E} _ {\ parallel '} amp; = \ mathbf {E} _ {\ parallel} \\\ mathbf {B} _ {\ parallel'} amp; = \ mathbf { B} _ {\ parallel} \\\ mathbf {E} _ {\ bot '} amp; = \ gamma \ left (\ mathbf {E} _ {\ bot} + {\ boldsymbol {\ beta}} \ times \ mathbf {B} _ {\ bot} \ right) = \ gamma \ left (\ mathbf {E} + {\ boldsymbol {\ beta}} \ times \ mathbf {B} \ right) _ {\ bot}, \\\ mathbf {B} _ {\ bot '} amp; = \ gamma \ left (\ mathbf {B} _ {\ bot} - {\ boldsymbol {\ beta}} \ times \ mathbf {E} _ {\ bot} \ right) = \ gamma \ left (\ mathbf {B} - {\ boldsymbol {\ beta}} \ times \ mathbf {E} \ right) _ {\ bot}, \ end {align}}}

и не зависят от метрической сигнатуры. Вместо единиц СИ замените E → E ⁄ c. Мизнер, Торн и Уиллер (1973) называют эту последнюю форму представлением 3 + 1 в отличие от геометрического представления, представленного тензорным выражением

F μ ν знак равно Λ μ μ Λ ν ν F μ ν , {\ Displaystyle F ^ {\ mu '\ nu'} = {\ Lambda ^ {\ mu '}} _ {\ mu} {\ Lambda ^ {\ nu'}} _ {\ nu} F ^ {\ mu \ nu},}

и подчеркните легкость, с которой можно получить и понять результаты, которых трудно достичь при использовании представления 3 + 1. Только объекты с четко определенными свойствами преобразования Лоренца (фактически при любом плавном преобразовании координат) являются геометрическими объектами. С геометрической точки зрения, электромагнитное поле - это шестимерный геометрический объект в пространстве-времени, в отличие от двух взаимозависимых, но отдельных 3-векторных полей в пространстве и времени. Поля E (отдельно) и B (только) не имеют четко определенных свойств преобразования Лоренца. Математическая основа - это уравнения (T1) и (T2), которые сразу дают (T3). Следует отметить, что тензоры со штрихом и без штриха относятся к одному и тому же событию в пространстве-времени. Таким образом, полное уравнение с пространственно-временной зависимостью имеет вид

F μ ν ( Икс ) знак равно Λ μ μ Λ ν ν F μ ν ( Λ - 1 Икс ) знак равно Λ μ μ Λ ν ν F μ ν ( Икс ) . {\ displaystyle F ^ {\ mu '\ nu'} \ left (x '\ right) = {\ Lambda ^ {\ mu'}} _ {\ mu} {\ Lambda ^ {\ nu '}} _ {\ nu} F ^ {\ mu \ nu} \ left (\ Lambda ^ {- 1} x '\ right) = {\ Lambda ^ {\ mu'}} _ {\ mu} {\ Lambda ^ {\ nu '} } _ {\ nu} F ^ {\ mu \ nu} (x).}

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

j знак равно j - γ ρ v п + ( γ - 1 ) ( j п ) п ρ знак равно γ ( ρ - j v п c 2 ) , {\ displaystyle {\ begin {align} \ mathbf {j} 'amp; = \ mathbf {j} - \ gamma \ rho v \ mathbf {n} + \ left (\ gamma -1 \ right) (\ mathbf {j} \ cdot \ mathbf {n}) \ mathbf {n} \\\ rho 'amp; = \ gamma \ left (\ rho - \ mathbf {j} \ cdot {\ frac {v \ mathbf {n}} {c ^ { 2}}} \ right), \ end {align}}}

или, в более простом геометрическом виде,

j μ знак равно Λ μ μ j μ . {\ displaystyle j ^ {\ mu ^ {\ prime}} = {\ Lambda ^ {\ mu '}} _ {\ mu} j ^ {\ mu}.}

Говорят, что плотность заряда трансформируется как временная составляющая четырехвектора. Это вращательный скаляр. Плотность тока является 3-векторной.

Уравнения Максвелла инвариантны относительно преобразований Лоренца.

Спиноры

Уравнение (T1) остается неизменным для любого представления группы Лоренца, включая биспинорное представление. В (T2) просто заменяются все вхождения Λ биспинорным представлением Π (Λ),

ты v Π ( Λ ) ты Π ( Λ ) v знак равно Π ( Λ ) α β ты β Π ( Λ ) ρ σ v σ знак равно Π ( Λ ) α β Π ( Λ ) ρ σ ты β v σ Π ( Λ ) α β Π ( Λ ) ρ σ ш β σ {\ displaystyle {\ begin {align} и \ otimes v \ rightarrow \ Pi (\ Lambda) u \ otimes \ Pi (\ Lambda) v amp; = {\ Pi (\ Lambda) ^ {\ alpha}} _ {\ beta} u ^ {\ beta} \ otimes {\ Pi (\ Lambda) ^ {\ rho}} _ {\ sigma} v ^ {\ sigma} \\ amp; = {\ Pi (\ Lambda) ^ {\ alpha}} _ {\ beta} {\ Pi (\ Lambda) ^ {\ rho}} _ {\ sigma} u ^ {\ beta} \ otimes v ^ {\ sigma} \\ amp; \ Equiv {\ Pi (\ Lambda) ^ { \ alpha}} _ {\ beta} {\ Pi (\ Lambda) ^ {\ rho}} _ {\ sigma} w ^ {\ beta \ sigma} \ end {выровнено}}}               (Т4)

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

Преобразование общих полей

Общее невзаимодействующее многочастичное состояние (состояние пространства Фока) в квантовой теории поля преобразуется по правилу

U ( Λ , а ) Ψ п 1 σ 1 п 1 ; п 2 σ 2 п 2 ; знак равно е - я а μ [ ( Λ п 1 ) μ + ( Λ п 2 ) μ + ] ( Λ п 1 ) 0 ( Λ п 2 ) 0 п 1 0 п 2 0 ( σ 1 σ 2 D σ 1 σ 1 ( j 1 ) [ W ( Λ , п 1 ) ] D σ 2 σ 2 ( j 2 ) [ W ( Λ , п 2 ) ] ) Ψ Λ п 1 σ 1 п 1 ; Λ п 2 σ 2 п 2 ; , {\ displaystyle {\ begin {align} amp; U (\ Lambda, a) \ Psi _ {p_ {1} \ sigma _ {1} n_ {1}; p_ {2} \ sigma _ {2} n_ {2}; \ cdots} \\ = {} amp; e ^ {- ia _ {\ mu} \ left [(\ Lambda p_ {1}) ^ {\ mu} + (\ Lambda p_ {2}) ^ {\ mu} + \ cdots \ right]} {\ sqrt {\ frac {(\ Lambda p_ {1}) ^ {0} (\ Lambda p_ {2}) ^ {0} \ cdots} {p_ {1} ^ {0} p_ {2 } ^ {0} \ cdots}}} \ left (\ sum _ {\ sigma _ {1} '\ sigma _ {2}' \ cdots} D _ {\ sigma _ {1} '\ sigma _ {1}} ^ {(j_ {1})} \ left [W (\ Lambda, p_ {1}) \ right] D _ {\ sigma _ {2} '\ sigma _ {2}} ^ {(j_ {2})} \ left [W (\ Lambda, p_ {2}) \ right] \ cdots \ right) \ Psi _ {\ Lambda p_ {1} \ sigma _ {1} 'n_ {1}; \ Lambda p_ {2} \ сигма _ {2} 'n_ {2}; \ cdots}, \ end {выровнены}}}

 

 

 

 

( 1)

где W (Λ, p) - вигнеровское вращение, а D ( j) - (2 j + 1) -мерное представление SO (3).

Смотрите также

Сноски

Примечания

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

Сайты

Статьи

Книги

дальнейшее чтение

внешние ссылки

Последняя правка сделана 2023-03-31 04:01:14
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте