关于复变函数的“中值定理”.docVIP

关于复变函数的“中值定理” 袁媛 （徐州师范大学 数学系 徐州 221116） 摘要 微分中值定理、积分中值定理在数学分析中占有重要地位，但并不能直接推广到复变函数中来.本文则利用构造函数法和复积分计算法，给出和证明了与实变函数中相对应的复柯西中值定理和积分中值定理.同时，给出了关于解析函数性质的新证法，并通过举例说明定理的应用. 关键词 复变函数；罗尔定理；积分中值定理；微分中值定理；柯西中值定理 引言 众所周知，实变函数的微分中值定理（拉格朗日中值定理）、柯西中值定理与积分中值定理是微积分中三个很重要的定理，在数学分析中有着广泛的应用.数学分析中的许多命题及不等式的证明都是藉借这三个定理.但有反例表明这三个定理在复变函数中并不成立. 比如罗尔定理，它的内容是：如果函数 SKIPIF 1 0 在闭区间 SKIPIF 1 0 上连续，在开区间 SKIPIF 1 0 内可导，且 SKIPIF 1 0 ，则必存在 SKIPIF 1 0 SKIPIF 1 0 ，使得 SKIPIF 1 0 .这个定理在复变函数中并不成立，例如，取 SKIPIF 1 0 ， SKIPIF 1 0 在整个复平面上解析，且 SKIPIF 1 0 ，但 SKIPIF 1 0 ，无论 SKIPIF 1 0 取什么值都不会为零，也就是说罗尔定理的结论对函数 SKIPIF 1 0 不成立.故微分中值定理不能直接推广到复变函数中来. 又如实函数的积分中值定理为：如果 SKIPIF 1 0 是区间 SKIPIF 1 0 上的连续函数， SKIPIF 1 0 在 SKIPIF 1 0 上不变号，且可积，则 SKIPIF 1 0 ， SKIPIF 1 0 . 特别地若 SKIPIF 1 0 ，则有 SKIPIF 1 0 ， SKIPIF 1 0 . 由此定理很容易推得：若连续函数 SKIPIF 1 0 在 SKIPIF 1 0 内任意一点都不为零，则 SKIPIF 1 0 .此结论在复变函数中也不成立，取 SKIPIF 1 0 ，则 SKIPIF 1 0 在 SKIPIF 1 0 上任意一点都不为零，且连续，但有 SKIPIF 1 0 因此积分中值定理的推论在复变函数的积分中不成立. 复变函数对中值定理的研究具有重要的意义，很多人都在做这方面的研究，并得到不少重要的结论，文[1]、文[2]就给出了罗尔定理、微分中值定理的结论可推广到解析函数 SKIPIF 1 0 的导数 SKIPIF 1 0 的实部 SKIPIF 1 0 和虚部 SKIPIF 1 0 .那么柯西中值定理、积分中值定理是否仍可象前面一样呢？ 定义与引理 定义 设 SKIPIF 1 0 是复平面上的一个点集， SKIPIF 1 0 ， SKIPIF 1 0 是 SKIPIF 1 0 上的任意两个不同的点，如果连接 SKIPIF 1 0 ， SKIPIF 1 0 的线段包含在 SKIPIF 1 0 中，则 SKIPIF 1 0 称为凸集. 引理 SKIPIF 1 0 设 SKIPIF 1 0 是定义在凸开集 SKIPIF 1 0 上的解析函数， SKIPIF 1 0 ， SKIPIF 1 0 ， SKIPIF 1 0 ， SKIPIF 1 0 ，则存在 SKIPIF 1 0 ， SKIPIF 1 0 使得 SKIPIF 1 0 和 SKIPIF 1 0 . 引理 SKIPIF 1 0 设 SKIP