Análisis RealSequences and Series of Functions

What Uniform Convergence Keeps

A uniform limit of continuous functions is continuous, and ∫fₙ → ∫f; without uniform convergence, the limit of the integrals can differ from the integral of the limit.

Sin empezar Ir a la práctica

Esta lección aún no está traducida. Por ahora se muestra en inglés; la versión en español está en camino.

Why prefer uniform convergence? Because it lets you swap limits with the operations of calculus. The proofs are short, and the counterexamples, where the convergence is only pointwise, show that each hypothesis is needed. Integrals bring in the fundamental theorem.

Idea clave

If $f_n \to f$ uniformly on $[a, b]$ and each $f_n$ is continuous, then $f$ is continuous, and $\int_a^b f_n \to \int_a^b f$. For derivatives the hypothesis must be on the derivatives: if $f_n' \to g$ uniformly (and $f_n(x_0)$ converges at one point), then $f_n \to f$ with $f' = g$.

Por qué funciona

Continuity (the "$\frac{\varepsilon}{3}$ argument"). Given $\varepsilon > 0$, choose $n$ with $\|f_n - f\| < \frac{\varepsilon}{3}$, then $\delta$ from the continuity of $f_n$ at $c$. For $|x - c| < \delta$: $$|f(x) - f(c)| \le |f(x) - f_n(x)| + |f_n(x) - f_n(c)| + |f_n(c) - f(c)| < \varepsilon.$$ Integrals. $$\left|\int_a^b f_n - \int_a^b f\right| \le \int_a^b |f_n - f| \le (b - a)\|f_n - f\| \to 0. \quad \blacksquare$$ Both proofs use that one $n$ controls every $x$ at once, which is exactly what pointwise convergence cannot provide.

Derivatives follow from integrals when the $f_n'$ are continuous: write $f_n(x) = f_n(x_0) + \int_{x_0}^{x} f_n'$. As $n \to \infty$, the right side tends to $f(x_0) + \int_{x_0}^{x} g$, by the integral result applied to $f_n' \to g$. So $f(x) = f(x_0) + \int_{x_0}^{x} g$, and the fundamental theorem gives $f' = g$.

$f_n(x) = nx(1 - x^{2})^{n}$: every $f_n$ has area close to $\frac{1}{2}$, but the bump slides toward $0$ and gets taller, and the pointwise limit is $0$.

Worked examples

Ejemplo resuelto: The limit of the integrals is not the integral of the limit

For $f_n(x) = nx(1 - x^{2})^{n}$ on $[0, 1]$, find $\lim \int_0^1 f_n$ and $\int_0^1 \lim f_n$.
  1. Substitute $u = 1 - x^{2}$: $\int_0^1 nx(1 - x^{2})^{n}\,dx = \frac{n}{2}\int_0^1 u^{n}\,du = \frac{n}{2(n + 1)} \to \frac{1}{2}$.
  2. For each $x \in (0, 1]$, $(1 - x^{2})^{n} \to 0$ much faster than $n$ grows, and $f_n(0) = 0$; the pointwise limit is $0$.

Respuesta: $\frac{1}{2}$ versus $0$: the convergence cannot be uniform (indeed $\|f_n\| \to \infty$).

Ejemplo resuelto: When uniform convergence holds

For $f_n(x) = x + \frac{x^{2}}{n}$ on $[0, 1]$, compare $\lim \int f_n$ and $\int \lim f_n$.
  1. $\|f_n - x\| = \frac{1}{n} \to 0$: uniform.
  2. $\int_0^1 f_n = \frac{1}{2} + \frac{1}{3n} \to \frac{1}{2}$, and $\int_0^1 x\,dx = \frac{1}{2}$.

Respuesta: Both are $\frac{1}{2}$, as the theorem guarantees.

Ejemplo resuelto: Derivatives need more

$f_n(x) = \frac{\sin(nx)}{n} \to 0$ uniformly on $\mathbb{R}$. Do the derivatives converge to $0$?
  1. $f_n'(x) = \cos(nx)$, and $f_n'(0) = 1$ for every $n$.

Respuesta: No. Uniform convergence of $f_n$ does not control $f_n'$.

Error común

Swapping without checking. Moving a limit inside an integral, or differentiating a series term by term, is a swap of two limits, and it can fail. Before writing $\lim \int f_n = \int \lim f_n$, check uniform convergence (or another theorem's hypotheses). A quick warning sign is a bump that gets taller and thinner: the sup norm does not go to $0$.

Práctica

Apruebas con 3 respuestas correctas, las 2 últimas seguidas. Cada respuesta correcta da 3 XP.

Cargando la práctica…

Se apoya en

Lleva a

Este es uno de los peldaños más altos de Análisis Real.

Fuentes y lecturas

  • Jiří Lebl, Basic Analysis I: Introduction to Real Analysis, section 6.2 (interchange of limits)
  • MIT OpenCourseWare 18.100A Real Analysis, lecture notes on uniform convergence and integration