Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

I Exponential of hypercomplex numbers

  1. Aug 8, 2018 #1
    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.
     
  2. jcsd
  3. Aug 8, 2018 #2

    mathwonk

    User Avatar
    Science Advisor
    Homework Helper

    try the infinite series definition of exponential. what happens?
     
  4. Aug 9, 2018 #3
    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.
     
  5. Aug 12, 2018 #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.
     
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook

Have something to add?
Draft saved Draft deleted