基于计算机符号计算的非线性模型孤子解研究

论文摘要

随着信息技术的迅速发展,计算机符号计算作为人工智能的新分支学科之一,也逐渐成熟和完善,并被应用到非线性科学的研究中来。目前,计算机符号计算因其强大而精确的符号计算能力和操作简便、直观,易于实现等特点,已经逐渐发展成为人们从事非线性科学研究必不可少的计算机辅助工具之一,并在此基础上取得了丰硕的研究成果。尤其是近十几年间,基于计算机符号计算的孤子理论研究越来越成熟和发展起来。作为非线性科学的核心问题之一,孤子理论一直是国内外众多学者关注的一个热点领域,其中对于非线性模型孤子解的研究,无论在理论研究还是在实际应用上一直都是重要而又难以解决的问题,几乎在各个学科领域中都会遇到。在本论文中,作者结合本研究领域的发展现状,基于计算机符号计算对若干有着实际物理应用的非线性模型孤子解进行了研究,主要内容包括两个方面,研究构造非线性模型精确孤子解的方法;研究非线性模型孤子解的时间和空间特性。具体包括如下几个方面:①基于计算机符号计算将传统的双线性求解方法进行推广,使其适合于求解更复杂的高维和高阶非线性模型。推广的双线性方法借助于齐次平衡思想推导出非线性模型的双线性变换,将目标模型转化成易于求解的齐次方程。同时在求解过程中略去了将齐次方程分块和双线性化的过程,这样就避免了不适当的分块可能产生的对于模型孤子解的结构的限制。同时,利用计算机符号计算给出双线性算子的计算式,大大方便了我们利用双线性方法处理相关问题。②一般来讲,广义的时间变系数模型大多是不可积的,但是,当各个系数函数满足了一定的约束条件时却是可积的,也就是存在多孤子解,B（a｜¨）cklund变换,Lax对等。本文将推广的双线性方法应用于求解广义的变系数Korteweg-de Vries模型和变系数Kadomtsev-Petviashvili模型的精确多孤子解;基于这些方程的双线性形式,利用双线性算子的性质,推导出其对应解的自B（a｜¨）cklund变换,包括双线性形式和Lax形式的自B（a｜¨）cklund变换;进一步地,从解的双线性形式自B（a｜¨）cklund变换出发,可以得到模型的Lax对,或者解的非线性叠加公式;对于求得的多孤子解,通过绘图分析研究模型的各个变系数对于解的稳定性和传输方式的影响。③近年来,对于非线性Schr（o｜¨）dinger模型多孤子间的部分相干相互作用的研究引起了人们的兴趣。本文我们借助于计算机符号计算和推广的双线性方法,研究一个在现代光纤通信领域中有着重要应用的广义（1+1）维耦合非线性Schr（o｜¨）dinger模型的孤子解。并从得到的解出发,研究随着时间的发展各个变系数函数对于孤子稳定性的影响,包括传播速度和振幅,重点研究孤子间的相互作用,包括部分相干相互作用和孤波间的成对碰撞。④部分非线性Schr（o｜¨）dinger模型的孤子间存在一种特殊的形变碰撞,由于在这种碰撞过程中发生了能量再分配,而越来越受到人们的关注。借助于计算机符号计算,我们将研究一个广义耦合高阶非线性Schr（o｜¨）dinger模型间的这种奇妙的非弹性相互作用。该研究在光纤中的一个重要应用就是能量放大器,由于这种放大过程不需要外界的干扰和新能量的补充,因而很稳定,拥有广阔的实际应用前景。⑤对于非线性模型局域孤子的研究越来越积极和发展起来,各种局域相干结构也被不断地发现。同时,做为孤子间的一种非弹性相互作用,孤子的裂变和聚变也开始引起人们的关注。我们对于（1+1）维孤子解的相互作用已经研究的很深,并取得了很大的成就,但是高维方程的孤子解之间的相互作用确实很复杂的,而且维数越高,相互作用就越复杂。本文借助于计算机符号计算和计算机模拟,对于色散长波模型,在多孤子解的基础上,通过计算机软件模拟绘图的方式集中分析研究不同的局域相干结构间的这种裂变型非弹性相互作用,并且从数学角度简要分析裂变现象产生的原因。综上所述,本文将计算机符号计算与传统的双线性方法相结合,并将其推广应用于求解复杂的高维、高阶非线性模型中。对于几个有着典型物理意义的非线性模型进行了解析研究,包括构造多孤子解,B（a｜¨）cklund变换,Lax对等;并利用Mathematica计算软件的模拟绘图功能对求得孤子解的时间发展特性,相互之间的弹性和非弹性相互作用,以及它们潜在的物理应用进行了深入分析。希望本文的理论研究结果在将来的实验观察中能够得到证实,并对于相关研究有所帮助。

论文目录

• 摘要
• ABSTRACT
• 目录
• 第一章 绪论
• 1.1 研究背景
• 1.1.1 计算机符号计算
• 1.1.2.非线性模型
• 1.1.3.孤子
• 1.2 研究现状
• 1.2.1.计算机符号计算系统
• 1.2.2.非线性模型研究方法
• 1.2.3.孤子结构和孤子间相互作用
• 1.2.4.孤子的应用
• 1.3 本文的研究工作
• 1.3.1.研究模型
• 1.3.2.研究内容
• 第二章 计算机符号计算与双线性方法
• 2.1 基于计算机符号计算的双线性方法
• 2.2 双线性算子的计算机符号化
• 2.3 本章小结
• 第三章 基于计算机符号计算的非等谱变系数KdV模型和广义变系数KP模型孤子解研究
• 3.1 非等谱变系数KdV模型孤子解研究
• 3.1.1 多孤子解
• 3.1.2 双线性B（a|¨）cklund变换和非线性叠加公式
• 3.1.3 Lax对
• 3.1.4 孤子稳定性
• 3.2 广义变系数KP模型孤子解研究
• 3.2.1 多孤子解
• 3.2.2 双线性B（a|¨）cklund变换和非线性叠加公式
• 3.2.3 Lax对
• 3.2.4 孤子稳定性
• 3.3 本章小结
• 第四章 基于计算机符号计算的广义（1+1）维耦合NLS模型和广义高阶耦合NLS模型孤子解研究
• 4.1 广义（1+1）维耦合NLS模型的孤子解、成对碰撞和部分相干作用
• 4.1.1 解析孤子解
• 4.1.2 明孤子间的成对碰撞和部分相干相互作用
• 4.2 广义耦合高阶NLS模型孤子解间的形变碰撞
• 4.2.1 解析孤子解
• 4.2.2 孤子间的形变碰撞和能量再分配
• 4.3 本章小结
• 第五章 基于计算机符号计算的（2+1）维色散长波模型局域结构间的相互作用研究
• 5.1 孤子间的相互作用
• 5.2 （2+1）维色散长波模型的多孤子解
• 5.3 （2+1）维色散长波模型局域结构间的相互作用
• 5.4 孤子裂变产生的原因
• 5.5 本章小结
• 第六章 总结与展望
• 参考文献
• 致谢
• 攻读学位期间发表的学术论文目录