6
$\begingroup$

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 $.

$\endgroup$
  • 6
    $\begingroup$ See equation 18 here: mathworld.wolfram.com/PowerTower.html $\endgroup$ – apnorton Jan 22 '14 at 17:37
  • $\begingroup$ See also Lambert W function on Mathworld. Evidently Eisenstein (1844) thought of it too. Upvoted $\endgroup$ – Alan Jan 22 '14 at 19:26
  • 1
    $\begingroup$ You should first specify which definition of the power tower you are using since the function is multivalued. $\endgroup$ – Moishe Kohan Jan 22 '14 at 19:43
5
$\begingroup$

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

$\endgroup$
  • 2
    $\begingroup$ I don't see how this helps solve the problem... (but I could just be overlooking something obvious) $\endgroup$ – apnorton Jan 22 '14 at 17:41
  • $\begingroup$ And $i^{i^z} = z.$ And $i^{i^{i^z}} = z.$ And ... $\endgroup$ – John Jan 22 '14 at 17:50
  • 1
    $\begingroup$ $z$ is a solution of the equation $i^z=z$. $\endgroup$ – Martín-Blas Pérez Pinilla Jan 22 '14 at 18:14
  • 1
    $\begingroup$ 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. $\endgroup$ – Cameron Williams Jan 22 '14 at 18:50
  • 1
    $\begingroup$ And now...... ? $\endgroup$ – user85798 Jan 22 '14 at 19:13
4
$\begingroup$

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.

$\endgroup$
  • $\begingroup$ 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. $\endgroup$ – Matthew Conroy Jan 23 '14 at 1:06
  • $\begingroup$ Whoa!, I'll generally require a lot of amazement to say this, but... Whoa! $\endgroup$ – alandella Jan 26 '14 at 19:27
3
$\begingroup$

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

$\endgroup$
  • 1
    $\begingroup$ A better approximation is $0.438283 + 0.360592 i$. $\endgroup$ – Matthew Conroy Jan 22 '14 at 19:34
  • $\begingroup$ @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. $\endgroup$ – Foo Barrigno Jan 22 '14 at 19:40
  • $\begingroup$ It looks like you only went to 21 iterations. Try going for longer (like 1000, or so). $\endgroup$ – Matthew Conroy Jan 22 '14 at 19:47
  • $\begingroup$ What is this number? What is its significance/properties if any? $\endgroup$ – zerosofthezeta Jan 22 '14 at 19:51
  • $\begingroup$ It's just the point where $i^z=z$ $\endgroup$ – Foo Barrigno Jan 23 '14 at 15:36

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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