Constructing infinite sequence exact solutions of nonlinear evolution equations

To construct the infinite sequence new exact solutions of nonlinear evolution equations and study the first kind of elliptic function, new solutions and the corresponding Bäcklund transformation of the equation are presented. Based on this, the generalized pentavalent KdV equation and the breaking soliton equation are chosen as applicable examples and infinite sequence smooth soliton solutions, infinite sequence peak solitary wave solutions and infinite sequence compact soliton solutions are obtained with the help of symbolic computation system Mathematica. The method is of significance to search for infinite sequence new exact solutions to other nonlinear evolution equations.     

四次正多项式的正分解

研究次数为4的符号正多项式的正分解问题，得出四次正多项式分解为一次和三次正多项式乘积的充要条件．     

符号和数值混合计算

符号计算和数值计算是两种不同的解决科学和技术发展中问题的计算方法.符号计算可以得到问题精确的完备解,但是计算量大且表达形式往往十分庞大;数值计算可以快速地处理很多实际应用中的问题,但是一般只能得到近似的局部解.特别地,数值计算处理病态问题时,收敛往往较慢且容易出错.着重介绍了符号计算和数值计算之间的密切联系,以及如何运用这两大领域的最新研究成果,探索和开发符号和数值混合计算算法和软件,使之兼备符号计算的完备化和数值计算的高效性.     

Wronskian Form Solutions for a Variable Coefficient Kadomtsev–Petviashvili Equation

Starting from a simple transformation, and with the aid of symbolic computation, we establish the relation- ship between the solution of a generalized variable coefficient Kadomtsev-Petviashvili （vKP） equation and the solution of a system of linear partial differential equations. According to this relation, we obtain Wronskian form solutions of the vKP equation, and further present N-soliton-like solutions for some degenerated forms of the vKP equation. Moreover, we also discuss the influences of arbitrary constants on the soliton and N-soliton solutions of the KPII equation.     

Fusion,fission, and annihilation of complex waves for the （2＋l）-dimensional generalized Calogero-Bogoyavlenskii-Schiff system

With the help of the symbolic computation system, Maple and Riccati equation （ξ＇ = ao ＋ a1ξ＋ a2ξ2）, expansion method, and a linear variable separation approach, a new family of exact solutions with q = lx ＋ my ＋ nt ＋ Г（x,y, t） for the （2＋1）-dimensional generalized Calogero-Bogoyavlenskii-Schiff system （GCBS） are derived. Based on the derived solitary wave solution, some novel localized excitations such as fusion, fission, and annihilation of complex waves are investigated.     

多项式理想准素分解的算法

讨论了多项式理想准素分解的算法,对于理想坐标变换中关键的“一般位置”的计算,给出了一个确定算法,并建立了特别规范Groebner基的概念,利用这一概念及文中提供的相应算法,可以方便地计算理想的维数,进而使用降维的方法来得到高维理想的准素分解。     

线性方程组对于量词的可满足性

本文讨论有关主理想环上线性方程组对于量词组合的可满足性问题,特别是当全称量词和存在量词混合出现的情形.它的背景之一是模上的线性定理的机械化证明.我们对此问题得到了一个算法型的充要条件,该方法对量词未做任何限制.进而讨论了在有限生成Abel群、初等数论、向量空间、多元多项式环等领域中的应用.     

非线性耦合微分方程组的精确解析解

提出了利用耦合的Riccati方程组的某些特解构造非线性微分方程组精确解析解的一种方法.应用这种方法研究了两个耦合的常微分方程组,系统地获得了它们的一些精确解.给出了非线性浅水波近似方程组和非线性Schr?dinger-KdV方程组若干新的孤波解. 关键词： 非线性耦合方程组 Riccati方程组 符号计算 孤波     

基于Bell多项式求解非线性发展方程Hirota双线性形式的新算法

基于Bell多项式,构造了获得非线性发展方程双线性形式的一个新算法,并且开发了相应的程序包.非线性发展方程与其双线性形式之间的变换可由该程序包自动推导,同时给出了一些具有代表性的实例验证了该程序包的有效性与可靠性.     

判定线性偏微分方程组解的完备性的一个符号计算方法

从微分代数的角度出发，借助于吴微分特征集理论，对于线性偏微分方程组，给出了判定它的解的完备性的一个符号计算方法。这个算法是一个机械化的算法，借助于符号计算软件Maple，可以在计算机上实现。