Fórmula de Euler-Rodrigues

Expresión paramétrica que permite optimizar el cálculo de la composición de giros en tres dimensiones

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

editar

Una rotación sobre el origen está representada por cuatro números reales, a, b, c, d, de modo que

 

Cuando se aplica la rotación, un punto en la posición x gira a su nueva posición

 

Formulación vectorial

editar

El parámetro a puede llamarse el parámetro escalar, mientras que la terna ω = (b, c, d) es el parámetro vectorial. En notación vectorial estándar, la fórmula de rotación de Rodrigues toma la forma compacta

 

Simetría

editar

Los parámetros (a, b, c, d) y (−a, −b, −c, −d) 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

editar

La composición de dos rotaciones es en sí misma es una rotación. Sean (a1, b1, c1, d1) y (a2, b2, c2, d2) 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 a2 + b2 + c2 + d2 = 1 (es esencialmente la identidad de los cuatro cuadrados de Euler, también utilizada por Rodrigues).

Ángulo de rotación y eje de rotación

editar

Cualquier rotación central en tres dimensiones está determinada únicamente por su eje de rotación (representado por un vector unitario k = (kx, ky, kz)) y el ángulo de rotación φ. Los parámetros de Euler para esta rotación se calculan de la siguiente manera:

 

Téngase en cuenta que si φ 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, (−a, −b, −c, −d); y representan la misma rotación.

En particular, la transformación de identidad (rotación nula, φ = 0) corresponde a los valores de los parámetros (a, b, c, d) = (±1, 0, 0, 0). Las rotaciones de 180 grados sobre cualquier eje dan como resultado a = 0.

Conexión con los cuaterniones

editar

Los parámetros de Euler pueden verse como los coeficientes de un cuaternión; el parámetro escalar a es la parte real, los parámetros vectoriales b, c, d 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)

editar

El Grupo de Lie unitario especial puede usarse para representar rotaciones tridimensionales en matrices 2 × 2. 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 σi 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

editar

Referencias

editar