锥及其对偶锥的若干性质

通过引入钝锥和直角锥的概念,阐述了锥与对偶锥之间的关系,并给出了钝锥和直角锥存在的充分必要条件。

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

研究了锥规划和拉格朗日对偶规划的一些重要性质。

在对偶锥中应用点列函数解决最大嵌入椭球问题

本文通过在锥K上的点列函数和新定义的范数,假设和分别是锥K和它的对偶锥K*的内点,则就可以寻找到对偶椭球范数使得嵌入到锥K和K*中的分别以和为中心的椭球半径的积最大,并且这个积是以点列函数来表示的。这一结果也推广到了对偶空间中。

对偶锥映像上的问题

本文研究了对偶锥映像上的一些非线性问题.利用拓扑度理论和半序的方法,获得了对偶锥映像的锐角原理,Debrunner-Flor不等式和不动点定理的结果.推广了一般单调映像的锐角原理和Debrunner-Flor不等式的一些结果.

锥规划的对偶规划

利用对偶锥的概念,将线性规划的对偶规划等概念引入到锥规划中,给出了一般锥规划对偶规划的表示形式,证明了这样定义的对偶规划具有对称性.利用对偶锥,线性规划和锥规划的对偶规划有相同的表示形式,且这种定义方法具有广泛性.

局部凸空间中的广义增广对偶锥

将赋范线性空间中增广对偶锥的概念推广到局部凸空间中,在两种情形下分别给出了广义增广对偶锥的定义.然后讨论了它们的主要性质,并在合适的假设下建立了广义增广对偶锥非平凡的存在性条件.

由共轭函数构造锥规划的对偶规划

以共轭函数和凸规划的对偶规划为基础,利用对偶锥的概念,全面讨论了一般锥规划的对偶问题,严格推导出锥规划对偶规划的表示形式,给出了锥规划的主要对偶性质,并用这些结果研究了常见锥规划的对偶性.所得结论具有简单、便于应用和适用广泛等优点.这为进一步研究锥规划提供了便利.

锥规划的泛对偶性研究

众所周知,若线性规划及其Lagrange对偶如果都是可行的,那么强对偶是成立的。也就是说,它们的对偶间隙为零,并且它们的有限最优解都可以得到。这一结论的关键在于Farkas引理的利用。正如Stan ford大学教授T. Rockfellar说的那样:"优化问题大的分水岭不在于线性和非线性,而在于凸和非凸性。"对于非多面凸锥而言,一般的Farkas引理也不一定成立。但是渐近Farkas引理是成立的。实际上,存在着凸锥规划及其对偶锥规划,它们的对偶间隙非零。Farkas引理的推广之所以不一定成立。

一般线性锥优化问题强锥对偶定理的新证明

采用2种方法重新证明了一般线性锥优化问题的强锥对偶定理:以Nesterov和Nemirovskii的证明为基础,利用凸集分离定理、线性不等式组的选择定理及弱锥对偶定理,用选择定理代替原证明的几何直观,重新证明了线性锥优化强对偶定理的第1部分,并补充了该定理第2部分的证明过程;利用凸优化的强对偶定理,证明了凸优化中原问题和其Lagrange对偶之间无对偶间隙,进而利用Fenchel对偶再次证明了强锥对偶定理。

具有非阿基米德无穷小向量的半无限规划的锥对偶理论

主要讨论具有非阿基米德无穷小量的锥对偶定理．根据具有非阿基米德无穷小量的ＤＥＡ综合模型，首次提出了具有非阿基米德无穷小向量的不等式系统，并利用一系列的引理，证明了具有非阿基米德无穷小向量的广义Ｈａｒ定理。

Farkas引理在线性锥系统的推广

为了将线性规划中的基础理论之一——Farkas引理推广到一般线性锥系统上,应用对偶锥的概念和严格分离定理,给出了一般线性锥系统的Farkas引理.所得结果显示,在利用对偶锥进行表示,线性系统和一般线性锥系统的Farkas引理的表达形式相同,这为进一步研究锥规划提供了便利.

线性锥系统的Gordan型择一定理

为了将线性规划中的基础理论之一的择一定理推广到一般线性锥系统上,应用对偶锥的概念和线性锥系统的Farkas引理,给出了一般线性锥系统的择一定理.所得结果显示含齐次线性不等式组的线性锥系统和它的对偶系统都存在择一定理,且择一定理结论的表达式基本相同.这为进一步研究锥规划提供便利.

锥规划解的一种判别方法

将线性规划的基本可行解等概念引入到锥规划中,讨论了锥规划的解、基本可行解及可行域顶点的关系,最终利用对偶锥的概念得到了锥规划解判别方法.从所得结论可见,利用对偶锥、锥规划和线性规划解的判别方法具有相同的表示形式,且所得锥规划解的判别方法简单便于使用,这为进一步研究锥规划的求解和讨论有关性质提供了便利.

锥P_f的若干性质

利用实赋范线性空间E上非零连续线性泛函f,确定了E上半序关系和锥Pf,证明了锥Pf的几个性质,给出了H ilbert空间中Pf的对偶锥的表现形式及由Pf确定的H ilbert投影距离与T hom pson距离.

Tucker定理在线性锥系统的推广

为了将线性规划中的基础理论之一的Tucker定理推广到一般线性锥系统上,本文应用对偶锥的概念和线性锥系统的Farkas引理,给出了一般线性锥系统的Tucker定理.所得结果显示含齐次线性不等式组的线性锥系统和它的对偶系统都存在Tucker定理,且线性系统和一般线性锥系统的表达形式相同.这为进一步研究锥规划提供了便利.

稳定的Lagrangian对偶性

通过建立稳定的Farkas型引理的等价刻画,给出锥凸优化问题有关稳定的Lagrangian对偶性的充分必要条件,得到共轭函数的上图,函数的次微分和对偶锥及其集为弱*-闭等之间的相互关系.

线性锥系统的Tucker型相容性定理

为了将线性规划中的基础理论之一的Tucker定理推广到一般线性锥系统上,应用对偶锥的概念和线性锥系统的Farkas引理,给出了一般线性系统的Tucker定理,所得结果显示含齐次线性不等式组的线性锥系统和它的对偶系统都存在Tucker定理,且Tucker定理结论的表达式基本相同,这为进一步研究锥规划提供了便利.

原问题和三种对偶问题最优目标值的比较

建立与带约束的非凸优化问题目标函数有关的几种共轭函数,研究与之关联的Lagrange对偶问题、Fenchel对偶问题和二者结合的Fenchel-Lagrange等3种共轭对偶问题,对这些对偶问题的最优目标值进行了比较.

线性锥系统的Tucker引理

应用对偶锥的概念和线性锥系统的Farkas引理,给出了一般线性锥系统的Tucker引理.所得结果显示,含齐次线性不等式组的线性锥系统和它的对偶系统都存在Tucker引理,且Tucker引理结论的表达式基本相同.

拓扑向量空间的正锥与单形

本文研究了拓扑向量空间的正雏的张量积与对偶空间的正锥的对偶锥之间的关系,得到了后者成为极小正锥的条 件,并给出了对偶锥的两个刻画。