非线性微分差分方程守恒律的计算机自动推导

摘要

基于吴消元法和"分治"策略,改进了基于标度不变性构造非线性微分差分方程多项式形式守恒律的待定系数算法,并在计算机代数系统Maple上实现了改进后的算法,其中的软件包CLawDDEs可自动推导出微分差分方程的守恒密度及连带流.对于参数化的微分差分方程,CLawDDEs还能自动过滤出无穷守恒律存在的相容性条件.因此,CLawDDEs可作为测试非线性微分差分方程是否可积的有效工具.