复微分-差分方程组的超越整函数解

利用亚纯函数的Nevanlinna值分布理论, 我们主要研究了一类复微分-差分方程和一类复微分-差分方程组的有限级超越整函数解的存在形式, 得到两个有趣的结论. 将复微分(差分)方程的一些结论推广到复微分-差分方程(组)中.     

循环差分-微分模上双变元维数多项式的Gr?bner基算法北大核心CSCD

Gr?bner基算法是在计算机辅助设计和机器人学、信息安全等领域广泛应用的重要工具.文章在周梦和Winkler(2008)给出的差分-微分模上Gr?bner基算法和差分-微分维数多项式算法基础上,进一步研究了分别差分部分和微分部分的双变元维数多项式算法.在循环差分-微分模情形,构造和证明了利用差分-微分模上Gr?bner基计算双变元维数多项式的算法.     

循环差分-微分模上双变元维数多项式的Gr?bner基算法

Gr?bner基算法是在计算机辅助设计和机器人学、信息安全等领域广泛应用的重要工具.文章在周梦和Winkler(2008)给出的差分-微分模上Gr?bner基算法和差分-微分维数多项式算法基础上,进一步研究了分别差分部分和微分部分的双变元维数多项式算法.在循环差分-微分模情形,构造和证明了利用差分-微分模上Gr?bner基计算双变元维数多项式的算法.     

构造非线性微分差分方程精确解的一种方法

把最近提出的G′/G展开法推广到了非线性微分差分方程,利用该方法成功构造了一种修正的Volterra链和Toda链的双曲函数、三角函数以及有理函数三类涉及任意参数的行波解,当这些参数取特殊值时,可得这两个方程的扭状孤立波解、奇异行波解以及三角函数状的周期波解等.研究结果表明,该算法探讨非线性微分差分方程精确解十分有效、简洁.     

一类复微分-差分方程的亚纯解（英文）

本文研究一类复微分-差分方程的亚纯解的性质和表达式问题,利用亚纯函数的Nevanlinna值分布理论来证明,并得到一些结论,所得结论是从复差分方程到复微分差分方程的推广.例子表明我们的结果是有意义的.     

差分-微分模上的Grbner基及差分-微分维数多项式

通过引入广义单项式序把Grbner基理论拓展到差分-微分模上,构造和证明了差分-微分模上Grbner基算法.然后利用差分-微分模上的Grbner基构造了线性差分-微分方程系的维数多项式算法.     

Fermat型复微分-差分方程的整函数解北大核心CSCD

利用值分布理论,研究了一类Fermat型复微分-差分方程与复微分-差分方程组,得到有限级超越整函数解的存在条件与具体形式,推广改进了高凌云、刘凯、曾翠萍等人的结果.     

空间-时间分数阶变系数对流扩散方程微分阶数的数值反演

考虑终值数据条件下一维空间-时间分数阶变系数对流扩散方程中同时确定空间微分阶数与时间微分阶数的反问题.基于对空间-时间分数阶导数的离散,给出求解正问题的一个隐式差分格式,通过对系数矩阵谱半径的估计,证明差分格式的无条件稳定性和收敛性.联合最佳摄动量算法和同伦方法引入同伦正则化算法,应用一种单调下降的Sigmoid型传输函数作为同伦参数,对所提微分阶数反问题进行精确数据与扰动数据情形下的数值反演.结果表明同伦正则化算法对于空间-时问分数阶反常扩散的参数反演问题是有效的.     

差分-微分模上的Gröbner基及差分-微分维数多项式

通过引入广义单项式序把Gröbner基理论拓展到差分\!-\!微分模上, 构造和证明了差分\!-\!微分模上Gröbner基算法. 然后利用差分-微分模上的Gröbner基构造了线性差分-微分方程系的维数多项式算法.     

两类复微分-差分方程组的整函数解

利用Nevanlinna值分布理论以及复差分和复微分理论,讨论了两类复微分-差分方程组的有限级超越整函数解问题,得到了两个结果,并将涉及微分或差分方程的某些结果推广至复微分-差分方程组中.     

关于一类复微分-差分方程组的解

作者主要研究了一类复微分-差分方程组的有限级整函数解,得到了一有趣的结果,将复微分(或差分)方程中相关结果推广至复微分-差分方程组中.     

On entire solutions of two types of systems of complex differential-difference equations

In this paper, we will mainly investigate entire solutions with finite order of two types of systems of differential-difference equations, and obtain some interesting results. It extends some results concerning complex differential (difference) equations to the systems of differential-difference equations.     

复微分方程组及复微分-差分方程解的级

利用Zalcman关于正规族的方法,研究了两类复高阶微分方程组的亚纯解的增长级问题;同时,利用Nevanlinna值分布理论,讨论了两类复微分-差分方程的超越整函数解的增长级.所得结论推广和改进了一些文献的结果,并举例说明本文的结论精确.     

Nonlocal symmetries and recursion operators: Partial differential and differential-difference equations

A systematic method to derive the nonlocal symmetries for partial differential and differential-difference equations with two independent variables is presented and shown that the Korteweg-de Vries (KdV) and Burger's equations, Volterra and relativistic Toda (RT) lattice equations admit a sequence of nonlocal symmetries. An algorithm, exploiting the obtained nonlocal symmetries, is proposed to derive recursion operators involving nonlocal variables and illustrated it for the KdV and Burger's equations, Volterra and RT lattice equations and shown that the former three equations admit factorisable recursion operators while the RT lattice equation possesses (2×2) matrix factorisable recursion operator. The existence of nonlocal symmetries and the corresponding recursion operator of partial differential and differential-difference equations does not always determine their mathematical structures, for example, bi-Hamiltonian representation.     

Basis difference method for orthogonal systems on a surface

The basis operator method intended for constructing systems of difference approximations to differential operators in vector and tensor analysis is extended to orthogonal systems on a surface. A class of completely conservative differential-difference schemes for continuum mechanics in Lagrangian variables is constructed. Basis operators are constructed using the finite volume equation, consistency conditions for discrete operators of the first derivative, and consistent projection operators for grid functions. A system of differential-difference continuum mechanics equations on a surface is obtained, which implies all conservation laws typical of the continuum case, including additional ones. A stability estimate is derived for discrete equations of an incompressible viscous fluid.     

Some results related to complex linear and nonlinear difference equations

In this paper, we investigate the complex oscillation problems of meromorphic solutions to some linear difference equations with meromorphic coefficients, and obtain some results about the relationships between the exponent of convergence of zeros, poles and the order of growth of meromorphic solutions to complex linear difference equations. We also study the existence of solution of certain types of nonlinear differential-difference equations, and partially answer a conjecture concerning the above problem posed by Yang and Laine (C.C. Yang and I. Laine, On analogies between nonlinear difference and differential equations, Proc. Japan Acad. Ser. A Math. Sci. 86(1) (2010), pp. 10–14).     

Numerical method of lines for parabolic functional differential equations

Initial boundary value problems for nonlinear parabolic functional differential equations are transformed by discretization in space variables into systems of ordinary functional differential equations. A comparison theorem for differential difference inequalities is proved. Sufficient conditions for the convergence of the numerical method of lines are given. An explicit Euler method is proposed for the numerical solution of systems thus obtained. This leads to difference scheme for the original problem. A complete convergence analysis for the method is given.     

MKdV和FPU方程的李点对称

本文研究了离散微分方程的李对称问题.利用差分方程的延拓方法和交换流方法,我们求得了若干重要的差分方程、微分差分方程的李对称,推广了对称性分析法在连续微分方程讨论时的结果.