最后更新: 2025-04-08 17:29 查看: 468 次反馈同步训练

二元函数极值的概念

## 二元函数极值的概念
二元函数的极值问题，一般可以用偏导数来解决.下面给出二元函数有极值的必要条件.
**定理1** (必要条件) 设函数 $z=f(x, y)$ 在点 $\left(x_0, y_0\right)$ 具有偏导数，且在点 $\left(x_0, y_0\right)$ 处有极值，则它在该点的偏导数必然为零，即

$$
f_x\left(x_0, y_0\right)=0, \quad f_y\left(x_0, y_0\right)=0 .
$$

证 不妨设函数 $z=f(x, y)$ 在点 $P_0\left(x_0, y_0\right)$ 取得极大值. 由极值定义，对于点 $P_0$ 的 某个邻域内异于 $P_0$ 的任意一点 $P(x, y)$ ，都有

$$
f(x, y)<f\left(x_0, y_0\right) .
$$

特别地，取 $y=y_0$ ，而 $x \neq x_0$ ，也有 $f\left(x, y_0\right)<f\left(x_0, y_0\right)$.
这表明一元函数 $f\left(x, y_0\right)$ 在 $x=x_0$ 处取得极大值，由一元函数取得极值的必要 条件可知

$$
f_x\left(x_0, y_0\right)=0 .
$$

类似地，我们可以得到

$$
f_y\left(x_0, y_0\right)=0 .
$$

与一元函数的情形类似，对于多元函数，凡是能使一阶偏导数同时为零的点 称为函数的驻点.
从定理 1 可知，具有偏导数的函数的极值点必为函数的驻点. 但函数的驻点 不一定是极值点，例如函数 $z=x y$ ，在点 $(0,0)$ 处的两个偏导数为

$$
f_x(0,0)=\left.y\right|_{\substack{x=0 \\ y=0}}=0, f_y(0,0)=\left.x\right|_{\substack{x=0 \\ y=0}}=0,
$$

所以点 $(0,0)$ 是函数 $z=x y$ 的驻点，而按定义直接可以判断出点 $(0,0)$ 不是极值点.
怎样判定驻点是否为极值点呢? 下面的定理给出了答案.

**定理2** (充分条件) 设函数 $z=f(x, y)$ 在点 $\left(x_0, y_0\right)$ 的某邻域内有直到二阶的 连续偏导数，又 $f_x\left(x_0, y_0\right)=0, f_y\left(x_0, y_0\right)=0$. 令

$$
f_{\mathrm{xx}}\left(x_0, y_0\right)=A, \quad f_{x y}\left(x_0, y_0\right)=B, \quad f_{y y}\left(x_0, y_0\right)=C .
$$

(1) 当 $A C-B^2>0$ 时，函数 $f(x, y)$ 在 $\left(x_0, y_0\right)$ 处有极值，且当 $A>0$ 时有极小值 $f\left(x_0, y_0\right) ； A<0$ 时有极大值 $f\left(x_0, y_0\right)$ ；
(2) 当 $A C-B^2<0$ 时，函数 $f(x, y)$ 在 $\left(x_0, y_0\right)$ 处没有极值；
(3) 当 $A C-B^2=0$ 时，函数 $f(x, y)$ 在 $\left(x_0, y_0\right)$ 处可能有极值，也可能没有极值. 定理证明从略
根据定理 1 与定理 2 , 如果函数 $f(x, y)$ 具有二阶连续偏导数，则求 $z=f(x, y)$ 的极值的一般步骤为:
第一步 解方程组 $f_x(x, y)=0, f_y(x, y)=0$, 求出 $f(x, y)$ 的所有驻点；
第二步 求出函数 $f(x, y)$ 的二阶偏导数，依次确定各驻点处 $A 、 B 、 C$ 的 值，并根据 $A C-B^2$ 的符号判定驻点是否为极值点. 最后求出函数 $f(x, y)$ 在极值 点处的极值.

## 一元函数和二元函数求极值的比较
 ![图片](/uploads/2025-04/f54e18.jpg)
 
 表中

$$
\begin{aligned}
A & =f_{x x}\left(x_0, y_0\right), \quad B=f_{x y}\left(x_0, y_0\right), \quad C=f_{y y}\left(x_0, y_0\right), \\
H _f\left(x_0, y_0\right) & =\left(\begin{array}{ll}
f_{x x}\left(x_0, y_0\right) & f_{x y}\left(x_0, y_0\right) \\
f_{x y}\left(x_0, y_0\right) & f_{y y}\left(x_0, y_0\right)
\end{array}\right)
\end{aligned}
$$

是函数 $f$ 在点 $\left(x_0, y_0\right)$ 的 **Hesse（黑塞）矩阵**
只要将梯度看作是一元函数一阶导数的推广，而 Hesse 矩阵看作是一元函数二阶导数的推广，那么表中所列的二元函数取得无约束极值的必要条件与充分条件就是一元函数的极值中相应结论的直接推广．

### 二元和一元极值点的的不同点
极值问题推广到多元函数后，会出现一些与一元函数不同的新情况。这是因为一元函数在几何上表示一条平面曲线，而多元函数，例如二元函数，在几何上表示一块空间的曲面，曲面的几何形态要比平面曲线复杂得多。
$1^{\circ}$ 对一元函数 $f$ ，若在 $[a, b]$ 上可导，且有有限个驻点，则它的两个极大（小）值之间必存在着极小（大）值点，但此结论对多元函数不一定成立。

例如，考察函数 $f(x, y)=-x^4-y^4+4 x y-1$ 。解方程组

$$
\left\{\begin{array}{l}
f_x(x, y)=-4 x^3+4 y=0 \\
f_y(x, y)=-4 y^3+4 x=0
\end{array}\right.
$$

易得函数 $f$ 的三个驻点为 $(0,0),(1,1),(-1,-1)$ ．又 $f_{x x}(x, y)=-12 x^2, f_{y y}(x, y)=$ $-12 y^2$ ，不难验证，$f$ 在 $(-1,-1)$ 与 $(1,1)$ 处都取极大值 1 ，但在它们的＂中间点＂ $(0,0)$ 处不取极值（因为 $\left.A C-B^2<0\right)$ ．

原因：曲面 $z=-x^4-y^4+4 x y-1$ 在 $(1,1)$ 与 $(-1,-1)$ 处有两个高度为 1 的 ＂峰＂，但是，不难验证在 $(0,0)$ 邻域内曲面为马鞍形，点 $(0,0)$ 不是曲面的＂谷＂。

$2^{\circ}$ 设一元函数 $f$ 在 $[a, b]$ 上连续，在 $(a, b)$ 内可导，且在 $(a, b)$ 内仅有唯一的极值点 $x_0$ ．若 $x_0$ 是 $f$ 的极小（大）值点，则 $x_0$ 必是 $f$ 在 $[a, b]$ 上的最小（大）值点，但对多元函数此结论不一定成立。例如，设二元函数 $f$ 在有界闭域 $D$ 上连续，在 $D$ 内可导，且在 $D$ 内有唯一驻点 $\left(x_0, y_0\right)$ ，若 $\left(x_0, y_0\right)$ 是它的极小（大）值点，不能断定 $\left(x_0, y_0\right)$ 就是 $f$ 在 $D$ 上的最小（大）值点．

反例如下图中的曲面：在马鞍面形的山梁上挖一个表面为旋转抛物面的 ＂坑＂，坑底在 $x O y$ 平面上的投影 $\left(x_0, y_0\right)$ 是表示该曲面的函数在区域

$$
D=\{(x, y) \mid-5 \leqslant x \leqslant 5,-4 \leqslant y \leqslant 4\}
$$

内的唯一极小值点．但它不是最小值点，最小值点在区域 $D$ 的边界上．
 ![图片](/uploads/2025-04/8785f6.jpg)
 
 
 ### 多元函数无约束极值的两个具体问题
$1^{\circ}$ 二元函数 $z=f(x, y)$ 在 $\left(x_0, y_0\right)$ 处取极值与相应的一元函数 $f\left(x, y_0\right)$ ， $f\left(x_0, y\right)$ 在 $\left(x_0, y_0\right)$ 取极值的关系

我们知道，二元函数 $z=f(x, y)$ 在点 $\left(x_0, y_0\right)$ 处取得极值，则相应的一元函数 $\varphi(x)=f\left(x, y_0\right)$ 与 $\psi(y)=f\left(x_0, y\right)$ 在该点必取得极值．试问，反过来结论是否成立？

不一定．考察函数 $f(x, y)=x^2-3 x y+2 y^2$ ．易见，$\varphi(x)=f(x, 0)=x^2$ 在 $x=$ 0 取极小值，$\varphi(y)=f(0, y)=2 y^2$ 在 $y=0$ 也取极小值，但 $f(x, y)$ 在 $(0,0)$ 处不取极小值．事实上，任取 $\delta>0$ ，令 $|t|=\delta$ ，若 $\delta$ 充分小，则 $\left(\frac{3}{4} t, \frac{1}{2} t\right) \in U((0,0), \delta)$ ，且

$$
f\left(\frac{3}{4} t, \frac{1}{2} t\right)=\frac

免费注册看余下 50%

非VIP会员每天15篇文章，开通VIP 无限制查看

上一篇：多元函数的极值

下一篇：二元函数的最大值与最小值

本文对您是否有用？有用 (1) 无用 (0)