证明积分不等式 - 数学 - 基础数学 - 第2页小木虫论坛-学术科研互动平台

版块导航: 正在加载中...

客户端APP下载

论文辅导

调剂小程序

登录注册

应《网络安全法》要求，自2017年10月1日起，未进行实名认证将不得使用互联网跟帖服务。为保障您的帐号能够正常使用，请尽快对帐号进行手机号验证，感谢您的理解与支持！

24小时热门版块排行榜

返回列表

hank612

至尊木虫 (著名写手)

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

引用回帖:

3楼: Originally posted by shabaolin at 2016-07-13 06:21:43
估计要对积分里面的放缩，需要努力

先准备一些引理
1. $\int_{0}^x \frac{\sin^4{t}}{t}dt=\frac{3}{8}\int_{0}^1\frac{1-\cos{2xt}}{t}dt-\frac{1}{8}\int_{1}^2 \frac{1-\cos{2xt}}{t}dt$

这由三角恒等式 $\cos{4x}-\cos{2x}=8\sin^4{x}-6\sin^2{x}$ 直接看出。

2. $\int_{0}^x \frac{\sin^4{t}}{t^3}dt=\int_{1}^2 \frac{1-\cos{2xt}}{t}dt-\frac{\sin^4{x}}{2x^2}-\frac{\sin^2{x}\sin{2x}}{x}$

求导即得。

3. $\left(\frac{x}{\sin{x}}\right)^4>1+\frac{2}{3}x^2$ 当 $0<x<\frac{\pi}{2}$

不知道怎么证明

4. $\int_{0}^{1}\frac{1-\cos{\pi t}}{t}dt-\frac{\ln{2}}{3}-\frac{11}{\pi^2}=0.302696$

因此 $\int_{0}^{1}\frac{1-\cos{n \pi t}}{t}dt > \frac{\ln{2}}{3}+\frac{11}{\pi^2}$

5. $\int_{0}^1 \frac{\cos{n \pi t}{t+1}dt >0$ ，

因为它大致等于 $\sum_{k=0}^{[\frac{n}{2}]}\int_{\frac{2k}{n}}^{\frac{2k+1}{n}}\frac{\sin{n\pi t}}{n\pi}\left(\frac{1}{(t+1)^2}-\frac{1}{(t+1+\frac{1}{n})^2}\right)dt$

6.当n为偶数时， $\int_0^1 \frac{\cos{n \pi t}{t+1}dt =\int_0^1 \frac{-\sin{n \pi t}}{n \pi (1+t)^2}dt=-\frac{3}{4}\frac{1}{(n \pi)^2}+\int_0^1 \frac{2\cos{n \pi t}}{(n \pi)^2(1+t)^3}dt$

因此，当n为偶数时，有 $\left|\frac{12n^2-1}{3}\int_0^1 \frac{\cos{n\pi t}}{t}dt\right|<\frac{11}{\pi^2}$

有了以上的开胃小菜后，终于可以开始正餐了，不过只能证明比较简单的右端那个不等式。主要想法是 3楼@shabaolin 指出的放缩法。

利用 $\frac{1}{\sin^4{t}}=\frac{1}{t^4}\cdot (\frac{t}{\sin{t}})^4>\frac{1+\frac{2}{3}t^2}{t^4}$ 在 $(0,\frac{\pi}{2})$ 上，如果能够证明 $4n^2\left(\int_0^{\frac{\pi}{2}}\frac{\sin^4{nt}(1+\frac{2}{3}t^2)}{n^2 t^3}dt - \ln{2}\right)>0$ 就足够了。

根据上面两个不定积分的表达式，上式展开，稍加化简，得到
$\int_0^1 \frac{1-\cos{n \pi t}}{t}dt-\frac{12n^2-1}{3}\int_0^1 \frac{(-1)^n\cos{n\pi t}}{t}dt-\frac{\ln{2}}{3}-\frac{4(1-(-1)^n)}{\pi^2}$

无论n是奇数还是偶数，上面那些不等式足够推出该式大于零。这就证出了 @i维数右端的不等式。

赞一下

回复此楼

We_must_know. We_will_know.

11楼2016-07-20 23:28:34

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

hank612

至尊木虫 (著名写手)

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

引用回帖:

11楼: Originally posted by hank612 at 2016-07-20 23:28:34
先准备一些引理
1.\int_{0}^x \frac{\sin^4{t}}{t}dt=\frac{3}{8}\int_{0}^1\frac{1-\cos{2xt}}{t}dt-\frac{1}{8}\int_{1}^2 \frac{1-\cos{2xt}}{t}dt

这由三角恒等式\cos{4x}-\cos{2x}=8\sin^4{x}-6\sin^2{x} ...

Invalid Equation 只是因为少敲了一个}，趁着文件还在，赶紧再发一次

5. $\int_{0}^1 \frac{\cos{n \pi t}}{t+1}dt >0$ ，

因为它大致等于 $\sum_{k=0}^{[\frac{n}{2}]}\int_{\frac{2k}{n}}^{\frac{2k+1}{n}}\frac{\sin{n\pi t}}{n\pi}\left(\frac{1}{(t+1)^2}-\frac{1}{(t+1+\frac{1}{n})^2}\right)dt$

6.当n为偶数时， $\int_0^1 \frac{\cos{n \pi t}}{t+1}dt =\int_0^1 \frac{-\sin{n \pi t}}{n \pi (1+t)^2}dt=-\frac{3}{4}\frac{1}{(n \pi)^2}+\int_0^1 \frac{2\cos{n \pi t}}{(n \pi)^2(1+t)^3}dt$

因此，当n为偶数时，有 $\left|\frac{12n^2-1}{3}\int_0^1 \frac{\cos{n\pi t}}{t}dt\right|<\frac{11}{\pi^2}$

赞一下

回复此楼

We_must_know. We_will_know.

12楼2016-07-20 23:32:20

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

i维数

木虫 (正式写手)

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

引用回帖:

12楼: Originally posted by hank612 at 2016-07-20 23:32:20
Invalid Equation 只是因为少敲了一个}，趁着文件还在，赶紧再发一次

5.\int_{0}^1 \frac{\cos{n \pi t}}{t+1}dt >0，

因为它大致等于\sum_{k=0}^{}\int_{\frac{2k}{n}}^{\frac{2k+1}{n}}\frac ...

谢谢大神！看得晕晕的

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

赞一下(1人)

回复此楼

13楼2016-07-22 01:52:17

已阅回复此楼关注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}$

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

赞一下(1人)

回复此楼

» 本帖已获得的红花（最新10朵）

i维数

We_must_know. We_will_know.

14楼2016-07-22 03:03:07

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

hank612

至尊木虫 (著名写手)

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

引用回帖:

14楼: Originally posted by hank612 at 2016-07-22 03:03:07
i维数你的观察是完全正确的. 这一次非常难得没有计算错误, 不过敲符号时分母上漏了+1, 就是你发现的错误了.

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

目标表达式等于 $\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}$

赞一下

回复此楼

We_must_know. We_will_know.

15楼2016-07-22 03:04:43

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

i维数

木虫 (正式写手)

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

送红花一朵

引用回帖:

懂啦，非常感谢大神！

赞一下

回复此楼

16楼2016-07-23 14:11:46

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

i维数

木虫 (正式写手)

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

引用回帖:

补充一下引理3的证明。

不等式.png

赞一下(1人)

回复此楼

17楼2016-07-23 17:38:22

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

相关版块跳转我要订阅楼主 i维数的主题更新

返回列表

最具人气热帖推荐 [查看全部]		作者	回/看	最后发表

[考研] 北科281学硕材料求调剂 +5	tcxiaoxx 2026-03-20	5/250	2026-03-20 21:35 by laoshidan
[考研] 一志愿南昌大学，327分，材料与化工085600 +7	Ncdx123456 2026-03-19	7/350	2026-03-20 20:02 by zhukairuo
[考研] 265求调剂 +8	梁梁校校 2026-03-17	8/400	2026-03-20 14:40 by 27道科特
[考研] 298-一志愿中国农业大学-求调剂 +9	手机用户 2026-03-17	9/450	2026-03-20 14:24 by 无懈可击111
[考研] 081700化工学硕调剂 +3	【1】 2026-03-16	3/150	2026-03-19 23:40 by edmund7
[考研] 生物学调剂招人！！！ +3	山海天岚 2026-03-17	4/200	2026-03-19 21:34 by 怎么释怀
[考研] 0703化学调剂 +4	18889395102 2026-03-18	4/200	2026-03-19 16:13 by 30660438
[考研] 材料与化工求调剂 +7	为学666 2026-03-16	7/350	2026-03-19 14:48 by 尽舜尧1
[考研] 286求调剂 +6	lemonzzn 2026-03-16	10/500	2026-03-19 14:31 by lemonzzn
[考研] 328求调剂，英语六级551，有科研经历 +3	生物工程调剂 2026-03-17	7/350	2026-03-18 20:41 by Wangjingyue
[考研] 344求调剂 +6	knight344 2026-03-16	7/350	2026-03-18 20:13 by walc
[考研] 295求调剂 +3	一志愿京区211 2026-03-18	5/250	2026-03-18 17:03 by zhaoqian0518
[考研] 070300化学319求调剂 +6	锦鲤0909 2026-03-17	6/300	2026-03-18 13:22 by Iveryant
[考研] 278求调剂 +5	烟火先于春 2026-03-17	5/250	2026-03-18 08:43 by 星空星月
[考博] 26博士申请 +3	1042136743 2026-03-17	3/150	2026-03-17 23:30 by 轻松不少随
[考研] 326求调剂 +5	上岸的小葡 2026-03-15	6/300	2026-03-17 17:26 by ruiyingmiao
[考研] 085601求调剂 +4	Du.11 2026-03-16	4/200	2026-03-17 17:08 by ruiyingmiao
[考研] 一志愿苏州大学材料工程（085601）专硕有科研经历三项国奖两个实用型专利一项省级立项 +6	大火山小火山 2026-03-16	8/400	2026-03-17 15:05 by 无懈可击111
[考研] [导师推荐]西南科技大学国防/材料导师推荐 +3	尖角小荷 2026-03-16	6/300	2026-03-16 23:21 by 尖角小荷
[考研] 327求调剂 +6	拾光任染 2026-03-15	11/550	2026-03-15 22:47 by 拾光任染