第1章 Banach空间中的广义微分 1
1.1 非凸集合的广义法向量 1
1.1.1 基本定义和一些性质 2
1.1.2 切向逼近 10
1.1.3 广义法向量的分析法则 15
1.1.4 集合的序列法紧性 23
11.5 变分描述和极小性 28
1.2 集值映射的上导数 34
1.2.1 基本定义和表示 35
1.2.2 Lipschitz性质 40
1.2.3 度量正则性和覆盖 49
1.2.4 Banach空间中上导数的分析法则 62
1.2.5 映射的序列法紧性 66
13 非光滑函数的次微分 71
1.3.1 基本定义和关系 72
1.3.2 Fréchet类型的ε-次梯度及其极限表示 77
1.3.3 距离函数的次微分 86
1.3.4 Banach空间中的次微分分析法则 99
1.3.5 二阶次微分 108
1.4 第1章评注 118
1.4.1 非光滑分析的动因和早期发展 118
1.4.2 切向量和方向导数 118
1.4.3 Clarke结构和相关发展 120
1.4.4 避免凸性的动因 123
1.4.5 基本法向量和次梯度 125
1.4.6 类Fréchet表示 126
1.4.7 近似次微分 128
1.4.8 进一步的历史评注 128
1.4.9 非凸性的优点 130
1.4.10 主要课题和贡献者清单 130
1.4.11 Banach空间中的广义法向量 135
1.4.12 集值映射的导数和上导数 137
1.4.13 Lipschitz性质 138
1.4.14 度量正则性和线性开性 140
1.4.15 Banach空间中的上导数分析法则 143
1.4.16 增广实值函数的次梯度 144
1.4.17 距离函数的次梯度: 145
1.4.18 Banach空间中的次微分分析法则 146
1.4.19 二阶广义微分 147
1.4.20 Banach空间中的二阶次微分分析法则 148
第2章 变分分析中的极点原理 150
2.1 集合极点和非凸分离 150
2.1.1 集合极点系统 150
2.1.2 极点原理的不同版本与支撑性质 153
2.1.3 有限维空间里的极点原理 156
2.2 Asplund空间中的极点原理 157
2.2.1 光滑空间中的近似极点原理 158
2.2.2 可分约化 161
2.2.3 Asplund空间的极点刻画 173
2.3 与变分原理的关系 180
2.3.1 Ekeland变分原理 180
2.3.2 次微分变分原理 183
2.3.3 光滑变分原理 186
2.4 Asplund空间中的表示与刻画 189
2.4.1 Asplund空间里的次导数、法向量和上导数 189
2.4.2 图与上图的奇异次导数和水平法向量的表示 197
2.5 Banach空间中极点原理的各种版本 205
2.5.1 公理化的法锥与次微分结构 205
2.5.2 具体的法锥和次微分结构 209
2.5.3 极点原理的抽象版本 218
2.6 第2章评注 221
2.6.1 极点原理的由来 221
2.6.2 Fréchet光滑空间中的极点原理与可分约化 222
2.6.3 Asplund空间 223
2.6.4 Asplund空间上的极点原理 223
2.6.5 Ekeland变分原理 224
2.6.6 次微分变分原理 225
2.6.7 光滑变分原理 225
2.6.8 Asplund空间中极限法向量和次导数的表示 226
2.6.9 其他次微分结构和极点原理的抽象版本 228
第3章 Asplund空间中的完备分析法则 230
3.1 法向量和上导数的分析法则 230
3.1.1 法锥的分析法则 230
3.1.2 上导数的分析法则 241
3.1.3 严格Lipschitz性质和上导数标量化 252
3.2 次微分分析法则和相关课题 260
3.2.1 基本和奇异次梯度的分析法则 260
3.2.2 近似中值定理及其应用 271
3.2.3 与其他次微分的关系 278
3.2.4 Lipschitz映射的图正则性 288
3.2.5 二阶次微分分析法则 294
3.3 集合与映射的SNC分析法则 299
3.3.1 交集与逆像的序列法紧性 299
3.3.2 映射的和及相关运算的序列法紧性 306
3.3.3 映射复合的序列法紧性 310
3.4 第3章评注 316
3.4.1 分析法则的关键作用 316
3.4.2 广义微分分析法则的对偶空间几何方法 316
3.4.3 无限维空间中的法紧性条件 317
3.4.4 基本法向量的分析法则 317
3.4.5 完整的上导数分析法则 318
3.4.6 无限维空间中映射的严格Lipschitz性质 320
3.4.7 完整次微分分析法则 321
3.4.8 中值定理 322
3.4.9 其他法向量和次梯度的联系 323
3.4.10 Lipschitz映射的图正则性和可微性 325
3.4.11 Asplund空间中二阶次微分分析法则 326
3.4.12 Asplund空间中关于集合和映射的SNC分析法则 326
第4章 适定性的刻画与灵敏性分析 328
4.1 邻域判据与确切界限 328
4.1.1 覆盖的邻域刻画 329
4.1.2 度量正则性和Lipschitz特性的邻域刻画 332
4.2 点基刻画 334
4.2.1 Lipschitz性质的基本与混合上导数表述 335
4.2.2 覆盖和度量正则的点基刻画 342
4.2.3 扰动下的度量正则性 346
4.3 约束系统的灵敏性分析 353
4.3.1 参数约束系统的上导数 353
4.3.2 约束系统的Lipschitz稳定性 360
4.4 变分系统的灵敏性分析 366
4.4.1 参数变分系统的上导数 367
4.4.2 Lipschitz稳定性的上导数分析 378
4.4.3 正常扰动下的Lipschitz稳定性 390
4.5 第4章评注 400
4.5.1 度量正则和相关性质的变分方法 400
4.5.2 覆盖和度量正则的第一个刻画 401
4.5.3 对偶空间和本原空间的邻域判据 401
4.5.4 Lipschitz鲁棒性质的点基上导数刻画 401
4.5.5 无限维中涉及部分法紧性质的点基判据 402
4.5.6 Lipschitz性质和度量正则性在复合运算下的保持 403
4.5.7 扰动下的良好性态 404
4.5.8 基于广义微分学的参数约束系统灵敏性分析 405
4.5.9 广义方程与变分条件 407
4.5.10 广义方程和变分不等式的Lipschitz鲁棒稳定性 408
4.5.11 强逼近和正常扰动 409
参考文献 411
陈述表 477
记号表 492
索引 496