テトレーションの微分
テトレーションの微分
\(n\in\mathbb{N}_{0}\)とする。
\[ \frac{d}{dz}\left(z\uparrow^{2}n\right)=\frac{1}{z}\sum_{k=1}^{n}\left(\log^{k-1}z\right)\prod_{j=n-k}^{n}\left(z\uparrow^{2}j\right) \]
\(n\in\mathbb{N}_{0}\)とする。
\[ \frac{d}{dz}\left(z\uparrow^{2}n\right)=\frac{1}{z}\sum_{k=1}^{n}\left(\log^{k-1}z\right)\prod_{j=n-k}^{n}\left(z\uparrow^{2}j\right) \]
-
\(z\uparrow^{2}n\)はクヌースの矢印表記\begin{align*}
\frac{d}{dz}\left(z\uparrow^{2}n\right) & =\frac{d}{dz}\left(z\uparrow z\uparrow^{2}\left(n-1\right)\right)\\
& =\frac{d}{dz}\left(z^{z\uparrow^{2}\left(n-1\right)}\right)\\
& =z\uparrow^{2}\left(n-1\right)z^{z\uparrow^{2}\left(n-1\right)-1}+\log z\cdot z^{z\uparrow^{2}\left(n-1\right)}\frac{d}{dz}z\uparrow^{2}\left(n-1\right)\\
& =z\uparrow^{2}\left(n-1\right)\cdot z\uparrow^{2}n\cdot z^{-1}+\log z\cdot z\uparrow^{2}n\frac{d}{dz}z\uparrow^{2}\left(n-1\right)\\
& =\log^{n}z\left(\prod_{j=1}^{n}z\uparrow^{2}j\right)\sum_{k=1}^{n}\left\{ \left(\prod_{j=1}^{k}\frac{1}{\log z\cdot z\uparrow^{2}j}\right)\frac{d}{dz}\left(z\uparrow^{2}k\right)-\left(\prod_{j=1}^{k-1}\frac{1}{\log z\cdot z\uparrow^{2}j}\right)\frac{d}{dz}z\uparrow^{2}\left(k-1\right)\right\} \\
& =\log^{n}z\left(\prod_{j=1}^{n}z\uparrow^{2}j\right)\sum_{k=1}^{n}\left\{ \left(\prod_{j=1}^{k}\frac{1}{\log z\cdot z\uparrow^{2}j}\right)z\uparrow^{2}\left(k-1\right)\cdot z\uparrow^{2}k\cdot z^{-1}\right\} \\
& =\log^{n}z\left(\prod_{j=1}^{n}z\uparrow^{2}j\right)\sum_{k=1}^{n}\left\{ \frac{1}{\log^{k}z}\left(\prod_{j=1}^{k-2}\frac{1}{z\uparrow^{2}j}\right)\cdot z^{-1}\right\} \\
& =\frac{1}{z}\sum_{k=1}^{n}\left(\log^{n-k}z\right)\left(\prod_{j=k-1}^{n}z\uparrow^{2}j\right)\\
& =\frac{1}{z}\sum_{k=0}^{n-1}\left(\log^{k}z\right)\left(\prod_{j=n-k-1}^{n}z\uparrow^{2}j\right)\\
& =\frac{1}{z}\sum_{k=1}^{n}\left(\log^{k-1}z\right)\left(\prod_{j=n-k}^{n}z\uparrow^{2}j\right)
\end{align*}
ページ情報
タイトル | テトレーションの微分 |
URL | https://www.nomuramath.com/v7901c0r/ |
SNSボタン |
コンウェイのチェーン表記の基本
\[
a\rightarrow0\rightarrow b=1-\delta_{0b}
\]
ハイパー演算子の優先順位
\[
I_{n+1}\left(a,b\right)=I_{n+1}\left(a,b-1\right)^{\left(n\right)}a
\]
コンウェイのチェーン表記の別定義
\[
a\rightarrow b\rightarrow c=a\uparrow^{c}b
\]
2年生の夢(高さ2のテトレーションの0から1までの定積分)
\[
\int_{0}^{1}\frac{1}{x^{x}}dx=\sum_{k=1}^{\infty}\frac{1}{k^{k}}
\]