姚佳斌老师数学讲义.doc

一. 引言及引理 李明老师提出确定出无穷连根式的上界 的问题，本文对更一般的问题 的上下界, 及它作为的二元函数的渐近展开，误差计算等问题经行了一些初步的研究. 引理1 引理2 引理3 记其中 我们称形如的数为重二次连根式. 我们有 1 2 若 则 3 若记(我们可以将称为重连根式的第个部分连根式), 若, 则 引理3的证明：1. 反复利用不等式及, 得到. 不等式2显然. 等式3只要反复利用恒等式即可. 问题的解答 1. 上界的探求 下面引入记号 其中 在大多数情形, 我们也将此无穷连根式简记为 设, 即有 注意到, 及引理1、引理3.1有： 于是有 (*) (数列单调减, 作为的上界还不错） 下面我们通过放大得到的一个较简形式的上界： 利用引理2, 这样 于是得 于是 , ... 这样 可见 定理1 2. 的下界的探求 于是 (共有个), 注意到 这样 利用等式 得到： (**) (数列单调增, 作为的上界形式比较简单. 显然的形式简单的上下界都可以通过对的放缩得到, 这是因为二者都以为极限) 当较小时, 我们通过缩小得到的另一个下界 即要证明 平方即 显然成立 利用此结论, 结合 于是对充分大的 有 我们得到 于是，欲使 只需递推地, 于是我们得到下面的这些结果： 定理2 推论1 若 则 由这种极限情形不等式成为等式知, 推论2在此种形式下已达到最优. 推论2 推论3的证明：左边可由推论1得到. 利用通过不断平方 可以证明 这样 误差估计 利用引理3.3知 （分别为的第个部分连根式, 从前面论述可知） . 类似地即 4. 几个猜测 猜测1 猜测2 对于 可见 通过对 我们有如下的 猜测3 设是与无关的常数. 则数列非增？能否建立间的递推关系？ 猜测4