一类拟可微函数在一点处可微性判别及在不可微优化中的应用.pdfVIP

维普资讯 弓 7 第 21卷 3期 【 东北重型机械学院学报 VoI．21 No．3 Sep． 1997 一 类拟可微函数在一点处可微性判别 及在不可微优化中的应用 高 岩 24} 甄 摘 要 对于拟微分为有限点集凸包的拟可徽函数．给出了判别其在任一点处是否可赭 的一种算法 ．将此算法作为不可镦优化的子葬法 可得到不可徽优化的—种可执行算法 ．特 别指出．所讨论的函数类包含光滑函数的极大值复合函数 关键词 ． 丕要盘 出 Lipschitz函数 垫要丝里墼 分类号 0224 叶 怙 1 一般形式的拟可微函数 定义… 设Ax)为R 中的方向可微函数．如果存在R 中的一对紧凸集 立似 )． ，()．使得 ，’(d) )(v．d)+rain肛)w《． Vd 【) 则称 )为R 中的拟可微函数 【在Demyanov和Rubinov意义下)．集合对 f亘 )． ， )l称为．， )的拟微分 当拟微分 厂()．厂()为有限点集凸包时．下述定理给出 )在任一点处可微的一 个充要条件 定理 1设，(x)为 申的拟可微函敷．且 )的拟徽分旦厂()． )均为有限点集 凸包．记 )=co[afER l拒，．厂()一co{bieR I ，)．，．，均为有限指标桌 【此处向 量 口．6，和指标 l,JeoC~*tq- )．进一步假设 6，均为量 )． )的极点．则 )在 任一．点 处可微的充要条件是 card(／)=card(os．且存在 ，．，中两组排列 I．f2．…．f和 12．…以．其中 =card(／)=card(．使得 bi=a~+bj_ 。一‘at+ (2) t 2 证明 充分性 假定card(／)=card(OS=s．此处card代表集合的基数、且存在指标 集，，J中的两组排列i~．i2、…f·s和 1√2·… r使得 aI+‘ 】ai2+ ～ =‘al+bj．设 一 ai+ - ai+ … a~+bL A (3) l l 2 由式 (3)得 co{atIf_1．2．…』)=cof一6I，=1、2，…．)+ ) (4) 根据式 (4)．有 maxco{ Ii=1．2．…、)=lTlaxc0{一 ·I=1．2．…．)+ ry．_v∈ (5) 995年3月7日收到 t 资助课题 维普资讯 264 东北重型机械学院学报 且U m ax = 一 十 (6) 惺