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

关于复变函数的“中值定理” 袁媛 （徐州师范大学 数学系 徐州 221116） 摘要 微分中值定理、积分中值定理在数学分析中占有重要地位，但并不能直接推广到复变函数中来.本文则利用构造函数法和复积分计算法，给出和证明了与实变函数中相对应的复柯西中值定理和积分中值定理.同时，给出了关于解析函数性质的新证法，并通过举例说明定理的应用. 关键词 复变函数；罗尔定理；积分中值定理；微分中值定理；柯西中值定理 引言 众所周知，实变函数的微分中值定理（拉格朗日中值定理）、柯西中值定理与积分中值定理是微积分中三个很重要的定理，在数学分析中有着广泛的应用.数学分析中的许多命题及不等式的证明都是藉借这三个定理.但有反例表明这三个定理在复变函数中并不成立. 比如罗尔定理，它的内容是：如果函数在闭区间上连续，在开区间内可导，且，则必存在，使得.这个定理在复变函数中并不成立，例如，取，在整个复平面上解析，且，但，无论取什么值都不会为零，也就是说罗尔定理的结论对函数不成立.故微分中值定理不能直接推广到复变函数中来. 又如实函数的积分中值定理为：如果是区间上的连续函数，在上不变号，且可积，则 ， . 特别地若，则有 ， . 由此定理很容易推得：若连续函数在内任意一点都不为零，则.此结论在复变函数中也不成立，取，则在上任意一点都不为零，且连续，但有 因此积分中值定理的推论在复变函数的积分中不成立. 复变函数对中值定理的研究具有重要的意义，很多人都在做这方面的研究，并得到不少重要的结论，文[1]、文[2]就给出了罗尔定理、微分中值定理的结论可推广到解析函数的导数的实部和虚部.那么柯西中值定理、积分中值定理是否仍可象前面一样呢？ 定义与引理 定义 设是复平面上的一个点集，，是上的任意两个不同的点，如果连接，的线段包含在中，则称为凸集. 引理 设是定义在凸开集上的解析函数，，，，，则存在，使得和. 引理 设是定义在凸开集上的解析函数，，，，则存在，使得 ， . 或者 . 主要定理 定理1 设，是定义在凸开集上的解析函数，，，，，则存在，使得 ， . 证明 令 ， 显然，因此由引理1，存在，，使得和，但有 ， 因此 ， 即 ， 和 ， 即 . 定理2 设是定义在区域上的解析函数，，对，则是一个常数. 证明 设复常数，因为是开集，所以存在以为中心的某个开圆，，是一个凸开集.设，，由引理2，存在，，使得 ， 和 . 故 ， 即 . 因此，在上，，由解析函数的唯一性定理，在区域上，，即是一常数. 推论 设，是定义在区域上的解析函数，且，对，则 （为某一常数）. 证明 作辅助函数，因是定义在区域上的解析函数，故也为区域上的解析函数，且 ， 故由定理2可知 （为常数）， 因此 ， 即 . 定理3 设函数是凸区域内的解析函数，，是内的任意两点，则在与的连线段上至少存在两点，使得 . 证明 因为是区域内的解析函数，为凸区域，所以与的连线段，的方程 ， . 由复变函数积分计算法知 . 因为为解析函数，故必为的连续函数，从而及均为的连续函数，由实函数中的积分中值定理，必存在，使 ， . 令 ， ， 则 . 4 应用举例 例 函数都在复平面上解析，且，当 为何值时成立 ， . 解 取，下面验证上式成立.  故有 . 同理 故有 . 参考文献 [1] 周翠莲、闫保英.变形的微积分中值定理[J].山东轻工业学院学报,1998,12（3）:74-76. [2] 蒋本荣.罗尔中值定理在解析函数中的推广[J].上海工程技术大学学报,1994,8（3）:64-66. [3] 曾韧英.关于复变函数的中值定理[J].重庆师范学院学报（自然科学版）,1998,6:46-47. [4] 华东师范大学数学系.数学分析[M].北京：高等教育出版社，1991.154-295. The Mean-value Theorems for the Functions of the Complex Variable Yuan Yuan (Department of Mathematics, Xuzhou Normal University, Xuzhou 221116) Abstract The mean-value theorem for derivative and mean-value theorem for integral take up an important posit