f(-)d l=f)d==d(udx-vdy)+ i(udy+vdx 应用格林公式: ∮pax+ay-∫」 ao a dxdy d(v) au --ldxdy+i ddv=0. 最后一步应用了C-R条件 ■格林公式成立的条件:除单连通之外,还要求Py,Qx连续。对应于复变函数积分,就要求 x,vy四个偏导数 连续,但我们仅已知复变函数函数解析,解析的充要条件是:f()连续和CR条件。解析并不保证四个偏导数连续 (即使a,v可微,也不保证四个偏导数连续,后者只是前者的充分条件。)因此,利用格林公式证明 Cauchy定理是 不严格的。更严格的证明可参见: Ahlfors, Complex Analysis,阿尔福斯《复分析》赵志勇等译Chap.4 (*把工作目录设置成文件所在的目录*) SetDirectory [NotebookDirectory[]] Import["fig02 01 complexanalysis jpg", ImageSize+ 100] 复分析 L.V. Ahlfors:哈佛数学教授。1936年获菲尔茨奖。1953年美国科学院院士。1981年获沃尔夫奖。 书中许多 "clearly, obviously, evidently, it is easy to see, it is not difficult to see, it is plain that, it is readily seen that"f They are not used to blur the picture On the contrary they test the reader,'s understanding, for if he does not agree that the omitted reasoning is clea obvious, and evident, he had better turn back a few pages and make a fresh start? 历史上,该定理最早是在∫()连续(也即四偏导数连续)条件下,应用格林公式证明,而后 pursat在不用此 条件的情况下加以证明,因此,此定理也被称为 Cauchy-Goursa定理 ■前曾经介绍过一个定理,若一个复变函数在某区域解析,则f(),f(-),…也都解析。但这实际上是 Cauchy定理的 推论,不可用于证明 Cauchy定理。 闭合回路积分为0的条件还可放宽为:D内解析 D=D+C内连续(即边界只需连续),仍有(d=0,其中回路可以是边界C 推论:单连通区域D内的解析函数的积分只与起点和终点有关,与路径无关 原函数和定积分公式 定理:若f()在单连通区域D内单值解析,积分与路径无关, f (z) z = 0 证明： I =  f (z) z =  (u x - v y) +   (u y + v x), 应用格林公式 ： P x + Q y =   ∂ Q ∂ x - ∂ P ∂ y x y I =    ∂ (-v) ∂ x - ∂ u ∂ y  x y +     ∂ u ∂ x - ∂ v ∂ y  x y = 0， 最后一步应用了 C - R 条件 ◼ 格林公式成立的条件： 除单连通之外，还要求 Py, Qx 连续。对应于复变函数积分，就要求 ux, uy, vx, vy 四个偏导数 连续，但我们仅已知复变函数函数解析，解析的充要条件是： f (z) 连续和C-R条件。解析并不保证四个偏导数连续 （即使 u, v 可微，也不保证四个偏导数连续，后者只是前者的充分条件。）因此，利用格林公式证明Cauchy定理是 不严格的。更严格的证明可参见：Ahlfors, Complex Analysis, 阿尔福斯 《复分析》 赵志勇等译 Chap. 4。 (* 把工作目录设置成文件所在的目录 *) SetDirectory[NotebookDirectory[]]; Import["fig02.01 complexanalysis.jpg", ImageSize  100] L. V. Ahlfors：哈佛数学教授 。1936 年获菲尔茨奖 。1953 年美国科学院院士 。1981 年获沃尔夫奖 。 书中许多 “clearly, obviously , evidently , it is easy to see, it is not difficult to see, it is plain that, it is readily seen that” 等等。 “They are not used to blur the picture. On the contrary, they test the reader's understanding , for if he does not agree that the omitted reasoning is clear, obvious, and evident, he had better turn back a few pages and make a fresh start ?” ◼ 历史上，该定理最早是在 f ′(z) 连续（也即四偏导数连续）条件下，应用格林公式证明，而后Goursat在不用此 条件的情况下加以证明，因此，此定理也被称为Cauchy-Goursat定理。 ◼ 前曾经介绍过一个定理，若一个复变函数在某区域解析，则 f ′(z), f ′′(z), ... 也都解析。但这实际上是 Cauchy 定理的 推论，不可用于证明Cauchy定理。 ◼ 闭合回路积分为 0 的条件还可放宽为 ： D 内解析， D = D + C 内连续 （即边界只需连续 ），仍有 l f (z) z = 0，其中回路可以是边界 C。 ◼ 推论：单连通区域 D 内的解析函数的积分只与起点和终点有关，与路径无关。  原函数和定积分公式 定理：若 f (z) 在单连通区域 D 内单值解析 ，积分与路径无关 ， 6