现代科技综述知识文库：切锥.pdf

现代科技综述系列—— 切切锥锥 科技是人类区别于动物的重要文明之一， 是人类对自然规律研究 利用的学科。 本文提供对科技基本概念 “切锥” 的解读，以供大家了解。 切切锥锥 设X是一个Banach空间，，x0 ∈S，S在x0点的切锥 T(S，x0)是对集合S在x0点附近的一类局部锥逼近。 这类锥逼近是近代凸分析、非光滑分析、非线性分析 中的一个重要论题。 它在最优化理论中起着关键性作用，在最优控制论、 变分不等式、微分包含、收敛性理论中也得到广泛应 用。 早在1930年波利根德(G ．Bouligand)就提出了第一个切 锥概念，他定义S在x0点的伴随锥为TB(S，x0)= ｛y ∈x ｜，其中距离函数ds(x0+ty)=in ｛ǁx0+ty －xǁ ｜ x ∈S ｝，它是一个闭锥，且有，使，，xk→x0 ，使 λk(xk －x0)→y ｝= ｛y ｜对原点的任意一个邻域V ，＞ 0 ，，使，其中B是X 中的单位闭球，集值映射的极限 是Kuratovskii意义下的极限。 它们是以后形成各种其它切锥概念的基础。 切锥概念提出后，并未引起足够重视，直到1965年杜 波夫斯基(A ．D ．Dubovickii) 米留金(A ．A ．Miliutin) 在考虑约束极值问题时又提出两个新的切锥概念 TD(S，x0)= ｛y ∈X ｜对，使x0+μkdk ∈S，K ；TM(S， x0)= ｛y ∈X ｜存在原点邻域V ，，对，有 x0+μ(y+u) ∈S ｝= ｛y ｜对，有x0+μkdk ∈S，K充分大 时｝，其中TD(S，x0)是闭锥，TM(S，x0)又称为内切 锥，是开锥。 随后阿巴迪(J ．Abadie，1967)、古格勒德(M ． Guignade，1969)又利用波利根德切锥定义非线性规划 的约束规格，导出了最优解的K －T必要性条件。 1970年洛克菲勒(R ．T ．Rocka ellar)又发现凸函数 ： X→R在x 的次微分，y ＞≤ ′+(x ，y)，，(x ，(x)) ｝，其 中epi 是 的上图，′+(x ，y)是在x沿方向y的右方向导 数，正则锥NB(epi ，(x ，(x)))是切锥TB(epi ，(x ， (x))) 的负极锥。 由于切锥在最优化及凸分析中获得这样重要的应用， 切锥才开始为人们关注。 1975年克拉克(F．H ．Clarke)也提出了一种切锥TC(S， x0)对，，xk ∈S，使x) 。 这是一个闭凸锥，若S是凸集有TC(S，x0)=TB(S， x0)=TD(S，x0) 。 他还说明，若 ：x→R在x0 ∈X是局部李普希兹的，那 么在x0点的克拉克次微分是在x0关于方向y的克拉克 广义方向导数，正则锥Nc(·，·)是克拉克切锥(Tc(·，·) 的负极锥。 结合对凸函数的类似结果，西里阿特－尤鲁迪(J ．B ． Hiriart －Urruty，1979)联想到可以借助切锥来定义函数 的方向导数 次微分，比妨说对函数： ：X→R ，定义 在x ∈X关于方向y的方向导数 ′(x ，y)=in ｛r ∈R ｜(y， r)T(epi ，(x ，(x))) ｝，次微分．由取不同的切锥产生 不同的方向导数及次微分，形成不同的次微分理论。 这激发了人们对切锥的研究兴趣，将切锥研究推向高 峰，出现了