不动点方法求数列通项
不动点方法求数列通项
第一章:引言
本文主要是讨论用不动点的方法来解决数列通项问题。当我们知道了数列的递推公式,然后最关心的就是如何求出数列的通项公式。这个也是竞赛,高考中最常见的问题。本文特别关注用分式函数,“耐克”函数,多项式函数作为非线性数列递推关系的数列通项。不动点方法是大学动力系统的研究中的一种核心方法。本文就是通过结合不动点方法来解决已知某项递推公式的通项公式。主要参考了多项式和有理函数的例外点集的处理方法,给出了一种解决数列迭代通项的问题。同时指出,如果在竞赛和高考命题中,如果利用耐克函数 EMBED Equation.DSMT4 EMBED Equation.DSMT4 迭代形式只有当 EMBED Equation.DSMT4 时,才能写出通项。
第二章:主要结果
定义:对函数 EMBED Equation.DSMT4 ,若存在 EMBED Equation.DSMT4 满足 EMBED Equation.DSMT4 ,那么称 EMBED Equation.DSMT4 为函数的不动点。
下面介绍不同几类的数列的通项求法。
1. EMBED Equation.DSMT4 , EMBED Equation.DSMT4
设 EMBED Equation.DSMT4 ,将 EMBED Equation.DSMT4 看做 EMBED Equation.DSMT4 。计算 EMBED Equation.DSMT4 可得不动点 EMBED Equation.DSMT4 ,构造 EMBED Equation.DSMT4 。将 EMBED Equation.DSMT4 代入 EMBED Equation.DSMT4 的表达式中可得 EMBED Equation.DSMT4 是一个等比数列。由此可得: EMBED Equation.DSMT4 ,故 EMBED Equation.DSMT4
2. EMBED Equation.DSMT4 , EMBED Equation.DSMT4 且 EMBED Equation.DSMT4 。若 EMBED Equation.DSMT4 可以通过上下同除一个常数使得行列式为1。
设 EMBED Equation.DSMT4 ,计算不动点可得方程 EMBED Equation.DSMT4 ,对于方程 EMBED Equation.DSMT4 。因此,对于不动点的结构而言,有三种不同情况。
情况一: 方程有两个不同的实数根,记作 EMBED Equation.DSMT4 。那么构造 EMBED Equation.DSMT4 ,可得 EMBED Equation.DSMT4 。这里 EMBED Equation.DSMT4 或者 EMBED Equation.DSMT4 ,到底取哪个值与 EMBED Equation.DSMT4 的构造方法有关。由此可得 EMBED Equation.DSMT4 ,所以 EMBED Equation.DSMT4 ,所以 EMBED Equation.DSMT4
情况二:方程有两个相同实数根,记作 EMBED Equation.DSMT4 ,此时 EMBED Equation.DSMT4 。故 EMBED Equation.DSMT4 那么构造 EMBED Equation.DSMT4 。 可得 EMBED Equation.DSMT4 。所以 EMBED Equation.DSMT4 。
EMBED Equation.DSMT4 ,所以 EMBED Equation.DSMT4
情况三:方程有两个共轭虚根。 当共轭虚根时,数列往往显示周期性。一般有如下规律。要么有 EMBED Equation.DSMT4 ,要么有 EMBED Equation.
DSMT4 。 这个问题还有待研究。
3.以下要给出一系列多项式和有理函数迭代的数列的公式。
例1. EMBED Equation.DSMT4 , EMBED Equation.DSMT4 ,求 EMBED Equation.DSMT4 的通项。
解:设 EMBED Equation.DSMT4 ,那么 EMBED Equation.DSMT4 可得 EMBED Equation.DSMT4 。构造 EMBED Equation.DSMT4 ,可得 EMBED Equation.DSMT4 。因此 EMBED Equation.DSMT4 。所以 EMBED Equation.DSMT4 ,所以 EMBED Equation.DSMT4 。
例2. EMBED Equation.DSMT4 , EMBED Equation.DSMT4 ,求 EMBED Equation.DSMT4 的通项。
解:作函数 EMBED Equation.DSMT4 ,求不动点 EMBED Equation.DSMT4 可得 EMBED Equation.DSMT4 , EMBED Equation.DSMT4 。显然构造 EMBED Equation.DSMT4 不改变原来递推形式。尝试 EMBED Equation.DSMT4 或者 EMBED Equation.DSMT4 发现 EMBED Equation.DSMT4 可以求出 EMBED Equation.DSMT4 ,因此 EMBED Equation.DSMT4 。故 EMBED Equation.DSMT4 ,即 EMBED Equation.DSMT4 。
对于有理函数和多项式迭代什么时候可以用不动点方式写出通向公式。可以从以下定理中得出结论。
定义:设 EMBED Equation.DSMT4 为有理函数, EMBED Equation.DSMT4 , EMBED Equation.DSMT4 ,称序列 EMBED Equation.DSMT4 为 EMBED Equation.DSMT4 在点 EMBED Equation.DSMT4 的轨道,记作 EMBED Equation.DSMT4 。
定义 EMBED Equation.DSMT4 的大轨道 EMBED Equation.DSMT4 。
一个点 EMBED Equation.DSMT4 称为例外点,如果它的大轨道是有限点集,记例外集为 EMBED Equation.DSMT4 。
定理1: EMBED Equation.DSMT4 至多由两个点组成。
定理2::若 EMBED Equation.DSMT4 非空,当 EMBED Equation.DSMT4 ,则有理函数可以共轭形如 EMBED Equation.DSMT4 。
所以,前面的有理函数迭代 EMBED Equation.DSMT4 ,其中不动点 EMBED Equation.DSMT4 恰好是例外点。因为若函数 EMBED Equation.DSMT4 则有 EMBED Equation.DSMT4 ,由此可知,只有 EMBED Equation.DSMT4 在这个大轨道中。故可以通过设 EMBED Equation.DSMT4 得到 EMBED Equation.DSMT4 。 下面我们来说明,对于耐克函数迭代,可以通过移动不动点方法的情况这是唯一种。证明方法主要是通过计算例外点的方法来实现。
设 EMBED Equation.DSMT4 EMBED Equation.DSMT4 ,设 EMBED Equation.DSMT4 ,所以, EMBED Equation.DSMT4 ,故 EMBED Equation.DSMT4 。如果 EMBED Equation.DSMT4 为例外点,只能有 EMBED Equation.DSMT4 方程的解只能为 EMBED Equation.DSMT4 代入方程可得 EMBED Equation.DSMT4 , EMBED Equation.DSMT4 。由此可知, EMBED Equation.DSMT4 必须也是 EMBED Equation.DSMT4 或者 EMBED Equation.DSMT4 。故可知
EMBED Equati
on.DSMT4 ,故 EMBED Equation.DSMT4 。当 EMBED Equation.DSMT4 ,故 EMBED Equation.DSMT4 。 由此可知如果利用耐克函数构造数列迭代,只有 EMBED Equation.DSMT4 才能化解成 EMBED Equation.DSMT4 。故我们得到命题。
命题: 对于 EMBED Equation.DSMT4 ,当且仅当 EMBED Equation.DSMT4 时, EMBED Equation.DSMT4 的例外集为 EMBED Equation.DSMT4 中有两个点。
推论:对于 EMBED Equation.DSMT4 ,当且仅当 EMBED Equation.DSMT4 时,才有 EMBED Equation.DSMT4 满足 EMBED Equation.DSMT4 。
第三章:问题
本文只是考虑了较为简单的耐克的函数类,分式函数类和多项式函数类的问题。对于更复杂的函数类该如何处理依旧是一个问题。关键问题在于如何计算何种函数才有两个例外点。
第四章: 感谢
首先感谢组委会给我一个机会参与这个比赛,激发我的数学兴趣,更要感谢丘先生举办如此一个比赛让我们充分发挥自主学习性。 同时也要感谢我的母校天山中学对我的教导。以及感谢我的指导老师杨静桦博士的指导。谢谢他推荐我看一些大学的书籍,以至于我会了解很多数列迭代的本质,对数学更加充满了兴趣。
参考书目
任福尧等, 复动力解析系统, 1997年第一版
历年高考考卷
历年希望杯竞赛试卷
PAGE
PAGE 4
***[JimiSoft: Unregistered Software ONLY Convert Part Of File! Read Help To Know How To Register.]***