符号——数值混合方法求解偏微分方程的算法设计与实现.pdfVIP

第2l卷 第4期 塔 里 木 大 学 学 报 V0I．2lNo．4 2009年 12月 Jouma]ofTarim University Dec．2009 ① 文章编号：1009—0568(2009)04—0022—04 符号一数值混合方法求解偏微分方程的算法设计与实现 蒋青松 (塔里木大学信息工程学院，新疆 阿拉尔 843300) 摘要 本文作出了将符号计算方法和数值计算方法结合起来求解偏微分方程的研究工作，这是求解 比较复杂的偏微分方程 的新途径。本文的意义在于给出求解复杂的偏微分方程的新思维和新方法。在求解过程中，运用了计算机代数的有关知识 并且借助了计算机代数系统中的Maple和Matlab软件，求解过程简易可行。 关键词 混合方法；求解；偏微分方程；算法；机器求解 中图分类号：Ol75．2 文献标识码：A TheAlgorithm DesignofSymbolic——numericalM ethod toSolvethePartial DifferentialEquationsand itsComputationM achanization JiangQingsong (CollegeofInformationEngineering，TarimUniversity，Alar，Xinjiang 843300) Abstract Inthispaper，wegivethemethodofsolvingthepartialdifferentialequationswiththecombineuseofsymbolicandHumor1一 calmethod，whichisanew wayofsolvingtheextremelycomplicatedpartialdifferentialequations．ItssignificanceistoconductUSto seekforthenewideaandnew sightofsolvingthecomplicatedpartialdifferentialequations．Intheprocessofsolving，weusethecon]一 pureralgebraknowledgeandMaple／Matlabsoftwareofcomputersystems，whichmakestheprocessofcomputationsimpleandpractica— ble． Keywords methodofcombination；sohe；partialdifferentialequations；algorithm；computationmechanization 在解决实际问题的过程中，有很多复杂的微分 偏微分方程 ，得到了较好的结果。本文正是在这个 方程模型 (特别是偏微分方程模型)难 以求得其解 方面作出了一些探索和研究工作。 析解 (精确解)，而用纯数值计算方法求解 ，又要作 1 预备知识 若干次近似处理 ，每经过一次近似处理 ，都会产生一 次系统误差，往往会导致最终所得的解与真实解相 1．1 吴一Ritt特征列算法 ¨ 去甚远(所得近似解已经超 出误差允许范围)，这样 设K是一特征为零的可计算数域．将变元排成 利用纯数值计算方法所求得的解 已经失去意义。如 固定的次序 。 ： … 对任意多项式 何求解一个复杂的偏微分方程模型，使其解便于求 PeK[X]＼K称使得deg(P )0的最大下标P为P 得 ，而且所得之解是有实际意义 的(在误差允许范 的类 ，记为 cls(P)。非零常数的类定义为0。设P