AM@多元函数极值存在定理@条件极值
  YKlbyZv8AQAt 2023年12月07日 21 0



文章目录

  • abstract
  • 多元函数极值存在定理
  • 极值求解
  • 求解步骤
  • 驻点部分
  • 偏导不存在的点
  • 多元函数最值
  • 条件极值
  • 条件极值转为无条件极值
  • 极值必要条件
  • 拉格朗日乘数法
  • 推广


abstract

  • 多元函数极值和最值@多元函数极值存在定理@条件极值

多元函数极值存在定理

  • 本定理给出极值存在充分条件
  • 设函数AM@多元函数极值存在定理@条件极值_方程组在点AM@多元函数极值存在定理@条件极值_多元函数_02的某个邻域内来连续,且有一阶和二阶连续偏导数,又AM@多元函数极值存在定理@条件极值_极值_03,AM@多元函数极值存在定理@条件极值_方程组_04(驻点存在),令
  • AM@多元函数极值存在定理@条件极值_邻域_05
  • AM@多元函数极值存在定理@条件极值_方程组_06
  • AM@多元函数极值存在定理@条件极值_极值_07
  • AM@多元函数极值存在定理@条件极值_极值_08=AM@多元函数极值存在定理@条件极值_多元函数_09
  • AM@多元函数极值存在定理@条件极值_多元函数_10在点AM@多元函数极值存在定理@条件极值_多元函数_02处是否取得极值的条件和结论为:
  • AM@多元函数极值存在定理@条件极值_多元函数_12时具有极值,
  • AM@多元函数极值存在定理@条件极值_邻域_13时有极大值,
  • AM@多元函数极值存在定理@条件极值_多元函数_14时有极小值
  • AM@多元函数极值存在定理@条件极值_方程组_15没有极值
  • AM@多元函数极值存在定理@条件极值_多元函数_16时需要另外讨论才能确定

极值求解

  • 这里指无条件极值
  • 分为两部分:所有驻点不可导点处都有可能是极值

求解步骤

驻点部分
  • 建立并解方程组AM@多元函数极值存在定理@条件极值_邻域_17;AM@多元函数极值存在定理@条件极值_方程组_18;得到一切实数解,得一切驻点
  • 两个方程都是一元方程,可能有多个解,方程1解设为AM@多元函数极值存在定理@条件极值_方程组_19;方程2的解设为AM@多元函数极值存在定理@条件极值_邻域_20
  • 构造驻点坐标:AM@多元函数极值存在定理@条件极值_条件极值_21,AM@多元函数极值存在定理@条件极值_多元函数_22,共有AM@多元函数极值存在定理@条件极值_极值_23个驻点
  • 对每个驻点AM@多元函数极值存在定理@条件极值_邻域_24,求处二阶偏导数AM@多元函数极值存在定理@条件极值_多元函数_25
  • 确定AM@多元函数极值存在定理@条件极值_极值_26得符号,由定理2的结论判定AM@多元函数极值存在定理@条件极值_条件极值_27是否为极值(若为极值,进一步根据AM@多元函数极值存在定理@条件极值_邻域_28得符号判断该极值是极大值还是极小值)
偏导不存在的点
  • 如果函数存在某些偏导数不存在的点,那么这些点也可能是极值点,需要逐个判断
  • 如果函数处处可偏导,则不需要处理这部分

  • 求函数AM@多元函数极值存在定理@条件极值_多元函数_10=AM@多元函数极值存在定理@条件极值_方程组_30的极值
  • 构造并解方程组:AM@多元函数极值存在定理@条件极值_多元函数_31;AM@多元函数极值存在定理@条件极值_多元函数_32=AM@多元函数极值存在定理@条件极值_多元函数_33
  • 分别解得AM@多元函数极值存在定理@条件极值_多元函数_34;AM@多元函数极值存在定理@条件极值_邻域_35;AM@多元函数极值存在定理@条件极值_方程组_36;AM@多元函数极值存在定理@条件极值_邻域_37
  • 构造驻点AM@多元函数极值存在定理@条件极值_方程组_38,AM@多元函数极值存在定理@条件极值_方程组_39;AM@多元函数极值存在定理@条件极值_多元函数_40;AM@多元函数极值存在定理@条件极值_方程组_41
  • 计算函数的AM@多元函数极值存在定理@条件极值_多元函数_42:AM@多元函数极值存在定理@条件极值_多元函数_43;AM@多元函数极值存在定理@条件极值_邻域_44,AM@多元函数极值存在定理@条件极值_邻域_45;AM@多元函数极值存在定理@条件极值_极值_46
  • 分别判断驻点的判别式
  • AM@多元函数极值存在定理@条件极值_邻域_47处,AM@多元函数极值存在定理@条件极值_极值_48,且AM@多元函数极值存在定理@条件极值_条件极值_49,所以函数在AM@多元函数极值存在定理@条件极值_邻域_47处有极小值AM@多元函数极值存在定理@条件极值_条件极值_51
  • AM@多元函数极值存在定理@条件极值_邻域_52处,AM@多元函数极值存在定理@条件极值_条件极值_53,所以AM@多元函数极值存在定理@条件极值_多元函数_54不是极值
  • AM@多元函数极值存在定理@条件极值_条件极值_55处,AM@多元函数极值存在定理@条件极值_条件极值_53,AM@多元函数极值存在定理@条件极值_极值_57不是极值
  • AM@多元函数极值存在定理@条件极值_多元函数_58处,AM@多元函数极值存在定理@条件极值_条件极值_59,AM@多元函数极值存在定理@条件极值_邻域_13,所以函数在AM@多元函数极值存在定理@条件极值_多元函数_58处有极大值AM@多元函数极值存在定理@条件极值_条件极值_62

多元函数最值

  • 与一元函数相类似,我们可以利用函数的极值来求函数的最大值和最小值.
  • 如果AM@多元函数极值存在定理@条件极值_条件极值_63在有界闭区域D上连续,那么AM@多元函数极值存在定理@条件极值_邻域_64在D上必定能取得最大值和最小值.
  • 这种使函数取得最大值或最小值的点既可能在D的内部,也可能在D的边界上.
  • 我们假定,函数在D上连续、在D内可微分且只有有限个驻点,
  • 这时如果函数在D的内部取得最大值(最小值),那么这个最大值(最小值)也是函数的极大值(极小值).
  • 因此,在上述假定下,求函数的最大值和最小值的一般方法是:
  • 将函数AM@多元函数极值存在定理@条件极值_邻域_65在D内的所有驻点处的函数值及在D的边界上的最大值和最小值相互比较,其中最大的就是最大值,最小的就是最小值.
  • 但这种做法,由于要求出AM@多元函数极值存在定理@条件极值_邻域_65在D的边界上的最大值和最小值,所以往往相当复杂.
  • 在通常遇到的实际问题中,如果根据问题的性质,知道函数AM@多元函数极值存在定理@条件极值_极值_67的最大值(最小值)一定在D的内部取得,而函数在D内只有一个驻点,那么可以肯定该驻点处的函数值就是函数AM@多元函数极值存在定理@条件极值_邻域_65在D上的最大值(最小值).

  • 制作体积为AM@多元函数极值存在定理@条件极值_条件极值_69的封闭长方体水箱,设长,宽分别为AM@多元函数极值存在定理@条件极值_方程组_70,则高为AM@多元函数极值存在定理@条件极值_方程组_71,问AM@多元函数极值存在定理@条件极值_方程组_70分别取多少时用料最省?
  • 水箱的表面积为AM@多元函数极值存在定理@条件极值_邻域_73=AM@多元函数极值存在定理@条件极值_多元函数_74;AM@多元函数极值存在定理@条件极值_条件极值_75
  • AM@多元函数极值存在定理@条件极值_条件极值_76=AM@多元函数极值存在定理@条件极值_邻域_77;AM@多元函数极值存在定理@条件极值_多元函数_78=0
  • AM@多元函数极值存在定理@条件极值_多元函数_79;AM@多元函数极值存在定理@条件极值_方程组_80
  • 函数有唯一驻点AM@多元函数极值存在定理@条件极值_极值_81,并且在函数AM@多元函数极值存在定理@条件极值_邻域_82开区域AM@多元函数极值存在定理@条件极值_方程组_83内部取得,则该点一定是极值点
  • 又由题意可知,函数AM@多元函数极值存在定理@条件极值_邻域_82在区域AM@多元函数极值存在定理@条件极值_方程组_83内一定由最小值,所以当AM@多元函数极值存在定理@条件极值_多元函数_79;AM@多元函数极值存在定理@条件极值_方程组_80时,函数AM@多元函数极值存在定理@条件极值_邻域_82取得最小值AM@多元函数极值存在定理@条件极值_条件极值_89,此时高度为AM@多元函数极值存在定理@条件极值_邻域_90=AM@多元函数极值存在定理@条件极值_方程组_91

条件极值

  • 上面所讨论的极值问题,对于函数的自变量,除了限制在函数的定义域内以外,并无其他条件,所以有时候称为无条件极值.
  • 但在实际问题中,有时会遇到对函数的自变量还有附加条件的极值问题.
  • 例如,求表面积为a而体积为最大的长方体的体积问题.设长方体的三棱的长为AM@多元函数极值存在定理@条件极值_邻域_92则体积AM@多元函数极值存在定理@条件极值_方程组_93又因假定表面积为AM@多元函数极值存在定理@条件极值_条件极值_94,所以自变量AM@多元函数极值存在定理@条件极值_邻域_92还必须满足附加条件AM@多元函数极值存在定理@条件极值_多元函数_96.
  • 像这种对自变量有附加条件的极值称为条件极值.

条件极值转为无条件极值

  • 对于有些实际问题,可以把条件极值化为无条件极值,然后利用第一目中的方法加以解决.例如上述问题,可由条件AM@多元函数极值存在定理@条件极值_方程组_97,将AM@多元函数极值存在定理@条件极值_邻域_98表示成(展开合并同类项移项可得)
  • AM@多元函数极值存在定理@条件极值_极值_99,将其代入AM@多元函数极值存在定理@条件极值_邻域_100,得AM@多元函数极值存在定理@条件极值_邻域_101的无条件极值

极值必要条件

  • 很多情形下,条件极值化为无条件极值不容易,需要寻找新的途径求解条件极值
  • 这种方法称为Lagrange乘数法
  • AM@多元函数极值存在定理@条件极值_方程组(1)在条件AM@多元函数极值存在定理@条件极值_邻域_103(2)下取得极值的必要条件是什么?
  • 设函数(1)在AM@多元函数极值存在定理@条件极值_多元函数_104处取得所求的极值,则AM@多元函数极值存在定理@条件极值_条件极值_105(3)
  • 假定在AM@多元函数极值存在定理@条件极值_邻域_106的某一邻域内AM@多元函数极值存在定理@条件极值_邻域_65AM@多元函数极值存在定理@条件极值_方程组_108均有连续的一阶偏导数,而AM@多元函数极值存在定理@条件极值_多元函数_109
  • 隐函数存在定理,方程(2)确定一个来纳许且具有连续导数的函数AM@多元函数极值存在定理@条件极值_条件极值_110(3-1)
  • 将式(3-1)代入(1),得到一个一元函数AM@多元函数极值存在定理@条件极值_方程组_111(4)
  • 于是二元函数(1)在AM@多元函数极值存在定理@条件极值_邻域_106取得所求的极值相当于一元函数(4)在AM@多元函数极值存在定理@条件极值_多元函数_113处取得极值
  • 由一元可导函数取得极值的必要条件,AM@多元函数极值存在定理@条件极值_条件极值_114(5),即AM@多元函数极值存在定理@条件极值_方程组_115(5-1)
  • 而由方程(2),用隐函数求导公式,AM@多元函数极值存在定理@条件极值_极值_116=AM@多元函数极值存在定理@条件极值_多元函数_117(5-2)把上式代入(5-1),得
  • AM@多元函数极值存在定理@条件极值_邻域_118(6)
  • 式(3),(6)就是函数(1)在条件(2)下在AM@多元函数极值存在定理@条件极值_邻域_119取得极值得必要条件
  • 变形条件(6)
  • AM@多元函数极值存在定理@条件极值_条件极值_120=AM@多元函数极值存在定理@条件极值_极值_121(6-1),变形即有AM@多元函数极值存在定理@条件极值_多元函数_122(6-2)
  • 且式(6)改写为AM@多元函数极值存在定理@条件极值_多元函数_123(6-3)
  • 将上述必要条件整理,得方程组(7)
  1. AM@多元函数极值存在定理@条件极值_多元函数_123
  2. AM@多元函数极值存在定理@条件极值_多元函数_122
  3. AM@多元函数极值存在定理@条件极值_条件极值_105
  • 引进辅助函数AM@多元函数极值存在定理@条件极值_邻域_127(8),则(7-1,7-2)分别为AM@多元函数极值存在定理@条件极值_邻域_128(9-1);AM@多元函数极值存在定理@条件极值_邻域_129(9-2)
  • 辅助函数AM@多元函数极值存在定理@条件极值_多元函数_130也称为Lagrange函数,参数AM@多元函数极值存在定理@条件极值_邻域_131称为Lagrange乘子

拉格朗日乘数法

  • 要找到函数AM@多元函数极值存在定理@条件极值_方程组(1)在附加条件AM@多元函数极值存在定理@条件极值_邻域_103(2)下的可能极值点,可以线作Lagrange函数:AM@多元函数极值存在定理@条件极值_多元函数_130=AM@多元函数极值存在定理@条件极值_极值_135=AM@多元函数极值存在定理@条件极值_邻域_136,其中AM@多元函数极值存在定理@条件极值_邻域_131为参数
  • 求其对AM@多元函数极值存在定理@条件极值_方程组_70的一阶偏导数,并令它们为0,在和条件方程联立:
  • AM@多元函数极值存在定理@条件极值_条件极值_139
  • AM@多元函数极值存在定理@条件极值_方程组_140
  • AM@多元函数极值存在定理@条件极值_极值_141
  • 有此方程组解出AM@多元函数极值存在定理@条件极值_多元函数_142,得到的AM@多元函数极值存在定理@条件极值_方程组_143就是函数AM@多元函数极值存在定理@条件极值_多元函数_10在附加条件(2)下的可能极值点

推广

  • Lagrange乘数法可以推广到自变量多于2个,附加条件多于1个的情形
  • 例如求AM@多元函数极值存在定理@条件极值_方程组_145在附加条件AM@多元函数极值存在定理@条件极值_邻域_146,AM@多元函数极值存在定理@条件极值_方程组_147下的极值
  • 此时构造的Lagrange函数为AM@多元函数极值存在定理@条件极值_极值_148=AM@多元函数极值存在定理@条件极值_条件极值_149
  • 参数AM@多元函数极值存在定理@条件极值_多元函数_150也可以用记号AM@多元函数极值存在定理@条件极值_多元函数_151表示
  • 求Lagrange函数AM@多元函数极值存在定理@条件极值_邻域_152的各个一阶偏导并令它们为0,再来联立两个条件方程,求出AM@多元函数极值存在定理@条件极值_方程组_153,就是可能是所求的极值点

  • 求表面积为AM@多元函数极值存在定理@条件极值_邻域_154而体积为最大的长方体的体积
  • 设长方体的三棱分别为AM@多元函数极值存在定理@条件极值_邻域_92,体积函数为AM@多元函数极值存在定理@条件极值_邻域_100,AM@多元函数极值存在定理@条件极值_方程组_157,(1)
  • 定义域之外的附加条件为AM@多元函数极值存在定理@条件极值_邻域_158(2),用方程一般形式表示:令AM@多元函数极值存在定理@条件极值_极值_159=AM@多元函数极值存在定理@条件极值_条件极值_160=0
  • 这是一个含3个自变量和一个附加条件的极值问题
  • 构造Lagrange函数为AM@多元函数极值存在定理@条件极值_极值_161=AM@多元函数极值存在定理@条件极值_邻域_162=AM@多元函数极值存在定理@条件极值_多元函数_163
  • 分别求偏导并令他们为0:得方程组(3)
  1. AM@多元函数极值存在定理@条件极值_多元函数_164=AM@多元函数极值存在定理@条件极值_极值_165=0
  2. AM@多元函数极值存在定理@条件极值_邻域_166=AM@多元函数极值存在定理@条件极值_邻域_167=0
  3. AM@多元函数极值存在定理@条件极值_多元函数_168=AM@多元函数极值存在定理@条件极值_方程组_169=0
  • 再与条件(2)联立(可以表示为AM@多元函数极值存在定理@条件极值_多元函数_170=0
  • 对方程组(3)移项:
  • AM@多元函数极值存在定理@条件极值_极值_171;(4-1)
  • AM@多元函数极值存在定理@条件极值_极值_172;(4-2)
  • AM@多元函数极值存在定理@条件极值_邻域_173(4-3)
  • 作式(4-1)比去(4-2),以及(4-1)比去(4-3)分别得:
  • AM@多元函数极值存在定理@条件极值_条件极值_174;AM@多元函数极值存在定理@条件极值_条件极值_175,分别令这两个比值为AM@多元函数极值存在定理@条件极值_极值_176
  • 由比例性质,AM@多元函数极值存在定理@条件极值_方程组_177,可得AM@多元函数极值存在定理@条件极值_方程组_178,
  • 即得AM@多元函数极值存在定理@条件极值_多元函数_179,代入(2),得AM@多元函数极值存在定理@条件极值_邻域_180


【版权声明】本文内容来自摩杜云社区用户原创、第三方投稿、转载,内容版权归原作者所有。本网站的目的在于传递更多信息,不拥有版权,亦不承担相应法律责任。如果您发现本社区中有涉嫌抄袭的内容,欢迎发送邮件进行举报,并提供相关证据,一经查实,本社区将立刻删除涉嫌侵权内容,举报邮箱: cloudbbs@moduyun.com

  1. 分享:
最后一次编辑于 2023年12月07日 0

暂无评论

YKlbyZv8AQAt