スターリング数の逆行列
スターリング数の逆行列
第1種スターリング数と第2種スターリング数の積について以下が成り立つ。
\(S_{2}\left(n,k\right)\)は第2種スターリング数
第1種スターリング数と第2種スターリング数の積について以下が成り立つ。
(1)
\begin{align*} \delta_{nj} & =\sum_{k=0}^{n}S_{1}\left(n,k\right)S_{2}\left(k,j\right)\\ & =\sum_{k=j}^{n}S_{1}\left(n,k\right)S_{2}\left(k,j\right) \end{align*}(2)
\begin{align*} \delta_{nj} & =\sum_{k=0}^{n}S_{2}\left(n,k\right)S_{1}\left(k,j\right)\\ & =\sum_{k=j}^{n}S_{2}\left(n,k\right)S_{1}\left(k,j\right) \end{align*}-
\(S_{1}\left(n,k\right)\)は第1種スターリング数\(S_{2}\left(n,k\right)\)は第2種スターリング数
第1種スターリング数と第2種スターリング数は互いに逆行列のような関係にある。
(1)
\begin{align*} \sum_{k=0}^{2}S_{1}\left(2,k\right)S_{2}\left(k,2\right) & =\sum_{k=2}^{2}S_{1}\left(2,k\right)S_{2}\left(k,2\right)\\ & =S_{1}\left(2,2\right)S_{2}\left(2,2\right)\\ & =1\cdot1\\ & =1 \end{align*}(2)
\[ \sum_{k=0}^{2}S_{1}\left(2,k\right)S_{2}\left(k,3\right)=0 \](3)
\begin{align*} \sum_{k=0}^{2}S_{2}\left(2,k\right)S_{1}\left(k,2\right) & =\sum_{k=2}^{2}S_{2}\left(2,k\right)S_{1}\left(k,2\right)\\ & =S_{2}\left(2,2\right)S_{1}\left(2,2\right)\\ & =1\cdot1\\ & =1 \end{align*}(4)
\[ \sum_{k=0}^{2}S_{2}\left(2,k\right)S_{1}\left(k,3\right)=0 \](1)
\begin{align*} P\left(x,n\right) & =\sum_{k=0}^{n}S_{1}\left(n,k\right)x^{k}\\ & =\sum_{k=0}^{n}S_{1}\left(n,k\right)\sum_{j=0}^{k}S_{2}\left(k,j\right)P\left(x,j\right)\\ & =\sum_{j=0}^{n}\sum_{k=j}^{n}S_{1}\left(n,k\right)S_{2}\left(k,j\right)P\left(x,j\right)\\ & =\sum_{j=0}^{n}\sum_{k=0}^{n}S_{1}\left(n,k\right)S_{2}\left(k,j\right)P\left(x,j\right) \end{align*} これより、\begin{align*} \delta_{nj} & =\sum_{k=0}^{n}S_{1}\left(n,k\right)S_{2}\left(k,j\right)\\ & =\sum_{k=j}^{n}S_{1}\left(n,k\right)S_{2}\left(k,j\right) \end{align*}
(2)
\begin{align*} x^{n} & =\sum_{k=0}^{n}S_{2}\left(n,k\right)P\left(x,k\right)\\ & =\sum_{k=0}^{n}S_{2}\left(n,k\right)\sum_{j=0}^{k}S_{1}\left(k,j\right)x^{j}\\ & =\sum_{k=0}^{n}\sum_{j=0}^{k}S_{2}\left(n,k\right)S_{1}\left(k,j\right)x^{j}\\ & =\sum_{j=0}^{n}\sum_{k=j}^{n}S_{2}\left(n,k\right)S_{1}\left(k,j\right)x^{j}\\ & =\sum_{j=0}^{n}\sum_{k=0}^{n}S_{2}\left(n,k\right)S_{1}\left(k,j\right)x^{j} \end{align*} これより、\begin{align*} \delta_{nj} & =\sum_{k=0}^{n}S_{2}\left(n,k\right)S_{1}\left(k,j\right)\\ & =\sum_{k=j}^{n}S_{2}\left(n,k\right)S_{1}\left(k,j\right) \end{align*}
ページ情報
| タイトル | スターリング数の逆行列 |
| URL | https://www.nomuramath.com/o6x1wqcy/ |
| SNSボタン |
スターリング数の簡単な値
\[
S_{1}\left(0,k\right)=\delta_{0k}
\]
スターリング数の解釈
\[
\left(-1\right)^{n+k}S_{1}\left(n,k\right)=\sum_{1\leq a_{1}<a_{2}<\cdots<a_{n-k}\leq n-1}\prod_{j=1}^{n-k}a_{j}
\]
第1種・第2種スターリング数の性質
\[
\sum_{k=0}^{n}\left(-1\right)^{n+k}S_{1}\left(n,k\right)=n!
\]
(*)スターリング数の漸化式
\[
S_{1}\left(n,k\right)=S_{1}\left(n-1,k-1\right)-\left(n-1\right)S_{1}\left(n-1,k\right)
\]