遞歸數列與不動點-中研院數學研究所.pdfVIP

遞歸數列與不動點 徐瀝泉 王繼岳 陳漢冶 天地萬物周而復始, 宏觀精微混沌交替, 波浪式起伏前進, 螺旋式循環上升, 人類社會亦寓 此理, 歷史的經驗值得注意。 近期翻閱 20世紀 80年代以後中國大陸之高考試題, 對遞歸數列問題尤感興趣, 遂發此文, 以喻此義。 特別獻給高中的同學們。 (一) 線性遞歸關係的不動點 一. 一階線性關係 Un = aUn−1 + b 1. 預備知識 首先考慮常數項 b = 0 的情況 Un = aUn−1 (n ≥ 2). (1) 我們不固定初項 U , (1) 式中 a 不取 0, 那麼線性關係 (1) 等價於一族首項為 U , 公比 1 1 為 a 的等比數列 {U |U = U an−1}。 n n 1 用歸納法可證明上述論斷, 茲從略。 2. 不動點的概念 設線性遞歸關係 Un = aUn−1 + b, 又設 lim Un 的存在性已獲證明, 求極限值就是簡易 事情。 例: 初項 U1 自由, Un = 1 Un−1 + 1, 已知 limn→∞ Un 存在, 求極限值。 2 解: 由 limn→∞ Un 存在, 故 limn→∞ Un−1 存在; 而兩者相等。 設為 x, 在給定等式兩端 取極限, 於是 x = 1x + 1, ∴ limn→∞ Un = x = 2, 所謂的不動點就是方程的根。 2 定義: 在線性遞推關係 Un = aUn−1 + b 中, a = 1, 如 Un 與 Un−1 同取一值, 則該值叫 做上述關係的不動點。 如不動點記為 f , 則 f = b 。 回顧第一節, 不動點 f = 0, 重新表述一下。 不動點為零 1−a 的線性遞歸關係等價於一族等比數列 {U an−1} 1 83 84 數學傳播 28 卷 1期 民 93 年 3 月 3. 一般情況 Un = aUn−1 + b (2) (2) 式兩端各減去 f = b , 於是 1−a Un − f = a(Un−1 − f ) 令 U′ = Un − f , 對於新的數列 U′ = aU′ ; 這是不動點為零的線性遞歸關係, 故 n n n−1 Un = f + (U1 − f )an−1 當 |a| 1 時, 極限存在, 且極限值等於不動點。 lim Un = f. n→∞ 同學們過去的方法: 存在性 → 求極限值   判斷存在性 肯定, 等於不動點; 現在的方法: 不動點 → 通項 −−−−−−−−→ 