{ "id": "9127d8efc3426b85d23816b26d983380ae3f56f0", "text": "XIII. On the Calculus of Symbols.—Second Memoir. By W. H. L. Russell, Esq., A.B.\n\nCommunicated by Arthur Cayley, Esq., F.R.S.\n\nMade up of two Memoirs: one received January 7,—Read January 30, 1862; the other received June 18,—Read June 19, 1862.\n\nThis Memoir is a continuation of one on the Calculus of Symbols which I had the honour to lay before the Society in December 1860, and which has since been published in the Philosophical Transactions. I commence this paper with some extensions of the method given in the former memoir for resolving functions of non-commutative symbols into binomial factors. I then explain a method, analogous to the process for extracting the square root in ordinary algebra, for resolving such functions into equal factors. I next investigate a process for finding the highest common internal divisor of two functions of non-commutative symbols, or, in other words, of finding if two linear differential equations admit of a common solution. After this, I give a rule for multiplying linear factors of non-commutative symbols, analogous to the ordinary algebraical rule for linear algebraical factors. I then resume the consideration of the binomial theorem explained in the former memoir. Two new forms of this binomial theorem are here given; and the method by which these forms are proved identical will, I hope, be considered an interesting portion of symbolical algebra, and as exhibiting in a remarkable manner its peculiar nature.\n\nIn the next place, I proceed to calculate the general values of the coefficients which occur in the form of the binomial theorem given in the first memoir; I then obtain an expression for the symbolical coefficient of the general term of the multinomial theorem as previously explained; and also a theorem for the multiplication of symbolical factors emanating from each other after a given law; lastly, I investigate a binomial theorem reciprocal to the binomial theorem already considered.\n\nIn the former memoir I explained a process by which the symbolical function\n\n\\[ \\varepsilon^n \\varphi_n(\\pi) + \\varepsilon^{n-1} \\varphi_{n-1}(\\pi) + \\varepsilon^{n-2} \\varphi_{n-2}(\\pi) + \\ldots + \\varphi_0(\\pi) \\]\n\ncould be resolved in all possible cases into factors of the form\n\n\\[ (\\varepsilon \\psi_1^{(n)} \\pi + \\psi_0^{(n)} \\pi)(\\varepsilon \\psi_1^{(n-1)} \\pi + \\psi_0^{(n-1)} \\pi) \\ldots (\\varepsilon \\psi_1 \\pi + \\psi_0 \\pi). \\]\n\nI shall now give a method by which the same symbolical function may be resolved into factors of the form\n\n\\[ (\\varepsilon \\psi_a^{(n)} \\pi + \\psi_b^{(n)} \\pi)(\\varepsilon \\psi_a^{(n-1)} \\pi + \\psi_b^{(n-1)} \\pi) \\ldots (\\varepsilon \\psi_a \\pi + \\psi_b \\pi). \\]\n\nBy pursuing methods similar to those employed in the preceding paper, we find the following equations as the condition that \\( \\varepsilon^2 \\psi_2(\\pi) + \\psi_0(\\pi) \\) may be an internal factor of\nthe given symbolical function,\n\n\\[ \\varphi_0(\\pi) - \\frac{\\psi_0(\\pi)}{\\psi_2(\\pi-2)} \\varphi_2(\\pi-2) + \\frac{\\psi_0(\\pi-2)}{\\psi_2(\\pi-2)\\psi_2(\\pi-4)} \\varphi_4(\\pi-4) - \\ldots = 0, \\]\n\n\\[ \\varphi_1(\\pi) - \\frac{\\psi_0(\\pi)}{\\psi_1(\\pi-2)} \\varphi_3(\\pi+2) + \\frac{\\psi_0(\\pi-2)}{\\psi_2(\\pi-2)\\psi_2(\\pi-4)} \\varphi_5(\\pi-4) - \\ldots = 0. \\]\n\nAgain, the conditions that \\( \\varepsilon^2 \\psi_s(\\pi) + \\psi_0(\\pi) \\) may be an external factor of the same symbolical function will be given by the equations\n\n\\[ \\varphi_0(\\pi) - \\frac{\\psi_0(\\pi)}{\\psi_2(\\pi)} \\varphi_2(\\pi) + \\frac{\\psi_0(\\pi+2)}{\\psi_2(\\pi+2)} \\varphi_4(\\pi) - \\ldots = 0, \\]\n\n\\[ \\varphi_1(\\pi) - \\frac{\\psi_0(\\pi+1)}{\\psi_2(\\pi+2)} \\varphi_3(\\pi) + \\frac{\\psi_0(\\pi+3)}{\\psi_2(\\pi+1)\\psi_2(\\pi+3)} \\varphi_5(\\pi) - \\ldots = 0. \\]\n\nWe may also find in like manner the conditions that \\( \\varepsilon^3 \\psi_s(\\pi) + \\psi_0(\\pi), \\varepsilon^4 \\psi_s(\\pi) + \\psi_0(\\pi) \\) may be internal or external factors of the given symbolical function: in every case the number of equations of condition will be equal to the degree of \\( \\varepsilon \\) in the given factor.\n\nBy applying the method of divisors, as explained in the former paper, we may ascertain the forms of \\( \\psi_s(\\pi), \\psi_0(\\pi) \\) in order that \\( \\varepsilon^2 \\psi_s(\\pi) + \\psi_0(\\pi) \\) may be an internal factor of the given symbolical function. In the present case, however, \\( \\psi_s(\\pi) \\) must be a divisor both of \\( \\varphi_n(\\pi) \\) and \\( \\varphi_{n-1}(\\pi), \\psi_0(\\pi) \\) a divisor both of \\( \\varphi_1(\\pi) \\) and \\( \\varphi_0(\\pi) \\)—a consideration which will greatly simplify the process. We proceed, in like manner, should there be no internal factors of the form \\( \\varepsilon^2 \\psi_s(\\pi) + \\psi_0(\\pi), \\varepsilon^3 \\psi_s(\\pi) + \\psi_0(\\pi), \\) to ascertain if there are any of the form \\( \\varepsilon^3 \\psi_s(\\pi) + \\psi_0(\\pi), \\) &c.; and continuing the investigation as before, we are able, in all possible cases, to resolve the given symbolical function\n\n\\[ \\varepsilon^n \\varphi_n(\\pi) + \\varepsilon^{n-1} \\varphi_{n-1}(\\pi) + \\ldots + \\varphi_0(\\pi) \\]\n\ninto binomial factors.\n\nHence, in any linear differential equation,\n\n\\[ X_r \\frac{d^r u}{dx^r} + X_{r-1} \\frac{d^{r-1} u}{dx^{r-1}} + X_{r-2} \\frac{d^{r-2} u}{dx^{r-2}} + \\ldots = X, \\]\n\nif we put\n\n\\[ \\varepsilon = x, \\quad \\pi = x \\frac{d}{dx}, \\]\n\nwe shall be able in all possible cases to reduce it to a series of equations:\n\n\\[ \\varepsilon^n \\psi_{n-1}(\\pi) u_{n-1} + \\psi_0(\\pi) u_{n-1} = X, \\]\n\n\\[ \\varepsilon^n \\psi_{n-2}(\\pi) u_{n-2} + \\psi_0(\\pi) u_{n-2} = u_{n-1}, \\]\n\n\\[ \\text{&c.} \\quad = \\text{&c.,} \\]\n\n\\[ \\varepsilon^n \\psi_s(\\pi) u_s + \\psi_0(\\pi) u_s = u_1, \\]\n\na series of binomial equations, each of which may be treated by the methods due to Professor Boole. I shall now explain a process analogous to that denominated 'evolution' in ordinary algebra. To resolve the symbolical function\n\n\\[ \\varepsilon^{2n} \\varphi_{2n}(\\pi) + \\varepsilon^{2n-1} \\varphi_{2n-1}(\\pi) + \\ldots + \\varphi_0(\\pi) \\]\n\ninto two equal factors.\nFor this purpose, let us assume\n\n\\[ \\varepsilon^{2n} \\varphi_{2n}(\\pi) + \\varepsilon^{2n-1} \\varphi_{2n-1}(\\pi) + \\varepsilon^{2n-2} \\varphi_{2n-2}(\\pi) + \\ldots + \\varphi_0(\\pi) = (\\varepsilon^n \\theta_n(\\pi) + \\varepsilon^{n-1} \\theta_{n-1}(\\pi) + \\varepsilon^{n-2} \\theta_{n-2}(\\pi) + \\ldots + \\theta_0(\\pi))^2. \\]\n\nFrom this we find, equating the coefficients of \\( \\varepsilon^{2n} \\),\n\n\\[ \\theta_n(\\pi) \\theta_n(\\pi + n) = \\varphi_{2n}(\\pi), \\]\n\nfrom whence\n\n\\[ \\theta_n(\\pi + n) \\theta_n(\\pi + 2n) = \\varphi_{2n}(\\pi + n); \\]\n\nor\n\n\\[ \\theta_n(\\pi + 2n) = \\frac{\\varphi_{2n}(\\pi + n)}{\\varphi_{2n}(\\pi)} \\theta_n(\\pi), \\]\n\nwhence\n\n\\[ \\theta_n(\\pi) = \\frac{\\varphi_{2n}(\\pi - n)}{\\varphi_{2n}(\\pi - 2n)} \\frac{\\varphi_{2n}(\\pi - 3n)}{\\varphi_{2n}(\\pi - 4n)} \\frac{\\varphi_{2n}(\\pi - 5n)}{\\varphi_{2n}(\\pi - 6n)} \\ldots. \\]\n\nAgain, equating the coefficients of \\( \\varepsilon^{2n-1} \\), we shall have\n\n\\[ \\theta_{n-1}(\\pi + n) \\theta_n(\\pi) + \\theta_n(\\pi + n - 1) \\theta_{n-1}(\\pi) = \\varphi_{2n-1}(\\pi) \\ldots; \\quad \\ldots \\quad (A.) \\]\n\n\\( \\theta_n(\\pi), \\varphi_{2n-1}(\\pi) \\) are known rational functions of \\( \\pi \\), wherefore assume\n\n\\[ \\theta_n(\\pi) = a + b\\pi + c\\pi^2 + \\ldots + h\\pi^s, \\]\n\\[ \\varphi_{2n-1}(\\pi) = \\alpha + \\beta\\pi + \\gamma\\pi^2 + \\ldots + z\\pi^r, \\]\n\nwhere \\( a, b, c, \\ldots, \\alpha, \\beta, \\gamma, \\ldots \\) are known, and\n\n\\[ \\theta_{n-1}(\\pi) = A + B\\pi + C\\pi^2 + \\ldots + K\\pi^{r-s}, \\]\n\nwhere \\( A, B, C \\) are known. They may be easily found by equating the coefficients of \\( \\pi \\) in equation (A.) and \\( \\theta_{n-1}(\\pi) \\) thus determined.\n\nIf we equate the coefficients of \\( \\varepsilon^{2n-2} \\), we shall have\n\n\\[ \\theta_{n-2}(\\pi + n) \\theta_n(\\pi) + \\theta_{n-2}(\\pi) \\theta_n(\\pi + n - 2) + \\theta_{n-1}(\\pi) \\theta_{n-1}(\\pi + n - 1) = \\varphi_{2n-2}(\\pi), \\]\n\nfrom which \\( \\theta_{n-2}(\\pi) \\) may be determined in like manner. By this method we may in all possible cases reduce a proposed differential equation,\n\n\\[ X_{2r} \\frac{d^{2r}u}{dx^{2r}} + X_{2r-1} \\frac{d^{2r-1}u}{dx^{2r-1}} + \\ldots + X_1 \\frac{du}{dx} + X_0 u = X, \\]\n\nto the form\n\n\\[ \\left\\{ \\Xi_r \\frac{dr}{dx^r} + \\Xi_{r-1} \\frac{dr-1}{dx^{r-1}} + \\ldots + \\Xi_0 \\right\\}^2 u = X, \\]\n\nwhen \\( \\Xi_r, \\Xi_{r-1}, \\ldots \\) are rational functions of \\( x \\).\n\nThe methods for finding the highest common divisor in ordinary algebra apply equally to the present Calculus, as will be seen by the following examples:\n\nTo find the highest common internal divisor of the symbolical functions \\( \\varepsilon^2 + \\varepsilon - \\pi^2 \\) and \\( \\varepsilon^2 + \\varepsilon (\\pi^2 + \\pi + 1) - \\pi^3 \\).\nTake $\\varepsilon^2 + \\varepsilon - \\pi^2$ for a divisor, and proceed as follows:\n\n$$\\frac{\\varepsilon^2 + \\varepsilon - \\pi^2}{\\varepsilon(\\pi^2 + \\pi) - \\pi^3 + \\pi^2} = \\varepsilon(\\pi^2 + \\pi + 1) - \\pi^3$$\n\nIt is easily seen that the remainder may be written $\\pi(\\pi - 1)(\\varepsilon - \\pi)$.\n\nHence, taking $\\varepsilon - \\pi$ as divisor,\n\n$$\\frac{\\varepsilon - \\pi}{\\varepsilon(\\pi + 1) - \\pi^2} = \\varepsilon(\\pi + 1) - \\pi^2$$\n\nHence $\\varepsilon - \\pi$ is the highest common divisor of $\\varepsilon^2 + \\varepsilon - \\pi^2$ and $\\varepsilon^2 + \\varepsilon(\\pi^2 + \\pi + 1) - \\pi^3$.\n\nAgain, to find the highest common internal divisor of $\\varepsilon^2\\pi(\\pi + 1) + \\varepsilon(\\pi^3 + \\pi^2) + \\pi^2(\\pi - 1)$ and $\\varepsilon^3\\pi - 2\\varepsilon^2\\pi + \\varepsilon(\\pi^2 + \\pi) + \\pi^4$.\n\nThe first of these quantities is equivalent to $(\\pi - 1)(\\varepsilon^2\\pi + \\varepsilon(\\pi^2 + \\pi) + \\pi^2)$.\n\nWe take $\\varepsilon^2\\pi + \\varepsilon(\\pi^2 + \\pi) + \\pi^2$ for divisor, and proceed as follows:\n\n$$\\frac{\\varepsilon^2\\pi + \\varepsilon(\\pi^2 + \\pi) + \\pi^2}{\\varepsilon(\\pi^2 + 3\\pi) + \\varepsilon\\pi + \\pi^4} = \\varepsilon(\\pi^2 + 3\\pi + 3\\pi) + \\pi^4 + \\pi^3 + \\pi^2$$\n\nThe remainder is equivalent to $(\\pi^2 + \\pi + 1)(\\varepsilon\\pi + \\pi^2)$.\n\nHence, taking $\\varepsilon\\pi + \\pi^2$ for a new divisor,\n\n$$\\frac{\\varepsilon\\pi + \\pi^2}{\\varepsilon\\pi + \\pi^2} = \\varepsilon\\pi + \\pi^2$$\n\nHence $\\varepsilon\\pi + \\pi^2$ is the highest common internal divisor of\n\n$$\\varepsilon^2\\pi(\\pi + 1) + \\varepsilon(\\pi^3 + \\pi^2) + \\pi^2(\\pi - 1)$$\n\nand\n\n$$\\varepsilon^3\\pi - 2\\varepsilon^2\\pi + \\varepsilon(\\pi^2 + \\pi) + \\pi^4.$$\n\nIt is evident, as was mentioned in the introduction to this memoir, that this process is equivalent to finding the conditions that two linear differential equations may have a common solution.\n\nI shall next proceed to find the general term of the continued product\n\n$$(\\varepsilon + \\theta_1\\pi)(\\varepsilon + \\theta_2\\pi)(\\varepsilon + \\theta_3\\pi)\\ldots(\\varepsilon + \\theta_n\\pi).$$\nThis product, when developed, will be of the form\n\n\\[ \\varepsilon^n \\varphi_n(\\pi) + \\varepsilon^{n-1} \\varphi_{n-1}(\\pi) + \\ldots + \\varepsilon^m \\varphi_m(\\pi) + \\ldots + \\varepsilon \\varphi_1 \\pi + \\varphi_0(\\pi). \\]\n\nThen \\( \\varphi_m(\\pi) \\) is given by the following rule:\n\nWrite down the following symbolical product:\n\n\\[ \\theta_1(\\pi+m)\\theta_2(\\pi+m)\\theta_3(\\pi+m)\\ldots\\theta_{n-m}(\\pi+m); \\]\n\ntake every possible combination of the quantities 1, 2, 3,\\ldots,n taken \\((n-m)\\) at a time, and substitute them as the weight* of \\( \\theta \\) in this continued product, diminishing \\((m)\\) in each factor by the increment of the weight of the factor; add all the results together, and we obtain the value of \\( \\varphi_m(\\pi) \\). The truth of this rule will be manifest to every one who will consider the following result obtained by actual multiplication:\n\n\\[ (\\varepsilon+\\theta_1\\pi)(\\varepsilon+\\theta_2\\pi)(\\varepsilon+\\theta_3\\pi)(\\varepsilon+\\theta_4\\pi)(\\varepsilon+\\theta_5\\pi)=\\varepsilon^5 \\]\n\\[ + \\varepsilon^4 \\{ \\theta_1(\\pi+4)+\\theta_2(\\pi+3)+\\theta_3(\\pi+2)+\\theta_4(\\pi+1)+\\theta_5(\\pi) \\} \\]\n\\[ + \\varepsilon^3 \\{ \\theta_1(\\pi+3)\\theta_2(\\pi+3)+\\theta_1(\\pi+3)\\theta_3(\\pi+2)+\\theta_2(\\pi+2)\\theta_3(\\pi+2)+\\theta_1(\\pi+3)\\theta_4(\\pi+1) \\]\n\\[ + \\theta_2(\\pi+2)\\theta_4(\\pi+1)+\\theta_3(\\pi+1)\\theta_4(\\pi+1)+\\theta_1(\\pi+3)\\theta_5\\pi+\\theta_2(\\pi+2)\\theta_5\\pi+\\theta_3(\\pi+1)\\theta_5\\pi+\\theta_4(\\pi+1)\\theta_5\\pi \\}\n\\[ + \\varepsilon^2 \\{ \\theta_1(\\pi+2)\\theta_2(\\pi+2)\\theta_3(\\pi+2)+\\theta_1(\\pi+2)\\theta_2(\\pi+2)\\theta_4(\\pi+1)+\\theta_1(\\pi+2)\\theta_2(\\pi+2)\\theta_5\\pi \\}\n\\[ + \\theta_2(\\pi+1)\\theta_3(\\pi+1)\\theta_4(\\pi+1)+\\theta_1(\\pi+2)\\theta_2(\\pi+2)\\theta_5\\pi+\\theta_1(\\pi+2)\\theta_3(\\pi+1)\\theta_5\\pi \\}\n\\[ + \\varepsilon \\{ \\theta_1(\\pi+1)\\theta_2(\\pi+1)\\theta_3(\\pi+1)\\theta_4(\\pi+1)+\\theta_1(\\pi+1)\\theta_2(\\pi+1)\\theta_3(\\pi+1)\\theta_5\\pi \\}\n\\[ + \\theta_1(\\pi+1)\\theta_2(\\pi+1)\\theta_3(\\pi+1)\\theta_4(\\pi+1)\\theta_5\\pi \\}\n\\[ + \\theta_1\\pi\\theta_2\\pi\\theta_3\\pi\\theta_4\\pi\\theta_5\\pi. \\]\n\nI now come to the investigation of the two new forms of the binomial theorem as explained in the former memoir.\n\nIt is evident, in the first place, that in multiplying any binomial \\((\\varepsilon^2+\\varepsilon\\theta(\\pi))^n\\) by \\(\\varepsilon^2+\\varepsilon\\theta(\\pi)\\), the result in this case will be the same whether we employ internal or external multiplication.\n\nLet\n\n\\[ (\\varepsilon^2+\\varepsilon\\theta(\\pi))^n=\\varepsilon^{2n}+\\varepsilon^{2n-1}\\varphi_{2n-1}(\\pi)+\\varepsilon^{2n-2}\\varphi_{2n-2}(\\pi)+\\ldots, \\]\n\nwhere \\( \\varphi_{2n-1}(\\pi), \\varphi_{2n-2}(\\pi), \\varphi_{2n-3}(\\pi) \\) are unknown functions of \\((\\pi)\\) which we seek to determine.\n\nThen multiplying externally and internally by \\((\\varepsilon^2+\\varepsilon\\theta(\\pi))\\)\n\n\\[ (\\varepsilon^2+\\varepsilon\\theta(\\pi))^{n+1}=\\varepsilon^{2n+2}+\\varepsilon^{2n+1}\\varphi_{2n-1}(\\pi)+\\varepsilon^{2n}\\varphi_{2n-2}(\\pi) \\]\n\\[ + \\varepsilon^{2n+1}\\theta(\\pi+2n)+\\varepsilon^{2n}\\theta(\\pi+2n-1)\\varphi_{2n-1}(\\pi)+\\ldots \\]\n\\[ =\\varepsilon^{2n+2}+\\varepsilon^{2n+1}\\varphi_{2n-1}(\\pi+2)+\\varepsilon^{2n}\\varphi_{2n-2}(\\pi+2)+\\ldots \\]\n\\[ + \\varepsilon^{2n+1}\\theta(\\pi)+\\varepsilon^{2n}\\theta\\pi\\varphi_{2n-1}(\\pi+1)+\\ldots \\]\n\n* The use I have here made of the term 'weight' will be familiar to every one who is conversant with the modern Higher Algebra.\nFrom whence, by equating the coefficients of \\( \\varepsilon \\),\n\n\\[\n\\varphi_{2n-1}(\\pi) + \\theta(\\pi + 2n) = \\varphi_{2n-1}(\\pi + 2) + \\theta(\\pi),\n\\]\n\nwhence\n\n\\[\n(\\varepsilon^2 \\frac{d}{d\\pi} - 1)\\varphi_{2n-1}(\\pi) = (\\varepsilon^{2n} \\frac{d}{d\\pi} - 1)\\theta(\\pi),\n\\]\n\nwhence\n\n\\[\n\\varphi_{2n-1}(\\pi) = \\frac{\\varepsilon^{2n} \\frac{d}{d\\pi} - 1}{\\varepsilon^2 \\frac{d}{d\\pi} - 1}\\theta(\\pi).\n\\]\n\nAgain,\n\n\\[\n\\varphi_{2n-2}(\\pi) + \\theta(\\pi + 2n - 1)\\varphi_{2n-1}(\\pi) = \\varphi_{2n-2}(\\pi + 2) + \\varphi_{2n-1}(\\pi + 1)\\theta(\\pi),\n\\]\n\nwhence\n\n\\[\n\\varphi_{2n-2}(\\pi) = \\frac{1}{\\varepsilon^2 \\frac{d}{d\\pi} - 1}\\left\\{\\varepsilon^{2n} \\frac{d}{d\\pi} - 1\\right\\}\\theta(\\pi)\\left\\{\\varepsilon^{(2n-1)} \\frac{d}{d\\pi} \\theta(\\pi)\\right\\} - \\frac{1}{\\varepsilon^2 \\frac{d}{d\\pi} - 1}\\left\\{\\varepsilon^{(2n+1)} \\frac{d}{d\\pi} - \\varepsilon^{2n} \\frac{d}{d\\pi}\\right\\}\\theta(\\pi).\n\\]\n\nWe shall now investigate another form of this expansion, by which we shall be able to obtain a remarkable expression for the general term. We shall express the unknown functions by a notation slightly differing from that which we have just employed. The reason for so doing will be easily seen by the reader.\n\nLet\n\n\\[\n(\\varepsilon^2 + \\varepsilon \\theta(\\pi))^n = \\varepsilon^{2n} + \\varepsilon^{2n-1}\\varphi_1^{(n)}(\\pi) + \\varepsilon^{2n-2}\\varphi_2^{(n)}(\\pi) + \\ldots\n\\]\n\nThen\n\n\\[\n(\\varepsilon^2 + \\varepsilon \\theta(\\pi))^{n+1} = \\varepsilon^{2n+2} + \\varepsilon^{2n+1}\\varphi_1^{(n)}(\\pi + 2) + \\varepsilon^{2n}\\varphi_2^{(n)}(\\pi + 2) + \\ldots\n\\]\n\n\\[\n+ \\varepsilon^{2n+1}\\theta(\\pi) + \\varepsilon^{2n}\\theta(\\pi)\\varphi_1^{(n)}(\\pi + 1) + \\ldots;\n\\]\n\n\\[\n= \\varepsilon^{2n+2} + \\varepsilon^{2n+1}\\varphi_1^{(n+1)}(\\pi) + \\varepsilon^{2n}\\varphi_2^{(n+1)}(\\pi) + \\ldots;\n\\]\n\nwhence\n\n\\[\n\\varphi_1^{(n+1)}(\\pi) = \\varphi_1^{(n)}(\\pi + 2) + \\theta(\\pi),\n\\]\n\nor\n\n\\[\n\\varphi_1^{(n+1)}(\\pi) - \\varepsilon^2 \\frac{d}{d\\pi} \\varphi_1^{(n)}\\pi = \\theta(\\pi).\n\\]\n\nWherefore, solving this equation in finite differences, we have\n\n\\[\n\\varphi_1^{(n)}(\\pi) = \\varepsilon^{2(n-1)} \\frac{d}{d\\pi} \\sum \\varepsilon^{-2n} \\frac{d}{d\\pi} \\theta(\\pi).\n\\]\n\nAgain,\n\n\\[\n\\varphi_2^{(n+1)}\\pi = \\varphi_2^{(n)}(\\pi + 2) + \\varphi_1^{(n)}(\\pi + 1)\\theta(\\pi),\n\\]\n\nwhence\n\n\\[\n\\varphi_2^{(n+1)}\\pi - \\varepsilon^2 \\frac{d}{d\\pi} \\varphi_2^{(n)}\\pi = \\theta(\\pi)\\varepsilon^2 \\frac{d}{d\\pi} \\varphi_1^{(n)}\\pi.\n\\]\n\nHence\n\n\\[\n\\varphi_2^{(n)}(\\pi) = \\left\\{\\varepsilon^{2(n-1)} \\frac{d}{d\\pi} \\sum \\varepsilon^{-2n} \\frac{d}{d\\pi}\\right\\}(\\theta(\\pi)\\varepsilon^2 \\frac{d}{d\\pi})\\left\\{\\varepsilon^{2(n-1)} \\frac{d}{d\\pi} \\sum \\varepsilon^{-2n} \\frac{d}{d\\pi}\\right\\}\\theta(\\pi)\n\\]\n\n\\[\n= \\varepsilon^2 \\frac{d}{d\\pi} \\left\\{\\varepsilon^{2(n-1)} \\frac{d}{d\\pi} \\sum \\varepsilon^{-2n} \\frac{d}{d\\pi}\\right\\}\\theta(\\pi)\\left\\{\\varepsilon^{2(n-1)} \\frac{d}{d\\pi} \\sum \\varepsilon^{-2n} \\frac{d}{d\\pi}\\right\\}\\theta(\\pi)\n\\]\n\n\\[\n= \\varepsilon^2 \\frac{d}{d\\pi} \\left\\{\\varepsilon^{2(n-1)} \\frac{d}{d\\pi} \\sum \\varepsilon^{-2n} \\frac{d}{d\\pi}\\theta(\\pi)\\right\\}^2;\n\\]\n\nand similarly,\n\n\\[\n\\varphi_r^{(n)}\\pi = \\varepsilon^2 \\frac{d}{d\\pi} \\left\\{\\varepsilon^{2(n-1)} \\frac{d}{d\\pi} \\sum \\varepsilon^{-2n} \\frac{d}{d\\pi}\\theta(\\pi)\\right\\}^r,\n\\]\n\nwhere, however, a proper correction must be added after each performance of the symbol \\( \\Sigma \\).\nAs there are some peculiarities connected with this form, I shall calculate its value at length for the values $r=1$ and $r=2$.\n\nFirst, let $r=1$. Then\n\n$$\\varphi_1^{(n)}(\\pi) = \\varepsilon^{2(n-1)} \\frac{d}{d\\pi} \\sum \\varepsilon^{-2n} \\frac{d}{d\\pi} \\theta(\\pi)$$\n\nLet $n=1$. Then\n\n$$\\varphi_1^{(1)}(\\pi) = \\theta(\\pi), \\quad \\text{and} \\quad \\Pi_1 = \\frac{\\varepsilon^2 \\frac{d}{d\\pi} \\theta(\\pi)}{\\varepsilon^2 \\frac{d}{d\\pi} - 1}.$$ \n\nConsequently\n\n$$\\varphi_1^{(n)}(\\pi) = \\frac{\\varepsilon^{2n} \\frac{d}{d\\pi} - 1}{\\varepsilon^2 \\frac{d}{d\\pi} - 1} \\theta(\\pi),$$\n\nwhich coincides with the value of the coefficient of $\\varepsilon^{2n-1}$ obtained by the former process.\n\nAgain,\n\n$$\\varphi_2^{(n)}(\\pi) = \\varepsilon^{2(n-1)} \\frac{d}{d\\pi} \\sum \\varepsilon^{-2n} \\frac{d}{d\\pi} \\theta(\\pi) \\varepsilon^{(2n-1)} \\frac{d}{d\\pi} \\sum \\varepsilon^{-2n} \\frac{d}{d\\pi} \\theta(\\pi)$$\n\n$$= \\varepsilon^{2(n-1)} \\frac{d}{d\\pi} \\sum \\varepsilon^{-2n} \\frac{d}{d\\pi} \\theta(\\pi) \\varepsilon^{2n} \\frac{d}{d\\pi} - 1 \\theta(\\pi)$$\n\n$$= \\varepsilon^{2(n-1)} \\frac{d}{d\\pi} \\sum \\left( \\varepsilon^{-2n} \\frac{d}{d\\pi} \\theta(\\pi) \\right) \\varepsilon^{2n} \\frac{d}{d\\pi} - 1 \\left( \\varepsilon^{-2n} \\frac{d}{d\\pi} \\theta(\\pi) \\right)$$\n\n$$= \\varepsilon^{2(n-1)} \\frac{d}{d\\pi} \\sum \\left( \\varepsilon^{-2n} \\frac{d}{d\\pi} \\theta(\\pi) \\right) \\left( \\varepsilon^{2n} \\frac{d}{d\\pi} - 1 \\right) \\theta(\\pi)$$\n\n$$= \\varepsilon^{2(n-1)} \\frac{d}{d\\pi} \\Pi_2 + \\varepsilon^{2(n-1)} \\frac{d}{d\\pi} \\left( \\varepsilon^{-2n} \\frac{d}{d\\pi} \\theta(\\pi) \\right) \\left( \\varepsilon^{2n} \\frac{d}{d\\pi} - 1 \\right) \\theta(\\pi)$$\n\n$$= \\varepsilon^{2(n-1)} \\frac{d}{d\\pi} \\Pi_2 - \\left( \\varepsilon^{-2n} \\frac{d}{d\\pi} \\theta(\\pi) \\right) \\left( \\varepsilon^{2n} \\frac{d}{d\\pi} - 1 \\right) \\theta(\\pi)$$\n\n$$+ \\frac{1}{\\varepsilon^2 \\frac{d}{d\\pi} - 1} \\left( \\varepsilon^{-2n} \\frac{d}{d\\pi} \\theta(\\pi) \\right),$$\n\nwhere $\\Pi_2$ is a function of $(\\pi)$ to be determined.\nFor this purpose put \\( n = 1 \\), then \\( \\varphi_2^{(n)}(\\pi) = 0 \\), and\n\n\\[\n\\Pi_2 = \\left( \\frac{\\theta(\\pi)}{\\varepsilon^2 d\\pi - 1} \\right) \\left( \\frac{d}{d\\pi} \\theta(\\pi) \\right) - \\frac{1}{\\varepsilon^2 d\\pi - 1} \\left( \\theta(\\pi) \\frac{d}{d\\pi} \\theta(\\pi) \\right);\n\\]\n\n\\[\n\\therefore \\quad \\varphi_1^{(n)}(\\pi) = \\left( \\frac{\\varepsilon^{2(n-1)} d}{d\\pi} - 1 \\right) \\theta(\\pi) \\left( \\frac{\\varepsilon^{2(n-1)} d}{d\\pi} - 1 \\right) \\theta(\\pi) - \\frac{\\varepsilon^{2(n-1)} d}{d\\pi} - 1 \\left( \\theta(\\pi) \\frac{d}{d\\pi} \\theta(\\pi) \\right).\n\\]\n\nWe next proceed to show the identity of this value of the coefficient of \\( \\varepsilon^{2n-2} \\) with that formerly obtained.\n\nThe truth of the following theorem is easily seen:\n\n\\[\n(\\varepsilon^2 d\\pi - 1)f_1(\\pi)f_2(\\pi) = (\\varepsilon^2 d\\pi - 1)f_1(\\pi)(\\varepsilon^2 d\\pi - 1)f_2(\\pi) + f_2(\\pi)(\\varepsilon^2 d\\pi - 1)f_1(\\pi) + f_1(\\pi)(\\varepsilon^2 d\\pi - 1)f_2(\\pi).\n\\]\n\nHence\n\n\\[\n(\\varepsilon^2 d\\pi - 1)\\varphi_1^{(n)}\\pi = \\left\\{ \\left( \\varepsilon^{2(n-1)} d\\pi - 1 \\right) \\theta(\\pi) \\left( \\varepsilon^{2(n-1)} d\\pi - 1 \\right) \\theta(\\pi) \\right\\} + \\left\\{ \\left( \\varepsilon^{2(n-1)} d\\pi - 1 \\right) \\theta(\\pi) \\right\\} \\left\\{ \\left( \\varepsilon^{2(n-1)} d\\pi - 1 \\right) \\theta(\\pi) \\right\\}\n\\]\n\n\\[\n+ \\left\\{ \\left( \\varepsilon^{2(n-1)} d\\pi - 1 \\right) \\theta(\\pi) \\right\\} \\left\\{ \\left( \\varepsilon^{2(n-1)} d\\pi - 1 \\right) \\theta(\\pi) \\right\\} - \\left( \\varepsilon^{2(n-1)} d\\pi - 1 \\right) \\left( \\theta(\\pi) \\frac{d}{d\\pi} \\theta(\\pi) \\right).\n\\]\n\nBut\n\n\\[\n(\\varepsilon^{2(n-1)} d\\pi - 1) \\left( \\theta(\\pi) \\frac{d}{d\\pi} \\theta(\\pi) \\right) = \\left( \\varepsilon^{2(n-1)} d\\pi - 1 \\right) \\left( \\varepsilon^{2(n-1)} d\\pi - 1 \\right) \\theta(\\pi) - \\theta(\\pi) \\frac{d}{d\\pi} \\theta(\\pi);\n\\]\n\n\\[\n\\therefore \\quad (\\varepsilon^2 d\\pi - 1)\\varphi_1^{(n)}\\pi = \\left( \\varepsilon^{2(n-1)} d\\pi - 1 \\right) \\theta(\\pi) \\left( \\varepsilon^{2(n-1)} d\\pi - 1 \\right) \\theta(\\pi) + \\left( \\varepsilon^{2(n-1)} d\\pi - 1 \\right) \\theta(\\pi) \\left( \\varepsilon^{2(n-1)} d\\pi - 1 \\right) \\theta(\\pi)\n\\]\n\n\\[\n- \\theta(\\pi) \\varepsilon^{2(n-1)} d\\pi \\theta(\\pi) - \\theta(\\pi) \\frac{d}{d\\pi} \\theta(\\pi) + \\theta(\\pi) \\frac{d}{d\\pi} \\theta(\\pi)\n\\]\n\n\\[\n= \\left\\{ \\varepsilon^{2(n-1)} d\\pi - 1 \\right\\} \\left\\{ \\varepsilon^{2(n-1)} d\\pi - 1 \\right\\} \\theta(\\pi) - \\left\\{ \\varepsilon^{2(n-1)} d\\pi - 1 \\right\\} \\left\\{ \\varepsilon^{2(n-1)} d\\pi - 1 \\right\\} \\theta(\\pi),\n\\]\n\nor\n\n\\[\n\\varphi_1^{(n)}\\pi = \\frac{1}{\\varepsilon^2 d\\pi - 1} \\left\\{ \\varepsilon^{2(n-1)} d\\pi - 1 \\right\\} \\left\\{ \\varepsilon^{2(n-1)} d\\pi - 1 \\right\\} \\theta(\\pi) - \\frac{1}{\\varepsilon^2 d\\pi - 1} \\left\\{ \\varepsilon^{2(n-1)} d\\pi - 1 \\right\\} \\left\\{ \\varepsilon^{2(n-1)} d\\pi - 1 \\right\\} \\theta(\\pi),\n\\]\n\nwhich agrees with the value of the symbolical coefficient of \\( \\varepsilon^{2n-2} \\) as before obtained.\n\nIt is proper to add that the same method of investigation applies to all binomials of the form \\( (\\varepsilon^x + \\varepsilon^y \\theta(\\pi))^n \\), of which I have, for the sake of simplicity, selected the case \\( (\\varepsilon^x + \\varepsilon^y \\theta(\\pi))^n \\).\n\nI now come to the calculation of the coefficients of the general term of the form of the binomial theorem as given in the first memoir.\nLet us assume\n\n\\[(\\varepsilon^2 + \\varepsilon \\theta(\\pi))^n = \\varepsilon^{2n} + A_1^{(0)} \\varepsilon^{2n-1} + A_2^{(0)} \\varepsilon^{2n-2} + \\&c.\\]\n\n\\[+ (A_1^{(1)} \\varepsilon^{2n-1} + A_2^{(1)} \\varepsilon^{2n-2} + A_3^{(1)} \\varepsilon^{2n-3} + \\&c.) \\pi\\]\n\n\\[+ (A_1^{(2)} \\varepsilon^{2n-1} + A_2^{(2)} \\varepsilon^{2n-2} + A_3^{(2)} \\varepsilon^{2n-3} + \\&c.) \\pi^2 + \\&c.\\]\n\n\\[+ (A_1^{(r)} \\varepsilon^{2n-1} + A_2^{(r)} \\varepsilon^{2n-2} + A_3^{(r)} \\varepsilon^{2n-3} + \\&c.) \\pi^r + \\&c.\\]\n\nThen we have, writing \\(t_m(\\pi)\\) for \\(\\frac{\\theta(m)(\\pi)}{1.2.3 \\ldots m}\\)\n\n\\[A_1^{(0)} = \\Sigma \\theta(2n)\\]\n\n\\[A_2^{(0)} = \\Sigma \\theta(2n-1) \\Sigma \\theta(2n)\\]\n\n\\[A_3^{(0)} = \\Sigma \\theta(2n-2) \\Sigma \\theta(2n-1) \\Sigma \\theta(2n)\\]\n\n\\[\\&c. = \\&c.\\]\n\n\\[A_s^{(0)} = \\Sigma \\theta(2n-s+1) \\Sigma \\theta(2n-s+2) \\ldots \\Sigma \\theta(2n)\\]\n\n\\[A_1^{(1)} = \\Sigma \\theta(2n)\\]\n\n\\[A_2^{(1)} = \\Sigma \\theta(2n-1) \\Sigma \\theta(2n) + \\Sigma \\theta(2n-1) \\Sigma \\theta(2n)\\]\n\n\\[A_3^{(1)} = \\Sigma \\theta(2n-2) \\Sigma \\theta(2n-1) \\Sigma \\theta(2n)\\]\n\n\\[+ \\Sigma \\theta(2n-2) \\Sigma \\theta(2n-1) \\Sigma \\theta(2n)\\]\n\n\\[+ \\Sigma \\theta(2n-2) \\Sigma \\theta(2n-1) \\Sigma \\theta(2n)\\]\n\n\\[\\&c. = \\&c.\\]\n\n\\[A_s^{(1)} = \\Sigma \\theta(2n-s+1) \\Sigma \\theta(2n-s+2) \\ldots \\Sigma \\theta(2n)\\]\n\n\\[+ \\Sigma \\theta(2n-s+1) \\Sigma \\theta(2n-s+2) \\ldots \\Sigma \\theta(2n)\\]\n\n\\[+ \\ldots\\]\n\n\\[+ \\Sigma \\theta(2n-s+1) \\Sigma \\theta(2n-s+2) \\ldots \\Sigma \\theta(2n)\\]\n\n\\[A_1^{(2)} = \\Sigma \\theta(2n)\\]\n\n\\[A_2^{(2)} = \\Sigma \\theta(2n-1) \\Sigma \\theta(2n) + \\Sigma \\theta(2n-1) \\Sigma \\theta(2n)\\]\n\n\\[+ \\Sigma \\theta(2n-1) \\Sigma \\theta(2n)\\]\n\n\\[A_s^{(2)} = \\Sigma \\theta(2n-s+1) \\Sigma \\theta(2n-s+2) \\ldots \\Sigma \\theta(2n)\\]\n\n\\[+ \\Sigma \\theta(2n-s+1) \\Sigma \\theta(2n-s+2) \\ldots \\Sigma \\theta(2n)\\]\n\n\\[+ \\ldots\\]\n\n\\[+ \\Sigma \\theta(2n-s+1) \\Sigma \\theta(2n-s+2) \\ldots \\Sigma \\theta(2n)\\]\n\n\\[+ \\Sigma \\theta(2n-s+1) \\Sigma \\theta(2n-s+2) \\ldots \\Sigma \\theta(2n)\\]\n\n\\[+ \\ldots\\]\n\nWhere there are \\((s)\\) terms in the first part of this expression, and \\(s \\cdot \\frac{s-1}{2}\\) in the second:\n\n\\[A_s^{(r)} = \\Sigma \\theta_a(2n-s+1) \\Sigma \\theta_b(2n-s+2) \\Sigma \\theta_c(2n-s+3) \\ldots \\Sigma \\theta_n(2n)\\]\n\n\\[+ \\Sigma \\theta_a(2n-s+1) \\Sigma \\theta_b(2n-s+2) \\Sigma \\theta_c(2n-s+3) \\ldots \\Sigma \\theta_n(2n)\\]\n\n\\[+ \\Sigma \\theta_a(2n-s+1) \\Sigma \\theta_b(2n-s+2) \\Sigma \\theta_c(2n-s+3) \\ldots \\Sigma \\theta_n(2n)\\]\n\n\\[+ \\ldots\\]\nwhere \\( \\alpha_1, \\beta_1, \\gamma_1, \\ldots, \\nu_1, \\alpha_2, \\beta_2, \\gamma_2, \\ldots, \\nu_2, \\) &c. are all the whole numbers which satisfy the equation\n\n\\[\n\\alpha + \\beta + \\gamma + \\ldots + \\nu = r.\n\\]\n\nIn the preceding investigation we have used \\( \\theta_m(\\pi) \\) as an abbreviation for \\( \\frac{\\phi(m)\\pi}{1,2,3,\\ldots,m} \\), where \\( \\phi(m)\\pi \\) is the \\( m \\)th function derived from \\( \\phi(\\pi) \\). In the following investigation, it is proper to remark that \\( \\theta_1(\\pi), \\theta_2(\\pi), \\theta_3(\\pi) \\ldots \\) are any rational and entire functions of \\( (\\pi) \\) whatever.\n\nTo find an expression for the general term of the multinomial theorem, by which\n\n\\[\n(\\varepsilon^x + \\varepsilon^{x-1}\\theta_1(\\pi) + \\varepsilon^{x-2}\\theta_2(\\pi) + \\varepsilon^{x-3}\\theta_3(\\pi) + \\ldots)^n\n\\]\n\nis expanded in powers of \\( (\\varepsilon) \\).\n\nLet us assume\n\n\\[\n(\\varepsilon^x + \\varepsilon^{x-1}\\theta_1(\\pi) + \\varepsilon^{x-2}\\theta_2(\\pi) + \\ldots)^n = \\varepsilon^{mn} + \\varepsilon^{mn-1}\\varphi_1(n)(\\pi) + \\varepsilon^{mn-2}\\varphi_2(n)(\\pi) + \\varepsilon^{mn-3}\\varphi_3(n)(\\pi) + \\ldots\n\\]\n\nThen multiplying internally by the factor\n\n\\[\n\\varepsilon^x + \\varepsilon^{x-1}\\theta_1(\\pi) + \\varepsilon^{x-2}\\theta_2(\\pi) + \\varepsilon^{x-3}\\theta_3(\\pi) + \\ldots,\n\\]\n\nand equating coefficients of like powers of \\( (\\varepsilon) \\), we have the following series of equations:\n\n\\[\n\\begin{align*}\n\\varphi_1(n+1)(\\pi) - \\varphi_1(n)(\\pi + \\alpha) &= \\theta_1(\\pi), \\\\\n\\varphi_2(n+1)(\\pi) - \\varphi_2(n)(\\pi + \\alpha) &= \\theta_1(\\pi)\\varphi_1(n)(\\pi + \\alpha - 1) + \\theta_2(\\pi), \\\\\n\\varphi_3(n+1)(\\pi) - \\varphi_3(n)(\\pi + \\alpha) &= \\theta_1(\\pi)\\varphi_2(n)(\\pi + \\alpha - 1) + \\theta_2(\\pi)\\varphi_1(n)(\\pi + \\alpha - 2) + \\theta_3(\\pi),\n\\end{align*}\n\\]\n\nand thus we proceed: hence we have, putting the symbol \\( \\varepsilon^{(n+1)}\\frac{d}{dn} \\sum \\varepsilon^{-(n+1)}\\frac{d}{dn} = \\Pi \\),\n\n\\[\n\\begin{align*}\n\\varphi_1(n)(\\pi) &= \\varepsilon^{-\\alpha}\\frac{d}{dn} \\Pi \\theta_1(\\pi), \\\\\n\\varphi_2(n)(\\pi) &= \\varepsilon^{-\\alpha}\\frac{d}{dn} \\Pi \\theta_1(\\pi)\\varepsilon^{-\\alpha}\\frac{d}{dn} \\Pi \\theta_1(\\pi) + \\varepsilon^{-\\alpha}\\frac{d}{dn} \\Pi \\theta_2(\\pi) \\\\\n&= \\varepsilon^{-\\alpha}\\frac{d}{dn} \\Pi \\theta_1(\\pi)\\varepsilon^{-\\alpha}\\frac{d}{dn} \\Pi \\theta_1(\\pi)\\varepsilon^{-\\alpha}\\frac{d}{dn} \\Pi \\theta_1(\\pi) + \\varepsilon^{-\\alpha}\\frac{d}{dn} \\Pi \\theta_2(\\pi)\\varepsilon^{-\\alpha}\\frac{d}{dn} \\Pi \\theta_1(\\pi) + \\varepsilon^{-\\alpha}\\frac{d}{dn} \\Pi \\theta_3(\\pi)\\varepsilon^{-\\alpha}\\frac{d}{dn} \\Pi \\theta_1(\\pi) \\\\\n&+ \\varepsilon^{-\\alpha}\\frac{d}{dn} \\Pi \\theta_1(\\pi)\\varepsilon^{-\\alpha}\\frac{d}{dn} \\Pi \\theta_1(\\pi)\\varepsilon^{-\\alpha}\\frac{d}{dn} \\Pi \\theta_1(\\pi)\\varepsilon^{-\\alpha}\\frac{d}{dn} \\Pi \\theta_1(\\pi) \\\\\n&+ \\varepsilon^{-\\alpha}\\frac{d}{dn} \\Pi \\theta_1(\\pi)\\varepsilon^{-\\alpha}\\frac{d}{dn} \\Pi \\theta_1(\\pi)\\varepsilon^{-\\alpha}\\frac{d}{dn} \\Pi \\theta_1(\\pi)\\varepsilon^{-\\alpha}\\frac{d}{dn} \\Pi \\theta_1(\\pi)\\varepsilon^{-\\alpha}\\frac{d}{dn} \\Pi \\theta_1(\\pi).\n\\end{align*}\n\\]\n\nWe easily see that the general term may be expressed thus: construct the formula\n\n\\[\n\\varepsilon^{-\\alpha}\\frac{d}{dn} \\Pi \\theta_a(\\pi)\\varepsilon^{-\\alpha}\\frac{d}{dn} \\Pi \\theta_b(\\pi)\\varepsilon^{-\\alpha}\\frac{d}{dn} \\Pi \\theta_c(\\pi)\\varepsilon^{-\\alpha}\\frac{d}{dn} \\Pi \\theta_e(\\pi),\n\\]\n\nand give to \\( \\alpha, \\beta, \\gamma, \\ldots, \\nu \\) all the values which satisfy the equation\n\n\\[\n\\alpha + \\beta + \\gamma + \\ldots + \\nu = r,\n\\]\n\nwhere \\( \\alpha n - r \\) is the index of \\( (\\varepsilon) \\). Then the sum of all the terms so formed will be the required result.\n\nTo determine the product of the factors\n\n\\[\n(\\varepsilon + \\chi_n(\\pi))(\\varepsilon + \\chi_{n-1}(\\pi)) \\ldots (\\varepsilon + \\chi(\\pi)) \\ldots (\\varepsilon + \\chi_{n-1}(\\pi))(\\varepsilon + \\chi_n(\\pi)),\n\\]\n\nwhence \\( \\chi_1(\\pi), \\chi_2(\\pi), \\chi_3(\\pi) \\) emanate from each other after a given law.\nLet \\((\\varepsilon + \\chi_n(\\pi)) \\cdots (\\varepsilon + \\chi_1(\\pi)) \\cdots \\varepsilon + \\chi_n(\\pi) = \\varepsilon^{2n+1} + \\varepsilon^n \\varphi_1^{(n)} \\pi + \\varepsilon^{3n-1} \\varphi_2^{(n)} \\pi + \\cdots\\)\n\nThen multiplying internally and externally by \\(\\varepsilon + \\chi_{n+1}(\\pi)\\),\n\n\\[\n\\varepsilon^{2n+3} + \\varepsilon^{2n+2} \\varphi_1^{(n+1)} \\pi + \\varepsilon^{2n+1} \\varphi_2^{(n+1)} \\pi + \\&c.\n\\]\n\n\\[\n= \\varepsilon^{2n+3} + \\varepsilon^{2n+2} \\{\\varphi_1^{(n)}(\\pi + 1) + \\chi_{n+1}(\\pi + 2n + 2) + \\chi_{n+1}(\\pi)\\}\n\\]\n\n\\[\n+ \\varepsilon^{2n+1} \\{\\varphi_2^{(n)}(\\pi + 1) + \\varphi_1^{(n)}(\\pi + 1) \\chi_{n+1}(\\pi + 2n + 1)\n\\]\n\n\\[\n+ \\varphi_1^{(n)}(\\pi) \\chi_{n+1}(\\pi) + \\chi_{n+1}(\\pi + 2n + 1) \\chi_{n+1}(\\pi)\\}.\n\\]\n\nHence\n\n\\[\n\\varphi_1^{(n+1)} \\pi - \\varphi_1^{(n)}(\\pi + 1) = \\chi_{n+1}(\\pi + 2n + 2) + \\chi_{n+1} \\pi,\n\\]\n\nwhence\n\n\\[\n\\varphi_1^{(n)}(\\pi) = \\varepsilon^n \\frac{d}{d\\pi} \\sum \\left( \\varepsilon^{(n+1)} \\frac{d}{d\\pi} + \\varepsilon^{-(n+1)} \\frac{d}{d\\pi} \\right) \\chi_{n+1}(\\pi),\n\\]\n\nand also\n\n\\[\n\\varphi_2^{(n+1)}(\\pi) - \\varphi_2^{(n)}(\\pi + 1) = \\varphi_1^{(n)}(\\pi + 1) \\chi_{n+1}(\\pi + 2n + 1)\n\\]\n\n\\[\n+ \\varphi_1^{(n)}(\\pi) \\chi_{n+1}(\\pi) + \\chi_{n+1}(\\pi + 2n + 1) \\chi_{n+1}(\\pi);\n\\]\n\n\\[\n\\therefore \\quad \\varphi_2^{(n)}(\\pi) = \\varepsilon^n \\frac{d}{d\\pi} \\sum \\varepsilon^{-(n+1)} \\frac{d}{d\\pi} \\left\\{ \\varepsilon^{(2n+1)} \\frac{d}{d\\pi} \\chi_{n+1}(\\pi) \\right\\}\n\\]\n\n\\[\n+ \\varepsilon^n \\frac{d}{d\\pi} \\sum \\varepsilon^{-(n+1)} \\frac{d}{d\\pi} \\chi_{n+1}(\\pi) \\varepsilon^n \\frac{d}{d\\pi} \\sum \\left( \\varepsilon^{(n+1)} \\frac{d}{d\\pi} - \\varepsilon^{-(n+1)} \\frac{d}{d\\pi} \\right) \\chi_{n+1}(\\pi)\n\\]\n\n\\[\n+ \\varepsilon^n \\frac{d}{d\\pi} \\sum \\varepsilon^{-(n+1)} \\frac{d}{d\\pi} \\chi_{n+1}(\\pi) \\left\\{ \\varepsilon^{(2n+1)} \\frac{d}{d\\pi} \\chi_{n+1}(\\pi) \\right\\};\n\\]\n\nand in like manner we find the values of the succeeding symbolical coefficients.\n\nI now come to the form of the binomial theorem which is reciprocal to that previously investigated.\n\nTo expand \\((\\pi^2 + \\theta(\\varepsilon) \\cdot \\pi)^n\\) in powers of \\((\\pi)\\).\n\nLet us assume\n\n\\[\n(\\pi^2 + \\theta(\\varepsilon) \\cdot \\pi)^n = \\pi^{2n} + \\varphi_{2n-1}(\\varepsilon) \\cdot \\pi^{2n-1} + \\varphi_{2n-2}(\\varepsilon) \\cdot \\pi^{2n-2} + \\cdots,\n\\]\n\nwe know that\n\n\\[\n\\pi^r \\theta(\\varepsilon) = \\theta(\\varepsilon) \\cdot \\pi^r + r \\left( \\varepsilon \\frac{d}{d\\varepsilon} \\right) \\theta(\\varepsilon) \\cdot \\pi^{r-1} + r \\cdot \\frac{r-1}{2} \\left( \\varepsilon \\frac{d}{d\\varepsilon} \\right)^2 \\theta(\\varepsilon) \\pi^{r-2} + \\cdots\n\\]\n\nHence, multiplying internally and externally by \\(\\pi^2 + \\theta(\\varepsilon) \\pi\\), we shall have\n\n\\[\n\\pi^{2n+2} + \\varphi_{2n-1}(\\varepsilon) \\pi^{2n+1} + \\varphi_{2n-2}(\\varepsilon) \\pi^{2n} + \\varphi_{2n-3}(\\varepsilon) \\pi^{2n-1} + \\cdots\n\\]\n\n\\[\n+ \\left\\{ \\theta(\\varepsilon) \\pi^{2n} + 2n \\left( \\varepsilon \\frac{d}{d\\varepsilon} \\right) \\theta(\\varepsilon) \\pi^{2n-1} + 2n \\cdot \\frac{2n-1}{2} \\left( \\varepsilon \\frac{d}{d\\varepsilon} \\right)^2 \\theta(\\varepsilon) \\pi^{2n-2} + \\cdots \\right\\} \\pi\n\\]\n\n\\[\n+ \\varphi_{2n-1}(\\varepsilon) \\left\\{ \\theta(\\varepsilon) \\cdot \\pi^{2n-1} + (2n-1) \\left( \\varepsilon \\frac{d}{d\\varepsilon} \\right) \\theta(\\varepsilon) \\pi^{2n-2} + \\cdots \\right\\} \\pi\n\\]\n\n\\[\n+ \\varphi_{2n-2}(\\varepsilon) \\left\\{ \\theta(\\varepsilon) \\cdot \\pi^{2n-2} + (2n-2) \\left( \\varepsilon \\frac{d}{d\\varepsilon} \\right) \\theta(\\varepsilon) \\cdot \\pi^{2n-3} + \\cdots \\right\\} \\pi\n\\]\n\n\\[\n+ \\&c.\n\\]\n\n\\[\n= \\pi^{2n+2} + \\left\\{ \\varphi_{2n-1}(\\varepsilon) \\cdot \\pi^2 + 2 \\left( \\varepsilon \\frac{d}{d\\varepsilon} \\right) \\varphi_{2n-1}(\\varepsilon) \\cdot \\pi + \\left( \\varepsilon \\frac{d}{d\\varepsilon} \\right)^2 \\varphi_{2n-1}(\\varepsilon) \\right\\} \\pi^{2n-1}\n\\]\n\n\\[\n+ \\left\\{ \\varphi_{2n-2}(\\varepsilon) \\cdot \\pi^2 + 2 \\left( \\varepsilon \\frac{d}{d\\varepsilon} \\right) \\varphi_{2n-2}(\\varepsilon) \\cdot \\pi + \\left( \\varepsilon \\frac{d}{d\\varepsilon} \\right)^2 \\varphi_{2n-2}(\\varepsilon) \\right\\} \\pi^{2n-2}\n\\]\nHence equating coefficients of the powers of \\( \\varrho \\),\n\n\\[\n\\varphi_{2n-1}(\\varrho) + 2n \\left( \\frac{d}{d\\varrho} \\right) \\theta(\\varrho) + \\varphi_{2n-2}(\\varrho) \\cdot \\theta(\\varrho) = 2 \\left( \\frac{d}{d\\varrho} \\right) \\varphi_{2n-1}(\\varrho) + \\varphi_{2n-2}(\\varrho) + \\theta(\\varrho) \\varphi_{2n-1}(\\varrho),\n\\]\n\nwhence\n\n\\[\n\\varphi_{2n-1}(\\varrho) = n \\theta(\\varrho),\n\\]\n\n\\[\n\\varphi_{2n-2}(\\varrho) + 2n \\cdot \\frac{2n-1}{2} \\left( \\frac{d}{d\\varrho} \\right)^2 \\theta(\\varrho) + (2n-1) \\varphi_{2n-1}(\\varrho) \\left( \\frac{d}{d\\varrho} \\right) \\theta(\\varrho) + \\varphi_{2n-2}(\\varrho) \\theta(\\varrho)\n\\]\n\n\\[\n= \\left( \\frac{d}{d\\varrho} \\right)^2 \\varphi_{2n-1}(\\varrho) + 2 \\left( \\frac{d}{d\\varrho} \\right) \\varphi_{2n-2}(\\varrho) + \\theta(\\varrho) \\left( \\frac{d}{d\\varrho} \\right) \\varphi_{2n-1}(\\varrho) + \\theta(\\varrho) \\varphi_{2n-2}(\\varrho) + \\varphi_{2n-3}(\\varrho),\n\\]\n\nwhence\n\n\\[\n\\varphi_{2n-2}(\\varrho) = n(n-1) \\left( \\frac{d}{d\\varrho} \\right) \\theta(\\varrho) + \\frac{n(n-1)}{2} (\\theta(\\varrho))^2;\n\\]\n\n\\[\n\\therefore (\\pi^2 + \\theta(\\varrho) \\cdot \\pi)^n = \\pi^{2n} + n \\theta(\\varrho) \\cdot \\pi^{2n-1} + \\left\\{ n(n-1) \\left( \\frac{d}{d\\varrho} \\right) \\theta(\\varrho) + \\frac{n(n-1)}{2} (\\theta(\\varrho))^2 \\right\\} \\pi^{2n-2} + \\ldots,\n\\]\n\nthe required expansion.", "source": "olmocr", "added": "2026-01-12", "created": "2026-01-12", "metadata": { "Source-File": "/home/jic823/projects/def-jic823/royalsociety/pdfs/108831.pdf", "olmocr-version": "0.3.4", "pdf-total-pages": 13, "total-input-tokens": 21120, "total-output-tokens": 14792, "total-fallback-pages": 0 }, "attributes": { "pdf_page_numbers": [ [ 0, 0, 1 ], [ 0, 2865, 2 ], [ 2865, 5929, 3 ], [ 5929, 8545, 4 ], [ 8545, 10578, 5 ], [ 10578, 13932, 6 ], [ 13932, 17228, 7 ], [ 17228, 19184, 8 ], [ 19184, 22453, 9 ], [ 22453, 24882, 10 ], [ 24882, 28807, 11 ], [ 28807, 32782, 12 ], [ 32782, 34079, 13 ] ], "primary_language": [ "en", "en", "en", "en", "en", "en", "en", "en", "en", "en", "en", "en", "en" ], "is_rotation_valid": [ true, true, true, true, true, true, true, true, true, true, true, true, true ], "rotation_correction": [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], "is_table": [ false, false, false, false, false, false, false, false, false, false, false, false, false ], "is_diagram": [ false, false, false, false, false, false, false, false, false, false, false, false, false ] }, "jstor_metadata": { "identifier": "jstor-108831", "title": "On the Calculus of Symbols.--Second Memoir", "authors": "W. H. L. Russell", "year": 1862, "volume": "152", "journal": "Philosophical Transactions of the Royal Society of London", "page_count": 13, "jstor_url": "https://www.jstor.org/stable/108831" } }