代数形式吴方法在(G'/G)展开法中的应用

用G'/G展开法求偏微分方程(组)的行波解,这个过程可转化为求解一个代数方程组,但该方程组一般较大,难于求解.可以用代数形式吴方法解决这个问题,两个算例说明了吴方法的有效性.     

G′/G展开法对非线性耦合Klein-Gordon方程组的精确解

通过G′/G展开法,借助计算机代数系统Maple对非线性耦合Klein-Gordon方程组进行求解,得到非线性耦合Klein-Gordon方程组的一系列新的显式精确解.扩大了对非线性耦合Klein-Gordon方程组研究的成果,拓展了G′/G展开法的应用.     

G’/G展开法求解变系数KP方程的精确解

通过G’/G展开法,借助计算机代数系统Maple对变系数KP方程进行了求解,得到了变系数KP方程的精确解,扩大了对变系数KP方程的研究成果,拓展了G’/G展开法的应用.     

利用(G′/G)-展开法求解2+1维破裂孤子方程组

利用最近提出的（G′/G）-展开法,并借助于计算机代数系统Mathematica,获得了2＋1维破裂孤子方程组丰富的显式行波解,分别以含两个任意参数的双曲函数、三角函数和有理函数表示,该方法也适用于其它非线性波方程（组）。     

微分形式吴方法在Lie对称中的应用

Lie对称法和微分形式吴方法相结合的方法来计算微分方程（组）的对称.首先,用Lie对称法得到对称的确定方程组,该方程组一般比较大,难于求解,然后,用微分形式吴方法把确定方程组分解为一系列较简单的方程组来求解,文中算例说明这种方法是有效的.     

图的k-星着色的Grbner基求解

对于具有n个顶点的简单连通图G,首先证明求解G的k-星着色等价于一个多元多项式方程组在{1,2,…,k}上的求解问题,其次使用Grbner基给出求解该多元多项式方程组的方法,从而得到求G的星色数的一个可行途径,最后通过实例验证了此代数计算方法的有效性.     

有理三次PH曲线的G1 Hermite插值

探讨了有理PH曲线的G1 Hermite插值问题,运用复数表达将问题转化为包含5个复代数方程的方程组,通过求解这个方程组,得到结论:当插值条件形成凸多边形时,插值问题有2个解,其中之一为多项式解;而当插值条件形成非凸多边形时,只有切方向满足一定条件时,插值问题才有一个解.而对于后一种情况,总可以通过加点的方式细分原逼近曲线,进而得到由两段有理三次PH曲线G1拼接而成的4组样条插值曲线.     

(G′/G)方法及组合KdV-Burgers方程的行波解

用最近提出的（G′/G）方法求得组合KdV—Burgers方程的含有双参数的用双曲函数,三角函数和有理函数表示的行波解。其中双曲函数表示的行波解中参数取特殊值时可得文献已有的孤波解,本文表明（G′/G）方法是求解非线性演化方程行波解的一种直接、简洁、基本和行之有效的方法,可应用于许多其它非线性演化方程的求解。     

偏微分方程(组)守恒律的分类及吴方法的应用

使用直接产生法来对含参数的偏微分方程(组)进行守恒律分类,这个过程可转化为求解一个线性确定方程组,该方程组一般比较大,难于求解,可利用微分形式吴方法解决该问题.     

特征2李代数G2的生成元

利用特征2代数闭域上G2嵌入Gartan型李代数K(5)结果,给出特征2李代数G2的齐次生成元集,从而证明特征2李代数G2可以由两个元素生成.     

命题逻辑推理问题的代数化求解

数理逻辑对命题逻辑推理问题的处理采用的是公理化的形式演绎推理体系,该方法虽严密、可靠,但它对人的知识水平以及形式化、抽象化能力要求较高.因此,本文用初等代数方式把命题逻辑的演绎推理转化为方程组的计算求解,通过求解方程实现命题逻辑的演绎推理.首先用方程组表示命题逻辑推理中的前提,然后利用数学软件求解,最后把结果转化为要推导的结论,进而实现了命题逻辑推理的代数化求解.实例表明:在计算机技术的支持下,该方法是可靠、有效的.     

G’/G方法构造三维空间中Klein-Gordon-Zakharov方程的精确解

结合齐次平衡原理,运用G’/G展开方法,借助于计算机代数系统Mathematica构造了三维空间中Klein-Gordon-Zakharov方程的一系列显示精确解。这些解包括包络型孤立波解、双曲函数解、三角函数解以及有理函数解。     

用吴方法计算BBM-Burgers方程的势对称及其不变解

用微分形式的吴方法计算了BBM-Burgers方程的古典对称和势对称,并求解了对应的不变解.确定了势对称群,并把它应用于不同对称对应的不变解上得到该方程的一系列精确解.重要的是这些解不能由方程的古典对称得到.求解确定方程组时吴方法起到了关键作用.     

G′/G展开法求五阶色散方程的精确解

运用行波变换、齐次平衡原理和G′/G展开法研究广义五阶色散方程,讨论推广的五阶色散方程的解的存在性及其求解过程,得到推广的五阶色散方程所有可能情形下的G′/G解.     

利用(G''/G)-展开法求解2+1维破裂孤子方程组

利用最近提出的(G'/G)-展开法,并借助于计算机代数系统Mathematica,获得了2 1维破裂孤子方程组丰富的显式行波解,分别以含两个任意参数的双曲函数、三角函数和有理函数表示,该方法也适用于其它非线性波方程(组).     

利用半群代数中Gr(o)bner基构造特征值方法

特征值方法是求解多项式方程组的基本方法之一.由于利用了多项式的稀疏性半群代数K[A]中算法提高了效率.利用半群代数k[A]中Grobner基,构造了求稀疏多项式方程组解的特征值矩阵.证明了PZvV(G)为有限点集,则可构造一和xjv有关的有限阶方阵B,使得PZvV(G)=σ(B),其中σ(B)为矩阵B的谱:若G为零维理想,则对任意v,1≤v≤m,可构造方阵Bv,使得α∈PzvV(G)当且仅当它是Bv特征值,这时稀疏联合特征值问题可化为普通的.     

(G'/G)方法及组合KdV-Burgers方程的行波解

用最近提出的(G'/G)方法求得组合KdV-Burgers方程的含有双参数的用双曲函数,三角函数和有理函数表示的行波解.其中双曲函数表示的行波解中参数取特殊值时可得文献已有的孤波解,本文表明(G'/G)方法是求解非线性演化方程行波解的一种直接、简洁、基本和行之有效的方法,可应用于许多其它非线性演化方程的求解.     

利用（G′G）-展开法求Maccari系统的精确解

利用（G′G）-展开法求非线性发展方程行波精确解,并借助两个辅助方程,导出了Maccari方程组的精确解。     

弹性杆动力学方程的高精度数值计算及仿真

对于描述运动弹性杆的非线性偏微分/代数方程组,利用三角谱方法离散弧长变量s,将方程组离散为常微分/代数方程组,然后利用谱延迟修正方法进行数值求解,使数值离散方法达到谱精度.还分析了弹性杆运动的数值仿真问题并给出了数值结果.     

扩展的G′/G展开法和(2+1)维破裂孤子方程组的新解

对最近提出的G′/G展开法进行了进一步扩展,利用扩展后的方法研究了描述沿着y轴传播的Riemann波和沿着x轴传播的长波的(2+1)维相互作用的重要模型-(2+1)维破裂孤子方程组,得到了该方程组的3类涉及任意参数的新型精确行波解,当这些参数取特殊值时,可得它的钟状孤立波解、扭状孤立波解以及三角函数解等.该精确解的发现对实际模型的物质运动规律和物理机制的深入探索有着积极的作用.研究结果表明,该方法是探讨非线性偏微分方程精确解的一个十分有效的数学工具.