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

基于计算机符号计算的若干变系数非线性模型可积性质的研究

李娟  
【摘要】: 随着计算机符号计算的迅猛发展,在非线性科学中,基于符号计算的变系数模型的解析研究已逐渐成为孤子理论的重要研究方向之一,特别是关于变系数模型可积性质的研究备受关注。计算机符号计算具有易于操作和实现的特点,能够以算法化的形式处理繁复冗长的表达式,可为变系数非线性发展方程的研究工作提供功能强大的辅助工具。 本文主要借助计算机符号计算将某些适用于常系数非线性发展方程的方法进行推广,并应用于若干变系数模型,解析地研究它们的可积性质,如变系数Korteweg-de Vries(KdV)模型、变系数高阶非线性Schr(?)dinger(NLS)模型、修正KdV-Sine-Gordon(mKdV-SG)模型、变系数Gardner模型、柱Kadomtsev-Petviashvili(KP)模型和谱可变修正KP(mKP)模型等等。这些变系数模型在物理学和工程技术领域的不同分支中都有着广泛的应用,如光纤通信、等离子体、超导体、流体力学和非线性晶格等,特别是可用于描述带有非均匀边界条件或非均匀介质的物理背景中的各种非线性波动现象的动力学机制。 在本文中,作者主要针对变系数可积模型的研究提出便于计算机符号计算实现的算法,并将其应用于若干变系数模型可积性质的研究之中。此外,借助数学计算软件着重探讨所得解析结果的物理机制和潜在的物理应用。本文的内容主要包括如下几个方面: (一)基于符号计算的变系数Ablowitz-Kaup-Newell-Segur(AKNS)方法:本文对常系数AKNS方法进行适当推广,并结合符号计算提出适用于构建变系数可积系统Lax对的算法,这样,可在很大程度上扩展该方法的适用范围。同时以在等离子体物理、非线性晶格、玻色爱因斯坦凝聚和海洋动力机制等领域中有着广泛应用的变系数模型为例,阐述了变系数AKNS算法的有效性和适用性。利用该变系数算法,可以更直接更有效地研究变系数非线性模型的某些性质,不仅可以获得常系数模型的线性系统,而且还可以构建变系数可积模型的Lax对。 (二)基于计算机符号计算的变系数非线性模型自-B(?)cklund变换和多孤子型解的研究:一方面,利用自-B(?)cklund变换与逆散射方法之间的等价关系,提出由变系数可积模型的Lax对推导自-B(?)cklund变换的系统算法,实现对变系数模型可积性质的直接有效的分析探讨,并获得相应的自-B(?)cklund变换和单孤子型解;另一方面,在一定的约束条件下,借助符号计算分别推出从变系数KdV模型和变系数Gardner模型到与它们相对应的常系数可积模型的坐标变换,进而基于此研究了变系数非线性发展方程的孤子解及某些可积性质,如自-B(?)cklund变换、非线性叠加公式和Lax对等。文中还以一类源于动脉机制和玻色爱因斯坦凝聚等物理领域的广义的变系数KdV模型为例,借助符号计算推出该模型的非线性叠加公式和无穷守恒律,并得到双孤波型解。借助Mathematica软件对解析解的潜在物理应用进行直观地分析讨论。 (三)符号计算与变系数非线性模型的Darboux变换:与经典B(?)cklund变换相比,Darboux变换的一个显著优势就是既含有势函数变换又存在波函数变换,可反复利用同一个算法迭代推出非线性发展方程的一系列解析解。文中主要结合符号计算、Darboux变换、变系数非线性模型的某些特点,提出构造变系数可积模型Darboux变换的算法,并得到相应模型N次迭代的势函数变换公式及多孤子型解。特别地,将双奇异流形方法推广应用到具有双Painlevé分支的变系数谱可变mKP模型,借助符号计算得到该可积模型的自-B(?)cklund变换、Lax对、Darboux变换和Grammian形式的解析解。 (四)基于符号计算的柱KP模型的Darboux变换和多孤子型解的研究:主要利用非线性化方法和符号计算研究柱KP模型所描述的尘埃等离子体和玻色爱因斯坦凝聚中的抛物线型尘埃声波孤子结构。首先,从柱KP模型的Lax对及其共轭Lax对着手,构造两者之间合适的对称约束并提出两种可积分解,即单个Lax对的非线性化和两个对称Lax对的非线性化;其次,从考察柱KP模型与(1+1)维可积方程之间关系的角度直接构造可积分解。这三种可积分解分别将柱KP模型分解为同一梯队中的两组(1+1)维变系数可积系统,从而可降低模型的维数,达到利用低维方程研究高维复杂方程的目的。借助符号计算获得分解后的(1+1)维可积系统的几种Darboux变换,进而得到柱KP模型一系列的孤子型解。借助Mathematica软件分析讨论了单抛物线型孤子、稀疏型和压缩型孤子的共振结构及离子声波孤子碰撞结构在尘埃等离子体和玻色爱因斯坦凝聚中的物理机制和潜在的物理应用。 (五)利用计算机符号计算重点研究在非线性光纤光学中有着重要应用的变系数高阶NLS模型的可积性质:通过Painlevé分析方法得到该模型存在脉冲孤子解的两种系数约束条件,在其中一种条件下,该模型的一些可积性质已被广泛研究。本文着重探讨变系数高阶NLS模型在另外一种约束条件下具有的可积性质,包括3×3矩阵Lax对、Darboux变换和多孤子型解。通过对解析解中物理参数(如自陡峭效应和光纤增益/损耗效应)的合理取值,并借助单孤子型解和双孤子型解的几组图形,直观详细地讨论了飞秒光孤子脉冲在非均匀光纤系统中的某些特性及其潜在应用。 综上所述,本论文针对变系数模型含有任意变系数函数的特点,基于符号计算提出了若干研究变系数模型可积性质的算法,并利用Mathematica计算软件对所得解析结果的潜在物理应用进行了深入分析。作者希望文中提出的用于研究变系数模型可积性质的方法,如变系数AKNS方法、推导自-B(?)cklund变换的方法、构造Darboux变换的方法及得到变系数模型多孤子型解的方法,能够为其它类型的变系数非线性模型的研究工作提供一定的帮助。同时也希望本文获得的解析结果及关于孤子型解的分析讨论,有可能在未来的空间和实验室环境中被观察到,并有助于解释光纤通信、超导体、非线性晶格、流体力学、尘埃等离子体和玻色爱因斯坦凝聚等领域中非线性现象的物理机制。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 王继民,李廉;P-ADIC方法求解DIOPHANTINE方程[J];兰州大学学报(自然科学版);1992年S1期
2 刘明才;杨日璟;董丽;;利用MATLAB符号计算求解双正交小波滤波器系数[J];大学数学;2007年06期
3 斯英古;符号计算介绍(续)[J];数值计算与计算机应用;1989年02期
4 梁肇军;计算机辅助教学(CAI)与数学教学改革[J];高等函授学报(自然科学版);1999年01期
5 白秀;杨培凤;;利用一类辅助函数方法求非线性发展方程精确解[J];赤峰学院学报(自然科学版);2009年01期
6 罗琳,汤燕斌;几类非线性方程组的行波解[J];华中师范大学学报(自然科学版);2003年02期
7 谭劲,陈元莉,黄蕊彬;MATLAB的符号计算在《信号与系统》中的应用[J];沈阳师范大学学报(自然科学版);2005年03期
8 张善卿;;一种修正Volterra链的精确解[J];物理学报;2007年04期
9 高敏;;求解非线性微分方程精确行波解的代数法[J];闽江学院学报;2006年05期
10 陈旻;;一类不等式成立的条件[J];湖州师范学院学报;2009年01期
11 高敏;;非线性常差分方程守恒量的计算[J];闽江学院学报;2006年02期
12 刘官厅;;求解非线性发展方程的一个新的辅助椭圆方程(英文)[J];内蒙古师范大学学报(自然科学汉文版);2005年04期
13 刘力华;朝鲁;;用一类辅助方程求五阶KdV方程的精确孤波解[J];内蒙古工业大学学报(自然科学版);2006年03期
14 李家春;用Symbolic Computation计算毛细重力波六阶解[J];力学与实践;1988年02期
15 张知难,信学工,张建宁;通过符号计算准确实现矩阵的Lanczos过程[J];数值计算与计算机应用;1999年04期
16 范筑军,朱思铭;寻求2n+1阶KdV孤立子方程的符号计算方法[J];华南理工大学学报(自然科学版);2002年09期
17 高亮;徐伟;申建伟;唐亚宁;;Boussinesq方程新的显式行波解[J];西南民族大学学报(自然科学版);2006年01期
18 闻小永;;用符号计算求解非线性波动方程的精确孤波解[J];北京机械工业学院学报;2007年02期
19 闻小永;吕大昭;;二维色散长波方程组的Jacobi椭圆函数解[J];郑州大学学报(理学版);2007年03期
20 孙福伟;陈贺灵;;变系数Hirota-Satsuma耦合KdV方程的精确解[J];北方工业大学学报;2008年03期
中国重要会议论文全文数据库 前10条
1 吴子敬;宫云战;郭毅军;;基于区间运算和组测试求解CSP以及在测试用例自动生成上的应用[A];第五届中国测试学术会议论文集[C];2008年
2 曹毅;周辉;;一类Stewart机构运动学正解的研究[A];第三届中国CAE工程分析技术年会论文集[C];2007年
3 曹毅;周辉;;一类并联柔索牵引机构的运动学分析[A];第三届中国CAE工程分析技术年会论文集[C];2007年
4 杨勇;罗安;Jonas Larsson;;基于HOPSAN和MATLAB/SIMULINK的液压系统协同控制仿真研究[A];中国力学学会学术大会'2005论文摘要集(上)[C];2005年
5 周辉;曹毅;;一类并联柔索牵引机构位置正解的研究[A];先进制造技术高层论坛暨第六届制造业自动化与信息化技术研讨会论文集[C];2007年
6 王在华;;求时滞系统Hopf分岔周期解的迭代算法[A];第二届全国动力学与控制青年学者研讨会论文摘要集[C];2008年
7 欧阳丹彤;欧阳继红;程晓春;刘杰;;基于模型诊断中计算碰集的方法[A];中国仪器仪表学会第六届青年学术会议论文集[C];2004年
8 康惠骏;陈伯时;;异步电动机系统解耦线性化的计算机代数设计方法[A];2004中国控制与决策学术年会论文集[C];2004年
9 康惠骏;陈伯时;;非线性系统弱能控性与弱能观性的计算机代数分析[A];2004中国控制与决策学术年会论文集[C];2004年
10 陈莹;李静;张伟;;四次平面多项式系统的Lyapunov量的复算法[A];庆祝中国力学学会成立50周年暨中国力学学会学术大会’2007论文摘要集(下)[C];2007年
中国博士学位论文全文数据库 前10条
1 李娟;基于计算机符号计算的若干变系数非线性模型可积性质的研究[D];北京邮电大学;2008年
2 许韬;符号计算与若干非线性发展方程的解析研究[D];北京邮电大学;2011年
3 孟祥花;基于符号计算的光纤通信等若干领域中变系数非线性模型的研究[D];北京邮电大学;2009年
4 吕兴;计算机符号计算在非线性模型解析研究中的应用[D];北京邮电大学;2012年
5 扎其劳;可积系统的多孤立子解及其符号计算研究[D];华东师范大学;2009年
6 黄定江;非线性波、几何可积性与群分类[D];大连理工大学;2007年
7 郭睿;基于符号计算的若干非线性模型可积性质及孤子解的研究[D];北京邮电大学;2012年
8 赵雷;几种非线性系统的符号计算及其软件实现[D];复旦大学;2011年
9 陆斌;非线性微分方程求解中的构造性方法与符号计算[D];大连理工大学;2010年
10 杨云青;可积系统与混沌系统中若干问题的符号计算研究[D];华东师范大学;2011年
中国硕士学位论文全文数据库 前10条
1 王军民;一族非线性微分差分方程组及其Darboux变换[D];郑州大学;2000年
2 孙业朋;有关非线性可积系统的研究及孤立子方程的Darboux变换[D];山东科技大学;2003年
3 赵银龙;Painlevé测试及其符号计算研究[D];华东师范大学;2010年
4 王爱银;符号计算对计算有理矩阵指数的实用方法[D];新疆大学;2005年
5 刘志刚;准—维玻色—爱因斯坦凝聚体的孤子特性研究[D];山西大学;2004年
6 包霞;非线性发展方程求解方法研究[D];内蒙古师范大学;2004年
7 孙明明;基于符号计算求解两类孤立子方程对称群的算法研究[D];南京财经大学;2011年
8 丁海勇;离散可积系及其Darboux变换、非线性化、守恒律[D];山东科技大学;2004年
9 于连飞;有理矩阵指数函数的一类精确表达式[D];新疆大学;2007年
10 戚科骏;考虑土体固结的桩—土—承台非线性共同作用分析[D];南京工业大学;2003年
中国重要报纸全文数据库 前3条
1 本报记者 姜靖;支丽红:符号和数值混合运算的开拓者[N];科技日报;2011年
2 本报记者 陶春;计算机时代的东方数学[N];学习时报;2004年
3 记者 付洪军李岩;珠海落户首个国家重点实验室[N];珠海特区报;2008年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978