首页 理论教育 考研数学分析总复习:定积分不等式证明技巧

考研数学分析总复习:定积分不等式证明技巧

时间:2023-10-19 理论教育 版权反馈
【摘要】:对含有定积分的不等式我们经常要用中值定理(包括微分中值和积分中值定理)和定积分的性质(特别是分部积分法)来证明它.许多题目还要用到特别的技巧,比如通过重积分来证明.下面将会看到这方面的例子.例8.29 设f(x)在[0,1]上有连续的二阶导数,f(0)=f(1)=0,当x∈(0,1)时,f(x)≠0,证明:.证明 记,由已知条件,c∈(0,1),使f(c)=M.由拉格朗日中值定理,有f(c)=f(

考研数学分析总复习:定积分不等式证明技巧

对含有定积分的不等式我们经常要用中值定理(包括微分中值和积分中值定理)和定积分的性质(特别是分部积分法)来证明它.许多题目还要用到特别的技巧,比如通过重积分来证明.下面将会看到这方面的例子.

8.29fx)在[0,1]上有连续的二阶导数f(0)=f(1)=0,当x∈(0,1)时,fx)≠0,证明:978-7-111-46233-0-Chapter08-249.jpg.

证明 记978-7-111-46233-0-Chapter08-250.jpg,由已知条件,∃c∈(0,1),使fc=M.由拉格朗日中值定理,有

fc=fc-f(0)=f′ξ1cξ1∈(0,c),

-fc=f(1)-fc=f′ξ2)(1-c), ξ2∈(c,1).

于是有

978-7-111-46233-0-Chapter08-251.jpg

从而

978-7-111-46233-0-Chapter08-252.jpg

这里应用了978-7-111-46233-0-Chapter08-253.jpg.

8.30 已知fx)在[0,1]上二阶连续可导,证明:对一切n,有

978-7-111-46233-0-Chapter08-254.jpg

证明 由于

978-7-111-46233-0-Chapter08-255.jpg

应用拉格朗中值定理,有

978-7-111-46233-0-Chapter08-256.jpg

978-7-111-46233-0-Chapter08-257.jpg

显然

ξkkk=1,2,…,2n+1.

所以

978-7-111-46233-0-Chapter08-258.jpg

978-7-111-46233-0-Chapter08-259.jpg

8.31 设函数fx)在[ab]上连续且单增,证明:

978-7-111-46233-0-Chapter08-260.jpg

fx)非负时,本题有明显的物理意义:如果曲线y=fx)单增,则密度均匀的曲边梯形

{(xyaxb,0≤yfx)}

质心不可能落在直线978-7-111-46233-0-Chapter08-261.jpg的左边.

证明 本题有许多种证法,但关键是要利用f的单调性和978-7-111-46233-0-Chapter08-262.jpg关于积分区间的中点奇函数的性质.下面给出两种证法.

证法1 构造变上限积分函数.令

978-7-111-46233-0-Chapter08-263.jpg

Fa=0,且

978-7-111-46233-0-Chapter08-264.jpg

由此知Fx)单增,故Fb)≥Fa=0,即

978-7-111-46233-0-Chapter08-265.jpg

证法2 因为f单增,所以

978-7-111-46233-0-Chapter08-266.jpg

将上式关于xab积分,有

978-7-111-46233-0-Chapter08-267.jpg

978-7-111-46233-0-Chapter08-268.jpg

注意到

978-7-111-46233-0-Chapter08-269.jpg

立即可知欲证的不等式成立.

8.32fx)在[0,1]上连续可导,证明

978-7-111-46233-0-Chapter08-270.jpg

证法1 用积分中值定理.因为978-7-111-46233-0-Chapter08-271.jpgξ∈[0,1], 而978-7-111-46233-0-Chapter08-272.jpg

所以

978-7-111-46233-0-Chapter08-273.jpg

证法2 用分部积分法.因为

978-7-111-46233-0-Chapter08-274.jpg

978-7-111-46233-0-Chapter08-275.jpg

所以

978-7-111-46233-0-Chapter08-276.jpg

978-7-111-46233-0-Chapter08-277.jpg

类题 设a>0,f′x)在[0,a]上连续,证明:

978-7-111-46233-0-Chapter08-278.jpg

8.33fx)在[0,1]上连续可导,证明:

978-7-111-46233-0-Chapter08-279.jpg

证明 分两种情况讨论.

(1)如果fx)在[0,1]上不变号,则

978-7-111-46233-0-Chapter08-280.jpg

(2)如果fx)在[0,1]上变号,则∃x0∈(0,1),使得fx0=0.又因为fx)在[0,1]上连续,所以存在ξ∈(0,1),使得

978-7-111-46233-0-Chapter08-281.jpg

故有

978-7-111-46233-0-Chapter08-282.jpg

8.34fx)在[ab]上二阶连续可导,证明:

978-7-111-46233-0-Chapter08-283.jpg

证明 记l=b-a.978-7-111-46233-0-Chapter08-284.jpg978-7-111-46233-0-Chapter08-285.jpg,由微分中值定理,

978-7-111-46233-0-Chapter08-286.jpg

978-7-111-46233-0-Chapter08-287.jpg

于是,∀x∈[ab],有

978-7-111-46233-0-Chapter08-288.jpg

对上式两边,分别关于x1x2978-7-111-46233-0-Chapter08-289.jpg978-7-111-46233-0-Chapter08-290.jpg上积分,可得

978-7-111-46233-0-Chapter08-291.jpg

978-7-111-46233-0-Chapter08-292.jpg

进而有

978-7-111-46233-0-Chapter08-293.jpg

这就是所谓的内插不等式.

类题 设fx)在[0,1]上二阶连续可导,则978-7-111-46233-0-Chapter08-294.jpg978-7-111-46233-0-Chapter08-295.jpg,有

978-7-111-46233-0-Chapter08-296.jpg

提示 由中值定理,fξ-fη=f′θ)(ξ-η),θ∈(ξη.

978-7-111-46233-0-Chapter08-297.jpg

8.35fx)在[0,1]上可微,且0<f′x<1,x∈(0,1),f(0)=0,证明:

978-7-111-46233-0-Chapter08-298.jpg

证法1 用单调性证明.令

978-7-111-46233-0-Chapter08-299.jpg

则显然F(0)=0,而

978-7-111-46233-0-Chapter08-300.jpg

由0<f′x<1及f(0)=0知,fx>0,x∈(0,1).为证明F′x>0,再令

978-7-111-46233-0-Chapter08-301.jpg

g(0)=0,而

g′x=2fx-2fxf′x=2fx)[1-f′x)]>0, x∈(0,1).

F′x>0,从而Fx>F(0)=0.特别地F(1)>0,即

978-7-111-46233-0-Chapter08-302.jpg

证法2 用中值定理证明.令

978-7-111-46233-0-Chapter08-303.jpg

连续使用两次柯西中值定理,有

978-7-111-46233-0-Chapter08-304.jpg

去分母即得要证的不等式.

8.36fx)在实轴上有界且可微,并满足

|fx+f′x)|≤1.

证明:∣fx)∣≤1,x∈(-∞,+∞)(北师大).

证明 在不等式fx+f′x)≤1两边同乘以ex,有

|(exfx))|≤ex

-ex≤(exfx))≤ex.

对上式从-∞到x积分,并注意到fx)的有界性,可得

-ex≤exfx)≤ex

-1≤fx)≤1,

亦即 |fx)|≤1.

类题 设fx)在[0,1]上连续可导,且f(0)=0,f(1)=1,证明:

978-7-111-46233-0-Chapter08-305.jpg

提示978-7-111-46233-0-Chapter08-306.jpg

8.37 设f∶[-1,1]→R为偶函数,f在[0,1]上单调递增.又设g是[-1,1]上的凸函数,即对任意的xy∈[-1,1]及t∈(0,1),有

gtx+(1-ty)≤tgx+(1-tgy).

证明:978-7-111-46233-0-Chapter08-307.jpg

证明 由f为偶函数,可得

978-7-111-46233-0-Chapter08-308.jpg

于是,有

978-7-111-46233-0-Chapter08-309.jpg

因为gx)是凸函数,所以函数hx=gx+g-x)在[0,1]上单调递增,故对任意xy∈[0,1],有

fx-fy))(hx-hy))≥0.

进而有(www.xing528.com)

978-7-111-46233-0-Chapter08-310.jpg

由此可得

978-7-111-46233-0-Chapter08-311.jpg

比较式(1)、式(2)两式,可得结论.

8.38 设函数px)在[ab]上非负连续,fx),gx)在[ab]上连续单调增加,则

978-7-111-46233-0-Chapter08-312.jpg

证明 用重积分来证明.考察差

978-7-111-46233-0-Chapter08-313.jpg

交换积分变量xy的位置,仍然有

978-7-111-46233-0-Chapter08-314.jpg

于是有

978-7-111-46233-0-Chapter08-315.jpg

从而原不等式成立.

类题1f在[0,1]上连续,单调减少且恒取正值,证明:

978-7-111-46233-0-Chapter08-316.jpg

郑州大学).

提示 仿照例8.38的方法证明.

类题2fx)在[ab]上连续,证明:

978-7-111-46233-0-Chapter08-317.jpg

提示 化成重积分后,利用不等式978-7-111-46233-0-Chapter08-318.jpg或ex≥1+xx≥0)可证明之.

8.4 若(fx-fy))(gx-gy))≥0,则称fg成正序;若反向不等式成立,则称fg成反序.

当[ab]上的连续函数fg成正序时,有

978-7-111-46233-0-Chapter08-319.jpg

fg成反序,则式(1)的反向不等式成立.

至于式(1)的证明,可在例8.38中取px=1,也可仿例8.38重新证明.

8.39fx)在[0,1]上连续,且0≤fx<1,证明:

978-7-111-46233-0-Chapter08-320.jpg

证明978-7-111-46233-0-Chapter08-321.jpg

因为978-7-111-46233-0-Chapter08-322.jpg与1-fx)成反序,所以由注8.4有

978-7-111-46233-0-Chapter08-323.jpg

整理即得所要证的不等式.

8.40fx)在[0,1]上连续且满足0<mfx)≤M,证明:

978-7-111-46233-0-Chapter08-324.jpg

证明 显然,∀x∈[0,1],有

978-7-111-46233-0-Chapter08-325.jpg

对上式从0到1积分,得

978-7-111-46233-0-Chapter08-326.jpg

在上式两边同乘以正数978-7-111-46233-0-Chapter08-327.jpg,得

978-7-111-46233-0-Chapter08-328.jpg

最后一步的不等式是根据函数ux=ax-x2x>0)有最大值978-7-111-46233-0-Chapter08-329.jpg而得到的.

8.5 将题中条件“fx)在[0,1]上连续”减弱为“fx)在[0,1]上可积”,结论仍然成立.另外,若将[0,1]区间换成[ab]区间,则相应地有

978-7-111-46233-0-Chapter08-330.jpg

8.41fx)R上的以2π为周期的函数,满足:

978-7-111-46233-0-Chapter08-331.jpg

证明:(1)fx)在R上可以取到最大值、最小值;

978-7-111-46233-0-Chapter08-332.jpg

苏州大学).

证明 (1)由条件(2)知,fx)在R上连续.由于fx)是以2π为周期的连续函数,所以fx)在[0,2π]上最值就是fx)在R上的最值.而由连续函数的性质知,fx)在[0,2π]上可以取到最值.

(2)由于fx)在R上连续且取到最值,所以∃ξ∈[0,2π],使得

978-7-111-46233-0-Chapter08-333.jpg

又由条件(1)及积分中值定理可知,∃x0∈[0,2π],使得

978-7-111-46233-0-Chapter08-334.jpg

下面分三种情形讨论.

(i)若ξ=x0,则此时fξ=fx0=0,于是978-7-111-46233-0-Chapter08-335.jpg,从而欲证的不等式成立;

(ii)若ξ>x0,由fx)的周期性,有

978-7-111-46233-0-Chapter08-336.jpg

fξ)∣≤πL

(iii)若ξ<x0,还由fx)的周期性,有

978-7-111-46233-0-Chapter08-337.jpg

fξ)∣≤πL.

8.42fx)在(0,+∞)上单调递减、可导,且|f′x|>fx>0,∀x∈(0,+∞).证明:当x∈(0,1)时,有978-7-111-46233-0-Chapter08-338.jpg

证明 由f在(0,+∞)上单调递减可知,f′x<0.由已知的不等式,有

-f′x=|f′x|>fx>0,即978-7-111-46233-0-Chapter08-339.jpg

于是,当x∈(0,1)时,两边从x到1积分可得

978-7-111-46233-0-Chapter08-340.jpg

两边再从1到978-7-111-46233-0-Chapter08-341.jpg积分可得

978-7-111-46233-0-Chapter08-342.jpg

将上两式相乘,可得

978-7-111-46233-0-Chapter08-343.jpg

在式(1)中,利用不等式:978-7-111-46233-0-Chapter08-344.jpg(这个不等式用单调性不难证明,请同学们证之)可得结论.

8.43fx)在[0,1]上连续可导,f(0)=f(1)=0,证明:

(1)存在c>0,使

978-7-111-46233-0-Chapter08-345.jpg

(2)c的最小值为978-7-111-46233-0-Chapter08-346.jpg.

证明 (1)将fx)在[0,1]上展开成正弦级数

978-7-111-46233-0-Chapter08-347.jpg

978-7-111-46233-0-Chapter08-348.jpg

由巴塞伐尔等式得

978-7-111-46233-0-Chapter08-349.jpg

978-7-111-46233-0-Chapter08-350.jpg

由此可见,只要978-7-111-46233-0-Chapter08-351.jpg,上述不等式总成立.

(2)为求c的最小值,必须求fx)使式(1)中等号成立.易见,当fx=sinπx时,式(1)变成等式,故c的最小值为978-7-111-46233-0-Chapter08-352.jpg.

8.44fx)在[ab]上严格单调递减,f′x)存在,[fb),fa)]⊂978-7-111-46233-0-Chapter08-353.jpg,且f′x)≥m>0,证明:

978-7-111-46233-0-Chapter08-354.jpg

证明 由已知条件y=fx)存在反函数x=gy),且gy)在[fb),fa)]上单调减少、可微,并有

978-7-111-46233-0-Chapter08-355.jpg

这样就可对978-7-111-46233-0-Chapter08-356.jpg进行换元,且有

978-7-111-46233-0-Chapter08-357.jpg

这里注意到了cosy≥0.

8.45978-7-111-46233-0-Chapter08-358.jpg证明:

exfx)≤2, ∀x∈(-∞,+∞).

证明 由于

978-7-111-46233-0-Chapter08-359.jpg

所以

978-7-111-46233-0-Chapter08-360.jpg

exfx)∣≤2,∀x∈(-∞,+∞).

8.46fx)在[0,+∞)上可导,f(0)=1,978-7-111-46233-0-Chapter08-361.jpg,且978-7-111-46233-0-Chapter08-362.jpg证明:978-7-111-46233-0-Chapter08-363.jpg

证明 由已知条件,f′x>0,即fx)在[0,+∞)上单调增加,因此fx)≥f(0)=1,∀x∈[0,+∞).又因为

978-7-111-46233-0-Chapter08-364.jpg

所以

A≤1+ln2.

另一方面,由fx)单调增加可知,fx=fx)≤A.于是,有

978-7-111-46233-0-Chapter08-365.jpg

978-7-111-46233-0-Chapter08-366.jpg

综上,我们完成了证明.

8.47 证明:978-7-111-46233-0-Chapter08-367.jpg上海大学).

证明 由于978-7-111-46233-0-Chapter08-368.jpg,所以原不等式等价于

978-7-111-46233-0-Chapter08-369.jpg

先证式(1)右边的不等式.显然

978-7-111-46233-0-Chapter08-370.jpg

若记978-7-111-46233-0-Chapter08-371.jpg,则

978-7-111-46233-0-Chapter08-372.jpg

由此可知,式(1)右边的不等式成立.

为证明式(1)左边的不等式成立,需要证明

978-7-111-46233-0-Chapter08-373.jpg

成立.

如图8-3所示,式(2)左边表示的是曲边三角形BCD的面积,右边表示的是矩形ABCD面积的一半.由此易见,式(2)成立.

于是有

978-7-111-46233-0-Chapter08-374.jpg

即式(1)左边的不等式成立.

978-7-111-46233-0-Chapter08-375.jpg

图8-3 例8.47图

免责声明:以上内容源自网络,版权归原作者所有,如有侵犯您的原创版权请告知,我们将尽快删除相关内容。

我要反馈