Functions of Compl 00 Mac Ru of T
Functions of Compl 00 Mac Ru of T
COMPLEX VARIABLE
BY
THOMAS M. MACROBERT
M.A., B.Sc. ,
LECTURER IN MATHEMATICS IN THE UNIVERSITY OF GLASGOW
FORMERLY SCHOLAR OF TRINITY COLLEGE, CAMBRIDGE
CHAPTER I.
COMPLEX NUMBERS.
SECT. PAGE
CHAPTER II.
CHAPTER III.
HOLOMORPHIC FUNCTIONS.
11. Limits - 22
12. Continuity . . £3
13. Uniform Continuity. Functions of Two Real Variables - - 24
14. Differentiation - - - - 26
15. Definition of Holomorphic Functions. Simply-connected
Regions. Inverse Functions. Harmonic Functions - - 27
x CONTENTS
SECT. PAGK
CHAPTER IV.
INTEGRATION.
CHAPTER V.
CHAPTER VI.
CHAPTER VII.
VARIOUS SUMMATIONS AND EXPANSIONS.
CHAPTER VIII.
/-•GAMMA FUNCTIONS.
SECT. PAGE
CHAPTER IX.
INTEGRALS OF MEROMORPHIC AND MULTIFORM FUNCTIONS :
ELLIPTIC INTEGRALS.
CHAPTER X.
WEIERSTRASSIAN ELLIPTIC FUNCTIONS.
CHAPTER XI.
JACOBIAN ELLIPTIC FUNCTIONS.
77. The Values of $>(w; oilf o>2) when Wj is Real and o>2 is Purely
Imaginary - - 194
78. Geometric Application - 196
79. The Jacobian Elliptic Functions sn u, en u, dn u. Periods. Poles 198
80. The Addition Theorems for sn u, en u, dn u - 202
81. Jacobi's Imaginary Transformation - - 205
Examples XI. 206
CHAPTER XII.
LINEAR DIFFERENTIAL EQUATIONS.
82. Continuation of a Function by Successive Elements - - - 208
83. Homogeneous Linear Differential Equations of the Second Order.
Existence of an Integral in the Domain of an Ordinary Point.
Integrals at Infinity. Analytical Continuation of the Integral 209
84. Solution by Infinite Series, Legendre's Equation. Legendre's
Function of the First Kind 213
85. Theorems on Fundamental Systems of Integrals - 215
Examples XII. - - 217
CHAPTER XIII.
REGULAR INTEGRALS OF LINEAR DIFFERENTIAL EQUATIONS.
86. Integrals in the Neighbourhood of a Singularity. The Funda-
mental Equation. The Associated Fundamental System 219
87. Regular Integrals. Conditions for Regular Integrals - 222
88. The Method of Frobenius. The Indicia! Equation. Solutions
Free from Logarithms ........ 225
xiv CONTENTS
SECT. PAOE
CHAPTER XIV.
CHAPTER XV.
SOLUTION OF DIFFERENTIAL EQUATIONS BY DEFINITE
INTEGRALS.
95. First Method of Solution. The Branch Points of the Integral - 255
96. Gauss's Equation. Definite Integral Form of the Hypergeo-
metric Function - - 258
97. Legendre's Associated Equation. Expressions for Pnm(z) and
Qnm(z) .--- 259
98. Second Method of Solution 266
99. Bessel's Equation. Definite Integral Expressions for Jw(«) and
Gn(Z) --- 266
100. Asymptotic Expansions of Gn(z) and JM(«) 271
Examples XV. 275
X' O
FIG. 1.
YA R,
FIG. 2.
Through Pj draw P1P3 equal to, parallel to, and in the same
direction as OP2. P3 has coordinates (fl?1 + a?2, yi + y2), and is
therefore the point z^-{-z2. In vectorial notation
OP = 3 = O?! + OP2 = OP2
Subtraction. Since 0X — 02 = zl + ( — «2), a subtraction can always
be treated as an addition. Thus, if P3 (Fig. 2) is the point %
and so on.
Fio. 3.
where K = 0, 1, 2, . . . , q — 1.
6 FUNCTIONS OF A COMPLEX VARIABLE [OH. i
/ Example. Shew that the nth roots of any number can be represented by
n equidistant points on a circle with centre at the origin.
EXAMPLES I.
1. Shew that the straight line joining the points zl and z2 is divided in
the ratio m : n at the point (mz2 + nz-^l(m + ri).
2. Prove that the centroid of the triangle whose vertices are zlt z2, and
z3is(z1 + z2+z3)/3.
N/ 3. Prove that the modulus of the quotient of two conjugate numbers
is unity.
4. Prove that amp z - amp ( - z) = ± TT according as amp z is positive or
negative.
v/5. If | z1 1 = jz2 1, and amp21 + amp^2 = 0, shew that zl and z2 are conjugate
numbers. v
9. Shew that, if amp | p ~ zv(zi ~ ZV j-= TT, then z3 and z4 are on opposite
sides of the straight line joining % and z2, and zlt z2, z3, 24, are coney clic.
10. Let A, B, C, and D be the points zlt z2, z3, and «4. Shew that, if
z^z2 + 2324 = 0 and z1 + z2 = 0, then A, B, C, and D are coney clic and the triangles
AOC and DOA are similar.
11. If AC : CB : : - AD : DB, and if A, B, C, D are the points zl5 z2, z3, z4,
shew that A, B, C, an d D are coney clic, and prove (zl + z2) (z3 + z4) = 2 (z^z2 + z324) :
also prove triangles AOC and DOA similar, where O is the mid-point of AB.
12. Prove that the two triangles whose vertices are the points al, a2) a3y
and blt 62, 53, respectively, are directly similar =0.if and only if
CHAPTEE II.
FUNCTIONS OF A COMPLEX VAEIABLE.
'P i
FIG. 4.
let P (Fig. 5) be the point z and P' the inverse of P with regard
to the circle [0| = 1. Then the modulus of P' is l/\z\ and its
amplitude amp z. Again, let Q be the image of P' in the cc-axis ;
then the modulus of Q is 1/|0|, and its amplitude is —amp z.
Hence Q is the point w. It follows that the transformation is
equivalent to an inversion in the circle of unit radius with the
origin as centre, followed by a reflection in the #-axis.
(bc — ad)/c2 a
A LU - plane
plane
FIG. 6.
it follows, as in cases (2) and (3), that ampw will regain its
initial value, and w will describe a closed curve which does not
surround the origin ; while, if z describes a closed curve within
which r of these points lie, amp w will be altered by 2r7r, and w
will pass round the origin r times.
(5) w = a(z-z1)/(z-zz).
Here amp w = amp a + amp (z — z^) — amp (z — %).
It follows that, if z describes the curve Cx (Fig. 10) or C2 in the
positive direction, amp w is increased or decreased by 2?r ; while,
w- plane
Q
FIG. 11.
FIG. 12.
Example 3. Let w = \/(l -z)(l +22), and let the value of w when z is at O
be + 1. Then if z describes the curve OPA_(Fig. 13), where A is the point 2,
shew that the value of w at A will be ~i«s/6.
The three zeros of w are 1, i, and —i. Let B, C, and D be the corre-
sponding points, and through C and D draw CL and DM parallel to OX.
Y
C
A X
M
FIG. 13.
Let the moduli and amplitudes of BP, CP, and DP be rlt r2, r3, and <£1} </>2,
<£3, respectively, where z_XBP = ^>1, ^LCP = ^>2, and ^MDP = <£3. Then
/ 1 \T« "2^. ^,,
It has still to be determined which of the two possible values +TT or -TT
is to be assigned to amp ( — 1). Now, when 2 is at O, <f>l = 7r, </>2 = — ?r/2, (/>3 = 7r/2 ;
so that <£1 + <£2 + <£3 = 7r. Hence, if amp(-l) = 7r, amp^=?r at O; while, if
amp(-l)=-7r, ampw = 0 at O; but 10= +1 when z is at O, so that the
latter value must be chosen. Therefore
FIG. 14.
VI
from +00 to 0, w passes along this curve from infinity below the u-axis to
the point M(w = l) in the direction indicated by the arrows. Hence the
initial and final values of amp?0 are equal, both being zero.
The total change in amp w as z passes round the complete circuit is there-
fore 2?r, and it follows that one and only one root of the equation lies in the
first quadrant.
Similarly it can be shewn that only one root lies in each of the other
quadrants.
Again, let z describe the contour OABCO (Fig. 16), where A and C are
the points 1 and 2', and ABC is a quadrant of the circle |«| = 1.
18 FUNCTIONS OF A COMPLEX VARIABLE
FIG. 17.
the arrows indicating the variation of the point (£, rj) as t increases from
— oo to + oc .
Now, when £ = 0, £ = 3 and 77 = 0, so that amp(£ + ir/) = 0 ; also, when t = ly
£=—8 and ?7 = 4, so that amp (£ + 117) = 6, where 0 is the angle in the
second quadrant for which tan# = —1/2. Hence the change in arupw due
to the description by z of the quadrant ABC is
7r+(9=27r-tan--1(l/2).
Finally, at points on OC, u=y* + l and y= -y3, so that w lies on the
curve LMN (Fig. 15). When y = ltwia at the point K(?0 = 2 — i), and
amp w— — tan-1(l/2) ; •
while, when y = 0, w is at the point M(w = l) and arapw = 0: so that the
change of amplitude due to path CO is tan-1(l/2).
Hence the total change of amplitude due to the circuit is 2?r, and there-
fore the root which lies in the first quadrant lies within the unit circle.
19
§10] ROOTS OF EQUATIONS
Similarly it can be shewn that the root in the fourth quadrant lies within
the unit circle, while the other two roots lie outside it.
Again, it can be shewn that all the four roots lie inside the circle |s| = 2.
For, if z = 2(l+it)l(l-it),
FIG. IS.
to +TT, t varies from - oo to +00 , and therefore amp(f + ITJ) increases by 4?r»
Also amp{l/(l -it)*} increases by 4;r. Hence ampw increases by STT, and
therefore all the four roots lie inside the circle.
EXAMPLES II.
1. If w and z are connected by the bilinear transformation
and if the points u\ and ?/;2 correspond respectively to the points zl and z2,
shew that
3. If w = (az + b)l(cz + d), and if the points wlt w2, w3, and u\ correspond
respectively to zlt z2, z3, and 24, shew that
w1 - ?/;3 w2 - w4 z1
4. Shew that the constants in the transformation w = (az + b)/(cz + d) can
be so chosen that three arbitrary points wlt w^, and w3 correspond respectively
to three arbitrary points zlt z%, and z3.
5. Find the bilinear transformation which makes the points a, 6, and c
in the z-plane correspond respectively to the points 0, 1, QO in the w-plane.
z— a b—c
A ns. w = z—c
-- • Tb-a
- .
6. Find the bilinear transformation which makes the points 1, i, - 1 in
the 2-plane correspond respectively to the points 0, 1, oo in the w-plane.
Shew that the area of the circle z\=l is represented in the w-plane by the
half- plane above the real axis. ATIS. w= —i(z — !)/(* + 1).
7. Prove that the relation w = (l+iz)/(i+z) transforms the part of the
real axis between z=l and z= — 1 into a semi-circle connecting w=l and
w— — 1. Also find all the figures which, by successive applications of the
relation, can be obtained from the originally selected part of the #-axis.
8. Let w=*J(2 — 2z + &2'), and let z describe a circle of centre z = l + i and
radius \/2 in the positive direction. If z starts from O with the value \/2 of
u\ what are the values of w
(i) when z returns to O ;
(ii) when z crosses the ^/-axis ?
Ans. (i) - V2 ; (ii) V20 { cos (3:r/8 + A/2) + i sin (3;r/8 + A/2) } , where A is
the angle in the second quadrant for which tan A= -3.
9. Let w = N/(5 - 2z + 22), and let z describe a circle of centre 3 = 1 + 2*' and
radius 2 in the positive direction. If z starts from the point + 1 with the
value +2 of w, find the values of w at the first and second crossings of the
^-axis.
Ans. (i) \/2t/(20 + 8\/3){cos(7r/3 + a./2) + isin(Tr/3 + «./2)}, where a. is the
angle in the second quadrant for which tan a.= — 4 — \/3 ;
(ii) \/2^(20-8\/3){cos(27r/3 + ^/2) + isin (27r/3 + ^/2)}, where /3 is
the angle in the second quadrant for which tan (3= -4 + >/3.
10. If vP=z+l, shew that, when the point z describes the circle |«l=c,
each of the points w describes the Cassinian ?v*.2 = c, where rt and r2 are the
distances of w from the points +1 and - 1.
11. Shew that the equation 2^+2+ 1 = 0 has one root in each quadrant,
and that the root belonging to the first quadrant lies outside the circle ! z \ — 1
and inside the circle |z \ = 2.
12. Shew that the root of z* + z + l =0 belonging to the first quadrant lies
inside the square whose sides are ^ = 0, x—\, y = 0, and y = l.
13. Shew that the equation 24 + 4(l + i>+l = 0 has one root in each
quadrant.
n] EXAMPLES II 21
14. Shew that two of the roots of the equation z5-z + l6=0 have their
real parts positive, and three their real parts negative. Also shew that all
five roots lie outside the circle |^| = 1 and inside the circle |z| = 2.
15. Shew that the only root of z°+ 102—1=0 inside the circle z\ = l is
real and positive.
16. Prove that z^ + lOz- 1 = 0 has no root the modulus of which exceeds 2.
17. If w = {(2 + i)z + (3 + 4i) }/*, shew that :
(i) as (x, y) describes the circle x2+y^ = l positively, the point (u, v)
describes the circle (w-2)2 + (v-l)2 = 25 negatively ;
(ii) as (#, y) describes the circle sfi+y2 — 4.£ — Qy — 12=0 positively, the
point (u, v) describes the circle (i*-l/2)2-f (v-13/12)2=(25/12)2
negatively.
18. Apply the transformation w = l/z, (i) to the set of straight lines
through the point (a, 0), and (ii) to the set of circles with this point as
centre : and shew that the set (i) is transformed into a set of coaxal circles
through the points w=0, w = l/«, while the set (ii) is transformed into a set
of coaxal circles, of which these two points are the limiting points.
[CH. Ill
CHAPTER III.
HOLOMOKPHIC FUNCTIONS.
X
FIG. 19.
quantity 77 can be found such that, so long as z remains inside the circle C
in the 2-plane of centre zl and radius 77, the corresponding point f(z) in the
w-plane will remain inside y.
The limit L is clearly independent of the path by which z
approaches zr
The limit L has not necessarily the same value as /(^) : for,
consistently with the definitions of § 7, any arbitrary value can be
assigned to the function at the point zr
Limit at Infinity. If, corresponding to any positive quantity
e, however small, a positive number N can be found such that
§§ 11, 12] LIMITS AND CONTINUITY 23
Thus J{(u>-u1yt+(v-vl)*\<e',
so that |u — u^ |< e, |v — vl |< e.
Hence u and v are continuous functions at z — zv
13. Uniform Continuity. A function f(z) is said to be
Uniformly Continuous in a given region, if, corresponding to
any e, an 17 can be found such that, for every point zl in the
region, \f(z) — f(zj |< e, when \z — %]<»;; i.e. if /(0) tends
uniformly to /(%) in the region.
THEOREM. If f(z) is continuous in a given region, it is uni-
formly continuous in that region.
The proof of this theorem depends on the following Lemma :
Lemma. If \f(z) -/K) |< e for \z-zl\<rj, then
l/<X>-M)l<2e for |*-*2|<J*
where 02 ^8 any point interior to the circle \z — zl = | y.
13] 25
UNIFORM CONTINUITY
Fir,. 20.
•~\
{u(x, y + Ay)-u(x, y)}
r-\
where a |< e, |/3 |< e, provided |Aa5 1< 17, | Ay |< jy.
Hence Ait =
ox
where a and ft tend uniformly to zero with AOJ and Ay at all
'points in the given region.
14. Differentiation. The Derivative of any function f(z\
obtained by applying a finite number of the algebraical operations
considered in §§ 4, 5, and 6 to z in succession, is
Example 1. Prove -^- =M2li~1, (i) for « a positive integer, and (ii) for n a
negative integer.
Hence
dz qf9-i q q
where the same value of zl/<Jt is taken on both sides of the equation.
or _ -_
_ +1 -cto J__0
%7~
and this is equivalent to the two equations
'du'dv ?>u cw
28 FUNCTIONS OF A COMPLEX VARIABLE [CH. nr
Ax + i Ay
where a, /3, a', /3', tend uniformly to zero with Ax and Ay. Thus
div r . Aw
-T-=Lim-: — = — ,
dz A2_>0 Az -, , .ay
J- |™ t/ 7
eta;
Hence the necessary and sufficient condition that -^-. should be
7 3
CtlJ
independent of -r- is
'du . *dv _ 1 /du
/ A • ' ^W
= (cos 6 — i sm 6) ^—
Oi •
Example 2. Shew that logr + i'# is holomorphic unless r=0, and find its
derivative. A ns. (cos 6 - i sin Q)/r.
Note. From the definition of a derivative the rules for
differentiating products and quotients follow as in the case of
the real variable.
*The words Regular and Analytic are used by some writers instead of Holo-
morphic. The sense in which we shall use the word Analytic will be explained
in Chapter XII. § 82.
30 FUNCTIONS OF A COMPLEX VARIABLE [CH. nr
FIG. 21.
then, since dw
-y— —I I dz
-, -, it is a holomorphic function, of w at all
,. , . . mi. p
gradients — (— ~) and — ( - — / — ) is — 1. The systems of
\dxj?iy/ \dxjcyy
curves obtained by varying the constants cx and c2 are called
Orthogonal Systems.
Example. Picture on a diagram the orthogonal systems given by
Again, since
i sin y) x ex' (cos y' + i sin y')
dz
Periodicity. Since cos y and sin y have the period 2?r, exp (z)
has the period Ziir : i.e.
ez+2kin = gz(cos 2/C7T + i sin 2/c?r) = ez,
where k is any integer.
Zeros and Infinities. Since ez —ex, ez can only have zero
and infinite values when ex is zero or infinite. But ex is only
zero when x ~ — oo , and only infinite when x = + oo . The
Exponential Function is therefore finite and non-zero if x is
finite.
Example. Shew that every period of exp (z) must be an integral multiple
of Ziir.
§§ io, 17] CIRCULAR FUNCTIONS 33
COS2 = 77*—
, Sin 5 = =-:
2i\> ,
Derivative.
d*ogg = e-** arV ?K
j- (logr + ifl) = J
^.WV
Example. Shew that Logos') = log z + log / + 2fe'.
so that w = s~.
2i Log f, where f = —
\—%z Now Log f is uniform if a
where in is an integer.
It follows that 2, and that
d 1 L,
«,
19. The Transformation w = Log z. Since u = log r, to circles
—run^tt.int in the 0-plane correspond lines u = constant in the
z - plane
k,
v> k.
,
v=a
V—TT
^
0
Flo. 22.
//•-l»lane: the circles C0, Cj, C.2, ... , C.lf C_2, ... (Fig. 22) of radii
'
1 '. ' , ,..,6"^, e"a, ... correspond to the equi-distantU lines
L0, Lj, L.2, ... , L_j, L_2, ...,
equations are ^6 = 0, 1, 2, ... , — 1, —2, ....
v'
36 FUNCTIONS OF A COMPLEX VARIABLE [OH. m
Example 1. Prove -i-=nzn-1 for all values of n, where the same value
of zn is taken on both sides of the equation.
Example 2. Shew that, for all finite values of rx,
; >
Lira (\1
2_>oo Lim e* l<* <1+a'2> = e«.
+ -Z JY = z_>.x
See also Examples III. 13, 14, 15.
FIG. '23.
EXAMPLES III.
1. Shew that l/{(z — a)(z — b)(z — c)} is holomorphic except at «, &, and c.
2. Shew that the following functions are holomorphic, and find their
derivatives :
14. Shew that znzn = z"+n' for all values of n and ri, where suitable
branches of the functions are taken.
16. If w={(z-c)/(z + c)}2, where c is real and positive, find the 'areas of
the 2-plane of which the upper half of the w-plane is the conformal
representation.
Ans. (i) The lower half of the circle \z =c ; (ii) that part of the plane
above the #-axis which is exterior to the circle |z \ = c.
17. If 10= -iccot(zf2\ shew that the infinite rectangle bounded by #=0,
# = TT, #=0, # = 00, on the 2-plane is conformally represented on a quarter of
the w-plane.
18. Shew that infinity is a simple zero of (az2 + bz + c)/(lz3 + mz2+nz+p).
19. Shew that the ratio of two polynomials is a meromorphic function.
20. Shew that sees, cosec?, taii£, and cot?; are meromorphic in the
finite part of the plane.
21. If w = sin-12, shew that w = /nr:Fi Log {1^ + ^(1 -z2)} according as the
integer k is even or odd, a cross-cut being taken along the real axis from
1 to oo and from - x to -1 to ensure that Log{?^-f x/(l -z2)\ should be
uniform.
23. Shew that all the values of il are given by g-O^+iJ*, where /• is any
integer.
24. If w=\jz, shew that the curves it = clt v = ct, are orthogonal circles
which pass through the origin, and have their centres on the ?/-axis and
^r-axis respectively.
[CH. IV
CHAPTER IV.
INTEGRATION.
FIG. 24.
functions f{x, ^(x)}, f{x, <j>2(x)}, f{x, </>B(x)}, ..., are uniform
continuous functions of x on the arcs AL, LM, MN, ... , respec-
tively, and the integrals
Cn
Cm
fl
f{x, ^(x)} dx,
a f{x, </>2(x)} dx,
JI J m f{x, </>B(x)} dx, . . . ,
where a, I, in, ... t b, are the abscissae of A, L, M, . . . , B, are
ordinary definite integrals. They are the Curvilinear Integrals
\ f(x, y)dx.
Similarly, by dividing CJc into segments in each of which x is
a uniform function of y, we can define the curvilinear integral
I \lr(x, y) dy. By combining these a third type of curvilinear
is obtained.
44 FUNCTIONS OF A COMPLEX VARIABLE [CH. iv
For
.V X0X
Fio. 25.
-fJ AQB
P(x,y)dx, J\APB
P(x,y)dx;
~ JJ ^ dX dy = J c P (X' y) dX)
the integral being taken round C in the positive direction.
o
FIG. 26.
f((-^ay + !Q)<fo%=(
JJV ox/ (Pdx + Qdy)+\JABPA
JAQBA (Pdx + Qdy)
= { (Pdx + Qdy),.
since the sum of the integrals along AB and BA is zero.
Jc
Thus the theorem can be shewn to hold for all simply-connected
regions bounded by closed curves.
COROLLARY. The area of the region enclosed by C is given by
any of the three integrals
FIG. 27.
=\
connected by drawing a line LM from C to C'. Hence
+ Qdy),
J
G J C'
D
wlrere C is a closed curve.
, I
FIG. 28.
FIG. 29.
Let zlt zz, ..., zn, be n points taken in order on this line, where
zn is z, and let fx, f2, ..., fn be arbitrary points on the segments
SUm
§26] DEFINITE INTEGRALS 49
where £• = £•
Now if the law of division of the curve ACB varies so that
n tends to infinity and the greatest of the segments tends to
zero, this latter expression tends to the limit (§ 24),
JIACB
(u dx — v dy) + iJ\ACB
(vdx + udy),
or I (u+iv)(dx + idy).
JACB
This limiting value of Sn is called the integral of the function
f(z) taken along the curve ACB, and is written
JACB
COROLLARY 1. From the theory of limits it follows that,
corresponding to any e, an n can be found such that
= JACB
f A(z)dz+ JACB
[ /•(«)(&+...+[JACB
f«(z)dz.
COROLLARY 5. I kf(z)dz=1c\JACB
JACB f(z)dz, where A: is a constant.
For f(z)dz = J
J ACB I(u dx — v dy) -f- i J\(vdx + u dy)
Therefore
«
Now the integrands are complete differentials; therefore the
integrals are the limits of the sum of the increments of U(#, y)
U
K3
§§ 26, 27] CAUCHY'S INTEGRAL THEOREM 51
and V(aj, y) obtained in going along ACB from (oj0, y0) to (a;, y).
Hence
^Example. I -7= - J ^C=l> provided that the path in the z-plane does
not go through the origin.
The following
Theorem : important theorems are corollaries of Cauchy's
2-0 A
FIG. 30.
joining the points z0 and z lie entirely within the region. Then
ABC
Jf(z ) dz + JI CDAf(z) dz = 0\
so that f(z) dz
JABC = JADC
\ f(z) dz.
The integral is therefore independent of the path, so long as
the path lies entirely within the region.
THEOREM 2. Under the conditions of Theorem 1,F (z) = \ f(z)dz
is a holomorphic function of z.
Let the increment AF(0) of F(0) correspond to the increment
A0 of z ; then
fz+Az fz fz+Az
AF(«) = /(*) dz -
J ZG
f(z) dz =
J ZQ ^ s
/(f) df
|*z+Az fz+Az
z
Therefore +A
Iz
<€.
§ 27] CAUCHY'S INTEGRAL THEOREM 53
Hence F(z) has a definite derivative f(z) ; it is therefore
holomorphic throughout the region.
From this theorem the method of Partial Integration can be
derived exactly as for the real variable.
As in the theory of integrals of real functions, we say that a
f f(z) dz + JLM
Jc f f(z) dz - Jc'
\ f(z) dz + JML
[ f(z) dz = 0.
But JfML
/(«)<&= -fJ LM fa)dt.
Gz-a
28. Cauchy's Theorem : Alternative Proof .* The following
proof of Cauchy's Theorem does not depend on Green's Theorem.
The proof will be taken in three parts : firstly, for C a
triangle ; secondly, for C an arbitrary polygon ; and, lastly, for
C any closed curve.
(1) Let C be a triangle A (ABC in Fig. 31), and let the mid-
points D,E, and F of the sides be joined, so that the triangle is
divided into four congruent triangles A', A", A7", Aiv.
D
FIG. 81.
- JA
[ /(*)<fo=fJA'
/(*)<**+[JA"
f(z)dz+\ JA'"
f(z)dz+\ JAlv f(z)dz;
so that z)az
Jf
f(z)dz
There must therefore be at least one of these smaller triangles
— we denote it by Ax — such that
dz
f(z) Vol. I.
Cf. Knopp, Funktionentheorie,
27, 28] CAUCHY'S INTEGRAL THEOREM 55
[f(z)dz ^4
J A! \f(z)d
J A2
and therefore J A
z )dz
Proceeding thus, we\f(obtain a sequence of similar triangles
A, A!, A2, ..., each contained by the preceding one, and such that
i-An, and
\f(z)dz ^4« J
As n tends to infinity, the triangle An shrinks to a point, f say,
which lies within every one of the triangles A, Ax, A2, —
Now, corresponding to any e, an y can be found such that
|X |< c if z — f | < >7, where
f f(z)dz= JA
JA \ f(Qdz+ JAf f
f(z)dz=\
J An J A,, \(z-£)dz.
r
— .}( ^j , where s is the perimete of A.
e / -s1 \'2
Hence
JA
Therefore
f f(z)dz = 0.
56 FUNCTIONS OF A COMPLEX VARIABLE [CH. iv
(2) If C (Fig. 32) is a quadrilateral, it can be divided into two
triangles A and A' by a diagonal which lies within it ; then
f f(z)dz=\JA
Jc f(z)dz+\JA' f(z)dz = 0.
Similarly, if C is any polygon, it can be divided into triangles
FIG. 32.
by diagonals lying within it, and, since the integrals along these
Jc
diagonals cancel each other, I f(z) dz = 0.
(3) Let C be any closed curve ; then, as in § 26,
<• n
Now let f(z) =f(zr) 4- r]r f or points z on the straight line joining
zr-i and zr, and let the law of division of C vary so that, for
r=l, 2, 3, ..., n, |^r|<e/(2L), where L is the length of C,
and also
Therefore 11
Hence
Jo"
§§ 28, 29] C^JCHY'S RESIDUE THEOREM 57
29. Cauchy's Residue Theorem. If the point a is the only
• singularity of f(z) contained in a closed contour C, and if
V
has a value, that value is called the Residue of f(z) at a.
From Theorem 3, §27, it follows that, if 0 encloses several
singularities, the sum of the residues at these points is
i (• f(Z) _ i r /(a) i r
X
c
residue of f(z) at a is A.
58 FUNCTIONS OF A COMPLEX VARIABLE [OH. iv
Integrate f(z) = e*z/(z* + a2) round the contour (Fig. 33) consisting of :
(1) the A'-axis from — R to R, where R is large ;
(2) that half of the circle ] z \= R which lies above the #-axis.
O R X
Fio. 33.
The only pole of f(z) within the contour is ia, at which the residue is
Li m \(z-ia
z-^ia\ P
Hence / /(.,-)
But
e~a
TrR 55"
^c1
Hence the integral along the semi-circle tends to zero aa R tends to
infinity.
Therefore
so that
Jof" x*-°S>Y
+ a*dx- v*~*
2a '
60 FUNCTIONS OF A COMPLEX VARIABLE [CH. iv
THEOREM 1. Let AB (Fig. 34) be that arc of the circle z\ = E
for which 0^0^ 02, where 0 = amp3; and let zf(z), as R tends
FIG. 34.
= \9\dO
<e(02-01).
Hence Lim
R-><» J^AB
f(z) dz = i(00 — 0,)K
r:
§ 30] WORKED EXAMPLES 61
But the poles above the #-axis are aeln/* and ael37r/4.
Hence / -^-.-^.
2R2
TrR
JR 2 ri
so that >'or^sil
^24
O R X
Fin. ;;;..
and / «~x2cos2asin(.r2sin2a.)o?^=-^sina..
Jo 2i
If a.=7T/4, these integrals become the Fresnel Integrals
r 2
I cos SV* d\v ~^ Jo
Jo
r
\ sin •'?'*"' ct-& == ^^4~A «
~
R
"It
Integrate f(z) = eaz/(I+ez) round Y,the contour (Fig. 36) consisting of the
1 _
-R
27TZ
O
Fie . 36.
.r-axis and the lines x— ± R, y = 27r. The only pole within the contour is TTZ,
at which the residue is - ea7ri.
§ 30] CONTOUR INTEGRALS 63
Hence
Therefore
l+y sm «TT
?)
er
R,(
R(a
wh
is
rational in x.
Prove f'iiEf^^f.
Jo # 2
Integrate f(z) = eiz/z round the contour (Fig. 37) consisting of
(1) the ,^-axis from r to E, where r is small and R large
(2) the upper half of the circle |z \= R ;
(3) the .r-axis from — R to — r ;
(4) the upper half of the circle \z\ = r.
-R
R X
FIG. 37
™ede
•=f<
Let I be the integral duetto (2) ; then
iRcosfl— E sinfl n i
Hence
Therefore Lim I = Q.
R-»°o
Again, Lim2/(2)=l, so that (Theorem II.) the integral along (4) tends to
— ITT as r tends to zero.
FIG. 38.
Within this contour f(z) is uniform. Consider that branch for which
amp 2=0 on (1).
Since p >0, Lini2/(2)
*-*o = 0 : hence the value of the integral along (4) tends
to zero as r tends to zero.
Again, when \z = R, 2/(2)|^Rp/(R— 1) : therefore, since jo<l, the
integral along (2) tends to zero as R tends to infinity.
At the point — 1 amp 2 = 77: hence the residue at this point is eCf--*)**.
Also on (3) amp ,s = 27r. Therefore K
P-1
ttf
*«ftr
cfe
„„ 1 -\-x
Hence Jo \+x
f^^^' sinpTr .
The substitution x = ey transforms this integral into
l
B-
r^
Lim
e->0 {Ua
ff(x)dx + Jc+e
i f(x)dx\J
i
~
a
x
r
Example 12. Integrate eibzl(r-\-iz)a, where 0< « < 1, r >0, b >0, round
O R X
FIG. 40.
r;
the contour of Fig. 41, where it is assumed that amp (r+ iz) is zero at points
on the i/-axis between 0 and ir ; and thus prove
-« 4»* 27T ,„_,_, r
o
PIG 41.
If r= 1, .r = tan ^, deduce
where n1, a.,, a:i, ... are the zeros of 0(0) writhin C of orders
ri» r2' rs»-" respectively, and 61? 62, 63,... are the poles of <j>(z)
within C of orders sp *.,, ,s.,, ... respectively.
68 FUNCTIONS OF A COMPLEX VARIABLE [CH. rv
so that
<p(z) z-a,
The residue of the integrand at ax is therefore
OOBOLLABY 2.
JExample. Integration under the Integral Sign. Shew that, if C' and
C' lie in A and A' respectively,
Jcf
( Jc i f(z,t)d{dz.
ff(z,C)dzd{=[ Jc Jcf
Let {"0 and f be the lower and upper extremities of C'; then/ / f(z,t)d£dz
is holomorphic in £, ;ind J° ^c'
70 FUNCTIONS OF A COMPLEX VARIABLE [OH. iv
EXAMPLES IV.
1. Prove / — = log — , a cross-cut being taken along the negative real
axis. J* z zo
2. Under the same restriction as in the previous example, prove
where n may have any value except — 1, and the same branch of zn is taken
on both sides of the equation.
7. Shew that >\% residues of ezi/(z2 + a'2) and zezi/(z2 + a2) at ai are e~a/2ai
and e~a/2 respectively.
8. Shew that the sum of the residues of any rational function is zero.
9. If /(,)= A_ + _^* + ... + ,-f " , shew that the residue of f(z)l(z-x)
at a is —/(.'•)•
]
10. If /"(2) = 2Ar/(2-a)r + <£(2), wheren ^(2) is holomorphic near a, shew
that the residue of /(«)/(*-*) at a is -2 Ar/(^-a)r.
11. Shew that, if m and n are positive integers, and m<.n,
M
12. Integrate zeimz/(z4 + a4), where m and a are positive, round the contour
of Fig. 33, and shew that
ma
• = ^<f^sin"!-.
IQ
13. T>^^,
Prove r°CQ&ma; , JT
/ _ ^6;= - ^e• V2sm(—
§ . /7«a + TT\
T •
Jo ^4+«4 2«3 V/2 4/
14. Integrate eiz/(z-ai), where «>0, over the contour of Fig. 33, and
shew that {+* a COB x + x sin x ,
J-a, .C2 + (l2
(L:
15. By integrating eizl(z + ai\ where a>0, prove
—acoBx+xmnx 7
sin (*¥£*)
fo l—x+x* tJ3 sin^ra
[Integrate — - — - round the contour of Fig. 37, and equate real and
imaginary parts.]
and
[Integrate s"-^-2 round the contour consisting of the positive .?>axis, the
line amp2=#, and part of an infinite circle.]
20. If «^0, prove
x.xl)--^
/"^(l-f.r^cosa^ , = TT _y?« a
e 2 COS2;
0 J. 1+
/;;\ r* ^s
[Integrate etez/(l'+2 + «2) round the contour of Fig. 33.]
21. Integrate e~z~ round the rectangle of sides y = 0, 2/ = £, x= ±E, and
show that /•+» /•+»
/ e-(-+w>2 ^ ^ e -W.r «= N/TT.
J-X J-OD
Deduce:
22. Integrate eizl(z + a\ where «>0, round the square whose sides are
,r = 0, # = B, y=0, ^ = R, and shew that :
ii) r»££<fe=rj^i(fa.
Jo ^ + « Jo l + ,r-'
rv] EXAMPLES IV 73
Jo /o
' (ii) [%-* sin 2&r dx = e - 6'2/*
24. Integrate enz/cosh TTZ round the rectangle of sides .r= ±K, v/ = 0, y =
and shew that
— er dx7 = -1 sec •=a , wne re —
r cosh
coshw.r 2 2'
f2«r ^Q-a-bi J/}= 27TI, if 6 > 0,
25. Prove Jo
cot—
2 c7^
= - 2?ri,.' if
... 67 < 0.'
r2ir
[Integrate (i) zft~leibz/(z2 + r^) round the contour of Fig. 37, and
(ii) za~leibz/(zz-r2) round this contour indented at r and -r.]
30. If -l<a<l, prove
[Integrate J.A '", ^ ~ , '—* round the contour of Fig. 37, and put
-1
[Integrate -^ — -_ a
^-r round the contour of Fie:. 37.1
2(logZ- ITT/2)
r^Mdv- R
of the integral of P(z)~Logz/Q,(z) taken round the contour of Fig. 38, prove
Deduce
iv] EXAMPLES IV 75
47.
= <fo=f4 .
By integrating ez'22/s round a suitable contour, shew that
x
Deduce /
Jo
—^ dx**^*
2
•V/# - ° *JX
rcos.g . _ /""sin x
49. If 0 < «. < 7T/2, shew that
/"-t-00 t&n~lxdx TTOL
'
Jo ^ -\'f'''=T
[CH. V
CHAPTER V.
m m
Therefore, if "2f |wn |< c, "z" |log (1 + w«) |< Ce ;
so that the series Zlog(l +wn) is absolutely convergent.
FIG. 42.
so that 8
ri3<^3\r2+22+3*+<
and therefore the series is convergent.
00
infinity, the sum 2i cnZn converges at all points of the unit circle
except possibly at z= 1.
For, consider the series
qcos 0 + c2cos 20+c8cos 30+ . .. , 0 < 0 < ZTT.
Let Smi_p=
m+l
and let sr = c
so that cos
cos (m + 2) 0 = «2 — sl ,
Now sr = sin(ir0)cos {
so that -I/sin J0^sr^ I/sin J0 . (r = l, 2, 3, ...).
§ 38] POWER SERIES 81
Sm, p= ^ m+1 ~~
nnrl Q > m+l
^•^-sinp'
But, by making in large enough, cm+1 can be made arbitrarily
small. Therefore, since 0 < W < TT, the series is convergent.
Similarly, since
converges if 0<$<27r.
This theorem can be illustrated as follows :
If amp z =^= TITT (n integral), the terms of the series can be
(a)
(b)
O A2 A3A, X
FIG. O
43(o)(6)(c).A, A2A3>X
represented by OA1? AjA.,, A2A3, ..., {Fig. 43 (a)}, where each line
makes the same angle amp z with the preceding one. These lines
M.F. F
82 FUNCTIONS OF A COMPLEX VARIABLE [OH. v
o and
2^w o
240"
are convergent within the circle |z = R, their product
coc'o + (coc'i + cic/o> + (coc/2 + cic'i + C2c/o)^2 + - • •
is also convergent within that circle (cf. §36).
n\
Now, since |f — 0 ^R — r for all points f on C, it follows
(§ 26, Cor. 7) that
M
where M is the maximum value of |/(f ) | on C. But this quantity
can be made arbitrarily small by increasing n : hence
§§ 38, 39] TAYLOR'S SERIES 83
Now, since w = sin ITZ = sin TTX cosh Try + i cos TTX sinh Try,
as x increases from 0 to 1, (#>0), w passes round the curve PQR (Fig. 44),
FIG. 44.
from P(i sinh Try} when ^ = 0 to Q(cosh Try) when # = 1/2, and to R( - i sinh Try)
when x = \ : hence amp (sin TTZ) decreases by TT, so that
log (sin Triy) — log {sin(7r + Triy)} = TTI.
Again si
Therefore
FIG. 45.
J_f ./Cf)
Wc^
l-r/R2VR2/ ,n+l
^r/Rj-1 \r
But these two quantities can each be made as small as we
please by increasing n ; hence
where
A -- -
1. Since
and
^Ap(z
o— a)p and ^A_P(3
i — d)~p respectively.
Then /(£)•••$(*; a)+\fs(z', a\ where 0(0; a) is holomorphic
within the circle |0 — a| = R2, and \K0; a) outside the circle
|0-a| = Rr
Principal Part at a Pole. If the only singularity within
|z — a — Rx n is at a, Rj can be made arbitrarily small. Then if
Example 2. If |z \> 1 , and the principal value of tan"1 z is taken, shew that
according as
Now let the function f(z) have the period 2&>, and let £=einz/<a.
To each value of f corresponds an infinite number of values of
z, differing by multiples of 2o>. Therefore to each value of f
corresponds one and only one value of f(z), so that f(z) is a
uniform function of f.
Let A (Fig. 46) be the point 2&>, and let R denote an infinite
region of the z-plane, bounded by two lines parallel to OA,
FIG. 46.
if'-* * '
Hence, by Laurent's Theorem,
+ 00 +00
where A, =
EXAMPLES V.
1. Shew that the series :
holds for all points within the circle |s| = l, that branch of (l + z)n being
taken which has the value unity when z = 0.
8. If the function /(*) has an essential singularity at a, shew that l/f(z)
has also an essential singularity at a.
9. Shew that the series
11. Prove
l-coss 1 /.-XT- s -sin 2 1
is convergent if |s|<l and also if |s|>l, and that the respective sums are
*/(!-*) and !/(!-*).
16. Shew that the series 2 q^e?™" converges for all finite values of z
v] EXAMPLES V 91
17. Shew that, with the notation of § 37, the series
2! 3 !
is convergent if |z \< 1/4.
21. If a > 0, shew that
[Integrate (**'- 1 -i2 + ^2/2)/{23(a3 + 22)} round the contour of Fig. 33.]
rtrt
22. -TV
Prove // cos .^2 + sin o^—l 7
Joo x
[Integrate (e**- l)/z2 round the contour consisting of the positive x and y
axes and a quadrant of an infinite circle.]
23. If a and b are positive, prove
30
fa
[CH. VI
CHAPTER VI.
UNIFORMLY CONVERGENT SERIES: INFINITE
PRODUCTS.
GO
n
>n(z) is uniformly convergent in the region A.
THEOREM I. If Wi(z), w2(z), w3(0), ..., are continuous in A,
CO
z) - Sn(z) |
CO
f
= IJo .
f {S(z)-$n(z)}d
<el.
where £ is the length of C.
COROLLARY. If the initial and final points of C are ZQ and 0,
^
wn(z)(z-
wliere cZ is the shortest distance from f to C, and 7c + 1 >0. Thus
94 FUNCTIONS OF A COMPLEX VARIABLE [CH. vi
In particular, if fc
FIG. 47.
Example. If the terms of the series S(z) = ^wn(z) are holomorphic in the
region contained by a closed contour C, and if the series converges uniformly
on C, prove that 8(2) is holomorphic within C.
Weierstrass's M Test. Si
The series 2jWn(z) will be absolutely
avnd uniformly convergent in the region A, provided that a con-
§§43,44] WEIERSTRASS'S M TEST 95
CO
Therefore, if z — a =R1?
cn+l(z-a)n+1 + cn+2(z-a)n+2+...+en+p(z-a)
2
COROLLARY 2. 00
If f(z) is holomorphic and has the Laurent
— 00
which converge in the region Rx < |2; — a \<^ R2 , and let the
coefficients cn, (n = 0, ±1, ±2, ...) be unknown. Then if
</>(z)=f(z) for all points of tliis region,
cn = Anj (n = 0, ±1, ±2, ...)• '
§§>4, 45] UNDETERMINED COEFFICIENTS 97
z2 z3
2j + 31
Hence, equating coefficients, we obtain the equations
1
(1
"'-2;2l + 3! = 0'
Example 1. Prove
6™
FKJ. 48.
and the closed contour y consisting of small circles about —1 and 1, and the
real axis between these circles. There are simple poles at +i and - i.
At z = i, amp(z-l) = 37r/4 and amp(z + l) = 7r/4 : therefore
§§ 45, 46] LEGENDRE POLYNOMIALS 99
where the integrals along C and y are taken in the directions indicated by
the arrows.
But (§ 44, Corollary 2, Example 2)
\r c^-U W rT .
46. Legendre Polynomials. Consider that branch of
ii^
FIG. 49.
pjo-*V _
ds cos
§46] LEGENDRE POLYNOMIALS AS INTEGRALS 101
where z = + \/ 2 — 1 cos (
pn(f) =
while, for points to the left of the imaginary axis,
PB(£)=M - _<**
put 1/2 for 2 : ~then
2S
by the contour of Fig. 49, the arc AB of the unit circle is taken
instead of the straight line AB, we obtain
~7r
Thus, if z = J
•TT J_0N/(2cos0-2cos0)
2 f« cos(
_ 2_ f
7rJoV(2cos0-2cos#)
A
then
In this equation let 0 and <f> be replaced by IT — 0 and TT — 0 ;
Example 1. Prove
"1
But
~^
(l-£)2 2
103
, 47] EXPANSION OF cotz
1.1 1.2.1.2 4
ABCDA
where sdz
j'-lJAB oofesv cot I.,= |
(^sdv,
^"-^- JBC
104 FUNCTIONS OF A COMPLEX VARIABLE [CH. vi
On AB, z = x + ib ; therefore
cot z \ =
Hence 11, 1;
LH = l_e-26 »/I _ co t^
3.2 4.|^ C' / — T_
7)2 _ r2 JL ^^ C/
p-2i> v/
~rp/iw -^ /T1^o w
Therefore Lim^^O.
Again, on BC, 0= — (71 + 1/2)^ + ^, so that
cot 01 = 1— tanZridy
Hence I
w
f&
ABCDA
\>
ing moduli, provided that, for some integer n, the series 2 1/<V1'
is absolutely convergent. 00
a u i t r b b Q
n,
Accordingly, the series r^jWr(z)
= l represents a function of the
re<[uired type in this region. But R can always ' chosen so
P+I be
large that any assigned point lies in the region : hence the series
represents a function of the required type.
COROLLARY 1. If f(z) and 0(0) are two functions with simple
poles of residue unity at alt a2, a3, ... , f(z)-~ <p(z) is holomorphic
at all finite points, and is therefore an integral function. Hence
any function of this tyjfe-ei^be put in the form
•i
the limit P.
If P is zero, the product is defined to be divergent.
2>,-sel — (
Hence IIew»
i converges to es.
Unconditional Convergence. If the series 2wn is absolutely
convergent its value is independent of the order of summation
of the terms, and therefore the value of the infinite product
II'-"'" is independent of the order of the factors. When this is
the case the infinite product is said to be Unconditionally
'•ergent.
K.i'mnple. Shew that, if the series £w,, is absolutely convergent, the
product 11(1i + wtl) is unconditionally convergent. 00
-• Example 3, § 36.]
\\:)=~dz~=:^Wn(Z)'
108 FUNCTIONS OF A COMPLEX VARIABLE [CH. vi
-n i§ absolutely convergent.
n1 l\|Yi -~<^r
is holomorphic in the circle, and has simple zeros at the points
^1 > ^2 »•*•'» ^P '
Now R can be chosen so large that the circle includes
any assigned point; hence the theorem holds for all finite
points.
Again, let f(z) be any function of the required type. Then
if (f>(z) denotes the infinite product above, f(z)l<p(z) will be an
integral function without zeros, and will therefore (§ 42) be
expressible in the form eG&, where G(0) is integral.
Accordingly, the most general function of the required type is
cot*-i=Z'(
0 _,. \z---
— mr + -).
inrj
Hence Jb\ z)
f(cots-i)<fe= _»
2? Jo \z-mr
['( -^— + mrj
— } dz -9
Iog!in£
2 =£{
-oo Ilog(l--
\ l) + J-).
ttTT/ ttirj
Note. "VVe cannot put nn*«*II'(l - z/mr) : for, since the series 2{l/(2 - WTT)}
is not convergent, the infinite product is not convergent.
EXAMPLES VI.
1. Shew that the series
1_1_J_4.1J_
z 1! 2 + 12! 2 + 2 1 8+3
3! !
3. If l.Kl, prove
5. . Prove that the residues of ez at the origin and at infinity are both zero.
6. Shew that, if A and B are the residues of el/zzn/(l + z) at z = 0 and z = oc :
(i)
^-TsCa—JaP—IP).
a + b cos
19 Integrate gl°g(l~?g) round the contour of Fig. 33, and shew that
(1 + 2z2)2
I x ai '9 .,^= I — -; ' ' =^^2 — 1).
" a sinh 2a
23.' Prove
2 1 20 22 2s
and deduce — - :=-
thesepoints. Am 1 Ig
27. Prove 7T
(294-l)7rJ
112 FUNCTIONS OF A COMPLEX VARIABLE [CH. vi
29. Prove that, if \s\< 1,
(!+*)(!
30. Verify that :
CHAPTER VII.
Limff
R_>^ U0j
f(z)dz + a+e f(z) dz} = i(00 - 0J K - 2ieK ;
and
T 'f(z)dz = 2eM.
Ja-e
Hence Lim
*/(*)*].-<(4-4)K
Therefore
Lim f /(0)<7s = i(ft,-ei)K.
Hence
2
FIG. 52.
r ^}
J '
X' -1/2
^
FIG. 53.
Also, by the Lemma above, \zf(z)\ = 'M. at all points of \z |= BH. Hence
Lim
and therefore, as in ^ 47,
x=+ ~~
' •
where C is a contour enclosing the poles m, m-hl, ..., n, 01
cot TTZ, and no others^/^j^is meromorphic, and 2 denotes the sum
of the residues of TT o8E\ir$)f(z) at the poles of f(z) within C.
Similarly
-»
V«-«M*«-L
Va -«
£e-7TH2/«.
2«-*a«3=- I
,+c
Example 3. Gauss's Sum. Let SM= r=0 2 Tr, where Tr=«2irir«/H. Then
Tu_,.=Tr; so that SM=22n, where 2n stands for iTo + Ti + .-.+TV-i or
^•T0 + T1 + ... + TM_o+|TH
2 ¥
according as ?« is odd or even.
Now, 2,,-£ro or 2n-|T0-£T(l/2, -«as the case may be, is equal to the
integral of «*«*/»/(**»» -1) taken round the rectangle ABCD (Fig. 54) of
sides #=0, #=w/2, y= ±E, indented at O and n/2.
Yyl
D C
-«-
I 1
O
f /2 X
1
I !
A B
FIG. 54.
But *—
e2nizyndz I |-»A8 e-47rBx//' w
CD C2«8_l' <JQ *.
l_e-2irR^ C47^R'
and €2iriz2/n ^ T"/2 c4irR.r/»» /;
.'ABe'-7"'--! " J0 ^"-"-1 " 4-l{
so that both of these integrals vanish when Tl tends to infinity.
Again, when R tends to infinity, the sum of the integrals along the
straight parts of DA tends to
n'e-Zm^l n i+e-^iy
^^l -/"
FSi^
Kinally, the integrals along the small semi-circles at O and n/2 give -^T0.
and - .yr,i/2 or - .^T0 and 0, according as n is even or odd. Hence
118 FUNCTIONS OF A COMPLEX VARIABLE [CH. vn
Another Summation Formula
= is
^ f
-7T6 J
(z,w)-+(z,0) '
+(*, 0).
so that, by Theorem II., if w\^p, \f/(z, w) has one and only one
zero, f say, within jz = r.
Now, the integral
_ f.
-Trij
.
2-Trij \[r(z, w) 27ri Z — wf(z) '"
taken round j 5; = /, is a holomorphic function of it; (§ 34). But,
if w\^p, this integral has the value f (§ 31, Corollary 2).
Hence f is a holomorphic function of w for |^ | = /o.
COROLLARY. If F(z) is holomorphic for \z <^r, F(f) is a
F(f)
holomorphic function of w for |w = p, and
since \wf(z)/z\<^l,
if ?
2iriJ0 0
since all the integrals in the first series have the value zero,
(§26, Cor. 8).
In particular, if F(s) = 0,
and
Example. Shew that the root of 2(1+2)"* = ^?, which is zero when v; = 0,
is given by
.«. ,# i , .
"2T 3! 41
2
is absolutely convergent if \w = pl. Accordingly, by Weier-
strass's M Test, since
Now
where that branch of ,/(! — 2£w-}-w~) is taken which has the value
1 when w = 0 ; therefore
1+ W"P- « 46>
Hence, equating the coefficients of iun in the two expansions
for -^, we have Rodriguez' Formula,
S "
122 FUNCTIONS OF A COMPLEX VARIABLE [CH. vn
.'-i
= 0.
Example. If f(z) = ^llztl, over what region is/(0) holomorphic, and what
function gives its analytical continuation ? ^4?is. Outside |0| = 1; !/(« — 1).
§§ 54, 55] ANALYTICAL CONTINUATION 123
FIG. 55.
Lim = Lim
Thus the first derivatives of f(z) and <j>(z) are equal at all
points of L. Similarly all the other derivatives of f(z) and (j>(z)
can be shewn to be equal at all points of L; and therefore the
functions are equal at all points of E.
This theorem is particularly important, as it enables us to
extend theorems which have been proved for the real variable
to complex values of the variable. For example, let
and s = l:
theu, if we assume that the equation
sin'2# + cos2 a; = 1, or f(x) = <f>(x),
has been established for x real, it follows, since f(z) and 0(0) are
holomorphic for all finite values of z, that /(z) = 0(z) for all
finite values of z; i.e. that si
so that («
»P.fr)-,g-<L)-'*Pr'('>.
Cfo CT2 where |«K1.
But the functions on both sides of this equation are holomorphic for all
values of the variable ; therefore, for all values of z,
= 2c«/>onaj"
0 cos nO+i^Cnp^x"
0 sin nO,
where x = /o//o0. <»
Hence it is only necessary to prove that if the series s^
wnere O = cco87 or
is convergent, the function 2^anxn
0 will be continuous for O^x^l.
* Cf. Brninwich, Infinite X«-/Yx, § 83.
126 FUNCTIONS OF A COMPLEX VARIABLE [CH. vn
Now let rllt p = aH+l + an+2 + . . . -f an+lt .
Then for any particular value of n, finite quantities H and h
can be found such that H>rMf,,>/*, where p is any positive
integer. Hence
a.
tl p - rn p
-a^
if 0a;
FIG. f>(j.
Let A and P be the points - 1 and z respectively, and let the circle of
centre A and radius AP cut OX in E (Fig. 56). Let the integral be taken
along the path ORP : then
•rO]
region of Fig. 56, bounded by the circle \z\ = l indented at A. Accord-
ingly, ifP is the point z = eie, where -TT< #<TT,
2 J
^ UUS^f UU» t>l/
COS 0 r-
2 "I «3— -... = .
. sin 20 sin 3 0
«ui6 2"+~3~
^ = 0 in the first equation gives log 2= 1 - 1/2 + 1/3- ....
0-
128 FUNCTIONS OF A COMPLEX VARIABLE [CH. vn
Deduce
EXAMPLES VII.
1. Integrate -{- — ' -e~2J round the contour of Fig. 52, and shew that
2. Prove
3. P,ove
4. Prove ] -UU* ^
7. Shew that P/
Jo .r 2
Jo
, /*" sin era? dx _ TT sinh a .
.'o cos bx x(\ +,v2) 2 cosh b '
cos ax dx TT cosh a
(iv)P
.'o cos bxl+x* 2 cosh 6 '
""sin ca? .rc?^; TT sinh «
(v)P Jr> cos fejt; 1 +#2 2 cosh //
§56j EXAMPLES VII 129
9. If m > 0, prove
f*3 dx
I cos 4mx tanh x — = log (coth ?/ITT).
11. Prove
12. Shew that, if m is a positive integer, the root of z= £+ wzm+l which has
the value £ when w=0 is given by
+ 3) . . .
| ^2m + l , ^ , ... ^nm + l |
1, Prove
18. Prove
[InM.F.
Ex. 2, § 55, multiply by e$~~, and Iequate the coefficients of 2".]
130 FUNCTIONS OF A COMPLEX VARIABLE
r
= sin 0 log (2 cos - } - sin 0 + -5 (1 + cos 0).
=log2.
25. Prove Jn
'
561 If - 1/2 < m < 1/2, shew that
26.
f30 sinh2wi# , ,,
Jo x— sinn
^r —x dx = i log sec mir.
Deduce :
Graph the functions represented by these two series for all values of 0.
28. Shew that
7T/4,
_ if
.• sin
. /,0>0.
sin 30 sin 50
— H -- ~ °» ^ sin 0=0.
-7r/4, if sin0<0.
29. Shew that
!T /9
if _!r-< #<iT
4V 2=^ = 2'
vii] EXAMPLES VII 131
I tlt'sin^sin^O
consists of two orthogonal systems of straight lines dividing the (#, y) plane
into squares of area 7r2.
32. Shew that the equation
2 I— sin ttycosft#=0
represents the lines y=mir, (ra = 0, ±1, ±2, ...), together with a series of
arcs of ellipses whose axes are of lengths TT and 7r/\/3, placed in squares of
area 7r2. Draw a diagram of the locus.
*> / _ ly*-1
33. If f(x, y, z) = 2 i 1— sin nx sin wy sin 7?^,
»i=l W
34. If
CHAPTEE VIII.
GAMMA FUNCTIONS.
".-' j- 'C
Y,
•£-
' 1
Ai t B
FIG. 58.
Thus we find
=
J
0
p
where
and
Now
so that
Hence
LimI1 = 0.
134 FUNCTIONS OF A COMPLEX VARIABLE [OH. vm
2 f6 2
Again, 115 '
Hence LimI = 0. B,
Accordingly 2 r2sinat/
a _l^
.-«a=l
But
Example. Prove
i t
FIG. 59.
"
according as z lies above or below the #-axis.
arising from the terms — ^ and + i each tend to
The integrals
Thus we find
v 2 dx
so that Lim 1 = 0.
R-»oo
Hence --
S.
But f _?SL _^_/l rgy^y -
Jo 7i2 + y2 e^-l^?i2 Jo e2^-! '
therefore, as n tends to infinity, Sn — log n tends to the limit
If" 2y q
Bo
where
= r 2y2k+i dy ^ i r
Jo W2*(w2 + y2) e2^- 1 <^'+^ J0
136 FUNCTIONS OF A COMPLEX VARIABLE [OH. vm
00
V* -I /r2fc+2
Now Bw = (2fe+l)(8fc+8)r4r
r=l
CO T>
"
±
Thus the infinite series 2 ( — I)*'1 srA». is divergent
^i 2kn2k
Nevertheless, if sufficiently large values of n are taken, the
sum of a few (say k) terms will give the value of y to any
approximation required. For R^ can be made arbitrarily small
by increasing n. An expansion such as this, consisting of
a finite number of terms and a remainder which can be made
arbitrarily small by sufficiently increasing the variable, is called
an Asymptotic Expansion.
Example. If n = 10 and k = 2, shew that Efc< '000000004.
ds
ue
d s
z
s
f(z
ten
val
ten
thi
zlt
to
de
as
to
£
a
ft
ld
f(z)
shou
Jz" nd
tend
zero
and
zr
te
to
to
as
z"
z
The following two rules are useful for determining the con-
vergency of integrals.
RULE I. Let zl be a finite point ; then if a number n < 1 can
be found such that (z — z^)nf(z) tends to a definite limit L as z
tends to zl , the integral I f(z) dz will be convergent.
§§ 59, 60] CONVERGENT INTEGRALS 137
|L|+e
Example. Shew that the integral / e~zzndz, taken along a straight line
making an angle <£ with the .r-axis, converges if — ?r/2 < (f> <7r/2, and n> — 1.
- eL
«o that
.+
where d is the shortest distance from f' to K, and L is the length
of K.
Hence I =~= f(zt ?)dz or \!sM(n
Jo
In particular, if ?i = 0, /(^, f')^ converges to the limit
^TT'UK ^ £
, So that 0(r) = - - Now this integral
is holomorphic (§35, Corollary 2) at f. Hence 0(f) is holo-
morphic at f ', and has the derivatives
For ( <t>(Qd£=l
Jc' VKCK+fJGf rjdf
Jcr
f V<%,
fa £K<fe+ Jc'
11J0
= JCi (§34, example).
taken along a straight line which makes an angle ^ with the .r-axis. If
satisfies the inequalities
where r is positive, all the values of f are excluded which make £2+22=0.
Now, if \z\=p>Il,
" ^
which tends to zero as fe l'g* to <infinity
p tends if l<w<2 ; hence the integral
converges uniformly at its upper limit.
Again, if \z\ = p<r,
which tends to zero as p tends to zero if 1 > n > 0 ; hence the integral
converges uniformly at its lower limit.
Accordingly, <£(f) is holomorphic, provided ^r — ir/2 <ampf<^r + 7r/2,
Then, if |«| = /
Now, if n< 2,
Then n ! nz
as the integral Jo
I e'^3'1^, provided R(2;)>-0. We shall now
prove that the two definitions agree for values of z which satisfy
this condition.
142 FUNCTIONS OF A COMPLEX VARIABLE [CH. vm
so that r(2;)
I- >Q, or 6-^(1--) .
n/ ~
Again,
fu fw / ^,\n-l^, x,w fu
of(v)dv=\Jo ^(l--)
\ n/ n-^<-—nJo vdv — eu-^~ •
Accordingly, if 0 ^ u ^ n,
1-™W) ~
<12Ln.
Now we can write
n,2
(fii\n
o
f'' f'' / ii\n
o \ - Ja
e-"^-1^- J«\[l-.-W-1^
n/
Let a be chosen so large that, for all values of n greater than a,
n
j
a
Cn /
e-uuz-n, \ ?i
and therefore ( 1 -- ) uz~1du < e ;
J0\ n/
143
§ 61] EULER'S DEFINITION
then
t
f/
n
o
Hence, if R(V)>0,
»-*J<A n/
r(z) = Limf'Yl--Yl
Gamma Function expressed as a Contour Integral.
Euler's holds
which expression for F(0)
for all values can be replaced by the following,
Jcof z.
Consider the t where C is the contour of
integral I e~
Fig. 60, with its initial and final points at infinity on the posi
tive £-axis. The initial and final values of amp f are taken to
be 0 and 2?r respectively.
Now replace C by the contour of Fig. 61, consisting of the
£-axis from + oc to e, the circle |f |= e, and the £-axis from e
to +x . Then, if R(V)>0, we have, when e tends to zero,
1 («)
1. Prove that _
where C denotes ;i ]);itli which starts from - oo on the J-axis, passes round
the origin in the positive direction, and ends at - oo on the £-axis. The
initial and final values of amp £ are taken to be -TT and TT respectively.
144 FUNCTIONS OF A COMPLEX VARIABLE [CH. vm
= zP-\l-z)<i-i
taken round a closed f(z)contour which starts from a point A
(Fig. 62) on the #-axis between 0 and 1, and is composed of :
FIG. 62.
FIG. 63.
V(^ + ^)2~27ri
The integral of (l/2i) cot (TT^ ) . (z+£)~2 round the small semi-
circle tends to l/(2z2), (§ 30, Th. 2). On the remaining part of C
replace (l/2i) cot (xf ) by
or
V l W 1
Hence
(§60, Ex. 4)
Now, since T(x
xdrj
-vX^ + rf-
Thus LimRJ(J + m) = 0; so that (§40, Ex. 2), K' = logv/27r.
Therefore
taken along a straight line making an angle \]s with the £-axis,
where — 7r/2 < i/r < 7r/2 and z=f=Q. Then, since, for values of
amp f between 0 and \/r,
FIG. 64.
and z=f=Q, & value of i/r can be found (Fig. 64) such that the
positive aj-axis and the point z both lie in R^,. Accordingly, by
149
§ 63] CONSIDERATION OF THE REMAINDER
where J.W-
But,(§30,Th. 1),
Hence
Therefore
j^-L^ldfl, (§39,Ex.l)
B n+,
The infinite series
B 1 B 1
so that
fStM
Example 2. She w^ that, if - ?r < amp z<ir,
,-a =1.
§ 63] THE HYPERGEOMETRIC FUNCTION 151
tends uniformly to zero as z tends to infinity. Thus (§60, Rule II.) the
given integral is uniformly convergent.
Next, if -e^ifl^e, let z=Hmei0, where Rm=m + l/2 and ra is an integer ;
then
Lim -
+ 1 ) Sin 7T2
2^'J
where -TT< amp(- ^)< TT, and the integral is taken upwards along a
straight line (Fig. 65) parallel to the y-axis, with loops, if necessary, to
ensure that the poles 0, 1, 2, 3, ... , are to the right of the contour, while the
poles -a., -0.-1, -0.-2, ..., -/?, -/?-!, -/3-2, ..., are to the left of
the contour, is uniformly convergent. Negative integral and zero values
*Cf. E. W. Barnes, Proc. Land. Math. Soc.t Ser. 2, Vol. 6, Parts 2 and 3,
152 FUNCTIONS OF A COMPLEX VARIABLE [CH. vm
of <x and ft are excluded, since the curve could not, under such conditions, be
drawn. Also shew that, if |f < 1, the integral has the value
-« y
j
Y
FIG. 65.
Firstly, let - £=/>e^, where p< 1 ; also, let z=~ReiQ. Then, if e ^ O^TT/^
or if - 7T/2 ^ ^ ^ - e, where tan e < i log (1/p),
Lim
r(y+z) T( -*)<-£)• or -^
tends uniformly to zero as z tends to infinity. Thus the given integral is
uniformly convergent.
Again, if - e ^ 6 ^ e,
.--.
Let amp £= i/r ; then, since - TT < amp ( - £) < TT, it follows that, if 0 < \ff ^ TT,
mp(-^)=i/r-7r ; while, if 0 > ^ = -TT, amp(-^)=i/r + 7r.
Accordingly, the analytical continuation of F(a, j8, y, £) when |f |> 1 is
j*+\og{r(z)}dz=]og^+z \ogz-z.
If x is real and positive,
,
where 0<6'<1.
154 FUNCTIONS OF A COMPLEX VARIABLE [OH. vm
where
= log -s/277 + x log x - x + t(x\
where t(x) tends to zero as x tends to infinity.
Again, — /
(jL$Gj& log {F (x} }dx = log x ;
hI log{F(£)}c?.s=log\/27r + zlog2 — z.
EXAMPLES VIII.
1. Shew that ^4-n...^4.9«.-n
__ = 22-1.
1.3. 5. ..(2/i-
2. If 2a=26 (Examples VI. 31), shew that
Where
3. Prove that
4. Prove that
ei(t>+xi) MX
(i\ 1_ /
[In (i) integrate eazz~n~l along x= b, and shew that this path can be
deformed into that of Example 1, § 61 ; in (ii) integrate e-^-"-1 round
the contour consisting of x=b and an infinite semi-circle.]
7. If p is a positive integer and E(w)> - lj shew that
~ [+> z?(z2 - I)ndz=2i sin
(^
where 0 is the initial point, and the initial value of amp(22-l) is — TT.
Deduce that, for all values of n, the integral vanishes when p is odd, and
that its value when p is even is
- y + a, 1 - g + a. 1)
Bin ra r
156 FUNCTIONS OF A COMPLEX VARIABLE [OH.
A y, l)-co8,ra^ffi£F(a, 1-
20. Shew that the analytical continuation of F(o., /?, y, 1/z) for |z \< I is
pT(n)
23. Prove r(z) = ~LimnzB(z,
n— *oo n).
24. If R(s)>0, shew that
(iii)
28. Shew that
r(a)ro8)
(i) i=
(iii) i = (_
(ii) 0= o t
40. If - TT < 0 < TT, shew that
(i) log t
(ii) =
[Put 2 = 1 +e^e in Example 38, (ii).]
41.
r p. I _ /z
LI ir?*
l-£
Also, if M is the maximum value of for 0^ t^ 1,
/o 1-*
Now make ra tend to infinity, and use Example 31.]
43. If 27^0, -1, -2, ..., prove
45. Prove ,=
deduce
.Apply the transformation l-f. = eTto the third of these integrals, and
use Ex. 44.]
48. If H(z) > 0, shew that
50. If
shew that
[CH. IX
FIG. 66.
where 77^, m2, ... , are integers. If, however, the residue at the
pole is zero, the integral round the corresponding loop is zero, so
r-
that the integral is uniform in the domain of the pole. Thus
where m is an integer.
The loop about 2=00 consists of the line AB (Fig. 67), where A and B are
the points z = \ and 2 = R (E large) respectively, the circle BCD or U| = R
FIG. 67.
described negatively, and the line BA. But this path can be deformed into
a negative loop from A round O. Hence we need only consider the effect of
the loops about O. 2->0
Let L denote the positive loop from 1 about O ; then, since Lim z X 2~1/2=0,
the integral round the circular part of L tends to zero with the radius (§ 30,
Th. II.). Also, as z describes the circle, amp z increases by 2?r; so that
amp2~1/2 decreases by TT. Thus z~l/2 changes from 1/V.r'to — 1/V# ; hence
c dz _ ro dx ri dx .
JL »Jz }\ \/# Jo — ^x
A description of L-1, by which we denote the loop L described negatively,
gives the same result.
Since z~lf2 returns to A with the value -1, a second description of L or
L"1 will give the value 4, and bring z~l/2 back to A with the value + 1.
Thus an even number of loops gives the value 0, and brings z~l/2 back
to A with the value + 1 ; while an odd number of loops gives the value - 4,
and brings z~l/2 back to A with the value - 1. Hence the general value
ofF(z)is 2
where w denotes the integral / z~1!2dz along a straight line from A to z, with
+ 1 as the initial value of 0~1/2.
and f(z) returns to O with the value — 1. Two successive integrals round
A or A"1 give the value zero, and bring f(z) back to O with the value +1.
Similarly B or B"1 gives the integral — C, and two successive descriptions
give the integral zero. Successive descriptions of A and B or of B and A
give 20 or — 2C, while f(z) regains its initial value +1 at O.
Accordingly, if w denotes / f(z)dz taken along a straight line from O to 2,
with initial value +1, the general value of ~F(z) is mC + (-l)mw, where m is
an integer.
To evaluate C we proceed as follows : make f(z) uniform by a cross-cut
from - 1 to + 1, and choose the branch of f(z) which has the value +1 at the
origin on the lower side of the cross-cut. Then, at a point on the #-axis to
the right of 2=1, amp^/(l — 22)^=7r/2 ; so that
so that //(«)<&, taken positively round an infinite circle, has the value 2;r.
But the great circle can be deformed into the loops A and B taken suc-
cessively, and the value of the integral is then 2C ; hence C = TT.
Thus the general value of sin"1 z is given = ( by T
r—Z
sm{w7r + ( — l)mw}=sinw.
Again, since / f(z)dz= -w, it follows that — z=ain( — w). But z = si
thus sin( — w>)= —sin w, so that sinw/•• is an odd function. Many of the other
properties of the sine function could alsodzbe deduced from those of the integral
FIG. 68.
a small circle about l/k. This loop can be deformed into the
contour (Fig. 69) consisting of :
(i) the ic-axis from O to 1 — e y
(ii) a small semi-circle c of centre 1 and radius e above the
a>axis, described negatively ;
(iii) the ic-axis from 1+e to 1/k — e;
(iv) a small circle C of centre l/k and radius e, described
positively ;
(v) the ic-axis from I/A; — e to 1 + e;
(vi) the semi-circle c described positively ;
(vii) the ce-axis from 1 — 6 to O.
FIG. 69.
where
1
KTT< =
Again, as z passes round C, amp (z — 1 /k) increases by 2x, and
(1 —kx) becomes (1 — kx)e2iir ; hence (v) gives the integral
dx
FIG. 70.
f(z)dz = i
If in the integral
dx
fl/A *
Jl
Example.
We have Shew that K' = log (4/&) + <£(&), where <j>(k) tends to zero with L
-f (— ±-
where y = kx. J* WO-#2)
Hence
= log2;
value. There are four branch-points of f(z) (Fig. 72), el} e,2, e3,
and oc . The loop L about oo , however, consisting of the line from
then integrals round the loops Lu L2, L3, or Lf1, L.J1, L^1, give
the values 2A15 2A2, 2A3, respectively. Two successive integra-
tions round a loop give the value zero. Successive integrations
round loops L,, and L6. give the value 2Ar — 2AS. Again, the
description of an even number of loops brings f(z) back to z0
with its initial value f(z0), while an odd number brings it back
with the value —f(zQ).
Hence, if I denotes the integral I f(z)dz taken along a straight
line from z0 to z, the general value of the integral is given by
^XXq \~ \ / '
where nlt n2, n^ are integers such that ?ix -f ii2 + % has the value
0 or 1 according as the number of loops described is even or
odd.
Now let n^— —in2, ns= —w\, so that either /n2 = m1 + m2 or
n% = ?7i1 + m2 -f 1 ; then either
w-w0= -2™^- A2)-2m1(.A3- A2) + I
§§ 67, 68] THE WEIERSTRASSIAN ELLIPTIC INTEGRAL 169
|% re,
Again, if Wi=\ f(z)dz and oo.2 = I f(z)dz,
JeS • J <>!
A
A2 — A3 = w1 and
i A2A A
— A1 = o>2;
r$\
hence either i# = u>0+2??i1ft)1 + 2??i2ft>2 + I
or w =
Thus the inverse function z = (j>(w) is doubly-periodic, with
periods 2co1 and 2co2.
Next, let the integral be taken along the contour consisting of
the loops L, L3, L2, L1? taken in succession. This curve encloses
no singular point, so that the value of the integral is zero. But
the integral round the large circle tends to zero as the radius
tends to infinity ; hence
0= 2 /0)<i2;-2A3+2A2-2A1;
J*o
so that f f(z)dz = A3 - A2 + Ar
Hence, if z = elt
w = 2??!^ + 2?^2ft)2 — A3 + A2 — Aj + Aj = <2mjrw1 + 2m.7 w2 + ^
or w = 2mt cox + 277i2 w2 — A3 + A2 — A1 + 2 A2 — Ax
= 2?^ ^ + 2m2 ft>2 + 2o>2 + w1 .
Therefore ^1 = 0(ft>1). Similarly 6?2 = 0(ft)1 + ft)2) and e2 = <p(a).2).
Again, if W = ty0 H- 1, .
te; = 2mx &>! -f 2m2 w2 + W
or w = 2m
or
where S (2) is rational in 2.
Again, by the method of partial fractions, S(0) can be put
in the form
Now (
d
als
sse
egr
n pre
ms
r
ter
can
int
fou
the
—:=
f^ ex
dz
be
of
in
But
JTI^ J^* JTI^ J72-
§ 68] REDUCTION OF ELLIPTIC INTEGRALS 171
Similarly, since
J7I"'
7z' J7z'factors of Z always occur in pairs,
Again, since imaginary
Z can always be written a(z2+pz + q)(z2+rz + s), where p, q, r,
s, are real. Now in the transformation z = (/-f<7£ )/(! + £)> ^
f and g be chosen so that the coefficient of £ in each quadratic
is zero ; then Z will take the form
where Q =
But
d£ . ,f d?
-ifl0 w->vo'
and the last integral can be evaluated by elementary methods.
Hence we need only consider the integrals
In case (i) put £=x/a, k = b/a', then the integrals are trans
formed into integrals of the forms
x*dx f dx
dx
fc^
In cases (ii), (iii), and (iv), make the substitutions
l-a2f2 = a2, l-W^ = x°, and l + fe2f2 =
respectively ; then all these cases reduce to case (i).
§§ 68, 69] COMPLETE ELLIPTIC INTEGRALS 173
dx
Now
JVUi-^Xi-/^)} A^JVUI- " ""' ic
| r //I _ 7.2™2 dx.
dx
are
Thirdcalled Legendre's
kinds. Normal
Jo(^
2-
Integrals of the First, Second, and
f*
Example. Prove
f1 3^ + 2^2 , _ /r ? /
Jo v^+^+i1* 3jo
-
But
P ' dx
Jo ^PT
' where ^
2 /vs/s ^ 3
3 Jo
Hence the required equation follows.
Jo
^^
The numerical values of K, E, K', and E' can be easily evaluated
by means of these series, except when the value of k or k', as the
case may be, is nearly unity, in which case the convergence is
siow.
Landens Transformation. If in the integral F(k, 0) we
make the substitution
tan(01 — 0) = &'tan0 or tan 01 = sin 20/(&1 + cos
, 7 1 — k' k 7^7 T , .
where A;1 = -._, y/ = /1 7/V;^<C^> we obtain
l + /c ( 1 + /c )"
and
so that Y(k, 0) =
Thus the integral is expressed in terms of an integral of
smaller modulus. In particular, if 0 = Tr/2, then fa = TT, so that
§§ 69, 70] LANDEN'S TRANSFORMATION 175
Accordingly, if the modulus of k is nearly unity, the value of
F(k, 7T/2) can be deduced from that of F(/<;1 , 7r/2) by means of
this transformation.
Bmmple. Prove
and deduce from the example of § 68 that
P3.^+2^^. -1/1 TT
Jo
dK'=_E'+&K; //-
Again,
1 f-/2J(l
7/1 1 fff/2
— k-sm2d))d<j>—f
d0
. = -
E-K
/.'J /^Jo l — A;2sm 2 /•
CvK 1C
,_K'>. f/\Y
Accordingly, if W = KEr -h K'E - KIv, -^- = 0 ; therefore \V is
a constant.
176 FUNCTIONS OF A COMPLEX VARIABLE [OH. ix
Also
W=KE' + K'E-KK' = |.
COROLLARY. K and K' satisfy the equation
EXAMPLES IX.
rZ 7
'- + A)}~v'O2-c2)
8. Shew that
where A = (l -
9. Shew that
where ^=cos!5°.
10. Prove
f°
-=Fsml5'
flLy 2 „/ . 0 TT\
prove that
where J
M.F. M
178 FUNCTIONS OF A COMPLEX VARIABLE [OH. ix
16. Shew that, if n>l,
(i) n Jo
T knWdk=(n - 1)JoT £"-2E'<tt ;
(ii) (n + 2)Jo
r y^EW/j = (n + 1)JoT LMK'dL
17. If P is any point on that branch of. the hyperbola .r-/a2-
which crosses the #-axis at A, shew that the difference between the arc AP
and the portion of the asymptote cut off by a perpendicular on it from
P tends to the limit
dy
as P tends to infinity. [Cf. Example 14.]
18. Shew that
Y2 dx _ _ *
J* V{(i-^)(
where ^=x/(l-^72).
^'2+^2)}"
19. Shew that
where ky = *J\-xz.
CH. X. §71]
CHAPTER X.
WEIERSTRASSIAN ELLIPTIC FUNCTIONS.
so that
where m and m can have any integral values.
THEOREM. The two primitive periods Q and Q' cannot have
the same amplitude.
For, if they have the same amplitude, let Q = peie, Q' ==//€**,
and assume /o>/o'. Then, if tt" = tt-Q' = (p-p)eie, IT is a
period of modulus less than p. Let this process be repeated
with the two periods Q' and Q" '; and so on. After a sufficient
number of steps a period is obtained either of modulus zero
or of modulus less than any assigned quantity.
The first case cannot occur, however; for if u> denote the
value of the two equal periods subtracted in the last step of
the process,
where p and q are integers ; but this is impossible, since Q and
Q' are primitive periods.
In the second case, if « denote the period, the function
{F(z) — F(z0)} has zeros at z0 and z0+et>. Accordingly, F(0) has
essential singularities at all points of the plane (§ 22, Theorem I.
Corollary 1). Such functions are excluded from consideration.
Congruent Points. The points z + mil + m'£l', where in and
IK' may have any integral values, are said to be congruent to
the point z.
/'< ,'iod- Parallelograms. A parallelogram of vertices a, a + Q,
a 4- £2', <t + fi + !Y, is called a period-parallelogram. It is sufficient
180 FUNCTIONS OF A COMPLEX VARIABLE [CH. x
Z) = -s
we obtain
Fio. 73.
a+2o>2
= 0.
m=l 7i
Hence 2 r™ a™
»l = l
ly
rding
Acco
= -
( (z
/ A -
where A and /x are integers. Verify that, if 2 = £>(«), these values of u give
the five roots of the equation
w= I
COROLLAKY. p(u-v)= -y
Prove
we obtain
188 FUNCTIONS OF A COMPLEX VARIABLE [CH. x
2 £<? vv
= 2-Tri,
_Ai _L ^2 , , A"i
U — /C (U — ,
Then consider the function
§§ 75, 76] THE ZETA FUNCTION 189
(A)
(74— 1)!
Example. Shew that
2f (2w) + 2rh + 2r?2 = £(«) -4- f (w + CD,) + {(u + w, + o>2) + f (w + o>2).
Ih-nce
But Lim
«->0 {-^
v «* J[= 1, so that C = 0 ; therefore
Thus
190 FUNCTIONS OF A COMPLEX VARIABLE [CH. x
(Theorem V. § 72.)
Similarly </>(u+ 2o>2) = 0(u).
Thus (Theorem II., § 72), 0(u) is a constant ; so that
*/ \ / I — ./ /i ,
For example, the function {^(^) — ^(^)| has two simple zeros
±t>, and a pole of order 2 at u = 0; therefore
—
so that P(tt)-P<ff)=- •
2
Hence - = u + v-u-v. (B)
COROLLARY. If in formula (A) of §-75 we make the substitution
2 #>(u)
and similar substitutions for £(u — b), ..., f(t& — &); then, since
2A1 = 0, it follows that f(u) can be expressed as a rational
function of >u and >'u.
Example 2. From equation (B) deduce the addition theorem
EXAMPLES X.
1. Find, the zeros of
and shew that they are all simple zeros. Ans. ±vr ±w.
2. Find the poles and zeros of
4. Shew that V
(i)
(ii) ^
5. Shew that
+ (
(i)
192 FUNCTIONS OF A COMPLEX VARIABLE
6. Prove
[CH.
7. Shew that
8. Prove ff>(2y)-p(2w)=-
9. Shew that
(ii)
.
10.
~ ,
11. Prove
13. If *(«)=f
and ^(^ =
shew that
15. Prove
16. Prove
(r(a + b)(r(a — b)(r(a - d) - v(a + c)v(a - c)v(b + d)<r(b - d)
(7
(0 - w)<r(w - u)<r
tr3 (?*) (T3 (v) or3 ( M;
= 2-
193
EXAMPLES X
20. Prove
-z)<r(y-w)
21. Prove
24. If M + v + ?^ = 0, prove
= P(«) + P
{ f («) + f (^ + f (
25. Shew that u - o>2).
2^(2?*) = f (*) + f (« -
26. Shew that
1 p(w) tf*(w)
27. Prove
M.F.
[CH. XI
CHAPTER XL
»i=0 m = -<
FIG. 74.
Now ^/2(^)
Therefore since, as u increases from 0 to Qx, ^(u) decreases
continuously from +x to 0 and $>(u) decreases continuously
from +x> to elt el is the greatest root of ^xs—g^c—gs = 0.
Again, p'(u) = ±<J{4<$B(u) — g$(u)— gs} ; but between 0 and
Q1? ^X^) is negative and 4{p(u)— «j}{|i(it)— ^}{p(u)— e8} is
positive. Therefore
Hence, if x — <^(u),
r dx
U=\ , 3
J % v/ "j T?i£/ " \j rt!
e
(ii) Let w = iv, where v is real ; then fe
'
/7r
so that Q1='"
(iv) Let w = Qj + w, where v is real ; then, since
Hence da;
$>'(w) — m$(w) — c.
Now the only pole of this function is at the origin, and is
of order 3 ; thus
Wi + „,,+«,,
where X and //, are integers.
This relation is necessary, and it is also sufficient. For, if
wl + w2+wz = 2\col + 2yuft>2, let the line M^Mg cut the curve
again in the point M' of argument w'\ then
wl + wz + w' = 2X'o>1 + 2yu'ft>2.
Hence w3 and w' are congruent, so that W coincides with M3.
Tangents. If the tangent at 'w^ meets the curve again at
'w'
w+ 2w1 =
Thus wl = — w/2 + Xo)!
Accordingly, from any point ' w ' four tangents can be drawn
to meet the curve in the four points whose arguments are
PIG. 75.
Example 2. Shew that the necessary and sufficient condition that the 3n
points wlt W<L, ... wsn, should lie on a curve of degree n is
Now p/(^) = 2
Also, it is easy to shew that
Accordingly, if
so that & and /<;' are positive proper fractions such that k2 + A/2 = 1 .
Then sn(i>), cn(v), dn(?;), satisfy the equations :
sn (v + 2K) = - sn v, sn (v -f '2iK') = sn (v) ;
en (v + 2K) = - en v, en O + 2^K') = - en (v) ;
dn (v + 2K) = dn v, dn (v + 2iKx) = - dn (v) ;
sn' (v) = en (v) dn (v) ; en' (v) = — sn (v) dn (v) ;
dn'(-u) = - 7c2 sn (v) en <V) ;
sn2 (v) + en2 (v ) = 1 ; k2 sn2 (v) + dn2 (v) = 1
sn(0) = 0, cn(0) = l, dn(0) =
/
sn(K) = l, cn(K) = (),
dz
*-£r
-mz*s£=&=
dx ®' (§77)
I / Q g
//g g \
where v = ,J(el — e^).u and ^ = /y/( 2 3j- This equation gives
the relation between the Jacobian and the Weierstrassian elliptic
functions.
Example. Invert the function
, \ H).
x
rd
202 FUNCTIONS OF A COMPLEX VARIABLE [OH . xi
Poles of sn(v), cn(v), dn(v). From the equation
it follows that
where C is a constant.
79, 80] THE ADDITION THEOREMS 203
When u is. small,
...){cn(» — usn(v)dii(v) +...}— cn(t>)
usu(v)-\- ...
7 — r— ;-
Similarly
Example. Prove
204 FUNCTIONS OF A COMPLEX VARIABLE [CH. xi
, -
dn(^) ,
. dn(u) dn(u)
Hence, if u tends to iK',
Kx)= -dn(u);
§§ 80, 81] JACOBI'S IMAGINARY TRANSFORMATION 205
2iK/)= — cn(u),
Sample. Prove
sn(u)
Thus the residues of sn(u), cn(w,), dn(i(,), at iK' are I/A;, — i/k,
— i, respectively.
Thus cn(it, ;\
sn(iu,k')=±isu(H'J A;)
To determine the sign let u tend to zero ; then, since
T . sn(m,
Lim V ? k')
n^o t. sn(u, 7: = 1,
/c)
the + sign must be taken ; so that
, k)
EXAMPLES XI.
1. Prove / .
4 Prove \ 2 / V 2 en ?6 + en v
en
2
5. Shew that, with the notation of Example 3,
-v) v)
a n(u (u-
-v} an"
6. Verify the identity
where S = sn (u + v) sn (u - v) sn (u + w) sn (u - w),
C = en (u + v) en (u — v) en {u + w) en (w — w),
D = dn (w + v) dn (u -v)du(u + w)dn(u- iv).
7. If S = sn u sn (u + K), verify, that :
(ii) D3
(iii)
( 1_ v
Deduce that
Shew that, as (#, y) describes the boundary of the rectangle COAB of the
previous example, (X, Y) describes the complete boundary of a quadrant
of a circle of unit radius.
15 Prove —
dn ( u + v) dn (u - v) k'~
en 2*= 1 -
CHAPTER XII.
LINEAR DIFFERENTIAL EQUATIONS.
03
82. Continuation of a Function by Successive Elements.
z)^
is called the Dominant Equation.
§ 83] EXISTENCE OF AN INTEGRAL 211
Tl :
where <•„ = !, *^>, (»=0, 1, 2, ...).
But if this function w(z) is an integral of equation (A), and
if arbitrary values have been assigned to w(g) and w'(£ ), the
corresponding value of w"(f ) can be obtained by substituting
£ for 2 in the equation. Likewise, if the equation is differentiated
repeatedly, and f substituted for z, equations
are obtained for n = %, 4, 5, ... ; thus the coefficients c0, clt c2, ...,
can be found.
Similarly, if W(z) is a solution of equation (c), holomorphic
within | z — f |= R,
so that l-
we have
therefore
so that it is necessary that p(z) + 2/z and q(z) should have zeros
of orders 2 and 4 respectively at infinity. If this condition is
fulfilled, holomorphic integrals w(£) or w(l/z) can be found.
A nalytical Continuation of the Integral. Let f ' be any point
in the domain of f, and let P(z, f ) be the element of the integral
w(z) corresponding to the domain of f '. Then, since the function
so that 2.1.
3.2.03-2^ + 71(71 + 1)^ =
^+2)^+1)^+2-^-1)^-2^ + 71(71 + 1)^ = 0, (,, = 2, 3, 4, ..,).
Hence .2=-
2.3 1J >
sF( - , + , -, ^
Ans. Wl = l- + 6-
I
'2.5 7 2.5.8
,-fl __
7! 10!
85. Fundamental System of Integrals.
THEOREM I. The integral w(z) of equation (A), § 83, cannot
have a zero of the second order at any ordinary point of the
'equation, unless it vanishes identically.
For if it has a zero of the second order at the point z, w(z) = 0
and w'(z) = Q', hence the equation gives w"(z) = Q. Similarly, if
the equation is differentiated repeatedly, it follows that
w3(f ) = 0,
A(z) =
= 0 exists:
Conversely, if A(z) = 0, a relation C1w1
for, if A(3) = 0,
wi(z) _ wz(z)
w -I ^.Lif! 1 . 3 . 26 1 . 3 . 5 . 2s
Ans. w"= — zw' + w.
EXAMPLES XII.
1. Find integrals wlt w2, for w" + a2tv = Q, such that, when 2=0, ^ = 1,
Wi = 0, w2 = 0, w2' = 1 . A ns. wl = cos az, w2 = a~l . sin az.
Find integrals in the domain of 2 = 0 for equations 2-10.
23 4 2° 4.7 29
6.
7. (l-
8. (l-22)w"-(
W=F+M) _
9. (1 - 2s) M'
^7M. ^=^,t^ = F(-§, -f, §, 2^), ^3
Ans.
has integrals P(^) and P(^)log ( i±!^+Q(z), where P(0) and Q(z) are
polynomials of degrees n + 1 and n respectively.
CH. xiii, § 86]
CHAPTER XIII.
REGULAR INTEGRALS OF LINEAR DIFFERENTIAL
EQUATIONS.
where D=
_Now let W = Xw1 + /*U'2, and choose the constants X, yu, so that
W, the value attained by W after the description of the closed
circuit, satisfies the equation W = pW, where p is a constant ; then
''1
2
Therefore, since wlt wz, form a fundamental system,
= 0.
cn-p, c21
so that
220 FUNCTIONS OF A COMPLEX VARIABLE [OH. xm
= an(cnwi + ciz
'12
Similarly
21an + 622a21 = aacu
Therefore
a.
^12'
'21
'•2-2
21
1> C22~~P
Fundamental System associated with the Fundamental Equation.
There are two cases to consider : (I.) when the roots of the
fundamental equation are distinct, and (II.) when they are equal.
§86] FUNDAMENTAL EQUATION 221
I. Let the roots plt p.2, be distinct ; then there are two integrals
Wlt W2, such that
Now let r
^l = (^-Dr^lW> ^ = (*-?)r^2(3)>
where V'l^)* ^2(2), are uniform in the vicinity of f, and
Hence W^z
where ^(z) is uniform near f.
W
Again, I
sothat
is uniform near f, Consequently
v = -'~
so that
The integrals wl and w2 are linearly independent. For, if not,
therefore
' "
, 0be expressed linearly in terms
Since every other integral jVcan
of wl and w2, it is only necessary to find the condition that wl
and We, should be regular.
Now we can always choose wl so that v is free from logarithms.
For, if wl is free from logarithms, while w2 contains them,
Thus
«
dz\wl
and therefore v = ^= = ^r— - = v.
II. Let 10! and w2 be free from logarithms, and let r1 = r2.
Then, by subtracting a multiple of w1 from tu2, we can remove
the first term of wz, and thus get Case I.
III. Let w2 involve a logarithm. If rz = rl} then
Let w = z^cnzn;
0then, if $(z)=^faP
0 and \^(z)
— z$ (z) iv —\fs(z)w
where d0 = n=
and dn =
Hence, if all the quantities d0, d^ d2, dB, ..., vanish, and
o>
if ^cnzn
u
is convergent, w is a solution of (2).
The Indicial Equation. The equation in p,
Where Cn =
for 7i = l, 2,3,....
Let <p(z) and -fy(z) be holomorphic within and on the circle
|z| = R. Then, if Mj and M2 are the maximum values of <j>(z)
and \/s(z) on this circle,
Thus
so that, if
|^ j
yn =
+M
then
Now
_
R"
\cn
R
Hence +M
Vn
Thus y]ynzn,
o and consequently 2o V1, converges if
THE INDICIAL EQUATION 227
CO
II. Let the indicial equation have two equal roots p = pl ; then
equation (4) becomes
so that
so that
'
-l 2 3
Thus the second solution is r p+r+l'
where ™2=
*»-'
1 r+-L.)-
X
= ...
1 1 \ «i-l 1 « 1 1
-- -
{m+n-
l / i
r r
If r~is one
either Soc orv^/3 of the numbers 1, 2, 3, ... , m, the terms
involving log z disappear, and the second integral becomes
^-^(a-y + l, 0— y + 1, 2-y, z),
in which the hypergeometric factor is a polynomial. Since p + m
is a factor of Km(p),o> this integral could also be obtained by
putting p = 1 — y in ^cnzp
o +n.
Let neither oc nor /3 have any of the values 1. 2, 3, ... , in;
then, if w2 is divided by the coefficient of log z, and a multiple of
wl subtracted from it, the fundamental system can be taken to be
w1 = F(a.) /3, y, z), ^2 = io1log^ + F1(a, (3, y, z\
where
F/a, /3, y, z)
§ 89] GAUSSIAN DIFFERENTIAL EQUATION 231
, ,
i ,I
EXAMPLES XIII.
Find regular integrals in the domain of 2=0 for equations 1-16 :
1. 2zV+2i0'~(l+«a)w=0.
Ans. *i = '+ + * + * + -'
2. z(\-z)
oo fjn
8,
89] EQUATION OF JACOBIAN QUARTER PERIODS 23S
15. 922w"-152w' + (3fo4 + 7)w=0. ^7w. wx = «1/s cos «2, w2 = zlf* sin «2
1+<V3 l-<y.
CHAPTER XIV.
(, = 0,1,2,...).
In the first place assume that p2 — pl or 2n + 1 is not an integer ;
then, if p = — n,
" ---4
" 1
while, if
0 !HL2 n + I 3
2 ' 2 ' ^2' 2
§ 90] LEGENDRE FUNCTIONS 235
Thus, if
2n+1HO+l/2)z n+1
+
236 FUNCTIONS OF A COMPLEX VARIABLE [OH. xiv
where the path of integration is taken so as not to pass through the point z,
[Expand l/(z — () in descending powers of z for \z\ > 1, and evaluate the
coefficients by partial integration. The theorem holds if \z < 1, since the
functions on both sides of the equation are holoniorphic.]
Example 2. Use the series for Qn(z) to prove, for all values of n, the
formulae :
(i) (n
v= 0
where v = 1, 2, 3, ....
There are four cases to consider.
I . Let n be neither an integer nor half an odd integer. Then
there are two independent solutions Jn(z) and J_n(z), where
Zn / Z2 Z4 1
(-lys"
238 FUNCTIONS OF A COMPLEX VARIABLE [CH. xiv
Hence
co 'f i \ v 2v v ~[
and
JoOO=. v
Hence
— = i^
1v
to + 2)...
zn
2 2. 4. ..'2n.'2A. ..(2^-2)
zn z-1
§ 91] RECURRENCE FORMULAE 239
(-1)- /W+frf * 1
V (ll~~v~
YM(2) = J«(z) log z - ^
T ,v
00
Also
PW+8lTYn
vs
,v _
so that v^4i/!r(-
v/ ~~ -1 ; I o -n+2v 7T . VI
^(-n + v).
If 7i is a positive integer, let p = n; then
2 COS 717T
(iii) ^G.(z)=G,,.1(*)+Gl,+1(«X
THEOREM. If P(z) and Q(z) are any solutions of Bessel's Equation, they
satisfy a relation of the form
where C is a constant.
For, if the substitution iv=z~l'2W is made in Bessel's Equation, it becomes
Consequently
Hence, integrating,
{x we have
a * - F(«) Q(*)= j-
For example,
1 sin mr .
.=2
~J«(*)J-ti-lW sillWTT.
(iii) Gn
The Zeros of Jn(s). If n is real and greater than - 1, all the zeros of Jn(z)
are real and distinct, except possibly z=0 ; this can be shewn as follows.
We have -
Thus, multiplying the first equation by Jn(fiz), and the second by J,,(ou),
and subtracting, we have
242 FUNCTIONS OF A COMPLEX VARIABLE [OH. xiv
(<X2 -
Therefore, if O=OL and 6— ft are distinct zeros of JM(0c),
THEOREM I. If n is real and greater than -1, Jn(z) cannot have any
purely imaginary zeros.
For
THEOREM IV. If n is real and greater than — 1, Jn(«) and Jn+i(z) have
no common zeros except possibly 2 = 0.
This follows from the formula
p(p — 1) = p \js
""^\ar)^-\- terms independent of p.
Accordingly, if the roots of the indicial equation are pl and
since Lim 2
s^so
so that pl + /o2 = — 1 — A.
Hence the sum of the indices is n — 1.
COROLLARY. If infinity is not a singularity, A =—2, and
therefore the sum of the indices is n — 2.
where f+g + h = — 2.
Let the indices at a, b, c, be X and X', /UL and //, v and j/,
respectively, where X + X' + yu + yu' 4-^ + ^=1. Then, since the
indicial equation at a is
yub,, v,c, \
{aX,, z V;
X', yu', I/', J
and it is called Riemann s P-function. If either X and X',
yu and //, or i/ and i/', are interchanged, the differential equation
remains unaltered. Likewise the three columns can be inter-
changed without altering the equation. Again, if the function
is multiplied by (z — a)*(z — c)*(z— 6)-°"p, the indices at a, b, and
246 FUNCTIONS OF A COMPLEX VARIABLE [CH. xiv
Z'(i-*y?{x'
tX, */x, i/,
": .j-pf^*'
J LA+O-, "C'l*
/x — o- — p, "-?' 4
^+/>,
The differential equation determined by P(IX,
J M,
M; ^j/, 2 1J is ob-
tained by putting a = 0, c = l, and making b tend to infinity;
it can, by means of the equation X-f-X'-f A* +/*'+" -fV^lj be
put in the form °'
XX' - (XV ^
Note. Since
-y, ft y— a— ft
where a = X + /* + ^ /3 = X + /xr + 1/, y = l-Xx + X, it follows that
the P-function can always be expressed in terms of the integrals
of the hypergeometric equation.
§ 93] INTEGRALS OF HYPERGEOMETRIC EQUATION 247
0, y — 8, GC + /3 — y, \
Thus 0, '/
_y> y_a>
(l_z)Y-«-0F(y-a, y-/3, y, 2) = Ct W^ + C2 W2(0).
But, since the function on the left-hand side is uniform at
2 = 0, C2 = 0 ; hence
0, 0, oc,
III.
IV.
2-y, z)
V.
VI.
VII.
VIII.
IX.
X.
XL a-y + 1,
XII.
XIII.
XIV.
XV. z-l
z
XVI. z-l
z
XVII
a-y + 1, a-
§§ 93, 94] ANALYTICAL CONTINUATION 249
xvm. =^-*(«-
XIX. = z-l' 1-z
XX. = zl~
\ •*• — 21
Relations of the form
771 f 3 f 2 fz
and
= (2;2-l)-2 J OO J <X>... J 00
f=-W-sra(»'-«) 'Sa^-l)-
" l ;*
3 1
2. Shew that
(i) Qo(*)
[Use Ex. 1, §90.]
3. If n is zero or a positive integer, shew that positive circuits about
z=l and z= -1 decrease and increase Q,»(2) respectively by Tn'P^). [Use
Ex. 1, § 90.]
4. Use the formula of Example 1, § 90, to prove the formulae of Example 2,
§ 90, for positive integral values of n.
5. For all values of n, shew that
(* ~ l){Qn(*) Pn(t) ~ Pn(z) <&(*) } = C,
(i) ,]m
2'» ?L JH(Z) = C0 J«-»(*) ~ C, J«-m + 2« + -.+(- 1)MCW J,l + m(4
21. Solve
22. If »i, w, A%, are positive integers, and k<m, k<n, shew that
(i) wl
254 FUNCTIONS OF A COMPLEX VARIABLE [OH. xiv
23. If n is an integer, shew that
while if y — a. — )8=0,
Sf <i-,r-'~ r
[For the second equation apply Ex. 4, § 63, to Form III. of W/' (§ 93).]
27. Shew that, in the domain of the origin, every solution of Legendre:s
Associated Equation can be put in the form
CH. xv. § 95]
CHAPTER XV.
SOLUTION OF DIFFERENTIAL EQUATIONS BY DEFINITE
INTEGRALS.
w = 0, (A)
where R(z) is linear in z. We shall confine ourselves to the case
in which the factors of Q(z) are distinct.
f
te=°;
so that I #(^){X(f— «)x"1Q(f)+(f— 2^E(f)}df=sO, (B)
Jc
Accordingly, if 0(f) satisfies the equation
Fio. 76.
* This can be effected as follows : (i) deform Z into Zlf so that z passes round a
to zl ; (ii) deform A into A' ; (iii) deform Zj into Z', so that z moves from % into its
original position.
M . 1 •'. R
258 FUNCTIONS OF A COMPLEX VARIABLE [CH. xv
(D)
f
Employing the notation of § 62, we can write one such integral,
where the initial point lies on the real axis between 0 and 1, and
the initial values of ^~1 and (l-f)v-^-1 are real and positive.
If z describes a closed contour enclosing z = 0 but not z = 1 , the
singular point 1/2 will describe a closed contour enclosing z = 0
and z = l; and therefore the contour of the integral need not
altered. Accordingly, for values of z which lie in a simply-
connected region enclosing 2 = 0, but not enclosing 2=1, the
integral is a uniform function of 2.
§§ 96, 97] THE HYPERGEOMETRIC FUNCTION 259
Now let |z£|< 1, and choose that value of (1 — z£ )~* which has
the value + 1 when z = 0 ; then
,0+, 1-,0-J
-£)
(§
62
2w,
, y-/3)F(oc, £ y, 2).
)
Note. The expression given by this equation for the function
F(oc, /3, y, 2) as a contour integral is valid for all values of z.
JC
where C is a suitable contour of integration. Hence (§ 94)
-
f (f*
where a cross-cut is taken along the real axis in the z-plaiie from
1 to — x to make the function uniform in z, and the amplitudes
of z—l and z+1 lie between — TT and +TT. Let A (Fig. 77), a
point in the f -plane on the straight line joining f =1 to f=z, be
taken as initial point; and let the initial amplitudes of f— 1 and
f+1 be 0 and 0', where these are the angles (between ±TT)
\— y
In particular, if 771 = 0,
) lsin ?i'7r
rjH-,!+,•-,!- (f2 — l)»(f — 3)-*-1df=2w+27re'w
2 __ iiH
r(Z+,i+,2-,i-)
(f2-
J.
/
(§93)
f(z+, 1+)
deduce that
l Sin 717T
/ ,2r+3\
2 /
(Exs. VIII. 7)
t, , (§62,Ex. 2).
97] THE FUNCTION QHW (z) 263
Now, if m is a positive integer (§ 94),
O ^-(-
X)
vli,/w+m+2
XN -I- 1 — <
2n+]
f(-l+,
COROLLARY. By applying the formula (§ 93)
F(a, ft, y, £) = (!-£)'— »F(y-a, y-ft y, f).
we obtain the relation
in the second case, £-1 has the value 2eiirl--- -Z) when I(z)
Lt
FIG.
e±niri \z+l/
~~ m — m)
-,o-) )-n-m-
dZ
fi+,o+,l Zn(I-Z
f(-l+,+
.p ,,
265
§97] A SECOND EXPANSION FOR Qn'n(z)
Denote the integral in the last equation by Wl; the initial
value of amp(f2 — 1)" in this integral is ±mri, according as I (2)
is positive or negative. Again, let W2 denote the integral
so that W2 = e-'l7r^n7ri(L-M),
according as I(z) is positive or negative.
But
Hence, since
1~
it follows that
2*+!
,
O m/2\ = _
+
z
f
x
e^m
-(J.tl)'-F(-,,.,,+I,1+,»,!J-").
Example 2. Shew that
266 FUNCTIONS OF A COMPLEX VARIABLE [OH. xv
( <l>(S)e*{(a^+b£+c)z+(a'?+b'S+c')}dS=().
JC
(B)
Hence, if <p(g ) satisfies the equation
(a'? + b'£+c')<t,(f)
/* .^7 = ^{(a?+bS+c)<t,(t)}
, (c)
equation (B) becomes jf.O(£)d£=Q,
Jc <*£ ~
where 0(f)«#(f)«£(a£*+ &£+ e), Also equation (c) gives
=f
W 'c
Jc
wh C is a su co
er it nt
e ab ou
le r.
§§ 98, 99] EXPRESSION FOR 3n (z) 267
where the initial point lies on the £-axis between —1 and +1.
Let the initial amplitudes of f+1 and f— 1 be — 2-Tr and TT
respectively, so that each of them has zero amplitude at the
point where f crosses the f-axis to the right of £ = 1. Then
f(-l+,+l-) » /Az\v fl
«•*(?•- !)"*#= £
J v=0 V J
= - g* cos ^r(^
(Exs. VIII. 7)
(§62, Ex. 2)
Hence
COKOLLARY. If
Example. Prove
-1 O +1/L
FIG. 79.
Now put X = e^zg, so that the initial and final values of amp X
are 0 and 2?r respectively ; then if
W = :
(§ 62, Ex. 2)
Thus J_.(,)-£
§99] EXPRESSION FOR J_»(z) 269
FIG. 80.
S^ ©!>«•-*"«
where in the latter integral f— 1 and f+1 have the amplitudes
corresponding to the first description of the line from oc to 1.
Hence
so that
Jf e-
where C is the contour of Fig. 81, and the amplitudes of f—
and f -|- 1 are chosen to be zero at L. If | f |> 1,
— yy iy
( }
FIG. 81.
nfl
§§99,100] EXPRESSION FOR Gn (z) 271
"
where in the latter integral £—1 and f-fl have the amplitudes
corresponding to the first description of the line. Hence
so that
Fio. 82.
Then
x(»)=
where 0<fl<l, 0<0'<1. Therefore
^
Hence
But
2, where « =
/ ie^t&V1--'
\ 22 7 =
§ 100] ASYMPTOTIC EXPANSIONS 273
Thus F^)!^,
M= ^"" -'
where
Therefore
It follows that
(47i2-l2)(47i2-32)(47i2-52)(47i2-72)
f (W-l2)(4?
T" 2!(8^)
'* '"
2!(8z)2
(4n«-ls)(4wf-32)(4n*-52)(4n*-7s)
/ 2 /(47i2-!2)
/(47i2 "
"V(7rz)l l! 8z 3!(8z)3
M.F.
274 FUNCTIONS OF A COMPLEX VARIABLE [OH. xv
"12 (4tt2-l«)(4n*-3«)(4n«-6«) .
82 3!(82js~
Xsm
where Jc is positive, and the quantities mg are the zeros of the function J0(?w«)
regarded as a function of in.
FIG. 83.
where C (Fig. 83) denotes a closed curve which crosses the .r-axis at the
origin and at an infinitely distant point between two zeros of 3$(za\ and the
summation extends
Jc
to all positive values of m,. Therefore, since J0(za) is an
even function of 2,
t
But =7r lf
Hence Lim
«- f J0(ar)a»-^flte.
100] EXAMPLES XV 275
EXAMPLES XV.
deduce that
(iii) (7i-
[Apply the method of partial integration to the definite integral form
for P«m(4]
6. Shew that the formulae of the previous example also hold for Qnw(z).
7. If |z |< 1, shew that
)L\S)
+ 2\r/l\
according as 1(2)^0.
[Use Exs. VIII. 20, and Ex. 2, § 62.]
according as
12. Shew that, if \z\>I,
2"+1cosmr r
3 1\
' 2' ?/
.on
, ,
[Use Ex. 2, § 97.]
13. Shew that, if |,|<1,
MISCELLANEOUS EXAMPLES.
1. Shew that
^
and give a geometrical interpretation of this equation.
2. If n is a positive integer, prove that
(i) z2n - a?n = (z2 - a*) (z* - 2az cos - + a2 . . . - 2az cos
z2-
3. Prove that, if the points zlt z2, 23, are the vertices of an equilateral
triangle, *? + Z* + Z32 = Zfa + V3 + Zfr .
cos
(ii) Lim ±-^. — - = *; (iii) Lim ^— - — -=f.
' z-^i sm-rrz z^i simrz
19. Shew that
sin 2# — i si
20. If z tends to infinity along a straight line through the origin, shew
that Lim tan 2= ±i, according as the line lies above or below the real axis.
z— >-oo
21. If w=coshzj shew that the whole w-plane corresponds to any strip of
the 2-plane of breadth TT bounded by lines parallel to the #-axis. Also shew
that, to the lines x= constant, y= constant, correspond the confocal ellipses
and hyperbolas, %2 ^ _ ^2^2^
- 2~ ' cos2 sin2~"
MISCELLANEOUS EXAMPLES 279
25. If the sequences zl, z2t z3, ... , and z±, z2', 23', ... , converge to the limits
z and / respectively, shew that the sequence i^, w8, ws, ... , where
fe.
|logl±r,H-l<r<l,
log —^— , if /• < 1 or r > 1.
[Integrate -^A _|— \ Z_ — M_\— __J round the contour of Fig. 33, and
put o?= tan #.]
28. If - 2 < a < 2, prove that
30. By integrating logf 1-f t*J ^ r 2 and logfl+i'-j 2 g .,, where r and
are real and positive, prove that
31. If a, c, and m are real quantities such that m g 0, c> 0, shew that
sinm(x-a) dx v /, ~
«-mc
ii p
x-a
32. Shew that, if a and b are real, and m^tt^O,
cannot have a root whose modulus is less than ^. Also shew that the only
case in which it can have a root z=*eie is when an= —e~*ne, (w = l, 2, 3, ...).
37. Shew that, if
z+I 22+l
43. Shew that the series
-
2!
--
3!
is convergent if E(s)>0, divergent if E(s)<0.
44. Shew that the series
58.
co
Prove that
-r, ,, ,
2" 1
Si (?i+.r)2+3/2 y c
59. Calculate the residues of the function (l+s2)-"-1, and shew that
dx 1.3.5....(2ra-l)
pr,ove that
(i) w=0 along each side of the four squares ;
(ii) w—\ within each of the two squares about the diagonal ODB ;
(iii) w= - 1 within each of the squares about the diagonal ADC.
70. Integrate (1 - e~*)/z round the contour consisting of the positive x and
?/-axes and a quadrant of an infinite circle, and shew that
(i)
(ii)
sn GO?
(io Jof-^
m2 + x*l- 2r cos 2out' + r2 2 (\ 1 +* r)/ (e*"m
\ - rV/
flntegrate (i^
284 FUNCTIONS OF A COMPLEX VARIABLE
73. Shew that the root of the equation z = £+v:ez which has the value
when 10— 0 is given by „ n
provided \iv\<\e~^~l |.
74. If z=£+esinz, shew that, for small values of e,
/•\ /• e • !• & 3 2
W ^=C+rjSmf+2T
e
sn cos + — sn cos
(ii) sin z = sin £+ —^ si
75. If z = (+wzm+1, where £=£0, and if that root of the equation is taken
which has the value f when w=0, shew that
and77.lie Ifbetween
n is a positive
± 1. integer, shew that the n zeros of ~Pn(z) are all real
T (cosh 2t-zfk'Pn(z)dz
79. If |r | < 1, shew that
r»n _ ...
where the principal value of the inverse tangent is taken.
80. Prove that, if 0 < 0 < TT,
(i)
= -i log{4(cos 0-cosa)2},
(ii) cos 0 cos a - i cos 2^ cos 2a. + J cos 3# cos 3a. - ...
= Jlog{4(cos 0 + cosa.)2},
unless one of the quantities 6 -a. and 6+a, is an even multiple of TT in case
(i) or an odd multiple of TT in case (ii).
MISCELLANEOUS EXAMPLES 285
82. Shew that, if 0 ^ 6 ^ 2:r,
-fsin26»log(4sin20),
,x sin 40 sin 66 sin 80 . n/1 , _m . 9/3
(n) Y^+-JT^+~3~T + '''=*m ^~ ^
- sin 0 cos 6 log (4 sin20).
84. If n is a positive integer, and if 12 1< 1, shew that
Deduce that
_ »
oo a— »'I2
88. Shew that the series
2!4 4!6 6!
that, if R(c)> - 1,
Jo c-~v-T-/x"~-r/ -r
^M(-i-l)~\-^-n
..(n + k\(n + k n\ (n+k
^ l"^^./7f\/ / \*» 71 W I
7T Jo
whose paths are : (i) a complete circumference of the circle ; (ii) two cir-
cumferences(iii)
; three circumferences. What is the shortest non-zero
path from ZQ along the circumference which makes the integral zero ?
4 / ^''X A / ?£ -'\
Ans. -fV&a*; (i) -|a*(l+«?J, (ii) -f«He3 +e3), (iii) 0; three-
fourths of a circumference.
109. Shew that all elliptic integrals /E(^, JX.)dx, where R(A', y) is
rational in x and ?/, and X is a cubic in x with no repeated factors, can be
expressed in terms of integrals of the three types
f dy f ydy f dy
J VC--)' J ^--- J -«'
288 FUNCTIONS OF A COMPLEX VARIABLE
110. Establish the identity
where the product is taken for all integral values of A and /x from 0 to nt
with the restriction
111. Shew that
(n+l)*
115. The function <(p(u} has a real period 2^ and an imaginary period 2o>2,
where w2--= ^log
TT (\aj
- ), a and 6 being real and positive, and such that a<b.
Shew that, if 0=fj(f^llogi
\ 7T Oil
), the annulus in the ^-plane bounded by the
circles |f| = a and |f| = 6 and a barrier along the positive real axis, corre-
sponds to the entire 2-plane. Shew also that only one point of the annulus
corresponds to each point of the 2-plane.
116. Prove that
sn / \
- sn(«- ,) =
118. If six of the nine points in which the cubic y2 = 4x3-g2x-g3 is cut
by a second cubic lie on a conic, shew that the other three points lie on a
straight line.
119. If a conic passes through four fixed points on the cubic
y*=^-g&-gv
shew that the straight line joining the two variable points of intersection
passes through a fixed point on the cubic.
MISCELLANEOUS EXAMPLES 289
210+...,
Ans. wi = l-^ + -^TzQ- ' 9';
1 3 , 3.9 3.9.15
~5~! 5.11
— 1Z 2_A*5
W*~2\ 8 5.11.17 n
8! Z 11!
122. If n is a positive integer, shew that all the zeros of Pn(z) are
simple zeros.
[By differentiating Legendre's Equation it can be shewn that if P«(.z) has
a zero of the second order, ~ Pn(z) = 0 for all positive integral values of £.]
123. Find ttiat integral of the equation
^=wz+z'l-^r
2 1\ 23 /2 2 1
125.
oo -n+4
Ans. wz^e* w
M.F.
290 FUNCTIONS OF A COMPLEX VARIABLE
(iii) (1 -z*)Qn(z
(iv) (1 -^QL.M + nQnW -nzqn
132. If n is zero or a positive integer, shew that
deduce that, if m and ^ are positive integers, both odd or both even,
r pm(z)pw(s)^=(-i)
j°
-1 ,\2
(iii) r
146. Prove that
T MJ M=
[Put J0(a.r) = - I cos (a.r cos and change the order of integration;
or, expand JQ(CLT) in powers of .T, and integrate term by term (cf. Bromwich,
Infinite Serf ex, § 176, B).]
Jo^
MISCELLANEOUS EXAMPLES 293
[For (i) use the substitution given in Exs. XIV., 18, for Jn(#.r), and change
the order of integration ; after the first integration expand (6 + ia cos c^)-2"-1
in powers of cos <£, and integrate again ; or, expand J«(o#) in powers of #,
and integrate term by term. For (ii), differentiate (i) with regard to b.]
7TJO
153. Prove that - /* e** cos * cos (y sin <£) d<j> = J0
[Expand cos (y sin (/>) in powers of sin 0, and apply §99, Cor., Example
145, (iii), and Taylor's Theorem.]
INDEX.
Abel's test for convergence of series, 80. Collinearity of points on cubic, 197.
theorem on continuity of series, 125. Complex numbers, 1.
Addition of complex numbers, 1, 3. geometrical representation of, 1 .
Amplitude, 2, 4. operations with, 1-5.
of a function, variation of, 11-17. Complex variable, 7.
principal value of, 2, 4. function of a, 7.
Argand diagram, 2. path of variation of a, 7.
Argument, 2. Conformal representation, 37.
Asymptotic expansions, 136. Congruent points, 179, 180.
(See under Bessel, Euler, Gamma Conjugate numbers, 1, 2.
function.) Connected region, 30.
Continuation, analytical, 122, 208.
Bernoulli numbers, 132. of 249.
hypergeometric function, 153, 156,
Bessel function, 236.
Bessel function Gn (z), 240. of integral of diif. equation, 213.
addition theorem for, 254. theorems on, 123, 124.
as a contour integral, 267. Continuity, 23, 24.
asymptotic expansion of, 271. Abel's theorem on, 125.
in terms of Bessel functions of first of series, 92.
and second kinds, 240. uniform, 24-26.
recurrence formulae for, 241. Convergence of infinite product, 107, 108.
Bessel function of first kind, 237. unconditional, 107.
addition theorem for, 254. Convergence of sequence, 42.
as a contour integral, 267, 268, 270. uniform, 42.
as a function of its order, 239. Convergence of series, 76.
asymptotic expansions of, 273, 274. absolute, 76, 78.
recurrence formulae for, 239. circle of, 80.
zeros of, 241, 274. of a double series, 78.
Bessel function of second kind, 238, 239. of power series. 80, 82, 95.
Bessel functions, relations between, 241. radius of, 80.
Bessel's equation, 236, 266. ratio tests for, 77.
Beta function, 144, 145. uniform, 92.
Binomial theorem, 90. Coordinates, polar, 2, 29.
Branch of function, 13. rectangular, 2.
Branch point, 14, 39. Cross-cut, 30.
of an integral, 257.
Derivative, 26, 28.
of function of a function, 30.
Cauchy's integral theorem, 51, 54.
residue theorem, 57. of holomorphic function, 28, 70.
Circular functions, 33, 83, 90. of inverse function, 30.
Coefficients, undetermined, 9G. partial, 31, 70.
INDEX 295
The numbers refer to the pages.
Determinant of fundamental system, Fuchsian type, equations of, 243.
216, 223. sum of indices a constant, 243, 244.
index of, 224. Function, analytic, 29, 208.
Differential equation, homogeneous conjugate, 31.
linear, 209. continuous, 23.
coefficients of, 210. dominant, 210.
construction of, 216. doubly-periodic, 179.
domain of ordinary point of, 210. elements of a, 208.
dominant equation, 210. even, 33, 97.
Frobenius' method of solution, 225. geometrical representation of a, 7, 10.
fundamental equation, 220. holomorphic, 29, 52, 93.
fundamental system, 215, 257. initial value of, 10.
indicial equation, 225. integral, 88.
integrals of, 210. integrals of, 48.
of the first order, 210. inverse, 30.
of the second order, 210. limit of, 22.
ordinary point of, 210. meromorphic, 39, 40, 89, 160.
singularity of, 210. multiform or multiple-valued, 7, 161,
solutions of, 210. 209.
Differentiation, 26, 28, 29. odd, 33, 97.
of series, 93. of a complex variable, 7.
under integral sign, 44, 69, 138. of a function, 24, 30, 49.
Discontinuity, removable, 23. of two complex variables, 69, 137.
Division of complex numbers, 1, 4. of two real variables, 26.
Domain of a point, 38, 210. periodic, 32, 86.
periodic, of the second kind, 187.
Elements of a function, 208. periodic, of the third kind, 189.
Elliptic function, 180. rational, 89.
order of, 181, 182. rational integral, 88.
poles of, 180 to 183. region of existence of, 7.
zeros of, 182. regular, 29.
(See under Jacobian and Weier- simply-periodic, 86.
strassian functions.) single-valued, 7, 209.
Elliptic integrals, 169. transcendental integral, 88.
reduction of, 170-173. uniform, 7, 209.
transformation of, 170-174. uniform, classification of, 88.
(See also Legendre's and Weier- Fundamental equation, 220.
strass's elliptic integrals.) Fundamental
257. system of integrals, 215,
Equations, roots of, 16, 69.
Euler's constant, 135. associated with fundamental equa-
asymptotic expansion of, 134. tion, 220.
Euler's in neighbourhood of singularity, 219.
141. definition of gamma function, Fundamental theorem of algebra, 68, 69.
Expansion, Lagrange's, 119.
Expansion of functions in scries of Gamma function, 109, 139, 141.
fractions, 103, 105. asymptotic expansion of, 146.
Exponential function, 32, 90. duplication formula for, 145.
Euler's definition of, 141.
Fourier series, 86. expression as a contour integral, 143.
Frobenius' method of solving linear Gauss's definition of, 141.
diff. equations, 225. the derived function \f(2), 141.
indicial equation, 225. Gauss's differential equation, 228, 258.
solutions free from logarithms, 228. function 11(2), 141.
uniform convergence of series with sum, 117.
regard to index, 227. theorem, 144.
206 FUNCTIONS OF A COMPLEX VARIABLE
The numbers refer to the pages.
Geometrical representation. (See under Integrals of differential equation,
Complex numbers, Functions and existence of, 210.
Transformations. ) fundamental system of, 215.
Green's theorem, 45. in form of infinite series, 213.
initial values of, 210.
Gregory's series, 84.
linearly independent, 215.
Harmonic functions, 31. Integrals of diff. equ. in form of definite
Harmonics, cylindrical, 236. integrals, 255, 266.
spherical, etc., 249. branch points of, 257.
Hyperbolic functions, 33, 90. fundamental system of, 257.
Hypergeometric equation, 228, 258. 219. of diff. equ. near a singularit}7,
Integrals
relations between integrals of, 249.
the twenty-four integrals of, 247. at infinity, 224.
Hypergeometric function, 77, 151, 229, fundamental system of, 219.
246, 247. index of, 222.
analytical continuation of, 153, 156, regular, 222.
249. Integrand, infinite, 136, 139.
as a contour integral, 259. Integration, change of order of, 69, 138.
Hypergeometric series, 77, 78, 144. of series, 93.
convergence of, 77. partial, 53.
under integral sign, 69, 138.
Identities, 83. Invariants (see under Weierstrass).
Image of point, 9. Inverse points, 9.
Indented contour, 65. Inverse sine function, 163.
Indicial equation, 225. Inverse tangent function, 34, 84, 86.
fundamental system, 227.
I(p) notation, 1.
Infinity, point at, 9.
continuity at, 23. Jacobian elliptic functions, 167,182, 198.
integral at, 51, 137, 139. addition theorems for, 202.
integrals of diff. equ. at, 212, 213, 224. complementary modulus of, 166, 167,
loop about, 162, 168. 200.
residue at, 58, 96. derivatives of, 200.
singularity at, 38, 39. diff. equ. of quarter periods of, 176,
Integrals, contour, 59, 97, 113. 231.
convergent, 136. duplication formulae for, 204.
curvilinear, 42. Legendre's relation for, 175.
definite, 48. moduli of, 167, 200.
double, 69, 138. orders of, 182, 202.
elliptic, 169. periods of, 167, 201, 202.
evaluation of definite, 59, 97, 113. poles of, 200, 202.
finite moduli of definite, 50. relations between, 200.
Fresnel, 62. relations between periods of, 202.
indefinite, 53. relation to Weierstrassian functions,
independent of paths, 52. 201.
limiting values of definite, 60, 63, residues at poles of, 202, 205.
113, 115. transition from Weierstrassian func-
tion to, 198.
of holomorphic functions, 50-52.
of meromorphic functions, 160. zeros of, 200.
of multiform functions, 161. Jacobi's imaginary transformation, 205.
piincipal values of, 65.
uniformly convergent, 137. Lagrange's expansion, 119, 125. .
with infinite paths, 51, 137, 139. Landen's transformation, 174.
Integrals of differential equation, 210. Laplace's equation, 31.
analytical continuation of, 213. Laurent's series, 84, 95.
at infinity, 212, 213. absolute convergence of, 85.
INDEX 297
GLASGOW : PRINTED AT THK UNIVERSITY PRESS BY ROBERT MACLETIOSE AND TO. LTD.
WORKS FOR STUDENTS OF
HIGHER MATHEMATICS
University of Toronto
Library
ec
DO NOT
ft
REMOVE
S3 ,0 THE
CARD
FROM
Cj Q
O «H
CO
THIS
EH
£0
0> +3
P o
OfiH
POCKET