Complex Integration

"The concept of definite integral of real functions does not directly extend to the case of complex functions, since
real functions are usually integrated over intervals and complex functions are integrated over curves.
Surprisingly complex integrations are not so complex to evaluate, oftenly simpler than the evaluation of real
integrations. Some real integrals which are otherwise difficult to evaluate can be evaluated easily by complex
integration, and moreover, some basic properties of analytic functions are established by complex integration
only."

2.1 LNE NTEGRAL N THE OMPLEX PLANE



 f  x dx,   f


x   

   
  
        
       
 line integrals 


C
fzdz

fz path of

integration 
 
ztxtiyt atb
   t      
smooth
     ta b 
  zazb   
 
  

  B

 

 

 C2

 


  
1

2
P

 andjoinedendtoendas

C1
showninFig...


 
  

A




 
  



 

 



 

 

0
  


  =(
+ +­.

  
 
  
Hence,     4 (+
   

 
 € €

 

 

–
  ‚
 






ƒ
 „



 … – † 0
  †

 
 
 


–  
€
 
      +

€
( +)


 + (   )    (+ )
 = [ –‡0– 
 €


 
 
ˆ– 
  




€

 
†
€


  

 Y

  

 
P(1, 1)

  

    y=x
  
    
 

   
X

    O M(1, 0)
     
   




 
 



 

 


  


         

    
 


 
 



 






 


                     ­ 
  

   

    
  €

  

‚‚ ƒ  ƒ

    ‚‚ 

 
 
   


   

  
 
 



 


   


   


 
  
  


    
       
 
 
   

  

‚‚ 

  

  4


  +),andalsoalong
Y
  0
0

 
(0, 1) B(1, 1)
  
0

  C

  
0

 
  0
0

 
X
O(0, 0) A(1, 0)

   
   
Thus, 

|  



 


 )


 )


 
  

 4 4 
   – –

   





0



0
   ­
 
  
   
        

 
   
  
  

€

.
Nexttheminimumvalueof+on‚

2
ƒ – 0 2  5  4„  y

 
   
  
    … 
  (0, 1)A
4 P
90°
   5  C

†‡‚ƒ

O x
   B(2, 0)



 
4
     0ˆ 
  



 ‰ 


ƒ

  
 
0 
     
 
  

Simply connected domain. simply connected domain D

 DD

multiply connected
       
              z     

  





    


(a) (b) (c)



   

Theorem .1: (Cauchy’s Integral Theorem) If f(z) is analytic and f (z) is continuous in a simply
connected domain D, then for every piecewise smooth closed curve  in D the contour integral


C
f
zdz 



Proof.  f
zu ivdzdx idy


C
f
zdz  
C

u iv
dx idy

 
C


udxvdy i
vdx udy
C


­

   
€f 
z       D
   

‚ƒ    €„

…
 


­


C
f
zdz  
E
v u

x y


dxdy i  
E
u v

x y


dxdy, 

„

       





€ f
z   u  v   †‡ ˆ

‰   
   

„ Š 




  

analyticity of f(z) is only sufficient but not a necessary condition for (2.4) to be true.



 
 
 
a  n
C



fz zz



 simple connectedness of the domain is essential one­ 

C
dz
z
 i,

z€
 ‚fz z


 




 
C
z dz  
C
z dz  
C
dz
z  ƒz + „

dz  
C
 dz

z 
  …  fz   z  
  z   f z   z  
…



C
z dz 


…fz z  z ††€
 
z ‚fzf z


C
z dz 

 
…fz   z €
              


z 


C

    
dz 

…fz   
‡

ˆz 

  
 

z dz  eŠie id i d i

C ‰ ‰
  

 
  
  
   
 
 




,in  

  


andandntnthehiefthepath t.Animprtantnequenef
Cauhy’theremitlkfrtheituatinwhenthelineintegraliindependentfpathina
dmain  

    

 



  


and

beanytwpintin andbetwarbitrarypathin

 
 ­
ameabutwithrevererientatinahwninFig..8b. Webervethat   ia
pieewiemthimpleledurvein­€ 


  ‚

 ƒ0  


 ƒ– 
‚

 


 
 ƒ 


 

„
„
                …  
   
Q

Q Q
S

C1 C1
C1 C2
C2•
C2
R
P
P
(a) (b)

P
 

 
  †
ntinuulyint,refertFig..‡,keepingtheendpint

  

C


 

 … C2

 

  
  C4
   1  
C3

     

  C1
  
   



 

 

 

 …
 

    


     

  
     
00

1
   
00 10
  10 1
  .
    1 Y P(1, 2)

 ­   
  01

   
  = 1  and 1 I
‚
II
   


€
1

1
1 1– 11
 III

ƒ 
„001…=and
O(0, 0) II A(1, 0) X

ƒ „10…1=‚+
 


 
‚ 
1 (    )
3
 1
     1   – 11
 3 3 
€ €

ƒ …  , €  1…    , thu=‚+ and


414

  
‚ ‚
  
      1   ‚+† ‡††+†14
 € €


‚
1
 ˆ‡€†+‡‚]– 11

€

 …   ‰  

i
analytiintheentiremplexplane,thevaluefthelineintegral

  
  
  

  



  

   
         


 C



 
a



 r
G


Γ


 

 


   
 π ­ θ π


Γ







 

 θ 

€

€

 
  

π   

Γ
     
    

‚





ƒ


  


         

 „ 

……ƒ

  
 


†
ƒ  



    
…  

…  ‡
 
 

 ‡ 


 

… 






…    
       D(–1, 1) C(3, 1)
… ‡ ‡ … ˆ


         
 
 
A(–3, –1) B(3, –1)
    
‚        
‰ 
 

   



   


   

  

  

  


  
 



 

 

 



    



   
 



    



 






  






  

 
 






 

 Y


 



 

 
 
 –2
C2

0
C1 C
X


 

  





  
    

 
            

 
  






 




 
   
 
 

 


     

 
 





     
   

  
 

  

 


     
   




 

  
 

       


  
  
 

 

         
 

      
  

    


 


           



     

­    ­    
€
   ‚     




€
‚ƒ

 „ 

€…†…


­‡­­ƒ

 ˆ  

  ­  ‡‚  

‚ 

ƒ ‰ ƒ
 Š
 
 
€  …  

 
  
€

     €


…   …
  … 

  €
  
€
…  
 
 


  

  

   

  q 
 
ofasimplyconnecteomain
 dd d dd
.Theresultisoffunamentalimportanceanisstateasfollows.
Theorem 2.6(Cauchy’s integral formula):   
 
     



 

  
  
 1

  
  


 ( )
Proof.
beacirclewithcentreanraius
 
  
dd dasshowninig..,thusbytheextensionof
Cauchy’sintegraltheorem,
              


 ( )
  
  

  
  
 

  
 C

C1
D

        r
 


  
 

  
­ 1 z0

1€‚

 
 



  
 



ƒ„1

                …        …
…… 

  
  

  
…… 
…  …

…… 1†

‡ ˆ„ 

ˆ …‚‰ …‚‰
 1† 

…        …  
…… 

…  …
…… 


…… 

  

 


  



  
  
   

 

  
  





 
   


 

y


 

      
    C
 





          

 ­     x
(0, 0) (1, 0)
 




 



 


 
 


   


  


 


  € 


  


‚
ƒ„


 





 

        
 

  
   
     



 


…
† 
…
  


 

‡ ˆ„ 

   



         
ƒ
   

  

 ­ ‰ Š‰

  € 

  

 €    ­  
    ­

   
  ‚‹„‡ ˆ

  

f )z)=

  
C
 ( 
(      
dzn2 2

where  s any smple closed path n D taken n counter-clockwse sense.

 



fz)=

   C
 ( 
  
dz

 


 d

 zweobtain

f z) =

  
C
 ( 
(     
dz 27



  f z) =

  
C
 ( 
(   
dz  d
 

f (n)z) =

  
C
 ( 
(       
dz




ez
 
 
C
z
dz ­z­€ 
 ‚€
 


 ƒ I
C

dzHfzez
  


 „ dd„ 
d

­z­

z0zliesinsie|z­H 
 
…d 



ez     
I 
C
z 
dz
   
( 
 


 z  
  
C
z z  2  z  †  
dz ­z‡3­2
 ‚€
 

 z  
 ƒ I 
C
z z  2  z  †  
dz


 d


z02 d†z2 d†


d
 
d  ‚

d anˆ,asshownin‰ig.ˆ.9,lyingcompletely
within
 „
z2 dz†Š


d
 

I„
  

 Y
  

         


  

        

          
       



O
C1

2 3
C2

4
• X

             
    
 
             

 

  

 


 

          
   
 
          

       
  




     
   




    
  


 
   


   
 
 Y

3i
     
    

  


i
     
–2 2
        X
   –1
–i
                 
­              €
‚ƒ „ –3i
…  „               
  
 
 €‚ƒ 

     
 „

 




    



 † ‡

  † ‡„ 
 † ‡ ˆ
   

 
ˆ
  

  

 
 


    

 

     

 

 



 

 


 
­ €

  

 

    



 

      


  







       

 
 
   

    
  


 
    
    

 
 =

 

        

 
 
 

  
 ­


         

 

  

. (a)  (b)  (c) 6

() ( 1   (e) –( + ) (f)

  
   
 
   !   
4. – ( – ) cos (6)


. Contour integral .  . b
4. a . b 6. c
_
.  is analytic nowhere. . b 9. sin  is analytic everywhere
. b . c . 
. b 4. c . erivatives of all orers
6. c . b . c
9. inefinite integral . c