您好,欢迎访问三七文档
当前位置:首页 > 幼儿/小学教育 > 小学教育 > 关于复变函数的“中值定理”
1关于复变函数的“中值定理”袁媛01211114(徐州师范大学数学系徐州221116)摘要微分中值定理、积分中值定理在数学分析中占有重要地位,但并不能直接推广到复变函数中来.本文则利用构造函数法和复积分计算法,给出和证明了与实变函数中相对应的复柯西中值定理和积分中值定理.同时,给出了关于解析函数性质的新证法,并通过举例说明定理的应用.关键词复变函数;罗尔定理;积分中值定理;微分中值定理;柯西中值定理1引言众所周知,实变函数的微分中值定理(拉格朗日中值定理)、柯西中值定理与积分中值定理是微积分中三个很重要的定理,在数学分析中有着广泛的应用.数学分析中的许多命题及不等式的证明都是藉借这三个定理.但有反例表明这三个定理在复变函数中并不成立.比如罗尔定理,它的内容是:如果函数fx在闭区间,ab上连续,在开区间,ab内可导,且fafb,则必存在,ab,使得0f.这个定理在复变函数中并不成立,例如,取izfze,fz在整个复平面上解析,且02ff,但izfzie,无论z取什么值都不会为零,也就是说罗尔定理的结论对函数izfze不成立.故微分中值定理不能直接推广到复变函数中来.又如实函数的积分中值定理为:如果fx是区间,ab上的连续函数,gx在,ab上不变号,且可积,则bbaafxgxdxfgxdx,ab.特别地若1gx,则有bafxdxfba,ab.由此定理很容易推得:若连续函数fx在,ab内任意一点都不为零,则0bafxdx.此结论在复变函数中也不成立,取izfze,则fz在0,2上任意一点都不为零,且连续,但有220010izizedzei因此积分中值定理的推论在复变函数的积分中不成立.复变函数对中值定理的研究具有重要的意义,很多人都在做这方面的研究,并得到不少重要的结论,文[1]、文[2]就给出了罗尔定理、微分中值定理的结论可推广到解析函数fz的导数2fz的实部Refz和虚部Imfz.那么柯西中值定理、积分中值定理是否仍可象前面一样呢?2定义与引理定义设E是复平面上的一个点集,a,b是E上的任意两个不同的点,如果连接a,b的线段包含在E中,则E称为凸集.引理21设fz是定义在凸开集D上的解析函数,1z,2zD,12zz,12fzfz,则存在,12,zz使得Re0f和Im0f.引理32设fz是定义在凸开集D上的解析函数,1z,2zD,12zz,则存在,12,zz使得2121ReRefzfzfzz,2121ImImfzfzfzz.或者2121ReImfzfzfifzz.3主要定理定理1设fz,gz是定义在凸开集D上的解析函数,1z,2zD,12zz,12gzgz,则存在,12,zz使得2121ReRefzfzfggzgz,2121ImImfzfzfggzgz.证明令2121fzfzFzfzgzgzgz,显然12FzFz,因此由引理1,存在,12,zz,使得Re0F和3Im0F,但有2121fzfzFzfzgzgzgz,因此0ReF2121Refzfzfggzgz2121ReRefzfzfggzgz,即2121ReRefzfzfggzgz,和0ImF2121Imfzfzfggzgz2121ImImfzfzfggzgz,即2121ImImfzfzfggzgz.定理2设fz是定义在区域D上的解析函数,0fz,对zD,则fz是一个常数.证明设复常数zD,因为D是开集,所以存在以z为中心的某个开圆Nz,NzD,Nz是一个凸开集.设zNz,zz,由引理2,存在1z,2,zzz,使得1ReReRe00fzfzfzzz,和42ImImIm00fzfzfzzz.故0fzfzzz,即fzfz.因此,在Nz上,fzfz,由解析函数的唯一性定理,在区域D上,fzfz,即fz是一常数.推论设fz,gz是定义在区域D上的解析函数,且fzgz,对zD,则fzgzz(z为某一常数).证明作辅助函数Fzfzgz,因,fzgz是定义在区域D上的解析函数,故Fz也为区域D上的解析函数,且0Fzfzgz,故由定理2可知Fzz(z为常数),因此fzgzz,即fzgzz.定理3设函数fz是凸区域D内的解析函数,1z,2z是D内的任意两点,则在1z与2z的连线段12zz上至少存在两点,使得2121ReImzzfzdzfifzz.证明因为fz是区域D内的解析函数,D为凸区域,所以1z与2z的连线段12zzD,12zz的方程121zzzzt,01t.5由复变函数积分计算法知211121210zzfzdzfzzztzzdt1211211210ReImzzfzzztifzzztdt11211212112100ReImzzfzzztdtzzifzzztdt.因为fz为解析函数,故121fzzzt必为t的连续函数,从而121Refzzzt及121Imfzzzt均为t的连续函数,由实函数中的积分中值定理,必存在,0,1使11211210ReRefzzztdtfzzz,11211210ImImfzzztdtfzzz.令12112zzzzz,12112zzzzz,则2121ReImzzfzdzfifzz.4应用举例例函数2,izfzegzz都在复平面C上解析,12120,2,,,zzzzC且12zz,当,0,2为何值时成立2121ReRefzfzfggzgz,2121ImImfzfzfggzgz.解取0,2,0,22,下面验证上式成立.ReReReRecossinRe0iffieiii212120ReRe20fzfzffgggzgzgg6202Re24Re00iiee故有2121ReRefzfzfggzgz.同理2ImImImImcossinIm10222iffieii212120ImIm202fzfzffgggzgzgg202Im4Im00iiee故有2121ImImfzfzfggzgz.参考文献[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.7TheMean-valueTheoremsfortheFunctionsoftheComplexVariableYuanYuan01211114(DepartmentofMathematics,XuzhouNormalUniversity,Xuzhou221116)AbstractThemean-valuetheoremforderivativeandmean-valuetheoremforintegraltakeupanimportantpositioninmathematicalanalysis,buttheycan’tbeusedinfunctionofcomplexdirectly.Bythedefinitionofauxiliaryfunctionandintegrationcalculationmethod,thepaperpresentsandprovesthemean-valuetheoremforintegralandCauchy’smean-valuetheoreminfunctionofcomplex.Meanwhile,anewmethodaboutthenatureofanalyticfunctionofacomplexvariableisobtained.Andanexampleisgiventoillustratetheapplicationsofthetheory.Keywordsfunctionofcomplexvariable;Rolletheorem;mean-valuetheoremforintegral;mean-valuetheoremforderivative;Cauchy’smeanvaluetheorem
本文标题:关于复变函数的“中值定理”
链接地址:https://www.777doc.com/doc-7861639 .html