2項変換と交代2項変換の母関数
2項変換と交代2項変換の母関数
2項変換と交代2項変換について、母関数は次のようになります
2項変換
\[ b_{n}=\sum_{k=0}^{n}C\left(n,k\right)a_{k} \]
交代2項変換
\[ b_{n}=\sum_{k=0}^{n}\left(-1\right)^{k}C\left(n,k\right)a_{k} \]
2項変換と交代2項変換について、母関数は次のようになります
2項変換
\[ b_{n}=\sum_{k=0}^{n}C\left(n,k\right)a_{k} \]
(1)通常型母関数
\[ \sum_{k=0}^{\infty}b_{k}x^{k}=\frac{1}{1-x}\sum_{k=0}^{\infty}a_{k}\left(\frac{x}{1-x}\right)^{k} \](2)指数型母関数
\[ \sum_{k=0}^{\infty}b_{k}\frac{x^{k}}{k!}=e^{x}\sum_{k=0}^{\infty}a_{k}\frac{x^{k}}{k!} \]交代2項変換
\[ b_{n}=\sum_{k=0}^{n}\left(-1\right)^{k}C\left(n,k\right)a_{k} \]
(3)通常型母関数
\[ \sum_{k=0}^{\infty}b_{k}x^{k}=\frac{1}{1-x}\sum_{k=0}^{\infty}a_{k}\left(\frac{-x}{1-x}\right)^{k} \](4)指数型母関数
\[ \sum_{j=0}^{\infty}b_{k}\frac{x^{k}}{k!}=e^{x}\sum_{k=0}^{\infty}a_{k}\frac{\left(-x\right)^{k}}{k!} \]交代2項変換の母関数は、2項変換の母関数で\(a_{k}\rightarrow\left(-1\right)^{k}a_{k}\)とすれば導出できます。
(1)
\begin{align*} \sum_{j=0}^{\infty}b_{j}x^{j} & =\sum_{j=0}^{\infty}\sum_{k=0}^{j}C\left(j,k\right)a_{k}x^{j}\\ & =\sum_{k=0}^{\infty}a_{k}\sum_{j=k}^{\infty}C\left(j,k\right)x^{j}\\ & =\sum_{k=0}^{\infty}a_{k}x^{k}\left(1-x\right)^{-\left(k+1\right)}\\ & =\frac{1}{1-x}\sum_{k=0}^{\infty}a_{k}\left(\frac{x}{1-x}\right)^{k} \end{align*}(2)
\begin{align*} \sum_{j=0}^{\infty}b_{j}\frac{x^{j}}{j!} & =\sum_{j=0}^{\infty}\sum_{k=0}^{j}C\left(j,k\right)a_{k}\frac{x^{j}}{j!}\\ & =\sum_{k=0}^{\infty}a_{k}\sum_{j=k}^{\infty}C\left(j,k\right)\frac{x^{j}}{j!}\\ & =\sum_{k=0}^{\infty}a_{k}\frac{x^{k}}{k!}e^{x}\\ & =e^{x}\sum_{k=0}^{\infty}a_{k}\frac{x^{k}}{k!} \end{align*}(3)
\begin{align*} \sum_{j=0}^{\infty}b_{j}x^{j} & =\sum_{j=0}^{\infty}\sum_{k=0}^{j}\left(-1\right)^{k}C\left(j,k\right)a_{k}x^{j}\\ & =\sum_{k=0}^{\infty}\left(-1\right)^{k}a_{k}\sum_{j=k}^{\infty}C\left(j,k\right)x^{j}\\ & =\sum_{k=0}^{\infty}\left(-1\right)^{k}a_{k}x^{k}\left(1-x\right)^{-\left(k+1\right)}\\ & =\frac{1}{1-x}\sum_{k=0}^{\infty}a_{k}\left(\frac{-x}{1-x}\right)^{k} \end{align*}(4)
\begin{align*} \sum_{j=0}^{\infty}b_{j}\frac{x^{j}}{j!} & =\sum_{j=0}^{\infty}\sum_{k=0}^{j}\left(-1\right)^{k}C\left(j,k\right)a_{k}\frac{x^{j}}{j!}\\ & =\sum_{k=0}^{\infty}\left(-1\right)^{k}a_{k}\sum_{j=k}^{\infty}C\left(j,k\right)\frac{x^{j}}{j!}\\ & =\sum_{k=0}^{\infty}\left(-1\right)^{k}a_{k}\frac{x^{k}}{k!}e^{x}\\ & =e^{x}\sum_{k=0}^{\infty}a_{k}\frac{\left(-x\right)^{k}}{k!} \end{align*}ページ情報
| タイトル | 2項変換と交代2項変換の母関数 |
| URL | https://www.nomuramath.com/ljs22zac/ |
| SNSボタン |
2項係数の総和その他
\[
\sum_{k=1}^{n-1}\frac{C\left(k-n,k\right)}{k}=-H_{n-1}
\]
2項係数の関係その他
\[
C\left(\alpha,\beta\right)C\left(\beta,\gamma\right)=C\left(\alpha,\gamma\right)C\left(\alpha-\gamma,\beta-\gamma\right)
\]
一般ヴァンデルモンドの畳み込み定理
\[
\sum_{k_{1}+\cdots+k_{p}=m}\prod_{j=1}^{p}C\left(n_{j},k_{j}\right)=C\left(\sum_{j=1}^{p}n_{j},m\right)
\]
2項係数の第1引数と第2引数同士の総和
\[
\sum_{j=0}^{k-a}\left(-1\right)^{j}C\left(k,j+a\right)C\left(j+b,c\right)=\begin{cases}
\left(-1\right)^{k-a}C\left(b-a,c-k\right) & a-b+c\leq k\\
0 & k<a-b+c
\end{cases}
\]

