Diferentes fórmulas para rotaciones SO(3)SO(3)\rm SO(3)

Para S O ( 3 ) rotaciones, los elementos del grupo están dados por las matrices estándar de Euler R X ( θ X ) , R y ( θ y ) y R z ( θ z ) para rotaciones en el espacio 3D:

R X ( θ X ) = [ 1 0 0 0 porque θ X pecado θ X 0 pecado θ X porque θ X ]
R y ( θ y ) = [ porque θ y 0 pecado θ y 0 1 0 pecado θ y 0 porque θ y ]
R z ( θ ) = [ porque θ z pecado θ z 0 pecado θ z porque θ z 0 0 0 1 ]
Los generadores correspondientes j X , j y y j z se definen de tal manera que
R X ( θ X ) = mi i θ X j X , R y ( θ y ) = mi i θ y j y , R z ( θ z ) = mi i θ z j z .

Luego leí que la transformación de rotación general está dada por

R ( θ ) = mi i θ j ,
dónde j = ( j X , j y , j z ) .

Estoy confundido acerca de para qué sirven los componentes. θ será.

Considere una rotación en el espacio donde primero rotamos por θ z , entonces por θ y y por último θ X , la matriz de rotación debe ser

R ( θ X , θ y , θ z ) = R X ( θ X ) R y ( θ y ) R z ( θ z ) = mi i θ X j X mi i θ y j y mi i θ z j z .
Intuitivamente pensaría que usando el R ( θ ) = mi i θ j fórmula significa usar θ = ( θ X , θ y , θ z ) :
R ( θ ) = mi i θ X j X + i θ y j y + i θ z j z

Sin embargo, como los generadores j X , j y , j z no viajes,

mi i θ X j X mi i θ y j y mi i θ z j z mi i θ X j X + i θ y j y + i θ z j z .
Entonces es incorrecto decir eso θ = ( θ X , θ y , θ z ) . ¿Para qué deberían entonces los componentes θ ¿ser?

@Qmechanic Así que componentes para θ se determinan utilizando la relación de Baker-Campbell-Hausdorff. ¿Es eso correcto?

Respuestas (2)

Tu razonamiento es correcto. Los ángulos de Euler no son las componentes de θ . Esto es lo que θ es.

Dejar θ = ( θ 1 , θ 2 , θ 3 ) = θ norte ^ . Derivamos la matriz 3x3 (es decir: los elementos del grupo R ( θ ) ) para rotar un objeto por θ radianes sobre una dirección arbitraria especificada por el vector unitario norte ^ . Esto significa colocar el pulgar de la mano derecha a lo largo del vector unitario norte ^ y gire el objeto empujando con los dedos de la mano derecha a través del ángulo θ . Para mí, esta es una forma mucho más fácil de parametrizar y visualizar una rotación arbitraria que los ángulos de Euler. Aviso θ = θ 1 2 + θ 2 2 + θ 3 2 .

Como dices en tu pregunta, el elemento de grupo es R ( θ ) = mi i θ j . Esto rota cualquier objeto que incluya vectores con cualquier número de componentes (por ejemplo, una flecha, una roca, un tensor o partículas con diferentes giros). Queremos rotar un vector de 3 por lo que ponemos en la matriz de representación de 3x3 de cada uno de los 3 generadores j = ( j 1 , j 2 , j 3 ) .

Θ = i θ j = i θ 1 [ 0 0 0 0 0 i 0 i 0 ] + i θ 2 [ 0 0 i 0 0 0 i 0 0 ] + i θ 3 [ 0 i 0 i 0 0 0 0 0 ] = [ 0 θ 3 θ 2 θ 3 0 θ 1 θ 2 θ 1 0 ]
Darse cuenta de [ j 1 , j 2 ] = i j 3 lo cual es correcto para generadores de rotación (= momento angular).

Finalmente ampliamos mi Θ en una serie de potencias y multiplicación matricial Θ 's juntos para calcular cada término. Usted encontrará Θ 3 = θ 2 Θ .

R ( Θ ) = mi Θ = I + Θ + Θ 2 2 ! + Θ 3 3 ! + Θ 4 4 ! + = I + Θ ( 1 θ 2 3 ! + θ 4 5 ! . . . ) + Θ 2 ( 1 2 ! θ 2 4 ! + θ 4 6 ! . . . ) R ( Θ ) = I + Θ θ s i norte ( θ ) + Θ 2 θ 2 ( 1 C o s ( θ ) )
Este R ( Θ ) es la matriz para rotar cualquier 3-vector alrededor de un vector unitario arbitrario norte ^ por ángulo θ . Como ejemplo, supongamos norte ^ = ( 0 , 0 , 1 ) , que es una rotación sobre el eje z por theta. Entonces la ecuación final para R produce la matriz de rotación familiar
R ( Θ ) = [ C o s ( θ ) s i norte ( θ ) 0 s i norte ( θ ) C o s ( θ ) 0 0 0 1 ]
Note que mi s i norte ( θ ) es el signo opuesto al suyo porque estoy haciendo una transformación activa en el objeto, mientras que su fórmula es para una transformación pasiva en el eje de coordenadas (es decir: θ pag a s s i v mi = θ a C t i v mi ) .

Gracias por esta respuesta tan clara!
¿Me puede recomendar dónde puedo leer cómo se deriva la fórmula para la rotación sobre un eje arbitrario?
Lo siento, pero no tengo una referencia de libro/artículo. El final R ( Θ ) se conoce como fórmula de Rodrigues. La derivación de Wikipedia me parece complicada. La expansión anterior de la exponencial es una derivación más simple. Puede verificar la interpretación pulgar/dedos de lo que θ hace al elegir norte ^ = ( 0 , 0 , 1 ) y viendo que gira dice ( 1 , 0 , 0 ) correctamente, El θ y j transforme como vectores si ve la rotación desde un sistema de coordenadas rotadas.
Me referí a esta respuesta varias veces esta semana. Me ayudó mucho. ¡Gracias y espero que les guste la generosidad!

tome la serie de Taylor para esta matriz de rotación:

R X ( θ 1 ) = [ 1 0 0 0 porque ( θ 1 ) pecado ( θ 1 ) 0 pecado ( θ 1 ) porque ( θ 1 ) ]

tu obtienes

(1) R X ( θ 1 ) = [ ( 1 ) 0 0 0 ( 1 1 2 θ 1 2 + 1 24 θ 1 4 + O ( θ 1 6 ) ) ( θ 1 + 1 6 θ 1 3 1 120 θ 1 5 + O ( θ 1 6 ) ) 0 ( θ 1 1 6 θ 1 3 + 1 120 θ 1 5 + O ( θ 1 6 ) ) ( 1 1 2 θ 1 2 + 1 24 θ 1 4 + O ( θ 1 6 ) ) ]

la matriz de rotación R X es también

R X = Exp ( i θ 1 τ 1 )

tomar la serie de Taylor

R X = I 3 + X + 1 2 X X + 1 6 X X X +

con X = i θ 1 τ 1

y:

τ 1 = i [ 0 0 0 0 0 1 0 1 0 ]

de este modo:

(2) R X ( θ 1 ) = [ ( 1 ) 0 0 0 ( 1 1 2 θ 1 2 + 1 24 θ 1 4 + O ( θ 1 6 ) ) ( θ 1 + 1 6 θ 1 3 1 120 θ 1 5 + O ( θ 1 6 ) ) 0 ( θ 1 1 6 θ 1 3 + 1 120 θ 1 5 + O ( θ 1 6 ) ) ( 1 1 2 θ 1 2 + 1 24 θ 1 4 + O ( θ 1 6 ) ) ]

análogo para la matriz de rotación R y   y R z

la matriz de rotación del cuerpo rígido es ahora:

R X ( θ 1 ) R y ( θ 2 ) R z ( θ 3 ) mi ( i θ 1 τ 1 ) mi ( i θ 2 τ 2 ) mi ( i θ 3 τ 3 )

con:

τ 2 = i [ 0 0 1 0 0 0 1 0 0 ]   , τ 3 = i [ 0 1 0 1 0 0 0 0 0 ]