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 givesThe final bound is Lebesgue integrable on and independent of . The dominated convergence theorem therefore givesThe last integral follows from the antiderivative .
Articles by others on the same topic
There are currently no matching articles.