数学中国

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

求下列无穷级数之和 1/1^3 + 1/3^3 + 1/5^3 + 1/7^3 + …

[复制链接]
发表于 2021-8-1 23:42 | 显示全部楼层 |阅读模式
本帖最后由 永远 于 2021-8-2 22:53 编辑

求助于陆老师,计算下列无穷级数

\(\frac{1}{{{1^3}}} + \frac{1}{{{3^3}}} + \frac{1}{{{5^3}}} + \frac{1}{{{7^3}}} +  \cdots  = \)
 楼主| 发表于 2021-8-1 23:43 | 显示全部楼层
本帖最后由 永远 于 2021-8-2 22:53 编辑

结果是这个,它是怎么计算得到的?????

\(\frac{{{\pi ^2}}}{4}\ln 2 + 2\int_0^{\frac{\pi }{2}} {x\ln (\sin x)dx} \)
回复 支持 反对

使用道具 举报

发表于 2021-8-2 00:43 | 显示全部楼层
这是一个已知的结果
\[\sum _{k=0}^\infty\frac {1}{(2k+1)^3}=\frac {7}{8}\zeta (3)\]
其中 \(\zeta(s)\) 是黎曼ζ函数,而 \(\zeta(3)\) 的值称为阿培里常数,约为 \(1.20205\ldots\)

阿培里常数有很多积分表达。以下是两个常见例子:
\[\zeta (3)={\frac {1}{2}}\int _{0}^{\infty }{\frac {x^{2}}{e^{x}-1}}\,\mathrm{d}x\]
\[\zeta (3)={\frac {2}{3}}\int _{0}^{\infty }{\frac {x^{2}}{e^{x}+1}}\,\mathrm{d}x\]
回复 支持 反对

使用道具 举报

 楼主| 发表于 2021-8-2 07:21 | 显示全部楼层
陆老师可否分析一下???
回复 支持 反对

使用道具 举报

发表于 2021-8-3 00:42 | 显示全部楼层
对于任意 \(a>0\) 有
\[\int_0^a f(x)\,\mathrm{d}x=\int_0^a f(a-x)\,\mathrm{d}x\]

所以
\[\int_0^{\pi/2}\ln{(\sin{x})}\,\mathrm{d}x=\int_0^{\pi/2}\ln{(\cos{x})}\,\mathrm{d}x=-\frac{\pi}{2}\ln{2}\]

然后
\[I=\int_0^{\pi/2}x\ln{(\sin{x})}\,\mathrm{d}x=\int_0^{\pi/2}\left(\frac{\pi}{2}-x\right)\ln{(\cos{x})}\,\mathrm{d}x\]

所以
\[\begin{aligned}
2I
&=\int_0^{\pi/2}x\ln{(\sin{x})}\,\mathrm{d}x
+\int_0^{\pi/2}\left(\frac{\pi}{2}-x\right)\ln{(\cos{x})}\,\mathrm{d}x \\
&=\int_0^{\pi/2}x\ln{(\tan{x})}\,\mathrm{d}x
+\frac{\pi}{2}\int_0^{\pi/2}\ln{(\cos{x})}\,dx \\
&=\int_0^{\pi/2}x\ln{(\tan{x})}\,\mathrm{d}x-\frac{\pi^2}{4}\ln{2}
\end{aligned}\]

因为有
\[\int_0^{\pi/2}x\ln{(\tan{x})}\,\mathrm{d}x=\frac{7}{8}\,\zeta(3)\]

所以
\[I=\int_0^{\pi/2}x\ln{(\sin{x})}\,\mathrm{d}x=\frac{7}{16}\,\zeta(3)-\frac{\pi^2}{8}\ln{2}\]
即可得原结果
\[\frac{7}{8}\zeta(3)=\sum_{k=0}^\infty\frac{1}{(2k+1)^3}=\frac{\pi^2}{2}\ln{2}+2\int_0^{\pi/2}x\ln{(\sin{x})}\,\mathrm{d}x\]

点评

谢谢,干的漂亮!给力  发表于 2021-8-3 22:48
回复 支持 反对

使用道具 举报

 楼主| 发表于 2021-8-3 22:53 | 显示全部楼层
本帖最后由 永远 于 2022-11-28 21:33 编辑
zytsang 发表于 2021-8-3 00:42
对于任意 \(a>0\) 有
\[\int_0^a f(x)\,\mathrm{d}x=\int_0^a f(a-x)\,\mathrm{d}x\]


请教先生:

函数项级数在无穷区间上不一致收敛,则求和号与积分号交换情况怎么分析?可以交换吗?判定无穷区间上的交换标准是什么????


论证分析下面求和号积分号交换的合法性


\[\displaystyle\int_0^\infty  {\ln x\sum\limits_{n = 1}^\infty  {\frac{{{e^{ - nx}}}}{n}} } dx = \sum\limits_{n = 1}^\infty  {\int_0^\infty  {\frac{{{e^{ - nx}}}}{n}\ln x} dx} \]
回复 支持 0 反对 1

使用道具 举报

发表于 2021-8-4 00:54 | 显示全部楼层
本帖最后由 zytsang 于 2021-8-4 01:01 编辑
永远 发表于 2021-8-3 22:53
请教先生:

函数项级数在无穷区间上不一致收敛,则求和号与积分号交换情况怎么分析?可以交换吗?判 ...


如果 \(\sum |f_n(x)|\) 在 \(x\in(0,\infty)\) 上是可积的,那么求和与积分可以交换次序:
\[\int_0^\infty\left[\sum_{n=1}^\infty f_n(x)\right]\mathrm{d}x =\sum_{n=1}^\infty \left[\int_0^\infty f_n(x)\,\mathrm{d}x\right]\]
这是Fubini定理的一个直接应用。





\[f_n(x)=\frac{e^{-nx}}{n}\ln{x}\]
我们有
\[f(x)=\sum_{n=1}^\infty |f_n(x)|=-\ln{(1-e^{-x})}|\ln{x}|\]
考察 \(f(x)\) 在 \(x\in(0,\infty)\) 上的可积性。我们有
\[\int_0^\infty f(x)\,\mathrm{d}x=\int_0^1 f(x)\,\mathrm{d}x+\int_1^\infty f(x)\,\mathrm{d}x\]
在 \(x\in(0,1]\) 上,有 \(-\ln{(1-e^{-x})}\leq1/\sqrt{x}\),所以
\[0\leq\int_0^1 f(x)\,\mathrm{d}x\leq-\int_0^1\frac{\ln{x}}{\sqrt{x}}\,\mathrm{d}x=4\]
在 \(x\in[1,\infty)\) 上,有 \(-\ln{(1-e^{-x})}\leq1/x^2\),所以
\[0\leq\int_1^\infty f(x)\,\mathrm{d}x\leq\int_1^\infty\frac{\ln{x}}{x^2}\,\mathrm{d}x=1\]
所以 \(f(x)\) 在 \(x\in(0,\infty)\) 上是可积的。所以 \(\sum |f_n(x)|\) 在 \((0,\infty)\) 上是可积的,所以原题的求和与积分可以交换次序。
回复 支持 反对

使用道具 举报

 楼主| 发表于 2021-8-4 07:30 | 显示全部楼层
zytsang 发表于 2021-8-4 00:54
如果 \(\sum |f_n(x)|\) 在 \(x\in(0,\infty)\) 上是可积的,那么求和与积分可以交换次序:
\[\int_0^ ...

你好,请问被积函数在x=0处发散,怎么解释?
回复 支持 反对

使用道具 举报

发表于 2021-8-4 09:12 | 显示全部楼层
永远 发表于 2021-8-4 07:30
你好,请问被积函数在x=0处发散,怎么解释?


虽然被积函数在 \(x=0\) 是发散的,但只要其对应的广义积分是收敛的,该被积函数就是可积的。比如:
\[\int_0^1 \frac{\ln{x}}{\sqrt{x}}\,\mathrm{d}x
=\lim_{\epsilon\to0^+}\int_\epsilon^1\frac{\ln{x}}{\sqrt{x}}\,\mathrm{d}x
=\lim_{\epsilon\to0^+}\Big[2\sqrt{x}(\ln{(x)}-2)\Big]^{x=1}_{x=\epsilon}
=-4-\lim_{\epsilon\to0+}\Big[2\sqrt{\epsilon}(\ln{(\epsilon)}-\epsilon)\Big]=-4\]
其中极限的计算使用洛必达法则
\[\lim_{\epsilon\to0^+}\sqrt{\epsilon}\ln{\epsilon}
=\lim_{\epsilon\to0^+}\frac{\ln{\epsilon}}{\frac{1}{\sqrt{\epsilon}}}
=\lim_{\epsilon\to0^+}\frac{\frac{1}{\epsilon}}{-\frac{1}{2\epsilon\sqrt{\epsilon}}}
=\lim_{\epsilon\to0^+}-2\sqrt{\epsilon}
=0\]
回复 支持 反对

使用道具 举报

 楼主| 发表于 2021-8-4 12:29 | 显示全部楼层
本帖最后由 永远 于 2021-8-4 12:41 编辑
zytsang 发表于 2021-8-4 09:12
虽然被积函数在 \(x=0\) 是发散的,但只要其对应的广义积分是收敛的,该被积函数就是可积的。比如:
\ ...


先生你好,其对应的广义积分收敛,区间端点处发散,求和号与积分号可交换,请问你依据是什么定理或法则,其相应论证分析何在?还望指导一二,请给出详细分析过程
回复 支持 反对

使用道具 举报

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

本版积分规则

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

GMT+8, 2025-7-11 04:22 , Processed in 0.094205 second(s), 16 queries .

Powered by Discuz! X3.4

Copyright © 2001-2020, Tencent Cloud.

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