Notes Complex
Notes Complex
d d
1. (xn) = nxn–1 2. (ax) = ax loge a
dx dx
d d 1
3. (ex) = ex 4. (loge x) =
dx dx x
d 1 d
5. (log10 x) = log10 e 6. (sin x) = cos x
dx x dx
d d
7. (cos x) = – sin x 8. (tan x) = sec2 x
dx dx
d d
9. (cosec x) = – cosec x cot x 10. (cot x) = – cosec2 x
dx dx
d d 1
11. (sec x) = sec x tan x 12. (sin–1 x) =
dx dx 1 − x2
d −1 d 1
13. (cos–1 x) = 14. (tan–1 x) =
dx 1− x 2
dx 1 + x2
d 1 d −1
15. (sec–1 x) = 16. (cot–1 x) =
dx x x2 − 1 dx 1 + x2
d 1 e x − e− x
17. (cosec–1 x) = – 18. sinh x =
dx x x2 − 1 2
e x + e− x e x − e− x
19. cosh x = 20. tanh x =
2 e x + e− x
21. cosh2 x – sinh2 x = 1, sech2 x + tanh2 x = 1, coth2 x = 1 + cosech2 x
22. cosh2 x + sinh2 x = cosh 2x
dy dy dt
32. = . if y = f1(t) and x = f2(t)
dx dt dx
(xi)
(xii)
π π π
33. sin–1 x + cos–1 x = , tan–1 x + cot–1 x = , sec–1 x + cosec–1 x =
2 2 2
F 2x I = sin F 2x I = 2 tan x
35. tan–1 GH 1 − x JK
2 GH 1 + x JK
–1
2
–1
3 tan x − tan3 x
36. sin 3x = 3 sin x – 4 sin3 x, cos 3x = 4 cos3 x – 3 cos x, tan 3x =
1 − 3 tan 2 x
2 tan x
sin 2x = 2 sin x cos x, tan 2x = ,
1 − tan 2 x
1 − tan 2 x
cos 2x = 2 cos2 x – 1 = 1 – 2 sin2 x = cos2 x – sin2 x =
1 + tan 2 x
x3 x5 x7 x2 x4 x6
37. sin x = x – + – + ..., cos x = 1 – + – + ...
3! 5! 7! 2! 4! 6!
x2 x3
ex = 1 + x + + + ...
2! 3!
(1 – x)–1 = 1 + x + x2 + x3 + ... ; | x | < 1 (1 + x)–1 = 1 – x + x2 – x3 + ...
(1 – x)–2 = 1 + 2x + 3x2 + 4x3 + ... (1 + x)–2 = 1 – 2x + 3x2 – 4x3 + ...
C+D C−D C+D C−D
38. sin C + sin D = 2 sin cos , sin C – sin D = 2 cos sin
2 2 2 2
d 1 d 1
41. (sinh–1 x) = , (cosh–1 x) =
dx 1+ x 2 dx 2
x −1
d 1 d 1
(tanh–1 x) = , where | x | < 1, (coth–1 x) = 2 , where | x | > 1
dx 1 − x2 dx x −1
d 1 d 1
(sech–1 x) = – , (cosech–1 x) = –
dx x 1− x 2 dx x x2 + 1
42. (cos θ + i sin θ)n = cos nθ + i sin nθ, (cos θ + i sin θ)–n = cos nθ – i sin nθ
43. sin2 θ + cos2 θ = 1, sec2 θ – tan2 θ = 1, 1 + cot2 θ = cosec2 θ
(xiv)
52. z a2 − x2 dx =
1
2
x a2 − x2 +
1 2
2
x
a sin–1 + c
a
z a2 + x 2 dx =
1
2
x a2 + x2 +
1 2
2
a log (x + a2 + x2 ) + c
z x2 − a2 dx =
1
2
x x2 − a2 –
1 2
2
a log (x + x2 − a2 ) + c
z 2
dx
a +x 2
= sinh–1
FG x IJ + c;
H aK z dx
2
x −a 2
= cosh–1
FG x IJ + c
H aK
53. z
a
b
f ( x) dx =
z
a
b
f ( y) dy ;
za
b
f ( x) dx = –
z a
b
f ( x) dx ;
z
0
a
f ( x) dx =
z 0
a
f (a − x) dx
z
−a
a
f ( x) dx = S
|T 0,
z
R|2 f (x) dx, if f (x) is even functionU|
0
a
V
if f ( x) is odd function |W
z
0
2a
f ( x) dx = S2
T| 0,
z
R| f (x) dx, if f (2a − x) = f (x) U|
0
a
V
if f (2 a − x) = − f ( x) W|
Function of Complex Variable
1.1 INTRODUCTION
1.2 DEFINITIONS
1
2 A TEXTBOOK OF ENGINEERING MATHEMATICS
⇒ u = x2 – y2 and v = 2xy
Thus u and v, the real and imaginary parts of w, are functions of the real variables x and y.
∴ w = f(z) = u(x, y) + iv(x, y)
If to each value of z, there corresponds one and only one value of w, then w is called a
single-valued function of z. If to each value of z, there correspond more than one values of w,
then w is called a multi-valued function of z. For example, w = z is a multi-valued function.
To represent w = f(z) graphically, we take two Argand diagrams: one to represent the
point z and the other to represent w. The former diagram is called the XOY-plane or the
z-plane and the latter UOV-plane or the w-plane.
FUNCTION OF COMPLEX VARIABLE 3
A single-valued function f(z) is said to be continuous at a point z = z0 if f(z0) exists, lim f(z)
z → z0
FG IJ
Also, the function f(z) is continuous at z = ∞ if the function f 1 is continuous at ξ = 0
ξ HK
1.6 DERIVATIVE OF f(z)
Let w = f(z) be a single-valued function of the variable z(= x + iy), then the derivative or
differential co-efficient of w = f(z) is defined as
dw f ( z + δz) − f ( z)
= f ′ ( z) = Lt
dz δz → 0 δz
provided the limit exists, independent of the manner in which δz → 0.
A function f(z) is said to be analytic at a point z0 if it is one-valued and differentiable not only
at z0 but at every point of some neighbourhood of z0. For example: ex (cos y + i sin y). A function
f(z) is said to be analytic in a certain domain D if it is analytic at every point of D.
4 A TEXTBOOK OF ENGINEERING MATHEMATICS
The terms ‘regular’, ‘holomorphic’ and ‘monogenic’ are also sometimes used as synony-
mous with the term analytic.
A function f(z) which is analytic at every point of the finite complex plane is called an entire
function. Since the derivative of a polynomial exists at every point, a polynomial of any degree
is an entire function. Rational functions with non-zero denominators are also entire functions.
Since the function w = f(z) is analytic in the region R, the limit (1) must exist independ-
ent of the manner in which δz → 0, i.e., along whichever path δx and δy → 0.
First, let δz → 0 along a line parallel to x-axis so that δy = 0 and δz = δx.
[since z = x + iy, z + δz = (x + δx) + i(y + δy) and δz = δx + iδy]
FG δu + i δv IJ = ∂u + i ∂v
∴ From (1), f ′(z) = Lt
δx → 0 H δx δx K ∂x ∂x ...(2)
f ′(z) = Lt
FG δu + i δv IJ = 1 ∂u + ∂v
∴ From (1),
δy → 0 H i δy i δy K i ∂y ∂y
∂v ∂u 1
= −i ...(3) ∵ =−i
∂y ∂y i
∂u ∂v ∂v ∂u
From (2) and (3), we have +i = −i
∂x ∂x ∂y ∂y
∂u ∂v ∂u ∂v
Equating the real and imaginary parts, = and =−
∂x ∂y ∂y ∂x
Hence the necessary condition for f(z) to be analytic is that the C-R equations must be
satisfied.
(b) Sufficient Condition. Let f(z) = u + iv be a single-valued function possessing partial
∂u ∂u ∂v ∂v
derivatives , , , at each point of a region R and satisfying C-R equations.
∂x ∂y ∂x ∂y
∂u ∂v ∂u ∂v
i.e., = and =− .
∂x ∂y ∂y ∂x
We shall show that f (z) is analytic, i.e., f ′(z) exists at every point of the region R.
By Taylor’s theorem for functions of two variables, we have, on omitting second and
higher degree terms of δx and δy.
f(z + δz) = u(x + δx, y + δy) + iv(x + δx, y + δy)
LM
= u( x, y) +
FG ∂u δx + ∂u δyIJ OP + i LMv(x, y) + FG ∂v δx + ∂v δyIJ OP
N H ∂x ∂y K Q N H ∂x ∂ y K Q
= [u(x, y) + iv(x, y)] + G
F ∂u + i ∂vIJ δx + FG ∂u + i ∂vIJ δy
H ∂x ∂x K H ∂y ∂y K
= f(z) + G
F ∂u + i ∂vIJ δx + FG ∂u + i ∂vIJ δy
H ∂x ∂x K H ∂y ∂y K
f(z + δz) – f(z) = G
F ∂u + i ∂vIJ δx + FG ∂u + i ∂vIJ δy
or
H ∂x ∂x K H ∂y ∂y K
=G
F ∂u + i ∂v IJ δx + FG − ∂v + i ∂u IJ δy | Using C-R equations
H ∂x ∂x K H ∂x ∂x K
F ∂u + i ∂v IJ δx + FG ∂u + i ∂vIJ iδy
= GH
∂x K H ∂x ∂x K |∵ –1=i 2
∂x
=G
F ∂u + i ∂v IJ (δx + iδy) = FG ∂u + i ∂v IJ δz | ∵ δx + iδy = δz
H ∂x ∂x K H ∂x ∂x K
f ( z + δz) − f ( z) ∂u ∂v
⇒ = +i
δz ∂x ∂x
f ( z + δz) − f ( z) ∂u ∂v
∴ f ′(z) = Lt = +i
δz → 0 δz ∂x ∂x
6 A TEXTBOOK OF ENGINEERING MATHEMATICS
∂u ∂v
Thus f ′(z) exists, because , exist.
∂x ∂x
Hence f(z) is analytic.
Note 1. The real and imaginary parts of an analytic function are called conjugate functions. Thus, if
f(z) = u(x, y) + iv (x, y) is an analytic function, then u(x, y) and v(x, y) are conjugate functions. The relation
between two conjugate functions is given by C-R equations.
Note 2. When a function f(z) is known to be analytic, it can be differentiated in the ordinary way as if z
is a real variable.
Thus, f(z) = z2 ⇒ f ′(z) = 2z
f(z) = sin z ⇒ f ′(z) = cos z etc.
Let (r, θ) be the polar coordinates of the point whose cartesian coordinates are (x, y), then
x = r cos θ, y = r sin θ,
z = x + iy = r (cos θ + i sin θ) = reiθ
∴ u + iv = f(z) = f(reiθ) ...(1)
Differentiating (1) partially w.r.t. r, we have
∂u ∂v
+i = f ′ (reiθ) . eiθ ...(2)
∂r ∂r
Differentiating (1) partially w.r.t. θ, we have
∂u ∂v ∂u FG∂v IJ
∂θ
+i
∂θ
= f ′ (reiθ) . ireiθ = ir
∂r
+i
H∂r K | Using (2)
∂v ∂u
=–r + ir
∂r ∂r
Equating real and imaginary parts, we get
∂u ∂v ∂v ∂u
=−r and =r
∂θ ∂r ∂θ ∂r
∂u 1 ∂v ∂v 1 ∂u
or = and =− , which is the polar form of C-R equations.
∂r r ∂θ ∂r r ∂θ
w = f(z)
dw ∂u ∂v ∂ ∂w
∴ = f ′ ( z) = +i = (u + iv) =
dz ∂x ∂x ∂x ∂x
∂w ∂r ∂w ∂θ
= +
∂r ∂x ∂θ ∂x
∵ r 2 = x 2 + y2
= cos θ
∂w FG
∂u IJ
∂v sin θ ∴ ∂r/∂x = cos θ as x = r cos θ
∂r
−
H
∂θ
+i
∂θ K
r
and θ = tan −1
yFG IJ
∂w F ∂v ∂u I sin θ x H K
= cos θ − G− r + ir J
∂r H ∂r K r
∂θ − sin θ
∂r ∴ = as y = r sin θ
∂x r
FUNCTION OF COMPLEX VARIABLE 7
= cos θ
∂w
−i
∂uFG
+i
∂v IJ sin θ = cos θ
∂w
– i sin θ
∂w
∂r ∂r H ∂r K ∂r ∂r
dw ∂w
⇒ = (cos θ – i sin θ) ...(1)
dz ∂r
∂w
which is the result in terms of .
∂r
dw ∂w ∂r ∂w ∂θ
. .
FG ∂u + i ∂v IJ cos θ − ∂w . sin θ
Again,
dz
= +
∂r ∂x ∂θ ∂x
=
H ∂ r ∂r K ∂θ r
F 1 ∂v − i ∂u IJ cos θ − sin θ ∂w = – i FG ∂u + i ∂v IJ cos θ − sin θ ∂w
= G
H r ∂θ r ∂θ K r ∂θ r H ∂θ ∂θ K r ∂θ
i ∂w sin θ ∂w
=– cos θ −
r ∂θ r ∂θ
dw i ∂w
⇒ = − (cos θ – i sin θ)
dz r ∂θ
∂w
which is the result in terms of .
∂θ
A function of x, y which possesses continuous partial derivatives of the first and second orders
and satisfies Laplace’s equation is called a Harmonic function.
1.13 THEOREM
∂ 2u ∂ 2v
and = − ...(4)
∂y 2 ∂y∂x
2 2
Assuming ∂ v = ∂ v and adding equations (3) and (4), we get
∂x∂y ∂y∂x
8 A TEXTBOOK OF ENGINEERING MATHEMATICS
∂ 2u ∂ 2u
+ =0 ...(5)
∂x 2 ∂y 2
Now, differentiating eqn. (1) partially w.r.t. y and eqn. (2) w.r.t. x, we get
∂ 2u ∂ 2 v
= ...(6)
∂y∂x ∂y 2
∂ 2u ∂2v
and =− 2 ...(7)
∂x∂y ∂x
∂ 2u ∂ 2u
Assuming = and subtracting eqn. (7) from eqn. (6), we get
∂y∂x ∂x∂y
∂2v ∂2v
+ =0 ...(8)
∂x 2 ∂y 2
Equations (5) and (8) show that the real and imaginary parts u and v of an analytic
function satisfy the Laplace’s equation. Hence u and v are harmonic functions.
Note. Here u and v are called conjugate harmonic functions.
Every analytic function f(z) = u + iv defines two families of curves u(x, y) = c1 and v(x, y) = c2,
which form an orthogonal system.
Consider the two families of curves
u(x, y) = c1 ...(1)
and v(x, y) = c2 ...(2)
Differentiating eqn. (1) w.r.t. x, we get
∂u Y
∂u ∂u dy dy ∂x
+ . = 0 or =− = m1 (say)
∂x ∂y dx dx ∂u
∂y v (x, y) = c2
∂v
dy
Similarly, from eqn. (2), we get = − x = m2 (say)
∂
dx ∂v
∂y
∂u ∂v
. u (x, y) = c1
∂x ∂x
∴ m 1 m2 = ...(3)
∂u ∂v O
. X
∂y ∂y
Since f(z) is analytic, u and v satisfy C-R equations
∂u ∂v ∂u ∂v
i.e., = and =−
∂x ∂y ∂y ∂x
∂v ∂v
.
∂y ∂x
∴ From (3), m1 m2 = =–1
∂v ∂v
− .
∂x ∂y
FUNCTION OF COMPLEX VARIABLE 9
Thus, the product of the slopes of the curves (1) and (2) is –1. Hence the curves intersect
at right angles, i.e., they form an orthogonal system.
1.15 THEOREM
(u2 + v 2) S|GH ∂x JK GH ∂x JK V| = 0
T W
FG ∂u IJ + FG ∂v IJ = 0
2 2
u2 + v 2 = c2 ≠ 0
⇒
H ∂x K H ∂x K |∵
∂u ∂v
⇒ | f ′(z) |2 = 0 ∵ f ′ ( z) = +i
∂x ∂x
⇒ | f ′(z) | = 0
⇒ f(z) is constant.
Since the real and imaginary parts of an analytic function satisfy the Laplace’s equation in
two variables, these conjugate functions provide solutions to a number of field and flow problems.
For example, consider the two dimensional irrotational motion of an incompressible
fluid, in planes parallel to xy-plane.
→
Let V be the velocity of a fluid particle, then it can be expressed as
→
V = vx i + v y j ...(1)
10 A TEXTBOOK OF ENGINEERING MATHEMATICS
Since the motion is irrotational, there exists a scalar function φ(x, y), such that
→ ∂φ ∂φ
i+
V = ∇φ(x, y) = j ...(2)
∂x ∂y
∂φ ∂φ
From (1) and (2), we have vx = and vy = ...(3)
∂x ∂y
The scalar function φ(x, y), which gives the velocity components, is called the velocity
potential function or simply the velocity potential.
→
Also the fluid being incompressible, div V = 0
⇒
FG i ∂ + j ∂ IJ (v i + v j) = 0
H ∂x ∂y K x y
∂vx ∂vy
⇒ + =0 ...(4)
∂x ∂y
Substituting the values of vx and vy from (3) in (4), we get
FG IJ
∂ ∂φ ∂ ∂φ FG IJ ∂2φ ∂2φ
H K
∂x ∂x
+
∂y ∂y
= 0 or
H K +
∂x 2 ∂y 2
=0
Thus, the function φ is harmonic and can be treated as real part of an analytic function
w = f(z) = φ(x, y) + i ψ (x, y)
For interpretation of conjugate function ψ (x, y), the slope at any point of the curve
ψ (x, y) = c′ is given by
∂ψ ∂φ
dy ∂y
= − ∂x = | By C-R equations
dx ∂ψ ∂φ
∂y ∂x
vy
= | By (3)
vx
This shows that the resultant velocity vx 2 + vy 2 of the fluid particle is along the tangent
to the curve ψ (x, y) = c′ i.e., the fluid particles move along this curve. Such curves are known
as stream lines and ψ (x, y) is called the stream function. The curves represented by
φ (x, y) = c are called equipotential lines.
Since φ(x, y) and ψ(x, y) are conjugate functions of analytic function w = f(z), the
equipotential lines φ (x, y) = c and the stream lines ψ (x, y) = c′, intersect each other orthogonally.
dw ∂φ ∂ψ ∂φ ∂φ
Now, = +i = −i | By C-R equations
dz ∂x ∂x ∂x ∂y
= vx – ivy | By (3)
dw
∴ The magnitude of resultant velocity = = vx 2 + vy 2
dz
The function w = f(z) which fully represents the flow pattern is called the complex potential.
FUNCTION OF COMPLEX VARIABLE 11
In the study of electrostatics and gravitational fields, the curves φ(x, y) = c and ψ (x, y) = c′
are called equipotential lines and lines of force respectively. In heat flow problems, the
curves φ (x, y) = c and ψ (x, y) = c′ are known as isothermals and heat flow lines respectively.
If f(z) = u + iv is an analytic function where both u(x, y) and v(x, y) are conjugate functions,
then we determine the other function v when one of these say u is given as follows:
∵ v = v (x, y)
∂v ∂v
∴ dv = dx + dy
∂x ∂y
∂u ∂u
⇒ dv = – dx + dy ...(1) | By C-R eqns.
∂y ∂x
∂u ∂u
M=– , N=
∂y ∂x
∂M ∂ 2u ∂N ∂ 2 u
∴ = − 2 and =
∂y ∂y ∂x ∂ x 2
∂M ∂N
Now, = gives
∂y ∂x
∂ 2u ∂ 2u
– =
∂y 2 ∂x 2
∂ 2u ∂ 2u
or + =0
∂x 2 ∂y 2
which is true as u being a harmonic function satisfies Laplace’s equation.
∴ dv is exact.
∴ dv can be integrated to get v.
However, if we are to construct f(z) = u + iv when only u is given, we first of all find v by
above procedure and then write f(z) = u + iv.
∂v ∂v
Similarly, if we are to determine u and only v is given then we use du = dx − dy
∂y ∂x
and integrate it to find u. Consequently f(z) = u + iv can also be determined.
With the help of this method, we can directly construct f(z) in terms of z without first finding
out v when u is given or u when v is given.
z = x + iy
z = x – iy
1 1
⇒ x = (z + z ) and y = (z – z )
2 2i
∴ f(z) = u(x, y) + iv(x, y)
=u
RS
z+ z z− z
,
UV+ iv
RS
z+ z z−z
,
UV ...(1)
T2 2i W T 2 2i W
12 A TEXTBOOK OF ENGINEERING MATHEMATICS
Milne’s Thomson method can easily be grasped by going through the steps involved in
following various cases.
Case I. When only real part u(x, y) is given.
To construct analytic function f(z) directly in terms of z when only real part u is given,
we use the following steps:
∂u
1. Find
∂x
2. Write it as equal to φ1(x, y)
∂u
3. Find
∂y
4. Write it as equal to φ2(x, y)
5. Find φ1(z, 0) by replacing x by z and y by 0 in φ1(x, y).
6. Find φ2(z, 0) by replacing x by z and y by 0 in φ2(x, y).
7. f(z) is obtained by the formula
f(z) =
z {φ 1 ( z, 0) – iφ 2 ( z, 0)} dz + c directly in terms of z.
Case II. When only imaginary part v(x, y) is given.
To construct analytic function f(z) directly in terms of z when only imaginary part v is
given, we use the following steps :
∂v
1. Find
∂y
2. Write it as equal to ψ1(x, y)
∂v
3. Find
∂x
FUNCTION OF COMPLEX VARIABLE 13
f(z) = z
Case III. When u – v is given.
{ ψ 1 ( z, 0) + iψ 2 ( z, 0)} dz + c directly in terms of z.
F(z) = z { φ1 ( z , 0) – iφ 2 ( z , 0)} dz + c
F( z)
12. f(z) is determined by f(z) = directly in terms of z.
1+ i
Case IV. When u + v is given.
To construct analytic function f(z) directly in terms of z when u + v is given, we follow
the following steps:
1. f(z) = u + iv ...(1)
2. i f(z) = iu – v ...(2)
3. Add (1) and (2) to get
(1 + i) f(z) = (u – v) + i(u + v)
⇒ F(z) = U + iV
where, F(z) = (1 + i) f(z), U = u – v and V = u + v
4. Since u + v is given hence V(x, y) is given
∂V
5. Find
∂y
6. Write it as equal to ψ1(x, y)
14 A TEXTBOOK OF ENGINEERING MATHEMATICS
∂V
7. Find
∂x
8. Write it as equal to ψ2(x, y)
9. Find ψ1(z, 0)
10. Find ψ2(z, 0)
11. F(z) is obtained by the formula
F(z) = z { ψ 1 ( z, 0) + iψ 2 ( z, 0)} dz + c
F( z)
12. f(z) is determined by f(z) = directly in terms of z.
1+ i
EXAMPLES
(ii) Show that f(z) = log z is analytic everywhere in the complex plane except at the origin
FG 1IJ .
and that its derivative is
H zK
Sol. (i) Here f(z) = u + iv = sinh z = sinh (x + iy) = sinh x cos y + i cosh x sin y
∴ u = sinh x cos y and v = cosh x sin y
∂u ∂u
= cosh x cos y, = – sinh x sin y
∂x ∂y
∂v ∂v
= sinh x sin y, = cosh x cos y
∂x ∂y
∂u ∂v ∂u ∂v
∴ = and =−
∂x ∂y ∂y ∂x
Thus C-R equations are satisfied.
∂u ∂u ∂v ∂v
Since sinh x, cosh x, sin y and cos y are continuous functions, , , and are
∂x ∂y ∂x ∂y
also continuous functions satisfying C-R equations.
Hence f(z) is analytic everywhere.
∂u ∂v
Now f ′(z) = +i = cosh x cos y + i sinh x sin y = cosh (x + iy) = cosh z.
∂x ∂x
(ii) Here f(z) = u + iv = log z = log (x + iy)
Let x = r cos θ and y = r sin θ so that
x + iy = r (cos θ + i sin θ) = reiθ
1 FG y IJ
log (x + iy) = log (r eiθ) = log r + iθ =
2
log (x2 + y2) + i tan–1 H xK
Separating real and imaginary parts, we get
1 FG y IJ
u=
2
log (x2 + y2) and v = tan–1
H xK
16 A TEXTBOOK OF ENGINEERING MATHEMATICS
∂u x ∂u y
Now, = 2 ,
2 ∂y
= 2
∂x x +y x + y2
∂v −y ∂v x
and = 2 2
, = 2
∂x x +y ∂y x + y2
We observe that the Cauchy-Riemann equations
∂u ∂v ∂u ∂v
= and =–
∂x ∂y ∂y ∂x
are satisfied except when x2 + y2 = 0 i.e., when x = 0, y = 0
Also derivatives are continuous except at origin.
Hence the function f(z) = log z is analytic everywhere in the complex plane except at the
origin.
∂u ∂v x − iy x − iy 1 1
Also, f ′(z) = +i = 2 = = =
∂x ∂x x + y2 ( x + iy)( x − iy) x + iy z
Example 4. Show that the function ex (cos y + i sin y) is holomorphic and find its
derivative.
Sol. f(z) = ex cos y + i ex sin y = u + iv
Here, u = ex cos y, v = ex sin y
∂u ∂v
= ex cos y = ex sin y
∂x ∂x
∂u ∂v
= – ex sin y = ex cos y
∂y ∂y
∂u ∂v ∂u ∂v
Since, = and =−
∂x ∂y ∂y ∂x
hence, C-R equations are satisfied. Also first order partial derivatives of u and v are continuous
everywhere. Therefore f(z) is analytic.
∂u ∂v
Now, f ′(z) = +i = ex cos y + i ex sin y
∂x ∂x
= ex (cos y + i sin y) = ex . eiy = ex+iy = ez
Example 5. If n is real, show that rn (cos nθ + i sin nθ) is analytic except possibly when
r = 0 and that its derivative is
nrn–1 [cos (n – 1) θ + i sin (n – 1) θ].
Sol. Let w = f(z) = u + iv = rn (cos nθ + i sin nθ)
Here, u = rn cos nθ, v = rn sin nθ
∂u ∂v
then, = nrn–1 cos nθ = nrn–1 sin nθ
∂r ∂r
∂u ∂v
= – nrn sin nθ = nrn cos nθ
∂θ ∂θ
FUNCTION OF COMPLEX VARIABLE 17
∂u 1 ∂v ∂v 1 ∂u
Thus, we see that, = and =−
∂r r ∂θ ∂r r ∂θ
∴ Cauchy-Riemann equations are satisfied. Also first order partial derivatives of u
and v are continuous everywhere.
dw
Hence f(z) is analytic if f ′(z) or exists for all finite values of z.
dz
dw ∂w
We have, = (cos θ – i sin θ)
dz ∂r
= (cos θ – i sin θ) . nrn–1 (cos nθ + i sin nθ)
= nrn–1 [cos (n – 1) θ + i sin (n – 1) θ]
This exists for all finite values of r including zero, except when r = 0 and n ≤ 1.
Example 6. Show that if f(z) is analytic and Re f(z) = constant then f(z) is a constant.
Sol. Since the function f(z) = u (x, y) + iv (x, y) is analytic, it satisfies the Cauchy-
Riemann equations
∂u ∂v ∂u ∂v
= and =−
∂x ∂y ∂y ∂x
Also, Re f(z) = constant, therefore u(x, y) = c1
∂u ∂u
∴ =0= .
∂x ∂y
∂v ∂v
Using C-R equations, =0=
∂x ∂y
Hence v(x, y) = c2 = a real constant
Therefore f(z) = u(x, y) + iv(x, y) = c1 + ic2 = a complex constant.
F y I.
Example 7. Given that u(x, y) = x2 – y2 and v(x, y) = – GH x 2
+y 2 JK
Prove that both u and v are harmonic functions but u + iv is not an analytic function of z.
Sol. u = x 2 – y2
∂u ∂ 2u
= 2x ⇒ =2
∂x ∂x 2
∂u ∂ 2u
= – 2y ⇒ =–2
∂y ∂y 2
∂ 2u ∂ 2u
Since + =0 Hence u(x, y) is harmonic.
∂x 2 ∂y 2
−y
Also, v=
x + y2
2
∂v 2 xy ∂ 2v 2 y3 − 6 x 2 y
= 2 ⇒ =
∂x (x + y2 )2 ∂x 2 (x 2 + y2 )3
18 A TEXTBOOK OF ENGINEERING MATHEMATICS
∂v y2 − x 2 ∂2v 6 x 2 y − 2 y3
= 2 ⇒ 2 =
∂y (x + y2 )2 ∂y (x 2 + y2 )3
∂ 2v ∂ 2v
Since + = 0. Hence v(x, y) is also harmonic.
∂x 2 ∂y 2
∂u ∂v ∂v ∂u
But, ≠ and ≠–
∂x ∂y ∂x ∂y
Therefore u + iv is not an analytic function of z.
Example 8. If φ and ψ are functions of x and y satisfying Laplace’s equation, show that
s + it is analytic, where
∂φ ∂ψ ∂φ ∂ψ
s= − and t = + .
∂y ∂x ∂x ∂y
∂t ∂ F ∂φ ∂ψ I 2 2
= G + J = ∂∂y∂φx + ∂∂yψ
∂y ∂y H ∂x ∂y K 2 ...(6)
∂s ∂ F ∂φ ∂ψ I ∂ φ ∂ ψ
2 2
= G − J = − ∂y∂x
∂y ∂y H ∂y ∂x K ∂y 2 ...(7)
∂t ∂ F ∂φ ∂ψ I 2 2
and = G + J = ∂∂xφ + ∂∂x∂ψy .
∂x ∂x H ∂x ∂y K 2
...(8)
xy 2 (x + iy)
Example 9. Verify if f(z) = , z ≠ 0 ; f(0) = 0 is analytic or not?
x 2 + y4
xy 2 ( x + iy)
Sol. u + iv = ;z≠0
x2 + y4
x 2 y2 xy 3
∴ u= , v =
x2 + y4 x2 + y4
∂u u( x, 0) − u(0, 0) 0−0
At the origin, = lim = lim =0
∂x x→0 x x→0 x
∂v v( x, 0) − v(0, 0) 0−0
= lim = lim =0
∂x x→0 x x → 0 x
∂v v(0, y) − v(0, 0) 0−0
= lim = lim =0
∂y y→0 y y→ 0 y
∂u ∂v ∂u − ∂v
Since = and =
∂x ∂y ∂y ∂x
Hence Cauchy-Riemann equations are satisfied at the origin.
Example 10. Show that the function defined by f(z) = | xy| is not regular at the origin,
although Cauchy-Riemann equations are satisfied there
Sol. Let f(z) = u(x, y) + iv(x, y) = | xy| then u(x, y) = | xy|, v(x, y) = 0
At the origin (0, 0), we have
∂u u( x, 0) − u(0, 0) 0−0
= Lt = Lt =0
∂x x → 0 x x→0 x
∂u u(0, y) − u(0, 0) 0−0
= Lt = Lt =0
∂y y → 0 y y→0 y
∂v v( x, 0) − v(0, 0) 0−0
= Lt = Lt =0
∂x x → 0 x x→0 x
∂v v(0, y) − v(0, 0) 0−0
= Lt = Lt =0
∂y y → 0 y y→0 y
∂u ∂v ∂u ∂v
Clearly, = , =−
∂x ∂y ∂y ∂x
Hence C-R equations are satisfied at the origin.
f ( z) − f (0) | xy| − 0
Now f ′(0) = Lt = Lt
z→0 z z→0 x + iy
If z → 0 along the line y = mx, we get
|mx 2 | |m|
f ′(0) = Lt = Lt
x → 0 x(1 + im) x → 0 1 + im
Now this limit is not unique since it depends on m. Therefore, f ′(0) does not exist.
Hence the function f(z) is not regular at the origin.
Example 11. Prove that the function f(z) defined by
x 3 (1 + i) − y 3 (1 − i)
f(z) = , z ≠ 0 and f(0) = 0
x2 + y2
is continuous and the Cauchy-Riemann equations are satisfied at the origin, yet f ′(0) does not
exist.
( x 3 − y 3 ) + i( x 3 + y 3 )
Sol. Here, f(z) = ,z≠0
x2 + y2
x 3 − y3 x 3 + y3
Let f(z) = u + iv = +i ,
x2 + y2 x 2 + y2
x 3 − y3 x 3 + y3
then u= , v =
x 2 + y2 x 2 + y2
Since z ≠ 0 ⇒ x ≠ 0, y ≠ 0
∴ u and v are rational functions of x and y with non-zero denominators. Thus, u, v and
hence f(z) are continuous functions when z ≠ 0. To test them for continuity at z = 0, on changing
u, v to polar co-ordinates by putting x = r cos θ, y = r sin θ, we get
FUNCTION OF COMPLEX VARIABLE 21
Similarly, Lt v = 0
z→0
∴ Lt f(z) = 0 = f(0)
z→0
⇒ f(z) is continuous at z = 0.
Hence f(z) is continuous for all values of z.
At the origin (0, 0), we have
∂u u( x, 0) − u(0, 0) x−0
= Lt = Lt =1
∂x x → 0 x x→0 x
∂u u(0, y) − u(0, 0) − y−0
= Lt = Lt =–1
∂y y → 0 y y→0 y
∂v v( x, 0) − v(0, 0) x−0
= Lt = Lt =1
∂x x → 0 x x→0 x
∂v v(0, y) − v(0, 0) y−0
= Lt = Lt =1
∂y y → 0 y y→0 y
∂u ∂v ∂u ∂v
∴ = and =−
∂x ∂y ∂y ∂x
Hence C-R equations are satisfied at the origin.
f ( z) − f (0) ( x 3 − y 3 ) + i( x 3 + y 3 ) − 0
Now f ′(0) = Lt = Lt
z→0 z z→0 ( x 2 + y 2 )( x + iy)
Let z → 0 along the line y = x, then
0 + 2ix 3 i i(1 − i) 1 + i
f ′(0) = Lt 3
= = = ...(1)
x→0 2 x (1 + i) 1 + i 2 2
Also, let z → 0 along the x-axis (i.e. y = 0), then
x 3 + ix 3
f ′(0) = Lt =1+i ...(2)
x→0 x3
Since the limits (1) and (2) are different, f ′(0) does not exist.
Example 12. Show that the function f (z) = e − z −4 , z ≠ 0 and f(0) = 0 is not analytic at
z = 0, although Cauchy-Riemann equations are satisfied at this point.
−4 −4
−z − ( x + iy)
Sol. Here, f(z) = e =e
1
.
( x − iy) 4 −
R|S ( x − iy )
4 U|V
−
( x + iy) ( x − iy) 4
4 |T ( x + y )
2 2 4
|W
=e = e
1
− 2 2 4 [( x 4 + y 4 − 6 x 2 y 2 ) − 4 ixy( x 2 − y 2 )]
(x + y )
=e
22 A TEXTBOOK OF ENGINEERING MATHEMATICS
LM x OP
PQ LMcos 4 xy ( x 2 − y 2 ) + i sin 4 xy ( x 2 − y 2 ) OP
4
+ y 4 − 6 x 2 y2
−
⇒ u + iv = e
MN ( x 2 + y2 ) 4
N (x2 + y2 )4 ( x 2 + y2 ) 4 Q
Lx
−M
4
+ y4 − 6 x2 y2 OP
∴
M
u= e N
( x 2 + y2 ) 4 PQ cos 4 xy ( x 2 − y 2 )
(x2 + y2 )4
−
LM x 4
+ y4 − 6 x 2 y2 OP
and v= e
MN ( x 2 + y2 )4 PQ sin 4 xy ( x 2 − y 2 )
(x2 + y2 )4
∂u u ( x, 0) − u (0, 0)
At z = 0, = lim
∂x x → 0 x
−4
e− x −0 1
= lim = lim −4
x→0 x x→0 xe x
1 1
= lim
x→0 L 1
x M1 + +
1
+
OP = lim x + 1
x→0
+
1
+
=0
N x 4
2x8 Q x 3
2 x7
−4
∂u u(0, y) − u(0, 0) − e− y
= lim = lim =0
∂y y→0 y y→0 y
∂v v( x, 0) − v(0, 0) 0
= lim = lim =0
∂x x → 0 x x → 0 x
∂v v(0, y) − v(0, 0) 0
and = lim = lim = 0.
∂y y → 0 y y → 0 y
Hence Cauchy-Riemann Conditions are satisfied at z = 0.
−4
f ( z) − f (0) e− z
But f ′(0) = lim = lim
z→0 z z→0 z
iπ / 4 −4
e − (re )
= lim ; if z → 0 along z = reiπ/4
r→0 re iπ / 4
−4
er
= lim=∞
re iπ / 4
r→0
which shows that f ′(z) does not exist at z = 0. Hence f(z) is not analytic at z = 0.
Example 13. (i) Examine the nature of the function
R| x y (x + iy) , z ≠ 0U|
2 5
f ( z) = S x + y
4 10 V| in the region including the origin.
|T0 , z = 0W
3R| x y(y − ix) , z ≠ 0U| f(z) − f(0)
(ii) If f(z) = S x + y6 2 V , prove that → 0 as z → 0 along any radius
|T 0 , z = 0 |W
z
vector but not as z → 0 in any manner and also that f(z) is not analytic at z = 0.
FUNCTION OF COMPLEX VARIABLE 23
x 2 y 5 ( x + iy)
Sol. (i) Here, u + iv = ;z≠0
x 4 + y 10
x 3 y5 x 2 y6
∴ u= 4 10 , v =
x +y x + y 10
4
∂u u( x, 0) − u(0, 0) 0 −0
At the origin, = lim = lim =0
∂x x → 0 x x→0 x
∂u u(0, y) − u(0, 0) 0 −0
= lim = lim =0
∂y y → 0 y y→0 y
∂v ∂v
Similarly, =0=
∂x ∂y
∂u ∂v ∂u ∂v
Since = and =−
∂x ∂y ∂y ∂x
Hence Cauchy-Riemann equations are satisfied at the origin
(ii)
f ( z) − f (0)
=
LM
x 3 y( y − ix)
− 0 .
1
=
OP
− ix 3 y( x + iy)
.
1
= – i
x3 y
z N
x 6 + y2 x + iy Q (x6 + y2 ) x + iy x 6 + y2
Let z → 0 along radius vector y = mx then,
f ( z) − f (0) − ix 3 (mx) − imx 2
lim = lim 6 = lim 4 =0
z→0 z x → 0 x + m2 x 2 x → 0 x + m2
f ( z) − f (0)
Hence → 0 as z → 0 along any radius vector.
z
Now let z → 0 along a curve y = x3 then,
f ( z) − f (0) − ix 3 . x 3 − i
lim = lim 6 =
z→0 z x → 0 x + x6 2
f ( z) − f (0)
Hence does not tend to zero as z → 0 along the curve y = x3.
z
We observe that f ′(0) does not exist hence f(z) is not analytic at z = 0.
24 A TEXTBOOK OF ENGINEERING MATHEMATICS
Example 14. Show that the following functions are harmonic and find their harmonic
conjugate functions.
1
(i) u = log(x2 + y2) (U.P.T.U. 2015) (ii) v = sinh x cos y.
2
1
Sol. (i) u= log (x2 + y2) ...(1)
2
∂u 1 1 x
= . 2 2
. 2x = 2
∂x 2 x + y x + y2
∂ 2u ( x 2 + y2 ) . 1 − x . 2 x y2 − x2
= = ...(2)
∂x 2 (x 2 + y2 )2 (x2 + y2 )2
∂u 1 1 y
Also, = . 2 2
. 2y = 2
∂y 2 x + y x + y2
∂ 2u ( x 2 + y2 ) . 1 − y . 2 y x 2 − y2
= = ...(3)
∂y 2 (x2 + y2 )2 (x2 + y2 )2
∂ 2u ∂ 2u
+ = 0. [From (2) and (3)]
∂x 2 ∂y 2
Since u satisfies Laplace’s equation hence u is a harmonic function.
∂v ∂v
Let dv = dx + dy
∂x ∂y
FG ∂u IJ dx + FG ∂u IJ dy
H ∂y K H ∂x K
= − [Using C-R equations]
=G
F − y I dx + F x I dy
H x + y JK GH x + y JK
2 2 2 2
x dy − y dx L F yI O
= d Mtan G J P
−1
= 2
(x + y )2
N H xKQ
F yI
v = tan G J + c
Integration yields,
H xK
–1 | c is a constant
∂u ∂u ∂v ∂v
Now, du = dx + dy = dx − dy
∂x ∂y ∂y ∂x
= – sinh x sin y dx – cosh x cos y dy
= – [sinh x sin y dx + cosh x cos y dy]
= – d (cosh x sin y).
Integration yields, u = – cosh x sin y + c | c is a constant
4 2 2 4
Example 15. (i) Show that the function u(x, y) = x – 6x y + y is harmonic. Also find
the analytic function f(z) = u(x, y) + iv(x, y).
(ii) Show that the function u = x3 – 3xy2 is harmonic and find the corresponding analytic
function.
(iii) Show that ex cos y is a harmonic function, find the analytic function of which it is real
part.
Sol. (i) u = x4 – 6x2y2 + y4
∂u ∂ 2u
∴ = 4x3 – 12xy2 ⇒ = 12x2 – 12y2
∂x ∂x 2
∂u ∂ 2u
= – 12 x2y + 4y3 ⇒ = – 12x2 + 12y2
∂y ∂y 2
∂ 2u ∂ 2u
Since, + =0 ∴ u(x, y) is a harmonic function.
∂x 2 ∂y 2
Now, let dv =
∂v
dx +
∂v
dy = −
FG
∂u
dx +
IJ
∂u
dy | By C-R eqns.
∂x ∂y H
∂y K
∂x
= (12x2y – 4y3) dx + (4x3 – 12xy2) dy
= (12x2y dx + 4x3dy) – (4y3 dx + 12xy2 dy)
= d(4x3y) – d(4xy3)
Integration yields, v = 4x3y – 4xy3 + c
Hence f(z) = u + iv = x4 – 6x2y2 + y4 + i(4x3y – 4xy3 + c)
= (x + iy)4 + c1 = z4 + c1 | where c1 = ic
(ii) u = x3 – 3xy2
∂u ∂ 2u
∴ = 3x2 – 3y2 ⇒ = 6x
∂x ∂x 2
∂u ∂ 2u
= – 6xy ⇒ = – 6x
∂y ∂y 2
∂ 2u ∂ 2u
Since, + =0 ∴ u is a harmonic function.
∂x 2 ∂y 2
Now, dv =
dv
dx +
∂v FG IJ
dy = − ∂u dx + ∂u dy | By C-R eqns.
dx ∂y H
∂y K
∂x
26 A TEXTBOOK OF ENGINEERING MATHEMATICS
∂u ∂ 2u
∴ = ex cos y ⇒ = ex cos y
∂x ∂x 2
∂u ∂ 2u
= – ex sin y ⇒ = – ex cos y
∂y ∂y 2
∂ 2u ∂ 2u
Since + =0 ∴ u is a harmonic function.
∂x 2 ∂y 2
∂v
dx +
∂v
dy = −
∂u FG∂u IJ FG IJ
Let dv =
∂x ∂y ∂y
dx +
H∂x
dy
K H K | By C-R eqns.
∂ψ 2 xy ∂ψ y2 – x 2
= 2 , = 2
∂x (x + y2 )2 ∂y ( x + y 2 ) 2
∂φ ∂φ ∂ψ ∂ψ
We know that, dφ = dx + dy = dx – dy
∂x ∂y ∂y ∂x
( y2 − x 2 ) 2 xy
= dx − dy
(x2 + y2 )2 (x2 + y2 )2
( x 2 + y 2 ) dx − 2 x 2 dx − 2 xy dy
=
( x 2 + y2 )2
FUNCTION OF COMPLEX VARIABLE 27
( x 2 + y 2 ) d( x) − x(2 x dx + 2 y dy)
=
(x 2 + y2 )2
( x 2 + y 2 ) d( x) − xd ( x 2 + y 2 ) x F I
=
(x2 + y2 )2
=d GH
x 2 + y2
. JK
x
Integration yields, φ= 2 + c where c is a constant.
x + y2
(ii) Let ψ (x, y) be the stream function.
∂ψ ∂ψ ∂φ FG
∂φ IJ FG IJ
dψ =
∂x
dx +
∂y
dy = −
∂y
dx +
H
∂x
dy
K H K
= {– (3x2 – 3y2)} dx + 6xy dy
= – 3x2 dx + (3y2 dx + 6xy dy)
= – d (x3) + 3d (xy2)
Integrating, we get ψ = – x3 + 3xy2 + c |c is a constant
Complex potential is given by
w = φ + iψ = 3x2y – y3 + i(–x3 + 3xy2 + c)
or, w = –i[x3 – iy3 + 3ix2y – 3xy2 – c]
or, w = –i [(x + iy)3 – c]
⇒ w = –iz3 + c1 | where c1 = ic
Example 17. (i) If u = ex(x cos y – y sin y) is a harmonic function, find an analytic
function f (z) = u + iv such that f (1) = e.
(ii) Determine an analytic function f(z) in terms of z whose real part is e–x(x sin y – y cos y).
= z( z + 1) e z dz + c = (z – 1) ez + ez + c = zez + c
f(1) = e + c
...(1)
|From (1)
e=e+c |f(1) = e (given)
⇒ c=0
∴ From (1), f(z) = zez.
(ii) u = e–x(x sin y – y cos y)
∂u
= e–x sin y – e–x (x sin y – y cos y) = φ1 (x, y) | say
∂x
28 A TEXTBOOK OF ENGINEERING MATHEMATICS
∂u
= e–x(x cos y – cos y + y sin y) = φ2(x, y) | say
∂y
∴ φ1 (z, 0) = 0 and φ2(z, 0) = e–z(z – 1)
By Milne’s Thomson method,
f(z) = zl q
φ 1 ( z, 0) − iφ 2 ( z, 0) dz + c
=–i zL e − z ( z − 1) dz + c
NM
= − i ( z − 1) (− e − z ) −
= (2z + 1)
e2 z
2
− 2.ze2 z
2
dz + c |Integrating by parts
e 2 z 1 2z
= (2z + 1) − e +c
2 2
f(z) = ze2z + c where c is an arbitrary constant.
(ii) Let f(z) = u + iv be the required analytic function.
Here v = e–x(x cos y + y sin y)
∂v
= e–x (– x sin y + y cos y + sin y) = ψ1(x, y) | say
∂y
∂v
= e–x cos y – e–x (x cos y + y sin y) = ψ2 (x, y) | say
∂x
∴ ψ1 (z, 0) = 0
ψ2(z, 0) = e–z – e–z z = (1 – z) e–z
By Milne’s Thomson method,
f(z) = z ψ 1 ( z, 0) + i ψ 2 ( z, 0) dz + c = i z (1 − z) e − z dz + c
FUNCTION OF COMPLEX VARIABLE 29
LM
= i (1 − z) (− e − z ) −
N z (− 1) (− e − z ) dz + c OP
Q
= i [(z – 1) e–z + e–z] + c
⇒ f(z) = ize–z + c
Example 19. (i) Let f(z) = u(r, θ) + iv(r, θ) be an analytic function. If u = – r3 sin 3θ, then
construct the corresponding analytic function f(z) interms of z.
FG 1IJ
(ii) Find the analytic function f(z) = u + iv, given that v = r −
H r K
sin θ ; r ≠ 0
FG 1IJ sin θ
(ii) H rK
v= r−
∂v F 1I
= G 1 + J sin θ,
∂v 1 FG IJ
∂r H rK 2 ∂θ
= r−
r H
cos θ
K
we know that,
∂u ∂u 1 ∂v FG ∂v IJ FG IJ
du =
∂r
dr +
∂θ
dθ =
r ∂θ H
dr + − r
∂r
dθK H K
FG IJ cos θ dr – FG r + 1IJ sin θ dθ
1
= 1−
H r K 2 H rK
F1 I
du = d (r cos θ) + d G cos θJ
⇒
Hr K
F 1I
u = G r + J cos θ + c
Integration yields,
H rK
F 1I F 1I
f(z) = u + iv = G r + J cos θ + c + i G r − J sin θ
∴
H rK H rK
30 A TEXTBOOK OF ENGINEERING MATHEMATICS
1 –iθ
= reiθ + e +c
r
1
⇒ f (z) = z +
+ c.
z
Example 20. If u – v = (x – y) (x2 + 4xy + y2) and f(z) = u + iv is an analytic function of
z = x + iy, find f(z) in terms of z.
Sol. Here, f(z) = u + iv
∴ if(z) = iu – v
Adding (1 + i) f(z) = (u – v) + i(u + v)
Let (1 + i) f(z) = F(z), u – v = U, u + v = V, then
F(z) = U + iV
Now, U = u – v = (x – y) (x2 + 4xy + y2)
∂U
⇒ = x2 + 4xy + y2 + (x – y)(2x + 4y) = 3x2 + 6xy – 3y2 = φ1(x, y)
∂x
| say
∂U
and = – (x2 + 4xy + y2) + (x – y)(4x + 2y) = 3x2 – 6xy – 3y2 = φ2(x, y)
∂y
| say
Now, φ1(z, 0) = 3z2, φ2(z, 0) = 3z2
By Milne’s Thomson method,
F(z) = z [φ 1 ( z, 0) – iφ 2 ( z, 0)] dz + c =
F(z) = (1 – i) z3 + c
z [3 z 2 − i(3 z 2 )] dz + c
⇒ (1 + i) f(z) = (1 – i) z3 + c
FG 1 − i IJ z 3 c FG IJ
− 2i 3 FG where c c IJ
or, f(z) =
H 1 + iK +
1+ i
=
H K
2
z + c1
H 1 =
1+ i K
or, f(z) = – iz3 + c1.
2 sin 2x
Example 21. If u + v = 2y
and f(z) = u + iv is an analytic function of
e + e −2y − 2 cos 2x
z = x + iy, find f(z) in terms of z.
Sol. Let f(z) = u + iv ...(1)
Multiplying both sides by i
i f(z) = iu – v ...(2)
Adding (1) and (2), we get
(1 + i) f(z) = (u – v) + i(u + v) ...(3)
⇒ F(z) = U + iV ...(4)
where F(z) = (1 + i) f(z) ...(5)
U=u–v and V=u+v ...(6)
FUNCTION OF COMPLEX VARIABLE 31
sin 2 x
V= ...(7) | ∵ e2y + e–2y = 2 cosh 2y
cosh 2 y − cos 2 x
∂V − 2 sin 2 x sinh 2 y
Now = = ψ1(x, y) | say
∂y (cosh 2 y − cos 2 x) 2
2 cos 2 x cosh 2 y − 2
= = ψ2(x, y) | say
(cosh 2 y − cos 2 x) 2
∴ ψ1(z, 0) = 0
2(cos 2 z − 1) −2 −2
ψ2(z, 0) = 2
= = = – cosec2 z
(1 − cos 2 z) 1 − cos 2 z 1 − 1 + 2 sin 2 z
By Milne’s Thomson method, we have
F(z) = ∫ {ψ1(z, 0) + i ψ2(z, 0)} dz + c
= ∫ – i cosec2 z dz + c = i cot z + c
Replacing F(z) by (1 + i) f(z), from eqn. (5), we get
(1 + i) f(z) = i cot z + c
i c
⇒ f(z) = cot z +
1+ i 1+ i
1
c
∴ f(z) = (1 + i) cot z + c1, where c1 = .
2 1+ i
cos x + sin x − e − y
Example 22. If f(z) = u + iv is an analytic function of z and u – v = ,
2 cos x − 2 cosh y
1 LM z OP π FG IJ
prove that f(z) =
2
1 − cot
N 2 Q
when f
2 H K
= 0.
Sol. Let f(z) = u + iv ...(1)
∴ i f(z) = iu – v
Add, (1 + i) f(z) = (u – v) + i(u + v) ...(2)
⇒ F(z) = U + iV ...(3)
where u – v = U, u + v = V and (1 + i) f(z) = F(z).
cos x + sin x − e − y
We have, u–v=
2 cos x − 2 cosh y
cos x + sin x − cosh y + sinh y
or, U= [∵ e–y = cosh y – sinh y]
2 cos x − 2 cosh y
1 sin x + sinh y
= + ...(4)
2 2(cos x − cosh y)
32 A TEXTBOOK OF ENGINEERING MATHEMATICS
1 L cos z − 1 O 1 F −1 I
∴ φ (z, 0) = M P = .G J. ...(6)
2
2 N (cos z − 1) Q 2 H 1 − cos z K
2
= z MN 1
.
1 i
+ .
1
2 (1 − cos z) 2 1 − cos z
dz + c
OP
Q
=
1+ i
2
1
2
2 sin z/2 z
dz + c =
1+ i
4
cosec 2 ( z/2) dz + c z
FG
1 + i (− cot z/2)IJ 1+ i z FG IJ
=
H
4
.
1 K
+c =–
FG JI
2
cot + c
2 H K
2 H K
1+ i FG z IJ
or, (1 + i) f(z) = –
2 H
cot + c
2 K
1 z c
⇒ f(z) = – cot + ...(7)
2 2 1+ i
FG π IJ = − 1 cot π + c
f
H 2K 2 4 1 + i [From (7)]
1 c c 1
0=– + ⇒ = ...(8)
2 1+ i 1+ i 2
1 z 1 1 FG
z IJ
∴ From (7), f(z) = –
2
cot + =
2 2 2
1 − cot
2H.
K [Using (8)]
FUNCTION OF COMPLEX VARIABLE 33
RS ∂ |f(z)|UV + RS ∂ |f(z)|UV
2 2
= f ′ (z) 2
T ∂x W T ∂y W
Sol. (i) Let f(z) = u + iv so that |f(z)| = u 2 + v2
or |f(z)|2 = u2 + v2 = φ(x, y) (say)
∂φ ∂u ∂v
∴ = 2u + 2v
∂x ∂x ∂x
∂2φ LM
∂ 2u ∂u FG IJ 2
FG IJ
∂ 2v ∂v
2 OP
∂x 2
=2 u 2 +
MN
∂x ∂x H K +v
H K
∂x 2
+
∂x PQ
2 L ∂ u F ∂u I 2 2
∂ v F ∂v I
2 2 OP
= 2 Mu
∂ φ
Similarly,
∂y MN ∂y + GH ∂y JK
2 2
+v
∂y
+G J
H ∂y K 2
PQ
Adding, we get
∂2φ ∂2φ LM F
∂ 2u ∂ 2u ∂u I FG IJ + F ∂u I 2 2
F ∂ v + ∂ v I + FG ∂v IJ + F ∂v I OP
2 2 2 2
∂x 2
+
∂y 2
= 2 u
MN GH
∂x 2
+ 2 +
∂y ∂x JK H K GH ∂y JK H ∂x ∂y JK H ∂x K GH ∂y JK PQ
+ vG 2 2
...(1)
Since f(z) = u + iv is a regular function of z, u and v satisfy C-R equations and Laplace’s
equation.
∂u ∂v ∂u ∂v ∂ 2u ∂ 2u ∂ 2v ∂ 2v
∴ = , =− and + = 0 = +
∂x ∂y ∂y ∂x ∂x 2 ∂y 2 ∂x 2 ∂y 2
∴ From (1), we get
MN GH K H ∂x K H ∂x K H ∂x K PQ
2
+ 2 =2 0+ +0+
∂x ∂y ∂x
LF ∂u I 2
F ∂vI O 2
= 4 MG J +G J P
MNH ∂x K H ∂x K PQ ...(2)
Now f(z) = u + iv
∂u ∂v
|f ′(z)|2 =
FG ∂u IJ + FG ∂v IJ
2 2
∴ f ′(z) =
∂x
+i
∂x
and
H ∂x K H ∂x K
From (2), we get
F∂ 2
∂2 I φ = 4 |f ′(z)| F∂ 2
∂2 I |f(z) |
GH ∂x 2
+
∂y 2
JK 2 or GH ∂x 2
+
∂y 2
JK 2 = 4 |f ′(z)|2.
34 A TEXTBOOK OF ENGINEERING MATHEMATICS
∴ |f(z)| = u 2 + v2 ...(2)
Partially differentiating eqn. (2) w.r.t. x and y, we get
∂u ∂v
∂ 1 2 2 −1/2 ∂u ∂vFG IJ u
∂x
+v
∂x
∂x
|f ( z)| = (u + v )
2
2u
∂x
+ 2v
∂x H
=
K |f ( z)|
...(3)
∂u ∂v
u +v
∂ ∂y ∂y
Similarly, |f ( z)| = ...(4)
∂y |f ( z)|
Squaring and adding (3) and (4), we get
FG u ∂u + v ∂v IJ + FG u ∂u + v ∂vIJ
2 2
RS |f (z)|UV + S |f (z)|V = H ∂x ∂x K H ∂y ∂y K
∂
2
R ∂ U 2
T ∂x W T ∂y W |f ( z)| 2
FG u ∂u + v ∂vIJ + FG − u ∂v + v ∂u IJ
2 2
H ∂x ∂x K H ∂x ∂x K
= | Using C-R eqns.
|f ( z)|2
(u 2 + v2 )
LMFG ∂u IJ + FG ∂v IJ OP
2 2
=
MNH ∂x K H ∂x K PQ
|f ( z)|2
FG ∂u IJ + FG ∂v IJ
2 2
=
H ∂x K H ∂x K |∵ |f(z)|2 = u2 + v2
∂u ∂v
= |f ′(z)|2 ∵ f ′ ( z) = +i
∂x ∂x
ASSIGNMENT
1. (i) Determine a, b, c, d so that the function f(z) = (x2 + axy + by2) + i(cx2 + dxy + y2) is analytic.
(ii) Find the constants a, b, c such that the function f(z) where
f(z) = – x2 + xy + y2 + i (ax2 + bxy + cy2) is analytic. Express f(z) in terms of z.
(iii) Find the value of the constants a and b such that the following function f(z) is analytic.
f(z) = cos x (cosh y + a sinh y) + i sin x (cosh y + b sinh y)
1 px
(iv) Determine p such that the function f(z) = log (x2 + y2) + i tan–1 is an analytic function.
2 y
Also find f ′(z). ( )
2. Show that
(a) f(z) = xy + iy is everywhere continuous but is not analytic.
(b) f(z) = z + 2 z is not analytic anywhere in the complex plane.
(c) f(z) = z | z | is not analytic anywhere. ( )
FUNCTION OF COMPLEX VARIABLE 35
x3 y5 ( x + iy)
7. (i) Show that the function f(z) defined by f(z) = , z ≠ 0, f(0) = 0, is not analytic at the
x6 + y10
origin even though it satisfies Cauchy-Riemann equations at the origin. ( )
(ii) Show that for the function
R| (z) ,
2
f(z) = S| z z≠0
T 0, z=0
the Cauchy-Riemann equations are satisfied at the origin. Does f ′(0) exist?
(iii) Show that for the function
R| 2 xy (x + iy) , z≠0
f(z) = S| x + y
2 2
T 0, z=0
the C-R equations are satisfied at origin but derivative of f(z) does not exist at origin.
8. (i) If u is a harmonic function then show that w = u2 is not a harmonic function unless u is a
constant.
(ii) If f(z) is an analytic function, show that |f (z)| is not a harmonic function.
9. (i) Show that the function u (x, y) = 2x + y3 – 3x2y is harmonic. Find its conjugate harmonic
function v(x, y) and the corresponding analytic function f(z).
(ii) Show that the function v(x, y) = ex sin y is harmonic. Find its conjugate harmonic function
u(x, y) and the corresponding analytic function f(z).
(iii) Define a harmonic function and conjugate harmonic function. Find the harmonic conjugate of
the function u(x, y) = 2x (1 – y). ( )
(iv) Show that the function u = e –2xy 2 2
sin (x – y ) is harmonic. ( )
(v) Show that u(x, y) = x3 – 4xy – 3xy2 is harmonic. Find its harmonic conjugate v(x, y) and the
corresponding analytic function f(z) = u + iv. ( )
10. (i) Show that the function u(r, θ) = r2 cos 2θ is harmonic. Find its conjugate harmonic function
and the corresponding analytic function f(z).
(ii) Determine constant ‘b’ such that u = ebx cos 5y is harmonic.
36 A TEXTBOOK OF ENGINEERING MATHEMATICS
(iii) Define Harmonic function. Show that the function v = log (x2 + y2) + x – 2y is harmonic. Also
find the analytic function f(z) = u + iv. ( )
(iv) Show that v(x, y) = e–x (x cos y + y sin y) is harmonic. Find its harmonic conjugate.
( )
11. Determine the analytic function f(z) in terms of z whose real part is
1
(i) log (x2 + y2) ( ) (ii) cos x cosh y
2
(iii) e–x (x cos y + y sin y) ; f (0) = 1 (iv) (x – y)(x2 + 4xy + y2) ( )
sin 2 x sin 2 x
(v) (vi) .
cosh 2 y − cos 2 x cosh 2 y + cos 2 x
12. Find the regular function f(z) in terms of z whose imaginary part is
x− y
(i) 2 (ii) cos x cosh y (iii) sinh x cos y
x + y2
x
(iv) 6xy – 5x + 3 (v) 2 + cosh x cos y. (vi) ex (x sin y + y cos y)
x + y2
( )
13. Prove that u = x2 – y2 – 2xy – 2x + 3y is harmonic. Find a function v such that f(z) = u + iv is
analytic. Also express f(z) in terms of z.
14. (i) An electrostatic field in the xy-plane is given by the potential function φ = x2 – y2, find the
stream function.
(ii) If the potential function is log (x2 + y2), find the flux function and the complex potential
function.
15. (i) In a two dimensional fluid flow, the stream function is ψ = tan–1
FG y IJ , find the velocity
H xK
potential φ.
x
(ii) If w = φ + iψ represents the complex potential for an electric field and ψ = x2 – y 2 + 2 ,
determine the function φ.
x + y2
(iii) If u = (x – 1)3 – 3xy2 + 3y2, determine v so that u + iv is a regular function of x + iy.
[ ]
F∂ 2
∂2 I |Re f(z)|
16. If f(z) is an analytic function of z, prove that GH ∂x 2
+
∂y 2 JK 2 = 2 |f ′(z)|2.
( )
17. Find an analytic function f(z) = u(r, θ) + iv(r, θ) such that v(r, θ) = r2 cos 2θ – r cos θ + 2.
18. If f(z) = u + iv is an analytic function, find f(z) in terms of z if
x
(i) u – v = ex (cos y – sin y) (ii) u + v = , when f(1) = 1
x 2 + y2
e y − cos x + sin x π FG IJ
3−i
(iii) u – v =
cosh y − cos x
when f
2
=
2H K
.
z+z z−z
22. If f (z) = u(x, y) + iv (x, y) where x = ,y= is continuous as a function of two variables z
2 2i
∂f
and z then show that = 0 is equivalent to the Cauchy-Riemann equations.
∂z
LMHint. ∂f = F ∂u ∂x + ∂u ∂y I + i F ∂v ∂x + ∂v ∂y I OP
MN ∂z GH ∂x ∂z ∂y ∂z JK GH ∂x ∂z ∂y ∂z JK PQ
∂ 2u
23. (i) Show that a harmonic function satisfies the formal differential equation =0
∂z ∂ z
F∂ 2
∂2 I log |f ′(z)| = 0. Further, if |f ′(z)|
(ii) If w = f(z) is a regular function of z, prove that GH ∂x 2
+
∂y 2 JK
is the product of a function of x and function of y, show that f ′(z) = exp. (αz2 + βz + γ) where α
is real and β, γ are complex constants.
24. If f (z) = u + iv is an analytic function of z = x + iy, find f (z) in terms of z if
(i) 3u + v = 3 sin x cosh y + cos x sinh y (ii) u – 2v = cos x cosh y + 2 sin x sinh y
(iii) 2u – v = ex (2 cos y – sin y)
25. (i) If f ′(z) = f(z) for all z, then show that f(z) = ke z, where k is an arbitrary constant.
(ii) Find an analytic function f(z) such that Re [f ′(z)] = 3x2 – 4y – 3y2 and f(1 + i) = 0
(iii) Let f(z) = u + iv and g(z) = v + iu be analytic functions for all z. Let f(0) = 1 and g(0) = i. Obtain
the value of h(z) at z = 1 + i where h(z) = f ′(z) + g′(z) + 2f(z) g(z).
(iv) If f(z) = u + iv is an analytic function of z and φ is a function of u and v, then show that
17. i(z2 – z + 2) + c
1 FG i + 1IJ z 1
18. (i) ez + c (ii)
1+ i Hz K (iii) cot + (1 – i)
2 2
21. (i) 2z + iz3 + c (ii) ize–z + c
24. (i) f (z) = sin z + c (ii) f (z) = cos z + c (iii) f (z) = ez + c
25. (ii) f(z) = z3 + 2iz2 + 6 – 2i (iii) 2i
x = a to x = b. But in case of a complex function f(z), the path of the definite integral
can be along any curve from z = a to z = b.
za
b
f ( z) dz
Let f(z) be a continuous function of the complex variable z = x + iy defined at all points
of a curve C having end points A and B. Divide the curve C into n parts at the points
A = P0(z0), P1(z1), ......, Pi(zi), ......, Pn(zn) = B.
Let δzi = zi – zi–1 and ξi be any point on the arc Pi–1 Pi. Then the limit of the sum
n
∑ f (ξ ) δzi i as n → ∞ and each δzi → 0, if it exists, is called the line integral of f(z)
z
i=1
we have
zC
f ( z) dz = z
C
(u + iv)(dx + i dy)
P1
P2
Pi – 1
= z
C
(udx − vdy) + i z
C
which shows that the evaluation of the line integral
(vdx + udy)
P0 = A
O X
of a complex function can be reduced to the evalua-
tion of two line integrals of real functions.
Moreover, the value of the integral depends on the path of integration unless the
integrand is analytic.
FUNCTION OF COMPLEX VARIABLE 39
za
b
f ( z) dz = −
za
b
f ( z) dz = z c
a
f ( z) dz + z
c
b
f ( z) dz .
EXAMPLES
Example 1. Evaluate
(a) along the straight line from z = 0 to z = 1 + i
z
0
1+ i
(x − y + ix 2 ) dz .
(b) along the real axis from z = 0 to z = 1 and then along a line parallel to imaginary axis
from z = 1 to z = 1 + i.
(c) along the imaginary axis from z = 0 to z = i and then along a line parallel to real axis
from z = i to z = 1 + i.
Sol. (a) Along the straight line OP joining O(z = 0) and P(z = 1 + i), y = x, dy = dx and x
varies from 0 to 1.
∴
z0
1+ i
( x − y + ix 2 ) dz = z
0
1+ i
(x – y + ix2)(dx + i dy)
=
z0
1
( x − x + ix 2 )(dx + idx) = z0
1
ix 2 (1 + i) dx
Fx I 3 1
1 1
= (i – 1) G J =− + i.
H 3K 0
3 3
(b) Along the path OAP where A is z = 1
z0
1+ i
( x − y + ix 2 ) dz
= z OA
( x − y + ix 2 ) dz + z AP
(x – y + ix2) dz ...(1)
z z LM x OP
2 1
1 x3 1 1
∴ ( x − y + ix 2 ) dz = ( x + ix 2 ) dx = +i = + i
OA 0
N2 3 Q 0
2 3
Also along AP, x = 1, dz = idy and y varies from 0 to 1
∴ zAP
2 L
N z0
1
( x − y + ix ) dz = (1 − y + i) idy = M(− 1 + i) y − i
y O
2
P
Q
1 1
=–1+i– i=–1+ i
2 2
2 1
z 0
1+ i
( x − y + ix 2 ) dz =
∴ zOB
( x − y + ix 2 ) dz = z 1
0
(− y) idy = − i
LM y OP
2 1
N2Q 0
=−
1
2
i
∴ zBP
( x − y + ix 2 ) dz = z 0
LM x − x + i x OP
1
N2
( x − 1 + ix 2 ) dx =
3Q
2 3 1
0
=−
1 1
+ i
2 3
Example 2. Evaluate
(a) y = x
z
(b) y = x2.
0
1+ i
(x 2 − iy) dz along the paths
z0
1+ i
( x 2 − iy) dz = z0
1
( x 2 − ix)(1 + i) dx
Lx
= (1 + i) M
3
x2 OP 1
FG 1 − 1 iIJ = 5 − 1 i .
N3
−i
2 Q 0
= (1 + i)
H3 2 K 6 6
(b) Along the parabola y = x2, dy = 2x dx so that Y
dz = dx + 2ix dx = (1 + 2ix) dx
and x varies from 0 to 1.
∴ z 1+ i
0
( x 2 − iy) dz = z 1
0
( x 2 − ix 2 ) (1 + 2ix) dx
P (1, 1)
L x + i x OP 4 1
x
3
=
= (1 − i) M
y
N3 2Q
2
x
0
=
y
F1 1 I 5 1
= (1 – i) GH + iJK = + i . O
3 2 6 6 X
Example 3. Evaluate z0
2+i
(z) 2 dz , along
(a) the real axis from z = 0 to z = 2 and then along a line parallel to y-axis from z = 2 to
z = 2 + i.
(b) along the line 2y = x.
FUNCTION OF COMPLEX VARIABLE 41
z
P (2, 1)
2+ i
2
( z ) dz
z z
0 x
=
= ( x 2 − y 2 − 2ixy) dz + ( x 2 − y 2 − 2ixy) dz 2y
OA AP
...(1)
Now, along OA, y = 0, dz = dx and x varies from 0
to 2 O A (2, 0) X
∴ z OA
( x 2 − y 2 − 2ixy) dz = z0
2
x 2 dx =
LM x OP
N3Q
3 2
0
=
8
3
Also, along AP, x = 2, dz = idy and y varies from 0 to 1
∴ z AP
( x 2 − y 2 − 2ixy) dz = zL 0
1
(4 – y2 – 4iy) idy
OP 1
y3 1 11
MN
= 4iy − i
3
+ 2 y2
Q
= 4i −
3
i+2=2+
3
i
z
0
8 11 14 11 2+i
2
Hence from (1), we have ( z ) dz = + 2 + i= + i.
0 3 3 3 3
(b) Along the line OP, 2y = x, dx = 2dy
so that dz = 2dy + i dy = (2 + i) dy
and y varies from 0 to 1.
∴
z 0
2+ i
( z ) 2 dz = z 2+ i
0
( x 2 − y 2 − 2ixy) dz = z
0
1
(4 y 2 − y 2 − 4iy 2 ) (2 + i) dy
= (2 + i)(3 – 4i) z
0
1
y 2 dy = (10 − 5i)
LM y OP
3 1
N3Q 0
=
10 5
− i.
3 3
Example 4. Integrate f(z) = x2 + ixy from A(1, 1) to B(2, 4) along the curve x = t, y = t2.
Sol. Equations of the path of integration are x = t, y = t2
∴ dx = dt, dy = 2t dt
At A(1, 1), t = 1 and at B(2, 4), t = 2
∴ z
A
B
f ( z) dz = z B
A
( x 2 + ixy)(dx + idy) = z 1
2
(t2 + it3)(dt + 2it dt)
=
z1
2
(t − 2t ) dt + i 3t dt = M −
2 4
z
L t 2t OP + i LM 3t OP
N3 5 Q N 4 Q
1
2
3
3 5 2
1
4 2
1
F 8 64 IJ − FG 1 − 2 IJ + i FG 12 − 3 IJ = − 151 + 45 i .
=G −
H 3 5 K H 3 5K H 4 K 5 4
Example 5. Prove that
(i)
z dz
z−a
= 2πi
z
C
(i)
zC
dz
z−a
= z0
2π ire iθ dθ
re iθ
=i z 2π
0
dθ = 2πi
(ii)
z
C
( z − a) n dz = z0
2π
r n e niθ . ire iθ dθ
= ir
n+1
z 0
2π
e i( n + 1)θ dθ
= irn+1
LM e OP
i( n + 1)θ 2π
[∵ n ≠ – 1]
N i(n + 1) Q 0
r n+ 1 i2(n+1)π
= [e – 1]
n+1
= 0. [∵ ei2(n+1)π = cos 2(n + 1)π + i sin 2(n + 1)π = 1]
Example 6. Evaluate the integral
(i) The straight line from z = – i to z = i
z c
|z|dz , where c is the contour
∴ z
c
|z|dz = z −1
1
|iy|i dy = i z 0
−1
(− y) dy + i z0
1
y dy
Fy I
=–iG J
2 0
Fy I
+iG J
2 1
FG 1IJ + i FG 1IJ = i.
H 2K −1
H 2K 0
=–i −
H 2K H 2K
(ii) For a point on the unit circle | z | = 1,
z = eiθ
∴ dz = ieiθ dθ.
3π π
The points z = – i and i correspond to θ = and θ = respectively.
2 2
z z F I π/2
idθ = GH e JK
π/2 iθ
iθ
∴ | z| dz = 1. e = eiπ/2 – e3iπ/2
c 3π / 2 3π / 2
π π 3π 3π
= cos + i sin − cos − i sin = 0 + i – 0 – i(– 1) = 2i.
2 2 2 2
Example 7. Evaluate the integral
Sol. Here, c ≡ |z| = 1
z c
log z dz , where c is the unit circle | z | = 1.
...(1)
z c
log zdz = z c
log ( x + iy) dz
FUNCTION OF COMPLEX VARIABLE 43
= z LMN
c
1
2
log ( x 2 + y 2 ) + i tan −1
y
x
dz
OP
Q
z = eiθ
z c
tan −1
FG y IJ dz.
H xK ...(2) (∵ x2 + y2 = 1)
∴ dz = ieiθ dθ.
Now (2) becomes,
z c
log z dz = i z 2π
0
tan–1 (tan θ) ieiθ dθ = –
z
0
2π
θ e iθ d θ
LF e I OP LM F I OP
z
2π 2π
= – MG θ
iθ 2π e iθ 2π 2 πi 1 e iθ
MNH i JK − 0
0
1.
i
dθ = –
PQ i
e −
MN
i i GH JK P
0Q
=– M
L 2π e + e 2 πi 2 πi OP
− 1 = 2πie2πi + 1 – e2πi = 2πi |∵ e2πi = 1
Ni Q
ASSIGNMENT
1. Evaluate
z
0
3+ i
z2 dz , along
x
(a) the line y = (b) the real axis to 3 and then vertically to 3 + i
3
(c) the parabola x = 3y2.
0
( x − y − ix2 ) dz , along real axis from z = 0 to z = 1 and then
3. Evaluate
z
0
4 + 2i
z dz along the curve given by z = t2 + it.
4. (i) Evaluate
z C
| z |2 dz around the square with vertices at (0, 0), (1, 0), (1, 1) and (0, 1).
points z = 0, z = 1, z = 1 + i and z = i.
5. (a) Evaluate
z C
( x + y) dx + x 2 y dy
(b) Evaluate
(i) along y = x2
z (1, 1)
(0, 0)
(3 x2 + 4 xy + 3 y2 ) dx + 2(x2 + 3xy + 4y2)dy
(ii) along y = x
Does the value of the integral depend upon the path?
44 A TEXTBOOK OF ENGINEERING MATHEMATICS
6. (i) Evaluate
z C
( y − x − 3 x 2 i) dz where C is the straight line from z = 0 to z = 1 + i.
(ii) Evaluate
z 2 + 3i
1− i
( z2 + z) dz along the line joining the points (1, – 1) and (2, 3).
7. (i) Evaluate
z C
( z − z2 ) dz where C is the upper half of the circle | z | = 1. What is the value of
8. Prove that
1
C z z
dz = − πi or πi according as C is the semi-circular arc | z | = 1 from z = – 1
9. Evaluate z 2+ i
1− i
(2 x + iy + 1) dz along
z
C1
2
12. Evaluate the integral z dz where C is the arc of
C
π
the circle |z| = 2 from θ = 0 to θ = . –3 –2 O 2 3 X
3 A B C D
13. Evaluate
z C
2z + 3
z
dz where C is
15. Evaluate
z0
3+i
( z)2 dz along the real axis from z = 0 to z = 3 and then along a line parallel to
Answers
26 26 26 3 i
1. (a) 6 + i (b) 6 + i (c) 6 + i 2. +
3 3 3 2 6
8
3. 10 – i 4. (i) – 1 + i
3
5. (a) (i) 256.5 (ii) 200.25 (b) (i) 26/3 (ii) 26/3 ; No
1 2 2
6. (i) 1 – i (ii) (64i – 103) 7. (i) ;– (ii) 66, – 66
6 3 3
25 4
9. (a) 4 + 8i (b) 4 + i 10. – 1 11.
3 3
− 16
12. 13. (i) 8 – 3πi (ii) 8 + 3πi (iii) 6πi
3
26 1 + 2i 1
14. – 8 (1 + 2i) 15. 12 + i 16. (i) (ii) + 2i.
3 2 2
A domain in which every closed curve can be shrunk to a point without passing out of the
region is called a simply connected domain. If a domain is not simply connected, then it is
called multiply connected domain.
A curve is called simple closed curve if it does not cross itself (Fig. 1). A curve which crosses
itself is called a multiple curve (Fig. 2).
A region is called simply connected if every closed curve in the region encloses points of
the region only, i.e., every closed curve lying in it can be contracted indefinitely without pass-
ing out of it. A region which is not simply connected is called a multiply connected region. In
plain terms, a simply connected region is one which has no holes. Figure 3 shows a multiply
connected region R enclosed between two separate curves C1 and C2. (There can be more than
two separate curves). We can convert a multiply connected region into a simply connected one,
by giving it one or more cuts (e.g. along the dotted line AB).
R2 R
B
R C
R1 C2
C
C1
Statement. If f(z) is an analytic function and f ′(z) is continuous at each point within and on a
simple closed curve C, then
z C
f ( z) dz = 0 .
C
Proof. Let R be the region bounded by the curve C. R
Let f(z) = u (x, y) + iv(x, y), then
z z
C C
zC
f ( z) dz = zz FGHR
−
∂ v ∂u
−
∂x ∂y
IJ
dx dy + i
K zz FGH
R
∂u ∂v
−
∂x ∂y
IJ
dx dy
K ...(2)
Now f(z) being analytic at each point of the region R, by Cauchy-Riemann equations, we
have
∂u ∂v ∂u ∂v
= and =−
∂x ∂y ∂y ∂x
Thus, the two double integrals in (2) vanish.
Hence zC
f ( z) dz = 0.
However Cauchy with the help of Goursat developed the revised form of Cauchy’s
fundamental theorem which states that
“If f(z) is analytic and one valued within and on a simple closed contour C then
Goursat showed that for the truth of the original theorem, the assumption of continuity
z C
f ( z) dz = 0.”
of f ′(z) is unnecessary and Cauchy’s theorem holds if f(z) is analytic within and on C.
Corollary. If f(z) is analytic in a region R and P, Q are two
points in R, then
Pz Q
f ( z) dz is independent of the path joining P
and Q and lying entirely in R.
R
Q
B
Let PAQ and PBQ be any two paths joining P and Q.
By Cauchy’s theorem,
z
A
P
f ( z) dz = 0
z z
PAQBP
⇒ f ( z) dz + f ( z) dz = 0
z z
PAQ QBP
⇒ f ( z) dz − f ( z) dz = 0
z z
PAQ PBQ
Hence f ( z) dz = f ( z) dz.
PAQ PBQ
FUNCTION OF COMPLEX VARIABLE 47
z C1
f(z) dz = z
C2
f(z) dz
A B
C2
C1
when integral along each curve is taken in anti-clockwise
direction.
Proof. z f ( z) dz = 0
where the path of integration is along AB and curve C2 in clockwise direction and along BA
and along C1 in anti-clockwise direction.
z
AB
f ( z) dz + z C2
f ( z) dz + zBA
f ( z) dz + z
C1
f ( z) dz = 0
or zC2
f ( z) dz + z C1
f ( z) dz = 0 ∵ z
AB
f ( z) dz = − zBA
f ( z) dz
z
C1
f ( z) dz = z
C2
f ( z) dz
However if a closed curve C contains non-intersecting closed curves C1, C2, ....., Cn,
then by introducing cross-cuts, it can be shown that
z
C
f ( z) dz = z C1
f ( z) dz + z
C2
f ( z) dz + + z
Cn
f ( z) dz .
C1 C6
C5
C2
C4
C3
48 A TEXTBOOK OF ENGINEERING MATHEMATICS
EXAMPLES
Example 1. Evaluate
Sol.
z C
(x 2 − y 2 + 2ixy) dz , where C is the contour | z | = 1.
f(z) = x2 – y2 + 2ixy = (x + iy)2 = z2 is analytic everywhere within and on | z | = 1.
∴ By Cauchy’s integral theorem, z
C
f ( z) dz = 0.
Example 2. Evaluate zC
y = a(1 – cos θ) between (0, 0) and (2πa, 0).
(3z 2 + 4z + 1) dz where C is the arc of the cycloid x = a(θ – sin θ),
Sol. Here, f(z) = 3z2 + 4z + 1 is analytic everywhere so that the integral is independent
of the path of integration and depends only on the end points z1 = 0 + i0 and z2 = 2πa + i0.
z z L O 2 πa
2 πa
∴
2
(3 z + 4 z + 1) dz = (3 z 2
+ 4 z + 1) dz = M z 3
+ 2z 2
+ zP = 2πa (4π2a2 + 4πa + 1).
C 0 N Q 0
Example 3. Evaluate: z C
2z + 5 2
(z + 2) 3 (z 2 + 4)
dz , where C is the square with vertices at
1 + i, 2 + i, 2 + 2i, 1 + 2i.
2z2 + 5
Sol. Here, f(z) = Y
( z + 2) 3 ( z 2 + 4)
(2 + 2i)
Singularities are given by (1 + 2i)
D E
(z + 2)3 (z2 + 4) = 0
z = – 2 (order 3), ± 2i (simple poles)
C
Since the singularities donot lie inside the contour
C hence by Cauchy’s integral theorem,
z
A B
2z2 + 5 (1 + i) (2 + i)
dz = 0.
C ( z + 2) 3 ( z 2 + 4)
Example 4. Evaluate
z C
(5z 4 − z 3 + 2) dz around
O X
z
C
f ( z) dz = 0
Example 5. Verify Cauchy theorem by integrating eiz along the boundary of the triangle
with the vertices at the points 1 + i, – 1 + i and – 1 – i.
FUNCTION OF COMPLEX VARIABLE 49
Sol. The boundary of triangle C consists of three lines C1, C2 and C3. So,
I= z
C
e iz dz
= z
C1
e iz dz + z C2
e iz dz + zC3
e iz dz = I1 + I2 + I3 ...(1)
I1 = z
C1
e iz dz =
z1
−1
e i( x + i) dx
= z
1
−1
e (ix − 1) dx
1 e ix F I −1
e − i− 1 − e i− 1
=
e i GH JK 1
=
i
Along C2 : BE: x=–1
z = x + iy = – 1 + iy
∴ dz = i dy
I2 = z
C2
e iz dz = z −1
1
e i( −1+ iy) i dy
= ie
−i
z
1
−1
e − y dy = i e–i − e − y e j −1
1 − i+ 1
= – i (e–i+1 – e–1–i) =
i
e − e −1 − i e j
Along C3 : EA: y = x, z = x + iy = (1 + i) x
∴ dz = (1 + i) dx
I3 = z
C3
e iz dz = z 1
−1
e i(1+ i) x (1 + i) dx
L e OP
= (1 + i) M
i(1+ i) x 1
Fe i− 1
− e − i+ 1 I
N i(1 + i) Q −1
= GH i JK
1 − i−1
From (1), I = I1 + I2 + I3 = e − e i − 1 + e − i + 1 − e −1− i + e i − 1 − e − i + 1 = 0
i
Hence Cauchy’s theorem is verified.
Example 6. Can the Cauchy-integral theorem be applied for evaluating the following
integrals? Hence evaluate these integrals.
(i) z
C
2
e sin z dz; C ≡ |z| = 1 (ii) z
C
tan z dz; C ≡ |z| = 1
(iii) z
C
ez
z2 + 9
dz; C ≡ |z| = 2
50 A TEXTBOOK OF ENGINEERING MATHEMATICS
sin z
The integrand f(z) = e is analytic for all z and f ′(z) is continuous inside C. Hence,
Cauchy integral theorem can be applied.
∴ I=0
(ii) Let I= z
C
tan z dz
sin z π
The integrand f(z) = tan z = is analytic for all z except at the points z = ± ,
cos z 2
3π
± , ...... . All these points lie outside C. Also f ′(z) is continuous inside C. Hence Cauchy
2
integral theorem is applicable.
∴ I=0
(iii) Let I= z
C
ez
z2 + 9
dz
ez
The integrand f(z) = is analytic everywhere except at the points z = ± 3i. These
z2 + 9
points lie outside c and f ′(z) is continuous inside C. Hence Cauchy integral theorem is applica-
ble and I = 0.
ASSIGNMENT
1. (i) State Cauchy-integral theorem for an analytic function. Verify this theorem by integrating
the function z3 + iz along the boundary of the rectangle with vertices +1, –1, i, – i.
( )
(ii) Verify Cauchy’s integral theorem for f (z) = z2 taken over the boundary of a square with vertices
at ± 1 ± i in counter-clockwise direction.
2. Using Cauchy’s integral theorem, evaluate
(iii) cos z
(iv) zn ; n = 0, 1, 2, 3, ...... and C is any simple closed path.
3.
4.
Evaluate: (i)
zC
z2 − z + 1
z−2
dz ; C ≡ |z – 1| =
1
2
(ii)
z
C
1
z2 ( z2 + 9)
dz ; C ≡ 1 < |z | < 2
(i) Verify Cauchy’s theorem for f (z) = z3 taken over the boundary of the rectangle with vertices at
– 1, 1, 1 + i, – 1 + i.
(ii) Verify Cauchy’s theorem by integrating z3 along the boundary of a square with vertices at
1 + i, 1 – i, –1 + i and –1 – i. ( )
5. Evaluate:
(i)
zC
e− z
z+1
dz , where C is the circle |z| =
1
2
(ii)
zC
z2 + 5
z−3
dz , where C is the circle |z| = 1
(iii)
zC
3 z2 + 7 z + 1
z+1
dz , where C is the circle |z + i| = 1
FUNCTION OF COMPLEX VARIABLE 51
(i)
z
C
z3 + z + 1
z2 − 3 z + 2
dz , where C is the ellipse 4x2 + 9y2 = 1
(ii)
z
C
z+4
z2 + 2 z + 5
dz , where C is the circle |z + 1| = 1
(iii)
z
z2 − z + 1
z−1
dz , where C is the circle |z| =
1
2
z
C
dz
7. Evaluate I = around a triangle with vertices at (0, 0), (1, 0) and (0, 1).
C z−2
9.
10.
Evaluate
z
( z + π) 3
C
e3iz
dz , where C is the circle |z – π| = 3.2. ( )
(i) Verify Cauchy’s theorem for the function f(z) = 3z2 + iz – 4 along the perimeter of square with
vertices 1 ± i, –1 ± i. ( )
(ii) Verify Cauchy’s theorem for the function f(z) = 4z2 + iz – 3 along the positively oriented
square with vertices (1, 0), (– 1, 0), (0, 1) and (0, – 1). ( )
(iii) Verify Cauchy’s theorem for f(z) = z2 + 3z + 2 where c is the perimeter of square with vertices
1 ± i, – 1 ± i. ( )
Answers
2. 0 in all cases 3. (i) 0 (ii) 0
5. (i) 0 (ii) 0 (iii) 0
6. (i) 0 (ii) 0 (iii) 0
7. 0 8. 0 9. 0.
Statement. If f(z) is analytic within and on a closed curve C and a is any point within C, then
f(a) =
1
2πi z
C
f ( z)
z−a
dz .
f ( z)
Proof. Consider the function , which is analytic at every
z−a C
point within C except at z = a. Draw a circle C1 with a as centre
f ( z) C1
and radius ρ such that C1 lies entirely inside C. Thus is
z−a
analytic in the region between C and C1. aρ
∴ By Cauchy’s theorem, we have
z C
f ( z)
z−a
dz = z
C1
f ( z)
z−a
dz ...(1)
52 A TEXTBOOK OF ENGINEERING MATHEMATICS
∴ zC1
f ( z)
z−a
dz = z 0
2π f (a + ρe iθ )
ρe iθ
. iρe iθ dθ = i z
0
2π
f (a + ρe iθ ) dθ
0
f (a + ρe iθ ) dθ
z C
f ( z)
z−a
dz = i z0
2π
f (a) dθ = if (a) z 2π
0
dθ = 2πif (a)
Hence f(a) =
1
2πi zC
f ( z)
z−a
dz
⇒ zC
f (z)
z−a
dz − z
γ
f (a)
z−a
dz = zγ
f ( z ) − f (a)
z−a
dz
⇒ zC
f (z)
z−a
dz − f ( a ) z γ
dz
z−a
= zγ
f ( z ) − f (a)
z−a
dz
⇒ z C
f (z)
z−a
dz − 2πif ( a ) = z
γ
f ( z ) − f (a)
z−a
dz ∵ z γ
dz
z−a
= 2 πi
since|z − a |= r on γ
⇒ zC
f (z)
z−a
dz − 2πif ( a ) = z γ
f ( z ) − f (a)
z−a
dz
≤ z γ
|f ( z ) − f ( a )|
|z − a |
|dz |
≤
ε
ε
r γ
| dz| z ∵ f ( z) is continuous at z = a
∴ | f ( z) − f (a)|< ε
≤ . 2πr and| z − a|= r for z on γ
r
≤ 2πε → 0 as ε → 0
⇒ z C
f ( z)
z−a
dz – 2πif(a) = 0
⇒ f(a) =
1
2πi z
C
f ( z)
z−a
dz
FUNCTION OF COMPLEX VARIABLE 53
If a function f(z) is analytic in a region D, then its derivative at any point z = a of D is also
analytic in D and is given by
f ′(a) =
1
2πi z C
f(z)
(z − a) 2
dz
f(a) =
1
2πi zC
f ( z)
z−a
dz
f(a + h) =
1
2πi zC
f ( z)
z−a−h
dz
∴ f(a + h) – f(a) =
1
2πi z RST
C
1
−
1
z−a−h z−a
f ( z) dz =
h
2πi
UV
W z
C
f ( z) dz
( z − a − h) ( z − a)
⇒
f (a + h) − f (a)
h
=
1
2πi zC
f ( z) dz
( z − a − h) ( z − a)
Take limit as h → 0
Lt
h→0
f (a + h) − f (a)
h
= Lt
1
h → 0 2πi z C
f ( z) dz
( z − a − h) ( z − a)
⇒ f ′(a) =
1
2πi zC
f ( z)
( z − a) 2
dz ...(1)
Since a is any point of the region D, so by (1) it is clear that f ′(a) is analytic in D. Thus,
the derivative of an analytic function is also analytic.
1.26 THEOREM
If a function f(z) is analytic in a domain D, then at any point z = a of D, f(z) has derivatives of
all orders, all of which are again analytic functions in D, their values are given by
f n(a) =
n!
2πi z f(z)
C (z − a) n + 1
dz
f m(a) =
m!
2πi z C
f ( z)
( z − a) m + 1
dz is true.
⇒
f m (a + h) − f m (a) m ! 1
h
=
2 πi h
LM
N zC
f ( z) dz
( z − a − h) m+1
− z
C
f ( z) dz
( z − a) m+1
UV
W
54 A TEXTBOOK OF ENGINEERING MATHEMATICS
R|F h I U
=
m! 1
. .
2 πi h z
C
1
( z − a) m + 1
S|GH 1 − z − a JK − 1|V| f ( z) dz
T
− ( m + 1)
W
=
m! 1
. .
2πi h z
C
1
( z − a) m +1
R|S(m + 1) h + (m + 1) (m + 2) h
|T z−a 2!
2
( z − a) 2
+
U|V f (z) dz
|W
Take limit as h → 0
lim
h→0
f m (a + h) − f m (a) (m + 1) !
h
=
2πi z
f ( z)
C ( z − a) m + 2
dz
⇒ f m+1(a) =
(m + 1) !
2πi z
f ( z)
C ( z − a) m + 2
dz
Hence the theorem is true for n = m + 1 if the theorem is true for n = m. But we know by
Cauchy’s Integral formula for the derivative of a function that the theorem is true for n = 1.
Hence the theorem must be true for n = 2, 3, 4, ...... and so on i.e., for all +ve integral values
of n. Thus,
f n(a) =
n!
2 πi z C
f ( z)
( z − a) n + 1
dz ...(1)
Since a is any point of the region D, so by (1) it is clear that f n(a) is analytic in D. Thus
the derivatives of f(z) of all orders are analytic if f(z) is analytic.
Thus, if a function of a complex variable has a first derivative in a simply connected
region, all its higher derivatives exist in that region. This property is not exhibited by the functions
of real variables.
FUNCTION OF COMPLEX VARIABLE 55
EXAMPLES
Example 1. Evaluate zC
e− z
z+1
dz , where C is the circle | z | = 2
z C
e− z
z+1
dz = 2πi(e–z)z= –1 = 2πie.
Sol. Pole is given by z = 0. The given ellipse encloses the simple pole.
∴ By Cauchy’s integral formula,
z z
cos z
C
dz = 2πi (cos z)z=0 = 2πi.
C z
sin πz 2 + cos πz 2
(z − 1)(z − 2)
where C is the circle | z | = 3.
dz
(ii) Evaluate:
z C
sin πz + cos πz
(z − 1) (z − 2)
dz, where C is the circle | z | = 4.
= 2πi
LM sin πz + cos πz OP + 2πi LM sin πz + cos πz OP
2 2 2 2
N z−2 Q N z−1 Q
z= 1 z=2
= 2πi
LM sin πz + cos πz OP + 2πi LM sin πz + cos πz OP
N z−2 Q N z−1 Q
z=1 z=2
= 2πi M
L − 1OP + 2πi L 1O = 2πi + 2πi = 4πi
N − 1Q MN 1PQ
Example 4. (i) Evaluate the following integral using Cauchy Integral formula
zC
4 − 3z
z (z − 1)(z − 2)
dz , where C is the circle | z | = 3/2.
zC
z
z 2 − 3z + 2
dz, where C is the circle z − 2 =
1
2
.
Sol. (i) Poles of the integrand are z = 0, 1, 2. These are simple poles.
3 3
Given circle | z | = with centre at z = 0 and radius encloses two poles z = 0 and z = 1.
2 2
4 − 3z 4 − 3z
∴ z C
4 − 3z
z ( z − 1) ( z − 2)
dz = z C1
( z − 1) ( z − 2)
z
dz + z C2
z ( z − 2)
( z − 1)
dz
= 2πi
LM 4 − 3z OP + 2πi
LM 4 − 3z OP = 2πi.
N (z − 1) (z − 2) Q z=0 N z (z − 2) Q z= 1
FG z IJ
H z − 1K dz = 2πi LM z OP
zC 2
z
z − 3z + 2
dz = zC z−2 N z − 1Q z=2
= 2πi
FG 2 IJ = 4πi
H 1K
Example 5. Evaluate by Cauchy’s integral formula
zC
dz
z( z + πi)
, where C is | z + 3i | = 1
FUNCTION OF COMPLEX VARIABLE 57
2πi
= =–2
− πi
Example 6. Evaluate zC
z2 + 1
z2 − 1
dz where C is circle,
F z + 1I2
= 2πi GH z + 1 JK z= 1
= 2πi | By Cauchy’s Integral formula
58 A TEXTBOOK OF ENGINEERING MATHEMATICS
z
C
z2 + 1
z2 − 1
dz = 0.
zC
e zt
z2 + 1
dz = 2πi sin t if t > 0 and C is the circle |z| = 3.
(ii) Evaluate the following complex integration using Cauchy’s integral formula
z
C
3z 2 + z + 1
(z 2 − 1)(z + 3)
dz where C is the circle | z | = 2
Fe I zt Fe I zt
= 2πi GH z + i JK z=i
+ 2πi GH z − i JK z=−i
= π (eit – e– it) = 2πi sin t
∴ zC
2
3z + z + 1
( z 2 − 1)( z + 3)
dz = z
C1
T ( z + 1)(
z−1
z + 3)
z
W dz + T (z − 1)(z + 3) W dz
C2 z+1
= 2πi
LM 3z + z + 1 OP + 2πi LM 3z + z + 1 OP
2 2
− 1± i 3
⇒ z = 1, O
z=1 X
2
Singularities are of second order.
The circle | z – 1 | = 1 has centre at z = 1 and
radius 1. Clearly, only z = 1 lies inside the circle
|z–1|=1
RS 1 UV
Now, zC
dz
( z − 1) 2
3 = zC
T (z 2
+ z + 1) 2
( z − 1) 2
W dz
LM R
2πi d 1 UVOP Using Cauchy's Integral
=
MN TS
1 ! dz ( z + z + 1) 2
2
WPQ formula for derivatives
z=1
L − 2 (2 z + 1) OP = – 4πi FG 3 IJ = – 4πi
= 2πi M
N (z + z + 1) Q 2 H 27 K 93
z=1
Example 9. Evaluate: zC
ez
(z 2 + π 2 ) 2
dz, where C is | z | = 4.
∴ zC
ez
(z2 + π 2 ) 2
dz = z C1
T (z + πi) W dz + T (z − πi) W dz
( z − πi) 2
2
zC2 ( z + πi) 2
2
LM d R e UOP z LM d R e z UVOP
= 2πi
MN dz ST ( z + πi) VWPQ 2
z = πi
+ 2πi
MN dz ST ( z − πi) 2
WPQ z = − πi
= 2πi
LM e z
( z + πi − 2) OP + 2πi
LM e z
( z − πi − 2) OP
N ( z + πi) 3 Q z = πi N ( z − πi) 3 Q z = − πi
FG πi − 1IJ + FG πi + 1IJ = i .
=
H 2π K H 2π K π
2 2
60 A TEXTBOOK OF ENGINEERING MATHEMATICS
zC
e 2z
(z + 1) 4
dz where C is the circle | z | = 2.
Sol. The integrand has a singularity at z = – 1 which lies within the circle | z | = 2.
z
C
e2 z
( z + 1) 4
dz =
2πi d 3 2 z
3 ! dz 3
RS
(e )
T
UV
W z =−1
=
πi
3
8πi
(8e2z)z = –1 = 2 .
3e
1
(i) C ≡ z + =2 (ii) C ≡ | z + i | = 1.
z
Sol. Poles of the integrand are given by
z2 + 1 = 0 ⇒ z=±i
Integrand has two simple poles z = i and z = – i
(i) The given curve is Y
1
z+ =2 C1 ≡ | z – i | = 2
z 2
1
⇒ x + iy + =2 i
x + iy
O
x 2 – y 2 + 2ixy + 1 X
⇒ =2
x + iy
C2 ≡ | z + i | = 2
⇒ (x2 – y2 + 1)2 + 4x2y2 = 4x2 + 4y2 –i
z C 2
z +1
z
dz = zC1 z +12
z
dz + z C2 2
z +1
z
dz
FG z IJ FG z IJ
= zH C1
z+i
z−i
dz +
K
zC2
H z − i K dz
z+i
= 2πi
FG z IJ + 2πi
FG z IJ
H z + iK z=i
H z + iK z=−i
FUNCTION OF COMPLEX VARIABLE 61
FG z IJ C≡|z+i|=1
zC
z
z2 + 1
dz = z C
H z − i K dz
z+i (0, –1) z=–i
= 2πi
FG z IJ
H z − iK z=−i
= πi | By Cauchy Integral formula
z C
z−1
( z + 1) 2 ( z − 2)
dz , where C is |z – i| = 2.
zC
z−1
( z + 1) 2 ( z − 2)
dz = z
C
H z − 2 K dz
( z + 1) 2
=
RS FG
2πi d z − 1 IJ UV
T H
1 ! dz z − 2 KW z=−1
R −1
= 2πi S
UV =–
2πi
.
T (z − 2) 2
W z =−1
9
ASSIGNMENT
1. Evaluate
zC
z2 + 5
z−3
dz , where C is the circle | z | = 4.
2. Evaluate
zC
2
ez
z +1
dz over the circular path | z | = 2.
3. Evaluate
zC
3 z2 + 7 z + 1
z+1
dz , where C is the circle | z | = 1.5.
62 A TEXTBOOK OF ENGINEERING MATHEMATICS
4.
5.
Evaluate
cos z
z−π zdz , where C is the circle | z – 1 | = 3.
C
Evaluate the complex integration
(i)
zC
|RS cos πz + sin πz |UV dz where C is the circle | z | = 3.
2
T| ( z + 1)( z + 2) |W
2
(ii)
zC
sin πz2 + cos πz2
( z − 1) ( z − 3)
dz where C: |z| = 2 (
6. (i) Evaluate zz dz
( z − 1)( z − 3)
(a) | z | = 3
C
, where C is the circle
(b) | z | = 3/2.
(ii) Evaluate
ez
z
C ( z − 1)( z − 4)
dz , where C is the circle | z | = 2.
z C
exp ( iπz )
( 2z 2 − 5z + 2 )
dz
where C is the unit circle with centre at origin and having positive orientation.
7. (i) Evaluate
z C
ez
z( z + 1)
1
dz , where C is the circle | z | = .
4
(iii) Evaluate z C
2z + 1
2
z +z
dz where C is | z| =
1
2
.
8. Evaluate
z
z2 − 1
(a) 2 ± i, – 2 ± i
C
cos πz
dz around a rectangle with vertices
(b) – i, 2 – i, 2 + i, i.
ez
9. Integrate 2
around the contour C, where C is
z +1
(i) | z – i | = 1 (ii) | z + i | = 1
z
dz = 2πi, C ≡ | z | = 1. Hence show that
z0
2π
ecos θ cos (sin θ) dθ = 2π and
z 2π
0
ecos θ sin (sin θ) dθ = 0
11. Evaluate
z
z2 + 9
C
(i) | z – 3i | = 4
dz
, where C is
(ii) | z + 3i | = 2 (iii) | z | = 5
FUNCTION OF COMPLEX VARIABLE 63
12. Evaluate:
(i) z
C
2
z+4
z + 2z + 5
dz ; C ≡ | z + 1 – i | = 2 (ii)
z
C
z3 − 6
2z − i
dz ; C ≡ | z | = 1
(iii)
z
C
tan z
z2 − 1
dz ; C ≡ | z | = 3/2 (iv) z C
2 z2 + z
z2 − 1
dz ; C ≡ | z – 1 | = 1.
(i)
z
C
cos 2πz
(2 z − 1) ( z − 3)
dz; C ≡ | z | = 1 (ii) z
C
z 4 − 3 z2 + 6
( z + i)3
dz; C ≡ | z | = 2
(iii)
z
C
cosh z
z4
dz; C ≡ | z | = 1/2
15. Evaluate
z FGH
C
sin 2 z
z−
π
6
IJ
K
3
dz , where C is the circle | z | = 1.
(ii) Evaluate:
zC
dz
z 2 ( z 2 − 4) e z
, where C ≡ | z | = 1. (
18. Evaluate z C
1
ez
z (1 − z)3
dz, where C is
1
(i) | z | = (ii) | z – 1 | = (iii) | z | = 2
2 2
sin 2 z
19. Integrate around the contour C, where C is a rectangle with vertices at 3 ± i, – 2 ± i.
( z + 3) ( z + 1)2
20. Evaluate:
(i) | z | = 3
z C
z3 − z
( z − 2)3
dz, where C is
(ii) | z – 2 | = 1 (iii) | z | = 1
21. Using Cauchy-integral formula, evaluate:
(i)
z
C
cos z
( z − πi) 2
dz; C≡|z|=5 (ii)
z
C
ez
z3
dz ; C≡|z|=1
(iii) z
C
ez
( z − 1) ( z2 + 4)
2 dz; C≡|z–1|=
1
2
(iv)
z
C
e zt
( z 2 + 1) 2
dz; C ≡ | z | = 3, t > 0.
64 A TEXTBOOK OF ENGINEERING MATHEMATICS
22. Evaluate
z
sin z
z2 − iz + 2
(i) | z + 2 | = 2
C
dz, where C is
24.
(i)
z e z + sin πz
( z − 1) ( z − 3)2 ( z + 4)
C
Show that
dz, C≡|z|=2 (ii)
z
C
z+1
z2 − 9
dz; C ≡ | z + 3 | = 1
(i)
zC
2
dz
( z + 4) 2
=
π
16
; C≡|z–i|=2
(ii) zC
2
ez
z ( z + 1) 3
dz =
FG 11 − 4IJ πi ; C ≡ | z | = 2
He K
(iii)
zC
dz
( z 2 + 4) 3
= 0; C ≡ | z – 1 | = 4
25. Evaluate
z C
z
( z − 6 z + 25)2
2
dz by Cauchy integral formula, where C is | z – 3 – 4i | = 4.
Evaluate P(z).
z P( z )
z
dz =
z
C
P( z )
z 2
dz =
z
C
P( z )
z3
dz = 2πi where C is the circle | z | = 1.
27. If f(ξ) =
f ″(1 – i).
z C
3z 2 + 7z + 1
z−ξ
dz, where C is the circle x2 + y2 = 4, find the values of f(3), f ′(1 – i) and
28. Evaluate:
zC
(1 + z) sin z
(2 z − 3) 2
dz, where C ≡ | z – i | = 2 counter-clockwise. (
Answers
1. 28πi 2. 2πi sin 1 3. – 6πi 4. – 2πi
5. (i) – 4πi (ii) πi
2 2π
6. (i) (a) 2πi (b) – πi (ii) – πie (iii) 2πi (e4 – e2) (iv)
3 3
7. (i) 2πi (ii) 0 (iii) 2πi
8. (a) 0 (b) – πi
9. (i) π(cos 1 + i sin 1) (ii) – π(cos 1 – i sin 1)
π π
11. (i) (ii) – (iii) 0
3 3
π π
12. (i) (3 + 2i) (ii) – 6πi (iii) 2πi tan 1 (iv) 3πi
2 8
13. (i) 2πi (ii) – 2πi (iii) 0
2πi
14. (i) (ii) – 18πi (iii) 0 15. πi
5
4 πi
16. (i) 4πie2 (ii) 2
3e
FUNCTION OF COMPLEX VARIABLE 65
πi
17. (i) 72πi (ii) –
2
18. (i) 2πi (ii) – πie (iii) πi (2 – e)
πi
19. (4 cos 2 + sin 2) 20. (i) 12πi (ii) 12πi (iii) 0
2
6πe
21. (i) 2π sinh π (ii) πi (iii) (iv) πi (sin t – t cos t)
25
2πi 2πi
22. (i) 0 (ii) sinh 2 (iii) (sinh 2 + sinh 1)
3 3
πie 2πi 3π
23. (i) (ii) 25. .
10 3 128
26. P(z) = 1 + z + z2 27. f(3) = 0, f ′(1 – i) = 2π(6 + 13i), f ″(1 – i) = 12πi
28.
πi 5 FG3
cos + sin
3 IJ
2 2 H2 2 K
1.28 REPRESENTATION OF A FUNCTION BY POWER SERIES
∞ ∞
A series of the form ∑a z n
n
or ∑a
n=0
n (z − a) n whose terms are variable is called a power
n=0
series, where z is a complex variable and an, a are complex constants. The second form can be
reduced to first form merely by substitution z = ζ + a or by changing the origin.
Every complex function f(z) which is analytic in a domain D can be represented by a
power series valid in some circular region R about a point z0. Both the circular region R and
the point z0 lie inside D. Such a power series is Taylor’s series. If f(z) is not analytic at a point
z0, we can still expand f(z) in an infinite series having both positive and negative powers of
z – z0. This series is called the Laurent’s series.
If f(z) is analytic inside a circle C with centre at a, then for all z inside C,
(z − a) 2 (z − a)n n
f(z) = f(a) + (z – a) f ′(a) + f ″ (a) + + f (a) + ⋅⋅⋅
2! n!
Or
∞
f (n) (a)
f(z) = ∑
n =0
an (z − a) n , where an =
n!
.
Proof. Let z be any point inside the circle C. Draw a circle C1 with C
centre at a and radius smaller than that of C such that z is an w
interior point of C1. Let w be any point on C1, then
z−a
|z–a|<|w–a| i.e., <1 z
w− a C1 a
Now,
1
=
1
=
1
1−
z−a LM OP −1
w − z (w − a) − ( z − a) w − a w− a N Q
66 A TEXTBOOK OF ENGINEERING MATHEMATICS
z−a
Expanding RHS by binomial theorem as < 1, we get
w− a
1 1 z−aLM z−a FG IJ 2
F z − a IJ n OP
= 1+ + + +G + ...(1)
w− z w− a w− aMN w− a H K H w − aK PQ
z−a
This series converges uniformly since < 1. Multiplying both sides of eqn. (1) by
w− a
1
f (w) and integrating term by term w.r.t. w, over C1, we get
2πi
1
z f (w)
2πi C1 w − z
dw =
1 f (w)
2πi C1 w − a z
dw +
z−a f (w)
2πi C1 (w − a) 2
dw +
2πi z
( z − a) 2
z f (w)
C 1 (w − a) 3
dw
+ ⋅⋅⋅ +
( z − a) n
2πi z
C1
f (w)
(w − a) n + 1
dw + ⋅⋅⋅ ...(2)
( z − a) 2 ( z − a) n n
⇒ f(z) = f(a) + (z – a) f ′(a) + f ″ (a) + ⋅ ⋅ ⋅ + f (a) + ⋅⋅⋅ ...(3)
2! n!
If f(z) is analytic inside and on the boundary of the annular (ring shaped) region R bounded by
two concentric circles C1 and C2 of radii r1 and r2 (r1 > r2) respectively having centre at a, then
for all z in R,
∞ ∞
f(z) = ∑ an (z – a)n + ∑ b (z − a)
n=1
n
−n
n=0
where, an =
1
2πi z C1
f(w)
(w − a)n +1
dw ; n = 0, 1, 2, ...
and bn =
1
2πi z
(w − a) − n +1
C2
f(w)
dw ; n = 1, 2, 3, ...
Proof. Let z be any point in the region R, then by Cauchy’s integral formula for double connected
region, we have
f(z) =
1
2πi 1 w − z
C z
f (w)
dw −
1 f (w)
2πi 2 w − z
C
dw z ...(1)
FUNCTION OF COMPLEX VARIABLE 67
Now
1
=
1
=
1
1−
z−a FG IJ −1 r1 a
r2
w − z (w − a) − ( z − a) w − a w− a H K
LM FG IJ 2 O R
+ ⋅ ⋅ ⋅P
1 z−a z−a
= 1+ +
w− a w− a MN
w− a H K PQ
1
Multiplying both sides by f (w) and integrating term by term w.r.t. w, along the
2πi
circle C1, we get
1
2πi z f (w)
C1 w − z
dw =
1
2πi z f (w)
C1 w − a
dw +
z−a
2πi z f (w)
C1 (w − a) 2
dw +
( z − a) 2
2πi z
C1
f (w)
(w − a) 3
dw
+ ⋅⋅⋅
= a0 + a1(z – a) + a2(z – a)2 + ⋅⋅⋅
LM∵
z OP
∞
1 f (w)
= ∑a
n=0
n (z − a) n ...(2)
MN an =
2πi C1 (w − a) n +1
dw, n = 0, 1, 2, ⋅ ⋅ ⋅
PQ
For the second integral in (1), w lies on C2
w− a
∴ | w – a | <| z – a | i.e., <1
z−a
Now
1
=
1
=−
1
1−
w−a FG IJ −1
w − z (w − a) − ( z − a) z−a z−a H K
1 w− a LM
w− a FG IJ 2 OP
=– 1+ + + ⋅⋅⋅
z−a z−a MN
z−a H K PQ
1
Multiplying both sides by – f (w) and integrating term by term w.r.t. w, along the
2πi
circle C2, we get
–
1
2πi z
C2
f (w)
w− z
dw =
1
⋅
1
z − a 2πi z C2
f (w) dw +
( z − a)
1
2
⋅
1
2πi zC2
(w – a) f(w) dw
+
( z − a)
1
3
⋅
1
2πi z
C2
(w – a)2 f(w) dw + ⋅⋅⋅
=
∞
∑ b ( z − a)
n=1
n
−n
...(3)
LM∵
MN bn =
1
2πi zC2
f (w)
(w − a) − n +1
dw, n = 1 , 2, 3, ⋅ ⋅ ⋅
OP
PQ
Substituting from (2) and (3) in (1), we get
∞ ∞
f(z) = ∑
n=0
an ( z − a) n + ∑ b ( z − a)
n=1
n
−n
68 A TEXTBOOK OF ENGINEERING MATHEMATICS
z C1
f (w)
(w − a) n+1
dw =
z
C
f (w)
(w − a) n + 1
dw
and z C2
f (w)
(w − a) − n+1
dw =
z
C
f (w)
(w − a) − n + 1
dw
a
∴ Laurent’s series can be written as
z
C
∞
1 f (w)
f(z) = ∑
n=−∞
an ( z − a) n , where an =
2πi C (w − a) n + 1
dw .
EXAMPLES
1
Example 1. Expand in the region
z 2 − 3z + 2
(a) | z | < 1 (b) 1 < | z | < 2
(c) | z | > 2 (d) 0 < | z – 1 | < 1.
1 1 1 1
Sol. Here f(z) = = = − | Partial Fractions
z2 − 3z + 2 ( z − 1)( z − 2) z − 2 z − 1
(a) When | z | < 1
1 1
f(z) = +
∴
FG z IJ 1− z
− 2 1−
H 2 K
[Arranged suitably to make the binomial expansions valid]
1 zFG IJ −1
1
∑ FGH 2 IJK + ∑
∞
z
n ∞
zn
=–
2
1−
2 H K + (1 – z)–1 = –
2 n=0 n=0
f(z) =
1 1 1FG 2 IJ −1
1 FG
1 IJ −1
∴
FG 2 IJ −
FG 1
JKI
=
z H
1−
z K −
z
1−
H
z K
H
z 1−
z K z 1−
H z
1 1 1
Sol. f(z) = z–2 = 2
= 2
= = [1 – (z + 1)]–2
z [( z + 1) − 1] [1 − ( z + 1)]2
= 1 + 2(z + 1) + 3(z + 1)2 + 4(z + 1)3 + ⋅⋅⋅
[By binomial theorem, since | z + 1 | < 1]
∞
=1+ ∑ (n + 1)( z + 1)
n=1
n
.
π
Example 3. Expand cos z in a Taylor’s series about z = .
4
Sol. Here f(z) = cos z, f ′(z) = – sin z, f ″(z) = – cos z, f ″′(z) = sin z, ...
FG π IJ = 1 FG π IJ = − 1 FG π IJ = − 1 FG π IJ = 1
∴ f
H 4K 2
, f′
H 4K 2
, f″
H 4K 2
, f ″′
H 4K 2
, ...
F πI F πI F πI H 4K F πI H 4K FG π IJ + ...
= f G J + Gz − J f ′ G J +
H 4 K H 4 K H 4 K 2 ! f ″ GH 4 JK + 3 ! f ″′
H 4K
1 L F π I 1 FG z − π IJ + 1 FG z − π IJ + ⋅ ⋅ ⋅OP 2 3
= M
2 MN
1 − Gz − J −
H 4 K 2 ! H 4 K 3 ! H 4 K PQ
sin z
Example 4. Expand the function about z = π.
z−π
Sol. Putting z – π = t, we have
sin z sin (π + t) − sin t 1 t3 t5 F I
z−π
=
t
=
t
=–
t
t− +
3! 5!
⋅⋅⋅ GH JK
t2 t4 ( z − π) 2 ( z − π) 4
= −1+ − + ⋅⋅⋅ = − 1 + − + ⋅⋅⋅
3! 5! 3! 5!
70 A TEXTBOOK OF ENGINEERING MATHEMATICS
z
Example 5. Expand f(z) = about z = – 2.
(z + 1)(z + 2)
Sol. To expand f(z) about z = – 2, i.e., in powers of z + 2, we put z + 2 = t.
z t−2 2−t 2−t
∴ f(z) = = = = (1 – t)–1
( z + 1)( z + 2) (t − 1) t t(1 − t) t
2−t
= (1 + t + t2 + t3 + ⋅⋅⋅) for 0 < | t | < 1
t
1 2
= (2 + t + t2 + t3 + ⋅⋅⋅) = + 1 + t + t2 + ⋅⋅⋅
t t
2
= + 1 + (z + 2) + (z + 2)2 + ⋅⋅⋅ for 0 < | z + 2 | < 1
z+2
which is Laurent’s series.
Example 6. Expand the following function in a Laurent’s series:
ez 1
(i) f(z) = about z = 1. (ii) f(z) = for | z – 1 | < 1
(z − 1) 2 z(z − 1) (z − 2)
ez
Sol. (i) f(z) =
( z − 1) 2
Put z – 1 = t then z=1+t
e 1+ t
e LM1 + t + t + t + ⋅ ⋅ ⋅OP = e L 1 + 1 + 1 + t + ⋅ ⋅ ⋅O
2 3
∴ f(z) =
t2
=
t2 MN 1 ! 2 ! 3 ! PQ MN t t 2 ! 3 ! PQ 2
=e
LM 1 +
1
+
1
+
z−1 O
+ ⋅ ⋅ ⋅P .
MN (z − 1) 2
z −1 2! 3! PQ
1 1 1 1
(ii) f(z) = = − + |Partial fractions
z ( z − 1) ( z − 2) 2 z z − 1 2 ( z − 2)
1 1 1
= − +
2 ( z − 1 + 1) z − 1 2 ( z − 1 − 1)
1 1 1
= {1 + (z – 1)}–1 − − {1 – (z – 1)}–1 |∵ |z – 1| < 1
2 z−1 2
∞ ∞
1 1 1
=
2 ∑
n=0
(− 1) n ( z − 1) n − −
z−1 2 ∑ (z − 1)
n=0
n
Sol. f(z) =
1 − cos z 1
= 3 1− 1−
z2 z4
+
LM
− ⋅⋅⋅
|RS |UVOP
z 3
z 2! 4! MN |T |WPQ
1 F z − z + z – ⋅ ⋅ ⋅I = 1 − 1 z + 1 z
2 4 6
=
z3
GH 2 ! 4 ! 6 ! JK 2 ! z 4 ! 6 ! 3 – ⋅⋅⋅
FUNCTION OF COMPLEX VARIABLE 71
1
Example 8. Find the terms in the Laurent’s expansion of for the region
z(e z − 1)
0 < | z | < 2π.
1 1
Sol. f(z) = =
z
z(e − 1) LM
z 1+ z +
z
+
2
z3
+ ... − 1
OP
MN 2! 3! PQ
F z + z + ...I = z F1 + z + z + ...I
2 3 −1 2 −1
= z–1 z + GH 2 ! 3 ! JK GH 2 ! 3 ! JK
–2
LM F z z z z I 1 F z z I
2 3 4 2 2
1 F z I z (1 + ...) + ...OP
− z G 1 + + ...J +
3
3 4
4
8 H 3 K 16 PQ
= z–2
LM1 − z + z FG 1 − 1IJ − z FG 1 − 1 + 1 IJ
2 3
N 2 H 4 6 K H 8 6 24 K
+z G
F 1 − 1 + 1 + 1 − 1 IJ + ...OP
H 16 8 24 36 120 K Q
4
= z–2
LM1 − z + z − z + ...OP = z – 1 z + 1 − z + ...
2 4
–2 −1
2
MN 2 12 720 PQ 2 12 720
1
The singularities of are given by z = 0, ez = 1 i.e., z = 0, ± 2πi, ± 4πi, ....... .
z
z(e − 1)
Hence the above expansion is valid for the region 0 < | z | < 2π.
Example 9. Using Taylor’s theorem, show that:
(z − 1) 2 (z − 1) 3
log z = (z – 1) – + – ... where | z – 1 | < 1.
2 3
Sol. f(z) = log z, f(1) = 0 |∵ a = 1 and log 1 = 0
1
Now, f ′(z) = , f ′(1) = 1
z
1
f ″(z) = – 2 , f ″(1) = – 1
z
2
f ″′(z) = 3 , f ″′(1) = 2
z
−6
f (iv) (z) = 4 , f (iv) (1) = – 6 and so on.
z
We know that,
( z − a) 2 ( z − a) 3
f(z) = f(a) + (z – a) f ′(a) + f ″ (a) + f ″′(a) + ⋅⋅⋅
2! 3!
( z − 1) 2 ( z − 1) 3
= f(1) + (z – 1) f ′(1) + f ″ (1) + f ″′(1) + ⋅⋅⋅
2! 3!
72 A TEXTBOOK OF ENGINEERING MATHEMATICS
( z − 1) 2 ( z − 1) 3
= 0 + (z – 1) (1) + (– 1) + (2) + ⋅⋅⋅
2! 3!
( z − 1) 2 ( z − 1) 3
= (z – 1) – + – ⋅⋅⋅
2 3
Example 10. Find the Taylor’s or Laurent’s series which represent the function
1
2
when
(1 + z )(z + 2)
(i) | z | < 1 (ii) 1 < | z | < 2 (iii) | z | > 2.
1
∑
∞
(− 1) n
FG z IJ n
2− z
∞
∑ (− 1) n
z2n
=
10 0
H 2K +
5 0
This is a series in positive powers of z, so it is an expansion of f(z) in a Taylor’s series
within the circle | z | = 1.
∞ ∞
1 1 1 FG IJ −1
2− z 1 1 FG IJ −1
f(z) = .
5 2
1+ z
2 H K +
5
. 2 1+ 2
z z H K
1
∑
∞
(– 1) n
FG z IJ n
2– z
∑
∞
(– 1) n
FG 1 IJ n
=
10 0
H 2K +
5 z2 0
Hz K2
1 1 2 FG IJ –1
1 1 1 FG IJ –1
f(z) = .
5 z
1+
z H K –
5
( z – 2) 2 1 + 2
z z H K
1
∑ (− 1) FGH z IJK
∞
2 n
n
FG
1 1 2 IJ ∑ (− 1) FG 1 IJ
∞
n
n
=
5z 0
−
H−
5 z z2 K 0
Hz K 2
This is Laurent’s series within the annulus 2 < | z | < R, where R is large.
Example 11. Find the Taylor’s and Laurent’s series which represent the function
z2 − 1
when
(z + 2)(z + 3)
(i) | z | < 2 (ii) 2 < | z | < 3 (iii) | z | > 3.
FUNCTION OF COMPLEX VARIABLE 73
z2 − 1 3 8
Sol. Let f(z) = =1+ − .
( z + 2)( z + 3) z+2 z+3
(i) | z | < 2
3 FG
z IJ −1
8 FG
z IJ −1
f(z) = 1 +
2
1+
2H K −
3
1+
H
3 K
3
∑
∞
(− 1) n
FG z IJ n
8
∑
∞
(− 1) n
FG z IJ n
=1+
2 0
H 2K −
3 0
H 3K
It is a Taylor’s series within a circle | z | = 2.
(ii) 2 < | z | < 3
3 2 8FG z IJ −1
FG IJ −1
f(z) = 1 +
z
1+
z
−
3 H
1+
3 K H K
| Arranging suitably to make the binomial expansion valid for 2 < | z | < 3
3
∑
∞
(− 1) n
FG 2 IJ n
8
∑
∞
(− 1) n
FG z IJ n
=1+
z 0
H zK −
3 0
H 3K
It is a Laurent’s series within the annulus 2 < | z | < 3.
(iii) | z | > 3
3 FG
2 IJ −1
8 FG
3 IJ −1
f(z) = 1 +
z
1+
H
z K −
z
1+
H
z K
3
∑
∞
(− 1) n
FG 2 IJ n
8
∑
∞
(− 1) n
FG 3 IJ n
=1+
z 0
H zK −
z 0
H zK
It is a Laurent’s series within the annulus 3 < | z | < R, where R is large.
1
Example 12. Expand in the regions
(z + 1)(z + 3)
(i) | z | < 1 (ii) 1 < | z | < 3
(iii) | z | > 3 (iv) 1 < | z + 1 | < 2.
Sol. f(z) =
1
=
1 1
−
1 LM OP
( z + 1)( z + 3) 2 z + 1 z + 3 N Q
(i) | z | < 1
1 LM
(1 + z) −1 −
1 z FG IJ OP = 1 LM∑ (− 1)
−1 ∞
n
zn −
1
∞
∑ (− 1) n
FG z IJ OP
n
f(z) =
2 MN 3
1+
3 H K PQ 2 MN 0
3 0
H 3 K PQ
It is a Taylor’s series within a circle | z | = 1.
(ii) 1 < | z | < 3
1 1 LM FG
1 IJ −1
1 FG
z IJ −1 OP
MN H K H K
f(z) = . 1+ − 1+
2 z z 3 3 PQ
LM (− 1) F 1I
1 1
∞ n
1
∞
FG z IJ OP
n
=
2 zMN ∑ GH z JK n
−
3 ∑ (− 1) n
H 3 K PQ
0 0
It is a Laurent’s series within the annulus 1 < | z | < 3.
74 A TEXTBOOK OF ENGINEERING MATHEMATICS
(iii) | z | > 3
LM FG IJ − 1 FG 1 + 3 IJ OP
1 1 1
−1 −1
MN H K z H z K PQ
f(z) = 1+
2 z z
1 L1 F 1I 1 F 3I O
∞ n ∞ n
= M ∑ (− 1) G J − ∑ (− 1) G J P n n
2 MN z H zK z
0
H z K QP 0
f(z) =
1 1 LM
−
1
=
1 1
−
1 OP LM OP
N
2 z+1 z+3 2 u u+2 Q N Q
1
.
2 1 1 u FG IJ −1
1
∑
∞
(− 1) n
FG u IJ n
= =
2 u(u + 2) u(u + 2)
=
2u
1+
2 H K =
2u 0
H 2K
∑ (− 1) FGH 2 IJK
∞ n
1 z+1 n
=
2( z + 1) 0
It is Laurent’s series in the annulus 1 < | z + 1 | < 2.
Example 13. Find the Laurent’s expansion for:
7z − 2
f(z) =
z − z 2 − 2z
3
f(z) = – {1 – (z + 1)}–1 –
3 2 RS FG
z+1 IJ UV −1
−
z+1 3 T H
1−
3 KW
3
∑
( z + 1) n
∞
2
− ∑G
F z + 1IJ
∞ n
=– −
z+ 1 n=0 3 H 3 K
n=0
f(z) =
1 1 IJ
FG −1
3 RS FG IJ UV
2 z+1
−1
z+1
1−
z+1 KH − −
z+1 3T H KW
1−
3
1
∑
FG 1 IJ ∞ n
3 2
− ∑G
F z + 1IJ ∞ n
=
z+1 H z + 1K
n=0
−
z+1 3 H 3 K n=0
FUNCTION OF COMPLEX VARIABLE 75
f(z) =
1
1−
1 FG IJ −1
−
3
+
2
1−
3 FG
IJ −1
z+1 H z + 1K
n=0
z+1 z+1 H z + 1K
n=0
Cº|z–4|=1
f(z) =
1
=
1 1
−
1 LM
=
1 1
−
OP1 LM OP
( z − 1)( z − 3) 2 z−3 z−1 N Q
2 z−4+1 z−4+3 N Q
LM1
{1 + ( z − 4)} −1
1R F z − 4 IJ UV
− S1 + G
−1 OP
=
MN
2 3T H 3 KW PQ
1L FG z − 4 IJ OP
∞ ∞ n
f(z) = M ∑ (− 1)
1
⇒
2M
n
( z − 4) n − ∑ (− 1) n
H 3 K PQ
N n=0
3 n=0
76 A TEXTBOOK OF ENGINEERING MATHEMATICS
=
FG
1 1
−
1 IJ
H
4i z − 2i z + 2i K
1 L 1 1 OP
= M −
4i N ( z + i) − 3i ( z + i) + i Q
1 L− 1 R F z + i IJ UV − 1 RS1 + FG z + i IJ UV OP
−1 −1
= M
4i M 3i T
S 1− G
H 3i K W i T H i K W PQ
N
1 Li FG z + i IJ + i ∑ ( − 1) FG z + i IJ OP
∞ n ∞ n
M ∑ n
N H 3i K H i K
=
4i M 3 n=0 n=0
PQ
1 L1 F z + i IJ + ∑ ( − 1) FG z + i IJ OP
∞ n ∞ n
= M ∑ G n
N H 3i K
4 M3 n=0
H i K PQ
n=0
Example 15. (i) If the function f(z) is analytic and one-valued in | z – a | < R, prove that
for 0 < r < R,
f ′(a) =
1
πr z
0
2π
P( θ ) e − iθ dθ where P(θ) is the real part of (a + reiθ).
1 FG 1 IJ ∞
H
z t−
K
(ii) Prove that: e 2 t
= ∑
n=−∞
J n (z) t n , | t | > 0
where Jn (z) =
1 π
π 0 z
cos (nθ − z sin θ) dθ
∞
= ∑a
0
m r m e miθ ...(1)
FUNCTION OF COMPLEX VARIABLE 77
∞
⇒ f ( z) = ∑a 0
m r m e − miθ ...(2)
Now, z
C
f ( z)
dz
( z − a) n + 1
= z
0
2π ∞
∑a
0
m r m e − miθ
r
re iθ idθ
n + 1 i( n + 1)θ
e
=
∞
∑a
0
m r m− n i z0
2π
e − i ( m + n ) θ dθ
Particularly, z C
f ( z)
dz
( z − a) 2
=0 ...(4)
=
1
2πi z 2π
0
f (a + re iθ ) + f (a + re iθ )
2
r e 2 iθ
re iθ idθ
=
1
2π z 2π
0
2 Re (a + re iθ )
re iθ
dθ |∵ z + z = 2 Re (z)
1 FG
1
=
IJ
1
πr z 2π
0
P(θ) e − iθ dθ where P(θ) = Re (a + reiθ).
z z
1 FG1 IJ 1 FG 1 IJ
where an =
1
e 2
z t−
Ht K dt
and bn =
1
e 2 H
z t−
t K dt
n+1 − n+ 1
2πi C t 2πi C t
where C is any circle with centre as origin.
Taking C ≡ | t | = 1 so that t = eiθ and dt = ieiθ dθ, we get
an =
1
2πi z 2π
0
e2
z
( eiθ − e − iθ ) ie iθ dθ
e( n + 1) iθ
=
1
2π z
0
2π
e iz sin θ e − niθ dθ =
1
2π z0
2π
e − i( nθ − z sin θ) dθ
=
1
2π z
0
2π
cos (nθ − z sin θ) dθ | Since second part vanishes
⇒ an =
1
π zπ
0
cos (nθ − z sin θ) dθ | Using prop. of definite integrals
78 A TEXTBOOK OF ENGINEERING MATHEMATICS
1 1 FG IJ
Clearly, the function e 2
z t−
t H K remains unaltered if t is replaced by –
1
so that
t
bn = (– 1)n an. Therefore,
1 FG 1 IJ ∞ ∞
H
z t−
K
e 2 t
=
n=0
∑ an t n + ∑
n=1
bn t − n
∞ ∞ ∞
= ∑
n=0
an t n + ∑
n=1
(− 1) n an t − n = ∑
n= − ∞
an t n
1 FG 1 IJ ∞
H
z t−
K
Here, an is Jn (z) hence, e 2 t
= ∑
n=−∞
J n ( z) t n
where, Jn (z) =
1
π z π
0
cos (nθ − z sin θ) dθ.
FG IJ ∑ a FGH z IJ
∞
1 n 1
Example 16. Prove that cosh z +
H z K
= a0 +
1
n +
zn K
where an =
1
2π z
0
2π
cosh θ cosh (2 cos θ) dθ.
1 FG IJ
Sol. The function f(z) = cosh z +
z H
is analytic everywhere in the finite part of the
K
plane except at z = 0 i.e., it is analytic in the annulus r ≤ | z | ≤ R where r is small and R is
large. Hence f(z) can be expanded in Laurent’s series in the annulus r < | z | < R. Thus,
FG 1IJ ∑ a z + ∑ b z
∞
n
∞
−n
H
cosh z +
z K
=
0
n
1
n
F 1I
cosh G z + J
FG 1 IJ
H z K dz
z z H K dz
cosh z +
1 1 z
where a = and bn =
n
2πi C z n + 1 2πi C z − n+1
where C is any circle lying in the annulus with origin as centre.
FG 1 IJ
z H K dz
cosh z +
1 z
an =
2πi C z n+1
=
1
2 πi z 0
2π cosh (2 cos θ) ie iθ dθ
e i(n + 1)θ
| Take C as a circle | z | = 1 on which z = eiθ
=
1
2π z 2π
0
cosh (2 cos θ) e–inθ dθ
=
1
2π z 2π
0
cosh (2 cos θ) cos nθ dθ ∵ z0
2π
cosh (2 cos θ) sin nθ dθ = 0
FUNCTION OF COMPLEX VARIABLE 79
bn = a–n
=
1
2π z 0
2π
cosh (2 cos θ) cos (– nθ) dθ
=
1
2π z 0
2π
cosh (2 cos θ) cos nθ dθ = an
FG 1 IJ ∑ a z + ∑ b z
∞
n
∞
−n
∞
∑ an z n +
∞
∑a z −n
Hence, cosh z +
H z
=
K 0
n
1
n =
0 1
n |∵ a n = bn
∞ ∞ ∞
= a0 + ∑ 1
an z n + ∑ 1
an z − n = a0 + ∑ a (z
1
n
n
+ z−n ) .
Fa I
z
n 2
1 a n e az
Example 17. If C is a closed contour around origin, prove that G J = dz
H n !K 2 πi C n ! z n+1
F a I 1 e dθ.
z
∞ n 2
2π
Hence deduce ∑ G J = 2a cos θ
H n ! K 2π
0
0
⇒ an =
1
2πi
n! z C
f ( z) dz
z n+ 1
F a I = 1 1 a e dz
z
n 2 n az
⇒ GH n ! JK 2πi n ! z C n+1
Fa I
z z
∞ n 2 ∞ n az ∞ n az
1 a e 1 a e
⇒ ∑ GH n ! JK = ∑ 2πi n ! z dz = 2πi ∑ n ! z dz
0 0
C n+1
C n+ 1
0
=
1
2πi
e ∑
a
n! z z
1
dz =
C
1
2πi
az
R| F a I
∞
e S∑ G J
|T H z K
0
n
n+1 z C
az
∞
0
n
1 dz
n! z
U|
V|
W
z
FG IJ
z
1
=
1
e az
e ( a / z) dz
=
1
e
H
a z+
z K dz
2πi C z 2 πi C z
=
1
2 πi z 0
2π
e 2 a cos θ
i e iθ dθ
e iθ
where the circle C is taken as
| z|= 1 so that z = e iθ on C
=
1
2π z 0
2π
e 2 a cos θ dθ
∴ dz = i e iθ dθ
80 A TEXTBOOK OF ENGINEERING MATHEMATICS
∞
sin θ
Example 18. Prove that for real k, k2 < 1; ∑
n=0
k n sin (n + 1) θ =
1 − 2 k cos θ + k 2
∞
cos θ − k
and ∑
n=0
k n cos (n + 1) θ =
1 − 2k cos θ + k 2
.
Sol.
1 1 k FG IJ −1
1
∑ FGH z IJK
∞
k
n
∑
∞
kn
;|z|>k ...(1)
=
z−k z
1−
z H K =
z n=0
=
n=0
z n+ 1
Again, put z = e iθ in (1),
∞
1 1
= =
z − k e iθ − k n = 0 ∑
k n e– (n+ 1) iθ
∞
1
⇒ =
cos θ + i sin θ − k n = 0 ∑
k n [cos (n + 1) θ – i sin (n + 1) θ]
∞
(cos θ − k) − i sin θ
⇒
1 − 2 k cos θ + k 2
= ∑
n=0
k n [cos (n + 1) θ – i sin (n + 1) θ] ...(2)
Comparing real and imaginary parts of (2), we get the required results.
1 1 7
Example 19. (i) Show that cosec z = + z+ z 3 + ...... ; 0 < | z | < π.
z 3! 360
a
(ii) Find the Taylor’s series expansion of f(z) = about the point z0.
bz + c
1
Sol. (i) cosec z = has singular points at z = 0, ± nπ.
sin z
We expand the series in 0 < | z | < π.
1 1 1
cosec z = = =
sin z z z 3
5
z 7
z2 z4 z6 LM F
I OP
MN GH
JK PQ
z− + − + ... z 1− − + + ......
3! 5! 7! 3! 5! 7!
= M1 + G
2 4 6 2 4 6
zM J G J PQ
N H 3! 5! 7! K H 3! 5! 7! K
1L z z 2
z 4 O 1 z + RS 1 − 1 UV z + ......
4
= M1 + − + + ......P = + 4
zN 3 ! 5 ! (3 !) Q z 3 ! T (3 !) 5 ! W
2 2
LM OP
(ii) f(z) =
a
=
a
bz + c b( z − z ) + bz + c
=
1
M a
bz + c M 1 + b( z − z ) P
P
0
MN bz + c PQ
0 0
0
0
aL 1 OP b
= M where bz + c = d, = e
d N 1 + e (z − z ) Q
0
0
d
FUNCTION OF COMPLEX VARIABLE 81
∞
a
=
d ∑
n=0
(− 1) n e n ( z − z0 ) n if | e (z – z0) | < 1
a
∞
F b I n
1
=
bz0 + c ∑
n=0
(− 1) n
GH bz + c JK
0
( z − z0 ) n if | z – z0 | <
e
.
4z − 1
Example 20. Find Taylor’s series expansion of about the point z = 0.
z4 − 1
4z − 1 4z − 1
Sol. f(z) = =
z − 1 ( z − 1) ( z + 1) ( z 2 + 1)
4
FG − 2z + 1IJ
=
3 1FG+
5 IJ +
H 2K
4 z−1H 4 ( z + 1) K z2 + 1
Expanding about the point z = 0, we get
f(z) = –
3 5
(1 − z) −1 + (1 + z) −1 + − 2 z +
1 FG IJ e1 + z j 2 −1
4 4 2 H K
3
∑
∞
zn +
5
∑
∞
(− 1) n z n
F 1I
+ G − 2z + J ∑
∞
(− 1) n z 2 n .
=–
4 n=0
4 n=0
H 2K n=0
ASSIGNMENT
2 z3 + 1
7. (i) Find Taylor’s expansion of about the point z = 1.
z ( z + 1)
z
( z − 2)
(ii) Define the Laurent series expansion of a function. Expand f (z) = e in a Laurent series
about the point z = 2. ( )
82 A TEXTBOOK OF ENGINEERING MATHEMATICS
( z − 2)( z + 2)
8. Expand f(z) = in the region:
( z + 1)( z + 4)
(a) | z | < 1 (b) 1 < | z | < 4 (c) | z | > 4.
[U.P.T.U. (C.O.) 2008]
1
9. Expand the function f(z) = 2 about (i) z = – 1 (ii) z = 1
z −z−6
z2 − 6 z − 1
10. (i) Find the Laurent’s series expansion of the function f(z) = in the region
( z − 1)( z − 3)( z + 2)
3 < | z + 2 | < 5.
7z − 2
(ii) Find the Laurent’s series expansion of f(z) = in the region 1 < | z + 1| < 3.
z( z + 1) ( z + 2)
( )
1
11. (i) Obtain the Taylor series expansion of f(z) = about z = 0
z2 + (1 + 2i) z + 2i
z
(ii) Expand f (z) = is Laurent series valid for
( z − 1) (2 − z)
(a) | z – 1 | > 1 and (b) 0 < | z – 2 | < 1 ( )
z
(iii) Expand f(z) = in Laurent’s series valid for region:
( z − 1) ( z − 2)
(a) | z – 1 | > 1 (b) 0 < | z – 2 | < 1 ( )
1
12. Find Laurent’s series of f(z) = about its singular points. Determine the region of convergence.
z2 + 1
1
13. Find all possible Taylor’s and Laurent’s series expansions of the function f (z) =
( z + 1) ( z + 2)2
about the point z = 1. Consider the regions
(i) | z – 1 | < 2 (ii) 2 < | z – 1 | < 3 (iii) | z – 1 | > 3
1 1
14. The series expansions of the functions and are
1− z z−1
1
= 1 + z + z2 + ...... and
1
=
1 1 1 FG
1 + + 2 + ......
IJ
1− z z−1 z z z H K
Adding, we get (1 + z + z2 + ......) +
1 1 1 FG
1 + + 2 + ...... = 0
IJ
z z z H K
Is this result true? If not, give the reason.
7 z2 + 9 z − 18
15. Expand f(z) = in Laurent series valid for the regions:
z3 − 9 z
(i) 0 < | z | < 3 (ii) | z | > 3 (
z+4
16. If f(z) = , find Laurent’s series expansion in (i) 0 < | z – 1 | < 4 and (ii) | z – 1 | > 4.
( z + 3) ( z − 1)2
(
z
17. Expand f(z) = in Laurent series in 1 < | z | < 2. (
( z − 1) ( z 2 + 4 )
2
18. Find all Taylor and Laurent series expansion of the following function about z = 0.
− 2z + 3
f(z) = . (
z2 − 3 z + 2
FUNCTION OF COMPLEX VARIABLE 83
Answers
z2 z3 z4 z3 z5 z3 3 5
1. (i) z – + − + ...... (ii) z − + − ...... (iii) z + + z + ...
2 3 4 3 5 6 40
1 LM1 + F z − π I − 1 F z − π I − 1 F z − π I + ......OP2 3
2. (i)
2 MN
GH 4 JK 2 ! GH 4 JK 3 ! GH 4 JK PQ
F π I F π I 16 − 64π ( z – π/4) + ...
(ii) tan z = tan G J + G z – J .
–1 −1
2
H 4 K H 4 K π + 16 ( π + 16) 2 2 2
FG 1 − 1IJ − FG 1 − 1 IJ (z − 2) + FG 1 − 1 IJ (z – 2) – ......
3.
H 2 3K H 2 3 K 3 2 H2 3 K 5 3
2
1
f(z) = ∑ G J
∞
F 2I n
1
5. f(z) = − ∑ G J −
F z I 1 ∑ FG 1IJ ∞ n ∞ n
4.
z
n=0
H zK 6 H 3 K 2z H z K n=0 n=0
1
∞
F 1I
(b) f(z) = 1 − ∑ (− 1) G J − ∑ (− 1) G J n F zI
n ∞
n
n
z
n=0
H zK H 4K n=0
(c) f(z) = 1 − ∑ (− 1) FG IJ − ∑ (− 1) FG IJ
∞ n ∞ n
1 1 4 n 4 n
z
n=0
H zK z H zK n=0
9. (i) f(z) = –
1
∑ FG z + 1IJ − 1 ∑ (− 1) (z + 1)
∞ n ∞
n n
20 H 4 K 5
n=0 n=0
1 FG z − 1IJ − 1 ∑ (− 1) FG z − 1IJ
∞ n ∞ n
10 ∑ H 2 K
n
(ii) f(z) = –
n=0
15 H 3 K n=0
1 FG 3 IJ + 1 FG z + 2 IJ + 1 .
∞ n ∞ n
z + 2 ∑ H z + 2K 5 ∑ H 5 K
10. (i) f(z) =
z+2
n=0 n=0
∞ ∞
9 1 1 8 1
(ii) f(z) = −
z+1 z+1 ∑
n=0
( z + 1) n
∑ (− 1)
–
z+1
n=0
n
( z + 1) n
1 1
LM ∞
FG z IJ − ∑ (− 1) z OP
n ∞
MN ∑ (− 1) n n n
11. (i) f(z) =
1 − 2i 2i
n=0
H 2i K PQ
n=0
∞ ∞
2
(ii) (a) f(z) =
1
z−1
–
2
z−1 ∑
1
( z − 1) n
(b) f(z) =
n=0
∑ (− 1) n
( z − 2) n −
z−2
n=0
84 A TEXTBOOK OF ENGINEERING MATHEMATICS
−1 2 F 1 I ∞
2
n ∞
(iii) (a) f(z) = +
z−1 z−1 ∑ GH z − 1 JK n=0
(b) f(z) =
z−2 ∑
− (− 1) ( z − 2) n n
n=0
1
∞
F z − i IJ ;| z – i | < 2 n
2i ( z − i) ∑
12. (i) f(z) = (− 1) G n
n=0
H 2i K
−1 FG z + i IJ ; | z + i | < 2
∞ n
2i ( z + i) ∑ H 2i K
(ii) f(z) =
n=0
1
∞
F z − 1IJ − 1 ∑ (− 1) FG z − 1IJ – 1 (− 1) (n + 1) FG z − 1IJ
n ∞ n ∞ n
2 ∑
(− 1) G
H 3 K 9∑
n n n
13. (i)
n=0
H 2 K 3 n=0
H 3 K n=0
1
∞
FG 2 IJ n
1 FG z − 1IJ – 1 ∑ (− 1) (n + 1) FG z − 1IJ
∞ n ∞ n
(ii)
z−1 ∑
n =0
(− 1) n
H z − 1K −
3 ∑
H 3 K 9
n=0
(− 1) n
H 3 K
n
n=0
1
∞
FG 2 IJ n
1 F 3 IJ – 1
∞
F 3 I
n ∞ n
(iii)
z−1 ∑
n=0
(− 1) n
H z − 1K −
z−1 ∑
(− 1) G
H z − 1K (z − 1) ∑ (− 1) (n + 1) GH z − 1JK
n=0
n
2
n=0
n
14. No. The first series is valid for | z | < 1 and the second series is valid for | z | > 1. There is no
common point where both the series are valid.
∑ (− 1) FGH 4 IJK
∞ n
1 z−1 n 1 5
16. (i) f(z) = − +
64 16 ( z − 1) 4( z − 1) 2
n=0
1
∞
F 4 I n
1 5
(ii) f(z) =
16( z − 1) ∑
n=0
(− 1) n GH z − 1 JK − +
16( z − 1) 4( z − 1) 2
LM F 1I FG 1 IJ OP
∑ FGH 2i IJK FG z IJ
∞ n ∞ n ∞ n ∞ n
1 1 1
MMN ∑ GH z JK ∑ 1 z 1
17. f(z) =
10 z
n=0
+
z
n=0
(− 1) n
H zK +
2i
n=0
−
2i ∑
n=0
(− 1) n
H 2i K PPQ .
∑ FGH 2 IJK
∞ ∞ n
1 z
18. (i) f(z) = ∑
n=0
zn +
2
n=0
;|z|<1
1.32 SINGULARITY
If z = a is a singularity of f(z) and if there is no other singularity within a small circle surrounding
the point z = a, then z = a is said to be an isolated singularity of the function f(z), otherwise it
is called non-isolated.
z+1
Example. Consider the function f(z) = .
z( z − 2)
It is analytic everywhere except at z = 0 and z = 2. Thus z = 0 and z = 2 are the only
singularities of this function. There are no other singularities of f(z) in the neighbourhood of
z = 0, z = 2. Hence z = 0 and z = 2 are the isolated singularities of this function.
Again, consider the function
1 F πI
= cot G J
f(z) =
F πI
tan G J
H zK
H zK
F πI
It is not analytic at the points where tan G J = 0 = tan nπ i.e., at the points where = nπ
π
H zK z
1
⇒ z= (n = 1, 2, 3, ......)
n
1 1
Thus z = 1, , ,......, z = 0 are the singularities of the function all of which are isolated
2 3
except z = 0 because in the neighbourhood of z = 0, there are infinite number of other singularities
1
z= where n is large. Therefore z = 0 is the non-isolated singularity of the given function.
n
FUNCTION OF COMPLEX VARIABLE 87
∞
(iii) Pole. Here the series ∑ (z − a)
1
n
consists of finite number of terms. Then z = a is said to
be a pole of order m of the function f(z). When m = 1, the pole is said to be simple.
sin ( z − a)
Example. f(z) = has a pole at z = a because
( z − a) 4
sin ( z − a)
=
1
( z − a) −
LM
( z − a) 3 ( z − a) 5 ( z − a) 7
+ − + ......
OP
( z − a) 4
( z − a) 4
N 3! 5! 7! Q
1
1 1 1 1
= 3
+− ( z − a) − ( z − a) 3 + ......
( z − a) 3 ! ( z − a) 5 ! 7 !
has finite number of terms (here first two terms only) in negative powers of z – a.
Thus if z = a is a pole of order m of the function f(z), then
∞
b1 b2 bm
f(z) = ∑a
0
n ( z − a) n + +
z − a ( z − a) 2
+ ...... +
( z − a) m
1 LMF∞ I OP
=
( z − a) m MNGH ∑ a
0
n JK
( z − a) n + m + {bm + bm − 1 ( z − a) + ......+ b1 ( z − a) m }
PQ
1
= ϕ(z)
( z − a) m
Clearly, ϕ(z) → bm as z → a. Hence ϕ(z) is analytic in the neighbourhood of the pole z = a.
88 A TEXTBOOK OF ENGINEERING MATHEMATICS
z2 – a2
Example. f(z) =
z−a
lim f(z) = 2a
z→ a
So, f(z) has a removable singularity at z = a.
(2) Pole: lim f(z) = ∞.
z→ a
z2 + a2
Example. f (z) =
z–a
lim f(z) = ∞.
z→ a
So, f(z) has a pole at z = a.
Moreover, the pole is said to be of order n, if there are n terms in the principal part.
Example.
e z− a
=
1 LM1 + (z − a) + (z − a) 2 OP
+ ......
( z − a) 2
( z − a) 2
N 2! Q
1 1 1
= + + + ......
( z − a) 2 ( z − a) 2 !
Since there are only two terms in the negative powers of z – a i.e., there are only 2
(a finite number) terms in the principal part of the function. Hence the function has a pole of
order 2.
(3) Essential singularity: lim f(z) does not exist.
z→ a
1
Example. lim e z− a does not exist, so f(z) has an essential singularity at z = a.
z→a
EXAMPLES
Example 1. Find out the zero and discuss the nature of the singularity of
z−2 1
f(z) = 2
sin .
z z−1
Sol. Zeros of f(z) are given by f(z) = 0
1
⇒ z – 2 = 0, sin =0
z−1
1
⇒ z = 2, = nπ (n = 0, ± 1, ± 2, ......)
z−1
1
⇒ z = 2, 1 + (n = 0, ± 1, ± 2, ......)
nπ
Clearly, z = 1 is an isolated essential singularity.
Poles of f(z) are given by
z2 = 0
⇒ z=0
Hence z = 0 is a pole of order 2.
FUNCTION OF COMPLEX VARIABLE 89
1
Sol. f(z) =
1 − ez
For poles 1 – ez = 0
⇒ ez = 1 = e2nπi
⇒ z = 2nπi (n = 0, ± 1, ± 2, ......)
Clearly, z = 2πi is a simple pole.
cot πz
Example 4. Discuss singularity of at z = a and z = ∞ .
(z – a) 2
cot πz cos πz
Sol. f(z) = 2
=
( z – a) sin πz ( z – a) 2
For poles sin πz(z – a)2 = 0
⇒ z = a, πz = nπ (n ∈ I)
⇒ z = a, n
Clearly z = ∞ is the limit point of these poles. Hence z = ∞ is a non-isolated essential
singularity. Also z = a, being repeated twice, gives a double pole.
z − sin z
Example 5. Discuss the nature of singularity of f(z) = at z = 0.
z3
1 LM z − F z − z + z − z + ......I OP
1 3 5 7
Sol. f(z) =
z 3 (z – sin z) =
z MN
GH 3 ! 5 ! 7 ! JK PQ
3
1 Fz z z3 5 I 1 − z + z − ......
7 2 4
= G
3
− +
z H 3! 5! 7!
− ......J =
K 3! 5! 7!
Since, there is no term in the principal part of given function hence z = 0 is a removable
singularity.
90 A TEXTBOOK OF ENGINEERING MATHEMATICS
ASSIGNMENT
1 π
1. Discuss singularity of at z = . [ ]
sin z − cos z 4
2. Discuss the nature of singularity of the function f(z) = z cosec z at z = ∞.
3. What is the nature of the singularity at z = ∞ of the function f(z) = cos z – sin z?
1
4. Discuss the singularity of the function f(z) = at z = 0.
1
cos
z
1
5. Discuss the nature of singularity of f(z) = sin at z = 0. [ ]
z
e1/ z
6. Find the singularity of the function g(z) = . [ ]
z2
7. Prove that the singularity of cot z at z = ∞ is a non-isolated essential singularity.
8. Find the nature of singularities of the following functions:
1 – ez 1
(i) at z = ∞ [U.P.T.U. (C.O.) 2008] (ii) cosec at z = 0.
1+ e z z
1
9. Discuss singularity of f(z) = sin at z = 1.
1− z
Answers
1. Simple pole 2. Non-isolated essential 3. Isolated essential
4. Non-isolated essential 5. Isolated essential
6. Isolated essential singularity (z = 0)
8. (i) Non-isolated essential, (ii) Non-isolated essential 9. Isolated essential.
Let z = a be a pole of order m of a one valued function f(z) and γ any circle of radius r with
centre at z = a which does not contain any other singularities except at z = a, then f(z) is
analytic within the annulus r < | z – a | < R hence it can be expanded within the annulus in
a Laurent’s series in the form
∞ ∞
f(z) = ∑
n=0
an ( z − a) n + ∑ b ( z − a)
n=1
n
−n
...(1)
where an =
1
2πi z
C
f ( z) dz
( z − a) n + 1
...(2)
and bn =
1
z f ( z)
γ ( z − a) − n + 1
2 πi
dz ...(3)
Particularly, b1 =
1
2πi z
γ
f ( z) dz
L d F z I OP = L (z − 1) . 2z − z
=M
2 2 OP LM z − 2z OP
2
MN dz GH z − 1JK QP MN (z − 1) =0
=
z=2
2
Q z=2 N (z − 1) Q
2
z=2
1
(ii) f(z) = 4
z +1
Poles of f(z) are given by
z4 + 1 = 0
⇒ z = (– 1)1/4 = {e(2n+1)πi}1/4
∴ Poles are, z = e(2n+1)πi/4 where, n = 0, 1, 2, 3, ......
These are all of order 1 since the four factors occur linearly in z4 + 1.
Since the roots repeat themselves, we can write them more conveniently as
e(2n+1)πi/4 where, n = – 2, – 1, 0, 1
i.e., emπi/4 where, m = ± 1, ± 3. Let denote it by zm.
Residue at (z = zm) is
1 1
R = lim ( z − zm ) . 4= lim 3 | By L’ Hospital’s Rule
z → zm z +1 z → zm 4z
1 zm zm 1
= 3
= 4
=– = − emπi/4 h where, m = ± 1, ± 3.
4 zm 4 zm 4 4
94 A TEXTBOOK OF ENGINEERING MATHEMATICS
1 − e2 z
(iii) Pole of is evidently z = 0. But this is not of the fourth order since
z4
1 − e2 z 1 LM1 − R1 + 2 z + 4 z 2
8 z 3 16 z 4 UVOP
MN ST
= + + + ......
z4 z4 2 6 24 WPQ
FG 2 + 2z + 4 z 2 2 3 IJ
=–
H 3
+
3
z + ......
K ...(1)
z3
Therefore the pole is of order 3.
Residue at this pole is
R = lim
RS (1 − e ) z UV
1 d2 2z 3
z→0
T z W
2 ! dz 2 4
1 L d R| 1 F 2 2 3 I U|VOP
= lim M S
2 ! M dz |T z HG 1 − 1 − 2z −
4z
−
8z
− ......JK |WPQ
z→0
N 2
2! 3!
1Ld F 2
4 IO
= lim M
2 N dz H
z→0
G − 2 − 2 z − z − ......J P
2
3 KQ
2
1L 8 2 O 4
= lim M− − . 6 z − ......P = −
2N 3 3
z→0 Q 3
Example 2. Find the residue at z = 0 of the following functions:
1 + ez 1
(i) (ii) z cos .
sin z + z cos z z
Sol. (i) z = 0 is a pole of order 1.
z(1 + e z ) 1 + ez 1+ 1
Residue = lim = lim = = 1.
z→0 sin z + z cos z z → 0 sin z 1+ 1 FG IJ
z
+ cos z
H K
(ii) Expanding the function in powers of z, we have
z cos
1 LM
1
= z 1− 2 +
1
− ...... = z –
1
+
1
– ......
OP
z 2zN 4 ! z4 2 z 24 z 3 Q
This is the Laurent ’s expansion about z = 0.
1 1 1 1
The coefficient ofin it is – . So the residue of z cos at z = 0 is – .
z 2 z 2
Example 3. (a) Give an example of a function having residue at infinity yet analytic
there.
z3
(b) Find the residue of f(z) = at z = ∞.
z2 − 1
FUNCTION OF COMPLEX VARIABLE 95
z2
Sol. (a) f(z) =
( z − α)( z − β)( z − γ )
Residue of f(z) at z = ∞ is
= lim − z .
RS z2 UV
z→∞
T ( z − α)( z − β)( z − γ ) W
−1
= lim
z→∞ FG 1 − α IJ FG β IJ FG 1 − γ IJ = –1
H zK H 1−
z K H zK
1
1 FG IJ λ2 λ
Now, f
λ
=
H K
(1 − αλ) (1 − βα) (1 − γλ)
. .
=
(1 − αλ)(1 − βλ)(1 − γλ)
λ λ λ
FG 1IJ = 0 (≠ ∞)
At λ = 0, f
H λK
f
FG 1IJ is analytic at λ = 0
∴
H λK
⇒ f(z) is analytic at z = ∞.
z F 1I
3
F 1 + 1 + ......IJ = z + 1 + 1
= z G1 − J = z G1 +
−1
Hence, f(z) =
F 1I
z G1 − J 2 H z K H z z K z z
2 2 4 3
+ ......
H zK 2
F 1I
Required residue = – G coefficient of J = – 1.
H zK
Example 4. Evaluate
z
C
ez
(z + 1) 2
dz , where C is the circle | z – 1 |= 3.
ez
Sol. Here f(z) = has only one singular point z = – 1 which is a pole of order 2 and
( z + 1) 2
it lies inside the circle | z – 1 | = 3.
d d z
Residue of f(z) at z = – 1 is Lt [(z + 1)2 f(z)] = Lt ( e ) = Lt ez = e–1
z→−1 dz z → − 1 dz z→−1
z2
Example 5. Determine the poles of the function f(z) = and the residue at
(z − 1) 2 (z + 2)
Sol. The function f(z) has a pole of order 2 at z = 1 and a simple pole at z = – 2.
Residue of f(z) at z = 1 is
d d z2 F I
R1 = Lt
z→1 dz
[(z – 1)2 f(z)] = Lt
z → 1 dz z + 2
GH JK
( z + 2) . 2 z − z 2 . 1 z2 + 4 z 5
or R1 = Lt 2
= Lt =
z→1 ( z + 2) z → 1 ( z + 2) 2 9
Residue of f(z) at z = – 2 is
z2 4
R2 = Lt [(z + 2) f(z)] = Lt 2
= .
z → −2 z → −2 ( z − 1) 9
Since both the poles lie inside the given curve C ≡ | z | = 3,
∴ zC
z2
2
( z − 1) ( z + 2)
dz = 2πi ( R1 + R 2 ) = 2πi
LM 5 + 4 OP = 2πi.
N9 9Q
| By Cauchy’s Residue theorem
Example 6. Determine the poles of the following function and residues at each pole:
f(z) =
z−1
(z + 1) 2 (z − 2)
and hence evaluate zC
f ( z) dz , where C is the circle | z – i | = 2.
1 LM R
d z−1 UVOP Y
MN ST
2
R1 = ( z + 1) 2 . |=
(2 − 1) ! dz ( z + 1) 2 ( z − 2) WPQ z =−1
(0, 3)
C≡
| z–
i
L d FG z − 1IJ OP
=M =
LM − 1 OP =
−1
N dz H z − 2 K Q z =−1 N (z − 2) Q
2
z =−1
9
2
(0, 1) z = i
Residue of f(z) at z = 2 is 1
– 1 O (0, 0)
z−1 (– 3, 0) 2 X
R2 = Lt ( z − 2) 2
z→2 ( z + 1) ( z − 2) (0, – 1)
z−1 1
= Lt 2
=
z→2 ( z + 1) 9
The given curve C ≡ | z – i | = 2 is a circle whose centre is at z = i [i.e., at (0, 1)] and
radius is 2. Clearly, only the pole z = – 1 lies inside the curve C.
FUNCTION OF COMPLEX VARIABLE 97
z C
f ( z) dz = 2πi (R1) = 2πi
FG − 1IJ = – 2πi .
H9K 9
Example 7. Evaluate zC
z 2 − 2z
(z + 1) 2 (z 2 + 4)
dz, where C is the circle | z | = 10.
1 dLM R z2 − 2z UVOP
MN ST
R1 = ( z + 1) 2
2 − 1 ! dz ( z + 1) 2 ( z 2 + 4) WPQ z=−1
LM d F z − 2 z I OP
2
L 2z + 8z − 8 OP
=M
2
14
=
MN dz GH z + 4 JK PQ
2
z=−1 N (z + 4) Q 2 2
z=−1
=−
25
z2 − 2 z
R2 = lim ( z − 2i) 2
z → 2i ( z + 1) ( z − 2i) ( z + 2i)
− 4 − 4i 1+ i 7+i
= 2
= =
(2i + 1) (4i) 3i + 4 25
Similarly, Residue (at z = – 2i) is
7−i
R3 =
25
By Cauchy’s Residue theorem,
z
C
z2 − 2 z
( z + 1) 2 ( z 2 + 4)
dz = 2πi (R1 + R2 + R3) = 2πi −
25 25
+
LM
14 7 + i 7 − i
+
N
25
=0
OP
Q
Example 8. Evaluate zC
12z − 7
(z − 1) 2 (2z + 3)
dz , where C is the circle
1 (12 z − 7)
= lim . = – 2.
z → − 3/ 2 2 ( z − 1) 2
3
(i) The contour | z | = 2 encloses both the poles 1 and – .
2
∴ The given integral = 2πi (R1 + R2) = 2πi (2 – 2) = 0.
(ii) The contour | z + i | = 3 is a circle of radius 3 and centre at z = – i. The distances
3 13
of the centre from z = 1 and – are respectively 2 and . The first of these is < 3 and the
2 4
second is > 3 .
∴ The second contour includes only the first singularity z = 1.
Hence, the given integral = 2πi (R1) = 2πi (2) = 4πi.
z
C
f ( z) dz , where C is the circle | z | = 5/2.
1 LM R
d3 z3 UVOP
R3 =
MN T
(4 − 1) ! dz 3S( z − 1) 4 . 4
( z − 1) ( z − 2)( z − 3)WPQ z=1
1Ld R
= M
3
S z 3 UVOP = 1 LM d RSz + 5 + 19 z − 30 UVOP
3
6 MN dz T ( z − 2)( z − 3) WPQ
3 6 MN dz T 3
z − 5 z + 6 WPQ
2
z=1 z=1
1Ld R 3
27 8 UO 1Ld R 2 UVOP
= M
6 N dz T
S
3
z+5+ −
z − 3 z − 2 WQ
V P = M
6 MN dz T
S1 − (z −273) + ( z −82)
2 2 2
WPQ
z=1 z=1
1 L d R 54 16 UO
= M S VP = 61 LM (z− −162 48 O
N 3) (z − 2) PQ
− +
6 MN dz T ( z − 3) 3
( z − 2) WPQ 3 4 4
z=1 z=1
1 L − 162 O 27 = 101
= M + 48P = 8 −
6 N 16 Q 16 16
The given curve C ≡ | z | = 5/2 is a circle with centre at (0, 0) and radius 5/2.
Clearly, only the poles z = 1 and z = 2 lie inside this circle.
100 A TEXTBOOK OF ENGINEERING MATHEMATICS
zC
f ( z) dz = 2πi (R + R ) = 2πi 101 − 8 = 2πi − 27 = –
3 1
16 16
FG
27πi
H8
.
IJ
K
FG
H
IJ
K
Example 11. (i) Find the value of z
C
ze 1/z dz around the unit circle.
|z| = 3.
Sol. (i) The only singularity of ze1/z is at the origin. Expanding e1/z, we have
LM
ze1/z = z 1 +
1 1 1
+ 2 + 3 + ...... = z + 1 +
1 1 OP
+ 2 + ......
N z 2z 6z 2z 6z Q
1 1
Residue at origin = coefficient of = .
z 2
FG 1IJ = πi.
Hence, the required integral = 2πi
H 2K
(ii) Singularities are given by
z2 (z2 + 2z + 2) = 0 ⇒ z = 0, – 1 ± i
z = 0 is a pole of order 2. z = – 1 ± i are simple poles. All these poles lie inside the circle
|z| = 3.
Residue (at z = 0) is
1 d LM |RS e zt |UVOP LM d |R e zt
|UVOP
R1 =
(2 − 1) ! dz
z2 .
MN |T
2π i z 2 ( z 2 + 2 z + 2) |WPQ = S
MN dz |T 2πi (z + 2z + 2) |WPQ
2
z=0 z=0
=
LM
1 ( z 2 + 2 z + 2) t e zt − e zt (2 z + 2) O
PPQ =
1 F t − 1I
G J
2πi MN ( z 2 + 2 z + 2) 2 2πi H 2 K
z=0
R2 = Lt ( z − α) .
1 e zt
=
1 e αt
=
1 1 (− 1 + i) t
e
LM OP
z→α 2
2πi z ( z − α) ( z − β) 2
2πi α (α − β) 2πi 4 N Q
Residue at (z = β = – 1 – i) is
R3 =
LM
1 1 (− 1 − i) t
e
OP
2πi 4 N Q
FUNCTION OF COMPLEX VARIABLE 101
By Residue theorem,
1
2πi z
C 2 2
e zt
z ( z + 2 z + 2)
dz = 2πi
LM 1 FG t − 1 IJ +
N 2πi H 2 K 2πi
R|S
1 e ( − 1 + i) t + ( e ( − 1 − i) t
T| 4
U|VOP
W|PQ
t − 1 e−t
= + cos t .
2 2
1
Example 12. Obtain Laurent’s expansion for the function f(z) = at the isolated
z 2 sinh z
1 2
Sol. Here, f(z) = =
z 2 sinh z z 2 (e z − e − z )
2
=
LMF 1 + z + z + z + ......I − F 1 − z + z − z + ......I OP
2 3 2 3
MNGH JK GH JK PQ
z2
2! 3! 2! 3!
2
=
F 2z 3
2 z5 I
z2 2 z +GH 3!
+
5!
+ ...... JK Y
| =2
–1
|z
1 C≡
=
F z + z + ......I
2 4
z3 1 + GH 3 ! 5 ! JK
O X
z=1
LM1 + F z + z I + ......OP
2 4
−1
MN GH 6 120 JK PQ
= z–3
F 1 − z − z + z + ......I
2 4 4
= z–3 GH 6 120 36 JK
1 1 7
= − + z + ......
z3 6 z 360
Only pole z = 0 of order two lies inside the circle C ≡ | z – 1 | = 2.
1 1
Residue of f(z) at (z = 0) is = coeff. of in the Laurent’s expansion of f(z) = – .
z 6
By Cauchy’s Residue theorem,
zC 2
z sinh z
dz
= 2 πi −
FG 1 IJ = – πi .
H 6K 3
102 A TEXTBOOK OF ENGINEERING MATHEMATICS
ASSIGNMENT
Determine the poles of the following functions and the residue at each pole:
2z + 1 z+1 ez
1. 2 2. 3. .
z −z−2 z2 ( z − 2) z2 + π 2
Evaluate the following integrals using Cauchy’s residue theorem:
4.
z LMMN
C
cos πz2 + sin πz2
( z + 1) ( z + 2)
OP
dz ; C ≡ | z | = 3
PQ
5.
z LMMN
C
3 z2 + z + 1
( z2 − 1) ( z + 3)
OP dz ,
PQ
where C is the circle | z | = 2.
6.
z z2 + 2 z − 2
z−4
dz , where C is a closed curve containing the point z = 4 in its interior.
z
C
1 − 2z
7. dz , where C is the circle | z | = 1.5.
z( z − 1)( z − 2)
z
C
z
8. dz , where C is the circle | z – 2 | = 21 .
C ( z − 1)( z − 2) 2
9.
zC
sin πz2 + cos πz2
( z − 1)2 ( z − 2)
dz , where C is the circle | z | = 3.
10.
zC
5z − 2
z( z − 1)
dz ; C ≡ | z | = 2 11.
z
C
ez − 1
z( z − i) 2 ( z − 1)
dz ; C ≡ | z | = 1/2
12.
z FGH
C
z cos z
z−
π
2
IJ
K
3
dz, where C ≡ | z – 1 | = 1 13.
z
C
dz
( z2 + 4)2
, where C ≡ | z – i | = 2
14.
zC
3 z2 + 2
( z − 1)( z2 + 9)
dz , where C ≡ | z – 2 | = 2
15. zC
2z + 1
(2 z − 1)2
dz , where C ≡ | z | = 1 16. z
C
dz
( z2 + 1)( z2 − 4)
dz , where C ≡| z | = 1.5
17. (i)
z C
4 z2 − 4 z + 1
( z − 2)(4 + z2 )
dz , where C ≡ | z | = 1.
(ii) z C
24 z − 7
( z − 1) 2 ( 2 z + 3 )
dz, where C is the circle of radius 2 with centre at the origin.
18.
zC
z2 + 4
2
z( z + 2 z + 2)
dz, where C is
(i) | z | = 1 (ii) | z + 1 – i | = 1
(iii) | z + 1 + i | = 1 (iv) | z – 1 | = 5
19.
zC
e −z
z2
dz ; C ≡ | z | = 1 20.
z C
z2 e1/ z dz ; C ≡ | z | = 1
FUNCTION OF COMPLEX VARIABLE 103
21.
zC
2
1
z sin z
dz where C is the triangle with vertices (0, 1), (2 – 2) and (7, 1). (
z
22. Determine the poles and residues at each pole of the function f(z) = and hence evaluate
z2 − 3 z + 2
zC
f ( z ) dz where C is the circle | z – 2| =
1
2
. (
Answers
1 5 3 3 i
1. z = – 1, 2 ; , 2. z = 0, 2 ; – , 3. z = ± πi ; ±
3 3 4 4 2π
πi
4. – 4πi 5. − 6. 44πi
4
7. 3πi 8. – 2πi 9. 4πi(π + 1)
10. 10πi 11. 0 12. – 2πi
13. π/16 14. πi
15. πi 16. 0 17. (i) 0 (ii) 0
18. (i) 4πi (ii) – π (3 + i) (iii) π (3 – i) (iv) 2πi
πi 2i (− 1) n
19. – 2πi 20. . 21.
3 n2 π
22. z = 1, 2 ; – 1, 2 ; 4πi.
We take a closed curve C, find the poles of f(z) within C and calculate residue at these poles.
Then by Cauchy’s residue theorem
z
C
f ( z) dz = 2πi [sum of the residues of f(z) at the poles within C]
The curve is called a contour.
The process of integration along a contour is called contour integration.
The residue theorem provides a simple and elegant method for evaluating many important
definite integrals of real variables. Some of these are illustrated below.
Such integrals can be reduced to complex line integrals by the substitution z = eiθ, so
that
dz
dz = ieiθ dθ, i.e., dθ = .
iz
e iθ + e − iθ 1 FG IJ
1
Also, cos θ =
2
=
2 H K
z+
z
e iθ – e − iθ 1 F 1I
sin θ =
2i
=
2i H
G z− J.
zK
104 A TEXTBOOK OF ENGINEERING MATHEMATICS
As θ varies from 0 to 2π, z moves once round the unit circle in the anti-clockwise direction.
∴ z
0
2π
F(cos θ, sin θ) dθ = zC
F
Fz+ z
GH 2
−1
,
z − z −1 dz
2i iz
I
JK
where C is the unit circle | z | = 1.
The integral on the right can be evaluated by using the residue theorem.
EXAMPLES
(i) z
0
2π dθ
2 − cos θ
(ii) z π
0
dθ
a + b cos θ
; a > |b|
Sol. Consider the integration round a unit circle C ≡ |z| = 1 so that z = eiθ
dz
∴ dz = ieiθ dθ = iz dθ ⇒ dθ =
iz
Also, cos θ =
1 iθ
(e + e − iθ ) =
1
z+
1 FG IJ
2 2 z H K
Then the given integral reduces to
I= z LM
C bF
1 FG dz IJ =
1I O H iz K
a + Gz + JP
z C
2z
2
dz
bz + 2 az + b iz
FG IJ
H K
N 2H zK Q
=
2
ib z C 2
z +
dz
2a
b
z+1
=
2
ib z
C
dz
( z − α) ( z − β)
a a 2 − b2 a a 2 − b2
where, α= −
+ and β = − −
b b b b
Poles are given by (z – α) (z – β) = 0 ⇒ z = α, β
Both are simple poles.
Since a > |b| ∴ |β| > 1
Since αβ = 1
∴ |αβ| = 1
|α| |β| = 1
⇒ |α| < 1 |∵ |β| > 1
Hence z = α is the only pole which lies inside the circle C ≡ |z| = 1.
Residue of f (z) at (z = α) is
2
R = Lt ( z − α) f ( z) = Lt ( z − α) .
z→α z→α ib ( z − α) ( z − β)
FUNCTION OF COMPLEX VARIABLE 105
2 2 (b) 1
= = =
ib (α − β) ib (2 a 2 − b2 ) i a − b2
2
z2π
0
dθ
2 − cos θ
=
2π
2−1
= 2π
2 zπ
0
dθ
a + b cos θ
=
2π
a − b2
2
| Using prop. of definite integrals
⇒ z
0
π dθ
a + b cos θ
=
a − b2
2
π
.
z0
2π dθ
a + b sin θ
, where a > |b|
Also, sin θ =
1 iθ
(e − e − iθ ) =
1 1 FG IJ
2i 2i
z−
z H K
Then the given integral reduces to
I=
z LM
C b F
1 FG dz IJ =
G z − 1z IJK OPQ H iz K
zC 2
2iz FG IJ
dz
H K
bz + 2iaz − b iz
2i H
a+
N
=
2
b z C
z2 +
dz
2ia
b
z−1
− 2ia − 4a2
± +4
b b2 − ia b2 − a 2
⇒ z= = ±
2 b b
2 2
− ia i a − b
= ± = α, β (simple poles)
b b
2 2 2 2
− ia i a − b − ia i a − b
where, α= + and β= −
b b b b
Clearly, |β| > 1
But αβ = – 1
∴ |α β| = 1 ⇒ |α| |β| = 1 ⇒ |α| < 1
Hence z = α is the only pole which lies inside circle C ≡ |z| = 1.
Residue of f (z) at (z = α) is
2 2
R = Lt ( z − α) . =
z→α b ( z − α) ( z − β) b (α − β)
2 1
= =
F 2i a 2 − b2 I i a 2 − b2
b GG JJ
H b K
∴ By Cauchy’s Residue theorem,
F I
I = 2πi (R) = 2πi GG 1
JJ = 2π
Hi 2
a −b 2
K a − b2
2
∴ z0
2π dθ
a + b sin θ
=
2π
a − b2
2
...(1)
z
0
2π dθ
(1 + a 2 ) − 2a sin θ
=
(1 + a ) − 4 a
2π
2 2 2
=
2π
4
1 + a − 2a 2
=
2π
1 − a2
.
z
0
π a dθ
a + sin 2 θ
2
, (a > 0).
Sol. I=
z
0
π
a2 +
(1
a dθ
− cos 2θ)
2
= 2a
z π
0 2
dθ
(2 a + 1) − cos 2θ
Put 2θ = φ, dθ =
dφ
2
=a z 2π
0 2
dφ
(2 a + 1) − cos φ
I = 2a z 2π
0
dφ
(4 a + 2) − ( e iφ + e − iφ )
2
...(1)
FUNCTION OF COMPLEX VARIABLE 107
dz
But z = eiφ so that dφ = then (1) reduces to
iz
I = 2a
zC
(4 a 2
F
1
.
1I iz
+ 2) – G z + J
H zK
dz
=
2a
i zC
dz
4a2 z + 2 z − z2 − 1
= 2ai zC 2
z − 2 z(1 + 2 a ) + 1
dz
2
= 2ai z C
dz
( z − α)( z − β)
F −i I
I = 2πi GG JJ = π
.
H2 1+ a 2
K 1 + a2
z0
2π dφ
(a + b cos φ ) 2
= 2
2 πa
(a − b 2 ) 3/2
where a > 0, b > 0, a > b.
Sol. Let, I= z0
2π dφ
(a + b cos φ) 2
= z 2π
0 RSa + b (e
dφ
iφ
+e – iφ U
)V
2
...(1)
T 2 W
dz
Put eiφ = z so that dφ = then,
iz
From (1), I= z RS
C b
1
FG1 IJ UV 2
dz
iz
= zC
− 4izdz
(bz + 2az + b) 2
2
T a+
2
z+
Hz KW
=–
4i
b2 z FGH
C
z2 +
z dz
2az
+1
IJ
K
2
b
Poles are given by,
FG z 2 2az IJ 2
=0 ⇒ (z – α)2(z – β)2 = 0 where, α + β = –
2a
and αβ = 1.
H +
b
+1
K b
108 A TEXTBOOK OF ENGINEERING MATHEMATICS
2a 4a2
− + −4
b b2 − a + a 2 − b2
Also, α= =
2 b
4a2 2a
− −4 –
b2 b − a − a 2 − b2
β= =
2 b
There are two poles, at z = α and at z = β each of order 2.
Since, | αβ | = 1
or |α||β|=1
But |β|>1 ∴ |α|<1 |∵ a>b
∴ Only z = α lies inside the unit circle | z | = 1.
Residue of f(z) at the double pole z = α is
1 d LM R − 4iz UVOP
MN ST
= ( z − α) 2 . 2
(2 − 1) ! dz b ( z − α) 2 ( z − β) 2 WPQ z=α
LM d R − 4iz UOP 4i L ( z − β) . 1 − z . 2( z − β) O 2
= S
MN dz T b ( z − β) WPQ
2 V =– 2
b N
.M
( z − β) 2 PQ 4
z=α z=α
4i L (− β − z) O
=– 2 M
b N ( z − β) Q
P = – b4i ((−αα− −β)β) = b4i ((αα−+ββ))
3 2 3 2 3
z=α
FG − 2a IJ
=
4i
.
H b K = – ia
b F2
GH b a − b IJK
2 3 2 2 3/2
2 (a − b )
2
∴ I = 2πi M
L − ia OP = 2πa .
N (a − b ) Q (a − b )
2 2 3/ 2 2 2 3/ 2
z0
π cos 2θ dθ
1 − 2p cos θ + p 2
=
πp 2
1 − p2
(0 < p < 1).
Sol. I= z π
0
cos 2θ dθ
1 − 2 p cos θ + p 2 =
1
2 z0
2π cos 2θ dθ
1 − p(e iθ + e − iθ ) + p2
=
1
2
real part of z 2π
0
e 2 iθ
(1 − pe iθ )(1 − pe − iθ )
dθ
=
1
2
real part of z C
(1 − pz) 1 −
z2
FG
H
p
z
IJ
K
dz
iz
writing e iθ = z, dθ =
dz
iz
=
1
2
real part of z C
− iz 2
(1 − pz)( z − p)
dz
FUNCTION OF COMPLEX VARIABLE 109
=
1
2
real part of zC
f ( z) dz where, f ( z) =
− iz 2
(1 − pz)( z − p)
Poles of f(z) are given by (1 – pz)(z – p) = 0.
1
Thus z = and z = p are the simple poles. Only z = p lies within the unit circle C as
p
p < 1.
The residue of f(z) at z = p is
− iz 2 ip2
= lim (z – p) f(z) = lim (z – p) =−
z→ p z→ p (1 − pz)( z − p) 1 − p2
Hence by Cauchy’s residue theorem, we have
z C
f ( z) dz = 2πi × [Sum of residues within the contour]
F ip2 I = 2πp 2
= 2πi −GH 1− p 2 JK 1 − p 2
which is purely real.
Hence, I=
1
2
real part of
z0
2π sin 2 θ
a + b cos θ
2π
dθ = 2 (a − a 2 − b 2 ) , where 0 < b < a.
b
Sol. Let I=
z
0
2π sin 2 θ
a + b cos θ
dθ = z0
2π 1 − cos 2θ
2(a + b cos θ)
dθ
= Real part of
z0
2π 1 − e 2iθ
2a + 2b cos θ
dθ
1 FG
1 dz IJ
Put z = eiθ so that cos θ =
2
z+
zHand dθ =
iz K
Then z0
2π 1 − e 2iθ
2a + 2b cos θ
dz = z C
1 − z2
2a + b G z + J
H zK
FG dz IJ =
F 1 I H iz K zC
1 − z2
i(bz 2 + 2az + b)
dz
− 2 a ± 4 a 2 − 4b2 − a ± a 2 − b2
z= =
2b b
− a + a 2 − b2 − a − a 2 − b2
Let α= and β =
b b
Clearly, | β | > 1 so that z = α is the only simple pole inside C.
110 A TEXTBOOK OF ENGINEERING MATHEMATICS
zC
1 − z2
i(bz 2 + 2az + b)
dz = 2 πi .
a − a 2 − b 2 2π
ib2
= 2 a − a 2 − b2
b
FH IK
Hence I = Real part of
z C 2
1 − z2
i(bz + 2az + b)
2π
dz = 2 a − a 2 − b2 .
b
FH IK
Example 7. Using complex integration method, evaluate z
0
2π cos 2θ
5 + 4 cos θ
dθ .
= Real part of z
C 1
z2
5 + 2Gz + J
H zK
FG dz IJ
F I H iz K
writing e iθ = z
∴ dθ =
dz
iz
= Real part of
1
i zC
z2
2
2z + 5z + 2
dz
I= z
C
f ( z) dz = 2πi
FG 1 IJ = π .
H 12 i K 6
FUNCTION OF COMPLEX VARIABLE 111
Example 8. Evaluate: z
0
π 1 + 2 cos θ
5 + 4 cos θ
dθ
Sol. Let I= z 0
2π 1 + 2 cos θ
5 + 4 cos θ
dθ = Real part of
z
0
2π 1 + 2e iθ
5 + 4 cos θ
dθ
= Real part of z
C
1 + 2z
5 + 2G z + J
H zK
FG dz IJ
F 1 I H iz K
Putting e iθ = z
∴ dθ =
dz
iz
1
(2z + 1) (z + 2) = 0 ⇒ z=– , – 2 (simple poles)
2
1
z=– lies inside unit circle C ≡ | z | = 1
2
FG
Residue at z = −
1 IJ 1 1 1 + 2z FG IJ FG 1 IJ 1 + 2z
H 2 z→−
K
= Lt z +
1
.
H
2 i (2 z + 1) ( z + 2)
2
=
K H 2i K z→ −
Lt
1
2
z+2
=0
z2π
0
1 + 2 cos θ
5 + 4 cos θ
dθ = 0
⇒ z0
π 1 + 2 cos θ
5 + 4 cos θ
dθ = 0 | Using property of definite integrals
Sol. Let I= z 2π
0
e cos θ [cos (sin θ – nθ) + i sin (sin θ – nθ)] dθ
= z 2π
0
e cos θ . ei(sinθ–nθ) dθ =
z0
2π iθ
e e . e − in θ dθ ...(1)
dz
Put eiθ = z so that dθ = then,
iz
R=
1 dn LM R|Sz n +1 − ie z U|VOP =
LM
− i dn
(e z )
OP =
−i
.
(n + 1 − 1) ! dz n MN T| z n +1 W|PQ z= 0
N
n ! dz n Q z=0
n!
112 A TEXTBOOK OF ENGINEERING MATHEMATICS
I = 2πi
FG − i IJ = 2π
H n !K n !
Comparing real parts, we have
z0
2π
e cos θ cos (sin θ – nθ) dθ =
2π
n!
.
Sol. Let, I=
1
2 z 0
2π cos 2 3θ
5 – 4 cos 2θ
dθ =
1
4 z
0
2π 1 + cos 6θ
5 – 4 cos 2θ
dθ ...(1)
GH 2z JK dz 1
I=
1
4 zc F
5 – 2G
⋅
z + 1 I iz
J
4
6
=–
16i z
c
z12 + 2 z6 + 1
FG 5
z5 z4 – z2 + 1
H
IJ
K
dz
H z K 2 2
1
Singularities are, z = 0 (order 5), z = ± 2, ± (order 1)
2
1
Clearly, z = 0 and z = ± lie inside C.
2
1
Now we will find residues at z = 0 and z = ± .
2
z
12 6
+ 2z + 1
12
z + 2z + 1
6
LM1 – FG 5 z 2
–z
4 IJ OP –1
Let f(z) =
5 FG 4 5 2 IJ =
z5 N H2 KQ
z
H z – z +1
2 K
=
( z 6 + 1) 2 LM1 + 5 z 2
– z4 +
25 4
z + z 8 – 5 z 6 + ...
OP
z
5
N 2 4 Q
1
Residue of f(z) at z = 0 is the coefficient of in this laurent series expansion. Hence
z
25 21
R1 = Residue of f(z) at z = 0 = – 1 + =
4 4
FUNCTION OF COMPLEX VARIABLE 113
1
R2 = Residue of f(z) at z =
2
= Lt.
FG z – 1 IJ . ( z 6 + 1) 2
z→
1 H 2K z 5
( z 2 – 2) z −
FG 1 IJ FG z + 1 IJ
2 H 2 K H 2K
( z6 + 1) 2 27
= Lt. =–
1 F
– 2) G z +
1 I 8
z5 ( z2
H 2 JK
z→
2
1
R3 = Residue of f(z) at z = –
2
= Lt
FG z + 1 IJ ⋅ ( z 6 + 1) 2
z→ –
1 H 2K z 5
( z 2 – 2) z –
FG 1 IJ FG z + 1 IJ
2 H 2 K H 2K
( z 6 + 1) 2 27
Lt =–
=
z→ –
1 FG
z5 ( z 2 – 2) z –
1 IJ 8
2 H 2 K
Now, by Cauchy-Residue theorem,
1 π 21 27 3π FG IJ
I= −
16 i
[2π i (R1 + R 2 + R 3 )] = −
8 4
−
4
=
16
.
H K
ASSIGNMENT
Evaluate the following integrals by using contour integration:
1. (i)
z
0
2π dθ
5 − 3 cos θ
( ) (ii)
z
0
2π dθ
2 + cos θ
2. (i)
z
0
π dθ
5 + 4 cos θ
(ii)
z
0
π dθ
17 − 8 cos θ
(iii)
z
0
π a dθ
1 + 2a2 − cos 2θ
3. (i)
z
0
2π dθ
5 + 4 sin θ
( ) (ii)
z
0
π dθ
3 + sin 2 θ
4. (i)
z
0
2π dθ
(5 − 3 cos θ) 2
(ii)
z
0
π dθ
(a + cos θ) 2
5. (i)
z
0
π
2
a dφ
a + cos φ 2
(a > 0) (ii)
z
0
2π cos 2θ
1 − 2 p cos θ + p2
dθ , 0 < p < 1
6. (i)
z
0
2π cos 3θ
5 − 4 cos θ
dθ ( ) (ii)
z
0
π cos 3θ
5 − 4 cos θ
dθ
114 A TEXTBOOK OF ENGINEERING MATHEMATICS
(iii)
z 0
2π cos 3θ
5 + 4 cos θ
dθ ( ) (iv)
z0
π cos 2θ
5 + 4 cos θ
dθ
7.
z π a cos θ
− π a + cos θ
dθ ; a > 1 8.
z0
2π sin 2 θ
5 − 4 cos θ
dθ
9.
z0
2π
e − cos θ cos (nθ + sin θ) dθ ; n ∈ I
10. (i)
z0
2π
cos 2n θ dθ ; n ∈ I (ii)
z0
2π dθ
3 − 2 cos θ + sin θ
Answers
π 2π
1. (i) (ii)
2 3
π π π
2. (i) (ii) (iii)
3 15 2 1 + a2
2π π
3. (i) (ii)
3 2 3
5π πa π 2πp2
4. (i) (ii) 2 3/2 5. (i) (ii)
32 (a − 1) 1 + a2 1 − p2
π π π π
6. (i) (ii) (iii) − (iv)
12 24 12 12
F I 2π
7. 2πa 1 − GG a
J 8.
π
9. (− 1) n
− 1 JK
n!
H a2 4
π (2n) !
10. (i) 2n − 1
(ii) π.
(2) (n !) 2
CR
–R O R X
FUNCTION OF COMPLEX VARIABLE 115
f ( z)
We take R large enough so that all the poles of in the upper half plane lie within C.
F( z)
By residue theorem, we have
zC
f ( z)
F( z)
LM
dz = 2πi sum of the residues of
N
f ( z)
F( z)
in the upper half plane
OP
Q
zCR
f ( z)
F( z)
dz + z
f ( x)
F( x)
R
dx = 2πi sum of the residues of
–R
f ( z)
F( z)
LM
in the upper half plane
N
...(1) (∵ on the real axis, z = x)
OP
Q
If we put z = Reiθ in the first integral on the left side, then R is constant on CR and as z
moves along C1, θ varies from 0 to π.
∴ z
CR
f ( z)
F( z)
dz = z π
0
f (Re iθ )
F(Re iθ )
Re iθ i dθ
For large R, z 0
π f (Re iθ )
F(Re iθ )
Re iθ idθ → 0 is of the order
Rf (R)
F(R)
∴
F(Re iθ )
Hence from (1), we have
z
0
π f (Re iθ )
Reiθ idθ → 0 when R → ∞
z
−∞
∞ f ( x)
F( x)
LM
dx = 2πi sum of the residues of
N
f ( z)
F( z)
in the upper half plane
OP
Q
EXAMPLES
C consisting of the semi-circle CR which is upper half of a large circle | z | = R and the part of
1
=M
L − 2 OP =−
i
N (z + i) Q 3
z= i
4
116 A TEXTBOOK OF ENGINEERING MATHEMATICS
Now, z
CR
dz
(1 + z 2 ) 2
≤ z
C R |1 +
| dz|
z 2 |2
≤ z
CR
|dz|
{| z|2 − 1}2
∵ | z|= R on C R
= z
0
π R dθ
(R 2 − 1) 2
and| dz|= R dθ
also, 0 < θ < π
πR
= → 0 as R → ∞
(R 2 − 1) 2
Hence,
∞
zdx
−∞ (1 + x 2 ) 2
=
π
2
Now, 2 0
∞
zdx
2 2
(1 + x )
=
π
2
⇒ 0
∞ dx
2 2
(1 + x )
Example 2. Apply calculus of residues to prove that
π
= .
4 z
z0
∞
2
dx
(x + a ) 2 2
=
π
4a 3
; a > 0.
1
zC
f ( z) dz where Y
L d R 1 UOP
=M
L − 2 OP
MN dz ST (z + ai) VWPQ 2
z = ai
=M
N (z + ai) Q
3
z = ai
−2 −1 1
= 3
= 3 3
= .
(2ai) 4a i 4 a3 i
FUNCTION OF COMPLEX VARIABLE 117
z
C
f ( z) dz = 2πi (Sum of residues within C)
i.e., z
−R
R
f ( x) dx + z
CR
f ( z) dz = 2πi
FG 1 IJ
H 4a i K
3
or z R
−R
1
(a 2 + x 2 ) 2
dx + z CR
1
(a 2 + z 2 ) 2
dz =
π
2a3
...(1)
Now, zCR
1
(a + z 2 ) 2
2
dz ≤ z | dz|
C R | a + z 2 |2
2
≤
zCR
| dz|
(| z|2 – a 2 ) 2
= z0
π R dθ
(R 2 − a 2 ) 2
, since z = Reiθ
πR
=
→ 0 as R → ∞
(R 2 − a 2 ) 2
Hence taking R → ∞, relation (1) becomes,
z ∞ 1
2
2
−∞ ( a + x ) 2
dx =
π
2a3
or z ∞
(a + x )
0 2
4 a3
.
1
2 2
dx =
π
z ∞
2 2
x2
2 2
−∞ (x + a )(x + b )
dx =
π
a+b
(a > 0, b > 0).
closed contour C consisting of the semi-circle CR which is upper half of a large circle | z | = R
z2
z2 a2 a
= lim 2 = – 2 = 2 .
z → ia z
( + ia)( z 2
+ b ) ia
2 (− a 2
b
+ ) 2i ( a – b2 )
Residue of f(z) at z = ib is
z2
= lim ( z − ib)
z → ib ( z + a )( z 2 + b2 )
2 2
118 A TEXTBOOK OF ENGINEERING MATHEMATICS
z2 − b2 −b
= lim 2 2 = = .
z → ib ( z + a )( z + ib) (− b + a 2 )(2ib)
2
2i (a 2 − b2 )
By Cauchy’s residue theorem,
LM a − b OP
z−R
R
2
( x + a )( x + b ) 2
x2
2 2
dx + zCR 2 2
( z + a )( z + b )
z2
2 2
dz = 2πi
MN 2i (a − b ) 2i (a − b ) PQ 2 2 2 2
Taking limit as R → ∞
z ∞
2
x2
−∞ ( x + a )( x 2 + b 2 )
2
dx + Lt
R→∞ z CR
z
2
( z + a )( z + b ) 2
2
dz = π M
L a − b OP
Na − b Q
2 2 2 2
⇒ z ∞ x2
−∞ ( x 2 + a 2 )( x 2 + b2 )
dx + Lt
R→∞ z CR 2 2
z2
2 2
( z + a )( z + b )
dz =
π
a+b
...(1)
Now,
z
CR
z2
( z 2 + a 2 )( z 2 + b2 )
dz ≤ z | z|2
CR | z 2 + a 2 || z 2 + b2 |
| dz|
≤ z CR
| z|2
(| z|2 – a 2 )(| z|2 – b2 )
| dz|
=
R2
(R 2 − a 2 )(R 2 − b2 ) z0
π
R dθ | ∵ | z | = R on CR
πR 3
= → 0 as R → ∞
(R 2 − a 2 )(R 2 − b2 )
∴ From (1),
x2
z ∞
−∞ ( x 2 + a 2 )( x 2 + b2 )
dx =
π
a+b
Example 4. (i) Apply Calculus of residues to prove that
.
z
0
∞ dx
x +a44
=
π 2
4a 3
, (a > 0).
z4 + a4 = 0 ⇒ z4 = – a4 = a4eπi = a4e2nπi+πi
or z = ae(2n+1)πi/4 ; n = 0, 1, 2, 3.
Since there is no pole on the real axis, therefore, we may take the closed contour C
consisting of the upper half CR of a large circle | z | = R and the part of real axis from – R to R.
∴ By Cauchy’s residue theorem, we have
z R
−R
f ( x) dx + z CR
f ( z) dz = z C
f ( z) dz
or z R
−R
1
x4 + a4
dx + z
CR
1
z4 + a4
dz = 2πi ∑R +
...(1)
| where ∑R +
= sum of residues of f(z) at poles within C.
FUNCTION OF COMPLEX VARIABLE 119
πi
The poles z = ae 4 and z = ae3πi/4 are the only two poles which lie within the contour C.
Let α denote any one of these poles, then
α 4 + a4 = 0 ⇒ α4 = – a 4 .
MN dzd (z + a )PQ
3
4 4 4α − 4a4
z =α
1
∴ Residue at z = aeπi/4 is = − eπi/4
4 a3
1 e −πi/4
and residue at z = ae3πi/4 is = − e3πi/4 =
4a3 4 a3
1 LM e iπ/4
− e − iπ/4 1 OP i
∴ Sum of residues = −
2a 3
N 2
=–
2a 3
Q
i sin
π
4
=−
2 2 a3
= ∑R +
.
∴ From (1),
z −R
R
4
x +a
dx
4
+ zCR z +a4
dz
4
= 2 πi
F –i I= π 2
GH 2 2 a JK 2a 3 3 ...(2)
Now,
z CR 4
z +a
1
4
dz ≤ z CR | z 4
| dz|
+a | 4
≤ z
C R | z|4
| dz|
−|a 4 |
= z π
0
Rdθ
R − a4
4 | ∵ |z | = R on CR
πR
= → 0 as R → ∞.
R − a4 4
z
−∞
∞
x +a4
dx
4
=
π 2
2a3
or z0
∞ dx
x +a44
=
π 2
4 a3
.
consisting of the semi-circle CR which is upper half of a large circle | z | = R and the part of
1
3π 3π 1 1
When n = 1, + i sin
z = cos =− +i
4 4 2 2
5π 5π 1 1
When n = 2, z = cos + i sin =− −i
4 4 2 2
7π 7π 1 1
When n = 3, z = cos + i sin = −i
4 4 2 2
π π
i 3i
Of these, only the poles corresponding to n = 0, 1, viz, z = e 4 and z = e 4 lie in the
upper half of z-plane.
π
π i
i z−e 4 0
Residue of f(z) at z = e 4 is Lt 4
Form
i
π
z +1 0
z→ e 4
1
= Lt | By L’ Hospital’s rule
i
π
4
4 z3
z→e
π
1 1 −3i 4
= π
= e
3i 4
4e 4
π π
3i −9 i
Similarly, residue of f(z) at z = e 4 is 41 e 4
1 –3iπ/4
Sum of residues = (e + e–9iπ/4)
4
=
1
cos
3π
− i sin
3π LM
+ cos
9π
− i sin
9π OP
4 4 4 N 4 4 Q
1F 1 i 1 i IJ = − i 2
= G− – + −
4H 2 2 2 2K 4
By Cauchy Residue theorem
z R
−R
dx
1+ x 4
+ zCR 1+ z
dz
4
= 2πi
F− i 2I = π 2
GH 4 JK 2
Taking Limit R → ∞,
z
−∞
∞ dx
1+ x 4
+ Lt
R → ∞ CR z 1+ z
dz
4
=
π 2
2
...(1)
Now, zCR
dz
1 + z4
≤ z
CR | z 4
| dz|
+ 1|
≤ zC R | z|4
| dz|
−1
=
R −1
πR
4
R
z 0
π
dθ |∵ | z | = R on CR
= → 0 as R → ∞
R4 − 1
1+ x
dx
4
=
π 2
2
or z0
∞
Note. The above method can also be applied to some cases where f(x) contains trigonometric functions
1+ x
dx
4
=
π 2
4
.
also.
FUNCTION OF COMPLEX VARIABLE 121
Y
π sin π/2 2
when θ = , mean ordinate is i.e.
2 π/2 π P
Hence, when 0 < θ < π/2,
2 θ y
Mean ordinate lies between 1 and
π
2 sin θ O X
i.e., < <1
π θ
This is known as Jordan’s Inequality.
1.42.2. (b) Jordan’s Lemma
z0
∞ x sin x
x2 + a2
dx , a > 0.
z−R
R
2
x +a
x e ix
2
dx + z
CR
z e iz
2
z +a 2
dz = 2πi
F e I = πie
−a
GH 2 JK –a
Taking limit as R → ∞,
Lt
R → ∞ −Rz R
2
x +a
x e ix
2
dx + Lt z
R → ∞ CR
z e iz
z + a2
2
dz = πie–a
z
z
∞
−∞ 2
x e ix
x +a 2
dx + Lt
R → ∞ CRz z e iz
z + a2
2
dz = πie–a ...(1)
Lt
R → ∞ CR z ze iz
z + a2
2
dz = 0
∴ From (1),
x e ix
−∞ x 2 + a 2 z∞
dx = πi e–a
z∞
−∞
x sin x
x 2 + a2
dx = πe–a
or z
0
∞ x sin x
2
x +a 2
dx =
π −a
2
e .
0
cos ax
x2 + 1
dx ; a ≥ 0.
consisting of a semi-circle CR which is upper half of a large circle | z | = R and the part of real
axis from – R to R.
For poles, z2 + 1 = 0
⇒ z=±i
z = i is the only pole which lies inside C.
e iaz e−a
∴ Res. (z = i) = Lt ( z − i) . =
z→i ( z − i)( z + i) 2i
∴ By Cauchy Residue theorem,
z
e iax
−R x2 + 1
R
dx +
Taking Limit as R → ∞,
z
CR
e iax
z2 + 1
dz = 2 πi
F I = πe
e−a
GH JK
2i
–a
z e iax
∞
2
−∞ x + 1
dx + Lt
e iaz
R → ∞ CR z 2 + 1
dz = π e–a z ...(1)
1
Since 2 → 0 as | z | → ∞, therefore by Jordan’s Lemma,
z +1
Lt
R → ∞ CR z e iaz
z2 + 1
dz = 0 (a > 0)
z ∞
−∞
cos ax
x2 + 1
dx = πe–a
or z 0
∞ cos ax
x2 + 1
dx =
π e− a
2
.
FUNCTION OF COMPLEX VARIABLE 123
z
∞ cosh ax
0 cosh πx
1 a
dx = sec , – π < a < π.
2 2
Sol. Consider
R + i and – R + i.
z c
f ( z) dz where f(z) =
e az
cosh πz
, c is the rectangle with vertices at – R, R,
Y
f(z) has simple poles given by
cosh πz = 0
or eπz + e–πz = 0
or eπz = – e–πz = e(2n+1)πi–πz – R+ i R+ i
(2n + 1)i i
whence, z = ; n = 0, ± 1, ± 2. Of these poles, only z =
2 2
lies inside c.
FG i IJ LM e OP az
Residue at z =
H 2
=
K M d (cosh πz)P –R O R
N dz Q
X
i
z=
2
e ia / 2 e ia / 2 1 ia / 2
= = = e
iπ π πi
π sinh πi sin
2 2
By residue theorem, we get
zC
f ( z) dz =
1 ia/2
z
−R
R
f ( x) dx + z0
1
f (R + iy) . idy + zR
−R
f ( x + i) dx + z1
0
f (− R + iy) . idy
= 2πi .
e = 2eia/2 ...(1)
πi
or I1 + I2 + I3 + I4 = 2eia/2.
Now, | I2 | =
z 1
0
e a( R + iy)
cosh π (R + iy)
idy
≤ z
0
1 2e aR| e aiy ||i| dy
| e π (R + iy) + e – π (R + iy) |
2 e aR dy
=
0 e πR − e − πR
= z2e aR
1
e πR − e − πR
→ 0 as R → ∞ | since – π < a < π.
z−∞
∞ e ax
cosh πx
dx + z ∞
−∞ e a( x + i)
cosh π ( x + i)
dx = 2eia/2
or z
−∞
∞ e ax
cosh πx
dx − z ∞
−∞
e ax . e ai
− cosh πx
dx = 2eia/2 [∵ cosh π(x + i) = – cosh πx]
⇒ z −∞
∞(1 + e ia ) . e ax
cosh πx
dx = 2e ia / 2
⇒ z ∞
−∞
(e ia / 2 + e − ia / 2 ) e ax
cosh πx
dx = 2
124 A TEXTBOOK OF ENGINEERING MATHEMATICS
or
e ax
−∞ cosh πx z
dx =
1
cos
a
2
∞
or
0 e ax
−∞ cosh πx z
dx +
∞ e ax
0 cosh πx
dx =z 1
cos
a
2
...(2)
∴
z
e ax
−∞ cosh πx
From (2),
0
dx = − z 0
∞
e − at
cosh πt
dt = z0
∞ e − ax
cosh πx
dx
z0
∞ e ax + e − ax
cosh πx
dx =
1
cos
a
2
or z ∞ cosh ax
0 cosh πx
dx =
1
2 cos
2
1 a
= sec .
a 2 2
tour C which consists of semi-circle CR, the upper half of a large circle | z | = R and the part
of real axis from –R to R.
For poles, z2 + 1 = 0 ⇒ z = ± i
Only the pole z = i lies inside C.
π
log ( z + i) log (2i) log 2 + i
2
Res. (z = i) = Lt ( z − i) . = =
z→i ( z − i)( z + i) 2i 2i
∴ By Cauchy Residue theorem,
Lt
R→∞ z−R
R log ( x + i)
1 + x2
dx + Lt
R → ∞ CR z log ( z + i)
1 + z2
dz =
2 πi
2i
FG
H
log 2 + i
π
2
= π log 2 +
2
IJ
πi
K FG
H
IJ
K ...(1)
Now, Lt
z log ( z + i)
= Lt
z
.
LM
log ( z + i) OP
z→∞ 2
z +1 z → ∞ z−i Nz+i Q
z log ( z + i)
= Lt Lt = 1.0 = 0
z→∞ z − i z→∞ z+i
Hence, Lt z
z → ∞ CR
z log ( z + i)
1 + z2
dz = 0
⇒ Lt z
z → ∞ CR
log ( z + i)
1 + z2
dz = 0
From (1), z ∞
−∞
log ( x + i)
1 + x2
FG
H
dx = π log 2 +
iπ
2
IJ
K
FUNCTION OF COMPLEX VARIABLE 125
z 1 log ( x 2 + 1)
∞
−∞ 2 1 + x2
dx = π log 2
⇒ z
0
∞ log (1 + x 2 )
1 + x2
dx = π log 2.
ASSIGNMENT
Evaluate the following integrals using Contour integration:
1. (i)
z0
∞
1+ x
dx
2
(ii)
z
∞
−∞
dx
( x + 1)3
2
(iii) z ∞
−∞
2
( x + 1)
x2
2
dx ( ) (iv)
z
∞
−∞
x2
( x + a2 ) 3
2
dx ; a > 0
2.
z−∞
∞
2
( x + a )( x + b )
dx
2 2 2
;a>b>0 3.
z
∞
−∞
x2
( x + 1)( x2 + 4)
2
dx
4.
z0
∞
2
( x + 9)( x + 4)
x2
2 2
dx 5.
z
∞
−∞
x2 − x + 2
x + 10 x2 + 9
4
dx
6. (i)
z ∞
−∞
2
( x + 1) ( x + 2 x + 2)
x
2
dx (ii)
z
−∞
∞ x2
( x + 1) ( x 2 + 2 x + 2)
2 2
dx
7.
z ∞
−∞
2
( x + 4 x + 13)
x
2
dx 8.
z
−∞
∞ dx
x6 + 1
9. (i)
z0
∞ cos mx
x +a2 2
dx ; (m ≥ 0, a > 0) (ii)
z
0
∞ cos mx
( a2 + x 2 ) 2
dx ; m ≥ 0, a > 0
10. (i)
z0
∞ x sin ax
x +k2 2
dx ; a > 0 (ii)
z
−∞
∞ x sin πx
x2 + 2 x + 5
dx
11. (i)
z0
∞
2
(x + a ) (x + b )
cos x
2 2 2
dx (a > b > 0) (ii)
z
∞
0
sin x
( x2 + a2 ) ( x2 + b2 )
dx (a > b > 0)
12.
14.
z−∞
∞
2
x + 4x + 5
If a > 0, prove that
sin x
dx 13.
z
∞
0
x3 sin x
( x + a2 )( x 2 + b2 )
2
dx ; (a > 0, b > 0)
(i)
z ∞
−∞
a cos x + x sin x
x +a 2 2
dx = 2πe–a (ii)
z
∞
−∞
x cos x − a sin x
x2 + a2
dx = 0
eiz
[Hint: Consider f (z) = . At last multiply both Nr and Dr by x + ia and separate real and
z − ia
imaginary parts]
126 A TEXTBOOK OF ENGINEERING MATHEMATICS
0
cos 2 x
(1 + x ) 2 2
dx =
π
2
FG
e
3
1+ 2
H
IJ LMHint: Take f ( z ) = 1 + e
K MN (1 + z
2iz
2 2
)
so that f ( x ) =
1 + cos 2x
2 2
(1 + x )
OP
PQ
2
16. By integrating e − z round the rectangle whose vertices are 0, R, R + ia, ia, show that
(i)
z 0
∞ 2
e − x cos 2ax dx =
e− a
2
2
π and (ii) z
0
∞ 2
e − x sin 2ax dx = e − a
2
z0
a 2
e y dy .
0
cos x2 dx =
1
2
π
2
.
Answers
π π
1. (i) π/2 (ii) 3π/8 (iii) (iv)
2 8a3
π π 5π
2. 3. π/3 4. 5.
ab(a + b) 200 12
π 7π π
6. (i) − (ii) 7. − 8. π/3
5 50 27
π −ma π e − am (am + 1) π − ak
9. (i) e (ii) 10. (i) e (ii) – πe– 2π
2a 3 2
4a
π Fe −b
e− a I π
11. (i)
2(a 2 G
−b )H b 2
−
a JK (ii) 0 12. –
e
sin 2
π ( a 2 e − a − b2 e − b )
13.
2 ( a 2 − b2 )
z
C
sin mx ∞
Example. Evaluate dx , m > 0. [G.B.T.U. (C.O.) 2008, G.B.T.U. 2007]
x 0
Sol. Since sin mx is the imaginary part of eimx, we consider the function
e imz Y
. φ(z) =
z
This has a simple pole at z = 0, which lies on the C1
real axis. Enclose this singularity by a small semi-circle
C2 : | z | = r. Evaluate the function φ(z) over the contour
C2
C shown in the figure consisting of parts of the real axis
from –R to –r and r to R, the small semi-circle C2 and the
large semi-circle C1. Since the function has no singular- –R –r O r R X
ity within this contour, by Cauchy’s theorem, we have
FUNCTION OF COMPLEX VARIABLE 127
z C
φ( z) dz = 0
⇒ z −r
−R
φ( x) dx + zC2
φ( z) dz + z
r
R
φ( x) dx + z
C1
φ( z) dz = 0
⇒
−R x z
e imx −r
dx +
e imz
C2 z
dz +
r
R e imx
x zdx +
e imz
C1 z
dz = 0 z...(1)
Substituting –x for x in the first integral and combining it with the third integral, we
z
get
z
z z
r
R e imx − e − imx
x
dx +
C2
e imz
z
dz +
e imz
C1 z
dz = 0
or z z z 2i
R
r
sin mx
x
dx +
C2
e imz
z
dz +
e imz
C1 z
dz = 0 ...(2)
Now
On C2 ,
z z z
C2
z = reiθ
e imz
z
dz =
C2
1
z
dz +
C2
e imz − 1
z
dz ...(3)
∴
z z z C2
1
z
dz =
0
π
re iθ i dθ
re iθ
=−
π
0
idθ = – iπ
∴ From (3),
C2 z z
e imz
dz = − iπ
Since, |
zC1 z
eimR cos θ|
e imz
dz =
≤1
z π
0
e imR (cos θ + i sin θ)
Re iθ
Re iθ i dθ = i z
0
π
e imR cos θ . e–mR sin θ dθ
∴
zC1
e imz
z
dz ≤ z
2
π
0
e − mR sin θ dθ = 2
π
z0
π/2
e − mR sin θ dθ
sin θ
Also, continually decreases from 1 to as θ increases from 0 to .
θ π 2
π sin θ 2 2θ
∴ For 0 ≤ θ ≤ , ≥ or sin θ ≥
2 θ π π
π
z e imz
z
dz ≤ 2 z 0
π/2
e −2 mR θ / π dθ = −
LM
N
π −2mRθ / π
mR
e
OP
Q
π/2
0
=
π
mR
(1 – e–mR)
As R → ∞, (1 – e–mR) → 0
mR
∴
e imz
C1 z
dz = 0z
128 A TEXTBOOK OF ENGINEERING MATHEMATICS
x
dx − iπ = 0 z
z
0
∞ sin mx π
or dx = .
0 x 2
ASSIGNMENT
Apply calculus of residues to prove that:
1. (i) z0
∞ xp − 1
1+x
dx =
π
sin π p
,0<p<1 (M.T.U. 2013) (ii) z
0
∞ xa − 1
1− x
dx = π cot a π, 0 < a < 1
(iii)
z0
∞ x
1+ x
a −1
2
dx =
π
2
cosec
πa
2
,0<a<2
FG IJ
H K
2. (i) z0
∞ cos x
x
dx = 0 (ii)
z
−∞
∞ cos x
a2 − x 2
dx =
π
a
sin a, (a > 0)
3. (i)
z0
∞ sin mx
2
x( x + a ) 2
dx =
2a
π
2
(1 – e–ma); a > 0 (ii)
z
0
∞ sin πx
x(1 − x2 )
dx = π
4. (i)
z0
∞ log x
(1 + x ) 2 2
dx = −
π
4
(ii)
z
0
∞ (log x) 2
1+x 2
dx =
π2
8
5. (i)
z∞
0 (1 + x2 ) 2
xa FG IJ
dx =
H K
π
4
(1 − a) sec
πa
2
;–1<a<3
(ii)
z ∞
2
xa
0 x − x +1
dx =
2π
3
F 2aπ IJ cosec (aπ); – 1 < a < 1
sin G
H 3K
6.
z0
∞ cos 2ax − cos 2bx
x2
dx = π(b – a) if a ≥ b ≥ 0.
1. Define analytic function and state the necessary and sufficient condition for function to be analytic.
2. If f(z) = u + iv is analytic, then show that the family of curves u(x, y) = c1 and v(x, y) = c2 are
mutually orthogonal. (
3. Using the Cauchy-Riemann equations, show that f(z) = | z |2 is not analytic at any point.
(
4. Find the constants a, b and c such that the function f(z) = – x + xy + y + i (ax + bxy + y2) is
2 2 2
analytic. (
5. Evaluate
z 1+i
0
z 2 dz. (
6.
7.
Evaluate the integral
z3 z
dz where C : | z | = 1.
(
FUNCTION OF COMPLEX VARIABLE 129
14. Evaluate
z C
dz
z−2
around the circle | z – 2 | = 4.
15. Evaluate
z C
(5z 4 − z 3 + 2) dz around the unit circle | z | = 1.
16. If F(α) =
z C
5z 2 − 4 z + 3
z−α
dz which C is the ellipse 16x2 + 9y2 = 144, then find F(2).
17. Evaluate
z C
dz
z2 + 9
where C is | z – 3i | = 4.
F z + 1I 3
18. Find residue of f(z) = GH z − 1 JK at z = 1.
2z + 1
19. Find residue of f(z) = at the pole z = –1. (
z2 − z − 2
z2
20. (i) Find residue of f(z) = at the pole z = –1.
( z + 3 z + 2) 2
2
z2
(ii) Find residue of f(z) = at the pole –1. (
z2 + 3 z + 2
21. Evaluate
z
C
4 − 3z
z2 − z
dz where C is any simple closed path such that 1 ∈ C, 0 ∉ C.
z − sin z
22. Find the nature of singularity of f(z) = at z = 0.
z3
23.
24.
Evaluate
z z−3
z 2 + 2z + 5
C
dz when C ≡ | z | = 1.
Let u(x, y) = 2x(1 – y) for all real x and y. Find a function v(x, y) so that f(z) = u + iv is analytic.
25. Let I =
z f (z)
C ( z − 1) ( z − 2)
dz where f(z) = sin
∞
26. Let ∑b
n=−∞
n z n be the Laurent’s series expansion of the function
1
z sinh z
, 0 < | z | < π, then find
27.
28.
Let f(z) =
15
∑z
n=0
n
for z ∈ . If : | z – i | = 2, then evaluate
z
( z − i )15
C
dz.
f (z)
Let u(x, y) be the real part of an entire function f(z) = u(x, y) + i v(x, y) for z = x + iy ∈ C. If C is the
1
1
32. Let f(z) = then find the coefficient of in the Laurent’s series expansion of f(z)
2
z − 3z + 2 z3
for | z | > 2.
33. If u(x, y) = x3y – xy3 is the real part of analytic function f(z) = u(x, y) + i v(x, y), then find its
conjugate harmonic function v(x, y). ( )
34. Define Harmonic function.
Answers
1 1 2 2
4. a=− , b = − 2, c = 5. − + i 6. –πi
2 2 3 3
9. removable singularity at z = 0 10. a = –1, b = –1 11. 2xy + x + c
1
12. 2xy + c 13. +c 14. 2πi 15. 0
z2
16. 30πi 17. π/3 18. 6 19. 1/3
20. (i) – 4 (ii) 1 21. 2πi 22. removable singularity
23. 0 24. x2 – (y – 1)2 25. – 4πi
26. b–2 = 1, b0 = –1/6, b2 = 7/360 27. 2πi (1 + 15i) 28. 0
1 π
29. − 30. 31. πf ′(0) 32. 3
2e 2
33. x4 + y4 – 6x2y2 + c.