This page has been proofread, but needs to be validated.
224
DIFFERENCES, CALCULUS OF

that this series is ... Σun-1, Σun, Σun+1.... The suffixes are chosen so that we may have ΔΣun = un, whatever n may be; and therefore (§ 4) Σun may be regarded as being the sum of the terms of the series up to and including un-1. Thus if we write Σun-1 = C + un-2, where C is any constant, we shall have

Σun = Σun-1 + ΔΣun-1 = C + un-2 + un-1,
Σun+1 = C + un-2 + un-1 + un,

and so on. This is true whatever C may be, so that the knowledge of ... un-1, un, ... gives us no knowledge of the exact value of Σun; in other words, C is an arbitrary constant, the value of which must be supposed to be the same throughout any operations in which we are concerned with values of Σu corresponding to different suffixes.

There is another symbol E, used in conjunction with u to denote the next term in the series. Thus Eun means un+1, so that Eun = un + Δun.

10. Corresponding to the advancing-difference notation there is a receding-difference notation, in which un+1un is regarded as a difference of un+1, and may be denoted by Δ′un+1, and similarly un+1 − 2un + un-1 may be denoted by Δ′²un+1. This notation is only required for certain special purposes, and the usage is not settled (§ 19 (ii.)).

11. The central-difference notation depends on treating un+1 − 2unun-1 as the second difference of un, and therefore as corresponding to the value xn; but there is no settled system of notation. The following seems to be the most convenient. Since un is a function of xn, and the second difference un+2 − 2un+1 + un is a function of xn+1, the first difference un+1un must be regarded as a function of xn+1/2, i.e. of ½(xn + xn+1). We therefore write un+1un = δun+1/2, and each difference in the table in § 9 will have the same suffix as the value of x in the same horizontal line; or, if the difference is of an odd order, its suffix will be the means of those of the two nearest values of x. This is shown in the table below.

In this notation, instead of using the symbol E, we use a symbol μ to denote the mean of two consecutive values of u, or of two consecutive differences of the same order, the suffixes being assigned on the same principle as in the case of the differences. Thus

μun+1/2 = ½(un + un+1, μδun = ½(δun-1/2 + δun+1/2, &c.

If we take the means of the differences of odd order immediately above and below the horizontal line through any value of x, these means, with the differences of even order in that line, constitute the central differences of the corresponding value of u. Thus the table of central differences is as follows, the values obtained as means being placed in brackets to distinguish them from the actual differences:—

x u 1st Diff. 2nd Diff. 3rd Diff. 4th Diff.
· · · · · ·
· · · · · ·
· · · · · ·
xn-2 un-2 (μδun-2) δ²un-2 (μδ³un-2) δ4un-2 ...
    δun-3/2   δ³un-3/2  
xn-1 un-1 (μδun-1) δ²un-1 (μδ³un-1) δ4un-1 ...
    δun-1/2   δ³un-2  
xn un (μδun)  δ²un (μδ³un)  δ4un  ...
    δun+1/2   δ³un+1/2  
xn+1 un+1 (μδun+1) δ²un+1 (μδ³un+1) δ4un+1 ...
    δun+3/2   δ³un+3/2  
xn+2 un+2 (μδun+2) δ²un+2 (μδ³un+2) δ4un+2 ...
· · · · · ·
· · · · · ·
· · · · · ·

Similarly, by taking the means of consecutive values of u and also of consecutive differences of even order, we should get a series of terms and differences central to the intervals xn-2 to xn-1, xn-1 to xn, ....

The terms of the series of which the values of u are the first differences are denoted by σu, with suffixes on the same principle; the suffixes being chosen so that δσun shall be equal to un. Thus, if

σun-3/2 = C + un-2,

then

σun-1/2 = C + un-2 + un-1, σn+1/2 = C + un-2 + un-1 + un, &c.,

and also

μσun-1 = C + un-2 + ½un-1, μσun = C + un-2 + un-1 + ½un, &c.,

C being an arbitrary constant which must remain the same throughout any series of operations.


Operators and Symbolic Methods.


12. There are two further stages in the use of the symbols Δ, Σ, δ, σ, &c., which are not essential for elementary treatment but lead to powerful methods of deduction.

(i.) Instead of treating Δu as a function of x, so that Δun means (Δu)n, we may regard Δ as denoting an operation performed on u, and take Δun as meaning Δ.un. This applies to the other symbols E, δ, &c., whether taken simply or in combination. Thus ΔEun means that we first replace un by un+1, and then replace this by un+2un+1.

(ii.) The operations Δ, E, δ, and μ, whether performed separately or in combination, or in combination also with numerical multipliers and with the operation of differentiation denoted by D (≡ d/dx), follow the ordinary rules of algebra: e.g. Δ(un + vn) = Δun + Δvn, ΔDun = DΔun, &c. Hence the symbols can be separated from the functions on which the operations are performed, and treated as if they were algebraical quantities. For instance, we have

un = un+1 = un + Δun = 1·un + Δ·un,

so that we may write E = 1 + Δ, or Δ = E − 1. The first of these is nothing more than a statement, in concise form, that if we take two quantities, subtract the first from the second, and add the result to the first, we get the second. This seems almost a truism. But, if we deduce En = (1 + Δ)n, Δn = (E-1)n, and expand by the binomial theorem and then operate on u0, we get the general formulae

which are identical with the formulae in (ii.) and (i.) of § 3.

(iii.) What has been said under (ii.) applies, with certain reservations, to the operations Σ and σ, and to the operation which represents integration. The latter is sometimes denoted by D-1; and, since ΔΣun = un, and δσun = un, we might similarly replace Σ and σ by Δ-1 and δ-1. These symbols can be combined with Δ, E, &c. according to the ordinary laws of algebra, provided that proper account is taken of the arbitrary constants introduced by the operations D-1, Δ-1, δ-1.


Applications to Algebraical Series.


13. Summation of Series.—If ur, denotes the (r + 1)th term of a series, and if vr is a function of r such that Δvr = ur for all integral values of r, then the sum of the terms um, um+1, ... un is vn+1vm. Thus the sum of a number of terms of a series may often be found by inspection, in the same kind of way that an integral is found.

14. Rational Integral Functions.—(i.) If ur is a rational integral function of r of degree p, then Δur, is a rational integral function of r of degree p − 1.

(ii.) A particular case is that of a factorial, i.e. a product of the form (r + a + 1) (r + a + 2) ... (r + b), each factor exceeding the preceding factor by 1. We have

Δ · (r + a + 1) (r + a + 2) ... (r + b) = (ba)·(r + a + 2) ... (r + b),

whence, changing a into a-1,

Σ(r + a + 1) (r + a + 2) ... (r + b) = const. + (r + a)(r + a + 1) ... (r + b)/(ba + 1).

A similar method can be applied to the series whose (r + 1)th term is of the form 1/(r + a + 1) (r + a + 2) ... (r + b).

(iii.) Any rational integral function can be converted into the sum of a number of factorials; and thus the sum of a series of which such a function is the general term can be found. For example, it may be shown in this way that the sum of the pth powers of the first n natural numbers is a rational integral function of n of degree p + 1, the coefficient of np+1 being 1/(p + 1).

15. Difference-equations.—The summation of the series ... + un+2 + un-1 + un is a solution of the difference-equation Δvn = un+1, which may also be written (E − 1)vn = un+1. This is a simple form of difference-equation. There are several forms which have been investigated; a simple form, more general than the above, is the linear equation with constant coefficients

vn+m + a1vn+m-1 + a2vn+m-2 + ... + amvn = N,

where a1, a2, ... am are constants, and N is a given function of n. This may be written

(Em + a1Em-1 + ... + am)vn = N

or

(E − p1)(E − p2) ... (E − pm)vn = N.

The solution, if p1, p2, ... pm are all different, is vn = C1p1n + C2p2n + ... + Cmpmn + Vn, where C1, C2 ... are constants, and vn = Vn is any one solution of the equation. The method of finding a value for Vn depends on the form of N. Certain modifications are required when two or more of the ps are equal.

It should be observed, in all cases of this kind, that, in describing C1, C2 as “constants,” it is meant that the value of any one, as C1, is the same for all values of n occurring in the series. A “constant” may, however, be a periodic function of n.


Applications to Continuous Functions.


16. The cases of greatest practical importance are those in which u is a continuous function of x. The terms u1, u2 ... of the series then represent the successive values of u corresponding to x = x1, x2.... The important applications of the theory in these cases are to (i.) relations between differences and differential coefficients, (ii.)