24小时热门版块排行榜

返回列表

当前只显示满足指定条件的回帖，点击这里查看本话题的所有回帖

i维数

木虫 (正式写手)

数学EPI: 4
应助: 74 (初中生)
金币: 3148.6
红花: 10
帖子: 691
在线: 941.9小时
虫号: 3691318
注册: 2015-02-17
性别: GG
专业: 偏微分方程

[求助] 证明积分不等式

如图。我的想法是证明那个表达式是递减数列，然后就出来了，但不会证明。。。求助各位大神！谢了！

积分不等式.png

回复此楼

» 猜你喜欢

Bioresource Technology期刊，第一次返修的时候被退回好几次了已经有7人回复
2025冷门绝学什么时候出结果已经有4人回复
真诚求助：手里的省社科项目结项要求主持人一篇中文核心，有什么渠道能发核心吗已经有8人回复
寻求一种能扛住强氧化性腐蚀性的容器密封件已经有5人回复
请问哪里可以有青B申请的本子可以借鉴一下。已经有4人回复
孩子确诊有中度注意力缺陷已经有14人回复
请问下大家为什么这个铃木偶联几乎不反应呢已经有5人回复
请问有评职称，把科研教学业绩算分排序的高校吗已经有5人回复
天津工业大学郑柳春团队欢迎化学化工、高分子化学或有机合成方向的博士生和硕士生加入已经有4人回复
康复大学泰山学者周祺惠团队招收博士研究生已经有6人回复

1楼2016-07-12 00:15:52

已阅回复此楼关注TA 给TA发消息送TA红花 TA的回帖

hank612

至尊木虫 (著名写手)

数学EPI: 14
应助: 225 (大学生)
金币: 14270.6
散金: 1055
红花: 95
帖子: 1526
在线: 1375.8小时
虫号: 2530333
注册: 2013-07-03
性别: GG
专业: 理论和计算化学

引用回帖:

13楼: Originally posted by i维数 at 2016-07-22 01:52:17
谢谢大神！看得晕晕的

。。。我有几点不明白：1.6最后那个积分不是发散的吗？2.引理5的作用是什么？3.最后是怎么化简成那个表达式的？...

@i维数你的观察是完全正确的. 这一次非常难得没有计算错误, 不过敲符号时分母上漏了+1, 就是你发现的错误了.

我们想估算的是 $4\int_{0}^{\frac{\pi}{2}} \frac{\sin^4{nt}}{t}dt +\frac{8}{3}\int_{0}^{\frac{\pi}{2}}\frac{\sin^4{nt}}{t}dt-4n^2\ln{2}$ ,

也就是 $4n^2\int_{0}^{\frac{n\pi}{2}} \frac{\sin^4{t}}{t}dt +\frac{8}{3}\int_{0}^{\frac{n\pi}{2}}\frac{\sin^4{t}}{t}dt-4n^2\ln{2 }$

套用公式, 两个积分分别是 $4n^2\left(\int_1^2 \frac{1-\cos{n\pi t}}{t}dt-\frac{2\sin^4{\frac{n\pi}{2}}}{(n\pi)^2}\right)$ 和 $\int_0^1 \frac{1-\cos{n\pi t}}{t}dt-\frac{1}{3}\int_1^2 \frac{1-\cos{n\pi t}}{t}dt$

注意到 $4n^2\int_1^2\frac{1-\cos{n\pi t}}{t}dt-4n^2\ln{2}=-4n^2\int_1^2\frac{\cos{n\pi t}}{t} dt$ ,

以及 $4n^2\cdot \frac{2\sin^4{\frac{n\pi}{2}}}{(n\pi)^2} =\frac{4(1-(-1)^n)}{\pi^2}$ ,

还有 $frac{1}{3}\int_1^2 \frac{1-\cos{n\pi t}}{t}dt =\frac{\ln{2}}{3}-\int_1^2 \frac{\cos{n\pi t}}{3}dt$ , 还有做变量替换后的 $\int_1^2 \frac{\cos{n\pi t}}{t}dt=\int_{0}^1 \frac{(-1)^n \cos{n\pi t}}{t+1}dt$

目标表达式等于 $\int_{0}^1 \frac{1-\cos{n\pi t}}{t}dt+\frac{(-1)^{n+1}(12n^2-1)}{3}\int_0^1 \frac{\cos{n\pi t}}{t+1}dt-\frac{\ln{2}}{3}-\frac{4(1-(-1)^n)}{\pi^2}$

当n是奇数时, 有 $}\int_0^1 \frac{\cos{n\pi t}}{t+1}dt >0$ 和 $\int_{0}^1 \frac{1-\cos{n\pi t}}{t}dt> \frac{\ln{2}}{3}+\frac{8}{\pi^2}$

当n是偶数时, 有 $}\left|\frac{(12n^2-1)}{3}\int_0^1 \frac{\cos{n\pi t}}{t+1}dt \right| < \frac{11}{\pi^2}$ 和 $\int_{0}^1 \frac{1-\cos{n\pi t}}{t}dt> \frac{\ln{2}}{3}+\frac{11}{\pi^2}$

总之, 楼主请放心, 你的不等式(右半部分)即使经过多次放缩, 依然还是成立的.