![546df72402c1f8317e676c7fd4cdb804.png](https://img-blog.csdnimg.cn/img_convert/546df72402c1f8317e676c7fd4cdb804.png)
上一节笔记:
学弱猹:数值优化(7)——限制空间的优化算法:LBFGS,LSR1zhuanlan.zhihu.com![8240e04cdf68d63ffbac104cf82b7f93.png](https://img-blog.csdnimg.cn/img_convert/8240e04cdf68d63ffbac104cf82b7f93.png)
————————————————————————————————————
大家好!这一节我们会开辟一个全新的领域,我们会开始介绍带约束优化的相关内容。带约束优化在某些细节上会与之前的内容有所不同,但是主要的思路啥的都会和我们之前的传统方法一致,所以倒也不必担心。
那么我们开始吧。
目录
- 带约束优化问题的基本框架与支撑性质
- 优化边界举例
- 梯度投影法
- 标准化的梯度投影法
Source
- D. P. Bertsekas. Nonlinear Programming
- C. T. Kelley. Iterative Method for Optimization
- 课堂笔记,教授主页:
带约束优化问题的基本框架与支撑性质
一般来说我们会研究的问题长这个样子
其中
首先是下面这个定义
Definition 1: Projection
设为一个在希尔伯特空间内的凸集,那么对任意的
,我们定义它到
的投影为
,这里的范数定义为内积生成的范数,也就是
。
说它是投影也无可厚非,只不过这个投影和单纯的“投影到地面上”啥的相比,做了一个拓展。所以关于这个投影,是否还具有一般的性质呢?这就是下面要说的。
Proposition 1:
设是一个凸而闭的集合,那么
(1) 投影存在且唯一。
(2) 对任意的,
当且仅当
,有
。
(3) 投影算子连续,并且有
,有
。
我们证明一下这个结论。第一个看起来好像很难,我们先看第二个。假如说我们有
然后只需要带入我们的结论即可(因为欧氏空间中,
另一方面,假如说我们有
设
这里要注意的是,根据条件我们有
这一张图说明了这个性质想告诉我们什么,也点出了证明思路。
![d4fb5ef59c11caba3d55de95f2a04d45.png](https://img-blog.csdnimg.cn/img_convert/d4fb5ef59c11caba3d55de95f2a04d45.png)
具体说就是,实际情况下,投影到两个我们关心的目标点
再来说说第三个结论,第三个结论其实就是利用一下我们的不等式。设
简单的组合一下就会有$left le 0$,这样的话其实不难得到的是
两边约分即可得到我们想要的结果,而这个结果其实就隐含了算子的连续性。
关于第一个性质的证明,其实严格来说算是拓扑学的内容,简单来说,在一个有限闭集上取定义域的连续实值函数是可以取到极大极小值的。具体的细节我们这里不详谈,但是为了方便理解,我们放一个链接
学弱猹:拓扑学Ⅱ|笔记整理(4)——紧致性,列紧性zhuanlan.zhihu.com![e31613c85b70d01da8372be4a465077f.png](https://img-blog.csdnimg.cn/img_convert/e31613c85b70d01da8372be4a465077f.png)
在这里的Propositi