■iのiのi乗について(その11)

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

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

 i^i^i=exp(iπ/2)^exp(−π/2)

=exp(iπ/2exp(−π/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

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

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

において、r=1,t=π/2exp(−π/2)とおく.

 i^i^i^i=exp(iπ/2)^(rcost+irsint)=exp{-π/2rsint+iπ/2rcost}

=exp{-π/2rsint}{cos(cos(π/2rcost))+isin(cos(π/2rcost))}

R=exp{-π/2rsint},T=cos(π/2rcost)とおく。

 i^i^i^i^i=exp(iπ/2)^(RcosT+iRsinT)=exp{-π/2RsinT+iπ/2RcosT}

=exp{-π/2RsinT}{cos(cos(π/2RcosT))+isin(cos(π/2RcosT))}

調和散歩のようには表すことができない。

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

 i=exp(iπ/2)=cos(π/2)+isin(π/2)

 i^i=exp(iπ/2)^exp(iπ/2)

 i^i=exp(iπ/2)^{cos(π/2)+isin(π/2)}

 i^i=exp(iπ/2{cos(π/2)+isin(π/2)})

 i^i=exp(-π/2sin(π/2)+iπ/2{cos(π/2)})

 i^i=exp(-π/2sin(π/2)){cosπ/2{cos(π/2)}+isin(π/2{cos(π/2)})}

 i^i=exp(−π/2)

 i^i^i=exp(iπ/2)^exp(−π/2)=exp(iπ/2exp(−π/2))

=cos{π/2exp(−π/2)}+isin{π/2exp(−π/2)}

r=1,t=π/2exp(−π/2)とおく.

 i^i^i^i=exp(iπ/2)^(rcost+irsint)=exp{-π/2rsint+iπ/2rcost}

=exp{-π/2rsint}{cos(cos(π/2rcost))+isin(cos(π/2rcost))}

R=exp{-π/2rsint},T=cos(π/2rcost)とおく。

 i^i^i^i^i=exp(iπ/2)^(RcosT+iRsinT)=exp{-π/2RsinT+iπ/2RcosT}

=exp{-π/2RsinT}{cos(cos(π/2RcosT))+isin(cos(π/2RcosT))}

U=exp{-π/2Rsint},V=cos(π/2RcosT)とおく。

 i^i^i^i^i^i=exp(iπ/2)^(UcosV+iUsinV)=exp{-π/2UsinV+iπ/2UcosV}

=exp{-π/2UsinV}{cos(cos(π/2UcosV))+isin(cos(π/2UcosV))}

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

ここで、sin(sinx)を考える

sinx=Σ(-1)^n/(2n+1)!・x^2n+1

sin(sinx)=Σ(-1)^1/(2n+1)!・(sinx)^2n+1

また、

(sinx)^2n+1=Σ(-1)^k/4^n・(2n+1,n-k)・sin((2k+1)x)

より、

sin(sinx)=Σ(-1)^1/(2n+1)!・Σ(-1)^k/4^n・(2n+1,n-k)・sin((2k+1)x)

を得る。

一般に、N重合成関数

|sin(sin(sin(・・・(sinx))))|<=2/log(N+1)

これはx>=1のとき、

sin(2/log(N+1))<=2/log(N+2)

より証明される。

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