【璀璨数海】第一期 隐函数定理

隐函数定理

鸽了好久了，大三生活真的好累啊！
\quad\quad 前两天夏令营面试的时候被问到了隐函数定理，特此专门写一篇博文来重新复习讲解一下隐函数定理的内容。

定理内容：

假定$(x_0,y_0)$是平面曲线$F(x,y)=0$上一点，且函数$F(x,y)$关于$x,y$连续可微。如果在$(x_0,y_0)$处$F_y(x,y)\ne 0$，那么在$(x_0,y_0)$附近该曲线有显式表达式$y=f(x)$，且该显式表达式可微，有$y$关于$x$的一阶导数$f^{\prime }(x)=-\frac{F_x}{F_y}$。

定理证明:

存在性：

我们来对上述命题进行一下证明，$F_y\ne 0$告诉了我们什么信息呢?

表明$x_0$保持不动，$y_0$增加一点点以及减少一点点的时候，F值会随之增加一点点或减小一点点(如果$F_y$在$(x_0,y_0)$处为正)。我们通过图片展示出来：

其中$A,B,C$点有相同的横坐标$x_0$，B点即为上文中提到的点$(x_0,y_0)$，A点纵坐标增加了一丢丢，为$(x_0,y_0+dy)$；C点纵坐标减小了一丢丢，为$(x_0,y_0-dy)$。$dy$充分小，使得$F{|}_A>0$，$F{|}_B=0$，$F{|}_C<0$。

这时候再以$A$和$C$为中心，进行延伸：

因为于$A$处，$C$处连续，存在充分小邻域使得$F$在$A1-A2$ 线段上以及端点$A1,A2$取值正负相同，$F$在$C1-C2$ 线段上以及端点$C1,C2$取值正负相同。这样，对于任意该小邻域内的$x_1$，做$y$轴平行线，交线段$A1-A2$于一点$X_1$，交线段$C1-C2$于一点$X_2$。

则有$F{|}_{X_1}>0,F{|}_{X_2}<0$。由于在线段$X_1-X_2$上$F$取值连续，由介值定理，存在线段$X_1-X_2$上一点$(x_1,y_1)$使得$F(x_1,y_1)=0$。

下面证明不仅仅是存在$y_1$，而且$y_1$还是唯一的。因为$F$在B点附近是连续可微的，且$F_y{|}_B>0$。因而可以找一个更小的邻域，满足于更小的邻域上，有$F_y>0$，这样，对于每一个$x$，在对应的线段$X_1^{\prime }-X_2^{\prime }$上函数$F$从下到上函数值单调递增。这样介值y的值就是唯一存在的了。

到目前为止我们证明了局部函数$y=f(x)$的存在性，下面来验证函数$y=f(x)$的连续性与可微性。

连续性：

首先来证明连续性，我们回顾下连续性的定义，即是说：
$$\forall ϵ,\exists \delta ,s.t.|y-y_0|<ϵif|x-x_0|<\delta .$$
那么我们在首次选取邻域的时候只需要选择$|AC|<ϵ$即可保证对应的临近的y值都满足:$|y-y_0|<ϵ$。

可微性：

下面来证明可微性。当然这里可微性的证明要以$F$的可微性作为支持。
我们知道，F连续可微，因而在B点充分小邻域内$F_x,F_y$连续。那我考虑$x_0$邻域中的x，对应有相应的$y=f(x)$。

我们考虑点$(x,y_0)$，将函数值$F(x,y_0)$在$(x_0,y_0)$与$(x,y_0)$之间运用中值定理有:

$$F(x,y_0)=F(x_0,y_0)+F_x(x_{\theta },y_0)(x-x_0),x_0<x_{\theta }<x.$$

将函数值$F(x,y_0)$在$(x,f(x))$与$(x,y_0)$之间运用中值定理有:

$$F(x,y_0)=F(x,f(x))-F_y(x,y_{\theta })(f(x)-y_0),y_0<y_{\theta }<f(x).$$
由于$F(x_0,y_0)=F(x,f(x))=0$，因而结合以上两式子，有:

$$f(x)=y_0-\frac{F_x(x_{\theta },y_0)}{F_y(x,y_{\theta })}(x-x_0)$$

而$$\frac{F_x(x_{\theta },y_0)}{F_y(x,y_{\theta })}=\frac{F_x}{F_y}{|}_{(x_0,y_0)}+o(1)$$
因而有:$$f(x)=y_0-\frac{F_x}{F_y}{|}_{(x_0,y_0)}(x-x_0)+o(|x-x_0|)$$。
根据可微定义，可知$y=f(x)$于$x_0$处可微，且$$y_x=-\frac{F_x}{F_y}$$.

几何意义

下面我们来看一个例子：

这是一个半径为1，圆心位于原点的圆。可以看到在$(-1,1)$中一个$x$值对应会有两个y值，因而这不是一个函数，但是却可以用隐函数$F(x,y)=x^2+y^2-1=0$的形式表示出这个平面曲线。但是在关注局部的时候，我们发现大多数情况，是可以用函数表示的。比如任取上半圆中一点:

在其附近确实能对任意x值找到唯一的y值与其对应。
同样的，在下半圆也是如此。

对应关系式为：
$$y=\sqrt{1-x^2},上半圆；y=-\sqrt{1-x^2},下半圆.$$

特别的可以观察到，在$(-1,0)$和$(1,0)$两个点处，有$F_y=0$；在图像上有对于其附近的任意定义域中$x$，都无法找到唯一的$y$与之对应。(这里是找到2个，这个个数的不同是否可以对这种奇点进行分类？)。

降维打击

$F(x,y)$实际上是一个三维的曲面，当$F(x,y)$值取定的时候，是否是一个曲线呢？还是一个点呢？
当$(F_x{)}^2+(F_y)2\ne 0$时，我们知道必然有$F_x\ne 0$或者$F_y\ne 0$。那么在该点存在y和x的限制关系，即是说可表述为二维曲线形式$y=f(x)$或者$x=g(y)$。
而当$(F_x{)}^2+(F_y)2=0$时，我们知道这是一个驻点或者是极值点，这时候的等高线是什么样子呢？
1.可以是一个平面。
2.可以是一个点。
3.可以是一个曲线。

---

文案：锦帆远航
图片：锦帆远航