24小时热门版块排行榜    

CyRhmU.jpeg
查看: 2830  |  回复: 28

tigou

木虫 (正式写手)

[求助] 求数列的上下极限已有2人参与

设0<x<1, a_0=1, a_{n+1}=x^{a_n}(n为任意自然数).
求数列a_n的上下极限. 谢谢.
回复此楼
0/0的意义是所有数的集合
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
回帖支持 ( 显示支持度最高的前 50 名 )

tigou

木虫 (正式写手)

引用回帖:
13楼: Originally posted by hank612 at 2015-09-16 11:08:11
楼主想得太多啦。 其实,从你给出的数据,可以提炼出如下结论:

tigou定理:设0<x<1, a_0=1, a_{n+1}=x^{a_n}(n为任意自然数).
那么, 序列 a_n有且仅有两个聚点,记为A,B。它们满足
A^A=B^B, x=e^{\f ...

结论明显错误。已能初步确认(除非计算机的浮点运算引发了严重误差),数列收敛的临界值在0.09至0.1之间,大于临界值的都收敛,小于临界值的都发散,等于临界值是否收敛则不能确定。不过您的观点在大量的泥沙中也包含了一颗珍珠。欢迎继续思考并评论,有人挑刺 总比一个冥思苦想好。另,您对我上次终结出来的关于极限的新定理有什么看法?谢谢。
0/0的意义是所有数的集合
14楼2015-09-16 12:59:56
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

hank612

至尊木虫 (著名写手)

★ ★ ★ ★ ★ ★ ★ ★
feixiaolin: 金币+8 2015-09-17 12:36:55
引用回帖:
15楼: Originally posted by hank612 at 2015-09-17 06:26:35
(1)假如函数 a^{a^x}-x在上严格单调下降: (譬如,当a>e^{-e}\approx 0.065988时, 在上导函数a^{a^x+x}\ln^2{a}-1<0)

由于方程a^x=x在上有唯一解C=C(a), 于是知道若x<C, (类似的,或者C<y),  则x<a ...

(1)假如函数a^{a^x}-x在[0,1]上严格单调下降: (譬如,当a>e^{-e}= 0.065988...时, 在[0,1]上导函数a^{a^x+x}\ln^2{a}-1<0)
由于方程a^x=x在[0,1]上有唯一解C=C(a), 于是知道若x<C, (类似的,或者C<y),  则x<a^{a^x}<C<a^{a^{a^x}}<a^x, 因此序列围绕着C点,奇数项单调上升, 偶数项单调下降,上下极限均存在. 可是上下极限点必须是a^{a^x}=x的解, 因此极限点必然就是C.
总而言之, 在这种情况下, 序列振荡收敛于C, 其中C是满足a^x=x在[0,1]上的唯一解.
(2) 当a<e^{-e}时, 可以知道,方程a^{a^x}=x在[0,1]上现在有三个解. 其中一个C满足a^C=C另外一对共轭解P,Q满足a^P=Q, a^Q=P, 于是P^P=Q^Q=a^{PQ}, 即a=e^{\frac{\ln{P}}{Q}}不妨设P<Q.
这时候,如果0<x<P (类似的,或1>y>Q), 则有
x< a^{a^x}<P <Q < a^{a^{a^x}}<a^x
即序列被区间[P,Q]隔断,两边跳, 序列振荡趋于下极限P和上极限Q.
如果P<x<Q, 首先由于P<a^x<Q , 序列完全被限制在区间[P,Q]内.
不妨设P<x<C, (类似的,或者C<y<Q), 则有
P< a^{a^x}<x <C <a^x< a^{a^{a^x}}<Q立刻知道,序列依然振荡趋于下极限P和上极限Q. 换句话说, 不动点x=C是排斥子(源),而P,Q共轭 点对是吸引子(汇).

a=e^{-e}时,归到第一种情况, 收敛于极限点C=1/e.

所以, tigou的观察是完全正确的, 我楼上的贴子是错误百出的, 贻笑大方了, 虫友们请见谅.
We_must_know. We_will_know.
16楼2015-09-17 07:16:52
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
普通回帖

peterflyer

木虫之王 (文学泰斗)

peterflyer


【答案】应助回帖

感谢参与,应助指数 +1
这个数列的极限当n趋于无穷时似乎不论x取0和1之间的任何值均趋于1。因此上下限均为1。

[ 发自手机版 http://muchong.com/3g ]
2楼2015-09-14 06:51:30
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

ddcy

捐助贵宾 (正式写手)

【答案】应助回帖

感谢参与,应助指数 +1
这个数列的上限显然是1(即a_0)。下限是x(即a_1),因为0<x<1,当n>1,数列中所有的项都大于x(且趋于1)。

发自小木虫Android客户端
3楼2015-09-14 08:46:08
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

tigou

木虫 (正式写手)

引用回帖:
2楼: Originally posted by peterflyer at 2015-09-14 06:51:30
这个数列的极限当n趋于无穷时似乎不论x取0和1之间的任何值均趋于1。因此上下限均为1。

谢谢参与。但excel似乎不同意您的说法:
0.01
0.954992586
0.012303108
0.944917265
0.012887405
0.942378112
0.013038985
0.941720513
0.013078531
0.941549024
0.013088864
0.941504223
0.013091565
0.941492513
0.013092271
0.941489452
0.013092455
0.941488652
0.013092503
0.941488443
0.013092516
0.941488388
0.013092519
0.941488374
0.01309252
0.94148837
0.01309252
0.941488369
0.01309252
0.941488369
0.013092521
0.941488369
0.013092521
0/0的意义是所有数的集合
4楼2015-09-14 09:02:51
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

tigou

木虫 (正式写手)

引用回帖:
3楼: Originally posted by ddcy at 2015-09-14 08:46:08
这个数列的上限显然是1(即a_0)。下限是x(即a_1),因为0<x<1,当n>1,数列中所有的项都大于x(且趋于1)。

谢谢参与,请看4楼。
0/0的意义是所有数的集合
5楼2015-09-14 09:03:31
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

ddcy

捐助贵宾 (正式写手)

【答案】应助回帖

我没仔细考虑数列的这种摆动。但数列的上限是1,下限是x好像没错。

发自小木虫Android客户端
6楼2015-09-14 09:26:57
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

ddcy

捐助贵宾 (正式写手)

我的回答中说“数列趋于1”是错的,其他好像没有错。

发自小木虫Android客户端
7楼2015-09-14 09:30:48
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

tigou

木虫 (正式写手)

这个更有意思:
0.390504933
0.390504949
0.390504933
0.390504948
0.390504934
0.390504947
0.390504935
0.390504946
0.390504936
0.390504946
0.390504936
以上x=0.09,n=281至 291,眼看着上下限就要合并了,但一股神秘的力量使它们再也无法靠近半步。0.00000001的距离有多远?在这里就是永远。当然,这种现象有可能是浮点计算不精确的原因造成的,但也有可能的确存在上下限靠得很近但确实不同的情况。我甚至猜测:任给正数b(无论多么小),总存在x使a_n的上下极限不同而间距小于b。还有,在0.09和0.1之间似乎存在一个临界值,x大于该数则数列收敛,x小于该数则数列发散。有太多的迹象表明,广义乘是一座丰富的数学宝藏,早期探索者很容易遇到前所未见的奇珍异宝。
0/0的意义是所有数的集合
8楼2015-09-14 09:42:37
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

ddcy

捐助贵宾 (正式写手)

如果数列不包含a_0,则数列的下限依然是x,上限好像就不好确定了。你的问题好像难度不小唉。

发自小木虫Android客户端
9楼2015-09-14 10:09:36
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

tigou

木虫 (正式写手)

引用回帖:
9楼: Originally posted by ddcy at 2015-09-14 10:09:36
如果数列不包含a_0,则数列的下限依然是x,上限好像就不好确定了。你的问题好像难度不小唉。

确实有难度,一个人的思路太窄,所以提出来供大家参考。{a_n}具有良好的闭区间套性质,只不过区间长度不一定趋于0。针对这个数列,有可能总结出好几个新定理,并且为广义乘向实数集的扩张奠定基础。
0/0的意义是所有数的集合
10楼2015-09-16 08:00:32
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 tigou 的主题更新
信息提示
请填处理意见