凸函数的次微分算子的一致连续性和一致单调性.pdfVIP

维普资讯 1996年 12月 广 西 师 院 学 报 (自 然 科 学 版 ) Dec．1996 第 l3卷第 4期 Jou~alolGu~rtgxiTeachersCollege (NaturalSc：ie~ceEdifioa) Vd．¨ ，No．4 7一l 凸函数的次微分算子的一致连续性 和一致单调性 O)Tt、3 涂文彪 d 张 风 (江汉石 油 学院基础部 ，湖 北荆沙 ，434102) (驻 马店 师专) 。 Frechet 关键词一致 可微；、一——致——连——续一{一翌有，界，懈’，Ⅷ．L凸』工f1凼、d一iI敏～々、J黼’1’缔lf 一 致年2 7五． ’ 首先我们给出下列定义 ，(注意非空凸集 口上的广义实值 凸函数的定义可表述成 对任何 收稿 日期 ：1996—05—15 维普资讯 8 广 西 师 院 学 报 (自 然 科 学 版 ) 第 13卷 c) ，在 D上有界～凸集一一致连续 (6一 ．6)，如果它在每个 CEG(D)上有界； d) ，在 D上有界一凸集--Lipschitz(b∞ ，J)，如果它在每个 c∈ (D)上 Lipsehitz． 4 定义 设 ，为定义在非空凸集 DCE上的广义实值凸函数 ，我们说 a) ，在 SCD上一致Frechet可微 ，如果它在 s上处处Oateaux可徽 ，且对任何 a0，存 在 a0使得 0≤，()--f(x)一 (d， )，一 )≤E}1一 lf (6) b) f在 D上有界一 凸集一一致 Frechet可微 (6∞ “．Frechet可徽)，如果它在每个 CC~ (D)上一致 Frechet可微 ； c) E上的一个范数称为 (一致)Frechet可微的，如果它在 E的单位球面上 (一致)Freehet 可微． 我们把 D上 的广义实值 函数 的本性定义域记为 dom(f)-~-{z∈D；，()o。)，并设 ，处 处不取一。。，即 ，为 D上 的真 凸函数． 5 性质 ：设 ，，D 由定义 4给出，那么 ，下列论述 I)一 V)等价 I) f在 intdora(f)上局部有 界 ； I) f在 intdom(f)上连续 ； Ⅲ) f在 intdom(力 上局部 Lipschitz； Ⅳ) of在 intdom ( 上局部有界 ； V) f在 intdom(，)上 Frecher可微当且仅 在 intdom(f)上连续． 类似 地 ，我们还有 6 性质 ：对上述 ，，D，下列论述等价； I) f在 intdora(f)上 6．^b； I) f在 [atdom(f)上 b．c．mb； Ⅲ) f在 intdom(，)上 b∞ ，J； Ⅳ) 在 intdora(，)上 b．c．d． 证 明 Ⅳ)一 Ⅱ) 设 在 mtdom(f)~G上 b．cb．对任伺 cc (D)，令 d(C，E＼G)一2r 0；则 C，一 {z∈E~d(C，)r}∈口(D))，设 sup{}1z ll：z ∈矿 (c，))一Loo 其 中，a，(c，)一U{af()；z∈G}．我们有 (对 z，yEe)