递推关系式

递推关系(英语:Recurrence relation),在数学上也就是差分方程(英语:Difference equation),是一种递推地定义一个序列的方程式:序列的每一项目是定义为前若干项的函数

斐波那契数即为递推关系

某些简单定义的递回关系式可能会表现出非常复杂的(混沌的)性质,他们属于数学中的非线性分析领域。

所谓解一个递回关系式,也就是求其解析解,即关于的非递回函数。

递回关系式的例子

 为等差数列 
一般地, 为等差数列,其中 为首项, 为公差。
 为等比数列 
一般地,   为等比数列,其中 为首项, 为公比。
 
 
因此最小的几个阶乘为 

倒数

 ,则
 
 
 
 
 
 
 
 
 
 

常系数线性齐次递回关系式

线性(英语:Linear)的意思是序列的每一项目是被定义为前一项的一种线性函数。系数和常数可能视 而定,甚至是非线性地。

一种特别的情况是当系数并不依照 而定。

齐次(英语:Homogenous)的意思为关系的常数项为零。

为了要得到线性递回唯一的解,必须有一些起始条件,就是序列的第一个数字无法依照该序列的其他数字而定时,且必须设定为某些数值。

解线性递回关系式

线性递回关系式的解通常是由系统的方法中找出来,通常借由使用生成函数形式幂级数)或借由观察 是一种对 的特定数值之解的事实。且因关系式为线性方程,另一种方法是以矩阵表示此一递回关系式,并透过矩阵对角化等技巧求出关系式的通项。

二阶递回关系式的形式:

 

我们拥有解为 

 

两边除以 我们可以得到:

 
 

这就是递回关系式的特征方程。解出 可获得两个根(英语:Roots ,且如果两个根是不同的,我们可得到解为

 

而如果两个根是相同的(当 ),我们得到

 

  都是常数。以上结果皆可由直接代入得证,或以矩阵对角化的技巧推导出。

换句话说,将这种 形式的方程式,用 代入 后,就得到上述的 。常数  可以从"边界条件(side conditions)"中得到,通常会像是“已知 ,  ”。

范例:斐波那契数(英语:Fibonacci Number

斐波那契数是使用一种线性递回关系式来定义:

 
 
 

设若: 当n趋于无限大之极限值存在,则其值为   恰为黄金分割 ,另一值则为 ,两值互为倒数,也就是说 ,反之亦然。

 

起始条件为:

 
 

因此,斐波那契数的序列为:

 

常系数非齐次线性递推关系

对于常系数非齐次线性递推关系,我们可以用待定系数法英语Method of undetermined coefficients来求出它的一个特解,而它的通解就是这个特解与对应的齐次递推关系的通解的和。也可以使用迭代法求解,但只能得到确切的数值解,不能直接以解析式作答,该方法可利用计算机求解。

时域经典法求解

一般情况下,常系数线性差分方程可以写作:

 

则对应的齐次方程形式为:

 

则特征方程为:

 

当特征根非重根时,齐次解为:

 

当特征根为重根时,若 为特征方程的 重根,齐次解为:

 

特解 的形式由激励函数 的形式决定。

一般情况,当激励函数 代入方程。

方程右方出现 的形式,则特解选择

 

当方程右方出现 的形式,则特解选择

 不是特征根时

 

 是特征根时

 

  重根时

 

将特解带入原方程,求出待定系数。根据边界条件,可求出齐次节待定系数。

例子

我们用待定系数法来解以下的常系数非齐次线性递推关系:

 

对应的齐次递推关系

 

的齐次解是:

 

我们猜测特解的形式为:

 

代入原递推关系中,我们便得到:

 

比较等式两端的 项的系数,可得:

 
 

比较等式两端的 项的系数,可得:

 
 

比较等式两端的常数项,可得:

 
 

因此原递推关系的通解为:

 

与微分方程的关系

数值求解常微分方程时,经常会遇到递归关系。例如,求解如下初值问题

 

如采用欧拉法和步长h,可以通过如下递归关系计算 ,    

 

线性一阶微分方程组可以用离散化条目中介绍的方法解析地精确离散化。

参考

  • 递归
  • 差分
  • 主定理——分析算法复杂度的方法,从递归式得出通项的大小估计
  • 圆点段证明(英语:Circle points segments proof
  • 母函数——形式幂级数,其系数隐含某数列的资讯

外部链接