Open AccessArticle

Some New Refinements of Trapezium-Type Integral Inequalities in Connection with Generalized Fractional Integrals

Muhammad Tariq

Soubhagya Kumar Sahoo

^2,3

Sotiris K. Ntouyas

^4,5

Omar Mutab Alsalami

⁶

Asif Ali Shaikh

¹ and

Kamsing Nonlaopon

^7,*

Department of Basic Sciences and Related Studies, Mehran University of Engineering and Technology, Jamshoro 76062, Pakistan

Department of Mathematics, Institute of Technical Education and Research, Siksha O Anusandhan University, Bhubaneswar 751030, India

Department of Mathematics, Aryan Institute of Engineering and Technology, Bhubaneswar 752050, India

⁴

Department of Mathematics, University of Ioannina, 451 10 Ioannina, Greece

⁵

Nonlinear Analysis and Applied Mathematics (NAAM)-Research Group, Department of Mathematics, Faculty of Science, King Abdulaziz University, Jeddah 21589, Saudi Arabia

⁶

Department of Electrical Engineering, College of Engineering, Taif University, Taif 21944, Saudi Arabia

⁷

Department of Mathematics, Faculty of Science, Khon Kaen University, Khon Kaen 40002, Thailand

Author to whom correspondence should be addressed.

Axioms 2022, 11(10), 508; https://doi.org/10.3390/axioms11100508

Submission received: 24 August 2022 / Revised: 13 September 2022 / Accepted: 21 September 2022 / Published: 27 September 2022

(This article belongs to the Special Issue 10th Anniversary of Axioms: Mathematical Analysis)

Download Versions Notes

Abstract

The main objective of this article is to introduce a new notion of convexity, i.e., modified exponential type convex function, and establish related fractional inequalities. To strengthen the argument of the paper, we introduce two new lemmas as auxiliary results and discuss some algebraic properties of the proposed notion. Considering a generalized fractional integral operator and differentiable mappings, whose initial absolute derivative at a given power is a modified exponential type convex, various improvements of the Hermite–Hadamard inequality are presented. Thanks to the main results, some generalizations about the earlier findings in the literature are recovered.

Keywords:

convex function; Hölder’s inequality; power-mean integral inequality; m–type convexity; exponential convex function

MSC:

26A51; 26A33; 26D07; 26D10; 26D15

1. Introduction

Convexity theory has had a substantial and crucial influence on the development of numerous disciplines such as economics [1], financial mathematics [2], engineering [3], and optimization [4] in modern mathematics. This theory gives a fantastic framework for initiating and developing numerical tools for tackling and studying complex mathematical problems.

In the current decade, many mathematicians have been merging new ideas with fractional analysis to bring new dimensions with different features to the field of mathematical analysis. Fractional analysis has many applications in modeling [5,6], epidemiology [7], fluid flow [8], nanotechnology [9], mathematical biology [10], and control systems [11]. It is particularly crucial while studying optimization problems because it has a variety of useful inequalities. This explains why convex functions and convex sets have such a robust theoretical foundation. There are numerous practical uses for convex functions in optimization, circuit design, controller design, modeling, etc. Because it has gained so much attention, the concept of “convexity” has developed into a fertile area of research and inspiration.

The theory of inequalities has been expanded and generalized during the past few decades, and this has been made possible by the concept of convex analysis. Inequalities theory and the theory of convexity are strongly related to one another. Many mathematicians and research scientists have made considerable efforts and contributions to the study of this inequality over the last few decades. Some authors have also studied dynamic inequalities [12,13,14,15,16,17] to further strengthen the theory of convexity and inequality. As a result, there is a rich and insightful literature on convexity and inequalities; for further information, see the references at [18,19,20,21].

Many mathematicians and scientists in a wide range of applied and scientific areas have been fascinated and inspired by fractional calculus. Because of its ability to interpolate between operators of integer order, fractional integrals and derivatives have a rich history and are used frequently in practical situations. Given its wide range of applications in the mathematical modeling of numerous complicated and nonlocal nonlinear systems, fractional calculus has become a crucial topic of research. The nonlocal nature of fractional-order operators, which explains the hereditary characteristics of the underlying phenomena, is an important property of these operators. A macroscopic stress–strain relation expressed in terms of fractional differential operators results from the interactions between macromolecules in damping phenomena. Its appeal in modeling different transport characteristics in complicated heterogeneous and disordered media is largely due to the fact that it offers a suitable context for describing processes with memory and is fractal or multi-fractal in origin.

We organized the study in the following manner in light of the aforementioned findings and literature on inequality theory: We review some well-known concepts and definitions in Section 2. We describe the idea and algebraic characteristics of modified exponential type convex functions in Section 3. The H–H inequality, whose first derivatives in absolute value at a given power is of the modified exponential type convex, and additional extensions of it are developed in Section 4. Finally, we provide a brief conclusion in Section 5.

2. Preliminaries

Because there are so many theorems and definitions in the preliminary section, it will be advisable to examine and investigate it for the sake of thoroughness. We will review a few well-known terms, definitions, and findings in this section that we will be required for our inquiry in subsequent sections. Convex functions, Hermite–Hadamard type inequality, m-convex functions, and exponential type convex functions are introduced first. We recall here the Riemann–Liouville fractional integral operator, its k-generalization, and certain crucial functions, such as the incomplete gamma function and gamma function, which will be needed in our investigations.

Definition 1

([22]). If

G : X \subset R \to R

, then an inequality of the form

G (g_{1} ϱ + (1 - ϱ) g_{2}) \leq ϱ G (g_{1}) + (1 - ϱ) G (g_{2}),

(1)

is said to be convex if for all

g_{1}, g_{2} \in X

and

ϱ \in [0, 1] .

The well-known Hermite–Hadamard inequality must be mentioned in any paper on Hermite inequalities. This inequality claims that, if

G : X \subset R \to R

is convex in

X

for

g_{1}, g_{2} \in X

and

g_{1} < g_{2}

, then

G (\frac{g_{1} + g_{2}}{2}) \leq \frac{1}{g_{2} - g_{1}} \int_{g_{1}}^{g_{2}} G (χ) d χ \leq \frac{G (g_{1}) + G (g_{2})}{2} .

(2)

Interested readers can refer to [23,24,25,26].

In 1985, the famous mathematician G. Toader [27] first considered and examined the new version of convexity, namely the m-convex function.

Definition 2

([27]). Let

G : [0, b] \to R,

b > 0

and

m \in (0, 1]

. An inequality of the form

G (ϱ g_{1} + m (1 - ϱ) g_{2}) \leq ϱ G (g_{1}) + m (1 - ϱ) G (g_{2}),

(3)

is then said to be m–convex if ∀

g_{1}, g_{2} \in [0, b]

and

ϱ \in [0, 1] .

Otherwise,

G

is m–concave if

(- G)

is m–convex.

Definition 3

([28]). Let

G

be a nonnegative function.

G : X \to R,

is then said to be a exponential type convex if

G (ϱ g_{1} + (1 - ϱ) g_{2}) \leq (e^{ϱ} - 1) G (g_{1}) + (e^{(1 - ϱ)} - 1) G (g_{2})

(4)

holds ∀

g_{1}, g_{2} \in X

, and

ϱ \in [0, 1] .

Definition 4

(Hölder Integral Inequality [29]). If

G

and

H

be two integrable functions, then the Hölder inequality is given by

\int_{0}^{1} | G (ν) H (ν) | d ν \leq {(\int_{0}^{1} {| G (x) |}^{p} d x)}^{\frac{1}{p}} {(\int_{0}^{1} {| H (x) |}^{q} d x)}^{\frac{1}{q}} .

(5)

Definition 5

(Power-mean integral inequality [30]). If

G

and

H

be two integrable functions, then power mean inequality is given by

\int_{0}^{1} | G (ν) H (ν) | d ν \leq {(\int_{0}^{1} | G (x) | d x)}^{1 - \frac{1}{q}} {(\int_{0}^{1} | G (x) | d x \int_{0}^{1} {| H (x) |}^{q} d x)}^{\frac{1}{q}} .

(6)

The concept of fractional integral inequalities have many applications in applied sciences. Such types of inequalities have always been established and have managed the uniqueness of solutions to some fractional partial differential equations. Additionally, they offer upper and lower bounds for the solutions to the fractional boundary value problems. In order to study specific extensions and generalizations, scholars in the subject of integral inequalities have used fractional calculus operators; for further information, see [31,32,33,34].

Let

G \in L [g_{1}, g_{2}] .

Riemann–Liouville fractional integrals of order

α > 0

with

g_{1} \geq 0

are then defined as follows:

\begin{matrix} J_{g_{1}^{+}}^{α} G (x) = \frac{1}{Γ (α)} \int_{g_{1}}^{x} {(x - χ)}^{α - 1} G (χ) d χ, x > g_{1} \end{matrix}

and

\begin{matrix} J_{g_{2}^{-}}^{α} G (x) = \frac{1}{Γ (α)} \int_{x}^{g_{2}} {(χ - x)}^{α - 1} G (χ) d χ, x < g_{2} . \end{matrix}

For further details, one may see [35,36,37,38,39,40].

In [41,42], there is a given definition of

k

—fractional Riemann–Liouville integrals. Let

G \in L [g_{1}, g_{2}] .

k

—fractional integrals of order

α, k > 0

with

g_{1} \geq 0

are then defined as follows:

\begin{matrix} ^{k} J_{g_{1}^{+}}^{α} G (x) = \frac{1}{k Γ_{k} (α)} \int_{g_{1}}^{x} {(x - χ)}^{\frac{α}{k} - 1} G (χ) d χ x > g_{1}, \end{matrix}

and

\begin{matrix} ^{k} J_{g_{2}^{-}}^{α} G (x) = \frac{1}{k Γ_{k} (α)} \int_{x}^{g_{2}} {(χ - x)}^{\frac{α}{k} - 1} G (χ) d χ, x < g_{2}, \end{matrix}

where

Γ_{k} (α)

is the

k

—Gamma function defined as

\begin{matrix} Γ_{k} (α) = \int_{0}^{+ \infty} χ^{α - 1} e^{- \frac{χ^{k}}{k}} d χ . \end{matrix}

We can notice that

\begin{matrix} Γ_{k} (α + k) = α Γ_{k} (α) \end{matrix}

and

\begin{matrix} ^{1} J_{g_{1}^{+}}^{0} ψ (x) =^{1} J_{g_{2}^{-}}^{0} ψ (x) = ψ (x) . \end{matrix}

By choosing

k = 1

, the above

k

—fractional integrals yield Riemann–Liouville integrals.

The incomplete gamma function

γ (ϑ, ϱ)

is defined for

ϑ > 0

and

ϱ \geq 0

by integral

γ (ϑ, ϱ) = \int_{0}^{ϱ} e^{- μ} μ^{ϑ - 1} d μ .

The gamma function

Γ (ϑ)

is defined for

ϑ > 0

by integral

Γ (ϑ) = \int_{0}^{+ \infty} e^{- μ} μ^{ϑ - 1} d μ .

3. The Modified Exponential Type Convex Function and Its Associated Algebraic Properties

There has recently been a rise in interest in information theory involving exponentially convex functions because of the substantial and valuable research on big data analysis and extended learning. As a result, other mathematicians, including Antczak (2001), Pecaric (2013), Dragomir (2015), Pal (2017), Alirezaei (2018), Awan (2018), Saima (2019), Noor (2019), and Kadakal (2020), worked on the idea of exponential type convexity in various ways and made contributions to the field of analysis.

The main attention of this section is to present a new definition of modified exponential type convex function and its associated properties.

Definition 6.

Let

G

be a nonnegative function.

G : X \to R,

is then said to be a modified exponential type convex if

G (ϱ g_{1} + m (1 - ϱ) g_{2}) \leq (e^{ϱ} - 1) G (g_{1}) + m (e^{1 - ϱ} - 1) G (g_{2}),

(7)

holds ∀

g_{1}, g_{2} \in X

m \in [0, 1],

and

ϱ \in [0, 1] .

We will denote by MEXPC(

X

) the class of modified exponential type convex functions on interval

X

Remark 1.

For

m = 1,

we attain exponential type convexity, which is explored by İşcan in [28].

Remark 2.

The range of the MEXP convex functions for

m \in [0, 1]

[0, + \infty) .

Proof.

The proof is obvious. □

We explore some relations between the class of MEXPC functions and other classes of generalized convex functions.

Lemma 1.

The following inequalities

(e^{ϱ} - 1) \geq ϱ

and

(e^{1 - ϱ} - 1) \geq (1 - ϱ)

hold

\forall ϱ \in [0, 1]

Proof.

The proof is obvious, so omitted. □

Proposition 1.

m \in [0, 1]

, then every nonnegative m–convex function is an MEXPC function.

Proof.

Since

m \in [0, 1]

, by using Lemma 1, we have

\begin{matrix} G (ϱ g_{1} + m (1 - ϱ) g_{2}) \leq ϱ G (g_{1}) + m (1 - ϱ) G (g_{2}) \\ \leq & (e^{ϱ} - 1) G (g_{1}) + m (e^{1 - ϱ} - 1) G (g_{2}) . \end{matrix}

□

Theorem 1.

The sum of two MEXPC functions is an MEXPC function.

Proof.

Let

G

and

P

be MEXPC functions. It follows that

\begin{matrix} (G + P) [(ϱ g_{1} + m (1 - ϱ) g_{2})] \\ = & G (ϱ g_{1} + m (1 - ϱ) g_{2}) + P (ϱ g_{1} + m (1 - ϱ) g_{2}) \\ \leq & (e^{ϱ} - 1) G (g_{1}) + m (e^{1 - ϱ} - 1) G (g_{2}) \\ + (e^{ϱ} - 1) P (g_{1}) + m (e^{1 - ϱ} - 1) P (g_{2}) \\ = & (e^{ϱ} - 1) [G (g_{1}) + P (g_{1})] + m (e^{1 - ϱ} - 1) [G (g_{2}) + P (g_{2})] \\ = & (e^{ϱ} - 1) (G + P) (g_{1}) + m (e^{1 - ϱ} - 1) (G + P) (g_{2}), \end{matrix}

which implies that

G + P

is an MEXP convex function. □

Theorem 2.

Scalar multiplication of the MEXPC function is also an MEXPC function.

Proof.

Let

G

be an MEXPC function. It follows that

\begin{matrix} (c G) [(ϱ g_{1} + m (1 - ϱ) g_{2})] \\ = c [G (ϱ g_{1} + m (1 - ϱ) g_{2})] \\ \leq c [(e^{ϱ} - 1) G (g_{1}) + m (e^{1 - ϱ} - 1) G (g_{2})] \\ = (e^{ϱ} - 1) c G (g_{1}) + m (e^{1 - ϱ} - 1) c G (g_{2}) \\ = (e^{ϱ} - 1) (c G) (g_{1}) + m (e^{1 - ϱ} - 1) (c G) (g_{2}), \end{matrix}

which implies that

c G

is an MEXPC function. □

Theorem 3.

Let

P : [0, b] \to J

be an m–convex function for

b > 0

and

m \in [0, 1]

, and

G : X \to R

is non-decreasing and an MEXPC function. It follows that the function

G \circ P : [0, b] \to R

is an MEXPC function.

Proof.

\forall g_{1}, g_{2} \in [0, b]

m \in [0, 1]

, and

ϱ \in [0, 1],

we have

\begin{matrix} (G \circ P) (ϱ g_{1} + m (1 - ϱ) g_{2}) \\ = G (P (ϱ g_{1} + m (1 - ϱ) g_{2})) \\ \leq G (ϱ P (g_{1}) + m (1 - ϱ) P (g_{2})) \\ \leq (e^{ϱ} - 1) G (P) (g_{1}) + m (e^{1 - ϱ} - 1) G (P) (g_{2}) \\ = (e^{ϱ} - 1) (G \circ P) (g_{1}) + m (e^{1 - ϱ} - 1) (G \circ P) (g_{2}), \end{matrix}

which implies that

G \circ P

is an MEXPC function. □

Theorem 4.

Let

G_{i} : [g_{1}, g_{2}] \to R

be a class of MEXP convex functions for

m \in [0, 1]

and let

G (g) = {sup}_{i} G_{i} (g) .

E = {g \in [g_{1}, g_{2}] : G (g) < + \infty} \neq \emptyset,

then E is an interval, and

G

is an MEXP convex function on

E .

Proof.

For all

g_{1}, g_{2} \in E

m \in [0, 1],

and

ϱ \in [0, 1],

we have

\begin{matrix} G (ϱ g_{1} + m (1 - G) g_{2}) = sup_{i} G_{i} (ϱ g_{1} + m (1 - ϱ) g_{2}) \\ \leq & sup_{i} [(e^{ϱ} - 1) G_{i} (g_{1}) + m (e^{1 - ϱ} - 1) G_{i} (g_{2})] \\ \leq & (e^{ϱ} - 1) sup_{i} G_{i} (g_{1}) + m (e^{1 - ϱ} - 1) sup_{i} G_{i} (g_{2}) \\ = & (e^{ϱ} - 1) G (g_{1}) + m (e^{1 - ϱ} - 1) G (g_{2}) < + \infty . \end{matrix}

□

Theorem 5.

If the function

G : [g_{1}, g_{2}] \to R

is an MEXPC function for

m \in [0, 1],

then

G

is bounded on

[g_{1}, m g_{2}] .

Proof.

Suppose

x \in [g_{1}, g_{2}]

is a point,

m \in [0, 1]

, and

L = max \{G (g_{1}), m G (g_{2})\} .

It follows that ∃

ϱ \in [0, 1]

such that

x = ϱ g_{1} + m (1 - ϱ) g_{2} .

Thus, since

e^{ϱ} \leq e

and

e^{1 - ϱ} \leq e

, we have

\begin{matrix} G (x) & = & G (ϱ g_{1} + m (1 - ϱ) g_{2}) \\ \leq & (e^{ϱ} - 1) G (g_{1}) + m (e^{1 - ϱ} - 1) G (g_{2}) \\ \leq & (e - 1) L + m (e - 1) L = L (m + 1) (e - 1) = M . \end{matrix}

□

4. Refinements of (H–H) Type Inequality for the k-Fractional Integral

Numerous academics across a wide range of fields have been studying fractional calculus and its applications in depth for a very long time, and interest in this topic has increased significantly. The notion of fractional derivatives and integrals has been used to propose numerous extensions of them, and authors have obtained new perspectives in a variety of fields, including engineering, physics, economics, biology, and statistics. Here, the term “Riemann–Liouville fractional integral” and its k-generalization are used, as well as some of the theorems that will be mentioned in this section.

Here, we first introduce and demonstrate two new lemmas. We achieve certain improvements of the trapezium type inequality for functions whose first derivative in absolute value at a specific power is an MEXPC function based on these new lemmas.

Lemma 2.

Let

0 < w \leq 1

, and

G : [m w g_{1}, g_{2}] \to R

is a differentiable mapping on

(m w g_{1}, g_{2})

with

0 < m g_{1} < g_{2}

and

m \in (0, 1]

. If

G^{'} \in L_{1} [m w g_{1}, g_{2}],

then the following equality for

k

—fractional integral holds true:

\begin{matrix} \frac{G (m w g_{1}) + \frac{α}{k} G (g_{2})}{\frac{α}{k} + 1} - \frac{Γ_{k} (α + k)}{{(g_{2} - m w g_{1})}^{\frac{α}{k}}}^{k} J_{g_{2}^{-}}^{α} G (m w g_{1}) \\ = (\frac{g_{2} - m w g_{1}}{\frac{α}{k} + 1}) \int_{0}^{1} [(\frac{α}{k} + 1) ϱ^{\frac{α}{k}} - 1] G^{'} (m w (1 - ϱ) g_{1} + ϱ g_{2}) d ϱ, \end{matrix}

(8)

where

α, k > 0

and

Γ (\cdot)

is the Euler Gamma function.

Proof.

Applying integrating by parts, we have

\begin{matrix} (\frac{g_{2} - m w g_{1}}{\frac{α}{k} + 1}) \int_{0}^{1} [(\frac{α}{k} + 1) ϱ^{\frac{α}{k}} - 1] G^{'} (m w (1 - ϱ) g_{1} + ϱ g_{2}) d ϱ \\ = & (\frac{g_{2} - m w g_{1}}{\frac{α}{k} + 1}) {\int_{0}^{1} (\frac{α}{k} + 1) ϱ^{\frac{α}{k}} G^{'} (m w (1 - ϱ) g_{1} + ϱ g_{2}) d ϱ \\ - \int_{0}^{1} G^{'} (m w (1 - ϱ) g_{1} + ϱ g_{2}) d ϱ} \\ = & (\frac{g_{2} - m w g_{1}}{\frac{α}{k} + 1}) [(\frac{α}{k} + 1) {\frac{ϱ^{\frac{α}{k}} G (m w (1 - ϱ) g_{1} + ϱ g_{2})}{g_{2} - m w g_{1}} |_{0}^{1} \\ - \int_{0}^{1} \frac{G (m w (1 - ϱ) g_{1} + ϱ g_{2})}{g_{2} - m w g_{1}} \frac{α}{k} ϱ^{\frac{α}{k} - 1} d ϱ} - \frac{G (m w (1 - ϱ) g_{1} + ϱ g_{2})}{g_{2} - m w g_{1}} |_{0}^{1}] \\ = & (\frac{g_{2} - m w g_{1}}{\frac{α}{k} + 1}) [(\frac{α}{k} + 1) \\ \times \{\frac{G (g_{2})}{g_{2} - m w a_{1}} - \frac{α}{k (g_{2} - m w g_{1})} \int_{0}^{1} ϱ^{\frac{α}{k} - 1} G (m w (1 - ϱ) g_{1} + ϱ g_{2}) d ϱ\} \\ - \frac{G (g_{2}) - G (m w g_{1})}{g_{2} - m w g_{1}}] \\ = & \frac{G (m w g_{1}) + \frac{α}{k} G (g_{2})}{\frac{α}{k} + 1} - \frac{Γ_{k} (α + k)}{{(g_{2} - m w g_{1})}^{\frac{α}{k}}}^{k} J_{g_{2}^{-}}^{α} G (m w g_{1}), \end{matrix}

which completes the proof. □

Lemma 3.

Let

0 < w \leq 1

, and

G : [m w g_{1}, g_{2}] \to R

is a differentiable mapping on

(m w g_{1}, g_{2})

with

0 < m g_{1} < g_{2}

and

m \in (0, 1]

. If

G^{'} \in L_{1} [m w g_{1}, g_{2}],

then the following equality for

k

—fractional integral holds true:

\begin{matrix} \frac{G (m w g_{1}) + G (g_{2})}{w + 1} - \frac{Γ_{k} (α + k)}{(w + 1) {(g_{2} - m w g_{1})}^{\frac{α}{k}}} \{^{k} J_{g_{1}^{+}}^{α} G (g_{2}) +^{k} J_{g_{2}^{-}}^{α} G (m w g_{1})\} \\ = & (\frac{g_{2} - m w g_{1}}{w + 1}) \int_{0}^{1} [ϱ^{\frac{α}{k}} - {(1 - ϱ)}^{\frac{α}{k}}] G^{'} (m w (1 - ϱ) g_{1} + ϱ g_{2}) d ϱ . \end{matrix}

(9)

Proof.

Applying integrating by parts, we have

\begin{matrix} (\frac{g_{2} - m w g_{1}}{w + 1}) \int_{0}^{1} [ϱ^{\frac{α}{k}} - {(1 - ϱ)}^{\frac{α}{k}}] G^{'} (m w (1 - ϱ) g_{1} + ϱ g_{2}) d ϱ \\ = & (\frac{g_{2} - m w g_{1}}{w + 1}) [\int_{0}^{1} ϱ^{\frac{α}{k}} G^{'} (m w (1 - ϱ) g_{1} + ϱ g_{2}) d ϱ \\ - \int_{0}^{1} {(1 - ϱ)}^{\frac{α}{k}} G^{'} (m w (1 - ϱ) g_{1} + ϱ g_{2}) d ϱ] \\ = & (\frac{g_{2} - m w g_{1}}{w + 1}) [I_{1} - I_{2}], \end{matrix}

(10)

where

\begin{matrix} I_{1} & = & \int_{0}^{1} ϱ^{\frac{α}{k}} G^{'} (m w (1 - ϱ) g_{1} + ϱ g_{2}) d ϱ \\ = & \frac{ϱ^{\frac{α}{k}} G (m w (1 - ϱ) g_{1} + ϱ g_{2})}{g_{2} - m w g_{1}} |_{0}^{1} - \int_{0}^{1} \frac{G (m w (1 - ϱ) g_{1} + ϱ g_{2})}{g_{2} - m w g_{1}} \frac{α}{k} ϱ^{\frac{α}{k} - 1} d ϱ \\ = & \frac{G (g_{2})}{g_{2} - m w g_{1}} - \frac{α}{k (g_{2} - m w g_{1})} \int_{0}^{1} ϱ^{\frac{α}{k} - 1} G (m w (1 - ϱ) g_{1} + ϱ g_{2}) d ϱ \\ = & \frac{G (g_{2})}{g_{2} - m w g_{1}} - \frac{Γ_{k} (α + k)}{{(g_{2} - m w g_{1})}^{\frac{α}{k} + 1}}^{k} J_{g_{2}^{-}}^{α} G (m w g_{1}) \end{matrix}

(11)

and

\begin{matrix} I_{2} & = & \int_{0}^{1} {(1 - ϱ)}^{\frac{α}{k}} G^{'} (m w (1 - ϱ) g_{1} + ϱ g_{2}) d ϱ \\ = & \frac{{(1 - ϱ)}^{\frac{α}{k}} G (m w (1 - ϱ) g_{1} + ϱ g_{2})}{g_{2} - m w g_{1}} |_{0}^{1} \\ - \int_{0}^{1} \frac{G (m w (1 - ϱ) g_{1} + ϱ g_{2})}{g_{2} - m w g_{1}} \frac{α}{k} {(1 - ϱ)}^{\frac{α}{k} - 1} (- 1) d ϱ \\ = & - \frac{G (m w g_{1})}{g_{2} - m w g_{1}} + \frac{α}{k (g_{2} - m w g_{1})} \int_{0}^{1} {(1 - ϱ)}^{\frac{α}{k} - 1} G (m w (1 - ϱ) g_{1} + ϱ g_{2}) d ϱ \\ = & - \frac{G (m w g_{1})}{g_{2} - m w g_{1}} + \frac{Γ_{k} (α + k)}{{(g_{2} - m w g_{1})}^{\frac{α}{k} + 1}}^{k} J_{g_{1}^{+}}^{α} G (g_{2}) . \end{matrix}

(12)

Combining Equations (11) and (12) in (10) and multiplying it by

\frac{g_{2} - w g_{1}}{w + 1}

, we obtain (9), which completes the proof. □

Theorem 6.

Let

0 < w \leq 1

, and

G : (0, \frac{g_{2}}{m w}] \to R

is a differentiable mapping on

(0, \frac{g_{2}}{m w})

with

0 < g_{1} < g_{2} .

{|G^{'}|}^{q}

is an MEXPC function on

(0, \frac{g_{2}}{m w}]

for

q > 1

and

q^{- 1} + p^{- 1} = 1,

then for some fixed

m \in (0, 1]

the following inequality for

k

—fractional integral holds true:

\begin{matrix} |\frac{G (m w g_{1}) + \frac{α}{k} G (g_{2})}{\frac{α}{k} + 1} - \frac{Γ_{k} (α + k)}{{(g_{2} - m w g_{1})}^{\frac{α}{k}}}^{k} J_{g_{2}^{-}}^{α} G (m w g_{1})| \\ \leq & (\frac{g_{2} - m w g_{1}}{\frac{α}{k} + 1}) {[U_{1} (α, k, p) + U_{2} (α, k, p)]}^{\frac{1}{p}} {[(e - 2) (m {|G^{'} (w g_{1})|}^{q} + {|G^{'} (g_{2})|}^{q})]}^{\frac{1}{q}}, \end{matrix}

(13)

where

\begin{matrix} U_{1} (α, k, p) & = & \int_{0}^{\frac{1}{\sqrt[α]{{(\frac{α}{k} + 1)}^{k}}}} {(1 - (\frac{α}{k} + 1) ϱ^{\frac{α}{k}})}^{p} d ϱ, \\ U_{2} (α, k, p) & = & \int_{\frac{1}{\sqrt[α]{{(\frac{α}{k} + 1)}^{k}}}}^{1} {((\frac{α}{k} + 1) ϱ^{\frac{α}{k}} - 1)}^{p} d ϱ . \end{matrix}

Proof.

Using Lemma 2, with the help of Hölder’s inequality and the MEXPC function of

{|G^{'}|}^{q},

we obtain

\begin{matrix} |\frac{G (m w g_{1}) + \frac{α}{k} G (g_{2})}{\frac{α}{k} + 1} - \frac{Γ_{k} (α + k)}{{(g_{2} - m w g_{1})}^{\frac{α}{k}}}^{k} J_{g_{2}^{-}}^{α} G (m w g_{1})| \\ \leq & (\frac{g_{2} - m w g_{1}}{\frac{α}{k} + 1}) \int_{0}^{1} |(\frac{α}{k} + 1) ϱ^{\frac{α}{k}} - 1| |G^{'} (m w (1 - ϱ) g_{1} + ϱ g_{2})| d ϱ \\ \leq & (\frac{g_{2} - m w g_{1}}{\frac{α}{k} + 1}) {(\int_{0}^{1} {|(\frac{α}{k} + 1) ϱ^{\frac{α}{k}} - 1|}^{p} d ϱ)}^{\frac{1}{p}} {(\int_{0}^{1} {|G^{'} (m w (1 - ϱ) g_{1} + ϱ g_{2})|}^{q} d ϱ)}^{\frac{1}{q}} \\ \leq & (\frac{g_{2} - m w g_{1}}{\frac{α}{k} + 1}) {(\int_{0}^{1} {|(\frac{α}{k} + 1) ϱ^{\frac{α}{k}} - 1|}^{p} d ϱ)}^{\frac{1}{p}} \\ \times {(\int_{0}^{1} [m (e^{1 - ϱ} - 1) {|G^{'} (w g_{1})|}^{q} + (e^{ϱ} - 1) {|G^{'} (g_{2})|}^{^{q}}] d ϱ)}^{\frac{1}{q}} \\ = & (\frac{g_{2} - m w g_{1}}{\frac{α}{k} + 1}) {[U_{1} (α, k, p) + U_{2} (α, k, p)]}^{\frac{1}{p}} {[(e - 2) (m {|G^{'} (w g_{1})|}^{q} + {|G^{'} (g_{2})|}^{q})]}^{\frac{1}{q}}, \end{matrix}

which completes the proof. □

Theorem 7.

Let

0 < w \leq 1

, and

G : (0, \frac{g_{2}}{m w}] \to R

is a differentiable mapping on

(0, \frac{g_{2}}{m w})

with

0 < g_{1} < g_{2} .

{|G^{'}|}^{q}

is an MEXPC function on

(0, \frac{g_{2}}{m w}]

for

q \geq 1,

then for some fixed

m \in (0, 1]

the following inequality for

k

—fractional integral holds true:

\begin{matrix} |\frac{G (m w g_{1}) + \frac{α}{k} G (g_{2})}{\frac{α}{k} + 1} - \frac{Γ_{k} (α + k)}{{(g_{2} - m w g_{1})}^{\frac{α}{k}}}^{k} J_{g_{2}^{-}}^{α} G (m w g_{1})| \\ \leq & (\frac{g_{2} - m w g_{1}}{\frac{α}{k} + 1}) {(\frac{2 α}{k {(\frac{α}{k} + 1)}^{\frac{k}{α} + 1}})}^{1 - \frac{1}{q}} \\ \times [m {|G^{'} (w g_{1})|}^{q} {- \frac{2 α}{k {(\frac{α}{k} + 1)}^{\frac{k}{α} + 1}} - 2 e^{(1 - \frac{1}{\sqrt[α]{{(\frac{α}{k} + 1)}^{k}}})} \\ - (\frac{α}{k} + 1) e γ (\frac{α}{k} + 1, \frac{1}{\sqrt[α]{{(\frac{α}{k} + 1)}^{k}}}) \\ + (\frac{α}{k} + 1) e γ_{1 - \frac{1}{\sqrt[α]{{(\frac{α}{k} + 1)}^{k}}}} (\frac{α}{k} + 1, \frac{1}{\sqrt[α]{{(\frac{α}{k} + 1)}^{k}}}) + 1} \\ + |G^{'} (g_{2})| {2 e^{\frac{1}{\sqrt[α]{{(\frac{α}{k} + 1)}^{k}}}} - \frac{2 α}{k {(\frac{α}{k} + 1)}^{\frac{k}{α} + 1}} + (\frac{α}{k} + 1) γ (\frac{α}{k} + 1, \frac{1}{\sqrt[α]{{(\frac{α}{k} + 1)}^{k}}}) \\ - (\frac{α}{k} + 1) γ_{1 - \frac{1}{\sqrt[α]{{(\frac{α}{k} + 1)}^{k}}}} (\frac{α}{k} + 1, \frac{1}{\sqrt[α]{{(\frac{α}{k} + 1)}^{k}}}) - e}]^{\frac{1}{q}} . \end{matrix}

(14)

Proof.

Using Lemma 2, with the help of power mean inequality and the MEXPC function of

{|G^{'}|}^{q},

we obtain

\begin{matrix} |\frac{G (m w g_{1}) + \frac{α}{k} G (g_{2})}{\frac{α}{k} + 1} - \frac{Γ_{k} (α + k)}{{(g_{2} - m w g_{1})}^{\frac{α}{k}}}^{k} J_{g_{2}^{-}}^{α} G (m w g_{1})| \\ \leq & (\frac{g_{2} - m w g_{1}}{\frac{α}{k} + 1}) \int_{0}^{1} |(\frac{α}{k} + 1) ϱ^{\frac{α}{k}} - 1| |G^{'} (m w (1 - ϱ) g_{1} + ϱ g_{2})| d ϱ \\ \leq & (\frac{g_{2} - m w g_{1}}{\frac{α}{k} + 1}) {(\int_{0}^{1} |(\frac{α}{k} + 1) ϱ^{\frac{α}{k}} - 1| d ϱ)}^{1 - \frac{1}{q}} \\ \times {(\int_{0}^{1} |(\frac{α}{k} + 1) ϱ^{\frac{α}{k}} - 1| {|G^{'} (m w (1 - ϱ) g_{1} + ϱ g_{2})|}^{q} d ϱ)}^{\frac{1}{q}} \\ \leq & (\frac{g_{2} - m w g_{1}}{\frac{α}{k} + 1}) {(\int_{0}^{1} |(\frac{α}{k} + 1) ϱ^{\frac{α}{k}} - 1| d ϱ)}^{1 - \frac{1}{q}} \\ \times {(\int_{0}^{1} |(\frac{α}{k} + 1) ϱ^{\frac{α}{k}} - 1| [m (e^{1 - ϱ} - 1) {|G^{'} (w g_{1})|}^{q} + (e^{ϱ} - 1) {|G^{'} (g_{2})|}^{^{q}}] d ϱ)}^{\frac{1}{q}} \\ = & (\frac{g_{2} - m w g_{1}}{\frac{α}{k} + 1}) {(\frac{2 α}{k {(\frac{α}{k} + 1)}^{\frac{k}{α} + 1}})}^{1 - \frac{1}{q}} [m {|G^{'} (w a_{1})|}^{q} {- \frac{2 α}{k {(\frac{α}{k} + 1)}^{\frac{k}{α} + 1}} - 2 e^{(1 - \frac{1}{\sqrt[α]{{(\frac{α}{k} + 1)}^{k}}})} \\ - (\frac{α}{k} + 1) e γ (\frac{α}{k} + 1, \frac{1}{\sqrt[α]{{(\frac{α}{k} + 1)}^{k}}}) + (\frac{α}{k} + 1) e γ_{1 - \frac{1}{\sqrt[α]{{(\frac{α}{k} + 1)}^{k}}}} (\frac{α}{k} + 1, \frac{1}{\sqrt[α]{{(\frac{α}{k} + 1)}^{k}}}) + 1} \\ + |G^{'} (g_{2})| {2 e^{\frac{1}{\sqrt[α]{{(\frac{α}{k} + 1)}^{k}}}} - \frac{2 α}{k {(\frac{α}{k} + 1)}^{\frac{k}{α} + 1}} + (\frac{α}{k} + 1) γ (\frac{α}{k} + 1, \frac{1}{\sqrt[α]{{(\frac{α}{k} + 1)}^{k}}}) \\ - (\frac{α}{k} + 1) γ_{1 - \frac{1}{\sqrt[α]{{(\frac{α}{k} + 1)}^{k}}}} (\frac{α}{k} + 1, \frac{1}{\sqrt[α]{{(\frac{α}{k} + 1)}^{k}}}) - e}]^{\frac{1}{q}}, \end{matrix}

which completes the proof. □

Theorem 8.

Let

0 < w \leq 1

, and

G : (0, \frac{g_{2}}{m}] \to R

is a differentiable mapping on

(0, \frac{g_{2}}{m})

with

0 < g_{1} < g_{2} .

{|G^{'}|}^{q}

is an MEXPC function on

(0, \frac{g_{2}}{m}]

for

q > 1

and

q^{- 1} + p^{- 1} = 1,

then for some fixed

m \in (0, 1]

the following inequality for

k

—fractional integral holds true:

\begin{matrix} |\frac{G (m w g_{1}) + G (g_{2})}{w + 1} - \frac{Γ_{k} (α + k)}{(w + 1) {(g_{2} - m w g_{1})}^{\frac{α}{k}}} \{^{k} J_{g_{1}^{+}}^{α} G (g_{2}) +^{k} J_{g_{2}^{-}}^{α} G (m w g_{1})\}| \\ \leq & \frac{2 (g_{2} - m w g_{1})}{w + 1} {(\frac{k}{α p + k})}^{\frac{1}{p}} {[(e - 2) (m {|G^{'} (w g_{1})|}^{q} + {|G^{'} (g_{2})|}^{q})]}^{\frac{1}{q}} . \end{matrix}

(15)

Proof.

Using Lemma 3, with the help of Hölder’s inequality and the MEXPC function of

{|G^{'}|}^{q},

we obtain

\begin{matrix} |\frac{G (m w g_{1}) + G (g_{2})}{w + 1} - \frac{Γ_{k} (α + k)}{(w + 1) {(g_{2} - m w g_{1})}^{\frac{α}{k}}} \{^{k} J_{g_{1}^{+}}^{α} G (g_{2}) +^{k} J_{g_{2}^{-}}^{α} G (m w g_{1})\}| \\ \leq & (\frac{g_{2} - m w g_{1}}{w + 1}) \int_{0}^{1} |ϱ^{\frac{α}{k}} - {(1 - ϱ)}^{\frac{α}{k}}| |G^{'} (m w (1 - ϱ) g_{1} + ϱ g_{2})| d ϱ \\ \leq & (\frac{g_{2} - m w g_{1}}{w + 1}) [\int_{0}^{1} ϱ^{\frac{α}{k}} |G^{'} (m w (1 - ϱ) g_{1} + ϱ g_{2})| d ϱ \\ + \int_{0}^{1} {(1 - ϱ)}^{\frac{α}{k}} |G^{'} (m w (1 - ϱ) g_{1} + ϱ g_{2})| d ϱ] \\ \leq & (\frac{g_{2} - m w g_{1}}{w + 1}) [{(\int_{0}^{1} ϱ^{\frac{α}{k} p} d ϱ)}^{\frac{1}{p}} {(\int_{0}^{1} {|G^{'} (m w (1 - ϱ) g_{1} + ϱ g_{2})|}^{q} d ϱ)}^{\frac{1}{q}} \\ + {(\int_{0}^{1} {(1 - ϱ)}^{\frac{α}{k} p} d ϱ)}^{\frac{1}{p}} {(\int_{0}^{1} {|G^{'} (m w (1 - ϱ) a_{1} + ϱ g_{2})|}^{q} d ϱ)}^{\frac{1}{q}}] \\ \leq & (\frac{g_{2} - m w g_{1}}{w + 1}) [{(\int_{0}^{1} ϱ^{\frac{α}{k} p} d ϱ)}^{\frac{1}{p}} \\ \times {(\int_{0}^{1} [m (e^{1 - ϱ} - 1) {|G^{'} (w g_{1})|}^{q} + (e^{ϱ} - 1) {|G^{'} (g_{2})|}^{^{q}}] d ϱ)}^{\frac{1}{q}} + {(\int_{0}^{1} {(1 - ϱ)}^{\frac{α}{k} p} d ϱ)}^{\frac{1}{p}} \\ \times {(\int_{0}^{1} [m (e^{1 - ϱ} - 1) {|G^{'} (w g_{1})|}^{q} + (e^{ϱ} - 1) {|G^{'} (g_{2})|}^{^{q}}] d ϱ)}^{\frac{1}{q}}] \\ = & \frac{2 (g_{2} - m w g_{1})}{w + 1} {(\frac{k}{α p + k})}^{\frac{1}{p}} {[(e - 2) (m {|G^{'} (w g_{1})|}^{q} + {|G^{'} (g_{2})|}^{q})]}^{\frac{1}{q}}, \end{matrix}

which completes the proof. □

Theorem 9.

Let

0 < w \leq 1

, and

G : (0, \frac{a_{2}}{m}] \to R

is a differentiable mapping on

(0, \frac{g_{2}}{m})

with

0 < g_{1} < g_{2} .

{|G^{'}|}^{q}

is an MEXPC function on

(0, \frac{g_{2}}{m}]

for

q \geq 1,

then for some fixed

m \in (0, 1]

the following inequality for

k

—fractional integral holds true:

\begin{matrix} |\frac{G (m w g_{1}) + G (g_{2})}{w + 1} - \frac{Γ_{k} (α + k)}{(w + 1) {(g_{2} - m w g_{1})}^{\frac{α}{k}}} \{^{k} J_{g_{1}^{+}}^{α} G (g_{2}) +^{k} J_{g_{2}^{-}}^{α} G (m w g_{1})\}| \\ \leq & (\frac{a_{2} - m w g_{1}}{w + 1}) {(\frac{k}{α + k})}^{1 - \frac{1}{q}} [{m {|G^{'} (w g_{1})|}^{q} (Γ (\frac{α}{k} + 1) - Γ (\frac{α}{k} + 1, 1) e - \frac{1}{\frac{α}{k} + 1}) \\ + {|G^{'} (g_{2})|}^{q} (Γ (\frac{α}{k} + 1, - 1) - Γ (\frac{α}{k} + 1) - \frac{1}{\frac{α}{k} + 1})}^{\frac{1}{q}} \\ + {m {|G^{'} (w g_{1})|}^{q} ({(- 1)}^{\frac{α}{k} - 1} (Γ (\frac{α}{k} + 1) - Γ (\frac{α}{k} + 1, - 1)) - \frac{1}{\frac{α}{k} + 1}) \\ + {|G^{'} (g_{2})|}^{q} (\frac{(\frac{α}{k} + 1) e k (Γ (\frac{α}{k} + 1, 1) - Γ (\frac{α}{k} + 1))}{k + α} - \frac{1}{\frac{α}{k} + 1})}^{\frac{1}{q}}] . \end{matrix}

(16)

Proof.

Using Lemma 3 with the help of power mean inequality and the MEXPC function of

{|G^{'}|}^{q},

we obtain

\begin{matrix} |\frac{G (m w g_{1}) + G (g_{2})}{w + 1} - \frac{Γ_{k} (α + k)}{(w + 1) {(g_{2} - m w g_{1})}^{\frac{α}{k}}} \{^{k} J_{g_{1}^{+}}^{α} G (g_{2}) +^{k} J_{g_{2}^{-}}^{α} G (m w g_{1})\}| \\ \leq & (\frac{g_{2} - m w g_{1}}{w + 1}) \int_{0}^{1} |ϱ^{\frac{α}{k}} - {(1 - ϱ)}^{\frac{α}{k}}| |G^{'} (m w (1 - ϱ) g_{1} + ϱ g_{2})| d ϱ \\ \leq & (\frac{g_{2} - m w g_{1}}{w + 1}) \\ \times [\int_{0}^{1} ϱ^{\frac{α}{k}} |G^{'} (m w (1 - ϱ) g_{1} + ϱ g_{2})| d ϱ + \int_{0}^{1} {(1 - ϱ)}^{\frac{α}{k}} |G^{'} (m w (1 - ϱ) g_{1} + ϱ g_{2})| d ϱ] \\ \leq & (\frac{g_{2} - m w g_{1}}{w + 1}) [{(\int_{0}^{1} ϱ^{\frac{α}{k}} d ϱ)}^{1 - \frac{1}{q}} {(\int_{0}^{1} ϱ^{\frac{α}{k}} {|G^{'} (m w (1 - ϱ) g_{1} + ϱ g_{2})|}^{q} d ϱ)}^{\frac{1}{q}} \\ + {(\int_{0}^{1} {(1 - ϱ)}^{\frac{α}{k}} d ϱ)}^{1 - \frac{1}{q}} {(\int_{0}^{1} {(1 - ϱ)}^{\frac{α}{k}} {|G^{'} (m w (1 - ϱ) g_{1} + ϱ g_{2})|}^{q} d ϱ)}^{\frac{1}{q}}] \\ \leq & (\frac{g_{2} - m w g_{1}}{w + 1}) {(\int_{0}^{1} ϱ^{\frac{α}{k}} d ϱ)}^{1 - \frac{1}{q}} \\ \times [{(\int_{0}^{1} ϱ^{\frac{α}{k}} [m (e^{1 - ϱ} - 1) {|G^{'} (w g_{1})|}^{q} + (e^{ϱ} - 1) {|G^{'} (g_{2})|}^{q}] d ϱ)}^{\frac{1}{q}} \\ + {(\int_{0}^{1} {(1 - ϱ)}^{\frac{α}{k}} [m (e^{1 - ϱ} - 1) {|G^{'} (w g_{1})|}^{q} + (e^{ϱ} - 1) {|G^{'} (g_{2})|}^{q}] d ϱ)}^{\frac{1}{q}}] \\ = & (\frac{a_{2} - m w g_{1}}{w + 1}) {(\frac{k}{α + k})}^{1 - \frac{1}{q}} \\ \times [{m {|G^{'} (w g_{1})|}^{q} (Γ (\frac{α}{k} + 1) - Γ (\frac{α}{k} + 1, 1) e - \frac{1}{\frac{α}{k} + 1}) \\ + {|G^{'} (g_{2})|}^{q} (Γ (\frac{α}{k} + 1, - 1) - Γ (\frac{α}{k} + 1) - \frac{1}{\frac{α}{k} + 1})}^{\frac{1}{q}} \\ + {m {|G^{'} (w g_{1})|}^{q} ({(- 1)}^{\frac{α}{k} - 1} (Γ (\frac{α}{k} + 1) - Γ (\frac{α}{k} + 1, - 1)) - \frac{1}{\frac{α}{k} + 1}) \\ + {|G^{'} (g_{2})|}^{q} ((\frac{α}{k} + 1) e k (Γ (\frac{α}{k} + 1, 1) - Γ (\frac{α}{k} + 1)) k + α - \frac{1}{\frac{α}{k} + 1})}^{\frac{1}{q}}], \end{matrix}

which completes the proof. □

5. Conclusions

In this study, some fresh evaluations of the

(H - H)

type inequality for a new generalized convex function are presented. Recently, many mathematicians have worked on the inequality hypothesis to provide a new dimension to mathematical analysis. To proceed in this direction, we have generalized a new definition and have established related inequalities. Since it is simple and convenient to move forward by application of the expectation, we contend that the novel mathematical thoughts, concepts, and strategies we have introduced here are more natural than those currently presented in the literature. In future, we intend to work on concepts such as interval valued analysis, time scale calculus, and quantum calculus for this new convexity and improve inequalities, including the Opial, Simpson, Bullen, Newton, Fejé, Mercer, and Ostrowski types.

Author Contributions

Conceptualization, M.T. and S.K.S.; methodology, M.T., S.K.S. and S.K.N.; software, M.T. and S.K.S.; validation, M.T., S.K.S., S.K.N., and A.A.S.; formal analysis, S.K.S., S.K.N., O.M.A. and K.N.; investigation, M.T., S.K.S. and K.N.; resources, S.K.S. and O.M.A.; data curation, O.M.A., A.A.S. and K.N.; writing—original draft preparation, M.T. and S.K.S.; writing—review and editing, M.T., S.K.S. and A.A.S.; supervision, S.K.S., S.K.N. and A.A.S.; project administration, S.K.S.; funding acquisition, K.N. All authors have read and agreed to the published version of the manuscript.

Funding

This research was supported by the Fundamental Fund of Khon Kaen University, Thailand.

Data Availability Statement

Not applicable.

Conflicts of Interest

The authors declare that they have no conflict of interest.

References

Green, J.; Walter, P.H. Mathematical analysis and convexity with applications to economics. In Handbook of Mathematical Economics; North-Holland Publishing Co.: Amsterdam, The Netherlands, 1981; Volume 1, pp. 15–52. [Google Scholar]
Föllmer, A.; Schied, A. Convex measures of risk and trading constraints. Financ. Stoch. 2002, 6, 429–447. [Google Scholar]
Pełczyński, J. Application of the theory of convex sets for engineering structures with uncertain parameters. Appl. Sci. 2020, 10, 6864. [Google Scholar] [CrossRef]
Pennanen, T. Convex duality in stochastic optimization and mathematical finance. Math. Oper. Res. 2011, 36, 340–362. [Google Scholar] [CrossRef]
El Shaed, M.A. Fractional calculus model of semilunar heart valve vibrations. In Proceedings of the International Mathematica Symposium, London, UK, 7–11 July 2003. [Google Scholar]
Hoan, L.V.C.; Akinlar, M.A.; Inc, M.; Gomez-Aguilar, J.F.; Chu, Y.M.; Almohsen, B. A new fractional-order compartmental disease model. Alex. Eng. J. 2020, 59, 3187–3196. [Google Scholar]
Atangana, A. Application of fractional calculus to epidemiology. Fract. Dyn. 2016, 174–190. [Google Scholar]
Kulish, V.V.; Lage, J.L. Application of fractional calculus to fluid mechanics. J. Fluids Eng. 2002, 124, 803–806. [Google Scholar] [CrossRef]
Baleanu, D.; Güvenç, Z.B.; Machado, J.T. New Trends in Nanotechnology and Fractional Calculus Applications; Springer: New York, NY, USA, 2010. [Google Scholar]
Magin, R.L. Fractional Calculus in Bio-Engineering; Begell House Inc. Publishers: Danbury, CT, USA, 2006. [Google Scholar]
Axtell, M.; Bise, M.E. Fractional calculus application in control systems. In Proceedings of the IEEE Conference on Aerospace and Electronics, Dayton, OH, USA, 21–25 May 1990; pp. 563–566. [Google Scholar]
AlNemer, G.; Zakarya, M.; Abd El-Hamid, H.A.; Kenawy, M.R.; Rezk, H.M. Dynamic Hardy-type inequalities with non-conjugate parameters. Alex. Eng. J. 2020, 59, 4523–4532. [Google Scholar] [CrossRef]
Abd El-Hamid, H.A.; Rezk, H.M.; Ahmed, A.M.; AlNemer, G.; Zakarya, M.; El Saify, H.A. Dynamic inequalities in quotients with general kernels and measures. J. Funct. Spaces. 2020, 2020, 5417084. [Google Scholar]
Zakarya, M.; Altanji, M.; AlNemer, G.; Abd El-Hamid, H.A.; Cesarano, C.; Rezk, M. Fractional reverse coposn’s inequalities via conformable calculus on Time Scales. Symmetry 2021, 13, 542. [Google Scholar] [CrossRef]
Rezk, H.M.; Albalawi, W.; Abd El-Hamid, H.A.; Ahmed, I.S.; Bazighifan, O.; Mohamed, M.S.; Zakarya, M. Hardy-Leindler type inequalities via conformable delta fractional calculus. J. Funct. Spaces. 2022, 2022, 2399182. [Google Scholar] [CrossRef]
Srivastava, H.M.; Murugusundaramoorthy, G.; El-Deeb, S.M. Faber polynomial coefficient estimates of bi-close-to-convex functions connected with the Borel distribution of the Mittag-Leffler type. J. Nonlinear Var. Anal. 2021, 5, 103–118. [Google Scholar]
Wang, H. Certain integral inequalities related to (φ,ϱ^α)-Lipschitzian mappings and generalized h-convexity on fractal sets. J. Nonlinear Funct. Anal. 2021, 2021, 12. [Google Scholar]
Omotoyinbo, O.; Mogbodemu, A. Some new Hermite–Hadamard integral inequalities for convex functions. Int. J. Sci. Innovation Tech. 2014, 1, 1–12. [Google Scholar]
Butt, S.I.; Tariq, M.; Aslam, A.; Ahmad, H.; Nofel, T.A. Hermite–Hadamard type inequalities via generalized harmonic exponential convexity. J. Funct. Spaces. 2021, 2021, 5533491. [Google Scholar] [CrossRef]
Rafiq, A.; Mir, N.A.; Ahmad, F. Weighted Chebysev–Ostrowski type inequalities. Appl. Math. Mech. 2007, 28, 901–906. [Google Scholar] [CrossRef]
Khan, M.A.; Chu, Y.M.; Khan, T.U. Some new inequalities of Hermite–Hadamard type for s–convex functions with applications. Open Math. 2017, 15, 1414–1430. [Google Scholar] [CrossRef]
Niculescu, C.P.; Persson, L.E. Convex Functions and Their Applications; Springer: New York, NY, USA, 2006. [Google Scholar]
Alomari, M.; Darus, M.; Kirmaci, U.S. Refinements of Hadamard-type inequalities for quasi-convex functions with applications to trapezoidal formula and to special means. Comput. Math. Appl. 2010, 59, 225–232. [Google Scholar] [CrossRef] [Green Version]
Chen, F.X.; Wu, S.H. Several complementary inequalities to inequalities of Hermite–Hadamard type for s–convex functions. J. Nonlinear Sci. Appl. 2016, 9, 705–716. [Google Scholar] [CrossRef]
Tariq, M. New Hermite–Hadamard type and some related inequalities via s-type p-convex function. IJSER 2020, 11, 498–508. [Google Scholar]
Kashuri, A.; Liko, R. Some new Hermite–Hadamard type inequalities and their applications. Stud. Sci. Math. Hung. 2019, 56, 103–142. [Google Scholar]
Toader, G. Some generalizations of the convexity. In Proceedings of the Colloquium on Approximation and Optimization, Cluj-Napoca, Romania, 25–27 October 1985; pp. 329–338. [Google Scholar]
Kadakal, M.; İşcan, İ. Exponential type convexity and some related inequalities. J. Inequal. Appl. 2020, 2020, 82. [Google Scholar] [CrossRef]
Mitrinovic, D.S.; Pećaric, J.E.; Fink, A.M. Classical and New Inequalities in Analysis; Kluwer Academic: Dordrecht, The Netherlands, 1993. [Google Scholar]
Kadakal, M.; Íscan, Í.; Kadakal, H. On improvements of some integral inequalities. Honam Math. J. 2021, 43, 441–452. [Google Scholar]
Anastassiou, G.A. Advanced Inequalities; World Scientifc: Singapore, 2011. [Google Scholar]
Kilbas, A.A.; Srivastava, H.M.; Trujillo, J.J. Theory and Applications of Fractional Differential Equations; Elsevier: Amsterdam, The Netherlands, 2006. [Google Scholar]
Sahoo, S.K.; Ahmad, H.; Tariq, M.; Kodamasingh, B.; Aydi, H.; De la Sen, M. Hermite–Hadamard type inequalities involving k-fractional operator for (h¯,m)-convex Functions. Symmetry 2021, 13, 1686. [Google Scholar] [CrossRef]
Ahmad, H.; Tariq, M.; Sahoo, S.K.; Baili, J.; Cesarano, C. New estimations of Hermite–Hadamard type integral inequalities for special functions. Fractal Fract. 2021, 5, 144. [Google Scholar]
Gorenflo, R.; Mainardi, F. Fractional Calculus: Integral and Differential Equations of Fractional Order; Springer: Vienna, Austria, 1997. [Google Scholar]
Miller, K.; Ross, B. An Introduction to the Fractional Calculus and Fractional Differential Equations; John Wiley and Sons, Inc.: New York, NY, USA, 1993. [Google Scholar]
Podlubni, I. Fractional Differential Equations; Academic Press: San Diego, CA, USA, 1999. [Google Scholar]
Özdemir, M.E.; Yildiz, C.; Akdemir, A.O.; Set, E. On some inequalities for s–convex functions and applications. J. Inequal. Appl. 2013, 333, 2–11. [Google Scholar] [CrossRef]
Xi, B.Y.; Qi, F. Some integral inequalities of Hermite–Hadamard type for convex functions with applications to means. J. Funct. Spaces Appl. 2012, 2012, 980438. [Google Scholar] [CrossRef]
Sahoo, S.K.; Tariq, M.; Ahmad, H.; Nasir, J.; Aydi, H.; Mukheimer, A. New Ostrowski-type fractional integral inequalities via generalized exponential-type convex functions and applications. Symmetry 2021, 13, 1429. [Google Scholar] [CrossRef]
Mubeen, S.; Habibullah, G.M. k-Fractional integrals and applications. Int. Contemp. Math Sci. 2012, 7, 89–94. [Google Scholar]
Farid, G.; Rehman, A.U.; Zahra, M. On Hadamard inequalities for k-fractional integrals. Nonlinear Funct. Anal. Appl. 2016, 21, 463–478. [Google Scholar]

Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

© 2022 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (https://creativecommons.org/licenses/by/4.0/).

Share and Cite

MDPI and ACS Style

Tariq, M.; Sahoo, S.K.; Ntouyas, S.K.; Alsalami, O.M.; Shaikh, A.A.; Nonlaopon, K. Some New Refinements of Trapezium-Type Integral Inequalities in Connection with Generalized Fractional Integrals. Axioms 2022, 11, 508. https://doi.org/10.3390/axioms11100508

AMA Style

Tariq M, Sahoo SK, Ntouyas SK, Alsalami OM, Shaikh AA, Nonlaopon K. Some New Refinements of Trapezium-Type Integral Inequalities in Connection with Generalized Fractional Integrals. Axioms. 2022; 11(10):508. https://doi.org/10.3390/axioms11100508

Chicago/Turabian Style

Tariq, Muhammad, Soubhagya Kumar Sahoo, Sotiris K. Ntouyas, Omar Mutab Alsalami, Asif Ali Shaikh, and Kamsing Nonlaopon. 2022. "Some New Refinements of Trapezium-Type Integral Inequalities in Connection with Generalized Fractional Integrals" Axioms 11, no. 10: 508. https://doi.org/10.3390/axioms11100508

APA Style

Tariq, M., Sahoo, S. K., Ntouyas, S. K., Alsalami, O. M., Shaikh, A. A., & Nonlaopon, K. (2022). Some New Refinements of Trapezium-Type Integral Inequalities in Connection with Generalized Fractional Integrals. Axioms, 11(10), 508. https://doi.org/10.3390/axioms11100508

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Menu

Some New Refinements of Trapezium-Type Integral Inequalities in Connection with Generalized Fractional Integrals

Abstract

1. Introduction

2. Preliminaries

3. The Modified Exponential Type Convex Function and Its Associated Algebraic Properties

4. Refinements of (H–H) Type Inequality for the k-Fractional Integral

5. Conclusions

Author Contributions

Funding

Data Availability Statement

Conflicts of Interest

References

Share and Cite

Article Metrics

Article Access Statistics

Further Information

Guidelines

MDPI Initiatives

Follow MDPI