第20页
§2 隐函数组
一、 隐函数组概念
设F (x, y,u,v)和G(x, y,u,v)为定义在区域V R4上的两个四元
函数. 若存在平面区域D, 对于D中每一点(x, y), 分别有区间J
和K上唯一的一对值u J , v K , 它们与x, y一起满足方程组
F (x, y,u,v) 0, G(x, y,u,v) 0,
1. 若方程(1)能确定隐函数,则交集非空. P0(x0 , y0 )使得 F(x0 , y0 ) 0.
2. 若F在点P0可微,且 (Fx (P0 ), Fy (P0 )) (0,0),
则z F (x, y)在点P0的切平面与z 0相交于直线l. 从而 z F (x, y) 在点P0与z 0相交成平面曲线.
(iv) Fy (x10 ,, xn0 , y0 ) 0, 则在点P0的某邻域U (P0 ) D内,方程F (x1,, xn, y) 0唯一地确定了 一个定义在Q0 (x10,, xn0 )的某邻域U (Q0 ) Rn内的n元连续函数(隐函数), y f (x1,, xn ),使得 1)当 (x1,, xn ) U (Q0 )时, (x1,, xn, f (x1,, xn )) U (P0 ), 且
,
x0
)内连续.
第12页
例1. 验证方程 sin y ex xy 1 0 在点(0,0)某邻域 可确定一个单值可导隐函数 y f (x) ,并求
dy dx
x0
,
d2y dx2
x0
解: 令 F (x, y) sin y ex xy 1, 则
F, Fx ex y, Fy cos y x 连续 ,
由连续函数的局部保号性, (0, ],使当x (x0 , x0 )时,