logo

Uniform Convergence of Function Series 📂Analysis

Uniform Convergence of Function Series

Definition

Let’s define a subset EE \ne \emptyset of R\mathbb{R}, function f:ERf : E \to \mathbb{R}, and sequence of functions {fn:ER}n=1\left\{ f_{n} : E \to \mathbb{R} \right\}_{n=1}^{\infty}. If there exists NNN \in \mathbb{N} for every ε>0\varepsilon > 0 satisfying nN    fn(x)f(x)<εn \ge N \implies | f_{n} (x) - f(x) | < \varepsilon, then sequence fnf_{n} converges uniformly to ff in EE, denoted by:

fnf f_n \rightrightarrows f

or

fnuniff f_{n} \overset{\text{unif}}{\to} f

or

fnfuniformly f_{n} \to f \quad \text{uniformly}

Explanation

Unlike pointwise convergence, which only concerns the convergence of function values, uniform convergence pays attention to whether the sequence of functions fnf_{n} actually converges to the function ff. A sequence that converges uniformly has a stronger condition and thus possesses more properties.

To put it another way, uniform convergence is equipped with stronger conditions to ensure the functions retain the “basic” properties that mathematicians assume they “should” have for research. Unlike pointwise convergent function sequences, the properties of fnf_{n} are preserved in ff for uniformly convergent sequences.

Theorem

Suppose sequence fnf_{n} uniformly converges to ff in EE.

(a) Continuity: If fnf_{n} is continuous at x0Ex_{0} \in E, then ff is also continuous at x0Ex_{0} \in E.

(b) Differentiability: If fnf_{n} is differentiable at E=(a,b)E = (a,b) and fnf_{n} ' converges uniformly in EE, then ff is also differentiable in EE, and

limnddxfn(x)=ddx(limnfn(x)) \lim_{n \to \infty} {{ d } \over { dx }} f_{n} (x) = {{ d } \over { dx }} \left( \lim_{n \to \infty} f_{n} (x) \right)

(c) Integrability: If fnf_{n} is integrable at E=[a,b]E = [a,b], then ff is also integrable in EE, and

limnabfn(x)dx=ab(limnfn(x))dx \lim_{n \to \infty} \int_{a}^{b} f_{n} (x) dx = \int_{a}^{b} \left( \lim_{n \to \infty} f_{n} (x) \right) dx


The ability of ab\int_{a}^{b} and ddx\displaystyle {{ d } \over { dx }} to freely move within limn\displaystyle \lim_{n \to \infty} is a very desirable property. If someone asks why this is beneficial, it’s akin to finding the answer within the question. In fields other than mathematics, sequences of functions may appear without considering concepts like uniform convergence and still use the properties of uniform sequences as if they were obvious. However, if the operations became impossible without uniform convergence, it would create a nightmarish scenario.

See Also