172
Mr. W. H. L. Russell on the Theory of Definite Integrals
∴
∫
−
π
2
π
2
∫
−
π
2
π
2
ε
μ
4
cos
θ
cos
φ
cos
θ
+
φ
cos
−
3
2
θ
cos
−
1
φ
d
θ
d
φ
,
cos
(
μ
4
cos
θ
cos
φ
sin
(
θ
+
φ
)
+
θ
2
+
φ
−
(
tan
θ
+
tan
φ
)
)
{\displaystyle {\begin{aligned}\therefore \ \int _{-{\frac {\pi }{2}}}^{\frac {\pi }{2}}&\int _{-{\frac {\pi }{2}}}^{\frac {\pi }{2}}\varepsilon ^{{\frac {\mu }{4}}\cos \theta \cos \varphi \cos \theta +\varphi }\cos ^{-{\frac {3}{2}}}\theta \cos ^{-1}\varphi \ d\theta d\varphi ,\\&\cos \left({\frac {\mu }{4}}\cos \theta \cos \varphi \sin(\theta +\varphi )+{\frac {\theta }{2}}+\varphi -(\tan \theta +\tan \varphi )\right)\end{aligned}}}
=
4
π
ε
2
∫
0
π
d
θ
{
(
ε
cos
θ
2
+
ε
−
cos
θ
2
)
cos
sin
θ
2
}
{
ε
μ
cos
θ
cos
(
μ
sin
θ
)
}
{\displaystyle ={\frac {4{\sqrt {\pi }}}{\varepsilon ^{2}}}\int _{0}^{\pi }d\theta \left\{(\varepsilon ^{\cos {\frac {\theta }{2}}}+\varepsilon ^{-\cos {\frac {\theta }{2}}})\cos \sin {\frac {\theta }{2}}\right\}\{\varepsilon ^{\mu \cos \theta }\cos(\mu \sin \theta )\}}
(B. )
Hence we find, by comparing (A.) with (B.),
∫
0
π
d
θ
ε
μ
cos
θ
cos
(
μ
sin
θ
)
{
2
ε
cos
2
θ
μ
cos
sin
2
θ
μ
−
(
ε
cos
θ
2
+
ε
−
cos
θ
2
)
cos
sin
θ
2
}
=
π
.
{\displaystyle \int _{0}^{\pi }d\theta \ \varepsilon ^{\mu \cos \theta }\cos(\mu \sin \theta )\left\{2\varepsilon ^{\frac {\cos 2\theta }{\mu }}\cos {\frac {\sin 2\theta }{\mu }}-(\varepsilon ^{\cos {\frac {\theta }{2}}}+\varepsilon ^{-\cos {\frac {\theta }{2}}})\cos \sin {\frac {\theta }{2}}\right\}=\pi .}
We have already proved that
1
+
2
4
x
+
2.3
4.5
⋅
x
2
1.2
+
2.3.4
4.5.6
⋅
x
3
1.2.3
+
&
c
.
{\displaystyle 1+{\frac {2}{4}}x+{\frac {2.3}{4.5}}\cdot {\frac {x^{2}}{1.2}}+{\frac {2.3.4}{4.5.6}}\cdot {\frac {x^{3}}{1.2.3}}+\&c.}
=
6
x
3
(
x
+
2
)
+
6
x
3
(
x
−
2
)
ε
x
.
{\displaystyle ={\frac {6}{x^{3}}}(x+2)+{\frac {6}{x^{3}}}(x-2)\varepsilon ^{x}.}
Hence
1
+
3
5
⋅
x
2
+
3.4
5.6
⋅
x
2
2.3
&
c
.
{\displaystyle 1+{\frac {3}{5}}\cdot {\frac {x}{2}}+{\frac {3.4}{5.6}}\cdot {\frac {x^{2}}{2.3}}\&c.}
=
12
x
4
(
x
+
2
)
+
12
x
4
(
x
−
2
)
ε
x
−
2
x
,
{\displaystyle ={\frac {12}{x^{4}}}(x+2)+{\frac {12}{x^{4}}}(x-2)\varepsilon ^{x}-{\frac {2}{x}},}
and
1
+
μ
x
+
μ
2
x
2
1.2
+
μ
3
x
3
1.2.3
+
&
c
.
=
ε
μ
x
.
{\displaystyle 1+\mu x+{\frac {\mu ^{2}x^{2}}{1.2}}+{\frac {\mu ^{3}x^{3}}{1.2.3}}+\&c.=\varepsilon ^{\mu x}.}
Consequently the theorem of M. Smaasen will give us the sum of the series
1
+
3
2
⋅
μ
x
5.1
+
3.4
2.3
⋅
μ
2
x
2
5.6.1.2
+
3.4.5
2.3.4
⋅
μ
3
x
3
5.6.7.1.2.3
+
&
c
.
{\displaystyle 1+{\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}}+\mathrm {\&c} .}
by means of a single integral, and we obtain
∫
−
π
2
π
2
∫
−
π
2
π
2
d
θ
d
φ
ε
2
μ
cos
θ
cos
φ
cos
(
θ
−
φ
)
cos
2
θ
cos
3
φ
cos
{
2
μ
cos
θ
cos
φ
sin
(
θ
−
φ
)
+
tan
φ
−
5
φ
}
=
π
6
ε
∫
0
π
d
θ
{
6
(
cos
3
θ
+
2
cos
4
θ
)
+
6
ε
cos
θ
cos
(
3
θ
−
sin
θ
)
{\displaystyle {\begin{aligned}\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 \}\\&={\frac {\pi }{6\varepsilon }}\int _{0}^{\pi }d\theta \{6(\cos 3\theta +2\cos 4\theta )+6\varepsilon ^{\cos \theta }\cos(3\theta -\sin \theta )\end{aligned}}}
−
12
ε
cos
θ
cos
(
4
θ
−
sin
θ
)
−
cos
θ
}
ε
μ
cos
θ
cos
(
μ
sin
θ
)
.
{\displaystyle -12\varepsilon ^{\cos \theta }\cos(4\theta -\sin \theta )-\cos \theta \}\varepsilon ^{\mu \cos \theta }\cos(\mu \sin \theta ).}
The 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