What is the Mystery Behind i^i? Unveiling the Intricacies of Euler's Formula

[Max cohen]

Take euler's formula for the identity of complex numbers:

e^{xi}=cos(x)+sin(x)i

If we substitute the value \pi for x it turns out that

e^{i\pi}=-1

most of us already knew this wonderfull trick.

BUT if we substitute \frac{\pi}{2} for x we get (because cos pi/2 = 0 and sin pi/2 = 1):
e^{\frac{\pi}{2}i}=i

Now if you raise both sides of this identity to the power i, you obtain (since i^2 = -1):

e^{-\frac{\pi}{2}}=i^i

Calculating the value of e^{-\frac{\pi}{2}} it turns out that

i^i=0,2078795763...

Isn't that just the weirdest thing ever??

 

[dextercioby]

It is a real number.And i wouldn't call anything in mathematics weird.

Daniel.

 

[Curious3141]

That's just the principal value. There are an infinite number of values for the expression i^i, all real.

The general form is given by :

i^i = e^{-\frac{1}{2}(2k + 1)\pi}, where k ranges over all integers. The principal value is for zero k.

 

[mathwonk]

are you sure of that formula? try k=1.

 

[Max cohen]

That's just the principal value. There are an infinite number of values for the expression i^i, all real.

The general form is given by :
i^i = e^{-\frac{1}{2}(2k + 1)\pi}, where k ranges over all integers. The principal value is for zero k.

I think you mean:

i^i = e^{-\frac{1}{2}(k + 1)\pi}

since it works for every k*(pi/2) with zero k beeing the principal value if I'm correct

 

[dextercioby]

Nope.Compare the case k=0 and k=1,for simplicity.

Daniel.

 

[Max cohen]

I see... :shy:

 

[Curious3141]

Sorry, I was wrong. The general form should be i^i = e^{-\frac{1}{2}\pi(4k + 1)}.

 

[dextercioby]

Nope,it can't be that one.

Daniel.

 

[Curious3141]

Nope,it can't be that one.

Daniel.

Why not ?

k = 0, obvious.

k = 1, exp (-5pi/2) = z.

z^(-i) = exp(5*i*pi/2) = exp(i*pi/2 + 2*i*pi) = i

and so forth.

 

[dextercioby]

Sorry, I was wrong. The general form should be i^i = e^{-\frac{1}{2}\pi(4k + 1)}.

Alright

You said (see above)

i^{i}=e^{-\frac{1}{2}\pi(4k+1)}

I say

k=0 (1)

\mathbb{R}\ni i^{i}=e^{-\frac{\pi}{2}} (2)

k=1 (3)

\mathbb{R}\ni i^{i}=e^{-\frac{5\pi}{2}}\neq e^{-\frac{\pi}{2}}\substack{(2)\\\displaystyle{=}} i^{i}\in\mathbb{R} (4)

Do you see something fishy...? You're working with very real numbers...No more multivalued functions...

Daniel.

 

[dextercioby]

Okay,now here's what u and Max Cohen wanted to write.

i^{i}=e^{-\frac{\pi}{2}+2ki\pi} \ ,\ k\in\mathbb{Z}

Daniel.

 

[Curious3141]

No, that's not what I wanted to write. I meant that i^i has an infinite number of real, distinct values as given by the general form. The form you wrote trivially gives only a single real value.

My first form was wrong because it generated values for (-i)^i as well. But this form is definitely right.

Complex exponentiation is multivalued, and yes, it can even give an infinite number of distinct real results.

 

[dextercioby]

Nope.Everything is in terms of real numbers.U use equality sign,and the reals have a funny way of behaving way when in the presence of the equality sign...

i^{i}=:a\in\mathbb{R}

You're telling me that a=e^{-\frac{\pi}{2}}=e^{-\frac{5\pi}{2}}=e^{-\frac{9\pi}{2}}=...

and that's profoundly incorrect.

Daniel.

 

[shmoe]

i^{i}=:a\in\mathbb{R}

You're telling me that a=e^{-\frac{\pi}{2}}=e^{-\frac{5\pi}{2}}=e^{-\frac{9\pi}{2}}=...

and that's profoundly incorrect.

This isn't what he's saying. He's saying that you have many different choices for i^i:=e^{i\log{i}}. log is a multivalued function, \log{i}=\pi i/2+2\pi i k for any integer k. The choice of k chooses the branch of log you are working with. So i^i=e^{i(\pi i/2+2\pi i k)}=e^{-\pi /2-2\pi k} and the different values of k give different values of i^i, depending on which branch of log you're using. e^{-\frac{\pi}{2}},e^{-\frac{5\pi}{2}},e^{-\frac{9\pi}{2}},\ldots are all valid answers for i^i, just as \pi i/2,5\pi i/2,9\pi i/2,\ldots are all valid answers for log(i).

 

[Curious3141]

This isn't what he's saying. He's saying that you have many different choices for i^i:=e^{i\log{i}}. log is a multivalued function, \log{i}=\pi i/2+2\pi i k for any integer k. The choice of k chooses the branch of log you are working with. So i^i=e^{i(\pi i/2+2\pi i k)}=e^{-\pi /2-2\pi k} and the different values of k give different values of i^i, depending on which branch of log you're using. e^{-\frac{\pi}{2}},e^{-\frac{5\pi}{2}},e^{-\frac{9\pi}{2}},\ldots are all valid answers for i^i, just as \pi i/2,5\pi i/2,9\pi i/2,\ldots are all valid answers for log(i).

^Exactly.

 

[dextercioby]

Alright.Point taken. I never thought of it this way before,so i have a reason to thank you.

Daniel.

 

[Curious3141]

Alright.Point taken. I never thought of it this way before,so i have a reason to thank you.

Daniel.

Cool. Perhaps the orig. poster was not right when he said math is weird, but math certainly is beautiful and mysterious. ;)

 

[arildno]

Cool. Perhaps the orig. poster was not right when he said math is weird, but math certainly is beautiful and mysterious. ;)

"The arcane pleasures of abstruse maths is only for the select few of lofty intellect and weird speech patterns"

Was that what you meant?..

 

[Curious3141]

"The arcane pleasures of abstruse maths is only for the select few of lofty intellect and weird speech patterns"

Was that what you meant?..

Oooh, I have goosebumps. LOL.