函数方程的递归解法

《函数方程的递归解法》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。

1、虿袆节蒆薅袆蒄蚁羄袅膄薄袀袄芆蝿螆袃莈薂蚁袂蒁莅羀袁膀薁袆羀芃莃螂羀莅蕿蚈罿肄莂蚄羈芇蚇羃羇荿蒀衿羆蒁蚅螅羅膁蒈蚁羄芃蚄薇肄莆蒇袅肃肅蚂螁肂膈蒅螇肁莀螀蚃肀蒂薃羂聿膂莆袈肈芄薁螄肈莇莄蚀膇肆薀薆膆腿莃袄膅莁薈袀膄蒃蒁螆膃膃蚆蚂膂芅葿羁膂莇蚅袇芁蒀蒇螃芀腿蚃虿袆节蒆薅袆蒄蚁羄袅膄薄袀袄芆蝿螆袃莈薂蚁袂蒁莅羀袁膀薁袆羀芃莃螂羀莅蕿蚈罿肄莂蚄羈芇蚇羃羇荿蒀衿羆蒁蚅螅羅膁蒈蚁羄芃蚄薇肄莆蒇袅肃肅蚂螁肂膈蒅螇肁莀螀蚃肀蒂薃羂聿膂莆袈肈芄薁螄肈莇莄蚀膇肆薀薆膆腿莃袄膅莁薈袀膄蒃蒁螆膃膃蚆蚂膂芅葿羁膂莇蚅袇芁蒀蒇螃芀腿蚃虿袆节蒆薅袆蒄蚁羄袅膄薄袀袄芆蝿

2、螆袃莈薂蚁袂蒁莅羀袁膀薁袆羀芃莃螂羀莅蕿蚈罿肄莂蚄羈芇蚇羃羇荿蒀衿羆蒁蚅螅羅膁蒈蚁羄芃蚄薇肄莆蒇袅肃肅蚂螁肂膈蒅螇肁莀螀蚃肀蒂薃羂聿膂莆袈肈芄薁螄肈莇莄蚀膇肆薀薆膆腿莃袄膅莁薈袀膄蒃蒁螆膃膃蚆蚂膂芅葿羁膂莇蚅袇芁蒀蒇螃芀腿蚃虿袆节蒆薅袆蒄蚁羄袅膄薄袀袄芆蝿螆袃莈薂蚁袂蒁莅羀袁膀薁袆羀芃莃螂羀莅专家名著田增伦函数方程的递归解法上节最后几个例题清楚地表明，对于由自然数的函数组成的方程，代换法是一个相当有效的方法.但是，这种方法也会有失效的时候.请看例1中由养兔问题而得到的函数方程：如果分别令就得到加在一起，得仍然未能求得我们所需要的函数，即无

3、法用n的代数式来表示.这时候，使用一种叫递归法的方法，也许会获得成功.我们知道，定义在自然数上的函数，当自变量n依次取1，2，3，…等值时，就形成一个数列因而可以借助于数列对这种函数组成的函数方程加以研究.给出一个数列，通常可有三种方法：一是用通项公式，一是用递推公式，一是用递归公式.所谓通项公式，就是用自然数n的表达式来表示数列的“通项”的公式.所谓递推公式，就是由含有数列前边的若干项的表达式来表示后边某一项的公式.如果这种表达式中仅含数列前边的若干项（允许有常数系数），这个公式就叫递归公式.例如自然数列，用通项公式来表示是（51）用递

4、推公式来表示就是（52）用递归公式来表示又成为（53）-12-又如自然数的平方组成的数列它的这三个公式分别是通项公式：（54）递推公式：（55）递归公式：（56）这里有几个关系值得注意：第一，通项公式与其他两个公式的关系.从函数方程的观点看来，递推、递归公式实际上都是函数方程，而通项公式则是它们的解.这一点，从（51）～（53），（54）～（56）可以明显地看出来.第二，递推公式与递归公式间的关系.从定义上看，递归公式也是一种递推公式，二者是从属关系，或特殊与一般的关系.不过为了叙述上的方便，我们把只含数列中的项（可以带有系数）的递推公式

5、叫递归公式.递归公式的一般形式是（57）这是用数列中连续k项的表达式来表示紧接着的后一项.这里，是常数系数.公式（57）更精确地称做是k阶递归公式.一般来说，由递推公式能够推导出递归公式.以（55）的递推公式为例.因为同样地有后式减去前式，移项得类似地有后式减去前式，移项得（58）这是一个三阶递归公式.第三，三个公式与数列的关系.一旦给出通项公式，数列便被唯一地确定了.但递推公式特别是递归公式却不然.给出一个递归公式后，会有无穷多数列都满足这个递归公式.-12-这是因为，由k阶递归公式的数列，它的前k项无法由递归公式本身确定.但当给出了这

6、个数列的前k项的值后，递归公式就唯一地确定了数列.我们把数列前k项的值叫初值条件.同一个递归公式，由于初值条件不同，将得到不同的数列.例如，递推公式（58）是一个三阶递归公式.只有当初值条件取时，才对应自然数的平方的数列.事实上，如果改变初值条件，比如取时，不难算得：数列就不再是自然数平方数列了.一般说来，递归公式（57）可以对应无穷多的数列，只要选取不同的初值条件，亦即对数列的前k项给以不同的值就行了.反过来说，有无穷多个数列满足递归公式（57）.只有在初值条件给出后，数列才完全确定.特别是，我们能够构造出首项为1，公比为q的等比数列，

7、使它满足递归公式（57）：事实上，只要公比满足方程（58）就可以了.方程（58）两边同除以，得.（59）这就是说，公比q应当是方程（59）的根.这样一来，一个等比数列，只要当它的公式q满足以k阶递归公式（57）的相当系数为系数的代数方程（59）时，它必能满足这个递归公式.方程（59）叫递归公式（49）的特征方程.还应当指出：-12-如果一个数列满足递归公式（57），那末给数列的各项乘以相同的常数，所得的新数列仍满足原递归公式（57）；如果两个数列都满足同一个递归公式（57），那末它们对应项的和所组成的新数列仍满足原递归公式（57）；由此又

8、得到：如果两个数列都满足同一个递归公式（57），那末，给两数列的各项分别乘以常数（同一数列的各项要乘同一常数，但两数列所乘的常数可不必相同），再把对应项加起来，所成的数列仍满足原递归公式（57