计算微分方程对称的符号算法及其实现

对文〔4〕中计算微分方程 (组 )古典对称确定方程组的部分程序作了一些改进 ,使其更具实用性 ,提高了运算速度 ,实现了文〔3〕中提出的“部分计算”与信息反馈法的机械化 ,使输出结果更简洁 ,便于用吴 -微分特征列法〔3〕对确定方程组作进一步简化 .同时编制了计算微分方程(组 )非古典对称的程序 ,该程序具有通用性好 ,效率高等特点 .本文程序是由符号计算系统软件 Mathematica实现的 .作为算例给出了 m KDV方程的非古典对称及利用对称将 Jim bo-Miwa方程化成了常微分方程 ,说明了我们的算法、程序及对称理论的有效性 .