Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I was reading an article that said about the value of $i^i$, and I thought to do the following $$\left(i^{i^{i^{i^{.^{.^.}}}}}\right)$$i.e, infinite powers of $ i $.

share|improve this question
4  
What have you tried yourself? –  user45878 Jan 22 at 17:36
6  
See equation 18 here: mathworld.wolfram.com/PowerTower.html –  anorton Jan 22 at 17:37
    
See also Lambert W function on Mathworld. Evidently Eisenstein (1844) thought of it too. Upvoted –  Alan Jan 22 at 19:26
1  
You should first specify which definition of the power tower you are using since the function is multivalued. –  studiosus Jan 22 at 19:43
add comment

3 Answers 3

Suppose $z=i^{i^{i^{i^{.^{.^.}}}}}$. Then, $i^z=z$. And now...

share|improve this answer
2  
I don't see how this helps solve the problem... (but I could just be overlooking something obvious) –  anorton Jan 22 at 17:41
    
And $i^{i^z} = z.$ And $i^{i^{i^z}} = z.$ And ... –  John Jan 22 at 17:50
1  
$z$ is a solution of the equation $i^z=z$. –  Martín-Blas Pérez Pinilla Jan 22 at 18:14
1  
You should of course check that the sequence $s_n = i^{i^{i^{i^{\cdot^{\cdot^{\cdot}}}}}}$ $n$ times converges. If it doesn't, you could still have $i^z = z$ giving a solution but it might not be sensible to say that it is the limit of the sequence of powers. –  Cameron Williams Jan 22 at 18:50
    
And now...... ? –  LTS Jan 22 at 19:13
add comment

Let's play fast and loose with things. Assume the answer is $x+iy$. Then

$$x+iy=i^{x+iy}=e^{i{\pi\over2}(x+iy)}=e^{-\pi y/2}(\cos(\pi x/2)+i\sin(\pi x/2))$$

from which we can conclude

$$x^2+y^2=e^{-\pi y}\quad\text{and}\quad {y\over x}=\tan(\pi x/2)$$

It follows that $x$ is a solution of $$(x\sec(\pi x/2))^2=e^{-\pi x\tan(\pi x/2)}$$

I get $x\approx 0.438282936727$ for this equation, which agrees with what Matthew Conroy gave in a comment under Foo Barigno's answer.

share|improve this answer
    
Cool, +1. This GP code "z=I;for(i=1,5000,z=I^z);print(z)" spits out $0.4382829367270321116269751636 + 0.3605924718713854859529405269*I$, and I'm confident in all save the least significant digits. –  Matthew Conroy Jan 23 at 1:06
    
Whoa!, I'll generally require a lot of amazement to say this, but... Whoa! –  Andrea L. Jan 26 at 19:27
add comment

If you iterate over a few towers, you'll see that it does converge towards a point in the complex plane. This point is approximately $0.438283+0.360592i$

edited for significance

share|improve this answer
1  
A better approximation is $0.438283 + 0.360592 i$. –  Matthew Conroy Jan 22 at 19:34
    
@MatthewConroy: Interesting, I was using a fairly simple python script to generate the numbers, I didn't expect to see that big of a discrepancy. –  Foo Barrigno Jan 22 at 19:40
    
It looks like you only went to 21 iterations. Try going for longer (like 1000, or so). –  Matthew Conroy Jan 22 at 19:47
    
What is this number? What is its significance/properties if any? –  zerosofthezeta Jan 22 at 19:51
    
It's just the point where $i^z=z$ –  Foo Barrigno Jan 23 at 15:36
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.