计算机代数系统在微分方程研究中的运用.pdf

士卜J暇书Lf仁翻欠卫陀爱忆 犯侧氏A 方.甲几不升，匕中 白匀万之声月 计算机代数系统在微分方程研究中的应用 摘 要 微分方程在实际中有着广泛的应用.应用数学软件辅助微分方程研究有极大 的发展前景.Maple计算机代数系统以强大的符号运算功能为其重要特征，成为 优秀的数学软件之一 Maple在微分方程方面有丰富的控制语句，因此在微分方 程研究中有独特优势.另外，它的源程序代码由C语言编写成且它本身有一套程 序语言，所以用户可自己编程扩展其功能. 中心与焦点判别问题、解的稳定性判别、中心流形及Hopf分支方法、规范 型理论是微分方程和动力系统研究中的几个重要问题.这篇论文以Maple为平台， 给出关于它们的计算机程序 利用计算机高级语言程序设计思想实现推理和计算 的自动化是文中的主要特点和优点，这使得该文推广和简化了已有的一些成果. 最后，综合应用所得程序和Maple的控制语句，完全依靠计算机，解决了一 个三维Volterra型生态系统 匹 = 隆 目 凡 1 ( 蹂 2x,一axe一4x,) 险 - 一 石 1 ( 的Hopf分支问题(其中a0). 关键词:Mapl。程序: 细焦点:中心流形;Hopf分支;规范型;Volterra系统 中图分类号:0175. i十才东匆t代 数 系 统 在 微 戈.方 租 s,开究 中 的 石匕用 APPLICATIONS OF COMPUTER ALGEBRA SYSTEM TOTHESTUDYOFDIFFERENTIAL ABSTRACT Differentialequationshavewideapplicationsinmanyfields.Studyingdifferential equationsbymathematicalsoftwarehasboundlessprospects.Maplecomputeralgebra systemisoneoftheexcellentmathematicalsoftwares,whoseimportantfeatureis powerfulsymbolicoperation.Maplehaspackageswhichcontainsfunctionsand statementsthathelpusworkwithdifferentialequationsverywell.Inaddition,Users canprogrambythemselvestoextendMaplesfunctionbecauseitsoriginalprogram codeiswrittenbytrlanguageandMaplehasitsownasetofprograminglanguage. Distinguishingweakfocusandcenterpoint,determiningstabilityofsolution,the methodofcentralmanifoldandHopfbifurcation,thetheoryofnormalformare importantissuesinthestudyofdifferentialequationanddynamicalsystem.This thesispresentscomputerprogramsaboutthembyMaplewhichextendandsimplify theachievementsacquiredbyotherresearchersowetousingthethoughtof programingbycomputerhigher-levellanguagetorealizeautomaticallyinreasoning andcalculating,whichisthefeatureandadvantageofthisthesis. Intheend,analyzingan