1. 引言
在二十世纪六十年代末期,凸分析 [1] [2] [3] 日益形成,随后逐渐发展起来,成为新的数学分支。凸分析主要研究凸集和凸函数的性质及其应用。在凸分析的基本概念中,回收锥和回收函数作为刻画凸集和凸函数无界性的主要工具,得到了广泛的研究和应用。早在1970年,Rockafellar [1] 针对回收锥和回收函数的基本概念、性质及其应用进行了详细的介绍。此外,文献 [2] 和 [3] 也针对凸优化概念的理论和应用进行了详细介绍。Rockafellar在凸分析中讨论凸集的回收锥及其性质和应用。1979年,Beer [4] 提出了非凸集合的回收锥,并利用其研究增函数的性质,证明数值分析中的重要定理和关于闭集与闭性的优化理论。
凸性在研究回收锥和回收函数的性质中起着重要的作用。如:1974年,Robert [5] 利用集合的回收锥、函数的回收锥讨论了最优性条件。在文献 [6] [7] [8] 中回收锥和回收函数在凸性条件下具有很好的性质。Lara在文献 [9] 中讨论了拟凸条件下的一些拟凸渐近函数及其应用。然而,因为回收锥不能反映一个集合在无穷远处的性质,所以对于非凸条件下回收锥和回收函数的研究并不多。近年来,Li等人 [10] 扩展了非凸条件下回收锥和回收函数的研究,表明了函数的单调性和Lipschitz连续性与回收函数的性质密切相关。特别地,他们在非凸条件下的渐近分析中引入了正则性的概念,并得到了正则性条件下非凸优化问题解集有界性和非空性的刻画。随后,在文献 [11] 中Li等人从回收函数的角度讨论了渐近函数的单调性和Lipschitz连续性,并利用非线性标量化函数研究了一般约束条件下非凸优化问题解集的有界性和非空性。
本文以文献 [1] [2] [3] 中回收锥和回收函数的基本理论作为基础,针对文献 [10] 中回收锥和回收函数的性质作了进一步研究。首先,根据渐近锥和回收锥有关交集运算的性质研究了渐近锥关于并集运算的性质。其次,针对正则条件下回收函数的四则运算进行了讨论并得到了相应的结论。最后,再举例说明了回收函数一些性质成立时相关条件的合理性。
2. 预备知识
令
为n维欧氏空间。对于函数
,定义
若对于任意
有
且
,则称函数f是真函数。
定义2.1 [10] 设
为一非空集合,A的渐近锥记为
,其定义如下
特别地,若A为非空凸集,则渐近锥
退化为回收锥
,其中
定义2.2 [10] 函数
的渐近函数
和回收函数
分别定义如下
定义2.3 [10] 设
为一非空集合,
为一个真函数。若
,则称集合A是正则的。若
,则称函数f是正则的。
文献 [3] [10] 给出了渐近锥和回收锥的以下性质。
引理2.4 [10] 对任意一组集合
,其中I为任意指标集且
,则
1)
,
2)
。
注2.5 在引理2.4中若
为闭凸集,则包含关系变成等式关系。
引理2.6 [3] 设
为
中的非空闭凸集,假设A1回收方向的反方向都不是A2的回收方向,则
为闭集且
引理2.7 [10] 设
是一个真函数,则对任意
有
引理2.8 [3] 设
是一个真函数,则对任意
有
引理2.9 [2] 设
是一个真函数,若f是正则的,则
其中
。若
,则
引理2.10 [10] 设
是正则函数,则对任意
有
定义2.11 [12] 设A为
中一非空凸集,f是A上的函数。若对任意两点
和
有
则称函数f为A上的凸函数。
3. 回收锥和回收函数的性质
文献 [3] 和 [10] 给出了渐近锥和回收锥有关交集的运算性质。下面结合相关定理给出渐近锥的并集运算性质。
定理3.1 对任意一组集合
,其中I为任意指标集,则有
证明:设
,则存在
使得
。由渐近锥的定义得存在
使得
。因此存在
使得
。即
,故
。从而结论成立。
推论3.2 当i为有限指标集时,则
证明:下面用数学归纳法证明
成立。
令
,若
,则存在
使得
。从而存在
或
使得
。即存在
使得
。故存在
使得
。从而有
。
再由定理3.1可知
。
假设当
时结论成立,即
,则当
时有
从而由数学归纳法有
。
下面举例说明上述定理。
例3.3 设
,则
从而
又
和
的渐近锥分别为
从而
这表明
下面给出正则条件下渐近函数的一些运算性质。
定理3.4 设
是正则函数,且f是线性泛函,则
1) 对任意
有
2) 对任意
有
。
证明:(1) 当
时,由引理2.9有
当
时,
(2) 根据引理2.9,对任意的
有
注3.5 在定理3.4中,函数f为线性泛函的条件是必不可少的。即使
是次线性的,该结论也不一定成立。
例3.6 设
,则对任意的
和
有
对任意的
有
这表明
是次线性泛函,且
是正则的。由引理2.9可知
无法得到定理3.4中的结论。
定理3.7 设
,且
是正则函数,则
证明:因为
,则
。
取
,则根据引理2.4有
从而有
。
根据定理3.1有
从而有
。
又根据
故得到
。
定理3.8 设
是正则的,若
是正则的且
,并且
有界大于0,则有
。
证明:因为
是正则的且
,从而根据渐近函数的计算方法有
又由
有界大于0,
是无穷大量,则根据无穷大量的运算性质可得
。
若
是正则的,不能推出
和
也是正则的。
例3.9 设
都是正则函数,由回收函数的计算方法有
当
时,
。
当
时,
。
再由渐近函数的计算方法有
当
时,
。
当
时,
。
可知
,从而
和
不是正则的。
定理3.10 设
是正则的,若
是正则的且
,令
,其中a为实数,则以下结论成立:
1) 当
时,
,
2) 当a有界时,
。
证明:因为
是正则的且
,从而根据渐近函数的计算方法有
又
是无穷小量,从而根据无穷小量的运算性质可得定理3.10中的结论。
下面举例来说明定理3.8和定理3.10的合理性。
例3.11 设
,则根据引理2.9可得
从而
,又有
例3.12 设
。则由引理2.9可得
又有
基金项目
重庆市留学人员回国创新基金项目(cx2020096)。
NOTES
*通讯作者。