§4隐函数 前面讨论的函数大多是z=f(x,y形式,如z=x和z=√x2+y2等。 这种函数表达形式通常称为显函数。 但在理论与实际问题中更多遇到的是函数关系无法用显式来表 达的情况。如在一元函数中提过的反映行星运动的 Kepler方程 F(x,y)=y-x-8sn y=0,0<8<I 这里x是时间,y是行星与太阳的连线扫过的扇形的弧度,E是行星 运动的椭圆轨道的离心率。从天体力学上考虑,y必定是x的函数, 但要将函数关系用显式表达出来却无能为力。 这种自变量和因变量混合在一起的方程(组)F(x,y)=0,在一定 条件下也表示y与x之间的函数关系,通称隐函数 那么自然要问,这种函数方程(组)在什么条件下确实表示了 个隐函数(向量值隐函数),如何保证该隐函数连续和可微?
前面讨论的函数大多是z = f (x, y)形式，如z = xy和 2 2 z = x + y 等。 这种函数表达形式通常称为显函数。 但在理论与实际问题中更多遇到的是函数关系无法用显式来表 达的情况。如在一元函数中提过的反映行星运动的 Kepler 方程 F(x, y) = y − x − sin y = 0, 0 1， 这里 x是时间， y 是行星与太阳的连线扫过的扇形的弧度， 是行星 运动的椭圆轨道的离心率。从天体力学上考虑， y 必定是x的函数， 但要将函数关系用显式表达出来却无能为力。 这种自变量和因变量混合在一起的方程（组）F x y ( , ) 0 = ，在一定 条件下也表示 y 与 x 之间的函数关系，通称隐函数。 那么自然要问，这种函数方程（组）在什么条件下确实表示了一 个隐函数（向量值隐函数），如何保证该隐函数连续和可微？ §4 隐函数
单个方程的情形 定理12.4.1(一元隐函数存在定理)若二元函数F(x,y)满足条 件 1)F(xn,y)=0; (2)在闭矩形D={(x,y)x-x0ka,|y-yb}上,F(x,y)连续,且 具有连续偏导数; (3)F,(x0,y)≠0 那么 (i)在点(x0,y)附近可以从函数方程 F(x,y)=0 唯一确定隐函数 y=f(x)x∈O(x0,p) 它满足F(x,f(x)=0,以及y=f(x0); (i)隐函数y=f(x)在x∈O(x,P)上连续 (ii)隐函数y=f(x)在x∈O(x0,p)上具有连续的导数,且 dy F(x, y) dx F(x, y)
那么 （ⅰ）在点 ( , ) 0 0 x y 附近可以从函数方程 F(x, y) = 0 唯一确定隐函数 ( ), ( , ) y = f x x O x0 , 它满足F(x, f (x)) = 0，以及 ( ) 0 0 y = f x ； （ⅱ）隐函数 y = f (x)在 ( , ) x O x0 上连续； （ⅲ）隐函数 y = f (x)在 ( , ) x O x0 上具有连续的导数，且 d ( , ) d ( , ) x y y F x y x F x y = − 。 单个方程的情形 定理 12.4.1（一元隐函数存在定理） 若二元函数F(x, y) 满足条 件： （1）F(x0 , y0 ) = 0； （2）在闭矩形 0 0 D = − − {( , ) || | , | | } x y x x a y y b 上，F(x, y) 连续，且 具有连续偏导数； （3） Fy (x0 , y0 ) 0
证不失一般性,设F,(x,y)>0 先证明隐函数的存在性。 使得在闭矩形D=(xy)川x-xa,y-B上a≤a0<B≤b, 由F,(xny)>0与F、(x,y)的连续性,可知存在0 F,(x,y)>0 于是,对固定的x,y的函数F(xn,y)在[y-By+是严格单调 增加的。又由于F(x0,y)=0,从而 B)<0,F(x,y0+B)>0
证 不失一般性，设 Fy (x0 , y0 ) 0。 先证明隐函数的存在性。 由 Fy (x0 , y0 ) 0 与 F (x, y) y 的连续性，可知存在0 a, 0 b ， 使得在闭矩形 * 0 0 D = − − {( , ) || | , | | } x y x x y y 上成立 Fy (x, y) 0。 于是，对固定的 0 x ，y 的函数 ( , ) 0 F x y 在[ , ] y0 − y0 + 是严格单调 增加的。又由于 F(x0 , y0 ) = 0 ，从而 F(x0 , y0 − ) 0, F(x0 , y0 + ) 0
由于F(x,y)在D上连续性,于是存在p>0,使得在线段 p<x<xo+p, y=yo +B 上F(x,y+B)>0,而在线段 xo-p<x<xo +p, y=yo-B 上F(x,y-B)<0 因此,对于(x0-,x+p)内的任一点x,将F(x,y)看成y的函数, 它在[y-B,y+B上是连续的,而由刚才的讨论知道 F(x,yo-B)<0, F(x,yo+B)>0 根据零点存在定理,必有ν∈(-By+B)使得F(x,y)=0。又因为在D 上F,>0,因此这样的y是唯一的
由于 F(x, y) 在 * D 上连续性，于是存在 0 ，使得在线段 x0 − x x0 + , y = y0 + 上F(x, y0 + ) 0，而在线段 x0 − x x0 + , y = y0 − 上F(x, y0 − ) 0。 因此，对于( , ) x0 − x0 + 内的任一点 x ，将F(x, y)看成 y 的函数， 它在[ , ] y0 − y0 + 上是连续的，而由刚才的讨论知道 F(x, y0 − ) 0, F(x, y0 + ) 0， 根据零点存在定理，必有 ( , ) y y0 − y0 + 使得 F(x, y) = 0 。又因为在 * D 上Fy 0 ，因此这样的 y 是唯一的
将p与x的对应关系记为p=f(x),就得到定义在(x-p,x+p)上 的函数y=f(x),它满足F(x,f(x)=0,而且显然成立y=f(x) yo+B F>0 yo (xy); yo-B F<0 xo-p x xo xo tp x 图1242
将 y 与 x 的对应关系记为 y = f (x)，就得到定义在( , ) x0 − x0 + 上 的函数 y = f (x)，它满足F(x, f (x)) 0，而且显然成立 ( ) 0 0 y = f x 。 y y0 + F 0 0 y ( , ) 0 0 x y y y0 − F 0 O x 0 x 0 x + x 图 12.4.2 0 x −