## Proof of CIFD

Dear all,

Ken asked me about the proof of the Cauchy Integral Formula for Derivatives that uses the real analysis fact of differentiating under the integral sign.

Statement: If is holomorphic on a simply connected domain and is a counterclockwise oriented Jordan rectifiable curve in , then for every inside the interior of , we have

.

Proof: For fixed positive integers and in the interior of , the differential form has bounded and smooth complex coefficients on , and likewise all of its derivatives wrt are smooth and bounded. In particular, the functions mentioned are absolutely integrable over . Thus, by the theorem on differentiating under the integral sign, any partial derivative of the expression

.

may be computed by differentiating under the integral sign. For instance,

.

Therefore, by the Cauchy integral formula

,

.

QED

Another clever way is to use the power series expansion. Though now you’re switching integration with infinite summation.