Exponential of hypercomplex numbers

In summary, the exponential of a complex number is a complex number and the same applies to quaternions and octonions. The Taylor series for the exponential shows that the linear approximation for these numbers will also be a quaternion or octonion. However, the non-commutative nature of quaternions and octonions means that odd numbered exponents can be expressed in two different ways. The exponential of a quaternion can be written as a scalar plus a vector, and the exponential of an octonion is an octonion. This is supported by the infinite series definition of exponential.
  • #1
1,452
9
The exponential of a complex number is a complex number. Does this extent to the quaternions and the octonions? Does the exponential of a quaternion give a quaternion? Does the exponential of an octonion give an octonion? Thanks.
 
Mathematics news on Phys.org
  • #2
try the infinite series definition of exponential. what happens?
 
  • Like
Likes FactChecker
  • #3
mathwonk said:
try the infinite series definition of exponential. what happens?
The Taylor series for the exponential is,

[itex]{e^x} = 1 + \frac{x}{{1!}} + \frac{{{x^2}}}{{2!}} + \frac{{{x^3}}}{{3!}} + \frac{{{x^4}}}{{4!}} + ...[/itex]

So obviously the linear approximation for the exponential will be the same as the exponent. If the exponent is a quaternion, then the linear approximation will be a quaternion, and same goes for the octonions. However, the quaternions and octonions do not commute. I think this means that you can still get a quadratic approximation (correct me if I'm wrong), but odd numbered exponents will have two ways of being expressed, depending on whether you multiply from the left or right. So I don't know what to say about this.
 
  • #4
I learn from Wikipedia that a quaternion can be written generally as

[itex]q = {x_0} + i{x_1} + j{x_2} + k{x_3}[/itex],

where [itex]{x_0}[/itex], [itex]{x_1}[/itex], [itex]{x_2}[/itex], [itex]{x_3}[/itex] are real numbers. And [itex]{i^2} = {j^2} = {k^2} = - 1[/itex]

Its conjugation is written,

[itex]{q^*} = {x_0} - i{x_1} - j{x_2} - k{x_3}[/itex].

Its norm can be written,

[itex]\left\| q \right\| = \sqrt {q{q^*}} = \sqrt {{x_0}^2 + {x_1}^2 + {x_2}^2 + {x_3}^2} [/itex].

But q can also be written as a scalar plus a vector as,

[itex]q = {x_0} + \vec v[/itex],

where,

[itex]\vec v = i{x_1} + j{x_2} + k{x_3}[/itex].

Then the exponential of a quaternion, q, can be written as,

[itex]{e^q} = \sum\limits_{n = 0}^\infty {\frac{{{q^n}}}{{n!}} = {e^{{x_0}}}(\cos \left\| {\vec v} \right\|} + \frac{{\vec v}}{{\left\| {\vec v} \right\|}}\sin \left\| {\vec v} \right\|)[/itex].

So since the [itex]{\vec v}[/itex] carries the i, j, k components, it does indeed seem that the exponential of a quaternion is a quaternion.

I assume the same construction leads to the fact that the exponential of a octonion is an octonion.
 

Suggested for: Exponential of hypercomplex numbers

Replies
13
Views
2K
Replies
5
Views
937
Replies
7
Views
668
Replies
11
Views
796
Replies
2
Views
1K
Replies
7
Views
1K
Replies
4
Views
732
Replies
13
Views
936
Back
Top