多元函数局部极值的高阶导数判定：一般理论与参考资料咨询

阿华AIGC实验室

2026-4-22

嘿，这个问题问得非常关键！先从你提到的单变量情况入手，咱们再顺理成章地延伸到多元函数的高阶判定逻辑。

对于单变量的$C^{\infty$函数，咱们都很熟悉：在点$x=c$处，如果最低阶的非零导数是偶次的（比如$2k$阶），那$f(c)$就是极值点——具体是极大还是极小，完全取决于$f}{(2k)}(c)$的符号。举个例子，如果$f'(c)=f''(c)=f'''(c)=0$但$f''''(c)>0$，那这里就是极小值点；要是最低阶非零导数是奇次的（比如三阶导数非零），那这个点肯定不是局部极值点。

现在转到多元函数的场景，你提到了Hessian矩阵和特征值的常规判定，但遇到部分二阶导数为零的情况就产生了疑惑——比如你举的这个例子：$f(x,y)$在$(a,b)$处满足$f_x=f_y=f_{xx}=f_{xy}=0$，这时候如果$f_{xxx}\neq0$，沿着x轴方向函数是单调变化的，显然不可能是局部极值点，这个判断完全正确。

那如果$f_{xxxx}$和$f_{yy}$都不为零，是不是要去分析你写的这个矩阵：
$$H=\begin{bmatrix} f_{xxxx} & f_{xxy}\ f_{xxy} & f_{yy}\end{bmatrix}$$
的特征值呢？其实这个思路方向是对的，但核心要抓住高阶泰勒展开的主导项——本质上，我们需要找到在该点处最低阶的非零齐次多项式项（也就是所谓的“主导型”），然后通过分析这个齐次多项式的正定性/负定性来判断极值：

如果这个最低阶的齐次多项式是正定的，那该点是局部极小值点；
如果是负定的，那是局部极大值点；
如果这个齐次多项式既取正值又取负值（不定），那该点就不是极值点；
要是这个多项式半正定或半负定，但不是严格的，那还得看更高阶的项才能确定。

更系统的一般理论是这样的：对于$n$元$C^{\infty$函数$f$在点$\mathbf{x}_0$处，假设前$m-1$阶全微分都为零，而$m$阶全微分$D}m f(\mathbf{x}_0)$非零（也就是存在至少一个$m$阶偏导数非零）。这时候：

若$m$是奇数：$\mathbf{x}_0$一定不是局部极值点，因为沿着某个方向$\mathbf{v}$，函数的泰勒展开主导项是$D^m f(\mathbf{x}_0)(\mathbf{v}^m)$，而奇次齐次多项式总能找到正负两种方向的取值；
若$m$是偶数：我们需要看$m$阶齐次多项式$P_m(\mathbf{v}) = \frac{1}{m!}D^m f(\mathbf{x}_0)(\mathbf{v}^m)$的定性：
- 若$P_m$是正定的，$\mathbf{x}_0$是局部极小值点；
- 若$P_m$是负定的，$\mathbf{x}_0$是局部极大值点；
- 若$P_m$不定，$\mathbf{x}_0$不是极值点；
- 若$P_m$半正定/半负定，则无法直接判定，需要进一步分析更高阶的项。

至于参考资料，你可以看看这些经典的数学分析教材：