二元函数极值

定义

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

image-20260726124429481

P0P_0 周围的邻域内每个点都要有定义(所以边界不考虑),且满足:

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

几个常见的二元函数极值:

image-20260726124604481

定义法:

  • x2+y20\sqrt{x^2+y^2}\ge 0
  • 马鞍面上的 (0,0)(0,0) 有小有大,所以不是极值点

必要条件

首先,二元极值满足:

  • 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

极值点必为二者之一:驻点 or 偏导数不存在

驻点不一定是极值点

马鞍面:是驻点(球在上面也可以不动),但不是极值点

充分条件

  1. 条件:邻域内有连续的一阶和二阶导,且 fx(x0,y0)=0,fy(x0,y0)=0f_x'(x_0,y_0)=0,f_y'(x_0,y_0)=0

  2. 记:

    image-20260726125535531

则:

  • ACB2>0AC-B^2>0 为极值(A<0A<0 极大值,A>0A>0 极小值)
  • ACB2<0AC-B^2<0,一定不为极值
  • ACB2=0AC-B^2=0 无法判断,定义观察

nn 元函数极值:黑塞矩阵正定/负定

例题

一个普通二元函数求极值

  1. x,yx,y 分别偏导
  2. 然后找令两式为的 x,yx,y,这些就是驻点
  3. ACB2AC-B^2 或黑塞矩阵的正负定来判断

充分条件证明

观察二元函数的泰勒公式

image-20260726133131328

第二三部分为0

所以转化为 h(Δx,Δy)h(\Delta x, \Delta y) 二级导的函数问题

image-20260726133246479

提取 Δy2\Delta y^2,就变成了二次函数问题

image-20260726133532811

ACB2<0AC-B^2<0,那随着 uu 变化正负都能取。那就一定不取极值点了。

ACB2=0AC-B^2=0 就无法判断了。


但如果提的是 Δx2\Delta x^2 出去呢?

为什么只由 AA 来定极大极小呢?

因为若 ACB2>0AC-B^2>0,则 A,CA,C 必然同号

最值问题

实际问题:

f(x,y)f(x,y)(处处可偏导) 的最值在 DD 内部,且只有一个驻点,那么这个驻点处一定是极值

例:2m32m^3 的长方体水箱,长宽高多少体积最省

x,y,2xyx,y,\dfrac{2}{xy},则:

A(x,y)=2(xy+y2xy+x2xy)  (x,y>0)=2(xy+2x+2y)A(x,y)=2(xy+y\dfrac 2 {xy}+x\dfrac 2{xy})\;(x,y>0)\\ =2(xy+\dfrac 2 x+\dfrac 2 y)

AminA_{\min}

Ax=2(y2x2)=0Ay=2(x2y2)=0A_x'=2(y-\frac 2{x^2})=0\\ Ay'=2(x-\frac 2 {y^2})=0

然后做恒等变形,可以得到:

x=23y=23x=\sqrt[3]{2}\\ y=\sqrt[3]{2}

zz 也可以求了。

然后驻点就是截止点。