1

I understand that $\int_0^\infty P(X>x)dx=E[x]$, and also the logic behind the discrete version here. What I don't understand is how the limits of integration change as is seen here, from $(x, \infty)$ to $(0, t)$. Thank you.

Impossibility
  • 291
  • 4
  • 9

1 Answers1

1

$$ \int_0^\infty \int_x^\infty f_X(t) \,dt \, dx = \int_0^\infty \int_0^t f_X(t) \, dx \, dt $$

This transformation is true no matter what the context is (as long as the function is Lebesgue integrable). Both double integrals are taken over the region where $0 \leq x \leq t$ (which is an angle-like unbounded slice of the plane). Changing the order of integration usually requires some consideration of how the limits of the region are described in a different way.

The left side has $t \geq x$, where $x$ stays fixed for the integration with respect to $t$. But on the right side, $t$ stays fixed for the integration with respect to $x$, and we need to state the limits of $x$ in terms of $t$: $x \leq t$.

aschepler
  • 9,449