Композиция преобразований Лоренца с использованием образующих и вращения Вигнера

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

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

BCH ( en.wikipedia.org/wiki/… ) основан на расширении серии, поэтому поможет вам только частично. Поскольку это расширение, все, что вы можете сказать, это то, что с точностью до порядка преобразование слева будет иметь форму преобразования справа.
Нет, оба должны быть точно равны....
Взгляните на мой ответ здесь: Общее матричное преобразование Лоренца . На мой взгляд, вычисления менее болезненны, если использовать гиперболические функции. грех , чушь , танх в выражениях матриц Лоренца.
Эти ребята делают то, что вы делаете с матрицами Лоренца, довольно эффективно. Использование генераторов концептуально просто, учитывая SU (2) ваших начальных ускорений и вращение Вигнера, например, см. здесь , но на практике фактические ответы в пространстве быстроты довольно запутаны / причудливы. Ваше отношение сводится к простому сравнению двух групповых умножений в SU(2) .

Ответы (1)

Как я указываю в своем комментарии, утверждение становится правдоподобным практически путем проверки разложения CBH произведения бустов и ведущих порядков коммутаторов генераторов, но получить явный ответ обременительно; в нашем случае определение угла Вигнера θ , а также направления и величины наддува относительно | в 3 | ( Икс ^ потому что ф + у ^ грех ф ) .

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

Секрет в том, что все расширения BCH легко выполняются явно с помощью матричной алгебры Паули, а параметры пространства быстрот в показателях в конечном счете более аккуратны. Цена, которую нужно заплатить, — это повторное знакомство с языком. (ср., например, Misner, Thorne, Wheeler, §41.3.)


Предварительное приложение с используемым языком : учитывая изоморфизм группы Лоренца в PSL(2,C) , спинорное отображение переводит 4-векторы в эрмитовы матрицы 2 × 2, натянутые на матрицы Паули и тождество,

Икс "=" [ т + г Икс я у Икс + я у т г ] "=" 1 т + о Икс .
В этом пространстве преобразование Лоренца, унимодулярная матрица, действует как слева, так и справа сопряженно,
Икс Λ Икс Λ ,
сохраняя Отшельничество.

Более того, генераторы Лоренца не все эрмитовы . Вращения эрмитовы, а бусты антиэрмитовы!

К "=" я 2 о Б ( в 1 Икс ^ ) "=" е ζ о 1 / 2 , Б ( в 2 у ^ ) "=" е ξ о 2 / 2 , Дж "=" 1 2 о р ( θ г ^ ) "=" е я θ о 3 / 2 .
Обратите внимание, что параметры в показателе степени - это углы и скорости, в / с "=" танх ξ , так γ "=" чушь ξ . Они обладают превосходными алгебраическими свойствами.

Наконец, назовите направление конечного результирующего повышения ( Икс ^ потому что ф + у ^ грех ф ) для некоторого угла φ, который необходимо определить; так, о ф "=" ( Икс ^ потому что ф + у ^ грех ф ) о ; и его параметр/быстрота ф "=" арктанг ( в 3 / с ) .

Далее вспомним прямые разложения экспонент матриц Паули и векторов Паули .

В качестве напоминания шпаргалка из книги практических обзоров Başkal, Kim & Noz, используйте их таблицу на стр. I-4, Таблица 1.1.


Теперь ваша композиция буста просто сводится к

Б ( в 2 у ^ ) Б ( в 1 Икс ^ ) "=" е ξ о 2 / 2 е ζ о 1 / 2 "=" ( 1 чушь ξ 2 + о 2 грех ξ 2 ) ( 1 чушь ζ 2 + о 1 грех ζ 2 ) "=" 1 чушь ξ 2 чушь ζ 2 + я о 3 грех ξ 2 грех ζ 2 + о 2 грех ξ 2 чушь ζ 2 + о 1 грех ζ 2 чушь ξ 2 .

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

Более того, Дж 3 соответствующие ему будут вращать бусты x и y друг в друге. Тогда имеет смысл постулировать правую часть формы, которую вы получили, и просто найти неизвестные, если это возможно,

Б ( танх ф   к ^ ) р г ( θ ) "=" е ф о к / 2 е я θ о 3 / 2 "=" ( 1 чушь ф 2 + о ф грех ф 2 ) ( 1 потому что θ 2 + я о 3 грех θ 2 ) "=" 1 чушь ф 2 потому что θ 2 + я о 3 грех θ 2 чушь ф 2 + о Икс потому что ( ф + θ 2 ) грех ф 2 + о у грех ( ф + θ 2 ) грех ф 2 .

И ничего больше. Таким образом, можно найти θ, φ и f , сравнив это выражение с приведенным выше, и все! Позвольте мне решить для θ , чтобы отметить то, что редко ценится.

Сравнивая коэффициенты тождества и о 3 урожаи

чушь ξ 2 чушь ζ 2 "=" чушь ф 2 потому что θ 2 , грех ξ 2 грех ζ 2 "=" чушь ф 2 грех θ 2 .

Разделите второе на первое, чтобы получить простое выражение для угла Вигнера:

загар θ 2 "=" танх ξ 2 танх ζ 2 .

Благодаря чуду тригонометрии-гиперболической-тригонометрии это выражение эквивалентно несколько мистическому угловому выражению другого ответа ,

загар θ "=" грех ξ грех ζ чушь ξ + чушь ζ     ,
что кажется более волшебным.

Это стандартная функция работы с половинными углами в быстротном пространстве — математика их любит.

Вы также можете увидеть, что

загар ( ф + θ 2 ) "=" танх ξ 2 ткань ζ 2   ,
и
чушь 2 ф 2 "=" чушь ( ξ + ζ 2 )   .

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