几类变分不等式与互补问题的算法研究

论文摘要

变分不等式与互补问题广泛应用于阐述与研究机械,工程,物理,金融,最优控制数学模型以及交通运输中出现的各种平衡模型等。因此,研究其快速数值解法是十分有意义的。近几十年来,变分不等式与互补问题在数值解法方面取得了巨大的进展,这方面的研究成果层出不穷。本文讨论了求解几类变分不等式与互补问题的有效算法。实际中出现的科学问题往往计算规模大,而且精度要求高。这就要求我们能够设计出新的更有效的算法来解决这些问题。随着并行计算机的出现,并行计算成为解决这类问题的一种很重要的手段。多重分裂方法是并行求解线性或非线性方程组的重要数值计算方法之一。其特点是将原问题转化为几个子问题进行并行求解。本文将这类方法推广到求解对称仿射二阶锥互补问题(SOCCP)。我们在进行矩阵分裂时考虑了矩阵的特殊结构,诸如稀疏性,块结构性。在每一次迭代过程中,每个处理器分别处理一个由分裂得到的子问题,然后再将每个处理器得到的结果加权相加作为下一次迭代的初始值。在子问题的求解中,我们使用了似MAOR方法。数值结果表明多重分裂方法用于求解对称仿射SOCCP是十分有效的。区域分解法是上世纪八十年代崛起的新算法。其思想是将计算区域分为若干子区域,将原问题的求解转化为相应子区域上子问题的求解。它是求解变分不等式与互补问题的一类重要算法。本文探讨了求解带M—函数的非线性互补问题的两水平加性Schwarz算法。这种方法基于某种判断准则,将计算区域分为两个子区域。一个子区域上含有障碍子问题,而在另一个子区域上仅需求解非线性方程组。我们得到算法的有限步收敛性结论。数值实验表明该算法是十分有效的。根据不同的解的等价最优性条件,对于一般T—单调算子的单边及双边障碍问题,我们提出了不同的有效集算法。这两种算法的本质都是基于某种策略,将区域分解为有效和非有效的两个部分。然后在非有效集上求解一个简化的非线性方程组。和PSOR及Schwarz算法不同的是,有效集算法不需要求解额外的线性或非线性子问题。我们将这类算法和PSOR及Schwarz算法做了比较,算例表明有效集算法是非常高效的。近年来,变分不等式已经开始向各个方向推广,出现了诸如广义变分不等式,混合变分不等式,广义似变分不等式等。其中很重要的一类推广是变分不等式系统。我们考虑了一类广义似变分不等式系统(SGVLIP)的数值解,提出和SGVLIP相关的逼近问题,证明了逼近问题解的存在性。基于这些逼近问题,构造了求解SGVLIP的算法,证明了SGVLIP解的存在唯一性以及算法的收敛性。针对一类非线性变分不等式系统(SNVI),我们研究了其相关辅助问题,建立了辅助问题解的存在性定理。基于这些辅助问题,构造了求解SNVI的算法,证明了SNVI解的存在性以及算法的收敛性。最后,我们讨论了Banach空间中混合非线性变分不等式系统(SMNVI)的数值算法。我们先引入适定次可微泛函的η—逼近映射的概念,利用η—逼近映射的性质,提出了求解SMNVI的一些迭代算法,并证明了算法的收敛性。

论文目录

• 摘要
• Abstract
• 附表索引
• 第1章 绪论
• 1.1 概述
• 1.2 创新点及主要内容
• 1.3 记号及基本模型
• 1.3.1 记号
• 1.3.2 基本模型
• 第2章 求解二阶锥互补问题的多重分裂算法
• 2.1 引言
• 2.2 多重分裂算法
• 2.3 多重分裂算法的收敛性
• 2.4 似MAOR分裂方法
• 2.5 数值实验
• 第3章 求解带M-函数的非线性互补问题的两水平加性Schwarz算法
• 3.1 引言
• 3.2 两水平加性Schwarz算法
• 3.3 两水平加性Schwarz算法的收敛性
• 3.4 两水平加性Schwarz算法的一些变种
• 3.5 数值实验
• 第4章 一类带T-单调算子的障碍问题的有效集策略
• 4.1 引言
• 4.2 模型问题
• 4.3 单边障碍问题
• 4.4 双边障碍问题
• 4.5 数值实验
• 第5章 广义似变分不等式系统的逼近问题及其算法
• 5.1 引言
• 5.2 问题的提出以及一些基本概念
• 5.3 逼近问题及其解的存在性
• 5.4 算法及其收敛性
• 第6章 一类变分不等式系统的辅助问题及其算法
• 6.1 引言
• 6.2 辅助问题及算法
• 6.3 解的存在性和算法收敛性分析
• 第7章 求解一类混合非线性变分不等式系统的迭代算法
• 7.1 引言
• 7.2 预备知识
• 7.3 算法及其收敛性
• 结论
• 参考文献
• 致谢
• 附录A 攻读学位期间所发表的学术论文目录