收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

非线性发展方程求解法的研究与数学机械化实现

任玉杰  
【摘要】: 本文根据数学机械化思想,以计算机符号和数值计算软件为工具,研究了孤立子理论中若干重要的非线性发展方程的求解方法及其相关问题,提出和发展了一系列求非线性发展方程解的方法,并在计算系统Maple或MATLAB上予以机械化实现。将数学机械化方法应用于相关学科,开发了数学机械化软件平台。主要的工作如下: 第一章介绍了孤立子理论和非线性发展方程求解理论及其数学机械化研究的历史发展和现状。同时介绍了一些关于这些学科的国内外学者所取得的成果。 第二章介绍了构造非线性发展方程精确解的“AC=BD”模式和构造“C-D”对的算法,利用Maple和“AC=BD+R”带余除法构造精确解的具体算法。 第三章基于将非线性发展方程求解统一化,算法化,机械化的思想,运用吴方法和符号计算的工具,建立了广义双曲函数的理论,提出了求非线性发展方程的广义双曲函数解和研究解的长时间行态及其相关问题的一系列方法。主要内容如下: (1)给出广义双曲函数的定义和代数与微分性质及其证明,构造非线性发展方程解的广义双曲函数变换的定义和一些具体形式。 (2)提出了广义双曲函数-B(?)cklund变换方法,将其应用于解非线性发展方程组,求出了许多新的更一般的精确解。用计算机数值模拟方法研究了一些解的长时间的行态,结果表明这些新解具有良好的长时间的稳定性。 (3)提出了划分非线性发展方程的广义双曲函数解的长时间行态的三段法,并将其应用于研究一些非线性发展方程的广义双曲函数解的长时间稳定性,检验该方法的有效性。另外,还分别提出了修正广义双曲函数解和变系数解的长时间行态的方法。 (4)根据WTC方法和齐次平衡法构造B(?)cklund变换的方法的思想,提出了一种构造B(?)cklund变换的方法及其机械化算法,并将该方法应用于构造一些高阶高维的非线性发展方程的B(?)cklund变换,检验了有效性和可靠性。另外,还提出了与该方法相关的定理,并给出了证明。 (5)利用计算机数值模拟方法,广泛地研究了非线性发展方程的广义双曲函数解中的三个参数的不同取值对该解的局部性质和长时间行态的影响,一个非线性发展方程在同一种自-B(?)cklund变换下,取不同类型的种子解对该发展方程解的个数和解的形式的影响,不同类型的种子解对解的主部的影响,各种类型的广义双曲函数解的长时间行态,不同类型的非行波解和行波解的长时间行态的比较等问题,有一些新的发现,提出四个猜测。 第四章以符号计算软件Maple为工具,发展了构造非线性发展方程精确解的改进的F-展开法和推广的射影-Riccati方程法,提出了如下方法及其定理: (1)构造了广义双曲函数-Riccati方程,提出了有关广义双曲函数-Riccati方程具有新的更一般的广义双曲函数解的定理、广义的射影Riccati方程和射影Riccati方程是广义双曲函数-Riccati方程的特例的定理,并且用Maple机械化方法给出了这两个定理的证明。 (2)利用广义双曲函数-Riccati方程,提出了广义双曲函数-Riccati方法,并用该方法求出了非线性发展方程的新的更一般形式的解。 (3)通过构造两类更一般的变换,提出了广义F-展开法和扩展的广义F-展开法。并将这些方法分别应用到一些非线性发展方程,结果成功地获得了这些方程的许多新的更一般的精确解。 第五章构造更一般的变换,给出类N孤子解的定义和猜测5,发展了Exp-函数方法,提出了Exp-B(?)cklund变换方法和Exp-类N孤子方法。利用这两种新方法获得了一些非线性发展方程的包含行波解和非行波解的更一般形式的精确解,并用计算机数值模拟方法研究了这类解的长时间行态。 第六章发展了求非线性发展方程的行波解的代数方法,提出了如下方法及其相关的定理: (1)提出了一般形式的变换和相关定理,然后用Maple机械化方法证明了该定理。 (2)提出了求一阶任意次非线性常微分方程的精确解的机械化算法及其Maple程序,通过求六、八、十、十二次非线性常微分方程的某些一般形式的新的精确解,验证了该方法的有效性和可靠性。 (3)利用一阶任意次非线性常微分方程及其新的精确解,提出了广义的代数方法和扩展的广义的代数方法,并将它们分别应用到一些非线性发展方程,结果得到许多新的行波解和非行波解。 第七章改进了一些数值算法,提出了一类求非线性发展方程解的数值与解析混合运算的方法,求解常微分方程初值问题的改进的亚当斯方法等,提高了数值计算精度,并算法实现了机械化。另外,还提出了数值解、符号解、误差估计、输出结果图形可视化或表格化并举的设计数值计算机软件的新策略,开发了大量的数学计算机软件程序,建立了数值分析和高等数学的机械化软件MATLAB平台,使同类问题自动求解。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 包霞;斯仁道尔吉;;(2+1)维耗散长波方程与(2+1)维Broer-Kaup方程新的类孤子解[J];西北民族大学学报(自然科学版);2006年01期
2 套格图桑;斯仁道尔吉;旺吉乐;;三角函数型辅助方程法与非线性发展方程的精确解[J];内蒙古师范大学学报(自然科学汉文版);2008年05期
3 陆启韶 ,蒋正新;一类非线性发展方程的分叉问题[J];北京航空航天大学学报;1985年02期
4 梁进;肖体俊;;一致凸Banach空间中自治非线性发展方程解的渐近性态[J];云南师范大学学报(自然科学版);1991年04期
5 江成顺,柯敬伟,王书彬;一类非线性发展方程及其相应的发展算子[J];信息工程学院学报;1994年01期
6 吕蓬,吴耀红,彭武安,张辉;一类非线性发展方程的计算稳定性[J];现代电力;2001年04期
7 陈登远,曾云波;非线性发展方程的转换算子Ⅲ[J];数学学报;1985年02期
8 张健;一类非线性发展方程解的熄灭行为[J];应用数学学报;1990年03期
9 斯仁道尔吉;一个非线性发展方程的准确解[J];内蒙古师范大学学报(自然科学汉文版);1990年03期
10 尚亚东,钮鹏程;几个非线性发展方程的精确孤立波解[J];纯粹数学与应用数学;1998年01期
11 尚亚东;几个非线性发展方程的精确孤立波解[J];甘肃科学学报;1998年04期
12 宋叔尼,傅显隆;一类非线性发展方程解的存在性[J];东北大学学报(自然科学版);1999年03期
13 盛万成,盛其荣;非线性发展偏微分方程的一些结果[J];新疆大学学报(自然科学版);1999年03期
14 叶耀军;一类二阶非线性发展方程整体解的渐近性(英文)[J];数学研究与评论;2004年01期
15 那顺布和,苏志勋,丁效华;一类非线性发展方程的AGE方法与并行计算[J];哈尔滨工业大学学报;2004年06期
16 周振中;非线性发展方程的计算稳定性对初值的依赖[J];大气科学;1983年02期
17 陈仲英;Banach空间中一类非线性发展方程的投影近似可解性及敛速估计[J];中山大学学报(自然科学版);1985年01期
18 李海峰;;高阶非线性发展方程初边值问题解的爆破[J];纺织高校基础科学学报;1990年04期
19 闫庆银;一类非线性发展方程的混合有限元方法[J];高等学校计算数学学报;1992年03期
20 王淑香;非线性发展方程的代数孤立波解[J];昭乌达蒙族师专学报;2003年05期
中国重要会议论文全文数据库 前7条
1 朝鲁;;求解非线性发展方程精确解的一个新方法[A];数学·力学·物理学·高新技术交叉研究进展——2010(13)卷[C];2010年
2 赵鸿萍;于洪珍;蒋宏民;;孤子特性的数值研究及其在信息通讯领域的应用前景展望[A];1998年中国智能自动化学术会议论文集(下册)[C];1998年
3 张晓霞;吴庆荣;张海涛;刘玉;赵鹏;朱子岳;胡志刚;齐建珍;;应用混沌、孤立子理论验证微型细管牛冷冻精液最佳始冻温区[A];第六届全国低温生物医学及器械学术大会论文集[C];2009年
4 张华彦;冉政;;Lie对称性与KdV孤立波计算中的非线性不稳定性问题[A];第二十一届全国水动力学研讨会暨第八届全国水动力学学术会议暨两岸船舶与海洋工程水动力学研讨会文集[C];2008年
5 杜殿楼;;有限维可积系统[A];Proceedings of CCAST(World Laboratory) Workshop——VOLUME 193 Integrable Systems-Theory and Applications[C];2008年
6 戴世强;孟庆勋;;孤立波史话——浅谈观察与思考[A];中外力学思维纵横——第四届全国力学史与方法论学术研讨会论文集[C];2009年
7 高亮;徐伟;唐亚宁;;一个2+1维Hirota双线形方程精确解的多样性[A];第十二届全国非线性振动暨第九届全国非线性动力学和运动稳定性学术会议论文集[C];2009年
中国博士学位论文全文数据库 前10条
1 任玉杰;非线性发展方程求解法的研究与数学机械化实现[D];大连理工大学;2007年
2 刘恂;几类非线性发展方程的精确行波解的研究[D];江苏大学;2010年
3 刘绍庆;非线性发展方程精确解的研究[D];中国海洋大学;2012年
4 套格图桑;论非线性发展方程求解中辅助方程法的历史演进[D];内蒙古师范大学;2011年
5 李文婷;AC=BD模式下非线性发展方程求解的若干问题研究[D];大连理工大学;2010年
6 刘春平;非线性发展方程求精确解若干问题的研究[D];扬州大学;2011年
7 王强;两类非线性发展方程的分析与计算方法研究[D];天津大学;2011年
8 智红燕;非线性偏微分方程求解和对称约化[D];大连理工大学;2007年
9 张渊渊;孤子方程求解中的若干构造性技巧[D];大连理工大学;2007年
10 张艳艳;非线性发展方程整体解的渐近性态及其稳态解[D];复旦大学;2010年
中国硕士学位论文全文数据库 前10条
1 高华;Exp-函数法和(G'/G)-展开法在非线性发展方程求解中的应用[D];西北农林科技大学;2010年
2 王灯山;一类非线性发展方程的非行波解的构造[D];大连理工大学;2005年
3 蔡晓娜;几类非线性发展方程的精确解[D];浙江师范大学;2010年
4 孟宪良;非线性发展方程的精确解[D];四川师范大学;2007年
5 李姝敏;几类离散系统解法初探[D];内蒙古师范大学;2007年
6 李军红;用标准的和推广的tanh函数展开法求解非线性发展方程[D];西北大学;2010年
7 宋朝晖;非线性发展方程的扩展守恒律和孤子解[D];大连理工大学;2010年
8 陈良;非线性发展方程的系统求解方法及其精确解析解[D];安徽大学;2004年
9 扎其劳;两类新辅助方程及其应用[D];内蒙古师范大学;2004年
10 范国强;非线性发展方程的新解[D];内蒙古师范大学;2008年
中国重要报纸全文数据库 前2条
1 ;2010年上海十大新闻[N];文汇报;2011年
2 记者 徐敏;小行星“谷超豪星”命名[N];解放日报;2009年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978