4
$\begingroup$

Possible Duplicate:
What is the value of 1^i?

Note that I am absolutely not a mathematician, so this may be silly, but I saw this on Wikipedia's page about $i$:

One definition of $i^i$ is : $i^i = \left( e^{i (2k \pi + \pi/2)} \right)^i = e^{i^2 (2k \pi + \pi/2)} = e^{- (2k \pi + \pi/2)}$ where $k \in \mathbb{Z}$.

The principal value (for $k=0$) is $e^{- \pi/2} $ or approximately $0.207879576350761908546955...$

But if $i^i = i^i$, and I assume it is, then isn't, for example, the following true: $e^{-(2\times0 \pi + \pi/2)} = e ^{-(2\times4 \pi + \pi/2)}$

And doesn't than mean that: $0.207879576350761908546955 \approx 2.5281392565177714\times10^{-12}$

And I don't think that last one is really true.

Or does the problem lie in my assumption that $i^i = i^i$ is always true?

  • 0
    If you really want to understand, what's going on, then yes, I'm afraid. But short version is, there is no such thing as _the_ value of $i^i$, it has many different values.2011-06-29

1 Answers 1

0

For those who don't like to follow the links: For real numbers x and y, the standard definition is $ x^y := \exp(y \; \log(x)) $ For complex numbers one has to be careful because the logarithm is not defined on $\mathbb{C}$, so one has to specify which branch one is using. First, we get $ i^{i} = \exp(i \log(i)) $ Since we have $ e^{(2 \pi k + \pi /2) i} = i $ picking the main branch value for $log(i)$ we get $ i^{i} = \exp(i (\pi /2) i) = \exp(- \pi / 2) $ which should also suffice to point out where the error in the wikipedia article is.