|
|
|
|
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
 |
(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
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
when  |
(3) |
This result implies (1).
|
"variant of Cauchy integral formula" is owned by pahio.
|
|
(view preamble | get metadata)
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 MSC: | 30E20 (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
|
|
|
|
|
|
|
|
|
|
|