1.2. Gimt (n+1) n(n-1) =,+(n+1) Au, + (n + 1) n 1+un+ A%ux + &c. 1.2 3 the form of which shews that the theorem remains true for the next greater value of n, therefore for the value of n still succeeding, and so on ad infinitum. But it is true for n=1, and therefore for all positive integer values of n whatever. 8. We proceed to demonstrate the same theorem by the method of generating functions. Definition. If $(t) is capable of being developed in a series of powers of t, the general term of the expansion being represented by Unt", then ¢ (t) is said to be the generating function of ux And this relation is expressed in the form $ (t) = Guz. Thus we have 1 1.2...? is the coefficient of t in the development of e. 1.2...3 In like manner 1 G t 1.2... (2C+1)' 1 since is the coefficient of t in the development 1.2... (oc + 1) of the first member. And generally, if Gur= $ (t), then φ (1) φα) ) GUz+= (2). t t Hence therefore Gugin= But the first member is obviously equal to GAUx, therefore Gau;= (-1)(0 ) (3). And generally GA°u= (1 - 1) ** (). (4). To apply these theorems to the problem under consideration we have, supposing still Gur= $ (t), 1) = Gu; + n Gaur + n (n GA’u, + &c. 2 n (n − 1) uz + nAu, + Apuz+ & 2 with (1). Hence n (n-1) Uzun = uz+nAu + A’uz+ &c. 2 which agrees Although on account of the extensive use which has been made of the method of generating functions, especially by the older analysts, we have thought it right to illustrate its general principles, it is proper to notice that there exists an objection in point of scientific order to the employment of the method for the demonstration of the direct theorems of the Calculus of Finite Differences; viz. that G is, from its very nature, a symbol of inversion (Diff. Equations, p. 375, 1st Ed.). In applying it, we do not perform a direct and definite operation, but seek the answer to a question, viz. What is that function which, on performing the direct operation of development, produces terms possessing coefficients of a certain form ? and this is a question which admits of an infinite variety of answers according to the extent of the development and the kind of indices supposed admissible. Hence the distributive property of the symbol G, as virtually employed Eu, = U2+1 in the above example, supposes limitations which are not implied in the mere definition of the symbol. It must be supposed to have reference to the same system of indices in the one member as in the other; and though, such conventions being supplied, it becomes a strict method of proof, its indirect character still remains* 9. We proceed to the last of the methods referred to in Art. 6,-viz. that which is founded upon the study of the ultimate laws of the operations involved. In addition to the symbol A, we shall introduce a symbol E to denote the operation of giving to x in a proposed subject function the increment unity ;-its definition being (1). d Laws and Relations of the symbols E, A and daco 1st. The symbol A is distributive in its operation. Thus A (uz + V7+ &c.) = Aux + Avr + &c........ .(2) For A (ur + vr + &c.) = Uz+1 + Vx+2.16 – (Uz + V.x...) = Ux+1 Uz + Vx+1 - Vx... = Δυ, + Δυ,... In like manner we have A (uz – Vx+ &c...) = AU- Av. + &c........ (3). 2ndly. The symbol A is commutative with respect to any constant coefficients in the terms of the subject to which it is applied. Thus a being constant, aux =aAuz....... (4). And from this law in combination with the preceding one, we have, a, b,... being constants, A (au: + box + &c...) =aAu, +bAv, + &c...............(5). Aau: = aUz+1 * The student can find instances of the use of Generating Functions in Lacroix, Diff. and Int. Cal. 111. 322. Examples of a fourth method, at once elegant and powerful, due originally to Abel, are given in Grunert's Archiv. XVIII. 381. mtn = Aman 3rdly. The symbol A obeys the index law expressed by the equation A"A"u,=A" (6), m and n being positive indices. For, by the implied definition of the index m, A"A"u, =(AA...m times) (AA...n times) uz : {ΔΔ (m + n) times} ur Uz These are the primary laws of combination of the symbol A. It will be seen from these that A combines with A and with constant quantities, as symbols of quantity combine with each other. Thus, (A +a)denoting Au+au, we should have, in virtue of the first two of the above laws, (A +a) (+ b) u= {4*+ (a + b) A + ab} u (7), the developed result of the combination (4 + a) (A +6) being in form the same as if A were a symbol of quantity. The index law (6) is virtually an expression of the formal consequences of the truth that A denotes an operation which, performed upon any function of x, converts it into another function of sc upon which the same operation may be repeated. Perhaps it might with propriety be termed the law of repetition as such it is common to all symbols of operation, except such, if such there be, as so alter the nature of the subject to which they are applied, as to be incapable of repetition*. It was however necessary that it should be distinctly noticed, because it constitutes a part of the formal ground of the general theorems of the calculus. The laws which have been established for the symbol A are even more obviously true for the symbol E. The two symbols are connected by the equation E=1+4, * For instance, if o denote an operation which, when performed on two quantities x, y, gives a single function X, it is an operation incapable of repetion in the sense of the text, since 02 (30, y) = $(X) is upmeaning. But if it be taken to represent an operation which when performed on x, y, gives the two functions X, Y, it is capable of repetition since 0% (x, y) = 0 (X, Y), which has a definite meaning. In this case it obeys the index law. B. F. D. 2 (8), since Eur = Uz + Aur= (1+4) Uz d and they are connected with by the relation dăc d E=ex .(9), founded on the symbolical form of Taylor's theorem. For dur. 1 d’ux 1 du, + 2.3 dxc3 + &c. and from the fact that E and A are thus both expressible by d means of dac we might have inferred that the symbols E, A, d and * combine each with itself, with constant quantities, dx and with each other, as if they were individually symbols of quantity. (Differential Equations, Chapter XVI.) 10. In the following section these principles will be applied to the demonstration of what may be termed the direct general theorems of the Calculus of Differences. The conditions of their inversion, i.e. of their extension to cases in which symbols of operation occur under negative indices, will d * In place of dx we shall often use the symbol D. The equations will then be E=1+A=e”, a form which has the advantage of not assuming that the independent variable has been denoted by x. |