当前位置:首页 > 高中数学 > 数列 > 正文内容

数列递推与求和

英才学习-阿江10个月前 (03-08)数列652

数列递推与求和


定义1 对于任意正整数n,有递推关系

a_%7Bn%2Bk%7D%3Df(a_%7Bn%2Bk-1%7D%2Ca_%7Bn%2Bk-2%7D%2C%5Ccdots%2Ca_n)

确定的数列%5C%7Ba_n%5C%7D称为递推数列,或称为递归数列.

定义2 若数列%5C%7Ba_n%5C%7D从第k项以后任一项都是其前k项的线性组合,即

a_%7Bn%2Bk%7D%3D%5Clambda_1a_%7Bn%2Bk-1%7D%2B%5Clambda_2a_%7Bn%2Bk-2%7D%2B%5Ccdots%2B%5Clambda_ka_n%2Br

其中n是正整数,%5Clambda_k%5Cneq0,则称%5C%7Ba_n%5C%7D为k阶线性递推数列.

r%3D0时,则有

a_%7Bn%2Bk%7D%3D%5Clambda_1a_%7Bn%2Bk-1%7D%2B%5Clambda_2a_%7Bn%2Bk-2%7D%2B%5Ccdots%2B%5Clambda_ka_n

此时%5C%7Ba_n%5C%7Dk阶齐次线性递推数列.


1 常系数一阶递推数列

常系数一阶递推数列的一般形式为

a_%7Bn%2B1%7D%3Dpa_n%2Bq.%5Cquad(p%2Cq%5Ctext%7B%E4%B8%BA%E5%B8%B8%E6%95%B0%EF%BC%8C%E4%B8%94%7Dp%5Cneq0)

处理这种情况的一般方法是将其转化为等比数列.

p%3D1,则该数列变为等差数列,其通项公式为

a_n%3Da_1%2B(n-1)q.

p%5Cneq1,这里介绍不动点法.

注:对于函数f(x),若存在x_0,使得f(x_0)%3Dx_0,则称x_0f(x)的不动点.

a_%7Bn%2B1%7D%3Df(a_n),则f(x)的不动点为x_0%3D%5Cdfrac%7Bq%7D%7B1-p%7D,则有

a_%7Bn%2B1%7D-x_0%3Dp(a_n-x_0)%2C

a_n%3Dp%5E%7Bn-1%7D(a_1-x_0)%2Bx_0%2C

其中a_1为初始值已知,x_0%3D%5Cdfrac%7Bq%7D%7B1-p%7D.


2 变系数一阶递推数列

变系数一阶递推数列的一般形式为

a_%7Bn%2B1%7D%3Dp(n)a_n%2Bq(n)%5Cquad%20p(n)%5Cneq0.

处理这个问题一般性的解法是构造辅助函数. 引入待定函数k(n),使得

a_%7Bn%2B1%7D-k(n%2B1)%3Dp(n)(a_n-k(n)).

对比系数可得

q(n)%3Dk(n%2B1)-p(n)k(n)%5Ctext%7B%EF%BC%8C%7D

%5Cbegin%7Bcases%7Dk(2)-p(1)k(1)%3Dq(1)%2C%5C%5Ck(3)-p(2)k(2)%3Dq(2)%2C%5C%5C%5Ccdots%5C%5Ck(n)-p(n-1)k(n-1)%3Dq(n-1).%5Cend%7Bcases%7D

为了求出k(n),不妨令k(1)%3D0,有上面的方程组可得

k(n)%3D%5Cprod%5Climits_%7Bi%3D1%7D%5E%7Bn-1%7Dp(i)%5Csum%5Climits_%7Bi%3D0%7D%5E%7Bn-1%7D%5Cdfrac%7Bq(i)%7D%7B%5Cprod%5Climits_%7Bj%3D1%7D%5E%7Bn-1%7Dp(j)%7D.%5Cquad(n%5Cge2)

再由累乘法可得

a_n%3D%5Cprod_%7Bk%3D1%7D%5E%7Bn-1%7Dp(k)%5Cleft%5C%7Ba_1%2B%5Csum_%7Bi%3D1%7D%5E%7Bn-1%7D%5Cdfrac%7Bq(i)%7D%7B%5Cprod%5Climits_%7Bj%3D1%7D%5Eip(j)%7D%5Cright%5C%7D.

这个问题的结果过于繁琐,没有必要记住这个结论,关键在于掌握构造函数这一方法. 同时应该熟练掌握下面几个特例.

2.1 等比型数列

q(n)%3D0时,该数列常称为等比型数列. 此时只需要运用累乘法即可.

a_n%3Da_1%5Ccdot%5Cprod%5Climits_%7Bk%3D1%7D%5E%7Bn-1%7Dp(k)

2.2 等差型数列

p(n)%3D1时,该数列常称为等差型数列. 此时只需要运用累加法即可.

a_n%3Da_1%2B%5Csum%5Climits_%7Bk%3D1%7D%5E%7Bn-1%7Dq(n)

注:还有一些其他的递推方程,可以经过代数变形转化为等差型数列、等比型数列或者一般的变系数一阶递推数列.


3 常系数k阶线性递推数列

最常见的线性递推数列是二阶线性递推数列,它的递推式为

a_%7Bn%2B1%7D%3Dpa_n%2Bqa_%7Bn-1%7D%5Cquad(q%5Cneq0%2Cn%5Cge2).

p%2Bq%3D1,则

a_%7Bn%2B1%7D-a_%7Bn%7D%3D-q(a_n-a_%7Bn-1%7D)%5Ctext%7B%EF%BC%8C%7D

%5C%7Ba_%7Bn%2B1%7D-a_n%5C%7D是等比数列,先求a_%7Bn%2B1%7D-a_n,然后利用累加法求出a_n.

p%2Bq%5Cneq1,则存在%5Calpha%2C%5Cbeta满足

a_%7Bn%2B1%7D-%5Calpha%20a_n%3D%5Cbeta(a_n-%5Calpha%20a_%7Bn-1%7D)%5Ctext%7B%EF%BC%8C%7D

%5C%7Ba_%7Bn%2B1%7D-%5Calpha%20a_n%5C%7D为等比数列,再由已知方法求出a_n.

注意到%5Calpha%2B%5Cbeta%3Dp%2C%5Calpha%5Cbeta%3D-q%5Calpha%2C%5Cbeta是方程x%5E2-px-q%3D0的两个根,将方程

x%5E2-px-q%3D0

称为递推式a_%7Bn%2B1%7D%3Dpa_%7Bn%7D%2Bqa_%7Bn-1%7D的特征方程,由此得到二阶齐次线性递推数列的一般方法:

step1. 解出特征方程的两根%5Calpha%2C%5Cbeta

step2. 若%5Calpha%5Cneq%5Cbeta,则a_n%3DA%5Calpha%5En%2BB%5Cbeta%5En;若%5Calpha%3D%5Cbeta,则a_n%3D(An%2BB)%5Calpha%5En,其中A%2CB为待定常数,可由初始值a_1%2Ca_2解出.

由此可以推广到k阶线性递推的情况:

step1. 写出特征方程x%5Ek%3D%5Clambda_1x%5E%7Bk-1%7D%2B%5Clambda_2x%5E%7Bk-2%7D%2B%5Ccdots%2B%5Clambda_k并解出不同的根s_1%2Cs_2%2C%5Ccdots%2Cs_t,其对应的重根数为r_1%2Cr_2%2C%5Ccdots%2Cr_t

step2. 则通项为a_n%3D%5Csum%5Climits_%7Bi%3D1%7D%5En%5Cleft(%5Csum%5Climits_%7Bj%3D0%7D%5E%7Br_i-1%7DC_%7Bij%7Dn%5E%7Bj%7D%5Cright)s_i%5En,其中C_%7Bij%7D为待定常数,由初始值确定.

注:对于非齐次的递推数列,我们可以通过配凑系数将之转化为齐次递推数列.


4 变系数二阶线性递推数列

仿照上述2和3的方法,解决变系数二阶线性递推数列的基本想法是通过构造函数,将其转化为一阶递推数列进行求解.

对于一个一般的变系数二阶线性递推数列

a_%7Bn%2B2%7D%3Dp(n)a_%7Bn%2B1%7D%2Bq(n)a_n%5Ctext%7B%EF%BC%8C%7D

设法将p(n)%2Cq(n)写成

p(n)%3Df(n%2B1)%2Bg(n)%2Cq(n)%3D-f(n)g(n)

的形式,则有

a_%7Bn%2B2%7D%3D%5Bf(n%2B1)%2Bg(n)%5Da_%7Bn%2B1%7D-f(n)g(n)a_n.

a_%7Bn%2B2%7D-f(n%2B1)a_%7Bn%2B1%7D%3Dg(n)%5Ba_%7Bn%2B1%7D-f(n)a_n%5D.

此时可以看到%5C%7Ba_%7Bn%2B1%7D-f(n)a_n%5C%7D为等比型数列,利用前面的方法即可得到通项

a_n%3D%5Cprod_%7Bi%3D1%7D%5E%7Bn-1%7Df(i)%5Cleft%5B%5Csum_%7Bm%3D1%7D%5E%7Bn-1%7D%5Cprod%5Climits_%7Bk%3D1%7D%5Em%5Cdfrac%7Bg(k-1)%7D%7Bf(k)%7D%2Ba_1%5Cright%5D.

这个形式非常复杂,最重要的是理解和掌握思想方法,而不是死记硬背.


5 非线性递推数列

下面列举了一些最常见的非线性递推数列.

5. 1 乘积幂指型

这种类型可以尝试取对数,将递推式转化为和或差的形式,划归为上述的递推情况.

5. 2 含根号型

基本思想是去根号,可以尝试平方或换元,遇到具体问题可以多尝试.

5.3 分式型递推

分式型递推的一般形式为a_%7Bn%2B1%7D%3D%5Cdfrac%7Baa_n%2Bb%7D%7Bca_n%2Bd%7D,其中a%2Cb%2Cc%2Cd为常数,ad%5Cneq%20bc%2Cr%5Cneq0. 解决这类问题的一般性方法为不动点法.

由方程

x%3D%5Cdfrac%7Bax%2Bb%7D%7Bcx%2Bd%7D

可解得特征根%5Clambda_1%2C%5Clambda_2.

(1)若%5Clambda_1%3D%5Clambda_2%3D%5Clambda

· 当a_1%3D%5Clambda时,a_n%3D%5Clambda

· 当a_1%5Cneq%5Clambda时,%5Cleft%5C%7B%5Cdfrac%7B1%7D%7Ba_%7Bn%7D-%5Clambda%7D%5Cright%5C%7D为等差数列.

(2)若%5Clambda_1%5Cneq%5Clambda_2,则%5Cleft%5C%7B%5Cdfrac%7Ba_n-%5Clambda_1%7D%7Ba_n-%5Clambda_2%7D%5Cright%5C%7D为等比数列.

(3)若%5Clambda_1%2C%5Clambda_2不是实数,则该数列为周期数列.


6 数列求和

1. %5Csum%5Climits_%7Bi%3D1%7D%5Eni%3D1%2B2%2B3%2B%5Ccdots%2Bn%3D%5Cdfrac%7Bn(n%2B1)%7D%7B2%7D.

2. %5Csum%5Climits_%7Bi%3D1%7D%5Eni%5E2%3D1%5E2%2B2%5E2%2B3%5E2%2B%5Ccdots%2Bn%5E2%3D%5Cdfrac%7B1%7D%7B6%7Dn(n%2B1)(2n%2B1).

3. %5Csum%5Climits_%7Bi%3D1%7D%5Eni%5E3%3D1%5E3%2B2%5E3%2B3%5E3%2B%5Ccdots%2Bn%5E3%3D%5Cdfrac%7B1%7D%7B4%7Dn%5E2(n%2B1)%5E2.

4. %5Csum%5Climits_%7Bi%3D1%7D%5E%5Cinfty%5Cdfrac%7B1%7D%7Bi%7D%5Crightarrow%5Cinfty.

5. %5Csum%5Climits_%7Bi%3D1%7D%5E%5Cinfty%5Cdfrac%7B(-1)%5E%7Bi%2B1%7D%7D%7Bi%7D%3D1-%5Cdfrac%7B1%7D%7B2%7D%2B%5Cdfrac%7B1%7D%7B3%7D%2B%5Ccdots%3D%5Cln2.

6. %5Csum%5Climits_%7Bi%3D1%7D%5E%5Cinfty%5Cdfrac%7B1%7D%7Bi%5E2%7D%3D1%2B%5Cdfrac%7B1%7D%7B2%5E2%7D%2B%5Cdfrac%7B1%7D%7B3%5E2%7D%2B%5Ccdots%3D%5Cdfrac%7B%5Cpi%5E2%7D%7B6%7D.

除此之外,对于陌生的求和式,可以考虑裂项方法.


扫描二维码推送至手机访问。

特别声明:

本站属于公益性网站,纯粹个人原因(陪孩子学习便于查询和教授),网站部分内容收集于网络,仅供学生和老师参考、交流使用,请勿用作其他商业收费用途

如果网站内容能给你带来提升,那便是我经营此网站的初衷。网站相关内容如有问题,请及时提出,我在此谢谢!

本站尊重原创并对原创者的文章表示肯定和感谢,如有侵权请联系删除!针对本站原创内容,本站也欢迎转载,如需转载请注明出处。

本文链接:https://yc8.com.cn/wenzhang/202403/3963.html

分享给朋友:

“数列递推与求和” 的相关文章

组合数公式1年前 (2023-09-09)
数列10个月前 (03-08)
斐波那契数列10个月前 (03-08)

发表评论

访客

看不清,换一张

◎欢迎参与讨论,请在这里发表您的看法和观点。