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

计算机符号计算在非线性模型解析研究中的应用

吕兴  
【摘要】:随着计算机科学与技术的发展,计算机符号计算作为计算机、数学与人工智能的交叉学科逐渐成熟和完善。符号计算研究的主要对象是可代数化、数学化的实际问题,对现实问题进行创造性的数学建模,而对模型的处理需要算法化的数学计算与逻辑推理。通过对实际问题的分析与探讨,设计可以在符号计算软件与系统中实现的代数算法,并分析算法的逻辑性与可执行性,最后应用算法处理模型并得到有效结果。符号计算是非线性模型解析研究的工具,在促进孤子理论的发展方面起了重要的作用。 本文借助符号计算对出现在光纤通信、玻色-爱因斯坦凝聚以及流体力学等领域,具有变系数、耦合性、高维数(2+1或3+1维)以及高阶效应(包括高阶色散作用和高阶非线性作用)的非线性模型做解析研究,并详细探讨相关的可积性质。本文处理非线性模型的主要技术路线有两种:(一)线性化路线:基于可积条件(对变系数模型而言可利用Painleve检测获得系数函数间约束关系),将原非线性模型转化为与之对应的线性系统(或Lax对)的相容性条件,对线性系统构造达布阵(或达布算子),设计纯代数的迭代算法,最后利用符号计算实现想要的结果;(二)双线性化路线:利用Painleve分析或者贝尔多项式处理将非线性模型转化为双线性方程,对双线性方程应用形式参数展开法求解,最后利用符号计算实现想要的结果。在两种技术路线中,对非线性模型相关的可积性质也会做详细探讨。例如,从两种路线出发构造解析多孤子解,基于Lax对构造无穷多个守恒律,通过双线性方程构造双线性形式的Backlund变换以及利用贝尔多项式表达构造贝尔多项式形式的Backlund变换等。 本文的核心内容包括以下七个方面: (I)借助符号计算,给出了研究非线性模型的双线性方法算法模块。基于双线性方法算法模块双线性化处理了二阶色散变系数非线性Schrodinger (NLS)模型,该模型考虑到光纤中由光纤空间变化引起的非均匀性,可以描述带有分布式参数色散与非线性效应的的单模光纤中脉冲传播的放大与衰减。文中研究了二阶色散变系数NLS模型的解析孤子解以及相关的可积性质,包括双线性Backlund变换,双Wronskian表示,N-1到N孤子之间的迭代等;对光孤子在非均匀光纤中的传播特性、演化行为以及相互作用等动力学特征给出了解析分析和图形模拟。 (Ⅱ)借助符号计算,给出了三个处理非线性模型的算法模块:(a)非线性模型Painleve检测算法模块;(b)构造非线性模型线性系统算法模块;(c)非线性模型Darboux变换算法模块。利用算法模块(a)对广义N耦合高阶效应变系数NLS模型进行Painleve检测得到了变系数函数间两种约束条件:在第一种约束条件下,基于双线性方法算法模块双线性化处理该模型并得到了解析暗孤子解;在第二种约束条件下,首先应用算法模块(b)构造了该模型的线性系统,然后应用算法模块(c)构造了Darboux变换并获得解析亮孤子。通过选取不同的变系数函数,对所得暗/亮孤子作图分析,从理论与图形上揭示非均匀光纤中光孤子的传播演化特点。 (Ⅲ)借助符号计算,对描述单模光纤中非线性脉冲传播的含高阶非线性效应广义NLS模型的各种可积性质(包括调制不稳定性、无穷守恒律、双线性方程以及解析孤子解与分析等)做解析研究。主要研究工作包括:(a)通过给平面波解一个小扰动进行调制不稳定分析;(b)基于其线性系统推导无穷多守恒律;(c)应用符号计算体系下双线性方法算法模块求得解析孤子解;(d)孤子解的渐近分析与图形演化。通过选取双孤子不同的波数,讨论了高阶非线性效应下孤子动力学特征。在相应的参数条件下,运动双孤子的结构从切片图上看类似蚯蚓,基于这一特征将这种双孤子从视觉上形象地命名为蚯蚓子。 (Ⅳ)借助符号计算,基于双线性方法算法模块(并在双线性化过程中引入辅助函数)解析研究两个具有相干耦合效应的NLS类模型,即“负”相干耦合向量孤子模型与新的相干耦合向量孤子模型。对于前者,从向量孤子解的表达式出发进行渐近行为分析,并发现了退化与非退化孤子;在自相位调制、交叉相位调制以及“负”相干耦合等效应的综合作用下,探求向量孤子的形成与传播机制;通过选取不同的相位参数,讨论“负”相干耦合模型退化与非退化孤子间相应于三种碰撞模式下的向量孤子相互作用特点。对于后者,在相应的约束条件下解可以分为两类,即奇异型和非奇异型;非奇异型解具有孤子轮廓。对孤子解的渐近分析与图形模拟刻画了亮向量孤子解的轮廓(单峰或双峰)并揭示其相互作用机制(即在新的相干耦合效应NLS模型中向量孤子仅发生弹性相互作用)。 (V)借助符号计算,解析研究线性的与时相关外部势阱囚禁的准一维玻色-爱因斯坦凝聚体孤子激发态动力学行为。在平均场近似理论下,描述该现象的模型为NLS类方程。利用无量纲变换将该模型无量纲化,并应用Painleve检测算法模块对其进行Painleve检测。基于模型的可积性直接构造精确解析解(包括暗孤子和亮孤子解),并且通过选取系数函数的不同形式对玻色-爱因斯坦凝聚中暗孤子和亮孤子动力学行为进行分情况讨论。 (Ⅵ)借助符号计算,基于Painleve检测算法模块与双线性算法模块解析研究高维孤子问题。涉及的高维(或高维变系数)非线性模型有(2+1)-维Sawada-Kotera模型、带外力项广义二维变系数Korteweg-de Vries (KdV)模型和广义(2+1)-维变系数Gardner模型。对于(2+1)-Sawada-Kotera模型进行Painleve检测并求得解析孤子解,探讨多孤子的传播与相互作用机制。对于带外力项广义二维变系数KdV模型进行双线性研究,获得变系数双线性形式以及双线性Backlund变换;进一步基于双线性Backlund变换的相容性推导了Lax对,得到带外力项广义二维变系数KdV模型在具有Lax对的意义下可积的一些特例。对于广义(2+1)-维变系数Gardner模型,从可积角度出发找到变系数函数间的约束关系,进而对广义Gardner模型进行可积约化;基于可积性对相关的可积性质做了进一步研究,如双线性形式、双线性Backlund变换以及几种不同的Lax对;对应于求解双线性形式、求解双线性Backlund变换以及非线性化Lax对获得了模型的冲击波解。特别地,以二和三冲击波解为例,详尽地分析了冲击波解的传播与相互作用动力学特征,其中着重分析了变系数对冲击波解各个物理量的影响与作用、二冲击波解非弹性作用的机理以及三冲击波解各种非弹性作用(非弹性增益碰撞与非弹性压缩碰撞)的可能情形。 (Ⅶ)借助符号计算,采用经典的贝尔多项式理论处理了如下非线性模型:(1+1)-维浅水波Ⅰ模型、Boiti-Leon-Manna-Pempinelli模型以及(2+1)-维高阶色散Sawada-Kotera模型,并相应地获得了贝尔多项式表达式、贝尔多项式形式的Backlund变换以及Lax对;采用带辅助变量的贝尔多项式方式处理了如下非线性模型:(1+1)-维浅水波Ⅱ模型、Lax五阶KdV模型以及(2+1)-维和(3+1)-维破裂孤子模型,并相应地获得了贝尔多项式形式的Backlund变换。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 斯英古;符号计算介绍[J];数值计算与计算机应用;1989年01期
2 张韵华;前途无量的符号计算系统[J];教育与现代化;1994年01期
3 王一举,王华;符号计算软件MATHEMATICA2.0的评价[J];荆州师范学院学报;1995年05期
4 金方强,高洪明,何广忠,吴林,马瑞军;符号计算在机器人运动学求解中的应用[J];机械与电子;2004年06期
5 王爱银;张知难;;符号计算对计算有理矩阵指数的一种应用[J];数值计算与计算机应用;2006年04期
6 王奇志,徐心和;基于符号计算研究一类6-SPS并联机器人运动学正解问题[J];机器人;1999年02期
7 刘明才;杨日璟;董丽;;利用MATLAB符号计算求解双正交小波滤波器系数[J];大学数学;2007年06期
8 斯英古;符号计算介绍(续)[J];数值计算与计算机应用;1989年02期
9 陈以新;Matlab的几则程序设计经验[J];计算机应用;1999年09期
10 李梓;;关于符号计算的探讨[J];计算机应用与软件;1993年06期
11 梁肇军;计算机辅助教学(CAI)与数学教学改革[J];高等函授学报(自然科学版);1999年01期
12 谭劲,陈元莉,黄蕊彬;MATLAB的符号计算在《信号与系统》中的应用[J];沈阳师范大学学报(自然科学版);2005年03期
13 叶会英,禹延光;一种通用的微分求解程序设计[J];微型机与应用;1995年09期
14 张知难,信学工,张建宁;通过符号计算准确实现矩阵的Lanczos过程[J];数值计算与计算机应用;1999年04期
15 田社平;陈洪亮;张峰;;基于Matlab符号计算的双口网络分析[J];电气电子教学学报;2008年03期
16 田社平;陈洪亮;;Matlab符号计算在傅里叶级数分析中的应用[J];电气电子教学学报;2009年02期
17 王庚,张天俊,刘莉;计算机微积分概述[J];安徽机电学院学报;1995年01期
18 魏葆春;;人工智能的现状与未来的发展方向[J];边疆经济与文化;2010年12期
19 李尹,韦化;基于Matlab符号计算工具箱的内点法最优潮流研究[J];电力自动化设备;2003年07期
20 衷仁保,马建;求解孙子问题的算法及符号计算软件[J];小型微型计算机系统;1996年12期
中国重要会议论文全文数据库 前10条
1 吴子敬;宫云战;郭毅军;;基于区间运算和组测试求解CSP以及在测试用例自动生成上的应用[A];第五届中国测试学术会议论文集[C];2008年
2 曹毅;周辉;;一类Stewart机构运动学正解的研究[A];第三届中国CAE工程分析技术年会论文集[C];2007年
3 李泽军;;含时抛物囚禁势中的非自治变形孤子解[A];第十六届全国原子与分子物理学术会议论文摘要集[C];2011年
4 李小琳;毛军发;;基于二阶电路的缓冲器时延模型[A];2005'全国微波毫米波会议论文集(第一册)[C];2006年
5 丁虎;陈立群;;轴向运动梁横向振动非线性模型数值研究[A];第十二届全国非线性振动暨第九届全国非线性动力学和运动稳定性学术会议论文集[C];2009年
6 王德进;冯磊;;非线性模型结构辨识的一种逼近方法[A];1999中国控制与决策学术年会论文集[C];1999年
7 任安禄;林雪纲;鲁晓东;;非线性模型方程线法特征值稳定性分析数值试验研究[A];第十届全国计算流体力学会议论文集[C];2000年
8 施光林;钟廷修;史维祥;李天石;;电液位置同步控制系统的三类标准化模型[A];第一届全国流体动力及控制工程学术会议论文集(第二卷)[C];2000年
9 柯益华;胡学姝;;油气田产量预报Г模型参数估计的进化计算[A];2001年中国智能自动化会议论文集(下册)[C];2001年
10 井建辉;张振东;吴文琪;;摄像机定标在机器人视觉系统中的应用[A];全国第十五届计算机科学与技术应用学术会议论文集[C];2003年
中国博士学位论文全文数据库 前10条
1 吕兴;计算机符号计算在非线性模型解析研究中的应用[D];北京邮电大学;2012年
2 郭睿;基于符号计算的若干非线性模型可积性质及孤子解的研究[D];北京邮电大学;2012年
3 许韬;符号计算与若干非线性发展方程的解析研究[D];北京邮电大学;2011年
4 周振江;可积系统孤子解的符号计算研究[D];华东师范大学;2012年
5 张海强;基于计算机符号计算研究非线性模型的可积性质及其物理应用[D];北京邮电大学;2010年
6 赵雷;几种非线性系统的符号计算及其软件实现[D];复旦大学;2011年
7 杨沛;微分方程解析近似解的符号计算研究[D];华东师范大学;2010年
8 张盛;非线性微分方程的若干精确求解法与符号计算[D];大连理工大学;2012年
9 陆斌;非线性微分方程求解中的构造性方法与符号计算[D];大连理工大学;2010年
10 杨云青;可积系统与混沌系统中若干问题的符号计算研究[D];华东师范大学;2011年
中国硕士学位论文全文数据库 前10条
1 屈启兴;基于符号计算的(2+1)维Zakharov-Kuznetsov方程和耦合非线性波方程的可积性质和孤子解研究[D];北京邮电大学;2011年
2 李拔萃;非线性发展方程求解中的几种构造方法[D];辽宁师范大学;2008年
3 孙明明;基于符号计算求解两类孤立子方程对称群的算法研究[D];南京财经大学;2011年
4 赵银龙;Painlevé测试及其符号计算研究[D];华东师范大学;2010年
5 王爱银;符号计算对计算有理矩阵指数的实用方法[D];新疆大学;2005年
6 陈俊超;几类非线性偏微分方程的对称,精确解及其应用[D];宁波大学;2012年
7 孙鲲;基于符号计算的非线性发展方程的求解和孤子运动的研究[D];北京邮电大学;2012年
8 于连飞;有理矩阵指数函数的一类精确表达式[D];新疆大学;2007年
9 林志强;基于符号计算的变系数耦合Gross-Pitaevskii方程的可积性质和求解研究[D];北京邮电大学;2012年
10 戚科骏;考虑土体固结的桩—土—承台非线性共同作用分析[D];南京工业大学;2003年
中国重要报纸全文数据库 前5条
1 本报记者 姜靖;支丽红:符号和数值混合运算的开拓者[N];科技日报;2011年
2 本报记者 陶春;计算机时代的东方数学[N];学习时报;2004年
3 记者 付洪军李岩;珠海落户首个国家重点实验室[N];珠海特区报;2008年
4 葛新权 北京信息科技大学经济管理学院;经济统计模型的建模原则与创新[N];中国社会科学报;2010年
5 通讯员 单萱;彭实戈:让教学成为“有力而优美的工具”[N];科技日报;2011年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978