高等数学（七）- 多元函数微分学(2)【多元函数极值问题】

本节为高等数学复习笔记的第七部分，多元函数微分学（2），主要包括：多元函数极值得必要条件与充分条件，以及两道例题 。

2. 多元函数极值

2.1 二元函数取极值的必要条件（适用于多元）

  $设z=f(x,y)在点(x_0,y_0)处一阶偏导数$$存在且取极值$，$则有f_x^{\prime }(x_0,y_0)=f_y^{\prime }(x_0,y_0)=0$。

2.2 二元函数取极值的充分条件（不适用于多元）

  $记A=f_{xx}^{\prime \prime }(x_0,y_0)，B=f_{xy}^{\prime \prime }(x_0,y_0)，A=f_{yy}^{\prime \prime }(x_0,y_0)$，$令\Delta =B^2-AC（二元海森矩阵）则：$
  $1）\Delta <0⟹极值点：A<0\to 极大值$，
$A>0\to 极小值；$
  $2）\Delta >0⟹非极值；$
  $3）\Delta =0⟹方法失效。$

2.3 例题

  $eg1(无条件极值：隐函数).$$设z=z(x,y)由x^2-6xy+10y^2-2yz-z^2+18=0（式1）确定$，$试求z=z(x,y)的极值点和极值$。
  $I.用必要条件求出可疑点P$，$即根据z_x^{\prime }=z_y^{\prime }=0求P点$。$对式1两边一次求x，y的偏导：$
$\{\begin{array}{l}2x-6y-2y{z}_x^{\prime }-2z{z}_x^{\prime }=0\\ -6x+20y-2z-2y{z}_y^{\prime }-2z{z}_y^{\prime }=0\end{array}⟹$

$\{\begin{array}{l}x-3y-(y+z)z_x^{\prime }=0（式2）\\ -3x+10y-z-(y+z)z_y^{\prime }=0（式3）\end{array}$

$令\{\begin{array}{l}{z}_x^{\prime }=0\\ z_y^{\prime }=0\end{array}，得\{\begin{array}{l}x-3y=0\\ -3x+10y-z=0\end{array}，即\{\begin{array}{l}x=3y\\ z=y\end{array}$
$代入式1，得可疑点P_1(9,3),z_1=3;$
$P_2(-9,-3),z_2=-3$。
  $II.用充分条件判别可疑点$，$对式2再求x的偏导$：$1-(z_x^{\prime }{)}^2-(y+z)z_{xx}^{\prime }=0$，$对式2再求y的偏导$：$-3-(1+z_y^{\prime })z_x^{\prime }-(y+z)z_{xy}^{\prime \prime }=0$，$对式3再求y的偏导数$：$10-z_y^{\prime }-(1+z_y^{\prime })z_y^{\prime }-(y+z)z_{yy}^{\prime \prime }=0$，
$又结合：z_x^{\prime }=z_y^{\prime }=0$，
$推出z_{xx}^{\prime \prime }=\frac{1}{y+z}，z_{xy}^{\prime \prime }=\frac{-3}{y+z}，z_{yy}^{\prime \prime }=\frac{10}{y+z}$
$对于P_1,z_1=3,A=\frac{1}{6},B=-\frac{1}{2},C=\frac{5}{3},{\Delta }_1=-\frac{1}{36};$
$\therefore {\Delta }_1<0且A>0，则P_1点式极小值点，z_1是极小值$；$同理P_2点。$

  $eg2(无条件极值：显函数)求f(x,y)=x^2(2+y^2)+ylny的极值$
  $解：f_x^{\prime }(x,y)=2x(2+y^2),f_y^{\prime }=2x^{2}y+lny+1$，
$令f_x^{\prime }=f_y^{\prime }=0，得点(0,\frac{1}{e})$，$则A=f_x{x}^{\prime \prime }(0,\frac{1}{e})=(2+\frac{1}{e^2})，B=0，C=e$，$有：B^2-AC<0，A>0$，$\therefore f(x,y)在驻点(0,\frac{1}{e})处取得极小值-\frac{1}{e}$。

---

欢迎扫描二维码关注微信公众号 深度学习与数学   [每天获取免费的大数据、AI等相关的学习资源、经典和最新的深度学习相关的论文研读，算法和其他互联网技能的学习，概率论、线性代数等高等数学知识的回顾]