テトレーション (英 : tetration )とは、冪乗 の次となる4番目のハイパー演算 である。つまり、自らの冪乗を指定された回数反復する二項演算 である。超冪 (ちょうべき)ともいう。テトレーションという語はルーベン・グッドスタイン によって、「4 」を意味する接頭辞 tetra- と「繰り返し」を意味する iteration から作り出された[ 1] 。
定義
任意の正の実数 a > 0 および非負整数 n ≥ 0 に対し、次のようにテトレーション n a を再帰的 に定める。
n
a
:=
{
1
if
n
=
0
a
[
(
n
−
1
)
a
]
if
n
>
0
{\displaystyle {}^{n}a:={\begin{cases}1&{\text{if }}n=0\\a^{\left[{}^{(n-1)}a\right]}&{\text{if }}n>0\end{cases}}}
区間 x ∈ (0, 1] における y = x x と y = x −x のグラフ。
1/2 x 、 2 x の 0 から 1 までの定積分は二年生の夢 と呼ばれる。
∫
0
1
1
2
x
d
x
=
∑
n
=
1
∞
1
2
n
(
=
1.29128599706266354040728259059560054149861936827
…
)
∫
0
1
2
x
d
x
=
−
∑
n
=
1
∞
2
(
−
n
)
(
=
0.78343051071213440705926438652697546940768199014
…
)
{\displaystyle {\begin{aligned}\int _{0}^{1}{\frac {1}{{}^{2}x}}\mathrm {d} x&=\quad \sum _{n=1}^{\infty }{\frac {1}{{}^{2}n}}&{\scriptstyle (=1.29128599706266354040728259059560054149861936827\dots )}\\\int _{0}^{1}{{}^{2}x}\,\mathrm {d} x&=-\sum _{n=1}^{\infty }{{}^{2}(-n)}&{\scriptstyle (=0.78343051071213440705926438652697546940768199014\dots )}\end{aligned}}}
収束または振動する点
発散する点
複素数 の累乗が可能なことから、テトレーションは複素数の底に対しても定義できる。
例えばテトレーション n i は対数関数 の主枝 を用いて定められる。このときオイラーの公式 から次の式が得られる。
i
a
+
b
i
=
e
1
2
π
i
(
a
+
b
i
)
=
e
−
1
2
π
b
(
cos
π
a
2
+
i
sin
π
a
2
)
{\displaystyle i^{a+bi}=e^{{\frac {1}{2}}\pi i(a+bi)}=e^{-{\frac {1}{2}}\pi b}\left(\cos {\frac {\pi a}{2}}+i\sin {\frac {\pi a}{2}}\right)}
e
−
e
≤
x
≤
e
1
/
e
{\displaystyle e^{-e}\leq x\leq e^{1/e}}
関数
|
W
(
−
ln
z
)
−
ln
z
|
{\displaystyle \left|{\frac {\mathrm {W} (-\ln {z})}{-\ln {z}}}\right|}
x a の一次近似によるグラフ(a = 4, e , 2, 1.5, 0.5 )。漸近線 はx = -2
一次近似(連続性のもと微分可能性を近似)は次のように与えられる。
x
a
≈
{
1
+
x
−
1
<
x
≤
0
a
(
x
−
1
a
)
0
<
x
log
a
(
x
+
1
a
)
x
≤
−
1
{\displaystyle {}^{x}a\approx {\begin{cases}1+x&-1<x\leq 0\\a^{\left({}^{x-1}a\right)}&0<x\\\log _{a}({}^{x+1}a)&x\leq -1\end{cases}}}
x a の二次近似によるグラフ(a = 4, e , 2, 1.5, 0.5 )
(微分可能性についての)二次近似は次のように与えられる。
x
a
≈
{
log
a
(
x
+
1
a
)
x
≤
−
1
1
+
2
ln
(
a
)
1
+
ln
(
a
)
x
−
1
−
ln
(
a
)
1
+
ln
(
a
)
x
2
−
1
<
x
≤
0
a
(
x
−
1
a
)
0
<
x
{\displaystyle {}^{x}a\approx {\begin{cases}\log _{a}({}^{x+1}a)&x\leq -1\\1+{\frac {2\ln(a)}{1+\ln(a)}}x-{\frac {1-\ln(a)}{1+\ln(a)}}x^{2}&-1<x\leq 0\\a^{\left({}^{x-1}a\right)}&0<x\end{cases}}}
複素平面上にテトレーション
f
=
F
(
x
+
i
y
)
{\displaystyle f=F(x+iy)}
y = √ x s のグラフ。
超平方根(英 : super square root )は 2 x の逆であり、二つの等価な表記 ssrt(x ) , √ x s を持つ。
この関数は次のようなランベルトのW関数 による表示を持つ。[ 18]
s
s
r
t
(
x
)
=
e
W
(
l
n
(
x
)
)
=
l
n
(
x
)
W
(
l
n
(
x
)
)
{\displaystyle \mathrm {ssrt} (x)=e^{W(\mathrm {ln} (x))}={\frac {\mathrm {ln} (x)}{W(\mathrm {ln} (x))}}}
カテゴリ