The Residue Theorem · 2010-10-04 · 5.We will prove the requisite theorem (the Residue Theorem)...

Singularities Residues Residue Theorem Residue at Infinity Types of Isolated Singularities Residues at Poles

The Residue Theorem

Bernd Schroder

Bernd Schroder Louisiana Tech University, College of Engineering and Science

The Residue Theorem

Introduction

1. The Cauchy-Goursat Theorem says that if a function is analyticon and in a closed contour C, then the integral over the closedcontour is zero.

2. But what if the function is not analytic?3. We will avoid situations where the function “blows up” (goes to

infinity) on the contour. So we will not need to generalizecontour integrals to “improper contour integrals”.

4. But the situation in which the function is not analytic inside thecontour turns out to be quite interesting.

5. We will prove the requisite theorem (the Residue Theorem) inthis presentation and we will also lay the abstract groundwork.

6. We will then spend an extensive amount of time with examplesthat show how widely applicable the Residue Theorem is.

The Residue Theorem

Introduction1. The Cauchy-Goursat Theorem says that if a function is analytic

on and in a closed contour C, then the integral over the closedcontour is zero.

The Residue Theorem

2. But what if the function is not analytic?

3. We will avoid situations where the function “blows up” (goes toinfinity) on the contour. So we will not need to generalizecontour integrals to “improper contour integrals”.

The Residue Theorem

infinity) on the contour.

So we will not need to generalizecontour integrals to “improper contour integrals”.

The Residue Theorem

5. We will prove the requisite theorem

(the Residue Theorem) inthis presentation and we will also lay the abstract groundwork.

The Residue Theorem

5. We will prove the requisite theorem (the Residue Theorem)

inthis presentation and we will also lay the abstract groundwork.

The Residue Theorem

Example.

The function f (z) =1

(z−1)(1+ z2)is not analytic at

z = 1, i,−i.

6ℑ(z)

ℜ(z)1−1

The Residue Theorem

Example. The function f (z) =1

z = 1, i,−i.

6ℑ(z)

ℜ(z)1−1

The Residue Theorem

z = 1, i,−i.

6ℑ(z)

ℜ(z)

The Residue Theorem

z = 1, i,−i.

6ℑ(z)

ℜ(z)

The Residue Theorem

z = 1, i,−i.

6ℑ(z)

ℜ(z)

The Residue Theorem

z = 1, i,−i.

6ℑ(z)

ℜ(z)

The Residue Theorem

z = 1, i,−i.

6ℑ(z)

ℜ(z)

The Residue Theorem

z = 1, i,−i.

6ℑ(z)

ℜ(z)1

The Residue Theorem

z = 1, i,−i.

6ℑ(z)

ℜ(z)1−1

The Residue Theorem

z = 1, i,−i.

6ℑ(z)

ℜ(z)1−1

The Residue Theorem

z = 1, i,−i.

6ℑ(z)

ℜ(z)1−1

The Residue Theorem

z = 1, i,−i.

6ℑ(z)

ℜ(z)1−1

The Residue Theorem

z = 1, i,−i.

6ℑ(z)

ℜ(z)1−1

The Residue Theorem

z = 1, i,−i.

6ℑ(z)

ℜ(z)1−1

The Residue Theorem

Example.

) is not analytic at

z = 1,12,13,14, . . . and at 0 and at z =−1,−1

2,−1

3,−1

4, . . ..

6ℑ(z)

ℜ(z)1−1

rrr· · ·rr r r· · ·

The Residue Theorem

z = 1,12,13,14, . . . and at 0

and at z =−1,−12,−1

3,−1

4, . . ..

6ℑ(z)

ℜ(z)1−1

rrr· · ·rr r r· · ·

The Residue Theorem

z = 1,12,13,14, . . . and at 0 and at z =−1,−1

2,−1

3,−1

4, . . ..

6ℑ(z)

ℜ(z)1−1

rrr· · ·rr r r· · ·

The Residue Theorem

z = 1,12,13,14, . . . and at 0 and at z =−1,−1

2,−1

3,−1

4, . . ..

6ℑ(z)

ℜ(z)1−1

rrr· · ·rr r r· · ·

The Residue Theorem

z = 1,12,13,14, . . . and at 0 and at z =−1,−1

2,−1

3,−1

4, . . ..

6ℑ(z)

ℜ(z)1−1

rr· · ·rr r r· · ·

The Residue Theorem

z = 1,12,13,14, . . . and at 0 and at z =−1,−1

2,−1

3,−1

4, . . ..

6ℑ(z)

ℜ(z)1−1

r· · ·rr r r· · ·

The Residue Theorem

z = 1,12,13,14, . . . and at 0 and at z =−1,−1

2,−1

3,−1

4, . . ..

6ℑ(z)

ℜ(z)1−1

· · ·rr r r· · ·

The Residue Theorem

z = 1,12,13,14, . . . and at 0 and at z =−1,−1

2,−1

3,−1

4, . . ..

6ℑ(z)

ℜ(z)1−1

rrr· · ·

rr r r· · ·

The Residue Theorem

z = 1,12,13,14, . . . and at 0 and at z =−1,−1

2,−1

3,−1

4, . . ..

6ℑ(z)

ℜ(z)1−1

rrr· · ·r

r r r· · ·

The Residue Theorem

z = 1,12,13,14, . . . and at 0 and at z =−1,−1

2,−1

3,−1

4, . . ..

6ℑ(z)

ℜ(z)1−1

rrr· · ·rr

r r· · ·

The Residue Theorem

z = 1,12,13,14, . . . and at 0 and at z =−1,−1

2,−1

3,−1

4, . . ..

6ℑ(z)

ℜ(z)1−1

rrr· · ·rr r

r· · ·

The Residue Theorem

z = 1,12,13,14, . . . and at 0 and at z =−1,−1

2,−1

3,−1

4, . . ..

6ℑ(z)

ℜ(z)1−1

rrr· · ·rr r r

· · ·

The Residue Theorem

z = 1,12,13,14, . . . and at 0 and at z =−1,−1

2,−1

3,−1

4, . . ..

6ℑ(z)

ℜ(z)1−1

rrr· · ·rr r r· · ·

The Residue Theorem

Definition.

If the function f is analytic for 0 < |z− z0|< R, then z0 iscalled an isolated singularity of f .

Notes.1. z = 1, i,−i are isolated singularities of f (z) =

1(z−1)(1+ z2)

2. z = 1,12,13,14, . . . are isolated singularities of f (z) =

But 0 is not an isolated singularity of f (z) =1

3. 0 is not an isolated singularity of f (z) = Log(z) or of any rootfunction. (Remember that every branch cut must contain zero, sothese functions will not be analytic on a set 0 < |z|< R.)

The Residue Theorem

Definition. If the function f is analytic for 0 < |z− z0|< R

, then z0 iscalled an isolated singularity of f .

1(z−1)(1+ z2)

The Residue Theorem

Definition. If the function f is analytic for 0 < |z− z0|< R, then z0 iscalled an isolated singularity of f .

1(z−1)(1+ z2)

The Residue Theorem

Notes.

1. z = 1, i,−i are isolated singularities of f (z) =1

(z−1)(1+ z2).

The Residue Theorem

1(z−1)(1+ z2)

The Residue Theorem

1(z−1)(1+ z2)

The Residue Theorem

1(z−1)(1+ z2)

The Residue Theorem

1(z−1)(1+ z2)

3. 0 is not an isolated singularity of f (z) = Log(z) or of any rootfunction.

(Remember that every branch cut must contain zero, sothese functions will not be analytic on a set 0 < |z|< R.)

The Residue Theorem

1(z−1)(1+ z2)

3. 0 is not an isolated singularity of f (z) = Log(z) or of any rootfunction. (Remember that every branch cut must contain zero

, sothese functions will not be analytic on a set 0 < |z|< R.)

The Residue Theorem

1(z−1)(1+ z2)

The Residue Theorem

Definition.

If the function f is analytic for 0 < |z− z0|< R, then it has

a Laurent expansion∞

∑n=−∞

cn(z− z0)n about z0. The coefficient c−1 is

called the residue of f at z0. It is also denoted Resz=z0(f ) := c−1.

The next result will show the relevance of residues.

The Residue Theorem

Definition. If the function f is analytic for 0 < |z− z0|< R

, then it has

∑n=−∞

The Residue Theorem

Definition. If the function f is analytic for 0 < |z− z0|< R, then it has

∑n=−∞

cn(z− z0)n about z0.

The coefficient c−1 is

The Residue Theorem

∑n=−∞

called the residue of f at z0.

It is also denoted Resz=z0(f ) := c−1.

The Residue Theorem

∑n=−∞

The Residue Theorem

∑n=−∞

The Residue Theorem

Theorem.

If the function f is analytic for 0 < |z− z0|< R and C is apositively oriented simple closed contour around z0 that is contained

in 0 < |z− z0|< R, then∫

Cf (z) dz = 2πiResz=z0(f ).

Proof. From the theorem on Laurent expansions, we have that

Resz=z0(f ) = a−1 =1

f (ξ )(ξ − z0)(−1)+1 dξ =

f (ξ ) dξ ,

where C is any circle around z0 with radius < R. Replacement of thecircle with any contour around the origin requires an argument similarto the one that shows that we can use circles of any radius.

The Residue Theorem

Theorem. If the function f is analytic for 0 < |z− z0|< R

and C is apositively oriented simple closed contour around z0 that is contained

in 0 < |z− z0|< R, then∫

Resz=z0(f ) = a−1 =1

f (ξ )(ξ − z0)(−1)+1 dξ =

f (ξ ) dξ ,

The Residue Theorem

Theorem. If the function f is analytic for 0 < |z− z0|< R and C is apositively oriented simple closed contour around z0 that is contained

in 0 < |z− z0|< R

, then∫

Resz=z0(f ) = a−1 =1

f (ξ )(ξ − z0)(−1)+1 dξ =

f (ξ ) dξ ,

The Residue Theorem

in 0 < |z− z0|< R, then∫

Resz=z0(f ) = a−1 =1

f (ξ )(ξ − z0)(−1)+1 dξ =

f (ξ ) dξ ,

The Residue Theorem

in 0 < |z− z0|< R, then∫

Proof.

From the theorem on Laurent expansions, we have that

Resz=z0(f ) = a−1 =1

f (ξ )(ξ − z0)(−1)+1 dξ =

f (ξ ) dξ ,

The Residue Theorem

in 0 < |z− z0|< R, then∫

Resz=z0(f )

= a−1 =1

f (ξ )(ξ − z0)(−1)+1 dξ =

f (ξ ) dξ ,

The Residue Theorem

in 0 < |z− z0|< R, then∫

Resz=z0(f ) = a−1

f (ξ )(ξ − z0)(−1)+1 dξ =

f (ξ ) dξ ,

The Residue Theorem

in 0 < |z− z0|< R, then∫

Resz=z0(f ) = a−1 =1

f (ξ )(ξ − z0)(−1)+1 dξ

f (ξ ) dξ ,

The Residue Theorem

in 0 < |z− z0|< R, then∫

Resz=z0(f ) = a−1 =1

f (ξ )(ξ − z0)(−1)+1 dξ =

f (ξ ) dξ

The Residue Theorem

in 0 < |z− z0|< R, then∫

Resz=z0(f ) = a−1 =1

f (ξ )(ξ − z0)(−1)+1 dξ =

f (ξ ) dξ ,

where C is any circle around z0 with radius < R.

Replacement of thecircle with any contour around the origin requires an argument similarto the one that shows that we can use circles of any radius.

The Residue Theorem

in 0 < |z− z0|< R, then∫

Resz=z0(f ) = a−1 =1

f (ξ )(ξ − z0)(−1)+1 dξ =

f (ξ ) dξ ,

The Residue Theorem

Proof (concl.)

rrrrIR

The Residue Theorem

Proof (concl.)

rrrrIR

The Residue Theorem

Proof (concl.)

The Residue Theorem

Proof (concl.)

The Residue Theorem

Proof (concl.)

The Residue Theorem

Proof (concl.)

The Residue Theorem

Proof (concl.)

The Residue Theorem

Proof (concl.)

rrrrIR

The Residue Theorem

Proof (concl.)

rrrrIR

The Residue Theorem

Example.

Let C be the unit circle, traversed in the positive

orientation. Then∫

zdz = 2πi

The functionez

zhas only the singularity at 0 inside the contour. The

residue ofez

∑n=0

(n+1)!at z = 0 is 1. Now apply the

preceding theorem.Note that direct computation gives the same result, because the

integral of∞

∑n=0

(n+1)!over any closed contour is 0 and

dz =∫ 2π

1eiθ ieiθ dθ = 2πi.

The Residue Theorem

Example. Let C be the unit circle, traversed in the positive

orientation.

Then∫

zdz = 2πi

The functionez

residue ofez

∑n=0

integral of∞

∑n=0

dz =∫ 2π

The Residue Theorem

zdz = 2πi

The functionez

residue ofez

∑n=0

integral of∞

∑n=0

dz =∫ 2π

The Residue Theorem

zdz = 2πi

The functionez

zhas only the singularity at 0 inside the contour.

residue ofez

∑n=0

integral of∞

∑n=0

dz =∫ 2π

The Residue Theorem

zdz = 2πi

The functionez

residue ofez

∑n=0

integral of∞

∑n=0

dz =∫ 2π

The Residue Theorem

zdz = 2πi

The functionez

residue ofez

∑n=0

(n+1)!

at z = 0 is 1. Now apply the

integral of∞

∑n=0

dz =∫ 2π

The Residue Theorem

zdz = 2πi

The functionez

residue ofez

∑n=0

(n+1)!at z = 0 is 1.

Now apply the

integral of∞

∑n=0

dz =∫ 2π

The Residue Theorem

zdz = 2πi

The functionez

residue ofez

∑n=0

preceding theorem.

Note that direct computation gives the same result, because the

integral of∞

∑n=0

dz =∫ 2π

The Residue Theorem

zdz = 2πi

The functionez

residue ofez

∑n=0

preceding theorem.Note that direct computation gives the same result

, because the

integral of∞

∑n=0

dz =∫ 2π

The Residue Theorem

zdz = 2πi

The functionez

residue ofez

∑n=0

integral of∞

∑n=0

(n+1)!over any closed contour is 0

dz =∫ 2π

The Residue Theorem

zdz = 2πi

The functionez

residue ofez

∑n=0

integral of∞

∑n=0

=∫ 2π

The Residue Theorem

zdz = 2πi

The functionez

residue ofez

∑n=0

integral of∞

∑n=0

dz =∫ 2π

1eiθ ieiθ dθ

= 2πi.

The Residue Theorem

zdz = 2πi

The functionez

residue ofez

∑n=0

integral of∞

∑n=0

dz =∫ 2π

The Residue Theorem

Example.

Let C be the unit circle, traversed in the positive

z2 dz = 0

The functionez2

z2 has only the singularity at 0 inside the contour. The

residue ofez2

z2 =1z2 +

∑n=0

preceding theorem.

The Residue Theorem

orientation.

Then∫

z2 dz = 0

The functionez2

residue ofez2

z2 =1z2 +

∑n=0

preceding theorem.

The Residue Theorem

z2 dz = 0

The functionez2

residue ofez2

z2 =1z2 +

∑n=0

preceding theorem.

The Residue Theorem

z2 dz = 0

The functionez2

z2 has only the singularity at 0 inside the contour.

residue ofez2

z2 =1z2 +

∑n=0

preceding theorem.

The Residue Theorem

z2 dz = 0

The functionez2

residue ofez2

=1z2 +

∑n=0

preceding theorem.

The Residue Theorem

z2 dz = 0

The functionez2

residue ofez2

z2 =1z2 +

∑n=0

(n+1)!

at z = 0 is 0. Now apply the

preceding theorem.

The Residue Theorem

z2 dz = 0

The functionez2

residue ofez2

z2 =1z2 +

∑n=0

(n+1)!at z = 0 is 0.

Now apply the

preceding theorem.

The Residue Theorem

z2 dz = 0

The functionez2

residue ofez2

z2 =1z2 +

∑n=0

preceding theorem.

The Residue Theorem

Theorem.

Residue Theorem. Let C be a simple closed positivelyoriented contour, let z1, . . . ,zn be points in the interior of C, and letthe function f be analytic on C and in its interior, except possibly atthe zj. Then

f (ξ ) dξ =n

∑j=1

Resz=zj(f ).

Proof. Let Cj be positively oriented circle around zj so that no two ofC1, . . . ,Cn intersect and so that all are contained in the interior of C.Then by extension of Cauchy-Goursat theorem∫

Cf (z) dz =

∑j=1

f (z) dz = 2πin

∑j=1

Resz=zj(f ).

The Residue Theorem

Theorem. Residue Theorem. Let C be a simple closed positivelyoriented contour, let z1, . . . ,zn be points in the interior of C, and letthe function f be analytic on C and in its interior, except possibly atthe zj. Then

f (ξ ) dξ =n

∑j=1

Resz=zj(f ).

Cf (z) dz =

∑j=1

f (z) dz = 2πin

∑j=1

Resz=zj(f ).

The Residue Theorem

f (ξ ) dξ =n

∑j=1

Resz=zj(f ).

Proof.

Let Cj be positively oriented circle around zj so that no two ofC1, . . . ,Cn intersect and so that all are contained in the interior of C.Then by extension of Cauchy-Goursat theorem∫

Cf (z) dz =

∑j=1

f (z) dz = 2πin

∑j=1

Resz=zj(f ).

The Residue Theorem

f (ξ ) dξ =n

∑j=1

Resz=zj(f ).

Proof. Let Cj be positively oriented circle around zj

so that no two ofC1, . . . ,Cn intersect and so that all are contained in the interior of C.Then by extension of Cauchy-Goursat theorem∫

Cf (z) dz =

∑j=1

f (z) dz = 2πin

∑j=1

Resz=zj(f ).

The Residue Theorem

f (ξ ) dξ =n

∑j=1

Resz=zj(f ).

Proof. Let Cj be positively oriented circle around zj so that no two ofC1, . . . ,Cn intersect and so that all are contained in the interior of C.

Then by extension of Cauchy-Goursat theorem∫C

f (z) dz =n

∑j=1

f (z) dz = 2πin

∑j=1

Resz=zj(f ).

The Residue Theorem

f (ξ ) dξ =n

∑j=1

Resz=zj(f ).

Cf (z) dz =

∑j=1

f (z) dz

= 2πin

∑j=1

Resz=zj(f ).

The Residue Theorem

f (ξ ) dξ =n

∑j=1

Resz=zj(f ).

Cf (z) dz =

∑j=1

f (z) dz = 2πin

∑j=1

Resz=zj(f ).

The Residue Theorem

f (ξ ) dξ =n

∑j=1

Resz=zj(f ).

Cf (z) dz =

∑j=1

f (z) dz = 2πin

∑j=1

Resz=zj(f ).

The Residue Theorem

Example.

Integrate the function f (z) =z2

z2 +1over the positively

oriented boundary of the square of numbers z = x+ iy with (x,y) in[−3,3]× [−3,3].

6ℑ(z)

ℜ(z)6

The Residue Theorem

Example. Integrate the function f (z) =z2

6ℑ(z)

ℜ(z)6

The Residue Theorem

6ℑ(z)

ℜ(z)

The Residue Theorem

6ℑ(z)

ℜ(z)6

The Residue Theorem

6ℑ(z)

ℜ(z)6

The Residue Theorem

6ℑ(z)

ℜ(z)6

The Residue Theorem

6ℑ(z)

ℜ(z)6

The Residue Theorem

6ℑ(z)

ℜ(z)6

The Residue Theorem

6ℑ(z)

ℜ(z)6

The Residue Theorem

6ℑ(z)

ℜ(z)6

The Residue Theorem

6ℑ(z)

ℜ(z)6

The Residue Theorem

6ℑ(z)

ℜ(z)6

The Residue Theorem

Residue at i:z2

z2 +1=

z2 +1−1z2 +1

= 1− 1z2 +1

= 1− 1z+ i

1z− i

Resz=i

)= − 1

Residue at −i:z2

z2 +1=

z2 +1−1z2 +1

= 1− 1z2 +1

= 1− 1z− i

Resz=−i

)= − 1

−i− i=− i

The Residue Theorem

Residue at i:

z2 +1=

z2 +1−1z2 +1

= 1− 1z2 +1

= 1− 1z+ i

1z− i

Resz=i

)= − 1

Residue at −i:z2

z2 +1=

z2 +1−1z2 +1

= 1− 1z2 +1

= 1− 1z− i

Resz=−i

)= − 1

−i− i=− i

The Residue Theorem

Residue at i:z2

=z2 +1−1

z2 +1= 1− 1

z− i

Resz=i

)= − 1

Residue at −i:z2

z2 +1=

z2 +1−1z2 +1

= 1− 1z2 +1

= 1− 1z− i

Resz=−i

)= − 1

−i− i=− i

The Residue Theorem

Residue at i:z2

z2 +1=

z2 +1−1z2 +1

= 1− 1z2 +1

= 1− 1z+ i

1z− i

Resz=i

)= − 1

Residue at −i:z2

z2 +1=

z2 +1−1z2 +1

= 1− 1z2 +1

= 1− 1z− i

Resz=−i

)= − 1

−i− i=− i

The Residue Theorem

Residue at i:z2

z2 +1=

z2 +1−1z2 +1

= 1− 1z2 +1

= 1− 1z+ i

1z− i

Resz=i

)= − 1

Residue at −i:z2

z2 +1=

z2 +1−1z2 +1

= 1− 1z2 +1

= 1− 1z− i

Resz=−i

)= − 1

−i− i=− i

The Residue Theorem

Residue at i:z2

z2 +1=

z2 +1−1z2 +1

= 1− 1z2 +1

= 1− 1z+ i

1z− i

Resz=i

)= − 1

Residue at −i:z2

z2 +1=

z2 +1−1z2 +1

= 1− 1z2 +1

= 1− 1z− i

Resz=−i

)= − 1

−i− i=− i

The Residue Theorem

Residue at i:z2

z2 +1=

z2 +1−1z2 +1

= 1− 1z2 +1

= 1− 1z+ i

1z− i

Resz=i

= − 1i+ i

Residue at −i:z2

z2 +1=

z2 +1−1z2 +1

= 1− 1z2 +1

= 1− 1z− i

Resz=−i

)= − 1

−i− i=− i

The Residue Theorem

Residue at i:z2

z2 +1=

z2 +1−1z2 +1

= 1− 1z2 +1

= 1− 1z+ i

1z− i

Resz=i

)= − 1

Residue at −i:z2

z2 +1=

z2 +1−1z2 +1

= 1− 1z2 +1

= 1− 1z− i

Resz=−i

)= − 1

−i− i=− i

The Residue Theorem

Residue at i:z2

z2 +1=

z2 +1−1z2 +1

= 1− 1z2 +1

= 1− 1z+ i

1z− i

Resz=i

)= − 1

Residue at −i:z2

z2 +1=

z2 +1−1z2 +1

= 1− 1z2 +1

= 1− 1z− i

Resz=−i

)= − 1

−i− i=− i

The Residue Theorem

Residue at i:z2

z2 +1=

z2 +1−1z2 +1

= 1− 1z2 +1

= 1− 1z+ i

1z− i

Resz=i

)= − 1

Residue at −i:

z2 +1=

z2 +1−1z2 +1

= 1− 1z2 +1

= 1− 1z− i

Resz=−i

)= − 1

−i− i=− i

The Residue Theorem

Residue at i:z2

z2 +1=

z2 +1−1z2 +1

= 1− 1z2 +1

= 1− 1z+ i

1z− i

Resz=i

)= − 1

Residue at −i:z2

=z2 +1−1

z2 +1= 1− 1

z− i1

Resz=−i

)= − 1

−i− i=− i

The Residue Theorem

Residue at i:z2

z2 +1=

z2 +1−1z2 +1

= 1− 1z2 +1

= 1− 1z+ i

1z− i

Resz=i

)= − 1

Residue at −i:z2

z2 +1=

z2 +1−1z2 +1

= 1− 1z2 +1

= 1− 1z− i

Resz=−i

)= − 1

−i− i=− i

The Residue Theorem

Residue at i:z2

z2 +1=

z2 +1−1z2 +1

= 1− 1z2 +1

= 1− 1z+ i

1z− i

Resz=i

)= − 1

Residue at −i:z2

z2 +1=

z2 +1−1z2 +1

= 1− 1z2 +1

= 1− 1z− i

Resz=−i

)= − 1

−i− i=− i

The Residue Theorem

Residue at i:z2

z2 +1=

z2 +1−1z2 +1

= 1− 1z2 +1

= 1− 1z+ i

1z− i

Resz=i

)= − 1

Residue at −i:z2

z2 +1=

z2 +1−1z2 +1

= 1− 1z2 +1

= 1− 1z− i

Resz=−i

)= − 1

−i− i=− i

The Residue Theorem

Residue at i:z2

z2 +1=

z2 +1−1z2 +1

= 1− 1z2 +1

= 1− 1z+ i

1z− i

Resz=i

)= − 1

Residue at −i:z2

z2 +1=

z2 +1−1z2 +1

= 1− 1z2 +1

= 1− 1z− i

Resz=−i

= − 1−i− i

=− i2

The Residue Theorem

Residue at i:z2

z2 +1=

z2 +1−1z2 +1

= 1− 1z2 +1

= 1− 1z+ i

1z− i

Resz=i

)= − 1

Residue at −i:z2

z2 +1=

z2 +1−1z2 +1

= 1− 1z2 +1

= 1− 1z− i

Resz=−i

)= − 1

−i− i

=− i2

The Residue Theorem

Residue at i:z2

z2 +1=

z2 +1−1z2 +1

= 1− 1z2 +1

= 1− 1z+ i

1z− i

Resz=i

)= − 1

Residue at −i:z2

z2 +1=

z2 +1−1z2 +1

= 1− 1z2 +1

= 1− 1z− i

Resz=−i

)= − 1

−i− i=− i

The Residue Theorem

z2 +1dz = 2πi

[Resz=i

)+Resz=−i

)]= 2πi

+(− i

The Residue Theorem

z2 +1dz

= 2πi[

Resz=i

)+Resz=−i

)]= 2πi

+(− i

The Residue Theorem

z2 +1dz = 2πi

[Resz=i

)+Resz=−i

= 2πi[

+(− i

The Residue Theorem

z2 +1dz = 2πi

[Resz=i

)+Resz=−i

)]= 2πi

+(− i

The Residue Theorem

z2 +1dz = 2πi

[Resz=i

)+Resz=−i

)]= 2πi

+(− i

The Residue Theorem

Definition.

Let f be analytic on C except for a finite number ofsingular points z1, . . . ,zn. Assume that R1 is so that all |zj| ≤ R1. ForR0 > R1 let C−0 be the circle around the origin of radius R0, traversedin the clockwise, that is, the mathematically negative direction. Thenwe define the residue at infinity of f as

Resz=∞(f ) =1

∫C−0

f (z) dz.

Resz=∞(f ) =1

∫C−0

f (z) dz =− 12πi

∑n=−∞

cnzn dz

= −c−1 =− 12πi

∑n=−∞

cn−2

zn dz =− 12πi

∑n=−∞

cn−2

zn−2 dz

= − 12πi

1z2 f(

)dz =−Resz=0

(1z2 f(

The Residue Theorem

Definition. Let f be analytic on C except for a finite number ofsingular points z1, . . . ,zn.

Assume that R1 is so that all |zj| ≤ R1. ForR0 > R1 let C−0 be the circle around the origin of radius R0, traversedin the clockwise, that is, the mathematically negative direction. Thenwe define the residue at infinity of f as

Resz=∞(f ) =1

∫C−0

f (z) dz.

Resz=∞(f ) =1

∫C−0

f (z) dz =− 12πi

∑n=−∞

cnzn dz

= −c−1 =− 12πi

∑n=−∞

cn−2

zn dz =− 12πi

∑n=−∞

cn−2

zn−2 dz

= − 12πi

1z2 f(

)dz =−Resz=0

(1z2 f(

The Residue Theorem

Definition. Let f be analytic on C except for a finite number ofsingular points z1, . . . ,zn. Assume that R1 is so that all |zj| ≤ R1.

ForR0 > R1 let C−0 be the circle around the origin of radius R0, traversedin the clockwise, that is, the mathematically negative direction. Thenwe define the residue at infinity of f as

Resz=∞(f ) =1

∫C−0

f (z) dz.

Resz=∞(f ) =1

∫C−0

f (z) dz =− 12πi

∑n=−∞

cnzn dz

= −c−1 =− 12πi

∑n=−∞

cn−2

zn dz =− 12πi

∑n=−∞

cn−2

zn−2 dz

= − 12πi

1z2 f(

)dz =−Resz=0

(1z2 f(

The Residue Theorem

Definition. Let f be analytic on C except for a finite number ofsingular points z1, . . . ,zn. Assume that R1 is so that all |zj| ≤ R1. ForR0 > R1 let C−0 be the circle around the origin of radius R0, traversedin the clockwise

, that is, the mathematically negative direction. Thenwe define the residue at infinity of f as

Resz=∞(f ) =1

∫C−0

f (z) dz.

Resz=∞(f ) =1

∫C−0

f (z) dz =− 12πi

∑n=−∞

cnzn dz

= −c−1 =− 12πi

∑n=−∞

cn−2

zn dz =− 12πi

∑n=−∞

cn−2

zn−2 dz

= − 12πi

1z2 f(

)dz =−Resz=0

(1z2 f(

The Residue Theorem

Definition. Let f be analytic on C except for a finite number ofsingular points z1, . . . ,zn. Assume that R1 is so that all |zj| ≤ R1. ForR0 > R1 let C−0 be the circle around the origin of radius R0, traversedin the clockwise, that is, the mathematically negative

direction. Thenwe define the residue at infinity of f as

Resz=∞(f ) =1

∫C−0

f (z) dz.

Resz=∞(f ) =1

∫C−0

f (z) dz =− 12πi

∑n=−∞

cnzn dz

= −c−1 =− 12πi

∑n=−∞

cn−2

zn dz =− 12πi

∑n=−∞

cn−2

zn−2 dz

= − 12πi

1z2 f(

)dz =−Resz=0

(1z2 f(

The Residue Theorem

Definition. Let f be analytic on C except for a finite number ofsingular points z1, . . . ,zn. Assume that R1 is so that all |zj| ≤ R1. ForR0 > R1 let C−0 be the circle around the origin of radius R0, traversedin the clockwise, that is, the mathematically negative direction.

Thenwe define the residue at infinity of f as

Resz=∞(f ) =1

∫C−0

f (z) dz.

Resz=∞(f ) =1

∫C−0

f (z) dz =− 12πi

∑n=−∞

cnzn dz

= −c−1 =− 12πi

∑n=−∞

cn−2

zn dz =− 12πi

∑n=−∞

cn−2

zn−2 dz

= − 12πi

1z2 f(

)dz =−Resz=0

(1z2 f(

The Residue Theorem

Definition. Let f be analytic on C except for a finite number ofsingular points z1, . . . ,zn. Assume that R1 is so that all |zj| ≤ R1. ForR0 > R1 let C−0 be the circle around the origin of radius R0, traversedin the clockwise, that is, the mathematically negative direction. Thenwe define the residue at infinity of f as

Resz=∞(f ) =1

∫C−0

f (z) dz.

Resz=∞(f ) =1

∫C−0

f (z) dz =− 12πi

∑n=−∞

cnzn dz

= −c−1 =− 12πi

∑n=−∞

cn−2

zn dz =− 12πi

∑n=−∞

cn−2

zn−2 dz

= − 12πi

1z2 f(

)dz =−Resz=0

(1z2 f(

The Residue Theorem

Resz=∞(f ) =1

∫C−0

f (z) dz.

Resz=∞(f ) =1

∫C−0

f (z) dz

=− 12πi

f (z) dz =− 12πi

∑n=−∞

cnzn dz

= −c−1 =− 12πi

∑n=−∞

cn−2

zn dz =− 12πi

∑n=−∞

cn−2

zn−2 dz

= − 12πi

1z2 f(

)dz =−Resz=0

(1z2 f(

The Residue Theorem

Resz=∞(f ) =1

∫C−0

f (z) dz.

Resz=∞(f ) =1

∫C−0

f (z) dz =− 12πi

f (z) dz

=− 12πi

∑n=−∞

cnzn dz

= −c−1 =− 12πi

∑n=−∞

cn−2

zn dz =− 12πi

∑n=−∞

cn−2

zn−2 dz

= − 12πi

1z2 f(

)dz =−Resz=0

(1z2 f(

The Residue Theorem

Resz=∞(f ) =1

∫C−0

f (z) dz.

Resz=∞(f ) =1

∫C−0

f (z) dz =− 12πi

∑n=−∞

cnzn dz

= −c−1 =− 12πi

∑n=−∞

cn−2

zn dz =− 12πi

∑n=−∞

cn−2

zn−2 dz

= − 12πi

1z2 f(

)dz =−Resz=0

(1z2 f(

The Residue Theorem

Resz=∞(f ) =1

∫C−0

f (z) dz.

Resz=∞(f ) =1

∫C−0

f (z) dz =− 12πi

∑n=−∞

cnzn dz

= −c−1

=− 12πi

∑n=−∞

cn−2

zn dz =− 12πi

∑n=−∞

cn−2

zn−2 dz

= − 12πi

1z2 f(

)dz =−Resz=0

(1z2 f(

The Residue Theorem

Resz=∞(f ) =1

∫C−0

f (z) dz.

Resz=∞(f ) =1

∫C−0

f (z) dz =− 12πi

∑n=−∞

cnzn dz

= −c−1 =− 12πi

∑n=−∞

cn−2

=− 12πi

∑n=−∞

cn−2

zn−2 dz

= − 12πi

1z2 f(

)dz =−Resz=0

(1z2 f(

The Residue Theorem

Resz=∞(f ) =1

∫C−0

f (z) dz.

Resz=∞(f ) =1

∫C−0

f (z) dz =− 12πi

∑n=−∞

cnzn dz

= −c−1 =− 12πi

∑n=−∞

cn−2

zn dz =− 12πi

∑n=−∞

cn−2

zn−2 dz

= − 12πi

1z2 f(

)dz =−Resz=0

(1z2 f(

The Residue Theorem

Resz=∞(f ) =1

∫C−0

f (z) dz.

Resz=∞(f ) =1

∫C−0

f (z) dz =− 12πi

∑n=−∞

cnzn dz

= −c−1 =− 12πi

∑n=−∞

cn−2

zn dz =− 12πi

∑n=−∞

cn−2

zn−2 dz

= − 12πi

1z2 f(

=−Resz=0

(1z2 f(

The Residue Theorem

Resz=∞(f ) =1

∫C−0

f (z) dz.

Resz=∞(f ) =1

∫C−0

f (z) dz =− 12πi

∑n=−∞

cnzn dz

= −c−1 =− 12πi

∑n=−∞

cn−2

zn dz =− 12πi

∑n=−∞

cn−2

zn−2 dz

= − 12πi

1z2 f(

)dz =−Resz=0

(1z2 f(

))Bernd Schroder Louisiana Tech University, College of Engineering and Science

The Residue Theorem

Theorem.

If f is analytic on C, except for a finite number of singularpoints that lie in the interior of a positively oriented simple closedcontour C, then ∫

Cf (z) dz = 2πiResz=0

[1z2 f(

Proof. See previous panel.

The Residue Theorem

Theorem. If f is analytic on C, except for a finite number of singularpoints that lie in the interior of a positively oriented simple closedcontour C, then ∫

[1z2 f(

The Residue Theorem

[1z2 f(

Proof.

See previous panel.

The Residue Theorem

[1z2 f(

The Residue Theorem

[1z2 f(

The Residue Theorem

Example.

Integrate the function f (z) =z2

6ℑ(z)

ℜ(z)6

The Residue Theorem

6ℑ(z)

ℜ(z)6

The Residue Theorem

6ℑ(z)

ℜ(z)

The Residue Theorem

6ℑ(z)

ℜ(z)6

The Residue Theorem

6ℑ(z)

ℜ(z)6

The Residue Theorem

6ℑ(z)

ℜ(z)6

The Residue Theorem

6ℑ(z)

ℜ(z)6

The Residue Theorem

6ℑ(z)

ℜ(z)6

The Residue Theorem

6ℑ(z)

ℜ(z)6

The Residue Theorem

6ℑ(z)

ℜ(z)6

The Residue Theorem

6ℑ(z)

ℜ(z)6

The Residue Theorem

6ℑ(z)

ℜ(z)6

The Residue Theorem

1z2 f(

11+ z2

11− (−z2)

∑n=0

(−1)nz2n

=1z2 +

∑n=1

(−1)nz2n−2

and hence∫

[1z2 f(

)]= 0.

The Residue Theorem

1z2 f(

11+ z2

11− (−z2)

∑n=0

(−1)nz2n

=1z2 +

∑n=1

(−1)nz2n−2

and hence∫

[1z2 f(

)]= 0.

The Residue Theorem

1z2 f(

11+ z2

11− (−z2)

∑n=0

(−1)nz2n

=1z2 +

∑n=1

(−1)nz2n−2

and hence∫

[1z2 f(

)]= 0.

The Residue Theorem

1z2 f(

11+ z2

11− (−z2)

∑n=0

(−1)nz2n

=1z2 +

∑n=1

(−1)nz2n−2

and hence∫

[1z2 f(

)]= 0.

The Residue Theorem

1z2 f(

11+ z2

11− (−z2)

∑n=0

(−1)nz2n

=1z2 +

∑n=1

(−1)nz2n−2

and hence∫

[1z2 f(

)]= 0.

The Residue Theorem

1z2 f(

11+ z2

11− (−z2)

∑n=0

(−1)nz2n

=1z2 +

∑n=1

(−1)nz2n−2

and hence∫

[1z2 f(

)]= 0.

The Residue Theorem

1z2 f(

11+ z2

11− (−z2)

∑n=0

(−1)nz2n

=1z2 +

∑n=1

(−1)nz2n−2

and hence∫

[1z2 f(

)]= 0.

The Residue Theorem

1z2 f(

11+ z2

11− (−z2)

∑n=0

(−1)nz2n

=1z2 +

∑n=1

(−1)nz2n−2

and hence∫

Cf (z) dz

= 2πiResz=0

[1z2 f(

)]= 0.

The Residue Theorem

1z2 f(

11+ z2

11− (−z2)

∑n=0

(−1)nz2n

=1z2 +

∑n=1

(−1)nz2n−2

and hence∫

[1z2 f(

The Residue Theorem

1z2 f(

11+ z2

11− (−z2)

∑n=0

(−1)nz2n

=1z2 +

∑n=1

(−1)nz2n−2

and hence∫

[1z2 f(

)]= 0.

The Residue Theorem

Definition.

Let z0 be a complex number, let r > 0 and let f be analyticin a deleted neighborhood of z0. In this case z0 is called an isolatedsingularity of f . Consider the Laurent expansion of f around z0

f (z) =∞

∑n=0

an(z− z0)n +b1

z− z0+

(z− z0)2 +b3

(z− z0)3 + · · ·

The sum of the negative powers of z− z0 is also called the principalpart of f .

1. If bn = 0 for all n, then z0 is called a removable singularity.2. If there is a positive number m so that bm 6= 0 and bn = 0 for all

n > m, then z0 is called a pole of order m.3. If the number m in part 2 equals 1, then z0 is also called a

simple pole.4. If z0 is not removable and there is no number as in part 2, then z0

is called an essential singularity.

The Residue Theorem

Definition. Let z0 be a complex number, let r > 0 and let f be analyticin a deleted neighborhood of z0.

In this case z0 is called an isolatedsingularity of f . Consider the Laurent expansion of f around z0

f (z) =∞

∑n=0

an(z− z0)n +b1

z− z0+

(z− z0)2 +b3

(z− z0)3 + · · ·

The Residue Theorem

Definition. Let z0 be a complex number, let r > 0 and let f be analyticin a deleted neighborhood of z0. In this case z0 is called an isolatedsingularity of f .

Consider the Laurent expansion of f around z0

f (z) =∞

∑n=0

an(z− z0)n +b1

z− z0+

(z− z0)2 +b3

(z− z0)3 + · · ·

The Residue Theorem

Definition. Let z0 be a complex number, let r > 0 and let f be analyticin a deleted neighborhood of z0. In this case z0 is called an isolatedsingularity of f . Consider the Laurent expansion of f around z0

f (z) =∞

∑n=0

an(z− z0)n +b1

z− z0+

(z− z0)2 +b3

(z− z0)3 + · · ·

The Residue Theorem

f (z) =∞

∑n=0

an(z− z0)n +b1

z− z0+

(z− z0)2 +b3

(z− z0)3 + · · ·

The Residue Theorem

f (z) =∞

∑n=0

an(z− z0)n +b1

z− z0+

(z− z0)2 +b3

(z− z0)3 + · · ·

1. If bn = 0 for all n, then z0 is called a removable singularity.

2. If there is a positive number m so that bm 6= 0 and bn = 0 for alln > m, then z0 is called a pole of order m.

3. If the number m in part 2 equals 1, then z0 is also called asimple pole.

4. If z0 is not removable and there is no number as in part 2, then z0is called an essential singularity.

The Residue Theorem

f (z) =∞

∑n=0

an(z− z0)n +b1

z− z0+

(z− z0)2 +b3

(z− z0)3 + · · ·

n > m, then z0 is called a pole of order m.

3. If the number m in part 2 equals 1, then z0 is also called asimple pole.

The Residue Theorem

f (z) =∞

∑n=0

an(z− z0)n +b1

z− z0+

(z− z0)2 +b3

(z− z0)3 + · · ·

simple pole.

The Residue Theorem

f (z) =∞

∑n=0

an(z− z0)n +b1

z− z0+

(z− z0)2 +b3

(z− z0)3 + · · ·

The Residue Theorem

Example.

The function f (z) =sin(z)

zhas a removable singularity at

z = 0.sin(z)

sin(z)

∑n=0

(−1)n

(2n+1)!z2n+1

∑n=0

(−1)n

(2n+1)!z2n

The Residue Theorem

Example. The function f (z) =sin(z)

z = 0.

sin(z)z

sin(z)

∑n=0

(−1)n

(2n+1)!z2n+1

∑n=0

(−1)n

(2n+1)!z2n

The Residue Theorem

z = 0.sin(z)

sin(z)

∑n=0

(−1)n

(2n+1)!z2n+1

∑n=0

(−1)n

(2n+1)!z2n

The Residue Theorem

z = 0.sin(z)

sin(z)

∑n=0

(−1)n

(2n+1)!z2n+1

∑n=0

(−1)n

(2n+1)!z2n

The Residue Theorem

z = 0.sin(z)

sin(z)

∑n=0

(−1)n

(2n+1)!z2n+1

∑n=0

(−1)n

(2n+1)!z2n

The Residue Theorem

z = 0.sin(z)

sin(z)

∑n=0

(−1)n

(2n+1)!z2n+1

∑n=0

(−1)n

(2n+1)!z2n

The Residue Theorem

Example.

1− z2 has simple poles at z = 1 and at

z =−1.1

1− z2 =1

The Residue Theorem

z =−1.

11− z2 =

1z−1

The Residue Theorem

z =−1.1

1− z2

The Residue Theorem

z =−1.1

1− z2 =1

The Residue Theorem

Example.

The function f (z) =1+ z2

z3 has a pole of order 3 at z = 0.

z3 =1z3 +

The Residue Theorem

Example. The function f (z) =1+ z2

z3 =1z3 +

The Residue Theorem

=1z3 +

The Residue Theorem

z3 =1z3 +

The Residue Theorem

Example.

The function f (z) = e1z has an essential singularity at

z = 0.

∑n=0

The Residue Theorem

Example. The function f (z) = e1z has an essential singularity at

z = 0.

∑n=0

The Residue Theorem

z = 0.

∑n=0

The Residue Theorem

z = 0.

∑n=0

The Residue Theorem

Theorem.

Let the function f be analytic in a deleted neighborhood ofthe point z0. Then z0 is a pole of order m if and only if there is functionΦ that is analytic in a neighborhood of z0, Φ(z0) 6= 0 and so that

f (z) =Φ(z)

(z− z0)m

for all z in a deleted neighborhood of z0. Moreover,

Resz=z0(f ) =Φ(m−1)(z0)(m−1)!

The Residue Theorem

Theorem. Let the function f be analytic in a deleted neighborhood ofthe point z0.

Then z0 is a pole of order m if and only if there is functionΦ that is analytic in a neighborhood of z0, Φ(z0) 6= 0 and so that

f (z) =Φ(z)

(z− z0)m

Resz=z0(f ) =Φ(m−1)(z0)(m−1)!

The Residue Theorem

Theorem. Let the function f be analytic in a deleted neighborhood ofthe point z0. Then z0 is a pole of order m if and only if there is functionΦ that is analytic in a neighborhood of z0

, Φ(z0) 6= 0 and so that

f (z) =Φ(z)

(z− z0)m

Resz=z0(f ) =Φ(m−1)(z0)(m−1)!

The Residue Theorem

Theorem. Let the function f be analytic in a deleted neighborhood ofthe point z0. Then z0 is a pole of order m if and only if there is functionΦ that is analytic in a neighborhood of z0, Φ(z0) 6= 0

and so that

f (z) =Φ(z)

(z− z0)m

Resz=z0(f ) =Φ(m−1)(z0)(m−1)!

The Residue Theorem

Theorem. Let the function f be analytic in a deleted neighborhood ofthe point z0. Then z0 is a pole of order m if and only if there is functionΦ that is analytic in a neighborhood of z0, Φ(z0) 6= 0 and so that

f (z) =Φ(z)

(z− z0)m

for all z in a deleted neighborhood of z0.

Moreover,

Resz=z0(f ) =Φ(m−1)(z0)(m−1)!

The Residue Theorem

Theorem. Let the function f be analytic in a deleted neighborhood ofthe point z0. Then z0 is a pole of order m if and only if there is functionΦ that is analytic in a neighborhood of z0, Φ(z0) 6= 0 and so that

f (z) =Φ(z)

(z− z0)m

Resz=z0(f ) =Φ(m−1)(z0)(m−1)!

The Residue Theorem

Proof.

If f has a pole of order m around z0, then the Laurentexpansion of z for 0 < |z− z0|< R (for some R) is (with c−m 6= 0)

f (z) =∞

∑n=−m

cn(z− z0)n =1

(z− z0)m

∑n=−m

cn(z− z0)n+m

(z− z0)m

∑k=0

ck−m(z− z0)k =:Φ(z)

(z− z0)m .

Conversely, if f (z) =Φ(z)

(z− z0)m with Φ(z0) 6= 0, then the above

computation in reverse shows that f has a pole of order m. Moreover,in this situation, the coefficient c−1 = Resz=z0(f ) of the Laurent

expansion of f is the coefficient am−1 =Φ(m−1)(z0)(m−1)!

of the power

series expansion of Φ.

The Residue Theorem

Proof. If f has a pole of order m around z0, then the Laurentexpansion of z for 0 < |z− z0|< R (for some R) is (with c−m 6= 0)

f (z) =∞

∑n=−m

cn(z− z0)n

(z− z0)m

∑n=−m

cn(z− z0)n+m

(z− z0)m

∑k=0

(z− z0)m .

of the power

The Residue Theorem

f (z) =∞

∑n=−m

cn(z− z0)n =1

(z− z0)m

∑n=−m

cn(z− z0)n+m

(z− z0)m

∑k=0

(z− z0)m .

of the power

The Residue Theorem

f (z) =∞

∑n=−m

cn(z− z0)n =1

(z− z0)m

∑n=−m

cn(z− z0)n+m

(z− z0)m

∑k=0

ck−m(z− z0)k

=:Φ(z)

(z− z0)m .

of the power

The Residue Theorem

f (z) =∞

∑n=−m

cn(z− z0)n =1

(z− z0)m

∑n=−m

cn(z− z0)n+m

(z− z0)m

∑k=0

(z− z0)m .

of the power

The Residue Theorem

f (z) =∞

∑n=−m

cn(z− z0)n =1

(z− z0)m

∑n=−m

cn(z− z0)n+m

(z− z0)m

∑k=0

(z− z0)m .

computation in reverse shows that f has a pole of order m.

Moreover,in this situation, the coefficient c−1 = Resz=z0(f ) of the Laurent

of the power

The Residue Theorem

f (z) =∞

∑n=−m

cn(z− z0)n =1

(z− z0)m

∑n=−m

cn(z− z0)n+m

(z− z0)m

∑k=0

(z− z0)m .

expansion of f

is the coefficient am−1 =Φ(m−1)(z0)(m−1)!

of the power

The Residue Theorem

f (z) =∞

∑n=−m

cn(z− z0)n =1

(z− z0)m

∑n=−m

cn(z− z0)n+m

(z− z0)m

∑k=0

(z− z0)m .

of the power

The Residue Theorem

f (z) =∞

∑n=−m

cn(z− z0)n =1

(z− z0)m

∑n=−m

cn(z− z0)n+m

(z− z0)m

∑k=0

(z− z0)m .

of the power

The Residue Theorem

Example.

Find all poles, their order and their residues for

f (z) =(

z+1z−1

The only singularity of f is z = 1.

f (z) =(

z+1z−1

(z−1)3

(z3 +3z2 +3z+1

)Φ(z) = z3 +3z2 +3z+1, m = 3

Φ′(z) = 3z2 +6z+3

Φ′′(z) = 6z+6

Φ′′(1) = 12

Resz=1(f ) =122!

The Residue Theorem

Example. Find all poles, their order and their residues for

f (z) =(

z+1z−1

f (z) =(

z+1z−1

(z−1)3

(z3 +3z2 +3z+1

)Φ(z) = z3 +3z2 +3z+1, m = 3

Φ′(z) = 3z2 +6z+3

Φ′′(z) = 6z+6

Φ′′(1) = 12

Resz=1(f ) =122!

The Residue Theorem

f (z) =(

z+1z−1

f (z) =(

z+1z−1

(z−1)3

(z3 +3z2 +3z+1

)Φ(z) = z3 +3z2 +3z+1, m = 3

Φ′(z) = 3z2 +6z+3

Φ′′(z) = 6z+6

Φ′′(1) = 12

Resz=1(f ) =122!

The Residue Theorem

f (z) =(

z+1z−1

f (z) =(

z+1z−1

(z−1)3

(z3 +3z2 +3z+1

)Φ(z) = z3 +3z2 +3z+1, m = 3

Φ′(z) = 3z2 +6z+3

Φ′′(z) = 6z+6

Φ′′(1) = 12

Resz=1(f ) =122!

The Residue Theorem

f (z) =(

z+1z−1

f (z) =(

z+1z−1

(z−1)3

(z3 +3z2 +3z+1

Φ(z) = z3 +3z2 +3z+1, m = 3

Φ′(z) = 3z2 +6z+3

Φ′′(z) = 6z+6

Φ′′(1) = 12

Resz=1(f ) =122!

The Residue Theorem

f (z) =(

z+1z−1

f (z) =(

z+1z−1

(z−1)3

(z3 +3z2 +3z+1

)Φ(z) = z3 +3z2 +3z+1

, m = 3

Φ′(z) = 3z2 +6z+3

Φ′′(z) = 6z+6

Φ′′(1) = 12

Resz=1(f ) =122!

The Residue Theorem

f (z) =(

z+1z−1

f (z) =(

z+1z−1

(z−1)3

(z3 +3z2 +3z+1

)Φ(z) = z3 +3z2 +3z+1, m = 3

Φ′(z) = 3z2 +6z+3

Φ′′(z) = 6z+6

Φ′′(1) = 12

Resz=1(f ) =122!

The Residue Theorem

f (z) =(

z+1z−1

f (z) =(

z+1z−1

(z−1)3

(z3 +3z2 +3z+1

)Φ(z) = z3 +3z2 +3z+1, m = 3

Φ′(z) = 3z2 +6z+3

Φ′′(z) = 6z+6

Φ′′(1) = 12

Resz=1(f ) =122!

The Residue Theorem

f (z) =(

z+1z−1

f (z) =(

z+1z−1

(z−1)3

(z3 +3z2 +3z+1

)Φ(z) = z3 +3z2 +3z+1, m = 3

Φ′(z) = 3z2 +6z+3

Φ′′(z) = 6z+6

Φ′′(1) = 12

Resz=1(f ) =122!

The Residue Theorem

f (z) =(

z+1z−1

f (z) =(

z+1z−1

(z−1)3

(z3 +3z2 +3z+1

)Φ(z) = z3 +3z2 +3z+1, m = 3

Φ′(z) = 3z2 +6z+3

Φ′′(z) = 6z+6

Φ′′(1) = 12

Resz=1(f ) =122!

The Residue Theorem

f (z) =(

z+1z−1

f (z) =(

z+1z−1

(z−1)3

(z3 +3z2 +3z+1

)Φ(z) = z3 +3z2 +3z+1, m = 3

Φ′(z) = 3z2 +6z+3

Φ′′(z) = 6z+6

Φ′′(1) = 12

Resz=1(f ) =122!

The Residue Theorem

f (z) =(

z+1z−1

f (z) =(

z+1z−1

(z−1)3

(z3 +3z2 +3z+1

)Φ(z) = z3 +3z2 +3z+1, m = 3

Φ′(z) = 3z2 +6z+3

Φ′′(z) = 6z+6

Φ′′(1) = 12

Resz=1(f ) =122!

The Residue Theorem

Example.

Show that Resz=iLog(z)

(z2 +1)2 =π +2i

Log(z)

(z2 +1)2 =Log(z)(

(z+ i)(z− i))2 =

1(z− i)2

Log(z)(z+ i)2

Φ(z) =Log(z)(z+ i)2 , m = 2

Φ′(z) =

1z (z+ i)2−2(z+ i)Log(z)

(z+ i)4 =1z (z+ i)−2Log(z)

(z+ i)3

=z+ i−2Log(z)z

z(z+ i)3

Φ′(i) =

i+ i−2Log(i)ii(i+ i)3 =

2i−2i π

2 ii(2i)3 =

Resz=iLog(z)

(z2 +1)2 =11!

π +2i8

=π +2i

The Residue Theorem

Example. Show that Resz=iLog(z)

(z2 +1)2 =π +2i

Log(z)

(z2 +1)2 =Log(z)(

(z+ i)(z− i))2 =

1(z− i)2

Log(z)(z+ i)2

Φ(z) =Log(z)(z+ i)2 , m = 2

Φ′(z) =

1z (z+ i)2−2(z+ i)Log(z)

(z+ i)4 =1z (z+ i)−2Log(z)

(z+ i)3

=z+ i−2Log(z)z

z(z+ i)3

Φ′(i) =

2i−2i π

2 ii(2i)3 =

Resz=iLog(z)

(z2 +1)2 =11!

π +2i8

=π +2i

The Residue Theorem

(z2 +1)2 =π +2i

Log(z)

(z2 +1)2 =Log(z)(

(z+ i)(z− i))2

(z− i)2Log(z)(z+ i)2

Φ(z) =Log(z)(z+ i)2 , m = 2

Φ′(z) =

1z (z+ i)2−2(z+ i)Log(z)

(z+ i)4 =1z (z+ i)−2Log(z)

(z+ i)3

=z+ i−2Log(z)z

z(z+ i)3

Φ′(i) =

2i−2i π

2 ii(2i)3 =

Resz=iLog(z)

(z2 +1)2 =11!

π +2i8

=π +2i

The Residue Theorem

(z2 +1)2 =π +2i

Log(z)

(z2 +1)2 =Log(z)(

(z+ i)(z− i))2 =

1(z− i)2

Log(z)(z+ i)2

Φ(z) =Log(z)(z+ i)2 , m = 2

Φ′(z) =

1z (z+ i)2−2(z+ i)Log(z)

(z+ i)4 =1z (z+ i)−2Log(z)

(z+ i)3

=z+ i−2Log(z)z

z(z+ i)3

Φ′(i) =

2i−2i π

2 ii(2i)3 =

Resz=iLog(z)

(z2 +1)2 =11!

π +2i8

=π +2i

The Residue Theorem

(z2 +1)2 =π +2i

Log(z)

(z2 +1)2 =Log(z)(

(z+ i)(z− i))2 =

1(z− i)2

Log(z)(z+ i)2

Φ(z) =Log(z)(z+ i)2

, m = 2

Φ′(z) =

1z (z+ i)2−2(z+ i)Log(z)

(z+ i)4 =1z (z+ i)−2Log(z)

(z+ i)3

=z+ i−2Log(z)z

z(z+ i)3

Φ′(i) =

2i−2i π

2 ii(2i)3 =

Resz=iLog(z)

(z2 +1)2 =11!

π +2i8

=π +2i

The Residue Theorem

(z2 +1)2 =π +2i

Log(z)

(z2 +1)2 =Log(z)(

(z+ i)(z− i))2 =

1(z− i)2

Log(z)(z+ i)2

Φ(z) =Log(z)(z+ i)2 , m = 2

Φ′(z) =

1z (z+ i)2−2(z+ i)Log(z)

(z+ i)4 =1z (z+ i)−2Log(z)

(z+ i)3

=z+ i−2Log(z)z

z(z+ i)3

Φ′(i) =

2i−2i π

2 ii(2i)3 =

Resz=iLog(z)

(z2 +1)2 =11!

π +2i8

=π +2i

The Residue Theorem

(z2 +1)2 =π +2i

Log(z)

(z2 +1)2 =Log(z)(

(z+ i)(z− i))2 =

1(z− i)2

Log(z)(z+ i)2

Φ(z) =Log(z)(z+ i)2 , m = 2

Φ′(z) =

1z (z+ i)2−2(z+ i)Log(z)

(z+ i)4

=1z (z+ i)−2Log(z)

(z+ i)3

=z+ i−2Log(z)z

z(z+ i)3

Φ′(i) =

2i−2i π

2 ii(2i)3 =

Resz=iLog(z)

(z2 +1)2 =11!

π +2i8

=π +2i

The Residue Theorem

(z2 +1)2 =π +2i

Log(z)

(z2 +1)2 =Log(z)(

(z+ i)(z− i))2 =

1(z− i)2

Log(z)(z+ i)2

Φ(z) =Log(z)(z+ i)2 , m = 2

Φ′(z) =

1z (z+ i)2−2(z+ i)Log(z)

(z+ i)4 =1z (z+ i)−2Log(z)

(z+ i)3

=z+ i−2Log(z)z

z(z+ i)3

Φ′(i) =

2i−2i π

2 ii(2i)3 =

Resz=iLog(z)

(z2 +1)2 =11!

π +2i8

=π +2i

The Residue Theorem

(z2 +1)2 =π +2i

Log(z)

(z2 +1)2 =Log(z)(

(z+ i)(z− i))2 =

1(z− i)2

Log(z)(z+ i)2

Φ(z) =Log(z)(z+ i)2 , m = 2

Φ′(z) =

1z (z+ i)2−2(z+ i)Log(z)

(z+ i)4 =1z (z+ i)−2Log(z)

(z+ i)3

=z+ i−2Log(z)z

z(z+ i)3

Φ′(i) =

2i−2i π

2 ii(2i)3 =

Resz=iLog(z)

(z2 +1)2 =11!

π +2i8

=π +2i

The Residue Theorem

(z2 +1)2 =π +2i

Log(z)

(z2 +1)2 =Log(z)(

(z+ i)(z− i))2 =

1(z− i)2

Log(z)(z+ i)2

Φ(z) =Log(z)(z+ i)2 , m = 2

Φ′(z) =

1z (z+ i)2−2(z+ i)Log(z)

(z+ i)4 =1z (z+ i)−2Log(z)

(z+ i)3

=z+ i−2Log(z)z

z(z+ i)3

Φ′(i) =

i+ i−2Log(i)ii(i+ i)3

=2i−2i π

2 ii(2i)3 =

Resz=iLog(z)

(z2 +1)2 =11!

π +2i8

=π +2i

The Residue Theorem

(z2 +1)2 =π +2i

Log(z)

(z2 +1)2 =Log(z)(

(z+ i)(z− i))2 =

1(z− i)2

Log(z)(z+ i)2

Φ(z) =Log(z)(z+ i)2 , m = 2

Φ′(z) =

1z (z+ i)2−2(z+ i)Log(z)

(z+ i)4 =1z (z+ i)−2Log(z)

(z+ i)3

=z+ i−2Log(z)z

z(z+ i)3

Φ′(i) =

2i−2i π

2 ii(2i)3

=2i+π

Resz=iLog(z)

(z2 +1)2 =11!

π +2i8

=π +2i

The Residue Theorem

(z2 +1)2 =π +2i

Log(z)

(z2 +1)2 =Log(z)(

(z+ i)(z− i))2 =

1(z− i)2

Log(z)(z+ i)2

Φ(z) =Log(z)(z+ i)2 , m = 2

Φ′(z) =

1z (z+ i)2−2(z+ i)Log(z)

(z+ i)4 =1z (z+ i)−2Log(z)

(z+ i)3

=z+ i−2Log(z)z

z(z+ i)3

Φ′(i) =

2i−2i π

2 ii(2i)3 =

Resz=iLog(z)

(z2 +1)2 =11!

π +2i8

=π +2i

The Residue Theorem

(z2 +1)2 =π +2i

Log(z)

(z2 +1)2 =Log(z)(

(z+ i)(z− i))2 =

1(z− i)2

Log(z)(z+ i)2

Φ(z) =Log(z)(z+ i)2 , m = 2

Φ′(z) =

1z (z+ i)2−2(z+ i)Log(z)

(z+ i)4 =1z (z+ i)−2Log(z)

(z+ i)3

=z+ i−2Log(z)z

z(z+ i)3

Φ′(i) =

2i−2i π

2 ii(2i)3 =

Resz=iLog(z)

(z2 +1)2 =11!

π +2i8

=π +2i

The Residue Theorem

(z2 +1)2 =π +2i

Log(z)

(z2 +1)2 =Log(z)(

(z+ i)(z− i))2 =

1(z− i)2

Log(z)(z+ i)2

Φ(z) =Log(z)(z+ i)2 , m = 2

Φ′(z) =

1z (z+ i)2−2(z+ i)Log(z)

(z+ i)4 =1z (z+ i)−2Log(z)

(z+ i)3

=z+ i−2Log(z)z

z(z+ i)3

Φ′(i) =

2i−2i π

2 ii(2i)3 =

Resz=iLog(z)

(z2 +1)2 =11!

π +2i8

=π +2i

The Residue Theorem

Example.

Integrate f (z) =1

z3(z+4)around the positively oriented

circle of radius 5 around the origin.

We will need the residues of f at 0 and at −4, or we need the residue

at 0 of1z2 f(

1z2 f(

)3 (1z +4

As1z2 f(

)does not have a singularity at 0, the integral must be 0.

The Residue Theorem

Example. Integrate f (z) =1

at 0 of1z2 f(

1z2 f(

)3 (1z +4

As1z2 f(

The Residue Theorem

We will need the residues of f at 0 and at −4

, or we need the residue

at 0 of1z2 f(

1z2 f(

)3 (1z +4

As1z2 f(

The Residue Theorem

at 0 of1z2 f(

1z2 f(

)3 (1z +4

As1z2 f(

The Residue Theorem

at 0 of1z2 f(

1z2 f(

)3 (1z +4

As1z2 f(

The Residue Theorem

at 0 of1z2 f(

1z2 f(

)3 (1z +4

As1z2 f(

The Residue Theorem

at 0 of1z2 f(

1z2 f(

)3 (1z +4

As1z2 f(

The Residue Theorem

at 0 of1z2 f(

1z2 f(

)3 (1z +4

As1z2 f(

The Residue Theorem

at 0 of1z2 f(

1z2 f(

)3 (1z +4

As1z2 f(

The Residue Theorem

The Residue Theorem · 2010-10-04 · 5.We will prove the requisite theorem (the Residue Theorem)...

Documents

Chapter 4: Open mapping theorem, removable singularitiesrichardt/414/414-ch4.pdf · Remark 4.6 The residue theorem can be used to work out many integrals of analytic functions along

Complex Variables: A Physical Approach...x 5.4.6 Restatement of the Residue Theorem . . . . . . . . . . 140 5.4.7 Method for Calculating Residues . . . . . . . . . . . . 141 5.4.8

The Residue Index Theorem of Connes and Moscovici - 2000 - The... · Clay Mathematics Proceedings The Residue Index Theorem of Connes and Moscovici Nigel Higson Contents 1. Introduction

JAWAHARLAL NEHRU TECHNOLOGICAL … of integrals using Residue theorem ... conjugate harmonic functions-Milne-Thompson method UNIT ... Fourier integral theorem (without proof),

October 21 Residue theorem 7.1 Calculus of residues

Topic 9 Notes Jeremy Orloff - MIT OpenCourseWare · Topic 9 Notes Jeremy Orloff 9 Definite integrals using the residue theorem 9.1 Introduction In this topic we’ll use the residue

7.1 The Pythagorean Theorem. Objectives/Assignment Students will apply the Pythagorean Theorem Use the Pythagorean Theorem to solve real-life problems

CONFOLD: Residue‐residue contact‐guided ab initio protein ... · CONFOLD: Residue-residue contact-guided ab initio protein folding Badri Adhikari, Debswapna Bhattacharya, Renzhi

D. R. Wilton ECE Dept. ECE 6382 Evaluation of Definite Integrals Via the Residue Theorem 8/24/10

Lecture 9: The Recursion Theorem - Michael Beeson · The Second Recursion Theorem We will prove the ﬁrst recursion theorem as a corollary of an even more general theorem, which

THE FREE WILL THEOREM - arxiv.org · THE FREE WILL THEOREM 3 the symmetric form for the proof of the theorem, a truncated form is all we need, and will make the argument clearer:

Free Will Theorem John Conway

9 De nite integrals using the residue theoremjorloff/18.04/notes/topic9.pdf · 9 DEFINITE INTEGRALS USING THE RESIDUE THEOREM 6 Also note that the square in the denominator tells

MECHANICAL ENGINEERING SECOND YEAR 201 · PDF fileSECOND YEAR . 201 MATHEMATICS III . FIRST TERM: 1. ... Laur series, residue theorem, contour integration. ... Mohr’s circle of stress

Residue Theorem Based Sensorless Maximum Power Point ... · Residue Theorem Based Sensorless Maximum Power Point Tracking Tip Speed Ratio Control for Wind Generation System Mohammed

PYTHAGOREAN THEOREM WORD PROBLEMS - mpsri.net · PYTHAGOREAN THEOREM WORD PROBLEMS OBJECTIVE: Students will solve for missing values using the Pythagorean theorem for word problems

Bauxite Residue Disposal Area Rehabilitation - ICSOBA Residue... · Bauxite Residue Disposal Area Rehabilitation . Kevin McMahon . Bauxite Residue Disposal Area Coordinator . Aughinish

VELAGAPUDI RAMAKRISHNA SIDDHARTHA ENGINEERING … · calculation of residues, evaluation of real definite integrals (by applying the residue theorem). Standard transformations: Translation

Algebras of p-symbols, noncommutative p-residue, and the ...wodzicki/prace/Henrifest.pdf · ALGEBRAS OF p-SYMBOLS, NONCOMMUTATIVE p-RESIDUE 3 As a corollary, we obtain a recent theorem

SECTION 8 Residue Theory (1) The Residue