Cauchy's Integral Formula 2.7 2001/08/07 2002/08/05 Doug Daniels rainking@alumni.rice.edu Steven Cox cox@rice.edu Doug Daniels rainking@alumni.rice.edu Steven Cox cox@rice.edu Jacob Grabczewski jgrab@owlnet.rice.edu cauchy closed curve curves integral linear algebra replacement spaces This module gives a defintion of Cauchy's Integral Formula and describes its use and usefulness.

The Residue Theorem After Cauchy's Theorem eqn6 and Cauchy's Theorem eqn7 perhaps the most useful consequence of Cauchy's Theorem is the The Curve Replacement Lemma Suppose that C 2 is a closed curve that lies inside the region encircled by the closed curve C 1 . If f is differentiable in the annular region outside C 2 and inside C 1 then z C 1 f z z C 2 f z . With reference to we introduce two vertical segments and define the closed curves C 3 a b c d a (where the bc arc is clockwise and the da arc is counter-clockwise) and C 4 a d c b a (where the ad arc is counter-clockwise and the cb arc is clockwise). By merely following the arrows we learn that z C 1 f z z C 2 f z z C 3 f z z C 4 f z As Cauchy's Theorem implies that the integrals over C 3 and C 4 each vanish, we have our result.

Curve Replacement Figure The Curve Replacement Lemma

This Lemma says that in order to integrate a function it suffices to integrate it over regions where it is singular, i.e. nondifferentiable. Let us apply this reasoning to the integral z C z z λ 1 z λ 2 where C encircles both λ 1 and λ 2 as depicted in . We find that z C z z λ 1 z λ 2 z C 1 z z λ 1 z λ 2 z C 2 z z λ 1 z λ 2 Developing the integrand in partial fractions we find z C 1 z z λ 1 z λ 2 λ 1 λ 1 λ 2 z C 1 1 z λ 1 λ 2 λ 2 λ 1 z C 1 1 z λ 2 2 λ 1 λ 1 λ 2 Similarly, z C 2 z z λ 1 z λ 2 2 λ 2 λ 2 λ 1 Putting things back together we find z C z z λ 1 z λ 2 2 λ 1 λ 1 λ 2 λ 2 λ 2 λ 1 2

Concentrating on the poles.

We may view as a special instance of integrating a rational function around a curve that encircles all of the zeros of its denominator. In particular, recalling that cauchy's theorem eqn5 and Cauchy's theorem eqn6, we find z C q z j 1 h k 1 m j z C j q j , k z λ j k 2 j 1 h q j , 1 To take a slightly more complicated example let us integrate f z z a over some closed curve C inside of which f is differentiable and a resides. Our Curve Replacement Lemma now permits us to claim that z C f z z a z C a r f z z a It appears that one can go no further without specifying f. The alert reader however recognizes that in the integral over C a r is independent of r and so proceeds to let r 0 , in which case z a and f z f a . Computing the integral of 1 z a along the way we are led to the hope that z C f z z a f a 2 In support of this conclusion we note that z C a r f z z a z C a r f z z a f a z a f a z a f a z C a r 1 z a z C a r f z f a z a Now the first term is f a 2 regardless of r while, as r 0 , the integrand of the second term approaches a f a and the region of integration approaches the point a. Regarding this second term, as the integrand remains bounded as the perimeter of C a r approaches zero the value of the integral must itself be zero. This result if typically known as Cauchy's Integral Formula If f is differentiable on and in the closed curve C then f a 1 2 z C f z z a for each a lying inside C. The consequences of such a formula run far and deep. We shall delve into only one or two. First, we note that, as a does not lie on C, the right hand side is a perfectly smooth function of a. Hence, differentiating each side, we find a f a 1 2 z C f z z a 2 for each a lying inside C. Applying this reasoning n times we arrive at a formula for the n-th derivative of f at a, a n f a n 2 z C f z z a 1 n for each a lying inside C. The upshot is that once f is shown to be differentiable it must in fact be infinitely differentiable. As a simple extension let us consider 1 2 z C f z z λ 1 z λ 2 2 where f is still assumed differentiable on and in C and that C encircles both λ 1 and λ2 . By the curve replacement lemma this integral is the sum 1 2 z C 1 f z z λ 1 z λ 2 2 1 2 z C 2 f z z λ 1 z λ 2 2 where λ j now lies in only C j . As f z z λ 2 is well behaved in C 1 we may use to conclude that 1 2 z C 1 f z z λ 1 z λ 2 2 f λ 1 λ 1 λ 2 2 Similarly, as f z z λ 1 is well behaved in C 2 we may use to conclude that 1 2 z C 2 f z z λ 1 z λ 2 2 a λ2 a f a a λ 1 These calculations can be read as a concrete instance of The Residue Theorem If g is a polynomial with roots λ j j 1 … h of degree d j j 1 … h and C is a closed curve encircling each of the λ j and f is differentiable on and in C then z C f z g z 2 j 1 h res λ j where res λ j z λ j 1 d j 1 z d j 1 z λ j d j f z g z is called the residue of f g at λ j . One of the most important instances of this theorem is the formula for the Inverse Laplace Transform.