百科问答小站 logo
百科问答小站 font logo



拉氏乘数法中为什么认为最值一定是极值呢? 第1页

  

user avatar   yangshusen96 网友的相关建议: 
      

本文的完成经过了 @柴斯基 的帮助。

在实际问题中,被讨论的优化问题即最值问题常常针对凸集上的凸函数,并且是二阶连续可微的。

以下假定 是开集,即不存在边界,并且所谓的凸函数其实是严格凸函数。

在 维欧氏空间上,称一个点集 是凸集,是指对于任意 和 成立

特别地,在实数集上,所有的开区间都是凸集;在平面上,椭圆盘、抛物线的内侧等等都是凸集。

称凸集 上的 元函数 是凸函数,是指对于任意 和 成立

例如二次函数 是实数集上的凸函数。进一步地,所有的正定二次型

都是凸函数,证明留做习题。

我们有类似一元微积分中的结论。设 是凸集 上的二阶连续可微的 元函数,则 是凸函数的充分条件是 对于任意 是正定矩阵,其中 定义为

根据多元微积分理论,设 是区域 上的二阶连续可微的 元函数, 满足

且 正定,则 是 的极小值点。所以凸函数的所有稳定点都是极小值点。

进一步地,凸函数的稳定点如果存在,那么是唯一的。这是因为稳定点处的所有方向导数都是零,在之前的假设下,任取单位向量 构造 上的函数

其中 是使得 总有意义的最大值,则 和 都单调递增,进而 在形如 的点处方向为 的方向导数大于零,说明此点不是稳定点。

再由凸集的定义,这些点与 完全囊括了凸集 并且 所以 也是 的最小值点。

综上所述,凸集上的凸函数至多有一个稳定点,当有稳定点时,它是极小值点,也是最小值点。




  

相关话题

  两幂级数柯西乘积收敛半径大于等于较小者 怎么证明呢? 
  请问这个不等式该如何证明? 
  如何入门 Yamabe 问题? 
  如何计算投掷多个骰子得到某个给定总点数的概率? 
  常数变易法的思想来源是什么? 
  这道题用坐标变换该怎么解? 
  线性代数为什么学校老师讲得那么复杂,考研老师却讲得如此精辟? 
  手算卫星轨道有多复杂? 
  如何去构造一个酉矩阵? 
  物理专业学生应该具备哪些数学素养? 

前一个讨论
黎曼-斯蒂尔杰斯积分有什么存在的意义吗?
下一个讨论
为什么复变函数中定义无穷远点的留数时积分路线的方向是负的?





© 2024-11-09 - tinynew.org. All Rights Reserved.
© 2024-11-09 - tinynew.org. 保留所有权利