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

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

登录注册

应《网络安全法》要求，自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 (初中生)
金币: 2788.6
红花: 10
帖子: 691
在线: 942.1小时
虫号: 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 (初中生)
金币: 2788.6
红花: 10
帖子: 691
在线: 942.1小时
虫号: 3691318
注册: 2015-02-17
性别: GG
专业: 偏微分方程

送红花一朵

引用回帖:

懂啦，非常感谢大神！

赞一下

回复此楼

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

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

i维数

木虫 (正式写手)

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

引用回帖:

补充一下引理3的证明。

不等式.png

赞一下(1人)

回复此楼

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

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

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

返回列表

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

[硕博家园] 售SCI一区T0P文章，我:8.O.55.1.O.5.4,科目全,可+急 +3	1uaZt2kAZj2S 2026-10-30	16/800	2026-11-01 07:01 by YXM1FDCSE8Bn
[考博] 售SCI一区文章，我:8.O.55.1.O.54,科目齐全,可伽急 +3	1uaZt2kAZj2S 2026-10-30	15/750	2026-11-01 06:53 by YXM1FDCSE8Bn
[硕博家园] 售SCI一区T0P文章，我:8O.55.1.O.54,科目全,可伽急 +3	X5bHxOULxFqb 2026-10-30	17/850	2026-11-01 06:48 by YXM1FDCSE8Bn
[基金申请] 售SCI-T0P文章，我:8O.5.5.1.O.54,科目齐全,可+急 +5	X5bHxOULxFqb 2026-10-30	21/1050	2026-11-01 06:46 by YXM1FDCSE8Bn
[考博] 售SCI一区T0P文章，我:8.O.55.1.O.5.4,科目全,可+急 +4	X5bHxOULxFqb 2026-10-30	21/1050	2026-11-01 06:46 by YXM1FDCSE8Bn
[基金申请] 售SCI一区文章，我:8.O.55.1.O.54,科目齐全,可伽急 +3	xvJS1BYDxvBS 2026-10-31	8/400	2026-11-01 05:48 by YXM1FDCSE8Bn
[硕博家园] 售SCI一区T0P文章，我:8.O55.1.O.54,科目全,可十急 +3	xvJS1BYDxvBS 2026-10-31	8/400	2026-11-01 05:43 by YXM1FDCSE8Bn
[找工作] 售SCI一区文章，我:8.O.55.1.O.54,科目齐全,可伽急 +3	1uaZt2kAZj2S 2026-10-31	6/300	2026-11-01 05:41 by YXM1FDCSE8Bn
[公派出国] 售SCI文章，我:8O5.5.1.O.54,科目齐全,可+急 +3	1uaZt2kAZj2S 2026-10-31	6/300	2026-11-01 05:41 by YXM1FDCSE8Bn
[博后之家] 售SCI文章，我:8O5.5.1.O.54,科目齐全,可+急 +3	1uaZt2kAZj2S 2026-10-30	15/750	2026-11-01 05:22 by YXM1FDCSE8Bn
[论文投稿] 售一区SCI文章T0P，我:8O.551.O54,科目全,可十急 +3	1uaZt2kAZj2S 2026-10-31	8/400	2026-11-01 03:59 by YXM1FDCSE8Bn
[博后之家] 售SCI一区文章，我:8O5.5.1.O5.4,科目全,可伽急 +3	1uaZt2kAZj2S 2026-10-31	6/300	2026-11-01 03:56 by YXM1FDCSE8Bn
[论文投稿] 售SCI文章，我:8O.5.5.1O.54,科目全,可十急 +4	X5bHxOULxFqb 2026-10-30	25/1250	2026-11-01 03:30 by YXM1FDCSE8Bn
[考博] 售SCI-T0P文章，我:8O.5.5.1.O.54,科目齐全,可+急 +3	1uaZt2kAZj2S 2026-10-31	5/250	2026-11-01 02:25 by YXM1FDCSE8Bn
[考研] 售SCI-T0P文章，我:8O.5.5.1.O.54,科目齐全,可+急 +3	1uaZt2kAZj2S 2026-10-30	12/600	2026-11-01 02:19 by YXM1FDCSE8Bn
[教师之家] 售SCI-T0P文章，我:8O.5.5.1.O.54,科目齐全,可+急 +3	X5bHxOULxFqb 2026-10-30	13/650	2026-10-31 17:12 by hKe7U1kad5Sg
[考博] 2027博士申请-临床检验诊断学、病原生物学、微生物方向 50+3	yyh@ 2026-10-28	4/200	2026-10-31 12:47 by 可淡不可忘
[基金申请] 论文的挂名怎么评判贡献？基金申请中，排名第一的挂名文章 +3	biily 2026-10-25	3/150	2026-10-30 18:33 by 旁观2020
[文学芳草园] 闲聊 +3	myrtle 2026-10-25	6/300	2026-10-29 15:28 by myrtle
[考博] 申博求助 20+3	Katrinae 2026-10-26	4/200	2026-10-27 09:56 by 北京莱茵编辑