Fiveable
Fiveable
Fiveable
Fiveable

Uniform convergence is a powerful tool for integrating infinite series. It allows us to swap the order of integration and summation, making complex calculations easier. This concept builds on earlier ideas about convergence, extending them to functions and integrals.

Understanding when and how to apply uniform convergence to integration is crucial. It helps us solve problems involving infinite series and improves our grasp of advanced calculus concepts. Mastering this topic opens doors to more advanced mathematical analysis techniques.

Integration of Uniformly Convergent Series

Theorem Statement and Proof

Top images from around the web for Theorem Statement and Proof
Top images from around the web for Theorem Statement and Proof
  • The theorem states that if a series of functions n=1fn(x)\sum_{n=1}^{\infty} f_n(x) converges uniformly to f(x)f(x) on [a,b][a,b], then the series can be integrated term by term on [a,b][a,b]
  • Mathematically, if n=1fn(x)\sum_{n=1}^{\infty} f_n(x) converges uniformly to f(x)f(x) on [a,b][a,b], then abf(x)dx=n=1abfn(x)dx\int_a^b f(x) dx = \sum_{n=1}^{\infty} \int_a^b f_n(x) dx
  • To prove the theorem, consider the partial sums Sn(x)=k=1nfk(x)S_n(x) = \sum_{k=1}^n f_k(x) and their integrals abSn(x)dx=k=1nabfk(x)dx\int_a^b S_n(x) dx = \sum_{k=1}^n \int_a^b f_k(x) dx
    • Since n=1fn(x)\sum_{n=1}^{\infty} f_n(x) converges uniformly to f(x)f(x), for any ε>0\varepsilon > 0, there exists an NN such that Sn(x)f(x)<ε|S_n(x) - f(x)| < \varepsilon for all nNn \geq N and all x[a,b]x \in [a,b]
    • Integrating the inequality yields abSn(x)dxabf(x)dxabSn(x)f(x)dx<ε(ba)|\int_a^b S_n(x) dx - \int_a^b f(x) dx| \leq \int_a^b |S_n(x) - f(x)| dx < \varepsilon(b-a) for all nNn \geq N
    • This proves that abSn(x)dx\int_a^b S_n(x) dx converges to abf(x)dx\int_a^b f(x) dx as nn \rightarrow \infty, establishing the theorem

Conditions for Term-by-Term Integration

  • A uniformly convergent series n=1fn(x)\sum_{n=1}^{\infty} f_n(x) can be integrated term by term on [a,b][a,b] if the following conditions are met:
    • Each function fn(x)f_n(x) is integrable on [a,b][a,b]
    • The series n=1fn(x)\sum_{n=1}^{\infty} f_n(x) converges uniformly on [a,b][a,b]
  • If these conditions are satisfied, then abf(x)dx=n=1abfn(x)dx\int_a^b f(x) dx = \sum_{n=1}^{\infty} \int_a^b f_n(x) dx, where f(x)f(x) is the limit function of the series
  • The uniform convergence of the series is crucial for the interchange of the integral and the sum to be valid
  • Examples of series that can be integrated term by term include:
    • Power series within their interval of convergence
    • Fourier series of continuous functions on a closed interval

Term-by-Term Integration of Series

Evaluating Integrals with Uniform Convergence

  • To evaluate an integral involving a uniformly convergent series, first check if the series converges uniformly on the given interval
  • If the series converges uniformly, integrate the series term by term using the theorem on the integration of uniformly convergent series
  • Calculate the integrals of the individual terms abfn(x)dx\int_a^b f_n(x) dx and find the sum of the resulting series n=1abfn(x)dx\sum_{n=1}^{\infty} \int_a^b f_n(x) dx
  • The sum of the integrated terms will equal the integral of the limit function abf(x)dx\int_a^b f(x) dx
  • Example: Evaluate 01n=1xnn2dx\int_0^1 \sum_{n=1}^{\infty} \frac{x^n}{n^2} dx
    • The series n=1xnn2\sum_{n=1}^{\infty} \frac{x^n}{n^2} converges uniformly on [0,1][0,1] by the Weierstrass M-test
    • Integrate term by term: 01n=1xnn2dx=n=101xnn2dx=n=11n2(n+1)=π261\int_0^1 \sum_{n=1}^{\infty} \frac{x^n}{n^2} dx = \sum_{n=1}^{\infty} \int_0^1 \frac{x^n}{n^2} dx = \sum_{n=1}^{\infty} \frac{1}{n^2(n+1)} = \frac{\pi^2}{6} - 1

Uniform Convergence and Interchanging Limits

  • Uniform convergence is a sufficient condition for the interchange of limits and integrals
  • If a sequence of functions {fn(x)}\{f_n(x)\} converges uniformly to f(x)f(x) on [a,b][a,b], then limnabfn(x)dx=ablimnfn(x)dx=abf(x)dx\lim_{n \rightarrow \infty} \int_a^b f_n(x) dx = \int_a^b \lim_{n \rightarrow \infty} f_n(x) dx = \int_a^b f(x) dx
  • This property allows for the evaluation of integrals involving limits by first interchanging the limit and the integral and then evaluating the limit
  • Without uniform convergence, the interchange of limits and integrals may not be valid, and counterexamples exist where the equality fails to hold
  • Example: Consider the sequence of functions fn(x)=nx1+n2x2f_n(x) = \frac{nx}{1+n^2x^2} on [0,1][0,1]
    • limnfn(x)=0\lim_{n \rightarrow \infty} f_n(x) = 0 for all x[0,1]x \in [0,1], but the convergence is not uniform
    • limn01fn(x)dx=π4\lim_{n \rightarrow \infty} \int_0^1 f_n(x) dx = \frac{\pi}{4}, while 01limnfn(x)dx=0\int_0^1 \lim_{n \rightarrow \infty} f_n(x) dx = 0, showing that the interchange of limit and integral is not valid in this case


© 2025 Fiveable Inc. All rights reserved.
AP® and SAT® are trademarks registered by the College Board, which is not affiliated with, and does not endorse this website.

© 2025 Fiveable Inc. All rights reserved.
AP® and SAT® are trademarks registered by the College Board, which is not affiliated with, and does not endorse this website.
Glossary
Glossary