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 
 
ztxtiyt atb
   t      
smooth
    ta b 
  zazb   
 
  

  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: (Cauchys 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
zuivdzdxidy


C
f
zdz  
C

uiv
dxidy

 
C


udxvdyi
vdxudy
C




   
f 
z       D
   

    


 





C
f
zdz  
E
v u

x y


dxdyi  
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 fzf z


C
z dz 

 
fz   z 
              


z 


C

    
dz 

fz   


z 

  
 

z dz  eie id i d i

C
  

 
  
  
   
 
 




,in  

  


andandntnthehiefthepath t.Animprtantnequenef
Cauhytheremitlkfrtheituatinwhenthelineintegraliindependentfpathina
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
  
   



 

 

 

 
 

    


     

  
     
00

1
   
00 10
  10 1
  .
    1 Y P(1, 2)

   
  01

   
  = 1 and 1 I

II
   



1

1
1 1 11
III

 
001=and
O(0, 0) II A(1, 0) X

 101=+
 


 

1 (    )
3
 1
     1    11
3 3

   ,   1    , thu=+ and


414

  

  
      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(Cauchys integral formula):   
 
     



 

  
  
 1

  
  


 ( )
Proof.
beacirclewithcentreanraius
 
  
dd dasshowninig..,thusbytheextensionof
Cauchysintegraltheorem,
            


 ( )
  
  

  
  
 

  
 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
dzz 
 
 


  I
C

dzHfzez
  


  dd 
d

z

z0zliesinsie|zH 
 
d 



ez     
I 
C
z
dz
   
( 
 


 z  
  
C
z z  2  z  
dzz32
 
 

 z  
  I 
C
z z  2  z  
dz


 d


z02 dz2 d


d
 
d 

d an,asshowninig..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