傅里叶级数和应用论文

傅里叶级数及其应用专业：数学与应用数学班级：姓名：目录引言 (3)1 傅立叶级数的计算 (5)1.1 傅立叶级数的几何意义 (5)1.2 傅里叶级数的敛散性问题 (10)1.3 傅里叶级数的展开 (11)1.4 关于傅里叶级数展开的个别简便算法 (16)1.5 利用二元函数微分中值定理研究函数性质 (19)2 傅里叶级数的相关定理及其应用 (21)2.1 n元函数中值定理及其几何意义 (21)2.2 利用n元函数微分中值定理研究函数的性质 (28)3 微分中值定理在复数域上的推广 (32)3.1 复数域上的中值定理 (32)3.2 利用复数域内中值定理研究函数性质 (36)结论 (39)致谢 (40)参考文献 (41)为了更好地认识和应用微分中值定理，使微分中值定理能够最大的发挥其重要作用，在深刻理解和掌握教材内微分中值定理的基础上，将微分中值定理在n元函数以及复数域内推广及应用加以探讨．首先根据一元函数微分中值定理的内容，给出了罗尔定理、拉格朗日定理、柯西中值定理、泰勒中值定理公式的统一形式．而后又仿照一元函数微分中值定理的形式对教材中二元函数微分中值定理进行补充，给出了二元函数罗尔定理、柯西中值定理和二元函数泰勒中值定理的表述，并且构造“辅助函数”给出了证明过程，然后讨论了二元函数罗尔定理与拉格朗日定理的几何意义．接着通过对比一元函数与二元函数微分中值定理，给出了n元函数罗尔定理、拉格朗日定理、柯西中值定理和泰勒中值定理的表述形式，而后同样借助构造的“辅助函数”把n元函数转化为一元函数，进而给出了四个定理的证明，并通过几个典型例题验证了n元函数微分中值定理的可用性．最后从二元函数微分中值定理着手，给出了复数域上的罗尔定理、拉格朗日定理、柯西中值定理的表述形式，同时通过几个例题验证了复数域上微分中值定理的可用性．关键词：n元函数；微分中值定理；几何意义；复数域In order to understand and make better use of the differential mean value theorem which can play a largest role in application, we explore the generalization and the application of the differential mean value theorem in n-variable functions and complex field based on the comprehension and mastery of the differential mean value theorem in textbook. At first, according to the differential mean value theorem of one-variable function, we give the uniform of Rolle theorem, Lagrange theorem, Cauchy mean value theorem, Taylor mean value theorem. Then we complement the differential mean value theorem of two-variable function in textbook following one- variable function, give the expressions of Rolle theorem, Cauchy mean value theorem, Taylor mean value theorem of two-variable function, constitute auxiliary function and give the proof procedure, discuss the geometric significance of the Rolle theorem and Lagrange theorem of two-variable function. Later, we give the expressions of the Rolle theorem, Lagrange theorem, Cauchy mean value theorem, Taylor mean value theorem of n- variable function by comparing the differential mean value theorem of one-variable function and two-variable function. Similarly, by constituting auxiliary function, we change n-variable function into one-variable function and give the proof of four theorems. Check the availability of the differential mean value theorem by some typical examples. At last, proceed from the differential mean value theorem of two-variable function, we give the expressions of Rolle theorem, Lagrange theorem, Cauchy mean value theoremin complex field and check the availability of the differential mean value theorem by some typical examples at the same time.Keywords:n-variable function; differential mean value theorem; geometric significance; complex field引言微分中值定理是微分学的核心定理，它是联系函数与导数的桥梁，微分中值定理把函数在某个区间上的函数值与其导数值联系起来，应用局部状态的导数研究函数在区间上的“整体”性态，它是研究函数性态的重要工具．在大学四年的学习中，已经掌握了一些有关一元微分中值定理的内容，我们知道一元函数的罗尔定理，拉格朗日定理，柯西中值定理，泰勒中值定理分别建立了函数与一阶导数的关系和函数与高阶导数的关系．在实际应用中，很多情况要突破一元微分学和平面领域这些局限，为了更好的利用微分学中值定理这个重要工具，需要把它的应用范围加以扩展，使之能够在n元微分学即1n 维空间以及复数域上得以使用．本文将分三部分对微分中值定理进行推广，第一部分中，首先从数学分析教材入手，梳理教材中学过的有关一元函数微分中值定理的相关内容，进而研究一元函数罗尔定理，拉格朗日定理，柯西中值定理，泰勒中值定理之间的关系，试图找出统一的中值公式，通过这个公式全面认识这四个定理．其次，对照一元函数微分中值定理的分析研究，探讨二元函数罗尔定理，拉格朗日定理，柯西中值定理，二元函数泰勒中值定理的形式及成立的条件，然后探讨定理之间的关系，找到统一的中值公式，透过这个公式再认识微分中值定理，接着仿照一元函数微分中值定理给出证明及其几何意义．第二部分中，对比一元函数与二元函数微分中值定理，给出n元函数微分中值定理的成立条件和中值公式，同样通过构造“辅助函数”证明定理成立，并自由想象多元函数微分中值定理的几何意义．第三部分中，从二元函数微分中值定理入手，仿照二元函数中值定理的形式，探讨微分中值定理在复数域上的表述．接着再通过构造“辅助函数”给出定理证明．1傅立叶级数自然界中周期现象的数学描述就是周期函数．最简单的周期现象，如单摆的摆动等，都可以用正玄函数siny a wt=或余弦函数cos=表示．但是，y a wt复杂的周期现象，如热传导、电磁波以及机械振动等，就不能仅用一个正弦函数和余弦函数表示，需要用很多个甚至无限多个正弦函数和余弦函数的叠加表示．因此，傅里叶级数就应运而生．傅里叶级数就是将周期函数展成无限多个正弦函数与余弦函数之和的一种解决问题的简便方法．其主要是研究级数的敛散性问题，从而利用傅里叶级数解决其他生活中的很多相关问题．傅里叶级数应用到我们生活中的各个角落，主要是在数字信号处理等方面有重要应用，为我们的生活无私的奉献着．1.1 一元函数中值定理及其几何意义从“几何”的角度来看待傅里叶级数，当我们把一个周期函数表达成傅里叶级数时，其实我们只是在做一个动作，那就是把函数“投影”到一系列由三角函数构成的坐标轴上．考虑一个简单的二维平面的例子. 如下图所示，给定两个向量u和v，从u 的末端出发作到v所在直线的垂线，得到一个跟v同向的新向量p．这个过程就称作u到v所在直线的投影，得到的新向量p就是u沿v方向的分量。

图中的系数c是p跟v的比例，也就是u在v轴上的“坐标”．可以用尺规作图来完成投影这个动作，问题是：如果给定的向量u和v都是代数形式的，怎么用代数的方法求c？图片1：向量u 到v 所在直线的投影知道u cv -这个向量是“正交”于v 的，用数学语言表达就是()0u cv Tv -=． 马上就可以得到 c 的表达式如下：T T u v c v v= (1) 如下图所示，现在引进一组正交基 12{,}v v ，那么u 可以展开成以下形式 1122u c v c v =+ (2)图片2：向量u 在正交基12{,}v v 上的展开从图上来看，(2)式其实说的是可以把u “投影”到 1v 和2v 这两个坐标轴上，1c 和2c 就是u 的新“坐标”. 问题是：怎么求1c 和2c 呢？利用之前关于投影的讨论，可以直接得出答案，直接利用(1)式就可以得到如下的表达式：111T T u v c v v = ； 222T T u v c v v = ；如果想把一个向量在一组正交基上展开，也就是找到这个向量沿每条新“坐标轴”的“坐标”，那么我们只要把它分别投影到每条坐标轴上就好了，也就是把(1)式中的v 换成新坐标轴就好了. 这些东西跟傅里叶级数有什么关系？给定一个周期是21的周期函数() f x ，它的傅里叶级数为：()01cos sin n n n n x n x f x a a b l l ππ∞=⎛⎫=++ ⎪⎝⎭∑ ()4其中系数表达式如下：()1102f x dx a l-=⎰；()11cos,1n n xf x dx l a n l π-=≥⎰ ()11sin,1n n x f x dx l b n lπ-=≥⎰从几何角度来看，()f x 可以用下面这组由无限多个三角函数（包括常数）组成的“正交基”来展开，22{1,cos,sin,cos,sin ,......}xxx xl ll lππππ 从几何投影的观点来看待傅里叶级数，理解变得更加容易，因为容易理解投影的概念；同事，傅里叶级数所有的公式都可以轻松的记住，想忘记都难了. 还可以尝试着用不同的角度去看待同一个问题，这样做会发现更多的简便方法和问题.1.2 傅里叶级数的敛散性问题定义１ 若函数()f x 在区间[],a b 除有限个第一类剪短点外皆连续，则称函数()f x 在[],a b 逐段连续． 若函数()f x 与它的导函数()'f x 都逐段连续， 则称函数()f x 在[],a b 逐段光滑．显然，逐段光滑的函数是可积的．1.2.1 相关定理定理１ 若()f x 是n 元函数f 在凸区域R 上以2π为周期的在[],ππ-逐段光滑的函数，则函数()f x 的傅里叶级数在R 收敛，其和函数式()()1002f x f x ++-⎡⎤⎣⎦，即[],x ππ∀∈-，有()()1002f x f x ++-⎡⎤⎣⎦=()01cos sin 2n n n a a nx b nx ∞=++∑．，使得()10120201,,,0inx n n i i f xx x x x x x θθθ='+∆+∆+∆∆=∑L ．特别地，当1=n 时，()10120201,,,0inx n n i i f x x x x x x x θθθ='+∆+∆+∆∆=∑L 变为()()()0000f x x x x x θ'=+--．因为0x x ≠，所以，()()()000,0.1f x x x θθ'+-=∈．即()0f c '=，()0,c x x ∈．这就是一元函数的罗尔定理的公式．n 元函数罗尔定理的几何意义：在1+n 维空间里，闭区域D 上有连续超曲面()10200,,,n y f x x x =L ，超曲面上每一点都存在超切平面，且在超曲面的底面与121n x x x -L 面平行，则超曲面上至少有一点()()1212,,,,,,,n n C f ξξξξξξL L ，使得过该点的超切平面平行于121n x x x -L 面．定理2（n 元函数拉格朗日定理） 设n 元函数f 在凸区域n R D ⊂上连续，在D 的所有内点都可微，对D 内任意两点，()11012020,,,n n P x x x x x x +∆+∆+∆L ，()210200,,,n P x x x D ∈L ，()1,0∈∃θ，使得()()101202010200,,,,,,n n n f x x x x x x f x x x +∆+∆+∆-L L()10120201,,,i nx n n i i f x x x x x x x θθθ='=+∆+∆+∆∆∑L ． (2-1)证明 令()()1012020,n n t f x t x x t x x t x ϕ=+∆+∆+∆L ，()01t ≤≤．它是定义在[]1,0上的一元函数，由定理中的条件知()t φ在[]1,0上连续，在()1,0内可微，于是根据一元函数微分中值定理，()1,0∈∃θ，使得()()()10ϕϕϕθ'-=．由复合函数的求导法则()()10120201,,,ix n n f x x x x x x x ϕθθθθ''=+∆+∆+∆∆++L L()1012020,,,nx n n n f x x x x x x x θθθ'+∆+∆+∆∆L ．()10120201,,,inx n n i i f x x x x x x x θθθ='=+∆+∆+∆∆∑L ，()0,1θ∈．而()()01φφ-=()()101202010200,,,,,,n n n f x x x x x x f x x x +∆+∆+∆-L L ．所以，()()101202010200,,,,,,n n n f x x x x x x f x x x +∆+∆+∆-L L()10120201,,,i nx n n i i f x x x x x x x θθθ='=+∆+∆+∆∆∑L ．特别地，当1=n ，则由(2-1)式有()()()()()0000f x f x f x x x x x θ'-=+--，()01θ<<．这就是一元函数的拉格朗日中值公式．n 元函数拉格朗日定理的几何意义：在1+n 维空间里，闭区域D 上有连续超曲面()10200,,,n y f x x x =L ，超曲面上每一点都存在超切平面，超曲面被超平面α所切得面β，则超曲面上至少有一点()()1212,,,,,n n C f ξξξξξξL L ，使得过该点的超切曲面平行于面β．定理3（n 元函数柯西中值定理） 设n 元函数f 和g 在凸开域n R D ⊂上连续，在D 内关于各个变元具有连续的偏导数，对D 内任意两点),,,(020101n x x x P Λ，21012020(,,,)n n P x x x x x x D +∆+∆+∆∈L ，∑=≠∆∆+∆+'ni i n n x x x x x x g i 101100),,(θθΛ，则有10101001010100(,,)(,,)(,,)(,,)n n n n n n f x x x x f x x g x x x x g x x +∆+∆-+∆+∆-L L L L1010110101(,,)(,,)iinx n n i i nx n n ii f xx x x x g xx x x x θθθθ=='+∆+∆∆='+∆+∆∆∑∑L L ，(01)θ<<．证明 首先证明0),,(),,(0100110≠-∆+∆+n n n x x g x x x x g ΛΛ，用反证法．假设0),,(),,(0100110=-∆+∆+n n n x x g x x x x g ΛΛ．即),,(),,(0100110n n n x x g x x x x g ΛΛ=∆+∆+．根据n 元函数的罗尔定理，)1,0(∈∃θ，使得0),,(10110=∆∆+∆+'∑=ni i n n x x x x x xg iθθΛ，与已知条件∑=≠∆∆+∆+'ni i n n x x x x x x g i101100),,(θθΛ矛盾．其次作辅助函数--∆+∆+=ψ),,(),,()(0100110n n n x x f x t x x t x f t ΛΛ)],,(),,([),,(),,(),,(),,(010011001001100100110n n n n n n n n n x x g x t x x t x g x x g x x x x g x x f x x x x f ΛΛΛΛΛΛ-∆+∆+-∆+∆+-∆+∆+，其中10≤≤t ．由定理中的条件知)(t ψ在]1,0[上连续，在)1,0(内可微，且(1)0ψ=，(0)0ψ=，根据一元函数的罗尔定理，存在)10(<<θθ使得0)(=ψ'θ．由复合函数的求导法则-∆∆+∆+'=ψ'∑=ni i n n x x x x x x f i 10110),,()(θθθΛ1010100101011010100(,,)(,,)(,,)(,,)(,,)i nn n n x n n i i n n n f x x x x f x x g x x x x x g x x x x g x x θθ=+∆+∆-'+∆+∆∆+∆+∆-∑L L L L L ． 又0)(=ψ'θ．所以，),,(),,(),,(),,(01001100100110n n n n n n x x g x x x x g x x f x x x x f ΛΛΛΛ-∆+∆+-∆+∆+∑∑==∆∆+∆+'∆∆+∆+'=ni in n x ni i n n x x x x x xg x x x x xf ii1011010110),,(),,(θθθθΛΛ，(01)θ<<．函数在一点的导数表示的是曲线在这点的切线，一元函数微分中值定理表示的是过一点的切线与割线的位置关系．那么当函数变为n 元函数时，中值定理又对应着怎样的几何意义呢？通过对一元函数泰勒中值定理与二元函数泰勒中值定理的探讨，不难有这样的问题：在n 元函数与高阶导数有怎样的关系，泰勒中值定理又会变成怎样的形式呢？定理4（n 元函数的泰勒中值定理） 设函数12(,,,)n u f x x x =L 在点010200(,,,)n P x x x L 的某一邻域()0U P 内连续，且具有一阶及二阶连续偏导数，10120200(,,,)()n n x x x x x x U P +∆+∆+∆∈L ，则(0,1)θ∃∈，使得),,,(0220110n n x x x x x x f ∆+∆+∆+Λ102001020011(,,,)(,,,)nn n i i if x x x f x x x x R x =∂=+∆+∂∑L L ，其中∑∑==∆∆∂∂∆+∆+∆+∂=n i n i j j i ji n n x x x x x x x x x x f R 1022011021),,,(!21θθθΛ．证明 考虑函数),,,()(0220110n n x t x x t x x t x f t ∆+∆+∆+=Λφ，10≤≤t ．则),,,()0(02010n x x x f Λ=φ，),,,()1(0220110n n x x x x x x f ∆+∆+∆+=Λφ．由于函数),,,(21n x x x f u Λ=在点),,,(020100n x x x P Λ的某一邻域)(0P U 内连续，并且具有一阶及二阶连续偏导数，从而复合函数),,,()(0220110n n x t x x t x x t x f t ∆+∆+∆+=Λφ在0=t 的邻域内对t 有连续的一阶及二阶导数．由一元函数的泰勒公式可以得到2)(!21)0()0()(t t t t θφφφφ''+'+=，10<<θ． (2-2) 因为()10120201,,,()nn n i i i f x t x x t x x t x t x x ϕ=∂+∆+∆+∆'=∆∂∑L ，10120201(,,,)()nn n i i i f x t x x t x x t x d t x dt x ϕ=⎛⎫∂+∆+∆+∆''=∆ ⎪∂⎝⎭∑L()2101202011,,,nnn n i j i j i jf x t x x t x x t x x x x x ==∂+∆+∆+∆=∆∆∂∂∑∑L ．所以，()102001,,,(0)nn i i if x x x x x ϕ=∂'=∆∂∑L ，()2101202011,,,()nnn n i j i j i jf x t x x t x x t x t x x x x θθθϕθ==∂+∆+∆+∆''=∆∆∂∂∑∑L ．把)(),0(),0(t θφφφ'''代入(2-2)式后再令1=t ，便得到泰勒公式()1012020,,,n n f x x x x x x +∆+∆+∆L+=),,,(02010n x x x f Λ()1020011,,,nn i i if x x x x R x =∂∆+∂∑L ，其中()2101202011,,,12!n n n n i j i j i i jf x x x x x x R x x x x θθθ==∂+∆+∆+∆=∆∆∂∂∑∑L ． 如果设函数),,,(21n x x x f u Λ=在点),,,(020100n x x x P Λ的某一邻域)(0P U 内连续且具有1+n 阶连续偏导数，)(),,,(00220110P U x x x x x x n n ∈∆+∆+∆+Λ，则)1,0(∈∃θ，使得()1012020,,,n n f x x x x x x +∆+∆+∆L()10200,,,n f x x x =+L ()102001020011(,,,)1,,,!knn n i n n k i i f x x x x f x x x R k x ==⎛⎫∂∆+ ⎪∂⎝⎭∑∑L L ， 其中()()11020010101(,,,)1,,1!n n n n i n n i i f x x x R x f x x x x n x θθ+=⎛⎫∂=∆+∆+∆ ⎪+∂⎝⎭∑L L ，这称为拉格朗日余项．证明 作辅助函数()1012020(),,,n n t f x t x x t x x t x ϕ=+∆+∆+∆L ，10≤≤t ． 则),,,()0(02010n x x x f Λ=φ，),,,()1(0220110n n x x x x x x f ∆+∆+∆+=Λφ．因为∑=∆∂∆+∆+∆+∂=ni i in n x x x t x x t x x t x f dt d 10220110),,,(Λφ()1020010101(,,,),,n n i n n i i f x x x x f x t x x t x x =⎛⎫∂=∆+∆+∆ ⎪∂⎝⎭∑L L ，2210200101021(,,)(,,)n n i n n i i f x x x d x f x t x x t x dt x ϕ=⎛⎫∂=∆+∆+∆ ⎪∂⎝⎭∑L L ． 用数学归纳法可以得到()1020010101(,,,)()(,,)kn k n i n n i i f x x x t x f x t x x t x x ϕ=⎛⎫∂=∆+∆+∆ ⎪∂⎝⎭∑L L ，),,2,1(n k Λ=．由一元泰勒公式)()!1(1)0(!1)0(!21)0()0()1()1()(θφφφφφφ+++++''+'+=n n n n Λ，)10(<<θ． (2-3) 将),,,()0(02010n x x x f Λ=φ，),,,()1(0220110n n x x x x x x f ∆+∆+∆+=Λφ，)0()(n φ代入(2-3)式得()1010,,n n f x x x x +∆+∆L102001001001(,,,)(,,)(,,)n n n i n i i f x x x f x x x f x x x =⎛⎫∂=+∆+ ⎪∂⎝⎭∑L L L2102001001(,,,)1(,,)2!n n i n i i f x x x x f x x x =⎛⎫∂∆++ ⎪∂⎝⎭∑L L L()102001001(,,,)1,,!nn n i n n i i f x x x x f x x R n x =⎛⎫∂∆+ ⎪∂⎝⎭∑L L ， 其中()11020010101(,,,)1,,(1)!n n n n i n n i i f x x x R x f x x x x n x θθ+=⎛⎫∂=∆+∆+∆ ⎪+∂⎝⎭∑L L ，)10(<<θ．2.2 利用n 元函数微分中值定理研究函数的性质例2.1 设n 元函数f 在凸开域n R D ⊂上可微，D 上取定一点),,,(020100n x x x P Λ且D x x x x x x P n n ∈∆+∆+∆+∀),,,(0220110Λ，有n i P f ix ,,2,1,0)(Λ=='，则D P ∈∀，有C P f =)(（常数），即)(P f 是常数函数． 证明 n 元函数f 在D 上满足n 元函数的拉格朗日定理的条件，根据n 元函数的拉格朗日定理，)1,0(∈∃θ，使得),,,(),,,(020*********n n n x x x f x x x x x x f ΛΛ-∆+∆+∆+()10120201,,,i nx n n i i f x x x x x x x θθθ='=+∆+∆+∆∆∑L ．因为点D x x x x x x P n n ∈∆+∆+∆+),,,(02201101θθθΛ，所以，0)(1='P f ix ．即),,(),,,(020*********n n n x x x f x x x x x x f ΛΛ=∆+∆+∆+．取C x x x f n =),,,(02010Λ，D P ∈∀，有C P f =)(，即()f P 是常数函数． 例2.2 若n 元函数f 和g 在凸开域n R D ⊂上连续，在D 内关于各个变元具有连续的偏导数，D 上取定一点),,,(020100n x x x P Λ，且对任意的点10120(,P x x x +∆+20,,)n n x x x D ∆+∆∈L ，有()()i i x x f P g P ''=，1,2,,i n =L ．而且10101(,,)i nx n n i g x x x x θθ='+∆+∆∑L不为零．则D P ∈∀，有C P g P f +=)()(，其中C 是常数，01θ<<．证明 因为n 元函数f 和g 在D 满足n 元函数的柯西定理的条件，则),,(),,(),,(),,(01001100100110n n n n n n x x g x x x x g x x f x x x x f ΛΛΛΛ-∆+∆+-∆+∆+1010110101(,,)(,,)iinx n n i i nx n n ii f xx x x x g xx x x x θθθθ=='+∆+∆∆='+∆+∆∆∑∑L L ，(01)θ<<．又D x x x x P n n ∈∆+∆+),,(01101θθΛ，所以，)()(11P g P f iix x '='，n i ,,2,1Λ=．即∑∑==∆'=∆'ni ix n i ix xP g x P f ii1111)()(．所以，1010100(,,)(,,)n n n f x x x x f x x +∆+∆-L L 1010100(,,)(,,)n n n g x x x x g x x =+∆+∆-L L ．即)]()([)()(00P g P f P g P f -+=．设C P g P f =-)()(00，则D P ∈∀，有C P g P f +=)()(，其中C 是常数． 例2.3 证明：设n 元函数f 在凸开域n R D ⊂上可微，对D 内任意两点),,,(020101n x x x P Λ，21012020(,,,)n n P x x x x x x D +∆+∆+∆∈L ，有),,(),,(0100110n n n x x f x x x x f ΛΛ=∆+∆+，且D P a P f i x ∈∀=',)(（a 是常数且0≠a ）其中()1,2,,i n =L ．则01=∆∑=ni ix．证明 因为n 元函数f 在D 上满足n 元函数的罗尔定理的条件，所以，)1,0(∈∃θ，使得0),,(10110=∆∆+∆+'∑=ni i n n x x x x x xf iθθΛ，由已知条件，点D x x x x P n n ∈∆+∆+),,(01103θθΛ，有a P f ix =')(3，n i ,,2,1Λ=．所以，01=∆∑=ni ixa ，01=∆∑=ni i x a ．因此，01=∆∑=ni i x ．例2.4 若(,,)sin sin sin f x y z x y z =，证明对某)1,0(∈θ有6cos 4sin 3sin 66sin 4cos 3sin 46sin 4sin 3cos 386πθπθπθππθπθπθππθπθπθπ++=． 证明 三元函数z y x z y x f sin sin sin ),,(=在凸开域3R D ⊂上连续，在D 的所有内点都可微，则对D 内任意两点1111(,,)P x y z ，2111111(,,)P x x y y z z D +∆+∆+∆∈，根据n 元函数的拉格朗日定理，)1,0(∈∃θ，使得),,(),,(111111111z y x f z z y y x x f -∆+∆+∆++∆∆+∆+∆+'=1111111),,(x z z y y x x f x θθθ+∆∆+∆+∆+'1111111),,(y z z y y x x f y θθθ1111111(,,)z f x x y y z z z θθθ'+∆+∆+∆∆．即111111111sin sin sin )sin()sin()sin(z y x z z y y x x -∆+∆+∆+ +∆∆+∆+∆+=1111111)sin()sin()cos(x z z y y x x θθθ+∆∆+∆+∆+1111111)sin()cos()sin(y z z y y x x θθθ 1111111)cos()sin()sin(z z z y y x x ∆∆+∆+∆+θθθ令6,4,3111πππ=∆=∆=∆z y x ，则111111sin sin sin )6sin()4sin()3sin(z y x z y x -+++πππ+⋅+++=3)6sin()4sin()3cos(111πθπθπθπz y x111sin()cos()sin()3464x y z ππππθθθ+++⋅+6)6cos()4sin()3sin(111πθπθπθπ⋅+++z y x ．取1110x y z ===，则++=θπθπθππθπθπθπππππ6sin 4cos 3sin 46sin 4sin 3cos 36sin4sin3sinsin sin cos 6346ππππθθθ， 即6cos 4sin 3sin 66sin 4cos 3sin 46sin 4sin 3cos 386πθπθπθππθπθπθππθπθπθπ++=． 例2.5 若在区域n R D ⊂内f 的诸偏导数)(P f ix '),,2,1(n i Λ=存在且有界，则函数f 在D 内连续．证明 假设M P f ix ≤'|)(|，D P ∈，n i ,,2,1Λ=．任取D P ∈，设),,,(2211n n x x x x x x P P ∆+∆+∆+=∆+Λ，与连接P 及P P ∆+的直线段(设||P P ∆=充分小)全部包含在D 内，则由n 元函数的拉格朗日定理，得|)(||)()(|1∑=∆∆+'=-∆+ni i x x P P f P f P P f iθ|||||)(|1P nM xP P f ini x i∆≤∆⋅∆+'≤∑=θ∑=∆=ni ix nM12)(，10<<θ．于是，0>∀ε，nM /εδ=∃，使得当δ<∆=||P P 时，有ε<-∆+|)()(|P f P P f ．所以，函数f 在点P 连续．由P 的任意性知，函数f 在D 内连续．例2.6 将函数xyz z y x z y x f 3),,(333-++=在点()1,1,1展成泰勒公式． 解 0)1,1,1(=f ．0)1,1,1()1,1,1()1,1,1(='='='z y x f f f ，6)1,1,1()1,1,1()1,1,1(=''=''=''zz yy xxf f f ，3)1,1,1()1,1,1()1,1,1(-=''=''=''zx yz xy f f f ， 6)1,1,1()1,1,1()1,1,1(333='''='''='''z y x f f f ，3)1,1,1(-='''xyz f ， 0)1,1,1()1,1,1()1,1,1()1,1,1()1,1,1()1,1,1(222222='''='''='''='''='''='''xz zy yx zx yz xyf f f f f f ， 且高于3阶的偏导数都恒为0．于是，由n 元函数的泰勒公式，有xyz z y x z y x f 3),,(333-++=223[(1)(1)x y =-+-+2(1)(1)(1)(1)(1)(1)(1)]z x y y z z x ----------+)1)(1)(1(3)1()1()1(333-----+-+-z y x z y x ．小结 n 元函数微分中值定理的表述形式与二元函数中值定理的形式类似，都是函数值与各偏导数和增量乘积的关系．在证明上也是采用了构造“辅助函数”的方法．在实数域中，微分中值定理联系了函数与导数，无论是一元函数、二元函数还是n 元函数，微分中值定理都对研究函数性质有重要的辅助作用，那么如果函数定义在复数域中，微分中值定理还适用吗？3 微分中值定理在复数域上的推广由于二元函数在固定某个变量为暂时常量下可以看作一元函数，再由偏导数的定义，我们可先将一元微分中值定理推广到二元实函数上．而二元实函数与复函数都是以有序数对为自变量的函数，它们之间有着密切的联系，因此在有关性质上也应该有着密切联系，所以又可利用二元实函数的微分中值定理，将实数域上的微分中值定理推广到复数域上，得到解析函数的微分中值定理，为应用导数研究解析函数的性质提供了新工具，构建了有用的平台．3.1 复数域上的中值定理引理1（可微的充要条件） 设函数()()()y x iv y x u z f ,,+=在区域D 内一点iy x z +=可微的充要条件是：(1)二元函数()y x u ,、()y x v ,在点()y x ,可微； (2)()y x u ,、()y x v ,在点()y x ,满足..R C -方程，即xv y u y v x u ∂∂-=∂∂∂∂=∂∂,． 上述条件满足时，()z f 在点iy x z +=的导数可以表示为下列形式之一：()u v v uf z i i x x y y ∂∂∂∂'=+=-∂∂∂∂ xvi y v y u i x u ∂∂+∂∂=∂∂-∂∂=． 证明 ()⇒ 设()z f 在D 内一点z 可微，则()()f z f z z z η'∆=∆+∆，其中η是随0→∆z 而趋于零的复数．若令()f z i αβ'=+，z x i y ∆=∆+∆，()f z u i v ∆=∆+∆，则()()f z f z z z η'∆=∆+∆可写成()21ηηαββαi y x i y x v i u ++∆+∆+∆-∆=∆+∆，这里()()z x ∆⋅=∆⋅=ηηηηIm ,Re 21是()()22y z z ∆+∆=∆的高阶无穷小．比较上式两端的实、虚部，即得1ηβα+∆-∆=∆y x u ， 2ηαβ+∆+∆=∆y x v ．由数学分析二元函数的微分定义即知，()y x u ,与()y x v ,在点()y x ,可微，且x y u v α==，y x u v β=-=-．()⇐ 由()y x u ,与()y x v ,的可微性即知，在点()y x ,有1η+∆-∆=∆y u x u u y x ， 2η+∆+∆=∆y v x v v y x ．其中1η与2η是()()22y z ∆+∆的高阶无穷小．再由..R C -方程，可设βα-=-===x y y x v u v u ,．于是，有()21ηαβηβα+∆+∆++∆-∆=∆+∆=∆y x i y x v i u f()()21ηηβαi y i x i ++∆+∆+=．所以，βαi zfz +=∆∆→∆0lim．即 ()u v v uf z i i i x x y y αβ∂∂∂∂'=+=+=-∂∂∂∂ xv i y v y u i x u ∂∂+∂∂=∂∂-∂∂=． 定理1（费马定理）设函数()()()y x iv y x u z f ,,+=在定义域内一点000iy x z +=的某领域()0z U 内有定义，并且在0z 处可导，若对任意iy x z +=∈()0z U 有()()y x u y x u ,,00≤或()()y x u y x u ,,00≥， ()()y x v y x v ,,00≤或()()y x v y x v ,,00≥．则必有()00f z '=．证明 根据引理可知函数()y x u ,和函数()y x v ,在点()00,y x 可微，且()0f z '=()()0000,,x x u x y iv x y +．要使()00f z '=，只需()00,0x u x y =，()00,0x v x y =．先证()0,00=y x u x ．由于()y x u ,在定义域内一点()00,y x 可微，则()y x u ,在该点关于每一个自变量的偏导数存在．又因为()y x u ,在点()00,y x 的邻域内的任一点()y x ,有()()y x u y x u ,,00≤或()()y x u y x u ,,00≥．故()0,00=y x u x ．同理可证()0,00=y x v x ．定理2（罗尔定理） 若()()()y x iv y x u z f ,,+=满足下列条件： (1)在有界闭区域D 上连续； (2)在D 内解析；(3)()()21z f z f =，其中21,z z 为D 内的两定点111z x iy =+，222z x iy =+． 则至少存在一点000iy x z +=使得()00f z '=．证明 由解析函数的定义知()z f 在D 内任意一点()y x ,可导，根据引理得到()y x u ,和()y x v ,在D 内任一点()y x ,可微，且()()()y x iv y x u z f ,,+=的求导公式为()x x y y f z u iv v iu '=+=-．由于()()21z f z f =，其中21,z z 为D 内的两定点111z x iy =+，222z x iy =+．并且()()2211,,y x u y x u =，()()2211,,y x v y x v =．令()()()y x v y x u y x F ,,,-=，则函数()y x F ,在有界闭区域D 上连续，在D 内可微，并且有()()2211,,y x F y x F =．则至少有一点()D y x ∈00,，使得()0,00=y x F x ，()0,00=y x F y ．因为()()()000000,,,y x v y x u y x F x x x -=，()()()000000,,,y x v y x u y x F y y y -=．所以，()()0,,0000=-y x v y x u x x ，()()0,,0000=-y x v y x u y y ．根据引理可知x y y x v u v u -==,，于是，有()()0,,0000=-y x v y x u y x ，()()0,,0000=+y x v y x u x y ．所以，()()()00000,,0x x f z u x y iv x y '=+=．定理3（拉格朗日定理） 若复函数()()()y x iv y x u z f ,,+=满足下列条件： (1)在有界闭区域D 上连续； (2)在D 内解析；(3)1z 与2z 是D 内的两个定点21z z ≠． 则至少存在一点D z ∈0，使得()()()21021f z f z f z z z -'=-．证明 令()()()()()()112121z z z z z f z f z f z f z F -----=，则函数()z F 在有界闭域D 上连续，在D 内解析，并且()()21z F z F =，()()()()2121f z f z F z f z z z -''=--．根据罗尔定理可得至少存在一点D z ∈0，使得()()()()21210f z f z F z f z z z -''=-=-．即()()()2121f z f z f z z z -'=-．定理4（柯西中值定理） 若函数()f z 与()g z 满足下列条件： (1)复函数()z f 与()z g 在有界闭区域D 上连续； (2)复函数()z f 与()z g 在D 内解析； (3)()f z '与()g z '在D 内不同时为零；(4)()()21z g z g ≠，1z 与2z 是D 内的两个定点21z z ≠．则至少存在一点D z ∈0，使得()()()()()()021021f z f z f z g z g z g z '-='-．证明 做辅助函数()()()()()()()()()()112121z g z g z g z g z f z f z f z f z F -----=． 易见F 在D 内满足罗尔定理，故存在D z ∈0，使得()()()()()()()21000210f z f z F z f z g z g z g z -'''=-=-．因为()00g z '≠，所以，有()()()()()()021021f z f z f z g z g z g z '-='-． 微分中值定理不仅在实数域内建立了函数与导数的桥梁，在复数域内也适用联系函数与导数．这使中值定理在函数性态研究中有了更全面的理论和更广泛的应用．3.2 利用复数域内中值定理研究函数性质例3.1 设函数()z f 在复数域D 内解析，并且D z ∈∀，有()0f z '=，证明()z f 在D 内为常数．证明 任取D 内的两个互异的点1z 和2z ，若____21z z 含于D ．与拉格朗日中值定理可得()()()12012f z f z f z z z -'=-．由已知条件，()0f z '=．所以，()()21z f z f =．____21z z 含于D ，在D 中取有限个点210,z z n ==ξξΛ，使线段_______1j j ξξ-含于D 中()n j Λ,2,1=，有()()()()211z f f f z f n ===ξξΛ．所以，()z f 在D 内为常数．例3.2 若函数f 和g 在复数域D 上连续，在D 内解析，D 内任取一点0z ，使得D z z ∈∆+0且有()()00f z g z ''=．则D z ∈∀，有C z g z f +=)()(，其中C 是常数．证明 函数f 和g 在复数域D 上连续，在D 内解析，D 内取有两互异点0z 和z z ∆+0．即点0z 和点的点z z ∆+0的连线在D 内．根据柯西中值定理，得()()()()()()0000-f z f z f z z g z g z g z z ξξ'+∆='-+∆，其中ξz 在D 内．因为()()f z g z ξξ''=，所以，()()00f z f z z -+∆=()()00g z g z z -+∆．即()()()()z z g z z f z g z f ∆+-∆++=0000．取()()C z z g z z f =∆+-∆+00，则D z ∈∀，有C z g z f +=)()(，C 为常数．小结 微分中值定理在复数域上仍然成立，罗尔定理、拉格朗日定理、柯西中值定理与二元函数中值定理有类似的形式．证明也是采用了构造“辅助函数”的方法．在利用导数研究函数性态中，复数域上微分中值定理同样起到了桥梁作用．微分中值定理不仅在实数域中是研究函数性质的有力工具，在复数域中中值定理仍有形式近似的相关结论，并且对研究复数域函数性质也有所帮助．因此解析函数的微分中值定理为应用导数研究解析函数的性质提供了新的工具，构建了有用的平台．结论经过对微分中值定理的探究，对中值定理有了进一步的认识，整篇文章归纳为以下几点：(1)本文将一元函数罗尔中值公式、拉格朗日中值公式、柯西中值公式、泰勒中值公式都统一于一个中值公式．从这个公式重新认识了微分中值定理．(2)二元函数微分中值定理同样包括罗尔定理、拉格朗日定理、柯西中值定理、泰勒中值定理．罗尔中值公式和拉格朗日中值公式都可以统一于柯西中值公式．(3)n元函数微分中值定理的表述形式与二元函数微分中值定理的形式类似，都是函数值的改变量与各偏导数与对应增量乘积的关系．定理证明是通过构造辅助函数的方法完成的．(4)微分中值定理在复数域的推广得到了罗尔定理、拉格朗日定理、柯西中值定理．(5)不论是一元函数二元函数还是n元函数，或是复数域上微分中值定理，定理的证明都采用了构造“辅助函数”的方法并将其转化为一元函数得以完成．致谢在本次论文的撰写过程中，我得到了老师的精心指导，不管是从开始定方向还是在查资料准备的过程中，一直都耐心地给予我指导和意见，使我在总结学业及撰写论文方面都有了较大提高；老师高度的敬业精神和责任感值得我学习．在此，我对徐老师表示诚挚的感谢以及真心的祝福．参考文献[1] 刘玉琏, 傅沛仁. 数学分析讲义(上册)[M]. 北京: 高等教育出版社, 1992：203～346[2] 刘玉琏, 傅沛仁. 数学分析讲义(下册)[M]. 北京: 高等教育出版社, 1992：309～417[3] 胡龙桥. n元函数的微分中值定理[J]. 工科数学,2010.4：263-264[4] 马恒俊. 二元函数的微分中值定理[J]. 山东建筑工程学院学报,2009.12：80-81[5] 路见可. 关于微分中值定理的思考[J]. 高等数学研究,2010.9：10-13[6] 李晓玲. 微分中值定理在复数域内的推广[J]. 佳木斯大学学报,2009.9：791-792[7] 胡江. 实函数与复函数上微分中值定理内在联系的探究[J]. 科技咨询导报,2007.450：22-24[8] 胡江, 王玉. 复数域上微分中值定理新证[J]. 高等数学研究,2008.13：177-178[9] 李超. 柯西微分中值定理在多元函数中的推广[J]. 韶关学院学报, 2010.22(3)：1-5[10] 陈伟丽, 赵晨霞, 张秋娜, 崔玉环. 复分析中的微分中值定理[J]. 高校理科研究,2011.3：44-48[11] 胡江. 实函数与复函数上微分中值定理内在联系的探究[J]. 中国科教创新刊,2007.6：267-270[12] 程希旺. 二元函数微分中值定理中值点的分析性质[J]. 数学理论与应用,2009.16：30-34[13] 吴俊. n元函数的微分中值定理及其应用[J]. 高等数学研究,2010.2：24-26[14] 黄土森. 高维空间中的微分中值定理[J]. 宁波大学学报,2010.12：45-47[15] 王尚户. 多元函数之微分中值定理[J]. 包头钢铁学院学报,2007.6：36-39[16] 华东师范大学数学系，数学分析(上册)[M].高等教育出版社，2005。