{ "id": "635642d0180a442e33c633db50ad68290a72ac4c", "text": "VII. On the Theory of Definite Integrals. By W. H. L. Russell, Esq., B.A.\nCommunicated by A. Cayley, Esq., F.R.S.\n\nReceived October 30,—Read November 23, 1854.\n\nI propose in the following paper to investigate some new methods for summing various kinds of series, including almost all of the more important which are met with in analysis, by means of definite integrals, and to apply the same to the evaluation of a large number of definite integrals. In a paper which appeared in the Cambridge and Dublin Mathematical Journal for May 1854, I applied certain of these series to the integration of linear differential equations by means of definite integrals. Now Professor Boole has shown, in an admirable memoir which appeared in the Philosophical Transactions for the year 1844, that the methods which he has invented for the integration of linear differential equations in finite terms, lead to the summation of numerous series of an exactly similar nature, whence it follows that the combination of his methods of summation with mine, will lead to the evaluation of a large number of definite integrals, as will be shown in this paper. It is hence evident that the discovery of other modes of summing these series by means of definite integrals must in all cases lead to the evaluation of new groups of definite integrals, as will also be shown in the following pages. I then point out that these investigations are equivalent to finding all the more important definite integrals whose values can be obtained in finite terms by the solution of linear differential equations with variable coefficients. Again, there are certain algebraical equations which can be solved at once by Lagrange's series, and by common algebraical processes; the summation of the former by means of definite integrals affords us a new class of results, which I next consider. A continental mathematician, M. Småsen, has given, in a recent volume of Crelle's Journal, certain methods of combining series together which give us the means of reducing various multiple integrals to single ones. The series hitherto considered are what have been denominated \"factorial series\"; but, lastly, I proceed to show that analogous processes extend to series of a very complicated nature and of an entirely different form, and for that purpose sum by means of definite integrals certain series whose values are obtained in finite terms in the 'Exercices des Mathématiques' by means of the Residual Calculus. The total result will be the evaluation of an enormous number of definite integrals on an entirely new type, and the application of definite integrals to the summation of many intricate series.\n\nMDCCCLV.\nLet us first consider the series whose general term is\n\n\\[\n\\frac{\\alpha(\\alpha+1)\\ldots(\\alpha+n-1)}{\\beta(\\beta+1)\\ldots(\\beta+n-1)} \\cdot \\frac{\\alpha'(\\alpha'+1)\\ldots(\\alpha'+n-1)}{\\beta'(\\beta'+1)\\ldots(\\beta'+n-1)} \\cdot \\frac{x^n}{1.2.3\\ldots n}.\n\\]\n\nIts sum will be found to be\n\n\\[\n\\frac{\\Gamma\\beta}{\\Gamma z\\Gamma(\\beta-\\alpha)} \\cdot \\frac{\\Gamma\\beta'}{\\Gamma x'\\Gamma(\\beta'-\\alpha')} \\cdot \\int_0^1 \\int_0^{x_1} \\ldots v^{x-1}z^{\\alpha'-1}\\ldots(1-v)^{\\beta-\\alpha-1}(1-z)^{\\beta'-\\alpha'-1}\\ldots e^{vzx}\\ldots dv dz.\n\\]\n\nNext, if we consider the series, whose general term is\n\n\\[\n\\frac{1}{\\beta(\\beta+1)\\ldots(\\beta+n-1)} \\cdot \\frac{\\beta'(\\beta'+1)\\ldots(\\beta'+n-1)}{1.2.3\\ldots n},\n\\]\n\nwe find for the sum\n\n\\[\n\\frac{\\Gamma\\beta}{2\\pi} \\cdot \\frac{\\Gamma\\beta'}{2\\pi} \\cdot \\int_{-\\infty}^{\\infty} \\int_{-\\infty}^{\\infty} dz dz' \\ldots \\frac{e^{i(x+x')}}{(1+iz)(1+iz')\\beta'\\ldots}.\n\\]\n\nWe may easily reduce this to a possible form by putting \\( z = \\tan \\theta, z' = \\tan \\theta', \\ldots \\). If the series to be summed is of the nature of both the kinds of series we have been discussing, we must combine the two methods of summation together.\n\nNow consider the following differential equation:\n\n\\[\nu + \\varphi(D) \\varepsilon^\\omega u = 0, \\text{ where } \\varepsilon^\\omega = x.\n\\]\n\nThis equation can always be satisfied when the factors in the denominator of \\( \\varphi(D) \\) are real and unequal by a series of the form\n\n\\[\nu = 1 + \\frac{\\alpha\\beta\\gamma\\ldots}{\\alpha'\\beta'\\gamma'\\ldots} x + \\frac{\\alpha(\\alpha+1)\\beta(\\beta+1)\\gamma(\\gamma+1)\\ldots}{\\alpha'(\\alpha'+1)\\beta'(\\beta'+1)\\gamma'(\\gamma'+1)\\ldots} \\frac{x^2}{1.2} + \\&c.\n\\]\n\nWe shall suppose that the number of the quantities \\( \\alpha, \\beta, \\gamma \\&c. \\) is always less than the number of the quantities \\( \\alpha', \\beta', \\gamma' \\&c., \\) and, for the present, that the magnitude of \\( \\alpha, \\beta, \\gamma \\&c. \\) is always less than that of \\( \\alpha', \\beta' \\&c., \\) each to each. Then the sum of this series by means of definite integrals can always be found by the preceding theorems.\n\nNow Professor Boole has given, in the memoir I have before mentioned, the conditions which are necessary in order that the equation \\( u + \\varphi(D) \\varepsilon^\\omega u = 0 \\) may be integrable in finite terms, which are therefore the conditions that the sum of the above series, and consequently the value of any definite integral equivalent to it, may be found in finite terms. I shall now give some instances of the evaluation of definite integrals by the application of these principles. Let us consider the symbolical equation\n\n\\[\nu - \\frac{\\mu^2\\varepsilon^{2\\omega}u}{(D-1)(D-4)} = 0, \\text{ where } \\varepsilon^\\omega = x,\n\\]\n\nand assume for its solution\n\n\\[\nv - \\frac{\\mu^2\\varepsilon^{2\\omega}v}{(D-1)(D-2)} = 0, \\text{ so that } u = (D-2)v,\n\\]\n\nwhence\n\n\\[\nv = C_1 x e^{\\mu x} + C_2 x e^{-\\mu x}.\n\\]\n\nHence\n\n\\[\nu = C_1 (\\mu x^2 - x) e^{\\mu x} + C_2 (\\mu x^2 + x) e^{-\\mu x};\n\\]\nand we find from this the series\n\n\\[ x^4 \\left\\{ 1 + \\frac{\\mu^2}{5} \\cdot \\frac{x^2}{2^2} + \\frac{\\mu^4}{5 \\cdot 7} \\cdot \\frac{x^4}{1 \\cdot 2^4} + \\text{&c.} \\right\\} = \\frac{3}{2\\mu^3} \\left( (\\mu x^2 - x) e^{\\mu x} + (\\mu x^2 + x) e^{-\\mu x} \\right) \\quad \\ldots (I). \\]\n\nWhence we find, putting \\( p \\) for \\( \\frac{\\mu^2 x^2}{2^2} \\),\n\n\\[ \\int_{-\\frac{\\pi}{2}}^{\\frac{\\pi}{2}} d\\theta \\sqrt{\\cos \\theta} e^{\\mu \\cos \\theta} \\cos \\left( \\mu \\sin \\theta \\cos \\theta + \\frac{5\\theta}{2} - \\tan \\theta \\right) = \\frac{\\sqrt{\\pi}}{2\\mu^2} \\left\\{ 2\\mu e^{3\\sqrt{\\mu}} - \\sqrt{\\mu} e^{3\\sqrt{\\mu}} + 2\\mu e^{-2\\sqrt{\\mu}} + \\sqrt{\\mu} e^{-2\\sqrt{\\mu}} \\right\\}. \\]\n\nNext consider the symbolical equation\n\n\\[ (D-1)(D-3)(D-5)u - \\mu^3 e^{3\\omega u} = 0, \\text{ where } \\varepsilon^\\omega = x; \\]\n\nand assume as the transformed equation\n\n\\[ (D-1)(D-2)(D-3)v - \\mu^3 e^{3\\omega v} = 0. \\]\n\nThen\n\n\\[ u = (D-2)v, \\]\n\nand\n\n\\[ v = C_1 x e^{\\mu x} + C_2 x e^{\\mu x} + C_3 x e^{\\mu x}; \\]\n\nwhere 1, \\( \\alpha, \\beta \\) are the three cube roots of unity.\n\nHence\n\n\\[ u = C_1 (\\mu x^2 - x) e^{\\mu x} + C_2 (\\alpha \\mu x^2 - x) e^{\\mu x} + C_3 (\\beta \\mu x^2 - x) e^{\\mu x}. \\]\n\nWe must determine \\( C_1, C_2, C_3 \\) according to the series we have to sum.\n\nIf\n\n\\[ C_1 = \\frac{8}{3\\mu^4}, \\quad C_2 = -\\frac{4(1 + \\sqrt{-3})}{3\\mu^4}, \\quad C_3 = -\\frac{4(1 - \\sqrt{-3})}{3\\mu^4}, \\]\n\nwe find\n\n\\[ x^5 \\left\\{ 1 + \\frac{1}{5 \\cdot 7} \\cdot \\frac{\\mu^3 x^3}{3^3} + \\frac{1}{5 \\cdot 7 \\cdot 10} \\cdot \\frac{\\mu^6 x^6}{3^6} + \\text{&c.} \\right\\} = \\frac{8}{3\\mu^4} (\\mu x^2 - x) e^{\\mu x} + \\frac{8}{3\\mu^4} (2\\mu x^2 + x) e^{-\\mu x} \\cos \\frac{\\sqrt{3}}{2} \\mu x \\]\n\n\\[ - \\frac{8\\sqrt{3}}{3\\mu^4} x e^{-\\mu x} \\sin \\frac{\\sqrt{3}}{2} \\mu x \\quad \\ldots \\ldots \\quad (II). \\]\n\nWhence\n\n\\[ \\int_{-\\frac{\\pi}{2}}^{\\frac{\\pi}{2}} d\\theta d\\phi e^{\\mu \\cos \\theta \\cos \\phi \\cos (\\theta + \\phi)} \\cos^{-\\frac{1}{2}} \\theta \\cos^{\\frac{1}{2}} \\phi \\]\n\n\\[ \\cos \\left\\{ \\mu \\cos \\theta \\cos \\phi \\sin (\\theta + \\phi) + \\frac{5\\theta}{3} + \\frac{7\\phi}{3} - (\\tan \\theta + \\tan \\phi) \\right\\} \\]\n\n\\[ = \\frac{2\\pi}{3 \\sqrt{3} \\mu^2} \\left\\{ (3\\sqrt{\\mu} - 1) e^{3\\sqrt{\\mu}} + (6\\sqrt{\\mu} + 1) e^{-3\\sqrt{\\mu}} \\cos \\frac{3\\sqrt{3}}{2} \\sqrt{\\mu} \\right. \\]\n\n\\[ - \\sqrt{3} e^{-3\\sqrt{\\mu}} \\sin \\frac{3\\sqrt{3}}{2} \\sqrt{\\mu} \\right\\}. \\]\nAlso\n\n\\[ x^6 \\left[ 1 + \\frac{1}{7} \\cdot \\frac{8}{3} \\cdot \\frac{\\mu^3 x^3}{3^3} + \\frac{1}{7} \\cdot \\frac{10}{3} \\cdot \\frac{8}{3} \\cdot \\frac{\\mu^6 x^6}{3^6} + \\text{etc.} \\right] = \\frac{40}{3\\mu^5} (\\mu x^2 - 2x) e^{\\mu x} - \\frac{40x}{3\\mu^5} (\\mu x - 2) e^{-\\mu x/2} \\cos \\frac{\\sqrt{3}}{2} \\mu x + \\frac{40\\sqrt{3}x}{3\\mu^5} (\\mu x + 2) e^{-\\mu x/2} \\sin \\frac{\\sqrt{3}}{2} \\mu x \\right]. \\quad \\ldots \\quad (III.)\n\nWhence\n\n\\[ \\int_{-\\pi/2}^{\\pi/2} \\int_{-\\pi/2}^{\\pi/2} d\\theta d\\phi e^{\\mu \\cos \\theta \\cos \\phi \\cos (\\theta + \\phi)} \\cos^{3/2} \\theta \\cos^{3/2} \\phi \\]\n\n\\[ \\cos \\left\\{ \\mu \\cos \\theta \\cos \\phi \\sin (\\theta + \\phi) + \\frac{7\\theta}{3} + \\frac{8\\phi}{3} - (\\tan \\theta + \\tan \\phi) \\right\\} \\]\n\n\\[ = \\frac{2\\pi}{3\\sqrt{3}\\varepsilon^2 \\mu^5} \\left( (3\\sqrt{3}\\mu - 2)\\varepsilon^{3\\sqrt{3}\\mu} - (3\\sqrt{3}\\mu - 2)\\varepsilon^{-3\\sqrt{3}\\mu/2} \\cos \\frac{3\\sqrt{3}\\mu}{2} \\right) \\]\n\n\\[ + \\sqrt{3}(3\\sqrt{3}\\mu + 2)\\varepsilon^{-3\\sqrt{3}\\mu/2} \\sin \\frac{3\\sqrt{3}\\mu}{2}. \\]\n\nAgain, let the symbolical equation be\n\n\\[ (D-1)(D-2)(D-5)u - \\mu^2(D-3)\\varepsilon^{2\\mu}u = 0, \\]\n\nand let the transformed equation be\n\n\\[ (D-1)(D-2)v - \\mu^2\\varepsilon^{2\\mu}v = (D-1)(D-2)V, \\]\n\nwhence\n\n\\[ u = (D-3)v, \\quad 0 = (D-3)V. \\]\n\nHence we find\n\n\\[ V = Cx^3, \\]\n\nand\n\n\\[ v = C_1x + C_2x e^{\\mu x} + C_3x e^{-\\mu x}, \\]\n\nwhence\n\n\\[ u = -2C_1x + C_2(\\mu x^2 - 2x)e^{\\mu x} + C_3(-\\mu x^2 - 2x)e^{-\\mu x}; \\]\n\nwe determine \\( C_1, C_2, C_3 \\) according to the series we have to sum. Hence we find\n\n\\[ x^5 \\left[ 1 + \\frac{2}{5} \\cdot \\frac{3}{2} \\cdot \\frac{\\mu^2 x^2}{2^2} + \\frac{2}{5} \\cdot \\frac{3}{2} \\cdot \\frac{\\mu^4 x^4}{2^4} + \\text{etc.} \\right] = \\frac{24x}{\\mu^4} + \\frac{6}{\\mu^4} (\\mu x^2 - 2x)e^{\\mu x} - \\frac{6}{\\mu^4} (\\mu x^2 + 2x)e^{-\\mu x}. \\quad (IV.) \\]\n\nHence we have\n\n\\[ \\int_0^1 \\int_{-\\pi/2}^{\\pi/2} d\\theta d\\phi \\varepsilon^{(1-v)^{-1/2} \\cos \\theta \\mu^n \\cos \\phi \\cos (\\mu v \\sin \\theta \\cos \\theta + 3\\theta - \\tan \\theta)} \\]\n\n\\[ = \\frac{2\\pi}{\\mu^2 \\varepsilon} + \\frac{\\pi}{\\mu^2 \\varepsilon} (\\sqrt{\\mu} - 1)\\varepsilon^{2\\sqrt{\\mu}} - \\frac{\\pi}{\\mu^2 \\varepsilon} (\\sqrt{\\mu} + 1)\\varepsilon^{-2\\sqrt{\\mu}}. \\]\n\nBy a similar method we find\n\n\\[ x^4 \\left[ 1 + \\frac{2}{3} \\cdot \\frac{7}{2} \\cdot \\frac{\\mu^2 x^2}{2^2} + \\frac{2}{3} \\cdot \\frac{7}{2} \\cdot \\frac{\\mu^4 x^4}{2^4} + \\text{etc.} \\right] = \\frac{120x^2}{\\mu^4} + \\frac{30}{\\mu^5} (\\mu x^3 - 3x)e^{\\mu x} + \\frac{30}{\\mu^5} (\\mu x^3 + 3x)e^{-\\mu x}. \\quad (V.) \\]\nwhence we have\n\n$$\\int_0^1 \\int_{-\\frac{\\pi}{2}}^{\\frac{\\pi}{2}} d\\theta dv v(1-v)^{\\frac{1}{2}} \\cos \\theta \\varepsilon^{\\mu v} \\cos \\theta \\cos (\\mu v \\sin \\theta \\cos \\theta + 3\\theta - \\tan \\theta)$$\n\n$$= \\frac{2\\pi}{\\mu^{\\frac{5}{2}}} + \\frac{\\pi}{4\\mu^{\\frac{3}{2}}} (2\\sqrt{\\mu} - 3)\\varepsilon^{2\\sqrt{\\mu}} + \\frac{\\pi}{4\\mu^{\\frac{3}{2}}} (2\\sqrt{\\mu} + 3)\\varepsilon^{-2\\sqrt{\\mu}}.$$ \n\nIt is to be particularly remarked, that we may in many cases simplify the final results, which we obtain by means of these summations, by the use of the theorem\n\n$$\\Gamma_n^1 \\Gamma_n^2 \\Gamma_n^3 \\cdots \\Gamma_n^{n-1} = (2\\pi)^{\\frac{n-1}{2}} n^{-\\frac{1}{2}}.$$\n\nAgain, let\n\n$$(D-1)(D-3)(D-5)u - \\mu(D-2)(D-4)\\varepsilon^\\theta u = 0,$$\n\nand assume as the transformed equation\n\n$$(D-1)v - \\mu\\varepsilon^\\theta v = 0.$$ \n\nThen\n\n$$u = (D-2)(D-4)v,$$\n\n$$0 = (D-2)(D-4)V,$$\n\nwhence\n\n$$V = Ax^2 + Bx^4,$$\n\nand\n\n$$v = C_1(\\mu x^3 - x)\\varepsilon^{\\mu x} + C_2x^3 + C_3x,$$\n\nwhence\n\n$$u = C_1(\\mu^2 x^3 - 3\\mu x^2 + 3x)\\varepsilon^{\\mu x} + C_2x^3 + C_3x,$$\n\nwhere the constants must be determined by comparison of this expression with the series to be summed. Thus we have\n\n$$x^6 \\left\\{ 1 + \\frac{2.4}{3.5} \\mu x + \\frac{2.3.4.5}{3.4.5.6} \\frac{\\mu^2 x^2}{1.2} + &c. \\right\\} = \\frac{8}{\\mu^4} \\varepsilon^{\\mu x} (\\mu^2 x^3 - 3\\mu x^2 + 3x) - \\frac{24x}{\\mu^4} + \\frac{4}{\\mu^2} x^3. \\quad \\text{(VI.)}$$\n\nHence\n\n$$\\int_0^1 \\int_0^1 vz^3 \\varepsilon^{\\mu z} dv dz = \\frac{\\varepsilon^{\\mu}}{\\mu^4} (\\mu^2 - 3\\mu + 3) - \\frac{3}{\\mu^4} + \\frac{1}{2\\mu^2}.$$ \n\nMoreover we shall find\n\n$$x^6 \\left\\{ 1 + \\frac{2.5}{4.6} \\mu x + \\frac{2.3.5.6}{4.5.6.7} \\frac{\\mu^2 x^2}{1.2} + &c. \\right\\} = \\frac{30}{\\mu^5} (\\mu^2 x^3 - 4\\mu x^2 + 4x) + \\frac{10}{\\mu^3} \\left( x^4 + \\frac{3x^3}{\\mu} \\right) - \\frac{120}{\\mu^5} x. \\quad \\text{(VII.)}$$\n\nwhence\n\n$$\\int_0^1 \\int_0^1 vz^4 (1-v) \\varepsilon^{\\mu z} dv dz = \\frac{\\varepsilon^{\\mu}}{\\mu^5} (\\mu - 2)^2 + \\frac{1}{3\\mu^3} \\left( 1 + \\frac{3}{\\mu} \\right) - \\frac{4}{\\mu^5}.$$ \n\nWe shall also find\n\n$$x^4 \\left\\{ 1 + \\frac{2}{4} \\mu x + \\frac{2.3}{4.5} \\frac{\\mu^2 x^2}{1.2} + \\frac{2.3.4}{4.5.6} \\frac{\\mu^3 x^3}{1.2.3} + &c. \\right\\} = \\frac{6}{\\mu^3} (\\mu x^2 - 2x) \\varepsilon^{\\mu x} + \\frac{6}{\\mu^3} (\\mu x^2 + 2x). \\quad \\text{(VIII.)}$$\n\nHence\n\n$$\\int_0^1 v(1-v) \\varepsilon^{\\mu v} dv = \\frac{1}{\\mu^3} (\\mu - 2) \\varepsilon^{\\mu} + \\frac{1}{\\mu^3} (\\mu + 2).$$\n\nThese three last integrals can be obtained by ordinary integration. I have introduced them here partly for the sake of system, and partly because we shall require the series which they represent on other occasions.\nWe may extend this process, by performing operations with respect to the quantity \\( \\mu \\). Thus we may operate on any of the integrals we have obtained by such a symbol as \\( F\\left(\\frac{d}{d\\mu}\\right) \\), where \\( F \\) is any rational function; and if it is an entire function, we have merely differentiations to perform. If it is a rational fraction, and the factors of the denominator are real and unequal, we may decompose it into simple rational fractions, each of which may, in its turn, be transformed into a simple integral. If we apply this operation to any of the results we have obtained, we immediately have a definite integral \\( \\int \\ldots P e^{\\alpha Q} F(Q) \\, dv \\ldots db \\ldots \\) expressed in a series of single integrals, where the integrations are performed with respect to \\( \\mu \\), and \\( \\mu \\) may be taken between any limits. But \\( \\mu \\) must in no case pass through zero, as the definite integrals, on which we operate with respect to \\( \\mu \\), cannot be found for that value of \\( \\mu \\) by the processes we have been investigating. There are many other operations of a similar nature, which it is easy to imagine.\n\nI am now come to the second part of this memoir, the investigation of those new methods of summation, and of the definite integrals corresponding to them, to which I have before alluded. Let us consider the series\n\n\\[ 1 + \\frac{x}{\\beta} + \\frac{x^2}{\\beta(\\beta+1) \\cdot 1 \\cdot 2} + \\frac{x^3}{\\beta(\\beta+1)(\\beta+2) \\cdot 1 \\cdot 2 \\cdot 3} + \\&c., \\]\n\nwhere \\( \\beta \\) is an integer. The following integral is known:\n\n\\[ \\int_0^\\pi d\\theta \\, e^{a \\cos \\theta} \\cos(a \\sin \\theta) \\cos n\\theta = \\frac{\\pi}{2} \\cdot \\frac{a^n}{1 \\cdot 2 \\cdot 3 \\ldots n}; \\]\n\n\\[ \\therefore \\quad \\frac{1}{\\Gamma \\beta} = \\frac{1}{\\pi a^{\\beta-1}} \\int_{-\\pi}^\\pi d\\theta \\, e^{a \\cos \\theta} \\cos(a \\sin \\theta) e^{(\\beta-1)i\\theta}. \\]\n\nHence we find for the sum of the above series,\n\n\\[ \\frac{\\Gamma \\beta}{\\pi a^{\\beta-1}} \\int_{-\\pi}^\\pi d\\theta \\, e^{a \\cos \\theta} \\cos(a \\sin \\theta) e^{(\\beta-1)i\\theta} e^{\\frac{axi\\theta}{a}}. \\]\n\nNext let us consider the same series when \\( \\beta \\) is a fraction. We have\n\n\\[ \\frac{\\Gamma(\\beta-1)}{\\Gamma(\\beta+n)} = \\int_0^1 dv \\, v^n (1-v)^{\\beta-2}; \\]\n\n\\[ \\therefore \\quad \\frac{\\Gamma \\beta}{\\Gamma(\\beta+n)} = \\frac{\\beta-1}{\\pi a^n} \\int_0^1 \\int_{-\\pi}^\\pi d\\theta dv \\, v^n (1-v)^{\\beta-2} e^{a \\cos \\theta} \\cos(a \\sin \\theta) e^{ni\\theta}, \\]\n\nexcept for \\( n=0 \\), when\n\n\\[ \\frac{2 \\Gamma \\beta}{\\Gamma \\beta} = \\frac{\\beta-1}{\\pi} \\int_0^1 \\int_{-\\pi}^\\pi d\\theta dv \\, (1-v)^{\\beta-2} e^{a \\cos \\theta} \\cos(a \\sin \\theta); \\]\n\nand we find for the sum of the series,\n\n\\[ \\frac{\\beta-1}{\\pi} \\int_0^1 \\int_{-\\pi}^\\pi (1-v)^{\\beta-2} e^{a \\cos \\theta} \\cos(a \\sin \\theta) e^{\\frac{axi\\theta}{a}} d\\theta dv - 1. \\]\nThe following are instances of the application of this method obtained by using series I., III., IV.:\n\n\\[ \\int_{0}^{1} \\int_{-\\pi}^{\\pi} d\\theta dz (1-z)^{\\frac{3}{2}} e^{(\\alpha+z)\\cos \\theta} \\cos (\\mu \\sin \\theta) \\cos (\\mu z \\sin \\theta) = \\frac{2\\pi}{3} + \\frac{\\pi}{8\\mu^2 \\alpha^2} \\left( 2\\mu \\sqrt{\\alpha - 1} e^{2\\mu \\sqrt{\\alpha}} + (2\\mu \\sqrt{\\alpha} + 1) e^{-2\\mu \\sqrt{\\alpha}} \\right) \\]\n\n\\[ \\int_{0}^{1} \\int_{0}^{1} \\int_{-\\pi}^{\\pi} \\int_{-\\pi}^{\\pi} \\varepsilon^{\\alpha \\cos \\theta + \\beta \\cos \\phi + \\mu v z \\cos (\\theta + \\phi)} (1-v)^{\\frac{1}{2}} (1-z)^{\\frac{3}{2}} \\cos (\\alpha \\sin \\theta) \\cos (\\beta \\sin \\phi) \\cos (\\mu v z \\sin (\\theta + \\phi)) d\\theta d\\phi dv dz = \\frac{27\\pi^2}{20} + \\frac{2\\pi^2}{81(\\mu \\alpha)^{\\frac{3}{2}}} \\left( 3\\sqrt[3]{\\mu \\alpha \\beta} - 2 \\right) \\varepsilon^{3\\sqrt[3]{\\mu \\alpha \\beta}} - \\frac{2\\pi^2}{81(\\mu \\alpha)^{\\frac{3}{2}}} \\varepsilon^{-3\\sqrt[3]{\\mu \\alpha \\beta}} \\]\n\n\\[ \\left\\{ \\left( 3\\sqrt[3]{\\mu \\alpha \\beta} - 2 \\right) \\cos \\frac{3\\sqrt[3]{\\mu \\alpha \\beta}}{2} \\sqrt[3]{\\mu \\alpha \\beta} - \\sqrt{3} \\left( 3\\sqrt[3]{\\mu \\alpha \\beta} + 2 \\right) \\sin \\frac{3\\sqrt[3]{\\mu \\alpha \\beta}}{2} \\right\\} \\]\n\n\\[ \\int_{0}^{1} \\int_{-\\pi}^{\\pi} d\\theta dv v(1-v)^{-\\frac{1}{2}} \\varepsilon^{(\\alpha+\\mu v) \\cos \\theta} \\cos (2\\theta + \\mu v \\sin \\theta) \\cos (\\alpha \\sin \\theta) = \\frac{\\pi}{\\mu^2} + \\frac{\\pi}{2\\mu^3} \\left( \\sqrt{\\alpha \\mu} - 1 \\right) \\varepsilon^{2\\sqrt{\\alpha \\mu}} - \\frac{\\pi}{2\\mu^3} \\left( \\sqrt{\\alpha \\mu} + 1 \\right) \\varepsilon^{-2\\sqrt{\\alpha \\mu}}. \\]\n\nAgain, we know that\n\n\\[ \\int_{0}^{\\frac{\\pi}{2}} d\\theta \\cos^{\\beta} \\theta \\cos n\\theta = \\frac{\\pi \\Gamma(\\beta+1)}{2^{\\beta+1} \\Gamma\\left(\\frac{\\beta+n}{2} + 1\\right) \\Gamma\\left(\\frac{\\beta-n}{2} + 1\\right)}, \\]\n\nfrom which we may deduce the following:\n\n\\[ \\int_{-\\frac{\\pi}{2}}^{\\frac{\\pi}{2}} \\cos^{a+b-2} \\theta \\varepsilon^{(a-b)\\theta} d\\theta = \\frac{\\pi \\Gamma(a+b-1)}{2^{a+b-2} \\Gamma a \\Gamma b}. \\]\n\nNow consider the series\n\n\\[ 1 + \\frac{\\alpha}{\\beta} x + \\frac{\\alpha(\\alpha+1)}{\\beta(\\beta+1)} \\cdot \\frac{x^2}{1 \\cdot 2} + \\frac{\\alpha(\\alpha+1)(\\alpha+2)}{\\beta(\\beta+1)(\\beta+2)} \\cdot \\frac{x^3}{1 \\cdot 2 \\cdot 3} + &c., \\]\n\nwhere \\( \\alpha \\) is greater than \\( \\beta \\). Then by the above formula\n\n\\[ \\frac{\\Gamma(\\alpha+n)}{\\Gamma(\\beta+n)} = \\frac{2^{\\alpha+n-1}}{\\pi} \\Gamma(\\alpha-\\beta+1) \\int_{-\\frac{\\pi}{2}}^{\\frac{\\pi}{2}} d\\theta \\cos^{\\alpha+n-1} \\theta \\varepsilon^{(2\\beta-\\alpha+n-1)\\theta}; \\]\n\nand we find for the sum of the series,\n\n\\[ \\frac{2^{\\alpha-1}}{\\pi} \\frac{\\Gamma \\beta \\Gamma(\\alpha-\\beta+1)}{\\Gamma \\alpha} \\int_{-\\frac{\\pi}{2}}^{\\frac{\\pi}{2}} d\\theta \\cos^{\\alpha-1} \\theta \\varepsilon^{(2\\beta-\\alpha-1)\\theta} \\varepsilon^{\\frac{3}{2} \\cos \\theta} s^{\\theta x}. \\]\n\nIn like manner we can find the sum of the series\n\n\\[ 1 + \\frac{\\alpha}{\\beta} \\cdot \\frac{\\alpha'}{\\beta'} x + \\frac{\\alpha(\\alpha+1)}{\\beta(\\beta+1)} \\cdot \\frac{\\alpha'(\\alpha'+1)}{\\beta'(\\beta'+1)} \\cdot \\frac{x^2}{1 \\cdot 2} + &c., \\]\n\nwhere \\( \\alpha \\) is greater than \\( \\beta \\), \\( \\alpha' \\) than \\( \\beta' \\).\nThe use of this integral will give an important extension of the method I have employed for expressing the integrals of differential equations by means of definite integrals. For in order to the success of that method, it is necessary, as is shown in my paper in the Cambridge Mathematical Journal before alluded to, that the magnitude of the factorials (if any) in the numerator of each term of the series to be summed, should be less than that of the corresponding factorials in the denominator; whereas this integral enables us to sum series in which the reverse is the case. I shall now apply the series, whose sum we have just found, to the evaluation of definite integrals, using series VI. and VII. Hence\n\n\\[\n\\int_{-\\frac{\\pi}{2}}^{\\frac{\\pi}{2}} \\int_{-\\frac{\\pi}{2}}^{\\frac{\\pi}{2}} d\\theta dv v(1-v)^3 \\cos^4 \\theta \\varepsilon^{2\\mu v} \\cos^2 \\phi \\cos (2\\mu v \\sin \\theta \\cos \\phi + \\theta) = \\frac{\\pi}{4\\mu^4} (\\mu^2 - 3\\mu + 3)\\varepsilon^{\\mu} - \\frac{3\\pi}{4\\mu^4} + \\frac{\\pi}{8\\mu^2}\n\\]\n\n\\[\n\\int_{-\\frac{\\pi}{2}}^{\\frac{\\pi}{2}} \\int_{-\\frac{\\pi}{2}}^{\\frac{\\pi}{2}} d\\theta dv v(1-v)^3 \\cos^4 \\theta \\varepsilon^{2\\mu v} \\cos^2 \\phi \\cos (2\\mu v \\sin \\theta \\cos \\phi + 2\\theta)\n\\]\n\n\\[\n= \\frac{3\\pi}{8\\mu^5} (\\mu - 2)\\varepsilon^{\\mu} + \\frac{\\pi}{8\\mu^3} (\\mu + 3) - \\frac{3\\pi}{2\\mu^5}.\n\\]\n\nBy a process similar to those used above, we find\n\n\\[\n1 + \\frac{2}{3} \\cdot \\frac{\\mu^2 x^2}{2^2} + \\frac{2.3}{3 \\cdot 5} \\cdot \\frac{\\mu^4 x^4}{2^4} + \\text{&c.}\n\\]\n\n\\[\n= - \\frac{8}{\\mu^4 x^4} + \\frac{2}{\\mu^4 x^4} (\\mu^2 x^2 - 2\\mu x + 2)\\varepsilon^{\\mu x} + \\frac{2}{\\mu^4 x^4} (\\mu^2 x^2 + 2\\mu x + 2)\\varepsilon^{-\\mu x}.\n\\]\n\nHence\n\n\\[\n\\int_{-\\frac{\\pi}{2}}^{\\frac{\\pi}{2}} \\int_{-\\frac{\\pi}{2}}^{\\frac{\\pi}{2}} d\\theta d\\phi \\varepsilon^{\\alpha \\cos \\phi + 2\\mu \\cos \\theta \\cos (\\theta + \\phi)} \\cos \\theta \\cos (\\alpha \\sin \\phi) \\cos 2(\\phi + \\mu \\cos \\theta \\sin (\\theta + \\phi))\n\\]\n\n\\[\n= - \\frac{\\pi}{2\\mu^2} + \\frac{\\pi}{4\\mu^2} (2\\mu x - 2\\sqrt{\\mu x} + 1)\\varepsilon^{2\\sqrt{\\mu x}} + \\frac{\\pi}{4\\mu^2} (2\\mu x + 2\\sqrt{\\mu x} + 1)\\varepsilon^{-2\\sqrt{\\mu x}}.\n\\]\n\nThe following formulæ are found in Crelle's Journal:\n\n\\[\n\\int_{0}^{\\frac{\\pi}{2}} \\cos^{a-2} \\theta \\cot^b \\theta \\cos a \\theta d\\theta = \\frac{\\Gamma(a + b - 1)}{\\Gamma(a) \\Gamma(b)} \\cdot \\frac{\\pi}{2 \\cos \\frac{b\\pi}{2}}\n\\]\n\n\\[\n\\int_{0}^{\\frac{\\pi}{2}} \\cos^{a-2} \\theta \\cot^b \\theta \\sin a \\theta d\\theta = \\frac{\\Gamma(a + b - 1)}{\\Gamma(a) \\Gamma(b)} \\cdot \\frac{\\pi}{2 \\sin \\frac{b\\pi}{2}};\n\\]\n\n\\[\n\\therefore \\int_{0}^{\\frac{\\pi}{2}} \\cos^{a-2} \\theta \\cot^b \\theta \\varepsilon^{ai\\theta} d\\theta = \\frac{\\Gamma(a + b - 1)}{\\Gamma(a) \\Gamma(b)} \\cdot \\frac{\\pi}{\\sin b\\pi} \\varepsilon^{i(1-b)\\frac{\\pi}{2}};\n\\]\n\nwhence we find\n\n\\[\n\\frac{\\Gamma(a + b - 1)}{\\Gamma(a)} = \\frac{\\Gamma(b \\sin b\\pi)}{\\pi} \\varepsilon^{-i(1-b)\\frac{\\pi}{2}} \\int_{0}^{\\frac{\\pi}{2}} \\cos^{a-2} \\theta \\cot^b \\theta \\varepsilon^{ai\\theta} d\\theta.\n\\]\n\nIn this formula we suppose \\(b\\) to be less than unity.\nNow put \\( b = \\frac{1}{2} \\), then\n\n\\[\n\\frac{\\Gamma\\left(\\alpha - \\frac{1}{2}\\right)}{\\Gamma\\alpha} = \\frac{1}{\\sqrt{\\pi}} e^{-\\frac{i\\pi}{4}} \\int_{0}^{\\frac{\\pi}{2}} \\cos^{\\alpha-2}\\theta \\cot^{\\frac{1}{2}}\\theta \\, e^{i\\alpha\\theta}\n\\]\n\nand putting \\( \\alpha = n + \\frac{5}{2} \\), we have\n\n\\[\n\\frac{\\Gamma(n+2)}{\\Gamma\\left(n+\\frac{5}{2}\\right)} = \\frac{1}{\\sqrt{\\pi}} e^{-\\frac{i\\pi}{4}} \\int_{0}^{\\frac{\\pi}{2}} \\cos^{n+\\frac{1}{2}}\\theta \\cot^{\\frac{1}{2}}\\theta \\, e^{i(n+\\frac{3}{2})\\theta}\n\\]\n\nwhence we find, from series IV.,\n\n\\[\n1 + \\frac{2}{5} \\cdot \\frac{2 \\cdot 3}{7 \\cdot 3 \\cdot 4} \\cdot \\frac{\\mu^2}{1 \\cdot 2} + &c.\n\\]\n\n\\[\n= \\frac{3}{2\\pi} e^{-\\frac{i\\pi}{4}} \\int_{0}^{\\frac{\\pi}{2}} \\int_{-\\pi}^{\\pi} \\cos^{\\frac{1}{2}}\\theta \\cot^{\\frac{1}{2}}\\theta \\, e^{\\frac{5i\\theta}{2}} \\cos\\varphi \\, e^{i\\varphi} d\\varphi d\\theta \\, e^{\\mu \\cos\\theta \\, e^{i(\\theta+\\varphi)}}\n\\]\n\n\\[\n\\therefore \\quad \\text{(since } \\frac{2\\pi}{3} e^{-\\frac{i\\pi}{4}} = \\frac{\\pi \\sqrt{2}}{3} + \\frac{\\pi i \\sqrt{2}}{3} \\text{)} \\quad \\text{we have}\n\\]\n\n\\[\n\\int_{0}^{\\frac{\\pi}{2}} \\int_{-\\pi}^{\\pi} \\cos^{\\frac{1}{2}}\\theta \\cot^{\\frac{1}{2}}\\theta \\, e^{\\cos\\varphi \\cos(\\theta+\\varphi)} d\\varphi d\\theta \\cos\\left\\{ \\mu \\cos\\theta \\sin(\\theta+\\varphi) + \\frac{5\\theta}{2} + 2\\varphi \\right\\}\n\\]\n\n\\[\n= \\frac{\\pi}{\\mu^2 \\sqrt{2}} + \\frac{\\pi}{2 \\sqrt{2\\mu^3}} (\\sqrt{\\mu} - 1) e^{2\\sqrt{\\mu}} - \\frac{\\pi}{2 \\sqrt{2\\mu^3}} (\\sqrt{\\mu} + 1) e^{-2\\sqrt{\\mu}}\n\\]\n\nLet us again consider the series\n\n\\[\n1 + \\frac{\\alpha}{\\beta} x + \\frac{\\alpha(\\alpha+1)}{\\beta(\\beta+1)} \\cdot \\frac{x^2}{1 \\cdot 2} + \\frac{\\alpha(\\alpha+1)(\\alpha+2)}{\\beta(\\beta+1)(\\beta+2)} \\cdot \\frac{x^3}{1 \\cdot 2 \\cdot 3} + &c.\n\\]\n\nThen making use of the integrals\n\n\\[\n\\Gamma(\\alpha+n) = \\int_{0}^{\\infty} z^{\\alpha+n-1} dz, \\quad \\text{and} \\quad \\Gamma(\\alpha+n) = h^{\\alpha+n} e^{-\\frac{\\pi i}{2}(\\alpha+n)} \\int_{0}^{\\infty} e^{hiz} z^{\\alpha+n-1} dz,\n\\]\n\nwhere \\( (h) \\) is a constant quantity, we find as the sum of this series,\n\n\\[\n\\frac{\\Gamma\\beta}{\\Gamma\\alpha} \\cdot \\frac{1}{2\\pi} \\int_{0}^{\\infty} \\int_{-\\infty}^{\\infty} dv dz \\, z^{\\alpha-1} e^{-z} \\frac{e^{i\\varphi}}{(1+iw)^{\\beta}} \\frac{e^{i\\varphi}}{1+iw},\n\\]\n\nand\n\n\\[\n\\frac{\\Gamma\\beta}{\\Gamma\\alpha} \\cdot \\frac{1}{2\\pi} \\int_{0}^{\\infty} \\int_{-\\infty}^{\\infty} dv dz \\, z^{\\alpha-1} e^{ihz} \\frac{e^{i\\varphi}}{(1+iw)^{\\beta}} \\frac{e^{i\\varphi}}{1+iw};\n\\]\n\nalso when \\( \\beta \\) is an integer, we may find the following expressions as the sum of the same series:\n\n\\[\n\\frac{\\Gamma\\beta}{\\Gamma\\alpha} \\cdot \\frac{1}{\\pi c^{\\beta-1}} \\int_{0}^{\\infty} \\int_{-\\pi}^{\\pi} d\\varphi dz \\, z^{\\alpha-1} e^{-z} \\cos(c \\sin\\varphi) \\, e^{c \\cos\\varphi} \\cdot e^{(B-1)\\varphi} \\cdot e^{\\frac{ixz}{c}},\n\\]\n\nand also\n\n\\[\n\\frac{\\Gamma\\beta}{\\Gamma\\alpha} \\cdot \\frac{1}{\\pi c^{\\beta-1}} \\cdot h^{\\alpha} e^{-\\frac{\\pi i}{2}} \\int_{0}^{\\infty} \\int_{-\\pi}^{\\pi} d\\varphi dz \\, z^{\\alpha-1} e^{ihz} \\cos(c \\sin\\varphi) \\, e^{c \\cos\\varphi} \\cdot e^{(B-1)\\varphi} \\cdot e^{\\frac{-ihxz}{c}}.\n\\]\nFrom hence we obtain, using the first of the two integrals and the series\n\n\\[1 + \\frac{2}{4} \\mu + \\frac{2.3}{4.5} \\cdot \\frac{\\mu^2}{1.2} + \\frac{2.3.4}{4.5.6} \\cdot \\frac{\\mu^3}{1.2.3} + &c. = \\frac{6}{\\mu^3} (\\mu - 2) \\varepsilon^\\mu + \\frac{6}{\\mu^3} (\\mu + 2)\\]\n\n\\[= \\int_0^\\infty \\int_{-\\pi}^\\pi d\\theta dz e^{\\mu z \\cos \\theta - z} z \\cos \\theta \\cos (\\mu z \\sin \\theta \\cos \\theta + 4\\theta - \\tan \\theta) = \\frac{2\\pi}{\\mu^3} (\\mu - 2) \\varepsilon^\\mu + \\frac{2\\pi}{\\mu^3} (\\mu + 2),\\]\n\nand also\n\n\\[= \\int_0^\\infty \\int_{-\\pi}^\\pi d\\theta dz e^{\\mu z \\cos \\theta + \\frac{h z \\cos \\theta}{c}} - z \\cos (c \\sin \\theta) \\cos \\left(\\frac{\\mu z \\sin \\theta}{c} + 3\\theta\\right)\\]\n\n\\[= \\frac{\\pi c^3}{\\mu^3} (\\mu - 2) \\varepsilon^\\mu + \\frac{\\pi c^3}{\\mu^3} (\\mu + 2).\\]\n\nThe second integral will require in its applications, that we equate possible and impossible parts, in other respects the results will be analogous to those we have just obtained.\n\nThere are one or two other methods of summation which I shall briefly notice.\n\nWe see at once that\n\n\\[1 + \\frac{\\mu}{2} + \\frac{1}{1.2} \\cdot \\frac{\\mu^2}{3} + \\frac{1}{1.2.3} \\cdot \\frac{\\mu^3}{4} + &c. = \\frac{\\varepsilon^\\mu - 1}{\\mu}.\\]\n\nNow if \\(r\\) be any integer,\n\n\\[\\frac{1}{r} = \\frac{2(-1)^{r-1}}{\\pi} \\int_{-\\frac{\\pi}{2}}^{\\frac{\\pi}{2}} d\\theta \\log \\cos \\theta \\varepsilon^{2r\\theta}.\\]\n\nHence\n\n\\[1 + \\frac{\\mu}{2} + \\frac{1}{1.2} \\cdot \\frac{\\mu^2}{3} + \\frac{1}{1.2.3} \\cdot \\frac{\\mu^3}{4} + &c. = \\frac{2}{\\pi} \\int_{-\\frac{\\pi}{2}}^{\\frac{\\pi}{2}} d\\theta \\log \\cos \\theta \\varepsilon^{2r\\theta} \\varepsilon^{-\\mu 2r\\theta}\\]\n\nWhence\n\n\\[\\int_{-\\frac{\\pi}{2}}^{\\frac{\\pi}{2}} d\\theta \\log \\cos \\theta \\varepsilon^{-\\mu \\cos 2\\theta} \\cos (\\mu \\sin 2\\theta - 2\\theta) = \\frac{\\pi}{2} \\cdot \\frac{\\varepsilon^\\mu - 1}{\\mu}.\\]\n\nThe integral\n\n\\[\\int_0^\\pi \\theta \\sin \\theta \\cos^{2r} \\theta = \\frac{\\pi}{2r+1}\\]\n\ncan be employed in the same way.\n\nAgain,\n\n\\[\\int_0^{\\frac{\\pi}{2}} \\cos^n \\theta \\cos n\\theta d\\theta = \\frac{\\pi}{2} \\cdot \\frac{1}{2^n},\\]\n\nwhence\n\n\\[\\int_{-\\frac{\\pi}{2}}^{\\frac{\\pi}{2}} d\\theta \\cos^n \\theta \\varepsilon^{n\\theta} = \\frac{\\pi}{2^n}.\\]\n\nHence using the series\n\n\\[1 + \\frac{\\mu^2}{2} \\cdot \\frac{1}{1.2} + \\frac{\\mu^4}{2} \\cdot \\frac{1}{3.2} + &c. = \\frac{\\varepsilon^\\mu + \\varepsilon^{-\\mu}}{2},\\]\n\nwe find\n\n\\[\\int_{-\\frac{\\pi}{2}}^{\\frac{\\pi}{2}} \\int_{-\\frac{\\pi}{2}}^{\\frac{\\pi}{2}} d\\theta d\\phi \\cos^{-\\frac{3}{2}} \\phi \\varepsilon^{\\mu^2 \\cos^2 \\phi \\cos (2\\theta - \\phi)} \\cos \\left(\\mu^2 \\sin (2\\theta - \\phi) \\cos^2 \\theta \\cos \\phi + \\tan \\phi - \\frac{\\phi}{2}\\right)\\]\n\n\\[= \\frac{\\sqrt{\\pi}}{\\varepsilon} (\\varepsilon^\\mu + \\varepsilon^{-\\mu}).\\]\nThere are some other definite integrals which we may use in the summation of factorial series, as\n\n\\[\n\\int_{0}^{\\frac{\\pi}{2}} d\\theta \\cos^n \\theta \\cos n\\theta \\cos 2r\\theta = \\frac{\\pi}{4} \\cdot \\frac{n(n-1)\\ldots(n-r+1)}{1.2.3\\ldots r} \\cdot \\frac{1}{2^n}\n\\]\n\n\\[\n\\int_{0}^{\\pi} \\frac{d\\theta \\sin^{2n}\\theta}{(1-2a \\cos \\theta + a^2)^n} = \\frac{(2n-1)(2n-3)\\ldots 3.1}{2n(2n-2)\\ldots 4.2} \\cdot \\frac{\\pi}{2^n}\n\\]\n\n\\[\n\\int_{0}^{1} \\frac{dx x^{\\alpha-1}(1-x)^{\\beta-1}}{(x+a)^{\\alpha+\\beta}} = \\frac{1}{a^\\beta (1+a)^\\alpha} \\cdot \\frac{\\Gamma_\\alpha \\Gamma_\\beta}{\\Gamma(\\alpha+\\beta)}\n\\]\n\n\\[\n\\int_{-\\infty}^{\\infty} \\frac{dx}{(a+ix)^m(b-ix)^n} = 2\\pi(a+b)^{1-m-n} \\cdot \\frac{1.2.3\\ldots m+n-2}{1.2.3\\ldots m-1.1.2.3\\ldots n-1}\n\\]\n\n\\[\n\\int_{0}^{\\infty} \\frac{x^{m-\\frac{1}{2}} dx}{(x+a)(x+b)^{\\frac{1}{2}}} = \\frac{\\Gamma \\frac{1}{2} \\Gamma \\left( n - \\frac{1}{2} \\right)}{\\Gamma_n} \\cdot \\frac{1}{(\\sqrt{a} + \\sqrt{b})^{2n-1}}\n\\]\n\nand probably some besides.\n\nI shall now offer a few observations on the nature of the integrals we have been discussing. The preceding investigations appear to be equivalent to a solution of the following problem:—“To find the definite integrals, whose values can be determined in finite terms by the solution of linear differential equations with variable coefficients.” It should seem that the definite integrals, which we have considered in this paper, are the most general ones of any importance, whose values can be found in this way, for the following reasons:—If we expand any definite integral, which is a solution of a differential equation, and its equivalent in terms of the principal variable, and equate like powers of that variable, we obtain a series of definite integrals of a simpler kind, each equal to a fraction whose numerator and denominator consist of factorials, and can therefore be expressed by the products of Eulerian integrals, or to the sum of such fractions. Now I have employed all the more important definite integrals of this class, which are yet known, in the summation of the series which satisfy the differential equation\n\n\\[\n(ax^n + bx^{n-r}) \\frac{dy}{dx^n} + (a'x^{n-1} + b'x^{n-r-1}) \\frac{dy}{dx^{n-1}} + \\text{&c.} = 0\n\\]\n\nand as the properties of the Eulerian integrals have been much studied, and the integrals whose values are dependent on them consequently well known, it is probable that the definite integrals, which we have considered in this paper, embrace all the more important ones whose values can be determined in finite terms by the solution of the above equation. Were we to employ equations of a more general form, we should find that the successive terms of the series which express their solutions, would be given by equations of finite differences, in which the members equated to zero would each consist of more than two terms. Consequently we should be unable in the general case to sum the resulting series by means of definite integrals; and in those cases in which we might find this possible, the integration of the differential\nequations in finite terms would be practicable in very few cases. The following method of determining a well-known definite integral is here added, to show the connexion between previous investigations relative to definite integrals, and those given in the present memoir.\n\nWe know that \\(1 - r^2 + \\frac{r^4}{1.2} - \\frac{r^6}{1.2.3} + \\cdots = e^{-r^2}\\),\n\nor \\(1 - \\frac{(2r)^2}{1.2} + \\frac{(2r)^4}{1.2.3.4} - \\frac{(2r)^6}{1.2.3.4.5.6} + \\cdots = e^{-r^2}\\).\n\nHence remembering that \\(\\int_0^\\infty dz z^{2n} e^{-z^2} = \\frac{1.3.5\\ldots(2n-1)}{2^n} \\frac{\\sqrt{\\pi}}{2}\\),\n\nwe find \\(\\int_0^\\infty e^{-z^2} \\cos 2rz = \\frac{\\sqrt{\\pi}}{2} e^{-r^2}\\).\n\nI shall now enter on some investigations connected with Lagrange's theorem.\n\nLet \\(1 - y + ay^r = 0\\) be an algebraical equation. Then Lagrange's theorem gives us the following series:\n\n\\[y^m = 1 + m\\alpha + \\frac{m(m+2r-1)}{1.2} \\alpha^2 + \\cdots + \\frac{m(m+nr-1)(m+nr-2)\\ldots(m+n(r-1)+1)}{1.2.3\\ldots n} \\alpha^n + \\cdots\\]\n\nIf we apply the usual test of convergency to this series, we find that \\((r-1)\\alpha\\) must be less than unity.\n\nThen we see that\n\n\\[\\frac{1}{m} \\frac{dy^m}{d\\alpha} = 1 + (m+2r-1)\\alpha + \\frac{(m+3r-1)(m+3r-2)}{1.2} \\alpha^2 + \\cdots + \\frac{(m+nr-1)(m+nr-2)\\ldots(m+n(r-1)+1)}{1.2.3\\ldots(n-1)} \\alpha^{n-1} + \\cdots\\]\n\nNow \\((m+nr-1)(m+nr-2)\\ldots(m+n(r-1)+1) = \\frac{\\Gamma(m+nr)}{\\Gamma(m+n(r-1)+1)}\\);\n\nwherefore, since \\(\\frac{\\Gamma(a+b-1)}{\\Gamma(a)\\Gamma(b)} = \\frac{2^{a+b-2}}{\\pi} \\int_{-\\frac{\\pi}{2}}^{\\frac{\\pi}{2}} \\cos^{a+b-2}\\theta e^{(a-b)\\theta} d\\theta\\),\n\nwe have \\((m+nr-1)\\ldots(m+n(r-1)+1)\\)\n\n\\[= \\frac{2^{m+nr-1}\\Gamma(n)}{\\pi} \\int_{-\\frac{\\pi}{2}}^{\\frac{\\pi}{2}} \\cos^{m+nr-1}\\theta e^{(m+n(r-2)+1)\\theta} d\\theta\\]\n\n\\[= \\frac{2^{m+nr-1}}{\\pi} \\int_0^\\infty \\int_{-\\frac{\\pi}{2}}^{\\frac{\\pi}{2}} d\\theta dz \\cos^{m+nr-1}\\theta e^{(m+n(r-2)+1)\\theta} \\cdot z^{n-1} e^{-z^2}\\]\n\nHence we have \\(1 + (m+2r-1)\\alpha + \\frac{(m+3r-1)(m+3r-2)}{1.2} \\alpha^2 + \\cdots\\)\n\n\\[= \\frac{2^{m+r-1}}{\\pi} \\int_0^\\infty \\int_{-\\frac{\\pi}{2}}^{\\frac{\\pi}{2}} d\\theta dz \\cos^{m+r-1}\\theta e^{r\\alpha z \\cos r\\theta \\cos(r-2)\\theta - z}\\]\n\n\\[\\cos(2raz \\cos r\\theta \\sin(r-2)\\theta + (m+r-1)\\theta)\\]\n\\[\n\\int_{-\\frac{\\pi}{2}}^{\\frac{\\pi}{2}} d\\theta dz \\cos^{m+r-1} \\theta \\varepsilon^{2r} \\alpha z \\cos^{r} \\theta \\cos(r-2)\\theta - z \\\\\n\\cos(2r\\alpha z \\cos^{r} \\theta \\sin(r-2)\\theta + (m+r-1)\\theta) = \\frac{\\pi}{2^{m+r-1}} m \\cdot \\frac{d y^m}{da}.\n\\]\n\nLet \\( r=2 \\), then we have\n\n\\[\n\\int_{-\\frac{\\pi}{2}}^{\\frac{\\pi}{2}} \\frac{d\\theta \\cos^{m+1} \\theta \\cos(m+1)\\theta}{1-c \\cos^{2}\\theta} = \\frac{2\\pi}{m} \\cdot \\frac{d}{dc} \\left( \\frac{1-\\sqrt{1-c}}{c} \\right)^m,\n\\]\n\nwhere \\((c)\\) is of course less than unity; an integral given by Abel.\n\nWhen \\( 2r\\alpha \\) is less than unity we can always integrate with respect to \\((z)\\), but may obtain a single integral more simply by proceeding as follows:\n\nWe have\n\n\\[\n\\frac{(m+nr-1)(m+nr-2)\\ldots(m+n(r-1)+1)}{1.2.3\\ldots n-1}\n\\]\n\n\\[\n= \\frac{2^{m+nr-1}}{\\pi} \\int_{-\\frac{\\pi}{2}}^{\\frac{\\pi}{2}} d\\theta \\cos^{m+nr-1} \\theta \\varepsilon^{(m+nr-2)+1}\\theta;\n\\]\n\nconsequently we find by summing a geometrical progression,\n\n\\[\n\\int_{-\\frac{\\pi}{2}}^{\\frac{\\pi}{2}} d\\theta \\cos^{m+r-1} \\theta \\left\\{ \\frac{\\cos(m+r-1)\\theta - 2r\\alpha \\cos^{r} \\theta \\cos(m+1)\\theta}{1-2^{r+1}a \\cos^{r} \\theta \\cos(r-2)\\theta + 2^{2r}a^{2} \\cos^{2r}\\theta} \\right\\} = \\frac{\\pi}{2^{m+r-1}} m \\cdot \\frac{dy^m}{da}.\n\\]\n\nWhen \\( r=2 \\) this result coincides with that last obtained. We may obtain a very general result by applying Fourier's theorem to the series of Lagrange and Laplace as follows:\n\nIf \\( u=f(y) \\), and \\( y=z+x\\varphi(y) \\),\n\nwe have\n\n\\[\nu=f(z)+\\{\\varphi(z)f'(z)\\}x+\\frac{d}{dz}\\{\\varphi^{2}(z)f''(z)\\}x^{2}+\\&c.;\n\\]\n\n\\[\n\\therefore \\quad \\frac{du}{dx}=\\varphi(z)f'(z)+\\frac{d}{dz}\\{\\varphi^{2}(z)f''(z)\\}x+\\frac{d^{2}}{dz^{2}}\\{\\varphi^{3}(z)f''(z)\\}x^{2}+\\&c.;\n\\]\n\nNow we generally have\n\n\\[\nF(z)=\\int_{-\\infty}^{\\infty} \\int_{-\\infty}^{\\infty} \\cos \\alpha(z-z') F'z \\frac{da.dz'}{2\\pi},\n\\]\n\nwhence\n\n\\[\n\\varphi^{n}(z)f''(z)=\\int_{-\\infty}^{\\infty} \\int_{-\\infty}^{\\infty} e^{i\\alpha(z-z')} \\varphi^{n}(z')f''(z') \\frac{da.dz'}{2\\pi}\n\\]\n\nand\n\n\\[\n\\frac{d^{n-1}}{dz^{n-1}}\\varphi^{n}(z)f''(z)=\\int_{-\\infty}^{\\infty} \\int_{-\\infty}^{\\infty} e^{i\\alpha(z-z')}(ia)^{n-1} \\varphi^{n}(z')f''(z') \\frac{da.dz'}{2\\pi}.\n\\]\n\nHence substituting in the above series, we find\n\n\\[\n\\frac{du}{dx}=\\int_{-\\infty}^{\\infty} \\int_{-\\infty}^{\\infty} e^{i\\alpha(z-z')} \\varphi(z')f''(z') \\varepsilon^{i\\alpha\\varphi(z')x} \\frac{da.dz'}{2\\pi}.\n\\]\n\nConsequently we find the following definite integral:\n\n\\[\n\\int_{-\\infty}^{\\infty} \\int_{-\\infty}^{\\infty} da dz \\varphi(z')f''(z') \\cos \\alpha(z-z'+x\\varphi(z'))=2\\pi \\frac{du}{dx}.\n\\]\nAgain, from Laplace's theorem, we have\n\n\\[ \\int_{-\\infty}^{\\infty} \\int_{-\\infty}^{\\infty} dxdz' \\cos \\alpha (z - z' + x\\varphi_1 \\varphi_2 z') \\varphi_1 \\varphi_2 z' f' \\varphi_2 z' = 2\\pi \\frac{du}{dx}, \\]\n\nwhere \\( u = f(y), y = \\varphi_2(z + x\\varphi_1 y) \\).\n\nThese theorems of course suppose the series from whence they were derived to be convergent.\n\nAs examples we may take the following.\n\nLet \\( y = 1 + xy^3 \\),\n\nthen\n\n\\[ \\int_{-\\infty}^{\\infty} \\int_{-\\infty}^{\\infty} dxdz' \\cos \\alpha (1 - z + xz^3) z^3 = 2\\pi \\frac{d}{dx} \\left\\{ \\sqrt[3]{\\frac{1}{2x}} + \\sqrt{\\frac{1}{4x^2} - \\frac{1}{27x^5}} \\right\\}. \\]\n\nAlso let \\( y = 1 + xe^y \\),\n\nthen\n\n\\[ \\int_{-\\infty}^{\\infty} \\int_{-\\infty}^{\\infty} \\cos \\alpha (1 - z' + xe^{z'}) e^z dzdz' = \\frac{2\\pi e^y}{1 - xe^y}, \\]\n\nwhich we may modify thus; by eliminating \\( x \\)\n\n\\[ \\int_{-\\infty}^{\\infty} \\int_{-\\infty}^{\\infty} \\cos \\alpha \\left( \\frac{(y-1)e^z - (z-1)e^y}{e^y} \\right) e^z dzdz' = \\frac{2\\pi e^y}{2 - y}. \\]\n\nAnalogous methods apply to series involving Bernoulli's numbers; thus we have\n\n\\[ \\frac{x}{e^x - 1} = 1 - \\frac{x}{2} + \\frac{B_1}{1 \\cdot 2} x^2 - \\frac{B_3}{1 \\cdot 2 \\cdot 3 \\cdot 4} x^4 + &c. \\]\n\n\\[ \\frac{B_{2n-1}}{\\Gamma(2n+1)} = \\frac{1}{2^{2n-1} n^{2n}} \\left( \\frac{1}{1^{2n}} + \\frac{1}{2^{2n}} + \\frac{1}{3^{2n}} + &c. \\right) \\]\n\n\\[ = \\frac{1}{2^{2n-1} n^{2n} \\Gamma(2n)} \\int_0^1 \\left( \\log_z \\frac{1}{z} \\right)^{2n-1} dz; \\]\n\n\\[ \\therefore \\quad \\frac{x}{e^x - 1} + \\frac{x}{2} - 1 = \\frac{x}{\\pi} \\int_0^1 dz \\sin \\left( \\frac{x}{2\\pi} \\log_z \\frac{1}{z} \\right). \\]\n\nHence we have\n\n\\[ \\int_0^1 \\frac{\\sin (\\alpha \\log_z z) dz}{z - 1} = \\frac{\\pi}{2} \\frac{e^{2\\pi x} + 1}{e^{2\\pi x} - 1} - \\frac{1}{2\\alpha}. \\]\n\nIn this formula \\( \\alpha \\) must lie between 0 and 1, as it is necessary for the convergence of the above series that \\( x \\) should be less than \\( 2\\pi \\).\n\nI now enter upon the consideration of the processes I have before mentioned for reducing multiple integrals to single ones. We easily see the truth of the following equation:\n\n\\[ 1 + \\frac{\\mu}{1 \\cdot 2 \\cdot 2^2} + \\frac{\\mu^2}{1 \\cdot 3 \\cdot 2^2 \\cdot 2^4} + \\frac{\\mu^3}{1 \\cdot 3 \\cdot 5 \\cdot 2^2 \\cdot 3^2 \\cdot 2^6} + &c. \\]\n\n\\[ = 2 + \\frac{\\mu}{1 \\cdot 2 \\cdot 1} + \\frac{\\mu^2}{1 \\cdot 2 \\cdot 3 \\cdot 4 \\cdot 1 \\cdot 2} + \\frac{\\mu^3}{1 \\cdot 2 \\cdot 3 \\cdot 4 \\cdot 5 \\cdot 6 \\cdot 1 \\cdot 2 \\cdot 3} + &c. - 1. \\]\nHence we have\n\n\\[\n\\frac{\\Gamma \\frac{1}{2} \\cdot \\varepsilon}{2\\pi} \\cdot \\frac{\\Gamma \\frac{1}{2} \\varepsilon}{2\\pi} \\int_{-\\infty}^{\\infty} \\int_{-\\infty}^{\\infty} \\frac{e^{i(x+y)} dz dz'}{(1+iz)^{\\frac{1}{2}}(1+iz')^{\\frac{1}{2}}} e^{\\mu(1+iz)(1+iz')} \\varepsilon^{\\frac{\\mu}{2}(1+iz)(1+iz')} = \\frac{1}{\\pi} \\int_{-\\pi}^{\\pi} d\\theta \\varepsilon^{\\cos \\theta} \\cos (\\alpha \\sin \\theta) \\varepsilon^{\\frac{\\mu}{2} \\cos \\theta} - 1.\n\\]\n\nHence\n\n\\[\n\\int_{-\\frac{\\pi}{2}}^{\\frac{\\pi}{2}} \\int_{-\\frac{\\pi}{2}}^{\\frac{\\pi}{2}} \\varepsilon^{\\frac{\\mu}{2} \\cos \\theta \\cos \\varphi \\cos (\\theta + \\varphi)} \\cos^{-\\frac{3}{2}} \\theta \\cos^{-1} \\varphi \\cdot d\\theta d\\varphi,\n\\]\n\n\\[\n\\cos \\left( \\frac{\\mu}{4} \\cos \\theta \\cos \\varphi \\sin (\\theta + \\varphi) + \\frac{\\theta}{2} + \\varphi - (\\tan \\theta + \\tan \\varphi) \\right)\n= \\frac{4}{\\varepsilon^{\\frac{3}{2}}} \\int_{-\\pi}^{\\pi} d\\theta \\varepsilon^{\\cos \\theta} \\cos \\alpha \\sin \\theta \\varepsilon^{\\frac{\\mu \\cos 2\\theta}{\\varepsilon^{\\frac{3}{2}}}} \\cos \\frac{\\mu \\sin 2\\theta}{\\varepsilon^{\\frac{3}{2}}} \\ldots \\ldots \\ldots \\quad (A.)\n\\]\n\nBut we may effect these reductions systematically by means of the following proposition due to M. Smaasen:\n\nIf\n\n\\[a_0 + a_1 x + a_2 x^2 + a_3 x^3 + \\&c. = \\varphi_1(x),\\]\n\nand\n\n\\[b_0 + b_1 x + b_2 x^2 + b_3 x^3 + \\&c. = \\varphi_2(x),\\]\n\nthen\n\n\\[a_0 b_0 + a_1 b_1 x + a_2 b_2 x^2 + \\&c.\\]\n\n\\[= \\frac{1}{2\\pi} \\int_{0}^{\\pi} d\\theta \\{(\\varphi_1(x\\varepsilon^{i\\theta}) + \\varphi_1(x\\varepsilon^{-i\\theta}))(\\varphi_2(\\varepsilon^{i\\theta}) + \\varphi_2(\\varepsilon^{-i\\theta}))\\}.\\]\n\nM. Smaasen has also proved in the same paper, that if the sums of the three series\n\n\\[a_0 + a_1 x + a_2 x^2 + a_3 x^3 + \\&c.\\]\n\n\\[b_0 + b_1 x + b_2 x^2 + b_3 x^3 + \\&c.\\]\n\n\\[c_0 + c_1 x + c_2 x^2 + c_3 x^3 + \\&c.\\]\n\nare known, we may determine the sum of the series\n\n\\[a_0 b_0 c_0 + a_1 b_1 c_1 x + a_2 b_2 c_2 x^2 + \\&c.\\]\n\nby means of a double integral, but we shall not want this in what follows.\n\nNow\n\n\\[1 + \\frac{x}{1.2} + \\frac{x^2}{1.2.3.4} + \\frac{x^3}{1.2.3.4.5.6} + \\&c. = \\frac{e^{\\sqrt{x}} + e^{-\\sqrt{x}}}{2}\\]\n\n\\[1 + \\mu x + \\frac{\\mu^2 x^2}{1.2} + \\frac{\\mu^3 x^3}{1.2.3} + \\&c. = e^{\\mu x};\\]\n\nconsequently\n\n\\[1 + \\frac{\\mu x}{1^2.2^2} + \\frac{\\mu^2 x^2}{1^2.2^2.3^2} + \\&c.\\]\n\n\\[= \\frac{1}{2\\pi} \\int_{0}^{\\pi} d\\theta \\left\\{ \\frac{e^{\\sqrt{x} \\varepsilon^{i\\theta}} + e^{-\\sqrt{x} \\varepsilon^{i\\theta}} + e^{\\sqrt{x} \\varepsilon^{-i\\theta}} + e^{-\\sqrt{x} \\varepsilon^{-i\\theta}}}{2} \\right\\} \\{e^{\\mu \\varepsilon^{i\\theta}} + e^{\\mu \\varepsilon^{-i\\theta}}\\}.\\]\n\nNow\n\n\\[e^{\\sqrt{x} \\varepsilon^{i\\theta}} + e^{-\\sqrt{x} \\varepsilon^{i\\theta}} + e^{\\sqrt{x} \\varepsilon^{-i\\theta}} + e^{-\\sqrt{x} \\varepsilon^{-i\\theta}}\\]\n\n\\[= 2e^{\\sqrt{x} \\cos \\frac{\\theta}{2}} \\cos \\left( \\sqrt{x} \\sin \\frac{\\theta}{2} \\right) + 2e^{-\\sqrt{x} \\cos \\frac{\\theta}{2}} \\cos \\left( \\sqrt{x} \\sin \\frac{\\theta}{2} \\right);\\]\n\\[\n\\int_{-\\frac{\\pi}{2}}^{\\frac{\\pi}{2}} \\int_{-\\frac{\\pi}{2}}^{\\frac{\\pi}{2}} \\varepsilon^{\\mu} \\cos \\theta \\cos \\varphi \\cos (\\theta + \\varphi) \\cos^{-\\frac{3}{2}} \\theta \\cos^{-1} \\varphi d\\theta d\\varphi,\n\\]\n\n\\[\n\\cos \\left( \\frac{\\mu}{4} \\cos \\theta \\cos \\varphi \\sin (\\theta + \\varphi) + \\frac{\\theta}{2} + \\varphi - (\\tan \\theta + \\tan \\varphi) \\right)\n\\]\n\n\\[\n= \\frac{4}{\\varepsilon^{\\mu}} \\int_{0}^{\\pi} d\\theta \\left( \\varepsilon^{\\cos \\theta} + \\varepsilon^{-\\cos \\theta} \\right) \\cos \\sin \\frac{\\theta}{2} \\left\\{ \\varepsilon^{\\mu \\cos \\theta} \\cos (\\mu \\sin \\theta) \\right\\}\n\\] \n\n(B.)\n\nHence we find, by comparing (A.) with (B.), \n\n\\[\n\\int_{0}^{\\pi} d\\theta \\varepsilon^{\\mu \\cos \\theta} \\cos (\\mu \\sin \\theta) \\left\\{ 2\\varepsilon^{\\cos \\theta} \\cos \\frac{\\sin \\theta}{\\mu} - \\left( \\varepsilon^{\\cos \\theta} + \\varepsilon^{-\\cos \\theta} \\right) \\cos \\sin \\frac{\\theta}{2} \\right\\} = \\pi.\n\\]\n\nWe have already proved that\n\n\\[\n1 + \\frac{2}{4} x + \\frac{2.3}{4.5} \\frac{x^2}{1.2} + \\frac{2.3.4}{4.5.6} \\frac{x^3}{1.2.3} + \\&c.\n\\]\n\n\\[\n= \\frac{6}{x^3} (x + 2) + \\frac{6}{x^3} (x - 2) \\varepsilon^x.\n\\]\n\nHence\n\n\\[\n1 + \\frac{3}{5} \\frac{x^2}{2} + \\frac{3.4}{5.6} \\frac{x^3}{2.3} + \\&c.\n\\]\n\n\\[\n= \\frac{12}{x^4} (x + 2) + \\frac{12}{x^4} (x - 2) \\varepsilon^x - \\frac{2}{x^2}.\n\\]\n\nand\n\n\\[\n1 + \\frac{\\mu x}{1.2} + \\frac{\\mu^2 x^2}{1.2.3} + \\&c. = \\varepsilon^{\\mu x}.\n\\]\n\nConsequently the theorem of M. Smaasen will give us the sum of the series\n\n\\[\n1 + \\frac{3}{2} \\cdot \\frac{\\mu x}{5.1} + \\frac{3.4}{2.3} \\cdot \\frac{\\mu^2 x^2}{5.6.1.2} + \\frac{3.4.5}{2.3.4} \\cdot \\frac{\\mu^3 x^3}{5.6.7.1.2.3} + \\&c.\n\\]\n\nby means of a single integral, and we obtain\n\n\\[\n\\int_{-\\frac{\\pi}{2}}^{\\frac{\\pi}{2}} \\int_{-\\frac{\\pi}{2}}^{\\frac{\\pi}{2}} d\\theta d\\varphi \\varepsilon^{2\\mu} \\cos \\theta \\cos \\varphi \\cos (\\theta - \\varphi) \\cos^2 \\theta \\cos^3 \\varphi \\cos \\{ 2\\mu \\cos \\theta \\cos \\varphi \\sin (\\theta - \\varphi) + \\tan \\varphi - 5\\varphi \\}\n\\]\n\n\\[\n= \\frac{\\pi}{6\\varepsilon} \\int_{0}^{\\pi} d\\theta \\left( 6(\\cos 3\\theta + 2 \\cos 4\\theta) + 6\\varepsilon^{\\cos \\theta} \\cos (3\\theta - \\sin \\theta) \\right)\n\\]\n\n\\[\n- 12\\varepsilon^{\\cos \\theta} \\cos (4\\theta - \\sin \\theta) - \\cos \\theta \\varepsilon^{\\mu \\cos \\theta} \\cos (\\mu \\sin \\theta).\n\\]\n\nThe fundamental idea of the preceding calculations, as will be readily seen, is as follows: to reduce every term of the series proposed to be summed by means of definite integrals to the form of the general term of the series whose sum is given by the common exponential theorem, and then to find the sum of the whole quantity contained under the signs of integration by means of that theorem. The factorials in the numerator of each term may be taken in any order we please relative to those of the denominator, provided that the same relative order is observed in every term throughout the whole series; moreover, we may use different integrals to express the\nsame factorials, so that we can deduce the value of many definite integrals from one series.\n\nI shall now give an example of the summation of a factorial series of a somewhat different nature.\n\nConsider the series—\n\n\\[1 + \\frac{x^2}{a^2 + 2^2} + \\frac{x^4}{(a^2 + 2^2)(a^2 + 4^2)} + \\frac{x^6}{(a^2 + 2^2)(a^2 + 4^2) \\cdots (a^2 + 2^n^2)} + \\&c.,\\]\n\nwe know that\n\n\\[\\int_{-\\frac{\\pi}{2}}^{\\frac{\\pi}{2}} e^{x\\theta}(\\cos \\theta)^n = \\frac{1.2.4 \\cdots 2n}{(a^2 + 2^2)(a^2 + 4^2) \\cdots (a^2 + 2^n^2)} \\cdot \\frac{e^{\\frac{an}{2}} - e^{-\\frac{an}{2}}}{a}.\\]\n\nHence by substitution the above series becomes\n\n\\[\\frac{a}{e^{\\frac{an}{2}} - e^{-\\frac{an}{2}}} \\int_{-\\frac{\\pi}{2}}^{\\frac{\\pi}{2}} d\\theta e^{x\\theta} \\left\\{1 + \\frac{x \\cos^2 \\theta}{1.2} + \\frac{x^2 \\cos^4 \\theta}{1.2.3.4} + \\&c.\\right\\}\\]\n\n\\[= \\frac{a}{2(e^{\\frac{an}{2}} - e^{-\\frac{an}{2}})} \\int_{-\\frac{\\pi}{2}}^{\\frac{\\pi}{2}} d\\theta e^{x\\theta} \\left\\{e^{\\sqrt{x} \\cos \\theta} + e^{-\\sqrt{x} \\cos \\theta}\\right\\}.\\]\n\nThere are other series of an analogous nature which may be summed in a similar manner: the object of introducing the above summation in this paper, is to point out the use of the integral \\[\\int_{-\\frac{\\pi}{2}}^{\\frac{\\pi}{2}} e^{x\\theta}(\\cos \\theta)^n,\\] when impossible factors occur in the denominators of the successive terms of a factorial series.\n\nIn the 'Exercices de Mathématiques,' Cauchy has proved that if \\(z\\) be a quantity of the form \\(e(\\cos \\phi + i \\sin \\phi)\\), and \\(z\\varphi(z)\\) continually approach zero as \\(e\\) indefinitely increases whatever be \\(\\phi\\), then the residue of \\(\\varphi(z)\\) is equal to zero, the limits of \\(e\\) being 0 and \\((\\infty)\\), and those of \\(\\phi, \\pi\\) and \\(-\\pi\\). From this theorem he deduces the sums of certain series, which I shall presently consider; but must first give certain results which will be useful in the sequel.\n\nSince\n\n\\[\\int_0^\\infty e^{-ax^2} \\cos 2x dx = \\frac{\\sqrt{\\pi}}{2} e^{-\\frac{1}{a}},\\]\n\n\\[\\therefore \\quad e^{-\\frac{1}{a}} = \\frac{\\sqrt{a}}{2 \\sqrt{\\pi}} \\int_{-\\infty}^\\infty e^{-\\frac{ax^2}{4}} \\cos x dx.\\]\n\nAgain, since\n\n\\[\\int_{-\\infty}^\\infty e^{-ax^2} = \\frac{\\sqrt{\\pi}}{\\sqrt{a}},\\]\n\nwe find\n\n\\[\\frac{1}{e^{\\frac{1}{a}}} = \\frac{\\sqrt{a}}{2 \\sqrt{\\pi}} \\int_{-\\infty}^\\infty e^{-\\frac{ax^2}{4}} dx,\\]\n\nwhence we have\n\n\\[\\frac{1}{e^{\\frac{1}{a}}} - \\frac{1}{e^{-\\frac{1}{a}}} = \\frac{\\sqrt{a}}{2 \\sqrt{\\pi}} \\int_{-\\infty}^\\infty dx (e^x - \\cos x) e^{-\\frac{ax^2}{4}}.\\]\nThe first series we propose to consider is the following:\n\n\\[\n\\frac{1}{x^2 - \\frac{1}{9}} \\tan \\frac{\\pi x^2}{2} + \\frac{1}{x^2 - \\frac{1}{9}} \\tan \\frac{\\pi x^2}{6} + \\frac{1}{x^2 - \\frac{1}{25}} \\tan \\frac{\\pi x^2}{10} + \\cdots = \\frac{\\pi}{16} \\left( \\left( \\frac{\\pi}{\\varepsilon^2} - \\frac{\\pi}{\\varepsilon^2} \\right)^2 - \\tan^2 \\frac{\\pi x}{2} \\right).\n\\]\n\nPut \\( \\pi x^2 = \\varepsilon \\), then this series with its sign changed may be resolved into the three following:\n\n\\[\n\\frac{x^2}{2(1+x^2)} \\tan \\frac{\\varepsilon}{2} + \\frac{x^2}{2(9+x^2)} \\cdot \\frac{1}{3} \\tan \\frac{\\varepsilon}{3} \\cdot \\frac{1}{2} + \\frac{x^2}{2(25+x^2)} \\cdot \\frac{1}{5} \\tan \\frac{\\varepsilon}{5} \\cdot \\frac{1}{2} + \\cdots\n\\]\n\n\\[\n\\frac{x}{4(1-x)} \\tan \\frac{\\varepsilon}{2} + \\frac{x}{4(3-x)} \\cdot \\frac{1}{3} \\tan \\frac{\\varepsilon}{3} \\cdot \\frac{1}{2} + \\frac{x}{4(5-x)} \\cdot \\frac{1}{5} \\tan \\frac{\\varepsilon}{5} \\cdot \\frac{1}{2} + \\cdots\n\\]\n\n\\[\n-\\frac{x}{4(1+x)} \\tan \\frac{\\varepsilon}{2} - \\frac{x}{4(3+x)} \\cdot \\frac{1}{3} \\tan \\frac{\\varepsilon}{3} \\cdot \\frac{1}{2} - \\frac{x}{4(5+x)} \\cdot \\frac{1}{5} \\tan \\frac{\\varepsilon}{5} \\cdot \\frac{1}{2} + \\cdots\n\\]\n\nThe general terms of these series are respectively,\n\n\\[\n\\frac{x^2}{2((2n+1)^2 + x^2)} \\cdot \\frac{1}{2n+1} \\tan \\frac{\\varepsilon}{2(2n+1)}\n\\]\n\n\\[\n\\frac{x}{4((2n+1)-x)} \\cdot \\frac{1}{2n+1} \\tan \\frac{\\varepsilon}{2(2n+1)}\n\\]\n\n\\[\n-\\frac{x}{4((2n+1)+x)} \\cdot \\frac{1}{2n+1} \\tan \\frac{\\varepsilon}{2(2n+1)}\n\\]\n\nThese terms become after transformation, since\n\n\\[\n\\int_0^\\infty \\frac{dz}{e^{2z} - e^{-2z}} = \\frac{1}{2} \\tan \\frac{\\alpha}{2},\n\\]\n\n\\[\n\\frac{x}{2} \\int_0^\\infty du \\varepsilon^{-(2n+1)u} \\sin xu \\int_0^\\infty \\frac{dz}{(e^{2z} - e^{-2z}) \\sqrt{\\pi z}} \\int_{-\\infty}^\\infty dv (\\varepsilon^v - \\cos v) \\varepsilon^{-(2n+1)v} \\int_0^1 \\frac{ds}{\\sqrt{\\pi}} \\log_s^{-\\frac{1}{2}} \\frac{1}{s} s^{2n}\n\\]\n\n\\[\n+\\frac{x}{4} \\int_0^\\infty du \\varepsilon^{-(2n+1-x)u} \\int_0^\\infty \\frac{dz}{(e^{2z} - e^{-2z}) \\sqrt{\\pi z}} \\int_{-\\infty}^\\infty dv (\\varepsilon^v - \\cos v) \\varepsilon^{-(2n+1)v} \\int_0^1 \\frac{ds}{\\sqrt{\\pi}} \\log_s^{-\\frac{1}{2}} \\frac{1}{s} s^{2n}\n\\]\n\n\\[\n-\\frac{x}{4} \\int_0^\\infty du \\varepsilon^{-(2n+1+x)u} \\int_0^\\infty \\frac{dz}{(e^{2z} - e^{-2z}) \\sqrt{\\pi z}} \\int_{-\\infty}^\\infty dv (\\varepsilon^v - \\cos v) \\varepsilon^{-(2n+1)v} \\int_0^1 \\frac{ds}{\\sqrt{\\pi}} \\log_s^{-\\frac{1}{2}} \\frac{1}{s} s^{2n}.\n\\]\n\nEach of the series is consequently reduced to a geometrical progression; wherefore, summing the three progressions and taking the aggregate, we have\n\n\\[\n\\int_0^\\infty \\int_0^\\infty \\int_{-\\infty}^\\infty \\int_0^1 (\\varepsilon^v - \\cos v) \\varepsilon^{-u} \\frac{du}{4\\pi^2 \\varepsilon^2} \\log_s^{-\\frac{1}{2}} \\frac{1}{s} (2 \\sin xu + \\varepsilon^{2u} - \\varepsilon^{-2u}) ds dudvdz\n\\]\n\n\\[\n= \\frac{\\pi^2}{4} \\left[ \\tan^2 \\frac{\\pi x}{2} - \\left( \\frac{\\pi}{\\varepsilon^2} - \\frac{\\pi}{\\varepsilon^2} \\right)^2 \\right].\n\\]\nNext, let us consider the series\n\n\\[\n\\frac{1}{x^2 - \\frac{1}{x^2}} \\cot \\pi x^2 + \\frac{1}{4} \\frac{1}{x^2 - \\frac{4}{x^2}} \\cot \\frac{\\pi x^2}{2} + \\frac{1}{9} \\frac{1}{x^2 - \\frac{9}{x^2}} \\cot \\frac{\\pi x^3}{3} + \\&c.\n\\]\n\n\\[= \\frac{\\pi}{8} \\left\\{ \\cot^2 \\pi x - \\left( \\frac{e^{\\pi x} + e^{-\\pi x}}{e^{\\pi x} - e^{-\\pi x}} \\right)^2 \\right\\}. \\]\n\nLet each term of this series be transformed by means of the integral\n\n\\[\n\\int_0^\\infty \\frac{z^{a-1} dz}{1-z} = \\pi \\cot a\\pi,\n\\]\n\nand we have\n\n\\[\n\\int_0^\\infty \\int_0^\\infty \\int_{-\\infty}^1 \\int_0^1 \\frac{e^{-u+v-\\frac{v^2}{4x^2 \\log s}} \\log^{-\\frac{1}{2}} \\frac{1}{s} (2 \\sin xu + e^{su} - e^{-su}) ds dv du dz}\n{(z-z^2) \\log^{\\frac{1}{2}} z (1-e^{-u-\\frac{v^2}{4x^2 \\log s}})} \\\\\n= \\frac{\\pi}{8} \\left\\{ \\left( \\frac{e^{\\pi x} + e^{-\\pi x}}{e^{\\pi x} - e^{-\\pi x}} \\right)^2 - \\cot^2 \\pi x \\right\\}.\n\\]\n\nAgain,\n\n\\[\n\\frac{1}{x^2 - \\frac{1}{x^2}} \\sec \\frac{\\pi x^2}{2} - \\frac{1}{9} \\frac{1}{x^2 - \\frac{9}{x^2}} \\sec \\frac{\\pi x^2}{6} + \\frac{5}{25} \\frac{1}{x^2 - \\frac{25}{x^2}} \\sec \\frac{\\pi x^2}{10} + \\&c.\n\\]\n\n\\[= \\frac{\\pi}{16} \\left\\{ \\left( \\frac{2}{e^{\\pi x} + e^{-\\pi x}} \\right)^2 - \\sec^2 \\frac{\\pi x}{2} \\right\\}. \\]\n\nHere we reduce each term by means of the integral\n\n\\[\n\\int_0^\\infty \\frac{dz (e^{zx} + e^{-zx})}{e^{zx} + e^{-zx}} = \\frac{1}{2} \\sec \\frac{a}{2};\n\\]\n\nand we have\n\n\\[\n\\int_0^\\infty \\int_0^\\infty \\int_{-\\infty}^1 \\int_0^1 \\frac{(e^v + \\cos v) e^{-u+v-\\frac{v^2}{4x^2 \\log s}} \\log^{-\\frac{1}{2}} \\frac{1}{s} (2 \\sin xu + e^{su} - e^{-su}) ds dv du dz}\n{(e^{\\pi x} + e^{-\\pi x}) \\sqrt{z} (1+e^{-2u-\\frac{v^2}{2x^2 \\log s}})} \\\\\n= \\frac{\\pi^2}{4} \\left\\{ \\sec^2 \\frac{\\pi x}{2} - \\left( \\frac{2}{e^{\\pi x} + e^{-\\pi x}} \\right)^2 \\right\\}.\n\\]\n\nAlso, since\n\n\\[\n\\frac{1}{x^2 - \\frac{1}{x^2}} \\csc \\pi x^2 - \\frac{1}{4} \\frac{1}{x^2 - \\frac{4}{x^2}} \\csc \\frac{\\pi x^2}{2} + \\frac{1}{9} \\frac{1}{x^2 - \\frac{9}{x^2}} \\csc \\frac{\\pi x^2}{3} + \\&c.\n\\]\n\n\\[= \\frac{\\pi}{8} \\left\\{ \\left( \\frac{2}{e^{\\pi x} - e^{-\\pi x}} \\right)^2 - \\csc^2 \\pi x \\right\\},\n\\]\n\nwe have, transforming each term of the series by means of the integral\n\n\\[\n\\int_0^\\infty \\frac{z^{a-1} dz}{1+z} = \\pi \\csc a\\pi,\n\\]\nLet us next consider the series\n\n\\[\n\\frac{\\sin \\theta}{1 + \\alpha^2} + \\frac{2 \\sin 2\\theta}{2^2 + \\alpha^2} + \\frac{3 \\sin 3\\theta}{3^2 + \\alpha^2} + \\ldots = \\frac{\\pi}{2} \\cdot \\frac{e^{a(\\pi - \\theta)} - e^{-a(\\pi - \\theta)}}{e^{a\\pi} - e^{-a\\pi}}.\n\\]\n\nThe general term of this series is \\( \\frac{n \\sin n\\theta}{n^2 + \\alpha^2} \\);\n\nalso, we have\n\n\\[\n\\int_0^\\infty \\frac{n}{n^2 + \\alpha^2} e^{-nz} \\sin az \\, dz,\n\\]\n\nand\n\n\\[\n\\int_0^\\infty \\frac{e^{-z} \\sin \\theta + e^{-2z} \\sin 2\\theta + e^{-3z} \\sin 3\\theta + \\ldots}{1 - 2e^{-z} \\cos \\theta + e^{-2z}} = \\frac{\\pi}{2} \\cdot \\frac{e^{a(\\pi - \\theta)} - e^{-a(\\pi - \\theta)}}{e^{a\\pi} - e^{-a\\pi}}.\n\\]\n\nHence\n\n\\[\n\\int_0^\\infty \\frac{e^{-z} \\sin az \\, dz}{1 - 2e^{-z} \\cos \\theta + e^{-2z}} = \\frac{\\pi}{2} \\cdot \\frac{e^{a(\\pi - \\theta)} - e^{-a(\\pi - \\theta)}}{e^{a\\pi} - e^{-a\\pi}}.\n\\]\n\nIn like manner from the series\n\n\\[\n\\frac{\\cos \\theta}{1 + \\alpha^2} + \\frac{\\cos 2\\theta}{2^2 + \\alpha^2} + \\frac{\\cos 3\\theta}{3^2 + \\alpha^2} + \\ldots = \\frac{\\pi}{2\\alpha} \\cdot \\frac{e^{a(\\pi - \\theta)} + e^{-a(\\pi - \\theta)}}{e^{a\\pi} - e^{-a\\pi}} - \\frac{1}{2\\alpha}.\n\\]\n\n\\[\n\\int_0^\\infty \\frac{\\cos az}{1 - 2e^{-z} \\cos \\theta + e^{-2z}} \\, dz = \\frac{\\pi}{2} \\cdot \\frac{e^{a(\\pi - \\theta)} + e^{-a(\\pi - \\theta)}}{e^{a\\pi} - e^{-a\\pi}} - \\frac{1}{2\\alpha}.\n\\]\n\nLet us next consider the series\n\n\\[\n\\frac{1}{e^n - e^{-n}} - \\frac{2}{e^{2\\pi} - e^{-2\\pi}} + \\frac{3}{e^{3\\pi} - e^{-3\\pi}} + \\ldots = \\frac{1}{4\\pi}.\n\\]\n\nWe know that\n\n\\[\n\\int_0^\\infty \\frac{\\sin uz \\, dz}{e^{2\\pi z} - 1} = \\frac{1}{4} \\cdot \\frac{e^{u+1} - 1}{e^{u-1}},\n\\]\n\n\\[\n\\int_0^\\infty \\frac{\\sin 2\\pi z \\, dz}{e^{2\\pi z} - 1} = \\frac{1}{2} \\cdot \\frac{1}{1 - e^{-2\\pi}} - \\frac{1}{4} \\cdot \\frac{1}{e^{2\\pi} - 1},\n\\]\n\n\\[\n\\int_0^\\infty \\frac{1}{e^{n\\pi} - e^{-n\\pi}} = 2e^{-n\\pi} \\int_0^\\infty \\frac{\\sin 2\\pi z \\, dz}{e^{2\\pi z} - 1} + \\frac{e^{-n\\pi}}{2} + \\frac{e^{-n\\pi}}{2n\\pi}.\n\\]\n\nNow \\( x \\sin \\theta - x^3 \\sin 2\\theta + x^5 \\sin 3\\theta - \\ldots \\),\n\n\\[\n= \\frac{x \\sin \\theta}{1 + 2x \\cos \\theta + x^2}.\n\\]\n\nFrom whence we have\n\n\\[\nx \\sin \\theta - 2x^3 \\sin 2\\theta + 3x^5 \\sin 3\\theta - \\ldots = \\frac{x \\sin \\theta (1 - x^2)}{(1 + 2x \\cos \\theta + x^2)^2}.\n\\]\n\nIt is hence evident that\n\n\\[\n\\frac{1}{4\\pi} = 2e^{\\pi} (e^{2\\pi} - 1) \\int_0^\\infty \\frac{dz \\sin 2\\pi z}{(e^{2\\pi} + 2e^{\\pi} \\cos 2\\pi z + 1)^2 (e^{2\\pi z} - 1)} + \\frac{1}{2} \\cdot \\frac{e^{\\pi}}{(e^{\\pi} + 1)^2} + \\frac{1}{2\\pi} \\cdot \\frac{1}{e^{\\pi} + 1},\n\\]\n\n\\[\n\\therefore \\int_0^\\infty \\frac{dz \\sin 2\\pi z}{(e^{2\\pi} + 2e^{\\pi} \\cos 2\\pi z + 1)^2 (e^{2\\pi z} - 1)} = \\frac{1}{4e^{\\pi} (e^{\\pi} + 1)^2 (e^{\\pi} - 1)} \\left\\{ \\frac{e^{2\\pi} - 1}{2\\pi} - e^{\\pi} \\right\\}.\n\\]\nAgain, we have\n\n\\[\n\\frac{1}{e^\\pi - e^{-\\pi}} - \\frac{2^{4m+1}}{e^{2\\pi} - e^{-2\\pi}} + \\frac{3^{4m+1}}{e^{3\\pi} - e^{-3\\pi}} - \\&c. = 0.\n\\]\n\nWe must transform the element \\(n^{4m+1}\\) thus:\n\n\\[\nn^{4m+1} = \\frac{1}{\\Gamma(4m+1)} \\int_0^1 x^n (\\log \\frac{1}{x})^{4m} dx = \\frac{1}{\\Gamma(4m+1)} \\int_0^1 \\frac{\\log^n x}{x} (\\log \\frac{1}{x})^{4m} dx.\n\\]\n\nAgain,\n\n\\[\n\\log \\frac{x}{n} = \\frac{\\sqrt{n}}{2\\sqrt{\\pi \\log x}} \\int_{-\\infty}^{\\infty} e^{-nz^2} \\log z dz.\n\\]\n\nLastly,\n\n\\[\n\\sqrt{n} = \\frac{2n}{\\sqrt{\\pi}} \\int_0^{\\infty} e^{-nz^2} dv.\n\\]\n\nHence, combining these integrals together, and substituting for \\(\\frac{1}{e^\\pi - e^{-\\pi}}\\), as before, we are able to transform the above series into one which can be summed by the ordinary rules. The resulting definite integral will of course be equal to zero.\n\nCauchy has applied the methods of the residual calculus to the determination of the sum of the series whose general term is\n\n\\[\n(-1)^{n-1} \\frac{e^{na} - e^{-na}}{e^{na} - e^{-na}} \\cdot \\frac{n \\cos na}{n^4 + c^4}\n\\]\n\nin finite terms. We may transform the element \\(\\frac{1}{n^4 + c^4}\\) thus:\n\n\\[\n\\frac{1}{n^4 + c^4} = \\frac{1}{c^2} \\int_0^{\\infty} e^{-nz^2} \\sin c^2 z dz.\n\\]\n\nAgain,\n\n\\[\ne^{-nz^2} = \\frac{2}{\\sqrt{\\pi z}} \\int_0^{\\infty} e^{-z^2} \\cos 2nz dz.\n\\]\n\nWherefore, combining these integrals, and transforming the other elements as before, we may find its sum by means of definite integrals. We may resolve \\(\\frac{n}{n^4 + c^4}\\) into its partial fractions, and then find the sum of the series, which would be simpler.\n\nThe transformation of \\(e^{-nz^2}\\) which I have used above, is due to Professor Kummer, who has applied it in the seventeenth volume of Crelle's Journal, in a paper to which I am indebted for many ideas relative to the connexion of definite integrals with series, to the expression of the series\n\n\\[\n1 + q + q^4 + q^9 + \\&c.,\n\\]\n\nand others of a similar nature by means of a definite integral. The integral \\(\\int_0^{\\infty} \\frac{\\sin \\mu z}{e^{2\\pi z} - 1} dz\\) was first applied to the summation of series, whose terms involve elements of the form \\(\\frac{1}{\\alpha - \\beta x^n}\\), by Poisson in his Memoir on the Distribution of Electricity in two electrized spheres, which mutually act upon each other. He proves that the cal-\ncalculation of the electrical arrangement depends upon the value of the definite integral,\n\n$$\\int_0^\\infty \\frac{\\sin cz \\, dz}{(\\varepsilon^{2\\pi z} - 1)(a + b \\sin^2 cz)}.$$\n\nI mention this on account of its analogy with the definite integral\n\n$$\\int_0^\\infty \\frac{dz \\sin 2\\pi z}{(\\varepsilon^{2\\pi z} + 2\\varepsilon^z \\cos 2\\pi z + 1)^2 (\\varepsilon^{2\\pi z} - 1)},$$\n\nwhose value is found above. The principles contained in this paper will enable us at once to find the sums of the series\n\n$$1 + x + \\frac{x^3}{1.2} + \\frac{x^5}{1.2.3} + \\frac{x^7}{1.2.3.4} + \\&c.$$ \n\n$$1 + \\tan \\theta + \\frac{\\tan 2\\theta}{1.2} + \\frac{\\tan 3\\theta}{1.2.3} + \\&c.$$ \n\n$$1 + \\sec \\theta + \\frac{\\sec \\theta}{1.2} + \\frac{\\sec \\theta}{1.2.3} + \\&c.$$ \n\nand of many others which can be imagined, by means of definite integrals. The definite integral of Poisson given above occurs in the solution of a functional equation; and it is probable that series similar to those I have been discussing in this paper, may be useful in enabling us to express the solutions of other functional equations by definite integrals.", "source": "olmocr", "added": "2026-01-12", "created": "2026-01-12", "metadata": { "Source-File": "/home/jic823/projects/def-jic823/royalsociety/pdfs/108515.pdf", "olmocr-version": "0.3.4", "pdf-total-pages": 23, "total-input-tokens": 36248, "total-output-tokens": 24498, "total-fallback-pages": 0 }, "attributes": { "pdf_page_numbers": [ [ 0, 0, 1 ], [ 0, 2679, 2 ], [ 2679, 5657, 3 ], [ 5657, 7969, 4 ], [ 7969, 10448, 5 ], [ 10448, 13080, 6 ], [ 13080, 15898, 7 ], [ 15898, 19009, 8 ], [ 19009, 21997, 9 ], [ 21997, 25017, 10 ], [ 25017, 27679, 11 ], [ 27679, 30713, 12 ], [ 30713, 32911, 13 ], [ 32911, 35473, 14 ], [ 35473, 37876, 15 ], [ 37876, 40778, 16 ], [ 40778, 43682, 17 ], [ 43682, 46139, 18 ], [ 46139, 49067, 19 ], [ 49067, 51237, 20 ], [ 51237, 53915, 21 ], [ 53915, 56197, 22 ], [ 56197, 57304, 23 ] ], "primary_language": [ "en", "en", "en", "en", "en", "en", "en", "en", "en", "en", "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, 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, 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, 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, false, false, false, false, false, false, false, false, false, false ] }, "jstor_metadata": { "identifier": "jstor-108515", "title": "On the Theory of Definite Integrals", "authors": "W. H. L. Russell", "year": 1855, "volume": "145", "journal": "Philosophical Transactions of the Royal Society of London", "page_count": 23, "jstor_url": "https://www.jstor.org/stable/108515" } }