Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Suppose $T_1,T_2,\dots$ are the arrival times of a Poisson process with rate $\lambda$ and let $f$ be a non-negative function. Show that $$E\left[ \exp\left(-\sum\limits_{n=1}^\infty f(T_n)\right)\right]=\exp\left(-\lambda\int\limits_0^\infty(1-e^{-f(t)})dt \right)$$ Hint: first show this to be true for simple functions $f$.

I know that you can use any positive function that is the limit of simple functions, but is not as demonstrating this for simple functions

share|cite|improve this question
I am sure you can show the formula if $f=a\mathbf 1_{[s,t]}$ for some $0\leqslant s\lt t$. – Did Jul 19 '12 at 22:46

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.