Fórmula de Euler-Rodrigues
En matemáticas y mecánica, la fórmula de Euler-Rodrigues describe la rotación de un vector en tres dimensiones. Se basa en la Fórmula de rotación de Rodrigues, pero utiliza una parametrización diferente.
La rotación se describe mediante cuatro parámetros de Euler, ideados por Leonhard Euler. La fórmula de Rodrigues (llamada así por Olinde Rodrigues), un método para calcular la posición de un punto girado, se usa en algunas aplicaciones de software, como simuladores de vuelo y juegos de ordenador.
Definición
Una rotación sobre el origen está representada por cuatro números reales, Plantilla:Mvar, Plantilla:Mvar, Plantilla:Mvar, Plantilla:Mvar, de modo que
Cuando se aplica la rotación, un punto en la posición Plantilla:Math gira a su nueva posición
Formulación vectorial
El parámetro Plantilla:Mvar puede llamarse el parámetro escalar, mientras que la terna Plantilla:Math es el parámetro vectorial. En notación vectorial estándar, la fórmula de rotación de Rodrigues toma la forma compacta Plantilla:Equation box 1
Simetría
Los parámetros Plantilla:Math y Plantilla:Math describen la misma rotación. Además de esta simetría, cada conjunto de cuatro parámetros describe una rotación única en el espacio tridimensional.
Composición de rotaciones
La composición de dos rotaciones es en sí misma es una rotación. Sean Plantilla:Math y Plantilla:Math los parámetros de Euler de dos rotaciones. Los parámetros de la rotación compuesta (rotación 2 después de la rotación 1) son los siguientes:
Es sencillo, aunque tedioso, verificar que Plantilla:Math (es esencialmente la identidad de los cuatro cuadrados de Euler, también utilizada por Rodrigues).
Ángulo de rotación y eje de rotación
Cualquier rotación central en tres dimensiones está determinada únicamente por su eje de rotación (representado por un vector unitario Plantilla:Math) y el ángulo de rotación Plantilla:Math. Los parámetros de Euler para esta rotación se calculan de la siguiente manera:
Téngase en cuenta que si Plantilla:Math aumenta en una rotación completa de 360 grados, los argumentos de seno y coseno solo aumentan en 180 grados. Los parámetros resultantes son lo opuestos a los valores originales, Plantilla:Math; y representan la misma rotación.
En particular, la transformación de identidad (rotación nula, Plantilla:Math) corresponde a los valores de los parámetros Plantilla:Math. Las rotaciones de 180 grados sobre cualquier eje dan como resultado Plantilla:Math.
Conexión con los cuaterniones
Los parámetros de Euler pueden verse como los coeficientes de un cuaternión; el parámetro escalar Plantilla:Mvar es la parte real, los parámetros vectoriales Plantilla:Mvar, Plantilla:Mvar, Plantilla:Mvar son las partes imaginarias. Así, se tiene el cuaternión
que es un cuaternión unitario (o versor) de longitud
Lo más importante, las ecuaciones anteriores para la composición de las rotaciones son precisamente las ecuaciones de la multiplicación de los cuaterniones. En otras palabras, el grupo de cuaterniones unitarios con multiplicación, con módulo de signo negativo, es isomorfo al grupo de las rotaciones y su composición.
Conexión con las matrices de rotación SU(2)
El Grupo de Lie unitario especial puede usarse para representar rotaciones tridimensionales en matrices Plantilla:Nowrap. La matriz SU(2) correspondiente a una rotación, en términos de sus parámetros de Euler, es
Alternativamente, esto se puede escribir como la suma
donde los Plantilla:Mvar son las matrices de espín de Pauli. Por lo tanto, los parámetros de Euler son los coeficientes para la representación de una rotación tridimensional en SU(2).
Véase también
- Formalización de la rotación en tres dimensiones
- Cuaterniones y rotación en el espacio
- Versor
- Espinores en tres dimensiones
- Rotaciones en el espacio euclídeo 4-dimensional
- Grupo de rotación SO(3)