特征列方法是數(shù)學機械化理論的核心算法,目前已被應用于機器證明定理、方程求解、數(shù)字控制等多個領(lǐng)域.對稱性理論在非線性微分-差分方程的研究中起著非常重要的作用,李對稱群方法正好是研究方程對稱性的有力工具.本文的核心思想是將特征列方法和李對稱方法相結(jié)合,先利用李對稱方法求得確定方程組,再通過特征列方法求解確定方程組,從而求得非線性微分-差分方程組的向量場和交換關(guān)系.本文共由三章組成:第一章是緒論,主要講述了數(shù)學機械化和Lie對稱的研究內(nèi)容,歷史背景,發(fā)展歷程以及微分-差分特征列的簡單介紹.第二章是預備知識,主要講述了微分-差分特征列以及Lie群的一些概念以及原理算法,討論了 Lie對稱的生成元、延拓及不變?nèi)?給出了基于特征列法的微分-差分方程對稱算法理論.第三章是本文的核心,將差分特征列法與Lie對稱法有機結(jié)合,利用Lie對稱理論中的交換流方法得到確定方程組,然后結(jié)合差分特征列法獲得了 Langmiur chains方程和Klein-Gorden方程的向量場和交換關(guān)系.
【學位單位】：黑龍江大學
【學位級別】：碩士
【學位年份】：2018
【中圖分類】：O175;O152.5

【參考文獻】

相關(guān)期刊論文 前7條

1 白永強;薛紅梅;;MKdV和FPU方程的李點對稱[J];數(shù)學雜志;2015年04期

2 呂世增;張大衛(wèi);劉海年;;基于吳方法的6R機器人逆運動學旋量方程求解[J];機械工程學報;2010年17期

3 特木爾朝魯;白玉山;;基于吳方法的確定和分類(偏)微分方程古典和非古典對稱新算法理論[J];中國科學:數(shù)學;2010年04期

4 徐澤林;;吳方法與和式幾何研究[J];自然科學史研究;2008年04期

5 彭強,張同莊,劉惠林;平面四桿機構(gòu)五點軌跡綜合的吳方法[J];機械設計與制造;2004年04期

6 高小山;數(shù)學機械化進展綜述[J];數(shù)學進展;2001年05期

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

相關(guān)碩士學位論文 前6條

1 馮延竹;利用差分特征列方法求解一類差分方程組[D];黑龍江大學;2016年

2 朱琳琳;應用微分—差分特征列方法求解某一類Toda Lattice方程組的精確解[D];黑龍江大學;2015年

3 劉穎;微分—差分特征列方法在精確求解相對論戶田格系統(tǒng)中的應用[D];黑龍江大學;2015年

4 李富強;關(guān)于兩個三次Bezier曲線之間幾何約束表示方程的研究[D];黑龍江大學;2014年

5 周軼;利用微分—差分特征列方法精確求解Blaszak-Marcinik 4-場格系統(tǒng)[D];黑龍江大學;2012年

6 孔輝;吳方法在PnP問題中的應用[D];國防科學技術(shù)大學;2003年

本文編號：2816173