Abstract
Inequality theory provides a significant mechanism for managing symmetrical aspects in real-life circumstances. The renowned distinguishing feature of integral inequalities and fractional calculus has a solid possibility to regulate continuous issues with high proficiency. This manuscript contributes to a captivating association of fractional calculus, special functions and convex functions. The authors develop a novel approach for investigating a new class of convex functions which is known as an n-polynomial \(\mathcal{P}\)-convex function. Meanwhile, considering two identities via generalized fractional integrals, provide several generalizations of the Hermite–Hadamard and Ostrowski type inequalities by employing the better approaches of Hölder and power-mean inequalities. By this new strategy, using the concept of n-polynomial \(\mathcal{P}\)-convexity we can evaluate several other classes of n-polynomial harmonically convex, n-polynomial convex, classical harmonically convex and classical convex functions as particular cases. In order to investigate the efficiency and supremacy of the suggested scheme regarding the fractional calculus, special functions and n-polynomial \(\mathcal{P}\)-convexity, we present two applications for the modified Bessel function and \(\mathfrak{q}\)-digamma function. Finally, these outcomes can evaluate the possible symmetric roles of the criterion that express the real phenomena of the problem.
Similar content being viewed by others
1 Introduction
Over the most recent couple of decades, fractional calculus [1–14] has been effectively utilized in modeling for a wide range of processes and systems in the field of engineering and applied sciences. The comprehensive applications in real-world problems are described by fractional operators including fluid mechanics such as exothermic chemical reactions or autocatalytic reactions, and it has been found to be an effective tool in interpretation and modeling of numerous problems appear in physics and applied mathematics [15]. Fractional integrodifferential equations contain derivatives of any complex or real order, being considered as a general form of differential equations. Numerous investigations have been proposed to improve the modeling accuracy in depicting the anomalous diffusion process, modeling different sorts of viscoelastic damping, precisely catching power-law frequency dependence and stimulating the flow of a fractional Maxwell fluid.
The fractional integral inequality [16–24] is one of the most popular approaches which is widely employed in many practical problems, optimization theory, engineering and technology. Integral inequalities of fractional strategies show substantially more ordinarily in several research areas and technology applications. The significant extent of utilities of the integral inequalities on convexity for both derivation and integration has been a subject of hot debate. Set et al. [25] illustrated numerous novel versions of Hermite–Hadamard–Fejér type inequalities via fractional integral operators.
The main subject of this paper is the introduction of the notion of n-polynomial \(\mathcal{P}\)-convex functions and establishing the Hermite–Hadamard and Ostrowski type inequalities for n-polynomial \(\mathcal{P}\)-convex functions. In the deterministic case, most of the presented results are the refinements of the existing results for harmonically convex and classical convex functions in the relative literature. The new methodology is useful to explore the Mandelbrot and Julia sets for quadratic and cubic polynomials by introducing the term s in n-polynomial convexity.
Now, we recall the Hermite–Hadamard inequality as follows:
Let \(\hbar : I\rightarrow \mathbb{R}\) be a convex function. Then the double inequality
holds for all \(l_{1}, l_{2}\in I\) with \(l_{1}\neq l_{2}\).
Recently, the refinements, generalizations, extensions and variants for the Hermit-Hadamard inequality have attracted the attention of many researchers.
In 1928, Ostrowski [26] established the Ostrowski inequality, which gives an upper bound for the approximation of the integral average \((l_{2}-l_{1})^{-1}\int _{l_{1}}^{l_{2}}\hbar (\xi )\,d\xi \) by the value \(\hbar (z)\) at \(z\in [l_{1},l_{2}]\), it can be stated as follows:
Let \(\hbar :[l_{1}, l_{2}]\rightarrow \mathbb{R}\) be a differentiable mapping on \((l_{1}, l_{2})\) such that \(\vert \hbar ^{\prime }(x)\vert \leq \mathcal{M}\) for all \(z\in (l_{1},l_{2})\). Then the inequality
holds for all \(z\in (l_{1},l_{2})\) with the best possible constant \(1/4\).
The Ostrowski inequality (1.2) plays a prominent role in pure and applied mathematics, particularly in approximation theory. In recent decades, many mathematicians have studied the Ostrowski inequality from the perspective of fractional calculus and convex analysis.
İşcan [27] presented a new form of the Hölder integral inequality as follows.
Theorem 1.1
(See [27])
Let \(\alpha , \beta >1\)with \(\alpha +\beta =\alpha \beta \), and \(\hbar _{1}\)and \(\hbar _{2}\)be two integrable real-valued functions defined on \([l_{1}, l_{2}]\)such that \(\vert \hbar _{1}\vert ^{\alpha }\)and \(\vert \hbar _{2}\vert ^{\beta }\)are integrable on \([l_{1}, l_{2}]\). Then one has
Kadakal et al. [28] generalized the Hölder–İşcan integral inequality (1.3) to the following form.
Theorem 1.2
(See [28])
Let \(\alpha , \beta >1\)with \(\alpha +\beta =\alpha \beta \), and \(\hbar _{1}\)and \(\hbar _{2}\)be two integrable real-valued functions defined on \([l_{1}, l_{2}]\)such that \(\vert \hbar _{1}\vert ^{\alpha }\)and \(\vert \hbar _{2}\vert ^{\beta }\)are integrable on \([l_{1}, l_{2}]\). Then
The inspiration of this work resonates in every part of this article. This paper has multiple purposes. Our first intention is to introduce the notion of the n-polynomial \(\mathcal{P}\)-convex function. Taking into account two fractional identities, we derived several Hermite–Hadamard type inequalities for the well-known integral inequalities such as weighted arithmetic–geometric mean, Young’s inequality, improved power-mean and Hölder–İscan inequality. The second vital intention is to assemble the consequences from our findings for special functions such as hypergeometric functions, modified Bessel functions and \(\mathfrak{q}\)-digamma function. Our work’s results are valuable in the generation of fractals utilizing an iterative methodology, which is a fascinating field of examination and has utilities in the improvement of geometrically aided design.
The paper is organized as follows. In Sect. 2, we recall some basic and fundamental definitions and lemmas. In Sect. 3, we provide the Hermite–Hadamard type inequality for n-polynomial \(\mathcal{P}\)-convex functions. In Sect. 4, we establish the Hermite–Hadamard type inequalities for differentiable functions. In Sect. 5, we present the Ostrowski type inequalities for the aforesaid technique. In Sect. 6, we give the applications of our results.
2 Preliminaries
We first give some basic and novel definitions for various convex functions and generalized fractional integrals.
Definition 2.1
(See [29])
Let \(\mathcal{P}>0\) and \(\Omega \subseteq \mathbb{R}\) be an interval. Then Ω is said to be \(\mathcal{P}\)-convex if
for all \(l_{1},l_{2}\in \Omega \) and \(\xi \in [0,1]\).
Definition 2.2
(See [29])
Let \(\mathcal{P}>0\) and \(\Omega \subseteq \mathbb{R}\) be a \(\mathcal{P}\)-convex interval. Then the real-valued function \(\hbar :\Omega \rightarrow \mathbb{R}\) is said to be \(\mathcal{P}\)-convex if the inequality
holds for all \(l_{1},l_{2}\in \Omega \) and \(\xi \in [0,1]\).
If \(\mathcal{P}=1\), then we clearly see that the \(\mathcal{P}\)-convexity reduces to classical convexity.
Definition 2.3
(See [30])
Let \(\Omega \subseteq \mathbb{R}\) be an interval. Then a real-valued function \(\hbar :\Omega \rightarrow \mathbb{R}\) is said to be harmonically convex if the inequality
holds for all \(l_{1},l_{2}\in \Omega \) and \(\xi \in [0,1]\).
In [31], Toplu et al. defined the n-polynomial convexity as follows.
Definition 2.4
(See [31])
Let \(n\in \mathbb{N}\). Then the non-negative function \(\hbar :\Omega \rightarrow [0, \infty )\) is said to be a n-polynomial convex function if the inequality
holds for every \(l_{1}, l_{2}\in \Omega \) and \(\xi \in [0,1]\).
Note that every n-polynomial convex function is also a λ-convex function if \(\lambda (\xi )=\frac{1}{n}\sum_{\theta =1}^{n} [1-(1- \xi )^{\theta } ]\).
Awan et al. [32] presented the idea of n-polynomial harmonically convex functions as follows.
Definition 2.5
(See [32])
Let \(n\in \mathbb{N}\). Then a non-negative function \(\hbar :\Omega \rightarrow [0, \infty )\) is said to be a n-polynomial harmonically convex function if the inequality
holds for every \(l_{1}, l_{2}\in \Omega \) and \(\xi \in [0,1]\).
If \(n=2\), then from Definition 2.5 we clearly see that the n-polynomial harmonically convex function ħ satisfies the inequality
for all \(l_{1},l_{2}\in \Omega \) and \(\xi \in [0,1]\).
Now, we generalize the n-polynomial convex function to the n-polynomial \(\mathcal{P}\)-convex function.
Definition 2.6
Let \(n\in \mathbb{N}\), \(\mathcal{P}>0\) and \(\Omega \subseteq \mathbb{R}\) be a \(\mathcal{P}\)-convex interval. Then the non-negative real-valued function \(\hbar :\Omega \rightarrow [0, \infty )\) is said to be a n-polynomial \(\mathcal{P}\)-convex function if the inequality
holds for all \(l_{1}, l_{2}\in \Omega \), \(\xi \in [0,1]\).
Remark 2.7
Definition 2.6 leads to the conclusion that:
-
(i)
If \(\mathcal{P}=-1\), then Definition 2.6 becomes Definition 2.5 for n-polynomial harmonically convex function.
-
(ii)
If \(\mathcal{P}=1\), then Definition 2.6 reduces to Definition (2.4) for n-polynomial convex function.
Definition 2.8
(See [33])
Let \(\eta ,\rho >0\). Then the left and right sides generalized fractional integrals of the function ħ defined on \([l_{1}, l_{1}]\) are defined by
and
respectively.
Remark 2.9
Definition 2.8 leads to the conclusions that
-
(1)
If \(\rho =1\), then we get the Riemann–Liouville fractional integral operators [34]
$$ \bigl(\mathcal{I}_{l_{1}^{+}}^{\eta }\hbar \bigr) (z)= \frac{1}{\Gamma (\eta )} \int _{l_{1}}^{z}{(z-\xi )^{\eta -1} \hbar ( \xi )}\,d\xi\quad (z>l_{1}) $$and
$$ \bigl(\mathcal{I}_{l_{2}^{-}}^{\eta }\hbar \bigr) (z)= \frac{1}{\Gamma (\eta )} \int _{z}^{l_{2}}{(\xi -z)^{\eta -1} \hbar ( \xi )}\,d\xi\quad (z< l_{2}). $$ -
(2)
It \(\rho \rightarrow 0\), then we obtain the Hadamard fractional integral operators [34]
$$ \bigl(\mathcal{I}_{l_{1}^{+}}^{\eta }\hbar \bigr) (z)= \frac{1}{\Gamma (\eta )} \int _{l_{1}}^{z} \biggl(\log \frac{z}{\xi } \biggr)^{\eta -1}\frac{\hbar (\xi )}{\xi }\,d\xi \quad (z>l_{1}) $$and
$$ \bigl(\mathcal{I}_{l_{2}^{-}}^{\eta }\hbar \bigr) (z)= \frac{1}{\Gamma (\eta )} \int _{z}^{l_{2}} \biggl(\log \frac{\xi }{z} \biggr)^{\eta -1}\frac{\hbar (\xi )}{\xi }\,d\xi\quad ( z< l_{2}). $$
Next, we also need to introduce the beta function \(\mathbb{B}\) and Gaussian hypergeometric function \({}_{2}\mathcal{F}_{1}\), defined by
and
respectively, where \(\Gamma (z)=\int _{0}^{\infty }e^{-\xi }\xi ^{z-1}\,d\xi \) is the Euler gamma function [35].
3 Hermite–Hadamard type inequality for n-polynomial \(\mathcal{P}\)-convex function
In this section, we establish the Hermite–Hadamard type inequality for n-polynomial \(\mathcal{P}\)-convex functions via generalized fractional integrals.
Theorem 3.1
Let \(n\in \mathbb{N}\), \(\mathcal{\mathcal{P}}>0\), \(\eta >0\), \(\Omega \subset (0,\infty )\)be a \(\mathcal{\mathcal{P}}\)-convex interval, \(l_{1},l_{2}\in \Omega \)with \(l_{1}< l_{2}\)and \(\hbar :\Omega \rightarrow \mathbb{R}\)be an n-polynomial \(\mathcal{P}\)-convex function such that \(\hbar \in L_{1}([l_{1},l_{2}])\). Then we have
Proof
Let \(x,y\in \Omega \) and \(\xi =\frac{1}{2}\) in (2.3). Then it follows from the n-polynomial \({\mathcal{P}}\)-convexity of the function ħ on Ω that
Putting \(x^{\mathcal{P}}=\xi l_{1}^{\mathcal{P}}+(1-\xi )l_{2}^{\mathcal{P}}\) and \(y^{\mathcal{P}}=(1-\xi ) l_{1}^{\mathcal{P}}+\xi l_{2}^{\mathcal{P}}\) leads to
Multiplying both sides of (3.3) by \(\xi ^{\eta -1}\) and integrating the obtained inequality with respect to ξ over \((0, 1)\) give
that is,
which completes the proof of the first inequality. For the proof of the second inequality of (3.1), we use the n-polynomial \({\mathcal{P}}\)-convexity of the function ħ again to get
and
By adding the above two inequalities, we have
Multiplying both sides of the (3.6) by \(\xi ^{\eta -1}\) and integrating the obtained inequality for ξ over \((0,1)\), we obtain
□
Remark 3.2
Theorem 3.1 leads to the conclusions that:
4 Hermite–Hadamard type inequalities for differentiable function
In what follows, we denote by \(L_{1}([l_{1},l_{2}])\) the space of (Lebesgue) integrable functions on the interval \([l_{1},l_{2}]\), we first give Lemma 4.1 [36], which will be used for generating refinements of Hermite–Hadamard type inequality.
Lemma 4.1
(See [36])
Let \(\mathcal{\mathcal{P}},\eta >0\), \(\hbar :\Omega ^{\circ }\subset (0,\infty )\rightarrow \mathbb{R}\)be a differentiable function on \(\Omega ^{\circ }\) (\(\Omega ^{\circ }\)is the interior of Ω) and \(l_{1},l_{2}\in \Omega ^{\circ }\)with \(l_{1}< l_{2}\)such that \(\hbar ^{\prime }\in L_{1}([l_{1},l_{2}])\). Then we have the inequality
Theorem 4.2
Let \(n\in \mathbb{N}\), \(\mathcal{\mathcal{P}}, \eta >0\), \(\beta >1\), \(\hbar :\Omega ^{\circ }\subset (0,\infty )\rightarrow \mathbb{R}\)be a differentiable function on \(\Omega ^{\circ }\)and \(l_{1},l_{2}\in \Omega ^{\circ }\)with \(l_{1}< l_{2}\)such that \(\hbar ^{\prime }\in L_{1}([l_{1},l_{2}])\)and \(\vert \hbar ^{\prime }\vert ^{\beta }\)is an n-polynomial \({\mathcal{P}}\)-convex function on Ω. Then one has
where
and
Proof
It follows from Lemma 4.1 and the Hölder inequality that
From the n-polynomial \({\mathcal{P}}\)-convexity of the function \(\vert \hbar ^{\prime }\vert ^{\beta }\) on Ω, we get
Inequalities (4.3) and (4.4) lead to
where we have used the facts that
and
Combining (4.5)–(4.8), we get the desired inequality (4.2). □
Our next result is better than all the previously known results in the literature, which can be obtained by the improved power-mean inequality via n-polynomial \({\mathcal{P}}\)-convex function.
Theorem 4.3
Let \(n\in \mathbb{N}\), \(\mathcal{\mathcal{P}}, \eta >0\), \(\beta \geq 1\), \(\hbar :\Omega ^{\circ }\subset (0,\infty )\rightarrow \mathbb{R}\)be a differentiable function on \(\Omega ^{\circ }\)and \(l_{1},l_{2}\in \Omega ^{\circ }\)with \(l_{1}< l_{2}\)such that \(\hbar ^{\prime }\in L_{1}([l_{1},l_{2}])\)and \(\vert \hbar ^{\prime }\vert ^{\beta }\)is a n-polynomial \({\mathcal{P}}\)-convex function on Ω. Then
where
and
Proof
It follows from Lemma 4.1 and the improved power-mean integral inequality that
From the n-polynomial \({\mathcal{P}}\)-convexity of the function \(\vert \hbar ^{\prime }\vert ^{\beta }\) on Ω, we have
Similarly, we have
Inequalities (4.10)–(4.12) lead to
where we have used the facts that
and
The desired inequality (4.9) can be obtained by adopting the same technique for integrals in (4.13) and substituting the obtained results together with the equalities (4.14) and (4.15) in (4.13). □
5 Ostrowski type inequalities
This section is devoted to establishing novel bounds that refine the Ostrowski type inequality for mappings whose first derivative in absolute value at a certain power is a n-polynomial \({\mathcal{P}}\)-convex function. It is noteworthy that Thatsatian et al. [37] contemplated the following lemma for generalized fractional integrals.
Lemma 5.1
(See [37])
Let \(\eta >0\), \(\mathcal{P}\in \mathbb{R}\setminus \{0\}\)and \(\hbar :\Omega \rightarrow \mathbb{R}\)be a differentiable function on \(\Omega ^{\circ }\) (\(\Omega ^{\circ }\)is the interior of Ω) such that \(l_{1}, l_{2}\in \Omega \)with \(l_{1}< l_{2}\)and \(\hbar ^{\prime }\in L_{1}([l_{1},l_{2}])\). Then we have the inequality
Theorem 5.2
Let \(n\in \mathbb{N}\), \(\eta >0\), \(l_{1}, l_{2}\in \Omega \)with \(l_{1}< l_{2}\), and \(\hbar :\Omega \subset (0,\infty )\rightarrow \mathbb{R}\)be a differentiable function on \(\Omega ^{\circ }\)such that \(\hbar ^{\prime }\in L_{1}([l_{1},l_{2}])\)and \(\vert \hbar ^{\prime }\vert \)is a n-polynomial \(\mathcal{P}\)-convex function satisfies \(\vert \hbar ^{\prime }(z)\vert \leq \mathcal{M}\)for all \(z\in [l_{1},l_{2}]\). Then the inequality
holds for all \(z\in (l_{1},l_{2})\)and \(\mathcal{P}\in (1, \infty )\), and the inequality
holds for all \(z\in (l_{1},l_{2})\)and \(\mathcal{P}\in (-\infty , 0)\cup (0, 1)\).
Proof
To prove the first inequality of Theorem 5.2, we use Lemma 5.1 and the n-polynomial \({\mathcal{P}}\)-convexity of \(\vert \hbar ^{\prime }\vert \) to get
Since \(\mathcal{P}\in (1,\infty )\), we conclude that
by simple computations, we have
which implies first inequality of Theorem 5.2.
To prove the second inequality of Theorem 5.2, we use \(\mathcal{P}\in (-\infty , 0)\cup (0,1)\) to get
which completes the second inequality of Theorem 5.2. □
Theorem 5.3
Let \(n\in \mathbb{N}\), \(\alpha , \beta >1\)with \(\alpha ^{-1}+\beta ^{-1}=1\), \(l_{1}, l_{2}\in \Omega \)with \(l_{1}< l_{2}\), and \(\hbar :\Omega \subset (0,\infty )\rightarrow \mathbb{R}\)be a differentiable function on \(\Omega ^{\circ }\)such that \(\hbar ^{\prime }\in L_{1}([l_{1},l_{2}])\)and \(\vert \hbar ^{\prime }\vert ^{\beta }\)is a n-polynomial convex function satisfies \(\vert \hbar ^{\prime }(z)\vert \leq \mathcal{M}\)for all \(z\in [l_{1},l_{2}]\). Then the inequality
holds for all \(z\in (l_{1},l_{2})\)and \(\mathcal{P}\in (1, \infty )\), and the inequality
holds for all \(z\in (l_{1},l_{2})\)and \(\mathcal{P}\in (-\infty , 0)\cup (0, 1)\).
Proof
To prove first inequality of Theorem 5.3, we use Lemma 5.1, (5.5) and the Hölder inequality to obtain
Since \(\vert \hbar ^{\prime }\vert ^{\beta }\) is n-polynomial \({\mathcal{P}}\)-convex and \(\vert \hbar ^{\prime }(z)\vert \leq \mathcal{M}\) for all \(z \in [l_{1}, l_{2}]\), we get
and
Note that
Combining all above inequalities we get the first inequality of Theorem 5.3. The second inequality of Theorem 5.3 can be proved in a similar way and using (5.6). □
Theorem 5.4
Let \(n\in \mathbb{N}\), \(\alpha , \beta >1\)with \(\alpha ^{-1}+\beta ^{-1}=1\), \(l_{1}, l_{2}\in \Omega \)with \(l_{1}< l_{2}\), and \(\hbar :\Omega \subset (0,\infty )\rightarrow \mathbb{R}\)be a differentiable function on \(\Omega ^{\circ }\)such that \(\hbar ^{\prime }\in L_{1}([l_{1},l_{2}])\)and \(\vert \hbar ^{\prime }\vert ^{\beta }\)is a n-polynomial \(\mathcal{P}\)-convex function satisfies \(\vert \hbar ^{\prime }(z)\vert \leq \mathcal{M}\)for all \(z\in [l_{1},l_{2}]\). Then the inequality
holds for all \(z\in (l_{1},l_{2})\)and \(\mathcal{P}\in (1, \infty )\), and the inequality
holds for all \(z\in (l_{1},l_{2})\)and \(\mathcal{P}\in (-\infty , 0)\cup (0,1)\).
Proof
To prove first inequality of Theorem 5.4, we use Lemma 5.1, (5.5) and the power-mean inequality to get
Since \(\vert \hbar \vert ^{\beta }\) is n-polynomial \({\mathcal{P}}\)-convex and \(\vert \hbar ^{\prime }(z)\vert \leq \mathcal{M}\) for all \(z \in [l_{1}, l_{2}]\), we get
Analogously,
Combining all above inequalities we get the first inequality of Theorem 5.4. The second inequality of Theorem 5.4 can be proved in a similar way by the use of (5.6). □
Theorem 5.5
Let \(n\in \mathbb{N}\), \(\alpha ,\beta >1\)with \(\alpha ^{-1}+\beta ^{-1}=1\), \(l_{1}, l_{2}\in \Omega \)with \(l_{1}< l_{2}\), and \(\hbar :\Omega \subset (0,\infty )\rightarrow \mathbb{R}\)be a differentiable function on \(\Omega ^{\circ }\)such that \(\hbar ^{\prime }\in L_{1}([l_{1},l_{2}])\)and \(\vert \hbar ^{\prime }\vert ^{\beta }\)is a n-polynomial \(\mathcal{P}\)-convex function satisfies \(\vert \hbar ^{\prime }(z)\vert \leq \mathcal{M}\)for all \(z\in [l_{1},l_{2}]\). Then the inequality
holds for all \(z\in (l_{1},l_{2})\)and \(\mathcal{P}\in (1,\infty )\), and the inequality
holds for all \(z\in (l_{1},l_{2})\)and \(\mathcal{P}\in (-\infty , 0)\cup (0,1)\).
Proof
We need and recall the Young inequality as follows:
To prove the first inequality of Theorem 5.5, we use Lemma 5.1, (5.5) and the n-polynomial \(\mathcal{P}\)-convexity of \(\vert \hbar ^{\prime }\vert ^{\beta }\) to obtain
The second inequality of Theorem 5.5 can be proved in a similar way by the use of (5.6). □
Theorem 5.6
Let \(n\in \mathbb{N}\), \(\alpha ,\beta >1\)with \(\alpha +\beta =1\), \(l_{1}, l_{2}\in \Omega \)with \(l_{1}< l_{2}\), and \(\hbar :\Omega \subset (0,\infty )\rightarrow \mathbb{R}\)be a differentiable function on \(\Omega ^{\circ }\)such that \(\hbar ^{\prime }\in L_{1}([l_{1},l_{2}])\)and \(\vert \hbar ^{\prime }\vert ^{\beta }\)is a n-polynomial \(\mathcal{P}\)-convex function satisfies \(\vert \hbar ^{\prime }(z)\vert \leq \mathcal{M}\)for all \(z\in [l_{1},l_{2}]\). Then the inequality
holds for all \(z\in (l_{1},l_{2})\)and \(\mathcal{P}\in (1,\infty )\), and the inequality
holds for all \(z\in (l_{1},l_{2})\)and \(\mathcal{P}\in (-\infty , 0)\cup (0,1)\).
Proof
We first recall the weighted \(\mathcal{AM}-\mathcal{GM}\) inequality
To prove the first inequality of Theorem 5.6, we use Lemma 5.1, (5.5) and the n-polynomial \(\mathcal{P}\)-convexity of \(\vert \hbar ^{\prime }\vert ^{\beta }\) to get
The second inequality of Theorem 5.6 can be proved in a similar way by using Eq. (5.6). □
Theorem 5.7
Let \(n\in \mathbb{N}\), \(\alpha , \beta >1\)with \(\alpha ^{-1}+\beta ^{-1}=1\), \(l_{1}, l_{2}\in \Omega \)with \(l_{1}< l_{2}\), and \(\hbar :\Omega \subset (0,\infty )\rightarrow \mathbb{R}\)be a differentiable function on \(\Omega ^{\circ }\)such that \(\hbar ^{\prime }\in L_{1}([l_{1},l_{2}])\)and \(\vert \hbar ^{\prime }\vert ^{\alpha }\)is a n-polynomial \(\mathcal{P}\)-convex function satisfies \(\vert \hbar ^{\prime }(z)\vert \leq \mathcal{M}\)for all \(z\in [l_{1},l_{2}]\). Then the inequality
holds for all \(z\in (l_{1}, l_{2})\)and \(\mathcal{P}\in (1,\infty )\), and the inequality
holds for all \(z\in (l_{1}, l_{2})\)and \(\mathcal{P}\in (-\infty , 0)\cup (0,1)\), where
and
Proof
To prove the first inequality of Theorem 5.7, we use Lemma 5.1 and the Hölder–İşcan inequality to obtain
Since \(\vert \hbar ^{\prime }\vert ^{\beta }\) is n-polynomial \({\mathcal{P}}\)-convex and \(\vert \hbar ^{\prime }(z)\vert \leq \mathcal{M}\) for all \(z \in [l_{1}, l_{2}]\), we obtain
Analogously, we have
Note that
and
□
Theorem 5.8
Let \(n\in \mathbb{N}\), \(\alpha , \beta >1\)with \(\alpha ^{-1}+\beta ^{-1}=1\), \(l_{1}, l_{2}\in \Omega \)with \(l_{1}< l_{2}\), and \(\hbar :\Omega \subset (0,\infty )\rightarrow \mathbb{R}\)be a differentiable function on \(\Omega ^{\circ }\)such that \(\hbar ^{\prime }\in L_{1}([l_{1},l_{2}])\)and \(\vert \hbar ^{\prime }\vert ^{\alpha }\)is a n-polynomial convex function satisfies \(\vert \hbar ^{\prime }(z)\vert \leq \mathcal{M}\)for all \(z\in [l_{1},l_{2}]\). Then the inequality
holds for all \(z\in (l_{1}, l_{2})\)and \(\mathcal{P}\in (1,\infty )\), and the inequality
holds for all \(z\in (l_{1}, l_{2})\)and \(\mathcal{P}\in (-\infty , 0)\cup (0,1)\), where
and
Proof
It follows from Lemma 5.1 and the improved power-mean inequality that
Since \(\vert \hbar ^{\prime }\vert ^{\beta }\) is n-polynomial \({\mathcal{P}}\)-convex and \(\vert \hbar ^{\prime }(z)\vert \leq \mathcal{M}\) for all \(z\in [l_{1}, l_{2}]\), we get
where
Analogously, we have
where
In a similar way, we can obtain \(\Upsilon _{3}(l_{2},z;\mathcal{P})\) and \(\Upsilon _{4}(l_{2},z;\mathcal{P})\) by replacing \(l_{1}\) into \(l_{2}\) in (5.25) and (5.27) and applying the facts that
and
This completes the proof. □
6 Inequalities for special function
6.1 Modified Bessel function
Recalling the series representation of the first kind modified Bessel function [38]
Analogously, the second kind modified Bessel function \(\mathcal{K}_{\rho }\) is defined by
Let \(\omega _{\rho }:\mathbb{R}\rightarrow [1,\infty )\) be defined by
Proposition 6.1
Let \(\rho >-1\)and \(l_{2}>l_{1}>0\). Then one has
In particular, if \(\rho =-1/2\), then
Proof
Let \(\mathcal{P}=\eta =1\). Then the desired inequality (6.4) can be derived by applying inequality (4.2) to the mapping \(\hbar (z)=\omega _{\rho }(z)\) with \(\omega _{\rho }^{\prime }(z)=\frac{z}{\rho +1}\omega _{\rho +1}\).
If \(\rho =-1/2\), then inequality (6.4) reduces to (6.5) due to \(\omega _{-1/2}(z)=\cosh z\) and \(\omega _{1/2}(z)=\frac{\sin h(z)}{z}\). □
6.2 \(\mathfrak{q}\)-Digamma function
Let \(\mathfrak{q}\in (0,1)\). Then the \(\mathfrak{q}\)-analogue of the digamma function \(\check{\phi }_{\mathfrak{q}}\) is given by
If \(\mathfrak{q}>1\) and \(z>0\), then the \(\mathfrak{q}\)-digamma function \(\check{\phi }_{\mathfrak{q}}\) can be expressed as
Proposition 6.2
Let \(\mathfrak{q}\in (0,1)\)and \(l_{2}>l_{1}>0\). Then the inequality
holds for all \(z>0\).
Proof
Let \(\eta =\mathcal{P}=1\). Then from the definition of \(\check{\phi _{\mathfrak{q}}}\) we know that the function \(z\rightarrow \check{\phi _{\mathfrak{q}}}^{\prime }(z)\) is a completely monotone function and is convex on \((0,\infty )\). Therefore, inequality (6.8) can be derived by Theorem 4.2 immediately. □
7 Conclusions
A novel idea of n-polynomial \(\mathcal{P}\)-convex function with several types of convexities is elaborated. By considering two identities for the generalized fractional integral operators, we proposed several novel generalizations for n-polynomial \(\mathcal{P}\)-convex functions. Here, we emphasized that all computed outcomes in the present investigation endured preserving for n-polynomial harmonically convex, n-polynomial convex, classical harmonically convex and classical convex functions that can be obtained by choosing \(\mathcal{P}=-1\) or 1 and \(\theta =1\). So the suggested technique is suitable for a prioritized relationship in generalized fractional operator and special functions. The significant contribution of n-polynomial \(\mathcal{P}\)-convex functions is that they take into account the special functions and fractional calculus. We addressed many of the basic characteristics of n-polynomial \(\mathcal{P}\)-convex functions in certain special functions, namely the Euler beta function, the hypergeometric function, the modified Bessel function and the \(\mathfrak{q}\)-digamma function. Additionally, the n-polynomial type convexity is used to discuss their roles in fractal analysis and machine learning. For further investigation, taking into account the advanced convexity properties, in the preinvexity context, we may extend this study in inequality theory, quantum calculus, machine learning, robotics, weather forecasting and optimizations, which are promising areas that invite potential investigations.
References
Khurshid, Y., Adil Khan, M., Chu, Y.-M.: Conformable fractional integral inequalities for GG- and GA-convex functions. AIMS Math. 5(5), 5012–5030 (2020)
Chu, Y.-M., Awan, M.U., Javad, M.Z., Khan, A.W.: Bounds for the remainder in Simpson’s inequality via n-polynomial convex functions of higher order using Katugampola fractional integrals. J. Math. 2020, Article ID 4189036 (2020)
Yan, P.-Y., Li, Q., Chu, Y.-M., Mukhtar, S., Waheed, S.: On some fractional integral inequalities for generalized strongly modified h-convex function. AIMS Math. 5(6), 6620–6638 (2020)
Ge-JiLe, H., Rashid, S., Noor, M.A., Suhail, A., Chu, Y.-M.: Some unified bounds for exponentially tgs-convex functions governed by conformable fractional operators. AIMS Math. 5(6), 6108–6123 (2020)
Kalsoom, H., Idrees, M., Baleanu, D., Chu, Y.-M.: New estimates of \(q_{1}q_{2}\)-Ostrowski-type inequalities within a class of n-polynomial prevexity of function. J. Funct. Spaces 2020, Article ID 3720798 (2020)
Hussain, S., Khalid, J., Chu, Y.-M.: Some generalized fractional integral Simpson’s type inequalities with applications. AIMS Math. 5(6), 5859–5883 (2020)
Chen, S.-B., Rashid, S., Noor, M.A., Ashraf, R., Chu, Y.-M.: A new approach on fractional calculus and probability function. AIMS Math. 5(6), 7041–7054 (2020)
Shen, J.-M., Rashid, S., Noor, M.A., Ashraf, R., Chu, Y.-M.: Certain novel estimates within fractional calculus theory on time scales. AIMS Math. 5(6), 6073–6086 (2020)
Xu, L., Chu, Y.-M., Rashid, S., El-Deeb, A.A., Nisar, K.S.: On new unified bounds for a family of functions with fractional q-calculus theory. J. Funct. Spaces 2020, Article ID 4984612 (2020)
Rashid, S., Khalid, A., Rahman, S., Nisar, K.S., Chu, Y.-M.: On new modifications governed by quantum Hahn’s integral operator pertaining to fractional calculus. J. Funct. Spaces 2020, Article ID 8262860 (2020)
Kalsoom, H., Idrees, M., Kashuri, A., Awan, M.U., Chu, Y.-M.: Some new \((p_{1}p_{2}, q_{1}q_{2})\)-estimates of Ostrowski-type integral inequalities via n-polynomials s-type convexity. AIMS Math. 5(6), 7122–7144 (2020)
Zhou, S.-S., Rashid, S., Jarad, F., Kalsoom, H., Chu, Y.-M.: New estimates considering the generalized proportional Hadamard fractional integral operators. Adv. Differ. Equ. 2020, Article ID 275 (2020)
Abdeljawad, T., Rashid, S., Khan, H., Chu, Y.-M.: On new fractional integral inequalities for p-convexity within interval-valued functions. Adv. Differ. Equ. 2020, Article ID 330 (2020)
Zaheer Ullah, S., Adil Khan, M., Khan, Z.A., Chu, Y.-M.: Coordinate strongly s-convex functions and related results. J. Math. Inequal. 14(3), 829–843 (2020)
Podlubny, I.: Fractional Differential Equations. Academic Press, San Diego (1999)
Zhao, T.-H., He, Z.-Y., Chu, Y.-M.: On some refinements for inequalities involving zero-balanced hypergeometric function. AIMS Math. 5(6), 6479–6495 (2020)
Wang, M.-K., Chu, Y.-M., Li, Y.-M., Zhang, W.: Asymptotic expansion and bounds for complete elliptic integrals. Math. Inequal. Appl. 23(3), 821–841 (2020)
Sun, M.-B., Chu, Y.-M.: Inequalities for the generalized weighted mean values of g-convex functions with applications. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 114(4), Article ID 172 (2020)
Abbas Baloch, I., Mughal, A.A., Chu, Y.-M., Haq, A.U., De La Sen, M.: A variant of Jensen-type inequality and related results for harmonic convex functions. AIMS Math. 5(6), 6404–6418 (2020)
Awan, M.U., Talib, S., Noor, M.A., Chu, Y.-M., Noor, K.I.: Some trapezium-like inequalities involving functions having strongly n-polynomial preinvexity property of higher order. J. Funct. Spaces 2020, Article ID 9154139 (2020)
Adil Khan, M., Pečarić, J., Chu, Y.-M.: Refinements of Jensen’s and McShane’s inequalities with applications. AIMS Math. 5(5), 4931–4945 (2020)
Zhao, T.-H., Wang, M.-K., Chu, Y.-M.: A sharp double inequality involving generalized complete elliptic integral of the first kind. AIMS Math. 5(5), 4512–4528 (2020)
Huang, X.-F., Wang, M.-K., Shao, H., Zhao, Y.-F., Chu, Y.-M.: Monotonicity properties and bounds for the complete p-elliptic integrals. AIMS Math. 5(6), 7071–7086 (2020)
He, Z.-Y., Wang, M.-K., Jiang, Y.-P., Chu, Y.-M.: Bounds for the perimeter of an ellipse in terms of power means. J. Math. Inequal. 14(3), 887–899 (2020)
Set, E., Çelik, B.: On generalizations related to the left side of Fejer’s inequality via fractional integral operator. Miskolc Math. Notes 18(2), 1043–1057 (2017)
Ostrowski, A.: Über die Absolutabweichung einer differentiierbaren Funktion von ihrem Integralmittelwert. Comment. Math. Helv. 10(1), 226–227 (1937)
İşcan, İ.: New refinements for integral and sum forms of Hölder inequality. J. Inequal. Appl. 2019, Article 304 (2019)
Kadakal, M., İşcan, İ., Kadakal, H., Bekar, K.: On improvements of some integral inequalities. Researchgate Preprint (2019). https://doi.org/10.13140/RG.2.2.15052.46724
Zhang, K.-S., Wan, J.-P.: p-Convex functions and their properties. Pure Appl. Math. 23(1), 130–133 (2007)
İşcan, İ.: Hermit–Hadamard type inequalities for harmonically convex functions. J. Math. Stat. 43(6), 935–942 (2014)
Toplu, T., Kadakal, M., İşcan, İ.: On n-polynomial convexity and some related inequalities. AIMS Math. 5(2), 1304–1318 (2020)
Awan, M.U., Akhtar, N., Iftikhar, S., Noor, M.A., Chu, Y.-M.: New Hermite–Hadamard type inequalities for n-polynomial harmonically convex functions. J. Inequal. Appl. 2020, Article ID 125 (2020)
Katugampola, U.N.: New approach to a generalized fractional integral. Appl. Math. Comput. 218(3), 860–865 (2011)
Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006)
Shen, J.-M., Yang, Z.-H., Qian, W.-M., Zhang, W., Chu, Y.-M.: Sharp rational bounds for the gamma function. Math. Inequal. Appl. 23(3), 843–853 (2020)
Toplu, T., Set, E., İşcan, İ., Maden, S.: Hermite–Hadamard type inequalities for p-convex functions via Katugampola fractional integrals. Facta Univ., Ser. Math. Inform. 34(1), 149–164 (2019)
Thatsatian, A., Ntouyas, S.K., Tariboon, J.: Some Ostrowski type inequalities for p-convex functions via generalized fractional integrals. J. Math. Inequal. 13(2), 467–478 (2019)
Zhao, T.-H., Shi, L., Chu, Y.-M.: Convexity and concavity of the modified Bessel functions of the first kind with respect to Hölder means. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 114(2), Article ID 96 (2020)
Acknowledgements
The authors would like to express their sincere thanks to the support of National Natural Science Foundation of China.
Availability of data and materials
Not applicable.
Funding
This work was supported by the National Natural Science Foundation of China (Grant Nos. 11401192, 61673169, 11971142).
Author information
Authors and Affiliations
Contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Chen, SB., Rashid, S., Noor, M.A. et al. New fractional approaches for n-polynomial P-convexity with applications in special function theory. Adv Differ Equ 2020, 543 (2020). https://doi.org/10.1186/s13662-020-03000-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-020-03000-5