遞推關係(英語:Recurrence relation),在數學上也就是差分方程(英語:Difference equation),是一種遞推地定義一個序列的方程式:序列的每一項目是定義為前若干項的函數。
像斐波那契數即為遞推關係
![{\displaystyle x_{n+2}=x_{n+1}+x_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/db22fc6e933c722e5b98a64f9b056a63cb8a6629)
某些簡單定義的遞迴關係式可能會表現出非常複雜的(混沌的)性質,他們屬於數學中的非線性分析領域。
所謂解一個遞迴關係式,也就是求其解析解,即關於
的非遞迴函數。
遞迴關係式的例子[編輯]
為等差數列![{\displaystyle 1,3,5,7,.....}](https://wikimedia.org/api/rest_v1/media/math/render/svg/89e2e5d3443891c52beea61b2e3da223aec1c019)
- 一般地,
為等差數列,其中
為首項,
為公差。
為等比數列![{\displaystyle 1,2,4,8,.....}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5ad67da6d033e32e02a0d6af4268c3ce7329241d)
- 一般地,
且
,
為等比數列,其中
為首項,
為公比。
![{\displaystyle 0!=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/22956a0fa255c6c9562eab440f8c23c2954a6cf4)
![{\displaystyle n!=n\times (n-1)!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8d891ef337dfc887e53e61084c46c54765d59272)
- 因此最小的幾個階乘為
、
- 設
,則
![{\displaystyle x_{1}=x_{1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/92b24ec919270384f655cd54c31313d66532eed0)
![{\displaystyle x_{2}=(x_{1})^{2}-2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3848d19357a933632f3909c7686c4dd8d0e13f24)
![{\displaystyle x_{3}=x_{1}\cdot x_{2}-x_{1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0188946968c6ae1bc4802de11b876122fa4740ad)
![{\displaystyle x_{4}=(x_{2})^{2}-2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2f2eff1786fc045009ca1c732650a3cf6c5a17fb)
![{\displaystyle x_{5}=x_{2}\cdot x_{3}-x_{1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bc72ffa1d488ad2427a0e4bdc5fe3797a9f8b09b)
![{\displaystyle x_{6}=(x_{3})^{2}-2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/02c74caf454e3efdf33bbbe6cf782798ffeb897c)
![{\displaystyle x_{7}=x_{3}\cdot x_{4}-x_{1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2babc2885bd92415cbbfeda1173a5201609ac074)
![{\displaystyle \cdots \cdots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/b530c30d47e9e52b3528233341f338ac12fe0d2e)
![{\displaystyle x_{2k}=(x_{k})^{2}-2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5a186ac951dc2d092ad934916c44750850733d80)
![{\displaystyle x_{2k+1}=x_{k}\cdot x_{k+1}-x_{1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a3c081abac1009ceda2b3b6398b290ce0313374c)
常係數線性齊次遞迴關係式[編輯]
線性(英語:Linear)的意思是序列的每一項目是被定義為前一項的一種線性函數。係數和常數可能視
而定,甚至是非線性地。
一種特別的情況是當係數並不依照
而定。
齊次(英語:Homogenous)的意思為關係的常數項為零。
為了要得到線性遞迴唯一的解,必須有一些起始條件,就是序列的第一個數字無法依照該序列的其他數字而定時,且必須設定為某些數值。
解線性遞迴關係式[編輯]
線性遞迴關係式的解通常是由系統的方法中找出來,通常藉由使用生成函數(形式冪級數)或藉由觀察
是一種對
的特定數值之解的事實。且因關係式為線性方程,另一種方法是以矩陣表示此一遞迴關係式,並透過矩陣對角化等技巧求出關係式的通項。
二階遞迴關係式的形式:
![{\displaystyle a_{n}=Aa_{n-1}+Ba_{n-2}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a887ae98823f7e8be6e7f1dd246da11d8f9f091b)
我們擁有解為
:
![{\displaystyle r^{n}=Ar^{n-1}+Br^{n-2}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ee07b7a4ab9e8698537f4e492ad2b7dc9434c9bb)
兩邊除以
我們可以得到:
![{\displaystyle r^{2}=Ar+B\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/37574d5ca9bab6a13f3a21ef87565f74717d04d5)
![{\displaystyle r^{2}-Ar-B=0\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/637ae49a022d089abb5fc32d7a4892810720b3e4)
這就是遞迴關係式的特徵方程。解出
可獲得兩個根(英語:Roots)
,且如果兩個根是不同的,我們可得到解為
![{\displaystyle a_{n}=C\lambda _{1}^{n}+D\lambda _{2}^{n}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d24e0cd8801ab1fc03f55af10739828d671db6fb)
而如果兩個根是相同的(當
),我們得到
![{\displaystyle a_{n}=C\lambda ^{n}+Dn\lambda ^{n}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4e7bbb97e447e30bcbd7a03752585643d85848e8)
和
都是常數。以上結果皆可由直接代入得證,或以矩陣對角化的技巧推導出。
換句話說,將這種
形式的方程式,用
代入
後,就得到上述的
。常數
和
可以從"邊界條件(side conditions)"中得到,通常會像是「已知
,
」。
範例:斐波那契數(英語:Fibonacci Number)[編輯]
斐波那契數是使用一種線性遞迴關係式來定義:
![{\displaystyle F_{0}=0\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3b02e52c2750966a05a83702a1e85cb070f7ce65)
![{\displaystyle F_{1}=1\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/63c8c364a175f395fc24c8d6526d5b8c8270a3d5)
![{\displaystyle F_{n}=F_{n-1}+F_{n-2}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ef3adaede4e5d01e298cde6faf9864ea1c41b084)
設若:
當n趨於無限大之極限值存在,則其值為
恰為黃金分割值
,另一值則為
,兩值互為倒數,也就是說
,反之亦然。
![{\displaystyle F_{n}={\Phi ^{n} \over {\sqrt {5}}}-{(1-\Phi )^{n} \over {\sqrt {5}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a5b66581952b511614a940a767817f02047bbb98)
起始條件為:
![{\displaystyle F_{0}=0\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3b02e52c2750966a05a83702a1e85cb070f7ce65)
![{\displaystyle F_{1}=1\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/63c8c364a175f395fc24c8d6526d5b8c8270a3d5)
因此,斐波那契數的序列為:
![{\displaystyle 0,1,1,2,3,5,8,13,21,34,55,89...}](https://wikimedia.org/api/rest_v1/media/math/render/svg/00149f3e0fd077b5a49e93b8b8a5dc0ab1deb53f)
常係數非齊次線性遞推關係[編輯]
對於常係數非齊次線性遞推關係,我們可以用待定係數法來求出它的一個特解,而它的通解就是這個特解與對應的齊次遞推關係的通解的和。也可以使用迭代法求解,但只能得到確切的數值解,不能直接以解析式作答,該方法可利用計算機求解。
時域經典法求解[編輯]
一般情況下,常係數線性差分方程可以寫作:
![{\displaystyle \sum _{k=0}^{N}a_{k}y(n-k)=\sum _{r=0}^{M}b_{r}x(n-r)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b80ef9e2283517c006c990f0f8382f625cbe0b57)
則對應的齊次方程形式為:
![{\displaystyle \sum _{k=0}^{N}a_{k}y(n-k)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a1854765126387b3c0cf5013caf6801531faefb0)
則特徵方程為:
![{\displaystyle \sum _{k=0}^{N}a_{k}\alpha ^{N-k}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/46ba759488722bef9f8262ef8b2960c45f3d643f)
當特徵根非重根時,齊次解為:
![{\displaystyle y_{h}(n)=\sum _{i=1}^{N}C_{i}\alpha _{i}^{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4cf008c958ffaa71fa992ad4d75bd8bf6f5835fd)
當特徵根為重根時,若
為特徵方程的
重根,齊次解為:
![{\displaystyle y_{h}(n)=\sum _{i=1}^{K}n^{K-i}\alpha _{1}^{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e5f200cdca81fa2984db0c9ce4cc62dca440d597)
特解
的形式由激勵函數
的形式決定。
一般情況,當激勵函數
代入方程。
方程右方出現
的形式,則特解選擇
![{\displaystyle y_{p}(n)=A_{0}n^{k}+A_{1}n^{k-1}+\cdots +A_{k}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2baae33495d232c6022b9402654497d1267c4748)
當方程右方出現
的形式,則特解選擇
當
不是特徵根時
![{\displaystyle y_{p}(n)=Aa^{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/218801e342b5ea879c07ba80c4c8f613696c15ca)
當
是特徵根時
![{\displaystyle y_{p}(n)=(A_{1}n+A_{0})a^{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/677a49d74256ab661495432145bd46f84d2b8813)
當
為
重根時
![{\displaystyle y_{p}(n)=(A_{r}n^{r}+A_{r-1}n^{r-1}+\cdots +A_{1}n+A_{0})a^{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/839df85a32b014b2cf17f231454035e2ed701f73)
將特解帶入原方程,求出待定係數。根據邊界條件,可求出齊次節待定係數。
我們用待定係數法來解以下的常係數非齊次線性遞推關係:
![{\displaystyle a_{n+1}=2a_{n}+3^{n}+5n\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e370f3df6a44448641f1677de6ab4056004c260b)
對應的齊次遞推關係
![{\displaystyle b_{n+1}=2b_{n}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ad2bf9e43480b5f747b73b771dbafe1fbd018337)
的齊次解是:
![{\displaystyle b_{n}=c_{1}2^{n}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/82a8ac104b89821f38116a549d63ccb5dbb63e6d)
我們猜測特解的形式為:
![{\displaystyle a_{n}=c_{2}3^{n}+c_{3}n+c_{4}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/92f15120c18170e803d6e058e39d172873d35c54)
代入原遞推關係中,我們便得到:
![{\displaystyle c_{2}3^{n+1}+c_{3}(n+1)+c_{4}=2(c_{2}3^{n}+c_{3}n+c_{4})+3^{n}+5n\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5273c9338e506b245b8682ae486b007dd8f3e95e)
比較等式兩端的
項的係數,可得:
![{\displaystyle 3c_{2}=2c_{2}+1\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7eb433a43792ec857c2d9282478ace5a10803da0)
![{\displaystyle c_{2}=1\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/19dd5b586866fa584e57bd0d11a6c989f5b416ac)
比較等式兩端的
項的係數,可得:
![{\displaystyle c_{3}=2c_{3}+5\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f96772709a70ff69d550340f4b0324e3018ec060)
![{\displaystyle c_{3}=-5\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e22f2486106c36079f975c67f97ffbaeacf5bbbb)
比較等式兩端的常數項,可得:
![{\displaystyle c_{3}+c_{4}=2c_{4}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/83bef14092cf8e0aebc297dc5547e290344775bf)
![{\displaystyle c_{4}=c_{3}=-5\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/509aa12188378921acfaf0db33f3c8ff5eb70a97)
因此原遞推關係的通解為:
![{\displaystyle a_{n}=c_{1}2^{n}+3^{n}-5n-5\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/adc08549f2f4bcf3284bb4016ba4676ba8280695)
與微分方程的關係[編輯]
數值求解常微分方程時,經常會遇到遞歸關係。例如,求解如下初值問題時
![{\displaystyle y'(t)=f(t,y(t)),\qquad y(t_{0})=y_{0},\qquad \qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/2c46fc1dd3adfd0e471c76f56445c614f9f467d7)
如採用歐拉法和步長h,可以通過如下遞歸關係計算
,
![{\displaystyle y_{n+1}=y_{n}+hf(t_{n},y_{n})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0e7458d6e59c93636d2a72d09601c3b70df569bd)
線性一階微分方程組可以用離散化條目中介紹的方法解析地精確離散化。
- 遞歸
- 差分
- 主定理——分析算法複雜度的方法,從遞歸式得出通項的大小估計
- 圓點段證明(英語:Circle points segments proof)
- 母函數——形式冪級數,其系數隱含某數列的資訊
外部連結[編輯]