学位论文 > 优秀研究生学位论文题录展示

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

作　者: 任玉杰
导　师: 张鸿庆
学　校: 大连理工大学
专　业: 计算数学
关键词: 非线性发展方程孤立子精确解数学机械化符号计算广义双曲函数解的长时间行态 Exp-类N孤子方法广义双曲函数-B(a ¨)cklund变换方法广义双曲函数-Riccati方法广义F-展开法广义的代数方法
分类号: O241
类　型: 博士论文
年　份: 2007年
下　载: 758次
引　用: 2次
阅　读: 论文下载

内容摘要

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

全文目录

摘要  4-6
Abstract  6-11
第一章绪论  11-29
  §1.1 孤立子研究的历史和发展概况  11-14
  §1.2 非线性发展方程求解方法的研究与发展状况  14-20
  §1.3 数学机械化和数学软件的发展状况  20-25
  §1.4 本文的选题和主要工作  25-29
第二章非线性发展方程求解的"AC=BD+R"理论及其应用  29-41
  §2.1 非线性发展方程求解的"AC=BD+R"理论及其应用  29-32
  §2.2 "AC=BD"理论中C-D对的构造方法  32-36
  §2.3 "AC=BD"理论中A的构造方法  36-37
  §2.4 解非线性发展方程的"AC=BD+R"的机械化方法  37-41
第三章广义双曲函数-B(¨|a)cklund变换与广义双曲函数解的长时间行态  41-137
  §3.1 广义双曲函数和广义双曲函数变换的概念和性质  43-49
  §3.2 构造B(¨|a)cklund变换的算法及其机械化实现  49-60
  §3.3 广义双曲函数-B(¨|a)cklund变换方法及其机械化实现  60-81
  §3.4 广义双曲函数解的三个参数对该解的影响  81-95
  §3.5 非线性发展方程的广义双曲函数解的性质和长时间行态的划分方法  95-114
  §3.6 修正非线性发展方程的广义双曲函数解的长时间行态的三参数机械化修正方法  114-121
  §3.7 非线性发展方程解的长时间行态与变系数函数机械化修正方法  121-137
第四章广义双曲函数-Riccati方法和(扩展的)广义F-展开法及其应用  137-167
  §4.1 非线性发展方程的广义双曲函数-Riccati方法和广义双曲函数-Riccati方程  138-144
  §4.2 广义双曲函数-Riccati方法在(1+1)维WBK方程中的应用  144-149
  §4.3 广义F-展开法及其在(2+1)维NNV方程中的应用  149-156
  §4.4 扩展的广义F-展开法及其在(2+1)维破裂孤子方程中的应用  156-167
第五章 Exp-类N孤子方法和Exp-B(¨|a)cklund变换方法及其应用  167-189
  §5.1 求高阶非线性发展方程精确解的Exp-B(¨|a)cklund变换方法及其发展  168-171
  §5.2 Exp-B(¨|a)cklund变换方法的应用及Exp-函数解的长时间的行态  171-182
  §5.3 求高阶非线性发展方程精确解的Exp-类N孤子方法及其发展  182-185
  §5.4 Exp-类N孤子方法在(2+1)维广义KdV-Burgers方程中的应用及其解的长时间行态  185-189
第六章发展方程的(扩展的)广义代数方法与常微分方程的机械化算法及其应用  189-221
  §6.1 求一阶任意次非线性常微分方程精确解的机械化算法及其Maple程序  190-195
  §6,2 求非线性发展方程精确解的广义的代数方法与一阶六次非线性常微分方程的新解  195-201
  §6.3 用广义的代数方法求(2+1)维K-D方程的行波解和非行波解  201-209
  §6.4 用机械化方法求一阶任意次非线性常微分方程的精确解  209-214
  §6.5 扩展的广义代数方法及其在(1+1)维一般型均匀色散管理光纤系统方程中的应用  214-221
第七章数学机械化方法的研究及其计算机软件的实现  221-245
  §7.1 建立数值分析机械化软件平台的设计策略、主导思想和技术要求及其要达到的目的  222-224
  §7.2 建立数值分析机械化软件平台的设计难点和解决方案及其实际效果  224-233
  §7.3 数值算法的改进和其他学科中数学机械化方法的研究及其计算机软件的实现  233-239
  §7.4 求非线性发展方程解的数值与解析混合运算方法及机械化实现  239-245
参考文献  245-259
在读博士期间发表的部分论文、著作、参加的课题和获奖情况  259-261
创新点摘要  261-263
致谢  263-265

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

内容摘要

全文目录

相似论文