数学中国

 找回密码
 注册
搜索
热搜: 活动 交友 discuz
查看: 3900|回复: 13

求证:lim(k→+∞)∑[n=1,2^(k-1)]1/(2^k+2n-1)=ln2/2

[复制链接]
发表于 2022-11-25 04:21 | 显示全部楼层 |阅读模式
\[k\in \mathbb{Z}^+,2^k到2^{k+1}之间2^{k-1}个连续奇数的倒数和为\omega,当 k 趋 于 无 穷 大 时,\omega的值会收敛于\frac{\ln(2) }{2}\]
\[ \lim_{k\rightarrow +\infty }\sum _{n=1}^{2^{k-1}} \frac{1}{2^k+2 n-1} =\frac{ \ln(2) }{2}\]
发表于 2022-11-25 13:53 | 显示全部楼层
(1): Table[ \(\displaystyle\lim_{k\to\infty}\sum_{n=1}^{2^{k+a}}\frac{2}{2^{k}+2n-1},\)  {a, -1, 8}]
{Log[2], Log[3], Log[5], Log[9], Log[17], Log[33], Log[65], Log[129], Log[257], Log[513]}

(2): Table[ \(\displaystyle\lim_{k\to\infty}\sum_{n=1}^{2^{k}}\frac{2}{2^{k-a}+2n-1},\)  {a, -1, 8}]
{Log[2], Log[3], Log[5], Log[9], Log[17], Log[33], Log[65], Log[129], Log[257], Log[513]}

(3): Table[ \(\displaystyle\lim_{k\to\infty}\sum_{n=1}^{2^{k+a}}\frac{2}{2^{k}+2n+1},\)  {a, -1, 8}]
{Log[2], Log[3], Log[5], Log[9], Log[17], Log[33], Log[65], Log[129], Log[257], Log[513]}

(4): Table[ \(\displaystyle\lim_{k\to\infty}\sum_{n=1}^{2^{k}}\frac{2}{2^{k-a}+2n+1},\)  {a, -1, 8}]
{Log[2], Log[3], Log[5], Log[9], Log[17], Log[33], Log[65], Log[129], Log[257], Log[513]}

(5): Table[ \(\displaystyle\lim_{k\to\infty}\sum_{n=1}^{2^{k+a}}\frac{2}{2^{k}+2n},\)  {a, -1, 8}]
{Log[2], Log[3], Log[5], Log[9], Log[17], Log[33], Log[65], Log[129], Log[257], Log[513]}

(6): Table[ \(\displaystyle\lim_{k\to\infty}\sum_{n=1}^{2^{k}}\frac{2}{2^{k-a}+2n},\)  {a, -1, 8}]
{Log[2], Log[3], Log[5], Log[9], Log[17], Log[33], Log[65], Log[129], Log[257], Log[513]}

(7): Table[ \(\displaystyle\lim_{k\to\infty}\sum_{n=1}^{2^{k+a}}\frac{1}{2^{k}+n},\)  {a, 0, 9}]
{Log[2], Log[3], Log[5], Log[9], Log[17], Log[33], Log[65], Log[129], Log[257], Log[513]}

(8): Table[ \(\displaystyle\lim_{k\to\infty}\sum_{n=1}^{2^{k}}\frac{1}{2^{k-a}+n},\)  {a, 0, 9}]
{Log[2], Log[3], Log[5], Log[9], Log[17], Log[33], Log[65], Log[129], Log[257], Log[513]}

(9): Table[ \(\displaystyle\lim_{k\to\infty}\sum_{n=k}^{(2^{a}+1)k}\frac{1}{n},\)  {a, 0, 9}]
{Log[2], Log[3], Log[5], Log[9], Log[17], Log[33], Log[65], Log[129], Log[257], Log[513]}
回复 支持 1 反对 0

使用道具 举报

 楼主| 发表于 2022-11-25 15:07 | 显示全部楼层
本帖最后由 awei 于 2022-11-25 15:10 编辑
王守恩 发表于 2022-11-25 13:53
(1): Table[ \(\displaystyle\lim_{k\to\infty}\sum_{n=1}^{2^{k+a}}\frac{2}{2^{k}+2n-1},\)  {a, -1, 8}] ...


要的是解题思路,不会就问,找灵感
回复 支持 反对

使用道具 举报

发表于 2022-11-25 18:08 | 显示全部楼层
本帖最后由 elim 于 2022-11-25 03:50 编辑
awei 发表于 2022-11-25 00:07
要的是解题思路,不会就问,找灵感


\(H_{2^{k+1}}-H_{2^k}=\omega_k+{\small\dfrac{1}{2^k+2}+\dfrac{1}{2^k+4}+\cdots+\dfrac{1}{2^{k+1}}}=\omega_k+2^{-1}(H_{2^k}-H_{2^{k-1}})\)
其中 \(H_n=\small\displaystyle\sum_{k=1}^n\frac{1}{k}=\gamma_n+\ln n\:\small(\gamma_n\to 0.57721566…)\).
回复 支持 反对

使用道具 举报

 楼主| 发表于 2022-11-25 19:04 | 显示全部楼层
elim 发表于 2022-11-25 18:08
\(H_{2^{k+1}}-H_{2^k}=\omega_k+{\small\dfrac{1}{2^k+2}+\dfrac{1}{2^k+4}+\cdots+\dfrac{1}{2^{k+1} ...

的确还是蛮有意思,谢谢e老师,我只是觉得好玩而已
回复 支持 反对

使用道具 举报

发表于 2022-11-25 21:18 | 显示全部楼层
\(\omega_k=H_{2^{k+1}}-H_{2^k}-2^{-1}(H_{2^k}-H_{2^{k-1}})\to\frac{1}{2}\ln 2\;\small(k\to\infty)\)
\(\small\displaystyle\lim_{k\to\infty}\sum_{n=1}^{2^{k-1}}\frac{1}{2^k+2n-1}=\lim_{k\to\infty}\omega_k=\frac{\ln 2}{2}\)  没有上式很难.

回复 支持 反对

使用道具 举报

 楼主| 发表于 2022-11-25 21:43 | 显示全部楼层
elim 发表于 2022-11-25 21:18
\(\omega_k=H_{2^{k+1}}-H_{2^k}-2^{-1}(H_{2^k}-H_{2^{k-1}})\to\frac{1}{2}\ln 2\;\small(k\to\infty)\)
...

就是很难的,电脑提示是用斐波那契倒数和,怎么求出来的,步骤看不懂,所以求助老师一起看看
回复 支持 反对

使用道具 举报

 楼主| 发表于 2022-11-25 23:39 | 显示全部楼层
Ψ^(0)这个是什么函数呢?波函数,还是与斐波那契有关,不晓得查哪里

本帖子中包含更多资源

您需要 登录 才可以下载或查看,没有帐号?注册

x
回复 支持 反对

使用道具 举报

 楼主| 发表于 2022-11-25 23:50 | 显示全部楼层
本帖最后由 awei 于 2022-11-25 23:57 编辑

Ψ(0)应该是双伽马函数吧,百度简直不忍直视
回复 支持 反对

使用道具 举报

发表于 2022-11-26 09:57 | 显示全部楼层
\(\Psi\) 的定义前面应该有交待.
回复 支持 反对

使用道具 举报

您需要登录后才可以回帖 登录 | 注册

本版积分规则

Archiver|手机版|小黑屋|数学中国 ( 京ICP备05040119号 )

GMT+8, 2024-4-25 08:17 , Processed in 0.074218 second(s), 16 queries .

Powered by Discuz! X3.4

Copyright © 2001-2020, Tencent Cloud.

快速回复 返回顶部 返回列表