数学分析(十七)-多元函数微分学4-泰勒公式与极值问题4-极值问题2：充分条件【 f在稳定点P₀处二阶连续偏导数的(Hesse) 黑塞矩阵：①正定矩阵➔极小值；②负定矩阵➔极大值；③不定矩阵➔无极值】

为了讨论二元函数 $f$ 在点 $P_0\left(x_0,y_0\right)$取得极值的充分条件, 我们假定 $f$ 具有二阶连续偏导数, 并记

$${\mathbf{H}}_f\left(P_0\right)=\left(\begin{array}{ll}{f}_{xx}\left(P_0\right)& f_{xy}\left(P_0\right)\\ f_{yx}\left(P_0\right)& f_{yy}\left(P_0\right)\end{array}\right)={\left(\begin{array}{ll}{f}_{xx}& f_{xy}\\ f_{yx}& f_{yy}\end{array}\right)}_{P_0}$$

它称为 $f$ 在 $P_0$ 的黑塞 (Hesse) 矩阵${}^{①}$。

定理 17. 11 (极值充分条件)

设二元函数 $f$ 在点$P_0\left(x_0,y_0\right)$ 的某邻域 $U\left(P_0\right)$上具有二阶连续偏导数, 且 $P_0$ 是 $f$ 的稳定点. 则：

• 当${\mathbf{H}}_f\left(P_0\right)$ 是正定矩阵时, $f$ 在点 $P_0$取得极小值;
• 当 ${\mathbf{H}}_f\left(P_0\right)$ 是负定矩阵时, $f$在点 $P_0$ 取得极大值;
• 当 ${\mathbf{H}}_f\left(P_0\right)$是不定矩阵时, $f$ 在点 $P_0$ 不取极值.

证
由 $f$ 在点 $P_0$ 的二阶泰勒公式, 并注意到条件 $f_x\left(P_0\right)=f_y\left(P_0\right)=0$, 有

$$\begin{array}{rl}& f(x,y)-f\left(x_0,y_0\right)\\ =& \frac{1}{2}(\Delta x,\Delta y){\mathbf{H}}_f\left(P_0\right)(\Delta x,\Delta y{)}^{\mathrm{T}}+o\left(\Delta x^2+\Delta y^2\right).\end{array}$$

由于 ${\mathbf{H}}_f\left(P_0\right)$ 正定, 所以对任何$(\Delta x,\Delta y)\ne (0,0)$, 恒使二次型

$$Q(\Delta x,\Delta y)=(\Delta x,\Delta y){\mathbf{H}}_f\left(P_0\right)(\Delta x,\Delta y{)}^T>0.$$

因此存在一个与 $\Delta x,\Delta y$ 无关的正数 $q^{②}$,使得

$$Q(\Delta x,\Delta y)⩾2q\left(\Delta x^2+\Delta y^2\right).$$

(1) 关于黑基矩阵的一般形式,将在第二十三章黑介绍.
(2) 因为$Q(\Delta x,\Delta y)/\left(\Delta x^2+\Delta y^2\right)=(u,v){\mathbf{H}}_f\left(P_6\right)(u,v{)}^T=\Phi (u,v)$, 其中
u = Δ x / Δ x 2 + Δ y 2 , v = Δ y / Δ x 2 + Δ y 2 . u=\Delta x / \sqrt{\Delta x^{2}+\Delta y^{2}}, \quad v=\Delta y / \sqrt{\Delta x^{2}+\Delta y^{2}} . u=Δx/Δx2+Δy2 ​,v=Δy/