非线性偏微分程求解和对称约化.pdfVIP

摘 要 本文根据数学机碱化思想，以符号计算软件为工具，研究了非线性发展方程的求解 问题，提出和改进了一些求解非线性发展方程的方法，并在符号计算系统Maple上予以 机械化实现．同时讨谚了高维非线性方程的对称约化问题，给出了求Lax可积系统的Lie 变换群的直接法的群论解释，进而改进了该方法． 第一章介绍了孤立子理论，数学机械化与符号计算，非线性发展方程(组)精确求解 的历史和发展现状以及微分方程的对称理论，同时介绍了国内外学者在这些学科领域所 取得的成果．最后介写了右文的主要工作． 的基本内容和思想．蓑于AC=BD理论和微分伪带余除法，提出了一个直接构造算子 C的算法．利用该算法得到的变换C不仅涉及到原方程的因变量，还涉及到自变量．该 范例．并以此为基础，将楼直接法推广应用到微分．差分系统中去．最后将AC=BD理 论应用于非线性偏微劈方程的对称分析，丰富了AC=BD理论． 第三章基于将非线性发展方程精确求解代数化，算法化，机械化的指导思想和AC= 维Toda晶格方程和Volterra品格方程，得到了新的精确孤波解． 第四章以求非线性发展方程的非行波解为目的，首先将古典Lie对称方法与新的构造 称变换群的楼直接法相结合，研究了(2+1)．维色散长波方程，得到了一些新的类孤波解． 程的谱问题．这里的谱参数恰好是Lax对中特征函数容许的一个无穷小生成元．最后， 该方法． 关键词：数学机械化；符号计算；精确解；辅助方程法j孤立子 NonlinearPartialDifferentialand Solving Equation Reduction Abstract Inthis the ofmathematicsmechanizationandmeansof dissertation，underguidance by of some nonlinear symbolic software，some significant computation problemssolving arediscussedandSomemethodsfor theexactsolutionsof equations constructing evolution are and realized methodsare on equationspresentedimproved．Thesepresented thesaine of reductions symbohccomputationsystemMaple．At time，the high— symmetry dimensionalare ofthedirect Lie equationsstudied．Groupexplanation methodforthe theLax is is of andthemethod group