【高等数学笔记】关于二元函数可微的充分条件

在上篇文章中，我们介绍了二元函数可微的一个充分条件：

定理2 设函数$z=f(x,y)$在点$(x_0,y_0)$得的某个邻域内有定义，若$f(x,y)$的两个偏导数均在点$(x_0,y_0)$处连续，则该函数在点$(x_0,y_0)$处可微。

但我们事实上还可以弱化这个条件。

定理2’ 设函数$z=f(x,y)$在点$(x_0,y_0)$得的某个邻域内有定义，若$f_y(x,y)$在$(x_0,y_0)$处连续，且$f_x(x_0,y_0)$存在，则$z$在该点可微。
证明：考虑$$\begin{array}{rl}\Delta z& =f(x_0+\Delta x,y_0+\Delta y)-f(x_0,y_0)\\ & =[f(x_0+\Delta x,y_0+\Delta y)-f(x_0+\Delta x,y_0)]+[f(x_0+\Delta x,y_0)-f(x_0,y_0)]\end{array}$$左边使用拉拉格朗日中值定理得$$f(x_0+\Delta x,y_0+\Delta y)-f(x_0+\Delta x,y_0)=f_y(x_0+\Delta x,y_0+\theta \Delta y)\Delta y$$其中$\theta \in (0,1)$。由于$f_y(x,y)$在$(x_0,y_0)$连续，故有$$\underset{(\Delta x,\Delta y)\to (0,0)}{\lim }{f}_y(x+\Delta x,y+\theta \Delta y)=f_y(x_0,y_0)$$设${\alpha }_1={\alpha }_1(y)$为一个无穷小量，则有$$f_y(x+\Delta x,y+\theta \Delta y)=f_y(x_0,y_0)+{\alpha }_1$$对$x$而言，我们有$$f_x(x_0,y_0)=\underset{\Delta x\to 0}{\lim }\frac{f(x_0+\Delta x,y_0)-f(x_0,y_0)}{\Delta x}$$故$$f(x_0+\Delta x,y_0)-f(x_0,y_0)=[f_x(x_0,y_0)+{\alpha }_2]\Delta x$$其中${\alpha }_2={\alpha }_2(x)$为无穷小量。那么$$\Delta z=[f_y(x_0,y_0)+{\alpha }_1]\Delta y+[f_x(x_0,y_0)+{\alpha }_2]\Delta x=f_x(x_0,y_0)\Delta x+f_y(x_0,y_0)\Delta y+{\alpha }_1\Delta y+{\alpha }_2\Delta x$$只需证$${\alpha }_1\Delta y+{\alpha }_2\Delta x=o(\rho ),\rho =\sqrt{(\Delta x{)}^2+(\Delta y{)}^2}$$
而$$|\Delta x|\le \rho ,|\Delta y|\le \rho$$故$$\underset{\rho \to 0}{\lim }\frac{|{\alpha }_1\Delta y+{\alpha }_2\Delta x|}{\rho }\le \underset{\rho \to 0}{\lim }\frac{|{\alpha }_1\rho +{\alpha }_2\rho |}{\rho }=0$$一个函数的绝对值的极限为$0$，那它本身的极限肯定是$0$。因此${\alpha }_1\Delta y+{\alpha }_2\Delta x=o(\rho )$，定理证毕。∎

---

一道例题：
例 当（ ）时，$f(x,y)$在$(0,0)$处可微。
A. $$\underset{(x,y)\to (0,0)}{\lim }[f(x,y)-f(0,0)]=0$$B.$$\underset{x\to 0}{\lim }\frac{f(x,0)-f(0,0)}{x}=\underset{y\to 0}{\lim }\frac{f(0,y)-f(0,0)}{y}=0$$C.$$\underset{(x,y)\to (0,0)}{\lim }\frac{f(x,y)-f(0,0)}{\sqrt{x^2+y^2}}=0$$D.$$\underset{x\to 0}{\lim }[f_x(x,0)-f_x(0,0)]=\underset{y\to 0}{\lim }[f_y(0,y)-f_y(0,0)]=0$$
答案是C。A、B分别代表连续和偏导数存在，不能说明可微。D是一个坑，注意，题目中并没有蕴含$f_x(x,y)$与$f_y(x,y)$在$(0,0)$连续，因为只有一个变量趋于$0$。D有一个反例：$$f(x,y)=\{\begin{array}{ll}1,& xy=0\\ 0,& xy\ne 0\end{array}$$这个函数仅在坐标轴上函数值为$1$，在其他点函数值都为$0$。它满足$D$的条件，但甚至在$(0,0)$不连续。
对于C，分别将$x=0$与$y=0$带入得$f_x(0,0)=f_y(0,0)=0$。而可微时$$\Delta f=f_x(0,0)\Delta x+f_y(0,0)\Delta y+o(\rho )=o(\rho )$$所以只需要说明$f(x,y)=o(\rho )$即可。而$$\underset{(x,y)\to (0,0)}{\lim }\frac{\Delta f}{\rho }=\underset{(x,y)\to (0,0)}{\lim }\frac{f(x,y)-f(0,0)}{\sqrt{x^2+y^2}}=0$$即$\Delta f=o(\rho )$，所以它可微。