Clarke导数的连续性与函数的严格可微性

引进Lipschitz正则条件,证明了Banach空间上Lipschitz正则函数在某点严格可微当且仅当沿每个方向的Clarke导数在该点连续;在可分空间中Lipschitz正则函数的严格可微点集是第二纲的,因而处处稠密,并得到Clarke梯度用严格导数的极限表示。     

共轭Hahn—Banach定理

引入共轭集值映射的概念,讨论了它的性质.证明了共轭集值映射是由线性算子的凸集生成的,把Hahn-Banach定理推广到双次线性泛函的情形.作为应用讨论了Ioffe的广义微分概念。     

凸n—集函数的Moreau—Rockafellar定理

定义了不可微n-集函数的次梯度，并建立了关于不可微n-集函数Moreau-Rockaf-ellar型定理。