El teorema de rotaciones de Euler establece que para cualquier cuerpo rígido, el movimiento con un punto fijo es equivalente a una rotación alrededor de algún eje que pasa por ese punto fijo. Entonces, consideremos un cuerpo rígido con un punto fijo, y para cualquier momento dejar denote el "vector de rotación" de la rotación correspondiente al movimiento del cuerpo rígido entre el tiempo y tiempo . Para quien no lo sepa, el vector de rotación de una rotación es un vector cuya magnitud es igual al ángulo de rotación y que apunta a lo largo del eje de rotación; ver este artículo de Wikipedia .
Ahora, debido a la naturaleza no conmutativa de las rotaciones, la velocidad angular en general no es igual a la derivada temporal de como cabría esperar intuitivamente. La relación entre los dos es considerablemente más complicada:
Ahora bien, esta es una fórmula para el vector de velocidad angular en términos del vector de rotación y su derivada en el tiempo. Pero mi pregunta es, ¿existe una fórmula para el vector de rotación en términos del vector de velocidad angular? Es decir, si supieras lo que fue para todos los tiempos , ¿es posible calcular qué para cualquier valor dado valor de .
Si las rotaciones fueran conmutativas, por supuesto, podrías simplemente integrar de a . Pero no lo son, por lo que es posible que se requiera algo más complicado. Un pensamiento que tuve fue que en mi pregunta y respuesta aquí di la fórmula para la composición de dos vectores de rotación. Entonces, lo que podrías hacer es para cada intervalo de tiempo infinitesimal , podría tomar el vector de rotación del movimiento del cuerpo rígido durante ese intervalo de tiempo, que está dado por (como se puede ver aquí ). Y luego, en principio, podrías componer todos esos infinitamente muchos 's juntos. Pero, ¿alguien sabe cómo funcionaría eso?
EDITAR: para ser claros, quiero una expresión explícita para el vector de rotación en términos del vector de velocidad angular que no hace referencia a las matrices. Si quisiera usar matrices, podría convertir el vector de velocidad angular en una matriz simétrica oblicua, usar la exponencial ordenada en el tiempo para obtener la matriz de rotación, usar el mapa logarítmico para obtener una matriz simétrica oblicua correspondiente a , y luego convertirlo en un vector de rotación. Pero ese no es el tipo de cosa que estoy buscando; Quiero una fórmula completamente en términos de operaciones vectoriales.
Intentaré dar aquí una respuesta muy parcial a la pregunta. No estoy seguro de si es interesante en sí mismo, pero podría proporcionar una pista para un mayor desarrollo. Posiblemente su lugar estaría dentro de un comentario, pero los comentarios tienen una longitud limitada y no cabría.
definamos como el de la pregunta relacionada con lo dado . Identificamos el vector de rotación con la rotación misma. Para y , tenemos por composición simple de rotaciones sucesivas
En el caso muy especial donde todas estas rotaciones conmutan (ejemplo de eje común), el límite es exponencial: tomando el logaritmo y el límite cuando , tenemos
En el caso general no conmutativo, el logaritmo involucrará paréntesis de mentira que comienzan con (cf. fórmula de Dynkin), y parece que se requiere algo más de coraje.
EDITAR: según un comentario a continuación de Keshav Srinivasan, la expresión anterior se convierte en el caso general no conmutativo
Estoy totalmente de acuerdo con el usuario ja72 en abandonar la notación vectorial y trabajar en Lie teóricamente. Estuvieron presentes y como matrices sesgadas simétricas en el álgebra de Lie ; entonces la rotación total es matriz de rotación ortogonal y la velocidad angular instantánea es . Como matrices, y representar las acciones de los productos cruzados en notación vectorial: esto es lo que ja72 significa en su comentario:
Tenga en cuenta que la matriz antisimétrica de 3 × 3 mencionada es si no desea utilizar la notación tensorial para productos cruzados (como en el documento). Lo anterior da
Podemos hacer lo que quieras usando la fórmula general para la derivada de un miembro del grupo de Lie que se establece y demuestra como el Teorema 1.5 en la sección 1.2 de Rossmann, "Grupos de mentira: una introducción a través de grupos lineales":
la notación significa iterar el mapeo de corchetes de Lie para iteraciones
Dado que el operador:
es operador de identidad en (cuando no ha habido rotación y ) y como su determinante es una función continua de , hay algún intervalo de tiempo distinto de cero donde el operador puede ser invertido. Entonces, si te dan luego, para un intervalo de tiempo distinto de cero, puede integrar (probablemente numéricamente):
y haces un seguimiento de y el determinante del operador invertido en todo momento. Cuando el determinante se vuelve más pequeño que algún umbral de "peligro", toma nota del vector de rotación y del operador, realinea sus coordenadas para que la rotación que ha alcanzado se convierta en la orientación de referencia y comience de nuevo. Al final del proceso, tendrá su vector de rotación total y su operador de rotación como producto de los operadores de rotación, cada uno calculado mediante el procedimiento anterior.
La respuesta es de bastante importancia para la comunidad de navegación. El "vector de rotación" a veces se denomina "Vector de Bortz" después de este artículo que aportó cierta importancia a este problema exacto, con el resultado de la derivación que se repite a continuación.
Usando la notación como el vector de rotación, como la magnitud del vector de rotación, siendo el producto vectorial vectorial y siendo la velocidad angular del cuerpo con respecto al espacio de inercia, resuelta en el marco del cuerpo (es decir, lo que mediría un giroscopio):
Shuster detalla varias formas en las que se puede derivar esta ecuación.
Para una aplicación práctica de la ecuación, vea el Capítulo 3.4 de Kim , quien la usa para derivar un bucle de navegación inercial.
Referencias:
Bortz, J, "Una nueva formulación matemática para la navegación inercial con correas", IEEE Transactions on Aerospace and Electronic Systems, 1971, vol7, p61-66.
Shuster, M. "La ecuación cinemática para el vector de rotación", IEEE Transactions on Aerospace and Electronic Systems, 1993, vol.29, p263-267.
Kim, J. "Navegación autónoma para aplicaciones aerotransportadas", tesis doctoral, Universidad de Sydney, 2004.
Este vector eje angular tiene derivada basada en la regla de la cadena
Entonces tienes eso
Pero que es ? Lo encuentras con
Así que ahora tienes esta expresión
...Esto es todo lo lejos que fui...
Juan Alexiou
Keshav Srinivasan
Juan Alexiou
Keshav Srinivasan
Juan Alexiou
Keshav Srinivasan
Juan Alexiou
Selene Routley
fibonático
Keshav Srinivasan