Multiplying Quaternions in Polar Coordinate Form

Any quaternion can be written in polar coordinate form, which involves a scalar magnitude and angle, and a 3-vector I (which in some cases can be the more familiar i).

q = the norm of q times e to the \(theta i\) = q conjugate times q times
\(cosine \(theta\) + I sine \(theta\))

This representation can be useful due to the properties of the exponential function, cosines and sines.

The absolute value of a quaternion is the square root of the norm, which is the transpose of a quaternion multiplied by itself.

The absolute value of q = the square root of q conjugated times
q

The angle is the arccosine of the ratio of the first component of a quaternion over the norm.

theta = arccos\(q + q conjugated over 2 the absolute value of
q\)

The vector component is generated by normalizing the pure quaternion (the final three terms) to the norm of the pure quaternion.

I = q - q conjugated over 2 the absolute value of q - q
conjugated

I^2 equals -1 just like i^2. Let (0, V) = (q - q*)/2.

I squared  = \(0, V\) times \(0, V\) over the absolute value of V squared =
\(-V dot V, V Cross V\) over \(V squared , 0\) = -1

It should be possible to do Fourier analysis with quaternions, and to form a Dirac delta function (or distribution). That is a project for the future. Those tools are necessary for solving problems in quantum mechanics.

New method for multiplying quaternion exponentials

Multiplying two exponentials is at the heart of modern analysis, whether one works with Fourier transforms or Lie groups. Given a Lie algebra of a Lie group in a sufficiently small area the identity, the product of two exponentials can be defined using the Campbell-Hausdorff formula:

e to the X times the e to the Y equals X + Y + 1/2 the commutator of X, Y
times X + Y + 1/12 \(the commutator of \(the commutator of X, Y\), Y - \(the
commutator of \(the commutator of X, Y\), X) times X + Y) +
...

This formula is not easy to use, and is only applicable in a small area around unity. Quaternion analysis that relies on this formula would be very limited.

I have developed (perhaps for the first time) a simpler and general way to express the product of two quaternion exponentials as the sum of two components. The product of two quaternions splits into a commuting and an anti-commuting part. The rules for multiplying commuting quaternions are identical to those for complex numbers. The anticommuting part needs to be purely imaginary. The Grassman product (q q') of two quaternion exponentials and the Euclidean product (q* q') should both have these properties. Together these define the needs for the product of two quaternion exponentials.

Let q = e to the X, q prime = e to the Y

q times q' = the even conjugator of q, q prime over 2 + the absolute value
of the odd conjugator of q, q' over 2 times e to the pi over 2 times the odd
conjugator of q, q prime over its absolute value

q conjugated time q prime = same as above but were the even conjugator q, q'
equals q conjugated time q prime + q prime conjugated time q and the odd
conjugator of q, q prime equals q conjugated time q prime minus q prim
conjugated times q

I call these operators "conjugators" because they involve taking the conjugate of the two elements. Andrew Millard made the suggestion for the Grassman product that unifies these approaches nicely. What is happening here is that both commuting and anticommuting parts scale themselves appropriately. By using an exponential that has pi/2 multiplied by a normalized quaternion, this always has a zero scalar, as it must to accurately represent an anticommuting part.