我一直都在流浪,
可我却不曾见过海洋。
 我努力微笑坚强,
用寂寞筑成一道围墙。
如果恨你,就没发忘记你,
如果不够悲伤,就无法飞翔。
那就让我孤独到底,直到忘记了呼吸。
——畅宝宝的傻逼哥哥

通常在实际中,最小化的函数有几个极值,所以最优化算法得出的极值不确实是否为全局的极值,对于一些特殊的函数,凸函数与凹函数,任何局部极值也是全局极致,因此如果目标函数是凸的或凹的,那么优化算法就能保证是全局的。

定义1:集合Rc⊂En是凸集,如果对每对点x1,x2⊂Rc,每个实数α,0<α<1,点

x=αx1+(1−α)x2

位于Rc,即x∈Rc。

效果上,如果任何两点x1,x2∈Rc用直线相连,x1,x2之间线上的每个点都在Rc中,那么Rc是凸的。如果存在点不在Rc中,那么该集合是非凸的,凸集合如图1所示。

凸的概念也可以用到函数上。

定义2:

  1. 我们称定义在凸集Rc上的函数f(x)为凸的,如果对每对x1,x2∈Rc与每个实数α,0<α<1,不等式
    f[αx1+(1−α)x2]≤αf(x1)+(1−α)f(x2)

满足。如果x1≠x2

f[αx1+(1−α)x2]<αf(x1)+(1−α)f(x2)

满足,那么f(x)是严格凸的。

  1. 如果φ(x)定义在凸集Rc上且f(x)=−φ(x)是凸的,那么φ(x)是凹的。如果f(x)是严格凸的,那么φ(x)是严格凹的。

上述定义中的不等式,左边是点x1,x2之间某处的f(x)值,而右边是基于线性插值得到的f(x)的近似,因此如果任何两点的线性插值大于函数的值,那么该函数就是凸的,图2a,b中的函数为凸的,2c为非凸的。


漫步最优化十四——凸函数与凹函数
图1

定理1:如果

f(x)=af1(x)+bf2(x)

其中a,b≥0,f1(x),f2(x)是凸集Rc上的凸函数,那么f(x)是集合Rc上的凸函数。

证明:因为f1(x),f2(x)是凸函数,a,b≥0,所以对于x=αx1+(1−α)x2,我们有

af1(αx1+(1−α)x2)≤a[αf1((x)1)+(1−α)f1(x2)]bf2(αx1+(1−α)x2)≤b[αf2((x)1)+(1−α)f2(x2)]

其中0<α<1,因此

f(x)f(αx1+(1−α)x2)=af1(x)+bf2(x)=af1(αx1+(1−α)x2)+bf2(αx1+(1−α)x2)≤α[af1(x1)+bf2(x1)]+(1−α)[af1(x2)+bf2(x2)]

因为

af1(x1)+bf2(x1)=f(x1)af1(x2)+bf2(x2)=f(x2)

所以上面的不等式可以写成

f(αx1+(1−α)x2)≤αf(x1)+(1−α)f(x2)

即f(x)是凸函数。


漫步最优化十四——凸函数与凹函数
图2

定理2:如果f(x)是凸集Rc上的凸函数,那么对每个实数K而言,集合

Sc={x:x∈Rc,f(x)≤K}

都是凸集。

证明:如果x1,x2∈Sc,那么根据Sc的定义,f(x1)≤K,f(x2)≤K,因为f(x)是凸集,所以

f[αx1+(1−α)x2]≤αf(x1)+(1−α)f(x2)≤αK+(1−α)K

或者

f(x)≤Kfor x=αx1+(1−α)x2and0<α<1

所以

x∈Sc

即Sc是凸的。

定理2的图示如图3,其中集合Sc是凸集,如果f(x)在凸集Rc上是凸函数的话。


漫步最优化十四——凸函数与凹函数
图3

另一种考虑凸的角度是测试f(x)的梯度与海森矩阵。

定理3:如果f(x)∈C1,那么f(x)在凸集Rc上是凸函数,当且仅当对所有x,x1∈Rc

f(x1)≥f(x)+g(x)T(x1−x)

其中g(x)是f(x)的梯度。

证明:这个定理的证明由两部分组成。首先我们证明如果f(x)是凸函数,那么不等式成立。然后证明如果不等式成立,那么f(x)是凸函数。首先如果f(x)是凸函数,那么对于所有α,0<α<1

f[αx1+(1−α)x]≤αf(x1)+(1−α)f(x)

或者

f[x+α(x1−x)]−f(x)≤α[f(x1)−f(x)]

当α→0,由f[x+α(x1−x)]的泰勒级数可得

f(x)+g(x)Tα(x1−x)−f(x)≤α[f(x1)−f(x)]

所以

f(x1)≥f(x)+g(x)T(x1−x)

接下来,如果不等式在x,x2∈Rc处成立,那么

f(x2)≥f(x)+g(x)T(x2−x)

从上面两式可得

αf(x1)+(1−α)f(x2)≥αf(x)+αg(x)T(x1−x)+(1−α)f(x)+(1−α)g(x)T(x2−x)

或者

αf(x1)+(1−α)f(x2)≥f(x)+gT(x)[αx1+(1−α)x2−x]

代入

x=αx1+(1−α)x2

可得

f[αx1+(1−α)x2]≤αf(x1)+(1−α)f(x2)

其中0<α<1,因此f(x)是凸函数。

定理3说明f(x)在点x处基于f(x)导数的线性插值小于函数值,如图4所示。

定理4:函数f(x)∈C2是凸集Rc上的凸函数,当且仅当f(x)的海森矩阵H(x)对x∈Rc是半正定的。

证明:如果x1=x+d,其中x1,x是Rc中的任意点,那么由泰勒级数可得

f(x1)=f(x)+gT(x)(x1−x)+12dTH(x+αd)d

其中0≤α≤1,接下来如果H(x)在Rc中是半正定的,那么

12dTH(x+αd)d≥0

所以

f(x1)≥f(x)+gT(x)(x1−x)

所以由定理3可知f(x)是凸函数。

如果H(x)在Rc任何处都是半正定的,那么存在点x与方向d使得

dTH(x+αd)<0

所以

f(x1)<f(x)+gT(x)(x1−x)

根据定理3可知f(x)是非凸的,所以当且仅当H(x)在Rc任何地方是半正定时f(x)是凸函数。


漫步最优化十四——凸函数与凹函数
图4

对于严格凸函数,上面的定理修改如下:

定理5:

  • 如果f(x)是凸集Rc上的严格凸函数,那么对每个实数K而言,集合
    Sc={x:x∈Rc,f(x)<K}

都是凸集。

  • 如果f(x)∈C1,那么f(x)在凸集Rc上的严格凸函数,当且仅当对所有x,x1∈Rc
    f(x1)>f(x)+g(x)T(x1−x)

其中g(x)是f(x)的梯度。

  • 函数f(x)∈C2是凸集Rc上的凸函数,当且仅当f(x)的海森矩阵H(x)对x∈Rc是正定的。

如果φ(x)定义在凸集Rc上,且f(x)=−φ(x)是严格凸函数,那么φ(x)是严格凹函数且其海森矩阵是负定的。反过来,如果φ(x)的海森矩阵是负定的,那么φ(x)是严格凹的。

相关文章:

  • 2022-02-19
  • 2021-08-25
  • 2021-06-07
  • 2021-04-14
  • 2022-01-22
猜你喜欢
  • 2021-11-10
  • 2021-06-02
  • 2021-12-04
  • 2021-12-19
  • 2021-08-11
  • 2021-08-20
相关资源
相似解决方案