286121-Functions of A Complex Variable - Text
286121-Functions of A Complex Variable - Text
286121-Functions of A Complex Variable - Text
A COMPLEX VARIABLE
FOR
POST-GRADUATE AND HONS. STUDENTS
25 Spherical Astronomy
Published by Printed by
B. D. RASTOGI, M. A., B. T. H. C. GOAL
Proprietor Proprietor
KRISHNA PRAKAHAN MANDIR LALITLOK PRINTING PRESS
Meerut. Meerut.
PREFACE TO THE FIRST EDITION
This book on ‘Complex Variable* has been written for the use
of students preparing for M. A., M. Sc. and Honours classes of
various Universities. The book will also be found useful for
various competitive examinations.
No claim to originality can be made but the authors have put
the subject matter in their own way after consulting all available
standard books on the subject. An effort has been made in the
direction of clarity without sacrificing any rigour. Obscure points
which are a source of confusion to students have been added
after each article.
Authors will feel rewarded if the book is found useful by those
whom it is intended to serve. Suggestions for improvement of
the book shall be gratefully received.
Authors also feel grateful to their publishers and printers for
their keen interest in the book.
—THE AUTHORS
=(a, y)-r(x'+x\y'+y")
=(*, y)+[(x'+y')+(x",y")].
Additive identity.
We have
(x, y) + (Ot 0) = (*+0, + >•)•
Therefore complex number (0, 0) is the additive identity
and consequently it is called zero for the system of complex
numbers.
Additive inverse.
We have
(*,.y)+( -y)=(x-xty-y)=(0, 0)
The number ( -xf - y) is, therefore, the additive inverse of
(x, y) and is called the negative of the complex number (a, y) and
we write - (x, _y) = ( - x, -y).
Commutative law of multiplication.
We have
Cx,y) (x't y')=(xx'-yy\ xy'+yx')
= (x'x-y'y, y’x+x'y)
= (*', y') (x. y).
Associative law of multiplication.
We have
fU, y) (x\y')) (x". y1)
<=(yx'—yy\ xy'+yx') (x", y”)
= [(xx'-yy') x"-{xy'+yx')y"% (xx'-yy') y"~Hxy' + yx’) x')
= (* (x'x"-y'y")-y (x'y'+y'x"),
. x (x'y"-j y'xn)+y (x'x"-y'y")]
= (*, y) (x'x'-y'y, x'y”+/x")
“(*» y) [ix't y') (x\ /')]•
Multiplicative identity.
We have
(x,y) (1, 0) = (x.l+y 0,x.0+l y)
= (x, y).
Therefore the cotnplex number (1, 0) is the multiplicative
identity and is called unity for the system of complex numbers.
Multiplicative inverse. The complex number (a', y') is called
the inverse of the ccmplex number (a, y) if
(a, y).(x\ y') = (1» 0). ...(1)
We have from (I),
(xx'-yy', a>'' + >-a') = (1, 0)
4 Comi lex Variable
so that xx-yy' = 1,
xy'+yx'=0.
“(A,;)Gt-y2’ a:"+/*)
-( xx> . yy' _ x-v' + y^L ^
\x's+y'- x'-+y'* ’ x‘-+y * a-'24T V
/ xx' -f yy' yx' - x>'\
V x “+y “ a £4yj
provided x'2 f i
Complex Numbers and Their Geometrical Representation 5
OR=OP+ PR
= OP+ OQ
= OR+OQ.
Difference. We first represent — zx by Q' so that QQ is
bisected at O. Complete the parallelogram OPRQ' and join
QP. Then the point R repre¬
sents the complex number
zx- r„ since the mid-points of
PQ' and OR are the same.
As OQ is equal and parallel
to RP, we see that ORPQ is a
parallelogram, so that
OR = QP.
Thus wc have in vectorial
notation
OP-OQ^OP+QO
= OP+PR
= OR—QP.
It follows that the complex number rx-r2 is represented
OR __OP
and OOR,
OQ OA‘
OR — OP.OQ, since OA—\
= fxr2,
and /_ROX= LROQV LQOX
~ Z POX i LQOX =t>x-\-(*2
8 Complex Variable
Note. Multiplication by i.
Since 2=r (cos Q+i sin 0),
and i—(cos l^-j-isin
manner.
Rotate the line OP in the clock-wise direction through an
angle arg z2 = V2.
Let OS be new position of OP.
Take 0/1=1 and through A draw a
line making with OA an angle equal to
the LOQP and meeting OS' in R. Then
or 07?=—, since OA — 1.
r2
Also /_AOR = /_POR-/_POX
= 02 — $i,
so that the vectorial angle of is - {6, -01)=61-6g.
19.
Conjugate Complex Numbers. If z=x+iy, then the
complex number x-iy is called the conjugate of the complex
number z and is written as is. It is easily seen that the numbers
conjugate to 2,+72 and zxz2 are isx + ?2 and 3j22 respectively. Also,
we have | r 12 = z3, 2R (z)—z+s
and 2/(2) = r-3.
and
arg (rr(T-,f=)=arg 1
=0. [see Ex. 1].
(iii) tz! + 3±l^(3-i) (2~/)+(34-f) (2 + /)
2+i 2- i 4__/2
= 162=2.
* 3-'4-3 + /i o
•• 2tp7+2=?' = 2
and
arg *
= 0.
3. (a) that
arg z+arg ■s = 2mrt
where n is an integer or zero.
Now mid-point of OR is
0+*,+*, 0+)\+y2 (xx+x2 yl+yi\
2 * •he- \ 2 ’ 2 )
and the mid-point of PQ is also
*i-i -*2 yx +y2\
2 1 2 )’
Hence OPRQ is a parallelogram.
4. Prove that
i *1+ z21*+| Zi - ^2 \2=2 I zx I2 +2 I z212.
Interpret the result geometrically and deduce that
I a+ y/(*x-P*)\ +1 a— v(a2“^l
==1 a-f-/3 |-f | a— P |,
all the numbers involved being complex. (Agra 1963)
We have
i*x+*2 r+i z\ ~z2 r
= (21 + 32) (*i + Z*)+(2i-Z*) (3i-32)
= rzjS, + 2z232=2 I Zj I2 f 2 I z2 I2. ... (1)
Deduction.
Now let zx = a-f V(a2 — /3*) and z2 = a- \/(y.2 -/32).
We then have
I *» l* + l ** l2 = ^ I *i4-*2 r-f-i 1*1 1* from (1)
=i|2«|2+||2V(*-£2) i2
= 2 | a l2 -f 2 1 a2 — /52 1
and so [ zx H-|z2l]fHZ| l*H~l *21*4-2 |ztz21
= 2|«|‘+2|a2-02| + 2|/3|2,
= | a+/3|*+| «-/3|!+2 1 a2 — /32 1 u^ing (1 >]
= [|«+/3|+|«-/?||2.
Hence I «-f V(*2 -02) 1+1 * - \/(a? - ft2) 1 = 1 a + Z3 I + 1 a ~P !•
14 Complex Variable
cide with the direction of the vector AP. For the adjoining figure
it is clear that this argument is positive.
collinear.
6. Prove that the area of the triangle whose vertices are the
points zlt z2, z3 on the Argand diagram is
2{(z3- z9)\zt \*l4izt}.
Show also that the triangle is equilateral if
=i2^-tiA-^2 = zlz2-j-z2z3Az3zl. (Agra 60)
Complex Numbers and Their Geometrical Representation 15
*2 y2 1
*3 J’3 1
*i+*yi 1 1_
2/ 2/
x2 x2+iy2 1
*3 *3 4- iy3 1 1
We then have,
\e+(7T/3)}i
^3 *1 _ ae niJ3
=e
r2 — ~1 6i
ae
[See equation (3) of § 1*8].
*. o f 7r/3) i
Similarly
-3 ^2
- ^
-n ** l =zi
Zn — zx
or
or ri:+ r22^ -32—rir2 + r2r3 + ::2r'l*
7. If rlf rs, r3 ///t? vertices of an isosceles triangle, /vg//f-
angled at the vertex r2, prove that
zf + 2:f + :f=2:., (z^za).
Let /I, B, C be the points of
affix r,, .-2, r3 respectively.
Let BC=BA = a and let BC
make an angle 0 with the real
axis so that BA makes aa angle
We then have
/{(-/2| + 6}
*1-2 ae irr/2
—e [§ 1**J
~3 ^2 it)
ae
or - 2 i ^~ 2 - 2 -) _ / _ i-\
* *■ *• 2 T-a —~-2 ( - 1 “f" —3 )•
->-r -3> 2 9
r., — r,
so that —~ is purely imaginary.
*■ 3
17
Complex Numbers and their Geometrical Representation
Hence r (z-^f y 0
\Zt —ZZJ
i rz2~7*4-Eg—-i_l=o
or * U2-Z3 22-23J
2; — Zj __ _ 22 ~~”l _
_TV
...(1)
or Zo “ 23 ~2 ^1
AB — BC
Again
so that I *2“Z1 I H -2_Z3
Zo-Z 1 = (z2-z312
or (2)
(z2 —Z,) (2o —2,)= -(22—2j) (z2 —Z3h
or
Multiplying (I) and (2), we get
(z2-z1)2 (S2_?i) = _(S2-5i) (z2-Z3)
(Zg — ^3)
or (z8-z,)s+fe-z3)2=0
or Zl>+2zIt + Z3,= 2z2<zi+z3>'asbefore-
8. SAoiv that the triangles whose vertices are z„ z2, za and z,’,
Z2 1
Let A, B, C be the
points of affix zlt z2, z3
and A\ B\ C' the points
of affix Zj » z2, z3.
A'(fc)
Then the triangles
are similar if
AB=A'B'
..(1)
/!C ,4'C'
and l.BAC=B'A'C'=d, say.
z* - z, AC id ...(2).
Now
z2-z, /1Z?
Zs'-z/^^C' r0 .. .(3)
and , e
z2'-z/
From (1), (2) and (3), we have
*i_*3 “*i
z2 Z/-Z/ *
(Z2'—Zi')—Zl (Zz'—Zi ) — Z2 (z3 — z, ) zt (Z3 — Zj )
1 1=0.
7 *
~2
T '
-3
AB A'B'
_^ - - _/ _7
" . “3 -2 *-3 ”*2
AC AC'
which is the sime as before.
9. Show that the triangle whose vertices are zlt z2, z3 and
V. -s'. -3 are equilateral if
** ...(1)
Also (z2-z3) (>V-z3') = (r3-r1) (V-V). ...(2)
Multiplying (I) and (2), we get
-r2)(r2-r3) = (r1-r3)=
°r *|2+Z22 + V='l-2+^2-3 + -3'l-
Hence the triangle whose vertices are zl% z2, z3 is equilateral
(see Ex. 6 above). Similarly it can be shown that the triangle
whose vertices are zx\ z2', zf is equilateral.
10. Prove that the centroid of the triangle whose vertices are
~ , ;c ri + -2 + ^3
-li -2* -3 -j--
x'i-\-2>uxz-\-3bx-\-c=Qi
—2,
From (1), 7=5, - -—~ (5g—53). ...(3)
*3
•y _ **
-
From (2), 5 = 32 — - (53-5,). ...(4)
*3 “ Z1
Eliminating 3 from (3) and (4), we have
2 • ri / V
-1 ~2—“ ~ (So ~ <?3^
to “ —*3•» ^3 ~ -1
OF ^ (3,32-223,)
i.e.
II
v-l ~ *-2 S
or — _ *"2
*t » _ rs‘°2
-1 -1
Complex Numbers and their Geometrical Representation 21
zb + zb=c,
if a'b + ab = c.
Let Py Q be the points of affix P(CL)
a, a'.
Now the point Q will be the
reflection of P in the given line if
the line is the right bisector of the
join PQ. Let R be any point z on
the line.
We then have
PR=QR
or | z—a |=| z-rt'l
or (z-a) (z-a) = (z-a') (z-a')
=T fa a'-<*<*]= f-ck=c
or a'b + ab = c,
which is the required condition.
15.
Show that the equation of a circle in the Argand plane can
he put in the form
:? + b'5 + bz-\-c=0,
where c is a real and b a complex constant.
v'»
Let r be the radius and a the affix
of the centre of the circle. Let z be
the affix of any point P on the circle.
Then we have
|r-a I =r
or jz - a |* = r2
or (z -a) (5 —a)=r2
or Z5~o3 — a'z-f-ai —r2 = 0
which is of the from
zt?+£- + £z + c=0
where c is real since aa—r2 is real and b
Clearly the centre and radius of the circle of form (1) are -b
and \/(bb — c) respectively provided bb—c -> 0.
16. Show that zx> z2 are the inverse points with respect to the
circle
bz + bz + c=0
m-2+te2 + ^z1 + c=P.
Let /, Q be the points of affix z,,
z2 and 0 the centre of the circle.
Then affix of O is —b and radius
of the circle
= \/(bb- c).
Now P, Q will be inverse points
with respect to the circle if
OP. OQ = (radius)2
and the points O, P, Q are collinear.
Complex Numbers and Their Geometrical Representation 23
I zi + t> I I ?2 + b \ = bb—c,
since the moduli of a complex number and its conjugate are the
same.
Fium (3) and (4), we conclude that
(?i + b) (z2-f 6)=66~—c
or z12?2 + 6jo4-^zl + c=0.
17. Show that inverse of any point a with respect to the unit
circle J z |=1 is 1 | a~
Let b be the inverse of the point a with respect to the circle
z|=l.
We then have
a 11 b |= l
or ...0)
and arg 6 = arg a— - arg a
or arg ba = 0,
so that ba is purely real and positive.
Hence ()) may be written as
ba= 1
or 6=1 | a.
18. Show that if the points zltzt,z9,z4 taken in order are
coneyclic, then the expression
~ zt) (z4 — z2)
( *3 z2) (z4 — zx)
is purely real.
24 Complex Variable
or
■" (k)| <H)-°
or arg
(z4-z2> iZj-Zj)
(Z4-Z,) (z3-z2)
so that is purely real
(z4-z2) (Za-Zj)
Z1Z4 ~ Z1Z3
- ~ ~m + so that z2=-z,J
*■ 1 “4 '
= — 1, which is real
Hence the result.
20. Find the loci of the points z satisfying the following
conditions :—
Z--J
O’) arS jx} — -y . OH
z+7
2 (///) |z*-l | <1.
O'v) 2—a cos t-\-b sin t, where t is real parameter and a,b
are complex constants.
Complex Numbers and Their Geometrical Representation 25
z- 1 I)-f iy
(i) Now
z+1 (x+l)+i>
_[(*— l) + iy] [(*+1) -/>]
(AT+ l)2 + >’2
_(x2+y*-l)+2iy
(x+\)2+yz '
z—l . 2>>
arg^j-T=tan-1
a2+>’2- 1
_ 7T
Hence tan -l
x2-^*- 1 3
2y
or -5-—5—: = tan -- =v/3
x* + y*— 1 3
which is a circle.
z-/
(ii) > 2
zp
Z -l
or > 4
*+ »
fz —l) (3 + 1) > .
or
(Z + 0 (3-0 ^
or 23 i / (z — 3) 4-1 > 4Z3 4-4/ (3 - z)-f 4
or 3zz+5/ (3—2)4- 3 ^ 0
or 3 (*•+>•) +5/ ( -2/» + 3 < 0
or 3*2 + 3>’2-4- lOj'4-3 < 0.
which represents the interior and frontier (or boundary) of thr
circle 3x24-3j>2 +10;>-4-3=0.
(iii) We have | z2— 1 | < 1
or (Z2— 1) (32 — 1) < 1
or Zz32 - Z2 - 32-f 1 < 1
or <x* + y*)*-2 (x2-y2) < 0
or r4 - 2r* cos 20 < 0
or r2 < 2 cos 26,
which represents the interior of the curve
r*=2 cos 20.
Alternative. | z* - 1 | < 1
and xbo—yb
cos / = - * ^ .
.
Squaring and adding, we get
2 _(*0g— 3’gi)24 - jfti)2
(Vs—Vi)*
or .x2 (<v + V)+>J (0^+ b*)-2xy {axa2+bxb2)=(bxaz - Vi>*
which is an ellipse since
(Vs + ^s)*— (<?a2 + V) lV +V)
=2axa2bxb2 - t/22V - 6,2<V
= - MrMi)2
=a - ve quantity.
Note. a.v2+2/Mry+V+2g*+2fy + c = 0
will represent an ellipse if
hz -ab < 0.
21. Determine the regions-of Argand diagram defined by
(/') z3-z|<l. (//) |r-l |+|*+i | <4.
(i) We have
ZJ-Z | < 1
or r~ (cos 20 + / sin 20)—r (cos 0 + 1 sin 0) • < 1
or (r2 cos 20-r cos 0;2 + (r2 sin 20-r sin 0)2 < 1
or r* -2r* (cos 20 cos 0+sin 20 sin 0) + r8 < 1
r4—2r3 cos 0 + r2 —1 < 0.
Hence the region represented is the interior of the curve
r4—2r3 cos 0 + r8—1=0.
or
or V[(x- 1 )2+/2] < 4-y/[{x+\)2+y2]
or (x-V* + y* < 164-(x4-I )2 + y* - 8\/[(x4- !)*+/]
or -4x-16< -Vl(*4-l)*+>'2]
or (*+4)2 < 4 [(x4-l)24->>lJ
or 3x2 + 4/2- 12^0
•2 -,2
X* V:
or
7+7 > >■
The required region is therefore the boundary and exterior
of the ellipse
X2 V2
T + T-1-
11 can be easily seen that the foci of this ellipse are the
points (1,0) and (— 1, 0) and major axis is 4.
22. Find the regions of the z-plane for which
-(-O' \
\a+tb )’
CO °,di"a‘eS °f P a"d<3 referred ,o ,he origin O as
ard ot an 7 aT.raS M"al tlne- ,ndicale 'he positions of P
ad Q in an Argon I dtagratn. If P moves along the line AB and
and 0,^tan-1 —.
a
Now
PiK = -/+Ji
a-\-ib
OP=rl,
=?
ri
LAOP=Bx and /_AOQ=tt-6x,
so that LQOC=Bx.
OA p
Again
OP~rx
and OQ Pt/rx_ P
OC~ p ~~rx *
OA_°Q
*’* OP=OC
and LAOP=l_COQ.
Hence the triangles AOP and OQC are similar.
To obtain the locus of Q, let
-=_ r _ P2_{a-ib)
a-\-ib a2 b2
or p~ (a—ib)
*+/>=-
fl --f b* *
P2a
a*+b2 ..(I)
P’b
}'=
a*+b-' ...(2)
Complex Numberc and their Geometrical Representation 29
P 2P
so that
P 2p
or 2a + b = 2p. ..(3)
Squaring and adding (1) and (2), we get
. -H)
a* 4 b2
Also from (1) and (2),
y — 2x= (6 + 2*)
a2 t b
2p3
or >> — 2*=q2_^2 from (3). . .(3)
(iv) Z««f+y,
11. Similarly triangles BCX, CAY, ABZ are described on the sides
XYZ are
XYZ arT"8 6 M£C'
coincident. Sh°W the c^!roids of ,f BC and
b-c c-a~a-b~X
when (x-c)+(y-a) + (z_b) = \z (b-c) = 0
..
x-\-y+z = a-\-b-\-c
or x-\-y+z a-\~b + c
3 = r~-
Hence the centroids of ABC and XYZ concidej
ANSWERS
6. 22s+(/_il4_((+1)3=0>i(/+])> J
This correspondence is ^ ,
established by means of c#
take a point V on the sphere”?1^ Pr°;!eclion- F" this wt
equatorial plane as plane of nm , °f proJceli°n and its
32 Complex Variable
A' of the plane and, conversely, to each point of the plane, there
corresponds a unique point of the sphere.
Analytically we may proceed as follows :
Let the sphere be
X2 + Y*+Z*= 1
and the plane of projection be
Z = 0. ..-(2)
We take the vertex V of projection as (0,0, 1).
Let X, Z) be the co-ordinates of any point A on the sphere
and (x, v, 0) the co-ordinates of the corresponding point A', where
the line VA meets the plane of projection.
Since the points (0, 0, 1), (*, Y. Z), (x, y, 0) are in a straight
line, we have
X__ Y Z-l ...(3)
x~ y ~~ -1 *
1-Z_ 1
from (4).
X-iY 2
But
so that z, z' are inverse points with respect to the unit circle with
centre at the origin. Therefore the points of the Argand plane
which are inverse with respect to the circle J z J = 1 correspond to
points of the Reimann sphere which are symmetrical with respect
to the plane Z=0.
As a particular case, when z=0, we get from (5),
^=0, y=0 and Z = — 1.
and z' is the point at infinity by definition, which therefore corres¬
ponds to the point (0, 0, 1) of the sphere.
CHAPTER H
div
or j7 -(w» + i»W
Lim Aw
Henee
Az->0 Az
= ut+ivx. ...(2)
Alternative. Let w=f z) = u (a, y)+iv (a, y).
42 Complex Variable
d\v
Also
= y (wu+/vv)
_ 1 0H>
”T
so that / ' (r) is either equal to
d\v 1
— or —
Da i 0y'
2 8. An Important Observation.
a-"'=o
°r ~ (M + /V)«0
or + / 5- + / 5Z. =n
CV 0>> 0.v *
whence equating real and imaginary parts to zero, we get
0« Dp
Da Dy
and dv_ _ 0W
0A-“ay’
dy
Similarly from v (.v, y) = c2, we get
a«-
dy dx
or — =---= /;/.>. say
dx cv
Function of a Complex Variable
we may write
/(Z)=U [-i (Z+3). '2j (Z - 2)] + iv [i (z + 2), J' (z - 2)] . . .0)
Integrating, we get
Now 9A/=_92u
by by2
and
djf=dfu
dx a.x2'
. dN_bM_Vu a-u
dx dy dx*+dy*~0’
since u satisfies Laplace’s equation.
Therefore right hand side of (1) is an exact differential and
so v can be found.
Example. Let u = e* (x cos y-y sin y) ; then
dv , ,dv,
dv dx+ ~ dy
dx dy
dU .3 U .
“5- dx+— dy
dy dx *
e1 (x sin y+sin y+y cos y) dx
+ ** (x cos y-y sin .y+cos y) dy
v=
Jy cents. * (X S‘n y + Sin y+y cos y) dx
and 0r
sin 0
dx i+/v*(-SO— >
r
dd
—=sin f> d0 = = cos fl
dy r r •
48 Complex Variable
„ am a« ar, auafl
Hence dx dr'dx^dOdx
du a da sin B
= -.cosB-
ar 30 ^
r cB cr
Equations (3) and (4) are the Cauchy-Riemann equations
in polar form.
We can now obtain the derivative of/(r) in the polar form.
Wc have
dw dr , dw dB
dr ’dx dO ’dx
(du .3v\ fdu . 0v\ sin 6
cos B —|
\dr+‘*r) KdB*'dO)' r
(da . . tv\ ( av , . aw\ sin
i cos B-
\dr+‘ dr) C_rar+/rar>*7
= (cosf>-/sin 0) Q“ + ifr)-
dw , . . nJir
r = (cos B-I sin B) — ...(5)
dz o'
Functions of a Complex Variable 49
SOLVED EXAMPLES
1. Show that the functions u=x2 - 3xy2 is harmonic and find
the correspond ng analytic function. (Agra 1949)
We have
?_m=3*8_3v2
3a ’
— 6a.
dx*
du d2u ^
0— - 6^. sy«= - 6*.
d2u fi2u
so that u is a harmonic function.
c* oy
Now f' (z)=ux- iuv
= {3x2-3y*)-i(-6xy)
= (3z2 —0) —/ (—6z.O)
= 3r2.
f(z>=z3 + c.
2. Show that the function
u=sin x cosh y+2 cos x sinh y-\-x2 - y2 + 4xy
satisfies Laplace s equation, and find the correspond ng regular
function u + iv.
a2«
*= — sin x cosh y -2 cos a sinh >•+2,
dx
du
^ = sin at sinh >-+2 cos a cosh — 2^-*-4x^.
3
.z r
az ■ a;
Now /' (Z) = ux~iuv
=cos a- cosh y — 2 sin v sinh y-\-2x-{-4y
— i (sin a sinh y +2 cos a cosh y—2y+4a)
= (cos z + 2z) -i (2 cos z + 4z).
f{z)={i\n z-\-z2) - i (2 sin z-\-2z2)-\-c,
which is the required analytic function
3. If u’=/(2) = m4/V and u - v=ex (cos y — sin y)t find u>
in terms °f z* (Agra 1952)
We have. u-v = e* (cos y - sin y).
Complex Variable
50
= J^<fc+c=*=+c.
= | (e*+fez) dz + c
= | (1 + 0 c*+c
or f (z)=ez+cl as before.
4 .
If u-v=(x—y) (x2 + 4xy+y2) and f(z)=a + iv is an
analytic function of z=x-\-iy, find f (z) in terms of z. (Agra ’42)
Now / (r) = u + i‘v, so that if (z) = iu—v.
.'. (l+0/U) = (“ ->■) + / (i<+v) = C/+iT, say
Here £/=u - v = (x—y) (x2 + 4xy+y2)
%=&~¥x=x'l+*xy+y,+(x~y) (2x+4>,)-
= 3x* + 6xy- 3y*
9C/_3u dv
and =" - *7 = -(x2+4+V+>2) + (X-y) (4A-+2y)
dy ~ dy dy
= 3x2 - 6xy - 3y2.
dU
Let
ox =f/»i (*>y),
dJJ
and ='h (x, y);
dy
= (1 - /') 23 + c.
• •
5* v 'findt,w analyiicfunction
f(z) = u + iv.
We have (1 + 0/(-) = (" - v) + * («+»’>•
Let u- v=U and w+ v=V, so that
(1-f/)/ z)=V+iV.
■ d + 0/'
and
aK
Sx~2 I
r2 cos 2.v (eZl> + e-~v-2 cos 2v)- 4 sin- 2v
+ - 2 cos 2x)- ]
_ rcos e2j+e |
= 4 l_(e2v+e“-y - 2 cos 2.v)-J
= ‘/>a »*, )’)■
_ fT ( .4 (2 cos 2r- 2H
+c
-J [° + ' (2~2 coT2r)*
= 2/ Jf cos *r- ,1 f C
— i cot z-t-c.
/(r)=]J_.cot
= J (1 + 0 COt 2 + a.
Functions of a Complex Variable 53
= -i cot yM.
\Vben z=tt/2,/(2)=0. A=l
?en“ a, /(z)=i (1 - cot z/2).
7. /f and fjj are functions of x and y satisfying Laplace's
equations, show that s-f- it is holomorphlc where
„_d<t> 00
dy di
and /=00,00
dx^dy (Agra 1936)
54 Complex Variable
3^4-al,'=0=a^+—• ...d)
3*i+0y* 3-v* 0y2
05 = 3'^__0*0
Now dx dx dy dx-
dr
_= j_0^
and dy dy dx dy2 *
3/ _ 05 __ , 9“*A
These give
3r~0.y dy* <> x2
=0 by (1).
• dS =r9/ .
0-V 0>‘
, 3J.0t_0V_ 020
Similarly, + 3>- 0* 3.v2 d.v 0v
4-^-0 by (1).
0A“ 0T‘
05 0r
Hence 0.v 0A
Therefore 5 and / satisfy Cauchy-Riemann equations and
consequently 5 4 it »s regular.
S. Show that the function e* (cos y+i sin y) is holomorphic
anil find its derivative.
/(:)=«+ /v
Let
= ex cos y+ i.e* sin y,
We have
-~=e* cos v
dx
du — ex sin v
dy
0V 3v
= <4 sin y,z-=e* cos y.
dx dy
These relations show that
?u dv Adu_0v
= . and—=-T7
dx
- x dy dy
Functions of a Complex Variable 55
9M=Lim U ■ — 0) ”f/
ox
jc->0
i 0-0 A
= Lim-= 0.
=Lim yLiw±r_o
z-+ o i*+iy) *
Now if z—►O along y = mx, we get
/' (O)--Lim St. I
x-+0 xdfim) ,
Ay »
^ /
y/\m\
1 l
^ *f -#' * J
'
(!+/>») ‘
• cr «** si
A » a «* A
56 Complex Variable
9v . . y-o
— = Lim = i.
dy y o y
0U_0V
Hence
0X-0
0V^=_0U
and
dx dy'
The Cauchy-Riemann equotions are therefore satisfied.
Again / ' (0)=Lim /(r)
=-+Q
Functions of a Complex Variable 57
T.(x*-y*\±i (x*+y*) 1
— him x2-vyr *x+iy*
z-*0
Now let z—>0 along .y=x ; then
2»
/' (0) = Lim 2 (1 + 0 = i (*+')•
X->0 '
r vu (v2_
+ (lin{«5*£=2!>}]
e“*"4-0
Urn
x-*0
1
Urn
1/x*
x-*0 xe
Lim“T—r—i-l
*->0x[l+-4+2I-,+ ...J
1
Lim —
1 . 1
x-Ox+i
58 Complex Variable
=— =
OG
0.
du u (0, v)—u (0, 0)
Similarly — = Lim--
>.-o y
, .-^-0 n
>’->0 y
0v .. v(x,0)-r(fi,0)
— = Lim -
dx x—>-0 X
= Lim-=0
a--*0 A
dv 0-0
and —= Lim -=0.
*y .v->o y
Hence Cauchy Riemann equations are satisfied at the origin.
- -r-4
Now f (0)= Lim 6-—
r->0 r
= Lim IA = oo
—0 re'”l4
Hence f (z) is not regular at the origin.
Note. For a function to be regular, the first order partial deri
vatives of u and v must be continuous in addition to Cauchy'
Riemann equations.
12. lff(z)J?y£Z£*> (z^0),f(0)=0, prove that
fhhfjo) ^ 0 us
along any radius vector but not as z-*0 in any manner.
Let z—*0 along y =■ mx.
Then Lim^-^°)
Z-* 0 “
= Lim fy (y-ix)
=-+o i*+y )(x+iy)
— Lim ** mx (n x- ix)
~~ Y_^(j (.t'+wV) (x-timx)
m (/«—/)..v2
=0.
,v^0 (",2+*4) +
Functions of a Complex Variable
Then Lim
2—>0
i — I V)
==Lim(!(x6+^) (at+7x3)
T._ (X*-l> _ _ 1 ,
“"Ll™2(l + iV) 2
x-*0
Hence the result.
13. For what value af z do the functions w defined by the
following equations cease to be analytic :
(i) z—log n + iF where w = f> (cos 4>-f / sin <f>),
z=sinh u cos v+ / cosh u sin v,
(//)
where w = u~riv.
(i) We have
dw_p_
or c?2 cos <f> - i sin <f>
=(-Y-
' dwj
= ±V(z +l)2
dw_^_j_
dz ~ + I)
60 Complex Variable
••• +*•£-•
and 2M?“+2y|!» o.
3y dy
ILing Cauchy-Rieraann equations, these become
3u du
u --v — = 0,
3-v dy
and «_+,|?.0L
3.V 3*
du
Eliminating we get
?v
Similarly, ^=0,51 = 0
dy dx
and a-
dy = °-
Since the four partial derivative of u, v are Zefo, thd
functions u, v are constant and consequently w==u-\-iv is also
constant.
16. If f (z) — uyiv is on analytic function of z = x+iy\ and ip
any function of x and y with differential coefficients of the first and
Funct ions of a Complex Variable 61
!/'<-'
and 90__90 9m 90 3v
9>>“9u ' 9y f 9v • dy
or
90 _ 30 9v 90 3«
9y 9m * 93c+,9v • ax • •
•(<)
by using Cauchy-Rieraann equations.
Squaring and adding (1) and (2), we get
©Xf Me)'*©'] r®
since
Now i-+« 1
= 3m 9 9v 9 / 9y a du 9\
dr 3-v ) m + 3x ' 3jA V"9-v * 3m+^ * fv)
[u^ing Cauchy*Riemann equations).
-(«-/ 8V>) *- + / (?L_/ 3^ 3_
\9x 3x/9m \9x 9x / ' 9v
8-^V3 +/ m
\9a* 9xA9m+ 9v> *..(2)
Similarly
3
-/ 9 _fa“+/3lV3 • a N
dx 3y V9x+,a*yvaM a^y* ...(3)
Now u-\-iv=f (z)=f (x-j-iy). *..(4)
-c/ » -/ r ■■■■■ *^ • i • i
i -/•(*+«(£+'to
62 Complex Variable
0* 9^1 3^_92L
gv ”h‘ 9v 9m 3m '
a* 9y . cy dx
Then ...(5)
dv "~du an 9v "~9m'
\ . /9m . Sv \
i+i i
3v )*' Ca5+' iJj
Yd,u,.&yydx sy .dx dy\
='W+' 8*,Ar»+' Tu 3V-0.J
= 0 by (5).
Hence we have from (1), (2), (3) and (5)
+ \3* * A
9* 9m 0v A 9m
M=J (»f+n), v = 2T )
such that
a_ __ a 9m a ‘A _ J ( A 9_^
an,-9M dw dv 9h~ 2 \9« * 9v /
9 _ A dji , 3 3v __ _]/A_ a. /. 9
a iv 9m 9w 9)’ 9*v 2 \3m 1 dv
where u and v are treated as functions of two independent
variables m* and iv.
9 <L_ L(JL-i iYi + / ±\
*• dw 9~ — 4 \9m 0v A3« 3v )
, 1__L YAl
4 0H’0IV ~”\0Ma ‘ a»8/*
/av 3VN 9V
4 A!i
Hence
Van- avv 9h-
9w a»v*
9 V , ?V_4 320
aV
Similarly
a.v2+?r 9- 95*
Also h=/(r) and »r=/(2).
Functions of a Complex Variable 6 3
. _ 9^_ __4 / 3
0»v 9w \dz d\v) \02 dw)
or £+iHP+py <-)/■« )
(a>S 0
then
to to’
8K- 0X2
Similarly, we have
P4-SMg)>[>8KS)']-
— (S+S)
=4[®AI)>4'“
using Cauchy-Riemann equations and the condition that tt, »■
satisfy Laplace's equation.
Hence ’V!3
8
0*2 0y -4,/'wp.
Alternative. Since x-f i>=z and x—iy=ist we have
and
a_ a_ dx.d
as dx as dy • 03 2Va*+#aW’
x and v being treated as functions of two independent variables
r and 3.
• 0 3 • J3 VJL > /
as ' as 4 Va* 1 dy)\dxr ay)
or 4 _9-=-0!+ll
eras a a -2 a.)-1*
0X ^ 3*
-[(!)•*©•]
+^A‘”1 @+l?} •••(3)
Now obviously A will so satisfy Laplace’s equation, so that
a2A 3*A
a*2^2
and
/aAY=/a«\2
\9y) \dyJ *
Hence, we get from (3),
=4aTSl/«|B=4aTk[/(2,/(J,ir"
[see Ex. 17 alternative)
-45rFH{'w+/w>1'
= 24-p| {/(z)+/(3))M/'(3)
/ (z)—f (0) _
-~">0 as z->0,
ANSWERS
e-x (x—iyY tcos y -i sin y).
1. (i)
(ii) (x -V /)•)*+3 (* + '-v )2 + 1 + ic‘
(iii) tan (x+iy).
(iv) (x+iy) er+iv + c.
2. (i) tan-1 yfx+c, (ii) -sin x sinh y + c.
of the function zl
Let u'—z1'2 or n-2 = z.
Putting z = r ices 0+/sin r is fixed and 0 lies
where
between 0 and 2*. we see that two obvious values of w are given
^ it'! = v'r e*
H/tf .
and tr2-= ,\ r e
. , ,
— v ’ _
^/r\eYl°
CONFORMAL REPRESENTATION
>
Conformal Representation /I
V *0 “2 r“0
D 'A
Since/' (z0) is not zero, we may write n as /<e ,
Hence we pet
ibi
Lim a* = RJX'
n iff i
and (z) !•
h— £-i rw\\%\
Thus it has been shown that a small neighbourhood of the
point z0 is mapped conformaily on a neighbourhood of the point n 0
by the transformation \v=f(z) and this, correct to the first order,
is obtained by a magnification in the ratio | /' (z0) | : 1 and a rota¬
tion through the angle arg/' (z0).
Note. It should not, however, be concluded that »t’=/(z)
maps the domain D of the z-plane isogonally on a domain T of
the H-plane if/'(z) is non-zero and finite at each point of the
domain D. For, although a small neighbourhood of each point
74 Complex Variable
{© - ©■mgshen*1
+J
= £ dx* + 2F dx dy-\-G dy2,
©£+££)**
where E=(du Y+rtL'V -r--8" av 0M
vs* J + W ’
.a
a* - a^+s;^ 3*
W+ ‘
do: ds is independent of direction if
fi F G
i = t^i =A2 ( say ),
/3v -
V3*J +
and ,+©‘=^^
— = - X-~ = A, say.
v„ uv
The from (1).
(A2 - 1) ['V* + vtf8J — 0 i.e. A = + I.
Aliter. The condition is necessary.
Here we will prove that if the angle of intersection of the
cur\es T,, A is the same as that of C1 and C.2 both in magnitude
and sense, then f (z) is regular, ie the Cauchy-Riemann equa¬
tions are satisfied. .
I el r —,y (t) + iy (t) be any regular arc in the r-plane and its
image curve F through (//, v) be given by
11 •*»/{* (r) + />’ (03.
a = u {x (/),>• (/)>-!# (n,
v = v {.V u).y (/)> == v (/).
For the curve C to have a definite tangent at any point lx. y)
dx and l-y should not be zero. Hence we have
both
at ut
du dudxbudy_ dy
-dTtxdi + ,)v d,-"‘
dv 3v dx 0V dy__ ,
dt +"“ dt
r/A’ ^ dy
...d)
dt= dx 7/7 + dy 7r ~~V e dt ^ * di *
We also suppose that
J —, 1/ v. i=0.
...(2)
V w
Conformal Representation 77
(h
-r are not zero.
dt
/(--)=/i-.H (--„)+•• •
o) yyiyr + • • •
Conformal Representation 79
BB > (A + A) (C + C) ...(2)
For, if we write
A —a + ia', B=b + ib\ C=c-f ic\ z=x + iy.
A + A = 2a=0.
Consider w=a:Jr^
cz+d * ...d)
which is equivalent to
c»rz4 dw — cz—b — 0
where a. 6, c, d are complex constants. It is evident that (2) is
linear both in w and z. Hence one and only one value of z
corresponds to each value of w and conversely. It is due to this
fact ‘hat the transformation (1) is called the Bilinear Transform.!-
Hon or Mobms Transformation after Mobius (1790-1868) who
first studied the same. J
cz-\- d
82 Complex Variable
iv=z+a,
where p?q=2
84 Complex Variable
circle.]
If !"! = /• and arg z = 6, then taking modulus and argument
- 1
of —, we get
(^)
+i(#5rV-°
or / W/lw -bb-bdi- uw) f fi (_*lt -+~adw+A- -_ b-}
a lvw+pw+pn+y^
••.(3)
86 Complex Variable
The conditions (3) and (4) are given by one single condition
5\/
BB-AC B\
M)K-)= A2
where A and C are real quantities, i. e., (6) represents a circle
.. ~B ,
with centre-^ and radius-—.
.. £5 -^C
B\ BB-AC
/l2
...(7)
_ fl2+C ...(9)
Z,_ /fz+S‘
Now we prove an important theorem.
3*13. The bilinear transformations transform two points which
are inverse w. r. t. a circle into two points which are inverse
with respect to the transformed circle.
It is quite clear from the preceding article that if z, zx are
the inverse points with respect to the circle (6) of § 3*12, then (8)
of the same article is satisfied.
Now we make use of the transformation
az+b
1V= ——,
cz-\-d’
If w and M'j be the transformed points, we have
*wlw+(Swl+pw+y = 0,
88 Complex Variable
-Bw-C
'v-s;rx- aw + B
in which first is the reflection while the second is a Mobius
transformation. In first the angle is preserved but the sign is
changed, and the second is a conformal transformation. Hence
the inversion is the isogonal transformation, but not conformal.
As we have seen that the inversion is an isogonal but not
conformal ; it can be concluded that the result of two or an even
number of inversions is a one-one conformal transformation
because both the sign and the magnitude of the angles are
preserved. That is, we can say that the successive transformation
of even number of inversions is a Mobius transformation.
...(2)
id
If r=20-f ae be any point of the
circle, then
Z-P - ~n
—'
•
=—q\ t> 1
1
1
z-z0-(afl) e }
id . ty . id . i<f>
ae —le 1 ae -Jer
aeld — (a*//) e^ a , ^ it>
le -ce
l | (a cos 0 — l cos </»)-+-/ {a sin 0-— / sin '/>)
<7 (/ cos 0 - a cos 1>) + / (/ sin 0 - a sin <i>)
Conformal Representation 89
(z-p) 2
(z-q) (is-qi 1
or (l-kS)_z (p-qicl*)-S(p-qkli)+pp-qqk*=0.mm{2)
To show that p, q are inverse points with respect to the circle
(2), we replace z by p and 2 by q. (§3 12] This gives,
w (8 -*-pxy) -p—pxa.
or =k
w (s + <7iy) - 0 “ <h*
w - /? + />,«
= k S + giY
P+J?xCt 8+Ay
u—
8 + qiy
»r, ~ which are inverse points with respect to the unit circle
ii’
in the n -plane clearly correspond to the inverse points z, is which
are inverse points with respect to the real axis [see § 3 13] Parti-
culary the origin >c=0 and w=oo , which are the inverse points of
| iv >= 1, correspond to the conjugate points in the z-plane.
Suppose that
az+b
)v = ——
cz-yd
is the required bilinear transformation.
Obviously c^O; otherwise the points at infinity would corres¬
pond. The points »v = 0, iv=oo in the u -plane are the correspon¬
ding points to z= — b/a, -die in the r-plane ; but as these are
inverse points with respect to the real axis, we may write
Conformal Representation 91
_± = ±Z-=P ...(2)
c Z'P
c*+4
When z is real and | w |= 1, we see that
z-p
= 1 provided = 1
z-p
or in particular 2=0 must correspond to a point on the circle
| w | = 1, i.e.
(fX-f)HT = 1.
id
Now putting c=ce , where 6 is real, we get
id z-p
\v=e ...(3)
z-p
As it is obviously true that z=p gives w=0, p should be the
point of upper half plane i.e. Jm (p) > 0.
Z~P
where/) is any number, does map / (2) > 0 on the circle | id | ^ 1.
Clearly, we have
_»2-2) (p-p)
!2 -p I2
or ww - 1 = - 4 -- ^ I,n
u.hu ■ \(z-P)\2
which shows that the transformation (3) maps /„, (Z)=0 on
I »v I—1 and lm (2) > 0 will be mapped on to | w | > 1 0r
I .V | < 1 according as Up) < o or /(p) > 0. but / („) > 0
as we have proved above. Hence / (a) > 0 lor any value of - js
mapped on I < 1.
2. The general linear transformation oj the half plane
R (z) > 0 on the circle | w | .< 1 is
92 Complex Variable
TT b d .
Hence are inverse points of [ z | = I.
— - z~a a~* z — CL
~c r=~c • rz-i • ...(2)
a
z—a
az - 22 f * 12 \ ~ 1, i.e. 22 = 1J
z—a - l
"a-2 I 1 z
=1.
Now we shall examine the corresnnnH™,^ .. •
and the interiors of the circle | z | = l. ie cxtenors
We get
iO Z — C/.
IV iv -1= -r—r e~ 6 * ■ i
a2__1 2a —1 1*
(z - a) (2 - q) __ j
(a2- 1)~
94 Complex Variable
_(1 z j2 ~ i) (1 —I a l2)
“ | az— 1 I2
2- a ;2 - I az —1 *
»• i2 - 1 =
l«z-l i2
/A 0
re — Be |»- | j8r.e,(A“W -1 I*
Hence we get
__ a z—a act / z—a \
...(2)
c * z - pl/a e * \xz- p2'
We require | w | = p', when | z |—p, i.e. Z3=
or ax
7 =pp.
, i\ . ^
Putting —:= pp e in (2), we get
c
, /A 2—*
w-pp e - ...(3)
az — p2
which is the required transformation.
w= <^+/3
...
Vz+S
96 Complex Variable
« z+ft/q
y (z+8h) *
Hence
1 « 1 | c -a | a | c—a)
| y | | z-a | “ y R
a R id
i.e. ~—e
y (c-a)
Conformal Representation V/
(z-a).
a 1 JL I p
We require | z' (Z-fl)
T | S 1 R
ot 1 a 1 M
which gives
R r R
Hence the required transformation is
. z—a M
Z=~R e >
Now the second part of the problem is that 1 z' | < 1 may
be transformed to | w | < 1, such that c' is transformed into the
origin.
/z-a c-a \ iX iu
■ -m
R (-- c) <_
R- — (c—a) (z-a)
where x is the real constant.
It should be noted that, by suitably choosing a, we can make
any prescribed direction at z=c correspond to the positive direction
of the real axis at w = c.
6. Find the radius and the centre of the circle in w-pfane which
corresponds to the real axis in the 2-plane, where
a .
ze —i
tv
a
z - ie
x being a real constant.
**ca — |
-1 \ w-ea )
.(1)
or x+<>.=/ (w^)~i
\ »v — e J (w — ea) (w — ea)
i [wwea-\-ea— w— e*aw]
...(2)
[inr-ea (w+wH-e2®]
The real axis is given by the equation _>■ = 0, i.e. the real
part within the brackets on the R. H. S. of (2) must be zero,
i.e, wwea-j-ea - u - ue2a = 0
or H’H’ — uea—ue~a-\-1 = 0
or m2-J- va — 2u cosh a-f-1 =0
or (r/-cosh a)2-f-v2 = cosh2 a—l=sinh8 a.
Hence the real axis in the r-plane is transformed into a
circle whose radius is sinh a and centre is (cosh a, 0).
7. Find the condition that the transformation
az + b
U~~cz-\-d (Agra 1940. 65)
transforms the unit circle in the w-plane into a straight line.
The unit circle in the H’-plane is ^.iven by | w | = 1
Conformal Representation
- /'oz+b\/'<*2±b\= i
"w~\a+d)\cJ!+rt'
(az-\-b) {a?-\-b) = {cz+d) (ci + d)
(aa — cc) zs-\-z (ab-cd)+z (ab-cd)-\- bb .. .(2i
x*+y*- 4*=0 into the straight line 4n4-3 = 0, and explain why the
curve obtained is not a circle.
2-+ 3
H' =
z —4
...d)
_4»v+3
4»v+3 __4iv4-l
TP — _
Z it> —2 ’ 3_ T^2 -
iv-2
m ■n-'mhGm-'
The given circle is Z2-2 (z4-3) = 0
- 4w-f 3
Solving, we get
4w + 3 f/4iv4-3N
IV — rL±l
rJ\ J
I - 1=1 »v - i
< = > 1
i 4- ic
/. e. = r, where r < = > 1.
i - iv
/-fiv|* /—iv I2
I-w 2
= ra, where r < = > 1
i+iv
or 2v=|^|(u‘+v*+I)
Z-z.
w~<i~
_L_ = _L+Ar
w—p z—p'
(The points which coincide with their tranforms are called
invariant points or fixed points.)
(i) Consider the bilinear transformation
ar-\-b , ,
»v=-., ad—bc^tO.
cz-\-d
For the invariant points \v—z, i. e.
az-\-b
2=
cz-\-d
or cz2+{d-a) 2-6=0 ...(2)
Equation (2) is an identity, i. e. satisfied by each value of 2 if
c=0, d-a = 0, b=0.
This gives w=z, i. e. all the points of the plane are invariant.
If 0, in which case equation (2) has two roots z„ z2. such that
a - d± y/M
2r~ 2c •
where M=(a — df-^Abc and r= I, 2.
Thus the number of fixed points is one or two according as
M = 0 or M-fz.0, where the two invariant points are finite.
Let us suppose that c—0 and d^0 in which case we have
a b
w=nz+-d-
Clearly we see that one of the fixed points is oc and the 2nd
fixed point is given by
(d—a) z=b.
-GH) ■
which is finite if (d-a)^0 and if d—a=0 the transformation has
got only one fixed point, i. e. oo in which case
, b
w-~z-\-.
a
'^p=k z-P
w-q z-q
where A:=-——.
a - qc
(a-
->(-&
cz + d 1
\z— pY a-d
1 2 cz+d
/. e.
\\’—p u-\-d z-p
1c Z+-.+P-P
a-\-d : —P
p+d/cl
-Mi' ♦ z-p J
a-d+2d
2c , 2c 2c
a-\-d a + d' z-p
2c 1
.+
<* + d z—p
= *+-*-
w It ere
arg
z-ft r
z—a . , .
/. e. ^ is purely imaginary. B
/3
Hence we obtain the equation
of the circle having AB as diameter
as
a 2 — a
or ?-5 + *=?«0. ...(I)
ft
z—p z—ft ~ - /]
Conformal Representation 107
or
M-H-(l+e«»)_M>(«*'•+W-w(* + j3c.<V-(-a|8+i18e=1. = 0
or iviv (e~<94-e<e)—iv (ae<0 +
- IV (ae-'fl + -f + a/3e,e
-0
or u^4/3V^) u, (2f_l±Pe^)
2 cos 0 ? cos 0
, *(3e~i9+ oii3ei9
2 cos 0 ..(•0
which is of the form
mv-Mii'-M^4_c=0
whose radius r is | V(^-C)|.
Hence radius of the circle (3) is given by
r=
2 cos u (v/U*e<<,4-(ie-*0) (xe-i0-\-pei0)
-(e<e+e-‘9) (.^••+;/Je..)>1 ,
= 1 r ' ' ~ 1
2 cos 0 -(«/? + ^/?)}j
iy az + b
w = e ' -—=—
a + bz
1 1 1 . , , <7
-, =-, + r » where A: = 1 +1.
w-1 z —\'k 'b
a a +Mcc=c(rc/d'
ca
dd
{aa - cc) — — {aa - cc)
aa
or (aa-cc) {aa -dd) = Q, .. (5)
i.e. either |a| = |c| or \a\=\d\.
If we take o c , it can be written in the form c = ae^1.
Conformal Representation 109
Hence (8) takes the following form with the help of (7),
1 b a+b 1
it- 1 a+b+a+b (z~ 0
1 J_
z— 1 + k '
where A = ^ I 4-
awz — bw — bz-\- a — 0
maps the circle | r |= 1 on the circle | w =1 if b |^| a |.
Find the condition that the interior of the first circle may be
mapped on the interior of the second. Show also thary in this
transformation, the fixed points either are inverse points with respect
to the unit circle or lie on that circle.
The transformation becomes
a—bz
oz‘ - (b + b) z + a = 0
which being a quadratic equation gives two roots of r (which are
fixed) given by
z, = ^ + 6) + iV {4aa-(b+6)2}
2a
=n iVi4aa-(b + 6)2)1
2aa
are
(Alld. 1943, Agra 1949)
From w= 13/z-f 7 >
3z-5i
we get ^=I3fe+7S-0 (32—5/)
1^+75^673^
112 Complex Variable
_4 f 3/
...(4)
-5
\v - a u z —o
Hence ...(5)
>T-5 F^5’
where o, 5. A: are given by equations (3) and (4).
Taking argument of equations (5), we have
»r — o 2-0
tan"1
Conformal Representation 113
which means a circle in the ir-plane drawn on the line joining the
points a and b as diameter.
Again if we take a point z outside thj circle z -= 5, /. e.
| z j=5/x where p > 1, then
z=5/«^>'<^
z-a 5/x sin P — 3 . 5p sin 0 - 3
Hence arg -—7 = tan~l - tan'1 ----—,
z-b 5/x cos 0+4 SpeosO -4
_ — 8 15// sin S - 3)
n 25/xa - 7 - 30u sin w
_! ~8J5/i sin 6-3)
< tan /‘
! 8 - 30/t sin 6
= tan-a £.
z—
/. e. arg < tan-1 3
z—b
= tan_l * - a, say.
— tt/2 —a.
Hence the points in the u-plane corresponding to the points
outside | z | = 5 shall lie interior to the circle
w — a tt
arg
( ds
it— /> 2'
Exericses
iyb
Prove that if -, 0 < a < h, the inside of the circle
a
x2 + y2 = a9 corresponds to the inside of an ellipse in the w
plane, but the transformation is not conformal.
Find the Mobius transformations which make the sets of
Points in the r-plane (i) a, b. c, (ii) 2, 1 -f/, 0 correspond to
the points 0, 1, =c of the ir-plane. In case (ii). show by
sketches the domains of the u*.plane and r-plane which
correspond.
Find a Mobius transformation which maps the circle | z | < 1
on ii’ - 1 | ^ 1 and makes the points r = 0, I correspond to
H'= A, 0, respectively. Is the transformation uniquely deter,
mined by the data ?
[ads.
7. Prove that if tv = -2^^ and aS— /3V = 1, then the linear and
>z-t-6
superficial magnifications are | (yz+S) ~2 and | yz+5
8. Show that the relation
, fe + 2
* 4z -4- /
transforms the real axis in the z-plane to a circle in the
wplane. Find the centre and the radius of the circle and the
point in the z-plane which is mapped on the centre of the
circle.
critical point, the conformal property does not hold good at the
origin, and the angle between the two lines at this point in the
“•-plane is muluplied by n.
(3) Clearly a wedge (circular sector) having the origin as its
vertex is transformed into a wedge with its vertex at the origin
(4)
If vertex angle in the a-plane is 0=n,„ Hz. the domain,
0 < arg z < TT//7,
then the interior of this wedge is conformally mapped on the
M-plane and cuts along the positive real axis. This cut is often
called a slit and the plane is referred to as slit along the positive
real axis.
II. A special case of (1) when n=2. Here we have the trans¬
formation U’ = Z2.
G‘'Lo=(2z)-o=°.
Hence the conformal property does not hold good at the
origin or oo .
\v = u+iv=(x+iyy=x2 -y2+2ixy.
0 to so. Hence we see that the portion between the lines a:=0
and x=dx in the --plane corresponds to the portion of the w-plane
between the parabola.
va—!</,* W-k)
and the slit or cut along the negative real axis from 0 to — ;o.
y
Mill 'll." ••
■ 1 •’ ' 1
at*• -1■ inil •
•f•*«’•if.>||>
V*
■WMl,
i.i i.
o . i X
. J ..l',' ■'
it
X
2°LANt
»t’-plane z-plane
6. (a)Show that the transformation w (z-\-i)*=l maps the
interior of the circle | z \= I in the z-plane on the exterior of the
parabola
= VpVC0S 2 "/s,n 2)
124 Complex Variable
(1 + sin 0) =-sin ^
VP
a 1 0
...(2)
cos 6= — cos
Vp 2
Eliminating 6 from the equations (2), we have
/I 0'
( —r COS -r-
Wp 2 y
2 . «/>
or —— sin ...(3)
Vp 2 P
1
or 2 sin ...(4)
VP
Squaring, we get
2.0 0 I .
•*=-sin — cos
p 2
2.00,
2
--sin A,
fi. r
A,+(r+1-i)!=
1
P2
or — < 4 sin-
P 2
or p > i cosec2 (•/»/2),
a curve exterior to the parabola.
6. (b) //(-+ lj2 = 4r. show that the unit circle in the z-plane
4
or
R-VRCO*h° i e RC°S'-T = U
Hence the circle lr| = l in z plane corresponds to the
«i ^
a + 1= - cos2 4-=— (l+cos(y)»
/X
125 Complex Variable
2 6.6 1 . .
y=-cos sin -=■ =-sin 6
n 2 2 fjL
whence eliminating 6t we have
(Z+l)*’
Differentiating (1), we have
du’_8
dZ~ <Z+])3*
which is :+0 or °c for any point of
4
the quadrant. Hence ^ )g maps
Thus »»■ does not take any value twice in the quadrant.
Hence the quadrant is mapped conformally on a domain Z in the
w-plane.
Conformal Representation (Continued) 127
1
i.e. R= and <f>= — 0,
cos2 (0/2)
2 2
so that R= __ =see2 —
14-cos 0 14-cos 7> 2
i.e., it- moves on a parabola from
7T
“ -y < '/■ < 0.
-i:
—
f sec / tan /-Hog (sec /4-tan /)
I7"'1
= V2-flog (14-V2).
(3) Finally when Z moves on the imaginary axis i.e. Z=iY,
4 __ 4(1 — iT)2 _4(1-/T)2
iv = —=u4-/>.
(1-WIT* (1 4*/>V( 1 -iY)2 (1 4- Yz)
4(1 — y2) < -8K
re.
M '(14-Z2)2’ V (l4-y*>*\
2Y i - Y*
tan •!> = - so that cos </>= (-ypa
1 -Y
or 1 4-cos •/»= 1 4*
I 4- Y2 1 4- F2*
7? = 2 (1 4-cos 74.
128 Complex Variable
77
Hence w> moves on a cardioide from «/•=-- to 0 fas V moves
from 1 to 0].
♦ r_
Length of this part of the curve is
<!> .
ncos'2d
= 4 y/2.
Hence the total length of the boundary of 2" is
3 + {x/2 + log (l-f v'2.} + 4v/2
= 3-j-5\/2-|-log (1 -f \/2).
n
8. Discuss the transformation w=tans ~
map the rigion inside the parabola R cos2 P/2=\ on the unit circle
| w | ^ 1. Now here we have considered a transformation which
enables us to do so.
M-plane r-plane
Conformal Representation (Continued) 129
Then n =
1 + / sinh y
1 - i sinh y
so that 1 + i sinh y
w =
1 —i sinh .;
_ VO +sinh2 y _
VU + sinli* y)~ '
/-plane
meter (7-^0, the parabola r,2 = 4(l— 4) narrows down until it
becomes a slit along the negative real axis which is a branch
line.
which tends to a finite non zero limit as C-»0. Hence the points
£=0 and «'=0 are not critical points. Thus we see that the
transformation is conformal and one one.
.z+ic
\z+icj
or u+i,4*±yyzsyr
U+i'Cy+cJ
{-y+/ (.v-c)}2 {x—i O’+ci}*
{*+*' (y+c)}* {x-i(v + c)}2
_{(*2-f >2 - c*) - 2icx}2
[x* + (y+c)*y
(x* + y*-c*y -4c*x*-4icx (A2-f _y2-r2)
[x* + {y+c)z)z • • .(i)
Equating real and imaginary parts, we have
w = fAT*4->2-ci)2-4c,,jr2
_l*‘ + (.V+c)2J2
4cX (-C8-fAT2-f V2 • • .(2)
[**+(>'+r)#]2
\c+yj'
132 Complex Variable
u= ~~cos A ) ;
(1-f cos 6) -
= - tan* ~ .
maps the interior of the positive quadrant of the unit circle in the
w-plane conformally an the inteior of the positive quadrant of the
z-plane. Discuss also the correspondence between the boundaries
of the two domains.
Let us suppose
'=•»*. ...d)
so that we have
1+/
==l^t ...(2)
/=(«e'v0’ = «^'9i where w=Re,,
and if we take !=pei\ we get the relations
w-plane /-plane
Conformal Representation (Continued) 133
,=£nl
*+r
Now for the interiors, we clearly have
1 - t 7=1 - ini 1
*+!’*+!
_(*+l)(2+l)-tz-l)(?-n
(Z4- I)(2+l)
_2(z + 2) 4/?fz)
*+l j2“| (z + 1) |2* --.(3)
I 11 < the R- H. S. of (3) is positive, i.e. R (z) > 0.
Now '/£ri *_=I\
21 2/Vz+l 2+1/
_
4 [ Z2- 1 - 2 + 2 - Z2—2 fZ+ I
2 (z —2)
(Z+1) (2+1) ]
\ (2T+- 1),*
2/(z)
2+I |2* ...(4)
From (4), we conclude that if /(,) > 0, so is /(z)
Alos ~ = 4--
iv
clw f 1 — w*)2 = 0 when w=0.
z varies - - - ° -* - «■£
<c) When .V varies from / to 0 along the imaginarv axis
z-plane
11. If w=2z+z2, prove that the circle } z \ = 1 corresponds
to a cardioide in the w-plane, and that the vertices of an equilateral
triangle in the circle correspond to the points of contact of parallel
tangents of the cardioide. (Agra 1941, 53, 59)
We have, u-s*2z+z*
or U>+1=(2+1)2.
i e. p = 2‘( 1 -f cos 0)
= 2(14-cos </*), which is a cardioide.
It means that the boundary of the unit circle in the z-plane
corresponds to the boundary of the cardioide in the tv-plane hav¬
ing its pole at tv= - 1.
We see that the conformal property does not hold good at
(^) 2+2r=° or
=
angles A, B, C ]
Conformal Representation (Continued) 135
'[’{'«-(*♦?)}• ,t?].
The angle which the tangent at these points makes with the
_ . dv dvIdO
axis
is of u is — = where u=P cos 0, v= P sin 0
/>. u=2 (1 4-cos 0) cos 0
v= 2 (1 4-cos 0) sin 8
2 cos 64-2 cos 28
}
Hence
du du/d8 —2 sin 8 - 4 cos 8 sin 8
= cos 14-cos 28_ _ 2 cos 30/2 cos 8/2
sin 04-sin 28 2 sin 30/2 cos 0/2
30
= - cot ~2 .
Since the slopes of the three tangents, are the same, they are
clearly parallel. Hence the result.
12. Prove that \ zA- y/fz* - c2) I4-| z— y/(z' - c*) |= | z+c |
4-1 z~c I- Hence show that if the relation between z and w-p/anes
be given by
2*4-211*2 cos A 4-wz = J
and if z describes an ellipse whose foci are branch points in the
w-plane, w describes an ellipse whose foci are points in the w-plane.
(Agra 1946, 53)
We have
I ?! 4-2,1 HI -Ti-2j |*--(2, 4-Z2) (2, 4-32)4- 2,-Zs) (2,-5,)
= 2 (2,^4-22 -f-2)
=2 12,1*4-2 |z21*,
136 Complex Variable
2»v=(a - b)
2u=(a_-
=-(a — b) r cos 9-r*—.— cos ^ 1 . ..(1)
= (a — b) rsin#— sin 0 j
1 T aA-b~\*
B*=-\(a-b)r- — J .
2 iv
=( + 2 0- .. .(3)
(Agra 1950)
Clearly tv becomes infinite at 2 = 0, and
B-O-n)
which is zero at z=± 1. Hence the two points 2= ± 1 are critical
points, where the conformal property does not hold good.
138 Complex Variable
r- sin U
-1 I u
H’-plane
the real axis between the points 1 and -1 twice, or the ell
minor axis 0 and semi major axis equal to 1.
(b) Eliminating 6 between the equations in (4), we get
u v-
+ = 1 ...(5)
iK-)
which is an ellipse in the tv-plane and it corresponds to each of
I
change on changing r to — .
Conformal Representation (Continued) 139
axis of the ellipse, increase, that is, the exterior of the circle |2j=r.
‘Ty- plane
iv plane r-plane
(iii) Consider the wedge defined by a < arg 2 ^ ft. This
is mapped conformally on the domain between the two branches
lying on the right of the imaginary axis of the hyperbolas
given by
z-plane
(iv) When
0, Jr).
of the hyperbola to the right of the imaginary ;axis and the imagi¬
nary axis itself.
H’-plane 2-plane
(v) Clearly with the combination of the results (ii) and (iii)
we find that the region defined by
a < arg Z < ir-a
bounded is mapped conformally on the region between the two
branches of the hyperbola as given below
w-plane z-plane
We similarly conclude that the area exterior to the hyperbola
(7) is the image of the region defined by
■* f a < arg z < 2tt —a
in the 2-plane.
Remark. Similar to that as in ellipse we see that the region
outside the hyperbola in the w-plane is transformed conformally
on the rigion defined by
a < arg 2 < it—a.
in the 2-plane by that branch of
2=H' + V'(tt'!“ 1)
for which \/(w2— 1)—W for h>=0.
The second branch for which VOr2- 1)=—* for w=0 maps
Conformal Representation (Continued) 143
Hence the point (u, v) describes the part of the positive real
axis varying from (1) to <x> twice as r varies from 0 to >=. Thus
we see that tlie domain defined by
0 < arg z < a
in the z-plnne is mapped on the interior of the branch which lies to
the right of the imaginary axis of the hyperbola
u2/cos2 a —v2/sin2 a=l
with a cut along the positive real axis from 1 to ».
Z~ PLANE
,v.. PLANE
c* cosh2 v c2 sinh2 v ’ **
which are confocal ellipses for different values of the parameter v.
Let us take a rectangle in the
w-plane defined by u=±n/2, and
v= ±A. As cos u is -j-ve between 0
to tt/2 or -77/2 to 0, then for v = -J-A.
y is positive. The value of x: lies
between c eosh A and — c cosh A,
that is, the half of the ellipse on the
+ ve side of axis of x in the z-plane
is covered.
144 Complex Variable
2-plane
n-plane
having its vertex at the origin and one arm of the angle along
the positive *-axis is transformed into the upper half u-plane
i. e. / (w) > 0.
We see clearly that the arc cut off from the circle j z\=[
by the wedge is transformed by (1) and (2) into a unit semi¬
circle in the w-plane [because if r=l, p=\ and ^ = tt, hence
the resuit].
(ii) Semi-circular domain on half plane.
Let us consider the transformation
...(1)
Clearly it can be the resultant combination of two
transformations
w = ” and £ = p)
* 14-z •••K*)
o Jt
z. PLANE
2-plane
r sts
logarithm. ^ remember that though is one-valued
function but log 2 is an infinitely many-valued function of-
*18. Consider the transformation
l±=
- € •
.14 2 1
=1
1 rrz= / 2-i*
1 l4e'® ^0
If z=e<tf, then w = - -co* 2 *
Hence, when 2 describes the unit circle in the 2-plane
S “
tan a
V2 ,n
\J
Hence (1) represents an arc cf a ciicle subtending an angle
2a at the pole which is at the circumference /. e. the arc subtends
an angle -Ja at the centre, (see the figures below).
Exercises
1. If H's - /f cot (2/2), where c is real, show that the
rectangle bounded by .v=0, x=n; y=oo is conformally
represented on a quarter of the u’-plane.
22
2. Show that = t maps two of the four domains into
(n-z3)2+ru - 2y
maps the domain
| z | < I; 0 < arg 2 < tt/3
conformally on | w | < 1.
Discuss also the correspondence between the boundaries
of the two domains. (Agra, 1963)
^Hint. Make the following substitutions Z=z3.
v 1-fZ t—l
150 Complex Variable
Z’2~=ieiw
z+c
conformally transforms the strip v= — oo, v=oo, u=0,
into the circle | z | < c.
Discuss the transformations given below,
(a) H-(i±fV
(b) w=(jH)'
« ~G3'
and show that the certain semi-circle in the r-plane is the
conformal equivalent of the positive half of the w-plane.
Find those semi-circles.
[Proeceed as in Ex. 9J.
CHAPTER V
COMPLEX INTEGRATION
n
< 2e V Ur-fr-ih from (7)
r= 1
— 2z {t i — t^ t% ~~ t \ t-f ~ t'l • • T t n t,,-i )
= 2e [tn -t0]=2e (B-x).
Hence by definition of the integral of a continuous function,
the sum 5-0 tends to the limit
ZfKr) — 0)
r= 1
Kr being the point of the curve between rr_, and zf, where
Kr—?r+t>3f. For brevity we write u(Er, rlf)=ur and »'(£,, r(f.)=vr.
Hence (1) equals to
n
^ W (£r» C^r» *Jfl) (“ r — *-r—j)
r= l
fl
I
~\ L (u v dy) +1 (v dx+ u dy).
fc/(z)dz=z f(z)dz.
=(f+^131)-
Now let us take the curve C as the path OBA as shown in
the figure ; then we have
= f + /(4-i)-2
2 Hi
“"3+ 3 *
Hence we see that /*«/1 In fact
ri T+< 2 .11
-3+,T-
Also the integral when evaluated around the closed curve
OB AO is zero, which is clearly the property that the integrand
22 is regular throughout the region including the AOAB.
2. As another example, letf(z)=is.
/3 = | ^ 2 dz.
Similarly the line integral between the same limits along the
lower semi-circle C2 is given by
Complex Integration 157
~ = y» J*e* =
Note. Generally we do not write
can write into the from (1) only when |r/(r) dz is independent
/“Lint v (zT-zr_j
H-*cc r~ 1
= Lim [(:,-z0)
n—> oo
+ (z2 — -l)+...(2n-Zn—j)J
= Lim (-i, z0]
«->oo
«) since zn=/?. z0=a
= length />£>.
5. Integrate I=z\Pq_z
Lim
n->*,
[V(x)rfx]<[VWI^
i. e.
such that norm of {xr—xr-x)-+0. ,
Proceeding in the sum way, we shall have the relat.on,
|jc/W*|<[cl/WII*l J ^
M jc | dz |, since |/(-) I ^ A*
=M [ ds==Ml.
Complex Integration 159
| /(--)</--1 < ML
< .1//.
clockwise.
The proof which has been given below is based on the two-
dimensional form of the Green’s theorem and it requires the
assumption of the continuity of/' (z).
Let D be any closed domain which consists of all the points
on and within the contour C.
Now we write the left hand integral of the equation (1) into
the curvilinear integrals as
+ (dx f / dy)
\ypdx+Qdy)=\ID(g-yr) * ’
Since/ (z) -itx'MLr=v„ — in* (by Cauchy-Riemann equations)
and/' (:) is continuous, it follows that ux, vx, //„, vy are all conti¬
nuous in the domain D. Hence the conditions of Green’s theorem
are satisfied. Then we get from (2), with the help of Green’s
theorem
i /(--) dz=
■ J Jo ■ ©+s) *1*+1JId (&-%)•**■
— 0 fusing Cauchy-Riemann equations].
Remark. Goursat first proved that the assumption of the
continuity of /' (r) was unnecessary and that Cauchy’s Theorem
still holds if we only assume that/' (r, exists at all points within
and on C.
The difTerentiablity of the function/ (r) are the consequences
of this theorem.
5*8. Cauchy’s Integral Theorem* :
Ij f (z) is regular at all points within and on the closed contour
C, then
\cf <-)
(Luck. 44, 47, 48, 49; Agra 40, 43, 55, 58; Raj. 59)
First we prove that the integral exists. It certainly exists,
since a function which is analy tic or regular is continuous and
a continuous function is integrable.
Let the contour C be y
divided into a network of
squares by drawing lines
parallel to the axes of .v and
y, with the contour C as its
outer boundary. The whole
of the contour is then divided
into complete squares or G
part of the squares such that
jcf(:)dz=sjf(z)dz ...(1)
f 4m a -\ J n, r
Complex Integration 163
f
J C
f(z)dz= 2 f
r= 1 i Cr
{/(z„)-(r0-2)/' (*„)+(*-*„) £r} dz
Similarly
< € e[ |*-r0||*-
r“‘J Cr
since j «r | < e. ...(7)
162 Complex Variable
where I «r I < €-
Suppose the integral has been
taken in the counter-clockwise sense
around each Cr. Then the sum of
these integrals will be the integral
around the closed curve C in the
anti clockwise sense, i.e.
Then = \cfOUI:-\c,f(l)'K
= jc/(z)d:-^c/{a + e (:-«)]«*
V C = <7+0 (Z-<7).
I.
= fc[/(z)-0/{z-<l-0) (--0))1*
= J c<f>{z)dzt say
f
We can make the difference (1—0)
so small that | 8 j will be arbitrarily
small, for we can write
<f> (*)=/(*) -/ [z ~(z~a) (1-0)]
+ 0 -0)f[z-(z-a)(\-d) J.
Since 0 also.
fc f(2)
f(z)dz=0
(iii) in the last, along the closed curves C0, C,, C2t.. .in the
clockwise direction.
Hence,
+ fc/W4fc+-"fc./(z)*]“0'
because the integral along the cross-cuts is zero, as it has been
taken once along AB, CD., etc. and once in the opposite direc¬
tion BA, DC. .. etc,
-f . .|c f(z)dz,
Complex Integration 167
provided the integrals along the curves C0, C„ C2 are also taken
in the anti-clockwise direction.
Particular Case. If there is only one contour,
f(z) dz.
f (a) =~ [ dz.
Znl J z — a
(Pb. 1959, Agra 54, 56, 58, 59, 61; Delhi 59)
Let z=a be any point. Describe about
z — ay a small circle y whose radius is p
lying entirely within the contour C. >
°r {/— dz-(
1C z-a JTz-a ■
Now 2 hjr A
“5i/t as 1 *•
Since/(z) is continuous at z=a, for every given < > 0. thee
corresponds a 5 > 0, such that
\f{z)~f(a) | < c> when \z-a\ < b. # (3)
Now putting z-a^pe", vve get
U ts. „
168 Complex Variable
=/ (<0 + /a*
where i;’ {/(*)-/(*)} de
2*
4!=jr| J” /(*)-/(«) !/(*>-/<«) I de
or 277 ...(4)
/a I < € 2w===£’
But the left hand side is independent of e and so /a must
vanish.
Hence we deduce
1 f f(z) dz
*n J cT? =/(a)-
5*12. Poisson’s Integral Formula.
//■/ (z) be analytic in the region \ z | ^ p, then
2T [R* - r?] / (Rei(*)
f (re19) =*u(r,») + iv (/•, 0) = ~ J o R*-2Rrcos (V-<i>)+r*d*'
where re{0 is any point of the domain \ z\ <Z p and R is any number
such that r < p.
(Agra 1955, 58, 63} Punjab 59; Aligarh 46, 50)
Suppose z = re'9 is the point within the domain | z | < p,
where \z =R is any circle C within D jy
such that r < R < p.
Hence by Cauchy’s integral formula,
we get
f «-k J /<$>
2*i Ju
=re'°, we obtain
1 /(/te,<?) (/?2-r2) fo1? id*
’ - M
2*1 , 1”
J 0 (Re‘? - re'0) (/?2 - tfe»?. re"'0)
~2tt ,
l.
r /(*/»> (jp-H)
i?a-t-r- — 2/?r cos (6 — «/*)
,,,
...(3)
»(r,*)=JL r
R*-2Rr cos(V-<f» + r-
0
" <*• *>
..</ />
" (R2-r2) v(*. 0) ..(4)
V (r, 0) <//.
-±j
R*-2Rr cos (y—*/») + r2
5*13. Theorem : Differentiation under the integral sign.
If f(z) is analytic in a domain D, its derivative is represented by
rtu-± f UlLdl
3 {K)-lm)c (z-Z)"
C being any simply connected closed contour in D surrounding the
point %. (Punjab, 1958, 61)
Suppose d is the shortest distance
of the point % from the given curve
C, /. e. d is the lower bound of
\z—%\ for each and every point on
the curve C. Hence
\z-%\ > d
for each and every point on the curve
C, /. e. the circular domain C',
I z~% I ^ will not contain any of
the points of the curve C.
Now from § 5*11, we have
/ (0 = — f —- d- •U)
2*1)02-% ’
170 Complex Variable
where l+h is any point within the circle C', i. e. it does not lie on
the curve C.
Subtracting (1) from (2), we get
«+»-/
= J_/2f ffz)
2 mj C (z~Z) (Z-X^iT) dz
-A f (_z-g-A + A)/(z) -
2Wjc <z-S>a (r-<;-/*)
or 1 f f f(z) _hf(z)_1
h 2ni]c KZ-Z-n))2
or fJkt!ArJAl_ if fM
h 2ni J c(z-$)~ 2
1 f / /f*>
e=27T/Jc^.J-^2 {z-Z-h)dZ
From the property of the moduli,
> I H ...(4)
Also/(r) being continuous and regular in and on C, it is
bounded so that |/(z) | < A/ on C. From (3) with the help of (4),
\f'W) -/(€> J_ f /fr) I '
! h ~2niJc(F^dZ\
-LJL f_m ^
Uw/' J c (r — ^ i2 (z-Z-h)
*\±\[ _\f(z)\\dz\
^2tt JciU-5>*I|*-*-A|
mf I </g I , A/
^ 2tt | // |)
IJJ A/ /
^ 2ir
/ being the length of C. Now it is quite evident that the R.H,S-»-0
as | h |-»0. Hence *
m±^-sc^
/. e. f (£> is differentiable and
dz.
f {®~iciz-l)'dz'
Conformal Representation 1 71
+ dz'
Lim,o r /rn
/'->0 h Ini) C{Z- <fc+Lim A •••(!)
where / = yr /<*>_
»/] C (z-W(z-i-h)zaz'
which tends to zero as |/»l“ *0 as shown in § 5 13.
/» (0= — f ■ ^^ */z
y 2ir/ J (z - ^)«+*
A function which possesses a first derivative which is analytic
with respect to the complex variable z at all points of a closed
domain in the z-plane, possesses derivatives of all orders and these
are themselves all analytical at all the points inside the region.
Suppose the above formula is true for w=m, i.e, we can
assume that
ml f _ f
fm it) dz;
2 -ni JC (z— 5r+l
...(3)
Consider the identity
__L // (z-g-/;+/;)
z-^-h z-% (z—£)* (z-£-//)
h{z-Z-h)+H*
“(z-5)a (z-*-A)
/i /?*
...(4)
Differentiating (4) w. r. t. z, w times we get
1 1 (w+Orr^s+^mW,
(z-S-/*/"*1 (z-5r+1 (z-^/«T*
relation for 1.
Clearly it is true for w*0, 1, 2 etc. Hence it is true for
every value of m, i.e.
='Ll f
/" (S) = ~
/(*)
2w/J C (z — 5)"+*
Complex Integration 173
hm \
+...
(z-5)m+1'r-5-//)"•+» fVfiz)<k
(//;+!) !
2 iri
f r_i_
JcL(z-£ri+1
_i_^ fm .
+ ~3 i ~ *
(«+i)!f r i '”+1
}]
2tt/ /,{
lrl(2-0'^7T-l^)
where* W-2-,U-?-/;)».+i+!lfc±>
m-f- 1
which is a polynomial in z of degree (n, - 1).
.
^ u~! fr r~/(z)
(»,+ !) | r
2ni' I (Z~~7~, /.
r
a
/fz)
JcL(z-^r+st,"~^/
hj*(z)f (rj
+.~
(r -ii",+\2-/i;-/n'
_fw+ 1) | »>
2w7 /( ¥(-)
j CIZ-5,«+»+(7Z|-t)771.rJ */4 • J
A'A (*)/(*)
+ (2-yw+i
i] <h ...(5)
where we have used the result
1+
-4 ,+r^i+u
l Z-C)“ /
174 Complex Variale
=1+
(*-5) 1
2-1
(*.* in the bracket the series is an infinite G. P.)
h
= H-
iz-Z-fi)'
Hence (5) is given by
fm tt + h)-/" (g)_(m+ 1
h 2 TTl -\cy^+i}^
(m fl)! f f f(z)
where
2ni n JcLu-e-ZOU- £)m+l
_+ (z)f(z) 1 *
-f
Now / (z) is regular and <f> (z) being a polynomial will also
be regular in C and hence both are bounded.
Let |/(z) | < M and | <t> (z) | < A/'.
Then
(m+1) ! | h | M*r i i_ i -M:_ I*
1 l< Jc Jz—5—/0w+l
2irdm+l
(m+1) ! I //1 71/ Z' 1 , A/'
Jc/(z) *=o
for all closed contours lying inside the region, then f (z) is an
analytic function of z throughout the interior of the regign,
(Agra, 1940, 1949, 1953, 55, 63; Utkal 1960, Punjab, 1958)
In this thorem the precise sence of the word ‘Contour*
Complex Integration 175
FM-rrtM.
J zo
...d)
where \ is the variable of integration.
Then fl» + *>-*<*)_/w
1 f*+A
-r>«]
{/(*)-/(*)} <*5.
when the path of integration may be taken to be the st. line
between z and z+A. The integral on the R. H. S. of (2) tends
to zero with A, as/(£) is continuous, so that^
for an arbitrary real c > 0, a number t? can be found such
that 1 /(?) ~f (z) | < €f where | c, — z | < vj.
Hence
'| A j: !/«>-/(*) I I I
< . |A|- ...(2)
h I
Prodded that | A | < t?.
Thus Lim FJl + h)-F(z) ^
h-*-§ h
Thus F (z) being dififerentiable, is regular and has the deriva¬
tive/^). But the derivative of a regular function is regular.
Hence f(z) is regular.
176 Complex Variable
I /" (*-o)l
Let i z-z0 | = i? be the circle C; we have
. f I f(z)\ds\
^ 2n J C \(z - zQ)u+l ’
Putting z—z0=Re'°, we have
n l M C2V Rdd
Rn+l
n \ M 2n M (n !)
. ti —
2tt * R»+' R
n ! M
Hence I fn (*o> f< Rn
5*17. Liovi lie’s Theorem.Jf f (z) is on integral function
w hich satisfies the inequality \f(z)\^M for all values ofzt M
being a constant, then, f (z) is a constant.
The function which is analytic in every finite region of the
r-plane is called an integral function.
The theorem is readily deducible from the Cauchy’s inequality,
concerning the derivative of an analytic function.
Let a be any point of the r-plane. If/; > 0, it follows
Complex Integration 177
from § 5* 16 that
f" (a) M
an i =
n ! ^ Rn
whatever be the value of R. Suppose n= 1.
\f ■
Making /?->■o© we find that /' (a) tends lo zero. However,
a is any arbitrary point. Hence we deduce that /' (a) is zero,
/. e. the differential coefficient of f (z) vanishes everywhere.
Thus / (z) is constant.
C
Aliter. Suppose we are given any
two distinct but arbitrary points zlt z2
in the z-plane. Draw a circle C with
centre, the origin, so that z, and z2 both
are included in the circle C, such that
R > | Zj | and also > | z2 '. Then
fM-fw-£,lcgrlc£g*
= JL f . . .(l)
2m Jc (z Zj) (z-z2) •
If (*,)-/M l-U, f
|2tt/Jc
~f‘7 f (2),dz
(z — z2) (z-Zi)
I - ^ I/(g) I I dz
<£fc z -z2 I z—z
< 1_ 2rcRM 1 z,— z2 |
2w ,77--^) 11 z-77
[v |/(z) | < M and Jc | dz
/(!■)= 27 le-u)*
n=U)
r -<? J
~a-t/?~aY i
-a+\z-a) +-‘-\z~aJ
z-
Y_-—
I $-<* ($-*)" _1
“z - fl^Cz - O)3 ^ * * * (Z-tf)" (Z - •
Hence f dz
- 2tti JJc
2w/ z—
C 2 -£
^
ft)’
where k is a constant independent of n. Since r is less than R',
we find that I Rn |->0 as «->oo, so that we obtain
=/(*)+? (5-0)»/ip
n=l
J
2,„' J o i* <t0=X
e I an I8 r*». ^
Hence prove that tf\f(z)\^M when | z | /?,
OO
f I a" ^ r'n ^ M2- (Agra, 1945; Punjab 1960)
180 Complex Variable
1 f2ir
We have, ^ I '/ (rei0) j2 d0
27T . oo 2 CO
=1 f 27 anrnenie dd v f (z)=f(rei0)=Z an (reiB)n
o ' o
J! f27T i oo CO i2
= «-' l S anrn cos «0 + i 27 sin //0 <70. ^
Xt7- J o o • - o
1 f2TT
1 » f2-»r oo 1 OO OO
|*(/-"J2<0 + 2^ 27 27 I aMn
PUQ I rvJ,Q
-i I
^ Jo fj=o
s I 0 r= 0 r/=3
X cos (p - q) 0 dB, pz+q
1 OO f27r I 00 OO
= 2’ | a„ I2 (/•")* <0 + ~ £ 2? flA r»+«
2tT w==0 J 0 ^ p=z0 47=20
f21r •
XJ cos (p—q) dB,pz£q,
= ±.2* £\a„\'r'"+\-£ £
2tt „^o j-7T a=o r=o
bk
= 27 ( | *„ |2 r2") 4-0.
71=0 ^
\/
oo
1 f2ir
Hence, |27;*H" = ^- l/(re«®)|2 </*.
0 ^ J0
4 fci/w i**
2TT
(i/2 r
-t7r Jo
= A/1, since | /(r) | < M when | z | = r < /?,
CO
/.e. r | *n |2 r2,‘ ^ .V/2.
0
Complex Integration 181
Aliter.
Since /(z) is regular in the region | z !=r < J<, a
can be expanded in a Taylor's series,
°C 00
/(z)=S
T-0
±r'/«rj>
2n
fi-o
1 f2?r
d6=M\
IT t 2 Jo
Hence the result.
This is another method of deriving Cauchy's inequality.
-jc. m «] • •<■>
Using the same method for the
identities as in Taylor’s theorem,
we g6t
Similarly 1
l-z Z £0 — ( £ — Zq)
where
...(4)
'-a Jc
Now
Now f fjv
2nl Jc, E-z
^o+(z-^+(7^+ • • • + Si L rHfe:J ^
n-l Ar
...(6)
whcre '-±iL8=?Jf!S*
184 Complex Variable
>\z-z0\-\Z-z0\
>\z-z0\-ri
and | f (z) i < A/j for every £ in the circle C1#
Hence | /. | -1 L f (|^)“ ~ AO A
—z, n
l
< dl I
sfc,''®'!*- I z-%.
MJn
. 2777-j
2tt! z-z0 | -z,
= S.ln where S is some finite constant.
Now as n-+r., j Jn |->0 as / < 1, so that
dl. ...(9)
2s(c
Hence we may write
°° f2- p»»e”»«•
= £ J0 ^Tf^rprn# putting ;-r0=P<?'«
-=c 2»r/Jo P'**1*?
oc J /*2n
= 2’ prn-»e<m-«) .• ^
— CO *’7T J 0
~!*+4-~l+r.-.2r*+r*-
z. •••
2. Prove that when 0 I* 4,
1 00
4 Z-Z2
t 1
Let /(*) =
4z—z* 4z (1 —z/4)*
Complex Integration 187
= 2 ?Ll.
n=0 4n+1
Here / (Z)= z
2 (z-1)
__I_
4 \ 2 y
= ~2T7r7)-|{I+(L^-1)+(-f-,),+ ... J
_ __[ 3 «> /z-iy
2(z-J) 4nf0 2~ J •
^ 2 (I -f-Z*)“z ^ *f Z2)_1 = - j
=%-2+z3-z«+...
188 Complex Variable
=L(i-*-*+* "f" . . . )
i
= £ ( -1 )- 7-n+l . I*I > 1
n=l
2 (z —1)= Zan(z-i)\
nz=0
0<«) (/)
where «n=-j— =0 except at // = 0 and 1,
n !
■&<»> (z)=(- l)w -—-
y) K ’ (z +!)"+»’
1
so that ^)=(-ir
/I! ' (l + l)n+1*
Hence the Taylor’s series is
oc 1
...(2)
+ (z’=£o(“1 r (T+Trf*~ '>"■
(i) Again for -=y (z), we have
n l
X(") (-)"( — l)n zn+l *
so that •/<n) (0
= t - 1 )n — •
n\ y ’ i"+1 ’
CO
Hence the Taylor's expansion for f (r) is the sum of (1), (2)
and (3), i.e.
2(z-l)-f-*+(l+z)-’
= 2 {z — l)4--f(i — z -f z2 — ...)
3 5 2
2z+6 (z-2;+3 (z+1)'
(i) When 0 < | z | < 1, we have
—s-n I. (O’+tI
which is a Laurent’s series representation of/(z) in powers of z
in the region indicated.
(ii) 1 < | z | < 2.
1
5+
-“(■-D’-O+D
1 S 00 /z\n 2 I
-S-kG) +55^
__ A A 2 00 1
2z—12 iuy+
—E+5i.(T)+35£.(-,>-^
which is also the Laurent’s expansion valid within the region
given.
7. Find the Taylor and Taurent's series which represent
the function (z* — l)/(z + 2) (z+3) in the regions (i) j z | < 2,
(ii) 2 <\z\< 3, (Hi) | z | > 3.
(i) When | z | < 2, we get
= i + _i_L
^z+2 z+3’
Complex Integration 19 j
/(Z,= ,+if2-2T3
= 1+ 8
(1+;)~3(1+f)
-, + i(,+D -3'(1+0 ' <V 2 < I ^1 < 3}
/(*) = 1 + 8
2 I > 3
(,+i) *(‘+i)
o. f(2)
dz.
-WC (z-z0)n+l
192 Complex Variable
By ab initio method.
1 8
L( 1+
"•"■SFrJ C zn+l \ z+2 z+3 ) dz
Z2-f . . .
2w/*Jc zn+1 ' 2w/Jc zn‘l’1\2 4 t8
, (-on (-1 >n+1 l
••• ' 2n+1 * "r 2n+1 *z+2j
1
• • •
*-0t Ml-
f C zK
Also and f
JL are each 0 as the integrands
t
j C Z+2 Jc Z + 3
are regular on the circle C defined in the region 0 <\z\< 2.
For w^O,
„ . r /3(-1)” s* l2«
2^=jc^-^Ti-3"+i Jz'1 ' L2n+1 3"+^
«r J_ J_1
/. <?. —( *) L2n+1 3n+1
For //—0,
8_8
f r dz
1
°°“2m C [z + 2z
1 3
2(z+2)'"32 + 3(zF3). j
_J_f
27t/ JC 6z 6
since other integrals are zero as before.
Note that a0 can be most easily evaluated in this case when
QO
/(z)= E a„z».
0
z2- 1
=/ (0)=(
V(z+2)(z+3) L-l
Complex Integration 193
Also
/Cz-f-3 t/z=0, as the integral is regular within the
region defined in (2).
So there remain only two integrals
dz
= 2tt/
Ic T-^JczTjMc *+2
where C' is the circle | z + 2 | =/>, p beiDg any small radius.
°«=(-Dn+l-3^*
*“sJ(t+S -2Tz3+2)-|)*
=__l r—- f — - r
2w/'L 6 J Z “2 Jc z + 2J
- I f 2_:1 ^
2rr/Jc Z + 2*
3 f2w
= -2^J0 (-2 + pC")«-W^
2*=3.(-2 )-*,
-3V*-1 J_
Hence /=(z)=-f + 2 (-()”+* JL2-+ 2 3.(-2)
w=i 3n+I n=i 7n
oo
= 14- 27 ( - 1 )n (8.3"-1 — 3.2n~1) z n
r.=l
= 1+ 27 ( -l)n (8 3n-1-3.2n~1)4
n=l -
or an etc, can be evaluated as is done in part (i-.
The alternative method in this section has been simply given
as a model answer, as it is sometimes useful though here it is
much more complicated than the direct method adopted before
hand.
8. Find the Taylor's or Laurent's series which represent the
1 D" n
Now
1
zn+1’z-f 2 -2n+i|_2 22 + 23 '
(“
2»+i
. (-1)"+1.^+1
+ 2"+».(r+2> ]
1 2-2
and zn+l*z2+ !
-2m+2
it'*-f 1
1 z—2
and
~zWz*+ 1
_2fn+2
1
=pKF.[«-**+2*-f-ir z!”+(-ir+1 p+1J
o
#
if bs(2w+ 1).
Also : > 2.
iC z-f 2 °' lc4-i=0and
2n+i dz=2nian
(-1)" 1 (-1V*1 J 1 Jz
-;ic[ 2"+l z ' 2n+l ’z+2J
-1)
-H C (Z-2J [f j)m
z + —^ if" = 2"'
n
(-D 1
5.2^*27r/“5(’I)m(-47r/)
and if w=2w+l,
(—ir _ir
2-rria
5.2"+ '2W - 5 fc (^2>[(‘ 22 + Z2+l J
,2ni.
.2»+»
00
/(z)=o0+r <vn
1
co CO
~+C. z"+ 2 £ ( - lrz‘-*"-2’ (- 1 )mz2"‘!1
]
3S6 Complex Variable
f(z)=
-ifeh-r+7.)
=H( +l 1 )"+¥(1+22)-1
| oo 2n 9-7 CO
-IS
I(-.L
/(*)« 3V*
5V + 2 1+2V
1 +*V
1 1 1 U-2) 1
5>0~ 5
-iio+r+w+?r
Put z=
Laurent's series
zr.
±..L=T^ = Z c
;c + 2 rM-iy 0
i
where an f , ■' *.
11
c
i 2"
4-1 -T Vm-4 2
( - 1 >
. ( - 1)’" z2 M l
5.z*m+M 1 z-+ 1
if // = 2/»-f 1.
( - 1)» </r 1 t - ir tz -2)
Hence 2w/an=^ ,
2n+1 z -:w (z - 2) (-li »r. - 1 _
- “J ‘Iz, it = 2m
zM-1
. . if (-i)Vz if r (- 1)'“ (z— 2)
and
27r,‘7" = 5jc'>^z -5} A
(Z~ 2)
Jz, n=2m-f 1
r
i
( - 11” ( - 1 VL ff 4
i. e. 2= . 2tt/-—- ( - 2) 2rri
" 5.2”+*
f (r“_2) z
—i (-ir+* </z, if n = 2m
• Jc' z‘M-l
198 Complex Variable
(- l)n „ . (-1 m
and (-2). 2 W
5.2n+1
f JI=? *1
= Jc' 2'Mlr^) “
-J ^(1-2^(T-.4n)rfz'=!c-f-=2"'
Hence 2«fl„-^+(-^.4-»+i (- ir<-4«),if *-2»
Similarly,
-Jc''1 •7-^(-.-)*'=/lSay
Complex Integration 1V9
He
*'?rj
t (- 1 /-1 2'2n-2+(-1 )’•' dz’
r (_ i vn->
= |c,(1“2zy-jL- dz' if, — 2m,
and
I=\c - (1“2z,)F((1 if" = 2m+1
Hcnc „ 1 f — !)*»»+* z 2 « ( - 1)
wz"-5„.o 2*«** ~5„^~
1 f „ % (~-Qw+1 0 £ (-i)«*+n
5 L “« 2 „to J
(-!)'• — 1 >*« + J “I
M:-t) F2"^ J
which is the same as before.
t<>g 2 + £ a„ (z-J)"
"=1
and find the value of an, where the value of logarithm taken is not
general.
Find also the radius of convergence.
200 Complex Variable
Theorem). r| i T“
r, ww
W2)'n I 2 cos — 1
4j
(r,-2) ;,7T
7(S=*»r*,C0S 4 *
(// — 1) ’ ///n-N
Hence *.•(", (l)-(-l)-1 2n?3nrcosV4/‘
Complex Integration 201
(- 11"-1 1 njr
v\ here • 2<» cos 4 •
°"= ”7,
where _ 1 f /<*> t
°n Jc z"*1 * ~
I f e'n u i
J
2*ri C dZf
where C is the circle I z 1=1.
1 f2w
= 2^ J cos(-csin0-f/i0) </0,
hence an=bn.
Hence we may write
/r-)=fl„ + f a„ •
where
*•- a fc 'M *■
exp ( ce'9-\-c^e ue
' \ __ 'ft* _ ,,
yr»*Hetn+l)ifl uv
cxpf cei9+2e~2
")
= 2^T« f„ cxp ( ~ «W+2«"f" ) <h
~2vc^ }„ exp ( c cos # + cos lO^.e-’M+d sin <)-/ (c/2; sin It*
>-cl* rnr .
2»tc" l„ exp- <c COs 6 + r cosI 0)|cos sin 0-f ^ sin 20^
^ l^cu J„ eXp fc cos 0+c cos2 cos [nB-c sin 0 (1 - cos 0)}
bo . h2
12. Show that e'#/-+v“ • • • y +fT + • • •
in the form
fjz)
where
°n ~~ 2tT! j C z"+l
«r a _ 1 f
Hence fln-^ Jc*
Jys+w) -L
-"-l
dz.
/(;>=.? £L<0)
n«-o n \ *
_a - e~t0
~ (a-e~'9)
=_1_
ta~t,9y
(0) 1 f2* l
n ! ~2ni j 0
| rZT,
—/iC #
Jo
oo i 1 z2 z
Hence f (z)= 2 zn==a+at+a*+ "'
T2=*U M
1
"a(l-zla) (a—z)
which is the required analytic function.
fl2 e o-e-i0
< _
=a‘-aUeiie + P*i0)-t 1
- <rw __ g*~* (fl* -g~2<<>)
(a»_e>«> («2- a’ -e!"
Z
fl--z 2
„ I (2* ete jV* </0
. /w jQ 5rr?» • e-p+H»
V f27T / «2t0‘ -1
-HI. ^"O-sO
.jLiri (i+£+£+...)*
2mj’Jo o2 \ a1 «* /
Z z3 z6 z/fl* _ z
== —o ~l i 1 I- ~R 4- • • ■ I -l /fl2
//>2 a2 -* z2‘
a* o4 <2° l — ^
Complex Integration -07
Aliter. /•'Oi-ij/j::*
-Sic kbWn*
1
^2" Q2 -Z-J^o
=[£M^-^)SL
=1 r /i! _>i !(-!)"]
/l
[l-(-Dn]
2 an+l
= 0 if /; is even.
// i
= an+l
—rz when n is odd.
,'e‘ z=2niria,
where // = (() ±1. ±2. .). The numerator is finite for these
values, and the denominator does not vanish for any other value
of z except z=?niria (/i = 0, ±1.. ). Hence there is a simple
pole at each of these points.
At r~a, the numerator has an isolated essential singularity
because it does not tend to a unique limit at z=a. Hence a
Laurent’s expansion is possible, and the coellicients in the
Laurent’s expension may be obtained.
n
c- I
rl (r-o)
r>+—
L
+
2—a (=-a - 2 ! + ...]
Hut el +(:-a)/a_j
(e elz~a)la - 1)
[\+cUz-a)+c*l(z-o)*.2 If-. .)
208 Complex Variable
=-0+z-^+<^2V--)
= -(I+z4-fl+(7^y»21!+-”)x
[^O+^+Tfp-- ■)+ei{'+zir+(Tn?+~ } +- -]
which clearly gives an expansion involving all positive and
negative powers of (z-a). So there is an essential singularity
at z=a.
oc ^2
16. If f(z) = Z f r 83-t j//ou- that f (z) is finite and couth
oo Z2
Here f (z) = Z -.■-.I*
„=i 4+ri-z
When 2 is real, every term of the series on the right is +ve.
z2 r2 1
A,so <
1
Hence the sum function f (z) < Z -t, a convergent series
Weierstrass’s M test.
z
OO
}_ __l _ a > 1.
ft=o n ! 1 +a'inzr
The function represented by this series has singularities
at z= ±i/an {n= 1 2,3,.. ), since at each of these points the deno-
ninator of one of the terms vanishes. All these singularities are
situated on the imaginary axis, having r=0 as their limiting
point; hence neither Maclaurin’s nor Laurent’s expansion is valid
throughout any region of which the origin is an interior point.
The function being an even function of r tends to zero
as I z |-*-oo and is analytic on and outside of a circle C of radius
greater than unity, having its centre at origin. Hence for points
outside the cirele \z\-ktk > 1, it has the Laurent's expansion
^2 bt bQ
Zi + -Zi + —>j-t-* • •
A — J_ f T2m-1 y
a~2n .
and u2m _on f U 4m
2m Jc “ nt, n ! a Zn-\-zl
GO
y &72m-
— . J
ft—0 n !
CO a~-n
E z2m~l [\—a-lnz-i+(a-2n*
ft—0 n\
210 Complex Variable
_-2m—3
+(-ir-* (z-=r-,^i+?jy+..-)+-- •]
__ -2m-8 [^_2_ -—2 gfl-4_{_ __ (_ I)”1"1 Z~2m+Z. ea~2m + . . ■ ]•
co % , a-2"‘p
= £ (-1)""1 —»
l'-0 P l
By putting z' = I/z, we see that the function in r' has a zero
of second order at r'=0; hence the given function has a zero of
second order at infinity.
v
1 1
„t>n ! J+2"z>
/(-)= Atzt
f—0
n B
e ■: -h (->,
i -
f =L
77 r P
JQ p (“) e~ia dB’
f(a+re")= 27 an (reiB)\
27 a„rne-in0.
00
valid
•
since
in
yZ — a)n+l9
the series
27 an (3 — a)n converges uniformly.
Hence
2TT J <
J_ f /<-> dz - 1 % a [2 rme-mio ^ ie-ni0 jq
277/JC (z-ar+l 27T/m=0 ”'J0 rn
[V is -a=re~l99 (z ~a)*=*rei0\
Complex Integration 2J3
’ $ om i f” r"-"e-('"+'■) "de
2*1 m^O 0
Lf by Taylor’s Theorem
rr/Jc
2 TT (z-fl)n+1 n\
fn (a) 1 f 2 real f(z) dz
i e.
n ! 2Vi Jc (2—a)n+1
1 f2*
=7Tf" L real/(ZM —ni0 </*.
0= f ±I^Ldz
Jc 2m (r-u)2
Adding these we get the required result.
23.By using the integral representation of f" (6), prove that
(xn \2 1 f *" e*z
\n '.) ~2m JC /i!.z»+1 Z’
where C is any closed contour surrounding the origin. Hence show
(x'
' 2m ' Jc zn+1 -1 J
214 Complex Variable
The right hand side of (2) is evidently of the form (1), where
/(z)=e*2. Treating x as independent of z,
/" (z)=xneX3t so that/" (0)=a°.
n ! f
dz.
Hence *”=[/" (*)]*=o
2-ni 2"+1 J
Now summing up.
f. xVl
dz
n=0 Ic n !. zn+1
00
-i j 2 a Mil dz
.X2 » Xn 1
-u ,£>"; 2"+l
r x” L —
-if C
ezi Z t* * n
—n z
n=0
n .> t
~
1
—-i- f exz.ell\-L: </2
2tt/ J c
gz{s+1/2) -
1
= 2tt/J
-f c ^
Z1T
« JL f27 eZv cos 0 /
2 m' J o
function
[because the residue at z=u a pole of order m of the
F (z) .(fl)1
(z2-ar 9 1S (W-1)! J* •h' (a). f(a)-<t> (a)/’ (a)
the residue^
[/(«)]*
Now we have to evaluate/(a) and/' (a).
0 (z)=(z-a)2f(z).
0' (zMr-a)2/' (z)4 2 'z-a)f(z),
0" (z) = (z-0)2/" (z) + 4 {z-a)f (z)+2/(r),
0'" (z) = (z-fl)2/'" (r)46 (z-a)f (z)4 6/' (2).
Hence 0* (a)—0,
0" (a) = 2/ (a),
/(a) *=40" (a) ; of" («)=/' (<*)•
Substituting the value of/(o) and/'(u) in ll), we have the
0' (a) U" (a)-0 (a) W" (0)
iesidue =---
To determine the coefficients of aQi alt a2.. .and bl9 b2t we can
1
write f (z) =
( Zz•2 z* \
2 ^1+^-1-2"jH-j , + —1 J
1
z,(1+r»+rf+—)
=?[1-(r!+r!+--)f(r(+Ji+--’)+ "]
1 1 1 1
-z*~2z + 12 J20“"i"*“
26. The only singularities of a single-valued function f (z)
are poles of orders 1 and 2 at z= —1 and z=2t with residues at
these poles 1 and 2 respectively. If f (0) = 7!4,f (l)=5/2, deter¬
mine the function and expand it in a Laurent's series valid in
1 < \z\ < 2.
Since f (z) has a pole of order 1 at z= — 1 and a pole of
order two at z=2, the only singularities, hence it is of the form
/u)=__
(*+!)(*-2)«'
JK)
Again since the residues at these poles and two functional
values are given, (z) may be taken as
<f> (z)^a0+alz-\-a2zt+a3z3.
These four constants can be determined from the four con¬
ditions which are /(0)=£, /(l)=5/2 and residue at z= - 1 is
1 and at z=2, it is 2.
The first two give
/(0)=3=? or o0=7
r (| v go~l-gi-4-^2+^3 5
and J '1' —2'
2
oiA
i.e. a^~\- a2-\- a3 — S aQ-= —2. ...d)
Again residue at z= — 1,
riftm
L^V2+l/Je=2
_rd
1^2 2+1
1
Ja=2
_r(f, + 3^**j (2+ 1 ) - (7 + £j|Z+t73Z3)'l
L iz+W J ,=2
fiZ)=J^±l-
(2-Hlj (2 —2j*•
Now this has to be expandedin powers of z in a Laurent’s
series valid in 1 < | z | < 2 i. e. in the form
where c fM a-=21/ Ic
C being the circle in the ring space 1 < | z | < 2.
/W *.
1
2-2
= -i(1+2 + ^ + -.),
218 Complex Variable
4 (1—z/2)s—4O 2)
1 +z+ —+.. .
=!(•■-■ 4
Hence combining these results, we have the requtired
expansion as
/(-)=!+
+ 5(1+r+3-4J+--’)
-K1-;+?+*")-G+l+-")+i(1+,+3-4+"0
is the required Laurent’s expansion.
Exercises
I. Obtain the Taylor’s expansion
z-i-'= -1 - 2
2—1
2
n=l
I 2 I < 1.
co
(ii) ( - 1 )n+I p »»+2
(iii) 2
n=0
(- l)»z-*n-9 tl - 2W) 1
J
(a) Find the Laurent’s expansion of
(2*- 1)
(:+3) (2 + 2)
in the domain defined by 2 < j 2 j < 3.
Complex Integration 219
1 00 (-1 ),l+1
(b) - 27
3 n=0 2"«‘ 2n+1
I
Expand - „
2 (2-2) (2 — 1) *
(a) 0 < |2| < 1, (b) 1 < \z \ < 2, (c) > 2
[a„, (a,
oo 1 oo
1
(b)
«=o 2,,+2 22 ,I=l 2,,+l ’
(C)
f 2'-1 , - 1 1
•-* *',+! J *
1
Find the different developments of in powers
of z according to the position of the point in the 2-plane.
Expand the function in Taylor’s series about z = 2 and*
indicate the circle of convergence. (Agra 1943)
1 00 rn
= ±— 27 cos nO%/(\-2h cos 0 + b2) dd.
/;= —co J 0
.
12
function
{
In the annulus defined by | a/
h~
--z~n— x /
l1/z
(z-a)(b-z)J
*1 < 1*1. expand the
by Laurent’s theorem and prove
that it equals to
/«-/«+* {-i-V-C-f")r ■}
and show that the expansion is valid as long as it lies within
~2~ )’
14 . The function f(z) is regular when I z | < R\ Prove that
if | a I < R < R'.
nre^.-ir
J^re 2^ J 0
___,/(*«*)</*
/?2 — 2/fr cos (0 — 0) + r2'
— f / — 4-} / 00 dz] .
2ir/ Jc (r-a lR2-z*)J J
15 . Find out the zeros, and discuss the nature of the singularities
sr .\ z —2 .
2—2
1 •
of /(2)= — Sin z— 1
16. Obtain the expansion for which are va,id (i) when
and has a zero of order m ; but the zeros are isolated ; so the
poles must also be isolated.
+ 2a„(z-a)m+” V ...(])
n=0 |
. =(z — tf)“m 0 (j) ; ; .
where (z)=/?fn + ^_1 (z - o) + ... +£x (z—tf)™-1
+ 27 an (z-a)m+n.
ftzziQ
f(z)> | | z-a
r
bm~ |r 171 —\
2 |1 bn I (*-«)—»+ 2:
nznl n=0
(*-*)«+" }
1 JJ
as z->a in any manner.
tn-1 w _
the expression 2 bn (z — a)m~n+ 2 an (z—a)m+n-+ 0
n=1 n=0
2
set of points given by 2=— for different values of // = ( + !,
±3. ±5...) and this set has got zero as its limiting point which
is a non isolated essential singularity.
8 (Z)=[7(z)-Cj
is regular in 0 < | z—a \ < y. We have to show that there exists
a point in this region at which | g (z) | > 1/e.
Let us prove it by supposing the contrary /. e. | g (z) 1 < 1/e
there. Then if
OO
g [z)=i}j (2)4-27 bn (z-a)~n,
1
where ip (z) is regular, we ha\e
b°—2 hL
where C is a circle \ z-a | = p < y.
* w ('■-
Hence j bn | =
2Tile8 (:) (z_a)n_1 d:
1 1
-L - pn-lc* <»-!> fl pC<#
2tt 6 Jo I
Pn/e.
in a sin”,ar ~
Ihcre is a ZZZTlol
Provided none of the points * °Ce
^h ^ °.--plane.
etween lilc points : and
to say that z is the “point a.S • Zfr°' Sometimes it is convenient
this Point is not a defin^ point.1 Whc“ ,S lhc °ri«in bul
Here we see that the function / (z) has the pole of order m
at infinity.
(iii) Similarly the function/(z) is said to have an essential
singularity at infity provided <f> (z') has an essential singularity
at z' = 0. Thus f(z) = e* has an essential singularity at infinity,
as the function
ex ,s' = 1 + -p+^ 4-...
/(z) = tfo+ * * •»
Suppose that /3„ ft,.. .ft, are the poles of order n „ m2. m
say Then the principal part of the function/(a) will consist o"f
the loUowing series :
..(1)
U) = -f. -—bflfTln
snj'm *-"-*•
2WJ TG)Jz=N~P' .. (I)
..(i)
228 Complex Variable
there is
(z—ar) mr_
Lim ==m.
z—a,
IfJ cr
2-ni
Ilil1 dz=—
f{z) 2<r/ JfCf \(~ “ ar) Sr (z) J
=mr + 0.
Hence the total sum of the residues corresponding to zeros of
/(z)is Zmr=N. ...(4)
Similarly if z~bk is a pole of orderof / (z), then in the
neighbourhood | z—bk j < dk of bk> we have
/ (z) = (z - bk)~nk <bk fz), ... (5)
where <f>k (z) is analytic at z=bk and does not vanish at z = bk. '
Complex Integration 229
is ^ orgf(z)t
' f (LI*> dz =
2m ] f[Z)
— N,
= br Ac *Tgf (z)==Ar*
Let <f> (z) = and let A' be the number of zeros of/(z)
=^+0,
as the integral of each term is zero by Cauchy's theorem, since
</> and its derivative <£' are analytic functions and the integration is
taken round a closed contour.
Remark. /and f-V g have no zeros on the contour as utilized
in (1) and (2), otherwise the denominator will vanish somewhere
on the path of integration.
Aliter. We know that from § r25,
J_ r
Ivi J c
rf (?) dz = N
/(z)
and
• •
1
^Jc7(f*=^Jc d['°ef(2)Uz-
=2ni Ohe variation of log /(z) round the contour C).
A' = ^- Jclog/(z).
4.7T •
Let C be the circle with centre at the origin and radius unity.
On C, |/(2) | = | a zn\=a. | z |”=0.
Further | g (z) | = | -e3 | = J e* |
=i1+z-*-r!+jrK--l
z* 1 I z3 |
< 1+1 z | + 21 I + I 3 ! I
< 1 + 1+2L!+31!+
Thus on C, 1 g (2) | < e,
ie., \ g (z) I < l/(z> I since e < a.
Hence |/(:)|>UWI on C, so by Rouche’s theorem
ftz)-g(z) will have the same number of zeros withinlz|— l
as/(z). But/(z)=azn has got n zeros all at the origin, hence
the polynomial azn - ez has n zeros within the circle I z 1 = 1.
2. Show that, if k > /, the equation zne*~*=l has n roots in
I z 1 < 1.
[Hint. 0. Put /(z)==efc2n. g(z)=-c2,
1/(2) | > | g(z) I if A: > 1]
$•27. Fundamental Theorem of Algebra.
Every polynomial of degree n has n roots. (Luck. 1958)
In the first place, z" has n zeros all at the origin. Now con-
sider any polynomial
*f> (z) = aQ-\-a±z + ... onzn, an^0.
Let /(z)=anzn and g (z)=a0-t axz+ ... -\-an-xzn~x.
<0+27r + °) = l .
cients of the equation are all real, the conjugate imaginary roots
appear in pairs. Hence the remaining two roots lie in the third
and fourth quadrants.
4. Prove that one root of the equation z*+ z3+l=0 lies in the
first quadrant.
The equation 24+z3+l=0 clearly has no real roots. For if
we write z=x we have f {x)=x*+x3 +1 which does not vanish
for any positive real value of jc. Hence there is no positive real
root. Similarly if we put z= -x.
/(-*)=a4—*8+l
= a3 (x— 1) -f- 1 > 0 if x > 1.
/(-x) = *4 + (l — *)(l-t-*+A-2) > 0 if 0 < x < 1.
Hence there is also no -ve real root.
Suppose w=z* = z3-f-1, aDd the
contour described by z contains the
three portions
(1) a axis from 0 to R,
(2) first quadrant of the circle
z=Rei9t
(3) y-axis from iR to 0, R ten¬
ding to infinity.
(a) When z moves along the positive real axis from 0 to
oo, then n’=*4+*3+l passes along w-axis from 1 to °©. Hence
arg/(z) remains constant and equal to zero.
(b) On the circle z~Rei0.
/(*>=** (l+i+-j)
=*4e“9 [1 + 0 (-)]
where 0 (z)->0 uniformly if z-+oo .
This shows that if z moves along the first quadrant of the
7T
circle, the change in arg/(c) is 4.^ = 27r.
Lim^o ^,4 j
i.e. the argument /|z)=0 in the
final stage as well as the initial
stage, i e. there is no change in the
argument.
Therefore the total change in
the argument is
(0+27r + 0) = 27r.
Hence the number of roots in the first quadrant is one.
5. In which quadrents do the roots of (he equation
z4 + 23442a + 22 + 3 = 0, lie ?
Let /(z) = z4 + z3 + 4z2+2z-f 3.
Obviously /(a)=a4 + a3+4a2 + 2a+3 does not vanish
for any positive value a so that /(z) has no real positive root.
Also putting z = - a, we have
/( — a) = a4 - a3+ 4 a" ~ 2 a + 3
*a» (A - 1) + 2a (*—!)+3 > 0 if a > I.
/(_a-) = aM-4a-+2-2a+1 - a3
= A«-f4A7 + 2 (l -A)+(l -a) (l-f* + x2)>0
if 0 < v < 1.
Hence the given equation has got no real negative root.
Let us write z=iy ; then the equation y
becomes
u + iv=>>4 - iy3 - 4 v* + 2iy -f 3 = 0,
i.e. m=>,4-4;-2+ 3 = 0,
v = — y3 + 2v =0.
Clearly these two equations do not
vanish together for the same value of.y.
Hence there is no purely imaginary root.
Now consider/(z) = z4 + z3+4z2-f 2z + 3 on the circle Re'*t
R tending to infinity.
/ (z)=z4 (l + - ■+ -2 + -I- * 4) ,
ar8f(z)=4.-=2ir.
(iii) As z varies on the imaginary axis.
arg (z*+z°+4z*-h2z+3)=tan-> F/M
= tan-1 ^
Hence - = Limv
-V-foo = 0.
Complex Inf eg rat ion 239
i.e. when z varies from 0 to along the real axis, we find that
the point vv remains in the first quadrant, moving from 1 to w
where the curve is parallel to u-axis. Hence there is no change
in the arg/(z) when z is moving along the real axis.
(ii) On the circle z = Re'e, R->°o , 0^0^ tt/2.
/ (r)=z3+iz + l
=z>(1+£+^)
are / (z) = arg (z3) + arg^l+^- + —3J
= 3.ir/2 + 0.
(iii) When z moves on the imaginary axis, we put z = iy.
f (iy) — -iy'-y-M=0,
u= 1 —y, v= -y*.
Again Lim> - = 30
u
f(z) is(?-o)=4
Therefore the number of roots in the first quadrant is
iO+T+i)-'
(iv) Proceeding it the same manner when z moves ,n
the second quadrant from (0, iR) y
to (- R, 0), we see that the
change in the arguments along the
imaginary axis and the circle of the
second quadrant.
z = Re*•, tt/2 ^ 0 < n
tt ,3 n 1
are
—2 and 2 •
240 Complex Variable
7. Show that the equation e_I=r—(1 +/) has precisely one root
in first quadrant.
8. Show that the roots of the equation r5 -9r*+ 11 = 0 all lie
between the circles |z| = l, |z| = 3 and that two of them
lie to the right of the imaginary axis. [Applying Rouche’s
Theorem to the circle | z |= 1, take/(r) = 11, g (z) =z5 - 9z2,
and for the circle | z | = 3 take/ (z) = r5, g (z)— 11 - 9z J
5‘29. Analytic continuation. Suppose there exist two
functions fx (z), and/2 (z) such that they are regular in the domains
Di and D2 respectively and that Dx and £>., have a part in common
throughout which fx (z)=/2 (z).
§ a„ (z - z0)w.
o
(Punjab 1959 ; Delhi M. A. Final 1959)
Suppose there is no such singularity ; then by the method
of analytic continuation we can construct an analytic function
equal to/(z) within C and regular in another concentric circle f
larger than the previous one. The series expansion of this
function in Taylor's series in powers of (z-r0) would then
converge everywhere within T. This is impossible, as the series
would be the original series having C as its circle of convergence.
Let us take any point zx, say, lying inside C, and let T, be
the circle of convergence ot the power series
Z A„ (z — Zj)’*. . . .(1)
Let f2 be the circle with centre
zx touching the circle C internally.
Then the series defined by (1) would
definitely converge within Fz and will
have its sum=/(z). The radius of the
circle fx cannot be less than that of r2.
Now there arise three possibilities.
(i) rx has a larger radius than T2
in which case Px clearly lies outside C
and the analytic continuation is provided by the new series.
244 Complex Variable
Again
2 lo« <• +*2) + ‘- ta"-‘ b+l+%-\+ -
log (! + £*) + / tan'1 6-t-log^lf-^”-^
~2
• i
oo (2' — o)n / Z —
S ^Y_-g^w+i defines a function ^1 — p—having Cj as its
• « > ...(2;
... I z-bl-'
[_1 a —b_
provided the circle of convergence is Cj.
! z —Z> | = 1 a—b |.
Now if a and b both are real and positive such that
0 < b < a, the circle of convergence Cx of the second series
Complex Integration 247
represent the same function -~~z at points outside this circle and
_ F r2n p2iTi*{2ni2Q )P
= ^ r . c
Thus any arc of C0, no matter how small its length may be,
contains a point whose affix is of the form where p
and q are integers. There are therefore points whose affix is of
this form within every circle which crosses C0, hence it is impossi¬
ble to continue/(z) analytically outside the circle of convergence,
i.e., the circle of convergence is a natural boundary whose every
point is a singularity of the function.
6. Show that the circle of convergence \ z \=1 is a natural
boundary for the function
OO ~ni
/(*)= n—0
*
Or
00 t along
Show that the series Z zn ! 30 as z
0 -
the radius through the point where q is any positive integer less than
m !. Deduce that the functions represented by the series can not
be continued analytically beyond the unit circle.
rrtoih; IQ5Q* Pnniab 1959)
Let f(z)=2z*1
0
Then/(z) is an analytic function, regular for |z|<
Complex Integration 2-19
= Limn-»oo —> 1 if
zn • n
I2I < 1•
Hence convergent.
Let z=re2j,irihlt and let us consider the behaviour of f (z) as
r-> 1 through real values.
OO
0 (z)
Then Lim7_>a (z — a)
' 0 <*)
Let-_^fl
_ .
—Limz_*a
0
(z-a) [0 (a)-Hz-a) 0'(a)4-...]
0 («) + (z — <j) 0' (a) 4-...
(a)-f-(z - a) 0' (<7)4-...
0' (o)4-
.
’ Slnce ^
...
the form
n
a
0(a)
“0' (a)-
6*2. Residue at a pole of order greater than unity.
Let z—a be a pole of order m of /(z) and suppose
* /(2)—Jti£L
(z-a)”»*
We then have, by the definition of a pole,
>«-&-*»+,! ■
where 0 (z) is regular at z = <7.
-A (z)
or (T^r=0 (*>+<7^>+<*^+■• • * +(T^r-
0 (z)=0 (z) (z-fl)m+A/i (z -a)—14- A/2 (z-fl)'»-*4-... 4- A/,„.
Differentiating both the sides with respect to z, (m— 1) times,
we have
0(m-i) (2)=0(m~i) (z) (z-n)”*4-('w— 1) 0("'“''!, (z). w (z-a)"*-1
m I
4-0 (z). j-j-. (z - a) 4- Ml (m~\) \
0‘"*-1»(fir) = A/1(«i-l)»,
252 Complex Variable
<£(m-1)
Hence A/.=-rf/ which is the required residue at z=a.
(m — I) !
<b (z)
In particular if/, the residue at z=a is <t>' (a)
+ -+TOJT^,W+-]
^(m-1) (a)
(m — 1) ! *
Another method. Since residue at z=a is the coefficient
21! *" «•
1 12 3
• •
Residue =
2 ! * 32/ 161*
1 . 1
Alternative. Residue = coefficient of - in
= coeffi. of } in ((-2+12(-3
Calculus of Residues 253
-3
=coeffi. of 1 in-8^(l+2^)
_ 1_ _6_3_
“ Hi *4/2 16/*
6*3. Cauchy's Residue Theorem. If f (z) be regular,
a fini.e number of poles, iw/Ai/t a closed contour C and continuous
on the boundary C, then
f(z) dz = 2ni £ R,
\
where £ R is the sum of the residues off (z) at its poles within C.
(Agra 1962)
Let zlt z2t...zn be the n poles
within C. Let y,, y2 .. yn be the
circles with centres zlt z2. .zn and
each of radius f> which is so small
that all these circles lie entirely with¬
in C and do not overlap. Then / (2)
is analytic in the region between C
and these circles, so that we have by
Cauchy’s theorem (see § 5*10).
+ ... + [ bmi dz
fJ i ■l'l(z)dz=0.
7
=2*r/ 2: /?.
6*4. Residue at infinity. The definition of residue can be
extended so as to include the point at infinity. We define residue
at infinity as having given by the integral
St I c f iz) dz'
where C is a circle enclosing within it all other singularities of
f (z) and the integral along C is performed in a clockwise direction,
provided that this integral has a definite value.
Taking the integral along C in an anti-clokwise direction,
the residue at infinity
--Mef(z) dz-
An important observation : It can be easily seen tr.at the
residue at a finite point is zero if the fuuction is analytic at
that point but may not be so at infinity. For example,
27r riei0 dO
tputting z—a = rei0
= 2tti J 0f r.e
where C is the circle , z—a j=r
= —^-..2 TTi = - 1.
2 tti
m f oo C n
=Z 6„z" t/z -f- Z “-2- dz,
n=i J C n n=0 J CZ
since the integral of the sum = sum of the integrals by the theorem
of uniform convergence.
2* P.ie^dQ . l9
=a'S 0 P.e>° • Pull"1g- = P-e
= 2nial.
4 •
singular points
and - 2~. Jc /(*) = residue at infinity.
= 1 -f
o-ro-r
higher powers of
J
grals which caDnot be evaluated by contour integration e. g.
OO
ci /(*) = z—a
|c /(*) dz=2niA.
then
UmR ->oo JC (02-0i) ^
258 Complex Variable
HtM*,-*,)
< <»*—»,) «-
Lim
66.
i / (z) dz-+ 0 as R->x .
i / (cos -in 0)
i(2+-‘) = c°S0
where ZRC is the sum of the residues of <f> (z) at its poles inside C.
2*
, a > b > 0.
^(a2—b2)
Calculus of Residues 259
=r- dd
Jo a + b cos 0 ='f —
i JC z [a + 4^ ( z~\~ i/2)]
dz
_2 f dz 2 f
/ J C bzi-\-2az-\-b~] J C '
where C is the unit circle ! z |—1. The poles of f (z) are given
by the roots of bzs-f 2az-f b=0
rtB. _ — 2a± — 4b*) -a—\/(a2-b2)
Z~ 2b = b ’
U - \/(n2 - b2) n -
Let a= - - , /? =-g-
-b
_- . 2 2
-umw
2 I
”, 2y/ya*-b*rW\a*-F)
bi.-j-
r, i*2r
[2r. _d0_._1_2v_
Hence
enCC Jo
-—7 ...d)
Jo a + lA cos 0 b*) y/(a*—b'£V
= -4,J
r f
JC
z dz
(6z*+2r;z + />)2
__4Jf z dz 4/ f
Jc [z2 + (2a/6j 2 -f 1 ]2— J C 7 U
where C is the circle lz 1=1.
Poles of order two of /(z) are given by the roots of
Z2+-r Z-f 1 = 0
260 Complex Variable
or
”*[4V(:
—a±(a*-b2)
</>' (a)
_ _4/ r(z-p)2 — 2z (z-P) r
b2i (z-P)‘ Jz=
4/ Ha —/3) — 2a 1_4/ (a +
+ 0)
;“^L («-/?)8 J b («"
J~b* (a-/?)3
~ *
4/ - 2 alb ai
‘^•8/63 (a2-*2)3'2-(a2-£2)3'2,
/
ITT
dd . f ai 1 2
2rra
Hence -pfii-
o {a+b cos 0)a
Aliter. Differentiating (1) of Ex. 1 w.r. to a, we get the
required result.
2 IT
dd rra
Ex. 3. Prove that a— //,a_i\3/2 ^ >
0 (rt + COS <08 (tf3 —1)3/
■-*1
i
SW dd
We have /
o (a-j-cosfl) 0 (a-fcos ey~
1 dz
C [a+i (z+l/z)]**/z ’
where C is the unit circle | z | = 1.
41
C [z2 + 2az+l]2 dz=i \c f^Z) dZ'
Now f (z) has double poles for values of z given by
z2+2az+l=0 or z = ~.^<4a2 ~4)
= -a±V/(a2“l).
Let a= -a4-\/(«2- 1), and £= -a-\/(a2 - 1).
Since a > 1, we have | 0 | > I. But | a J | /3 | = 1 so that
a I < 1.
Calculus of Residues 261
i> U)=
a+0 2a a
/. («) = (a -py~b [a2 - 1)3/2—4 (a2 _])?/2-
2 a 7ra
Hence /=2tj7.— .
i • 4 J)3f2-(a/_1)3,2.
f* I 4- 2 CO 9 6
Ex. 5. Show that -- d& — 0.
J0 5 + 4 cos V
We have
, r 1 + 2 cos e ,n fIir (1+2 cos 6)
'"Jo 5 + 4c“oTfl a*-2 Jo (5 + 4 cos 9)d0
1 1 +2
-real part of ^ 5^4 cos 0 dd
r 1 . f 1 f 1 + 2z dz
/= real part of 2- c -7~T\ • 7z
5+2(z+r)
=real par( of 2| [c
= (2a2+l ±2aV(a2+l).
Let a = (2<i2-f 1) + 2a VO2-f-1), /?=(2a9 +1) - 2 a VO*+ 1).
Clearly | a | > 1 and since | a/3 |=J, we have | /3 | < 1. Hence
the only pole inside C is at z=/3.
2a 2a
“ ~z(/3-«)-”i(_4a)V02+ 1)
1
2/V02+l)‘
. r * ^ ?jr, i
•• Jo a2+sin20 z ,*2/V(t?2+l)=Vfaa-f-D*
i/«2 0 2” , /. 2 .2v»
Ex. 7. /Var*> r/;a/ f” -ii
2*7^ = {« - A/(«a-**>}.
Jo «+*
where a > b (Agra 1936)
sin2 O
Let /= f —1‘1' P
Jo a + A cos 0
Putting z=f?<0, we get
,_1 f f(l/20.(z — 1/z)]2 dz , .
rr JC (z+l/J)- •'T' Wbere C ,S lhe c,rcle * Z ! =
Calculus of Residues 263
(z2-\f dz
-if C z2 {2az-\-bz2+ b)
(.Z2~\y dz
—if
(zl4“*+i)
— 2ffifc r(Z)*'
Now/(z) has a double pole at z=0 and simple poles at r =
—a
and 2=/?, where a, £ are the roots of z2-f 4° z+ 1 = 0
b
or
_(a2—b2) n -a~V(o3-b2)
Let a t , p— 7
=Tiy/^2—b3)
(z2 — 1 )z
coefficient of-! in- , where z is small
z
:ir sin2 6 dd
■ fn a+b cos 0rw[^-«4]
=i f __
1\ , o *IZ
2JC l-/z
zj + fl
^If _£_
C (1 —az) ( 1 ~ z)
__ i r _£:i£_
2/ Jc (^ —oz) (z-a)
1 f27r
HoBce /=2j„ T= 2a cos 0-fa‘s
= 2 rri, —
" 2/(1 —a-) - 1 - a2
Equating real parts, we get
1 C2* cos 2d dd no2
2j0 1 -2a cos 0 + a8^ 1 —or
f17 cos 20 dd na:
Jn 1 -2a cos d + a%i~ I - a-*
Ex. 9.
Apply calculus of residues to prose that
* ccs 2d dd _tt
(Agra 1959)
•/ u, 5+4 cos 0 6
v cos 20 dd
We have I =f
5 4^4 cos 0*
Calculus of Residues 265
,2 iO
_~_JQ
= real part of f
J 0 (5 + 4 cos 0)
2 TT Z2 dz
■-( o
Let I
(5 + 4 cos b) -I c [5 + 2 (z + 1/2)]’ <2 ’
putting z = ei0, where C is the unit circle, | z |= 1
z2 c/z If z2 dz
-u
C 2z»+5z+2~/ -i JC (2z+1) < z + 2)
z2 c/z
f/z If f(\>
-if c (z+!) (5+2) = 2/jc /(Z)
Now /(z) has simple poles at z=and z= - 2 of which
only z— — \ lies inside C.
J
12i*
•f 2tt £ i9
/- . ^
(5 + 4 cos 6)
1 7T
-rt dd = 2iri. — = 2*
12i
Now equating real parts on both sides, we get I=tt/6.
6
cos2 30 de 1 -/>+p2
Ex. 10. /Vove that
r- 2p cos 20 +
— 77
1 -/> *
(0 < p < 1).
cos2 30 c/0
We have / =r i—
J o i- 2p cos 20+/?2
r27r
1 + cos 60
c/0
2p cos 20+/>2
f2ff 1 +e Cflt
= real part of ,c/0.
*f. n 2/7 cos 20+/7
Now put z = ei9 and consider
1 I+Z‘ dz 1 f 1 + z'
dz
2 for. p (Z2+ 1/Z:~*)+/,2-/z“2/J C Z (1 ~/7Z“) (| -/7/Z2)
Z (1-f zfl) c/z
-if ( 1 +P2*7 (z2-p) = 2?fc /(z) '/z'
where C is the circle |z| = l. Now f(z) has simple poles at
2= ± 1 l\/p, ± y/p of which z= + y/p lie within the circle | z |= I,
1 ~P
Equating real parts on both sides, we get
i-P+P2
/== —:-
1~P
Ex. II. Prove that
i
2* (1 + 2 cos 0)n cos nO .. 2w
3 + 2 cos 0 </0=;Z_5(3-V5)",
0
=£5 <3-'/5)n-
Calculus of Residues 267
r. »(l+2co.8).co.»«^_2!r
3 + 2 cos 0
2ir
V5
sin nO dd
12. Evaluate (a2 < 1 and n being a + ive
t + 2a cos 0+a2
integer).
sin n 0
, , dd
/-f 1 + 2a cos 0 + ai
C-* er,0i
= Imaginary part of ,—-- do.
J0 1 + 2a cos tf+u
Putting z = ei0, we get
f27r >n$l -n dz
o 1 + 2a cos 0+ C l+o (z+l/z) + o2 iz
n—1
-if C (1+02) (l + O./z)
dz
Zn
_i i - dz
or JC (z + 1/0) (z-f o)
= 4f / (z) </z.
or Jc
The poles of/(z) are at z = -1/a of which z= - o lies inside
C since o2 < 1.
= Lim
z->-a (Z+|/a)
(-O)"
( o + l/o)
( - I)n.on+l
(I— a*) •
__1 (-l)".o”+»
Hence r-
Jo 1 + 2o cos 0 + o2 "S/ * (1—o2)
2n ( - 1 )”o"
- (l-o2) *
Equating imaginary parts on both sides, we get
/==J2,r sin nO
dO=0.
o l + 2ocos0+o2
Also equating real parts, we get
fzir
o
COS Z70
-— /It)- -__•
1 + 2o cos 0 + a*
( - 1 )non
(l-o2)
268 Complex Variable
f
J 0
21T
e-n9i
-4fc^*-Tfc/(r)A’
Now f (z) has a pole of order (w+1) at z=0.
1 (rf" _ \
Residue of/(z) at the origin=—, ja _ (
(-Dn
n
ez
dz /(z) dz.
=!f C zn+l -fj
i cJ
-If*
n ! Ldzn' Jj=0
= J_
n !*
and f
J0
ecos 0 sin (nd - sin 0) dd=0.
dz
—*f C z (z —a) [z- ft)
= lc /(*)*.
i.
270 Complex Variable
-,L
1
since a/3=l
sinh 2a_ sinh 2a _ A
— (a—/3) 2 sinh 2a" 2
Hence I=2^i.l = T,i-
16. SV/aM’ ///at, // m he real and -7 < a < 7,
f
27r vn cos 0 r
0 {«* (m Sh' B)
in 0 +
— a sin (m sin d6 = 2tt cos ma.
■iv em cos 0
-q | sin (m sin 9)
^ f0 7 -\-a2-2asin
-fa cos (m sin 94 9)^d9= 2v sin ma.
dd
-f o 1 ■+ a* - 2a sin 0
Calculus of Residues 271
27T ,m cos 0
and .e (m sin 0+0) /
-i 0 \-\-az -2a bin 0
27T
eOT‘,’e.e0/
-i 0 1 + dL -2a sin 6
Putting z—ei9 in Ix, we get
j =f _en,z dz ( dz
1 Jc 1 +a‘-+-<7/' (z - \lz)‘iz “Jc ( 1 +<7/z) (l -ai/z)'iz
, - 1\ emai 2iremai
1 W \ a/* (a/—i/a)~[l-az)‘ •••(!)
Similarly, putting z=e,e in /2, we get
|-
rem: 1 f
-v dz — — I f (z) dz
« J1C (z-i/a) (z
,z-at) a Jc J K
The only pole of/2 (z) inside C is a simple pole at z=ai.
Residue of/2 (z) (at z=aO = Lim._*a, (z-ai)f2 (z)
die rnai
(ai - i/a)'
. / _ o •( 1\ aie,nai 2naie"iai
.(2)
Equaling real parts in (1), we get
•I* jn cos 0 2tt
I.. 1+-la
1+sin sin Becos
C0S <"■sin ») <W=0
sin *> COi ",J-
"IJ- • • -(2)
And equating imaginary parts in (2), we get
f2 _l_ J
z2 log -—J dz, taken round the circle
4rri
z |=2, to the value
3 *
1
Putting z—^, the integral is transformed to
'-ft'
3 •» °«f-
i-1
c- f*Io®
where |5|=f is the new circle C' over which we have to
evaluate.
Clearly the integrand has 5=0 the only pole of order four
within C\
—?[25+t+-]
• • coeff. of | in /(5)= —
Note. Minus sign has been taken in the above because the
transformation r=l/5 gives isogonal transformation e. the
sign is reversed from anti-clockwise to clockwise.
Exercises
dd 2n__
Show that (Agra 33)
2-f cos 0—’y/3’
COS2 36
dd 3-rr
Prove that
5-4 cos 2d=~8 •
Calculus of Residues 273
fr
J_7r a + cos d
dd, (a > 1)J*. (a > 1)
by putting z=e‘® and using the Theory of residues.
Ans.
Ads. 2«,[l---/--I
2a tt
Prove that
dd tt (2a-f b)
r -
Jo (a + 6 cos* + (a > ® > U)t
Show that
f°° _ dx tt Q- + ab-bb-
J-oo ix*+firrV2 d'b3 (a3-+ a*b+ab* + b*)
(a > 0, b > 0, ajhb).
6*7. Evaluation of the integral
J
Q (x) ax’
-CO
where £R+ denotes the sum of the residues of F (z) at its poles
in the upper half-plane.
Now since zF (z)->-0 as | z }-»*/, and hence from theorem II,
i F (x) dx
=11f«
dx
1. Prove that
’oo dx rr
(» f (1 -h**)2-4*
f°° dx 3tt (Agra 59)
(I,) J -—«oo (*2+D: *
dz
(i) We consider f dz where C is the
C(l+z2
contour consisting of a large semi-circle T of radius R together
with the part of the real axis from *= -/? to R.
(See fig. of § 6’7)
We have by residue theorem,
« *
dx
and H(T^?=I_ oo (i +x*r
Then we have from (1),
dx
^=2tt» 27/?+
r. co (1 + **)»
Calculus of Residues 275
°° f
Hence we have from (1),
dx
-oc(H^j'2)0
f °o dx
(l-fJC*)2
^ . 1 *
2
00 dx
or
1° (H-^2)2'4’
dz
(ii) Consider the integral J C (z2+l)3 -f cf(z)dz- where C
-GvbSM..
6 3
“(2/)®“i6r
|_oo ^V-2,,24/-~12*
a:2 dx 7r
Ex. 3. Show that
f: f*2+/; (x2-4)-y
Taking the contour of Ex. 2 and proceeding in the same way
we get
A3 UZ
fR —
J-/? (.v3 4-D (A2 + 4; + Jr (ii+Trfi+4,=w^+- •••(»
2
• f _g!_fc— -Q
•* Jr (z2+l) (z*+4)_u-
Calculus of Residues 277
16 "" 6#
278 Complex Variable
f(x) dx=
r /wa=3-
„ „ „ (/+«/)■
(*4-<w
Now (7^S-3 = -8^ (/»+2«/*-^(l+^)
6/_f
= ~'8^7?3 f,I+2a,/ ■ “2•ai~4a*
4a2 • • •J •
o «• r 1 • /->\ 1 6ai . 6fl21
Coeff- of f,n (2)= "IteSiL1 ~2S+4?J
16a3/'
•• (2).
from (2), j fix) dx=
f(x) (lx=2^i
2 ni j±-3.=£-3. ..•(3)
When R (a) is - ve, pole within C is at z— - ai.
in this case fix) dx— -
— oo 8a3
[replacing -a by a in (3‘J.
r=° dx
Ex. 5. Evaluate , (a~> 0). (Agra 1946, Punjab 58)
J —oo X y Q
Calculus of Residues 279
=Lim[form 0/0J
— rim 1 1 a a
r">a 4z3 “4a3 “ <a4 " “ 4a4*
1 n. . ” y/2 i
«= —-r-^.2/ sin —~t-, •
4«3 • 4 4a3
Hence we have from (1),
■v/2w
II ^-K-£)- lo3
[°° dx y/2 7T
J-» x*+a*- '2a* *
tt 2n !
6. S/iow that
Up*+(2555+1 •(»!/»
f where n is a possitive integer).
Consider
jc (z*+A*)w+I“Jc ^u) </z’
280 Complex Variable
1 Cdn 1
residue = —L
n ! Ldzn * J==»<
_rj (-/»- n (-»-2)...(-k-1 -/;+!)]
L« r (z+6/)an+i j*=ib
CO
f(x) dx=2iri. i
rt
r • (// !)2 (2&)2"+‘
(2n) !
or J ( / (* )<*r=
(2b)in+l ‘ (// !)2 *
f°° a- 2 dx
7. Evaluate
Jo ~x*+r
c* dz
Consider I ■j = /(z) dzt where C is the contour of
J C z6 +
example 6 above.
Calculus of Residues 28]
r
^ r R3
*
J o R6 |
R3 I /e3,e | dd
de __
|- ! - 1
R3n
^Jo R6-l R°-l~*° as R^°°-
--i [/-/+/]=-//6.
We then have from (2),
Ex. 8.
r, Prove (hat
°r
r_2*u—f
7T
_j„ssee 40.
Jo /4-2x2 cos 0-f X* Jc
Consider the integral
frf(Z) dZ=°-
From (1),
/W dx=2mSRt
70
f(x) dx=2ni ER+. ...(2)
I —OO
Now/(z) has simple poles given by the roots of
z4-{-2z2 cos d+1=0,
i.e. z4 + z2 1=0
or (z* + eiB) (z2+e-i9)=0.
either z2=—
i.e. z=±iei9,i.
or z2= — e~i9 i.e. z— + ie~i912
Hence the poles are by z=iei9,tt iei9,t -iei912, — ie~i9n of
which first two lie within C. Denote these poles by ax and a2.
Residue at (z=ieiel2).
= ^Ttf[- ,sin ]
2 2 5
/ 0
= -T s,nr
=■* sec ^
e
or 2^ rr 0
Jo 1+2F cos 0 + z4~ 2sec2*
Calculus of Residues 283
or f
J —OO
f (x) dx = 2*i £R+. ...(2)
Now / (z) has simple poles at z= ±bi and poles at z= ±ci
of order two of which z — bi and z—ci lie in the upper half
plane.
. . 1 1
1 z~*bi {z+bi) {zt + c*pm*2bi (c2-62)4
and residue (at z = ci) = <t>‘ (<?/),
where
* (Z,=(z! + 6s)(z + ciy
Now log <f> (z)= - log (z2+62)-2 log (z-f ci).
<!>' <z) 2z 2
z£+bx ~ z-\-ci
or
(C'-' = * <"» [ - b* - c2 - 2c/]
__i_c __?£L . n
(62-c2) (—4( 2j l_ 6*-c*+ c J
i r2c*/-6*/+c8n
4c2 (/,**-<*) L c (b'l-c*j J
(3c2 -b2) i
4c3 (62 -c2)2*
/ (3c2 -b2)i
sum of the residues = —
2b (?Zp)*+4c« (b*-c2)2
4W^v^3-3^+A3J
284 Complex Variable
i(c-b)* (b+2c
“ 4bc3 (c2-b*)2
factorizing the numerator
_ i (6+2c)
4bc3 (c-f 6)2*
j_ 3_ 3_
'16 * a 16a *
=-,i.
16a
2/», nt-ba*
4 16a *
Hence from (2), we get
r. sO-’sr'
or
r
11. •S'/roH' that, if m and n are positive integers, and m
00 v2m
7r
dx = :
i **"+1 2//sin {(2w-f l)/2n} rr'
•2 m
f 22m f
Consider j ^ dz—J f (z) dz, where C is the same
Out of these 2« poles first n poles lie in the upper half plane.
Denote these poles by alf a2, a8,.
286 Complex Variable
•2m
Residue (at z=a) (see § 6*1)
-[dldz (1-f-i-jjz a
a 2m a2m+l
2n<xtn~1 2n<xZn
a 2«n+l
since a2n= - 1
2/i
1 2tn+lj
Sum of the residues = — ^ [a12m+1 -f a22T7l+1 + •. • + a
=
1 [g«4-e3.'fl+_.+c(2n-l) .9j
where
2/i
I e'» (1
2/i 1 - e2'®
1 c** (1 — einie) (I — e~Sie)
2/i* (1-e2") (I
1 £*e_£<S"+l) 19 _ g-i®_j_eC»n-l) <9
= __ 2-2 cos 20
i sin2 nd . . 2m-f 1
since cos nd=cos —— rr = 0
2// sin d 2
. 4- 1
y-
2m
= -~——h V (sin/i0)2=f sin 77 (±1)?=1.
2/i sin 0 V
P
J —oo
/(.V)^V=27rl('_—i— )
\ 2/i sin 0/
rr
/i sin t
f30 .v2m , 7T
or
„ . Z2///+1 V
2/1 sin rrj
Calculus of Residues 287
VC)
VO)
-VG')}i!5rnri*,“'{VC)
where </» (z) -vor
(a-f6z2jn
,
^F 76 )
1 (-/i) (-;;-)) .. f-/7-(/i- 1)+1]
Now </'(n_u (z) =
b*'
FMT
= (_Un-l n ^+0. . .(2/1-2)
4 +y©'}'.
Residue at the pole
_i_ , nn_4 w («+!).. (2n—2)
=<-1)! -TO}'"'1
« (/i+l)...(2/i—2) (V /Zn-2 _ ( — i )n-i
{V(!)j.■‘•-DK.-m
— —1-3.5... (2w 3).2n~1.1.2.3.. .(n—\\
2"-1 ■ o-'.'2’. . (n -Hn^TT!
__1.3.5...(2 n-3)
. 3\/2
3.
I0 C^+l)**
OO
Ans. —*r.
lo
4. or v
j: oo (x*+l) (x*+2x+2) Ans. —
5*
00 dx
5.
j0 1+*** Ans.
TT
3*
6.
00 a:* dx
j.o (*a+l)3 Ans. 6.
x 1/ (Re*9) ) x | Ri || e*9 | dd
^ P e-mR sin 0 £ R Je
Jo
[ ■•• I/O) H/(*<?") | < €j
ftf/2
—2cR e~mR sin 0 dd
Jo
< 2e7? Pw e-2/»R o/tr ddf
by Jordan’s inequality
2cR (I — g~^R)
2/11 R/tt
C7T
—//jR\ -
’ m
i eimtf{z) dz,
P (z)
where /(*)=gr^y and
so that lreim*f(z)dz-+0.
(i) Consider
>m*f
dz=\cf(z)dz.
« C a2+z2
where C is the contour of
§ 6*10.
have
Jc/M *+J.
1
Since Lim =0, we have by Jordan’s lemma.
z~*°° z2 + a2
Lim
z~*ai (z+ai) 2ia
OO
From (2), |
Equating real parts on both 6ides, we get
./x-77 e-"«
f: 008
a* t-x2 a
or
)°° cos mx , 7T ma
f COS X ,
c< w (Agra 1950)
In particular J j
+ x2 2c
\rf{z)dz=0.
*+Sdx=2e-
Ex. 2. Evaluate
cos ax
« f0 (X2+b2)
2 dx, (a > 0, b
(ii) r 00
J 00
cos2 X
(l+*‘l
2
(i) Consider J
w (2a-f-^2)2 ^=|c
J c /(z)
Jy j where C is
13 the
uic
same contour as in Ex. 1 above.
We, then have by the residue theorem,
f(x)dx=2m£R+. ...(2)
= 2^5(^+,)e-a6.
Equating real parts on both sides, we get
f°° cos ax , tt
J-oo (*+&)'dx=i
COS <7* 7T
o (**+6*)* dX~4b3 ( + *
00 (\4-cos 2x)
(ii) Here/—$ f dx.
J0 (1+*1)
n. /«
dx~2ni£ R. -..(2)
294 Complex Variable
16
2e 2_f“ 1 ~t~ e~2 .__ I +3e~2 .
4 1 4 7*
00 l+e2ix 7T
I -oo (r+x-f dx~~2(]+3e 9)
it 7 1 f°° 1+cos 2* w , , 2,
Hence /=ij0 Tl+xy &=8 (1+3r 1
Ex. 3. Prove that
30 cos x dx 7r f B^ B~a \
ezi
= JLim-
:~*ai (z+aif Xz'+b*)
€T~a
2ai (62 — a2)'
Calculus of Residues 295
-b
Similarly residue (at z = bi) =
2bi \a2—bl) '
oo
i:oo
-7-r——:—rr— dx=2nie~a
(jc—4//J (x-\-ai)
or (* cos x-r? sin x)+i (x sin x-M cos x) ,
f -oo -T‘Ta‘-d,=2*,e-°.
Equating imaginary parts on both sides, we get
CO
a cos x-fx sin x
f -oo xz4-a*
dx = 2ire~a.
f
J —DO
f(x) dx=2^iER+, ..(2)
Now/(:) has simple poles
(z - a) _ e la
= Lim
z-+a (Z—a)(2-/?j (a-/?)
cK-2+« £-(1+20
2i 2i
i-00 *2 + 4y+5
dx= — sin 2.
j — OO
/ (»y) </.y= 2tt/ 2R+. ... (2)
*f,+z2+j‘) z=a
.twiCl
2a + 4a3 *
>m( a ,mW
sum of the residues = -K-.
2a + 4a3 2a2+4a«
,tn<a ,mid
2a+4a3
+ 2a*+4 (V *8=1]
= —- Cv/3/2) f V3 . m
V3 l/F 2+*cos2 a
i_ p—m (V3/2) COS ~
V36 L
IT
6
. m
m ,
2
. r77-
sin --f sin , cos _
6 2 a
- i,
V3 ■wm•" (M>
From (2),
Sin (£+!).
Complex Variable
^ ■*-% - ™ - (M)
cos mx
or -ldx^e-mwm sinM.
r, o !+A:2-t-A
7. If a ^ 0, prove that
r (^ “1“ ^ ) COS W , 7T n Q
(0
J0 -r+w £ K / ) cos 2 :
f°° x sin ax , n . /xn.
00
J0 7+^*“V3e hWsinI-
f (1 -j-r2) . r
(0 Consider . , , , ,
Jc ~i-4-ra+za
C l-fr^+z dz=)c /(z) ^z» where C is the
same contour as above.
By residue theorem.
Now /(2) has simple poles atz = eiri/3f ei1Ti/3, t47r<'3, e6ir</3
(see Ex. 6 above). Of these only two lie within C. Denote
any of these three by a.
Residue of/(2) at 2 = a is
(1 + z2) eia:
Lim,-*., j
-(H-22-j-24)
= 2e2*'/3 (1+2.^
^ ea/ {—1/2-Hv/3/2) />
3(-Hy»)(l-1-V/30
00 e-awm cos. a
1
-00 1 — V3 2-
Equating real parts, we get
/
•00
(12;, e —(v/3/2) cos«
— OO
j 00
(1+AT8) COS 05 ^
1+*• + *•
ze0*
ax
jr_
V3
fl (v/3/2) cos ?
2-
~”2 (1 + 2a2) *
e<7/ {cos (k/3) + * sin (?t/3)}
Residue at z=eni^ is *
2 (l+2e27T//3)
e-aWV2) ^1/2
= 2V3?
and similarly the residue at z=ein<13 is
e-(VV2) a e-ail2
—2y/3i
„-(V3/2)a ...
Sum of the residues =—. ... (eai/2-e ai12)
zy 3/
__ (V3/2) a sin fl/2
V3" '
300 Complex Variable
Hence
r
J —GO 1
xeaix 2iri .
^ ) sinf •
0
• [ sin w , tt / /->//!, sj
*• J0 H^-^v3^(V3/2)flsin|.
jrf(z) dz—0.
f — oo
f (x) dx=2iri £R+.
J a:3 sin a: dx
Calculus of Residues 301
or
r. x3 sin r cix
■°° (**+**) (x-+b£)
When a=bt we proceed as follows
77
2~ (a2e~a -b2e~bf.
2{a*-b-)
00 o • ,
! X3 Sin ^ dx n
^ (<7- 2) <r°
-4
a3 sin x dx
i: — x> a
(x2 -f- a*)*
"■ (a -2) t~a
4
\c f{z)dz=\R_Rf<x>>dx+\rf(z)dz=2mZ:R+. ...(i
r f(x)dx=2iriZR+. ...(2)
Now /(z) has simple poles for values of z given by
zi + ai=0 or 2*=a*el2n+l> vi
or (^)n/
= ^V 4 7 , "=0, I, 2, 3.
Of these poles only z=ae7,‘l* and z=ae3ntl* lie inside C
Denote these poles by and «t.
ze nit 2
Residue of / (z) at
at z=
z=«1 is |
o*)\
Jz = *,
302 Complex Variable
a^rniCL gmiCL
4a3 ~ 4a2
1 remia e”**0*-!
Sum of the residues = —7-*+ —
4 L ai <*2 2 J
1 r miaeiTz/4
emioeir>l ~mi • ae3ni/4
_4- __
.2^<7r/2
=4[_ a2eilTl2 1 fl2^3lT</2
r mia mia
1 (1+/)
V2
4a2i [_ 2 -e
ma
ma
V2 m£7
2^2_ Sin V2'
ma
From (2), f(x)dx=^ e V2 sin ~2
f50
o
cos mx ,
—-j-dx=-—~ e
^-fa
J^ + fl4
7r
2a3
ma
,7? . /mo , rr \
V2 «" (v2+4 >
3/tc
~1
= -4^4 exp.( miae 4 ^+0e4 .(m/ae
exp.( miae 4
_ i r■ -t
j_ 4 ami (cos ^ +» sin -J-)
e * .e
4.3
11.
io *+al
Prove that
ax = —- e
2a8
sin 1 -^ + -4 J.
W2
foo r oo y3pm2i
J-oo TO*-2"**-
...(1)
304
Complex Variable
!<**+-*'L 4
/ — —cos
V2
Hence f°° * sin •»***_ * ma/v2 ma
Jo x* + a< 2 S y/2'
12. Prove that, if 8 is the unit of circular measure,
(i) r -
J — cc .V
sin a: 7t
(^2^+2j rf*“27 (ff_C0S 5 + Sin S':
nil r 1 —COS AT , IT ,
{ ) J-oo xTx*-2x+2) dx=2e (e~cos S “s,n a>-
Consider
1 —eiz C
/c 2- (2“—2r+2) <h = \c *•
where C is the contour consisting
of a large semi-circle in the upper
half plane and the real axis from
- R to R.
By residue theorem, we get
1 — OO
f(x) dx=2iriZR+. ...(2)
r 1 —e*
00 x (x2 — 2*-f-2) ^x—2e ^
f°° cos X1 J
J -00 x (X2- 2 x+ )dx~ e
2 2 ^e~‘cosS~ sin SJ
and f°° sin * , tt r
J—00 x (at* — 2x-\-2) **x 2e -c°s 8 +sin 8].
13. Prove that
f°° sin x 2*r{v'3-F2} ,,,,
J-00 (**-fx+ 1)* dx— 3^73—^ e ^3/2 sjn j
Consider n).*=fc/(,)*.
where C is the same contour as above.
By residue theorem, we get
1 + iy/ 3
or z=
1 +iV3 „ 1-/V3
Let a =-2
=(^W)* L V3J
--p{'atxjl p-ifj
uV3;2
e-^t2e\/2i
(2+\/3) /
3v/3
r
J-~
cos ax_2*r °
Tj^yH\ax-~n ! # (26)^
(*’
Y;
r(2a*)"+^ V " (;2n*)->
+ -‘-+ n I J
308 Complex Variable
fr /(z) dz
r log (Rei0 i). Rieia
l -f-RKe2*'
. * I log Re" | + l log 11 + I/Re-") ■ R .Q
d0
I’
1 R2 - 1
[V | R2 e2i9+\ |=j R*.e*ie-(- 1)
> | R*.e*<* |-|-1 |= f?2- 1 ]
^ + 0) . i 1 I 1 , * M | rfQ
-»0 as /?->oo .
R log R , . log R R2 r% % n
Since Lim^^ = -•TjTTi ==0x 1—0
log (z+i)
Residue of f (z) (at z=i) — Limz_»/ (- 0 ^ ^ (z- i)
U
Therefore from (2), we get
“ lo« t*+!) dx=„ [log 2 + '|].
I — oo A"-h
I
f°° log n
n+x^_)
+
J+*
2
dx = tt log 2
loc 2.
or
Jo »+**
iz 2_ 1
(jx=o.
</z = f
( Agra 1945)
v ((,/(*)*!< Ajjir
-f [exp ( — R‘ sin 20) | exp (iR2 cos 20) | +1 - 1 |] ^
310 Complex Variable
—>0 as R-*x>.
Hence when R-+ co , we get from (1),
f /(*) dx=0
s. 00 cos *a -1 . n
o — dx=0
X-
00 sin xz
...(2)
...(3)
or
io *
dx=0.
Consider
Consider
f _^ ^ ——-—
Jc z^—2z sin a+1
dz=
Jf C Jf (z) dz
71
log {I + /? sin 0 - iR cos #} \ p ^
1 (/?-!) (*-!)
311
Calculus of Residues
. R cos o n R
(K-l~7
i? cos^ 6
r r iogft+*iogfi+J-sin 9+x0+tap 1i+* cos-e]Rde
J-- (R-D2
log R n
->■0 since —s- •
(
From (1) when R-*oo ,
oo
^ / (x) dx =2ni.—f—n
2/ cos u
log(l + cos a-isin *).
Exercises
,-a
COS X
1. Prove that [°° </x= — (a > 0)
a
I — OO a '1
(Delhi 1959; Alld. 1943)
6. By integrating
r- -a cos x-fx sin x jx=_q
x2 + a-
log (1 — iz)
7. By integrating round the contour of § 6*7,
z2 — 2z sin a-f-1
prove tTiat
CO
tan —i 7TX
dx=
j x2—2x sin a-f-1 2 cos a*
6*11. Case of Poles on the real axis.
So far we have considered the case when the integrand of the
complex integral has no poles on the real axis. We shall now
explain the method when the integrand has simple poles on the
real axis. In such cases we shall follow the procedure known as
‘indenting at a point\ Method will be clear from the following
examples.
= 0. ...(1)
By Jordan’s Lemma, we have
Lim
R->oo \r f U) rf-==0-
=/ J° ^=-/tt.
J0 /(x)</x+J_^ f(x)d.x-7ri = 0
f00
/(x) dx — ^i
fOO <r
or — dx — rri.
J —oo x
Equating imaginary parts on both sides,
f°° sin x
x 2
1 -ei:
(ii) Consider Jc 22 ’) </2
- c /•
where C is the same contour as in 1 (i).
Within and on C, f (z) is regular and so by Cauchy’s theorem,
we have
fi* fix)
dx+\ f(z)dz=0. ...(1)
and
jT f(2) m: *- pit‘° i,°
314 Complex Variable
-j: 2 iO dd
[1+0 (P)J dd
-K
Lirrip^o f(z)dz=j°d0=—v.
|0 f(x) dx—tt=0
or f /(*) ^-x=7r-
f°° 1— co
— COS X TT
or - dx= 2
J 0 X*
! z\=R.
(iii) the real axis from - R to — p, and
. — iri
=27r/-^2 = -^e
...d)
By Jordan’s Lemma, Lim^^ /(z) dz = 0
we get directly,
- w fir 1 exp (/7?Ccos 0 + /' sin 0)}.Riei9 dd \
r J U) | < I /?ei9 (a2 + tfV“)
putting z = Rei9
exp ( — R sin 6) dO
J • R*euo -(-a2) l
i (R2 - a2)
^ ! R*\-\a*1]
—►O as R-+oo, [v 0 < 6 < 7T, sin 0 is -fvej.
And putting z = pei9, we get
f f° exP Vp (cos ^4-/ s'n 0)} pt'ei9 dd
J y J (Z) J* p.e" (a* + pV<*)
-I5- f° - as p->0
o
a . n
TTl
a2
Hence as p-*-0 and R-*■ >o , we get from (1)
C°° C° -rri ni
J.
7T/
n
Equating imaginary parts, we get
00 jc («*-»-jc2)
dx=-t d-^'a).
sin x dx tt
= -r (1 —e~a)
i _oo x {x'+a^-a*
CO
sin x TT
1 0 x (x*+a*)(Jx-2ai{i~e^)‘
Ex. 3. Apply the calculus of residues to evaluate
00 cos ax - cos bx . , _
-dx, a > b > 0.
I ■ 2
or Jl + I2-\-l + 3 /4 = 0. ...(1)
Now
, r , fexn (aiR tcos 04-/ sin 0)) — exp {biR (cos 6-\-i sin 6)} D. ig ^
!4I^Jo| Reuo
putting z=Rt.'°
< r exp (-aR sin 0)4-exp (-bR sin 8) as
Jo R
[V I exp (aR s’n ^)-exp (aiR cos 0)
-h( — exp ( -bR sin 0).exp (biR cos 8)} \
<; exp (—aR sin 0) | exp (aiR cos 8) |
4-exp (—bR sin 8). | exp (biR cos 8) |
=exp (—aR sin 0)4-e*P ( — bR sin 0)].
And putting z=peiet we get
fn exp (aip (cos 0 + / sin 0)}—exp [bip (cos 04 /sin 0)} n/^t0 jq
/4==Jr o PV«
— —J° e~<0 (U-^)/p (cos 0-f/sin 0J
/. Lim^0A=-j: (a-b)dO=*{a-b)n.
4. Prove that
f00 sin2 mx dx
J0 =
*» (**+*«) “4a» (* 2ma — l + 2nia), (m > 0, a > 0).
2 , (IX
x2 (a2 + A:2)
1 — e *wu< fR 1 _ gSnwrrf
+ 1V z2 (tf2 + 2 P A:2 (a* 4- a:-)
r. dx
f: TfSnJSJif -' i * i ~ ■»
1 -f exp ( — 2mR sin 0) D
i: R2(Rt-a2) 'R<
r* 60 r dO
J„ i
R (R2 - a2).exp (2mR sin 0)
0 as R-+x>.
ll + OWI*-^
318 Complex Variable
=ai lies
Now the poles of /(*) are at z-±at of which z
inside the contour C. The residue of J (z) at z-ai
| e2mzi
= Limz_+aj pfZ+ai)
j _ e-2tna e~2ma ~~ 1 .
2fl3/
0*
! _oo x2 (a2 + *2)
7T
j r<» 1—cos 2m* I ->r2ma]
J* [r:mo -
or
-H !?"(«*+**) 4*
r 2zr
zzr__ logOrlf) Jz= (
r^-r' / (z) ‘/z>
Consider j (_ r.-,- . ^aXTHTn* * 1 +z J
c z2 (H-0*+^l*r)
where C is the contour of § 6‘7.
we then have by the residue theorem.
...(2)
Now ■ | |r /(z> dz I
<
■iO
2rRl [log ^+(fl--)+',log(l + -^
' --- ■■■■ *
< [R* (l+r)2-(! -r)8j (/?*- U
11
,„.[y.r^gy I,'.0,(1^.
= Jo -{R* a+rf-(l-r)'} (R2-1)
log /?
0 as /?-»•» since •0.
1 r/ if - I < r < 1 ;
z=i, z=
1+r
1—r . if r < 1 and > - 1 ;
Z_ \+r‘
• •
rl°gIT7 1 , 2
4r 4 Iog 1 +r‘
From (2), we get
f°° 2xr Jog (1 —ix) J 2rrir, 2 , .1
J-~ (l+r;*+(l-r)*}(l+ArJ) rfAr- 4 L og I + I- ~ log 2 J
= -?T Io£
f
Equating imaginary parts,
°° — 2*r tan-1 x
—O {AT* ([+!■)*+(1 -r)*} (1 +JC*)<fa
. -rr
2 ,0g ( +,')-
Putting *=tan we get
f*/2 _2rO tan 5.sec* 0 itf_- iop n _l \
J —k/2 {tan2 5 (1 -j-r^-Hl —r)1} (l -+■ tan2 5) 2 8( + 9
f
«/2 2r sin 0 cos 5 a jq 17 , /1 , %
J — -
( 7T/2
f^'2 r sin 25 , it
01 J0
o 1 — 2r cos 20-fr* ° ‘“’“t '°g (1 + f>'
Similarly we may consider the case when r > 1 or < — I.
5. Pro ve that
r°° 77 V 3
^Jo *8-l“ 6 *
n a \
+ Jf1-n-Pt) f(x) dx~*~ Jy
f 2 -/r(z) dz+ Ji+p.
ff. dx
Calculus of Residues 321
= 2 ni£R+ ...(1)
A+A+A 4~ A "F A+ As = 2niZR+.
| Rieu0. Riei9 r* R6
f /?5
Now
1 7* 1 ^ J0 | R*e*i0-l d ^ Jo *‘-l
Rl7T
= X*-l-+° as ^00*
. _ . (z-f I) zif--. 01
Since Limz_>_, (z+1) /(z) = Lim._>_1 ^ _ p [Form
_ . z*4-(z-t-l)4z3
— Li£n2_>_ i /-_5
lh.-» fvi /w
[see Theorem 1 of § 6*5J.
+ | /(*)</x+j^ / U) dx
= P |_^ /(x) dx.
IL /« dX'=2iri£R+.
S//I 7TJC
6. Prove that dx=TT.
0
j‘ A (J-X2) (Agra 1951, 58)
Now dz I <
j
JQ | (l-R*eu*)
v exp ( -trR sin 0).dd
dd
fo (^-1)
0 as R-+oo
since 0 < 0 < tt, sin 0 is positive.
f , 77/
and LimPa_»o I /(z) </z=/ (0 — 77). §= —
J Vs
since Lim-^j (z — 1) /(z)« *
ai-i-\-it~
- a*i. 2ai
(-4
P*eai» + ...) (id
— Linip^Q ^ eue {a*+p*e2i»)
I*0 d6 tt_
a: — i-\-ieiz tt 7t
or
f -co *»3 (<!» + **) dx = 2~2
/r,t i ^
oo
x- sin x , 77 /i 2
or
1
0 X* {a* + x2)dx'2a*{ia *+1 e 1
fV /(-*)=/(*)]
8. Prove that if a > 0.
f e<2
Consider 1 -r,az — f(z) dz.
JC c^-z2 lc
where C is the contour consisting of a large semi-circle in the
upper half plane indented at r = o and
z= — a as shown. Denote the radii of
small semi-circles as yx and y2 at the
points of indentation by px and p2
respectively.
Within and on C, / (z) is regular
and so by Cauchy’s theorem,
-sH «p(-ia+^“'-('+^e,‘) dd
i fo _
= -x- e
“"2a J* * 2a
in the upper half plane together with the real axis indented
at the origin J.
|_glmiz
[ Consider
Sr z2 (z2-{-a2)2
dz where f is the same as in
Ex. 1 above.J
OO
(11) oJ
P s,n °x
—S- j
^ dx= n
^ cos ar.
x2 - r&
Consider f
. ** g dz=[ f (z) dz, where C is the contour
J c 1+ z2 JC
consisting of a large semi-circle in
the upper half plane indented at
the origin as shown in the figure.
Here we have avoided the branch
point 0, of zb by indenting the
origin.
The only simple pole of J (z)
within C is at z=i.
ib
The residue (at r = /) = Limz_>.i (z-i) / (z)=y.
—
e"2 —
I1 /
I
irb
7rb ., . . nb
n/>p I
7rb\
■ nt r»
“w[
cos 2 +i sin y . ..(1)
Calculus of Residues 327
AbeM
Now | Jy/(z) <fe| < | .Rie" dO
V+R*eu9
<=1 o ^-\
RWn
0 as R-*>o since —1 < b < 1.
fro
R*-l
< Jff
/(*) <fe|<
H-i
pb+i
y—t do
#
(
Hence when p-+ 0 and R-+oo, we get from (1),
°°
f (x) dx+ I
f°
f(xeiv) (-dx)=ir{ cos
/ irb
y+/ sin
rrb\
yj
I oo . r°°
«•<» ,<*6 ^6
-<*6 / rrb . *b\
JC = ff^COS 2 +'Sin yj.
o i+?*+J. r+^<
Equating real parts.
OO irb
j-j-^ (1-fCOS Trb) dx = n cos y
0
00
i rr V ft 7T nb
or
i0 +**
dx=
2 cos (7r^/2) 2 SCw 2
dx
1+**
■°g (*+£) dx
,og (*+i) dx. ...(2)
1+X* OO 1+*1
, we get
i°g (*+J
[‘ 106 G'+;)/ in
L
J0 T+7F W~V
328 Complex Variable
Jog (f-f-1//) dt
-i:
Therefore from (2), we get
o I+r*
= -/.
r:
or A 4- A+/3+A — 2” *•
Ra-1
Calculus of Residues 329
__ _?L f\r I
-R*-l 'l R '2R
|° (logp + 0)p
<
1 -p2
f/w
J00
dx +0
■fl /irei
n) dr+ 0 = ~ i
oo
or f°° log * ^ , f°° log (reiir) , .
J„0 l+x2<**
1+X + J00 l+rV”*^=2 1
oo
00 log X (log r+in) J ,
or --- dr=\TT*i.
f 1-fx2
dx+
\ \+r ...(5)
00 log x dx v
3. Prove that (l+x»)*= ” ~4 » using QS a conlour a large
I
semi-circle in the upper half-plane indented at the origin.
jc +z*)* dz = Jc f{z)dz’
(1
f(rei">eiirdr+J f (z) dz
= 277-/ £R+ (j)
or /i + /2 + /3 + /4 = 2 viZRi-.
--jj p -1°« a
or r
J0 (1+JC*)*
dx=--
4-
/X
4. 5>> integrating row/jrf a suitable contour, prove that
I -\-x
f c?+F)*-fc/(,)*-
where C is the same contour as in Ex. 3 above.
By residue theorem,
or li + Iz±I*+Ii=2iri ER+.
f* log Re")2 D im\ja
Now 1 /, I <
r | (log R+Wf I R do
Jo
r r dog /?)*
_fl2-1 L 77 fl + 3-R- J
-►0 as fl-voo, since Lim^^
=Limp_+0
=L'mP->0 -27^P[Form^]
f
J0
/(at) </at- f° f(reiv) dr=2ni£R+.
J oo
..(2)
Now /(z) has simple poles at z=±i of which 2 = i lies
inside C.
r (log z)2
=L,m~' (F+7T
(jog/»2=i^Y- —
2i \ 2 /-25/
From (2), we get
f00 (log x)a (log re")* 7r
Jo (1+**) ** *+/o (l+r*e"<) ~ 4
f" (tog.*)' , f “ dog r+/V)» .
J0 !+*• *+J0 - 1+,, **•=—T.
Equating real parts, we get
Jo H--*2 J0 l-fA:2" 4
0 f°° (log at)2 j q T . *1°° 77
2 J„ tff *—* Ltan-1 *J0 =—4
^ f00 (log X)2 7r3 7T3 7T3
2 Jo ~T+^ ^=-4-+T=4
f00 (loe a:)2 7T8
Jo T+3F“ **-«-•
+ r "" 3
CO
(cos a--}- / sin .v) (Jog x—(in/2)} ^
or
f a2+4
(cos r-/ sin r) (log r+'-infl)} , n
+J 0 r2+4 ~ 2 e 1 S *
-o
6. (i) integrating . r— ■->♦ ( - I < a < 1) round a large
± +-.Ti
semi-circular contour in the upper half-plane indented at the origin,
prove that
xa , _2tt j/j> (2an/3)
s0 A2 — A + 1 X~~y/3* sm an
f* K*x dd
<)Q Rz-R-V
[V | R*e™ + R.el°-(-1) I > I \-l> R2-R~\)
/2->-0 as R-+°o t since - 1 < a < 1.
f° P°fl /a
Similarly 1 h I < ]_ \~p-fdd
->0 as p—►O.
From (1), we then have as R->oo and p-*0,
or c/*+ dr
1 0 x2 + ;t+l M-l
2tt f 2?rd . . 2rr^"l
= — I cos - — + i sin — !.
V3L 3 3 J
Equating imaginary parts, we get
r® sin an 2n . 2na
-— ar= — sin —-
j. r* - r+ 1
[°° *a . 2tt sin (2^/3)
or
Jo a2-*+1 Xt=V3 sin arr
336 Complex Variable
cos an _ ?tt
2ira
and dx +
A2 + a+1 x2 -x+ 1 ax~~ 7/3
V3™ cos 3
2tt 2na27t cos a-n sin (2na>3)
CIX= COS
1+ V3 3 ~~ y/3 * sin fl7r
. In a
277^7 . 2tra
27TA 1
sin citt cos —— cos a-n sin -y-
-77
V3 ( Sin <77T
f°° x2 2tt sin (an/3)
i.e. ..(4)
J. r+7+
J0 Jr! rf-v= \/3
1+a+a‘ sin ATT '
Jo 1 T^+*dx
f°° Aa (log A' 2 . 47T3 r« . air - QTT .
or -7-7—-—s- dx=.7 3 cos y sin mr cos Ott
J0 14A-+-A- 9 \/3 sin3 att L9 sm j -
.. an . 1
—5 sin y sin2 an I
r 4
1 1, , -
~9V3l l8+6 + ““3
16 , lSv/3^
-77 *■
81V3 243
Calculus of Residues 337
oo Xa-I _
7. (i) 0
y—
/+*
—
ATT
ro < ^ < 7;.
00 va—1
(ii) P f j— dx=rr cor an, (0 < a < 7J.
Jo 7 A
(Agra 1957, 62; Raj. 1953)
Consider
) 2o-l
^ i- dz
Cl-z
4-J* /(a) dx-(• |y^ / (z) </z + j^+^ /(^) </a = 0. ...(1)
J 1 + p. ' '
since z = reiv on — ve real axis.
Now dz I <:
fr/?°
0 as /?-^oo since a < 1.
R- 1
. “TF7-^+J# ...(2)
338 Complex Variable
(
And equating real parts,
eo ^-1
-- dx = cos an
roo 1
—— dx=cosan.
7r
= 77 COt
0 1-Jf Jo *+•* sin aw
since a 0.
= since e~iV= - 1.
■ 000 £a7r* — ^a—1
Hence from (2), dx — 7T
0 2/ 1 +*
cc Aa-1 77
or
j 1 -f- at sin utt‘
8. Prove that
°o x*-i
+ j/< €*ni dr
+ \y f f{x)dx*2niSR. ...(1)
Ra 2tt/?<* ^
I _ | as
since a < 2.
340 Complex Variable
From (2),
OO [1— exp..<2«rfj]^
/ -x cos y
r.exp (wai) ira
1 oo ,-o-l
l+x2
exp (irai) — exp ( - nai) ^a
—— -=ir cos —
or
I+* } 2/
ira 7ra
00 X°-l
IT COS y
Tt
COS y
or r=
/
dx
sin Tra — 7ra ’
cos
l+X na
2~
sin
y y
x—' ira
Hence
j: l+x:
j = ^ cosec
2 *
...(3)
Consider
f, rS5.-lc
where C consists of
(i) a large circle r, | z |=2? :
(ii) the radius vector 0^2*7 ;
(iii) a small circle y, | z l = p ;
and (iv) the radius vector 0 = 0.
»a-l
+L/w*+f* 2 dx=x2niZR
fr l+z + z dz +
fp ra-l_ exp (2iria)
JX 1 + r+r2 *4-[y j
za-i
+z+T‘!h
0—1
+L”i +*+.*2
...(1)
Now lfr /(*) *1I < J0HIJ ^1 -fRtx01<*e'10 U< do
Ra
i 0 R*-R-\
do
2nRa n
/?*_y? — 1 as ^_>0° since a < 2
342 Complex Variable
aa-l
Sum of the residue= ^+ 1
a—p p— a
=o—
= 2_ex£^io) s,n
2 /7T 77 77*\
I \r“:
[2*
) dz
Ra+1
<
r Ra exp (aid)
—-2 Riei0
[l + R* exp (2/0))
do
5$ I —r.2 dO
2ttR*+' n
,—o->U as R—► oo , since a 3.
~iR*-l)*
Similarly |j f(z)dz
(0
J 2- (T^?p
p«-t 1
as p~>0'since
« + 1 > o.
Hence when />-►() and /?-*•<* , we get from (I),
2 niZR=[° rfjxpOnai) f
o (1+.xV</jc
(l—exp (7irai)} xa
dx
-fo 0+**)*
0 ra.exp (2nai)
[■•■ i 00 (14-
J. 1ha-v dx\-
Now f(z) has double poles given by
z2= ”1=exP "/} or r=exp {i {2n-\- 1) n), n—0, I.
Let a=exp {(w/)/2} = /, /3 = exp {(3w/)/2} =
r°° ^ _l (]
(sin t)
n) ^ 1 -
or Jo OH-x2)* 4 k ' sm rra
_t* (1 —a)
“4 * cos \ira’
or z = —ell> -e~x'.
both of which lie within the contour since 0 < A < n.
(i) f
Jo
*a_1 sin (£?r0—bx)
Ar--frs
bTra~-e~bT
‘ '
f30 dx
i) P\ :xa~1 sin (Wa-bx)
Oi) = rra~2 cos (hra—br)
J0 rz-x~
_ . f -0—1 r
Gons.der jc ^ *-Jc /(*) <fe.
fc/(*)*-/£ S(x)*+Jr
-h ) tiir dx+ /y/(c)d.- = 2rr/ 277?^
.(1)
owl ) dz
-<
f" /?a exp (-/>/? sin 0) , 0 r/8/g° cxp(-2bR0/n)
Jo *** “J0 /?2 + rs ^
y?° 7T
~ R- -r£'bR (1 ~~e by Jordan's inequality
-►0 as /?->» since a < 3.
f^+r')\z=re,«,>
or r
50 exp {(hm-bx) /} - exp {-(\c,TT — hx) /} x*-i
21 **+r
dx
= \ r°~2 e-*r
f» x
V« —1 sin (oir/2—xb) it
J 0
“•*—2 1 e T' ^ence the result
f f(z) dz
__ f° (-^+Pie,0;a-; exp + dO
J Pi**9 (2r-p1e*9)
• f° (-r)0-1 (\-Pleiolr)a^ tribr.exp (ibPle^)_dd
Jtt 2r {1 —(Pi/2r) ei0}
= Yr (-*-*£ e~ttr{l+0(Px)}de
_. __ ga7ri i&r
and f
J >2
/ (z) dz- f° ^:l
J-
eXp {,a7 1)
r* — p2*e*'e
P (ibp>-eV Q'ie" d6
,2
4
Jr
art
- f °° f{*)dx=-% r°-*{e
+*
&—ibr \ aibr
4- e”r}.
£ {f(x)+f(x*ilT)}dx4-J°° {/(-v)4-/(^}r/.v
= _ ~ ,a-2 +
Calculus of Residues 349
OO
or
I {/(*)+/(**<*)} dx
_ _ ^
ITT
^(i^ra/2) ^a-2 ^(a^r/2-6r) i ^ e-{(nm-bT)
13.
J r* -x-
/Yovc that, if —1 < a
<^x = ^ r®"2 cos - 6r^.
JL+is?‘2»> ,r™Vd»
[0 l+2r cos 20 + r* ' '
1 < r < /,
= 4 coj ±aw{/+0 + r) }' $ ~
7T
4 cos ^arr or > I.
Deduce that, if —I < a J.
rvi 2 ftr/2
0^° </0 = I (cot0)nd6=--.
JO JO 2 COS $<J7T
and residue ^ at r = — £ z^ is
z2 (14-r) + (l-r) ( za
1 -rS’Kl+z*
1+r)/’+;—;<•) r=i-Hr /
1+r
) exp.{(/V/2) fl}.
CO +1
=l[i+G+>)]-
x3 (l+r) + d-r) _I
or
1
l+.x2'x* (1+r/-Hi -r>*
_ir
4 7ra
cos y
t »(&:)•]
Calculus of Residues 351
o-
,. log R r .
—LlID^^00/?»/«(l — !//?)*
MR .. *
— Lim ^5/a — Ltm'/?-»oo *> p—1/6 — Lim ^ 1 -ol
* ^®76'"UJ *
C- -1 .
Similarly [if,/w
I / (z) dz Lf°
| < pm (log P+ft) dO
n. (1-P)*
log P
■0 as p—►oo since Limp _*o p7,e log p=Lim
P ’ — p ->0 P’7/8
1 Ip
=LimP-»o =Lim ^ -^,l5=s0-
By residue theorem, we have
w- r ^
Equating real and imaginary parts,
»d /: <iS>
(V37r + 6)
and 6V3+”)
2 o
that f 00 loa x _
lQg* j. _ v
J0 ip* i-v/3*
2 a—l
4. By integrating round a large semi-circle in the upper
(ii)
f00
fJo —
yM
,’-1_ , _ 2tt s,nHr-)
l~-vr sin 77/?
where 0 < p < 2.
2-t
^Hint. Put A— y or - in Q. 11 (i) and /?- 1 for/?.J
If /? > 0, q > 0 and 0 < 2, prove that
</at.
+ I
exp (am) _
exp (air/).
1
Calculus of Residues 355
- 2neaR
^-*-0 as R —► oo since a < 1
eR — 1
2ne~aS
0 as »S ► ®c since a > 0,
l-e-S
i — edx— — 2rricalJ<
*
— OO <?*+!
tto* e**
or
r.
oo 2/ l+ex
or r°° ea* TT
oo l+e1 sin qtt'
Consider f -—£—- dz
J C 1 - ae~is
= \c f(z) dz.
- -
= 2ni (—log a)
or /i + /2 + /3-+ /4= -2rri log a. (1)
Now /3 | < f *._1 r+iR 1-dx
J 7t | 1— a exp (— ix-t-Rt |
-i*|+L£| ^
J* | a exp ( - ix+R) |- 1
/ _ f° 1 dt fK x dx
1 J 7t
w 1 -atu + Jo \-at,a
-f 0
n
x (ae~ix—Cciz)
1 —u (eix -te~,x)-ra2
—2/.r.7 sin x ,
,
1 — la cos x-f-u* Xm
=r [t&]-*
00 2rre~v
i dy
-j e y-t a
00
= - 2777 f log
when 0
Calculus of Residues
35
or f xa sin x j , ,
Jo 1 — 2a cos dx=7T lo8 0 +«)
and when a > I, we get
roo ^ •
I - 2ixa sin x / I \
Jo l-~acosx+a* dx=~^ilog +
since/(z) is regular within C when a < J,
f50 *** sin x , / j\
J„ *=-iog(i+').
Ex. 3. Apply the calculus of residues to prove that
r cosh ax l a
J0 cosh rrx UX~2 sec 2 *“w < a < n‘ (Agra 1958
e**= - e“Vi
(-R)
(R)
This gives
gives r-^+O
z-~ 2 lt• n=l0t ±u ±2
or * tt/ • • •'A/
/i+/2 + /3 + /4 = 2ea</2.
Now |/t|= I «PiMV? + /»\ . , I
1 Jo cosh tt </?+/,,) 7dy I
^ f .—— 2fo/?|^n/ut.
exP {”■ (Kt/>;)-+-exp ( -77 (R+iyfiJ
358 Complex Variable
leaR
_
r. (e*R
2eaR dy
- e~T'R)
or
r. OO cosh tfA'
oo
cos (a/2)
eat 1
,ax
...(2)
or
t oo cosh ttx dxJr f
Jo cosh ttx
dx=
cos \a
f
Putting ,x= -/ in the first integral,
o eat ro c-at f co ,-ax
cosh ttx
dx.
— co COSh TTX ’ J OO cosh TTt J
■f
oo £-ox eax 1
From (2) d \ —• — — —
R+ia, ia.
Since f (z) has no poles
within and on this contour.
Calculus of Residues 359
or A A —0.
A
-if: exp {-(/?+/>)*} i dy | < |
f o
exp ( - R2+y* -2Ryi) i dy
I
^[ e R~ ey~ dy
Jo
-*■0 as R->x.
r OO
exp {— (jr-f/Vi)*} dx-ij eyt dy=0
\/ 7r
or — e°3 I e~x*.(cos 2ax — i sin 2ax) dx — i j eyi dy= 0
Jo Jo
or
2
ea* |
j OO
0
e x1 (cos 2a x - i sin 2ax) dx—^-^r—i f ey'~ dy.
Jo
Equating real and imaginary parts,
ea% [ 00 e — X* J V”
* cos 2ax dx=- —
Jo
or
f.-'- cos 2ax dx= e~a'
and [ °° _V »
e ■* si — n*
sin 2ox dx=e~° eyt
dy=e~a f e*3 dx.
Jo J0
5. Integrating e z* round the rectangle with vertices at
±R> ±R + ia, prove that
Consider
y
(-R+VQ] (R+va*
u c
\c exp (-z2) dz==fc dz*
where C is the rectangle as shown.
Since / (z) is regular on and Al[-R) O B(R) T
within C, we have by Cauchy’s
theorem,
+L f(z)
dZ+fDA f (z) dz=0
or
\-Rf{x) dx+\[ fW+Widy
...(2)
To deduce the other results, we have from (2),
-•* l
[exp (2aix)+exp ( -2aix)] dx
Calculus of Residues 361
, .2 r°° 2
— 2ea e~x cos 2ax dx
Jo
_2 ~ . \/ 7T 2
£ * cos 2c7a: dx = -— e~G
r0
« T- </)-*0 as /?-*• >3
R+a-y
and I f” / ix+ju,
/ (AT f/AT I <
-{-/?/) dx f0 | exp (Jx- RJ
JR
/? \ x-t ift + <?
X + i7f a
J 7? **&I-*Uoas *
R- x-a
Hence when /?-*oo, we get from (1),
f00 e** f°
I ——
~x~- /i </ya().
dy =» 0.
Jo * Jcocc 0
« +V
V
362 Complex Variable
r — dx~ f 00 e~az. ia dx
a (1 -+■ ix)
=0
Jo X+a Jo
OO ix 00 / (1 -ix) e~ax dx
or
f x+a
dx
-f 1+x
Equating real and imaginary parts.
Jo *+* Jo ] +x
and r sit)~ <*= f" ^
Jo *+* Jo 1 + A
7 flv integrating 6Xp round the rectangle with vertices
J ° ° cosec nz
±R±lif show that, if 0 < a < *r,
^ dx= k caS ia
0
i
00
and
i sin (ax'> ^Va dX~i S'" ia‘
__ [ exp (iazz)
(sinh 7rz)
dz J *=o
{exp (/oz8)\ __ J
7T cosh 7TZJ — 7r'
By residue theorem,
fc/W*-J^ /(z)rfz
f (z) dz=2iri.~
+L DA J ’ 77
Calculus of Residues 363
f/? fl/2
or I „/(*-¥) dx+ f(R + iy)idy
■* ~K
J—R
R
-
r-i/s
1/2
[eRa —e—Ra
Ra )
_p-'*/£
->0 as R-*-oo since 0 < a < -
Similarly it can be shown that
/*—1/2
Lim/?-»oo fi — R+iyt i dy -O.
J 1/2
Hence when /?->>o , we get front (1»
f"exp {/a (x-*/)*} expf/afx f-A/)2} .
J _ ~7:~u—«*+ I
sinh-7—r —J a.V*2/
oo sinh tt (x- ki) tt ( x + h )
cosh ax
or
00 cosh 77x
Equating real and imaginary parts,
c
eia x*dx=eM*.
00 cosh ax a
_ cos ax1 dx—cos
1 — oo cosh ttx 4
and
r
J0
cosh ax
^ih^x
Consider v
f za- r (-R+M) y
j c (T+V*) dz = \c /,z)^z»where
C is the rectangle as shown in the
figure. By residue theorem, A(-RJ
+ |r / ( - R + iy). i dy=2iri27J?+.
Now | r
'Jo
/(/?+,» / dy j < f CTP.fel*±*j>
(i-fexp(2y?+2/»J
w (/? + y)
/ n ezR-i dy.
n. ,5. *-*•*
or
i:.oo
at<°* (1 —ea1r*> — Tr/e^.e0^*
1 + e*x
•7
Residue of / (z) (at z=\ni)
z= 1/2 it/
).7Titalrilt 7T
ieaTin.
±ev* ~ 4
From (2),
OO
(I —<=<>*•) - . eair< 7T
- dx=— eaVi'\
i — oo i+£?*■*
Equating real parts,
(I — cos an) xe**4-neax sin an
A 77
•lx dx= — cos -1 an.
— OO \+e‘
dt
Putting ex=t, dx— —, we get
OO
(1 - COS an) ia los? t-f-ir sin anta dt
I l-w*
IT*
- = — cos - an
1
+ J" /(w+O') * dx
° /? A'
-f|Fl /(/»./+ f(z)dz=0 ...(1)
or A + A + A+A+A+A—O*
. (2 -tt) e°*
— Limr_>- e_2lc _ |
= Lim^
ea-*+(2-7r) ae" <?°:
j^Form
a
— 2/ e -2t*5 — 2/
we have
-j
frc gox (1 1 f* e“ (1 — e2,z)
If
</x,
J0 2 (1 - cos 2 a) 4J sin2 x
f/1 .... . . f" exp {a (*+iy)}idy
Lim /J->oo . Ps-X) J Pj /(*+«*) Jo exp {_2/ (tt+iy)} — 1
00 ear. eaiyi dy
f° ea
e (*+in)
-f 0 *2v “ 1
^an<
’
dx < </a
1=
J tt er« (x+tn) _ J (x+iM) | _ |
C° e°x dx
•0 as n—>00 .
J ein - 1
Calculus of Residues 367
4 I j f~ -
~Jo 1 —
e<w (•—cos 2a:)
</a:
sin2 a:
+r(—
or
= ±(e°''-l)-1L(l+ean)'
2a
00
dv_ 7T
v l+ean
l+*aw1 ir Qtt ,1
I
4 r^*-2^=4coth~2-fa¬
f (z) dz
<?a<‘-f m'zea<* 1
Lim
z^° lire™' 2tr *
368 Complex Variable
we get Lim^o
_ in e~a i
we have LimPt^o /5= - -y - — *
»-o
f1 exp {/c7 ((/?4-/v)) / </y i
Also I /
"Jo exp t2jr (R -tiy)) -l
C
c exp (2/^tt)—1 4k
0 as R-+x>.
=-l (>+«->
00 ca* (*+<>
or
f0 exp (2-ttx) - 1
dx+ f
Joo
OO
£—<iy
exp {2tt (x-\-/)}-!
«/x
+r =
Ji exp (2w7y) —1
i</y=4 (1+c—)
CO /I --a-v.atr / f1 e~av.e~Viv . J
i: 11
e2**— 1
(l+e-)+J
^.-ay (cos ny — i sin ttv)
dy
- 4- (!+«-) +
j: 2 sin Try
dy.
rs!n «x a _j reav-j i
Jo Sinh * “2 W [_«*« +* J'
provided that the imaginary part of lies between — 1 and I.
Calculus of Residues 369
Consider [ exP dz
J C sinh z (-R+7TI) CR+lA)
^ f*__
Joo sinh R cos y
v—cosh itt.
—cosh R sin y Jy
u
370 Complex Variable
71
2e~ax dy
/„ (eR — e R) cos y — (eR+e~R) sin y
2er*y dy
eR (cos y—sin y) -e-R (cos .y-f-sin y)
0 as R-r oo.
f
J -0C
f(x)dx—ni+ f°° f{x) dx+ Jf
Jo oo
/(*+/*•)
+ir/ie-»«+ J °°/(A-f/7r)=0
f:
-
foe si
sin ax dx=iT
or 2 (\+e~™) (1 - e_7rct)
sinh a
Jo 81
f<» si
sin aA 77(1 — e-Tra)_7T e~a—]
or dx =
J* sisinh a 12 +*-*«)“ 2'e»*+l
j>a2
13. (a) 2?y integrating ——^ round the rectangle with vertices
[Form o]
exp (2wai)
“expT^T)
-r v- '/ =exp (2,ra')'
I f2r: i , #»->_
Again ; h f(i?+/y)/d> 277 exp fee </?+!»} jdv
J0 o' exp (/?-f iy) _ j ~
c 2« £,a/f
I
< 2neaR
eR ~ |
0- as Osince
JII v 0 < a < I
Similary /(-/?+/vUdy->0 as /?-*« .
+ | f{x+2tri) </*=0
J0
372 Complex Variable
r
J-oo^-i
*_r gxp (g ^+2^)}
exp (x+2iri) -
J _oo 1
. }
f {1—exp (2*r«i).<Q ^=7r/ {J +exp (2ira/)}
foo
J —oo
ax
•
f°°
i
, rri {1 + eXp (2irai)}
*+]. ?=1 -1-”* "
- — Wl{ .TTdi_e--X(H J
L £r —L HT *■
f°° exp {(!-«) a 1 ——= =77rT cot ?ra
From (2), e*-l
f 00
.
SW/j aX
UnFnX d
, / tn„
2 tan 2*(
l rr (f)
")•
Jc £S *-Jc'<*’
where C is the rectangle with
vertices at /?,/?+/, -7?+/, -7? .R+£
R+ l
indented at z=*.
sinh air a f( *
Since L'm**o55fi^--f7W
-R
has no pole at the origin. Now
zeros of the denominator of / (z)
are given by sinh nz=0
or e**-e-»‘=0 or e^=l = e2nir<
or z—ni, n=0, ±1, ±2 etc.
...(I)
Since LimM( (e-/,/W=Lim (,_«
Z^‘ sinh ttz
sinh a/ i
. = —— sin a,
W COSh ff/
Aliter. Consider
J c sinh ttz„ dz=\c f <z) dz>
X/\ZligiUVA I • |
+/o /</?+/»./4v-ff(x+i)dx
f1 I exp {g f7?+;y)} . |
^ Jo 7T (R+iy)
J 0 I sinh it (R+iyj 1 ay
* I|
f1 _exp (aR) dy_
J o j sinh 7tR cos iry+i cosh ttR sin Try
Calculus of Residues 375
exp (tf.K) dy
< P —
Jo (cos try - sin try)
fV R is large, we can write e^R for sinh ttR and cosh ttR]
-*■0 as R->oo since a <. n.
+ JQ /(■*+/) </.v=0
r.
>ax ea 1*4 O
or
00 sinh ttx
OO
dx
-i: OO sinh tt (x+i)
*r -f ear. eai
/ (I — eai)
dx=/ (1 — e0<)
— cc sinh ttx
[V sinh (TT.v-f 7r/)= - sinh tt.vJ
oo ar
e- . *(]-**» -i {et«<»> —g-(Q«*)} a
or
— oo sinh ttx ^ l+ea< e{at/2) _^e-(ail :) ' tan ^
I
or
I"—co sinh ttx
ax
dr+r i
J0 sinh ttx
.ax
r-r-— </x=tan ..
2
or
or
r o
eax
—r-
_ e-a.
sinh ttx
00 sinh ax 1
;rv— dx=-z tan
a
dx=tan -
2
a
I o sinh ttx 2 2
.CLX
oi
.. .{2)
/: oo sinh 7tx dx=\2Ln 2a.
fIo<-^h^rfjr-sin*fltan odx
2fl = cos la
or
/•- dx=sec *“• (Raj. 1959)
00
e**
or
Llsars
.-oo cosh „„o cosh
-- ttx ‘''+1
dx=^sec \a.
r
j 00
e^ + e-*^
or f/*=sec \a
J0 cosh ttx
or f 00 cosh ax , .
-—- </* = * sec \a.
Jo cosh TTX - 2
Putting 20 = \n-2h
378 Complex Variable
f*7s
J R exp {(— 2^!it) 7?2} d<J> by Jordan’s inequality
1 -e ]-->-0 as i? OO.
*T - *.
j;e-
y/TT
COS r2 dr + sin r2 dr— ...(2)
J" exp (—xa cos 2a) cos (x~ sin 2a) dx— ^ cos a,
\cf(z)dz= \OAf(z)dz
\nofiz)dz-°
O
(re'a). eia dr=0.
t.> ...d)
Calculus of Residues 379
exp {—RW).R,e*\d6
Jo I
f°° a f30
I e- dx- exp (—r:e~ix).eia dr=0
J0 Jo
or Jo exp {— r- (cos 2a+ / sin 2a)J.e,a <// = P » v/ TT
e dx— y~~
roo J°
or
exp { — r2 (cos 2a-j- / sin 2x)}.eia dr—^-^ e-*a
J o
y/TT ,
=~2 (cos a - i sin a)
and J ^ exp (-r* cos 2a).sin (r* sin 2a) </r=^7 sin a.
a = 4* we get
X)
and
X)
IS. By in,egeing dong a suitable path. show ,hat
i: w m 00
«Vi a:
V*
dx
by Jordan’s inequality
— —— (l-e~R )
2y/R ^ }
—>0 as R-+7o .
ie-ivl*
r e~r#r~1/2 dr
<72~‘-vd
Equating real and imaginary parts.
s
oo COS X oo
sin x
0
dx
Vx "" -I Jo Vx
dx
-JG>
19. By integrating e^.z*-1 round a quadrant of a circle of
radius Rt prove that when 0 < a < 1.
00 cos , cos 7TO
[ a:*"1 .
sin
x dx=r (a) .
sin 2
,
n£ 1
Now \rf^dz\
*12
exp {(//?)•«"} /P*”1.exp {fa - 1) 10} dd
TT/2
exp ( - /? sin 0)./?° </0
-i
exp [-(20/*) /?] dd.
by Jordan’s inequality
J'-.R*-' (1 -e~R)
Deduce
Consider
Jc/(z)rfz=J* f{x)dx+^ff(z)dz
+ \r /(*)*-°
382 Complex Variables
77
->0 as oo, since sin 26 is 4-ve, when 0 < 9
2 *
f r/ \ j f° exp {ip*.ezi9} jd
and
\yf<Z)dz=U2 Je"--P'e dd
=/ f°,
Jn/2
[1 + 0 (p)] df>
ITT
2 ’
f
Hence when R^-oo and p->0f we get from (I)
°°
j(x)dx+ j
r°
y (/>) i dy—^ =u
ITT
oo
oo OO —IVs
or dx —— i dy=l~
i OO
-f n
,/** _ „-«»
^
177
2
or </x= ^
j
f°° 2i sin x* . ii7
or -dx—-^
Jo X 2
00 sin x2 J 77
..(2)
or
!0
Puttinc x2=r in (2), we get
x <^x==~4 *
f00
00 sin / I1 77
o ^7 * 2V' 4
or
Now
Jo dx-f exp ( - areia r"-1). exp {(// -1) a 1}. eia dr=0
fee °
exp { -ar (cos a+1 sin a)}.r"_1 dr
J0
f00 T/j
= exp(— #iai» I </*= —- (cos /ia-i sin «a).
Jo
Equating real and imaginary parts, we get
r co t _
and
f
J-oo
°°
-oo
-
l+e*
e**
--- dx=n cot air.
1 —ex
e*iz
4. By integrating —--L round the rectangle with
& 6 cosh z-cosh
vertices at R> R+iir, -R-\-in, — R, show that
00
cos ax 2n sinha(^-h)
dx=—
i — 00 cosh x-cos b sin h* sinh an
/•OO
I cos ax jX— S*P^
and
J— oo cosh x+cos b sin h‘sinh an
5. By integrating za~le~z round a sector indented at the origin,
prove that
cos
ix sin a)
ai fljc=i lai “s (fla).
i o
xa~1.exp i-x cos a) C?* {x
sia
dx=T(a)
sin
o (1+**)dX
cosh x;;=lo82-
fax
6*14. We were so far evaluating integrals with the help of
residues. We now illustrate by means of an example how residues
can be found by evaluating integrals.
Example. Find the residue of tan*-1 ttz at z=®£, where p is an
even positive integer.
Calculus of Residues 385
-4. [i AB
f (z) dz
A B t$)
(oR)
+ \BC f (*) dz
Hence
EC f
tanp_ 1 nz dz+ j
-*■- as R-yyo .
386 Complex Variable
-L(v\v~l=l L
*7 V ) n ip
_"='
„
/(*)=/«>)+11 (—L + I\
a„)
J The O and 0 noti^. If (4„) and („„) are two sequence, such-
.hat g is ultimately bounded, then a„ and *„ are said to be of the same
order when n is large and we write an=0 (bn).
Thus
Suppose
’=.4- f
- ,C„
where z is a point within Cn. The poles of the integrand are
at i=am, m= 1, 2, 3,.. .n, £=0 and £=z.
m /(0) ,/CD
/= £ + ..(1)
m=l U?,* —
Nowi/i=! 4Jc„rffe)rf5
< J_ __n. Mn,
^ 'IrtRn • Rn-\z
where A/n is the maximum value of | /(*) I on Cn
—>0 as w-*oo .
Hence we get from (1),
n
b~ _/(0) ./(l^Q
Lim n-> oo 2-
m=l ^)
or /<«)-/«»+j[ 4.(ri5-+l).
1. Prove that
J z—sin z . ,
Consider the function/(z) = cosec z--- = - sin - (29*0) and
/(0)=0. Now simple poles of/(z) are given by sin z=0 or z=/m,
«= ± 1, ±2,...
Clearly there is no singularity at z=0.
Z- +
3 ! ' ***
= Lim
z~*° z%~ /rz4+”‘
388 Complex Variable
z-sin 2
sin z-\-z cos
nw-sin mr 1
sin nir+nir cos mr cos nn
Let Cn be the square with vertices at z = (n + \) (± 1 ±0 *•
1 oo /
2. Prove that cot z=~-\-2z 2 —-—,.
„=1 z~-n-*-
_ . . , . .. . 1 r cos z —sir z
Consider the f unction / (z) cot z - - =
£ r sin r
Simple poles of/(z) are given by
_ . z cos z- sin z
Limz_>o z sin z
*—
Z(*~JT =*+■■■)
= Limz_>0
, 1 -
3 i2 +*-'
/(0) = 0.
Now residue (at : = mn)
z cos z - sin
. exp {i (2nn+TT+2iy)}+\
cot 2 =
1 exp {/ (In-rr-^-ir-\-2iy)}— 1
• e~~2y-eXP O' (2/t7T + 7T)}+l
1 e_2y.exp {/ (2mr-t-ir)}— 1
-<r2*+I 1 -e~2v
< 1.
—e~2v - 1 l be-2v
Exercises
Prove that
CO
tan 2=2 27
i (n-*)2778 -z2*
3. Prove that
1 22
I 1 00
_L_ = _i4-i+ 27_
e2 — \ 2 2 i 22+4/22»t8
4. Prove that, if—77 < a < 77,
sin g2 _2 i)W n sin na.
Sin 772 77 2>-/22
cos na
f (_i).
Sin 772 TTZ TT n=\ 2»—n8
CHAPTER VII
POWER SERIES
7*1. A series of variable terms of the form Ecnzn or
Ean (z—a)n is called a power series where ant a and z are complex
numbers and an is independent of z. Clearly the second form of
the power series can be reduced to the first form by a simple
change of origin and consequently we shall use the first form in
our future discussions.
7*2. Absolute convergence of power series.
The series Eanzn will be absolutely convergent if the series
E | an | j z " is convergent. But the series £ \ an | | z |n is a
series of real positive terms. Hence all the tests for convergence
which are valid for the series of positive terms can be applied
to this series. Thus if we apply Cauchy's root test, we see that
the power series is absolutely convergent if Urn | an 1#n | z | is
2
ru=l
I V” I
is convergent and so the theorem is established.
7*4. Circle of convergence of a power series.
The number R defined as above is called the radius of conver¬
gence of the power series Sanzn and the circle whose centre is at
the origin and radius R is called the circle of convergence of the
power series.
Note. For the series San (2 - «)", the centre of the circle of
convergence is at z=a and the radius R is again given by
J- = Lim I an */".
Power Series 393
^ • )" 7«
S'
(/«) 00 Z 2/;! * ’
(n+2)(/» + 3)** ’
• •
ft = *—“'/I-*
Lim/jv00ara1,n
oo“f» = Lim
—oo
o^y-
1
i.e. R=.
e
n+\ n+2
(iii) Here an= and an+l —
(« + 2)(m + 3> (n-\~3)(n + 4) ‘
a, (/f-HX'H-4) =1
Hence 7? = Lim„_,00 =Limn^,00 {n + 2)*
^fi+i
rw !)2 {<w + l> !)*
(iv) Here an
(2/i)T and fln+l (2/1+2)! ‘
(2/1+2) !
nln\..
y?=Lim >;-> oo — Lim^oo(2/^ , x l/I+l) , (/l+1)!
"n+t
_- . (2/;4-2)(2;/4-l) 4
-L,m«->oo («4-1)(«4- 1J
(v) Here £/„ = (log n)\
• •
(tffJ1<n = Lim„_>O0 log n= oo
so that /?=0.
2-f-—
=Lim rt->co
1+2n
_2+_0
14-0
2. F/W the radii of convergence of the following power
series :—
('/Vi; Z(-^(z-2ir.
= nl^V (2+V2)2«2+(l-2v/2«3)1]
= ]T^V[(6+4v/2) n= + l-4v/2/i2+8n‘J
V/(cS/244-6/22-{-1)
~ 14-4/2-
Hence R= 1.
3. Prove that
(i) Putzs=i;.
£ 1.3.5...(2/i — 1) (^_I)W
n=i n !
396 Complex Variable
V
1
1
cor^
M
or
A
1
or l*-tl < f.
6. Examine the behaviour of the following power series on
the circle of convergence :—
OO oo 2U
(/) 2:
n=2 n (log n)2 ' ^ L n ’
f (-1 r -.
m n-1
co -4«
(/V) 27
ti-0 4//-f- 1
(i) First we find the radius of convergence.
Here , *«+.— 1
w (log //)* ,“"+1 (//+1) [log (n+ 1)J2 *
convergent for z — l.
To see that the series is convergent for every other point on
the circle of convergence, we apply Dirichlet’s test. For this we
take an=zn,un=lr
z — zn+1
Then | z+z2-fz3-f-... -fz" ' =
1 —z
I z l-H j ("+1
1-^1 i 1-?|'
so that the sequence of partial sums of Ean is bounded.
_1 J 1
Again
"" U^'-n~n+\-„(„+!)•
so that E | un -un+1 | is convergent.
1
Also Lim w„ —Lim- =0.
zn
Hence the series E anun i.e. E is convergent for every r
l -zl+K-l)" z"+*| 2
ll-fz) "ll+r'l’
on the circle of convergence.
Hence the sequence of partial sums of Ean is bounded.
1 1 1
Again n -„+1 -W(/J+I)
"n = 1 4/1+1*
i—z4n+1 [
Then | 1 + rl+r8 +... + r*n | =
1 —z* 1
1 + 1 z|4n+«
, z^±l, ±i
I 1 -z* 1
2
l-z* \ ’
so that the sequence of partial sums of Za„ is bounded.
. . 1 _ 1 __ 4_
Again un un+, 4//+1 4,;+5 (4//+l) (4/2 + 5)’
so that Z\un- unJrl | is convergent.
1
Also Lim w„= Lim =0.
4//+I
Hence the series Zanun% i.e. the given series converges for
every z other than ± 1, ±i on the circle of convergence.
Exercises
1. Find the radii of convergence of the following power series : —
(ii) Ciii) 2 ( 1-
oo —n
(iv) (v) Z -
2 log n
[Ans. (i) e, (ii) 1, (iii) e, (iv) 2, (v) 1.]
2. Show that the domain of convergence of the series
CO ~n
Show that the series 27 converges for every value of
—•> n log n
f(z) = £ anzn,
0
then/(z) is called the sum function of the power series. We now
prove the following theorem on the analytic character of the sum
function.
CO
~ = Lim I an |
OO
r • • •
n=o
co I\n fw—1)
z1 z\*-*\h\ + ...\h
n=0 1.2
°° M (n (n-1)
Pn“**)+. ..»/n_1
n=o rn \ 1.2
“Ml
{(p + ri)n- pn-”pn
_ n=0 rn '7j
...(1)
-I M©)"-©"-?0)'}
No. l(cay
n=0 V
r J ‘+©M©)'+-
1
H-r) r-p-f]
1-
*-'+!C),+3(0'+<;)‘+-
*,o *'-c)'+<y‘+<o‘+-
Subtracting, we get
Power Series 401
P
r p
j_P 1 -P*
r
pr
S=
(r-p)*'
Substituting these values in (1), we get
f(z + h)—f (z) , M f r r >jr J
~" (“) ^ 77\r-p-ri~r-p~'(r—p)*j
M r.V
»1 '(/■- p-7j) (r -p)*
Mrt\
(r-p- n) P>2
which tends to zero as
It follows that / (z) has the derivative <l> (z). Thus/(z), which
is clearly one-valued, is also differentiable so that/(z) is analytic
within | z \ = R.
Again, since the radius of convergence of derived series
<f> (z)=2Jnanzn~l is also R (V Lira nlln \ an ^"^Lira | an |,,r*
since Lim nl/"=l], we see that </> (z) is also analytic in | z | < R.
Successively differentiating and applying the theorems, we sec
that the sum function / (z) of a power series possesse derivatives
of all orders within its circle of convergence and that these deriva¬
tives are obtained by term by term differentiation of the series.
Note. We proved Taylor's theorem in § 5 18 that a function
CO
UNIFORM CONVERGENCE
Now keep n fixed and let p-> oc, so that 6'„fp (z)-*-5 (z).
OC
and ^ wn (z) {vn Iz) - vn+1 (z)}
0
n-1
- 2’ ur (z) {vr (r)-vr+1 (z)} = t/nV
We then have
I Rn 00 v„ {z)\< K\Rn (z) |. ...(2;
Since Rn (z) tends to zero uniformly as n-*- ^, it follows from
(2) that Rn (z) (z) tends to zero uniformly in Z).
n-fp
€ vr (z) - vrU (z) I from (3)
"+'
€ r | V, (Z)-Vr+1 (Z) |
< K 0
< e from (1;,
for all z in D and for every integer p. It follows that
i K (2) (v„ (z>- vn+l (z)j
converges uniformly in D and the result follows.
8*7. Continuity of the sum function. If each term of the
< |t+ae+a€ = e.
< Adz
= /. T=€.
JL un (z) dz=0.
= _Lf S(z)-Sn(z>
dz.
2m Jr (2-Z0)*
Since Sn (z) converges uniformly to S (z) within and on f\
we can, for a given find an integer m, independent of z, such
that
| (z)\ <€,
for every n ^ m and every z on f.
Also
so that we have
•S(2)-5n (z) , <. e
(z~zQf h2
Hence it follows from § 5*6 that
«/
since tcn,Js uniform,y to zero, being independent of.,,
it follows that 5V' (z) converges uniformly to 5' (z) in Z).
Proceeding in the same manner, it can be shown that Sn"(z)
converges uniformly to 51'' (z) in every closed domain, within C
and so on indefinitely.
Thus the theorem is completely established.
8*10. Uniform convergence of power series.
We have seen in the previous chapter that a power series
converges within its circle of convergence and diverges outside
it and that on the circle of convergence its behaviour is uncertain
We now prove some theorems on uniform convergence of power
series.
which is the circle of convergence [see hx. 6 (i) $ 75} and hence
it is uniformly convergent on and within the circle ol convergence
by the above theorem.
Cor. (i Since each term of the power series 2 anz" is conti¬
nuous and the series is uniformly convergent, for ! * I ^ r < &
(R finite), it follows that the sum function of the power series is a
continuous function throughout the closed region formed by the
interior and boundary of any circle concentric with the circle oj
convergence and of smaller radius.
(ii) Again it follows from § 8S that the series f (z)=£ anz«
can be integrated term by term along any contour F lying within
the circle of convergence, i. e. we have
I tf»n+i • .• I ^ E I am+n ^
both series being convergent, when | z | < R, then a„*=bn for all
values of n.
If we write an -bn=*an, then, when | z 1 < R.
0= 2 cnzn,
n=0
Hence, taking an integer m > j- we have |i?n I < e> f°r ail
Hence £.
Therefore considering real values of z, we see that
1 when - 2 < z < 0,
S (z) = Lim Sn (r)= • 0 when z = 0,
n~*‘°° - 1 when z > 0.
Thus the sum function S’ (z) is discontinuous at z =0 and
consequently the series is non-uniformly convergent near z = 0.
Now uniform convergence may also be established indepen¬
dently as follows :—
We consider z > 0. Then
the right hand side of (1) cannot be made arbitrarily small. There¬
fore the series is non-uniformly convergent near z = 0.
2. Show that the series
oo 1
(1-2") (I -zn+')’
log (
1+z(2-l)g)
i.e. if (/i+1) > log z
...(1)
Now when z tends to 1, it is evident from (1) that n-roc
and so it is not possible to determine an integer m, such that
( 5 (z)—Sn (z) | < 6,
for every n ^ m and every z > 1.
Thus the series is non-uniformly convergent near z=l.
3. Show that the following series for exp (z), sin z and cos z
are absolutely and uniformly convergent for all values of z, real
or complex :—
o') i+z+=n+3-!+--'+;rj+-'-
2’ 2* 2’ . , ( - D” 2Jn+1 ,
<"> z-3i+rrr!+"-+ u'n+ir+--*
2s Z4 Z6 ( —l)"Zln ,
• • •
(,7/) 1-2!+4'!-r!+,‘,+ (2n)! +
~n-1
values of | z |.
Uniform Convergence 417
\ Z1 \ ^
I n ! I ^ nl'
CO
convergent.
Proofs of (ii) and (iii) are similar to that of (i) and are left
as an excercise for the students.
Note. Since the series for sin z is uniformly convergent,
sin z
and so defines a continuous function of z, and, in particu¬
We have 1
1— zin 1 —1 z
r*n
when | z | < r.
1 — r,n
In
Now the series £ l ~r,w is convergent when 0 r < 1.
2n r«n+a
For, if 2n , un+l = y—-lirFi , we have
u In j _ rm+i
r,n+*
■in
Thus by D’Alembert’s ratio test, the series 2 is
1 — r2n
convergent.
Hence by Weierstrass’s A/-test, the given series is uniformly
convergent when [ z | < r, < 0 r < 1.
5. Show that the series
oo rn oo
converges absolutely for all values of z except zero, but does not
converge uniformly near z—0.
1
sin —
Now Limn^w 3” sin ^=Lim/J^0O
3«r
27 anzn-r 27 ant
o o
as z-+l along any path within the circle of convergence which does
not touch that circle.
We apply Hardy’s second test for uniform convergence given
in § 8*6.
For this we take un(z)=an, v„(z)=2n. Since the series
27 anzn converges when 2 = 1, the series Ean is convergent and so
the first condition of the test is satisfied. The third condition
is also satisfied since v0 (2)=1 so that v0 (z) is bounded.
To see whether the second condition is satisfied, we proceed
as follows :
When | z | < i, we get
This gives
z .
Clearly the series 27 ^ is convergent in any bounded closed
2n+>
= Lim /J-*CO tan £ -lan^p
sin 2nf1
2n+i
= Lim n-+oo
z
COS tTT cos 2«+i
sin
2n+1
— Lim^oo
z z
cos 2" *COS 2"*1 2n+i
= 1
Hence we can find a number A/, independent of both n and
z such that | 2"+1 {v„ (2) -v„+1 (2)} | < M,
strass’s M-test that the series 27 {»■„ (- ) — vn+1 (z)} is absolutely and
uniformly convergent in any bounded closed domain. Thus
condition (ii) of the test is also satisfied. It follows that the given
series converges uniformly in every bounded closed domain.
Uniform Convergence 423
rn (!+/■) , , ,
t-. wliere \ z \ = r
(1 — rn (1 — rn+1)
fl
Z v„ (Z) - V.+1 (z) I < (jtr)f ( 1 _ ?■ - iw>t|)
0
=£[rVr^r]-
1 + /T 1 _ 1 1
Hence Z '’n (z)- »•„+, (z) | =Lim,/_>0O
o 1 —r 1 —r 1 -rn+l_
1 4- r
if r > I.
and r < 1
r (14- r)
i.e.
(l—r)2
Thus Z | vn (z)-vn+1 (z) I is convergent and has a bounded
sum when | z | > 1 or | z | < 1. Hence condition (ii) of the test
is also satisfied. It follows that the given series is uniformly
convergent when | z | > 1 as well as | z | < 1 i.e. in the domain
\z | > I4-8 as well as | z j ^ 1—8, where 8 is any posili\e
number.
424 Complex Variable
fact the sum of the series is Hence the series 27 un (z) has
1
But the series 27 7 is convergent for all finite
(n-r) (/l-f-1 - r)
values of r. Hence the series 27 j vn (z) - vB+1 (r) | converges
uniformly in every bounded closed domain by Weierstrass’s Af-test.
Thus condition (iii) of the test is also satisfied. It follows that
the given series is uniformly convergent in every bounded closed
domain.
II. Show that the series 17 ze~nz converges absolutely but not
0
= pe-np cos ?
Uniform Convergence 425
oo
a\*ai,a2... is denoted by n oT. For convenience we take the
r=l
n= 1
If Pn does not tend to a finite non-zero limit, then the product
n (1+ an) is said to be divergent. In this case Pn either tends to zero
or infinity. When Pn->0, we say that II diverges to zero.
It should be noted carefully that if each of a finite number
of factors has the value zero, the product will be said to be conver¬
gent if it converges when these factors are removed.
The phrase ‘diverges to zero' may appear to be strange to the
student at first sight but it will appear quite natural to him if he
observes that the behaviour of the product II (1 -fan), an > — 1, is
completely determined by the behaviour of the series 27 {log (1
Thus to say that the product II (1 +diverges to zero means
the same thing as saying that the series 27 log (1 diverges
to — oo.
OO
- 11 <£.
i+«-
* m
Here .-4
" 1 n2 n2 n-
T, . D 1.3 2.4 3.5 4.6 (»— 1) (n+1)
Therefore F*n_j ^ • yi • r •> •
/2
-JO+ - 3
Hence as «->-oo.
n (w+2)
Also />n = ^n-1-
//
8*18. Wcierstrass’s Inequalities. The following inequalities
are due to Weiestrass :—
1
> n (!+«„) > l+Su*
^ 1 -Zu«
.. (1)
or n (1+m») > 1+ s u»-
1 1
Again
<1+H>)=T^<T^sinccl"u,,< 1-
Uniform Convergence 429
*
or IT (l+«„) <
1 1- ^
1
Theorem II. If - 1 < an < 0, the series Zan and the product
II (l-ftf,,) converge or diverge together.
Let an=-bn so that 0 < bn < I.
Since 1 -b < e~b when 0 ^ b < 1, we have
0 < (l-A.Ml—M...U-A) < e-(*.+A*+-+A")
or 0 < fl+o,) (l+«2).. {!+*„) < e-(*»+A<+-+M
or 0 < Pn ^ e° +«.+•••+«!».
Now if Zan diverges it will diverge, to —00 and consequently
Pn —>0. Hence the product diverges to zero.
Next suppose Zan is convergent. Then for a given e we can
find a positive integer m such that
0O
0 ^ Z b„ > e.
t»=m
P„
i.e. ...(!•
and (^ ^m+l 1 ( 1 ^m+2 )•••(! dn )
and
-«i)0- <*2). ..(1 -an)
> (1+<7l) ( 1+<72). . . ( 1 (§8*18
2(1- 1^1)
a,
where 0 < V < 1.
2(1 +0.an)*
or
(1 +0.an)* " *
so that 0 < —log (1+^n) < 2tf„2.
m+p m+p m+1
Therefore 0 < E an— E log (H-<7„) <2 E a„*.
m f-1 m+1 m +l
It follows that
(i) if £an converges, log Pn diverges to — » and therefore
Pn diverges to zero,
(ii) if £an oscillates between finite limits, log Pn diverges to
- » and therefore P diverges to rero.
Example. Discuss the convergence of the infinite product
(‘-DO+OO-DO+D--
Here £an=£ (—l)fi-! = —£ + £-•• •
which oscillates between -4 and zero.
which is divergent.
Hence by the above theorem, the given product diverges to
zero.
8 21. The absolute Convergence of Infinite Products.
The product n (1 +an) is said to be absolutely convergent if
the product n [1 4-| an i] is convergent. It should be noted that
the infinite product n + is absolutely convergent if the series
£an is absolutely convergent. Now we prove the following
theorems.
Theorem I. A necessary and sufficient condition for
Z [ log (1 + alt) \ to be convergent is that £ | an | is convergent.
1 1 log f I A-an\ 3
Then .. .< 1)
an ^ 2*
Hence I an | 2 | log (1+0 i, when n > m, and therefore
an | is convergent by comparison test.
The condition is sufficient. Let Z \ an ! be convergent. Then
^,,-►0 and again from (i), we have
I log (1 -\-an I ^ a ; wlien n ^ m.
where
follows that
(^72fi+l + f72n+3+ • • • 4-tfom-l) —log ((1 +°2r»+l) (1+^2i;+3)* • •04"*72in-l)J
can be made as small as we please by taking n sufficiently large.
Again by Pringsheim’s method it is evident that
Lim (tf2„+1+tf2«+3 +.. . + = log k,
and hence = *£-Iog
or
0 1 -^X1 + • * •]
£_ .. . ”-c xti
= 1 + n \n-\-c) In1 (/i-+-<•)*
c (n—c) x2
Here an—-: -4- . . .
n <« + c) 2/r (n+ 1)
1
Take bnz= -j •
n1
a.
Now lim = | cx lt a finite quantity.
n
Therefore 27 an is absolutely convergent.
It follows that the product fl (I+d„) is also absolutely conver¬
gent.
/ nx \"
Here
nx
(an)"n=
n+l'
(on)lln>=x.
(Agra 40)
438 Complex Variable
Here 1 -f
\ Z2 1 23
— 1 ——. ~—o +=. • •
2'/i*w* 3Vir®
1 21 1
-
2’iiV +3#ii*ir® "**•
1
Comparing 2? /?„ with 27^ we see l^at
\~^\
Hence E an ami therefore n (l+<7„) is absolutely convergent.
3. Discuss the convergence of the infintte products
to (/-/)(7+/)(7-f)(/+S)"-
(Delhi M. Sc. Final 1959)
OO /-// —z
oo rn >2zl
(Delhi M. Sc. Final 1959)
w ^ {" •1
which is convergent.
Hence the given product is also convergent.
= \+-2z- + l*(z-z'l).+
2
^n (n + zy nUn + z)
is absolutely convergent.
It follows that the given product is absolutely convergent for
all values of z,
4. Test the convergence of inf nit e product
n \
(Agra 1938, Jaipur 1955)
, x + x*n x-1
Here , ■
l+^n= 1+X =1 + \+X ■it* ‘
1 .
Now when at | > I, £ — is convergent
X
_ A ( 1 - A**1—1)
If | a- | < 1, l+an=
i+A 3 n
and an does not tend to zero. Hence the product is divergent.
If *=1, every factor is unity ; hence the product is convergent.
is absolutely convergent.
Here 1-fa,
=0 "5=r)[,+^3+«-/». 21—
i
]
4-
I • • • 9
2,,4/3
440 Complex Variable
1
then 4-...
2n3li
1_
Take bn= We then have
n 4/3 *
6. Show that
Here a»=(l
(• -;r —(n-fl)
.z.
=K^Xn^J=n(,-<,")-say-
then l + "-.= (“Xl+«) =(‘ + «) (* + 0
=0-^-
=>+^fin+oG0-
»■ y'-C'-iX'+sX'-sX'+aX'-feX'+s)-
show that the product
( ~ l)(‘ -
:1 Sr)( 1 + IX11 “ 1 " *0(1 + >) ■ ‘ •
= P.exp^—^ log 2^.
z2 z2
Since the series 2*n*
z z z
and 77 + 77 277^ 2W
is also convergent.
('-SO+SX'-sX'**)-
But this product is not absolutely convergent since the series
C^>
Hence Lim na.^=g. say, whether n is even or odd.
= P.2~‘n
a way that
absolutely convergent.
-oo-s) (•+£)■■■
as shown in Ex 8 above.
But this product becomes semi-convcrgent if it is written in
the form
00 / z~ \
P— nil- -T7—r, ) can be written in the form
i V r'lr-J
O-DO+OO-^O+s)
only if we assume that an equal number of positive and negative
values of r taken in the result
— Lim/>;_>co , M->oc
The product expressed in the form (2) above will also have
the value P.
2Z
Lini //—>y: nan= — —g, as in Ex. 8 above.
TT
__ I un (z) |
1- I IZ) I
< 2 | u„ (z) | from (1) ...(2)
Since the series 27 | un (z) | is uniformly convergent in Dy it
follows from (2) that 27 | log {I +un (z)} |, and therefore
27 log {1 -f-un (z)} is uniformly convergent in D. In other words,
n
log Pn (z) where Pn(z)= U {I 4 un (z)} converges uniformly to
r= 1
a limit which we may cill log P (z), that is, Pn (z) converges
uniformly to P (z).
Note. If the infinite product II {l-ft/n (z)} converges
uniformly to P (z) in every closed region within a closed contour
C, and if each factor of the product is an analytic function,
regular within C, then it follows that P (z) is also regular within C.
8*26. Sohed Examples.
1. Show that the infinite product
0-£X'4)OS0-
converges absolutely and uniformly in any bounded closed domain
D which contains more of the points ±1, ±2,... whereas the
product
= 1 -un (z),
OO
cR2
where l'n(Z> \<~1.
eR1 .
But the series £ is convergent. It follows that the given
product converges absolutely and uniformly in every bounded and
closed region not containing the points +1, ±2.
where
“■ sqWr
446 Complex Variable
(i) {frS}'
2+Z"1
1+2 (ii) Iljl + -
w-
fsin (z/n) |
Oionjcos^)}, (iv)
l U/'O j
Aus. (i) Convergent for z > 1 and divergent otherwise.
(ii) Absolutely convergent for I (z) > 0 and divergent for
for I (z) < 0.
(iii) Convergent for every r.
(iv) Absolutely convergent for every r,
where c, is constant.
Ans. Absolutely convergent for all values of r if r is a
constant other than a negative integer.
CHAPTER IX
ELEMENTARY TRANSCENDENTAL FUNCTIONS
x(l + n+2i!+-"+?'!+
_—1, +, 1+i +, W + 2ZtZt
^1 ^2
or
+ Zt) ,
‘ 4
From the last result, it follows that exp z^O, for if there
were such a value of z, since exp ( -z) would exist for this value
of z, we should have 0=1, which is absurd.
9*4. Trigonometrical functions sin z and cos z.
The functions sin z and cos z are defined in terms of the
exponential function as follows :
exp (/z)-exp ( — iz)
sin z
2/ - ’
...d)
exp (iz)-fexp (—iz)
cos z ...(2)
450 Complex Variable
•••(4)
sinh 7=7+ -r-j +5T + --*+j2w+"i)T.(4)
Clearly the power series for cosh z and sinh z iis uniformly
convergent in any bounded closed domain. It also follows that
these functions are continuous and analytic in every domain.
9*7. Relation between Hyperbalic and Trigonometrical
functions.
It can be easily verified that
sin (/z) — i" sinh z, sinh (/z)= i sin z,
cos (/7)=cosh z, cosh iz =■ cos 7.
9*8. The periodicity of sin z and cos z. A number A is said
to be a period of/(z) if/(z-(-A)=/(z), for every z.
If A be a period of sin z, then
sin (z+A)=sin z,
for every z. Putting z = 0, we see that A must satisfy
sin A=0
A = «7T.
Again sin (nn-\-z) = ( — 1)" sin z
= sin z, only if n is even.
Thus the periods for sin z are 2nn where n is any integer.
The number 2tt is called primitive period or simply period.
Similarly it can be proved that 2n is also a primitive period
of cos z.
452 Complex Variable
_1_
(z + z')+ ~(za+zz'+z'a) + ...
1 + FT +Ti +••
z—z 1 1
Thus Lim
w - w' e* w
454 Complex Variable