Scribd
Upload
10 views

Cauchy Integral Formula

Uploaded by

ojhajagdish682
Copyright
© © All Rights Reserved
Available Formats
Download as PPTX, PDF, TXT or read online on Scribd
10 views

Cauchy Integral Formula

Uploaded by

ojhajagdish682
Copyright
© © All Rights Reserved
Available Formats
Download as PPTX, PDF, TXT or read online on Scribd
You are on page 1/ 7

THEOREM 18.

8
Existence of a Antiderivative

If f is analytic in a simply connected domain D, then f


has an antiderivative in D; that is, there existence a
function F such that F’(z) = f(z) for all z in D.

Ch18_1
Example 4
Evaluate dz
C z
where C is shown in Fig 18.22.

Ch18_2
Example 4 (2)
Solution
Suppose that D is the simply connected domain defined
by x > 0, y > 0. In this case Ln z is an antiderivative of
1/z. Hence
2i dz 2i
3 z
Ln z
3
Ln 2i  Ln 3


Ln 2i log e 2  i, Ln 3 log e 3
2
2i dz 2 
3 z loge 3  2 i
Ch18_3
18.4 Cauchy Integral Formulas
THEOREM 18.9
Cauchy’s Integral Formula
Let f be analytic in a simply connected domain D, and
let C be a simple closed contour lying entirely within D.
If z0 is any point within C, then
1 f ( z) (1)
2 i 
f ( z0 )  d z
Cz z
0

Ch18_4
THEOREM 18.9

Proof
Let C1 be a circle centered at z0 with radius small
enough that it is interior to C. Then we have
f ( z) f ( z)
C z  z0 d z  C1 z  z0 d z
(2)
For the right side of (2)
f ( z) f ( z0 )  f ( z0 )  f ( z )
C1 z  z0 d z C1 z  z0
dz
(3)
dz f ( z )  f ( z0 )
 f ( z0 )   dz
C1 z  z C1 z  z0
0

Ch18_5
THEOREM 18.9 proof
From (4) of Sec. 18.2, we know
dz
C z  z0 2 i
Thus (3) becomes
f ( z) f ( z )  f ( z0 )
C1 z  z0 d z 2 i f ( z0 )  C1 z  z0 d z (4)
However from the ML-inequality and the fact that the
length of C1 is small enough, the second term of the
right side in (4) is zero. We complete the proof.
f ( z )  f ( z0 )   
C1 z  z0 d z  /2 2  2  2
Ch18_6
 A more practical restatement of Theorem 18.9 is :

If f is analytic at all points within and on a simple


closed contour C, and z0 is any point interior to C,
then 1 f ( z)
f ( z0 )  
2 i C z  z
0
dz (5)

Ch18_7

You might also like