论文部分内容阅读
基于符号计算,本文分别从Bell多项式的角度、Riccati-型伪势的角度和非局域对称的角度对非线性数学物理中一些重要的非线性演化方程的可积性和对称性问题进行研究,并在符号计算平台Maple上开发了KdV-型方程可积性自动推演的程序包.另外,基于屠格式理论和源生成方法,研究了一类超可积方程族的自相容源和无穷守恒律.主要内容如下：第一章,介绍与本文研究内容有关的可积系统与符号计算的研究背景和发展现状,并阐述本文的主要研究工作.第二章,将Bell多项式方法推广到一些(1+1)-维、(2+1)-维和变系数的非线性演化方程可积性的研究.对于修正的广义Vakhnenko方程,系统地构造了其双线性形式、双线性Backlund变换、Lax对、N-孤子解和拟周期解,并通过图形对解进行了生动的刻画.进一步,通过引入辅助变量以及与之相关的辅助约束条件,研究了广义KdV-fKdV-型方程和变系数KdV-CBS-型方程的可积性,特别的,得到了它们相应的Darboux协变Lax对和无穷守恒律.第三章,基于Bell多项式方法,设计了一个构造KdV-型方程双线性形式、双线性Backlund变换、Lax对和无穷守恒律的系统算法.基于该算法,在符号计算平台Maple上编写了实现该算法的程序包PDEBellII特别的,程序包PDEBellII也适用于mKdV-型方程双线性形式的自动推演.第四章,基于Riccati-型伪势理论和非局域对称理论研究非线性演化方程的可积性和对称性.利用Riccati-型伪势方法,构造了变系数fKdV方程的Lax对、AKNS形式的Lax对、自-Backlund变换和奇异流形方程；利用五阶Lax方程的Riccati-型伪势和广义KP方程的Lax对,分别得到了它们相应的的非局域对称,通过对非局域对称进行局域化,进一步研究了它们相应的有限对称变换和对称约化.第五章,研究了一类超可积方程族的自相容源和无穷守恒律.从一个超可积方程族出发,利用源生成方法构造了其自相容源；同时,通过引入两个新的变量,将谱问题转化为Riccati-型方程,得到其无穷守恒律.第六章,对全文工作进行讨论和总结,并对下一步要进行的研究工作做了展望.