1 Cauchy’s theorem

1.1 Simply-connected regions

A region is said to be simply-connected if any closed curve in that region can be shrunk to a point without any part of it leaving a region. The interior of a square or a circle are examples of simply connected regions. In Figure 11 (a) and (b) the shaded grey area is the region and a typical closed curve is shown inside the region. In Figure 11 (c) the region contains a hole (the white area inside). The shaded region between the two circles is not simply-connected; curve C 1 can shrink to a point but curve C 2 cannot shrink to a point without leaving the region, due to the hole inside it.

Figure 11

Three diagrams illustrate the concept of a Cauchy sequence in geometry.

Long description
Key Point 2

Cauchy’s Theorem

The theorem states that if f ( z ) is analytic everywhere within a simply-connected region then:

∮ C f ( z ) d z = 0

for every simple closed path C lying in the region.

This is perhaps the most important theorem in the area of complex analysis.

As a straightforward example note that ∮ C z 2 d z = 0 , where C is the unit circle, since z 2 is analytic everywhere (see Section 261). Indeed ∮ C z 2 d z = 0 for any simple contour: it need not be circular.

Consider the contour shown in Figure 12 and assume f ( z ) is analytic everywhere on and inside the contour C .

Figure 12

A curved closed loop passing through points A, B, C, D, and E is drawn on a coordinate plane, entirely contained within a shaded elliptical region.

Long description

Then by analogy with real line integrals

∫ A E B f ( z ) d z + ∫ B D A f ( z ) d z = ∮ C f ( z ) d z = 0 by Cauchy’s theorem.

Therefore

∫ A E B f ( z ) d z = − ∫ B D A f ( z ) d z = ∫ A D B f ( z ) d z

(since reversing the direction of integration reverses the sign of the integral).

This implies that we may choose any path between A and B and the integral will have the same value providing f ( z ) is analytic in the region concerned.

Integrals of analytic functions only depend on the positions of the points A and B , not on the path connecting them. This explains the ‘coincidences’ referred to previously in Section 26.4.

Task!

Using ‘simple’ integration evaluate ∫ i 1 + 2 i cos z d z , and explain why this is valid.

∫ i 1 + 2 i cos z d z = sin z i 1 + 2 i = sin ( 1 + 2 i ) − sin i .

This way of determining the integral is legitimate because cos z is analytic (everywhere).

We now investigate what occurs when the closed path of integration does not necessarily lie within a simply-connected region. Consider the situation described in Figure 13.

Figure 13

A graph shows two closed curves, labeled with arrows indicating direction, drawn on an x-y coordinate system.

Long description

Let f ( z ) be analytic in the region bounded by the closed curves C 1 and C 2 . The region is cut by the line segment joining A and B .

Consider now the closed curve A E A B F B A travelling in the direction indicated by the arrows. No line can cross the cut A B and be regarded as remaining in the region. Because of the cut the shaded region is simply connected . Cauchy’s theorem therefore applies (see Key Point 2).

Therefore

∮ A E A B F B A f ( z ) d z = 0 since f ( z ) is analytic within and on the curve A E A B F B A .

Note that

∫ A B f ( z ) d z = − ∫ B A f ( z ) d z , being a simple change of direction.

Also, we can divide the closed curve into smaller sections:

∮ A E A B F B A f ( z ) d z = ∫ A E A f ( z ) d z + ∫ A B f ( z ) d z + ∫ B F B f ( z ) d z + ∫ B A f ( z ) d z = ∫ A E A f ( z ) d z + ∫ B F B f ( z ) d z = 0.

i.e.

∮ C 1 f ( z ) d z − ∮ C 2 f ( z ) d z = 0

(since we assume that closed paths are travelled anticlockwise).

Therefore ∮ C 1 f ( z ) d z = ∮ C 2 f ( z ) d z .

This allows us to evaluate ∮ C 1 f ( z ) d z by replacing C 1 by any curve C 2 such that the region between them contains no singularities (see Section 261) of f ( z ) . Often we choose a circle for C 2 .

Example 12

Determine   ∮ C 6 z ( z − 3 ) d z   where C is the curve  z − 3 = 5  shown in Figure 14.

Figure 14

A graph shows a large shaded circle on the complex plane with two smaller circles, labeled \(C_1\) and \(C_2\), contained within it.

Long description
Solution

We observe that f ( z ) = 6 z ( z − 3 ) is analytic everywhere except at z = 0 and z = 3 .

Let C 1 be the circle of unit radius centred at z = 3 and C 2 be the unit circle centered at the origin. By analogy with the previous example we state that

∮ C 6 z ( z − 3 ) d z = ∮ C 1 6 z ( z − 3 ) d z + ∮ C 2 6 z ( z − 3 ) d z .

(To show this you would need two cuts: from C to C 1 and from C to C 2 .)

The remaining parts of this problem are presented as two Tasks.

Task!

Expand 6 z ( z − 3 ) into partial functions.

Let   6 z ( z − 3 ) ≡ A z + B z − 3 ≡ A ( z − 3 ) + B z z ( z − 3 ) .  Then A ( z − 3 ) + B z ≡ 6.

If z = 0 A ( − 3 ) = 6 ∴ A = − 2. If  z = 3 B × 3 = 6 ∴ B = 2.

∴ 6 z ( z − 3 ) ≡ − 2 z + 2 z − 3 .

Thus:

∮ C 6 z ( z − 3 ) d z = ∮ C 1 2 z − 3 d z − ∮ C 1 2 z d z + ∮ C 2 2 z − 3 d z − ∮ C 2 2 z d z = I 1 − I 2 + I 3 − I 4 .

Task!

Find the values of I 1 , I 2 , I 3 , I 4 , using Key Point 1 (page 35):

  1. Find the value of I 1 :

    Using Key Point 1 we find that I 1 = 2 × 2 π i = 4 π i .

  2. Find the value of I 2 :

    The function 1 z is analytic inside and on C 1 so that I 2 = 0 .

  3. Find the value of I 3 :

    The function 1 z − 3 is analytic inside and on C 2 so I 3 = 0 .

  4.  Find the value of I 4 :

    I 4 = 4 π i again using Key Point 1.

  5. Finally, calculate I = I 1 − I 2 + I 3 − I 4 :

    ∮ C 6 d z z ( z − 3 ) = 4 π i − 0 + 0 − 4 π i = 0.

Exercises
  1. Evaluate  ∫ 1 + i 2 + 3 i sin z d z .
  2. Determine  ∮ C 4 z ( z − 2 ) d z  where C is the contour  z − 2 = 4.
  1. ∫ 1 + i 2 + 3 i sin z d z = − cos z 1 + i 2 + 3 i = cos ( 1 + i ) − cos ( 2 + 3 i )  since sin z is analytic everywhere.
  2. A diagram illustrating a contour integral setup in the complex plane with two enclosed circles.

    f ( z ) = 4 z ( z − 2 ) is analytic everywhere except at z = 0 and z = 2 .

    Call   I = ∮ C 4 z ( z − 2 ) d z = ∮ C 1 4 z ( z − 2 ) d z + ∮ C 2 4 z ( z − 2 ) d z .

    Now 4 z ( z − 2 ) ≡ − 2 z + 2 z − 2   so that

    I = ∮ C 1 2 z − 2 d z − ∮ C 1 2 z d z + ∮ C 2 2 z − 2 d z − ∮ C 2 2 z d z = I 1 + I 2 + I 3 + I 4

    I 2  and  I 3  are zero because of analyticity.

    I 1 = 2 × 2 π i = 4 π i , by Key Point 1 and I 4 = − 4 π i likewise.

    Hence  I = 4 π i + 0 + 0 − 4 π i = 0.

  3. Long description