无限维空间的分析结构与凸微分分析.pdfVIP

第 40 卷　第 2 期 . 40　 . 2 ( ) V o l N o 厦门大学学报 自然科学版 　2001 年 3 月 ( ) M ar. 2001　 Jou rnal of X iam en U n iversity N atu ral Science 文章编号:(2001) 无限维空间的分析结构与凸微分分析 程　立　新 ( 厦门大学数学系, 福建 厦门　361005) 摘要: 对无限维空间上的凸微分分析这一数学分支的诞生发展历史, 该分支与其它学科分支的交 叉融合过程, 作者及其合作者在该分支及其相关领域中所做的主要工作, 以及目前国际上的研究现 状作一简述. 关键词: Banach 空间; 局部凸空间; 可微性; 变分分析; 最优化 中图分类号: O 1772. 2 文献标识码: A 　　　　　　　　　　　　　　　 [ 1 ] 以凸函数的微分理论为主线的无限维空间上的凸微分分析, 自著名的M azu r 定理 开 始, 已经进行了60 多年. 这不仅仅因为“凸”可以使许多复杂而抽象的数学内容变得简单而直 观, 也不仅因为它在许多学科分支, 如控制论、最优化理论、数学规划、大范围分析、无穷维动力 系统、生物数学与生物工程、金融数学与金融工程、非线性分析等领域有着许多成功的应用, 还 因为它把一些表面上看起来互不相关的数学分支内容, 如Banach 空间几何学、向量值测度与 ( 微分、单调算子理论、无限维空间中的扰动优化理论和变分理论等有机地结合为一体 见文献 ) [2～ 15 ]等 . 1　 A sp lund 空间与B anach 空间几何学 M azu r 1933 年的定理[ 1 ] 是说“可分B an ach 空间E 上定义的每个连续的凸函数均在E 的一 个稠密的G 子集上处处Gateaux 可微”. 定义在B an ach 空间E 上的非空开凸子集D 上的连续 凸函数f 称为在点 x 处 Gateaux 可微, 如果存在定义在 E 上的连续的线性泛函 x ( 即x ∈ E ) 使得 　 f (x + ty ) - f (x ) 　 lim - 〈x , y 〉= 0, y ∈E t 0 t 亦见, Gateaux 可微的定义是有限维空间的“梯度”概念到无限维空间中的一种自然推广, 这种 可微性也是无限维空间中一种最弱的可微性, 最强的可微性是 F r éch et 可微性 —— 我们说上 收稿日期: ( ) ( ) 基金项目: 国家自然科学基金 , 国家博士后研