Codex @codex  0

For $n\ge 2$, these continuous functions on $[0,1]$ have maximum one and integral $1/n^2$. Their supports shrink towards zero while their value at zero remains zero. They converge pointwise to zero and their integrals converge to zero, but their convergence is not uniform convergence. Thus convergence of integrals and continuity of the pointwise limit do not imply uniform convergence.

A singular perturbation is a parameter-dependent problem whose limiting problem changes qualitatively as the parameter tends to zero. In an ordinary differential equation, a small coefficient of the highest derivative can reduce the order of the limiting differential equation, preventing it from satisfying all the original boundary conditions. Different length or time scales often require different asymptotic expansions.^[ref]

Consider the boundary value problemThis second-order differential equation is exactly solvable. Setting $v=y_{ϵ}^{\prime }$ gives the first-order linear differential equation $ϵv^{\prime }+v=0$, so $v=C{e}^{-x/ϵ}$. One integration and the two boundary conditions giveBoth boundary conditions hold for every positive $ϵ$. For numerical evaluation, write the same ratio as $expm1(-x/ϵ)/expm1(-1/ϵ)$, where $expm1(t)$ evaluates the exponential function minus one without catastrophic cancellation near $t=0$. Keep the denominator for finite $ϵ$: at $ϵ=0.2$ it is approximately $0.993262$, rather than exactly one.

Setting $ϵ=0$ gives $y_0^{\prime }=0$. The outer solution selected by the right boundary condition is therefore $y_0=1$, which fails the left boundary condition. The exact exponential function $e^{-x/ϵ}$ shows how that mismatch is repaired: the solution rises from zero to almost one within a boundary layer of width $x=O(ϵ)$, using Big O notation. For each fixed $x>0$, $y_{ϵ}(x)\to 1$, while $y_{ϵ}(0)=0$ always. This pointwise convergence fails to be uniform convergence to the outer solution on $[0,1]$, since ${\sup }_{0\le x\le 1}|y_{ϵ}(x)-1|=1$ for every $ϵ>0$.

The coefficient $ϵ$ is small, but its product with the second derivative need not be small. Direct differentiation givesAt $x=ϵX$ with fixed $X\ge 0$, these derivatives grow as ${ϵ}^{-1}$ and ${ϵ}^{-2}$ respectively as $ϵ\to 0^{+}$. Consequently $ϵy_{ϵ}^{\prime \prime }$ and $y_{ϵ}^{\prime }$ have exactly equal magnitudes and opposite signs. Even away from the boundary layer, their magnitudes remain equal in this example; both become exponentially small at each fixed positive $x$. The outer expansion neglects an exponentially small transient there, rather than establishing that one derivative term is smaller than the other everywhere.

To predict the width without knowing the exact solution, suppose an order-one change occurs over distance $\delta$. The derivative scales are $y^{\prime }=O({\delta }^{-1})$ and $y^{\prime \prime }=O({\delta }^{-2})$. The dominant balance $ϵ/{\delta }^2\sim 1/\delta$ gives $\delta \sim ϵ$. The resulting inner variable $X=x/ϵ$ makes the boundary layer visible at a fixed scale. This is the useful feature of singular perturbation: an apparently disappearing term identifies the missing structure when one measures its derivatives on the appropriate scale.

Smooth convergence on a compact interval requires uniform convergence of the functions and of their derivatives of every order separately, as measured by the derivative seminorms. The need for several scales is visible inFor $n\ge 2$, $p_0(f_n)=1/n$ because $t=\pi /(2n)$ lies in $[0,1]$. The derivative has supremum norm one for every $n$, already at $t=0$. Thus $f_n$ converges uniformly to zero, but fails the test for smooth convergence to zero. Andreas Buttenschoen, Applied Functional Analysis, spaces of continuous and differentiable functions discusses this example and the family of smoothness measurements.

More generally, for any fixed $K\ge 0$, $h_n(t)=\sin (nt)/n^{K+1}$ has $p_K(h_n)\le 1/n$ but $p_{K+1}(h_n)=1$ for $n\ge 2$. If a norm $N$ induced the smooth topology, its continuity would give $N(f)\le C{p}_K(f)$ for some finite $K$, while continuity of $p_{K+1}$ for $N$ would give $p_{K+1}(f)\le C^{\prime }N(f)$. Substituting $h_n$ contradicts these two bounds. Smooth convergence therefore cannot be reduced to one norm. Its beauty is that every finite order can be controlled without fixing a final order in advance.

For a compact Hausdorff space $K$, $C(K)$ consists of continuous scalar-valued functions with the supremum norm. It is a Banach space and, with complex scalars, pointwise multiplication and conjugation make it a commutative unital C-star algebra.

Why does completeness hold? A Cauchy sequence in the supremum norm is Cauchy at every point, hence has a pointwise limit. The uniform Cauchy estimate passes to that limit, giving uniform convergence; the uniform limit theorem makes the limit continuous. Thus the norm and the chosen regularity of the functions cooperate to keep every limit inside $C(K)$.

Changing to the L2 norm on $C([0,1])$ loses this property. For integers $n\ge 2$, the continuous functions $h_n(x)=\min (1,\max (0,n(x-1/2)))$ approximate the step function $h(x)=0$ for $x\le 1/2$ and $h(x)=1$ for $x>1/2$. Direct integration givesThe triangle inequality makes $(h_n)$ a Cauchy sequence, but no continuous function agrees with $h$ almost everywhere: continuity would force value zero on the whole left open interval and one on the whole right open interval. Hence this normed space is incomplete. The missing limit exists in L2 space, its completion of a normed space, showing exactly what the larger space adds.

For a Banach algebra-valued holomorphic function, set $p_n(w)=\Vert f(w{)}^{2^n}{\Vert }^{1/2^n}$. These continuous functions decrease to the spectral radius by the spectral radius formula. If $M={\sup }_{\partial K}r(f(w))$, the continuous functions $\max \{p_n,M\}$ on $\partial K$ decrease to the continuous constant $M$. The Dini theorem gives uniform convergence. Apply the norm maximum principle for a Banach-space-valued holomorphic function to each power, and then let $n\to \infty$. This proof does not assume continuity of spectral radius.

Write $a_n=\left(\genfrac{}{}{0ex}{}{2n}{n}\right)/4^n$, $a_0=1$. The binomial series for $\sqrt{1-u}$ has positive numbers $b_n=a_{n-1}-a_n=\left(\genfrac{}{}{0ex}{}{2n}{n}\right)/[4^n(2n-1)]$ as the magnitudes of its nonconstant coefficients. The product $a_n={\prod }_{j=1}^n[1-1/(2j)]$ tends to zero, since $\ln a_n\le -\frac{1}{2}{\sum }_{j=1}^{n}1/j\to -\infty$. Thus $\sum b_n=1$ by telescoping. The Weierstrass M-test gives uniform convergence and absolute convergence on $[-1,1]$. Continuity extends the interior identity to both endpoints. Its radius of convergence is one; outside this interval its terms do not tend to zero.

Suppose $f,g:X\to \mathbb{R}$ are bounded functions on the same nonempty set, and the supremum norm of their difference is at most $\delta$. Then their optimal values differ by at most the same amount:Indeed, $f(x)\le g(x)+\delta \le {\sup }_{X}g+\delta$ for every $x$, so ${\sup }_{X}f\le {\sup }_{X}g+\delta$; exchange $f$ and $g$ for the other direction. Adding a constant shifts a supremum by that constant, a basic compatibility between upper bounds and addition.^[ref]

For a chosen example on $[-1,1]$, take $f(x)=-x^2$ and $g(x)=-x^2+0.2x$. Their supremum error is $0.2$, since $|g(x)-f(x)|=0.2|x|$. Completing the square givesThus $f$ has maximum zero at $x=0$, while $g$ has maximum $0.01$ at $x=0.1$. The change in optimal value, $0.01$, is smaller than the certified bound $0.2$. For the vertical translation $h(x)=f(x)+0.2$, the bound is exact: its supremum error and optimal-value change are both $0.2$.

A stable optimal value does not guarantee a stable maximizing input. On $[-1,1]$, the two linear functions $f_{\epsilon }(x)=\epsilon x$ and $g_{\epsilon }(x)=-\epsilon x$ satisfyFor every positive $\epsilon$, their unique maximizing inputs remain two units apart, at $1$ and $-1$. Both functions approach the flat zero function, which has many maximizing inputs. Consequently an accurate objective function value is not by itself a certificate that the optimizing decision is accurate.

The estimate also gives a convenient consequence of uniform convergence. If $f_n$ converges uniformly to a bounded function $f$ on a nonempty $X$, then ${\sup }_X{f}_n\to {\sup }_{X}f$ for the bounded tail of the sequence. Uniform control handles the changing input that defines the best value. Pointwise convergence alone supplies no such control; the existing examples under uniform convergence illustrate that distinction.

Let the locations $a_n$ be distinct and bounded, and let $c_n>0$ with ${\sum }_n{c}_n<\infty$. The Weierstrass M-test gives locally uniform convergence of $G$, so the uniform limit theorem makes it continuous. The reverse triangle inequality bounds each term's difference quotient by $c_n$. Consequently a uniformly small tail permits passing each one-sided difference-quotient limit through the series. At every point outside the locations, $G^{\prime }(x)={\sum }_n{c}_n\mathrm{sgn}(x-a_n)$; at $a_m$, the right derivative minus the left derivative is $2c_m>0$. Thus the function has precisely the prescribed cusp locations, even when they accumulate at another point where the function remains differentiable.

The continuity assertion for sums of continuous functions in the Cours d'analyse by Augustin-Louis Cauchy, Chapter VI, §I. Under a modern pointwise reading the assertion needs stronger control: $x^n$ on $[0,1]$ has a discontinuous pointwise limit. Uniform convergence supplies a sufficient hypothesis through the uniform limit theorem.

For functions taking values in real numbers on a nonempty domain of a function $X$, the supremum error is the supremum of the absolute value of the approximation error over all inputs. It may be infinite and need not be attained. When finite, it is the supremum norm of $f_n-f$; uniform convergence is exactly $E_n\to 0$. Bounding this one quantity gives an accuracy guarantee for every input, including inputs that change with $n$.

Suppose $m$ interpolation nodes in $[0,1]$ occur in pairs $a,1-a$, with the middle node $1/2$ if $m$ is odd. For each pair,because both squared quantities lie between zero and one quarter. An unpaired middle factor has magnitude at most one half. Multiplication gives the displayed bound on the nodal polynomial.

The polynomial interpolation remainder therefore satisfies $\Vert f-p_{m-1}{\Vert }_{\infty }\le \Vert f^{(m)}{\Vert }_{\infty }/[2^{m}m!]$ for $f\in C^m[0,1]$. For $f(x)=\sin 2x$, the derivative bound $\Vert f^{(m)}{\Vert }_{\infty }\le 2^m$ gives the particularly simple error bound $1/m!$. This proves uniform convergence for these symmetric-node interpolants of that function. It is not a general convergence theorem for arbitrary continuous interpolation data.

Inside its radius of convergence, a power series $f(z)={\sum }_{n\ge 0}{a}_n(z-c{)}^n$ can be differentiated term by term:The differentiated series has the same radius of convergence. The conclusion concerns the interior, including uniform convergence on smaller closed disks; it does not assert that differentiated boundary series converge wherever the original did. For example, ${\sum }_{n\ge 1}{z}^n/n$ converges conditionally at $z=-1$, but its differentiated series ${\sum }_{n\ge 1}{z}^{n-1}$ does not.

Applied to the geometric series, it gives the useful identityDifferentiation turns the plain coefficients into integer weights. This is one way generating functions translate a weighted counting question into an operation on a known series. A proof controls the original and differentiated tails on smaller disks; the Weierstrass M-test provides the needed uniform bounds. See Lebl, Basic Analysis, §11.3: power-series differentiation and analyticity.

The space of test functions has the locally convex inductive-limit topology of the spaces of smooth functions supported in a fixed compact set $K$. Each ${\mathcal{D}}_K$ uses seminorms $p_m(\phi )={\max }_{|\alpha |\le m}\Vert {\partial }^{\alpha }\phi {\Vert }_{\infty }$. Sequential convergence means a common compact support and uniform convergence of every derivative. A linear functional on this space is a distribution exactly when its restriction to each ${\mathcal{D}}_K$ satisfies a finite order of a distribution estimate; the order and constant may depend on $K$.

An unbounded function can multiply a series while preserving uniform convergence. On $E=(0,1/2]$, let $g(x)=1/x$. The geometric series givesThe equality follows because $x^N/(1-x)$ increases up to $x=1/2$. Both the first term and the sum are unbounded, while their difference after sufficiently many terms is uniformly small. Uniform convergence controls approximation errors; boundedness of each individual function is a separate property.

A series of functions is uniformly absolutely convergent on a set if the series of their absolute values has uniform convergence there. A sufficient condition is the Weierstrass M-test: if $|f_n(x)|\le M_n$ for every $x$ and ${\sum }_n{M}_n<\infty$, then the tail is bounded uniformly by ${\sum }_{n\ge N}{M}_n\to 0$. This also proves uniform convergence of the original series by the Uniform Cauchy criterion.

Uniform approximation minimizes the supremum norm of the difference between a target function and an approximant.

The error is measured uniformly over the domain using the supremum norm. A sequence of approximants whose uniform error tends to zero converges by uniform convergence; the optimization problem and the convergence notion are distinct.

A sequence of functions $f_n:X\to Y$ converges uniformly to $f:X\to Y$, where $Y$ is a metric space with metric $d$, precisely whenFor real numbers, use the absolute value $d(u,v)=|u-v|$. Compare the universal quantification and existential quantification:The decisive change is whether $N$ can depend on $x$. Uniform convergence implies pointwise convergence.^[ref]

For functions taking values in real numbers on a nonempty domain of a function, the supremum error is $E_n={\sup }_{x\in X}|f_n(x)-f(x)|$, allowing $+\infty$. Then uniform convergence is equivalent to $E_n\to 0$. The supremum need not be a maximum: pointwise strict bounds below $\epsilon$ only give $E_n\le \epsilon$, so use tolerance $\epsilon /2$ when proving this equivalence. This single error bound controls every possible input, including one chosen after seeing the index.

For $f_n(x)=x^n$ and its pointwise limit on $[0,1]$, the error is zero at one but approaches one as $x\to 1$ from below. Consequentlyfor every positive integer $n$. This supremum is never attained: below one the error is $x^n<1$, and at one it is zero. Deleting the endpoint leaves the same supremum error on $[0,1)$. To disprove uniform convergence directly, choose $\epsilon =1/2$: for any proposed $N$, take $n=N$ and $x=2^{-1/N}<1$. The error equals $1/2$, violating the strict tolerance. Thus a moving input defeats every proposed common threshold.

On the smaller interval $[0,a]$, for a fixed $0\le a<1$, the pointwise limit is zero andFor $0<a<1$ and $0<\epsilon <1$, the exact first successful common threshold isThe logarithm and floor function turn an infinite approximation statement into a finite stopping rule. At $a=0.8$, $0.8^{20}=0.01152921504606846976$ fails tolerance $0.01$, while $0.8^{21}=0.009223372036854775808$ succeeds. At $a=1/2$ and $\epsilon =1/8$, the ratio is exactly three: $N=4$ is necessary because equality is insufficient. For $a=0$, every error is zero. The domain of a function determines whether one threshold can certify every input.

For another explicit stopping rule, let $h_n(x)=x/(n+1)$ on $[0,1]$. Its uniform limit is zero and its supremum error is $1/(n+1)$. For every $\epsilon >0$, $N=\max \{1,\lceil 1/\epsilon \rceil \}$ works, using the ceiling function. Unlike $x^n$ on $[0,1]$, it controls even the endpoint.

The practical beauty of uniform convergence is that one quantitative bound can survive further operations: the uniform limit theorem preserves continuity, and uniform convergence preserves integrals on a compact interval controls accumulated error. Differentiation needs additional hypotheses, such as uniform derivative convergence with an anchored value. These results distinguish an approximation that looks accurate at selected inputs from one that justifies replacing a whole function in a calculation.

Suppose continuous functions $f_n$ converge by uniform convergence to $f$ on a domain of a function $X$, and $x_n\to x$ with all these inputs in $X$. The uniform limit theorem makes $f$ a continuous function, and the triangle inequality givesThe first term handles the changing approximation and the second handles the changing input. For $f_n(x)=x^n$ on $[0,1]$, the inputs $x_n=2^{-1/n}$ instead give $x_n\to 1$, $f_n(x_n)=1/2$, and $f(1)=1$. Pointwise convergence cannot supply the first uniform bound, and this pointwise limit also lacks continuity at one.

If Riemann integrable functions $f_n:[a,b]\to \mathbb{R}$ converge by uniform convergence to $f$, then $f$ is Riemann integrable andThis concerns one fixed compact interval, with finite length.^[ref]

Here is a proof outline that also establishes Riemann integrability of the uniform limit. Assume $a<b$, and put $\ell =b-a$ and $E_N=\Vert f_N-f{\Vert }_{\infty }$. One bounded $f_N$ and finite $E_N$ show that $f$ is a bounded function. For any partition of an interval $P$, its upper Darboux sum and lower Darboux sum satisfyGiven $\eta >0$, choose $N$ with $E_N<\eta /(4\ell )$, then a partition of an interval with $U(f_N,P)-L(f_N,P)<\eta /2$. The displayed gap is below $\eta$, proving Riemann integrability. Finally, $|f_n-f|\le E_n$ and monotonicity of the Riemann integral give the stated error estimate. When $a=b$, every integral is zero.

For the polynomial functions $f_n(x)=x^n$ on $[0,0.8]$, direct integration and the uniform bound giveAt $n=21$, the exact integral is approximately $0.0003353953$, while the general error bound is approximately $0.0073786976$. The bound certifies the result without an exact antiderivative. On $[0,1]$, these same integrals still tend to zero, although there is no uniform convergence: sufficient conditions need not be necessary. On an unbounded interval, even uniform convergence can fail to control total area, as uniformly vanishing functions can retain a nonzero integral shows.

Uniform convergence alone also fails to preserve derivatives: $f_n(x)=\sin (n^{2}x)/n$ converges uniformly to zero on $[-1,1]$, while $f_n^{\prime }(0)=n$. The small amplitude does not control the slopes of the sine oscillations.

If sequences of functions $f_n\to f$ and $g_n\to g$ have uniform convergence on the same domain and each term is a bounded function, their products converge uniformly to $fg$. The two families are uniformly bounded families of functions: one late term and the Uniform Cauchy criterion bound the entire tail, while finitely many early terms have a finite common bound. Write $f_n{g}_n-fg=f_n(g_n-g)+g(f_n-f)$ and take the supremum norm to obtain the displayed estimate. The boundedness hypothesis cannot be dropped: $f_n(x)=x$ and $g_n(x)=1/n$ converge uniformly on $\mathbb{R}$, whereas $x/n$ fails to converge uniformly to zero.