October30 ,2020andNovember2 ,2020 CAUCHY’SRESIDUETHEOREM ComplexVariables

(1)

MAT334H1-F – LEC0101

Complex Variables

CAUCHY’S RESIDUE THEOREM

October 30^th, 2020 and November 2^nd, 2020

Jean-Baptiste Campesato MAT334H1-F – LEC0101 – Oct 30, 2020 and Nov 2, 2020 1 / 13

(2)

Cauchy’s residue theorem – 1

Theorem: the residue theorem

Let𝑈 ⊂ ℂbe open. Let𝑆 ⊂ 𝑈be finite. Assume that𝑓 ∶ 𝑈 ⧵ 𝑆 → ℂis holomorphic/analytic.

Let𝛾 ∶ [𝑎, 𝑏] → ℂbe a positively oriented piecewise smooth simple closed curve on𝑈 ⧵ 𝑆^awhose inside^bis entirely included in𝑈. Then^c

∫_𝛾𝑓 (𝑧)d𝑧 = 2𝑖𝜋 ∑

𝑧∈Inside(𝛾)

Res(𝑓 , 𝑧)

ai.e.𝛾doesn’t pass through any point of𝑆.

bSee Jordan’s curve theorem, September 28.

cThe following sum is finite sinceRes(𝑓 , 𝑧) ≠ 0only for𝑧 ∈ 𝑆.

Corollary

Let𝑈 ⊂ ℂbe open and simply-connected. Let𝑆 ⊂ 𝑈be finite. Assume that𝑓 ∶ 𝑈 ⧵ 𝑆 → ℂis holomorphic/analytic.

Let𝛾 ∶ [𝑎, 𝑏] → ℂbe a positively oriented piecewise smooth simple closed curve on𝑈 ⧵ 𝑆. Then

∫_𝛾𝑓 (𝑧)d𝑧 = 2𝑖𝜋 ∑

𝑧∈Inside(𝛾)

Res(𝑓 , 𝑧)

(3)

Cauchy’s residue theorem – 1

Theorem: the residue theorem

Let𝑈 ⊂ ℂbe open. Let𝑆 ⊂ 𝑈be finite. Assume that𝑓 ∶ 𝑈 ⧵ 𝑆 → ℂis holomorphic/analytic.

Let𝛾 ∶ [𝑎, 𝑏] → ℂbe a positively oriented piecewise smooth simple closed curve on𝑈 ⧵ 𝑆^awhose inside^bis entirely included in𝑈. Then^c

∫_𝛾𝑓 (𝑧)d𝑧 = 2𝑖𝜋 ∑

𝑧∈Inside(𝛾)

Res(𝑓 , 𝑧)

ai.e.𝛾doesn’t pass through any point of𝑆.

bSee Jordan’s curve theorem, September 28.

cThe following sum is finite sinceRes(𝑓 , 𝑧) ≠ 0only for𝑧 ∈ 𝑆.

Corollary

Let𝑈 ⊂ ℂbe open and simply-connected. Let𝑆 ⊂ 𝑈be finite.

Assume that𝑓 ∶ 𝑈 ⧵ 𝑆 → ℂis holomorphic/analytic.

Let𝛾 ∶ [𝑎, 𝑏] → ℂbe a positively oriented piecewise smooth simple closed curve on𝑈 ⧵ 𝑆. Then

∫_𝛾𝑓 (𝑧)d𝑧 = 2𝑖𝜋 ∑

𝑧∈Inside(𝛾)

Res(𝑓 , 𝑧)

(4)

Cauchy’s residue theorem – 2

Proof. 𝛾

𝑧₁

𝑧₂

𝑧₃ 𝑧₄

We may find pairwise disjoints disks𝐷_𝑟_𝑘(𝑧_𝑘) ⊂ 𝑈where

{𝑧₁, … , 𝑧_𝑛}are the points of𝑆enclosed in𝛾.

We apply Green’s theorem to𝑇 =Inside(𝛾) ⧵ (

𝑛

⋃𝑖=1

𝐷_𝑟_𝑘(𝑧_𝑘) ), then

∫_𝛾𝑓 (𝑧)d𝑧 −

𝑛

∑𝑘=1∫_𝛾_𝑘𝑓 (𝑧)d𝑧 = 𝑖

∬_𝑇(

𝜕𝑓

𝜕𝑥+ 𝑖𝜕𝑓

𝜕𝑦 )

= 0

where𝛾_𝑘∶ [0, 1] → ℂis defined by𝛾_𝑘(𝑡) = 𝑧_𝑘+ 𝑟_𝑘𝑒^{2𝑖𝜋𝑡}.

The last equality is due to the Cauchy–Riemann equations.

Then∫_𝛾𝑓 (𝑧)d𝑧 =

𝑛

∑𝑘=1∫_𝛾

𝑘

𝑓 (𝑧)d𝑧 = 2𝑖𝜋

𝑛

∑𝑘=1

Res(𝑓 , 𝑧_𝑘) ■

(5)

Cauchy’s residue theorem – 2

Proof. 𝛾

𝑧₁

𝑧₂

𝑧₃ 𝑧₄

We may find pairwise disjoints disks𝐷_𝑟_𝑘(𝑧_𝑘) ⊂ 𝑈where{𝑧₁, … , 𝑧_𝑛}are the points of𝑆enclosed in𝛾.

𝑛

⋃𝑖=1

𝑛

∬_𝑇(

𝜕𝑓

𝜕𝑦 )

= 0

𝑛

∑𝑘=1∫_𝛾

𝑘

𝑛

∑𝑘=1

(6)

Cauchy’s residue theorem – 2

Proof. 𝛾

𝑧₁

𝑧₂

𝑧₃ 𝑧₄

𝑛

⋃𝑖=1

𝐷_𝑟_𝑘(𝑧_𝑘) )

, then

𝑛

∬_𝑇(

𝜕𝑓

𝜕𝑦 )

= 0

𝑛

∑𝑘=1∫_𝛾

𝑘

𝑛

∑𝑘=1

(7)

Cauchy’s residue theorem – 2

Proof. 𝛾

𝑧₁

𝑧₂

𝑧₃ 𝑧₄

𝑛

⋃𝑖=1

𝑛

∬_𝑇(

𝜕𝑓

𝜕𝑦 )

= 0

The last equality is due to the Cauchy–Riemann equations. Then∫_𝛾𝑓 (𝑧)d𝑧 =

𝑛

∑𝑘=1∫_𝛾

𝑘

𝑛

∑𝑘=1

(8)

Cauchy’s residue theorem – 2

Proof. 𝛾

𝑧₁

𝑧₂

𝑧₃ 𝑧₄

𝑛

⋃𝑖=1

𝑛

∬_𝑇(

𝜕𝑓

𝜕𝑦 )= 0 where𝛾_𝑘∶ [0, 1] → ℂis defined by𝛾_𝑘(𝑡) = 𝑧_𝑘+ 𝑟_𝑘𝑒^{2𝑖𝜋𝑡}.

𝑛

∑𝑘=1∫_𝛾

𝑘

𝑛

∑𝑘=1

(9)

Cauchy’s residue theorem – 2

Proof. 𝛾

𝑧₁

𝑧₂

𝑧₃ 𝑧₄

𝑛

⋃𝑖=1

𝑛

∬_𝑇(

𝜕𝑓

𝜕𝑦 )= 0 where𝛾_𝑘∶ [0, 1] → ℂis defined by𝛾_𝑘(𝑡) = 𝑧_𝑘+ 𝑟_𝑘𝑒^{2𝑖𝜋𝑡}.

𝑛

∑𝑘=1∫_𝛾

𝑘

𝑛

∑𝑘=1

(10)

Cauchy’s residue theorem – 3

Corollary

Let𝑆 ⊂ ℂbe finite. Assume that𝑓 ∶ ℂ ⧵ 𝑆 → ℂis holomorphic/analytic. Then Res(𝑓 , ∞) +∑

𝑧∈𝑆

Res(𝑓 , 𝑧) = 0

Proof.Take𝑟 > 0such that𝑆 ⊂ 𝐷_𝑟(0)and define𝛾 ∶ [0, 1] → ℂby𝛾(𝑡) = 𝑟𝑒^{2𝑖𝜋𝑡}. Then

𝑧∈𝑆∑

Res(𝑓 , 𝑧) = 1

2𝑖𝜋 ∫_𝛾𝑓 (𝑧)d𝑧 by Cauchy’s residue theorem

= −Res(𝑓 , ∞)

■ We may rewrite the above conclusion as

∑

𝑧∈̂ℂ

Res(𝑓 , 𝑧) = 0.

(11)

Cauchy’s residue theorem – 3

Corollary

𝑧∈𝑆

Res(𝑓 , 𝑧) = 0

𝑧∈𝑆∑

Res(𝑓 , 𝑧) = 1

= −Res(𝑓 , ∞)

■

We may rewrite the above conclusion as

∑

𝑧∈̂ℂ

Res(𝑓 , 𝑧) = 0.

(12)

Cauchy’s residue theorem – 3

Corollary

𝑧∈𝑆

Res(𝑓 , 𝑧) = 0

𝑧∈𝑆∑

Res(𝑓 , 𝑧) = 1

= −Res(𝑓 , ∞)

■ We may rewrite the above conclusion as

∑Res(𝑓 , 𝑧) = 0.

(13)

Example: ∫

_−∞^+∞ ^{𝑃 (𝑥)}

𝑄(𝑥)

d𝑥 (rational function) – 1

Assume that𝑃 and𝑄are two polynomials. Set𝑓 (𝑧) = ^{𝑃 (𝑧)}_𝑄(𝑧). We know that

∫

+∞

−∞

𝑃 (𝑥)

𝑄(𝑥)d𝑥is convergent if and only ifdeg𝑄 ≥deg𝑃 + 2, let’s assume the latter.

Then lim

|𝑧|→∞𝑧𝑓 (𝑧) = 0.

Assume that𝑄has no real root.

ℜ ℑ

−𝑅 𝑅

Define𝛾_𝑅∶ [0, 1] → ℂby𝛾_𝑅(𝑡) = 𝑅𝑒^𝑖𝜋𝑡.

For𝑅 > 0big enough, all the poles of𝑓 whose imaginary part is positive are included within the upper-half disk centered at0and of radius𝑅.

Then∫

𝑅

−𝑅

𝑓 (𝑧)d𝑧 +

∫_𝛾

𝑅

𝑓 (𝑧)d𝑧 = 2𝑖𝜋 ∑

𝑧s.t.ℑ(𝑧)>0

Res(𝑓 , 𝑧).

But|∫_𝛾

𝑅

𝑓|≤ 𝜋𝑅sup

𝛾_𝑅 |𝑓 | −−−−−→

𝑅→+∞ 0since lim

|𝑧|→∞𝑧𝑓 (𝑧) = 0.

Hence

∫

+∞

−∞

𝑃 (𝑥)

𝑄(𝑥)d𝑥 = 2𝑖𝜋 ∑

𝑧s.t.ℑ(𝑧)>0

Res( 𝑃 𝑄, 𝑧

).

(14)

Example: ∫

_−∞^+∞ ^{𝑃 (𝑥)}

𝑄(𝑥)

d𝑥 (rational function) – 2

Example

Compute

∫

+∞

−∞

d𝑥

(𝑥²+ 𝑎²)(𝑥²+ 𝑏²) où0 < 𝑎 < 𝑏.

The poles of𝑓 (𝑧) =_(𝑧₂_+𝑎₂¹_)(𝑧₂_+𝑏₂₎ are−𝑖𝑎,𝑖𝑎,−𝑖𝑏and𝑖𝑏which are simple. Hence

∫

+∞

−∞

d𝑥

(𝑥²+ 𝑎²)(𝑥²+ 𝑏²) = 2𝑖𝜋Res(𝑓 , 𝑖𝑎) + 2𝑖𝜋Res(𝑓 , 𝑖𝑏)

= 2𝑖𝜋

2𝑖(𝑏²− 𝑎²)𝑎+ 2𝑖𝜋 2𝑖(𝑎²− 𝑏²)𝑏

= 𝜋

𝑎𝑏(𝑎 + 𝑏)

(15)

Example: ∫

₀^2𝜋

𝑅(cos 𝑡, sin 𝑡)d𝑡

Set𝑧 = 𝑒^𝑖𝑡thencos(𝑡) = ¹

2(𝑧 +¹𝑧),sin(𝑡) = ¹

2𝑖(𝑧 −¹𝑧), and^d𝑧

𝑖𝑧 =d𝑡.

Set𝑓 (𝑧) = ¹

𝑖𝑧𝑅 (¹2(𝑧 +¹𝑧) ,2𝑖¹ (𝑧 −¹𝑧)). Then

∫

2𝜋 0

𝑅(cos𝑡,sin𝑡)d𝑡 =

∫_𝑆1

𝑧∈𝐷₁(0)

Res(𝑓 , 𝑧).

Example

Compute

∫

2𝜋 0

𝑎

𝑎²+sin²𝑡d𝑡where𝑎 > 0.

Set𝑓 (𝑧) = 1 𝑖𝑧

𝑎 𝑎²−¹

4(𝑧 −¹𝑧)

2 = − 4𝑖𝑎𝑧

(𝑧²+ 2𝑎𝑧 − 1)(𝑧²− 2𝑎𝑧 − 1).

Note that the singularity at0of the LHS is removable since we may extend𝑓 through0using the RHS, so thatRes(𝑓 , 0) = 0.

Then, the only poles of𝑓 within the unit disk are𝑧₁= −𝑎 + √𝑎²+ 1and𝑧₂= 𝑎 − √𝑎²+ 1which are simple.

Hence

∫

2𝜋 0

𝑎

𝑎²+sin²𝑡d𝑡 = 2𝑖𝜋Res(𝑓 , 𝑧₁) + 2𝑖𝜋Res(𝑓 , 𝑧₂) = 2𝜋

√𝑎²+ 1

(16)

Jordan’s lemma

The following trick called,Jordan’s lemma, can be very useful.

Let𝛾_𝑅∶ [0, 𝜋] → ℂbe defined by𝛾_𝑅(𝑡) = 𝑅𝑒^𝑖𝑡.

|∫_𝛾_𝑅𝑔(𝑧)𝑒^𝑖𝑧d𝑧

|=

|∫

𝜋 0

𝑔(𝑅𝑒^𝑖𝑡)𝑒^𝑖𝑅(cos^𝑡+𝑖sin^𝑡)𝑖𝑅𝑒^𝑖𝑡d𝑡

|

≤∫

𝜋

0 |𝑔(𝑅𝑒^𝑖𝑡)𝑒^𝑖𝑅(cos^𝑡+𝑖sin^𝑡)𝑖𝑅𝑒^𝑖𝑡|d𝑡

≤ 𝑅sup

𝛾_𝑅

|𝑔|∫

𝜋 0

𝑒^−𝑅sin^𝑡d𝑡

= 2𝑅sup

𝛾𝑅

|𝑔|∫

𝜋/2 0

𝑒^−𝑅^sin^𝑡d𝑡

≤ 2𝑅sup

𝛾_𝑅

|𝑔|∫

𝜋/2 0

𝑒^{−2𝑅𝑡/𝜋}d𝑡 by Jordan’s inequality: ∀𝑥 ∈ [0,𝜋 2 ], 2

𝜋𝑥 ≤sin(𝑥) ≤ 𝑥

≤ 𝜋sup

𝛾𝑅

|𝑔| (1 − 𝑒^−𝑅)

≤ 𝜋sup|𝑔|

(17)

Example: ∫

_−∞^+∞ ^{𝑃 (𝑥)}

𝑄(𝑥)

𝑒

^𝑖𝑎𝑥

d𝑥 – 1

We want to compute𝐼(𝑎) ≔

∫

+∞

−∞

𝑃 (𝑥)

𝑄(𝑥)𝑒^𝑖𝑎𝑥d𝑥where𝑃 , 𝑄are real polynomials and𝑎 ∈ ℝ. Assume that𝑄 has no real root.

Note that𝐼(−𝑎) = 𝐼(𝑎), so we may restrict our attention to𝑎 > 0.

The integral is convergent if and only ifdeg𝑄 ≥deg𝑃 + 1(integration by parts), so we assume the latter.

ℜ ℑ

−𝑅 𝑅

Define𝛾_𝑅∶ [0, 1] → ℂby𝛾_𝑅(𝑡) = 𝑅𝑒^𝑖𝜋𝑡.

For𝑅 > 0big enough, all the poles of𝑓 (𝑧) =^{𝑃 (𝑧)}_𝑄(𝑧)𝑒^𝑖𝑎𝑧whose imaginary part is positive are included within the upper-half disk centered at0and of radius𝑅.

Then∫

𝑅

−𝑅

𝑓 (𝑧)d𝑧 +

∫_𝛾

𝑅

𝑧s.t.ℑ(𝑧)>0

Res(𝑓 , 𝑧) (∗) But, by Jordan’s lemma,

|∫_𝛾_𝑅 𝑃 (𝑧) 𝑄(𝑧)𝑒^𝑖𝑧d𝑧

|≤ 𝜋sup

𝛾𝑅

|𝑃 /𝑄| −−−−−→

𝑅→+∞ 0 Hence, by taking𝑅 → +∞in(∗), we get

∫

+∞

−∞

𝑃 (𝑥)

𝑄(𝑥)𝑒^𝑖𝑎𝑥d𝑥 = 2𝑖𝜋

𝑧s.t.∑ℑ(𝑧)>0

Res( 𝑃 (𝑧) 𝑄(𝑧)𝑒^𝑖𝑎𝑧, 𝑧

)

(18)

Example: ∫

_−∞^+∞ ^{𝑃 (𝑥)}

𝑄(𝑥)

𝑒

^𝑖𝑎𝑥

d𝑥 – 2

Example

Compute

∫

+∞

−∞

cos(𝑥)

𝑥²+ 𝛼²d𝑥where𝛼 > 0.

Note that

∫

+∞

−∞

cos(𝑥)

𝑥²+ 𝛼²d𝑥 = ℜ (∫

+∞

−∞

𝑒^𝑖𝑥 𝑥²+ 𝛼²d𝑥

). The poles of𝑓 (𝑧) = 𝑒^𝑖𝑧

𝑧²+ 𝛼² are𝑖𝛼 and−𝑖𝛼which are simple.

By the previous slide,

∫

+∞

−∞

𝑒^𝑖𝑧

𝑧²+ 𝛼²d𝑧 = 2𝑖𝜋Res(𝑓 , 𝑖𝛼) = 2𝑖𝜋𝑒^−𝛼

2𝑖𝛼 = 𝜋𝑒^−𝛼 𝛼 . Hence

∫

+∞

−∞

cos(𝑥)

𝑥²+ 𝛼²d𝑥 = 𝜋𝑒^−𝛼 𝛼 .

(19)

Example: ∫

₀^+∞ ^𝑥^𝑝

1+𝑥^𝑛

d𝑥, 𝑛, 𝑝 ∈ ℕ

We know that the integral

∫

+∞

0

𝑥^𝑝

1 + 𝑥^𝑛d𝑥is convergent if and only if𝑛 ≥ 𝑝 + 2. Set𝑓 (𝑧) = 𝑧^𝑝

1 + 𝑧^𝑛 and𝑎 = 𝑒^𝑖^𝜋^𝑛. We consider the following sector of the circle centered at0and of radius𝑅, such that the only pole of𝑓 enclosed in its inside is𝑎.

ℜ ℑ

0 𝑅

𝑎²𝑅

𝑎

Let𝛾 ∶ [0,^2𝜋𝑛] → ℂbe defined by𝛾(𝑡) = 𝑅𝑒^𝑖𝑡.

By the residue theorem,2𝑖𝜋Res(𝑓 , 𝑎) =

∫_[0,𝑅]𝑓 +

∫_𝛾𝑓 +

∫_[𝑎2𝑅,0]

𝑓.

• Res(𝑓 , 𝑎) = ^𝑎^𝑝

𝑛𝑎^𝑛−1 = −^𝑎^𝑝+1

𝑛 .

• ∫

[𝑎²𝑅,0]

𝑓 (𝑧)d𝑧 = −𝑎²

∫

𝑅 0

𝑎^2𝑝𝑡^𝑝

1 + 𝑎^2𝑛𝑡^𝑛d𝑡 = −𝑎^2(𝑝+1)

∫

𝑅 0

𝑡^𝑝 1 + 𝑡^𝑛d𝑡

• |∫_𝛾𝑓 (𝑧)d𝑧

|≤2𝜋 𝑛𝑅sup

𝛾

|𝑓 | −−−−−→

𝑅→+∞ 0sincelim

𝑧→∞𝑧𝑓 (𝑧) = 0.

Hence, by taking the limit as𝑅 → +∞, we get−2𝑖𝜋𝑎^𝑝+1 𝑛 =

∫

+∞

0

𝑥^𝑝

1 + 𝑥^𝑛d𝑥 − 𝑎^2(𝑝+1)

∫

+∞

0

𝑥^𝑝 1 + 𝑥^𝑛d𝑥.

Finally

∫

+∞

0

𝑥^𝑝

1 + 𝑥^𝑛d𝑥 = 2𝑖𝜋 𝑛

𝑎^𝑝+1 𝑎^2(𝑝+1)− 1= 𝜋

𝑛 2𝑖

𝑎^𝑝+1− 𝑎^−(𝑝+1) = 𝜋 𝑛sin^(𝑝+1)𝜋

𝑛

.

(20)

Example: ∫

₀^+∞ ^sin^𝑡

𝑡

d𝑡

ℜ ℑ

−𝑅 −𝑟 𝑟 𝑅

Define𝛾_𝑅∶ [0, 1] → ℂby𝛾_𝑅(𝑡) = 𝑅𝑒^𝑖𝜋𝑡 and𝛾_𝑟∶ [0, 1] → ℂby𝛾_𝑟(𝑡) = 𝑟𝑒^𝑖𝜋𝑡.

By Cauchy’s integral theorem

∫_𝛾

𝑅

𝑒^𝑖𝑧 𝑧d𝑧 −

∫_𝛾

𝑟

𝑒^𝑖𝑧 𝑧d𝑧 +

∫

−𝑟

−𝑅

𝑒^𝑖𝑡 𝑡 d𝑡 +

∫

𝑅 𝑟

𝑒^𝑖𝑡 𝑡 d𝑡 = 0.

•By Jordan’s lemma:

|∫_𝛾_𝑅 𝑒^𝑖𝑧

𝑧d𝑧

|≤ 𝜋sup

𝛾_𝑅

|1/𝑧| −−−−−→

𝑅→+∞ 0

•Since0is a simple pole of𝑓 (𝑧) =^𝑒^𝑖𝑧

𝑧, we have that 𝑓 (𝑧) =Res(𝑓 , 0)𝑧⁻¹+ 𝑔(𝑧)where𝑔is holomorphic.

Then∫_𝛾

𝑟

𝑓 (𝑧)d𝑧 =

∫_𝛾

𝑟

Res(𝑓 , 0)𝑧⁻¹d𝑧 +

∫_𝛾

𝑟

𝑔(𝑧)d𝑧but

∫_𝛾

𝑟

Res(𝑓 , 0)𝑧⁻¹d𝑧 =Res(𝑓 , 0)𝑖𝜋and

|∫_𝛾_𝑟𝑔(𝑧)d𝑧

|≤ 𝜋𝑟sup

𝛾_𝑟

|𝑔| −−→

𝑟→0 0.

Hence

∫_𝛾

𝑟

𝑓 (𝑧)d𝑧 −−→

𝑟→0 Res(𝑓 , 0)𝑖𝜋 = 𝑖𝜋.

∫

𝑅 𝑟

sin𝑡 𝑡 d𝑡 = 1

2𝑖 ∫

𝑅 𝑟

𝑒^𝑖𝑡− 𝑒^−𝑖𝑡 𝑡 d𝑡 = 1

2𝑖 ∫

𝑅 𝑟

𝑒^𝑖𝑡 𝑡 d𝑡 −1

2𝑖 ∫

𝑅 𝑟

𝑒^−𝑖𝑡 𝑡 d𝑡 = 1

2𝑖 ∫

𝑅 𝑟

𝑒^𝑖𝑡 𝑡 d𝑡 +1

2𝑖 ∫

−𝑟

−𝑅

𝑒^𝑖𝑡 𝑡d𝑡 = 1

2𝑖 (∫_𝛾_𝑟 𝑒^𝑖𝑧

𝑧d𝑧 −

∫_𝛾

𝑅

𝑒^𝑖𝑧 𝑧 d𝑧

) Hence, taking𝑟 → 0and𝑅 → +∞we get that

∫

+∞

0

sin𝑡 𝑡 d𝑡 =𝜋

2

(21)

Example: ∫

₀^+∞ ^(log^𝑡)²

1+𝑡²

d𝑡

We set𝑓 (𝑧) = ^(log𝑧)_1+𝑧₂² but for that we need to fix a branch of the logarithm. Let’s fixlog∶ ℂ ⧵ {𝑖𝑦 ∶ 𝑦 ≤ 0} → ℂdefined by log𝑧 =log|𝑧| + 𝑖Arg(𝑧)whereArg(𝑧) ∈ (−^𝜋2, 3^𝜋₂).

ℜ ℑ

−𝑅 −𝑟 𝑟 𝑅

𝑖

Define𝛾_𝑅∶ [0, 1] → ℂby𝛾_𝑅(𝑡) = 𝑅𝑒^𝑖𝜋𝑡and 𝛾_𝑟∶ [0, 1] → ℂby𝛾_𝑟(𝑡) = 𝑟𝑒^𝑖𝜋𝑡.

By Cauchy’s residue theorem

∫_𝛾_𝑅𝑓 (𝑧)d𝑧 −

∫_𝛾_𝑟𝑓 (𝑧)d𝑧 +

∫

−𝑟

−𝑅

𝑓 (𝑧)d𝑧 +

∫

𝑅 𝑟

𝑓 (𝑧)d𝑧 = 2𝑖𝜋Res(𝑓 , 𝑖) = −𝜋³ 4.

•Since|log𝑧| ≤ |ln𝑟| + 𝜋on𝛾_𝑟,

∫_𝛾

𝑟

𝑓 (𝑧)d𝑧 ≤ 𝜋𝑟(|ln𝑟| + 𝜋)²

1 + 𝑟² −−−−−−−−→

𝑟→+∞or0 0.

•Since𝑧 = 𝑡𝑒^𝑖𝜋on[−𝑅, −𝑟], we have

∫

−𝑟

−𝑅

𝑓 (𝑧)d𝑧 =

∫

𝑅 𝑟

(ln𝑡 + 𝑖𝜋)² 1 + 𝑡² d𝑡 =

∫

𝑅 𝑟

(ln𝑡)² 1 + 𝑡²d𝑡+2𝑖𝜋

∫

𝑅 𝑟

ln𝑡 1 + 𝑡²d𝑡−

∫

𝑅 𝑟

𝜋² 1 + 𝑡²d𝑡

By taking the limits𝑟 → 0and𝑅 → +∞we get

∫

+∞

0

(ln𝑡)² 1 + 𝑡²d𝑡 + 2𝑖𝜋

∫

+∞

0

ln𝑡 1 + 𝑡²d𝑡 −𝜋³

2 +

∫

+∞

0

(ln𝑡)² 1 + 𝑡²d𝑡 = −𝜋³

4. By taking the real part, we get

∫

+∞

0

(ln𝑡)² 1 + 𝑡²d𝑡 =𝜋³

8.