特殊多元多项式在原点处的局部极值判定方法问询

阿华AIGC实验室

2026-4-22

你提到的这个特殊多元多项式很有意思：
$$x^4+y8+z^2+\alpha xy^2z+\beta x^2y4+\gamma xy^6$$
每个项都满足 $\frac{i}{4}+\frac{j}{8}+\frac{k}{2}=1$，对应的指数点$(i,j,k)$都落在顶点为$(4,0,0),(0,8,0),(0,0,2)$的三角形上。你想知道怎么判断它在$(0,0,0)$处的局部极值，而且尝试了变量替换$u=x^2,v=y4,w=z$，结果得到了带分数指数的形式，没法处理负数情况，对吧？

其实你的思路方向是对的——利用齐次性，但变量替换得调整一下，要保证替换后的变量能覆盖原变量的正负情况，同时让多项式变成齐次二次型。或者换一种更直接的思路，用方向导数/路径测试来分析极值，这对原点附近的行为判断非常有效。

下面给你两种可行的方法：

方法一：修正变量替换，利用加权齐次性

这个多项式是加权齐次多项式，权重分别为$w_x=4, w_y=8, w_z=2$，每个项的加权次数都是8（可以验证：$i*\frac{8}{4} + j*\frac{8}{8} +k*\frac{8}{2}=2i+j+4k$，代入每个项的指数都等于8）。我们可以做如下变量替换：
令 $x = t^2 \cdot p$, $y = t \cdot q$, $z = t^4 \cdot r$（其中$t>0$，$p,q,r$为任意实数），代入原多项式后，每一项的$t$次数都为8，提取公因子$t^8$后得到：
$$
t^8 \left( p^4 + q^8 + r^2 + \alpha p q^2 r + \beta p^2 q^4 + \gamma p q^6 \right)
$$
因为$t^8>0$（当$t≠0$时），原多项式在$(x,y,z)$处的符号完全由括号内的函数$F(p,q,r)$决定。判断原点的极值，就等价于判断$F(p,q,r)$是否恒正（原点为极小值）、恒负（原点为极大值），或者存在变号情况（原点不是极值）。

这种方法通过分离尺度因子$t$，把原点附近的行为转化为“加权单位球面”上的函数符号分析，完美避开了原替换中分数指数和定义域的问题。

方法二：路径测试法

这是判断多元函数原点极值最直接的手段：选取不同的路径趋近原点，观察函数值的符号变化。

比如：

沿坐标轴趋近：令$y=0,z=0$，多项式变为$x^{4$，恒正；令$x=0,z=0$，变为$y}8$，恒正；令$x=0,y=0$，变为$z^2$，恒正。这说明沿坐标轴方向函数都是非负的，但还需要验证混合路径。
沿混合路径趋近：我们选路径$x = a y^2$，$z = b y^{4$（$a,b$为实数，$y→0$），代入原多项式后所有项都成为$y}8$的倍数，提取$y^8$后得到：
$$
a^4 + 1 + b^2 + \alpha a b + \beta a^2 + \gamma a
$$
这个式子是关于$a,b$的多元函数，我们可以先固定$a$，看关于$b$的二次式$b^2 + \alpha a b + (a^4 + 1 + \beta a^2 + \gamma a)$，它对所有$b$恒正的条件是判别式小于0：
$$
(\alpha a)^2 - 4(a^4 + 1 + \beta a^2 + \gamma a) < 0
$$
如果这个四次不等式对所有实数$a$都成立，说明这条路径上函数值恒正；如果存在某个$a,b$使得式子为负，那原多项式在对应路径上会趋向负值，原点就不是极值。

这种路径测试的核心是找到能让所有项“同阶”的路径，利用加权齐次性把多元问题简化为单/双变量的符号分析。