论文部分内容阅读
新兴的向量集值优化理论在微分包含、逼近论、变分学与最优控制等领域均有广泛的应用,集值优化问题在各种解意义下的最优性条件是其中的重要组成部分,是建立现代优化算法的重要基础. 另一方面,凸性的概念在优化理论中扮演着重要的角色,因而各种凸性的推广都倍受人们的关注. 本文旨在得到近似锥-次类凸集值函数的性质,并在近似锥-次类凸假设下,分别得到集值优化问题关于 Benson真有效元、赋范线性空间超有效元、强有效元、严有效元和局部凸空间超有效元的非导数型最优性条件或导数型最优性条件. 具体结果可归纳如下:1. 研究了凸锥的若干性质, 利用这些性质给出了近似锥-次类凸集值函数(也称 近似锥-次类凸集值映射)的几种等价刻画. 利用其中的一种等价刻画给出了 近似锥-次类凸函数的一个重要性质, 利用这个性质和择一性定理得到了集值 优化问题取得 Benson真有效元的一个 Lagrange 型必要条件.2. 在赋范线性空间中讨论了集值优化问题的超有效性. 在近似锥-次类凸假设下, 得到了集值优化问题取得超有效元的一个标量化定理. 利用近似锥-次类凸函 数的一种等价刻画给出了近似锥-次类凸函数的另一个重要性质, 利用这个性 质和择一性定理得到了集值优化问题取得超有效元的一个Lagrange 型必要条 件. 利用超有效点集的性质给出了集值优化问题取得超有效元的一个 Lagrange 型充分条件. 给出了集值优化问题在超有效元意义下的一种 Lagrange 型无约束刻画.3. 在局部凸空间讨论了集值优化问题的强有效性. 在近似锥-次类凸假设下, 利 用强有效点集的性质及择一性定理, 得到了集值优化问题取得强有效元的 Kuhn-Tucker 型必要条件. 利用基泛函的性质和双序线性空间的 Namioka 线 性泛函分解定理得到了集值优化问题取得强有效元的 Kuhn-Tucker 型充分条 件. 利用近似锥-次类凸函数的一种等价刻画给出了近似锥-次类凸函数的一 个重要性质, 利用这个性质和双序线性空间的 Namioka 线性泛函分解定理得 到了集值优化问题取得强有效元的 Lagrange 型必要条件.利用强有效点集的 性质给出了集值优化问题取得强有效元的 Lagrange 型充分条件. 给出了集值 优化问题在强有效元意义下的 Kuhn-Tucker 型和 Lagrange 型无约束刻画.4. 在局部凸空间讨论了集值优化问题的严有效性. 在近似锥-次类凸假设下, 利 用凸集分离定理和标量化定理分别得到了集值优化问题取得严有效元的 Kuhn-Tucker 型必要和充分条件. 利用凸集分离定理和标量化定理得到了集 值优化问题取得严有效元的 Lagrange 型必要条件.利用严有效点集的性质和 定义给出了集值优化问题取得严有效元的 Lagrange 型充分条件. 给出了集值<WP=6>优化问题在严有效元意义下的 Kuhn-Tucker 型和 Lagrange 型无约束刻画.5. 在局部凸空间讨论了集值优化问题的超有效性. 在近似锥-次类凸假设下, 利 用择一性定理和利用标量化定理分别得到了集值优化问题取得超有效元的 Kuhn-Tucker 型必要和充分条件. 利用择一性定理和标量化定理得到了集值 优化问题取得超有效元的 Lagrange 型必要条件. 利用超有效点集的性质和定 义给出了集值优化问题取得超有效元的 Lagrange 型充分条件. 给出了集值优 化问题在超有效元意义下的 Kuhn-Tucker 型和 Lagrange 型无约束刻画.6. 借助于修正的 Dubovitskij-Miljutin 切锥引进了一种新的集值函数切导数, M- 导数.给出了几种广义伪凸集值函数的概念.当目标函数和约束函数均 M-可导 时,在近似锥-次类凸假设下利用严有效点集的性质和凸集分离定理得到了集 值优化问题取得严有效元的 Fritz John和 Kuhn-Tucker 型必要条件. 在广义伪 凸假设下,得到了集值优化问题取得严有效元的 Kuhn-Tucker 型充分条件.