Processing math: 100%
Research article

Refined inequalities of perturbed Ostrowski type for higher-order absolutely continuous functions and applications

  • Received: 26 May 2020 Accepted: 22 September 2020 Published: 13 October 2020
  • MSC : 26D15, 26A46, 26D10

  • First of all, we establish an identity for higher-order differentiable functions. Then, we prove some integral inequalities for mappings that have continuous derivatives up to the order n1 with n1 and whose n-th derivatives are the element of L1, Lr, and L. In addition, estimates of new composite quadrature rules are examined. Finally, natural applications for exponential and logarithmic functions are given.

    Citation: Samet Erden, Nuri Çelİk, Muhammad Adil Khan. Refined inequalities of perturbed Ostrowski type for higher-order absolutely continuous functions and applications[J]. AIMS Mathematics, 2021, 6(1): 362-377. doi: 10.3934/math.2021022

    Related Papers:

    [1] Gültekin Tınaztepe, Sevda Sezer, Zeynep Eken, Sinem Sezer Evcan . The Ostrowski inequality for $ s $-convex functions in the third sense. AIMS Mathematics, 2022, 7(4): 5605-5615. doi: 10.3934/math.2022310
    [2] Mustafa Gürbüz, Yakup Taşdan, Erhan Set . Ostrowski type inequalities via the Katugampola fractional integrals. AIMS Mathematics, 2020, 5(1): 42-53. doi: 10.3934/math.2020004
    [3] Da Shi, Ghulam Farid, Abd Elmotaleb A. M. A. Elamin, Wajida Akram, Abdullah A. Alahmari, B. A. Younis . Generalizations of some $ q $-integral inequalities of Hölder, Ostrowski and Grüss type. AIMS Mathematics, 2023, 8(10): 23459-23471. doi: 10.3934/math.20231192
    [4] Thanin Sitthiwirattham, Muhammad Aamir Ali, Hüseyin Budak, Sotiris K. Ntouyas, Chanon Promsakon . Fractional Ostrowski type inequalities for differentiable harmonically convex functions. AIMS Mathematics, 2022, 7(3): 3939-3958. doi: 10.3934/math.2022217
    [5] Marwa M. Tharwat, Marwa M. Ahmed, Ammara Nosheen, Khuram Ali Khan, Iram Shahzadi, Dumitru Baleanu, Ahmed A. El-Deeb . Dynamic inequalities of Grüss, Ostrowski and Trapezoid type via diamond-$ \alpha $ integrals and Montgomery identity. AIMS Mathematics, 2024, 9(5): 12778-12799. doi: 10.3934/math.2024624
    [6] Serap Özcan, Saad Ihsan Butt, Sanja Tipurić-Spužević, Bandar Bin Mohsin . Construction of new fractional inequalities via generalized $ n $-fractional polynomial $ s $-type convexity. AIMS Mathematics, 2024, 9(9): 23924-23944. doi: 10.3934/math.20241163
    [7] Duygu Dönmez Demir, Gülsüm Şanal . Perturbed trapezoid inequalities for n th order differentiable convex functions and their applications. AIMS Mathematics, 2020, 5(6): 5495-5509. doi: 10.3934/math.2020352
    [8] Andrea Aglić Aljinović, Domagoj Kovačević, Mehmet Kunt, Mate Puljiz . Correction: Quantum Montgomery identity and quantum estimates of Ostrowski type inequalities. AIMS Mathematics, 2021, 6(2): 1880-1888. doi: 10.3934/math.2021114
    [9] Hüseyin Budak, Ebru Pehlivan . Weighted Ostrowski, trapezoid and midpoint type inequalities for RiemannLiouville fractional integrals. AIMS Mathematics, 2020, 5(3): 1960-1984. doi: 10.3934/math.2020131
    [10] Miguel Vivas-Cortez, Muhammad Aamir Ali, Ghulam Murtaza, Ifra Bashir Sial . Hermite-Hadamard and Ostrowski type inequalities in $ \mathfrak{h} $-calculus with applications. AIMS Mathematics, 2022, 7(4): 7056-7068. doi: 10.3934/math.2022393
  • First of all, we establish an identity for higher-order differentiable functions. Then, we prove some integral inequalities for mappings that have continuous derivatives up to the order n1 with n1 and whose n-th derivatives are the element of L1, Lr, and L. In addition, estimates of new composite quadrature rules are examined. Finally, natural applications for exponential and logarithmic functions are given.


    Since 1938, the year of its publication, Ostrowski inequality [22] has attracted attention of many researchers. This inequality has become a cornerstone in mathematics owing to abundance of its application in numeric integration methods, some particular means and many other fields. Especially in the last 25 years, many authors have investigated refinements, counterparts and generalizations of Ostrowki inequality. They also established new results connected to Ostrowski inequality under various assumptions of the functions. For instance, Dragomir et al. pointed out some generalizations of Ostrowski inequality and applied them to some special means and numerical integration in [11]. What's more, it is presented an original result for twice differentiable functions by Cerone et al. in [8]. In [10], Dragomir and Barnett also found an inequality different from result given in [8] by using mappings whose second derivatives are limited. Sarikaya and Set proved new inequalities for mappings whose second derivative are the element of L1,Lp and L by using a new Montgomery type identity in [23]. As well as the cases when first and second derivatives are required, there are problems in which higher-order derivatives are required. Therefore, many researchers worked on inequalities involving higher-order differentiable functions. For example, Cerone et al. deduced Ostrowski type results by using functions whose higher-order derivatives are bounded in [9]. Furthermore, in [1,19,25,28], authors established generalized Ostrowski type and related inequalities for higher-order differentiable functions on Lp and L. Recently, perturbed integral inequalities have become a widely used generalization method. Dragomir deduced novel perturbed type inequalities for absolutely continuous mappings in [12,13], and some other researchers obtained similar inequalities to Dragomir's results for twice differentiable functions in [7,15]. Morever, Erden and Sarikaya provided some perturbed results for functions whose higher-order derivatives have different properties such as convex, bounded, bounded variation and Lipschitzian in [16,17].

    Another method of generalizing inequalities is to use three or five-step kernels. A large number of companion of these recent inequalities, based on quadratic kernel function with three and five sections, for various functions are established. As an example, the authors yielded certain companions of Ostrowski type for bounded variation mappings in [5,6]. In addition, some mathematicians examined three companion versions of perturbed inequalities under the diverse assumptions of the mappings in [14,24]. By means of the quadratic kernel function with three pieces, some companions of Perturbes conclusions of Ostrowski type for the case when fL1,fL2 and fL2 are derived by Liu et al. in [20]. Afterwards, Qayyum et al. generalized these inequalities for five-step quadratic kernel and gave some applications for quadrature rules and CDF of a random variable in [26]. Moreover in [27] they extended similar companions of Ostrowski type to higher-order differentiable functions for the case when f(n+1)L1,f(n)L2 and f(n+1)L2.

    In 1938, Ostrowski in [22] presented, in the following theorem, his famous integral inequality, known as Ostrowski inequality.

    Theorem 1. Suppose that ψ:[α,β]R is a differentiable mapping on (α,β) whose derivative ψ:(α,β)R is bounded on (α,β), i.e. ψ:=sups(α,β)|ψ(s)|<. Then, we have the inequality

    |ψ(y)1βαβαψ(s)ds|[14+(ya+b2)2(βα)2](ba)ψ, (1.1)

    for all y[α,β]. The constant 14 is the best possible.

    Dragomir in [12] provided the following identity to obtain new perturbed inequalities for absolutely continuous mappings.

    Theorem 2. Assume that ψ:[α,β]C is an absolutely continuous on [α,β] and y[α,β]. Then, for any γ1(y) and γ2(y) complex numbers, we have

    1βαya(sa)[ψ(s)γ1(y)]ds+1βαby(sb)[ψ(s)γ2(y)]ds=ψ(y)+12(βα)[(by)γ2(y)(ya)2γ1(y)]1βαbaψ(s)ds

    where the integrals presented in the left side of the above expression are evaluated in the Lebesgue sense.

    In [16], Erden obtained the following equality to prove some perturbed inequalities of Ostrowski type for higher degree differentiable mappings.

    Lemma 1. Supposing that ψ:[α,β]C is an ntime differentiable function on (α,β) and y[α,β]. Then, for any γ1(y) and γ2(y) complex numbers, one has the identity

    yα(sα)nn![ψ(n)(s)γ1(y)]ds+βy(sβ)nn![ψ(n)(s)γ2(y)]ds=n1k=0(1)n+1(βy)k+1+(1)n+1k(yα)k+1(k+1)!ψ(k)(y)γ1(y)(yα)n+1(n+1)!(1)nγ2(y)(βy)n+1(n+1)!+(1)nβαψ(s)ds, (1.2)

    where the integrals given in the left side of (1.2) are calculated in the Lebesgue sense.

    An equality for higher-order differentiable mappings are first developed in this work. Afterwards, new perturbed inequalities for function whose higher-order derivatives are absolutely continuous are established, and sufficiency of the newly obtained composite quadrature rules is observed. Finally, some applications for exponential and logarithmic functions are given. At this point is worth to remark that recently a class of "absolutely continuous functions" of n variables was introduced by J. Maly (see [21]) and subsequently modified by some mathematicians like S. Hencl (see [18]) and D. Bongiorno (see [2][4]). Therefore, an interesting open problem could be to establish new perturbed inequalities by these new classes of absolutely continuous functions.

    In this section, it is obtained an equality for ntimes differentiable functions. This identity and its particular cases will be used to prove our main results.

    Lemma 2. Assume that ψ:[a,b]R is an ntimes differentiable function such that (n-1)-th derivative of  ψ is absolutely continuous on [a,b] , for nN. Then, for any μj(x),j=1,2,3 real numbers and all x[a,a+b2], we have the identity

    xa(ta)nn![ψ(n)(t)μ1(x)]dt+a+bxx1n!(ta+b2)n[ψ(n)(t)μ2(x)]dt+ba+bx(tb)nn![ψ(n)(t)μ3(x)]dt=S(ψ:n,x)R(n,x)+(1)nbaψ(t)dt (2.1)

    where S(ψ:n,x) and R(n,x) are defined by

    S(ψ:n,x)=n1k=0(1)n+1[ψ(k)(a+bx)+(1)kψ(k)(x)](k+1)![(xa)k+1+(1)k(a+b2x)k+1] (2.2)

    and

    R(n,x)=[μ1(x)+(1)nμ3(x)](xa)n+1(n+1)!+[1+(1)n]μ2(x)(n+1)!(a+b2x)n+1.

    Proof. Applying the integration by parts n times to the integrals in the left of (2.1) for Lebesgue formula and then arranging the results by using fundamental analysis operations, we can readily write the equality (2.1).

    Now, we give particular cases of (2.1) in the following Corollary.

    Corollary 1. Under the assumptions of Lemma 2 with μj(x)=μj,j=1,2,3

    i) if we take x=a+b2, then we have

    a+b2a(ta)nn![ψ(n)(t)μ1]dt++ba+b2(tb)nn![ψ(n)(t)μ3]dt=n1k=0(1)n+1[1+(1)k](ba)k+1(k+1)!2k+1ψ(k)(a+b2)[λ1+(1)nμ3](ba)n+12n+1(n+1)!+(1)nbaψ(t)dt

    which also is a special case of identity (1.2).

    ii) if we choose x=3a+b4, then we get

    3a+b4a(ta)nn![ψ(n)(t)μ1]dt+a+3b43a+b41n!(ta+b2)n[ψ(n)(t)μ2]dt+ba+3b4(tb)nn![ψ(n)(t)μ3]dt=n1k=0(1)n+1[1+(1)k](ba)k+1(k+1)!4k+1[μ(k)(a+3b4)+(1)kψ(k)(3a+b4)](ba)n+14n+1(n+1)!{[μ1+(1)nμ3]+[1+(1)n]μ2}+(1)nbaψ(t)dt.

    In addition to these results, it can be obtained main equality established by Dragomir in [14] if n=1 is taken in (2.1). Also, should we choose n=2 in the identity (2.1), we have the equality that is proved by Sarikaya et al. in [24]. So, it can be easily deduced great numbers of inequalities which is derived from our main results obtained by using the equality (2.1).

    It is examined the case when ψ(n+1)L[a,b] in the following Theorem.

    Theorem 3. Assuming that ψ:[a,b]R is an ntimes differentiable function such that n-th derivative of ψ is absolutely continuous on [a,b] , for nN. If the (n+1).th derivative ψ(n+1) is bounded on (a,b), then, for any x[a,a+b2], one possesses

    |S(ψ:n,x)[1+(1)n](n+1)![(xa)n+1+(a+b2x)n+1]ψ(n)(x)+(1)nbaψ(t)dt|(xa)n+2(n+2)!ψ(n+1)[a,x],+2(n+1)!(a+b2x)n+2ψ(n+1)[x,b],+.[(ba)(xa)n+1(n+1)!2n+3(n+2)!(xa)n+2]ψ(n+1)[x,b], (3.1)

    where S(ψ:n,x) is defined as in (2.2).

    Proof. Writing ψ(n)(x) instead of μ1(x),μ2(x),μ3(x) in (2.1) and later taking modulus in both sides of the equality (2.1), we have the inequality

    |S(ψ:n,x)[1+(1)n](n+1)![(xa)n+1+(a+b2x)n+1]ψ(n)(x)+(1)nbaψ(t)dt|xa(ta)nn!|ψ(n)(t)ψ(n)(x)|dt+a+bxx1n!|ta+b2|n|ψ(n)(t)ψ(n)(x)|dt+ba+bx(bt)nn!|ψ(n)(t)ψ(n)(x)|dt. (3.2)

    Due to the fact that

    |ψ(n)(t)ψ(n)(x)|=|txψ(n+1)(ξ)dξ|,

    it follows that

    xa(ta)nn!xt|ψ(n+1)(ξ)|dξdtxa(ta)nn!(xt)ψ(n+1)[t,x],dtψ(n+1)[a,x],xa(ta)nn!(xt)dt=(xa)n+2(n+2)!ψ(n+1)[a,x],.

    If we similarly calculate the other integrals in the right of (3.2), and later we add all these inequalities, we can easily deduced desired inequality (3.1).

    Now, we establish a new inequality similar to the inequality (3.1) by using a different method in the following Theorem.

    Theorem 4. Supposing that ψ:[a,b]R is an ntimes differentiable function such that n-th derivative of ψ is absolutely continuous on [a,b], for nN. If ψ(n+1)Lr([a,b]) for r>1 with 1r+1s=1, then, for any x[a,a+b2], one has

    |S(ψ:n,x)[1+(1)n](n+1)![(xa)n+1+(a+b2x)n+1]ψ(n)(x)+(1)nbaψ(t)dt|(xa)n+1+1sn!B(n+1,1+1s)ψ(n+1)[a,x],r+1n!(a+b2x)n+1+1sψ(n+1)[x,b],r×[B(n+1,1+1s)+nk=0(1)k(nk)2n+1k+1sn+1k+1s]+1n!(bx)n+1+1snk=0(1)k(nk)1(1xabx)k+1+1sk+1+1sψ(n+1)[x,b],r (3.3)

    where S(ψ:n,x) is defined as in (2.2), and B(,) is a beta function.

    Proof. We consider the inequality (3.2). Using Holder's inequality, which is applied to integrals, for the first integral in the right of (3.2), we have

    xa(ta)nn!xt|ψ(n+1)(ξ)|dξdtxa(ta)nn!(xt)1sψ(n+1)[t,x],rdtψ(n+1)[a,x],rxa(ta)nn!(xt)1sdt.

    Applying the change of the variable u=xtxa to the above integral and from du=dtxa, we conclude that

    xa(ta)nn!xt|ψ(n+1)(ξ)|dξdt(xa)n+1+1sn!B(n+1,1+1s)ψ(n+1)[a,x],r.

    In a similar way, if we use Holder's inequality for the second integrals in the right of (3.2), we have

    a+bxx1n!|ta+b2|ntx|ψ(n+1)(ξ)|dξdtψ(n+1)[x,b],ra+b2x1n!(a+b2t)n(tx)1sdt+ψ(n+1)[x,b],ra+bxa+b21n!(ta+b2)n(tx)1sdt

    For we to calculate both of these integrals, we should apply the change of the variable

    u=txa+b2x         du=dta+b2x.

    Herewith, it is deduced that

    a+bxx1n!|ta+b2|ntx|ψ(n+1)(ξ)|dξdt1n!(a+b2x)n+1+1sψ(n+1)[x,b],r×[B(n+1,1+1s)+nk=0(1)k(nk)2n+1k+1sn+1k+1s].

    For the last integral in the right of (3.2), if we use the change of the variable u=txbx after applying Hölder's inequality to this integral, then one has

    ba+bx(bt)nn!tx|ψ(n+1)(ξ)|dξdt1n!(bx)n+1+1snk=0(1)k(nk)1(1xabx)k+1+1sk+1+1sψ(n+1)[x,b],r.

    Thus, desired inequality (3.3) can be found by combining all these integrals and the Theorem is proved.

    Theorem 5. Assuming that ψ:[a,b]R is an ntimes differentiable function such that n-th derivative of ψ is absolutely continuous on [a,b], for nN. If ψ(n+1)L1([a,b]), then, for any x[a,a+b2], we possess

    |S(ψ:n,x)[1+(1)n](n+1)![(xa)n+1+(a+b2x)n+1]ψ(n)(x)+(1)nbaψ(t)dt|(xa)n+1(n+1)!ψ(n+1)[a,x],1+(xa)n+1(n+1)!ψ(n+1)[x,b],1+2(n+1)!(a+b2x)n+1ψ(n+1)[x,b],1 (3.4)

    where S(ψ:n,x) is defined as in (2.2).

    Proof. Considering the first integral in the right of (3.2), we find that

    xa(ta)nn!xt|ψ(n+1)(ξ)|dξdtxa(ta)nn!ψ(n+1)[t,x],1dtψ(n+1)[a,x],1xa(ta)nn!dt=(xa)n+1(n+1)!ψ(n+1)[a,x],1.

    If the other two integrals given in the right of (3.2) are observed in a similar way, then the inequality given the Theorem can be deduced. The proof is thus completed.

    Corollary 2. Let f and x be defined as in Theorem 3. If we use the fact that

    max{Υ,Φ}=Υ+Φ2+|ΥΦ2|

    and the property of maximum max{an,bn}=(max{a,b})n for a,b>0 and nN in the right hand side of (3.4), then one has the inequality

    |S(ψ:n,x)[1+(1)n](n+1)![(xa)n+1+(a+b2x)n+1]ψ(n)(x)+(1)nbaψ(t)dt|1(n+1)![ba2+|xa+b2|]n+1ψ(n+1)[a,b],1.

    As well as these main results given in this section, if we choose x=a+b2 or x=3a+b4 in the inequalities (3.1), (3.3), and (3.4), then we can deduce new Ostrowski type inequalities. Furthermore, taking n=1 or n=2 in inequalities presented in this section, we find some results obtained in the earlier works. Because these results can be readily obtained by using elementary analysis operations, the examination of these cases is left to reader.

    We handle applications of the inequalities presented in the former part so as to find the assessment of composite quadrature rules. To put it in different way, the new approaches to the estimation of quadrature formula for perturbed inequalities obtained by using mappings whose higher-order derivatives are bounded are examined.

    First of all, we observe relation between our new quadrature rules and exact value of the integrals of the functions that will be presented. Then, we define new quadrature rules which are deduced in investigating upper bound in Theorem 3.

    baψ(t)dtQn,1(ψ)=n1k=0(1)k[ψ(k)(b)+(1)kψ(k)(a)]2k+1(k+1)!(ba)k+1+[1+(1)n]2n+1(n+1)!(ba)n+1ψ(n)(a),
    baψ(t)dtQn,2(ψ)=n1k=0[1+(1)k]ψ(k)(a+b2)2k+1(k+1)!(ba)k+1+[1+(1)n]2n+1(n+1)!(ba)n+1ψ(n)(a+b2)

    and

    baψ(t)dtQn,3(ψ)=n1k=0[1+(1)k][ψ(k)(a+3b4)+(1)kψ(k)(3a+b4)](k+1)!(ba4)k+1+2[1+(1)n](n+1)!(ba4)n+1ψ(n)(3a+b4).

    Now, we observe approaches to the estimation of Qn,1(ψ),Qn,2(ψ) and Qn,3(ψ) quadrature formulas for the functions ψ1(x)=x4+2x2+1,ψ2(x)=cosxx,ψ3(x)=exsinx,ψ4(x)=ex2,ψ5(x)=sinxx3, andψ6(x)=ln(x2+1)sin(x2+1).

    From the Table 1, we see that Qn,1(ψ) and Qn,2(ψ) quadrature rules give the precise value of the integral of ψ1 for n=4. This situation shows that Qn,1(ψ) and Qn,2(ψ) will present the exact value of the integrals of any functions which are polynomial of degree m for n=m.

    Table 1.  Error estimations for the functions ψ1,ψ2,ψ3.
    ψ(x)[a,b]baψ(x)dxnQn,1(ψ)Qn,2(ψ)
    ψ1[0,1]1,86666741,8666671,866667
    Error:00
    ψ2[0,π2]0,233701100,2337010,233701
    Error:00
    ψ3[0,1]0,90933160,9093380,909331
    Error:7.0356E61.373E7
    ψ3[0,1]0,909331150,9093310,909331
    Error:00

     | Show Table
    DownLoad: CSV

    Liu et al. offered some quadrature rules deduced by using twice differentiable functions in [20]. While they find the errors 5.1×104 and 6.5×105 for the function ψ2 in their numerical results, we can calculate the same function with the error 0 by using Qn,1(ψ) and Qn,2(ψ). So, we understand that the results obtained using higher-order differentiable mappings are more useful. Furthermore, Qn,1(ψ) provide an error of the order 106 with the integral of ψ3 for n=6, whereas Qn,2(ψ) report an error of the order 107 with the integral of ψ3 for n=6. However, we capture the exact precise of the integral of ψ3 for n=15. These cases show that if we increase the order of n, then the exact values of the integrals are approximated.

    From the Table 2, it is seen which results are deduced on different interval for the function ψ4. We also examined the cases when n=11 and n=20 on the same intervals in the Table 2.

    Table 2.  Error estimations for the function ψ4.
    ψ(x)[a,b]baψ(x)dxnQn,1(ψ)Qn,2(ψ)
    ψ4[0,1]1,462652111,4626581,462652
    Error:5.8789E61.888E7
    ψ4[0,1]1,462652201,4626521,462652
    Error:00
    ψ4[1,2]14,9899761114,9937514,98989
    Error:3.7732E38.42317E5
    ψ4[1,2]14,9899762014,98997614,989976
    Error:8.4E90

     | Show Table
    DownLoad: CSV

    We examine which results are obtained for the different order derivatives in the above table. As shown in all the table, Qn,2(ψ) generally give better results than Qn,1(ψ). However, Qn,1(ψ) report better outcomes for the function ψ6 while Qn,2(ψ) give more effective results for the function ψ5. So, we can conclude that a quadrature rule is not always more useful than the others. What is more, Qn,3(ψ) offers worse conclusions than the other two rules as shown in Table 3. If more effective outcomes are required, then it can be applied numerical integration methods which are used to find closer estimates by dividing the intervals into thinner pieces.

    Table 3.  Error estimations for the functions ψ5,ψ6.
    ψ(x)[a,b]baψ(x)dxnQn,1(ψ)Qn,2(ψ)Qn,3(ψ)
    ψ5[2,3]15,676154615,67615515,67615415,675991
    Error:1.141E66.4E91.6344E4
    ψ5[2,3]15,676154915,67615415,67615415,675992
    Error:1E1001.6272E4
    ψ6[1,1]0,509386150,5090280,5081780,441388
    Error:3.5805E41.2076E36.7997E2
    ψ6[1,1]0,509386300,5093860,5092490,441388
    Error:9E101.3736E46.6799E2

     | Show Table
    DownLoad: CSV

    Let Id:a=x0<x1<...<xd1<xd=b be a partition of the interval [a,b], and mp=xp+1xp  for (p=0,...,d1). Define the perturbed quadrature rules

    Qn,1(ψ,Id)=n1k=0d1p=0(1)k[ψ(k)(xp+1)+(1)kψ(k)(xp)]2k+1(k+1)!(mp)k+1+[1+(1)n]2n+1(n+1)!d1p=0(mp)n+1ψ(n)(xp), (4.1)
    Qn,2(ψ,Id)=n1k=0d1p=0[1+(1)k]ψ(k)(xp+xp+12)2k+1(k+1)!(mp)k+1+[1+(1)n]2n+1(n+1)!d1p=0ψ(n)(xp+xp+12)(mp)n+1 (4.2)

    and

    Qn,3(ψ,Id)=n1k=0d1p=0[1+(1)k][ψ(k)(xp+3xp+14)+(1)kψ(k)(3xp+xp+14)]22k+2(k+1)!(mp)k+1+[1+(1)n]22n+1(n+1)!d1p=0(mp)n+1ψ(n)(3xp+xp+14).

    Theorem 6. Let ψ:FR be a n time differentiable function on F and [a,b]F. If the nth derivative ψ(n) is absolutely continuous on [a,b], then we have

    baψ(t)dt=Qn,1(ψ,Id)+Rn,1(ψ,Id),

    where Qn,1(ψ,Id) is defined by formula (4.1), and the remainder Rn,1(ψ,Id) satisfies the estimations

    |Rn,1(ψ,Id)|{12n+1(n+1)!||ψ(n+1)||[a,b],d1p=0(mp)n+2A(n,q)2n+1+1sn!||ψ(n+1)||[a,b],rd1p=0(mp)n+1+1s12n(n+1)!||ψ(n+1)||[a,b],1d1p=0(mp)n+1

    where 1r+1s=1 and A(n,s) is defined by

    A(n,s)=[B(n+1,1+1s)+nk=0(1)k(nk)2n+1+1skn+1+1sk].

    Proof. Choosing x=a in the inequalities (3.1), (3.3) and (3.4). If we apply the resulting inequalities to the intervals [xp,xp+1] for p=0,1,...,d1 and then sum over p from 0 to d1, from the triangle inequality, we reach the estimations (6).

    Remark 1. Supposing that all the assumptions of Theorem 3 hold. Then we have

    baψ(t)dt=Qn,2(ψ,Id)+Rn,2(ψ,Id)

    and

    baψ(t)dt=Qn,3(ψ,Id)+Rn,3(ψ,Id)

    where Qn,2(ψ,Id) and Qn,3(ψ,Id) are defined as in (4.2) and (4.3) respectively. Taking x=a+b2 and x=3a+b4 in the inequalities (3.1), (3.3) and (3.4), and later applying similar processes in the proof of the above theorem to the resulting inequalities, then new estimations provided by the remainders Rn,2(ψ,Id) and Rn,3(ψ,Id) can be obtained.

    For convenience, we give the following notations Bk(x) and Cn(x) that will be used throughout this section in order to simplify the details of presentations. Bk(x) and Cn(x) are defined by

    Bk(x)=[(xa)k+1+(1)k(a+b2x)k+1]

    and

    Cn(x)=[(xa)n+1+(a+b2x)n+1].

    Initially, we think the exponential mapping ψ(t)=et withtR, then, for axa+b2, one possesses

    ψ(n+1)[a,x],=ex   ψ(n+1)[x,b],=eb (5.1)

    and

    ψ(n+1)[a,x],r=(erxerar)1r , ψ(n+1)[x,b],r=(erberxr)1r   (5.2)

    for r1. In this case, by the inequality (3.1) and the equalities in (5.1), one has the inequality

    |n1k=0(1)n+1[ea+bx+(1)kex](k+1)!Bk(x)[1+(1)n](n+1)!Cn(x)ex+(1)n(ebea)|(xa)n+2(n+2)!ex+2(n+1)!(a+b2x)n+2eb+[(ba)(xa)n+1(n+1)!2n+3(n+2)!(xa)n+2]eb

    for axa+b2. Also, by the inequality (3.3) and the equalities in (5.2), we conclude that

    |n1k=0(1)n+1[ea+bx+(1)kex](k+1)!Bk(x)[1+(1)n](n+1)!Cn(x)ex+(1)n(ebea)|(xa)n+1+1sn!B(n+1,1+1s)(erxerar)1r+A(n,s)1n!(a+b2x)n+1+1s(erberxr)1r+1n!(erberxr)1r(bx)n+1+1snk=0(1)k(nk)1(1xabx)k+1+1sk+1+1s

    where A(n,s) is defined as in (6).

    Now, we deal with another function which is of large interest. Let ψ(t)=lnt,t>0. Utilizing the inequality (3.1), because of

    ψ(k)(t)=(1)k1(k1)!tk   k1 and t>0

    and

    ψ(n+1)[a,x],=n!an+1     ψ(n+1)[x,b],=n!xn+1,

    we have the logarithmic inequality

    |(1)n+1lnx(a+bx)+n1k=1(1)n[(a+bx)k+(1)kxk]k(k+1)xk(a+bx)kBk(x)+[1+(1)n]n(n+1)xnCn(x)+(1)n[lnbbaa(ba)]|(xa)n+2(n+2)!n!an+1+2(n+1)!(a+b2x)n+2n!xn+1+[(ba)(xa)n+1(n+1)!2n+3(n+2)!(xa)n+2]n!xn+1

    for any 0<axa+b2<. Similarly, it may be obtained new logarithmic inequalities by using the inequalities (3.3) and (3.4). For these results, we need to know that

    ψ(n+1)[a,x],r=n!(x(n+1)r1a(n+1)r1)1r[(n+1)r1]1rxn+11ran+11r
    ψ(n+1)[x,b],r=n!(b(n+1)r1x(n+1)r1)1r[(n+1)r1]1rbn+11rxn+11r

    for r1.

    In addition to all these results, by choosing x=a+b2 in the inequalities given in this section, it can be stated the results that provide some simple estimates for the exponential and logarithm at the midpoint.

    In this work, we establish some integral inequalities for higher-order differentiable functions. Some applications of the inequalities developed in this paper are also given. In order to validate that their generalized behavior, we show the relation of our results with previously published ones. In future works, authors can obtain similar inequalities by using the different classes of functions.

    This research was supported by the Natural Science Foundation of China (11701176, 61673169, 11301127, 11626101, 11601485).

    The authors declare no conflict of interest.



    [1] M. A. Khan, S. Begum, Y. Khurshid, Y. Chu, Ostrowski type inequalities involving conformable fractional integrals, J. Inequal. Appl., 2018 (2018), 1-14. doi: 10.1186/s13660-017-1594-6
    [2] D. Bongiorno, Absolutely continuous functions with values in a Banach space, J. Math. Anal. Appl., 451 (2017), 1216-1223. doi: 10.1016/j.jmaa.2017.02.067
    [3] D. Bongiorno, On the Hencl's notion of absolute continuity, J. Math. Anal. Appl., 350 (2008), 562-567.
    [4] D. Bongiorno, Absolutely continuous functions in Rn, J. Math. Anal. Appl., 303 (2005), 119-134. doi: 10.1016/j.jmaa.2004.08.002
    [5] H. Budak, M. Z. Sarikaya, A companion of Ostrowski type inequalities for mappings of bounded variation and some applications, Trans. A. Razmadze Math. Inst., 171 (2017), 136-143. doi: 10.1016/j.trmi.2017.03.004
    [6] H. Budak, M. Z. Sarikaya, A. Qayyum, Improvement in companion of Ostrowski type inequalities for mappings whose first derivatives are of bounded variation and application, Filomat, 31 (2017), 5305-5314. doi: 10.2298/FIL1716305B
    [7] H. Budak, M. Z. Sarikaya, S. S. Dragomir, Some perturbed Ostrowski type inequality for twice differentiable functions, Adv. Math. Inequal. Appl., (2018), 279-294.
    [8] P. Cerone, S. S. Dragomir, J. Roumeliotis, An inequality of Ostrowski type for mappings whose second derivatives are bounded and applications, RGMIA Res. Rep. Coll., 1 (1998), 7-9.
    [9] P. Cerone, S. S. Dragomir, J. Roumeliotis, Some Ostrowski type inequalities for n-time differentiable mappings and applications, Demonstratio Math., 32 (1999), 697-712.
    [10] S. S. Dragomir, N. S. Barnett, An Ostrowski type inequality for mappings whose second derivatives are bounded and applications, RGMIA Res. Rep. Coll., 1 (1998), 67-75.
    [11] S. S. Dragomir, P. Cerone, J. Roumeliotis, A new generalization of Ostrowski's integral inequality for mappings whose derivatives are bounded and applications in numerical integration and for special means, Appl. Math. Lett., 13 (2000), 19-25.
    [12] S. S. Dragomir, Some perturbed Ostrowski type inequalities for absolutely continuous functions (I), Acta Univ. M. Belii Ser. Math., 23 (2015), 71-86.
    [13] S. S. Dragomir, Some perturbed Ostrowski type inequalities for absolutely continuous functions (II), Acta Univ. Apulensis Math. Inform., 43 (2015), 209-228.
    [14] S. S. Dragomir, Perturbed companions of Ostrowski's inequality for absolutely continuous functions (I), An. Univ. Timis., Ser. mat.-inform., LIV (2016), 119-138.
    [15] S. Erden, H. Budak, M. Z. Sarıkaya, Some perturbed inequalities of Ostrowski type for twice differentiable functions, Math. Clu., 62 (2020), In press.
    [16] S. Erden, Perturbed Companions of Ostrowski type inequalities for N-times differentiable functions and applications, Probl. Anal. Issues Anal., 9 (2020), 45-57.
    [17] S. Erden, Companions of Perturbed type inequalities for higher order differentiable functions, Cumhuriyet Sci. J., 40 (2019), 819-829. doi: 10.17776/csj.577459
    [18] S. Hencl, On the notion of absolute continuity for functions of several variables, Fund. Math., 173 (2002), 175-189. doi: 10.4064/fm173-2-5
    [19] Y. Khurshid, M. A. Khan, Y. M. Chu, Ostrowski type inequalities involving conformable integrals via preinvex functions, AIP Adv., 10 (2020), 1-9.
    [20] W. Liu, Y. Zhu, J. Park, Some compenians of perturbed Ostrowski-type inequalities based on the quasratic kernel function with three sections and applications, J. Inequal. Appl., 2013 (2013), 9-14. doi: 10.1186/1029-242X-2013-9
    [21] J. Maly, Absolutely continuous functions of several variables, J. Math. Anal. Appl., 231 (1999), 492-508. doi: 10.1006/jmaa.1998.6246
    [22] A. M. Ostrowski, Über die absolutabweichung einer differentiebaren funktion von ihrem integralmitelwert, Comment. Math. Helv., 10 (1938), 226-227.
    [23] M. Z. Sarikaya, E. Set, On new Ostrowski type Integral inequalities, Thai J. Math., 12 (2014), 145-154.
    [24] M. Z. Sarikaya, H. Budak, T. Tunc, S. Erden, H. Yaldız, Perturbed companion of Ostrowski type inequality for twice differentiable functions, Facta Univ. Ser. Math. Inform., 31 (2016), 595-608.
    [25] A. Sofo, Integral inequalities for n-times differentiable mappings with multiple branches on the Lp norm, Soochow J. Math., 28 (2002), 179-222.
    [26] A. Qayyum, M. Shoaib, I. Faye, Companion of Ostrowski-type inequality based on 5-step quadratic kernel and applications, J. Nonlinear Sci. Appl., 9 (2016), 537-552. doi: 10.22436/jnsa.009.02.19
    [27] A. Qayyum, M. Shoaib, I. Faye, On new refinements and applications of efficient quadrature rules using n-times differentiable mappings, J. Comput. Anal. Appl., 23 (2017), 723-739.
    [28] M. Wang, X. Zhao, Ostrowski type inequalities for higher-order derivatives, J. Inequal. Appl., 2009 (2009), 1-8.
  • Reader Comments
  • © 2021 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)
通讯作者: 陈斌, bchen63@163.com
  • 1. 

    沈阳化工大学材料科学与工程学院 沈阳 110142

  1. 本站搜索
  2. 百度学术搜索
  3. 万方数据库搜索
  4. CNKI搜索

Metrics

Article views(3930) PDF downloads(127) Cited by(0)

Figures and Tables

Tables(3)

Other Articles By Authors

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog