方向导数存在不必然推出可微或连续性的相关技术疑问

嘿，这个问题问到点子上了！先帮你纠正一个定理表述的小细节——你提到的“偏导数存在且$f$连续则函数可微”是不准确的，正确的定理是：若函数在某点的偏导数存在且连续，则函数在该点可微。这点很关键，先理清这个，再解答你的两个核心疑问：

1. 方向导数存在是否意味着偏导数一定存在？ #

答案是完全不一定。举个经典的反例就能说明：

考虑二元函数 ( f(x,y) = \sqrt{x^2 + y^2} )（可以理解为原点处的圆锥面）在点 ((0,0)) 处的情况：

• 任意方向的方向导数：对于任意单位方向向量 ( \boldsymbol{u}=(\cos\theta, \sin\theta) )，按方向导数的定义（单侧极限，( t \to 0^+ )）：
  [
  D_{\boldsymbol{u}}f(0,0) = \lim_{t \to 0^+} \frac{f(t\cos\theta, t\sin\theta) - f(0,0)}{t} = \lim_{t \to 0^+} \frac{t}{t} = 1
  ]
  显然对所有 ( \theta )，这个极限都存在，也就是说原点处所有方向导数都存在。
• 但偏导数不存在：以x方向的偏导数为例，按定义需要考虑双侧极限：
  [
  f_x(0,0) = \lim_{t \to 0} \frac{f(t,0) - f(0,0)}{t} = \lim_{t \to 0} \frac{|t|}{t}
  ]
  当 ( t \to 0^+ ) 时极限是1，( t \to 0^- ) 时极限是-1，左右极限不相等，所以偏导数 ( f_x(0,0) ) 不存在，同理 ( f_y(0,0) ) 也不存在。

本质原因是：方向导数通常定义为单侧极限（只考虑沿方向趋近的正方向），而偏导数要求的是双侧极限（沿坐标轴正负两个方向的变化率要一致）。所以方向导数全存在，不代表偏导数一定存在。

2. 若方向导数存在且$f$连续，是否可以推断函数可微？ #

答案还是不行，继续用上面的例子就能验证：

• 函数 ( f(x,y) = \sqrt{x^2 + y^2} ) 在原点处显然连续：( \lim_{(x,y)\to(0,0)} f(x,y) = 0 = f(0,0) )；
• 所有方向导数都存在（刚才已经证明）；
• 但函数在原点处不可微：可微的定义要求函数在该点存在线性近似，即存在常数 ( A,B ) 使得：
  [
  f(x,y) = f(0,0) + A x + B y + o\left(\sqrt{x^2 + y^2}\right)
  ]
  而这里偏导数都不存在，自然找不到这样的 ( A,B )；从几何上看，原点是圆锥的尖点，没有切平面，也不符合可微的几何意义。

关键总结 #

• 方向导数全存在 ≠> 偏导数存在；
• 方向导数全存在 + 函数连续 ≠> 函数可微；
• 可微的可靠充分条件是：偏导数存在且连续，满足这个条件时，函数一定可微。

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