不等式约束最优化无严格互补条件下的快速收敛序列线性方程组算法

本文讨论无严格互补性的非线性不等式约束最优化问题,建立了一个新的序列线性方程组算法。算法每次迭代只需解一个线性方程组或计算一次广义梯度投影,并不要求Lagrange函数的近似Hessian阵正定。在较弱的假设下,证明了算法的整体收敛性、强收敛性、超线性收敛性及二次收敛速度。还对算法进行了有效的数值试验。     

不等式约束优化一个可行序列线性方程组算法

提出了求解非线性不等式约束优化问题的一个可行序列线性方程组算法. 在每次迭代中, 可行下降方向通过求解两个线性方程组产生, 系数矩阵具有较好的稀疏性. 在较为温和的条件下, 算法具有全局收敛性和强收敛性, 数值试验表明算法是有效的.     

解不等式约束优化的新的序列线性方程组方法

提出一种新的序列线性方程组(SSLE)算法解非线性不等式约束优化问题.在算法的每步迭代,子问题只需解四个简化的有相同的系数矩阵的线性方程组.证明算法是可行的,并且不需假定聚点的孤立性、严格互补条件和积极约束函数的梯度的线性独立性得到算法的全局收敛性.在一定条件下,证明算法的超线性收敛率.     

任意初始点下的序列线性方程组方法

利用特殊形式的罚函数作为效益函数,并结合ε-有效集策略,给出一个任意初始点下的序列线性方程组算法,证明了该算法是全局收敛的且具有一步超线性收敛性。     

具有二维核空间的分支解的有限维逼近

其中X_h是X的有限维子空间。[1—6]中对(1)的正常解支、单重极限点附近的解支以及简单分支点附近的解支这三种不同情形,分别讨论了逼近问题(2)的解的性质以及和(1)的解之间的误差估计。特别指出了在简单分支点附近,(2)一般不存在分支点。在工程结构的稳定性和过层曲分析中以及结构的屈曲优化设计中,都会出现二重特征值     

有限Diophantine逼近与Fibonacci多项式

设x为一无理数具简单的连分式展开x = [a0, a1, a2,…, an].若对无穷多个是标k有ak> n则至少有m个解p/q(p与q互素)使不等式 x - p/q 相似文献   

线性方程组的基础解系

本文研究了线性方程组的基础解系.     

系数与值域双重约束下最佳同时逼近的特征定理的推广

１９８５年，Ｈ．Ｓｔｒａｕｓｓ在广义多项式的系数和值域同时受约束的情况下约出了最佳同时逼近的一个特征定量。本文在弱得多的条件下用不同方法证明了一个适用性更广的特征定理。     

线性方程组的解的一个注记

其中C_(ik)是矩阵A的逆矩阵A~(-1)的第i行第k列元素,i、k=1,2…,n。     

双变量LMEs一种异类约束最小二乘解的MCG算法

借鉴求线性矩阵方程组(LMEs)同类约束最小二乘解的修正共轭梯度法,建立了求双变量LMEs的一种异类约束最小二乘解的修正共轭梯度法,并证明了该算法的收敛性.在不考虑舍入误差的情况下,利用该算法不仅可在有限步计算后得到LMEs的一组异类约束最小二乘解,而且选取特殊初始矩阵时,可求得LMEs的极小范数异类约束最小二乘解.另外,还可求得指定矩阵在该LMEs的异类约束最小二乘解集合中的最佳逼近.算例表明,该算法是有效的.     

对有限域上复合变换的线性逼近

本文解决了有限交换群上复合函数的特征谱的计算问题,定义了有限交换群上函数的相关 系数的概念,并解决了有限域上复合函数与线性映射的相关系数的计算问题,从而建立了对密码算 法中的复合变换进行线性逼近的理论基础.     

线性方程组的正解

讨论了线性方程组正解的若干性质,给出了线性方程组有正解的一个充要条件,以及由此得到的求正解的一般方法,还介绍了正解问题的若干应用.     

一类线性抛物型方程组的特征有限元方法

本文应用特征有限元方法处理一类一维有界区域上的抛物型方程组,由于是第一类边界条件,对对流项系数作出假设,则避免了处理区域外的情况,最后给出收敛性定理.从误差结果看出,应用特征有限元可以增加时间步长,而不降低精度,数值实验也证实了这一点.     

二维Maxwell方程组的混合有限元高精度近似

该文研究二维Maxwell方程组的混合有限元高精度近似.在均匀矩形网格上, 采用一阶Nedelec混合元空间, 有限元解经三次投影插值后, 在L\+2范数意义下, 其收敛于精确解的速度由O(h\+2)提高至O(h\+4).     

解非线性约束方程的拉格朗日全局投影方法

基于最优化方法求解约束非线性方程组的一个突出困难是计算 得到的仅是该优化问题的稳定点或局部极小点,而非方程组的解点.由此引出的问题是如何从一个稳定点出发得到一个相对于方程组解更好的点. 该文采用投影型算法,推广了Nazareth-Qi$^{[8,9]}$ 求解无约束非线性方程组的拉格朗日全局算法(Lagrangian Global-LG)于约束方程上; 理论上证明了从优化问题的稳定点出发,投影LG方法可寻找到一个更好的点. 数值试验证明了LG方法的有效性.     

一阶线性微分方程组的一种解法

利用矩阵知识给出了一阶线性微分方程组的一种用公式表达的解法,其优点在于一方面可以避免繁琐的复矩阵运算以及求复特征向量的运算,另一方面可以简化求解过程.     

A New Class of Stabilized WEB-Spline-Based Mesh-Free Finite Elements for the Approximation of Maxwell Equations

The objective of this article is to discuss the existence and the uniqueness of a weighted extended B-spline-(WEB-spline) based discrete solution for the Maxwell equations in low frequency limit. The domain is composed of insulating and conducting regions. This problem has saddle point structure where the electric field in insulating region is the Lagrange multiplier that forces curl-free constraint on the magnetic field.     

一类抽象算子方程组的迭代解及其应用

在Banach空间中, 利用半序方法讨论了一类抽象算子方程组解的存在唯一性, 推广和统一了以前的一些结果. 然后应用到 Banach 空间非线性积分方程组, 得到了方程组的唯一解, 构造了收敛于方程组唯一解的迭代序列并给出了相应的误差估计.     

非线性抛物问题的二重网格混合元算法

针对一类非线性抛物方程的混合元形式,本文提出了二重网格算法.该算法是在网格大小为H的粗网格上求解—个非线性系统,再在网格大小为h的细网格上进行两次线性计算.算法第二步和第三步的误差分别为O(△_t~2 h~(k 1) H~(2K 2)),O(△_t~2 h~(k 1) h~(-d/2)H~(4k 4)),其中k为逼近空间的多项式的次数,d为空间维数.该估计对H的选取起了很大的作用.对于粗网格上的非线性计算,本文给出了L~p(2≤p<∞)模误差估计.