假设
x,y
被方程
F(x,y)=0
关联起来,我们会说这定义了一个函数
y=f(x)
(或者说隐式定义了
y=f(x)
),然后打算计算
dy/dx
。前面已经提到过,给定这样的
F
,一般不能显式求出
为了更好的理解给出的结论,考虑函数
F(x,y)=x2+y2−1
,我们对满足
F(x,y)=0
的
x,y
感兴趣,该函数中就是单位圆,当且仅当
f
定义域中的所有
图1
一般情况下我们希望有一个函数
F:Rn×Rm→Rm
并且考虑关系
F(x,y)=0
,或者写成
我们想从这
m
个方程中用
定理如下。
定理2
(隐函数定理) 令
A⊂Rn×Rm
是一个开集并且
F:A→Rm
是
Cp
类函数(即
F
有
在
(x0,y0)
处计算,其中
F=(F1,…,Fm)
。假设
Δ≠0
,那么存在一个
x0
的开邻域
U⊂Rn
与
y0
的开邻域
V
与唯一的函数
更进一步,
f
是
实际上我们应该看出上面的定义可以从逆函数中推出,从上面的例子可以看出该定理的有效性以及限制条件
Δ≠0
的必要性,从方程
F(x,f(x))=0
中我们可以用链式法则确定
Df
。首先考虑
m=1
的情况,那么根据链式法则
所以我们得到一个重要的方程(注意负号):
这里需要特别提醒一下,对于
不能够消去 ∂F 得出 ∂y/∂xi 。
我们可以像上面那样形式化一般的解。
推论1
在定理2中,
∂fj/∂xi
形式为
其中 e−1 表示逆矩阵。
该推论的证明与上面介绍的 m=1 情况一样。
例1:
考虑方程组
在 x=0,y=1,u=0,v=0 附近用 x,y 表示的 u,v 解是唯一的吗?如果 ∂u/∂x 在 x=0,y=1 处有解,那么求出该解。
解:
这里我们有
F(x,y,u,v)=0
,其中
F
表示给定方程的左半边,我们想看是否能求解
在给定的点处它等于0,隐函数定理告诉我们我们不能用 x,y 唯一的求出 u,v 。
to be continue……