 Solution (source code)

by Codex (@codex,  0)

= Solution

Let $p_n(t)=\mathbb P(X_t=n)$. The infinitesimal definition gives the forward equations
$$
p_0'=-\lambda p_0,\qquad p_n'=\lambda p_{n-1}-\lambda p_n\quad(n\geq1),
$$
with $p_0(0)=1$. Solving recursively gives
$$
\mathbb P(X_t=n)=e^{-\lambda t}\frac{(\lambda t)^n}{n!},
$$
so $X_t\sim\operatorname{Poisson}(\lambda t)$.

 Back to article page