一类奇摄动非线性边值问题激波解的Sinc—Galerkin方法

讨论了一类非线性奇摄动方程的激波问题．利用Sinc—Galerkin方法,构造出边值问题的激波解,并由Newton法得到其近似解．     

多维非定常中子迁移方程Galerkin有限元法近似解的收敛性和广义解的存在性

使用Galerkin有限元法研究了多维非定常中子迁移方程，证明了Galerkin有限元法近似解的收敛性和广义解的存在性．     

两类变时间步长的非线性Galerkin算法的稳定性

1．引言近年来,随着计算机的飞速发展,人们越来越关心非线性发展方程解的渐进行为．为了较精确地描述解在时间t→∞时的渐进行为,人们发展了一类惯性算法,即非线性Galerkin算法．该算法是将来解空间分解为低维部分和高维部分,相应的方程可以分别投影到它们上面,它的解也相应地分解为两部分,大涡分量和小涡分量;然后核算法给出大涡分量和小涡分量之间依赖关系的一种近似,以便容易求出相应的近似解．许多研究表明,非线性Galerkin算法比通常的Galerkin算法节省可观的计算量．当数值求解微分方程时,计算机只能对已知数据进行有限位…     

一类广义耦合的非线性波动方程组时间周期解的存在性

研究了一类广义耦合的非线性波动方程组关于时间周期解的问题.首先利用Galerkin方法构造近似时间周期解序列,然后利用先验估计和Laray-Schauder不动点原理,证明近似时间周期解序列的收敛性,从而得到该问题时间周期解的存在性.     

一类KdV非线性Schr(o)dinger组合微分方程组时间周期解的存在性

本文研究了一类KdV非线性Schr(o)dinger组合微分方程组时间周期解的问题,首先利用Galerkin方法构造近似时间周期解序列,然后利用先验估计和Leray-Schauder不动点原理,证明近似时间周期解序列的收敛性,从而得到该问题时间周期解的存在性.     

Stokes型积分——微分方程的Galerkin近似

本文讨论一类具有Stokes方程结构的积分一微分方程的Galerkin近似，论证了近似解的存在唯一性，并分别导出速度和压力近似解的最优阶L_2模误差估计。     

关于单调算子和椭圆边值问题

如和所作过的,二阶拟线性散度型椭圆方程式的Dirichlet问题之W_(mq)~1(Ω)≡W_m~1(Ω)∩L_q(Ω)(m>1,1≤q<∞)广义解的存在性,在比“自然限制”稍多一点的条件下,可以用Galerkin方法予以证明,即先作Galerkin近似,而后证明Galerkin近似的极限点就是所论边值问题之解。这种方法具有一定的构造性。实际上,如能保证解的唯一性,每个Galerkin近似就是一个近似解。本文表明,这种方法照样可以用于拟线性椭圆方程组和其它边值问题。与文[6]稍有不同,本文是把所论方程组的边值问题纳入一个发展了的单调算子方法之一般框架来处理的。这样做是很自然的,因为单调算子方法自问世以来,一直和解椭圆抛物边值问题紧密联系在一起。这方面的开创     

Hamilton-Jacobi方程的小波Galerkin方法

本文选择Daubechies小波尺度函数空间作为Galerkin方法的测试函数空间,并将其应用于Hamilton-Jacobi方程,得到了求解Hamilton-Jacobi方程的小波Galerkin方法的数值格式．由于小波在时间和频率上的局部性,本方法适用于处理具有奇异解的问题,可以有效地防止数值振荡．数值试验显示,本方法是有效的．     

Gauss白噪声激励下分数阶导数系统的非平稳响应

研究了Gauss(高斯)白噪声激励下具有分数阶导数阻尼的非线性随机动力系统的非平稳响应.应用等价线性化方法将非线性系统转化为等价的线性系统,之后采用随机平均法获得系统响应满足的FPK(Fokker-Planck-Kolmogorov)方程,其中分数阶导数近似为一个周期函数.使用Galerkin方法求解FPK方程进而得到系统的近似非平稳响应.数值结果验证了方法的正确性和有效性.     

Davey-Stewartson方程组的近似惯性流形

本文研究了二维Davey--Stewartson方程组,证明了解的时间解析性和Gevrey类正则性,构造了指数式的近似惯性流形.本文结果表明,如果一个方程的线性主部算子能生成一个解析半群,那么其平坦近似惯性流形(Galerkin近似)和非平坦近似惯性流形具有相同的逼近精度,都可以是指数式的.     

模糊集范畴及集合范畴上的模

本文构造了在完备格上模糊集范畴.利用极小扩展原则和范畴的性质,获得了函子Uα构成集合范畴上的模结构,推广了P.Eklund的结论.     

时滞Logistic方程与不等式解的振动性与渐近性

本文研究了时滞Ｌｏｇｉｓｔｉｃ方程与不等式关于方程平衡占的振动与非振动解的渐近性问题，得到了一些新的充分条件。本文的结果推广并改进了若干已知的定理。     

某一类解析函数的性质和特征

本文研究了在单位圆内的解析函数类M_n(α,β).利用解析函数的性质和不等式技巧进行讨论,得到了这类函数的包含关系、系数估计等性质以及这类函数的一个充分条件.     

INTERSECTION OF PRIME SUBMODULES AND DIMENSION OF MODULES

The aim of this paper is to study the conditions by which a P-prime submodule can be expressed as a finite intersection or union of P-prime submodules. Also corresponding to dimension and rank of modules, some equivalent conditions for a ring to be a Dedekind domain are given.     

模的维数与离散事件动态系统的能达程度

本文提出了极大代数上有限生成模的维数与歧点的概念，证明了m个矢量生成的模为m维的充要条件是它们为强线性独立的，比较了两种线性独立的强弱，并应用上述理论于离散事件动态系统（DEDS）的能达程度问题．     

PAIRING AND DRINFEL'D-DOUBLE OF ORE-EXTENSIONS

We define and investigate pairings of Ore-extensions of cyclic groups. We also discuss their Drinfel'd-double in the framework of this pairings.     

Vandermonde方程Hilbert方程及Vandermonde矩阵Hilbert矩阵逆的快速与并行算法

1.引言 众所周知,在并行数值代数研究中,降低矩阵求逆与线性方程组求解并行步是一个相当困难的问题。1976年Csanky证明了上述两问题均可在O(log~2n)并行步内完成,所用处理机台数为O(n~4)。然而能否找到时间步为O(logn)的并行算法,长期以来是人们极为关注的问题之一。对于特殊矩阵及方程的研究更是如此。目前除几个极其特殊的     

开广义序同态的刻划及拓扑分子格的特征与权

王国俊先生于〔１〕中借助闭元成功地引入了开广义序同态的概念。本文给出了开广义序同态的一个刻划并对其是否增加拓扑分子格的权与特征等问题进行了研究，得到了积拓扑分子格的特征与权与因子拓扑分子格的特征与权间的关系，从而部分回答了ＬＦ拓扑中关于特征的两个公开问题。     

指数型二分性和周期系统的周期解

先讨论指数型二分性成立的条件，在某种意义下推广了Ｌａｚｅｒ关于二分性的结果，之后，我们用该结论探讨Ｌａｓｏｔａ－Ｏｐｉｕｌ方程及方程ｘ＝ｆ（ｔ，ｘ），ｆ（ｔ＋ｗ，ｘ）＝ｆ（ｔ，ｘ），ｆ（ｔ，ｘ）∈Ｃ’（Ｒ＊Ｒ＾ｎ，Ｒ＾ｎ）的周期解的存在性，推广了文「２」的主要结果，并得到一些新的结果。     

模范畴与余模范畴之间的等价

本文研究了环上模范畴与余环上余模范畴.运用可裂叉与余可分余环的性质,得到了以上两个范畴等价的一些充分条件,从而推广了文献[6]中的一些结果.

Abstract：

In this article,we consider the categories of modules over rings and categories of comodules over corings.By properties of split forks and coseparable corings,we get some sufficient conditions for the equivalence between above two categories.As a consequence,we generalize some results in[6].