Quantcast
Channel: November 2011 – Ask a Mathematician / Ask a Physicist
Viewing all articles
Browse latest Browse all 6

Q: How are imaginary exponents defined?

$
0
0

The original question was: How do you do xi (x to the i power), and how on Earth was it developed?  There isn’t really anything to base xi on from previous rules of exponents as it is a completely new idea.


Physicist: Euler, the dude who originally came up with using the imaginary unit, i, as a placeholder for \sqrt{-1} (which, despite having no actual solution, is still something we can talk about), also came up with “Euler’s equation“: e^{i\theta} = \cos{(\theta)} + i \sin{(\theta)}, where “e” is equal to 2.718281828…

Leonhard "Lenny" Euler. A squinty genius.

Euler’s (surprising) equation provides a way to talk about complex exponents (“complex” = “involves i“).  So, Euler not only provided an idea that’s confusing as hell (i), but also a way to deal with it efficiently.

So, for example (using Euler’s equation and some log properties):

\begin{array}{ll}3^i\\=e^{\ln{(3^i)}}\\=e^{i\ln{(3)}}\\=\cos{(\ln{(3)})} + i\sin{(\ln{(3)})}\\\approx 0.455+0.891\,i\end{array}

So why is this formalism used, instead of some other set of rules?  Like everything else in mathematics, it’s a matter of convenience and self consistency.  You’d hope that the usual, old rules would apply in a natural, convenient way.  For example, you’d want x^i x^{-i} = 1.  And that’s exactly what happens:

\begin{array}{ll}x^i x^{-i}\\=\left[e^{\ln{(x^i)}}\right]\left[e^{\ln{(x^{-i})}}\right]\\=\left[e^{i\ln{(x)}}\right]\left[e^{-i\ln{(x)}}\right]\\=\left[\cos{(\ln{(x)})} + i\sin{(\ln{(x)})}\right]\left[\cos{(-\ln{(x)})} + i\sin{(-\ln{(x)})}\right]\\=\left[\cos{(\ln{(x)})} + i\sin{(\ln{(x)})}\right]\left[\cos{(\ln{(x)})} - i\sin{(\ln{(x)})}\right]\\=\left[\cos{(\ln{(x)})}\right]^2 - i\cos{(\ln{(x)})}\sin{(\ln{(x)})} + i\cos{(\ln{(x)})}\sin{(\ln{(x)})}-i^2\left[\sin{(\ln{(x)})}\right]^2\\=\left[\cos{(\ln{(x)})}\right]^2-i^2\left[\sin{(\ln{(x)})}\right]^2\\=\left[\cos{(\ln{(x)})}\right]^2 + \left[\sin{(\ln{(x)})}\right]^2\\=1\end{array}

(Here I’ve used: Cos(-x) = Cos(x), Sin(-x) = -Sin(x), i2=-1, and the Pythagorean identity.)

Even more important, this technique is used because it recovers the usual rules for real exponents (exponents that don’t involve i), or at the very least doesn’t mess them up.  It keeps arithmetic nice and self consistent.  After all, when you’re coming up with new math, you want to make sure that you don’t trash what you’ve already got.  Euler’s equation is an “analytic continuation” of the exponential function (e^x) from the real numbers, to the complex ones.  An analytic continuation takes a function defined on a fairly small set, like all the real numbers, and generalizes it to work on a larger set, like all complex numbers (which includes real numbers like “3”, but also includes numbers like “i” and “4-2i”).  It’s not obvious, but it turns out that Euler’s equation is the only “nice” way to define complex exponents.

You’ll find (at least, those people who are so inclined will find) that Euler’s equation, and in particular the method for finding imaginary exponents above, is consistent with all the rules of exponentiation.  Specifically, \left(x^A\right)^B = x^{AB}, x^Ax^B = x^{A+B}, x^Ay^A = (xy)^A, and x^0 = 1.


Viewing all articles
Browse latest Browse all 6

Trending Articles