1.4 无约束优化问题的最优性条件
考虑无约束优化问题
(1) 优化问题一般分为局部最优和全局最优,局部最优,就是在函数值空间的一个有限区域内寻找最小值;而全局最优,是在函数值空间整个区域寻找最小值问题。下面给出局部极小值和全局极小值的定义。
极小值的类型
局部极小值(Local minimum)和全局最小值(Global minimum)
def 1 : ,则称为f的局部极小值点(局部最优点)。
def 2: ,则称为f的全局(总体)极小值点(全局最优点)。
1.4.1 必要条件
对于无约束优化问题,要根据极小值的定义去判断是否为最优点几乎是不可能的,因此有必要去寻找一个可行的判断方法。所以学者就提出一阶和二阶必要条件的判断判断方法。即在已知是最优点,能推导出什么样的结果。
【一阶必要条件】
Th 1: 若在开集D上连续可微,且是(1)的局部极小点,则
【二阶必要条件】
Th 2 : 若在开集D上二阶连续可微,且是(1)的局部极小点,则
证明方法与一阶必要条件类似。
【注】
满足 的点称为函数f的平稳点或驻点(数分),但此时的 可能是极小值点,也有可能是极大值点,甚至可能既不是极小值点也不是极大值点(example:在x=0处)。称既不是极小值也不是极大值的点称之为鞍点。
讨论在已知是最优点,能得到两个必要条件,那么一个自然的想法就是如何判断一个点是不是最优点。换而言之,在满足什么条件下,我们可以得到最优点(或者极小值)。
【二阶充分条件】
Th 3: 若在开集D上二阶连续可微,且 ,则 是问题(1)的严格局部极小值点。
【充要条件】
Th 4 : 若上述的 是凸函数,这 是最优点的充分必要条件是。
1.5 最优化方法的结构
【基本结构】
(1)给定初始值 和某种终止条件(下面会说到)。
(2)确定搜索方向 (即按照一定的规则,构造 f 在点的下降方向为搜索方法)。
(3)确定步长 ,使得目标函数在某种意义下是下降的 。
(4)定义格式:。
(5)若 满足某种终止条件,则停止迭代,得到最优点,否则重复(2)的操作。
1.5.1 算法的评价标准
(a)收敛速度:
(a1) 收敛:,以及与迭代次数 k 无关的常数 , s.t
则称算法产生的迭代点列{} 具有 阶收敛速度。
(a2)R-收敛(根收敛速度):设
则称算法产生的迭代点列{} 具有R-阶收敛速度。
关于收敛的具体定义以及相关概念https://zhuanlan.zhihu.com/p/278151142
(b) 全局收敛与局部收敛
(c)二次终止性
二次终止性是指对于严格凸的二次函数,算法能在有限迭代步内达到最优值点。
除以上,一个算法的好坏还依赖于稳定性,计算存储的消耗等多方面因素,且数值实验不能用严瑾的数学证明保证算法具有良好的性态,理想情况下是根据收敛性和收敛速度的理论选择适当的算法来进行数值实验。
1.5.2 终止准则
方法1:下一步迭代点减去上一步迭代点的某种范数值小于等于我们想要精度参数 .即
缺点:可能 和 之间的差值很小,但函数值之间的差值很大。
方法2:下一步迭代点与上一步迭代点的函数值的绝对值之差小于我们想要的精度参数 , 即
缺点:函数值差值很小,但是对应的迭代点列之间的差值很大。
方法3:(Himmeblau) 同时采用方法1和方法2 ,即当 和时,采用
,
否则采用:
,
方法 4 :对于有一阶数信息的函数,且收敛速度不太快的算法,如CG(共轭梯度算法),可采用如下终止准则: