SERIES (a Latin word from serere, to join), a succession or sequence. In mathematics, the term is applied to a succession of arithmetical or algebraic quantities (see below); in geology it is synonymous with formation, and denotes a stage in the classification of strata, being superior to group (and consequently to bed, and zone or horizon) and inferior to system; in chemistry, the term is used particularly in the form homologous series, given to hydrocarbons of similar constitution and their derivatives which differ in empirical composition by a multiple of CH 2 , and in the form isologous series, applied to hydrocarbons and their derivatives which differ in empirical composition by a multiple of H 2 ; it is also used in the form isomorphous series to denote elements related isomorphously. The word is also employed in zoological and botanical classification.
In mathematics a set of quantities, real or complex, arranged in order so that each quantity is definitely and uniquely determined by its position, is said to form a series. Usually a series proceeds in one direction and the successive terms are denoted by MI, MJ, . . . , . . . ; we may, however, have a series proceeding in both directions, a back-and-forwards series, in which case the terms are denoted by . . . u_m, . . . M_ 2 , _i, MO, i, 2, ...,... ; or its general term may depend on two integers positive or negative, and its general term may be denoted by u m , ; such a series is called a double series, and so on. The number of terms may be limited or unlimited, and we have two theories, (i) of finite series and (2) of infinite series. The first concerns itself mainly with the summation of a finite number of terms of the series; the notions of convergence and divergence present themselves in the theory of infinite series.
i. When we are given a series, it is supposed that we are given the law by which the general term is formed. The first few terms of a series afford no clue to the general term; the series of which the first four terms are 1,2,4, 8, may be the series of which the general term is 2"; it may equally well be the series of which the general term is i(n 3 +5n-(-6) ; in fact we can construct an infinite number of series of which the leading terms shall be any assigned quantities. The only case in which the series may be completely determined from its leading terms is that of a " recurring series." A recurring series is a series in which the consecutive terms, after the earlier ones, are connected by a linear relation ; thus if we have a relation of the form a p u r + a p -,Ur + i +flp- 2 r+ j-|- . . . +a,u r + f _ ) +a u r+f =o, the series is said to be a recurring series with a scale of relation though taken from a genuine specimen ; but little that can be called Ralline in character is observable therein. The same is to be said of an egg laid in captivity at Paris; but a specimen in Mr Walter's possession undeniably shows it (cf. Proc. Zool. Society, 1881, p. 2).
1 A supposed fossil Cariama from the caves of Brazil, mentioned by Bonaparte (C.R. xliii. p. 779) and others, has since been shown by Reinhardt (Ibis, 1882, pp. 321-332) to rest upon the misinterpretation of certain bones, which the latter considers to have been those of a Rhea.
4 Near Tucuman and Catamarca (Burmeister, Reise durch die La Plata Staaten, ii. p. 508).
a,, + a t x + a*x* + . . . + <V- It is clear that we can regard the series o4-tti*+tt2* 2 +. . .as the expansion in powers of * of an expression of the form (ba+bix+ . . . +6 p _i*^ 1 )/(oo+0i*+ . . . +apX"), and by splitting this expression into partial fractions we can obtain the general term of the series. If we know that a series is a recurring series and know the number of terms in its scale of relation, we can determine this scale if we are given a sufficient number of terms of the series and obtain its general term. It follows that the general term of a recurring series is of the form Z<t>(n)a", where 4>(n) is a rational integral algebraic function of n, and o is independent of n. The series whose general term is of the form Ka" +<, where <t>(n) is a rational integral algebraic function of degree r, is a recurring series whose scale of relation is (l ax) (l *) rfl , but the general term of this series may be obtained by another method. Suppose we have a series M O , i, Ms, . . . From this we can form a series v a , vi, v 2 ,... where !> n =Mn+i w>; from fo, PI, >,... we similarly form another series and so on; we write n =AMn, and we suppose E to be an operation such that En=ttfH-i (the notation is that of the calculus of finite differences) ; the operations E and I +A are equivalent and hence the operations E" and (i +A)" are equivalent, so that we obtain w n = Wo4-Ao + ' t 2 A 2 + . . . This is true whatever the form of n. When Mn is of the form Ka"+<(n), where 4>(n) is of degree r, A 1 " 1 " 1 ^, A r+i o, . . . form a geometrical progression, of which the common difference is a i, or vanish if the term Ka" is absent. In either case we readily obtain the expression for w n .
2. The general problem of finite series is to find the sum of terms of a series of which the law of formation is given. By finding the sum to n terms is meant finding some simple function of n, or a sum of a finite number of simple functions, the number being independent of n, which shall be equal to this sum. Such an expression cannot always be found even in the case of the simplest series. The sum of n terms of the arithmetic progression a, a+b, 0+26, ... is na-\-\n(n i)b; the sum of n terms of the geometric progression a, ab, a& 2 , ...is a(i 6")/(l 6); yet we can find no simple expression to represent the sum of n terms of the harmonic progression 3. The only type of series that can be summed to n terms with complete generality is a recurring series. If we let Sn = o+Mi*+ . . . +n-iX"~ l , where KO, . . . is a recurring series with a given scale of relation, for simplicity take it to be i+px+qx*, we shall have Sn(i +px+qx*) = tt +(i+M>)*+(M'-i+2Mn_2)* n +g_i*" +1 . If * had a value that made l+px+qx 2 vanish, this method would fail, but we could find the sum in this case by finding the general term of the series. For particular cases of recurring series we may proceed somewhat differently. If the nth term is u n x" we have from the equivalence of the operations E and I +A, (i-x)' in general, and for the case of x = unity we have .n.n l. , n.n i.n 2 i , T" A 2 tti + . . ., which will give the sum of the series very readily when is a polynomial in n or a polynomial + a term of the form Ka".
4. Other types of series, whe.i they can be summed to n terms at all, are summed by some special artifice. Summing the series to 3 or 4 terms may suggest the form of the sum to n terms which can then be established by induction. Or it may be possible to express ttnin the form Wa+i w n , in which case the sum to n terms is w+\ w\. Thus, if Un = a(a+b)(a+2b) . . . (a+n-ib)/c(c+b)(c+2b) . . . (c+n ib), the relation (c+nb)u^.i = (a+nb)Un can be thrown into the form (c+nb)u^+i (c+n ib)u n = (a c+b)ti*, whence the sum can be found. Again, if n = tan nx tan ( + i)y, the summation can be effected by writing Un in the form cot x (tan n + ix tan nx) i . Or a series may be recognized as a coefficient in a product. Thus, if f(x) = u +u 1 x+uiX 2 +. . ., o+i+. . . +w n is the coefficient of x" in f(x)/(i x) ; in this way the sum of the first n coefficients in the expansion of (i x)-* may be found. The sum of one series may be deduced from that of another by differentiation or integration. For further information the reader may consult G. Chrystal's Algebra (vol. ii.).
5. The sum of an infinite series may be deduced from the sum to n terms, when this is known, by increasing n indefinitely and finding the limit, if any, to which it tends, but a series may often be summed to infinity when it cannot be summed to n terms; the sum of the infinite series ^+55+75+. . .is -^-, the sum to n terms cannot be found.
For methods and transformations by means of which the sum to n terms of a series may be found approximately when it cannot be found exactly, the reader may consult G. Boole's Treatise on the Calculus of Finite Differences.
6. Let MI, s, 8 , . . . , be a series of numbers real or complex, and let S n denote !+%+. . . +. We thus form a sequence of numbers Si.Sj, . . . S n . This sequence may tend to a definite finite limit S as n increases indefinitely. In this case the series WI+MJ+ . . . + is said to be convergent, and to converge to a sum S. If by taking n sufficiently large |S n | can be made to exceed any assignable quantity, however large, the series is said to be divergent. If the sequence Si, Sj, . . . tends to finite but different limits according to the form of n the series is said to oscillate, and is also classed under the head of divergent series. The sum of n terms of the geometric series i +*+**+. . .is (l x")/(i x). If * is less than unity S n clearly tends to the limit I/(i x), and the series is convergent and its sum is i/(i x). If x is greater than unity S n clearly can be made greater than any assignable quantity by taking n large enough, and the series is divergent. The series 1 1+1 1 + ..., where S n is unity or zero, according as n is odd or even, is an example of an oscillating series. The condition of convergency may also be presented under the following form. Let P R ? denote S^. p S n : let e be any arbitrarily assigned positive quantity as small as we please; if we can find a number m such that for m=or>, LR n |< for all values i, 2,... of p, then the series converges. The least value of the number m corresponding to a given value of , if it can be found, may be regarded as a measure of rapidity of the convergency of the series ; it may happen that when involves a variable x, m increases indefinitely as x approaches some value; in this case the convergence of the series is said to be infinitely slow for this value of *.
7. An infinite series may contain both positive and negative terms. The terms may be positive and negative alternately or they may occur in groups which without altering the order of the terms of the series may each be collected jnto a single term; thus all series may be regarded as belonging to one of two types, i+ W2+w s + . . .in which the terms are all positive, or u\ Wj+Uj . . .in which the terms are alternately positive and negative.
8. It is clear that if a series is convergent must tend to the limit zero as n is increased indefinitely. This condition though necessary is by no means sufficient. If all the terms of a convergent series are positive a series obtained by writing its terms in any other order is convergent and converges to the same sum. For if S n denotes the sum of n terms of the first series and 2 n denotes the sum of n terms of the new series, then, when n is any large number, we can choose numbers p and q such that S,>2 n >S p ; so that 2 tends to the common limit of S p and S,, which is the sum of the original series. If ui, u 2 , u>, . . . are all positive, and if after some fixed term, say the p" 1 , continually decreases and tends to the limit zero, the series u\ u 2 +us < + ... is convergent. For ISp+z,, SJ lies between \u p j.i u p+ ?\ and |M P +I Wp+ 2 j so that, when n is increased indefinitely, |S r+ n| remains finite; also | Sj+jn+i Sp+snl tends to zero, so that the series converges. If u, tends to a limit a, distinct from zero, then the series i j+i>3 . . ., where == o, converges and the series HI u,+u,. . . oscillates. As examples we may take the series i $-\-\ 1+ ... and 2 f+f 1 + ...; the first of these converges, the second oscillates.
9. The series Ui+u 3 +u t + . . ., %+<++. . . may each of them diverge, though the series MI MJ+WS .. .converges. A series such that the series formed by taking all its terms positively is convergent is said to be absolutely convergent; when this is not the case the series is said to be semi-convergent or conditionally convergent. A series of complex numbers in which u n = p n +iq n , where /> n and g n are real (i being V i), is said to be convergent when the series pi+pi+p3+ ., $1+52+33+... are separately convergent, and if they converge to P and Q respectively the sum of the series is P+iQ. Such a series is said to be absolutely convergent when the series of moduli of , i.e., 2( n 2 +<jv 2 )i, is convergent; this is sufficient but not necessary for the separate convergence of the p and q series.
There is an important distinction between absolutely convergent and conditionally convergent series. In an absolutely convergent series the sum is the same whatever the order of the terms; this is not the case with a conditionally convergent series. The two series i-i+i-l+..., and i+i-l + fc+*-i+..., in which the terms are the same but in different orders, are convergent but not absolutely convergent. If we denote the sum of the first by S and the sum of the second by 2 it can be shown that 2 = IS. G. F. B. Riemann and P. G. L. Dirichlet have shown that the terms of a semiconvergent series may be so arranged as to make the series converge to any assigned value or even to diverge.
10. Tests for convergency of series of positive terms are obtained by comparing the series with some series whose convergency or divergency is readily established. If the series of positive terms i+2+3+. . ., t>i+t> 2 +t>3+. . . are such that u n jv n is always finite, then they are convergent or divergent together; if tH-i/ttn<n+i/z>n and Zv* is convergent, then Sn is convergent; if Wn+i/ttn>n+i/Pn and St>n is divergent, then 2 n is divergent. By comparison with the ordinary geometric progression we obtain the following tests. If Mu. approaches a limit / as n is indefinitely increased, 2u n will converge if I is less than unity and will diverge if I is greater than unity (Cauchy's test); if u^i/u, approaches a limit / as n is indefinitely increased, Zu, will converge if /is less than unity and diverge if / is greater than unity (D Alembert s test). Nothing is settled when the limit / is unity, except in the case when I remains greater than unity as it approaches unity. The series then diverges. It may be remarked that if u*+i/u n approaches a limit and *V approaches a limit, the two limits are the same. The choice of the more useful test to apply to a particular series depends on its form. . .
In the case in which M^I/M approaches unity remaining constantly fess than unity, J.L. Raabeand J. M. C. Duhamel have given the following further criterion. Write /+i = l+a,,, where o is positive and approaches zero as n is indefinitely increased. If na n approaches a limit /, the series converges for / > i and diverges for /< i. For / = i nothing is settled except for the case where I remains constantly less than unity as it approaches it ; in this case the series If / is positive and decreases as n increases, the series 2f is convergent or divergent with the series Za"/(a") where a is any number > 2 (Cauchy s condensation test). By means of this theorem we can show that the series whose general terms are nlnl 2 n(l 3 n)'" where 1 denotes log n, 1'n denotes log-log n, \'n denotes log log log n, and so on, are convergent if o> i and divergent if o =or< i.
By comparison with these series, a sequence of criteria, known as the logarithm criteria, has been established by De Morgan and J. L. Bertrand. A. De Morgan's form is as follows: writing u n =il<t>(n), where K* denotes log log log. . .*. If the limit, when x is infinite, of the first of the functions pa, pi, pi, .... whose limit is not unity, is greater than unity the series is convergent, if less than unity it is divergent.
In Bertrand's form we take the series of functions 1 /In, l-r-/l ! , Irr-rz/ 13 ". nu n ni/nln If the limit, when n is infinite, of the first of these functions, whose limit is not unity, is greater than unity the series is convergent, if less than unity it is divergent. Other forms of these criteria may be found in Chrystal's Algebra, vol. ii.
Though sufficient to test such series as occur in ordinary mathematics, it is possible to construct series for which they entirely fail. It follows that in a convergent series not only must we have Lt = o but also Lt nu, = o, Lt nlnu* = o, etc. Abel has, however, shown that no function 0(n) can exist such that the series ZM is convergent or divergent as Lt <t>(n)u n is or is not zero.
II. Two or more absolutely convergent series may be added together, thus (i+j+. . .) + (ri+j+. . .) = (tti+i) + (ttj+t>i) + . . . , that is, the resulting series is absolutely convergent and has for its sum the sum of the sums of the two series. Similarly two or more absolutely convergent scries may be multiplied together thus and the resulting series is absolutely convergent and its sum is the product of the sums of the two series. This was shown by Cauchy, who also showed that the series SK>, where U',=u>v,+tttv^.i + . . . +iWi, U not necessarily convergent when both series are semiconvergent. A striking instance is furnished by the series i -rr + / - i * i which is convergent, while its square jr+TJ . . . may be shown to be divergent. \F. K. L. Mertens has shown that a sufficient condition is that one of the two series should be absolutely convergent, and Abel has shown that if 2ai n converges at all, it converges to the product of Z and Zt> n . But more properly the multiplication of two series gives rise to a double series of which the general term is ,.
12. Before considering a double series we may consider the case of a series extending backwards and forwards to infinity Such a series may be absolutely convergent and the sum is then independent of the order of the terms and is equal to the sums of the two series KO+KI+MS+. . . and -n+w-t+. . ., 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 tto+(tti+-i) + (ui+u-t) + and the sum may have different values, or there may be no sum, accordingly. Thus, if the series be ...} } + o + } + J+..., with the former meaning the two series O+J+J+ . . . and } J . . . are each divergent, and there is no sum; but with the latter meaning the series is 0+0+0+ . . . which has a sum o. So, if the series be taken to denote the limit of (o+i + . . . +n) + . . . +-m), where n and m are each of them ultimately infinite, there may be a sum depending on the ratio n : m, which sum acquires a determinate value only when this ratio is given. In the case of the series given above, if this ratio is k, the sum of the series is log k.
13. 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 ,, where m, n are integers which may be each of them positive, and the form of the series is then <<o,o, "o,: . "",:, t 1,0, !,!, !,!,.
or they may be each of them positive or negative. _The latter is the more general supposition, and includes the former, since ,, may =o, for m or n each or either of them negative. To attach a definite meaning to the notion of a sum, we may regard m, n as the rectangular coordinates of a point in a plane; if m and n are each positive we attend only to the positive quadrant of the plane, but otherwise to the whole plane. We may imagine a boundary depending on a parameter T, which for T infinite is at every point thereof at an infinite distance from the boundary ; for instance, the boundary may be the circle a? +y 2 =T, or the four sides of a rectangle, x= oT, y= =*=0T. Suppose the form is given and the value of T, and let the sum S,n be understood to denote the sum of the terms !<,, within the boundary, then, if as T increases without limit, S, 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 limit of Sm, n . The condition of convergency maybe otherwise stated ; it must be possible to take T so large that the sum R m , for all terms ,, which correspond to points outside the boundary shall be as small as we please.
14. It is easy to see that, if each of the terms Um, n is positive and the series is 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. Suppose that in the first case the boundary is the curye/iOe, y) =T. Draw any other boundary /(*, r)=T. Wholly within this we can draw a curve fi(x, y)=Ti of the first family, and wholly outside it we can draw a second curve of the first family, f\(x, y) =Tj. The sum of all the points within f,(x, y) =T' lies between the sum of all the points within f\(x, y) =Ti and the sum of all the points within f t (x, y)=T 2 . It therefore tends to the common limit to which these two last sums tend. The sum is therefore independent of the form of the boundary. Such a series is said to be absolutely convergent, and similarly a doubly infinite series of positive and negative terms is absolutely convergent when the series formed by taking all its terms positively is convergent.
15. It is readily seen that when the series is not absolutely convergent the sum will depend on the form of the boundary. Consider the case in which m and n are always positive, and the boundary is the rectangle formed by x = m,y = n, and the axes. Let the sum within this rectangle be S, m . This may have a limit when we first make n infinite and then m ; it may have a limit when we first make m infinite and then n, but the limits are not necessarily the same; or there may be no limit in either of these cases but a limit depending on the ratio of m to n.that is to say, on the shape of the rectangle. _ When the product of two series is arranged as a doubly infinite series, summing for the rectangular boundary x = aT, y =/JT we obtain the product of the sums of the series. When we arrange the double series in the form UiVi + (uM+u,v,) + . . . we are summing over the triangle bounded by the axes and the straight line *+y = T, and the results are not necessarily the same if the terms are not all positive. For full particulars concerning multiple series the reader may consult E. Goursat, Gours d 'analyse, vol. i. ; G. Chrystal, Algebra, vol. ii.; or T. J. I'A. Bromwich, The Theory of Infinite Series.
16. In the series so far considered the terms are actual numbers, or, at least, if the terms are functions of a variable, we have considered the convergency only when that variable has an assigned value. In the case, however, of a series ui(z)+uz(z) + . . ., where i(z), ttj(z),. . . are single-valued continuous functions of the general complex variable z, if the series converges for any value of z, in general it converges for all values of z, whose representative points lie within a certain area called the " domain of convergence "and within this area defines a function which we may call S(z). It might be supposed that S(z) was necessarily a continuous function of z, but this is not the case. G. G. Stokes (1847) and P. L. Seidel (1848) independently discovered that in the neighbourhood of a point of discontinuity the convergence is infinitely slow and thence arises the notion of uniform and non-uniform convergence.
17. If for any value of z the series MI(Z)+MJ(Z) + . . .converges it is possible to find an integer n such that |S(z) S n (z)|<, |S(z)
S,H.I(Z) | < where c is any arbitrarily assigned positive quantity, however small. For a given t the least value of n will vary throughout any region from point to point of that region. It may, however, be possible to find an integer v which is a superior limit to all _the values of n in that region, and we thus have, throughout this region, | S(z) -Si-(z) | < ,J S (z) -Si. + i(z) |< t. . .where z is any point in the region and v is a finite integer depending only on t and not on *.
The series is then said to converge uniformly throughout this region.
If, as z approaches the value z\, n increases as |z-zi| diminishes and becomes indefinitely great as |z-Zj.| becomes indefinitely small the series is said to be non-uniformly convergent at the point z\.
A function represented by a series is continuous throughout any region in which the series is uniformly convergent; there cannot be discontinuity with uniform convergence; on the other hand there may be continuity and non-uniform convergence. If i(z) + 2 (z) +... is uniformly convergent we shall havefS(z)dz=fui(z)dz+fu i (z')dz+... along any path in the region of uniform convergence; and we shall also have j~S(z) = J-MI(Z) + j- 2 (z) + ... if the series jjWi(z) + j^ 2 ( z )
+ ... is uniformly convergent.
Uniform convergence is essentially different from absolute convergence; neither implies the other (see FUNCTION).
18. A series of the form a +aiZ+a 2 z 2 + . . ., in which a , d, 02, ... are independent of z, is called a power series.
In the case of a power series there is a quantity R such that the series converges if | z \ < R, and diverges if | z | > R. A circle described with the origin as centre and radius R is called the circle of convergence. A power series may or may not converge on the circle of convergence. The circle of convergence may be of infinite radius as in the case of the series for sin z, viz. z -[+ -i ... In this case the series converges over the whole of the z plane. Or its radius may be zero as in the case of the series 1+1! z+2 ! z* + . . ., which converges nowhere except at the origin. The radius R may be found usually, but not always, from the consideration that a series converges absolutely if |Mn+i/n|<i, an d diverges if |n+i/n| > i.
A power series converges absolutely and uniformly at every point within its circle of convergence; it may be differentiated or integrated term by term ; the function represented by a power series is continuous within its circle of convergence and, if the series is convergent on the circle of convergence, the continuity extends on to the circle of convergence. Two power series cannot be equal throughout any region in which both are convergent without being identical.
19. Series of the type Oo+ai cos z+az cos 2z+ . . .
+61 sin z+&2 sin 2Z+ . . ., where the coefficients ay, 01, 02, ... bi, b,, . . . are independent of z, are called Fourier's series. They are of the greatest interest and importance both from the point of view of analysis and also because of their applications to physical problems. For the consideration of these series and the expansion of arbitrary functions in series of this type see FUNCTION and FOURIER'S SERIES. For the general problem of the development of functions in infinite series of various types see FUNCTION.
20. The modern theory of convergence dates from the publication in 1821 of Cauchy's Analyse algebrique. The great mathematicians of the 18th century used infinite series freely with very little regard to their convergence or divergence and with, occasionally, very extraordinary results. Series which are ultimately divergent may be used to calculate values of functions in special cases and to represent what are called " asymptotic expansions " of functions (see FUNCTION).
21. The product of an infinite number of factors formed in succession according to any given law is called an infinite product. The infinite product m=(i+Mi)(i+z) . . . (i+n) is said to be convergent when Ltn-ojUn tends to a definite finite limit other than zero. If Lt n. is zero or infinite or tending to different finite values according to the form of n the product is said to be divergent.
The condition for convergency may also be stated in the following form, (i) The value of n n remains finite and different from zero however great n may become, and (2) Lt n and Lt n^. r must be equal, when n is increased indefinitely, and r is any positive integer. Since in particular Lt n n = Lt m+i, we must have Lt u^i = o. Hence after some fixed term ui, u%, . . or their moduli in the case of complex quantities, must diminish continually down to zero. Since we may remove any finite number of terms in which \u n \ > I without affecting the convergence of the whole product, we may regard as the general type of a convergent product (i +i)(i + 2 ) . . . (i +u n ) . . . where \Ui\, |MS|, . . . \u n \, ... are all less than unity and decrease continually to zero.
A convergent infinite product is said to' be absolutely convergent where the order of its factors is immaterial. Where this is not the case it is said to be semi-convergent.
22. The necessary and sufficient condition that the product (i +i)(i +1*2) ... should converge absolutely is that the series |i| + |2|+ . . . should be convergent. If MI, 2 , . . . are all of the same sign, then, if the series UI+UK+ ... is divergent, the product is infinite if i,M2, . . are all positive and zero if they are all negative.
If i 4-ttj-r- ... is a semi-convergent series the product converges, but not absolutely, or diverges to the value zero, according as the series u?+u+ ... is convergent or divergent. These results may be deduced by considering, instead of n n , log Iln which is the series log (i+i)+log (i+2)+ . . . (see G. Chrystal's Algebra, vol. ii., or E. T. Whittaker's Modern Analysis, chap, ii.); they may also be proved by means of elementary theorems on inequalities (see E. W. Hobson's Plane Trigonometry, chap. xvii.).
23. If i, MS, ... are functions of a variable 2, a convergent infinite product (i +ui) (i +Ui) . . . defines a function of z. For such products there is a theory of uniform convergence analogous to that of infinite series. Is is not in general possible to represent a function as an infinite product; the question has been dealt with by Weierstrass (see his Abhandluneen aus der Functionlehre or A. R. Forsyth's Theory of Functions). One of the simplest cases of a function expressed as an infinite product is that of sin z/z, which is the value of the absolutely convergent infinite product.
24. K. T. W. Weierstrass has shown that a semi-convergent or divergent infinite product may be made absolutely convergent by the association with each factor of a suitable exponential factor called sometimes a " convergency factor." The product (i+~) (i-| )
1 __ ( i + ) ... is divergent; the product (i-| J e " /i-)- 1 e 2 * . . .
is absolutely convergent. The product for sin z/z is semi-convergent when written in the form but absolutely convergent when written in the form ( Z '-; From this last form it can be shown that if ,- H) (.-) ...(-) (.Hi) (Gr.,4) ... (Gr.,+).
then the limit of <(z) as m and n are both made infinite in any given ratio is (m\ 5 sin z I - I IT - .
\nl z Another example of an absolutely convergent infinite product, whose convergency depends on the presence of an exponential factor, is the product zll (i jjj e " " where Q denotes 2mun + 2n&>2, ai and un being any two quantities having a complex ratio, and the product is taken over all positive and negative integer and zero values of m and n, except simultaneous zeros. This product is the expression in factors of Weierstrass's elliptic function <r(z).
AUTHORITIES. G. Chrystal, Algebra, vol. ii. (1900); E. Goursat, Cours analyse (translated by E. R. Hedrick), vol. i. (1902); J. Harkness and F. Mprley, A Treatise on the Theory of Functions (1893) and Introduction to the Theory of Analytic Functions (1899); E. W. Hobson, Plane Trigonometry (1891), and Theory of Functions of a Real Variable: H. S. Carslaw, Fourier's Series; E. T. Whittaker, Modern Analysis (1902); J. Tannery, Introduction a la theorie des functions d'une variable; C. Jordan, Cours d' analyse de I'Ecole Polytechnique (2nd ed., 1896); E. Cesaro, Corso di analisi algebraica (1894); O- Stolz, Allgemeine Arithmetik (1886); O. Biermann, Elemente der hdheren Mathematik (1895) ; W. F. Osgood, Introduction to Infinite Series ; T. J. I'A. Bromwich, Theory of Infinite Series (1908). Also the article by A. Pringsheim, " Irrationalzahlen und Konvergenz unendlichen Prozesse " in the Encyclopadie^ der mathcmatischen Wissenschojten i, a. 3 (Leipzig). For the history of the subject see R.Reiff, Geschichte der unendlichen Reihen; G. H. Hardy, A Course of Pure Mathematics. (A. E. J.)
Note - this article incorporates content from Encyclopaedia Britannica, Eleventh Edition, (1910-1911)