数学分析(十八)-隐函数定理及其应用04：条件极值问题【拉格朗日乘数法】【求体积固定正方体开口水箱最小表面积⇒构造拉格朗日函数：L(x,y,z,λ)=2(xz+yz)+xy+λ(xyz−V)⇒求偏导】

以往所讨论的极值问题, 其极值点的搜索范围是目标函数的定义域, 但是另外还有很多极值问题, 其极值点的搜索范围还受到各自不同条件的限制.

例如, 要设计一个容量为 $V$ 的长方形开口水箱,试问水箱的长、宽、高各等于多少时, 其表面积最小?为此,设水箱的长、宽、高分别为 $x,y,z$, 则表面积为

$$S(x,y,z)=2(xz+yz)+xy.$$

依题意, 上述表面积函数的自变量不仅要符合定义域的要求 $(x>0,y>0,z>0)$, 而且还须满足条件

$$xyz=V.(1)$$

这类附有约束条件的极值问题称为条件极值问题(不带约束条件的极值问题不妨称为无条件极值问题).

条件极值在实际问题中的应用非常广泛, 并且还能用来证明或建立不等式.

条件极值问题的一般形式是在条件组

$${\mathbf{\phi }}_k\left(x_1,x_2,\cdots ,x_n\right)=0,k=1,2,\cdots ,m(m<n)(2)$$

的限制下, 求目标函数

$$y=f\left(x_1,x_2,\cdots ,x_n\right)(3)$$

的极值.

过去遇到这类极值问题时, 只能用消元法化为无条件极值问题来求解, 如上面的例子, 由条件 (1) 解出 $z=V/xy$, 并代人函数 $S(x,y,z)$ 中, 得到

$$F(x,y)=S\left(x,y,\frac{V}{xy}\right)=2V\left(\frac{1}{y}+\frac{1}{x}\right)+xy.$$

然后按 $\left(F_x,F_y\right)=(0,0)$, 求出稳定点 $x=y=\sqrt[3]{2V}$, 并有 $z=\frac{1}{2}\sqrt[3]{2V}$. 最后判定在此稳定点上取得最小面积 $S=3\sqrt[3]{4V^2}$.

然而,在一般情形下要从条件组 (2) 中解出 $m$ 个变元并不总是可能的.

下面我们介绍的拉格朗日乘数法就是一种不直接依赖消元而求解条件极值问题的有效方法.

我们从 $f,\phi$ 皆为二元函数这一简单情况人手. 欲求函数

$$z=f(x,y)(4)$$

的极值, 其中 $(x,y)$ 受条件

$$C:\phi (x,y)=0(5)$$

的限制.

若把条件 $C$ 看作 $(x,y)$ 所满足的曲线方程, 并设 $C$ 上的点$P_0\left(x_0,y_0\right)$ 为 $f$ 在条件 (5) 下的极值点, 且在点$P_0$ 的某邻域上方程 (5) 能惟一确定可微的隐函数 $y=g(x)$, 则 $x=x_0$必定也是 $z=f(x,g(x))=h(x)$ 的极值点. 故由 $f$ 在 $P_0$ 可微, $g$ 在$x_0$ 可微, 得到

$$h^{\prime }\left(x_0\right)=f_x\left(x_0,y_0\right)+f_y\left(x_0,y_0\right)g^{\prime }\left(x_0\right)=0.(6)$$

而当 $\phi$ 满足隐函数定理条件时

$$g^{\prime }\left(x_0\right)=-\frac{{\phi }_x\left(x_0,y_0\right)}{{\phi }_y\left(x_0,y_0\right)}.(7)$$

把 (7) 代人 (6) 后又得到

$$f_x\left(P_0\right){\phi }_{,}\left(P_0\right)-f_y\left(P_0\right){\phi }_x\left(P_0\right)=0.(8)$$

在几何意义上,关系式 (8) 表示曲面 $z=f(x,y)$ 的等高线$f(x,y)=f\left(P_0\right)$ 与曲线 $C$ 在 $P_0$处具有公共切线 (见图18-7). 从而存在某一常数 ${\lambda }_0$, 使得在 $P_0$ 处满足

$$\begin{array}{l}{f}_x\left(P_0\right)+{\lambda }_0{\phi }_x\left(P_0\right)=0\\ f_y\left(P_0\right)+{\lambda }_0{\phi }_y\left(P_0\right)=0\\ \phi (P_0\end{array}$$