In this paper, a new class of Hermite-Hadamard type integral inequalities using a strong type of convexity, known as n-polynomial exponential type s-convex function, is studied. This class is established by utilizing the Hölder's inequality, which has several applications in optimization theory. Some existing results of the literature are obtained from newly explored consequences. Finally, some novel limits for specific means of positive real numbers are shown as applications.
Citation: Muhammad Samraiz, Kanwal Saeed, Saima Naheed, Gauhar Rahman, Kamsing Nonlaopon. On inequalities of Hermite-Hadamard type via n-polynomial exponential type s-convex functions[J]. AIMS Mathematics, 2022, 7(8): 14282-14298. doi: 10.3934/math.2022787
[1] | Tekin Toplu, Mahir Kadakal, İmdat İşcan . On n-Polynomial convexity and some related inequalities. AIMS Mathematics, 2020, 5(2): 1304-1318. doi: 10.3934/math.2020089 |
[2] | Muhammad Tariq, Soubhagya Kumar Sahoo, Jamshed Nasir, Hassen Aydi, Habes Alsamir . Some Ostrowski type inequalities via $ n $-polynomial exponentially $ s $-convex functions and their applications. AIMS Mathematics, 2021, 6(12): 13272-13290. doi: 10.3934/math.2021768 |
[3] | Haoliang Fu, Muhammad Shoaib Saleem, Waqas Nazeer, Mamoona Ghafoor, Peigen Li . On Hermite-Hadamard type inequalities for $ n $-polynomial convex stochastic processes. AIMS Mathematics, 2021, 6(6): 6322-6339. doi: 10.3934/math.2021371 |
[4] | Attazar Bakht, Matloob Anwar . Ostrowski and Hermite-Hadamard type inequalities via $ (\alpha-s) $ exponential type convex functions with applications. AIMS Mathematics, 2024, 9(10): 28130-28149. doi: 10.3934/math.20241364 |
[5] | 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 |
[6] | Shuang-Shuang Zhou, Saima Rashid, Muhammad Aslam Noor, Khalida Inayat Noor, Farhat Safdar, Yu-Ming Chu . New Hermite-Hadamard type inequalities for exponentially convex functions and applications. AIMS Mathematics, 2020, 5(6): 6874-6901. doi: 10.3934/math.2020441 |
[7] | Khuram Ali Khan, Shaista Ayaz, İmdat İşcan, Nehad Ali Shah, Wajaree Weera . Applications of Hölder-İşcan inequality for $ n $-times differentiable $ (s, m) $-convex functions. AIMS Mathematics, 2023, 8(1): 1620-1635. doi: 10.3934/math.2023082 |
[8] | Jamshed Nasir, Shahid Qaisar, Saad Ihsan Butt, Hassen Aydi, Manuel De la Sen . Hermite-Hadamard like inequalities for fractional integral operator via convexity and quasi-convexity with their applications. AIMS Mathematics, 2022, 7(3): 3418-3439. doi: 10.3934/math.2022190 |
[9] | Hu Ge-JiLe, Saima Rashid, Muhammad Aslam Noor, Arshiya Suhail, Yu-Ming Chu . Some unified bounds for exponentially $tgs$-convex functions governed by conformable fractional operators. AIMS Mathematics, 2020, 5(6): 6108-6123. doi: 10.3934/math.2020392 |
[10] | Thongchai Botmart, Soubhagya Kumar Sahoo, Bibhakar Kodamasingh, Muhammad Amer Latif, Fahd Jarad, Artion Kashuri . Certain midpoint-type Fejér and Hermite-Hadamard inclusions involving fractional integrals with an exponential function in kernel. AIMS Mathematics, 2023, 8(3): 5616-5638. doi: 10.3934/math.2023283 |
In this paper, a new class of Hermite-Hadamard type integral inequalities using a strong type of convexity, known as n-polynomial exponential type s-convex function, is studied. This class is established by utilizing the Hölder's inequality, which has several applications in optimization theory. Some existing results of the literature are obtained from newly explored consequences. Finally, some novel limits for specific means of positive real numbers are shown as applications.
Convex function analysis begins with real-valued functions of a real variable. They serve as a model for deep generalization into the context of numerous variables and a variety of applications; see book [1,2] for more details. Convexity theory gives us a coherent framework for developing extremely efficient, fascinating, and strong numerical tools for tackling and solving a wide range of problems in various domains of mathematics. Zhao et al. [3] utilized the convexity and concavity to modify first kind Bessel functions. Several intriguing generalizations and extensions of classical convexity have been employed in optimization and mathematical inequalities.
Convexity theory was also influential in the development of inequalities theory. Baleanu et al. [] studied a class of Hermite-Hadamard-Fejer type inequalities using fractional integral. In 2021, Wu et al. [5] explored another class of inequalities via an extended fractional operator. By using this theory, lots of work has been done in the field of inequalities [6,7,8,9]. The theory of convexity covers a wide range of convex functions, including exponentially convex function, m-convex functions, and s-convex function. It has vast applications in many disciplines of theoretical and practical mathematics. A powerful and elegant connection between analysis and geometry characterizes the current perspective on convex functions [10].
Definition 1.1. [1] The function Ω:K→R, where K is known to be convex on a compact subset Ω of real numbers if for any two points θ and ϑ in K and for any 0≤r≤1
Ω(rθ+(1−r)ϑ)≤rΩ(θ)+(1−r)Ω(ϑ) | (1.1) |
holds.
The classical Hermite-Hadamard's inequality is widely studied via convex functions [11,12,13]. It is stated in the following definition.
Definition 1.2. Let Ω:K→R be a convex mapping, where K⊆R. For any two points θ and ϑ in K with θ<ϑ
Ω(θ+ϑ2)≤1ϑ−θ∫ϑθΩ(t)dt≤Ω(θ)+Ω(ϑ)2. | (1.2) |
If Ω is concave, the inequalities are reversed.
The exponentially convex functions are used to modify for statistical learning, sequential prediction, and stochastic optimization; see [14,15]. Antczak et al. and Noor et al. were the first to propose the class of exponentially convex functions [16,17,18]. Furthermore, the concept of an exponentially s-convex function was explored by Mehreen, and Anwar [19].
Definition 1.3. [20,Definition 3.1] If m∈N and s∈[ln2.4,1], then the real-valued function Ω:K⊂R→R is called n-polynomial exponentially s-convex function if the inequality
Ω(rθ+(1−r)ϑ)≤1nn∑i=1(esr−1)iΩ(θ)+1nn∑i=1(es(1−r)−1)iΩ(ϑ) | (1.3) |
holds for all θ,ϑ∈K and r∈[0,1].
Definition 1.4. The beta function is defined by the integral
B(u,v)=1∫0ru−1(1−r)v−1dr |
for Re(u)>0 and Re(v)>0.
The following equality can be built in [21] and is stated as:
Lemma 1.5. Let K⊆R and Ω:K→R be a differentiable function on K0. If θ and ϑ are any two points in K with θ<ϑ, then we have
Ω(θ)+Ω(ϑ)2−1ϑ−θ∫ϑθΩ(t)dt=(ϑ−θ)22∫10r(1−r)Ω″(rθ+(1−r)ϑ)dr. | (1.4) |
In [22], Kirmaci presented the following lemma.
Lemma 1.6. Let Ω:K→R be a differentiable function on K0 and K⊆R. If θ and ϑ are any two points in K0 with θ<ϑ, then we have
1ϑ−θ∫ϑθΩ(t)dt−Ω(θ+ϑ2)=(ϑ−θ)[∫120rΩ′(ϑ+(θ−ϑ)r)dr+∫112(r−1)Ω′(ϑ+(θ−ϑ)r)dr]. | (1.5) |
Lemma 1.7. Let Ω:K→R be a differentiable mapping on K0, where K⊆R and θ<ϑ. If Ω is a convex mapping, then the following inequalities hold
Ω(θ+ϑ2)≤1ϑ−θϑ∫θΩ(t)dt≤2Ω(θ+ϑ2)+Ω(3ϑ−θ2)+Ω(3θ−ϑ2)4 | (1.6) |
and
|1ϑ−θϑ∫θΩ(t)dt−Ω(θ+ϑ2)2|≤|Ω(3ϑ−θ2)+Ω(3θ−ϑ2)4|. | (1.7) |
The proof of above lemma can be found in [21].
Lemma 1.8. [22,Lemma 2.1] Let Ω:K0→R be a differentiable function on K0, where K0⊂R. If θ,ϑ∈K0 with θ<ϑ and Ω′∈L[θ,ϑ], then the following equality holds
1ϑ−θϑ∫θΩ(t)dt−Ω(θ+ϑ2)=(ϑ−θ)[12∫0rΩ′(rθ+(1−r)ϑ)ds+1∫12(r−1)Ω′(rθ+(1−r)ϑ)dr]. | (1.8) |
This section contains significant outcomes on Hermite-Hadamard type inequalities that are evaluated using n-polynomial exponentially s-convex functions by utilizing Hölder's inequality. The definition and properties of the Beta function are used to yield the main results.
Theorem 2.1. Let Ω:K→R be a differentiable function on K0, where K⊆R. If |Ω′| is bounded, i.e., |Ω′(x)|≤L and n-polynomial exponentially s-convex on [θ,ϑ], where s∈[ln2.4,1], then the following inequality holds:
|1ϑ−θϑ∫θΩ(t)dt−Ω(θ+ϑ2)|≤(ϑ−θ)41nn∑i=1(es−1)i(|Ω′(θ)|+|Ω′(ϑ)|)≤(ϑ−θ)2Lnn∑i=1(es−1)i. | (2.1) |
Proof. By Lemma 1.8, we can write
|1ϑ−θϑ∫θΩ(t)dt−Ω(θ+ϑ2)|≤(ϑ−θ)[12∫0r|Ω′(rθ+(1−r)ϑ)|dr+1∫12(1−r)|Ω′(rθ+(1−r)ϑ)|dr]. | (2.2) |
Since the function |Ω′| is n-polynomial exponentially s-convex on [θ,ϑ] and the facts esr≤es and es(1−r)≤es are true for any 0≤r≤1, therefore for any 0≤r≤1, we obtain
12∫0r|Ω′(rθ+(1−r)ϑ)|dr≤|Ω′(θ)|12∫01nn∑i=1(esr−1)irdr+|Ω′(ϑ)|12∫01nn∑i=1(es(1−r)−1)irdr≤|Ω′(θ)|1nn∑i=1(es−1)i12∫0rdr+|Ω′(ϑ)|1nn∑i=1(es−1)i12∫0rdr≤18nn∑i=1(es−1)i[|Ω′(θ)|+|Ω′(ϑ)|]≤L4nn∑i=1(es−1)i. | (2.3) |
Similarly, we have
1∫12(1−r)|Ω′(rθ+(1−r)ϑ)|dr≤18nn∑i=1(es−1)i[|Ω′(θ)|+|Ω′(ϑ)|]≤L4nn∑i=1(es−1)i. | (2.4) |
By substituting (2.3) and (2.4) in (2.2), we get (2.1).
Theorem 2.2. Let Ω:K→R be a differentiable function on K0, where K⊆R. If γ>1, |Ω′|σ is bounded, i.e., |Ω′(x)|σ≤L for all σ>1 and n-polynomial exponentially s-convex on [θ,ϑ], then the following inequality holds:
|1ϑ−θϑ∫θΩ(t)dt−Ω(θ+ϑ2)|≤(ϑ−θ)(12(γ+1))1γ(12nn∑i=1(es−1)i(|Ω′(θ)|σ+|Ω′(ϑ)|σ))1σ≤(ϑ−θ)(12(γ+1))1γ(Lnn∑i=1(es−1)i)1σ. | (2.5) |
Proof. By using Lemma 1.8 and Hölder's inequality, we deduce
|1ϑ−θϑ∫θΩ(t)dt−Ω(θ+ϑ2)|≤(ϑ−θ)[(12∫0rγdr)1γ(12∫0|Ω′(rθ+(1−r)ϑ)|σdr)1σ+(1∫12(1−r)γdr)1γ(1∫12|Ω′(rθ+(1−r)ϑ)|σdr)1σ]. | (2.6) |
From n-polynomial exponentially s-convexity of |Ω′|σ and the facts esr≤es and es(1−r)≤es, for any 0≤r≤1 and boundedness of |Ω′|σ for σ>1, we get
12∫0|Ω′(rθ+(1−r)ϑ)|σdr≤12nn∑i=1(es−1)i(|Ω′(θ)|σ+|Ω′(ϑ)|σ)≤Lnn∑i=1(es−1)i. | (2.7) |
Similarly, we have
1∫12|Ω′(rθ+(1−r)ϑ)|σdr≤12nn∑i=1(es−1)i(|Ω′(θ)|σ+|Ω′(ϑ)|σ)≤Lnn∑i=1(es−1)i. | (2.8) |
Using relations (2.7), (2.8) in (2.6) and by simple calculations, we obtain the desired result.
Theorem 2.3. Under the assumptions of Theorem 2.2, we have
|1ϑ−θ∫ϑθΩ(t)dt−Ω(θ+ϑ2)|≤2L(ϑ−θ)(12(γ+1))1γ(12nn∑i=1(es−1)i)1σ. | (2.9) |
Proof. Consider
|1ϑ−θϑ∫θΩ(t)dt−Ω(θ+ϑ2)|≤(ϑ−θ)(12(γ+1))1γ(12nn∑i=1(es−1)i(|Ω′(θ)|σ+|Ω′(ϑ)|σ))1σ. |
By using the assumptions
θ1=12nn∑i=1(es−1)i|Ω′(θ)|σϑ1=12nn∑i=1(es−1)i|Ω′(ϑ)|σ |
and utilizing the fact
n∑p=1(θp+ϑp)u≤n∑p=1θup+n∑p=1ϑup |
for 0≤u<1 and θi,ϑi≥0 for i=1,2,…,n, we obtain the inequality (2.9).
Theorem 2.4. Let Ω:K⊆R→R be a differentiable mapping on K0 with Ω′∈C[3θ−ϑ2,3ϑ−θ2] such that Ω′(t)∈R for all t∈(3θ−ϑ2,3ϑ−θ2). If |Ω′|σ is bounded, i.e., |Ω′(x)|σ≤L for all σ≥1 and n-polynomial exponentially s-convex mapping on [3θ−ϑ2,3ϑ−θ2], then we have the following inequality holds:
|1ϑ−θϑ∫θΩ(t)dt−Ω(θ+ϑ2)|≤ϑ−θ4(1nn∑i=1(es−1)i|Ω′(3θ−ϑ2)|σ+|Ω′(3ϑ−θ2)|σ)1σ≤ϑ−θ4(2Lnn∑i=1(es−1)i)1σ. | (2.10) |
Proof. By using Lemma 1.6, we have
12(ϑ−θ)3ϑ−θ2∫3θ−ϑ2Ω(t)dt−Ω(θ+ϑ2)=2(ϑ−θ)(12∫0rΩ′(3ϑ−θ2+2(θ−ϑ)r)dr+1∫12(r−1)Ω′(3ϑ−θ2+2(θ−ϑ)r)dr). |
By using Lemma 1.7, we obtain
|1ϑ−θϑ∫θΩ(t)dt−Ω(θ+ϑ2)|≤(ϑ−θ)(12∫0r|Ω′(3ϑ−θ2+2(ϑ−θ)r)|dr+1∫12(1−r)|Ω′(3ϑ−θ2+2(ϑ−θ)r)|dr). | (2.11) |
Since |Ω′|σ is n-polynomial exponentially s-convex, so there arise two cases.
Case (i). For σ=1. From n-polynomial exponentially s-convexity of |Ω′| on [3θ−ϑ2,3ϑ−θ2] and using the facts esr≤es and es(1−r)≤es for any 0≤r≤1, we obtain
12∫0r|Ω′(3ϑ−θ2+2(θ−ϑ)r)|dr=12∫0r|Ω′(r(3θ−ϑ2)+(1−r)(3ϑ−θ2))|dr≤L4nn∑i=1(es−1)i. | (2.12) |
Similarly, we have
1∫12(1−r)|Ω′(3ϑ−θ2+2(ϑ−θ)r)|dr=1∫12(1−r)|Ω′(r(3θ−ϑ2)+(1−r)(3ϑ−θ2))|dr≤L4nn∑i=1(es−1)i. | (2.13) |
By substituting inequalities (2.12) and (2.13) in (2.11), we get
|1ϑ−θϑ∫θΩ(t)dt−Ω(θ+ϑ2)|≤ϑ−θ2Lnn∑i=1(es−1)i. |
Case (ii). For σ>1. By using the Hölder's inequality for σ>1 and the facts esr≤es and es(1−r)≤es for any 0≤r≤1, we get
12∫0r|Ω′(3ϑ−θ2+2(θ−ϑ)r)|dr=12∫0r|Ω′(r(3θ−ϑ2)+(1−r)(3ϑ−θ2))|dr=12∫0r1−1σ(r1σ|Ω′(r(3θ−ϑ2)+(1−r)(3ϑ−θ2))|)dr≤(12∫0rdr)1−1σ(12∫0r|Ω′(r(3θ−ϑ2)+(1−r)(3ϑ−θ2))|σdr)1σ≤(18)1−1σ(18nn∑i=1(es−1)i[|Ω′(3θ−ϑ2)|σ+|Ω′(3ϑ−θ2)|σ])1σ≤(18)1−1σ(L4nn∑i=1(es−1)i)1σ. | (2.14) |
Similarly, we have
1∫12(1−r)|Ω′(3ϑ−θ2+2(ϑ−θ)r)|dr≤(18)1−1σ(18nn∑i=1(es−1)i(|Ω′(3θ−ϑ2)|σ+|Ω′(3ϑ−θ2)|σ))1σ≤(18)1−1σ(L4nn∑i=1(es−1)i)1σ. | (2.15) |
So the inequalities (2.11), (2.14), and (2.15) gives the proof of required result.
Theorem 2.5. Let Ω:K⊆R→R be a differentiable function on K0 with Ω′∈C[3θ−ϑ2,3ϑ−θ2], such that Ω′(t)∈R for all t∈(3θ−ϑ2,3ϑ−θ2). If |Ω′|σ is bounded, i.e., |Ω′(x)|σ≤L for all σ>1 and n-polynomial exponentially s-convex mapping on [3θ−ϑ2,3ϑ−θ2], then the following inequality holds:
|1ϑ−θϑ∫θΩ(t)dt−Ω(θ+ϑ2)|≤(ϑ−θ)(12(γ+1))1γ(12nn∑i=1(es−1)i(|Ω′(3θ−ϑ2)|σ+|Ω′(3ϑ−θ2)|σ))1σ≤(ϑ−θ)(12(γ+1))1γ(Lnn∑i=1(es−1)i)1σ | (2.16) |
with 1γ+1σ=1.
Proof. By using first the Hölder's inequality and the fact esr≤es and es(1−r)≤es for any 0≤r≤1, on first part of inequality (2.11), we obtain
12∫0r|Ω′(r(3θ−ϑ2)+(1−r)(3ϑ−θ2))|dr≤(12∫0rγdr)1γ(12∫0|Ω′(r(3θ−ϑ2)+(1−r)(3ϑ−θ2))|σdr)1σ=(12∫0rγdr)1γ(12∫0|Ω′(r(3θ−ϑ2)+(1−r)(3θ−ϑ2))|σdr)1σ≤(12γ+1(γ+1))1γ(12nn∑i=1(es−1)i(|Ω′(3θ−ϑ2)|σ+|Ω′(3ϑ−θ2)|σ))1σ≤(12γ+1(γ+1))1γ(Lnn∑i=1(es−1)i)1σ. | (2.17) |
Similarly, the second part of (2.11) can be written as
1∫12(1−r)|Ω′(r(3θ−ϑ2)+(1−r)(3ϑ−θ2))|dr≤(12γ+1(γ+1))1γ(12nn∑i=1(es−1)i(|Ω′(3θ−ϑ2)|σ+|Ω′(3ϑ−θ2)|σ))1σ≤(1(γ+1)2γ+1)1γ(Lnn∑i=1(es−1)i)1σ. | (2.18) |
Thus by combining the inequalities (2.17) and (2.18), we get the required result.
Corollary 1. Under the assumption of Theorems 2.4 and 2.5, we have the following inequality for σ>1
|1ϑ−θϑ∫θΩ(t)dt−Ω(θ+ϑ2)|≤min{K1,K2}(ϑ−θ)[1nn∑i=1(es−1)i(|Ω′(3θ−ϑ2)|σ+|Ω′(3ϑ−θ2)|σ)]1σ, | (2.19) |
where K1=14 and K2=(1(γ+1)21+1γσ)1γ with 1γ+1σ=1.
Theorem 2.6. Let K⊆R and Ω:K→R be a function such that Ω″ exists on K0 and suppose that Ω″:[3θ−ϑ2,3ϑ−θ2]→R is a continuous function. If |Ω″|σ is bounded, i.e., |Ω″(x)|σ≤L for all σ≥1 and n-polynomial exponentially s-convex function on [3θ−ϑ2,3ϑ−θ2], then the following inequality holds:
|1(ϑ−θ)ϑ∫θΩ(t)dt−Ω(3θ−ϑ2)+Ω(3ϑ−θ2)+2Ω(θ+ϑ2)4|≤(ϑ−θ)23(2Lnn∑i=1(es−1)i)1σ. | (2.20) |
Proof. By using Lemma 1.5, we have
12(ϑ−θ)3ϑ−θ2∫3θ−ϑ2Ω(t)dt=Ω(3ϑ−θ2)+Ω(3θ−ϑ2)2−2(ϑ−θ)21∫0r(1−r)Ω″(r(3θ−ϑ2)+(1−r)(3ϑ−θ2))dr. | (2.21) |
Thus by using Lemma 1.7 in (2.21), we obtain
|1ϑ−θϑ∫θΩ(t)dt−Ω(3θ−ϑ2)+Ω(3ϑ−θ2)+2Ω(θ+ϑ2)4|≤2(ϑ−θ)21∫0r(1−r)|Ω″(r(3θ−ϑ2)+(1−r)(3ϑ−θ2))|dr. | (2.22) |
Corresponding to σ=1 the function |Ω″| is bounded and n-polynomial exponentially s-convex on [3θ−ϑ2,3ϑ−θ2]. Also, using the facts esr≤es and es(1−r)≤es, therefore for any 0≤r≤1, we get
1∫0r(1−r)|Ω″(r(3θ−ϑ2)+(1−r)(3ϑ−θ2))|dr≤1nn∑i=1(es−1)i1∫0r(1−r)dr(|Ω″(3θ−ϑ2)|+|Ω″(3ϑ−θ2)|)=16nn∑i=1(es−1)i(|Ω″(3θ−ϑ2)|+|Ω″(3ϑ−θ2)|)=L3nn∑i=1(es−1)i. | (2.23) |
By using this value in (2.22), we conclude that the inequality (2.20) is true for σ=1.
Now, assume that σ>1, by using Hölder's inequality along with the facts esr≤es and es(1−r)≤es for any 0≤r≤1, we get
1∫0(r−r2)|Ω″(r(3θ−ϑ2)+(1−r)(3ϑ−θ2))|dr=1∫0((r−r2)1−1σ(r−r2)1σ)|Ω″(r(3θ−ϑ2)+(1−r)(3ϑ−θ2))|dr≤(1∫0(r−r2)dr)1−1σ(1∫0(r−r2)|Ω″(r(3θ−ϑ2)+(1−r)(3ϑ−θ2))|σdr)1σ≤(16)1−1σ(1nn∑i=1(es−1)i1∫0(r−r2)dr(|Ω″(3θ−ϑ2)|σ+|Ω″(3ϑ−θ2)|σ))1σ≤(16)1−1σ(2L6nn∑i=1(es−1)i)1σ≤(16)(2Lnn∑i=1(es−1)i)1σ. |
This completes the desired result.
Theorem 2.7. Let Ω:K0⊆R→R be a twice differentiable mapping on K0 and Ω″∈C[3θ−ϑ23ϑ−θ2] such that Ω″(t)∈R for all t∈(3θ−ϑ2,3ϑ−θ2). If |Ω″|σ is bounded, i.e., |Ω″(x)|σ≤L for σ>1 and n-polynomial exponentially s-convex function on [3θ−ϑ2,3ϑ−θ2], then the following inequality holds:
|1ϑ−θϑ∫θΩ(t)dt−Ω(3θ−ϑ2)+Ω(3ϑ−θ2)+2Ω(θ+ϑ2)4|≤(ϑ−θ)22(√πΓ(γ+1)2Γ(γ+32))1γ(2Lnn∑i=1(es−1)i)1σ, |
where 1γ+1σ=1.
Proof. By using first the Hölder's inequality and then n-polynomial exponentially s-convexity of the function |Ω″|σ. Also, using the facts esr≤es and es(1−r)≤es, therefore for any 0≤r≤1, we obtain
1∫0(r−r2)|Ω″(r(3θ−ϑ2)+(1−r)(3ϑ−θ2))|dr≤(1∫0(r−r2)γdr)1γ(1∫0|Ω″(r(3θ−ϑ2)+(1−r)(3ϑ−θ2))|σdr)1σ≤(1∫0(r−r2)γdr)1γ(2Lnn∑i=1(es−1)i)1σ≤[B(γ+1,γ+1)]1γ(2Lnn∑i=1(es−1)i)1σ=(√πΓ(γ+1)Γ(γ+32)21+2γ)1γ(2Lnn∑i=1(es−1)i)1σ=(√πΓ(γ+1)Γ(γ+32)21+2γ)1γ(2Lnn∑i=1(es−1)i)1σ, | (2.24) |
since
B(y,y)=21−2yB(12,y)andB(z,y)=Γ(z)Γ(y)Γ(z+y). |
Finally, from (2.22) and (2.24), we obtained the desired result.
Theorem 2.8. Under the assumptions of Theorem 2.7, we have the following inequality holds:
|1ϑ−θϑ∫θΩ(t)dt−Ω(3θ−ϑ2)+Ω(3ϑ−θ2)+2Ω(θ+ϑ2)4|≤(ϑ−θ)2K(γ,σ)(2Lnn∑i=1(es−1)i)1σ, | (2.25) |
where
K(γ,σ)=2(1γ+1)1γ(1σ+1)1σ. |
Proof. By using first the Hölder's inequality and then n-polynomial exponentially s-convexity along with the facts esr≤es and es(1−r)≤es for any 0≤r≤1, we get
1∫0(r−r2)|Ω″(r(3θ−ϑ2)+(1−r)(3ϑ−θ2))|dr≤(1∫0rγdr)1γ(1∫0(1−r)σ|Ω″(r(3θ−ϑ2)+(1−r)(3ϑ−θ2))|σdr)1σ≤(1∫0rγdr)1σ(2Lnn∑i=1(es−1)i1∫0r1−1(1−r)σ+1−1dr)1σ=(1γ+1)1γ(B(1,σ+1)2Lnn∑i=1(es−1)i)1σ=(1γ+1)1γ(Γ(1)Γ(σ+1)Γ(σ+2)2Lnn∑i=1(es−1)i)1σ=(1γ+1)1γ(1σ+1)1σ(2Lnn∑i=1(es−1)i)1σ=(1γ+1)1γ(1σ+1)1σ(2Lnn∑i=1(es−1)i)1σ. | (2.26) |
Keeping in mind (2.22) and (2.26), we obtained (2.25).
Theorem 2.9. Let Ω:K0⊆R→R be a twice differentiable function on K0 and assume that Ω″∈C[3θ−ϑ2,3ϑ−θ2] such that Ω″(t)∈R for all t∈(3θ−ϑ2,3ϑ−θ2). If |Ω″|σ is a bounded, i.e., |Ω″(x)|σ≤L for all σ≥1 and n-polynomial exponentially s-convex mapping on [3θ−ϑ2,3ϑ−θ2], then the following inequality holds:
|1ϑ−θϑ∫θΩ(t)dt−Ω(3θ−ϑ2)+Ω(3ϑ−θ2)+2Ω(θ+ϑ2)4|≤(ϑ−θ)2K2(σ)(2Lnn∑i=1(es−1)i)1σ, | (2.27) |
where K2(σ)=(2(σ+1)(σ+2))1σ.
Proof. Let σ>1, by using first the Hölder's inequality and then n-polynomial exponentially s-convexity along with the fact esr≤es and es(1−r)≤es for any 0≤r≤1, we get
1∫0(r−r2)|Ω″(r(3θ−ϑ2)+(1−r)(3ϑ−θ2))|dr=1∫0r1−1σ(r1σ(1−r)|Ω″(r(3θ−ϑ2)+(1−r)(3ϑ−θ2))|)dr≤(1∫0rdr)1−1σ(1∫0r(1−r)σ|Ω″(r(3θ−ϑ2)+(1−r)(3ϑ−θ2))|σdr)1σ≤(1∫0rdr)1−1σ(1nn∑i=1(es−1)i1∫0r(1−r)σdr[|Ω″(3θ−ϑ2)|σ+|Ω″(3ϑ−θ2)|σ])1σ=(12)1−1σ(B(2,σ+1)2Lnn∑i=1(es−1)i)1σ=(12)1−1σ(1(σ+1)(σ+2))1σ(2Lnn∑i=1(es−1)i)1σ=(12)1−1σ(1(σ+1)(σ+2))1σ(2Lnn∑i=1(es−1)i)1σ. | (2.28) |
In view of (2.22) and (2.28), we deduce that (2.27) holds, when σ>1. From (2.23), we deduce that (2.27) is true when σ=1. This completes the proof.
In this section, we use the main results of Section 2 to give some applications to special means of positive real numbers. We first need to recall the following basic definitions of different means and techniques of numerical integration.
For θ,ϑ∈R with θ,ϑ>0, the following equations
A=A(θ,ϑ)=θ+ϑ2;G=G(θ,ϑ)=√θϑ;L(θ,ϑ)=ϑ−θlog(ϑ)−log(θ) |
and
Lm(θ,ϑ)=[ϑm+1−θm+1(ϑ−θ)(m+1)]1m;m∈Y∖{−1,0} |
are known as arithmetic, geometric, logarithmic and generalized logarithmic means, respectively.
The midpoint rule for numerical integration is stated as follows: Let D be a partition with points θ=t0<t1<⋯<tm−1<tm=ϑ of the interval [θ,ϑ] and consider the quadrature formula
ϑ∫θΩ(t)dt=Tj(Ω,D)+Ej(Ω,D),j=1,2, |
where
T1(Ω,D)=m−1∑j=0Ω(tj)+Ω(tj+1)2(tj+1−tj) |
for the trapezoidal version and
T2(Ω,D)=m−1∑j=0Ω(tj+tj+12)(tj+1−tj) |
for the midpoint version and Ej(Ω,D) represent the approximate error.
Proposition 1. Let m∈Y∖{−1,0}, where θ,ϑ∈R with 0<θ<ϑ. Then the following inequality holds:
|Am(θ,ϑ)−Lmm(θ,ϑ)|≤min{K1,K2}(21σ|m|(ϑ−θ))(1nn∑i=1(es−1)i)1σ×[A(|3θ−ϑ2|(m−1)σ,|3ϑ−θ2|(m−1)σ)]1σ. | (3.1) |
Proof. Using Corollary 1 with the substitution Ω(t)=tm and by simple mathematical calculation, we get (3.1).
Proposition 2. Let θ,ϑ∈R with 0<θ<ϑ. Then the following inequality holds:
|G−2(θ,ϑ)−A−2(θ,ϑ)|≤min{K1,K2}(41σ(ϑ−θ))(1nn∑i=1(es−1)i)1σ×[A(|3θ−ϑ2|−3σ,|3ϑ−θ2|−3σ)]1σ. | (3.2) |
Proof. By using Corollary 1 with the substitution Ω(t)=1t2 and by simple mathematical calculation, we get (3.2).
Proposition 3. If σ≥1 and θ,ϑ∈R with 0<θ<ϑ, then the following inequality holds:
|A−1(θ,ϑ)−L−1(θ,ϑ)|≤min{K1,K2}(21σ(ϑ−θ))(1nn∑i=1(es−1)i)1σ×[A(|3θ−ϑ2|−2σ,|3ϑ−θ2|−2σ)]1σ. | (3.3) |
Proof. By utilizing the Corollary 1 with the substitution Ω(t)=1t and by simple mathematical calculation, we get (3.3).
Proposition 4. If |Ω′|σ is n-polynomial exponentially s-convex function for σ≥1, then for every partition of [3θ−ϑ2,3ϑ−θ2] the midpoint error satisfies
|E2(Ω;D)|≤min(K1,K2)m−1∑j=0(tj+1−tj)2(1nn∑i=1(es−1)i)1σ×[|Ω′(3tj−tj+12)|σ+|Ω′(3tj+1−tj2)|σ]1σ≤2min(K1,K2)m−1∑j=0(tj+1−tj)2(1nn∑i=1(es−1)i)1σ×max[|Ω′(3tj−tj+12)|,|Ω′(3tj+1−tj2)|]. |
Proof. From Corollary 1, we obtain
|tj+1∫tjΩ(t)dt−(tj+1−tj)Ω(tj+tj+12)|≤min(K1,K2)(tj+1−tj)2(1nn∑i=1(es−1)i)1σ×[|Ω′(3tj−tj+12)|σ+|Ω′(3tj+1−tj2)|σ]1σ. |
On the other hand, we have
|{ϑ∫θΩ(t)dt−T2(Ω,D)}|=|m−1∑j=0{tj+1∫tjΩ(t)dt−(tj+1−tj)Ω(tj+tj+12)}|≤min(K1,K2)m−1∑j=0(tj+1−tj)2(1nn∑i=1(es−1)i)1σ×[|Ω′(3tj−tj+12)|σ+|Ω′(3tj+1−tj2)|σ]1σ≤2min(K1,K2)m−1∑j=0(tj+1−tj)2(1nn∑i=1(es−1)i)1σ×max[|Ω′(3tj−tj+12)|,|Ω′(3tj+1−tj2)|]. |
In this paper, we examined key generalizations of convexity known as n-polynomial exponentially s-convex functions. We have utilized the well-known Hölders inequality to explore new identities for Hermite-Hadamard inequalities. We demonstrated how our newly developed results are utilized to establish certain means of two positive real numbers in various ways. In the future, the methodologies used in this study can generate new inequalities for n-polynomial exponentially s-convex functions.
This research was supported by the Fundamental Fund of Khon Kaen University, Thailand.
The authors declare that they have no competing interests.
[1] | C. P. Niculescu, L. E. Persson, Convex functions and their applications: A contemporary approach, 1 Ed., New York: CMC Books in Mathematics, 2004. https://doi.org/10.1007/978-3-319-78337-6 |
[2] | J. Pečarić, F. Proschan, Y. L. Tong, Convex functions, partial orderings and statistical applications, 1 Ed., New York: Academic Press, 1992. http://dx.doi.org/10.1016/s0076-5392(08)x6162-4 |
[3] |
T. H. Zhao, L. Shi, Y. M. Chu, Convexity and concavity of the modified Bessel functions of the first kind with respect to Hölder means, RACSAM Rev. R. Acad. A, 114 (2020), 96. https://doi.org/10.1007/s13398-020-00825-3 doi: 10.1007/s13398-020-00825-3
![]() |
[4] |
D. Baleanu, M. Samraiz, Z. Perveen, S. Iqbal, K. S. Nisar, G. Rahman, Hermite-Hadamard-Fejer type inequalities via fractional integral of a function concerning another function, AIMS Math., 6 (2021), 4280–4295. https://doi.org/10.3934/math.2021253 doi: 10.3934/math.2021253
![]() |
[5] |
S. Wu, S. Iqbal, M. Aamir, M. Samraiz, A. Younus, On some Hermite-Hadamard inequalities involving k-fractional operators, J. Inequal. Appl., 2021 (2021), 32. https://doi.org/10.1186/s13660-020-02527-1 doi: 10.1186/s13660-020-02527-1
![]() |
[6] |
M. K. Wang, Z. Y. He, Y. M. Chu, Sharp power mean inequalities for the generalized elliptic integral of the first kind, Comput. Meth. Funct. Th., 20 (2020), 111–124. https://doi.org/10.1007/s40315-020-00298-w doi: 10.1007/s40315-020-00298-w
![]() |
[7] |
X. M. Hu, J. F. Tian, Y. M. Chu, Y. X. Lu, On Cauchy-Schwarz inequality for N-tuple diamond-alpha integral, J. Inequal. Appl., 2020 (2020), 8. https://doi.org/10.1186/s13660-020-2283-4 doi: 10.1186/s13660-020-2283-4
![]() |
[8] |
M. A. Latif, S. Rashid, S. S. Dragomir, Y. M. Chu, Hermite-Hadamard type inequalities for co-ordinated convex and qausi-convex functions and their applications, J. Inequal. Appl., 2019 (2019), 317. https://doi.org/10.1186/s13660-019-2272-7 doi: 10.1186/s13660-019-2272-7
![]() |
[9] |
S. Khan, M. A. Khan, S. I. Butt, Y. M. Chu, A new bound for the Jensen gap pertaining twice differentiable functions with applications, Adv. Differ. Equ., 2020 (2020), 333. https://doi.org/10.1186/s13662-020-02794-8 doi: 10.1186/s13662-020-02794-8
![]() |
[10] |
R. J. Gardner, The Brunn-Minkowski inequaity, Bull. Amer. Math. Soc., 39 (2002), 355–405. https://doi.org/10.1090/S0273-0979-02-00941-2 doi: 10.1090/S0273-0979-02-00941-2
![]() |
[11] |
S. I. Butt, A. Kashuri, M. Tariq, J. Nasir, A. Aslam, W. Gao, Hermite-Hadamard type inequalities via n-polynomial exponential type convexity and their applications, Adv. Differ. Equ., 2020 (2020), 508. https://doi.org/10.1186/s13662-020-02967-5 doi: 10.1186/s13662-020-02967-5
![]() |
[12] |
W. Gao, A. Kashuri, S. I. Butt, M. Tariq, A. Aslam, M. Nadeem, New inequalities via n-polynomial harmonically exponential type convex functions, AIMS Math., 5 (2020), 6856–6873. https://doi.org/10.3934/math.2020440 doi: 10.3934/math.2020440
![]() |
[13] |
S. I. Butt, A. Kashuri, M. Umar, A. Aslam, W. Gao, Hermite-Jensen-Mercer type inequalities via ψ-Riemann-Liouville k-fractional integrals, AIMS Math., 5 (2020), 5193–5220. https://doi.org/10.3934/math.2020334 doi: 10.3934/math.2020334
![]() |
[14] |
G. Alirezaei, R. Mathar, On exponentially concave functions and their impact in information theory, IEEE Xplore, 2018 (2018), 1–10. https://doi.org/10.1109/ITA.2018.8503202 doi: 10.1109/ITA.2018.8503202
![]() |
[15] | S. Pal, T. K. L. Wong, Exponentially concave functions and a new information geometry, Ann. Probab., 46 (2018), 1070–1113. https://www.jstor.org/stable/26402375 |
[16] |
T. Antczak, On (p,r)-invex sets and functions, J. Math. Anal. Appl., 263 (2001), 355–379. https://doi.org/10.1006/jmaa.2001.7574 doi: 10.1006/jmaa.2001.7574
![]() |
[17] | S. S. Dragomir, I. Gomm, Some Hermite-Hadamard type inequalities for functions whose exponentials are convex, Stud. Univ. Babes-Bolyai Math., 60 (2015), 527–534. |
[18] | M. A. Noor, K. I. Noor, On exponentially convex functions, J. Orissa Math. Soc., 38 (2019), 33–51. |
[19] |
N. Mehreen, M. Anwar, Hermite-Hadamard type inequalities for exponentially p-convex functions and exponentially s-convex functions in the second sense with applications, J. Inequal. Appl., 2019 (2019), 92. https://doi.org/10.1186/s13660-019-2047-1 doi: 10.1186/s13660-019-2047-1
![]() |
[20] |
M. Tariq, S. K. Sahoo, J. Nasir, H. Aydi, H. Alsamir, Some Ostrowski type inequalities via n-polynomial exponentially s-convex functions and their applications, AIMS Math., 6 (2021), 13272–13290. https://doi.org/10.3934/math.2021768 doi: 10.3934/math.2021768
![]() |
[21] |
K. Mehrez, P. Agarwal, New Hermite-Hadamard type integral inequalities for convex functions and their applications, J. Comput. Appl. Math., 350 (2019), 274–285. https://doi.org/10.1016/j.cam.2018.10.022 doi: 10.1016/j.cam.2018.10.022
![]() |
[22] |
U. S. Kirmaci, Inequalities for differentiable mappings and applications to special means of real numbers and to midpoint formula, Appl. Math. Comput., 147 (2004), 137–146. https://doi.org/10.1016/S0096-3003(02)00657-4 doi: 10.1016/S0096-3003(02)00657-4
![]() |
1. | Muhammad Samraiz, Fakhra Nawaz, Shanhe Wu, Sajid Iqbal, Artion Kashuri, On the novel Hermite-Hadamard inequalities for composite inverse functions, 2023, 37, 0354-5180, 2995, 10.2298/FIL2309995S | |
2. | Asif Ali Shaikh, Evren Hincal, Sotiris K. Ntouyas, Jessada Tariboon, Muhammad Tariq, Some Hadamard-Type Integral Inequalities Involving Modified Harmonic Exponential Type Convexity, 2023, 12, 2075-1680, 454, 10.3390/axioms12050454 | |
3. | XIAOHUA ZHANG, YUNXIU ZHOU, TINGSONG DU, PROPERTIES AND 2α̃-FRACTAL WEIGHTED PARAMETRIC INEQUALITIES FOR THE FRACTAL (m,h)-PREINVEX MAPPINGS, 2023, 31, 0218-348X, 10.1142/S0218348X23501347 |