1. 引言
作为凸性的一个有意义的延拓,在1996年,Poliquin和Rockafellar [2] 提出并研究了prox-正则性。
设
是一个真下半连续泛函且
,若存在
使得对于任意的
,
及
都有
(1.1)
则称f在
处是prox-正则的,其中
表示乘积空间
中以
为半径且以
为心的开球,
表示
中以
为半径且以
为心的开球,而
表示f的Clarke次微分。之后,Bernard和Thibault [3] 将上述的prox-正则性推广到无限维空间中,并被很好地研究。特别地,一个真下半连续泛函f的正则性与它的次微分映射
的hypomonotocity有着紧密的关系(参见文献 [4] [5] [6] [7] [8] )。
当目标函数在小的线性扰动下,prox-正则性在研究目标函数的一致二阶增长条件和tilt-稳定性中起
着很重要的作用(参见文献 [9] - [16] )。特别地,当
在
处是prox-正则的及次微分连续时,Poliquin和Rockafellar [14] 中证明了
在Mordukhovich [17] 意义下是正定的当且仅当f在
处有tilt-稳定的极小值,即,
且存在
使得映射
是单值的,满足
且在
附近是Lipschitz的。最近,这个结果被Mordukhovich和Nghia [11] 和Mordukhovich和Rockafellar [18] 分别推广到了Asplund空间和希尔伯特空间。而Drusvyatskiy和Lewis在 [9] 中证明了
在
处有tilt-稳定的极小值当且仅当f在
处满足一致二阶增长条件,即,存在
及映射
使得对于任意的
有
且
(1.2)
在f是希尔伯特空间X上的一个真下半连续凸泛函的假设下,Artacho在 [19] 证明了f在
处满足一致二阶增长条件当且仅当
在
处是强度量正则的。之后,在有限维空间中,将f的凸性减弱为f是次微分连续及prox-正则的,Drusvyatskiy和Lewis [9] 证明了类似的结果。近来,在更一般的无限维空间中,许多的学者利用次微分映射
的度量正则性和度量次正则性进一步研究了一致二阶增长条件(参见文献 [11] [15] [20] [21] [22] )。
适定性是优化中基本概念,它可以叙述如下:一Banach个空间X上的广泛实值下半连续函数f被称
为在
处具有适定性,若f的每一个极小化序列
都收敛于
(即,若每当
使得
必有
) 。回顾一个函数
是admissible函数,若φ是一个非减的函数,
且
。下面的适定性特征容易验证(参见文献 [23] ,定理2),f在
处具有适定性等价于存在一个admissible函数
使得
基于适定性的上述特征,通过admissible函数,Zheng和Zhu [24] 引进并研究了适定性的稳定性。特
别地,他们将一致二阶增长条件推广为一致φ-增长条件:若存在
及映射
使得
且对于任意的
都有
(1.3)
则称f在
处是满足一致φ-增长条件。在
的特殊情况下,一致φ-增长条件即回归到一致二阶增长条件。在
是f的局部极小值点且φ是一个凸的admissible函数的条件下,Zheng和Zhu [24] 证明了
在
处是强度量
正则的是f在
处是满足一致φ-增长条件的一个充分条件,其中
是φ的右方向导数。该结果要求
是f的局部极小值点的假设在实际应用中有一定的局限性。另一方面,在
的特殊情况下,不要求
是f的局部极小值点,若f在
处是prox-正则的且次微分连续,则
在
处处是强度量
正则的是f在
处是满足一致二阶增长条件的一个必要条件。Prox-正则性在研究一致二阶增长条件中起着很重要的作用,可能是因为prox-正则性和一致二阶增长条件涉及到了二阶变分行为之故(见(1.1)和(1.2))。由此对于一个一般的admissible函数就产生了一个问题:是否存在φ-阶正则性,作为prox-正则性的合理推广,使得它在研究一致φ-增长条件中所起的作用与prox-正则性在研究一致二阶增长条件中所起的作用类似? Yao,Zheng和Zhu [1] 就解决了上述的问题,将prox-正则性推广为φ-正则性。
设
是一个真的下半连续泛函,若存在
使得对于任意
,
及
都有
则称f在
处是φ-正则的。他们也定义了φ-S-正则,φ-次正则及φ-S-次正则(参见文献 [1] ,定义3.1),并用上述的φ-正则性及度量正则性与度量次正则性来研究一致φ-增长条件,得到了一致φ-增长条件的存在性证明,同时还得到了一致φ-增长条件的一个必要条件。不仅改进了之前的一些结果,而且深
刻地刻画了一致φ-增长条件。上述所有关于一致增长条件的结果都是存在性的,即存在半径
使得当
时(1.2)或(1.3)成立。然而在实际应用当中,尤其是在算法的收敛性分
析及稳定性分析中,只有半径r和δ存在性是不够的,需要知道相关性质成立的明确范围。本文主要改进了Yao,Zheng和Zhu [1] 在得到一致φ-增长条件时只有存在性的不足,我们将给出半径r和δ与条件中出现的系数之间的确切数量关系。
2. 预备知识
在这一章,我们将给出一些常用的符号以及后面讨论中将会用到的一些定义及结论。设X是Banach
空间,
和
分别表示X的共轭空间和X的单位闭球。对于
及
,设
和
分别表示X中以
为半径且以
为心的开球和闭球。设
是一个真的下半连续泛函,集合
和
分别表示f的有效定义域和上方图形。对于
及
,用
表示f在x点沿方向h的Rockafelllar方向导数(参见文献 [25] ),即
其中
表示
且
。当f在x附近是Lipschitz的,则
此时
即为f在x点沿方向h的Clarke方向导数。记
为f在x处的Clarke次微分,即
当f是凸泛函时,
对于
,若有
则称f在
处是次微分连续,其中
表示
且
。
下面的引理在变分分析中起着重要的作用(参见文献 [25] ,命题2.3.3)。
引理2.1 设X是Banach空间,
是真的下半连续泛函,
且
在x附近是Lipschitz的,则
且
给定一个admissible函数
,Zheng和Zhu [24] 引进并研究了一致φ-增长条件,本文主要考虑在
的情况下对应的一致增长条件。
设X是Banach空间,
是一个真的下半连续泛函,
且
。若存在
及映射
使得
且
则称f在
处满足一致q阶增长条件。
为了研究一致q阶增长条件,本文采用Hölder度量正则性。
设X和Y都是Banach空间,
是一个多值映射,
且
。
1) 若存在
使得
(2.1)
则称F在
处是p阶Hölder度量正则的。
2) 若存在
使得(2.1)成立且
则称F在
处是p阶Hölder强度量正则的。
命题2.1. 设X和Y都是Banach空间,
是一个多值映射,
且
,则称F在
处是p阶Hölder强度量正则的当且仅当存在
及
使得
(2.2)
且
(2.3)
证明:充分性是显然的,下证必要性。由于F在
处是p阶Hölder强度量正则的,
则存在
使得(2.1)成立且
(2.4)
由(2.1)及
可知
所以
于是存在
使得对于任意的
都存在
使得
(2.5)
令
,
及
。并定义
使得
。
由(2.4)和(2.5)可知对于任意的
都有
所以
且(2.3)成立。下面只需证明(2.2)。由(2.5)可知对于任意的
都有
且
所以对于任意的
都有
(2.6)
(最后一个等式成立是因为(2.3)),从而由(2.1)和(2.6)可得到(2.2),证毕。
Prox-正则体现了二阶变分性质,在变分分析中被广泛使用,本文采用更一般的Hölder正则性(参见文献 [1] ,定义3.1,取
)。
设X是Banach空间,
是一个真的下半连续泛函,
且
。
1) 若存在
使得对于任意的
及
都有
则称f在
处是s阶正则的。
2) 若存在
使得对于任意的
及
都有
则称f在
处是s阶S-正则的。
3) 若存在
使得对于任意的
都有
则称f在
处是s阶次正则的。
4) 若存在
使得对于任意的
都有
则称f在
处是s阶S-次正则的。
命题2.2. 设X是Banach空间,
是一个真的下半连续泛函,
且
。若f在
处是次微分连续,则f在
处是s阶正则的当且仅当
使得对于任意的
且
都有
证明:充分性是显然的,下证必要性。由于f在
处是s阶正则的,则存在
使得对于任意的
及
都有
(2.7)
由于f在
处是次微分连续的,故存在
使得对于任意的
都有
(2.8)
令
,由(2.7)和(2.8)可知对于任意的
且
都有
证毕。
为了后面的叙述方便,我们回顾下面的概念。
设X是Banach空间,
是一个真的下半连续泛函,f的共轭函数定义如下
:
对于
和
,容易得到(参见文献 [26] ,命题5.3.1)
当f是凸泛函时(参见文献 [26] ,推论5.3.3),则
3. 一致q阶增长条件
下面的引理引自文献 [1] ,推论4.4,它在本文主要结果的证明中起着关键作用。
引理3.1 设
,设X是Banach空间,
是一个真的下半连续泛函,
,
且
,并设
及
使得
且
令
(3.1)
(3.2)
及
(3.3)
则
a)
,
且
;
b)
,
及
。
下面的引理3.2对我们后面的叙述是有用的。
引理3.2. 设
且
,则
。
证明:定义
容易知道
是凸函数,从而
证毕。
一个非减的函数
是admissible函数(见参考文献 [1] ),若
且
。Yao,Zheng和Zhu [1] 使用admissible函数研究了更一般的一致φ-增长条件,并证明了如下结果:
定理I. (参见文献 [1] ,定理5.1)设
是一个严格凸的可微admissible函数满足
,X是Banach空间,
是一个真的下半连续泛函,且f在
处是次微分连续。并设
及
使得下述条件成立:
1) 对于任意的
都有
2) 对于任意的
,
及
都有
则对于任意
存在
使得对于任意的
都有
,满足
且
(3.4)
这里
(3.5)
及
表示
的右方向导数,故f在
处满足一致φ-增长条件。
在
的特殊情况下,
(见(3.5)),由定理I和命题2.2可得以下推论。
推论I. 设
,
,X是Banach空间,
是一个真的下半连续泛函且
。并设
及
使得下述条件成立:
1) 对于任意的
都有
2) 对于任意的
及
都有
则对于任意
存在
及映射
使得对于任意的
有
且
(3.6)
故f在
处满足一致q阶增长条件。
定理I和推论I建立了对应一致增长条件的存在性,即存在半径r和δ分别使得定理I中的(3.4)和推论I中的(3.6)不等式成立。然而在算法的收敛性分析及稳定性分析中,只有存在性是不够的,需要知道相关性质成立的明确范围。本文主要改进了推论I中半径r和δ只有存在性的不足,我们将给出半径r和δ与条件中出现的
和
的确切数量关系。
定理3.1. 设
,
,X是Banach空间,
是一个真的下半连续泛函且
。并设
及
使得下述条件成立:
1) 对于任意的
都有
(3.7)
2) 对于任意的
及
都有
(3.8)
对于任意的
,令
(3.9)
及
而其中
和
分别由(3.1)和(3.2)定义,则
在
上是单值的且对于任意的
有
且
(3.10)
故f在
处满足一致q阶增长条件。
证明:由(3.7))及
可知
(3.11)
对于任意的
,由
的定义可知
由于
(见引理3.2),可得
又由于
(见引理3.1(a)),从而
由此及
的定义(见3.3),即得
(3.12)
令
及
,其中
是由定义(3.9)定义。由(3.11),
及
的定义可知对于任意的
都存在
使得
,于是
,故
设
及
,由(3.9)可得
这样,由(3.7),(3.8)及
的定义可得
且
由引理3.1(将
和A分别替换成
和
,可得
由(3.9),即得
(3.13)
设
,则由(3.12)和(3.13),有
由于
所以
(3.14)
这表明
。由z在
上的任意性,则对于任意的
都有
(3.15)
令
,则由(3.11)可知对于任意的
,都存在
使得
故
。因此,对于任意的
都有
且
注意到
这表明
(3.16)
由此及(3.15)可知对于任意的
都有
设
及
,则由(3.14)和(3.16))可得
即,对于任意的
都有
(3.17)
由(3.13) (将
替换成
),可得
(3.18)
注意到
及
的定义,由(3.17),(3.18)及
的定义,为了证明(3.10),我们只需要证明
在
上是单值的且
(3.19)
令
,则由(3.17)和(3.18)可知对于任意的
都有
从而
于是对于任意的
都存在
使得
(3.20)
设
及
,取
使得
(3.21)
由(3.20),我们有
不失一般性,我们假设对于任意的
都有
。于是
由(3.17)及
的定义可知对于任意的
都有
且
因此,对于任意的
都有
由此及(3.21),令
,可得
即
这表明
由u在
上的任意性,可知对于任意的
都有
(3.22)
这里
,设
及
,则有
(3.23)
于是
(参见文献 [26] ,命题5.3.1)。因此
(3.24)
由于
,结合(3.22),则有
由
的定义,可知
,结合
以及L的定义可得
,从而
设
及
,则由(3.22)可知对于任意的
及
使得
(3.25)
注意到(3.24),则我们有
且
由于
是凸函数,可得
且
由此及(3.25),我们有
这和
在
上的任意性表明
在
处的可微且有
由(3.24),即得
所以
在
上是单值的且有
(3.26)
由
的定义可知
,结合(3.17),(3.26)及
的定义,可得
由此及
的定义可得(3.10),证毕。
注3.1定理3.1中的条件(1)即为
在
处是
阶度量正则的,条件(2)即为f在
处是q阶S-正则性且f在
处是次微分连续的。