考研笔记

分段函数图像：沿射线断开，但

一句话结论

这题最容易误判的地方是：图像明明在 x=0, y>0 那条射线附近突然断开，但对每个 来说，沿 x 方向做局部微小移动时，函数值又确实都不变，所以 在整个 上都等于 。

核心内容

函数定义为

其他

1. 图像为什么会“突然断开”

先把图像拆成两块看：

  • 当 时，曲面是 ，而且它根本不依赖 ，所以是一张沿 方向平移展开的“抛物柱面薄帘”。
  • 在其余所有点上，函数值都等于 ，所以对应的是平面 。

真正关键的是：射线已经从定义域里删掉了。于是当 固定时，

左右两侧根本接不上，所以图像会在这条删去的射线旁边直接裂开。

只有原点是例外：虽然 也不在定义域里，但两侧都趋于 ，所以它不是“跳断点”，只是也被一起删掉了。

2. 为什么 处处等于

对任意 ，分情况看：

  • 若 ，那么在这个点附近恒有 。
  • 若 且 ，那么沿着 这条线也恒有 。
  • 若 且 ，在点附近有 ，与 无关。
  • 若 且 ，在点附近有 ，同样与 无关。
  • 若 ，这个点仍在定义域内，而且附近依然恒有 。

所以无论落在哪一类，只要点属于 ，都能找到一个足够小的邻域，使得固定住 之后，函数在该邻域里对 根本没有变化。于是

结论就是

3. 为什么“突然断开”和“”并不矛盾

真正要记住的是：固定一个 后，水平截线并不是整条实线，而是，它被删去点 切成了两个连通片。

而“”只能推出：

  • 在左边这个连通片上，函数对 是常数；
  • 在右边这个连通片上，函数对 也是常数。

但它不能逼着左右两边的常数相等，因为中间缺了一个点，无法把两边连成同一段。

这题的本质不是“偏导计算有陷阱”，而是：

域在水平方向被切断之后，对 x 的偏导恒为 0 只意味着“每一段里不变”，不意味着“跨缺口也不变”。

最小例子 / 图示 / 代码

读图时建议按这个顺序：

  1. 先看左边三维图：平面 和曲面 在删去射线旁边裂开。
  2. 再看右上：固定 后，沿 看过去是两个水平段，中间在 处断开。
  3. 最后看右下：这条水平线在定义域里本来就被切成了两段，所以两边各自常数并不冲突。

图里为了让缺口更容易看清，把删去的射线在视觉上稍微放宽了一点；数学上真正删掉的仍然只有 这一条射线。

易错点 / 使用边界

  • 不要因为图像跳断，就误以为某些地方的 必然不存在；这题恰好相反， 在整个 上都存在且等于 。
  • 不要把“”直接理解成“函数与 完全无关”；这还要看定义域在固定 后是不是一整段连通区间。
  • 原点 被删掉了，但它不是这题真正的跳断来源；真正突然裂开的部分是 。
  • 这题说明多元函数里，讨论偏导时一定要把“局部邻域”与“整条截线的连通性”分开看。

链接

反向链接