テトレーションと対数
テトレーションと対数
\[ H_{4}\left(a,n\right)=\log_{a}^{m\circ}H_{4}\left(a,n+m\right) \]
(1)
\(n,m\in\mathbb{Z}\)とする。\[ H_{4}\left(a,n\right)=\log_{a}^{m\circ}H_{4}\left(a,n+m\right) \]
(2)
\[ H_{4}\left(a,-1\right)=0 \]-
\(H_{n}\left(a,b\right)\)はハイパー演算子(1)
\begin{align*} H_{4}\left(a,n\right) & =a\uparrow^{2}n\\ & =\log_{a}\left\{ a\uparrow\left(a\uparrow^{2}n\right)\right\} \\ & =\log_{a}\left\{ a\uparrow^{2}\left(n+1\right)\right\} \\ & =\log_{a}H_{4}\left(a,n+1\right)\\ & =\log_{a}^{m\circ}H_{4}\left(a,n+m\right)+\sum_{k=1}^{m}\left\{ \log_{a}^{\left(k-1\right)\circ}H_{4}\left(a,n+k-1\right)-\log_{a}^{k\circ}H_{4}\left(a,n+k\right)\right\} \\ & =\log_{a}^{m\circ}H_{4}\left(a,n+m\right) \end{align*}(2)
(1)より、\begin{align*} H_{4}\left(a,-1\right) & =\log_{a}H_{4}\left(a,0\right)\\ & =\log_{a}1\\ & =0 \end{align*}
ページ情報
タイトル | テトレーションと対数 |
URL | https://www.nomuramath.com/mdu69hwe/ |
SNSボタン |
ハイバー演算子とクヌースの矢印表記の関係
\[
H_{n}\left(a,b\right)=a\uparrow^{n-2}b\;,\;n\in\mathbb{Z}
\]
反復コンウェイのチェーン表記
\[
X\rightarrow\left(p+1\right)\rightarrow\left(q+1\right)=f^{p\circ}\left(X\right)
\]
ハイパー演算子とクヌースの矢印表記の(2,2)の値
\[
2\uparrow^{n}2=4-\delta_{-2,n}
\]
アッカーマン関数の定義と解
\[
A\left(m,n\right)=2\uparrow^{m-2}\left(n+3\right)-3
\]