Difference between revisions of "Uniformly-convergent series"
(Importing text file) |
m |
||
Line 31: | Line 31: | ||
is uniformly convergent on each bounded disc of the complex plane, but is not uniformly convergent on the whole of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/u/u095/u095310/u09531015.png" />. | is uniformly convergent on each bounded disc of the complex plane, but is not uniformly convergent on the whole of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/u/u095/u095310/u09531015.png" />. | ||
− | The [[Cauchy | + | The [[Cauchy criteria|Cauchy criterion]] for uniform convergence of a series gives a condition for the uniform convergence of the series (1) on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/u/u095/u095310/u09531016.png" /> without using the sum of the series. A sufficient condition for the uniform convergence of a series is given by the [[Weierstrass criterion (for uniform convergence)|Weierstrass criterion (for uniform convergence)]]. |
A series <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/u/u095/u095310/u09531017.png" /> is called regularly convergent on a set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/u/u095/u095310/u09531018.png" /> if there is a convergent numerical series <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/u/u095/u095310/u09531019.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/u/u095/u095310/u09531020.png" />, such that for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/u/u095/u095310/u09531021.png" /> and all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/u/u095/u095310/u09531022.png" />, | A series <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/u/u095/u095310/u09531017.png" /> is called regularly convergent on a set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/u/u095/u095310/u09531018.png" /> if there is a convergent numerical series <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/u/u095/u095310/u09531019.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/u/u095/u095310/u09531020.png" />, such that for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/u/u095/u095310/u09531021.png" /> and all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/u/u095/u095310/u09531022.png" />, |
Revision as of 18:23, 9 December 2013
A series of functions
![]() | (1) |
with (in general) complex terms, such that for every there is an
(independent of
) such that for all
and all
,
![]() |
where
![]() |
and
![]() |
In other words, the sequence of partial sums is a uniformly-convergent sequence. The definition of a uniformly-convergent series is equivalent to the condition
![]() |
which denotes the uniform convergence to zero on of the sequence of remainders
![]() |
of the series (1).
Example. The series
![]() |
is uniformly convergent on each bounded disc of the complex plane, but is not uniformly convergent on the whole of .
The Cauchy criterion for uniform convergence of a series gives a condition for the uniform convergence of the series (1) on without using the sum of the series. A sufficient condition for the uniform convergence of a series is given by the Weierstrass criterion (for uniform convergence).
A series is called regularly convergent on a set
if there is a convergent numerical series
,
, such that for all
and all
,
![]() |
that is, if (1) satisfies the conditions of the Weierstrass criterion for uniform convergence. On the strength of this criterion, a regularly-convergent series on is uniformly convergent on that set. In general, the converse is false; however, for every series that is uniformly convergent on
the successive terms can be collected into finite groups so that the series thus obtained is regularly convergent on
.
There are criteria for the uniform convergence of series analogous to Dirichlet's and Abel's criteria for the convergence of series of numbers. These tests for uniform convergence first occurred in papers of G.H. Hardy. If in a series
![]() | (2) |
the functions and
,
defined on
, are such that the sequence
is monotone for each
and converges uniformly to zero on
, while the sequence of partial sums
of
are uniformly bounded on
, then (2) is uniformly convergent on this set.
If the sequence is uniformly bounded on
and is monotone for each fixed
, while the series
is uniformly convergent on
, then (2) is also uniformly convergent on
.
Properties of uniformly-convergent series.
If two series and
are uniformly convergent on
and
, then the series
![]() |
is also uniformly convergent on .
If a series is uniformly convergent on
and
is bounded on
, then
is also uniformly convergent on
.
Continuity of the sum of a series. In the study of the sum of a series of functions, the notion of "point of uniform convergence" turns out to be useful. Let be a topological space and let the series (1) converge on
. A point
is called a point of uniform convergence of (1) if for any
there are a neighbourhood
of
and a number
such that for all
and all
the inequality
holds.
If is a compact set, then in order that the series (1) be uniformly convergent on
it is necessary and sufficient that each point
is a point of uniform convergence.
If is a topological space, the series (1) is convergent on
,
is a point of uniform convergence of (1), and there are finite limits
![]() |
then the numerical series converges, the sum
of (1) has a limit as
, and, moreover,
![]() | (3) |
that is, under the assumptions made on (1) it is possible to pass term-by-term to the limit in the sense of formula (3). Hence it follows that if (1) converges on and its terms are continuous at a point of uniform convergence
, then its sum is also continuous at that point:
![]() |
Therefore, if a series of continuous functions converges uniformly on a topological space, then its sum is continuous on that space. When is a compactum and the terms of (1) are non-negative on
, then uniform convergence of (1) is also a necessary condition for the continuity on
of the sum (see Dini theorem).
In the general case, a necessary and sufficient condition for the continuity of the sum of a series (1) that converges on a topological space , and whose terms are continuous on
, is quasi-uniform convergence of the sequence of partial sums
to the sum
(the Arzelà–Aleksandrov theorem).
The answer to the question of the existence of points of uniform convergence for a convergent series of functions that are continuous on an interval is given by the Osgood–Hobson theorem: If (1) converges at each point of an interval and the terms
are continuous on
, then there is an everywhere-dense set in
of points of uniform convergence of the series (1). Hence it follows that the sum of any series of continuous functions, convergent in some interval, is continuous on a dense set of points of the interval. At the same time there exists a series of continuous functions, convergent at all points of an interval, such that the points at which it converges non-uniformly form an everywhere-dense set in the interval in question.
Term-by-term integration of uniformly-convergent series. Let . If the terms of the series
![]() | (4) |
are Riemann (Lebesgue) integrable on and (4) converges uniformly on this interval, then its sum
is also Riemann (Lebesgue) integrable on
, and for any
the equality
![]() | (5) |
holds, where the series on the right-hand side is uniformly convergent on .
In this theorem it is impossible to replace the condition of uniform convergence of (4) by convergence on , since there are series, even of continuous functions and with continuous sums, that converge on an interval and for which (5) does not hold. At the same time there are various generalizations. Below some results for the Stieltjes integral are given.
If is an increasing function on
, the
are integrable functions relative to
and (4) converges uniformly on
, then the sum
of (4) is Stieltjes integrable relative to
,
![]() |
and the series on the right-hand side converges uniformly on .
Formula (5) has been generalized to functions of several variables.
Conditions for term-by-term differentiation of series in terms of uniform convergence. If the terms of (4) are continuously differentiable on , if (4) converges at some point of the interval and the series of derivatives of the terms of (4) is uniformly convergent on
, then the series (4) itself is uniformly convergent on
, its sum
is continuously differentiable and
![]() | (6) |
In this theorem the condition of uniform convergence of the series obtained by term-by-term differentiation cannot be replaced by convergence on , since there are series of continuously-differentiable functions, uniformly convergent on an interval, for which the series obtained by term-by-term differentiation converges on the interval, but the sum of the original series is either not differentiable on the whole interval in question, or it is differentiable but its derivative is not equal to the sum of the series of derivatives.
In this way, the presence of the property of uniform convergence of a series, in much the same way as absolute convergence (see Absolutely convergent series), permits one to transfer to these series certain rules of operating with finite sums: for uniform convergence — term-by-term passage to the limit, term-by-term integration and differentiation (see (3)–(6)), and for absolute convergence — the possibility of permuting the order of the terms of the series without changing the sum, and multiplying series term-by-term.
The properties of absolute and uniform convergence for series of functions are independent of each other. Thus, the series
![]() |
is absolutely convergent on the whole axis, since all its terms are non-negative, but obviously is not a point of uniform convergence, since its sum
![]() |
is discontinuous at this point (whereas all terms are continuous).
The series
![]() |
is uniformly convergent on the whole real axis but does not converge absolutely at any point.
For references see Series.
Uniformly-convergent series. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Uniformly-convergent_series&oldid=16617