Wu_Ritt消元法在偏微分代数方程中的应用.pdf

摘要 摘 要 本文以计算机代数和Wu．Pitt消元理论为工具，以构造机械化算法为目的，以源于 物理、力学、光学等领域中的非线性问题所对应的非线性偏微分代数方程(组)为研究 对象，研究了它们的一些问题，如精确解(孤子解、周期解)、解的完备性(局部意义 下)、Painleve检验以及其Taylor级数解。 第一章简单介绍了本文所涉及到的学科的起源和发展过程，以及国内外学者在这些 方面所做的工作和已经取得的一些成果。 第二章考虑了非线性偏微分代数方程(组)的精确解的构造方法。首先给出了c．D 对和C-D可积系统的基本理论，然后通过构造具体的变换求得了一些方程组的精确解。 7平台上编程实现。 并在Maple 第三章利用Wu—Pitt消元理论，讨论了线性偏微分代数方程组的解(局部)的完备 性问题，给出了判定其完备性的一个充分必要条件和构造性的算法。并研究了非线性偏 微分方程组的解在正则部分的情形。 通项公式的情况下，求出其所有的共振点，利用Wu-Ritt消元理论解决共振方程的相容 性问题。并在Maple7平台上编程实现。以KdV方程和Burgers方程为例说明了算法的 可行性。 第五章讨论了偏微分代数方程的Taylor级数解。在特征集的基础上，讨论了其参数 导数的构成情况，用有限个点和函数表示了无穷个参数导数的情形。推广了在线性情况 下获得的结果，并进一步给出了线性微分理想的维数公式。 关键词：计算机代数，Wu．Pitt消元理论，特征集，偏微分代数方程，精确解 Painleve检验，解的完备性，Taylor级数解，数学机械化 中图分类号：0155，0175．2 1，35Q53 AMS(1991)主题分类号：34A05，35G25，35Q5 英文摘要 ract Abst Inthis nonlineardifferential or dissertation,the equationequations partial algebraic tosome which from or nodmear fPDAEPDAEs)related topics origin and etalare exact solutions(soliton optics studied，including solution，periodicsolution)， ofthe Testand seriessolutions，The solutions(10cal)，PainleveTaylor computer compatibility Wu—Ritt methodare aSthetoolstodealwiththis and elimination algebra employed problem． The is constructmechanizationmethods． aimtO some of relatedtothis the