Messengerofmathe45cambuoft BW
Messengerofmathe45cambuoft BW
MESSENGER OF MATHEMATICS.
EDITED BY
VOL. XLV.
[May 1915— April 1916].
1916.
'>
PAGE
On certain solutions of Maxwell's equations. By H. Bateman 1
{oi^-iy'r{y-vy-^{^-^f=c'{t-rr (i),
VOL. XLV. B
2 J//\ Bateman, Certain solutions of Maxwell's equations.
P=^[x-l) + v'[U-'n)+K'{^-K)-<i'[t-a)....{b).
Tlie vector field which will be the subject of discussion is
c dt
rr , , p \ dA d<^
c 6t dx
^Vi~ ''i^'~
'",»?'- ",^'= ;
Mr. Bateman, Certain solutions of MaxivelVs equations. 3
/,, 7??,, ??,, p^ are generally complex quantities. Let 7,, «?,, /7|, j^^
be the conjugate complex quantities, then we have the
relations
j^ow let a set of real quantities I^, m^, 7?^, p^ be chosen so that
* It should be noticed that when this condition is satisfied the field specified
-l^-^ 'Ud8_dJT
A '~ +
Fdx S 9a dot.
A =-Ci" m + iLrhoJ^].
^/8a
=
pax
Now differentiate the identity (11) with regard to a,
Ufd, (U
2a —-
/8a ,,^,
8_ [tJLU\ 2A'P1 Ufd. (fiU\
Pdx 8a
7i^t^8~.8~a^^''^'^i'a^S'«^''^^^^'i^ac 'Ut^j'
J/r. Bateman^ Certain solutions ofMaxwelVs equations. 5
Now it follows at once from (13) that \U+ /mU = —P, and
2X=f, hence we have
2a.
fiPUdxdoL Pdxda^
+
2kfdoi W^ ,- //"f^^
V -bx Pd-J^^(b)
d
No 3^,(lo.P)4 + 3^,f,(Io.^P],
«,= - ^ — ^^-iHi.u)
P + ex lu
XU d ffiU\
+ (logP) ,
dx
r da. d J-
dF
;i7),
" P dx da. ^ dx
Z T
,(19).
L ^0
b2
6 Mr. Bateman, Certain solutions ofMaxtvelVs equations.
( I m n \ ''^'' -^^^ ^0
(=? , ~,
z^\ of the sphere intersect a line which meets m
• 1- 1
^Po Pu VJ (I tn 11 \ (I m. « \
the sphere in two points -L, — [=^,
'
~], which — , , ^,
V;^, p, pj \p, p, pj
lie on the polar plane of Fon account of the relations of type
jj ' J p '
p >
p
The signs need correction in the succeeding equations, also in the equations on
pp. 117 and 118.
,
§2. Since
^^o
= ^'. +
1-1 -, dm.
= ^'". +
_ _
c7^
^
'. + "^h 5 -^g^ ^ "' . + »?"^«
* E, §5, 43.
t Bull Amer. Math. Soc, March, 1915.
,
(22\
cz dz cz dz
73 ca p 8/3
0,
(23).
da. ^ r/3
cz <>(
8a
,
2\d^ 2X0.^ \-l . .
Faraday tubes.
s (1 4- n) = Z + m, cr(l+n) = ?- i'm,
ds
we find that
p (cosh w — ?2
J sinh u) = 1
* Cf. J. J.
Thomson, Recent Heseai-ches. cTiap. i.
t For the theory of differential equations of this type see C. Meray, Ann. de
tkole nonnale, t. xvi. (18yy), p. 5u9 ; E. Cartan, il/id., t. xviii. (1901), p. 250; and
A. C. Dixon, Phil. Trans, A, vol. cxcv. (1899), p. 151. If the equation can be
written in the form d (v, w) = the equations v = const., w - const, represent a
moving line of electric force.
^[)\ Ramanujan^ On certain infinite series. 11
fj,
= v'/j,^ and X = pv\^.
4 cos\/(aO cosh\/(/^0
Now let
O^^p^ina Kn/>2bina
inoina
ae _ doe _^ 5«6
cosh a cosh 3a cosh 5a
(3) f e-2?«F(jO^??
^
= V-T-,
^ ^
J„ ^ 4Goshj(l-i•ij V(a«j| cosh }(l + ej Vl/^O}
in virtue of (1). Again,
J let
/(«) = - -
Y/f-1
(4)
2n \2nJ
X SS (- l)h{/^+'') {/u, (1 + z) Va - V (1 - /) v'/3}
e-(7r/a./-j>"«+«V/3)'4n
(5) f e-2i"/(n)(f« =
4 cosli
^
I
(1 -1 ) ^/iat) \ cosh {( 1 +1 j \/(/^^j}
"
7r(/A'-'-v')
+ (/u, — v) sin
4?i
a\/a { \ 3 5 "I
4V2
if a is a positive even integer; and
aV^ f 1 3 5
4 V2
if a Is a positive odd integer; and so on
a. 2a_
ao) ir,^^^::^- ,.^.::....^ ^ ,....:;,^,^ -..]
^(a + sinh a (4a + sinh 2a (9a + '
/3 23 3/3
[
'")I
((/8-«)sinh/3 (4/i^-«jsinh2/:?"^ (9/3-0 sinh 3/3
= ---- /f-l
2 V2?J/ 72
Y
X 22 {m ( 1
- Va + V ( 1+ Vy^i
e-(27r/.^-i^=a+.v^)/4«
(12) . 1 ; — + . .
= — - 2S e-TM^/Sn i (a + v) cos —
+ (fM — v) sm
/ N •
—
""(
in j
— + ^-n^— +
ira
3
suih|^7ra -^-r^,
5
sinhj^Tra
— +•
r\^\
^^47?
1 cos(27r/a)
,1 1 — :
-I
2cos(87r/a)
— !^
'.
— i
3cos(l87r/a)
-J^ L —
£ 4-,,
sinhTT sinh27r sinh37r
J
^
f^ 3__ 5
4- — H H 1-...
correcting a mistake : in the formulse (48) the first integral is — and not — .
1
6-2- -1
ax H ;
2 S e-^'^/^"/"
•' a 2«V(2n) ^=1 ,=1
X I
(^ + v) cos j-^-^^^ -^1 + (/x - v) sin j-^^^^-^^
-'I
(17)
. .
r a? cos f27ra;7a) , , ,
/ 1 3 5
*
Jo e-^-«— Ve'^^ +l e37rrt_|.i e^'^"+l
J„ e2^^-l
have the same asymptotic expansion, viz.
* This series (in spite of the appearance of the first few terms) diverges for
all values of n.
{ 16 )
+ «..{'^.n..r(2^) + ^.„.....3(2'«)l+.-^
and -^ = (2>--l)(2n+2r-l )
a,,._3 2r(2n-\-2r)
(So far as I can discover, this expansion has not beeu
given before).
[Jn{^)Y sJ^tisfies the differential equation
- ^'
di X- d^' ^ " ^^ ^'" ^^ ^ ^'^ ^ di
where ^ denotes 2x.
If we write J^iX) ^OJ^ y in the left-hand side, we obtain
2^;(^)=j..;(i)-j,,,(^),
2rJXl) = l\J..,{l)^J^^,{l%
the result of substituting
p,^3-p,^,= hiPi^x-ps^'.)
p,^,-p,^s=K{Pi^i-p,^,)
Let ^a,.Xj.= be the equation to the inscribed sphere, of
radius r. Let the distances of A^ B, C, from the ortho- D
centre be a,, a^, a^, a^. Then
^,p-o.,p,= K<^,^'^{KPx'+p.''r{i-k.yp:\
^,P,-^,Pi=^-,<^x+K^
where /iT,, K^, K^ are the values of V}/CPi'+P„*''+ (1 -^'JVsl
or i-a^—2k^p^'\, when n
^J\l:J^a^ is 2, 3, or 4 respectively.
Therefore Sa*=l
(Vpi p/ P3 P4 / P2 P, P* 3
\ P, P3 Pi /
VP, Pz Pj Vs P3 P4/
VOL. XLV. C
'
therefore
+ I-P5 — + -I + ^
. +<!-. + ->+ -J
Thus a^p^ = a^ — Hr I
ni .
a.^p,= k^a-Hr+K^
&c. = &c.
The inscribed sphere Sa^£c^= is therefore determined.
Let this sphere touch the inscribed sphere whose equation has
already been determined ; then the following condition is
satisfied, viz.
tiierefore
-(V+ ';-.;^+
o «;^-p/-P3^-p/- 3p/
+2 (A;,+ A'3+ A:J p;+ 4Zry (/r,+ ^-3+ /:J
a,
Therefore
m \ (H H.\ ,,,,.7,1 I
'.
'
rr, a, \'-, rj ' rr,
which remains the same when r and r,, and H^ are H inter-
changed, and the sign of a, is also changed.
Therefore the proposition is proved.
"^2 ~ ^3 — %•
But we may take this orthocentric tetrahedron as the
tetrahedron of reference, so that k,^ — k^ = k^ = 0, and H = H^=\.
Also^ K^ = a^, K^ = a^, K^ = a^
Therefore the identity (vii) becomes
These properties of the triangle are appended because the author has not met
with them before.
C2
22 Dr. Muir, Determinants and alternating numbers.
the form \iJ,...X'fjb' ... are to have tlieir signs altered, while
7, 72
Dr. Muir, Determinants and alternating numbers. 23
\ U V O I.Gt/S'VO =
and that this comes about because every term on the left is
matched by an equal term on the right, and because all the
remaining terms on the right are cancellable in pairs. For
example, it' we take any term of the determinant on the
right, say
it vanishes ;
(e) any determinant is expressible as a permanent differing
only in having two rows interchanged
Dr. Muir, Determinants and alternating numbers. 25
is matched by another
...^..|3...^,a...,
+ +
as affirmed.
11
the restriction to tiie third order being made merely for con-
venience in writing. \\\ the first place the permanent is
+ + + + + +
\a, \/3^ ^3^3 V, A-,/3, X,7^ |^3«3 ^.^, \72
/A,a, ii^Q^ ^37,1 + Ai^a, /*,^, \lz + 1
/^a^^s /*.^i /^•.72
1 ^I^.»'3 I
•
«r%3 + I
\^^^'', I
• a2^.73 + I
^3^.''2 •
«3^l72|
(-1/
I
'
+ l^i^s^l •a,^372 + i
^2^3^ •aA7,
I
+ Vs^ \-^,^2lx^
1
a,/3,73-aA7, + a3^,%|
(-l)'iV2'^3!- '
aA72+aA7,-a3%,i
and therefore equal to
(-l)1V.V3|.|a,/3^7j.
IXlL TKv i
\\^^.^^V =
- — Ykfju . 2/u.v = 0,
\^j^3P4°"5r=f^'
'^it^t^zPX'
=
— 2X,v — '2/jlv . Sv/3
-f 2^Xv.2fip.'EXp.'l^iv,
Capetown, S.A.,
nth March, 1915.
( 28 )
„,(Z)=\\m
X ,. 1.2...n
r ; -.11.
«->«> z{z + l)...{z+?i)
n {z, n)
n
\.2...n
hm ^(,--jr-<. = J^e-r' dt
i.e. that
V n) 2n
that the modulus of the first integral tends to zero when
<x < 1,and infers the result for other values of a; in virtue
of the recurrence formula r(z + l)=zr{z) satisfied both by
the integral and by the limit of the product. Further
considerations are necessaiy when x is an integer and 3/7^0.
It is, however, possible to obtain a much more powerful
inequality than that due to Broinwich, by quite elementary
methods; this inequality is
for all values of z such that x>0 ; for, assuming the inequality,
the modulus of the last integral
<
' J n
i 3
l + V<l + v + ~ -h
^,
+...<! \-v + v'+v^-i...
_
=1/(1-.),
writing v = tln, we see thai, when 0<it<n,
1 + -) <e«/«< (\ --
n 1 \ n
j:E('-r--[-"('-y"j;-
t The first portion of each of the following inequalities is true when v=\.
30 P^'of. Watson, On a certain inequality.
so that (l + ^|)"<e'<(l-|y .
\ n J n
0<e-'-fl--y<e-'-,
n
\ 71
where </> and i// are any conjugate functions of ^;, y, so that
8
dx'
a a^ ^'z 8z
1
VT OCT
dt!J
OT ^ + —^' ^-
8cT
1
^x"^
=-
(ct'+1)
•i
'
32 Mr. Walker, Notes on a differential equation.
^ /. cos
where /„ satisfies
lA^M^K, ^^ . 1/;.
|^=:(.^-^-2sech-'0/,.
1. Some
time fip^o* I called attention to a criterion,
dlflferentfrom Euler's, wliicli decides whether a rational
integral function of a dependent variable and its successive
derivatives is or is not the result of differentiating some
other. The following is a more complete investigation of
such criteria.
Let X be an independent, and y, z, ... any number of
dependent variables, and let y^^z^^ ... denote —4, -7-7., ....
We consider, not all functions
9 3 8 3 9
8fl5 -"'91/ dijy dz ^ dz^
VOL. XLY. D
34 Prof. Elliott^ A set of criteria for exact derivatives.
4. We
next prove the half of the general theorem (>•),
that a D'^v, then (r, w) ii = 0.
if u is
= D''(0, w-r)v = ^.
5. Conversely, we have to prove that if (?•, w)u = 0, then
u is a D'v. This follows from a fact, to be proved in the
36 Prof. Elliott, A set of criteria for exact derivatives.
and in succession
A, A, A.. A
\D(ii
+ Tr-^.+
Dw — i ,.
Doi — 'li.+.-.+
'
'"
.
JJt
A={-ir-'-" ^
— r) *
rl (w !
Prof. Elliott, A set of criteria for exact derivatives. 37
= A^D''t£)'{r + 1, to) u,
Corollary 3. If w?< =
(with i^'S) u cannot be a deri-
vative. For if it were (l,t«)M would give io\i'"u = ^. =
[N.B. This does not apply with' 2 0. If i= for v we have =
(&)/> — Dw) u =
0, and so coDv whenever wu or c. For = =
instance o) annihilates all of
3/,', —A
and we may proceed by use of a second exponential trans-
formation applied to ?/,'.
To the homogeneous parts of with non-zero degrees f
criteria such as have been developed apply, using y', ?/,', y.^', ...
instead of y, ?/,, ?/.^, The applicability is complete in the
ordinary cases of/ rational and integral in ?/,', y^', ...; but
in the additional cases of / rational and integral in y,', while
not so in the set, there is applicability only when /, or a part
of it in question, is annihilated by some power of
8y, (^i/i
L = W^r'0')-^^-F^r) (,).
L = \{P + r'n-F{r)
by a transformation, which in fact is
L = \{r- + r^&^)-F{r)J^ \
+ F{r)
where ru= 1. Also the connexion with the problem
=1
i' + ,.VO-F(r)
(;.•-•
(4:
is given by }idd' = kdd, or dd' = kdQl>^\k' -f{d)]
T -T TJ ^-^ R- -^^^^
•(5),
while {Xdy-{-f{e) = k\
and E^ (constant) = 1\ +U^ + £^ .
— (XO) +----^^
ut 2JL
=0^ the integral of which is used in (5).
Mr. Hargrea'ces^ A transformation of central motion. 41
dx\2 *"
X }~^\ ^ X' 1 dx~ ax, 2X
in agreement with derivation from L^. It' f{6) is negative
we may have - for k\ The most general form reducible
/:''
'
k^ cos^'t' sn\'6
0' = [
(Z^/V(l-sin''esin"^^),
y =r—e ''
sin 6,
(iy-(i)'-^^=^('-+-'^=/w.
It is not, I believe, known that the only steady two-
dimensional irrotational motion of a fluid under gravity for
which the stream-lines are lines of constant pressure is a
uniform horizontal stream.
Assuming the existence of such a motion, and taking the
origin at a point in the fluid which is not a point of zero-
velocity, the motion in the neighbourhood of the origin must
be given by
z= a^io + OL.^iv^ + a^iv^ + (i),
p+C
ffy-W (''0.
p
and if the pressure is constant along each stream-line, the
pressure in the neighbourhood of the origin must be given by
1 dz dz , ^ „ , . ,_ ^ „ , ,
q* dw dw
y
1
= -{z-z) = -1 {a^w-a,to + a.y-ay- +...),
2i
.
. ,» ^ dz dz \
p,4&^«.-?^'s-(2;>4 + ^.i,o
2i 2i 2i>
[
8i 8i \8i 2iJ
+ — 1
=0.
i^a, =
4i
- 2^ - «! -
,(ui)
.(iv).
2.1 ^
P,P, = \{Px-^d{V,-^x)
1\-
and + 2i
2i '
2«/^o L
a,+ ^
V 4 2iJ
I.e. 6^V;73
- (;>,- aj (2^, - a,) (7^, + a, -a,) = 0.
The constants [>^, p^, etc., are essentially real, and therefore a,
must be real.
Hence, at every point in the fluid which is not a point of
zero-velocity, the fluid velocity is horizontal. This condition
is only by a uniform liorizontal stream.
satisfied
Tlie following considerations give an independent proof of
the same result. Jf ;// is the stream-function for a steady
irrotational motion of a fluid under gravity, in which the
stream lines are lines of constant pressure, while the force-
potential is a function of ?/ only, then
hold simultaneously.
m +
Since ^
=fj{y)+/{4^)
\dx J \dy
46 Dr. Wilton, A transformation of the 'partial
where /' and/" are the first and second differential coefficients
oi f{\p) with respect to \p, and g' and g" are the first and
second differential coefficients ot"^ (?/) with respect to y. The
lastequation is of the form
^=^'(^,y) (vil),
(viii)-
(f^)'=^+/-{^(^,?y)r
Differentiating (vii) and (viii), with respect to y and x re-
spectively,
d^ ^dF dF d^P
of ~ dy
'
d^ dy
dx'
~ 2^ ^ dxp'
The equation
r=/ix,y,^-p,q, s, t) (1)
in which «3, 3/, 2;, />, and q are treated as constants. The
solution will involve an arbitrary function of x, y, 2;, 2^, and 5',
which we call A.
Putting f=e (x, y, z, p, q, s, \)
1 d9 d(p . ,.. .
we have ;r- 7r-=l (4):
ds ds
( d\ _
~
d ^ a A A. ^ '
\dxj dsG ^ dz dp dq
/^\ ^ ^
~ dy
^ s - -
Kdy) dz dp dq'
Then differentiating the tirst of equations (5) with regard
to ?/, the second with regard to x, we have
di _
~
(dd\ dO d\ ^ ^\
dx \dy) 8a, dy ds 8y
8s _ /^\
~ \dx)
8^ ^ 8^ 8s
dy 8A, dx ds dx )
er is a known function,
wliicli, since is an equation, of the type
indicated, to determine \. When any vahie of \ lias been
determined from this equation, the result, on substitution in
/du\
(du\ dd j(lu\
do j(
^^, \dxj y
fdu\ da-
+.-.-( 3. 1=0,
d\
/du\
\d]/
d\ dX
,
where
^
X
^
,
^
X
"
= —
dx'
,
—
dy
- .
u [x, y, z, p, q, X, 0-) = ;
and, among these, the only known primes aie the lowest two,
2'+ 1 = 5, and 4*+ 1 =257, whilst the next two are known to
be composite, viz.
16'«+1 = 274177. 67280421310721 ;
F{n), F'{7i), ^{n'l, *'(«), see Art. 6; («), 0'(«), see Art. 6.
VOL. XLV. E
50 Lt.-Col. Caiiningham, Factorisation of N=Y + 1, dr.
aritlnnetical resolution Is described in Art. 17-21/. The
Factorisation Tables of iV, N\ wliicli are the outcome of
this Memoir, are described in Art. 22-22c.
{n) = the M.A.P.F. of F(n), 0' (u) =the M.A.P.F. of t" (»)• -{Gc).
Hereby
F(l)=/(l)=.0(l) = (.v-:y), i^'(l)=/'(l) = 0'(l) = (.v+j) i&d).
and the factors F' (e) are irreducible for all values of e, so that
0'(1)=^'(1), 0'(2)=i^'(2), 0'(4) = F"(4), ...0-(e) = !-(*) (8).
[The single bars used above are merely special multiplication symbols
(|)
used to separate distinctly the various A.P.F. ot' Fin) the double bar (|j) is
;
used to separate all the minor A.P.F. from the M. A.P.F. of F{n). These
symbols are most useluL iu arithmetical work see tlie Tables ou pages
:
72—74].
n
52 Lt.-Col. Cunningham, Factorisation of N= } T 1, &c.
,p'{n) F'{n)
and tiie A.P.F. of *P(inn), ^' (vin) may now be found by the
Rules of Art. 7, 8, 9, where inn now takes the place of the n
of those Articles. And <P{mu), <!>'(»*/<) may also be expressed
as the continued product of their A.P.F. by the Rules uf those
Articles.
then «^(?0, 0'('O, the M. A.P.F. of F{n), F' (n) are always
(algebraically) expressible not only in one or other of the
impure 2"" forms {P'^nxyQ') as in Kvi. 12, but also in one
or other of each of the derivatives thereof,
{P'TrnxyQ'), {P'^kxyQ'),
* In this Memoir (/''-+ nxyQ^) is styled an impure *2'<= form ; and (/"-T^Q") is
styled a pure 2'<^ form when n does not depend on x, y. J, i;, Ac.
Ji2
r
54 Lt.-Col. Cunningham, Factorisation of N= F + 1, &c.
similar to (17ni,Z>,c), Avliere ???, h now take the place of n in
those foriuulse, the (T) being determined hy the forms of
si{,Mi
* i.e. division with preservation of 2^" form. See the author's Paper on
Connexion of Quadnitic Forms in I'roc. Land. Math. Soc, vol. xxviii., 1897,
pp. 289 et seq. for a full explanation of the process.
Lt.-Col. Cunningham, Factorisation of ]S'=Y^+l^ &c. 55
Type
56 Lt.-Col. Cunningham, Factorisation of N= Y^ T 1, &c.
Ex. 3°. f (45), r(45) have 0(4o), 0'{45) as M.A.P.F., and have also
0(15), 0(9), 0(5), 0(3), 0(1); 0'(15), 0'(9), 0'(5), 0'(2), <p'{\) as lower
AP.F.
0(15), 0(5), 0(3) end 0'(15). 0'(5), 0'(3) have the forms shown in Ex. P.
( 9) = P2 + 3.13' Q\ 0'( 9 ) = P' - 3.VJ ^=.
^1 = |h when m = 2w
1
, (29e).
the originals).
Lt -Col. Cunningham, Factorisation of N=Y F_+l,(ir. 57
Tab. a.
58 Lt.-Col. Cunningham Factorisation of ^=
y ^ + 1) <^'^
as follows :
—
i. « = 4«+l=r;) gives 0(«) = =w,
(l»._lm)(]l_l.)
ii. ?j = 48+l=;)y gives 0()<) = 1,
(1^- P)(i«-1«)
whence L{A)=^T, 2(i?)=u (346).
A Table
subjoined giving the values of <p (n) or ^'(»),
is
2(^), 2 — as
in the formulae (34a— c?)
(i5) for ready appli- —
cation of the Test, for all the values of n in the general
Table of A^, B^. (Table A).
n
Lt.-Col. Cunningham, Factorisation of N= Y + 1, d:c. 59
functions
'J'he {n or m), (^'(n or «0, which are resolvable
in way, are styled* AurifeuilUans, and are described as
this
off order n or m. The two algebraic co-factors are styled
Aurifeuillian Factors.
Tlie condition of this resolution (35), styled the Auri-
feuillian condition, may be satisfied in the following ways:
1°. When y=\, so that f («)=y'-l, F'(«) = v»-M,
then y = 7in- gives D = {nnf=s-...{Z%a),
2°. When x and j'> 1 ; then .v = ?-, y = 7iii- ;
And each of the A.P.F. after 0'(1) is a Trin-Aiirifenillian (>n' = Z, Art. 15).
And each of the algebraic factors 0(5), 0(15), 0(45) is a Quint- Aur i-
femllian, (m = 5, see Art. 12^, 15) but 0(3), 0^9) are not Aurifeuillians.
;
^
1
Here = =
0'(2.) , 0'(2.^)
^^^ ,
[Art. 96].
= 33358093: 37.37.25309;
[Here the small factor 5 in Lo and il/3 shows that Lj is the divisor of 3/,].
17. The
finding of the arithmetical prime factors {p) of
the various is the most difficult, and
A.P.F. of F{n), F' (n)
most laborious, part of this research. The Theory of Numbers
is the guide in this part of the work.
The five following Articles, 18—205, apply equally to all
Ex. Taking »i = lo, the two examples below show for 0(15) and (ji'dH),
when ^.v, y) = {l\ 3),^), or (5-, 5),').
2'"^
form
P= 4-gr+l ; f'-ar+],^; fi-tg-+l ; 20tB-+ 1, 3, 7, 9 ; 24-nr + l, 5, 7, 11
* For the linear forms when n or vi> 10, see Legendre's Theorie des Nombre.i
3rd Ed., Paris, 1830; t. i., Tab, 111. to VII.
t And therefore not to the form (A'-^-^ + Y^^).
Lt.-Col. Cunningham, Factorisation of N=Y + 1, dc 65
Ifiy+l
^"^^^ i*^
(2»,= -l; (2/;^),= + l (ole),
\. (2lp),= + l; {2IpU=-1 (51/;.
* See two Papers On the mimei-ical factors o/"(a"-l) by the late C. E. Bickraoic
in Mesteiiger of Maths., vol. xxv., 189G, pp. 1-44; and xxvi., 1897, pp. 1-38.
Tab. B.
p
Lt.-Col. Cunningham. Factorisation of JS =Y T 1- &c. 67
F(Y); r= ,
1 to 16; 18,20,21,22,24,25,30; 27,28,82,84,35,36,40,42,44,4.5,48; 50
F'[Y); r- 1 iol6; 18,27; 21,23,24,25,28,30,33 35,36,45; 50
F{XY); XY= 1 to 2i; 24, 15.2,6.5; 28,10.3 30
F'iXY); XY= 1 to 18; 21; 22,24,15.2,10.3,6.5 30
Use of bars (| and ||). These are used between the A.P.F. of (X*- F«),
where e = 'l'^, (see Art. 7), thus
the double bar (||) being placed just before the M. A.P.F.
Thus the arithmetical factor, or group of factors, between a pair of bars
(I ... I)
is always an A.P.F. of above form.
Use of semi-colon (;). This is used between A.P.F. not of form (X'— Y').
This occurs in both F(>0, F\n) when n = w, (see Art. 8), and also in F'(")
when n = eu), (see Art. 96).
A semi-colon on the extreme right indicates the complete factorisation
of theM.A.P.F.
Use of semi-colons (;) between bars (! ... |). This occurs in the case of
68 Lt.-Col. Cunningliam^ Factorisation of N^ Y -f- 1, &c.
F(ew), which is first resolved into its A.P.F. with respect to the exponent
e = 2'\ (see Art. 9a), thus
'*
Use of colon (:). This is used between the twin " Aurifeuillian Factors
(L, il/) of an Aurifeuillian. These Aurifeuillians occur as complete A.P.F.,
so that their ends are marked by either bars (|) or semi-colons (;)— [see
above].
Use of queries (?). These are used in two ways :
(1) A
query (?J on right of a large arithmetical factor (>10") indicates
that this factor is beyond the powers of the Tables available to resolve or
determine primes.
i'i) A query on right of the (small) arithmetical factors of an "Auri-
feuillian Z-Factor " indicates that it is uncertain whether this belongs to
the Z- or il/-factor.
Blank spaces. In the incomplete factorisations blank spaces have been
left for the insertion of the (as yet unknown) prime factors in MS.
Appendix.
In this Appendix is given a short description of the
extensive* Tables which were available tor the Factori-
sations of this Paper.
23rt. Benschles Tables. These Tables* give the completef set of roots
{y<kp) ol the Congruence
j.m_i =o (mod />> 1000),
The roots (y'<hp) of y'^+l rEO, with v)=io, appear as negatirs roots
(—jV) of y— 1=0, with ?«=((>
The roots {y' <\p) of j'"' + lEEO, with ;« = €, appear as roots (j) of
^"-1=0.
It will be seen that these tables give a very extended range of the
index (m); but the range of the modulus {p) is so restricted (/;;:)> 1000)
that their use in factorisation is very limited.
236. The auth:>r'' s Tables. The author has had extensive Tables of this
sort J compiled, giving the complete set of proper mots y, y' :—
When m = lo ; of j'"' -1=0, and y'"' + 1 = (mod ;; and p").
for the values of m stated below, and up to the limits of ;j and j)'^ stated :
—
?« =2, 3, 4, 6, 8, 12 I
5,7.9, I 10,11,13,14,15;
j9 and i&«> 100000 | 60000 | 50000 (or a little over).
»«=i6 to 50, 52, 54, 56, 63, 64, 72, 75 (mod ;; and /;''> 103 up t^ iq').
23d. Small bases j';^12. Besides the above, the author has in —
conjunction with Mr. H. J. Woodall, A. R.C.Sc, compiled Tables giving
the Haupt-Exponents (^) and Max. -Residue Indices (i/) of the following
Bases (_>) :
f2
70 Lt.-Col. Cunningham, Factorisation of N= Y^ + 1, dec.
24a. Cano/i. Aiithmelicus. This Canon* gives two kinds of Tables for
every prime (p) and prime-power (;;") as moduli up to p and p" 1000. ^
One Table gives the Least + Residue (R) of all the powers gP of the base (j,
up to the limit p < p or ;/. {i.e., it gives R to Argument p). The other
Table gives p to Argument /{, with same limits.
Here g is in every case some prirnitice rooff of the modulus {p or p'^).
Use of the Table. The right-hand Table gives the powers {g", g^), such
that
= x, and g^^^y (mod p or p").
g"
Hence =
.r"':?:j"' =
«/'»"qrff'"/' [mod p or p«].
^'"/^{5r™»-»'/3q:l),
its use is of course limited to bases (.v, y) such that real values (a, /?) exist
giving 2** = ^;, 2P=y {raod. p or p'<).
present author has'found a few more a list of these will he given hereafter.
:
24c. Other Canons. The author has had Tables* prepared giving (at
sight) the Least Residues {R, R'), both + and — of the powers [zl') of the
,
small Bases {z) named below on division by all primes (;;) and prime-
powers [pi^) up to the limits of p, ;;, named below:
Unse s =
;
2 Lt.-Col. Cunningham, Factorisation of N= Y +1, d:c.
,c
1 o;
2 I
3;
3 2; 13;
4 3!5l'7;
5 4; 11:71;
6 5;43ll7;3J;
( 2-3;29.4733;
8 7l3;3!5; i3lli7;24i;
9 2; i3;7S7ll4; 1:7; 19:37;
10 9;4i.27i||ii; 9091;
11 2-5; 15797-1806113;
12 11; i57|i3;i7:i9ll5-29;
20593;
13 4.3; 1803647:53.264031;
14 13:8108731113.5; 7027567;
15 2.7; 241; 1. 4931; 61 39225301;
1
16 i|3l5l'7|2.S7lt)5537ll64i-67oo4i7;
17 16; 2699538733.^:19152352117.?
18 i7;343; 991-343271119; 307; 73465841;
19 2.9;
20 19; 251:11.61 13. 7; 15238111401; 41. 2801. 22236 1;
21 4-5; 463; 43-631-3319; 4789-6427:227633407;
3-7; 67.353-'i76469537l|23; 89-285451051007;
2.t i; 461.1289.
24 23; 60. I25; 7. 791577; 349: 13,7311331777; 97- '34793633; 1
34 3. II; 103.137.
)'
74 Lt.-Col. Cunninghcun, Factorisation of N=Y Y —+ 1, ttr
XUl'J
J71V «o ^ •
z :2 c^
.CD . OCO
.9»^ I
<M(MlMC^T(<CO<M-»<ca(M<MC4-*-<l<TJ<
F9
1^
H
>1
Lt.-Col. Cunningham^ Factorisation of N=:- Y + 1, &c. 16
Appendix II.
The Tables in tlie above Memoirs are not identical they differ only in :
the signs (±) of the coefficients .4,., B, when « = 4? + 3 for all odd values of ?•.
Paper apply diiectly to (/>'(«), when 7i = -ii-^3, this being the factorisable
3°
Aurifeuilliau form these signs are adopted in Tab.
: of the present A
Memoir.
( 76 )
Put Q=^F{n)q\
II
We also have more or less similar equations when 0^,, [x, qj)
on the left-hand side is replaced by manv other functions,
e.g. ^00 (ic, men), or again when Q ami R are replaced by
series in which the coefficient of g" is equal to the class
number of particular kinds of quadratic forms of determinant
— 9i, e.g. taking amongst those reduced f^rms whose third
coefficient is odd the excess of the number of those whose
Mr. Mordell^ Note on class relation formulce. 77
•(!'),
11=0 V 1 +q''^''
w=0 1=0
1 1' = 1
it' e^^ -n'
i:
dx
KM , when 03 = 0,
«>
Q 6 '6
/I _o2»«x \
=^J»(-'^""'^"HrT?=' +
---
78 M7'. Mordell, Note on class relation formulce.
\11B -
^[r. Mordell, Note on class relation formulcR. 79
00
F{n)=G{ii) if ?j = l, 2mod4,
2F{n) = G {n) „ n = 7 mod 8,
and putting successively iq, I'q, L*q, t*q tor q in equation (3],
multiplying in older by t~\ t"', i"^, t"*, and adding, we have
4
*
the right hand is S t (^ + t'-^)^ which is easily found to be
»=i
12A^B. Writing now q for q* we have the first result, and
similarly foi' the others.
We also notice that we write a;=l/^, p an integer, in
it"
such as ——~ 6\, (lip) ^„„. We may notice that formulae for
* Cf. Heimite, Collected Workg, vol. ii., pages 109, 240; Acta Afathematica,
vol. 5, page 2'J7 ; Kronecker, Monatsberichte, 1802, page 309 ; 1875, page 229.
t See Klein-Fricke, Modul-functionen, vol. ii., p. 6S5.
80 Mr. Mordell, Xote on class relation formulm.
Again
F{2m) - 2F{2m - 3 . l') + 2i^(2?/? - 3 2") - . 2F{2m - 3 3=)+ . ...
= (-l)"'-2x-,
where now x^ ~?>y' = in, with x>
and -\{x-l)<y< \x.
These appear to be results of a new type.
In the formulae due to Hurwitz, the rpiadi-atic form is
taken a.s ax"^ + hxy + by' A
very simple expression for the
.
where
IT' IT
* If we assume the Riemann hypothesis, the error term here is of the form
(«*"').
t Mr. Hardy has pointed out to me that this formula has been given ah-eady
by Liouville, Journal de Mathematiqaes, ser. 2, vol. 2, 1857, p. 393.
VOL. XLV. G
82 Mr. Ramanuja7i, Some formulce in
1
= — + 7" 7,« + 72* 3
.,
or
we liave
where
"a(v)
2 —
;— = ^
r(-^)
-^
r—
+ s)' ,
r.^(v)
i,
—V
t"
= 1^(5)^1+5)
>^^7TX7\~
4(1+5)
'
1 f' ^(1 1
^^^ ^{2s-a-b)
= 1-aJl) cT,(l) + 2-V„(2) cr,(2) + 3-V„(3) c7,(3) +...;
. .X »,(s)77(s-a)»7(s-^')»7(s-a-J)
^ ^ (l-2^^'""''')^(2s-a-^)
= rV„(l) (T,(l)- 3-(r„(3) (7,(3) + 5-V,(5) .7,(5) -...
* It seems not unlikely that A„ («) ia of the form [n***). Mr. Hardy has
recently shown that A,(m) is not of the form o{(?j log w)' log lop; ?j}. The same is
t It is very likely that the order of Aj,_<.(w) is the same as that of A,(«).
84 Mr. Ramannjan, Formula in theory of numbers.
r(3)
where = 7-4 + r(2)
jr^ - YT^. '
(19) %n'^{^)^E{n),
(20) <T, (1) <T^ (2) (T, (3) 0-. (4) ...a, {n) = 6 c' (w !)\
where 1>^> (1 -2"*) (1-3'') (1 - 5-')...(l --=7"'),
If
then
AN INTERPRETATION OF PENTASPHERICAL
COORDINATES.
By T. a Lewis, M.A.
2a; +2
86 ilir. Leivis, Interprelation of pentaspkerical coordinates.
^'k =P {p-^^kPk)IPv
= A'L\
Therefore a circle with centre at A', the square of whose
radius is pi'+ P,^+ P^\ passes through the points K, L.
Now AA'=^AG.
Therefore -4 is a centre of similitude of this circle, with
centre at A\ and of a circle with centre at the square G
of whose radius, /o, is ^ (/3,^-f/3/ + /3j"). And the latter circle
will pass through the points at one third of the distance from
A ^and to L.
to
Similarly it passes through the remaining four of the six
points mentioned. Therefore the proposition is established.
The six points determine a hexagon, three alternate sides
of which are parallel to, and two thirds of the length of the
sides of the triangle ABG] while the remaining sides are
parallel to, and one third of the length of the sides of the
triangle HKL.
Six other points on the circle are similarly determined If
AH, BK, GL be taken in the opposite direction.
The remaining centre of siijiiiitude of the two circles is at
D', the middle point of BG. Therefore if any one of the four
points K, L be joined to D' and produced to a point whose
,
distance from D' is one third of the joining line, such point
88 Mr. Leivis^ A ch-cle i^elated to a triangle.
aq^-p'^Ip:
whence the Intersections with the sides can be determined.
So the product of the segments of a chord through P Is
AP.PD,ox-pI.
3. Using Darboux coordinates the equation to the
circle is
for this circle has Its centre at G and Its radius equal to p.
So also the circle with centre A passing througii K
and L is
qa:'^qb'^qc'=p',\-p:\p'.
QA^QB'^qc'^Qr=p:^p:^p:'rp:
when i?, B' are the radii of the circumscribing and nine-
point circles.
( 89 )
4^. ^ p^jp.'+p.y+p^jp'+py^Ps'jp^+py
{p' + P^'+PsV
P\ Pt Ps ^„ •!
I ^ 2 1 « * q^ '^
(p, + pj + Pa J p,
'^~(a=' + 6^ + cV
90 Mr. Letvis, The Brocard and Lemoine circlea.
therefore 1^ =
Pi' + P,^-^ P3)'
2 -2 -i
-Pi P2 Pz
^ (P/ + P/ + Pz)
= (1-12/;') 72',
or p.a^i+p^a'.^ + p.a^j-p.x^
aV,a;, + /;V,ft;, + cV3a;3 '^p'p'p"
^ _q
Pi' + Ps' + Ps' (P,' + P2' + P»'0 P/
Making this homogeneous it hecomes
+ , .
(Pi'+pZ +
'
V '
'
.,
Ps )Pa
. p
V,
+ -'
P,
+ -'
Ps
+ -M = 0,
pJ
which reduces to
Pi +P, +P3 Vi p, p, pJ
Mr. Letvis, The Brocard and Lemoine circles. 91
Now OU = W-AL.LB
_ „3 a' {1/ + c*) c"
^ \Pi + P-i + Pa ;
= (1 - ik') R\
a^p.x.+h'p.x.+c'p X
P,oc^+P,x, + p,x^-p,x^+ '
\^p\lp.
then Sj must also transform this cyclic group into itself, and
hence we have the known results that if the square of each of
two operators is commutative with the other operator these
operators generate a group whose commutator is cyclic.
The successive transforms of an operator have been
employed frequently, especially in regard to prime power
groups where each of the n commutators s^, s,, ..., s^ may
be assumed to be contained in a smaller group than the
preceding, with the exception of the first of these commutators
which is contained in an invariant subgroup of the original
group. The special formula when each of these n commu-
tators is commutative with all of the others is also known,
but the general rule of finding the ?*'" transform and the
method of proof here outlined are supposed to be new.
UniTereity of Illinois.
line-density along the Hve lines FR, PS, QE, QS, UV, the
density in each line being proportional to 1 —
t\ and the total
mass of each of the first four lines being 71// 12 and of the
fifth line being 21//3. Since
k{l-t')dt=4:kld, [
k{l-t')fdt = 4kl\5,
J
NOTE ON AN ELIMINATION.
By Prof. E. J. Nanson.
Also -
2 ax = X 2 a' = 2 j\,
and Ix' = X'la' + iM'^{b- cf = -2(X' + fi') q,
so that 4(2aa;)''-32a^.2a'.2a;* = -8X.(\'- V)^'.
Thus the relation to be proved is seen to be true because
8'+27r''+42'=0.
Melbourne,
August ^th, 1915.
( 9^ )
x = l[tl y = v{t), = )
[B) ^ ?(0
We shall suppose, however, that each observer is always
moving with a velocity which is less than that of light so that
at any Instant t, B sees only one position^ of by means of A
light sent out from A at time t^, and the light sent out from B
* The foundations of an optical geometry of space and time, in which the
above condition is satisfied, have been laid by A. A. Eobb, A Theory of Space and
Time, Carab. Univ. Press (1914).
t Ann. of Phys. Bd. 17 (!905), pp. 891-921. .
L'eclaircfie ekctvtque t. 16
I This follows fioin a theoiem due to Lienard,
(1898), p. 5. See al.so H. Bateman, The physiail aspect nf Time, Manchester
Memoirs (1910); Electrical and Optical Ware Motion, Camb. Uiuv. Press (191o),
ch. 8, p. IIG A. W. Conway, Proc. Loud. Math. Soc. scr. 2, vol. i. (1903).
;
VOL. XLV. H
98 Frof. Bateman, Time and eUctromagnetism.
[«'(0-^W+[y(0-'7W7+[^(0-nT)r=c'(«-Tr...(2).
Let ^'s clock indicate at time t the number /(^ and C's
clock the number «^(f), then ^'s clock will be said to be
running uniformly* with reference to B it
a + ut,=^'^PlR-[R^-FQ)^]
\ f7l
a^nt.=''-^[R+[R'-PQP,
* Cf. E. V. Huntingdon, Phil. Mag. April (1912), for the case in wliich the two
observers are not moving relative)}' to one another.
Prof, Bateman, Time and electi'omagnetism. 99
wliei"e
u a
R= -^
W
— IX — mfi — nv.
+ -) +
A , ,
^iog(e-)...(io).
,
P 21
P * ^ * U * * *
2v
= [x -
.(11),
t t-- -, vt)
c'— V
y =!/'
c[t-t)
x'—x
Hence if is the semi-vertical angle of the tangent cone,
whose vertex is two directed
at the centre of similitude of the
spheres representing the point source and its image, we have
the relation
sin^ = t'/c (12).
T=T-T^^=T^-^{X, Y,Z).
Avhere 7?,^^^ is a function of 2\, T^, T^, 7\. This relation can
be expressed inthe form
* It can be regarded as the equation determining the form of the wave front
of an elementary wave issuing from tlie point X, Y, Z at time T. An attempt to
formulate a sclieme of elecr.roiniij,'iietic equations consistent with the above
equation has been made by the author. Proc. Lund. Math. Soc, ser. 2, vol. viii.
(1910).
Prqf.Bateman^ Time and electromagnetism. 103
^0,-^
104 Prof. Batemmi, Time and electvomagnetism.
occurrence from ^,, A^, A^, A^ are known and the ordinary
rectangular coordinates of the place can be found without
difficulty. On the other hand, if the velocity of the mirror
is less than that of light, the centre of similitude of the two
lines we have
cost/ = -
'
^I[J^Q]
„ iaBd
hence T,, = ±—- = ±ikd .,
say.
c,.
21 23 3i
31 3J
1 C..
J4
C 35 = .(III.
c.. c. c 1 C..
* This type of motion has been considered by Born, Ann. d. Phys., Bd. 30
(1909),- Somnierfeld, Ann. d. Phys., Bd. aS (1912), p. 673; Kottler, Weinnv
BerichU,'\iA I'Jl (1912); Hasse. PVoc. Loud. Math. Soc, ser. 2, toI. xii. (1913),
p. 181 ; Schott, Eltctromaqnetic Radiation (1912), p. 63.
t H. Bateman, Proc. Lond. Math. Hoc, ser 2, vol. vii. (1909), p. 84.
Frof. Bateman^ Time and dectromagneti&m. 107
r 1 1 r 1 1
C ^ J
108 Prof.Bateman, Time and electromagnetlsm.
* Gijlt. Nachr. (1908). Phys. Zeitsch: (1909). See also G. N. Lewis., Proc.
Amer. Acad, of Artsand Sciences, Oct (1910). A. Sommerfeld, Ann. d. P/ii/.i. Bd. 32
(1910), p. 7t)5; Bd. 33 (1910), p. 651. L. Silberstein, The Theory of Relativity
(1914). E. Cunninsjham, 'The t'rinciple of Relativitii (1914). B. Cabrera, Revida
d. R. Acad. Madrid, t. 12 (1913), pp. 646, 738 E. B. Wilson and G. N. Lewis,
Proc. Amer. Acad, of Arts and Sciences, vol xlviii. (1912).
t H. Bateiuan, Phil. Mag. Oct. (1910).
Frof. Bateman, Time and electromagnetism. 109
F F +F F
2J ^
14
+F F =0
' -^ 31 24 ' IJ 34
* The first three components of the 6-vector are equal to the moments of the
force about the axes, and the last three to the three components of the force
multiplied by c. The sum of a number of special G-vectors may be represented
geometrically by a system of forces or its simplest equivalent obtained by the
composition of forces.
110 Prof. Batenian^ Time and electromagnetism.
H = ai Fvu] + CKab (U — v) 1
(16).
E = cab (U - V) - Kab [vu) i
Similarly if the 6-vector (e^, e^, e, — /?^, h^, 7?J is the vector
product of two 4-vectors A' and B', whose components are
(a'y'^, a'v' a'u'^, —a'c) and (^V^, b'v'^, b'v\^—b'c) respectively,
,
(17).
E = a'b' fv'u'] + CKa h [Vl - v') J
* Cf. E. B. Wilaon and G. N. Lewis, Amer. Proc. Acad, of Arts and Sciences,
Tol. xlviii., Nov. (1912). H. Batemun, I'loc. Land. Math. Soc, ser. 2, vol. x.
(1911), p. ye.
Frof. Bateman, Time and eleclromagnetism. Ill
* Proc, Roy. Soc. vol. Ixxxiii. (1909), p. 110. The Pr'mciple of Eelativiti/, ch. xv.
112 Prof. Bateman., Time and electroynagnetisin.
[22!
_ i^ a;a,/3') x a(«,/3) ^ dioL',0') a(a./3)
' " d{x,t)^cd (X-, t) ^
'
c a (y, z) "^d [y, z))
' Phil. Maq. Proc. Lond. Math. Soc. ser. 2, vol. viii. (1910),
Oct. (1910).
p. 469; pp. 7, 96.
vol. X. (1911),
t These foimulje are a liitle more general than those given in a previous paper,
Proc. Lond. Mdlh. Soc, ser. 2, vol. x. (1911), p. 9(». It has not jet been proved
that the above repreaentatiou is possible whenever k is constant.
Prof.Bateman, Time and electromagnetism. 113
,. _ dx dx dy d,y dz dz ., ^t dt
J
dx'^dy'^-ch'-c'de
= Adx* + 2Hd<xd[6 + Bd^' + A' da" + 2H'dad^' + B'd^'\ . (24),
where A, H^ B^ A', H', B' are functions of a, /S, a', /?', satis-
fying the equation
* See, for instance, the formulae found by Hargreaves for the case of a moying
point charge. These formulae are given on p. 117 of tlie author's Ekclrical and
Optical Wave Motion.
VOL. XLV. I
114 Prof. Bateinaii., Time and electrjomagnetism.
'
dx d-e dy dy dz dz c" ct dt
dx d-e dy dy dz dz c* 9^ dt
^
interval <x<R is
'
that '-^ n —
^^ n tends to intiniiy,
^
should tend to zero, uniformly for all values of a;, y for which
-; rr" /„ (a + x)
regarded as a function of the two variables (ic, ?i), should be
bounded in the region n>^, ^<x<B,.
1 seek to establish the following results:
00
/., (a + x)
n\
regarded as a function of the two variables x, n, is bounded in
the region n>0, <x<k\ where k' <p and < k.
-
(2) If /„ (« + x)
I
n\ I
converges for \x\ <p, the series toill converge to f{a + x) in the
interval <x
<k, where k < p, and < k'.
Similar results of course may be obtained for negative
values of x.
If we are not concerned to be precise as to the end-points
of these intervals, we may say briefly that the region of
validity of the expansion o^ f{a + x) in powers of x is the
,
^
.j
~
" is bounded.
I
1. We have that
/(a-f x)=A^ + A^x+ A^x:'+... for <x<k,
and that the series converges for <x <p.
Being given any k' < p and ^ k, choose p' such that
k' <p' <p. Then since lini. | J^J« =p~', we have that
f (a + x) , , , . (n
^
+ l)(n + 2) . „
-n-l
if n>iV, t.e. <(p'-/c')
<(p'-Ic)\-8n
I
fja + x)
s\
n\
is bounded in the region
2. We suppose that
\frM^!^ I
" < Jf, when <x<U
I
n! I
x^'fiex)
^"\ —^->0, asn->a3.
fJ^^J!^ In
71 \
I
/„M|-1
By Taylor's formula
/(x + y + a) =f(x + a) +yf (x + a) +...
V"/ (x + a
^ ^_/^ + By)
-U ,
where
^
<n< ,
1.
n !
/;,
(:e +a+ %) < 2r.
But y<\jM.
;/"/„ (a; + a + %) ->
Hence -> as ;i cx>.
The expansion
/(.c+^ + a)=/(:c+a) + 2//' (.'«+«) + y'I-,/" (x + a) +
is therefore established for the specified range of values of
a?, y. But since 0<a:;</i;' and x<M'^ we may expand
/{x + and therefore also f'{x + a), J"" (x + a), ..., in
a),
powers of X. We then have f(x + y + a) represented by a
double series in powers of x, y. humming "diagonally,"
i.e. tirst collecting terms of like degree in x, y, we have
SS .L.M)\
m ! n I
is convergent.
This, being a series of positive terms, is convergent if
pi
2
(x + yY
is convergent, i.e. if
P-
fM)
is absolutely convergent. But, being a power scries, it is
absolutely convergent within its limits of convergence, i.e. if
leplace these by K
<'^/M^ <p and < k\ and so on, Jt is
clear then that ultimately we shall get 2'lM>p or > k'
when this condition may be removed and we are left with
K<p and <k\ which is what we require.
The conditions of expansibility that have been proved
establish the expansions of the elementary functions without
difficult}', and apply also to the discussion of the expansion of
a function of a function. Moreover, they "explain" why the
expansion fails for such a function as e~"'^', for then /^{x), in
the neighbourhood of x=0, is of the order e~^!^^x~^"', so that
/> )
'
abed
^ ^ / 9
c f h I
d g i j
it is best
that the letters removed with the help of the
conditioning equations
be a,e,hj',
the minor in question, U^ say, then being
h + c-\- d —b —c
-b b+f+g -f
-c -/ c+/+t
and its expansion*
dgi-Y dg [c +/) + di (/-f-^) + ig [b + c)
r I m n
n r I 771
m n I
equation of condition
Z + ?n + + =
?i »•
m+n+ r —n
—r m + n-\-r —m
— n —r 711 +n+r
the expansion of which is
2^ times as were. it
5. The
third, TF, being circulant is resolvable into linear
factors; and therefore if it be expanded in descending powers
of M, the last term of the expansion must be so resolvable.
But the said last term can be shown to be, save for an
arithmetical factor, a determinant of the form V. Conse-
quently we have the important proposition that the unique
primary minor of a circulant having a vanishing sum of
elements is resolvable into linear factors.
The form of the factors will appear from the consideration
of an individual case.
— V — 10 —X —y S
having a tanialnng sum of elements. 123
W { u, V, w, X, y)
=oV{v,w,x,y).
\
J u=0
F(y, 10, x, y) = V W X y
-y v + io-\-x+y —V — 10
—X —y '
v+io-\-o:^y — V
— 10 —X y V4 io + x-[ y
124 Sir T. Muir, Note on the minors of a circulant.
when it is found that the first column has become such that
the factor
(1 - e) y + (1 - e-) !<; + (1 - e'j + (1 -
a: e') y,
can be removed from it, and the elements
1, -e% -e\ -6*
left in the column.
x^—\
'
= + [x'^x + -«+
x—\r 1) (x'
(a? 1)I 1)I
^ \
v+w+x-\-7/ tv +x +y x+y y
v-\-w+x v-\-2to-\-2x->ry w+2x-\-y x-i-y
V{v^w,x,7/) =
v-\-io v-\-2w+x v+2w+2r^y to \ x \
y
V v+w v + iv^x v+w+x+y
3/r. Salmon^ The twisted cubic of constant torsion. 125
Capetown, S.A.
7th JVov., 1915.
^-M ^_Aii
y~F{t)'
,-m F{t)
n)
''>'
""'Tit)'
where F, /,, f.^, f^ are polynomials of degree w of a single
parameter t. If the common denominator be divided into F
the numerators /j, /j, J\ giving a numerical quotient, the
remainder is a polynomial of degree ?i — 1, and we can, by a
change of origin, write the equations of a unicursal twisted
curve of degree n in the form
u V 10 , .
= a^f + aj + a^
X
f -\-dt-^e
y =
128 Mr. Salmon, The twisted cubic of constant torsion.
HV-K«A' = o (9),
T(a„Ve+9a„a,c;0=3a„V,e
«
(10),
«.V + ^V + = (11),
«o«A'« = (12).
this and ihe preceding square roots (viz. the 25G"', 128"\ &c.),
lie obtains tlie following vahies of B, U, D, and E-.
he derives from it the vahies of Z>, 0, Z?, and A for the next
root, the vahie of A being found to be
he calls 7?, itc. but A is merely the decimal part of the initial quantity, and it
:
seems more natural not to include it among the differences, as it does not belong
to the system formed by the others.
Briggs had no i)ot;ition for distinguishing the successive .4's, iJ's, such . . .
as is now afforded by suffixes, nor had lie a notation for powers which put in
evidence the quantity raised to the power, e f/. A* was denoted by (4).
t Although Briggs used decimal fraclions and liad a special notation for them
(by uuderliniiig them), still he practically treats his numbers as integers in the
course of work, e.r/. he writes this number
10000,1 5 116,46599,905fi7,29604,88.
Tlie commas are used, as now, to divide into convenient groups a long succession
of figures, but he starts witli the first figure, not with the first decimal.
repeated extraction of square roots. 131
B= -A^A ,
C = ^B -B
J) — XQ _C
E n =T-V^
1 o
,-i>,&C.
n'
71—1
and therefore
and, siiiiilarl}',
§5. Now
suppose tliat to the nuaiber of places included
F^ is This expresses that ^V^,,., =^„.
insensible. Using
[E^^J, [D^^J, ... to denote the new E,'D" calculated . . .
(^„J = (2^-1)(2^-1)(2^-1)^5|
+ (2^-l)...(2'^-l)F,|[+(2<'-l)...(2'-l)T/;^'+&C.
and theretoi'e
-{(2'^-l)(2^-l)(2'-l)(2^-l)-2(2*-l)(2*-l)(2'-l)}F,|'
_|(2«_l)(2^-l)(2^-l)(2^-l)-2(2«-l)(2^-l)(2^-l)}F,~
+ &C.
* These series are convergent; for the «"» term in the series for the r^^
difference is
(2'-"-'-l)(2--^-=-l) ... (2'-])Tv„A'-^'.
^r+» 2"
is approximately equal to , p-- The ratio between this term and the
-^ .
(?• + «) Iv ')" !
2'-^'-'-l A
2'-i-l (M-7) 2"
'
which nearly = ,
—— . The largest value of r is n, so that this factor is
r + n
repeated extraction of square roots. 1 33
(^.J = (2-i)F,f;K2^-i)(2'-i)T^^+(2^-i)(2^_i)F;^
+ 2=(2^-l)(2^-l)jF/i-; + &c.,
+ 2-^(2^-l)(2*-l)-2^(2^-l)}F^^;-&c,
+ 2=(2^-l)(2*-l)-2^'(2^-l)4 2^}F,|-&c.,
+ 2'(2'-^- 1)
(2'--'-
1) - 2^(2'--'-
1) + 2*} vjf, .
1 ^ 3 .
and, similarly,
1 7 7
1 15 35 15
T. 1 ^ 31 . 155 . 155 ^ 31 ^
/^ _ ^ J ^^ A ^^^ A ^^^^ J
n 9^1 n-6 o20 n-5 ' olo n-4 ^IS ?l-3
651 . 63 ,
+ ^;tt
O" ^."-*, ^A n-1,+A.n
9° '
^„ = ^)}('?-2)(^-2-0(^-2')...(^-2-)M„
B=hA\
c„=^3{(i+Ar-i}-|i(i+-AJ-ii+A.
^„=^aKi+^j'-i|-^.{(i+A.r-i}+|[(i+Ay-i]-A,
&c. &c.
Similarly
+/6A^{2\wi^j-i}+M;i2'(i+i^j'-i}
+ -L^;[2*(i+ij„r-il,
which on reduction gives Briggs's value; and so on.
* Briggs's values of the terms in -4'* in 1 and are inaccurate (in their K
fractional parts). These errors have been corrected in the values given above
(See §13).
136 Dr. Glaisher, On Briggsh process for the
n I r II '/r+1 n '
I ni n i--")
If therefore we put
*n irn 71 '
i)-+2 n '
Ins n ' '
then
(r+l)
?..3
()•)
= ^' Pr + —^' Pr.. + 2 (r + 2) 2^,.^, + 7^.,.^3,
&c. &c.,
§ 12. By means
of these forraulse the coefficients In any
difference may
be deduced from those of its predecessor; but
the coefficients in any given difference P^, may be obtained
directly as follows.
From § 4 we have
P=(2^-^-0(2^"-l)...(2-l)F..A'-+(2--l)...(2'-l)F,,/rV...
1 + h log, (1 + ^) + ^'-g-, + ^
^^^1 ^+ &c.,
so tb at
^^
K=
jloff
- ^'
(1+.4)}'"
,
—=^ .
Thus
p,= ^- — ''
..,
' '
' {iog,(i + A)r.
+ ^^"'"1"
2'-'-l). ..(2'^-l
(2'--l) (
iiog,(i+A)r+&c,
T^ '
wliere
^2'-+''!-i
_ 1^
^g*"'"'-^- 1).,.(2'""-1
«„.„ =
(r 4- «ij !
tben
~ o«r'
P,..l=a.>l-
2
r+1 ?-(3>-+5)
Pr,3= «r.,- -^ «r.l+ ^^^
"r'
&c. &c.,
where
(2'"'-l) (2''-'-l)...(2'-l)
a, =-
2'"-l
2-'^ -
«..„
V.s = -
'^"
(2'^-l) (r + 2)
(2'-"-l)
,
138 Dr. Glaishe7\ On Briggs's jn-ocessfor the
B = hA\
C= \A' + IA\
D = lA^^lA^+^^A^+lA:' + -i^A^,
E=^-iA'+lA'+ Vg'^'+ W8^^'+ W^'+ V2'¥^"»
-^~16-^T^8^T^ 128 ^T 128~ ^ "1
256' "^ '
/7 _ 19 5 3 /17 ,
19J5 347 /J8 , 1 4C 8 8 7 3 ^» i 43 75 8 5 JlO
TT —
~ 2JL8 3_1 J84.GO3 5421 /19 9047 6197 -'^
410
-" 128 -^ T 128 ^ T
I
128 »
from A^^ alone, but it is not clear why he should have desired
to do so. He mentions that i?^, C„ can be so expressed, . . .
Although the coefficient of the leading term increases, the term itself
*
decreases. For the first term of the i-^^ difference is (S""— 1) (2'"'— Ij...
(2-1) Tr+i /i*"^', and substituting approximate values, IV+i/i*"^' approximately
(l0g,(l+^„)'-H ^„'-+l ^rM
(r + l)! {r + l)I (r+ljl 2C-*^';»"
Also (2'"-l)(2''"'-l) ... (22-1) is less than, and may for the present purpose
2^''""'^''^*^
be replaced by, Making these substitutions, the term becomes
^4''^'
1
. .,
,r-n),n-iryi '
which diminishes with r. For the last (n"') difEerence
A n =^A
2 71-1 -IBn-l + Si(7n-1,-nVZ>
4> ,
lb
'
,+...,
ti-l '•••}
§ 16. The
values which Briggs obtained for B^, (7^, . . .
if terms beyond ^
are neglected ; and Briggs's values of the
higher differences would have enabled him to extend this
expression up to the term in -4'".
Briggs does not give this formula, and so presumably he
did not obtain it. Jt may have escaped his notice, or it may
be that as a calculator he preferred to work by differences, a
method which he continually employed and of which he may
almost be said to be the inventor.
Series were unknown in Briggs's time, but if he had
noticed that A could be expressed in terms of the preceding
-<4, By C ... it would seem that he might have given the
formula for A^_^_^ in terms of A^ in a finite form, rejecting
powers of A
which were insensible to the number of places
included. There is however the important difference between
140 D7\ Glaishe7\ On Briggs^s process for the
§18. As shown in §12, the quantities F,, F,, F3, ... are
log^a,^),i!^f4±^\i!^I^^ ...,thatis,the,
—— ——
(log^ay
^j J
(2'-l)
§1 (loge^).
(2^-1) (2^-1)
^j (log^a),....
and if
then we find
C[U, F, IF),
where
U = a,' + 2a^a^ - «/ — 2a^a^, V = a^^ + 2a, - a/ - a.^ 2a^a^,
is divisible by
a, + c<, + o,+... a^ + a^ + a^+..
a, a.,
2
a,d a,4 a.
a
a,6
1
K b, K K K K
«5 «6 "l "3 ^'3 ^<4
h h ^ K K \
a^ a^ a^ a^ a, a.^
h. h^ K K Ik h..
144 Sir T. JIuir, Determinants of cyclically repeated arrays.
a 4 «3 + <7, «, + «, + «. a^ a, a a
h,^-h, + h^ h, + h^-tb^ b, b^ b^ b^
h + ^.^K K + KaK ^, K ^ ^4
«, - a^ a^-a^ a^- a. a, o^
{l,x){l,y)[l,z)
stands for the second set, we have an additional aid to
clearness.
a^ a^ a^ a^ a. a^ a^ a^ a^
VOL. XLV. L
146 Sir T. Midr, Determinants of cyclically repeated arrays.
is divisible by
a^ + a^ + a^+... a, + a^ + a^+... a^ + a^-{- ag+...
b^ + h^ + b^+... h, + b^ + b^+... K+K+h+...
.
c^ + c^ + c,+... c^+c^ + c^+... C3 + c, + c,+...
^7 - <^. ^8 - ^3 Cg -C, C, - C^ C, - C, C3 - C,
culants
C (a„ a^, flrj, C (a^, o„ a^), C[a^, a^, a J,
C{b,,h,h), A, *„?>«), 0{b,,b^,b:),
is divisble by
C [a^ 4- «4 + «„ a^ + a, + a^, a^ + a^ + aj ,
(a),
From the latter result it follows that the said circulant, Ca.S
say, is invariant to the interchange of
o^ with a^ \
«g ivith f/g J
and from this and the former result that (73.3 "is divisible hy
K K K h h h K K K
Cj c, C3, c, c^ C3, c, c^ Og,
is divisible by
rt, + 0^7 + a,7'-' a^ + a^'y + a^r ^3 + «g7 + ^7^
l\ + ^7 + /^7" ^, + ^57 + ^\1 K + ^c7 ^ ^97'
a, a^ a^ a^ a, «g a, a^ a^
b. b. K b, b.^ h, K ^ l>
a, a^ a^ a, a,^ a^ a^ a^ a^
K \ K K K K K h h
^7 ^8 ^9 «. ^2 ^3 ^4 ^5 ^6
K K K K K ''. ^ ^ ^
c. c. c, c, c, c„ c. c.^ c.
148 Sir T. Maii\ Determinants of ct/clicalhj repeated a^n^ays.
I
"^t,
+ «47 + ^77' ^>2 + ^'37 + ^h
7' ^3 + ^57 + ^"97' 1
-,
1
«, + «47 + ^',Y ^\ + ^'57 + ^7' C3 f Cg7 + c^i' I
I^A'^sl ^y 459,
tiie lesult of the development is
P Q R
R P Q
Q R P
AYe thus have the theorem that the circulant of the arrays of
C\P, Q, R),
where P, Q, R
are aggregates of nine determinants whose
columns are taken from the arrays
a. a. a„ a„ a, a„ a, a„ a„
«1 «3 «3 «4 «S «6 «7 ^8 %i
«S «1 ^2 «6 «4 «i ^9 ^7 «8'
«2 «3 «I ^'5 «6 «4 «8 ^9 «7-
where 0', x,
6' ai'e outwardly identical with (^, ;y, 6, but the
cohimii-nuinbers now refer to the array
«l «4 «7 «2 ^^3 «g «3 «6 «9'
«7 «. «4 «8 «» «5 «9 ^3 ^6'
«4 «7 «1 «S «8 «2 «G «9 ^3-
F F F
•^21 22 23',
F F F
^31 32 33',
the positions being chosen so that the Fh of the first row are
those of
and
G (rtj + Og + Og, a^ + a^ + (Tg, ^3 + «5 + «J
•
(a, + ag7 + a37'-', a^ + a^y + ^1^7', «^ + «,7')
+ a.7
•
G (a, + flg7'-' + 0^7, a^ + a^7' + a^-^, a^ + a^7' + 0,7)
1, 2, 3 >^
1,4,7
with associates
1,5,9
1, 6, 8 ;
The first of the four is the originator, and the three others are
4, 5, 6 into 5, 6, 4,
7, 8, 9 into 8, 9, 7.
arrays of
l^l^^s!' l«4^Cfil' l«7^8C9l>
«7 «3 ^;
C. C„ 0.2'
f= ax + 1)1/ 4- c
nates a node, and the straight line joining two nodes a node-
line. For our purpose then it will be sufficient to show how
to find the nearest node to the line I on each side of it within
the strip.
The equation of any node-line PQ
can be put in the form
Ax-\-By-\- C-0,
where A, B, C are integers and A, B have no common factor.
Every node B then lies on a line
Ax + By+C=C'
for some integral value of C, and the distance of R from PQ
is ± C (^' + ByK Further, each of the lines
Ax + By+ C = ±l (1)
passes through nodes, and nodes lying on these two lines are
equidistant from
Ax-\- C=0, By+
and nearer to it From this property
than any other nodes.
the two lines (1) are called the node-lines nearest to
Ax + By+ (7=0.
If (^, 7}) is a solution of
Ax + B>/+\ =
(obtained by expanding Aj B in a continued fraction) all the
nodes on the lines
Ax + By +0=1, Ax + By+ 0=0, Ax + By+ 0=-l,
have coordinates of the form
{Bt+{0-l)l -At+{G-l)vl \
f = ax + hy + c = 0,
^
P, (73,84), y;,
= .000 590,
TTX — €y —1 = Q.
Carrying out one more approximation, the nearest node to
the line
1-/^ =
,
77-cc-e?/-
7^— on = const.
on
Hence p a Bn (3).
p + Tp cc 8n (4).
VOL. XLV. M
162 Dr\ Brodets/oj, On equipotential curves
^ ^^'
dp 'dp
as possible free paths. 163
Bn = p — p = Bp',
XT = d^
iience p -,,,
+ .W§(=o ,0).
^^f-.,)
\[V±sl{p'^k')\ (13).
...(14),
4. In (14) make
-^, = const.;
Now P
=
where the brackets denote that we must first substitute for /c*
The result (16) is identical with (13) obtained for the complete
integral. But we must remember that in (16), k' is not a
constant, but is a function of ^; and \ defined by the second
equation in (14). Thus if
d<f)
_ const.
die'
as possible free paths. 165
P = ^\^)-P (17),
p dn
as In Art. 1. Thus, as In the two-dimensional problem, we
get
p oc Sn (18).
PR, P, -
^ + ^«^6« 19.
Pi P,
m2
166 Dr. Brodetslvj, On e quipotential curves
^ = const.
PTcnce the condition for three-diniensioinil free paths is also
satisfied. We
get the result that if a faniilj' of cylindrical
equipotential surfaces is such that the })lane curves obtained
by a perpendicular section are describable as free paths, then
any loxodronie on any of the cylinders is also freely
describable, the velocity being chosen appropriately.
+ —
sin*0sin;i
r
a
1
-.-
on
,
-^ r ^ Y- (22).
pr on
1
( 168 )
Define
and (9/ = ^— .
'''•
and o;i)=o;:; |
* Mesaeiif/er of Mathematics, vol. xlv. (1915). f Luc. cii., vol. iliii. (1913).
Ml'. Chaiuuhj, Criteria for exact derivatives. 169
&c. &c. /
a a a , , d^'z
a^'a^'a^'-'
^i'"'e - ^ lo^i/, -. ^ a^.
•
0, = ft»^-2Z)a,, + 3Z>'co3-...
(3).
O3 = a>, - %Dw^ + GD'oj^ -. .
&c. &c. /
0= co^-Dco^ + D^i
and since the operators on the rij^Iit are of zpro weight. But
on a function homogeneous of degree i, w^ = i.
&c. &c.
And SO on: finally
\{w-l)0,+ {xo-2)DO,^...]...0^
[4),
{-Y-\2^io)=[wO^ + [w-\)DO,-V...]...[20^>cDO,)
&c. &c.
expressing the operators (?•, ic) in terms of the operators 0^,
and showing that a function ainiihilated by all ot (9,, 0.^, ..-,
0^ is annihilated by all of (1, iv), (2, lo), ... (r, %o).
0^ + DO=l-I)'(a},-2D(o^+3D'oy^-...) [ (5)
&c. &c.
The function is supposed homogeneous of degree i.
From these identities we see that anniliilation bv the one
operator P^= 0^ + DO^^- D'0^+...D-' 0,.\^ (if the function
be homogeneous of degree other than zero) sufficient to prove
it an
/'' derivative D'<p, and that /^ can be expressed as
i-P = P,P,...P
l--^P=P,...P^ :6).
&c. &c.
Mr. Chaundy, Criteria for exact derivatives. 171
^ =(-l)-T«'-i
— ^
-, .
'^
r\
^ ^ [w-r)\
It may be first mentioned that the set of identities
= {A^OJ,Bco-l)+A,OMi^,^o)
=={A^<oO^ + A^O,co){2,w).
Similarly 0,- [A^ 0^ + A^ooO^co + A^Oy) (3, iv),
and so forth.
It is clear then that annihilation by (r, w) necessitates
annihilation by 0^, 0^, ..., 0^.
Thus ED = DE^^.
r r—
In particular
E E =E
r
.
r+t r
V, = y.d,^Sy,d,+ &y,d^ + .
.{8).
&c. &c. /
Writing r] for t/j, we have rjD — Drj = t]^', but rj^ operating on
a function isobaric of weight w multiplies that function by w.
By the symbol [O, w] mean the operator
where the r'^ factor from tlie beginning Is Bt] — (^r — 1) {w — ^r)
and there are iv factors In all.
Mean by [l, tv'] tlie operator obtained from the foregoing
by removing the first factor, i.e. it starts with Dr]— [io- 1):
mean by [2, lo] the operator obtained by removing the first
10 [\o— 1)]
jdUd- [vD- [210-3]} {r)D-{lv-l)]V'
2 j
"''-'y"'-^'
j{j,- }...lJ,-C.>-2)|J,.,.
In other words
[0,iv-l]r]F^=B[0,io-2]'n''K-
Proceeding in this way we see that
[0,tv]F=D'-'[0,l]7)-^F^,.
= D[0,w-\](p = 0,
by the preceding result.
In like manner we may prove that
\=A^[\,io]^A^Dr^[2,xo]^A^Dr^[Dn-{w-\)][3,w] + ...{<^l
Mr. Chauiuhj, Criteria for exact derivatices. 175
where ji^, A^^ A^, ... are the numerical quantities which
A -4, A^
X x—^w—l) x—{2io — ^)
f w{io-\)}
x\x- {lO-l)]...^^ ^
1
.
E= -\ -H D\-..
&c. &c.
„ rir+l) _,
'r Ir-H '
o f
'r+i
and finally
[2,t.]^(-rM(to-l)^.+...!((t.-2)i^.+...|...{2i^, + ^,}
&c. &c.
Thus the operators [r, w] are expressed in terms of the
operators E^^ and it is by E^
clear that anniiiilation
necessitates armihilationby [r, to]. To pi'ove the converse we
employ the identity (9) and proceed exactly as in the case of
the annihilators 0^ and o)^.
F
Let [m) be the numbei" of uneven classes of negative
determinant — m, with the convention that the class (1, 0, 1)
and its derived classes are each reckoned as ^, and that
F[0) = 0. It is well known that
F{in) - 2F{m - \') + 2F {^m - 2')-... =-S(-l)^("^'V...(^),
where the left-hand is continued so long as the argument
side
of the function F is not negative; and the right-hand sum-
mation refers to all the divisors d of ih, which are <\J[vi) and
of the same parity as their conjugate divisors a, but when
d = \/(7n), the coefficient d in the sum is replaced by ^d.
Kronecker* proved this formula and sinnlar ones by
considering in the theory of elliptic functions the modules
which admit of complex multiplication. Hermite* shewed
that formulae of this kind could be proved by expanding in
different ways functions represented by products and cpiotients
of theta functions, although when a formula is given it is no
easy matter to see a priori what is the function to be ex-
panded. This method was not unknown to Kionecker.*
Liouville* showed that the general formulae introduced by
him in the Theory of Numbers could be applied to give an
arithmetical proof of some fornudte of this kind. Ki'oneckert
also gave an arithmetical proof depending upon the general
theory of bilinear forms with four variables.
By considering the subject from rather a different point of
view, I was enabled to find directly various formulae of this
kind, some of which are given in my "Note on Class Re-
lation Foi mulse.:]: But some of niy analytical methods suggest
a very easy arithmetical transformation, and as an illustration,
I prove the above formula.
Let m be any given positive integer (all the letters used
denote Integers), and consider the representations of m by the
two forms
* An account of these methods will be found in H. J. S. Smith, Report on
Theory of Numbers, § 6, Collected Works, vol. i., pp. 022-350.
t Collected Works, vol. ii., p. 427. Ueber Bilinenre Formen mil vier variaheln.
X Messenger of Mathtmatics, 1915, vol. xlv., pp. 7(i-80. Mr. G.
Humbert writes
to me that the formula [A) in this paper has been given by him in his paper,
" Nombre de classes dea formes quadratiques/' in Liou villa, 1 1)07; and that it
is due to K. Petr, Acad, des Sciences de Boheme, 1900-11)01. Both of these authors
have found this formula and various others, some involving the representation of
numbers by simple indefinite forms, by means of Hermite's classical method.
VOL. XLV. N
178 Mr. ^fordell, An arithyietical })roof
d[d+2h)=m (2),
n^-\-2ka =N (6),
-(n-l) oo
* It was suggested by evaluating 1. E 7"(-'*')i-*^
of a class relation formula. 179
7}r] + ka = P. (8),
where 7; = 0, ±1, ..., ± (Z; - 1), - /.-, and ct, t, r are limited
as above.
Putting -r for r in tlie equation with the negative sign in^
(7), this is the same as 2(-l)'' extended to all solutions of
nt + kr = F where r takes the values —n to « —1 and then
again the values n — 1 to —n plus (—1)'' for the solution r = n
[if r = n does not give a positive integer value for <, (—1)*^
must be replaced by zero, and similarly in other cases] minus
(-Ij*" for the solution r = -n equals 22 (- 1)"" extended to
all solutions of ^jt; + /ca= where rj=0, ±1, ..., ± (/c — 1), — /;
P
minus (-1)"^" for the solution o- = 0, where now the con-
vention for cr = is removed. But (—1)'' for r = n minus
(-l)"" for r = -n is equal to — (-l)"'" for o-=0. For we
may consider P/n to be an Integer, as otherwise none of these
solutions exist. k> Pin > — k, there is a solution a- = 0, but
If
the case r n does not arise while the case r = — n does and
=
the equality is clear. If Pjn lies outside these limits, the
cases r =
n and r =—
n both arise and (- l)" cancels (—1) ",
while the solution a = does not arise, so that again the
equality is evident.
Putting now r — ti for r and i] —n for »/, we have to show
2 (- l)"" for all solutions of
7ir]^k<T=Q (10),
1^ = 0, 1, 2, ..., 2A,-1.
for which n takes all positive and nej^ative values, zero ex-
gives — 2^(—
Ij"^. This proves the result {B).
Taking now /(«)=(- lj% we have 2 (— 1)', extended
to all solutions of equation equal to —2I,{- l/^'^el
(1) is
'
s[s-l) J, „=1 /*
In this put
«=i
provided that — !<?/<! (2),
which equivalent to
is < cr < 1.
Further, from Jacobi's relation
= (-)"[ cosxX.6^''"\X)dX,
0=f smxX.6<'"^(X)dX;
* In Riemann's notation
a, v
Hence J_^ /
2a;"'".^ (x, tj) cos (/3 - i(x) X= (-)" f cos [x -0 + ia) X.e^'"\\) dX
- f x"'<p(x,7j)cos{[5-ia)xdx=:(-ye^'"^([5-ia)
..(5).
—2 r"
yp (x, y)
.
Since
and
The UnirerBity.
Slieffield.
SO that nal-^io^'-'^^'-'^A'...
- wj<'-'K'-^> X
n
(^' ^'q2' ^' lo'A', w'A'gm^ tf;M'„ i(;"M'gni')
V ^l"
....
? gm^, 9P iv'A'52" , ....
'
,
q\' ...,'
A\,
y\<
A', 1/2'
...,' A'yrn^ vfA\,
,
yV
....
7
vfA'ym> , w'''A\,
yV ...,' xtT'^A'
ym ;
'
+...-\-io''[[n — 1) m + ^P column
nA"",.
21'
nA'-2' , ....' nAl2ml ,
jiJ'',,
ml/
nA'„,
mZi
....
1
i^A""
mm .
Lt.-Col. Cunningham, Factorisation of N= (a.-^ ^P /). 185
for each x.
No two of these determinants can have common factors
for arbitrary values of the rt.'s, since when each of the n
FACTORISATION OF N=(x'rf).
By Lt.-Col. Allan Cunningham, R.E., Fellow of King's College, London.
[The Author is indebted to Mr. H. J. Woodall for help in reading the proof sheets.]
These are the only cases worth recording: as, when either
h>\, or a>2, the numbers iV ai-e too high* to admit of
complete factorisation. A number of examples of these two
cases completely factorised are given in the Table at the end
of this Paper.
The first case iV"=(4'' ~ ?/*) has the peculiarity that its two
algebraic co-factors (2"-^), (2^+v/') are themselves of the
form iV, N^ of (1). This is the only case possessing this
property.
whereby
N'=4!'+y=4.2<"+y
= /..i)/=(j--2''+'j/ + 22''+»).(j/' + 2'''-'j' + 2^"+') (66).
then JV"=A-2'-j'*=(2*As)!'-yl6/i»
By taking x, y of forms
X^ylh+Xf odd; y = (2«')-»'.>&*'" [ix' odd^ (116),
The smallest is
z=(z+l)'-l^+^=(z-l)'+l^~^
in order of magnitude of the primes, .the lowest on the left, the highest on
the right.
* At present only in MS. Tliose for bases '2, 10 were compiled by Mr. H. J.
Woodall and the author jointly (not iiidepeudently). The rest are due to the
author.
190 Lt.-Col. Cunningham, Factorisation of N= (^^ T 'if).
4, 8, 16, 32, &c.; 9, 27, 81, 729, &c, ; 5, 25, 125, &e. ; 49, &c. ; 121, &c.
Use of dot (.). This is used between arithmetical factors in the same
A.P.F., L, or M
(but not between the A.P.F. or L, themselves). M
A dot on the rijjjht of an arithmetical factor, followed by a blank,
indicates the existence of an other arithmetical factor of unknown con-
5<titution.
Use of bars (| and ||). These are used between the A.P.F. of (X = — F^),
{X*-Y% &c.; thus
X2- r2==(X- Y) (X+ II
Y) ; X*- F* = (X- Y) \
{X+Y)\\ (X-+ 1--=)
the double bar (||) being placed just before the highest A.P.F.
of semi-colon
U'se (;). This is used between the A.P.F. of (X"4. 1'")
X,
Lt.-Col. Cunningham, Factorisation of N= [x-' ^ y""). 191
TahJe A.
X, y
192 Lt.-Col. Ciuiningham, Factorisation of N= {x^ ^f i/).
Table B.
X, y
P I-fessenger of mathematics
Math
M
n.s.
v./,5
Applied Sci.
3enals