Una matriz de rotación infinitesimal o matriz de rotación diferencial es una matriz que representa una rotación infinitamente pequeña .
Mientras que una matriz de rotación es una matriz ortogonal que representa un elemento de (el grupo ortogonal especial ), el diferencial de una rotación es una matriz simétrica sesgada en el espacio tangente (el álgebra de Lie ortogonal especial ), que no es en sí misma una matriz de rotación.
Una matriz de rotación infinitesimal tiene la forma
donde está la matriz identidad, es extremadamente pequeña y
Por ejemplo, si se representa una rotación tridimensional infinitesimal alrededor del eje x , un elemento base de
Las reglas de cálculo para matrices de rotación infinitesimales son las habituales, excepto que los infinitesimales de segundo orden se eliminan habitualmente. Con estas reglas, estas matrices no satisfacen las mismas propiedades que las matrices de rotación finita ordinarias bajo el tratamiento habitual de infinitesimales. [1] Resulta que el orden en el que se aplican las rotaciones infinitesimales es irrelevante .
Una matriz de rotación infinitesimal es una matriz simétrica sesgada donde:
La forma de la matriz es la siguiente:
Asociado a una matriz de rotación infinitesimal hay un tensor de rotación infinitesimal :
Dividiéndolo por la diferencia de tiempo se obtiene el tensor de velocidad angular :
Estas matrices no satisfacen las mismas propiedades que las matrices de rotación finita ordinarias bajo el tratamiento habitual de infinitesimales. [2] Para entender lo que esto significa, considere
Primero, pruebe la condición de ortogonalidad , Q T Q = I. El producto es
que difiere de una matriz identidad por infinitesimales de segundo orden, descartados aquí. Entonces, de primer orden, una matriz de rotación infinitesimal es una matriz ortogonal.
A continuación, examine el cuadrado de la matriz,
Descartando nuevamente los efectos de segundo orden, observe que el ángulo simplemente se duplica. Esto sugiere la diferencia más esencial en el comportamiento, que podemos exhibir con la ayuda de una segunda rotación infinitesimal,
Compare los productos dA x dA y con dA y dA x ,
Como es de segundo orden, lo descartamos: así, para primer orden, la multiplicación de matrices de rotación infinitesimales es conmutativa . De hecho,
nuevamente al primer orden. En otras palabras, el orden en el que se aplican las rotaciones infinitesimales es irrelevante .
Este hecho útil hace, por ejemplo, que la derivación de la rotación de un cuerpo rígido sea relativamente simple. Pero siempre hay que tener cuidado de distinguir (el tratamiento de primer orden de) estas matrices de rotación infinitesimales tanto de las matrices de rotación finitas como de los elementos del álgebra de Lie. Al contrastar el comportamiento de las matrices de rotación finitas en la fórmula de Baker-Campbell-Hausdorff anterior con el de las matrices de rotación infinitesimales, donde todos los términos del conmutador serán infinitesimales de segundo orden, se encuentra un espacio vectorial genuino. Técnicamente, este rechazo de cualquier término de segundo orden equivale a una contracción del grupo .
Supongamos que especificamos un eje de rotación mediante un vector unitario [ x , y , z ], y supongamos que tenemos una rotación infinitamente pequeña de ángulo Δ θ alrededor de ese vector. Expandiendo la matriz de rotación como una suma infinita y adoptando el enfoque de primer orden, la matriz de rotación Δ R se representa como:
Una rotación finita que pasa por el ángulo θ alrededor de este eje puede verse como una sucesión de pequeñas rotaciones alrededor del mismo eje. Aproximando Δ θ como θ / N , donde N es un número grande, una rotación de θ alrededor del eje se puede representar como:
Se puede ver que el teorema de Euler establece esencialmente que todas las rotaciones pueden representarse de esta forma. El producto Aθ es el "generador" de la rotación particular, siendo el vector ( x , y , z ) asociado a la matriz A. Esto muestra que la matriz de rotación y el formato eje-ángulo están relacionados por la función exponencial.
Se puede derivar una expresión simple para el generador G. Se comienza con un plano arbitrario [3] definido por un par de vectores unitarios perpendiculares a y b . En este plano se puede elegir un vector arbitrario x con perpendicular y . Luego se resuelve para y en términos de x y al sustituir en una expresión una rotación en un plano se obtiene la matriz de rotación R , que incluye el generador G = ba T − ab T.
Para incluir vectores fuera del plano en la rotación es necesario modificar la expresión anterior para R incluyendo dos operadores de proyección que particionen el espacio. Esta matriz de rotación modificada se puede reescribir como una función exponencial .
El análisis suele ser más fácil en términos de estos generadores que de la matriz de rotación completa. El análisis en términos de generadores se conoce como álgebra de Lie del grupo de rotación.
Conectar el álgebra de Lie con el grupo de Lie es el mapa exponencial , que se define usando la serie exponencial matricial estándar para e A [4] Para cualquier matriz simétrica sesgada A , exp( A ) es siempre una matriz de rotación. [a]
Un ejemplo práctico importante es el caso 3 × 3 . En el grupo de rotación SO(3) , se muestra que se puede identificar cada A ∈ entonces (3) con un vector de Euler ω = θ u , donde u = ( x , y , z ) es un vector de magnitud unitaria.
Por las propiedades de la identificación su (2) ≅ R 3 , u está en el espacio nulo de A . Por lo tanto, u queda invariante por exp( A ) y, por tanto, es un eje de rotación.
Usando la fórmula de rotación de Rodrigues en forma matricial con θ = θ ⁄ 2 + θ ⁄ 2 , junto con las fórmulas estándar de doble ángulo, se obtiene,
Esta es la matriz para una rotación alrededor del eje u por el ángulo θ en forma de medio ángulo. Para obtener detalles completos, consulte el mapa exponencial SO(3) .
Observe que para ángulos infinitesimales los términos de segundo orden se pueden ignorar y permanecen exp( A ) = I + A
Las matrices simétricas sesgadas sobre el campo de números reales forman el espacio tangente al grupo ortogonal real en la matriz identidad; formalmente, el álgebra especial de Lie ortogonal . En este sentido, entonces, las matrices simétricas sesgadas pueden considerarse rotaciones infinitesimales .
Otra forma de decir esto es que el espacio de matrices simétricas sesgadas forma el álgebra de Lie del grupo de Lie. El soporte de Lie en este espacio viene dado por el conmutador :
Es fácil comprobar que el conmutador de dos matrices asimétricas es nuevamente simétrico asimétrico:
La matriz exponencial de una matriz sesgada es entonces una matriz ortogonal :
La imagen del mapa exponencial de un álgebra de Lie siempre se encuentra en el componente conexo del grupo de Lie que contiene el elemento identidad. En el caso del grupo de Lie, este componente conectado es el grupo ortogonal especial que consta de todas las matrices ortogonales con determinante 1. Por lo tanto, tendrá determinante +1. Además, dado que el mapa exponencial de un grupo de Lie compacto conectado es siempre sobreyectivo, resulta que cada matriz ortogonal con determinante unitario puede escribirse como exponencial de alguna matriz simétrica sesgada. En el importante caso particular de la dimensión, la representación exponencial de una matriz ortogonal se reduce a la conocida forma polar de un número complejo de módulo unitario. De hecho, si una matriz ortogonal especial tiene la forma
con . Por lo tanto, poniendo y se puede escribir
que corresponde exactamente a la forma polar de un número complejo de módulo unitario.
La representación exponencial de una matriz ortogonal de orden también se puede obtener a partir del hecho de que en dimensión cualquier matriz ortogonal especial se puede escribir como donde es ortogonal y S es una matriz diagonal de bloques con bloques de orden 2, más uno de orden 1 si es extraño; dado que cada bloque de orden 2 es también una matriz ortogonal, admite una forma exponencial. En consecuencia, la matriz S se escribe como exponencial de una matriz de bloques simétrica sesgada de la forma anterior, de modo que exponencial de la matriz simétrica sesgada. A la inversa, la sobreyectividad del mapa exponencial, junto con la diagonalización de bloques mencionada anteriormente para sesgos- matrices simétricas, implica la diagonalización de bloques para matrices ortogonales.