Extend the integrand by zero to all of :
For each fixed , eventually the indicator function is one and . Hence pointwise. On its support, , so for gives
The final bound is Lebesgue integrable on and independent of . The dominated convergence theorem therefore gives
The last integral follows from the antiderivative .

Articles by others on the same topic (0)

There are currently no matching articles.