Computer Science

WangMC Blog

多元函数极值求解

发表于 分类于
本文字数： 3.8k 阅读时长 ≈ 3 分钟

多元函数极值求解全体系

一、体系总览：方法间的逻辑关联

多元函数极值的本质是函数在某点邻域内的局部最值，其求解方法根据「函数类型」「约束条件」「可导性」分为三大类，核心逻辑呈递进与互补关系：

  1. 无条件极值（无约束）：基础核心，适用于一般可导二元函数，是其他方法的理论根基；

  2. 条件极值（有约束）：针对“带等式约束”的极值问题，由拉格朗日乘数法解决，本质是将多元条件极值转化为无条件极值；

  3. 特殊情形极值（不可导/判别法失效）：补充前两种方法的盲区，用定义法或几何意义求解，适配数一小众压轴场景。

二、方法一：无条件极值（无约束条件）

适用于：二元函数 ( z = f(x,y) )，无附加约束条件，是考研数一多元极值的核心考点。

（一）核心原理

  1. 极值的必要条件：若 ( f(x,y) ) 在 ( (x_0,y_0) ) 处可偏导且取极值，则 ( f_x(x_0,y_0) = 0 )，( f_y(x_0,y_0) = 0 )（驻点定义）；

  2. 极值的充分条件（二阶偏导数判别法）：若 ( f(x,y) ) 在驻点 ( (x_0,y_0) ) 的某邻域内有连续二阶偏导数，记：
    ( A = f_{xx}(x_0,y_0) )，( B = f_{xy}(x_0,y_0) )，( C = f_{yy}(x_0,y_0) )，判别式 ( \Delta = AC - B^2 )，则：

    • ( \Delta > 0 ) 且 ( A < 0 )：极大值点；
    • ( \Delta > 0 ) 且 ( A > 0 )：极小值点；
    • ( \Delta < 0 )：鞍点（无极值）；
    • ( \Delta = 0 )：判别法失效（需转定义法）。

（二）经典例题（你的提问复刻+数一拓展）

例题1：基础必考题（你此前提问的核心题）

求 ( f(x,y) = 4(x-y) - x^2 - y^2 ) 的极值。
解（结构化步骤，适配考研书写）：

  1. 求一阶偏导数，找驻点：
    ( f_x = 4 - 2x )，( f_y = -4 - 2y )，令 ( f_x = 0 )，( f_y = 0 )，得唯一驻点 ( (2, -2) )。

  2. 求二阶偏导数，计算 ( A,B,C )：
    ( f_{xx} = -2 )，( f_{xy} = 0 )，( f_{yy} = -2 )，故 ( A = -2 )，( B = 0 )，( C = -2 )。

  3. 判别极值：
    ( \Delta = AC - B^2 = 4 > 0 )，且 ( A = -2 < 0 )，因此 ( (2, -2) ) 是极大值点。

  4. 求极值：
    ( f(2, -2) = 4\times4 - 4 - 4 = 8 )，即函数的极大值为8，无极小值。

例题2：数一拓展（判别法失效情形）

求 ( f(x,y) = x2y2 ) 的极值。
解：

  1. 驻点：( f_x = 2xy^2 = 0 )，( f_y = 2x^2y = 0 )，得驻点为坐标轴上所有点 ( (x,0) )、( (0,y) )。

  2. 二阶偏导数：( f_{xx}=2y^2 )，( f_{xy}=4xy )，( f_{yy}=2x^2 )，在驻点处 ( \Delta = 0 )，判别法失效。

  3. 定义法判断：对任意 ( (x,y) \neq (0,0) )，( f(x,y) = x2y2 \geq 0 = f(0,0) )，故 ( (0,0) ) 是极小值点，极小值为0；其余驻点（如 ( (1,0) )），邻域内既有 ( f(x,y)=0 )，又有 ( f(x,y)>0 )，无极值。

（三）适用范围

  • 核心适用：二阶偏导数连续的二元无约束函数（数一选择题、解答题高频）；

  • 补充适用：判别法失效时，用定义法（适用于简单函数）或配方法（适用于二次型函数，如例题1可配方为 ( f(x,y) = 8 - (x-2)^2 - (y+2)^2 )，直接得极大值）。

三、方法二：条件极值（等式约束）

适用于：求 ( z = f(x,y) ) 在约束条件 ( \varphi(x,y) = 0 ) 下的极值，数一解答题常与「最值」结合考查。

（一）核心原理

拉格朗日乘数法：将条件极值转化为无条件极值。

  1. 构造拉格朗日函数：( L(x,y,\lambda) = f(x,y) + \lambda \varphi(x,y) )（( \lambda ) 为拉格朗日乘数）；

  2. 极值的必要条件：驻点满足 ( L_x = 0 )，( L_y = 0 )，( L_\lambda = \varphi(x,y) = 0 )；

  3. 判定极值：考研数一不要求用二阶偏导数判别，只需结合实际意义（如体积、面积、距离必存在最值）或驻点唯一性判定，直接取最值（极值）。

（二）数一经典例题（与无条件极值结合）

例题3：拉格朗日乘数法基础题

求函数 ( f(x,y) = 4(x-y) - x^2 - y^2 ) 在约束条件 ( x + y = 0 ) 下的极值。
解（衔接你的基础题，对比无约束与有约束的差异）：

  1. 构造拉格朗日函数：
    ( L(x,y,\lambda) = 4(x-y) - x^2 - y^2 + \lambda(x + y) )。

  2. 求驻点：
    ( )，由 ( x + y = 0 ) 得 ( y = -x )，代入前两式，解得 ( x = 2 )，( y = -2 )，( \lambda = 0 )，驻点为 ( (2, -2) )。

  3. 判定极值：约束条件 ( x + y = 0 ) 是直线，函数在该直线上的极值由驻点唯一性确定，代入得 ( f(2, -2) = 8 )。结合几何意义，该点是函数在直线上的极大值点（也是最大值点）。

例题4：数一高频压轴（实际应用）

求表面积为 ( 12 ) 的长方体的最大体积。
解：

  1. 设长宽高为 ( x,y,z )（( x,y,z > 0 )），目标函数 ( V = xyz )，约束条件 ( \varphi(x,y,z) = 2(xy + yz + xz) - 12 = 0 )。

  2. 构造拉格朗日函数：( L = xyz + \lambda[2(xy + yz + xz) - 12] )。

  3. 求驻点：
    ( )，由对称性得 ( x = y = z )，代入约束条件得 ( 6x^2 = 12 )，即 ( x = y = z = \sqrt{2} )。

  4. 判定：长方体体积必有最大值，故当 ( x = y = z = \sqrt{2} ) 时，体积最大为 ( V = (\sqrt{2})^3 = 2\sqrt{2} )。

（三）适用范围

  • 核心适用：二元/三元函数，带1个或多个等式约束（数一最多考查2个约束）；

  • 注意事项：若约束条件可直接代入目标函数（如例题3中 ( y = -x ) 可代入 ( f(x,y) ) 转化为一元函数极值），优先代入法，再用一元函数极值判定（比拉格朗日乘数法更简便）。

四、方法三：多元函数最值（极值的延伸）

适用于：闭区域 ( D ) 上的连续函数 ( f(x,y) )，数一解答题常考「求闭区域上的最值」，本质是极值与边界值的比较。

（一）核心原理

连续函数在有界闭区域 ( D ) 上必有最大值和最小值，求解步骤为：

  1. 求 ( D ) 内部的无条件极值（驻点处的极值）；

  2. 求 ( D ) 边界上的条件极值（用拉格朗日乘数法或代入法）；

  3. 比较所有内部极值和边界值，最大者为最大值，最小者为最小值。

（二）数一经典例题（综合你的基础题）

例题5：闭区域上的最值（衔接你的提问）

求 ( f(x,y) = 4(x-y) - x^2 - y^2 ) 在闭区域 ( D: x^2 + y^2 \leq 16 ) 上的最大值和最小值。
解：

  1. 内部极值（( x^2 + y^2 < 16 )）：由例题1得，驻点 ( (2, -2) )，极大值 ( f(2, -2) = 8 )（内部唯一极值）。

  2. 边界极值（( x^2 + y^2 = 16 )）：约束条件 ( \varphi(x,y) = x^2 + y^2 - 16 = 0 )，构造拉格朗日函数：
    ( L = 4(x-y) - x^2 - y^2 + \lambda(x^2 + y^2 - 16) )，求驻点：( )，化简得 ( x(1 - \lambda) = 2 )，( y(\lambda - 1) = 2 )，故 ( y = -x )，代入边界条件得 ( x^2 + x^2 = 16 )，即 ( x = \pm 2\sqrt{2} )，( y = \mp 2\sqrt{2} )。计算边界值：

    • ( f(2\sqrt{2}, -2\sqrt{2}) = 4\times4\sqrt{2} - 8 - 8 = 16\sqrt{2} - 16 \approx 6.627 )；
    • ( f(-2\sqrt{2}, 2\sqrt{2}) = 4\times(-4\sqrt{2}) - 8 - 8 = -16\sqrt{2} - 16 \approx -32.627 )。

  3. 比较得最值：最大值为 ( 16\sqrt{2} - 16 )（边界点 ( (2\sqrt{2}, -2\sqrt{2}) )），最小值为 ( -16\sqrt{2} - 16 )（边界点 ( (-2\sqrt{2}, 2\sqrt{2}) )）；内部极大值8并非闭区域上的最大值（体现「极值≠最值」的核心考点）。

（三）适用范围

  • 核心适用：有界闭区域上的连续多元函数（数一解答题综合考点）；

  • 关键提醒：极值是局部概念，最值是全局概念，闭区域上的最值必在「内部驻点」或「边界点」处取得。

五、体系总结（数一备考重点）

方法类型 核心工具 适用场景 考研考查重点 与你的提问关联
无条件极值 二阶偏导数判别法、定义法 无约束，二阶偏导连续 判别极大/极小值、鞍点 你的基础提问是该方法的典型考题
条件极值 拉格朗日乘数法、代入法 带等式约束 实际应用（体积、面积）、边界极值 例题3将你的基础题增加约束，形成数一常考变式
闭区域最值 极值+边界值比较 有界闭区域上的连续函数 综合无条件与条件极值，区分极值与最值 例题5以你的基础题为载体，考查数一综合解答题