5.11. Convergent Power Series
This chapter is up to a certain generalization of the polynomial idea. As a polynomial is the finit sum of its monoms, it is advisable to consider infinite sums of this kind, i.e. we are going to study series of functions. Of course this is just a formal concept at this stage. Whether it results in a genuine function, capable to accept real numbers, surely depends on convergence properties.
It is an advantage that polynomials calculate only with addition and multiplication. Although this simplicity certainly will get lost with our prospective generalized polynomials the original advantage will apply again if we are only interested in approximative values.
Definition: For every sequence in and every the series of functions
|
[5.11.1] |
is called a power series with a as expansion point.
|
For every the power series provides a series of numbers by evaluating X at x:
This series is always convergent for the expansion point a:
. Thus we will focus on those power series which converge for at least one further number.
Definition: We call a power series convergent, if it converges for at least two different points, i.e. if there is an such that
converges.
|
[5.11.2] |
Power series which are convergent for their expansion point solely are called divergent.
|
Surprisingly the convergence for only one additional point leads to the convergence for a whole neighbourhood of a.
Proposition: If converges in a it converges (even absolutly) for every
|
[5.11.3] |
Proof: As the series converges, the sequence is a zero sequence according to [5.9.9], thus bounded. So there is a c such that
.
Thus the following estimate holds for all i:
.
From we have . Consequently the geometric series converges and dominates the series which is convergent now due to the comparison test [5.9.15].
|
So we know that a convergent power series never converges for isolated points only. In fact its domain of convergence will always be an open interval, which allows to introduce the following notions.
Definition: For any power series the number
|
[5.11.4] |
is called its radius of convergence (we liberally allow *) as a value). If we call the open interval
|
[5.11.5] |
the domain of convergence.
___________
*) We set: and
for every real number c.
|
Consider:
is divergent.
the domain of convergence is the whole of .
-
is divergent.
Calculating a radius of convergence according to [5.11.4] is an akward task, so there is a need for other techniques.
Proposition: Let be a power series and r its radius of convergence. If for all the coefficients, we have:
-
|
[5.11.6] |
-
|
[5.11.7] |
Proof: We employ the ratio test [5.9.16] several times. Note that if we may calculate
|
[0] |
1. ►
|
From
we see that for each x the sequence is a zero sequence as well. So there is a number such that . Due to the ratio test the power series thus converges for every .
|
2. ►
|
We set as an abbreviation and prove:
: If we find a number such that (note: )
for all . Hence we have for these i: and thus (by an easy induction argument)
.
So is no zero sequence and consequently the series is divergent. Now if , we would find an x with such that the power series is convergent for, which contradicts the result above.
-
: If we choose two numbers such that . From the limit properties of we get a such that
for all . These i allow to estimate as follows:
.
[0] and the ratio test hence guarantee the convergence of the power series for . Now can't be true as otherwise we could choose an x with , i.e. an x outside the domain of convergence, the series will converge for.
|
|
Consider:
As convergence is not affected by the first members the above criterion is also valid if the condition is only true for almost all i.
Another way for calculating r is the Hadamard formula, an implication of the root test [5.9.17]. We note this formula without proof:
If
is bounded there is a greatest accumulation point, the so called supremum limit (symbolically ). The radius of convergence now calculates to:
|
[5.11.8] |
If is unbounded we have .
Proposition and Notation: Every convergent power series converges (absolutly) for each point x in its domain of convergence. The function
|
[5.11.9] |
is called its limit function which we denote by the symbol .
Proof: If , i.e. , the number must be exceeded by an element of that set which has r as supremum. Hence will converge for at least one y such that
.
According to [5.11.3] converges absolutely for x.
|
Consider:
Convergence behaviour at the bounderies of the domain of convergence varies. For example: Employing [5.11.7] we calculate the radius of convergence for the power series (with expansion point 0) to
.
converges for (alternating harmonic series [5.9.12]), but not for 1 (harmonic series [5.9.6]).
-
If the number belongs to the domain of convergence . Consequently the series
|
[5.11.10] |
converges absolutely.
Example:
is a power series expanded at 1. Due to [5.11.7] the radius of convergence is 1 which results in as domain of convergence. Considering the limit of the geometric series ([5.9.4]) the limit function turns out to be the restriction of the reciprocal function to : For any we have a distance , thus:
|
[5.11.11] |
Each of the power series
,
,
|
[5.11.12] |
expanded at 0 converges for the whole of according to [5.9.18], [5.9.19], [5.9.20]. Their limit functions are exp, sin und cos respectively.
Let be an arbitrary polynomial. If we define , the set of coefficients will be extanded to a sequence such that the power series converges for the whole of . The limit function
|
[5.11.13] |
equals p. So the polynomials are the limit functions of certain power series!
|
Now we concentrate on the properties of convergent power series. The first idea is to adequately transfer the identity theorem for polynomials (cf. [4.5.*]) to convergent power series: A limit function already equals zero if it has countable many (suitable) zeros!
Proposition (Identity Theorem for Convergent Power Series): Let be convergent and a sequence in such that . If all sequence members are zeros of the limit function we have:
|
[5.11.14] |
Proof: As we have a positive number such that . The limit exists due to [5.11.10] so that we may estimate for all x with and for all like this:
|
[1] |
We now prove [5.11.14] by induction:
-
As all sequence members are zeros of the limit function we get with in [1] for all n:
Thus the convergence results in .
-
Let be true. We employ [1] with and hence get for all n:
The equality is again due to the convergence .
|
Consider:
[5.11.14] is often used for the so called comparison of coefficients: If we have two convergent power series and and if we can find a sequence in the intersection of their domains of convergence such that and for all n, then both power series already coincide, i.e.
|
[5.11.15] |
Proof: The power series (cf. [5.11.17]) satisfies the condition in [5.11.14].
Next we show that the convergence of power series is compatible with basic arithmetics.
Proposition: Let and be two convergent power series and let be their radii of convergence respectively. Then their sum, their difference and their product are convergent power series as well and for we additionally have:
-
|
[5.11.16] |
-
|
[5.11.17] |
-
|
[5.11.18] |
- If the quotient is a convergent power series.
|
[5.11.19] |
Proof: As series are sequences as well the first three assertions are only variants of the frist three limit theorems [5.6.1] - [5.6.3].
For 4. it is sufficient to represent only the quotient as a convergent power series. We begin with the construction of a power series such that
|
[2] |
To that end we need coefficients which satisfy . We define by recursion
and indeed get [2], because:
-
-
As evaluating the limit function at the expansion point a will result in a value . We will prove now that this remains true in a complete neighbourhood of a: Suppose for every natural number there is an with such that . But as [5.11.14] provides us with for all k, a clearly contadicting .
So there is a neighbourhood of a with no zeros for the limit function . For each x in this neighbourhood the forth limit theorem is thus applicable in [2]:
.
So converges and due to [2] represents the reciprocal .
|
By definition power series come with a prefixed expansion point. Surprisingly this expansion point could be replaced (locally) with any other point from the domain of convergence. The following theorem plays a technical key role for some of our future work.
Proposition (Rearrangement Theorem): Let be any convergent power series and its radius of convergence. Then for every the following assertion holds: There is a convergent power series such that
|
[5.11.20] |
Proof: Please note firstly that . Furthermore we have for all
:
|
[3] |
We use the generalized binomial theorem [5.2.5] to calculate for those x:
|
[4] |
So we need to study the double series , where
Due to [3] and according to [5.11.10] the series
converges. Hence the following estimate holds for all :
This proves the boundedness (and consequently the convergence) of the double series . When calculating the limit of the double series [5.10.26] thus allows us to interchange the order of row limit and column limit (consider also [3] and [4]):
|
|
|
|