程序员社区

【组合数学】递推方程 ( 递推方程解与特征根之间的关系定理 | 递推方程解的线性性质定理 | 递推方程解的形式 )

文章目录

  • 一、递推方程解与特征根之间的关系定理
  • 二、递推方程解的线性性质定理
  • 三、递推方程解的形式

一、递推方程解与特征根之间的关系定理


特征根递推方程的解 之间是存在关系的 , 如果知道了这个内在联系 , 就可以 根据特征根 , 写出递推方程的解的模式 , 即 通解 ;

递推方程解与特征根相关定理 :

q

q

q 是非

0

0

0 复数 , 则有以下等价关系 :

q

q

q 是特征方程的特征根

\Leftrightarrow

q

n

q^n

qn 是递推方程的解

证明上述定理 :

按照定义 , 将 递推方程的解

q

n

q^n

qn , 代入原来的递推方程 ,

递推方程的解是

q

n

q^n

qn , 代表了

n

n

n 项的值是

q

n

q^n

qn , 即

H

(

n

)

=

q

n

H(n) = q^n

H(n)=qn ;

递推方程 :

H

(

n

)

a

1

H

(

n

1

)

a

2

H

(

n

2

)

a

k

H

(

n

k

)

=

0

H(n) - a_1H(n-1) - a_2H(n-2) - \cdots - a_kH(n-k) = 0

H(n)a1H(n1)a2H(n2)akH(nk)=0 ,

  • n

    n

    n

    H

    (

    n

    )

    H(n)

    H(n) 的值是

    q

    n

    q^n

    qn

  • n

    1

    n-1

    n1

    H

    (

    n

    1

    )

    H(n-1)

    H(n1) 的值是

    q

    n

    1

    q^{n-1}

    qn1

  • n

    2

    n-2

    n2

    H

    (

    n

    2

    )

    H(n-2)

    H(n2) 的值是

    q

    n

    2

    q^{n-2}

    qn2

                

\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \vdots

                

  • n

    k

    n-k

    nk

    H

    (

    n

    k

    )

    H(n-k)

    H(nk) 的值是

    q

    n

    k

    q^{n-k}

    qnk

代入后结果是 :

     

q

n

\ \ \ \ \ q^n

     qn 是递推方程的解

q

n

a

1

q

n

1

a

2

q

n

2

a

k

q

n

k

=

0

\Leftrightarrow q^n - a_1q^{n-1} - a_2q^{n-2} - \cdots - a_kq^{n-k} = 0

qna1qn1a2qn2akqnk=0

q

n

k

q^{n-k}

qnk 作为公因式提取出来 ;

q

n

k

(

q

k

a

1

q

k

1

a

2

q

k

2

a

k

)

=

0

\Leftrightarrow q^{n-k} ( q^k - a_1q^{k-1} - a_2q^{k-2} - \cdots - a_k ) = 0

qnk(qka1qk1a2qk2ak)=0

上述两个乘积为

0

0

0 ,

q

n

k

q^{n-k}

qnk 肯定不为

0

0

0 , 则剩余部分结果是

0

0

0 ;

q

k

a

1

q

k

1

a

2

q

k

2

a

k

=

0

\Leftrightarrow q^k - a_1q^{k-1} - a_2q^{k-2} - \cdots - a_k = 0

qka1qk1a2qk2ak=0

上述方程 , 正好是特征方程 , 该特征方程的解 , 就是特征根

q

q

q ;

\Leftrightarrow

q

q

q 是特征根

二、递推方程解的线性性质定理


递推方程解的线性性质定理 :

h

1

(

n

)

h_1(n)

h1(n)

h

2

(

n

)

h_2(n)

h2(n) 都是同一个递推方程的解 ,

c

1

,

c

2

c_1 , c_2

c1,c2 是任意常数 ,

使用这两个解作 线性组合 ,

c

1

h

1

(

n

)

+

c

2

h

2

(

n

)

c_1h_1(n) + c_2h_2(n)

c1h1(n)+c2h2(n) , 这个线性组合也是递推方程的解 ;

证明方法 :

c

1

h

1

(

n

)

+

c

2

h

2

(

n

)

c_1h_1(n) + c_2h_2(n)

c1h1(n)+c2h2(n) 组合代入递推方程的左边式子中 , 化简后为

0

0

0 ;

递推方程 :

H

(

n

)

a

1

H

(

n

1

)

a

2

H

(

n

2

)

a

k

H

(

n

k

)

=

0

H(n) - a_1H(n-1) - a_2H(n-2) - \cdots - a_kH(n-k) = 0

H(n)a1H(n1)a2H(n2)akH(nk)=0 ,

c

1

h

1

(

n

)

+

c

2

h

2

(

n

)

c_1h_1(n) + c_2h_2(n)

c1h1(n)+c2h2(n) 线性组合代入上述方程 ,

  • H

    (

    n

    )

    H(n)

    H(n) 使用

    c

    1

    h

    1

    (

    n

    )

    +

    c

    2

    h

    2

    (

    n

    )

    c_1h_1(n) + c_2h_2(n)

    c1h1(n)+c2h2(n) 代替

  • H

    (

    n

    1

    )

    H(n-1)

    H(n1) 使用

    c

    1

    h

    1

    (

    n

    1

    )

    +

    c

    2

    h

    2

    (

    n

    1

    )

    c_1h_1(n-1) + c_2h_2(n-1)

    c1h1(n1)+c2h2(n1) 代替

  • H

    (

    n

    2

    )

    H(n-2)

    H(n2) 使用

    c

    1

    h

    1

    (

    n

    2

    )

    +

    c

    2

    h

    2

    (

    n

    2

    )

    c_1h_1(n-2) + c_2h_2(n-2)

    c1h1(n2)+c2h2(n2) 代替

  • H

    (

    n

    k

    )

    H(n-k)

    H(nk) 使用

    c

    1

    h

    1

    (

    n

    k

    )

    +

    c

    2

    h

    2

    (

    n

    k

    )

    c_1h_1(n-k) + c_2h_2(n-k)

    c1h1(nk)+c2h2(nk) 代替

得到 :

(

c

1

h

1

(

n

)

+

c

2

h

2

(

n

)

)

(c_1h_1(n) + c_2h_2(n))

(c1h1(n)+c2h2(n))

-

a

1

(

a_1(

a1(

c

1

h

1

(

n

1

)

+

c

2

h

2

(

n

1

)

c_1h_1(n-1) + c_2h_2(n-1)

c1h1(n1)+c2h2(n1)

)

a

2

) - a_2

)a2

(

c

1

h

1

(

n

2

)

+

c

2

h

2

(

n

2

)

)

(c_1h_1(n-2) + c_2h_2(n-2))

(c1h1(n2)+c2h2(n2))

a

k

(

- \cdots - a_k(

ak(

c

1

h

1

(

n

k

)

+

c

2

h

2

(

n

k

)

c_1h_1(n-k) + c_2h_2(n-k)

c1h1(nk)+c2h2(nk)

)

=

0

) = 0

)=0

将所有含有

c

1

h

1

c_1h_1

c1h1 的项合并到一起 , 将所有含有

c

2

h

2

c_2h_2

c2h2 的项 , 合并到一起 , 得到 :

c

1

(

h

1

(

n

)

a

1

h

1

(

n

1

)

a

2

h

1

(

n

2

)

a

k

h

1

(

n

k

)

)

c_1( h_1(n) - a_1h_1(n-1) - a_2h_1(n-2) - \cdots - a_kh_1(n-k))

c1(h1(n)a1h1(n1)a2h1(n2)akh1(nk))

+

+

+

c

2

(

h

2

(

n

)

a

1

h

2

(

n

1

)

a

2

h

2

(

n

2

)

a

k

h

k

(

n

k

)

)

c_2( h_2(n) - a_1h_2(n-1) - a_2h_2(n-2) - \cdots - a_kh_k(n-k))

c2(h2(n)a1h2(n1)a2h2(n2)akhk(nk))

=

0

= 0

=0

上述式子中 蓝色部分 和 红色部分 分别都是

0

0

0

  • h

    1

    (

    n

    )

    h_1(n)

    h1(n) 是递推方程的解 , 因此

    c

    1

    (

    h

    1

    (

    n

    )

    a

    1

    h

    1

    (

    n

    1

    )

    a

    2

    h

    1

    (

    n

    2

    )

    a

    k

    h

    1

    (

    n

    k

    )

    )

    c_1( h_1(n) - a_1h_1(n-1) - a_2h_1(n-2) - \cdots - a_kh_1(n-k))

    c1(h1(n)a1h1(n1)a2h1(n2)akh1(nk)) 的值为

    0

    0

    0 ;

  • h

    2

    (

    n

    )

    h_2(n)

    h2(n) 是递推方程的解 , 因此

    c

    2

    (

    h

    2

    (

    n

    )

    a

    1

    h

    2

    (

    n

    1

    )

    a

    2

    h

    2

    (

    n

    2

    )

    a

    k

    h

    k

    (

    n

    k

    )

    )

    c_2( h_2(n) - a_1h_2(n-1) - a_2h_2(n-2) - \cdots - a_kh_k(n-k))

    c2(h2(n)a1h2(n1)a2h2(n2)akhk(nk)) 的值为

    0

    0

    0 ;

三、递推方程解的形式


将之前将的 “递推方程解与特征根之间的关系定理” “递推方程解的线性性质定理” 结合在一起 , 就可以 根据特征根 , 将递推方程的解写出来 ;

假定

q

1

,

q

2

,


,

q

k

q_1 , q_2 , \cdots , q_k

q1,q2,,qk 是递推方程的特征根 , 一元

k

k

k 次方程有

k

k

k 个根 ;

根据 “递推方程解与特征根之间的关系定理” ,

q

1

n

,

q

2

n

,


,

q

k

n

q_1^n, q_2^n , \cdots , q_k^n

q1n,q2n,,qkn 都是递推方程的解 ,

将这

k

k

k 个解 , 作线性组合 ,

c

1

q

1

n

+

c

2

q

2

n

+

+

c

k

q

k

n

c_1q_1^n + c_2q_2^n + \cdots + c_kq_k^n

c1q1n+c2q2n++ckqkn ,

根据 “递推方程解的线性性质定理” , 上述线性组合

c

1

q

1

n

+

c

2

q

2

n

+

+

c

k

q

k

n

c_1q_1^n + c_2q_2^n + \cdots + c_kq_k^n

c1q1n+c2q2n++ckqkn 也是递推方程的解 ;

此时找到了递推方程的解的一种形式 ;

总结下过程 :

  • 递推方程标准形式 : 写出递推方程 标准形式 , 所有项都在等号左边 , 右边是

    0

    0

    0 ;

  • 特征方程项数 : 确定 特征方程项数 , 与 递推方程项数相同 ;
  • 特征方程次幂数 : 最高次幂是 特征方程项数

    1

    -1

    1 , 最低次幂

    0

    0

    0 ;

  • 写出 没有系数 的特征方程 ;
  • 逐位将递推方程的系数 抄写 到特征方程中 ;
  • 解特征根 :特征方程的特征根解出来 ,

    x

    =

    b

    ±

    b

    2

    4

    a

    c

    2

    a

    x = \cfrac{-b \pm \sqrt{b^2 - 4ac}}{2a}

    x=2ab±b24ac

  • 构造递推方程的解 : 构造

    c

    1

    q

    1

    n

    +

    c

    2

    q

    2

    n

    +

    +

    c

    k

    q

    k

    n

    c_1q_1^n + c_2q_2^n + \cdots + c_kq_k^n

    c1q1n+c2q2n++ckqkn 形式的线性组合 , 该线性组合就是递推方程的解 ;

满足

H

(

n

)

a

1

H

(

n

1

)

a

2

H

(

n

2

)

a

k

H

(

n

k

)

=

0

H(n) - a_1H(n-1) - a_2H(n-2) - \cdots - a_kH(n-k) = 0

H(n)a1H(n1)a2H(n2)akH(nk)=0 公式的所有递推方程 , 都具有

c

1

q

1

n

+

c

2

q

2

n

+

+

c

k

q

k

n

c_1q_1^n + c_2q_2^n + \cdots + c_kq_k^n

c1q1n+c2q2n++ckqkn 形式的解 ;

赞(0) 打赏
未经允许不得转载:IDEA激活码 » 【组合数学】递推方程 ( 递推方程解与特征根之间的关系定理 | 递推方程解的线性性质定理 | 递推方程解的形式 )

相关推荐

  • 暂无文章

一个分享Java & Python知识的社区