母函数的一般形式
1.普通型:
2.指数型:
一些常用的Taylor展开式
1 普通型:
既
2 指数型:
1)
2)
3)
4)
例:求n位十进制数出现偶数个5的数的个数
设为出现偶数个5的数的个数, bn b n 为出现奇数个5的数的个数
an=9an−1+bn−1 a n = 9 a n − 1 + b n − 1
bn=9bn−1=an−1 b n = 9 b n − 1 = a n − 1
a1=8,b1=1 a 1 = 8 , b 1 = 1
设母函数
Ga(x)=a1+a2x+a3x2+...
G
a
(
x
)
=
a
1
+
a
2
x
+
a
3
x
2
+
.
.
.
Gb(x)=b1+b2x+b3x2+...
G
b
(
x
)
=
b
1
+
b
2
x
+
b
3
x
2
+
.
.
.
x:a2=9a1+b1
x
:
a
2
=
9
a
1
+
b
1
x2:a3=9a2+b2
x
2
:
a
3
=
9
a
2
+
b
2
x3:a4=9a3+b3
x
3
:
a
4
=
9
a
3
+
b
3
...
.
.
.
求和得
Ga(x)−a1=9xGa(x)+xGb(x)
G
a
(
x
)
−
a
1
=
9
x
G
a
(
x
)
+
x
G
b
(
x
)
整理得
(1−9x)Ga(x)−xGb(x)=a1=8
(
1
−
9
x
)
G
a
(
x
)
−
x
G
b
(
x
)
=
a
1
=
8
同理可得
(1−9x)Gb(x)−xGa(x)=b1=1
(
1
−
9
x
)
G
b
(
x
)
−
x
G
a
(
x
)
=
b
1
=
1
解方程可得
Ga(x)=−71x+8(1−8x)(1−10x)
G
a
(
x
)
=
−
71
x
+
8
(
1
−
8
x
)
(
1
−
10
x
)
分解成部分分式,
设
A,B
A
,
B
使得
A1−8x+B1−10x=Ga(x)
A
1
−
8
x
+
B
1
−
10
x
=
G
a
(
x
)
成立
解得
A=72,b=92
A
=
7
2
,
b
=
9
2
∴Ga(x)=12(71−8x+91−10x)
∴
G
a
(
x
)
=
1
2
(
7
1
−
8
x
+
9
1
−
10
x
)
taylor展开
(1−ax)−1=∑k=0∞akxk ( 1 − a x ) − 1 = ∑ k = 0 ∞ a k x k
Ga(x)=12∑∞k=0(7∗8k+9∗10k)xk
G
a
(
x
)
=
1
2
∑
k
=
0
∞
(
7
∗
8
k
+
9
∗
10
k
)
x
k
∴an=72∗8n+92∗10k
∴
a
n
=
7
2
∗
8
n
+
9
2
∗
10
k
线性常系数齐次递推关系
递推关系:
设母函数为
可得
其中第 i 项的和为
总和为
整理得
设分子
∑ki=0(cixi∑k−i−1j=0aixi)=P(x)
∑
i
=
0
k
(
c
i
x
i
∑
j
=
0
k
−
i
−
1
a
i
x
i
)
=
P
(
x
)
单独看分母,提取
xk
x
k
,设
m=x−1
m
=
x
−
1
,得
既特征多项式(可直接通过递推关系写出):
特征多项式可进行因式分解
分母得
原式得
分类讨论:
1)无重根
待定系数
A1,A2...Ak
A
1
,
A
2
.
.
.
A
k
利用下式taylor展开可得
(1−ax)−1=∑k=0∞akxk ( 1 − a x ) − 1 = ∑ k = 0 ∞ a k x k
A1,A2...Ak A 1 , A 2 . . . A k 可通过初始值列线性方程组求解
2)有重根
设
β
β
为的重根,可得
利用二项式定理可得
(a+b)n=C0nan+C1nan−1b+...+Cnnbn ( a + b ) n = C n 0 a n + C n 1 a b n − 1 + . . . + C n n b n
例:求 Sn=∑nk=0k2 S n = ∑ k = 0 n k 2
解:
可得
1) Sn−Sn−1=n2 S n − S n − 1 = n 2
2) Sn−1−Sn−2=(n−1)2 S n − 1 − S n − 2 = ( n − 1 ) 2
3) Sn−2−Sn−3=(n−2)2 S n − 2 − S n − 3 = ( n − 2 ) 2
4) Sn−3−Sn−4=(n−3)2 S n − 3 − S n − 4 = ( n − 3 ) 2
1) - 2)得
Sn−2Sn−1+Sn−2=2n−1
S
n
−
2
S
n
−
1
+
S
n
−
2
=
2
n
−
1
2) - 3)得
Sn−1−2Sn−2+Sn−3=2n−3
S
n
−
1
−
2
S
n
−
2
+
S
n
−
3
=
2
n
−
3
可得
Sn−3Sn−1+3Sn−2−Sn−3=2
S
n
−
3
S
n
−
1
+
3
S
n
−
2
−
S
n
−
3
=
2
同理可得
Sn−1−3Sn−2+3Sn−3−Sn−4=2
S
n
−
1
−
3
S
n
−
2
+
3
S
n
−
3
−
S
n
−
4
=
2
∴Sn−4Sn−1+6Sn−2−4Sn−3+Sn−4=0
∴
S
n
−
4
S
n
−
1
+
6
S
n
−
2
−
4
S
n
−
3
+
S
n
−
4
=
0
S0=0,S1=1,S2=5,S4=14
S
0
=
0
,
S
1
=
1
,
S
2
=
5
,
S
4
=
14
至此,可用母函数特征多项式求出各项。