# Use Stokes Theorem to Prove Cauchy Integral Formula

In my undergrad complex analysis, our professor used a quick way to derive the Cauchy integral formula (without Goursat's theorem and all that) with the following setup: Let $$U$$ be an open set of $$\mathbb{C}$$. Consider a complex function $$f:U\to\mathbb{C}$$ as a zero form on $$U$$, i.e., $$f\in \Lambda^0(U).$$ Then analyticity of $$f$$ is equivalent to Cauchy-Riemann equation $$\partial_{\bar{z}}f=0$$, which is equivalent to the form $$f(z)dz\in\Lambda^1(U)$$ being closed: $$d(fdz)=df\wedge dz=\partial_{\bar{z}}fd\overline{z}\wedge dz+\partial_{z}fdz\wedge dz=0.$$ Then one can prove the Cauchy integral formula as follows:

Suppose $$\Omega\subset U$$ is a relatively compact set with piecewise smooth boundary and $$U$$ is an open subset of complex plane, and $$f:U\to\mathbb{C}$$ is holomorphic. Then for any $$a\in \Omega$$, we have $$f(a)=\frac{1}{2\pi I}\int_{\partial\Omega}\frac{f(z)}{z-a}dz.$$

Proof: Let $$\Omega_\epsilon=\Omega-D_\epsilon(a).$$ Then we consider the one form $$f(z)/(z-a)\in\Lambda^1(\Omega_\epsilon).$$ By Stoke's theorem ($$\int_{\Sigma}d\omega=\int_{\partial \Sigma}\omega$$) we have $$\int_{\partial\Omega_\epsilon}\frac{f(z)}{z-a}dz=\int_{\Omega_\epsilon}d\left(\frac{f(z)}{z-a}dz\right)=0$$ since $$f/(z-a)$$ is holomorphic on $$\Omega_\epsilon$$. Now $$\int_{\partial\Omega_\epsilon}\frac{f(z)}{z-a}dz=\int_{\partial\Omega}\frac{f(z)}{z-a}dz-\int_{\partial D_\epsilon(a)}\frac{f(z)}{z-a}dz=0.$$ Taking $$\epsilon\to 0$$ the second term goes to $$2\pi if(a).$$ This concludes the proof.

However, my graduate complex analysis professor told us that one cannot apply Stoke's theorem directly until one verifies that $$f'$$ is integrable. I never learned Stoke's theorem properly so I wonder:

• What do we need to know prior to the proof above about $$f,f'$$ in order for the proof to be valid? (differentiability of $$f'$$ or something like that, or even smoothness of $$f$$?) What should we have proved before this point to make the above proof work?

• Is there a way of using differential forms and Stokes theorem to prove the Cauchy integral formula, without going into the traditional Goursat's theorem for triangles and polygons and all that? Are there any recommended references on this topic?

The usual proof of Stokes's theorem requires the differential form to be at least of class $$C^1$$ (i.e., differentiable everywhere with continuous first partial derivatives). There are versions that work with weaker hypotheses, but just assuming the existence of derivatives is definitely not enough.
Your proof of Cauchy's formula works fine as long as you assume that $$f$$ is of class $$C^1$$ and satisfies the Cauchy-Riemann equations. But the Cauchy-Goursat argument is needed if you only assume that $$f'(z)$$ exists for all $$z\in\Omega$$, because then Stokes’s theorem doesn't apply.
• Thank you for this answer. It has been more 30 years that I sat for the last time in a complex analysis class. May I ask one question ? When $f$ is holomorphic it is $C^\infty$, and on $\Omega_\epsilon$ which exludes the singularity, $f/(z-a)$ is also $C^\infty$. Do we then have to assume anything more about $f$ ? Oct 13, 2022 at 6:30
• It is true that holomorphic functions are $C^\infty$. However, this is usually proven using the Cauchy Integral Formula, so you run into circular reasoning here. Oct 13, 2022 at 11:31
{"ft_lang_label":"__label__en","ft_lang_prob":0.82117933,"math_prob":0.9998779,"size":2212,"snap":"2023-40-2023-50","text_gpt3_token_len":659,"char_repetition_ratio":0.1272645,"word_repetition_ratio":0.0,"special_character_ratio":0.2811935,"punctuation_ratio":0.08089887,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":1.0000057,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2023-12-05T10:23:59Z\",\"WARC-Record-ID\":\"<urn:uuid:fcc26c74-dd6f-46ab-9717-58f8ca6f11f8>\",\"Content-Length\":\"147013\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:c10f4be3-8f27-4109-ab34-5ee8f02257bb>\",\"WARC-Concurrent-To\":\"<urn:uuid:e986e4e1-068b-4774-a29d-0b2db461efac>\",\"WARC-IP-Address\":\"172.64.144.30\",\"WARC-Target-URI\":\"https://math.stackexchange.com/questions/4550804/use-stokes-theorem-to-prove-cauchy-integral-formula\",\"WARC-Payload-Digest\":\"sha1:BKTCBJEWWNSXAADMO4QCD3NGCJ3YUO3I\",\"WARC-Block-Digest\":\"sha1:UEQZOFFUQ4KLD2REAKMTEWILR62YI3QY\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2023/CC-MAIN-2023-50/CC-MAIN-2023-50_segments_1700679100550.40_warc_CC-MAIN-20231205073336-20231205103336-00691.warc.gz\"}"}