Download presentation

Published byBrianna Preston Modified over 3 years ago

1
**Week 5 2. Cauchy’s Integral Theorem (continued)**

۞ A simple path on a plane is such that does not intersect or touch itself. Theorem 1: Cauchy’s Integral Theorem (light version) Let f(z) be analytic and its derivative f '(z) be continuous in a simply connected domain D, then, for every simple contour C in D, Proof: Kreyszig, section 14.2

2
**Theorem 1a: Cauchy’s Integral Theorem (heavy version)**

Let f(z) be analytic in a simply connected domain D. Then, for any simple contours C in D, Proof: Kreyszig, Appendix 4 (non-examinable) Comment: The difference between the light and heavy versions of Cauchy’s Theorem is that the former assumes f '(z) to be continuous. This assumption is, of course, correct (the derivative of an analytic function is continuous), but it still needs to be proved.

3
**Example 1: the importance of D being simply connected**

Evaluate the integral where C is the unit circle, centred at the origin, traversed in the clockwise direction. Comment: Observe that no simply connected domain exists, where the integrand of this integral would be analytic (because of the singularity at z = 0).

4
Example 2: Formulate an equivalent of Cauchy’s Theorem for multiply connected domains. Hint: This theorem is formulated and proven in Kreyszig, section 14.2, but don’t read it. Think instead in terms of topologically equivalent contours.

5
**Theorem 2: Independence of path**

If f(z) is analytic in a simply connected domain D, then the integral of f along a path in D doesn’t depend on the path’s shape (only on its endpoints). Proof: Kreyszig, Section 14.2 Example 3: Use Theorem 2 to evaluate where P is the broken line with the vertices z = −1, i, +1 (in this order).

6
**Comment: Principle of deformation of path**

The path of an integral of a function f(z) can be deformed as long as: (a) all of it, at all times, remains in the region where f is analytic, and (b) the endpoints (if any, i.e. if it’s not a contour) are not moved. In application to contours, the principle of deformation of path is trivial (all contour integrals of analytic functions are zero anyway).

7
**Theorem 3: Cauchy’s Integral Formula**

Let f(z) be analytic in a simply connected domain D, z0 be a point in D, and C be a contour in D, such that C is traversed in the counter-clockwise direction and encloses z0. Then (1) Proof: Kreyszig, Section 14.3

8
**Theorem 4: derivatives of an analytic function**

If f(z) is analytic in a domain D, it has derivatives of all orders in D. These derivatives are given by (2) (3) and, in general, (4) Proof: Kreyszig, Section 14.4 (non-examinable)

9
Comment: Formulae (2)–(4) can be obtained by formally differentiating Cauchy’s formula (1) for f(z0) with respect to z0. ۞ An entire functions is a function that is analytic for all z. Example 4: The functions zn (n is an integer), exp z, sin z, and cos z are entire. Theorem 5: Liouville’s Theorem If f(z) is an entire function, and | f | is bounded, then f = const. Proof: Kreyszig, Section 14.4

10
**Theorem 6: Existence of indefinite integral**

If f(z) is analytic in a simply connected domain D, it has an indefinite integral, i.e. a function F(z) exists, such that F ' = f and, for any path P beginning from z1 and finishing at z2, Obviously, F(z) is analytic in D. Proof: Kreyszig, Section 14.1

11
**Example 5 (Example 3 revisited):**

Use Theorem 6 to evaluate where P is the broken line with the vertices z = −1, i, +1 (in this order).

Similar presentations

Presentation is loading. Please wait....

OK

SECTION 8 Residue Theory (1) The Residue

SECTION 8 Residue Theory (1) The Residue

© 2018 SlidePlayer.com Inc.

All rights reserved.

Ads by Google

Ppt on mars rover Ppt on our environment of class 10 free download Seminar ppt on computer science topics Presentation ppt on motivation theory Ppt on sea level rise map Ppt on integrated child development scheme Ppt on chromosomes and chromatids Doc convert to ppt online ticket Ppt on main distribution frame Download ppt on festivals of france