1550251515-Classical_Complex_Analysis__Gonzalez_

(jair2018) #1
Singularities/Residues/ Applications 713

1


n:/2
9.
0

(tan or dO =^1 krrsec^1 / 2 mr, -1 < a< 1 (Hint: Let x = btanO
in problem 2.)

1


(^1) x (^1) -a(l - x)a 7ra(l - a)



  1. ( ) 3 dx = 23. , -1 <a< 2 [Let (1 - x)/x = t.]
    0 1 + x -a sma7r


Type VIII. Jo"° f(x)(lnx)n dx, where n is a positive integer and f(x)
satisfies the following conditions:


  1. f(x) has an extension J(z) that is meromorphic in C.

  2. f(z) has no real poles.


3. f(-z) = f(z).



  1. f(z) = 0(1/z°'), a > 1, as z ---t oo.


Consider Ia+ f(z)(logz)n dz, where c+ is the contour shown in


Fig. 9.22, namely, c+ = [-R, -r] + 'Y-+ [r, R] + r+, 0 < r < R,
and for z = JzJei^9 (z =f. 0), log z is defined by log z = ln Jzl + iO, with


-1/i7r < 0::; 3fi7r. The reader will observe that by using this branch of the

logarithm we have log x = ln x for x > 0, and log x = ln Jxl + i7r for x < 0.
Of course, the indentation about 0 is made in order to bypass the branch
point oflogz at z = 0. As we have noted before, condition (4) implies that


f admits a finite number of poles in C, so by choosing r small enough and


R sufficiently large, all poles of f (if any) on Im z > 0 will be enclosed by

c+. Assuming that there are some poles bk ( k = 1, ... , m) we have, by


the residue theorem,


1: f(x)(lnlxl +i7rrdx + j f(z)(logztdz
'Y-

b~ f+

/,


R x

Fig. 9.22

Free download pdf