Planar quaternion multiplication

${\displaystyle \times }$	${\displaystyle 1}$	${\displaystyle i}$	${\displaystyle \epsilon j}$	${\displaystyle \epsilon k}$
${\displaystyle 1}$	${\displaystyle 1}$	${\displaystyle i}$	${\displaystyle \epsilon j}$	${\displaystyle \epsilon k}$
${\displaystyle i}$	${\displaystyle i}$	${\displaystyle -1}$	${\displaystyle \epsilon k}$	${\displaystyle -\epsilon j}$
${\displaystyle \epsilon j}$	${\displaystyle \epsilon j}$	${\displaystyle -\epsilon k}$	${\displaystyle 0}$	${\displaystyle 0}$
${\displaystyle \epsilon k}$	${\displaystyle \epsilon k}$	${\displaystyle \epsilon j}$	${\displaystyle 0}$	${\displaystyle 0}$

Theplanar quaternions make up a four-dimensionalalgebra over thereal numbers.^[1][2] Their primary application is in representingrigid body motions in 2D space. In this article, certain applications of thedual quaternion algebra to 2D geometry are discussed. At this present time, the article is focused on a 4-dimensional subalgebra of the dual quaternions which will later be called theplanar quaternions.

Unlike multiplication ofdual numbers or ofcomplex numbers, that of planar quaternions isnon-commutative.

In this article, the set of planar quaternions is denoted${\displaystyle \mathbb{D}\mathbb{C}}$. A general element${\displaystyle q}$ of${\displaystyle \mathbb{D}\mathbb{C}}$ has the form$A+Bi+C\epsilon j+D\epsilon k$ where${\displaystyle A}$,${\displaystyle B}$,${\displaystyle C}$ and${\displaystyle D}$ are real numbers;${\displaystyle \epsilon }$ is adual number that squares to zero; and${\displaystyle i}$,${\displaystyle j}$, and${\displaystyle k}$ are the standard basis elements of thequaternions.

Multiplication is done in the same way as with the quaternions, but with the additional rule that$\epsilon$ isnilpotent of index${\displaystyle 2}$, i.e.,${\epsilon }^2=0$, which in some circumstances makes$\epsilon$ comparable to aninfinitesimal number. It follows that the multiplicative inverses of planar quaternions are given by$${\displaystyle (A+Bi+C\epsilon j+D\epsilon k{)}^{-1}=\frac{A-Bi-C\epsilon j-D\epsilon k}{A^2+B^2}}$$

The set${\displaystyle \{1,i,\epsilon j,\epsilon k\}}$ forms a basis of the vector space of planar quaternions, where the scalars are real numbers.

The magnitude of a planar quaternion${\displaystyle q}$ is defined to be$${\displaystyle |q|=\sqrt{A^2+B^2}.}$$

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

A planar quaternion${\displaystyle q=A+Bi+C\epsilon j+D\epsilon k}$ has the following representation as a 2x2 complex matrix:

It can also be represented as a 2×2 dual number matrix:The above two matrix representations are related to theMöbius transformations andLaguerre transformations respectively.

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

1. The dual numbers, but with complex-number entries
2. 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 thetensor product of algebras is commutativeup to isomorphism). This algebra can be denoted as${\displaystyle \mathbb{C}[x]/(x^2)}$ usingring quotienting. The resulting algebra has a commutative product and is not discussed any further.

Let$${\displaystyle q=A+Bi+C\epsilon j+D\epsilon k}$$ be a unit-length planar quaternion, i.e. we must have that$${\displaystyle |q|=\sqrt{A^2+B^2}=1.}$$

The Euclidean plane can be represented by the set$\mathrm{\Pi }=\{i+x\epsilon j+y\epsilon k\mid x\in \mathbb{R},y\in \mathbb{R}\}$.

An element${\displaystyle v=i+x\epsilon j+y\epsilon k}$ on${\displaystyle \mathrm{\Pi }}$ represents the point on theEuclidean plane withCartesian coordinate${\displaystyle (x,y)}$.

${\displaystyle q}$ can be made toact on${\displaystyle v}$ by$${\displaystyle qv{q}^{-1},}$$ which maps${\displaystyle v}$ onto some other point on${\displaystyle \mathrm{\Pi }}$.

We have the following (multiple)polar forms for${\displaystyle q}$:

1. When${\displaystyle B\ne 0}$, the element${\displaystyle q}$ can be written as$${\displaystyle \cos (\theta /2)+\sin (\theta /2)(i+x\epsilon j+y\epsilon k),}$$ which denotes a rotation of angle${\displaystyle \theta }$ around the point${\displaystyle (x,y)}$.
2. When${\displaystyle B=0}$, the element${\displaystyle q}$ can be written as which denotes a translation by vector${\displaystyle \left(\begin{array}{c}\mathrm{\Delta }x\\ \mathrm{\Delta }y\end{array}\right).}$

A principled construction of the planar quaternions can be found by first noticing that they are a subset of thedual-quaternions.

There are two geometric interpretations of thedual-quaternions, both of which can be used to derive the action of the planar quaternions on the plane:

• As a way to representrigid body motions in 3D space. The planar quaternions 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 isadequately done elsewhere.
• The dual quaternions can be understood as an "infinitesimal thickening" of the quaternions.^[3][4][5] Recall that the quaternions can be used to represent3D spatial rotations, while the dual numbers can be used to represent "infinitesimals". Combining those features together allows for rotations to be varied infinitesimally. Let${\displaystyle \mathrm{\Pi }}$ denote an infinitesimal plane lying on the unit sphere, equal to${\displaystyle \{i+x\epsilon j+y\epsilon k\mid x\in \mathbb{R},y\in \mathbb{R}\}}$. Observe that${\displaystyle \mathrm{\Pi }}$ 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 planar quaternions rotate the plane${\displaystyle \mathrm{\Pi }}$ back onto itself. The effect this has on${\displaystyle v\in \mathrm{\Pi }}$ depends on the value of${\displaystyle q=A+Bi+C\epsilon j+D\epsilon k}$ in${\displaystyle qv{q}^{-1}}$:
  1. When${\displaystyle B\ne 0}$, the axis of rotation points towards some point${\displaystyle p}$ on${\displaystyle \mathrm{\Pi }}$, so that the points on${\displaystyle \mathrm{\Pi }}$ experience a rotation around${\displaystyle p}$.
  2. When${\displaystyle B=0}$, the axis of rotation points away from the plane, with the angle of rotation being infinitesimal. In this case, the points on${\displaystyle \mathrm{\Pi }}$ experience a translation.

• Eduard Study
• Quaternion
• Dual number
• Dual quaternion
• Clifford algebra
• Euclidean plane isometry
• Affine transformation
• Projective plane
• Homogeneous coordinates
• SLERP
• Conformal geometric algebra

• Hypercomplex numbers
• Quaternions
• Euclidean plane geometry
• Euclidean symmetries
• Clifford algebras

• Articles with short description
• Short description matches Wikidata