常见积分不等式

常见积分不等式文章目录①柯西施瓦茨不等式②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)


相关推荐

  • pycharm2021.11.3激活补丁_最新在线免费激活

    (pycharm2021.11.3激活补丁)JetBrains旗下有多款编译器工具(如:IntelliJ、WebStorm、PyCharm等)在各编程领域几乎都占据了垄断地位。建立在开源IntelliJ平台之上,过去15年以来,JetBrains一直在不断发展和完善这个平台。这个平台可以针对您的开发工作流进行微调并且能够提供…

  • struts2核心控制器在哪里配置_intercontrol控制器

    struts2核心控制器在哪里配置_intercontrol控制器原文:http://mopishv0.blog.163.com/blog/static/54455932200981295843192/1.   在struts1.x系列中,所有的请求是通过一个servlet(ActionServlet)来管理控制的,在Struts2.X而是经过一个Filter来处理请求的。Struts2将核心控制器设计成Filter,而不是一个普通Servlet。struts1.x中actionorg.apache.struts.action.ActionServlet。。。St

  • mycat实现读写分离_mybatis读写分离实现

    mycat实现读写分离_mybatis读写分离实现环境:四台主机,两台mysql做主从:master和slave一台mysql做测试,ip:10.30.162.142一台mycat做读写分离,ip:192.168.122.230客户端访问mycat端的虚拟数据库mycat端虚拟数据库设定如下:user:adminpassword:redhatmycat通过一个真实数据库授过权的用户来对数据库端进行数据的操作,在这个实验中这个用户为m…

    2022年10月13日
  • poe交换机和接入交换机的区别_光纤交换机和普通交换机的区别

    poe交换机和接入交换机的区别_光纤交换机和普通交换机的区别POE交换机与普通交换机区别的话,POE交换机就是除了能提供普通交换机所具有的传输功能,还能给网线的另一端设备提供供电功能。普通的交换机主要是交换数据的功能,并没有具备供电的功能。接下来我们就一起来详细看看POE交换机和普通交换机的区别具体有哪些?POE交换机和普通交换机具有以下几点区别:1.可靠性不同:POE交换机就是支持对网线供电的交换机,和普通交换机相比就是受电终端(比如AP、数字摄像头等)不用再进行电源布线,对整个网络而言可靠性更高。2.功能不同:POE交换机就是除了能提供普通交换机所

  • python求和怎么编程_python字符串数字求和

    python求和怎么编程_python字符串数字求和广告关闭腾讯云11.11云上盛惠,精选热门产品助力上云,云服务器首年88元起,买的越多返的越多,最高返5000元!的和实现环境:python3编辑器:pycharm分析:1、阶乘的计算就是比较麻烦的一部分,用递归函数实现是比较好的方案,先定义一个递归函数实现求阶乘功能。defrecursion(n):定义递归函数实现求阶乘功能ifn==1:return1else:returnn*recurs…

    2022年10月23日
  • pycharm设置作者和时间[通俗易懂]

    pycharm设置作者和时间[通俗易懂]pycharm设置作者和时间,每次新建代码时,字段在代码开头新增这几行内容。示例:#-*-coding:utf-8-*-#@Author:作者名#@Time:${DATE}${TIME}

发表回复

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

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