Cauchy's Integral Formula for Derivatives

From ProofWiki
Jump to: navigation, search

Theorem

Let $D = \{z \in \C : |z| \leq r\}$ be the closed disk of radius $r$ in $\C$.

Let $f:U \to \C$ be holomorphic on some open set containing $D$.

Then for each $a$ in the interior of $D$:

$\displaystyle f^{\left({n}\right)} \left({a}\right) = \frac {n!} {2\pi i} \int_{\partial D} \frac{f \left({z}\right)} {\left({z - a}\right)^{n+1} } \ \mathrm d z$

where $\partial D$ is the boundary of $D$, and is traversed anticlockwise.


Proof

By Cauchy's Integral Formula we have:

$\displaystyle f \left({a}\right) = \frac 1 {2 \pi i} \int_{\partial D} \frac{f \left({z}\right)} {\left({z - a}\right)} \ \mathrm d z$

so for $n = 0$ the proof is finished.


Now suppose that:

$\displaystyle f^{(n-1)} \left({a}\right) = \frac {\left({n-1}\right)!}{2\pi i}\int_{\partial D} \frac{f \left({z}\right)}{\left({z - a}\right)^n }\ \mathrm d z$

We find that

\(\displaystyle \) \(\displaystyle \) \(\displaystyle \) \(\displaystyle \frac {\mathrm d}{\mathrm d a} f^{(n-1)} \left({a}\right)\) \(=\) \(\displaystyle \frac {\left({n-1}\right)!}{2\pi i}\int_{\partial D} \frac{d}{da}\frac{f \left({z}\right)}{\left({z - a}\right)^n}\ \mathrm d z\) \(\displaystyle \) \(\displaystyle \) \(\displaystyle \)                    
\(\displaystyle \) \(\displaystyle \) \(\displaystyle \) \(\displaystyle \) \(=\) \(\displaystyle \frac {\left({n-1}\right)!}{2\pi i}\int_{\partial D} \frac{n f \left({z}\right)}{\left({z - a}\right)^{n+1} }\ \mathrm d z\) \(\displaystyle \) \(\displaystyle \) \(\displaystyle \)                    
\(\displaystyle \) \(\displaystyle \) \(\displaystyle \) \(\displaystyle \) \(=\) \(\displaystyle \frac {n!}{2\pi i}\int_{\partial D} \frac{f \left({z}\right)}{\left({z - a}\right)^{n+1} }\ \mathrm d z\) \(\displaystyle \) \(\displaystyle \) \(\displaystyle \)                    

Therefore we are done by induction.

$\blacksquare$

Personal tools
Namespaces
Variants
Actions
Navigation
ProofWiki.org
ToDo
Toolbox
Google AdSense