Cauchy's integral theorem

Cauchy's integral theorem

In mathematics, the Cauchy integral theorem in complex analysis, named after Augustin Louis Cauchy, is an important statement about line integrals for holomorphic functions in the complex plane. Essentially, it says that if two different paths connect the same two points, and a function is holomorphic everywhere "in between" the two paths, then the two path integrals of the function will be the same.

The theorem is usually formulated for closed paths as follows: let "U" be an open subset of C which is simply connected, let "f" : "U" → C be a holomorphic function, and let γ be a rectifiable path in "U" whose start point is equal to its end point. Then,

:oint_gamma f(z),dz = 0.

As was shown by Goursat, Cauchy's integral theorem can be proven assuming only that the complex derivative "f" '("z") exists everywhere in "U". This is significant, because one can then prove Cauchy's integral formula for these functions, and from that one can deduce that these functions are in fact infinitely differentiable.

The condition that "U" be simply connected means that "U" has no "holes" or, in homotopy terms, that the fundamental group of "U" is trivial; for instance, every open diskU={ z: |z-z_{0}| < r} qualifies. The condition is crucial; consider

:gamma(t) = e^{it} quad t in left [0,2pi ight]

which traces out the unit circle, and then the path integral

:oint_gamma frac{1}{z},dz = int_0^{2pi} { ie^{it} over e^{it} },dt= int_0^{2pi}i,dt = 2pi i

is non-zero; the Cauchy integral theorem does not apply here since "f"("z") = 1/"z" is not defined (and certainly not holomorphic) at "z" = 0.

One important consequence of the theorem is that path integrals of holomorphic functions on simply connected domains can be computed in a manner familiar from the fundamental theorem of real calculus: let "U" be a simply connected open subset of C, let "f" : "U" &rarr; C be a holomorphic function, and let &gamma; be a piecewise continuously differentiable path in "U" with start point "a" and end point "b". If "F" is a complex antiderivative of "f", then

:int_gamma f(z),dz=F(b)-F(a).

The Cauchy integral theorem is valid in a slightly stronger form than given above. Suppose "U" is an open simply connected subset of C whose boundary is the image of the rectifiable path &gamma;. If "f" is a function which is holomorphic on "U" and continuous on the closure of "U", then

:oint_gamma f(z),dz=0.

The Cauchy integral theorem leads to Cauchy's integral formula and the residue theorem.

ee also

*Cauchy-Riemann equations
*Cauchy's integral formula
*Morera's theorem
*Methods of contour integration
*Residue (complex analysis)

External links

*
* [http://math.fullerton.edu/mathews/c2003/CauchyGoursatMod.html Cauchy-Goursat Theorem Module by John H. Mathews]


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать реферат

Look at other dictionaries:

  • Cauchy's integral formula — In mathematics, Cauchy s integral formula, named after Augustin Louis Cauchy, is a central statement in complex analysis. It expresses the fact that a holomorphic function defined on a disk is completely determined by its values on the boundary… …   Wikipedia

  • Cauchy integral theorem — Math. the theorem that the integral of an analytic function about a closed curve of finite length in a finite, simply connected domain is zero. [named after A. L. CAUCHY] * * * …   Universalium

  • Cauchy integral theorem — Math. the theorem that the integral of an analytic function about a closed curve of finite length in a finite, simply connected domain is zero. [named after A. L. CAUCHY] …   Useful english dictionary

  • Cauchy-Riemann equations — In mathematics, the Cauchy Riemann differential equations in complex analysis, named after Augustin Cauchy and Bernhard Riemann, are two partial differential equations which provide a necessary and sufficient condition for a differentiable… …   Wikipedia

  • Cauchy theorem — Several theorems are named after Augustin Louis Cauchy. Cauchy theorem may mean:*Cauchy s integral theorem in complex analysis, also Cauchy s integral formula *Cauchy s mean value theorem in real analysis, an extended form of the mean value… …   Wikipedia

  • Cauchy principal value — In mathematics, the Cauchy principal value of certain improper integrals, named after Augustin Louis Cauchy, is defined as either* the finite number::lim {varepsilon ightarrow 0+} left [int a^{b varepsilon} f(x),dx+int {b+varepsilon}^c f(x),dx… …   Wikipedia

  • Morera's theorem — If the integral along every C is zero, then ƒ is holomorphic on D. In complex analysis, a branch of mathematics, Morera s theorem, named after Giacinto Morera, gives an important criterion for proving that a function is holomorphic. Morera s… …   Wikipedia

  • Prime number theorem — PNT redirects here. For other uses, see PNT (disambiguation). In number theory, the prime number theorem (PNT) describes the asymptotic distribution of the prime numbers. The prime number theorem gives a general description of how the primes are… …   Wikipedia

  • Integral — This article is about the concept of integrals in calculus. For the set of numbers, see integer. For other uses, see Integral (disambiguation). A definite integral of a function can be represented as the signed area of the region bounded by its… …   Wikipedia

  • Cauchy distribution — Not to be confused with Lorenz curve. Cauchy–Lorentz Probability density function The purple curve is the standard Cauchy distribution Cumulative distribution function …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”