递推关系(英語:Recurrence relation),在數學上也就是差分方程(英語:Difference equation),是一種递推地定義一個序列的方程式:序列的每一項目是定義為前若干項的函數。
像斐波那契数即為递推关系
![{\displaystyle x_{n+2}=x_{n+1}+x_{n}}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/db22fc6e933c722e5b98a64f9b056a63cb8a6629)
某些簡單定義的遞迴關係式可能會表現出非常複雜的(混沌的)性質,他們屬於數學中的非線性分析領域。
所謂解一個遞迴關係式,也就是求其解析解,即關於
的非遞迴函數。
為等差數列![{\displaystyle 1,3,5,7,.....}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/89e2e5d3443891c52beea61b2e3da223aec1c019)
- 一般地,
為等差數列,其中
為首項,
為公差。
為等比數列![{\displaystyle 1,2,4,8,.....}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/5ad67da6d033e32e02a0d6af4268c3ce7329241d)
- 一般地,
且
,
為等比數列,其中
為首項,
為公比。
![{\displaystyle 0!=1}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/22956a0fa255c6c9562eab440f8c23c2954a6cf4)
![{\displaystyle n!=n\times (n-1)!}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/8d891ef337dfc887e53e61084c46c54765d59272)
- 因此最小的幾個階乘為
、
- 設
,則
![{\displaystyle x_{1}=x_{1}}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/92b24ec919270384f655cd54c31313d66532eed0)
![{\displaystyle x_{2}=(x_{1})^{2}-2}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/3848d19357a933632f3909c7686c4dd8d0e13f24)
![{\displaystyle x_{3}=x_{1}\cdot x_{2}-x_{1}}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/0188946968c6ae1bc4802de11b876122fa4740ad)
![{\displaystyle x_{4}=(x_{2})^{2}-2}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/2f2eff1786fc045009ca1c732650a3cf6c5a17fb)
![{\displaystyle x_{5}=x_{2}\cdot x_{3}-x_{1}}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/bc72ffa1d488ad2427a0e4bdc5fe3797a9f8b09b)
![{\displaystyle x_{6}=(x_{3})^{2}-2}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/02c74caf454e3efdf33bbbe6cf782798ffeb897c)
![{\displaystyle x_{7}=x_{3}\cdot x_{4}-x_{1}}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/2babc2885bd92415cbbfeda1173a5201609ac074)
![{\displaystyle \cdots \cdots }](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/b530c30d47e9e52b3528233341f338ac12fe0d2e)
![{\displaystyle x_{2k}=(x_{k})^{2}-2}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/5a186ac951dc2d092ad934916c44750850733d80)
![{\displaystyle x_{2k+1}=x_{k}\cdot x_{k+1}-x_{1}}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/a3c081abac1009ceda2b3b6398b290ce0313374c)
線性(英語:Linear)的意思是序列的每一項目是被定義為前一項的一種線性函數。係數和常數可能視
而定,甚至是非線性地。
一種特別的情況是當係數並不依照
而定。
齊次(英語:Homogenous)的意思為关系的常數項為零。
為了要得到線性遞迴唯一的解,必須有一些起始條件,就是序列的第一個數字無法依照該序列的其他數字而定時,且必須設定為某些數值。
線性遞迴關係式的解通常是由系統的方法中找出來,通常藉由使用生成函數(形式冪級數)或藉由觀察
是一種對
的特定數值之解的事實。且因關係式為線性方程,另一種方法是以矩陣表示此一遞迴關係式,並透過矩陣對角化等技巧求出關係式的通項。
二階遞迴關係式的形式:
![{\displaystyle a_{n}=Aa_{n-1}+Ba_{n-2}\,}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/a887ae98823f7e8be6e7f1dd246da11d8f9f091b)
我們擁有解為
:
![{\displaystyle r^{n}=Ar^{n-1}+Br^{n-2}\,}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/ee07b7a4ab9e8698537f4e492ad2b7dc9434c9bb)
兩邊除以
我們可以得到:
![{\displaystyle r^{2}=Ar+B\,}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/37574d5ca9bab6a13f3a21ef87565f74717d04d5)
![{\displaystyle r^{2}-Ar-B=0\,}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/637ae49a022d089abb5fc32d7a4892810720b3e4)
這就是遞迴關係式的特徵方程。解出
可獲得兩個根(英語:Roots)
,且如果兩個根是不同的,我們可得到解為
![{\displaystyle a_{n}=C\lambda _{1}^{n}+D\lambda _{2}^{n}\,}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/d24e0cd8801ab1fc03f55af10739828d671db6fb)
而如果兩個根是相同的(當
),我們得到
![{\displaystyle a_{n}=C\lambda ^{n}+Dn\lambda ^{n}\,}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/4e7bbb97e447e30bcbd7a03752585643d85848e8)
和
都是常數。以上結果皆可由直接代入得證,或以矩陣對角化的技巧推導出。
換句話說,將這種
形式的方程式,用
代入
後,就得到上述的
。常數
和
可以從"邊界條件(side conditions)"中得到,通常會像是「已知
,
」。
範例:斐波那契数(英語:Fibonacci Number)
[编辑]
斐波那契数是使用一種線性遞迴關係式來定義:
![{\displaystyle F_{0}=0\,}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/3b02e52c2750966a05a83702a1e85cb070f7ce65)
![{\displaystyle F_{1}=1\,}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/63c8c364a175f395fc24c8d6526d5b8c8270a3d5)
![{\displaystyle F_{n}=F_{n-1}+F_{n-2}\,}](https://backend.710302.xyz/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://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/a5b66581952b511614a940a767817f02047bbb98)
起始條件為:
![{\displaystyle F_{0}=0\,}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/3b02e52c2750966a05a83702a1e85cb070f7ce65)
![{\displaystyle F_{1}=1\,}](https://backend.710302.xyz/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://backend.710302.xyz/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://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/b80ef9e2283517c006c990f0f8382f625cbe0b57)
则对应的齐次方程形式为:
![{\displaystyle \sum _{k=0}^{N}a_{k}y(n-k)=0}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/a1854765126387b3c0cf5013caf6801531faefb0)
则特征方程为:
![{\displaystyle \sum _{k=0}^{N}a_{k}\alpha ^{N-k}=0}](https://backend.710302.xyz/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://backend.710302.xyz/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://backend.710302.xyz/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://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/2baae33495d232c6022b9402654497d1267c4748)
当方程右方出现
的形式,则特解选择
当
不是特征根时
![{\displaystyle y_{p}(n)=Aa^{n}}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/218801e342b5ea879c07ba80c4c8f613696c15ca)
当
是特征根时
![{\displaystyle y_{p}(n)=(A_{1}n+A_{0})a^{n}}](https://backend.710302.xyz/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://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/839df85a32b014b2cf17f231454035e2ed701f73)
将特解带入原方程,求出待定系数。根据边界条件,可求出齐次节待定系数。
我们用待定系数法来解以下的常系数非齐次线性递推关系:
![{\displaystyle a_{n+1}=2a_{n}+3^{n}+5n\,}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/e370f3df6a44448641f1677de6ab4056004c260b)
对应的齐次递推关系
![{\displaystyle b_{n+1}=2b_{n}\,}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/ad2bf9e43480b5f747b73b771dbafe1fbd018337)
的齐次解是:
![{\displaystyle b_{n}=c_{1}2^{n}\,}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/82a8ac104b89821f38116a549d63ccb5dbb63e6d)
我们猜测特解的形式为:
![{\displaystyle a_{n}=c_{2}3^{n}+c_{3}n+c_{4}\,}](https://backend.710302.xyz/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://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/5273c9338e506b245b8682ae486b007dd8f3e95e)
比较等式两端的
项的系数,可得:
![{\displaystyle 3c_{2}=2c_{2}+1\,}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/7eb433a43792ec857c2d9282478ace5a10803da0)
![{\displaystyle c_{2}=1\,}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/19dd5b586866fa584e57bd0d11a6c989f5b416ac)
比较等式两端的
项的系数,可得:
![{\displaystyle c_{3}=2c_{3}+5\,}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/f96772709a70ff69d550340f4b0324e3018ec060)
![{\displaystyle c_{3}=-5\,}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/e22f2486106c36079f975c67f97ffbaeacf5bbbb)
比较等式两端的常数项,可得:
![{\displaystyle c_{3}+c_{4}=2c_{4}\,}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/83bef14092cf8e0aebc297dc5547e290344775bf)
![{\displaystyle c_{4}=c_{3}=-5\,}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/509aa12188378921acfaf0db33f3c8ff5eb70a97)
因此原递推关系的通解为:
![{\displaystyle a_{n}=c_{1}2^{n}+3^{n}-5n-5\,}](https://backend.710302.xyz/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://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/2c46fc1dd3adfd0e471c76f56445c614f9f467d7)
如采用欧拉法和步长h,可以通过如下递归关系计算
,
![{\displaystyle y_{n+1}=y_{n}+hf(t_{n},y_{n})}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/0e7458d6e59c93636d2a72d09601c3b70df569bd)
线性一阶微分方程组可以用离散化条目中介绍的方法解析地精确离散化。
- 递归
- 差分
- 主定理——分析算法複雜度的方法,從遞歸式得出通項的大小估計
- 圆点段证明(英語:Circle points segments proof)
- 母函数——形式冪級數,其系數隱含某數列的資訊