Uniform convergence and integration

Uniform limits of integrable functions are integrable and integrals commute with uniform limits
Uniform convergence and integration

Uniform convergence and integration (Riemann): Let fn:[a,b]Rf_n:[a,b]\to\mathbb{R} be for each nn, and suppose fnff_n\to f on [a,b][a,b]. Then:

  • ff is Riemann integrable on [a,b][a,b], and
  • the integrals converge to the integral of the limit: limnabfn(x)dx=abf(x)dx. \lim_{n\to\infty}\int_a^b f_n(x)\,dx=\int_a^b f(x)\,dx.

This theorem justifies passing limits through integrals when convergence is uniform, and it is a standard tool in approximation and arguments.

Proof sketch: Uniform convergence gives ffn0\|f-f_n\|_\infty\to 0. For the integral identity, use abfabfnabffn(ba)ffn0. \left|\int_a^b f-\int_a^b f_n\right| \le \int_a^b |f-f_n| \le (b-a)\|f-f_n\|_\infty \to 0. To show ff is integrable, combine integrability of some fnf_n (choose nn large) with the estimate that / for ff differ from those of fnf_n by at most (ba)ffn(b-a)\|f-f_n\|_\infty.