黄道增   浙江省台州学院  （浙江  317000）

摘要：积分不等式的证明方法多种多样，本文主要利用被积函数的单调性和通过构造辅助函数的单调性证明积分不等式。

关键词：函数单调性    积分不等式   辅助函数            中图分类号  O172.2

积分不等式是微积分学中一类重要的不等式，其证明方法多种多样。如果题目条件中含“单调性”或隐含“单调性”的条件，利用函数单调性证明比较简单。本文主要讨论利用被积函数的单调性和通过构造辅助函数的单调性证明积分不等式。

1 利用被积函数的单调性

证明方法根据----定积分性质之一：设与为定义在上的两个可积函数，若，则.

例1  设为上非负单调递减函数，

证明：对于，有

证明：由的单调递减性得：

    若，有

    所以            （1）

     同理有   （2）

由（1）（2）得：

           （3）

将（3）式两边同乘以，有

因为，所以

例2  试证：.

分析：不等式两边的积分是瑕积分。在两边的积分中分别作变换与，原不等式可化为，欲证不等式，只需证明，，而。

因为时，，，而函数在上严格单调递增，于是只要证明 当时，有或。当时，，于是问题得证。（证略）

2 利用辅助函数的单调性

证明方法根据----变微积分学基本定理和可导函数的一阶导数符号与单调性关系定理：

微积分学基本定理：若函数在上连续，则由变动上限积分，定义的函数在上可导，而且.也就是说，函数是被积函数在上的一个原函数.

可导函数的一阶导数符号与函数单调性关系定理：设函数在连续，在内可导，如果在内（或），那么在上单调增加（或单调减少）。

证明的一般过程：

（1）构造辅助函数，取定闭区间；

（2）求函数的导数，再判别它的符号，利用可导函数的一阶导数符号与函数单调关系，判断函数的单调性；

（3）求函数在区间端点的函数值；

（4）根据第2步和第3步即可得证。

例3  设在上连续，且单调递增，试证明.

分析：可将此定积分不等式中常数变为变数，利用差式构造辅助函数：，则要证.

证明：设，则在上连续，在内可导，

∵在上连续，且单调增加，

∴

即在上单调增加，

∵  ∴

∴

∴

例4  设，在上的导函数连续，且，，，证明：对任何，有

分析：可将此定积分不等式的常数变为变数，利用差式构造辅助函数：，则要证.

证明：令，，则在上连续，在内可导，且

∵且

∴，则，

∴

即，。

∴对任何，有.

例5  设在上可微，且当时，，，

试证： 

分析：可将此定积分不等式看成是数值不等式，并将常数1变为变数，利用差式构造辅助函数.

证明：对任意，构造函数,显然有

，

不妨令，显然有

∴在上严格单调递增。

∴

∴

∴对任意有，， 

∴在上严格单调递增， 

即

    评析：对于含有定积分的不等式，往往把某一常数变为变数，利用差式构造变上限辅助函数，再利用变上限积分及函数的单调性解决。

参考文献

[1] 华东师范大学数学系.数学分析(上)[M].北京:高等教育出版社,2001.

[2] 张荣.辅助函数在不等式证明中的应用[J].数学的实践与认识,2007(10).

[3] 叶国菊，赵大方编.数学分析学习与考研指导[M].北京:清华大学出版,2009.

[4] 贾高.数学分析专题选讲[M].上海:上海交通大学出版社,2009.下载本文