如何判断函数是否可微:多元函数需验证偏导连续且满足增量极限条件
上次高数刷题卡了整整一节课,死死纠结如何判断函数是否可微,总把一元函数和多元函数的判定规则揉在一起,做题时凭模糊印象瞎判断,十道题能错八道,越刷越烦躁。
一开始只记了零散的知识点。
傻乎乎的以为只要函数的偏导数存在,就一定是可微的,抱着这个错误的认知刷了大半本习题集,直到遇到一道分段多元函数的真题,彻底翻车。当时认认真真算出了函数在定点的两个一阶偏导数,数值都是确定的,理所当然的判定函数可微,可参考答案的解析直接推翻了我的结论,卷面被我自己画满了凌乱的问号,完全想不通问题出在哪。折腾好久才搞明白,一元函数和多元函数的可微判定逻辑,根本不是一回事,这是最容易踩死坑的地方。
一元函数很简单,可导就等价于可微,条件宽松的多,不用额外验证其他内容。但多元函数完全不同,偏导存在只是最基础的必要条件,根本算不上充分条件,单凭这一点,完全不足以判定函数可微。很多题目就是抓住这个盲区出题,故意设置偏导存在、函数却不连续的陷阱,专门坑只会死记硬背的人。
这点坑了无数刷题的学生。
蹲在自习室翻了半小时课本和例题,一点点拆解可微的原始定义,慢慢摸出了实打实的判定步骤。先确认多元函数在指定的点是连续的,杜绝间断点的情况,再精准求解该点所有的一阶偏导数,最后也是最关键的一步,验证函数的全增量是否能拆解成偏导增量和高阶无穷小的形式,只有这个极限等式成立,才能最终确定函数可微。少掉任意一步,判断结果都是无效的,偷懒跳过步骤的结果,就是全盘出错。
后来对着错题重新完整演算一遍,清晰看到那道真题的函数在定点存在跳跃间断,哪怕偏导数完整存在、数值清晰,依旧不满足可微的核心要求。那一刻才彻底分清,连续、偏导存在、可微三者的递进关系,可微是要求最高的那个,需要同时满足多层条件,不是单一指标就能定论的。
刷题的时候还发现一个细小的问题,就是很多人会混淆偏导连续和函数连续的概念,误以为偏导连续就等同于函数可微,其实二者不能完全划等号,偏导连续只是可微的充分条件,而非必要条件,做题不能反向推导,不然依旧会判断失误。
晚自习结束收拾笔袋的时候,草稿纸上密密麻麻的演算痕迹还摊在桌面,指尖轻轻蹭过红色的错题批注。