Poisson方程的一维最优系统和不变解

本文研究了Poisson方程的一维最优系统及其不变解问题.利用吴-微分特征列集算法,借助于Mathematica软件,计算了Poisson方程的古典对称,并构建了Lie代数的一维最优系统.同时,利用不变量法,获得了一维最优系统中一个元素对应的Poisson方程的不变解.得到的结果推广了Poisson方程的精确解.     

对称分类在非线性偏微分方程组边值问题中的应用

研究了微分方程对称分类在非线性偏微分方程组边值问题中的应用.首先,利用偏微分方程(组)完全对称分类微分特征列集算法确定了给定非线性偏微分方程组边值问题的完全对称分类;其次,利用一个扩充对称将非线性偏微分方程组边值问题约化为常微分方程组初值问题;最后,利用龙格-库塔法求解了常微分方程组初值问题的数值解.     

利用对称方法求解非线性偏微分方程组边值问题的数值解

本文研究微分方程对称方法在非线性偏微分方程组边值问题中的应用.首先,利用吴-微分特征列集算法确定给定非线性偏微分方程组边值问题的多参数对称;其次,利用对称将非线性偏微分方程组边值问题约化为常微分方程组初值问题;最后,利用龙格-库塔法求解常微分方程组初值问题的数值解.     

基于吴方法的确定微分方程对称Lie代数结构常数机械化算法

本文基于微分形式吴方法理论及算法给出无需确定对称Lie代数本身而事先构造其同构像(具有同结构常数的Lie代数)的机械化算法.该算法有效提高构造(偏)微分方程(组)对称Lie代数的效率,并可应用于对称Lie代数各类性质的机械化分析和判定.最后给出算例验证算法的有效性.