Weierstrass M test - Alchetron, The Free Social Encyclopedia

In mathematics, the Weierstrass M-test is a test for testing whether an infinite series of functions converges uniformly and absolutely. It applies to series whose terms are functions with real or complex values, and is analogous to the comparison test for determining the convergence of series of real or complex numbers.

Statement

Weierstrass M-test. Suppose that {f_n} is a sequence of real- or complex-valued functions defined on a set A, and that there is a sequence of positive numbers {M_n} satisfying

∀ n ≥ 1 , ∀ x ∈ A : | f n ( x ) | ≤ M n , ∑ n = 1 ∞ M n < ∞

Then the series

∑ n = 1 ∞ f n ( x ) A

Remark. The result is often used in combination with the uniform limit theorem. Together they say that if, in addition to the above conditions, the set A is a topological space and the functions f_n are continuous on A, then the series converges to a continuous function.

Generalization

A more general version of the Weierstrass M-test holds if the codomain of the functions {f_n} is any Banach space, in which case the statement

| f n | ≤ M n

may be replaced by

∥ f n ∥ ≤ M n ,

where ∥ ⋅ ∥ is the norm on the Banach space. For an example of the use of this test on a Banach space, see the article Fréchet derivative.

Proof

Consider the sequence of functions

S n ( x ) = ∑ k = 1 n f k ( x )

Since the series ∑ n = 1 ∞ M n converges and M_n ≥ 0 for every n, then by the Cauchy criterion,

∀ ε > 0 : ∃ N : ∀ n > m > N : ∑ k = m + 1 n M k < ε .

For the chosen N,

∀ x ∈ A : ∀ n > m > N | S n ( x ) − S m ( x ) | = | ∑ k = m + 1 n f k ( x ) | ≤ ( 1 ) ∑ k = m + 1 n | f k ( x ) | ≤ ∑ k = m + 1 n M k < ε .

Thus the sequence of partial sums of the series converges uniformly. Hence, by definition, the series ∑ k = 1 ∞ f k ( x ) converges uniformly.

Inequality (1) follows from the triangle inequality.

References

Weierstrass M-test Wikipedia

(Text) CC BY-SA

Contents

Statement

Generalization

Proof

References