在微积分的学习过程中，理解二元函数的性质往往是许多同学的难点，其中“DS关系”常被用来指代函数可微性（Differentiability）与偏导数（Partial Derivatives）之间的逻辑联系。这篇文章将帮你厘清这一核心概念。

什么是二元函数的DS关系？

所谓“DS关系”，主要探讨的是：若二元函数 $z=f(x,y)$ 在某点处可微，那么其偏导数是否存在？ 若偏导数存在，函数是否一定可微？

是：可微必推偏导存在，但偏导存在不一定可微。 这是理解多元微分学的基石。

核心定理解析

可微 $Rightarrow$ 偏导数存在

如果函数在某点可微，说明该点的全增量可以由偏导数构成的线性主部精确逼近，此时两个偏导数 $f_x$ 和 $f_y$ 必然存在且有限。

偏导数存在 $nRightarrow$ 可微

偏导数仅反映了函数沿坐标轴方向的变化率。即使两个偏导数都存在，若它们在该点不连续，或者函数在该点不够“光滑”，函数仍可能不可微。

更强的条件：偏导数连续

若偏导数 $f_x, f_y$ 在点 $(x_0, y_0)$ 的邻域内存在且在该点连续，则可推出函数在该点可微。这是判定可微性的充分条件，也是考试中的高频考点。

在二元函数中，可微性是比偏导数存在更强的性质。判断时可遵循以下逻辑链：

偏导数连续 $rightarrow$ 可微

可微 $rightarrow$ 偏导数存在

偏导数存在 $nRightarrow$ 可微

掌握这一层级关系，能帮助你更清晰地构建多元微积分的知识体系。

感兴趣的伙伴可以在下方添加一下，也是为了大家有个属于纯爱好者的、纯净的平台来交流沟通、入圈、寻找自己的partner，少走弯路、少踩坑，毕竟鱼龙混杂、知己难觅~

新人入圈 👉 点击这里 👈

（备用微信号： domsm789 ）