Cauchy integral formula: Difference between revisions

From Companal
No edit summary
Line 21: Line 21:
===For any union of piecewise smooth curves and any point===
===For any union of piecewise smooth curves and any point===


{{fillin}} This is in terms of the winding numbers
Suppose <math>U</math> is an open subset of <math>\mathbb{C}</math> and <math>f:U \to \mathbb{C}</math> is a [[holomorphic function]].
 
Suppose <math>c</math> is a sum of oriented piecewise smooth loops <math>c_1, c_2, \ldots, c_r</math>, each completely inside <math>U</math>. In other words, when we use the symbol <math>\int_c g(z) dz</math>, we actually mean <math>\sum_1^r \int_{c_r} g(z) dz</math>.
 
Denote by <math>n(c;z_0)</math> the sum of the winding numbers of the <math>c_k</math> about <math>z_0</math>. Suppose <math>c</math> is zero-homologous, i.e. <math>n(c;z) = 0</math> for <math>z \in \mathbb{C}\setminus U</math>. Then we have, for any <math>z_0 \in U</math>:
 
<math>n(c;z_0)f(z_0) = \frac{1}{2 \pi i} \int_c \frac{f(z)}{z - z_0} \, dz</math>


==Related facts==
==Related facts==


* [[Cauchy integral formula for derivatives]]
* [[Cauchy integral formula for derivatives]]

Revision as of 14:14, 19 April 2008

Statement

For a circle with respect to any point in the interior

Suppose U is a domain in C and f:UC is a holomorphic function. The Cauchy integral formula states that if z0U is such that the disc of radius r about z0 lies completely inside U, and if z in such that |zz0|<r, we have:

f(z)=12πiDf(ξ)ξzdξ

In other words, we can determine the value of f at the center, by knowing its value on the boundary.

For any simple closed curve and any point in the interior

This is the same integral formula, this time applied to any simple closed curve and any point in the interior.

Suppose U is a domain in C and f:UC is a holomorphic function. The Cauchy integral formula states that if γ is a smooth simple closed curve lying completely inside U, and z0 is in the component of the complement of γ that lies completely inside U, then we have:

f(z0)=12πiDf(z)zz0dz

In other words, the curve doesn't need to be a circle and the point can be anywhere inside.

For any union of piecewise smooth curves and any point

Suppose U is an open subset of C and f:UC is a holomorphic function.

Suppose c is a sum of oriented piecewise smooth loops c1,c2,,cr, each completely inside U. In other words, when we use the symbol cg(z)dz, we actually mean 1rcrg(z)dz.

Denote by n(c;z0) the sum of the winding numbers of the ck about z0. Suppose c is zero-homologous, i.e. n(c;z)=0 for zCU. Then we have, for any z0U:

n(c;z0)f(z0)=12πicf(z)zz0dz

Related facts