常见积分不等式

常见积分不等式文章目录①柯西施瓦茨不等式②6.75③3.132④3.133⑤3.134⑥3.142①柯西施瓦茨不等式[∫f(x)∗g(x)dx]2≤∫f2(x)dx⋅∫g2(x)dx[\intf(x)*g(x)dx]^2\leq\intf^2(x)dx\cdot\intg^2(x)dx[∫f(x)∗g(x)dx]2≤∫f2(x)dx⋅∫g2(x)dx这个在张…

大家好,又见面了,我是你们的朋友全栈君。

①柯西施瓦茨不等式

[ ∫ f ( x ) ∗ g ( x ) d x ] 2 ≤ ∫ f 2 ( x ) d x ⋅ ∫ g 2 ( x ) d x [ \int f ( x ) * g ( x ) dx]^2 \leq \int f^2( x ) d x \cdot \int g^2( x )d x [f(x)g(x)dx]2f2(x)dxg2(x)dx
这个在张宇18讲里面是用 Δ \Delta Δ判别式来证明的
∫ a b [ f ( x ) + λ g ( x ) ] 2 ≥ 0 \int_a^b[f(x)+\lambda g(x)]^2\geq0 ab[f(x)+λg(x)]20
然后把括号打开是个关于 λ \lambda λ的二次方程
λ 2 ∫ a b g 2 ( x ) d x + 2 λ ∫ a b f ( x ) g ( x ) b x + ∫ a b f 2 ( x ) d x ≥ 0 \lambda^{2} \int_{a}^{b} g^{2}(x) d x+2 \lambda \int_{a}^{b} f(x) g(x) b x+\int_{a}^{b} f^{2}(x) d x \geq 0 λ2abg2(x)dx+2λabf(x)g(x)bx+abf2(x)dx0
Δ ≤ 0 \Delta \leq0 Δ0

②6.75

∫ a b f ( x ) d x ∫ a b g ( x ) d x ≤ ∫ a b f ( x ) g ( x ) d x \int_a^bf(x)dx\int_a^bg(x)dx\leq\int_a^bf(x)g(x)dx abf(x)dxabg(x)dxabf(x)g(x)dx
f ( x ) , g ( x ) f(x),g(x) f(x),g(x)单增
这个还阔以用二重积分来证明

③3.132

( a + b ) ∫ a b f ( x ) d x < 2 ∫ a b x f ( x ) d x (a+b)\int_a^bf(x)dx<2\int_a^bxf(x)dx (a+b)abf(x)dx<2abxf(x)dx
以上3个都阔以通过设上限函数求导来证明

④3.133

∫ a b f 2 ( x ) d x ≤ ( b − a ) 2 2 ∫ a b [ f ′ ( x ) ] 2 d x , 其 中 f ( a ) = 0 \int_a^bf^2(x)dx\leq\frac{(b-a)^2}{2}\int_a^b[f'(x)]^2dx,其中f(a)=0 abf2(x)dx2(ba)2ab[f(x)]2dx,f(a)=0
证明:
∵ f 2 ( x ) = [ f ( x ) − f ( a ) ] 2 = [ ∫ a x f ′ ( t ) d t ] 2 \because f^2(x)=[f(x)-f(a)]^2=[\int_a^xf'(t)dt]^2 f2(x)=[f(x)f(a)]2=[axf(t)dt]2

∴ [ ∫ a x f ′ ( t ) d t ] 2 ⩽ ( x − a ) ∫ a x [ f ′ ( t ) ] 2 d t ⩽ ( x − a ) ∫ a b [ f ′ ( t ) ] 2 d t \therefore \left[ \int _ { a } ^ { x } f ^ { \prime } ( t ) \mathrm { d } t \right] ^ { 2 } \leqslant ( x – a ) \int _ { a } ^ { x } \left[ f ^ { \prime } ( t ) \right] ^ { 2 } \mathrm { d } t \leqslant ( x – a ) \int _ { a } ^ { b } \left[ f ^ { \prime } ( t ) \right] ^ { 2 } \mathrm { d } t [axf(t)dt]2(xa)ax[f(t)]2dt(xa)ab[f(t)]2dt用了施瓦茨不等式

∴ ∫ a b f 2 ( x ) d x ⩽ ∫ a b ( x − a ) d x ∫ a b [ f ′ ( t ) ] 2 d t = ( b − a ) 2 2 ∫ a b [ f ′ ( x ) ] 2 d x \therefore \int _ { a } ^ { b } f ^ { 2 } ( x ) \mathrm { d } x \leqslant \int _ { a } ^ { b } ( x – a ) \mathrm { d } x \int _ { a } ^ { b } \left[ f ^ { \prime } ( t ) \right] ^ { 2 } \mathrm { d } t = \frac { ( b – a ) ^ { 2 } } { 2 } \int _ { a } ^ { b } \left[ f ^ { \prime } ( x ) \right] ^ { 2 } \mathrm { d } x abf2(x)dxab(xa)dxab[f(t)]2dt=2(ba)2ab[f(x)]2dx

⑤3.134

∫ a b g ( x ) f ′ ( x ) d x + ∫ 0 1 f ( x ) g ′ ( x ) d x ≥ f ( a ) g ( 1 ) , 其 中 f ( 0 ) = 0 , f ′ ( x ) ≥ 0 , g ′ ( x ) ≥ 0 , a ∈ [ 0 , 1 ] \int_a^bg(x)f'(x)dx+\int_0^1f(x)g'(x)dx\geq f(a)g(1),其中f(0)=0,f'(x)\geq0,g'(x)\geq0,a\in[0,1] abg(x)f(x)dx+01f(x)g(x)dxf(a)g(1),f(0)=0,f(x)0,g(x)0,a[0,1]
移项,然后看成 a a a的函数 F ( a ) F(a) F(a)
然后再求导来做

⑥3.142

∫ a x f ( t ) d t ⩾ ∫ a x g ( t ) d t , x ∈ [ a , b ) 且 ∫ a b f ( t ) d t = ∫ a b g ( t ) d t , 求 证 : ∫ a b x f ( x ) d x ⩽ ∫ a b x g ( x ) d x \int _ { a } ^ { x } f ( t ) \mathrm { d } t \geqslant \int _ { a } ^ { x } g ( t ) \mathrm { d } t , x \in [ a , b ) 且 \int _ { a } ^ { b } f ( t ) \mathrm { d } t = \int _ { a } ^ { b } g ( t ) d t,求证:\int _ { a } ^ { b } x f ( x ) \mathrm { d } x \leqslant \int _ { a } ^ { b } x g ( x ) \mathrm { d } x axf(t)dtaxg(t)dt,x[a,b)abf(t)dt=abg(t)dtabxf(x)dxabxg(x)dx
φ ( x ) = f ( x ) − g ( x ) \varphi(x)=f(x)-g(x) φ(x)=f(x)g(x)
那么上面给的两个条件移项之后就变成:
{ ∫ a x φ ( t ) d t ≥ 0 ∫ a b φ ( t ) d t = 0 \left\{\begin{matrix} \int_a^x\varphi(t)dt\geq0 \\\int_a^b\varphi(t)dt =0 \end{matrix}\right. {
axφ(t)dt0abφ(t)dt=0

要证明的东西变成 ∫ a b x φ ( x ) d x ≤ 0 \int_a^bx\varphi(x)dx\leq0 abxφ(x)dx0
然后分部积分就行了

7

f ( x ) 在 [ 0 , 1 ] 上 有 连 续 导 数 , 且 f ( 0 ) = 0 , ∫ 0 1 f 2 ( x ) d x ≤ 1 2 ∫ 0 1 f ′ 2 ( x ) d x f(x)在[0,1]上有连续导数,且f(0)=0,\int_{0}^{1} f^{2}(x) d x \leq \frac{1}{2} \int_{0}^{1} f^{\prime 2}(x) d x f(x)[0,1],f(0)=0,01f2(x)dx2101f2(x)dx

这题简直厉害,把 f 2 ( x ) f^2(x) f2(x)用柯西不等式变换:
f 2 ( x ) = ( ∫ 0 x f ′ ( t ) d t ) 2 ≤ ∫ 0 x 1 2 d t ⋅ ∫ 0 x f ′ 2 ( t ) d t = x ∫ 0 x f ′ 2 ( t ) d t ≤ x ∫ 0 1 f ′ 2 ( t ) d t f^{2}(x)=\left(\int_{0}^{x} f^{\prime}(t) d t\right)^{2} \leq \int_{0}^{x} 1^{2} d t \cdot \int_{0}^{x} f^{\prime 2}(t) d t=x\int_{0}^{x} f^{\prime 2}(t) d t\leq x\int_{0}^{1} f^{\prime 2}(t) d t f2(x)=(0xf(t)dt)20x12dt0xf2(t)dt=x0xf2(t)dtx01f2(t)dt
就 得 到 了 这 个 : f 2 ( x ) ≤ x ∫ 0 1 f ′ 2 ( t ) d t , 再 同 时 两 边 积 分 就得到了这个:f^2(x)\leq x\int_{0}^{1} f^{\prime 2}(t) d t,再同时两边积分 f2(x)x01f2(t)dt

∫ 0 1 f 2 ( x ) d x ≤ ∫ 0 1 x d x ⋅ ∫ 0 1 f ′ 2 ( t ) d t = 1 2 ∫ 0 1 f ′ 2 ( t ) d t \int_{0}^{1} f^{2}(x) d x \leq \int_{0}^{1} x d x \cdot \int_{0}^{1} f^{\prime 2}(t) d t=\frac{1}{2} \int_{0}^{1} f^{\prime 2}(t) d t 01f2(x)dx01xdx01f2(t)dt=2101f2(t)dt

真题

1994数学三

f ( x ) 在 [ 0 , 1 ] 上 非 负 单 减 , 证 明 : ∫ 0 a f ( x ) d x ≥ a ∫ 0 1 f ( x ) d x ( 0 < a < 1 ) f(x)在[0,1]上非负单减,证明:\int_{0}^{a} f(x) d x \geq a \int_{0}^{1} f(x) d x \quad(0<a<1) f(x)[0,1],:0af(x)dxa01f(x)dx(0<a<1)
本来想直接用积分中值定理的,但是弄出来两边的 ξ 1 ∈ ( 0 , a ) , ξ 2 ∈ ( 0 , 1 ) \xi_1\in(0,a),\xi_2\in(0,1) ξ1(0,a),ξ2(0,1)的范围有重叠不好判断,因此想办法把范围弄成没有重叠的

把右边拆成两段
∫ 0 a f ( x ) d x ≥ a ∫ 0 a f ( x ) d x + a ∫ a 1 f ( x ) d x \int_{0}^{a} f(x) d x \geq a \int_{0}^{a} f(x) d x+a \int_{a}^{1} f(x) d x 0af(x)dxa0af(x)dx+aa1f(x)dx

∫ 0 a ( 1 − a ) f ( x ) d x = a ∫ a 1 f ( x ) \int_{0}^{a} (1-a)f(x) d x=a \int_{a}^{1} f(x) 0a(1a)f(x)dx=aa1f(x)
现在再用积分中值定理把被积函数弄出来就好做了

版权声明:本文内容由互联网用户自发贡献,该文观点仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 举报,一经查实,本站将立刻删除。

发布者:全栈程序员-用户IM,转载请注明出处:https://javaforall.cn/136764.html原文链接:https://javaforall.cn

【正版授权,激活自己账号】: Jetbrains全家桶Ide使用,1年售后保障,每天仅需1毛

【官方授权 正版激活】: 官方授权 正版激活 支持Jetbrains家族下所有IDE 使用个人JB账号...

(0)


相关推荐

  • MATLAB 矢量图(风场、电场等)标明矢量大小的方法——箭头比例尺及风矢杆图的绘制

    MATLAB 矢量图(风场、电场等)标明矢量大小的方法——箭头比例尺及风矢杆图的绘制作者:中国科学院大气物理研究所律成林MATLAB中标明矢量图中矢量大小的方法:绘制箭头比例尺,或绘制风矢杆图。m_vec函数绘制的箭头长度仅与矢量大小本身有关。本人基于m_vec绘制结果,开发了一个可以在Figure内任意位置为指定的矢量图绘制箭头比例尺的函数——m_arrow_scale2,本文已包含该函数的代码,该函数考虑了方方面面,如文本标注、位置、字体等参数,且预设了很多参数供使用者选择,选择余地非常多,使用起来非常方便,功能也较为强大。本着“授人以渔”的原则,倾注了本人对MATLAB深刻理解。

  • python sendfile_sendfile详解(转)[通俗易懂]

    python sendfile_sendfile详解(转)[通俗易懂]在apache,nginx,lighttpd等web服务器当中,都有一项sendfile相关的配置,在一些网上的资料都有谈到sendfile会提升文件传输性能,那sendfile到底是什么呢?它的原理又是如何呢?在传统的文件传输里面(read/write方式),在实现上其实是比较复杂的,需要经过多次上下文的切换,我们看一下如下两行代码:read(file,tmp_buf,len);write(…

  • 去除字符串中重复字符

    去除字符串中重复字符去除字符串中重复字符:import java.util.LinkedHashSet;public class 去除重复字符串 { public static void main(String[] args) { String str = "aaaabbbccc"; char[] arr = str.toCharArray(); LinkedHashSet&lt;Chara…

  • 浅析@ResponseBody注解作用和原理

    浅析@ResponseBody注解作用和原理    @ResponseBody这个注解通常使用在控制层(controller)的方法上,其作用是将方法的返回值以特定的格式写入到response的body区域,进而将数据返回给客户端。当方法上面没有写ResponseBody,底层会将方法的返回值封装为ModelAndView对象。    假如是字符串则直接将字符串写到客户端,假如是一个对象,此时会将对象转化为json串然后写到客户…

  • linux系统中socket错误码:EINTR和EAGAIN的处理

    目录人为重启被中断的系统调用安装信号时设置SA_RESTART属性忽略信号永远阻塞的系统调用,被信号中断,导致其不继续等待,转而去执行signal_handler1、什么是慢系统调用?该术语适用于那些可能永远阻塞的系统调用。永远阻塞的系统调用是指调用永远无法返回,多数网络支持函数都属于这一类。如:若没有客户连接到服务器上,那么服务器的accept调用就会永远阻塞。…

  • 卸载360企业版密码忘了_360杀毒软件卸载密码是多少

    卸载360企业版密码忘了_360杀毒软件卸载密码是多少方法如下:  一、在360安全卫士安装文件夹“默认安装在C:\ProgramFiles\360\360Safe”中,查找含有ent的文件。  二、使用360文件粉碎机或unlocker等等。删完后,就可以正常卸载了。(不行的话,还可以用系统光盘或者U盘,进入他们的PE系统,在PE系统中可以直接删除整个360safe文件夹。)三、原理…

发表回复

您的电子邮箱地址不会被公开。

关注全栈程序员社区公众号