【璀璨数海】第一期隐函数定理-CSDN博客

本文详细介绍了隐函数定理，包括其存在性、连续性和可微性的证明，以及几何意义的探讨。通过具体例子展示了如何将平面曲线转化为局部的显式函数，并讨论了(Fx)²+(Fy)²不等于0和等于0时的曲线特征。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

隐函数定理

在这里插入图片描述

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

定理内容：

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

定理证明:

存在性：

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

表明 $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)$ 。 $d y$ 充分小，使得 $F|_A>0$ ， $F|_B=0$ ， $F|_C<0$ 。

这时候再以 $A$ 和 $C$ 为中心，进行延伸：
在这里插入图片描述
因为于 $A$ 处， $C$ 处连续，存在充分小邻域使得 $F$ 在 $A 1 - A 2$ 线段上以及端点 $A 1, A 2$ 取值正负相同， $F$ 在 $C 1 - C 2$ 线段上以及端点 $C 1, C 2$ 取值正负相同。这样，对于任意该小邻域内的 $x_1$ ，做 $y$ 轴平行线，交线段 $A 1 - A 2$ 于一点 $X_1$ ，交线段 $C 1 - C 2$ 于一点 $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-X'_2$ 上函数 $F$ 从下到上函数值单调递增。这样介值y的值就是唯一存在的了。

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

连续性：

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

可微性：

下面来证明可微性。当然这里可微性的证明要以 $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,y0)=F(x0,y0)+Fx(xθ,y0)(x−x0),x0<xθ<x.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,y0)=F(x,f(x))−Fy(x,yθ)(f(x)−y0),y0<yθ<f(x).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)=y0−Fx(xθ,y0)Fy(x,yθ)(x−x0)f(x)=y_0-\frac{F_x(x_\theta,y_0)}{F_y(x,y_\theta)}(x-x_0)$

而 $Fx(xθ,y0)Fy(x,yθ)=FxFy∣(x0,y0)+o(1)\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)=y0−FxFy∣(x0,y0)(x−x0)+o(∣x−x0∣)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$ 处可微，且 $yx=−FxFyy_x=-\frac{F_x}{F_y}$ .

几何意义

下面我们来看一个例子：
在这里插入图片描述
这是一个半径为1，圆心位于原点的圆。可以看到在 $(- 1, 1)$ 中一个 $x$ 值对应会有两个y值，因而这不是一个函数，但是却可以用隐函数 $F(x,y)=x^2+y^2-1=0$ 的形式表示出这个平面曲线。但是在关注局部的时候，我们发现大多数情况，是可以用函数表示的。比如任取上半圆中一点:
在这里插入图片描述
在其附近确实能对任意x值找到唯一的y值与其对应。
同样的，在下半圆也是如此。

对应关系式为：
$y=1−x2,上半圆；y=−1−x2,下半圆.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)$ 值取定的时候，是否是一个曲线呢？还是一个点呢？
当 $(Fx)2+(Fy)2≠0(F_x)^2+(F_y)2\neq0$ 时，我们知道必然有 $Fx≠0F_x\neq0$ 或者 $Fy≠0F_y\neq0$ 。那么在该点存在y和x的限制关系，即是说可表述为二维曲线形式 $y = f (x)$ 或者 $x = g (y)$ 。
而当 $F_x)^2+(F_y)2=0$ 时，我们知道这是一个驻点或者是极值点，这时候的等高线是什么样子呢？
1.可以是一个平面。
2.可以是一个点。
3.可以是一个曲线。