非埃米特正定Toeplitz矩阵的m—步预处理子（英文）

众所周知,如果A是Toeplitz矩阵,那么矩阵A有一循环与反循环分裂(记为CSCS)[7],可写为A=C+S,其中C为循环矩阵,S为反循环矩阵.本文针对某类Toeplitz矩阵,提出了一个m步的预处理子P_m,这个预处理子P_m是基于CSCS迭代方法构建的.本文中证明当C和S都是正定矩阵时,对于适当的m,预处理矩阵(P_m*A)**(P_m*A)的谱半径聚集于1.实验结果表明,对于适当的m,本文提出的预处理子优于T—Chan预处理子[3].     

迭代求解非Hermitian正定线性方程组的衍生多分裂方法[英文]

本文研究迭代求解非Hermitian正定线性方程组的问题.在系数矩阵HS分裂的基础上,提出了一种新的衍生并行多分裂迭代方法.通过参数调节分配反Hermitian部分给Hermitian部分的多分裂来衍生出非Hermitian正定系数矩阵的并行多分裂迭代格式,并利用优化技巧来获得权矩阵.同时,建立算法的收敛理论.最后用数值实验表明了新方法的有效性和可行性.     

求解正定线性方程组的具有共轭性的并行多分裂迭代法（英文）

本文结合具有共轭性的一种特殊多分裂与系数矩阵的稀疏性,提出求解系数矩阵为正定矩阵的线性方程组的并行多分裂迭代法.我们的新迭代法与标准迭代法不同点有两个方面:一是在我们的多分裂方法中只要求其中之一是收敛的分裂;二是权矩阵不必预先给出.这在并行计算中是很有效的算法.最后以数值实验验证新方法的有效性和可行性.     

几个关于埃尔米特曲率流的抛物施瓦茨引理（英）

在[J.Eur.Math.Soc.,2011,13(3):601-634]中,Streets和田刚在埃尔米特流形上引进了一族埃尔米特曲率流.本文证明几个关于特殊埃尔米特曲率流的抛物施瓦茨引理.这些结果推广了宋剑和田刚在[Invent.Math.,2007,170(3):609-653]中证明的关于凯勒—里奇流的抛物施瓦茨引理.     

关于高阶精度WCNS格式的无粘通量分裂方法（英文）

高阶精度加权紧致非线性格式(WCNS)越来越广泛地应用于复杂流动数值模拟.WCNS可以与多种无粘通量分裂方法结合起来使用.但是,常见的通量分裂方法都是基于低阶格式发展起来的,目前还不清楚哪些通量分裂方法最适合WCNS,也不知道这些方法与高阶格式结合时将会产生什么效果.表面热流计算是高超声速流动数值模拟的难点之一,为了在热流计算时选择合适的通量,研究了多种通量分裂方法的耗散大小.每种通量都可以表示成中心部分与耗散部分之和.这些通量的中心部分相同且非常简单,但是耗散部分较为复杂,且不同的通量分裂方法可导致不同的耗散表达式.通过对通量耗散进行分析可以发现耗散大小与网格界面两侧的物理量跳跃近似线性正相关.数值计算表明高阶格式得到的网格界面左右两侧的物理量跳跃通常远比低阶格式小,因而带来的通量耗散小.通过3个典型算例考察了通量耗散对热流计算的影响,其中包括高超激波/边界层干扰算例.基于对van Leer通量、Steger-Warming通量、KFVS通量、Roe通量、AUSM类通量和HLL类通量的考察,给出了通量选择建议.     

分裂的δ-JORDAN李三系的结构（英文）

本文研究了带有相关0根空间的任意分裂的δ-Jordan李三系的结构.利用这种三系的根连通,得到了带有对称根系的分裂的δ-Jordan李三系T可以表示成T=U+■I_[α],其中U是0根空间T₀的子空间,任意I_[α]为T的理想,并且满足当[α]≠[β]时,[I_[α],T,I_[β]]=0.     

一种不精确分裂迭代方法中外迭代步数的估计方法（英文）

单步分裂迭代方法用于求解大型稀疏线性方程组时,迭代解的精度对迭代过程的收敛和方程组解的精度有很大影响.基于文献(参见[Bai Z Z,Rozlozník M.On the numerical behavior of matrix splitting iteration methods for solving linear systems.SIAM J Numer Anal,2015,53(4):1716-1737.])的结果,对给定的精度,给出了一个估计最大外迭代步数的方法.数值实验结果表明,本文所给出的最大外迭代步数的估计与实际计算过程中达到相同精度所需的迭代步数非常接近.     

求解一类复对称线性系统的新的PMHSS迭代法（英文）

在科学计算及工程应用中经常遇到复对称线性系统问题,近年来对一种特殊类型的复对称线性系统的研究已成为一个热点.基于白中治等的PMHSS方法(Bai Z Z,Benzi M,Chen F,Wang Z Q.Preconditioned MHSS iteration methods for a class of block twoby-two linear systems with applications to distributed control problems.IMA J Numer Anal,2013,33:343-369),提出一类新的PMHSS迭代法用于求解这种特殊形式的复对称线性系统,给出新方法的收敛性理论以及最优参数的表达式,最后用数值例子展示了新方法的有效性.     

分裂图的区间图完全化问题（英文）

The interval graph completion problem on a graph G is to find an added edge set F such that G + F is an interval supergraph with the smallest possible number of edges. The problem has important applications to numerical algebra, V LSI-layout and algorithm graph theory etc; And it has been known to be N P-complete on general graphs. Some classes of special graphs have been investigated in the literatures. In this paper the interval graph completion problem on split graphs is investigated.     

关于H-矩阵的H-预处理子（英文）

设A为一实对称正定的严格对角占优矩阵.设A=D-B为A的Jacobi分裂.为了求解线性方程组Ax=b,在新提出的预处理子的基础上,我们采用预处理共轭梯度方法(PCG)来求解该问题.新提出的预处理子Pv=D+νvv~T,其中v=|B|e,e=(1,...,1)~T,ν=v~TBv/||v||_2~4,且ν使||cvv~T-B||_F达到极小.我们得到了预处理矩阵P_v~(-1)A特征值的上下界,它的界比JIN提出的预处理子的界简单紧凑.数值结果表明我们的预处理子的有效性.     

一种改进的线性系统的有限时间平衡截断（英文）

本文提出一种改进的线性系统的有限时间平衡截断方法.该方法首先利用Shifted Legendre多项式对线性系统的有限时间可控Gram矩阵和可观Gram矩阵进行近似低秩分解,其中根据正交多项式与幂级数之间的关系,该近似低秩分解因子可以通过简单的递推公式得到,然后构造正交投影变换得到近似平衡系统,进而通过截断较小的Hankel奇异值对应的状态得到降阶系统.此外,本文还简要讨论了该降阶模型的稳定性.最后,通过数值算例验证了算法的有效性.     

连续Sylvester方程的广义正定和反Hermitian分裂迭代法及其超松弛加速

对于求解大型稀疏连续Sylvester方程,Bai提出了非常有效的Hermitian和反Hermitian分裂(HSS)迭代法.为了进一步提高求解这类方程的效率,本文建立一种广义正定和反Hermitian分裂(GPSS)迭代法,并且提出不精确GPSS(IGPSS)迭代法从而可以降低计算成本.对GPSS迭代法及其不精确变...     

一维微分方程的多项式特解方法（英文）

本文对一维常微分算子及发展微分算子提出一种基于解析多项式特解(MPPS)的求解方法,通过使用这些特解公式,将微分方程的解显式表达为多项式特解的线性组合来求解复杂的微分方程,如可以使用这些公式来求解右端具有不连续驱动项的微分系统.文中给出一系列数值例子,数值模拟结果精度很高,而且误差非常稳定.     

分裂的正则双Hom-李Color代数（英文）

本文研究了任意分裂的正则双Hom-李color代数的结构.利用此种代数的根连通,得到了带有对称根系的分裂的正则双Hom-李color代数.L可以表示成■,其中U是交换(阶化)子代数H的子空间,任意I_[α]为L的理想,并且满足当[α]≠[β]时,[I_[α],I_[β]]=0.在一定条件下,定义L的最大长度和根可积,证明L可分解为单(阶化)理想族的直和.     

极大非正则图的边数（英文）

设G是一个连通图,最大度和最小度分别为△(G)和δ(G).图G的非正则指标t(G)是指G的度序列中不同值的个数.如果t(G)=△(G)一δ(G)+1,则称图G为极大非正则图.本文给出了极大非正则图和不含三角的极大非正则图边数的上界,同时给出极大非正则图边数的一个紧的下界.     

一类非平面图的色性（英文）

本文研究了一类非平面图K_(3,3)剖分图的色性.利用分析图的色多项式及图的结构特点,获得了与K_(3,3)剖分图色等价的图的结构特点,推广了非平面图的色性问题.     

求解复对称线性方程组的新分裂迭代方法及预处理子[英文]

本文提出求解系数矩阵为复对称但非埃尔米特的线性方程组的一种新分裂迭代法. 详细研究了新迭代矩阵的谱半径性质及最优参数选择. 证明了在合理的条件下新方法的收敛性. 并讨论了预处理子的条件数. 最后以数值实验验证了新方法的有效性和可行性.     

求解复对称线性方程组的新分裂迭代方法及预处理子(英文)

本文提出求解系数矩阵为复对称但非埃尔米特的线性方程组的一种新分裂迭代法,研究新迭代矩阵的谱半径及最优参数选择,证明在合理的条件下新方法的收敛性,并讨论预处理子的条件数,最后以数值实验验证新方法的有效性和可行性.     

Hilbert空间中分裂可行性问题解的存在性（英文）

通过将分裂可行性问题转化为等价的不动点方程,本文在Hilbert空间中给出了此问题解的几个特征.受Kirk不动点定理启发,本文得到了若干保证分裂可行性问题解的存在性条件.