母関数の逆演算

by nomura · 2025年2月3日

母関数の逆演算

(1)通常型母関数

通常型母関数を
\[ G\left(z\right)=\sum_{k=0}^{\infty}a_{k}z^{k} \] とすると、
\[ a_{n}=\frac{1}{n!}\left[\frac{d^{n}}{dz^{n}}G\left(z\right)\right]_{z=0} \] となる。

(2)指数型母関数

指数型母関数を
\[ G_{E}\left(z\right)=\sum_{k=0}^{\infty}\frac{a_{k}}{k!}z^{k} \] とすると、
\[ a_{n}=\left[\frac{d^{n}}{dz^{n}}G_{E}\left(z\right)\right]_{z=0} \] となる。

(3)ポアソン母関数

ポアソン母関数を
\[ G_{P}\left(z\right)=\sum_{k=0}^{\infty}a_{k}e^{-z}\frac{z^{k}}{k!} \] とすると、
\[ a_{n}=\left[n!\frac{d^{n}}{dz^{n}}e^{z}G_{P}\left(z\right)\right]_{z=0} \] となる。

(1)

\begin{align*} \frac{1}{n!}\left[\frac{d^{n}}{dz^{n}}G\left(z\right)\right]_{z=0} & =\frac{1}{n!}\left[\frac{d^{n}}{dz^{n}}\sum_{k=0}^{\infty}a_{k}z^{k}\right]_{z=0}\\ & =a_{k}\frac{1}{n!}\sum_{k=0}^{\infty}\left[\frac{d^{n}}{dz^{n}}z^{k}\right]_{z=0}\\ & =a_{k}\frac{1}{n!}\sum_{k=0}^{\infty}k!\delta_{n,k}\\ & =a_{k} \end{align*} より題意は成り立つ。

(2)

\begin{align*} \left[\frac{d^{n}}{dz^{n}}G_{E}\left(z\right)\right]_{z=0} & =\left[\frac{d^{n}}{dz^{n}}\sum_{k=0}^{\infty}\frac{a_{k}}{k!}z^{k}\right]_{z=0}\\ & =\sum_{k=0}^{\infty}\frac{a_{k}}{k!}\left[\frac{d^{n}}{dz^{n}}z^{k}\right]_{z=0}\\ & =\sum_{k=0}^{\infty}\frac{a_{k}}{k!}k!\delta_{n,k}\\ & =a_{n} \end{align*} より題意は成り立つ。

(3)

\begin{align*} \left[n!\frac{d^{n}}{dz^{n}}e^{z}G_{P}\left(z\right)\right]_{z=0} & =\left[n!\frac{d^{n}}{dz^{n}}e^{z}\sum_{k=0}^{\infty}a_{k}e^{-z}\frac{z^{k}}{k!}\right]_{z=0}\\ & =n!\sum_{k=0}^{\infty}\frac{a_{k}}{k!}\left[\frac{d^{n}}{dz^{n}}z^{k}\right]_{z=0}\\ & =n!\sum_{k=0}^{\infty}\frac{a_{k}}{k!}\delta_{n,k}\\ & =\sum_{k=0}^{\infty}a_{k}\delta_{n,k}\\ & =a_{n} \end{align*} より題意は成り立つ。