关于间断导数存在性的技术问询：附分段函数示例

咱们直接聚焦这个分段函数的核心问题，一步步拆解：

先确认原函数在$x=c$处的连续性（可导的前提） #

首先，函数可导的必要条件是在该点连续，咱们先验证$f(x)$在$x=c$处的连续性：

• 左极限：$\lim_{x \to c^-} f(x) = \cos(ac)$
• 右极限：$\lim_{x \to c^+} f(x) = \cos(ac) \cdot e^{-b(c-c)} = \cos(ac)$
• 函数值：$f(c) = \cos(ac)$

三者相等，所以$f(x)$在$x=c$处始终连续，满足可导的前提条件。

一阶导数在$x=c$处存在的充要条件 #

导数存在的充要条件是左导数等于右导数，咱们分别计算：

1. 左导数：直接取左段导数在$x=c$处的值，即$f'_-(c) = -a\sin(ac)$
2. 右导数：用导数定义计算（不能直接取右段导数的表达式，因为要确认极限是否存在）：
   $$
   f'+(c) = \lim{h \to 0^+} \frac{f(c+h)-f(c)}{h} = \lim_{h \to 0^+} \frac{\cos(ac)e^{-bh} - \cos(ac)}{h}
   $$
   提取公因子$\cos(ac)$，利用等价无穷小$\frac{e^{-bh}-1}{h} \to -b$（$h\to0^+$），可得：
   $$
   f'_+(c) = -b\cos(ac)
   $$

令左导数等于右导数，得到导数存在的条件：

-a sin(ac) = -b cos(ac)

化简后为：

tan(ac) = b/a

导数的间断性分析 #

接下来看导数函数在$x=c$处的连续性（当导数存在时）：

• 导数的左极限：$\lim_{x \to c^-} f'(x) = -a\sin(ac)$，这正好等于$x=c$处的导数值（因为此时左导数=右导数=f'(c)）
• 导数的右极限：$\lim_{x \to c^+} f'(x) = -b\cos(ac)$，当导数存在时，这个值也等于$f'(c)$（因为满足$\tan(ac)=b/a$，即$-b\cos(ac)=-a\sin(ac)$）

所以当导数在$x=c$处存在时，导数函数在该点连续，不存在间断。

那什么时候会出现类似$y=|x|$的导数“间断”情况呢？
当tan(ac) ≠ b/a时，左导数≠右导数，$x=c$处导数不存在。此时导数函数在$x=c$处无定义，左段导数的极限是$-a\sin(ac)$，右段导数的极限是$-b\cos(ac)$，两者不相等，和$y=|x|$在$x=0$处的情况类似——导数在该点“断裂”，但严格来说，这是导数不存在的点，而非传统意义上的间断点（间断点要求点在函数定义域内）。

对比$y=|x|$的情况 #

$y=|x|$在$x=0$处连续，但左导数=-1、右导数=1，不相等，所以导数不存在；导数函数在$x<0$时为-1，$x>0$时为1，$x=0$处无定义，呈现“跳跃式”的断裂，和咱们这个分段函数在tan(ac)≠b/a时的情况一致。

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