PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
[parent] variant of Cauchy integral formula (Theorem)

Theorem. Let $f(z)$ be holomorphic in a domain $A$ of $\mathbb{C}$ . If $C$ is a closed contour not intersecting itself which with its inner domain is contained in $A$ and if $z$ is an arbitrary point inside $C$ , then

$\displaystyle f(z) \;=\; \frac{1}{2i\pi}\oint_C\frac{f(t)}{t\!-\!z}\,dt.$ (1)

Proof. Let $\varepsilon$ be any positive number. Denote by $C_r$ the circles with radius $r$ and centered in $z$ . We have $$\oint_C\frac{f(t)}{t\!-\!z}\,dt \;=\; \oint_C\frac{f(z)\!+\!(f(t)\!-\!f(z))}{t\!-\!z}\,dt \;=\; \underbrace{\oint_C\frac{f(z)}{t\!-\!z}\,dt}_I+\underbrace{\oint_C\frac{f(t)\!-\!f(z)}{t\!-\!z}\,dt}_J.$$ According to the corollary of Cauchy integral theorem and its example, we may write $$I \;=\; f(z)\oint_C\frac{dt}{t\!-\!z} \;=\; 2i\pi f(z).$$ If $0 < r < \mbox{ some } r_0$ , we have $$J \;=\; \oint_{C_r}\frac{f(t)\!-\!f(z)}{t\!-\!z}\,dt.$$ The continuity of $f$ in the point $z$ implies, that $$|f(t)\!-\!f(z)| < \varepsilon$$ when $0 < |t\!-\!z| < \mbox{ some } \delta_\varepsilon$ i.e. when

$\displaystyle t \in C_r\,$    and $\displaystyle \, 0 < r <$    some $\displaystyle r_1.$ (2)

If (2) is in force, we obtain first $$\left|\frac{f(t)\!-\!f(z)}{t\!-\!z}\right| \;=\; \frac{|f(t)\!-\!f(z)|}{|t\!-\!z|} \;=\; \frac{|f(t)\!-\!f(z)|}{r} \;<\; \frac{\varepsilon}{r},$$ whence, by the estimation theorem of integral, $$|J| \;\leqq\; \frac{\varepsilon}{r}\cdot2\pi r \;=\; 2\pi\varepsilon \quad \mbox{for} \quad 0 < r < \min\{r_0,\,r_1\},$$ and lastly
$\displaystyle \left\vert\frac{1}{2i\pi}\oint_C\frac{f(t)}{t\!-\!z}\,dt-f(z)\rig... ...\pi}J\right\vert \;\leqq\; \frac{1}{2\pi}\cdot2\pi\varepsilon \;=\; \varepsilon$   when $\displaystyle 0 < r < \min\{r_0,\,r_1\}.$ (3)

This result implies (1).




"variant of Cauchy integral formula" is owned by pahio.
(view preamble | get metadata)

View style:

See Also: Cauchy integral formula, corollary of Cauchy integral theorem

Other names:  Cauchy integral formula

This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: estimation theorem of integral, implies, corollary of Cauchy integral theorem, radius, circles, number, positive, proof, point, contained, contour, closed, domain, holomorphic, theorem
There are 4 references to this entry.

This is version 3 of variant of Cauchy integral formula, born on 2009-04-27, modified 2009-04-28.
Object id is 11752, canonical name is VariantOfCauchyIntegralFormula.
Accessed 490 times total.

Classification:
AMS MSC30E20 (Functions of a complex variable :: Miscellaneous topics of analysis in the complex domain :: Integration, integrals of Cauchy type, integral representations of analytic functions)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)