grandes-ecoles 2017 QIII.A.5

grandes-ecoles · France · centrale-maths2__official Probability Generating Functions Radius of convergence and analytic properties of PGF
In this subsection, $X$ is a random variable taking values in $\mathbb{N}$ such that $\mathbb{P}(X = 0) > 0$, with auxiliary power series $H_{X}(t) = \ln(\mathbb{P}(X = 0)) + \sum_{k=1}^{\infty} \lambda_{k} t^{k}$ defined for $t \in ]-\rho(X), \rho(X)[$.
For $t \in ]-\rho(X), \rho(X)[$, show $G_{X}^{\prime}(t) = H_{X}^{\prime}(t) G_{X}(t)$, then $G_{X}(t) = \exp\left(H_{X}(t)\right)$.
In this subsection, $X$ is a random variable taking values in $\mathbb{N}$ such that $\mathbb{P}(X = 0) > 0$, with auxiliary power series $H_{X}(t) = \ln(\mathbb{P}(X = 0)) + \sum_{k=1}^{\infty} \lambda_{k} t^{k}$ defined for $t \in ]-\rho(X), \rho(X)[$.

For $t \in ]-\rho(X), \rho(X)[$, show $G_{X}^{\prime}(t) = H_{X}^{\prime}(t) G_{X}(t)$, then $G_{X}(t) = \exp\left(H_{X}(t)\right)$.