【组合数学】递推方程 ( 常系数线性非齐次递推方程 的 非齐次部分是 多项式 与 指数 组合方式 | 通解的四种情况 )
文章目錄
- 一、常系數線性非齊次遞推方程 的 非齊次部分是 多項式 與 指數 組合方式
- 二、遞推方程通解的四種情況
一、常系數線性非齊次遞推方程 的 非齊次部分是 多項式 與 指數 組合方式
如果 “常系數線性非齊次遞推方程” 的非齊次部分 , 是 nnn 的 ttt 次多項式 , 與 βn\beta^nβn 的指數 , 的組合 ;
那么其特解的形式 , 是 nnn 的 ttt 次多項式 , 與 PβnP\beta^nPβn 的 和 ;
遞推方程 : an?2an?1=n+3na_n - 2a_{n-1} = n + 3^nan??2an?1?=n+3n
初值 : a0=0a_0 = 0a0?=0
通解形式 ( 重要 ) :
① 非齊次部分是 nnn 的 ttt 次多項式 :
- 特征根不為 111 , 特解是 nnn 的 ttt 次多項式 ;
- 如果特征根為 111 , 且重數為 eee , 那么特解是 nnn 的 t+et + et+e 次多項式 ;
② 非齊次部分是 PβnP\beta^nPβn :
- 特征根不能是底 β\betaβ , 特解是 PβnP\beta^nPβn ;
- 特征根是底 β\betaβ , 該特征根重數為 eee , 特解是 PneβnPn^e\beta^nPneβn ;
③ 齊次部分沒有重根 : H(n)=c1q1n+c2q2n+?+ckqknH(n) = c_1q_1^n + c_2q_2^n + \cdots + c_kq_k^nH(n)=c1?q1n?+c2?q2n?+?+ck?qkn?
④ 齊次部分有重根 : 通解第 iii 項 , 特征根 qiq_iqi? , 重數 eie_iei? , Hi(n)=(ci1+ci2n+?+cieinei?1)qinH_i(n) = (c_{i1} + c_{i2}n + \cdots + c_{ie_i}n^{e_i - 1})q_i^nHi?(n)=(ci1?+ci2?n+?+ciei??nei??1)qin? , 最終通解 H(n)=∑i=1tHi(n)H(n) = \sum\limits_{i=1}^tH_i(n)H(n)=i=1∑t?Hi?(n) ;
參考博客 : 【組合數學】遞推方程 ( 常系數線性非齊次遞推方程 的 非齊次部分是 多項式 與 指數 組合方式 | 通解的四種情況 )
計算齊次部分通解 :
遞推方程齊次部分標準形式 : an?2an?1=0a_n - 2a_{n-1} = 0an??2an?1?=0
特征方程 : x?2=0x - 2 = 0x?2=0
特征根 : x=2x=2x=2
齊次部分通解 : an ̄=c2n\overline{a_n} =c2^nan??=c2n
計算非齊次部分通解 :
上述遞推方程非齊次部分是 n+3nn + 3^nn+3n , 由兩部分構成 :
nnn 的 ttt 次多項式 : nnn , 特征根不為 111 , 對應的特解是 nnn 的 ttt 次多項式 , 形式為 P1n+P2P_1n + P_2P1?n+P2? ;
βn\beta^nβn 指數 : 3n3^n3n , 特征根不是底 333 , 對應的特解是 PβnP\beta^nPβn 形式 , 形式為 P33nP_33^nP3?3n ;
完整的特解 : an?=P1n+P2+P33na^*_n = P_1n + P_2 + P_33^nan??=P1?n+P2?+P3?3n
將特解代入到遞推方程 :
(P1n+P2+P33n)?2[P1(n?1)+P2+P33n?1]=n+3n(P_1n + P_2 + P_33^n) - 2[P_1(n-1) + P_2 + P_33^{n-1}] = n + 3^n(P1?n+P2?+P3?3n)?2[P1?(n?1)+P2?+P3?3n?1]=n+3n
將左邊式子展開 :
?P1n+(2P1?P2)+P33n?1=n+3n-P_1n + (2P_1 - P_2) + P_33^{n-1}=n+3^n?P1?n+(2P1??P2?)+P3?3n?1=n+3n
根據分析 nnn 的次冪項 , 常數項 , 3n3^n3n 項的對應關系 , 可以得到以下方程組 :
{?P1=12P1?P2=0P33=1\begin{cases} -P_1 = 1 \\\\ 2P_1 - P_2 = 0 \\\\ \cfrac{P_3}{3} =1 \end{cases}???????????????????P1?=12P1??P2?=03P3??=1?
解上述方程組 , 結果為 :
{P1=?1P2=?2P3=3\begin{cases} P_1 = -1 \\\\ P_2 = -2 \\\\ P_3 =3 \end{cases}????????????????P1?=?1P2?=?2P3?=3?
特解 : 將上述常數代入到 an?=P1n+P2+P33na^*_n = P_1n + P_2 + P_33^nan??=P1?n+P2?+P3?3n 中 , 得到最終特解 : an?=?n?2+3n+1a^*_n = -n - 2 + 3^{n+1}an??=?n?2+3n+1 ;
齊次部分通解形式 : an ̄=c2n\overline{a_n} =c2^nan??=c2n
完整通解 : an=an ̄+an?=c2n?n?2+3n+1a_n = \overline{a_n} + a^*_n = c2^n -n - 2 + 3^{n+1}an?=an??+an??=c2n?n?2+3n+1
將初值 a0=0a_0 = 0a0?=0 代入上述通解 :
c20?0?2+30+1=0c2^0 - 0 - 2 + 3^{0+1} = 0c20?0?2+30+1=0
c?2+3=0c - 2 + 3 = 0c?2+3=0
c=?1c=-1c=?1
最終遞推方程的通解是 an=2n?n?2+3n+1a_n = 2^n -n - 2 + 3^{n+1}an?=2n?n?2+3n+1
二、遞推方程通解的四種情況
通解形式 ( 重要 ) :
① 非齊次部分是 nnn 的 ttt 次多項式 :
- 特征根不為 111 , 特解是 nnn 的 ttt 次多項式 ;
- 如果特征根為 111 , 且重數為 eee , 那么特解是 nnn 的 t+et + et+e 次多項式 ;
② 非齊次部分是 PβnP\beta^nPβn :
- 特征根不能是底 β\betaβ , 特解是 PβnP\beta^nPβn ;
- 特征根是底 β\betaβ , 該特征根重數為 eee , 特解是 PneβnPn^e\beta^nPneβn ;
③ 齊次部分沒有重根 : H(n)=c1q1n+c2q2n+?+ckqknH(n) = c_1q_1^n + c_2q_2^n + \cdots + c_kq_k^nH(n)=c1?q1n?+c2?q2n?+?+ck?qkn?
④ 齊次部分有重根 : 通解第 iii 項 , 特征根 qiq_iqi? , 重數 eie_iei? , Hi(n)=(ci1+ci2n+?+cieinei?1)qinH_i(n) = (c_{i1} + c_{i2}n + \cdots + c_{ie_i}n^{e_i - 1})q_i^nHi?(n)=(ci1?+ci2?n+?+ciei??nei??1)qin? , 最終通解 H(n)=∑i=1tHi(n)H(n) = \sum\limits_{i=1}^tH_i(n)H(n)=i=1∑t?Hi?(n) ;
參考博客 : 【組合數學】遞推方程 ( 常系數線性非齊次遞推方程 的 非齊次部分是 多項式 與 指數 組合方式 | 通解的四種情況 )
總結
以上是生活随笔為你收集整理的【组合数学】递推方程 ( 常系数线性非齐次递推方程 的 非齐次部分是 多项式 与 指数 组合方式 | 通解的四种情况 )的全部內容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: 【组合数学】递推方程 ( 非齐次部分是
- 下一篇: 【软件工程】数据流图 ( 数据字典 |