二元函数中值定理的简单应用

目 录

一、引言 …………………………………………………………………1 二、主要定理的证明、应用 ……………………………………………1 2.1二元函数中值定理的第一种形式 …………………………………1 2.11定理及推论的证明………………………………………………1 2.12定理及推论的应用………………………………………………2 2.2二元函数中值定理的第二种形式 …………………………………5 2.21定理及推论的证明………………………………………………5 2.22定理及推论的应用………………………………………………5 2.3二元函数中值定理的不等式形式…………………………………6 2.31定理及推论的证明………………………………………………6 2.32定理及推论的应用………………………………………………8 三、结论 …………………………………………………………………9 四、参考文献 ……………………………………………………………9 五、致谢 …………………………………………………………………9

数学科学学院本科学年论文 二元函数中值定理的简单应用

二元函数中值定理的简单应用

内容摘要

给出了二元函数中值定理的三种不同形式：含一个参变量型、含两个参变量型和不等式型.在每一种形式下我们都给出主要定理的证明，充分了解定理的生成以及内容.此外，在就给出的定理的各种形式以及他们的推论加以推广、运用，得到许多在多元函数中得到广泛运用的重要定理.

关键词：二元函数 中值定理

一、引言

我们知道，一元函数的中值定理是数学分析中的一个重要定理，他深刻的揭示了函数在某些区间上的增量与函数在该区间内某点处的导数及区间的长度之间的关系，是利用导数研究函数性质的基础，本文将中值定理推广到二元函数（多元函数的代表），并利用最基本的公式、定理证明一些重要的结论和定理.

二、主要定理的证明、应用

2.1二元函数中值定理的第一种形式

2.11定理及推论的证明

定理1 若二元函数f(x,y)在点p0(x0,y0)的邻域G存在两个偏导数，则

(x0x,y0y)G，全改变量

zf(x0x,y0y)f(x0,y0)

f'x(x01x,y0y)xf'y(x0,y02y)y 其中011,021. 证明：

显然，若点(x0x,y0y)G，则点(x0,y0y)与(x0x,y0)G，且连接两点

(x0x,y0y)与(x0,y0y)或(x0x,y0y)与(x0x,y0)的线段也属于

G，如图1,为此，将全改变量z改写为如下形式：

y(x0x,y0y)y(x0,y0)xO图1 1 x

zf(x0x,y0y)f(x0,y0)

[f(x0x,y0y)f(x0,y0y)][f(x0,y0y)f(x0,y0)] 上述等式右端第一个方括号内，yy0y是常数，只是x由x0变到x0x；第二个方括号内xx0是常数，只是y由y0变到y0y.根据一元函数中值定理，有

zf(x0x,y0y)f(x0,y0)

f'x(x01x,y0y)xf'y(x0,y02y)y 其中011,021. 2.12 定理及推论的应用

定理2 若二元函数f(x,y)在点p0(x0,y0)的邻域G存在两个偏导数，且两个偏 数在点p0(x0,y0)连续，则二元函数f(x,y)在点p0(x0,y0)可微. 证明：（利用二元函数中值定理）

(x0x,y0y)G，根据定理，将全改变量z写为：

zf(x0x,y0y)f(x0,y0)

f'x(x01x,y0y)xf'y(x0,y02y)y 其中011,021. 已知偏导数在p0(x0,y0)连续，有

f'x(x01x,y0y)f'x(x0,y0). lim0

0 f'y(x0,y02y)f'y(x0,y0) lim0

0从而有

zf'x(x0,y0)xf'x(x0,y0)yxy.

xyxy  2

0 (0)

或 xyo() 于是， zf(x0x,y0y)f(x0,y0)

f'x(x0,y0)xf'x(x0,y0)yo() 即函数f(x,y)在点p0(x0,y0)可微.

注：偏导数连续是二元函数可微的充分条件，而不是必要条件.

定理3 若二元函数zF(x,y)在以点(x0,y0)为中心的矩形区域D（边界平行坐标轴）满足下列条件：

1) F'x(x,y)与F'y(x,y)在D连续（从而F(x,y)在D连续）； 2) F(x0,y0)0； 3) F'y(x,y)0. 则：

1) 0与0，x(x0,x0)存在唯一一个yf(x)（隐函数）

使F[x,f(x)]0，f(x0)y0，且y0f(x)y0. 2) yf(x)在区间连续.

Fx'(x,y)3) yf(x)在区间有连续导数，且f'(x)'.

Fy(x,y)证明：

1) 的证明未涉及到本文提到的二元函数中值定理，故略之，直接用其结论.

2) 隐函数yf(x)在区间连续，只需证明，x，函数yf(x)在x连续， 已知F'x(x,y)与F'y(x,y)闭区间G(x0xx0;y0yy0)连续.且

F'y(x,y)0.则F'x(x,y)在G有上界，F'y(x,y)在G有下界.即M0与m0，

(x,y)G，有

F'x(x,y)M与F'y(x,y)m

给自变量x该变量x，使xx，相应的有函数yf(x)的该变量y，即

3

yf(xx)f(x)或yyf(xx) 且 yy(y0,y0)， 已知 F(x,y)0与F(xx,yx)0.

0F(xx,yx)F(x,y).

F(xx,yx)F(x,yy)f(x,yy)F(x,y).

根据二元函数中值定理，有，

0F'x(x1x,yy)xF'y(x,y2y)y. （1） 其中011,021，将(1)式改写为 yf(xx)f(x)F'x(x1x,y0y)x

F'y(x,y2y)有 yf(xx)f(x)

F'x(x1x,yy)Mxx.

F'y(x,y2y)m于是limylim[f(xx)f(x)]0.

x0x0

即隐函数yf(x)在x连续，从而在连续.

3) 隐函数yf(x)在区间有连续导数，x，由（1）式，有

F'(x1x,yy)y xxF'y(x,y2y)其中011,021.

已知yf(x)在x连续，从而当x0时，有y0，又可知F'x(x,y)与F'y(x,y)在

D连续，有

f'(x)lim

x0

F'x(x1x,y0y)F'(x,y)y(F'y(x,y)0) xlimx0y0xF'y(x,y2y)F'y(x,y)即隐函数yf(x)在区间有连续导数，且

4

Fx'(x,y) f'(x)'

Fy(x,y)注：为使层次分明，定理2的结论分为三部分，实际上，这三部分可以合并，叙述以下更加简明的形式

“则存在点x0的邻域，在存在唯一一个有连续导数的隐函数yf(x)，使

Fx'(x,y). F[x,f(x)]0，f(x0)y0，且f'(x)'Fy(x,y)2.2二元函数中值定理的第二种形式

2.21定理及推论的证明

定理4 设二元函数f在凸区域DR上连续，在D所有的内点都可微，则对D内任意两点P(a,b),Q(ah,bk)D,存在某(01)使得 f(ah,bk)f(a,b)

2f'x(ah,bk)hf'y(ah,bk)k. （2）

证明：令 (t)f(ath,btk).

它是定义在[0,1]上的一元函数，由定理中的条件知(t)在[0,1]上连续，在[0,1]可微，于是根据一元函数中值定理，存在(01)使得

(1)(0)'() （3） 由复合函数的求导法则，

'()f'x(ah,bk)hf'y(ah,bk)k （4） 由于D是凸区域，所以(ah,bk)D.故由（3）、（4）即得所要证的（2）式. 2.22 定理及推论的应用 定理5（中值定理的推论）

若二元函数二元函数f(x,y)在凸区域D上存在偏导数，且

f'x(x,y)f'y(x,y)0，则f(x,y)在区域D上是常函数.

证明：(x0,y0),(x,y)D,因为D是区域存在一条完全属于D的折线将

(x0,y0),(x,y)连接，不妨设这折线的转接点依次是：

5

(x0,y0),(x1,y1),(x2,y2)(xk1,yk1),(x,y). （记xkx,yky）

不失一般性，可以使这些点适当的接近，从而使折线段 (xi,yi)(xi1,yi1) i0,1k1

也全部在区域D内，因为f(x,y)在区域内存在偏导数，且f'x(x,y)f'y(x,y)0故利用中值定理

f(x1,y1)f(x0,y0)f'x[x0(x1x0),y0(y1y0)](x1x0)

其中01.

f'y[x0(x1x0),y0(y1y0)](y1y0)

0

从而有 f(x1,y1)f(x0,y0)同理推得,

f(x0,y0)f(x1,y1)f(x2,y2)f(xk1,yk1)f(x,y). 将(x0,y0)点确定(x,y)在D中随意选取上式均成立，由此得证结论成立. 例1 通过对F(x,y)sinxcosy施用中值定理，证明对某(0,1)有

3 coscossinsin43366362解：二元函数F(x,y)sinxcosy在R上连续且可微，由中值定理知，对D内两点

(a,b)(0,0)及(ah,bk)(,).(0,1)，

36有 F(ah,bk)F(a,b)F'x(ah,bk)hF'y(ah,bk)k.

 sin F(,)F(0,0)coscossin363366363即， coscossinsin.

43366362.3二元函数中值定理的不等式形式

2.31定理推论的证明

定理6 设二元函数f(x,y)在凸区域DR内任取一点，沿任意方向的方向导致有界，即存在m,n使得m m2f存在一 lfn,则对D内任意两点P(a,b),Q(ah,bk)有 lf(Q)f(P)n, 其中(P,Q)h2k2 （5）

(P,Q) 6

为证这个定理，先叙述一个引理.

引理 设二元函数f(x,y)在凸区域D的内点P0(a,b)沿方向L的方向导数存在，f(x,y) 在点P0沿方向L连续.

证明:设P(x,y)为L上的点（含于D内），则由f(P)f(P0)令(P,Q)0便得结论. 定理的证明： f(P1)

f(Q)f(P)(P,Q),

(P,Q)f(Q1)g(t)f(Q0)P1Q0图2 Q1t

对任意m',n',m'm,n'n. 先证m'f(Q)f(P)n' （6）

(P,Q)然后在（6）式取极限 m'm, n'n.（先固定P,Q）便可得（1）. 用反证法（6）式，假设存在D内点P,Q使

f(Q)f(P)n' （7）

(P,Q)则f(Q1)n'(P1,Q1)f(P1).把线段P1Q1上各点按到点P1Q1 1的距离大小排列，线段P上任意两点t1,t2，当t1到P1的距离小于t2到P1的距离时，就记为t1t2,从而 可令

Q0inf{Q|f(t)n'(t,p1)f(P1)g(t),QtQ1}

由引理，f(x,y)沿方向P1Q0Q1,且f(Q1)n'(P1Q1连续，故有P1,Q1)f(P1). 如图2.

对Q0QQ1,

f(Q)f(Q0)n'(Q,P1)f(P1)[n'(Q0,P1)f(P1)]n'.

(Q0,Q)(Q0,Q)f在Q0沿P1Q1方向导数

fn'n矛盾. l7

所以，

f(Q)f(P)n'类似可证（6）式左边，从而(5)式成立.

(P,Q)推论 设二元函数f(x,y)在凸区域D的内任意一点沿任意方向的方向导数致有界，即存在M0,使|f存在且一 lf|M.则对D任意两内点P,Q有, l |f(P)f(Q)|M(P,Q) 2.32定理及推论的应用 定理7（连续性充分条件）

若二元函数f(x,y)在点P0的某邻域U(P0)内的点沿任意方向的方向导数一致有 界，则f(x,y)在U(P0)内连续.

证明：对P,QU(P0)，有推论M0,使 |f(P)f(Q)|M(P,Q)

0.取M,当(P,Q)时， |f(P)f(Q)|

所以，f(x,y)在点P0的邻域U(P0)连续.

定理8 设二元函数f(x,y)在凸区域D内任意一点沿任意方向的方向导数存在且一致有 界，则f(x,y)在D内一致连续. 证明：设在D内任意一点|f|M（M为正常数）则0,取,P,QD.只要 lM(P,Q).

便有 |f(P)f(Q)|M(P,Q)M故f(x,y)在D内一致连续.

M

8

结论

通过本文，我们了解了二元函数中值定理的三种不同形式：含1、2两个参变量、含一个参变量以及不等式形式.二元函数作为一元函数向多元函数的过渡，在我们学习了一元函数中值定理之并领略其重要作用后，利用二元函数作为多元代表，进一步去研究中值定理在多元函数中的作用.在本文中，我们粗略的给出定理的应用，但是已经能够窥知中值定理，这一伟大的定理在研究多元函数起着举足轻重的作用.

9

参考文献

[1]同济大学数学研究室. 高等数学(第三版)[M]. 北京：高等教育出版社，1988.

[2]T.M菲赫金哥尔茨,北京大学高等数学教研室. 微积分教程[M]. 北京：人民教育出版社，1956.

[3]华东师范大学数学系. 数学分析（第二版）[M]. 北京：高的教育出版社，1991. [4]华东师范大学数学系. 数学分析（第三版）[M]. 北京：高的教育出版社，2001. [5]朱正佑. 数学分析[M]. 上海：上海大学出版社，2001. [6]刘玉链. 数学分析[M]. 北京：高的教育出版社，2008.

[7]张宇萍. 多元函数中值定理[J]. 西安联合大学学报，1999，2（2）：249-252.

[8]李日光，欧苡. 多元函数中值定理的不等式形式[J]. 广西师范学报（自然学报），2000，17（1）：88-90.

10