Let $(X_i)_{i\in\mathbb{N}}$ be independent, exponentially distributed random variables with parameter $\lambda$. Define for $t\gt0$ $N_t:=\sup\{n\in\mathbb{N}:\sum_{k=1}^{n} X_k\le t\}$. Show that $N_t$ is poisson distributed with parameter $\lambda t$.

My ideas: Since the sum of $n$ exponential random variables is gamma-distributed with parameters $n,\lambda$ we have: $P(N_t\le s)=P(\sum_{k=1}^{s}X_k\le t)=\int_{-\infty}^t \dfrac{\lambda^s}{\Gamma(s)}x^{s-1}\exp^{-\lambda x}dx$.
I want this to equal $\dfrac{(\lambda t)^s}{s!}\exp^{-\lambda t}$ to show it is poisson distributed, but I am having trouble evaluating the integral and would appreciate all help!


1 Answer 1


First of all, you're confused about a basic difference between PMFs and CDFs: if $N_t \sim \operatorname{Poisson}(\lambda t)$, then $$\Pr[N_t \le s] \ne \Pr[N_t = s] = e^{-\lambda t} \frac{(\lambda t)^s}{s!}.$$

If $N_t = s$, then what this means is that $\displaystyle \sum_{k=1}^s X_k \le t$, yet $\displaystyle \sum_{k=1}^{s+1} X_k > t$. What is the probability of such an event occurring? This involves an integration but not of the sort you were looking at. What you want is that the gamma variable $T_s \sim \operatorname{Gamma}(s,\lambda)$ is at most $t$, but adding on the next exponential variable $X_{s+1}$ will make $X_{s+1} + T_s > t$. How do you do this? $$\Pr[N_t = s] = \int_{x=0}^t f_{T_s}(x) S_{X_{s+1}}(t-x) \, dx.$$ The computation I leave to you.

  • $\begingroup$ What is $S_{X_{s+1}}(t-x)$? $\endgroup$
    – blst
    Dec 5, 2014 at 15:26
  • 1
    $\begingroup$ The survival function of the exponential distribution $X_{s+1}$: $$S_{X_{s+1}}(t-x) = \Pr[X_{s+1} > t-x].$$ $\endgroup$
    – heropup
    Dec 5, 2014 at 15:27
  • $\begingroup$ Thank you! I think I'll be able to do this from here! $\endgroup$
    – blst
    Dec 5, 2014 at 15:28
  • $\begingroup$ Could you elaborate what is the result of $P(X_{S+1} > t - x)$ and why? $\endgroup$
    – blahblah
    Jan 22, 2020 at 9:47

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .