1 / 67

Integration in the Complex Plane

CHAPTER 18. Integration in the Complex Plane. Contents. 18.1 Contour Integrals 18.2 Cauchy-Goursat Theorem 18.3 Independence of Path 18.4 Cauchy’s Integral Formulas. 18.1 Contour Integrals. DEFINITION 18.1.

Download Presentation

Integration in the Complex Plane

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. CHAPTER 18 Integration in the Complex Plane

  2. Contents • 18.1 Contour Integrals • 18.2 Cauchy-Goursat Theorem • 18.3 Independence of Path • 18.4 Cauchy’s Integral Formulas

  3. 18.1 Contour Integrals DEFINITION 18.1 Let f be defined at points of a smooth curve C givenby The contour integralof f along C is (1) Contour Integral

  4. THEOREM 18.1 If f is continuous on a smooth curve C given by , then (3) Evaluation of a Contour Integral

  5. Example 1 Solution

  6. Example 2 Evaluate where C is the circle x = cos t, y = sin t, 0 t  2. Solution

  7. THEOREM 18.2 Suppose f and g are continuous in a domain D and Cis a smooth curve lying entirely in D. Then:(i) (ii) (iii) where C is the union of the smooth curve C1 and C2. (iv) where –C denotes the curve having the opposite orientation of C. Properties of Contour Integrals

  8. Example 3 Evaluate where C is the contour in Fig 18.1. SolutionFig 18.1

  9. Example 3 (2) We haveSince C1is defined by y = x, then z(x) = x + ix, z’(x) =1 + i, f(z(x)) = x2+ ix2 , and

  10. Example 3 (3) The curve C2is defined by x = 1, 1  y  2. Then z(y) = 1 + iy, z’(y) = i, f(z(y)) =1 + iy2. Thus

  11. THEOREM 18.3 • This theorem is sometimes called the ML-inequality If f is continuous on a smooth curve C and if for all z on C, then where L is the length of C. A Bounding Theorem

  12. Example 4 Find an upper bound for the absolute value of where C is the circle |z| = 4. SolutionSince |z +1|  |z|− 1 = 3, then (5)

  13. Example 4 (2) In addition, |ez| = ex, with |z| = 4, we have the maximum value of x is 4. Thus (5) becomesHence from Theorem 18.3,

  14. 18.2 Cauchy-Goursat Theorem • Cauchy’s TheoremSuppose that a function f is analytic in a simply connected domain D and that f is continuous in D. Then for every simple closed contour C in D, This proof is based on the result of Green’s Theorem. (1)

  15. THEOREM 18.4 Suppose a function f is a analytic in a simply connected domain D. Then for every simple closed C in D, Cauchy-Goursat Theorem • Now since f is analytic, the Cauchy-Riemann equations imply the integral in (1) is identical zero.

  16. Since the interior of a simple closed contour is a simply connected domain, the Cauchy-Goursat Theorem can be stated as If f is analytic at all points within and on a simple closed contour C, (2)

  17. Example 1 Evaluate where C is shown in Fig 18.9. SolutionThe function ez is entire and C is a simple closed contour. Thus the integral is zero.

  18. Fig 18.9

  19. Example 2 Evaluate where C is the ellipse (x – 2)2+ (y – 5)2/4 = 1. SolutionWe find that 1/z2 is analytic except at z = 0and z = 0 is not a point interior to or on C. Thus the integral is zero.

  20. Cauchy-Goursat Theorem for Multiply Connected Domains • Fig 18.11(a) shows that C1 surrounds the “hole” in the domain and is interior to C.

  21. Suppose also that f is analytic on each contour and at each point interior to C but exterior to C1. When we introduce the cut AB shown in Fig 18.11(b), the region bounded by the curves is simply connected. Thus from (2) and (3)

  22. Fig 18.11 (b)

  23. Example 4 Evaluate where C is the outer contour in Fig 18.12. SolutionFrom (3), we choose the simpler circular contour C1: |z – i| = 1 in the figure. Thus x = cos t, y = 1 + sin t, 0  t  2, or z = i + eit, 0  t  2. Then

  24. Fig 18.12

  25. The result in Example 4 can be generalized. We can show that if z0 is any constant complex number interior to any simple closed contour C, then (4)

  26. Example 5 Evaluate where C is the circle |z – 2| = 2. Solutionand so (5)

  27. Example 5 (2) Since z = 1 is interior to C and z = −3 is exterior to C, we have

  28. Fig 18.13 • See Fig 18.13. We can show that

  29. THEOREM 18.5 Suppose C, C1, …, Cn are simple closed curves with a positive orientation such that C1, C2, …, Cn are interior to C but the regions interior to each Ck, k = 1, 2, …, n, have no points in common. If f is analytic on each contour and at each point interior to C but exterior to all the Ck, k = 1, 2, …, n, then (6) Cauchy-Goursat Theorem for Multiply Connected Domain

  30. Example 6 Evaluate where C is the circle |z| = 3. Solution

  31. Example 6 (2) We now surround the points z = i and z = −i by circular contours C1 and C2. SeeFig 18.14, we have (7)

  32. 18.3 Independence of Path • See Fig 18.19. DEFINITION 18.2 Let z0 and z1 be points in a domain D. A contour integral is said to be independent of the path if its value is the same for all contours C in D with an initial point z0 and a terminal point z1. Independence of the Path

  33. Fig 18.19

  34. Note that C and C1 form a closed contour. If f is analytic in D then (2)Thus (3)

  35. THEOREM 18.6 If f is an analytic function in a simply connected domain D, then is independent of the path C. Analyticity Implies Path Independence

  36. Example 1 Evaluate where C is shown in Fig 18.20.

  37. Example 1 (2) Solution Since f(z) =2z is entire, we choose the path C1 to replace C (see Fig 18.20). C1 is a straight line segment x = − 1, 0 y 1 . Thus z = −1 + iy, dz = idy.

  38. DEFINITION 18.3 Suppose f is continuous in a domain D. If there exists a function F such that F’(z) = f(z) for each z in D, then F is called an antiderivative of f. Antiderivative

  39. THEOREM 18.7 Suppose f is continuous in a domain D and F is anantiderivative of f in D. Then for any contour C in Dwith initial point z0 and terminal point z1, (4) Fundamentals Theorem for Contour Integrals

  40. THEOREM 18.7 Proof With F(z) = f(z)for each z in D, we have ← Chain Rule

  41. Example 2 In Example 1, the contour is from −1 to −1 + i. The function f(z) =2z is entire and F(z) = z2 such that F’(z) =2z = f(z).Thus

  42. Example 3 Evaluate where C is any contour fro z = 0 to z = 2 + i. Solution

  43. Some Conclusions from Theorem 18.7 • If C is closed then z0 = z2, then (5) • In other words:If a continuous function f has an antiderivative F in D, then is independent of the path. (6) • Sufficient condition for the existence of an antiderivative:If f is continuous and is independent of the path in a domain D, then f has an antiderivative everywhere in D. (7)

  44. THEOREM 18.8 If f is analytic in a simply connected domain D, then f has an antiderivative in D; that is, there existence a function F such that F’(z) = f(z) for all z in D. Existence of a Antiderivative

  45. Example 4 Evaluate where C is shown in Fig 18.22.

  46. Example 4 (2) SolutionSuppose that D is the simply connected domain defined by x > 0, y > 0. In this case Ln z is an antiderivative of 1/z. Hence

  47. 18.4 Cauchy Integral Formulas THEOREM 18.9 Let f be analytic in a simply connected domain D, and let C be a simple closed contour lying entirely within D. If z0 is any point within C, then (1) Cauchy’s Integral Formula

  48. THEOREM 18.9 ProofLet C1 be a circle centered at z0 with radius small enough that it is interior to C. Then we have (2)For the right side of (2) (3)

  49. THEOREM 18.9 proof From (4) of Sec. 18.2, we know Thus (3) becomes (4)However from the ML-inequality and the fact that the length of C1 is small enough, the second term of the right side in (4) is zero. We complete the proof.

  50. A more practical restatement of Theorem 18.9 is :If f is analytic at all points within and on a simpleclosed contour C, and z0 is any point interior to C, then (5)

More Related