PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
[parent] integral of limit function (Theorem)

Theorem. If a sequence $f_1,\,f_2,\,\ldots$ of real functions, continuous on the interval $[a,\,b]$ , converges uniformly on this interval to the limit function $f$ , then

$\displaystyle \int_a^b\!f(x)\,dx \;=\; \lim_{n\to\infty}\int_a^b\!f_n(x)\,dx.$ (1)

Proof. Let $\varepsilon > 0$ . The uniform continuity implies the existence of a positive integer $n_\varepsilon$ such that $$|f_n(x)\!-\!f(x)| \;<\; \frac{\varepsilon}{b\!-\!a} \quad \forall x \in [a,\,b] \qquad \mbox{when}\;\; n \,>\, n_\varepsilon.$$ The function $f$ is continuous (see this) and thus Riemann integrable (see this) on the interval. Utilising the estimation theorem of integral, we obtain $$\left|\int_a^b\!f_n(x)\,dx\!-\!\int_a^b\!f(x)\,dx\right| \,=\, \left|\int_a^b\!(f_n(x)\!-\!f(x))\,dx\right| \,\leqq\, \int_a^b\!|f_n(x)\!-\!f(x)|\,dx \,<\, \frac{\varepsilon}{b\!-\!a}(b\!-\!a) \,=\, \varepsilon$$ as soon as $n > n_\varepsilon$ . Consequently, (1) is true.

Remark 1. The equation (1) may be written in the form

$\displaystyle \int_a^b\!\lim_{n\to\infty}f_n(x)\,dx \;=\; \lim_{n\to\infty}\int_a^b\!f_n(x)\,dx,$ (2)

i.e. under the assumptions of the theorem, the integration and the limit process can be interchanged.

Remark 2. Considering the partial sums of a series $\sum_{n=1}^\infty f_n(x)$ with continuous terms and converging uniformly on $[a,\,b]$ , one gets from the theorem the result analogous to (2):

$\displaystyle \int_a^b\!\sum_{n=1}^\infty f_n(x)\,dx \;=\; \sum_{n=1}^\infty\int_a^b\!f_n(x)\,dx.$ (3)




"integral of limit function" is owned by pahio.
(view preamble | get metadata)

View style:

See Also: termwise differentiation


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: terms, series, partial sums, limit, equation, estimation theorem of integral, function, integer, positive, implies, uniform continuity, proof, limit function, converges uniformly, interval, continuous, real functions, sequence, theorem

This is version 7 of integral of limit function, born on 2009-09-04, modified 2009-09-04.
Object id is 11900, canonical name is IntegralOfLimitFunction.
Accessed 444 times total.

Classification:
AMS MSC40A30 (Sequences, series, summability :: Convergence and divergence of infinite limiting processes :: Convergence and divergence of series and sequences of functions)
 26A15 (Real functions :: Functions of one variable :: Continuity and related questions )

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)