当前位置:舍宁秘书网 > 专题范文 > 公文范文 > Ostrowski型和Ostrowski-Grüss型不等式的加强

Ostrowski型和Ostrowski-Grüss型不等式的加强

时间:2024-02-01 08:15:02 来源:网友投稿

时统业,曾志红

(1. 海军指挥学院,江苏 南京 211800; 2. 广东第二师范学院 学报编辑部,广东 广州 510303)

定理1[1](Ostrowski 不等式)设 :f[a,b]→R 在[a,b]上连续,在(a,b)上可微,则对任意 x ∈[a,b],有

文[2]证明了若f 在[a,b]上满足M-Lipschitz 条件,即对任意 t1,t2∈[a,b],有 | f(t2)-f(t1)|≤M |t2- t1|,则Ostrowski 不等式也成立.

利用Grüss 不等式[3],可建立Ostrowski-Grüss 型不等式. 关于Ostrowski 型不等式和Ostrowski-Grüss型不等式的结果见文[4~11].本文参照文[12]引入参数求最值的方法,建立若干带有参数的不等式,在特殊情况下得到Ostrowski 型不等式和Ostrowski-Grüss 型不等式的加强.

为方便起见,引入记号

引理1[4]设f 在[a,b]上可微,且f'在[a,b]上可积,λ∈ [0,2],则对于任意 x ∈[a,b],有

引理2设f在[a,b]上二阶可微,且f'在[a,b]上可积,λ∈[0,2],则对于任意x∈[a,b],有

定理2设f在[a,b]上可微,且f'在[a,b]上可积,存在常数γ和Γ(γ<Γ),使得对于任意t∈[a,b],有γ≤f'(t)≤Γ,则对于任意λ∈[0,2]和任意x∈[a,b],有

其中

证明先考虑x≠a的情形.将P表示为

利用式(2)得γ(x-a)2-Γ(b-x)2≤P≤Γ(x-a)2-γ(b-x)2,于是有 -(2 -λ)τ(Γ-γ)≤U≤λτ(Γ-γ),从而在式(3)中取ε=ε1,则式(1)的右边不等式得证.

再考虑x=a的情形.记对任意常数,由引理1 得

推论1设条件同定理2,则对任意λ∈ [0,2]和任意x∈[a,b],有

证明如果A1+B1≤I≤A2-B2,则A1+min{B1,B2} ≤I≤A2-min{B1,B2},从 而利用这个事实,由定理2 即得推论.

注1推论1 是文[5]定理的加强.

推论2设f在[a,b]上可微,f'在[a,b]上可积,存在常数γ和Γ(γ<Γ),使得对于任意t∈[a,b],有γ≤f'(t)≤Γ,则对任意λ∈ [0,2],有

证明在定理2 中取x=a即可得证.

注2因为

所以推论2 为文[4]推论5 中不等式的加强.

推论3设f在[a,b]上可微,f'在[a,b]上可积,存在常数γ和Γ(γ<Γ),使得对于任意t∈[a,b],有γ≤f'(t)≤Γ,则对任意λ∈ [0,2],有

证明在定理2 中取即可得证.

推论4设条件同定理2,则对任意x∈[a,b],有

证明在定理2 中取λ= 0即可得证.

推论5设f在[a,b]上可微,f'在[a,b]上可积,存在常数M,使得对于任意t∈[a,b],有|f'(t)|≤M,则对任意x∈[a,b],有

证明在推论4 中取Γ=-γ=M即可得证.

注3推论5 给出了Ostrowski 不等式的加强.

推论6设条件同定理2,则对任意x∈[a,b],有

证明在定理2 中取λ= 2即可得证.

定理3设f:[a,b]→R 满足(γ,Γ)-Lipschitz 条件,即存在常数γ和Γ,使得对于任意s,t∈[a,b],s<t,有γ(t-s)≤f(t)-f(s)≤Γ(t-s),则对任意λ∈ [0,2],x∈[a,b],式(1)成立.

证明当x≠a时,对任意常数有

当x=a时,对任意常数有

以下证明同定理2,故略去.

推论7设条件同定理3,则对任意λ∈[0,2]和任意x∈[a,b],式(5)成立; 对任意λ∈ [0,2],式(11)~(15)成立.

推论 8设条件同定理3,则对任意λ∈ [0,2],式(6)~(10)成立.

定理4设f在[a,b]上二阶可微,f'在[a,b]上可积,存在常数γ和Γ(γ<Γ),使得对于任意t∈[a,b],有γ≤f'≤Γ,则对于任意λ∈ [0,2]和任意x∈[a,b],有

证明先考虑x≠a的情形.对任意常数ε∈ [-λ(x-a),(1 -λ)(x-a)],由引理2 得

在式(17)中取ε=ε3,则式(16)的右边不等式得证.

再考虑x=a的情形.对于任意常数ε∈ [-λ(b-a),(1 -λ)(b-a)],令t5=(1 -λ)b+γa-ε,则

在式(18)中取ε=ε4则式(16)的右边不等式也成立. 当γ≤f'(t)≤Γ时,-Γ≤ -f'(t)≤ -γ,对-f应用已证明的结果,则式(16)的左边不等式得证.

推论9设条件同定理4,则对任意x∈[a,b],有

进而有

证明在定理4 中取λ= 0即可得证.

推论10设条件同定理4,则对任意x∈[a,b],有

进而有

其中

证明在定理4 中取λ=1 即可得证.

注4注意到,所以式(21)是文[10]式(8.5)的推广和加强.

定理5设f:[a,b]→R 满足(γ,Γ)-Lipschitz 条件,即存在常数γ和Γ,使得对于任意s,t∈ [a,b],s<t,有γ(t-s)≤f'(t)-f'(s)≤Γ(t-s),则对任意λ∈[0,2],x∈[a,b],式(16)成立.

证明先考虑x≠a的情形.对任意常数ε∈ [-λ(x-a),(1 -λ)(x-a)],有

再考虑x=a的情形.对于任意常数ε∈ [-λ(b-a),(1 -λ)(b-a)],令t5=(1 -λ)b+γa-ε,则

接下来的证明类似于定理4,故略去过程.

推论11设条件同定理5,则对任意x∈[a,b],式(19)和式(20)成立.

推论12设条件同定理5,则对任意x∈[a,b],式(21)和式(22)成立.

猜你喜欢二阶情形常数关于Landau常数和Euler-Mascheroni常数的渐近展开式以及Stirling级数的系数数学年刊A辑(中文版)(2021年1期)2021-06-09有限二阶矩情形与重尾情形下的Hurst参数数学物理学报(2020年4期)2020-09-07避免房地产继承纠纷的十二种情形公民与法治(2020年12期)2020-07-25一类二阶迭代泛函微分方程的周期解应用数学(2020年2期)2020-06-24四种情形拖欠劳动报酬构成“拒不支付”犯罪公民与法治(2020年4期)2020-05-30具非线性中立项的二阶延迟微分方程的Philos型准则数学物理学报(2020年1期)2020-04-21二阶线性微分方程的解法中央民族大学学报(自然科学版)(2018年3期)2018-11-09一类二阶中立随机偏微分方程的吸引集和拟不变集Acta Mathematica Scientia(English Series)(2018年6期)2018-03-01万有引力常数的测量新高考·高一物理(2016年3期)2016-05-18出借车辆,五种情形下须担责公民与法治(2016年9期)2016-05-17

推荐访问:不等式 Ostrowski Gr

猜你喜欢