|
| 1 | +# 多元函数的极值及其求法 |
| 2 | + |
| 3 | +## 多元函数的极值及最大值与最小值 |
| 4 | + |
| 5 | +### 定义 |
| 6 | + |
| 7 | +设函数 $z=f(x,y)$ 的定义域为 $D$,$P_0(x_0,y_0)$ 为 $D$ 的内点。 |
| 8 | +若存在 $P_0$ 的某个邻域 $U(P_0) \subset D$,使得对于该邻域内异于 $P_0$ 的任何点 $(x,y)$,都有 |
| 9 | + |
| 10 | +$$ |
| 11 | +f(x, y) < f(x_0, y_0) |
| 12 | +$$ |
| 13 | + |
| 14 | +则称函数 $f(x,y)$ 在点 $(x_0,y_0)$ 有 ***极大值*** $(x_0,y_0)$ 点为函数 $f(x,y)$ 的 ***极大值点***; |
| 15 | +若对于该邻域内异于 $P_0$ 的任何点 $(x,y)$,都有 |
| 16 | + |
| 17 | +$$ |
| 18 | +f(x, y) > f(x_0, y_0) |
| 19 | +$$ |
| 20 | + |
| 21 | +则称函数 $f(x, y)$ 在点 $(x_0, y_0)$ 有 ***极小值*** $(x_0, y_0)$ 点为函数 $f(x, y)$ 的 ***极小值点***。 |
| 22 | +极大值与极小值统称为 ***极值*** 。 |
| 23 | +使得函数取得极值的点称为 ***极值点*** 。 |
| 24 | + |
| 25 | +### 定理 1 (必要条件) |
| 26 | + |
| 27 | +设函数 $z = f(x, y)$ 在点 $(x_0, y_0)$ 具有偏导数,且在点 $(x_0, y_0)$ 处有极值,则有 |
| 28 | + |
| 29 | +$$ |
| 30 | +f_x(x_0,y_0) = 0, \quad f_y(x_0,y_0) = 0 |
| 31 | +$$ |
| 32 | + |
| 33 | +### 定理 2 (充分条件) |
| 34 | + |
| 35 | +设函数 $z = f(x, y)$ 在点 $(x_0, y_0)$ 的某邻域内连续且有一阶及二阶连续偏导数,又 $f_x(x_0, y_0) = 0, \quad f_y(x_0, y_0) = 0$,令 |
| 36 | + |
| 37 | +$$ |
| 38 | +f_{xx}(x_0, y_0) = A, \quad f_{xy}(x_0, y_0) = B, \quad f_{yy}(x_0, y_0) = C |
| 39 | +$$ |
| 40 | + |
| 41 | +则 $f(x, y)$ 在 $(x_0, y_0)$ 处是否取得极值的条件如下: |
| 42 | + |
| 43 | +1. 当 $AC - B^2 > 0$ 时有极值,且当 $A < 0$ 时有极大值,当 $A > 0$ 时有极小值; |
| 44 | +2. 当 $AC - B^2 < 0$ 时没有极值; |
| 45 | +3. 当 $AC - B^2 = 0$ 时可能有极值,也可能没有极值,还需另作讨论。 |
| 46 | + |
| 47 | +### 具有二阶连续偏导数的函数 $z = f(x, y)$ 的极值的求法 |
| 48 | + |
| 49 | +- ***第一步*** 解方程组 |
| 50 | + |
| 51 | + $$ |
| 52 | + f_x(x, y) = 0, \quad f_y(x, y) = 0 |
| 53 | + $$ |
| 54 | + |
| 55 | + 求得一切实数解,即可求得一切驻点。 |
| 56 | + |
| 57 | +- ***第二步*** 对于每一个驻点 $(x_0, y_0)$ ,求出二阶偏导数的值 $A, B$ 和 $C$。 |
| 58 | + |
| 59 | +- ***第三步*** 定出 $AC - B^2$ 的符号,按 **定理 2** 的结论判定 $f(x_0, y_0)$ 是不是极值,是极大值还是极小值。 |
| 60 | + |
| 61 | +## 条件极值 |
| 62 | + |
| 63 | +对于函数的自变量,除了限制在函数的定义域内以外,并无其他条件,所以有时候称为 ***无条件极值*** 。 |
| 64 | +对自变量有附加条件的极值称为 ***条件极值*** 。 |
| 65 | + |
| 66 | +## 拉格朗日乘数法 |
| 67 | + |
| 68 | +要找函数 $z=f(x, y)$ 在附加条件 $\varphi(x, y) = 0$ 下的可能极值点,可以先作拉格朗日函数 |
| 69 | + |
| 70 | +$$ |
| 71 | +L(x, y) = f(x, y) + \lambda \varphi(x, y) |
| 72 | +$$ |
| 73 | + |
| 74 | +> 函数 $L(x, y)$ 称为 ***拉格朗日函数*** ,参数 $\lambda$ 称为 ***拉格朗日乘子*** 。 |
| 75 | +
|
| 76 | +其中 $\lambda$ 为参数。 |
| 77 | +求其对 $x, y$ 的一阶偏导数,并使之为零,然后与方程联立起来: |
| 78 | + |
| 79 | +$$ |
| 80 | +\tag{8-8} |
| 81 | +\begin{cases} |
| 82 | + f_x(x, y) + \lambda \varphi_x(x, y) = 0 \\ |
| 83 | + f_y(x, y) + \lambda \varphi_y(x, y) = 0 \\ |
| 84 | + \varphi(x, y) = 0 |
| 85 | +\end{cases} |
| 86 | +$$ |
| 87 | + |
| 88 | +由这方程组解出 $x, y$ 及 $\lambda$ ,这样得到的 $(x, y)$ 就是函数 $f(x, y)$ 在附加条件 $\varphi(x, y) = 0$ 下的可能极值点。 |
| 89 | + |
| 90 | +这方法还可以推广到自变量多于两个而条件多于一个的情形。 |
| 91 | +例如,要求函数 $u = f(x, y, z, t)$ 在附加条件 |
| 92 | + |
| 93 | +$$ |
| 94 | +\tag{8-9} |
| 95 | +\varphi(x, y, z, t) = 0, \quad \psi(x, y, z, t) = 0 |
| 96 | +$$ |
| 97 | + |
| 98 | +下的极值,可以先作拉格朗日函数 |
| 99 | + |
| 100 | +$$ |
| 101 | +L(x, y, z, t) = f(x, y, z, t) + \lambda \varphi(x, y, z, t) + \mu \psi(x, y, z, t) |
| 102 | +$$ |
| 103 | + |
| 104 | +其中 $\lambda, \mu$ 均为参数,求其一阶偏导数,并使之为零,然后与 (8-9) 中的两个方程联立起来求解,这样得出的 $(x, y, z, t)$ 就是函数 $f(x, y, z, t)$ 在附加条件 (8-9) 下的可能极值点。 |
| 105 | + |
| 106 | +至于如何确定所求得的点是不是极值点,在实际问题中往往可根据问题本身的性质来判定。 |
0 commit comments