凸函数的β可微性和光滑模.pdfVIP

维普资讯 总39卷 第 1期 数 学 研 究 VD1．39 No．1 2006年 3月 JournalofMathematicalStudy Mar．2006 凸函数的 可微性和光滑模 谢 元 福 (赣南师范学院数学与计算机系，江西 赣州 341000) 摘 耍 本文引入一类特殊的实值函数(模)，并由此对hnach空间上凸函数的Fr~ehet可微 性，更一般地，卢一可徽性进行了特征刻画． 关键词 凸函数 可微性；次微分 连续模 中田分类号 0177．2 文献标识码 A 自1933年Mazur[~]定理出现以来，凸函数的可微性一直是凸分析研究的基本内容之一． 受文[2]的启发，本文作者发现通过引入一类实值函数——模，能够刻画凸函数的Fr6chet可 微性，进而将此结果推广到一般可微性—— 可微性的研究，得到凸函数 可微性的模的刻 I画． 、 1 记号与定义 定义 1啪 如果实值函数m：R+一尺+U (+o。)满足 (1)7，l(t) o，Vt 0； (2)，，I(￡)单调非降； (3)lim re(t)= (0)= 0 t-*0+ 则称是一个连续模． 定义 2[2] 设 (X，)为一个度量空 间，x 的一个非空子集 A对另一个子集 B的 Hausdorff—P0mpei距离定义为 e(A，B)基 supd(z，B) (sup~ =0) 其中 d(z，)暑 infd(z，_，) (in／~ 一oo)． 定义3[q 设 ，是Banach空间E的一个非空开凸子集D上的凸函数，称 ∈E 为，在 ∈D处的一个次微分，如果它满足 · ’，一 ￡=三=，(j，)一 ，()，VY∈D． ，在工处的次微分映射定义为 收撬 日期：2005—05—15 基金项目：国家 自然科学基金资助项 目 维普资讯 数学研究 2006矩 af(x)一 (。∈E ： 。，一 =三三，()一 ，()，V ∈D)． 定义4[1]设X、y是两个Hausdorff空间，T：X一2。若对包含T 的任何开集y，都存在 的一个邻域U，使得T(U)cV，则称 在 ∈X处是上半连续的． 定义 5] 设E是一个Banach空间，E的一个有界子集族 称为E的一个()囿，如果 UA=E． ^∈ 定义6 设E为一个Banach空问，E 为其对偶，卢是E的一个圃，以 { ∈E。；suplz ‘， l=三=￡， 0，A ∈ ) 作为0点的邻域子基生成的拓扑称为E 上由卢囿生成的 拓扑，记为 ． 定义7 设，是Banach空间E上一个下半连续广义实值真凸函数，A为E的一个有界子 集 ，若 了 ∈E ，．#． l1imsup_『 一 ]；o (1) — ’0+ ^ L I- J 则称 ，在 ∈dora(f)处相对于A一致可微． 设J9是E的一个囿，若 (1)式对VA ∈卢都成立，则称，在 处是 可微的． 2 引 理 引理 ic钉 设 ，是定义在Banach空间E的一个非空开凸子集D上的连续凸函数，则 ()，在D上是局部Lipschitz的； ()对每个 ∈D， )是E。的一个非