笔记：线性常差分方程基本知识.docVIP

本材料是关于线性常差分方程基本知识的笔记，参考了两个文献： 1、《差分方程》 【日】 福田武雄 著 穆鸿基 译 上海科学技术出版社 1962年9月第一版 2、《常差分方程》 王联、王慕秋 著 新疆大学出版社 1991年2月第一版 目录 第一节 差分 第二节 和分 第三节 对步长及定义域的约定 第四节 阶乘多项式与差分 第五节　Bernoulli多项式与差分 第六节 几个公式,例题 第七节 阶线性常差分方程的解的结构 第八节 Lagrange变易常数法 第九节 解阶常系数齐次线性方程的特征根方法 第十节 常系数对称型线性方程的解 第十一节　几种特殊常系数非齐次线性方程的解法 第一节 差分 定义1.1：设函数的定义域是，，，，有，定义算子为 称是的变化步长，是在处的步长为的一阶差分、阶差、有限差；，函数称为上的差分函数，简称差分；算子是步长为的差分算子。定义为 称是在处的步长为的一阶位移；称函数是上的位移函数，简称位移；算子是步长为的位移算子。定义算子为 称算子为恒等算子。称函数是上的差商函数，简称差商。 约定算子与算子的步长相等。 注1.1： 大写希腊字母、、的小写形式是、、，其英文单词形式是delta /`delt?/ 、epsilon /ep`sail?n/ 、 iota /ai`?ut?/ 。 若，有，则，有。 定理1.1：算子、、有以下关系： ①，即。 ②，即。 ③，即。 定理1.2：算子、是线性算子。对，函数与，有以下等式 定义1.2：设，作递推定义 ， ， 称是在处的步长为的阶差分；称是在处的步长为的阶位移；称是步长为的阶差分算子；称是步长为的阶位移算子。凡阶数大于的差分与位移，称为高阶差分与高阶位移。 注1.2： ，有。 定理1.3：，有 其中，组合系数，． 证明：用数学归纳法。 定义1.3：设二元函数的定义域是，，有，，，记 称是在处对的步长为的一阶偏差分。 定理1.4：对函数与，有以下等式 ，其中与不取零值。 证明：参考类似的求导公式的证明。 定理1.5（Leibniz法则）：对函数与，有 证明：用数学归纳法。 定义1.4：设函数的定义域是，若，，则称是上的以为周期的周期函数。 注1.3： 设是上的周期函数，对上的任意函数，按定理1.4，有。 设与是上的周期函数，，则也是上的周期函数。 定理1.6：设函数的定义域是，是上的周期函数的充分必要条件是，，。 推论1.6.1：设函数的定义域是，，则是上的周期函数的充分必要条件是，是上的常值函数。 定理1.7：对上的函数与，若，，则与只相差上的一个周期函数。即存在上的周期函数，满足。 第二节 和分 定义2.1：若，上的函数与有以下关系 ，或， 即，是在上的差商函数，则称是在上的步长为的和分函数，简称和分。 注2.1： 设与是在上的任意两个和分，按定义，有，按定理1.7，与只相差上的一个周期函数。所以，设是的一个和分，是上的任意一个周期函数，则就代表在上的任意一个和分。 定义2.2：如上，记，称是在上的步长为的不定和分。 注2.2： 在文献1中，作者用符号“”表示和分。在文献2中，作者用“∑”表示和分。 定理2.1：对函数，，不定和分有以下性质 ①， ②设是周期函数， ③ 定义2.3：设是在上的和分，是上的任意一个周期函数，则就代表的任意一个和分，，，，记 称是在上的步长为的定和分。是定和分下限，是定和分上限。 约定 注2.3： ①作为一个记号，在，，中的不能换成数值，也不能省略。 ②按差商与和分的定义，有 ，， 所以， 可见，定和分是有限求和运算。 ③设，≤，函数的定义域是，是的和分，步长，则 可见，有限求和运算是定和分。 第三节 对步长及定义域的约定 记是步长等于的差分算子，在上的差分中作代换，记，有 可见，可以代换。为方便，约定所论差分与位移的步长都等于。 从步长等于的约定。设函数的定义域是，记，，则函数的定义域是，有 可见，的定义域是可以代换的定义域是。为方便，约定所论函数定义域为。 定理3.1：设函数的定义域是，，有 定理3.2：设函数的定义域是，，≤≤，有 定理3.3：设函数的定义域是，，≤≤，≤，有 以上三个定理称为“离散的泰勒（Taylor）公式”，可用数学归纳法证明。 第四节 阶乘多项式