Power Series

The fundamental limiting processes for sequences of real numbers can readily be generalized to complex numbers without even the necessity of reformulating definitions and proofs. ¹ 

1.2.1 Limit of a Sequence

An infinite sequence of complex numbers is said to possess the limit , if for any preassigned positive , no matter how small, there is an integer such that for all greater than . Loosely speaking, this statement means that we can come as close to as we please provided we go out sufficiently far in the sequence. We do not mean to exclude by this mode of expression the possibility that some or all of the are equal. In the latter case clearly coincides with . The above definition is, of course, completely equivalent to the stipulation that the real part and the imaginary part of converge separately to and respectively.

On the other hand, if increases indefinitely in that the modulus eventually remains larger than any preassigned positive value we say that tends to infinity and write This condition is tantamount to the requirement that . A sequence which possesses a limit is said to be convergent . The fact that a sequence is convergent is plainly an intrinsic property of the sequence which does not depend upon knowing the limiting value. It should therefore be of value to give a definition of convergence which frees us from the necessity of furnishing a specific limit. Such a definition has been provided by Cauchy:

To prove the equivalence of the two definitions of convergence we must employ the fundamental theorem of Bolzano-Weierstrass. The Bolzano-Weierstrass theorem ² states: Every bounded infinite set of points of the complex plane possesses at least one accumulation point.

Consider a sequence of complex numbers which converges to a limit . Geometrically this means that the points of the sequence, from a certain on, lie inside a circle of given radius about the point . One recognizes immediately that if then the set of points is bounded and is its only accumulation point. Conversely, if a bounded infinite sequence of points possesses only one accumulation point then is the limit of the sequence . (If a sequence contains terms equal to these statements are interpreted by counting the point corresponding to as often as it occurs.)

We say that a sequence “tends to the point at infinity” if all its points , from a certain on lie outside a circle of arbitrarily large preassigned radius . The reason becomes apparent if we consider the points on the -sphere (by means of stereographic projection), for there the corresponding sequence tends to the north pole. Nevertheless, when we say without further qualification that a sequence converges we mean that it possesses a finite limit.

The equivalence of the two definitions of convergence is proved as follows:

1. A sequence which converges to a limit is convergent in the sense of Cauchy. For suppose . Then, given an , there exists an such that Then, according to the triangle inequality, we have
2. Conversely, any sequence convergent in the sense of Cauchy tends to a definite limit. Let be a Cauchy sequence. From (2.11) it follows for a given arbitrarily small that there exists an such that i.e., all the points after lie within a circle of radius about , while outside this circle there are only a finite number of points of the sequence – at most . Thus the sequence is a bounded point set and, by the Bolzano-Weierstrass theorem, possesses at least one accumulation point. This will prove that the sequence tends to a limit. Suppose then that there are two accumulation points, say and . This means that there are infinitely many numbers arbitrarily near as well as infinitely many numbers arbitrarily near , i.e. for infinitely many numbers and , which, together with the Cauchy condition gives gives Since, on the other hand, can be chosen arbitrarily small, it follows that and are identical.

The Cauchy condition (2.11) is a necessary and sufficient condition for a sequence to converge to a limit. 

1.2.2 Infinite Series

A series of complex numbers is said to be convergent or to have the sum if the sequence of partial sums converges to a limit If a series does not possess a sum in this sense it is said to be divergent . A necessary and sufficient condition for the convergence of a series is provided by the Cauchy criterion (2.11) , namely, for any positive there is an such that for all , . Hence for any convergent series . This condition alone will not guarantee the existence of a sum since e.g. the harmonic series does not converge.

In any specific instance it may not be easy to prove convergence by a direct application of the Cauchy condition. For this reason we introduce various sufficient conditions for convergence called convergence tests which, in a great many instances, enable us to show convergence with relative ease.

Absolute Convergence

A series is said to converge absolutely if the series converges. Absolute convergence implies ordinary convergence, since for any we can find an such that for all , . The converse is not true, for the series converges but not absolutely. A series is called conditionally convergent if it converges but does not converge absolutely.

Comparison Test

If a series converges absolutely then any series with for all must also converge absolutely. The proof follows directly from the inequality A most useful series for comparison is the geometric series which can be proved to converge for to the value and to diverge for . Employing this series we obtain a number of interesting convergence criteria: if there is a constant such that for all then the series converges absolutely. For the proof we disregard the sum of the earlier terms since this can affect the sum only by adding a constant. Therefore, without losing generality, we take . It follows from (2.22) that By comparison with the geometric series we see that this series converges absolutely.

On the other hand, if for all the series diverges. As above we may take . Then whence does not tend to zero so that the series cannot possibly converge.

By a similar comparison it is easy to show that the series converges absolutely if for all . Again, the series diverges for all terms after a given term. In fact, for divergence it is obviously sufficient just to require (2.23a) for an infinity of values of .

In (2.22) and (2.23) it is quite essential that and should be bounded away from unity. It is not enough to have, say for already in the harmonic series we have

The convergence tests (2.22) and (2.23) may be rewritten employing the notions of superior limit and inferior limit. The superior limit of a bounded infinite set of real numbers , denoted by or is the greatest of the accumulation points of the set. The superior limit always exists. For proof consider the set of values which are exceeded by at most a finite number of the values . Since this set is bounded below it possesses a greatest lower bound; call it .

1. is a point of accumulation for the set of numbers . For consider any -interval about . From the definition of it follows that there are infinitely many values of and at most a finite number of values of . We conclude that any interval about must contain an infinity of points of the set.
2. is the greatest of the points of accumulation of the set . For suppose is another. Take . Since is an accumulation point there are an infinite number of values of in the interval . But this – implies that there are infinitely many values of contrary to the definition of .

If the set of values of has no upper bound we adopt the special notation In precisely the same manner as above we may define . More simply we set

From (2.22) and (2.23) it follows that the D’Alembert convergence test and the Cauchy convergence test are both sufficient conditions that the series converge absolutely. For if, say then there is an such that . Since there are only a finite number of values of for which convergence follows from (2.23) . Similarly, it is possible to prove the complementary results that and are sufficient to show divergence. According to the remark after (2.23a) we may replace (2.27) by the weaker condition  

Exercises

1.2.3 Power Series

A complex function defined over a point set of the -plane associates with each point of a complex value . The classical theory of functions can be treated from a point of view due principally to Weierstrass as the study of functions that can be represented by a convergent power series. In this section we shall investigate a number of the important properties of these series.

Consider a series of functions convergent for all values of in a point set of the complex plane. The series is said to converge uniformly in if for every , however small, it is possible to find an independently of so that for all for all in .

If the terms of the series satisfy the condition for all in and the s are real constants such that converges then converges uniformly, and, of course, absolutely in .

For, given any , it is possible to find an sufficiently large so that for all , .

A power series is a series of the form where the coefficients may be any complex numbers.

The principal theorem on power series states:

The series also converges if . For we have Comparison with the series of Exercise 19 , gives the desired result.

There are two possibilities for any power series: Either it converges for all values of or there is at least one value for which the series diverges. In the latter case the series must diverge for every value of for which . If the series were convergent for such a value of then by the theorem above it would converge for .

We conclude that a power series convergent for some and divergent for some other value has a radius of convergence so that the series converges absolutely for and diverges for . The circle is called the circle of convergence of the series.

The series clearly converges inside the circle of convergence of . We prove further that diverges for . There is a , such that . ³ Since , converges and therefore is bounded, for all . Now It follows that the term does not tend to zero and therefore diverges for .

The theorem is a direct consequence of the tests (2.25) and (2.28) . In particular, we note that a series converges everywhere if , and converges only at if .

No general statement can be made about the behavior of a power series on the circle of convergence. However, if the series is absolutely convergent for some value on the circle then it is plainly convergent everywhere on the circle.

Differentiation of Power Series

It is natural to call a complex function of the form with fixed complex coefficients , a polynomial of degree in . A convergent power series may be regarded as a function of , defined in its circle of convergence to be the limit of the sequence of polynomials

The derivative of a complex function is defined exactly as in the real case as ⁴ 

First we note the algebraic identity If we now let tend to we immediately have It follows that where and denote the derivative of the complex polynomial .

We now derive a theorem fundamental in the theory of power series: