Picture the graphs of , , , on . Each one sags lower than the last, yet every graph still reaches up to height at the right end. At each single point the heights settle down, but the graphs as a whole never get uniformly close to their limit. That gap between “at each point” and “everywhere at once” decides whether limits of functions keep continuity and whether you may swap a limit with an integral.
Key terms
Sequences and series of functions
Definition A sequence of functions on a set is a list where each is a real function defined on . A series of functions on is the sequence of its partial sums
Every convergence question about a series of functions is a question about the sequence .
In plain words Instead of a list of numbers you have a list of graphs. Fixing turns it back into an ordinary sequence of numbers.
Example On let . At the values are , and at they are . A power series is a series of functions with .
Pointwise convergence
Definition The sequence converges pointwise on to a function if for every . In detail, for every and every there is an , which may depend on both and , such that
A series converges pointwise on when its partial sums do.
In plain words Check each point on its own. At every the numbers must settle down, but different points may settle at very different speeds.
Example For on the pointwise limit is
Every is continuous, yet the limit jumps at . Pointwise limits can lose continuity.
Uniform convergence
Definition The sequence converges uniformly on to if for every there is an , depending only on , such that
Uniform convergence implies pointwise convergence, but not conversely. If every is continuous on and uniformly on , then is continuous on .
In plain words One has to work for every point at once. Past that , the whole graph of stays inside a band of width around the graph of .
Example The functions do not converge uniformly on , since their continuous graphs would then have a continuous limit. On the smaller interval they do converge uniformly to , because there, and this bound is below any once is large.
Uniform error bounds
Definition For functions on put
Then uniformly on if and only if . In particular, if there are numbers with for all and all , the convergence is uniform.
In plain words Find the worst error over the whole set for each . Uniform convergence means that worst error goes to .
Example On the worst error of against the limit is for every , so the convergence is not uniform there either. By contrast satisfies
so uniformly on .
Weierstrass M-test
Definition Let be functions on . Suppose there are constants with
Then converges absolutely for every , and the series converges uniformly on .
In plain words If each term is trapped under a number that does not depend on , and those numbers form a convergent series, the series of functions converges uniformly.
Example Consider the series
on and take . Since converges, the series converges uniformly on all of . Its terms are continuous, so its sum is a continuous function.
Exchanging limits and integrals
Definition Let each be continuous on and let uniformly on . Then is continuous on and
For series, if each is continuous on and converges uniformly on , then
Pointwise convergence alone is not enough.
In plain words With uniform convergence the area under approaches the area under . Without it, area can hide in a thin spike that slides away.
Example On let . For each fixed the exponential wins and , and , so the pointwise limit is . But
The convergence is not uniform, since grows without bound.
Derivatives need more hypotheses
Definition Uniform convergence of does not imply convergence of . The standard result is this. Let each be continuously differentiable on , let converge for at least one , and let converge uniformly on . Then converges uniformly on to a differentiable function , and
For series the condition is that the series of derivatives converges uniformly.
In plain words A graph can be uniformly close to a flat line while wiggling steeply. To differentiate the limit you need control of the derivatives themselves.
Example The functions converge uniformly to on . Their derivatives give for every , not , and at they give , which does not converge at all.
Check yourself
- Show that converges uniformly to on .
Show the answer
For we have
and . So for all , a bound that goes to and does not depend on .
- Does converge uniformly on ?
Show the answer
Yes. For we have
and converges, so the M-test applies.
- Let on . Does converge uniformly? Do the derivatives converge uniformly?
Show the answer
Yes for the functions. On we have , so uniformly. No for the derivatives. They are , which converge pointwise to a limit that is for and at . That limit is discontinuous while each is continuous, so the convergence is not uniform. Indeed , while the limit function has derivative at .