二元函数某点可微性定理应用疑问：为何无需证偏导邻域存在？

嘿，这个问题真的戳中了很多多元微积分学习者的盲区——明明定理要求偏导数在点(a,b)的邻域内存在，为什么解题时往往只验证偏导在(a,b)处连续呢？我来给你捋清楚背后的逻辑：

核心原因：初等函数的默认性质 #

我们在解题时遇到的绝大多数二元函数，都是初等函数（比如多项式、三角函数、指数/对数函数的组合）。而初等函数有个关键性质：在其定义域内的任意点，不仅本身连续，其偏导数（如果存在的话）也是初等函数，且在定义域内处处存在且连续。

举个例子，假设我们有函数 ( f(x,y) = x^3y + e^{xy}\cos(x) )，求它在点(1,2)处的可微性：

• 先算出偏导数：( f_x = 3x^2y + y e^{xy}\cos(x) - e^{xy}\sin(x) )，( f_y = x^3 + x e^{xy}\cos(x) )
• 这两个偏导都是初等函数，它们的定义域覆盖了整个xy平面（当然包括(1,2)的邻域），所以**“偏导在邻域内存在”这个条件是自动满足的**，不需要额外证明。
• 接下来只需要验证它们在(1,2)处连续——而初等函数在定义域内连续，这步其实也可以直接得出，但为了严谨，解答里会写出代入点验证连续的过程。

特殊情况：必须验证邻域存在的场景 #

当然，不是所有函数都是初等函数，遇到分段函数或者偏导表达式在(a,b)附近有定义间断点的情况，就必须明确证明偏导在邻域内存在：

比如这个分段函数：

( f(x,y) = \begin{cases}
\frac{x^2y}{x2+y^2}, & (x,y) \neq (0,0) \
0, & (x,y) = (0,0)
\end{cases} )

要判断它在(0,0)处的可微性：

• 首先得先证明在(0,0)的去心邻域内，( f_x ) 和 ( f_y ) 是存在的：通过求导公式可以算出，当(x,y)≠(0,0)时，( f_x = \frac{2xy(x^2+y2) - x^2y \cdot 2x}{(x^2+y2)^2} = \frac{2xy^3}{(x2+y²⁾2} )，这个表达式在(0,0)的去心邻域内是有定义的，所以邻域内偏导存在。
• 然后再看 ( f_x ) 在(0,0)处是否连续（这里其实是不连续的，所以这个函数在(0,0)处不可微）。

总结一下 #

• 若偏导数是初等函数，且在(a,b)的邻域内有定义，那么“邻域内偏导存在”是默认成立的，解答里只需要验证偏导在(a,b)处连续即可；
• 若函数是分段函数、或者偏导表达式在(a,b)附近有定义限制，就必须额外证明偏导在邻域内存在，不能省略这一步。

内容的提问来源于stack exchange，提问作者rert588