无条件极值#
“无条件”即,这里的极值对于函数的自变量,除了限制在定义域内外无其他条件
对于定义在 D 的函数 z=f(x,y),如果存在 D 的内点 P0(x0,y0),其某一邻域 U(P0)⊂D ,使得对于对于该邻域内异于 P0 的任何点 (x,y) 都有
f(x,y)<f(x0,y0)那么就称 f(x,y) 在 (x0,y0) 有极大值 f(x0,y0) ,P0 称为函数的极大值点
如果
f(x,y)>f(x0,y0)那么则为极小值和极小值点
极大值和极小值统称极值,取得极值的点称为极值点
定理笑传之取得极值点的必要条件,函数在该点的偏导数均为0,也有全微分为0,即梯度为0,∇f(x0,y0)=0,也就是 P0 是二元函数的一个驻点
二元函数的二阶泰勒展开:f(x,y)=f(x0,y0)+∂x∂fΔx+∂y∂fΔy+2!1(∂x2∂2fΔx2+∂y2∂2fΔy2+2∂x∂y∂2fΔxΔy)
定理笑传之取得极值点的充分条件,我们设置行列式
D=∂x2∂2f∂x∂y∂2f∂x∂y∂2f∂y2∂2y=ACBD如果 D>0,那么有极值, A<0 时有极大值,A>0 时为极小值
如果 D<0,那么没有极值
如果 D=0,那么没法通过这种方法判断有无极值,需要另作判断
条件极值#
如果在函数的自变量上还施加了附加条件,那么就叫条件极值,可以表示为 z=f(x,y) 在约束条件 ϕ(x,y)=0 下的极值
求解条件极值#
代入消元#
有时候,通过条件 ϕ(x,y)=0 就可以直接解得一个变量关于另一个变量的表示 y=y(x) ,直接代入就可以得到
z=f(x,y(x))=g(x)这就是单变元函数,求导就行了
拉格朗日乘数法#
当约束条件复杂的时候,无法解出一个变量,那怎么办呢?
条件必须是 ϕ(x,y)=0 的形式!
这时我们使用几何直观,我们把 z=f(x,y) 的每一条等值线都映射到 xOy 平面, ϕ(x,y)=0 也在这一平面上,ϕ(x,y)=0 相当于一条运动路径,那么如果 ϕ(x,y)=0 于任意一条等值线相切,就说明运动路径没法跨过等值线向 z 值更大或更小的方向走了,这点实际上就是极值点了!
在切点处,两个曲线的法向量平行,法向量就是梯度,于是
∇f(x,y)=λ∇ϕ(x,y)这里的 λ 称为拉格朗日乘数,然后我们构造
L(x,y,λ)=f(x,y)−λϕ(x,y)然后求偏导数并且令偏导均为0,我们就得到
⎩⎨⎧Lx=fx(x,y)−λϕx(x,y)=0Ly=fy(x,y)−λϕy(x,y)=0Lλ=−ϕ(x,y)=0求解这个方程组,会得到一组点,其中函数值最大的是条件极大值,最小的是条件极小值
如果有多个约束条件,例如 ϕ(x,y,z)=0,ψ(x,y,z)=0,那就再加入一个乘数,变成 L=f+λϕ+μψ
然而拉格朗日乘数法实在麻烦,如果能通过一些几何特性来表示条件,那么大可以避免使用