如果您无法下载资料,请参考说明:
1、部分资料下载需要金币,请确保您的账户上有足够的金币
2、已购买过的文档,再次下载不重复扣费
3、资料包下载后请先用软件解压,在使用对应软件打开
常系数递归数列的简单推广及其应用摘要:本文利用k阶级线性差分方程及常系数非齐次微分方程特解的设解规律对k阶常系数线性递归数列进行简单推广到了k阶常系数非齐次线性递归数列,并进行了多类型的设解及其应用总结,又引进矩阵理论增加了k阶线性递归数列通项公式的求法,拓宽其应用范围。关键词:递归数列;差分方程;设解;矩阵本学期,在吴克俭老师的指导下我们进行了组合数学课程的学习探究,主要的内容包括了排列与组合,二项式系数,调和数Fibonacci数和Catalan数,第二类Stirling数和Bell数,第一类Stirling数,正整数的分拆,Bernoulli数与Euler数,递归数列,形式幂级数等知识内容,而在本文当中,我选取了吴老师课堂上没有深入探讨的关于递归数列的部分知识内容进行了简单的推广与应用,即有对常系数递归数列进行简单的推广及其应用。第一部分:递归数列的知识回顾:递归关系齐次常系数线性递归关系:1)k阶常系数齐次线性递归关系2)k阶齐次线性递归关系其他递归关系:1)非齐次常系数线性递归关系2)卷积型递归关系3)双下标递归关系第二部分:推广与应用一、对于常系数齐次线性递归关系的简单推广,即k阶常系数非齐次线性递归关系。为了方便,我们可以设k阶常系数非齐次线性递归数列的一般形式为(1)其中,(n=O,1,2,...)是一给定的数列,是给定的常数。显然,我们可以得到与(1)所对应的k阶常系数齐次线性递归数列是(2)由吴老师课堂笔记中3、其他递归数列关系1)非齐次常系数线性递归关系的部分内容可以了解到,(1)的通解等于(2)的通解加上(1)的一个特解。而对于常系数齐次线性递归数列(2)的通解,我们可以用定理8.1至定理8.4中的特征方程与特征根及待定系数的方法进行解答从而求出(2)的通解,或者通过母函数、矩阵等方法也求出,不管怎样,求(1)的通解关键就在于求出(1)的一个特解。若仅仅局限于特征方程与特征根及待定系数法是不能对一般的常系数非齐次线性递归数列进行求解的,只有当是具有某些特殊形式的函数时,例如:=1\*GB3\*MERGEFORMAT①是n的t次多项式时,此时1便是常系数齐次线性递归数列(2)的重特征根,那么(1)的特解可以通过待定系数的方法求出。=2\*GB3\*MERGEFORMAT②=时,a便是常系数齐次线性递归数列(2)的重特征根,那么(1)的特解可以通过待定系数法求出。然而,在一般情况下,若没有上述的特殊条件,我们在进行常系数非齐次线性递归数列的就显得有点困难,那么下面利用差分的概念将(1)转化为常系数非齐次线性差分方程,从而得到(1)的特解。首先,对于数列可看成是定义在非负整数集上的函数,而其与整数之值便是,差分算子是一个在这些函数组成集合上的变换,定义其为;高阶差分算子,(k=2,3,....),定义其为,同时我们规定,记I是恒等算子,即有,(n=0,1,2,...)。其次,与差分算子有密切关系的是位移算子E,定义其为;高阶位移算子,(k=2,3,...);定义其为,并规定。显然可得,,从而有。利用位移算子,(1)可记为(3)其中是一给定的数列,是给定的常数,如果有k个相连的值为给出,成为边界条件,此时(3)将有唯一的解。然而,由位移算子与差分算子的关系,(3)又可以进一步化为(4)其中是已知常数。这样(1)就转化为常系数非齐次线性差分方程(4)。对(4)两边去次差分,得............若是一个与n无关的常量,不妨设,则最后一个方程显然有解,此时。将,代入倒数第二个方程可求得。依次往上推,一直到(4)即可求得(1)的一个特解。通过上述利用k阶线性差分方程的方法进行常系数齐次线性递归数列的推广过程,我们可以清楚地明白到,对于求(1)的特解,关键在于求差分方程(4)的特解。易得(4)的特解可求,而其最简单的情形就是当将令成为一个与n无关的常量。二、对于利用差分方程进行对常系数非齐次线性递归数列进行求通解的方法的常见应用类型。由(一)中的推广过程中,我们若想保证是一个与n无关的常量,那么常见的方式就是使得f(n)成为n次多项式或指数函数或余弦线性函数或正弦线性函数或几个简单函数之和中一种情况。又根据常系数非齐次线性方程的特解的设解规律,即“是什么设什么,含于Y乘于x”的规律,指的是“f(n)是什么函数,方程的特解就设成什么函数;如果上面所设的特解含于对应的齐次方程的通解Y(即所设特解可以完全或部分地与对应的齐次方程的通解合并),则用x乘以前面所设的特解,作为新设特解;若仍含于对应的齐次方程的通解,再乘以x,直到不含于对应的齐次方程的通解Y为止。”我们可以知道,常系数非齐次线性微分方程的特解的规律,即可以引申到常系数非齐次线性递归数列中