非线性VOLTERRA积分微分方程PETROV-GALERKIN有限元方法

讨论了非线性Volterra积分微分方程初值问题的PGFE方法，并给出了PGFE解的存在性和唯一性。     

模归约算法的数学基础研究

 多项式模归约算法是计算机代数中的基本问题之一,在编码算法和密码体制设计中有着广泛应用.提出了模归约算法中的2类基本算子:字归约算子、半字归约算子,并进一步证明了2类算子的计算量具有某种形式的不变量(如果满足一定的条件),从而证明了模归约算法计算量的线性性质,为其算法设计和分析提供了理论基础.还通过实例给出了2个算子在ECC和AES密码算法中的一些应用.     

构造矩阵有理插值函数的方法

熟知的构造矩阵值有理插值函数的方法,是基于矩阵的古典逆或Samelson逆,利用连分式给出的,其算法可行性不易预知。借助构造向量值有理插值的方法,引入多个参数,定义一对多项式:代数多项式和矩阵值多项式,并利用两多项式相等的充分必要条件,通过求解方程组确定参数,并由此给出类似于多项式插值的矩阵值有理插值公式;该公式简单,便于实际应用。     

基于非线性的压电层合板弯曲

考虑几何非线性和非线性压电效应,研究了压电材料作为变形驱动器的压电层合板的弯曲,建立了基于非线性的压电层合板的广义本构方程.利用Ritz法得到悬臂压电层合板的弯曲变形与作用电场间的非线性关系.计算分析表明：在强电场的作用下变形会迅速偏离线性结果,此时必须考虑非线性压电效应,而线性分析只适合于低电场的情况.     

Banach空间中积分微分方程周期边值问题

给出了Banach空间中非线性一阶积分微分方程周期边值问题在一序区间上的最大解与最小解的存在性。     

关于系数平方增长的带跳BSDE的解(Ⅱ)

进一步讨论了系数b(t,y,q,p,ω)关于|q|为平方增长的倒向随机微分方程(BSDE):Yt=Y ∫Tb(s,ys,qs,p-s,ω)ds-∫T t∫zP~s(z)Ⅱ(dz)ds-∫Tt~qsdws-∫Ttzp~s(z)N~k(ds,dz),t∈[0,T];及反射BSDE的解的极限定理、解的比较定理及解的惟一性定理.并分别给出了例子.     

二维广义色散长波方程的显式行波解

用辅助方程法构建二维广义色散长波方程的精确解.经行波法约化方程,根据领头项分析,给出了这个模型的一个变换,利用非线性立方Klein-Gordon方程的解,获得二维广义色散长波方程丰富的显式行波解(包括孤波解,周期波解,雅可比椭圆函数解和其他精确平面波解).     

非线性Ginzberg-Landau方程初边值问题解的存在性

主要研究了一类非线性Ginzberg-Landau方程混合初边值问题，用Galerkin方法证明了弱解和整体解的存在性．     

Dn型Hecke代数的某些Kazhdan-Lusztig基元素的精确表达式

确定了 Dn 型 Hecke代数的某些 Kazhdan-Lusztig基元素 Cw 的精确表达式 ,其中 w=y( i,1 ) w2 0 或x( i,1 ) w2 0 是 Dn 型 Weyl群的元素     

一类长短波方程的新的精确解

利用齐次平衡法、双曲函数法、试探函数法求出了一类长短波方程多个新的精确解.