15.7. EVALUATION OF IMPROPER INTEGRALS 393

straight lines, you get the parametrization rei(2π−ε)+ t(

Rei(2π−ε))= z, t ∈ [0,1] and con-

tour integral

−∫ 1

0

∣∣∣rei(2π−ε)+ t(

Rei(2π−ε))∣∣∣p−1

e(p−1)i(2π−ε)

1+ rei(2π−ε)+ t(Rei(2π−ε)

) Rei(2π−ε)dt

The contour integral over the small circle: z = reit , t ∈ [ε,2π− ε] is

−∫ 2π−ε

ε

rp−1e(p−1)it

1+ reit rieitdt.

This integral is dominated by 4πrp provided |r| < 1/2 which converges to 0 as r → 0uniformly in ε . The integral over the large circle: z = Reit , t ∈ [ε,2π− ε] is similar to thisbut with r replaced with R. This one is dominated by 2πRp/(1+R) which converges to 0as R→ ∞. Thus

∫γR,r,ε

zp−1

1+z dz =

∫ 1

0

∣∣reiε + t(Reiε

)∣∣p−1 e(p−1)iε

1+ reiε + t (Reiε)Reiε dt

−∫ 1

0

∣∣∣rei(2π−ε)+ t(

Rei(2π−ε))∣∣∣p−1

e(p−1)i(2π−ε)

1+ rei(2π−ε)+ t(Rei(2π−ε)

) Rei(2π−ε)dt

+e(R,ε)+ e(r,ε)

where the last two terms converge to 0 uniformly in ε as r→ 0 and R→ ∞. Let ε → 0+and this yields an expression of the form

∫ 1

0

|r+ tR|p−1

1+ r+ tRRdt−

∫ 1

0

|r+ tR|p−1 e(p−1)i(2π)

1+ r+ tRRdt + e(R)+ e(r)

where the last two terms converge to 0 as r→ 0,R→ ∞. Now let x = r+ tR and this allreduces to∫ R

r

xp−1

1+ xdx− e(p−1)i(2π)

∫ R

r

xp−1

1+ xdx+ e(R)+ e(r) = lim

ε→0

∫γR,r,ε

zp−1

1+ zdz

and this last integral can be computed using the method of residues. It has a residue at −1and since the pole is of order 1, this residue is

limz→−1

(z+1)zp−1

z+1= lim

z→−1e(p−1)(ln|z|+iA(z)) = e(p−1)i(π)

Thus, letting r = 1/R and letting R→∞,∫

0xp−1

1+x dx(

1− e(p−1)i(2π))= 2πie(p−1)i(π) which

shows that∫∞

0

xp−1

1+ xdx =

2πie(p−1)i(π)

1− e(p−1)i(2π)=

2πie−(p−1)i(π)− e(p−1)i(π)

=2πi

−i2sin((p−1)π)=− π

sin((p−1)π)=

π

sin(pπ)

15.7. EVALUATION OF IMPROPER INTEGRALS 393straight lines, you get the parametrization re(?*—®) + t (Rei27*)) =z, t € [0,1] and con-tour integral1 |rell2™-€) 44 (Reino) "" o(p-i(2n-e)~ Jo 1+ rei@t—-©) +1 (Rei27-€))Rei(22-©) atThe contour integral over the small circle: z = re" ,t € [e,2a — €] is2n-€ pP—1e(p— lit it_— ———— rie" dt.€ 1+re"This integral is dominated by 4zr? provided |r| < 1/2 which converges to 0 as r + 0uniformly in €. The integral over the large circle: z = Re" ,t € [€, 2 — €] is similar to thisbut with r replaced with R. This one is dominated by 27R? /(1+R) which converges to 0-1as R — co. Thus fy, edz =TyRe dt1 |re!® +1 (Rel®) |?! elp-Diei 1+re€ +t (Re'é),; rele) 41 (Rete) |? ol —I)NOR-*)Jo 1 + rei(27-€) +t (Rei2*-2))+e(R,€) +e(7,€)Rei?™—®) dtwhere the last two terms converge to 0 uniformly in € as r + 0 and R - o. Let € + 0+and this yields an expression of the formLlp + eR?! 1 |p teR|P—! ele Viz)i dt — r+ rRil¢ Rdt +e(R)+e(r)o l+r+tR 0 1+r+tRwhere the last two terms converge to 0 as r + 0,R — o. Now let x =r-+¢R and this allreduces toR yp-l . R yp-l plM dx —elPVilen) [> dx+e(R)+e(r) = lim = azr 1+x r 1+x £0) 7p 1.6 14+2zand this last integral can be computed using the method of residues. It has a residue at —1and since the pole is of order 1, this residue isp-l: Sp o(p=l)(inlz|+iA(z)) _ (p-1)i(a)dim &+) dm é .Thus, letting r = 1/R and letting R > ©, [> wr dx (1 — er Hie)) = 2nie'?—)() whichshows thatTaxt* = Joe =hiaa = whim eb Dim270i Z m bs—i2sin((p—1)z) sin((p—1)z) — sin(pz)[ xP! Qmie'P—!)i(z) 2ni0