非线性发展方程求解法的研究与数学机械化实现
【摘要】:
本文根据数学机械化思想,以计算机符号和数值计算软件为工具,研究了孤立子理论中若干重要的非线性发展方程的求解方法及其相关问题,提出和发展了一系列求非线性发展方程解的方法,并在计算系统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平台,使同类问题自动求解。
|
|
|
|
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期 |
|