微甲II-多元函数的极值及其求法

将一元函数的极值与最值移植到多元函数

多元函数的极值

若函数z=f(x,y)z=f(x,y)在点(x,y)(x,y)的某去心邻域内恒有f(x,y)<f(x0,y0)orf(x,y)>f(x0,y0))f(x,y)<f(x_0,y_0)\quad or\quad f(x,y)>f(x_0,y_0)),则称函数在该点取得极大值(极小值),统称为极值,取得极值的点称为极值点

定理1(必要条件)

z=f(x,y)z=f(x,y)在点(x0,y0)(x_0,y_0)存在偏导数,且在该点取得极值,则有

fx(x0,y0)=0,fy(x0,y0)=0f_x'(x_0,y_0)=0,f_y'(x_0,y_0)=0

使偏导数都为00的点称为驻点,但驻点不一定是极值点。例如z=xyz=xy有驻点(0,0)(0,0),但在该点不取极值。可以类比y=x3y=x^3x=0x=0时有y=0y'=0但是不取极值

定理2(充分条件)

若函数z=f(x,y)z=f(x,y)在点(x0,y0)(x_0,y_0)的某邻域内具有一阶和二阶连续偏导数,且

fx(x0,y0)=0,fy(x0,y0)=0f_x'(x_0,y_0)=0,f_y'(x_0,y_0)=0

A=fxx(x0,y0),B=fxy(x0,y0),C=fyy(x0,y0)A=f_{xx}(x_0,y_0),B=f_{xy}(x_0,y_0),C=f_{yy}(x_0,y_0),则

  • ACB2>0AC-B^2>0时,具有极值{A<0时取最大值A>0时取最小值\begin{cases}A<0\text{时取最大值}\\A>0\text{时取最小值}\end{cases}
  • ACB2<0AC-B^2<0时,没有极值
  • ACB2=0AC-B^2=0时,不能确定,需另行讨论

最值应用问题

当区域内部最值存在,且只有一个极值点P时,f(P)f(P)为极小(大)值f(P)\Rightarrow f(P)为最小(大)值。

具体应用题见教材

条件极值

极值问题{无条件极值:对自变量只有定义域限制条件机制:对自变量除定义域限制外,还有其他条件限制\begin{cases}\text{无条件极值:对自变量只有定义域限制}\\\text{条件机制:对自变量除定义域限制外,还有其他条件限制}\end{cases}

方法1 代入法

在条件φ(x,y)=0\varphi(x,y)=0下,求函数z=f(x,y)z=f(x,y)的极值

从条件φ(x,y)=0\varphi(x,y)=0中解出y=ψ(x)y=\psi(x)

求一元函数z=f(x,ψ(x))z=f(x,\psi(x))的无条件极值问题

方法2 拉格朗日乘数法

在条件φ(x,y)=0\varphi(x,y)=0下,求函数z=f(x,y)z=f(x,y)的极值

如方法1,问题等价于一元函数z=f(x,ψ(x))z=f(x,\psi(x))的极值问题,故极值点必满足

dzdx=fx+fydydx=0\frac{dz}{dx}=f_x+f_y\frac{dy}{dx}=0

dydx=φxφy\displaystyle\frac{dy}{dx}=-\frac{\varphi_x}{\varphi_y},故有fxfyφxφy=0\displaystyle f_x-f_y\frac{\varphi_x}{\varphi_y}=0,记

fxφx=fyφy=λ\frac{f_x}{\varphi_x}=\frac{f_y}{\varphi_y}=-\lambda

极值点必满足{fx+λφx=0fy+λφy=0φ(x,y)=0\begin{cases}f_x+\lambda\varphi_x=0\\f_y+\lambda\varphi_y=0\\\varphi(x,y)=0&\end{cases}

引入辅助函数F=f(x,y)+λφ(x,y)F=f(x,y)+\lambda\varphi(x,y)

则极值点满足{Fx=fx+λφx=0Fy=fy+λφy=0Fλ=φ=0\begin{cases}F_x=f_x+\lambda\varphi_x=0\\F_y=f_y+\lambda\varphi_y=0\\F_\lambda=\varphi=0\end{cases}


微甲II-多元函数的极值及其求法
http://example.com/2024/04/24/Calculus-A-II-Extreme-Values-of-Multivariate-Functions-and-Their-Solutions/
作者
Penner
发布于
2024年4月24日
许可协议