Maple数学软件包中的积分问题

本文指出了 Maple数学软件包在一些积分计算上的错误 ,并从数学的角度分析了产生这种错误的原因 ,阐述了数学知识在正确使用数学软件包方面的重要性     

SDPTools:基于Maple的高精度求解SDP软件包

半定规划(SDP)是一类重要的凸优化问题,它可以由Matlab中的SDP软件包有效地求解,比如SeDuMi,SDPT3,DSDP等等.然而由于Matlab只能进行有限精度计算,所得结果往往带有很大误差.在某些需要高精度计算的问题中,Matlab中的SDP软件包难以得到满意的结果.SDPTools是基于符号计算软件Maple的求解SDP的软件包.利用Maple可以进行任意精度计算的特性,SDPTools可以进行高精度的求解.将SDPTools应用于有理函数全局最优值的求解和验证问题中,对于Rump's Model Problem得到了目前最好的数值结果.     

基于吴方法的孤波自动求解软件包及其应用

基于非线性代数方程组的吴特征列方法,在计算机代数系统Maple上实现了非线性微分方程孤波解的自动求解,编制了一个小型实用的软件包。作为应用,考虑了一个一般的五阶模型方程,利用该软件包获得了此方程新的孤波解以及孤子解存在的条件。     

非零势能的耗散力学控制系统的位形能控性

在拉格朗日力学控制系统的仿射联络框架下,基于Sussmann对有限维流形上一般仿射非线性控制系统的能控性讨论,将简单力学控制系统短时间局部位形能控的一个可计算的充分条件推广到迷向耗散的系统上,并给出系统是平衡点能控的一个充分条件,其中,系统的拉格朗日函数为动能减势能A·D2在问题的讨论中,系统的能控李代数的向量场李括号运算,以及与系统位形流形的Levi-Civita联络相关的对称积起了重要作用．尽管势能项会使系统的位形能控性讨论复杂化,但Liouville向量场又简化了系统的能控李代数计算．     

一类非线性发展方程的对称分析及级数解

基于李对称理论分析了广义Burgers方程的推广方程,获得其有限维李对称.进一步,研究向量场的伴随表示构造优化系统.最终基于对称约化,获得了方程的约化系统及包含级数解在内的群不变解.     

一类四阶偏微分方程的对称分析及级数解

研究了一类四阶偏微分方程的李对称,构造了方程所容许的李对称的优化系统,进行了对称约化,得到了精确解.进一步,基于幂级数理论,得到了这类四阶偏微分方程的幂级数解.     

微分方程(组)对称向量的吴-微分特征列算法及其应用

给出（偏）微分方程（组）（PDEs）对称向量的吴-微分特征列集（消元）算法理论．把古典和非古典PDEs对称问量的计算问题统-在吴-微分特征列理论框架之下处理．给出了产生PDEs对称向量的无穷小方程和验证已知向量为PDES对称向量的机械化原理,理论上彻底克服了传统算法中的缺陷并为计算PDEs对称向量提供了一种新算法．用计算机代数系统mathematica编制了相应的软件包,具体实现了该算法．作为应用给出了Burgers方程的非古典对称向量的完整解答．     

一类自伴随Lubrication方程的对称,守恒律,拉格朗日函数和精确解

本文借助李对称分析研究了一类自伴随的Lubrication方程,此类方程可用来描述液体薄膜动力学行为.基于非奇异的局域守恒律乘子和李对称方法,我们系统地推导出了此类方程的局域守恒律,非局域相关系统,李对称和一些有趣的精确解.此模型的非局域相关系统在本文中被首次研究,可用于寻找原方程更丰富的解空间.此外,基于局域守恒律和变分原则,我们推导出原方程的四类拉格朗日函数.     

由吴方法计算零维系统的有理单元表示

本文提出一个计算零维系统的有理单元表示的新算法.无需进行Grbner基运算,我们的算法仅运用了著名的吴方法.基于吴方法,我们的算法在Maple平台上被编制成一个通用程序RUR-Wu,可快速地计算出零维系统的有理单元表示.作为一个应用,本文提出了一个有效方法,用来计算某些多项式的整体最小值.此外,本文给出了几个实例,用来表明算法的效率.     

KP系统Lax算子及主对称的换位公式

本文讨论的是ＫＰ系统Ｌａｘ算子及主对称的换位公式．通过拓广速降函数空间及对 ＫＰ方程 Ｌａｘ算子的讨论,找到了 Ｌａｘ算子的表示向量;并通过对 Ｌａｘ算子、 Ｌａｘ流、 Ｌａｘ算子表示向量之间联系的讨论,得出了计算 Ｌａｘ算子李括号的表示向量的方法,从而解决了 ＫＰ方程主对称的换位公式问题．最后本文还利用伴随算子给出了从ＫＰ方程任一主对称得到其一个对称的公式．     

Symmetry reductions and new exact non-traveling wave solutions of potential Kadomtsev-Petviashvili equation with p-power

With the aid of Maple symbolic computation and Lie group method, PKPp equation is reduced to some (1+1)-dimensional partial differential equations, in which there are linear PDE with constant coefficients, nonlinear PDE with constant coefficients, and nonlinear PDE with variable coefficients. Using the separation of variables, homoclinic test technique and auxiliary equation methods, we obtain new abundant exact non-traveling solutions with arbitrary functions for the PKPp.     

Symmetry group analysis and similarity solutions of variant nonlinear long-wave equations

Symmetry group properties and similarity solutions of the variant nonlinear long-wave equations in the form of system of nonlinear partial differential equations are analyzed. Lie symmetry group analysis of the variant nonlinear long-wave equations presents that the system has only two-parameter point symmetry group that corresponds to only traveling wave solutions. The symmetry groups yield the general reduced similarity form of the system, which is in the system of nonlinear ordinary differential equations. By using the improved tanh method the similarity solutions are obtained from the reduced system of equations. In addition, some graphical representations of the solitary and periodic solutions are presented.     

Symmetry reduced and new exact non-traveling wave solutions of potential Kadomtsev-Petviashvili equation with p-power

With the aid of Maple symbolic computation and Lie group method, PKPp equation is reduced to some (1 + 1)-dimensional partial differential equations, in which there are linear PDE with constant coefficients, nonlinear PDE with constant coefficients, and nonlinear PDE with variable coefficients. Using the separation of variables, homoclinic test technique and auxiliary equation methods, we obtain new abundant exact non-traveling solution with arbitrary functions for the PKPp.     

Symmetry analysis of initial-value problems

Symmetry analysis is a powerful tool that enables the user to construct exact solutions of a given differential equation in a fairly systematic way. For this reason, the Lie point symmetry groups of most well-known differential equations have been catalogued. It is widely believed that the set of symmetries of an initial-value problem (or boundary-value problem) is a subset of the set of symmetries of the differential equation. The current paper demonstrates that this is untrue; indeed, an initial-value problem may have no symmetries in common with the underlying differential equation. The paper also introduces a constructive method for obtaining symmetries of a particular class of initial-value problems.     

Classical Lie point symmetry analysis of nonlinear diffusion equations describing thermal energy storage

In this paper, we employed the linear transformation group approach to time dependent nonlinear diffusion equations describing thermal energy storage problem. Symmetry analysis of the governing equation resulted in admitted large Lie symmetry algebras for some special cases of the arbitrary constants and the source term. Some transformations that lead to equations with fewer arbitrary parameters are applied and classical Lie point symmetry methods are employed to analyze the transformed equations. Some symmetry reductions are performed and wherever possible the reduced ordinary differential equations are completely solved subject to realistic boundary conditions.     

Exact solutions for a Dirac-type equation with N-fold Darboux transformation

Based on matrix spectral problems associated with the real special orthogonal Lie algebra so(3,$\mathbb{R}$), a Dirac-type equation is derived by virtue of the zero-curvature equation. Further, an N-fold Darboux transformation for the Dirac-type equation is constructed by means of the gauge transformation. Finally, as its application, some exact solutions and their figures are obtained via symbolic computation software (Maple).

Correction: The authors were supported by the Nature Science Foundation of China (No. 11701334).     

Painlevé analysis, Lie symmetries and exact solutions for (2+1)-dimensional variable coefficients Broer-Kaup equations

A (2+1) dimensional Broer-Kaup system which is obtained from the constraints of the KP equation is of importance in mathematical physics field. In this paper, the Painlevé analysis of (2+1)-variable coefficients Broer-Kaup (VCBK) equation is performed by the Weiss-Kruskal approach to check the Painlevé property. Similarity reductions of the VCBK equation to one-dimensional partial differential equations including Burger’s equation are investigated by the Lie classical method. The Lie group formalism is applied again on one of the investigated partial differential equation to derive symmetries, and the ordinary differential equations deduced from the optimal system of subalgebras are further studied and some exact solutions are obtained.     

A New Jacobi Elliptic Function Expansion Method for Solvinga Nonlinear PDE Describing Pulse Narrowing Nonlinear Transmission Lines

In this article, we apply the first elliptic function equation to find a new kind of solutions of nonlinear partial differential equations (PDEs) based on the homogeneous balance method, the Jacobi elliptic expansion method and the auxiliary equation method. New exact solutions to the Jacobi elliptic functions of a nonlinear PDE describing pulse narrowing nonlinear transmission lines are given with the aid of computer program, e.g. Maple or Mathematica. Based on Kirchhoff's current law and Kirchhoff's voltage law, the given nonlinear PDE has been derived and can be reduced to a nonlinear ordinary differential equation (ODE) using a simple transformation. The given method in this article is straightforward and concise, and can be applied to other nonlinear PDEs in mathematical physics. Further results may be obtained.     

New exact solutions and conservation laws of a class of Kuramoto Sivashinsky (KS) equations

Lie symmetry method is used to perform detailed analysis on a class of KS equations. It is shown that the Lie algebra of the equation spanned by the vector fields of dilations in time and space are lost as a result of the linearity of the equation when n = 1. Symmetry reductions are carried out using each member of the optimal system. The reduced equations are further studied to obtain certain general solutions. Moreover, the conserved vectors are obtained through the application of Noether's theorem.     

Group properties and conservation laws for nonlocal shallow water wave equation

Symmetry groups, symmetry reductions, optimal system, conservation laws and invariant solutions of the shallow water wave equation with nonlocal term are studied. First, Lie symmetries based on the invariance criterion for nonlocal equations and the solution approach for nonlocal determining equations are found and then the reduced equations and optimal system are obtained. Finally, new conservation laws are generated and some similarity solutions for symmetry reduction forms are discussed.