如何用直线路径y=mx判断二元函数在某点的连续性？附实例

嘿，咱们来一步步拆解怎么用$y=mx$这种直线路径判断二元函数在指定点的连续性，再拿你给的例子实操一遍——毕竟光讲理论太干，结合实例才好懂。

先搞懂核心逻辑：直线路径法到底是干嘛的 #

首先得回忆下二元函数连续的定义：只有当$(x,y)$以任意方式趋近于$(x_0,y_0)$时，函数的极限都等于该点的函数值$f(x_0,y_0)$，函数在这个点才是连续的。

那$y=mx$这种直线路径，本质是一种「快速排雷工具」：

• 如果沿着不同斜率$m$的直线趋近目标点时，极限值不一样，或者极限和$f(x_0,y_0)$不相等，那直接可以拍板：函数在这一点不连续——因为连“所有直线路径极限一致”都做不到，更别说“任意路径”了。
• 但要注意：如果所有直线路径的极限都等于$f(x_0,y_0)$，不能直接断定连续！因为还存在曲线路径（比如$y=x^2$这种）可能会让极限跑偏，这时候得用更严谨的方法（比如$\epsilon-\delta$定义）进一步验证。

具体操作步骤 #

我把流程拆成4步，跟着走就行：

1. 先算目标点的函数值：先看$(x_0,y_0)$在不在函数定义域里，算$f(x_0,y_0)$——要是点都不在定义域，直接不连续。
2. 代入直线路径$y=mx$：因为咱们要趋近$(x_0,y_0)$，所以取过该点的直线（比如趋近$(0,0)$就用$y=mx$），把$y$换成$mx$，把二元函数转成只关于$x$的一元函数。
3. 计算一元函数的极限：让$x$趋近于$x_0$，算出这个一元函数的极限值。
4. 对比极限和函数值：
   • 要是不同$m$得到的极限不一样，或者极限≠$f(x_0,y_0)$，直接判定不连续；
   • 要是所有$m$对应的极限都等于$f(x_0,y_0)$，就得进一步用其他方法验证所有路径的极限是否一致。

实例实操：$f(x,y)=\frac{x^2-y2}{x+y+1}$在$(0,0)$处的连续性 #

咱们按上面的步骤来：

第一步：计算$f(0,0)$ #

把$x=0,y=0$代入函数，分母是$0+0+1=1≠0$，完全在定义域内：
$$f(0,0)=\frac{0^2-02}{0+0+1}=0$$

第二步：代入$y=mx$，转化为一元函数 #

把$y=mx$代入$f(x,y)$，化简一下：
$$f(x,mx)=\frac{x^2-(mx)2}{x+mx+1}=\frac{x^2(1-m2)}{x(1+m)+1}$$

第三步：计算$x \to 0$时的极限 #

当$x$趋近于0的时候，分母$x(1+m)+1$会趋近于1，分子$x^2(1-m2)$会趋近于0——不管$m$取什么实数（只要路径趋近$(0,0)$时分母不为0，这里显然满足），这个极限都是：
$$\lim_{x \to 0} f(x,mx)=\frac{0}{1}=0$$

第四步：进一步验证所有路径的极限 #

因为所有直线路径的极限都等于$f(0,0)$，这时候不能直接下结论，得用更严谨的方法确认。咱们用$\epsilon-\delta$定义来验证：

对于任意给定的$\epsilon>0$，我们要找一个$\delta>0$，当$\sqrt{x^2+y2}<\delta$时，$|f(x,y)-f(0,0)|<\epsilon$。

先计算差值的绝对值：
$$|f(x,y)-0|=\left|\frac{x^2-y2}{x+y+1}\right|=\left|\frac{(x-y)(x+y)}{x+y+1}\right|$$

我们可以先限制$\delta<\frac{1}{2}$，这样当$\sqrt{x^2+y2}<\delta$时，$|x|<\frac{1}{2},|y|<\frac{1}{2}$，此时$|x+y+1| \geq 1 - |x| - |y| > 1 - \frac{1}{2} - \frac{1}{2}=0$，而且$|x+y+1| > \frac{1}{2}$（因为$x+y > -\frac{1}{2}-\frac{1}{2}=-1$，所以$x+y+1>0$，且最小值大于$\frac{1}{2}$）。

同时，$|x^2-y2| \leq |x|^2 + |y|^2 < \delta^2 + \delta^2=2\delta2$，所以：
$$|f(x,y)| < \frac{2\delta^{2}{\frac{1}{2}}=4\delta}2$$

只要让$4\delta^2 < \epsilon$，也就是$\delta < \sqrt{\epsilon/4}=\frac{\sqrt{\epsilon}}{2}$，再结合之前的$\delta<\frac{1}{2}$，取$\delta=\min\left(\frac{1}{2},\frac{\sqrt{\epsilon}}{2}\right)$，就能满足条件。

这说明不管$(x,y)$以什么方式趋近$(0,0)$，函数的极限都是0，等于$f(0,0)$，所以这个函数在$(0,0)$处是连续的。

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