组合数学讲义 3章 递推关系.doc

第三章 递推关系 基本概念 递推关系 （隐式）对数列和任意自然数n，一个关系到和某些个的方程式，称为递推关系，记作 (3.1.1) 例 定义3.1.1＇（显式） 对数列，把与其之前若干项联系起来的等式对所有n≥k均成立（k为某个给定的自然数），称该等式为的递推关系，记为 (3.1.1)＇ 例 分类 （1） 按常量部分： 齐次递推关系：指常量＝0，如； 非齐次递推关系，即常量≠0，如。 （2） 按的运算关系： 线性关系，F是关于的线性函数，如（1）中的与均是如此； 非线性关系，F是的非线性函数，如。 （3） 按的系数： 常系数递推关系，如（1）中的与； 变系数递推关系，如，之前的系数是随着n而变的。 （4） 按数列的多少 一元递推关系，其中的方程只涉及一个数列，如(3.1.1)和(3.1.1)＇均为一元的； 多元递推关系，方程中涉及多个数列，如 （5）显式与隐式 以上所给出的例子都是显式的或者可以化为显式关系（如（1）中的hn）。而在求微分方程的数值解时，还会碰到如下的隐式递推关系： 定解问题 （定解问题）称含有初始条件的递推关系为定解问题，其一般形式为 (3.1.2) 所谓解递推关系，就是指根据式(3.1.1)或(3.1.2)求an的与a0、a1、…、an－1无关的