![eceb50020331084168c8868a4ef099d3.png](https://i-blog.csdnimg.cn/blog_migrate/654542fb106af708f570740176bbcbac.jpeg)
本文是数分笔记的第(4)篇. 这篇讲讲怎么证明一类积分不等式.
我觉得,证明一个命题最简洁而逼格最高的方法就是构造性证明. 下面我们来讲讲怎么构造来证一种积分不等式.(主要是关于函数的
参考书:梅加强《数学分析》.
推荐阅读:
(1) @梓陌 的文章. 有几道题从这里面拿来的
梓陌:定积分不等式套路总结zhuanlan.zhihu.com(2) @Hoganbin 的《积分不等式葵花宝典》(第3.0版本)
Hoganbin:积分不等式葵花宝典zhuanlan.zhihu.com题目
设则
![]()
证明:设
易知
怎么样,看起来是不是很简单,构造个多项式
设则
![]()
证明:见文章最后. QED
下面我们来说说这些匪夷所思的多项式是怎么搞出来的. 我们从简单的例子说起.
例1 设是Riemann可积函数, 满足
证明:
![]()
证明:设
由于
我们来探讨这个
分析:如果设
由于
比较欲证命题的系数可知
例2 设满足
则
![]()
分析:设
观察欲证不等式, 我们要让
化简得
例3 设满足
则
![]()
证明:同例1, 考虑
用分部积分,然后设
例4 设则
![]()
证明:观察不等号的右边为
由Cauchy-Schwarz不等式与分部积分,
这里的
回到正题
例5 设则
![]()
这题
我们要保证
并且保证
如果要让
即得
解这个关于
因此
注:当然这个可以从
例6 设则
![]()
证明:与前面一题相同,令
下面命题出自《积分不等式葵花宝典》,我还没验证它是否正确.
命题 设满足
且
则
![]()