SERIES. A series is a set of terms considered as arranged in order. Usually the terms are or represent numerical magnitudes, and we are concerned with the sum of the series. The number of terms may be limited or without limit; and we have thus the two theories, finite series and infinite series. The notions of convergency and divergency present themselves only in the latter theory.
Finite Series.
1. Taking the terms to be numerical magnitudes, or say numbers, if there be a definite number of terms, then the sum of the series is nothing else than the number obtained by the addition of the terms; e.g., 4 + 9 + 10 = 23, 1 + 2 + 4 + 8 = 15. In the first example there is no apparent law for the successive terms; in the second example there is an apparent law. But it is important to notice that in neither case is there a determinate law: we can in an infinity of ways form series beginning with the apparently irregular succession of terms 4, 9, 10, or with the apparently regular succession of terms 1, 2, 4, 8. For instance, in the latter case we may have a series with the general term 2 n , when for n = 0,1, 2, 3, 4, 5 .. the series will be 1, 2, 4, 8, 16, 32, ..; or a series with the general term 1/6(n 3 + 5n + 6), where for the same values of n the series will be 1, 2, 4, 8, 15, 26, .. The series may contain negative terms, and in forming the sum each term is of course to be taken with the proper sign.
2. But we may have a given law, such as either of those just mentioned, and the question then arises, to find the sum of an indefinite number of terms, or say of n terms (n standing for any positive integer number at pleasure) of the series. The expression for the sum cannot in this case be obtained by actual addition; the formation by addition of the sum of two terms, of three terms, &c., will, it may be, suggest (but it cannot do more than suggest) the expression for the sum of n terms of the series. For instance, for the series of odd numbers l + 3 + 5 + 7 + ..., we have 1 = 1, 1 + 3 = 4, 1 + 3 + 5 = 9, etc. These results at once suggest the law, 1 + 3 + 5 ... + (2n - 1) = n 2 , which is in fact the true expression for the sum of n terms of the series; and this general expression, once obtained, can afterwards be verified.
3. We have here the theory of finite series: the general problem is, u n being a given function of the positive integer n, to determine as a function of n the sum u 0 + u 1 + u 2 ... + u n or in order to have n instead of n + 1 terms, say the sum u 0 + u 1 + u 2 . . + u n - 1 .
Simple cases are the three which follow.
(i.) The arithmetic series, a + (a + b) + (a + 2b).. + (a + n — 1) b ; writing here the terms in the reverse order, it at once appears that twice the sum is = 2a + n - 1 b taken n times: that is, the sum = na + ½(n - 1 ) b . In particular we have an expression for the sum of the natural numbers
1 + 2 + 3... + n = ½ n(n + 1), and an expression for the sum of the odd numbers 1 + 3 + 5 .. + (2 n -1) = n 2 .
(ii.) The geometric series, a + ar + ar 3 ... + ar n-1 ; here the difference between the sum and r times the sum is at once seen to be = a — ar n , and the sum is thus
1 - r n .
= Uj _ ~; in particular the sum of the series l+r + r 2 .. + r n-1 = ^-.
1 - r
(iii.) But the harmonic series,
111 1
— - “t“ ——— - I
a a + b α + 20'" α + (τι-l)0 ’
1,1.1 1 1 , . , or say ι÷2^b3∙ · ' + n ’ i * does not admit of summation; there is no algebraical function of n which is equal to the sum of the series.
4. If the general term be a given function u n , and we can find v n a function of n such that v,, +1 - v n = u n , then we have u 0 = v 1 - v 0 , u 1 = v 2 - v 1 , u 1 = v 3 ~v 9 ..u n = ‰ + ι - v n ; and hence τ∕ θ + u l + u 2 .. + u n = v n +ι - ⅛ 0 ,—an expression for the required sum. This is in fact an application of the Calculus of Finite Differences. In the notation of this calculus v n+l - v n is written ∆v n ; and the general inverse problem, or problem of integration, is from the equation of differences ∆v n = u n (where υ n is a given function of n) to find v n . The general solution contains an arbitrary constant, v n = V n + C ; but this disappears in the difference v n + 1 - v θ , As an example consider the series u o + u 1 ... + u n = 0 +1 + 3 .. + 1/2n(n +1); here, observing that n(n +1 )(τι + 2) - (n - 1 )n(n +1) = n(τι + l)(n+2 - ^∑T), = 3h(ti +1), we have v n +l = θn(7t +1 )(τt + 2); and hence 1+3 + 6. . + 1/2n(n + l)= 1/6n(n + l)(n + 2), as may be at once verified for any particular value of n.
Similarly, when the general term is a factorial of the order r, we have r+1 n(n + l).. (n + r-1) n(n + l).. (n + r)
+ ^^I 1.2^ 7. 1.2 .. (r + 1)
5. If the general term u n be any rational and integral function of n, we have
, ?i . ?i(?i —1) 0 nln- 1).. (?i-» + l) .p u n = «ο + j∆κ o + -1--J δ ⅛ 0 ... + 3 L e. where the series is continued only up to the term depending on p, the degree of the function u n , for all the subsequent terms vanish. The series is thus decomposed into a set of series which have each a factorial for the general term, and which can be summed by the last formula; thus we obtain
. ., (n + l)?i.
«0 + u 1 ... + u n = (?i +1 )u 0 + i-j—+- Δ1t 0 .. (n + l)>i(w-l). . (tt-j,+I )Λ
+ . 1 . 2. 3. . Qo+1) 0, which is a function of the degree p + 1.
Thus for the before-mentioned series l + 2 + 4 + 8+ .., if it be assumed that the general term u n is a cubic function of n, and writing down the given terms and forming the differences, 1, 2, 4, 8; 1, 2, 4; 1,2; 1, we have
M n = 1 + y + +*2 { = j(ra8 + 5n + 6 )> as above ); and the sum u 0 + u 1 . . + u n
(n + l> 1 (?! + l)?i(?i-l) 1 (n + l)n(n-l)(n-2)
— w +1 + j 2 + 123 " + ^ 1234 ’
= ?-(?i* + 2⅛ 3 +11?!® + 34?! + 24).
24
As particular cases we have expressions for the sums of the powers of the natural numbers—
l 2 + 2 2 ...+7i 2 = ^n(n+ l)(2τι + l)j l 3 + 2 3 .. + n 3 = |?i s (?t +1 ) 2 (observe that this = (1 + 2 ... + n ) 2 ); and so on.
6. We may, from the expression for the sum of the geometric series, obtain by differentiation other results:
i ι 1 —T^ ’ · thus 1+7- + ?· 3 . . .+7∙ n-1 = ς gives
1 -r
1 , n , o O , ∕ 1∖ 71-2 l-r n 1-7ir n-1 + (τt-l)r*
l+2r + 3∕". . + (τι-l)r =τ-; , = 7 z—⅛—' v z dr 1 -r (1 -r) 2 and we might in this way find the sum u 0 + n l r.. . + u tt r n , where u n is any rational and integral function of n.
7. The expression for the sum u 0 + u l . . . +«„ of an indefinite number of terms will in many cases lead to the sum of the infinite series u 0 + u- l .. .; but the theory of infinite series requires to be considered separately. Often in dealing apparently with an infinite series u 0 + u 1 + ... we consider rather an indefinite than an infinite series, and are not in any wise really concerned with the sum of the series or the question of its convergency: thus the equation
(1+w , + 5⅛Z‰ + . .)(1+ ^ + ⅛L<LV + ..) =i + < m+ .>+ ( -+")(∞÷"-υ j , + .. really means the series of identities (??i + 7t)= m + n
(?!! + 7l)(7Zl + 71 - 1 ) 77l(ni-l) ??! H 7l(>l-l)
Ï—2 1—2— + 1 Ï + ^^Ï— 2~’ &C '’ obtained by multiplying together the two series of the left-hand side. Again, in the method of generating functions we are concerned with an equation ψ(f) = √l θ + Λ 1 t... + A n t n + .., where the function φ(t) is used only to express the law of formation of the successive coefficients.
It is an obvious remark that, although according to the original definition of a series the terms are considered as arranged in a determinate order, yet in a finite series (whether the number of terms be definite or indefinite) the sum is independent of the order of arrangement.
Infinite series.
8. We consider an infinite series m 0 + u- i + u 2 + . . . of terms proceeding according to a given law, that is, the general term ‰ is given as a function of n. To fix the ideas the terms may be taken to be positive numerical magnitudes, or say numbers continually diminishing to zero; that is, u n >u n +ι, and u n is, moreover, such a function of n that by taking n sufficiently large u n can be made as small as we please.
Forming the successive sums >Sθ = u 0 , >S' 1 = ω θ + M 1 , *S' 2 = υ 0 + u l + u c ,, . . these sums λS , 0 , λS , 1 , *S ’ 2 .. . ’ will be a series of continually increasing terms, and if they increase up to a determinate finite limit *S' (that is, if there exists a determinate numerical magnitude $ such that by taking n sufficiently large we can make N - S n as small as we please) 0' is said to be the sum of the infinite series. To show that we can actually have an infinite series with a given sum *S ’, take m 0 any number less than >S ’, then *S' - w θ is positive, and taking u χ any numerical magnitude less than S - u 0 , then S -u 0 -u 1 is positive. And going on continually in this manner we obtain a series w θ + -w 1 + u 2 + . . . such that for any value of n however large >S' - «Q - ∙w 1 . . . — u n is positive; and if as n increases this difference diminishes to zero, we have m 0 + m 1 + -m 2 + . . . , —an infinite series having S for its sum. Thus, if s = 2, and we take u 0 <2, say u 0 = 1; u l <2 -1, say = -; u 2 <2
-1 -say ‰ = and so on, we have 1 +1 +1 + ... = 2; or, more generally, if r be any positive number less than
1, then 1 + r + r 2 + ... = that is, the infinite geometric series with the first term = 1, and with a ratio r<l, has the finite sum = . This in fact follows from
1 - r
1 — τ n the expression 1 + r + r 2 ... + r n ~ 1 = ∣—- for the sum of the finite series; taking r<l, then as n increases r n decreases to zero, and the sum becomes more and more neariy =
9. An infinite series of positive numbers can, it is clear, have a sum only if the terms continually diminish to zero; but it is not conversely true that, if this condition be satisfied, there will be a sum. For instance, in the case of the harmonic series 1 +~ + }, + .. . it can be shown that by taking a sufficient number of terms the sum of the finite series may be made as large as we please. F or, writing the series in the form 1 +’ + (i + i) + (j + 1 + 1 - + >) + . . , the number of terms in the brackets being doubled at each successive step, it is clear that the sum of the terms in any bracket is always > ∣; hence by sufficiently increasing the number of brackets the sum may be made as large as we please. In the foregoing series, by grouping the terms in a different manner 1 + (I + i) + Q + j + l + ∣) + .. j the sum of the terms in any bracket is always < 1; we thus arrive at the result that (n = 3 at least) the sum of 2 n terms of the series is > 1 + ~n and < n.
10. An infinite series may contain negative terms; suppose in the first instance that the terms are alternately positive and negative. Here the absolute magnitudes of the terms must decrease down to zero, but this is a suffi cient condition in order that the series may have a sum. The case in question is that of a series v 0 - v 1 -(- v 2 - . . , where v θ , v 1 , ι ’ 2 , . . are all positive and decrease down to zero. Here, forming the successive sums >S ’ θ = v θ , Λ' l = v 0 - ∙υ 1 , ∕S' 2 = v 0 - v 1 + v 2 , . . >S' θ , N 1 , S 2 , . . . are all positive, and we . have *S' 0 > <S' 1 , N 1 < S 2 , S 2 > *S' 3 , . . and N n+1 - sn tends continually to zero. Hence the sums *S r θ , *S' 1 , S 2 , . . tend continually to a positive limit S in such wise that >S' θ , >S 2 , *S 4 , . . . are each of them greater and N 1 , >S , 3 , S 5 , . . are each of them less than S ; and we thus have S as the sum 111
of the series. The series l-0 + sτ+ · · will serve as 2 o 4
an example. The case just considered includes the apparently more general one where the series consists of alternate groups of positive and negative terms respectively; the terms of the same group may be united into a single term ± v n , and the original series will have a sum only if the resulting series v 0 - v 1 + v 2 . . . has a sum, that is, if the positive partial sums v 0 , v 1 , v 2 ,. . decrease down to zero.
The terms at the beginning of a series may be irregular as regards their signs; but, when this is so, all the terms in question (assumed to be finite in number) may be united into a singL term, which is of course finite, and instead of the original series only the remaining terms of the series need be considered. Every infinite series whatever is thus substantially included under the two forms,—terms all positive and terms alternately positive and negative.
11. In brief, the sum (if any) of the infinite series ⅝ + w ι + ⅝+ · · is the finite limit, (if any) of the successive sums u 0 , Uq + u 1 , u 0 + u 1 + u 2 , . . .; if there is no such limit, then there is no sum. Observe that the assumed order u 0 , u 1 , u 2 . . . of the terms is part of and essential to the definition; the terms in any other order may have a different sum, or may have no sum. A series having a sum is said to be “convergent”; a series which has no sum is “divergent.”
If a series of positive terms be convergent, the terms cannot, it is clear, continually increase, nor can they tend to a fixed limit: the series 1 + 1 + 1 + . . is divergent. For the convergency of the series it is necessary (but, as has been shown, not sufficient) that the terms shall decrease to zero. So, if a series with alternately positive and negative terms be convergent, the absolute magnitudes cannot, it is clear, continually increase. In reference to such a series Abel remarks, “Peut-on imaginer rien de plus horrible que de débiter 0 = l m - 2 n +3 w - 4 w +, &c., où n est un nombre entier positif?” Neither is it allowable that the absolute magnitudes shall tend to a fixed limit. The so-called “neutral” series 1-1 + 1-1.. is divergent: the successive sums do not tend to a determinate limit, but are alternately + 1 and 0; it is necessary (and also sufficient) that the absolute magnitudes shall decrease to zero.
In the so-called semi-convergent series we have an equation of the form s — U o - U 1 + U 2 -.. ., where the positive values U o , U 1 , U 2 , . . . decrease to a minimum value, suppose U p , and afterwards increase; the series is divergent and has no sum, and thus S is not the sum of the series. N is only a number or function calculable approximately by means of the series regarded as a finite series terminating with the term ± U p . The successive sums U o , U o — U l , U o - U 1 + U 2 , . . up to that containing ± U p , give alternately superior and inferior limits of the number or function N.
12. The condition of convergency may be presented under a different form: let the series u 0 + u 1 + u 2 + . . be convergent, then, taking m sufficiently large, the sum is the limit not only of u 0 + u 1 +. . + u m but also of u 0 + 1ι l ... + u m+r , where r is any number as large as we please. The difference of these two expressions must therefore be in- definitely small; by taking m sufficiently large the sum ‰+ι + ‰+ 2 . . . . + tt nι +r (where r is any number however large) can be made as small as we please; or, as this may also be stated, the sum of the infinite series ‰+ι + m ot +2 ÷ · · · ca n be made as small as we please. If the terms are all positive (but not otherwise), we may take, instead of the entire series ‰+ι+ ‰+2+. ∙, any set of terms (not of necessity consecutive terms) subsequent to u m ', that is, for a convergent series of positive terms the sum of any set of terms subsequent to u m can, by taking 7?i sufficiently large, be made as small as we please.
13. It follows that in a convergent series of positive terms the terms may be grouped together in any manner so as to form a finite number of partial series which will be each of them convergent, and such that the sum of their sums will be the sum of the given series. For instance, if the given series be u 0 + u 1 + u 2 +.. ., then the two series τz θ ÷ m 2 + w 4 + · · · and u 1 + u 3 +.. will each be convergent and the sum of their sums will be the sum of the original series.
14. Obviously the conclusion does not hold good in general for series of positive and negative terms: for instance, the series l-* + g- ^ + .. is convergent, but the two series 1 +1 +1 +.. and -1 - 7 - . . are each diver-
gent, and thus without a sum. In order that the conclusion may be applicable to a series of positive and negative terms the series must be “absolutely convergent,” that is, it must be convergent when all the terms are made positive. This implies that the positive terms taken by themselves are a convergent series, and also that the negative terms taken by themselves are a convergent series. It is hardly necessary to remark that a convergent series of positive terms is absolutely convergent. The question of the convergency or divergency of a series of positive and negative terms is of less importance than the question whether it is or is not absolutely convergent. But in this latter question we regard the terms as all positive, and the question in effect relates to series containing positive terms only.
15. Consider, then, a series of positive terms u 0 + u l + τz 2 + ..; if they are increasing—that is, if in the limit u n -ι r ∖∣u n be greater than 1—the series is divergent, but if less than 1 the series is convergent. This may be called a first criterion; but there is the doubtful case where the limit =1. A second criterion was given by Cauchy and Raabe; but there is here again a doubtful case when the limit considered =1. A succession 'of criteria was established by De Morgan, which it seems proper to give in the original form; but the equivalent criteria established by Bertrand are somewhat more convenient. In what follows lx is for shortness written to denote the logarithm of x, no matter to what base. De Morgan’s form is as follows :—
1 J ’ cb'je
λ∖ riting υ ll = ψ, n y put Po — ~~ψ χ ~ > if for ae = 00 the limit α 0 of p 0 be greater than 1 the series is convergent, but if less than 1 it is divergent. If the limit α 0 = l, seek for the limit of p 1 , = (p 0 - l)/·r; if this limit <z 1 be greater than 1 the series is convergent, but if less than 1 it is divergent. If the limit σ 1 = l, seek for the limit p 2 , = (p 1 - V)llx ; if this limit a 2 be greater than 1 the series is convergent, but if less than 1 it is divergent. And so on indefinitely.
16. Bertrand’s form is :—If, in the limit for n = ∞. I—tin u n be negative or less than 1 the series is divergent, but if greater than 1 it is convergent. If it = 1, then if l-^—Illn nu n l be negative or less than 1 the series is divergent, but if greater than 1 it is convergent. If it =1, then if I—-j-∣llln be negative or less than 1 the series is divergent, but if greater than 1 it is convergent. And so on indefinitely.
The last-mentioned criteria follow at once from the theorem that the several series having the general terms
—, - .. . a , .... -<-, - 7 „ . z ,, . α ,.. respectively are each n a - n(ln) a nln{Un) a nlnlln(llln) a of them convergent if α be greater than 1, but divergent if a be negative or less than 1 or =1. In the simplest case, series with the general term — α , the theorem may be proved nearly in the manner in which it is shown above (cf. § 9) that the harmonic series is divergent.
17. Two or more absolutely convergent series may be added together,{ u 0 + w 1 + u. 2 . .} + {⅞÷q÷¾∙. =} (w 0 ÷ v o) + (m 1 + v 1 ) . .; that is, the resulting series is absolutely convergent and lias for its sum the sum of the two sums. And similarly two or more absolutely convergent series may be multiplied together {7∕ θ + w 1 + u 2 . . } × {ι> θ + v 1 + v 2 . .} = u o v o ÷ (⅜ v ι + w ι⅞) + (w o t ½ + u 1 v 1 ÷ u 2 v 0) ÷ · ·} that is, the resulting series is absolutely convergent and has for its sum the product of the two sums. But more properly the multiplication gives rise to a doubly infinite series—
«A tt 0 l> 1 , m 0 ¾ ... m 1 v 0, u i v n u l v 2
—which is a kind of series which will be presently considered.
18. But it is in the first instance proper to consider a single series extending backwards and forwards to infinity, or say a back-and-forwards infinite series . ..∙m- 2 + m-i + u 0 + u 1 + u 2 . ..; such a series may be absolutely convergent, and the sum is then independent of the order of the terms, and in fact equal to the sum of the sums of the two series τz θ + M 1 + 7∕ 2 . . and «_ι + τζ_ 2 + ?ζ_3 · · respectively. But, if not absolutely convergent, the expression has no definite meaning until it is explained in what manner the terms are intended to be grouped together; for instance, the expression may be used to denote the foregoing sum of two series, or to denote the series u 0 ÷ (τz 1 + u _ 1) + (τz 2 + u _ 2 ) + .. and the sum may have different values, or there may be no sum, accordingly. Thus, if the series be..-∣-T + 0 + ∣ + ^+ .., in the former meaning the two series 0 +1 + +.. and — ∣ -1 ..
are each divergent, and there is not any sum. But in the latter meaning the series is 0 + 0 + 0 -I-.., which has a sum = 0. So, if the series be taken to denote the limit of (ttθ + U χ + U 2 . . +Mm) + («_1 + 2Z_2 . . . +M-n√), where 777, 7τz' are each of them ultimately infinite, there may be a sum depending on the ratio m: m ’ , which sum consequently acquires a determinate value only when this ratio is given.
19. In a singly infinite series we have a general term u n , where n is an integer positive in the case of an ordinary series, and positive or negative in the case of a back-and-forwards series. Similarly for a doubly infinite series we have a general term τz w , re , where m, n are integers which may be each of them positive, and the form of the series is then m o.o , ⅜4 , ⅝,2 · · ·
,i 1.0 » tt l,l > 11 1J or they may be each of them positive or negative. The latter is the more general supposition, and includes the former, since ’ u m , n may = 0 for m or n each or either of them negative. To put a definite meaning on the notion of a sum, we may regard m, n as the rectangular coordinates of a point in a plane; that is, if m, n are each of them positive we attend only to the positive quadrant of the plane, but otherwise to the whole plane; and we have thus a doubly infinite system or lattice-work of points. We may imagine a boundary depending on a parameter T which for T=∞ is at every point thereof at an infinite distance from the origin; for instance, the boundary may be the circle x 2 + y 2 = 7 τ , or the four sides of a rectangle, ,r=±α7 τ , y=±βT. Suppose the form is given and the value of T, and let the sum ∑‰ ι n be understood to denote the sum of those terms u m , ιn which correspond to points within the boundary, then, if as T increases without limit the sum in question continually approaches a determinate limit (dependent, it may be, on the form of the boundary), for such form of boundary the series is said to be convergent, and the sum of the doubly infinite series is the aforesaid limit of the sum ∑‰ j7l . The condition of convergency may be otherwise stated: it must be possible to take T so large that the sum ∑‰ 1 w for all terms ‰ j n which correspond to points outside the boundary shall be as small as we please.
It is easy to see that, if the terms n be all of them positive, and the series be convergent for any particular form of boundary, it will be convergent for any other form of boundary, and the sum will be the same in each case. Thus, let the boundary be in the first instance the circle ae 2 + y 2 = T ; by taking T sufficiently large the sum ∑‰ ι n for points outside the circle may be made as small as we please. Consider any other form of boundary—for instance, an ellipse of given excentricity,—and let such an ellipse be drawn including within it the circle x 2 + y 2 = T. Then the sum ∑κ m , n for terms ‰, w corresponding to points outside the ellipse will be smaller than the sum for points outside the circle, and the difference of the two sums —that is, the sum for points outside the circle and inside the ellipse—will also be less than that for points outside the circle, and can thus be made as small as we please. Hence finally the sum ∑⅝ ι ,,, whether restricted to terms «Μ, n corresponding to points inside the circle or to terms corresponding to points inside the ellipse, will have the same value, or the sum of the series is independent of the form of the boundary. Such a series, viz., a doubly infinite convergent series of positive terms, is said to be absolutely convergent; and similarly a doubly infinite series of positive and negative terms which is convergent when the terms are all taken as positive is absolutely convergent.
20. We have in the preceding theory the foundation of the theorem (§ 17) as to the product of two absolutely convergent series. The product is in the first instance expressed as a doubly infinite series; and, if we sum this for the boundary x + y — T, this is in effect a summation of the series -w θ v θ + (w 0 v 1 + w 1 w θ ) + . . , which is the product of the two series. It may be further remarked that, starting with the doubly infinite series and summing for the rectangular boundary x = aT, y = βT, we obtain the sum as the product of the sums of the two single series. For series not absolutely convergent the theorem is not true. A striking instance is given by Cauchy: the series 1 - + ζ∕3 - χ 1 1 + · · * s ∞ nv θ r gθnt and has a calcul able sum, but it can be shown without difficulty that its square, viz., the series 1 /3 + (~7⅞ + 2) - · ’ ’
is divergent. v ∖ -
21. The case where the terms of a series are imaginary comes under that where they are real. Suppose the general term is p n + q n i, then the series will have a sum, or will be convergent, if and only if the series having for its general term p n and the series having. for its general term q n be each convergent; then the sum = sum of first series + « into sum of second series. The notion of absolute conver-
β ∕
gence will of course apply to each of the series separately; further, if the series having for its general term the modulus *Jp 2 n + Q 2 ∏ be convergent (that is, absolutely convergent, since the terms are all positive), each of the component series will be absolutely convergent; but the condition is not necessary for the convergence, or the absolute convergence, of the two component series respectively.
22. In the series thus far considered the terms are actual numbers, or are at least regarded as constant; but we may have a series u Q + u 1 + u 2 +.. where the successive terms are functions of a parameter z ; in particular we may have a series α 0 + a 1 z + a 2 z 2 . . arranged in powers of z. It is in view of a complete theory necessary to consider z as having the imaginary value x + iy = r(cos φ + i sin φ). The two component series will then have the general terms a n r n cos nφ and a n r n sin nφ respectively; accordingly each of these series will be absolutely convergent for any value whatever of φ, provided the series with the general term a n r n be absolutely convergent. Moreover, the series, if thus absolutely convergent for any particular value R of r, will be absolutely convergent for any smaller value of r, that is, for any value of x + iy having a modulus not exceeding R; or, representing as usual x + iy by the point whose rectangular coordinates are ae, y, the series will be absolutely convergent for any point whatever inside or on the circumference of the circle having the origin for centre and its radius = R. The origin is of course an arbitrary point. Or, what is the same thing, instead of a series in powers of z, we may consider a series in powers of z - c (where c is a given imaginary value = α + βί). Starting from the series, we may within the aforesaid limit of absolute convergency consider the series as the definition of a function of the variable z ; in particular the series may be absolutely convergent for every finite value of the modulus, and we have then a function defined for every finite value whatever x + iy of the variable. Conversely, starting from a given function of the variable, we may inquire under what conditions it admits of expansion in a series of powers of 2 (or z — c), and seek to determine the expansion of the function in a series of this form. But in all this, however, we are travelling out of the theory of series into the general theory of functions.
. 23. Considering the modulusr as a given quantity and the several powers of r as included in the coefficients, the component series are of the forms a 0 + α 1 cos φ + σ 2 cos 2φ +. . and α 1 sin<∕> + α 2 sin2<∕> + . . respectively. The theory of these trigonometrical or multiple sine and cosine series, and of the development, under proper conditions, of an arbitrary function in series of these forms, constitutes an important and interesting branch of analysis.
24. In the case of a real variable z, we may have a series a o ÷ a ι z + · ·? where the series a 0 + a 1 + a 2 . . is a diver gent series of decreasing positive terms (or as a limiting case where this series is 1 + 1 + 1 . .). For a value of z inferior but indefinitely near to ± 1, say 2=±(1 - ∈), where e is indefinitely small and positive, the series will be convergent and have a determinate sum φ(z), and we may write ≠( ± 1 ) to denote the limit of φ( ± (1 - ∈) ) as e diminishes to zero; but unless the series be convergent for the value z= ± 1 it cannot for this value have a sum, nor consequently a sum = ≠( ± 1). For instance, let the series be z + + j . ., which for values of z between the limits ± 1 (both limits excluded) = - log(l -2). For 2 = + 1 the series is divergent and has no sum; but for 2 = 1 — c as c diminishes to zero we have - log e and (1 - e) + ^(1 - e) 2 ..., each positive and increasing without limit; for 2= - 1 the series l-i + ^- ^..is convergent, and we have at the limit log 2 = l- ι - + ∣- i... As a second example, 2 3 4
consider the series 1 + z + z i . ., which for values of z between the limits ± 1 (both limits excluded) = y For z = +1, the series is divergent and has no sum; but for z=l-f as f diminishes to zero we have and 1 + (1 - ∈)
+ (1 — e) 2 .., each positive and increasing without limit; for z = — 1 the series is divergent and has no sum; the equation - - = l- (l-e) + (l-e) 2 ... is true for any positive value of c however small, but not for the value ∈ = 0.
The following memoirs and works may he consulted :—Cauchy, Cours d'Analyse de l'École Polytechnique— part i., Analyse Algébrique, 8vo, Paris, 1821; Abel, “Untersuchungen über die Reihe 1 + . . ," in Crelle’s Joum. de Math., vol. i.
(1826) pp. 211-239, and Oeuvres (French trans.), vol. i.; De Morgan, Treatise on the Differential and Integral Calculus, 8vo, London, 1842; Id., “On Divergent Series and various Points of Analysis connected with them” (1844), in Camb. Phil. Trans., vol. viii. (1849), and other memoirs in Camb. Phil. Trans. ; Bertrand, “Règles sur la Convergence des Séries,” in Liouv. Joum. de Math., vol. vii. (1842) pp. 35-54; Cayley, “On the Inverse Elliptic Functions,” Camb. Math. Journ., vol. iv. (1845) pp. 257-277, and “Mémoire sur les Fonctions doublement périodiques,” in Liouv. Joum. de Math., vol. x. (1845) pp. 385-420 (as to the boundary for a doubly infinite series); Riemann, “Ueber die Darstellbarkeit einer Function durch eine trigonometrische Reihe,” in Gott. Abh., vol. xiii. (1854), and Werke, Leipsic, 1876, pp. 213-253 (contains an account of preceding researches by Euler, D’Alembert, Fourier, Lejeune-Dirichlet, &c.); Catalan, Traité Elémentaire des Séries, 8vo, Paris, 1860; Boole, Treatise on the Calculus of Finite Differences, 2d ed. by Moulton, 8vo, London, 1872.
