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

x^x^x^x^x^・・・=mのとき,

x^(x^x^x^x^x^・・・)=x^m=m

と書き変えることができて

  x=m^1/m 

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

実は、関数f(x)=x^(x^x^x^x^x^・・・)は区間[exp(−e),exp(1/e)]で定義されることをオイラーが示しています.

exp(−e)=0.06598803584・・・<1

exp(1/e)=1.44466786100>√2>1

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

xの定義域はわかったが、これからf(x)の値域を求めるためには

y=a^x

y=x

の2つのグラフが交点をもつときに、a~a^a^a^a^a・・・は収束し、

a=[exp(−e),exp(1/e)]

より、値域は

0<f(x)<=e

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