■指数タワー関数の怪(その5)

x^x^x^x^x^・・・が極限値をもつのはx=e^-e=0.065988・・・とx=e^1/e=1.444667861・・・の間であるときであることを、オイラーは示した。

ここではその複素化を考える

===================================

 i=exp(iπ/2)・・・虚軸上の点

 i^i=exp(i^2π/2)=exp(−π/2)・・・実軸上の点

 i^i^i=exp(iπ/2)^exp(−π/2)=cos{π/2exp(−π/2)}+isin{π/2exp(−π/2)}・・・単位円周上の点

 i^i^i^i=・・・

 i^i^i^i^i=・・・極限値はどのような1点に収束するのだろうか?

===================================

i^ω=ω

この超越方程式は、

(-iπ/2・ω)exp(-iπ/2・ω)=-iπ/2

と書き直すことができて、ランベルトのW関数を用いて

i^i^i^i^i・・・=i2/π・W(-iπ/2)=0.4382829367+0.3605924719i

===================================