一类求解鞍点问题的广义不精确Uzawa方法

本文提出了一类求解大型稀疏鞍点问题的新的广义不精确Uzawa算法.该方法不仅可以包含 前人的方法, 而且可以拓展出很多新方法. 理论分析给出该方法收敛的条件, 并详细的分析了其收敛性质和参数矩阵的选取方法. 通过对有限元离散的Stokes问题的数值实验表明, 新方法是行之有效的, 其收敛速度明显优于原来的算法.     

一族多步二阶导数方法的收缩性

１．引言 １９７８年 Ｎｅｖａｎｌｉｎｎａ和 Ｌｉｎｉｇｅｒ［１,２］研究了常微分方程初值问题的单支方法和线性多步法的收缩性,就基于线性模型方程的收缩性建立了比较完整的理论．他们指出,收缩方法比绝对稳定方法能更好地给出间断问题的数值解,因而研究数值方法的收缩性具有重要理论和实践意义． １９７４年 Ｅｎｒｉｇｈｔ［３］构造了 ｋ步 ｋ ＋ ２阶二阶导数方法由于它是Ａｄｍａｓ型的且只含一个二阶导数项,因而方法在原点附近具有较理想的稳定性和稳定程度（参见［７］）,同时在 ∞处是极端稳定的．赵双锁和董国雄 ［４］…     

THE BOUNDARY VALUE PROBLEMS OF A CLASS OF ELLIPTIC EQUATION WITH A CURVE OF TURNING POINT

The boundary value problems of a class of elliptic equation with a curveof turning point are considered. Using the method of multiple scales and thecomparison theorem, the asymptotic behavior of solution for the boundary valueproblem is studied.     

THE STABILITY OF A CLASS OF FUNCTIONAL DIFFERENTIAL EQUATIONS WITH INFINITE DELAYS

1 IntroductionConsider the following functional differential equationX'(t) = A(t)x(t) [' C(t,s)x(s)ds, (1)icwhere x E m; A(t) = (ail(t))... is a n x n function matrix, which continuesin [0, co); C(t,s) = (qj(t,8))... is a n x n function matrix, which conti-nues when 0 5 s 5 t < co, and L oo IIC(u,t)lldu continues in [0, co).The problem on the stability for the zero solution of (1) has been studied bymany papers. But in the known results, the boundedness of j: IIC(t, s)lldsor L " IIC…     

一类特殊无限方阵的逆

研究了除环上一类特殊无限方阵的逆方阵,用紧致性论证给出了除环上无限上三角阵具有左（右）逆和双侧逆方阵的充分条件。     

一类二阶非线性阻尼微分方程的振动性

研究了一类二阶非线性阻尼微分方程解的振动性,建立了三个新的振动性定理,推广了Cecchi M和Marini M(Rocky Mount J Math,1992,22:1259-1276)的结果.     

一类带参数的修正Fletcher-Reeves共轭梯度法

提出了求解无约束优化问题的一类带参数的Fletcher-Reeves共轭梯度法（FR方法）。结合Armiio非精确线性搜索技术,证明了所提出的方法在较弱的条件下是全局收敛的。数值实验表明所提出的方法是有效的。     

A HOMOTOPY METHOD OF SWITCHING SOLUTION BRANCHES AT THE PITCHFORK BIFURCATION POINT

1. IntroductionIn order to compute all solutions of a nonlinear system of equations, a numerical methodis needed for changing solution branches at biftircation points. Suppose that a bifurcationpoint (x*,A*) base been located. H.B.Keller [4] proposed a method of switching solutionbranches at (x*, A*) by means of distinct roots of a homogeneously quadratic system of equations, W.C.Rheinboldt [5] gave a method for switching solution branches at a simple bifUIcationpoint, using a singular cho…     

具C^∞系数的非主型方程的Goursat问题

本文以逼近和正则化方法，对一类具Ｃ＾∞系数和数据的非主型方程的Ｇｏｕｒｓａｔ问题证明了Ｃ＾∞解的存在唯一性。     

有向网络中具有一个枢纽点的最小支撑树的计算方法

对有向网络中具有一个枢纽点的支撑树的问题和性质进行了研究,给出了在有向网络图中寻找以某一定点为枢纽点的最小支撑树的计算方法,并对算法的复杂性进行了讨论,最后将该算法应用于实际算例的计算．     

求解单调变分不等式问题的一类迭代方法

１．引言 变分不等式问题在数学规划中起着重要作用,它最初作为研究偏微分方程的工具,首先由 Ｆｉｓｈｅｒａ和 Ｓｔａｍｐａｃｃｈｉａ等于六十年代初提出,可参看［１］及其参考文献,之后也被广泛用于研究经济学和运筹学等领域中的均衡模型,互补问题和凸规划问题都是变分不等式问题的特殊情形,文献［２］对有限维变分不等式问题和非线性互补问题的理论、算法及应用作了十分全面的综述．设 Ｃ是实有限维空间 Ｒｎ,的非空闲凸子集, Ｆ是 Ｒｎ → Ｒｎ的映射,本文讨论的变分不等式问题ＶＩ（Ｃ,Ｆ）是： 求向量ｒ＊∈Ｃ．使得：Ｆ（…     

一类缺项算子矩阵的四类点谱的扰动

有界线性算子的点谱可进一步细分为4类,分别为$\sigma_{p1}$, $\sigma_{p2}$, $\sigma_{p3}$ 和$\sigma_{p4}$.设 $H, K$为无穷维可分的Hilbert空间,用$M_C$表示$2\times 2$上三角算子矩阵$\left(\begin{array}{cc} A & C \\ 0 & B \\ \end{array} \right)$,对于给定的 $A\in B(H),~B\in B(K)$,描述了集合$\bigcap\limits_{C\in B(K,H)}\sigma_{p1}(M_C)$, $\bigcap\limits_{C\in B(K,H)}\sigma_{p2}(M_C)$, $\bigcap\limits_{C\in B(K,H)}\sigma_{p3}(M_C)$和$\bigcap\limits_{C\in B(K,H)}\sigma_{p4}(M_C)$.     

一维热传导系数定层逐点方法

针对一类一维热传导反演问题，导出了一种稳定的定层逐点反演方法，推证了该方法的热传导系数离散解具有整体二阶精度。     

基于中心路径大邻域上的一类非单调线性互补问题的高阶可行内点算法

In this paper a high-order feasible interior point algorithm for a class of nonmonotonic (P-matrix) linear complementary problem based on large neighborhoods of central path is presented and its iteration complexity is discussed.These algorithms are implicitly associated with a large neighborhood whose size may depend on the dimension of the problems. The complexity of these algorithms bound depends on the size of the neighborhood. It is well known that the complexity of large-step algorithms is greater than that of short- step ones. By using high-order power series (hence the name high-order algorithms), the iteration complexity can be reduced. We show that the upper bound of complexity for our high-order algorithms is equal to that for short-step algorithms.     

一个高阶三点边值问题的可解性

本文考虑以下三点边值问题：ｘ＾（ｎ）＝ｆ（ｔ，ｘ，．．．，ｘ＾ｎ－１）（０≤ｔ≤１），ｘ（０）＝ξ１，ｘ＾（ｉ）（ｃ）＝ξｉ＋１（０≤ｉ≤ｎ－３），ｘ（１）＝ξｎ，其中ｃ∈（０，１）ｇｎ ξｉ∈Ｒ＾ｋ是给定的，利用基于度理论的一定不动点定理，得到了关于以上边值问题的某些存在唯一性结果。     

THE GENERALIZED LOCAL HERMITIAN AND SKEW-HERMITIAN SPLITTING ITERATION METHODS FOR THE NON-HERMITIAN GENERALIZED SADDLE POINT PROBLEMS

For large and sparse saddle point problems, Zhu studied a class of generalized local Hermitian and skew-Hermitian splitting iteration methods for non-Hermitian saddle point problem [M.-Z. Zhu, Appl. Math. Comput. 218 （2012） 8816-8824 ]. In this paper, we further investigate the generalized local Hermitian and skew-Hermitian splitting （GLHSS） iteration methods for solving non-Hermitian generalized saddle point problems. With different choices of the parameter matrices, we derive conditions for guaranteeing the con- vergence of these iterative methods. Numerical experiments are presented to illustrate the effectiveness of our GLHSS iteration methods as well as the preconditioners.     

解y=g(x,y)初值问题含参数线性多步方法的相容阶和收敛阶

1 引 言对于直接积分二阶常微分方程的初值问题 y=g(x,y) y (x_0)=y_0,y'(x_0)=y_0,x_0 x T,(1)     

一类无界算子的点谱,连续谱,剩余谱间的关系

证明了在Ｈｉｌｂｅｒｔ空间中拟相似的闭稠定线性算子有相同的点谱、剩余谱、对于拟相似的闭形式亚正规算子还有相同的连续谱。     

奇点量公式的机器推导与一类三次系统的前10个鞍点量

本文给出了计算奇点量的两个递推公式，对一类三次系统用计算机推导出原点的前10个鞍点量，得到系统原点领域存在正则积分的充分必要条件。     

解初值问题y″=g(x，y)的含参数块方法

1引言对于二阶常微分方程的初值问题y″=g(x,y),y(x_0)=y_0,y′(x_0)=y_0′,x_0(?)x(?)T(1)的数值解法的研究引起人们的广泛兴趣．对于直接积分(1),自从1976年J．D．Lambert和I．A．Waston提出二阶P-稳定方法和1978年G．Dahlquist证明P-稳定常系数线性多步方法的最高相容阶不超过2的重要结论以来,截止目前,已积累了许多高于2阶的P-稳定方法．例如,修正的Numerov方法,混合法(特殊形式RK的方法),多导法,Obrechkoff方法,显式RKN方法,单隐方法和对角隐式RKN方法等(顺便指出,文献[5,16]中所说的高阶方法的相容阶均不超过4)．所有这些方法,有些相