Parámetros 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.
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
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
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.
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).
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.
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.
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).