Namespaces
Variants
Actions

Series

From Encyclopedia of Mathematics
Revision as of 19:21, 27 January 2020 by Ulf Rehmann (talk | contribs) (displayed "lim" corrected)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search


infinite sum

A sequence of elements (called the terms of the given series) of some linear topological space and a certain infinite set of their partial sums (called the partial sums of the series) for which the notion of a limit is defined. Here are the simplest examples of series.

Simple series of numbers.

A pair of sequences of complex numbers $ \{ a _{n} \} $ and $ \{ s _{n} \} $ such that

$$ \tag{1} s _{n} \ = \ a _{1} + \dots + a _{n} ,\ \ n = 1,\ 2 \dots $$


is called a (simple) series of numbers and is denoted as follows:

$$ a _{1} + \dots + a _{n} + \dots ,\ \ \sum _ {n = 1} ^ \infty a _{n} $$


or

$$ \tag{2} \sum a _{n} . $$


The elements of the sequence $ \{ a _{n} \} $ are called the terms of the series and the elements of $ \{ s _{n} \} $ are called its partial sums; moreover, $ a _{n} $ is called the $ n $- th term of the series (2), and $ s _{n} $ its partial sum of order $ n $. The series (2) is defined uniquely by each of the two sequences $ \{ a _{n} \} $ and $ \{ s _{n} \} $: the terms of the sequence $ \{ s _{n} \} $ are obtained from the terms of the sequence $ \{ a _{n} \} $ by formula (1), and the sequence $ \{ a _{n} \} $ can be recovered from $ \{ s _{n} \} $ by the formulas

$$ a _{1} \ = \ s _{1} ,\ \ a _ {n + 1} \ = \ s _ {n + 1} - s _{n} ,\ \ n = 1,\ 2 ,\dots . $$


From this point of view the study of series is equivalent to the study of sequences: For any statement about series one can formulate an equivalent statement about sequences.

A series (2) is called convergent if the sequence of its partial sums $ \{ s _{n} \} $ has a finite limit

$$ s \ = \ \mathop{\rm lim} _ {n \rightarrow \infty} \ s _{n} , $$


which is called the sum of the series (2) and is written as

$$ s \ = \ \sum a _{n} . $$


Thus, the notation (2) is used both for the series itself and for its sum. If the sequence of partial sums of the series (2) does not have a finite limit, then the series is called divergent (cf. also Divergent series).

An example of a convergent series is the sum of the terms of an infinite geometric progression

$$ \tag{3} \sum _ {n = 1} ^ \infty q ^{n} , $$


provided that $ | q | < 1 $. In this case its sum is equal to $ q/(1 - q) $, i.e. $ \sum _ {n = 1} ^ \infty q ^{n} = q/(1 - q) $. If $ | q | \geq 1 $, (3) is an example of a divergent series.

If the series (2) is convergent, then the sequence of terms tends to zero:

$$ \mathop{\rm lim} _ {n \rightarrow \infty} \ a _{n} \ = \ 0. $$


The converse of this statement is not true: The sequence $ \{ 1/n \} $ of terms of the harmonic series

$$ 1 + { \frac{1}{2} } + \dots + { \frac{1}{n} } + \dots $$


tends to zero though this series is divergent.

The series $ \sum _ {k = 1} ^ \infty a _ {n + k} $ is called the remainder of order $ n $ of the series (2). If a series is convergent, then each remainder of it is convergent. If some remainder of a series is convergent, then the series itself is convergent. If the remainder of order $ n $ of the series (2) is convergent and its sum is equal to $ r _{n} $, that is, $ r _{n} = \sum _ {k = 1} ^ \infty a _ {n + k} $, then

$$ s \ = \ \sum _ {n = 1} ^ \infty a _{n} \ = \ s _{n} + r _{n} . $$


If the series (2) and the series

$$ \tag{4} \sum b _{n} $$


are convergent, then the series

$$ \sum (a _{n} + b _{n} ) $$


is also convergent; this series is called the sum of the series (2) and (4); moreover, its sum is equal to the sum of these series.

If the series (2) is convergent and $ \lambda $ is a complex number, then the series $ \sum \lambda a _{n} $, called the product of the series (2) and the number $ \lambda $, is also convergent, and $ \sum \lambda a _{n} = \lambda \sum a _{n} $.


A condition for the convergence of a series which does not use the notion of its sum is the Cauchy criterion for the convergence of a series.

If all terms of the series (2) are real numbers, $ a _{n} \in \mathbf R $, then the series (2) is called real. In the theory of series an important role is played by real series with non-negative terms:

$$ \tag{5} \sum a _{n} ,\ \ a _{n} \ \geq \ 0,\ \ n = 1,\ 2 ,\dots . $$


A necessary and sufficient condition for the convergence of the series (5) is that the sequence of its partial sums is bounded above. If this series is divergent, then its partial sums tend to infinity:

$$ \mathop{\rm lim} _ {n \rightarrow \infty} \ s _{n} \ = \ + \infty ; $$


therefore, in this case one writes

$$ \sum a _{n} \ = \ + \infty . $$


For series with non-negative terms there exist quite a number of convergence criteria. The following criteria are the principal ones.

The comparison test. If for a series (5) and for a series

$$ \tag{6} \sum b _{n} ,\ \ b _{n} \ \geq \ 0,\ \ n = 1,\ 2 \dots $$


with non-negative terms there exists a constant $ c > 0 $ such that $ 0 \leq a _{n} \leq cb _{n} $, then the convergence of the series (6) implies the convergence of the series (5), and the divergence of (5) implies the divergence of (6).

When the comparison test is applied in studies of the convergence for a given series with non-negative terms, it is often reasonable to single out the principal part of its $ n $- th term with respect to $ 1/n $ as $ n \rightarrow \infty $ in the form $ a/n ^ \alpha $( $ a $ is some constant), and to take the series

$$ \tag{7} \sum _ {n = 1} ^ \infty { \frac{1}{n ^ \alpha} } ,\ \ \alpha \in \mathbf R , $$


as a comparison series. This series is convergent for $ \alpha > 1 $ and divergent for $ \alpha \leq 1 $.


The rule below follows from the comparison test in case one takes the series (7) as a comparison series: If

$$ \mathop{\rm lim} _ {n \rightarrow \infty} \ n ^ \alpha a _{n} \ = \ b, $$


then for $ \alpha > 1 $ and $ 0 \leq b < + \infty $ the series (5) converges, and for $ \alpha \leq 1 $ and $ 0 < b \leq + \infty $ the series (5) diverges.

The comparison test also implies the d'Alembert criterion (convergence of series) and several Criteria attributed to Cauchy (see Cauchy test). For such series there also exist the criteria of Bertrand, Gauss, Lobachevskii, Ermakov, Kummer, and Raabe (cf. Bertrand criterion; Gauss criterion; Lobachevskii criterion; Ermakov criterion; Kummer criterion; and Raabe criterion).

The integral test for convergence provides sufficient conditions for the convergence of a series (5) with non-negative terms forming a decreasing sequence: $ a _{n} \geq a _ {n + 1} \geq 0 $, $ n = 1,\ 2 ,\dots $. Let a series (5) be such that there exists a function $ f $, defined and decreasing for $ x \geq 1 $, the values of which on the integers coincide with the terms of the given series: $ f (n) = a _{n} $, $ n = 1,\ 2 ,\dots $. Then, if $ s _{n} $ are the partial sums and $ r _{n} $ are the remainders of (5), the following estimates are valid:

$$ \int\limits _ {n + 1} ^ {+ \infty} f (x) \ dx \ \leq \ r _{n} \ \leq \ \int\limits _{n} ^ {+ \infty} f (x) \ dx $$


and

$$ s _{n} \ = \ \int\limits _{1} ^ {n + 1} f (x) \ dx + c + \epsilon _{n} ,\ \ n = 1,\ 2 \dots $$


where $ c $ is some constant and $ \mathop{\rm lim}\nolimits _ {n \rightarrow \infty} \ \epsilon _{n} = 0 $.


Thus, the series (5) converges if and only if the integral $ \int _{1} ^ {+ \infty} f (x) \ dx $ is convergent.

If the series (5) is divergent, then its partial sums $ s _{n} $ increase in the same way as the integrals $ \int _{1} ^ {n + 1} f (x) \ dx $, i.e. the $ s _{n} $ are asymptotically equal to the indicated integrals:

$$ s _{n} \ \sim \ \int\limits _{1} ^ {n + 1} f (x) \ dx \ \ \textrm{ as } \ n \rightarrow + \infty . $$


For a series (5) whose terms form a decreasing sequence the following Cauchy condensation theorem is valid (cf. Cauchy test): If the terms of (5) decrease, then it converges or diverges simultaneously with the series

$$ \sum _ {k = 1} ^ \infty 2 ^{k} a _ {2 ^ k} . $$


A necessary condition for the convergence of a series (5) with a decreasing sequence of terms is the condition

$$ \tag{8} a _{n} \ = \ o \left ( { \frac{1}{n} } \right ) ,\ \ n \rightarrow \infty . $$


The example of the divergent series

$$ \sum _ {n = 2} ^ \infty { \frac{1}{n \ \mathop{\rm ln}\nolimits \ n} } $$


shows that condition (8) is not sufficient for the convergence of a series (5) with a decreasing sequence of terms.

An important class of series of numbers are the absolutely convergent series, i.e. series (2) for which the series $ \sum | a _{n} | $ are convergent. If a series is absolutely convergent, then it is convergent and its sum is independent of the order in which the summands are written. Series that are convergent but not absolutely convergent are called conditionally convergent. An example of a conditionally convergent series is the series

$$ \sum _ {n = 1} ^ \infty \frac{(-1) ^ {n - 1}}{n} . $$


The sum of a conditionally convergent series depends on the order in which its terms are written (see Riemann theorem on the rearrangement of the terms of a series): Whatever $ \alpha $ and $ \beta $ belonging to the set of real numbers completed by the infinities $ + \infty $ and $ - \infty $, $ \alpha \leq \beta $, one can rearrange the terms of any conditionally convergent series with real numbers as its terms so that for the partial sums $ s _{n} $ of the resulting series the following equalities will hold:

$$ \mathop{\underline{\rm lim}}_{n \rightarrow \infty} s _{n} = \alpha , \quad \mathop{\overline{\rm lim}} _{n \rightarrow \infty} s _{n} = \beta . $$


Thus, for conditionally convergent series the commutative law of addition is not valid. Also, the associative law of addition does not hold for all series: If a series is divergent, then a series obtained from it by a sequential grouping of terms can be convergent; moreover, its sum depends on the way of grouping the terms of the original series. For example, the series

$$ 1 - 1 + 1 - 1 + \dots + (-1) ^ {n - 1} + \dots $$


is divergent, but the series $ (1 - 1) + (1 - 1) + \dots $ and $ 1 - (1 - 1) - (1 - 1) - \dots $ obtained from it by pairwise grouping of its terms are convergent and have different sums. However, if a series is convergent, then, of course, any series obtained from it by a sequential grouping of its terms is convergent and its sum is the sum of the given series, since the sequence of partial sums of the new series is a subsequence of the sequence of partial sums of the original series.

Among the series with terms of different signs it is usual to single out the alternating series for which the Leibniz criterion for convergence is valid. Different criteria for the convergence of arbitrary series of numbers can be obtained by the Abel transformation of the sums of pairwise products, for example, the Abel criterion; the Dedekind criterion (convergence of series); the Dirichlet criterion (convergence of series); and the du Bois-Reymond criterion (convergence of series).

Multiplication of series. There are different rules for the multiplication of series. The best known is Cauchy's rule, according to which to multiply two series (2) and (4) one sums at first in finite "diagonals" the pairwise products $ a _{m} b _{n} $, i.e. the products in which the sum of indices $ m + n $ has the same value:

$$ \tag{9} c _{p} \ = \ \sum _ {m + n = p} a _{m} b _{n} , $$


and the series $ \sum c _{p} $ for which the obtained sums are the terms is called the Cauchy product of the two given series. This rule of multiplication of series is suggested by the formula for multiplication of power series:

$$ \sum a _{m} x ^{m} \sum b _{n} x ^{n} \ = \ \sum c _{p} x ^{p} . $$


Let the series (2), (4) and (9) be convergent and let

$$ \sum a _{m} \ = \ a,\ \ \sum b _{n} \ = \ b,\ \ \sum c _{p} \ = \ c. $$


If the series (2) and (4) are absolutely convergent, then the series (9) is also absolutely convergent and $ ab = c $. If the series (2) is absolutely convergent and the series (4) is convergent, then (9) is convergent and $ ab = c $( Mertens' theorem). If the series (2) and (4) are conditionally convergent, then (9) may be divergent; for example, the series

$$ \sum _ {n = 1} ^ \infty \frac{(-1) ^ {n - 1}}{\sqrt n} $$


is conditionally convergent and the series

$$ \left ( \sum _ {n = 1} ^ \infty \frac{(-1) ^ {n - 1}}{\sqrt n} \right ) ^{2\ } = $$


$$ = \ \sum _ {n = 1} ^ \infty (-1) ^ {n - 1} \sum _ {k = 1} ^ n { \frac{1}{\sqrt k \sqrt {n - k + 1}} } $$


is divergent (its terms do not tend to 0). If all three series — (2), (4) and (9) — are convergent, then $ ab = c $( Abel's product theorem).

An example of another rule of multiplication of series is the rule in which at first one carries out the summation of the pairwise products $ a _{m} b _{n} $ in which the product $ mn $ of the indices has a fixed value:

$$ c _{p} \ = \ \sum _ {mn = p} a _{m} b _{n} , $$


then the product of the series (2) and (4) is defined as the series $ \sum c _{p} $. This rule of multiplication is suggested by the formula for multiplication of Dirichlet series:

$$ \sum \frac{a _ m}{m ^ x} \sum \frac{b _ n}{n ^ x} \ = \ \sum \frac{c _ p}{p ^ x} . $$


There also exist series with terms $ a _{n} $ numbered by all integers $ n = 0,\ \pm 1,\ \pm 2 ,\dots $. They are denoted by

$$ \tag{10} \sum _ {n = - \infty} ^ {+ \infty} a _{n} . $$


A series (10) is called convergent if the series

$$ \sum _ {n = 1} ^ \infty a _ {n - 1} \ \ \textrm{ and } \ \ \sum _ {n = 1} ^ \infty a _{-n} $$


are both convergent and the sum of the sums of these two series is called the sum of (10).

Series of numbers of a more complicated structure are multiple series, which have terms $ a _ {n _{1} \dots n _ m} $ provided with multi-indices, where the $ n _{k} $ are positive integers, $ k = 1 \dots m $; $ m = 2,\ 3,\ . \ . \ . $. In the theory of multiple series various types of partial sums are considered: triangular

$$ s _{n} \ = \ \sum _ {k _{1} + \dots + k _{m} \leq n} a _ {k _{1} \dots k _ m} , $$


rectangular

$$ s _ {n _{1} \dots n _ m} \ = \ \sum _ {k _{1} = 1} ^ {n _ 1} \dots \sum _ {k _{m} = 1} ^ {n _ m} a _ {k _{1} \dots k _ m} , $$


spherical

$$ s _{r} \ = \ \sum _ {k _{1} ^{2} + \dots + k _{m} ^{2} \leq r ^ 2} a _ {k _{1} \dots k _ m} ,\ \ r > 0, $$


and others. According to the chosen type of partial sums one can define the notion of the sum of a multiple series as their corresponding limit. In the case when $ m = 2 $, a multiple series is called a double series. For multiple series, unlike simple series, the given set of partial sums does not determine the terms of a series, i.e. in general, to define a multiple series it is necessary that both the multiple sequence of its terms and the set of its partial sums be given.

In mathematical analysis both convergent and divergent series are used. For the latter various methods of summation are worked out.

Many important irrational constants can be obtained as sums of series of numbers, for example:

$$ e \ = \ \sum _ {n = 0} ^ \infty { \frac{1}{n!} } ,\ \ \pi ^{2} \ = \ 6 \sum _ {n = 1} ^ \infty { \frac{1}{n ^ 2} } , $$


the same is true for the values of definite integrals in which the primitives of the integrands cannot be written in elementary functions:

$$ \int\limits _{0} ^ 1 \frac{ \mathop{\rm arctan}\nolimits \ x}{x} \ dx \ = \ \sum _ {n = 1} ^ \infty \frac{(-1) ^ {n - 1}}{(2n - 1) ^ 2} , $$


$$ \int\limits _{0} ^ 1 x ^{-x} \ dx \ = \ \sum _ {n = 1} ^ \infty { \frac{1}{n ^ n} } . $$


Series of functions.

A (simple) series of functions

$$ \tag{11} \sum a _{n} (x),\ \ x \in X, $$


is a pair of sequences of functions $ \{ a _{n} \} $ and $ \{ s _{n} \} $ consisting of numerical functions defined on some set $ X $ and such that

$$ s _{n} (x) \ = \ a _{1} (x) + \dots + a _{n} (x),\ \ n = 1,\ 2 \dots \ \ x \in X . $$


As in the case of series of numbers, the elements of the sequence $ \{ a _{n} \} $ are called the terms of the series (11) and those of the sequence $ \{ s _{n} \} $ — its partial sums. The series (11) is called convergent on the set $ X $ if for each fixed $ x _{0} \in X $ the following series of numbers is convergent:

$$ \sum a _{n} (x _{0} ). $$


Example. The series

$$ \sum _ {n = 0} ^ \infty \frac{z ^ n}{n!} \ = \ e ^{z} ,\ \ z \in \mathbf C , $$


is convergent on the entire complex plane $ \mathbf C $ and the series

$$ \sum _ {n = 0} ^ \infty n! z ^{n} ,\ \ z \in \mathbf C , $$


only when $ z = 0 $.


The sum of a convergent series of functions continuous, for example, on some interval is not necessarily a continuous function; for example, the series

$$ 1 + \sum _ {n = 1} ^ \infty x ^ {n - 1} (x - 1) $$


is convergent on the interval $ [0,\ 1] $, its terms are continuous on this interval but the sum

$$ s (x) \ = \ \left \{ \begin{array}{ll} 0 &\ \textrm{ if } \ 0 \leq x < 1, \\ 1 &\ \textrm{ if } \ x = 1 \\ \end{array} \right .$$


is discontinuous at the point $ x = 1 $. A number of conditions under which the properties of continuity, differentiability and integrability of finite sums of, respectively, continuous, differentiable or integrable functions can be carried over to series of functions are formulated in terms of uniform convergence of a series (see Uniformly-convergent series).

Series of measurable functions. Let $ X $ be a Lebesgue-measurable subset of the $ n $- dimensional Euclidean space $ \mathbf R ^{n} $, let $ \mu $ be the Lebesgue measure and let the terms $ a _{k} $ of the series

$$ \tag{12} \sum a _{k} (x),\ \ x \in X \subset \mathbf R ^{n} , $$


be measurable, almost-everywhere finite functions on $ X $ taking values in the extended real line (i.e. together with real numbers they can assume the values $ + \infty $ and $ - \infty $). If the series (12) is convergent almost-everywhere on $ X $, then its sum $ s $ is also a measurable function, and by Egorov's theorem (cf. Egorov theorem), if $ \mu (X) < \infty $, then for any $ \epsilon > 0 $ there exists a compact set $ E \subset X $ such that $ \mu (X \setminus E) < \epsilon $ and such that the series with as terms the restrictions $ a _{k} \mid _{E} $ of the functions $ a _{k} $ to $ E $ converges uniformly on $ E $ and its sum is $ s \mid _{E} $ — the restriction of the sum (12) to $ E $.


Let $ L _{p} (X) $, $ 1 \leq p \leq + \infty $, be the space of functions $ f: \ X \rightarrow \mathbf R $ with the norm

$$ \| f \| _{p} \ = \ \left ( \int\limits _{X} | f (x) | ^{p} \ dx \right ) ^{1/p} $$


for $ 1 \leq p < + \infty $ and with the norm

$$ \| f \| _ \infty \ = \ \mathop{\rm ess}\nolimits _ {x \in X} \ \mathop{\rm sup}\nolimits \ | f (x) | $$


for $ p = \infty $, respectively. A series (12) is called convergent in $ L _{p} (X) $ if the sequence of its partial sums $ \{ s _{m} \} $ converges in $ L _{p} (X) $, and its limit $ s $ is called the sum of (12) in this space:

$$ s \ = \ \sum a _{k} \ \ \mathop{\rm in}\nolimits \ L _{p} (X). $$


If a series (12) converges in $ L _{p} (X) $ and $ s $ is its sum, then there exists a subsequence of the sequence of its partial sums which converges to $ s $ almost-everywhere on $ X $.


Term-by-term integration of series. The following theorems are extensions of the theorem on term-by-term integration of uniformly-convergent series.

Theorem 1. If there exists a summable function $ f $ on the set $ X $ such that for all $ m = 1,\ 2 \dots $ and all $ x \in X $ the partial sums $ s _{m} $ of the series (12) satisfy the inequality

$$ | s _{m} (x) | \ \leq \ f (x), $$


if the series (12) converges almost-everywhere on $ X $ and if its sum is $ s $, then

$$ \tag{13} \int\limits _{X} s (x) \ dx \ \equiv \ \int\limits _{X} [ \sum a _{k} (x)] \ dx \ = \ \sum \int\limits _{X} a _{k} (x) \ dx. $$


Theorem 2. If $ a _{k} \in L _{p} (X) $, $ s \in L _{p} (X) $, $ 1 < p < + \infty $, $ \mu (X) < + \infty $, and if the sequence of partial sums $ \{ s _{m} \} $ of the series (12) converges weakly to the function $ s $( i.e. for any function $ b \in L _{q} (X) $, $ 1/p + 1/q = 1 $, the following condition is satisfied:

$$ \left . \mathop{\rm lim} _ {m \rightarrow \infty} \ (s - s _{m} ,\ b) \ \equiv \ \mathop{\rm lim} _ {m \rightarrow \infty} \ \int\limits _{X} [s (x) - s _{m} (x)] b (x) \ dx \ = \ 0 \right ) , $$


then formula (13) holds.

One can also carry out term-by-term integration of a series (12) all terms of which are non-negative on the set $ X $. For such a series the sequence of their partial sums at each point $ x \in X $ increases and thus has a finite or infinite limit, which is called the value of the sum $ s $ of the series at this point.

Theorem 3. If the terms of (12) are non-negative, then formula (13) holds.

Under the assumptions of theorem 3 both sides of formula (13) can be $ + \infty $. The following theorem provides sufficient conditions for their finiteness.

Theorem 4. If the terms of (12) are non-negative and if the integrals of their partial sums $ s _{m} $ are uniformly bounded:

$$ \int\limits _{X} s _{m} (x) \ dx \ \leq \ c ,\ \ m = 1,\ 2 \dots $$


where $ c $ is a constant, then the sum $ s $ of the series (12) is a summable function.

Term-by-term differentiation of series. Let $ \mathbf R ^{n} $ be the $ n $- dimensional Euclidean space of points $ x = (x _{1} \dots x _{n} ) $, $ x _{j} \in \mathbf R $, let $ G $ be an open set in $ \mathbf R ^{n} $, and $ f: \ G \rightarrow \mathbf R $. Let $ D _ {x _ i} f $ be the generalized derivative of the function $ f $ with respect to $ x _{i} $, $ i = 1 \dots n $. If $ a _{k} \in L _{p} (G) $, $ D _ {x _ {i _ 0}} a _{k} \in L _{p} (G) $( $ i _{0} $ is fixed), $ 1 \leq p \leq + \infty $, and if the series $ \sum a _{k} $ and $ \sum D _ {x _ {i _ 0}} a _{k} $, are convergent in $ L _{p} (G) $: $ s = \sum a _{k} $ and $ \sigma = \sum D _ {x _ {i _ 0}} a _{k} $, then $ s $ has a generalized derivative in $ G $ with respect to $ x _ {i _ 0} $ and $ D _ {x _ {i _ 0}} s = \sigma $, i.e.

$$ D _ {x _ {i _ 0}} \sum a _{k} \ = \ \sum D _ {x _ {i _ 0}} a _{k} $$


in $ L _{p} (G) $.


Among series of functions, especially important are power series; Fourier series; Dirichlet series, and, in general, series obtained by the expansion of functions in terms of the eigenfunctions of some operator. Many of the stated properties of series of functions can be extended to more general series with terms which are functions with values in linear normed spaces or, more generally, in linear topological spaces, and also to multiple series of functions, i.e. series whose terms are provided with multi-indices:

$$ \sum a _ {n _{1} \dots n _ m} (x). $$


The theory of series of functions provides convenient and quite general methods for studying functions, since a rather wide class of functions can be represented in a certain sense as the sum of a series of elementary functions. For example, a single-valued analytic function is the sum of its Taylor series in a neighbourhood of each interior point of its domain of definition; any continuous function on some interval is the sum of a series converging uniformly on this interval with algebraic polynomials as terms; finally, for any measurable almost-everywhere finite function on the interval $ [- \pi ,\ \pi ] $ there exists a trigonometric series

$$ { \frac{a _ 0}{2} } + \sum _ {n = 1} ^ \infty ( a _{n} \ \cos \ nx + b _{n} \ \mathop{\rm sin}\nolimits \ nx ) $$


whose sum coincides almost-everywhere with the given function (D.E. Menshov, 1941).

The expansion of functions in series is used in different areas of mathematics: in analysis — to study functions, to look for solutions of various equations containing unknown functions in the form of series, for example, by the method of indefinite coefficients (cf. Undetermined coefficients, method of), in numerical methods for the approximate calculation of the values of functions, etc.

Historical remarks.

Already the scientists of Ancient Greece had arrived at the notion of infinite sums: the sum of the terms of an infinite geometric progression with a positive ratio less than 1 can be found in their studies. As an independent concept the notion of a series entered mathematics in the 17th century. I. Newton and G. Leibniz systematically used series to solve both algebraic and differential equations. The formal theory of series was intensively developed in the 18th century and 19th century by Jacob and Johann Bernoulli, B. Taylor, C. MacLaurin, L. Euler, J. d'Alembert, J.L. Lagrange, and others. During this period both convergent and divergent series were used, though it was not completely clear whether the operations carried out on them were legitimate. The exact theory of series was created in the 19th century on the basis of the notion of a limit by C.F. Gauss, B. Bolzano, A.L. Cauchy, P.G.L. Dirichlet, N.H. Abel, K. Weierstrass, B. Riemann, and others.

References

[1] A.N. Kolmogorov, S.V. Fomin, "Elements of the theory of functions and functional analysis" , 1–2 , Graylock (1957–1961) (Translated from Russian) MR1025126 MR0708717 MR0630899 MR0435771 MR0377444 MR0234241 MR0215962 MR0118796 MR1530727 MR0118795 MR0085462 MR0070045 Zbl 0932.46001 Zbl 0672.46001 Zbl 0501.46001 Zbl 0501.46002 Zbl 0235.46001 Zbl 0103.08801
[2] N.N. Luzin, "Theory of functions of a real variable" , Moscow (1948) (In Russian) MR0036819
[3] S.M. Nikol'skii, "Approximation of functions of several variables and imbedding theorems" , Springer (1975) (Translated from Russian) Zbl 0307.46024
[4] G.H. Hardy, "Divergent series" , Clarendon Press (1949) MR0030620 Zbl 0032.05801
[5] N.S. Bakhvalov, "Numerical methods: analysis, algebra, ordinary differential equations" , MIR (1977) (Translated from Russian) MR0362811 Zbl 0524.65001
[6] V.A. Il'in, E.G. Poznyak, "Fundamentals of mathematical analysis" , 1–2 , MIR (1982) (Translated from Russian)
[7] L.D. Kudryavtsev, "A course in mathematical analysis" , 1–3 , Moscow (1988–1989) (In Russian) MR1070567 MR1070566 MR1070565 MR0767983 MR0767982 MR0628614 MR0619214 Zbl 0703.26001 Zbl 0485.26002 Zbl 0485.26001
[8] S.M. Nikol'skii, "A course of mathematical analysis" , 1–2 , MIR (1977) (Translated from Russian) Zbl 0397.00003 Zbl 0384.00004
[9] V.V. Nemytskii, M.I. Sludskaya, A.N. Cherkasov, "A course of mathematical analysis" , 1–2 , Moscow-Leningrad (1944)


Comments

Cf. also Summation methods; Summation of divergent series.

References

[a1] T.J. Bromwich, "An introduction to the theory of infinite series" , Macmillan (1949) MR1521495 Zbl 0901.40001 Zbl 0133.00801 Zbl 0004.00705 Zbl 52.0208.05 Zbl 39.0306.02
[a2] K.R. Stromberg, "Introduction to classical real analysis" , Wadsworth (1981) MR0604364 Zbl 0454.26001
[a3] N.K. [N.K. Bari] Bary, "A treatise on trigonometric series" , Pergamon (1964) (Translated from Russian) MR0171116 Zbl 0129.28002
[a4] K. Knopp, "Theorie und Anwendung der unendlichen Reihen" , Springer (1964) (English translation: Blackie, 1951 & Dover, reprint, 1990) MR0028430 Zbl 0124.28302
[a5] A. Zygmund, "Trigonometric series" , 2 , Cambridge Univ. Press (1988) pp. Chapt. X MR0933759 Zbl 0628.42001
How to Cite This Entry:
Series. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Series&oldid=44344
This article was adapted from an original article by L.D. Kudryavtsev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article