2959 COMPLEX ANALYSIS HTML VERSION Complex Analysis notes and interactive quizzes by PAUL SCOTT Department of Pure

Mathematics, University of Adelaide

View of River Torrens towards University footbridge Last modified Mon, Sep 12, 2011 CONTENTS Number of different visitors since 13/12/01 :

COMPLEX ANALYSIS INTRODUCTION These web course notes and quizzes have been used since 1999. They have evolved from many years of lecturing this course. However, the basic imprint of the book Complex Analysis and Applications by Churchill et al is still evident. I gratefully acknowledge the inspiration of this valuable book, and refer readers to it. In fact, it is difficult to conceive of a better ordering of presentation for this topic than that provided by this book. I strongly recommend it as a text or reference. Other books which may be useful for reference are: Complex Variables, Polya and Latta (Wiley); Fundamentals of Complex Analysis, Saff and Snider (Prentice-Hall); Complex Variables, Silverman (Houghton Mifflin). I hope you find these notes and quizzes useful. Please send any comments or corrections to the author.

1. COMPLEX NUMBERS A short history The history of the complex numbers is very interesting. By the 16th Century, although no-one understood exactly what a complex number was, it was found that complex numbers were a useful tool for solving problems. Later, mathematicians tried to understand the complex numbers. This led in turn to investigations of the real numbers, the rational numbers, the integers and finally the natural numbers. So historically there was a reverse development: the more complicated system was found to be useful early on, and the study of the simplest systems were left till later. Leibniz (1702) described complex numbers as that wonderful creation of an ideal world, almost an amphibian between things that are and things that are not.

Definition Complex numbers are defined as ordered pairs z = (x, y) of real numbers x and y. We shall define addition and multiplication of these numbers shortly. We identify the pairs (x, 0) with the real numbers x. This means that the real numbers can be thought of as a subset of the complex numbers. Complex numbers of the form (0, y) are said to be pure imaginary numbers. The numbers x and y are now called the real and imaginary parts of z respectively, and we write x = Re z, y = Im z. Operations (I) Equality Two complex numbers are equal if they have the same real and imaginary parts. Thus (x1, y1) = (x2, y2) if and only if x1 = x2, y1 = y2. Sum and Product The sum z1 + z2 and product z1.z2 of z1 = x1 + y1 and z2 = x2 + y2 are defined by: (x1, y1) + (x2, y2) = (x1 + x2, y1 + y2), (x1, y1).(x2, y2) = (x1x2 y1y2, x1y2 + x2y1). This last definition looks pretty weird, but we shall shortly see the reason for it. Operations (II) With these definitions of addition and multiplication, we have (x, y) = (x, 0) + (0, 1)(y, 0). The set of complex numbers of the form (x, 0) act just like the real numbers R. Further, setting i = (0, 1) gives z = (x, y) = x + iy, and we have i = (0, 1).(0, 1) = (1, 0), that is, i = 1.
2 2

Addition and multiplication can now be rewritten as the more usual: (x1 + iy1) + (x2 + iy2) = (x1 + x2) + i(y1 + y2), (x1 + iy1).(x2 + iy2) = (x1x2 y1y2) + i(y1x2 + x1y2). Comments 1. Why did we not just start here? Notice that our derivation of i is firmly based on the real numbers. There is no magic about (1), contrary to the use of the historical word imaginary. 2. We can now perform complex operations by treating the terms as real, and substituting i = 1. Example: (2 + 3i) + (4 + 5i) = (2 + 4) + (3 + 5)i = 6 + 8i, and (2 + 3i) . (4 + 5i) = (2.4 + 3i.5i) + (2.5i + 3.4i) = (8 15) + (10 + 12)i = 7 + 22i.
2

QUIZ 1.1A

QUIZ 1.1B

Algebraic Properties The complex numbers behave in much the same way as the real numbers. In particular they form a field. Some of the laws satisfied are: The Commutative Laws: z1 + z2 = z2 + z1; z1z2 = z2z1; The Associative Laws: (z1 + z2) + z3 = z1 + (z2 + z3); (z1z2)z3 = z1(z2z3); The Distributive Law: z1(z2 + z3) = z1z2 + z1z3. These are easily proved by writing the z s in the form x + iy and using the corresponding properties of the real numbers.

Other Field Axioms We now use the idea of inverse to define division of complex numbers in the following 1 way: z1/z2 = z1 . z2 (z2 0). Try writing this out in terms of the real and imaginary parts! Later we shall give an easier way 1 of dividing complex numbers. Clearly division by zero is not allowed, as z2 is undefined when z2 = 0. The expressions below follow from this definition:

, Example:

As mentioned earlier, complex numbers (like the reals) form a field, C. However, it is not possible to order C. Thus expressions like z > 0, z1 < z2 are meaningless unless the complex numbers are real.

QUIZ 1.2

Cartesian Coordinates We set up the natural correspondence z = x + iy (x, y) between the complex number z and the point (x, y) in the cartesian plane. Each complex number corresponds to exactly one point in the plane, and conversely. For example, 1 + 2i is represented by the point (1,2). Notice how this corresponds to our original ordered pair definition of a complex number. We can think of the complex number z either as the point (x, y) or as the vector from the origin to this point. The plane of such representative points is called the Argand diagram, or the complex plane or the z-plane. The x-axis is called the real axis and the y-axis is called the imaginary axis.

Sum and Difference; Modulus We now have an immediate geometric interpretation of the sum and difference of two complex numbers: Notice the direction of the arrow representing z1 z2.

The modulus or absolute value of a complex number z = x + iy is defined to be | z |= When y = 0, z is real, and we have the usual absolute value of a real number.

(x + y ).

Length and Distance The (real) number |z| denotes the length of the vector representing z, or the distance of the point (x, y) from the origin O. Even though z1 < z2 is meaningless, we can note that |z1| < |z2| is a valid statement, meaning that z1 is closer to the origin than z2. We can extend this idea to see that | z1 z2 | = {(x1 x2) + (y1 y2)}
2 2

is the distance between the points representing z1 and z2. Example: What is the locus of points z satisfying | z i | = 3 ? We are looking at points z which are distant 3 from the fixed point i. That is, a circle of radius 3 and centre i = (0,1). If we expressed z = x + iy, then | z i |=3 becomes the equation of this circle: {x + (y 1) } = 3, or x + (y 1) = 9. Modulus and Conjugate From the definition of | z |, we have 2 2 2 | z | = (Re z) + (Im z) , from which it follows that | z | and | z | | Im z| Im z. |Re z| Re z,
2 2 2 2

The complex conjugate or conjugate of z = x + iy is the number z = x iy. The number is represented in the complex plane by the point (x, y) the reflection in the x-axis of the point representing z. We observe that for all z, = z and | | = | z |.}

More Properties of the Conjugate The following properties are easy to establish from the definitions: = , = . , = / .

We also have Finally,

Re z = z.

(z +
2

), Im z =
2 2

(z

).

= |z| = x + y ,

so for z2

0,

This gives us a nice way to find the quotient of two complex numbers. Example

Triangle Inequality
2

The relation z

= | z | quickly gives | z1.z2 | = | z1 |.| z2 |, | z1/z2 | = | z1 | / | z2 |.

It is also not too hard to derive the Triangle Inequality: | z1 + z2 | Proof: |z1 + z2|
2

| z1 | + | z2 |.

= (z1 + z2)( = (z1 + z2)( +

) )

= z1 + z1 + z2 + z2 2 2 | z1 | + 2| z1 |.| z2 | + | z2 | 2 = (| z1 | + | z2 |)

since z1 | z1

+ z2

= 2 Re(z1

| = | z1z2 | = | z1 |.| z2 |.

It is easy to extend this to larger finite sums: |z1 + z2 + z3| |z1 + z2| + |z3| |z1| + |z2| + |z3|.

More on the Triangle Inequality The triangle inequality becomes clear when seen geometrically, as in the adjacent figure. It just says that the length of any side of a triangle is not more than the sum of the lengths of the remaining two sides. Another useful result is the ModDiff Inequality: | |z1| |z2| | |z1 + z2|.

We can think of this as providing a lower bound for |z1 + z2|. Proof: |z1| = |(z1 + z2) + (z2)| so |z1| |z2| |z1 + z2|. |z1 + z2|, giving the required result. |z1 + z2| + |z2|

Similarly, |z2| |z1|

QUIZ 1.3A

QUIZ 1.3B

Polar Coordinates We say that z = (x, y) has polar coordinates (r, We write z = r cos Example 1+ 3 i = 2(cos /3 + i sin /3). } when x = r cos , y = r sin .

+ i r sin

= r cis

Note that r = |z|. We write = arg z the argument of z. The argument is always expressed in radians. We can find from the relationship tan = y/x. The angle \theta is not unique: thus 2k is equally valid. < arg z . This is the principal value

We use Arg z to denote the value of arg z satisfying of the argument.

If z = 0, arg z is undefined. We adopt the convention that if z is expressed in polar form, then z 0. Using Polar Coordinates We begin with a natural extension: z z0 = cis and = arg (z z0). The adjacent figure illustrates the situation. The polar form is important because it gives a very simple method of multiplying and dividing complex numbers. This is because arg (z1.z2) = arg z1 + arg z2 (*) We shall prove this shortly, but notice that this relation may fail for . Here, r = |z z0|,

the principal value Arg. Example: Set z1 = 1, z2 = i. Then Arg (z1z2) = Arg ( i) = Arg z1 + Arg z2 = + + /2=3 /2, while /2. Proof of the Argument Identity We now prove the identity (*): arg(z1z2) = arg z1 + arg z2. Set z1 = r1 cis
1,

z2 = r2 cis
1+

2.

Now
2+

z1z2 = r1r2 (cos = r1r2 [cos = r1r2 [cos ( = r1r2 cis (

i sin
2

1)(cos

i sin
2+

2)

1 cos

sin

1 sin

i(sin

1 cos

2+

cos

1 sin

2)]

1+

2)

+ i sin (

1+

2)]

1+

2)

So any argument of z1 plus any argument of z2 is an argument of z1z2. On the other hand, if arg(z1z2) = and arg z2 = 2 + 2k .
1+ 2+

2k

, then for example, we could take arg z1 =

1,

Eulers Formula Eulers Formula is:

We will justify this later. But note that

corresponding to cis In particular,

. cis

= cis (

).

The j - Operator

We can use complex numbers to represent geometric transformations in the plane, and we shall develop this idea later. But as an example, consider the mapping z Here we have |i| = 1, arg i = z = r cis /2. So iz = r cis( + /2). /2. f(z) = iz.

That is, multiplication of z by i effects a rotation through This is the Engineers j - operator. Powers and Roots By induction, it is easy to obtain

where there are n factors on the left. Equivalently, we have the well-known de Moivre's Theorem: (cis It follows that ) = cis n .
n

(Feel free to work with either form.) Example

Example: Solve z = 1. Since r cis n = 1, we have r = 1, cos n = 1, sin n = 0

n

= 2k

The distinct solutions are given by z = cis (2k / n), k = 0, 1, ... , n 1. These are called n th roots of unity. If wn = cis (2 / n), the n roots are 2 n1 n 1, wn, wn , ... , wn . Note that wn = 1. The cube roots of 1 occur as the vertices of an equilateral triangle on the unit circle.

General n th Roots We can easily extend the above method to finding n th roots of any w = cis .

For if z = r cis Thus r =

and z = w, then we must have r =

, and n

+ 2k

for integral k.

(the positive nth root),and = /n + 2k /n, k = 0, 1, ... , n1.

Example Find all values of We set z = r cis

4 4

, and z = 1 = 1.cis 0.

Then r = 1 implies that r = 1, and 4 = 0 + 2k implies that Hence the four values of are

= 2k

/4, k = 0, 1, ... , 3.

1.cis 0 = 1, 1.cis 2

/4 = i, 1.cis 4

/4 = 1, and 1.cis 6

/4 = i.

QUIZ 1.4

Regions in the Complex Plane We have already mentioned the complex plane. We look at some terms which describe certain sets in the plane. A neighbourhood or more specifically, an - neighbourhood of z0, is the set of points satisfying |z z0| < . That is, it is the set of points lying inside, but not on, the circle of radius centred at z0. A point z is said to be interior to set S if there is some neighbourhood of z which just contains points of S. A point z is said to be exterior to set S if there is some neighbourhood of z which contains no points of S. A point z is said to be a boundary point of set S if every neighbourhood of z contains points in S and points not in S. All the boundary points together make up the boundary of S. Notice that a boundary point of S need not be an actual point of S. Open, Closed and Connected A set is open if it contains none of its boundary points. In fact, this is the same as saying that every point of S is an interior point. A set is closed if it contains all of its boundary points. Of course a set need not be open or closed. An example would be the ring 1 < |z| 2, which includes its outer boundary, but not the inner bounding circle. Given any set S, we can take all the points of S together with all the boundary points of S to obtain a new closed set called the closure of S, and denoted . (Not to be confused with conjugates!)

An open set is connected if each pair of points of S can be joined by a polygonal path a finite set of line segments joined end to end, which lies entirely within S. Note You may wonder why we insisted on a polygonal path in the above definition. Why not any continuous path? The answer is that a polygonal path is easily defined and understood. A continuous path is a much more difficult concept. Domains and Regions An open, connected set is called a domain. A connected set is called a region. Examples The disk |z| < 1, and the annulus 1 < |z| < 2 are domains. The disk |z| 1 and the annulus 1 |z| < 2 are regions. A set S is bounded if every point of S lies inside some circle |z| = R; otherwise it is unbounded. Examples The annulus 1 < |z| < 2 is bounded (it lies inside the circle |z| = 3). The straight line {z = x + iy | y = 0} is unbounded.

Points of Accumulation We say that point z0 is an accumulation point of a set S, if each neighbourhood of z0 contains at least one point of S distinct from z0. This is a more difficult concept, and is obviously associated with a limiting process. Thus we would expect to be able to find a sequence of points of S lying closer and closer to z0. Lemma S is closed S contains all its points of accumulation.

Proof. ( ) Let S be closed. Then S contains all its interior and boundary points. A point of accumulation of S can not be an exterior point (see the definition of exterior point). Hence S contains all its points of accumulation. ( ) Suppose now that S contains all its points of accumulation. Does S contain all its boundary points? Let z0 be a boundary point of S not in S. By definition of boundary point, each neighbourhood of z0 contains a point of S, so z0 is a point of accumulation of . So z0 lies in S and S contains all its boundary points. Hence S is closed.

2. ANALYTIC FUNCTIONS Functions of a Complex Variable Let D be a subset of C. A function f : D complex number w. We write w = f(z). Notes 1. The set D of numbers that are mapped is called the domain of f. Notice that we now have a double use of this word. Where the domain is unspecified, we assume it to be the largest subset of C for which f(z) is defined. C is a rule that associates with each z in D a unique

2. The set of image elements {w | w = f(z)} is called the range or image of the function. 3. The above definition specifies a unique image for each z definition to include multivalued functions. Examples of Functions Example 1. f(z) = z + iz 3. The domain is C. f(z) = 1/(1 + z ). Here the domain is C \ { If f(z) only assumes real values, f is real-valued. Example 2. f(z) = |z|, f(z) = Re z = x, f(z) = Im z = y. We can break w = f(z) into real and imaginary parts. Thus if w = u + iv, z = x + iy, then w = f(z) = u(x, y) + iv(x, y) Example 3. f(z) = z . Here u + iv = (x + iy) = (x y ) + 2ixy, so u = (x y ), v = 2xy. This expression in terms of real and imaginary parts may be easier said than done! In theory, it allows us to deduce properties of complex functions from our knowledge of the real numbers. Mappings A real function y = f(x) can be represented geometrically by a graph: the set of points {(x, y) | y = f(x)}. To represent the complex function w = f(z) geometrically, in general we need four dimensions or two planes: a plane for the domain, and a plane for the range. For simple functions, we can use the same plane twice. Example 1. w = f(z) = z + 2. This is a translation: each point z is translated through 2 to the point z + 2.
2 2 2 2 2 2 2 2

D. Later we shall extend this

i}.

Example 2. w = f(z) =

This is a reflection in the x-axis: each point z = x + iy (or (x, y)) is mapped to the point (or (x, y)). = x iy

QUIZ 2.1

1. The domain of f = f(z) is the set of image elements. (a) True ; (b) False .

2. If z = x + iy, then the function f(z) = y is real valued. (a) True ; (b) False .

3. Geometrically, the mapping f(z) = - z is a reflection in the x-axis. (a) True ; (b) False .

4. Geometrically, the mapping f(z) = 2z is an enlargement about the origin. (a) True ; (b) False .

Mapping Curves and Regions We shall be mapping curves and regions rather than just points. Example Find the image of the circle x + y = c (c > 0) under w = f(z) =
2 2 2 2 2

(x + y ) iy.
2

Let us set w = u + iv. Then each point (x, y) on the circle x + y = c maps to (u, v) = (c, y), where |y| c. Thus the image of this circle is the line segment u = c, c v c in the uv-plane. The domain of f is the z-plane; the range of f is a quadrant of the w-plane. Notice that z = (x, y) and same point w. =(x, y) map to the

Limits

All work on functions of two variables now carries over directly. A minor difference is that because we are dealing with complex numbers, the length or norm of a vector represented by w becomes the modulus |w| of w. Thus the definition of limit becomes:

means for all > 0, there exists > 0 : for all z, 0 < |z z0| < |f(z) w0| < .

Thus every z in the left disc has an image in the right disk. We may not obtain the whole of the right disc; for example, consider the image of f(z) = constant = w0 : this is just the central point of the second disk

A Limit Theorem (I) Theorem 2.1 If w = f(z) = u + iv, z = x + iy, z0 = x0 + iy0, then

In brief, this theorem says: lim(u + iv) = lim u + i lim v.

Proof (

) Let us suppose that , there exists >0: .

By definition, given

0 < |x x0 + i(y y0)| < We deduce that 0 < |x x0| <

|u(x, y) u0 + i(v(x, y) v0)| <

/2, 0 < |y y0| <

/2

|u(x, y ) u0| <

, |v(x, y) v0| <

This completes this part of the proof. A Limit Theorem (II)

) Now let us suppose that

1

Then there exist 0 < |x x0| < 0 < |x x0| < Choose
1, 0

> 0,

> 0 such that

1

< |y y0| <

|u(x, y) u0| < |v(x, y) v0| <

/2, /2,

2,

0 < |y y0| <

1, 2).

= min(

Then using the given limits,

0 < |(x x0) + i(y y0)| < |(u(x, y) + iv(x, y)) (u0 + iv0)| |u(x, y) u0| + |i| |v(x, y) v0| < /2 + /2 < .

More Limit Theorems Our previous theorem quickly leads to the well-known and useful Limit Theorems. We use an easy to remember abbreviated notation. Theorem 2.2. (Limit Theorems) If lim f, lim g exist, then lim (f g) = lim f lim g lim (f . g) = lim f . lim g lim (f / g) = lim f / lim g (lim g

0)

Proof (a) Set f = u + iv, lim f = u0 + iv0, g = U + iV, lim g = U0 + iV0. Now lim (f + g) = lim (u + U + i(v + V)) (substitute and rearrange) = lim (u + U) + i lim(v + V) (Thm 2.1)} = u0 + U0 + i(v0 + V0) (put in the limits) = (u0 + iv0) + (U0 + iV0) (rearrange) = lim f + lim g. The other proofs are similar.

QUIZ 2.2A

1. Geometrically, the image of f(z) = 2 + i is (a) a point ; (b) a line ; (c) a disk . i) onto

2. Geometrically, mapping f(z) = itself. (a) True 3. If u + iv (a) True ; (b) False .

maps the square with vertices ( 1,

u0 + iv0, then we must have u ; (b) False .

u0.

4. If f(z) = 2 + i and g(z) = 2 - i then (f.g)(z) = 5. (a) True ; (b) False .

QUIZ 2.2B

Theorem 2.1 Proof ( ) Let us suppose that { 1. } By definition, given , there exists >0:

0 < { 2. }

|u(x, y) - u0 + i(v(x, y) - v0)| < /2

. |u(x, y ) - u0| < , { 4. }.

We deduce that { 3. }, 0 < |y - y0| <

This completes this part of the proof. Match the above boxes 1, 2, 3, 4 with the selections:

(a) |v(x, y) - v0| < < /2

(b) |x - x0 + i(y - y0)| <

(c)

(d) 0 < |x - x0|

Continuity Definition Function f is said to be continuous at z0 if f satisfies the following three conditions. (a) f(z0) exists ; (b) lim z Notes 1. Just writing statement (c) assumes the truth of (a) and (b). 2. Expressing (c) in terms of the limit definition, we obtain: |z z0| < |f(z) f(z0)| < .
zo

f(z) exists ; (c) lim z

zo

f(z) = f(z0).

This is slightly different from the usual definition of limit, in that we allow the possibility z = z0 (omitting 0 < |z z0| ... ). Function f = f(z) is said to be continuous in a region if it is continuous at each point of the region. Properties of Continuous Functions The sum f + g, difference f g, product f.g and quotient f/g of two continuous functions is continuous at a point z = z0, with the proviso that in the last case g(z0) 0. These results follow directly from the Limit Theorems 2.2. Examples

1. Polynomial functions The polynomial function P(z) = ai z is continuous forall z since it is constructed as sums and products of the continuous constant functions (ai) and the continuous function f(z) = z. 2. Rational functions The rational function P(z) / Q(z) given by the quotient of two continuous polynomial functions P(z), Q(z) is continuous for all z : Q(z) 0.

Composition of Continuous Functions We can also compose complex functions f, g to obtain the new function f o g defined by (f o g)(z) = f(g(z)). If f, g are continuous, will f o g be continuous also?

Theorem 2.3 The composite function f o g of two continuous functions f, g is continuous. Alternatively, a continuous function of a continuous function is a continuous function. Formally, the proof of this theorem is exactly as for the real case, and is omitted here. Example f(z) = sin (z ) is continuous for all z. By Theorem 2.1, f(z) = u + iv is continuous
xy 2 3 2

u(x, y), v(x, y) are continuous. Thus:

Example f(z) = e + i sin(x 2yx ) is continuous for all z (since the real and imaginary parts are continuous). Definition Say f is bounded in region R if |f(z)| M for all z R.

If f is continuous in R, then f is bounded because of the corresponding properties of u, v. Show this!

QUIZ 2.3

1. If f(z0) exists, then function f must be continuous at z = z0. (a) True ; (b) False . 2. If lim z (a) True
zo f(z)

exists, then function f must be continuous at z = z0. ; (b) False .

1

3. The function f(z) = sin( /z) is continuous everywhere. (a) True ; (b) False . 4. The function f(z) = cos(z ) is continuous everywhere. (a) True ; (b) False .
3

The Derivative Formally, the definition of the derivative f '(z) for functions of a complex variable is the same as for real functions. Let f be a function whose domain contains a neighbourhood of point z0. Then

if the limit exists. In this case the function f is said to be differentiable at z0. It is sometimes preferable to use the alternative form of the derivative obtained by setting z = z0 + z :

Note Since z0 lies in an (open) neighbourhood of the domain of f, f(z0 + small. Examples of the Derivative We can evaluate simple derivatives by using the basic definition. Example f(z) = z .
2

z) is defined if

z is

The usual differentiation formulae hold as for real variables.

For example, However, care is required for more unusual functions. Example f(x) = |x| = x But f(z) = |z|
2 2 2

f'(x) = 2x for all x.

f '(z) exists only at z = 0.

This last statement is proved using the basic definition. Show it! More on the Derivative As in the real case, f is differentiable f is continuous.

The same rules apply for the sum, product, quotient and composite of two differentiable functions (where defined).

Example

(2z + i) = 5(2z + i) .4z = 20z(2z + i) .

Again, with more unusual functions, we may have to use the limit definition of differentiation.

Example Investigate

(Re z).

We get Here we get 0 approaching along x = x0, 1 along y = y0. Hence the limit does not exist.

QUIZ 2.4

1. If function f is continuous at z = z0, then f must be differentiable there. (a) True (b) False . 2. If f(z) = | z | , then for all z, f '(z) = 2z. (a) True (b) False . 3. If f(z) = (iz + 2) , then f '(z) = 4i - 2z. (a) True (b) False . 4. If f(z) = cos(z ), then f '(z) = - sin(z ). (a) True (b) False .
3 3 2 2

Cauchy-Riemann Equations (I) Theorem 2.1 gives us conditions for continuity for a function of a complex variable in terms of the continuity of the real and imaginary parts. We now ask: Is there any test for differentiability? Theorem 2.4 The derivative f '(z) of f = u + iv exists at z vx, uy, vy all exist and satisfy the first order partial derivatives ux,

ux = vy, uy = vx (the Cauchy-Riemann equations). Further, f '(z) = ux + ivx = vy iuy. Proof Since the derivative of f exists,

Cauchy-Riemann Equations (II) By Theorem 2.1, lim Re(*) = a, lim Im (*) = b.

Set y

y0 to get

Set x

x0 to get

Hence all the first partial derivatives exist, ux = vy, uy = vx, and f '(z0) = ux(x0, y0) + ivx(x0, y0) etc. as required. CauchyRiemann Examples 1. Set f(z) = z = (x + iy) = (x y ) + 2ixy. Now f'(z) = 2z exists for all z. So the Cauchy-Riemann equations are satisfied. 2 2 We have u = x y , v = 2xy, and ux = 2x = vy, uy = 2y = vx. Also f '(z) = ux + ivx = 2x + 2iy = 2z as expected. 2. Set f(z) = |z| . We show f '(z) does not exist for z
2 2 2 2 2 2 2 2 2

0.

Now f(z) = x + y , i.e. u = x + y , v = 0, ux = 2x, uy = 2y, vx = 0 = vy. So ux = vy x = 0, uy = vx y = 0. Hence f '(z) can only exist at (0, 0). Does f '(0) exist? Yes; as suggested earlier; we must use a first principles argument. Sufficient Conditions Theorem 2.4 gives necessary conditions for f to be differentiable. We now seek sufficient conditions for f ' to exist: that is, a similar statement, but using . Theorem 2.5 Let f = u + iv as before. Suppose that (i) u, v, ux, vx, uy, vy exist in the neighbourhood of (x0, y0), (ii) ux, vx, uy, vy are continuous at (x0, y0), (iii) the Cauchy-Riemann equations are satisfied at (x0, y0). Then f '(z) exists and at z0, f '(z0) = ux + ivx as before. That is, f is differentiable at z0 the given conditions.

Proof We omit this proof. It is not hard, but rather messy. An Example The real functions u = e cos y, v = e sin y are defined and continuous everywhere. So are ux, vx, uy, vy and you can easily check that the Cauchy-Riemann equations are satisfied. Hence the function f(z) = e cos y + i e sin y is differentiable everywhere. Since ux = u, vx = v, f '(z) = f(z) ( = e cis y = e
x x + iy x x x x

= e ).

QUIZ 2.5

1. If f(z) = u + iv and the Cauchy-Riemann equations hold for u, v, then f '(z) must exist. (a) True ; (b) False . 2. For f = u + iv, the Cauchy-Riemann equations are ux = vy and vx = uy. (a) True ; (b) False . 3. If f(z) = (x - y + 2) + 2ixy = u + iv, then the Cauchy-Riemann equations hold. (a) True ; (b) False . 4. If f(z) is differentiable, then f '(z) = vy - i uy. (a) True ; (b) False .
2 2

Analytic Functions Definitions f(z) is analytic at z0 if f '(z) exists not only at z0 but for all z in some neighbourhood of z0. f(z) is analytic in a domain of the z-plane if it is analytic at every point of the domain. f(z) is entire if it is analytic everywhere. Examples 1. f(z) = |z| is not analytic anywhere. (It is in fact differentiable only at z = 0). 2. f(z) = 1/z is analytic (except at z = 0). 3. f(z) = a0 + a1z + ... + an z is entire.
n 2

If f(z) is analytic throughout a domain except for a finite number of points, such points are singularities or singular points of f. Examples

f(z) = 1/z (z = 0 is a singularity);

(z = 1, 2 are singularities).

Test for Analytic Functions Question How can we tell if a function is analytic? We can use Theorem 2.5, or Theorem 2.6: If f = f(z) is analytic, then in any formula for f, x and y can only occur in the combination x + iy. Proof We note that x = ( /2)(z + as functions of z,
1

), y = ( /2i)(z

). Hence if w = f(z) = u + iv, we can regard u, v and

. Now, w is a function of z alone

equating real, imaginary parts to zero.

Hence f analytic

the Cauchy-Riemann equations hold Analytic Functions: Final Comments

as required.

Example f(z) = sin(x + 3iy) We can say immediately that this function is not analytic, as x and y do not occur in the combination x + iy. In some examples it is less clear whether or not the variables can be combined in this way. Derivative Theorems The theorems on derivatives quickly transfer to analytic functions. Thus the sum, product, quotient and composite of two analytic functions are formed in the obvious ways as before, and each of the resulting functions is analytic on its domain. Harmonic Functions Let f = u + iv be analytic in some domain of z-plane. Then the Cauchy-Riemann equations hold: ux = vy, uy = vx It can be shown that for analytic function, the partial derivatives of all orders exist and are continuous functions of x, y. Hence uxx = vyx and uyy = vxy. Assuming continuity of vyx, vxy, we have vyx = vxy, and hence uxx + uyy = 0. This is Laplace's equation, and u is called an harmonic function. In the same way we get vxx + vyy = 0; i.e. v is an harmonic function. If f = u + iv, u and v are conjugate harmonic functions. (Note the different use of the word conjugate here). Finding Conjugate Harmonic Functions In applied mathematics (partial differential equations) we often seek an harmonic function on a given domain which satisfies given boundary conditions. If we are given one of two conjugate

harmonic functions, it is a simple matter to find the other. We use the Cauchy-Riemann equations. Example Let u = y 3x y. Then u is harmonic, since uxx = 6y = uyy. Now using the Cauchy-Riemann equations, ux = 6xy = vy. Integrating v partially with respect to y gives v = 3xy + 2 2 2 vx = uy = 3y +3x '(x) = 3x . Hence v = 3xy + x + c. You can check that v is in fact harmonic! So f(z) = (y 3x y) + i(x 3xy + c) [= i(z + c) in fact].
3 2 3 2 3 2 3 2 3 2

(x) and now

Theorem 2.6 If f = f(z) is analytic, then in any formula for f, x and y can only occur in the combination x + iy. Proof We note that x = ( /2)(z + functions of z,
1

), { 1 }. Hence if w = f(z) = u + iv, we can regard u, v as { 2 } . So

. Now, w is a function of z alone

+i({3})=0 equating real, imaginary parts to zero. Hence f analytic

{4}

ux = vy, uy = -vx.

the Cauchy-Riemann equations hold

as required.

Match the above boxes 1, 2, 3, 4 with the selections (a) y = /2i (z 1

), (b)

(c)

(d)

QUIZ 2.6A

1. If f(z) is analytic, then f'(z) exists. (a) True ; (b) False . 2. Function f(z) may be differentiable at z = z0, but not analytic near z = z0. (a) True ; (b) False . 3. Function v(x, y) = -3xy + x is an harmonic function. (a) True ; (b) False . 4. The harmonic conjugate of u(x, y) = -2xy is 2 2 2 2 2 2 (a) x + y + c ; (b) - x - y + c ; (c) x - y + c
2 3

QUIZ 2.6B Theorem 2.6 If f = f(z) is analytic, then in any formula for f, x and y can only occur in the combination x + iy. Proof We note that x = ( /2)(z + functions of z,
1

), { 1 }. Hence if w = f(z) = u + iv, we can regard u, v as { 2 } . So

. Now, w is a function of z alone

+i({3})=0 equating real, imaginary parts to zero. Hence f analytic

{4}

ux = vy, uy = -vx.

the Cauchy-Riemann equations hold

as required.

Match the above boxes 1, 2, 3, 4 with the selections (a) y = /2i (z 1

), (b)

(c)

(d)

3. ELEMENTARY FUNCTIONS Exponential and Trigonometric Functions If z = x + iy, we define the exponential function exp z = e cis y (= e ). Notes 1. We can give an alternative definition in terms of power series. iy Writing out a formal series for e gives cis y. 2. If y = 0, then exp z = exp x = e . Thus the complex exponential function naturally extends the real function. 3. In this definition, y is in radian measure. Properties of the Exponential (I) 1. The function exp is entire and (exp z) = exp z. (See Thm 2.5 and next example.) 2. If w = w(z) is analytic in some domain D, then so is exp w. x 3. The function exp z = e cis y is a complex number in polar form: x |exp z| = e , arg(exp z) = y. 4. The range of w = exp z is the whole w-plane except O.
x x z

For, w = e cis y with e > 0; to get w = cis , set x = ln ( > 0) and y = 5. Laws of exponents exp z1 . exp z2 = exp(z1 + z2) exp z1 / exp z2 = exp(z1 z2) 6. Powers m + (exp z) = exp(mz) m Z 1/n 1 + (exp z) = exp /n (z + 2k i) m, n Z m/n m (exp z) = exp /n (z + 2k i) k Z. The proofs follow directly from the definition of the exponential. Note that x 1/n x/n k (e cis y) = e cis ((y + 2 )/n). Properties of the Exponential (II) 8. We observe that exp(z + 2 and that exp(2 i) = e .(cos 2
0

i) = exp z.exp(2 + i sin 2 ) = 1.

i),

It follows that exp(z + 2

i) = exp z.

Thus we can divide the z-plane into periodic strips. Each strip in the z-plane is mapped to the whole wplane excluding the origin. We note the further two properties of the exponential: 8. exp = 9. cis = cos . + i sin

= exp(i ).

QUIZ 3.1 1. Function f(z) = 3e + 4e is entire. (a) True ; (b) False . 2. f(z) = exp(3 + i) = e . (a) True ; (b) False . 3. The range of w = f(z) = e is the whole complex w-plane. (a) True ; (b) False . 4. exp(2 + 3i) . exp(4 + 5i) = e cis 8. (a) True ; (b) False . 5. | exp(3i) | = 3. (a) True ; (b) False
6 z 3 2z z

Sine and Cosine If y is a real number, we have

exp(iy) = cos y + i sin y, exp(iy) = cos y i sin y, and so cos y = /2. (exp(iy) + exp(iy)), sin y = /2i.(exp(iy) exp(iy)). Thus it is natural to define cosine and sine as: cos z = /2. (exp(iz) + exp(iz)), sin z = /2i.(exp(iz) exp(iz)). These are Euler's relations. Again notice here how we try to generalize, or extend, a real situation to the complex case. Properties of Sine and Cosine 1. Both functions are entire:
1 1 1 1

(sin z) = cos z, 2. Both functions are periodic, of period 2 exponential function.

(cos z) = sin z.

. This follows from the periodicity of the

The functions satisfy the usual identities, as in the real case. 3. sin z + cos z = 1. 4. sin(z1 + z2) = sin z1 cos z2 + sin z2 cos z1 etc. 5. sin( z) = sin z, cos( z) = cos z etc.
2 2

QUIZ 3.2 1. Function sin z is periodic, of period 2 (a) True ; (b) False . i.

2. (cos z) = sin z (a) True ; (b) False

3. sin z = 0 z = n (n Z). (a) True ; (b) False . 4. If z = x + iy then | sin z | = sin x + sinh y. (a) True ; (b) False . 5. If z = x + iy then | sin z | | sin x |.
2 2 2

(a) True

; (b) False

Logarithmic Function Does the exponential function have an inverse logarithmic function? Since the exponential function is periodic, any inverse would have to be multi-valued. Let us write w = log z If we set z = r cis , w = u + iv, then r cis
u

z = exp w.

= e cis v.

From this, we deduce that r = e , u = ln r, v = That is, w = log z = ln | z | + i( + 2k ) (k Z). i. Each

u

+ 2k

Thus there are infinitely many values of log z, the different values differing by 2k value of k gives a branch of the logarithm.

The Cut Plane With log z = ln | z | + i( + 2k ) let us take < .

Make a (red) cut in the complex plane along the negative xaxis. For any fixed value of k, we obtain a branch which does not cross this cut. So in the cut plane, each branch is single-valued. In particular we have the principal branch Log z = ln r + i Notes 1. A path which crosses the cut moves to the next branch. 2. If z is real and positive, then Log z = ln r. 3. We can think of the branch planes interleaved together, with the x-axis as a common axis. A path drawn about the origin in one branch plane reaches the cut and then passes to the next branch plane. 4. Our choice of the positive x-axis for the cut was somewhat arbitrary. Other branch cuts are possible; but O is common to them all O is a branch point. ( < ).

Properties of the Logarithm (I) Consider Log z = ln r + i ( < , r > 0) that is, over the open domain excluding the cut. There are difficulties on the cut, for is not continuous there for any branch. Hence, for example, the Log function is not continuous on the cut, and so the Log function is not differentiable there.

1. Log z is analytic over the open domain (

1 2

<
2

<

, r > 0). = arctan /x.

y

Writing Log z = u + iv, we have u = /2 ln (x + y ), v = Hence

These functions are continuous on the given domain and satisfy the Cauchy-Riemann equations there. Hence by Theorem 2.5, Log z is analytic. [Note There is a problem in defining arctan here when x = 0. We could overcome this by x defining = arccot /y, or by taking time to develop a polar form of the Cauchy-Riemann equations.] Properties of the Logarithm (II) 2. Derivative

All branches have the same derivative, since they differ by a constant. 3. Inverse Property exp(log z) = z (for any branch) log(exp z) = z (for a particular branch). 4. Sums and Differences log z1 + log z2 = log(z1 . z2) log z1 log z2 = log(z1 / z2) providing we choose the appropriate logarithm branch on the right. Examples on the Logarithm Example 1. Evaluate Log(1) + Log(1). Now 1 = 1 . cis , so Log(1) = 0 + i .

Hence 2Log(1) = 2

i = log 1, but not Log 1 (= 0).

Example 2. Show how to make f(z)=log z analytic on the open region A = G R. In (green) region G, we define f(z) = Log z (the principal value). In (red) region R, we choose a different branch of the logarithm, defining f(z) = log | z | + i arg z ( < arg z < 3 ). This definition allows a continuous transition acoss the cut.

QUIZ 3.3 1. The function log z is (a) single-valued ; (b) multiple-valued 2. log (z1z2) = log z1 + log z2. (a) True ; (b) False . 3. Log 1 = 2n i. (a) True ; (b) False

4. It is always true that Log(z1 / z2) = Log z1 - Log z2. (a) True ; (b) False . 5. For Log z, (a) - < satisfies ; (b) 0

<2

; (c) 0

<

Complex Exponents Using our knowledge of real powers, we define the complex power z (c z = exp(c log z), (z
c c c

C) by

0).
c

Since z is defined in terms of the logarithm, we expect z to be multivalued, so we use the cut plane as for the logarithm. Then since log z is single-valued and analytic in the cut plane, so is c z . Now

So

Exponent Examples 1. i
1/4

= exp( /4 log i) = exp( /4 i (

/2

2k

)) = exp(

i/8

i/2) four values.

2. i = exp(i log i) = exp(i ( /2 2k The principal value is exp( /2).

) i) = exp(

/2
z

2k

).

3. What is the relationship between exp z and e ? Clearly e = exp(z log e). Now e = e cis 0, so log e = 1 exp(z log e) = exp(z 2k iz).
z z

2k

i, and

It follows that e = exp z . exp(2k iz). Setting k = 0 gives e = exp z. z Thus exp z is the principal value of the multi-valued power function e .

QUIZ 3.4

1. (z ) = iz . (a) True ; (b) False

i-1

.
i

2. The principal value of i is exp( (a) True ; (b) False .

k

i/2).
k

3. If z 0 and k is real, then | z | = | z | . (a) True ; (b) False . 4. i (a) is single-valued 5. z , (n Z) (a) is single-valued
n 1/3

; (b) has 3 values

; (c) has infinitely many values

; (b) has n values

; (c) has infinitely many values

4. MAPPING BY ELEMENTARY FUNCTIONS

There are many practical situations where we try to simplify a problem by transforming it. We investigate how various regions in the plane are transformed by elementary analytic functions. You may find the following website helpful: http://www.malilla.supereva.it/Pages/Fractals/Cmapper/cm.html Linear Functions (I) 1. w = f(z) = z + c (c = (c1, c2) C) this is a translation through c.

Each z = (x, y) maps to w = (x + c1, y + c2). 2. Let b = | b | cis be a complex constant and let w = f(z) = bz.

If z = r cis , then w = r.| b | cis( + ). That is, each point (r, ) maps to (| b | r, Thus we have a rotation about O through

).

and an enlargement through | b |.

Linear Functions (II) The general linear function is the mapping w = f(z) = bz + c. This is the rotation and enlargement (2), followed by the translation (1) previously discussed. That is, z Example Consider the transformation w = iz + (i + 1). This maps square A to square B in the adjacent figure. Notice that S is an invariant point of this transformation. Geometrically, we have: rotation translation = rotation. The Function f(z) = z (I) Let w = f(z) = z . Then if z = r cis cis = r cis 2
2 2 2

bz

bz + c.

and w =
2

cis

, we have

and (r, )

( ,

) = (r ,2 ).

Example The first quadrant of the complex plane maps to the top half-plane under this mapping, since the angle range 0 /2 maps to the range 0 .

We note that in general, the mapping w = f(z) = z will not be 11. For example, the points both map to the same w. The Function f(z) = z (II)
2

Let us now write w = f(z) = z in cartesian coordinates. Setting w = u + iv, z = x + iy, we obtain u 2 2 2 2 + iv = (x y ) + 2xyi. That is, (x, y) (x y , 2xy). So z-points on the hyperbola x y = k map to points on the straight line u = k. Similarly z-points on the hyperbola 2xy = k' map to points on the straight line v = k'.
2 2

Quiz 4.1

The Function f(z) = 1/z The mapping w = f(z) = /z (equivalently z = /w) sets up a 11 correspondence between points in the z- and w-planes excluding z = 0, w = 0. In polar coordinates w = /z becomes
1 1 1

cis

= /r cis ( ).

This transformation is the product of two simpler transformations: z = r cis inversion in the unit circle z' = /r cis
1

and z' = /r cis

w=

'

followed by reflection in the x-axis.

Notes 1. Under inversion, the points on

1

remain invariant.

2. Under w = /z, (and under inversion), the centre of remains invariant; lines through O map to lines through O;

the interior of the exterior of ; (in fact, circles centred at O map to circles centred at O). Mapping Circles and Lines under f(z) = 1/z (I)

Question What is the effect of f(z) = /z on more general lines and circles? Expressing w = f(z) = /z in terms of cartesian coordinates, we obtain
1

Thus

and inversely Mapping Circles and Lines under f(z) = 1/z (II) Now consider the equation a(x + y ) + bx + cy + d = 0 (a, b, c ,d If a
2 2

R). (*)

0, this is the equation of a circle; if a = 0, the equation of a straight line.

Substituting for x, y in terms of u, v we get d(u + v ) + bu cv + a = 0 () Points (u, v) satisfying () correspond to points (x, y) satisfying (*). Hence we have the four cases: (a) a (b) a 0, d 0. Circle not through O circle not through O.
2 2

0, d = 0. Circle through O

straight line not through O. circle through O.

(c) a = 0, d

0. Straight line not through O

(d) a = 0, d = 0. Straight line through O

straight line through O.

Example of a Mapping under f(z) = 1/z What is the image under w = f(z) = /z of line x = c? The line x = c maps to the set of points satisfying
1

that is,
1

u + v /c = 0, or (u /2c) + v = ( /2c) .

This is the circle with centre ( /2c, 0), passing through the origin O. The half plane x > c maps to the interior of the disc.

QUIZ 4.2

Bilinear Transformations

Let T be the transformation

, (ad bc

0, a, b, c, d

C).

This is called a bilinear transformation as it can be rewritten as cwz + dw az b = 0 an equation which is linear in each of its variables, z and w. Solving for w in terms of z, we see that the inverse of T is another bilinear transformation:

. Notes 1 a 1. The singular points for T, T are z = d/c, w = /c respectively. As each mapping has just one singular point, we write z = /c
d

w =

, w = /c

z =

2. The set of bilinear transformations forms a group. Understanding the Bilinear Transformation In the formula for a bilinear transformation, if c 0, we can write

Setting z' = cz + d, z'' = /z', we obtain

(*)

If c = 0, we get an expression of type (*) immediately. It follows that any bilinear transformation can be obtained as the composition of linear 1 transformations and the mapping f(z) = /z , all of which map lines and circles to lines and circles. Hence any bilinear transformation maps the set of lines and circles to itself. Images under a Bilinear Transformation The following reult will be useful. Theorem 4.1 There exists a unique bilinear transformation which maps three given distinct points z1, z2, z3 onto three distinct points w1, w2, w3 respectively. Proof The algebraic expression for the bilinear transformation can be written as cwz + dw az b = 0. This is an equation in four unknowns a, b, c, d. Hence the three ratios a : b : c : d of these numbers are determined by substituting three pairs of corresponding values of zi, wi (1 i 3). In practice, this means that in general if we allocate image points to three points in the z-plane, then the bilinear transformation will be completely determined. Conversely, if we want to find the image of a circle (say) under a given bilinear transformation, then it is sufficient to find the images of three points on the circle. Bilinear Transformation: Example Let a C be constant with Im a > 0. Find the image of the upper half plane (y bilinear transformation 0) under the

. We first consider the boundary. For z on x-axis, we have | z a | = | z |. Hence for such points, .

That is, the x-axis maps to the unit circle having centre O. Also, z = a (a point in the upper half plane) maps to w = 0 (a point interior to the unit circle). Observing that the mapping is continuous, we deduce that the image of the upper half plane is the interior of the disc.

QUIZ 4.3

The Transformation w = exp z As before, we set z = x + iy, w = cis and w = exp z gives = e and
x

= y.

The line y = c maps onto the ray = c (excluding the end-point O) in a 11 fashion. Similarly, c the line x = c maps onto the circle = e . However, here, an infinite number of points on the line map to each image point. Combining these results, we see that the rectangular region a x b, c y d

is mapped to the region e

a

e, c

bounded by portions of circles and rays. This mapping is 11 if d c < 2 . A Special Case of w = exp z

As a particular case, the strip 0 < y < plane.

maps to the upper half plane

> 0, 0 <

<

of the w-

It is interesting to map the boundary points here. This mapping is useful in applications.

5. COMPLEX INTEGRATION (TO PART B) Definite Integrals

Integrals are extremely important in the study of functions of a complex variable. The theory is elegant, and the proofs generally simple. The theory is put to much good use in applied mathematics. We shall study line integrals of f(z). In order to do this we shall need some preliminary definitions. Let F(t) = U(t) +iV(t) (a t b) where U,V are real-valued, piecewise-continuous functions of t on [a, b], i.e. continuous except for at most a finite number of jumps. The definite integral of F on the interval a t b is now defined by: Definition F(t) dt = U(t) dt + i V(t) dt.

Properties of the Definite Integral 1. Re ( 2. 3. 4. 5. | F(t) dt) = F ;(k F+ F. | F | (a U(t) dt = C, const). G. Re (F(t)) dt. [Real part property] [Scalar multiple property]

kF = k (F + G)= F= F|

[Addition property]

[Interchange endpoints property] b) [Modulus property]

Property (1) follows immediately from the definition. The proofs of (2), (3), (4) are trivial, and follow from the properties of real integrals. We see from (2) and (3) that the integral behaves in a linear way.

Proof of Property (5) By definition, F dt is a complex number. So we can set r0 cis F cis (
0)

F dt.

By Property (2), r0 =

dt.

Each side is real, and when a complex number is real, it is the same as its real part. So by Property (1), r0 = But Re (F cis ( So r0 Hence |
0))

Re (F cis (
0)

0))

dt.
0)|

| F cis (

| = | F |.| cis (

= | F |.

| F | dt, providing a F dt | | F | dt.

b.

Arcs Definition A continuous arc is a set of points (x, y): x = real continuous functions of the real parameter t. Examples (t), y = (t) (a t b), where , are

Notes 1. The definition gives a continuous mapping of [a, b] to the arc with a corresponding ordering of points.

Jordan arc Not simple Jordan curve Non-simple closed 2. If no two distinct curve values of t map to the same point (x, y), the arc is a simple arc or a 3. If Note (2) holds except that (a) = (b) and (a) = (b), the arc Jordan arc. is a simple closed curve or Jordan curve.

Contours If functions , have continuous derivatives '(t), '(t) not simultaneously zero, we say the arc (x, y): x = (t), y = (t) (a t b) is smooth (has a continuously turning tangent). Definition A contour is a continuous chain of a finite number of smooth arcs joined end to end. Examples

Contour

Simple closed contour

Length of an Arc Definition For a smooth arc, the length exists and is given by

, providing a

b.

Now, where does this strange formula come from? From Pythagoras' Theorem, the length s of a small portion of the arc is given by

. Dividing through by t gives

. Integrating this expression with respect to t gives the required result. Note It can be shown that this formula is independent of the choice of parameter used.

QUIZ 5.1A

QUIZ 5.1B

Line Integrals Let C be a contour extending from z = to z = , and set z = x + iy. Thus for z on C, x = (t), y = (t) (a t b) say, where , are continuous and ', ' are sectionally continuous. Also t = a when z = , and t = b when z = . Let f(t) = u(t) + iv(t) be a (sectionally) continuous function on C (that is, the real functions u = u(t) and v = v(t) are sectionally continuous over a t b). Definition We define f(z) dz = Here, f [ (t) + i (t)].[ '(t) + i '(t)] dt.

f(z) dz is a line integral, or contour integral.

Note that the line integral exists because the integrand on right is sectionally continuous.

Expanding the Line Integral Suppose f(z) = u + iv = u( (t), (t)) + iv( (t), (t)).

Then substituting f(z) = u + iv in the defining expression

f(z) dz = gives f(z) dz = or simply f(z) dz = Note In summary, f(z) dz =

f [ (t) + i

(t)].[ '(t) + i

'(t)] dt.

(u ' v

' )dt + i

(u

' + v ' )dt,

(u dx v dy) + i (u + iv)(dx + i dy).

(u dy + v dx).

Thus we have expressed the complex line integral in terms of two real line integrals.

Properties of the Line Integral

1. 2. 3. kf(z)dz = k f(z)dz (k

(taken over the same contour). C , constant). g(z) dz to . M on C, then | f(z)dz | ML. ), C2 a contour from to , and C = C1 C2 a

[f(z) + g(z)] dz =

f(z) dz +

4. If C1 is a contour (with parameter t from contour from to , then

5. If C has length L and |f(z)|

Properties (2) and (3) express the linearity of the integral. Properties (1) to (4) follow easily from known properties of the real integral.

Proof of Property 5 Proof We use Property 5 of the Definite Integral: | Now, | f(z)dz | = | f ( (t) + i (t)].[ '(t) + i '(t)) dt.| (a b) F| | F | (a b) (*)

| f ( (t) + i M | '(t) + i

(t)].[ '(t) + i

'(t)) | dt (by inequality (*)) M)

'(t) | dt ( since | f(z) |

=M = ML.

{( '(t)) + (

'(t)) }dt

Line Integral Example I

2

Find I1 =

z dz, where C1 is the illustrated path OB.

Line OB has equation x = 2y. Taking y as parameter we obtain the set of points (2y, y) (0 y 1). Now, z is continuous and on C1, z = (x y ) + 2ixy = 3y + 4y i , dz = dx + i dy = (2 + i) dy [strictly ( '(y) + i Hence
2 2 2 1 2 2 2 2 2 2

'(y)) dy].

I1 =

(3y + 4y i)(2 + i)dy = (3 + 4i)(2 + i)

y dy = /3.(2 + 11i).

Line Integral Example II

2

Find I2 = OAB. Now I2 =

OA z 2 2

z dz, where C2 is the illustrated path

dz +

AB z

2 2

dz

= x dx + [(4 y ) + 4iy] i dy 8 1 1 = /3 + [4 /3 + 2i] = /3(2 + 11i).

Some Interesting Questions Question 1 We see that in the previous examples, the integral from O to B is the same for both contours. Is this a coincidence? Or does it always happen? If it doesn't always happen, when does it? We can express this in a different way. We see that
OABO = OAB + BO = I2 I1 =

0.

So we ask: Is the integral around a closed contour always zero? Question 2 We observe that if we forget the contour altogether, and simply integrate, then we obtain:

, again! Does this always happen? This would say that

C

f is independent of the contour C.

Line Integral Example III

Find I3 =

dz, where the contour C3 is shown in red.

Now C3 is the contour of points (x, y) | x = cos and Hence we have I3 = = = dz (cos id i sin )( sin = i. + i cos )d , y = sin + i cos , )d . 0

dz = ( sin

Line Integral Example IV

Find I4 =

dz, where the contour C4 is shown in red.

In this case we obtain I4 = dz = id = i.

We observe that this is different from I3! And if we set C = ( C3) C4, then dz = 2 i. (not 0) where the contour C is traversed in an anti-clockwise direction. Note On the contour C, |z| = z = 1. That is, = /z. This suggests that there might be some special significance about the singular point z = 0 being inside the contour.
2 1

Line Integral Example V Without evaluating the integral, find an upper bound for | We make use of Property 5: | f(z)dz | ML.
dz

/z | on the given contour C5.

In this case, the length L = 2 . Also, the contour C has equation y = 1 x (0 Therefore for z on C

1).

| z | = (x + y ) = [ x + (1 x) ] = [2x 2x + 1] . That is, | z | = [2(x /2) + /2]

4 1 2 1 2 1

2 2

2 2

/4.

(In retrospect, this is obvious from the figure! Why?) Hence | /z |

1 4

4 and | I |

4 2.

QUIZ 5.2

Greens Theorem Let R be a closed region in the real plane made up of a closed contour C and all interior points.

If P(x, y), Q(x, y) are real continuous functions over R and have continuous first order partial derivatives, then Greens Theorem says: (P dx + Q dy) =
R (Qx

Py) dxdy

where C is described in the anti-clockwise direction. Outline Proof

Py dxdy = = =

Py dy] dx

[ P(x, u(x)) P(x, l(x)) ] dx P dx etc.

Cauchys Theorem Now consider a function f(z) = u(x, y) + iv(x, y) which is analytic at all points within and on the closed contour C, and is such that f '(z) is continuous there. We show that f(z) dz = 0.

The given conditions tell us that u, v and their first order partial derivatives are continuous. Now f(z) dz = = (u dx v dy) + i
R (vx

(u dy + v dx)
R (ux

+ uy) dxdy + i

vy) dxdy

= 0, using Green's Theorem and the Cauchy-Riemann equations. This result was discovered by Cauchy. Examples and the Cauchy-Goursat Theorem As a consequence of Cauchy's Theorem we have the following:
2

Examples

dz = 0,

z dz = 0,

z dz = 0,

for all closed contours C, since these functions are analytic everywhere and their derivatives are everywhere continuous. Goursat showed that Cauchys condition f '(z) is continuous can be omitted. This discovery is important, because from it we can deduce that all derivatives of analytic functions are also analytic. But, proving this stronger result takes much more effort!

Theorem 5.1 (Cauchy-Goursat Theorem) If a function f is analytic at all points interior to and on a closed contour C, then f(z) dz = 0.

Cauchy-Goursat Theorem, Example I

Find
2

where the contour is the unit circle | z | = 1.

Now the integrand z /(z3) is analytic everywhere except at the point z = 3. This point lies outside the circular disk | z | 1. Hence by the Cauchy-Goursat Theorem

Most of the useful applications of the Cauchy-Goursat Theorem are as yet beyond us, but the next example gives us a glimpse of what can be done.

Cauchy-Goursat Theorem, Example II

Assuming Laplaces Integral:

show that

[We note that Laplace's integral can be evaluated by writing

and expressing this second integral in polar coordinates.] We integrate f(z) = exp(z ) around the rectangle C defined by | x | .
2

R, 0

b. Later we let R

Since exp(z ) is entire, the Cauchy-Goursat Theorem applies, that is, [Continued] Example II, continued Hence

Taking out the factor

from the second and fourth integrals and letting R dy | ML. formula). Hence letting R ,

, we get a

zero contribution (using the |

Equating the real parts,

or

since the integrand is even. Indefinite Integrals Let f be analytic in D and z0, z being traversed from z0 to z, D. Then for contours C1, C2 lying in D, joining points z0, z, and

by the Cauchy-Goursat Theorem. Theorem 5.2 (Primitive Theorem) For all such paths in the domain D

has the same value, and F'(z) = f(z). Note This will allow us to evaluate some line integrals by straight integration. We shall see that the name of the theorem comes from the fact that the function F satisfying F'(z) = f(z) is called a primitive of f.

Proof of the Primitive Theorem Proof Let z + z be a point in D. Then

F(z +

z) F(z) =

, z to be a line segment.

where since

z is very small, we may take the path from z to z +

Now clearly on the segment,

So

. Then

[Continued] Proof of the Primitive Theorem (Continued) Now f is continuous at z. Hence for all | Hence, when | z|< , z|< > 0, there exists > 0: .

| f(z ') f(z) | <

(using Property 5). That is,

and F(z) exists at each point of D, and F'(z) = f(z). Notes on the Primitive Theorem We say that F is an indefinite integral or primitive (anti-derivative) of f and write F(z) = That is, F is an analytic function whose derivative is f(z). Since f(z) dz.

we can use this as a means of evaluating line integrals. (All paths here are assumed to be in the domain D.)

COMPLEX INTEGRATION PART B (BACK TO PART A) The Primitive Theorem: Example I The function f(z) = z is entire. It has primitive F(z) = /3.z . So by our theorem,
1 3 2

along any contour joining 0 and 1 + i.

The Primitive Theorem: Example II We recall that /z dz = i, /z dz = i, where C1, C2 are upper and lower semicircles of the unit circle. Now we can easily choose our domain D to avoid O and contain the given contour Ci. Mysterious question! So why does the difference occur? The answer is that for the different contours, we need different primitives! For C1, we might choose as primitive log z = ln | z | + i arg z ( /2 < arg z < 3 /2).
1 1

Then But for C2, our choice of primitive could be log z = ln | z | + i arg z ( /2 < arg z < 5 /2)

and Simply and Multiply Connected Domains Defintion A simply connected domain D is an open connected region such that every closed contour within it encloses only points of D. Otherwise the domain is multiply connected. Examples

simply connected

multiply connected

The Cauchy-Goursat Theorem has been stated for simply connected domains. i.e. if f(z) is analytic throughout a simply connected domain D, then for every closed contour C within D, f(z) dz = 0.

Extending the Cauchy-Goursat Theorem It will be useful to extend the Cauchy-Goursat Theorem to certain multiply-connected domains. Consider the illustrated (red) region D and suppose that f(z) is analytic over this (closed) region. We assert that f(z) dz = 0, where B is the total directed boundary (C C1 C2), with all components traversed so that the region is on the left. This is easy to prove. We insert the indicated green links partitioning D into two simply-connected domains. We apply the Cauchy-Goursat Theorem to the boundaries of the left and right regions, obtaining two line integrals having value 0. Putting the two circuits together, the integrals along the introduced links cancel, giving the required result.

Multiply-Connected Domains: Examples

Example 1 shown.

= 0 where B is the two-circle contour

For, the integrand has singularities 0, 3i, and is analytic over the enclosed domain.

Example 2 Find where T is the 1 illustrated triangle. Now /z is analytic inside T, except at O. Consider the unit circle C, centre O. Since 1 /z is analytic in the domain bounded by C and T, noting the direction of C, = 0, that is, = .

Hence it is sufficient to evaluate the integral around C. So although we have not solved this problem, we have simplified it. The Cauchy Integral Formula

Theorem 5.3 Let f be analytic everywhere within and on a closed contour C. If z0 is any point interior to C, then

where the integral is taken in the positive sense around C. Notes (1) The formula is the Cauchy integral formula. It is remarkable because it gives the value of f at z0 in terms of the values of f on the boundary. That is, for an analytic function, fixing the boundary values completely determines f at points inside C. (2) The theorem can also be used to evaluate certain integrals.

Cauchy Integral Formula Example

Evaluate
z 2

where C is | z | = 2.

Take f(z) = /(9 z ), z0 = i. Then we observe that f(z) is analytic in and on C. So using the Cauchy integral formula,

Proof of the Cauchy Integral Formula (I) Let C0 be a circle centre z0, radius r0 interior to C. Now the function /(zz0) is analytic at all points in and on C except at z = z0, in particular in the region D lying between C and C0. Hence as in Example 2 above
f(z)

where both contours are traversed in the positive direction. Hence

or I = f(z0) I1 + I2 say. [Continued] Proof of the Cauchy Integral Formula (II) For z on C0, we can write z z0 = r0 cis Hence dz = i r0 exp(i ) d , and = r0 exp(i ).

for every r0 > 0. Also, f is continuous at z0, so given Take r0 = . Then | z z0 | = , and > 0, there exists > 0: | z z0 | | f(z) f(z0) | < .

Hence I2 can be made arbitrarily small by taking r0 sufficiently small. Since I and I1 are independent of r0, I2 must be too. Therefore I2 = 0, and I = f(z0) I1 = 2 i f(z0).

Derivatives of Analytic Functions Theorem 5.4 Suppose f is analytic inside and on a closed contour C, and z0 lies inside C. Then

That is, we can take the Cauchy integral formula and formally differentiate with respect to z0. Proof We omit this proof. It is not unlike the proof of the Cauchy integral formula.

Note We can similarly prove:

A Glimpse and an Example One of most beautiful parts of course on Complex Functions is the development of Taylor series. We look at this a little later, but for now, note the appearance here of the terms f (z0)/n!.
(n)

Example Evaluate (a) in the anti-clockwise direction.

, (b)

where C is the unit circle | z | = 1 taken

(a) Take f(z) = cos z, z0 = 0 (within C). Since cos z is entire, I(a) = 2 i .cos z0 = 2 i (the Cauchy integral formula).

(b) Take f(z) = sin z, z0 = 0, f '(z) = cos z. Then I(b) = 2 i f '(z0) = 2 i cos 0 = 2 i (the Derivative formula).

Another Example Let us take f(z) = 1 in Cauchy's integral formula and the Derivative formulae, and let C be any contour about z0. (a) By Cauchy's integral formula, we have

This can be rewritten as (b) By the Derivative formulae,

This can be rewritten as

Corollary of the Derivative Formulae If a function f is analytic at a point, then by the Derivative formulae, its derivatives of all orders are also analytic functions at that point. Now if f(z) = u + iv, then f '(z) = ux + ivx = vy iuy. So if f '(z) is analytic, then ux, vx, uy, vy are all differentiable and so continuous. In the same way, using f "(z) etc., we see that all partial derivatives of u, v of all orders are continuous at any point where f(z) is analytic. Thus we have: Corollary If f = u + iv is analytic at a point, then all partial derivatives of u, v of all orders are continuous there. Note Cauchy's integral formula and the Derivative formulae easily extend to the boundaries of multiply connected domains. A Useful Lemma Here is an interesting little result. Lemma If f is analytic, and | f | is constant, then f is constant. Proof Let f = u + iv. Then we are given that u + v = c. So 2uux + 2vvx = 0, 2uuy + 2vvy = 0, leading to ux/uy = vx/vy. Also, by the Cauchy-Riemann equations, ux = vy, uy = vx. So, eliminating the u terms, we get vx + vy = 0 and so vx = 0 = vy = ux = uy. Hence f '(z)=0 and so f(z) is constant.
2 2 2 2

Maximum Modulus Let f be analytic and not constant on the open disk | z z0 | < r0, centred at z0. If C is any circle | z z0 | = r (0 < r < r0) then by the Cauchy integral formula,

(*) Path C is in the positive sense and parametrizes: z( ) = z0 + r exp(i ) (0 2 ).

So (*) becomes mean of the values on the circle). Thus

(i.e. the value at the centre is the arithmetic

(0 Now suppose | f(z0) | is a maximum. Then | f(z) |

r < r0). (+)

| f(z0) | for all z: | z z0| < r0.

[Continued]

Maximum Modulus Principle

So, Combining the two inequalities (+), we have

(0

r < r0). (+)

It follows that, | f(z) | = | f(z0) | for all z : | z z0 | < r0.

For, write the above equation as Since the integrand is non-negative, we deduce it must be 0 for all z : | z z0 | < r0. This shows that f(z) = f(z0) for all z in the disk. So f is constant in the disk. This is a contradiction. Theorem 5.5 (Maximum Modulus Principle) If f is analytic and not constant in the interior of a region then | f(z) | has no maximum value in that interior. Some Observations We deduce that if a function f is continuous in a closed bounded region R and is analytic and not constant in the interior of R, then | f(z) | assumes its maximum value on the boundary of R and never in its interior. Now let f be analytic in and on the circle C0 defined by |z z0| = r0, and traversed in a positive sense. Then by the Derivative formulae

, n = 0, 1, 2, ... . If | f(z) | M on C0, then |f and for n = 1

(n)

(z0) |

n! M

/ r0 (n = 0, 1, 2, ...),

| f '(z0) |

M / r0.

Liouvilles Theorem The preceding observations lead to the following theorem. Theorem 5.6 (Liouville) If f is entire and bounded for all values of z in the complex plane, then f(z) is constant. Proof By assumption | f(z) | Therefore, as before, | f '(z0) | how large. It follows that f '(z0) = 0. But z0 is arbitrary. Thus for all z, f '(z) = 0, and so f(z) = constant. The Fundamental Theorem of Algebra Theorem 5.7 (Fundamental Theorem) Any polynomial P(z) = a0 + a1z + ... + anz (an where n
n

M for all z. M / r0 for each z0 in the plane, and for any positive r0, no matter

0)

1, has at least one zero. That is, there is at least one point z1 : P(z1) = 0.

It is curious that this important result has no easy algebraic solution. Proof Suppose P(z) 0 for any z. Then f(z) = /P(z) is entire.
1

In fact f(z) is also bounded. For f is continuous and so bounded in any closed disk centred at the origin. Further, if R is large and z is exterior to the disk | z | R, then | f(z) | = /| P(z) |
1 1

/R

(or worse!)

so f is bounded for all values of z in the plane. (We can tidy up this last argument, but the idea is that when | z | is large, so is | P(z) |.) Now by Liouville's Theorem, f(z) and so P(z) is constant. This contradiction shows that P(z) has at least one zero. Factorization of Complex Polynomials Let z1 be the zero guaranteed by the Fundamental Theorem. Then P(z) = (z z1)Q(z), where Q(z) is a polynomial of degree n 1. We deduce (by induction) that P(z) = c(z z1)(z z2) ... (z zn). Corollary Any polynomial of degree n, where n factors. That is, 1 can be expressed as a product of n linear

P(z) = c(z z1)(z z2) ... (z zn),

where c and the zk are complex constants. You might like to compare this result with what happens for polynomials over the reals R.

6. SERIES Convergence of Sequences A sequence z1, z2, ... , zn, ... has limit z if for all > 0 there exists N : n > N | zn z | < .

That is, we can make zn arbitrarily close to z by taking n sufficiently large. This definition is formally the same as for the real case. Of course, here the points of the sequence lie in the complex plane, rather than on the real line. The limit, if it exists, is unique. We say the sequence converges to z0 and write zn z or zn = z.

If there is no limit, we say that the sequence diverges. A First Convergence Theorem Theorem 6.1 If zn = xn + iyn (n = 1, 2, ...) and z = x + iy, then zn = z Proof ( ) Given > 0 there exists N : n > N | xn + iyn (x + iy) | < Hence n > N | xn x | < and | yn y | < . i.e. ( ) Given xn = x and yn = y. . xn = x and yn = y.

> 0 there exist N1, N2 : n > N1 | xn x | < /2 , n > N2 | yn y | < /2.

So n > max(N1, N2) | xn x | + | yn y | < . Now | xn + iyn (x + iy) | | xn x | + | yn y | < . So zn = z. Infinite Series and Partial Sums The expression z1 + z2 + z3 + ... is an infinite series. The set SN = z1 + z2 + ... + zN is a partial sum of the series.

If the sequence S1, S2, ... , SN, ... converges to limit S we write the series. The sum, when it exists, is unique. When a series does not converge, it diverges. Convergence of Complex Series

zn = S, and S is the sum of

Theorem 6.2 Suppose that zn = xn + iyn (n = 1, 2, ...) and S = X + iY. Then zn = S xn = X and yn = Y. xn and YN = y n.

Proof Let SN = XN + iYN denote the Nth partial sum, where XN = Now zn = S SN = S

XN = X and xn and

YN = Y

by Theorem 6.1. Since XN, YN are the partial sums of

yn, the result follows.

Remainder and Power Series In establishing that a given series has sum S, we define the remainder after N terms to be: RN = S SN. Since | S SN | = | RN 0 |, SN S iff RN 0 as N .

Hence, a series converges to sum S

the sequence of remainders converges to 0.

We shall be particularly concerned with power series. A power series is a series of the form a0 + an(z z0) =
n

an(z z0)

where z0 and the an are complex constants, and z is any number (variable) in a stated region. We will use the notation S(z), SN(z), RN(z) for the sum, partial sum and remainder respectively.

Taylor Series Theorem 6.3 (Taylor) Let f be analytic everywhere inside the circle C0 : | z z0 | = r0. Then at each point z inside C0 f(z) = f(z0) + f '(z0)(z z0) + f ''(z0)/2! .(z z0) + ... + f That is, the power series converges to f(z) when | z z0 | < r0.
2 (n)

(z0)/n! .(z z0) + ... .

Notes (1) This is the Taylor series expansion about point z 0. (2) If all terms are real, we get the real Taylor series. (3) The proof of Taylor's Theorem we give is remarkably natural, and is one of the rewards in our study of complex functions. Proof of Taylor's Theorem (I) Proof Let z be any fixed point inside C0 and set | z z0 | = r (so r < r0). Let C1 be a circle centred at z0 and having radius r1 : 0 < r < r1 < r2. Let be any point on this circle; i.e. | z0 | = r1. Now z lies inside C1, and f is analytic in and on C1, so by the Cauchy integral formula positive sense. Now where C1 is taken in the

Also for any complex c

1, [Continued] Proof of Taylor's Theorem (II)

So Hence

We next integrate each term anticlockwise around C1, divide by 2 Cauchy integral formula and the Derivative formulae:

i, and substitute the

, n = 0, 1, 2, ... . [Continued] Proof of Taylor's Theorem (III)

So

where Recall that | z z0 | = r, | z0 | = r1 (> r), and | z| |

(*) z0 | | z z0 | = r1 r.

Thus if M denotes the maximum value of | f( ) | on C1, (*)

Since /r1 < 1,

RN(z) = 0.

So for each z interior to C0, the Taylor series for f converges to f(z). Special Case and Observations Let us seek the Maclaurin expansion for f(z) = e . (n) z (n) z We have f (z) = e , so f (0)=1. Also, e is analytic for all z, so e = 1 + z + z /2! + ... + z /n! + ... = Similarly sin z = z z /3! + z /5! ... , |z| < cos z = 1 z /2! + z /4! ... , |z| < sinh z = z + z /3! + z /5! + ... , |z| < cosh z = 1 + z /2! + z /4! + ... , |z| <
2 4 3 5 2 4 3 5 z 2 n z

z /n! , |z| <

Geometric Series Let us try to find the Maclaurin series for the function

Now

This is not a Maclaurin series: the first two terms are unexpected, and function f has a singularity at z = 0.

Question Perhaps there are other interesting series to investigate?

Laurents Theorem Let C1, C2 be concentric circles, centre z0, with radii r1, r2 (r1 > r2). Theorem 6.4 (Laurent) If f is analytic on C1 and C2 and throughout the annulus between these two circles, then at each point in this domain, f(z) is represented by the expansion

(*) where

(**) each path of integration taken counter-clockwise. The series (*) is a Laurent series. Notes on Laurent's Theorem (I) (1) If f is analytic at all points in and on C1 except at z0, we can take r2 to be arbitrarily small. Then (*) is valid for 0 < | z z0 | < r1. (2) If f is analytic at all points in and on C1, then f(z) n+1 /(z z0) is analytic in and on C2 (since n + 1 (**) is zero, and (*) reduces to the Taylor series.

0). So integral

Notes on Laurent's Theorem (II)

(3) Since

f(z)

/(z z0)

n+1

and

f(z)

/(z z0)

n+1

are analytic throughout the annular region r2

| z z0 |

r1, we can replace and by where C is any closed contour around the annulus in the positive direction. This means that (*) can be written r2 < | z z0 | < r1 where

(***) Notes on Laurent's Theorem (III) (4) In practice, some, or even many of the coefficients may be zero. Example Consider f(z) = /(z 1) where | z 1| > 0. Here z0 = 1, c 2 = 1, and all the other coefficients are zero. Using (***), we observe that
1 2

Notes on Laurent's Theorem (IV) (5) For particular examples we usually do not find the coefficients of an expansion using the formula. In other words, the general formula is useful more as an existence formula. Example Find the Laurent series (z0 = 0) for f(z) = e /z . Using the Maclaurin expansion for e , we obtain:
z z 2

Example Find the Laurent series (z0 = 0) for f(z) = e

z

(1/z)

Using the Maclaurin expansion for e with a change of variable,we obtain:

Proof of Laurent's Theorem (I) If z lies in the annular region, then

() This is the Cauchy integral formula extended to a multiply-connected domain. To show this explicitly in this special case, we take a small anticlockwise directed circle K with centre z, lying within domain. Then

Notice that by the Cauchy integral formula,

Comparing this equation with equation (), the validity of () is confirmed. [Continued] Proof of Laurent's Theorem (II) The first integral of () will give the Taylor series part, so as before

For the second integral of () we note that

Multiplying through by f( ), and expanding the last quotient as a geometric series gives

[Continued]

Proof of Laurent's Theorem (III)

So from (), where an, bn are as given in the statement of the theorem, RN(z) is as before, and RN(z) N .

0 as

Also, If r = | z z0 |, and r2 is the radius of C2, then r2 < r. Let M be the maximum of | f( )| on C2. Then

0 as N This completes the proof of the theorem.

Further Properties of Series There are many parallels with real series. This follows from the fact that and only if Now if xn and yn are convergent. 0, yn 0. We deduce that zn is convergent if

xn and

yn are convergent, then xn zn

zn convergent

0. Of course, the converse is false!!

So the terms of a convergent complex sequence are bounded: that is, there exists M: | zn | < M for all n. We say that | zn | = zn is absolutely convergent (AC) if the series (xn + yn ) is convergent. So by the Comparison Test for real series, xn, yn are AC and so convergent. It follows that
2 2

| xn | and zn is

| yn | are convergent. Thus convergent. Thus

zn absolutely convergent

zn is convergent.

Absolute Convergence of Power Series We now prove an important result for power series. Analogues of the next results hold for n an(z z0) , but we give this proof for z0 = 0.

Theorem 6.5 If a power series | z1 |.

n

anz converges when z = z1 (

0) then it is A.C. for all z : | z | <

Proof Since anz1 is convergent, for some M we have | anz1 | < M for all n. |z| We write / | z1 | = k ( < 1 ). Then | anz | = | anz1 |.| / z1 | < Mk . Now the series with terms Mk (k < 1) is a real, convergent, geometric series. So by the Comparison Test, anz is convergent. Circle of Convergence Our previous result shows that the set of all points inside some circle centred at the origin is a region of convergence for anz . The largest such circle is the circle of convergence.
n n n n n z n n

We note that by the theorem, the series cannot converge at any point z2 outside this circle. Similarly, if the series bn / z converges for z = z1, then it is absolutely comvergent at every point z exterior to the circle centre O passing through z1. The exterior of some circle centred at O is therefore a region of convergence. Some Stated Results (I) The theory starts to get a bit solid (boring!) here, so we settle for some stated results. Nevertheless, these results are important. Let S(z) = anz over some circle of convergence C1. Thus S is the function defined by the convergent power series. Then (1) Function S(z) is continuous at each z interior to C1. (2) Function S(z) is analytic at each z interior to C1. (3) If C is any contour interior to C1, then the power series can be integrated term by term, i.e. S(z) dz = an z dz.
n n n

[If C is a closed contour, then of course we get the value 0 on both sides.] Some Stated Results (II) (4) The power series can be differentiated term by term. Thus for each z inside C1, S'(z) = nanz
n 1.

(5) The Taylor/Laurent series about z0 for a given function is unique. Illustration sin(z ) = z z /3! + z /5! ... . Even though this series is obtained by substituting z in the series for sin z, it will be 2 the same as the Maclaurin series for sin (z ).
2 2 2 6 10

Some Stated Results (III): Cauchy Product

n n

(6) Let f(z) =

an z , g(z) =

bn z .

If we formally multiply these series together and collect the coefficients of like powers of z, we get the Cauchy Product of the two series: f(z).g(z) = a0b0 + (a0b1 + a1b0)z + (a0b2 + a1b1 + a2b0)z + ... +( We now have: The Cauchy Product of two power series converges to the product of their sums at all points interior to their circles of convergence. ab
k nk 2

) z + ... .

Laurents Theorem: Example I For the next examples, set

This function is analytic everywhere except at z = 1 and z = 2. Find the Maclaurin series for f(z) valid in | z | < 1.

Now Also | z | < 1 | /2 | < 1. Hence

z

valid for | z | < 1. Thus this is the Maclaurin series for f(z) over the given domain.

Laurent's Theorem: Example II We are given

Find the Laurent expansion for f(z) in 1 < | z | < 2. In this case we have | /z | < 1 and | z / 2 | < 1. So
1

valid for 1 < | z | < 2. This is the required Laurent expansion. We observe here that c-1 (or b1) = 1. Evaluation of Integrals We noted in the previous calculation that c1 (or b1) = 1.

Recall that Thus

where C is any simple closed contour around the annulus (taken in the positive direction). That is, f( ) d =2 i.

This suggests the use of the Laurent series for the evaluation of integrals.

Laurent's Theorem: Example III Obtain the Laurent expansion in | z | > 2 for

Here | /z | < 1 and so | /z | < 1.

So

valid for | z | > 2. Note that the coefficient of z is zero. Hence exterior to circle | z | = 2.
-1

f( ) d

= 0 for any small contour C about 0 and

Note It is possible to develop the whole theory of analytic functions beginning with series, but there is no great advantage. The proofs are not easy and motivation is lacking. Zeros of an Analytic Function (I) If f is analytic at z0, there exists a circle centre z0 within which f is represented by a Taylor series: f(z) = a0 + where a0 = f(z0) and an = f
(n)

an(z z0)

(| z - z0 | < r0)

(z0)/n! .

If z0 is a zero of f, then a0 = 0. If in addition f '(z0) = 0 = f ''(z0) = ... = f but f

(m) (m -1)

(z0)

(z0)

0, then z0 is a zero of order m. In this case,

m

f(z) = (z z0)

am+n(z z0) (am

0, | z z0 | < r0)

= (z z0) g(z) say, where g(z0) = am 0. Zeros of an Analytic Function (II) Thus f(z) = (z - z0) g(z) where g(z0) = am
m

0. >

Since g(z) is represented by a convergent power series, g is continuous at z0. That is, given 0, there exists a > 0 such that | z - z0 | < | g(z) g(z0) | < . Now choose = | am | /2. Then there exists : | z - z0 | < It follows that g(z) We have proved: Theorem 6.6 Let f be analytic at point z0 which is a zero of f. Then there exists a neighbourhood of z0 throughout which f has no other zeros, unless f 0. That is, the zeros of an analytic function are isolated.

| g(z) am | < | am | /2. .

0 at any point in neighbourhood | z - z0 | <

7. RESIDUES AND POLES Introduction Definition If there exists a neighbourhood of z0 throughout which f is analytic except at z0 itself, then z0 is an isolated singularity of f.

Example

has three isolated singularities: z = 0, z =

i.

Contrast Log z which has a continuous ray of singularities. Now from the Cauchy integral formula and the Derivative formulae,

where the integrals are in an anti-clockwise direction about a simple closed contour containing z0. We observe that the values of these integrals are of the form 2 i.K. Residues We now change our notation, replacing / (z z0) by f(z). So denote by f(z) a function which is analytic on and inside C except at an isolated singular point z0 inside C. Then f(z) dz = 2 i.K, where K is a constant and the integral is once anti-clockwise round C.
f(z)

Definition

is the residue of f at the isolated singular point z0.

Theorem 7.1 (Residue Theorem) Let C be a closed contour within and on which function f is analytic except for a finite number of singular points z1, z2, ... , zn interior to C. If Ki denotes the residue of f at zi, then f(z) dz = 2 i.(K1 + K2 + ... + Kn),

where the integral is around C in positive sense.

Proof of the Residue Theorem Proof Let each zi be enclosed as shown in a circle Ci with radius small enough so that C and Ci are all separated. Now f is analytic in the remaining region within and including C, so by Cauchy's Theorem: f(z) dz f(z)dz ... f(z)dz = 0,

so

f(z) dz = f(z)dz ... = 2 i.(K1 + K2 + ... + Kn),

f(z)dz

using the definition of Ki. It follows that evaluation of such integrals depends on our ability to evaluate residues. Example on the Residue Theorem

Evaluate

, where C is | z | = 2 taken in the positive sense. i.(K0 + K1) (say).

The singularities inside C are z = 0, 1. So I = 2 Find K0. Set g(z) =

(5z 2)

/(z 1) analytic in a small circle C0 centred at 0.

g(z)

By the Cauchy integral formula, Find K1. Set h(z) =

(5z 2)

/z dz = 2

i.g(0) = 2

i.2 = 2

i.K0.

/z analytic in a small circle C1 centred at 1.

h(z)

Again by the Cauchy integral formula, Hence I = 2 i.(2 + 3) = 10 i.

/(z 1) dz = 2

i.h(1) = 2

i.3 = 2

i.K1.

Alternative Solutions (1) Use partial fractions:

(2) Use the Laurent expansion with | z | > 1, and find the coefficient of 1/z. So

and noting that the coefficient of 1/z is 5, we obtain the result as before.

QUIZ 7.1

Singularities and Poles Singularities are obviously important in the theory. The nature of a singularity can be determined from the Laurent expansion

(over some domain)

and in particular from the portion involving negative powers, known as the principal part of f at z0. Suppose f(z) = (z) / (z z0) , where has no (z - z0) factors).
n

is analytic at z0 and

(z0)

0. (This certainly means that

Then f has a pole of order m at z0 (or z0 is a pole). A pole of order 1 is a simple pole. Examples of Poles (I) (1) Consider f(z) = (z 2z + 3) / (z 2). Now (z) = z 2z + 3 is entire and
2 2 2 2

(2)

0, so z = 2 is a simple pole.

(2) Consider f(z) = (z + 1)/(z + 1) and z = i. Set (z) = (z + 1) / (z i) . 2 Then f(z) = (z) / (z + i) , where So z = i is a pole of order 2.
2

is analytic at z = i and

(i )

0.

Examples of Poles (II) (3) Consider f(z) = Here

sin z

/ z. (0) = 0. Hence this is not a simple pole. In fact

(z) = sin z is analytic, but

We say z = 0 is a removable singularity. We could define f(0) = 1. (This would give a new function, coinciding with f for z 0, but also defined at z = 0 and continuous there.) (4) Consider f(z) = e . There is a problem here at z = 0. Assuming
1/z

it is not possible to put this in the form

(z)/z for any m. We call this an essential singularity.

Examples of Poles (III) (5) Essential singularities often exhibit strange behaviour. When f has a pole at z0, we expect f(z) as z z0. This occurs. But it may not occur for an essential singularity. Example

Consider For this function there is an essential singularity at z = 0. Take z = r cis , so exp(1/z) = exp[(1/r)cis(- )].

Now take = /2 and let r 0 (i.e. approach O along the positive imaginary axis.) 1/z Approaching 0 along this path, | e | = exp[(1/r) cos 1/z that is, e does not tend to .

/2] = e = 1;

Notes on Poles (1) We can give general formulae for the residues for poles of order m essentially using Theorems 6.3, 6.4. (2) Work on series is useful here. (3) Most examples treat poles of low order. It is suggested that you learn the Cauchy integral formula and the Rules on Differentiation with respect to z0. Thus:

More Examples on Poles and Residues

(1) Consider

This function has a pole of order 3 at z = 0. 1 1 0 Hence the residue there is /2! . f ''(0) = /2! . 4 . e = 2.

(2) Consider

This function has a simple pole at z = 3i. The residue there is

QUIZ 7.2

Improper Real Integrals: Cauchy Principal Value In the case of real improper integrals, we make the definition:

(1) where both integrals on the right exist. Notice that the variables R, R' tend to infinity independently in the two integrals. It is useful to define the Cauchy Principal Value (Cauchy P.V.) in the following way:

(2) So with the Cauchy P.V., we are insisting that the upper and lower infinite limits are approached at the same rate. If the improper integral defined by (1) converges, then the value obtained is the Cauchy P.V. On the other hand, the Cauchy P.V. may exist and integral (1) not converge.

Using the Cauchy Principal Value Example Let f(x) = x. Here the Cauchy P.V. is 0, but the integral is not convergent.

Special case If f is even and the Cauchy P.V. exists, then For in this case

converges.

and the existence of the last Cauchy P.V. guarantees the existence of the first two integrals. Example If f(x) = / q(x) where p, q are real polynomials with no common factors, q(x) has no real zeros, and the degree of q(x) is greater than or equal to the degree of p(x) + 2, then converges. Its value can easily be found using residues. Cauchy Principal Value: Example (I)
p(x)

Evaluate

Consider 2i. We find the residues for the poles

This has simple poles z = 3i; poles of 2nd order z = lying inside the illustrated contour C.

For z = 3i:

For z = 2i: Hence

[Continued]

Cauchy Principal Value: Example (II) Now on CR,

and the length of CR is

R. Thus

So

/100 (noting that f is even), or I =

/200 .

Question Is this easier than factorizing and using partial fractions in the real case?! Probably yes, especially as the integral around CR will fairly clearly always vanish when the difference in degree is 2 or more. Improper Integrals involving Trigonometric Functions Residue theory is also useful for evaluating integrals of the form

(*) where p, q are real polynomials and q(x) has no real zeros. Note that the previous method cannot be used here. For we have | sin z | = sin x + sinh y and | cos z | = cos x + sinh y, so | cos z | and | sin z | increase like sinh y as y However, the integrals (*) can be combined to give .
2 2 2 2 2 2

, and | e
iz

|=e

, which is bounded in the upper half plane.

Trigonometric Function Integral: Example (I)

Show that

This integral is the real part of

and we obtain this by integrating

along the real axis. The function f is analytic except for poles of order 2 at z i. The pole z = i lies inside the illustrated semicircular contour.

So

Now

(calculating). [Continued] Trigonometric Function Integral: Example (II)

We show that the second integral tends to 0 as R |z +1|

2 2

. For z in CR,
iz

(R 1) and | e

|=|e |

1 (y

0)

so Hence

as R

So, taking real parts,

Since the integrand is even here, this Cauchy P.V. is the required integral.

Definite Integrals of Trigonometric Functions

We can use residues to evaluate certain definite integrals of the type The variation of from 0 to 2 suggests that we use circle C. That is, z = exp(i ) (0 2 ). Then

as the argument of a point z on the unit

and the integral becomes

That is, a contour integral of a function of z around the circle C in the positive sense.

Integrals of Trigonometric Functions: Example (I)

Show that The formula is valid for a = 0. Suppose that a 0. Then

where C is the circle | z | = 1 traversed in the positive direction. The denominator has zeros:

Hence the integrand is

. [Continued] Integrals of Trigonometric Functions: Example (II)

Also, noting that | a | > 1, we have | z2 | = (1 + that is, z2 lies outside C.

(1 a )) / |a| > 1;

Further, | z1z2 | = 1, so | z1 | < 1, a simple pole inside C.

The corresponding residue K1 is:

Hence I = 2

i.K1 = 2

/ (1 a ) .

QUIZ 7.3

Final Comment Because of time constraints, the course finished here. With a little more time, we would have showed that analytic mappings are conformal (preserve angle measure), and worked through a few boundary value problems. These would have demonstrated again the practical nature of complex analysis, and given us practice in the use of complex mappings.

1. http://web.me.com/paulscott.info/CA2/ca3.html