|

楼主 |
发表于 2009-8-28 21:40
|
显示全部楼层
数列的初始值问题
X1 的存在性证得好。难度很大。我们再来看看唯一性。
易见 Xn(x) 是正系数的多项式,所以其导函数是增函数,所以Xn(x)是凸函数。于是
当 0 < x < b_n 时,令 t=x/b_n 有 Xn(x) = Xn ((1-t)0+tb_n) <= tXn(b_n)=t=x/b_n
故 Xn(a_n) <= a_n / b_n 即 (1-1/n)b_n <= a_n, b_n - a_n <= b_n / n <= b_1/n = 1/n
所以 {b_n - a_n} 的极限为0.这说明 {[a_n, b_n]} 只有一个公共点。
X1 的存在唯一性是有了。但它是有理数还是无理数?或者超越数?还不知道。若能找到一个数列{An}逼近它,而An又有通项解析表达,进一步的探索就方便些。
|
|