3 3柯西积分公式及其推论.ppt

4 莫勒拉定理 应用解析函数有任意阶导数，可以证明柯西定理的逆定理， 则f(z)在D内解析。 1定理3.16 若函数f(z)在单连通区域D内连续，且对D内的任意周线C，有 证明 在定理条件下,由定理3.7即知 在D内解析,且 在D内解析,且 即f(z)在D内解析。 2 刻划解析函数的第三个等价定理 1定理3.17 函数f(z)在区域G内解析的充要条件是: (1) f(z)在G内连续; (2) 对任一周线C,只要C及其内部全含于G内,就有 证明 必要性 由Cauchy积分定理3.3可导出;? 充分性 由定理3.16 , 例6 证明 又在z平面上, 从而为常数; 例7 证明 在复平面上任取一点z,作圆周 作 业 P141 习题(一) P143 9, 10, 12, P144 习题(二) P145 10; P143 11, 15, P141 习题(一) 本节结束 谢谢！ Complex Function Theory Department of Mathematics Department of Mathematics 第三节 柯西积分公式及其推论 问题的提出 根据复围线积分性质知, 该积分值不随闭曲线 C 的变化而改变, 一、柯西积分公式 1定理3.11 证明 这就是柯西积分公式. 柯西积分公式 2定义3.4 在定理3.11条件下 称为柯西积分. 关于柯西积分公式的说明: (1) 把函数在C内部任一点的值用它在边界上的值表示. (这是解析函数的又一特征) (2) 公式不但提供了计算某些复变函数沿闭路积分的一种方法, 而且给出了解析函数的一个积分表达式. (这是研究解析函数的有力工具) (3) Cauchy积分公式也可写成 例1 解 由柯西积分公式 例2 解 由柯西积分公式 3平均值公式 定理3.12 即f(z) 在圆心处的值等于它在圆周上值的算术平均值. 证明 例3 而且 证明 由平均值公式 从而 因为 矛盾 二 解析函数的无穷可微性 1 定理3.13 在定理3.11条件下,函数f(z)在区域D内有各阶导数,并且有 注上式也可写成 该公式在求积分是常用到 先证明结论关于n=1时成立。 是D内另一点。 证明 只需证明，当h趋近于0时，下式也趋近于0? 现在估计上式右边的积分。设以z为心，以d为半径的圆盘完全在D内，并且在这个圆盘内取z+h，使得0|h|d，那么当 时 设|f(z)|在C上的一个上界是M，并且设C的长度是L，于是我们有 因此当h趋近于0时，要证的积分趋于0。 现在用数学归纳法完成定理的证明。设n=k时，结论成立。取z及z+h同上，那么有 由此证明，当h趋近于0时，上式的右边趋于0，于是定理的结论当n=k+1时成立。 注1 以上讨论表明，函数在一个区域内的解析性是很强的条件，和仅仅在一个点可导是有非常大的差异； 注2 任意阶导数公式是柯西公式的直接推论； 例4 解 例5 解 分几种情况 同理有 根据复周线Cauchy积分定 理和高阶导数公式, 2 解析函数的无穷可微性 定理3.14 设函数f(z)在z平面上区域D内解析,则f(z)在D内有各阶导数,并且它们也在D内解析. 证明 3 刻划解析函数的第二个等价定理 证明 充分性为定理2.5 必要性 条件2的必要性已由定理2.1得出, 由解析函数的无穷可微性, 三 柯西不等式与刘维尔定理 1 柯西不等式 证明 2 刘维尔(Livouile)定理 刘维尔定理 有界整函数必为常数. 设f(z)是有界整函数， 由柯西不等式，有 整函数 -----在整个复平面解析的函数. 证明 令 可见 从而f(z) 恒等于常数。? 注:非常整函数必无界。? 3 代数学基本定理 至少有一个零点. 证明 若P(z)在z平面上无零点, 因P(z)在z平面上解析, 故存在充分大的正数R, 从而在z平面上, 矛盾.