1000/1000

Hot
Most Recent

Submitted Successfully!

Thank you for your contribution! You can also upload a video entry or images related to this topic.

Do you have a full video?

Are you sure to Delete?

Cite

If you have any further questions, please contact Encyclopedia Editorial Office.

Liu, H. Dual-complex Number. Encyclopedia. Available online: https://encyclopedia.pub/entry/37093 (accessed on 03 December 2023).

Liu H. Dual-complex Number. Encyclopedia. Available at: https://encyclopedia.pub/entry/37093. Accessed December 03, 2023.

Liu, Handwiki. "Dual-complex Number" *Encyclopedia*, https://encyclopedia.pub/entry/37093 (accessed December 03, 2023).

Liu, H.(2022, November 29). Dual-complex Number. In *Encyclopedia*. https://encyclopedia.pub/entry/37093

Liu, Handwiki. "Dual-complex Number." *Encyclopedia*. Web. 29 November, 2022.

Copy Citation

The dual-complex numbers make up a four-dimensional algebra over the real numbers. Their primary application is in representing rigid body motions in 2D space. Unlike multiplication of dual numbers or of complex numbers, that of dual-complex numbers is non-commutative.

dual numbers
rigid body motions
dual-complex

In this article, the set of dual-complex numbers is denoted [math]\displaystyle{ \mathbb {DC} }[/math]. A general element [math]\displaystyle{ q }[/math] of [math]\displaystyle{ \mathbb {DC} }[/math] has the form [math]\displaystyle{ A + Bi + C\varepsilon j + D\varepsilon k }[/math] where [math]\displaystyle{ A }[/math], [math]\displaystyle{ B }[/math], [math]\displaystyle{ C }[/math] and [math]\displaystyle{ D }[/math] are real numbers; [math]\displaystyle{ \varepsilon }[/math] is a dual number that squares to zero; and [math]\displaystyle{ i }[/math], [math]\displaystyle{ j }[/math], and [math]\displaystyle{ k }[/math] are the standard basis elements of the quaternions.

Multiplication is done in the same way as with the quaternions, but with the additional rule that [math]\displaystyle{ \varepsilon }[/math] is nilpotent of index [math]\displaystyle{ 2 }[/math], i.e. [math]\displaystyle{ \varepsilon^2=0 }[/math], which in some circumstances makes [math]\displaystyle{ \varepsilon }[/math] comparable to an infinitesimal number. It follows that the multiplicative inverses of dual-complex numbers are given by

- [math]\displaystyle{ (A + Bi + C\varepsilon j + D\varepsilon k)^{-1} = \frac{A - Bi -C\varepsilon j - D\varepsilon k}{A^2+B^2} }[/math]

The set [math]\displaystyle{ \{1, i, \varepsilon j, \varepsilon k\} }[/math] forms a basis of the vector space of dual-complex numbers, where the scalars are real numbers.

The magnitude of a dual-complex number [math]\displaystyle{ q }[/math] is defined to be [math]\displaystyle{ |q| = \sqrt{A^2 + B^2}. }[/math]

For applications in computer graphics, the number [math]\displaystyle{ A + Bi + C\varepsilon j + D\varepsilon k }[/math] is commonly represented as the 4-tuple [math]\displaystyle{ (A,B,C,D) }[/math].

A dual-complex number [math]\displaystyle{ q=A + Bi + C\varepsilon j + D\varepsilon k }[/math] has the following representation as a 2x2 complex matrix:

- [math]\displaystyle{ \begin{pmatrix}A + Bi & C + Di \\ 0 & A - Bi \end{pmatrix}. }[/math]

It can also be represented as a 2x2 dual number matrix:

- [math]\displaystyle{ \begin{pmatrix}A + C\epsilon & -B + D\epsilon \\ B + D\epsilon & A - C\epsilon\end{pmatrix}. }[/math]

The above two matrix representations are related to the Möbius transformations and Laguerre transformations respectively.

The algebra discussed in this article is sometimes called the *dual complex numbers*. This may be a misleading name because it suggests that the algebra should take the form of either:

- The dual numbers, but with complex-number entries
- The complex numbers, but with dual-number entries

An algebra meeting either description exists. And both descriptions are equivalent. (This is due to the fact that the tensor product of algebras is commutative up to isomorphism). This algebra can be denoted as [math]\displaystyle{ \mathbb C[x]/(x^2) }[/math] using ring quotienting. The resulting algebra has a commutative product and is not discussed any further.

Let [math]\displaystyle{ q = A + Bi + C\varepsilon j + D\varepsilon k }[/math] be a unit-length dual-complex number, i.e. we must have that [math]\displaystyle{ |q| = \sqrt{A^2 + B^2} = 1. }[/math]

The Euclidean plane can be represented by the set [math]\displaystyle{ \Pi = \{i + x \varepsilon j + y \varepsilon k \mid x \in \mathbb R, y \in \mathbb R\} }[/math].

An element [math]\displaystyle{ v = i + x \varepsilon j + y \varepsilon k }[/math] on [math]\displaystyle{ \Pi }[/math] represents the point on the Euclidean plane with cartesian coordinate [math]\displaystyle{ (x,y) }[/math].

[math]\displaystyle{ q }[/math] can be made to act on [math]\displaystyle{ v }[/math] by [math]\displaystyle{ qvq^{-1}, }[/math] which maps [math]\displaystyle{ v }[/math] onto some other point on [math]\displaystyle{ \Pi }[/math].

We have the following (multiple) polar forms for [math]\displaystyle{ q }[/math]:

- When [math]\displaystyle{ B \neq 0 }[/math], the element [math]\displaystyle{ q }[/math] can be written as [math]\displaystyle{ \cos(\theta/2) + \sin(\theta/2)(i + x\varepsilon j + y\varepsilon k), }[/math] which denotes a rotation of angle [math]\displaystyle{ \theta }[/math] around the point [math]\displaystyle{ (x,y) }[/math].
- When [math]\displaystyle{ B = 0 }[/math], the element [math]\displaystyle{ q }[/math] can be written as [math]\displaystyle{ \begin{aligned}&1 + i(x\varepsilon j + y\varepsilon k)\\ = {} & 1 - y\varepsilon j + x\varepsilon k,\end{aligned} }[/math] which denotes a translation by vector [math]\displaystyle{ \begin{pmatrix}x \\ y\end{pmatrix}. }[/math]

A principled construction of the dual-complex numbers can be found by first noticing that they are a subset of the dual-quaternions.

There are two geometric interpretations of the *dual-quaternions*, both of which can be used to derive the action of the dual-complex numbers on the plane:

- As a way to represent rigid body motions in 3D space. The dual-complex numbers can then be seen to represent a subset of those rigid-body motions. This requires some familiarity with the way the dual quaternions act on Euclidean space. We will not describe this approach here as it is adequately done elsewhere.
- The dual quaternions can be understood as an "infinitesimal thickening" of the quaternions.
^{[1]}^{[2]}^{[3]}Recall that the quaternions can be used to represent 3D spatial rotations, while the dual numbers can be used to represent "infinitesimals". Combining those features together allows for rotations to be varied infinitesimally. Let [math]\displaystyle{ \Pi }[/math] denote an infinitesimal plane lying on the unit sphere, equal to [math]\displaystyle{ \{i + x \varepsilon j + y \varepsilon k \mid x \in \mathbb R, y \in \mathbb R\} }[/math]. Observe that [math]\displaystyle{ \Pi }[/math] is a subset of the sphere, in spite of being flat (this is thanks to the behaviour of dual number infinitesimals).

- Observe then that as a subset of the dual quaternions, the dual complex numbers rotate the plane [math]\displaystyle{ \Pi }[/math] back onto itself. The effect this has on [math]\displaystyle{ v \in \Pi }[/math] depends on the value of [math]\displaystyle{ q = A + Bi + C\varepsilon j + D\varepsilon k }[/math] in [math]\displaystyle{ qvq^{-1} }[/math]:

- When [math]\displaystyle{ B\neq 0 }[/math], the axis of rotation points towards some point [math]\displaystyle{ p }[/math] on [math]\displaystyle{ \Pi }[/math], so that the points on [math]\displaystyle{ \Pi }[/math] experience a rotation around [math]\displaystyle{ p }[/math].
- When [math]\displaystyle{ B = 0 }[/math], the axis of rotation points away from the plane, with the angle of rotation being infinitesimal. In this case, the points on [math]\displaystyle{ \Pi }[/math] experience a translation.

- "Lines in the Euclidean group SE(2)". 2011-03-06. https://terrytao.wordpress.com/2011/03/05/lines-in-the-euclidean-group-se2/.
- Study, E. (December 1891). "Von den Bewegungen und Umlegungen". Mathematische Annalen 39 (4): 441–565. doi:10.1007/bf01199824. ISSN 0025-5831. https://dx.doi.org/10.1007%2Fbf01199824
- Sauer, R. (1939). "Dr. Wilhelm Blaschke, Prof. a. d. Universität Hamburg, Ebene Kinematik, eine Vorlesung (Hamburger Math. Einzelschriften, 25. Heft, 1938). 56 S. m. 19 Abb. Leipzig-Berlin 1938, Verlag B. G. Teubner. Preis br. 4 M.". ZAMM - Zeitschrift für Angewandte Mathematik und Mechanik 19 (2): 127. doi:10.1002/zamm.19390190222. ISSN 0044-2267. Bibcode: 1939ZaMM...19R.127S. https://dx.doi.org/10.1002%2Fzamm.19390190222

More

Information

Subjects:
Others

Contributor
MDPI registered users' name will be linked to their SciProfiles pages. To register with us, please refer to https://encyclopedia.pub/register
:

View Times:
535

Entry Collection:
HandWiki

Update Date:
29 Nov 2022