Представление вращения вокруг произвольной оси с помощью DDD-матрицы Вигнера

Известно, что произвольное вращение можно выразить через три последовательных вращения, называемых вращением Эйлера. Поэтому вместо того, чтобы выражать оператор вращения как р ^ ( н ^ , ф ) "=" опыт ( я ф н ^ Дж ) можно написать р ^ ( α , β , γ ) "=" р ^ г ( α ) р ^ у ( β ) р ^ г ( γ ) где ( α , β , γ ) так называемые углы Эйлера. Мой вопрос довольно прост: какова связь между данным н ^ и ( α , β , γ ) ?

Позвольте мне быть более конкретным. Предположим, у нас есть спин- 1 / 2 система и некоторый спинор | х связанные с ним. Теперь предположим, что я хочу повернуть этот спинор на угол ф "=" 2 π вокруг произвольной оси н ^ "=" ( грех θ потому что ф , грех θ грех ф , потому что θ ) , где θ , ф — обычные полярный и азимутальный углы в исходной сферической системе координат. Очевидно, мы можем использовать следующее тождество

р ^ ( н ^ , ф ) "=" я потому что ф 2 я ( н ^ о ) грех ф 2
и сделать вывод, что р ^ ( н ^ , ф "=" 2 π ) "=" я для любого н ^ . Но затем я хотел посмотреть, можно ли получить тот же результат, используя D-матрицы Вигнера (которые привязаны к вращению Эйлера). Очевидно, нужно сначала повернуть исходную систему координат так, чтобы одна из ее осей совпадала с н ^ а затем повернуть | х вокруг этой оси. Но как именно это можно сделать всего за три шага (угла)? Изначально я думал, что правильная последовательность должна быть α "=" ф , β "=" θ , γ "=" ф , однако для вышеупомянутого примера это дает:
Д м м Дж "=" 1 / 2 ( ф , θ , ф "=" 2 π ) "=" ( е я ф / 2 потому что θ 2 е я ф / 2 грех θ 2 е я ф / 2 грех θ 2 е я ф / 2 потому что θ 2 ) я

Вы не согласны с определением ? Вы можете составить из трех углов Эйлера ф н ^ .
@CosmasZachos - я понимаю определение, но не уверен в точной взаимосвязи между углами Эйлера и н ^ . Предлагаемые углы α "=" ф , β "=" θ , γ "=" ф "=" 2 π (что интуитивно понятно) на самом деле не дают Д м м Дж ( α , β , γ ) "=" я 2 × 2 как и следовало ожидать в вышеупомянутом примере. Обратите внимание, что я работаю в стандарте г у г соглашение.
@CosmasZachos - я обновил свой вопрос и добавил расчет матрицы Вигнера-Д для Дж "=" 1 / 2 и предполагаемые углы. Очевидно, что предложенные углы неверны, и я хотел бы понять, почему.
Одну такую ​​конструкцию я уже предлагал: сначала нужно повернуть систему так, чтобы одна из ее осей (скажем, г ) указывает в направлении н ^ . Этого можно добиться, приняв α "=" ф (повернуть систему вокруг г по азимутальному углу н ^ , такой, что н ^ сейчас лежит в Икс г плоскости повернутой системы) и β "=" θ (поверните новую систему на полярный угол н ^ о ранее повернутом у ось). Теперь, когда н ^ и г совпадают, вращают систему вокруг г на сумму ф "=" 2 π . Но эта конструкция кажется ошибочной.
Ну нарисуй картинку. Вы фактически повернули на π вокруг n в графических терминах. Это не равнозначно отражению в системе с фиксированной осью, и это правильно.
Связанный: Мой ответ здесь Вращения Эйлера в обычном пространстве . Я думаю, что приравнивание выражения А ( ψ , θ , ф ) уравнения (01) к выражению А ( н , Φ ) уравнения (03) моего ответа вы найдете вектор грех Φ н через углы Эйлера ( ψ , θ , ф ) .

Ответы (1)

Я подозреваю, что вы хотите что-то под названием U М М Дж матрицы вращения:

U М М Дж ( ю ; Θ , Φ ) Дж М | е я ю н ^ Дж ^ | Дж М ,
где Θ , Φ определить ось вращения ( т.е. направление н ^ .)

Источником этого является раздел 4.5 «Библии».

Варшалович Д.А., Москалев А.Н., Херсонский В.К.М., 1988. Квантовая теория углового момента.

Суммируя, U М М Дж ( ю ; Θ , Φ ) можно расширить с точки зрения «обычного» Д -функции

U М М Дж ( ю ; Θ , Φ ) "=" М Д М М Дж ( Φ , Θ , Φ ) е я М ю Д М М Дж ( Φ , Θ , Φ ) .
Толкование понятно: Д М М Дж ( Φ , Θ , Φ ) это вращение на Θ вокруг оси у ^ в Икс у плоскость, которая была повернута Φ о г ^ , и Д М М Дж ( Φ , Θ , Φ ) является обратным вращением. Таким образом, получается вращение вокруг г который был повернут р г ( Φ ) р у ( Θ ) р г ( Φ ) .

Спасибо за отличную ссылку. Кажется, что в параметрах есть некоторая неоднозначность, потому что удобная явная форма U М М Дж ( ю ; Θ , Φ ) "=" я М М е я ( М М ) Φ ( 1 я загар ю 2 потому что Θ 1 + загар 2 ю 2 потому что 2 Θ ) М + М д М М Дж ( ξ ) урожаи дельта М М в отличие от дельта М М для Дж "=" 1 / 2 , ю "=" 2 π , ξ "=" 0 . С другой стороны, если ξ "=" 2 π тогда результат правильный. Возможно ю ограничивается [ 0 , 2 π ) ?
да вроде помню ю ограничено, поскольку переписка между Θ , Φ а углы Эйлера геометрические, но я не могу найти статью, где я это читал. Или, может быть, есть ± в квадратном корне, который выбирают с помощью геометрического аргумента.
В §4.5.4, посвященном ортогональности и полноте, утверждается, что параметры определены в области 0 Θ π , 0 Φ < 2 π , 0 ю < 2 π . Но помимо этого, поскольку ξ определяется грех ξ 2 "=" грех ю 2 грех Θ кажется, что в нем заложена двусмысленность д М М 1 / 2 ( ξ ) который может быть ± дельта М М в зависимости от ξ . В свете этого, как правильно поступить в вышеупомянутой ситуации со спин- 1 / 2 система с ю "=" 2 π (или даже ю "=" 4 π , который возвращает исходный спинор)?