Placa en el puente Broom (Dublín) que conmemora la invención de los cuaterniones por parte de Hamilton
En matemáticas , los cuaterniones duales son un álgebra real de 8 dimensiones isomorfa al producto tensorial de los cuaterniones y los números duales . Por tanto, pueden construirse de la misma manera que los cuaterniones, excepto que utilizan números duales en lugar de números reales como coeficientes. Un cuaternión dual se puede representar en la forma A + ε B , donde A y B son cuaterniones ordinarios y ε es la unidad dual, que satisface ε 2 = 0 y conmuta con cada elemento del álgebra. A diferencia de los cuaterniones, los cuaterniones duales no forman un álgebra de división .
En mecánica , los cuaterniones duales se aplican como un sistema numérico para representar transformaciones rígidas en tres dimensiones. [1] Dado que el espacio de cuaterniones duales es de 8 dimensiones y una transformación rígida tiene seis grados reales de libertad, tres para traslaciones y tres para rotaciones, en esta aplicación se utilizan cuaterniones duales que obedecen a dos restricciones algebraicas. Dado que los cuaterniones unitarios están sujetos a dos restricciones algebraicas, los cuaterniones unitarios son estándar para representar transformaciones rígidas. [2]
De manera similar a la forma en que las rotaciones en el espacio 3D se pueden representar mediante cuaterniones de longitud unitaria, los movimientos rígidos en el espacio 3D se pueden representar mediante cuaterniones duales de longitud unitaria. Este hecho se utiliza en cinemática teórica (ver McCarthy [3] ) y en aplicaciones de gráficos por computadora en 3D , [4] robótica [5] [6] y visión por computadora . [7] Los polinomios con coeficientes dados por cuaterniones duales (norma real distinta de cero) también se han utilizado en el contexto del diseño de enlaces mecánicos . [8] [9]
Historia
WR Hamilton introdujo los cuaterniones [10] [11] en 1843, y hacia 1873 WK Clifford obtuvo una amplia generalización de estos números a la que llamó bicuaterniones , [12] [13] que es un ejemplo de lo que ahora se llama álgebra de Clifford . [3]
En 1898, Alexander McAulay utilizó Ω con Ω 2 = 0 para generar el álgebra dual de cuaterniones. [14] Sin embargo, su terminología de "octoniones" no se mantuvo, ya que los octoniones actuales son otra álgebra.
En Rusia, Aleksandr Kotelnikov [15] desarrolló vectores duales y cuaterniones duales para su uso en el estudio de la mecánica.
En 1891 Eduard Estudio se dio cuenta de que este álgebra asociativa era ideal para describir el conjunto de movimientos del espacio tridimensional . Desarrolló aún más la idea en Geometrie der Dynamen en 1901. [16] BL van der Waerden llamó a la estructura "Estudio de bicuaterniones", una de las tres álgebras de ocho dimensiones denominadas bicuaterniones .
Fórmulas
Para describir operaciones con cuaterniones duales, es útil considerar primero los cuaterniones . [17]
Un cuaternión es una combinación lineal de los elementos básicos 1, i , j y k . La regla del producto de Hamilton para i , j y k a menudo se escribe como
Calcule i ( ijk ) = − jk = − i , para obtener jk = i , y ( ijk ) k = − ij = − k o ij = k . Ahora bien, como j ( jk ) = ji = − k , vemos que este producto produce ij = − ji , que vincula los cuaterniones con las propiedades de los determinantes.
Una forma conveniente de trabajar con el producto del cuaternión es escribir un cuaternión como la suma de un escalar y un vector (estrictamente hablando un bivector ), es decir A = a 0 + A , donde a 0 es un número real y A = A 1 i + A 2 j + A 3 k es un vector tridimensional. Las operaciones vectoriales de punto y cruz ahora se pueden usar para definir el producto del cuaternión de A = a 0 + A y C = c 0 + C como
Un cuaternión dual generalmente se describe como un cuaternión con números duales como coeficientes. Un número dual es un par ordenado â = ( a , b ) . Dos números duales se suman por componentes y se multiplican según la regla â ĉ = ( a , b ) ( c , d ) = ( ac , ad + bc ) . Los números duales a menudo se escriben en la forma â = a + ε b , donde ε es la unidad dual que conmuta con i , j , k y tiene la propiedad ε 2 = 0 .
El resultado es que un cuaternión dual puede escribirse como un par ordenado de cuaterniones ( A , B ) . Dos cuaterniones duales se suman por componentes y se multiplican por la regla,
Es conveniente escribir un cuaternión dual como la suma de un escalar dual y un vector dual, Â = â 0 + A , donde â 0 = ( a , b ) y A = ( A , B ) es el vector dual que define un tornillo . Esta notación nos permite escribir el producto de dos cuaterniones duales como
Suma
La adición de cuaterniones duales se define componente a componente de modo que dado,
y
entonces
Multiplicación
La multiplicación de dos cuaterniones duales se deriva de las reglas de multiplicación para las unidades de cuaterniones i, j, k y de la multiplicación conmutativa por la unidad dual ε. En particular, dado
y
entonces
Observe que no existe un término BD , porque la definición de números duales requiere que ε 2 = 0 .
Esto nos da la tabla de multiplicar (tenga en cuenta que el orden de multiplicación es fila por columna):
Conjugado
El conjugado de un cuaternión dual es la extensión del conjugado de un cuaternión, es decir
Al igual que con los cuaterniones, el conjugado del producto de cuaterniones duales, Ĝ = ÂĈ , es el producto de sus conjugados en orden inverso,
Es útil introducir las funciones Sc(∗) y Vec(∗) que seleccionan las partes escalar y vectorial de un cuaternión, o las partes escalar dual y vectorial dual de un cuaternión dual. En particular, si  = â 0 + A , entonces
Esto permite la definición del conjugado de  como
o,
El producto de un cuaternión dual con su conjugado produce
Este es un escalar dual que es la magnitud al cuadrado del cuaternión dual.
Conjugado de números duales
Un segundo tipo de conjugado de un cuaternión dual se obtiene tomando el conjugado de número dual, dado por
Los conjugados de cuaternión y número dual se pueden combinar en una tercera forma de conjugado dada por
En el contexto de los cuaterniones duales, el término "conjugado" puede usarse para referirse al conjugado de cuaternión, al conjugado de número dual o ambos.
Norma
La norma de un cuaternión dual | | se calcula usando el conjugado para calcular | | = √ Â Â * . Este es un número dual llamado magnitud del cuaternión dual. Cuaterniones duales con | | = 1 son cuaterniones duales unitarios .
Se utilizan cuaterniones duales de magnitud 1 para representar desplazamientos espaciales euclidianos. Observe que el requisito de que   * = 1 , introduce dos restricciones algebraicas en los componentes de  , es decir
Inverso
Si p + ε q es un cuaternión dual y p no es cero, entonces el cuaternión dual inverso viene dado por
p −1 (1 − ε q p −1 ).
Así, los elementos del subespacio { ε q : q ∈ H } no tienen inversas. Este subespacio se llama ideal en la teoría de anillos. Resulta ser el único ideal máximo del anillo de números duales.
El grupo de unidades del anillo numérico dual se compone entonces de números que no se encuentran en el ideal. Los números duales forman un anillo local ya que existe un ideal máximo único. El grupo de unidades es un grupo de Lie y se puede estudiar mediante el mapeo exponencial . Se han utilizado cuaterniones duales para exhibir transformaciones en el grupo euclidiano . Un elemento típico se puede escribir como una transformación de tornillo .
Cuaterniones duales y desplazamientos espaciales.
Un beneficio de la formulación del cuaternión dual de la composición de dos desplazamientos espaciales D B = ([ R B ], b ) y D A = ([ R A ], a ) es que el cuaternión dual resultante produce directamente el eje del tornillo y el doble ángulo del desplazamiento compuesto D C = D B D A .
En general, el cuaternión dual asociado con un desplazamiento espacial D = ([ A ], d ) se construye a partir de su eje de tornillo S = ( S , V ) y el ángulo dual ( φ , d ) donde φ es la rotación alrededor y d el deslizamiento a lo largo de este eje, que define el desplazamiento D . El cuaternión dual asociado viene dado por,
Sea la composición del desplazamiento D B con D A el desplazamiento D C = D B D A . El eje del tornillo y el ángulo dual de D C se obtienen del producto de los cuaterniones duales de D A y D B , dado por
Es decir, el desplazamiento compuesto D C =D B D A tiene el cuaternión dual asociado dado por
Ampliar este producto para obtener
Divida ambos lados de esta ecuación por la identidad
para obtener
Esta es la fórmula de Rodrigues para el eje del tornillo de un desplazamiento compuesto definido en términos de los ejes del tornillo de los dos desplazamientos. Derivó esta fórmula en 1840. [18]
Los tres ejes de los tornillos A, B y C forman un triángulo espacial y los ángulos duales en estos vértices entre las normales comunes que forman los lados de este triángulo están directamente relacionados con los ángulos duales de los tres desplazamientos espaciales.
Forma matricial de multiplicación de cuaterniones duales
La representación matricial del producto de cuaterniones es conveniente para programar cálculos de cuaterniones usando álgebra matricial, lo cual también es válido para operaciones de cuaterniones duales.
El producto del cuaternión AC es una transformación lineal realizada por el operador A de los componentes del cuaternión C, por lo tanto hay una representación matricial de A operando sobre el vector formado a partir de los componentes de C.
Reúna los componentes del cuaternión C = c 0 + C en la matriz C = (C 1 , C 2 , C 3 , c 0 ) . Observe que los componentes de la parte vectorial del cuaternión se enumeran primero y el escalar se enumera al final. Esta es una elección arbitraria, pero una vez seleccionada esta convención debemos respetarla.
El producto del cuaternión AC ahora se puede representar como el producto de la matriz.
El producto AC también puede verse como una operación de C sobre los componentes de A, en cuyo caso tenemos
El producto dual del cuaternión ÂĈ = (A, B)(C, D) = (AC, AD+BC) se puede formular como una operación matricial de la siguiente manera. Reúna los componentes de Ĉ en la matriz de ocho dimensiones Ĉ = (C 1 , C 2 , C 3 , c 0 , D 1 , D 2 , D 3 , d 0 ), luego ÂĈ está dado por el producto matricial de 8x8
Como vimos para los cuaterniones, el producto Ĉ puede verse como la operación de Ĉ en el vector de coordenadas Â, lo que significa que ÂĈ también se puede formular como,
Más sobre desplazamientos espaciales
El cuaternión dual de un desplazamiento D=([A], d ) se puede construir a partir del cuaternión S=cos(φ/2) + sin(φ/2) S que define la rotación [A] y el cuaternión vectorial construido a partir de el vector de traducción d , dado por D = d 1 i + d 2 j + d 3 k. Usando esta notación, el cuaternión dual para el desplazamiento D=([A], d ) viene dado por
Sean las coordenadas de Plücker de una línea en la dirección x que pasa por un punto p en un cuerpo en movimiento y sus coordenadas en el marco fijo que está en la dirección X que pasa por el punto P están dadas por,
Luego, el cuaternión dual del desplazamiento de este cuerpo transforma las coordenadas de Plücker en el marco móvil en coordenadas de Plücker en el marco fijo mediante la fórmula
Usando la forma matricial del producto del cuaternión dual, esto se convierte en,
Este cálculo se gestiona fácilmente mediante operaciones matriciales.
Cuaterniones duales y transformaciones homogéneas 4×4
Podría resultar útil, especialmente en el movimiento de cuerpos rígidos, representar cuaterniones duales unitarios como matrices homogéneas . Como se indicó anteriormente, un cuaternión dual se puede escribir como: donde r y d son ambos cuaterniones. El cuaternión r se conoce como parte real o rotacional y el cuaternión se conoce como parte dual o de desplazamiento.
La parte de rotación puede estar dada por
donde es el ángulo de rotación alrededor de la dirección dada por el vector unitario . La parte de desplazamiento se puede escribir como
.
El equivalente de cuaternión dual de un vector 3D es
y su transformación por está dada por [19]
.
Estos cuaterniones duales (o en realidad sus transformaciones en vectores 3D) se pueden representar mediante la matriz de transformación homogénea
Además de ser el producto tensorial de dos álgebras de Clifford, los cuaterniones y los números duales , los cuaterniones duales tienen otras dos formulaciones en términos de álgebras de Clifford.
Primero, los cuaterniones duales son isomorfos al álgebra de Clifford generada por 3 elementos anticonmutantes , con y . Si definimos y , entonces las relaciones que definen los cuaterniones duales están implícitas en estos y viceversa. En segundo lugar, los cuaterniones duales son isomorfos a la parte par del álgebra de Clifford generada por 4 elementos anticonmutantes con
Dado que tanto Eduard Study como William Kingdon Clifford usaron y escribieron sobre cuaterniones duales, en ocasiones los autores se refieren a los cuaterniones duales como "bicuaterniones de estudio" o "bicuaterniones de Clifford". Este último epónimo también se ha utilizado para referirse a bicuaterniones divididos . Lea el artículo de Joe Rooney vinculado a continuación para conocer la opinión de un partidario de la afirmación de WK Clifford. Dado que las afirmaciones de Clifford y Study están en desacuerdo, es conveniente utilizar la designación actual de cuaternión dual para evitar conflictos.
^ AT Yang, Aplicación del álgebra de cuaterniones y números duales al análisis de mecanismos espaciales , tesis doctoral, Universidad de Columbia, 1963.
^ Valverde, Alfredo; Tsiotras, Panagiotis (2018). "Marco de cuaternión dual para el modelado de sistemas robóticos multicuerpo montados en naves espaciales". Fronteras en robótica e inteligencia artificial . 5 : 128. doi : 10.3389/frobt.2018.00128 . ISSN 2296-9144. PMC 7805728 . PMID 33501006.
^ ab McCarthy, JM (1990). Introducción a la cinemática teórica. Prensa del MIT. págs. 62–5. ISBN9780262132527.
^ Kenwright, Ben. "Cuaterniones duales: de la mecánica clásica a los gráficos por computadora y más" (PDF) . Consultado el 24 de diciembre de 2022 .
^ Figueredo, LFC; Adorno, BV; Ishihara, JY; Borges, GA (2013). "Control cinemático robusto de robots manipuladores mediante representación dual de cuaterniones". Conferencia Internacional IEEE 2013 sobre Robótica y Automatización . págs. 1949-1955. doi :10.1109/ICRA.2013.6630836. ISBN978-1-4673-5643-5. S2CID 531000.
^ Vilhena Adorno, Bruno (2017). Modelado y control cinemático de robots basado en el álgebra de cuaterniones duales - Parte I: Fundamentos.
^ A. Torsello, E. Rodolà y A. Albarelli, Registro multivista mediante difusión gráfica de cuaterniones duales, Proc. de la XXIV Conferencia IEEE sobre visión por computadora y reconocimiento de patrones, págs. 2441-2448, junio de 2011.
^ Li, Zijia; Schröcker, Hans-Peter; Scharler, Daniel F. (7 de septiembre de 2022). "Una caracterización completa de polinomios de movimiento acotado que admiten una factorización con factores lineales". arXiv : 2209.02306 [matemáticas.RA].
^ Huczala, D.; Siegele, J.; Thimm, D.; Pfurner, M.; Schröcker, H.-P. (2024). Vínculos racionales: de poses a prototipos impresos en 3D . Avances en cinemática de robots 2024. arXiv : 2403.00558 .
^ WR Hamilton, "Sobre cuaterniones o sobre un nuevo sistema de imaginarios en álgebra", Phil. revista 18, entregas julio de 1844 - abril de 1850, ed. por DE Wilkins (2000)
^ WR Hamilton, Elementos de cuaterniones, Longmans, Green & Co., Londres, 1866
^ WK Clifford, "Bosquejo preliminar de bicuaterniones, Proc. London Math. Soc. Vol. 4 (1873) págs. 381–395
^ O. Bottema y B. Roth, Cinemática teórica, Publ. de Holanda Septentrional. Co., 1979
^ Rodrigues, O. (1840), Des lois géométriques qui régissent les déplacements d'un système solide dans l'espace, et la variación des coordonnées provenant de ses déplacements considérés indépendamment des cause qui peuvent les produire, Journal de Mathématiques Pures et Appliquées de Liouville 5, 380–440.
^ Cuaterniones duales para combinación de transformaciones rígidas, p. 4.
Fuentes
AT Yang (1963) Aplicación del álgebra de cuaterniones y números duales al análisis de mecanismos espaciales , tesis doctoral, Universidad de Columbia .
AT Yang (1974) "Cálculo de tornillos" en Preguntas básicas de teoría del diseño , William R. Spillers, editor, Elsevier , páginas 266 a 281.
JM McCarthy (1990) Introducción a la cinemática teórica , págs. 62–5, MIT Press ISBN 0-262-13252-4 .
L. Kavan, S. Collins, C. O'Sullivan, J. Zara (2006) Cuaterniones duales para la combinación de transformaciones rígidas, Informe técnico, Trinity College Dublin.
Joe Rooney William Kingdon Clifford, Departamento de Diseño e Innovación, Open University, Londres.
Joe Rooney (2007) "William Kingdon Clifford", en Marco Ceccarelli, Figuras distinguidas en ciencia de mecanismos y máquinas , Springer.
Leclercq, Guillaume; Lefèvre, Philippe; Blohm, Gunnar (2013). "Cinemática 3D mediante cuaterniones duales: teoría y aplicaciones en neurociencia". Fronteras en neurociencia conductual . 7 : 7. doi : 10.3389/fnbeh.2013.00007 . PMC 3576712 . PMID 23443667.
Fischer, Ian (1998). Métodos de números duales en cinemática, estática y dinámica . Prensa CRC. ISBN 978-0-8493-9115-6.
E. Pennestri y R. Stefanelli (2007) Álgebra lineal y algoritmos numéricos que utilizan números duales, publicado en Multibody System Dynamics 18(3):323–349.
E. Pennestri y PP Valentini, Cuaterniones duales como herramienta para el análisis del movimiento del cuerpo rígido: un tutorial con aplicación a la biomecánica, ARCHIWUM BUDOWY MASZYN , vol. 57, págs. 187-205, 2010
E. Pennestri y PP Valentini, Algoritmos de álgebra dual lineal y su aplicación a la cinemática, dinámica multicuerpo , octubre de 2008, págs. 207–229, doi :10.1007/978-1-4020-8829-2_11
Kenwright, Ben (2012). Una guía para principiantes sobre cuaterniones duales: qué son, cómo funcionan y cómo usarlos para jerarquías de personajes en 3D (PDF) . Congreso Internacional sobre Gráficos por Computadora, Visualización y Visión por Computadora. págs. 1-13.
DP Chevallier (1996) "Sobre el principio de transferencia en cinemática: sus diversas formas y limitaciones", Mechanism and Machine Theory 31(1):57–76.
MA Gungor (2009) "Movimientos esféricos duales de Lorentz y fórmulas duales de Euler-Savary", European Journal of Mechanics A Solids 28(4):820–6.
Blaschke, Wilhelm (1958). "Anwendung dualer Quaternionen auf Kinematik". Annales Academiae Scientiarum Fennicae . Gesammelte Werke. 2 : 1–13.Traducción al inglés por DH Delphenich.
Blaschke, Wilhelm . Cinemática y cuaterniones . Berlín: Deutscher Verlag der Wissenschaften.Traducción al inglés por DH Delphenich.
enlaces externos
Caja de herramientas de doble cuaternión, una caja de herramientas de Matlab.
DQrobotics: una biblioteca independiente de código abierto para utilizar cuaterniones duales en el modelado y control de robots.