投影与变分不等式

来源 :南京大学 | 被引量 : 0次 | 上传用户:Leon_prog
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
变分不等式与互补问题是现代最优化研究的一个重要分支。就其形式而言,它是优化问题的最优性条件,因而它在解释与刻画数学、经济、交通控制、金融调控诸多领域平衡状态问题上有广泛的应用。投影收缩算法是求解单调变分不等式与互补问题的一类经典而实用的迭代算法。为了改善原问题的条件,同时减轻每一步迭代的计算量,诸多基于投影的临近点类算法被相继提出并受到广泛的关注与充分的研究。本篇论文主要探讨了投影算子以及临近点类投影收缩算法。首先,我们在第一章中简要介绍了投影算子、单调变分不等式及其相关迭代算法;同时也陈述了它们的一些基本性质,以方便后续讨论。我们将本文的主要内容,按照主题之间的相关程度,分列至第二章到第四章。   第二章主要探讨了一类在纯数学及应用数学内有广泛应用的特殊投影。它们是由有限维希尔伯特空间内的内积范数所导出的投影。在凸集上的投影与在超平面上的正交投影类似,同样具有很多相应的性质。利用投影的定义以及已有的性质,我们给出了在一些简单凸集上的投影的具体表达形式或高效数值算法。接下来,我们重点探讨了投影的方向极限。研究结果表明:投影的方向极限存在与否完全取决于凸集在相同方向的外露面(Exposed Face)的存在性。当此外露面存在时,投影的方向极限存在且等于初始点在该外露面上的投影。否则,该投影的方向极限将不存在,并且投影轨迹将发散至空间的无穷远点。利用投影算子的这个极限性质,我们对求解对称正定矩阵最大特征值的乘幂法(Power Method)给出了一个基于投影的几何解释:在乘幂法的迭代点列中,下一个点是由当前点出发,沿梯度方向的射线在单位球上投影轨迹的极限点。进一步研究指出:该射线在任意的可逆线性变换之后虽然对应到不同的投影轨迹,但是所有的轨迹都统一地趋向乘幂法的下一个迭代点。   第三章集中讨论了变分不等式的近似临近点类投影收缩算法。首先,我们提出了此类算法的一个统一框架。该统一框架包含一个四元组并满足相应的六条准则;它们共同保证沿下降方向以给定步长迭代所生成点列的收敛性。我们称步长为1的迭代为基本方法(Primary Method)。然而通过研究我们发现:一个更优的步长值可以通过简单公式计算得到。我们称以此为步长的迭代为一般或者推广方法(General Method or Extended Method)。以统一框架为前提,我们分别为对称线性、一般线性乃至非线性单调变分不等式构造了相应的四元组。我们通过六组算例来比较这三类问题所对应的基本方法与一般方法的数值表现。数值模拟的结果证实了我们的理论分析:一般方法比基本方法有很高的优越性,甚至在一些算例中只需要基本方法的一半计算量。进一步研究发现:许多已有的近似临近点类算法都可以归纳到该统一框架中(这也是我们称其为“统一框架”的原因)。我们利用上述得到的四元组,可以重新演绎诸多已有的投影收缩方法,除此之外,还在统一框架下将包括近似交替方向法(ProximalAlternating Direction Method)在内的两种方法做了重新归纳。我们通过一组关于矩阵逼近的算例比较了近似交替方向法与其在统一框架下对应的推广方法的数值表现。数值比较的结果同样显示了推广方法的的效率,因而也再次证实了统一框架在归纳已有方法与构造新方法方面的作用。   在第四章中,我们对求解非线性单调变分不等式的外梯度类方法作了进一步的研究。外梯度类算法只要用到函数值,因此它们在很多黑箱模型中有广泛重要的应用。我们通过不等式放缩此类算法中到解点距离平方的增量函数,可以得到该增量函数的一个紧下界,并且该下界与解点无关。利用第二章中投影的包含方向极限在内的有关性质,我们证明了该下界以及其相关函数的一系列分析性质。再利用这些分析,我们得到了比统一框架所给出的一个更大的步长收敛域,继而提出了新的并在此步长收敛域内的步长计算准则。一系列数值试验被用来比较基于统一框架的一般方法与新步长准则的方法之间的差异。数值结果显示新的步长可以加快的收敛速度,在计算量方面平均不到统一框架下的一般方法的三分之二。  
其他文献
生产计划是复杂经济环境下的常见问题.做好生产计划是企业实现发展的关键.合理地安排生产不仅能使企业生产有序进行,而且能在一定程度上(甚至有可能大幅度)提高经济效益.本文在前人工作的基础上,对模糊环境下的生产计划问题做了以下研究:(1)对白进达等在文献[18]中提出的生产计划模型做了合理的改进,给出了一个有助于提高经济效益的带有劳动生产率的模糊生产计划新模型(3.6);(2)运用可信性理论与期望值理论
能行实数是可计算理论的基本概念之一。可计算有理数序列的极限称为能行实数,又称为△02实数。若该可计算有理数序列递增,则其极限称为可计算可枚举实数(c.e.或left-computab
合作现象是生物化学中非常重要的现象,它反映了小分子底物与酶结合时对酶与底物结合能力的影响。通常合作现象会使产物产生速率-底物浓度的图像呈S形,这有利于生物体用以加强对
本文共分三章,第一章主要回顾了模的覆盖包络以及余挠对的基本概念和相关性质。对任一正整数n,假设Pn,表示左投射维数小于等于n的模构成的类,第二章,我们着重研究了Pn-包络与
本文从两个方面研究了一类具有实际物理背景的非线性微分方程,一是在现有非线性微分方程求解的主要方法的基础上,我们对非线性微分方程孤立波解的求解方法进行了研究,利用微分方
英语需要一定的学习环境来实践。农村小学英语学习环境的创设尤为重要,这对激起小学生学习英语的兴趣,提高小学英语教学质量的影响很大,它对培养小学生的语感起着关键的作用
向量值加细方程指的是形式为的函数方程,这里向量函数φ(x)=(φ1(x),φ2(x),…,φr(x))T是该方程对应的加细函数,{Hk}k∈Zs是该方程的加细系数,N(x)为方程的非齐次项。如果N(x)=0,方
近年来,图论作为组合数学的一个重要分支,与量子场论、组合优化、运筹学、物理通讯、计算机科学,统计物理等领域的联系越来越密切。而图论中一个重要问题——关于生成树的研究一
在半群理论中,研究半群的同余是类非常重要的问题.研究正则半群上的同余的一个有效方法是核迹方法.核迹方法首先用于对逆半群上的同余的研究.Pastijin和Petrich于1986年在文献[15
Gorenstein投射模、Gorensteiin环以及Auslander型环是同调代数和代数表示论中非常重要的研究对象.本文致力于研究环与模的Gorensteiin性质.特别地,本文研究了Gorenstein投射