1998次可微广义凸函数与多值广义单调映射.pdf

维普资讯 第19卷第2期 淮 北 蔗 师 院 学 报 VoI．19 NO．2 i998拉 JournalofHuaibeiCoalM iningTeachersCollege I998 ④ 次可微广义凸函数与多值广义单调映射 0 高桂如 (淮北市第一中学】 (二7／7 摘 要 (二)2I 本文在多值映射中引进丁拟单调、伪单调和严格伪单调的褫念，定义丁次可微函数的伪凸性 和严格伪凸性 研究了次可微函数的广义凸性和其次微分映射的广殳单调性之间的关系． 关键词 次可微函数 多值映射 广义凸函数 广义单调映射 等价性 l 引言 在文献…和2【]中，KararnardiaIl定义了单值映射的伪单调性、严格伪单调性和拟单调 性，证明了一个可微函数伪凸(严格伪凸、拟凸)的充要条件是它的梯度函数伪单调(严格伪单 调．拟单调)．这对非凸规划的研究，对变分不等式和互补问题的研究具有重要意义． 本文将在l：afarnardi姐结果的基础上，引进多值映射的广义单调性：拟单调性、伪单调 性和严格伪单调性：在次可微函数中(在Pshenichvf的意义下)j定义函数的伪凸性和严格伪 凸性，讨论各类次可微广义凸函数之间的关系和其次微分的性质． 2 次可微函数 设C是 维实空间 的一个开集．函数 C-+R在点xeC沿方向ycR的方向导数f ) 定义为如下极限： r，f )：I ! ： ． ’ r 矿 定义2．1。【7设C是 的一个开集，函数 C-+R处处方向可微，如果 ∈C 存在紧凸 集毋 )d ，使vy∈ ，有 f(x；y)--max{w,yw1a~l(x)) 其中(-j·)表示 中的内积，则称厂在c上次可微，移多值映射 c-÷2 是厂在c上的次微 分映射． 显然，定义在开集上的可徽函数和定义在开凸集上的凸函数都是欢可微函数． 定理2．1J【_设C是 的一个开集， C-+R是次可微函数，如果r在xeC取局部极值， 则0∈日)． 定理22 设C是 的一个开凸集． C-+R是次可微函数．如果口，beC，且 6，则 存在 ：(1一 +乃 (0 1)和 ∈ ()，使 收鸸日期 l998—03— 12 维普资讯 第2期 高桂如 次可微广义凸函数与多值广义单调映射 27 f(b)一f(a)=-b一口 证明 作辅助函数 ~t)=fl(1--．t)a+tb卜[~b)-fla)]t，te[O，l】 已知c是开凸集，厂在c上次可微，则容易验证，烈，)在0【，1]上连续，在(0，1)内次可微，且 句 《，{w，6—驴一 6)-~a)llwe (1一t)a+tb) 注意到烈O)=烈1 口)，从而烈f)在0【，l】上的最大值或最小值中必有一个在(0，1)中取到．因此， 根据定理2l，存在 E(0，1)，使0E (f]，取 =(1一Oa+乃，则存在 E ()，使 = ，b—a， 3 拟凸函数和拟单调映射 回忆以下拟凸函数的定义． 定义3 设C是 的一个凸集，，C R，如果 EC，Vte[0，1】，有 向)与缸)= (1 + 与缸) 则称r在C上拟凸． 定理3．1 设C是 的一个开凸集 ，C R是次可微函数，则厂在C上拟凸的充要条 件是VxyeC，V“E瓣 )，有 (C3 ，)与舡)HP ≤O 证明 j设厂在C上拟凸，~Vx,yeC，有 )与舡)．根据定义3l，vte(o，1]，有 m+，( ) )0 上式以，除之，并令fO取极限，有厂 )如 ，根