论文部分内容阅读
本文根据吴文俊院士提出的数学机械化的思想，在导师张鸿庆教授“AC=BD”理论的指导下，以构造性的变换和符号计算为工具，研究在弹性力学、流体力学、空气动力学、等离子体物理、生物物理和化学物理等现代科学技术中引出的非线性发展方程的若干求精确解的方法。
第一章介绍了数学机械化的思想与计算机代数，回顾了孤立子研究的历史与发展以及非线性偏微分方程精确解的若干构造性方法。
第二章在“AC=BD”统一理论框架下考虑非线性偏微分方程(组)精确解的构造。给出了“AC=BD”理论的基本思想和应用，通过具体的变换给出了构造C-D对的算法。
第三章主要推广了tanh函数方法并介绍了我们推广的一种直接求解非线性发展方程的方法-广义的Riccati方程有理展开法。并将它们分别应用到H-S方程，复杂的KdV-方程以及(2+1)-维KdV-Burges方程。获得了这些方程许多新的精确解(孤波解、类孤波解、周期解、类周期解、有理解等)。