Cauchy's Integral Formula for Derivatives
From ProofWiki
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$