首页 理论教育 考研数学分析:隐函数存在定理与求偏导

考研数学分析:隐函数存在定理与求偏导

时间:2023-10-19 理论教育 版权反馈
【摘要】:1.隐函数存在定理:设二元函数F(x,y)满足下列条件:(1)在矩形区域D={(x,y)x-x00,当x∈U(x0,η)时,有F(x,f(x))≡0,且y0=f(x0);2)f(x)在

考研数学分析:隐函数存在定理与求偏导

1.隐函数存在定理:设二元函数Fxy)满足下列条件:

(1)在矩形区域D={(xyx-x0<ay-y0<b}内有一阶连续的偏导数

(2)Fx0y0=0(初始条件);

(3)Fyx0y0)≠0.则有:

1)在点(x0y0)的某邻域内,由方程Fxy=0可以确定唯一的函数y=fx).即存在η>0,当xUx0η)时,有

Fxfx))≡0,且y0=fx0);

2)fx)在Ux0η)内连续;

3)fx)在Ux0η)内有连续的导数,且

978-7-111-46233-0-Chapter06-216.jpg

y=fx)为由方程Fxy=0所确定的隐函数.

6.4 (1)隐函数存在定理告诉我们,在什么条件下由方程Fxy=0可以确定以x自变量y因变量的函数.也就是通常说的可以从Fxy=0中解出y=fx).这里所说的“解出”并不是指可操作性,而是指存在性.例如,著名的开普勒(Kepler)方程

y-εsiny-x=0, 0<ε<1,

在点(0,0)的邻域内可以确定隐函数y=fx),但我们并不能从开普勒方程中写出y的显式表达式.

(2)若只要求隐函数连续,则定理的条件(3)可减弱为:“Fxy)对每一个x∈(x0-ax0+a)关于y严格单调”.

(3)定理的结论是局部的,但在相当强的条件下,有下面整体存在的命题.

命题6.5 设Fxy)在D={(xy)∣a<x<b-<y<+∞}中连续,Fy存在且Fym>0,则Fxy=0在(ab)内存在唯一连续解y=fx.

(4)关于定理的证明,一般有两种方法:一、几何方法——利用单调性和介值定理,具有很强的直观性;二、逐次逼近法——利用不动点原理,是所谓的“构造性”证明.

2.隐函数组存在定理:设

(1)Fxyuv)和Gxyuv)在点P0x0y0u0v0)的某邻域内有一阶连续偏导数;

(2)Fx0y0u0v0=0,Gx0y0u0v0=0(初始条件);

(3)978-7-111-46233-0-Chapter06-217.jpg,则存在点P0的一个邻域,在该邻域内由方程组

978-7-111-46233-0-Chapter06-218.jpg

可以确定唯一一对函数

u=uxy),v=vxy),

满足Fxyuxy),vxy))≡0,Gxyuxy),vxy))≡0及u0=ux0y0),v0=vx0y0),且uv关于xy的偏导数连续.进而有

978-7-111-46233-0-Chapter06-219.jpg

978-7-111-46233-0-Chapter06-220.jpg

其中978-7-111-46233-0-Chapter06-221.jpg.

这里需要说明的是:隐函数(组)的求导公式,大家不必去死记硬背.在实际做题时,直接对方程(组)两边求偏导,然后解出所需要的偏导数即可.

3.反函数组存在定理:

u=fxy),v=gxy

在点(x0y0)的某邻域内连续可微,u0=fx0y0),v0=gx0y0),且

978-7-111-46233-0-Chapter06-222.jpg

则在(u0v0)的某邻域内存在唯一的反函数组

x=xuv),y=yuv

满足x0=xu0v0),y0=yu0v0)且成立

978-7-111-46233-0-Chapter06-223.jpg

6.5 反函数组存在定理是隐函数组存在定理的特殊情况.事实上,若令

Fxyuv=u-fxy),Gxyuv=v-gxy.

FG利用隐函数组存在定理就可得到反函数组存在定理.

另外,利用隐函数存在定理也可推出反函数存在定理,请同学们自行完成.

6.31 证明命题6.5.

证明 存在性.即证:∀x0∈(ab),∃y0∈(-∞,+∞),使得Fx0y0=0.

事实上,∀y2>y1,考虑

978-7-111-46233-0-Chapter06-224.jpg

固定y1,令y2+∞,由Fx0y2)≥Fx0y1+my2-y1)知,

978-7-111-46233-0-Chapter06-225.jpg

固定y2,令y1-∞,由Fx0y1)≤Fx0y2-my2-y1)知,

978-7-111-46233-0-Chapter06-226.jpg

由介值定理,∃y0∈(-∞,+∞),使Fx0y0=0.

唯一性.由Fym>0不难看出.

连续性.对x0∈(ab),∀ε>0,由Fx0y0=0及Fy>0可知,

Fx0fx0<0<Fx0fx0.

F关于x连续性知,∃δ>0,当∣x-x0时,有

Fxfx0<0<Fxfx0.

由介值定理,有

fx-fx0)∣

y=fx)在点x0连续.由x0的任意性,y=fx)在(ab)上连续.

顺便指出,从证明的过程看,ab分别取-∞和+∞也是可以的.

6.32 设fxy)及其一阶偏导数在(0,1)附近存在、连续,且fy(0,1)≠0,又f(0,1)=0.证明:

978-7-111-46233-0-Chapter06-227.jpg

在点978-7-111-46233-0-Chapter06-228.jpg附近可确定一单值函数t=φx),并求φ′(0)(南京大学).

解 令978-7-111-46233-0-Chapter06-229.jpg.

下面验证Fxt)在978-7-111-46233-0-Chapter06-230.jpg附近满足隐函数存在定理的条件.

Fxxy=fxx,1-cost)和Ftxt=fyx,1-cost)sintf的一阶偏导数在(0,1)附近的连续性可知,Fxxt),Ftxt)在978-7-111-46233-0-Chapter06-231.jpg附近连续.

978-7-111-46233-0-Chapter06-232.jpg知,初始条件满足.

978-7-111-46233-0-Chapter06-233.jpg

于是,由隐函数存在定理,在978-7-111-46233-0-Chapter06-234.jpg附近由方程Fxt=fx,1-cost=0可以确定唯一的连续可微函数t=φx),满足

Fxφx))≡0,

978-7-111-46233-0-Chapter06-235.jpg(www.xing528.com)

类题 设f′u)在u=1的某邻域内连续且不为零,证明:方程2fxy)=fx)+fy)在(1,1)点的邻域内可以唯一确定一个隐函数y=yx),并求y′(1).

提示 令Fxy)=2fxy)-fx)-fy),对Fxy)直接验证隐函数存在定理的条件.978-7-111-46233-0-Chapter06-236.jpg

6.33 设uxy)是由方程组u=fxyzt),gyzt=0,hzt=0确定的函数,其中fgh均连续可微,且978-7-111-46233-0-Chapter06-237.jpg,求978-7-111-46233-0-Chapter06-238.jpg.

解法1 由978-7-111-46233-0-Chapter06-239.jpg可知,由方程组

gyzt=0,hzt=0(1)

可以确定以y为自变量,以zt为因变量的函数,即z=zy),t=ty.这样复合的层次如图6-5所示.

于是,由复合函数微分法,有

978-7-111-46233-0-Chapter06-240.jpg

为了求z′y)和t′y),在方程组(1)两边关于y求导,可得

978-7-111-46233-0-Chapter06-241.jpg

978-7-111-46233-0-Chapter06-242.jpg

图6-5 uxy)的复合层次

由此可得

978-7-111-46233-0-Chapter06-243.jpg

代入式(2)得

978-7-111-46233-0-Chapter06-244.jpg

解法2 直接从下面的方程组出发:

978-7-111-46233-0-Chapter06-245.jpg

其中Fxyztu=u-fxyzt.

因为978-7-111-46233-0-Chapter06-246.jpg,所以由方程组(3)可以确定以xy为自变量,以uzt为因变量的函数.在方程组(3)两边关于y求导,可得

978-7-111-46233-0-Chapter06-247.jpg

从这个方程组中解出uy即可.

6.34 在直角坐标系xOy中引入变换:

x=xuv),y=yuv),

并将坐标系中任一点的位置向量记为r=r(uv.若变换式中函数xy连续可微,Jacobi行列式978-7-111-46233-0-Chapter06-248.jpg,且978-7-111-46233-0-Chapter06-249.jpg978-7-111-46233-0-Chapter06-250.jpg垂直,试证:对任何可微函数Fuv),其梯度可表示为

978-7-111-46233-0-Chapter06-251.jpg

其中

978-7-111-46233-0-Chapter06-252.jpg

复旦大学.

证明 要证明的结果是一个向量等式.下面我们通过耐心地计算说明两边相等.

978-7-111-46233-0-Chapter06-253.jpg.x=xuv),y=yuv)可得

978-7-111-46233-0-Chapter06-254.jpg

解之可得

978-7-111-46233-0-Chapter06-255.jpg

978-7-111-46233-0-Chapter06-256.jpg

由r=xuv)i+yuv)j可得

978-7-111-46233-0-Chapter06-257.jpg

因为978-7-111-46233-0-Chapter06-258.jpg978-7-111-46233-0-Chapter06-259.jpg垂直,所以

978-7-111-46233-0-Chapter06-260.jpg

978-7-111-46233-0-Chapter06-261.jpg

978-7-111-46233-0-Chapter06-262.jpg

978-7-111-46233-0-Chapter06-263.jpg

6.35 设函数fxy)在点(x0y0)的邻域内二次连续可微,且fxx0y0=0,fxxx0y0>0.

(1)试证:存在y0δ邻域Uy0δ),使对任何yUy0δ)能求得fxy)关于x的一个极小值gy);

(2)试证:g′y0=fyx0y0)(复旦).

证明 (1)对给定的y,要求fxy)关于x的极小值,按照求极值的步骤,应对y找出x使得fxxy=0(即将y视为常数,对fxy)关于x求驻点).也就是说,找由方程fxxy=0所确定的隐函数x=xy),使得fxxy),y=0.

由已知条件,方程fxxy=0在点(x0y0)的邻域内满足隐函数存在定理的全部条件,因此在点(x0y0)的某个邻域内由方程fxxy=0可确定唯一的连续可微函数x=xy)满足x0=xy0),fxxy),y)≡0.又由fxxx0y0>0及其连续性知,存在充分小的δ>0,使当yUy0δ)时,fxxxy),y>0.这表明fxy)关于x在点(xy),y)处取得极小值,记为gy),即

gy=fxy),y.

(2)由定义及f在点(x0y0)的可微性,有

978-7-111-46233-0-Chapter06-264.jpg

其中Δx=xy0+Δy-xy0),978-7-111-46233-0-Chapter06-265.jpg(因为x=xy)在y0的小邻域内连续,所以当Δy➝0时,Δx➝0,因此oρ)是有意义的).

注意到fxx0y0=0及

978-7-111-46233-0-Chapter06-266.jpg

有界,由式(1)可知,

g′y0=fyx0y0.

6.36 设Fxyz)在R3中有连续的一阶偏导数,并满足

978-7-111-46233-0-Chapter06-267.jpg

证明:当动点(xyz)沿着曲线Γx=-costy=sintz=tt≥0)趋向无穷时,Fxyz)➝+.

证明 记ft=F-cost,sintt),则

978-7-111-46233-0-Chapter06-268.jpg

当(xyz)∈Γ时,有978-7-111-46233-0-Chapter06-269.jpg因此,根据微分中值定理,有

Fxyz-F-1,0,0)=ft-f(0)=f′ξtαt

Fxyz)≥F-1,0,0)+αt.

于是有

Fxyz)➝+∞ (t+∞).

免责声明:以上内容源自网络,版权归原作者所有,如有侵犯您的原创版权请告知,我们将尽快删除相关内容。

我要反馈