这篇文章我们继续来学习数值最优化方法第三章的后续内容

阻尼Newton方法

这一章我们以及在之前了解过了：最速下降法，基本Newton方法，这一节我们来了解阻尼newton方法

之前我们提到的基本Newton方法是以一固定步长和Newton方向进行迭代的，但是我们学习过线搜索，自然会想到这样的固定步长迭代是否会不合适， 所以对于此进行优化的方法阻尼 Newton 方法就产生了

相比于基本Newton方法，阻尼Newton方法只有一点不一样：
$$x_{k+1}=x_k+{\alpha }_k{d}_k$$
其中的${\alpha }_k$是一维线搜索得到的结果

这样的方法能够保证对函数 Hassen矩阵正定的前提下函数值单调下降，于基本Newton方法不同的是，即使迭代点离$x^{\ast }$稍远这个方法也有可能收敛到最低点

对于严格凸函数，采用Wolfe准则的阻尼Newton方法具有全局收敛性
这里附上图集和凸函数的正式定义

有定理如下：
设严格凸函数$f(x)\in C^2,\forall x_0\in R,\exists \beta >0$，使得$f(x)$在水平集 L ( x 0 ) = { x ∣ f ( x ) ≤ f ( x 0 ) } L(x_0)=\{x|f(x)\leq f(x_0)\} L(x0​)={x∣f(x)≤f(x0​)}上满足
$${\mu }^{T}G(x)\mu \ge \beta ||\mu |{|}^2,\mu \in R^n,x\in L(x_0)$$
则采用Wolfe准则的阻尼Newton方法产生的 { x k } \{x_k\} {xk​}满足下列二者之一

• { x k } \{x_k\} {xk​}是有穷点列，即存在N，使得$g_N=0$
• { x k } \{x_k\} {xk​}是无穷点列，则会收敛到$f$的唯一极小点$x^{\ast }$

证明：
首先假设$x_1,x_2\in L(x_0)$，则$$f(x_1)\le f(x_0),f(x_2)\le f(x_0)$$
再给定$x=\lambda x_1+(1-\lambda )x_2,\lambda \in [0,1]$，又因为$f(x)$是凸函数，则
$$f(x)=f(\lambda x_1+(1-\lambda )x_2)\le \lambda f(x_1)+(1-\lambda )f(x_2)\le \lambda f(x_0)+(1-\lambda )f(x_0)=f(x_0)$$
所以$x$满足$L(x_0)$集合的条件，$x\in L(x_0)$，则$L(x_0)$满足凸集的定义
设存在序列 { x k } ⊂ L ( x 0 ) \{x_k\}\subset L(x_0) {xk​}⊂L(x0​)，这个序列的极限是函数极小值点，由函数的连续性可知${\lim }_{k\to \infty }f(x_k)=f(x^{\ast })\le f(x_0)$，则可知$f(x^{\ast })\in L(x_0)$，$L(x_0)$是闭集
另外我们有$\forall x,y\in L(x_0)$，由泰勒展开可得$$f(y)\ge f(x)+g(x{)}^T(y-x)+\frac{1}{2}(y-x{)}^{T}G(x+\theta (y-x))(y-x),\theta \in (0,1)$$
且由假设$${\mu }^{T}G(x)\mu \ge \beta ||\mu |{|}^2,\mu \in R^n,x\in L(x_0)$$可得$$f(y)\ge f(x)+g(x{)}^T(y-x)+\frac{1}{2}\beta ||y-x|{|}^2$$
这时候我们取$x=x_0$，则有$$f(y)\ge f(x_0)+g(x_0{)}^T(y-x_0)+\frac{1}{2}\beta ||y-x_0|{|}^2$$
则$$f(y)-f(x_0)\ge g(x_0{)}^T(y-x_0)+\frac{1}{2}\beta ||y-x_0|{|}^2\ge -||g(x_0)||||y-x_0||+\frac{1}{2}\beta ||y-x_0|{|}^2$$
又因为$L(x_0)$的定义，可知$f(y)\le f(x_0)$，则$$0\ge -||g(x_0)||||y-x_0||+\frac{1}{2}\beta ||y-x_0|{|}^2$$
$$||y-x_0||\le \frac{2}{\beta }||g(x_0)||$$
又已知$f(x)$是严格凸函数，那么其稳定点肯定是唯一的全局极小点
若 { x k } \{x_k\} {xk​}是无穷点列，因为这个点列属于$L(x_0)$这个有界集，不妨假设这个点集的极限为$x^{\prime }$ ，显然也有$x^{\prime }\in L(x_0)$，而我们的阻尼Newton方法产生的函数值单调下降有下界，所以有$f_k\to f_{x^{\prime }}$，接下来我们回顾一下第二章学习过的非精确线搜索方法的收敛性

显然我们想要有$x^{\prime }=x^{\ast }$也就是$g_k\to 0$，只需要$\exists \mu ,0\le {\theta }_k\le \frac{\pi }{2}-\mu$
又有$G(x)$连续和$L(x_0)$是紧集（闭集+凸集），则存在$\gamma >0,\forall x\in L(x_0),||G(x)||<\gamma$
则$||g_k||=||G_k{d}_k||\le \gamma ||d_k||$，所以有$$\frac{\pi }{2}-{\theta }_k\ge sin(\frac{\pi }{2}-{\theta }_k)=cos{\theta }_k=\frac{-g_k^T{d}_k}{||g_k||||d_k||}=\frac{d_k^T{G}_k{d}_k}{||g_k||||d_k||}\ge \frac{\beta }{\gamma }$$
即${\theta }_k\le \frac{\pi }{2}-\frac{\beta }{\gamma }$
自然可以得证第二种情况，显然当收敛在有限步结束了自然满足第一种情况
需要记住的是上面的非精确线搜索收敛性准则我们其实之前有提过是对精确线搜索以及Goldstein准则都成立的，所以采用这些准则的阻尼 Newton 方法对严格凸函数的全局收敛性同样是存在的