非线性偏微分方程求解法的研究与计算机机械化实现

本文基于非线性偏微分方程求解代数化、算法化、机械化的指导思想,提出一种新的三方程展开法,将其应用到微分差分方程中,并在符号计算软件Maple9的帮助下予以计算机机械化实现。以离散KdV方程为例,不但说明了该算法的有效性,而且得到了该方程的新的精确孤波解。