微分方程解析解及解析近似解的符号计算研究汇.pdf

摘 要 自然界中的很多现象都可用非线性微分方程来描述．非线性微分方程解析解的 研究对洞察事物内部的结构，剖析事物之间的关系，并应用于解释各种物理现象都 超到至关重要的作用．高性能计算机豹诞生，极大地摊动了菲线性微分方程领域的 符号计算研究，涌现如了许多构造非线性微分方程解析解的方法和算法。本文以非 线性微分方程为研究对象，借助于非线性代数系统Maple，研究了多种构造非线性 微分方程精确解及解析近似解的方法和算法．主要工作如下： 第一部分研究构造菲线性演化方程精确解的方法和算法，其体包括两方面的内 容： 对已有的构造非线性演化方程精确行波解的几种代数方法，如Riccati方程方 法、耦合的Riccati方程方法、缎设法、形变映射法等进行了推广和黧合，提浅了‘‘椭 圆方程方法”。并结合吴消元法的思想和方法，在计算机代数系统Maple上编写了推 导鼍≥线性演化方程精确行波解的软件包RAEEM，该软件包可鲁动推导出输入方程 一系列可能的精确行波解，其中包括多项式群、有理鍪数髂、指数龋数解、三角醢 数解、双曲函数解及Jacobi椭圆函数解、Weierstrass椭圆函数解等。 Blicklund变换研究对非线性微分方程的可积性及精确解的求解都有十分重要 的意义．特别是，一旦从Biicklund变换推导出解的菲线性叠加公式，则仅通过代数 运算就可构造微分方程的新勰。我们借鉴已有的构造Biicklund变换的方法，提出了 构造1+1维嚣线性演化方程一类自Bgicklund变换的机械化算法，并结合吴文俊数学 机械化思想，在计算机代数系统Maple上实现了该算法，其中的软件包AutoBT不仅 可自动推导斑输入方程的可能的特定类型的自Biicklund变换及相虞的参数约束条 件，还可自动推导出解的非线性叠加公式． 第二部分研究嚣线性微分系统解析近似解的求艉方法和算法．同伦分析方 法是近几年发展起来的构造鼍器线性系统解柝远似解十分有效的方法。与摄动方 法不同，同伦分析方法的有效性与所考虑的非线性问题是否含有小参数无关．此 外，不同于所有其它传统的摄动方法和非摄动方法，如人工小参数法，6展歼方法 和Adomian分解方法等，同伦分析方法本身提供了一种方便韵途径来控制和调节解 级数的收敛速度和收敛区域。同伦分析方法已被广泛应用予求孵应用数学和力学中 的许多润题。 复合介质在物理学和工程领域随处可见，因此，复合介质的实验与理论研究受 到了广泛的重视．摄动方法是求解弱非线性复合介质离题的有效工具．求解强非线 性复合介质阀题仍然菲常困难，同伦分褥方法的提出为强非线性闻题的求解提供了 有效的工具．文[85】和[86】分别应用同伦分析方法构造丁强鼍暑线性复合介质问题的 解析近似解，然而，为了计算简单，他们酋先应用模式展开法将原系统简化为常微分 系统，且只截取到第一模式项，这使所得的常微分系统与原系统之间存在较大的误 差．为了提高解的精度，本文选取线性算子为线性偏微分方程，直接应用同伦分析方 法构造原系统的解析近似解．所获结果明显优于已有的摄动解及同伦分析解．另外， 本文也将同伦分析方法推广应用到分数阶微分方程情形． 关键词：非线性微分方程，符号计算，算法，解析解，解析近似解，贝克隆变换， 非线性叠加公式． Abstract canbe withnonlineardifferential innature described equations． Manyphenomena The of tOnonlineardifferential a study solutions equationsplaysveryimportant analytical rolein theinner the of aswellasin structure，in penetrating analyzingrelationshipthings