Math 2.0

statement theorem

Uniform limits commute with integration

Statement

Let a<ba < b, and let fn ⁣:[a,b]→Rf_n \colon [a, b] \to \mathbb{R} be Riemann integrable for each nn. If fn→ff_n \to f uniformly on [a,b][a, b], then ff is Riemann integrable on [a,b][a, b], and lim⁡n→∞∫abfn(x) dx=∫abf(x) dx.\lim_{n \to \infty} \int_a^b f_n(x) \, dx = \int_a^b f(x) \, dx.

Remarks

Let εn=sup⁡∣fn−f∣\varepsilon_n = \sup |f_n - f|. Then fn−εn≤f≤fn+εnf_n - \varepsilon_n \le f \le f_n + \varepsilon_n. So the upper and lower sums of ff differ by at most 2εn(b−a)2 \varepsilon_n (b - a) more than those of fnf_n. This gives integrability, by Riemann's criterion. By monotonicity, ∣∫abfn−∫abf∣≤εn(b−a)→0\big| \int_a^b f_n - \int_a^b f \big| \le \varepsilon_n (b - a) \to 0. Pointwise convergence is not enough. On [0,1][0, 1], the functions fn(x)=n2x(1−x2)nf_n(x) = n^2 x (1 - x^2)^n tend to 00 pointwise, but ∫01fn=n22n+2→∞\int_0^1 f_n = \frac{n^2}{2n + 2} \to \infty.

Explanations

L1 human

If fnf_n is uniformly close to ff, the areas under their graphs are close too. So we may take the limit inside the integral.

What this node needs for W1
  • an inventory row: the row of the inventory that the node accounts for (0 of 1)

The writing levels say how complete the text of a node is. They do not measure its truth.

What this needs

To read this node, read these 18 nodes in this order. The foundations come first, and the list ends with this node.

Each node uses the nodes above it. The colour of the bar on a box shows the evidence level, and the box also gives it as text. The list below has the same nodes.
  • no evidence level
  1. Partition of an interval definition
  2. Sequence definition
  3. Mesh of a partition definition
  4. Riemann sum definition
  5. Real sequence definition
  6. Riemann integrable function definition
  7. Bounded sequence definition
  8. Limit of a sequence definition
  9. Riemann integral definition
  10. Upper and lower Darboux sums definition
  11. Pointwise convergence definition
  12. Definite integral definition
  13. Upper and lower Darboux integrals definition
  14. Uniform convergence definition
  15. Darboux and Riemann integrals agree statement
  16. Monotonicity of the integral statement
  17. Riemann's criterion for integrability statement
  18. Uniform limits commute with integration statement

What depends on this

1 node uses this node, directly or through other nodes.

Sources

  1. Web https://en.wikipedia.org/wiki/Uniform_convergence, To integrability