Srinivasa Ramanujan Collected Rare 28155 PDF
Srinivasa Ramanujan Collected Rare 28155 PDF
S / S S~
Collected Papers of
SRINIVASA RAMANUJAN
Collected Papers of
SRINIVASA RAMANUJAN
Edited by
G. H. HARDY
P. V. SESHU AIYAR
and
B. M. WILSON
ratfAMOUwra “’••B-jcLmRiAao
<&■
<s&*
Cambridge
AT THE UNIVERSITY PRESS
1927
CONTENTS
PREFACE . .
NOTICE by P. V. Seshu Aiyab and R. Bamachaundba Rao
NOTICE by G. II. Hahdy.
PAPERS :
1. Some properties of Bernoulli’s numbers . . .
Journal of the Indian Mathematical Society, 3 (1911), 219-234.
2. On Question 330 of Prof. Sanjana.
Journal of the Indian Mathematical Society, 4 (1912), 59-61.
3. Note on a set of simultaneous equations.
Journal of the Indian Mathematical Society, 4 (1912), 94-96.
4. Irregular numbers.*
Journal of the Indian Mathematical Society, 0 (1913), 105-100.
5. Squaring the circle.
Journal of the Indian Mathematical Society, 5 (1913), 132.
6. Modular equations and approximations to 7r
Quarterly Journal of Mathematics, 45 (1914), 350-372.
20. On the expression of a number in the form ax- + by2 + cz2 + du2 .
. Proceedings of the Cambridge Philosophical Society, 19 (1917), 11-21.
plaining to the class that any quantity divided by itself was equal to unity,
he is said to have stood up and asked if zero divided by zero also was equal
to unity. It was at about this time that he mastered the properties of the
three progressions. While in the fourth form, he took to the study of Trigo¬
nometry. He is said to have borrowed a copy of the second part of Loney’s
Trigonometry from a student of the B.A. class, who was his neighbour. This
student was struck with wonder to learn that this young lad of the fourth
form had not only finished reading the book but could do every problem in
it without any aid whatever; and not infrequently this B.A. student used to •
go to Ramanujan for the solution of difficult problems. While in the fifth
form, he obtained unaided Euler’s Theorems for the sine and the cosine and,
when he found out later that the theorems had been already proved, he kept
the paper containing the results secreted in the roofing of his house.
It was in 1903, while he was in the sixth form, on a momentous day for
Ramanujan, that a friend of his secured for him the loan of a copy of Carr’s
Synopsis of Pure Mathematic^ from the library of the local Government
College. Through the new world thus opened to him, Ramanujan went
ranging with delight. It was this book that awakened his genius. He set
himself to establish the formulae given therein. As he was without the aid of
other books, each solution was a piece of research so far as he was concerned.
He first devised some methods for constructing magic squares. Then, he
branched ob to Geometry, where he took up the squaring of the circle and
succeeded so far as to get a result for the length of the equatorial circum¬
ference of the earth which differed from the true length only by a few feet.
Finding the scope of geometry limited, he turned his attention to Algebra
and obtained several new series. Ramanujan used to say that the goddess of
Namakkal inspired him with the formulae in dreams. It is a remarkable fact
that frequently, on rising from bed, he would note down results and rapidly
verify them, though he was not always able to supply a rigorous proof. These
results were embodied in a notebook which he afterwards used to show^fo
mathematicians interested in his work.
In December 1903 he passed the Matriculation Examination of the Uni¬
versity of Madras, and in the January of the succeeding year he joined the
Junior First in Arts class, of the Government College, Kumbakonam, and won
the Subrahmanyam scholarship, which is'generally awarded for proficieneyin
English and Mathematics. By this time, he was so -much absorbed in the
study of Mathematics that in all lecture hours—whether devoted to English,
History or Physiology—he used to engage himself in some mathematical
investigation, unmindful of what was happening in the class. This excessive
devotion to Mathematics and his consequent neglect of the other subjects
resulted in his failure to secure promotion to the senior class and in the
consequent discontinuance of the scholarship. Partly owing to disappoint-,
inent and partly owing to the influence of a friend, he ran away northwards
Srinivasa Ramanujan xiii
into the Telugu country, but returned to Kumbakonam after some wandering
and rejoined the college. As owing to his absence he failed to make sufficient
attendances to obtain his term certificate in 1905, he entered Pachaiyappa’s
College, Madras, in 1906, but falling ill returned to Kumbakonam. He
appeared as a private student for the P.A. Examination of December 1907
and failed. Afterwards he had no very definite occupation till 1909, but con¬
tinued working at Mathematics in his own way and jotting down his results
in another notebook.
In the summer of 1909 he married and wanted to settle down in life.
Belonging to a poor and humble family, with an unfortunate college career,
and without influence, he was hard put to it to secure some means of liveli¬
hood. In the hope of finding some employment he went, in 1910, to Tirukoilur,
a small sub-division town in the South Arcot District, to see Mr V. Ramaswami
Aiyar, M.A., the founder of the Indian Mathematical Society, who was then
Deputy Collector of that place, and asked him for a clerical post in a municipal
or taluq office of his division. This gentleman, being himself a mathematician
of no mean order, and finding that the results contained in Ramanujan’s note¬
book were remarkable, thought rightly that this unusual genius would be
wasted if consigned to the dull routine of a taluq office, and helped Ramanujan
on to Madras with a letter of introduction to Mr P. Vr Seshu Aiyar, now
Principal of Government College, Kumbakonam. Mr Seshu Aiyar had already
known Ramanujan while the latter was at Kumhakonam, as he was the
mathematical lecturer there while Ramanujan was in the P.A. class. Through
him Ramanujan secured for a few months an acting post in the Madras
Accountant-General’s office and, when this arrangement ceased, he lived for
a few months earning what little he could by giving private tuition. Not
satisfied with such make-shift arrangements, Mr Seshu Aiyar sent him with
a note of recommendation to Diwan Bahadur R. Ramachandra Rao, who was
then Collector at Nellore, a small town 80 miles north of Madras, and who
had 'already been introduced to Ramanujan and seen his notebook. His first
interview with Ramanujan in December 1910 is better described in his .own
estimated....
“ I see no reason to doubt that Ramanujan himself will respond fully to the stimulus
which contact with western mathematicians of the highest class will afford him. In that
University and the City of Madras will be proud to have assisted in his passage from
obscurity to fame.”
The next day, Mr R. Littlehailes, M.A., who was then Professor of Mathe¬
matics in the Presidency College, Madras, and now is the Director of Public
Instruction, Madras, wrote another long letter to the Registrar of the Univer¬
sity and made definite proposals regarding the. scholarship to he granted.
The authorities of the University readily seized the opportunity and within
a week decided, with the approval of the Government of Madras, to grant
Ramanujan a scholarship of £250.a year, tenable in England for a period of
two years, with free passage and a reasonable sum for outfit. This scholarship
was subsequently extended, up to 1st April 1919. Having arranged that the
University should forward Rs,60 per mensem out of his scholarship to his
mother at Kumbakonam, Ramanujan sailed for England on the 17th March
Srinivasa Ramanujan xvii
1914. He reached Cambridge in April and was admitted into Trinity College,
which supplemented his scholarship by the award of an exhibition of £60.
He was now for the first time in his life in a really comfortable position
and could devote himself to his researches.without anxiety. Mr Hardy and
Mr Littlewood helped him in publishing his papers in the English periodicals
and under their guidance he developed rapidly.
On the 11th November 1915, Mr Hardy wrote to the Registrar of the
Madras University:
“ Ramanujan has been much handicapped by the war. Mr Littlewood, who would
naturally have shared his teaching with me, has been away, and one teacher is not enough
for so fertile a pupil.He is beyond question the best Indian mathematician of modern
times...He will always be rather eccentric in his choice of subjects and methods of dealing
with them.But of his extraordinary gifts there can bo no question; in some ways he is
the most remarkable mathematician I have ever known."
Mr Hardy’s official report of date 16th June 1916 to the University of
Madras was also in terms of very high praise*. Ramanujan had already pub¬
lished about a dozen papers in European journals. Everything went on well
till the spring of 1917.
About May 1917, Mr Hardy wrote that it was suspected that Ramanujan
had contracted an incurable disease. Since sea voyages were then risky on
account of submarines and since the war had depleted„India of good medical
men, it was decided that he should stay in England for some time more.
Hence he went into a nursing home at Cambridge in the early summer, and.
he was never out of bed for any length of time again. He was in sanatoria
at Wells, at Matlock and in London, and it was not until the autumn of 1918
that he shewed any decided symptom of improvement.
On the 28th February 1918, he was elected a Fellow of the Royal Society.
He was the first Indian on whom this high honour was conferred, and his
election at the early age of thirty, and on the first occasion that his name was
proposed, is a remarkable tribute to his distinguished genius. Stimulated
perhaps by this election, he resumed active work, in spite of his ill-health,
and some of his most beautiful theorems were discovered about this time. On
the 13th October of the same year, he was elected a Fellow of Trinity College,
Cambridge—a prize fellowship worth about £250 a year for six years, with
no duties or conditions. In announcing this election, Mr Hardy wrote to the
Registrar of the University of Madras, “ He will return to India with a
scientific standing and reputation such as no Indian has enjoyed before, and
I am confident that India will regard him as the treasure he is ”, and urged
the authorities of the University to make permanent provision for him in a
way which could leave him free for research. This time also the University
of Madras rose to the occasion and, in recognition of Ramanujan’s services to
the science of Mathematics, it granted him an allowance of £250 a year for
* Of. Journal of the Indian Mathematical Society, 9 (1917), pp. 30-45.
xviii Srinivasa Ramanujan
five years from 1st April 1919, the date of the expiry of his scholarship,
together with the actual expenses incurred by him in returning from England
to India and on such passages from India to Europe and back as the Syndicate
might approve of during the five years. At the suggestion of Mr Littlehailes
the University of Madras also contemplated creating a University Professor¬
ship of Mathematics and offering it to him.
By this time his health shewed some signs of improvement. Although he
shewed a tubercular tendency, the doctors said that he had never been gravely
affected. Since the climate of England was suspected of retarding his
recovery, it was decided to send him back to India. Accordingly, he left
England on 27th February 1919, landed in Bombay on 27th March and
arrived at Madras on the 2nd April. ••
When he returned he was in a precarious state of health. His friends
grew very anxious. The best medical attendance was arranged for. He
stayed three months in Madras and then spent two months in Kodumudi, a
Village on the banks of the Cauvery, not far from the place of his birth. He
was a difficult patient, always inclined to revolt against medical treatment
and after a time he declined to be treated further. On the 3rd September
he went to Kumbakonam, -and since it was reported by many medical friends
that he was getting worse, he was with great difficulty induced to come to
Madras for treatment In January 1920 and was put under the best available
medical care. Several philanthropic gentlemen assisted him during this
period, notably Mr S. Srinivasa Aiyangar, who found all his expenses, and
Eao Bahadur T. Numberumal Chetty, who gave his house free. The members
of the Syndicate of the University of Madras also made a contribution
towards his expenses in their individual capacity. But all this yas. of no
avail. He died on the 26th April 1920, at Chetput, a suburb of Madras.' He
had no children but was survived by his parents and his wife.
We must refer to Mr Hardy’s notice for an account of his mathematical
work, but we add a few words about his appearance and personality. Before
his illness he was inclined to stoutness; he was of moderate height (5 feet
5 inches); and had a big head with a large forehead and long wavy jiark
hair. His most remarkable feature was his sharp and bright dark eyes. A
fairly faithful representation of him adorns the walls of the Madras University
Library. On his return from Englaud, he- was very thin and emaciated and
had grown very pale. He looked as if racked with pain. But his intellect was
undimmed, and till about four days before he died he was engaged in work.
All his work on “mock theta functions”, of which only rough indications
survive, was done on his death bed.
Ramanujan had definite religious views. He had a special veneration
for the Namakkal goddess. Fond of the Puranas, he used to.attend popular
lectures on the Great Epics, of Ramayana and 'jjUbabharata, and to enter into
discussions with learned pundits. He believed in the existence of a Supreme
Srinivasa Ramanujan xix
I beg to acknowledge the receipt of your letter of 9th December 1918, and gratefully
accept the very generous help which the University offers me.
I feel, however, that, after my return to India, which I expect to happen as soon as
arrangements can be made, the total amount of money to which I shall he entitled will be
... " ' my expenses in England have
SRINIVASA RAMANUJAN (1887—1920)
By G. H. Hardy*
I
Srinivasa Ramanujan, who died at Kumbakonam on April 26th, 1920,
had been a member of the Society since 1917. He was not a man who
talked much about himself, and until recently I knew very little of his early
life. Two notices, by P. V. Seshu Aiyar and R. Ramachandra Rao, two of the
most devoted of Ramanujan’s Indian friends, have been published recently in
the Journal of the Indian Mathematical Society; and Sir Francis Spring has
very kindly placed at my disposal an article which appeared' in the Madras
Times of April 5th, 1919. From these sources of information I can now supply
a good many details with which I was previously unacquainted. Ramanujan
(Srinivasa Iyengar Ramanuja Iyengar, to give him for once his proper name)
was born on December 22nd, 1887, at Erode in southern India. His father
W£S an accountant (gumasta) to a cloth merchant at Kumbakonam, while his
maternal grandfather had served as amin in the Mumiff’s (or local judge’s)
Court at Erode. He first went to school at five, and was transferred before he
was seven to the Town High School at Kumbakonam, where he held a “ free
scholarship ”, and where his extraordinary powers appea~ to have been recog¬
nised immediately. “ He used ”, so writes an old schoolfellow to Mr Seshu
Aiyar, “to borrow Carr’s Synopsis of Pure Mathematics from the College
library, and delight in verifying some of the formul® given there.. ..He used to
entertain his friends with his theorems and formul®, even in those early days.....
He had an extraordinary memory and could easily repeat the complete lists
■ pf Sanscrit roots (atmanepada and parasmepada); he could give the values
of 7r, e, .... to any number of decimal places....In manners, he was
simplicity itself....”
He passed his matriculation examination to the Government College at
Kumbakonam in 1904; and secured the “Junior Subrahmanyam Scholar¬
ship”. Owing to weakness in English, he failed in his next examination and
lost his scholarship; and left Kumbakonam, first for Vizagapatam and then
for Madras. Here he presented himself for the “First Examination in Arts’
in December 1906, but failed and never tried again. For the next few years
he continued his independent work in mathematics, “jotting down his
results in two good-sized notebooks ”: I have one of these notebooks in my
possession still. In 1909 he married, and it became necessary for him to find
some permanent employment, I quote Mr Seshu Aiyar:
To this end, he went to Tirukoilur, a small sub-division town in South Arcot District,
to see Mr V. Kamaswami Aiyar, the founder of the Indian Mathematical Society, but
* Obituary notice in the Proceedings of the London Mathematical Society (2), xix (1921),
pp. xl—Iviii. The same notice was printed, with slight changes, in the Proceedings of the
Royal Society (A), xeix (1921), pp. xiii—xxix.
xxii Srinivasa Ramanujan
Mr Aiyar, seeing his wonderful gifts, persuaded him to go to Madras. It was then after
some four years’ interval that Kamanujau met me at Madras, with his two good-sized
notebooks referred to above. I sent Ramanujan with a note of recommendation to that
true lover of Mathematics, Diwan Bahadur R. Ramaehandra Kao, who was then District
Collector at Nellore, a small town some eighty miles north of Madras. Mr Kao sent him
back to me, saying it was cruel to make an intellectual giant like Ramanujan rot at a
mofussil station like Nellore, and recommended his stay at Madras, generously under¬
taking to pay Ramanujan's expenses for a time. This was in December 1910. After
a while, other attempts to obtain for him a scholarship having failed, and Kamanujan
himself being unwilling to he a burden on anybody for any length of time, he decided to
take up a small appointment under the Madras Port Trust in 1912.
But he never slackened his work at Mathematics. His earliest contribution to the •
Journal of the Indian Mathematical Society was in the form of questions communicated by
me in. Vol. ill (1911). His first long article on “Some Properties of Bernoulli’s Numbers”
was published in the December number of the same volume. Ramanujan's methods
were so terse and novel and his presentation was so lacking in clearness and precision,
that the ordinary reader, unaccustomed to such intellectual gymnastics, could hardly
. follow him. This particular article was returned more than once by the Editor before it
took a form suitable for publication. It was during this period that he came to me one
day with some theorems on Prime Numbers, and when I referred him to Hardy’s Trffct
on Orders of Infinity, he observed that Hardy had said on p. 36 of his Tract “ the exact
order of p (a1) [defined by the equation
where rr (x) denotes the number of primes less than »], has not yet been determined ”, and
that he himself had discovered a result which gave the order of p (x). On this I suggested
that he might communicate his result to Mr Hardy, together with some more of his
results.
This passage brings me to the beginning of my own acquaintance with
Ramanujan. But before I say anything about the -letters which I received
from him, and which resulted ultimately in his journey to England, I must add
a little more about his Indian career. Dr G. T. Walker, F.R.S., Head of the
Meteorological Department, and formerly Fellow and Mathematical Lecturer
of Trinity College, Cambridge, visited Madras for some official purpose some
time in 1912 ; and Sir Francis Spring, K.C.I.E., the Chairman of the Madras
Port Authority, called his attention to Ramanujan’s work. Dr Walker was
far too good a mathematician not to recognise its quality, little as it had in
common with his own. He brought Ramanujan’s case to the notice of the
Government and the University of Madras. A research studentship, “ Rs. 75
per mensem for a period of two years ”, was awarded him; and he became,
and remained for the rest of his life, a professional mathematician.
H
Ramanujan wrote to me first on January 16th, 1913, and at fairly regular
intervals until he sailed for England in 1914. I do not believe that his letters
were entirely his own. His knowledge of English, at that stage of his life,
could scarcely have been sufficient, and there is an occasional phrase which is
hardly characteristic. Indeed I seem to remember his telling ure 'that his
Srinivasa Ramanujan xxiii
friends had given him some assistance. However, it was the mathematics
that mattered, and that was very emphatically his.
. Madras, 16th January 1913.
Dear Sir,
I beg to introduce myself to you as a clerk in the Accounts Department of the
Port Trust Office at Madras on a salary of only £20 per annum. I am now about 23
years of age. I have had no University education but I have undergone the ordinary
school course. After leaving school I have been employing the spare time at my disposal
to work at Mathematics. I have not trodden through the conventional regular course
. which is followed in a University course, but I am striking out a new path for myself.
I have made a special investigation of divergent series in general and the results I get are
termed by the local mathematicians as “startling”.
Just as in elementary mathematics you give a meaning to a" when » is negative and
fractional to conform to the law which holds when n is a positive integer, similarly the
whole of my investigations proceed on giving a meaning to Eulerian Second Integral for ,
all values of n. My friends who have gone through the regular course of University eduea-
intggral relation is not true when n is negative. Supposing this is true only for positive
values of n and also supposing the definition «r(n) = r(» + l) to be universally true, I
have given meanings to these integrals and under the conditions I state the integral is
true for all values of n negative and fractional. My whole investigations are based upon
this and I have been developing this to a remarkable extent so much so that the local
mathematicians are not able to understand me in my higher flights.
Very recently I came across a tract published by you styled Orders of Infinity in page
36 of which I find a statement that no definite expression has been as yet found for the
number of prime numbers less than any given number. I have found au expression which
very nearly approximates to the real result, the error being negligible. I would request
you to go through the enclosed papers. Being poor, if you are convinced that there is
anything of value I would like to have my theorems published. I have not given the
actual investigations nor the expressions that I.get but I have indicated the lines on
which I proceed. Being inexperienced I would very highly value any advice you give me.
Requesting to be excused for the trouble I give you.
I remain, Dear Sir, Yours truly,
S. Ramanujan.
.. P.S. My address is S. Ramanujan, Clerk Accounts Department, Port Trust, Madras,
India.
I quote now from the “papers enclosed and from later letters*:
In page 36 it is stated that “ the number of prime numbers less than
(«) numbers
and 6 Uc) is very small when compared with the previous integral. E and 6 (%) have been
exactly found though complicated....
Ramanujan’s theory of primes was vitiated by his ignorance of the theory
of functions of a complex variable. It was (so to say) what the theory might
be if the Zeta-function had no complex zeros. His methods of proof depended
upon a wholesale use of divergent series. He disregarded entirely all the
difficulties which are involved in the interchange of double limit operations;
he did not distinguish, for example, between the sum of a series la,, and. the
value of the Abelian limit ' _ _
lira 2 an xn,
or that of any other limit which might be used for similar purposes by a modem
analyst. There are regions of mathematics in which the precepts of modem
rigour may be disregarded with comparative safety, but the Analytic Theory
of Numbers is not one of them, and Ramanujan’s Indian work on primes, and
on all the allied problems of the theory, was definitely wrong. That his proofs
should^ have been invalid was only to be expected. But the mistakes went
deeper than that, and many of the actual results were false. He had obtained
the dominant terms of the classical formulae, although by invalid methods;
but none of them is such a close approximation as he supposed.
This should presumably be 6 (B).
Srinivasa Ramanuji
This may be said to have been Ramanujan’s one great failure. And yet
I am not sure that, in some ways, his failure was not more wonderful than
• any of his triumphs. Consider, for example, problem (4). The dominant term,
viz. IiB (log B)~i, in Ramanujan’s notation, was first obtained by Landau in
1908. Ramanujan had none of Landau’s weapons at his command; he had
never seen a French or German book; his knowledge even of English was in¬
sufficient to enable him to qualify for a degree. It is sufficiently marvellous
that he should have even dreamt of problems such as these, problems which
-it has taken the finest mathematicians in Europe a hundred years to soive,
and of which the solution is incomplete to the present day.
* There is always more in one of Ramanujan’s foi-muhe than meets the eye, as anyone
who sets to work to verify those which look the easiest will soon discover. In some the
interest lies very deep, in others comparatively near the surface; hut there is not one
which is not curious and entertaining.
Srinivasa Ramanujan
Srinivasa Ramanujan
xxviii Srinivasa Ramanujan
III
It is unnecessary to repeat the story of how Ramanujan was brought to •
England. There were serious difficulties; and the credit for overcoming them
is due primarily to Prof. E. H. Neville, in whose company Ramanujan
arrived in April 1914. He had a scholarship from Madras of £250, of which
£50 was allotted to the support of his family in India, and an exhibition of
£60 from Trinity. For a man of his almost ludicrously simple tastes, this was
aja ample income; and he was able to save a good deal of money which was
.. badly wanted later. He had no duties and could do as he pleased; he wished
indeed to qualify for a Cambridge degree as a research student, but this was
a formality. He was now, for the first time in his life, in a really comfortable
position, and could devote himself to his researches without anxiety.
There was one great puzzle. Wliat was to be done in the way of teaching
him modern mathematics ? The limitations of his knowledge were as startling
as its profundity. Here was a man who could work out modular equations,
and theorems of complex multiplication, to orders unheard of, whose mastery
of continued fractions was, on the formal side at any rate, beyond that of any
mathematician in the world, who had found for himself the functional equa¬
tion of the Zeta-function, and the dominant terms of many of the most
famous problems in the analytic theory of numbers; arid he had never heard
of a doubly periodic function or of Cauchy’s theorem, and had indeed but the
vaguest idea of what a function of a complex variable was. His ideas as to
what constituted a mathematical proof were of the most shadowy description.
All his results, new or old, right or wrong, had been an-ived at by a process
of mingled argument, intuition, and induction, of which he was entirely_
unable to give any coherent account.
It was impossible to ask such a man to submit to systematic instruction,
to try to learn mathematics from the beginning once more. I was afraid too
that, if I insisted unduly on matters which Ramanujan found irksome, I might
destroy his confidence or break the spell of his inspiration. .On the other
hand there w’ere things of which it was impossible that he should remain in
ignorance. Some of his results were wrong, and in particular those which
concerned the distribution of primes, to which he attached the greatest im¬
portance. It was impossible to allow him to go through life supposing that
all the zeros of the Zeta-function were real. So I had to try to teach him,
arid in a measure I succeeded, though obviously I learnt from him much more
Srinivasa Ramanujan xxxi
than he learnt from me. In a few years’ time he hg,d a very tolerable know¬
ledge of the theory of functions and the analytic theory of numbers. He was
never a mathematician of the modem school, and it was hardly desirable that
lie should become one; but he knew when he had proved a theorem and when
he had not. And his flow of original ideas shewed no symptom of abatement.
I should add a word here about Ramanujan’s interests outside mathe¬
matics. Like his mathematics, they shewed the strangest contrasts. He had
very little interest, I should say, in literature as such, or in art, though he
-could tell good literature from bad. On the other hand, he was a keen philo¬
sopher, of what appeared, to followers of the modern Cambridge school, a
rather nebulous kind, and an ardent politician, of a pacifist and ultra-radical
type. He adhered, with a severity most unusual in Indians' resident in
England, to the religious observances of his caste; but his religion was a
matter of observance and not of intellectual conviction, and I remember well
his telling me (much to my surprise) that all religions seemed to him more's
or (pss equally true. Alike in literature, philosophy, and mathematics, he had1'
a passion for what was unexpected, strange, and odd; he had quite a small
library of books by circle-squarers and other cranks.
It was in the spring of 1917 that Ramanujan first appeared to be unwell.
He went into a Nursing Home at Cambridge in the early summer, and was
never out of bed for any length of time again. He was in sanatoria at Wells,
at Matlock, and in London, and it was not until the autumn of 1918 that he
shewed any decided symptom of improvement. He had then resumed active
work, stimulated perhaps by his election to the Royal Society, and some of
his most beautiful theorems were discovered about this time. His election to
a Trinity Fellowship was a further encouragement; and each of those famous
societies may well congratulate themselves that they recognised his claims
before it was too late. Early in 1919 he had recovered, it seemed, sufficiently
for the voyage home to India, and the best medical opinion held out hopes of
a permanent restoration. I was rather alarmed by not hearing from him for
a considerable time; but a letter reached me in February 1920, from which
it appeared that he was still active iu research.
University op Madras.
12</i January 1920.
xxxii Srinivasa Ramanujan
”,
(2) “Some definite integrals connected with Gauss’s sums”, ibid., pp. 75—86.
(3) “ Modular equations and approximations to jr Quarterly Journal of Mathematics
Yol. 46 (1914), pp. 350—372.
(4) “Mew expressions for Biemann's functions |(s) and 2(0”, ibid., Vol. 48 (1915),
pp. 263-260.
(5) “On certain infinite series”, Messenger of Mathematics, Vol. 46 (1916), pp. 11—15.
(6) “Summation of a certain series”, ibid., pp. 157—160.
(7) “Highly composite numbers”, Proc. London Math. Soc., Ser. 2, Yol. 14 (1915),
PH° B^C.Dariingt/vl Zondon Math. Soc., Ser. 2, Vol. 19, 1921, pp. 350-372). *
“On a type of modular relation”, by L. J. Rogers (ibid., pp. 387—397).
It is plainly impossible for me, within the limits of a notice such as this,
to attempt a reasoned estimate of Kamanujan’s work. Some of it is very
intimately connected with my own, and my verdict could not be impartial;
there is much too that I am hardly competent to judge; and there is a mass
of unpublished material, in part new and in part anticipated, in part proved
"and in part only conjectured, that still awaits analysis. But it may be useful
if I state, shortly and dogmatically, what seems to me Ramanujan’s tines't,
most independent, and most characteristic work.
His most remarkable papers appear to me to be (3), (7), (9), (17), (18),
(19), and (21). The first of these is mainly Indian work, done before he came
to England; and much of it had been anticipated. But there is much that is
new, and in particular a very striking series of algebraic approximations
to tr. I may mention only the formulae
63 17 + 15^5 1 _ 1103
~ 25 7 + 15V5 1 2ttV2- 992 ’
correct to 9 and 8 places of decimals respectively.
The long memoir (7) represents work, perhaps, in a backwater of mathe¬
matics, and is somewhat overloaded with detail; but the elementary
analysis of “highly composite” numbers—numbers which have more divisors
than any preceding number—is most remarkable, and shews very clearly
Ramanujan’s extraordinary mastery over the algebra of inequalities. Papers
(9) and (17) should he read together, and in connection with Mr Mordell’s
paper mentioned above; for Mr Mordell afterwards proved a great deal that
Ramanujan conjectured. They contain, in particular, very original and im¬
portant contributions to the theory of the representation of numbers by sums
of squares. But I am inclined to think that it was in the theory of partitions,
and the allied parts of the theories of elliptic functions and continued fractions,
that Ramanujan shews at his very best. It is in papers (18), (19), and (21), ■
and in the papers of Prof. Rogers and Mr Darling that I have quoted, that
this side of his work (so far as it has been published) is to be found. It would
be difficult to find more beautiful formulae than the “ Rogers-Ramanujan ”
identities, proved in (19); hut here Ramanujan must take second place to
Srinivasa Ramanvjan xxxv
Prof. Rogers; and, if I had to select one formula from all Ramanujans work,
I would agree with Major MacMahon in selecting a formula from (18), viz.
p{i)+p(9)x + pO-N)^+...
0 {(l-*)(l-^)(l-^)...f ’
where p (n) is the number of partitions of n.
I have often been asked whether Ramanujan had any special secret;
whether his methods differed in kind from those of other mathematicians ;
1 whether there was anything really abnormal in his mode of thought. I cannot
answer these questions with any confidence or conviction; but I do not
believe it. My belief is that all mathematicians think, at bottom, in the same
kind of way, and that Ramanujan was no exception. He had, of course, an
extraordinary memory. He could remember the idiosyncrasies of numbers in
an almost uncanny way. It was Mr Littlewood (I believe) who remarked that
“ every positive integer was one of his personal friends.” I remember once
going to see him when he was lying ill at Putney. I had ridden in taxi-cab
No. 1729, and remarked that the number (7.13.19) seemed to me rather a
dull one, and that I hoped it was not an unfavourable omen: “ No,” he replied,
“ it is a very interesting number; it is the smallest number expressible as a
sum of two cubes in two different ways.” I asked him, naturally, whether he
knew the answer to the corresponding problem for fourth powers; and he
replied, after a moment’s thought, that he could see no obvious example,
' and thought that the first such number must be very large.* His memory,
and his powers of calculation, were very unusual, but they could not reason¬
ably be called “abnormal”. If he bad to multiply two large numbers, he
multiplied them in the ordinary way; he would do it with unusual rapidity
and accuracy, but not more rapidly or more accurately than any mathematician
who is naturally quick and has the habit of computation. There is a table of
partitions at the end of our paper (15). This was, for the most part, calculated
independently by Ramanujan and Major MacMahon; and Major MacMahon
was, in general, slightly the quicker and more accurate of the two.
It was his insight into algebraical formulae, transformations of infinite
series, and so forth, that was most amazing. On this side most certainly I have
never met his equal, and I can compare him only with Euler or Jacobi. He
worked, far more than the majority of modem mathematicians, by induction
from numerical examples; all of his congruence properties of partitions, for
example, were discovered in this way. But with his memory, his patience,
and his power of calculation, he combined a power of generalisation, a feeling
for form, and a capacity for rapid modification of his hypotheses, that were
often really startling, and made him, in his own peculiar field, ivithout a rival
in his day.
* Euler gave I58t+591=1344+133'* as an example. For otter solutions see L. E.
Dickson, History of the Theory of Numbers, Vol. 2, pp. 644—647.
xxxvi Srinivasa Ramanujan
2. We know (x cot xf = - ^1 + )•
Using (1) and equating the coefficients of x11 on both sides, and simplify-
x1" ’
2! 22.6!+2tl0!
by expanding the numerator and the denominator, and simplifying by
De Moivre’s theorem.
x a?
Hence 2 (jB0 + Bt |j + B, |j + ...) = - x g-~.1..(6)
I! — 2^61+ '"
Similarly
- ix (cot ix - coth ix) = 2 (b, £ + B0 £ + B10 ^ + ...)
according as n or n — 2 is a multiple of 4.
Analogous results can be obtained' from tan $x ± tanh |a.
In (2), (3) and (4) there are terms, While in (5) and (8) there are |-;i
or 4 (n — 2) terms. Thus Bn can be found from only half of the previous B’s.
Writing for x,
- Jas (cot \x + ® cot ^xco + a- cot ixa2) = -
and, proceeding as in § 3, we get
6! 12! + 18!
...(11)
af _ af aP_ _
3! 9!+15!
4 Some Properties of Bernoulli’s Numbers
of o* ocu a:' xw _
Fi~Sl+ U!-'" 4!~10l + T6l~
x‘ 0B ^ xls ' a? as” ^ xlz
5. We shall see later on how the B's can be obtained from their pro¬
perties only. But to know these properties, it will be convenient to calculate
a few B’s by substituting 3, 5, 7, 9, .... for n in succession in (12). Thus
-Bio Bla-llBa=-m-,Blt-^lBi B,
5 120’
Bu 5L; Bls-221Bi2 + 2^
Bn
'-T-mi
3 _nB_ i .
2 '°4 552’
Some Properties of Bernoullis Numbers .5
§12'
6 Some Properties of Bernoulli's Numbers
8, Again taking the fractional part of any 5 and splitting it into partial
fractions, we see that:
the fractional part of Bn = (-1)*“ (the sum of the reciprocals of the
prime factors of the denominator of Bn} - (— l)8 9 * 11*.(20)
Thus the fractional part of5M = } + J + J + 1^-l=^y;
thatof 5k = =
Indsfon + +
9. It can be inferred from (20) that:
if Q be the g.c.m. and L the L.c.M. of the denominators of Bm and Bn,
then L/G is the denominator of Bm - (-1)1 (”»-») Bn, and hence, if the
denominators of Bm and Bn are equal, then 5m - (- l)lw»-»> Bn is an
integer.(21)
Some Properties of Bernoulli’s Numbers 7
***h>h»m.<*•>
where 2, 3, 5, ... are prime numbers.
Take logarithms of both sides in (24) and write for loge?i! the well-
known expansion of logcr(?i+ 1), as in Carr’s Synopsis, viz.
-(-i y .(27)
—UV Cw°g(1~g"ra)fc
_ rff>-log(l-e--*)
- J0 T(l + «f) ^
We can find the integral part of Bn, and since the fractional part can be
found, as shewn in § 8, the exact value of Bn is known. Unless the calcula¬
tion is made to depend upon the values of logue, log010, tt, .... which are
known to a great number of decimal places, we should have to find the
logarithms of certain numbers whose values are not found in the tables to
as many places of decimals as we require. Such difficulties are removed by
the method given in § 13.
12. Results (14) to (17), (20) and (21) can be obtained as follows. We
• “ f n»« (/* - ~ W. +-
= , f. _j£_*>_ = f__dx.
’ Jo rfe-'in' + a?) sinh27r® J„ (1 + a?) smh2 irn.ce
_ ± + ,_
Substituting the result of (29) in (28) we see that
b1 b b
x' of + a.”
_L_+_1_ + _JL_+_L_ + ...
"' 6 (a3 - x) + 5 (of - x) + 7 (a7 - ®)
where 5, 7, 11, ... are prime numbers, can be expanded in ascending powers
11 (a;'1-*)
Therefore Bt - £, - B, - i + $, Be - & + f, -
■which are the coefficients of 1/ar, l/®5, l/*7, .... ■e integers.
+ + .(30)
(2*-l
( ' nw+1 J 0(1+®2
Thus we see that, if we can prove that twice the left-hand side of (30)
can be expanded in ascending powers of 1 jn with integral coefficients, then
the second part of (16) is at once proved.
10 Some Properties of Bernoulli’s Numbers
,v ...(31)
= log7i + ^ —2^ + ^ —6^ +8„8- 2pii® ’
where 0 < 8 < 1; and also, by (25),
2pnP Jo (1 + *=)(e2^0 — 1)
from which it can easily be shewn that
-sr2*2*-1) i^+**(2'-1)sr.-2,(s,-1)ss+-
+ (-l)»2^(2*-l)f^5-..., .(32>
14. Changing n to n — 2 in (24) and taking the ratio of the two results,
* These integral limits are got from a rough calculation of any B from the preceding
B by the formula given in the first column.
12 Some Properties of Bernoulli’s Numbers
-- M -
fa? x's a*
V5! 15! + 25! "
Then it can easily be shewn that
5(&+a4+*4+R4+-)
r,(i +
(ii) 4{^11+B”l0!+*,IFl +
r^-mCh + 21!
4 i*2 12 ! “6 + 20 ! “10
T\k -ZrMw^ —
^\Ch~12\a'a + 20\aw~'"
a? «C .
9~!^-l7~!68 + 25l^~-
rm
(vide Williamson, Integral Calculus, p. 164).
Therefore ^ - JL _Il£±iL
1 11 1.31, 7T , . .
where jS+i + g 3^ + 174 W' + - = 2 * W
Hence (1) may be written
log + log [c/> (0) -p . <j> (1) + p2 ■ 4> (2) - ...}
= log(i7r)—jtlog2 + | (1-|)'S2-g-(1-^)lS3 + ---
= log(i7r)-p<r1+^o-2--|o-!1+ ....
where trn = l — ^ ~ ^ + .. • *
= |log2+f2(log2)3 + ^3,
J_* 1 , «(«-!) 1
b+p 116 + 1+p 2! 4+2 + p
Jo r(a + 6 + p + l)
where, ; 1+1-1+....
3
NOTE ON A SET OF SIMULTANEOUS EQUATIONS*
i-qiS 1 -}.«
and comparing -with (X), w :e that
1 -8p + 1 -6q + f- 8r + 1 - 6s + 1 - 6t
=2 + 30+ 16d2+31ds+103dJ+235ds+6745“+166967+45260“+115950°+_
By the method of indeterminate coefficients, this can be shewn to be
1-0-50s-
Splitting this into partial fractioi get the values of the unknowns.
p= -1
2^5 ’
8-VS.
2 V5 ’
4
IRREGULAR NUMBERS
.w
where Sn denotes 1/1’*+ l/2’* + l/3“ + 1/4"+ ....
Changing n into 2?i in (3) and dividing by the original, we obtain
K)(’U.)(*4)(*GL-4-.(«
Examples: (i) (l + i) (l + i) (l + I) .., = , .,5) «
.-<«)
since S, = w=/6, Sa = ^/0O, S8 = ws/9450.
...(7)
-.(8)
(n) 24 + 34 + o4 + 7*+ 84 "*
5. Again (2, 3, 5, 1, ... being the prime numbers)
(1 + O (1 + 0(1 + O (1 + O ... = 1 + «.+ a. + a«
-f a2. a3 4- ct7 4- a?. ci6 4- Mu “1 ai3 + * * - j * “(9)
where the product of the subscripts in any term is a natural number con¬
taining dissimilar prime divisors; and
.(1-0(1-0(1-0 (i-0... = i-o»-fl»-“»+tt>-a>-a"-(10)
where the signs are negative whenever the number of factors is odd.
6. Replacing as before as, a,„ as, ... by the values given in § 3 and
using (4), we deduce that
...»
where 2^ = (1 - g) (1 - qs) (1 - g5) • • •
and 2*q*v = (1 - g!) (1 - g“) (1 - <lx) ■ • ■ •
If we put q = e-*"5 in (8), so that u = Gi. and v = G,„ and hence u - ®, we see
that ^
Hence =
approximately, the error being nearly — eT" "n in both cases. These equations
may also be written as .
e”'B/“ = 2* (?„, —2i^r„.(H)
In those cases in which Gn'- and gna are simple quadratic surds we may use
the forms
«?»«+<?»-«*)*
instead of Qn and gn, for we have
approximately, and so
gnu + gn~ls = iei’r"n +^e~^'/n,
Modular Equations and Approximations to tt 25
approximately, so that
= -4 log (8(ff*“ + ff,ra)}, .(12)
the error being about e-”'’1, which is of the same order as the error in
6 V»
the formulas (10). The formula (12) often leads to simpler results. Thus
the second of formulae (10) gives
= 2i?1!
or =10^2 + 8 V3.
But if we use the formula (12), or
= 2 %,,1!+</„-12)tV,
we get a simpler form, viz.
e^s/l8 = 2 ^7.
4. The values of gsn and Gn are obtained from the same equation. The
approximation by means of gm is preferable to that by Gn for the following
(a) It is more accurate. Thus the error when we use <r6s contains
a factor e-’”'65, whereas that when we use gm contains a factor
(b) For many values of n, gm is simpler in form than (?„; thus
fa=yj(H^)(^i3)|,
while
Mmmr y{y(“)vmi'
(c) For many values of n, jr2u involves quadratic surds only, even when
£?„ is a root of an equation of higher order. Thus G,a, 6a, G?A are roots of
cubic equations, G„, G7„ are those of quin tic equations, and Gn is that of a
septic equation, while gK, gx, gg,„ g™, and gm are all expressible by
quadratic surds.
5. Since (?„ and gn can be expressed as roots of algebraical equations
with rational coefficients, the same is true of (?„!J or gn!i. So let us suppose
that
=«WT+N^)”}-
e’”,ss _ 24591257751-9!
q j _ 3 + V13 y _ 1 + V5
©73
*
W =(2 + V5)(3 + V10),
GV = J (3 + VH) (V5 + V7) (V7 + VH) (3 + V5),
and so on. I have also many results not given by Weber. I give a com¬
plete table of new results. In Weber’s notation, &n = 2"+/(a/(— »)! and
Table I.
9m +^ = HV(1 + V2)+V(9+5v'2)},
=y{mmi lymvmi'
g*' = vV2 + V3) (7 V2 + 3 vnyi ■
G a _(2V3 + 2)Ul
“ (2 V3 — 2)1 — 1 ’
g« +^iw(i+^)+da+5dm
^*c-CT)‘{('+ra)‘+(-*W}
^ - 3^2 [(11 - 3 VH)J KWH + 3 V3 - 4)4
+ (3 Vll — 3 V3 — 4)*} — 2],
28 Modular Equations and Approximations IT
«{yc-v,? vjm-
Gu .,<W3W„,f_±*)y(Hi±
^♦yew
Gu,
Gm
y<^
9m = v/{(2V2 + V7 )(^yU)[
X {\/(13+4'/22)
9m + ^; = i tV(9 + d%) + V(17 +13 \/2)),
V22)J
Gm
+ i'(?) {(1 + 37s)I + (1-37») T 1
G^, l.
)1]l
9m = V(1 + V2) (4 V2 + V33)* |v/(i+^/?3’
V(‘--s ®)}.
Gm
V(^F-1)}' .
Gm> = (5 ^3 + V71)i (p + 1i W'j
yyc-^y yp#*)}■
Gu■? = | //9 + 4V7N //11 + 4V7N)
IV l 2 J + V(-2-jf
«k/e-w yrv*)}•
<?„» ■ = (1Jr£) (2 + V3)* 1V(4 + VI0) + 15*},
Modular Equations and Approximations to -n 29
-WW-
yymvc-^)}-
y^ psiiypnvpr’))'
, k+8,7)(?wiyi))*
x(^(«±^) + v,(12±WL8)ji
,,V(^)(i,2»+nvo,‘|yf-±r?)+y(^)},
Modular Equations and Approximations to ir
-jy^iwLvyC00^)!
yyt^jv?^-8)}
X |v'/(561+g9V33] | yy9 + 99V33jj
x {y(U9+y329) + y^12^+7^329^1
s {yfinsva?)+.
Modular Equations awl Approximations to it 31
Table II.
ei* "» = 2 qi, e" *«• = 2 + ^2, e* *'»> = 20 V3 + 16 V6,
gin ft St = 12 (4 + qi7)' ginr/iC = 144 (147 + 104 ^2),
_ 5 + ^29
ei”'“ = 84 + 32 V6,
V2'
= 60 V35 + 96 V14, el"/7* = 300 V3 + 208 ^6,
.1
<r= + ^+.2^g), = 800 V3 +190 ^/5i>
”7i2l»s[(i:75L9)'<5''“ + u’,6)
The last five formulae are correct to 15, 16, 18, 22, and 31 places of decimals
respectively.
n~K~L'
_cU
ifiiy
But, by means of the modular equation connecting k and l, we can
express dlc/dl as an algebraic function of k, a function moreover in which all
coefficients which occur are algebraic numbers. Agaiq,
q = e~”K'IK, q* = e-*J
gftq-g'Xi-tfKi-g*)-
?*«(l_?m)(i_r)(i_r)... @7©.;<->
32 Modular Equations and Approximations to -rr
- +(f)‘A <*>
The algebraic function A (Ic) of course assumes a purely numerical form
when we substitute the value of k deduced from the modular equation. But
by substituting k = V and V — l in (15) we have
nie-^Q "»)(1 -tr"*) (1 -«—**) ...
= trws* (1 _ e-^n) (1 _ e-^n) (1 _ .. .
Differentiating the above equation logarithmically we have
+ -)“(-) M*>)-.(19)
...) = (f)(l-2n
1 24 (e^rfn+ J + g»*i + X +
(l-R)dn.v~'
nearly, the error being about &Tre~*'‘n(w *Jn - 3).
9. We may get a still closer approximation from the following results.
It is known that
= ^a-so4 s --i
«»»•“»_if*.
where R' can always be expressed m radicals for any rational value
...(24)
(1 -R)*Jn.
nearly, the error being about 24ir (107t pn - 31) e-5’”'”.
It will be seen that the error in (24) is much less than that’in (22), if n
is at all large.
10. In order to find R and R' the series in (16) must be calculated
in finite terms. I shall give the final results for a few values of n.
Table III.
/(*)=■»(!-24 fr-’^-fi-24!!^)'
/(2) = ^(*' + 0.
j|v7 = 3-14180...,
J(l + f) = ,14l62..„ .
99 r 7 \
8o(r-T^)=31413a374-’
36 Modular Equations and Approximations to tt
= = .(28)
16 = 5 47 ay 89 /TSy 131 (1.3.5\»
w • + 64 y 64= (.2. J + 64= 127476 + ->
.(29)
Modular Equations and Approximations to ir 37
[5 = ,—, .(30)
here 5 \/5 —1, 4-7 \/o + 29. 89V5 + 59, ... are in arithmetical progression.
14. The ordinary modular equations express the relations which hold
between k and l when nK'jK = L'jL, or qn — Q, where
? = (r*A'7ff Q=e-„L-/L
■**»Si5Gi)
15 V3
2tt
...(32)
Kri)1
5^5
2rr vdi'
+ 23 ..(33)
2.4 6.12 6.12 G25) +'
80 V85
18ttV3 2 6 6 (857
+274oF^d-:Ste)‘t--'-w
Modular Equations ancl Approximations to n
3 43 1 1 ■ 3 , 83 1.31.3.
In all these series the first factors in each term form an arithmetical
progression; e.g. 2, 17, 32, 47.in (31), and 4, 37, 70, 103.in (32).
The first two series belong to the theory of the next two to that of q.„
and the rest to that of <?,.
The last series (44) is extremely rapidly convergent. Thus, taking only
the first term, we see that
1103
+ JSL \
'!-? 1-2" J
sd in §§ 8—13, is very closely a
perimeter of an*ellipse ■
major and the semi-min
i = sin3>
.(4)
p-j2+g2-^+-=72^('/2-1>+s52loff(1+'/2>+T^;
and 2<j> (1) = 3 <j> (2 - a/3) + j7rlog(2 + \/3)....(7)
If — 17r < a < ^ 7r, then
3. Let R (x) and I (x) denote the real and the imaginary parts of x
respectively. Then, if - 1 < R (x) < I,
Again, subtracting log (1 — x) from both sides in (12) and making x—* 1,
we obtain
(i-S"3(i-i)5(i4r(i-^-=iein.<i4)
If — 1 < I {x) < 1, then
.<■«
*** .(17>
provided that cosh ^ira = sec Jirfi.
Aii Indefinite, Integral
An Indefinite Integral
5. Remembering that
v _1 _ JX_ 5_
4 cosh irm X2 + 4ns5 32 + 4j.- + 5- + 48s
<e have
ZZ v___""£° {_ ^__§_i_
4 i ri1 cosh imas ,,^1 (i?s (Is + 4«2,i:2) n! (3* + 4»2a?)
=Zf£+___^coth^ coth£+cothi
^(1) = 48 “ 2 flV-1) “ +
i [log ^ + logp, + ... + logpn + log A] > (logp, logp2... log pn. d (A)j».
In other words
. |-log(fhMh ...pnA)}‘
■ d(F)< --i-.(5)
logp,logpslogp3... logp,i w
for all values of N whose prime divisors are pup2,p3 ...p„.
3. Next let us consider the case in which only the number of prime
divisors of N is known. Let
N-=...pn%
where n is a given number; and let
A' = 2“>.3“*.5“* ...p°».
On the Number of Divisors of a Number 45
4. Finally, let us consider the case in which nothing is know about lY.
Any integer N can be written in the form
It follows from (11) and(12) that, ifp be the largest prime not exceeding
But it is easy to shew that the ir turn value of (1 + a) 2_,i“ for the
riable a is 2—= . Hence
^ / 2»
Nh ~~ Vie log 2/ ’
where o> (®) denotes the number of primes not exceeding x. But from (10)
we have
4(j On the Number- of Divisors of a Number
.(!0)
for all sufficiently large values of iV.
9
y7 ON THE SUM OF THE SQUARE ROOTS OF THE
FIRST n NATURAL NUMBERS
{Journal of the Indian Mathematical Society, vii, 1915, 173—175)
1. Let (j)\ (n) = VI + + ... 4- \hi — (0, + ^ n *Jn 4- b \hi)
— 4 2 fv'('« + i') + V()! + v+ l)}-3,
where CL is a constant such that (1) = 0. Then we see that
<4, (n) — (j>, (n +1) = — \Z(ra +1) + [f (n + 1) V(" +1) + ■} \!'(n + 1)]
— (| n <Jn + J *Jn) + J [\/ii - V(?< + l)}:i = 0.
But <#>) (1) = 0. Hence <f>l(n) = 0 for all values of ». That is to say
VI + V2 + V3 + «/4 + ■ ■ • + Vu = 0, + fra V» + i V«
+ i [(Vn + V(» + l)U3 + lv'(“ + 1)+ V(n + 2)}-,i + {V(Ji + 2)+.\/(n + 3)J_:| + ...].
.(1)
But it is known that
■ - in [V (n + ») + V(n + v +
where C2 is a constant such that <£a(l) = 0. Then we have
<£3 (u) - cj&3 (n + 1) = - (n + 1) V(» + 1)
+ {|(»+ 1)! V(»+ 1) + i (n + 1) VO + l) + i V(« + l)}
- (f )t2 V'i + A n V« + i V»] + Ar (V» — V(« + UP = 0.
But <£, (1) = 0. Hence <f>3 (n) = 0. In other words
1 VI + 2 V2 + 3 V3 + » Vn= V> -f- fa-\/n-t- \ii\Jn + f Vn
+ j’o[l,/« + V(,1 + l))~5+ (V(™+1) +V(« + “)}_s+ {V(« + 2) +V(»+3))-5+---]-
.(4)
48 On the Sum of the Square Roots of
3. The corresponding results for higher powers are not so neat as the
previous ones. Thus for example
Is vi + 2V2 + 3V3 + •■• + «2 \fn = c, + *Jn (fn! + -|n2 + -fen)
~ A [(V« + 7(« +1)7* + {V(» +1)+ V(« + 2)]-° +...]•
+ jh [1V» + V(» +1))“’ + (V(« + 1) + V(» + 2))-’
+ jV(n + 2).+ V(« + 3))-»+ ...]; .(7)
Is VI + 2s v'2 + ■ • • + n\hi = C, + v» (4«‘ + i»> + - till)
-T^,[(Vn + V(n + 1)}“5 + {Vi™ +1) + V(n + 2)}~"+ ...]
4-tAt [[V» + V(« + !))""+ {V(™ +1) + V(« + 2))“” +(8)
The constants C3,C„... can be ascertained from the well-known result that
the constant in the approarimate summation of the series lr_1 + 21'-1 + 3r_1 + ...
VI V2
That
( ...(13)
7o==_ <^1 + '/2Kvi_ V2 + V3_ V3< + '").
Wee an also shew, by induction, that
VI + V2+\/3 + ... + V« = d, + g n V« +| V» +
ON THE PRODUCT n
i «+w\ (i+p±i^\
+ w )y n ) r _ ((a-ffl+ifr+iwan
a\a/- B\* 1 -2« t
{r (i + g) f (i + ff)]3 .
'.r(l + « + 2/3)r(l + (8 + 2a)’
{r(l+n)[3COsh7Tft + «)^3 „
_ l1 (2 + 3a) vr .W
From this we can shew that, if the real part of a is positive, then
n + 2_n + * n+6 1.
3 ((« + 2)2 + 3n2 (m + 4)2 + 3n2 (re + 6)2 + 3n2 •"}’ '
and so the integral on the left-hand side of (15) can be expressed in finite
terms if n is any odd integer. For example,
cos 2mxdx
x-ja?}
/» {1 + (v-1 a J1 + x~j(ft +1)2} ... |1 + «;2/(ffi + n -1)2{
_ ^r(2a)!r(tt + n)}2 f 2ttn-l )
{r(a)]2r(»)r(2ft + n) ( lln + 2a + '"J
The limit of the right-hand side, as n —» go , is
^(2a) |e_Mra_ 2ae_,la+vill + 2a_(?£±1)e-.«+w_.. j
= ^-[TUi)seohM5
■
r (1 + xW\ A + + 1)2\ A + + )2\ „„
J0 U + a?/ov VI + *5/(“ + iW VI + ®V(a + 2)V '''
2
_ *r(2a){IW fe-m_6~a~1
}r(a))2r(6 + o)r(6-a) i 1! 6 + a
2a(2a + 1) (b - a - 1)(6 - a - 2) +„
+ 2! . (6H- a)(6 + a-H 1)
where m is positive and 0 <a<b. When 0 < a< b - 4, the integral and the
series remain convergent for m = 0, and we obtain the fonnulse
' A + a?/b*\ a + x°-/(b + in a + x%b + 2f\
\1 + tf/a?) u + *V(a + If] U + xfia + 2f)
_ r(q + i)r(6)rfl-a-i)
r(a)T(b-i)r(b-a) ’
r i r(a + fo) I*
Jo r(i +15)I
, _ 4
r(q)r(q + )T (6-g-i)
r(6-i)f(6)r(i-a) ‘
.(4)
4. Let j f(x)F(nx)dx=-ifr(n),
(7)
/; cosh irx^ 2 cosh n ..
.<12>
with the condition a(3 = tt*.
* Formulse equivalent to (11) and (12) were given by Hardy, Quarterly Journal,
xxxv, p. 193.
56 Some Definite Integrals
^l1
.(13)
(jAl + WL^-1^};.
and so on.
i’1-Jf 0 (a, x) <j> (b, nx) dx =J ijr (b, #) ijr (a, nx) dx. .(16)
Jo (mi)•f (®)^(«®)
Hence, by (16),
Ju (l + x)(l + rx)...(l+r”x)
-n)
_ (1 ~ r'~n) (1 ~ r*~”) •••(! — ..(20)
My own proofs of the above results make use of a general formula, the
truth of which depends on conditions which I have not yet investigated
completely. A direct proof depending on Cauchy’s theorem will be found in
Mr Hardy’s note which follows this paper. The final formula used in
Mr Hardy’s proof can be proved as follows. Let
f{t) = "5" 4 A,t + +....
58 Some Definite Integrals
Then it is evident ti
(1 - at)f(t) = (1 - bt)f(tx).
That is
(1 - at) (A, + AJ + A,t‘ +...) = (l-bt)(A0 + Ajx + A^x? + ...).
Equating the coefficients of tn, we obtain
/oo (1+12
(1 + ®2) (1 + r2®2) (1 + rtr2)...
f“_dx_
Jo (1+ of) (1 + e-^nf)(1 + e-^x1)...
= w»r(f)V5 ^2^(1 + s/5 Y {£ (1 + V5)F «-*"k;
1. If n is real and positive, and j I (t) 1, where I (t) is the imaginary part
of t, is less than either n or I, we have
lZU20-i«i
/o ^^sinM=tan{i7r(i-ti)}L ^Soos71
If t — 0, and <j> (n) = J <2®,
.
then ^ = \/ (^) ^ Q + ^ <“)■ I
Jo UfTcosh(2wa/V3) 6 ^
” Vuexp
and if t = 0, and
then = (^)+^(«).|
L ^^e^dx=-vnexHii7r(1+3}L (7)
If we put n = 1 in (7), we obtain
lim J f
t~*-o E Jo tanho®
“/„ iaw=i<&+i.(®>
Hence, dividing both sides of (7) by t, and making t-*■(), we obtain the
result corresponding to (3) and (6), viz.: if
<£(«)=/]
°i r sm7nM (10>
^'sSi + Jo ¥^=idx’\
/w-/;
os 2te d®
j"e-”F(n)dn=J*?
Now let
+ . (15)
Then
_(_ iye-if+m
Jo e-™f(n)dn= ^
•o ® — i (2r + l)2wr
, //M exp{-V(2a/7r) (1 — f) £} = f" cos 2£a; da
h V \2a/ (1 + i) cosh {(i + i) \/{\iraj} Jo cosh me a + iirx- ’ ' '
of (11); and therefore
(»)-/(«)} At = 0.(17)
f e~m<j>(n)dn = 0,
62 Some Definite Integrals connected with Gauss’s Sums
for all positive values of u (or even only for an infinity of such values in
aritnmetical progression), then
<t> (n) = 0,
for all positive values of n. Hence
^(»)-/(»).(18)
Equating the real and imaginary parts in (13) and (15) we have
I cos 2to cog
3. We can get many interesting results by applying the theory of Cauchy’s
reciprocal functions to the preceding results. It is known that, if
.<**>
then F(a,{3) = F(/3, ct) = \/(2a){J + «-’"‘ + «-J’r“ + e_!"r“+
provided that a/S = 1.
4. If, instead of starting with the integral (11), we start with the corre¬
sponding sine integral, we can shew that, when R (a) and R (t) are positive
t ” sin to, dx
J o sinh irx a* + a?
be expressed in finite terms for all rational
J o sinh \-wx 1 + a?
From (30) we can deduce that
J‘ = i - e~,t+i”n + +...
R(t) being positive and 11 (t)|$^7r. The right-hand side can be expressed
in finite terms for all rational values of n. Thus, for example, we have
ri — cosrf
2 irtsnda =
j„ sinhwi
Applying the formula (28) to (33) and (34), we have, when a/3 = J,
— cos{(2r + l)°7rtt2} *■=-, y cos {(2r+1 )8 u/3g} 1
’ sinh{(2r + l)7ra}+ VP } sinh{(2r +1)tt,8} |
=2 +e-Sra + + «r“™ + K. (35)
sin{(2r+l)8™8} sin{(2r+1)8^8} I •
,~0( X) sinh{(2r+ 1)vro,} ~ ^ ,.?0 _ ^ sinh{(2r +1)^}' J
Some Definite Integrals connected :with Gauss’s Sums 65
By successive differentiation of (32) with respect to t and n we c
the integrals
f> f
for all rational values of ?i and all positive integral values of m
example, we have
rX— dx - - [* X si‘—*5 dx - 1
Jo'"sinhwa: 8’ ,/0 sinh was. Ssr ’
The denominators of the integrands in (25) and (36) are cosh ttx and
sinh irx. Similar integrals having the denominators of their integrands equal to
II cosh 7r«,.a: sinh ®
can be evaluated, if a, and br are rational, by splitting up the integrand into
partial fractions. •
1 + 2 cosh (2™/V3)
q- e"i 0*V3-ifiiVM) _ .,
66 Some Definite Integrals connected with Gauss’s Sums
where 1, 2, 4, 5, ... are the natural numbers without the multiple
of 3.
As an example, when n = 1, we have
/•’ cosrfcos irtx _l-2sin{(w-3rf)/12}
/„ 1 + 2 cosh (2ir*/v'3) Scosh(wt/V3)-4 ’
...(41)
f”_sin ttx‘ cos vtx — \/3 + 2 cos{(7r- 37rf2)/12}
Io 1 + 2 cosh (2ira;j*/3) * Scosh(7rt/\/3)-4
6. The formula (32) assumes a neat and elegant form when is changed
to t + \i-rr. We have then
jmte e_,:^dx (j! >0 (>0)
tanh 7rx
...(42)
/; .(44)
as t->-0. But the limit of the right-hand side of (42) divided by t.ean be
found when n is rational. Let then n = ajb, where a and b are any two
positive integers, and let
<*(«)=/“
The relation between 0(a) and 0-(ti) has been-stated already in (10'). From
(42) and (44) it can easily be deduced that, if a and b are both odd, then
=T{V(«+« + i)-'/(«+*)}*•
The object of this paper is to give a finite expression of <3? (s, 0) in terms
of Riemann f-functions, when s is an odd integer greater than 1.
Let f (s, x), \yhere x > 0, denote the function expressed by the series
xr‘ + (x+ l)"' + (a! + 2)->+
and its analytical continuations. Then
r(*,i) = ?(«), = .a)
where J (s) is the Riemann f-function;
f(*.«)-f(*,« + l) = «r*; .(2)
l» + 2* + 3s+.n + 1), ■ |
l* + 8* + 5* + ... + (an-l)'=i(l-2*)r(-*)-2,{:(-»,» + i)i "'(8)
if n is a positive integer; and
ij2-»{?(i-i«)-r(i-i*,«)}
+ i^£-6)2M{r(3_Ja)_f(3_i4><e;}
|
¥(3,a) = 4V®-;i+2f(4,ffi), | .. .(20)
.<>,
Consider the integral
J(u'> = f^T1d^
where the real part of u is positive. Since
and 80 -1^)^.<3>
Suppose now that s = a +it, where 0 < a < 1. Then, from (3), we have
2. We have proved (8) on the assumption that 0 < <r < 1. But it can be
shewn that the formula is true for all values of s other than integral
values.
Suppose first that - 1 < a < 0. The formula (3) is equivalent to
Using this formula as we used (3) in the previous section, we can shew
that (8) is true in the strip — 1 < cr< 0 also. In the right-hand side of (31,
the first.term in the expansion of l/(eM— 1), viz. l/(2wx), is removed, and in
that of (10) two terms are removed. By considering the corresponding
formulfe in which more and more terms in the expansion of l/(eMa!— 1), viz.
1 1 7tx ttV tt’x7 ttV
2wk~2+T “ "90 + 945 “9460 + 93555
are removed, we can shew that the formula (8) is true in the strips — 2 < cr < 1,
— 3 < a < — 2, and so on. That it is also true in the strips 1 < o- < 2,
2 < <t < 3,... is easily deduced from the functional equation ? (s) = ?(1 - s).
The formula also holds on the lines which divide the strips, except at
the special points s = k, where k is an integer. This follows at once from
the continuity of f(s) and the uniform convergence of the integrals in
question.
irPr1)r(:T!
From this we deduce that, if a/3 = 47r2 and R(s) > — 1, then
?(L-£)
7
4 COS ^ TS (S — 1)! + f
ja4(»-l)+JQK»-D)
_ Q3m/)3 s+ 7 _ ) x‘dxdy
3! i> + 7)!+> "j (e2™ - 1) (d-'y - 1)
-2K.-3) r {i (s -1+»<)} r {i («-1 - it)}
1r (s+l)s+t»
.(17)
+a»c-+i >rnis._l_
Jo Jo t 1 ! (s + 3y + t*
(axi/f 1 ] x’dxdy
3 ! (s + 7)2+> + '’'J (e!«-l)(es'®-1)
_ 09 *!/)“ 1 | x?dx dy
~3 f (s + if + f 'J i)
_ 2* (s~s> r \i(s -1+it)} r a (S - i - it)\
i- (s + l)2+t2
xS^S^sin^logl).(18)
J(»)-i(4*-)
/>(= rriri)«a<M’iTf'i‘
CONTENTS
1. Introduction and summary of results.
-5. Elementary results concerning the order of cl (-V).
2. The order'of d {N) when the prime divisors of N are known.
3. The order of d (iV) when the number of prime divisors is km
-5. The order of d(N) when nothing is known about N.
III. 6- -31. The structure of highly composite numbers.
6. Definition of a highly composite number.
7. A table of the first 102 highly composite numbers.
8. * first standard form of a highly composite number. The in
the largest prime divisor.
9. Alternative standard form of a highly composite number.
0—24. The indices of the prime divisors in the first standard form.
!5—27. The final primes in the second standard form.
28. The ratio of two consecutive highly composite numbers.
29. The form of d (Ar) for highly composite values of N.
30. The order of dd (Ar) for highly composite values of N.
31. Some apparently paradoxical forms of d !.Y) in the table.
IY. -38. Superior highly composite numbers.
32. Definition of a superior highly composite number.
33. The exact form of a superior highly composite number.
34. The number of divisors of a superior highly composite number.
35. The maximum value of d for a given value of x.
36. Consecutive superior highly composite numbers.
37. The number of superior highly composite numbers less than a
given number. A table of the first 50 superior highly com¬
posite numbers.
38. Superior highly composite numbers and the maximum order of
dIE).
Application to the determination of the order ofd{N).
The maximum order of d (AT), assuming the prime number theorem.
The maximum order of d (Y), assuming the Riemann hypothesis.
The order of the number of superior highly composite numbers
less than S.
Highly composite numbers between consecutive superior highly
Highly Composite Numbers 79
where y is the Eulerian constant. VoronoiJ and Landau§ have shewn that
the error term maybe replaced by 0 (hT~i+‘), or indeed 0 (IV-* logiV). It
seems not unlikely that the real value of the error is of the form 0(i\r_!+t),
but this is as yet unproved. Mr Hardy has, however, shewn recently!; that
d- = logrY + 27_ 1 + 0,
id that the series on the right-hand side is the sum of the series
II.
Elementary Results concerning the Order of d (A7).
2. Let d (E) denote the number oj^divisors of N, and let
N=p^p^p^...pn^, .(1)
where pi,pi,ps, ..., pn are a given set of n primes. Then
d (N) = (1 + a,) (1 + a2) (1 +a»)... (1 + a»).(2)
From (1) we see that
(1/n) log (pap2pj ...pnN)
= (1 In) {(1 + oO logp, + (1 + a2) log p2 +... + (1 + a„) log p„}
> ((1 + a,) (1 + of) (1 + a3) ... (1 + an) logp, log p2... logp„Jln*.
d (iV) = {1 _ o (log .
logp1logp.2...logp„ 6 1
where the symbol 0 has its ordinary meaning.
The following examples shew how close an approximation to d (N) may
be given by the right-hand side of (3). If
W=2’3.7!S,
then, according to (3), we have
d(IV)< 189.8-00000685...; .... ,(ii)
and as a matter of fact d(N) = 1898. Similarly, taking
W = 2“8.3s58,
* Werke, Vol. 1, p. 635.
Highly Composite Numbers 83
Again let us suppose that <j> (t) = log log t. Then we see that
^(*)logjjgj}-log^(«)
«-(j>)-a(p)fT
’lloga(p)T {log&(p)laJ.
It follows from (24) and (25) that
We can also, without assuming this theorem, shew that the right-hand
side of (28) is actually the order of d(N) for an infinity of values of JV.
Let us suppose that
JV=2.3.5.7 ...p.
Then d(JV) = =
in virtue of (25). Since log JV = ^ (p) = t, we see that
d (JV) = (ES&p;
for an infinity of values of IT. Hence the maximum order of d (N) is
2i5ifeiv+0(iogrfiilv)V.
III.
,The Structure of Highly Composite Numbers.
6. A number N may be said to be a highly composite number, if
d(N')<d(N) for all values of JV' less than JV. It is easy to see from the
definition that, if N is highly composite and d (JV') > d (JV), then there is
at least one highly composite number M, such that
N<M4N. x.(29)
If N and JV' are consecutive highly composite numbers, then d(M)^.d(N)
for all values of Mbetween N and JV'. It is obvious that
d (JV) < d (2JV) .(30)
for all values of JV. It follows from (29) and (30) that, if JV is highly
composite, then there is at least one highly composite number M such
that jV<j¥<2JV. That is to say, there is at least one highly composite
number JV, such that
x<N^2x, .(31)
if as > 1.
7. I do not know of any method for determining consecutive highly
composite numbers except by trial. The following table gives the con¬
secutive highly composite values of JV, and the corresponding values of
d (JV) and dd (N), up to d (JV) = 10080.
The numbers marked with the asterisk in the table are called superior
highly composite numbers. . Their definition and properties will be found
in §§32, 33. •
* 4 (.V) ~ * <*) means that $ (*)/* (*) ^ 1 as * * co.
88 Highly Composite Numbers
Kx-y>K-y.
provided that N is a multiple of 3.
It is convenient to write
«a = 0 (X>ft).(33)
Thus if N is not a multiple of 5 then as should be considered as 0.
Again, aPl must be less than or equal to 2 for all values of px. For let
P, be the prime next above pl. Then it can be shewn that P,<Pi for
all values of pC. Now, if uPl is greater than 2, let
Then N' is an integer less than N, and so d (iV') < d (N). Hence
(1 + 0 >2(^-1),
or 3 > aPl,
which contradicts our hypothesis. Hence
.(34)
for all values of p,.
Now let p[', pl, pl, P,, PI be consecutive primes in ascending order.
Then, if Pl ^ 5, aPl« must be less than or equal to 4. For, if this were not so,
we could suppose that
* It can be proved by elementary methods that, ii+ ^ 1, there is at least one prime p
such that x<p^Sx. This result is known as Bertrand’s Postulate: for a proof, see
Landau, Handlmch, p. 89. It follows at once that Px < pl, if pt > 2; and the inequality
is obviously true when pi — 2. Some similar results used later in this and the nest section
may be proved in the same kind of way. It is for some purposes sufficient to know that
there is always a prime p such that x < p < 3x, and the proof of this is easier than that
of Bertrand’s Postulate. These inequalities are enough, for example, to shew that
log P!=log p! + 0 (1).
90 Highly Composite Numbers
Now let
Pi Pi
It is easy to verify that, if 5 «19, then
PiPi>Pi"Pii
and so N'<N and d (N‘) < d (If). Hence
(1 + ^ (1 + av.)(1 + a„..) > 2anap, (2 + ap.),
or (1 + i)(1 + i)>2(1+iT^.)'
But from (36) we know that 1 + aPl» < 5. Hence
.(S”
From this it follows that aPl = 1. For, if aPl ^ 2, then
(1 + ^)(1 + ^)<2*’
in virtue of (32).' This contradicts (37). Hence, if 5 <pj< 19, then
«*-l.-(38)
Next let N' = NPNiKpiPiP").
It can easily be shewn that,' if p, > 11, then
PiPf <pipip";
and so N' < N and d (N') < d(N). Hence
(1 + aPi) (1 + aPl0 (1 + %,,») > iaPlaPl. aPL",
.•.■<”>
From this we infer that aPi must be 1. For, if aPl^2, it follows from (32)
that
Hence it is clear that a cannot have any other value except 2. Moreover we
can see by actual trial that 22 and 22.32 are highly composite. Hence
aPi = l .(43)
for all highly composite values of N save 4 and 36, when
aPl — 2.
Hereafter when we use this result it is to be understood that 4 and 36 are
exceptions.
9. It follows from (32) and (43) that H must be of the form
x2.3.5.7...p2
x 2.3.5 ...p3
...(44)
where px > p% ^p3 > ... and the number of rows is a2.
Let Pr be the prime next above pr, so that
logP, = logp, + 0 (1), . ...(45)
in virtue of Bertrand’s Postulate. Then it is evident that
“jv > ...(46)
...(47)
It is to be understood that ap, = 0, , ...(48)
in virtue of (33).
It is clear from the form of (44) that r ca exceed o2, and that
.(49)
Since the right-hand side vanishes when v >plt we see that (50) is true for
all values of X and v *.
Again let N'=*N/iX 1 i'08*1'108^,
where [log /i/logX] < cy, so that iV' is an integer. Then it is evident that
N' < N and d (If) < d (N), and sc
iog^l) ...(51)
(l + ^)(l + o*)>(2 + o,)(o»-p
logxjy
Since the right-hand side is less than or equal to 0 when
“A<log^/logV|,
we see that (51) is true for all values of X, and p.. From (51) it evidently
follows that
(l+0 < (2 + ‘V)[^2^l)]- ...(52)
.<ss>
for all values of X, p and v.
Now let us oppose that v=pi and so that a„ = l and <y = 0.
Then we see that
KS]»“*I3£].<“>
for alt values of X. Thus, for example, we have
Pi = 3, l^a2«4;
p, = 5, 2<as^4;
Pi= l 2
2<a «6;
^= , ^ ^ ;11 3 05 6
and so on. It follows from (54) that, if X then
ax log X = 0 (log pi), ak log X ^ o (logp,).(55)
11. Again let
IV' = ArX['/f<1+“*+“'*) l08'l/1°s4] -l-[Vl(l+«A+»(i)IOSA/IOgrf]j
and let us assume for the moment that
cy > «/[(l + cii+ cy) log X/log p),
in order that N' may he an integer. Then AT'cIF and d (IP) < d (FT),
< (l + i) (a, log 2 + log 2) (o> log 3 + log 3)... (or* log p + log p)
^ (i + i) (ct, log 2 + log p) (a, log 3 + log p)... (a* log p + log p).
In other words,
a*1<®
for all values of k less than or equal to p, so that N' is an integer.
Highly Composite Numbers
£8+log^ l*
2 + Oj I (VK1 + a„) log v) - Vlog (jiv)J!J
From this it follows that
j Via + log ») - Vlog (H; < V(a« log * + log n) 4, J+ log /ij ,
15. We shall consider in this and the following sections some important
deductions from the preceding formulas. Putting v = 2 in (69) and (71), we
obtain
f ^-lo,„ 1
tQ») ■l-Vlog(2/t), ...(73)
via+«=) log 2} >
Mr
provided that 7r (/t) log fi < log X < logy,, and
via+log 2l <
\2 -f d\J
provided that fi 4,p-i, and Now supposing that \=px . (73), and
X = P1in (74), we obtain
/p2IP._l0g J
Vl(l + aj log 2} > J _ vlog (2/t), . .(75)
best possible inequality for a,. If p, is too small, we may abandon this result
in favour of
.(77).
Hence 0(1)
',os2>1^7I)+°(,?c?s-!!+^.
provided that it (/a) log/r < logX^logy,. Similarly, from (74), we can shew
that
provided that p^p, and p<\. Now supposing that X=y, in (81), and
X = Pi in (82), and also that
/* = 0 <J( logy, log log pi), fj.^0 V(logy, log logy,)*,
17. The relations (86) give us information about the order of a, when
X is sufficiently small compared to y,, in fact, when X is of the form y,%
where e-»0. Such values of X constitute but a small part of its total range
of variation, and it is clear that further formulae must be proved before we
can gain an adequate idea of the general behaviour of aFrom (81), (82)
98 Highly Composite Numbers
1 + “A' .(87)
provided that w GOlog /. < log X * log #. From this we can easily shew that
if 7T (,«) log ya < log X «log# then
• -’WflSF)}-
Now it is clear that log /a = 0 (loglog#), and so
logja_Q ^log log PYj = q |^(logPil°glog?i)j ;
, g# nJ\/(l£g#loglog&)l
and (i^r°i Togx ■■ r
From this and (88) it follows that, if
g'ojr,)'
*- .,s(2—-„-.+ „pSr|fim>U ^
*><*■»*":-»-*♦«P-^1-3P•) .
Now we shall divide the primes from 2 to# into five ranges thus
...
Since 0 < ex < J, and and A are integers, it follows from (94) that
nx«;A, ax>A-l...(95)
Hence «x = A.(96)
Similarly from (89), (91), and (93) we see that, if eA< 0, then
a^A-ex + o(ex), |
ax»A-l-ex + o(ex).| .(97)
,Qln
Since - J < ex < 0, it follows from (97) that the inequalities (95), and there¬
fore the equation (96), still hold. Hence (96). holds whenever
.m
* We can with a little trouble replace all equations of the type /=0(<|>) which occur
by inequalities of the type |/| < K$, with definite numerical constants. This would
enable us to extend all the different ranges a little. For example, an equation true for
logX^fcOx/Clogp,)
would be replaced by an inequality true for logX > iTV(l°gPi), where E is a definite
constant, and similarly log X=o ./(log p,) would be replaced by log X < k ./(log p{).
Highly Composite Numbers
-oM'lgr)}.
- then when e* > 0 aA = [®] or [a +1]; ..(110)
and when < 0 aA = [ffi] or [a-1].(110')
Highly Composite Numbers
iogiaogx=0(logX)= /log^y
Tten ^ a-log2V(log«+0V(1OgPl)-
24 Let X' be the prime next below' X, so that X' ^ X — 1. Then it follows
from (63) that
V{(1 +av)logX'] -\/|(l +01ogX} >-^log(XX').(118)
Hence V{(1 + av)log(X- 1)}-V{(1 + «x)logX) >-V{21ogX}. ...(119)
But log(X-l)<logX-i<logx(l— i
and so (119) may he replaced by
V(1 + «»•) - V(1 + <*0 > V2.(120)
But from (54) we know that
i + 0v > ! + f!2££>l > !£££■ > l££Pi.
^ |>gvj i°g^’ iogx
From this and (120) it follows that
va+«»wa+«.)> .(iso
Now let us suppose that X2(logX)3< Jlog#. Then, from (121), we have
V(l + av)-V(l + ax)>0,
or ak->ak.(122)
From (122) it follows that, if Xa (log X)3< £log#, then
d1>as>Os>‘h> ■■■ >®x- ••• .(123)
In other words, in a large highly composite number
2»=:3a>.5“'.7
Highly Composite Numbers 103
25. Now let us consider the nature of pr. It is evident that r cannot
exceed i.e., r cannot exceed
log i1 +
But, from (47), we have
1 + up J ’
Also we know that
104 Highly Composite Numbers
.(133)
.(134)
log(l + A) U icgpj
.(137)
But we know that a^^r. Hence it is clear that
.(138)
From this and (136) it follows that
.(139)
^=o(1)> i$k=o(1);
and so it follows from (138) and (139) that
.(140)
Highly Composite Numbers 105
=r+0(i^
v=r+0fe)i
provided that r.= o(logp,) and r o V(logp,)- But when r^o(logp^, we
shall use the general result, viz.,
(V = 0(r), a^olr),
.(143)
apr= 0 (r), aPr o (r),
which is true for all values of r except 1.
27. It follows from (87) and (128) that
, ,HP\
‘ .(144)
with the condition that rp = o (logp,). From this it can easily be shewn, by
arguments similar to those used in the beginning of the previous section,
that
\og(l+ljr) = ^° {l0gygM + ^ + VOogp.loglogp,)}, -(145)
provided that rp — o(Logpi).
Now let us suppose that r = o (logp,); then we can choose p such that
/•-ofP), ^0(1).
Consequently rp = o (logpd and log p — o (p), and so
106 Highly Composite Numbers
From these relations and (145) it follows that, if r=o (logp,), then
_HP'- .(146)
log(l + 1/r) log 2’
that is to say that, ifr=o (log pi), then
log_ !og^ _ l°gP> _ _ . ..(147)
log 2 log(l + J) log(l + J) ' log(l + l/r)
Again let us suppose that r— 0 \/(logpi log logp,) in (145). Then it is
possible to choose p such that
rp- OVOogpiloglogp,),) (148)
rpfo V(logp, log logp,).) .
It is evident that logp = 0 (log logp,), ancl so
0 = o V(logp, log logp,).
and
.
logCL + lM*0^^- j
From (150) and (151) it follows that, itrfo V(logp, log logp,), then
logpr _logp, n(y
log(l + 1/ry log 2 + { .(152)
and from (149) and (152) that, if r = o(logp,), then
log Vr log Pi
log(l + l/r)~ log2’
in agreement with (147). This result will, in general, fail for the largest
possible values of r, which are of order logp,.
Highly Composite Numbers 107
28. We shall now prove that successive highly composite :numbers are
asymptoticsilly equivalent. Let to and n be any two positive integers which
are prime to each other, such that
logBrn-oflogpO-ofloglogiV); . .(154)
Hence 1-
'Tfk = 1 + + 0 {1 (SI)}
_ 8>logX
^ + a2 log 2 + »iw£via
logX
~ exp |a2 log 2 .(159)
It follows fr<jm (155), (156), (158), sind (159) that
+ S3 log 3 + ...H-SgalogfO
r)-JW«P {&«■ 05 log 2
+ 0I«,|1<*2 +■i8,|log3 + ... + !Ss,|logp //'logmnNl
log ft V \. log Pi ))
d |^(n- =d(iV)<
I + Oj.log.y^
Jog log N J) '
d w(i + - d(N). ..
From this and (29) it follows that, if N is a highly composite number, then the
neat highly composite number is of the form
— ws&w, .<“>
Hence the ratio of two consecutive highly composite numbers tends to unity.
^Jf+ovdog^iogiog#).(iro)
fcgagHss*™.<m>
In the left-hand side we cannot write a* instead of 1 + aA, as a* may be zero
for a few values of X.
From (165) and (170) we can shew that
log d(N) = «s log 2+0 («„), log d (IV) f a, log 2 + o («„);
30. Now we shall consider the order of dd{N) for highly composite
values of N. It follows from (165) that
log dd (IV) = log (1 + a,) + log (1 +«,)+... + log (1 + «„). .. .(174)
Now let X, X', X", ... be consecutive primes in ascending order, and let
X = 0 v (log # log log #),
X^ o V(log#loglog#).
Then, from (174), we have
log dd (IV) = log (1 + as) + log (1 + a,) +... + log (1 + a*)
+ log(1 + «v) + log(1 + «»») + ... + log(1 + O. ...(175)
* More precisely Er~a2« But this involves the assumption that two consecutive
primes are asymptotically equivalent. This follows at once from the prime number
theorem. It appears probable that such a result cannot really be as deep as the prime
number theorem, but nobody has succeeded up to now in proving it by elementary
110 Highly Composite Numbers
-tK'M'1-* io-ku-b-M}
+ 0 Vfiogpi log logpi) log |(i -1) (i - i) ■ ■ ■ (* - ^)| •
.(176)
It can be shewn, without assuming the prime number theorem*, that
= ~ ijflog {(1
- 4)o- -i) ••• (J
- 9}
+ 0 (V(logp, log log pi) log log logpj.(178)
Again, from (152), we see that
log (1 + ay) + log (1 + ay.) + ... + log (1 + a»)
Jp'./ .(18°)
in virtue of (177), (168), and (163). Heme, if N~ is a highly composite
number, then / J.
d d (N) = (log ^*,<*I0*^*V+T + °fe«u53)}. .. .(181)
31. It may be interesting^*} note that, as far as the table is constructed,
IV
Superior Highly Composite Numbers
32. A number iV may be said to be a superior highly composite number
if there is a positive number e such that
d(N) d(N')
N’ >{N'Y‘ .(182)
112 Highly Composite Numbers
i.e. it must satisfy the conditions for a highly composite number. Now let
N' = Nj\,
where A, Then from (182) it follows that ;
.(185)
.(186)
Now supposing that -pi in (1S5) and X = P, ii (186), we obtain
.(187)
logP, log pi ’
Now let us suppose that e = 1/x. Then, from (187), we have
p1<2*<P1. ...(188)
That is, p, is the largest prime not exceeding 2X. It follows from (185) that
ax*(Vl*~ 1)-. .(189)
Highly Composite Numbers 113
Similarly, from (186), «* >. (A1;* — l)'1 - 1.(190)
From (189) and (190) it is clear that
«A = [(V/*-l)-].(191)
Hence N is of the form
2[e1/I-ir1]. 3[a'/*-„->]. sWM-*-*) .(192)
where p1 is the largest prime not exceeding 2*.
or *r<(l+J)‘.(193)
Similarly by supposing that \ — Pr in (190), we see that
«pr>(-P,'/*-l)--l.
But we know that r — 1 Ss apr. Hence
r>(P,M*- l)->,
« i>r>(i+9".(194)
From (193) and (194) it is clear that pr is the largest prime not exceeding
(1 + 1 jr)x. Hence N is of the form
X2.3.5.7 ...p,
x2.3.5...jp,
x.(195)
where pj is the largest prime not greater than 2* is the largest prime
not greater than (§)*, and so on. In other words 17 is of the form
e»(21+»(i)«+»(8*+...; .(196)
and d (N) is of the form
2^.(f )'(«•.(,)-(«■.(197)
Thus to every value of x not less than 1 corresponds one, and only one,
value of N.
d(N) d_(JT)
35. Since
N'l* * (Wfl*’
for all values of N', it follov i from (196) and (197) that
.(198)
e(l/*)*(2‘) e(l/j)&(H- JllxWir
114 Highly Composite Numbers
for all values of iV and x: and d(N) is equal to the right-hand side when
iy=ea(2*)+»(2)'+9-( Sf+-.(199)
Thus, for example, putting x = 2, 3, 4 in (198), we obtain
d(iVXV< ZN), \
d(N)^8(3NIS5)K |.(200)
d (iV) ^96 (3iV/50050)s, J
for all values of iV; and d (N) = *J(2N) when N= 25.3; d (N~) = S (HN’/Sop
when i7 = 2s. 3=. 5.7; d (N) = 96 (317/50050)1 when
JV = 2s. 3*. 3J. 7.11.13.
where ■rrl, wj, ... are primes. In order to determine 7th 7t2, ..., we
proceed as follows. Let be the smallest value of x such that [2*] is
prime, x2 the smallest value of x such that [(§)”] is prime, and so on; and
let xlt x2, ... be the numbers xi,x2, ... arranged in order of magnitude.
Then 7r„ is the prime corresponding to ®„, and
i7 = 7rJ7raw,...7r„J .(202)
if <*•„+,.
37. From the preceding results we see that the number of superior
highly composite numbers not exceeding
lS»(2*)+»(t)*+»(i)*+... .(203)
is t (2*) + 7T (f )* + ir (D* -t- . . . .
In other words if § x < a„+1 then
n = ,r(2-)+*■(*)•+ *•(#)■ +.(204)
It follows from (192) and (202) that, of the primes ir,, 7rs, ..., 77-,,, the
number of primes which are equal to a given prime w is equal to
[(w>/*- 1)-].(205)
Further, the greatest of the primes 7^, 7r2, irt, ..., irn is the largest prime
not greater than 2*, and is asymptotically equivalent to the natural nth
prime, in virtue of (204).
Hitjlib) Composite Numbers 11
'he foil, iving table give the values of and a-„ for the first 5 0 value
that is till reaches vt y nearly 7.
_ *£S2
log 2
_a
7rj=■
—7 ,7 „ jg =2.8073...
=2
*’“S“8’1062-.
7T, =11 .= ^=3,^4...
■*-,„ = 13 =3,004...
7Tu = 2
-=5I)=3-8017-
7T12 = 3
*V = 5 ,6=^=3-0693...
*-,==io ,= =^=4,479...
*-,6 = 2
a,6= i^l) =4'4965---
7rlr = 23
" log a -4s2So-
7T1S= 7
ffii!=iS)=4'7992-
*-,,, = 29 ,lf=l2£^=4-8579...
116 Highly Composite Numbers
TS= 3
— s®-49233
ira = 31
.*, = 2
— iwi-5 1808-
.!3 = 37 ^ = !2£^7 = 5-2094.
.24 = 41 M =5-3575.
log 2
7r,0 = 47 ^^=5-5545.
log 2
77,2=5
*‘-.S-w34s-
_ .,= 53 =5-7279.
28 log 2
.25=59 =5-8826.
log 2
.,„ = 2 *M = =5-8849,
.12=3 .3=51=6-0256.
.„ = 67 x = =6-0660.
log 2
.25=71 ^ =6-1497,
log 2
.32 = 79 ,37=^=6,037.
.» = 13 Si =63259 ■
.19 = 83
S=6'3750'
Highly Composite -Numbers 117
log 89
= 6-4757 ...
log 2
tt43=101
7T44 = 103
77.. = 107
.(206)
for all values of iV and or,. In order to obtain the best possible upper
limit for log d (17), we must choose x so as to make the right-hand side a
minimum.
The function F(x) is obviously continuous unless (1 + 1/r)1 =p, where
r is a positive integer and p a prime. It is easily seen to be continuous
even then, and so continuous without exception. Also
Thus we see that F(x) is continuous, and F'(as) exists and is continuous
except at certain isolated points. The sign of F'(x), where it exists, is
that of
* (2*)+ *($)«+ »($)* + ...- log-V.
and SK2*)+Mf)* + *(t)* + ...,
is a monotonic function. Thus F'(x) is first negative and then positive,
changing sign once only, and so Fix) has a unique minimum. Thus F(x) is
.(209)
where, x is the function of if defined by the inequalities (208). Then, from
(198), we see that
d(N)^D(F).(210)
for all values of if; and d(N) = D(F) for all superior highly composite
values of Jf. Hence D(if) is the maximum order of d(N). In other words,
d (if) will attain.-its maximum order when N is a superior highly composite
w rm _ !£g^W + 0 / w Ar is.(213)
.(214)
Highly Composite Numbers 119
It does not seem to be possible to obtain an upper limit for cl (iV) notably
more precise than 1214) without assuming results concerning the distribution
of primes which depend on hitherto unproved properties of the Riemann
((-function.
40. We shall now assume that the “Riemann hypothesis” concerning
the e-function is true, i.e., that all the complex roots of f(s) have their real
part equal to -J. Then it is known that
.(215)
where .(220)
that ti-.)^r(^)s(i+5^
r(i)f(«n{i-^}.
I 20 Highly Composite Numbers
[where p runs through the complex roots of J (s) whose imaginary parts are
positive]. From this we can easily deduce that
sv-om*
l \'x )
Hence
R (x + h) = R (x) + J 0 dt = R(.*) + 0 (~^.(229)
- U (l0g N) ~ +0
R{l°g X + 0 (log X)10* a)/ioit*} = p (i0g X) + 0 {(log X)l‘°* ®/i°s2i-i}
= R (log X) + 0 (log X)*,
■22 Highly Composite Numbers
<£(rV) = ^f Xi{(logiV)>»e(3)
44. We can now find the order of the number of superior highly c
posite numbers not exceeding a given number N. Let S' be the smal
superior highly composite number greater than S, and let
jy' = ea(2') + »(*)'+
Then, from § 37, we know that
' .(237
so that iV' = 0(Nlog JV); and also that the number of superior highly e
posite numbers not exceeding N' is
n-*(2-)+»-(})■ + »■ (*)•+....
By arguments similar to those of the previous section we can shew that
finer
« = Li (log N) + Li (log JlT)x«<i»M* - : - R (l0S N)
.(239)
Highly Composite Numbers 123
Fp>m this we easily shew that the next highly composite number is
of the form
.(240)
for all values of if except S and S’. Now, if S be the nth superior highly
composite number, so that
cl(N)<(~jIX,‘d(S), .(241)
for all values of if except S and .S'. If if is S or .S", then the inequality
becomes an equality.
It follows from §30 that d(S) c; 2d (S'). Hence, if if*be highly com¬
posite and S' < if < S, so that d(S') < d(if) < d (8), then
id (8) < d (if) < d (8), d(S')< d (if) < 2d (S').
From this it is easy to see that the order (236) is actually attained by
d(if), whenever if is a highly composite number. Bat it may also be
attained when if is not a highly composite number. For example, if
Ar = (2.3.5...p1)x(2.3.S...p,),
where p, is the largest prime not greater than 2*, and p, the largest prime
not greater than (jj)*, it is easily seen that d(N) attains the order (236):
and if is not highly composite.
VI.
Special Forms of if.
46. In §§33—38 we have indirectly solved the following problem: to
find the relations which must hold between x„ &'2, a3, ... in order that
for all values of x, and for all values of Ar of the form (242). From this we
can shew, by arguments similar to those of §38, that X must be of the
.(244)
. and d (X) of the form
^ ...
(1+«,)''«'■
...(244')
From (244) and (244') w order of d (X), a sin §43.
47. We shall now consider the order of d(X) for special forms
of X. The simplest case is that in which X is of the forr
logjV=*(p),
d(X) = 2'<».
.(245)
e d (X) is exactly a power of 2, and this naturally suggests the
Highly Composite Numbers 125
.(248)
It is easily seen from (246) that the least number having 2n divisors is
2.3.4.5.7.9 . II. 13.16.17.19.23.25.29 ... to n factors, .. .(249)
where 2, 3, 4, 5, 7, ... are the natural primes, their squares, fourth powers,
and so on, arranged according to order of magnitude.
48. We have seen that the last indices of the prime divisors of X must
be 1, if d (X) is of maximum order. Now we shall consider the maximum
order of d (X) when the indices of the prime divisors of X are never less
than an integer ti. In the first place, in order that d(X) should be of
maximum order, X must be of the form
e-sHifr
It follows from § 46 that X must be of the form
8.»K1+»^+*{(*±g«}+»{gg)«}+„-.
..(250)
and d (X) of the form
..(251)
Then, by arguments similar to those of § 43, we can shew that the maximum
order of d (X) is
(ft + |) £i l(l/») log *')+♦ (X .(252)
Highly Composite Numbers
* «> - 1
- 4a is
\ 10B(»+2) j
N)’mi' 1
log(n + i)
and so (252) reduces to
(n + d^W.U^vi-^I'W^.vho®} _ .(253)
provided that n ^ 3.
60. Let l(N) denote the least common, multiple of the first N natural
numbers. Then it can easily be shewn that
l(jV) = attw-v/ioss]. SPos-v/iogs]. 5[iogX7iog5j pi .(257) '
where p is the largest prime not greater than N. From this we can shew
It is evident that the primes greater than £17 and not exceeding 17 appear
once in iY!, the primes greater than £17 and not, exceeding £17 appear
twice, and so on up to those greater than iY/[V17] and not exceeding
Y/([\/iY] — 1), appearing [YiY] — 1 times*. The indices of the smaller
primes cannot be specified so simply. Hence it is clear that
(264)
where w is the largest prime not greater than pN, and
x goooviog-v).(265)
.(20)
24 - 1008 + 6336 ~ 17280'
* This series (in spite of the appearance of the first few terms) diverges for all values
17
SOME FORMULAE IN THE ANALYTIC THEORY
OF NUMBERS*
(Messenger of Mathematic*, xiv, 1916, 81—84)
I have found the following formuliB incidentally in the course of other
investigations. None of them seem to be of particular importance, nor does
their proof involve the use of any new ideas, but some of them are so curious
that they seem to be worth printing. I denote by d (x) the number of
divisors of .r, if x is an integer, and zero otherwise, and by £(s) the Riemann
Zeta-function.
?»^0“?{p'1o«(i^)}“^(*)^W.
P) d{l) d (2) ^ d (3) ^ d (n)
More generally
<J*a) + d*(2) + d'(3) + ...+d*(«)
-n{At(lognf~' +4,(log«r* + ... + ^) + 0 («»+•)* ...(8)
if 2* is an integer, and
d«(l) + <2"(2) + d“(3) + ... + d*(n)
= 1- «r. (1) n (1) - 3- <r. (3) (3) + 5- (5) <r, (5) -.(16)
It is possible to find an approximate formula for the general sum
<7„ (1) ab (1) + <r„ (2) <?„ (2) + ... + <r„ (n) ab (n).(17)
The general formula is complicated. The most interesting cases are a = 0,
ft = 0, when the formula is (3); a = 0, 6 = 1, when it is
(18)
72f(S)1"8 'T“
c-y-t+m
and the order of E («) is the Si is that of Aj (n); and a =
J»*f(3) + m»..(19)
where E(n) = 0 (n2 (log n)5}, E(n) + o (n*lcign).
(J) If s > 0, then
<r, (1) a. (2) <r, (3) <r. (4)... <r. (») = Sc" {n !)«.(20)
where 1 > 8 > (1 - 2-) (1 - 3—) (1 - 5-")... (1 - «•-»),
m is the greatest prime not exceeding n, and
so that f(.),(.)-fr(»)»-,
whenever r and s are positive odd integers. I also prove that there is no
error term on the right-hand side of (2) in the following nine cases: r = 1,
s = l; r = 1, s = 3; r = 1, s = 5; r = 1, s = 7; r = 1, s = 11; r = 3, s = 3; r = 3,
s = 5; r = 3, s = 9; r = 5, 5 = 7. That is to say 2,v,(n) has a finite expression
in terms of ov+s+1 (n) and 0-^^ (n) in these nine cases; but for other values
of r and s it involves other arithmetical functions as well.
It appears probable, from the empirical results I obtain in §§ IS—23,
that the error term on the right-hand side of (2) is of the form
0{wKr+*+i+'*>}, .(3)
where e is any positive number, and not of the form
0 {jliCr+s+D}.(4)
But all I can prove rigorously is (i) that the error is of the form
0 {nSO’+s+D}
in all cases, (ii) that it is of the form
0 {«iO-+*+i)} .(5)
if r + s is of the form 6m, (iii) that it is of the form
0{?i3fr+s+Hj .(6)
if r + s is of the form 6m + 4, and (iv) that it is not of the form
(U
On certain Arithmetical Functions 13 7
It follows from (2) that, if r and s are positive odd integers, then
* r(')• +1) r(,? +1) f(>• +1) f(* +1)
*'■'(>° ~ --r(r + ,+2)- ■ Wr (n).(8)
It seems very likely that (8) is true for all positive values of r and s, but
this I am at present unable to prove.
where ut = lr + 2r + 3'+...
From this it is easy to deduce that
♦H'
<rr(l) + ov(2 )+... + «rr(n). (n)t
r(r + l)r(a+l)
Ml) («-If + ov(2) (n - 2)» +... 4- *r{n-1) F
T(r + s + 2)
provided r > 0, s > 0. Now
<r,(n)>n‘,
and a„ (n) < ns (1~> + 2~‘ + 3~" +...) = n*?(s).
From these inequalities and (1) it follows that
.(12)
* Knopp, Dissertation (Berlin, 1907), p. 34.
+ (10) follows from this as an immediate corollary.
138 On curtain. Arithmetical Functions
21(1 - (I - (X -
On certain. Arithmetical Functions 139
+ f{^(1_costf,+i'S(1~cos2<’)+ T=i (1 - ■
.(IT)
Similarly, using the equation
cot516 (1 - cos n6) = (2)i - 1) + 4 (n - 1) cos 6 + 4 (n - 2) cos 20 + ...
+ 4 cos (n -1)0 + cos n8,
140 On certain Arithmetical Functions
where 1, 2, 4, 5, ... are the natural numbers without the multiples of 3; and
where 8,. is the same as in (9). Equating the coefficients of 8'1 in both, sides
in (21), we obtain
(H-M*L±5) « - nets 8 + »c,S, S,+«C,,8-S,
12 (u + 1)(n + 2) ''
“C,=
R = - 5048, = 1-504 + • • •) j
* If x=(/2, then in the notation of elliptic functions
,5=^4 = (^)4(1_F+i4)i
5. 1-2S44
6. 691+ m20%,,, ■» = 441 ^ + 250R1.
7. 1-240,., aUc) = Q-R.
S. 3617 4- 16320*., i?, • j = 1617 ^ + 2000QJt-.
9. 43867-28728*., r ix) = 38367$W + 5500/P.
10. 174611 + 13200*,, lft121250^.
11. 77683 - 552*,, U'j = 57183£4£+ 20500§#:.
12. 236364091 +131040* ^. = 49679091 (/' + 176400000^2+10285000/^.
13. 657931-24*,. a*.0*-; = 392031 <fli + 265000^.#.
14. 3392780147+6960*,, ^(x) = 489693897'/ + 2507636250^^2 + 395450000#/tt
15. 1723168255201- 171864*,, (.v) = 815806500201^ + 881340705000^
+ 26021050000/i;i.
16. 7709321041217 +32640*,,,;tl (.f) = 764412173217^ + 5323905468000^'/^
+ 1621003400000^.
In general if(-s) + 4>0jS(,r:) = SAr'Mi„QmI2'‘, .(26)
where ATm>„ is a constant and to and n are positive integers (including zero)
satisfying the equation
4w + 6n = s + l.
This is easily proved by induction, using (22).
+K£*-£*4.*-4 ^
Equating the coefficients of 0" in both sides in (27) we obtain
Table II.
1. 288*i 2 (.r) = <2-P2.
2. 720*!, 4 (,i:)=PQ-R.
3. 1008
4. 720*,, s(.r) = Q(PQ-It,.
5. 1584*lll[J(.i-,; = 3<22 + 2/(2-5P^.
0. 85020*,,(.() = F(441«S+200R!) - 691 (fit.
7. ill*, u(*)=<2 W + 4/2»-7P«A).
In general <S>ht(x) = '5,Ki,m,nPlQmR’‘, .(29)
where 2 and 21 + 4m + 6» = s + 2. This is easily proved by induction,
using (28).
■£~ 24 *-«—iP--
040*. *
.(31)
and («) is a polynomial in Q and R. Also «
dP dQ dR
dx ’ dx' dm
are polynomials in P, Q and R. Hence (®) is a polynomial in P, Q and R.
Thus we deduce the results contained in Table III.
Table III.
2. 1728*0 5 (x)=Pi6-2PA+§2.
3. 1728*2,r(A')=2Pg2-P2a-<2A
4. 8640*2, s (*) = SR1®2 - 18P§.S+ 5 +iRK
5. 1728*2, „ (*) = 6P<? - 5P2QR+4 PR3 - 6 t^R.
6. 6912*3,4 (is) = 6 P2^ - 8PP -t- 3Q3 - P4.
7. 3456*3,li(.r)=i»§-3P2A+3Pl32-§A.
8. 5184*3,8 (*) = 6P2<22 - 2P3£ - ePQR +1?3+RK
9. 20736*4,5 (a;)=15P§2 - 20R’-R + 10P2f) -4QR-I*.
10. 41472*a r (*) = 7 (P>Q - 4P*R+eP*Q* - iPQR) + 3<?» + 4It?.
On certain Arithmetical Functions 143
in terms of g~ and g
®|Uog(<?-iP) = P.(42)
But is is obvious that
and the coefficient of x" in the right-’hand side is positive and less than
Suppose now that m and n are any two positive integers including zero,
and that m + n is not zero. Then
QmEn (<? - m = Q (<? - m Qm~‘ r°-
= 20 (V»)r'{S0 (v3)»'}“-■ {2 0(vs)«”}“
= 20 (vw) a:8 2 0 (v4m-s) x' 2 0 (r8’*-1) xv
= 2O(i-4“+ra+0)is'',
if m is not zero. Similarly we can shew that
<2“-R» (Q* -R?) = R (Q3 - R-) Q™R*r'
'
if n is not zero. Therefore in any case
(Q3 - R’) QmR" = 20 (r4"-™+8) a-.(52)
11. Now let r and s be any two positive odd integers including zero. Then,
when r + s is equal to 2, 4, 6,8 or 12, there are no values of m and n satisfying
7<rs(tt)-10w3(tt)
2.
13. More precise results concerning the order of ETit (n) can be deduced
from the theory of elliptic functions. Let
x = f.
Then we have
Q = P{q){l-(kk')*} |
R - f* (q) (k'°- - ¥) {1 + J (Mf)2} [ , .(60)
= ^(?){H-i(M')2}V{l-(2^')2}]
where <j>(q) = l + 2q + 2qi + 2q’+....
But. if f(q) = S* (1 - 9) (1 - <f) (1 - q>) ...,
On certain'Arithmetical Functions 147
.(61)
2 J/(9=) = (kk'fs <j>(q) I
2 lf{q‘) = 1%-<H?)J
It follows from (41), (60) and (61) that, if )• + s is of the fori:m 4m + 2, hut
not equal to 2 or to 6, then
r .........(62)
7=,,,(- 2)’
and if r + s is of the form 4m, but not equal to 4, 8 or 12, then
(63)
where Kn depends on r and s only. Hence it is easy to see that in all cases
FT,s(<f) can be expressed as
fltf) “ 22*-5gm4-7e5-iis« +
Let
_ c + dr
where
~ U + br'
Also let
4-m(££*£S'*ffS>+~)}-(80)
It follows from (38), (79) and (80) that
(a + bT)r+MFTtt(cp) = Fr,, (q'").(81)
It can easily be seen from (56) and (37) that
~~ (h + a, + a, ’" ’
so that Vn=P«-iq» ~P«qn-1 = ± 1-
Further, let suppose that
a = Pn, b — — q,i,
c = VnP,i-u d=-yaqn-lf
ad — bc = tin = 1.
Furthermore, let y = l/(?*2'ii+i),
where q'n+i = “Vn2n + ?»-i,
and a'„+1 is the complete quotient corresponding to an+1.
Then we have
| a + It I = I pn - qnu - iq„y | = — . .(85)
and jq |=
.;-(86)
and 1(3’) is the imaginary part of T. It follows from (83), (85) and (86) that
tEr,A»)q'-n j>ir(i-1)-*^**).,.(90)
jI^r,s(«)f»j=0{(i-ri(,-+*+2)},
which contradicts (90). It follows that the error term in 2r,a(n) is not of
the form
.(91)
These eases arise when r + s has one of the values 10, 14, 16, 18, 20
or 24.
152 On certain Arithmetical Functions
is, by (11) and (82), equal to the corresponding one of the functions
1, Q, R, Qr-, QR, QJR.
In other words
r (»)'= TITn (!) T(*■- !)■+ (2)-T(»■- 2).+ ... + or,(n - 1).r (1)}.
.(99)
If, instead of starting with (92), we start with
Table V.
16 +987136
17 -6905934
18 +2727432
19 +10661420
23 +18643272
24 +21288960
10 • -115920
11 i +534612 26 +13865712
27 - 73279080
13 : -577738 28 +24647168
14 ! +401856 29 +128406630
15 | +1217160 30 -29211840
18. Let us consider more particularly the case in which r + $ = 10. The
order of !?,.,»(«) is then the same as that of t(n). The determination of this
order is a problem interesting in itself. We have proved that EriS(n), and
therefore t(«), is of the form 0 («’) and not of the form*o(n5). There is
reason for supposing that t (n) is of the form 0(nh? +€) and not of the form
o (n3^). For it appears that
...(101)
1 - rJp)p-T+pa-
This assertion is equivalent to the assertion that, if
n=pla'p,**iha*...pr\
wherepbp,., ... p, are the prime divisors of n, then
W-YT(}i)=Mn(l + al)^sin.(1. + cu)6P! _sin(1.+
|5£^r|>i.
Hence .(106)
for an infinity of values of n.
where l is the least common multiple of c,, cs, ... cr, is equal to 0 or to a
divisor of 24.
The arithmetical functions x(n\ P(n), x*(n\ H(n) and ®(n), studied by
Dr Glaisher in the Quarterly Journal, Vols. xxxvi—xxxvi [I, are of this
type. Thus
tx (»)«“=/•(«*),
SP («)«(*-/• («?)/*(»*),
2D(»)®’‘=/12(iC2),
It seems probable that the result (108) is true not only for r + s = 10 but
also when r +$ is equal to 14, 16, 18, 20 or 24, and that
.<109>
for all values of n, and * I > ni 1'+s+11 .(HO)
+ + .(112)
where 1, 5, 7, 11,... are the natural odd numbers without the multiples
of 3; and
The next simplest case is that in which a = 2. In this ease it appears that
111 = ’
13, 37, 61, ... being the primes of the form 12m +1, those of the form
m- + (6m — 3)2 having the plus sign and those of the form m- + (6n)“ the minus
22. I have investigated also the eases in which « has one of the values
4, 6, 8 or 12. Thus for example, when a — 6, I find
l1M^ = n,n3*.(123)
then .(124)
and that othenvi.se yjre(n) = 0. From these results it would follow that
; i^s (n) ] net(re) .(125)
for all values of re, and ;1K(n) ,^ 11 .(126)
for an infinity of values of re. What can actually be proved to be true is that
] i|r0(re)j < 2red(re)
for all values of re, and : ijr,. (re) | > re
for an infinity of values of re.
and u and v are the unique pair of positive integers for which p= 3re2+(l ± 3n)!;
and that i/r4 (re) = 0 for other values.
In the case in which a = 8 I find that, if
n = (2“=. 5««. 11®“ .. ,)2. 7“’. 13““. 19““ ...,
where 2, 5, 11,... are the primes of the form 3m-1 and 7, 13, 19,... are
those of the form 6m +1, then
f»W. sin3(l+g7)g„ sin3(1 +
where 8P is the same as in (127); and that ijrs (re) = 0 for other values.
The case in which a= 12 will be considered in § 28.
In short, such evidence as I have been able to find, while not conclusive,
points to the truth of the results conjectured in § 18.
24. Analysis similar to that of the preceding sections may be applied to
some interesting arithmetical functions of a different kind. Let
<j,‘(q)=l + 2tr,(n)qn.(129)
where $ (g) = 1 + 2g + 2y1 + 2g“ + ...,
158 On certain Arithmetical Functions
...(130)
when s - 1 is a multiple of 4 ;
♦•(g-EHEJ--)-**
B.1S, (.)!>- * (j^ t rff* ITfr+ •■•)
-!(R-££+£?-4 ■■llS4)
■ when s +1 is a multiple of 4. In these formula
&-*. *-A. A-A. £-A.
are Bernoulli’s numbers, and
£, = 1, Es = 1, £s = 5, Z?7=61, E,—1385, ...
are Euler’s numbers. Then Z&(n) is in all cases an arithmetical function
depending on the real divisors of n; thus, for example, when s + 2 is a
multiple of 4, we have
(2s - 1) BA (n) - s {ow (n) - 2s<rM (In)}.(135)
where <rs (x) should be considered as equal to zero if x is not an integer.
Now let r„ (n) = S„, (n) + e2a (n).(136)
Then I can prove (see § 26) that
Ssi («) = 0 .(137)
if s = 1, 2, 3, 4; and that
eM(n) = 0(»s-'-i .(138)
for all positive integral values of s. But it is easy to see that, if 3, then
Hn*-1 < «* (n) < Kn‘~\ .(139)
where H and K are positive constants. It follows that
n»(n)~ 8»(») ..(140)
for all positive integral values of s.
On certain Arithmetical Functions 159
It appears probable, from the empirical results I obtain at the end of this
paper, that ^
Mq) rm . (147)
where <j>(q) and f(q) are the same as in §13. We thus obtain the results
contained in the following table. ,
Table VI.
1. />(?)=o, Mg)-o, Mg)~o, Mg)-o.
2. 5/10(?) = 16^-®, /12(?) = 8/l2(?2).
3. 6I/14 (?) = 728/4 (— ?)/l0 (?3), 17/„(?) = 256/»(-2)/s (?-).
4. 13S5/18 (?)=24416/‘3 (-?)/» (?2) - 286 •
He gave reduction formulae for these functions and observed how the functions
which I call e,„(m), en(n) and «„(«) can be defined by means of the complex
divisors of n. It "is very likely that t(«) is also capable of such a definition.
26. Now let us consider the order of e2s («). It is easy to see from (147)
that /.* (q) can be expressed in the form
\F(f)Y
r-{-q) \r-(-<!)) ’
..ass)
.<is7>
for all values of n, and | j 3tns .(158)
for an infinity of values of n. In this case we can prove that, if n is the
square of a prime of the form 4m - 1, then .
162 On certain Arithmetical Functions
»'<*(») (160)
e,s(l)|
for all values of n, and [ ‘ > ni (161)
ei2(l)l
for an infinity of values of n.
Finally I find that
(162)
7 n* 1 + 2*-' j, Vl + 2cp. p~8 + p'-’-’J.
p being an odd prime and cr-^p7. From this it would follow that
(163;
=£ «•-- (1 - xr {yx + s, | + Ss | + .. .j dx
r(i+r)r«) r(2+r)r(t) s, r(8 + r)r(Q&
r(l+r + 07 r(2 + r + «) 2 + r(3-fr + «) 3+.^
Similarly J af-1 (1 - xj~l log T(l+x)dx
r(l + t)r(r) r(2 + t)V(r)Se r(3 + t)V(r)Sa
r(l+r + t) T(2+r + t) 2 T(3+r + t) 3'
And also
.(4)
Now, interchanging r and t in (4), and taking the sum and the difference of
the two results, we see that, if r and t are positive, then
r+t r(r+l)(r + 2) + <(« + l)(« + 2)
-I],* .(5)
— ^1+{ + j + J +
.<’>
if r > 0. If we suppose, in (7), that r is an integer, we obtain the formula
conjectured by Dr Glaisher, the value of Xr being
f1 l + , , , , , , 1
A Series for Euler's Constant y 165
Again, dividing both sides in (6) by r— t and making t-*-r, we see that, if
;• > 0, then
J1±L_ (l - 1 V<5,
2 (2r + 1) \r ' r+lJ "
(r+ !)(/•+2) (r + 3) /I 1 1 1 \ ,
+ i'(2;-+i)(2r+2)(2r + 3) Vr /• + ! r+2 r + 3) J
.o)
+ 2) —t(,s + l)(t + 2)
3 (r +1) (r + i +1) (r +1 + 2) °s+'"
= .--(U)
As particular case of (10) and (11), we have
(r + 1) (r + 2)(r + 3) 1 + a”-1
1o4 + 2(WtT)^ *4(2r + l)(2j- + 2) (2r + 3)‘ dx\
1 +x
.(12)
A Series for Euler’s Constant y
x (; + TTl + r ?2 + + TTl)
1 = ,0g 2 2 2^3
+ ( + O + 677 + ''') ’
To = Hs + rpr (1 + i + i) + ^7. (! + 4 + i + i + i) +
/o ^ ^ 1 ~ ^ = f0 ^ - ?(*■ *) ^
= «t_I (1 - a)1'-1 ?(s, 1 + x)dx + J^ xl~‘~l (1 - x)r~l dx, .(14)
provided that r and t are positive. But we know that, if | x [ < 1, then
provided that t > s. It follows from (14)—(16) that, if r and t are positive
and t > s, then
'0 + 1) r (r + 1)
{?(s>+n^?<s+1>- ?0+2)+...J
2! (r + t)(r + t+1)
sQ + 1) t(t + 1)
2! (r +1) (r + t + 1)
... r(r + t)r(t-s)
.(17)
r(t)r(r-»'+t) •
A Series for Euler's Constant y
-
s(s + ll(s + 2)(s+3) r(r+l)(r+2)(r+3)
4! 2r(2r + l)(2-r + 2)(2r + 3)
(1 ,
vt-2+,-ts)«<+4>+-
_1 r(2r)_r(r_-s) fi (l-s8),
-tdw. .
2 F (?•) r (2r — s) J o
J**«(i-*y»r(«,i-D<fa,
nd proceed as in 8 5, we can shew that, if r and f a
+ IK1W+
(I + W + '(S-+1)r(r
2! + 1)+^
(r+t){r +t
1 r ()■ + *-;> jr(i-s) r(r-s)}
...(23)
— 2 r (r — s + t)t r(<) + r(r) i’
and f,^|6(' + l)
. s (s + 1) (s + 2) r(r+ 1) (r + 2) — t(t + l)(t + 2) „
+ ...
3! (7’ 4-1) {v +1 + 1) 0’ 4- t 4- 2)
1 r (»■ +1) j;r(t-s) r(r-.s))
....(24)
2 r(r-s + tj 11 r(t) f(r) i
As particular cases of (23) and (24), vve have
1 r (2r) F (r — .s)
t («) + s + r(r+1) r/6.+2) ...(25)
f,W+ 2! 2r(2r+l)?l( +2) + -"2 T (r)T (2)— s) ’
and D2r^(*+1)
s (s + 1) (s,+2) r(r +1) (r 4-2) *
3! 2r(2r + l)(2r + 2) '
1 r (2r) r (r — s)
2 F (r) T (2r - s) J
. ....(26)
1, 1 2, 2 1, % o’, 5 l’, 1, 1 9
2, 2 1, 1, 1, 6 1, 2, 3, 9
1, 3 1, 1, 2, 6 1, i, 4, 9
2, 3 1, 2, 2, 6 1, 2, 5, 9
1, 5 2, 3 1, 1, 3, 6 1,1, 2, 10
1, 1 3, 3 1, 2, 3, 6 1, 2, 3, 10
1, 5 3, 3 1, 2, 4, 6 1, 2, 4, 10
1, 1 1, 4 1, 2, 5, 6 1, 2, 5, 10
1, ] 2, 4 1, 1, 1, 7 1, 1, 2, 11
2, 4 1, 1, 2, 7 1, 2, 4, 11
1, 1 3, 4 1, 2, 2, 7 1, 1, 2, 12
I, 3, 4 1, 2, 3, 7 1, 2, 4, 12
1, 4, 4 • 1, 2, 4, 7 1, 1, 2, IS
1, 5 1, 2, 5, 7 1, 2, 4, 13
2, 5 1, 1, 2, 8 1, 1, 2, 14
1,
l’, s’ 5
On certain Quaternary Forms 171
t Results (3-11)—(3-71) may tempt us to suppose that there are similar simple results
for the form a^+bf+cz1, whatever are the values of a, b, c. It appears, however, that
172 On certain Quaternary Forma
4*(8,i+7) or .8,1+3,
4* (8,1+3),
9*(9/i+3),
4* (16^ + 14), 16,1 + 6, or 4,1+3,
(8/i+5),
4*(8/i+7) or 8/1 + 5.
On certain Quaternary Forms 173
We shall now consider the values of m and a for which all integers with
a finite number of exceptions can be expressed in the form (5T).
In the first place m must be 1 or 2. For, if m > 2, we can choose an
integer v so that
nu- ¥ r(mod m)
for all values of u. Then •,
These sums are obviously of very great interest, and 3, few of their
properties have been discussed already*. But, so far as I know, they have
never been considered from the point of view which I adopt in this paper;
and I believe that all the results which it contains are new.
My principal object is to obtain expressions for a variety of well-known
arithmetical functions of n in the form of a series
where a (n) is the sum of the divisors of n. I give two distinct methods for
the proof of this and a large variety of similar formulae. The majority of my
formulae are “ elementary ” in the technical sense of the word—they can (that
is to say) be proved by a combination of processes involving only finite
algebra and simple general theorems concerning infinite series. There are
however some which are of a "deeper” character, and can only be proved by
means of theorems which seem to depend essentially on the theory of analytic
functions. A typical formula of this class is
Ci (n) + ic2 (n) + Jc, («)+... = 0,
a formula which depends upon, and is indeed substantially equivalent to,
the “ Prime Number Theorem ” of Hadamard and de la Vallee Poussin.
* Sec, e.g., Diriehlet-Dedekind, Vorlesungen tiler Zuklentheorie, ed. 4, Supplement vu,
pp. 360—370.
180 On certain Trigonometrical Sums
Many of my formul® are intimately connected with those of my previous
paper “On certain arithmetical functions”, published in 1916 in these Trans¬
actions*. They are also connected (in a manner pointed out in § 15) with a
joint paper by Mr Hardy and myself, “Asymptotic Formulae in Combinatory
Analysis”, in course of publication in the Proceedings of the London Mathc-
■matical Society^.
2. Let F(u, v) be any function of u and v, and let
(2-1) D(,.)=S F(S,S).
Cn)
D („) = * (n) 2 \ F („, 2) + c3 (») S l F (2v, £) + c3 (») | ± F (&, £) + ...,
where t is any number not less than n. If we use (2-2) instead of (2-1) we
obtain another expression, viz.
(S'S)
D(») = ClWl lif(1l,v) + c2(«)!^(|;,2v) + c304i;l’g;,3,) + ...,
where r and t are any two numbers not less than n. If, in particular,
F(u,v) = F(v, u), then (3'3) reduces to
(3-4) i D (n) log n = c, (n) 2 f(v,^
where S is a divisor of «, S8' = n, and u, v are any two positive numbers such
that uv = n, it being understood that, if u and v are both integral, a term
F(u,v) is to be subtracted from the right-hand side. Hence (with the same
conventions)
D{n) = ifa{n)Ffaf)fa\Vu{n)Ffav).
(4-2) 1
D («) = Cl (n) 1 F (v, ?) + c2 (n)% ± F fa, £) + ...
+ c1(«)2iHg1r) + C2(,!)i|Aj’g-,2r) + ...>
where v and v are positive numbers such that uv = n. If u and v are integers
then a term F{u, v) should be subtracted from the right-hand side.
On certain Trigonometrical Sums 183
If we suppose that ()< Htgl then (4’2) reduces to (32), and if Ocu^l it
reduces to (3-1). Another particular case of interest is that in which u = v.
If » is a perfect square then F(-Jn, gn) should be subtracted from the right-
hand side.
(5-3) o~s (n) log n = c, (n) 2 ws~' log » + c2 («) 2 (2e)8-‘ log 2v + ...
where r and t are any two numbers not less than n: and from (4;2)
(5-4) ors (n) = <h(n) 2 v*-1 + c» (n) ^ (2r)s_1 + o, (m) 2 (3i/)M +...
-'=r(*+i)2^+o
+ ^^01)2-^
7 (for1
It follows from this and (61) that
(6-2)
<r. (n) + l°g »j = <h (») 2 ^ log v + c2 (n) 2 (2i/)s-' log 2v + ...
7. Since
(7-1)
rite (6'1) in the form
= o, (n) c20?) c, (n)
(7'2)
£■(« +1) 1,+1 2‘« 3*» +-’
0. This result has been proved by purely elementary n’
But in order to know whether the right-hand side of (7-2) is eonver
not for values of s less than or equal to zero we require the help of tl
which have only been established by transcendental methods.
Now the right-hand side of (7’2) is an ordinary Dirichlet’s series f<
1
that the derivatives of tr_*fn) with respect to s are all finite Diriehlet’s
series and so absolutely convergent. It follows that all the derivatives of the
right-hand side of (7-2) are convergent when * = 0; and so we can equate.the
coefficients of like powers of s from the two sides of (7‘2). Now
(9-5)
, *8 («)?(«)'
10. I shall now consider an application of the main formulae to the
problem of the number of representations of a number as the sum of
2, 4, 6, 8, ... squares. We shall require the following preliminary results.
(1) Let
(10-1) + +
We shall choose
F(u,v) = e*-', « = 1 (mod 2),
F(u, v) = - if-\ u = 2 (mod 4),
F(u,v) = ( 28-l)re—, « = 0 (mod 4).
Then from (ST) we can shew, by arguments similar to those used in
§ 6, that
(10-11) D (re) = «*-' (l-8 + S-* + 5~s + ...) {I'8c, (re) + 2~8 c4 (re) + 3~s c3(re)
+ 4_* ca (re) + 5~“ c, (re) + 6-8 ols (re) + 7~s c; (re) + S_s cm (re) + ... ]
if a > 1.
(2) Let
(10-2) 2 D (re) *’• = X, = ~ + ....
We shall choose
F (m, v) = 0, u a 0 (mod 2),
F (a,») = ®*-‘, «e1 (mod 4),
F(u, v) = -v>~\ a = 3 (mod 4).
Then we obtain as before
(10-31)
D (») = ^ (1- - 3- + 5- - ...) {I- c, (n) - 3-» («) + 5- c5 (n)
(4) We shall also require a similar formula for the function D(n)
defined by
(10-4) = +
that if s is
= (l + 2a + i
= SM («) +
(11-3) (1-* - 3~® + 5-‘ - ...) t K (n) at' = (-~y, (X, + 2-* X,),
(11-4) (1~® - 3-' + 5" - ...) 2 SM (re) at' = (Z, - 2-* X,),
(11-41) &* (re) = (I-® <h («) - 2-® s4 (re) - 3~® c3 (re) - 4~* cs (re)
+ 5“® Cs (re) - 6-s sls (re) - 7-® e, (re) - 8-® sle (re) + ...).
* For a more precise result concerning the order of (n) see § 15.
190 On certain Trigonometrical Sums
From (11-5) and the remarks at the end of the previous section, it follows
that
(11-51) r,(n) = Ss (n) = tr {cx(n) - Jc, (n) + ics(n) - ...}
- ir lK(") + i«.(") + *«» (»)+-}.
but this is of course not such an elementary result as the preceding ones.
We can combine all the formulae (11-11)—(11-41) in one by writing
+ 5-' c5 (n) + 6-® Ojjj («) + 7-' c, (n) + 8-* c16 (n) + ...),
where s is an integer greater than 1 and
Cr (n) = cr (n) cos Jits (r - 1) - *, («) sin (r -1).
12. We can obtain analogous results concerning the number of repre¬
sentations of a number as the sum of 2, 4, 6, 8, ... triangular numbers.
Equation (147) of my former paper* is equivalent to
i / OTi«»s!(i-D /“(*)
a constant and
/(*) = (!-«)(!-*■)(!-*)....
Suppose now that £ = «"■, ®'= «"*'/*.
Then w-e know that
(12-2) V« (1 - 2® + 2®* - 2®» + ...) = 2®1* (1 + x' + ^ + x'° + ...),
(12-3) «)«(*/(*) = *'A/W, V«®*/(*s) = *'A/0O-
Finally 1 + 28* (n)(-®)n can be expressed in powers of x by using the
formulae:
(12-4) «■{*?(!-2,) + ^+|^+j^+...].
-<-W{lr(i-2.)+;ei+|5i+|=i+..i,
where a/3 = w2 and s is an integer greater than 1; and
{1 28 928 *>28 *
where a/S = ir>, s is any positive integer, and y(s) is the function represented
by the series l_s —3-s + 5-* — ... and its analytical continuations.
* Loc. cit., p. 181 [p. 159 of this volume].
On certain Trigonometrical Sums
It follows from all these formulae that, if s is a positive integer and
(12-6) (l+» + x? + x‘ + ...f = %>•'„(n)xf = 28'„(n)of + 2«'*(»)»’*,
then =
(12-65) SV(n)**-«r*(j^ + -
xi [ J
= *-!(-
It is easy to see that the principal results proved about eM (») in my former
paper are also true of e'!s (n), and in particular that
<’.(»)-0
when s — 1, 2, 3 or 4, and r'^ (n) ~ S'M («)
for all values of s.
13. It follows from (12-62) that, if s is of the form 4k+ 2, then
(l-s + 3~* + 5-s +...) 8'js (n)
192 On certain Trigonometrical Sums
is the coefficient of xn in
2(177)* , fl'-'ab 2s'1* 3*—as5' \
if s is a multiple of 4;
(13-4) S'* (n) = (n + is)*- {1- c, (2» + ^s) + 3- cs (2>i + is)
+ 5-*e„(2tt + is)+ ...}
odd number; and
(13-6) rt («) = 8,' (n) = ^ {c. (4n +1) - fa (4n +1) + fa (4n +1) -
This result however depends on the fact that the Dirichlet’s ser is for 1/t) (s)
is convergent when s = 1.
14. The preceding formulae for <rs (?i), (»), S'^ (n) may be ; rrived at by
another method. We understand by
(14-1)
in (mrjk)
the limit of
k sin (xTrjk)
when x n. It is easy to see that, if n and k are positive integers, and k
odd, then (14-1) is equal to 1 if k is a divisor of n and to 0 otherwise.
When k is even we have (with similar conventions)
(14-2)
A tan (rwr/fc) — ^ •
On certain Trigonometrical Sums 19!
according as k is a divisor of a or not. It follows that
+ ^ (sin (J'imt+ is7r)) + 3 (sin Qmr + stt)) + 4 (sin (\mr + fair)) + ' "J
if s is an integer greater than 1;
(14-6)
(l-r + 3-S + 5-M i° (» + *»)*■
ini(« + i*K
if s is a multiple of 4;
(14-7)
<.-.+«-.+s-.+...>r„c,>- (.- (S||S|^)
, sin (2n +Js)7r \ ,f sin (2n + |s) w \
+ 3 U4(2n,is)J '5 "^sin4(2»i + 4«)7r/
if s is tivice a odd number;
(14-8)
(l-*_3-s + 5 8 — ■ •) 8'k (») = /sin(4n + a)*-\
(n + is)“_1 {l_*
\sin (4n +s) it)
o_»/sin(4n + s)7r\ . ( sin(4n + s)7r \
3 Uj(4» + .)J+6 U'ai(4»+V)W ■
•n odd number greater than 1; and
, / sin (4n. + l)ir \
“ \sin 4 (in. +1) ir)
, { sm(4.n+l)-rr ^
rVsin|(4>
In all these equations the series on the right hand e finite Dirichlet’s
series and therefore absolutely convergent.
194 On certain Trigonometrical Sums
But the series (14'3) is (as is easily shewn by actual multiplication) the
product of the two series
l-‘c1(n) + 2-sc.2(n)+ ...
and n*-1(l-s + 2-‘ + 3-s+ ...).
We thus obtain an alternative proof of the formulae (7*5). Similarly taking
the previous expression of £»,(«), viz. the right-hand side of (11*6), and
multiplying it by the series
l- + (-3)- + 5- + (-7)-+...
we can shew that the product is actually the right-hand side of (144). The
formulae for S'w (re) can be disposed of similarly.
15. The formulae which I have found are closely connected with a method
used for another purpose by Mr Hardy and myself *. The function
(151) (1 + 2® + + ...)» = 2 r!s («)
has every point of the unit circle as a singular point. If x approaches a
“ rational point ” exp (- 2piri/q) On the circle, the function behaves roughly
like
(15*3)
(S-1)1
The method which we used, with particular reference to the function
.{(■2n + r)TT\/r}
r-<“> - i * ('5J£^7“I -') ■ '* * 15 sin (t-\/r)
where h. is prime to r and does not exceed r, so that
rr(») = cr(l) + c,(-2) + ... + c,(n)
and Ur(n)=T,.(n) + i<t>(r),
where <j> (n) is the same as in § 9. Since c,. (n) = 0 (1) T —> CO , it follows
that
(16-21) 2V(n) = 0(l), Vr(n) = 0 (r),
as r x . It follows from (7-5) that, if s > 0, then
(16-3)
T,(n) T,(n) , T, (n)
«■-.(!) + + o--.(") = f(* + l)|»+-^
g ■*>(»)_ £(*)
T vs+1 f(s + l)
if s > 1, (16'3) can be written as
• (16-31) <r_,(l) + <r^(2) + ... +<r_(n)
n2 (TrnXjr) _
»r(n) = *S
n2 (irX/r)
X being prime to r and not exceeding r.
It has been proved by Wigert*, by less elementary methods, that the
left-hand side of (16'8) is equal to
17. We shall now find a relation between the functions (16'1) and (16'3)
which enables us to determine the behaviour of the former for large values
of n. It is easily shewn that this function is equal to
(17-1) 2* + 3s + .
+[9')+iv{3_[vn]l/s-
Now l' + 2*+...+*' = ?(-s)+^
«-., + g±i£
denotes 7 + log (k + j) when s = — 1. Let
&]-
1 (p. 140).
On certain Trigonometrical Sums 197
Then we have
2
l* + * + ... + [£] -r(-*)+ ^-i 4 (3 + £-(;) +o(^z i)
+ e„ gj + - (0t + e) + + 0 gg)} .
+e.g)'_(Vn+e)rg*+0(^)1.
It follows that
(17-3)
»s (»■-. (1) + <r-s(2) + ... + o-_s («)) - [a-, (1) + crs (2) + ... + <rs (n))
-w-oer+ofs'^))-
Suppose that s > 0. Then, si from 1 to t, it is obvious
that
1/*+1
01
0-
Also £ {»* f«- f(-s)l = (0t-4 +e) |n* ?(s) - ?(-s)J;
+?L^.t£i!r£iy^i±£)a:s+ o («).
But Wn + er'- rf+'Un+jri = 2(mj (1+t) + Q {nis).
It follows that
(17-5)
<r, (1) + <r, (2) + ... + <r, (n) = *« [<r_ (1) + <r_, (2) + ... + <r_ («)]
8 being a divisor of m and S' its conjugate. The series on the right-hand
side is convergent for s> 0 (except when m = 1, when it reduces to the
ordinary series for f(s)).
When s = 1, m> 1, we have to replace the left-hand side by its limit as
s-»-l. We find that
(18) c„(l) + Jc,„(2) + ^c„, (3) + ... = — A (m),
A (m) being the well-known arithmetical function which is equal to logp if
m is a power of a prime p and to zero otherwise.
22
SOME DEFINITE INTEGRALS
t Proceedings of the London Mathematical Society, 2, xvii, 1918, Records for li Jan. 1918)
Typical formulae are:
m [” —_gin(?-«)( (or 0)
(1) J-,rc«+«)r(^-*) r(a + /s-i) (
° r(«-Hs) . z7n (2 sin jiv y—1 ..
,xr(0+®) - r(/3-a)
(8) J r (a + x) r (/9 - x) en!x Ax
Here n is real, n = 2/ctt 4 i\r (0 <; JV < 2tt) in (2), and n = (2* - 1) t + N
(0 ^ N < 2tt) in (3). In (1) the zero value is to be taken if j n ] 3s it, the non¬
zero value otherwise. In (2) a must be complex: the zero value is to be
taken if n and 31(a) have the same sign, the positive sign if and H(«)<0,
and the negative sign if n < 0 and 3T (a) > 0. In (3) a and /3 must both be
complex; and e„ (?) is 0, 1, or -1 according as (i) rr — n and J (?) have the
same sign, (ii) « ^ it and 3T (?) < 0, (iii) n > it and 3f (?) > 0.
The convergence conditions are, in general, (1) 3&(a+/8) >1,(2) 3&.(a-0)< 0,
(3) fe(a+/3)< 1. But there are certain special cases in which a more stringent
condition is required.
A formula of a different character, deduced from (1), is
[” /«+«(X)JrlS_a,()i)da' = J'aW(2X).
Some Definite Integrals 201
The formula
, coshTrfm^.
\/w Jo cosh™
where to stands for 1/ui.
It follows that
W “ -jr„ e (*"')• • •
<j>w(t + w) =
x [ytoe^+2fo jo
,-ilr(t + w)»/w
* Messenger of Mat/iematics, Vol. 44, 1915, pp. 75—85 [No. 12 of this volume].
Some Definite Integrals 203
0=( +-V1,r“’
’ \2 ^ _ 27
Now, combining (9) and (11), we deduce that, if m and ?i are positive
integers and s = t + 2mw ± 2ni, then
<j>w (s) + (- l),"l+’1 "+1' e-i™|s+l! 4>,c (t)
+ Jw e
xj,-M<*f)»/»_e-W«*»0a/- + a-M«*«0*/-_...to „ terms(.
.(13)
Similarly, combining (10) and (12), we obtain
i~ (s) + (- 1 _ fw («)}
.(15)
Some Definite Integrals 205
.(16)
where \hu should be taken as
•*ve>
In (15) and (16) there is no loss of generality in supposing that one of the
two numbers m and ti is odd.
Now equating the real and imaginary parts in (15), we deduce that, if m
and n are positive integers of which one is odd, then
= [cosh {(1 - n) f} cos (irm/4n) - cosh {(3 - n) t} cos (dirmjin) + ... to n terms]
V©M(*-=M*(i-=*S
.(18)
Equating the real and imaginary parts in (16), we can find similar
expressions for the integrals
206 Some Definite Integrals
J -ir(tcii)*/«
+ ... to fn terms). ...(22)
g-nt+ijj’jfo, —-
24
” (modS)-
Thus all the coefficients in
(1-^)(1-^)(1-^)...
{(l-aKl-s2) (1 -a?)...)”
(except the first) ai mltiples of 5. Hence the coefficient of a“ in
(l-«)d-^)d-«>)
a multiple of 5. And hence, finally, the coefficient of a™
is a multiple off7; which proves (2). As I have already pointed out, (5) is a
corollary.
4. The proofs of (4) and (6) are more intricate, and in order to give them
I have to consider a much more difficult problem, viz. that of expressing
p(X) + ppc + 8)® + p(\+2S)*2+...
in terms of Theta-functions, in such a manner as to exhibit explicitly the
common factors of the coefficients, if such common factors exist. I shall
content myself with sketching the method of proof, reserving any detailed
discussion of it for another paper.
It can be shewn that
(1-^(1-^) (!-*»)■■■ _
(14)
(l-«*)(l-®»)(l-«*)... t1-
- 3*? + (t* + 2xp) + x% (2|-2 - xP) + x* (3f- + xp) + 5®*
p*-\\x-a?p ’
where ^... (1-«) (1-^) (1-«■) (1
f->-Ux-x*p'
Some Properties of Partitions
Again, if in (14) we substitute cox-, or'xK and <b'®=, where a
or xi, and multiply the resulting five equations, we obtain
f(l - a-) (1 _ *») (1 _ «-) 1
1 ' 1 (i - X)a-»’) (i -x>)...}
From (15) and (16) we deduce
(17) p(4)+p(9)* + p(14)ir!+...
= {(l-af)fl-Q(I -x«) p
{(i-«)(i-^)(r-^,';..p>
■oni which it appears directly that p (ora + 4) is divisible by 5.
The corresponding formula involving 7 is
(18) p(o)+p(12)x+p(19)x'- + ...
Kl-®5)-}'
-*7) (1 - zu) (1 - a?1) ■
' {(!-*)(!-
which shews that p (7m + 5) is divisible by 7.
From (16) it follows that
p(4,)x + p(9)z’ + p(U)x? +
5 {(1-*•)(!-*“) (1- •••}*
(1-*)(1-»»)(1-«»)■.
(1 -x) (1 -x?) (1 - a?) ... {(1 -X) (1 - a?) (1 - s?) ...}s'
As the coefficient of xm on the right-hand side is a multiple of 5, it follows
that p (25m + 24) is divisible by 25.
Similarly
p(B) x+p (12) + p (19)«3 + ...
t {(1— s?) (1 — ®“) (1 —x?')...}!
(1-^(1-«»)■■■
= x(l-Sx + 5x3-1af+...) ^
■;{(l-a')(l-a?)...F
{(l-^)(l-Q.-}t.
1
“1"(1" *?!) ~q + (1"xt) RR --.(I)
If we write 1 -xp~ 1 - g' + g" (1 -mg"),
every term in (1) is split up into two parts. Associating the second part of
each term with the first part of the succeeding term, we obtain
...(2)
Substituting for the first term from (2) and for the second term from (1),
we obtain ,
H (x) = xq - (d ~ 2) + *24 d ~ ®92)}
Associating, as before, the second part of each term with the first part of the
succeeding term, we obtain
H (x) = xq (1 - *2=) jl - x"q‘ (1 - xq') -L-
+ tc*g17 (1 - *Y)
(1-gKl-S*) .
-aVMl-atfl (1-^3)(I -xq')
3 (1 X^' (T — g) (1 — g!) (1 — g3) ”
— xq(l — xq*) G (xq%
* [See the Appendix, p. 344, for ■
Identities in Combinatory Analysis 215
.<«>
In particular we have
J_ JL __2l_ = 1 .(l-g)g(?).
1 + 1+1 + ... if'(l) G (1) .w
or J_JL g’ _l-g-9J + g7 + ?11-...
1 + 1 + 1 + ... 1 -qa-q' + qs + q1'- ....1 '
This equation may also be written in the form
JLJL JH_(I - q) (1 -<f) (I -<?6) (i -0°) q- gn)...
1 + 1+1 + ... (l-52)(l-r/)(l-?')(l-(/)(l-2.»)...- -W
If we write F(x)=T-- ^ ^ 7-
(l-xq)(l-xq-)(l-a;f)...’
then (4) becomes F(x) = F (xq) + xqF (xq-), ,
from which it readily follows that
(l-2)(l-9=)(l-28)...
.(11)
(1-22) (I-23) (1-27) (1-2*) (1-?'“)•••
27
A CLASS OF DEFINITE INTEGRALS
(l-D =^
if R (m) > - 1. It follows from this and Fourier’s Theorem that, if n is any
real number except ± ir and R(a+fi)>l, or if u = ±tt and R(a + jS)>2, then
(1-24)
f_sip™^_or 0
)0 x{l-(a?/!2)}(1 - (®!/22)}• • • {1 - (®>2)} " 2 (2») 1 U’
according as m is odd or even. From this we easily deduce that, if l, m, and n
are positive integers,
(1"25)
[“ (sin ,
0,
i 0 « {1 - wm {1 - (rf/2*)} («■/»•)} :
A Class of Definite Integrals
® {i - m) {i - m) •■•{!- ~5
cording as m is odd or even. Similarly we can shew that
(sin rmrz)-1
(1-27) dm = 0
/o
for all positive integral values of l, m, and n.
In this connection it is interesting to note the following results:
(i) If R (a +13) > 1 and B (7 + 8) > 1, then
ft (2 cos 7ra)y+s-s e1'
a- r(« + /3-i) r ck
-i V(a + x)r(f3-x)
— dx.
insteadof r(g'+^ro8-g)
in the left-hand side of (1'3).
(ii) If m and n are integers of which one is odd and the other e\
m>0 and R (a + /3) > 2, then
(1-4)
(cos 7rx)m e‘‘ +I (cos Trx)m e‘'"x ,
(a + ft — 2)
r(ct + x)-r(ff-x) r (a — I + a) r (,8 — a) *
where f is any real number. This is proved as follows: Suppose that the
left-hand side, minus the right-hand side, is/(f). Then
+ ff-2) (cos 7r£)’» . .
fr« + f>ros-f)
(- 1 )m+n (cos 7rjf)”* e"
r(u + ?)r(^-f-i) Tr(a_i + ?ir(/9-f) •
Hence/(f) is a constant which is easily seen to he zero.
where r is zero or a positive integer, and the e’s, f, t], ? and F(x) are all
arbitrary, then it is easy to see that
(2d) /w (f + 1) = + {/,<?)- (? + ert.)/r(f + 1)},
provided the necessary convergence conditions are satisfied.
Similarly if
/-• (?) = /’’(* + <u) (* + <*) ...(* + <?,) T (? + *) P(«) diK,
«»-/,'rfiy--
■ (2'3)J^^i^* = !^^(±A)”P{-^±(l-?+iv)},
^v\T(u + ^-v-l)e
according as ]?i| > ir or \n\ < v, kv being either e**1' A"P (1 — a) or
e-Hn•■ (_ A)’P 08
It is immaterial which value of h, we take.
A Class of Definite Integrals
If w r (?„+*)’
where - £> is a positive integer, then it is well known that
A. p M -.-(&-»■ X (6+f)
("6) () (?.-f.-«')ir(g, + a + v)-
This affords a very good example for the previous formula?.
It is easy to see that (1-2) can be restated as
(2-7)
L,.V(a+ x) ?{$-«:)
(2'71)
Lrf. + rjros-xj^ifwi
rrwr(«+^„)!
according as ;n| > 5 7r (n being of course real). But
>+l"|a;P( 0)
/-«r(a+ffi)r( -*) 0 dx=j.„
r(«+»)r(/ -^) ““ 3
Hence, if the conditions stated for (2-5) are satisfied, ’
fx P OK'”* , n
(*8) J (a + &) r (ft — sc)dx ~°
(2-81)
J_»r(a + .r)r(/S-a!) frwr(«+/s-r)
| e^-QP(l3-v)
IcU-
when \z\ = 1, we have
u
,ia!i=lfe+
220 A Class of Definite Integrals
(3-12)
(3'13)
L T(a + x)T{fi-sc) ’
where m is real and
(3T4)
r(a + ®)r(/3-«)
For instance, the value of (3'14) is
2(f
where Jv (®) is the ordinary Bessel function of the vth order, and {{q+p)/(q -p)}il'
should be interpreted so that the first term in the expansion of
{(?+P)l(q ~ i))}1" J. W(q- - ?’)}
is {i(p + q)YM-
A Class of Definite Integrals
5 _e;..*.u
.D\« + !c)T{13~x)
= C {2cw(t»-W-[(9r + «)/ar]))^
vjr~4^k^!^ **■
It follows from (3'2) that if a is not real, n real, and
(i) n is neither 0 nor any multiple of 27r, and R (a — ft) < 0,
or (ii) n has the same sign as 1(a) and R(a- ft) < 0,
or (iii) n is 0, or a multiple of 2w, having the sign opposite to that of I (a),
and R(a- ft)< — 1,
or (iv) n is not 0 and a — /S is a negative integer, then
<«>
the zero value being taken when n and I (a) have the si ae sign, the plus
sign when n ^ 0 and / (a) < 0, and the minus sign when n t ) and I (a) > 0.
A Class of Definite Integrals
(4-11)
if a is not real and R (a - ft) < -1. If a is not real, n real, and (i) r is
positive integer, or (ii) r = 0 and n 10, then
or
X (nn(ft) exp (ITT (a + ft) [(tt + «)/2’r]l - Vn(- a) exp {- iir (a+ft) [(tt + n)j
where (f) is equal to 0 when v — n and I(f) have the same sign, to 1 when
n ^ 7r and I (f) < 0, and to - 1 when n ^ it and I (g) > 0.
It should be remembered that for real values of n
12 cos }n| = 2 cos Qn-ir [(* + »)/2tt]).
It follows, in particular, that if a and ft are not real, and R (a + ft) < 1,
If n is any odd multiple of ir, a and f are the same as in (4'3), and /3 is
not real and If (a + /?) < 0, then
= J Tl r (a + x) V (0 + 1 - x) e^dx.
where t is arbitrary and n is any real number. Then the integral becomes
according as j arg (xjy) j > ir or j arg {xjy) | < ir, whatever be the branches of
G(p, x) and G(q, y), provided the branch of G(p + q, x + y) is chosen
according to our former conventions. If, in particular, R (a + /3) > — 1, then
It may be interesting to note that the right-hand sides of (5-3) and (5'31)
are of the form (p + q, z), which reduces to
r(« + /3 + l)
when p = — q, becoming independent of p or q.
The ordinary Bessel’s functions are particular cases of the function
Gs(p, x). Hence we have the following particular results. If n is real, and
R (a + /3) > 0 when n = + ir and R(u + fi)> — 1 otherwise, then
(5-4)
541) = 0 or (2*
.« r (a + a) r os - ®) r (7 + ix) r (s -
-K<><K. -*»<**■•
If the intervals do not overlap, the value of (6'1) is zero. It is easy to s
that if
(612) |B|>,r(l + jJj),
the intervals do not overlap; and that, if they do overlap and l> 0, then
It should also be observed that, though (611) may not be convergent for all
the values of a, yS, 7 and 8 for which (61) is convergent, yet we may evaluate
(6'11) when it is convergent, and so obtain a formula for (Gl) which may be
extended, by the theory of analytic continuation, to all values of the para¬
meters for which the integral converges.
226 A Class of Definite Integrals
From (6-12) we see that, if l and n are any real numbers such that
j!7r(! f / ), then
(6-2)
. r (a+ x) r o - r (7 + fa) r («- fa)dx °’
provided that (i) R (a + 8 + 7 + S) > 2
|n| >7r(l + !<j),
(ii) R(a + f3 + 7 + S) > 3
|n[ = ir(l + |i|).
7. Suppose now that 1 = 1 and n = 0; then (6'11) reduces to
The following integrals can he evaluated as a single term, with the help
of (8-1) and (8*2), whenever they are convergent:
r r (8+ «)«*» d
(&3) J_„F(« + ir)r(/5-!r)r(7+»)to-
where (i) n is an odd multiple of tt, or (ii) n is lultiple of 7r and
a + l=/3 + 7 + S;
r(7 + tt)r(S±«)
(8'4) r(a+ir)rO±a;)
where (i) n is , multiple of it, or (ii) n is an odd multiple of 7r and
a+8 = /S + 7;
r (>3 + a;) r (7 - re) r (g + re) ^
(8-5)
r (a + x)
where (i) n is an odd multiple of it, or (ii) n is an even multiple of -tt and
a + /J + 7= 1 + 8;
9, The following results are easily obtained with the help of (6T1). If
2 (a —/3) = 7 — 8 and R(a + /8 + 7+ 8) > 3, then
(.Proceedings of the London Mathematical Society, 2, firm, 1020, Records for 13 March 1910)
In a paper published recently in the Proceedings of the Cambridge Philo¬
sophical Society*, I proved a number of arithmetical properties of p(n), the
number of unrestricted partitions of n, and in particular that
p (5n + 4) = 0 (mod 5),
and pOsi + 5) = 0 (mod 7).
Alternative proofs of these two theorems were found afterwards by Mr H. B. C.
Darlingt-
I have since found another method which enables me to prove all these
properties and a variety of others, of which the most striking is
p(lln + 6) = 0 (mod 11).
There are also corresponding properties in which the moduli are powers of
5, 7, or 11; thus
p (25n + 24) = 0 (mod 25),
p (49a +19), p (49n + S3), p(49» + 40), p(49;i+47) = 0 (mod 49),
p(121n +116) = 0 (mod 121).
It appears that there are no equally simple properties for any moduli in¬
volving primes other than these three.
The function t (n) defined by the equation
1 w 1
(1 - a*) (1 - <*) (1 - *»)... X (1 - a*) (1 - «■) (1 - *»)
Simpler proofs were afterwards found by Prof. Rogers and myself f.
I have now found an algebraic relation between G(x) and II (x), viz.:
H (x) {G (a)}11 — x-G (x) {H{x)Y —1 + 11*10 (x) H (*)}'.
Another noteworthy formula is
H (x) G (x") - x?G (x) H (a11) = 1.
Each of these formulas is the simplest of a large class.
* Froc. London Math. Soe., Ser. 1, Tol. xxv, 1894, pp. 318—343.
t Froo. Camb. Phil. Soe., Vol. six, 1919, pp. 211—216. A short account of the history
of the theorems is given by Mr Hardy in a note attached to this paper. [For Ramanujan’s
proofs see No. 26 of this volume: those of Rogers, and the note by Hardy referred to, are
reproduced in the notes on No. 26 in the Appendix.]
30
CONGRUENCE PROPERTIES OF PARTITIONS
(MatkcmatiscM Zeitschnft, IX, 1921, 147—153)
[Extracted from the manuscripts of the author by 0. H. Hardy*]
1. Let
(1-11) P-1-24 (j-^ + i^+CT+■•■)■
(i-i2) «=1+240(rr^+rS+S+-)’
<™>
(1-2) /(«)-(l-«)(l
Then it is veil known that
(1-3)
/ (CC) = 1 —CG + + + 2 (— l)n ($in -f (3?l+1)),
The manuscript contains a large number of further results. It is very incomplete, and
will require very careful editing before it can be published in full. I have taken from it
the three simplest and most striking results, as a short but characteristic example of the
work of a man who was beyond question one of the most remarkable mathematicians of
where <rt (n) is the am of the &th powers of the divisors of n : that
2'a? 3W
(1-52) 3>m(*) = A
s+r^+r^+---'
aDd in particular
(1-53) P=l—24*0,,(a:), <2 = l + 240*0,.,O), jR=1-504*0,s(*).
Then [it may he deduced from the theory of the elliptic modular functions,
and has been shewn by the author in a direct and elementary manner*, that,
when r + s is odd, and r< s, *,,s(») is expressible as a polynomial in P, Q,
and JR, in the form
*, .,(»)= Sii,m,nP,QmR\
where l — 1 & Min (r, s), 21 + 4»t + 6n = )■ +s +1.
In particular fl
(1-61) Q2 = 1 + 480*0,. (x) = 1 +480 + ...),
= 691 + 65520 +
Modulus 5.
2. We denote generally by J an integral power-series in x whose coefficients
are integers. It is obvious from (1'12) that
0 = 1 + 5/.
Also »5-«s0 (mod 5), and so, from (I'll) and (1'13),
a—j? + 5/,
Hence Q= - = Q (1 + 5Jf - (P + bJf = 0 - P2 + 5/
Using (1A), (1-71), and (1-51), we obtain
= 2 no, (n) xn + o J.
Modulus 7.
3. It is obvious from (1*13) that
R = 1 + 7/.
Also ii7 — ji = 0 (mod 7), and so, from (I'll) and (1'61),
Q°-=P+7P.
Hence (Qs - R3)3 = (PQ -1 + 7J)= = P3Q* - 2PQ +1 + 7 J
= P3-2PQ + R + 7J.
But, from (1-72) and (1-81),
= l(n^(n)-na2(n))X'' + 7J.
And therefore
(3-1) (Q3-RJ=l(,r-a;(n)-na,(n))ic’>+ 7 J.
= (Q3-R3f + 1J
From (3-3) it follows (just as (2-4) and (2-5) followed from (2 3)) that
(3-4) p (n - 2)-p (n - 51) - p (n- 100) +p (n-2i7) + p (n - 345)
—p (n — 590) -... = na<r, (n) - ncr3 (n) (mod 7),
the numbers 2, 51, 100,... being those of the forms
h (7n - 1) (21;i - 4), £ (7n +1) (21» + 4);
and that
(3-5) p (7m - 2) = 0 (mod 7).
Modulus 11.
*4. It is obvious from (1'62) that
(4-1) QK = 1 4- 11/.
236 Congruence Properties of Partitions
But (by the same argument which led to (2’2) and (3'2)) we have
(4-5) (/(*))-=«+ 11/
31*
UNE FORMULE ASYMPTOTIQUE POUR LE NOMBRE
DES PARTITIONS DE n
-(i~=f(n)^ (!*!<1)-
Nous avons pense d’abord a faire usage de quelque thdoreme de caractere
Tauberien: on designe ainsi les theoremes reciproques du theoreme classique
d’Abel et de ses generalisations. A cette categorie appartient l’enonc6
suivant: •
Soit g(x) =.2anx’1 une serie de puissances a coefficients positifs, telle qu’on
logff
quand x tend vers un par des valours positives. Alors on a
log sn = log (a, + «! + ... + a„) ~ 2 \!{An),
quand n tend vers I'infini^.
* [For proofs of the theorems enunciated in this note see No. 36 of this volume.]
+ Voir le grand traite Combinatory Analysis de M. P. A. Macmahon (Cambridge,
1915-16).
qui doit parattre dans un autre l-ccueil. [The paper referred to is No. 34 of this volume ;
see, in particular, pp. 252—258.]
240 Une Formide Asymptotiqiie
•(1)
oil e tend vers zero avec 1/n.
3. Pour pousser [’approximation plus loin, il faut recourir au theoreme
de Cauchy. Des formules
P(»0~PW = i^3^'/(*n).(3)
On a
p (10) = 42, p (20) = 627, p (50) = 204 226, p (80) = 15 796 476;
P (10) = 48, P (20) = 692, P (50) = 217 590, P (80) = 16 606 781.
Les valeurs correspoudantes de P (n) :p (n) sont
1-145: 1-104; 1-065; 1-051:
(l0^) Me
est reguliere pour 3 = 1. On est conduit naturellement b, appliquer le
theoreme de Cauchy a la fonction / (®) — P(a:),-et l’on trouve
1 d e"Vl$ <»-*)!
Une Formule Asymj)totiqne 241
des singularity d’un type tres analogue a cedes que presente f(x). On
soustrait alors de f(x) une somme d'un nombre fini convenable de ces fonc-
tions. On trouve ainsi, par exemple,
(-1)" d
2W2 dn V(n-A)
where <j> (x) is any function of x which tends to infinity with x, we find
without difficulty that it is these terms which contribute almost all the sum
of the series: the ratio of their sum to that of the remaining terms tends to
infinity with os.
In this paper we shew that the same conclusion holds for the series (2).
Let us consider all numbers n which do not exceed x, and denote by xp the
number of them which possess a property P (n, x): this property may be a
function of both n and x, or of one variable only. If then xP;x->-l when
x, we say that almost all numbers less than os possess the property P.
And if P is a function of « only, we say simply that almost all numbers
possess the property P. This being so, we prove the following theorems.
1. Almost all numbers n less than x are formed, of more than
log log x <f> (x) V(log log x)
and less than log log x + </> (at) f (log log x)
prime factors.
2. Almost all numbers n are formed of more than
log log n - ^ (a) V(log log n)
and less than log log n + <j> (ft) ./(log log n)
prime factors.
In these theorems is any function of x (or n) which tends to infinity
with its argument: and either theorem is true in whichever manner the
factors of n are counted. The only serious difficulty in the proofs lies in
replacing Landau’s asymptotic relations (1) by inequalities valid for all values
of v and x.
Since log log n tends to infinity with extreme slowness, the theorems are
fully sufficient to explain the observations which suggested them.
33 .
than that of log a* : hut it is still uncertain whether or no the order of H (®)
is greater than that of any power of log x. In order to apply transcendental
methods to this problem, it would be necessary to study the properties of the
function
where h is a highly composite number, and we have not been able to make
any progress in this direction. It is therefore very desirable to study the
distribution of wider classes of numbers which include the highly composite
numbers and possess some at any rate of their characteristic properties. The
simplest and most natural such class is that of the numbers q; and here
progress is comparatively easy, since the function
, (1-13) «(»)-2p
We have not been able to apply to this problem the methods, depending
on the theory of functions of a complex variable, by which the Prime Number
Theorem was proved. The function ©(s) has the line cr = 0t as a line of
essential singularities, and we are not able to obtain sufficiently accurate
information concerning the nature of these singularities. But it is easy
enough to determine the behaviour of (@ (s) as a function of the real variable s;
and it proves sufficient for our purpose to determine an asymptotic formula
for © (s) when s -*■ 0, and then to apply a “ Tauberian ” theorem similar to
those proved by Messrs Hardy and Littlewood in a series of papers published
in these Proceedings and elsewhere^
* As great as that of
2. Elementary results.
21. Let us consider, before proceeding further, ivhat information con¬
cerning the order of Q {x) can be obtained by purely elementary methods.
Let
(2-11) Z„ = 2.3.5...p„ = e»<M
where ^ iso) is Tschebyschef’s function
M®) = Sjogp-
The class of numbers q is plainly identical with the class of numbers of the
(2T2) khl2h---l,S
where > 0, i2 > 0, .... bn > 0.
Now every b can be expressed in one and only one way in the form
(2-13) bi = Ci.m2m+ + ... +Ci,o,
where every c is equal to zero or to unity. We have therefore
say, where
(2-141) ...1^,1.
Let r denote, generally, a number of the form
(2-15) r=
where every c is zero or unity: and R (*) the number of such numbers which
do not exceed x. If q x, we have
r0^x, r2‘<®, ....
The number of possible values of r„, in the formula (2T4), cannot therefore
exceed R (x); the number of possible values of n cannot exceed R (xi); and
so on* The total number of values of q can therefore not exceed
(2-16) S (x) = R (x) R (xi) R [xi)... R (arw),
where vr is the largest number such that
(2-161) x>2**.
Thus
(2-17) Q(x)^S(x).
(2-24)
^)</+/(471,+/(/-\Y/'=3 + ...,
where the summation need be extended to g terms only, since
A fortiori, we have
= evi°g(i+/>.
i(*)<l+/+{ + -+J<(1 +/)‘
Thus
(2-25) B (x) =.eOtei»s/) = sOMiog*iogi
by (2-23) a nd (2-24). Finally, since
log </* log log V® < i log x log °g®,
it follows from (2'16) and (2'17) that
Thus %<eom°s<,).
which is only possible if # is greater than a constant positive multiple of
(i-14) aw-xl-nfj-y.
Both series and product are absolutely convergent for a > 0, and
(311) log® (a) = 4> (s) + i<j, (2s) + (3s) + ...,
(3'21)
Write Xs = e“: then we have to prove that
(3-22) 11 1
42 12 (e“ —l)2 u2
for all positive values oi >r (writing w for %u) that
<3'23> i-5<S®5<i .
for all positive values of w. But it is easy to prove that the function
= s-l42-<S£& + 0(1);
and so that
(3'32) 4>(s)>A J”j^ck+0( 1).
fs ^ dm+ 0(1).
* Landau, Eandbuch, loc. cit.
Distribution of Integers of Various Types 251
when 0.
Given any positive number e, we can choose f and X, so that
N„,,
From this formula we can deduce an asymptotic formula for log <© (s). We
choose N so that
(3-53) log<©(s)=S-<i(«s)= S + 1 + 2 + 2
. n JVOXl/Vs l/VsSn^l/s 1 /SOI
= <1>, (s) + $2 (s) + $3 (s) + $4 (s),
1 + 0(1)
'slog (1/s) 7«A
252 Distribution of Integers of Various Types
Thus
(3'543) —
for all sufficiently small values of s.
Finally, in 5>4 (s) we 1 ns > 1, and a constant M e;
<j, (ns) < M2~
Thus
(3-544) <J>/(s)< M ~<sM^S 2_ns < = 0 (1).
<3'55>
0
+ lvslog(l/s)l + 0(1)’
where |p|<6, |p'!<Ke.
Thus
(3-56)
10S®(S)~6TOT)’
a(s) = exp ["{1 + 0(1)}—^-
4. A Tauberian theorem.
4‘1. The passage from (3’57) to (1-12) depends upon a theorem of the
' Tauberian ” type.
Theorem A. Suppose that
(1) X^O, Xa>Xn_1, X„-»-co;
(2) Viw^i;
(3) o„>0;
Distribution of Integers of Various Types 253
(4-12)
(1 - e) BK‘/°+al (logX„)-«»+*' < log An
< (1 + v) (log?L,l)_Wl,+“l.
for every positive e and all sufficiently large values of n.
In the argument which follows we shall be dealing with three variables,
8, s, and n (or m), the two latter variables being connected by an equation or
by inequalities, and with an auxiliary parameter £. We shall use the letter y,
without a suffix, to denote generally a function of S, s, and n (or m)*, which
is not the same in different formulas, but in all cases tends to zero when S
and s tend to zero and n (or m) to infinity; so that, given any positive e, we
0 < i VI < «,
for 0<8<B„, 0<s<s„, ?i>«0.
We shall use the symbol ys to denote a function of f only which tends to
zero with £ so that
0<|Ufl<«.
if J is small enough. It is to be understood that the choice of a f to satisfy
certain conditions is in all cases prior to that of 8, s, and n (or m). Finally,
we use the letters H,K,... to denote positive numbers independent of these
variables and of J.
The second of the inequalities (4'12) is very easily proved. For
(4-131) . Jdne-V<ffl1e-V+a2e-iss + ... + a„e-V
(4-1321) x = (l + S)zls-(log|)"\xn«.
254 Distribution of Integers of Various Types
4-2. We have
(4-21) - /(s) =2a,e-A*‘ = Sd„(e-V-rhu*)
<exp|(l + 8)2L«-(log^ *}
for every positive 8 and all sufficiently small values of s.
* We use the second inequality (4-12) in the proof of the first. It would be sufficient
for our purpose to begin by proving a result cruder than (4-16), with any constant K on
the right-hand side instead of (1 + e) B. But it is equally easy to obtain the more precise
inequality. Compare the argument in the second of the two papers by Hardy and Little-
wood quoted on p. 114 [p. 246 of this volume] (pp. 143 el seg.).
+ Compare Hardy and Kiesz, “ The General Theory of Diricblet’s Series,” Cambridge
Tracts m Mathematics, No. 18, 1915, p. 24.
Distribution of Integers of Various Types 255
We shall now shew that the limits of the integral in (4'23) may be replaced
by (1 - f) and (1 + f) ~Km, where f is an arbitrary positive number less
than unity.
We write
(4-25)
= 1+1+1 +1+1,
where H is a constant, in any case greater than 1, and large enough to satisfy
certain further conditions which will appear in a moment; and we proceed to
shew that «/„ J„ JA, and Js are negligible in comparison with the exponentials
which occur in (4'23), and so in comparison with Jt.
4'3. The integrals and J, are easily disposed of. In the first place we
(4-31) J, = s jyUs4(x)e->Hx<M(^)
<sj^ e-i‘xdx = i,
and is therefore negligible.
* With S in the place of e.
f We suppress the details of the calculation, which is quite straightforward.
256 Distribution of Integers of Various Types
44. The integrals Ja and J., may be discu ssed in practically7 the same
way, and \re may confine ourselv<is to the latter.
We ha ve
(4-41) rd(x) e~‘xdx<s
:C'Le*dx’
(4-411) f = (1 + 8) i (loga:)-*/
The maximum of the function occurs for x = *v„, where
(4-42) t?ic0‘/iI+“)(log:
h{l+v)h
From this equation, and (4'24), iti plainly resultsi that
(443) (1 — ij)) < «„ < (1 + v)
and that < falls (when S and s are small enoiugh) between (1 -- f) X,a and
(1 + f) x»
Let us write x = xa+ %
in Jf Th en
+ M-*W + *(i + w (log xJ-m+%
<sli + }•
Since (») is a steadily increasing function of x, it follows that
(4-521)
exp ((1 -8) As-° (logij + e~’x^
(4-522) ^ n+|
exp ((1 + S) A s- (log |> {(1 - f) X*,} f-’*dx;
°r (4-531)
(«***-»- «-**,») ^ ((1 - f) xj < exp |(1 + S) ^ (logsj,
(4-532)
(e<*m - e-i**,) s4 ((1 + K) \») > exp |(1 - S) A *- (log + Xm al.
In Theorem A take
= log n, A=~, « = 1, £ = 1.
Then all the conditions of the theorem are satisfied. And A„ is Q (n), the
number of numbers q not exceeding n. We have therefore
(i-ni
(s«)
52. The method which we have followed in solving this problem is one
capable of many other interesting applications.
Suppose, for example, that Rr (n) is the number of ways in which n can
be represented as the sum of any number of rth powers of positive integers*.
We shall prove that
(5-21) log Rr (n) ~ (r + 1) {£ T g + l) ?g +
We need only sketch the proof, which is in principle similar to the main
proof of this paper. We have
It is obvious that Rr (n) increases with n and that all the coefficients in
/ (s) are positive. Again,
But
(5-25) *M~rg + l)r^,
when s-s-O; and we can deduce, by an argument similar to that of 3'5, that
K = n, « =i /3 = 0, A = r^ + l)?0 + l).
(5-27) logS(n)~7r^/^;
Finally, w can shew that if r and s are positive integers, . >0, and
0 ^ b $ 1, and
{(1 + ax) (1 + ax?) (1 + ax?).. .jr
(5-291) 2 £(11) a’1.
{(1 — 6a;) (1-fcc2) (1 -bst?) ...}s’
Societe matMmatique de France, Vol. xliv, 1916, pp. 45—64) has published a
number of very interesting theorems concerning power-series which are more
or less directly related to ours. M. Valiron considers power-series only, and
his point of view is different from ours, in some respects more restricted and
in others more general.
He proves in particular that the necessary and sufficient conditions that
where M (r) is the maximum modulus of f{x) = 2 «„«“ for \ x | = r, are that
log|«,|<(l + e) (l+«MV»«g)*,M*'
for n > ?j0 (e), and
log [ an! > (1 - ep) (1 + «) 4-/M*)
whenever n is of the form 2,!; and there is no <j> (m) of slower increase which
satisfies the conditions. The answer is less obvious in the case off(n): but,
supposing n to be .the product of the first h primes, we can shew (by purely
elementary reasoning) that, if e is any positive number, we have
(1-24) .F (1) +1? (2) + ... + If (») = n log log n + Bn+ 0 (j—^) ,
where A and B are certain constants.
This problem, however, we shall dismiss for the present, as results still
more precise than (1*23) and (124) can be found by transcendental methods.
(4) Fourthly, we may ask what is the normal order of the function.
This phrase requires a little more explanation.
* Wigort, “Sur l’ordre de grandeur du nombre des diviseurs d’un entier,” Arkiv far
matmatik, Vol. in (1907), No. 18, pp. 1- 9. SeeBamanujan, “Highly Composite Numbers,”
Proc. London Math. jSoc., Ser. 2, Vol. xiv (1916), pp. 347—409 [No. 15 of this volume], for
more precise* results.
264 Normal number of Prime Factors of a number n
(1-27) N(x)~Q{x),
then we shall say that almost all of the numbers (or almost all of the
numbers less than a) possess the property.
II.
“ Quadratfrei ” numbers.
2'1. It is most convenient to begin by confining our attention to
quadratfrei numbers, numbers, that is to say, which contain no prime factor
raised to a power higher than the first. It is well known that the number
Q (x) of such numbers, not exceeding x, satisfies the relation
(2-11)
We shall denote by tr„ (x) the number of numbers which are products of
just v different prime factors and do not exceed x, so that (x) = it (x) is
the number of primes not exceeding x, and
Sir, («)=«(«).
* Landau, Handbuch, p. 581.
Normal number of Prime Factors of a number n 265
for every fixed value of v. In what follows we shall require, not an asymp¬
totic equality, but an inequality satisfied for all values of v and x.
22. Lemma A. There are absolute constants G and K such that
(2-21) 7r„+lW<j^(l°glp + 6')“
2 .p, ,p2...p„,
3 .p^p^.-p,,
5 .Pl.p2...py,
P-Pi.pt-P„
where p^pt, ..., p„ are, in each row, different primes arranged in ascending
order of magnitude, and where p, > 2 in the first row, p, > 3 in the second,
5 in the third, and so on. It is plain that The total number of
numbers in the table is plainly not greater than
the number <b,cs.,... co^ will occur at least v times in the table,
row in which the first figure is to,, once in that in which it is <oa
that in which it is to,. We have therefore
(2-23)
^{loglog g)+c}«
fhere i/r is some function of £ which tends steadily to infinity with f; and
o what we have to prove is that
(2-34) S= £ = o(et).
We choose a positive number S so small that
$ S2 S3
W 0 + .0 + 4T6 + -<-
t
S-~S' + S",
(2-36) S={+Wf<S<(1+,
say. In the first place we have
(2-371) 1+ p
+1 (vi+ 1) (i'i + 2)
_1
<Plh 4. — + -1_ + l-l+It
h! C 1 + 8^ (1+8)^ ■■■[ S vxV
(1 +
where v, is the si llest integer greater than (1 + 8) f. It follows that
(2-372) ' S" < e»ilI°st-Iog-,+l)
8
K
avr
: absolute constants and
A = (l+B)log(l + S)-8.
And si
(1 + 8) log (1 + 8) - 8 > (1 + 8) (5 — 4 S-) — S = J S= (1 — S) =
say, we obtain
(2-373)
a vr
where t) is positive: so that
(2-374) S" = o(a«).
In S', we write v = ? + /+ so that ^ Vf < /i < Sf. Then
|®81» frerrsi
< exp {(? + /*) log f - (f + /a) log (f + 1 + /i}
Knf
'(2-35).
268 Normal number of Prime Factors of a number n
Thus
(2*382) S'-°(mkrmy
-»{AC,
= 0-(etj e~“’ duj = o (ef),
since -vjr =o. From (2 36), (2-374), and (2-382) follows the truth of (2-34),
and so that of (2'322). As (2-321) may he proved in the same manner, the
proof of Theorem A is completed.
2'4. Theorem A'. If $ is a function of re which tends steadily to infinity
with n, then almost all quadratfrei numbers have between
log log n - <f> /(log log re) and log log n + $ /(log log «)
prime factors.
This theorem is a simple corollary of Theorem A. Consider the numbers
not exceeding x. We may plainly neglect numbers less than /*; so that
| log « ^ log re «log as,
(2-41) , log log x - log 2 ^ log log re< log log x.
Given <f>, we can determine a function -<|r (x) such that tends steadily to
infinity with x and
(2-42) *(*)< l'MV’4
Then - ^M<i#(re) (fx^n^x).
In the first place
4> V(l°g l°g re) > f -/(log log x)
if log log re > J log log®,
which is certainly true, in virtue of (2-41), for sufficiently large values of x.
Thus
(2-43) log log n-4> /(log log re) < log log x - -f /(log log x).
In the second place the corresponding inequality
(244) log log re. + 0 /(log log re) > log log a: + i|r / (log log x)
is certainly true if
<j> /(log log re) > -f /(log log x) + log 2;
Knd this also is true, in virtue of (2’41) and (2'42), for sufficiently large
values of x. From (2-43), (2-44), and Theorem A, Theorem A' follows at
As a corollary we have
Theorem A". The normal order of the number of prime factors of a
quadratfrei number is log log re.
* In this sum the values of p. are not, in general, integral: £+/i is integral.
Normal number of Prime Factors of a number n 269
III.
The normal order off (n).
31. So far we have confined our attention to numbers which have no
repeated factors. When we remove this restriction, the functions /(«) and
F (n) have to be distinguished from one another.
We shall denote by (*) the number of numbers, not exceeding x, for
WhlCh /(»)=»■
It is obvious that ra-„ (x) > ir„ (x).
We require an inequality for vr„ (x) similar to that for irv [x) given by
Lemma A.
Lemma B. There are absolute constants D and L such that
Lx (log log i -Df
(3-11) i (*) < log* v\
for >' = 0,1,2. *>2.
It is plain that
*> (®) = "■ (*) + * W*) -Mr «) + ■■■ = 0 .
The inequality is therefore true for v =0, whatever the value of D. We
shall prove by induction that it is true in general if
(3T2) D > B + II + /,
where B and S have the same values as in 2-2, and
Consider the numbers which do not exceed x and are comprised in the
P°. ...pA,
where pu pit ...,p„ satisfy the same conditions as in the table of 2-2. It is
plain that P-^fx if a—l,P^$x if a = 2, and so on, so that the total
number of numbers in the table does not exceed
2
If]
(3-14) + +
3'2. We can now argue with sr„ (®) as we argued with it, (®) in 2'3 and
the paragraphs which follow; and we may, without further preface, state the
following theorems.
Theorem B. If ip is a function of ® which tends steadily to infinity to x,
then
log log x - <j> V(log log ®) </ (n) < log log x + 4> V(log log x)
for almost all numbers n less than x.
Theorem B\ If cf> is a function of n which tends steadily to infinity with
n, then almost all numbers have between
log log »- v^loglogn) and log log n+V(log log n)
different prime factors.
Theorem B". The normal order of the number of different prime factors
of a number is log log n.
i p. 61. [Foe p. 266.]
Normal number of Prime Factors of a number n 271
IT.
The normal order of F (n),
41. We lave now to consider the corresponding theorems for F{n), the
number of prime factors of n when multiple factors are counted multiply.
These theorems are slightly more difficult. The additional difficulty occurs,
however, only in the first stage of the argument, which requires the proof of
some inequality analogous to those given by Lemmas A and B.
We denote by II„ (as)
the number of numbers, not exceeding sc, for which
F(n) = v.
It would be natural to expect an inequality of the same form as those of
Lemmas A and B, though naturally with different values of the constants.
It is easy to see, however, that no such inequality can possibly be true.
For, if v is greater than a constant multiple of logic, the function
x (log log x+ oy
log® v1 *
js—as may be seen at once by a simple approximation based upon Stirling’s
theorem—exceedingly small; and II„+: (x), being an integer, cannot be small
unless it is zero. Thus such an inequality as is suggested would shew that
F (n) cannot be of order as high as log x for any n less than a>; and this is
false, as we can see by taking
® = 2* + l, » = 2*. F(n)=j^p.
(4-22) ■
P'-Pl .pS...p.+l-.,
where now pu p,, ..., p„+are primes, arranged in ascending order of
magnitude but not necessarily different, and where p„+1_„5:2 in the first
row, 3 in the second, and so forth. Arguing as in 2'2 and 3*1, we
now find
(4-23)
;,n. (D (?)
\.in« (?)+
■■■■
This inequality differs formally from (314) in that the suffixes of the func¬
tions on the right-hand side sink by one from term to term.
We can now prove (4-22) by a process of induction similar in principle to
that of 2-2 and 31. Let us suppose that the inequality is true when v is
replaced by v — >, and let us write
log log&- + 0= f,
as in 2’3. Substituting in (4*23), and observing that
-e obtain
(4-24) IL+1(a)<-
xp\og{xjp) ((>-1)1
1 (
ep2 log (a/p5) ( (v-2)! (n — 3)!
_ 1 1_ £’-‘' ,
S-l**!og(*/P,)l(*'-8)l'r (n — 4)!+
seen already,
^ 1 < log log x + G _
(4-251)
s'«*plog(®/p) logic
ad
1 s+1
(4-252) (2-
y»««aP*log(a/f>*) log X '
if s ^ 2. It is moreover easy to prove that
(4-2531) (s + 1) (2- + 3-* + 5- +...)< 2\‘ = 2 (&)•
if s = 2, and
(4-2532) (s + 1) (2-* + 3-* + 6- + ...)< Xs = (■*)»
Normal number of Prime Factors of a number n 273
if s>2*. From (4-24)—(4-2532) it follows that
,^1,4111
*log* \(v-2)r („-8)I + -J
i x* y ( , r- )
"log* U--3)!+ (v —4) ! ”)
"When we collect together the various terms on the right-hand side which
involve the same powers of f, it will be found that the coefficient of p-r is
exactly
Kx Xp
log x\v-p)V
except when p = 1, when it
l-i}
, v)\oSx(v-l)\:
We thus obtain (4-22).
4 3. We may now argue substantially as in 2'3. We have to shew, for
example, that ’
(431) &= n„+1 (x) =o (x);
and this is equivalent to proving that
(4'32) £=^2^11,^ (*) = <, (it),
where i/r is any function of x which tends to infinity with x.
We choose S so that
(4-362)
V.
The normal order of d (n).
5T. It is natural to ask whether similar theorems cannot be proved with
regard to some of the other standard arithmetical functions of n, such as
d (n).
If n=
we have d (n) = (1 + a,) (1 + a,)... (1 + a,).
Since 2 < 1 + a < 2“
if a >1, we obtain at once
2v<d(m)s2°i+‘ts+-.-+‘v,
been unable to discover in the literature of the subject any allusion whatever
to the question of the order of magnitude of p (n).
1-2. The function p (n) may, of course, be expressed in the form of an
integral
(i'2i) P(B)“ifr£raio*
by means of Cauchy’s theorem, the path T enclosing the origin and lying
entirely inside the unit circle. The idea which dominates this paper is that
of obtaining asymptotic formula?, for p (n) by a detailed study of the integral
(1-21). This idea is an extremely obvious one; it is the idea which has
dominated nine-tenths of modern research in the analytic theory of numbers:
and it may seem very strange that it should never have been applied to this
particular problem before. Of this there are no doubt two explanations. The
first is that the theory of partitions has received its most important develop¬
ments, since its foundation by Euler, at the hands of a series of mathematicians
whose interests have lain primarily in algebra. The second and more funda¬
mental reason is to be found in the extreme complexity of the behaviour of
the generating function f(x) near a point of the unit circle.
It is instructive to contrast this problem with the corresphnding problems
which arise for the arithmetical functions ir{n), ^(n), i|/-(n), p(n), d(n), ...
which have their genesis in Riemann’s Zeta-function and the functions allied
to which they lead would moreover expand this paper to a quite unreasonable
length. But we have thought it worth while to include a short account of
two of them. The first is quite elementary; it depends only on Euler’s
identity
(1'31) j
(l-*)(l-0 (1-^ = 1 + (T^)*+ (T1 ^(1
—an identity capable of wide generalisation—and on elementary algebraical
reasoning. By these means we shew, in section 2, that
(1-32) eAJn < p (n) < eBJn,
where A and B are positive constants, for all sufficiently large values of Ji¬
lt follows that
(1-33) A *Jn < logp (n) < B yffi ;
and the next question which arises is the question whether a constant G exists
such that
(1-34) log_p(ji)~Cy>t.
We prove that this is so in section 3. Our proof is still, in a sense, “ ele¬
mentary.” It does not appeal to the theory of analytic functions, depending
only on a general arithmetic theorem concerning infinite series; but this
theorem is of the difficult and delicate type which Messrs Hardy and Little-
wood have called “ Tauberian.” The actual theorem required was proved by
us in a paper recently printed in these Proceedings*. It shews that
(1-35)
in other words that
(1-36) p (n) = exp
VflF
where e is small when n is large. This method is one of very wide application.
It may be used, for example, to prove that, if p<!| (n) denotes the number of
partitions of n into perfect s-th powers, then
log;p« (n) ~ (s + 1) g T (l + i) ?(l +
It isfcertainly possible to obtain, by means of arguments of this general
character, information about p (u) more precise than that furnished by the
formula (T36). And it is equally possible to prove (I'36) by reasoning of a
more elementary, though more special, character: we have a proof, for example,
based on the identity
np(;>i)= %a-(v)p(n-v),
* G. H. Hardy and S. Ramanujan, “Asymptotic formulas for the distribution of
integers of various types,” Proc. London Math. Soc., Ser. 2, Vol. xvi, 1917, pp. 112—132
[No. 34 of this volume].
280 Asymptotic Formula in Combinatory Analysis
where er (») is the sum of the divisors of v, and a process of induction. But
we are at present unable to obtain, by any method which does not depend
upon Cauchy’s theorem, a result as precise as that which we state in the next
paragraph, a result, that is to say, which is “ vraiment asymptotique.”
1-4, Our next step was to replace (1'36) by the much more precise
formula
The proof of this formula appears to necessitate the use of much more
powerful machinery, Cauchy’s integral (121) and the functional relation
^ ^ (l0*;) exP
where
(W3) * — exp | log-(i/-}|.
This formula is merely a statement in a different notation o
between h (t) and h (T), where
It will be observed that the progress of ■ajp towards its limit unity is not
very rapid, and that — p is always positive and appears to tend rapidly to
infinity.
Tannery and Molk, loc. oit., p. 265 (Table XLV, 5).
Asymptotic Formulae in Combinatory Analysis 281
exp{e(rb)}’
when *=
p and q being co-prime integers, and r-*-l, \f{x) \ tends to infinity like an
exponential
while, if * = re29",
where 8 is irrational, | f(x) | can become infinite at most like an exponential
of the type
where
(1'64) x7(,ogShiskiwi-*]
is regular for x=l. If we compare (1 -42) and (T54), and observe that /(«')
tends to unity with extreme rapidity when sc tends to 1 along any regular
path which does not touch the circle of convergence, we can see at once the
very close similarity between the behaviour of / and F inside the unit circle
and in the neighbourhood of x — 1.
It should be observed that the term -1 in (1-52) and (1-54) is—so far as
our present assertions are concerned—otiose: all that we have said remains
true if it is omitted ; the resemblance between the singularities of f and F
becomes indeed even closer. The term is inserted merely in order to facilitate
some of oar preliminary analysis, and will prove to be without influence on
the final result.
Applying Cauchy’s theorem to f—F, we obtain
1"6. The formula (1'55) is an asymptotic formula of a type far more precise
than that of (1'41). The error term is, however, of an exponential type, and
may be expected ultimately to increase with very great rapidity. It was
therefore with considerable surprise that we found what exceedingly good
results the formula gives for fairly large values of n. For » = 61, 62, 63 it
The next step is naturally to direct our attention to the singular point of
f(x) next in importance after that at ®=1, viz., that at x— — 1; and to
subtract from f(x) a second auxiliary function, related to this point as F(x)
is to x- 1. No new difficulty of principle is involved, and we find that
. , Id /ecM (- 1)» d
(1-61) ■0(e™“),
Asymptotic Formulce in Combinatory Analysis 283
where D is now any number greater than }C. It now becomes obvious why
our earlier approximation gave errors alternately of excess and of defect.
It is obvious that this process may be repeated indefinitely. The
singularities next in importance are those at x = e!jn and z = e&"1; the next
those at x—i and»=—i) and so on. The next two terms in the approximate
formula are found to be
+ •685
+ •318
-■064
190569291-996,
while ^,(100) = 190569292;
284 Asymptotic Formulae in Combinatory Analysis
so that the error after six terms is only -004. We then proceeded to calculate
p (200), and found
3, 972, 998, 993, 180-896
+ 36, 282-978
+ 5-147
+ 1-424
+ 0-071
+ o-ooo*
_ + 0-043
3, "972, 999~ 029, 388-004,
and Major MacMahon’s subsequent calculations shewed that p (200) is, in fact,
3, 972, 999, 029, 388.
These results suggest very forcibly that it is possible to obtain a formula for
p (n), which not only exhibits its order of magnitude aud structure, but may¬
be used to calculate its exact value for any value of n. That this' is in fact so
is shewn by the following- theorem.
where G and Xn are defined by the equations (1-53), for all positive integral
values of q; that p is a positive integer less than and prime to q; that a>Vli is
a 24q-th root of unity, defined when p is odd by the formula
(1-721)
and that a is any positive constant, and v the integral part of a>Jn.
* This term vanishes identically.
t See Tannery and Molk, loc. cit., pp. 104—106, for a complete set of rules for the cal¬
culation of the value of (ajb), which is, of course, always 1 or -1. When both p and q
are odd it is indifferent which formula is adopted.
Asymptotic Formula in Combinatory Analysis 285
Then
(1-74) p(n)=tAt<l>t + 0[n-L),
so that p (n) is, for all sufficiently large values of n, the integer nearest to
(1-75) iAt<j)t.
for n > 1*. We shall use in our proof only Euler’s formula (131) and a
debased form of Stirling’s theorem, easily demonstrable by quite elementary
methods : the proposition that
lies between two positive constants for all positive integral values of n.
2'2. The proof of the first of the two inequalities is slightly the simpler.
It is obvious that if
W*“ = (!-«)
so that pr (n) is the number of partitions of n into parts not'exceeding r, then
(2'21) pr (n) = (?!) + (n - r) + pr.t (n - 2r) + ....
We shall use this equation to prove, by induction, that
(2-22)
k = (l-^..(l-«?)2’
<2'33> yw
This is obviously, true for r = 1. Assuming it to be true for r = s, and using
(2-31), we obtain
. (,,.+S’+s+ir-’-H {)t+(,+i)y+.
.2s+I' " (2s +1) 2s (s + 1)’ (2s -1)! (s !)> * (2s +1)! {(s +1)!}’'
Hence (2'33) is true generally.
It follows from (2'32) that
?(.,=fl(.-i)+6(»-4)+...a^;Fo.,
But, using the degenerate form of Stirling’s theorem once more, we find
without difficulty that
_1_2"K
(2r-l)!(r!)’< 4H >
where K is a constant. Hence ,
p (») < 8K t < 8K£ ^s’
log
when a->-1, then
log sn = log (a, + a, + ... + a») ~ 2 V(-4n)
when n-t- oo .
. This theorem is a special case* of Theorem C in our paper already
referred to.
Now suppose that
g(*) = (i-*)f(*) = 2{pM-P(n-i)}^(1^)(iJV(1_^ ,
a relation far more precise than (311). From this relation, and the fact that
the coefficients in y (,r) are positive, it is certainly possible to deduce more
than (312). But it hardly seems likely that arguments of this character will
lead us to a proof of (111). It would be exceedingly interesting to know
exactly how fan-- they will carry us, since the method is comparatively ele¬
mentary, and has a much wider range of application than the more powerful
methods employed later in this paper. We must, however, reserve the dis¬
cussion of this question for some future occasion.
Then (i) the intervals jPt} exactly fill up the continuum (0,1), and (ii) the length
of each of the parts into which jP}, is divided by pjq * is greater than lj2mq
and less than IJmq.
(i) Since
1_ , 1 _ 1 _v'q~pq' _P' P
2(2 + 2') ?'(?' + ?) 24 22' ?' ?’
the intervals just fill up the continuum.
(ii) Since neither q nor q' exceeds m, and one at least must he less than m,
1 1
q(q + q)>2mq'
Also 2 + 2' >m> sinoe otherwise {p+pjj(q + q) would be a term in the series
between pjq and pjq'. Hence
1 J_
2(2 + 2') m'
Standard dissection of a circle.
423. The following mode of dissection of a circle, based upon Lemma
4-22, is of fundamental importance for our analysis.
Suppose that the circle is defined by
x = Re^> (O<0<1).
Construct the Farey’s series of order m, and the corresponding intervals jp>q.
When these intervals are' considered as intervals of variation of 8, and the
two extreme intervals, which correspond to abutting arcs on the circle, are
regarded as constituting a single interval the circle is divided into a
number of arcs
k*.
where q ranges from 1 to ni and p through the numbers not exceeding and
prime to q-\. We call this dissection of the circle the dissection Hm.
f{x) = (l-x)(l-a?) (1
Then
This lemma is merely a restatement in a different notation of well-known
formulae in the transformation theory.
Suppose, for example, that p is odd. If we take
a = p, b = -q, c = ii—, d = — p',
so that ad —be- 1; and write
a; = 9« = e«"> a,' = Qs = e»*i t
so that r = £ + -, T = ^ + -;
2 9 2 1Z
then we can easily verify that
•where
/(*) - «*. 7 [l (£) } 4 «P 1
(4-322)
^-”P{-^iog%*-)+2£r\-
* Tannery and Molk, loo. citpp. 113, 267.
19—2
292 Asymptotic Formula in Combinatory Analysis
If we observe that
f{x'M) = l + p(l)x'lhq+...,
.we see that, if x tends to along a radius vector, or indeed any regular
path which does not touch the circle of convergence, the difference
/ (*) - * J [l % ty} 4 -P
tends to zero with great rapidity. It is on this fact that our analysis is based.
Fa(x) = Xfa(n)x’',
, , , , d cosh a\n — 1
where (») ^-,
4'42. Lemma 4'42. Suppose that D is the region defined by the in¬
equalities
— 7t < — 80< 8 < < 7r, r0 < r, 0 < r0 < 1,
* Lindelof gives references to Meliin and Le Koy, who had previously established the
theorem in less general forms.
Asymptotic Formula in Combinatory Analysis 293
and that log (1/a) has its principal value, so that Log(l/a-) is one-valued, and
its square root two-vahiei, in D. Further, let
Lemmas 441 and 442 shew that « = 1 is the sole finite singularity of
the principal branch of Fa (x).
4'43. Lemma 4-43. Suppose that P, 61, and A are positive constants,
0, being less than tt. Then
\Fa(x)\<K = K(F,61,A),
for 0<r^P, — 0< a < 4.
We use K generally to denote a positive number independent of x and
of a. We may employ the formula (4411). It is plain that
4’44. Lemma 444. Let c be a circle whose centre is x=-l, and whose
radius S is less than unity. Then
\Fa(x)-Xa(x)\<Ka\
if x lies in c and 0 < a ^ A, K — K (S, A) being as before independent of x and
of a.
If we refer back to (4421) and (4422), we see that it is sufficient to prove
that 0
| ®! (x) | < Ka2, |, ®2 (») | < Kd?;
and we may plainly confine ourselves to the first of these inequalities. We
1) dt.
ft j
Rejecting the extraneous factor, which is plainly without importance, and
integrating by parts, we obtain
@w=J”4)(i)cosha^)-l^
where the summation applies to all values of p not exceeding q and prime
to q, and to all values of q such that
(513) l<5<.»=[a,/'»],
a being positive and independent of n. If then
(514) FPiq(x) = tcM,nx’‘,
we have
(515) p(n)-t%cM,n = -^-.
where T is a circle whose centre is the origin and whose radius R is less
than unity. We take ^
(516) R = l~n’
where fi also is positive and independent of n.
Our object is to shew that the integral on the right-hand side of (515)
is of the form 0 (n-*); the constant implied in the 0 will of course be a
function of a and fi. It is to be understood throughout that 0’s are used in
this sense; 0 (1), for instance, stands for a function of x, n, p, q, a, and ft (or
of some only of these variables) which is less in absolute value than a number
K=K(a, fi) independent of x, n, p, and q.
We divide up the circle P, by means of the dissection 3* of 123, into
arcs fj,i5 each associated with a point Be®”"/*; and we denote by rjpiq the arc
of T complementary to gPiq. This being so, we have
iV,5 = 0(Ur"V?),
~ 0 (-Hr” 2 g-) = 0 (ifi Rrn) *■
5-233. In estimating J), J.3t and J„ we must bear the following facts in
(1) Since \&\>R, it follows from (52312) that |a 1== 0 (1) throughout
the range of integration.
(2) Since 1 — R = fS/n and 1/2qv < 8 < 1 jqv, where = [a \/»-], we have
logS)=°fri)’
when r = R, and i_^_ = O(?0i)J
(3) Since
"' ' P 6 f [{log (l/r)Js + ’
E (x) is less than n absolute value when r> 1. And, the part of the
path for which r < t is of the form
and thirdly
(5-311)
-jt
Hence = 0 (q-hi~*),
(5-322) ,|W)9-S)“°(”'1);
and J\q - 0 (q-'n-i),
(5-323) 2/V, = 0(«“3 2 1) = 0 (it-*).
2 < 0 (.to)
ofZJ\q.
5-33. From (4-321) and (5-2221), we have
(5-331)
fix) - xM (x)=«A, yy (y log )| r^Eu,,.,
But
All that remains, in order to complete the proof of the theorem, is to shew
that
cosh (C\njq) — 1
may be replaced by \
and in order to prove this it is only necessary to shew that
v » d ^cV'«_cosh(CX„/?)+l
q<o^»)q'dii \n U{ h
On differentiating we find that the sum is of the form
where the summation extends over the values of q specified in the theorem,
for every fixed value of a; that is to say that, when a is given, a number
K - K (a) can be found such that
\p(n)-tAq<f>q\< Kn~i
for every value of n. It follows that
(6-211) p(n) = {tAq4,,},
where {®} denotes the integer nearest to a, for »!>)!„, where >i„ = na(a) is
a certain function of a.
The question remains whether we can, by an appropriate choice of a,
secure the truth of (6'211) for all values of n, and not merely for all sufficiently
large values. Our opinion is that this is possible, and that it could be proved
to be possible without any fundamental change in our analysis. Such a proof
302 Asymptotic Formula2 in Combinatory Analysis
2 2 0 (<f) 0 Q 0 (<P■>*!*) = 0 (^ 2
=0 yxec'lnlxds^j,
= 0(logn)~- = o(l).
equal to 9,C-Jn
Asymptotic Formula in Combinatory Analysis 303
log n
terms of the series. It is probably also necessary to take a number of terms
of order s/nj(logn); but it is not possible to prove this rigorously without
a more exact knowledge of the properties of Aq than we possess.
6'4. We add a word on certain simple approximate formula; for logp(«)
found empirically by Major MaeMahon and by ourselves. Major MacMahon
found that if
(641) log»j>(nW(« + 4)-ail,
then is approximately equal to 2 within the limits of his table of values
of p (n) (Table IV). This suggested to us that we should endeavour to find
more accurate formulae of the same type. The most striking that we have
(711) U(±«r)Ym±?)}‘
f (*) being the function considered in this paper, the a’s, b’s, a’s, and /3’s being
positive integers, and the number of factors in numerator and denominator
being finite; and suppose that | F (x) | tends exponentially to infinity when x
tends in an appropriate manner to some or all of the points Then our
method may be applied in its full power to the asymptotic study of q (n), and
yields results very similar to those which we have found concerning p (n).
, OW
'”/(■*)/(?)’
ie eliminated if this i
304 Asymptotic Formula• in Combinatory Analysis
Thus, if
F r
<*> =/& (l+x) (1+(1+*3) - ° (1 (1 ■
so that q(n) is the number of partitions of n into orld parts, or into unequal
parts®, we find that
4 00 = ^|/o[*Vv'{H»+A)}]
X n {1 - COS SW(«/*) +
By the use of this formula, in conjunction with Cauchy’s theorem, it is
certainly possible to obtain much more precise information about pl(n), and
in particular the formula
p? (n) ~ 3'4 (4n)' * {£(§)}* iSri <>li.
The corresponding formula for-p'(»), the number of partitions of n into
perfect s-th powers, is
306 Asymptotic Fornmlce in Combinatory Analysis
The series (7-21) may be written in the form
where is always one of the five numbers 0, e*", — e*", — e'f". When
It has been proved by Ramanujan that the series gives an exact repre¬
sentation of vs (n) when s = 4, 6, 8; and by Hardy that this is also true when
s = 3, 5, 7. See Ramanujan, “ On certain trigonometrical sums and their
applications in the Theory of Numbers”; Hardy, “On the expression of a
number as the sum of any number of squares, and in particular of five or
Table I
-7/if
- 29/32
27/32
Table II: Ar
A, =2 cos (S'-,
J4 =2cos(^«n-~-^r).
A5 = 2 cos(fftTT - i?r) + 2 cos fair.
= 2 COS (^nir — £§ ir) 4- 2 COS (T\n7T - fvrir) + 2 COS r\?i7r - sV?) + 2 cos (*j\nn- -t^-tt)
4- 2 COS (^tt-TT + ^7r).
-4,2=2 COS (fair - f|-tt) + 2 COS (fair + -Mr).
{fair - i^Tr) 4- 2 COS (yfynr + ^tt)
+ 2 cos ? 0/1+2 cos (-[sHir + ^jw).
Au~2cos(fair-\fa) + 2cos(fair-^n ( r-fV).
A .5 = 2 COS (jfifWjr - SV0 + 2 cos (ftwr - Vgrr + 2cos(^„r+*,r).
-<w-2 cos a»T + if«)+2cos (9»«- + IW+8 ( + e*p+&»).
-4,-=2 cos (W»W +#*) + 2 cos (£»* - tV)+2 cos ) + 2cosyV»*
+ 2 COS QS-lrr - frir) + 2 COS (}?7Wr - fi. -nr) - 2 CUB - -fair) + 2 COS (\$nir + ^tt).
-1,8 = 2 COS ({ -nr + tf*) + 2 cos (|-nr - *-) + (
It may be observed that
is 1, 2 (mod 5)), = 0 (nal, 3, 4 (mod 7)),
i10 = 0(wsl, 2 (mod 5)), = 0 (nst, 2, 3, 5, 7 (mod 11)),
is0(na2, 3, 5, 7, 9, 10 (mod 13)), =0(71 = 1, 3, 4 (mod 7)),
5=0(71=0 (mod 2)), =0 (71 = 1, 3, 4, 6, 7, 9, 13, 14 (mod 17));
while 4x, A2, Aa, A4, xlfl, J8, Aa, Av2, -4,ft never vanish.
3000
308 Asymptotic Formula in Combinatory Analysis
Asymptotic Formulas in Comlinatory Analysis 309
Slillllillllllllil!!-
37
ON THE COEFFICIENTS IN THE EXPANSIONS
OF CERTAIN MODULAR FUNCTIONS
(Proceedings of the Royal Society, A, xcv, 1919, 144—155)
1 ± . hll! ±
2tr \/'2 dn \ \n J 2tt dn V A.„ t
nH-i [i-fc + 2 cos (J«7T - i&ir) 2-3* + 2 cos (J«tt - isir) 3“3S +
and our methods enable us to write down similar formulae for a very large
variety of other arithmetical functions.
The study of series such as (1-5) and (16) raises a number of interesting
problems, some of which appear to be exceedingly difficult. The first purpose
for which they are intended is that of obtaining approximations to the
functions with which they are associated. Sometimes they give also an exact
representation of the functions, and sometimes they do noN Thus the sum
of the series (T6) is equal to r, («) if s is 4, 6, or 8, but not in any other case.
The series (To) enables us, by stopping after an appropriate number of terms,
to find approximations to p (n) of quite startling accuracy; thus six terms of
the series give p (200) = 3972999029388, a "number of 13 figures, with an error
of 0004. But we have never been able to prove that the sum of the series is
p (n) exactly, nor even that it is convergent.
There is one class of series, of the same general character as (To) or (T6),
which lends itself to comparatively simple treatment. These series arise
when the generating modular function f[q) or <j> (t) satisfies an equation
^ T~T=£- W TJ^bV
Both of these substitutions belong to the modular group, since hk' — h'k = l.
The Doints too. 4. -4. in the T-nlane corresDond to hlk. Ih + ‘2h')l(le + 2k').
314 On certain Modular Functions
the length of Em is
On certain Modular Functions
Let a,' and ta, he the left- arid right-hand parts of o>, and f/, and £ the
corresponding arcs of Hm. The length of w, is, as we have seen, less than
ior/W, and that of £j than 1-ir-jkk'. Further, we have, on f,,
and it is plain that, by choice of first v and then m, this may be made as small
as we please. Thus (41) tends to zero and the theorem is proved. It should
be observed that 2 R must, for the present at any rate, be interpreted as
meaning the limit of the sum of terms corresponding to poles inside we
have not established the absolute convergence of the series.
* Strictly speaking, f(x) is not defined at the points where Hm meets the unit circle,
and we should integrate round a path just inside and proceed to the limit. The point
is trivial, as f{x), in'virtue of the functional equation, tends to zero when we approach
a cusp of from inside.
t We suppose m large enough to ensure that :c=g lies inside JTm.
{ See our paper (2), loo. oil. [p. 290],
316 On certain Modular Functions
We supposed that no pole of <f> (t) lies on the boundary of P. This restric¬
tion, however, is in no way essential; if it is not satisfied, we have only to
select our “fundamental polygon” somewhat differently. The theorem is
consequently true independently of any such restriction.
So far we have supposed [y|<l. It is plain that, if jgr|> 1, the same
reasoning proves that
(4-3) ZR = 0.
5. Suppose in particular that <p (t) has one pole only, and that a simple
pole at r = a, with residue A. The complete system of poles is then given by
(5-1) «. T = a = (ad-bc^l).
If a and b are fixed, and (c, d) is one pair of solutions of ad-bo= 1, the com¬
plete system of solutions is (c +ma, d + mb), where m is an integer. To each
pair (a, b) correspond an infinity of poles in the plane of t; but these poles
correspond to two different poles only in the plane of q, viz.,
(5-2) q = + q = ± e«'a,
the positive and negative signs corresponding to even and odd values of m
respectively. It,is to be observed, moreover, that different pairs (a, b) may
give rise to the same pole q.
The residue of <f> (t) for t = a is, in virtue of the functional equation (2-2),
(ct + ba)n+2'
and the residue of f(q) for q = q is
A fdq\ TriAq
(a + ba)n+1 \dr)r=B, (a + ba)n+'‘'
Thus the sum of the terms of our series which cc
(5-2) is
iriA r q q \ _ '2mA
(a + ba)n+1 - q q + qJ ~ (a + ba)n+21
We thus obtain :
Theorem 2. If <f> (t) has one pole only in P, viz., a simple pole a.
with residue A, and \ q \ < 1, then
w " (a + ba)n+1 cf - q2 ’
fc + da\ .
q 1(1—2a)s (l -yr
* All the formulie which we "quote are given in Tannery and Molk’s Tables; see in
particular Tables XXXVI (3), LXXI (3), XCVI, CX (3).
t A full account of the problem of finding r when k is given will be found in Tannery
and Molk, loo. cit., Vri. in, oh. 7 (“ On donne £-> 0u g,, m; trouver t on *,, s>3 ”).
I It will be observed that in this case a is on the boundary of P; see the concluding
remarks of § 4. As it happens, r = i lies on that edge of P (the circular edge) which was
not used in the eoustruction of so that our analysis is applicable as it stands.
318 On certain Modular Functions
The series in curly brackets is the function called by Ramanujan* <J>1|0 andf
1008(1\, = Q‘-PR,
Here. R — 0, so that
1008*,,, = Q1 = 1 + 480®0,:t = 1 + 430 + *31 + ... j .
then (a, — b) and (b, a) each lead to q = ± q, where q-is the conjugate of q.
Thus, in general (a, b) and the solutions derived from it lead to four distinct
poles, viz., ± q and ± q. These four reduce to two in two cases, when q is
real, so that q = q, and when q is purely imaginary, so that q = - q. It is
* S. Ramanujan, “On Certain Arithmetical Functions,” Trans. 'Camb. Phil. Soc., Vol.
xxn, pp. 159—184 (p. 163) [No. 18 of this volume, p. 140].
t Ramanujan, loc. at., p. 164 [p. 142].
1 Ramanujan, loc. cit., p. 163 [p. 141}
On certain Modular Functions 319
easy to see that the first ease can occur only when k = 1, and the second
If k is greater than 2, and is the sum of two coprime squares a? and b", it
gives rise to terms
1 -(?/'q? + l-(?/q)2'
There is, of course, a similar pair of terms corresponding to every other
distinct representation of k as a sum of coprime squares. Thus finally we
obtain the following result:
Theorem 3. If-
( l _ i_ l_ii.
+ " l(a + bif 1 — (q/qj2 + (a - 6ij8 X - (?/q)2) ’
’ ad—bc= 1, 2|ac+M|=a!+i2,
■ whence (c2+c/2)2=(|<zc+Mj-c2-</2)2+l.
This is possible only if c2+cP = 1 and |ac + M| = l, whence a!+i>2=2.
320 On certain Modular Functions
7. It follows that
(7-D iOPll = ^+ +
where a2 is 0 or 1 and 5, 13, 17, ... are the primes of the form 4k+ 1 ; and
the first few values of cA (») are
*(») = !. W = (-D". °r> in)= 2 cos (|>i7r + 8 are tan 2),
0,. (li) = 2 cos (*jwr - 8 arc tan 2), e„ (») = 2 cos (*§n,r + 8 arc tan 5).
The approximations to the coefficients given by the formula (7T) are
exceedingly remarkable. Dividing by \C, and taking n= 0,1, 2, 3, 6, and 12,
we find the following results:
(0) 0-944 (1) 505-361 (2) 270616406
+ 0-059 -1-365 + 31-585
+ 0004 + 0-009
pa = 1000 Pl = 504000 ' p.2 = 270648-000
(3) 144912827002 (6) 22251789962592450-237
- 730-900 + 9057051-688
-0101 + 2081
-0001 - 0 006
pa= 144912096-000 p6 = 22251789971649504000
(12)
524663917940510190119197271938395-329
+1390736872662028-140
+ 2680-418
+ 0130
-0-014
_-0-003
= 524663917940510191509934144603104-000
An alternative expression for C is *
<7=96.r*A'{(1-a-)(1-r*1
by means of which 0 may be calculated with great accuracy*. To five places
we have 2/(7 = 0-94373, which is very nearly equal to 352/373 = 0-94370.
* Gauss, Warte, Vol. nr, pp. 418—419, gives the values of various powers of e~* to a
large number of figures.
On certain Modular Functions 321
It is easy to see directly that pn lies between the coefficients of .*'■ in tilt-
expansions of
1 1-7-5®
(1 - 535®) (1 + 31®) ’ (1 - 535-5®) (1 + 24®) ’
and so that
(535)”+1 - (- 31)n+1 , 352 (535-5)" + 21 (- 24)"
566 " 373
SolTC 1>-
Solution by Srinivasa Ramanujan, iv, 183.
Let x=a + l3 + y, y^a/3 + fly + ya,
46 +2 47 +3 48+4 49 + ...))}]= 4.
Therefore, when x = x,
2/=Lim ttx)4-1 - j (/-^(i^+terms containing x~^, ar1, ete.)tfe|
= l-5 = Ji
since, by Stirling’s theorem,
Alsoy=J when ® = 0.
Though the limits of y are known to be £ and -1 when ar is 0 and co respectively, yet it
is difficult to prove that y lies between \ and J.
The expansion of y in ascending powers of x~l (which can he found from the above
,(h
[See also “Some definite integrals,” Messenger of Mathematics, :v (1915), 10-18, and
pp. 53—58 of this volume, equation (12).]
Question 308 (hi, 1G8):
Shew that
(i) jJ 0 cot0\ogsin8d0~J(log2)2,
Shew that
C) yz rrTT!T-=WS(s+',6)!^W5+1)]'*T"
' If =
then /„ «-5I + * (?) \f(%) ■
Find <fi (n), and hence shew that
0(0)-*, 0(| w)=i, 0(«-)-?.^?,
0(2”-) = 7s. 0(k)=O-
[See “Some definite integrals connected with Gauss's sums," Jrevenger of Xu thematic*,
xuv (1915), 75—85, and pp. 59—67 of this volume.]
Question 464 (v, 120):
2"- 7 is a perfect square for the values 3, 4, 5, 7, 15 of n. Find other values.
[Solution by K. J. Sanjana and T. P. Tvivedi, v, 227—228.]
Question 469 (v, 159):
The number l + »! is a perfect square for the values 4, 5, 7 of n. Find other values.
[Comment by M. Ehimasena Ran, xv, 97.]
Question 489 (v, 200) :
Shew that '
(1 pe-v"5)(1 + «-»"'«)(1 L±y(?f 2 e-*vVSS.
[Solution by A. C. L. Wilkinson, VII, 104. See also “ Modular equations and approxima¬
tions to Quarterly Journal of Mathematics, xtv (1914), 350—372, and pp. 23-39 of
this volume.]
Question 607 (v, 240):
Solve completely s2—y + a} y2=z+a, z-=x + ci;
and hence shew that
(a) J[8 - V{8 + */(8 -...)}]■= 1 + 3 v/3 sin 20°,
(fi) v/[ll-2^/{ll4-2v'(ll-...)}] = l+4sinlOaJ
'* (c) s/[23 - 2 ^{23 + 2 v/(23 + 2 v/23 -...)}] = 1 +4 sin 20°.
Solution by Srinivasa Ramanujan, vr, 74—77.
We have .r=- a=(y* - af - <*={(*» - af- af - a,
or *» - 4M>a + 2x> (3a« - a) - 4x°- (a* - a?) - a- + a* - 2a3 + «z - a = 0.(1)
Evidently y and a also are roots of this equation. But * may be written as
J[a+y)=J{a + J(a+*)}=J[a+J{a+J{a+X)}]
-*/[»+^{aW(« + ...)}W(«+*)-
Hence we have ^ - ,r - a=0; .(2)
therefore a?-x-a nfhst bo a factor of the expression in (1). Now, dividing (1) by
**-*-«, we have
s*+M‘+a*{l-%a)+s?(\-‘la)+x'‘(\-Sa+‘Sa?)+x{l-1a + dl)
+ (l-a+2a2-a3)=,o.(3)
328 Questions and Solutions
Let a, ft y, a', ft, y‘ be the roots of this equation. Then, since y and s are also roots, we
p2=u+y, ji’2=a + y,
y2=a + a, y'2 = a + o'.
Let a+/3+y = w, a' + {3' +y =v;
then we see that a2+/32+y3=3« + ?<,
thatis a/3+/3y+ya=^(«2-M-3a).
Again we have cr/3=«/3+/32, ya? = ay+fry,
y3a=«a+a3, 0/^a/S+tf;
adding up all the six results we have
2a2 (/$ + y) = %a(a+{i + y)+a?+P+yi+a.3+py+ya-,
i. e. (a+/3 + y) (aj3-f&y+ya) - 3a|3y = 2a (a + /3+y) + (a2 +£2 +y‘2) + (a/9 -f /9y + ya),
1+i.3 + 1.3.D'
[Solutions, with remarks, by K. B. Madhava, vm, 17—20.]
Question 546 (vi, 80):
{Solution by X. Sankara Aiyar, vir, 192; also the note by K. J. Sanjana quoted with
reference to Question 546.]
Question 629 (vii, 40):
{Solutions by (1) K. B. Madhava, (2) N. Durai Eajan. and (3) M. Bhimasena Bao,
Tin, 25—30.]
Question 642 (vii, 80):
Shew that
(i) J.(1+HK... + 2lrl_)2^ = i^, ,
Questions and Solutions 831
Question 661 (vn, 119):
Solve in integers
and deduce the following:
63- 53— 3s = 2« 83+ 63 + l3= 3%
' 123- 103+ l3= 3Bj 463 — 37a —33= 6->,
1743 + 1333 — 4o3 = 14e, U883 — 5093 - 33 = 34,:.
[Solutions by N. B. Mitra, xm, 15—17. Additional solution and remarks hy X. B.
Mitra, xiv, 73—77.]
Question 662 (vn, 119—120):
Let AB be a diameter and BO be a chord of a circle ABV. Bisect the minor arc BO at
with A and B as centres and AM and BN as radii, cutting each other at B and >$", and
cutting the given circle again at the points W and N' respectively. Join AN and BM
intersecting at R, and also join AN' and BM‘ intersecting at R'. Through B draw a
tangent to the given circle, meeting AM and AM' produced at Q aud (/ respectively.
Produce AN and M'B to meet at P, and also produce AN' and MB to meet at P\ Shew
that the eight points P, Q, R, S, 6", R\ Q1, P' are cyclic, and that the circle passing
through these eight points is orthogonal to the given circle ABC.
Question 666 (vn, 120):
Solve in positive rational numbers
Foresample: x = 4, y=2; #=3§, y=2£.
[SoMcm by J. C. Swaminarayan and R. Vythynathaswamy, vm, 31.]
Question 681 (vn, 160):
Solve in integers x3+y*+zi= 1,
and deduce the following:
63+ 83= 93-1, 93 + 103= 123 + 1, 1353+ 1383= 1723-1,
7913 + 8123=10103 — 1, 111613+114683 = 142583 + 1, 656013 + 674023 = 838023+1.
[Pcivtial solution by N. B. Mitra, xm, 17. See also N. B. Mitra, xxv, 7*?—77 (*6—77).]
Question 682 (vn, 160):
SJaew how to find the cube roots of surds of the form A + tyB; and deduce that
4/(3/2-D=^-)-^(§)+^a).
[Solution by “Zero,” x,325.]
Question 699 (vn, 199);
Shew that the roots of the equations
(i) — 1=0,
(ii) ^+^-^-^-.*+1=0
can be expressed in terms of radicals.
Question 700 (vn, 199):
trace the changes in 0 when e varies from 0 to 1. In particular, shew that 0 = 30° when
1.
P-M*
P. 4, 1. 4. (12) is true if n is odd and greater than I, and the last terms are given in the
P. 8, 31. 7—9. The proof is invalid as it stands, since the series in the integrand is
divergent when x£n. The same remark applies to p. 9,11. 6—8.
P. 9,1. 2 from below. The coefficients, if integral, are necessarily odd.
P. 10, (32). Apply (31) to the well-known formula
the other roots of th/iodiilar equation *»/(«•) are expressible very simply hy means of
a finite number of the values /(—^), "'here a, b, c, d are integers such that ad-bc=n.
If we put f(nw)=f(v>) in the equation it splits up into factors, the roots of each factor
being of the form f£ (a), where now D is a, function of n and a is a root, with positive
imaginary part, of one of the system of non-equivalent quadratic forms of determinant -■’I).
Each of these factors in turn splits up info simpler factors, whose roots are now restricted
to belong to a genus of quadratic forms of determinant -D. All this is developed in
chapters xvii—xx of Weber’s book. It appears from Ramanujan's 5; 4 that he was not
aware that the character of the surds for G?» and depends on the number of classes of
quadratic forms.
“Ramanujan’s method of approximating to ir by means of equations
where m is nearly an integer, is due to Hermite. See Ch. Hermite, ‘ Sur la theorie des
equations modulaires’ [Comptes Rendus, 16 May, 13 June, 20 June, 4 July, 18 July, and
25 July, 1859 (20 June), and CEuvres, vol. II, pp. 38—82 (pp. 60—61)]; L. Kronecker,
Berliner Monatsberichte, 1863, pp. 340—345; and H. J. S. Smith, ‘ Report on the theory
of numbers ’ [Report of the British Association, 1865, pp. 3-22—375, and Collected Papers,
vol. I, pp. 289—358 (p. 357)]. Hermite and Kronecker give some of Ramanujan’s approxi¬
mations, or results equivalent to them. On the other hand Ramanujan’s method of
obtaining purely algebraical approximations appears to be new.
“It is unfortunate that Ramanujan has not developed in detail the corresponding
theories referred to in § 14. His IC1 is
which is reducible to an elliptic integral. The result in § 15, that K can be expressed
in terms of r-functions when q is of the forms e~*n, e'”’**'2, e~'^n,,3 and n is rational, also
seems to be new. It may be deduced from the equation
2* (1 - f) (1 - q>)... = (2W)i •
For the left-hand side is Weber’s tj (w) (Weber, l.c., p. 85), and there is an algebraic
equation connecting r) (mi) and o (nut) when n is an integer. There is also an algebraic
equation connecting kp and its transformed value, and so one connecting K and its trans¬
formed valuo. Finally, K is known in terms of r-funetions when q is e~”, e~7r‘12, or e~”/3:
for these classic results see Whittaker and Watson, Modem Analysis (ed. 3, 1920), pp. 524—
526.
theory of the algebraic equations connecting A (wq, k>2) and A (nwu wf), see their Elliptisehe
Modulfunktionen, vol. n, pp. 62-82. See also pp. 117—159 for the theory of the modular
equation and for further references.”
7.
P. 40, (4). If R (x) > 0, we have
■ T5 + p-6S“^+95+*"“^(^2"l)+472lQ8(1+*/3)*
P. 42, § 4. Since -1 < t(x) < 1 in (15), the a’ of this section must in the first instance
lie (when real) between — £ and The results must then be extended by analytic
continuation, in which some care is necessary with the'many-valued functions.
P. 43, (26). The real parts of a and 0 must be positive.
The transcendent considered in this note is closely connected with the integrals
metrie” and “Anwendung der imaginaren Geometrie auf einige Integrate” (German
ion by H. Liebmann, Leipzig, 1904); and L. J. Rogers, “ On function sum theorems
lected with the series Sn-***", Proc. London Math. Soe. (2), vol. iv (1906), pp. 169-189.
It appears from Ramanujan’s notebooks that he had found the values of
for the special values §, 2, $(^5-1),..., given by Bertrand, and Rogers’ result that
L (a-) +L(g)-L (ay) - L -L
is an elementary function, without knowledge of the work of these writers.
9.
P. 48,1.17. The constant is of course the constant of the Euler-Maclaurin sum-formula,
which is in this case f (1 - r).
n.
P. 57, bottom. The reference is to G. H. Hardy, “ Proof of a formula of Mr Ramanujan
Messenger of Math., vol. xliv (1915), pp. 18—21. The proof given by Hardy depends on
the application of Cauchy’s Theorem to the integral
12.
P. 61, bottom. The theorem referred to is due to Lerch. See M. Lerch, “Sur un point
de In theorie des fonctions generatrices d’Abel ”, Acta Math., vol. Jtxvir (1903), pp. 339—351;
E. W. Hobson, “The fundamental lemma of the calculus of variations”, Proc. London
Math. Soc. (2), vol. xi (1911), pp. 17—28. Lerch proves that if f{x) is continuous and
/(»><to-0
for a=a+nfi (vi = 0, 1, 2,...), then f(x)=0. A substantially equivalent theorem is that
jA<‘f(tc)dx = 0 (»“0, 1, 2,...)
implies f(x) = 0. Hobson gives more general forms of this result. Ramanujan requires
only the special case of Lerch’s theorem in which the integral vanishes for all (sufficiently
large) positive values of a; this indeed was one of his favourite weapons.
P. 63, § 3. See A. L. Cauchy, Exerctces de mathematiques, vol. n (1827), pp. 141—156.
A great deal of calculation is suppressed in this paper, and the verification of par¬
ticular formulas i.s sometimes laborious. More general results were found independently by
L. J. Mordell, “The value of the definite integral j dt”, Quarterly Journal of
Math., vol. xlviii (1920), pp. 329-342.
14.
Ramanujan does not attempt to use his identities to obtain approximations to f (s), hut
the idea of splitting up £(«) into two parts is the same as that which underlies Hardy and
Littlewood’s “ approximate functional equation ”. See G. H. Hardy and J. E. Littlewood,
11 The zeros of Biemann’s Zeta-function on the critical line ”, Math. Zeitschrift, vol. X (] 921),
pp. 283—317; and “ The approximate functional equation in the theory of the Zeta-
function, with applications to the divisor problems of Dirichlet and Piltz ”, Proc. London
Math. Soc. (2), vol. xxi (1923), pp. 39-74.
This paper was followed in the Quarterly Journal by a short note by Hardy which we
ono repro uce. jg
P. 79,1. 6 from below. The identity attributed to Hardy was first proved by Vnronol:
seeG. H. Hardy, “On Diriohlet’s divisor problem”, Proc. London Math. Soc. (2),apl. xv
(1916), pp. 1—25 (p. 21). The result referred to immediately above, viz. that (in the
notation of 17) At (») is of order not lower than mi, was proved independently and almost
simultaneously by Hardy [f.c. supra, and “Sur le problkme des diviseurs de Dirichlet”,
Comptes Rendus, 10 May 1915] and Landau [“tlber die Gitterpunkte in einem Kreise
(Zweite Mitteilung)", Gottinger Nachrichten, 1915, pp. 161—171: see also “tfber die
Heckesche Ptmktionalgleichnng”, ibid., 1917, pp. 102—111 (footnote 3 to p. 102)]. For
further developments, see the notes to 17.
P. 80,1. 5. See also E. Landau, Sandbuoh der Lehre von der ferteilung der PrimeahUn,
§ 60, pp. 219—222.
P. 85,1. 8 from below. The argument beginning “How, if if is a function of t,..." is
correct in principle but expressed in a puzzling manner. Write ..
d (17) £ (l +-7^) ,
where A is constant, and allow t to vary iu a range (T, log E), where T is sufficiently large
but fixed. It is then easily verified that the right-hand side is greatest when t=log N.
340 Appendix I
P. 134, footnote t. See G. H. Hard}', “ On Dirichlet’s divisor problem”, Proc. London
Math. Soc. (2), vol. sv (1916), pp. 1—23. We take this opportunity of observing that (as
was pointed out to us by Professor E. Landau) Hardy states there rather more than is
justilied. His argument proves that A, (n) is sometimes greater than K (n log»)i log log n,
and so justifies Ramanujan's statement, but it fails to prove that Aj («) is sometimes less
than - K (n log n)k log log n. For further results in this direction see G. Szego und A.
Walfisz, “tlber das Piltzselie Teilerproblem in algebraisohen Zahlkorpern”, Math.
Zeilschrift, vol. xxvi (1927), pp. 138—136 and 467—486.
18 .
Many of the results conjectured by Ramanujan in the latter part of this paper wore
afterwards proved by Mordell: see L. J. Mordell, “On Air Ramanujan’s empirical
expansions of modular functions”, Proc. Cumb. Phil. Soc., vol. sis (1919), pp. 117—124.
In particular Mordell proves Ramanujan’s results (101), (103), (118), (123), (127), (128),
and (159), and indicates bow, in a similar way, proofs of (155) and (162) may be obtained.
A considerable number of problems remain open for future research. Thus Ramanujan’s
UJe0Ur |rW|S»^{«)
(p. 163, equation (105)) is atiil unproved; it is uot even known that r(») = 0 (?s‘V + e) for
every positive e, though Hardy has proved that r (u) = 0 (a°) and
{r(l)^+!T(-2)P + ... + {r(».)p=0(tt>=).
Similar questions remain open concerning the functions (>i).
Other interesting problems suggested by Ramanujans work are those of finding
asymptotic formulas for
<i(l)d(«-l)+d(2)d(n-2) + ...+tf(«-l)tf(l)
and 2 d(»)rf(» + i), 2 r(n)r(n + k),
%<x »S.r
where r(n)=r2(n).
It has been proved by A. E. Ingham [“Some asymptotic formulas in the theory of
numbers ”, Journal London Math. Soe., vol. n (1927), pp. 202—208] that
^2 d («) d («+k) - ^ * (log .r^s g+0 (* log a),
and Jsrf(,)d(»-v)=^»(2i2(lOgi)S+0(»lOg»sJ)i
more generally, iDgham obtains asymptotic formulas for
Jv.Wv.ts + i), ^<r,{y)a,{n-r)
valid for all real positive values of r and s.
Among other recent memoirs dealing with similar questions we may mention
L. J. Mordell, “On the representations of numbers as a sum of 2r squares”, Quarterly
Journal of Math., vol. xlviii (1920), pp. 93-104;
L. J. Mordell, “ On the representations of a number as a sum of an odd number of
squares”, Trans. Canib. Phil. Soc., vol. xxn (1923), pp. 361—372;
G. H. Hardy, “ On the expression of a number as the sum of any number of squares,
and in particular of five or seven”, Proc. National Acad, of Sciences, vol. iv (1918),
pp. 189—193;
G. H. Hardy, “On the representation of a number as the sum of any number of
squares, and in particular of five", Trans. American Math. Soc., vol. xxr (1920), pp. 255—284;
’G. H. Hardy, “Note on Ramanujau’s arithmetical function t(m)”, Proa. Canib. Phil.
Soc., vol. xxni (1927), pp. 675—6S0;
Notes on the Papers 341
G. K. Stanley, “On the representation of a number as the sum of seven squares =,
Journal London Math. Soc., vol. II (1927), pp. 91—96;
E. Landau, “Uber Gitterpunkte in mehrdimensionalen Ellipsoidon”, Math. Zeitschrift,
vol. XXI (1.024), pp. 126—132, and vol. xxiv (1926), pp. 299-310;
A. Walfisz, “Uber Gitterpunkte in mehrdimctisionalen EHipsoiden’', Math. Zeitschrift.
vol. xix (1924), pp. 300—307, and vol. xxvi (1927), pp. 106-124 ;
H. Peterssou, “Uber die Anzahl der Gitterpunkte in mehrdiniensionalen Ellipsoideu”,
Hamburg Math. Abhandhmgen, vol. V (1926), pp. 116—150.
These memoirs give further references to the literature of the subject.
P. 170. It has been pointed out by L. E. Dickson that Ramanujan overlooks the fact
that (1, 2, 5, 5) will not represent 15 : see his note in the Bulletin aimer. Math. Soc. referred
to below. This reduces the 55 forms to 54.
P. 171,1. 6. The forms 1, 1, 3, 3 and 1, 2, 3, 6 were considered also bv H. .1. S. Smith,
Collecteana Mathematica in memoriaa Motmmci Chelini (lhtsl), pp. 117—143 (Collected
Math. Papers, vol. II, pp. 287—311, particularly pp. 309—311!.
Pp. 171—172. A number of the results concerning ternary forms stated bv Ramanujan
seem to be new. In this connection Prof. Mordell writes: "suppose that
f(*, V, »)=«af!+4y+c*-+2#*+20f^ + 2/uy
is a properly primitive positive ternary form, so Hint a, b, c, t, g, h have no common factor
and a, b, c are not all even. This form lias two arithmetical invariants for linear transfor¬
mations of determinant 1, namely the invariants 12, A dehned by -
(1) ■ b f =a*A,
(2) a is the highest common factor of the coefficients of the adjoint form
F(x, y, z) = {be -f*) a? + ... + 2 (gh - af) ys + ....
There are only a finite number of classes of forms with given invariants a, A.
Consider the simplest case, in which a and A are both odd. If/ is auy form of a given
class, <0 is any prime factor of a, and & auy prime factor of a, the symbols of quadratic
(3)
reciprocity
hav^onstant values for all x, y, z which make/ prime to and F to 5. In fact, given F,
we can find a $ equivalent to/, with adjoint <&, such that
<f> = a.22 -J-/3Q;/2 -b yQ. A22, 4> = ftyQ,£xl + yaky- + a/322,
where a, ft, y are odd and afty= 1, the congruences being to modulus F: see P. Bachmann,
Die Arithmetik der quadratkehen For men, vol. I (Leipzig, 1S93), p. 54. Hence, if « is any
prime factor of Q, and iV=&>,
ffl-(f)-G)-
and is independent of x, y, z.
Hence the classes may be subdivided into genera corresponding to the values of the
symbols (3). Given a genus, we can calculate
M£K£>(~i)Mn+1>li+l>’
and it may be shewu that
^(-IjKV+DinF+H;
342 Appendix I
If B=-l for a particular genus, we deduce from this that f(x, y, z) can take odd
values congruent to A, 3A, oA (mod 8), but not those congruent to 7A. If e.g.
then A = Q = 1, so that there is only one form in the genus, and E= - 1. Hence f takes
odd values congruent to 1, 3, 0 (mod 8), but not those congruent to 7. Similarly xi+yi + hz1
takes odd values congruent to 1,5, 7, but not those congruent to 3. "When B=\, the form
It is thus a simple matter to write down the conditions that a given odd number m,
which must of course give the symbols their appropriate values, should be represent¬
able by a given genus of forms; and when there is only one form in the genus, the problem
of representation of an odd number by that form is solved. The results for even numbers
aP+if+z2 and x2+y2+5P ,a divisible by 4 only if x, y, z are all even, so that the
forms cannot assume the values la($n + 7) or 4“(8ii + 3) respectively; but the residues
2 and 6 (mod 8) cannot be disposed of so simply.
The foundations of the theory were laid by Eisenstein [Journal fur Math., 35 (1847),
117—136 ; or Math. Abhandlungen, 177—206], and it is likely enough that he knew most
will represent all odd numbers, and that he will not delay to discuss even numbers also. I
may add that some of Ramanujan's results are easily deduced from the fundamental result
about the form (3T). Thus m = x2+y2 +2z2 gives
2»i=(*+3-)*+(x - y)2+(2z?=P + ,2 + T,
say, and f, r? have the same parity. If both are even, m is even and
i ™=(W+(iir-+A
which is possible unless m = 2.4’'(8/i+7). If both are odd, m is odd. In this case 2<n is
representable by three squares, say
2m=A'*+ Y* + Z\
25.
Alternative proofs of (1) and (2), and a proof of (3), appear in No. 30. The results (5),
(7), and (8) are corollaries. The manuscript from which No. 30 is extracted also contains
alternative proofs of (4), (6), and a proof of (9), which we hope may ultimately he published.
For other proofs of (1) and (2) see
H. B. C. Darling: (1) “On Mr Ramanujan’s congruence properties of p(n)”> Proc.
Camb. Phil Socvol. xix (1919), pp. 217—218; (2) “Proofs of certain identities and con¬
gruences enunciated by S. Ramanujan”, Proc. London Math. Soc. (2), vol. xix (1921),
pp. 350—372; -* '
L. J. Rogers, “On a type of modular relation”, Proc. London Math. Soc. (2), vol. xix
(1921), pp. 387-397;
L. J. Mordell, “Note on certain modular relations considered by Messrs Ramanujan,
Darling, and Rogers”, Proc. London Math. Soc. (2), vol. xx (1922), pp. 408—416.
344 Appendix I
26.
This p/ipnr appeared in the Proceedings of the Cambridge Philosophical Society
accompanied by an explanatory note by Hardy and a new proof of the identities by
Rogers, to whom the identities are originally due. Both these notes are reprinted below.
1. By G. II. Hardy. •
The identities in question are those numbered (10) and (11) in each of the two following
I ?3 (1 - 2°)+?u (1 - ?10) - ■ ■ ■ ■
(l-jfl-ysq-yW (1 —y10) —...
(1-})(1-S3)(l-S3)
= (1 -f){l-P)(l-q")(l-qu)..: •"(11)
For a proof that p (lln + Sj-O (mod 11) see No. 30. The manuscript from which
No. 30 was extracted contains a proof that r (5n) = 0 (mod 5); others were given by.
Darling (2) and Mordell in the papers referred to under 25.
29.
Proofs of the two formula} stated here were given later by Rogers and Mordell: see the
papers referred to under 25.
30.
The footnote by Hardy explains the history of this paper. It is impossible to include
more of it without very elaborate editorial work, hut we hope that the manuscript may
ultimately be published in full. In connection with the questiou of the parity of p (n), see
P. A. MaeMahon, “Note on the parity of the number which enumerates the partitions of
a number”, Proc. Camb. Phil. Soc., vul. xx, 1921, pp. 281—283, and “The parity of p (n),
the number of partitions of n, when n s 1000”, Journal London Math. Soc., vol. i, 1926,
pp. 2*24—225.
31.
A number of misprints in the original have been corrected.
In connection with this paper, and the more elementary parts of No. 36, the reader
36.
P. 287, § 3-1. Sec also the memoirs of Knopp and Schur referred to under 34.
Mr T. Timyaraghavan has proved that, if cn SO, /(.».’) — 2cnxn, and
.r) ~ A N'(I -x) exp ,
and CiX^pf
fora constant B; and that these results are substantially the best of their kind.
then T.„ZHn, so that the condition is also necessary. For the evaluation of P, and a less
2>. — 2 4 8
log«» log 2 log 3 log 4
+ + +->
^
so that the formula is convergent. The second example differs only trivially.
APPENDIX II. FURTHER EXTRACTS FROM
RAMANUJAN'S LETTERS TO G. H. HARDY
We give here the theorems stated by Ramanujan in his letters from India, apart from
those already quoted in Hardy’s notice, and those given on one sheet of the first letter
which has been lost. The gaps in the numeration correspond to the formulse printed in
the notice. Thus the formula) (20), (i) and (v), missing on p. 353, will be found on p. xxix,
and what is printed under (21) on p, 353 is a continuation of what appears under the same
number on p. xxix.
I. I have found a function which exactly represents the number of prime numbers less
than “exactly ” in the sense that the difference between the function and the actual
number of primes is generally 0 or some small finite value even when x becomes infinite.
Jirti
854 Appendix II
12 Jan. 1920.
[This letter was written under difficulties and is in places very obscure. Ramanujan
however makes it clear that what he means by a “mock ^-function'5 is a function, defined
by a ^-series convergent for j q | < 1, for which we can calculate asymptotic formula),
when q tends toa “rational point” e2l'wlls) of the same degree of precision as 'those furnished,
for the ordinary 5-functions, by the theory of linear transformation. Thus he asserts, fa-
example, that if
^({)=1+I+?+(i+}!jii+rt+-’
_+.!_t_+
x(?)=1 + + • ■• ■• >
^ (?)-/(?) = 3^
[/■(#) being the function defined above].
Mock ^-functions (of 5th order).
(1-ff4) (l-2s)(l-?°)
1-2 (1-2!)(1-23)'T(1-23)(1-24)(1-s5) + -
2 22
•P( ):=r^+(i-! ) (i-ri)+(i-?)(i-20) (i-r)+"'
satisfy similar relations.
Mock ^-functions {of 1th order).