Young不等式指的是如下不等式:
其中,
且
。
这个不等式有很多种证明方法,在卓里奇《数学分析》第六章第5节的课后习题中,卓里奇给了我们一个定积分方法。
试证:
a)如图所示,设
和
是互逆的连续、非负函数,且分别在
时等于零。试证成立不等式
b)从a)导出杨格不等式
其中
且
。
c)在问题a)和b)的不等式中等号有什么几何意义?
a)因为
是
上可逆的函数,可以验证函数
在该区间严格单调。而
非负,连续,且在
,可以推出,函数
在
上单调递增,函数图像如上图所示。从而作为函数
的反函数,函数
也是单调递增的。
从而,对于积分
对于这个最后的结果,如果
,那么根据函数
的单调性,有
,从而
如果
,又根据函数
的单调性,有
,从而
所以不管怎么样,我们都能做出估计:
这就是要证的不等式了。
b)根据a)得到的结果,结合到杨格不等式的形式,我们能很自然的令
,其反函数为:
从而,根据a),我们有:
c)从图中我们可以看出,不等式中的等号只有当
的时候成立,这时,不等式的几何意义为,由
围成的矩形的面积,等于
在
上的曲边梯形的面积与
在
上的曲边梯形的面积之和。