1. Introduction
Although classical, studying the motion of rigid solid bodies is still an interesting field in robotics [
1,
2,
3,
4,
5,
6,
7,
8,
9], computer vision [
10,
11,
12], kinematic equations and robot manipulation [
13], Cosserat media, molecular dynamics, and astrodynamics [
14,
15,
16,
17,
18,
19,
20,
21,
22,
23,
24,
25,
26,
27,
28,
29,
30,
31,
32,
33,
34]. The representation of the integration of the translational component with that of the rotational motion of a rigid motion is possible if we consider the rigid motion not only as a motion of points but also as a motion of directed lines. Mathematically, this equivalence corresponds to the isomorphism between the Lie group SE (3) and the Lie group of orthogonal dual tensors [
3]. Thus, a homogeneous matrix (the generic element of SE (3)) uniquely corresponds to a dual orthogonal tensor (the generic element of
). The reinvention of unit quaternions for studying rigid rotations (equivalent to the Euler–Rodrigues parameters) suggested the dual version of the notion: unit dual quaternion. It inherits the character of non-singularity and the correspondence with homogeneous matrices dedicated to rigid motion. In the past decades, theoretical bases were reevaluated, and a different technique emerged from the theory of the dual algebra realm [
2,
3,
4,
5,
10,
11,
12,
14,
15,
16,
18,
35,
36,
37,
38,
39,
40,
41,
42,
43,
44]. Numerous applications have utilized dual quaternions, developing multiple algorithms for the kinematic equations associated with robotic manipulators [
1,
2,
3,
4,
5,
6,
7,
8,
9], hand-eye calibration [
10,
11,
12], serial and parallel robotic systems control [
13], astrodynamics [
14,
15,
16,
17,
18,
19,
20,
21,
22,
23,
24,
25,
26,
27,
28,
29,
30,
31,
32,
33,
34], etc. [
10,
11,
12,
14,
15,
16,
18,
39,
40,
42,
43,
44,
45,
46].
This paper aims to present a general framework for rigid body displacements in SE (3) through the Lie group parametrization and rigid body motions using dual algebra [
47,
48,
49,
50,
51,
52].
The novelty of this paper is the approach of higher-order fractional Cayley transforms from the Lie algebra of the Lie group of unit dual quaternions [
53]. The closed-form expression of this transform and its inverse are explicitly determined, coordinate-free, and in closed form. By the inverse of this higher-order fractional Cayley map (the inverse of the modified Cayley transform is a multi-valued function with n-branches), the higher-order Rodrigues dual vector parameter and their shadow are obtained in explicit form. A novel modification of the fractional Cayley transform for vectorial parameterizations of various parameterizations embeds multiple documented attitude parameterization Cayley transforms while expanding their applicability to pose parameterization. Regarding the motion of a rigid body, a unitary method for the dual kinematic equation (the Poisson–Darboux problem) is presented via a dual tangent operator of higher-order fractional Cayley transforms for dual vector parameterization by rigid body motion. According to the authors’ knowledge, this paper presents it for the first time.
The paper is structured as follows: in the second section, a mathematical preliminary for dual algebra (dual numbers, dual vectors, dual tensors) is introduced. Using these mathematical results, we investigate in the third section the rigid body motion parameterization through an orthogonal dual tensor, and two equivalent representations are provided. Using these findings, we investigate in the fourth and fifth sections the unit dual quaternions, homomorphism with orthogonal dual tensors, and higher-order Cayley map. In the seventh section, the definition and properties of the higher-order fractional Cayley transform are presented. Moreover, kinematic equations and tangent operators for multiple parameterizations with applications are discussed. The last section presents the conclusions and further works.
2. Mathematical Preliminaries
In the following section, we provide properties of dual numbers, dual vectors, and dual tensors. Additional details can be found in the following references: [
35,
36,
42,
45,
46].
2.1. Dual Numbers
We denote the set of real dual numbers as
:
where
represents the real component of
and
signifies the dual component. The operations of addition and multiplication among dual numbers establish a ring in
that incorporates a zero divisor structure. This paper emphasizes several properties of dual numbers, with a focus on magnitude and the inverse. The square of a dual number’s magnitude adheres to the relationship
, computable using
. Conversely, denoted by
, the inverse of a dual number exists solely when
, determined through
. Additionally, a dual number
qualifies as a zero divisor if and only if
. These properties indicate that the structure
forms a ring that is both commutative and unitary, where each element
is either invertible or a zero divisor.
Any differentiable function
is completely defined on
such that:
Based on the previous property, we can compute:
2.2. Dual Vectors
In the Euclidean space, the linear space of free vectors with dimension 3 is denoted by
. The ensemble of dual vectors is defined as:
where
is the real part of
and
is the dual part. For dual vectors, three products are considered: scalar product (denoted by
), cross product (denoted by
) and triple scalar product (denoted by
). Regarding the algebraic structure,
is a free
-module [
42].
For any dual vector
, the magnitude of
, denoted by
, is the dual number which fulfills
and can be computed using:
where
is the Euclidean norm. If
, then
is called the unit dual vector.
Proposition 1 [
42]
. For any , a dual number , and a unit dual vector exist to have:The computational formulas for and , are Also, for , and are unique up to a sign change. The result emphasizes that any dual vector , with corresponds with a labeled directed line in the Euclidean three-dimensional space. This directed line has the following parametric equation: . If the parametric equation is
2.3. Dual Tensors
A
-linear mapping of
into
is called a Euclidean dual tensor:
Any tensor within the Euclidean dual space is referred to succinctly as a dual tensor, and
denotes the free
-module of dual tensors. Each dual tensor
is subject to decomposition into
, with both
standing as real tensors. Furthermore, the transposed dual tensor, denoted by
, is defined by:
while,
,
the determinant is:
For any dual vector
the associated skew-symmetric dual tensor is denoted by
and is defined by:
The previous definition leads us to the following result: for any skew-symmetric dual tensor , there exists a distinct and unique dual vector such that the relationship . The set of skew-symmetric dual tensors forms a structured entity specifically a free -module of rank 3 that is isomorphic with .
Focusing on describing the dual tensor, in this paper we will use the category of invariants called linear invariants, which are denoted by
where:
for any
with
[
42,
45].
Given two dual vectors
and
,
denotes a dual tensor called
tensor (dyadic) product and is defined by:
An important property of Equation (12) is
. If
is a right handed orthonormal basis of dual vectors, and
,
, the dyadic product
is linked to a matrix of dual numbers computed as
, where
and
. Also, the skew-symmetric tensor is linked to a matrix of dual numbers
. More details on relations between dual numbers, dual vectors, and dual matrices can be found in [
36,
45].
3. Rigid Body Motion Parameterization through Orthogonal Dual Tensors
Let the orthogonal dual tensor set be denoted by:
where
represents the set of real special orthogonal dual tensors and
stands as the unit orthogonal dual tensor. The internal structure of any orthogonal dual tensor
is illustrated in a series of results that were detailed in our previous work [
45].
Theorem 1 [
45]
. (Structure Theorem). For any ,
a unique decomposition is viable: where and are called structural invariants. Next, we introduce an isomorphism between the Lie group and the Lie group :
Theorem 2 [
45]
. (Isomorphism theorem). The special Euclidean group and are connected via the isomorphism:where .
The inverse of is:
where .
Considering the Lie group structure of
and the result presented in the previous theorems, we ascertain that any orthogonal dual tensor
can be used to globally parameterize displacements of rigid bodies, as detailed in references [
45,
46].
Theorem 3 [
45]
. (Representation Theorem). For any orthogonal dual tensor defined as in Equation (14), a dual number and a dual unit vector can be computed to have:
The computational formulas for
, are:
The parameters
and
are called the natural invariants of
. The unit dual vector
gives the Plücker representation of the Mozzi–Chalses axis [
35], while the dual angle
contains the rotation angle
and the translation distance
. If
, then we have the parameterization of a rotation, while for
the parameterization describes translation.
Theorem 4. The natural invariants can be used to directly recover the structural invariants and from Equation (14): Proof. To prove Equation (19), we need to use Equations (14) and (17). If these equations are equal, then the structure of their dual parts lead to the result presented in Equation (19). □
4. Dual Quaternions and Orthogonal Dual Tensors
A dual quaternion can be defined as an associated pair of a dual scalar quantity and a free dual vector [
17,
18,
36,
41]:
The set of dual quaternions will be denoted as and is a -module of rank 4, if dual quaternion addition and multiplication with dual numbers are considered.
The product of two dual quaternions
and
is defined by:
Given the properties outlined above, it emerges that the -module evolves into an associative, non-commutative linear dual algebra of the fourth order, grounded in the foundational structure of dual numbers. For every dual quaternion, as characterized by Equation (20), the following can be computed: the conjugate denoted by , and the norm, denoted by . When perceived purely within the context of a free -module, contains two remarkable submodules, namely and . The initial submodule assembles entities of the form , establishing an isomorphism with , and the second one, containing the pairs , achieving an isomorphism with . Moreover, the expression of any dual quaternion can be written as , where and , or , where , are real quaternions.
Denoting the set of real unit quaternions and the set of dual unit quaternions paves the way for understanding the components of a unit dual quaternion, commonly referred to as dual Euler parameters in their scalar and vector forms.
Theorem 5. For any ,
the following representation is valid:
where and .
Proof. ( From previous equation it follows: and . By denotation Theorem 5 is proved. □
This representation is the quaternion counterpart to Equation (14). Based on Theorem 5, a dual number
and a dual vector
exist so that:
Lemma 1. The mapping denoted , is well defined and onto.
Given the way is constructed, along with the rules governing the multiplication of dual quaternions, we can conclude that the Lie group structure ( being the associated Lie algebra, where the cross-product operation between dual vectors is intrinsic), allows for the global parameterization of all possible rigid body motions.
Using the internal structure of any element from , the following theorem is valid:
Theorem 6. The Lie groups and are linked by an onto homomorphism: Proof. Considering that any dual quaternion can undergo decomposition as indicated in Equation (23), it follows that the expression . This validates that relation Equation (24) is well defined. By straightforward computation, one can confirm that .
Furthermore, any orthogonal dual tensor can be expressed as per Theorem 3, specifically, . Consequently, it is possible to identify a dual quaternion such that , substantiating that operates as a surjective homomorphism. The proof is thus complete. □
An important property of the previous homomorphism is that for and we can associate the same orthogonal dual tensor, which shows that Equation (24) is not injective and is a double cover of .
5. Cayley Transform for Dual Orthogonal Tensors
The Lie algebra of
is the skew-symmetric dual tensors set denoted by
, where the internal mapping is
[
45]. The link between the Lie algebra
, the Lie group
, and the exponential map is given by:
Theorem 7. [
45].
The mappingis well defined and onto.
A screw axis is representable through a unit dual vector, while the screw parameters (the angle of rotation about the screw and the translation along the screw axis) can be combined into a dual angle. The computation of the screw axis intertwines with the task of calculating the logarithm of an orthogonal dual tensor, represented as
, as it involves a multifunction defined by
and is the inverse of Equation (25).
Based on Theorem 3, for any orthogonal dual tensor , a Euler dual vector can be computed and represents the screw dual vector which embeds the screw axis and screw parameters. The form of implies that . The types of rigid displacements that can be parameterized by are: (i) general screw displacement (if and ); (ii) pure translation (if and ); and (iii) pure rotation ( and ). Also, if , Theorem 3 can be used to uniquely recover the Euler dual vector which is equivalent to computing .
The first-order Cayley transform is a map between the Lie algebra and the Lie group .
Theorem 8. The mapis well defined and onto.
Proof. For any
, the value of
is:
while
Equations (28) and (29) prove that the first-order Cayley transform is well defined.
The computation for the inverse of tensor
:
Equations (27) and (30) leads to:
Considering
result:
where
. Therefore, the first-order Cayley transform is onto. □
The previous theorem leads to the following result:
Corollary 1. The parametrization is associated with pure rotation if and only if . Conversely, when , represents pure translation. In all other cases, the mapping describes a general rigid body displacement.
A dual vector (named Rodrigues dual vector) exists for the purpose of having , and .
6. Cayley Transforms for Unit Dual Quaternions
In this section we studied the Cayley transform from Lie algebra to dual vectors by Lie group of unit dual quaternions .
Theorem 9. The Cayley map is well defined and onto. Proof. Based on the quaternion product results, we can see that:
If we compute the norm of the previous equation, using quaternionic calculus:
which proves that the map is well defined. In Equation (36) on using the definition:
we can find by Equation (35) a dual vector
to have
, which proves that the map is onto. □
Corollary 2. is the parameterization of a pure rotation if and only if . Meanwhile, if , the mapping is the parameterization of a pure translation. Otherwise, is the parameterization of general rigid body displacement.
A dual number
and a dual vector
can be considered to have:
The results for
which can be interpreted as a modified Rodrigues dual vector [
54] (a.k.a Wiener–Milenković dual vector
[55]).
The representation given by Equation (34) plays an important role in addressing the complexities of successive rigid body displacements. Consider dual vectors and to describe two separate rigid displacements.
Consider
as the dual quaternion representing the composition of two rigid body displacements. Let
be the modified Rodrigues dual vector of this rigid body composition. The dual vector
is expressed by the equation:
Considering that
, we obtain:
The dual vector associated with Equation (40) is, after some quaternionic product calculations:
Next, we present a Cayley-like fractional map:
Theorem 10. The fractional order Cayley-like map denoted as is established as follows:It is well defined and onto. Proof. Using quaternionic calculus the chosen Cayley transform can also be expressed as:
It is clear that is well defined and .
Now, for any
, a dual vector
exists to have, by Equation (42):
This dual vector is , which proves that the map is onto. □
This also shows that the Rodrigues dual vector can be recovered through the inverse of the Cayley map given in Equation (44).
Corollary 3. The parametrization is associated with pure rotation if and only if . Meanwhile, if , the mapping is the parameterization of a pure translation. Otherwise, describes a general rigid body displacement.
Consider
and
, the Rodrigues dual vectors that parameterize two rigid displacements. The Rodrigues dual vector for the composition of these two rigid body displacements is given by:
This result is a clear indication that we need to explore the properties of higher-order fractional Cayley transforms.
7. Higher-Order Fractional Modified Cayley Transform
Up next, we introduce a range of findings derived from utilizing a set of fractional Cayley transforms. Notably, these fractional Cayley transforms differ from those previously documented in [
20,
21,
56,
57,
58].
Theorem 11. The fractional order Cayley transform:are well defined and onto. Proof. Using direct calculus we find that and . □
The surjectivity is proved by the following theorem:
Theorem 12. The inverse of the previous fractional order Cayley map is a multi-valued function with n branches given by:
Proof. By Equation (47): = . □
Corollary 4. The parameterization is associated with a pure rotation if and only if . Meanwhile, if the mapping is the parameterization of a pure translation. Otherwise, the parameterization describes a general screw displacement.
Considering that a dual number
and a dual vector
exist to have:
we find that by Equation (48):
From Equation (49), and the principal parameterization , which is the higher-order Rodrigues dual vector.
For , the dual vectors are the shadow parameterizations that can be used to describe the same pose. Based on and , shows that . If , then , which allows the avoidance of any singularity of type .
Theorem 13. If is the parameterization of a displacement obtained from Equation (41),where:In Equation (51), are binomial coefficients and respresents the floor of a number. Proof. Consider
. Based on the properties of the dual quaternions product results:
Considering that
the dual quaternion
can be expressed by:
which proves the theorem. □
Lemma 2. The structure of the polynomials and , given by Equations (51) and (52), can be used to obtain the following iterative expressions:To assess the practicality of the iterative formulas, we present polynomials ranging from the second to the fifth order, along with the corresponding quaternions that emerge:
A direct consequence is that previous equations hold true for both the primary parameterization and its corresponding shadows. Another important result is the following:
Theorem 14. The orthogonal dual tensor associated with Equation (55) is (according to Theorem 6):
To demonstrate the efficacy of the iterative terms, we supply orthogonal dual tensors from the second through the fifth order:
;
;
;
;
The composition of two rigid displacements parameterized by
and
can be modeled by:
Until now we have discussed about the fractional Cayley transform for vectorial parameterizations of type and their shadows.
Next, we uncover a new type of fractional Cayley transform for vectorial parameterizations of type , where and are the natural invariants and is smooth mapping.
Theorem 15. Consider , , with .
The mapping ,are well defined. Proof. For any dual vector we have and .
Now consider
, the inverse of the mapping Equation (59) contains
n branches to have:
□
Theorem 16. If is a vectorial parameterization of displacement, with being invertible (denoted by , then the corresponding dual quaternion is:where .
Proof. According to Equation (61) the following expression is true: . This expression combined with proves the theorem. □
Theorem 17. If represents a vectorial parameterization of displacement, then the associated dual quaternion is:where and and represents the floor of a number and are binomial coefficients. Corollary 5. The orthogonal dual tensor associated with Equation (63) is:where .
Selections for the dual function
enable the possibility of recovering various vectorial parameterizations, including azimuthal projections [
7], and have the potential for extension to encompass pose parameterizations as well.
- 1
Let the normal higher-order dual Rodrigues vector ,
, where
, where
These parameterizations have the following asymptotical behaviors:
- 2
Let the dual orthographic projection , and :
- 3
Let the dual Lambert parameters , and :
- 4
Let the dual Breusing parameters , and :
- 5
Let the dual sin family parameters ; :
where and , and being computed from Equations (63) and (64).
8. Kinematic Equation and Tangent Operator by Multiple Parameterizations of Motion
Let and represent the parametric expressions for any rigid body motion.
The dual tensor function
which can be parameterized by a curve in
. Consider
which contains the Plücker coordinates of a line feature at the time
. At a specific time instant
, the line undergoes a transformation to become:
Theorem 18. The velocity dual tensor function is defined by the equation:which gives: Consider , which leads to , equivalent to . This equivalence demonstrates that .
The dual vector
, also known as dual angular velocity of the rigid body or dual spatial twist, can be expressed as:
The pair () is commonly referred to as the spatial twist of the rigid body. Here, represents the instantaneous angular velocity of the rigid body and the velocity of spatial twist; represents the linear velocity of the point of the body that coincides at any given time with the origin of the reference frame.
The following theorem enables the reconstruction of the rigid body motion based on the knowledge of the spatial twist of the rigid body at any given time, which is equivalent to having knowledge of the time-dependent dual angular velocity function.
Theorem 19. For a continuous dual function , there exists a unique dual tensor such that: Proof. The initial value problem Equation (70) provides a unique solution if is a continuous function.
Consider
, the transpose of dual tensor
. Computing
shows that:
From Equation (72) it can be seen that
. As
, we see that:
Hence, tensor qualifies as a dual orthogonal tensor map.
The orthogonal dual tensor fully models the six-degree-of-freedom rigid body motion, Theorem 19 represents the dual form of kinematic equation. □
Corollary 6. If we consider the dual angular velocity in the body frame, , thus transforming Equation (70) into:
The dual tensor initial value problems Equation (70) and Equation (74) can be expressed as 18 separate real differential equations.
Corollary 7. Let be a dual quaternion parameterization of rigid body motion, such that . The dual Poisson–Darboux problems Equations (70) and (74) can be considered as equivalent to:andwhere .
Initial value problems Equations (75) and (76) are equivalent to eight real differential equations.
If the
natural invariant of the orthogonal dual tensor map
=
is denoted by
and
(t), the following equations result, by Equations (23), (75), and (76):
where the dual tensor
(
.
The dual twist of the rigid body in space and in the body frame is expended, respectively, using Equations (23), (75), and (76) by equations:
Consider such that .
According to the Equations (23), (77), and (78) we find:
where the
is a tangent tensor:
In Equation (82) .
The Poisson–Darboux problem Equation (70) corresponds to:
where
, and tensor
, if the real part of
is different by 2
we find that:
The kinematic equation problem from Equation (74) is equivalent to:
Theorem 20. If is a higher-order Rodrigues dual vector, there are two dual tensors so that:The tangent operator and the kinematic tensor are given by the following closed form equations:
where ,
and the polynomials are given by the Equations (51) and (52). Consider
such that
. Taking into account Equation (86), the problems (70) and (74)
where
.
The initial value problems (83), (85), (90), and (91) are equivalent to six real differential equations and are the minimal parameterizations of dual Poisson–Darboux problems (70) and (74). According to the authors’ knowledge, this paper presents it for the first time.
9. Application of Minimal Parameterization of Rigid Body Displacement and Motion Using Higher-Order Rodrigues Dual Vector
To assess the practicality of the iterative formulations, we present polynomials from the second to fifth order, alongside the corresponding unit dual quaternion, orthogonal dual tensor, tangent, and kinematic dual tensor:
Equations (92)–(125) completely solve in closed form and a coordinate-free way the minimal parameterization of rigid body displacement and motion, employing a higher-order Rodrigues dual vector for .
For example, in [
54], for the Rodrigues dual vector
, the real and dual part components are obtained (dual Rodrigues parameters):
which were obtained after rather laborious reasoning. Equation (92):
, for
and a dual unit vector
compacted succinctly includes all six equations presented in [
54]. Equations (95)–(98) present, respectively, the dual orthogonal tensor, dual quaternion, dual tangent tensor, and dual kinematic tensor.
10. Conclusions
This paper proposes a novel approach to the minimal pose parameterization technique using higher-order modified Cayley transforms. Our research is grounded on the properties of maps connecting dual vectors to orthogonal dual tensors and unitary dual quaternions. The evolved parameterization approach is comprehensive, coordinate-free, presented in closed form, and incorporates various previously documented attitude parameterization Cayley maps while extending them toward pose parameterization. The expressions rely solely on dual vector algebra and have no transcendent functions. We also provide a unitary method for dual kinematic equations (the Poisson–Darboux problem) via a dual tangent operator of higher-order fractional Cayley transforms for dual vector parameterization by rigid body motion. A general minimal parameterization of the kinematic equation of rigid body motion is presented, according to the authors’ knowledge, for the first time in this paper. In further work, we will research what can be changed if we replace dual Lie algebra with dual mock Lie algebra [
59,
60] and how to define dual triple systems [
61,
62].