利用差分特征列方法符号求解一类生物模型方程-基础数学专业论文.docxVIP

黑龙江大学硕士学位论文中文摘要 黑龙江大学硕士学位论文 中文摘要 吴特征列方法是数学机械化理论的核心算法．目前己被应用于机器证明定理， 代数方程求解，数字控制等多个领域．近年来，微分方程，差分方程及微分一差分方 程的特征列方法及理论已经给出，并逐渐受到重视． 本文应用差分特征列方法研究一类具有生物性质的非线性差分方程组的零点 集．首先我们对不可约分解的算法提出了一些改进，得到的特征列的形式复杂阶次 较高，使得在求解特征列时自动分解可约的多项式，从而在保证同解条件下降低特 征列的阶次即降低其求解的复杂度．然后我们研究了零点分解定理，将该差分方程 组的零点分解成了有限个零点集的并，这些零点集对应着相应的三角形式的特征 列，通过求解这些特征列，即可得到原方程组的解．这些三角形式的特征列比原方 程组的阶次更低，更容易求解．最后我们利用符号计算软件Maple及Z变换法得到了 该方程组的精确解． 本文分为如下三个部分：第一章是差分方程背景；第二章是预备知识：第三章 是本文的核心，即对差分方程组的特征列方法的应用． 关键词：数学机械化；特征列；非线性；不可约；精确解 万方数据 黑龙江大学硕士学位论文Abstract 黑龙江大学硕士学位论文 Abstract The Wu’S characteristic set method is the central algorithm of the theory of mathematic mechanization．At present，it has been used in the mechanical theo- ry for proving，solving algebraic equations，numerical control and other fields．In recent years，theories and algorithms of the characteristic set methods of differen— tial，difference and differential-difference equations have been given and gradually revived． In this paper，the difference characteristic set method is used to study the set of class of nonlinear difference equations of biological properties．First of all，we make some improvements on the algorithm of irreducible decomposition， making pseudo remainder into several orders lower due to type，thereby reducing the amount of computation．Then we study the zero decomposition theorem and decompose set of the difference equations into the union of the several sets． The sets corresponds to the appropriate characteristic sets of triangular form By solving there characteristic sets，we can get the solutions of the equations．The order of characteristic sets of triangular form are lower than the order of the original equations and was easier to solve．Finally，making use of symbolic computation software Maple and Z transformation，we get the exact solutions of the equations． This paper is divided into three parts follow：the first chapter briefly de- scribes the background of difference equations；the second chapter is preliminary knowledge；the third chapte