# Weierstrass M-test

Last updated

In mathematics, the Weierstrass M-test is a test for determining whether an infinite series of functions converges uniformly and absolutely. It applies to series whose terms are bounded functions with real or complex values, and is analogous to the comparison test for determining the convergence of series of real or complex numbers. It is named after the German mathematician Karl Weierstrass (1815-1897).

## Statement

Weierstrass M-test. Suppose that (fn) is a sequence of real- or complex-valued functions defined on a set A, and that there is a sequence of non-negative numbers (Mn) satisfying the conditions

• ${\displaystyle |f_{n}(x)|\leq M_{n}}$ for all ${\displaystyle n\geq 1}$ and all ${\displaystyle x\in A}$, and
• ${\displaystyle \sum _{n=1}^{\infty }M_{n}}$ converges.

Then the series

${\displaystyle \sum _{n=1}^{\infty }f_{n}(x)}$

converges absolutely and uniformly on A.

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 fn are continuous on A, then the series converges to a continuous function.

## Proof

Consider the sequence of functions

${\displaystyle S_{n}(x)=\sum _{k=1}^{n}f_{k}(x).}$

Since the series ${\displaystyle \sum _{n=1}^{\infty }M_{n}}$ converges and Mn 0 for every n, then by the Cauchy criterion,

${\displaystyle \forall \varepsilon >0:\exists N:\forall m>n>N:\sum _{k=n+1}^{m}M_{k}<\varepsilon .}$

For the chosen N,

${\displaystyle \forall x\in A:\forall m>n>N}$
${\displaystyle \left|S_{m}(x)-S_{n}(x)\right|=\left|\sum _{k=n+1}^{m}f_{k}(x)\right|{\overset {(1)}{\leq }}\sum _{k=n+1}^{m}|f_{k}(x)|\leq \sum _{k=n+1}^{m}M_{k}<\varepsilon .}$

(Inequality (1) follows from the triangle inequality.)

The sequence Sn(x) is thus a Cauchy sequence in R or C, and by completeness, it converges to some number S(x) that depends on x. For n>N we can write

${\displaystyle \left|S(x)-S_{n}(x)\right|=\left|\lim _{m\to \infty }S_{m}(x)-S_{n}(x)\right|=\lim _{m\to \infty }\left|S_{m}(x)-S_{n}(x)\right|\leq \varepsilon .}$

Since N does not depend on x, this means that the sequence Sn of partial sums converges uniformly to the function S. Hence, by definition, the series ${\displaystyle \sum _{k=1}^{\infty }f_{k}(x)}$ converges uniformly.

Analogously, one can prove that ${\displaystyle \sum _{k=1}^{\infty }|f_{k}(x)|}$ converges uniformly.

## Generalization

A more general version of the Weierstrass M-test holds if the common codomain of the functions (fn) is a Banach space, in which case the premise

${\displaystyle |f_{n}(x)|\leq M_{n}}$

is to be replaced by

${\displaystyle \|f_{n}(x)\|\leq M_{n}}$,

where ${\displaystyle \|\cdot \|}$ 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.

## Related Research Articles

In mathematics, a series is, roughly speaking, a description of the operation of adding infinitely many quantities, one after the other, to a given starting quantity. The study of series is a major part of calculus and its generalization, mathematical analysis. Series are used in most areas of mathematics, even for studying finite structures through generating functions. In addition to their ubiquity in mathematics, infinite series are also widely used in other quantitative disciplines such as physics, computer science, statistics and finance.

In mathematics, real analysis is the branch of mathematical analysis that studies the behavior of real numbers, sequences and series of real numbers, and real functions. Some particular properties of real-valued sequences and functions that real analysis studies include convergence, limits, continuity, smoothness, differentiability and integrability.

In mathematics, the Lp spaces are function spaces defined using a natural generalization of the p-norm for finite-dimensional vector spaces. They are sometimes called Lebesgue spaces, named after Henri Lebesgue, although according to the Bourbaki group they were first introduced by Frigyes Riesz. Lp spaces form an important class of Banach spaces in functional analysis, and of topological vector spaces. Because of their key role in the mathematical analysis of measure and probability spaces, Lebesgue spaces are used also in the theoretical discussion of problems in physics, statistics, finance, engineering, and other disciplines.

In the mathematical field of analysis, uniform convergence is a mode of convergence of functions stronger than pointwise convergence. A sequence of functions converges uniformly to a limiting function on a set if, given any arbitrarily small positive number , a number can be found such that each of the functions differ from by no more than at every pointin. Described in an informal way, if converges to uniformly, then the rate at which approaches is "uniform" throughout its domain in the following sense: in order to guarantee that falls within a certain distance of , we do not need to know the value of in question — there can be found a single value of independent of , such that choosing will ensure that is within of for all . In contrast, pointwise convergence of to merely guarantees that for any given in advance, we can find so that, for that particular, falls within of whenever .

In probability theory, there exist several different notions of convergence of random variables. The convergence of sequences of random variables to some limit random variable is an important concept in probability theory, and its applications to statistics and stochastic processes. The same concepts are known in more general mathematics as stochastic convergence and they formalize the idea that a sequence of essentially random or unpredictable events can sometimes be expected to settle down into a behavior that is essentially unchanging when items far enough into the sequence are studied. The different possible notions of convergence relate to how such a behavior can be characterized: two readily understood behaviors are that the sequence eventually takes a constant value, and that values in the sequence continue to change but can be described by an unchanging probability distribution.

In mathematics, an infinite series of numbers is said to converge absolutely if the sum of the absolute values of the summands is finite. More precisely, a real or complex series is said to converge absolutely if for some real number . Similarly, an improper integral of a function, , is said to converge absolutely if the integral of the absolute value of the integrand is finite—that is, if

In mathematics, Abel's theorem for power series relates a limit of a power series to the sum of its coefficients. It is named after Norwegian mathematician Niels Henrik Abel.

In mathematics, the limit of a sequence is the value that the terms of a sequence "tend to", and is often denoted using the symbol. If such a limit exists, the sequence is called convergent. A sequence that does not converge is said to be divergent. The limit of a sequence is said to be the fundamental notion on which the whole of mathematical analysis ultimately rests.

In mathematics, Fatou's lemma establishes an inequality relating the Lebesgue integral of the limit inferior of a sequence of functions to the limit inferior of integrals of these functions. The lemma is named after Pierre Fatou.

In calculus, the squeeze theorem, also known as the pinching theorem, the sandwich theorem, the sandwich rule, the police theorem, the between theorem and sometimes the squeeze lemma, is a theorem regarding the limit of a function. In Italy, the theorem is also known as theorem of carabinieri.

In measure theory, Lebesgue's dominated convergence theorem provides sufficient conditions under which almost everywhere convergence of a sequence of functions implies convergence in the L1 norm. Its power and utility are two of the primary theoretical advantages of Lebesgue integration over Riemann integration.

In mathematics, the integral test for convergence is a method used to test infinite series of non-negative terms for convergence. It was developed by Colin Maclaurin and Augustin-Louis Cauchy and is sometimes known as the Maclaurin–Cauchy test.

The Arzelà–Ascoli theorem is a fundamental result of mathematical analysis giving necessary and sufficient conditions to decide whether every sequence of a given family of real-valued continuous functions defined on a closed and bounded interval has a uniformly convergent subsequence. The main condition is the equicontinuity of the family of functions. The theorem is the basis of many proofs in mathematics, including that of the Peano existence theorem in the theory of ordinary differential equations, Montel's theorem in complex analysis, and the Peter–Weyl theorem in harmonic analysis and various results concerning compactness of integral operators.

In mathematics, a series is the sum of the terms of an infinite sequence of numbers. More precisely, an infinite sequence defines a series S that is denoted

In measure theory, an area of mathematics, Egorov's theorem establishes a condition for the uniform convergence of a pointwise convergent sequence of measurable functions. It is also named Severini–Egoroff theorem or Severini–Egorov theorem, after Carlo Severini, an Italian mathematician, and Dmitri Egorov, a Russian physicist and geometer, who published independent proofs respectively in 1910 and 1911.

In mathematics, the Riesz–Fischer theorem in real analysis is any of a number of closely related results concerning the properties of the space L2 of square integrable functions. The theorem was proven independently in 1907 by Frigyes Riesz and Ernst Sigismund Fischer.

A bounded real sequence is said to be almost convergent to if each Banach limit assigns the same value to the sequence .

In mathematics, uniform integrability is an important concept in real analysis, functional analysis and measure theory, and plays a vital role in the theory of martingales. The definition used in measure theory is closely related to, but not identical to, the definition typically used in probability.

In mathematics, the Fraňková–Helly selection theorem is a generalisation of Helly's selection theorem for functions of bounded variation to the case of regulated functions. It was proved in 1991 by the Czech mathematician Dana Fraňková.

In real analysis and measure theory, the Vitali convergence theorem, named after the Italian mathematician Giuseppe Vitali, is a generalization of the better-known dominated convergence theorem of Henri Lebesgue. It is a characterization of the convergence in Lp in terms of convergence in measure and a condition related to uniform integrability.

## References

• Rudin, Walter (1991). Functional Analysis. International Series in Pure and Applied Mathematics. 8 (Second ed.). New York, NY: McGraw-Hill Science/Engineering/Math. ISBN   978-0-07-054236-5. OCLC   21163277.
• Rudin, Walter (May 1986). Real and Complex Analysis. McGraw-Hill Science/Engineering/Math. ISBN   0-07-054234-1.
• Rudin, Walter (1976). . McGraw-Hill Science/Engineering/Math.
• Whittaker, E.T.; Watson, G.N. (1927). A Course in Modern Analysis (Fourth ed.). Cambridge University Press. p. 49.