一致q阶增长条件
The Uniform q-Order Growth Condition

作者: 杨吉根 , 吕鹏辉 , 陈 斌 :云南大学旅游文化学院信息学院,云南 丽江;

关键词: 一致q阶增长条件H?lder正则性H?lder度量正则性次微分The Uniform q-Order Growth Condition The H?lder Regularity The H?lder Metric Regularity Subdifferential

摘要:
一致二阶增长条件是优化中的重要概念,已被广泛研究。近来,作为一致二阶增长条件的自然推广,用一般的正数q代替二,文献[1]引进并研究了一致q阶增长条件。本文在文献[1]的基础上,进一步考虑q-正则函数f的一致q阶增长条件,通过q-正则函数f之次微分映射∂f的Hölder度量正则性刻画了f的一致q阶增长条件。特别地,本文给出了∂f的Hölder度量正则性所涉及模及半径与f的一致q阶增长条件涉及半径之间的确切数量关系,从而改进了一致二阶增长条件及一致q阶增长条件方面的一些现有结果。

Abstract: Uniform second order growth condition is an important notion in optimization and has been studied extensively. Recently, as a natural extension of the uniform second order growth condition, with a positive number q replacing 2, the uniform q-order growth condition was introduced and studied in [1]. Motivated by [1], this thesis further studies the uniform q-order growth condition of a q-order regular real-valued function f. In terms of the Hölder metric regularity of the subdifferential mapping ∂f, we provide sufficient and necessary conditions for f to have the uniform q-order growth condition. In particular, using the modulus and radius appearing in the Hölder metric regularity of the subdifferential mapping ∂f, we give an exact quantitative formula of the radius appearing in the uniform q-order growth condition, which improves some existing results on the uniform second order growth condition and uniform q-order growth condition.

1. 引言

作为凸性的一个有意义的延拓,在1996年,Poliquin和Rockafellar [2] 提出并研究了prox-正则性。

f : R n R { + } 是一个真下半连续泛函且 ( x ¯ , x ¯ ) g p h ( f ) ,若存在 ρ , δ ( 0 , + ) 使得对于任意的 y B ( x ¯ , δ ) ( x , f ( x ) ) B ( ( x ¯ , f ( x ¯ ) ) , δ ) x g p h ( f ) B ( x ¯ , δ ) 都有

x , y x f ( y ) f ( x ) + ρ y x 2 , (1.1)

则称f在 ( x , x ) 处是prox-正则的,其中 B ( ( x ¯ , f ( x ¯ ) ) , δ ) 表示乘积空间 R n × R 中以 δ 为半径且以 ( x ¯ , f ( x ¯ ) ) 为心的开球, B ( x ¯ , δ ) 表示 R n 中以 δ 为半径且以 x ¯ 为心的开球,而 f 表示f的Clarke次微分。之后,Bernard和Thibault [3] 将上述的prox-正则性推广到无限维空间中,并被很好地研究。特别地,一个真下半连续泛函f的正则性与它的次微分映射 f 的hypomonotocity有着紧密的关系(参见文献 [4] [5] [6] [7] [8] )。

当目标函数在小的线性扰动下,prox-正则性在研究目标函数的一致二阶增长条件和tilt-稳定性中起

着很重要的作用(参见文献 [9] - [16] )。特别地,当 f : X R { + } ( x ¯ , x ¯ ) 处是prox-正则的及次微分连续时,Poliquin和Rockafellar [14] 中证明了 2 f ( x ¯ , 0 ) 在Mordukhovich [17] 意义下是正定的当且仅当f在 x ¯ 处有tilt-稳定的极小值,即, f ( x ¯ ) < + 且存在 δ > 0 使得映射

M : v arg min x B X [ x ¯ , δ ] { f ( x ) f ( x ¯ ) v , x x ¯ }

是单值的,满足 M ( 0 ) = x ¯ 且在 v = 0 附近是Lipschitz的。最近,这个结果被Mordukhovich和Nghia [11] 和Mordukhovich和Rockafellar [18] 分别推广到了Asplund空间和希尔伯特空间。而Drusvyatskiy和Lewis在 [9] 中证明了 f x ¯ 处有tilt-稳定的极小值当且仅当f在 x ¯ 处满足一致二阶增长条件,即,存在

δ , κ , r ( 0 , + ) 及映射 ϑ : B ( 0 , δ ) B ( x ¯ , r ) 使得对于任意的 ( x , u ) B ( x ¯ , r ) × B ( 0 , δ ) ϑ ( 0 ) = x ¯

κ x ϑ ( u ) 2 f ( x ) f ( ϑ ( u ) ) u , x ϑ ( u ) . (1.2)

在f是希尔伯特空间X上的一个真下半连续凸泛函的假设下,Artacho在 [19] 证明了f在 x ¯ 处满足一致二阶增长条件当且仅当 f ( x ¯ , 0 ) 处是强度量正则的。之后,在有限维空间中,将f的凸性减弱为f是次微分连续及prox-正则的,Drusvyatskiy和Lewis [9] 证明了类似的结果。近来,在更一般的无限维空间中,许多的学者利用次微分映射 f 的度量正则性和度量次正则性进一步研究了一致二阶增长条件(参见文献 [11] [15] [20] [21] [22] )。

适定性是优化中基本概念,它可以叙述如下:一Banach个空间X上的广泛实值下半连续函数f被称

为在 x ¯ X 处具有适定性,若f的每一个极小化序列 { x n } X 都收敛于 x ¯ (即,若每当 { x n } X 使得 lim n f ( x n ) = inf x X f ( x ) 必有 lim n x n = x ¯ ) 。回顾一个函数 φ : R + R + 是admissible函数,若φ是一个非减的函数, φ ( 0 ) = 0 [ φ ( t ) 0 t 0 ] 。下面的适定性特征容易验证(参见文献 [23] ,定理2),f在 x ¯ X 处具有适定性等价于存在一个admissible函数 φ : R + R + 使得

φ ( x x ¯ ) f ( x ) f ( x ¯ ) , x X .

基于适定性的上述特征,通过admissible函数,Zheng和Zhu [24] 引进并研究了适定性的稳定性。特

别地,他们将一致二阶增长条件推广为一致φ-增长条件:若存在 δ , κ , r , τ ( 0 , + ) 及映射

ϑ : B X ( 0 , δ ) B X ( x ¯ , r ) 使得 ϑ ( 0 ) = x ¯ 且对于任意的 ( x , u ) B X ( x ¯ , r ) × B X ( 0 , δ ) 都有

κ φ ( τ x ϑ ( u ) ) f ( x ) f ( ϑ ( u ) ) u , x ϑ ( u ) , (1.3)

则称f在 x ¯ 处是满足一致φ-增长条件。在 φ ( t ) = t 2 的特殊情况下,一致φ-增长条件即回归到一致二阶增长条件。在 x ¯ 是f的局部极小值点且φ是一个凸的admissible函数的条件下,Zheng和Zhu [24] 证明了 f ( x ¯ , 0 ) 处是强度量 φ + 正则的是f在 x ¯ 处是满足一致φ-增长条件的一个充分条件,其中 φ + 是φ的右方向导数。该结果要求 x ¯ 是f的局部极小值点的假设在实际应用中有一定的局限性。另一方面,在 φ ( t ) = t 2 的特殊情况下,不要求 x ¯ 是f的局部极小值点,若f在 ( x ¯ , 0 ) 处是prox-正则的且次微分连续,则 f ( x ¯ , 0 ) 处处是强度量 φ + 正则的是f在 x ¯ 处是满足一致二阶增长条件的一个必要条件。Prox-正则性在研究一致二阶增长条件中起着很重要的作用,可能是因为prox-正则性和一致二阶增长条件涉及到了二阶变分行为之故(见(1.1)和(1.2))。由此对于一个一般的admissible函数就产生了一个问题:是否存在φ-阶正则性,作为prox-正则性的合理推广,使得它在研究一致φ-增长条件中所起的作用与prox-正则性在研究一致二阶增长条件中所起的作用类似? Yao,Zheng和Zhu [1] 就解决了上述的问题,将prox-正则性推广为φ-正则性。

f : X R { + } 是一个真的下半连续泛函,若存在 δ , ρ , τ ( 0 , + ) 使得对于任意 x B X ( x ¯ , δ ) ( z , f ( z ) ) B ( ( x ¯ , f ( x ¯ ) ) , δ ) u f ( z ) B X ( x ¯ , δ ) 都有

u , x z f ( x ) f ( z ) + ρ φ ( τ x z ) ,

则称f在 ( x ¯ , x ¯ ) 处是φ-正则的。他们也定义了φ-S-正则,φ-次正则及φ-S-次正则(参见文献 [1] ,定义3.1),并用上述的φ-正则性及度量正则性与度量次正则性来研究一致φ-增长条件,得到了一致φ-增长条件的存在性证明,同时还得到了一致φ-增长条件的一个必要条件。不仅改进了之前的一些结果,而且深

刻地刻画了一致φ-增长条件。上述所有关于一致增长条件的结果都是存在性的,即存在半径 δ , r ( 0 , + ) 使得当 ( x , u ) B X ( x ¯ , r ) × B X ( 0 , δ ) 时(1.2)或(1.3)成立。然而在实际应用当中,尤其是在算法的收敛性分

析及稳定性分析中,只有半径r和δ存在性是不够的,需要知道相关性质成立的明确范围。本文主要改进了Yao,Zheng和Zhu [1] 在得到一致φ-增长条件时只有存在性的不足,我们将给出半径r和δ与条件中出现的系数之间的确切数量关系。

2. 预备知识

在这一章,我们将给出一些常用的符号以及后面讨论中将会用到的一些定义及结论。设X是Banach

空间, X B X 分别表示X的共轭空间和X的单位闭球。对于 x ¯ X δ > 0 ,设 B X ( x ¯ , δ ) B X [ x ¯ , δ ] 分别表示X中以 δ 为半径且以 x ¯ 为心的开球和闭球。设 ( x ¯ , y ¯ ) 是一个真的下半连续泛函,集合

d o m ( f ) : = { x X : f ( x ) < + }

e p i ( f ) : = { ( x , α ) X × R : f ( x ) < α }

分别表示f的有效定义域和上方图形。对于 x d o m ( f ) h X ,用 f ( x , h ) 表示f在x点沿方向h的Rockafelllar方向导数(参见文献 [25] ),即

f ( x , h ) : = lim ε 0 lim sup u f x , t 0 inf ω h + ε B X f ( u + t ω ) f ( u ) t ,

其中 u f x 表示 u x f ( u ) f ( x ) 。当f在x附近是Lipschitz的,则

f ( x , h ) : = lim u x sup t 0 f ( u + t h ) f ( u ) t ,

此时 δ 1 : = min { δ 0 , δ 1 , δ 2 , δ 3 4 } 即为f在x点沿方向h的Clarke方向导数。记 x y F 1 ( y ) 为f在x处的Clarke次微分,即

κ 0 : = κ

当f是凸泛函时,

f ( x ) = { x X : x , y x f ( y ) f ( x ) , y X } = { x X : x , h lim t 0 + f ( x + t h ) f ( x ) h , y X }

对于 ( x ¯ , x ¯ ) g p h ( f ) : = { ( x , x ) X × X , x g p h ( f ) } ,若有

lim ( x , x ) g p h ( f ) ( x ¯ , x ¯ ) f ( x ) = f ( x ¯ ) ,

则称f在 ( x ¯ , x ¯ ) 处是次微分连续,其中 ( x , x ) g p h ( f ) ( x ¯ , x ¯ ) 表示 ( x , x ) g p h ( f ) ( x , y ) B X ( x ¯ , δ 1 ) × B Y ( y ¯ , δ 1 )

下面的引理在变分分析中起着重要的作用(参见文献 [25] ,命题2.3.3)。

引理2.1 设X是Banach空间, f 1 , f 2 : X R { + } 是真的下半连续泛函,

x d o m ( f 1 ) d o m ( f 2 ) f 1 在x附近是Lipschitz的,则

( f 1 + f 2 ) ( x ) f 1 ( x ) + f 2 (x)

( α f 1 ) ( x ) = α f 1 ( x ) , α R .

给定一个admissible函数 φ : R + R + ,Zheng和Zhu [24] 引进并研究了一致φ-增长条件,本文主要考虑在 φ ( t ) = t q 的情况下对应的一致增长条件。

设X是Banach空间, f : X R { + } 是一个真的下半连续泛函, δ , ρ ( 0 , + ) q [ 1 , + ) 。若存在 κ , δ 1 , δ 2 ( 0 , + ) 及映射 ϑ : B X ( 0 , δ 1 ) B X ( x ¯ , δ 2 ) 使得 ϑ ( 0 ) = x ¯

κ x ϑ ( u ) q f ( x ) f ( ϑ ( u ) ) u , x ϑ ( u ) , ( x , u ) B X ( x ¯ , δ 2 ) × B X ( 0 , δ 1 ) ,

则称f在 x ¯ 处满足一致q阶增长条件。

为了研究一致q阶增长条件,本文采用Hölder度量正则性。

设X和Y都是Banach空间, F : X Y 是一个多值映射, p ( 0 , + ) ( x ¯ , y ¯ ) g p h ( F ) : = { ( x , y ) X × Y : y F ( x ) }

1) 若存在 κ , δ 1 , δ 2 ( 0 , + ) 使得

d ( x , F 1 ( y ) ) p κ d ( y , F ( x ) ) , ( x , y ) B X ( x ¯ , δ 1 ) × B Y ( y ¯ , δ 2 ) , (2.1)

则称F在 ( x ¯ , y ¯ ) 处是p阶Hölder度量正则的。

2) 若存在 κ , δ 1 , δ 2 , δ 3 ( 0 , + ) 使得(2.1)成立且

F 1 ( y ) B X ( x ¯ , δ 3 ) = { z y } , y B Y ( y ¯ , δ 2 ) ,

则称F在 ( x ¯ , y ¯ ) 处是p阶Hölder强度量正则的。

命题2.1. 设X和Y都是Banach空间, F : X Y 是一个多值映射, p ( 0 , + ) ( x ¯ , y ¯ ) g p h ( F ) : = { ( x , y ) X × Y : y F ( x ) } ,则称F在 ( x ¯ , y ¯ ) 处是p阶Hölder强度量正则的当且仅当存在 κ 0 , δ 1 , δ 2 ( 0 , + ) θ : B Y ( y ¯ , δ 1 ) B X ( x ¯ , δ 2 ) 使得

x θ ( y ) p κ 0 d ( y , F ( x ) ) , ( x , y ) B X ( x ¯ , δ 1 ) × B Y ( y ¯ , δ 1 ) (2.2)

F 1 ( y ) B X ( x ¯ , δ 2 ) = { θ ( y ) } , y B Y ( y ¯ , δ 1 ) . (2.3)

证明:充分性是显然的,下证必要性。由于F在 ( x ¯ , y ¯ ) 处是p阶Hölder强度量正则的,

则存在 κ , δ 1 , δ 2 , δ 3 ( 0 , + ) 使得(2.1)成立且

F 1 ( y ) B X ( x ¯ , δ 3 ) = { z y } , y B Y ( y ¯ , δ 2 ) . (2.4)

由(2.1)及 y ¯ F ( x ¯ ) 可知

d ( x , F 1 ( y ) ) p κ d ( y , F ( x ) ) κ y y ¯ , y B Y ( y ¯ , δ 2 )

所以

lim y y ¯ d ( x ¯ , F 1 ( y ) ) = 0.

于是存在 δ 0 ( 0 , δ 3 ) 使得对于任意的 y B Y ( y ¯ , δ 0 ) 都存在 x y F 1 ( y ) 使得

x y x ¯ < min { δ 1 , δ 2 , δ 3 4 } . (2.5)

δ 1 : = min { δ 0 , δ 1 , δ 2 , δ 3 4 } κ 0 : = κ δ 2 : = δ 3 。并定义 θ : B Y ( y ¯ , δ 1 ) B X ( x ¯ , δ 2 ) 使得 θ ( y ) = z y , y B Y ( y ¯ , δ 1 )

由(2.4)和(2.5)可知对于任意的 y B Y ( y ¯ , δ 1 ) 都有

x y ( F 1 ( y ) B X ( x ¯ , δ 2 ) ) = ( F 1 ( y ) B X ( x ¯ , δ 3 ) ) = { z y } = ( θ ( y ) ) ,

所以 θ ( y ) = x y = z y B X ( x ¯ , δ 2 ) 且(2.3)成立。下面只需证明(2.2)。由(2.5)可知对于任意的 ( x , y ) B X ( x ¯ , δ 1 ) × B Y ( y ¯ , δ 1 ) 都有

d ( x , F 1 ( y ) B X ( x ¯ , δ 2 ) ) x x y x x ¯ + x ¯ x y < δ 1 + δ 3 4 δ 3 2 = δ 2 2

d ( x , F 1 ( y ) \ B X ( x ¯ , δ 2 ) ) d ( x ¯ , F 1 ( y ) \ B X ( x ¯ , δ 2 ) ) x x ¯ > δ 2 δ 1 δ 2 δ 3 4 = 3 δ 2 4

所以对于任意的 ( x , y ) B X ( x ¯ , δ 1 ) × B Y ( y ¯ , δ 1 ) 都有

d ( x , F 1 ( y ) ) = min { d ( x , F 1 ( y ) B X ( x ¯ , δ 2 ) ) , d ( x , F 1 ( y ) \ B X ( x ¯ , δ 2 ) ) } = d ( x , F 1 ( y ) B X ( x ¯ , δ 2 ) ) = x θ ( y ) (2.6)

(最后一个等式成立是因为(2.3)),从而由(2.1)和(2.6)可得到(2.2),证毕。

Prox-正则体现了二阶变分性质,在变分分析中被广泛使用,本文采用更一般的Hölder正则性(参见文献 [1] ,定义3.1,取 φ ( t ) = t p )。

设X是Banach空间, f : X R { + } 是一个真的下半连续泛函, ( x ¯ , x ¯ ) g p h ( f ) s [ 1 , + )

1) 若存在 δ , ρ ( 0 , + ) 使得对于任意的 x B X ( x ¯ , δ ) , ( z , f ( z ) ) B ( ( x ¯ , f ( x ¯ ) ) , δ ) u f ( z ) B X ( x ¯ , δ ) 都有

u , x z f ( x ) f ( z ) + ρ x z s ,

则称f在 ( x ¯ , x ¯ ) 处是s阶正则的。

2) 若存在 δ , ρ ( 0 , + ) 使得对于任意的 x B X ( x ¯ , δ ) , ( z , f ( z ) ) B ( ( x ¯ , f ( x ¯ ) ) , δ ) u f ( z ) B X ( x ¯ , δ ) 都有

u , x z f ( x ) f ( z ) + ρ d ( x , ( f ) 1 ( u ) ) s ,

则称f在 ( x ¯ , x ¯ ) 处是s阶S-正则的。

3) 若存在 δ , ρ ( 0 , + ) 使得对于任意的 x B X ( x ¯ , δ ) 都有

x ¯ , x x ¯ f ( x ) f ( x ¯ ) + ρ x x ¯ s ,

则称f在 ( x ¯ , x ¯ ) 处是s阶次正则的。

4) 若存在 δ , ρ ( 0 , + ) 使得对于任意的 x B X ( x ¯ , δ ) 都有

x ¯ , x x ¯ f ( x ) f ( x ¯ ) + ρ d ( x , ( f ) 1 ( x ¯ ) ) s ,

则称f在 ( x ¯ , x ¯ ) 处是s阶S-次正则的。

命题2.2. 设X是Banach空间, f : X R { + } 是一个真的下半连续泛函, ( x ¯ , x ¯ ) g p h ( f ) s [ 1 , + ) 。若f在 ( x ¯ , x ¯ ) 处是次微分连续,则f在 ( x ¯ , x ¯ ) 处是s阶正则的当且仅当 δ , ρ ( 0 , + ) 使得对于任意的 x , z B X ( x ¯ , δ ) u f ( z ) B X ( x ¯ , δ ) 都有

u , x z f ( x ) f ( z ) + ρ x z s .

证明:充分性是显然的,下证必要性。由于f在 ( x ¯ , x ¯ ) 处是s阶正则的,则存在 δ 0 , ρ 0 ( 0 , + ) 使得对于任意的 x B X ( x ¯ , δ 0 ) , ( z , f ( z ) ) B ( ( x ¯ , f ( x ¯ ) ) , δ 0 ) u f ( z ) B X ( x ¯ , δ 0 ) 都有

u , x z f ( x ) f ( z ) + ρ 0 x z s . (2.7)

由于f在 ( x ¯ , x ¯ ) 处是次微分连续的,故存在 δ ( 0 , δ 0 ) 使得对于任意的 ( z , u ) f ( z ) ( B X ( x ¯ , δ ) × B X ( x ¯ , δ ) ) 都有

| f ( x ) f ( x ¯ ) | < δ 0 . (2.8)

ρ : = ρ 0 ,由(2.7)和(2.8)可知对于任意的 x , z B X ( x ¯ , δ ) u f ( z ) B X ( x ¯ , δ ) 都有

u , x z f ( x ) f ( z ) + ρ x z s ,

证毕。

为了后面的叙述方便,我们回顾下面的概念。

设X是Banach空间, f : X R { + } 是一个真的下半连续泛函,f的共轭函数定义如下 f : X R ( 0 , + )

f ( x ) : = sup x X ( x , x f ( x ) ) , x X .

对于 x X x X ,容易得到(参见文献 [26] ,命题5.3.1)

f ( x ) = x , x f ( x ) x f ( x ) .

当f是凸泛函时(参见文献 [26] ,推论5.3.3),则

x f ( x ) x f ( x ) .

3. 一致q阶增长条件

下面的引理引自文献 [1] ,推论4.4,它在本文主要结果的证明中起着关键作用。

引理3.1 设 q ( 1 , + ) ,设X是Banach空间, f : X R { + } 是一个真的下半连续泛函, α ( 0 , 1 ) ( x ¯ , x ¯ ) g p h ( f ) x ¯ A ( f ) 1 ( x ¯ ) ,并设 κ 0 , δ , r ( 0 , + ) ρ 0 [ 0 , 1 q κ 0 ) 使得

d ( x , A ) q 1 κ 0 d ( x ¯ , ( x ) ) , x B X ( x ¯ , δ )

f ( x ) f ( x ¯ ) + x ¯ , x x ¯ ρ 0 d ( x , A ) q , x B X [ x ¯ , r ] .

ν : = max { n N : n 1 log ( 1 + q ( 1 α ) α q 1 ) ( 1 q ρ 0 κ 0 ) } , (3.1)

λ : = ( 1 q α q κ 0 ρ 0 α q ) ( 1 + q ( 1 α ) α q 1 ) ν 1 q α q κ 0 (3.2)

η n : = ( 1 q α q κ 0 λ ) ( 1 q ( 1 α ) α q 1 ) n 1 + 1 q α q κ 0 , n N . (3.3)

a) ν 1 1 q α q κ 0 > λ > 0 lim n η n = 1 q α q κ 0

b) f ( x ) f ( x ¯ ) + x ¯ , x x ¯ + η n α q d ( x , A ) q n N x B X [ x ¯ , min { r , δ } ( 2 α ) ν + n 1 ]

下面的引理3.2对我们后面的叙述是有用的。

引理3.2. 设 q ( 1 , + ) α ( 0 , 1 ) ,则 1 q > ( 1 α ) α q 1

证明:定义

ϕ ( t ) : = t q , t ( 0 , 1 ) .

容易知道 ϕ 是凸函数,从而

1 q = ϕ ( t ) t ϕ ( t ) > ( 1 α ) ϕ ( t ) ϕ ( α t ) ( t α t ) ϕ ( t ) ( 1 α ) ϕ ( α t ) ϕ ( t ) = ( 1 α ) α q 1 ,

证毕。

一个非减的函数 φ : R + R + 是admissible函数(见参考文献 [1] ),若 φ ( 0 ) = 0 [ φ ( t ) 0 t 0 ] 。Yao,Zheng和Zhu [1] 使用admissible函数研究了更一般的一致φ-增长条件,并证明了如下结果:

定理I. (参见文献 [1] ,定理5.1)设 α ( 0 , 1 ) , φ : R + R + 是一个严格凸的可微admissible函数满足 φ ( 0 ) = 0 ,X是Banach空间, f : X R { + } 是一个真的下半连续泛函,且f在 ( x ¯ , 0 ) g p h ( f ) 处是次微分连续。并设 κ , δ 1 , δ 2 , τ ( 0 , + ) ρ [ 0 , 1 μ α κ τ ) 使得下述条件成立:

1) 对于任意的 ( x , u ) B X ( x ¯ , δ 1 ) × B X ( 0 , δ 1 ) 都有

φ ( τ d ( x , ( f ) 1 ( u ) ) ) κ d ( u , f ( x ) ) ;

2) 对于任意的 x B X ( x ¯ , δ 2 ) ( z , f ( z ) ) B X ( ( x ¯ , f ( x ¯ ) ) , δ 2 ) u f ( z ) B X ( 0 , δ 2 ) 都有

u , x z f ( x ) f ( z ) + ρ φ ( α τ d ( x , ( f ) 1 ( u ) ) ) .

则对于任意 β ( 0 , 1 μ α κ τ ) 存在 r , δ ( 0 , + ) 使得对于任意的 u B X ( 0 , δ ) 都有 x u B X ( x ¯ , r ) ,满足 x 0 = x ¯

β φ ( α τ x x u ) f ( x ) f ( x u ) u , x x u , x B X ( x ¯ , r ) , (3.4)

这里

μ α : = sup t > 0 α φ + ( α t ) φ + ( t ) (3.5)

φ + 表示 φ 的右方向导数,故f在 x ¯ 处满足一致φ-增长条件。

φ ( t ) = t q 的特殊情况下, μ α = t q (见(3.5)),由定理I和命题2.2可得以下推论。

推论I. 设 q ( 1 , + ) α ( 0 , 1 ) ,X是Banach空间, f : X R { + } 是一个真的下半连续泛函且 ( x ¯ , 0 ) g p h ( f ) 。并设 κ 0 , δ 1 , δ 2 ( 0 , + ) ρ 0 [ 0 , 1 q κ 0 ) 使得下述条件成立:

1) 对于任意的 ( x , u ) B X ( x ¯ , δ 1 ) × B X ( 0 , δ 1 ) 都有

d ( x , ( f ) 1 ( u ) ) q 1 κ 0 d ( u , f ( x ) ) ;

2) 对于任意的 x , z B X ( x ¯ , δ 2 ) u f ( z ) B X ( 0 , δ 2 ) 都有

u , x z f ( x ) f ( z ) + ρ 0 d ( x , ( f ) 1 ( u ) ) q .

则对于任意 β ( 0 , 1 q α q κ 0 ) 存在 r , δ ( 0 , + ) 及映射 ϑ : B X ( 0 , δ 1 ) B X ( x ¯ , δ 2 ) 使得对于任意的 ( x , u ) B X ( x ¯ , r ) × B X ( 0 , δ ) ϑ ( 0 ) = x ¯

β α q x ϑ ( u ) q f ( x ) f ( ϑ ( u ) ) u , x ϑ ( u ) , (3.6)

故f在 x ¯ 处满足一致q阶增长条件。

定理I和推论I建立了对应一致增长条件的存在性,即存在半径r和δ分别使得定理I中的(3.4)和推论I中的(3.6)不等式成立。然而在算法的收敛性分析及稳定性分析中,只有存在性是不够的,需要知道相关性质成立的明确范围。本文主要改进了推论I中半径r和δ只有存在性的不足,我们将给出半径r和δ与条件中出现的 α , q , κ , ρ 0 , δ 1 δ 2 的确切数量关系。

定理3.1. 设 q ( 1 , + ) α ( 0 , 1 ) ,X是Banach空间, f : X R { + } 是一个真的下半连续泛函且 ( x ¯ , 0 ) g p h ( f ) 。并设 κ 0 , δ 1 , δ 2 ( 0 , + ) ρ 0 [ 0 , 1 q κ 0 ) 使得下述条件成立:

1) 对于任意的 ( x , u ) B X ( x ¯ , δ 1 ) × B X ( 0 , δ 1 ) 都有

d ( x , ( f ) 1 ( u ) ) q 1 κ 0 d ( u , f ( x ) ) ; (3.7)

2) 对于任意的 x , z B X ( x ¯ , δ 2 ) u f ( z ) B X ( 0 , δ 2 ) 都有

u , x z f ( x ) f ( z ) + ρ 0 d ( x , ( f ) 1 ( u ) ) q . (3.8)

对于任意的 β ( 0 , 1 q α q κ 0 ) ,令

N β : = max { n N : log ( 1 q ( 1 α ) α q 1 ) ( 1 q ( 1 α ) α q 1 ) ( 1 β q α q κ 0 ) 1 λ q α q κ 0 n } ,

γ ( β ) : = min { δ 1 , δ 2 } 4 ( 2 α ) ν + N β 1 , (3.9)

r ( β ) : = min { δ 1 , δ 2 , β α q γ q 1 ( β ) 32 q 1 , γ q 1 ( β ) 4 q 1 κ 0 , β α q γ q 1 ( β ) 16 q } ,

δ ( β ) : = min { δ 1 , δ 2 } 64 ( 2 α ) ν + N β 1

ψ ( u ) : = arg min u B X [ x ¯ , γ ( β ) ] ( f u ) , u X ,

而其中 ν λ 分别由(3.1)和(3.2)定义,则 ψ B X ( 0 , r ( β ) ) 上是单值的且对于任意的 ( x , u ) B X ( x ¯ , δ ( β ) ) × B X ( 0 , r ( β ) ) ϑ ( 0 ) = x ¯

β α q x ψ ( u ) q f ( x ) f ( ψ ( u ) ) u , x ψ ( u ) , (3.10)

故f在 x ¯ 处满足一致q阶增长条件。

证明:由(3.7))及 0 f ( x ¯ ) 可知

d ( x ¯ , ( f ) 1 ( u ) ) q 1 κ 0 d ( u , f ( x ¯ ) ) κ 0 u , u B X ( 0 , δ 1 ) . (3.11)

对于任意的 β ( 0 , 1 q α q κ 0 ) ,由 N β 的定义可知

N β log ( 1 q ( 1 α ) α q 1 ) ( 1 q ( 1 α ) α q 1 ) ( 1 β q α q κ 0 ) 1 λ q α q κ 0 ,

由于 0 < 1 q ( 1 α ) α q 1 < 1 (见引理3.2),可得

( 1 q ( 1 α ) α q 1 ) N β ( 1 q ( 1 α ) α q 1 ) ( 1 β q α q κ 0 ) 1 λ q α q κ 0 ,

又由于 0 < 1 λ q α q κ 0 (见引理3.1(a)),从而

( 1 λ q α q κ 0 ) ( 1 q ( 1 α ) α q 1 ) N β 1 1 β q α q κ 0 ,

由此及 η n 的定义(见3.3),即得

η N β : = ( 1 q α q κ 0 λ ) ( 1 q ( 1 α ) α q 1 ) N β 1 + 1 q α q κ 0 β . (3.12)

δ : = min { δ 1 , δ 2 } r 1 ( β ) : = min { δ , γ q 1 ( β ) κ 0 } ,其中 γ ( β ) 是由定义(3.9)定义。由(3.11), δ r 1 ( β ) 的定义可知对于任意的 u B X ( 0 , r 1 ( β ) ) 都存在 z ( f ) 1 ( u ) 使得 x ¯ z q 1 < κ 0 r 1 ( β ) γ q 1 ( β ) ,于是 x ¯ z < γ ( β ) ,故

( f ) 1 ( u ) B X ( x ¯ , γ ( β ) ) .

u B X ( 0 , r 1 ( β ) ) z ( f ) 1 ( u ) B X ( x ¯ , γ ( β ) ) ,由(3.9)可得

B X ( z , 3 δ 4 ) B X ( x ¯ , x ¯ z + 3 δ 4 ) B X ( x ¯ , γ ( β ) + 3 δ 4 ) B X ( x ¯ , δ ) ,

这样,由(3.7),(3.8)及 δ 的定义可得

d ( x , ( f ) 1 ( u ) ) q 1 κ 0 d ( u , f ( x ) ) , x B X ( z , 3 δ 4 )

u , x z f ( x ) f ( z ) + ρ 0 d ( x , ( f ) 1 ( u ) ) q , x B X [ z , 3 δ 4 ] ,

由引理3.1(将 ( x ¯ , x ¯ ) 和A分别替换成 ( z , u ) ( f ) 1 ( u ) ,可得

f ( x ) f ( z ) + u , x z + η N β α q d ( x , ( f ) 1 ( u ) ) q , x B X [ z , 3 δ 4 ( 2 α ) ν + N β + 1 ] .

由(3.9),即得

f ( x ) f ( z ) + u , x z + η N β α q d ( x , ( f ) 1 ( u ) ) q , x B X [ z , 3 γ ( β ) ] . (3.13)

f u : = f u ,则由(3.12)和(3.13),有

f u ( x ) f u ( z ) + β α q d ( x , ( f ) 1 ( u ) ) q , x B X [ z , 3 γ ( β ) ] .

由于

B X [ x ¯ , γ ( β ) ] B X [ z , γ ( β ) + x ¯ z ] B X [ z , 2 γ ( β ) ] ,

所以

f u ( x ) f u ( z ) + β α q d ( x , ( f ) 1 ( u ) ) q , x B X [ x ¯ , γ ( β ) ] . (3.14)

这表明 z arg min u B X [ x ¯ , γ ( β ) ] f u ( u ) 。由z在 ( f ) 1 ( u ) B X ( x ¯ , γ ( β ) ) 上的任意性,则对于任意的 u B X ( 0 , r 1 ( β ) ) 都有

arg min u B X [ x ¯ , γ ( β ) ] f u ( u ) ( f ) 1 ( u ) B X ( x ¯ , γ ( β ) ) . (3.15)

r 2 ( β ) : = min { r 1 ( β ) , γ q 1 ( β ) 4 q 1 κ 0 } ,则由(3.11)可知对于任意的 u B X ( 0 , r 2 ( β ) ) B X ( 0 , δ 1 ) ,都存在 x u ( f ) 1 ( u ) 使得

x u x ¯ q 1 < κ 0 r 2 ( β ) γ q 1 ( β ) 4 q 1 ,

x u x ¯ < γ ( β ) 4 。因此,对于任意的 ( x , u ) B X ( x ¯ , γ ( β ) 4 ) × B X ( 0 , r 2 ( β ) ) 都有

d ( x , ( f ) 1 ( u ) ) B X ( x ¯ , γ ( β ) ) x x u x x ¯ + x ¯ x u γ ( β ) 2

d ( x , ( f ) 1 ( u ) \ B X ( x ¯ , γ ( β ) ) ) d ( x ¯ , ( f ) 1 ( u ) \ B X ( x ¯ , γ ( β ) ) ) x x ¯ 3 γ ( β ) 4 .

注意到

d ( x , ( f ) 1 ( u ) ) = min { d ( x , ( f ) 1 ( u ) B X ( x ¯ , γ ( β ) ) ) , d ( x , ( f ) 1 ( u ) \ B X ( x ¯ , γ ( β ) ) ) } ,

这表明

d ( x , ( f ) 1 ( u ) ) = d ( x , ( f ) 1 ( u ) B X ( x ¯ , γ ( β ) ) ) . (3.16)

由此及(3.15)可知对于任意的 ( x , u ) B X ( x ¯ , γ ( β ) 4 ) × B X ( 0 , r 2 ( β ) ) 都有

d ( x , ( f ) 1 ( u ) ) = d ( x , arg min u B X [ x ¯ , γ ( β ) ] f u ( u ) ) .

u B X ( 0 , r 2 ( β ) ) z ( f ) 1 ( u ) B X ( x ¯ , γ ( β ) ) ,则由(3.14)和(3.16))可得

f u ( x ) f u ( z ) + β α q d ( x , arg min u B X [ x ¯ , γ ( β ) ] f u ( u ) ) q , x B X ( x ¯ , γ ( β ) 4 ) .

即,对于任意的 ( x , u ) B X ( x ¯ , γ ( β ) 4 ) × B X ( 0 , r 2 ( β ) ) 都有

β α q d ( x , arg min u B X [ x ¯ , γ ( β ) ] f u ( u ) ) q f u ( x ) f u ( z ) f u ( x ) min y B X [ x ¯ , γ ( β ) ] f u ( y ) . (3.17)

由(3.13) (将 ( z , u ) 替换成 ( x ¯ , 0 ) ),可得

min y B X [ x ¯ , γ ( β ) ] f u ( y ) = f ( x ¯ ) . (3.18)

注意到 δ ( β ) < γ ( β ) 4 , r ( β ) r 2 ( β ) ψ 的定义,由(3.17),(3.18)及 ϑ 的定义,为了证明(3.10),我们只需要证明 ψ B X ( 0 , r ( β ) ) 上是单值的且

ψ ( B X ( 0 , r ( β ) ) ) B X ( x ¯ , δ ( β ) ) . (3.19)

r 3 ( β ) : = min { r 2 ( β ) , β α q γ q 1 ( β ) 16 q } ,则由(3.17)和(3.18)可知对于任意的 u B X ( 0 , r 3 ( β ) ) 都有

β α q d ( x ¯ , ψ ( u ) ) q f u ( x ¯ ) min y B X [ x ¯ , γ ( β ) ] f u ( y ) = min y B X [ x ¯ , γ ( β ) ] f ( y ) min y B X [ x ¯ , γ ( β ) ] ( f ( y ) u , y x ¯ ) min y B X [ x ¯ , γ ( β ) ] f ( y ) min y B X [ x ¯ , γ ( β ) ] ( f ( y ) γ ( β ) u ) = γ ( β ) u < γ ( β ) r 3 ( β ) .

从而

d ( x ¯ , ψ ( u ) ) < γ ( β ) 16 , u B X ( 0 , r 3 ( β ) ) ,

于是对于任意的 u B X ( 0 , r 3 ( β ) ) 都存在 x u ψ ( u ) 使得

x u x ¯ < γ ( β ) 16 . (3.20)

u , v B X ( 0 , r 3 ( β ) ) u ψ ( u ) B X ( x ¯ , γ ( β ) 16 ) ,取 { v n } ψ ( v ) 使得

lim n u v n = d ( u , ψ ( v ) ) . (3.21)

由(3.20),我们有

d ( u , ψ ( v ) ) u x v u x ¯ + x ¯ x v < γ ( β ) 8 .

不失一般性,我们假设对于任意的 n N 都有 u v n < γ ( β ) 8 。于是

x ¯ v n u v n + x ¯ u < 3 γ ( β ) 16 < γ ( β ) 4 , n N .

由(3.17)及 ψ 的定义可知对于任意的 n N 都有

β α q d ( u , ψ ( v ) ) q f v ( u ) min y B X [ x ¯ , γ ( β ) ] f v ( y ) = f v ( u ) f v (vn)

β α q d ( v n , ψ ( u ) ) q f u ( v n ) min y B X [ x ¯ , γ ( β ) ] f u ( y ) = f u ( v n ) f u ( u ) .

因此,对于任意的 n N 都有

β α q d ( u , ψ ( v ) ) q β α q d ( u , ψ ( v ) ) q + β α q d ( v n , ψ ( u ) ) q f v ( u ) f v ( v n ) + f u ( v n ) f u ( u ) = u v , u v n u v u v n .

由此及(3.21),令 n ,可得

β α q d ( u , ψ ( ν ) ) q u ν d ( u , ψ ( ν ) ) ,

d ( u , ψ ( ν ) ) 1 α q q 1 β 1 q 1 ( u ν ) 1 q 1 ,

这表明

u ψ ( ν ) + 2 1 α q q 1 β 1 q 1 ( u ν ) 1 q 1 B X .

由u在 ψ ( u ) B X ( x ¯ , γ ( β ) 16 ) 上的任意性,可知对于任意的 u , v B X ( 0 , r 3 ( β ) ) 都有

ψ ( u ) B X ( x ¯ , γ ( β ) 16 ) ψ ( v ) + L ( u v ) 1 q 1 B X , (3.22)

这里 L : = 2 1 α q q 1 β 1 q 1 ,设 u B X ( 0 , r 3 ( β ) ) u ψ ( u ) ,则有

( f + δ B X [ x ¯ , γ ( β ) ] ) ( u ) = u , u f ( u ) . (3.23)

于是 u ( f + δ B X [ x ¯ , γ ( β ) ] ) ( u ) (参见文献 [26] ,命题5.3.1)。因此

ψ ( u ) ( f + δ B X [ x ¯ , γ ( β ) ] ) ( u ) , u B X ( 0 , r 3 ( β ) ) . (3.24)

由于 x ¯ ψ ( 0 ) B X ( x ¯ , γ ( β ) 16 ) ,结合(3.22),则有

x ¯ ψ ( u ) + L ( u ) 1 q 1 B X ψ ( u ) + L r 3 1 q 1 ( β ) B X , u B X ( 0 , r 3 ( β ) ) .

r ( β ) 的定义,可知 r ( β ) r 3 ( β ) β α q r q 1 ( β ) 16 q ,结合 r ( β ) 以及L的定义可得 L r 1 q 1 ( β ) = 2 1 α q q 1 β 1 q 1 r 1 q 1 ( β ) r ( β ) 16 ,从而

ψ ( u ) B X ( x ¯ , r ( β ) 16 ) ψ ( u ) + B X ( x ¯ , L γ 1 q 1 ( β ) ) , u B X ( 0 , r ( β ) ) .

u B X ( 0 , r ( β ) ) x u ψ ( u ) B X ( x ¯ , r ( β ) 16 ) ,则由(3.22)可知对于任意的 v B X ( 0 , r ( β ) ) z v ψ ( v ) 使得

x u z v L u v 1 q 1 , (3.25)

注意到(3.24),则我们有

x u ( f + δ B X [ x ¯ , γ ( β ) ] ) ( u ) z v ( f + δ B X [ x ¯ , γ ( β ) ] ) (v∗)

由于 ( f + δ B X [ x ¯ , γ ( β ) ] ) 是凸函数,可得

z v , u v ( f + δ B X [ x ¯ , γ ( β ) ] ) ( u ) ( f + δ B X [ x ¯ , γ ( β ) ] ) (v∗)

x u , v u ( f + δ B X [ x ¯ , γ ( β ) ] ) ( v ) ( f + δ B X [ x ¯ , γ ( β ) ] ) ( u ) .

由此及(3.25),我们有

0 ( f + δ B X [ x ¯ , γ ( β ) ] ) ( v ) ( f + δ B X [ x ¯ , γ ( β ) ] ) ( u ) x u , v u z v x u , v u L v u 1 + 1 q + 1 ,

这和 v B X ( 0 , r ( β ) ) 上的任意性表明 ( f + δ B X [ x ¯ , γ ( β ) ] ) u 处的可微且有

( f + δ B X [ x ¯ , γ ( β ) ] ) ( u ) = { ( f + δ B X [ x ¯ , γ ( β ) ] ) ( u ) } = { x u } , u B X ( 0 , r ( β ) ) .

由(3.24),即得

ψ ( u ) = { ( f + δ B X [ x ¯ , γ ( β ) ] ) ( u ) } = { x u } B X ( x ¯ , r ( β ) 16 ) , u B X ( 0 , r ( β ) ) ,

所以 ψ B X ( 0 , r ( β ) ) 上是单值的且有

ψ ( B X ( 0 , r 3 ( β ) ) ) B X ( x ¯ , r ( β ) 16 ) . (3.26)

δ ( β ) 的定义可知 δ ( β ) = r ( β ) 16 ,结合(3.17),(3.26)及 ψ 的定义,可得

β α q x ϑ ( u ) q f ( x ) f ( x u ) u , x x u , x B X ( x ¯ , δ ( β ) ) ,

由此及 ϑ 的定义可得(3.10),证毕。

注3.1定理3.1中的条件(1)即为 f ( x ¯ , 0 ) 处是 q 1 阶度量正则的,条件(2)即为f在 ( x ¯ , 0 ) 处是q阶S-正则性且f在 ( x ¯ , 0 ) 处是次微分连续的。

文章引用: 杨吉根 , 吕鹏辉 , 陈 斌 (2019) 一致q阶增长条件。 应用数学进展, 8, 119-134. doi: 10.12677/AAM.2019.81014

参考文献

[1] Yao, J.C., Zheng, X.Y. and Zhu, J. (2017) Stable Minimizers of φ-Regular Functions. SIAM Journal on Optimization, 27, 1150-1170.
https://doi.org/10.1137/16M1086741

[2] Poliquin, R.A. and Rockafellar, R.T. (1996) Prox-Regular Functions in Variational Analysis. Transactions of the American Mathematical Society, 348, 1805-1838.
https://doi.org/10.1090/S0002-9947-96-01544-9

[3] Bernard, F. and Thibault, L. (2005) Prox-Regular Functions in Hilbert Spaces. Journal of Mathematical Analysis Applications, 303, 1-14.
https://doi.org/10.1016/j.jmaa.2004.06.003

[4] Bacák, M., Borwein, J.M., et al. (2009) Infimal Convolutions and Lipschitzian Properties of Subdifferentials for Prox-Regular Functions in Hilbert Spaces. Journal of Convex Analysis, 17, 737-763.

[5] Bernard, F. and Thibault, L. (2004) Prox-Regularity of Functions and Sets in Banach Spaces. Set-Valued and Variational Analysis, 12, 25-47.
https://doi.org/10.1023/B:SVAN.0000023403.87092.a2

[6] Bernard, F. and Thibault, L. (2005) Uniform Prox-Regularity of Functions and Epigraphs in Hilbert Spaces. Nonlinear Analysis Theory Methods Applications, 60, 187-207.
https://doi.org/10.1016/S0362-546X(04)00283-4

[7] Hare, W.L. and Poliquin, R.A. (2007) Prox-Regularity and Stability of the Proximal Mapping. Journal of Convex Analysis, 14, 589-606.

[8] Poliquin, R.A. and Rockafellar, R.T. (2010) A Calculus of Prox-Regularity. Journal of Convex Analysis, No. 1, 203-210.

[9] Drusvyatskiy, D. and Lewis, A.S. (2012) Tilt Stability, Uniform Quadratic Growth, and Strong Metric Regularity of the Subdifferential. Siam Journal on Optimization, 23, 256-267.
https://doi.org/10.1137/120876551

[10] Gfrerer, H. and Mordukhovich, B.S. (2015) Complete Characterizations of Tilt Stability in Nonlinear Programming under Weakest Qualification Conditions. Mathematics.

[11] Mordukhovich, B.S. and Nghia, T.T.A. (2015) Second-Order Characterizations of Tilt Stability with Applications to Nonlinear Programming. Mathematical Programming, 149, 83-104.
https://doi.org/10.1007/s10107-013-0739-8

[12] Mordukhovich, B.S. and Nghia, T.T.A. (2013) Second-Order Variational Analysis and Characterizations of Tilt-Stable Optimal Solutions in Infinite-Dimensional Spaces. Nonlinear Analysis Theory Methods Applications, 86, 159-180.
https://doi.org/10.1016/j.na.2013.03.014

[13] Modukhovich, B.S. and Outrata, J.V. (2013) Tilt Stability in Non-linear Programming under Mangasarian-Fromovitz Constraint Qualifcation. Kybernetika, 49, 446-464.

[14] Poliquin, R.A. and Rockafellar, R.T. (1998) Tilt Stability of a Local Minimum. Society for Industrial and Applied Mathemat-ics.

[15] Zheng, X.Y. and Ng, K.F. (2015) Holder Stable Minimizers, Tilt Stability and Holder Metric Regularity of Subdifferential. SIAM Journal on Optimization, 25, 416-438.

[16] Zheng, X.Y. and Ng, K.F. (2015) Hölder Weak Sharp Minimizers and Hölder Tilt-Stability. Nonlinear Analysis, 120, 186-201.

[17] Mordukhovich, B.S. (1992) Sen-sitivity Analysis in Nonsmooth Optimization. In: Field, D.A. and Komkov, V., Eds., Theoretical Aspects of Industrial Design, Philadelphia, 32-46.

[18] Mordukhovich, B.S. and Rockafellar, R.T. (2011) Second-Order Subdifferential Calculus with Applications to Tilt Stability in Optimization. Mathematics, 22, 953-986.

[19] Aragon Artacho, F.J. and Geoffroy, M.H. (2008) Characterization of Metric Regularity of Subdifferentials. Journal of Convex Analysis, 15, 365-380.

[20] Drusvyatskiy, D., Mordukhovich, B.S. and Nghia, T.T.A. (2013) Second-Order Growth, Tilt Stability, and Metric Regularity of the Subdifferential. Journal of Convex Analysis, 21.

[21] Mordukhovich, B.S. and Ouyang, W. (2015) Higher-Order Metric Subregularity and Its Applications. Journal of Global Optimization, 63, 777-795.
https://doi.org/10.1007/s10898-015-0271-x

[22] Yao, J.C. and Zheng, X.Y. (2015) Error Bound and Well-Posedness with Respect to an Admissible Functions. Applicable Analysis, 95, 1-18.
https://doi.org/10.1080/00036811.2014.992104

[23] Dontchev, A.L. and Zolezzi, T. (1993) Well-Posed Optimi-zation Problems. Well-Posed Optimization Problems. Springer-Verlag, Berlin.

[24] Zheng, X.Y. and Zhu, J. (2016) Stable Well-Posedness and Tilt Stability with Respect to Admissible Functions.

[25] Clarke, F.H. (1984) Nonsmooth Analysis and Optimization. Proceedings of the International Congress of Mathematicians, 5, 847-853.

[26] Lucchetti, R. (2006) Convexity and Well-Posed Problems. Springer, New York.
https://doi.org/10.1007/0-387-31082-7

分享
Top