Различные формулы для SO(3)SO(3)\rm SO(3) вращений

Для С О ( 3 ) вращения элементы группы задаются стандартными матрицами Эйлера р Икс ( θ Икс ) , р у ( θ у ) и р г ( θ г ) для вращений в трехмерном пространстве:

р Икс ( θ Икс ) "=" [ 1 0 0 0 потому что θ Икс грех θ Икс 0 грех θ Икс потому что θ Икс ]
р у ( θ у ) "=" [ потому что θ у 0 грех θ у 0 1 0 грех θ у 0 потому что θ у ]
р г ( θ ) "=" [ потому что θ г грех θ г 0 грех θ г потому что θ г 0 0 0 1 ]
Соответствующие генераторы Дж Икс , Дж у и Дж г определяются так, что
р Икс ( θ Икс ) "=" е я θ Икс Дж Икс , р у ( θ у ) "=" е я θ у Дж у , р г ( θ г ) "=" е я θ г Дж г .

Затем я прочитал, что общее преобразование вращения задается выражением

р ( θ ) "=" е я θ Дж ,
где Дж "=" ( Дж Икс , Дж у , Дж г ) .

Я смущен тем, что компоненты для θ будет.

Рассмотрим вращение в пространстве, где мы сначала вращаемся на θ г , затем по θ у И наконец θ Икс , матрица вращения должна быть

р ( θ Икс , θ у , θ г ) "=" р Икс ( θ Икс ) р у ( θ у ) р г ( θ г ) "=" е я θ Икс Дж Икс е я θ у Дж у е я θ г Дж г .
Интуитивно я бы подумал, что использование р ( θ ) "=" е я θ Дж формула означает использование θ "=" ( θ Икс , θ у , θ г ) :
р ( θ ) "=" е я θ Икс Дж Икс + я θ у Дж у + я θ г Дж г

Однако, поскольку генераторы Дж Икс , Дж у , Дж г не ездить,

е я θ Икс Дж Икс е я θ у Дж у е я θ г Дж г е я θ Икс Дж Икс + я θ у Дж у + я θ г Дж г .
Так что неправильно так говорить θ "=" ( θ Икс , θ у , θ г ) . Какие тогда компоненты для θ быть?

Компоненты @Qmechanic So для θ определяются с помощью соотношения Бейкера-Кэмпбелла-Хаусдорфа. Это верно?

Ответы (2)

Ваше рассуждение верно. Углы Эйлера не являются компонентами θ . Вот что θ является.

Позволять θ "=" ( θ 1 , θ 2 , θ 3 ) "=" θ н ^ . Давайте выведем матрицу 3x3 (то есть: элементы группы р ( θ ) ) для поворота объекта на θ радианы относительно произвольного направления, заданного единичным вектором н ^ . Это означает, что поместите большой палец правой руки вдоль единичного вектора. н ^ и поверните объект, надавливая пальцами правой руки на угол θ . Для меня это гораздо более простой способ параметризации и визуализации произвольного поворота, чем углы Эйлера. Уведомление θ "=" θ 1 2 + θ 2 2 + θ 3 2 .

Как вы говорите в своем вопросе, элемент группы р ( θ ) "=" е я θ Дж . Это вращает любой объект, который включает в себя векторы с любым количеством компонентов (например, стрелу, камень, тензор или частицы с разными спинами). Мы хотим повернуть 3-вектор, поэтому мы вставляем матричное представление 3x3 каждого из 3-х генераторов. Дж "=" ( Дж 1 , Дж 2 , Дж 3 ) .

Θ "=" я θ Дж "=" я θ 1 [ 0 0 0 0 0 я 0 я 0 ] + я θ 2 [ 0 0 я 0 0 0 я 0 0 ] + я θ 3 [ 0 я 0 я 0 0 0 0 0 ] "=" [ 0 θ 3 θ 2 θ 3 0 θ 1 θ 2 θ 1 0 ]
Заметить, что [ Дж 1 , Дж 2 ] "=" я Дж 3 что верно для генераторов вращения (=угловой момент).

Наконец, мы расширяем е Θ в степенном ряду и матричном умножении Θ вместе, чтобы вычислить каждый член. Ты найдешь Θ 3 "=" θ 2 Θ .

р ( Θ ) "=" е Θ "=" я + Θ + Θ 2 2 ! + Θ 3 3 ! + Θ 4 4 ! + "=" я + Θ ( 1 θ 2 3 ! + θ 4 5 ! . . . ) + Θ 2 ( 1 2 ! θ 2 4 ! + θ 4 6 ! . . . ) р ( Θ ) "=" я + Θ θ с я н ( θ ) + Θ 2 θ 2 ( 1 с о с ( θ ) )
Этот р ( Θ ) - матрица вращения любого трехмерного вектора вокруг произвольного единичного вектора. н ^ по углу θ . В качестве примера предположим н ^ "=" ( 0 , 0 , 1 ) , что представляет собой вращение вокруг оси Z на тета. Тогда окончательное уравнение для р дает знакомую матрицу вращения
р ( Θ ) "=" [ с о с ( θ ) с я н ( θ ) 0 с я н ( θ ) с о с ( θ ) 0 0 0 1 ]
Обратите внимание, что мой с я н ( θ ) знак противоположен вашему, потому что я выполняю активное преобразование объекта, тогда как ваша формула предназначена для пассивного преобразования на оси координат (т.е.: θ п а с с я в е "=" θ а с т я в е ).

Спасибо за этот очень ясный ответ!
Не подскажете, где можно прочитать, как выводится формула вращения вокруг произвольной оси?
Извините, но у меня нет ссылки на книгу/бумагу. Финал р ( Θ ) известна как формула Родригеса. Вывод из Википедии кажется мне сложным. Приведенное выше расширение экспоненты представляет собой более простой вывод. Вы можете проверить интерпретацию большого пальца/пальцев того, что θ делает, выбирая н ^ "=" ( 0 , 0 , 1 ) и видя что он вращается скажи ( 1 , 0 , 0 ) правильно, θ и Дж преобразуйте как векторы, если вы просматриваете вращение из повернутой системы координат.
На этой неделе я несколько раз возвращался к этому ответу. Это мне очень помогло. Спасибо и надеюсь, вам понравится награда!

возьмите ряд Тейлора для этой матрицы вращения:

р Икс ( θ 1 ) "=" [ 1 0 0 0 потому что ( θ 1 ) грех ( θ 1 ) 0 грех ( θ 1 ) потому что ( θ 1 ) ]

вы получаете

(1) р Икс ( θ 1 ) "=" [ ( 1 ) 0 0 0 ( 1 1 2 θ 1 2 + 1 24 θ 1 4 + О ( θ 1 6 ) ) ( θ 1 + 1 6 θ 1 3 1 120 θ 1 5 + О ( θ 1 6 ) ) 0 ( θ 1 1 6 θ 1 3 + 1 120 θ 1 5 + О ( θ 1 6 ) ) ( 1 1 2 θ 1 2 + 1 24 θ 1 4 + О ( θ 1 6 ) ) ]

матрица вращения р Икс это также

р Икс "=" опыт ( я θ 1 т 1 )

взять серию Тейлора

р Икс "=" я 3 + Икс + 1 2 Икс Икс + 1 6 Икс Икс Икс +

с Икс "=" я θ 1 т 1

и:

т 1 "=" я [ 0 0 0 0 0 1 0 1 0 ]

таким образом:

(2) р Икс ( θ 1 ) "=" [ ( 1 ) 0 0 0 ( 1 1 2 θ 1 2 + 1 24 θ 1 4 + О ( θ 1 6 ) ) ( θ 1 + 1 6 θ 1 3 1 120 θ 1 5 + О ( θ 1 6 ) ) 0 ( θ 1 1 6 θ 1 3 + 1 120 θ 1 5 + О ( θ 1 6 ) ) ( 1 1 2 θ 1 2 + 1 24 θ 1 4 + О ( θ 1 6 ) ) ]

аналог матрицы вращения р у   и р г

матрица вращения твердого тела теперь:

р Икс ( θ 1 ) р у ( θ 2 ) р г ( θ 3 ) е ( я θ 1 т 1 ) е ( я θ 2 т 2 ) е ( я θ 3 т 3 )

с:

т 2 "=" я [ 0 0 1 0 0 0 1 0 0 ]   , т 3 "=" я [ 0 1 0 1 0 0 0 0 0 ]