为什么可导不一定可微:多元偏导单向性无法满足全域可微

为什么可导不一定可微:多元偏导单向性无法满足全域可微

上次高数刷题卡到崩溃的时候,才彻底搞懂为什么可导不一定可微,我之前整整一学期都死死的背住一元函数的结论,把可导和可微当成完全绑定的等价条件,做题从不区分函数维度,踩了实打实的大坑。

一元函数里,这俩确实是等价的。

课本明确标注,一元函数可导与可微互为充要条件,当时只顾着记结论刷题,完全忽略了这句话的前置限定条件,把这个特例当成了所有函数的通用规律。那段时间刷基础题一路顺畅,就更加笃定自己的认知没错,直到遇到多元函数的判断题,自信落笔之后直接错题,狠狠推翻了我所有的固有认知,翻遍课堂笔记也找不到出错的源头,只记得老师课上提过多元函数的性质和一元完全不同,自己当时走神压根没往心里去。

后来翻课本逐字啃定义,才反应过来所有误区都来自维度差异。

一元函数只有唯一一个自变量,导数存在就意味着函数在这个点的变化趋势唯一且平滑,而可微的本质就是函数在某点可以用线性函数做局部近似,单一维度下只要导数存在,这个线性近似就一定成立,所以可导必然可微。

多元函数完全不遵循这个规则。

二元及以上函数里的可导,特指偏导数存在,这个定义的局限性特别大,它只检测了函数沿着坐标轴两个固定方向的变化速率,仅仅能证明x、y两个直线方向上函数是连续平滑的。但平面空间里有无数个趋近方向,斜线、曲线、任意角度的趋近路径都不在偏导数的检测范围内,哪怕两个坐标轴方向的偏导数都存在且固定,函数在其他方向上也可能出现突变、尖角、断裂的情况,根本没办法实现全域的局部线性近似,而可微的硬性要求,就是函数在某点所有方向上都能完成统一的线性逼近,单向合格自然撑不起全域合格。

当时专门动笔算过经典的二元分段反例函数,原点处对x、y的偏导数都能正常算出数值,满足可导条件,可换一条斜线路径趋近原点,极限值直接发生改变,完全达不到可微的判定标准。

很多人混淆这两个概念,都是和我一样,惯性套用一元函数的结论,没分清偏导和真导数的区别。多元函数的可导是局部、单向的判定,可微是整体、全域的判定,单向达标,永远不等于整体达标。

那天晚上合上书,草稿纸上密密麻麻爬满了偏导和可微的推导公式,盯着画歪的函数趋势图,呆呆坐了很久。

了解更多百科知识请访问 百科