遞迴關係式

遞歸關係(英語:Recurrence relation),在數學上也就是差分方程(英語:Difference equation),是一種遞推地定義一個序列的方程式:序列的每一項目是定義為前若干項的函數

斐波那契數即為遞歸關係

某些簡單定義的遞歸關係式可能會表現出非常複雜的(混沌的)性質,他們屬於數學中的非線性分析領域。

所謂解一個遞歸關係式,也就是求其解析解,即關於的非遞歸函數。

遞歸關係式的例子

 為等差數列 
一般地, 為等差數列,其中 為首項, 為公差。
 為等比數列 
一般地,   為等比數列,其中 為首項, 為公比。
 
 
因此最小的幾個階乘為 

倒數

 ,則
 
 
 
 
 
 
 
 
 
 

常系數線性齊次遞歸關係式

線性(英語:Linear)的意思是序列的每一項目是被定義為前一項的一種線性函數。系數和常數可能視 而定,甚至是非線性地。

一種特別的情況是當系數並不依照 而定。

齊次(英語:Homogenous)的意思為關係的常數項為零。

為了要得到線性遞歸唯一的解,必須有一些起始條件,就是序列的第一個數字無法依照該序列的其他數字而定時,且必須設定為某些數值。

解線性遞歸關係式

線性遞歸關係式的解通常是由系統的方法中找出來,通常藉由使用生成函數形式冪級數)或藉由觀察 是一種對 的特定數值之解的事實。且因關係式為線性方程,另一種方法是以矩陣表示此一遞歸關係式,並透過矩陣對角化等技巧求出關係式的通項。

二階遞歸關係式的形式:

 

我們擁有解為 

 

兩邊除以 我們可以得到:

 
 

這就是遞歸關係式的特徵方程。解出 可獲得兩個根(英語:Roots ,且如果兩個根是不同的,我們可得到解為

 

而如果兩個根是相同的(當 ),我們得到

 

  都是常數。以上結果皆可由直接代入得證,或以矩陣對角化的技巧推導出。

換句話說,將這種 形式的方程式,用 代入 後,就得到上述的 。常數  可以從"邊界條件(side conditions)"中得到,通常會像是「已知 ,  」。

範例:斐波那契數(英語:Fibonacci Number

斐波那契數是使用一種線性遞歸關係式來定義:

 
 
 

設若: 當n趨於無限大之極限值存在,則其值為   恰為黃金分割 ,另一值則為 ,兩值互為倒數,也就是說 ,反之亦然。

 

起始條件為:

 
 

因此,斐波那契數的序列為:

 

常系數非齊次線性遞歸關係

對於常系數非齊次線性遞歸關係,我們可以用待定系數法英語Method of undetermined coefficients來求出它的一個特解,而它的通解就是這個特解與對應的齊次遞歸關係的通解的和。也可以使用迭代法求解,但只能得到確切的數值解,不能直接以解析式作答,該方法可利用計算機求解。

時域經典法求解

一般情況下,常系數線性差分方程可以寫作:

 

則對應的齊次方程形式為:

 

則特徵方程為:

 

當特徵根非重根時,齊次解為:

 

當特徵根為重根時,若 為特徵方程的 重根,齊次解為:

 

特解 的形式由激勵函數 的形式決定。

一般情況,當激勵函數 代入方程。

方程右方出現 的形式,則特解選擇

 

當方程右方出現 的形式,則特解選擇

 不是特徵根時

 

 是特徵根時

 

  重根時

 

將特解帶入原方程,求出待定系數。根據邊界條件,可求出齊次節待定系數。

例子

我們用待定系數法來解以下的常系數非齊次線性遞歸關係:

 

對應的齊次遞歸關係

 

的齊次解是:

 

我們猜測特解的形式為:

 

代入原遞歸關係中,我們便得到:

 

比較等式兩端的 項的系數,可得:

 
 

比較等式兩端的 項的系數,可得:

 
 

比較等式兩端的常數項,可得:

 
 

因此原遞歸關係的通解為:

 

與微分方程的關係

數值求解常微分方程時,經常會遇到遞歸關係。例如,求解如下初值問題

 

如採用歐拉法和步長h,可以通過如下遞歸關係計算 ,    

 

線性一階微分方程組可以用離散化條目中介紹的方法解析地精確離散化。

參考

  • 遞歸
  • 差分
  • 主定理——分析算法複雜度的方法,從遞歸式得出通項的大小估計
  • 圓點段證明(英語:Circle points segments proof
  • 母函數——形式冪級數,其系數隱含某數列的資訊

外部連結