微分方程、差分方程模型2009-08-17.pptVIP

微分方程、差分方程模型 王月清 wongyq@163.com 一. 微分方程理论 在许多实际问题中，当直接导出变量之间的函数关系较为困难，但导出包含未知函数的导数或微分的关系式较为容易时，可用建立微分方程模型的方法来研究该问题. 一般的微分方程模型为一阶或二阶常微分（单变量函数）或偏微分方程（多变量函数） 。由于偏微分方程求解是建立在常微分方程求解基础上的，所以首先回顾一下常微分方程理论。 1.1.微分方程的通解 1.1.1一阶非齐次线性方程 其通解为： 1.1.2. n阶线性齐次微分方程 其通解没有一个固定的求解方法，所以吸引了许多数学家的注意，其中的代表人物有：朗斯基（Wronski)、刘维尔（Liouville)等，得到了许多漂亮的结论： 定义：对于函数组 中每一个函数均有n-1阶导数，我们称行列式 为已知函数组的朗斯基行列式。其有以下性质： 性质1：对于函数组 在区间(a,b)上 线性相关，那么它的朗斯基行列式在(a,b)上恒为零。 性质2：对于函数组 在区间(a,b)上 线性无关，那么它的朗斯基行列式在(a,b)上恒不为零。 注 通过上述朗斯基行列式的性质可得：如果n阶齐次微分方程有n个无关解 ，那么 为n阶齐次微分方程的通解。 定理：设 是n阶齐次微分方程的任意n个解，那么对于(a,b)上的任一x0都有 上述关系式就是著名的刘维尔公式。 刘维尔公式对于二阶齐次微分方程的求解非常的实用： 如果给定二阶齐次微分方程 的一个非零特解y1，那么有 例： Legendre方程 易知y=x为其一个特解。此处 由上述公式可得， 1.1.3. n阶常系数齐次线性微分方程 的通解可按以下方法求得： 令 求此多项式为零的根，然后分情况讨论其解。 情形1：所有的根互异，那么其通解为 特别地，当某一根为复根a+ib时，由欧拉公式可得其对应的解为 情形2：特征根有重根时，如果 是k重特征根时，那么 为原方程的k个线性无关的特解。其它的特征根依此类推。 例：求方程 的通解。 解：由于 所以，其特征根为 因此，其通解为 1.1.4. n阶常系数相性非齐次微分方程 其通解由对应的齐次方程通解与其本身的一个特解之和。所以只需求出其一个特解即可。这里只讨论两种情形。 情形1： 其中 为m次实或复系数多项式。 1）当a不是特征根时，那么 为其一个特解，其中 也为m次实或复系数多项式。把特解代入原方程中，通过待定系数法可以确定此特解。 2）当a为k(k0)重特征根时，那么 为原方程的一个特解，其中 也是形如1）中的m次多项式。通过待定系数也可以确定此解。 例：求方程 的一个特解。 解：由于a=0不是方程 的特征根，因而原方程有特解 代入原方程可求其A=1,B=C=0。所以其特解为 情形2： 其中 是x的次数不高于m的多项式，但二者至少有一个的次数为m. 1)如果a+ib和a-ib不是齐次方程的特征根，那么 为原方程的一个特解，其中 为m次多项式。把次特解代入，求其对应的系数，确定此解。 2）如果a+ib和a-ib是k重齐次方程特征根，那么 为原方程的一个特解，其中 为系数待定的m次多项式。 1.1.5. 线性微分方程组的通解 我们知道线性微分方程组与n阶线性微分方程之间有着密切的联系。 如：通过变换 n阶线性微分方程 可以化成微分方程组 形如： 成为线性微分方程组。 令 令 那么上述微分方程组可写为： 对于微分方程组的求解和n阶微分方程一样没有一个固定的方法，但是也有类似n阶微分方程的一些理论。如：刘维尔公式等。我们这里只回顾一下常系数微分方程组的解法。 对于齐次微分方程组 其中A(x)是n阶