+ &c A simpler proof of the above theorem (which may be more shortly written 0 (t) = 0 (D) €0.4) is obtained by regarding it as a particular case of Herschel's theorem, viz. ť $ (€)= (1) + (E) 0.t+$(E) 09. - (19), 1.2 or, symbolically written, $ (€) = $ (E) €0.4* The truth of the last theorem is at once rendered evident by assuming A€" to be any term in the expansion of $ (€) in powers of £. Then since Anent = A,E" 29.7 the identity of the two series is evident. But $ (t) = $ (log e) = $ (log E) €0.t (by Herschel's theorem) = 0 (D) €0.t, which is the secondary form of Maclaurin's theorem. As a particular illustration suppose 0 (t) = (€ - 1)", then by means of either of the above theorems we easily deduce t 1.2.3 But A"om is equal to 0 if m is less than n and to 1.2.3...n if m is equal to n, (Art. 1). Hence Δ"On+1 A"O*+1 (6-1)"=t" + 1.2... (n+1) 1.2...(n+2) ..t"+2+ &C...... (20). d in+1 U n+2 + Hence therefore since A"u=(€4* — 1)"u we have dhu A"On+1 + A "O"+2 dnt Anu= dich + 1.2...(n+1) *dx"+i+1.2...(n+2) dæ**+&c.... (21), the theorem sought. The reasoning employed in the above investigation proceeds upon the assumption that n is a positive integer. The * Since both A and D performed on a constant produce as result zero, it is obvious that Ø (D) C=° (0) C=" (A) C, and ¢ (E) C = (1) C. It is of course assumed throughout that the coefficients in 0 are constants. very important case in which n=-1 will be considered in another chapter of this work. onit Ex.'5. To express in terms of the successive differences dic" of u. d Since edt=1+4, we have d - log (1 + A), dx therefore () = {log (1+2) (1+0)}... (22), and the right-hand member must now be developed in ascending powers of A. In the particular case of n=1, we have du da = Au Au Au Au + &c. ...... (23). 2 3 4 + 11. It would be easy, but it is needless, to multiply these general theorems, some of those above given being valuable rather as an illustration of principles than for their intrinsic importance. We shall, however, subjoin two general theorems, of which (21) and (23) are particular cases, as they serve to shew how striking is the analogy between the parts played by factorials in the Calculus of Differences and powers in the Differential Calculus. By Differential Calculus we have ť = Uz tt. + + &c. dx 1.2'da duz , $ (A) 09 d'ur + &c...(24), dx2 of which (21) is a particular case. dux du, Uxxt + By (2) we have 1.2 Perform d on each side, and subsequently put t= 0; 0. d0 +&c....(25), 1.2 of which (23) is a particular case. 12. We have seen in Art. 9 that the symbols A, E and d or D have, with certain restrictions, the same laws of comdac bination as constants. It is easy to see that, in general, these laws will hold good when they combine with other symbols of operation provided that these latter also obey the above-mentioned laws. By these means the Calculus of Finite Differences may be made to render considerable assistance to the Infinitesimal Calculus, especially in the evaluation of Definite Integrals. We subjoin two examples of this; further applications of this method may be seen in a Mémoire by Cauchy (Journal Polytechnique, Vol. XVII.). Ex. 6. To shew that B(m +1, n) = (-1)" 4" 5, where m is a positive integer. 1 We have n ! 1 ! .. A" =(-1)" B (m+1, n). 22+1 2 2 2K 20+1 2K Ex. 7. Evaluate u= A" dz, m being a positive z" + n 226 (26). 2 + na +m? z* + n°) Now the first member of the right-hand side of (26) is a rational integral function of n of an order lower than m. It therefore vanishes when the operation A" is performed on it. We have therefore 2 1 2 sin T Дna +1) (Tod. Int. Cal. Art. 255, 3rd Ed.) 1 =- (-1)". Anna. sin 2 This example illustrates strikingly the nature and limits of the commutability of order of the operations and A. Had we changed the order (as in (27)) without previously preparing the quantity under the sign of integration, we should have had .si dy, which is infinite if a be positive. The explanation of this singularity is as follows: If we write for Am its equivalent (E – 1)" and expand the latter, we see that Aạo (x, n) dx expresses the integral a Anna. у? y+1 of a quantity of m+1 terms of the form 4,$(«, n +p), while AMS *(4, n) dx expresses the sum of m +1 separate integrals, each having under the integral sign one of the terms of the above quantity. Where each term separately integrated gives a finite result, it is of course indifferent which form is used, but where, as in the case before us, two or more would give infinity as result the second form cannot be used. 13. Ex. 8. To shew that $(E) 0" = ER(E) 01-. (28). Let A,E' 0” and ErA,E-01-1 be corresponding terms of the two expansions in (28). Then, since each of them equals 4,5", the identity of the two series is manifest. Since E=1+A the theorem may also be written • (A) 0" = E$' (A)0*-1, and under this form it affords the simplest mode of calculating the successive values of ATMO". Putting $ (A) = A", we have AMO" = E.mam-r0n-1 = m (Am-701-1+A"0"-), and the differences of on can be at once calculated from those of 0"-1. Other theorems about the properties of the remarkable set of numbers of the form ATMO" will be found in the accompanying exercises. Those desirous of further information on the subject may consult the papers of Mr J. Blissard and M. Worontzof in the Quarterly Journal of Mathematics, Vols. VIII. and ix. EXERCISES. í 1. Find the first differences of the following functions ; |