Pub - Introduction To The Theory of Fouriers Series and PDF
Pub - Introduction To The Theory of Fouriers Series and PDF
THEORY OF FOURIER'S
SERIES AND INTEGRALS
BY
H~ s~ ·. CARS LAW
Sc. D. (CAMBRIDGE), D. Sc. (GLASGO\V), F.R.S. E.
PROFESSOR OF MATHEMATICS IN THE UNIVERSITY OF SYDNEY
FORMERLY FELLOW OF E!VIl\IANUEL COLLEGE, CAI\IBRIDGE, AND LECTURER I~ l\IATHEI\IATICS
IN THE UNIVERSITY OF GLASGOW
THIS book forms the first volume of the new edition of my book
on Fourier's Series and Integrals and the Mathematical Theory of the
Conduction of Heat~ published in 1906: and now for some time out
of print. Since 1906 so much advance has been made in the Theory
of Fourier'_s Series and Integrals, as well as· in the 1nathematical
discussion of Heat Conduction, that it has seen1ed advisable to
write a completely new work, and to issue the same in tvvo volumes .
The first volume, which now appears, is concerned with the Theory
of Infinite Series and Integrals, with special reference to Fourier's
Series and Integrals. The second volume will be devoted to the
Mathematical Theory of the Conduction of Heat. ·
No one can properly understand Fourier's Series and Integrals
without a knowledge of what is involved in the convergence of
infinite series and integrals. With these questions is bound up
the development of the idea of a limit and a function, and both
are founded upon the modern theory of real numbers. The first
three chapters deal with these matters. In Chapter IV. the Definite
Integral is treated from Riemann's point of view, and special
attention is given to the question of the c~nvergence of infinite
integrals. The theory of series whose terms are functions of a
single variable, and the theory of integrals which contain an arbi-
trary parameter are discussed in Chapters V. and VI. It will be
seen that the two theories are closely related, and can be developed
on similar lines.
rrhe tre~tment of Fourier's Series in Chapter VII. depends on
Dirichlet's Integrals. There, and elsewhere throughout the b'ook,
the Second Theorem of Mean Value will be found an essential part
of the argument. In the same chapter the work of Poisson is
adapted to modern standards, and a prominent place is given
to Fejer's work, both in the proof of the fundamental theorem
v
VI PI~EFACE
EMMANUEL CoLLEGE,
CAMBRIDGE, Jan. 1921.
CONTENTS
HISTORICAL lNTRODUCTIO~ 1
CHAPTER I
RATIONAL AND IRRATIONAL NUlviBER.S
SI<:CTION
CHAPTER II
INFINITE SEQUENCES AND SERIES
11. Infinite Aggregates - 29
12. The Upper and Lower Bounds of an Aggregate 30
1:3. Lirniting Points of an Aggregate 31
14. Weierstrass's Theoren1 32
15. Convergent Sequences 33
16. Diverge.nt and Oscillatory Sequences 37
17. Monotonic Sequences 39
.•
18. A Theorem on an Infinite Set of Intervals 40
19-23. Infinite Series 41
vii
'•'
Vlll CONTENTS
CHAPTER III
FUNCTIONS OF A SINGLE V ARI.ABLE. LIMITS .AND
CONTINUITY
SECTION PAGE
CI-IAPTER IV
THE DEFINITE INTEGRAL
38. Introductory 76
39~ The Snn1s S and s 77
40. Darboux's Theorern 7H
41. The Definite Integral of a Bounded ~__.,nnct.ion - 81
42. Necessary and Sufficient Conditions for Integrability 82
43. Integrable Functions - 84
44. A Function integrable in (a, b) has an Infinite Nurnber of Points
of Continuity in any Partial Interval of (a, b) 86
45-47. Some Properties of the Definite Integral 87
48. The First Theorem of Mean Value - 92
49. The Definite Integral considered as a Function of its Upper
Limit - 93
50. The Second Theorern of Mean Value 94
51-56. Infinite Integrals. Bounded Integrand. Infinite Interval 98
57-58. The Mean Value Theoren1s for Infinite Integrals 109
59-61. Infinite Integrals. Integrand Infinite - 111
CHAPTER V
THE THEORY OF INFINITE SERIES vVHOSE TERMS ARE
FUNCTIONS OF A SINGLE VARIABLE
SECTION PAGE
CHAPTER VI
DEFINITE INTEGRALS CONTAINING AN ARBITRARY
PARAMETER
184
CHAPTER VII
FOURIER'S SERIES
SECTION PAGE
CHAPTER VIII
THE N.ATURE OF THE CONVERGENCE OF FOURIER'S
SERIES
CHAPTER IX
THE APPROXIMATION CURVES AND GIBBS'S PHENOME·NON
IN FOURIER'S SERIES
116. Gibbs's Phenornenon for the Series 2 ±sin (2r - 1) X' 277
1·=1 2r -1
117. Gibbs's Phenon1enon for Fourier's Series in generctl ' 280
CONTENTS XI
CHAPTER X
FOURIER'S INTEGRALS
SECTION PAGE
0 1
2 Jl ~ 1 ( .
+- ,L..J- Sill n7rX I Sill
• F( ') d /
•
117rX Slll n7rat ) X X .
n
Cf/rr· 0 1
*Paris, Hist. Acctd. sci., 1754 [59], Art. iv. (tTnly 1757).
t Jletrop. }l. Acta., 11, 1793 [98], p. 94 (May 1777).
4 HISTORICAL INTRODUCTION
Cio==
1
27r
Jrr-rrj.(x')d X' I
an == .!_Jrr f (X 1
) cos 'nx' clx 1
,
7r - rr 11 ::>- 1'
bn == !.Jrr f (X 1
) sin rnx' clx 1
,
7r - rr
are inserted in the terms of the series
a 0 + (a 1 cos x + b1 sin x) + (a 2 cos 2x + b2 sin 2x) + ... ,
the su1n of the terms up to cos nx and sin nx is
!_Jrr f( x sin ~(211 + 1) (X
1
1) - x) l I
. 1 , ) ex.
7r - rr" Sill 2 (X - X
He then discussed the li1niting value of this sun1 as 1·~ becomes
-x· Dirichlet, J. Math., Berlin, 4, p. 157, 1829.
t (]J)uvres (le J?ourier, T. I., p. 512, 1888 ..
5
infinite, and thus obtained the sum of the series now called
Fourier's Series.
Fourier made no claim to the discovery of the values of the
coefficients _ 1 Jrr . 1 . , 1
a 0 - 2 7r -rrj(x )dx,
an= _!_
7r
r
- rr
j( x') cos nx' clx', 1
n =:~ 1.
1 J'Tr J'( X) Sll1 IJ~~:e Gl X, J
lJn ==- 1· • 1 1
7r - 7r
"'~ Cf. Rien1ann, "Uber die Darstellbarkeit einer :Function durch cine trigono-
nletrischc Rcihc," Gottingen, AlJh. C/es. Tr1:ss., 13, § 2, 1867.
6 HIS'rORICAL INTRODUCTION
his arguments and results. His first paper upon the Theory of
Heat was presented in 1807. The Academy, wishing to en-
courage the author to extend and improve his theory, made the
question of the propagation of heat the subject of the grand
prix cle rr~;athernatiq'Ues for 1812. Fourier sub1nitted his
Memoire sur;~~ la _propagation cle la Chaleur at the end of 1811
as a candidate for the prize. The memoir was referred to
Laplace, Lagrange, Legendre, and the other adjudicators ; but,
while awarding hirn the prize, they qualified their praise with
criticisms of the rigour of his analysis and methods,* and the
paper ·was not published at the time in the JJ!le?noiTes cle
l'Academie des Sciences. Fourier always resented the treatrnent
he had received. \Vh~n publishing his treatise in 1822, he
incorporated in it, practically without change, the first part of
this memoir; and two years later, having become Secretary of
the Academy on the death of Delambre, he caused his original
paper, in the form in which it had been comrnunicated in 1811,
to be published in these ~fer;noir;"es.t Probably this step vvas
taken to secure to himself the priority in his important discoveries,
in consequence of the attention the subject was receiving at
the hands of other mathematicians. It is also possible that he
'vished to show the injustice of the criticisms which had been
passed upon his work. After the publication of his treatise,
when the results of his different tnemoirs had becon1e kno\vn, it
was recognised that real advance had been made by hi1n in the
treatment of the subject and the substantial accuracy of his
reasoning was admitted.t
1. 9./
-
(,
... ~ COS
) h 2 =1+2L.:h"cosn(x'-x),
X - X + . 1
_ rr
/(
1 - 2h cos ( X 1
- ~~) + h2 ex
= r;<x')dx' + 2~h"rj(x') cos n(x' -x) dx'.
we are not entitled to assert that this holds j'or the value h == 1,
unless we have already proved that the series converges· for this
value. This is the real difficulty of Fourier's Series, and this
limitation on Poisson's discussion has been lost sight of in some
presentations of Fourier's Series. rrhere are, however, other
directions in vvhich Poisson's method has led to most notable
results. rrhe importance of his vvorl{ cannot be exaggerated.*
After Poisson, Cauchy attacl{ed the subject in different rnemoirs
published from 1826 onvvards,t using his 1nethod of residues, but
his treatment did not attract so much attention as that given
about the same time by Dirichlet, to 'vhich we now turn.
Dirichlet's investigation is contained in t\vo memoirs which
appeared in 1829 t and 1837. § The Inethod which he employed
we have already referred to in speaking of Fourier's work. He
based his proof upon a careful discussion of the limiting values
of the integrals
a sin fJ.X
f(x) . dx ... a>O,
Jo Sln X
b · sin p.X
f(x) . dx ... b>a>O,
JCf- Slll X
'fhe sum
S ==(xi- Xo)f(xl) + (x2- xl)f(x2) + ···+ (x-n- ~r;n -1)/(xn)
is formed. And the integral J>(x) clx is defined as the limit of
of this surn, if such exists, ·w· hen the nurn ber of the partial
intervals is increased indefinitely and their length tends to zero.
Riemann's treatment, given in the text in a ~lightly rnodified
form, is now generally adopted in a scientific treatrnent of the
Calculus. It is true that a n1ore general theory of integration
has been developed in recent years, chiefly due to the writings
of Lebesgue,* de la \T allee Poussin and Young; that theory is
mainly for the specialist in certain branches of Pure Mathe-
nlatics. But no mathematicia.n can neglect the concept of the
definite integral which Riemann introduced.
One of the immediate advances it brought was to bring within
the integrable functions a class of discontinuous functions vY hose
discontinuities were infinitely nun1erous in any finite interval.
An example, now classical, given by Riernann, vvas the function
defined by the convergent series:
1 + [1x2] + [22:i.j J+ ... [11~
1~i.j
[Cf. § 102.]
IIardy's theorem, combined with Fejer's, leads at once to a_
new proof of the convergence of Fourier's Series, and it can also
be applied to the question of its uniforrn convergence. Many of
the results obtained by earlier investigators follovv directly from
the application to Fourier's Series of the general theory of
summable series. t
Recent investiga~ions show that the coefficients in Fourier's
Series, now frequently called Fourier's Constants, have irn-
portant properties, independent of whether the series converges
or not. For example, it is now known that if f(x) and ¢(x)
are two functions, bounded and integrable in (- r., r. ), and a 0 ,
arrP bn are Fourier's Constants for f(x), and a 0', an', bn' those
for ¢ (x ), the series
00
1
converges, and its· su1n is -Jrr f(x) ¢(x) clx. To this theorem,
7r -rr
* lJ!Jat h.
Ann., Leipzig, 58, 1904.
tOhapnutn, (J. J . .il!ath., London, 43, 1912; Hardy, London, .l~1·oc . .1lfath. Soc.
(Ser. 2), 12, 1913.
14 HISTORICAL INTRODUCTION
and to the results which follo'v frotn it, 1nuch attention has
recently been given, and it n1ust be regarded as one of the most
important in the vv hole of the theory of Fourier's Series.*
The question of the approxin1ation to an arbitrary function by
a finite trigonon1etrical series was examined by Weierstrass in
1885.t He proved that if Jf!(x) is a continuous and periodic
function, given the arbitrary small positive quantity e, a finite
Fourier's Series can be found in a variety of ways, such, that the
absolute value of the difference of its sun1 and f(x) will be less
than e for any value of x in the interval. This theorem was
also discussed by Picard, and it has been generalised in recent
memoirs by Stekloff and l(neser.
In the san1e connection, it should be noted that the application
of the method of least squares to the determination of the
coefficients of a finite trigonometrical series leads to the Fourier
coefficients. This result was given b~y Topler in 1876.t As
rnany applications of Fourier's Series reall~y· only deal with a
finite number of terms, these results are of special interest.
From the discussion of the Fourier's Series it was a natural
step to turn to the theory of the Trigonometrical Series
a 0 + (a 1 cos x + b1 sin x) + a 2 cos 2x + b2 sin 2x) + ... ,
where the coefficients are no longer the Fourier coefficients.
The most important question to be answered was whether such an
expansion vvas unique; in other \vords, whether a function could
be represented by more than one such trigono1netrical series.
This reduces to the question of whether zero can be represented
by a trigonotnetrical series in which the coefficients do not all
vanish. The discussion of this and similar problen1s was carried
on chiefly by Heine and Cantor,§ from 1870 on"\vards, in a series
of papers which gave rise to the modern Theory of Sets of Points,
another instance of the remark.able influence Fourier's Series have
had upon the development of 1nathematics. I! In this place it will
* Cf. Young, London, Proc. R. Soc. (A), 85, 1911.
tJ. Jlfath., Berlin, 71, 1870.
tTopler, JVien, Anz. Ak. fViss., 13, 1876. §Bibliography, p. 305.
II Van Vleck, "The Influence of Fourier's Series upon the Development of Mathe-
n1atics," An~erican Association for the Advancernent of Science (Atlanta), 1913.
See also a paper with a similar title by Jourdain, Scientia, Bologna (Ser. 2), 22,
1917.
HISTORICAl_. INTRODUCTION 15
be sufficient to state that Cantor showed that all the coefficients
of the trigonon1etrical series rnust vanish, if it is to be zero for
all values of x in the interval (- 7r, 7r ), with the exception of
those vvhich correspond to a set of points constituting, in the
language of the rrheory of Sets of Points, a set of the 1~th order,
for \vhich points \Ve know nothing about the value of the series.
REFEB,ENCES.
BuRKHARDT, "Ent·wicklungen nach oscillirenden Functionen," Ja.lzresber.
D. Jv!ath. TTer., Le£pzig, 10, 1901.
GIBSON, '·'On the History of the Fourier Series," Edinburgh, Proc. Math.
Soc., 11, 1893.
RIEMANN, " Uber die ])arstellbarkeit einer Function durch eine trigono-
nletrische Reihe," Gottingen, .Abh. Ges. JY~'ss., 13, 1867 ; also JYerke, pp.
213-250.
SAcHsE, Yersuch einer Geschichte der Darstellung willkiirl1'che1' Functionen
d~wch t?·igononwtrische lleihen, Diss. Got.tingen, 1879; also Zs. Math., Lm:pz1'g,
25, 1880, and, in French, Bul. sc1·. 1nath., l)aris (Ser. :3), 4, 1880.
RATIONAL AND IRI~ATIONAL NUMBERS
THE SYSTEM OF REAL NUMBERS
*When 've say that a set of things has a finite number of men1bers, we n1ean
that there is a positive integer n, such that the total number of men1bers of the
set is less than n.
When we say that it has an infinite number of .nletubers, \Ve n1ean tha,t it has
not a finite nun1ber. In other words, ho,vever large n n1ay be, there are more
1nen1bers of the set than n.
t Cf. Hobson, London, Proc . .ilfath. Soc. (Ser. 1), 35, p. 126, 1913; also the san1e
author's r_pheory of Functions of a Real Variable, p. 13.
C. I B
lt-S RATIONAL AND IRR,ATIONAL NUMBERS
-2 -1 0 2
FIG. 1.
This would occur if, for example, we put the nun1ber 5 and
all the numbers greater than 5 in the upper class, vvhile in the
lower class we put all the nutnbers less than 5.
It is in1possible that the lovver class can have a greatest
nutnber 11t, and the upper class a sn1allest nun1ber n, in the
san1e division of the rational numbers~ for between the rational
numbers ?11 and n there are rational nutnbers, so that our hypo-
thesis that the tvvo classes contain all· the rational numbers is
contradicted.
But a third case can arise :
(III) The lower clciss ca11 have. 1~0 g1 eatet-Jt n u1nber a'nd the
11
all the rational numbers of its lower class, and less than all the
rational numbers of its upper class.
Such divisions are usually called sections. t The irrational
number ~2 is defined by the section of the rational numbers
described above. Si1nilar sections would define the irrational
numbers ~3, :J5, etc. The systen1 of irrational nun1bers is
· given by all the possible divisions of the rational numbers into a
lovver class A and an upper class B, such that every rational
nurnber is in one class or the other, the nun1bers of the lower
class being less than the numbers of the upper class; while the
lower class has no greatest nurnber, and the upper· class no
sn1allest nurnber.
In other vvords, every irrational nu1n ber is defined by its
section (A, B). It may be said to "correspond" to this section.
*The rational nu1nber 1n could correspond to two sections : the one nan1ed in
the text, and that in 'vhich the lower class A contains all the rational nnn1bers
less than 1n, and the upper class B, 1n and all the rational numbers greater than nz.
'To save an1biguity, one of these sections only n1nst be chosen.
22 l=tArriONAL AND IRRATIONAL NUJ\1BERS
greater than this nutnber also belong to B'. The class A thus contains an
infinite nun1ber of 1nen1bers of the class B', \vhen a> a'.
If a real nun1ber a is greater than another real nun1ber a', then a' is less
than a.
It \Vill be obser\red that the notation >, =, < is used in dealing with real
nun1bers as in dealing \vith rational nun1bers.
The real nun1ber f3 is said to lie bet1veen the real nutnbers a and y, when
one of then1 is greater than f3 and the other less.
With these definitions the systen1 of real nun1ber·s is ordered. If \Ve have
t\vo different real nu1nbers, one of then1 is greater than the other ; and if \Ve
have three real nurubers such that a> f3 and f3 > y, then a> y.
These definitions can be sirnplified \vhen the r-ational ntnnbers thmuselves
are given by sections, as explained at the end of § 5.
*It will be observed that the systmn of rational nutnbers docs not possess this
property.
24 RATIONAL AND IRRATIONAL NUMBERS
0 A
JTIG. 2.
HEFERENCES.
BRoM·wrcH, Tileor,y of [?~finite Series, App. I., London, 1908.
DEDEKIND, 8tet£gkeit rund irrationale Zalden, Braunsch \Veig, 1872 (English
translation in Dedekind's Essa,ys on ..._Vnrnber, Chicago, 1901 ).
DE LA v ALLEE PoUSSIN, Gours d' Analyse, T. I. (3e ed. ), Introduction, § 1,
Pa1·is, 1914.
DINI, Fondanwnti per la 1 1heorica delle Fun.zioni di Variabili ReaU, §§ 1-D,
Pisa, 1878.
(}OURSA'r, Gours cl'Analyse, T. I. (3e ed.), Ch. I., Paris, 1917.
RonsoN, Tlwor.~t of Ftttnctions of a I-leal lTariable, Ch. I., Catnbridge, 1907.
PRINGSHEIM, Vorlesungen iiber Zahlen- tend Fnnktionenlehre, Bd. I.,
Abscb. I., Kap. I.-III., Leipzig, 1916.
R.ussELL, PriTwiples o.f J1fathernatics, Vol. I., Ch. XXXIV., Carnb1·idge, 1903.
SToLz n. ({MEINER, 'Piworetisclw A1·ithn~et~·k, Abth. II., Abscl1. VII., Leipzig,
1902.
TANNERY, Introduction (t la 1?uforie des Fonctions, T. I. (2e ed.), Ch. I.,
Paris, 1914.
A.ncl
PRINGSHEnvr, '' I1Ta tionalzahlen u. Kon vergenz unendlicher Prozes8e "
l!}nc. d. 1nath. H'iss., Bel. I., Tl. I., Leipzig, 1898.
CH_APTER II
INFINil,E SEQUENCES AND SERIES
the lower bound_, zero, is a limiting point, and does not belong to
the aggregate. The upper bound, unity, belongs to the aggregate,
and is not a limiting point.
The set of real numbers from 0 to 1, inclusive, is an aggregate
which is identical with its limiting points.
14. Weierstrass's Theorem. A 11 infinite aggregate, bortt'Ji,decl
above and belo1.v, has at least 011e lirn~iting 1Joi11t.
Let the infinite aggregate (E) be bounded, and have M and ?f1,
for its upper and lower bounds.
We can arrange all the real numbers in two classes relative to
the aggregate (E). A number x will be said to belong to the
class A when an infinite number of terms of (E) are greater than
x. It will be said to belong to the class B in the contrary case.
Since n1 belongs to the class A and 1lf to the class B, there are
men1bers of both classes. Also any nun1ber in the class A is less
than any number in the class B.
By Dedekind's Theorem, there is a nun1ber fJv separating the
two classes. However sn1all the positive number € may be, fJv- e
belongs to the class A, and fJv + e to the class B. 11 hus the
interval (f.lv- e, fJv + €) contains an infinite nuin ber of terms of the
aggregate.
-)(-It is usual to denote the difference between two real nun1bers a and b, taken
positive, by Ia- bl, and to call it the absolute value or 'inoclulus of (a-- b). ''Tith
this notation jx + Yl < lxl + IYI, and jxyl = !x!lyj.
INFINITE SEQUENCES AND SERIES 33
when some law is given according to vvhich the general term 1Ln
may be written down.
The seqrt~.;ence
is said to be convergent and to have the lirn~it A, when_, by
indefinitely increas·i1~g n, the cl~f!erence between A and Un
becon~es, Ci?~d thereajtert• rre111ai1~s, as S1nall CiS 1Ve please.
This property is so fundamental that it is \Yell to put it more
preci'sely, as follows : The sequence is said to be convergent ancl
to have the lin1it A, when, Cf/ny positive 1~1{;?nber E hciving been
chose11., as small ClS we please, the~re is a positive i-ntegerr· v S1.tch that
IA -1{;nl < e, pro·videcl that n > v.
and we say that CiS n te11cls to infi/ltity, un has the lirnit A.*
The letter E is usually employed to denote an arbitrarily small
positive number, as in the above definition of convergence to a
limit as n tends to infinity. Strictly speaking, the words as
s1nall as ~ue please are unnecessary in the definition, but they are
inserted as rnaking clearer the property that is being defined.
We shall very frequently have to employ the form of words
which occurs in this definition, or "'. ords analogous to them, and
*The phrase "Un tends to the lin1it A as n tends to infinity" is also used.
C. I C
34 INFINITE SEQUENCES AND SERIES
1 1
(b) 1, -2, '(cl) 1, -1, 1, -1, ....
;) '
''re n1ay take 1Ln+p ==A for son1e value of p, and "re have
IA -1{;-nl < E, when 11 > v.
Therefore the sequence convergeR, and has A for its lin1it.
(b) I.Jet there be only a finite number of terl11S equal to -one
another.
Having chosen the arbitrary positive nurnber E, then tak:e -'}€.
\~Ve k.novv that there is a positive integer N such that
l't{;n+p-1-Lnl < .~€, vvhen '1"t ::>- ll, for every positive integer JJ.
It follovvs that we have
j1t;n-~~NI < t€, when 11 > }l.
rrherefore all the .terms of the sequence
lie -vvithin the interval 'vhose end-points are 'l~.i.y-·}E and ~tx+·~E.
INFINITE SEQUENCES AND SER,IES
After sorne value of 11 the tern1s n1ust all have the sarne sign,
if the sequence is to diverge to + oo or to - oo , the sign being
positive in the first alternative, and negative in the second.
(iii) When the seque·nce cloes 'Jtot co·n verge, C(;ncl does rnot cliverrge
o + x, or to - oo , it is said to oscillate.
An oscillato?"Y seque'nce is said to oscillate finitely, if there is
C(; positi1Je n.uYnber A such that j?..(;11 I< . .4, joy· all vcLl1t;es of 11;
~:-The 'vords stectdily increasinu and steacl1:ly rlecrea81:nu rrre sometirncs muployed
in this connection, and 'vhen none of the terms of the sequence are equal, the
'\Vords in the stricte?' sense are added.
40 IN_B'INI~'E SEQUENCES AND 8:bjRlES
·its li1nit a 11u1nber a s~~_;ch that ~(;n > a > A for every zJositive
integerro 11.
It is an irn1nediate consequence of these t.heoren1s that a
1nonotonic sequence either tends to a limit or diverges to + n or
to-~.
has a limit, say a, and an~ a for every positive integer 'n (§ 17).
FIG. 3.
*This result also follows at once fron1 the fact that, if Lt an== a and Lt bn == (3,
then Lt (an- bn) ==a- (3. (Cf. § 26, Theorem I.)
41
be jor1necl.
Ij' the .seqt~ence 81 , S2 , 83 , •••
is con'verge~nt and has the Z.inLit S, then S is called the 81~'/n oj:! the
i?~fi'nite series 1~ 1 + 1~ 2 + u 3 + ...
and this se1roies is saicl to be converge11t.
It rnust be carefully noted that \vhat vve call the sun1 of the
infinite series is a li1nit, the lin1it of the sum of n tern1s of
~1 + 1~2+ 1~3+ ... '
as n tends to infinity. rrhus we have no right to assume vvithout
proof that fan1iliar properties of finite sums are necessarily true
for surns such as S.
\\Then Lt Sn == + oo or Lt Sn == - oo , \Ve shall sa~y that the
n~oo
If 've denote
un+l + 1Ln+2 + ... + 1~n+1J'
or sn+JJ- Sn, by ]JRn
the above necessary and sufficient condition for convergence of
the series may be written
lpRnl < E, vvhen 11 > v, for every positive integer 1J.
Again, if the se1"ies u 1 + 1~ 2 + 1[ 3 + ...
"
con,veTges and has S for;" its su1n, the ser;"ies
+ 'l(;n+2 + 1 ~n+3 + ···
1~n+l
co11·veTges a1ul has S- Sn for its s1~1n.
For 've have
Also k:eeping 11 fixed, it is clear that
Lt Sn+p==S.
p~w
~rherefore Lt (pRn)==S-Sn.
p-----+ 'l)
is convergent Ci'nd all its terrrns are positive, the series we obtoJi'n
fron~J this, either
ancl
(Yr'e also absolt~tel y con,vergen t an.cl theirr 81L?n8 atte equal to
u + v rre8]Jecti 1Jely
0
N ovv the Heries (S) converge s. Let its tertns be 1L1 , 1.c , 1l';), ....
2
1'hen, vvith tho tu~ual notation ,
when 11,;> v.
j1Lnl. < e,
Let the points B and A (Fig. 4) correspo nd to the sums
1, 1
,
1
obtained in (8 as describe d above, when v gro~ups of positive
),
Av a Bv
FIG. 4.
Then it is clear that (a-Av) and (Bv-a) are each less than
luvj, since each of these groups contains at least one term of (S),
and (a-A 11 ), (B 1,-a) are at 1nost equal to the absolute value of
the last term in each group.
Let these 2v groups contain in all v terms. 1
than e. Thus, if vve proceed frorn A 11 , the snn1s l~ n' lie vvithin 1
Therefo re Lt S n'==a.
1
l\. sirnilar argun1e nt holds for the case of a negative nun1 ber,
the only difference being that novv we begin ,vith the negative
terms o£ the series.
We have thus establish ed the followin g theoren1 :
If a co?·"iditionally conveTge11t serries is gi vern, we ca
arrrcl/nge the O?YleT CJ.f the te?"1/18 ((;8 to ?J1ctlce the 81~1n ~f the 'h
.se1~ies converge to a11y 'Uctl1.~e 'LVe carre to ?1-Cf/JT~e.
REFER.E NCES.
BROM\VICH, Zoe. cit., Ch. I.-IV.
DE LA V'ALLgE PoUSSIN, Zoe. c?'t., T. I. (:3e eel.), Introduct ion, § 2, Ch. XI.,
§~ 1, 2.
GoURSAT, loc. cit., rr. I. (:3e eel.), Ch. I. and VIII.
HARDY, Course of P-ure J1fatlwnuttics (2nd. Eel), Ch. IV. and VIII., Cain-
bridge, 1914.
PRINGSHEIM, loc. cz't., Bd. I., Abscl1. I., Kap. III., V. Absch. II., Kap.
I. -III.
STOLZ u. GMEJNER, lo~. cit., Abth. II., A bsch. IX.
And
PRINGSHEIM, "Irration alzahlen u. Kon vergen7: unendlich er Prozesse," E'nc.
d. 1nath. 1Viss., Bel. I., Tl. I., Leipzig, 1898.
CI-I~4_PTER III
FUNCTIONS OF A SINGI_JE VARIABLE
I-1IMITS AND CONTINUITY
either, we have referred to it as within the interval (a, b). This forn1 of ·words is
conYenient, and not likely to give rise to confusion.
C. I 49 D
50 FUNCTIONS OF A SINGLE VARIABLE
25. Lt f(x). In the previous chapter vve have dealt vvith the
li1nit when n-+oo of a sequence ~£ 1 , t~ 2 , ~~ 3 , • •. • In other words,
vve have been dealing with a function ¢(11), vvhere n is a positive
integer, and vve have considered the li111it of this function as
1L~JJ.
Lt f(x)== Lt f(x)==b.
:c-7rt+O x-7-rr- 0
2'
vvhen 0 < \x-a \ < 17,
*j(a'J)
is said to satisfy a certain condition in the .Jze?:ghbourlwod of x ==a
when there is a positiYe nun1her h such that the condition is satisfied \vhen
0<1 ~r- a l.:=h.
Sometin1es the nei(!hbourhoocl is n1eant to include the point x =a itself. In
this case it is defined by I~r -a I< h.
t The corresponding theorent for functions of thA positive integer n, as n--7-oc,
is proved in the sarrw 'vay, and is useful in the argu1nent of certain sections of
the previous chapter.
LllVII'_l_1~ AND CON~,INUI'rY
EXAMPLES.
1. If n is a positive integer, Lt xn = 0.
x~o
6. If
then Lt P(.v)=P(a).
then
10. If Lt /{~1_;')=0, then Lt 1/(x) I =0, and conversely.
x~a x~a
is used when j~(x) has the limit b as x teqds to - oo, and the
precise definition of the terrn can be obtained by substituting
" a negative nun1 ber -X " and " x < -X " in the corresponding
places in the above.
When it is clear that only positive values of ,1) are in question the notation
Lt j(tc) is used instead of Lt ./(~~;).
x~':D x~+':f)
carries with it Lt
x~+O
f(~)=b.
,);
then , Lt J ~
x~+':D
-(1) =v..
X
Then, since En+ 1 <En, we can obviously assun1e that 1Jn > 1Jn+t·
Now tak:e £ 1 and the corresponding 171 .
In the inequalities (1) put x' =a+ 171 and x'' = x.
Then we have
f(a+YJl)
FIG. 5.
Lt an== Lt f3n·
n~oo n~oo
1/(x')-/(a) < ~
J and 1/(x")- /(a) I<~·
...
*In these theorems the continuity of f(x) is supposed given in the closed
interval (a< x <b), as explained in§ 30.
LIMITS AND CONTINUITY 61
rrhere re1nains the possibility that a rnight coincide 'Yith either
a or b. ~rhe slight ntodification required in the above argument
is obvious.
l-Ienee the assnrnption that the theorem is untrue leads in
every case to a contradiction, and its truth is established.
COROLLAHY I. Let a, ;X1 , x 2 , ••• xn_ 1 , b be a mode of subdivision
of (a, b) into partial intervals satisfying the conditions of
Theorem J.
Then
lf(x) i < lf(a) l+lf(x)-j(a)l
<lf(c~_;) I+ €, 'vhen 0 <(x-a) -<=(x 1 -a).
Therefore
lf(x1)1<1J'(a) I+ €.
h
lf(x)-f("'A)J< , when \x-"'A\<11·
2
rrhus f(x) < J.l1- (j'h
......
vvhen I X - A I<:::: J] •
Now tak:e 11 so hl;rge that (bn- an) will be less than 11 • The
interval (an, bn) vvill he contained wholly vvithin ('A -17, A+ 17).
1'he upper bound of j(x) in the interval (an, bn) vvould then be
different frorn ilf, contrary to our hypothesis.
Combining this theorern with the preceding vve obtain the
follovving additional result:
THEOREJ\'I 1'\T. Jj j'( X) is COILii11UO'liS i1t the iTrfe1"Val (Ci, b),
a/ncllll, 1r~ arr·p its u,ppeT U/ncl lotve1" bo1i11ds, then, it take8 at leo~st
64 FUNCTIONS OF A SINGLE VARIABLE
once ·i1~ this ·intercoJ the ?'al1u;s JJf, 1n, a1uZ et'UJ'}! ·L'alue bet~vee,n
M a11cl1n.
Also, since the osc·illat-io?~ of a function in an interval was
defined as ·the difference between its upper and lower bounds
(cf. § 24 ), and since the function attains its bounds at least once
in the interval, we can state Theorem I. afresh as follows:
rfj( X) is contri11U01~8 i11 the i?1te?~,val (a, b), the'n 1Ve can divicle
(a, b) i11to a ji11ite 111~mber of partial i11tervals
(a, x1 ), (x 1 , x 2 ), ••. (xn-1' b),
i11 each oj·which the oscillatio11 of f(x) is less tha'n any given
positive 11U?J1berr.
And a si1nilar change can be made in the statement o£ the
property known as uniform continuity~
32. Continuity in an Infinite Interval. Son1e of the results of the last
section can be extended to the case when .f(.x) is continuous in :c ::>- a, \V here
a is some definite positive nurn ber, and Lt f(x) exists.
X--700
Also f(x) takes at least once in this range its upper and lower boundF
and every value bet,veen these bounds.
2
For exa111ple, the function 'x
,, is continuous in (0, oo ). It does 111
a +.x-- 2 .
attain its upper bound-unity·-\vhen :c?: 0, but it takes this value "'hen
.r= oo, as defined above.
(a, b), a11cl f(x) is g1/leater than so1ne fixecZ 11'lt1nber A- i11 that
OJJe17. in-terval, the11 f (a+ 0) ex·ists ancl is grreate1 tha11 01 equal
1 1
to A.
(iv) If f(x) is 111ornoto11ic i1·tc1 easing i·11 a11 O]Je11 inte1 ·val
1 1
( c~J, b), cincl f(x) is less tha11 son1e fixecl n1tntbe1 A in that open
1
and, in general,
1 1 < 1
let f(x) == 2n' vvhen - <x
2n+l == -
2n'
'Yo-'Y]1 - - - -- - - - - - - - - -- I
oL-----~----------~----~----~------~b~--x
a X 0-E .X0 X 0 f-E
FIG. 7.
* Cf footnote, p. 39.
LilVIIrrs AND CONTINUI'TY 69
The functions sin- 1 J;, cos- 1 x, etc., thus arise as the inverses of the functions
sin x· and cos x, 'vhere 0 <::: ~x < !1r, and so on.
In the first place these appear as functions of y, nan1ely sin -I y, 'v here
0-<:: y <::: 1, cos- 1 y, 'vhere 0 < y < 1, etc. The sy1nbol y is then replaced by
the usual syrnbol .x for the independent variable.
In the san1e \vay log .v appears as the inverse of the function ex.
There is a sin1ple rule for obtaining the graph of the inverse function
f- 1 (:r) when the graph of f(x) is known. f- 1 (x) ~·s the irnage of f(x) in the
l£ne .?1 =~r:. The proof of this n1ay be left to the reader.
The following theoren1 n1ay be con1pared 'vith that of § 26 (IV.) :
Let f( ~t) be a continuous fnnction, rnonotonic in tfte strictm· sense, Gtnd let
.Lt j[ 4>(.~:)] =/(b).
X--*a
36. I_.~et the bounded function f(x), given in the interval (a, b), be such that
this interval can be divided up into a finite nurnber of open partial
intervals, in each of ·which y
J'(x) is rnonotonic.
Suppose that the points
x1,.~· 2 , ... .x·n-1 divide this in-
terval into the open intervals
(a, .~v 1 ), (x·u x 2), ... (xn_1 , b),
in \V hich f(~r:) is n1onotonic.
Then \Ve know that f(x) can
only have ordinary discon-
tinuities, \vhich can occur at
the points a, Xu x 2 , ... •Xn-l, b,
and also at any num bet' of
points 'vithin the partial
n tervals. (§ :34.) o~----~----~----~----~----~b-----x
a x1 X2 X3
I. Let us take first the FIG. 8.
case where ~f(r:) IS con-
tinuous at a, .'t'u •.• Xn_ 1 , b, and alternately n1onotonic increasing and
decreasing. To 1nake n1atters cle.arer, we shall assun1e that there are
only three of these points of section, natnely .x1 , .x·2 , x 3 , f(x) being monotonic
i-rwrreasing in the first interval (a, .x1), decreasing in the second, (.x 1 , .x2),
ctnd so on (Fig. 8).
F(x) G(x·)
j(:c) 0
x 1<x<x·
- - 2
It is clear that F(.1J) and G(x) are 1nonotonic ~·ncreasing in the closed
interval (a, b), and that.f(x)=F(x)- G(.1:) in (a, b).
If f(x) is decreasing in the first partial interval, 've start 'vith
F(:)J)=f(a), G(x)-f(a)-f(.x), when a <x<x'u
and proceed as before, i.e. 've begin with the second line of the above
diagran1, and substitute a for x 1 , etc.
Also, since the function J(.-v) is bounded in (a, b), by adding sorne nun1Ler
to both F(x) and G(x), \Ve can n1ake both these functions positive if, in the
original discussion, one or both were negative. ·
It is clear that the process outlined above applies equally \vell to n partial
intervals.
We have thus sho,vn that when the bounded .funct-ion f(x), given in the
interval (a, b), is such that tlds interval can be divided up 'into a finite nun~ber
of partial intervals, f(x) being alternately 1nonotonic increasing and 1nono-
tonic decreasin,q in these intervals, and continnous at their ends, then 10e can
exp?·ess f( x) as the dij'erence
y
o.f two (bounded) .f~tA~ctions,
~ ·wh~'ch are posit?:ve and 1nono-
~:
:v v: tonic increasing in the ~·nter
I
have said that y is a function of x in the interval (C'-', b), and vve
have \vritten y=f(x).
The extension to functions of tv.ro variables is iminediate : -
To every 1Jair of values of x a./ncl y, s-uch that
a -< x -< a' ' b -Y-
< < b'
- '
let there co?"reslJOnLi ct nun1berr> z. 1·'1~e1~ z is said to be a j'unct,io?1
of x a/nd y i11 this clorntai1t, ancl tve W?"ite z = f( x, y ).
If we consider x and y as the coordinates of a point in a
plane, to every pair of values of x and y there corresponds a
point in the plane, and the region defined by a< x <a', b <:::: y < b'
will be a rectangle.
In the case of the single variable, it is necessary to distinguish
between the ope11 interval (a< x <b) and the closed interval
(a< x <b). So, in the case of two din1ensions, it is well to
distinguish between ope11 and closed domains. In the forn1er
the boundary of the region is not included in the don1ain; in the
latter it is included.
In the above definition we have tak~en a rectangle for the
do1nain of the variables. A function of two variables 1nay be
defined in the san1e way for a don1ain of whicl1 the boundary is
a curve a: or again, the domain l11ay 11ave a curve a for its
external boundary, and other curves, 0', 0", etc., for its internal
boundary.
A function of three variables, or any number of variables, will
be defined as above. For three variables, we can still dra\v
upon the language of geometry, and refer to the domain as
contained within a surface S, etc.
We shall now refer briefly to some properties of functions
of t\VO variables.
A function is said to be bo1L11ded in the don1ain in which it is
defined, if the set of values of z, for all the points of this domain,
forms a bounded aggregate. The uppe?" and loweT bou1~cls,
M and ?n, and the oscillatio11, are defined as in § 24.
f( x, y) iB sc'-'icl to httVe the limit l as (x, y) tends to ( x 0 , y 0 ),
whe'fi,, any positive 11/tL?r~ber;" € havi11,q bee11 chosen, as S1YtJl.~ll as we
1Jlease, therr·e is a 1Jositive ?tuntbe?~ 17 stttch that lf'(x, y) -ll < € fo1~
a1ty two .Poi11Jts otheT tha1t (x 0 , :lfo) i11 the square, ce11tre (x 0 , .y 0 ),
whose sides are pcLrallel to the coorclinate axes and of le11gth 21J.
The proof of this theorern can be obtained in exactly the san1e
way as in the one-dimensional case, squares taking the place
of the intervals in the preceding proof.
A function f(x, y) is said to be continuous "vhen x == x 0 and
y == y 0 , if f(x, y) has the lin1it f(x 0 , y 0 ) as (x, y) tends to (x 0 , y 0 ).
Thus, f(x, y) is co11t~inuous when x == x 0 · CiJ1tcl y == y 0 , iJ: to the
arbit~rary positive nu1nber €, there corresponds c~; positive 1~uTnber
1J such that !f(x, y)- f(x 0 , y 0 ) I< € for all values of (x, y) fo~r
tvhich lx-x 0 1<1J and jy-y 0 ]<1J.
In other words, I f(x, y)- f(x 0 , y 0 ) I must be less than € for all
points in the square, centre (x 0 , y 0 ), whose sides are parallel to
the coordinate axes and of length 21J.*
It is convenient to speak: of a function as continuous at a
poi'nt (x0 , y 0 ) instead of when x == x 0 ancl y ==Yo· Also when a
function of two variables is continuous at (x, ·y), as defined above,
for every point of a domain, we shall say that it is a continuous
function of (x, y) in the don1ain.
It is easy to see that vve can substitute for the square, with
centre at (x 0 , y 0 ), referred to above, a circle "\vith the sarne centre.
The definition of a lin1it "vould then read as follo,vs:
f(x, y) is said to have the li1nit l a,s (x, y) tend to (x 0 , y 0 ), if', to
the arbitrary positive 111(;1/tbe?" E, there correspo11ds a 1Jos·itirve
n1(;1nber 1J such that If (x, y) -ll < € joT· all 1.Jalues of' (x, y) jo1"
:x.Y ')'
/ (x, .~?') = .x. . +y"" -when at least one of the variables is not zero,
{
.f(O, 0)=0.
Then f(x, .?J) is a continuous function of x, for all values of x, \vhen .?1
has any fixed value, zero or not ; and it is a continuous function of .?J, for all
values of y, \vhen .1J has any fixed value, zero or not.
But it is not a continuous function of (x, y) in any don1ain \vhich includes
the origin, since ./(x', y) is not continuous when x=O and y=O.
For, if \Ve put .?;=?'COS a, y=rsin (), \Ve have.f(.v, y)=sin2(), \Vhich is inde-
pendent of 1·, and varies fron1 - 1 to + 1.
Ho,vever, it is a continuous flu1ction of (:.r, y) in any domain \vhich does
not include the origin.
On the other hand, the function defined by
2
.j( ;1:,1/
f .
f(x, .Y)
. X +y2
), when a.t least one of the variables is not zero,
lJ(O, 0)=0,
is a continuous function of (.x:, .Y) in any dornain \vhich includes the origin.
The theoren1s as to the continuity of the sun1, product and, in certain
cases, quotient of t'vo or n1ore continuous functions, given in § 30, can be
readily extended to the case of functions of t\vo or n1ore variables. A
continuous function of one or n1ore continuous functions is also continuous.
In particular \ve have the theoren1:
Let ?t=cp(.x, y), v="{f(:-c, y) be contin1tous at (.~r 0 , y 0), and let u 0 =cp(.'{:0 , y 0 ),
Vo='Vr(.xo, .Yo)·
Let z-f( ?t;, v) be continuGus 1'n (?t, ~') a,t (1t 0 , v0 ).
Then z= f[ cp(x, y), t(.x, y)] £s continuous 1'n (.v, y) at (.'{'0 , .?J0).
Further, the genera1 theore1ns on continuous functions, proved in s:31,
~1olcl, \Vith only verbal changes, for functions of t\vo or n1ore variables.
LIMITS AND CONTINUITY 75
For exan1pl~ :
If a function of t1vo Vet/riables z's contin~lous at every point of a closed clon7-a-in,
it is 'ltn~f'ornzly cont£nuons in the do1nain.
In otlw1· words, when the positive n1onbe1· E has been chosen, as srnall as we
please, there is a positi·ve nun~be1· YJ s1wh tl2at \f(.x', y') -f(.t;'', y'') \ < E, when
(:.v', y') ctnd c~z/', ,y'') are an:lJ two poi·nts in the do?nain for which
"/{ (.'C'- x")2 + (y'- y'')2} < 1].
REFERENCES.
DE LAvALLEE PousslN, lac. cz't., T. I. (3e ed.), Introduction, § 3.
(JoURSA'r, lac. cit., T. I. (3e eel.), Ch. I.
HARDY, loc. cit. (2nd Ed.), Ch. V.
OsGooD, Leh1·buch cler F'ltnlctz'anentlwarie, Bel. I., Tl. I., Kap. I., Leipzig,
1907.
PIERPON'r, Tlwa1·y of J?,unct~'ons of Real Variables, Vol. I., Ch. VI.-VII.,
Boston, 1905.
And
PRtNGSHEIM, "Grundlagen der ailgeu1einen Funktionenlehre," Enc. d. 1nath.
TViss., Bd. II., Tl. I., Leipzig, 1899.
CHAPTER IV
76
THE DEFINITE INTEGRAI~ 77
More cu1·ions still, \}\T eierstrass discovered a function, 'vhich is
continuous for every value of x, while it has not. a differential
coefficient anywhere.* rrhis function is defined by the sum of
the infinite series oo
~ ancos bn7rX
~
0
'
a being a positive odd integer and b a positive nurnber less than
unity, connected with a by the inequality ab 1 +t1r.t >
Other examples of such extraordinary functions have been
given since Weierstrass's time. And for this reason alone it
would have been necessary to subs~itute an exact arith-
metical treatment for the traditional discussion of the Definite
Integral.
Riemann~~ was the first to give such a rigorous arithmetical
treatment. The definition adopted in this chapter is due to him.
The limitations imposed upon the integrand f(x) will be indicated
as we proceed.
In recent years a more general definition of the integral has
been given by Lebesgue,§ and extended by others, notably
de la Vallee Poussin and W. H. Young, the chief object of
Lebesgue's 'vorlc being to remove the lin1itations on the integrand
required in Riemann's treatment.
39. The Sums S and s.ll Let f(x) be a bounded function,
given in the interval (a, b).
But L >a-.
Therefore S >- s' and S t> R
_t.:.
Since the sums S and 8 have J and I for lower and upper
bounds respectively, there is a 1node of division such that the
sum S for it exceeds J by less than ~f.
r~et this l110de of division be
((;, ((;1, a2, ... ((;p-1, b, with sums 81 and 81 . . . . . .. (1)
Then < 8 1 J + :}€.
Let 17 be a positive nuinber such that all the partial interval
of (1) are greater than YJ·
Let
C(;=X 0 , x 1 , x 2 , ••• xn_ 1 , b=x1P with sums 8 2 and s2 , ••• (2)
be any Inode of division such that
(x1.-x1'_ 1 )<1J, when rr·=1, 2, ... n.
'fhe mode o£ division obtained by superposing (1) and (2), e.g.
a, x 1 , x 2 , a1 , x 3 , a 2 , x 4 , ••• xn_ 1 , b, -vvith sun1s SH and 8 3 , ••. (3)
is consecutive to (1) and (2 ).
Then, by § 39, we have s1 ::>- 83.
But 81 <J+~€.
Thus we have show-n thctt forr any rn~ode of d~ivision such that
the grecttest of the pctrtictl intervals is less tha11, or equal to a
certain positive 1?/U/Jnbe?" r;, dependent on E, the S1L?Yi 8 exceeds J
by less than E.
Si1nilarly for s and I; and it is obvious that 'Ne can n1ak:e the
same l7 satisfy both S and s, by taking t.he s1naller of the two to
which we are led in this argument.
(f(x) dx. *
* The bound J of the sun1s S is usually called the upper integral off (x)
and the bound I of the sums s the lower integral.
C. I F
82 THE DEFINITE INTEGRAL
hcts the definite integral J: j( x) dx for its limit, when the n1t1nbe1·
of points of divisio1~ (x 1.) increases incleji11itely i11 st~.;ch a ~vay
that all the partic~l inte1·val8 te11d to zeT·o, f 1 , f 2 /. • • being ctny t:n
values o.f x in these paT·tial inteT·vals. *
In particular, we may tak:e a, x 1, x 2, ... o~n-l, or x 1, x 2, ... X 11 _ 1 , b,
for ~he values of f 1 , f 2 , ••• fn·
*We may substitute in the above, for /(~ 1 ), j(t,2 ), ... f(tn), any yalues !-'-1 , !-'-2 , ... 1-'-n
intermediate bet-ween (M 1 , 1n1 }, (.Ll£2 , 1n 2 ), etc., the upper and lo,ver hounds of j(x}
in the partial intervals.
THE .DEFINITE INTEGRAL 83
We have <
S- s E, as stat,ed above.
But l-3 > J and s < I.
Therefore J-I <€.
And. J must be equal to I.
Thus the condition is ·sufficient.
Further, if I= J, the condition is satisfied.
For, given €, by Darboux's rrheore1n, there is a positive .nu1nber
r; such that S- J < <
if and I-s if for every n1ode of division
in which all the partial intervals are less than or equal to YJ·
But S-s=(S-J)+(I -s), since I =J.
Therefore
II. Whe1~ an.y positive ntt~?nbe?" f has been chosen, as s?nall as
U'e please, there shall be a ?J~ode of division of (a, b) such that
S-s <f.
It has been proved in I. that this condition is sufficiernt. Also
it is necessary. For we are given I._J, asf(x) is integrable, and
we have shown that in this case there are any number of modes
of division, such that S- s €. <
III. Let w, a be any pair;· of positive nun~bers. There shall be a r;node of
di-t:ision o.l (a, b) such that the sura of the lengths o.l the partial //ntervals in
1.ol~1:ch the osm'llation is gr;·eater thrtn or eq~tal to w sludl be less than a-.*
This condition 1s sz~tficient. For, having chosen the arbitrary positive
number E, take E E
a-= 2(J}/- m) and w= 2(b- a)'
'vhere M, r;n are the upper and lower bounds respectively of f(x) in (a, b).
Then there is a n1ode of division such that the stun of the lengths of the
partial intervals in \vhich the oscillation is greater than or equal to w
shall be less than a-. Let the intervals (.xr-l, .X1.) in which the oscillation
is greater than or equal to w he denoted by Dn and those in which it is
less than w by d1., and let the oscillation (.1~. -?n1.) in (:r1._1 , .xr) be denoted
by w1••
Then we have, for this n1ocle of division,
S- s = '2(u 1.Dr + "2w 1.d?.
. E E
<(M- m) 2(-Lll-r;n) + 2(b- a) (b- a)
E E
< 2 + 2
< E,
Also the condition is necessar,y. For, by II., if f(.:r) is integrable in (a, b),
there is a n1ode of division such that S- s < Wif. 1J Ring 1) dr as above, 1.,
S- S= ~W 1 .Dr+ ~(u,.dr
>'-'
==...:.JWI. D ·r
> w~_D?..
Therefore (uU"> w~Dn
and "21)1. < (J',
f (x1)-J'(ct),
1
IV. If, c~_; bou.1~ded f~~_;11ctio1~ is i1~teg'rable i1~ each of the partial
intervals (a, a 1 ), ( a 1 , a 2), ..• ( ap_1 , b), it is i1~tegro.~ble in the ~vhole
interval (a, b).
Since the function is integrable in each of these p jnter-
vals, there is a rnode of division for each (e.g. ar_ 1 , a.r), such
that S- s for it is less than E/p, \vhere E is any given positive
number.
Then S-s for the con1bined n1ode of division of the whole
interval (a, b) is less than E.
rrherefore the function is integrable.
From the above results it is clear that if a bo~~_;1~decl function
is s1tch thcit the i1~terval (a, b) ca1~ be btt·oken U]J i1~to a ji1~ite
nvJrnber of ope1~ pa'r·ticil iTitervals, i1~ each of tvhich the fu'nctio1~
~is rrnonoton~ic OP conti1~tt01~S, the1~ it is in.tegTable in ( C(;, b).
44. If the bounded function f(x) is integrable in (a, b), there are an
infinite number of points in any partial interval of (a, b) at which f(x)
is continuous.*
Let w1 > w2 > w3 ••• be an infinite sequence of positive nurnbers, such that
Lt Wn=O.
Let (a, {3) be any interval contained in (a, b) such that a------ a< (3 <b.
Then, by§ 42, III., there is a nrode of division of (a, b) such that the sunr
of the partial intervals in ·which the oscillation of .f(x) is greater than or
equal to w1 is less than (/3- a).
If 've renrove fron1 (a, b) these partial intervals, the 1'ernainde1· rnnst cover
at least part of (a, {3). We can thus choose 'vi thin (a, {3) a new inte1·val
( c~v 1 , {31) such that (/31- a 1) < ~ ({3- u.) and the oscillation in (au {31) is less
than w1 •
Proceeding in the Raine 'vay, we obtain \Vithin (a 1 , {3 1) a ne·w interval
I. If f(x) is ~i?~tegTc~ble ~irri (a, b), it ·is also integ'rable in, c~11y
interval (a, (3) contc~i necl ·i'n ( ct, b).
From §42, I. we k:now that to the arbitrary positive number e
there corresponds a positive nu1nber 1J such that the difference
<
S- s e for every mode of division of (a, b) in which all the
partial intervals are less than or equal to fJ·
We can choose a mode of division of this k:ind with (a, {3) as
ends of partial intervals.
Let L, (]" be the sums for the mode of eli vision of (a, (3)
included in the above.
· T l 1en we }1ave ~ <~
0==-t..;-(J"== <s e.-s<
Thus j(x) is integrable in (a, (3) [§42, II.].
II. If' the value of the integTable J~~Tu;tion j'( x) is altereel
at CL finite 11U111ber of JJOi'nts of (a, b), the junct'io1~ ¢(x) th/us
obtc~i1~ed ~is ~integrable ~in (a, b), c~nd its integral is the sante as
that of j~( x).
\V e can enclose the points to which reference is n1ade in a
finite nurnber of intervals, the sum of which is less than e/4A,
"\vhere e is any given positive number, and A is the upper
bound of: ¢(x) I in (a, b).
88 T'HE ~DEFINITE INrrEGRAL
The product
( /1 (x) + c1 ) ( /2 (x) + c2 ) == / 1 (x )j~(x) + c 1 j~(x) + c2 / 1 (a;)+ c1c2
is then integrable.
But c1/ 2 (x) + c2/ 1 (x) +c1c2 is integrable.
It follows that ,{1 (x)/2 (x) is integrable.
On combining these results, we see that if .f1 (x), j~(x) ... fn(x)
are integrable ju~nctions, every poly'no?r&ial i1·~;
/ 1 (x), j 2 (x) ... /n(x)
is c~lso an i1~teg'rable function.*
46. Properties of the Definite Integral (conti11/tted).
I. J:!(x)dx=- J>(x)clx.
In the definition of the sums S and s, and of the definite
integral J:!(x) dx, we assumed that c~ was less than b. This
restriction is, however, unnecessary, and will now be re1noved.
*This result can be extended to any continuous function of the n functions
[cf. Hobson, loc. cit., p. 345].
90
J:!(x)clx+ J:!(x)clx.
It follows that
*The result.s proved in §§ 42-45 are also applicable, in son1e cases with slight
verbal alterations, to the Definite Integra.! thus generalised.
THE DEFINITE INr.rEGRAL 91
of division of (a, c) and (c, b), the sun1s for which differ from
J:!(x) clx and J>(x) clx, respectively, by as little as we please.
It follows that the sign of inequality in the above relation
n1ust be deleted, so that we have
l
IJ:f(x) dx < J: lf(x) Iclx.
We have seen in§ 43 that if f(x) is integrable in (c'-', b), so also
is lf(x)!.
And -lf(x)j<j(x)<jj'(x)l.
The result follows from the above theorem.
CoROLLARY II. Let f(x) be i?tteg'rc£;ble and never rrtegative
rin ((£;, b). If j'( X) is contin~~ous at c i?t (a, b) C(;11ct /(c)> 0' then
rf(x)dx>O.
We have seen in§ 44 that if j'(x) is integrable in (a, b), it n1ust
have points of continuity in the interval. What is assutned here
is that at one of these points of continuity f(x) is positive.
Let this point c be an internal point of the interval (C'-', b), and
not an end-point. Then there is an interval (c', c"), where
92 rl'fiE DElTINIT'E INTEGl{J\.L
And, since j(x) > lc in (c', c"), r j(x) clx--- k( c"- c') > 0.
Also, since f(x) > 0 in (c", b), Ju f( x) clx > 0.
c"
j
~b
t
.f(JJ') dJv· > j a
g(x) dJv·.
For, if JC:c) and g(:t/') are integrable in (a, b), we kno"\V that f(J;)- g(.(/') is
integrable and has an infinite ntun her of points of continuity in (a, b).
At any one of these points f(::t.·)- ,q(x) is positive, and the result follo"\vs
fron1 Oorollary II.
'Therefore
Ja
b¢(:e) y/ (a;) clx ===fA Jb
a
"f (x) clx
'vhere fA is soine nu1nber satisfying the relation nt -<::fA -c: 111.
It is clear that the argument applies also to the case when
'V/ (x) < 0 in (ct, b).
If ¢(x) is continuous in (a, b), 've know that it ta1ces the value
fA for some value of x in the interval (cf. § 31).
We have thus established the important theorem :
J.f ¢(x), y_r(x) are two botf/nded jt~11ctions, i1~teg1"able in (a, b),
¢(x) being co11tint~ott~.;s ancl 'f(x) lceepi~ng the 8Ci1J~e sign i11 the
i11te1~val, the1~ Jb Ju
a¢ (x) ¥r (x) clx ==¢(f) (t~ (x) clx,
such that ~(x) k:eeps the same sign in the partial intervals
(a,o, a,l), (al, a2), ··· (t~n-1' an)·
Since F(tt) == 0, vve may add on the term ¢(a) F(a), and rewrite
(1) in the forrn:
................. (2)
+ .............. .
+F(b) [,un- ¢(b)]
+F(b) ¢(b).
The n1ultipliers of F(a), F(a1), •.• F(b) in all but the last line
n1ust be negative or zero.
96 THE DEFINITE INTEGRAL
r
with one or other.
But, since F(x) = '-Y(x) dx, we know that F(x) is continuous
in (a, b). a
== J'
¢ (a) ~ \jf (x) dx + ¢ (b) )y/ (x) dx,
J .
a ~
*This and the other theorems which follovv could be obtained at once by
n1aking suitable changes in the tern1s ¢(n) and ¢(b) on the right-hand side of (2).
THE DEFINITE INTEGRAL 97
Also it is clear that we could in the san1e '\vay replace ¢ ((_t + 0)
and ¢(b-O), respectively, by any nun1bers .1! and B, provided
that A -<= ¢ (C(; + 0) and B > ¢ (b- 0) in the case of the Inonotonic
increasing function ; and A => ¢ (a+ 0 ), B -<= ¢ ( b - 0) in the case
of t.he monotonic decreasing function.
We thus obtain, ~uith the same lim~itatio?~ o·n ¢(x) a11cl '}f(x)
as before,
III. J: ¢ (x) -f (x) clx =A J:-f(x) clx + B J: -f(x) clx,
tuhere A <¢(a+O) ancl B> ¢(b-O), if ¢(x) is 11101~otonic i'l~
creasing, ctnd A=> ¢(ct+O), B<:_. ¢(b-O), if ¢(x) is 111onoton·ic
decreasing, f being some definite valt~e of x i1~ a.< x <b.
The value of f in I., II., III. need not, of course, be the same,
and in III. it will depend on the values chosen for A and B.
Finally, as in III., 've 1nay take A== 0 and IJ ==¢(b), whe1~
¢(x) > 0 C(;'nd is 1nonotonic increasing in (a, b).
'"fhus, with the solrne li1nitations on ~(x) as before, when
i ~:) > 0 and is 1nonoto1vic increasing in (a, b), we hc'(;ve
J:
J>(x) -f(x) clx= ¢(b) -f(x) clx,
uv1'e f is S0111e definite valt~e of X in a< X< b.
Again, when ¢ (x) > 0 nnd is ?Jlo'noto?~ic decreasi~'ng in (a, b), we
may take A= ¢(a) and B = 0, obtaining in this way, with the
-sa111e li?'nitc(;tions 01~ ~(x) CiS before,
v. a¢(x)-f(x)clx=¢(a)J§a-f(x)clx,
b
J
t
here is some definite value of x in a< x <b.
··Theorems IV. and V. are the earliest forrn of the Second
Theorem of Mean Value, and are due to Bonnet,* by whom they
,were employed in the discussion of the Theory of Fourier's
Series. The other 'fheorems I., II., III. can be deduced from
Bonnet's results.
Theorem I. '\Vas given by Weierstrass in his lectures and Du
.Bois-Reymond,t independently of Bonnet.
Theorem II. is the form in which we shall most frequently
use the Second '"fheorem of Mean Value.
* Brurcelles, Mem. cou/J'. Acacl. roy., 23, p. 8, 1850; also J. jJfath., Paris, 14
p. 249, 1849. .
tJ. j}[ath., Berlin, 69, p. 81, 1869; ancl79, p. 42,1875.
C. I G
98 THE DEFINITE INTEGRAl~
I. Integrals to + co . [f(x)dx.
Let .f(x) be bou'nded and integrrable i1~ the interval (a, b),
where ct is fixed and b is any nu1nber greate'r than a. We
define the integ1"al J"'J(x) dx as Lt Jx f(x) dx, when this lin~it
•t
ex~s s.1
.!. a, x-?oo a
'\V e speak of f"f(.r) dx in this case as an infinite integral, and say that it
converges.
On the other hand, when jx f(.r) dx tends to oo as x-+oo, we say that the
infinite integral CJ(x) dx diverges to 'X!, and there is a similar defini--
tion of divergenc~ ;o - oo of {'f(x) d.x.
Ex. 1.
oo e-x dx= 1; Joo dx"% =2.
J0 1 .1;-
For
Joo e-X
0
d.x = Lt
x~oo
Jx e-X d.'C =
0
Lt (1 -e-X)= 1.
x~oo
dx
n- = Lt 2 ( 1 - 1 1)
And
J
x
=--= Lt = 2.
x~oo 1 X2 x~oo .r2
Ex. 2.
For
a
/(t) dt and Lt
x-7oo
1xf(t) dt.
a
THE DEFINITE INTEGRAL 99
r,x dx
/
~oo d:c
A.nd ~ 1 --;, = Lt ~,-, = Lt 2(~.v- I)= oo.
·I '\1 .t. x-+oo ~ 1 ·V .:t x~8
dr'
Siruilarly jI loo· ~ d~u
"00
b
]
,X
= - oo ;
J2
"X)
I --- ,;c
1- X
.= _ 00 •
Ex. 1. (0
) -oo
X
e· d.x= I,
10
-oo
dx
(1=2tc)2 =2·
l
in the definition.
Ex.
And further :
II. A necessary and sttffic·ie1~t conclitio1~ j'or the co1~verge11ce
jo?" all valv~es of x', x'' for which x">x' > .LY.
r,f(x) dx.
J;, [(,
g(x) dx-<:_ J;,; f(x) dx, when x>a.
((,
III. If~ g (x) > f(x), ancl Joo j(x) clx cl'iverges, so also does
r
a
g(x) clx.*
;, -==log
clx
and
J
a X
x -loo· when
b
Ci
'
?~== 1.
;,; -dx-_ , Ci 1 - n
Thus,when n>l, Lt
a:--7-oo J xn n - 1
a
.
1.e.
Joo dx - Ci1 - n .
- -_
a xn n-l
• oo Cl X •
~.e.
J - diverges.
a xn
~:-Since the relative behaviour of the positive integrands f(x) and g(x) n1atters
only as x-*oo, these conditions n1ay be expressed in terms of lin1its :
When o(x}jj(x) has a limit as x-+oo, L~q(x) d;~ converges, if .f/(x) dx converges.
VVhen o(x)/f(:c} has a limit, not zero, or diverges, as x--?-oo, {,"'g(x) dx diverges,
{~ ,a
if )a f(~"C) dx diverges.
THE DEFINITE INTEGRAL 103
.~ > 2
2•
1
2
oo dx
,J(x·2
d.
_ 1) IVerges,
1
SlllCe "'(X2 -l) > x'
1 l
W len X== •
r00
3. .. .
sin2x
--;;z- d.rc con verges,
. sin 2x < 1
Since --;;;;- == h .>
xZ' w en x ==a > 0.
Therefore I.
I
I
j·'/' --dx1-2
;;;'
sin x
X
< { -+-
1 1 }' i.
.-
;
I
X· X
II
4
<-,.
X
oo sin x
Therefore
J
its value is !71".
0
- - clx converges, and vve shall find in § 88 that
X
Wehave
nrr I sin X I
- - -dx=~
n Jrrr I sin X I
---dx.
J0 X 1 (r- 1)rr X
But
rrr I:___ X I
sin__ clx = Jrr sin y -~-- dy
1 '
J 1) rr X
( 1·- o (r - ] ) 7r + y '
on putting x= (r-l)1r+y.
2
>1"71".
nrr I sin X I 2 n 1
Thus
J0
-~dx>-~-.
X 7r 1 1"
-Therefore
nrr \sin X I
Lt dx= oo.
n--7-oo J0 X
Therefore Lt Jx I_ ~in x dx == oo .
I
x~oo 0 X
oo clx
But we k.novv that
Jct X
~~; converges.
X~
X~ )
l
oo
• ( t 1
3. b2 ' 2 ., dx diverges, since Lt x~ x b~ 2-+· 2 = b2 •
a X +c"' X-+(J'J ,',{:;' C
cos 1nx
3.
l oo
o a 2 +x2
dx converges absolutely.
J::, p(x) -f(x) dx = p(x') J:, y/(x) dx+ p(x") J:" -f(x) dx,
where a<x'-< t< x".
But ! ¢(x') I and p(x") ( are each less than some definite positive
1
number A.
Also we can choose X so that
are each less than E/2A, when x">x' ..---X, and e Is any given
positive number, as small as we please.
It follows that
COS {t'
j
·•OO
positive nun1ber.
It follows that
oo iV • d
2. (, - ~. 2 s1n .rc .'C converges.
1 1. +it
v
THE DEFINITE INTEGRAL 109
The Mean Value Theorems for the Infinite Integral.
57. The First Theorem of Mean Value.
Let cp(JJ') be bounded when :u >a, and integrable -in tlte arbitrary ·inter·val
(a, b).
~':I:)
Let "fr(.x) keep the sanw s£gn in x· >a, and j o/(:x:) d.x converge.
,. a
Then
wlwre 1n <::::: fL <::::: .flf, the 1tppe1· and lower bounds of cp(.'c) zn tc > a being M
and 1n.
We have 1n < cp(a:) < Jlf, when .x >a,
and, if t(x) > 0,
'Jn tf;(x) <::::: cp(x) o/ (x·) < jJ{ o/(JJ').
Therefore m f t(~c) ax< J: <j>(x) f(x) d.r: < M J: f(.x) dx, when X> a.
""'But, by § 56, I., .C <j>(x) f(.r) dx converges, and we are given that
j t(.x) d.r: converges .
•a
Thus we have fronl these inequalities
m [ f(.r) d.1-· < [ </>(.r:) f(.r) d.r < ilf.c f(x) d.r:.
Then JJ
¢ (:c) 1/;' (~c) d/v = cp (a + 0) J§ 'f!' (.1;·) d.JJ + ¢ (oc )Jootf (x) d.1),
J
Li a §
where tl <== ~ < oo .*
Suppose ¢(.1)) to be 1nonotonic increasing.
We apply the Second Theoren1 of Mean Value to the arbitrary interval
(a, b).
'I'hen 've have
ba ¢(.x')'f'(.1J)d~c=¢(a+O) J§a '\fr(.JJ)d.rc+rp(b-0) Jb§ "o/(.r)dtc,
J
'vhere a<:~< b.
observing that¢( oo) exists, since ¢(x) is monotonic increasing in x> a and
does not exceed son1e definite nun1ber (§ 34).
a
rp(x) f(x)dx converges[§ 56, II.].
Then B+ J: rj>(:c).f(x)dx
= rf>(a+O) J: .f(x) d.r+ rj>(b- 0) J: .f(.r) d.r+ </>( oo) [ .f(.r) d.r
= rf>(a+o)[J: .f(m) d.r- J; .f(.r) d.r ]+rf>(b- o)[J; f(.r)d:v- J~ .f(.r) d.r J
+ </> (oo ) J)c.r) d.r
'l)
= ¢ (ct + 0)
J a tj; (.1?) d.1J + U + TT, ............................... ............ , ........ ( 1)
Now we know from the above Lemma that J.~ .f(.r) d.r is bounded in (a, oo ).
I...~et JYI, 1n be its upper and lo,ver bounds.
But J: f(x) dx takes the value fL' at least once in the interval (a, oo ).
!;'
tj;(te) d:e, where a-<~~< oo.
Therefore 've have finally
J oo
a
¢ (.rc) if (.r) dx = ¢ (a+ 0) Jt f (
a
x) dx + ¢ ( oo ) J~ f (.x) d.r,,
t
'vhere a<~'<oo.
It is clear that we n1ight have used the other forn1s I. and III., §50, of the
Second Theoren1 of Mean Value and obtained corresponding results.
infinite integrals Jc f(x) clx and Jb j(x) clx, when these integrals
(i c
exist, as defined above, c being a point betwee1~ a a11d b.
This definition is independent of the position of c between
ct and b, since we have
f:J(x) dx= J:' j(x) dx+ J:: j(x) clx+ ... +J:J(x) dx,
·when the integrals on the right-hc~n~d exist, according to the
definitions just given.
It should be noticed that with this definition there are only to
be a finite number of points of infinite discontinuity, and f(x) is
to be bounded in any partial interval of (a, b), which has not one
of these points as an internal point or an end-point.
This definition \Vas extended by Du Bois-Reymond, Dini and Harnack to
certain cases in which the integrand has an infinite nun1ber of points of
infinite discontinuity, but the case given in the text is an1ply sufficient for
our purpose. The modern treatn1ent of the integral, due chiefly to Lebesgue,*
has rendered further generalisation of Rie1nann's discussion chiefly of
historical interest.
r r
(a, b), reserving the tern1 infinite integral for
J:!(x) clx= J:'!(x) clx+ J:/(x) clx+ ... + L!(x) clx+ J>(x) clx,
where xn<c<b, provided that the integrals on the right-hand
side exist.
It will be noticed that the last integral J>(x) clx is an ordinary
If the integral r
integral,f(x) being bounded and integrable in (c, b).
f(x) dx also converges, we define the infinite
integral [ f( x) dx b~ the eq'nation :
r f(x) clx= rf(x) dx+ L:f(x) dx+ ... + L!(x) clx+ fJ(x) dx.
It is clear that this definition is independent of the position
of c, since "\Ve have
I- Jb
a+g
f(x} dx < e, provided that 0 <f < 'YJ·
And further :
II. A necessa~r·y anti sufficient conclition for the convergence
of the integral J: f(x) dx is that, if any positi·pe number e has
bee1~ chosen, as s1nall as we please, there shall be a positive
n ?J./ntber r; such that
'Ja+f'
i- f(x) clx < €, when O<f" <t' < 'YJ·
! n+f"
s1n.xd
- - .r
[
~ 1 .1'
by substituting lf.x for tv.
· 1·t IS
Agam,
.
· cl ear th at Jb
a
( clx ) converges, 1· f 0
x-cln
< n < 1.
For we have
dx b 1
"
J ==~·· _ I(b-a)l-n_ cl-n}.
a+g (X - rt )'n 1 - 11 l S
b clx (b - a) 1 - n
Therefore Lt ( · )1, =
g~O a+f X-a J 1 -11
, when O< 1. n<
Also the integral diverges when 11 > 1.
Fron1 this we obtain results 'vhich correspond to those
of §55.
III. Let f(x) be bounded cLncl i11tegrable the a1"bitrary i1~
i11ter1'al (a+ f, b), wherre () <t<
b- CL If there i8 CL rnurnber fJ-
betwee11 0 and 1 such that ( x - a) ~-t f( x) is bounclecl whe11 a< x -c::::. b
then J>(x) dx converges absolutely.
* Cf. ~ 43, V.; § 47, Cor. I.; and§ 54.
116 THE DEFINITE INTEGRAL
_.Again,
IV. Let f( x) be uo1cndecl a1~_;d ·integrable ·i11 the C(/r'b itrr'a1'Y
< <
i11terval (ct + f, b), where 0 f b- ct. If the1"e is a 1·1~tmberr·
fJ. g1"eater than 01" eq~~_;al to 1 s1~_;ch that (x - a) fLf( x) hcts a
po8iti1Je lower bo1.tn.cl 1vhen Ci <X< b, 01" a ~negati-ue 1(;p]Je1"
bound, then J: f(x) clx diverges to + oo in the fi~·st case, and to
- oo i11 the sec011cl cctse.
And finally,
V. Let f( x) be bo~£;?1decl ct11d integ·rable i11 the a?"bitrrctry i1~tervctl
(a+f, b), ~vhere O<f<b-a.
J.f the?"e is a numbe?" fJ. between 0 and 1 s~~_;ch that Lt ( x- a) ~J-.f( x)
b X-7a+O
exists, then
J j( X) dx C011Verges absolutely.
a
r
the results which correspond to the other tests obtained for the
convergence of the infinite integral f(x) clx.
No special discussion is required a for the integral Jb f( x) dx,
a
when a certain number of points of infinite discontinuity occur
~rHE DEFINirrE INTEGRAL 117
the types for which vve have already obtained the required
criteria.
We add son1e exan1ples illustrating the points to vvhich we
have referred.
/
~1 dx ~~ 1 d·u
Ex. 1. Prove that ~o (l +x·)~x, eon verges and that ~o
,:J_~·(I'+.x,~) diverges.
Then Lt ~:,~_;·f(::c)= 1.
x_,..O
(1 r_{t•
The 11--test thus establishes the convergence of t ( ·)~ .
"0 1 + .l-' .))
1\.lso Lt ,n
._'{)
(sin
,l+n
::r) = 1 •
x~O .X
- ~1 dx
Ex. 3. Prove that I _11 ·(I , Y converges.
Jo .y t·'t - .1_~ f
f
a d:J; 1
,JJ ( 1 )lconverges, since Lt {a.·2f(:,~_;')}=l,
0 lX - X' f x_,..O
1
1
a
dx
~{x(l-x)} converges,
.
since x!t_ ((1 ~x)2 f(x))= 1,
1 0
1
= 1r log 2 + 2 t'
~ 0
log sin x dx + 2},..:\-rr log cos x dx
0
1
j a,
,..OC) e-xxn-I dx converges.
(ii) Let 0 < n < 1.
In this case e-xxn-1 has an infinity at x·=O.
"1
The JL-test sho\VS that j e-x.xn- 1 d.J; converges, and \Ve have just sho\Vll that
J,..'X)
'vhen n> l.
Also we know that
f logxdx=[t(logx-l)I =:c(l-logx)-1.
And when 0 < n < 1, 've can choose a, positive nun1ber fL less than 1 which
satisfies this condition.
Therefore fl J..'n- 1 log x d:r con verges, 'v hen 0 < n ·< 1.
)o ,
Finally, we have
Lt (x X .1/~-1 !log .JJ I)= Lt ~)__,'n !log :t' I= oo, 'vhen n < 0.
x~O x~o
"1
Therefore /, J..,n- 1 log :;; dx diverges, 'v hen n-<:: 0.
~ 0
ltEFERENCES.
DE LAvALLEE PoussrN, lac. cit., T. I. (3e eel.), Ch. VI.; T. II. (2e eel.), Ch. II.
DINI, Lezz"ani di Analisi lnjinitesinutle, T. II., 1a Parte, Ua.p. I. and VII.,
Pisa, 1909.
GoURSAT, lac. cit., T. I. (3e eel.), Ch. IV. aucl XIV.
KoWALEWSKI, Gr~tndziige der Differential- ?.l. lnteg?·aliJ·ec!tnu-rtg, Kap. xrv.,
Leipzig, 1909.
LEBESGUE, Ler;ans sur l'lnte,qratian, Ch. I. and II., Paris, 190.-±.
OsGooD, lac. cit., Bd. I., Tl. I., Kap. III.
PIERPONT, lac. cz't., Vol. I., Ch. V.
SToLz, Grundziige der D£fferential- 'U. Integralreclt/JUI/J~g, Bel. I., Abscl1. X.,
Leipzig, 1893.
And
BRUNEL, "Bestinunte Integrale," .E'nc. d. 1natl~. H'iss., Bd. II., Tl. I., Leipzig,
1899.
*This integral can be reduced to the Gan1nut Function integral, and its con·
vergence or divergence follows from Ex. 5. Also see belo·w, Bx. 5, p. 120.
120
/
~oo sin X ~~oo (/V - 1) I X , ~~oo
----dx·, . "' dx, e-x2 dx·,
'"o 1 +cos .x +ex . 1 1+ x + x3 +sin x ., o
/
~oo -a2x2 j~1 log Xd j~1 log .'t' d .
e cos h b.r d.x, - - x, ----,> x .
._ o o 1 +X o 1 - .X"'
and
where ]J(.;;) is a polyno1nial of the ?nth degree, and (J(:L·) a polyno1nial of the
nth degree, n:::>-n~+2, and a is a nu1nher greater than the largest root of
(d(J_~')=O.
CG
J(x) d.rc converges, and give·a correspondin~~:st for the divergence of
THE DEFINirrE IN~'EG11AL 121
this integral, f(:v) being bounded and integrable in any arbitrary interval
(a, b), 'vhere b >a.
I'C/J
~
00
d:t' .
and . - chver es.
2 (<1:+s1n 2x)logx g
Deduce that
~
r 1
cos X log a; dJJ oscillates infinitely.
(1 sin tt'
l
l
Also show that cos x log x dx converges, and is equal to - ! -~~~ d~t'.
0 1
0 .x. v
9. Let f(x) and g(~r) be bounded and integrable in (a, b), except at a
certain nun1ber of points of infinite discontinuity, these points being different
for the two functions.
Prove that
converge.
lb " .f(x) g(x) dx converges, if L"b l.f(.x) I d.v and
Jb" I g(x) I dx
~~As mentioned in § 24, when 've say that x lies in the interval (a, b) ·we n1ean
that a< x <b. In some of the resnlts of this chapter the ends of the interval
are excluded from the range of x. When this is so, the fact that ,.ye are dealing
with the open interval (a< x<b) will be stated.
t Of. Baker, Nature, 59, p. 319, 1899.
122·
JTUNC~riONS OF A SINGLE ·vAl{IABLE 123
ter1r~;s
of the seT·ies, ct1~d Ci1'~Y positive 11umber e hctvi1'~g bee1~
chosen, as srn~all as we please, there is ct positive integer v such that
lf'(x)-Sn(x) I <€, whe11 1~> v.
Further,
A necessary a1~d sufficient condition for converge1~ce is that,
if a'ny positive nu1nber E has bee1~ chose11, as small as we please,
there shall be a positive i11tege1 v such that 1
Again, in the case of the definite integral J: f(.Y, a.) dx, it is understood
..
that 've insert in f(x, a) the particular value of a for 'vhich \Ve wish the
integral before we' proceed to the sun1mation and lin1it involved in the
integration.
2( Sill X
0
l Sill
- 2- 2X + 3 Sill 3X -
l
0
I
••• ,
)
II ere 1 1
1.tn(~v)= (n -1).v+ 1- n.v+l'
and 1
S (.x)= 1--
11 .
n:c+ 1
Thl;ls, when .x > 0, Lt Sn(:r)= 1 ;
when x=O,
The curve y-.f(x ), 'vhen .x > 0, consis ts of the part of the line y= 1 for \vhich
.1J > 0, and the origin . The sun1 of the series is discon tinuou s at .1J=0.
N O\V exan1ine the approx in1atio n curves
y=Sn (.x)= 1- - 1- .
n.JJ+1
This equati on n1ay he \Yritte n
·
(1J- 1) (.'{, +
n n
!) = - ~.
As n increa ses, this rectan gular hyperb ola ( cf. Fig. 10) approa ches n1ore
and
n1ore closely to the lines ,?/ = l, .1: = 0. If \Ve rea.soned fron1 the shape
of the
y
X
0
FIG. 10.
X
0 ·5 1·0
FIG. 11.
The'curve
has a n1axitnun1 at (1/n, !) and a n1inin1um at (- 1/n, - !) (cf. Fig. 11). The
points oil the axis of- X just belO"\Y the n1axin1Ulll and nliniiilUJll IllOVe in
towards the origin as n increases. And if we reasoned fron1 the shape of the
curves y=Sn(.x), we should expect to find the part of the axis of y fron1 - t
tot appearing as a portion of the curve Y=.f(x).
_The sun1 of the series is again continuous, but the approxin1ation curves
: (Gf. Fig. 12), which have a n1aximun1 at (1/,Jn3 , !,Jn) and a n1inin1un1 at
ARE FUNCTIONS OF A SINGLE VARIABLE 127
(- 1/Ja:\ --l.Jn ), differ very greatly fron1 the curve y -.f(.x) in the neigh-
hotu·hood of the origin. Indeed they \Votlld suggest that the \Vhole of the
axis of y should appear as part of y -f{r).
X
0 ·5 1·0
FIG. 12
and since \ve are no'v dealing "'"'"ith a definite nun1ber of con-
tinuous functions, Sn(x) is a continuous function of x in the
interval with which we are concerned.
Thus Sn(x0 )= Lt Sn(x).
:c-?x0
ARE FUNCTIONS OF A SINGLE VARIABLE 129
The two expressions in (1) and (2) need not be the same. They
are so only when f(x) is continuous at x 0 •
65. Uniform Convergence.* When the question of changing
the order of two limiting processes arises, the principle of uniforn1
convergence, which we shall now explain for th~ case of infinite
series whose terms are functions of x, is fundamental. \\That is
involved in this principle will be seen n1ost clearly by returning
to the series
1
In this series S,(x)=1- ,
nx+ 1
and Lt Sn(x) = 1, when x>O.
n->oo
1
Also Rn(x)= , when x>O, and Rn(O)=O.
1~x+ 1
If the arbitrary positive number € is chosen, less than unity,
and some positive xis tak:en, it is clear that 1/(1tx+1)<€ for a
positive n, only if 1
--1
'it>!..__.
X
1
E.g. let e= 103+ 1'
If .x=O·l, o·o1, o·oo1, ... , lO-P, respectively, l/(n.x+1)<e only when
n> 104, 105, 106, ... , lO(v+s).
1
And when e= q+l' and .x=10-1J, n n1ust be .greater than 1QP+q if
10
t/(n.x+ 1)<e.
As we approach the origin ·we have to take rnore and more tern1s of the
series to 1nake the sun1 of n tern1s differ fron1 the sun1 of the series by less
than a given nu1nber. When .'t'= I0-8, the first n1illion tern1s do not
contribute 1% of the sun1.
1
--1
The inequality n>-
x
€
shows that when € i/s any given positive number less than unity,
* The sin1plest treatment of uniforn1 convergence 'vill be found in a paper by
Osgood, Bull. A rrner. ~[ath. Soc., 3, 1896.
C. I T
130 THEORY OF INFINITE SERIES, WHOSE TERMS
CO?'LVerge for all values of x in the interval ct < x < b a11d its
stt~;m be f(x). It is said to converge uniformly in that interval, ,if,
any positive 11u1nber E hav,ing been chose11, as small as ttve please,
the?"e is a positive integer v such that, for all values of x in the
interval, lf(x)-Sn(x)!<e, when n>v.i-
It is true that, if the series converges, I R 11 (x) I< E for each x in
((t, b) when ?~ ::>- v. _
The additional point in the definition of uniforn1 convergence
is that, any positive number E having been chosen, as ,small as
we please, the same value of v is to serve for all the val1tes
of x in the interval.
For this integer v we rnust have
!Rv(x)!, !Rv+l(x)!,
all less than E, no matter where x lies in (clt, b).
the san1e v serving for all values of x in (a, b), f( x) being the su1n
of the series.
Let n", n' be any two positive integers such that 11/'>r;~'::> v.
'rhen Isn,(x)- sn,(x) I< l sn,(x)-J(x) I+ lf(x) -sn,(x) I
<~+~
2 2
< €.
Thus Sv(x)- 2
€
< Sv+p(X) < Sv(x)+2· €
Also Lt Sv+p(x)=f(x).
when x, x' are any .two values of x in the interval (a, b) for which
I x' -xI<: 17·
But j'(x') = Sn(x')·+ Rn(x'),
where \ Rn(x'\ <E/3.
Also f(x') -Lf(x) = (Sn(x')-Sn(x)) + Rn(x')- Rn(x).
Thus lf(x')- f(x) l <: [ Sn(x')- Sn(x) I+ [.Rn (x') I+ IRn(x) \.
€ € €
<3+3+3
<€, vvhen I x' -xI<: 17·
Therefore f(x) is continuous in (a, b).
II. If a series, whose ter1ns are continuous functions, has o.~
discontinuotis su11~, it cannot be u-nifo1~rn~ly conve1"gent. in an
·interval which contains a poi11,t of disco1~tin1.tity.
For if the series were uniformly convergent, we have just seen
that its sum 1nust be continuous in the interval . of unifor1n
convergence.
III. u~ni.form. C01~Vergence
'is thus a sufficrient conclition for
the continuity of the sum of a series of co1~tinuous functio1t8.
It is not a 1~ecessary condition; since d1jferrent non-unijor1nly
convergent se1"ies are lc1~own., which rep1"esent continuottfJS
functions in the inte~rv~il of non-unifor1n convergence.
For example, the series discussed in Ex. 2 and Ex. 3 of § 63
are uniformly convergent in x >a> 0, for in both cases
Then I Sn~(ct)-Sn(a)]
< \ S1n( a)- Sm(x) I+\ S?n(x) -Sn(x) I+] Sn(x)- Sn(ct) \
<~+~+~
3 3 3
<€, -vvhenm>?L>v........................................... (2)
A similar argument shows that
]Sn~(b)-'Sn(b)]<€, when ?n>n~v. ............ (3)
From ( 2) and (3) we see that the series con ve:vges for o:~ ==a
and x=b, and, combining (1), (2) and (3), we see that the con-
dition for uniform convergence in the closed interval (a, b) is
satisfied.
If the tern1s of the series
u 1 (x) + u 2 (.~·) + u 3 (x) + ...
are continuous in (a, b), and the series converges uniforn1ly in every interval
(a, (3), \Y here a< a.< (3 < b, the series need not converge for .x =a or x =b.
E.,q. the series 1 +2x+3x~+ ...
converges unifor111ly in (-a, a), where a< 1, but it does not converge for
x= -1 or x= 1.
Ho,vever \Ve shall see that in the case of the Po,ver Series, if it converges
for .-t· =a or x = b, the uniforn1 convergence in (a, (3) extends up to a or b, as
the case rnay be. (Of. § 72.)
But _this prope.cty is not true in general.
The series of continuous functions
1t1 (.x) + ~t 2 (x) +
u 3 (x) + ...
n1ay converge uniformly for every interval (a, (3) vvithin (a, b), and con verge
for ~v =a or x = b, 'vhile the range of uniforn1 convergence does not extend up
to and· include the point a or b.
E.g. the series x+~x 3 - k:v 2 +-!-x
,J n
....
5 +.J.x7- 1 .-r4 + ...
4 1
. ....................... (1)
forn1ed fron1 the logaritlnnic series
.x- ~~'r.z + ~xs- ....................................... (2)
by taking two consecutive positive tern1s and then one negative tern1, is
convergent vvhen -1 < x· < 1, and its sun1, \vhen x= 1, is ~-log 2.*
Further, the series (2) is absolutely convergent \Vhen Itc I< I, and therefore
the sun1 is not altered by taking the tern1s in any other order. (Of. § 22.)
It follo,vs that 'vhen I x j < 1 the sun1 of (1) is log (1 +x), and when X= 1 its
stun is ~log 2.
Hence (1) is discontinuous at .-t· = 1 and therefore the interval of uniforn1
convergence does not extend up to and include that point.
)'
~-Sv (x)
'-~""""'"Sv,(x)
OL-~~--------------------------------~--x
a b
FIG. 13.
All the approxin1ation curves y = Sm (.1:), 1n > l', lie in this strip, and the
curve y f(x), where f(~'r) is the sun1 of the series, also. lies \vithin the strip,
or at most reaches its boundaries. (Cf. § 66 (ii).)
Next choose E' less thanE, and let the corresponding sn1allest positive integer
satisfying the condition for uniform convergence be v'. Then v' is greater
than or equal to v. The ne\v curve y=Sv'(x) thus lies in the first strip, and
the ne"\\' strip <T' of breadth 2E', forn1ed as before, if it goes outside the first
strip in any part, can have this portion blotted out, for 've are concerned
only "\Vith the region in which the approxin1ation curves 1nay lie as rn
increases frorn the value v.
In this way, if we take the set of positive nu1ubers
E> E' > E" ... , 'vhere Lt E(K) = 0,
Any strip lies 'vithin, or at most reaches the boundary of the preceding
one, and their breadth tends to zero as their nunlber increases.
Further, the curve y= f(x) lies ·within, or at n1ost reaches, the boundary of
the strips.
This construction, therefore, not only establishes the continuity of the sun1
of the series of continuous functions, in an interval of unifortn convergence,
but it shows that the approxitnation curves, .as the nun1ber of the terms
increase, may be used as a guide to the shape of the curYe for the sun1 right
through the interval.*
;~; j( x) clx =
1
J Jx u Jx u
1
dx + Jx u 2 (X) dx + x) dx + ... ,
1 1
( x) 3(
1
x0 x0 x0 Xo
~~Of course the argutnent of thifr section applies only to such functions as can he
graphically represented.
ARE FUNCTIONS OF A SINGLE VARIABLE 141
Therefore JJ~'j(x)
.c
0
dx-J~' S,(x) dx \=
.t 0 1
J:'
,{; 0
Rn(x) dx i
,
<€ ___b-a
X -X
:t__ o
Thus the series of integrals is convergent and its sum is J::f( x) clx.
CoROLLARY I. Let 1J~ 1 (x), u 2 (x), u 3 (x),.~. be conti~nuottLS in (a, b)
ctncl the series 1L1 ( x) + u 2 ( x) + u 3 ( x) + ...
conv~rge uniforrr~ly to f( x) in (a, b).
Then the series of integrals
Since the series 2: 1-L.n (x) con verges uniformly to f( x) in (a, b),
1
I
Thus [f(x)g(x) clx- [ S,(x)g(x) clx I= IJ:. R 11 (x)g(x) clx I·
And [[J(x)g(x) clx- t [ 1~,.(x)g(x) clx I
€
< M(b-a) X M(x-xo)
<€, when n>v,
which proves our theorem.
It is clear that these integrations can be repeated as many
times as we wish.
Ex. To prove that
lu log (1- 2,y cos ::c+,'1;2) d.r=O, when !.Y I< 1,*
= 1r log ,y 2, \Vhen i y l > 1.
We know that
-, 3 ,
.1J - COS .X
1 - 2y cos .'()+y2
_
-- - cos ,1J - 11 cos 2.x - y cos • .1:. + ... ,
• , ,
'-
.
'
2
.......... ~ ..( 1)
when /.1J I< 1.
*It follows fron1 Ex. 4, p 1 l 8, that we may replace the syn1bols <, > by ·<::::
and> respectively.
AR.E FUNCTIONS OF A SINGLE VARIABLE 14B
Also the series (1) converges unifortnly foi" any interval of '!! 'vi thin
( -- 1' 1) ( § 67).
i~y ~r·y
00
lj --
r
Therefore
•0 1 --
2 COS
, . '> dy =
:t'
y cos X + Y""
- ~cos JWJ
1 •0
yn- 1 dy, "'hen I.Y I < 1.
Therefore log (1- 221 cos .v+ y 2 )= - ~ co:~n.v·y", when Iy I< I. . ........... (2)
t
But the series (2) converges uniforn1ly for all values of a:, \Vhen I y I is son1e
positive nun1ber less than unity (§ 67).
Thus
1Jn11T cos nx d.r,
i 1T log (1- 2,y cos x +y 2) dx= - Loo1 ·- ·when Iy I< 1.
1 n o
Therefore 111" log (1- 2,y cos .x+y2 ) dx=O, when Iy
0 •
I< 1.
But 1~ log (1- 2,1J cos .v+.Y2) d.v= 1~ [log_y2 + log ( 1- icos.v+ ; 2)
2
JJ,v.
Therefore
.o
r log (1 - 2,y cos .X'+ ,y 2) dx = 1r log z;2, when I.Y I> l.
J:: ¢(x) dx = J:: u 1' (x) dx+ J::U 2' (x) clx + J:>;; 3' (x) clx + ... ,
'vhere a~x 0 <x 1 <b.
Now put
Then, by the First ~,heore1n of Mean Value,
¢(~)~x = f(x+ ~x)- f(x),
where x< ~<x+~x.
'L'herefore f/>(t) =.f(x + ~x) -f(o;).
Llx
But Lt ¢(~)==¢(x),
AX--?-0
But 1
I an.'C I - I ({,n.'t 0 I X -- i •
I •'-{~n I
Therefore if ~ ,"{·~0 I= <
r! 1, the tern1s of the series
(iii) There is sorne positive nutnber p such that, \Vhen IxI< p, the series
converges, and, "\vhen J.x I> p, the series does not converge.
E.g. x-tx2+!-x3 - ....
The interval - p < .x < p is called the ~·nterval o.f convergence of the series.
Also it is convenient to say that, in the first case, the interval is zero, and, in
the second, infinite. It will be seen that the interval of convergence of the
folio,ving three series is (- 1, 1) :
1 +.').;' +.1~ 2 + ... '
.X :r:2
1 +1 +2+ ... ,
1 .x x2
+12+22+ ....
But it should be noticed that the first of these does not converge at the ends
of the interval ; the second con verges at one of the ends ; and the third
converges at both.
In the Power Series there cannot be first an interval of convergence, then
an interval where the convergence fails, and then a retuni to convergence.
C. I
146 THEORY OF INFINITE SERIES, "\?\THOSE TERMS
0 L
FIG. 14.
To prove IV., 've have only to retnark that if 1V is a point /r0 , 'vhere
- p < .T0 < p, bet\veen N and the nearer boundary of the interval of con-
vergence, there are values of tc for 'vhich the series converges, and thus by I.
it converges absolutely for x=.x0 •
0 M N L
FIG. 15.
.;:- vVhen the interval of convergence extends to infinity, the series 'vill be
absolutely convergent for every value of x, but ·it need not be uniformly con-
vergent in the infinite interval. However, it 'vill be uniforn1ly convergent in any
interval (- b, b), where b is fixed, but 1nay be fixed as large as \Ve please.
E.g. the exponential series converges uniforrnly in any fixed interval, vvhich
n1ay be arbitrarily great, but not in an infinite interval [cf. § 65].
t J. ~fath .., Berlin, l, p. 311, 1~26~
ARE FUNCTIONS OF A SINGLE \TARIABLE 147
Bllt /.>lll (t·)--ct'11'"'. ).11+"'--l'n+_L•I.. n+l+ ••• +"'--l'n-t-JJ--1·1/,lt+J!-1
r+l
- }J c_, ·-
and the factors (~)", (~)'t+l' o oo (~ r+P-l ~tre all positiVe and decreasing,
\vhen 0 < :t? < p.
ThUS pfln (.r.) = lHn(p)en
+ [2ll 1t(p) -lRn(p )]en +l
+ ...
+ [1JRn(p)- (p-l)Rn(p )]en+p-1,
.'C
\V h ere c=-.
p
This expression n1ay be re-\vritten in the forn1
1
)Rn(:c) =lRn(P)[en- en+lJ
+ 2Rn(p)[dt+l- cn+2]
+ ...
+ (p-l)Rn(p)[en+p-2- en+p-l]
+ ]JRn (p) en+JJ-1.
But en- en+\ c 11
+ 1 -- (' 11 +:2, ••• cn+p-l are all positive, and
11/ln(p) J' \2R11(p) I' ... !lJRn(p) I
are all less than E, \vhen n -:.> v.
Therefore, \Vhen n > v,
pRn(l') < € [(en __ en+l) + (en+l _ en+2) + ... (en+p-~ _
1 1 cn+Jl-1) + en+p-1]
< EC 11
is for the interval -l <,x:.:;;;;.z, where l is any g1ven positive nun1ber less
than 1.
VII. Ternl b,y tern~ d~flerentiation and integ1·ation o.f the Po~ver Series.
vVe have seen in V. that the Power Series is uniforn1ly convergent in any
closed interval M', J1f [ - p + 0 < ,1)-<: p- o] contained \Vithin its interval of
convergence L', L [- p < x < p].
It follo\vs frorn § 70 that the series nut_y be integrated tern1 by te1·m in the
~·nterval Jlf', .M; and the process 1nay be 1·epeated any n1tmbm· o.t' t·hnes.
We shall now show that a corresponding result holds for differentiation.
Fron1 the theorern proved in § 71, it is clear that '\Ve need only sho\v that
the interval of con vergence (- p < .x < p) of the series
ct0 + a 1.x + a2.x2 + ...
is also the interval of con vergence of the series
a 1 + 2a2.x + 3a3x 2 + ....
To prove this, it \vill be sufficient to sho\v that
Iai I+ 2 l a2x l + 3 l a3.x2j + ...
is convergent \V hen l·x I< p and is eli vergen t \V hen l·x 1> p.
When !.x \ < p, let p' lie bet\veen [.xI and p.
such that 0-< a0 < a 1 < u. 2 ..• . Then the series Lane- aut is ~tnif'orrnly convergent,
co 0 co
wlwn t> O, and if ftt)= L ctne- ant, 'li'e have Lt f(t) = 'Lan.
0 t~+O 0 co
Consider the partial ren1aincler pRn(t) for the series 'Lane-ant.
0
-x- If we know that Lt [-- a.n j! exists, this result follo·ws jmn1edjately fron1 the
~~~oo an+I
ratio-test for convergence, since in each series
Lt
H~OO
I 'nn+l
'l(, n
< l; if \ ~c ] < L t I~
n=-'?<1) ant l
I·
150 rrHEORY OF, INFINITE SERIES, ·wHOSE TERMS
'v here 11'n =an, •.:)'n =an+ an+h ..• , these being the partial ren1ainde1·s for the
00
series L an.
0
Re,vriting the expression for 11 Rn(t), \Ve obtain, as in § 72, VI.,
pRn (t) = l't'n ( e- ant-e_: an+lt) + '21'n( e- CLn+lt- e-a.u+2t) + ' .. + p1'ne- an+p -lt.
00
Also the nun1bers e-ant, e-an+lt, e-an+'2t, ••• are all positive and decreasing,
\Vhen t > 0.
It follo,vs that, when t > 0,
I }J lln ( t) I< E [( e- altt- e- an+lt) + (e- au+lt- e- all+2t) + ... + e- an+JJ -lt]
< Ee -ant
< E, \\rhen n----- 11, for every positive integer p.
And this also holds when t=O.
00
II. In Abel's Theoren1 and the extension proved above, the set·ies L. an are
0
supposed convergent. We proceed to prove Brotnwich's Theoren1 dealing
\Vith series which need not converge.+ In this discussion 've shall adopt the
following notation :
Sn=a 0 +a 1 +a 2 + ... +an,
CFn=s 0 +s 1+s'2+ ... +sn,
and we \vrite Sn for the Aritlunetic M~ean of the first n te1·n1s of the sequence
s0, s1 , s'2, ....
Thus
00
It can be sho\vn ( cf. S 102) that, if the series L.an converges and its sun1 is
0
S, then, with the above notation, Lt Sn=S. But the converse does not hold.
n-+oo
cc
*If a 0 , a 1 , ... are functions of x and the series 2: an converges uniformly to _P(a:) in
0
co
a given interval. Then it follo,vs fron1 the above argun1ent that Lt 2.a 11 e- ant
t~+O 0
convetges uniforn1ly to J?(x) in this interval.
t .il{ath. Ann., Leipzig, 65, p. 350, 1908. See also a paper by C. N. :Nioore in Bull .
.a4.'lner . .L11ath. Soc., 25, p. 258, 1919.
ARE FUNCTIONS OF A SINGLE VARIABLE 151
co
The sequence of ..L'\_ritlunetic Means rnay con verge, 'v hile the su1n ~an fails to
0
converge.*
(y) Lt 'ltn=l.
t~+O
CO X
'l'h us L ct 11 'ltn = cr0u 0 + (cr1 - 2cr0 )tt1 + (cr 2 - 2cr1 + cr0 )1t 2 + ... + (ern - 2crn _1 + cr 11 _ 2 ) Un·
0
Therefore
li
~ A~
£.JCln'lln=CToLl""Uo + (T1 u""tt
A~ + + AQ +2
1 ... CTn!....J....,'Un ·(T 11 'ltn+l-CTnUn+:!-crn_ 1Un+1· (1)
0
converges, and Lt Sn = S.
It follows that there Is a ntnnber C, not less than JSj, such that
Iern! < (n+ 1) G for every intege1· n.
Also fron1 ((3) it is clear that
Lt (crn'lln+l)= Lt (crnU 11 + 2 )= Lt (crn_ 1 Un+J) =0 ................... (2)
co
:E'u1·ther, the series :L (n + 1)! /1 2un / eon verges, since, fro1n (a), the series
0
co
~ n I ~ un I con verges.
2
0
co
*If an=( -1) 11 , n>O, it isobvious that Lt Sn=~, but the series2:an is not con-
n~co 0
co
vergent. But see Hardy's Theorem,§ 102, II. \Vhen Lt Su=S, the series Lnn is
n~co 0
often said to be " swrnrnable ( C 1)" and its sun1 ( G 1) is said to be S. For a
discussion of this n1ethod of treating series, due to Oe:-;aro, reference n1ay be made
to Whittaker and v\'atson, Course of Jlfodern Analysis, p. 155, 1920. Also see
belo\v, §§ 101-103 and § 108.
t A21ln is written for (un- 2un+l + U +:!}. 11 Since all the tenus in the series
co
~niA 2 'llnl are positive, this condition (a) implies the convergence of this series.
0
152 THEORY OF INFINITE SERIES, vVHOSE TERMS
co
Therefore the series~ o-n6. 2un converges absolutely.
0
lt follo\vs fron1 (1) and (2) that
co co
~ an~tn =~o-n 6_2~tn . ................................. (3)
0 0
Taking the special case a 0 = 1, a 1 =a 2 = ... =0,
co
·we have crn=n+ 1 and Uo= L (n+ 1)6. 2 ~tn ..................... (4)
0
Thus, frorn (3) and (4),
co co
~ a,1 ~l:n- Su 0 = ~(ern- (n+ 1)S) 6. 2~tn . ....................... (5)
0 0
Now Lt ~=S.
n-+co n+ 1
Therefore, to the arbitrary positive nun1ber e, there corresponds a positive
integer v such that
In~\ - S / < 4 ~{' when n::>-v.
/ern- (n+ 1) S [< ~(' (n + 1), \vhen n> v.
'rhus
4
Also lcrnl <(n+1)0, for every positive integer, and ISI-<C.
It follows, fron1 these inequalities and ( 5 ), that
co V-1 co
J L an Un - S-uo I< I ~ (CTn - ( n + 1) S) 6. 2Uu I + I~ (cr n - ( n + 1 ) S) 6. 21ln J
0 0 v
< 20
V-1
t (n+ € co
1)\6. 2unl +4_[( ~ (n+ 1) \6. 2ultl· ................ (6)
co co
But ~ (n+ 1)l6.2unl < 2 ~nl6. 2 U-~~I
v v
< 21(, by (a.). . .......................... (7)
And Lt ~~'ltn=O, since Lt Un= 1, by (y).
t--++0 t~+O
n n
Also l:nl~ 2 unl = Ln6 2nn
1 1
Then we have
8
'vhere 0<8<2, provided that f(x), f'(x), f"(x) are continuous fro1n x to x+2h.
(Of. Goursat, loc, cit., T. I., § 22.)
154 1,H1£0RY OF INFINITE SERIES, vVHOSE TERMS
Then the argun1ent a Love shows that the condition (a) is satisfied.
co
IV. Let tlte seqnence of A rith1neNc Jlleans for the series :Lan converge to S.
co 0
Also let g (x·) !lave an i1~fin£te discontinuity at x· = b andjbg (x·) d<t' be absolutely
convergent. * a
Fron1 the uniforn1 convergence of ~ ~tn(.x') in (a, b), we kno'v that its sun1
1
Then, having chosen the positive nun1ber E, as sn1all as 've please, 've n1ay put
f(x·) = Sn(x·) + Rn(.x·),
'vhere I Rn(:v) I<~, when n> v, the san1e v serving for all values of x in (a, b).
But j~b f(x) g(.x) clx and j~b Sn(x) g(:J;) d~J; both exist.
a a
~b
l
j
a
'b
~tH(x)g(~v) d.t· is converge11t and that its
sun1 is
L
j
((,
f(x) g(a;) d~c.
Jo
(llog ~v loO'
0
(1 +.1:) d/c= f (-ly~- 1Jo
1
(
1
x·n log :x d:JJ
n
~
= 2:1 n (n+ 1?'
C-1y~
. . s1nce
. 1 1
o
,r;n log •X d.v = - (
1
n+ 1)"'
..
*It is clear that this proof also applies 'vhen y(~--c) has a finite nun1ber of infinite
discontinuities in (i:t, b) and 1b g(a:) dx is absolutely convergent.
Here the series for log(l +.1:) converges uniforn1ly in 0 < ;V <I, and
{ logxd:v
~ 0
converges absolutely (as a n1atter of fact log x is always of the san1e sign in
0 < x < 1), while !log x 1-+ oo as x-+0.
On the other hand, \Ve tnay still apply ter1n by tern1 integration in certain
cases \vhen the above conditions are not satisfied, as will be seen fron1 the
following theore1ns :
00
II. Let u 1 (x), u 2 (x), ... be contin~to'ltS and positive and the series L ~tn(J>')
1
converge ~tniforrnly to f(x) in the arbitrary z"nterval (a, a), where a< a< b.
Further, let ,q( x) be positive, bounded and -integrable -in (a, a).
provided that either the integraljb j'( :r) g (.c) dx or the series ~jl>'it n ( x) g (:c) dx
n 1 ((,
converges.
Let. us suppose that Lf(x) g(x) dx
~b
converges.
Since the functions ~t 1 (x), ~t 2 (.p), ... are all positive, as well as g(:t·), in (a, a),
from the convergence of Jb f(x)g(x) d,v there follows at once the convergence
of n
Then / Rn(,x) g(:.t·) d.t· also converges, and for every positive integer n
~a
n. ~b 1 Rn x)g(x)dtc.
1
1
la
b
f(x)g(x)dx- ~ 'll 1·(x)r;(x)dx=
1 a ~a
b (
............ (1
)
But fl'orn the convergence of J: f(x) g(x) dx it follows that, when the
arbitrary positive nutnber e has been chosen, as sn1all as \Ve please, there will
be a positive nurnber ~such that
0< lb b-§
j'(x) g(,t) d.x < ~·
.;.J
/
~-~ . € rb-~
Thus 0< Iln (.T) g(:v) d.~·< Y(l ) g(.rc) d.1J
•a 2 1 ) -,a . a
€ ~~b- ~
< 2(b-a).a dr
·
< ~, \vhen n > v . ........................ (:3)
2
Con1bining these results (2) ·and (3), \Ve have
/
~b 00
1
oo
Ex. 2. Show that loa-- - = 2 L ---~2 = - .
0
1 - x .v 1 ( 2n - 1 ) 4
The conditions iruposecl upon the· terrns u 1 (.v), 1t 2 (x), ... and g(:c), that they
are positive, rnay be rernoved, and the following n1ore general theorern stated :
00
III. Let 1t1 (x), u 2 (.x), ... be contin1tous and tlw series ~I u,11 (x) I converge 1tni-
1 00
for?nly in tlte ar·bitrary ~·n terval (a, a), 1ollere a <a< b. Also let "21tn(tc) =J(.1J).
1
*Of. Bron1wich, Infinite Series, p. 449, and ilfess. JJ[at h., Can~bridge, 36, p. 1,
1906.
t The interval (0, 1) has to be broken up into t,,,o parts, (0, a) and (a, 1). In
the first we use Theoren1 I. and in the second Theorem II. Or 've may apply
§ 72, VI.
158 THEORY OF INFINITE SERIES, "\VHOSE TERMS
F'1.~rther,
Tlwn
let g(x) be bonnded and integrable in (a, a).
rf(:~:)
~a
g(:v) dx = f,l·a r un(x) g(x') d:c,
L'Un(x) converge unijo1·1nly to .f(x·) in .v >a. F1trther, let g(.v) be bounded and
1
integrrable in the arbitrary interval (a, a), 1.ohere a<a, and a 1nay be cliosen as
large as 1ve please ; and let L"g (.v) d.r co1we1·ge absolutely.
The proof of thjs theoren1 follo,vs exactly the s~uue lines as I. of §. 74.
~X! e-x (X! e-x d.?.?
.1/ x
oo
Ex.
d.v= t2J1 (:v+n -I)(,r+n)'
This follo,vs fron1 the fact that the series
1 1
x(.v+ 1) + (x+ l)(n+2) + ···
con verges unifor1nly to 1 j.1) in .1.: > 1.
In the first \Ve use Theoren1 I. and in the second Theoren1 III. Or \Ve n1ay apply
§ 7~, VI.
ARE FUNCTIONS OF A SINGLE VARIABLE 159
Bnt it is often necessary to justify terin by tern1 integration \vhen either
(:r)l ,q(:c) 1 d.v is- divergent o1· ~>n~/./v) can only be shown to converge unifonnly
·a 1
in the at·bitrary interval (a, a), ·where a can be taken as large as 've please.
Many in1portant cases are included in the follo,ving theoren1s, 'vhich
correspond to II. and III. of § 7 4 :
00
II. Let 'tt 1 (x), ~t 2 (x'), ... be contin~tous and pos£ti?)e and the series ~~tn(.x) con-
I
1Jerge ~tn~forn~ly to .f(.x) ~·n the arbitrary interval (a, a), where a Jna,y be taken as
laTge as we please.
Also let g(x) be posit£ve, bounded and integrable in (a, a).
provided that either the integral [~f(.?;) g(.:u) d.r ~1 ~tn(.x) g(.:c) d:c
00
a~
Lt {a[ I_Jt
x "n n---+ oo 1
:±u1.(.t·)],q(.t·)d::c exists.
00
Since the tern1s of the series L~t 1.(.1;) are all positive, as well as g(.x), in
1
:v >a, from the convergence of L"'J(.r) g(.r) dx there follows at once that of
(1·= 1, 2, ... ).
Then j Rn(/c) g(tr) d.1: also converges, and for every positive integer n
• (t
cu·hitrary positive nun1 ber E has been chosen, as stnall as we please, there ·will
be a positive nutnber a such that
Keeping the nu1nbe1· E \Ve have chosen above, there will be a positive
integer v such that
E
O<Rn(.'t·)< ;~;,-( )' \Vhen n > v,
2• lu a- a
the san1e ~' serving for all values of .x in (a, a).
'Thus 0< r
•a
R,(.r),g(.1:)d.r<~,
"""
when n> v.
But
Therefore C.f(
•a
.r) g (.r) d.T = !£1Ja("' 1t,. (.1:) ,q (.1:) d.1:•
The other alternative can be treated in the sa1ne ·way.
Ex. 1.
-~
oo e-ct-.t~ oo b2n loo e-a ·'' ~
. 2 ·'-.1''"'
Ex. 2.
•o l .?
cosh bx dx = ~
_ o 2n: o
d.rr: .
- r- ,
11
Further, the conditions hnposed upon -zt 1 (i.r), 1t2(:v), ... and g(<'c), that they
shall be positive, n1ay be reinoved, leading to the theoren1 :
00
III. Let u 1 (.x ), 1t2 ( .'t' ), .. • bfJ continuo1.ts and the series L Itt 11 ( .rr:) I con verge
1
formly iTi the arrbitrary in.terval (a, a), ~vhere a 1na..1J be taken ClS large as
00
provided that either the integral ~~:>".) f 11tn(.v) I Ig(.v) Id.x m· the series
•a J
f1
l a
00
since the Theoren1 II. can be applied to each terrr1 in the right-hand side.
~oo 00 ( _ 1)n b2n {oo
Ex. 1. Show that j e-ax cos b.r d.r = ~ - ~ -, e-ax.X'
211
d.x, if 0 <I b I< a
'"o o n.1 .o1
ARE FUNCTIONS OF A SINGLE VARIABLE 161
1)llb'4n roo
00 ( -
cos lxcdx= L--,- e-a'2.~: 2~r;'.!.n d.v .
Y)
76. Certain cases to \vhich the theorerns of § 75 do not apply are covered
by the following test :
00
Let 'tt 1 (.v), u 2 (,v), ... be cont1:nuous in x >a, ancllet the series~ ~ln(x) converge
1
unijorn~~y to j(;r:) in the a1·bitrary r£nterr,val (a, a), 'Where a 1na~y be taken as large
as ~oeplea.Q,e,
Further, let the integrals
c
·a
ul (x) d.v+
1'00
r
~,a
u2(.v) d.v+ ...
'l'hen \Ve kno\v that Lt Sn(.v) exists in x >a, and \Ve denote it by F(tc).
n~'X!
From this result our theoren1 as to tern1 by tern1 integration \Vill follo\v
at once.
notation, we have
IF(.1:)- Sn(x) I< 3€ , when n > l',
the same v serving for every x greater than or equal to a.
Choose son1e value of n in this range.
Then we have Lt Sn(tc) = G(n).
X-:): 'X!
But
E
<-3
It follows from I. that L"f(.r) d.r converges, and from III. that
REFERENCES.
BROMvvrcn, loc. cit., Ch. VII.-VIII. and App. III., 1908.
DE LA VALLEE PoussrN, loc. cit., T. I. (3e eel.), Ch. XI.
DINT, Lezioni di Analisi Infinitesimale, T. II., 1a Parte, Cap. VIII., Pisa, 1909.
GoURSAT, loc. cit., T. I. (3e cd.), Ch. II.
HoBsoN, loc. cit., Ch. VI.
Ko\VALEWSKI, loc. cit., Kap. VII., XV.
OsGooD, loc. cit., Bel. I., Tl. I., Kap. III.
PIERPONT, loc. cit., Vol. II., Ch. V.
SToLz, loc. cit., Bel. I., Absch. X.
And
PRINGSHEIM, "Gruncllagen cler allgemeinen Funktionenlehre," Enc. d.
~~ath. rViss., Bel. II., Tl. I., Ijeipzig, 1899.
164 THEORY OF INFINITE SERIES, "\VHOSE TERMS
EXAMPLES ON CHAPTER V.
lJNIFORlVI CONVERGENCE.
1. Exan1ine the convergency of the series
~ .x
1 ( nx + 1 ) [ (n + 1 ) x + 1] [ (n + 2) x + 1]'
and hy its n1eans illustrate the effect of non-uniforn1 convergence upon the
continuity of a function of x represented by an infinite series.
2. Prove that the series
9 x2 .x2
x- + (1 +.1>;2) + ( I+J:2)2 + ...
is convergent for all values of ,':v, but is not uniforn1ly convergent In an
interval including the origin.
3. Determine vvhether the series
oc 1
~ n3+n4.x2
is uniforn1ly convergent for all values of .r.
'X)
1 1
= (.x- l)(xn+x-n)- (x- 1 )(.xn+I +.x-{n-r.I))'
Find also 'vhether the series is
(i) uniforn1ly convergent through an interval including +1 ;
(ii) continuous vvhen x passes through the value + 1.
5. Discuss the uniforn1ity or non-unifonnity of the convergence of the
series 'vhose general tern1 is
1 - ( 1 +.X )11 1 - ( 1 +X y~-l
?_l = - .
n 1 +(1 +.x)n 1 +(1 +~r)n-l
6. Let a0 +a 1 + ...
be an absolutely convergent series of constant tertns, and let
fo( .x ), /1 (.'t·), •· ·
be a set of functions each continuous in the interval o. < .'t' < (3, and each
con1prised betvveen certain fixed lin1its,
A <.f~,(.x) < B,
i=O, 1, ... ,
vvhere A, B are constants. Show that the series
a 0 j~(:c) + a 1 j 1 (x·) + ...
represents a continuous function of x in the interval a<::: .x < (3.
ARE FUNCTIONS OF A SINGLE VARIABLE 165
7. Sho\v that the function defined by the series
oo X
~------
1 n(l +n_x2 )
is finite and continuous for all values of x. Exatnine \vhether the series is
uniforn1ly convergent for all such values.
8. Show that if 'llo (X) + 'U 1(X) + ...
/
~ 1 ~in - 1:c d . = ~ 1 . 3 ... 2n- 1 1 ~~ 1 tan - 1.v d-, = ~ ( _ )n . 1 _
X .:::.,; 2•4 2n (2··n+1"'
)')' ,JJ .:::.,;
1 ( 2 n+1""'
)')'
vO X 0 ••• vO :;; 0
sin- 1 x tau- 1 x
and fro111 the integration by parts of and --- ----, prove that these
series also represent .r: ~:t·
* vVhcn ;u = l, Lt nu~±_1 = l, but Raabe's test (cf. Bronnvich, loc. cit., p. ~~~3, or
n~oo 'ltn
Uoursat, loc. cit., p. 404) shows that the series converges for this value of x.
166 THEORY O:F' IN:b-,INI'TE SEl~IES, WHOSE 'TEl~MS
l
~x
-1 d l.;fJ t-tl t.,fJ
~ o t an .r :c = 1 . 2 - 3 . 4 + 5 . 6 - · · · ·
Sho\v that the result also holds fo1· :v= 1, and deduce that
1--}- ~ + ~-+-!~- ... =0·43882 ....
- v + l)
l
~ o 1og ( 1 + x) dJ; = { . 2 - ; ~ 3 + i .4 - ....
Does the result hold for ~· = ± 1~
loo· (1 +:t:) - =
° :c
·x (1 +X)
d.1J w .?;~n-1
l
..,o
log-- - = 2~1 (-2-?1~-1-)2'
1-.'t' .;t: C/
O<x<l.
Express the integrals
(llog (J -X) dx,
j0 X
~~ log (1 -1-:c) clx and
~0
1
.~· )
elog ('
o
1+X)
1-X
d,t'
.;r
as infinite series.
16. Prove that the series ~ ( ae- nax- (3e- nf3x) is uniforn1ly convergent in
1
..,cl. 1 l..,c
. h { 1
Tr cos11 a:;;= 2 s1n aTr :=;--- - -
a cos ,1; a cos 2.t· l
-,, + - . -- ,, · - ... f,
':t.a 1. +a"" 22
· +a"" ·
nrove
t
riCtorously
b ..
that
. . { sin,}/ 2 sin 2:t' 3 sin 3~v }
7T Slllh a.JJ = 2 Sill1l ctTr 1 +ci~- a~-+- 3r+a2 - - -22+ • •• •
ARE lTUNC1,IONS OF A SINGLE V Al~IABLE 167
~ --, -21·+
o 1'. a- x -2, l: rl a---')1· + ~·~.,,
are uniformly convergent for all values of x; and if their sun1s are j(x) and
F( ,}; ) respectively, , , _ oo _!_ .!:_ (-!!~)
f (X) -l:o 1'.! d X C(;-- + ,t;'"' ')J• ') '
, . _ ~ 1 d (( -1 Yct_ 1. )
.F' (,'{;) -l: -,- -d--
o 1'; X
-''1'
C(; ~ + ,1/''"' •) •
converges. Does it converge uniforn1ly for these values'! }-.,or \Vhat values
of x can the series be differentiated tern1 by ter1n 1
21. * Sho\v that the series
1 e-~ e-~)
00
l
~rr • dx .
tan- 1 (a s1n .z') -.- = t1r Slnh-1 a
o Sin .X' "" '
oo ( (li )
-1 )n -
2n
show that
"
\Vhen a>O.
CHAPTER VI.
a<x<a/, b<y<b',
then J:' ¢(x, y) dx is a continuous fnnction of y in the interval
(b, b').
Since p(x, y) is a continuous function of (x, y)t, as defined
in § 37, it is also a continuous function of x and a continuous
function of y.
Thus ¢(x, y) is integrable with regard to x.
*As already remarked in§ 62, it js understood that before proceeding to the
lin1it involved in the integration, the value of y, for which the integral is required,
is to be inserted in the integrand.
t vVhen a function of t'vo variables x, y is continuous 'vith respect to the t'vo
Yariables, as defined in§ 37, 've speak of it as a continuous function of (x, y).
It will be noticed that we do not use the full consequences of this continuity in
the following argun1ent.
169
170 DEJTINITE IN1,EGRALS UONrrAINING·
tion of ( x, y) in a< x ·<a', b < y-< b', cmd ~~ exists c~ncl satisfies
the sctn~e co11cli l-ion.
o¢(x,y+Ay)
~ -
o¢(x,y)
~
< e, w en
h lA -c.::::
uy 1 == 17,
l uy uy
the same YJ serving for all values of x in (a, a/).
Let Ay satisfy this condition.
Then
f(y+/1:.)- j(y) -J"'~¢ V/'(x) dx <JJ1(a/ -a)€, when j6.yj <:: 17.
Y a uy
In the case of infinite series, \ve have 1net with the sarne
questions and partly answered thetn [c£. §§ 68, 70, 71 ]. We
proceed to discuss then1 for both types of infinite integral. rrhe
discussion requires the definition of the forn1 of convergence of
infinite integrals which corresponcJs to uniform convergence in
infinite series.
J F(x, y) dx,
oo
(f.;
where F(x, y) is bounded in the region a< x < o/, b < y < b', the
number a' being arbitrary.
I"'
(i
F( x, y) dx,
0<~<1J,
I
a'
o.,'-§
F(x,y)dx <e, when
(ii) IF(x, y)l < p.(x), ~vhen x >a a11,d b< y < b';
rtnd (iii) [ p..(x) clx exi8t8.
For, b~y (i) and (ii), when x">x'>a and b<y<b',
0
e-xy dx converge unifor1nly in y > y 0 > 0.
(Y.J X
Ex. 2. /(} e--y d.x converges uniforn1ly in 0 < y < Y, 'vhere Yis an arbitrary
~ 0
positive nun1ber.
- -x,y
E X. 3• {, Y.J cos - d .x,
, j,Y.J sin
- .'Cy d.x, £Y.J ~os
-.x- . y d .t,,
•1 .'Cl+n 1 .'Cl+n •0 1 + ,t''!,
uniforn1ly for all values of ,1), -where n > 0.
II. Let¢ (x, y) be bounded in x >a, b < y < b', and a rn1onotonic
ji&nction of x for every yin (b,b'). Also let 1Jr(x) be bo1.&11ded
cincl 110t chainge .sign ?110?"e thcvr~ a ji11ite nitmbe,r of tiTnes in
the Mbitrary inte1·val (a, (0,* ancllet [ ,Y(x)clx exist.
J:: ¢(x, y) ,Y(x) dx = ¢(x', y) J:. y_,.(x) clx + ¢(x", y) J:",Y(x) rlx,
where ~satisfies a<x' < ~< x".
But ¢(x, y) is bounded in x >a and b < y < l/, and [ Y-"(x) clx
converges.
Thus it. follows from the relation
Jr¢(x,y),Y(x )cZx
. Ex. 2. (:f) sin ,1:},2} d.x and j"oo !£ ,~-!1~~~ d.1; both converge nniforn1ly in 11 >Yo >0
j0 t'C L 0 1+ .1;00J l t_ - f
The n1ost useful test for uniforn1 convergence in this case is that
corresponding to I. above.
Ex. 1. [' .r•-1 d.x, { .r"-1 e-x dx converge uniformly in 1 > y >.Yo> 0.
o/ 0 L 0 •
l .
Sll1 .X • • ~
Ex. 2. -•'C1 +Y,_ d.v converges utnforn1ly tn 0 < y --y < 1.
lo , 0
(a, a').
Also let [ P(x, y) dx converge 'lmiformly in (b, b').
Then f(y) is ci corrttinuotts j1tnction of y in) (b, b').
Let the positive number E be chosen, as small as \Ve please.
Then to E/3 there corresponds a positive number X such that
provided vve can show that the limit on the right-hand exists.
But
Ydy J·" F(x, y) d:c . JY ely Jw F(x, y) dx- JY ely J, F(x, y) cl;c.
J ~ u ~ u ~ ~
x~oo J:ody r
Of course we cannot reverse the order of these lin1iting pro-
F(x,y)dx=O.
Thus
(
x" e- ax e- a:~;'
--sin x dx = - , -
1§ sin x· d:x: + -,,-j
e- ax" ~ .~;"
sin :t' d:J_:,
~tc' x X x' tc §
·---- s-c ~
'v h ere 0 < x ' ~ -- x ,, .
Therefore
ax" I ~J/'
:c" e- ax
x· dx I < -e- ax' I j"§,sin x· dx· I + e-
~,~, sin :v dx I
11 x'
-.,- sin
X
---",-
X x X ~§
e- ax'
<4-,-,
X
since Ij"q sin x d,JJ I< 2 fot all values of p and q,
.,p
4 . >
< -,
•1J'
since a== 0 .
provided that ~r > 4/€, and this holds for every a greater than or equal to 0.
This establishes the uniforrn continuity of the integral, and f1·on1 § 84
F(a) n1ust be continuous in a> 0.
oo sin X l
Thus F(O)= Lt e-ax _ _ ( x,
a-+0 .r: !o
oo sin .X' ~L~- Lt loX! -ax sin X'd
t.e. --u w- e - - ,,1),
!oo X a.-+0 0 X
185
Therefore
I1 j·x e-ax sin x [< 21re-axo.
--chc
1 xo a;
Also ¢(a)=
o1 la
:1) cos ax
dx
- -9 da
1 +x--
0
sin ax
= l (
:J)
9 ) d.x.
~ o x 1 +x--
~n
l
~'Jj sin ax d 1~:1)sin ax l
=- v+ ex
0 X " o X ( 1 + ,:t·2 )
7r
=- 2+cp(a).
This result has been established on the understanding that a> 0.
(v) Fron1 (iv) \Ve have
7r
¢(a)=Aea+Be-a+ , \Vhen a>O.
2
But ¢(a) is continuous in a>o, and ¢(0)=0.
187
Therefore Lt ¢(a)=O,
t;t~O
7r
and A+B+ 2 =o.
Therefore
I
~:xJ
Ex. 3. The Ga?nn~a F1(?'Wtion r (n) = e-x.t,n-1 cL:c, n > o, and its der£vatives.
~ 0
(i) To p1·ove r(n) is uniforrnl,y convergent 1oh.en .1.V> n > n 0 > 0, ho1oever large
JV ma;v be and ho1oeve1· near zero n 0 may be.
W'hen n > 1, the integral [~ e~".v"-1 d.v has to be examined for convergence
~ 0
only at the upper lin1it. WheJJ 0 < n <I, the integrand becon1es infinite at
x=O. In this case \Ve break up the integral into
Again consider
When :JJ >I, .~n- 1 < .xN-I, if 0 < n < J.V.
Therefore e-xxn-·l < e-x.-z,,N- 1, if 0 < n < N.
It follows as above fron1 § 83, I. that (X- e-x:un-I d:t· converges uniforn1ly
~ 0 < n :::::::
--ror - J.V. )I
Combining these two results, we see that l"' e-"x"- 1 dx converges uniformly
\Yhen J.V> n > n 0 >0, ho\vever large J.V rnay be and ho\vever near zero n 0
1nav be.
tf
so that the integrand has an infinity at x=O for positive values of n only
\vhen O<n < l.
188 DEFINITE INTEGRALS CONrrAINING
Con1bining these two results, we see that jo e-x.x.n-Ilog .x· d.x· is uniforruly
convergent when N> n > n 0 > 0, ho\vever large J.V 1nay be and however near
zero n 0 n1ay be.
We are thus able to state, relying on §§ 86, 87, that
r'(n) = l~ e-x.vn-l log x dx for n > 0.
It can be shown in the san1e vnty that the successive derivatives of r(n)
can be obtained by differentiating under the integral sign.
Ex. 4. (i) To prove l" log ( 1 - 2y cos .x + y 2) d.x is uniformly convergent for any
.
intet·val of y (e.g. b < y < b'); and (ii) to deduce tllat L rr
2
log sin x dx=- t7l' log 2.
(i) Since 1- 2,y cos.~·+ y 2 = (y- cos .x·) 2 + sin 2x, this expressiqn is positive for
all values of.~·, y, unless \Vhen .x·=1n1r andy=( -1tn,
?n=O, ± 1, ± 2, etc., and
for these values it is zero.
It follo\VS that the integrand becomes infinite at x=O and X=7r; in the
one case \vhen y= 1, and in the other when y= -1.
We consider first the infinity at x = 0.
As the integrand is bounded in any strip 0 < x < ...:¥, whete ....:¥< rr, for any
interval of y \vhich does not include y= 1, 've have only to exan1i11e the integral
j~x log (1- 2y cos x+y 2) d:c
in the neighbourhood of y= 1.
Put y= 1 +It, \Vhere 11~ I< a and a. is soine positive nurnber less than unity,
to be fixed n1ore definitely later.
A.nd therefore t
• 0
log (1- 2y cos .~:+J;2) (/;J:
a result ·which, of course, could have been deduced fron1 the preceding.
89. The Repeated Integral/"' dx )~"' f(x, y) dy. It is not easy to deter-
nline general conditions under \vhich the equation
tb
d,y (f(:t·, y) d.r=1x dx
.a a
t
~b
j(tr, y) d,y, when y >b.
It follow·s that
00
[ dy roo f(.x, .Y) dx= Lt j"OO d.1~1y .f(t)_~, .Y) dy,
• b • a y~oo a b
in y > b, \ve can choose the positive nun1ber .Ly such that
Thus we have [ L'" dxl:'>(.r, y) d,y / < ~' when y" > y> Y . .................(2)
Bnt it is clear that
.C d.c.(;:'J(.r, y) dy= Lx dxf/(x, .Y) ~y+ f dx{J(.r, y) dy- J: dx J:'f(D:', .Y) dy.
Therefore fron1 (1) and (2) we, have
If dx J;':r(.r, y) dy I<~+~+~
< E, \Vhen y'' > .Y' > J~
We have thus shown that
c
• b
ayj~f(.r, y) d.r =
a
Lt
y~oo ~ a
c
d.r, (Y f(m, .Y) d,y . ................ ;.(:3)
Jb
It remairis to prove that
Ir d.tf
(f, ~-b
f(:u, y) rl.IJ -!·x;d.l:
~rt
t f(.r,
~b
y) dy I<~,3 when X'> X, ...... (5)
the sarne .Lr serving for every y greater than or equal to b.
Choose a number...:¥' such that X':::::=:::- X> a.
I''YJ
Then, frorr1 the uniforn1 convergence of / f(;r:, ~/) c~?J in any arbitrary
~ ll
interval, \ve kno\v that there is a positive nun1ber Jr2 such that
~I ['X) rr I
-- l- J" d.v./~ f(.r, .Y) dy I+
ll'X)" d.v},,rr f(.v, y) d.1J- L ~x, rr
d.1: },, .f(.v, y) dy
I
.rc.r, y) ay -J
X' Y ·X'- 'X) .!
+I:.far a. c (,
·b n
d.rcl.rc:c, y) i!:u
b
<E.
This result holds for every nurn ber .LY' greater than or equal to .Lt.
Thus \Ve have sho\vn that
integrals f' dx r
necessary. For a n1ore cornplete discussion of the conditions under \vhich the
f(:r, y) d.1J, f' d.1J.(oof(x, y) d.r,
when they both exist, are equal, reference should be rnade to the \Vorks of
de ]a Vallee Poussin,* to \Vhorn the above trecttrnent is due. A valuable dis-
His investigations are contained in three memoirs, the first in Br1txelles, Ann.
-r.-
Soc. 8cient., 17; the second in J. rrnath., Pa"ri8, (Ser. 4) 8, 1892; and the third in
J. 1nath., Paris, (Ser. 5) 5.
See also Brornwich, Lonclon, Proc. Jlfath. Soc. (Ser. 2), 1, 1903.
AN ARBITRARY PARAMETER 193
cussion of the \vhole subject is also given in Pierpont's Theoi'Y of Functions
of a Real Variable. The question is dealt ·with in Hobson's 11fwory of
Functions of' ct ileal Variable, bn t ft·otn a, 1nore difficult standpoint.
REFERENCES.
BRoM·wrcH, lac. cit., App. III.
DE LA v ALL~E PoussiN, Zoe. cit., T. II. (2e eel.), Ch. II.
DINI, Lez~·oni di Analisi lnfinitesirnale, T. II. 1n. Parte, Cap. IX., X., Pisa,
1909.
GouRSAT, lac. cit., T. I. (3e eel.), Ch. IV.- v.
Osaoon, lac. cit., Bel. I., Tl. I., Kap. III.
PIERPONT, loe. cit., Vol. I., Ch. XIII.-XV.
SrroLz, loc. cit., Bel. I., Absch. X.
And
BRUNEL, "Bestinunte Integrale,'' Enc. d. n~at/2. JY~·ss., Bel. II., Tl. I., Leipzig,
1899.
ul'ove that !o"' e-ax'dx is uniformly convergent in a> a 0 > 0, and that
·-ret2
,~- is uniforn1ly convergent in a> 0, "\vhen b >0.
2. Prove that j'f) e-xv sin X.?f d.x is uniforn1ly convergent in y> y 0 >0, and
0 y '
that j"oo e-axsin XJjdx is uniforn1ly convergent in y>o, \Vhen a >0.
·0 y
3. Prove that {'f) e-ax.xn-l cos d.v
•0
is unifor1nly convergent in the interval
> a 0 >0, \vhen n >I, and in the interval a=: O, when 0< n< 1.
0
xY-1(log ~v)n d:t·, n>O.
.. j"~ --=--,
11
cl.x 1r
a>O;
( ) o x2+ a 2 •.J a
(' ') 11
111
a
Xn d. X ' =1- - , n> -1
n+1
loO' .'t'
/
~-~ .X 11 1r 2 n1r n1i
~ -- d.1) = - sec - tan - .
• 0 1 +.x 2 4 2 2
9. Establish the right to integrate under the integral sign in the follo,ving
integrals:
(i) .fo"' e-«x dx; interval a>- a 0 >0.
(ii) Jo"' e-"x cos b.r dx; interval a> a0 >0, or any interval of b.
(iii) Jo"' e-"x sin b.r d.r ; interval a> a 0 >0, or any interval of b.
1
b:.t•
l
~
.. Slll _ 1
(n) - - - d.X.- 2 1r,
~a .rc
11. Show that the integrals
~0 Jo
"~
/~'lJ cl.1:.h('lJ
•o
e-x!J sin ,x ely . ('lJ dy ('lJ e-x!J sin .T d.x,
· .h )o
where b is any positive nun1ber.
CHAPTER VII
FOURIER'S SERIES
integral r.
be integrable in this interval; if unbounded, let the infinite
f(x) dx be absolutely convergent. 'fhen
ct0 = ,}
..... 7(
r-7r
j(x') COS nx' clx', .
1
lJ ... (2)
an=__!_ Jrr f(x') cos nx' clx', bn= Jrr f(x') sin nx' dx',
7r -rr 7r -rr
and these coefficients are called Fourier's Constants for the
function f(x).
The important thing about the Fourier's Series is that, vvhen
.f(x) satisfies very general conditions in the interval ( -7r, 7r),
the sun1 of this series is equal to .f(x), or in special cases to
~-[f(x+O)+f(x-0)], when x lies in this interval.
196
FOURIER'S SERIES 197
If we assun1e that the arbitrary function f(x), given in the
interval (- 7r, 7r), can be expanded in a trigonometrical series of
the form (1), and that the series may be integrated tern1 by
term after multiplying both sides by cos 1~x or sin nx, we obtain
these values for the coefficients.
For, n1ultiply both sides of the equation
j'(x) = Ci0 + (a 1 cos x + b1 sin x) + (c~;2 cos 2x+ b2 sin 2x) + ... ,
-7r<X<'1r, •..... (3)
Then
since rrr
r
by cos 1~x, and integrate from - 7r to 7r.
j(x) cos nx dx =
cosmxc~:nxdx= J~rr sinntxcosnxdx=O,
7rct11 ,
The expansions in (5) and (6) could have been obtained in the
same vvay as the expansion in (!3) by assuming a series in cosines
only, or a series in sines only, and multiplying by cos nx or
sin 1~x, as th~ case rnay be, integrating now fron1 0 to 7r.
Further, if we tak:e the interval ( -l, l) instead of (- 7r, 7r ), we
find the following expansions, corresponding to ( 4 ), ( 5) and ( 6) :
so that this curve shall pass through the points of the curve
y=f(x),
at which the abscissae are
7r 27r 7r
---, --, ... (n -1) ~.
n n n
In this way we find a 1 , a 2 , ••• an~l as functions of 1'L ~Proceeding
to the lin1it as 'n-7oo, we have the values of the coefficients in
the infinite series
.f(x) ~ a 1 sin x + a 2 sin 2x + ....
But this passage from a finite number of equations to an
infinite nurnber requires n1ore con1plete exan1ination before the
results can be accepted.
The most satisfactory n1ethod of discussing the possibility of
expressing an arbitrary function f(x), given in the interval
(- 7r, 7r) by the corresponding Fourier's Series, is to tak:e the series
a 0 + (a 1 c_os x + b1 sin x) + (a 2 cos 2x + b2 cos 2x) + ... ,
where the constants have the values given in (2), and sum the
tern1s up to (an cos 1~x+ bn sin_ nx); then to find the limit of this
sum, if it has a lirnit, as 11~~YJ.
In this way we shall show that "vhen f(x) satisfies _very general
conditions, the Fourier's Series for Lf(x) converges to f(x) at every
point in (- 7r, 7r), where f(x) is continuous; that it converges to
}[j'(x+O)+J'(x-0)] at every point of ordinary discontinuity;
also that it converges to t[f'(-7r+O)+.f(7r-O)J at x. +7r,
"v hen these limits exist.
Since the series is periodic in x with period 27r, \Vhen the sun1
·is l(nown in (- 7r, 7r), it is also l(nown for every value of x.
If it is n1ore convenient to tal(e the interval in which ./(x) is
defined as (0, 27r), the values of the coefficients in the correspond-
ing expansion would be
1 J2rr
C{;o == 27r o j~(x') d~c',
C{;.n =.
1
7r
J j(x') cos nx' dx',
2
0
" bn = .!_
7r
J j(x') sin nx' clx',. n
2
0
" > 1.
l_)t
n . sin p..X 7r •
j(x) ----- --- dx= -:-f( +0), Lt
Jb j(x)
. sin p..;;v tlx=O_,
,
f.t-+oo J0 X 2 f.t--7 oo n X
where O<a<b.
When we apply the Second Theoretn of Mean \T alue to the
integral c' sin X l
- - c x, O<b' <c',
J
b' X
<;' sin X 1 J~ 1
- - dx = b' s1n x clx + 1
. Jc' sin. x clx,
've see that
Jb' X b' C ~
< c< c'.
w h er e b' ==s==
Thus I.
'i
Jc' sin
b'
- txl x
x -
1 1)
·<2 ( -+--
b' c'
4
<b''
It follows that the integral
[ siia; dx
is convergent. Its value has been found in § 88 to be J7r.
n- Jb
The integrals
can be transformed, by putting
I 0
- dx
sin-p..x
X
anc1
p..x == x',
a.
into
sin p..x d x.
X
f.ta --ex,
sin x l Jf.tb sin x l,
--ex,
J0 X Wt X •
respectively.
* J. J.l{at h., Berlin, 4, p. 157, 1829, ai1Cl Dove's ReJ?ertorinrn der Physik, Rd. I.,
p. L32, 1837.
FOURIER'S SERIES 201
It follovvs that
et- sin f!.X Joo sin x
Lt
J
- --------- dx=
X
- - clx== ~7r,
0 X .-
O<a,
J
f.t-+oo 0
b • b •
Lt sinf!.Xdx= Lt sinxclx==O, O<a<b.
and
!J--+oo J
a X M-+oo
f.t
Ma X
These results are special cases of the theorern that, ~vhe1~ j'(x)
satisfies qertain condit-io1~s, give1~ belotv,
(,
sin f!.X 7r
M--*oo J
Lt .f(x) , clx=---J( +0), O<a,
0 X 2
b sin f!.X
Lt f(x) clx==O, O<a<b.
M--*oo J a X
In the discussion of this theoren1 vve shall, first of all, assurne
that f(x) satisfies the conditions we have irnposed upon ¢(x) in
the staten1ent of the Second Theorem of Mean Value (§50); viz.)
it is to be bounded and rnonotonic (and therefore integrable) in
the interval vvith whicl1 we are concerned.
. cIear th at
It 1s Sin . fi es t l1e con d"t"
f!.X sat1s .
1 Ions 1111pose d upon
X -
"-Y(x) in that theorem. It is bounded and integrable, and does
not change sign more than a finite number of tin1es in the interval.
We shall re1nove some of the restrictions placed upon f'(x) later~
I. Consider the integral
O<a<b.
Jf(x) sinp..x dx,
b
a X
From the Second Theorern of J\1ean \T alue
bf(x) sin p..x dx = /( LL+ 0) Jt; sin p..x dx +f(b- 0) Jb sin fi-X dx,
Jct X a, X § X
Put f(x)==¢(x)+ /( +0). ~'he lirnit j'( +O) exists, since f(x) is
n1onotonic in 0 <: x <a.
Then ¢ ( x) is n1onotonic and ¢ ( + 0) = 0.
Also
· p.,x l + Jc~ (p ( ·)sin p.,X d
af( ·)sin p.,x l . ·-j'( + O) JH sin
Jo
X_
X
C X-
. X 0
CX
X 0
X ---- X.
As p.,-+YJ the first integral on the right-hand has the li1nit }1r.
We shall now show that the second integral has the limit zero.
rro prove this, it is sufficient to show that, to the arbitrary
positive nun1ber E, there corre_sponds a positive number v such that
·Ja ¢(x)----x---
sin p.,X
dx <E when p.,::_v.
I 0
Let us break up the interval (0, a) into t'vo parts, (0, a) and
(a, a), "r here a is chosen so that
j¢(a-0)j<E/27r.
\Ve can do this, since we are given that ¢(+0)==0, and thus
there is a positive nun1ber a such that
j ¢(x) I< E/27r, when O<x <a.
Therefore g_ sin x
~--- dx
I< when
IJ P X
7r?
0
~-
~
L
E
-..7r
x 7r
J
c~> ( ) l
sin p.,x CX==
Lt ¢X - 0,
IL~oo a X
IJ0
"¢(x) sin f.lX clx 1-< Jo. ¢(x) sin MX dx +
;{;
1
1 0 X
J" ¢(x) si_11yx dx .
a X
Therefore
n sin f.J.CC
Thus Lt ¢(;c) ----:- clx == 0.
fL->- oo J 0 ;1;
where F(x) and G(x) are positive, bounded, and n1onotonic in-
creasing in the interval with which 've are concerned [ cf. § 36].
This result can be obtained; as follo\vs, \vithout the use of the theorern
of§ 36 :
Let the interval (0, a) be broken up into then open intervals,
(0, a 1), (a1 , a 2), ... , (an_1 , a),
in each of \vhich f'(:c) is bounded and n1onotonic.
Then, \vriting a0 = 0 and an= a, we have
(ctf'(,?J) sin :,1; dx= ~ [(Lr j(x·) Sil~ :{() dx.
Jo :h r=1 ., a1·-1 X
The first integral in this sun1 has the lituit !!_ f( + 0), and the others have
. 1. t zero w h en 11----7-- r:fJ •
t 11e 1un 2
b-~
•
j(x) ------ clx
,.
X
< -2e , vvhen 0 < t < YJ, .......... (1)
And, by I. above,
b- YJ sin f.J.X
Lt f(x)~---clx=O.
JL-+oo J c~ X
:Jfb-
a f (x)
sin f.J.X
YJ I
x clx < ,
e
2 v\T hen fl. > v. . ........... ( 3)
Lt fbf(x)sin,u.xdx=O, O<a<b.
JL-+Y) Ja X
where O<a<b<7r.
In the discussion of Fourier's Series the integrals vvhich vve
shall meet are slightly different from Dirichlet's Integrals, the
properties of which 've have just established.
J"
o
f(x) si~
SillX
Jl·'r dx, J" f(x) si~
a SillX
JlX dx,
where O<a<b<'lr.
We shall now prove that :
TVhen j(x) satisfies Dirichlet's Oonditio1~8 (as cleji1~ed in§ 93)
in the in,tervals (0, a) ctncl (a, b) respecti1Jely, where O<ct<b< 7r,
ctnd f( + 0) exiBts, the?~
c" sin fJ.X _
f(x) -~-.~- ~--- clx == ~ .f( + 0),
7r
Lt
p.-7-oo Jo Sill X 2
cund Lt Jb f(x) si~ flX dx = 0.
p.-7-'lJ a Sill X
Let us suppose that f(x) satisfies the first of the two conditior
given in § 93 as Dirichlet's Conditions:
f(x) is bounded, and the intervals (0, a) and (ct, b) can be
brok:en up into a finite number of open partial intervals, in each
of vvhich f(x) is monotonic.
Then, by § 36, we can write
f(x) == F(x)- G(x),
where F(x), G(x) are positive, bounded and n1onotonic increasing
in the interval vvith which we are concerned.
Then f(x) si~ JlX = [F(x) __j!?_ ___ - G(x) . x -]sin fJ.X.
Sill X Sill X Sill X X
and n1onotonic increasing in the interval (0, ct) or (ct, b), as the
case may be, provided that O<a<b<7r.
It follows frorn § 91 that
Lt
p.--+oo
Jao f(x) si~ JlX
Slll X
clx = 7r' (F( + 0)- G( + 0))
2
7r
= 2/(-+0),
b sin fJ.X
and Lt f(x) -.--dx==O, when O<a<b<'lr·
p.-7-oo Ja SI11 X
Next, let j'(x) satisfy the second of the conditions given in§ 93,
and let/(+ 0) exist.
We can prove, just as in § 92, II., that
u sin fJ.X
Lt f(x) · . clx==O when O<ct<b<7r.
M~oo J a Sln X .
we need only, as before, break~ up the interval (0, ct) into (0, a)
'l_.nd (a, a), where f(x) is bounded in (0, a), and from the results
. e have already obtained in this section the limit is found as
stated.
If it is desired to obtain the second forn1 of Dirichlet's Integrals 'vithout
the use of the theoren1 of § 36, the reader 1nay proceed as follo,vs :
( i) Let j( x) be positive, bounded and monotonic increasing ip (0, a) and (a, b).
Then--/!!-- is so also, and cp(.t')=f(x)-/!!- is so also, O<a<b<1r.
Sill .X ' Sln .X
But, by § 91,
Lt
f,I.--'?OC)
(a cp(,tc) ~-~~
J0
:0:' dtc = '!!:2 ¢( + 0) = '!!:2 /( +0).
.1/
Therefore
sin fl•1J
AJso
Lt
fJ---'?rJ 1a
o ' Slll X
7f
f(.x) -.----· d.x=-f( -rO).
2
I
Also
L
[a[c,_j·'( x )] sin. fJ-X d
0 • Sll1 .'t'
.1::
= c!ua sin. f.LX d .x, _ j~a j·'( ,1J·)sin• P-3}_ al.x.,
0 Sill :c 0 • Sill .'t'
j
\-
1
an= lf" /( x') cos nx' clx', bn = f" /( x') sin nx' dx'.
7rJ-m 7rJ-rr
We find the sum of the ter1ns of this series up to cos nx and
sin nx, and we then exan1ine whether this sum has a limit as
'n-700.
'l'hus
ct (' ·) _
Dn J/ -
!_ J11i+~:~~j~( X. _ 9-a. ) sin ( 211
.
+ 1) a (·l a
7r o Sill a
1 J~rr- ~x ~ sin (211 + 1) a
+-- f(a:~+2a) - . ·· da, .......... (1)
7r o " s1n a
on changing the variable by the substitutions x'- ;:C == + 2a.
If - 7r<x< 7r and f(:-r;) satisfies Dirichlet's Conditions in the
It follovvs that
Sn( 7r) == ~- J"-~ j( 7 r - 2a) sin (2_n + 1) ada
7r o Sin a
+ _!_ J" /(
7r rr-f
7r- 2a) sill_{2_n -J::_lla da
Sln a
==I_ J"-~
7r o
/( 7r _ 2a} sin (2_n + 1) ada
s1n a
+-7rlJf/(
o
-7r+ 2 a )sin(2n+l)ad
.
Sin a
a,
*If the reader refers to § IOI, he 'vill see that, if J(~r) is defined outside the
interval ( -1r, 1r) by the equationf(x+27r)=f(x), ·we can replace (I) by
S (x) == ~ (~rr f(~-c- 2a) sin (~n _-!-} )c;t cla + _!_
n 1rj 0 Slna 1rj 0
(!rr f(x + 2a) sin (~n +I )ada.
Sina
In this forn1 we oan apply the result of § 94 at once to every point in the closed
interval (- 1r, 1r), except points of infinite discontinuity.
FOURIER'S SERIES 213
1'here is, of course, no reason ·why the arbitrary function should be defined
by the sa1ne analytical expression in all the interval [ cf. Ex. 2 belo-w].
Also it should be noticed that if \ve first sun1 the series, and then let .x
approach a point of ordinary discontinuity .r0 , \Ve \Vould obtain f(:r 0 + 0} or
f(x 0 - 0), according to the side fron1 ·which we approach the point. On the
other hand, if \Ve insert the value .r0 in the te1·rns of the series and then sun1
the series, \Ve obt<:tin ![f(.-v0 + 0) +f(:c 0 - 0)].
We have already pointed out n1ore tluni once that when we speak of the
sun1 of the series for any value of ~v, it is understood that \Ve first insert this
value of .x in the tenns of the series, then find the su rn of n tenus, and
finally obtain the lin1it of this stun.
Ex. 1. Find a series of sines and cosines of ntultiples of .x 'vhich will
FIG. lG.
Integrating by parts,
( 1 + n 2) J_~., ex cos n:c d.v =(e~- e-~) cos mr.
( -1)n
Therefore an= 1+-n"'')'
Also we find
Sin1ilarl)',
=-1_?.,- ( -l)n-1
l+n 2 •
Therefore
_ 1
- -. 7f eX- - + ( - - 1 ,)cosx+
, - 1 ,)sin.x
. ')
2 Sill1l 7r 2· 1 + 1- 1 + 1 ..
+ ( 1 +1 22 cos 2x - 1 +2 22 s1n
. )
2:c + ... ,
214 FOURIER'S SERIES
When x = ± 11, the stun of the series is ~~~ coth 11, since
j( -~~+0) +j'(11- 0) =11 coth 11.
In }-,ig. 16, the curves
l
7i
Y = 2 sinh 11 e~"'(, '
y=! + ( - 1 : p cos .r+ l: 1 ~ siu.r) +( ... ) + (- [~;33 cos 3:v+ 1 J32 sin 3.r) J
are drawn for the interval ( - 11, 11 ).
It will be noticed that the expansion we have obtained converges ve1·y
slowly, and that n1ore ten11s ·would have to be taken to bring the approxirna-
tion curves [,1; =Sn(.'t')] nea,r the curve of the given function in -11 < ,1J < 1r.
At x = ± 11, the stan of the series is di:::;con tin uous. The behaviour of the
approxin1ation curves at a point of discontinuity of the stun is exa1nined in
Chapter IX.
Ex. 2. Find a series of sines and cosines of n1ultiples of .x which will
represent j(.1:) in the interval - 11 < .1./ < 11, when
f(:r)=O, -7f<.:c<o,,
f(x) =t7TL1./, 0< x< 11. J
Here
1j~7r 1 1
Cln =- - 7i.:t' cos 1~x dx= - <J( cos n11 -- 1),
11 o 4 4 n~
Therefore . 11
.f(.t')=f6+2
2
1 [ -COS.'c+ 7i sln.1.:'
.
-
2
J8 7r .
sln2.:v+ ... ,
·when --11 < ,'t' < 11.
When ,1J= ± 11 the sun1 of the series is k-rr 2, and \Ve oLtain the \vell-kno,vn
result, -rr2 1 1
8 =1+32+52+ ....
Ex. 3. Find a series of sines and cosines of nnlltiples of :r ·which ·will
represent ~v + x·2 in the interval - 7i < :c < 11.
Here a0 =-
1 17r 1 '7r
(x+.'t· 2 ) d.t:=-} o}d;t:= ~,
2
27r -?r 7i 0 3
1 (7r 2j'7r 2
an= - /_ ( :t' + .v 2 ) cos nx cl:v = - J; cos 11 x da:,
7f~-7r 7i 0
7rO 7rl 0
is eq~~al to Q-[j(x+O)+f(x-0)]
at every ]JOi?tt betwee11 0 a11cl 7r ~vheT·e f(x+O) a11cl f(x-0) exist,·
a11cl, whe11 j( + 0) O/nci f( 7 r - 0) exist, the sum~ is f( + 0) at x = 0
ct/rtcl j( 7 r - 0) at x == 7r.
216 FO-URIER'S SERIES
0 ?l'"'7r
Therefore .1::= ~- ~ [cos .v+ ~z cos 3.v+ ... ]. 0 < x< rr.
Since the -sun1 of the series is zero at .:u = 0, we have again
7r 2 1 1
8 = 1 + :32 + 5~ + ....
Q,
FIG. 17.
In Fig. 17, the lines y=x,. ·< <:::::: \
o==,x==7r,,
y= -x, -1r<x.----- o,J
and the approxin1ation curve
y= 2 - ;4( cos x + 321cos 3.:t' + 521cos 5x),
7r _,.,....<.r-<::::"7i
II==' == '
are drawn.
y
FIG. 18.
FOURIER'S SERIES 217
It will be seen ho\v closely this approxin1ation cnrve approaches the lines
,?/ = ± x in the whole interval.
Since th~ Fourier's Series has a period 2?T, this series for unrestricted
values of .x represents the ordinates of the lines sho\vn in ~-,ig. 18, the part
from the interval ( -7r, ?T) being repeated indefinitely in both directions.
The sum is continuous for all values of .v.
Here
and
lrr rrr
.= ·~vo[ cos n.r d.1: + i)~rr (7r- :t·) cos nx dx,
2
X
1 2 n?T · n?T
\Vhich gives a~~= - -<) [1-1- cos n?T -- 2 cos ~n?T J=?cos ~ S 1n 2 ~ .
2 ?~~ }~~ 2 4
y
(1)
(2)
FIG. 19.
Also
FIG. 20.
For unrestricted values of x the series represents the ordinates of the lines
shown in Fig. 20, the part fron1 - 1r to 1r being repeated indefinitely in both
directions.
The sum is continuous for all values of :c.
In Fig. 21, the graph of the given function, and the approxin1ation curves
zt=i1!"- cosx, l
.Y = J-;r - cos tc + !J cos 3.x, <
0 == ==
,x < Jr,
y = f-;r -- cos <'t' + ?r cos 3x - ~- cos 5x, J
are dra\vn.
The points .t·=O and .'t'=7r are points of continuity in the sutn of the series:
the point .x =~1r is a point of discontinuity.
The behaviour of the approxin1ation curves at a point of discontinuity,
when n is large, will be treated fully in Chapter IX. It \vill be sufficient
to say now that it is proved in§ 117 that just before x=!1r the approxin1a-
FOURIER'S SERIES 219
tion curve for a large value of n will have a n1inimnm at a depth nearly 0·14
below ,?;=0: that it will then ascend at a steep gradient, passing near the
point (irr, ~?T), and rising to a n1axirnun1 just after x=~?T at a height nearly
0·14 above ~?T.
(1)
.1J
(2)
(3)
:FrG. 21
Ex. 4. Find a series of cosines of n1ultiples of ,1; 'vhich 'vill represent j(:t')
in the interval (0, ?T), where
Also
~20 FO-URIER'S SERIES
= 312l [ Slll
. -gn7r
1 ..
+Sill zU7r
J <')
= _i
3n
sin -!n1r cos l.n1r.
... 6
The points x =0 and :1· = 1r are points of continuity in the snn1 of the series.
The points .tt'=f>;1r and .x=i7r are points of discontinuity.
}-,ig. 22 contains the graph of the given function, and the approxinJation
curves
2J3
.Y= (cos x- t cos 5~v],
3
?I=
9.J~3
"-J :f [cos ::u - t cos 5.:v + t cos 7x],
2
.Y= ~ 3 [cosx- t cos 5x+l cos 7.1:- 1\ cos llx],
97. The Sine Series. Again let f(x) be given in the interval
(0, 71 ), and satisfy Dirichlet's Conditions in that interval. Define
j(x) in -7r<x<O by the equation f(-x)== -f(x). The func-
tion thus defined for (- 7r, 7r) satisfies ])irichlet'B Conditions in
this interval, and \Ve can apply to it the results of § 95.
But it is clear that in this case
f(x') sin !J~x' clx' leads t~ bn == ~J7f f(x') sin nx' dx',
1
bn -
. 7r
Jrr
-Tr 7r 0
is equal to ~[f(x+O)+f(x-0)]
:FOURIER'S SERIES 221
FIG. 22.
222 FOURIER'S SERIES
FIG. 23.
FIG. 24.
Since the Fourie r's Series has a period 21r, this series for n11restricted
values of .v represe nts the ordinat es of the lines sho\vn in Fig. 24, the part
frorn the open interva l (- 1r, 1r) being repeate d indefin itely in both directio ns,
The points ± 1r, ± 37r, ... are points of discont inuity. At these the snn1 is zero.
Ex. 2. Find a series of sines of n1nltiples of .T \V hich will re.present f(:r)
in the interva l 0 ~a.:< 1r, where
f(;v) = -t7r.:r,
j(x) =t1r(1 r- .v),
Here
. 1 . 3
?J =Sill
.':!
:V- ---:-> Sill .t'
3 "'
....1)Sill
+,D"' . ..
D.X,
224 FOURIER'S SERIES
It will be noticed that the last of these curves approaches the given lines
closely, except at the sharp corner, right through the interval.
.1J
(1)
.Y
(2)
(3)
FIG. 25.
For unrestricted values of tc the series represents the ordinates of the lines
shown in Fig. 26, the part frotn - 7i to + 7i being repeated indefinitely in
both directions.
The sum is continuous for all values of x.
FIG. 26.
Ex. 3. Find a series of sines of n1ultiples of X' \vhich 'vill represent .f(x)
in the interval (0, 1r), 'vhere
0 <x<~7T'l
.f(x)=O,
.l7r) = 4_171"'
.f( 2
f(~0)=~7i, ~1T< :t'< 1T, J
f(7i)=O.
FOURIER'S SERIES 225
Here
1
=- ( cos UTi - cos n1f )
n 9,;.;
2 . 3n1f . n1f
=-Sill-- Sill-.
n 4 4
Therefore bn vanishes \vhen n is a n1ultiple of 4.
t
And f(.x') =sin .1:- sin 2.1:? + sin 3.1: + 1,- sin 5:~)-! sin 6x + ... 0 ~-- x < 1r.
Fig. 27 contains the graph of the given function, and the approxin1ation
curves
y=sln .T, )
.1J =sin .'C- sin 2.1', t_
y = Sll1 . 2 .1:? +::;
. .X- Slll 1 Slll
• 3 .t:, J
y =sin .'t'- sin 2;-c +}sin 3:v + ksin 5.t',
The points .T=!Ti and .t:=1r are points of discontinuity in the sun1 of the
series. The behaviour of the approximation curves for large values of n at
these points will be exan1ined in Chapter IX.
2
= • J~ [1-
3
cos ~-n1r- cos -~n1r +cos ·n1r]
d ,)
The point~ .t? = 0, /V = k1r, :<J = i1r and .t· = 1f are points of discontinuity in the
surn of the series.
Fig. 28 contains the graph of the given function, and the approxitnation
curves
.1J =sin 2.x,
. 2
y =Sill
t
y =sin 2.:r + sin 4.1:,
• .X'+ '2
lSlll
' 4.X+ L[lSill
' 8 ,'C,
lJ
y =sin 2,t' + i sin 4.-r + i sin 8.1: +}sin 1Oiv,
C, I
226 FOURIER'S SERIES
(1)
Q
y
(2)
(3)
(4)
FTG. :27.
_y
?!
,1}
FIG. 28.
228 FOURIER'S SERIES
ilJl -l
j(x') rlx' + !l ~Jz f(x')
l -l
cos 11
l
7"- (x'- x) Clx', -l < x < l, ... (1)
'J17f' Jl
l1 Jl f (x)rlX+-zL.JCOS~l
"J
I 2~ I
X .f(x)cos~l xdx,
I ')[,7f" 1 1
0-~x~l,
__
... (2)
0 l 0
2 ~ • 'f~ 7f"
y~sm Tx Jl/(•1:)sm n7r
1
1 l•
-xcx, 1 1 l
O<x--==--::c ....................... (3)
___-
J 1 2
9-.J7(" 0
" F(x') dx' + l_ ~J " F(x') cos n(x'- x) dx',
· 7r 1 0
2
0 <X< 2?T,
.t
== C(; +
( b - ((;)X d f ('u ) == F { 2 7rb( 1~_ -a [(;) \J·
we "\Vrl e 1(;
27r an
Then for the interval o.~-<::. u < b we have th_e series for f( u ),
- -- -- Jb f( u') du' + --~-- ~Jb j('n') cos n7T (u' -u) dv/.
1 2
b-a a b-a~ a b-a
On changing 1~ into x, "\Ve obtain the series for f(x) in ct .c-.: x --c: b,
narnely,
1
·· ----- JQ /( X ') d X / + -2- 2:00 Jb ~f(. X ') COS - . ( X 1 - X ) C X.
2117(" fl . .... ( D
.. )
2[
. ,
sinx+---+~-
2
1
3
sin2x sin :3:t·
+ ...
J
represents (1r- .1::) in the interval 0-< x< 211.
1 J7r 1 - T' 2 I I
- (, ) ,,j(x)dx
27r -rrl- 2T· COS ~x - X + 1'"'"
== -1 Jrr f(x')dx'+-~Tn
1 (/) Jrr j'(of)cos1~(x'-x)dx'.
2 7r -rr 7r 1 -rr
Poisson proceeded to show that, as ~r--+ 1, the integral on the
left-hand side of this equation has the lin1it f(x), supposing f(x)
continuous at that point, and he argued that f(x) 1nust then be the
sum of the series on the right-hand side 'vhen rr == 1. Apart fron1
the incon1pleteness of his discussion of the questions connected
~31
jr <l'
is called Poisson's Integral.
We shall assurne t~at f(:r) is either bounded and integrable in the interval
( -1r, 1r), or that the infinite integral J:,. f(.v)dJJ is absolutely convergent.
1- 7'2 (JJ
when I r \ <1, and that this series is uniforn1ly convergent for any interval
of (), 'vhen 1' has any given value between - 1 and + 1.
1 j"rr 1- ?''2
It follo\VS that -27r - rr r=· 27' cos (.v' :- .17) + 1'~ cl.:c' = 1'
and that
-l j"j, 1- 1' 2
-_--~~---- f(.x)
I
cLc I
- rr
j(.1/) dJ/ + --
7r
c:JJ
}_:rnj
1
"rr
- rr
f(tc') cos n(.x'- x) d:c' ......... (1)
under the lin1itations above imposed upon j'(.'t'). (Cf. § 70, Cor. II., and
s74, I.)
232 FOURIER~S SERIES
N O\V let us choose a nun1ber .x bet,veen - 1r and 1r for which we wish the
sum of this series, or, 'vhat is the san1e thing, the value of Poisson's Integral,
exists.
Also, let the function cp(.x') be defined ·when - 1r < :v' < 1r by the equation
cp(x')=j(a;')-! Lt [j(x+t)+f(x-t)].
t~O
Then
F(1·, x)- t Lt [j(x+ t) +J'(a}- t)]
t~O
1 rrr 1 - r2
=-2 1_2___ ( ' ) 2rl-.(x')d.·r./ . ................................. (2)
7r ~ - rr - ~ ?' COS .:1' - ~t' + 1' 'Y
But we are given that Lt [.f(:v + t) + f(x- t)]
t~o ·
exists.
Let the arbitrary positive 11Un1ber E be chosen, as srnall as we please. Then
to E/2 there \Vill correspond a positive 11Un1ber YJ such that
1 2
=_!__ (Yl- -1' -,,[cp(.t·+t)+cp(.r-t)]dt
21r ) 0 1 - 2r cost+ 1'""
= _!_ {Yl ------~ r~_ ---~2 { j'(,x + t) + l(x- t)- Lt [ f(x + t) +J'(x- t)] lf dt.
21rJ0 1 - 21· cos t + r • • t~o ·
It follows that
E
< 2' .. ····· ············ ............ (4)
FOURIER'S SERIES 233
Also, w·hen O<r<l,
_!_ ( Jx- -"'J + j~rr ) l - 1'2 ·~ cp(.r/) dx' I
1 - 2r cos (:t.'- .x) + r~
I 27r rr x+lJ
l
<- l -· r2 Jrr I 'Yrl-.. ( ~'t')' I d'X,,
I
27r 1 - 21' cos YJ + 1' 2 - 7r
< 1 12
- ' (__!_j~rr l j(x') \d.~'+ i; Lt [j{J~ +- t) +f(.'t'- t)] i)
1 - 2r cos YJ + 1·2 21r - rr t~o
1 -1'2
< ., x .L1' sa v. . ................................................ ( 5)
1 - 2r cos YJ + 1'"' "
2
1-1'
<---
2r sin 2 !1
2
1-1' E
And - - -7 < -9A-· '
2r sin 2 ~ '""
2
1
provided that r > -E- - -
• •> TJ
1 +-Sill"'-
.A 2
It follows that
1 ( ~x- 1 - r,2
1 lJ
+ /'rr )
, cp(x') d.~r' I E
< --,
I 27r J - rr Jx+ 11 '. 1- 2r cos (:v -~c)+ r 3 2
1
if 1 >r > ...................................... (6)
E • '> YJ
1 +] s1u-
2
Cotubining (4) and (6), it 'vill be seen that 'vhen any positive number E
has been chosen, as small as \Ve please, there is a positive number p such that
: F(r, ~c)-~ Lt [j(x + t) +f(~r- t)]) < E,
t~o
\vhen p <r< 1, provided that for the Yalue of .v considered Lt (f(.'v+ t) +f(.'t'- t)]
' t
eXlS S.
t~O
- o+st+···+ n-1 .
·)- 8 8
Also let S n (X
1~
*It is assun1ed in this that j(a- 0) =f(a) =f(a + 0) andf(b- 0) =/(b) =J(b + 0).
Also j(x) is subject to the conditions given at the beginning of this section.
Of. § 107.
tCf. Picard, Traite d'Analyse, (2e ed.), ~r. I., p. 275,1905; Bocher, .Ann. Afath.,
Princeton, N.J. (Ser. 2), 7, p. 102, 1906; Hobson, Zoe. cit., p. 722.
+Of. J.1fath. Ann.. Leipzig, 58, p. 51, 1904.
FOURIER'S SERIES 235
l"he1~
at every point x in the i1~terrvcil - 71 < x < 71 at tuhich
f(x+O) C(;1~d f(x-0) exist,
Lt Sn(x)==~[f(x+O)+f(x-0)].
== ~117r,
since all the tern1s on the right-hand side disappear on integration
except the £ rst in each of the cr' s.
It follows that l 2 = ~f(x+O).
1 JYJ sin 2 1~a
Also II 1 1~~ \f(x+2a) 1~7r 0
-f(x+O)\-.-.-~-cla
2 sin a
2
l
JYJ sin• 11a
< ~
€
aa
117r 0 Sin 2
a
<--- Jrr . 2 da
€
1
2
•
Sill'""'11a
?.
117r 0 s1n a
< ~€ ••••••••••••••••••••••••••••••••••••••..•••••.•••••••••••• (4)
]further, <
I I 3 !:_~- n7r 1 J?trr 1-f.(x + 2a) Isin. 2 na da
YJ s1n 2 a
1 --
<~--~- 9
Jirr jj(x+2a)]cla
1~7r Sill'""' 1J YJ
~ {J +[f(x+O) [}.
< h+ 2nsiTI'"'1J
~
o
-J-.,-{.!+[f(x+O)[}
v Slll ... 17
<c...................... (7)
'_rhen
n--.:r oo ?~7r 0 1
Sln a
\V hen .f( x- 0) exists.
rrhen, returning to (2), \Ve have
Lt Sn(~)== 1[J~(x+0)+ f(x- 0)],
But ( 1- n
1
~)' (1- v +n )' (1 - ~) 0
••
n
are all positive and decreasing ; and
+ Uv+2[, ...
I 'llv+I ] , [ 'llv+I [ul'+l + 'llv+2 + ... + 'lln J
~') + ... + 'lln (1 - n-n 1 ) < 2E( 1- n~) <E, 'vhen n> v.
1
Therefore
( Sv I < 2E + I~ ·--~-~--~
l ,sn- 'lt2+2u:~+ ... +(v-1)1tv
, 1 ·
'vhen n > v.
n
But v being fixed, ·we can choose the positive integer N so that
1 'lt 2 .+2n3 + .... +(v--l)uv~ I < E w l 1en n ~ _>:
i\T
n > v.
1~ '
FOURIER'S SERIES 239
If tn has not the lin1it zero as 1i-+ oo, there 1nust be a positive nun1ber h
such that there are an infinite nun1ber of the tern1s tn which satisfy eitlwr
(i) tn > h or (ii) tn <-h.
We shall show that neither of these hypotheses can be admitted.
Take the forn1er to be true, and let
U"n = t1 + t2 + ... + tn.
and I . . t u-n/n = 0.
FIG. 29.
Now plot the points P 1., \vhose coordinates are (1·, tn+r) in a Cartesian
diagram. Since tn+,·+l- tn+ 1·= 1..ln+r+l, the slope of the line 1)1.P1.:n is less
*This theoren1 'vas published by Hardy in Lonclon, Proc. lJfath. Soc. (Ser. 2), 8,
pp. 302-304, 1910. This proof, due to Little\vood, is given in ''lhittaker and
\Vatson, J1[oclerrn A ncdy81:s, p. 157, 1920. Cf. also de la VaJlee Poussin, Zoe.
cit. T. II., § 151.
240 FOURIER'S SERIES
in ahsolute value than tan- 1 J(jn. Therefore the points 1)0 , P 1 , P 2 , ••• lie
above the line y= h -- .1.: trtn (), where tau B= !{ln. '
Let PIC be the last of the points P 0 , P 1 , P 2 , • •• , which lies to the left of, or
upon, the line x=h cot(), so that K < h cot B=hnll{.
Draw rectangles as shown in the diagran1. The area of these rectangles
exceeds the area of the triangle bounded by the axes and y = 1~- .r:c tan e.
Thus we have
(Tn+K- a n-1 = tn + tn +1 + •••+ tn+K > ~~~ 2 cot () = i,h 2nl ]{,
But Ia-n+K- U"n-11 < la-n+K I+ I<Tn-11 < [(n + K) + (n- 1)]E, since n > n1.
Therefore (K + 2n -1) E> ~h 2 nlli.
But K~hcot8=hnll{.
CoROLLARY.
Let 1(; 1 ( .'V) + 1l2 (.X)+ 1(; 3 ( .'V) + ... ............. ,..... ,........... (1)
be a se'ries whose tern~s are functions of .x, and let the sequence of arithnwtic
11wans Sn(:c) jo1· tl1e sm·ies conve1·,qe 1unijoJ'?nly to S(.x) in an interval (a, b).
Then, ~fa positive intege1· n 0 e:vists such· that
I'ltn(.~·) l < f{ln, 1vlwn n > n 0 ,
1vhe1·e J{ ~·s independent of n and .x, and the scqne n 0 serves fm· all values of .x
in the intm·val, the series (1) converges 'lt,n~forn£ly to S(.r:c} in (a, b) .
. }-,or, 'vith the notation of the theoren1 just proved, if t1 ~(.x) does not tend
uniformly to zero through (a, b), there n1ust be a positive number h, inde-
pendent of .v and n, such that an infinite sequence of values of n can be found
for which tn(.'t'.n) > h, or tn(.~·n) <- h for son1e point Xn in the interval; the
value of .x 1~ depends on the particular value of n under consideration.
We then find, as in the original theoren1, that both these hypotheses are
inadmissible.
103. Fejer's Theorem and Fourier's Series.* We shall no'v use Fejer's
Theoren1 to establish the convergence of Fourier's Series under the lin1itations
imposed in our previous discussion ; that is 've shall show that:
* Cf. \Vhittaker and \Vatson, Zoe. cit., p. 167, 1915, and the note on p. 263 below.
FOURIER'S SERIES 241
JVhenf(.v) sati~fies 1J£Ticldet's Conditions in the ,inte1·val ( -1r, 1r), and
a = __!_
0
j
27f -
rr / (
7r
.1./) da/
'
atL= .!_ (rr
1f~-rr
f(x') cos n.~" d:v',
Let Jra,,/ =
.a
[b f(.x') cos nxl d.x.t }' >
, n-1,
and 7r bn ' = 1b f( ' /)
a .
. n.X,! d :t'
.t i Slll -
where -~(.x-a) and ~(b-.r} are each positive aud less than ~7r.
But it will be seen that the argun1ent used in Fejer's Theoren1 \vith regard
to the integrals 1 lc~rr sin 2 na
-- j(.r±2a) --.- 2 --da
n1r o s1n a
applies equally well when the upper lin1its of the integrals are positive and
less than *t1r.
Therefore, in this case,
Lt Sn(.x) = ![f(.z: + 0) +.f(.r- 0)].
11----*'XJ
11.
But (a0 - a 0') + L{( an- an') cos n.r + (bn -· bn') sin n.r}
1
1f a ~~rrl n
-- -l
7r
( +.-rr .b
jt J(.r
.. ' ){ 1 +
2 L1 cos n(.x' - .x),l d.r. '
_!J~rr
-
7r ~(x- a)'
f( .x _ 9... a. )sin(2n+1)a
• d.cJ. + ~-j ~rr
SUl a
1
7r ~(b- ;r)'
_. f( .x + 2a)~in(2n+1)ad
. u..
Slll a
REFERENCES.
2. The function f(x) is defined as follo·ws for the interval (0, 1r);
f(x)=~x, when 0 <.x < !1r,
f(.x)=-~7r, when !1r<x<i-7r,
f(:t·) =} (1r- .1~ ), when *7r < .x :::= 1r.
Shp\v that
~
!( '1')= 1r Esin ?J(2n- 1)1r sin (2n -1)-'r when 0 <. .r < 11
•·
1 ( 2n - 1? '
244 FOURIER'S SERIES
cosh n~:-c _ ~
. h 11171 - 1r 2nt
(_!_ _m1') cos .-c') + 1n2 cos 2.x _ ?n cos 3x
3').. + ?n'"')
)
+ ... .
sin ... + rn'"' 2 + ?n'""
')
7. Express .1:2 for values of .X' bet,veen -7r and 1r as the sun1 of a constant
and a series of cosines of multiples of .1'.
Prove that the locus represented by
~( -l)n-1 . .
:L1 ')
n-
sin n::c sin ny= 0
is two systen1s of lines at right angles dividing the plane of ,,r, y into
squares of area 1r2.
8. Prove that
9 2 c3 oo 4d ( . n1rc n1rc) n1r
.Y"' = 3 d + ~ n 31r3 d s1n d - n1rc cos d- cos d .r
. 1re . 21re
?'=a 1 sn1-- + a sin------ + ...9
a+(3 ~ o.+(3 '
245
a
. nTra 0. r-r n7r(p
·where Sill (3) cos -2 /n cos ---(.)see¢ d¢
(
4a 2 a+ ~o a"+fJ
8
• n1r (2a + (.)) (.)j~~-r n1rrf...
cos __'Y_ sec ¢ d¢.
+sin fJ cos !!_
2 (a+ (3) 2 o a+ (3
Find a sin1ilar equation to represent the other sides.
10. A regular hexagon has a diagonal lying along the axis of .v. Investi-
gate a trigonon1etrical series 'vhich shall represent the value of the ordinate
of any point of the perimeter lying above the axis of ,'t'.
11. If 0<:r<2Tr, prove that
1r sinh a(1r- x) sin /C 2 sin2.:t· 3 sin 3.:t'
2 -s!ii}}a;:--=az-+-1 2 + a 2 +2 2 + a 2 +3 2 + ....
12. Prove that the equation in rectangular coordinates
2 4/t, ( 7rX 1. 27rJ) 1 37r~t' )
1/ =- h +-2 cos- - ~2 cos --- +-2 cos-- - ...
•· 3 1r K 2 K . 3 /(
represents a series of equal and similar parabolic arcs of height h and span
2K standing in contact along the axis of L't'.
13. The arcs of equal parabolas ct1t off by the latera recta of length 4a are
arranged alternately on opposite sides of a straight line forn1ed by placing
the latera recta end to end, so as to n1ake an undulating curve. Prove that
the equation of the curve can be written in the forn1
7r?' = 5a tan 5 1 - 2
1r [
f (- 1)n 25n
oo cos 5n(}J
1 ' 2-
Prove that the velocity at any tin1e t after the beginning of the n1otion is
1 'ltt 1 2n1r
V=-'lt+-
2 T
+-1f'lt n=1
oo
L- S l n - - t
n T '
o
.?J=~~siu(2r-1)x ,- f(t)siu(2r-1)tdt,
2
7T 1 Jo
and sho\v 'vhat these becon1e ·when the upper limit is !!"_ instead of!!...
4 2
20. Prove that for all values of t between 0 and ~ the value of the series
a
oo 1 . r1rb . r1rx . r1rat
L - Slll - Slll - Sill - -
'r l l l
is zero for all values of .v bet,veen 0 and b-at and bet,veen at+ b and l, and
is: for all values of .-r between b-at and at+b, when b<~.
21. Find the sun1 of the series
1 oo sin 2n7r:t·
1t=- L ,
7r 1 n
1~ sin (2n- 1)1r.1~
'V=-~ '
7T 1 2n -1
and hence prove that the greatest integer in the positive number :t IS
represented by x+1~- 8v 2. [See Ex. 1, p. 230, and Ex. 4 above.]
FOURIER'S SEl=tiES 247
22. If .1:, y, z are the rectangular coordinatPs of a point which moves so
that fron1 y=O to y=tc the valne of z is K(a 2 -x 2), and fron1 y=.v to y=a
the value of z is K( a 2 - ,y 2), show that for all values of x and ,1/ between
0 and a, .z Inay be expressed by a series in the form
""' ,_
~ .._ 1p r
'1
.
Slll -
p7i(a;-a)
2
- - . qTr(.?J+a)
a· ::.. a
Slll ---;-l -- ,
and find the values of Ap, rz for the different types of tern1s.
where S1= l 2 . 4. 6. 6
. Sin 2.J;- , - r;- Slll 4.t' +-;:----:; Slll .V- ... ,
3 ,3 • 0 D. i
and find the values of 8 1 , S 2 , and 8 3 separately for values of X lying within
the assignetl interval. [Cf. Ex. 1, p. 230.]
4 ( . sin 3x sin 5~))
24. If j(x)=-.)
7r"'
,) -
SlllX·-
3..
+ 0""
""'') - ... )
2 ( . _ sin 2x sin 3J:: )
+;: sin~v-~+---- -- ... ,
3
sho"v that j(x) is continuous bet\veen 0 and 7i, e:tnd that j(1r- 0)= 1. Also
sho\v that /'(,-c) has a sudden change of value ~
7r
at the point :.
Zl
[See Ex.l, 2,
pp. 222-3.]
25. Let
f(;:v) =~sin 3 (2n- 1).c _
2
~sin (2n- 1 );J; + ~ f ~in}, (~l~- 1)1r sin (2n- 1)~r
_ 1 2n- 1 1 2n- 1 1r 1 (2n- 1)2 '
Since 71C~,= r.
intlepe1~dent of' n.
f(x)cosnxdx,
and the interval may be brolcen up into a finite number o£ open
partial intervals (Cr, c.r+ 1 ) in which f(x) is 1nonotonic, it follows,
fron1 the Second Theoren1 of Thfean Value, that
71Ci.n == LJc .+ f(x) cos ?tX clx
1 1
cr
= { J
gr
:2: f(c,.+ 0) c,. cos nx dx + f( c,.H- 0) tr
fcr+l
cos
\
nx dx f'
where f·r is sorne definite nurnber in (Cr, ct+ 1 ).
<4pM,
n
where p is the nu1nber of partial intervals and JJf is the upper
bound of ]f(x) I in the interval ( -71, 71).
Therefore [Ci.11 I K /n, <
vvhere K is son1e positive nun1ber independent of n.
248
FOUJtlElt'S ~JjJltl~S 249
'fhen r.an= r.
x = -71 and 7i respectively.
f(x) cos nx dx
105. Again suppose that the interval (- 1r, 1r) can he broken up into a
certain nnn1ber of open partictl intervals ( -1r, c1), (cu c2 ), ••• (em, 1r), in
each of which f(,:v) and f'(:v) are bonnded, continuous and otherwise satisfy
])irichlet's Conditions. AJso let f/'(x) be bouuded aud other,vise satisfy
Dirichlet's Conditions in the whole interval.
In this case /(- 1r + 0), ... f(cr ± 0), ... j(1r- 0) and /'(- 1r + 0), ... ,
j''( c.t ± 0), ... f'( 1r -- 0) exist, 'v hen r < ·m.
~- 7r
f (''') cos n:v d.'I:+ tf (
.. Ct
2
x) cos 1k'C d.v + ... + j~ rr f( x) cos nx dx.
Cm
(.ln-
_An_~< ' ...............•...•.....................•....• , ...
(1)
n n
?n
where 7r An= L sin ncr{f(c1.- 0)- f(cr+O)}
]
.. - rr Ct .. em
've find that
B . '
bn = _____?! + (ln ' • • : • • • • • • • • •• ·• • • • • • .• • • • • • • • • • • • • • • • • • • • • • . • . • • • . • • . • • • • • •• • • • • • • • •• • • • • ( 2)
n n
"rhere
?n
1rBn=- Lcosnc,.{f(c,.-O)-/(cr+O)}+cosn7r{f( -1r+O)-j(1r -0)}
1
?n
7r Bn' = - L cos ?W.,.{j'(cr- 0)-/'( C1• + 0)} +cos n1r{ /(- 7r + 0)-/( 7r- 0)},
1
This result includes that of § 104 as a special case. It is also clear that
1rlAnl, 1rjBnl, 1riAn'l and 1rjB?/I are at n1ost equal to the sun1 of the "jnn1ps"
in f(::r:) and /'(.x),· as the case n1·ay be, including the points .x·= ± 11 as points
of discontinuity, \vhen j(1r- 0) =!=/( -1r+O), and j'(1r- 0) =!=/'( -1r+O). And
under the given conditions a,/' and bn" are of the order 1/n.
The expressions for an aud bn can be used in detern1ining the points at
\vhich the sun1 of a given Fourier's Series n1ay be discontinuous.
'fhus, if we are given the series
sin x + ~ sin 3x +} sin 5:v + ... ,
a11d asstune that it is a Fo.urier's Series, and not sin1ply a trigonon1etrical
series (cf. § 90), ·we see that
an= o, bn = (1 -cos ?271" )/2n.
So that (1) and (2) above \Vould be satisfied if
An= 0, Bn = (1- cos n11 )/2, an'= 0 = bn'·
Hence, if c1 , c~, ... are the points of discontinuity,
11 An=-= 0 =[sin ?W 1{/( c1- 0)-/( c1+ 0)} +sin ?W~{f( c2- 0)- f( c2+ 0)} + ... ].
/
Since this is true for all integral values of n, the nun1bers c1 , c~, ... \vould
need to be n1ultiples of 11; and, since cu c2 , •• ·.·lie in the interval - 7r<.t'<7r,
cl =0 anu c2, c3, ... do' not exist.
Su:bstituting c1 = 0 in the equation for Brq
11(~-~ cosn7r)=cosn7r{f( -7r+0)-/(7r-·O)}+{/( +0)-/( -0)}.
Since this is true for all integral values of n,
!71"={/( +0)-~f( -0)}={/(71-0)--f( -7r+0)}.
Thus \Ve see that, if the series is a Fourier's Series \vith ordinary discon-
tinuities, j(.1:) has discontinuities at :t·= 0 and x = ± 11. .Also, since an'= bn' = 0,
\Ve should expect j'(J:;) to be a constant (say k) in the open interval (0, 7r),
and - k in the open interval ( - 11, 0).
As a n1atter of fact, the series is the ~.,ourier's Series for f(:t·), \vhere
7rCI,.= J:rrj(x) cos n.x d:;: and 7rbn= .r:rrj(x) sin n:;: th·,
we break up the interval into
(-1r,a), (a,~~u), (.:t·0 ,fJ), and ({J,1r),
\Vhere (a, fJ) is the interval in which f(a~) has the given forrn. In ( -1r, a)
and (fJ, 1r) it is supposed th_at .f(x) is bounded and otherwise satisfies
Dirichlet's Conditions, and \ve kno\v fron1 § 98 that these partial intervals
give to an and bn contributions of the order 1/n.
The ren1aiuder of t.he integral, e.g. in ctn, is given by the sun1 of
"Xo-o ¢(x) ¢(x)
Lt
o-+0
j ,. .
(,}J- Xo)
a
v cos n~x dx and Lt j -.
·{3
\vhere xu+o<~<p.
Putting n(.x- ~ru) = y, \Ve obtain
¢(.0) d ' rl-(x +o)j"n(§-xu) cos(y+n.t·0)d
1 {3
..co+o(x-.xot
cos nx x·= '+" 0
n)-v no
•
yv
y
I;:,:+8 .(.x~/>(~)
•. 0 - i:t 0 )
v cos n.1: tb: I< /(' jnl- v,
')
../71.
·
Sill~ X - X
1( 1 )
sin rn~a
=--1 J~7r I
J\x+2a) . cla, where 111=211+l.*
71 _ ~r. . s lll a
Thus
. 1 J:Ir. F(x+2a) Sill. ?J1a cla
Sn(X)=-
1 •
7i -:tr. Sina
J -~n . Sll1 a
J0 sin a
/J.
0 Sin a
sin rn~a
.
+
J 0
{F(x+2a)-F(x+O)}
Sin
da
a.
~rr sin 1na
+
J p.
{J?(x+2ct)-F(x+O)}~
,
.
sin
do.
a
== 11 +12 +13 , say. . ............ ,. ......... (2)
We can replace F(x+O) by F(x), since F(x) is continuouR at x.
'Jr. -~.
1
Sin 1na
•
* "'T e
have replaced the lin1its - 1r, 7f by - 7f + x, 7f +a~ in the integral before
changing the variable fron1 x' to a by the substitution x' = J>t- 2a. Cf. § 101.
FOURIER'S SERIES 255
It follows that
p, J-r.t sin r;na
l 9 == {F(x+2~t)-F(x)}-.- - da,
~ Slnp, ~ a
"v here 0 < t-<:: p,.
But we know that
M~in ~]_t~a cla I== JmM sin ada I< 7i. (§ 91 .)
J~ a rn~ a
Therefore ll j<{F(x+2p,)-J?(x)}-lfrs_'
9
~ Slnp,
. ................ (4)
~, sin 111a
Finally I~=={F(x+2p,)-F(x)}
J M
·.
sin a
cla
J
~rr F ( x-za sin
-.--111a ·l
;l
c a,
)
0 Sin a
I 7r - !rr Sill a
<~~{[F(x+2,u)-"F(x)[+[F(x-2,u)-F(x)[}+
Sill !J.,
8
~ ..
Tfl,7r Sill Jl
(8)
Similarly vve find that
IJ!rr
- G(x+2a)--~---cla-G(x)
sin rna
7r - lrr Sill a
2 . sl{
< .M
Sill Jl
{jG(x+2J-t)-G(x)\+\G(x-2p.)-G(x)\}+
?1~ 7r
.
Sill fJ.
. (9)
Thus, fron1 (1),
1 J~rr f(x+2a) sin. 111a cla-f(x) I
1
: 7r
-
_ krr Sill a
< sin
---;-~-··- f I F(x+ 2fl)- Ji'(x) I+
Jl l
1 F(x- 2J-t) -F(x) (
+I G(x + 2p.)- G(x) I+ IG(x- 2p.)- G(x) I}
161{
+ . . .........................................(10)
"1117r Sill fJ.
Now F(x) and G(x) are continuous in a<x<b, and also when
x ==a and x ==b.
Thus, to the arbitrary positive nun1ber e, there will.correspond
a positive nu1nber fJ.o (which can be taken less than ~")such that
jF(x+2J-t)-F(x) l<e, I G(x+2J-t)-G(x) J<e,
when I p.\ ~ p.0, the same fJ.o serving for all values of x in
a---x<:_ b. [Cf. § 32.]
FOURIER'S SERIES 257
Also we k:now that p. cosec fJ. increases continuously fro1n unit,y
to t" as p, passes from 0 to ~ ".
Choose p, 0 , as above, less than ~"' and put M-=== fJ..o in the argu-
ment of (1) to (10). This is allowable, as the only restriction
upon tJ.. was that it must lie between 0 and t"·
Then the terms on the right-hand side of (10), not including
I6Kjn~" sin p. 0 , are together less than 8e for all values of x in
(a, b).
So far nothing has been said about the nu1nber rn, except that
it is an odd positive integer (2n+l).
Let n 0 be the smallest positive integer which satisfies the
inequality IoK
--
(2n 0 + 1 )7r sin p. 0 •
<e
As K, p., 0 and € are independent of x, so also is rn. 00 \Ve no\v
choose ?n (i.e. 2n+1) so that n>n0 •
Then it follows from (10) that
ISn(x)-f(x))<9€, when n>n0 ,
the san1e 110 serving for every x in ct < x < b.
In other words, we have shown that the Fourier's Series con-
verges uniformly to f(x), under the given conditions, in the
interval (a, b).*
Iff( -?r+O) j'(rr-0), \Ve can regard the points ±1r, ±27r, etc., as points
at ·which f(tc), extended beyond ( -1r, 1r} by the equation f(x+27r} f(.x), is
continuous, for \ve can give to f( ±7r) the con1n1on value off( -1r+O) and
f(7r- 0).
*It may help the reader to follo-w the argun1ent of this section if \Ve take a
special case :
E.g. f(x) =0, -1r<x<o, l
f(x) ==I, 0-c::::::::x<?T. J
Then 've have :
--
I
Interval. j(x) I F(:c) G(;c)
I
I
-27f <X< -?T 1 I I 0
-- I
-1r<x<o 0 I I
O<x<1r I 2 1
1r<x<21r 0 2 2
If 0< a< x S b<, 1r, the interval (a, b) 1s an interval 111 'which f(x) is·
continuous.
C. I R
258 THE NATURE OF THE CONVERGENCE OF
The argun1ent of the preceding ~ection ·will then apply to the case in
which· - 1r or 1r is an end-point of the interval (a, b) inside and at the ends
of 'vhich j'(.JJ) is continuous.
108. The Uniform Convergence of Fourier's Series (contin1wd). By
argument sin1ilar to that en1ployed in the preceding section, it can be proved
that when f(x), bounded or not, satisfies Dirichlet's Conditions in the
interval ( -1r, 1r), and f(x) is bounded in the interval (a', b') contained within
( -1r, 1r), then the Fourier's Series for f(.JJ) converges uniforn1ly in any
interval (a, b) in the interior of (a', b'), provided f(x) is continuous in (a, b),
including its end-points.
But, instead of developing the discussion on these lines, \Ve shall now show
how the question can be treated by Fejer's Arithrnetic Means (cf. § 101 ),
and we shall prove the following theorem :
Let f(.JJ ), bounded or not, sat£sf.1f Dirichlet's Conditions in the interval (- 1r, 1r ),
and let it be continuous at a and b and i1i (a, b), VJhere - 1r < a ctnd b ~ 1r.
Then the Fourier's Series for f(.JJ) convmyes nniforn~ly to f(.JJ) in any interval
(a+ o, b- o) contah~ed 1v£th£n (a, b).
Without loss of generality "\Ve n1ay assume b- a< 1r, for a greater interval
could be treated as the sum of t\vo such intervals.
1
a
1 COS I
. nx d.x,
Sln
I
1
With the usual notation
21ra0 = fJ<x')dx',
7ra, = J:" f(x') cos n.r' d.r',
< 9
_I 1 0 f lf(.r') Idx'
"""Sll1 2 J2y,.
260 THE NATURE OF THE CONVERGENCE OF
vVhen these intervals, such of thetn as occur, have been cut out, the integral
J~~~2.(~_,- a)
f(:r; _ 2 a) sin ~~n + l )ada
Sill a
\Vill at 1nost consist of (1n+ 1) separate integrals (lr)· [r= 1., 2, ... 1n+ l.]
In each of these integrals (lr) we can take f(x- 2a) as the difference of two
bounded, positive and rr1onotonic increasing functions
F(x- 2a) and G(.1J- 2a).
Then, confining our attention to (lr), 've see that
I
1
1<F- G) sin(:n+ 1)a da I
stn a
1
=I (F- G){ cosec 0/2- (cosec 0/2- cosec a)} sin(2n + l)a da I
l
~rr f( x+ 2a---.
) sin(2n+ 1)a d
1
a
~(b- x) Sill a
converges unifortnly to zero \Vhen .1J lies in this interval.
'l'hus the series
00
( ct 0 - a0') + L{( an- an') cos n.'C + (bn- bn') sin nx}
1
a 0' + .t..J
'""""( an' COS n~r; + bn ' Slll
. n.t· )
1
1ra n = J: rr j(;;; ) COS n.E d.c, 1ra.,: = J:,/' (X) COS 1l.E d.;;,
etc.
Integrating the expression for an' by parts, we see that
an'=_!{/( 1r)-/( -· 1r)} cos n1r + n Jrr j'(.x') sin n~v' d::v'
n iT -rr
=nbn,
since we are givenf(7r)=f( -1r).
Also a 0'=0.
Sin1ilarly, starting with b and integrating by parts, \Ve see that
17.'
bn'= -nan.
262 THE NATURE OF THE CONVERGENCE OF
Thus the Fourier's Series for f'(x) is that which \Ve obtain on differentiating
the series for f(x) tern1 by term.
On the other hand, with the same assun1ptions, except that f( 1r) =F f(- 1r ),
the terms in the series for f'(x) are given by
2rra 0 = fJ(x')dx',
rran = J_".,. f( x') cos n.r:' d:c', rrb, = J:.,. f( x') sin nx' d.t',
the only conditio11 in1posed at this stage being that, if the arbitrary function
is bounded, it shall be integrable in ( -1r, 1r), and, if unbounded, the infinite
integral J~.,. f(x) dx shall be absolutely convergent.
We then proceed to exan1ine under \vhat conditions the series (1) converges
for x=x0 •
It is not difficult to show that the behctviou1· of the series at x 0 c{epends only
on the natu1·e of thefunctionf(.r:c) in the neighbourhood of Xrr·
Also a number of criteria have been obtained for the convergence of the
series at .x0 to ~[f(x0 +0)+/(.t·0 -0)J, when these lin1its exist.+
Further, it has been sho\vn that, -ij (a, b) be any interval contained in
(- 1r, 1r), such that f(.v) £s contin1tous in (a, b), including the end-points, tlw
answer to the question ~whether the Fourier's Ser-ies converges 1lniforndy in (a, b),
or not, depends only 1tpon the nat1tre ofj'(::u) in an. inter?)al (a', b'), ~vhich incl~ades
(a, b) in its interior, and exceeds ~·t in length b!J an arbitrarily srnall a1nount.
Again it can be sho,vn that, when f(x) has onl;lj a finite nu1nber of po-ints of
infinite discontinuity, 1vhile j".,. f(x) dx conver,qes absolutely, then lfl f(:r) dx,
~where - 1r < a< f3 < 1r, is represented b,y the convergent serz'es obtained by
* See also Gibson, Edinburgh, P'roc. · 111ath. Soc., 12, p. 47, et seq., 1894.
t Of. de la Vallee Poussin, loc. cit., T. II., §§ 137-143.
FOURIER'S SERIES 263
integrating the Fourier's Series ( 1) term b,y tenn, no assumption being n~ade as
regaTds the convergence o.f the original Fourier's SeTies.
The reader \Vho "\Vishes to pursue the study of Fourier's Series on these
lines is referred to the treatises of Hobson and de la Vallee Poussin.
REFERENCES.
BocHER, loc. cit.
DE LA VALLEE,POUSSIN, loc. cit., T. II. (2e ed.), Ch. IV.
IionsoN, loc. cit., Ch. VII. ·
LEBESGUE, Lefons sur les series trigono?netriq1tes, Ch. III., Paris, 1906.
WHITTAKER AND WATSON,' loc. cit., Ch. IX.
. X - 1 Sill
y == Sill . 3 X+ 1 Sin
. 5X,
32 52
*This chapter is founded on a paper by the author in The American Jo'urnal
of M athen~atics, 39, p. 185, 1_917.
264
GIBBS'S PHENOMENON IN FOURIER'S SERIES 265
are given in Fig. 30, along with y == f(x ), for the interval (0, 7r ),
and it will be seen hovv closely the last of these three approaches
the sun1 of the series right through the interval.
.Y
(I)
(2)
(3)
FIG. 30.
(1)
(2)
-t-
FIG. 31.
point ( -?r, 0) to a point near ( -?r, -1r), and then oscillated about
y = x till x approached the value 1r, when the curve passed at a
steep gradient from a point near ( 1r, 1r) to ( 1r, 0). And to those who
did not properly understand what is 1neant by the sum of an
infinite series, the difference between the approxirnation curves
y ==Sn(x),
for large values of 1~, and the curve y = I_Jt Sn(x) offered con-
siderable difficulty. n-->-w
are drawn, and the diagra1n might seen1 to confirm the above
vievv of the Inatter-namely, that there will be a steep descent
FIG. 32.
near one end of the line, from the point_ ( -?r, 0) to near the
point (- 1r, - ,7r ), and a correspondihg steep descent near the
other end of the line. But it must be re1nembered that the
convergence of this series is slow, and that n == 5 would not
count as a large value of n.
268 'rHE APPROXIMATION CURVES AND
FIG. 33.
--------
-7r
FIG. 34.
Gibbs made his rerr1arlc, it \vas supposed that the vertical lines
extend n1erely between. the points whose ordinates are f(ci+O).
The series in the exan1ples of Chapter VII. converge so slowly that
the approxin1ation curves of Figs. 21-2:3, 27, 28 are of little use in this
connection.
114. The series on which Bacher founded his demonstration of
this and other extensions of Gibbs's theorem is
•
Sill X+ 1 Sill
• 2 X+ ;:r]_'
Sill 3+
X ... ,
2
which, in the interval (0, 27r) represents the function f(x) defined
as follOV\ S:
7
f(O) == f(27r) == 0,
f(x)=~(?r-x), O<x<27r.
In this case
. 1. 2 1.
S()
11, X == Sill X+ - Sin X+ ... +- Sin nx
2 1~ .
sin (2m -1) (~7r +x') =sin (2m -1) (i7t- x'),
it follows from the series that Sn(x) is symntetrical ctbornt x == ~7r,
and when x = 0 and x == 7r it is zero.
( ) =J;csin2nad
Snx .
s1n a
a =_!_
')
~n
J 2
nx sina d a,
• a
O< <l
x==27r.
0 0
Slno-
~n
27r n-1 ( . . )
x4 = - , ... '
11
x2(n-1) == n 7r rrn~n~ma
/.
We have
x sin 2na dy sin 2nx
y == . cla, and ----
J 0 s1n a dx Sln X
/' L\
-
I
\ y
\
I _'1
-tlI \
I /~
I /.
I i./
1£~ Lt :-'-- - ~
I \ ./
tt r- "
1-
~ -17~
roo-
~
...... '7
L Lrr
F- ,-.-- ~ t- 1- ~ 1--- f- ~ f--
r\.
-1---1 -I--
I
' ../.
\
,\
/.l/1
l IV
/J .L:.
v I'-"
-- r---
Sn ( 2 n
2?1~ -1 ) (2m+ 1 )
=-~
1 J( 2
m-l)1r sin a
-?r - Sn 2
n 7r
2 n, (2m+l)7r Sin
. ----
a
da
·n
2
1/
~ '- ><->-
./ ~ -
['--. r-- ~
7 p<-
~ ;x, ~ X )< ~ \ l i\ \
\ \
'/ :I ,,I J \ 1
1/ I ~ 1\ 1\
/.In If I i_ \ \ \
1V
rJ/ I 1\ 'I\
I IJ I 1\
1/ I \ l
II I \. ',\
(). I~ I I \
v ~ l v 1\.
/ \ \
''1/ l1
u \
~
In
IV
ln.
IV
r::.
I'"'
1.111
I IV
/. r::.
'IV
?. if)
1!: IV
'7. I~
lL IJ
n X
-.~(/
We have rr
= J: 2) da.
sin a ( 2~ coSec 2: - '2n ~'2 cosec 2 n:
Since a/sin a continuall~y· increases from 1 to oo, as a passes
from 0 to 7r, it is clear that in the interval with which \Ve have
to deal 1 a 1 a
- cosec . --- - - --- cosec
21~ 211 21~+ 2
+ 0.
·2n 2
>
GIBBS'S PHENOMENON IN FOURIER'S SERIES 275
S -S
'l'hus --~-
7r)
n ( Z1L n+ 1
(
2 (1 [, + 1
7r )
> 0.
But, fron1 (I), Sn(x) is positive when O<x< 7r.
It follows that Sn ( ~) tends to a limit as n tends to infinity.
~rhe value of thiR limit can be obtained by the n1ethod nsed by
Bacher for the integral JSin .
X
0
,• (
{
11
s1n 2 a
2
1)
ada.* Rut it is readily
obtained £rom the definition of the Definite Integral.
For a
~n -
( 7r ) _
-- ) fl-Sln
-2 ( 7r 2n . -+-
7r 2n, Sln-
. 37r + ...
2n 2'lt 7r 21~ •37r 211
2n . 211-1 }
+(2n-1);sin 2n 7r
VI. The result obtained in (V) for the first wave is a special
case of the follovvjng :
2r-1
The rth 1naxi1nt~;m to the right of x == 0 is at x21·-1 == - - 7r,
211
and its height contin1LC(;lly clin1inishes as 11 in,c1~ectses, 1~ bei11g
lcept C0118tav/t. Whe11 rn tends to infinity' its lin1it ~is
(2r- l)rr sin X
0
,.,. sin x dx, which iB leB.s
X
t 1~an 2-7r.
To prove these theoren1s vve consider first the integral
But d (¢
a-;p 2
cos ¢ cosec2 ¢ )
. (1ncosec
y==sinx.
X 1 X
, - n+ cosec n+ 2 , ... , O<x<11~7r,
)
2 211 2 2 2
thus consists of a succession of waves of length 7r, alternately
above and below the axis, and the absolute values of the ordi-
nates at, points at the sarne distance from the beginning of each
wave continually increase.
It follo,vs that, "Then n~ is equal to 2, 4, ... , 2 (n.- 1 ), the
integral
m71' • ( 1 a 1 a )
0 J
sm a 2r;:cosec 211 - 2n+ 2 cosec 2n+ 2 da
0
sin
X
X dx. *
It is clear that these limiting values are all greater than ~7r for
the maxi1na, _and positive and less than ~7r for the n1inin1a.
above and below the line y = ~ 7r, the heights (and depths) of
the waves continually diminishing as we proceed frorn x == 0 to
x == ~7r (§ 115, IV.); and fron1 x= ~7r to x == 7r, the procedure is
reversed, the curve in the interval 0 < x < 7r being syn1n1etrical
about x = ~7r (§ 115, I.).
The highest (or lowest) point of the 'i.th wave to the right of
x == 0 will, for large values of 11, be at a point whose abscissa is
; : (§ 115, III.) and whoRe ordinate is very nearly
sin x
J
?'7r
o- x-- d~;.
y
~~------------------------~
2
0
FIG. 37.
(iii) Let v"' be the integer next greater than ;E. 'l'hen the
abscissa of the first maxi1nun1 to the right of x == 0, vvhen n-:>-v'",
is less than E.
It follo,vs from (i), (ii) and (iii) that, if v is the greatest of the
positive integers v', v" and v" the curve y == Sn(x), when 1~? l',
1
,
behaves as follovvs:
It rises at a steep gradient from the origin to its first maxin1um,
vvhich is above J" sinX clx and within the rectangle
0 X
X 7T Sill
O<x<E, O<y< J -dx+E·
X 0
Let v"' be the first positive integer "vhich satisfies this in-
·equality.
(v) In the interval a+11 ~ x ~ (3, sn(x) converges uniforrnly
to j(x) . . rrherefore a positive integer l)iv) exists such that, ,vhen
l.f(x)-sn(x)! E, <
the san1e v(iv) serving for every x in this interval.
Now, from the equation defining "-ff(x),
_ • f(ci+O)- f(a-0)
1
Sn(x)- ,x(f( Ci + 0) +/( Ci- 0)) + ¢n(X- a)+ o-n(x).
~ 7r
rr X
It then oscillates about y == f(x) till x reaches c(;+ 1J, the character
of the vvaveR being determined by the function ¢n(x-a), since
the term crn(x) only adds a quantity less than; to the ordinate.
And on passing beyond x == ct + 17, the curve enters, and re1nains
vvithin, the strip of width 2E enclosing y == f'( x) fron1 x == a+11 to
X== (3.
On the other side of the point C(; a si1nilar set of circun1stances
can be established.
Writing D == j~( c(;+ 0)- f(c~_;- 0), the crest (or hollovv) of the
first wave to the left and right of x ~_c(; tends to a height
j(c~-O)+DPl, f(a+O)-DP_l,
7r 7r
where P 1 ==
. 'l) sin x ,
~ - ~ dx.
J7r X
R.EF ER.ENOES.
FOURIER'S INTEGI\ALS
-l 1 -l
~Jl f(x') dx' + i~ cos nl7r xJ f(x') cos [x' dx', ......... (2)
1 11
0 1 0
and 2~
lL...i s1n -l-xJlf( x ') s1n
. 1t7r yx, cl x,, .................. ( 3 )
. ·n7r
1 0
in the interval (0, l).
Fourier's Integrals a)re definite integrals "vhich represent the
arbitrary function in an unlirnited interval. They are suggested,
but not established, by tl1e forn1s these series appear to talze as l
tends to infinity.
If l is talzen large enough, 7rjl n1ay be rnade as sn1all as we
please, and we 1nay neglect the first tern1 in the series (1 ),
assuming that [oof(x) clx is convergent. Then we may write
as ~~f_/(x')cos nl7r(x'-x)dx'
~[Aa rl f(x') cos Aa(x' -x) dx' + Aa f_l cos 2Aa(x' -x) dx' + .. .],
where Lla = 7r jl.
283
284 FOURIER'S INTEGRALS
-ro <x<oo,
when these limits exist.
In the same "\vay '"e are led to the Cosine Integral and Sine
Integral corresponding to the Cosine Series and the Sine Series :
119. Let the arrobitrrarry .f1~1~ctio11 f'(x), defined for all vc~l1tes
of' x, satisfy Dirichlet's Cond1:tio11s ~irr~ ct/ny finite i11terrval, Ci11d
in addition let ["' f(x) clx be c~bsol~dely cmwergent.
1·1J~e11
!JYJ claJ"'
7r 0 -CI)
f( x') cos a (x'- x) cl:c' = Hf( x +0) + f( x- 0)],
cit every point wherr·e j~(x + 0) Ci11cl j(x- 0) exist.
Having fixed upon the value of x for which we wish to
evaluate the integral, we can choose a positive nu1nber Ci greater
than x such that f (x') is bounded in· the interval Ci < x' < b,
FOURIER'S INTEGRALS 285
J claJ"' j(x') cos a(x' -x) d:r' =Joo clx'Jq~f(x') cos a(x' -x) cla
q
0 a a 0
OO 1 sin q(xl- x) 1
== Ja j (X ) x' - X . clx . . ..... ( 1)
A -x sin q1t
=q~~ a-xj(u+x) J 1~ cl1~
== 0,
since j(ttt+x) satisfies Dirichlet's Conditions in the interval
(a-x, A-x), and both these nun1bers are positive.
286 FOURIER'S INTEGRALS
2
It follows fron1 (2) and (3) that
sin q ( X
1
x) l < .~ + ~ ==
J oo / ( 1) - I !
X .' CX •) €,
I a X -X .i..l 2
when q>Q.
Thus q~~ J"'a j(x') s~l1Cf,(x;'-x)
x --x
clx' = 0,
J
q
0
daJa f(x cos a(X
X
1
)
1
- x) clx 1
::::: Ja dx'Jq f(x') cos a(x' -x) da
X 0
[ cla[ f(x') cos a (x' -x) dx' = i f(x + 0), ............ (6)
[ cla roo f(x') cos a (x' _: x) di1:' = ;f(x- 0), .......... (7)
whenf(x-0) exists.
Adding (6) and (7), we obtain Fourier's Integral in the forn1
7r 0 -00
· 120. More general conditions for f(x). In this section we shall sho'v
that ~..,onrier's Integral forn1ula holds if the conditions in any finite interval
ren1ain as before, and the absolute convergence of the infinite integral
L: f(x) dx is replaced by the following conditions:
For son~e positive n/a?nber and to the right o.f it, j(.1/) is botttnded and mono-
tonz"c and Lt f(.r:') = 0 ; and .for sonw ne,qatz've nunlber and to the left o.f it, f(.xl)
x'..-..+XJ
Having fixed upon the value of x for which we \vish to evaluate the
integral, we can choose a positive number a greater than x, such that f(.'L,)
is bounded and n1onotonic when :;/:=:a and Lt f(~v') = 0.
x'--"?XJ
where a<.A'<~<A''.
Thus
f(A') ra(~-x) f(A' [a(A" -x)
1
"A" )
is uniforn1ly convergent for a::::> q0 > 0, and this integral represents a con-
tinuous function of cL in a> q0.*
Also, by § 85,
v
t dar f(x') cos a(.r'- .r)
q0 • a
d.1:' = 1Cf)
a
cl.1/ rq f(x.') cos a(1/- ,'L') da
. qo
_
-
jf'C/)f( .'{)") I(sin q(.rc'- .x)
I
sin q 0 (.~v'- .T) l d ,
I f .'t •
( 1)
a \. .x - x :c - .rc
But .x'- x ::::=:a- :v > 0 in the interval .v' >a, since we have chosen a greater
than .r.t'.
ooj( ')sin q0 (a/- .'L~) d ,
Aud
.a :c -.X £
.1J ,'(: I
both converge.
*These extensions. are clue to Pringsheirn. Cf. .Jfath. Ann., Leip;:.ig, 68, p. 367,
1910, and 71, p. 289, 1911. Reference should also be n1ade to a paper by
\iV. H. Young in Eclinburyh, Proc. R. Soc., 31, p. 559, HHI.
288 FOURIER'S INTEGRALS
Therefore, fro1n ( 1 ),
(Q
I~ da
l'l) f(x') cos a(:v'- .~·) dJ/
~· qo a
f(A') (§ sin q?(.x'- .x) dJ/ +f(A")1A'' ~~~qo(:r'-=~1:) dtc' ..... (:3)
~ A' :v - .x .x' .- .~· ' §
. q0 (..r . - .1'? ) I
cl /{,/ <
A" s1n
And sin1ilarly,
I v r§
_---=-:_:_'__:__
.'C - .1~
- 7r.
But we have already sho,vn that the integral on the right-hand side of (6)
is uuiforn1ly convergent for q> 0.
Proceeding as in§ 119, (2) and (:3),* it follo,vs that
cr
;t. -
;~
Or \Ve n1ight use the Second Theoren1 of Mean \Talne as proved in §58 for the
Infinite Integral.
FOURIER'S INTEGRALS 289
~0
Cda.f.rc(" f( J/) cos a(:r:'- .1:) clx' =; f( :v + 0), ................... (8)
-1 [
7r.,o
00
da !X
-'l)
f(.x') cos a(.x'- .1;) =tf(.r- 0), .................. (10)
.
121. Other conditions for f(x). We shall now show that Fourier's
Integral forn1ula also holds when the conditions at ± oo of the previous
section are replaced by the following :
(I.) For so1ne positive n1-t1nber and to the 1·ight of £t, and for sorne negative
nurnber and to the lej~ of it, f(x') is of the jor1n g(.x') cos (A..x' + JL),
'where g(x') ~·s bounded and monotonic in these intervals and has the
li1nit zero as .x' ~ ± oo .
We have shown in § 120 that when g(.x') satisfies the conditions nan1ed
above in (I.), there will be a positive nurnber a greater than .x such that
r
00
~o
C' da Jaroo ,q (.'t'') cos a(.'t'' _ .'t') d.v'
.~oo j~'l) loo
1
")1..
- 1 du. g(.1:') cos a(.x'- .x) d.x' + da g(.1:') cos a(.x'- /C) d.r'
~o .a r... a
- roo r'l) ,q(.x') cos a(.x'- .r) cl.1~'
=t •j~r...-·A. daJaroo g(.x')
·
cos a(.x'- .x) d:c' +
..,A.
daj
a
=tf"' da {" g(.'t'') cos a(.v'- .'t') d,r;' +t{"dar g(x') cos a(.x'- .'t') d.1"
-.-A. ~a r... ~a
= t{oo da [oog(.x') cos (a+ A.)(.r'- .1~) d:c' + t foo da (X> g( .r')cos (a.-- A-)(.r'- .x)d.x'.
Jo Jt )o )a
Therefore
Jo
("' da Cg(.x') cos a(.'t''- .x) d.x'
At
= Jo'" da Loo g(.r') cos A(.v'- .1?) cos a(.'t''- .1:) d.r' = 0 ....... (1)
C. I T
290 FOURIER'S INTEGRALS
= r
Ja )Ao
g(x'){ cos :?~~-.v)- c_os ~;~~v- .1J)}dx'
= l,oc g(.rc') cos ~~(_x' --:_0") d.rc'- roo g(.1/) cos'\~ (.1/-: .1:) dtc', ... (2)
~a ~X - .x ) a, .~, - ,1J
Also, as before, we find that, w_ith the conditions in1posed upon g(.x'), *
A~oo
Lt "1' a
00
g ( ,')::.')cos A(.x'- .x) d,f(;.I_
I
.X - .'C
- 0•
and roo
J0 da1 g(x') sin a(x'- .r) d.x' = . ............... (5)
(t • (t ,'{; - ,1j
* This can be obtained at once fron1 the Second Theorern of Mean Value, as
proved in §58 for the Infinite Integral; but it is easy to establish the result, as
in§ 119, 'vithout this theoren1.
FOURIER'S INTEGRALS 291
00
Again, since (A da1 g(."f/) sin (t(x'- :u) d:u'
Jo a
-A
da
j~oo
ct
g(x') sin a(;r'- .x) d~v' =0. . ...................... (6)
~--,ron1 (6), and the convergence of Joo da {'l) g(.x')sin a(:c' -.x)dx', it follows
that -A )a
00
Joo cla roo g(.x')sin a(.x' -x)dx'- roo da1 g(.x')sin a(tc' -.rc)d.x'=O.
-A )a )A a
Thus
!, da loo
0
00
a
g(~:c')
roo da 100 g (.x') sin (a- A)( x'- x) dx'.= 0.
sin (a+ A)(.x'- .x) d.x'- L
.,0 a
jo da .,al
.• oo ~oo
Therefore g(.rc') sin A(.x'- x) cos a(.x'- .x) dx' =0. . ............ (7)
roo cla (a ,f(x') cos a(.x'- tc) d,x' = !!_2 [f(x + 0) + f(.'r- 0)], ......... ( 11)
Jo "-a
·when these lin1its exist. [Cf. § 119 (5}.]
Adding (10) and (11), 've see that Fourier's Integral formula holds, when
the arbitrary function satisfies the conditions in1posed upon it in this section.
It is clear that the results just established still hold if 've replace
cos (A..x+ ~-t) in (I.) by the sum of a nu1nber of tern1s of the type
Cln COS (AnX' + /-Ln)•
It can be proved* that the theoren1 is also valid when this sum is replaced
by an infinite series oo
~an cos ( An.x' + 1-Ln ),
00 1
'vhen ~an converges absolutely and the constants An, so far arbitrary, tend
1
to infinity with n.
== ~
')Joo cla Joo f( x') cos ax cos ax' dx'.
7r 0 +oo
It follows frorn § 119 that ~uhe1~ f(x) is clPfinecl jo?" positive
val1~es o.f x, ancl satisfies Dirichlet's Oonclitio1~s i1~ C(;ny ji11ite
inte1·val, 'While J: f(x)dx con/Ve?·ges absoltdely, then
at every point where f(x+O) a'ncl f(x-0) exist, ancl ~uhe1~ X==O
the valttLe of the integ,ral is /( + 0), if this lirnit exists.
Also it follows fro1n §§ 120 and 121 that the condition at
infinity rnay be replaced by either of the follo\ving:
(i) Fo?" son~e positive 11-'LLn~ber and to the right of it, f(x')
shall be bo1Lndecl ancl111onoto?1ic and Lt f( x') == 0 ;
x'-?oo
or, (ii) Fo1" son~e positive nttLmbe?" cind to the right of it, f(x')
shall be of the fo?"Yn g(x') cos(Ax' +Jl), where g(x') is
bo1.~ndecl ancl n1onotonic a? tel Lt g (x') == 0. Also
;;~'~::f)
') JY) cla JY) j'(x') sin ax sin ax' clx' == ~ [f(x+O)+ f(x-
~ 0)],
7r 0 0
FOURIER'S INTEGRALS 293
at eveTy poi11t tvhere j(x+O) a1~cl f(x-0) exist, ancl whe1~ x=O
the ~i1~tegrr·aJ is zero.
Also it follows fron1 §§ 120 and 121 that the conditio11 at
infinity may be replaced by one or other of those given under I.
Jt should be noticed that, vvhen vve express the arbitrary
function j~(x) by any of Fourier's Integrals, we 1nust first decide
for what value of x we wish the value of the integral, and that
this value of x must be inserted in the integrand before the
integrations indicated are carried out (cf. § 62).
123. Fourier's Integrals. Sommerfeld's Discussion.
In n1any of the
problen1s of Applied Mathen1atics in the solution of which ~E,ourier's Integrals
occur, they appear in a slightly different forn1, "\vith an exponential factor
(e.g. e- Ka.2t) added. In these eases ·we are concerned with the lin~iting value
as t-70 of the integral
cp( t) = !_ J'XJ da rb j(x') COS U (:t'1 - X)e- Ka.'2t d:Jf,
7r 0 )a
and, so far as the actual physical pro blen1 is concerned, the val1w of the
integral jo?· t = 0 is not required.
It \vas shown, first of all by Sonunerfeld,* that, when the li1uit on the
right-hand side exists,
I~t L ('X) da (b f(:r/)cosa(tr/ -,;v)e-Ka2 td:v'=t[.f(,~·+O)+f(:v-O)],
t~o 7r Jo .Ja.
when a<;L·<b,
=!f(a+O), 'vhen x=a,
=if(b-0), when ,rc=b,
the result holding in the case of any integrable function given u1 the
interval (a, b).
The case when the interval is infinite was also treated by Son1merfeld, but
it has been recently exan1ined in n1uch greater detail by Young. t It will be
sufficient in this place to state that, when the arbitrary function satisfies the
conditions at infinity in1posed in §§ 120-122, Son1merfeld's result still holds
for an infinite interval.
However, it should be noticed that we cannot deduce the value of the
integral 1 ,..w
- / daj
7r
"b
f(a/) cos a(a/- :1:) d,x'
~ 0 a
fron1 the above results. This would require the continuity of the function
1
cp(t)=-/ da
,..oo Lb f(x')cosa(x' -x·)e-Ka tdt,;' 2
fort=O. . 7r~o .a
We have cotne across the san1e point in the discussion of Poisson's treat-
n1ent of Fourier's Series. [Cf. § 99. J
REFERENCES.
FoURIER, Tluforie anal,ytique de la chaleur, Ch. IX.
JORDAN, loc. cit., T. II. (3e eel.), Ch. v.
LEBESGUE, Ler;ons sur les series trigonometrl:ques, Ch. III., Paris, 1906.
NEUMANN, lac. cit., Kap. III.
WEBER-RIEMANN, loc. cit., Bd. I. (2. Anfl.), §§ 18-20.
And the papers narned in the text.
EXAMPLES ON CHAPTER X.
1. Taking f(,x·) as 1 in Fourier's Cosine Integral. when 0 < .1; < 1, and as
zero when 1 < ~1:, show that
_ ~ j~oo sin a cos a~1J da ( - )
1- , O<x<1
7r o a
1-=~loo sin a cos ax da , ( ,'V= 1)
2 1r o a
( 1 <.:v ).
7r Jo a
2. By considering Fourier's Sine Integral for e- f3x (/3>0), prove that
oo •
a sin ax· 1r
.. o a2+ (32 da=2e-f3x, r
and in the same way, from the Cosine Integral, prove that
00
( cos ax 7r
Jo a2 + (32 da =- 2{3e- f3x.
3. Show that the expression
2
" .o
a'
2
[
00
is equal to .1:
2 when 0 < x <a, and to zero "rhen ..t· >a.
4. Show that ~- r;oo- sin qx {~+tan a sin qb -:>sin qa} dq
7r ~ 0 q q--
is the ordinate of a broken line running parallel to the axis of .1; fron1 x = 0
to x=a, and fron1 ;v=b to X=Cf:J, and inclined to the axis of x at an angle a
bet\veen x = c~J and .t· =b.
6. _Show that f(x) =~~~~.1: satisfies the conditions of § 121 for Fourier's
Integral, and verify independently that
1
- loo da Joo Slll.'t'
· ,cos a (.'t', - d.-c' = sin
.·!/) -,- --.
:v
7f o - oo :1~ X
APPENDIX I
PRACTICAL HARMONIC ANALYSIS AND PERIODOGRAl\1_
ANALYSIS
a0 + a 1 cos X 2.n + ... +a,. cos rx 2,n + ... +an cos nx2n}
. == Y·)·n
+ b1 sin X 2n + ... + b.r sin rx2n + ... + bn sin nX2n ..
* Zs. Jlfath., Leipzig, 48, 190:~, and 52, l90i). Also 'Them·ie u. l)raxis der l?eihen,
pp. 147-164, Leipzig, 1904.
298 APPENDIX
mao= ~Ys!
s=O
~
tmct1· = m-1
~ y 8cos rsa
s=O rr = 1, 2 ... n,
1
J'" 1/l odd.
-}1nbr = ~ y.., sin 1'Sa
i/i-
s=O
Tables for evaluating the coefficients in such cases have been constructed by
Turner.*
TREATISES
AscoLr. Sulla serie di Fourier. Ann. mat., Milano (SerQ 2), 6, 1875.
Du Bois-REYMOND. Allgemeine Lehrsatze iiber den Giiltigkeitsbereich der
Integralformeln, die zur Darstellung willkilrlicher F~nctionen dieneno
J. Math., Berlin, 79, 1875.
GENOCCHI. Intorno ad alcune scrie. Torino, Atti Ace. sr.., 10, 1875.
Du Bors-REYMOND. (i) Be"\veis dass die coefficienten der trigonometrischen
Reihe
00
die Werthe
1 !7(' 1
,.7t' 1 1t'
a0 =- f(a) da, ap=-j f(a) cos pa da, bp=- { f(a) sinpa da
2 7r -7(' 7r
-7r 7r .. -7r
haben, jedesmal wenn diese Integrale endlich und bestimmt sind. Mtin-
chen, Abh. Ak. Wiss., 12, 1876.
(ii) Untersuchungen tiber die Convergenz und Divergenz der Fourier'-
schen Darstellungsformeln. Mtinchen, .Abh. Ak. Wiss., 12, 1876.
(iii) Zusatze zu dieser Abhandlung. Math. Ann., Leipzig, 10, 1876.
ToPLER. N otiz tiber eine bemerkenswerthe Eigenschaft der periodischen
Reihen. Wien, Anz. Ak. Wiss:, 13, 187 6.
GLAISHER. Note on Fourier's Theorem. Mess. Math., Cambridge, 6, 1877.
AscoLr. (i) Nuove ricerche sulla serie di Fourier. Roma, Rend. Ace. Lincei
(Ser. 3), 2, 1878.
(ii) Sulla rappresentabilita di una funzione ·a due variabili per serie
doppia trigonometrica. Roma, Rend. Ace. Lincei (Ser. 3), 4~ 1879.
APPEL. Sur une theoreme concernant les series trigonometriques. Arch.
Math., Leipzig, 64, 1879.
BoNNET. Sur la formule qui sert de fondement a une theorie des series
trigonometriques. Bul. sci. math., Paris (Ser. 3), 3, 1879.
Du Bors-REYMOND. Determination de la va.Ieur limite d'une integrale. Bul.
sci. math., Paris (Ser. 3), 3, 1879.
HoPPE. Bemerkung tiber trigonometrischen Reihen. Arch. Math., Leipzig~
64, 1879.
SACHSE. Versuch einer Geschichte der Darstellung willkiirlicher Functionen
einer Variablen durch trigonometrischen Reihen. Diss., Gottingen, 1879.
Also Zs. Math., Leipzig, 25, 1880, and in French, Bul. sci. math., Paris
(Ser. 3), 4, 1880.
AscoLI. Sulla serie trigonometriche a due variabili. Roma, Rend. Ace.
Lincei (Ser. 3), 8, 1880.
CANTOR. (i) Bemerkung tiber trigonometrische Reihen. Math. Ann.,
Leipzig, 16, 1880.
(ii) Fernere Bemerkung tiber trigonometrische Reihen. Math. Ann.,
Leipzig, 16, 1880.
Du Bors-REYMOND. Zur Geschichte der trigonometrischen Reihen. Tub-
ingen, 1880.
BoussiNESQ. Coup d' ceil sur la theorie des series trigonometriques et sur
une raison naturelle de leur convergence. J. math., Paris (Ser. 3),
7, 1881.
Du Bors-REYMOND. Uber Darstellungsfunctionen. Math. Ann., Leipzig,
18, 1881.
HARNACK. Uber die trigonometrische Reihe und _die Darstellung willktir-
licher Functionen. Math. Ann., Leipzig, 17, 1881.
JORDAN. Sur la serie de Fourier. Paris, c. R. Acad. sci., 92, 1881.
APPENDIX 307
SnARr. On Fourier's Theorem. Q. J. Math., London, 17, 1881.
_._t\scoLr. Una osservanza relativa ad un teorema contenuto nella sua memoria ;
Sulla rappresentabilita di una funzione a due variabili per serie doppia
trigonometrica. Milftno 1 Rend. Ist. lomb., 15, 1882.
HALPHEN. Sur la serie de Fourier. Paris, C.R. Acad. sci., 95, 1882.
I-IARNACK. (i) Theorie de la serie de Fourier. Bul. sci. math., Paris (Ser. 3),
6, 1882.
(ii} Vereinfachung der Beweise in der Theorie der Fourier'schen Reihen.
Math. Ann., Leipzig, 19, 1882.
HoBsoN. On Fourier's Theorems. lVIess. Math., Cambridge, 11, 1882.
LINDEMANN. Uber das ·verhalten der Fourier'schen Reihe an Sprung-
stellen. Math. Ann., Leipzig, 19, 1882.
PoiNCARE. Surles series trigonometriques. Paris~ C.R. Acad. sci.' 95, 1882.
VEL'rMANN. Die Fouriersche Reihe. Zs. Math., Leipzig, 27, 1882.
CANTOR. Sur les series trigonometriques. Acta Math., Stockholm, 2, 1883.
Du Bois~REYMOND. Uber die Integration der trigonometrischen Reihe.
Math. Ann., Leipzig, 22, 1883.
GILBERT. Demonstration simplifiee des formules de Fourier. Bruxelles, Ann.
Soc. scient., 8, 1884.
HoLDER. Zur Theorie der trigonometrischen Reihen. 1\lath. Ann., Leipzig,
24, 1884.
ALEXANDER. (i) Failing Cases of Fourier's Double Integral Theorem,
Edinburgh, Proc. Math. Soc., 3, 1885.
(ii) Boole's and other proofs of Fourier's Double Integral Theorem.
Edinburgh, Proc. Math. Soc., 3, 1885.
HoLDER. Uber eine neue hinreichende Bedingung fUr die Darstellbarkeit einer
Function durch die Fourier'sche Reihe. Berlin, SitzBer. Ak. Wiss., 1885.
KRoNECKER. Uber das Dirichlet'sche Integral. Berlin, SitzBer. Ak. Wiss.,
1885.
PoiNCARE. Sur les series trigonometriques. Paris, C.R. Acad. sci., 101,
1885.
WEIE:RSTRAss. Uber die Darstellbarkeit sogenannter willktirlicher :B...,unc-
tionen durch die Fouriersche Reihe. Berlin, SitzBer. Ak. Wiss., 1885.
ALEXANDER. A symbolic proof of Fourier's Double Integral Theorem.
Mess. Math., Cambridge, 15, 1886.
ARZELA. Sopra una certa estensione di un teorema relative aile serie trigono-
metriche. Roma, Rend. Ace. Lincei (Ser. 4), 1, 1886.
ALEXANDER. (i) A proof of Fourier's Series for Periodic Functions. Mess.
Math., Cambridge, 16, 1887.
(ii) Extensions of Fourier's trigonometric Series Theorem. Mess. Math.,
Cambridge, 16, 1887.
C. I u2
308 APPENDIX
t
Summen sin x +!sin 2x + ... + sin nx. Math. Ann., Leipzig, 72, 1912.
(ii) On a theorem of Fejer's and an analogon to Gibbs' phenomenon.
New York, N.Y., Trans. Amer. Math. Soc., 13:~ 1912.
APPENDIX 313
HARDY. Oscillating Dirichlet·s Integrals. Q.J. Math., London, 43, 1912. l
JACKSON. On approximation by trigonometric sums and polynomials.
New York, N.Y., Trans. Amer. Math. Soc., 13, 1912.
LICHTENSTEIN. Uber das Poissonsche Integral und tiber die partiellen Ablei-
tungen zweiter Ordnung des logarithmischen Potentials. J. Math.,
Berlin, 141~ 1912.
NEUMANN. Zur Theorie des logarithmischen Potentials. Aufsatz IX.
Leipzig, Ber. Ges. \¥iss., 64, 1912.
RAYLEIGH. Remarks concerning Fourier's Theorem as applied to physical
problems. Phil. Mag., London (Ser. 6), 24, 1912.
THOMAS. Uber die Konvergenz einer Fourierschen Reihe. Gottingen,
Nachr. Ges. Wiss., 1912.
YOUNG. (i) On successions of integrals and Fourier Series. London, Proc.
Math. Soc. (Ser. 2), 11, 1912.
(ii) On multiple Fourier Series. London, Proc. Math. Soc. (Ser. 2),
11, 1912.
(iii) On a certain series of Fourier. London, Proc. Math. Soc. (Ser. 2),
11, 1912.
(iv) Note on a certain functional reciprocity in the theory of ·Fourier
Series. Mess. Math., Cambridge, 41, 1912.
(v) Sur la generalisation du theoreme de Parsival. Paris, C.R. Acad.
sci., 155, 1912.
(vi) On the convergence of certain seriies involving the Fourier constants
of a function. London, Proc. R. Soc., 87, 1912.
(vii) On classes of summable functions and their Fourier Series. London,
Proc. R. Soc., 87, 1912.
(viii) On the multiplication of successions of Fourier Constants.
London, Proc. R. Soc., 87, 1912.
FEJER. (i) Sur les polynomes trigonometriques. Paris, C.R. Acad. sci.,
157, 1913.
(ii) Uber die Bestimmung des Sprunges der Funktion aus ihrer Fourier·
reihe. J. Math., Berlin, 142, 1913.
(Also paper in Hungarian in Math. Termt. Ert., Budapest, :11,
1913.)
FILON. On a symbolic proof of· Fourier's Theorem. J\iath. Gaz., London,
7, 1913.
HARDY. (i) Oscillating Dirichlet's Integrals, an essay in the "Infinitar·
calcul" of Paul du Bois-Reymond. Q~ J. Math., ~ondon, 44, 191S.
(ii) On the summability of Fourier's Series. London, Proc. Math.
Soc. (Ser. 2), 12, 1913.
HARDY and Lr TTLEWOOD. Sur la serie de Fourier d'une fonction a carre
sommable. Paris, C.R. Acad, sci., 156, 1913.
314 APPENDIX
YouNG. (i) Sur la convergence des series de Fourier. Paris, C.R. Acad.
sci., 163, 1916.
(ii) Les series trigonon1etriques et les tnoyennes de Cesaro. Paris,
C.R. Acad. sci., 163, 1916.
(iii) Sur les conditions de convergence des series de Fourier. Paris,
C.R. A.cad. sci., 163, 1916.
ANGELESCO. Sur un procede de SOUll11ation des series trigonometriq ues.
Paris, C.R. Acad. sci., 165, 1917.
CAMP. Multiple integrals over infinite fields and the Fourier multiple integral.
Amer. J. Math., Baltimore, Md., 39, 1917.
CARSLAW. A trigonometrical sum and the Gibbs' Phenomenon in Fourier's
Series. Amer. J. Math., Baltimore, Md., 39, 1917.
00 •
DINI. Sugli sviluppi in serie !a0 + L (an cos ,\nz + bn sin ,\nz) d_ove le An sono
1
radici delle equazioni trascendente F(z) cos 1rz+ F 1 (z)sin 7rZ=0. Ann.
mat., Milano (Ser. 3), 26, 1917.
FEJER. Fourierreihe und Potenzreihe. MonHfte. Math. Phys., Wien, 28, 1917.
HARDY. Notes on some points in the integral calculus. XLV. On a point
in the theory of Fourier Series. Mess. Math., Cambridge, 46, 1917.
HARDY and LITTLKWOOD. Sur ]a convergence des series de Fourier et des
series de Taylor. Paris, C.B,. A cad. sci., 165, 1917.
HARrr. On trigonometric series. Ann. l\1ath., Princeton, N.J. (Ser. 2),
18, 1917.
JACKSoN. Note on representations of the partial sum of a :B.,ourier's Series.
Ann. Math., Princeton, N.J. (Ser. 2), 18, 1917.
JouRDAIN. The Influence of Fourier's Theory of the Conduction of Heat on
the development of pure mathematics. Scientia, Bologna (Ser. 2),
22, 1917.
KusTERMANN. Fourier's Constants of functions of several variables. Amer.
J. Math., Baltimore, Md., 39, 1917.
LusrN. Sur la notion de l'integrale. Ann. mat., Milano (Ser. 3), 26, 1917.
PoLLARD. On the deduction of criteria for the convergence of Fourier's
Series from Fejer's theorem concerning their summability. London,
Proc. Math. Soc. (Ser. 2), 15, 1917.
VAN VLECK. Current tendencies of mathematical research. New York, N.Y.,
Bull. Amer. Math. Soc., 23, 1917.
YouNG. (i) On the order of Inagnitude of the coefficients of a Fou1·ier Series.
London, Proc. R. Soc., ~4, 1917.
(ii) On ordinary convergence of restricted Fourier Series. London,
Proc. R. Soc., 94, 1917.
(iii) On the n1ode of approach to zero of the coefficients of a Fourier
Series. London, Proc. R. Soc., 94, 1917.
APPENDIX 317
(i v) Sur une nouvelle suite de conditions pour la convergence des
series de Fourier. Paris, C.R. Acad. sci., 164, 1917.
(v) Sur la theorie de la convergence des series de Fourier. Paris,
C.R. Acad. sci., 164, 1917.
(vi) Sur Ia theorie des sPries trigononu~triques. Paris, C.R. Acad.
sci., 165, 1917.
CARATHEODORY. Uber die Fourierschen Koefficienten der nach Rien1ann
integrierbaren Funktionen. Math. Zs., Berlin, 1, 1918.
CARLEMAN. Uber die Fourierkoefficienten einer stetigen Funktion. Acta
Math., Stockholn1, 41, 1918.
CtEIRINGER. Trigonometrische Doppelreihen. MonHfte. Math. Phys., Wien,
29, 1918.
LARMOR. The Fourier Harmonic Analysis; its practical scope, ·with optical
illustrations. London, Proc. 1\fath. Soc. (Ser. 2), 16, 1918.
RrEsz. Uber die Fourierkoefficienten einer stetigen Funktion von be-
schrankter Schwankung. Math. Zs., Berlin, 2, 1918.
YoUNG. (i) On non-harmonic Trigonometrical Series. London, Proc. I~. Soc.,
95, 1~18.
(ii) On the Cesaro convergence of restricted Fourier Series. London,
Proc. R. Soc., 95, 1918.
LANDAU. Bemerkungen zu einer Arbeit von Herrn Carlen1an : Uber die
Fourierkoefficienten einer stetigen Funktion. Math. Zs., Berlin, 5, 1919.
MooRE. Applications of the theory of summability to developments of
orthogonal functions. New York, N.Y., Bull. Amer. Math. Soc., 25, 1919.
YouNG. (i) On the convergence of the derived series of Fourier Series.
London, Proc. Math. Soc. (Ser. 2) 17, 1919.
(ii) On restricted Fourier Series and the convergence of po,ver series.
London, Proc. Math. Soc. (Ser. 2), 17, 1919.
(iii) On the connection between Legendre Series and Fourier Series.
London, Proc. Math. Soc. (Ser. 2), 18, 1919.
(iv) On non-harmonic Fourier Series. London, Proc. Math. ~oc.
(Ser. 2), 18, 1919.
JACKSON. Note on a n1ethod of proof jn the theory of Fourier's Series.
New York, N.Y., Bull. An1er. Math. Soc., 27, 1920.
N EDER. Uber die Fourierkoefficienten der Funktionen von beschrankter
Schwan kung. Math. Zs., Berlin, 8, 1920.
STEINHAUS. (i) Ben1erkungen zu der Arbeit der Herrn N eder : Uber die
Fourierkoefficienten der Funktionen von beschrankter Schwankung.
Math. Zs., Berlin, 8, 1920.
(ii) On Fourier's coefficients of bounded functions. London,- Proc.
Math. Soc. (Ser. 2), 19, 1920.
LIST OF AUTHORS QUOTED
Mean value theorems of the integral calculus ; first theorem (ordinary integrals),
92 ; (infinite integrals), 109 ; second theorem (ordinary integrals), 94 ; (infinite
integrals), 109.
Modulus. See Absolute val'lte.
Monotonic functions, 66 ; admit only ordinary discontinuities, 67 ; integrability
of, 84.
Monotonic in the stricter sense, definition of, 3f).
M-test for convergence of series, 134.
~-t·test for convergence of integrals, 104, 116.
Partial remainder (pRn), definition of, 42; (ZJRn(x)), definition of, 123.
Periodogram analysis, 299.
Points of infinite discontinuity, definition of, 66.
Points of oscillatory discontinuity, definition of,_ 66.
Poisson's discussion of Fourier's series, 230.
Poisson's integral, 231.
Power series ; interval of convergence of, 145; nature of convergence of, 146;
Abel's theorern on, 146; integration and differentiation of, 148.
Proper integrals, definition of, 113.
GLASGOW: PRINTED AT THE UNIVERSITY PRES& BY HOBERT MACLEHOSE AND CO. LTD.