[拼音]:yinhanshu
[外文]:implicit function
一个函数y=ƒ(x),隐含在给定的方程
(1)
中,作为这方程的一个解(函数)。例如
![](/d/bkimg/2022110715/g2yrnqha53g.webp)
给出
。
如果不限定函数连续,则式中正负号可以随x而变,因而有无穷个解;如果限定连续,则只有两个解(一个恒取正号,一个恒取负号);如果限定可微,则要排除x=±1,因而函数的定义域应是开区间(-1<x<1),但仍然有两个解;如果还限定在适合原方程的一个点(x,y)=( x0,y0)的邻近范围内,则只有一个惟一的解(当起点(x0,y0)在上半平面时取正号,在下半平面时取负号)。
微分学中主要考虑函数z=F(x,y)与y=ƒ(x)都连续可微的情形。这时可以利用复合函数的微分法对方程(1)直接进行微分:
。 (2)
可见,即使在隐函数y=ƒ(x)难于解出的情形,也能够直接算出它的导数,惟一的条件是
。 (3)
隐函数理论的基本问题就是,在适合原方程(1)的一个点的邻近范围内,在函数F(x,y)连续可微的前提下,什么样的附加条件能使得原方程(1)确定一个惟一的函数y=ƒ(x),不仅单值连续,而且连续可微,其导数由(2)完全确定。隐函数存在定理就在于断定(3)就是这样的一个条件,不仅必要,而且充分。
这个结果能够推广到方程组
。
相当于(2)的微分式给出相当于(3)的条件
![](/d/bkimg/2022110715/osvojm5odjm.webp)