APP下载

计算线性递推数列通项的一个一般性方法

2020-03-08王勇

数学学习与研究 2020年3期

王勇

【摘要】本文利用矩阵若当标准型理论,给出了计算线性递推数列通项的一般方法.

【关键词】若当标准型;线性递推数列;数列通项

一、引 言

根据数列的初始项和线性递推公式计算该数列的通项技巧性较强,因此,寻求解决这类问题的一般方法就很有必要.

二、若当标准型简介

定义 形如Ji=λi1λi1λiri×ri的矩阵称为ri阶若当块.

由若干个若当块构成的分块对角阵:

J=J1J2Js 称为若当标准型.

定理 任一矩阵A∈Cn×n都與某一个若当标准型J相似,即存在可逆矩阵P∈Cn×n使得P-1AP=J.

由P-1AP=J得A=PJP-1,从而对任一正整数n,

有An=PJnP-1=PJ1J2JsnP-1

=PJn1Jn2Jns P-1,

其中Ji=λi1λi1λiri×ri,用数学归纳法可证得

Jki=λkiC1kλk-1iC2kλk-2i…Cri-1kλk-ri+1iλkiC1kλk-1i…Cri-2kλk-ri+2iC1kλk-1iλkiri×ri.

据此可以计算出任一方阵的n次幂.

三、线性递推数列通项的计算

根据上述理论,对线性递推数列:a1=a,a2=b,an+2=kan+1+lan(a,b,k,l均为已知常数),可以按如下步骤求出其通项:

(1)根据条件得

an+2an+1=kl10an+1an

=kl102anan-1=…=kl10na2a1

=kl10nba.

(2)根据矩阵论相关方法求出矩阵kl10的若当标准型λ1δ0λ2(δ=0或1).

(3)根据若当标准型λ1δ0λ2求出可逆矩阵P使得

P-1kl10P=λ1δ0λ2,

从而kl10=Pλ1δ0λ2P-1,

kl10n=Pλ1δ0λ2nP-1,

其中λ1δ0λ2n=λn100λn2,当δ=0;λn1nλn-110λn1,当δ=1.

(4)由an+2an+1=kl10nba=Pλ1δ0λ2nP-1ba,经计算后可得数列通项an+1.

四、算 例

例 给出线性递推数列:a1=1,a2=2,an+2=2an+1-an,求出此数列通项.

解 an+2an+1=2-110an+1an=2-1102anan-1

=…=2-110na2a1=2-110n21,

经计算可求得可逆矩阵P=1110使得

P-12-110P=1101,

从而

2-110n=P1101nP-1=11101n011110-1

=n+1-nn1-n,

于是an+2an+1=2-110n21=n+1-nn1-n21

=n+2n+1,

从而an+1=n+1,

故此数列的通项为an=n(n=1,2,…,k,…).

五、结 语

本文给出了一个计算线性递推数列通项的一般性方法,此方法稍加改变也可用来求含有常数项的线性递推数列:a1=a,a2=b,an+2=kan+1+lan+c(a,b,k,l,c均为已知常数)的通项,这时只需把主要步骤:an+2an+1=kl10an+1an改成an+2an+11=klc100001an+1an1即可.

【参考文献】

[1]徐仲,等.矩阵论简明教程:第二版[M].北京:科学出版社,2005.