数列极限的计算方法
-
已知递推式\(a_{n+1}=f(a_n)\)求解数列极限
-
在草稿纸上
先斩后奏
:假设极限存在,然后尝试解出极限值为\(A\); -
画出\(f(x)\)和\(x\)的大致图像(
初等函数都得会画
),找到交点的大致范围\((C_1,C_2)\);在理论上初等函数的图像是都可以通过研究导数性质绘制出来的,但是如果函数较为复杂的时候,这种方法的
性价比
就很低了,特别是面对有除式
时。比较经典的引导如:\[\begin{aligned} 指数函数引导中值定理:f(x)-1,如e^x-1=e^x-e^0=e^\xi\cdot(x-0); \\ 对数函数引导终止定理:f(x)-0,如\ln x-0=\ln x-\ln1=\frac{1}{\xi}\cdot(x-1);\\\\ 对数中通分:\ln(\frac{f(x)}{\alpha(x)}\pm \frac{g(x)}{\beta(x)})=\ln(\frac{f(x)\beta(x)\pm g(x)\alpha(x)}{\alpha(x)\beta(x)})=\ln{分子}-\ln{分母}; \end{aligned} \]当然如果题目中突然给出我们一个点\(x_0\)的函数值为\(f(x_0)\),然后表达式中有\(x-x_0\)的时候,这个时候不用中值定理未免也太辜负命题老师的良苦用心了。
所以我们面对有除式的复杂函数时,首先想想
中值定理
,它能够将除式消除,构造出一个等式:\(g(a_{n+1})=h(\xi_n)\),然后通过\(\xi_n\)的范围确定数列的界和单调性。最特殊的情况就是\(g=h\)且单调,这个时候\(a_{n+1}=\xi_n\)。然后我们就能够依据单调有界准则
判断极限存在,再代入计算即可。 -
用
零点定理
证明:在区域\((C_1,C_2)\)内\(F(x)=f(x)-x=0\)有唯一实根\(x=A\); -
用
数学归纳法
证明:\(x_n\in(C_1,C_2)\),这样数列\(\{x_n\}\)就有界了; -
方程\(x=f(x)\)有解析解(可以得出实数\(A\)确切的值)
-
求迭代函数\(f(x)\)的单调性
- 如果单调增,说明数列\(\{x_n\}\)是单调数列,增或减看前两项关系;
- 如果单调减,说明数列\(\{x_n\}\)没有单调性,转(6)改用
定义法
证明;
关于构造
迭代函数
与数列极限的关系的补充说明: -
这时\(\{x_n\}\)
单调有界
,则极限必存在,将草稿纸上的步骤搬下来;
-
-
方程\(x=f(x)\)无解析解(以我们现有能力解不出)
-
用
拉式中值定理
:\(|x_{n+1}-A|=|f(x_n)-f(A)|=|f^{(1)}(\xi_n)|\cdot|x_n-A|\); -
证明\(\forall \xi\in(C_1,C_2),|f^{(1)}(\xi)|\le k\lt1\);
-
\(0\le|x_{n+1}-A|=\prod_{i=1}^{n}|f^{(1)}(\xi_i)|\cdot|x_1-A|\le k^n|x_1-A|\);
-
用
夹逼定理
得:\(\underset{n\rightarrow\infty}{\lim}|x_{n+1}-A|=0\),所以\(\{x_n\}\)的极限就是\(F(x)=0\)的根;
-
-
-
已知递推式\(a_{n+1}=f(a_n)\)求解数列函数\(\Gamma\large(\normalsize{\{\gamma_i;\}_n}\large)=\Gamma_n\)的极限
-
\(g、h、\gamma\)映射代表着什么?
在\(\Gamma\)中每一项元素是\(g(a_i)\),需要用
递推式的恒等变形
推出:\(g(a_n)=\gamma\large(\normalsize{h(a_n),h(a_{n+1})}\large)=\gamma_n\)。\(\gamma\)表示了一个能
将aₙ和aₙ₊₁分开,让其独立平等且拥有相同的h映射
的映射。最经典的莫过于裂项相消
和累乘法
,前者是构造的减法,而后者则是构造出除法。 -
\(\Gamma\)映射代表着什么?
而\(\Gamma\)则代表将所有的\(\gamma\)用一种映射关联起来,这种映射作用于前一项\(\gamma_{n-1}\)的后一项\(h(a_n)\)上(带有\(\gamma\)映射的运算符),所以一般是与\(\gamma\)
相反的映射
。比如当\(\Gamma\)映射是“加法”时,\(\gamma\)映射就是“减法”;当\(\Gamma\)映射是“乘法”时,\(\gamma\)映射就是“除法”;当\(\Gamma\)映射是“指数”时,\(\gamma\)映射就是“对数”;……; -
等式恒等变形?
太复杂了我真不知道怎么说,只能靠\(\Gamma\)来推测出\(\gamma\),而且只能靠经验试验出\(h\)。
-
如果推不出\(\gamma\)映射咋办?
上面只是假设推得出,真要是推不出那就说明中间项是抵消不掉的,形式上就和
无穷多无穷小量相加
一致了,这时我们可以用递推式推出通项
,然后用夹逼准则
。但是我很少在考研中
遇到这种有递推式但是不用恒等变形,反而考察高中数学通递转换
的题😅。
-
-
已知递推式\(a_{n+1}=F(a_n)=\int{f(x,a_n)dx}\)求解数列极限
其实这种题只是(1)的一种特殊形式罢了,单纯地想要致敬张宇老师。我们完全可以画出\(F(a_n)\)的图像,只不过这个图像并不是一个初等函数,而是一个
分段函数
,但是我们同样可以通过初始值确定出极限处于哪一段上面,并且确定每一段的解\(A\)和变量\(x\)的范围,然后用数归去证明它,再研究那一分段的单调性,之后要么用单调有界,要么用定义法,求出极限的值。
-
已知\(a_{n+1}=f(\{a_i;\}_n)\)求解数列极限
-
向前移步再相减得出递推式:\(a_{n+1}=a_n+g(a_n)\);
-
然后研究函数\(f(x)=x+g(x)\)的性质,并转到(1)求解;
-
-
已知通项式\(a_n=A(n)\)
-
如果是求\(\underset{n\rightarrow\infty}{\lim}a_n=\underset{n\rightarrow\infty}{\lim}A(n)=A\)
-
若通项简单
-
画出函数图像,观察能否判断出极限的值\(A\);
- 如果
判断不出
则尝试化为递推式
; - 如果判断得出则继续向下进行;
- 如果
-
用
放缩法
证明:\(|x_{n+1}-A|\le k^n\cdot|x_1-A|\),其中\(0\le k\le C\lt1\); -
用
夹逼定理
得:\(\underset{n\rightarrow\infty}{\lim}|x_{n+1}-A|=0\),所以\(\{x_n\}\)的极限就是\(A\);
【注】这种类型的题一般是不会出的,因为很简单没有技术含量。但是如果出,那很有可能就出在
如何化为递推式
上,这一点是逆向思维
不容易想到,除非有很强的等式恒等变形
的素养。 -
-
若通项复杂
可以选择使用
海涅定理(归结原则)
:如果\(\underset{x\rightarrow x_0}{\lim}f(x)=A\),那么对于任意以\(x_0\)为极限的数列\(x_n\)都满足如下等式\(\underset{n\rightarrow\infty}{\lim}f(x_n)=A\)。所以我们会先将\(n\)连续化为\(x\),然后求函数极限
。
-
-
如果是求和\(\underset{n\rightarrow\infty}{\lim}G\Large{(}\normalsize{\sum{g(a_i)}}\Large{)}\)
夹逼准则
。-
无穷项相加
\[n\cdot \min(\{g(a_n)\})\le \sum_{i=1}^{n}g(a_i)\le n\cdot\max(\{g(a_n)\}); \] -
有限项相加
\[1\cdot \max(\{g(a_n)\})\le \sum_{i=1}^{n}g(a_i)\le n\cdot\max(\{g(a_n)\}); \]
-
-
方程列综合
-
已知区间\((C_1,C_2)\),用
介值或零点定理
得出满足\(f_n(x_n)=C\)的\(\{x_n\}\); -
利用方程尝试解出\(x_n\),然后求其极限;
- 如果可以求出,则往下使用
单调有界
; - 如果不能求出,则使用
夹逼定理
;
- 如果可以求出,则往下使用
-
这时的数列\(\{x_n\}\)已经满足了有界性,所以此时我们可以研究单调性;
- 如果单调性容易求出,即\(x_{n+1}-x_n\)容易得到表达式且可以判断出正负性,则可以继续使用
单调有界收敛准则
,然后将(2)中极限求解步骤照抄; - 如果不能得出单调性,则使用
夹逼定理
;
- 如果单调性容易求出,即\(x_{n+1}-x_n\)容易得到表达式且可以判断出正负性,则可以继续使用
【注】这种问题其实有个明显的特点:\(\{x_n\}\)天然有界。而且选择什么样的方法解决题目中都有暗示,如果命题老师想要我们用
夹逼定理
,则一般会多出来一问:构造出另一边的数列\(\{u_n\}\),让我们求出俩数列的大小关系
以及数列uₙ的极限值
。而求\(\{u_n\}\)和\(\{x_n\}\)的大小关系,一般会先求出\(f_n(u_n)\)的值并与\(f_n(x_n)=C\)比较大小,然后再利用\(f_n(x)\)的单调性证明俩数列的大小关系。 -
-
区间列综合
区间列就是\(x=h(x)\)在\((\gamma_1(n),\gamma_2(n))\)区间中的解组成的一个数列\(\{x_n\}\)。所以如果想要等式有无穷多个解,有两种方法:一是在无穷远处有无穷多解,二是在某个区间里有无穷多解。
-
\(\underset{n\rightarrow\infty}{\lim}x_n=\infty\)(无穷远处有无穷多解)
极限存在,但不是完全存在,如\(x=\tan x\)。主要研究\(\infty-\infty\)型和\(\frac{\infty}{\infty}\)型,也就是研究在\(n\)充分大的时候,这个数列是否会趋向
等差
数列或者是等比
数列。 -
\(\underset{n\rightarrow\infty}{\lim}x_n震荡不存在\)(某个区间里有无穷多解)
极限不存在,但是肯定是有界的,如\(x=\sin \frac{1}{x}\)。不知道现在
考研数学
考不考察,极限计算中的有界震荡函数一般是乘上无穷小然后忽略掉。
区间列综合问题一般需要掌握\(h(x)\)的恒
等变形公式
,以便于化简计算。 -
-