利用再生核解一类变系数偏微分方程

如何求解偏微分方程,已经成为各个领域内非常重视的课题.在再生核空间中,给出了变系数偏微分方程的级数形式精确解,为了数值计算,给出了一个迭代方法,并证明了迭代方法的收敛性.数值算例表明本文方法是有效的而且具有良好的实用性.     

一个计算微分方程（组）对称群的Mathematica程序包及其应用

介绍了一个计算（常和偏）微分方程（组）对称的确定方程的Ｍａｔｈｅｍａｔｉｃａ符号语言程序包及其应用。在计算方法及其设计方面采取了分部，拆解及反馈等简化策略。避免了符号运算中中间表达式“爆炸”及确定方程组过大等问题。具有通用性好，对计算环境要求宽松等特点。适合国内流行的３８６系列机及以上规格机上使用。     

新的辅助方程法构造KdV方程的行波解

应用一种新的辅助方程法成功地获得了(1+1)维KdV方程的多个含有参数的精确行波解,所得的解涵盖了已有结果．与其它方法相比,所给出的方法具有简单高效、计算量小、速度快、易于求解等特点．另外,所给的方法还可以用来求解其它的一大类非线性发展方程的精确行波解．     

Using reproducing kernel for solving a class of partial differential equation with variable-coefficients

How to solve the partial differential equation has been attached importance to by all kinds of fields. The exact solution to a class of partial differential equation with variable-coefficient is obtained in reproducing kernel space. For getting the approximate solution, give an iterative method, convergence of the iterative method is proved. The numerical example shows that our method is effective and good practicability.     

微分多项式系统的约化算法理论

本文中，作者推广了纯代数形式的特征列集理论（吴方法）为微分形式的相应理论，即建立了在机器证明了诸多微分问题中非常重要的微分多项式组的约化算法理论。引入了一些新的概念和观点使函数微分（导数）具有直观的代数几何表示。给出了Coherent条件下的特征列集的算法。给出的算法易于在计算机上实现并适合应用于广泛的微分问题，如微分方程对称计算，各种微分关系的自动推理等问题。     

一类偏微分方程(组)非古典对称存在性的判定方法

基于微分特征集理论和算法,提出在一定条件下判定偏微分方程(组)非古典对称存在性的机械化方法.该方法对Clarkson P A提出的关于偏微分方程(组)的非古典对称的公开问题给出了部分回答,为完全解决该问题提供了一个思路.通过若干个发展方程的非古典对称的确定说明了该方法的有效性.     

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

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

Taylor polynomial stepwise refinement algorithm for lie and high symmetries of partial differential equations

I.introductionfromsymmetrymethodscanoftenbeeffectivelyused'tostudypropertiessuchasasymptoticand'blow-up'['].6.Numericalmethods.SymmetrypropertiesofPDEshavebeenusedtodesignefficientnumericalalgorithmforPDESI3]andalsousedintestingandevaluationofnumericalalgorithms.Thesesymmetryexactsolutionsprovideanimportantpracticalcheckontheaccuracyandreliabilityofnumericalalgorithms.AlthoughsymmetrygroupsofPDEshavesomanyexcellentutilities,findingsymmetriesofPDEsisaveryhardtask,whichseriouslyrestrictedt…     

A new auxiliary equation method for finding travelling wave solutions to KdV equation

In this paper, a new auxiliary equation method is used to find exact travelling wave solutions to the （1＋1）-dimensional KdV equation. Some exact travelling wave solu- tions with parameters have been obtained, which cover the existing solutions. Compared to other methods, the presented method is more direct, more concise, more effective, and easier for calculations. In addition, it can be used to solve other nonlinear evolution equations in mathematical physics.     

Using reproducing kernel for solving a class of partial differential equation with variable-coefficients

How to solve the partial differential equation has been attached importance to by all kinds of fields. The exact solution to a class of partial differential equation with variable-coefficient is obtained in reproducing kernel space. For getting the approximate solution, give an iterative method, convergence of the iterative method is proved. The numerical example shows that our method is effective and good practicability.