F ( x , y ) = 0 , ( 1 ) F(x, y)=0, \quad\quad(1) F(x,y)=0,(1)
二、隐函数存在性条件的分析
上一段给出了隐函数的定义, 现在的问题是: 当函数 F ( x , y ) F(x, y) F(x,y) 满足哪些条件时, 由方程 (1)能确定隐函数 y = f ( x ) y=f(x) y=f(x), 并且该隐函数具有连续、可微等性质? 为此我们先作一些分析.
首先, y = f ( x ) y=f(x) y=f(x) 可以看作曲面 z = F ( x , y ) z=F(x, y) z=F(x,y) 与坐标平面 z = 0 z=0 z=0 的交线, 因此隐函数要存在, 至少该交集不能为空, 即存在 P 0 ( x 0 , y 0 ) P_{0}\left(x_{0}, y_{0}\right) P0(x0,y0), 使 F ( x 0 , y 0 ) = 0 , y 0 = f ( x 0 ) F\left(x_{0}, y_{0}\right)=0, y_{0}=f\left(x_{0}\right) F(x0,y0)=0,y0=f(x0).
其次, 方程 (1) 能在点 P 0 P_{0} P0 附近确定一个连续函数, 表现为上述交集是一条通过点 P 0 P_{0} P0 的连续曲线段 (图 18-1). 如果曲面 z = F ( x , y ) z=F(x, y) z=F(x,y) 在点 P 0 P_{0} P0 存在切平面, 且切平面与坐标平面 z = 0 z=0 z=0 相交于直线 l l l, 那么曲面 z = F ( x , y ) z=F(x, y) z=F(x,y) 在点 P 0 P_{0} P0 附近亦必与坐标平面 z = 0 z=0 z=0 相交(其交线在点 P 0 P_{0} P0 处的切线正是 l l l ). 为此, 设 F F F 在点 P 0 P_{0} P0 可微,且
( F x ( P 0 ) , F y ( P 0 ) ) ≠ ( 0 , 0 ) , ( 2 ) \left(F_{x}\left(P_{0}\right), F_{y}\left(P_{0}\right)\right) \neq(0,0), \quad\quad(2) (Fx(P0),Fy(P0))=(0,0),(2)
则可使上述切平面存在,并满足与 z = 0 z=0 z=0 相交成直线的要求.
如果进一步要求上述隐函数 y = f ( x ) y=f(x) y=f(x) (或 x = g ( y ) ) x=g(y)) x=g(y)) 在点 P 0 P_{0} P0 可微, 则在 F F F 可微的假设下, 通过方程 (1) 在 P 0 P_{0} P0 处对 x x x 求导,依链式法则得到
F x ( P 0 ) + F y ( P 0 ) ⋅ d y d x ∣ x = x 0 = 0. ( 3 ) F_{x}\left(P_{0}\right)+\left.F_{y}\left(P_{0}\right) \cdot \frac{\mathrm{d} y}{\mathrm{~d} x}\right|_{x=x_{0}}=0 .\quad\quad(3) Fx(P0)+Fy(P0)⋅ dxdy
x=x0=0.(3)
当 F y ( P 0 ) ≠ 0 F_{y}\left(P_{0}\right) \neq 0 Fy(P0)=0 时, 可由 (3) 解出
d y d x ∣ x = x 0 = − F x ( P 0 ) F y ( P 0 ) . \left.\frac{\mathrm{d} y}{\mathrm{~d} x}\right|_{x=x_{0}}=-\frac{F_{x}\left(P_{0}\right)}{F_{y}\left(P_{0}\right)} . dxdy x=x0=−Fy(P