MMP - Complex Variables - 2
MMP - Complex Variables - 2
MANIPAL
ACADEMY of HIGHER EDUCATION
(Dened to be Unihvrsity mder Srction} ofthe UGCAd, 1986)
Department of Physics
First Semester M.Sc Physics
CR equations
Ou au
dx dy ay dx
1
9/6/2.
Analytic functions
A
single-valued function (only single-valued functions will be considered in
this chapter)f(Z) is said to be analytie (regular or holomorphic) in a certain
region of the complex plane if it has a unique derivative at every point in
the region.
ir f(z) is differentiable at z = 0 and in some small region around z0, we say that
re)is analytic at z= Z0. If f(z) is analytic everywhere in the (finite) complex plane, we
call it an entire function
Consider, f(z) =
The origin is asingular point. i.e., fz) is not defined at (0,0). At z = 0, derivative doesn't exist.
1
Z=2, isasingular point.The function f(z) = is analytic everywhere exeept at z-0
(singular point).
Condiderf ) = |z|= z1' = (x +iy)(x - iy) = x+y'
Cauchy Reimann conditions are not satisfied for (x,y) (0,0). Therefore, it is not analytic.
Dr. Mohat Rag K, Depattnent of Physics, MIT
IMaripal, India S76104
4
It follows that the necessary and sufficient condition for afunction w = f2) to be analytic in a domain D is that
the first order partial derivatives of real andimaginary parts of thefunction w(i.e of u &v)exists, continuous and
|satisfy C-R equations at all points in the domain.
Properties of analytic functions
1) If the function is analytic, then it is continuous in that domain.
2) Iff,and f, are analytic in D, then their sum and product are also analytic in Dand the function oz) =f(z)/f,lz)
is also analytic in D when 2) 0.
z2 Is ANALYTIC
Let f() =.Multiplying out(-i-i)=a-'+2i.xy. we identify the real part
of as u(r. ) = - and its imaginary part as vr. )=2ry
=2r= =-2y=
We see that f() = satisfies the Cauchy-Riemann conditions throughout the complex
plane. Since the partial derivatives are clearly continuous, we conclude that f()=is
analytic, and is an entire function.
Dr. Mohan Rao K, Department of Physics, MIT
Manipal, lndia 576104
5
z* Is NoT ANALYTIC
Let f()=*the complex conjugate of z. Nowu=X and v=-r. Applying the Cauchy
Riemann conditions, we obtain
du
=l# -=-1.
The Cauchy-Riemann conditions are not satisfied for any values of r or v and f()=
is nowhere an analytic function of z. It is interesting to note that f() =* is continu
ous, thus providing an example of a function that is everywhere continuous but nowhere
differentiable in the complex plane.
6
9/6/20,
3
3
at
f) enish
an nhre tnckin
DI. Mohan Rao K, Departrment of Physics, MIT
Manipal, Incdia 576104
f(2) =
(ces +ibin)
CAN
Cenhnuws
awd digonoehe
funckog
u of seal eninbles
2/
)
X= Z t 2
Z-2*= y = Zt2
10
Determihe
f) Z+)
C2 )
(i) f2)
2-32+2 2 }2- 2
2-) 2= 2
at 2 =1
Dr. Mohan Rao K, Department of Physics, IT
Manipal, India 576104
11
Contour Integrals
vari
With differentiation under control. we turn to integration. The integral of acomplex close
contour) may be defined in
able over a path in the complex plane (known as a
along the real -axis.
analogv to the (Riemann) integral of areal function integrated
12
6/20
|j-j-il’0
13
limfG;)(2; Zj-1) =
n’oO
f(z) dz.
j=l
The right-hand side of abovejs called the contour integral of f() (along the specified
As an alternative to the above, thecontour integral may be defined by
rX2 Y2
f(z)dz = |[uz, y) +iv(x,y)](dx +idy]
rX2. y2 rX2. y2
=
| [u(*, y)dx - vÚs, y) dy]+i [v, y) dx +u(x. y) dy)
with the path joining (x, y) and (xn, y) specified. This reduces the complex integral to
the complex sum of real integrals.
D. Mohan kao K, Departnent of Physics, MIT 14
Manipal, India S76104
14
regions connected
of a simply
connected
multiply
connected and
Simply equivalent
definitions
connected if (1) all
are three simply
The following complex plane is called belong to the region,
in the only points that
region: A region region contain point, and (3) it
has
within the shrunk to a
closed paths the region can be point, Zi, on the
paths within arbitrary
(2) allclosed cut starting at an separates the
property that every scissor Z, on the boundary
the point,
boundary and
finishing at another
unconnected (two)
pieces.
region into
Simply connected
(a)
15
Department of Physics, MIT
Dr. Mohan Rao K,
Manipal, India 576104
15
Multiply connected
Simply connected
(a) (b) 16
Dr. Mohan Rao K, Departrment of Physics, MIT
Manipal, India 576104
16
Cauchy's Integral Theorem
If a function f(z) is analytic, that is, if its
partial
Some simply connected region R,' for every closedderivatives are continuous throughout
path C (Fig. 6.6) in R, and if it is
single-valued (assumed for simplicity here), the line integral of f(z) around C
is zero, or
17
The symbol means the integral is around a closed path, and the symboly
indicates that the path is traversed in a positive (counterclockwise) manner.
Our convention willbe to traverse the path in such a way that the region of
interest lies to the left. Dr. Mohankao K, Depastent of Pliysics, MII 18
Manipal, Inda 576104
18
Proof:
Stokes' theorem
In this form the Cauchy integral theorem may be proved by direct application of
f(z) = u(x, y) + iv(x, y) and dz =dx + idy.
(2)
19
For the first integral in the last part of Eq. (1) let u=V, andv=-Vy.
uds -vdy)= V, dr +V, dy) = ( ay )dsdy =- ()dndy. )
For the second integral on the right side of Eq.(1) we let u = Vy and v = Vy. Using
Stokes' theorem again, we obtain
20
9/6/2025
02
Consider the
Multiply Connected Regions:
for curves C and C
Cauchy Integral Theorem enclosed between closed
multiply connected domain D
21
f(z) dz =0
22
contours Cand C,where C is
Also the curves EAJ and HGF become closed
the clockwise
raversed in the anticlockwise direction but C is traversed in
cdirection. Thus (1.25) reduces to,
23
This is the moditied Cauchy integral theorem for a multiply connected region.
Obviously, if the multiply connected domain is the region enclosed by
ciosed curves Ci and Ci,C:, . .. Ch (Fig. 1.4), and if the contour of inte
gration is inside C1 and encloses all
the ofher curves. the contributions
cOrresponding to each of the closed
curves Ci.C2. , ..., Ca jnside C have
to be taken into account. Then
j(z) d: - fz) d:
Ch
(z) dz S(z) dz
C1
24
Cauchy'sIntegral Formula
of
Another important and extremely useful relation concerning the integral be
formula. It can
a function of a complex variable is Cauchy's integral
written as
Z-Zo
= 2rif(Z)
analytic within
where Z, is within C. The function f(Z) is assumed to be
C; however, f(Z)/(Z Z) is clearly not analytic at Z
= Zo. For r ’0,
C
Fig (a) is equivalent to Fig. (b)
(b
(a)
25
-dz = f(zo)
z - Zo
-dz + Z- Zo
dz.
Z- Zo
C
Z - Z , = re'; dZ = irio do.
Around the path C', we set
2
I)-fe) dz
dz = 2rif(z0)+R where R =
C/ Department of Physics, MI
C D,. Mohn Rao lK,
Manipal, lndia S76104
26
where R=
f(2)2)- f(20) dz
= 2rif(z0)+ R Z - Zo
C/
fz)
R= dz - 2rif (Z,) (3)
Z-Zo From
small by making radius of the circle C' approaches zero.
We shall now show that R can be made arbitrarily
¬, there exists a 8 such that
the continuity of f(z), for every positive small quantity
If(z) -f(zo)| < ¬, whenever z- Zol < 8
circle
does not depend on r, R is also independent of the radius of the
Since the right-hand side of equation (3)
circle. From the continuity of f (2), |f(z) - f(zo)<¬,
around Zo. Let us choose r such that z Zol< on the
whenever z is on the circle C.
|dzl
R<E
|z- Zol Dr. Mohan Rao K, Department of Physics, MIT
Manipal, India 576104
27
dz = irei8
|dz|
RSE |zl' = zz* |z = vzz*
2T
rde
|dz<' = (dz)(dz") ’ ldzl = (dz) (dz') = r
R< 2TTE
RSe r |z - Zol=r
28
Physics, MIT
Dr. Molhan kao K, Department of
Manipal, india 576104
28
9/6/2025
Morera's Theorem
A further application of Cauchy's
integral formula is in the proof of Morera's
which is the converse ofCauchy's integral theorem.
theorem. The theorem states thc following.
Ifa funciion f() is contiuous in a simplv
even closed cotour C within R. then f() conected regio R and f(vd: =0for
is analvtic throughout R.
29
Consider
dz
Problem, calculate
z(2+2)
formula
f(z) dz= f(z0) with f(3) =1/(+2) and z0 =0. The result Is immedute
27i
C
l= =0.
30
PhysiCS, MII
Dr. Mohan Rao K, Department of
Manipal, tndia 576L04
30
9/61202
Consider now
dz
Problem, calculate
472-1
also integrated counterclockwise over the unit circle. The denominator factors intc
4(-) (:+). and it is apparent that the region of integrationcontains two singular fac
lors. However, we may still use Cauchy's integral formula if we make the partial fraction
expansion
Each integral is a case of Cauchy's fornula with f(z) =l, and for both integrals the
point zo =t+ is within the contour. so each evaluates to 2ri,and their sum is zero. So
|=0.
Dr. Mohan Rao K, Department of Physics, MIT 31
Manipal, India 576104
31
1 f(z)dz
f'zo) = Az0
lim 2ni (2- Zo - Az)(z - Zo)|
1 f()
From continuity of f(z) on C, one can show that 2ri (z -z
32
9/6/2025
1 1 f(z)dz
fl/ (z) = lim fz)dz 1 f(z)
Az»0 2rri AzY (Z- Z0 - Az)2 (z- z)2 2ri .2. (z-z)3dz.
33
[sin' zdz
J(2- a)+
where the integral is counterclockwise on a contour that encircles the point =d.
dz-(sin²z) = 2sinzcosz
with n = 3 and f(z) = sin' z. d
(sin*z)=(2sinz cosz)
8zi (sin²z) = 2(cos'z- sin²z)
- :--kinzen]. J7=0
=
sind co a. dz
dz
(sin'z) = -8sinzcosz
34
15