博士家园

查看: 351|回复: 1

[数学分析] 求一个一元函数的极限

[复制链接]
发表于 2020-10-21 03:44:37 | 显示全部楼层 |阅读模式
试证:极限$$\lim\limits_{n\to+\infty}\int_0^1\left(\frac{1}{n}\left[\frac{n}{x}\right]-\left[\frac{1}{x}\right]\right)dx$$一定存在有限,并求这个极限。
注:$[x]$表示Gauss取整函数。
发表于 2020-10-24 11:04:28 | 显示全部楼层
易知
\[\int_0^1\left(\frac{1}{n}\left[\frac{n}{x}\right]-\left[\frac{1}{x}\right]\right)dx=\sum
_{k=1}^\infty\int_{\frac{1}{k+1}}^{\frac{1}{k}}\left(\frac{1}{n}\left[\frac{n}{x}\right]-\left[\frac{1}{x}\right]\right)dx,\]
其中
\[\int_{\frac{1}{k+1}}^{\frac{1}{k}}\frac{1}{n}\left[\frac{n}{x}\right]dx=\frac{1}{n}\int_k^{k+1}\frac{[nt]}{t^2}dt=
\frac{1}{n}\sum_{i=1}^n\int_{k+\frac{i-1}{n}}^{k+\frac{i}{n}}\frac{[nt]}{t^2}dt=\sum_{i=1}^n\frac{1}{nk+i},\]
\[\int_{\frac{1}{k+1}}^{\frac{1}{k}}\left[\frac{1}{x}\right]dx=\frac{1}{k+1}.\]
因此
\[\int_{\frac{1}{k+1}}^{\frac{1}{k}}\left(\frac{1}{n}\left[\frac{n}{x}\right]-\left[\frac{1}{x}\right]\right)dx=\sum_{i=1}^n\frac{1}{nk+i}-\frac{1}{k+1}.\]
注意到
\[0<\ln\frac{k+1}{k}-\sum_{i=1}^n\frac{1}{nk+i}=\sum_{i=1}^n\int_{i-1}^i\left(\frac{1}{nk+t}-\frac{1}{nk+i}\right)dt<\sum_{i=1}^n\frac{1}{n^2k^2}
=\frac{1}{nk^2}.\] 由此可得
\[\ln\frac{k+1}{k}-\frac{1}{nk^2}<\sum_{i=1}^n\frac{1}{nk+i}<\ln\frac{k+1}{k},\]

\[\ln\frac{k+1}{k}-\frac{1}{k+1}-\frac{1}{nk^2}<\int_{\frac{1}{k+1}}^{\frac{1}{k}}\left(\frac{1}{n}\left[\frac{n}{x}\right]-\left[\frac{1}{x}\right]\right)dx<\ln\frac{k+1}{k}-\frac{1}{k+1},\]
进而得到
\[\sum_{k=1}^\infty\left(\ln\frac{k+1}{k}-\frac{1}{k+1}\right)-\sum_{k=1}^\infty\frac{1}{nk^2}
<\int_0^1\left(\frac{1}{n}\left[\frac{n}{x}\right]-\left[\frac{1}{x}\right]\right)dx<\sum_{k=1}^\infty\left(\ln\frac{k+1}{k}-\frac{1}{k+1}\right),\]
即\[1-\gamma-\frac{\pi^2}{6n}<\int_0^1\left(\frac{1}{n}\left[\frac{n}{x}\right]-\left[\frac{1}{x}\right]\right)dx<1-\gamma,\]
其中$\gamma$是Euler常数. 因此有
\[\lim_{n\to\infty}\int_0^1\left(\frac{1}{n}\left[\frac{n}{x}\right]-\left[\frac{1}{x}\right]\right)dx=1-\gamma.\]

关于我们|手机版|博士家园 ( 沪ICP备15045866号-1 )(沪公网安备沪公网安备 31011702001868号) 

GMT+8, 2020-11-28 00:41 , Processed in 1.359375 second(s), 20 queries , Gzip On.

Powered by Discuz! X3.2

© 2004-2020 Comsenz Inc.

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