14.3 Cauchy's Integral Formula 14.4 Derivatives of Analytic Functions
14.3 Cauchy's Integral Formula 14.4 Derivatives of Analytic Functions
14.3 Cauchy's Integral Formula 14.4 Derivatives of Analytic Functions
October 24 2016
Theorem
Let f be an analytic function in a simply connected domain D. If
C is a simple closed curve in D then
I
f (z)dz = 0
C
Corollary
R
In a simply connected domain the integral C f (z)dz of an analytic
function does not depend on the path C but only on its end
points, we write also
Z Z ze
f (z)dz = f (z)dz
C z0
Theorem
Let f be an analytic function on a simply connected domain D.
Then there is an analytic function F in D such that F 0 (z) = f (z)
for each z in D and
Z
f (z)dz = F (ze ) − F (z0 )
C
Theorem
Let f be an analytic function in a simply connected domain D. If
C is a simple closed curve in D that encloses a point z0 then
I
f (z)
dz = 2πif (z0 )
C z − z0
f (z) − f (z0 )
Z Z
1
f (z0 ) dz + dz
K z − z 0 K z − z0
The first integral is equal to 2πi and does not depend on the
radius of the circle. The second one converges to zero when the
radius goes to zero (by the ML-inequality).
z3
I
1
2
dz = (2πii 3 − 2πi(−i)3 ) = −2πi
C z +1 2i
Theorem
If f is analytic in some domain D then it has derivatives of any
order which are also analytic functions. Moreover,
I
1 f (z)
f (z0 ) = dz,
2πi C z − z0
I
1 f (z)
f 0 (z0 ) = dz,
2πi C (z − z0 )2
I
(n) n! f (z)
f (z0 ) = dz,
2πi C (z − z0 )n+1
where C is a simple closed path in D that bounds some domain in
D which contains z0 .
I I
z
dz = 2πi
C (z − z0 )2
I
ez 2πie z0
I
dz = , (e z )000 = e z
C (z − z0 )4 6
I
−2πi cos π
I
cos z πi
dz = = , (cos z)00 = − cos z
C (z − π)3 24 12
n!M
|f (z)| ≤ M, and |f (n) (z0 )| ≤ , for |z − z0 | ≤ r .
rn
Let C = {z : |z − z0 | = r }, we have
I
n! f (z)
f (n) (z0 ) = dz
2πi C (z − z0 )n+1
Theorem (Liouville)
If a function is analytic in a whole complex plane and bounded in
absolute value, then it is a constant
Functions analytic in the whole plane are called entire functions.
Theorem (Morera)
If f is continuous in a simply connected domain D and
I
f (z)dz = 0
C