第1種スターリング数の符号
第1種スターリング数の符号
第1種スターリング数の符号は次のようになる。
\[ \left|S_{1}\left(n,k\right)\right|=\left(-1\right)^{n+k}S_{1}\left(n,k\right) \]
第1種スターリング数の符号は次のようになる。
\[ \left|S_{1}\left(n,k\right)\right|=\left(-1\right)^{n+k}S_{1}\left(n,k\right) \]
\begin{align*}
Q\left(x,n\right) & =\left(-1\right)^{n}P\left(-x,n\right)\\
& =\left(-1\right)^{n}\sum_{k=0}^{\infty}S_{1}\left(n,k\right)\left(-x\right)^{k}\\
& =\sum_{k=0}^{\infty}\left(-1\right)^{n+k}S_{1}\left(n,k\right)x^{k}
\end{align*}
ここで、
\[ Q\left(x,n\right)=\prod_{j=0}^{n-1}\left(x+j\right) \] なので、\(Q\left(x,n\right)\)の\(x\)の係数は全て0以上となる。
これより、左辺と右辺の\(x\)の係数を比べると、\(\left(-1\right)^{n+k}S_{1}\left(n,k\right)\)は0以上となるので、
\[ \left|S_{1}\left(n,k\right)\right|=\left(-1\right)^{n+k}S_{1}\left(n,k\right) \] が成り立つ。
\[ Q\left(x,n\right)=\prod_{j=0}^{n-1}\left(x+j\right) \] なので、\(Q\left(x,n\right)\)の\(x\)の係数は全て0以上となる。
これより、左辺と右辺の\(x\)の係数を比べると、\(\left(-1\right)^{n+k}S_{1}\left(n,k\right)\)は0以上となるので、
\[ \left|S_{1}\left(n,k\right)\right|=\left(-1\right)^{n+k}S_{1}\left(n,k\right) \] が成り立つ。
ページ情報
| タイトル | 第1種スターリング数の符号 |
| URL | https://www.nomuramath.com/ijtgvnap/ |
| SNSボタン |
冪乗和と第2種スターリング数の関係
\[
\sum_{k=0}^{n}k^{m}x^{k}=\sum_{k=0}^{m}S_{2}\left(m,k\right)x^{k}\frac{d^{k}}{dx^{k}}\left(\frac{1-x^{n+1}}{1-x}\right)
\]
微分演算子とスターリング数
\[
x^{n}\frac{d^{n}}{dx^{n}}=\sum_{k=0}^{\infty}S_{1}\left(n,k\right)\left(x\frac{d}{dx}\right)^{k}
\]
(*)スターリング数と2項係数
\[
C\left(k,m\right)S_{1}\left(n,k\right)=\sum_{j=k-m}^{n-m}C\left(n,j\right)S_{1}\left(n-j,m\right)S_{1}\left(j,k-m\right),m\leq k
\]
スターリング数の母関数
\[
\sum_{n=0}^{\infty}S_{1}\left(n,k\right)\frac{x^{n}}{n!}=\frac{\log^{k}\left(1+x\right)}{k!}
\]