APP下载

分形集上关于扰动的梯形积分公式的Iyengar 型不等式

2020-09-15曾志红时统业

关键词:分形常数梯形

曾志红,时统业

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

1 引言与预备知识

梯形不等式[1]是

其 中 f:[a,b]→R 在(a,b)内 二阶 可 微且有关梯形不等式和扰动的梯形不等式可参阅文献[2-6].

Iyengar 不等式[7]是

其中 f:[a,b]→R 是[a,b]上的可微函数,且存在常数M ,使得对任意 x∈[a,b]有有关Iyengar 型不等式和扰动的Iyengar 型不等式可参阅文献[8-12].

沿用文献[13]的记号,设

定理1[13]设区间I⊆R,I°是I 的内部,f: I →R 在I°上二次可微,a,b∈I°,a<b.若存在常数M2∈R,使得对于任意 x∈[a,b]有则有

本文全篇假设0<α≤1.文献[14-15]系统阐述了建立在分形空间上的局部分数阶微积分的相关理论.设 Rα是分形实线的α 型集合,aα,bα,cα∈Rα,则在这个分形集中有如下运算律:

下面使用Gao-Yang-Kang 的方法来描述局部分数阶的导数和积分.

定义1[16]设 f: R →Rα是不可微函数,如果对任意ε> 0,存在δ> 0,使得当时,有则称f 在点 x0处局部分数阶连续.若f 在区间I⊆R 上局部分数阶连续,则记为f∈Cα(I).

定义2[17]设 f∈Cα(a,b),x0∈(a,b),则f 在点 x0处的α 阶局部分数阶导数定义为

若对任意x∈I⊆R 时存在 f(α)(x),则称f 在I 上α 阶局部分数阶可微,记为 f∈Dα(I).一般地,记如果对任意x∈I⊆R,存在则记为其中 k=0,1,2,….

设 f,g∈Dα(I),则对任意x∈I,有利用这个局部分数阶导数的乘法法则,有

定义3[18]设 f∈Cα[a,b],f 在点[a,b]上的α 阶局部分数阶积分定义为

在闭区间上局部分数阶连续的函数是局部分数阶可积的.局部分数阶定积分有与黎曼定积分类似的性质,如线性性质、区间可加性、比较性质、绝对不等式、牛顿-莱布尼茨公式、换元法、分部积分法等[14-18].

引理1[18]1)设则特别地,若 f (x)恒为常数c,则有

2)设 f,g∈Dα[a,b]且则

利用引理1 得

文献[19]引入分形集上广义凸函数的概念.

定义4[19]设I⊆R,函数 f :I →Rα,若对任意 u,v∈I和任意 λ∈[0,1],有

则称f 是I 上的广义凸函数.

引理2[19]设 f∈Dα(I),则下面条件等价:

i)f 是I 上的广义凸函数;

ii)对任意 x1,2x∈I ,有

引理3[19]设 f∈D2α(a,b),则f 是(a,b)上的广义凸函数当且仅当对任意 x∈(a,b)有 f(2α)(x)≥0α.本文为方便起见,记

本文目的是在分形集上建立关于扰动的梯形积分公式的不等式.为得到本文的主要结果,需要下面的引理.

引理4设区间I⊆R,I°是I 的内部,则有

证明使用局部分数阶积分的分部积分法(引理1)得

式(4)除以 2αΓ2(1+α),则式(2)得证.类似可证式(3).

引理5设区间I⊆R,I°是I 的内部,若存在常数 k,K∈Rα,使得对于任意 x∈[a,b]有 k≤f(2α)(x)≤K ,则有

证明由式(3)得

于是

引理6[17](局部分数阶微分中值定理)设函数 F (x)在[a,b]上连续,在(a,b)上α 阶局部分数阶可微,则对于任意 x0,x∈[a,b],x0<x,存在 ξ∈[x0,x],使得

2 主要结果

定理2设区间I⊆R,I°是I 的内部,若存在常数 k,K∈Rα,使得对于任意 x∈[a,b]有 k≤f(2α)(x)≤K ,则有

证明对任意常数ε ,由引理4 得

其中

当 Δα≥0时,考虑任意有

类似可得

综合式(6~10)得

其中

于是有

综合式(11~14),当 Δα≥0时,有

当 Δα≤0时,考虑任意

通过这些以往研究可以发现,从横向上看,对于“媒体会对政策变迁产生影响”这一观点,各学科虽论证方式不同,但已达成广泛共识;从政策学角度出发的研究不少,但充分运用理论展开主体细致分析的不多。从纵向上看,有研究已发现传统媒体与新媒体在影响政策议程、政策变迁上的差异,但缺乏理论指导下的深入比较,也未能结合当下我国媒介融合的时代背景。

推论1设区间I⊆R,I°是I 的内部,若存在常数M∈Rα,使得对于任意 x∈[a,b]有则有

证明在定理2 中取 k=-M,K=M即可得证.

推论2设f :[a,b] →R二次可微,f′在[a,b]上连续,且存在常数k 和K ,k<K使得k≤f′≤K,则有

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

注1在推论2 中,若存在常数M2,使得则得到定理1.

定理3设区间I⊆R,I°是I 的内部,

证明利用引理3 得:

其中

综合式(16~17)得

其中

于是有

综合式(18~21),则式(15)的右边的两个不等式得证.当 k≤f(2α)≤K 时,有-K≤(-f)(2α)≤-k.对函数-f应用已证结论,则式(15)的左边的两个不等式得证.

推论3设区间I⊆R,I°是I 的内部,若存在常数M∈Rα,使得对于任意 x∈[a,b]有则有

证明在定理3 中取 k=-M,K=M即可得证.

推论4设f :[a,b]→R二次可微,f′在[a,b]上连续,且存在常数k 和K ,k<K使得k≤f′≤K,则有

证明在定理3 中取α=1 即可得证.

注2在推论4 中,若存在常数M2,使得则有

注3式(1)与式(22)各有强弱.比如取 f (x)=x4,[a,b]=[-1,1],则 M2=12,T1=4,Δ1=0,显然式(22)比式(1)好些.又比如取 f (x)=x3,[a,b]=[-1,1],则 M2=6,T1=0,Δ1=4,由式(1)得由式(22)得因为故式(1)与式(22)好些.

猜你喜欢

分形常数梯形
认识梯形
柞蚕茧系统分形研究
感受分形
分形理论在经济管理中的巧妙应用
自卑的梯形弟弟
分形
非齐次线性微分方程的常数变易法
万有引力常数的测量
紫外分光光度法测定曲札芪苷的解离常数
等腰梯形的判定检测题