Jump to content

User:Frank 1729

From Wikipedia, the free encyclopedia
Broombridge over the Royal Canal, north of Dublin Ireland, site of the discovery of the quaternion numbers by William Rowan Hamilton in 1843

Proposed article on Cauchy's Integral Formula

[edit]

In mathematics, Cauchy's integral formula, named after Augustin Louis Cauchy, is a central statement in complex analysis. It expresses the remarkable fact that a holomorphic function defined on a connected, open region without holes is completely determined by its values on the boundary of the region. This formula derives its analytic significance from the way it can be used to represent holomorphic functions using contour integrals, from which representation many important and far reaching properties of those functions can be derived, including integral formulas for their derivatives.

The theorem

[edit]
Contour C inside simply connected set U
Null-homotopic contour inside a set U that is not simply connected. Cauchy's integral formula also applies in this case.


Suppose U is an open, connected, simply connected subset of the complex plane C, and f : UC is a holomorphic function on U. Let C be a simple, closed, positively oriented contour lying entirely inside U. Then for every point a in the interior of C we have


A contour C that is not null-homotopic in U. Cauchy's integral formula does not apply in this case.

Remarks on the conditions of the theorem

[edit]

The domain U does not have to be simply connected as long as the contour C is null-homotopic in U, that is, continuously deformable, to a point in U, with the deformation never leaving U. [1] Moreover, as for the Cauchy integral theorem, it is sufficient to require that f be holomorphic—that is, complex-differentiable—in the open region enclosed by the contour and continuous on its closure.

Cauchy's formula as an integral representation of holomorphic functions

[edit]

The point a in Cauchy's integral formula may be any point on the open set U, so a, instead of a constant, can be thought of as a variable that assumes its values on U. When we think of a in such terms, we may change the notation in the theorem and replace a with z and use w, for example, as the variable of integration. With that change of notation Cauchy's integral formula takes the form

thus making it explicit that the formula provides a way of representing using a contour integral, holomorphic functions that satisfy the conditions of the theorem. It is in this form in which some authors state Cauchy's integral formula.[2]

The role of differentiability in Cauchy's integral formula

[edit]

To recover the values of some holomorphic function using the integral representation given by Cauchy's formula we need three things as input:

  1. A simple, closed contour C,
  2. the values of a function f that is continuous on C, and
  3. the knowledge that f is holomorphic inside C.


At first glance, in light of the integral representation form of Cauchy's formula, it might appear that we only need the first two items in the list above. Indeed, if f is an arbitrary continuous function on C, the function defined by

for all z in the interior of C is holomorphic.[3] Haven't we now recovered f from its values on C? Has anything gone wrong?

To see what can go wrong with the approach above, consider the following example.[3] Let C be the unit circle, traveled in the positive direction, and let f(z̅) = z̅, where z̅ denotes the complex conjugate of z. Then, if z is a nonzero complex number inside the unit circle, we have

Since z is not equal to zero, the partial fraction decomposition of is given by

By direct computation, or through the use of Cauchy's integral formula itself, we have that

which implies that

Thus, if z ≠ 0 then f(z) = 0. Using also a direct computation we can show that f (0) = 0. Therefore, we have recovered the function f(z) = 0 for all z in the interior of the unit circle. And the problem is now evident; we started with the continuous function f(z̅) = z̅ and the unit circle as our inputs, and obtained and different function as our output (or more precisely, we extended a continuous function on the unit circle to discontinuous function on the unit disk, which is not at all what we wanted). This example clearly illustrates the need for differentiability inside the contour over which we are integrating in addition to continuity on the contour itself.

Proof

[edit]
Circle Γ of radius δ centered at a. Integrating f(z)/(z-a) over C and Γ produces the same value.

Let ε be any positive number. Since f is complex differentiable, it is continuous, so there exists a positive number δ such that |f(z) - f(a)| < ε whenever |z - a| ≤ δ. Let Γ be the circle of radius δ centered at a. If necessary, make δ small enough so that Γ lies entirely inside C. The deformation of contour theorem [4] allows us to replace an integral over a simple, closed contour C in an open, though not necessarily simply connected, open set, with an integral over a closed, simple contour in the same domain, and lying inside C. Thus, this theorem implies that the integral of f(z)/(z-a) over Γ has the same value as the integral of the same function over the contour C. Now, if γ is a closed (not necessarily simple) contour, then the expression

is the winding number of γ around a. If γ is a circle with positive orientation and a is inside γ, then the expression is equal to 1. Thus, we have

Therefore,

Using standard inequalities for contour integrals[5] yields

We now have shown that

for every positive number ε. This implies that

which in turn implies that

The theorem is now proved.

Examples

[edit]

For a simple example of the application of Cauchy's integral formula, consider the contour integral

where C is the positively oriented circle of radius 1 centered at . Since the function f(z) = ez is entire, Cauchy's integral formula tells us that

Euler's formula then gives us

The integral of ez over this contour is also equal to

Consequently,

There is nothing special about C being a circle. Indeed, the deformation of contour theorem tells that the value of

is also if we replace C with a any simple, positively oriented, closed contour that contains in its interior.


Graph of the real part of the function g(z) = z2 / (z2 + 2z + 2) showing its singularities, with the contours described in the text.


For a more complicated example, consider the function

and the contour described by |z| = 2, call it C.

To find out the integral of g(z) around the contour, we need to know the singularities of g(z). Observe that we can rewrite g as follows:

where

Clearly the poles become evident, their moduli are less than 2 and thus lie inside the contour and are subject to consideration by the formula. Let C1 be a small, positively oriented circle around z1 and let C2 be a small, positively oriented circle around z2. Let L1 be an arc from C1 to C2, and let L2 = -L1; that is, L2 is the contour from C2 to C1, traveled along L1. Define the contour γ by

Then

Thus, the integral of g(z) over γ is the sum of the integrals of g(z) over the circles C1 and C2. The circle C can be continuously deformed into the contour γ within the open set , so by the homotopy form of Cauchy's integral theorem,[6] the integral of g(z) over C is the same as the integral of g(z) over γ. Therefore, the integral of g(z) along C is also sum of the integrals of g(z) over the circles C1 and C2.

Contour γ inside the circle C

The function

is holomorphic inside C1 since this contour does not contain z2. This allows us to write g in the form

Now we have



To compute the integral of g over the contour C2 we proceed in the same vein and let

Computations similar to those above yield

The integral around the original contour C is the sum of these two integrals, and thus

Consequences

[edit]

One of the most important consequences of Cauchy's integral formula is the proof that holomorphic functions are analytic. This proof shows that a holomorphic function can be expanded into a power series

at every point a in its domain. This series has a positive radius of convergence, and each coefficient cn is given by

and where C is a positively oriented circle with center a, and so that f is holomorphic inside C. On the other hand, the coefficients of the power series about the point a of an analytic function are given by the formula

These two formulas for cn show that


This formula is sometimes known as Cauchy's differentiation formula. The deformation of contour theorem allows us to replace the circle C with a simple, closed contour that is inside the domain of f and on which f is holomorphic. Thus, the conditions for which Cauchy's differentiation formula holds are exactly the same as those of Cauchy's integral formula itself.

Because one may deduce from Cauchy's differentiation formula that f must be infinitely often continuously differentiable, the Cauchy integral theorem has broad implications. The fact that holomorphic functions are infinitely differentiable is used to prove Liouville's theorem, which states that every bounded entire function is constant; it is also is used to prove the residue theorem, which is a far-reaching generalization that removes the requirement that the function be analytic in the enclosed region.

The Cauchy integral theorem has no counterpart in real analysis because for a real valued function possession of a first derivative by a function will not guarantee the existence of higher order derivatives. In contrast to this, the proof of the Cauchy integral formula for derivatives shows that analytic functions posses derivatives of all orders.[7]

It is known from Morera's theorem that the uniform limit of holomorphic functions is holomorphic. This can also be deduced from Cauchy's integral formula: indeed the formula also holds in the limit and the integrand, and hence the integral, can be expanded as a power series. In addition the Cauchy formulas for the higher order derivatives show that all these derivatives also converge uniformly.

Example of Cauchy's differentiation formula

[edit]

Consider the contour integral

where C is any simple, closed, positively oriented contour lying in the upper complex plane, and having the point in its interior. The function f(z) = log(z) is the principal branch of the complex logarithm function, which is discontinuous, and thus, not differentiable, on the non positive real axis. But C avoids that axis and moves only where f is holomorphic. Hence, we can use Cauchy's differentiation formula to evaluate the integral. Recalling that we get

References

[edit]
  1. ^ Serge Lang, Complex Analysis,Addison-Wesley Publishing Company, 1977, page 124. ISBN 0-20104137-5
  2. ^ Lars Ahlfors, Complex Analysis: An Introduction to the Theory of Analytic Functions of One Complex Variable,Second Edition, McGraw-Hill Book Company, 1966, page 119.
  3. ^ a b David Raymond Curtiss, Analytic Functions of a Complex Variable, The Open Court Publishing Company, 1948, pages 97-98.
  4. ^ John H. Mathews and Russell W. Howell, Complex Analysis for Mathematics and Engineering, Fifth Edition, Jones and Bartlett Publishers, 2006, page 222. ISBN 0-7637-3748-8
  5. ^ E. B. Saff and A. D. Snider, Fundamentals of Complex Analysis with Applications to Engineering and Science, Third Edition, Prentice Hall, 2003, pages 169-170. ISBN 0139078746
  6. ^ John B. Conway, Functions of a Complex Variable, Springer-Verlag, 1973, page 82. ISBN 0-387-90061-6
  7. ^ Transform Calculus: with an Introduction to Complex Variables by E. J. Scott

See also

[edit]
[edit]