n个方向导数为0是否可以推出函数为0？

ImbalanceDream

设一个定义在$\mathbb{R}^n$中一区域上的连续函数$f$，如果有$n$个线性无关的向量，使得$f$在这$n$个方向上的“单侧”方向导数为0，是否可以推出$f$恒为0？



PS：不同的书定义的方向导数不同，这里说的“单侧”方向导数，类似于单侧导数.

dstboxu

首先需要纠正一个常见的认知偏差：连续函数在某点处沿任意方向的方向导数一定存在的结论是错误的，该性质仅对可微函数成立，连续函数无法直接保证任意方向的方向导数存在。接下来我们逐步分析这个问题：  前提条件明确 我们讨论的是定义在n维欧氏空间   R  n  的连通开集  E上的多元可微标量函数  f，题目中给出的“n个线性无关的方向上方向导数全为0”，对应的数学表达为： 设这n个线性无关的单位方向向量为  1 ,  2 , … ,   u  1   ,u  2   ,…,u  n   ，对任意  = 1 , 2 , … ,  i=1,2,…,n，都有方向导数满足：     =      = 0 D  u  i      f=fu  i   =0  推导梯度为零向量 由于 {  1 ,  2 , … ,   } {u  1   ,u  2   ,…,u  n   }是n维空间中一组线性无关的向量，它们可以构成   R  n  的一组基。 梯度   f是一个n维向量，它和这组基的每一个向量的内积都为0，说明   f和整个空间的所有向量都正交，唯一满足该条件的向量只能是零向量，即：   ≡ 0 f≡0  结合零导数定理得出结论 根据零导数定理：若可微函数  f在连通开集  E上所有偏导数恒为0（即梯度恒为零向量），则  f在整个连通区域  E上必为常值函数。 注意这里的结论是函数为常值函数，而非直接推出函数值恒为0，这个常值可以是任意常数  C。如果额外补充“函数在区域内某一点的取值为0”的条件，才能进一步推出函数在整个区域上恒等于0。  边界条件说明 如果定义域不是连通开集，那么即使梯度处处为0，函数也可以在不同的连通分支上取不同的常数值，无法保证函数是全局统一的常值，更不可能推出函数恒为0。   最终结论：在定义域为连通开集、函数处处可微的前提下，n个线性无关方向上方向导数全为0，可以推出函数是常值函数，仅当补充函数某点取值为0的条件时，才能推出函数恒等于0。