为什么偏导数连续,函数就可微?

多变量微积分里面有这么一个结论:

如果函数为什么偏导数连续,函数就可微? 的偏导数为什么偏导数连续,函数就可微? 、为什么偏导数连续,函数就可微? 在点为什么偏导数连续,函数就可微? 连续,那么函数在该点可微。

下面来解释这个结论,并且减弱这个结论的条件。

先简单阐述下“连续”、“偏导数”、“可微”的意义,后面要用到。如果非常熟悉了,可以直接跳到最后一节“偏导数连续推出可微”。

1 连续的含义

通俗来说,用笔作画,不提笔画出来的曲线就是连续的:

为什么偏导数连续,函数就可微?

1.1 没有缝隙

我们对连续的函数曲线的直观感受是没有缝隙:

为什么偏导数连续,函数就可微?

如果把曲线看作一条道路的话,那么不管是蚂蚁、人还是自行车,都有能力从左边走到右边:

为什么偏导数连续,函数就可微?

而不连续的曲线会有断裂:

为什么偏导数连续,函数就可微?

蚂蚁通过能力太差,就没有办法跨过裂缝:

为什么偏导数连续,函数就可微?

1.2 另一层含义

从代数上我们可以看到另外一层含义。假设为什么偏导数连续,函数就可微? 附近某点为为什么偏导数连续,函数就可微? ,根据连续的性质有:

为什么偏导数连续,函数就可微?

利用极限的性质可以得到:

为什么偏导数连续,函数就可微?

因此上式表明,为什么偏导数连续,函数就可微? 与附近为什么偏导数连续,函数就可微? 的值相差非常小,这层含义也是没有“缝隙”的另外一种阐述。

2 可微的含义

2.1 单变量函数的微分

一元的情况下,在为什么偏导数连续,函数就可微? 点可微指的是,在为什么偏导数连续,函数就可微? 点附近可以用直线来近似曲线,这根直线就是切线:

为什么偏导数连续,函数就可微?

距离为什么偏导数连续,函数就可微? 越近,这种近似越好,体现为切线和曲线之间的相差越来越小:

为什么偏导数连续,函数就可微?

为什么偏导数连续,函数就可微? ,那么为什么偏导数连续,函数就可微? 附近曲线与直线的近似可以表示为:

为什么偏导数连续,函数就可微?

2.2 多变量函数的微分

多元的情况下,就要复杂一些。关于下面内容,想了解更详细的可以参看:

2.2.1 偏导数

首先要对偏导数有所了解。多变量的函数为什么偏导数连续,函数就可微? 可以是三维空间中的曲面

为什么偏导数连续,函数就可微?

平面为什么偏导数连续,函数就可微? 是一系列平面,它们与曲面交于一条条曲线:

为什么偏导数连续,函数就可微?

很显然,点在这些曲线上运动,为什么偏导数连续,函数就可微? 是不会变化的,只有为什么偏导数连续,函数就可微? 会变化:

为什么偏导数连续,函数就可微?

偏导数为什么偏导数连续,函数就可微? 所求的也就是在这些曲线上运动的点的速度(变化率),对于为什么偏导数连续,函数就可微? 点,知道它的偏导数就可以得到这条曲线在此点的线性近似,也就是这条曲线的切线,或者称为偏微分:

为什么偏导数连续,函数就可微?

这种近似关系可以表示为:

为什么偏导数连续,函数就可微?

同样的道理,偏导数为什么偏导数连续,函数就可微? 描述的是只有为什么偏导数连续,函数就可微? 值变化的曲线上的点的速度,假设这样的曲线为为什么偏导数连续,函数就可微? ,其切线与之的近似关系可以表示为::

为什么偏导数连续,函数就可微?

2.2.2 微分

多变量的函数为什么偏导数连续,函数就可微? 在为什么偏导数连续,函数就可微? 点的微分,指的是在为什么偏导数连续,函数就可微? 点找到一个平面来近似曲面,这就是切平面:

为什么偏导数连续,函数就可微?

切平面与曲面的近似可以表示为:

为什么偏导数连续,函数就可微?

上面出现了为什么偏导数连续,函数就可微? ,这是因为此点的邻域是一个平面(下面用圆来表示这个平面,实际上这个圆可以任意大小):

为什么偏导数连续,函数就可微?

此圆的半径可以表示为:

为什么偏导数连续,函数就可微?

2.3 微分与偏微分的关系

很显然,过为什么偏导数连续,函数就可微? 点,并不是只有为什么偏导数连续,函数就可微? 方向的曲线(两个方向的曲线的切线就是偏微分):

为什么偏导数连续,函数就可微?

还有无数别的方向的曲线(随便画了两条):

为什么偏导数连续,函数就可微?

这些曲线的切线(假如有的话)要在同一个平面,这个平面就是切平面,才叫做可微(详情参考之前给出的参考文章)。

而偏微分只是无数切线中的两条,所以:

为什么偏导数连续,函数就可微?

比如为什么偏导数连续,函数就可微? 就是偏导数存在,但是不可微。它的图像是:

为什么偏导数连续,函数就可微?

为什么偏导数连续,函数就可微? 点,为什么偏导数连续,函数就可微? 与为什么偏导数连续,函数就可微? 的交线是下面红色的直线,分别与为什么偏导数连续,函数就可微? 轴和为什么偏导数连续,函数就可微? 轴重叠:

为什么偏导数连续,函数就可微?

因此,在为什么偏导数连续,函数就可微? 点的偏微分就是为什么偏导数连续,函数就可微? 轴和为什么偏导数连续,函数就可微? 轴。但是为什么偏导数连续,函数就可微? 与为什么偏导数连续,函数就可微? 的交线是:

为什么偏导数连续,函数就可微?

为什么偏导数连续,函数就可微? 点形成了一个尖点:

为什么偏导数连续,函数就可微?

很显然此曲线的切线不存在(此曲线的左右切线由方向导数决定)。因此为什么偏导数连续,函数就可微? 在为什么偏导数连续,函数就可微? 点不可微(具体细节也请参看参考文章)。

3 偏导数连续推出可微

前面说了很多,就是为了得到下面这个表格:

为什么偏导数连续,函数就可微?

下面讲解涉及的三维图像太复杂,不容易看清,所以把三维图像画到二维中,应该不会影响理解。

先给出为什么偏导数连续,函数就可微? 、为什么偏导数连续,函数就可微? 、为什么偏导数连续,函数就可微? 、为什么偏导数连续,函数就可微? 四个点,把它们的三维坐标也标出来:

为什么偏导数连续,函数就可微?

为什么偏导数连续,函数就可微? 点的偏导数连续,分别为:

为什么偏导数连续,函数就可微?

为什么偏导数连续,函数就可微? 出发,运动到为什么偏导数连续,函数就可微? ,很显然只有为什么偏导数连续,函数就可微? 方向有变化:

为什么偏导数连续,函数就可微?

因此为什么偏导数连续,函数就可微? 点的值为:

为什么偏导数连续,函数就可微?

继续往上走到为什么偏导数连续,函数就可微? 点:

为什么偏导数连续,函数就可微?

因为偏导数连续,所以附近的偏导数也是存在的,假设为什么偏导数连续,函数就可微? 的偏导数为为什么偏导数连续,函数就可微? ,那么可得:

为什么偏导数连续,函数就可微?

这里就是关键了,因为偏导数连续,所以为什么偏导数连续,函数就可微? 、为什么偏导数连续,函数就可微? 偏导数差不多,有:

为什么偏导数连续,函数就可微?

因此上式可以改写为:

为什么偏导数连续,函数就可微?

至此,得到了为什么偏导数连续,函数就可微? 点可微的结论(上面的等价性没有证明,在一些《数学分析》书籍中,可微采用的是类似的定义)。

如果仔细看上面的证明,会发现只用到了为什么偏导数连续,函数就可微? 连续,因此条件可以减弱一些:

如果函数为什么偏导数连续,函数就可微? 的偏导数为什么偏导数连续,函数就可微? 、为什么偏导数连续,函数就可微? 在点为什么偏导数连续,函数就可微? 及其邻域存在,偏导数其中之一在邻域内连续,那么函数在该点可微。

最新版本可以参见: 为什么偏导数连续,函数就可微?