grandes-ecoles 2017 QIII.A.4

grandes-ecoles · France · centrale-maths2__mp 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$.
Show that the power series $\sum \lambda_{k} t^{k}$ has a radius of convergence $\rho(X)$ greater than or equal to $\mathbb{P}(X = 0)$. For all real $t$ in $]-\rho(X), \rho(X)[$, we set $$H_{X}(t) = \ln(\mathbb{P}(X = 0)) + \sum_{k=1}^{\infty} \lambda_{k} t^{k}$$
In this subsection, $X$ is a random variable taking values in $\mathbb{N}$ such that $\mathbb{P}(X = 0) > 0$.

Show that the power series $\sum \lambda_{k} t^{k}$ has a radius of convergence $\rho(X)$ greater than or equal to $\mathbb{P}(X = 0)$. For all real $t$ in $]-\rho(X), \rho(X)[$, we set
$$H_{X}(t) = \ln(\mathbb{P}(X = 0)) + \sum_{k=1}^{\infty} \lambda_{k} t^{k}$$