锥规划及其对偶锥规划的若干性质及应用

摘要

锥规划(conicoptimization，简称CO)是一种特殊的凸规划，是线性规划的推广.它指的是在一个仿射空间与一个正则锥的交集上，求线性目标函数的极小或极大值.这个问题总括了线性规划(linearprogramming，简称LP)、凸二次约束规划(convexquadraticprogramming，简称QCQP)、半定规划(semidefiniteprogramming，简称SDP)、二次锥规划(second-orderconicoptimization，简称SOCP).从它的模型可以看出，它的约束条件和线性规划相比，既是非线性的也是凸约束.近年来，由于它的理论和算法有很大的进展，并且在投资组合优化、最小风险套利、协方差矩阵的逼近等方面得到了广泛的应用，因此成为数学规划领域中一个非常活跃的研究方向. 本文围绕锥规划问题，对锥及其对偶锥的性质进行了研究，解决了一些特殊锥(钝锥、直角锥、优劣钝锥)及其对偶锥之间的关系，并对它们存在的充要条件给予了详细的证明。在此基础上，通过与线性规划作对比，将对偶定理(弱对偶性、强对偶性)、互补松弛定理等推广到锥规划问题中，得到了一些有意义的结论，并且得到了这两个规划的零对偶间隙的存在条件。本文主要由理论研究和应用实践两部分组成.第一部分是理论研究：在线性规划的基础上重点介绍了一种特殊的凸规划类型——锥规划及其对偶锥规划，并介绍了锥规划及其对偶锥规划的发展及其性质.第二部分是应用实践：将所提出的锥规划及其对偶锥规划应用在各个领域，例如最小二乘问题、多项式求解、协方差矩阵估计，以及在其它方面的运用，这些应用无不显示出研究锥规划的必要.本文的具体研究内容如下安排： 第一章介绍了国内外对锥规划及其对偶锥规划的研究现状、模型，指出本文研究要解决的关键问题及研究内容. 第二章介绍了本文要用到的锥及其对偶锥的主要性质，以及几类特殊锥及其对偶锥的性质、充要条件等关键性问题都进行了详细的分析和证明. 第三章是文章的主体部分，主要介绍了锥规划及其对偶锥规划的若干性质.研究主要有：利用Nesterov和Todd的齐次模型判断锥规划与其对偶锥规划解的存在性；类似于线性规划推导出锥规划的KKT-条件；从锥规划的泛对偶性得到锥规划与对偶锥规划的零对偶间隙存在的条件，从而了解泛对偶性与原－对偶可行集的有界性之间的关系. 第四章将锥规划及其锥规划的理论应用于实际问题中. 第五章总揽全文，得出结论，并提出今后的研究展望.

目录

文摘

英文文摘

第一章绪论

1.1选题的目的和意义

1.1.1凸规划问题

1.1.2锥规划问题

1.2锥规划及其对偶锥规划模型及国内外研究现状

1.3研究内容及提要

第二章锥及其对偶锥的性质

2.1锥及其对偶锥的性质

2.1.1锥及其性质

2.1.2对偶锥的性质

2.2几类特殊锥与其对偶锥的性质

第三章锥规划及其对偶锥规划的基本性质

3.1规划问题的对偶理论(duality theory)

3.2锥规划与对偶锥规划解的存在性

3.3由Nesterove和Todd的齐次模型判断解的存在性

3.4锥规划及其对偶锥规划的性质

3.4.1弱对偶性(wead duality)

3.4.2强对偶性(strong duality)

3.5锥规划的KKT-条件

3.6锥规划可行解唯一性条件

3.7锥规划的泛对偶性

3.7.1零对偶间隙存在的条件

3.7.2泛对偶性与原—对偶可行集的有界性之间的关系

第四章锥规划及其对偶锥规划的应用

4.1在最小二乘问题中的应用

4.2在多项式求解中的应用

4.3在协方差矩阵的估计中的应用

4.4在其它方面的应用

第五章结论

参考文献

致谢

附录1攻读硕士学位期间发表的论文

附录2