计算机代数应用中的一个半逆序算法*

为了克服计算机代数应用中出现的"中间表达式爆炸"的困难,本文提出一种半逆序算法,将中间表达式在运算过程中以符号形式冻结起来,到求解的最后阶段予以解冻,从而避免了因存贮空间不足而导致的溢出.文中简述了该算法在非线性振动、冷却塔动力优化和非线性水波问题中的应用,证实了算法的有效性.     

若干强非线性问题的近似解析解

本文采用作者提出的修正的完全近似法,分析几个强非线性振动和波动问题。首先研究一类虽非线性振动问题,并对修正的van der Pol振子,较为简捷地给出了它的极限环解的二阶近似表达式,与文献[3]中用推广的平均法得出的结果一致。接着分析修正的KdV方程,得到了孤立波的正确的二阶渐近解。最后,对于有五阶色散项的推广的KdV方程,在三阶近似下,导得了孤立波的渐近解,解析地给出了振荡型孤立波解的形式。这些结果表明,修正的完全近似法可以有效地应用于一些强非线性数学问题的研究。     

一个非线性波动方程的计算机代数-摄动解*

本文采用计算机代数-摄动法讨论一个非线性波动方程的Caychy问题高阶渐近解,将特征坐标变形与重整化方法相结合,消除直接展开解的长期项,并利用计算机代数软件进行符号运算,得到该问题的四项摄动解,所得的渐近解与数值解的比较表明:对较小的ε,两者相吻合;对较大的ε(如ε=0.25),两者也相当符合。     

一个非线性波动方程的计算机代数－摄动解

本文采用计算机代数－摄动法讨论一个非线性波动方程的Ｃａｙｃｈｙ问题高阶渐近解，将特征坐标变形与重整化方法相结合，消除直接展开解的长期项，并利用计算机代数软件进行符号运算，得到该问题的四项摄动解，所得的渐近解与数值解的比较表明：对较小的ε，两者相吻合；对较大的ε（如ε＝０．２５），两者也相当符合。     

应用指数函数展开法求解非线性发展方程

利用指数函数展开法,研究BBM方程与KG方程,在一个特定的变换下,借助Maple软件的符号运算功能,获得BBM方程与KG方程指数函数型新的孤立波解与周期解.这种方法用于求解非线性发展方程是简单而有效的.     

非线性波方程的精确孤立波解

立了一种求解非线性波方程精确孤立波解的双曲函数方法,并在计算机代数系统上加以实现,推导出了一大批非线性波方程的精确孤立波解.方法的基本原理是利用非线性波方程孤立波解的局部性特点,将方程的孤立波解表示为双曲函数的多项式,从而将非线性波方程的求解问题转化为非线性代数方程组的求解问题.利用吴消元法或Gröbner基方法在计算机代数系统上求解非线性代数方程组, 最终获得非线性波方程的精确孤立波解,其中有很多新的精确孤立波解.     

M.Wadati可积非线性发展方程的精确行波解

用平面动力系统方法研究由M.Wadati提出的一类可积非线性发展方程的精确行波解,获得了该方程的扭波、反扭波解,周期波解和不可数无穷多光滑孤立波解的精确的参数表达式,以及上述解存在的参数条件．     

非线性波方程准确孤立波解的符号计算

该文将机械化数学方法应用于偏微分方程领域，建立了构造一类非线性发展方程孤立波解的一种统一算法，并在计算机数学系统上加以实现，推导出了一批非线性发展方程的精确孤立波解．算法的基本原理是利用非线性发展方程孤立波解的局部性特点，将孤立波表示为双曲正切函数的多项式．从而将非线性发展方程（组）的求解问题转化为非线性代数方程组的求解问题．利用吴文俊消元法在计算机代数系统上求解非线性代数方程组，最终获得非线性发展方程（组）的准确孤立波解.     

一个两流体系统中mKdV孤立波的迎撞*

本文从文[2]的基本方程出发,采用约化摄动方法和PLK方法,讨论了三阶非线性和色散效应相平衡的修正的KdV(mKdV)孤立波迎撞问题.这些波在流体密度比等于流体深度比平方的两流体系统界面上传播.我们求得了二阶摄动解,发现在不考虑非均匀相移的情况下,碰撞后孤立波保持原有的形状,这与Fornberg和whitham[6]的追撞数值分析结果一致,但当考虑波的非均匀相移后,碰撞后波形将变化.     

带强迫项高阶中立型微分方程的振动性和非振动性

我们给出一类强迫高阶非线性中立型时滞微分方程一切解振动的充分条件.而且,也研究了一类强迫一阶中立型方程非振动解的渐近性.     

Lame equation and asymptotic higher-order periodic solutions to nonlinear evolution equations

Based on an auxiliary Lame equation and the perturbation method, a direct method is proposed to construct asymptotic higher-order periodic solutions to some nonlinear evolution equations. It is shown that some asymptotic higher-order periodic solutions to some nonlinear evolution equations in terms of Jacobi elliptic functions are explicitly obtained with the aid of symbolic computation.     

Bäcklund transformation,superposition formulae and N-soliton solutions for the perturbed Korteweg–de Vries equation

With symbolic computation, under investigation in this paper is the perturbed Korteweg–de Vries equation for the nonlocal solitary waves and arrays of wave crests. Via the Hirota method, the bilinear form, Bäcklund transformation and superposition formulae are obtained. N-soliton solutions in terms of the Wronskian are constructed. Asymptotic analysis is used to analyze the collision dynamics, and figures are plotted to illustrate the influence of the perturbation. We find that the perturbation affects the propagation velocities of the solitons, but does not affect the amplitudes and widths of the solitons. Besides, the solitonic collisions turn out to be elastic.     

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

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

New exact solitary wave and multiple soliton solutions of quantum Zakharov-Kuznetsov equation

By employing auxiliary equation method and Hirota bilinear method, the quantum Zakharov-Kuznetsov equation which arises in quantum magnetoplasma is investigated. With the aid of symbolic computation, both solitary wave solutions and multiple-soliton solutions are obtained. These new exact solutions will extend previous results and help us explain the properties of multidimensional nonlinear ion-acoustic waves in dense magnetoplasma.     

Higher-order asymptotic solutions in fluids of various configurations

Applying perturbation methods, symbolic computation, and generalizing the solution method, higher-order asymptotic solutions are constructed in Lagrangian variables for several models describing 2D standing wave motions in fluids of various configurations. Three main parameters of the fluid configuration, depth, capillarity, and stratification layer, are considered. The frequency-amplitude dependences are obtained and compared with those known in the literature in Eulerian and Lagrangian variables. The comparison shows that the analytical frequency-amplitude dependences are in complete agreement with previous results known in the literature and with the results obtained for other models. A generalization allows us to investigate critical phenomena for standing waves in fluids of various configurations. Namely, special attention is focused on critical values of one parameter, the fluid depth. The frequency-amplitude dependences are analyzed from the point of view of critical values: critical points and critical curves are determined for several models describing standing waves in fluids of various configurations.     

Extending the generalized tanh method to the generalized Hamiltonian equations: New soliton-like solutions

To certain nonlinear evolution equations, the tanh method has been generalized for constructing not only solitary-wave but also soliton-like solutions. In this paper, no loss of conciseness, we further extend the generalized tanh method with computerized symbolic computation to a pair of generalized Hamiltonian equations. A new family of soliton-like analytical solutions is obtained, of which the solitary waves and previously-claimed soliton-like solutions are shown to be the special cases.     

Construction of periodic and solitary wave solutions by the extended Jacobi elliptic function expansion method

In this paper, an extended Jacobi elliptic function expansion method is used with a computerized symbolic computation for constructing the exact periodic solutions of some polynomials or nonlinear evolution equations. The validity and reliability of the method is tested by its applications on a class of nonlinear evolution equations of special interest in nonlinear mathematical physics. As a result, many exact travelling wave solutions are obtained which include new solitary or shock wave solution and envelope solitary and shock wave solutions. The method is straightforward and concise, and it can also be applied to other nonlinear evolution equations in mathematical physics.     

New exact solutions for mCH and mDP equations by auxiliary equation method

With the aid of symbolic computation, auxiliary equation method is introduced to investigate modified forms of Camassa-Holm and Degasperis-Procesi equations. A series of new exact traveling wave solutions, including smooth solitary wave solution, peakons, singular solution, periodic wave solution, Jacobi elliptic solution, are obtained in general form. These new exact solutions will enrich previous results and help us further understand the physical structures of these two nonlinear equations.