Uploaded by amin_f000

Dual quaternion

advertisement
Dual quaternion
In mathematics, the dual quaternions are an 8-dimensional real algebra isomorphic to the tensor product of the quaternions and the dual numbers.
Thus, they may be constructed in the same way as the quaternions, except using dual numbers instead of real numbers as coefficients. A dual
quaternion can be represented in the form A + εB, where A and B are ordinary quaternions and ε is the dual unit, which satisfies ε2 = 0 and commutes
with every element of the algebra. Unlike quaternions, the dual quaternions do not form a division algebra.
In mechanics, the dual quaternions are applied as a number system to represent rigid transformations in three dimensions.[1] Since the space of dual
quaternions is 8-dimensional and a rigid transformation have six real degrees of freedom, three for translations and three for rotations, dual
quaternions obeying two algebraic constraints are used in this application.
Similar to the way that rotations in 3d space can be represented by quaternions of unit length, rigid motions in 3d space can be represented by dual
quaternions of unit length. This fact is used in theoretical kinematics (see McCarthy[2]), and in applications to 3D computer graphics, robotics and
computer vision.[3]
Plaque on Broom bridge (Dublin)
commemorating Hamilton's
invention of quaternions
Contents
History
Formulas
Addition
Multiplication
Conjugate
Dual number conjugate
Norm
Inverse
Dual quaternions and spatial displacements
Matrix form of dual quaternion multiplication
More on spatial displacements
Dual quaternions and 4×4 homogeneous transforms
Connection to Clifford algebras
Eponyms
See also
References
Further reading
External links
/
History
W. R. Hamilton introduced quaternions[4][5] in 1843, and by 1873 W. K. Clifford obtained a broad generalization of these numbers that he called biquaternions,[6][7] which is an example
of what is now called a Clifford algebra.[2]
In 1898 Alexander McAulay used Ω with Ω2 = 0 to generate the dual quaternion algebra.[8] However, his terminology of "octonions" did not stick as today's octonions are another algebra.
In Russia, Aleksandr Kotelnikov[9] developed dual vectors and dual quaternions for use in the study of mechanics.
In 1891 Eduard Study realized that this associative algebra was ideal for describing the group of motions of three-dimensional space. He further developed the idea in Geometrie der
Dynamen in 1901.[10] B. L. van der Waerden called the structure "Study biquaternions", one of three eight-dimensional algebras referred to as biquaternions.
Formulas
In order to describe operations with dual quaternions, it is helpful to first consider quaternions.[11]
A quaternion is a linear combination of the basis elements 1, i, j, and k. Hamilton's product rule for i, j, and k is often written as
Compute i ( i j k ) = −j k = −i, to obtain j k = i, and ( i j k ) k = −i j = −k or i j = k. Now because j ( j k ) = j i = −k, we see that this product yields i j = −j i, which links quaternions to the
properties of determinants.
A convenient way to work with the quaternion product is to write a quaternion as the sum of a scalar and a vector, that is A = a0 + A, where a0 is a real number and A = A1 i + A2 j + A3 k is
a three dimensional vector. The vector dot and cross operations can now be used to define the quaternion product of A = a0 + A and C = c0 + C as
A dual quaternion is usually described as a quaternion with dual numbers as coefficients. A dual number is an ordered pair â = ( a, b ). Two dual numbers add componentwise and
multiply by the rule â ĉ = ( a, b ) ( c, d ) = (a c, a d + b c). Dual numbers are often written in the form â = a + εb, where ε is the dual unit that commutes with i, j, k and has the property
ε2 = 0.
The result is that a dual quaternion can be written as an ordered pair of quaternions ( A, B ). Two dual quaternions add componentwise and multiply by the rule,
It is convenient to write a dual quaternion as the sum of a dual scalar and a dual vector, Â = â0 + A, where â0 = ( a, b ) and A = ( A, B ) is the dual vector that defines a screw. This notation
allows us to write the product of two dual quaternions as
Addition
The addition of dual quaternions is defined componentwise so that given,
/
and
then
Multiplication
Multiplication of two dual quaternion follows from the multiplication rules for the quaternion units i, j, k and commutative multiplication by the dual unit ε. In particular, given
and
then
Notice that there is no BD term, because the definition of dual numbers requires that ε2 = 0.
This gives us the multiplication table (note the multiplication order is row times column):
Multiplication table for dual quaternion units
(Row x Column)
1
i
j
k
ε
εi
εj
εk
1
1
i
j
k
ε
εi
εj
εk
i
i
−1
k
−j
εi
−ε
εk
−εj
j
j
−k
−1
i
εj
−εk
−ε
εi
k
k
j
−i
−1
εk
εj
−εi
−ε
ε
ε
εi
εj
εk
0
0
0
0
εi
εi
−ε
εk
−εj
0
0
0
0
εj
εj
−εk
−ε
εi
0
0
0
0
εk
εk
εj
−εi
−ε
0
0
0
0
Conjugate
/
The conjugate of a dual quaternion is the extension of the conjugate of a quaternion, that is
As with quaternions, the conjugate of the product of dual quaternions, Ĝ = ÂĈ, is the product of their conjugates in reverse order,
It is useful to introduce the functions Sc(∗) and Vec(∗) that select the scalar and vector parts of a quaternion, or the dual scalar and dual vector parts of a dual quaternion. In particular, if
 = â0 + A, then
This allows the definition of the conjugate of  as
or,
The product of a dual quaternion with its conjugate yields
This is a dual scalar which is the magnitude squared of the dual quaternion.
Dual number conjugate
A second type of conjugate of a dual quaternion is given by taking the dual number conjugate, given by
The quaternion and dual number conjugates can be combined into a third form of conjugate given by
In the context of dual quaternions, the term "conjugate" can be used to mean the quaternion conjugate, dual number conjugate, or both.
Norm
The norm of a dual quaternion |Â| is computed using the conjugate to compute |Â| = √ Â* . This is a dual number called the magnitude of the dual quaternion. Dual quaternions with
|Â| = 1 are unit dual quaternions.
/
Dual quaternions of magnitude 1 are used to represent spatial Euclidean displacements. Notice that the requirement that  Â* = 1, introduces two algebraic constraints on the components
of Â, that is
Inverse
If p + ε q is a dual quaternion, and p is not zero, then the inverse dual quaternion is given by
p−1 (1 − ε q p−1).
Thus the elements of the subspace { ε q : q ∈ H } do not have inverses. This subspace is called an ideal in ring theory. It happens to be the unique maximal ideal of the ring of dual
numbers.
The group of units of the dual number ring then consists of numbers not in the ideal. The dual numbers form a local ring since there is a unique maximal ideal. The group of units is a Lie
group and can be studied using the exponential mapping. Dual quaternions have been used to exhibit transformations in the Euclidean group. A typical element can be written as a screw
transformation.
Dual quaternions and spatial displacements
A benefit of the dual quaternion formulation of the composition of two spatial displacements DB = ([RB], b) and DA = ([RA],a) is that the resulting dual quaternion yields directly the screw
axis and dual angle of the composite displacement DC = DBDA.
In general, the dual quaternion associated with a spatial displacement D = ([A], d) is constructed from its screw axis S = (S, V) and the dual angle (φ, d) where φ is the rotation about and
d the slide along this axis, which defines the displacement D. The associated dual quaternion is given by,
Let the composition of the displacement DB with DA be the displacement DC = DBDA. The screw axis and dual angle of DC is obtained from the product of the dual quaternions of DA and
DB, given by
That is, the composite displacement DC=DBDA has the associated dual quaternion given by
Expand this product in order to obtain
/
Divide both sides of this equation by the identity
to obtain
This is Rodrigues' formula for the screw axis of a composite displacement defined in terms of the screw axes of the two displacements. He derived this formula in 1840.[12]
The three screw axes A, B, and C form a spatial triangle (https://books.google.com/books?id=f8I4yGVi9ocC&lpg=PP1&pg=PA64#v=twopage&q&f=false) and the dual angles at these
vertices between the common normals that form the sides of this triangle are directly related to the dual angles of the three spatial displacements.
Matrix form of dual quaternion multiplication
The matrix representation of the quaternion product is convenient for programming quaternion computations using matrix algebra, which is true for dual quaternion operations as well.
The quaternion product AC is a linear transformation by the operator A of the components of the quaternion C, therefore there is a matrix representation of A operating on the vector
formed from the components of C.
Assemble the components of the quaternion C = c0 + C into the array C = (C1, C2, C3, c0). Notice that the components of the vector part of the quaternion are listed first and the scalar is
listed last. This is an arbitrary choice, but once this convention is selected we must abide by it.
The quaternion product AC can now be represented as the matrix product
The product AC can also be viewed as an operation by C on the components of A, in which case we have
The dual quaternion product ÂĈ = (A, B)(C, D) = (AC, AD+BC) can be formulated as a matrix operation as follows. Assemble the components of Ĉ into the eight dimensional array Ĉ = (C1,
C2, C3, c0, D1, D2, D3, d0), then ÂĈ is given by the 8x8 matrix product
/
As we saw for quaternions, the product ÂĈ can be viewed as the operation of Ĉ on the coordinate vector Â, which means ÂĈ can also be formulated as,
More on spatial displacements
The dual quaternion of a displacement D=([A], d) can be constructed from the quaternion S=cos(φ/2) + sin(φ/2)S that defines the rotation [A] and the vector quaternion constructed
from the translation vector d, given by D = d1i + d2j + d3k. Using this notation, the dual quaternion for the displacement D=([A], d) is given by
Let the Plücker coordinates of a line in the direction x through a point p in a moving body and its coordinates in the fixed frame which is in the direction X through the point P be given by,
Then the dual quaternion of the displacement of this body transforms Plücker coordinates in the moving frame to Plücker coordinates in the fixed frame by the formula
Using the matrix form of the dual quaternion product this becomes,
This calculation is easily managed using matrix operations.
Dual quaternions and 4×4 homogeneous transforms
It might be helpful, especially in rigid body motion, to represent dual quaternions as homogeneous matrices. As given above a dual quaternion can be written as:
are both quaternions. The r quaternion is known as the real or rotational part and the quaternion is known as the dual or displacement part.
where r and d
The rotation part can be given by
where
is the angle of rotation about the direction given by unit vector . The displacement part can be written as
.
/
The dual-quaternion equivalent of a 3D-vector is
and its transformation by
is given by[13]
.
These dual quaternions (or actually their transformations on 3D-vectors) can be represented by the homogeneous transformation matrix
where the 3×3 orthogonal matrix is given by
For the 3D-vector
the transformation by T is given by
Connection to Clifford algebras
Besides being the tensor product of two Clifford algebras, the quaternions and the dual numbers, the dual quaternions have two other formulations in terms of Clifford algebras.
First, dual quaternions are isomorphic to the Clifford algebra generated by 3 anticommuting elements i, j, e with i2 = j2 = -1 and e2 = 0. If we define k = ij and ε = k, then the relations
defining the dual quaternions are implied by these and vice versa. Second, the dual quaternions are isomorphic to the even part of the Clifford algebra generated by 4 anticommuting
elements
with
For details, see Clifford algebras: dual quaternions.
/
Eponyms
Since both Eduard Study and William Kingdon Clifford used and wrote about dual quaternions, at times authors refer to dual quaternions as "Study biquaternions" or "Clifford
biquaternions". The latter eponym has also been used to refer to split-biquaternions. Read the article by Joe Rooney linked below for view of a supporter of W.K. Clifford's claim. Since the
claims of Clifford and Study are in contention, it is convenient to use the current designation dual quaternion to avoid conflict.
See also
Screw theory
Rational motion
Quaternions and spatial rotation
Conversion between quaternions and Euler angles
Olinde Rodrigues
Dual complex number
References
Notes
7. W. K. Clifford, Mathematical Papers, (ed. R. Tucker), London: Macmillan, 1882.
1. A.T. Yang, Application of Quaternion Algebra and Dual Numbers to the Analysis of
8. Alexander McAulay (1898) Octonions: a development of Clifford's Biquaternions (https://
Spatial Mechanisms, Ph.D thesis, Columbia University, 1963.
archive.org/details/octonionsdevelop00mcaurich), link from Internet Archive
2. J. M. McCarthy, An Introduction to Theoretical Kinematics, pp. 62–5, MIT Press 1990. (h
9.
A. P. Kotelnikov (1895) Screw calculus and some applications to geometry and
ttps://books.google.com/books?id=glOqQgAACAAJ&dq=inauthor:%22J.+M.+McCarth
mechanics, Annal. Imp. Univ. Kazan
y%22&hl=en&ei=_QoMToDvMcfd0QGFh-mvDg&sa=X&oi=book_result&ct=book-thumbn
10. Eduard Study (1901) Geometrie der Dynamen, Teubner, Leipzig
ail&resnum=3&ved=0CDsQ6wEwAg)
3. A. Torsello, E. Rodolà and A. Albarelli, Multiview Registration via Graph Diffusion of Dual 11. O. Bottema and B. Roth, Theoretical Kinematics, North Holland Publ. Co., 1979 (https://
books.google.com/books?id=f8I4yGVi9ocC&printsec=frontcover&source=gbs_ge_summ
Quaternions, Proc. of the XXIV IEEE Conference on Computer Vision and Pattern
ary_r&cad=0#v=onepage&q&f=false)
Recognition, pp. 2441-2448, June 2011. (http://www.dsi.unive.it/~rodola/cvpr11-dual.pdf)
12. Rodrigues, O. (1840), Des lois géométriques qui régissent les déplacements d’un
4. W. R. Hamilton, "On quaternions, or on a new system of imaginaries in algebra," Phil.
système solide dans l’espace, et la variation des coordonnées provenant de ses
Mag. 18, installments July 1844 – April 1850, ed. by D. E. Wilkins (2000)
déplacements considérés indépendamment des causes qui peuvent les produire,
5. W. R. Hamilton, Elements of Quaternions, Longmans, Green & Co., London, 1866 (http
Journal de Mathématiques Pures et Appliquées de Liouville 5, 380–440.
s://archive.org/details/elementsofquater00hamirich)
13. Dual Quaternions for Rigid Transformation Blending (https://www.cs.utah.edu/~ladislav/k
6. W. K. Clifford, "Preliminary sketch of bi-quaternions, Proc. London Math. Soc. Vol. 4
avan06dual/kavan06dual.pdf), p. 4.
(1873) pp. 381–395
Sources
A.T. Yang (1963) Application of quaternion algebra and dual numbers to the analysis of spatial mechanisms, Ph.D thesis, Columbia University.
A.T. Yang (1974) "Calculus of Screws" in Basic Questions of Design Theory, William R. Spillers, editor, Elsevier, pages 266 to 281.
J.M. McCarthy (1990) An Introduction to Theoretical Kinematics, pp. 62–5, MIT Press ISBN 0-262-13252-4.
L. Kavan, S. Collins, C. O'Sullivan, J. Zara (2006) Dual Quaternions for Rigid Transformation Blending (https://www.cs.tcd.ie/publications/tech-reports/reports.06/TCD-CS-200646.pdf), Technical report, Trinity College Dublin.
/
Joe Rooney William Kingdon Clifford (http://oro.open.ac.uk/8455/01/chapter4(020507).pdf), Department of Design and Innovation, the Open University, London.
Joe Rooney (2007) "William Kingdon Clifford", in Marco Ceccarelli, Distinguished figures in mechanism and machine science, Springer.
Eduard Study (1891) "Von Bewegungen und Umlegung", Mathematische Annalen 39:520.
Further reading
Ian Fischer (1998). Dual-Number Methods in Kinematics, Statics and Dynamics. CRC Press. ISBN 978-0-8493-9115-6.
E. Pennestri & R. Stefanelli (2007) Linear Algebra and Numerical Algorithms Using Dual Numbers, published in Multibody System Dynamics 18(3):323–349.
E. Pennestri and P. P. Valentini, Dual Quaternions as a Tool for Rigid Body Motion Analysis: A Tutorial with an Application to Biomechanics (https://www.researchgate.net/publication/2
28873531_Dual_Quaternions_as_a_Tool_for_Rigid_Body_Motion_Analysis_A_Tutorial_with_an_Application_to_Biomechanics), ARCHIWUM BUDOWY MASZYN, vol. 57, pp. 187–
205, 2010
E. Pennestri and P. P. Valentini, Linear Dual Algebra Algorithms and their Application to Kinematics (https://www.researchgate.net/publication/225875518_Linear_Dual_Algebra_Algorit
hms_and_their_Application_to_Kinematics), Multibody Dynamics, October 2008, pp. 207–229, doi:10.1007/978-1-4020-8829-2_11 (https://doi.org/10.1007%2F978-1-4020-8829-2_11)
D.P. Chevallier (1996) "On the transference principle in kinematics: its various forms and limitations", Mechanism and Machine Theory 31(1):57–76.
M.A. Gungor (2009) "Dual Lorentzian spherical motions and dual Euler-Savary formulas", European Journal of Mechanics A Solids 28(4):820–6.
External links
Wilhelm Blaschke (1958) D.H. Delphenich translator, "Applications of dual quaternions to kinematics" (http://neo-classical-physics.info/uploads/3/0/6/5/3065888/blaschke_-_dual_quat
ernions.pdf)
Wilhelm Blaschke (1960) D.H. Delphenich translator, Quaternions and Kinematics (http://neo-classical-physics.info/uploads/3/0/6/5/3065888/blaschke_-_kinematics_and_quaternions.
pdf) from Neo-classical-physics.info.
Dual Quaternions, A beginners guide to dual-quaternions (http://wscg.zcu.cz/wscg2012/short/a29-full.pdf) Ben Kenwright
Dual Quaternions: From Classical Mechanics to Computer Graphics and Beyond (http://www.xbdev.net/misc_demos/demos/dual_quaternions_beyond/paper.pdf) Ben Kenwright
Retrieved from "https://en.wikipedia.org/w/index.php?title=Dual_quaternion&oldid=949025185"
This page was last edited on 4 April 2020, at 08:16 (UTC).
Text is available under the Creative Commons Attribution-ShareAlike License; additional terms may apply. By using this site, you agree to the Terms of Use and Privacy Policy. Wikipedia® is a registered trademark of the
Wikimedia Foundation, Inc., a non-profit organization.
/
Download