Académique Documents
Professionnel Documents
Culture Documents
293
By (jr. N. WATSON.
bv writing- MX for v in the first integral and (U—l)x for D in the second
integral.
We shall adopt the last expression as the definition of y when x
is a continuous positive variable, so that, whenever x > 0 ,
y = 1 + -|-
Our next step is to combine the two integrals which occur in this
expression. As u increases from 0 to 1, uel~u increases steadily from
0 to 1; and as U increases from 1 to oo, Uex~u decreases steadily from
1 to 0. Hence, if in both integrals we take a new variable t, defined by
the equations
ne}-v = «-', Uel'v =e~\
it is evident that
u = v(cothr —1), U = •y
sinh v
t = v coth v — 1+log
6 + +
- T i 2l si
(which is certainly valid when 0 ^ u<L 1), w:e have
u = n=o
2, n!
3 r 36 135^4320^8505
139(2Q* 2f4 571(2fl3
5448200 "'"25515 2351462400 •"'
and the corresponding expansion of u is derived from this series by
changing the signs of the terms with fractional indices.
The order of magnitude of the coefficients in this expansion is of
some importance. To investigate it, we put t = \z2, and then
w—l—\ogto = \z*.
The only branch points of w, qua function of z, are points at which
dw/dz is zero or infinite, and, at all such points, w = 1 so that z? = 4nni
(n = l, 2, 3, ...)•
Hence the expansions of U and u are convergent when
17=1-
It is evident from this result that k is greater than 2/21 for all suffi-
ciently large values of x.
+ u
df df < '
but, before proving it, we shall establish the more elementary inequality
£+£><>
is true if u+[7—2«[7 ^ 0, i.e. if
^ U
dt + dt
1928] APPROXIMATIONS CONNECTED WITH e*. 29i>
Let V=
so that
-i\ 4—
when t >• 0; and this is a sufficient condition for the truth of the
inequality
df + d*
when t ^ 0.
300 G. N. WATSON [May 10,
i 4 r
so that y = y + — I e-yX<t>{t)dt.
Since, as was proved in § 5, <j>(t) ^ 0, it is evident from this expres-
sion that y decreases steadily as x increases. Hence the value of y, for
any positive value of x, lies between the limits to which y tends when
x-+0 and x->ao. Since these limits are ^ and J, we have now estab-
lished Bamanujan's preliminary theorem that \~^y"^\-
We next have to examine the value of k which is now given by the
formula
If the inequalities
i i
218S615
1
21 63 280665 + 10945935 164189025
+
It seems evident from the Table that —tf"1log 0(0 has only one
maximum in the range of the Table, and it is easy to prove that it has
no maxima for values of t beyond the range of the Table; and it will
appear in § 7 that the hypothesis that —t~l log <f>(t) has only a single
maximum is adequate for the purpose of obtaining the properties of h
which we require. We now have to collect the available evidence in
support of the hypothesis.
In. the first place, we can prove that —t~l log <j>{t) is certainly a
decreasing function of t when t exceeds 8 4 ; for we have
U-l-logU
XT d (u(U-lf) u(U—'.
Now 37 ^— -*> —
at
g
U-l-\ogU \ 1S5U )
is a decreasing function of U (and therefore also of t) when
ZP-W, TT ol ,TT 1X ,, 135 ^^
(U-D* °g U log(CT-l)+log ~g- < 0.
302 G. N. WATSON [May 10,
and so the function itself is negative when L7 exceeds the value for
which the function is zero. It is found by trial that
217+1 C72—4C7 rT" /TT ,, . . 185
TT i + tTT n a l o 8 US log(?7—l)+log-^-
has only two positive roots b and c say (b <C c). The value of 6 is about
•26 and the value of c, which is beyond the range of the Table, is about
184.
so that
fi(t)>0
so that
Then
* 0,
since the integrand is never negative.
That is to say
and so
304 G. N. WATSON [May 10;
that is to say
d r
45
The only problem of interest which is now outstanding is the in-
vestigation of the magnitude of Xi.. The values of k for integral values
of x are given in the following Table :
X k X k
0 0-1777778 6 0-1069334
1 0-1480979 7 0-1053200
2 0-1269317 8 0-1040960
3 01175621 9 0-1031360
4 0-1123994 10 0-1023631
5 0-1091546 ao 0-0952381
y = l-\-r.\ e 'du
J
Jo 2.r
Tn this integral write
6 +
~ 1 2! • ++ m! +
tmdu
0 m=0 "Wl • Jo
tlie error due to stopping at any term being of the same sign as, and
numerically less than, the first term neglected.
Hence
l'JR /
u n )
Solutions of ne]-" =Uel-l' = e-1, with values of <p (/) = — '
8 \{U-1)*
n U *(0 t
t u U <p(t) -t-nofrpit) /
x2
308 APPROXIMATIONS CONNECTED WITH e'\