Professional Documents
Culture Documents
1 . INTRODUCTION
In Sec. 1.2, we shall review the algebraic and geometric structure of the complex
number system. Sec. 1.3 introduces you to the functions of a complex variable.
Further, we shall study the concepts of limits, continuity and differentiability of the
functions of a complex variable in this section. In Sec. 1.4, you will study about
Cauchy-Riemann equations which under certain conditions provide the necessary and
sufficient condition for the differentiability of a function of a complex variable at a
point. A very important concept of analytic functions which is useful in many
application of the complex variable theory is discussed in Sec. 1.5. Lastly, in Sec. 1.6,
we shall introduce harmonic functions which play an important role in applied
mathematics. The temperature T(x, y) in thin plates in the xy -plane and a function
V(x, y) denoting an electrostatic polential in a region free of charges are some of the
examples of harmonic function.
Objectives
After studying this unit you should be able to
define a complex number and represent it as a point in the complex plane;
define a function of complex variable and also the limit, continuity and
differentiability of a function;
use the Cauchy-Riemann equations to prove the differentiability of a function of a
complex variable at a point;
define the analyticity of a function at a point and discuss it.
Remark 1: Every open and convex set (any pair of two points of it can be joined by a
line segment lying in the set) is a connected set but every open connected set may not
be convex (see Fig. 16 page 3 1 of the book).
Remark 2: Union of two open connected sets may not be an open connected set. For
example, see Exercise 5 on page 32 of the book, S = (z :I z 1 < 1 or I z - 2 1 < I). Here
z, cannot be joined to z, by a polygonal line without crossing the boundary (see
Fig. 1
Fig. 1). Thus S is not connected but is open.
Read Sec. 11, Chapter 2 of the book from pages 33-35. Go through all the
four examples and do the exercises l(c), l(d), 4 on page 35 of the book.
1.3.1 Mappings
To display information about the function w = f (z) ,by indicating pairs of
corresponding points z = (x, y) and w = (u, v) , it is simpler to draw the z and w
planes separately and this is referred to as a mapping or transformation. Through this
we can understand the concept of mapping and get an idea of finding the image in
w-plane of any region in z-plane under the transformation w = f (2).
Read Secs. 12 and 13, Chapter 2 of the book from pages 36-42. Do the
exercises 4,5 on pages 42,43 of the book.
Sec. 14 introduces you to the finite limit of a function. Sec. 15 gives you some
theorems on limits. These theorems help you in establishing a connection between
limits of functions of a complex variable and limits of real-valued functions of two
real variables. Here in addition to the results given in Sec. 15 we would like to add
another result on the limit of a function of a complex variable which we are giving in
the form of a theorem as follows:
Theorem 1: If f(z) has a finite limit at z, then f(z) is a bounded function in some
deleted neighbourhood of z, .
Since lim f (z) exists as a finite complex number, we can take it as some complex
z+zo
I I
number w, and write f(z) - w,l < E whenever, 0 < z - z,l < 6 . Hence, for any z
in the neighbourhood.of z, , we find that
I
where M = E + wOI is some finite number. Therefore f (z) is bounded in some
neighbourhood of z, .
***
Let us once again consider Theorem 2 on page 47 of the book. Property (9) has been
proved using Theorem 1 on page 46. Let us now see how this result can be proved
directly by using the definition of the limit of a function of a complex variable.
To prove the result using the definition of limit we write, for given E > 0 3 6,, 6, > 0
such that
( f ( z ) - w , ( < E , whenever o<Iz-z, 1<6,,
and (F(z)-W, I < & , whenever o < ( z - z , ( < 6,.
Now to get introduced to the limit of a function at a point at infinity and infinite limits
you may read the following:
Before we ask you to solve some problems we give you some more examples to have
a better grasp of the concepts covered in Secs. 14-16.
Complex Analysis Example 1: Show that lim(2x + iy2) = 4i
z+2i
Solution: For each positive number E we must find a positive number
6 such that
12x+iy2 -4il< E whenever, 0 < ( z - 2 i l < 6 . (1)
To do this we write
E E
Therefore, ( y - 2 / I y + 2 1 < -.5= - . Hence, fiom the two conditions;
10 2
E
the appropriate value of 6 is 6 = min
1
Example 2: Show that lim 7= 0
z+m z
Solution: For a given real number E > 0 ,we want to determine a real
number 6 > 0 such that
X
1 --1 )
< E whenever z > -
1
6
1 1
I1 1
Now, T 1 < ~ 3 ) z I > - . ~ h u s w e c a n t a k e 6 6 & . Withthischoi~g.of6,we
&
find
I -$1 < E whenever I z 1 > -61.
Fig. 2
With this background you may now move on to the next section.
1.3.3 Continuity
This section introduces you to the continuity of the function of a complex variable at a
point.
After you have gone through Sec. 17 of the book we would like you to notice that
result given by Eqn.(6) of Theorem 2 on page 53 can be Stated as follows:
If f(z) is continuous in a closed region R , then it is bounded in R , that is,
If(z1 s M for all z in R and for some M > 0 .
[-4 , z=-2
is continuous for all z .
[
0 ,z=o
is not continuous at z = 0 .
Solution: If f(z) is continuous at z = 0 then
Im z
lim- = lim must exist.
1
z+o z ( (x, Y,-b(O. 0) ,/+yf
But m is a variable i.e., limiting value depends on the path chosen. Hence lim f(z)
z+o
does not exist. Therefore the function is not continuous at z = 0 .
-X-
E3) Find the points in the complex plane at which the following functions
are not continuous.
1.3.4 Differentiation
Secs. 18 and 19 of the book introduce you to the concept of derivative of a function Analytic Functions
f(z) at a point in the complex plane. After going through these sections you must
have realised:
i) A function which is not continuous at a point z = z, cannot be differentiable at
z=zo.
ii) A function which is continuous at a point z = z,, may or may not be
differentiable at z = z, .
iii) The rules of differentiation of a function of a real variable x hold also for a
function of a complex variable z .
***
The following examples may be of help to you for doing the exercises, so go through
them before trying problems.
Example 6: Show that the function f (z) = Z is continuous at the point z = 0 but not
differentiable at z = 0 . Is this function continuous and differentiable elsewhere?
Solution: Let w = f(z) = u(x, y) + iv(x, y) .
f(z) = H = x - iy gives u(x, y) = x, v(x, y) = -y .
Now lim u(x, y) = lim x=O
(x* Y)+(O* 0) (Xu Y)+(OP 0)
Aw Az
Thus, -=-=I.
Az Az
When Az approaches origin vertically through Ay -axis, we get
Complex Analysis
Aw Az
and -=-
A2 Az'
Then,
f ( z + Az) - f(z)
. - ( z + Az)" - zn
-
Az Az
+
1
= (4) ( f ( ~ i z - f(z) = a purely imaginary number.
You may now try some exercises to check your understanding of the concept.
Read Secs. 20,21,22 Chapter 2 of the book from pages 60-68. Go through
Examples 1,2 (Sec. 20), Examples 1,2 (Sec. 21) and Examples 1,2 (Sec. 22).
Let us once again look at the Theorem on Page 62, Sec. 20, of the book. Here we are
giving another proof of the theorem for your reference.
Let f(z) = u(x, y) + i v(x, y) and fl(z) exists at z, = x, + iy, .
Keeping yo fixed, we write
lim v(X'yO)- V(XO'YO)both exists. In other words partial derivatives ux(x,, yo)
x+xo X-Xo
After going through Sec. 20 and Example 1on Page 63 of the book you must have
noticed that if a complex function is differentiable at a point then at that point C-R
equations must be satisfied by the real and imaginary parts of the function. However,
these equations are merely necessary conditions they do not guarantee the
differentiability of a complex function at a point as illustrated in the following
example.
Solution:
av av al al
Obviously, -= -= 0 and -= -= 0 , since u(x, y) and v(x, y) are
ax ay ax ay
constants (taking value 0) along real and imaginary axes or,
Complex Analysls
ux = lim U(Xy - U(o' O) = 0 etc. Thus C-R equations are satisfied at z = 0 .
x-bo X
On the other hand,
f(z)-f(0) =- m
z-0 x+iy
Putting x = r cos 8 and y = r sin 8 in the above equation, we find that
f(z) - f(o) - Ji.'EosesUlel=d m .
e-ie
(4)
z-0 r(cos8+isin8)
The right hand side of Eqn.(4) is independent of r .
If we consider the line x sin 8 - y cos 8 = 0 and keep 8 fixed (see Fig. 4),
then f(z) - f(") remains constant equal to , / m e - " for points arbitrarily
z-0
close to 0 . If 8 = 0 or 8 = R / 2 the constant value is 0 but for 8 = R / 4 this constant
1-i
takes the value -.
/ O X
2
Therefore, lim f(Z)- f(o) does not exist. Hence f(z) is not differentiable at z = 0 .
Fig. 4 z-bo z-0
-x-
Thus the C-Requations are not sufficient for the existence of derivative of a
complex function. At this juncture it is clear that we need some additional
hypothesis(es). Surprisingly what we require is nothing more than the continuity of
the partial derivatives in some neighbourhood of the point at which differentiability is
required. This fact has been stated in the theorem on Page 63, Sec. 2 1. Proof as given
on page 64 is straight forward except Eqn. (2) which needs some explanations. In
fact, derivation of Eqn. (2) needs an elementary argument of two-variable calculus
(the mean-value theorem). We hope the explanation given below will make your task
easier.
Consider
Au=u(x, +Ax, yo +Ay)-u(xo,yo)
=(u(x0 +AX, yo + Ay) - U ( X ~ , Y+OAY))+(U(XO,YO
+AY)-u(xo,Yo))
=Ax-(x,
a,l +8Ax,yo +Ay)+Ay-(x,,
all yo +$Ay), where 8 , $ ~ [ 0 , 1 ]
ax dy
[by the Mean Value Theorem of 2-variable calculus].
Since partial derivatives are continuous we may deduce that
Au = Ax-
a,l + Ay-a,l + (&,Ax+ s2Ay).
or,
ax dy
E AX E AY
We can replae E, by
Jm
then, A u = A x ( ~ ) + A Y ( $ ) + ~ h d . , ' + ( b y ) '
Do the exercises l(c), l(d), 2(a), 2(d), 3(c), 4(c) on page 68 and exercises 5,
6,10(a), lo@) on page 69 of the book.
E4) Show that the function f (z) = x3 + 3xy2 + i (y3 + 3x2y) is differentiable only at
points that lie on the coordinate axes.
1.5 ANALYTICITY
It is seldom of interest to study functions that are differentiable at only a single point.
Complex functions that have a derivative at all points in a neighbourhood of a given
Complex Analysis point deserve further study. This section is about these functions called analytic
functions.
After going through these sections you must have noticed that being analytic at a point
is much stronger condition then having derivative at that point. A function may have
derivative at a single point without being analytic there. Look at f (z) = I z l Z
(Example 2, Sec. 18 on page 55 of the book). It is differentiable only at z = 0 but it is
not analytic at any point.
Theorem on page 71 of the book sounds familiar: If the derivative of a function is
identically zero in a domain D then the function is constant throughout D . At this
point, we would like to point out the importance of connectedness of D . This
theorem will not be true if the domain D is merely an open set. For example, if the
open set D is the union of two disjoint open discs Dl and D z as shown in Fig. 5.
Fig. 5
Example 12: Suppose that f (z) is analytic in a domain D . Prove that f(z) is I
constant if Re f is constant. Fig. 7
Solution: Let f(z) = u + iv . Then Ref = u . It is given that u is constant therefore
u, = u, = 0 at every point of D . Since f is analytic in D therefore it satisfy C-R
equations. Therefore,
U, = v y and u, =-v,
a v, =Oand v, = O ateverypointof D
Now f l ( z ) = u , + i v, =-i u, + v , = O V Z E D .
Then by Theorem on page 71 of the book, f is constant.
-X-
Before we ask you to try some,. exercises on your own we make the following remark.
Remark: Failure of C-R equations signals non-analyticity. You have already seen
that a non-constant real-valued function defined in a domain is non-analytic. As a
consequence, many functions derived from an analytic function become non-analytic.
For example, none of I f 1, Re f , Im f is analytic anywhere.
Read Sec. 25, Chapter 2 of the book from pages 75-78. Read examples 1-5
carefully. Go through Theorems 1-2 carefully.
Because harmonic functions satisfy Laplace's equations in two dimensions, they occur
widely in applied mathematics. Here we shall discuss in brief a few physical
situations where these functions occur. In Unit 6 we shall discuss in detail some more
applications of harmonic functions.
Complex Analyels Harmonic functions are solutions to many physical problems. Applications include
2-dimensional models of heat flow, electrostatics, and fluid flow etc. First we
demonstrate how harmonic functions are used to study fluid flows. We assume that an
incompressible, frictionless fluid flows over the complex plane and that all cross
sections in planes parallel to the complex plane are the same. Situation such as this
occur when fluid is flowing in a deep channel. Suppose we have a solution
4 = $(x, y) of Laplace's equation in two-dimensions and suppose that 4 is
expressible as Re w for some analytic function w . Therefore 4 possesses a
harmonic conjugate ty = Im w ;which also satisfies the Laplace's equation.
In the context of 2-dimensional fluid flow, 4 is the velocity potential and tp is the
stream function. The function w = 4 + ity is called the complex potential. Its
derivative
V(z) = w'(z) = 4, (x, y) + itp, (x, y) = -
ax ax
determines a vector field which models the velocity of fluid motion (see Fig. 8).
Obstacle
,
Fig. 8: The vector field V(x, y) = Q, (x, y) + iy (x, y) ,which can be considered as a fluid flow
It can be seen, using elementary vector calculus, that each curve 4 = constant is
orthogonal to each curve ty =constant. The latter curves follow the direction of the
fluid flow and are known as stream lines. 4 = constant are called Equipatentials.
(see Fig. 9).
I
I I ,
Equipotential
\ \ '
Streamlines
Fig. 9: The families of orthogonal curves ~ ( xy)
, = const and y(x, y) = const
Let us consider the following example.
Example 13: Show that the harmonic function $(x, y) = x 2 - yZ is the scalar
potential function for the fluid flow
I
V(x, y) = 2x - i2y.
Solution: The fluid flow can be written as
-5
( I:
Let us consider the function w(z) = u z + - (1 z ( > a) where u is a positive real
number. You can easily verify that this function is analytic. Thus, its real and
imaginary parts are harmonic. These are given in polar form by
[
cose and y(r, 0 ) = u r-- ar2)sin0.
We have y = 0 for 0 = 0 and 0 = sc ,as well as on the circle r = a . For every large r ,
the streamlines approximate to straight lines parallel to x -axis (real). This example
models uniform 2-dimension fluid flow parallel to the x -axis, into which a circular
cylinder of radius 'a' has been placed (see Fig. 11).
Two-dimensional Electrostatics
The level curves $(x, y) = c, are called the equipotential curves, and the curves
y(x, y) = c, are called the lines of flux. For example, if a small charge is allowed to
move under the influence of E(x, y) ,then it will travel along a line of flux. To be
more specific let us consider the following situation.
We find the electrical potential Q(x, y) in the region between two infinite coaxial
cylinder r = a and r = b ,which are kept at the potential u, and u 2 , respectively (see
~i~.12).'
The function w = log z =.In I z I +i arg z maps the annular region between the circles Analytic Functions
r = a and r = b onto the infinite strip In a < u < ln b in the w -plane as shown in
Fig. 12. Now potential @(u,v) in the infinite strip will have the boundary values
We are seeking a solution 4 (u, v) that takes on constant values along the vertical
lines u = In a and u = In b with 4 (u, v) being a function of u alone, that is,
I$ (u, v) = p(u) for, In a I u I In b and for all v
,
The boundary conditions 4 (In a, v) = p (In a) = u, and 4 (In b, v) = p(ln b) = u lead to
the solution
4(u, V)= U I + U2-U1 (u-lna)
lnb-lna
Since u = In 1 z I ,we conclude that the potential @(x,y) is
(I)(%Y)=u1 + U2 (lnlzl-lna).
lnb-lna
In Fig. 12 you can see that equipotential curves $(x, y) = const are concentric circles
centred at the origin and the line of flux (dotted lines) are portion of rays emanating
from the origin.
1.7 SUMMARY
In this unit we have covered the following:
2) Addition and multiplication properties of complex numbers are the same as for
real numbers.
3) I I
The real positive number ( z = x + i d = Jx2 + y 2 is called the modulus or the
absolute value or the magnitude of the complex number z = x + i y .
5) For any two complex numbers z,, z, ,we cannot write z, < z2 or, z, > z, . We
can however compare the magnitudes of two complex numbers.
Complex Analysis 6) Complex roots of a polynomial equations P(x) = 0 with real coefficients occur in
conjugate pairs.
7) For two non-empty sets S, and S, of complex numbers, a rule f which assigns a
complex number w is S, for each z in S, , is a complex valued function of a
complex variable z and is written as w = f(z).
8) The value of w for a given z = z, ,that is f (z,) is called the image of the point
z = z, under the rule f .
,
10) Limit of f (z) as z approaches z, is a number w ,or that lim f (z) = w ,
z+zo
,
,
means that the point w = f (z) can be made arbitrarily.closeto w if we choose
the point z close enough to zo but distinct fiom it.
12) The function f is differentiable at z, if lim f(Z) - f(zO) exists. This limit is the
z+zo Z-Zo
16) If f(z) = u(x, y) + iv(x, y) is analytic in a domain D then u(x, y) and v(x, y)
satisfy Cauchy-Riemann equation at each point in D .Conversely, if the first
order partial derivatives of u(x, y) and v(x, y) are continuous and satisfy the
Cauchy-Riemann equations in a domain D ,then f(z) = u(x, y) + iv(x, y) is
analytic in D .
18) The real and imaginary parts of an analytic function are harmonic functions.
Exercises on page 35 of the book.
Analytic Functions
I:
Z
1
I
1. (c) f (2)'= -
z + z . Clearly domain of definition contains those complex numbers
z forwhich z + Z # O = 2 R e z#O*Re ~ $ 0 . Y4
Thus domain of definition is (z :Re z # 0).
1
I
Imaginary
axis $
(d) f (2) = -. Again it can be seen easily that the domain of definition
1-1zI2 Fig. 13
consists of those complex numbers for which I z (#1 (i.e. 1- ( z l2 + 0 ). Thus
domain of definition is (z :1 z I# 1) . Geometrically, it is whole complex plane
minus the unit circle centred at the origin (see Fig. 14). It is also open but not
connected for obvious reasons.
In polar coordinates: (r # 0)
Fig. 14
4. w = exp z
j ~ + i v = e ~=ex(cosy+isiny)
+'~
j u = e X cosy, v = e Xsiny
j u 2 + v2 = e Z Xand t a n y = v / u 3 y = t a n - ' ( v / u )
a n d x = l n ( u 2 + v2 )112 .
Now ay = x(a # 0) is transformed to a tan-' (v / u) = ln (u2 + v 2 )112
(,2 + v 2 ) ~ ~-2e a m - l ( ~which
~ ~ ) reduces to p = ea4 (equation of
spiral) in polar form where, p = (u2 + v2)'I2, $ = tan-' (v / u) .
vA
w=eL C'
A
'--' ' .
B'
X
* 0
b
u
Fig. 15
~
I
=
)
zk
Z) (using Property (9) Sec.1S)
( ( x+ )( )
X - ix
IX 1-1
2
=-I
Thus, by letting z approach the origin along real axis, we would find that the
desired limit is 1. An approach along line y = x ,on the other hand, gives the
(zT
Analytic Functions
limit as - 1. Since a limit has to be unique by definition, therefore limit lirn
z+o
=z
does not exist. If we consider, letting z approaches origin along imaginary axis
then I;( 2
= (%)2
9. We are given that lirn f(z) = 0 . By the definition of limit, for a given E > 0 there
z+zg
if lim -A =0
~ + oT(l/ z)
1
if lim- =0
Z-PO a + bz
c + dz
c + dz
if lim- =0
z+o a + bz
if c=O.
a+bz cz+d
if lim-=a/c and lim -- - 0
0 ' 2 c + dz Z-P-d/c az + b
if c#O
13. Suppose S is unbounded. We have to show that every neighborhood of the point
at infinity contains at least one point of S .
b) Do it yourself.
b) On imaginary axis.
- -
Aw (z+Az)-E S+Az-E Az
8. a) Here -=
Az Az
- Az =-,Az
When Az approaches the origin horizontally through the point (Ax, 0) on the
real axis:
Aw Az Aw
In this case, -= -= 1.. Hence if the limit of - exists, its value must
Az Az Az
be 1. However, when Az approaches the- origin vertically through the point
(0, Ay) on the imaginary axis, we find Az = Ax + iAy = 0 + iAy = -iAy = -Az
AW -Az
and-=- dw
= -1. Thus limit is not unique and so - does not exist.
Az Az dz
b) Do it yourself.
i 1. c) f(z)=2x+ixy2.
Here u(x, y) =2x, v(x, y) = xy2.
Thenu,=2,uy=0,v,=y 2,vy=2xy.
If f (z) is differentiable at any point (x, y) then by Theorem page 62 of
the book.
U, = v y and u, =-v,
v, =-sinxcoshy.
For every (x, y) , u, = v, and u, = -v, . Thus every hypothesis of Theorem
on page 63 is satisfied. Hence f (z) is differentiable everywhere and f '(2)
exists everywhere. Therefore f '(z) = u ,+ i v ,.
fl(z)=-sinxcoshy-icosxsinhy.
By the similar arguments we see that ff(z) is also differentiable everywhere
with derivative
f "(2) = - cos x cosh y + i sin x sinh y = -f (z) . 1
3. c) f(z)=zIrnz.
We express f (z) as f (z) = (x + i y) y = xy + i y2 .
Thus, u(x, y) = xy and v(x, y) = y 2 .
First we try to find out those points at which C-R equations are satisfied
i.e., u, = v , and u, =-v,.
Weget y = 2 y and x = O = y=O and x=O.
Thus C-R equations are satisfied only at (0,O) ,i.e. at z = 0 . We see that
being combinations of simple functions (elementary) u and v are
differentiable everywhere, i.e., there is a neighbourhood of z = 0 where partial
derivatives exist and are continuous. Thus according to the Theorems of
Secs.20 and 2 1, f (z) is differentiable only at z = 0 with
f'(O)=uX(0)+iv,(0)=O+iO=O.
1
and r v, = r.e-, cos(1nr)- = e-e cos(1nr).
r
Clearly these partial derivatives are continuous in the given domain and C-R
equations are satisfied. Therefore, Theorem on page 66, Sec.22 says that
function is differentiable in the indicated domain of definition and its Analytic Functions
derivative is given by f '(2) = e-' (u, + i v, )
- e-e sin(1n r) -1 + i e-e cos(1n r)
r
i i f (z)
= -(e-e cos(1nr) + i e-' sin(1n r))= -.
r ele z
Now C-Requations are satisfied only if 3x2 = -3(1- y)2 and 0 = 0 which
imply x = 0 and y = 1. Thus, C-Requations are satisfied only at (0,l) ,i.e.,
z = i . Also observe that in every neighbourhood of z = i ,partial derivatives
exist and are continuous. Therefore f(z) is differentiable only at z = i . It is
therefore legitimate to write f '(2) = u, + i v, = 3x2 + i. 0 = 3x .
6. f ( ~ ) = / $ , when z # 0
(0 , when z = 0
-2 -3
Z Z
Wecanwrite -=-.
z zz
x3 -3xy2
Hence, u(x, y) = 3 (x, Y)* (OYO)
h3 / h 2
Now u ,(0,O) = lim u(h, 0) - 4 0 , 0) = lim-=l
h+O h h+O h
likewise, u, (0,O) = 0, v, (0,O) and v, (0,O) = 1 .
Thus C-Requations are satisfied at (0,O) or at z = 0 .
af
Thus, -=o. [complex form of C-R equations]
az
Exercises on page 15 of the unit.
E4. f ( z ) = x 3 + 3 x y 2+ i ( y 3 + 3 x 2 y ) .
Here u(x,y)=x3 +3xy2 and ~ ( x , y ) += 3~x 2~y .
Now u X = 3 x 2+ 3 y 2 , u y=6xy,vx =6xy and v, =3y2 + 3 x 2 .
If f(z) is differentiable at (x, y) then it must satisfy C-R equations:
U, = v y and u, =-v,
( )
and u, = -28 = -r - = -r v, . C-R equations are satisfied.
2re
Hence, f '(z) exist for all z in the indicated domain and
2. b) f(z)=2xy+i (x2 - y 2 ) .
We have, u(x, y) =2xy, v(x, y) = x 2 - y 2 .
Therefore, u, = 2y, u, = 2x, v, = 2x, v, = -2y and so C-R equations are
satisfied only at (0, 0). This f (z) is nowhere analytic. Note that f '(0) exists.
d
3. Let f (z) and g(z) be any two entire functions. Then by definitions -f(z) and
dz
d
-g(z) exists everywhere in the complex plane. Clearly, fog and gof are
dz
defined in the plane and (fog) (z) = f (g(z)) Vz and (gof) (z) = g(f (2)) Vz .
Then by chain rule: Analytic Functions
d
-
dz
(gof )(z) =
d
g(f (2)) =
d
,
d
~ ( 4
du
[where f (2) = u]
=-g(u).
du
-
dz
= gl(f(z)). fl(z) vz
Ii 3gof is analytic everywhere. Complete the remaining part yourself.
z2 +1
4. c) f(z)=
(2 + 2) (z2 + 22 + 2) '
Singular points are the solution of the equation:
(z+2) (z2 + 2 2 + 2 ) = 0
*z=-2, z = - l f i .
Since f(z) = -('" where P(z) and Q(z) are polynomials we know fmm
i Q(z)
quotient rule of differentiations that fl(z) exists everywhere except at
z = -2, - 1f i because function is not defined at these points.
Observe that partial derivatives exists in the indicated domain and are
continuous there. C-R equations are also satisfied as
r U, = l = v e and u, =O=-r v,.
Hence, g(z) is analytic in the indicated domain.
Again,
gr(z)= e-ie(u, + iv,) = e-"
1
Applying chain rule and gl(z) = - ,we get
Z
7. b) Suppose lf(z)l=c V z c D .
When c=O, then ( f ( z ) J = O a f ( z ) = OV z c D ~ f ( z isconstant.
)
When c # 0 then I f(z)I2=c2
*u2 + v 2 = c 2 [f(z) = u + iv]
Therefore,
&
Now v, = -= cosh x sin y ,therefore
ax
v(x, y) = -cosh x cos y + +(x) and its differentiation partially w.r.t. x gives
v, = -sinh x cos y + +'(x)
3 -u, =-sinhxcosy++'(x)
7. As given in suggestion:
slope of tangent at z, = (x, , yo) to curve u(x, y) = c, is given as
m &fax
- &fay
and slope of tangent to curve v(x, y) = c, is given by
- -
NOWmlm2 = a x ' & =-1 (u, = v y and u, =-v,)
alav
Now families of level curves u(x, y) = c, and v(x, y) = c, where c, and c2 are
arbitrary real constants. (f(z) # 0 for any z E D).
Now,
X
x 2 + yZ
= c I and -Y ,
x Z+ y
= c 2 or Y = -C2.
xZ + yZ
and if c, # 0, =-c2ax
xZ + yZ
Fig. 16
34