基于特征列法的差分李对称分析及符号计算

发布时间：2020-09-10 18:40

　　 特征列方法是数学机械化理论的核心算法,目前已被应用于机器证明定理、方程求解、数字控制等多个领域.对称性理论在非线性微分-差分方程的研究中起着非常重要的作用,李对称群方法正好是研究方程对称性的有力工具.本文的核心思想是将特征列方法和李对称方法相结合,先利用李对称方法求得确定方程组,再通过特征列方法求解确定方程组,从而求得非线性微分-差分方程组的向量场和交换关系.本文共由三章组成:第一章是绪论,主要讲述了数学机械化和Lie对称的研究内容,历史背景,发展历程以及微分-差分特征列的简单介绍.第二章是预备知识,主要讲述了微分-差分特征列以及Lie群的一些概念以及原理算法,讨论了 Lie对称的生成元、延拓及不变群,给出了基于特征列法的微分-差分方程对称算法理论.第三章是本文的核心,将差分特征列法与Lie对称法有机结合,利用Lie对称理论中的交换流方法得到确定方程组,然后结合差分特征列法获得了 Langmiur chains方程和Klein-Gorden方程的向量场和交换关系.
【学位单位】：黑龙江大学
【学位级别】：硕士
【学位年份】：2018
【中图分类】：O175;O152.5

【参考文献】

相关期刊论文 前7条

1 白永强;薛红梅;;MKdV和FPU方程的李点对称[J];数学杂志;2015年04期

2 吕世增;张大卫;刘海年;;基于吴方法的6R机器人逆运动学旋量方程求解[J];机械工程学报;2010年17期

3 特木尔朝鲁;白玉山;;基于吴方法的确定和分类(偏)微分方程古典和非古典对称新算法理论[J];中国科学:数学;2010年04期

4 徐泽林;;吴方法与和式几何研究[J];自然科学史研究;2008年04期

5 彭强,张同庄,刘惠林;平面四杆机构五点轨迹综合的吴方法[J];机械设计与制造;2004年04期

6 高小山;数学机械化进展综述[J];数学进展;2001年05期

7 石赫;;THE POLE ASSIGNMENT OF LINEAR SYSTEMS[J];Systems Science and Mathematical Sciences;1991年04期

相关硕士学位论文 前6条

1 冯延竹;利用差分特征列方法求解一类差分方程组[D];黑龙江大学;2016年

2 朱琳琳;应用微分—差分特征列方法求解某一类Toda Lattice方程组的精确解[D];黑龙江大学;2015年

3 刘颖;微分—差分特征列方法在精确求解相对论户田格系统中的应用[D];黑龙江大学;2015年

4 李富强;关于两个三次Bezier曲线之间几何约束表示方程的研究[D];黑龙江大学;2014年

5 周轶;利用微分—差分特征列方法精确求解Blaszak-Marcinik 4-场格系统[D];黑龙江大学;2012年

6 孔辉;吴方法在PnP问题中的应用[D];国防科学技术大学;2003年

本文编号：2816173