微積分(八十七)——復(fù)積分(二)
設(shè)光滑曲線
函數(shù)在其上連續(xù)。由上節(jié)內(nèi)容,我們可以把復(fù)積分拆分為四個(gè)和式的加減,而取極限后則成為四個(gè)R積分。如果我們稍微整理合并這四個(gè)R積分則可以得到:
雖然包含虛數(shù),但上式是實(shí)積分。覺得奇怪的讀者可以閱讀本系列第六十二節(jié)。
我們用上面的公式試進(jìn)行一個(gè)簡單的計(jì)算練習(xí)。

(一個(gè)重要的積分)? ?曲線為以
為圓心的任一圓周,函數(shù)
,證明:
證明? ?設(shè),
于是
理論上我們可以形式地將式中地三角形式化為指數(shù)形式,但考慮到許多讀者對(duì)此應(yīng)該并不熟知,故我們?nèi)圆扇∪切问?。?dāng)時(shí),上式結(jié)果顯然為
,而當(dāng)
時(shí),上式
稍微動(dòng)用高中數(shù)學(xué)知識(shí),由復(fù)數(shù)相乘的幾何意義知上式
這就證完了。

上面的結(jié)論請(qǐng)讀者牢記。
下面鄭重提出兩個(gè)性質(zhì):

在某一區(qū)域上有一連續(xù)復(fù)函數(shù),
在區(qū)域內(nèi)任取兩點(diǎn),在區(qū)域內(nèi)任取曲線將兩點(diǎn)連接,在兩點(diǎn)中取定起點(diǎn)和終點(diǎn),函數(shù)沿該曲線的積分均為一個(gè)定值。即該區(qū)域內(nèi)函數(shù)的積分值在起點(diǎn)和終點(diǎn)確定的情況下與積分路徑無關(guān)。
任取周線全包含于區(qū)域內(nèi),函數(shù)在該周線上的積分均為零。

這兩條性質(zhì)是完全等價(jià)的,證明非常簡單,留給讀者自證。(提示:利用前節(jié)給出的性質(zhì))
柯西在1825年提出下列定理:(劃重點(diǎn))

(柯西積分定理)? ?函數(shù)在一單連通區(qū)域解析,
為全含于區(qū)域內(nèi)任一周線,則

這個(gè)定理能讓初學(xué)者第一次感受到復(fù)分析的簡潔美。
1851年黎曼曾提出過在附加條件下利用多元函數(shù)微積分中的格林公式證明的方法。直到1900年,法國數(shù)學(xué)家古爾薩(或古莎,Goursat)終于完成了一般性的證明。
柯西積分定理的Goursat證明較困難且篇幅較長,我將其收錄于我的文集《雜談》的一篇文章中,因此本系列將不再給出詳細(xì)證明,感興趣的讀者請(qǐng)?zhí)D(zhuǎn)閱讀。
