La teoría de tornillos es el cálculo algebraico de pares de vectores , como fuerzas y momentos o velocidad angular y lineal , que surgen en la cinemática y dinámica de cuerpos rígidos . [1] [2] El marco matemático fue desarrollado por Sir Robert Stawell Ball en 1876 para su aplicación en cinemática y estática de mecanismos (mecánica de cuerpos rígidos). [3]
La teoría de tornillos proporciona una formulación matemática para la geometría de líneas que es fundamental para la dinámica de cuerpos rígidos , donde las líneas forman los ejes de tornillo del movimiento espacial y las líneas de acción de las fuerzas. El par de vectores que forman las coordenadas de Plücker de una línea define un tornillo unitario, y los tornillos generales se obtienen multiplicando por un par de números reales y sumando vectores . [3]
Un resultado importante de la teoría de los tornillos es que los cálculos geométricos para puntos que utilizan vectores tienen cálculos geométricos paralelos para líneas obtenidas al reemplazar vectores con tornillos. Esto se denomina principio de transferencia. [4]
La teoría de los tornillos se ha convertido en una herramienta importante en la mecánica de robots, [5] [6] diseño mecánico, geometría computacional y dinámica multicuerpo . Esto se debe en parte a la relación entre tornillos y cuaterniones duales que se han utilizado para interpolar movimientos de cuerpos rígidos . [7] Basado en la teoría del tornillo, también se ha desarrollado un enfoque eficiente para el tipo de síntesis de mecanismos paralelos (manipuladores paralelos o robots paralelos). [8]
Los teoremas fundamentales incluyen el teorema de Poinsot ( Louis Poinsot , 1806) y el teorema de Chasles ( Michel Chasles , 1832). Felix Klein vio la teoría de los tornillos como una aplicación de la geometría elíptica y su Programa Erlangen . [9] También desarrolló geometría elíptica y una nueva visión de la geometría euclidiana, con la métrica de Cayley-Klein . Harvey Lipkin describió el uso de una matriz simétrica para una cónica y métrica de von Staudt , aplicada a tornillos. [10] Otros colaboradores destacados incluyen a Julius Plücker , WK Clifford , FM Dimentberg , Kenneth H. Hunt , JR Phillips. [11]
Conceptos básicos
Un desplazamiento espacial de un cuerpo rígido se puede definir mediante una rotación alrededor de una línea y una traslación a lo largo de la misma línea, denominada desplazamiento de tornillo. Esto se conoce como teorema de Chasles . Los seis parámetros que definen el desplazamiento de un tornillo son los cuatro componentes independientes del vector Plücker que define el eje del tornillo, junto con el ángulo de rotación alrededor y el deslizamiento lineal a lo largo de esta línea, y forman un par de vectores llamados tornillo . A modo de comparación, los seis parámetros que definen un desplazamiento espacial también pueden estar dados por tres ángulos de Euler que definen la rotación y los tres componentes del vector de traslación.
Tornillo
Un tornillo es un vector de seis dimensiones construido a partir de un par de vectores tridimensionales, como fuerzas y momentos de torsión y velocidad lineal y angular, que surgen en el estudio del movimiento espacial de cuerpos rígidos. Los componentes del tornillo definen las coordenadas de Plücker de una línea en el espacio y las magnitudes del vector a lo largo de la línea y el momento alrededor de esta línea.
Llave inglesa
Los vectores de fuerza y par que surgen al aplicar las leyes de Newton a un cuerpo rígido se pueden ensamblar en un tornillo llamado llave . Una fuerza tiene un punto de aplicación y una línea de acción, por lo tanto, define las coordenadas de Plücker de una línea en el espacio y tiene paso cero. Un par, por otro lado, es un momento puro que no está ligado a una línea en el espacio y es un tornillo de paso infinito. La relación de estas dos magnitudes define el paso del tornillo.
Giro
Un giro representa la velocidad de un cuerpo rígido como una velocidad angular alrededor de un eje y una velocidad lineal a lo largo de este eje. Todos los puntos del cuerpo tienen el mismo componente de velocidad a lo largo del eje, sin embargo, cuanto mayor es la distancia desde el eje, mayor es la velocidad en el plano perpendicular a este eje. Por tanto, el campo helicoidal formado por los vectores de velocidad en un cuerpo rígido en movimiento se aplana cuanto más lejos están los puntos radialmente del eje de torsión.
Los puntos de un cuerpo que experimentan un movimiento de tornillo constante trazan hélices en el marco fijo. Si este movimiento de tornillo tiene paso cero, entonces las trayectorias trazan círculos y el movimiento es una rotación pura. Si el movimiento del tornillo tiene un paso infinito, entonces las trayectorias son todas líneas rectas en la misma dirección.
Álgebra de tornillos
Sea un tornillo un par ordenado
donde S y V son vectores reales tridimensionales. La suma y la diferencia de estos pares ordenados se calculan por componentes. Los tornillos a menudo se denominan vectores duales .
Ahora, introduzca el par ordenado de números reales â = ( a , b ) llamado escalar dual . Sea la suma y resta de estos números por componentes y defina la multiplicación como
La multiplicación de un tornillo S = ( S , V ) por el escalar dual â = ( a , b ) se calcula en componentes para ser,
Finalmente, introduzca los productos de puntos y cruces de los tornillos mediante las fórmulas:
que es un escalar dual, y
que es un tornillo. Los productos de puntos y cruces de los tornillos satisfacen las identidades del álgebra de vectores y permiten cálculos que directamente son paralelos a los cálculos en el álgebra de vectores.
Deje que el escalar dual ẑ = ( φ , d ) defina un ángulo dual , entonces las definiciones de series infinitas de seno y coseno producen las relaciones
que también son escalares duales. En general, la función de una variable dual se define como f (ẑ) = ( f ( φ ), df ′ ( φ )), donde f ′ ( φ ) es la derivada de f ( φ ).
Estas definiciones permiten los siguientes resultados:
- Los tornillos unitarios son coordenadas de Plücker de una línea y satisfacen la relación
- Sea ẑ = ( φ , d ) el ángulo dual, donde φ es el ángulo entre los ejes de S y T alrededor de su normal común, yd es la distancia entre estos ejes a lo largo de la normal común, entonces
- Sea N el tornillo unitario que define la normal común a los ejes de S y T , y ẑ = ( φ , d ) es el ángulo dual entre estos ejes, entonces
Llave inglesa
Un ejemplo común de un tornillo es la llave asociada con una fuerza que actúa sobre un cuerpo rígido. Sea P el punto de aplicación de la fuerza F y sea P el vector que ubica este punto en un marco fijo. La llave W = ( F , P × F ) es un tornillo. La fuerza y el momento resultantes obtenidos de todas las fuerzas F i , i = 1, ..., n , que actúan sobre un cuerpo rígido es simplemente la suma de las llaves individuales W i , es decir
Observe que el caso de dos fuerzas iguales pero opuestas F y - F que actúan en los puntos A y B respectivamente, produce la resultante
Esto muestra que los tornillos de la forma
se puede interpretar como momentos puros.
Giro
Para definir la torsión de un cuerpo rígido, debemos considerar su movimiento definido por el conjunto parametrizado de desplazamientos espaciales, D (t) = ([A (t)], d (t)), donde [A] es un matriz de rotación yd es un vector de traslación. Esto hace que un punto p que está fijo en las coordenadas del cuerpo en movimiento trace una curva P (t) en el marco fijo dado por,
La velocidad de P es
donde v es la velocidad del origen del marco en movimiento, es decir d d / dt. Ahora sustituya p = [ A T ] ( P - d ) en esta ecuación para obtener,
donde [Ω] = [d A / d t ] [ A T ] es la matriz de velocidad angular y ω es el vector de velocidad angular.
El tornillo
es el giro del cuerpo en movimiento. El vector V = v + d × ω es la velocidad del punto en el cuerpo que se corresponde con el origen del marco fijo.
Hay dos casos especiales importantes: (i) cuando d es constante, es decir v = 0, entonces la torsión es una rotación pura alrededor de una línea, luego la torsión es
y (ii) cuando [Ω] = 0, es decir, el cuerpo no gira sino que solo se desliza en la dirección v , entonces el giro es un deslizamiento puro dado por
Articulaciones revolucionarias
Para una articulación de revolución , deje que el eje de rotación pase por el punto q y se dirija a lo largo del vector ω , entonces la torsión de la articulación viene dada por,
Juntas prismáticas
Para una articulación prismática , deje que el vector v que apunta defina la dirección del deslizamiento, luego el giro de la articulación viene dado por,
Transformación de coordenadas de tornillos
Las transformaciones de coordenadas para tornillos se entienden fácilmente comenzando con las transformaciones de coordenadas del vector de línea de Plücker, que a su vez se obtienen a partir de las transformaciones de las coordenadas de puntos en la línea.
Sea D = ([ A ], d ) el desplazamiento de un cuerpo , donde [ A ] es la matriz de rotación yd es el vector de traslación. Considere la línea en el cuerpo definido por los dos puntos p y q , que tiene las coordenadas plucker ,
luego en el marco fijo tenemos las coordenadas de los puntos transformados P = [ A ] p + d y Q = [ A ] q + d , que ceden.
Por lo tanto, un desplazamiento espacial define una transformación para las coordenadas de Plücker de las líneas dadas por
La matriz [ D ] es la matriz de simetría sesgada que realiza la operación de producto cruzado, es decir [ D ] y = d × y .
La matriz de 6 × 6 obtenida del desplazamiento espacial D = ([ A ], d ) se puede ensamblar en la matriz dual
que opera sobre un tornillo s = ( s . v ) para obtener,
La matriz dual [ Â ] = ([ A ], [ DA ]) tiene un determinante 1 y se denomina matriz ortogonal dual .
Giros como elementos de un álgebra de Lie
Considere el movimiento de un cuerpo rígido definido por la transformada homogénea 4x4 parametrizada,
Esta notación no distingue entre P = ( X , Y , Z , 1) y P = ( X , Y , Z ), que es de esperar que sea claro en el contexto.
La velocidad de este movimiento se define calculando la velocidad de las trayectorias de los puntos en el cuerpo,
El punto denota la derivada con respecto al tiempo, y como p es constante, su derivada es cero.
Sustituya la transformada inversa de p en la ecuación de velocidad para obtener la velocidad de P operando en su trayectoria P ( t ), es decir
dónde
Recuerde que [Ω] es la matriz de velocidad angular. La matriz [ S ] es un elemento del álgebra de Lie se (3) del grupo de Lie SE (3) de transformadas homogéneas. Los componentes de [ S ] son los componentes del tornillo de torsión y, por esta razón, a [ S ] también se le llama a menudo torsión.
A partir de la definición de la matriz [ S ], podemos formular la ecuación diferencial ordinaria,
y pregunte por el movimiento [ T ( t )] que tiene una matriz de torsión constante [ S ]. La solución es la matriz exponencial
Esta formulación se puede generalizar de manera que dada una configuración inicial g (0) en SE ( n ), y un giro ξ en se ( n ), la transformación homogénea a una nueva ubicación y orientación se puede calcular con la fórmula,
donde θ representa los parámetros de la transformación.
Tornillos por reflejo
En geometría de transformación , el concepto elemental de transformación es la reflexión (matemáticas) . En las transformaciones planas se obtiene una traslación por reflexión en líneas paralelas, y la rotación se obtiene por reflexión en un par de líneas que se cruzan. Para producir una transformación de tornillo a partir de conceptos similares se deben utilizar planos en el espacio : los planos paralelos deben ser perpendiculares al eje del tornillo , que es la línea de intersección de los planos de intersección que generan la rotación del tornillo. Por tanto, cuatro reflejos en planos efectúan una transformación de tornillo. La tradición de la geometría inversa toma prestadas algunas de las ideas de la geometría proyectiva y proporciona un lenguaje de transformación que no depende de la geometría analítica .
Homografia
La combinación de una traslación con una rotación efectuada por un desplazamiento de tornillo se puede ilustrar con el mapeo exponencial . Esta idea en geometría de transformación fue propuesta por Sophus Lie hace más de un siglo. Incluso antes, William Rowan Hamilton mostró la forma versora de los cuaterniones unitarios como exp ( ar ) = cos a + r sin a . La idea también está en la fórmula de Euler parametrizar el círculo unitario en el plano complejo .
Dado que ε 2 = 0 para números duales , exp ( aε ) = 1 + aε , todos los demás términos de la serie exponencial desaparecen.
Sea F = {1 + εr : r ∈ H }, ε 2 = 0. Note que F es estable bajo la rotación q → p −1 qp y bajo la traslación (1 + εr ) (1 + εs ) = 1 + ε ( r + s ) para cuaterniones vectoriales r y s . F es un 3-plana en el espacio de ocho dimensional de cuaterniones duales . Esta F de 3 planos representa el espacio , y la homografía construida, restringida a F , es un desplazamiento de tornillo del espacio.
Sea a la mitad del ángulo del giro deseado alrededor del eje r , y br la mitad del desplazamiento en el eje del tornillo . Luego forme z = exp (( a + bε ) r ) yz * = exp (( a - bε ) r ). Ahora la homografía es
La inversa de z * es
entonces, la homografía envía q a
Ahora, para cualquier vector de cuaternión p , p * = - p , sea q = 1 + pε ∈ F donde se efectúan la rotación y traslación requeridas.
William Kingdon Clifford inició el uso de cuaterniones duales para la cinemática , seguido de Aleksandr Kotelnikov , Eduard Study ( Geometrie der Dynamen ) y Wilhelm Blaschke . Sin embargo, el punto de vista de Sophus Lie se ha repetido. [12] En 1940, Julian Coolidge describió el uso de cuaterniones duales para desplazamientos de tornillos en la página 261 de A History of Geometrical Methods . Señala la contribución de 1885 de Arthur Buchheim . [13] Coolidge basó su descripción simplemente en las herramientas que Hamilton había utilizado para cuaterniones reales.
Evidentemente, el grupo de unidades del anillo de cuaterniones duales es un grupo de Lie . Un subgrupo tiene Lie álgebra generada por los parámetros AR y Bs , donde un , b ∈ R y r , s ∈ H . Estos seis parámetros generan un subgrupo de unidades, la esfera unitaria. Por supuesto, incluye F y la 3-esfera de versores .
Trabajo de fuerzas que actúan sobre un cuerpo rígido
Considere el conjunto de fuerzas F 1 , F 2 ... F n que actúan sobre los puntos X 1 , X 2 ... X n en un cuerpo rígido. Las trayectorias de X i , i = 1, ..., n están definidas por el movimiento del cuerpo rígido con rotación [ A ( t )] y la traslación d ( t ) de un punto de referencia en el cuerpo, dada por
donde x i son coordenadas en el cuerpo en movimiento.
La velocidad de cada punto X i es
donde ω es el vector de velocidad angular yv es la derivada de d ( t ).
El trabajo de las fuerzas sobre el desplazamiento δ r i = v i δt de cada punto está dado por
Defina las velocidades de cada punto en términos del giro del cuerpo en movimiento para obtener
Expanda esta ecuación y recopile los coeficientes de ω y v para obtener
Introducir el giro del móvil y la llave que actúa sobre él dado por
entonces el trabajo toma la forma
La matriz de 6 × 6 [Π] se utiliza para simplificar el cálculo del trabajo mediante tornillos, de modo que
dónde
y [I] es la matriz identidad de 3 × 3.
Tornillos recíprocos
Si el trabajo virtual de una llave en un giro es cero, entonces las fuerzas y el torque de la llave son fuerzas de restricción relativas al giro. Se dice que la llave y el giro son recíprocos, es decir, si
entonces los tornillos W y T son recíprocos.
Giros en robótica
En el estudio de sistemas robóticos, los componentes de la torsión a menudo se trasponen para eliminar la necesidad de la matriz 6 × 6 [Π] en el cálculo del trabajo. [4] En este caso, el giro se define como
por lo que el cálculo del trabajo toma la forma
En este caso, si
entonces la llave de W es recíproco al giro T .
Ver también
- Eje de tornillo
- Las ecuaciones de Newton-Euler utilizan tornillos para describir los movimientos y la carga de un cuerpo rígido.
- Twist (matemáticas)
- Twist (trigonometría racional)
Referencias
- ^ Dimentberg, FM (1965) El cálculo del tornillo y sus aplicaciones en mecánica , traducción de la División de tecnología extranjera FTD-HT-23-1632-67
- ^ Yang, AT (1974) "Cálculo de tornillos" en Preguntas básicas de la teoría del diseño , William R. Spillers (ed.), Elsevier, págs. 266-281.
- ↑ a b Ball, RS (1876). La teoría de los tornillos: un estudio de la dinámica de un cuerpo rígido . Hodges, Foster.
- ^ a b McCarthy, J. Michael; Soh, Gim Song (2010). Diseño geométrico de vínculos . Saltador. ISBN 978-1-4419-7892-9.
- ^ Featherstone, Roy (1987). Algoritmos de dinámica de robots . Pub académico Kluwer. ISBN 978-0-89838-230-3.
- ^ Featherstone, Roy (2008). Algoritmos de dinámica de robots . Saltador. ISBN 978-0-387-74315-8.
- ^ Selig, JM (2011) "Interpolación racional de los movimientos del cuerpo rígido", Avances en la teoría de control, señales y sistemas con modelado físico, Notas de la conferencia en Ciencias de la información y el control, Volumen 407/2011 213-224, doi : 10.1007 / 978-3-642-16135-3_18 Springer.
- ^ Kong, Xianwen; Gosselin, Clément (2007). Tipo Síntesis de mecanismos paralelos . Saltador. ISBN 978-3-540-71990-8.
- ^ Felix Klein (1902) (traductor de DH Delphenich) Sobre la teoría de los tornillos de Sir Robert Ball
- ^ Harvey Lipkin (1983) Metrical Geometry Archivado el 5 de marzo de 2016 en la Wayback Machine de la Georgia Tech University
- ^ Clifford, William Kingdon (1873), "Bosquejo preliminar de Biquaternions", Documento XX, Documentos matemáticos , p. 381.
- ^ Xiangke Wang, Dapeng Han, Changbin Yu y Zhiqiang Zheng (2012) "La estructura geométrica de los cuaterniones duales unitarios con aplicación en control cinemático", Journal of Mathematical Analysis and Applications 389 (2): 1352 a 64
- ^ Buchheim, Arthur (1885). "Una memoria sobre biquaternions". Revista Estadounidense de Matemáticas . 7 (4): 293–326. doi : 10.2307 / 2369176 . JSTOR 2369176 .
enlaces externos
- Joe Rooney William Kingdon Clifford , Departamento de Diseño e Innovación, Open University, Londres.
- Notas de Ravi Banavar sobre robótica, geometría y control