Fractional Hermite–Hadamard–Mercer-Type Inequalities for Interval-Valued Convex Stochastic Processes with Center-Radius Order and Their Related Applications in Entropy and Information Theory

Abstract

We propose a new definition of the $\gamma$-convex stochastic processes $\left(\mathfrak{C}\mathcal{SP}\right)$ using center and radius $\left(\mathcal{CR}\right)$ order with the notion of interval valued functions ${(}_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}})$. By utilizing this definition and Mean-Square Fractional Integrals, we generalize fractional Hermite–Hadamard–Mercer-type inclusions for generalized${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$ versions of convex, tgs-convex, P-convex, exponential-type convex, Godunova–Levin convex, s-convex, Godunova–Levin s-convex, h-convex, n-polynomial convex, and fractional n-polynomial $\left(\mathfrak{C}\mathcal{SP}\right)$. Also, our work uses interesting examples of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}\left(\mathfrak{C}\mathcal{SP}\right)$ with Python-programmed graphs to validate our findings using an extension of Mercer’s inclusions with applications related to entropy and information theory.

1. Introduction

Interval analysis is a useful tool for dealing with problems involving uncertainty. The credit it deserved did not come until Moore’s [1] seminal application of interval analysis for automated error analysis (even though it had roots in Archimedes’ p-calculation). It has been extended to interval-valued and fuzzy-valued functions by numerous researchers, such as Costa et al. [2], who established integral inequalities for fuzzy-interval-valued functions; Flores-Franuli et al. [3], who introduced integral inequalities for interval-valued functions; and Chalco-Cano et al. [4], with their Ostrowski-type inequalities and applications in numerical integration for interval-valued functions. The integral inequality was demonstrated by Zhao et al. [5] by using an interval-valued h-convex function and the interval inclusion relation. Since the same comparison of intervals may not be applicable in all situations, the intriguing and challenging milestone of determining a sensible order to investigate inequality problems involving interval-valued functions is hard to deal with. Using the $\left(\mathcal{CR}\right)$ of the interval, Bhunia et al. [6] computed the $\mathcal{C}.\mathcal{R}$-order in 2014. This new ordering relationship is a combination of the mean and scaled difference of the end-points of an interval, respectively.

Stochastic processes $\left(\mathcal{SP}\right)$ significantly escalate the training of neural networks, optimizing energy perspectives and modeling complex processes with each possible combination. Whether implemented via stochastic control, stochastic computing, or generative models, these connections increase the efficiency of both the entropy and neural networks. Modern research has linked the smoothing of energy landscapes in neural networks to classical work in stochastic control. Adding stochastic elements, such as randomness or noise, to the training process can modify and improve the optimization process and more effectively escape local minima [7]. Stochastic control theory allows us to identify complex energy surfaces, making it relevant for understanding the training dynamics of neural networks. $\mathcal{SP}s$ are also applicable in fault detection, as CNNs (Convolutional Neural Networks) can learn to create patterns for identifying anomalies or faults in industrial automation systems. Several neural networks, such as ANNs (Artificial Neural Networks) and SNNs (Stochastic Neural Networks), can also model stochastic variations in data visualizations, helping with tasks like image recognition and segmentation [8].

In optimization and information theory, convex and non-convex functions have a significant impact. Also, convexity and $\mathcal{SP}s$ are connected closely. The theory of convexity plays a foundational role in many fields of science, such as modern mathematics and analysis. The pivotal relationship between the theory of inequalities and the theory of convexity has forced many researchers to explore several classical inequalities, which were discussed for $\left(\mathfrak{CF}\right)$s and have also been generalized for other extensions of $\left(\mathfrak{CF}\right)$s.

Jensen’s inequality [9], Mercer’s inequality [10], and Hermite–Hadamard’s inequality [11] using $\left(\mathfrak{CF}\right)$s are some of the most praised and celebrated inequalities in different areas of mathematics and optimization. In [12], Fejér inequality is provided, which is the weighted extension of the Hermite–Hadamard inequality. Jensen and Mercer inequalities are essential for investigating bounds for entropies. In this paper, by generalizing Mercer’s inequality, we explore some approaches to Shannon’s entropy since entropy and $\mathcal{SP}s$ are used in finance, signal processing, and neuroscience.

The idea of convexity for $\left(\mathcal{SP}\right)$s has recently attracted much attention because of its applications in numerical estimations, optimal designs, and optimization. In 1974, Nagy [13] applied a characterization of measurable $\left(\mathcal{SP}\right)$s for solving a generalization of the (additive) Cauchy functional equation. In 1980, Nikodem [14] introduced convex $\left(\mathcal{SP}\right)$s and explored their regularity properties. In 1992, Skowronski [15] provided some interesting remarks on convex $\left(\mathcal{SP}\right)$s that extended some famous $\left(\mathfrak{CF}\right)$s. Pales discussed more nonconvex mappings’ characteristics and power means in [16]. Kotrys presented a modern extension of the Hermite–Hadamard inequality in [17] using convex $\left(\mathcal{SP}\right)$s. In [18], Saleem explored h-convex $\left(\mathcal{SP}\right)$s. In [19], Işcan investigated the p-convex $\left(\mathcal{SP}\right)$s. In [20], Maden introduced s-convex $\left(\mathcal{SP}\right)$s in the first sense. In [21], Set proposed s-convex $\left(\mathcal{SP}\right)$ in the second sense. In [22], Fu discussed the n-polynomial convex $\left(\mathcal{SP}\right)$.

Rahman et al. [23] were the first to introduce the idea of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$-$\left(\mathfrak{CF}\right)$s, which paved the way for studies of generalized inequality types such as Hermite–Hadamard’s, Jensen’s, Mercer’s, Schur’s, Fejér and Pachpatte’s. Vivas-Cortez et al. [24] recently provided fractional inequalities that pertain to generalizations of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}\gamma$-$\left(\mathfrak{CF}\right)$s with interval values. Harmonical${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}(h_1,h_2)$-Godunova–Levin functions were the focus of Sen et al. [25], whereas Botmart et al. [26] expanded on this class by studying the${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$ order relation.

Merging the concepts mentioned above and especially given by [24,27,28], we explore the properties of $\gamma$-convex $\left(\mathcal{SP}\right)$s, a new generalization of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$ functions, and use them to find modern integral inclusions like Hermite–Hadamard’s, Jensen’s, and Mercer’s extending over fractional integrals.

In the future, one can extend this field by using generalized harmonically${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$-$\left(\mathfrak{C}\mathcal{SP}\right)$s using stochastic integrals, quantum integrals, and post-quantum integrals for exciting applications. This paper is organized as follows: First, we will provide some background information about our research. Then, in Section 3, we will describe our main results, and in Section 4, we will explain our work’s applications.

2. Preliminaries

First, we recall notions from $\mathfrak{CF}s$.

Definition 1

([9]). Let $\mathsf{S}:[\mathsf{U},\mathsf{V}]\to \Re$; then, $\mathsf{S}$ is said to be $\left(\mathfrak{CF}\right)$ if $\forall {\mathsf{U}}_1,{\mathsf{V}}_1\in [\mathsf{U},\mathsf{V}]$ being a convex subset of ℜ and ${\mathsf{U}}_1<{\mathsf{V}}_1$, $\mathsf{N}\in [0,1]$,

$$\mathsf{S}\left(\mathsf{N}{\mathsf{U}}_1+(1-\mathsf{N}){\mathsf{V}}_1\right)\le \mathsf{N}\mathsf{S}\left({\mathsf{U}}_1\right)+(1-\mathsf{N})\mathsf{S}\left({\mathsf{V}}_1\right).$$

(1)

Hermite and Hadamard’s inequality is among the most famous and frequently utilized [11]. An example of a popular phrasing for this inequality is as follows.

Let $\mathsf{S}:[\mathsf{U},\mathsf{V}]\subseteq \Re \to \Re$ be a $\left(\mathfrak{CF}\right)$ with ${\mathsf{U}}_1<{\mathsf{V}}_1$. Then, if $\forall {\mathsf{U}}_1,{\mathsf{V}}_1\in [\mathsf{U},\mathsf{V}]$,

$$\mathsf{S}\left(\frac{{\mathsf{U}}_1+{\mathsf{V}}_1}{2}\right)\le \frac{1}{{\mathsf{V}}_1-{\mathsf{U}}_1}{\int }_{{\mathsf{U}}_1}^{{\mathsf{V}}_1}\mathsf{S}\left(\mathsf{n}\right)d\mathsf{n}\le \frac{\mathsf{S}\left({\mathsf{V}}_1\right)+\mathsf{S}\left({\mathsf{U}}_1\right)}{2}.$$

(2)

Given Jensen’s inequality [9], which is based on the same assumption, which may be expressed in the same way as Hermite and Hadamard’s inequality, for any ${\Sigma }_{i=1}^{\mathsf{w}}{\mathsf{z}}_i=1$ where ${\mathsf{z}}_i\ge 0$,

$$\mathsf{S}\left({\Sigma }_{i=1}^{\mathsf{w}}{\mathsf{z}}_i{\mathsf{n}}_i\right)\le {\Sigma }_{i=1}^{\mathsf{w}}{\mathsf{z}}_i\mathsf{S}\left({\mathsf{n}}_i\right).$$

(3)

Definition 2

([24]). Consider $\gamma :[0,1]\to {\Re }^{+}$. $\mathsf{S}:[\mathsf{U},\mathsf{V}]\to {\Re }^{+}$ is said to be γ-$\left(\mathfrak{CF}\right)$, denoted as $\mathsf{S}\in SX\left(\gamma ,[\mathsf{U},\mathsf{V}],{\Re }^{+}\right)$, if $\forall {\mathsf{U}}_1,{\mathsf{V}}_1\in [\mathsf{U},\mathsf{V}]$ and $\mathsf{N}\in [0,1]$, then

$$\mathsf{S}\left(\mathsf{N}{\mathsf{U}}_1+(1-\mathsf{N}){\mathsf{V}}_1\right)\le \mathsf{N}\gamma \left(\mathsf{N}\right)\mathsf{S}\left({\mathsf{U}}_1\right)+(1-\mathsf{N})\gamma (1-\mathsf{N})\mathsf{S}\left({\mathsf{V}}_1\right).$$

(4)

In (4), if “≤” is interchanged with “≥”, then becomes a γ-concave function or $\mathsf{S}\in {\Im }_{\aleph }^{\pi }\left(\gamma ,[\mathsf{U},\mathsf{V}],{\Re }^{+}\right)$.

If the function $\gamma :(0,1)\to (0,\infty )$ satisfies the following inequality,

$$\gamma \left(\mathsf{m}\mathsf{z}\right)\ge \gamma \left(\mathsf{m}\right)\gamma \left(\mathsf{z}\right).$$

(5)

for all $\mathsf{m},\mathsf{z}\in [0,1]$, then γ is said to be super-multiplicative. If the sign in inequality (5) is replaced by ≤, then γ is considered sub-multiplicative.

Definition 3

([29]). $\mathsf{S}:[\mathsf{U},\mathsf{V}]\to {\Re }^{+}$ is said to be n-polynomial $\left(\mathfrak{CF}\right)$, denoted as $\mathsf{S}\in SX$$\left(n,[\mathsf{U},\mathsf{V}],{\Re }^{+}\right)$, if $\forall {\mathsf{U}}_1,{\mathsf{V}}_1\in [\mathsf{U},\mathsf{V}]$ and $\mathsf{N}\in [0,1]$, then

$$\mathsf{S}\left(\mathsf{N}{\mathsf{U}}_1+(1-\mathsf{N}){\mathsf{V}}_1\right)\le \frac{1}{\aleph }\left[{\Sigma }_{\Im =1}^{\aleph }(1-{(1-\mathsf{N})}^{\Im })\mathsf{S}\left({\mathsf{U}}_1\right)+{\Sigma }_{\Im =1}^{\aleph }(1-{\mathsf{N}}^{\Im })\mathsf{S}\left({\mathsf{V}}_1\right)\right].$$

(6)

In (6), if “≤” is interchanged with “≥”, then it becomes a n-polynomial concave function or $\mathsf{S}\in {\Im }_{\aleph }^{\pi }\left(n,[\mathsf{U},\mathsf{V}],{\Re }^{+}\right)$.

Definition 4

([10]). $\mathsf{S}:[\mathsf{U},\mathsf{V}]\to {\Re }^{+}$ is said to be fractional n-polynomial $\left(\mathfrak{CF}\right)$, denoted as $\mathsf{S}\in SX\left(n_q^p,[\mathsf{U},\mathsf{V}],{\Re }^{+}\right)$, if $\forall {\mathsf{U}}_1,{\mathsf{V}}_1\in [\mathsf{U},\mathsf{V}]$ and $\mathsf{N}\in [0,1]$, then

$$\mathsf{S}\left(\mathsf{N}{\mathsf{U}}_1+(1-\mathsf{N}){\mathsf{V}}_1\right)\le \frac{1}{\aleph }\left[{\Sigma }_{\Im =1}^{\aleph }({\mathsf{N}}^{\frac{1}{\Im }})\mathsf{S}\left({\mathsf{U}}_1\right)+{\Sigma }_{\Im =1}^{\aleph }{(1-\mathsf{N})}^{\frac{1}{\Im }}\mathsf{S}\left({\mathsf{V}}_1\right)\right].$$

(7)

In (7), if “≤” is interchanged with “≥”, then it becomes a fractional n-polynomial concave function or $\mathsf{S}\in {\Im }_{\aleph }^{\pi }\left(n_q^p,[\mathsf{U},\mathsf{V}],{\Re }^{+}\right)$.

To avoid mistakes that could lead to erroneous findings, interval analysis uses interval variables instead of point variables and displays computing results as intervals. Moore released his first book on interval analysis in 1966 [30]. Additionally, interval arithmetic is thoroughly covered in [1]. The set $\mathsf{S}$ of all real numbers with real values that are both closed and bounded is said to be an interval. The definition is,

$$\mathsf{S}=\left[{\mathsf{S}}_{⊛},{\mathsf{S}}^{⊛}\right]=\left\{x\in \Re :{\mathsf{S}}_{⊛}\le x\le {\mathsf{S}}^{⊛}\right\}.$$

where ${\mathsf{S}}_{⊛},{\mathsf{S}}^{⊛}\in \Re$ and ${\mathsf{S}}_{⊛}<{\mathsf{S}}^{⊛}$.

On the left side of an interval $\mathsf{S}$, we have ${\mathsf{S}}_{⊛}$, and on the right side, we have ${\mathsf{S}}^{⊛}$. If the absolute value of ${\mathsf{S}}_{⊛}$ is greater than zero, then the interval $\left[{\mathsf{S}}_{⊛},{\mathsf{S}}^{⊛}\right]$ is non-negative. We represent the sets of all closed intervals as ${\Re }_I$ and closed intervals that are positive of the real numbers as ${\Re }_I^{+}$, respectively.

A $\left(\mathcal{CR}\right)$ or total order was applied to an interval provided in the following form by Bhunia et al. [6]:

$$\mathsf{S}=〈{\mathsf{S}}_{\mathfrak{C}},{\mathsf{S}}_{\mathfrak{R}}〉=〈\frac{{\mathsf{S}}_{⊛}+{\mathsf{S}}^{⊛}}{2},\frac{{\mathsf{S}}^{⊛}-{\mathsf{S}}_{⊛}}{2}〉$$

This is the relation between two intervals that is known as the $\left(\mathcal{CR}\right)$ order or total order:

Definition 5

([26]). For any two intervals, $\mathsf{S}=\left[{\mathsf{S}}_{⊛},{\mathsf{S}}^{⊛}\right]=〈{\mathsf{S}}_{\mathfrak{C}},{\mathsf{S}}_{\mathfrak{R}}〉$ and $\mathsf{T}=\left[{\mathsf{T}}_{⊛},{\mathsf{T}}^{⊛}\right]=$$〈{\mathsf{T}}_{\mathfrak{C}},{\mathsf{T}}_{\mathfrak{R}}〉$, we describe the $\mathcal{C}.\mathcal{R}.$-order relation as follows:

$$\mathsf{S}{⪯}_{\mathcal{C}.\mathcal{R}.}\mathsf{T}\iff \left\{\begin{array}{ccc}{\mathsf{S}}_{\mathfrak{C}}<{\mathsf{T}}_{\mathfrak{C}},& \mathit{if}& {\mathsf{S}}_{\mathfrak{C}}\ne {\mathsf{T}}_{\mathfrak{C}}\\ {\mathsf{S}}_{\mathfrak{R}}\le {\mathsf{T}}_{\mathfrak{R}},& \mathit{if}& {\mathsf{S}}_{\mathfrak{C}}={\mathsf{T}}_{\mathfrak{C}}\end{array}\right.$$

So, for any two given intervals $\mathsf{S},\mathsf{T}\in {\Re }_I$, either $\mathsf{S}{⪯}_{\mathcal{C}.\mathcal{R}.}\mathsf{T}$ or $\mathsf{T}{⪯}_{\mathcal{C}.\mathcal{R}.}\mathsf{S}$.

Definition 6.

For $\mathsf{L}\in \Re$, Minkowski addition and scalar multiplication are defined by [26],

$$\mathsf{S}+\mathsf{T}=[{\mathsf{S}}_{⊛},{\mathsf{S}}^{⊛}]+[{\mathsf{T}}_{⊛},{\mathsf{T}}^{⊛}]=[{\mathsf{S}}_{⊛}+{\mathsf{T}}_{⊛},{\mathsf{S}}^{⊛}+{\mathsf{T}}^{⊛}];$$

$$\mathsf{L}.\mathsf{S}=\mathsf{L}.\left[{\mathsf{S}}_{⊛},{\mathsf{S}}^{⊛}\right]=\left\{\begin{array}{cc}[\mathsf{L}{\mathsf{S}}_{⊛},\mathsf{L}{\mathsf{S}}^{⊛}],\hfill & \mathsf{L}>0,\hfill \\ \left\{0\right\},\hfill & \mathsf{L}=0,\hfill \\ [\mathsf{L}{\mathsf{S}}^{⊛},\mathsf{L}{\mathsf{S}}_{⊛}],\hfill & \mathsf{L}<0.\hfill \end{array}\right.$$

Moore et al. [1] were the first to introduce the concept of the Riemann integral for functions in the${ }_{\mathcal{V}}^{\mathcal{I}}$ domain. Let $\mathfrak{IR}\left([{\mathsf{U}}_1,{\mathsf{V}}_1]\right)$ and $\mathfrak{R}\left([{\mathsf{U}}_1,{\mathsf{V}}_1]\right)$ denote the sets of all Riemann integrable${ }_{\mathcal{V}}^{\mathcal{I}}$ and real-valued functions on $[{\mathsf{U}}_1,{\mathsf{V}}_1]$, respectively. The following outcome clarifies the connection between Riemann integrable $\left(\mathfrak{R}\right)$-integrable functions and $\left(\mathfrak{IR}\right)$-integrable functions.

Theorem 1

([1]). Suppose $\mathsf{S}:[{\mathsf{U}}_1,{\mathsf{V}}_1]\to {\Re }_I$ be an${ }_{\mathcal{V}}^{\mathcal{I}}$ function, where $\mathsf{S}\left(\mathsf{m}\right)=\left[{\mathsf{S}}_{⊛}\left(\mathsf{m}\right),{\mathsf{S}}^{⊛}\left(\mathsf{m}\right)\right],\mathsf{S}\in$$\mathfrak{IR}\left([{\mathsf{U}}_1,{\mathsf{V}}_1]\right)$ iff ${\mathsf{S}}_{⊛}\left(\mathsf{m}\right),{\mathsf{S}}^{⊛}\left(\mathsf{m}\right)\in \mathfrak{R}\left([{\mathsf{U}}_1,{\mathsf{V}}_1]\right)$,

$$\left(\mathfrak{IR}\right){\int }_{{\mathsf{U}}_1}^{{\mathsf{V}}_1}\mathsf{S}\left(\mathsf{m}\right)d\mathsf{m}=\left[\left(\mathfrak{R}\right){\int }_{{\mathsf{U}}_1}^{{\mathsf{V}}_1}{\mathsf{S}}_{⊛}\left(\mathsf{m}\right)d\mathsf{m},\left(\mathfrak{R}\right){\int }_{{\mathsf{U}}_1}^{{\mathsf{V}}_1}{\mathsf{S}}^{⊛}\left(\mathsf{m}\right)d\mathsf{m}\right],$$

In their discussion of the order preservation property of integrals incorporating $\mathcal{C}.\mathcal{R}.$ order, Shi et al. [5] provided the following outcome.

Theorem 2.

Suppose $\mathsf{S},\mathsf{M}:[{\mathsf{U}}_1,{\mathsf{V}}_1]\to {\Re }_I^{+}$ are two${ }_{\mathcal{V}}^{\mathcal{I}}$ functions, where $\mathsf{S}\left(\mathsf{n}\right)=\left[{\mathsf{S}}_{⊛}\left(\mathsf{n}\right),{\mathsf{S}}^{⊛}\left(\mathsf{n}\right)\right]$, $\mathsf{M}\left(\mathsf{n}\right)=\left[{\mathsf{M}}_{⊛}\left(\mathsf{n}\right),{\mathsf{M}}^{⊛}\left(\mathsf{n}\right)\right]$. If $\mathsf{S},\mathsf{M}\in \mathfrak{IR}[{\mathsf{U}}_1,{\mathsf{V}}_1]$ and $\mathsf{S}\left(\mathsf{n}\right){⪯}_{\mathfrak{r}}^{\mathfrak{c}}\mathsf{M}\left(\mathsf{n}\right)$, then

$${\int }_{{\mathsf{U}}_1}^{{\mathsf{V}}_1}\mathsf{S}\left(\mathsf{n}\right)d\mathsf{n}{⪯}_{\mathfrak{r}}^{\mathfrak{c}}{\int }_{{\mathsf{U}}_1}^{{\mathsf{V}}_1}\mathsf{M}\left(\mathsf{n}\right)d\mathsf{n}.$$

Now, we recall notions from $\mathcal{SP}s$.

Definition 7

([31]). Consider $(\Omega ,\mathsf{B},\mathsf{Q})$ to be any probability space. A mapping $\mathsf{S}:\mathsf{I}\times \Omega \to \Re$ is called a random variable when it is $\mathsf{B}$-measurable. A mapping $\mathsf{S}:\mathsf{I}\times \Re$ is called a stochastic process $\left(\mathcal{SP}\right)$ when each $\mathsf{V}\in \mathsf{I}$, the mapping $\mathsf{S}(\mathsf{V},.)$ is a random variable, having $\mathsf{I}\subseteq \Re$ being an interval.

The $\left(\mathcal{SP}\right)\mathsf{S}$ is referred to as follows:

• Stochastically continuous on $\mathsf{I}$, if

  $${\mathsf{N}}_1-\underset{\mathsf{V}\to {\mathsf{V}}_0}{lim}\mathsf{S}(\mathsf{V},.)=\mathsf{S}({\mathsf{V}}_0,.),$$

  for every ${\mathsf{V}}_0\in \mathsf{I}$, where ${\mathsf{N}}_1-lim$ shows the limit of probability.
• Mean square continuous on $\mathsf{I}$, if

  $$\underset{\mathsf{V}\to {\mathsf{V}}_0}{lim}\mathsf{W}{\left[\mathsf{S}(\mathsf{V},.)-\mathsf{S}({\mathsf{V}}_0,.)\right]}^2=0,$$

  for every ${\mathsf{V}}_0\in \mathsf{I}$, where $\mathsf{W}\left[\mathsf{S}\right(\mathsf{V},.\left)\right]$ shows the value of the expectation related to the random variable $\mathsf{S}(\mathsf{V},.)$.

Now, we define our main definition, motivated by the works of [24].

Definition 8.

Consider $\gamma :[0,1]\to {\Re }^{+}$. $\mathsf{S}:\mathsf{I}\times \Omega \to {\Re }^{+}$ is said to be γ-convex $\left(\mathcal{SP}\right)$, denoted as $\mathsf{S}\in SX\left(\gamma ,I,{\Re }^{+}\right)$, if $\forall {\mathsf{U}}_1,{\mathsf{V}}_1\in [\mathsf{U},\mathsf{V}]$ and $\mathsf{N}\in [0,1]$, then

$$\mathsf{S}\left(\mathsf{N}{\mathsf{U}}_1+(1-\mathsf{N}){\mathsf{V}}_1,.\right)\le \mathsf{N}\gamma \left(\mathsf{N}\right)\mathsf{S}\left({\mathsf{U}}_1,.\right)+(1-\mathsf{N})\gamma (1-\mathsf{N})\mathsf{S}\left({\mathsf{V}}_1,.\right).$$

(8)

In (8), if “≤” is interchanged with “≥”, then becomes γ-concave $\left(\mathcal{SP}\right)$ or $\mathsf{S}\in {\Im }_{\aleph }^{\pi }\left(\gamma ,I,{\Re }^{+}\right)$.

Motivated by works from [10,29], we introduce the following.

Definition 9.

$\mathsf{S}:\mathsf{I}\times \Omega \to {\Re }^{+}$ is said to be an n-polynomial convex $\left(\mathcal{SP}\right)$, denoted as $\mathsf{S}\in {\Im }_{\aleph }^{\alpha }\left(n,I,{\Re }^{+}\right)$, if $\forall {\mathsf{U}}_1,{\mathsf{V}}_1\in \mathsf{I}$ and $\mathsf{N}\in [0,1]$, then

$$\mathsf{S}\left(\mathsf{N}{\mathsf{U}}_1+(1-\mathsf{N}){\mathsf{V}}_1,.\right)\le \frac{1}{\aleph }\left[{\Sigma }_{\Im =1}^{\aleph }(1-{(1-\mathsf{N})}^{\Im })\mathsf{S}\left({\mathsf{U}}_1,.\right)+{\Sigma }_{\Im =1}^{\aleph }(1-{\mathsf{N}}^{\Im })\mathsf{S}\left({\mathsf{V}}_1,.\right)\right].$$

(9)

In (9), if “≤” is interchanged with “≥”, then becomes n-polynomial concave $\left(\mathcal{SP}\right)$ or $\mathsf{S}\in$${\Im }_{\aleph }^{\pi }\left(n,I,{\Re }^{+}\right)$.

Definition 10.

$\mathsf{S}:\mathsf{I}\times \Omega \to {\Re }^{+}$ is said to be a fractional n-polynomial convex $\left(\mathcal{SP}\right)$, denoted as $\mathsf{S}\in {\Im }_{\aleph }^{\alpha }\left(n_q^p,I,{\Re }^{+}\right)$, if $\forall {\mathsf{U}}_1,{\mathsf{V}}_1\in \mathsf{I}$ and $\mathsf{N}\in [0,1]$, then

$$\mathsf{S}\left(\mathsf{N}{\mathsf{U}}_1+(1-\mathsf{N}){\mathsf{V}}_1,.\right)\le \frac{1}{\aleph }\left[{\Sigma }_{\Im =1}^{\aleph }({\mathsf{N}}^{\frac{1}{\Im }})\mathsf{S}\left({\mathsf{U}}_1,.\right)+{\Sigma }_{\Im =1}^{\aleph }{(1-\mathsf{N})}^{\frac{1}{\Im }}\mathsf{S}\left({\mathsf{V}}_1,.\right)\right].$$

(10)

In (10), if “≤” is interchanged with “≥”, then it becomes fractional n-polynomial concave $\left(\mathcal{SP}\right)$ or $\mathsf{S}\in$${\Im }_{\aleph }^{\pi }\left(n_q^p,I,{\Re }^{+}\right)$.

Now, we recall notions from ${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}\mathfrak{CF}s$.

Definition 11

([24]). Consider $\gamma :[0,1]\to {\Re }^{+}$. $\mathsf{S}=[{\mathsf{S}}_{⊛},{\mathsf{S}}^{⊛}]:[\mathsf{U},\mathsf{V}]\to {\Re }_{\mathbf{I}}^{+}$ is said to be${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}-\gamma$-$\left(\mathfrak{CF}\right)$, denoted as $\mathsf{S}\in SX\left({ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}-\gamma ,[\mathsf{U},\mathsf{V}],{\Re }_{\mathbf{I}}^{+}\right)$, if $\forall {\mathsf{U}}_1,{\mathsf{V}}_1\in [\mathsf{U},\mathsf{V}]$ and $\mathsf{N}\in [0,1]$, then

$$\mathsf{S}\left(\mathsf{N}{\mathsf{U}}_1+(1-\mathsf{N}){\mathsf{V}}_1\right){⪯}_{\mathfrak{r}}^{\mathfrak{c}}\mathsf{N}\gamma \left(\mathsf{N}\right)\mathsf{S}\left({\mathsf{U}}_1\right)+(1-\mathsf{N})\gamma (1-\mathsf{N})\mathsf{S}\left({\mathsf{V}}_1\right).$$

(11)

In (11), if “${⪯}_{\mathfrak{r}}^{\mathfrak{c}}$” is interchanged with “${⪰}_{\mathfrak{r}}^{\mathfrak{c}}$”, then it becomes a${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}-\gamma$ concave function or $\mathsf{S}\in$${\Im }_{\aleph }^{\pi }\left({ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}-\gamma ,[\mathsf{U},\mathsf{V}],{\Re }_{\mathbf{I}}^{+}\right)$.

Motivated by the works from [10,29], we introduce the following.

Definition 12.

$\mathsf{S}=[{\mathsf{S}}_{⊛},{\mathsf{S}}^{⊛}]:[\mathsf{U},\mathsf{V}]\to {\Re }_{\mathbf{I}}^{+}$ is said to be${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$-n-polynomial $\left(\mathfrak{CF}\right)$, denoted as $\mathsf{S}\in SX\left({ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}-n,[\mathsf{U},\mathsf{V}],{\Re }_{\mathbf{I}}^{+}\right)$, if $\forall {\mathsf{U}}_1,{\mathsf{V}}_1\in [\mathsf{U},\mathsf{V}]$ and $\mathsf{N}\in [0,1]$, then

$$\mathsf{S}\left(\mathsf{N}{\mathsf{U}}_1+(1-\mathsf{N}){\mathsf{V}}_1\right){⪯}_{\mathfrak{r}}^{\mathfrak{c}}\frac{1}{\aleph }\left[{\Sigma }_{\Im =1}^{\aleph }(1-{(1-\mathsf{N})}^{\Im })\mathsf{S}\left({\mathsf{U}}_1\right)+{\Sigma }_{\Im =1}^{\aleph }(1-{\mathsf{N}}^{\Im })\mathsf{S}\left({\mathsf{V}}_1\right)\right].$$

(12)

In (12), if “${⪯}_{\mathfrak{r}}^{\mathfrak{c}}$” is interchanged with “${⪰}_{\mathfrak{r}}^{\mathfrak{c}}$”, then it becomes a${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$-n-polynomial concave function or $\mathsf{S}\in$${\Im }_{\aleph }^{\pi }\left({ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}-n,[\mathsf{U},\mathsf{V}],{\Re }_{\mathbf{I}}^{+}\right)$.

Definition 13.

$\mathsf{S}=[{\mathsf{S}}_{⊛},{\mathsf{S}}^{⊛}]:[\mathsf{U},\mathsf{V}]\to {\Re }_{\mathbf{I}}^{+}$ is said to be${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$ fractional n-polynomial $\left(\mathfrak{CF}\right)$, denoted as $\mathsf{S}\in SX\left({ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}-n_q^p,[\mathsf{U},\mathsf{V}],{\Re }_{\mathbf{I}}^{+}\right)$, if $\forall {\mathsf{U}}_1,{\mathsf{V}}_1\in [\mathsf{U},\mathsf{V}]$ and $\mathsf{N}\in [0,1]$, then

$$\mathsf{S}\left(\mathsf{N}{\mathsf{U}}_1+(1-\mathsf{N}){\mathsf{V}}_1\right){⪯}_{\mathfrak{r}}^{\mathfrak{c}}\frac{1}{\aleph }\left[{\Sigma }_{\Im =1}^{\aleph }({\mathsf{N}}^{\frac{1}{\Im }})\mathsf{S}\left({\mathsf{U}}_1\right)+{\Sigma }_{\Im =1}^{\aleph }{(1-\mathsf{N})}^{\frac{1}{\Im }}\mathsf{S}\left({\mathsf{V}}_1\right)\right].$$

(13)

In (13), if “${⪯}_{\mathfrak{r}}^{\mathfrak{c}}$” is interchanged with “${⪰}_{\mathfrak{r}}^{\mathfrak{c}}$”, then it becomes a${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$ fractional n-polynomial concave function or $\mathsf{S}\in$${\Im }_{\aleph }^{\pi }\left({ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}-n_q^p,[\mathsf{U},\mathsf{V}],{\Re }_{\mathbf{I}}^{+}\right)$.

Now let us introduce the concept for $\gamma$-convex${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$ function using the works of [24].

Definition 14.

Consider $\gamma :[0,1]\to {\Re }^{+}$. $\left(\mathcal{SP}\right)$$\mathsf{S}=[{\mathsf{S}}_{⊛},{\mathsf{S}}^{⊛}]$ : $\mathsf{I}\times \Omega \to {\Re }_{\mathbf{I}}^{+}$ where $[\mathsf{U},\mathsf{V}]\subseteq \mathsf{I}$ is said to be γ-convex${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$ denoted as

$\mathsf{S}\in$${\Im }_{\aleph }^{\alpha }\left({ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}-\gamma ,[\mathsf{U},\mathsf{V}],{\Re }_{\mathbf{I}}^{+}\right)$, if $\forall {\mathsf{U}}_1,{\mathsf{V}}_1\in [\mathsf{U},\mathsf{V}]$ and $\mathsf{N}\in [0,1]$, then

$$\mathsf{S}\left(\mathsf{N}{\mathsf{U}}_1+(1-\mathsf{N}){\mathsf{V}}_1,.\right){⪯}_{\mathfrak{r}}^{\mathfrak{c}}\mathsf{N}\gamma \left(\mathsf{N}\right)\mathsf{S}\left({\mathsf{U}}_1,.\right)+(1-\mathsf{N})\gamma (1-\mathsf{N})\mathsf{S}\left({\mathsf{V}}_1,.\right)$$

(14)

In (14), if “${⪯}_{\mathfrak{r}}^{\mathfrak{c}}$” is interchanged with “${⪰}_{\mathfrak{r}}^{\mathfrak{c}}$”, then it becomes γ-concave${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$ or $\mathsf{S}\in {\Im }_{\aleph }^{\pi }\left({ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}-\gamma ,[\mathsf{U},\mathsf{V}],{\Re }_{\mathbf{I}}^{+}\right)$.

• If $\gamma \left(\mathsf{x}\right)=1$, (14) gives an ${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$-$\left(\mathfrak{C}\mathcal{SP}\right)$.
• If $\gamma \left(\mathsf{x}\right)=(1-\mathsf{x})$, (14) gives an${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$-tgs-$\left(\mathfrak{C}\mathcal{SP}\right)$.
• If $\gamma \left(\mathsf{x}\right)=\frac{1}{\mathsf{x}}$, (14) gives an${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$-P $\left(\mathfrak{C}\mathcal{SP}\right)$.
• If $\gamma \left(\mathsf{x}\right)=\frac{(e^{\mathsf{x}}-1)}{\mathsf{x}}$, (14) gives an${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$ exponential-type $\left(\mathfrak{C}\mathcal{SP}\right)$.
• If $\gamma \left(\mathsf{x}\right)=\frac{1}{{\mathsf{x}}^2}$, (14) gives an${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$-Godunova–Levin $\left(\mathfrak{C}\mathcal{SP}\right)$.
• If $\gamma \left(\mathsf{x}\right)={\mathsf{x}}^{s-1}$, (14) gives an${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$-s-$\left(\mathfrak{C}\mathcal{SP}\right)$.
• If $\gamma \left(\mathsf{x}\right)={\mathsf{x}}^{-s-1}$, (14) gives an${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$-Godunova–Levin s-$\left(\mathfrak{C}\mathcal{SP}\right)$.
• If $h\left(\mathsf{x}\right)=\mathsf{x}\gamma \left(\mathsf{x}\right)$, (14) gives an${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$-h-$\left(\mathfrak{C}\mathcal{SP}\right)$ [27].
• If $\gamma \left(\mathsf{x}\right)=\frac{1}{\mathsf{x}\aleph }{\Sigma }_{\Im =1}^{\aleph }(1-{(1-\mathsf{x})}^{\Im })$, (14) gives an${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$ n-polynomial $\left(\mathfrak{C}\mathcal{SP}\right)$.
• If $\gamma \left(\mathsf{x}\right)=\frac{1}{\mathsf{x}\aleph }{\Sigma }_{\Im =1}^{\aleph }({\mathsf{x}}^{\frac{1}{\Im }})$, (14) gives an${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$ fractional n-polynomial $\left(\mathfrak{C}\mathcal{SP}\right)$.
• If $\gamma \left(\mathsf{x}\right)=\frac{1}{\mathsf{x}\aleph }\frac{{\Sigma }_{\Im =1}^{\aleph }{\mathsf{M}}_{\Im }(1-{(1-\mathsf{x})}^{\Im })}{{\Sigma }_{\Im =1}^{\aleph }{\mathsf{M}}_{\Im }}$, (14) gives an${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$ generalized n-polynomial $\left(\mathfrak{C}\mathcal{SP}\right)$.

Similarly, we introduce the following notions for ${(}_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}\mathcal{SP}s),$ using the works of [10,29].

Definition 15.

$\left(\mathcal{SP}\right)$$\mathsf{S}=[{\mathsf{S}}_{⊛},{\mathsf{S}}^{⊛}]$ : $\mathsf{I}\times \Omega \to {\Re }_{\mathbf{I}}^{+}$ where $[\mathsf{U},\mathsf{V}]\subseteq \mathsf{I}$ is said to be n-polynomial convex${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$ denoted as $\mathsf{S}\in$${\Im }_{\aleph }^{\alpha }\left({ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}-n,[\mathsf{U},\mathsf{V}],{\Re }_{\mathbf{I}}^{+}\right)$, if $\forall {\mathsf{U}}_1,{\mathsf{V}}_1\in [\mathsf{U},\mathsf{V}]$ and $\mathsf{N}\in [0,1]$, then

$$\mathsf{S}\left(\mathsf{N}{\mathsf{U}}_1+(1-\mathsf{N}){\mathsf{V}}_1,.\right){⪯}_{\mathfrak{r}}^{\mathfrak{c}}\frac{1}{\aleph }\left[{\Sigma }_{\Im =1}^{\aleph }(1-{(1-\mathsf{N})}^{\Im })\mathsf{S}\left({\mathsf{U}}_1,.\right)+{\Sigma }_{\Im =1}^{\aleph }(1-{\mathsf{N}}^{\Im })\mathsf{S}\left({\mathsf{V}}_1,.\right)\right].$$

(15)

In (15), if “${⪯}_{\mathfrak{r}}^{\mathfrak{c}}$” is interchanged with “${⪰}_{\mathfrak{r}}^{\mathfrak{c}}$”, then it becomes n-polynomial concave${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$ or $\mathsf{S}\in {\Im }_{\aleph }^{\pi }\left({ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}-n,[\mathsf{U},\mathsf{V}],{\Re }_{\mathbf{I}}^{+}\right)$.

Definition 16.

$\left(\mathcal{SP}\right)$$\mathsf{S}=[{\mathsf{S}}_{⊛},{\mathsf{S}}^{⊛}]$ : $\mathsf{I}\times \Omega \to {\Re }_{\mathbf{I}}^{+}$ where $[\mathsf{U},\mathsf{V}]\subseteq \mathsf{I}$ is said to be fractional n-polynomial convex${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$ denoted as $\mathsf{S}\in$${\Im }_{\aleph }^{\alpha }\left({ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}-n_q^p,[\mathsf{U},\mathsf{V}],{\Re }_{\mathbf{I}}^{+}\right)$, if $\forall {\mathsf{U}}_1,{\mathsf{V}}_1\in [\mathsf{U},\mathsf{V}]$ and $\mathsf{N}\in [0,1]$, then

$$\mathsf{S}\left(\mathsf{N}{\mathsf{U}}_1+(1-\mathsf{N}){\mathsf{V}}_1,.\right){⪯}_{\mathfrak{r}}^{\mathfrak{c}}\frac{1}{\aleph }\left[{\Sigma }_{\Im =1}^{\aleph }({\mathsf{N}}^{\frac{1}{\Im }})\mathsf{S}\left({\mathsf{U}}_1,.\right)+{\Sigma }_{\Im =1}^{\aleph }{(1-\mathsf{N})}^{\frac{1}{\Im }}\mathsf{S}\left({\mathsf{V}}_1,.\right)\right].$$

(16)

In (16), if “${⪯}_{\mathfrak{r}}^{\mathfrak{c}}$” is interchanged with “${⪰}_{\mathfrak{r}}^{\mathfrak{c}}$”, then it becomes fractional n-polynomial concave${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$ or $\mathsf{S}\in {\Im }_{\aleph }^{\pi }\left({ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}-n_q^p,[\mathsf{U},\mathsf{V}],{\Re }_{\mathbf{I}}^{+}\right)$.

Motivated by the works from [32], we introduce the following.

Definition 17.

$\left(\mathcal{SP}\right)$$\mathsf{S}=[{\mathsf{S}}_{⊛},{\mathsf{S}}^{⊛}]$ : $\mathsf{I}\times \Omega \to {\Re }_{\mathbf{I}}^{+}$ where $[\mathsf{U},\mathsf{V}]\subseteq \mathsf{I}$ is said to be generalized n-polynomial convex${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$ denoted as $\mathsf{S}\in$${\Im }_{\aleph }^{\alpha }\left({ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}-n_{\mathsf{M}},[\mathsf{U},\mathsf{V}],{\Re }_{\mathbf{I}}^{+}\right)$, if $\forall {\mathsf{U}}_1,{\mathsf{V}}_1\in [\mathsf{U},\mathsf{V}]$ and $\mathsf{N}\in [0,1]$, then ${\mathsf{M}}_{\Im }\ge 0,{\Sigma }_{\Im =1}^{\aleph }{\mathsf{M}}_{\Im }>0$,

$$\begin{array}{c}\mathsf{S}\left(\mathsf{N}{\mathsf{U}}_1+(1-\mathsf{N}){\mathsf{V}}_1,.\right)\hfill \\ \hfill {⪯}_{\mathfrak{r}}^{\mathfrak{c}}\frac{1}{\aleph }\left[\frac{{\Sigma }_{\Im =1}^{\aleph }{\mathsf{M}}_{\Im }(1-{(1-\mathsf{N})}^{\Im })}{{\Sigma }_{\Im =1}^{\aleph }{\mathsf{M}}_{\Im }}\mathsf{S}\left({\mathsf{U}}_1,.\right)+\frac{{\Sigma }_{\Im =1}^{\aleph }{\mathsf{M}}_{\Im }(1-{\mathsf{N}}^{\Im })}{{\Sigma }_{\Im =1}^{\aleph }{\mathsf{M}}_{\Im }}\mathsf{S}\left({\mathsf{V}}_1,.\right)\right].\end{array}$$

(17)

In (17), if “${⪯}_{\mathfrak{r}}^{\mathfrak{c}}$” is interchanged with “${⪰}_{\mathfrak{r}}^{\mathfrak{c}}$”, then it becomes generalized n-polynomial concave${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$ or $\mathsf{S}\in {\Im }_{\aleph }^{\pi }\left({ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}-n_{\mathsf{M}},[\mathsf{U},\mathsf{V}],{\Re }_{\mathbf{I}}^{+}\right)$.

Readers can see some recent works related to the interval order relation [33], Kulisch and Miranker-type inclusions for generalized classes of stochastic processes [34], and the center radius order relation [35] for further study, respectively [36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57].

3. Main Results

In this section, we will prove the results related to Jensen, Mercer, Hermite–Hadamard, and a fractional variant of Hermite–Hadamard inclusion, respectively.

3.1. Jensen-Type Inclusion

Theorem 3.

Let $n_{\Im }\in {\Re }^{+}$. If γ is a super multiplicative non-negative function and $\mathsf{S}:\mathsf{I}\times \Omega \to \Re$ is non-negative γ-convex${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$ or we term as $\mathsf{S}\in {\Im }_{\aleph }^{\alpha }\left({ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}-\gamma ,I,{\Re }_{\mathfrak{I}}^{+}\right)$ with $z_{\Im }\in \mathsf{I}$, then the following holds:

$$\mathsf{S}\left(\frac{1}{{\mathsf{M}}_{\aleph }}\sum _{\Im =1}^{\aleph }{n}_{\Im }{z}_{\Im },.\right){⪯}_{\mathfrak{r}}^{\mathfrak{c}}\sum _{\Im =1}^{\aleph }\left[\left(\frac{n_{\Im }}{{\mathsf{M}}_{\aleph }}\right)\gamma \left(\frac{n_{\Im }}{{\mathsf{M}}_{\aleph }}\right)\mathsf{S}\left(z_{\Im },.\right)\right].$$

(18)

where ${\mathsf{M}}_{\aleph }={\sum }_{\Im =1}^{\aleph }{n}_{\Im }$.

Proof. 

By mathematical induction, when $\aleph =2$, then (18) is true. Suppose that (18) holds for $\aleph -1$, then,

$$\mathsf{S}\left(\frac{1}{{\mathsf{M}}_{\aleph }}\sum _{\Im =1}^{\aleph }{n}_{\Im }{z}_{\Im },.\right)=\mathsf{S}\left(\frac{n_{\aleph }}{{\mathsf{M}}_{\aleph }}{z}_{\aleph }+\sum _{\Im =1}^{\aleph -1}\frac{n_{\Im }}{{\mathsf{M}}_{\aleph }}{z}_{\Im },.\right),$$

$$=\mathsf{S}\left(\frac{n_{\aleph }}{{\mathsf{M}}_{\aleph }}{z}_{\aleph }+\frac{{\mathsf{M}}_{\aleph -1}}{{\mathsf{M}}_{\aleph }}\sum _{\Im =1}^{\aleph -1}\frac{n_{\Im }}{{\mathsf{M}}_{\aleph -1}}{z}_{\Im },.\right),$$

$$\begin{array}{cc}& {⪯}_{\mathfrak{r}}^{\mathfrak{c}}\left(\frac{n_{\aleph }}{{\mathsf{M}}_{\aleph }}\right)\gamma \left(\frac{n_{\aleph }}{{\mathsf{M}}_{\aleph }}\right)\mathsf{S}\left(z_{\aleph },.\right)+\left(\frac{{\mathsf{M}}_{\aleph -1}}{{\mathsf{M}}_{\aleph }}\right)\gamma \left(\frac{{\mathsf{M}}_{\aleph -1}}{{\mathsf{M}}_{\aleph }}\right)\mathsf{S}\left(\sum _{\Im =1}^{\aleph -1}\frac{n_{\Im }}{{\mathsf{M}}_{\aleph -1}}{z}_{\Im },.\right),\hfill \\ & {⪯}_{\mathfrak{r}}^{\mathfrak{c}}\left(\frac{n_{\aleph }}{{\mathsf{M}}_{\aleph }}\right)\gamma \left(\frac{n_{\aleph }}{{\mathsf{M}}_{\aleph }}\right)\mathsf{S}\left(z_{\aleph },.\right)+\left(\frac{{\mathsf{M}}_{\aleph -1}}{{\mathsf{M}}_{\aleph }}\right)\gamma \left(\frac{{\mathsf{M}}_{\aleph -1}}{{\mathsf{M}}_{\aleph }}\right)\sum _{\Im =1}^{\aleph -1}\left[\left(\frac{n_{\Im }}{{\mathsf{M}}_{\aleph -1}}\right)\gamma \left(\frac{n_{\Im }}{{\mathsf{M}}_{\aleph -1}}\right)\mathsf{S}\left(z_{\Im },.\right)\right],\hfill \end{array}$$

$$\begin{array}{cc}& {⪯}_{\mathfrak{r}}^{\mathfrak{c}}\left(\frac{n_{\aleph }}{{\mathsf{M}}_{\aleph }}\right)\gamma \left(\frac{n_{\aleph }}{{\mathsf{M}}_{\aleph }}\right)\mathsf{S}\left(z_{\aleph },.\right)+\sum _{\Im =1}^{\aleph -1}\left[\left(\frac{n_{\Im }}{{\mathsf{M}}_{\aleph }}\right)\gamma \left(\frac{n_{\Im }}{{\mathsf{M}}_{\aleph }}\right)\mathsf{S}\left(z_{\Im },.\right)\right],\hfill \\ & {⪯}_{\mathfrak{r}}^{\mathfrak{c}}\sum _{\Im =1}^{\aleph }\left[\left(\frac{n_{\Im }}{{\mathsf{M}}_{\aleph }}\right)\gamma \left(\frac{n_{\Im }}{{\mathsf{M}}_{\aleph }}\right)\mathsf{S}\left(z_{\Im },.\right)\right].\hfill \end{array}$$

Hence, it is proved by mathematical induction. □

Corollary 1.

• If $\gamma \left(\mathsf{x}\right)=1$, (18) gives a Jensen-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$-$\left(\mathfrak{CF}\right)$.
• If $\gamma \left(\mathsf{x}\right)=(1-\mathsf{x})$, (18) gives a Jensen-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$-tgs-$\left(\mathfrak{CF}\right)$.
• If $\gamma \left(\mathsf{x}\right)=\frac{1}{\mathsf{x}}$, (18) gives a Jensen-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$-P $\left(\mathfrak{CF}\right)$.
• If $\gamma \left(\mathsf{x}\right)=\frac{(e^{\mathsf{x}}-1)}{\mathsf{x}}$, (18) gives a Jensen-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$ exponential-type $\left(\mathfrak{CF}\right)$.
• If $\gamma \left(\mathsf{x}\right)=\frac{1}{{\mathsf{x}}^2}$, (18) gives a Jensen-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$-Godunova–Levin $\left(\mathfrak{CF}\right)$.
• If $\gamma \left(\mathsf{x}\right)={\mathsf{x}}^{s-1}$, (18) gives a Jensen-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$-s-$\left(\mathfrak{CF}\right)$.
• If $\gamma \left(\mathsf{x}\right)={\mathsf{x}}^{-s-1}$, (18) gives a Jensen-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$-Godunova–Levin s-$\left(\mathfrak{CF}\right)$.
• If $h\left(\mathsf{x}\right)=\mathsf{x}\gamma \left(\mathsf{x}\right)$, (18) gives a Jensen-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$-h-$\left(\mathfrak{CF}\right)$.
• If $\gamma \left(\mathsf{x}\right)=\frac{1}{\mathsf{x}\aleph }{\Sigma }_{\Im =1}^{\aleph }(1-{(1-\mathsf{x})}^{\Im })$, (18) gives a Jensen-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$ n-polynomial $\left(\mathfrak{CF}\right)$.
• If $\gamma \left(\mathsf{x}\right)=\frac{1}{\mathsf{x}\aleph }{\Sigma }_{\Im =1}^{\aleph }({\mathsf{x}}^{\frac{1}{\Im }})$, (18) gives a Jensen-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$ fractional n-polynomial $\left(\mathfrak{CF}\right)$.
• If $\gamma \left(\mathsf{x}\right)=\frac{1}{\mathsf{x}\aleph }\frac{{\Sigma }_{\Im =1}^{\aleph }{\mathsf{M}}_{\Im }(1-{(1-\mathsf{x})}^{\Im })}{{\Sigma }_{\Im =1}^{\aleph }{\mathsf{M}}_{\Im }}$, (18) gives a Jensen-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$ generalized n-polynomial $\left(\mathfrak{CF}\right)$.

3.2. Mercer-Type Inclusion

An extension of the Jensen inequality, given by Sahoo [31], is as follows.

Theorem 4

(Lemma 2.3 ). [31] If $\mathsf{S}$ being a convex $\left(\mathcal{SP}\right)$ on interval $\mathsf{I}\times \Omega :=[\mathsf{U},\mathsf{V}]\times \Omega ,n_{\Im }\in \mathsf{I},1\le \Im \le \aleph$ and ${\sum }_{\Im =1}^{\aleph }{z}_{\Im }=1$, then

$${\mathsf{M}}_{\mathsf{S}}\left(n,z\right)=\mathsf{S}\left(\mathsf{U}+\mathsf{V}-\sum _{\Im =1}^{\aleph }{z}_{\Im }{n}_{\Im },.\right)+\sum _{\Im =1}^{\aleph }{z}_{\Im }\mathsf{S}(n_{\Im },.)\le \mathsf{S}\left(\mathsf{U},.\right)+\mathsf{S}\left(\mathsf{V},.\right).$$

(19)

Theorem 5.

Let $\mathsf{S}$ be a${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}\gamma$-convex $\left(\mathcal{SP}\right)$ on $[\mathsf{U},\mathsf{V}]\times \Omega ,{\mathsf{N}}_1,...,{\mathsf{N}}_{\aleph }\in [\mathsf{U},\mathsf{V}]$ and $\frac{{\mathsf{N}}_1+...+{\mathsf{N}}_{\aleph }}{\aleph }=\frac{\mathsf{U}+\mathsf{V}}{2}$, Thus, the following holds:

$$\frac{1}{\gamma \left(\frac{1}{\aleph }\right)}\mathsf{S}\left(\frac{\mathsf{U}+\mathsf{V}}{2},.\right){⪯}_{\mathfrak{r}}^{\mathfrak{c}}\frac{{\sum }_{\Im =1}^{\aleph }\mathsf{S}({\mathsf{N}}_{\Im },.)}{\aleph }{⪯}_{\mathfrak{r}}^{\mathfrak{c}}\frac{\gamma \left(\frac{1}{2}\right)}{2}\left[\mathsf{S}(\mathsf{U},.)+\mathsf{S}(\mathsf{V},.)\right].$$

(20)

Proof. 

Since $\frac{{\mathsf{N}}_1+...+{\mathsf{N}}_{\aleph }}{\aleph }=\frac{\mathsf{U}+\mathsf{V}}{2}$, the first inclusion is easy to achieve from Jensen’s inclusion:

$$\mathsf{S}\left(\frac{\mathsf{U}+\mathsf{V}}{2},.\right){⪯}_{\mathfrak{r}}^{\mathfrak{c}}\mathsf{S}\left(\frac{{\mathsf{N}}_1+...+{\mathsf{N}}_{\aleph }}{\aleph },.\right){⪯}_{\mathfrak{r}}^{\mathfrak{c}}\frac{\gamma \left(\frac{1}{\aleph }\right)}{\aleph }\sum _{\Im =1}^{\aleph }\mathsf{S}({\mathsf{N}}_{\Im },.),$$

The second inclusion is achieved as given in the following. Since ${\mathsf{N}}_{\Im }\in [\mathsf{U},\mathsf{V}]$, there is a sequence ${\left\{{\mathsf{A}}_{\Im }\right\}}_{\Im =1}^{\aleph },{\mathsf{A}}_{\Im }\in [0,1]$ such that ${\mathsf{N}}_{\Im }={\mathsf{A}}_{\Im }\mathsf{U}+(1-{\mathsf{A}}_{\Im })\mathsf{V}$. On the other hand, since $\frac{{\mathsf{N}}_1+...+{\mathsf{N}}_{\aleph }}{\aleph }=\frac{\mathsf{U}+\mathsf{V}}{2}$, we have

$$\sum _{\Im =1}^{\aleph }\frac{{\mathsf{A}}_{\Im }\gamma \left({\mathsf{A}}_{\Im }\right)}{\aleph }=\sum _{\Im =1}^{\aleph }\frac{(1-{\mathsf{A}}_{\Im })\gamma (1-{\mathsf{A}}_{\Im })}{\aleph }=\frac{1}{2}\gamma \left(\frac{1}{2}\right),$$

So,

$$\begin{array}{l}\frac{{\sum }_{\Im =1}^{\aleph }\mathsf{S}({\mathsf{N}}_{\Im },.)}{\aleph }=\sum _{\Im =1}^{\aleph }\frac{\mathsf{S}({\mathsf{A}}_{\Im }\mathsf{U}+(1-{\mathsf{A}}_{\Im })\mathsf{V},.)}{\aleph }\\ {⪯}_{\mathfrak{r}}^{\mathfrak{c}}\sum _{\Im =1}^{\aleph }\frac{{\mathsf{A}}_{\Im }\gamma \left({\mathsf{A}}_{\Im }\right)\mathsf{S}(\mathsf{U},.)+(1-{\mathsf{A}}_{\Im })\gamma (1-{\mathsf{A}}_{\Im })\mathsf{S}(\mathsf{V},.)}{\aleph }\\ {⪯}_{\mathfrak{r}}^{\mathfrak{c}}\frac{\gamma \left(\frac{1}{2}\right)}{2}\left[\mathsf{S}(\mathsf{U},.)+\mathsf{S}(\mathsf{V},.)\right].\end{array}$$

□

Remark 1.

For $\aleph =2$ in (20), then

$$\mathsf{S}({\mathsf{N}}_1,.)+\mathsf{S}({\mathsf{N}}_2,.){⪯}_{\mathfrak{r}}^{\mathfrak{c}}\gamma \left(\frac{1}{2}\right)\left[\mathsf{S}(\mathsf{U},.)+\mathsf{S}(\mathsf{V},.)\right].$$

(21)

Remark 2.

Let $\mathsf{S}:(0,\infty )$ be a${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}\gamma$-convex $\left(\mathcal{SP}\right)$ and $\frac{1+2+...+\aleph }{\aleph }=\frac{1+\aleph }{2}$. Thus, (20) implies,

$$\frac{1}{\gamma \left(\frac{1}{\aleph }\right)}\mathsf{S}\left(\frac{1+\aleph }{2},.\right){⪯}_{\mathfrak{r}}^{\mathfrak{c}}\frac{{\sum }_{\Im =1}^{\aleph }\mathsf{S}(\Im ,.)}{\aleph }{⪯}_{\mathfrak{r}}^{\mathfrak{c}}\frac{\gamma \left(\frac{1}{2}\right)}{2}\left[\mathsf{S}(1,.)+\mathsf{S}(\aleph ,.)\right].$$

(22)

Remark 3.

Let $\mathsf{S}$ be an${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$-convex $\left(\mathcal{SP}\right)$ on $[\mathsf{U},\mathsf{V}]$ and let $\mathsf{N}\in [\mathsf{U},\mathsf{V}],{\mathsf{N}}_1=\frac{\mathsf{U}+\mathsf{N}}{2},{\mathsf{N}}_2=\frac{\mathsf{V}+\mathsf{N}}{2}$ and ${\mathsf{N}}_3=\mathsf{U}+\mathsf{V}-\mathsf{N}$. Then, $\frac{{\mathsf{N}}_1+{\mathsf{N}}_2+{\mathsf{N}}_3}{3}=\frac{\mathsf{U}+\mathsf{V}}{2}$; hence, by the use of (20), we revive the Hermite–Hadamard inequality after integrating over $[\mathsf{U},\mathsf{V}]$ with respect to $\mathsf{N}$:

$$\mathsf{S}\left(\frac{{\mathsf{U}}_1+{\mathsf{V}}_1}{2},.\right){⪯}_{\mathfrak{r}}^{\mathfrak{c}}\frac{1}{{\mathsf{V}}_1-{\mathsf{U}}_1}{\int }_{{\mathsf{U}}_1}^{{\mathsf{V}}_1}\mathsf{S}(\mathsf{N},.)d\mathsf{N}{⪯}_{\mathfrak{r}}^{\mathfrak{c}}\frac{[\mathsf{S}({\mathsf{U}}_1,.)+\mathsf{S}({\mathsf{V}}_1,.)]}{2}$$

Corollary 2.

• If $\gamma \left(\mathsf{x}\right)=1$, (20) gives a Mercer-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$-$\left(\mathfrak{CF}\right)$.
• If $\gamma \left(\mathsf{x}\right)=(1-\mathsf{x})$, (20) gives a Mercer-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$-tgs-$\left(\mathfrak{CF}\right)$.
• If $\gamma \left(\mathsf{x}\right)=\frac{1}{\mathsf{x}}$, (20) gives a Mercer-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$-P $\left(\mathfrak{CF}\right)$.
• If $\gamma \left(\mathsf{x}\right)=\frac{(e^{\mathsf{x}}-1)}{\mathsf{x}}$, (20) gives a Mercer-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$ exponential-type $\left(\mathfrak{CF}\right)$.
• If $\gamma \left(\mathsf{x}\right)=\frac{1}{{\mathsf{x}}^2}$, (20) gives a Mercer-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$-Godunova–Levin $\left(\mathfrak{CF}\right)$.
• If $\gamma \left(\mathsf{x}\right)={\mathsf{x}}^{s-1}$, (20) gives a Mercer-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$-s-$\left(\mathfrak{CF}\right)$.
• If $\gamma \left(\mathsf{x}\right)={\mathsf{x}}^{-s-1}$, (20) gives a Mercer-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$-Godunova–Levin s-$\left(\mathfrak{CF}\right)$.
• If $h\left(\mathsf{x}\right)=\mathsf{x}\gamma \left(\mathsf{x}\right)$, (20) gives a Mercer-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$-h-$\left(\mathfrak{CF}\right)$.
• If $\gamma \left(\mathsf{x}\right)=\frac{1}{\mathsf{x}\aleph }{\Sigma }_{\Im =1}^{\aleph }(1-{(1-\mathsf{x})}^{\Im })$, (20) gives a Mercer-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$ n-polynomial $\left(\mathfrak{CF}\right)$.
• If $\gamma \left(\mathsf{x}\right)=\frac{1}{\mathsf{x}\aleph }{\Sigma }_{\Im =1}^{\aleph }({\mathsf{x}}^{\frac{1}{\Im }})$, (20) gives a Mercer-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$ fractional n-polynomial $\left(\mathfrak{CF}\right)$.
• If $\gamma \left(\mathsf{x}\right)=\frac{1}{\mathsf{x}\aleph }\frac{{\Sigma }_{\Im =1}^{\aleph }{\mathsf{M}}_{\Im }(1-{(1-\mathsf{x})}^{\Im })}{{\Sigma }_{\Im =1}^{\aleph }{\mathsf{M}}_{\Im }}$, (20) gives a Mercer-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$ generalized n-polynomial $\left(\mathfrak{CF}\right)$.

3.3. Hermite–Hadamard-Type Inclusion

Theorem 6.

Let $\gamma :(0,1)\to {\Re }^{+}$ and $\gamma \left(\frac{1}{2}\right)\ne 0$. Suppose mapping $\mathsf{S}:\mathsf{I}\times \Omega \to {\Re }_{\mathbf{I}}^{+}$ is γ-convex $\left(\mathcal{SP}\right)$ and also mean square integrable for${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$. ∀${\mathsf{U}}_1,{\mathsf{V}}_1\in [\mathsf{U},\mathsf{V}]\subseteq \mathsf{I}$, if $\mathsf{S}\in {\Im }_{\aleph }^{\alpha }\left({ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}-\gamma ,[\mathsf{U},\mathsf{V}],{\Re }_{\mathbf{I}}^{+}\right)$ and $\mathsf{S}\in {\Re }_{\mathbf{I}}^{+}$. Then, we obtain the following result:

$$\begin{array}{l}\frac{1}{\gamma \left(\frac{1}{2}\right)}\mathsf{S}\left(\frac{{\mathsf{U}}_1+{\mathsf{V}}_1}{2},.\right){⪯}_{\mathfrak{r}}^{\mathfrak{c}}\frac{1}{{\mathsf{V}}_1-{\mathsf{U}}_1}{\int }_{{\mathsf{U}}_1}^{{\mathsf{V}}_1}\mathsf{S}(\mathsf{N},.)d\mathsf{N}\\ {⪯}_{\mathfrak{r}}^{\mathfrak{c}}[\mathsf{S}({\mathsf{U}}_1,.)+\mathsf{S}({\mathsf{V}}_1,.)]{\int }_0^{1}s\gamma \left(s\right)ds.\end{array}$$

(23)

Proof. 

Since $\mathsf{S}\in {\Im }_{\aleph }^{\alpha }\left({ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}-\gamma ,[\mathsf{U},\mathsf{V}],{\Re }_{\mathbf{I}}^{+}\right)$, and integrating over $(0,1)$, we have

$$\frac{2}{\left[\gamma \left(\frac{1}{2}\right)\right]}\mathsf{S}\left(\frac{{\mathsf{U}}_1+{\mathsf{V}}_1}{2},.\right){⪯}_{\mathfrak{r}}^{\mathfrak{c}}\mathsf{S}(s{\mathsf{U}}_1+(1-s){\mathsf{V}}_1,.)+\mathsf{S}((1-s){\mathsf{U}}_1+s{\mathsf{V}}_1,.).$$

$$\begin{array}{cc}& \frac{2}{\left[\gamma \left(\frac{1}{2}\right)\right]}\mathsf{S}\left(\frac{{\mathsf{U}}_1+{\mathsf{V}}_1}{2},.\right)\hfill \\ & {⪯}_{\mathfrak{r}}^{\mathfrak{c}}\left[{\int }_0^1\mathsf{S}(s{\mathsf{U}}_1+(1-s){\mathsf{V}}_1,.)ds+{\int }_0^1\mathsf{S}((1-s){\mathsf{U}}_1+s{\mathsf{V}}_1,.)ds\right]\hfill \\ & =[{\int }_0^1{\mathsf{S}}_{⊛}(s{\mathsf{U}}_1+(1-s){\mathsf{V}}_1,.)ds+{\int }_0^1{\mathsf{S}}_{⊛}((1-s){\mathsf{U}}_1+s{\mathsf{V}}_1,.)ds\hfill \\ & \left.,{\int }_0^1{\mathsf{S}}^{⊛}(s{\mathsf{U}}_1+(1-s){\mathsf{V}}_1,.)ds+{\int }_0^1{\mathsf{S}}^{⊛}((1-s){\mathsf{U}}_1+s{\mathsf{V}}_1,.)ds\right]\hfill \end{array}$$

$$\begin{array}{cc}& =\left[\frac{2}{{\mathsf{V}}_1-{\mathsf{U}}_1}{\int }_{{\mathsf{U}}_1}^{{\mathsf{V}}_1}{\mathsf{S}}_{⊛}(\mathsf{N},.)d\mathsf{N},\frac{2}{{\mathsf{V}}_1-{\mathsf{U}}_1}{\int }_{{\mathsf{U}}_1}^{{\mathsf{V}}_1}{\mathsf{S}}^{⊛}(\mathsf{N},.)d\mathsf{N}\right]\hfill \\ & =\frac{2}{{\mathsf{V}}_1-{\mathsf{U}}_1}{\int }_{{\mathsf{U}}_1}^{{\mathsf{V}}_1}\mathsf{S}(\mathsf{N},.)d\mathsf{N}.\hfill \end{array}$$

$$\frac{1}{\left[\gamma \left(\frac{1}{2}\right)\right]}\mathsf{S}\left(\frac{{\mathsf{U}}_1+{\mathsf{V}}_1}{2},.\right){⪯}_{\mathfrak{r}}^{\mathfrak{c}}\frac{1}{{\mathsf{V}}_1-{\mathsf{U}}_1}{\int }_{{\mathsf{U}}_1}^{{\mathsf{V}}_1}\mathsf{S}(\mathsf{N},.)d\mathsf{N}.$$

(24)

By (14), we can obtain,

$$\mathsf{S}(s{\mathsf{U}}_1+(1-s){\mathsf{V}}_1,.){⪯}_{\mathfrak{r}}^{\mathfrak{c}}s\gamma \left(s\right)\mathsf{S}({\mathsf{U}}_1,.)+(1-s)\gamma (1-s)\mathsf{S}({\mathsf{V}}_1,.).$$

Integrating over $(0,1)$, we can obtain,

$${\int }_0^1\mathsf{S}(s{\mathsf{U}}_1+(1-s){\mathsf{V}}_1,.)ds{⪯}_{\mathfrak{r}}^{\mathfrak{c}}\mathsf{S}({\mathsf{U}}_1,.){\int }_0^{1}s\gamma \left(s\right)ds+\mathsf{S}({\mathsf{V}}_1,.){\int }_0^1(1-s)\gamma (1-s)ds.$$

Accordingly,

$$\frac{1}{{\mathsf{V}}_1-{\mathsf{U}}_1}{\int }_{{\mathsf{U}}_1}^{{\mathsf{V}}_1}\mathsf{S}(\mathsf{N},.)d\mathsf{N}{⪯}_{\mathfrak{r}}^{\mathfrak{c}}[\mathsf{S}({\mathsf{U}}_1,.)+\mathsf{S}({\mathsf{V}}_1,.)]{\int }_0^{1}s\gamma \left(s\right)ds.$$

(25)

Now, combining (24) and (25), we obtain the required (23). □

Corollary 3.

• If $\gamma \left(\mathsf{x}\right)=1$, (23) gives a Hermite–Hadamard-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$-$\left(\mathfrak{CF}\right)$.
• If $\gamma \left(\mathsf{x}\right)=(1-\mathsf{x})$, (23) gives a Hermite–Hadamard-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$-tgs-$\left(\mathfrak{CF}\right)$.
• If $\gamma \left(\mathsf{x}\right)=\frac{1}{\mathsf{x}}$, (23) gives a Hermite–Hadamard-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$-P $\left(\mathfrak{CF}\right)$.
• If $\gamma \left(\mathsf{x}\right)=\frac{(e^{\mathsf{x}}-1)}{\mathsf{x}}$, (23) gives a Hermite–Hadamard-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$ exponential-type $\left(\mathfrak{CF}\right)$.
• If $\gamma \left(\mathsf{x}\right)=\frac{1}{{\mathsf{x}}^2}$, (23) gives a Hermite–Hadamard-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$-Godunova–Levin $\left(\mathfrak{CF}\right)$.
• If $\gamma \left(\mathsf{x}\right)={\mathsf{x}}^{s-1}$, (23) gives a Hermite–Hadamard-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$-s-$\left(\mathfrak{CF}\right)$.
• If $\gamma \left(\mathsf{x}\right)={\mathsf{x}}^{-s-1}$, (23) gives a Hermite–Hadamard-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$-Godunova–Levin s-$\left(\mathfrak{CF}\right)$.
• If $h\left(\mathsf{x}\right)=\mathsf{x}\gamma \left(\mathsf{x}\right)$, (23) gives a Hermite–Hadamard-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$-h-$\left(\mathfrak{CF}\right)$.
• If $\gamma \left(\mathsf{x}\right)=\frac{1}{\mathsf{x}\aleph }{\Sigma }_{\Im =1}^{\aleph }(1-{(1-\mathsf{x})}^{\Im })$, (23) gives a Hermite–Hadamard-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$ n-polynomial $\left(\mathfrak{CF}\right)$.
• If $\gamma \left(\mathsf{x}\right)=\frac{1}{\mathsf{x}\aleph }{\Sigma }_{\Im =1}^{\aleph }({\mathsf{x}}^{\frac{1}{\Im }})$, (23) gives a Hermite–Hadamard-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$ fractional n-polynomial $\left(\mathfrak{CF}\right)$.
• If $\gamma \left(\mathsf{x}\right)=\frac{1}{\mathsf{x}\aleph }\frac{{\Sigma }_{\Im =1}^{\aleph }{\mathsf{M}}_{\Im }(1-{(1-\mathsf{x})}^{\Im })}{{\Sigma }_{\Im =1}^{\aleph }{\mathsf{M}}_{\Im }}$, (23) gives a Hermite–Hadamard-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$ generalized n-polynomial $\left(\mathfrak{CF}\right)$.

Example 1.

Consider $[{\mathsf{U}}_1,{\mathsf{V}}_1]=[0,1],\gamma \left(\mathsf{n}\right)=1,\forall \mathsf{n}\in [0,1]$. If $\mathsf{S}:[{\mathsf{U}}_1,{\mathsf{V}}_1]\times \Omega \to {\Re }_{\mathbf{I}}{ }^{+}$ is defined below and plotted using Python programmed graphs (Figure 1),

$$\mathsf{S}(\mathsf{N},.)=[-12{\mathsf{N}}^2-1,4{\mathsf{N}}^2+9]=\langle -4{\mathsf{N}}^2+4,8{\mathsf{N}}^2+5\rangle ,\mathsf{N}\in [0,1].$$

Nevertheless, the newly constructed${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}\mathcal{SP}s$ demonstrate that the $\mathcal{SP}s$ at the left and right endpoints (green) are convex when the center and radius order is applied.

Then,

$$\begin{array}{cc}\hfill \mathsf{S}\left(\frac{{\mathsf{U}}_1+{\mathsf{V}}_1}{2},.\right)& =\mathsf{S}\left(\frac{1}{2},.\right)=\left[3,7\right],\hfill \\ \hfill \frac{1}{{\mathsf{V}}_1-{\mathsf{U}}_1}{\int }_{{\mathsf{U}}_1}^{{\mathsf{V}}_1}\mathsf{S}(\mathsf{N},.)d\mathsf{N}& =\left[{\int }_0^1\left(-4{\mathsf{N}}^2+4\right)d\mathsf{N},{\int }_0^1\left(8{\mathsf{N}}^2+5\right)d\mathsf{N}\right]=\left[\frac{8}{3},\frac{23}{3}\right],\hfill \end{array}$$

$$[\mathsf{S}({\mathsf{U}}_1,.)+\mathsf{S}({\mathsf{V}}_1,.)]{\int }_0^{1}n\gamma \left(n\right)dn=[2,9].$$

As a result,

$$\left[3,7\right]{⪯}_{\mathfrak{r}}^{\mathfrak{c}}\left[\frac{8}{3},\frac{23}{3}\right]{⪯}_{\mathfrak{r}}^{\mathfrak{c}}[2,9].$$

(Figure 2) demonstrates the newly constructed left (red dotted), middle (blue dotted), and right (green dotted) parts of (23) when substitutions are applied.

This verifies the (23).

Theorem 7.

Suppose $\gamma :(0,1)\to {\Re }^{+}$ and $\gamma \left(\frac{1}{2}\right)\ne 0$. Suppose mapping $\mathsf{S}:\mathsf{I}\times \Omega \to {\Re }_{\mathbf{I}}^{+}$ is γ-convex $\left(\mathcal{SP}\right)$ and also mean square integrable for${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$. ∀${\mathsf{U}}_1,{\mathsf{V}}_1\in [\mathsf{U},\mathsf{V}]\subseteq \mathsf{I}$, if $\mathsf{S}\in {\Im }_{\aleph }^{\alpha }\left({ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}-\gamma ,[\mathsf{U},\mathsf{V}],{\Re }_{\mathbf{I}}^{+}\right)$ and $\mathsf{S}\in {\Re }_{\mathbf{I}}^{+}$. Then, we obtain the following result:

$$\begin{array}{l}\frac{1}{{\left[\gamma \left(\frac{1}{2}\right)\right]}^2}\mathsf{S}\left(\frac{{\mathsf{U}}_1+{\mathsf{V}}_1}{2},.\right){⪯}_{\mathfrak{r}}^{\mathfrak{c}}{\mathsf{S}}_1{⪯}_{\mathfrak{r}}^{\mathfrak{c}}\frac{1}{{\mathsf{V}}_1-{\mathsf{U}}_1}{\int }_{{\mathsf{U}}_1}^{{\mathsf{V}}_1}\mathsf{S}(\mathsf{N},.)d\mathsf{N}\\ {⪯}_{\mathfrak{r}}^{\mathfrak{c}}{\mathsf{S}}_2{⪯}_{\mathfrak{r}}^{\mathfrak{c}}\left\{[\mathsf{S}({\mathsf{U}}_1,.)+\mathsf{S}({\mathsf{V}}_1,.)]\left[\frac{1}{2}+\frac{1}{2}\gamma \left(\frac{1}{2}\right)\right]\right\}{\int }_0^{1}s\gamma \left(s\right)ds,\end{array}$$

(26)

where,

$$\begin{array}{c}{\mathsf{S}}_1=\frac{1}{2\gamma \left(\frac{1}{2}\right)}\left[\mathsf{S}\left(\frac{3{\mathsf{U}}_1+{\mathsf{V}}_1}{4},.\right)+\mathsf{S}\left(\frac{3{\mathsf{V}}_1+{\mathsf{U}}_1}{4},.\right)\right],\\ {\mathsf{S}}_2=\left[\mathsf{S}\left(\frac{{\mathsf{U}}_1+{\mathsf{V}}_1}{2},.\right)+\frac{\mathsf{S}({\mathsf{U}}_1,.)+\mathsf{S}({\mathsf{V}}_1,.)}{2}\right]{\int }_0^{1}s\gamma \left(s\right)ds.\end{array}$$

Proof. 

Taking $\left[{\mathsf{U}}_1,\frac{{\mathsf{U}}_1+{\mathsf{V}}_1}{2}\right]$, we have

$$\begin{array}{l}\mathsf{S}\left(\frac{3{\mathsf{U}}_1+{\mathsf{V}}_1}{4},.\right)\\ {⪯}_{\mathfrak{r}}^{\mathfrak{c}}\frac{1}{2}\gamma \left(\frac{1}{2}\right)\mathsf{S}\left(s{\mathsf{U}}_1+(1-s)\frac{{\mathsf{U}}_1+{\mathsf{V}}_1}{2},.\right)+\frac{1}{2}\gamma \left(\frac{1}{2}\right)\mathsf{S}\left((1-s){\mathsf{U}}_1+s\frac{{\mathsf{U}}_1+{\mathsf{V}}_1}{2},.\right),\end{array}$$

Integrating over $(0,1)$, we have

$$\begin{array}{ll}\mathsf{S}\left(\frac{3{\mathsf{U}}_1+{\mathsf{V}}_1}{2},.\right)& {⪯}_{\mathfrak{r}}^{\mathfrak{c}}\frac{1}{2}\gamma \left(\frac{1}{2}\right)[{\int }_0^1\mathsf{S}\left(s{\mathsf{U}}_1+(1-s)\frac{{\mathsf{U}}_1+{\mathsf{V}}_1}{2},.\right)ds\hfill \\ & \left.+{\int }_0^1\mathsf{S}\left(s\frac{{\mathsf{U}}_1+{\mathsf{V}}_1}{2}+(1-s){\mathsf{V}}_1,.\right)ds\right]\end{array}$$

$$\begin{array}{cc}& =\frac{1}{2}\gamma \left(\frac{1}{2}\right)\left[\frac{2}{{\mathsf{V}}_1-{\mathsf{U}}_1}{\int }_{{\mathsf{U}}_1}^{\frac{{\mathsf{U}}_1+{\mathsf{V}}_1}{2}}\mathsf{S}(\mathsf{N},.)d\mathsf{N}+\frac{2}{{\mathsf{V}}_1-{\mathsf{U}}_1}{\int }_{{\mathsf{U}}_1}^{\frac{{\mathsf{U}}_1+{\mathsf{V}}_1}{2}}\mathsf{S}(\mathsf{N},.)d\mathsf{N}\right]\hfill \\ & =\frac{1}{2}\gamma \left(\frac{1}{2}\right)\left[\frac{4}{{\mathsf{V}}_1-{\mathsf{U}}_1}{\int }_{{\mathsf{U}}_1}^{\frac{{\mathsf{U}}_1+{\mathsf{V}}_1}{2}}\mathsf{S}(\mathsf{N},.)d\mathsf{N}\right].\hfill \end{array}$$

Accordingly,

$$\frac{1}{2\gamma \left(\frac{1}{2}\right)}\mathsf{S}\left(\frac{3{\mathsf{U}}_1+{\mathsf{V}}_1}{2},.\right){⪯}_{\mathfrak{r}}^{\mathfrak{c}}\frac{1}{{\mathsf{V}}_1-{\mathsf{U}}_1}{\int }_{{\mathsf{U}}_1}^{\frac{{\mathsf{U}}_1+{\mathsf{V}}_1}{2}}\mathsf{S}(\mathsf{N},.)d\mathsf{N},$$

(27)

Similarly, for interval $\left[\frac{{\mathsf{U}}_1+{\mathsf{V}}_1}{2},{\mathsf{V}}_1\right]$, we have

$$\frac{1}{2\gamma \left(\frac{1}{2}\right)}\mathsf{S}\left(\frac{3{\mathsf{V}}_1+{\mathsf{U}}_1}{2},.\right){⪯}_{\mathfrak{r}}^{\mathfrak{c}}\frac{1}{{\mathsf{V}}_1-{\mathsf{U}}_1}{\int }_{\frac{{\mathsf{U}}_1+{\mathsf{V}}_1}{2}}^{{\mathsf{V}}_1}\mathsf{S}(\mathsf{N},.)d\mathsf{N},$$

(28)

Adding inclusions (27) and (28), we obtain

$${\mathsf{S}}_1=\frac{1}{2\gamma \left(\frac{1}{2}\right)}\left[\mathsf{S}\left(\frac{3{\mathsf{U}}_1+{\mathsf{V}}_1}{4},.\right)+\mathsf{S}\left(\frac{3{\mathsf{V}}_1+{\mathsf{U}}_1}{4},.\right)\right]{⪯}_{\mathfrak{r}}^{\mathfrak{c}}\left[\frac{1}{{\mathsf{V}}_1-{\mathsf{U}}_1}{\int }_{{\mathsf{U}}_1}^{{\mathsf{V}}_1}\mathsf{S}(\mathsf{N},.)d\mathsf{N}\right].$$

Now,

$$\begin{array}{cc}& \frac{1}{{\left[\gamma \left(\frac{1}{2}\right)\right]}^2}\mathsf{S}\left(\frac{{\mathsf{U}}_1+{\mathsf{V}}_1}{2},.\right)\hfill \\ & =\frac{1}{{\left[\gamma \left(\frac{1}{2}\right)\right]}^2}\mathsf{S}\left(\frac{1}{2}\left(\frac{3{\mathsf{U}}_1+{\mathsf{V}}_1}{4},.\right)+\frac{1}{2}\left(\frac{3{\mathsf{V}}_1+{\mathsf{U}}_1}{4},.\right)\right),\hfill \\ & {⪯}_{\mathfrak{r}}^{\mathfrak{c}}\frac{1}{{\left[\gamma \left(\frac{1}{2}\right)\right]}^2}\left[\frac{1}{2}\gamma \left(\frac{1}{2}\right)\mathsf{S}\left(\frac{3{\mathsf{U}}_1+{\mathsf{V}}_1}{4},.\right)+\frac{1}{2}\gamma \left(\frac{1}{2}\right)\mathsf{S}\left(\frac{3{\mathsf{V}}_1+{\mathsf{U}}_1}{4},.\right)\right],\hfill \\ & =\frac{1}{2\gamma \left(\frac{1}{2}\right)}\left[\mathsf{S}\left(\frac{3{\mathsf{U}}_1+{\mathsf{V}}_1}{4},.\right)+\mathsf{S}\left(\frac{3{\mathsf{V}}_1+{\mathsf{U}}_1}{4},.\right)\right],\hfill \\ & ={\mathsf{S}}_1,\hfill \end{array}$$

$$\begin{array}{cc}& {⪯}_{\mathfrak{r}}^{\mathfrak{c}}\frac{1}{2\gamma \left(\frac{1}{2}\right)}\{\frac{1}{2}\gamma \left(\frac{1}{2}\right)\left[\mathsf{S}({\mathsf{U}}_1,.)+\mathsf{S}\left(\frac{{\mathsf{U}}_1+{\mathsf{V}}_1}{2},.\right)\right],\hfill \\ & +\frac{1}{2}\gamma \left(\frac{1}{2}\right)\left[\mathsf{S}({\mathsf{V}}_1,.)+\mathsf{S}\left(\frac{{\mathsf{U}}_1+{\mathsf{V}}_1}{2},.\right)\right]\},\hfill \\ & =\frac{1}{2}\left[\frac{\mathsf{S}({\mathsf{U}}_1,.)+\mathsf{S}({\mathsf{V}}_1,.)}{2}+\mathsf{S}\left(\frac{{\mathsf{U}}_1+{\mathsf{V}}_1}{2},.\right)\right],\hfill \\ & {⪯}_{\mathfrak{r}}^{\mathfrak{c}}\left[\frac{\mathsf{S}({\mathsf{U}}_1,.)+\mathsf{S}({\mathsf{V}}_1,.)}{2}+\mathsf{S}\left(\frac{{\mathsf{U}}_1+{\mathsf{V}}_1}{2},.\right)\right]{\int }_0^{1}s\gamma \left(s\right)ds,\hfill \end{array}$$

$$\begin{array}{cc}& {⪯}_{\mathfrak{r}}^{\mathfrak{c}}\left[\frac{\mathsf{S}({\mathsf{U}}_1,.)+\mathsf{S}({\mathsf{V}}_1,.)}{2}+\frac{1}{2}\gamma \left(\frac{1}{2}\right)\mathsf{S}({\mathsf{U}}_1,.)+\frac{1}{2}\gamma \left(\frac{1}{2}\right)\mathsf{S}({\mathsf{V}}_1,.)\right]{\int }_0^{1}s\gamma \left(s\right)ds,\hfill \\ & {⪯}_{\mathfrak{r}}^{\mathfrak{c}}\left[\frac{\mathsf{S}({\mathsf{U}}_1,.)+\mathsf{S}({\mathsf{V}}_1,.)}{2}+\frac{1}{2}\gamma \left(\frac{1}{2}\right)[\mathsf{S}({\mathsf{U}}_1,.)+\mathsf{S}({\mathsf{V}}_1,.)]\right]{\int }_0^{1}s\gamma \left(s\right)ds,\hfill \\ & {⪯}_{\mathfrak{r}}^{\mathfrak{c}}\left\{[\mathsf{S}({\mathsf{U}}_1,.)+\mathsf{S}({\mathsf{V}}_1,.)]\left[\frac{1}{2}+\frac{1}{2}\gamma \left(\frac{1}{2}\right)\right]\right\}{\int }_0^{1}s\gamma \left(s\right)ds.\hfill \end{array}$$

□

Corollary 4.

• If $\gamma \left(\mathsf{x}\right)=1$, (26) gives a Hermite–Hadamard-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$-$\left(\mathfrak{CF}\right)$.
• If $\gamma \left(\mathsf{x}\right)=(1-\mathsf{x})$, (26) gives a Hermite–Hadamard-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$-tgs-$\left(\mathfrak{CF}\right)$.
• If $\gamma \left(\mathsf{x}\right)=\frac{1}{\mathsf{x}}$, (26) gives a Hermite–Hadamard-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$-P $\left(\mathfrak{CF}\right)$.
• If $\gamma \left(\mathsf{x}\right)=\frac{(e^{\mathsf{x}}-1)}{\mathsf{x}}$, (26) gives a Hermite–Hadamard-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$ exponential-type $\left(\mathfrak{CF}\right)$.
• If $\gamma \left(\mathsf{x}\right)=\frac{1}{{\mathsf{x}}^2}$, (26) gives a Hermite–Hadamard-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$-Godunova–Levin $\left(\mathfrak{CF}\right)$.
• If $\gamma \left(\mathsf{x}\right)={\mathsf{x}}^{s-1}$, (26) gives a Hermite–Hadamard-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$-s-$\left(\mathfrak{CF}\right)$.
• If $\gamma \left(\mathsf{x}\right)={\mathsf{x}}^{-s-1}$, (26) gives a Hermite–Hadamard-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$-Godunova–Levin s-$\left(\mathfrak{CF}\right)$.
• If $h\left(\mathsf{x}\right)=\mathsf{x}\gamma \left(\mathsf{x}\right)$, (26) gives a Hermite–Hadamard-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$-h-$\left(\mathfrak{CF}\right)$.
• If $\gamma \left(\mathsf{x}\right)=\frac{1}{\mathsf{x}\aleph }{\Sigma }_{\Im =1}^{\aleph }(1-{(1-\mathsf{x})}^{\Im })$, (26) gives a Hermite–Hadamard-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$ n-polynomial $\left(\mathfrak{CF}\right)$.
• If $\gamma \left(\mathsf{x}\right)=\frac{1}{\mathsf{x}\aleph }{\Sigma }_{\Im =1}^{\aleph }({\mathsf{x}}^{\frac{1}{\Im }})$, (26) gives a Hermite–Hadamard-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$ fractional n-polynomial $\left(\mathfrak{CF}\right)$.
• If $\gamma \left(\mathsf{x}\right)=\frac{1}{\mathsf{x}\aleph }\frac{{\Sigma }_{\Im =1}^{\aleph }{\mathsf{M}}_{\Im }(1-{(1-\mathsf{x})}^{\Im })}{{\Sigma }_{\Im =1}^{\aleph }{\mathsf{M}}_{\Im }}$, (26) gives a Hermite–Hadamard-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$ generalized n-polynomial $\left(\mathfrak{CF}\right)$.

Example 2.

Recall Example 1, we have

$$\mathsf{S}\left(\frac{{\mathsf{U}}_1+{\mathsf{V}}_1}{2},.\right)=\mathsf{S}\left(\frac{1}{2},.\right)=\left[3,7\right].$$

$$\begin{array}{cc}\hfill {\mathsf{S}}_1& =\frac{1}{2}\left[\mathsf{S}\left(\frac{1}{4},.\right)+\mathsf{S}\left(\frac{3}{4},.\right)\right]=\left[\frac{11}{4},\frac{15}{2}\right].\hfill \\ \hfill \frac{1}{{\mathsf{V}}_1-{\mathsf{U}}_1}{\int }_{{\mathsf{U}}_1}^{{\mathsf{V}}_1}\mathsf{S}(\mathsf{N},.)d\mathsf{N}& =\left[\frac{8}{3},\frac{23}{3}\right].\hfill \\ \hfill {\mathsf{S}}_2& =\left[\frac{\mathsf{S}({\mathsf{U}}_1,.)+\mathsf{S}({\mathsf{V}}_1,.)}{2}+\mathsf{S}\left(\frac{1}{2},.\right)\right]{\int }_0^{1}n\gamma \left(n\right)dn=\left[\frac{5}{2},8\right].\hfill \end{array}$$

and,

$$\left\{[\mathsf{S}({\mathsf{U}}_1,.)+\mathsf{S}({\mathsf{V}}_1,.)]\left[\frac{1}{2}+\frac{1}{2}\gamma \left(\frac{1}{2}\right)\right]\right\}{\int }_0^{1}n\gamma \left(n\right)dn=[2,9].$$

Thus, we obtain

$$\left[3,7\right]{⪯}_{\mathfrak{r}}^{\mathfrak{c}}\left[\frac{11}{4},\frac{15}{2}\right]{⪯}_{\mathfrak{r}}^{\mathfrak{c}}\left[\frac{8}{3},\frac{23}{3}\right]{⪯}_{\mathfrak{r}}^{\mathfrak{c}}\left[\frac{5}{2},8\right]{⪯}_{\mathfrak{r}}^{\mathfrak{c}}[2,9].$$

(Figure 3) demonstrates the newly constructed left (red), middle (blue), and right (green) parts of (26) when substitutions are applied.

This verifies (26) with the help of a Python-programmed graph.

Theorem 8.

Let ${\gamma }_1,{\gamma }_2:(0,1)\to {\Re }^{+}$ and ${\gamma }_1,{\gamma }_2\ne 0$. The functions $\mathsf{S},\mathsf{M}:\mathsf{I}\times \Omega \to {\Re }_{\mathbf{I}}^{+}$ are γ convex $\left(\mathcal{SP}\right)$ and also mean square integrable for${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$. ∀${\mathsf{U}}_1,{\mathsf{V}}_1\in \mathsf{I}$, if $\mathsf{S}\in {\Im }_{\aleph }^{\alpha }\left({ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}-{\gamma }_1,[\mathsf{U},\mathsf{V}],{\Re }_{\mathbf{I}}^{+}\right),\mathsf{M}\in {\Im }_{\aleph }^{\alpha }\left({ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}-{\gamma }_2,[\mathsf{U},\mathsf{V}],{\Re }_{\mathbf{I}}^{+}\right)$ and $\mathsf{S},\mathsf{M}\in {\mathbf{IR}}_I$. Then, we obtain the following result:

$$\begin{array}{l}\frac{1}{{\mathsf{V}}_1-{\mathsf{U}}_1}{\int }_{{\mathsf{U}}_1}^{{\mathsf{V}}_1}\mathsf{S}(\mathsf{N},.)\mathsf{M}(\mathsf{N},.)d\mathsf{N}\\ {⪯}_{\mathfrak{r}}^{\mathfrak{c}}P({\mathsf{U}}_1,{\mathsf{V}}_1){\int }_0^1{s}^2{\gamma }_1\left(s\right){\gamma }_2\left(s\right)ds+Q({\mathsf{U}}_1,{\mathsf{V}}_1){\int }_0^{1}s(1-s){\gamma }_1\left(s\right){\gamma }_2(1-s)ds.\end{array}$$

(29)

where,

$$P({\mathsf{U}}_1,{\mathsf{V}}_1)=\mathsf{S}({\mathsf{U}}_1,.)\mathsf{M}({\mathsf{U}}_1,.)+\mathsf{S}({\mathsf{V}}_1,.)\mathsf{M}({\mathsf{V}}_1,.),$$

$$Q({\mathsf{U}}_1,{\mathsf{V}}_1)=\mathsf{S}({\mathsf{U}}_1,.)\mathsf{M}({\mathsf{V}}_1,.)+\mathsf{S}({\mathsf{V}}_1,.)\mathsf{M}({\mathsf{U}}_1,.).$$

Proof. 

Consider $\mathsf{S}\in {\Im }_{\aleph }^{\alpha }{(}_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}-{\gamma }_1,[\mathsf{U},\mathsf{V}],{\Re }_{\mathbf{I}}^{+}),\mathsf{M}\in {\Im }_{\aleph }^{\alpha }{(}_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}-{\gamma }_2,[\mathsf{U},\mathsf{V}],{\Re }_{\mathbf{I}}^{+})$, then we have

$$\begin{array}{cc}& \mathsf{S}({\mathsf{U}}_{1}s+(1-s){\mathsf{V}}_1,.){⪯}_{\mathfrak{r}}^{\mathfrak{c}}s{\gamma }_1\left(s\right)\mathsf{S}({\mathsf{U}}_1,.)+(1-s){\gamma }_1(1-s)\mathsf{S}({\mathsf{V}}_1,.),\hfill \\ & \mathsf{M}({\mathsf{U}}_{1}s+(1-s){\mathsf{V}}_1,.){⪯}_{\mathfrak{r}}^{\mathfrak{c}}s{\gamma }_2\left(s\right)\mathsf{M}({\mathsf{U}}_1,.)+(1-s){\gamma }_2(1-s)\mathsf{M}({\mathsf{V}}_1,.),\hfill \end{array}$$

Then,

$$\begin{array}{cc}& \mathsf{S}({\mathsf{U}}_{1}s+(1-s){\mathsf{V}}_1,.)\mathsf{M}({\mathsf{U}}_{1}s+(1-s){\mathsf{V}}_1,.)\hfill \\ & {⪯}_{\mathfrak{r}}^{\mathfrak{c}}\left(s{\gamma }_1\left(s\right)\mathsf{S}({\mathsf{U}}_1,.)+(1-s){\gamma }_1(1-s)\mathsf{S}({\mathsf{V}}_1,.)\right)\hfill \\ & \times \left(s{\gamma }_2\left(s\right)\mathsf{M}({\mathsf{U}}_1,.)+(1-s){\gamma }_2(1-s)\mathsf{M}({\mathsf{V}}_1,.)\right).\hfill \end{array}$$

Integrating over $(0,1)$, we have

$$\begin{array}{ll}& {\int }_0^1\mathsf{S}({\mathsf{U}}_{1}s+(1-s){\mathsf{V}}_1,.)\mathsf{M}({\mathsf{U}}_{1}s+(1-s){\mathsf{V}}_1,.)ds\\ & =[{\int }_0^1{\mathsf{S}}_{⊛}({\mathsf{U}}_{1}s+(1-s){\mathsf{V}}_1,.){\mathsf{M}}_{⊛}({\mathsf{U}}_{1}s+(1-s){\mathsf{V}}_1,.)ds,\\ & {\int }_0^1{\mathsf{S}}^{⊛}({\mathsf{U}}_{1}s+(1-s){\mathsf{V}}_1,.){\mathsf{M}}^{⊛}({\mathsf{U}}_{1}s+(1-s){\mathsf{V}}_1,.)ds]\hfill \end{array}$$

$$\begin{array}{cc}& =\left[\frac{1}{{\mathsf{V}}_1-{\mathsf{U}}_1}{\int }_{{\mathsf{U}}_1}^{{\mathsf{V}}_1}{\mathsf{S}}_{⊛}(\mathsf{N},.){\mathsf{M}}_{⊛}(\mathsf{N},.)d\mathsf{N},\frac{1}{{\mathsf{V}}_1-{\mathsf{U}}_1}{\int }_{{\mathsf{U}}_1}^{{\mathsf{V}}_1}{\mathsf{S}}^{⊛}(\mathsf{N},.){\mathsf{M}}^{⊛}(\mathsf{N},.)d\mathsf{N}\right]\hfill \\ & =\frac{1}{{\mathsf{V}}_1-{\mathsf{U}}_1}{\int }_{{\mathsf{U}}_1}^{{\mathsf{V}}_1}\mathsf{S}(\mathsf{N},.)\mathsf{M}(\mathsf{N},.)d\mathsf{N}\hfill \\ & {⪯}_{\mathfrak{r}}^{\mathfrak{c}}P({\mathsf{U}}_1,{\mathsf{V}}_1){\int }_0^1{s}^2{\gamma }_1\left(s\right){\gamma }_2\left(s\right)ds+Q({\mathsf{U}}_1,{\mathsf{V}}_1){\int }_0^{1}s(1-s){\gamma }_1\left(s\right){\gamma }_2(1-s)ds.\hfill \end{array}$$

It follows that,

$$\begin{array}{l}\frac{1}{{\mathsf{V}}_1-{\mathsf{U}}_1}{\int }_{{\mathsf{U}}_1}^{{\mathsf{V}}_1}\mathsf{S}(\mathsf{N},.)\mathsf{M}(\mathsf{N},.)d\mathsf{N}\\ {⪯}_{\mathfrak{r}}^{\mathfrak{c}}P({\mathsf{U}}_1,{\mathsf{V}}_1){\int }_0^1{s}^2{\gamma }_1\left(s\right){\gamma }_2\left(s\right)ds+Q({\mathsf{U}}_1,{\mathsf{V}}_1){\int }_0^{1}s(1-s){\gamma }_1\left(s\right){\gamma }_2(1-s)ds.\end{array}$$

The theorem is proved. □

Corollary 5.

• If $\gamma \left(\mathsf{x}\right)=1$, (29) gives a Hermite–Hadamard-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$-$\left(\mathfrak{CF}\right)$.
• If $\gamma \left(\mathsf{x}\right)=(1-\mathsf{x})$, (29) gives a Hermite–Hadamard-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$-tgs-$\left(\mathfrak{CF}\right)$.
• If $\gamma \left(\mathsf{x}\right)=\frac{1}{\mathsf{x}}$, (29) gives a Hermite–Hadamard-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$-P $\left(\mathfrak{CF}\right)$.
• If $\gamma \left(\mathsf{x}\right)=\frac{(e^{\mathsf{x}}-1)}{\mathsf{x}}$, (29) gives a Hermite–Hadamard-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$ exponential-type $\left(\mathfrak{CF}\right)$.
• If $\gamma \left(\mathsf{x}\right)=\frac{1}{{\mathsf{x}}^2}$, (29) gives a Hermite–Hadamard-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$-Godunova–Levin $\left(\mathfrak{CF}\right)$.
• If $\gamma \left(\mathsf{x}\right)={\mathsf{x}}^{s-1}$, (29) gives a Hermite–Hadamard-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$-s-$\left(\mathfrak{CF}\right)$.
• If $\gamma \left(\mathsf{x}\right)={\mathsf{x}}^{-s-1}$, (29) gives a Hermite–Hadamard-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$-Godunova–Levin s-$\left(\mathfrak{CF}\right)$.
• If $h\left(\mathsf{x}\right)=\mathsf{x}\gamma \left(\mathsf{x}\right)$, (29) gives a Hermite–Hadamard-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$-h-$\left(\mathfrak{CF}\right)$.
• If $\gamma \left(\mathsf{x}\right)=\frac{1}{\mathsf{x}\aleph }{\Sigma }_{\Im =1}^{\aleph }(1-{(1-\mathsf{x})}^{\Im })$, (29) gives a Hermite–Hadamard-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$ n-polynomial $\left(\mathfrak{CF}\right)$.
• If $\gamma \left(\mathsf{x}\right)=\frac{1}{\mathsf{x}\aleph }{\Sigma }_{\Im =1}^{\aleph }({\mathsf{x}}^{\frac{1}{\Im }})$, (29) gives a Hermite–Hadamard-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$ fractional n-polynomial $\left(\mathfrak{CF}\right)$.
• If $\gamma \left(\mathsf{x}\right)=\frac{1}{\mathsf{x}\aleph }\frac{{\Sigma }_{\Im =1}^{\aleph }{\mathsf{M}}_{\Im }(1-{(1-\mathsf{x})}^{\Im })}{{\Sigma }_{\Im =1}^{\aleph }{\mathsf{M}}_{\Im }}$, (29) gives a Hermite–Hadamard-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$ fractional n-polynomial $\left(\mathfrak{CF}\right)$.

Example 3.

Let $[{\mathsf{U}}_1,{\mathsf{V}}_1]=[0,1],s{\gamma }_1\left(s\right)=s,s{\gamma }_2\left(s\right)=1$ for all $s\in (0,1)$. If $\mathsf{S},\mathsf{M}:[{\mathsf{U}}_1,{\mathsf{V}}_1]\Omega \subseteq \mathsf{I}\times \Omega \to {\Re }_{\mathbf{I}}^{+}$ are defined as

$$\mathsf{S}(\mathsf{N},.)=[-12{\mathsf{N}}^2-1,4{\mathsf{N}}^2+9]=\langle -4{\mathsf{N}}^2+4,8{\mathsf{N}}^2+5\rangle ,$$

and,

$$\mathsf{M}(\mathsf{N},.)=[-14{\mathsf{N}}^3-1,4{\mathsf{N}}^3+11]=\langle -5{\mathsf{N}}^3+5,9{\mathsf{N}}^3+6\rangle .$$

Then, we have

$$\begin{array}{cc}& \frac{1}{{\mathsf{V}}_1-{\mathsf{U}}_1}{\int }_{{\mathsf{U}}_1}^{{\mathsf{V}}_1}\mathsf{S}(\mathsf{N},.)\mathsf{M}(\mathsf{N},.)d\mathsf{N}=\left[\frac{35}{3},\frac{277}{4}\right],\hfill \\ & P({\mathsf{U}}_1,{\mathsf{V}}_1){\int }_0^1{s}^2{\gamma }_1\left(s\right){\gamma }_2\left(s\right)ds=P(0,1){\int }_0^{1}sds=\left[10,\frac{225}{2}\right],\hfill \end{array}$$

and,

$$Q({\mathsf{U}}_1,{\mathsf{V}}_1){\int }_0^{1}s{\gamma }_1\left(s\right)(1-s){\gamma }_2(1-s)ds=Q(0,1){\int }_0^{1}sds=\left[0,\frac{153}{2}\right],$$

Since

$$\left[\frac{35}{3},\frac{277}{4}\right]{⪯}_{\mathfrak{r}}^{\mathfrak{c}}\left[10,\frac{225}{2}\right]+\left[0,\frac{153}{2}\right]=\left[10,189\right].$$

The plot below (Figure 4) demonstrates the newly constructed left (red dotted) and right (green dotted) parts of (29) when substitutions are applied.

Thus, (29) is verified with the help of a Python-programmed graph.

Theorem 9.

Let ${\gamma }_1,{\gamma }_2:(0,1)\to {\Re }^{+}$ and ${\gamma }_1,{\gamma }_2\ne 0$. Suppose mappings $\mathsf{S},\mathsf{M}:\mathsf{I}\times \Omega \to {\Re }_{\mathbf{I}}^{+}$ are γ convex $\left(\mathcal{SP}\right)$ and also mean square integrable for ${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$. ∀${\mathsf{U}}_1,{\mathsf{V}}_1\in \mathsf{I}$, if $\mathsf{S}\in {\Im }_{\aleph }^{\alpha }{(}_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}-{\gamma }_1,[\mathsf{U},\mathsf{V}],{\Re }_{\mathbf{I}}^{+}),\mathsf{M}\in {\Im }_{\aleph }^{\alpha }{(}_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}-{\gamma }_2,[\mathsf{U},\mathsf{V}],{\Re }_{\mathbf{I}}^{+})$ and $\mathsf{S},\mathsf{M}\in {\mathbf{IR}}_I$. Then, we obtain the following result:

$$\begin{array}{l}\frac{1}{2{\gamma }_1\left(\frac{1}{2}\right){\gamma }_2\left(\frac{1}{2}\right)}\mathsf{S}\left(\frac{{\mathsf{U}}_1+{\mathsf{V}}_1}{2},.\right)\mathsf{M}\left(\frac{{\mathsf{U}}_1+{\mathsf{V}}_1}{2},.\right)\\ {⪯}_{\mathfrak{r}}^{\mathfrak{c}}\frac{1}{{\mathsf{V}}_1-{\mathsf{U}}_1}{\int }_{{\mathsf{U}}_1}^{{\mathsf{V}}_1}\mathsf{S}(\mathsf{N},.)\mathsf{M}(\mathsf{N},.)d\mathsf{N}+P({\mathsf{U}}_1,{\mathsf{V}}_1){\int }_0^{1}s(1-s){\gamma }_1\left(s\right){\gamma }_2(1-s)ds\\ +Q({\mathsf{U}}_1,{\mathsf{V}}_1){\int }_0^1{s}^2{\gamma }_1\left(s\right){\gamma }_2\left(s\right)ds.\end{array}$$

(30)

Proof. 

Since $\mathsf{S}\in {\Im }_{\aleph }^{\alpha }{(}_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}-{\gamma }_1,[\mathsf{U},\mathsf{V}],{\Re }_{\mathbf{I}}^{+}),\mathsf{M}\in {\Im }_{\aleph }^{\alpha }{(}_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}-{\gamma }_2,[\mathsf{U},\mathsf{V}],{\Re }_{\mathbf{I}}^{+})$, we have

$$\mathsf{S}\left(\frac{{\mathsf{U}}_1+{\mathsf{V}}_1}{2},.\right){⪯}_{\mathfrak{r}}^{\mathfrak{c}}\frac{1}{2}{\gamma }_1\left(\frac{1}{2}\right)\mathsf{S}({\mathsf{U}}_{1}s+(1-s){\mathsf{V}}_1,.)+\frac{1}{2}{\gamma }_1\left(\frac{1}{2}\right)\mathsf{S}({\mathsf{U}}_1(1-s)+s{\mathsf{V}}_1,.),$$

$$\mathsf{M}\left(\frac{{\mathsf{U}}_1+{\mathsf{V}}_1}{2},.\right){⪯}_{\mathfrak{r}}^{\mathfrak{c}}\frac{1}{2}{\gamma }_2\left(\frac{1}{2}\right)\mathsf{M}({\mathsf{U}}_{1}s+(1-s){\mathsf{V}}_1,.)+\frac{1}{2}{\gamma }_2\left(\frac{1}{2}\right)\mathsf{M}({\mathsf{U}}_1(1-s)+s{\mathsf{V}}_1,.).$$

$$\begin{array}{l}\mathsf{S}\left(\frac{{\mathsf{U}}_1+{\mathsf{V}}_1}{2},.\right)\mathsf{M}\left(\frac{{\mathsf{U}}_1+{\mathsf{V}}_1}{2},.\right)\\ {⪯}_{\mathfrak{r}}^{\mathfrak{c}}\frac{1}{4}{\gamma }_1\left(\frac{1}{2}\right){\gamma }_2\left(\frac{1}{2}\right)[\mathsf{S}({\mathsf{U}}_{1}s+(1-s){\mathsf{V}}_1,.)\mathsf{M}({\mathsf{U}}_{1}s+(1-s){\mathsf{V}}_1,.)\\ +\mathsf{S}({\mathsf{U}}_1(1-s)+s{\mathsf{V}}_1,.)\mathsf{M}({\mathsf{U}}_1(1-s)+s{\mathsf{V}}_1,.)]\\ +\frac{1}{4}{\gamma }_1\left(\frac{1}{2}\right){\gamma }_2\left(\frac{1}{2}\right)[\mathsf{S}({\mathsf{U}}_{1}s+(1-s){\mathsf{V}}_1,.)\mathsf{M}({\mathsf{U}}_1(1-s)+s{\mathsf{V}}_1,.)\\ +\mathsf{S}({\mathsf{U}}_1(1-s)+s{\mathsf{V}}_1,.)\mathsf{M}({\mathsf{U}}_{1}s+(1-s){\mathsf{V}}_1,.)]\end{array}$$

$$\begin{array}{l}{⪯}_{\mathfrak{r}}^{\mathfrak{c}}\frac{1}{4}{\gamma }_1\left(\frac{1}{2}\right){\gamma }_2\left(\frac{1}{2}\right)[\mathsf{S}({\mathsf{U}}_{1}s+(1-s){\mathsf{V}}_1,.)\mathsf{M}({\mathsf{U}}_{1}s+(1-s){\mathsf{V}}_1,.)\\ +\mathsf{S}({\mathsf{U}}_1(1-s)+s{\mathsf{V}}_1,.)\mathsf{M}({\mathsf{U}}_1(1-s)+s{\mathsf{V}}_1,.)]\\ +\frac{1}{4}{\gamma }_1\left(\frac{1}{2}\right){\gamma }_2\left(\frac{1}{2}\right)[\left(s{\gamma }_1\left(s\right)\mathsf{S}({\mathsf{U}}_1,.)+(1-s){\gamma }_1(1-s)\mathsf{S}({\mathsf{V}}_1,.)\right)\\ \times \left((1-s){\gamma }_2(1-s)\mathsf{M}({\mathsf{U}}_1,.)+s{\gamma }_2\left(s\right)\mathsf{M}({\mathsf{V}}_1,.)\right)]\\ +\left[\left((1-s){\gamma }_1(1-s)\mathsf{S}({\mathsf{U}}_1,.)+s{\gamma }_1\left(s\right)\mathsf{S}({\mathsf{V}}_1,.\right)\right)\\ \times \left(s{\gamma }_2\left(s\right)\mathsf{M}({\mathsf{U}}_1,.)+(1-s){\gamma }_2(1-s)\mathsf{M}({\mathsf{V}}_1,.)\right)]\end{array}$$

$$\begin{array}{l}{⪯}_{\mathfrak{r}}^{\mathfrak{c}}\frac{1}{4}{\gamma }_1\left(\frac{1}{2}\right){\gamma }_2\left(\frac{1}{2}\right)[\mathsf{S}({\mathsf{U}}_{1}s+(1-s){\mathsf{V}}_1,.)\mathsf{M}({\mathsf{U}}_{1}s+(1-s){\mathsf{V}}_1,.)\\ +\mathsf{S}({\mathsf{U}}_1(1-s)+s{\mathsf{V}}_1,.)\mathsf{M}({\mathsf{U}}_1(1-s)+s{\mathsf{V}}_1,.)]\\ +\frac{1}{4}{\gamma }_1\left(\frac{1}{2}\right){\gamma }_2\left(\frac{1}{2}\right)\left[\left(s(1-s){\gamma }_1\left(s\right){\gamma }_2(1-s)+s(1-s){\gamma }_1(1-s){\gamma }_2\left(s\right)\right)P({\mathsf{U}}_1,{\mathsf{V}}_1)\right.\hfill \\ \left.+\left(s^2{\gamma }_1\left(s\right){\gamma }_2\left(s\right)+{(1-s)}^2{\gamma }_1(1-s){\gamma }_2(1-s)\right)Q({\mathsf{U}}_1,{\mathsf{V}}_1)\right].\end{array}$$

Integrating over $(0,1)$, we have

$$\begin{array}{cc}& {\int }_0^1\mathsf{S}\left(\frac{{\mathsf{U}}_1+{\mathsf{V}}_1}{2},.\right)\mathsf{M}\left(\frac{{\mathsf{U}}_1+{\mathsf{V}}_1}{2},.\right)ds\hfill \\ & =\left[{\int }_0^1{\mathsf{S}}_{⊛}\left(\frac{{\mathsf{U}}_1+{\mathsf{V}}_1}{2},.\right){\mathsf{M}}_{⊛}\left(\frac{{\mathsf{U}}_1+{\mathsf{V}}_1}{2},.\right)ds,{\int }_0^1{\mathsf{S}}^{⊛}\left(\frac{{\mathsf{U}}_1+{\mathsf{V}}_1}{2},.\right){\mathsf{M}}^{⊛}\left(\frac{{\mathsf{U}}_1+{\mathsf{V}}_1}{2},.\right)ds\right]\hfill \end{array}$$

$$\begin{array}{c}=\mathsf{S}\left(\frac{{\mathsf{U}}_1+{\mathsf{V}}_1}{2},.\right)\mathsf{M}\left(\frac{{\mathsf{U}}_1+{\mathsf{V}}_1}{2},.\right)ds\hfill \\ {⪯}_{\mathfrak{r}}^{\mathfrak{c}}\frac{1}{2}{\gamma }_1\left(\frac{1}{2}\right){\gamma }_2\left(\frac{1}{2}\right)\left[\frac{1}{{\mathsf{V}}_1-{\mathsf{U}}_1}{\int }_{{\mathsf{U}}_1}^{{\mathsf{V}}_1}\mathsf{S}(\mathsf{N},.)\mathsf{M}(\mathsf{N},.)d\mathsf{N}\right]\hfill \\ +\frac{1}{2}{\gamma }_1\left(\frac{1}{2}\right){\gamma }_2\left(\frac{1}{2}\right)\left[P({\mathsf{U}}_1,{\mathsf{V}}_1){\int }_0^{1}s(1-s){\gamma }_1\left(s\right){\gamma }_2(1-s)ds\right.\hfill \\ \left.+Q({\mathsf{U}}_1,{\mathsf{V}}_1){\int }_0^1{s}^2{\gamma }_1\left(s\right){\gamma }_2\left(s\right)ds\right].\hfill \end{array}$$

Multiplying both sides by $\frac{2}{{\gamma }_1\left(\frac{1}{2}\right){\gamma }_2\left(\frac{1}{2}\right)}$ in the above equation, we obtain the required result:

$$\begin{array}{l}\frac{1}{2{\gamma }_1\left(\frac{1}{2}\right){\gamma }_2\left(\frac{1}{2}\right)}\mathsf{S}\left(\frac{{\mathsf{U}}_1+{\mathsf{V}}_1}{2},.\right)\mathsf{M}\left(\frac{{\mathsf{U}}_1+{\mathsf{V}}_1}{2},.\right)\\ {⪯}_{\mathfrak{r}}^{\mathfrak{c}}\frac{1}{{\mathsf{V}}_1-{\mathsf{U}}_1}{\int }_{{\mathsf{U}}_1}^{{\mathsf{V}}_1}\mathsf{S}(\mathsf{N},.)\mathsf{M}(\mathsf{N},.)d\mathsf{N}+P({\mathsf{U}}_1,{\mathsf{V}}_1){\int }_0^{1}s(1-s){\gamma }_1\left(s\right){\gamma }_2(1-s)ds\\ +Q({\mathsf{U}}_1,{\mathsf{V}}_1){\int }_0^1{s}^2{\gamma }_1\left(s\right){\gamma }_2\left(s\right)ds.\end{array}$$

It completes the proof. □

Corollary 6.

• If $\gamma \left(\mathsf{x}\right)=1$, (30) gives a Hermite–Hadamard-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$-$\left(\mathfrak{CF}\right)$.
• If $\gamma \left(\mathsf{x}\right)=(1-\mathsf{x})$, (30) gives a Hermite–Hadamard-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$-tgs-$\left(\mathfrak{CF}\right)$.
• If $\gamma \left(\mathsf{x}\right)=\frac{1}{\mathsf{x}}$, (30) gives a Hermite–Hadamard-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$-P $\left(\mathfrak{CF}\right)$.
• If $\gamma \left(\mathsf{x}\right)=\frac{(e^{\mathsf{x}}-1)}{\mathsf{x}}$, (30) gives a Hermite–Hadamard-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$ exponential-type $\left(\mathfrak{CF}\right)$.
• If $\gamma \left(\mathsf{x}\right)=\frac{1}{{\mathsf{x}}^2}$, (30) gives a Hermite–Hadamard-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$-Godunova–Levin $\left(\mathfrak{CF}\right)$.
• If $\gamma \left(\mathsf{x}\right)={\mathsf{x}}^{s-1}$, (30) gives a Hermite–Hadamard-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$-s-$\left(\mathfrak{CF}\right)$.
• If $\gamma \left(\mathsf{x}\right)={\mathsf{x}}^{-s-1}$, (30) gives a Hermite–Hadamard-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$-Godunova–Levin s-$\left(\mathfrak{CF}\right)$.
• If $h\left(\mathsf{x}\right)=\mathsf{x}\gamma \left(\mathsf{x}\right)$, (30) gives a Hermite–Hadamard-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$-h-$\left(\mathfrak{CF}\right)$.
• If $\gamma \left(\mathsf{x}\right)=\frac{1}{\mathsf{x}\aleph }{\Sigma }_{\Im =1}^{\aleph }(1-{(1-\mathsf{x})}^{\Im })$, (30) gives a Hermite–Hadamard-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$ n-polynomial $\left(\mathfrak{CF}\right)$.
• If $\gamma \left(\mathsf{x}\right)=\frac{1}{\mathsf{x}\aleph }{\Sigma }_{\Im =1}^{\aleph }({\mathsf{x}}^{\frac{1}{\Im }})$, (30) gives a Hermite–Hadamard-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$ fractional n-polynomial $\left(\mathfrak{CF}\right)$.
• If $\gamma \left(\mathsf{x}\right)=\frac{1}{\mathsf{x}\aleph }\frac{{\Sigma }_{\Im =1}^{\aleph }{\mathsf{M}}_{\Im }(1-{(1-\mathsf{x})}^{\Im })}{{\Sigma }_{\Im =1}^{\aleph }{\mathsf{M}}_{\Im }}$, (30) gives a Hermite–Hadamard-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$ generalized n-polynomial $\left(\mathfrak{CF}\right)$.

3.4. Fractional Hermite–Hadamard–Mercer-Type Inclusion

Definition 18

([31]). Let $\mathsf{S}:\mathsf{I}\times \Omega \to \Re$ be a $\mathcal{SP}$. We recall the mean square continuous fractional integrals $\left(\mathcal{MSCFI}\right)$${\mathfrak{I}}_{{\mathsf{N}}_1^{+}}^{\kappa }$ and ${\mathfrak{I}}_{{\mathsf{N}}_2^{-}}^{\kappa }$ having order $\kappa >0$ are given as,

$${\mathfrak{I}}_{{\mathsf{N}}_1^{+}}^{\kappa }\left[\mathsf{S}\right]\left(n\right)=\frac{1}{\kappa }{\int }_{{\mathsf{N}}_1}^n{e}^{-\frac{1-\kappa }{\kappa }(n-\mathsf{m})}\mathsf{S}(\mathsf{m},.)d\mathsf{m},(0\le {\mathsf{N}}_1<n<{\mathsf{N}}_2),$$

and,

$${\mathfrak{I}}_{{\mathsf{N}}_2^{-}}^{\kappa }\left[\mathsf{S}\right]\left(n\right)=\frac{1}{\kappa }{\int }_n^{{\mathsf{N}}_2}{e}^{-\frac{1-\kappa }{\kappa }(\mathsf{m}-n)}\mathsf{S}(\mathsf{m},.)d\mathsf{m},(0\le {\mathsf{N}}_1<n<{\mathsf{N}}_2),$$

respectively. Using Theorems 1 and 2, we can easily utilize $\left(\mathcal{MSCFI}\right)$ on${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$ settings.

For convenience, we use $\alpha =\frac{1-\kappa }{\kappa }(\mathsf{n}-\mathsf{m})$.

Theorem 10.

Let $\mathsf{S}:\mathsf{I}\times \Omega \to \Re$ be a γ-convex${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$ or we term as $\mathsf{S}\in {\Im }_{\aleph }^{\alpha }{(}_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}-\gamma ,I,{\Re }_{\mathfrak{I}}^{+})$ in the interval $\mathsf{I}$, such that ${\mathsf{N}}_1,{\mathsf{N}}_2\in \mathsf{I}$, with $0<{\mathsf{N}}_1<{\mathsf{N}}_2$. Then, for $\mathsf{m},\mathsf{n}>0$, the following fractional inclusion holds true:

$$\begin{array}{l}\frac{(1-e^{-\alpha })}{\gamma \left(\frac{1}{2}\right)}\mathsf{S}\left({\mathsf{N}}_1+{\mathsf{N}}_2-\frac{\mathsf{m}+\mathsf{n}}{2},.\right)\\ {⪯}_{\mathfrak{r}}^{\mathfrak{c}}\frac{1-\kappa }{2}\left[{\mathfrak{I}}_{{\mathsf{N}}_1+{\mathsf{N}}_2-{\mathsf{m}}^{-}}^{\kappa }\left[\mathsf{S}\right]({\mathsf{N}}_1+{\mathsf{N}}_2-\mathsf{n})+{\mathfrak{I}}_{{\mathsf{N}}_1+{\mathsf{N}}_2-{\mathsf{n}}^{+}}^{\kappa }\left[\mathsf{S}\right]({\mathsf{N}}_1+{\mathsf{N}}_2-\mathsf{m})\right]\\ {⪯}_{\mathfrak{r}}^{\mathfrak{c}}\left[\mathsf{S}({\mathsf{N}}_1,.)+\mathsf{S}({\mathsf{N}}_2,.)-\frac{\mathsf{S}(\mathsf{m},.)+\mathsf{S}(\mathsf{n},.)}{2}\right]P_1.\end{array}$$

(31)

where,

$$P_1={\int }_0^1{e}^{-\frac{1-\kappa }{\kappa }(\mathsf{n}-\mathsf{m})\mathsf{s}}\left(\mathsf{s}\gamma \left(\mathsf{s}\right)+(1-\mathsf{s})\gamma (1-\mathsf{s})\right)d\mathsf{s}.$$

Proof. 

Suppose $\mathsf{S}:[{\mathsf{N}}_1,{\mathsf{N}}_2]\to \Re$ being an${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$$\gamma$-convex $\left(\mathcal{SP}\right)$. Thus, by assumption, we obtain

$$\begin{array}{cc}\hfill \mathsf{S}\left({\mathsf{N}}_1+{\mathsf{N}}_2-\frac{\mathsf{U}+\mathsf{V}}{2},.\right)& =\mathsf{S}\left(\frac{{\mathsf{N}}_1+{\mathsf{N}}_2-\mathsf{U}+{\mathsf{N}}_1+{\mathsf{N}}_2-\mathsf{V}}{2},.\right)\hfill \\ & {⪯}_{\mathfrak{r}}^{\mathfrak{c}}\frac{1}{2}\gamma \left(\frac{1}{2}\right)\left(\mathsf{S}({\mathsf{N}}_1+{\mathsf{N}}_2-\mathsf{U},.)+\mathsf{S}({\mathsf{N}}_1+{\mathsf{N}}_2-\mathsf{V},.)\right).\hfill \end{array}$$

Subsequently, when we substitute the inputs as

$${\mathsf{N}}_1+{\mathsf{N}}_2-\mathsf{U}=\mathsf{s}({\mathsf{N}}_1+{\mathsf{N}}_2-\mathsf{m})+(1-\mathsf{s})({\mathsf{N}}_1+{\mathsf{N}}_2-\mathsf{n}),$$

$${\mathsf{N}}_1+{\mathsf{N}}_2-\mathsf{V}=\mathsf{s}({\mathsf{N}}_1+{\mathsf{N}}_2-\mathsf{n})+(1-\mathsf{s})({\mathsf{N}}_1+{\mathsf{N}}_2-\mathsf{m}),$$

Thus, we obtain

$$\begin{array}{l}\mathsf{S}\left({\mathsf{N}}_1+{\mathsf{N}}_2-\frac{\mathsf{m}+\mathsf{n}}{2},.\right)\\ {⪯}_{\mathfrak{r}}^{\mathfrak{c}}\frac{1}{2}\gamma \left(\frac{1}{2}\right)\left[\mathsf{S}(\mathsf{s}({\mathsf{N}}_1+{\mathsf{N}}_2-\mathsf{m})+(1-\mathsf{s})({\mathsf{N}}_1+{\mathsf{N}}_2-\mathsf{n}),.)\right.\\ \left.+\mathsf{S}(\mathsf{s}({\mathsf{N}}_1+{\mathsf{N}}_2-\mathsf{n})+(1-\mathsf{s})({\mathsf{N}}_1+{\mathsf{N}}_2-\mathsf{m}),.)\right].\end{array}$$

When multiplying on both sides of the above inclusion by $e^{-\frac{1-\kappa }{\kappa }(\mathsf{n}-\mathsf{m})\mathsf{s}}$ and also applying integration on the result over $[0,1]$, we obtain

$$\begin{array}{l}\left(\frac{1-e^{-\alpha }}{\alpha }\right)\mathsf{S}\left({\mathsf{N}}_1+{\mathsf{N}}_2-\frac{\mathsf{m}+\mathsf{n}}{2},.\right)\\ {⪯}_{\mathfrak{r}}^{\mathfrak{c}}\frac{\gamma \left(\frac{1}{2}\right)}{2(\mathsf{n}-\mathsf{m})}[{\int }_{{\mathsf{N}}_1+{\mathsf{N}}_2-\mathsf{n}}^{{\mathsf{N}}_1+{\mathsf{N}}_2-\mathsf{m}}{e}^{-\frac{1-\kappa }{\kappa }(\mathsf{r}-({\mathsf{N}}_1+{\mathsf{N}}_2-\mathsf{n}))}\mathsf{S}(\mathsf{r},.)d\mathsf{r}\\ +{\int }_{{\mathsf{N}}_1+{\mathsf{N}}_2-\mathsf{n}}^{{\mathsf{N}}_1+{\mathsf{N}}_2-\mathsf{m}}{e}^{-\frac{1-\kappa }{\kappa }(\left({\mathsf{N}}_1+{\mathsf{N}}_2-\mathsf{m}\right)-\mathsf{r})}\mathsf{S}(\mathsf{r},.)d\mathsf{r}]\\ =\frac{\kappa \gamma \left(\frac{1}{2}\right)}{2(\mathsf{n}-\mathsf{m})}\left[{\mathfrak{I}}_{{\mathsf{N}}_1+{\mathsf{N}}_2-{\mathsf{m}}^{-}}^{\kappa }\left[\mathsf{S}\right]({\mathsf{N}}_1+{\mathsf{N}}_2-\mathsf{n})+{\mathfrak{I}}_{{\mathsf{N}}_1+{\mathsf{N}}_2-{\mathsf{n}}^{+}}^{\kappa }\left[\mathsf{S}\right]({\mathsf{N}}_1+{\mathsf{N}}_2-\mathsf{m})\right],\end{array}$$

Thus, we obtain

$$\begin{array}{l}\frac{(1-e^{-\alpha })}{\gamma \left(\frac{1}{2}\right)}\mathsf{S}\left({\mathsf{N}}_1+{\mathsf{N}}_2-\frac{\mathsf{m}+\mathsf{n}}{2},.\right)\\ {⪯}_{\mathfrak{r}}^{\mathfrak{c}}\frac{(1-\kappa )}{2}\left[{\mathfrak{I}}_{{\mathsf{N}}_1+{\mathsf{N}}_2-{\mathsf{m}}^{-}}^{\kappa }\left[\mathsf{S}\right]({\mathsf{N}}_1+{\mathsf{N}}_2-\mathsf{n})+{\mathfrak{I}}_{{\mathsf{N}}_1+{\mathsf{N}}_2-{\mathsf{n}}^{+}}^{\kappa }\left[\mathsf{S}\right]({\mathsf{N}}_1+{\mathsf{N}}_2-\mathsf{m})\right].\end{array}$$

It gives us the first part of the inclusion.

For, the second part of the inclusion, we utilize the${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}\gamma$-convexity of $\mathsf{S}$, applied as,

$$\begin{array}{l}\mathsf{S}\left(\mathsf{s}({\mathsf{N}}_1+{\mathsf{N}}_2-\mathsf{m})+(1-\mathsf{s})({\mathsf{N}}_1+{\mathsf{N}}_2-\mathsf{n}),.\right)\\ {⪯}_{\mathfrak{r}}^{\mathfrak{c}}\mathsf{s}\gamma \left(\mathsf{s}\right)\mathsf{S}({\mathsf{N}}_1+{\mathsf{N}}_2-\mathsf{m},.)+(1-\mathsf{s})\gamma (1-\mathsf{s})\mathsf{S}({\mathsf{N}}_1+{\mathsf{N}}_2-\mathsf{n},.),\end{array}$$

$$\begin{array}{l}\mathsf{S}\left(\mathsf{s}({\mathsf{N}}_1+{\mathsf{N}}_2-\mathsf{n})+(1-\mathsf{s})({\mathsf{N}}_1+{\mathsf{N}}_2-\mathsf{m}),.\right)\\ {⪯}_{\mathfrak{r}}^{\mathfrak{c}}\mathsf{s}\gamma \left(\mathsf{s}\right)\mathsf{S}({\mathsf{N}}_1+{\mathsf{N}}_2-\mathsf{n},.)+(1-\mathsf{s})\gamma (1-\mathsf{s})\mathsf{S}({\mathsf{N}}_1+{\mathsf{N}}_2-\mathsf{m},.).\end{array}$$

Summing both the above-given inclusions, we obtain that,

$$\begin{array}{cc}& \mathsf{S}\left(\mathsf{s}({\mathsf{N}}_1+{\mathsf{N}}_2-\mathsf{m})+(1-\mathsf{s})({\mathsf{N}}_1+{\mathsf{N}}_2-\mathsf{n}),.\right)+\mathsf{S}\left(\mathsf{s}({\mathsf{N}}_1+{\mathsf{N}}_2-\mathsf{n})+(1-\mathsf{s})({\mathsf{N}}_1+{\mathsf{N}}_2-\mathsf{m}),.\right)\hfill \\ & {⪯}_{\mathfrak{r}}^{\mathfrak{c}}\left(\mathsf{s}\gamma \left(\mathsf{s}\right)+(1-\mathsf{s})\gamma (1-\mathsf{s})\right)[\mathsf{S}({\mathsf{N}}_1+{\mathsf{N}}_2-\mathsf{m},.)+\mathsf{S}({\mathsf{N}}_1+{\mathsf{N}}_2-\mathsf{n},.)]\hfill \\ & {⪯}_{\mathfrak{r}}^{\mathfrak{c}}\left(\mathsf{s}\gamma \left(\mathsf{s}\right)+(1-\mathsf{s})\gamma (1-\mathsf{s})\right)[\mathsf{S}({\mathsf{N}}_1,.)+\mathsf{S}({\mathsf{N}}_2,.)-\mathsf{S}(\mathsf{m},.)+\mathsf{S}({\mathsf{N}}_1,.)+\mathsf{S}({\mathsf{N}}_2,.)-\mathsf{S}(\mathsf{n},.)]\hfill \\ & =\left(\mathsf{s}\gamma \left(\mathsf{s}\right)+(1-\mathsf{s})\gamma (1-\mathsf{s})\right)\left(2\left[\mathsf{S}({\mathsf{N}}_1,.)+\mathsf{S}({\mathsf{N}}_2,.)\right]-\left[\mathsf{S}(\mathsf{m},.)+\mathsf{S}(\mathsf{n},.)\right]\right).\hfill \end{array}$$

Taking the product on both sides of the above inclusion by $e^{-\frac{1-\kappa }{\kappa }(\mathsf{n}-\mathsf{m})\mathsf{s}}$ and thus taking the integration over $[0,1]$, we obtain

$$\begin{array}{l}{\int }_0^1{e}^{-\frac{1-\kappa }{\kappa }(\mathsf{n}-\mathsf{m})\mathsf{s}}\mathsf{S}\left(\mathsf{s}({\mathsf{N}}_1+{\mathsf{N}}_2-\mathsf{m})+(1-\mathsf{s})({\mathsf{N}}_1+{\mathsf{N}}_2-\mathsf{n}),.\right)d\mathsf{s}\\ +{\int }_0^1{e}^{-\frac{1-\kappa }{\kappa }(\mathsf{n}-\mathsf{m})\mathsf{s}}\mathsf{S}\left(\mathsf{s}({\mathsf{N}}_1+{\mathsf{N}}_2-\mathsf{n})+(1-\mathsf{s})({\mathsf{N}}_1+{\mathsf{N}}_2-\mathsf{m}),.\right)d\mathsf{s}\\ {⪯}_{\mathfrak{r}}^{\mathfrak{c}}2\left[\left[\mathsf{S}({\mathsf{N}}_1,.)+\mathsf{S}({\mathsf{N}}_2,.)\right]-\left[\mathsf{S}(\mathsf{m},.)+\mathsf{S}(\mathsf{n},.)\right]\right]\\ \times {\int }_0^1{e}^{-\frac{1-\alpha }{\alpha }(\mathsf{n}-\mathsf{m})\mathsf{s}}\left(\mathsf{s}\gamma \left(\mathsf{s}\right)+(1-\mathsf{s})\gamma (1-\mathsf{s})\right)d\mathsf{s}.\end{array}$$

This results in using the above inclusions,

$$\begin{array}{cc}& \frac{\kappa }{2(\mathsf{n}-\mathsf{m})}\left[{\mathfrak{I}}_{{\mathsf{N}}_1+{\mathsf{N}}_2-{\mathsf{m}}^{-}}^{\kappa }\left[\mathsf{S}\right]({\mathsf{N}}_1+{\mathsf{N}}_2-\mathsf{n})+{\mathfrak{I}}_{{\mathsf{N}}_1+{\mathsf{N}}_2-{\mathsf{n}}^{+}}^{\kappa }\left[\mathsf{S}\right]({\mathsf{N}}_1+{\mathsf{N}}_2-\mathsf{m})\right]\hfill \\ & {⪯}_{\mathfrak{r}}^{\mathfrak{c}}\left[\mathsf{S}({\mathsf{N}}_1,.)+\mathsf{S}({\mathsf{N}}_2,.)-\frac{\mathsf{S}(\mathsf{m},.)+\mathsf{S}(\mathsf{y},.)}{2}\right]P_1,\hfill \end{array}$$

This consequently implies,

$$\begin{array}{cc}& \frac{1-\kappa }{2}\left[{\mathfrak{I}}_{{\mathsf{N}}_1+{\mathsf{N}}_2-{\mathsf{m}}^{-}}^{\kappa }\left[\mathsf{S}\right]({\mathsf{N}}_1+{\mathsf{N}}_2-\mathsf{n})+{\mathfrak{I}}_{{\mathsf{N}}_1+{\mathsf{N}}_2-{\mathsf{n}}^{+}}^{\kappa }\left[\mathsf{S}\right]({\mathsf{N}}_1+{\mathsf{N}}_2-\mathsf{m})\right]\hfill \\ & {⪯}_{\mathfrak{r}}^{\mathfrak{c}}\left[\mathsf{S}({\mathsf{N}}_1,.)+\mathsf{S}({\mathsf{N}}_2,.)-\frac{\mathsf{S}(\mathsf{m},.)+\mathsf{S}(\mathsf{n},.)}{2}\right]P_1.\hfill \end{array}$$

This leads us to the proof of the desired fractional inclusion. □

Corollary 7.

• If $\gamma \left(\mathsf{x}\right)=1$, (31) gives a Hermite–Hadamard–Mercer-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$-$\left(\mathfrak{CF}\right)$.
• If $\gamma \left(\mathsf{x}\right)=(1-\mathsf{x})$, (31) gives a Hermite–Hadamard–Mercer-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$-tgs-$\left(\mathfrak{CF}\right)$.
• If $\gamma \left(\mathsf{x}\right)=\frac{1}{\mathsf{x}}$, (31) gives a Hermite–Hadamard–Mercer-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$-P $\left(\mathfrak{CF}\right)$.
• If $\gamma \left(\mathsf{x}\right)=\frac{(e^{\mathsf{x}}-1)}{\mathsf{x}}$, (31) gives a Hermite–Hadamard–Mercer-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$ exponential-type $\left(\mathfrak{CF}\right)$.
• If $\gamma \left(\mathsf{x}\right)=\frac{1}{{\mathsf{x}}^2}$, (31) gives a Hermite–Hadamard–Mercer-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$-Godunova–Levin $\left(\mathfrak{CF}\right)$.
• If $\gamma \left(\mathsf{x}\right)={\mathsf{x}}^{s-1}$, (31) gives a Hermite–Hadamard–Mercer-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$-s-$\left(\mathfrak{CF}\right)$.
• If $\gamma \left(\mathsf{x}\right)={\mathsf{x}}^{-s-1}$, (31) gives a Hermite–Hadamard–Mercer-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$-Godunova–Levin s-$\left(\mathfrak{CF}\right)$.
• If $h\left(\mathsf{x}\right)=\mathsf{x}\gamma \left(\mathsf{x}\right)$, (31) gives a Hermite–Hadamard–Mercer-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$-h-$\left(\mathfrak{CF}\right)$.
• If $\gamma \left(\mathsf{x}\right)=\frac{1}{\mathsf{x}\aleph }{\Sigma }_{\Im =1}^{\aleph }(1-{(1-\mathsf{x})}^{\Im })$, (31) gives a Hermite–Hadamard–Mercer-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$ n-polynomial $\left(\mathfrak{CF}\right)$.
• If $\gamma \left(\mathsf{x}\right)=\frac{1}{\mathsf{x}\aleph }{\Sigma }_{\Im =1}^{\aleph }({\mathsf{x}}^{\frac{1}{\Im }})$, (31) gives a Hermite–Hadamard–Mercer-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$ fractional n-polynomial $\left(\mathfrak{CF}\right)$.
• If $\gamma \left(\mathsf{x}\right)=\frac{1}{\mathsf{x}\aleph }\frac{{\Sigma }_{\Im =1}^{\aleph }{\mathsf{M}}_{\Im }(1-{(1-\mathsf{x})}^{\Im })}{{\Sigma }_{\Im =1}^{\aleph }{\mathsf{M}}_{\Im }}$, (31) gives a Hermite–Hadamard–Mercer-type inclusion for $\left(\mathcal{SP}\right)$ of${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$ generalized n-polynomial $\left(\mathfrak{CF}\right)$.

Corollary 8.

By substituting ${\mathsf{N}}_1=\mathsf{m}$ and ${\mathsf{N}}_2=\mathsf{n}$ in (31), we obtain the following new fractional integral inclusion for${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}\gamma$-convex $\left(\mathcal{SP}\right)$:

$$\begin{array}{l}\frac{(1-e^{-\alpha })}{\gamma \left(\frac{1}{2}\right)}\mathsf{S}\left(\frac{\mathsf{m}+\mathsf{n}}{2},.\right){⪯}_{\mathfrak{r}}^{\mathfrak{c}}\frac{1-\kappa }{2}\left[{\mathfrak{I}}_{{\mathsf{m}}^{-}}^{\kappa }\left[\mathsf{S}\right]\left(\mathsf{n}\right)+{\mathfrak{I}}_{{\mathsf{n}}^{+}}^{\kappa }\left[\mathsf{S}\right]\left(\mathsf{m}\right)\right]\\ {⪯}_{\mathfrak{r}}^{\mathfrak{c}}\left[\frac{\mathsf{S}(\mathsf{m},.)+\mathsf{S}(\mathsf{n},.)}{2}\right]P_1.\end{array}$$

The above inclusion becomes the one given by [31] for $\gamma \left(n\right)=1$ and ${\mathsf{S}}_{\mathfrak{c}}={\mathsf{S}}_{\mathfrak{r}}$.

Corollary 9.

When $\kappa \to 1$, we obtain ${lim}_{\kappa \to 1}\frac{1-\kappa }{2(1-e^{-\alpha })}=\frac{1}{2(\mathsf{n}-\mathsf{m})}$. Thus, from (31), the given new Hermite–Hadamard–Mercer-type inclusion for${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}\gamma$-convex $\left(\mathcal{SP}\right)$ is:

$$\begin{array}{l}\frac{1}{\gamma \left(\frac{1}{2}\right)}\mathsf{S}\left({\mathsf{N}}_1+{\mathsf{N}}_2-\frac{\mathsf{m}+\mathsf{n}}{2},.\right){⪯}_{\mathfrak{r}}^{\mathfrak{c}}\frac{1}{2(\mathsf{n}-\mathsf{m})}{\int }_{\mathsf{m}}^{\mathsf{n}}\mathsf{S}({\mathsf{N}}_1+{\mathsf{N}}_2-u,.)du\\ {⪯}_{\mathfrak{r}}^{\mathfrak{c}}\left[\mathsf{S}({\mathsf{N}}_1,.)+\mathsf{S}({\mathsf{N}}_2,.)-\frac{\mathsf{S}(\mathsf{m},.)+\mathsf{S}(\mathsf{n},.)}{2}\right]\frac{P_1}{(1-e^{-\alpha })}.\end{array}$$

The above inclusion becomes the one given by [31] for $\gamma \left(n\right)=1$ and ${\mathsf{S}}_{\mathfrak{c}}={\mathsf{S}}_{\mathfrak{r}}$.

Remark 4.

Substituting ${\mathsf{N}}_1=\mathsf{m},\gamma \left(n\right)=1$ and ${\mathsf{N}}_2=\mathsf{n}$ in (31), thus for $\kappa \to 1$, the Hermite–Hadamard-type inclusion for convex $\left(\mathcal{SP}\right)$ presented by Kotrys [17] is reproduced for ${\mathsf{S}}_{\mathfrak{c}}={\mathsf{S}}_{\mathfrak{r}}$.

4. Applications

Entropy quantifies uncertainty in $\left(\mathcal{SP}\right)$s. The greater the value of the entropy, the less predictable the next event will be. Shannon entropy, a vital idea in information theory, is usually used to calculate this. In this section, we discuss some valuable notations from the literature that provide applications in entropy and information theory related to our work using Python-programmed graphs.

Example 4.

Taking $\mathsf{S}(n,.)=\left[\right(-1-n)log(n),(-1+n)log(n\left)\right]=\langle -log\left(n\right),nlog\left(n\right)\rangle$. See Figure 5.

Nevertheless, the newly constructed${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}\mathcal{SP}s$ demonstrate that the $\mathcal{SP}s$ at the left (blue) and right (yellow) endpoints are convex when the center and radius order is applied.

Definition 19.

The Shannon entropy of a positive probability distribution $\mathsf{Q}=(q_1,...,q_{\aleph })$ is defined by,

$$\mathsf{E}\left(q\right):=\sum _{\Im =1}^{\aleph }{q}_{\Im }log\frac{1}{q_{\Im }}.$$

Let $\mathsf{L}={\left\{{\mathsf{L}}_{\Im }\right\}}_{\Im =1}^{\aleph }$ be a non-negative real sequence,

$${\mathsf{A}}_{\aleph }\left(n\right)=\frac{1}{\aleph }\sum _{\Im =1}^{\aleph }{n}_{\Im },$$

and

$${\mathsf{T}}_{\aleph }\left(n\right)={\left({⅁}_{\Im =1}^{\aleph }{m}_{\Im }\right)}^{\frac{1}{\aleph }},$$

denote the usual arithmetic and geometric means of $\left\{n_{\Im }\right\}$, respectively. From (20), we conclude with the following result.

Proposition 1.

Let $\mathsf{U}>0,\gamma \left(n\right)=1,{\mathsf{N}}_{\Im }\in [\mathsf{U},\mathsf{V}],\Im =1,...,\aleph$ and ${\mathsf{A}}_{\Im }\left(x\right)=\frac{\mathsf{U}+\mathsf{V}}{2}$, then (20) implies

$$\left[\sqrt{\mathsf{U}\mathsf{V}},log\left(\frac{\aleph }{2}\right)\right]{⪯}_{\mathfrak{r}}^{\mathfrak{c}}\left[{\mathsf{T}}_{\aleph }\left(x\right),\mathsf{E}\left(q\right)\right]{⪯}_{\mathfrak{r}}^{\mathfrak{c}}\left[\frac{\mathsf{U}+\mathsf{V}}{2},\frac{1}{\aleph }log\left(\frac{2}{\aleph }\right)\right].$$

(32)

Proof. 

Taking ${\mathsf{S}}_{\mathfrak{c}}(n,.)=-log\left(n\right)$ in (20),

$$-log\left(\frac{\mathsf{U}+\mathsf{V}}{2}\right)\le \frac{-log\left({\mathsf{N}}_1\right)-...-log\left({\mathsf{N}}_{\aleph }\right)}{\aleph }\le \frac{-log\left(\mathsf{U}\right)-log\left(\mathsf{V}\right)}{2},$$

So,

$$\frac{log\left(\mathsf{U}\right)+log\left(\mathsf{V}\right)}{2}\le \frac{log\left({\mathsf{N}}_1\right)+...+log\left({\mathsf{N}}_{\aleph }\right)}{\aleph }\le log\left(\frac{\mathsf{U}+\mathsf{V}}{2}\right),$$

Subsequently,

$$log\left(\sqrt{\mathsf{U}\mathsf{V}}\right)\le log\left({\mathsf{T}}_{\aleph }\left(n\right)\right)\le log\left(\frac{\mathsf{U}+\mathsf{V}}{2}\right),$$

Since ${\mathsf{S}}_{\mathfrak{c}}\left(n\right)=-log\left(n\right)$ is nondecreasing, the result follows from above:

$$\sqrt{\mathsf{U}\mathsf{V}}\le {\mathsf{T}}_{\aleph }\left(x\right)\le \frac{\mathsf{U}+\mathsf{V}}{2}.$$

(33)

Now, taking, $n_{\Im }=q_{\Im },{\mathsf{S}}_{\mathfrak{r}}(n,.)=nlog\left(n\right),n\ne 0,\mathsf{U}=0,\mathsf{V}=\frac{2}{\aleph }$ in (20),

$$\frac{1}{\aleph }log\left(\frac{1}{\aleph }\right)\le \frac{q_{1}log\left(q_1\right)+...+q_{\aleph }log\left(q_{\aleph }\right)}{\aleph }\le \frac{1}{\aleph }log\left(\frac{2}{\aleph }\right),$$

$$log\left(\frac{\aleph }{2}\right)\le \mathsf{E}\left(q\right)\le log(\aleph ),$$

(34)

(33) and (34) yield,

$$\left[\sqrt{\mathsf{U}\mathsf{V}},log\left(\frac{\aleph }{2}\right)\right]{⪯}_{\mathfrak{r}}^{\mathfrak{c}}\left[{\mathsf{T}}_{\aleph }\left(x\right),\mathsf{E}\left(q\right)\right]{⪯}_{\mathfrak{r}}^{\mathfrak{c}}\left[\frac{\mathsf{U}+\mathsf{V}}{2},\frac{1}{\aleph }log\left(\frac{2}{\aleph }\right)\right].$$

□

5. Conclusions

Merging the concepts of interval analysis, stochastic processes, and generalized convexity,${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$ order relation is used in this manuscript for $\gamma$-convex $\left(\mathcal{SP}\right)$s. Using these notions, we developed inclusions of the Jensen, Mercer, and Hermite–Hadamard types. A distinguishing feature of this notion is that the inclusion terms derived from it reproduce results for${ }_{\mathcal{C}.\mathcal{R}}^{\mathcal{I}.\mathcal{V}}$ (convex, tgs-convex, P-convex, exponential-type convex, Godunova–Levin convex, s-convex, Godunova–Levin s-convex, h-convex, n-polynomial convex, and fractional n-polynomial convex $\left(\mathcal{SP}\right)$s). Specific interesting examples related to Python-programmed graphs, entropy, and information theory applications make our work more advanced than the existing results in [17,27,31]. In the future, one can extend these results via stochastic integrals, quantum integrals, and post-quantum integrals in fuzzy interval settings.