mobile wallpaper 1mobile wallpaper 2mobile wallpaper 3
705 字
2 分钟
微积分下 16 - 多元函数的极值及其求法

无条件极值#

“无条件”即,这里的极值对于函数的自变量,除了限制在定义域内外无其他条件

对于定义在 DD 的函数 z=f(x,y)z=f(x,y),如果存在 DD 的内点 P0(x0,y0)P_0(x_0,y_0),其某一邻域 U(P0)DU(P_0)\subset D ,使得对于对于该邻域内异于 P0P_0 的任何点 (x,y)(x,y) 都有

f(x,y)<f(x0,y0)f(x,y)<f(x_0,y_0)

那么就称 f(x,y)f(x,y)(x0,y0)(x_0,y_0) 有极大值 f(x0,y0)f(x_0,y_0)P0P_0 称为函数的极大值点

如果

f(x,y)>f(x0,y0)f(x,y) >f(x_0,y_0)

那么则为极小值和极小值点

极大值和极小值统称极值,取得极值的点称为极值点

定理笑传之取得极值点的必要条件,函数在该点的偏导数均为0,也有全微分为0,即梯度为0,f(x0,y0)=0\nabla f(x_0,y_0)=0,也就是 P0P_0 是二元函数的一个驻点

二元函数的二阶泰勒展开:f(x,y)=f(x0,y0)+fxΔx+fyΔy+12!(2fx2Δx2+2fy2Δy2+22fxyΔxΔy)f(x,y)=f(x_0,y_0)+\frac{\partial f}{\partial x}\Delta x+\frac{\partial f}{\partial y}\Delta y+\frac {1}{2!}(\frac{\partial^2f}{\partial x^2}\Delta x^2+\frac{\partial^2 f}{\partial y^2}\Delta y^2 +2\frac{\partial^2 f}{\partial x \partial y}\Delta x\Delta y)

定理笑传之取得极值点的充分条件,我们设置行列式

D=2fx22fxy2fxy2yy2=ABCDD= \begin {vmatrix} \frac{\partial^2 f}{\partial x^2} &\frac{\partial^2 f}{\partial x\partial y}\\ \frac{\partial^2 f}{\partial x\partial y} & \frac{\partial^2 y}{\partial y^2} \end {vmatrix} = \begin {vmatrix} A &B\\ C&D \end {vmatrix}

如果 D>0D > 0,那么有极值, A<0A<0 时有极大值,A>0A>0 时为极小值

如果 D<0D<0,那么没有极值

如果 D=0D=0,那么没法通过这种方法判断有无极值,需要另作判断

条件极值#

如果在函数的自变量上还施加了附加条件,那么就叫条件极值,可以表示为 z=f(x,y)z=f(x,y) 在约束条件 ϕ(x,y)=0\phi(x,y)=0 下的极值

求解条件极值#

代入消元#

有时候,通过条件 ϕ(x,y)=0\phi(x,y)=0 就可以直接解得一个变量关于另一个变量的表示 y=y(x)y=y(x) ,直接代入就可以得到

z=f(x,y(x))=g(x)z=f(x,y(x))=g(x)

这就是单变元函数,求导就行了

拉格朗日乘数法#

当约束条件复杂的时候,无法解出一个变量,那怎么办呢?

条件必须是 ϕ(x,y)=0\phi (x,y)=0 的形式!

这时我们使用几何直观,我们把 z=f(x,y)z=f(x,y) 的每一条等值线都映射到 xOyxOy 平面, ϕ(x,y)=0\phi(x,y)=0 也在这一平面上,ϕ(x,y)=0\phi(x,y)=0 相当于一条运动路径,那么如果 ϕ(x,y)=0\phi(x,y)=0 于任意一条等值线相切,就说明运动路径没法跨过等值线向 zz 值更大或更小的方向走了,这点实际上就是极值点了!

在切点处,两个曲线的法向量平行,法向量就是梯度,于是

f(x,y)=λϕ(x,y)\nabla f(x,y)=\lambda \nabla\phi(x,y)

这里的 λ\lambda 称为拉格朗日乘数,然后我们构造

L(x,y,λ)=f(x,y)λϕ(x,y)L(x,y,\lambda)=f(x,y)-\lambda\phi(x,y)

然后求偏导数并且令偏导均为0,我们就得到

{Lx=fx(x,y)λϕx(x,y)=0Ly=fy(x,y)λϕy(x,y)=0Lλ=ϕ(x,y)=0\begin {cases} L_x=f_x(x,y)-\lambda\phi_x(x,y)=0\\ L_y=f_y(x,y)-\lambda\phi_y(x,y)=0\\ L_\lambda=-\phi(x,y)=0 \end {cases}

求解这个方程组,会得到一组点,其中函数值最大的是条件极大值,最小的是条件极小值

如果有多个约束条件,例如 ϕ(x,y,z)=0\phi(x,y,z)=0ψ(x,y,z)=0\psi(x,y,z)=0,那就再加入一个乘数,变成 L=f+λϕ+μψL=f+\lambda\phi+\mu\psi

然而拉格朗日乘数法实在麻烦,如果能通过一些几何特性来表示条件,那么大可以避免使用

分享

如果这篇文章对你有帮助,欢迎分享给更多人!

微积分下 16 - 多元函数的极值及其求法
https://hatoya-doublepigeonblog.pages.dev/posts/微积分下_16_-_多元函数的极值及其求法/
作者
两只鸽子
发布于
2026-08-06
许可协议
CC BY-NC-SA 4.0

部分信息可能已经过时