美文网首页
stolz公式的证明

stolz公式的证明

作者: 洛玖言 | 来源:发表于2019-10-02 15:02 被阅读0次

stolz公式的证明

O'Stolz定理是处理数列不定式极限的有力工具,一般用于*/∞型的极限(即分母趋于正无穷大的分式极限,分子趋不趋于无穷大无所谓)、0/0型极限(此时要求分子分母都以0为极限)。O'Stolz定理用于数列,它有函数形式的推广,这两个都可以认为是洛必达法则的离散版本。

已知:

  • y_{n+1}>y_n\qquad(n=1,2,\cdots)
  • \displaystyle\lim_{n\to\infty}y_n=+\infty
  • \displaystyle\lim_{n\to\infty}\dfrac{x_{n+1}-x_n}{y_{n+1}-y_n}存在

证:
假定\displaystyle\lim_{n\to\infty}\dfrac{x_{n+1}-x_n}{y_{n+1}-y_n}=a\;.并且注意到 \;y_n\to\infty\;,可知对于任给的 \;\varepsilon>0\;,存在正整数N,使当 \;n>N\;时,恒有:
\left|\dfrac{x_{n+1}-x_n}{y_{n+1}-y_n}-a\right|<\dfrac{\varepsilon}{2}\quad (且\;y_n>0).
于是,当 \;n>N\;时,有:
\dfrac{x_{N+2}-x_{N+1}}{y_{N+2}-y_{N+1}},\dfrac{x_{N+3}-x_{N+2}}{y_{N+3}-y_{N+2}},\cdots,\dfrac{x_{n}-x_{n-1}}{y_{n}-y_{n-1}},\dfrac{x_{n+1}-x_n}{y_{n+1}-y_n}
都包含在\left(a-\frac{\varepsilon}{2},a+\frac{\varepsilon}{2}\right) 之内,又 y_{n+1}>y_n ,所以,这些分母都是正数,于是有:
\left(a-\frac{\varepsilon}{2}\right)(y_{N+2}-y_{N+1})<x_{N+2}-x_{N+1}<\left(a+\frac{\varepsilon}{2}\right)(y_{N+2}-y_{N+1}),\\ \;\\ \left(a-\frac{\varepsilon}{2}\right)(y_{N+3}-y_{N+2})<x_{N+3}-x_{N+2}<\left(a+\frac{\varepsilon}{2}\right)(y_{N+3}-y_{N+2}),\\ \vdots\\ \left(a-\frac{\varepsilon}{2}\right)(y_{n+1}-y_{n})<x_{n+1}-x_{n}<\left(a+\frac{\varepsilon}{2}\right)(y_{n+1}-y_{n}),
将这一些列的不等式相加,得:
\left(a-\frac{\varepsilon}{2}\right)(y_{n+1}-y_{N+1})<x_{n+1}-x_{N+1}<\left(a+\frac{\varepsilon}{2}\right)(y_{n+1}-y_{N+1})
即:
\left(a-\frac{\varepsilon}{2}\right)<\dfrac{x_{n+1}-x_{N+1}}{y_{n+1}-y_{N+1}}<\left(a+\frac{\varepsilon}{2}\right)
所以当 n>N\;时,恒有 \left|\dfrac{x_{n+1}-x_{N+1}}{y_{n+1}-y_{N+1}}-a\right|<\dfrac{\varepsilon}{2}\;,另外我们有,当 n>N\;时:
\dfrac{x_n}{y_n}-a=\dfrac{x_{N+1}-ay_{N+1}}{y_n}+\left(1-\dfrac{y_{N+1}}{y_n}\right)\left(\dfrac{x_{n+1}-x_{N+1}}{y_{n+1}-y_{N+1}}-a\right)
故有:\left|\dfrac{x_n}{y_n}-a\right|\leqslant\left|\dfrac{x_{N+1}-ay_{N+1}}{y_n}\right|+\dfrac{\varepsilon}{2}
现取 N'>N\;,使当 n>N'\;,恒有:
\dfrac{\left|x_{N+1}-ay_{N+1}\right|}{y_n}<\dfrac{\varepsilon}{2}
于是当 n>N'\;时,恒有
\left|\dfrac{x_n}{y_n}-a\right|<\varepsilon.
由此可知,\displaystyle\lim_{n\to\infty}\dfrac{x_n}{y_n}=\lim_{n\to\infty}\dfrac{x_{n+1}-x_n}{y_{n+1}-y_n}=a


应用

就记录一些刚好有人问到的题目,或者突然碰到的题目


Q1

\lim_{n\to\infty}\dfrac{\displaystyle\sum_{k=1}^n\frac{1}{k}}{\ln n}

Sol-1:
\displaystyle\lim_{n\to\infty}\dfrac{\displaystyle\sum_{k=1}^n\frac{1}{k}}{\ln n}=\lim_{n\to\infty}\dfrac{1}{(n+1)[\ln(n+1)-\ln n]}\sim\lim_{n\to\infty}\dfrac{n}{n+1}=1

Sol-2:
\displaystyle\sum_{k=1}^n\frac{1}{k}=\ln n+\gamma+\varepsilon_n\,,\quad \varepsilon_n\to0
\displaystyle\lim_{n\to\infty}\dfrac{\displaystyle\sum_{k=1}^n\frac{1}{k}}{\ln n}=\lim_{n\to\infty}\dfrac{\ln n+\gamma+\varepsilon_n}{\ln n}=1


Q2

\lim_{n\to\infty}\dfrac{1!+2!+\cdots+n!}{n!}

Sol-1:
\displaystyle\lim_{n\to\infty}\dfrac{1!+2!+\cdots+n!}{n!}=\lim_{n\to\infty}\dfrac{(n+1)!}{n\cdot n!}=\lim_{n\to\infty}\dfrac{n+1}{n}=1

Sol-2:
I=\displaystyle\dfrac{1!+2!+\cdots+n!}{n!}

\displaystyle \dfrac{n!}{n!}\leqslant I\leqslant \dfrac{(n-2)(n-2)!+(n-1)!+n!}{n!}\\
两边令 n\to\infty
1\leqslant I\leqslant 1
\displaystyle\therefore \lim_{n\to\infty}I=1


Q3

证明:
\displaystyle\lim_{n\to\infty}a_n=a(有限数或正负无穷大).试证:
\lim_{n\to\infty}\dfrac{a_1+a_2+\cdots+a_n}{n}=a

Sol-1:
\begin{aligned} \lim_{n\to\infty}\dfrac{a_1+a_2+\cdots+a_n}{n}=\lim_{n\to\infty}\dfrac{a_n}{n-(n-1)}=\lim_{n\to\infty}a_n=a \end{aligned}

相关文章

  • stolz公式的证明

    stolz公式的证明 O'Stolz定理是处理数列不定式极限的有力工具,一般用于*/∞型的极限(即分母趋于正无穷大...

  • 矩形公式证明

    长方形的面积为 但是为什么长方形的面积是a乘以b,数学上可以给出严密的证明吗? 为什么矩形面积等于长乘宽? - 知乎

  • 逻辑回归损失函数不使用MSE的原因

    原因总结: MSE会有梯度消失现象 MSE的导数非凸函数,求解最优解困难 公式证明 1. 梯度消失公式证明 令 ,...

  • Wallis公式

    Wallis 这个公式叫做 Wallis公式,考研的很多人都叫他 点火公式,废话少说,开搞! 证明 剩下几个根据奇...

  • 概率推断到机器学习

    霍夫丁不等式 理解 推断到学习形式化公式证明 一个假设为验证 多个假设,学习 条件 公式证明 结论面对有限多的假设...

  • 欧拉公式

    复数欧拉公式的证明和应用 基础知识 麦克老林展开式 可以看这里(麦克劳林公式-麦克老林级数)和这里(泰勒公式 - ...

  • 1.电场的散度和旋度

    基础的知识 库伦定律 数学高斯公式就是下面这个形式: 斯托克斯公式 关于上面公式的证明 电场的旋度和散度 1. 由...

  • 点火公式

    点火公式 证明点火公式: [0,π/2]分部积分然后递推 [0,π]划分区间然后递推 x f(sin)与x f(c...

  • 【课堂笔记】关于DES编码译码的结构相同的理解

    (作业P121-4.7) 思路: 用公式来表示编码结构的功能,将加密的文章用编码公式“编码”后得到原文来证明编码的...

  • ∑sinkx 和 ∑coskx 的求和公式的证明

    求和公式有如下的结果: 证明: 方法一:表达式同时乘以并除以,有: 方法二:根据欧拉公式,有: 方法三:根据棣莫弗...

网友评论

      本文标题:stolz公式的证明

      本文链接:https://www.haomeiwen.com/subject/ksxwyctx.html