以生成函数方法看递回数列的特征方程式-台大数学系.DOCVIP

生成函數方法解一般遞迴數列 講者：台大數學二　蔡沛羽 一、前言 遞迴數列為高一上學期的課程，應該大多數的同學都有一點概念了。只是可能還有一些人為了多樣而複雜的解題過程而苦，而對遞迴數列敬而遠之；然而遞迴數列無論是在益智遊戲、電腦程式或者是生物化學等等上，都是有很重要的應用的，而且事實上，它反倒是將問題簡單化、清楚化了。所以有效的學習如何解ㄧ個遞迴數列是很有幫助的－或者也可以說，以後考試就不用那麼辛苦了。 「特徵方程式」就是解遞迴數列的鑰匙。以前可能有些人聽過，或者有些人可能在補習班用過，相信用過的人都知道這是一個方便快速的解法。但是，這個方程式為何會有這麼神奇的性質呢？它又是怎麼得來的？這正是我們這次要探討的問題。而我們入手的方向，就是有名的「生成函數」－一個好用到不能再好的東西。 二、生成函數 我們要看的生成函數(generating function)，在數學上又稱作形式冪級數(formal power series)。意思是它是形式上的考量，而不考慮實際上的數值，而其中冪級數則是無窮項的多項式。一般的長相如下：。而我們給定數列，它所造出的則稱為數列的生成函數。關於生成函數的運算有幾件事情我們要先記得： (1) (2) (3) (4) (廣義二項式定理) 注意到第一個式子可以看成無窮等比級數的展開，但是有學過微積分的人可能知道，這個不是一般都對的式子，只成立在時。另外最後一個式子則是廣義的二項式定理，式中的ｒ為任意實數，這其實與組合數的定義不符。 但猶如我們之前所說的，形式冪級數是一種只討論形式上而不考慮收斂性的冪級數，只需要它所構成的運算是可以定義的即可。而為何這樣的式子是滿足運算的，同學可以自行翻閱相關的參考資料作進一步的了解。 這種把數列放入多項式的係數中，觀察多項式的性質而得到數列或者得到係數的新關係的方法，在組合學、機率甚至是編碼中有非常重要且廣泛的使用。 三、遞迴數列 我們先從一般會看到的二階(常係數線性齊次)遞迴數列講起： 　 　特徵多項式： 則如我們所說的，令數列的生成函數 　　 則我們會有下面這個好用的算式： 　　 　 　 　 於是 所以，　 　　　令分母為　 如果說　　是特徵多項式K(x)的兩根的話，則可以發現 　 則我們可以將G(x)，做一個分式的改寫　(暫時假設二根相異) 　　　其中A,B是某兩個常數。 　 回憶公式(1)　於是 　 所以有 　　 比較係數，得　　，其中r1,r2為特徵多項式的兩根。 例一　 解法　 令 　 則　 　 　 　 故 根 -3,4 　　解 　 　 得　　n=0,1,2,3,… 例二 (費波納契Fibonacci) 解法　K(x)=　　 求A,B=? 習題： 1.　 2.　 3.　 (想想看) 現在我們把結果類推到一般化。 對一般的k階(常係數線性齊次)遞迴數列 　 bk及ci i=1,2,3…,k 皆為常數 有生成函數　　， 其特徵多項式為　　。 解K(x)的根使　，假設根皆相異。 則我們可以定　。 同樣寫成直式觀察(留作思考)，我們可以得到(當時) 即　　　 其中　　為已知的多項式。 所以 　，且特徵多項式　　。 　　其中Ai i=1,2,3,…,k是某常數。 　 同樣回憶公式(1)　，於是 　 所以有　　 。 比較係數得　，其中ri i=1,2,…k為特徵多項式K(x)的根。 於是我們可以發現遞迴數列其實只是由很多個等比數列所生成的，而解的過程，經過了一個拆分式的動作，於是我們可以仿照同樣的方法來處理有重根的狀況。 設k(x)的根為r1,r2,…,rs ，用h表示r的重根數，i=1,2,…,s，則 　　Ａi,j為待定的係數，由初始條件決定。 四、生成函數用於較複雜的遞迴式 我們直接來試比較不一樣的例子。比起用特徵方程式來猜解的形式，生成函數的解題過程其實蘊含了更多解題的關鍵，它可以幫我們解決一些常數項不為0(非齊次)，或者係數不是常數，甚至是非線性的狀況。以下分別補充三個例子： 例三　 例四　　(卡塔蘭Catalan) (1) (2) (3) (4) 例五　 (提示：) 習題： 1. 2. 3. 五、相關參考文獻 1. 盧開澄 盧華明 《組合數學》 清華大學出版社 2. 夏宗匯：〈組合數學中的生成函數〉《數學傳播》（第一卷第三期） 夏宗匯：〈生成函數與差分方程〉《數學傳播》（第卷第期）Niven, I., 《Formal power series, Amer. Math. Monthly》, 76(1969),871-889.