γ一条件下 Hansen和 Patrick 方法的收敛性

１９７７年Ｈａｎｓｅｎ和Ｐａｔｒｉｃｋ提出了一族求复函数ｆ：Ｃ－－＋Ｃ零点的带参数Ａ的选代方法［２］在区间估计的判据下证明了此方法的收敛性;而［３］用Ｓｍａｌｅ的点估计判据证明了：当人Ｅ时,此方法对复解析函数是收敛的．但是解析性的条件太强了．［４］和...     

在曲面上图嵌入的唯一性(英)

在本文中，证明了图嵌入在一个已知曲面上的唯一性充分条件．这个条件比［4］中要弱些．     

可压缩格子Boltzmann模型的启示性稳定理论

１引言格子Ｂｏｌｔｚｍａｎｎ方法（ＬＢＭ）是近几年发展起来的一种模拟复杂系统的新方法［１］［２］［３］这种方法已经在流体力学各领域得到应用．最近,许多研究工作集中于用ＬＢＭ模型计算可压缩流体流动．Ａｌｅｘａｎｄｅｒ和Ｃｈｅｎ等［４］提出了可以计算激波的等温模型,模型中的音速是可以选择的．Ｑｉａｎ和Ｏｒｓｚａｇ［５］分析了ＬＢＧＫ模型在可压缩区域内的非线性偏差,给出了激波结构的ＬＢＭ结果．Ｑｉａｎ和Ｏｒｓｚａｇ［６］也计算了弱可压缩的高Ｒｅ数问题,并用于计算Ｋｏｌ－ｍｏｇｏｒｏｖ流．Ａｎｃｏｎａ［…     

矢值序列空间Λ[X]及其Kothe对偶(Ⅳ)──遗传性

本文是［１］的继续．就矢值序列空间Λ［Ｘ］，我们在本文中讨论了Λ［Ｘ］中的有界集，紧集，以及Λ［Ｘ］的序列弱完备性，桶性，自反性等的遗传问题．     

由于波响应反演声阻抗的特征带方法

1．引言子波激发下的反演问题通常是不适定的，如何构造稳定、高效的算法是反问题研究中的重要课题．当前的波动方程反演方法主要有两类：特征线方法和最优化方法［1］．特征线方法是数值求解波动方程反问题的一种重要而有效的方法，它的基本思想是沿着波动方程上、下行波的特征传播方向逐层推进，并按照因果律求解．关于这方面的早期工作可参看［7］．在［2］中证明了脉冲激发下一维波动方程系数反问题的适定性，为这一方法提供了理论基础．随后，［4］讨论了特征线方法的差分计算的收敛性，［5，6］提供了成功的数值计算实例．近来人们逐…     

γ-循环线性方程组的快速算法

1．引言在数学以及应用科学中的许多问题都与周期性有关，从而导致一类特殊形式的TOeelitZ系统，即r一循环线性系统的求解，其计算复杂性为O（N”）［’j或渐近复杂性O（NlogZN）p］．由于循环矩阵与离散富里时变换之间的关系，我们也可通过快速富里叶变换（＊＊n来求解r一循环线性方程组，计算复杂性降为O（NlogZN）［‘，’］．事实上，到目前为止所有与厂循环矩阵有关问题的快速算法全部建立在富里叶变换某础之卜IZ，9，10，17，19，20］但另一方面富里叶交换定义在复数域上，而实际问题中的数据大多为实数，因此用FFT快速求解r…     

广义特征值的Wilkinson条件数

1．引言设AE＊”“”是可相似对角化矩阵，从而有可逆阵X，YE＊”””使得那么，A的特征值Aj的Wilkinson条件数定义为［1］若Aj为重特征值，则如上定义的条件数不唯一，因而应用不方便．最近，SunI61针对半简单卜misimPle）特征值引入了Wilkinson条件数，并把Wilkinson于1972年证明的一条结果进行了推广．作者在［3］中对简单广义特征值引入了Wilkinson条件数，并指出Wilkinson定理的推广形式．但如何针对半简单广义特征值引人Wilkinson条件数仍没有解决．解决这个问题有利于扰动理论研究，并在分析计算结果精度时有用．若不特别说明…     

稳定化有限元方法中逆估计常数的确定

0．弓I言稳定化有限元方法［2］［4］［12］［15］ro［18］在固体和流体力学的数值计算中构造有效的格式发挥着很大的作用．从理论分析的角度看，该方法（Galerkin一局部最小二乘方法）是完备的、确定的，但是在实际计算中稳定化参数。E（0，CI）的如何选取直接影响到逼近解的质量．数值实验【9川叫'川'到表明。取得太小会造成。伪l。压力模式rI．因此，对of的估计是一个值得注意的重要问题．文［8］虽然估训一了一些逆常数，但其未能给出确定逆估计常数的一般公式，而且技巧性太强，过于依赖区域剖分的性质，使得逆常数的计算复杂化，不…     

一类奇异积分－微分方程的直接解法

一类奇异积分－微分方程的直接解法黄小玲（中山大学）对于系数、核密度具某种解析性的Ｃａｕｃｈｙ核完全奇异积分方程，文［１］、［２］研究了其直接求解方法。［３］采用［１］、［２］中的思想方法，研究了如下形式的奇异积分－微分方程的直接解法，其中Ｌ是平面上的...     

关于乘法逆特征值问题有解的充分条件

1．引言本文讨论如下乘法逆特征值问题[1]有解的充分条件．问题MR．给定nxn实矩阵A—（a＊和n个实数人l，…，An，求实对角矩阵X一山x以xl，…，1＊使得＊A的特征值为人，…，入．关于此问题可解的充分条件，deOliveira［2］，何旭初和戴华［31等给出过一些结果，但由于都是把此问题作为一般代数特征值反问题的特例来处理，没有注意到乘法问题的独特性，因而得到的可解条件比较强．本文根据乘法问题的特点，运用［31，［4］中的技术及拓扑度理论给出一些新的条件，这些条件大大改进了［2，3，5］中的结果．2．主要结果首先弓l进几个记号…     

一个求解多维守恒律方程组的二阶显式有限元格式

１．引言 近年来,在非结构网格上求解双曲型守恒律的数值方法引起了较为广泛的关注,出现了有限体积方法［１］,间断 Ｇａｌｅｒｋｉｎ方法 ［２］,流线扩散方法［３］,以及 ＮＮＤ格式 ［４］等．我们在［６,７］中提出了一种求解双曲型守恒律方程式的有限元方法,它是在一个求解对流扩散问题的有限元方法 ［５］的基础上发展起来的．它是一个显式有限元方法,因此计算量很小．在这个方法中,我们将任意维的问题归结为在单元棱边上的一维计算,引入了积分因子,因此在单元内部可以容纳边界层．这样,它特别适合于对流占优问题以及双曲…     

Banach空间中增生算子方程迭代法与非线性收缩半群弱收敛的充要条件

本文在条件（Ｉ）下，证明了增生算子最速下降法和预解式迭代法弱收敛于零点的充要条件，以及非线性收缩半群弱收敛于平衡点的充要条件．所获结果推广了［１］中的基本定理，并与［２］所获得的相应强收敛充要条件对应．     

■－方程的积分解算子的局部C~k－边界正则性

作为ＣｈｅｎＺ．［１］的推广，文中证明了（ｐ，ｑ）－形式的三方程的Ｋｏｐｐｅｌｍａｎ－Ｌｅｒａｙ算子Ｔｐ，ｑ和Ｋｏｐｐｅｌｍａｎ算子Ｈｐ，ｑ解在具片段Ｃ１－边界的开集Ｄ上局部地保持边界点的实解析性．     

局部凸空间(λ,μ)中的有界集与弱收敛

［１］首次在完备矩阵环Σ（λ）中引入拓扑，使之成为局部凸拓扑代数，并进行了一系列讨论．本文将把这一工作再拓广一步，在（λ，μ）中引入拓扑，使之成为局部凸线性拓扑空间．（λ，μ）的特例（λ，λ）即为Σ（λ）．本文讨论了（λ，μ）中的有界集，正规收敛与弱收敛等价的充要条件及弱收敛与有界且坐标收敛等价的充要条件．从而推广了［２］的结果．作者在［３］，［４］中曾经讨论了特别当λ为Ｅｃｈｅｌｏｎ空间时，（λ，μ）中的有界集和弱收敛．利用本文的结果，可立即得到［３］，［４］中的结果，并得到了进一步的推广．     

几类特殊测地块的构造(英)

本文给出了一种构造给定直径d和围长g的测地块的方法．它是文［1］中构造法的推广，解决了文［1］中待研究的几个问题．同时，对文［1］中的一个错误进行了修正．     

一类弱稳定的Banach空间

为了解决什么样的Ｂａｎａｃｈ空间，它的每个无穷维子空间几乎等距地含有Ｃ０或ｌｐ（１≤ｐ＜∞）问题，Ｊ．Ｌ．Ｋｒｉｖｉｎｅ１９７９年在［４］中引进了稳定的Ｂａｎａｃｈ空间的概念．Ｓ．Ａｒｇｙｏｒｓ．在［２］中引进了弱稳定的概念，列举了一个弱稳定而非稳定的Ｂａｎａｃｈ空间，本文引进具有Ｐ－凸完备极小系的Ｂａｎａｃｈ空间，证明了该空间是弱稳定以及可赋等价的稳定范数的充要条件是其自反．最后给出了不自反的具有Ｐ—凸完备极小系的Ｂａｎａｃｈ空间的例子从而推广了［２］中结果．     

广义幂级数环的PP性质

作为幂级数环的推广,Ｒｉｂｅｎｂｏｉｍ引入了广义幂级数环的概念．设Ｒ是有单位元的交换环,（Ｊ,≤）是严格全序半群．本文中我们证明了如下结果：（１）广义幂级数环 ［［Ｒｓ］］是ＰＰ－环当且仅当Ｒ是ＰＰ－环且Ｂ（Ｒ）的任意 Ｓ－可标子集Ｃ在Ｂ（Ｒ）中有最小上界;（２）如果对任意ｓ∈Ｓ都有０≤ｓ,则［［Ｒｓ,≤］］是弱ＰＰ－环当且仅当Ｒ是弱ＰＰ－环．我们还给出了一个例子说明交换的弱ＰＰ－环可以不是ＰＰ－环．     

Banach空间中多值映象的不动点定理

本文中我们首先证明了一个不动点定理，同时从压缩及弱内向两个方向推广了压缩弱内向映象的不动点定理［１，２］．在后两节中讨论了Ｂａｎａｃｈ空间中无界闭子集上的不动点定理，所得结果推广了［３，４］中相应定理．     

四元数矩阵理论中的几个概念间的关系

本文指出并改正文［１］中的错误，给出弱特征多项式［２］与重特征多项式［３］间的显式关系，同时也给出行列式［２］与重行列式［４］间的显式关系，最后讨论了左特征值、右特征值、特征值和特征根之间的关系及最小多项式与弱特征多项式根之间的关系．     

具有间断系数的抛物型方程的分段显隐格式

1．在许多实际问题中，热传导是在多种介质中传播的，这些介质的热传导系数有时可以相差好几个量级。六十年代，A．H．和A．A．［1］曾详尽地研究过具有间断系数抛物型方程的差分方法。他们的结果较全面地总结在专著［2］中，关于这方面的文献目录可在该书中找到。众所周知，由于显式抛物型方程差分格式是条件稳定的，时间步长的选取受到两方面的限制，一是正比于空间步长的平方，另一是与热传导系数成反比，因此一般在解抛物型方程时都采用隐式。实际上采用任何格式时间步长的选择还与对计算结果精确度的要求有关，特别是当抛物型方程与…