Comments
Transcript
Definite integrals using contour integration
24.13 DEFINITE INTEGRALS USING CONTOUR INTEGRATION We note that result (24.60) is a special case of (24.63) in which θ2 is equal to θ1 + 2π. 24.13 Definite integrals using contour integration The remainder of this chapter is devoted to methods of applying contour integration and the residue theorem to various types of definite integral. However, three applications of contour integration, in which obtaining a value for the integral is not the prime purpose of the exercise, have been postponed until chapter 25. They are the location of the zeros of a complex polynomial, the evaluation of the sums of certain infinite series and the determination of inverse Laplace transforms. For the integral evalations considered here, not much preamble is given since, for this material, the simplest explanation is felt to be via a series of worked examples that can be used as models. 24.13.1 Integrals of sinusoidal functions Suppose that an integral of the form 2π F(cos θ, sin θ) dθ (24.64) 0 is to be evaluated. It can be made into a contour integral around the unit circle C by writing z = exp iθ, and hence cos θ = 12 (z + z −1 ), sin θ = − 12 i(z − z −1 ), dθ = −iz −1 dz. (24.65) This contour integral can then be evaluated using the residue theorem, provided the transformed integrand has only a finite number of poles inside the unit circle and none on it. Evaluate 2π I= 0 cos 2θ dθ, a2 + b2 − 2ab cos θ b > a > 0. (24.66) By de Moivre’s theorem (section 3.4), cos nθ = 12 (z n + z −n ). (24.67) Using n = 2 in (24.67) and straightforward substitution for the other functions of θ in (24.66) gives 0 i z4 + 1 I= dz. 2 2ab C z (z − a/b)(z − b/a) Thus there are two poles inside C, a double pole at z = 0 and a simple pole at z = a/b (recall that b > a). We could find the residue of the integrand at z = 0 by expanding the integrand as a Laurent series in z and identifying the coefficient of z −1 . Alternatively, we may use the 861 COMPLEX VARIABLES formula (24.56) with m = 2. Choosing the latter method and denoting the integrand by f(z), we have d z4 + 1 d 2 [z f(z)] = dz dz (z − a/b)(z − b/a) = (z − a/b)(z − b/a)4z 3 − (z 4 + 1)[(z − a/b) + (z − b/a)] . (z − a/b)2 (z − b/a)2 Now setting z = 0 and applying (24.56), we find a b + . b a For the simple pole at z = a/b, equation (24.57) gives the residue as R(0) = R(a/b) = lim z→(a/b) =− (z − a/b)f(z) = (a/b)4 + 1 (a/b)2 (a/b − b/a) a4 + b4 . ab(b2 − a2 ) Therefore by the residue theorem 2 2πa2 i a + b2 a4 + b4 = 2 2 I = 2πi × − . 2ab ab ab(b2 − a2 ) b (b − a2 ) 24.13.2 Some infinite integrals We next consider the evaluation of an integral of the form ∞ f(x) dx, −∞ where f(z) has the following properties: (i) f(z) is analytic in the upper half-plane, Im z ≥ 0, except for a finite number of poles, none of which is on the real axis; (ii) on a semicircle Γ of radius R (figure 24.14), R times the maximum of |f| on Γ tends to zero as R → ∞ (a sufficient condition is that zf(z) → 0 as |z| → ∞); ∞ 0 (iii) −∞ f(x) dx and 0 f(x) dx both exist. Since f(z) dz ≤ 2πR × (maximum of |f| on Γ), Γ condition (ii) ensures that the integral along Γ tends to zero as R → ∞, after which it is obvious from the residue theorem that the required integral is given by ∞ f(x) dx = 2πi × (sum of the residues at poles with Im z > 0). −∞ (24.68) 862 24.13 DEFINITE INTEGRALS USING CONTOUR INTEGRATION y Γ −R O x R Figure 24.14 A semicircular contour in the upper half-plane. Evaluate ∞ I= 0 dx , (x2 + a2 )4 where a is real. The complex function (z 2 + a2 )−4 has poles of order 4 at z = ±ai, of which only z = ai is in the upper half-plane. Conditions (ii) and (iii) are clearly satisfied. For higher-order poles, formula (24.56) for evaluating residues can be tiresome to apply. So, instead, we put z = ai + ξ and expand for small ξ to obtain§ 1 1 1 = = (z 2 + a2 )4 (2aiξ + ξ 2 )4 (2aiξ)4 1− iξ 2a −4 . The coefficient of ξ −1 is given by 1 (−4)(−5)(−6) (2a)4 3! and hence by the residue theorem ∞ −∞ −i 2a 3 = −5i , 32a7 10π dx = , (x2 + a2 )4 32a7 and so I = 5π/(32a7 ). Condition (i) of the previous method required there to be no poles of the integrand on the real axis, but in fact simple poles on the real axis can be accommodated by indenting the contour as shown in figure 24.15. The indentation at the pole z = z0 is in the form of a semicircle γ of radius ρ in the upper halfplane, thus excluding the pole from the interior of the contour. § This illustrates another useful technique for determining residues. 863 COMPLEX VARIABLES y Γ γ −R O R x Figure 24.15 An indented contour used when the integrand has a simple pole on the real axis. What is then obtained from a contour integration, apart from the contributions for Γ and γ, is called the principal value of the integral, defined as ρ → 0 by R z0 −ρ R P f(x) dx ≡ f(x) dx + f(x) dx. −R −R z0 +ρ The remainder of the calculation goes through as before, but the contribution from the semicircle, γ, must be included. Result (24.63) of section 24.12 shows that since only a simple pole is involved its contribution is −ia−1 π, (24.69) where a−1 is the residue at the pole and the minus sign arises because γ is traversed in the clockwise (negative) sense. We defer giving an example of an indented contour until we have established Jordan’s lemma; we will then work through an example illustrating both. Jordan’s lemma enables infinite integrals involving sinusoidal functions to be evaluated. For a function f(z) of a complex variable z, if (i) f(z) is analytic in the upper half-plane except for a finite number of poles in Im z > 0, (ii) the maximum of |f(z)| → 0 as |z| → ∞ in the upper half-plane, (iii) m > 0, then eimz f(z) dz → 0 IΓ = as R → ∞, (24.70) Γ where Γ is the same semicircular contour as in figure 24.14. Note that this condition (ii) is less stringent than the earlier condition (ii) (see the start of this section), since we now only require M(R) → 0 and not RM(R) → 0, where M is the maximum§ of |f(z)| on |z| = R. § More strictly, the least upper bound. 864 24.13 DEFINITE INTEGRALS USING CONTOUR INTEGRATION The proof of the lemma is straightforward once it has been observed that, for 0 ≤ θ ≤ π/2, 2 sin θ ≥ . θ π Then, since on Γ we have | exp(imz)| = | exp(−mR sin θ)|, π IΓ ≤ |eimz f(z)| |dz| ≤ MR e−mR sin θ dθ = 2MR 1≥ 0 Γ (24.71) π/2 e−mR sin θ dθ. 0 Thus, using (24.71), IΓ ≤ 2MR π/2 e−mR(2θ/π) dθ = 0 πM πM 1 − e−mR < ; m m hence, as R → ∞, IΓ tends to zero since M tends to zero. Find the principal value of ∞ −∞ cos mx dx, x−a for a real, m > 0. Consider the function (z − a)−1 exp(imz); although it has no poles in the upper half-plane it does have a simple pole at z = a, and further |(z − a)−1 | → 0 as |z| → ∞. We will use a contour like that shown in figure 24.15 and apply the residue theorem. Symbolically, a−ρ R + + + = 0. (24.72) −R γ a+ρ Γ Now as R → ∞ and ρ → 0 we have Γ → 0, by Jordan’s lemma, and from (24.68) and (24.69) we obtain ∞ imx e P (24.73) dx − iπa−1 = 0, −∞ x − a where a−1 is the residue of (z − a)−1 exp(imz) at z = a, which is exp(ima). Then taking the real and imaginary parts of (24.73) gives ∞ cos mx P dx = −π sin ma, as required, −∞ x − a ∞ sin mx dx = π cos ma, as a bonus. P −∞ x − a 24.13.3 Integrals of multivalued functions We have discussed briefly some of the properties and difficulties associated with certain multivalued functions such as z 1/2 or Ln z. It was mentioned that one method of managing such functions is by means of a ‘cut plane’. A similar technique can be used with advantage to evaluate some kinds of infinite integral involving real functions for which the corresponding complex functions are multivalued. A typical contour employed for functions with a single branch point 865 COMPLEX VARIABLES y Γ γ A B C D x Figure 24.16 A typical cut-plane contour for use with multivalued functions that have a single branch point located at the origin. located at the origin is shown in figure 24.16. Here Γ is a large circle of radius R and γ is a small one of radius ρ, both centred on the origin. Eventually we will let R → ∞ and ρ → 0. The success of the method is due to the fact that because the integrand is multivalued, its values along the two lines AB and CD joining z = ρ to z = R are not equal and opposite although both are related to the corresponding real integral. Again an example provides the best explanation. Evaluate ∞ I= 0 dx , (x + a)3 x1/2 a > 0. We consider the integrand f(z) = (z + a)−3 z −1/2 and note that |zf(z)| → 0 on the two circles as ρ → 0 and R → ∞. Thus the two circles make no contribution to the contour integral. The only pole of the integrand inside the contour is at z = −a (and is of order 3). To determine its residue we put z = −a + ξ and expand (noting that (−a)1/2 equals a1/2 exp(iπ/2) = ia1/2 ): 1 1 = 3 1/2 (z + a)3 z 1/2 ξ ia (1 − ξ/a)1/2 1ξ 1 3 ξ2 = 3 1/2 1 + + · · · . + iξ a 2a 8 a2 The residue is thus −3i/(8a5/2 ). The residue theorem (24.61) now gives −3i . + + + = 2πi 5/2 8a AB Γ DC γ 866