Skip to main content

Generalized proportional fractional integral functional bounds in Minkowski’s inequalities

Abstract

In this research paper, we improve some fractional integral inequalities of Minkowski-type. Precisely, we use a proportional fractional integral operator with respect to another strictly increasing continuous function ψ. The functions used in this work are bounded by two positive functions to get reverse Minkowski inequalities in a new sense. Moreover, we introduce new fractional integral inequalities which have a close relationship to the reverse Minkowski-type inequalities via ψ-proportional fractional integral, then with the help of this fractional integral operator, we discuss some new special cases of reverse Minkowski-type inequalities through this work. An open issue is covered in the conclusion section to extend the current findings to be more general.

Introduction

During their uncompromising effort in the expansion of mathematics, mathematicians have recently expanded the traditional calculus of derivatives and integrals for integer orders to the generalized form of conventional derivatives and integrals of noninteger order, these noninteger-order derivatives/integrals are referred to as fractional calculus, which during a few previous decades became one of very influential branches of mathematics, especially, when dealing with the differential/integral equations and inequalities.

The fractional calculus theory became important due to its significant applications in several areas such as physics, fluid dynamics, control theory, computer networking, signal processing, biology, image processing, and other areas. One of the common tools of researchers is the use of fractional derivative/integral operators and, consequently, numerous distinct fractional derivatives/integrals have been introduced, such as the Riemann–Liouville, Liouville, Weyl-type, Katugampola, Hadamard, Atangana–Baleanu, proportional fractional integral, and some other kinds, which can be found in the monograph of Kilbas et al. [1]. In [2], the authors presented very diverse properties in the framework of generalized fractional operators with respect to another function. In addition, these operators were used to perform qualitative analysis of fractional differential equations and some epidemiological models, see [310]. Numerical analysis of fractional differential equations and some new concepts in fractional calculus have been extensively investigated recently, and a variety of interesting results on the topic have been established; for instance, see [1113]. On the other hand, we refer here to some works related to the proportional fractional operator that we will work on; see [1417].

No one can deny the crucial importance of inequalities in mathematics; in particular, in classical integral and differential equations, they play a meaningful role. Therefore, not too long ago, many helpful and remarkable mathematical inequalities were introduced by several authors. One mathematical inequality which has wide applications was given by Hermann Minkowski. This inequality, in the last few decades, has received considerable attention from several researchers, and many articles have appeared in the literature. In (2006), Bougoffa presented the classical integral version of Minkowski inequality as follows:

Theorem 1.1

([18])

Consider positive functions η, ς in \(L^{z} [ s,\omega ] \) with \(z\in [ 1,\infty ) \). Assume that \(0< q\leq \frac{\eta ( \kappa ) }{\varsigma ( \kappa ) } \leq Q\), \(\kappa \in [ s,\omega ] \), where \(q,Q\in \mathbb{R} _{+}^{\ast }\). Then we have

$$ \biggl( \int _{s}^{\omega }\eta ^{z} ( \omega ) \,d \omega \biggr) ^{\frac{1}{z}}+ \biggl( \int _{s}^{\omega }\varsigma ^{z} ( \omega ) \,d \omega \biggr) ^{\frac{1}{z}}\leq \frac{ ( 2+q ) Q+1}{ ( 1+Q ) ( 1+q ) } \biggl( \int _{s}^{\omega } ( \eta +\varsigma ) ^{z} ( \omega ) \,d\omega \biggr) ^{ \frac{1}{z}}. $$
(1.1)

In the same work, the author gave also the following inequality:

Theorem 1.2

([18])

For positive functions η, ς in \(L^{z} [ s,\omega ] \) with \(z\in [ 1,\infty ) \), assume that \(0< q\leq \frac{\eta ( \kappa ) }{\varsigma ( \kappa ) } \leq Q\), \(\kappa \in [ s,\omega ] \), where \(q,Q\in \mathbb{R} _{+}^{\ast }\). Then we have

$$ \begin{aligned}[b] & \biggl( \int _{s}^{\omega }\eta ^{z} ( \omega ) \,d \omega \biggr) ^{\frac{2}{z}}+ \biggl( \int _{s}^{\omega }\varsigma ^{z} ( \omega ) \,d \omega \biggr) ^{\frac{2}{z}} \\ &\quad \geq \biggl( \frac{ ( 1+Q ) ( 1+q ) }{Q}-2 \biggr) \biggl( \int _{s}^{\omega }\eta ^{z} ( \omega ) \,d \omega \biggr) ^{\frac{1}{z}} \biggl( \int _{s}^{ \omega }\varsigma ^{z} ( \omega ) \,d\omega \biggr) ^{ \frac{1}{z}}. \end{aligned} $$
(1.2)

The fractional integral version of the reverse Minkowski inequality with constants bounds was given in 2010 by Dahmani [19], and in same work he also gave the fractional integral version of (1.2) as follows:

Theorem 1.3

Let \(\theta >0\), \(z\geq 1\). For positive functions η, ς on \([ 0,\infty ) \), we have for all \(\omega >0\), and \(\mathcal{I}^{\theta }\eta ^{z} ( \omega ) , \mathcal{I}^{\theta }\varsigma ^{z} ( \omega ) <\infty \), that if \(0< q\leq \frac{\eta ( \kappa ) }{\varsigma ( \kappa ) } \leq Q\), \(\kappa \in [ 0,\omega ] \), then

$$ \bigl( \mathcal{I}^{\theta }\eta ^{z} ( \omega ) \,d \omega \bigr) ^{\frac{1}{z}}+ \bigl( \mathcal{I}^{\theta }\varsigma ^{z} ( \omega ) \,d\omega \bigr) ^{\frac{1}{z}}\leq \frac{ ( 2+q ) Q+1}{ ( 1+Q ) ( 1+q ) } \bigl( \mathcal{I}^{\theta } ( \eta +\varsigma ) ^{z} ( \omega ) \,d\omega \bigr) ^{ \frac{1}{z}}. $$
(1.3)

Theorem 1.4

Let \(\theta >0\), \(z\geq 1\). For positive functions η, ς on \([ 0,\infty ) \), we have for all \(\omega >0\), and \(\mathcal{I}^{\theta }\eta ^{z} ( \omega ) , \mathcal{I}^{\theta }\varsigma ^{z} ( \omega ) <\infty \), that if \(0< q\leq \frac{\eta ( \kappa ) }{\varsigma ( \kappa ) } \leq Q\), \(\kappa \in [ 0,\omega ] \), then

$$ \begin{aligned}[b] & \bigl( \mathcal{I}^{\theta }\eta ^{z} ( \omega ) \,d \omega \bigr) ^{\frac{2}{z}}+ \bigl( \mathcal{I}^{\theta }\varsigma ^{z} ( \omega ) \,d\omega \bigr) ^{\frac{2}{z}} \\ &\quad \geq \biggl( \frac{ ( 1+Q ) ( 1+q ) }{Q}-2 \biggr) \bigl( \mathcal{I}^{\theta }\eta ^{z} ( \omega ) \,d\omega \bigr) ^{\frac{1}{z}} \bigl( \mathcal{I}^{\theta }\varsigma ^{z} ( \omega ) \,d\omega \bigr) ^{\frac{1}{z}}. \end{aligned} $$
(1.4)

Erhan et al. [20] in 2010 presented reverse Minkowski and Hermite–Hadamard inequalities involving two functions for the classical Riemann integral. In 2012, Yang [21] introduced a new fractional quantum integral Minkowski inequality and other inequalities employing a fractional q-integral on the specific time scale. In 2013, Taf with Brahim [22] and Chinchane with Pachpatte [23] used the Hadamard fractional integral operator to establish the reverse Minkowski’s inequality. Vanterler et al. [24] in 2018 employed Katugampola fractional integral operator to establish reverse Minkowski inequality and other related inequalities. In 2019, Rahman et al. [25] presented the reverse Minkowski’s inequality, and they also established some other fractional integral inequalities by using generalized proportional fractional integral operators. In 2020, the reverse Minkowski inequalities were studied by Aljaaidi and Pachpatte [26] via the Riemann–Liouville operator with respect to the positive monotone function φ. In the same year, Rashid et al. [27] presented a note on reverse Minkowski inequalities by using a generalized proportional fractional operator involving another function. It should be noted that in that year also Maga et al. [28] employed Mittag-Leffler function with the corresponding fractional integral to introduce new Minkowski-type inequalities. For more about some recent and earlier results related to the Minkowski inequalities, we point the readers to [2936].

The fractional integral reverse Minkowski inequality with functional bounds is given by Aljaaidi and Pachpatte [37] by employing the Riemann–Liouville operator as follows:

Theorem 1.5

([37])

Consider positive functions η, ς on \([ 0,\infty ) \) with \(\mathcal{I}^{\theta }\eta ^{z} ( \omega ) ,\mathcal{I}^{ \theta }\varsigma ^{z} ( \omega ) <\infty \), \(\forall \omega \in [ 0,\infty ) \) and for all \(\theta >0\), \(z\geq 1\). Let ψ be a positive and strictly increasing continuous function. Assume that Ł, φ are positive functions such that \(0<{\L } ( \varepsilon ) \leq \frac{\eta ( \kappa ) }{\varsigma ( \kappa ) } \leq \varphi ( \varepsilon ) \), \(\kappa ,\varepsilon \in [ 0,\omega ] \). Then we have

$$\begin{aligned}& \bigl[ \mathcal{I}^{\theta }\eta ^{z} ( \omega ) \bigr] ^{\frac{1}{z}}+ \bigl[ \mathcal{I}^{\theta }\varsigma ^{z} ( \omega ) \bigr] ^{\frac{1}{z}} \\& \quad \leq \frac{\Gamma ( \theta +1 ) }{\omega ^{\theta }} \biggl\{ \mathcal{I}^{\theta } \biggl( \frac{\varphi ( \omega ) }{\varphi ( \omega ) +1} \biggr) + \mathcal{I}^{\theta } \biggl( \frac{1}{{\L } ( \omega ) +1} \biggr) \biggr\} \bigl[ \mathcal{I}^{\theta } ( \eta +\varsigma ) ^{z} ( \omega ) \bigr] ^{\frac{1}{z}}. \end{aligned}$$
(1.5)

In the same work, the authors gave also the following inequality:

Theorem 1.6

([37])

Consider positive functions η, ς on \([ 0,\infty ) \) with \(\mathcal{I}^{\theta }\eta ^{z} ( \omega ) ,\mathcal{I}^{ \theta }\varsigma ^{z} ( \omega ) <\infty \), \(\forall \omega \in [ 0,\infty ) \) and for all \(\theta >0\), \(z\geq 1\). Let ψ be a positive and strictly increasing continuous function. Assume that Ł, φ are positive functions such that \(0<{\L } ( \varepsilon ) \leq \frac{\eta ( \kappa ) }{\varsigma ( \kappa ) } \leq \varphi ( \varepsilon ) \), \(\kappa ,\varepsilon \in [ 0,\omega ] \). Then we have

$$\begin{aligned}& \bigl[ \mathcal{I}^{\theta }\eta ^{z} ( \omega ) \bigr] ^{\frac{2}{z}}+ \bigl[ \mathcal{I}^{\theta }\varsigma ^{z} ( \omega ) \bigr] ^{\frac{2}{z}} \\& \quad \geq \biggl\{ \frac{\Gamma ^{2} ( \theta +1 ) }{\omega ^{2\theta }}\mathcal{I}^{\theta } \biggl( \frac{\varphi ( \omega ) +1}{\varphi ( \omega ) } \biggr) \mathcal{I}^{\theta } \bigl( {\L } ( \omega ) +1 \bigr) -2 \biggr\} \bigl[ \mathcal{I}^{\theta }\eta ^{z} ( \omega ) \bigr] ^{\frac{1}{z}} \bigl[ \mathcal{I}^{\theta }\varsigma ^{z} ( \omega ) \bigr] ^{\frac{1}{z}}. \end{aligned}$$
(1.6)

Motivated by the results mentioned above, in particular, Theorems 1.5 and 1.6, we strive in our recent work to employ a generalized proportional fractional integral with respect to a strictly increasing continuous function ψ to establish the functional bounds in the reverse Minkowski type inequalities in terms of the fractional integral. Moreover, we introduce new functional bounds in fractional inequalities which are related to the reverse Minkowski’s inequality employing the ψ-proportional fractional operator. During this work, we will enrich the research by discussing some special cases related to the current work.

We organized this paper as follows: in Sect. 2, we invoke some definitions, results, notations, and precursory information which we will employ throughout this work. Section 3 is devoted to essential results of reverse Minkowski’s inequalities involving functional bounds. In Sect. 4, we give some other related results which include proportional fractional integral with respect to another strictly increasing continuous function.

Essential preliminaries

Here, we present some elementary definitions and properties of some basic fractional integral operators and present the fractional integral operator utilized to obtain our new results.

Definition 2.1

([1])

Consider an integrable function η on \([ s,t ] \) and let \(s\geq 0\). We define, for all \(\theta >0\),

$$ \mathcal{I}_{s^{+}}^{\theta }\eta ( \omega ) = \frac{1}{\Gamma ( \theta ) } \int _{s}^{\omega } ( \omega -\kappa ) ^{\theta -1}\eta ( \kappa ) \,d \kappa ,\quad \kappa >s, $$
(2.1)

and

$$ \mathcal{I}_{t^{-}}^{\theta }\eta ( \omega ) = \frac{1}{\Gamma ( \theta ) } \int _{\omega }^{t} ( \kappa -\omega ) ^{\theta -1}\eta ( \kappa ) \,d \kappa ,\quad \omega < t, $$
(2.2)

where \(\Gamma ( \theta ) =\int _{0}^{\infty }e^{-x}x^{\delta -1}\,dx \) is the Gamma function and \(\mathcal{I}_{s^{+}}^{0}\eta ( \omega ) =\mathcal{I}_{t^{-}}^{0} \eta ( \omega ) =\eta ( \omega ) \); \(\mathcal{I}_{s^{+}}^{\theta }\) and \(\mathcal{I}_{t^{-}}^{\theta }\) are called the left- and right-sided Riemann–Liouville fractional integrals, respectively.

Definition 2.2

([1, 38])

For an integrable function η on the interval ϒ and for an increasing function ψ, where \(\psi ( \omega ) \in C^{1} ( \Upsilon ,\mathbb{R} ) \) is such that \(\psi ^{\prime } ( \omega ) \neq 0\), \(\omega \in \Upsilon \), we define, for all \(\theta >0\),

$$ \mathcal{I}_{s^{+}}^{\theta ;\psi }\eta ( \omega ) = \frac{1}{\Gamma ( \theta ) } \int _{s}^{\omega }\psi ^{\prime } ( \kappa ) \bigl[ \psi ( \omega ) -\psi ( \kappa ) \bigr] ^{\theta -1}\eta ( \kappa ) \,d\kappa $$
(2.3)

and

$$ \mathcal{I}_{t^{-}}^{\theta ;\psi }\eta ( \omega ) = \frac{1}{\Gamma ( \theta ) } \int _{\omega }^{t}\psi ^{\prime } ( \kappa ) \bigl[ \psi ( \kappa ) -\psi ( \omega ) \bigr] ^{\theta -1}\eta ( \kappa ) \,d\kappa , $$
(2.4)

where \(\mathcal{I}_{s^{+}}^{\theta ;\psi }\eta ( \omega ) \) and \(\mathcal{I}_{t^{-}}^{\theta ;\psi }\eta ( \omega ) \) are called the left- and right-sided ψ-Riemann–Liouville fractional integrals of a function η, respectively.

Definition 2.3

([39])

Consider an integrable function η and let \(\upsilon >0\). We define, for all \(\theta \in \mathbb{C} \), \(\operatorname{Re} ( \theta ) \geq 0\),

$$\begin{aligned} \bigl( {}_{s}D^{\theta ,\upsilon }\eta \bigr) ( \omega ) =&D^{m,\upsilon }{} _{s}\mathcal{I}^{m-\theta ,\upsilon } \eta ( \omega ) \\ =&\frac{D_{\omega }^{m,\upsilon }}{\upsilon ^{m-\theta }\Gamma ( m-\theta ) } \int _{s}^{\omega }\exp \biggl[ \frac{\upsilon -1}{\upsilon } ( \omega -\kappa ) \biggr] ( \omega -\kappa ) ^{m-\theta -1}\eta ( \kappa ) \,d \kappa \end{aligned}$$
(2.5)

and

$$\begin{aligned} \bigl( D_{t}^{\theta ,\upsilon }\eta \bigr) ( \omega ) =&{} _{\gamma }D^{m,\upsilon } \mathcal{I}_{t}^{m- \theta ,\upsilon } \eta ( \omega ) \\ =&\frac{ {}_{\gamma }D_{\omega }^{m,\upsilon }}{\upsilon ^{m-\theta }\Gamma ( m-\theta ) } \int _{\omega }^{t}\exp \biggl[ \frac{\upsilon -1}{\upsilon } ( \kappa -\omega ) \biggr] ( \kappa - \omega ) ^{m-\theta -1}\eta ( \kappa ) \,d \kappa , \end{aligned}$$
(2.6)

where

$$ D^{m,\upsilon }= \underset{m\text{-times}}{\underbrace{D^{\upsilon }D^{\upsilon } \cdots D^{\upsilon }}}, \quad m= \bigl[ \operatorname{Re} ( \theta ) \bigr] +1, $$

and

$$ \bigl( {}_{\gamma }D^{\upsilon }\eta \bigr) ( \omega ) = ( 1-\upsilon ) \eta ( \omega ) -\upsilon \eta ^{\prime } ( \omega ) ,\quad {} _{\gamma }D^{m, \upsilon } = \underset{m\text{-times}}{ \underbrace{ {}_{\gamma }D_{\gamma }^{\upsilon }D^{\upsilon } \cdots _{\gamma }D^{\upsilon }}}; $$

\(( {}_{s}D^{\theta ,\upsilon }\eta ) ( \omega ) \) and \(( D_{t}^{\theta ,\upsilon }\eta ) ( \omega ) \) are called the left- and right-sided proportional fractional derivatives of a function η of order θ, respectively.

Definition 2.4

([39])

Consider an integrable function η and let \(\upsilon >0\). We define, for all \(\theta \in \mathbb{C} \), \(\operatorname{Re} ( \theta ) \geq 0\),

$$ \bigl( {} _{s}\mathcal{I}^{\theta ,\upsilon } \eta \bigr) ( \omega ) = \frac{1}{\upsilon ^{\theta }\Gamma ( \theta ) }\int _{s}^{\omega }\exp \biggl[ \frac{\upsilon -1}{\upsilon } ( \omega -\kappa ) \biggr] ( \omega -\kappa ) ^{ \theta -1}\eta ( \kappa ) \,d \kappa $$
(2.7)

and

$$ \bigl( \mathcal{I}_{t}^{\theta ,\upsilon } \eta \bigr) ( \omega ) = \frac{1}{\upsilon ^{\theta }\Gamma ( \theta ) }\int _{\omega }^{t}\exp \biggl[ \frac{\upsilon -1}{\upsilon } ( \kappa -\omega ) \biggr] ( \kappa -\omega ) ^{ \theta -1}\eta ( \kappa ) \,d \kappa , $$
(2.8)

where \(( {}_{s}\mathcal{I}^{\theta ,\upsilon }\eta ) ( \omega ) \) and \(( \mathcal{I}_{t}^{\theta ,\upsilon }\eta ) ( \omega ) \) are called the left- and right-sided proportional fractional integrals of a function η of order θ, respectively.

Definition 2.5

([40])

Consider an integrable function η and a strictly increasing continuous function ψ on \([ s,t ]\), and let \(\upsilon \in ( 0,1 ] \). We define, for all \(\theta \in \mathbb{C} \), \(\operatorname{Re} ( \theta ) \geq 0\),

$$\begin{aligned} \bigl( {}_{s}^{\psi }D^{\theta ,\upsilon }\eta \bigr) ( \omega ) =&{} ^{\psi }D^{m,\upsilon } {} _{s}^{ \psi } \mathcal{I}^{m-\theta ,\upsilon } \eta ( \omega ) \\ =&\frac{ {}^{\psi }D_{\omega }^{m,\upsilon }}{\upsilon ^{m-\theta }\Gamma ( m-\theta ) } \int _{s}^{\omega }\exp \biggl[ \frac{\upsilon -1}{\upsilon } \bigl( \psi ( \omega ) -\psi ( \kappa ) \bigr) \biggr] \\ &{}\times \bigl( \psi ( \omega ) - \psi ( \kappa ) \bigr) ^{m-\theta -1}\psi ^{\prime } ( \kappa ) \eta ( \kappa ) \,d \kappa \end{aligned}$$
(2.9)

and

$$\begin{aligned} \bigl( {}^{\psi }D_{t}^{\theta ,\upsilon }\eta \bigr) ( \omega ) =&{} _{\gamma }^{\psi }D^{m,\upsilon } {} ^{\psi } \mathcal{I}_{t}^{m-\theta ,\upsilon } \eta ( \omega ) \\ =&\frac{ {}_{\gamma }^{\psi }D_{\omega }^{m,\upsilon }}{\upsilon ^{m-\theta }\Gamma ( m-\theta ) } \int _{\omega }^{t}\exp \biggl[ \frac{\upsilon -1}{\upsilon } \bigl( \psi ( \kappa ) -\psi ( \omega ) \bigr) \biggr] \\ &{}\times \bigl( \psi ( \kappa ) -\psi ( \omega ) \bigr) ^{m-\theta -1} \psi ^{\prime } ( \kappa ) \eta ( \kappa ) \,d \kappa , \end{aligned}$$
(2.10)

where

$$ ^{\psi }D^{m,\upsilon }= \underset{m\text{-times}}{\underbrace{{} ^{\psi }D^{\upsilon } {} ^{\psi }D^{\upsilon } \cdots {} ^{\psi }D^{\upsilon } }}, \quad m= \bigl[ \operatorname{Re} ( \theta ) \bigr] +1, $$

and

$$ \bigl( {}_{\gamma }^{\psi }D^{\upsilon }\eta \bigr) ( \omega ) = ( 1-\upsilon ) \eta ( \omega ) - \upsilon \frac{\eta ^{\prime } ( \omega ) }{\psi ^{\prime } ( \omega ) }, \quad {}_{\gamma }^{\psi }D^{m,\upsilon } = \underset{m\text{-times}}{\underbrace{{} _{\gamma }^{\psi }D^{\upsilon } {} _{\gamma }^{\psi }D^{\upsilon } \cdots {} _{\gamma }^{\psi }D^{\upsilon } }}; $$

\(( {}_{s}^{\psi }D^{\theta ,\upsilon }\eta ) ( \omega ) \) and \(( {}^{\psi }D_{t}^{\theta ,\upsilon }\eta ) ( \omega ) \) are called respectively the left- and right-sided proportional fractional derivatives of a function η with respect to the function ψ of order θ.

Definition 2.6

([40])

Consider an integrable function η and a strictly increasing continuous function ψ on \([ s,t ]\), and let \(\upsilon \in ( 0,1 ] \). We define, for all \(\theta \in \mathbb{C} \), \(\operatorname{Re} ( \theta ) \geq 0\),

$$ \begin{aligned}[b] \bigl( {} _{s}^{\psi }\mathcal{I}^{\theta ,\upsilon } \eta \bigr) ( \omega ) &= \frac{1}{\upsilon ^{\theta }\Gamma ( \theta ) } \int _{s}^{\omega }\exp \biggl[ \frac{\upsilon -1}{\upsilon } \bigl( \psi ( \omega ) -\psi ( \kappa ) \bigr) \biggr] \\ &\quad{}\times \bigl( \psi ( \omega ) - \psi ( \kappa ) \bigr) ^{\theta -1}\psi ^{\prime } ( \kappa ) \eta ( \kappa ) \,d\kappa \end{aligned} $$
(2.11)

and

$$ \begin{aligned}[b] \bigl( {} ^{\psi }\mathcal{I}_{t}^{\theta ,\upsilon } \eta \bigr) ( \omega ) &= \frac{1}{\upsilon ^{\theta }\Gamma ( \theta ) } \int _{\omega }^{t}\exp \biggl[ \frac{\upsilon -1}{\upsilon } \bigl( \psi ( \kappa ) -\psi ( \omega ) \bigr) \biggr] \\ &\quad\times \bigl( \psi ( \kappa ) - \psi ( \omega ) \bigr) ^{\theta -1}\psi ^{\prime } ( \kappa ) \eta ( \kappa ) \,d\kappa , \end{aligned} $$
(2.12)

where \(( {} _{s}^{\psi }\mathcal{I}^{\theta ,\upsilon } \eta ) ( \omega ) \) and \(( {} ^{\psi }\mathcal{I}_{t}^{\theta ,\upsilon } \eta ) ( \omega ) \) are called respectively the left- and right-sided proportional fractional integrals of a function η with respect to the function ψ of order θ.

Lemma 2.1

([40])

Let ψ be a continuous function on \(\omega \geq s\). If \(\upsilon \in ( 0,1 ] \) and \(\operatorname{Re} ( \theta ), \operatorname{Re} ( \mu ) >0\), then we have

$$\begin{aligned}& {} _{s}^{\psi }\mathcal{I}^{\theta ,\upsilon } \bigl( {} _{s}^{\psi }\mathcal{I}^{\mu ,\upsilon } \eta \bigr) ( \omega ) ={} _{s}^{\psi }\mathcal{I}^{\mu , \upsilon } \bigl( {} _{s}^{\psi }\mathcal{I}^{\theta , \upsilon } \eta \bigr) ( \omega ) = \bigl( {} _{s}^{\psi }\mathcal{I}^{\theta +\mu ,\upsilon } \eta \bigr) ( \omega ) , \end{aligned}$$
(2.13)
$$\begin{aligned}& {} ^{\psi }\mathcal{I}_{t}^{\theta ,\upsilon } \bigl( {} ^{\psi }\mathcal{I}_{t}^{\mu ,\upsilon } \eta \bigr) ( \omega ) ={} ^{\psi }\mathcal{I}_{t}^{\mu , \upsilon } \bigl( {} ^{\psi }\mathcal{I}_{t}^{\theta , \upsilon } \eta \bigr) ( \omega ) = \bigl( {} ^{\psi }\mathcal{I}_{t}^{\theta +\mu ,\upsilon } \eta \bigr) ( \omega ) . \end{aligned}$$
(2.14)

Lemma 2.2

([40])

Let ψ be an integrable functions defined on \([ s,\omega ] \) or for \(\omega >s\). If \(0\leq m< [ \operatorname{Re} ( \theta ) ] +1\), then we have

$$\begin{aligned}& {}^{\psi }D^{m,\upsilon } \bigl( {} _{s}^{\psi } \mathcal{I}^{ \theta ,\upsilon } \eta \bigr) ( \omega ) = \bigl( {} _{s}^{\psi } \mathcal{I}^{\theta -m,\upsilon } \eta \bigr) ( \omega ) , \end{aligned}$$
(2.15)
$$\begin{aligned}& _{\gamma }^{\psi }D^{m,\upsilon } \bigl( {} ^{\psi } \mathcal{I}_{t}^{\theta ,\upsilon } \eta \bigr) ( \omega ) = \bigl( {} ^{\psi }\mathcal{I}_{t}^{\theta -m,\upsilon } \eta \bigr) ( \omega ) . \end{aligned}$$
(2.16)

This paper is concerned with the use of left-sided ψ-proportional fractional integrals (2.11) to obtain the main results.

Reverse Minkowski’s inequalities for fractional integral

This part is concerned with our main results on the generalization and development of Minkowski’s and related inequalities with the help of proportional fractional integral operator with respect to another strictly increasing continuous function ψ.

First, in order to state our results, we compute the left-sided ψ-proportional fractional integral for any constant as follows:

Let \(\upsilon \in ( 0,1 ] \), \(\theta \in \mathbb{C} \), \(\operatorname{Re} ( \theta ) \geq 0\), and ψ be a strictly increasing continuous function. Then for any constant k, we have

$$ \bigl( {}_{s}^{\psi }\mathcal{I}^{\theta ,\upsilon }k \bigr) ( \omega ) = \frac{ ( \psi ( \omega ) -\psi ( s ) ) ^{\theta }}{\upsilon ^{\theta }\Gamma ( \theta +1 ) }k. $$
(3.1)

Theorem 3.1

Consider positive functions η, ς on \([ 0,\infty ) \) with \({}_{s}^{\psi }\mathcal{I}^{\theta ,\upsilon }\eta ^{z} ( \omega ) , {}_{s}^{\psi }\mathcal{I}^{\theta ,\upsilon }\varsigma ^{z} ( \omega ) <\infty \), \(\forall \omega \in [ 0,\infty ) \) and for all \(\upsilon \in ( 0,1 ] \), \(\theta \in \mathbb{C} \), \(\operatorname{Re} ( \theta ) \geq 0\), \(z\geq 1\). Let ψ be a strictly increasing continuous function. Assume that Ł, φ are two positive functions such that \(0<{\L } ( \varepsilon ) \leq \frac{\eta ( \kappa ) }{\varsigma ( \kappa ) } \leq \varphi ( \varepsilon ) \), \(\kappa ,\varepsilon \in [ s,\omega ] \). Then we have

$$\begin{aligned}& \bigl[ {}_{s}^{\psi }\mathcal{I}^{\theta ,\upsilon }\eta ^{z} ( \omega ) \bigr] ^{\frac{1}{z}}+ \bigl[ {}_{s}^{\psi } \mathcal{I}^{\theta ,\upsilon }\varsigma ^{z} ( \omega ) \bigr] ^{\frac{1}{z}} \\& \quad \leq \frac{\upsilon ^{\theta }\Gamma ( \theta +1 ) }{ ( \psi ( \omega ) -\psi ( s ) ) ^{\theta }} \biggl\{ {} _{s}^{\psi } \mathcal{I}^{\theta , \upsilon } \biggl( \frac{\varphi ( \omega ) }{\varphi ( \omega ) +1} \biggr) +{} _{s}^{\psi }\mathcal{I}^{\theta ,\upsilon } \biggl( \frac{1}{{\L } ( \omega ) +1} \biggr) \biggr\} \\& \quad\quad\times \bigl( {}_{s}^{\psi }\mathcal{I}^{\theta ,\upsilon } ( \eta +\varsigma ) ^{z} ( \omega ) \bigr) ^{\frac{1}{z}}. \end{aligned}$$
(3.2)

Proof

Due to the assumption \(\frac{\eta ( \kappa ) }{\varsigma ( \varepsilon ) } \leq \varphi ( \varepsilon ) \); \(\kappa ,\varepsilon \in [ s,\omega ] \), we can write

$$ \bigl[ \varphi ( \varepsilon ) +1 \bigr] ^{z}\eta ^{z} ( \kappa ) \leq \varphi ^{z} ( \varepsilon ) ( \eta +\varsigma ) ^{z} ( \kappa ), $$
(3.3)

and from the assumption \({\L } ( \varepsilon ) \leq \frac{\eta ( \kappa ) }{\varsigma ( \varepsilon ) }\); \(\kappa ,\varepsilon \in [ s,\omega ] \), we have

$$ \biggl( 1+\frac{1}{{\L } ( \varepsilon ) } \biggr) ^{z} \varsigma ^{z} ( \kappa ) \leq \biggl( \frac{1}{{\L } ( \varepsilon ) } \biggr) ^{z} ( \eta +\varsigma ) ^{z} ( \kappa ) . $$
(3.4)

Multiplying both sides of (3.3) and (3.4) by \(\frac{1}{\upsilon ^{\theta }\Gamma ( \theta ) }\times \frac{\exp [ \frac{\upsilon -1}{\upsilon } ( \psi ( \omega ) -\psi ( \kappa ) ) ] }{ ( \psi ( \omega ) -\psi ( \kappa ) ) ^{1-\theta }} \psi ^{\prime } ( \kappa )\), \(\kappa <\omega \), then integrating the results with respect to κ over \(( s,\omega )\), we respectively get

$$\begin{aligned}& \frac{ [ \varphi ( \varepsilon ) +1 ] ^{z}}{\upsilon ^{\theta }\Gamma ( \theta ) } \int _{s}^{\omega } \frac{\exp [ \frac{\upsilon -1}{\upsilon } ( \psi ( \omega ) -\psi ( \kappa ) ) ] }{ ( \psi ( \omega ) -\psi ( \kappa ) ) ^{1-\theta }} \psi ^{\prime } ( \kappa ) \eta ^{z} ( \kappa ) \,d\kappa \\& \quad \leq \frac{\varphi ^{z} ( \varepsilon ) }{\upsilon ^{\theta }\Gamma ( \theta ) } \int _{s}^{\omega } \frac{\exp [ \frac{\upsilon -1}{\upsilon } ( \psi ( \omega ) -\psi ( \kappa ) ) ] }{ ( \psi ( \omega ) -\psi ( \kappa ) ) ^{1-\theta }} \psi ^{\prime } ( \kappa ) ( \eta +\varsigma ) ^{z} ( \kappa ) \,d \kappa \end{aligned}$$
(3.5)

and

$$\begin{aligned}& \biggl( 1+\frac{1}{{\L } ( \varepsilon ) } \biggr) ^{z} \frac{1}{\upsilon ^{\theta }\Gamma ( \theta ) } \int _{s}^{\omega } \frac{\exp [ \frac{\upsilon -1}{\upsilon } ( \psi ( \omega ) -\psi ( \kappa ) ) ] }{ ( \psi ( \omega ) -\psi ( \kappa ) ) ^{1-\theta }} \psi ^{\prime } ( \kappa ) \varsigma ^{z} ( \kappa ) \,d\kappa \\& \quad \leq \biggl( \frac{1}{{\L } ( \varepsilon ) } \biggr) ^{z} \frac{1}{\upsilon ^{\theta }\Gamma ( \theta ) }\int _{s}^{\omega } \frac{\exp [ \frac{\upsilon -1}{\upsilon } ( \psi ( \omega ) -\psi ( \kappa ) ) ] }{ ( \psi ( \omega ) -\psi ( \kappa ) ) ^{1-\theta }}\psi ^{\prime } ( \kappa ) ( \eta +\varsigma ) ^{z} ( \kappa ) \,d \kappa . \end{aligned}$$
(3.6)

So we have

$$ \bigl[ \varphi ( \varepsilon ) +1 \bigr] ^{z} {} _{s}^{\psi } \mathcal{I}^{\theta ,\upsilon }\eta ^{z} ( \omega ) \leq \varphi ^{z} ( \varepsilon ) {} _{s}^{\psi } \mathcal{I}^{\theta , \upsilon } ( \eta +\varsigma ) ^{z} ( \omega ) $$

and

$$ \biggl( 1+\frac{1}{{\L } ( \varepsilon ) } \biggr) ^{z} {} _{s}^{\psi } \mathcal{I}^{\theta ,\upsilon }\varsigma ^{z} ( \omega ) \leq \biggl( \frac{1}{{\L } ( \varepsilon ) } \biggr) ^{z}{} _{s}^{\psi } \mathcal{I}^{\theta ,\upsilon } ( \eta +\varsigma ) ^{z} ( \omega ) , $$

which can be written as

$$ \bigl( {}_{s}^{\psi }\mathcal{I}^{\theta ,\upsilon }\eta ^{z} ( \omega ) \bigr) ^{\frac{1}{z}}\leq \frac{\varphi ( \varepsilon ) }{\varphi ( \varepsilon ) +1} \bigl( {}_{s}^{\psi } \mathcal{I}^{\theta ,\upsilon } ( \eta + \varsigma ) ^{z} ( \omega ) \bigr) ^{\frac{1}{z}} $$
(3.7)

and

$$ \bigl( {}_{s}^{\psi }\mathcal{I}^{\theta ,\upsilon }\varsigma ^{z} ( \omega ) \bigr) ^{\frac{1}{z}}\leq \frac{1}{{\L } ( \varepsilon ) +1} \bigl( {}_{s}^{\psi } \mathcal{I}^{\theta ,\upsilon } ( \eta +\varsigma ) ^{z} ( \omega ) \bigr) ^{\frac{1}{z}}. $$
(3.8)

Analogously, multiplying both sides of (3.7) and (3.8) by \(\frac{1}{\upsilon ^{\theta }\Gamma ( \theta ) }\times \frac{\exp [ \frac{\upsilon -1}{\upsilon } ( \psi ( \omega ) -\psi ( \varepsilon ) ) ] }{ ( \psi ( \omega ) -\psi ( \varepsilon ) ) ^{1-\theta }}\psi ^{\prime } ( \varepsilon )\), \(\varepsilon <\omega \), then integrating the results with respect to ε over \(( s,\omega )\), we respectively obtain

$$\begin{aligned}& \bigl( {}_{s}^{\psi }\mathcal{I}^{\theta ,\upsilon }\eta ^{z} ( \omega ) \bigr) ^{\frac{1}{z}} \frac{1}{\upsilon ^{\theta }\Gamma ( \theta ) } \int _{s}^{\omega } \frac{\exp [ \frac{\upsilon -1}{\upsilon } ( \psi ( \omega ) -\psi ( \varepsilon ) ) ] }{ ( \psi ( \omega ) -\psi ( \varepsilon ) ) ^{1-\theta }} \psi ^{\prime } ( \varepsilon ) \,d\varepsilon \\& \quad \leq \bigl( {}_{s}^{\psi }\mathcal{I}^{\theta ,\upsilon } ( \eta +\varsigma ) ^{z} ( \omega ) \bigr) ^{ \frac{1}{z}} \frac{1}{\upsilon ^{\theta }\Gamma ( \theta ) } \int _{s}^{\omega } \frac{\exp [ \frac{\upsilon -1}{\upsilon } ( \psi ( \omega ) -\psi ( \varepsilon ) ) ] }{ ( \psi ( \omega ) -\psi ( \varepsilon ) ) ^{1-\theta }} \frac{\psi ^{\prime } ( \varepsilon ) \varphi ( \varepsilon ) }{\varphi ( \varepsilon ) +1} \,d\varepsilon \end{aligned}$$

and

$$\begin{aligned}& \bigl( {}_{s}^{\psi }\mathcal{I}^{\theta ,\upsilon }\varsigma ^{z} ( \omega ) \bigr) ^{\frac{1}{z}} \frac{1}{\upsilon ^{\theta }\Gamma ( \theta ) } \int _{s}^{ \omega } \frac{\exp [ \frac{\upsilon -1}{\upsilon } ( \psi ( \omega ) -\psi ( \varepsilon ) ) ] }{ ( \psi ( \omega ) -\psi ( \varepsilon ) ) ^{1-\theta }}\psi ^{\prime } ( \varepsilon ) \,d\varepsilon \\& \quad \leq \bigl( {}_{s}^{\psi }\mathcal{I}^{\theta ,\upsilon } ( \eta +\varsigma ) ^{z} ( \omega ) \bigr) ^{ \frac{1}{z}} \frac{1}{\upsilon ^{\theta }\Gamma ( \theta ) } \int _{s}^{\omega } \frac{\exp [ \frac{\upsilon -1}{\upsilon } ( \psi ( \omega ) -\psi ( \varepsilon ) ) ] }{ ( \psi ( \omega ) -\psi ( \varepsilon ) ) ^{1-\theta }} \frac{\psi ^{\prime } ( \varepsilon ) }{{\L } ( \varepsilon ) +1}\,d\varepsilon , \end{aligned}$$

which yields

$$ \frac{ ( \psi ( \omega ) -\psi ( s ) ) ^{\theta }}{\upsilon ^{\theta }\Gamma ( \theta +1 ) } \bigl( {}_{s}^{\psi }\mathcal{I}^{\theta ,\upsilon } \eta ^{z} ( \omega ) \bigr) ^{\frac{1}{z}}\leq {} _{s}^{\psi } \mathcal{I}^{\theta ,\upsilon } \biggl( \frac{\varphi ( \omega ) }{\varphi ( \omega ) +1} \biggr) \bigl( {}_{s}^{\psi }\mathcal{I}^{\theta ,\upsilon } ( \eta +\varsigma ) ^{z} ( \omega ) \bigr) ^{ \frac{1}{z}} $$
(3.9)

and

$$ \frac{ ( \psi ( \omega ) -\psi ( s ) ) ^{\theta }}{\upsilon ^{\theta }\Gamma ( \theta +1 ) } \bigl( {}_{s}^{\psi }\mathcal{I}^{\theta ,\upsilon } \varsigma ^{z} ( \omega ) \bigr) ^{\frac{1}{z}}\leq {} _{s}^{ \psi }\mathcal{I}^{\theta ,\upsilon } \biggl( \frac{1}{{\L } ( \omega ) +1} \biggr) \bigl( {}_{s}^{\psi } \mathcal{I}^{\theta ,\upsilon } ( \eta +\varsigma ) ^{z} ( \omega ) \bigr) ^{\frac{1}{z}}. $$
(3.10)

Consequently, the addition of (3.9) and (3.10) completes the proof. □

As a special case, the following corollary is a two-parameter version of Theorem 3.1.

Corollary 3.1

Consider positive functions η, ς on \([ 0,\infty ) \) with \({}_{s}^{\psi }\mathcal{I}^{\theta ,\upsilon }\eta ^{z} ( \omega ) , {}_{s}^{\psi }\mathcal{I}^{\theta ,\upsilon }\varsigma ^{z} ( \omega ) <\infty \), \(\forall \omega \in [ 0,\infty ) \) and for all \(\upsilon \in ( 0,1 ] \), \(\theta ,\mu \in \mathbb{C} \), \(\operatorname{Re} ( \theta ) ,\operatorname{Re} ( \mu ) \geq 0\), \(z\geq 1\). Let ψ be a strictly increasing continuous function. Assume that Ł, φ are two positive functions such that \(0<{\L } ( \varepsilon ) \leq \frac{\eta ( \kappa ) }{\varsigma ( \kappa ) } \leq \varphi ( \varepsilon ) \), \(\kappa ,\varepsilon \in [ s,\omega ] \). Then we have

$$\begin{aligned}& \bigl[ {}_{s}^{\psi }\mathcal{I}^{\theta ,\upsilon }\eta ^{z} ( \omega ) \bigr] ^{\frac{1}{z}}+ \bigl[ {}_{s}^{\psi } \mathcal{I}^{\theta ,\upsilon }\varsigma ^{z} ( \omega ) \bigr] ^{\frac{1}{z}} \\& \quad \leq \frac{\upsilon ^{\mu }\Gamma ( \mu +1 ) }{ ( \psi ( \omega ) -\psi ( s ) ) ^{\mu }} \biggl\{ {} _{s}^{\psi } \mathcal{I}^{\mu ,\upsilon } \biggl( \frac{\varphi ( \omega ) }{\varphi ( \omega ) +1} \biggr) +{} _{s}^{\psi }\mathcal{I}^{\mu ,\upsilon } \biggl( \frac{1}{{\L } ( \omega ) +1} \biggr) \biggr\} \\& \quad\quad{}\times \bigl( {}_{s}^{\psi } \mathcal{I}^{\theta ,\upsilon } ( \eta +\varsigma ) ^{z} ( \omega ) \bigr) ^{\frac{1}{z}}. \end{aligned}$$
(3.11)

Proof

We can easily prove (3.11) by multiplying both sides of (3.7) and (3.8) by

$$ \frac{1}{\upsilon ^{\mu }\Gamma ( \mu ) }\times \frac{\exp [ \frac{\upsilon -1}{\upsilon } ( \psi ( \omega ) -\psi ( \varepsilon ) ) ] }{ ( \psi ( \omega ) -\psi ( \varepsilon ) ) ^{1-\mu }}\psi ^{\prime } ( \varepsilon ) ,\quad \varepsilon < \omega , $$

then integrating the results with respect to ε over \(( s,\omega ) \). We can conclude the proof using the same argument as that in the proof of Theorem 3.1. □

The next theorem is as follows:

Theorem 3.2

Consider positive functions η, ς on \([ 0,\infty ) \) with \({}_{s}^{\psi }\mathcal{I}^{\theta ,\upsilon }\eta ^{z} ( \omega ) , {}_{s}^{\psi }\mathcal{I}^{\theta ,\upsilon }\varsigma ^{z} ( \omega ) <\infty \), \(\forall \omega \in [ 0,\infty ) \) and for all \(\upsilon \in ( 0,1 ] \), \(\theta \in \mathbb{C} \), \(\operatorname{Re} ( \theta ) \geq 0\), \(z\geq 1\). Let ψ be a strictly increasing continuous function. Assume that Ł, φ are two positive functions such that \(0<{\L } ( \varepsilon ) \leq \frac{\eta ( \kappa ) }{\varsigma ( \kappa ) } \leq \varphi ( \varepsilon ) \), \(\kappa ,\varepsilon \in [ s,\omega ] \). Then we have

$$ \begin{aligned}& \bigl( {}_{s}^{\psi } \mathcal{I}^{\theta ,\upsilon }\eta ^{z} ( \omega ) \bigr) ^{\frac{2}{z}}+ \bigl( {}_{s}^{\psi } \mathcal{I}^{\theta ,\upsilon }\varsigma ^{z} ( \omega ) \bigr) ^{\frac{2}{z}} \\ &\quad \geq \biggl\{ \biggl[ \frac{\upsilon ^{2\theta }\Gamma ^{2} ( \theta +1 ) }{ ( \psi ( \omega ) -\psi ( s ) ) ^{2\theta }} \biggr] {} _{s}^{\psi } \mathcal{I}^{\theta ,\upsilon } \biggl( \frac{\varphi ( \omega ) +1}{\varphi ( \omega ) } \biggr) {} _{s}^{\psi }\mathcal{I}^{\theta ,\upsilon } \bigl( {\L } ( \omega ) +1 \bigr) -2 \biggr\} \\ &\quad\quad {} \times \bigl( {}_{s}^{\psi } \mathcal{I}^{\theta ,\upsilon } \eta ^{z} ( \omega ) \bigr) ^{\frac{1}{z}} \bigl( {}_{s}^{ \psi }\mathcal{I}^{\theta ,\upsilon }\varsigma ^{z} ( \omega ) \bigr) ^{\frac{1}{z}}. \end{aligned} $$
(3.12)

Proof

Here, to get started, we reformulate inequalities (3.7) and (3.8), respectively, as

$$ \frac{\varphi ( \varepsilon ) +1}{\varphi ( \varepsilon ) } \bigl( {}_{s}^{\psi }\mathcal{I}^{\theta ,\upsilon } \eta ^{z} ( \omega ) \bigr) ^{\frac{1}{z}}\leq \bigl( {}_{s}^{\psi } \mathcal{I}^{\theta ,\upsilon } ( \eta + \varsigma ) ^{z} ( \omega ) \bigr) ^{\frac{1}{z}} $$
(3.13)

and

$$ \bigl( {\L } ( \varepsilon ) +1 \bigr) \bigl( {}_{s}^{ \psi } \mathcal{I}^{\theta ,\upsilon }\varsigma ^{z} ( \omega ) \bigr) ^{ \frac{1}{z}}\leq \bigl( {}_{s}^{\psi }\mathcal{I}^{\theta ,\upsilon } ( \eta +\varsigma ) ^{z} ( \omega ) \bigr) ^{ \frac{1}{z}}. $$
(3.14)

Multiplying both sides of (3.13) and (3.14) by \(\frac{1}{\upsilon ^{\theta }\Gamma ( \theta ) }\times \frac{\exp [ \frac{\upsilon -1}{\upsilon } ( \psi ( \omega ) -\psi ( \varepsilon ) ) ] }{ ( \psi ( \omega ) -\psi ( \varepsilon ) ) ^{1-\theta }} \psi ^{\prime } ( \varepsilon )\), \(\varepsilon <\omega \), then integrating the results with respect to ε over \(( s,\omega )\), we respectively obtain

$$ \biggl[ \frac{\upsilon ^{\theta }\Gamma ( \theta +1 ) }{ ( \psi ( \omega ) -\psi ( s ) ) ^{\theta }} \biggr] {} _{s}^{\psi } \mathcal{I}^{\theta ,\upsilon } \biggl( \frac{\varphi ( \omega ) +1}{\varphi ( \omega ) } \biggr) \bigl( {}_{s}^{\psi }\mathcal{I}^{\theta ,\upsilon }\eta ^{z} ( \omega ) \bigr) ^{\frac{1}{z}}\leq \bigl( {}_{s}^{ \psi } \mathcal{I}^{\theta ,\upsilon } ( \eta +\varsigma ) ^{z} ( \omega ) \bigr) ^{\frac{1}{z}} $$
(3.15)

and

$$ \biggl[ \frac{\upsilon ^{\theta }\Gamma ( \theta +1 ) }{ ( \psi ( \omega ) -\psi ( s ) ) ^{\theta }} \biggr] {} _{s}^{\psi } \mathcal{I}^{\theta ,\upsilon } \bigl( {\L } ( \omega ) +1 \bigr) \bigl( {}_{s}^{\psi } \mathcal{I}^{\theta ,\upsilon }\varsigma ^{z} ( \omega ) \bigr) ^{\frac{1}{z}}\leq \bigl( {}_{s}^{\psi } \mathcal{I}^{\theta , \upsilon } ( \eta +\varsigma ) ^{z} ( \omega ) \bigr) ^{\frac{1}{z}}. $$
(3.16)

Now, taking the product of corresponding parts of inequalities (3.15) and (3.16), we obtain

$$\begin{aligned}& \biggl[ \frac{\upsilon ^{2\theta }\Gamma ^{2} ( \theta +1 ) }{ ( \psi ( \omega ) -\psi ( s ) ) ^{2\theta }} \biggr] {} _{s}^{\psi } \mathcal{I}^{\theta ,\upsilon } \biggl( \frac{\varphi ( \omega ) +1}{\varphi ( \omega ) } \biggr) {} _{s}^{\psi }\mathcal{I}^{\theta ,\upsilon } \bigl( {\L } ( \omega ) +1 \bigr) \bigl( {}_{s}^{\psi } \mathcal{I}^{\theta ,\upsilon }\eta ^{z} ( \omega ) \bigr) ^{\frac{1}{z}} \bigl( {}_{s}^{\psi } \mathcal{I}^{\theta , \upsilon }\varsigma ^{z} ( \omega ) \bigr) ^{ \frac{1}{z}} \\& \quad \leq \bigl( \bigl( {}_{s}^{\psi }\mathcal{I}^{ \theta ,\upsilon } ( \eta +\varsigma ) ^{z} ( \omega ) \bigr) ^{\frac{1}{z}} \bigr) ^{2}. \end{aligned}$$
(3.17)

On the right-hand side of (3.17), we apply Minkowski inequality to obtain

$$ \bigl( \bigl( {}_{s}^{\psi }\mathcal{I}^{\theta ,\upsilon } ( \eta +\varsigma ) ^{z} ( \omega ) \bigr) ^{ \frac{1}{z}} \bigr) ^{2}\leq \bigl( \bigl( {}_{s}^{\psi } \mathcal{I}^{ \theta ,\upsilon }\eta ^{z} ( \omega ) \bigr) ^{ \frac{1}{z}}+ \bigl( {}_{s}^{\psi }\mathcal{I}^{\theta ,\upsilon } \varsigma ^{z} ( \omega ) \bigr) ^{ \frac{1}{z}} \bigr) ^{2}, $$

which yields

$$ \begin{aligned} \bigl( \bigl( {}_{s}^{\psi } \mathcal{I}^{\theta , \upsilon } ( \eta +\varsigma ) ^{z} ( \omega ) \bigr) ^{\frac{1}{z}} \bigr) ^{2}&\leq \bigl( {}_{s}^{\psi } \mathcal{I}^{\theta ,\upsilon }\eta ^{z} ( \omega ) \bigr) ^{\frac{2}{z}}+ \bigl( {}_{s}^{\psi }\mathcal{I}^{\theta , \upsilon }\varsigma ^{z} ( \omega ) \bigr) ^{ \frac{2}{z}} \\ &\quad{} +2 \bigl( {}_{s}^{\psi }\mathcal{I}^{\theta ,\upsilon } \eta ^{z} ( \omega ) \bigr) ^{\frac{1}{z}} \bigl( {}_{s}^{\psi } \mathcal{I}^{\theta ,\upsilon }\varsigma ^{z} ( \omega ) \bigr) ^{\frac{1}{z}}. \end{aligned} $$
(3.18)

By matching inequality (3.17) with (3.18), we obtain the required inequality (3.12). □

Remark 3.1

  1. (i)

    In Theorems 3.1 and 3.2, putting \(\upsilon =1\) and \(\psi ( \omega ) =\omega \) (\(\forall \omega \in [ s,t ] \), \(s=0\)), we get Theorems 3.1 and 3.3, respectively, proved in [37].

  2. (ii)

    In Theorems 3.1 and 3.2, putting \(s=0\), \(\upsilon =1\), \({\L } ( \omega ) =q\), and \(\varphi ( \omega ) =Q\), \(\psi ( \omega ) =\omega \) (\(\forall \omega \in [ s,t ] \) where q, Q are constants), we get Theorems 2.1 and 2.3, respectively, introduced by Dahmani [19].

  3. (iii)

    Applying Theorems 3.1 and 3.2 with \(\theta =1\), \(\upsilon =1\), \(\psi ( \omega ) =\omega \), \({\L } ( \omega ) =q\), and \(\varphi ( \omega ) =Q\) on \([ s,w ] \), we obtain Theorem 1.2 introduced by Bougoffa [18] and Theorem 2.2 proved by Set et al. [20], respectively.

Other related ψ-proportional fractional integral inequalities

This section is devoted to deducing some fractional integral inequalities in the case of functional boundaries, which are close to the fractional Minkowski integral inequalities.

Theorem 4.1

Consider positive functions η, ς on \([ 0,\infty ) \) with \({}_{s}^{\psi }\mathcal{I}^{\theta ,\upsilon }\eta ^{z} ( \omega ) , {}_{s}^{\psi }\mathcal{I}^{\theta ,\upsilon }\varsigma ^{z} ( \omega ) <\infty \), \(\forall \omega \in [ 0,\infty ) \) and for all \(\upsilon \in ( 0,1 ] \), \(\theta \in \mathbb{C} \), \(\operatorname{Re} ( \theta ) \geq 0\), \(z,l\geq 1\), \(z,l \in \mathbb{R} _{+}^{\ast }\) where \(\frac{1}{z}+\frac{1}{l}=1\). Let ψ be a strictly increasing continuous function. Assume that Ł, φ are two positive functions such that \(0<{\L } ( \varepsilon ) \leq \frac{\eta ( \kappa ) }{\varsigma ( \kappa ) } \leq \varphi ( \varepsilon ) \), \(\kappa ,\varepsilon \in [ s,\omega ] \). Then we have

$$ \begin{aligned} {}_{s}^{\psi }\mathcal{I}^{\theta ,\upsilon } ( \eta \varsigma ) ( \omega ) &\leq \biggl[ \frac{2^{\lambda -1}\upsilon ^{\theta }\Gamma ( \theta +1 ) }{z ( \psi ( \omega ) -\psi ( s ) ) ^{\theta }} \biggr] {} _{s}^{\psi }\mathcal{I}^{\theta ,\upsilon } \biggl( \frac{\varphi ^{z} ( \omega ) }{ [ \varphi ( \omega ) +1 ] ^{z}} \biggr) {} _{s}^{\psi }\mathcal{I}^{\theta ,\upsilon } \bigl[ \eta ^{z} ( \omega ) +\varsigma ^{z} ( \omega ) \bigr] \\ &\quad {} + \biggl[ \frac{2^{\lambda -1}\upsilon ^{\theta }\Gamma ( \theta +1 ) }{l ( \psi ( \omega ) -\psi ( s ) ) ^{\theta }} \biggr] {} _{s}^{\psi } \mathcal{I}^{\theta , \upsilon } \biggl( \frac{1}{ ( {\L } ( \omega ) +1 ) ^{l}} \biggr) {} _{s}^{\psi }\mathcal{I}^{\theta ,\upsilon } \bigl[ \eta ^{l} ( \omega ) +\varsigma ^{l} ( \omega ) \bigr] . \end{aligned} $$
(4.1)

Proof

Due to the assumption \(\frac{\eta ( \kappa ) }{\varsigma ( \varepsilon ) } \leq \varphi ( \varepsilon ) \); \(\kappa ,\varepsilon \in [ s,\omega ] \), we can write

$$ \bigl[ \varphi ( \varepsilon ) +1 \bigr] ^{z}\eta ^{z} ( \kappa ) \leq \varphi ^{z} ( \varepsilon ) ( \eta +\varsigma ) ^{z} ( \kappa ), $$
(4.2)

and from the assumption \({\L } ( \varepsilon ) \leq \frac{\eta ( \kappa ) }{\varsigma ( \varepsilon ) }\); \(\kappa ,\varepsilon \in [ s,\omega ] \), we obtain

$$ \bigl( {\L } ( \varepsilon ) +1 \bigr) ^{l}\varsigma ^{l} ( \kappa ) \leq ( \eta +\varsigma ) ^{l} ( \kappa ) . $$
(4.3)

Multiplying both sides of (4.2) and (4.3) by \(\frac{1}{\upsilon ^{\theta }\Gamma ( \theta ) }\times \frac{\exp [ \frac{\upsilon -1}{\upsilon } ( \psi ( \omega ) -\psi ( \kappa ) ) ] }{ ( \psi ( \omega ) -\psi ( \kappa ) ) ^{1-\theta }} \psi ^{\prime } ( \kappa )\), \(\kappa <\omega \), then integrating the results with respect to κ over \(( s,\omega )\), we respectively get

$$ {}_{s}^{\psi }\mathcal{I}^{\theta ,\upsilon }\eta ^{z} ( \omega ) \leq \biggl( \frac{\varphi ^{z} ( \varepsilon ) }{ [ \varphi ( \varepsilon ) +1 ] ^{z}} \biggr) {} _{s}^{\psi }\mathcal{I}^{\theta ,\upsilon } ( \eta +\varsigma ) ^{z} ( \omega ) $$
(4.4)

and

$$ {}_{s}^{\psi }\mathcal{I}^{\theta ,\upsilon }\varsigma ^{l} ( \omega ) \leq \biggl( \frac{1}{ ( {\L } ( \varepsilon ) +1 ) ^{l}} \biggr) {} _{s}^{\psi }\mathcal{I}^{\theta , \upsilon } ( \eta +\varsigma ) ^{l} ( \omega ) . $$
(4.5)

Again, multiplying both sides of (4.4) and (4.5) by \(\frac{1}{\upsilon ^{\theta }\Gamma ( \theta ) }\times \frac{\exp [ \frac{\upsilon -1}{\upsilon } ( \psi ( \omega ) -\psi ( \varepsilon ) ) ] }{ ( \psi ( \omega ) -\psi ( \varepsilon ) ) ^{1-\theta }}\psi ^{\prime } ( \varepsilon )\), \(\varepsilon <\omega \), then integrating the results with respect to ε over \(( s,\omega )\), we respectively obtain

$$ {}_{s}^{\psi }\mathcal{I}^{\theta ,\upsilon }\eta ^{z} ( \omega ) \leq \biggl[ \frac{\upsilon ^{\theta }\Gamma ( \theta +1 ) }{ ( \psi ( \omega ) -\psi ( s ) ) ^{\theta }} \biggr] {} _{s}^{\psi } \mathcal{I}^{\theta ,\upsilon } \biggl( \frac{\varphi ^{z} ( \omega ) }{ [ \varphi ( \omega ) +1 ] ^{z}} \biggr) {} _{s}^{\psi }\mathcal{I}^{\theta , \upsilon } ( \eta +\varsigma ) ^{z} ( \omega ) $$
(4.6)

and

$$ {}_{s}^{\psi }\mathcal{I}^{\theta ,\upsilon }\varsigma ^{l} ( \omega ) \leq \biggl[ \frac{\upsilon ^{\theta }\Gamma ( \theta +1 ) }{ ( \psi ( \omega ) -\psi ( s ) ) ^{\theta }} \biggr] {} _{s}^{\psi }\mathcal{I}^{\theta ,\upsilon } \biggl( \frac{1}{ ( {\L } ( \omega ) +1 ) ^{l}} \biggr) {} _{s}^{\psi }\mathcal{I}^{\theta ,\upsilon } ( \eta +\varsigma ) ^{l} ( \omega ) . $$
(4.7)

Now, considering Young’s inequality [10],

$$ \eta ( \kappa ) \varsigma ( \kappa ) \leq \frac{\eta ^{z} ( \kappa ) }{z}+ \frac{\varsigma ^{l} ( \kappa ) }{l}. $$
(4.8)

Multiplying both sides of (4.8) by \(\frac{1}{\upsilon ^{\theta }\Gamma ( \theta ) }\times \frac{\exp [ \frac{\upsilon -1}{\upsilon } ( \psi ( \omega ) -\psi ( \kappa ) ) ] }{ ( \psi ( \omega ) -\psi ( \kappa ) ) ^{1-\theta }} \psi ^{\prime } ( \kappa )\), \(\kappa <\omega \), then integrating the result with respect to κ over \(( s,\omega )\), we get

$$ {}_{s}^{\psi }\mathcal{I}^{\theta ,\upsilon } ( \eta \varsigma ) ( \omega ) \leq \frac{1}{z}{} _{s}^{\psi } \mathcal{I}^{\theta ,\upsilon } \eta ^{z} ( \omega ) +\frac{1}{l}{} _{s}^{\psi }\mathcal{I}^{\theta , \upsilon } \varsigma ^{l} ( \omega ) . $$
(4.9)

Inequalities (4.6), (4.7), and (4.9) lead to

$$ \begin{aligned} {}_{s}^{\psi }\mathcal{I}^{\theta ,\upsilon } ( \eta \varsigma ) ( \omega ) &\leq \frac{1}{z}{} _{s}^{ \psi } \mathcal{I}^{\theta ,\upsilon } \eta ^{z} ( \omega ) + \frac{1}{l}{} _{s}^{\psi } \mathcal{I}^{\theta ,\upsilon } \varsigma ^{l} ( \omega ) \\ &\leq \biggl[ \frac{\upsilon ^{\theta }\Gamma ( \theta +1 ) }{z ( \psi ( \omega ) -\psi ( s ) ) ^{\theta }} \biggr] {} _{s}^{\psi } \mathcal{I}^{\theta ,\upsilon } \biggl( \frac{\varphi ^{z} ( \omega ) }{ [ \varphi ( \omega ) +1 ] ^{z}} \biggr) {} _{s}^{\psi }\mathcal{I}^{\theta ,\upsilon } ( \eta +\varsigma ) ^{z} ( \omega ) \\ &\quad {} + \biggl[ \frac{\upsilon ^{\theta }\Gamma ( \theta +1 ) }{l ( \psi ( \omega ) -\psi ( s ) ) ^{\theta }} \biggr] {} _{s}^{\psi } \mathcal{I}^{\theta ,\upsilon } \biggl( \frac{1}{ ( {\L } ( \omega ) +1 ) ^{l}} \biggr) {} _{s}^{ \psi }\mathcal{I}^{\theta ,\upsilon } ( \eta + \varsigma ) ^{l} ( \omega ) . \end{aligned} $$
(4.10)

Now, due to the inequality \(( \Xi +\Omega ) ^{\lambda }\leq 2^{\lambda -1} ( \Xi ^{\lambda }+\Omega ^{\lambda } ) \), \(\lambda >1\), \(\Xi ,\Omega \geq 0\), we can write

$$ {} _{s}^{\psi }\mathcal{I}^{\theta ,\upsilon } ( \eta +\varsigma ) ^{z} ( \omega ) \leq 2^{\lambda -1} {} _{s}^{\psi } \mathcal{I}^{\theta ,\upsilon } \bigl[ \eta ^{z} ( \omega ) +\varsigma ^{z} ( \omega ) \bigr] $$
(4.11)

and

$$ {} _{s}^{\psi }\mathcal{I}^{\theta ,\upsilon } ( \eta +\varsigma ) ^{l} ( \omega ) \leq 2^{\lambda -1} {} _{s}^{\psi } \mathcal{I}^{\theta ,\upsilon } \bigl[ \eta ^{l} ( \omega ) +\varsigma ^{l} ( \omega ) \bigr] . $$
(4.12)

By substituting inequalities (4.11) and (4.12) into (4.10), we obtain inequality (4.1), which ends the proof. □

Theorem 4.2

Consider positive functions η, ς on \([ 0,\infty ) \) with \({}_{s}^{\psi }\mathcal{I}^{\theta ,\upsilon }\eta ^{z} ( \omega ) , {}_{s}^{\psi }\mathcal{I}^{\theta ,\upsilon }\varsigma ^{z} ( \omega ) <\infty \), \(\forall \omega \in [ 0,\infty ) \) and for all \(\upsilon \in ( 0,1 ] \), \(\theta \in \mathbb{C} \), \(\operatorname{Re} ( \theta ) \geq 0\), \(z\geq 1\). Let ψ be a strictly increasing continuous function. Assume that Ł, φ are two positive functions such that \(0<\Xi <{\L } ( \varepsilon ) \leq \frac{\eta ( \kappa ) }{\varsigma ( \kappa ) } \leq \varphi ( \varepsilon ) \), \(\kappa ,\varepsilon \in [ s,\omega ] \). Then we have

$$\begin{aligned}& \frac{\upsilon ^{\theta }\Gamma ( \theta +1 ) }{ ( \psi ( \omega ) -\psi ( s ) ) ^{\theta }} \biggl\{ {} _{s}^{\psi } \mathcal{I}^{\theta ,\upsilon } \biggl( \frac{1}{ ( \varphi ( \omega ) -\Xi ) } \biggr) + {} _{s}^{\psi }\mathcal{I}^{\theta ,\upsilon } \biggl( \frac{{\L } ( \omega ) }{{\L } ( \omega ) -\Xi } \biggr) \biggr\} \bigl[ {} _{s}^{\psi } \mathcal{I}^{\theta ,\upsilon } \bigl( \eta ( \omega ) -\Xi \varsigma ( \omega ) \bigr) ^{z} \bigr] ^{\frac{1}{z}} \\& \quad \leq \bigl( {}_{s}^{\psi}\mathcal{I}^{\theta,\upsilon} \varsigma ^{z} ( \omega ) \bigr) ^{\frac{1}{z}}+ \bigl( {} _{s}^{\psi }\mathcal{I}^{\theta ,\upsilon } \eta ^{z} ( \omega ) \bigr) ^{\frac{1}{z}} \\& \quad \leq \frac{\upsilon ^{\theta }\Gamma ( \theta +1 ) }{ ( \psi ( \omega ) -\psi ( s ) ) ^{\theta }} \biggl\{ {}_{s}^{\psi} \mathcal{I}^{\theta,\upsilon} \biggl( \frac{1}{ ( {\L } ( \omega ) -\Xi ) } \biggr) + {} _{s}^{\psi }\mathcal{I}^{\theta ,\upsilon } \biggl( \frac{\varphi ( \omega ) }{\varphi ( \omega ) -\Xi } \biggr) \biggr\} \\& \quad\quad{}\times \bigl[ {}_{s}^{\psi} \mathcal{I}^{\theta,\upsilon} \bigl( \eta ( \omega ) -\Xi \varsigma ( \omega ) \bigr) ^{z} \bigr] ^{\frac{1}{z}}. \end{aligned}$$
(4.13)

Proof

Due to the assumption \(0<\Xi <{\L } ( \varepsilon ) \leq \frac{\eta ( \kappa ) }{\varsigma ( \kappa ) } \leq \varphi ( \varepsilon ) \), we can write

$$ {\L } ( \varepsilon ) \leq \frac{\eta ( \kappa ) }{\varsigma ( \kappa ) }\leq \varphi ( \varepsilon ) \quad \Longrightarrow\quad {\L } ( \varepsilon ) -\Xi \leq \frac{\eta ( \kappa ) }{\varsigma ( \kappa ) }-\Xi \leq \varphi ( \varepsilon ) -\Xi . $$

So

$$ {\L } ( \varepsilon ) -\Xi \leq \frac{\eta ( \kappa ) -\Xi \varsigma ( \kappa ) }{\varsigma ( \kappa ) } \leq \varphi ( \varepsilon ) -\Xi , $$

which leads to

$$ \frac{ ( \eta ( \kappa ) -\Xi \varsigma ( \kappa ) ) ^{z}}{ ( \varphi ( \varepsilon ) -\Xi ) ^{z}}\leq \varsigma ^{z} ( \kappa ) \leq \frac{ ( \eta ( \kappa ) -\Xi \varsigma ( \kappa ) ) ^{z}}{ ( {\L } ( \varepsilon ) -\Xi ) ^{z}}. $$
(4.14)

Also, we have

$$ {\L } ( \varepsilon ) \leq \frac{\eta ( \kappa ) }{\varsigma ( \kappa ) }\leq \varphi ( \varepsilon ) \quad \Longrightarrow \quad \frac{1}{\Xi }- \frac{1}{{\L } ( \varepsilon ) }\leq \frac{1}{\Xi }- \frac{\varsigma ( \kappa ) }{\eta ( \kappa ) }\leq \frac{1}{\Xi }- \frac{1}{\varphi ( \varepsilon ) }, $$

so

$$ \frac{{\L } ( \varepsilon ) -\Xi }{{\L } ( \varepsilon ) }\leq \frac{\eta ( \kappa ) -\Xi \varsigma ( \kappa ) }{\eta ( \kappa ) }\leq \frac{\varphi ( \varepsilon ) -\Xi }{\varphi ( \varepsilon ) }, $$

which leads to

$$ \biggl( \frac{{\L } ( \varepsilon ) }{{\L } ( \varepsilon ) -\Xi } \biggr) ^{z} \bigl( \eta ( \kappa ) -\Xi \varsigma ( \kappa ) \bigr) ^{z}\leq \eta ^{z} ( \kappa ) \leq \biggl( \frac{\varphi ( \varepsilon ) }{\varphi ( \varepsilon ) -\Xi } \biggr) ^{z} \bigl( \eta ( \kappa ) -\Xi \varsigma ( \kappa ) \bigr) ^{z}. $$
(4.15)

Multiplying both sides of (4.14) and (4.15) by \(\frac{1}{\upsilon ^{\theta }\Gamma ( \theta ) }\times \frac{\exp [ \frac{\upsilon -1}{\upsilon } ( \psi ( \omega ) -\psi ( \kappa ) ) ] }{ ( \psi ( \omega ) -\psi ( \kappa ) ) ^{1-\theta }} \psi ^{\prime } ( \kappa )\), \(\kappa <\omega \), then integrating the results with respect to κ over \(( s,\omega )\), we respectively get

$$\begin{aligned}& \frac{1}{\upsilon ^{\theta }\Gamma ( \theta ) ( \varphi ( \varepsilon ) -\Xi ) ^{z}} \int _{s}^{\omega } \frac{\exp [ \frac{\upsilon -1}{\upsilon } ( \psi ( \omega ) -\psi ( \kappa ) ) ] }{ ( \psi ( \omega ) -\psi ( \kappa ) ) ^{1-\theta }} \bigl( \eta ( \kappa ) -\Xi \varsigma ( \kappa ) \bigr) ^{z}\psi ^{\prime } ( \kappa ) \,d\kappa \\& \quad \leq \frac{1}{\upsilon ^{\theta }\Gamma ( \theta ) } \int _{s}^{ \omega } \frac{\exp [ \frac{\upsilon -1}{\upsilon } ( \psi ( \omega ) -\psi ( \kappa ) ) ] }{ ( \psi ( \omega ) -\psi ( \kappa ) ) ^{1-\theta }}\varsigma ^{z} ( \kappa ) \psi ^{\prime } ( \kappa ) \,d\kappa \\& \quad \leq \frac{1}{\upsilon ^{\theta }\Gamma ( \theta ) ( {\L } ( \varepsilon ) -\Xi ) ^{z}}\int _{s}^{\omega } \frac{\exp [ \frac{\upsilon -1}{\upsilon } ( \psi ( \omega ) -\psi ( \kappa ) ) ] }{ ( \psi ( \omega ) -\psi ( \kappa ) ) ^{1-\theta }} \bigl( \eta ( \kappa ) -\Xi \varsigma ( \kappa ) \bigr) ^{z}\psi ^{\prime } ( \kappa ) \,d\kappa \end{aligned}$$

and

$$\begin{aligned}& \biggl( \frac{{\L } ( \varepsilon ) }{{\L } ( \varepsilon ) -\Xi } \biggr) ^{z} \frac{1}{\upsilon ^{\theta }\Gamma ( \theta ) } \int _{s}^{ \omega } \frac{\exp [ \frac{\upsilon -1}{\upsilon } ( \psi ( \omega ) -\psi ( \kappa ) ) ] }{ ( \psi ( \omega ) -\psi ( \kappa ) ) ^{1-\theta }} \bigl( \eta ( \kappa ) -\Xi \varsigma ( \kappa ) \bigr) ^{z}\psi ^{\prime } ( \kappa ) \,d\kappa \\& \quad \leq \frac{1}{\upsilon ^{\theta }\Gamma ( \theta ) }\int _{s}^{\omega } \frac{\exp [ \frac{\upsilon -1}{\upsilon } ( \psi ( \omega ) -\psi ( \kappa ) ) ] }{ ( \psi ( \omega ) -\psi ( \kappa ) ) ^{1-\theta }}\eta ^{z} ( \kappa ) \psi ^{\prime } ( \kappa ) \,d\kappa \\& \quad \leq \biggl( \frac{\varphi ( \varepsilon ) }{\varphi ( \varepsilon ) -\Xi } \biggr) ^{z} \frac{1}{\upsilon ^{\theta }\Gamma ( \theta ) } \int _{s}^{ \omega } \frac{\exp [ \frac{\upsilon -1}{\upsilon } ( \psi ( \omega ) -\psi ( \kappa ) ) ] }{ ( \psi ( \omega ) -\psi ( \kappa ) ) ^{1-\theta }} \bigl( \eta ( \kappa ) -\Xi \varsigma ( \kappa ) \bigr) ^{z}\psi ^{\prime } ( \kappa ) \,d\kappa , \end{aligned}$$

from which it follows that

$$ \begin{aligned}[b] & \frac{1}{ ( \varphi ( \varepsilon ) -\Xi ) ^{z}} {} _{s}^{\psi }\mathcal{I}^{\theta ,\upsilon } \bigl( \eta ( \omega ) -\Xi \varsigma ( \omega ) \bigr) ^{z} \\ &\quad \leq {}_{s}^{\psi}\mathcal{I}^{\theta,\upsilon} \varsigma ^{z} ( \omega ) \leq \frac{1}{ ( {\L } ( \varepsilon ) -\Xi ) ^{z}} {} _{s}^{\psi } \mathcal{I}^{\theta ,\upsilon } \bigl( \eta ( \omega ) -\Xi \varsigma ( \omega ) \bigr) ^{z} \end{aligned} $$
(4.16)

and

$$ \begin{aligned}[b] & \biggl( \frac{{\L } ( \varepsilon ) }{{\L } ( \varepsilon ) -\Xi } \biggr) ^{z}{}_{s}^{\psi} \mathcal{I}^{\theta,\upsilon} \bigl( \eta ( \omega ) -\Xi \varsigma ( \omega ) \bigr) ^{z} \\ &\quad \leq {}_{s}^{\psi}\mathcal{I}^{\theta,\upsilon} \eta ^{z} ( \omega ) \leq \biggl( \frac{\varphi ( \varepsilon ) }{\varphi ( \varepsilon ) -\Xi } \biggr) ^{z}{}_{s}^{\psi}\mathcal{I}^{\theta,\upsilon} \bigl( \eta ( \omega ) -\Xi \varsigma ( \omega ) \bigr) ^{z}. \end{aligned} $$
(4.17)

The above inequalities are respectively equivalent to

$$ \begin{aligned}[b] & \frac{1}{ ( \varphi ( \varepsilon ) -\Xi ) } \bigl[ {} _{s}^{\psi } \mathcal{I}^{\theta ,\upsilon } \bigl( \eta ( \omega ) -\Xi \varsigma ( \omega ) \bigr) ^{z} \bigr] ^{\frac{1}{z}} \\ &\quad \leq \bigl( {}_{s}^{\psi} \mathcal{I}^{\theta,\upsilon} \varsigma ^{z} ( \omega ) \bigr) ^{ \frac{1}{z}} \leq \frac{1}{ ( {\L } ( \varepsilon ) -\Xi ) } \bigl[ {} _{s}^{\psi } \mathcal{I}^{\theta ,\upsilon } \bigl( \eta ( \omega ) -\Xi \varsigma ( \omega ) \bigr) ^{z} \bigr] ^{\frac{1}{z}} \end{aligned} $$
(4.18)

and

$$ \begin{aligned}[b] & \frac{{\L } ( \varepsilon ) }{{\L } ( \varepsilon ) -\Xi } \bigl[ {} _{s}^{\psi } \mathcal{I}^{\theta ,\upsilon } \bigl( \eta ( \omega ) -\Xi \varsigma ( \omega ) \bigr) ^{z} \bigr] ^{\frac{1}{z}} \\ &\quad \leq \bigl( {}_{s}^{\psi} \mathcal{I}^{\theta,\upsilon} \eta ^{z} ( \omega ) \bigr) ^{ \frac{1}{z}} \leq \frac{\varphi ( \varepsilon ) }{\varphi ( \varepsilon ) -\Xi } \bigl[ {} _{s}^{\psi } \mathcal{I}^{\theta ,\upsilon } \bigl( \eta ( \omega ) -\Xi \varsigma ( \omega ) \bigr) ^{z} \bigr] ^{\frac{1}{z}}. \end{aligned} $$
(4.19)

Multiplying both sides of (4.18) and (4.19) by \(\frac{1}{\upsilon ^{\theta }\Gamma ( \theta ) }\times \frac{\exp [ \frac{\upsilon -1}{\upsilon } ( \psi ( \omega ) -\psi ( \varepsilon ) ) ] }{ ( \psi ( \omega ) -\psi ( \varepsilon ) ) ^{1-\theta }} \psi ^{\prime } ( \varepsilon )\), \(\varepsilon <\omega \), then integrating the results with respect to ε over \(( s,\omega )\), we respectively obtain

$$\begin{aligned}& {} _{s}^{\psi }\mathcal{I}^{\theta ,\upsilon } \biggl( \frac{1}{ ( \varphi ( \omega ) -\Xi ) } \biggr) \bigl[ {} _{s}^{\psi } \mathcal{I}^{\theta ,\upsilon } \bigl( \eta ( \omega ) -\Xi \varsigma ( \omega ) \bigr) ^{z} \bigr] ^{\frac{1}{z}} \\& \quad \leq \frac{ ( \psi ( \omega ) -\psi ( s ) ) ^{\theta }}{\upsilon ^{\theta }\Gamma ( \theta +1 ) } \bigl( {} _{s}^{\psi } \mathcal{I}^{\theta ,\upsilon } \varsigma ^{z} ( \omega ) \bigr) ^{\frac{1}{z}} \\& \quad \leq {}_{s}^{\psi}\mathcal{I}^{\theta,\upsilon} \biggl( \frac{1}{ ( {\L } ( \omega ) -\Xi ) } \biggr) \bigl[ {}_{s}^{\psi} \mathcal{I}^{\theta,\upsilon} \bigl( \eta ( \omega ) -\Xi \varsigma ( \omega ) \bigr) ^{z} \bigr] ^{\frac{1}{z}} \end{aligned}$$
(4.20)

and

$$\begin{aligned}& {} _{s}^{\psi }\mathcal{I}^{\theta ,\upsilon } \biggl( \frac{{\L } ( \omega ) }{{\L } ( \omega ) -\Xi } \biggr) \bigl[ {}_{s}^{\psi} \mathcal{I}^{\theta,\upsilon} \bigl( \eta ( \omega ) -\Xi \varsigma ( \omega ) \bigr) ^{z} \bigr] ^{\frac{1}{z}} \\& \quad \leq \frac{ ( \psi ( \omega ) -\psi ( s ) ) ^{\theta }}{\upsilon ^{\theta }\Gamma ( \theta +1 ) } \bigl( {} _{s}^{\psi } \mathcal{I}^{\theta ,\upsilon } \eta ^{z} ( \omega ) \bigr) ^{\frac{1}{z}} \\& \quad \leq {}_{s}^{\psi}\mathcal{I}^{\theta,\upsilon} \biggl( \frac{\varphi ( \omega ) }{\varphi ( \omega ) -\Xi } \biggr) \bigl[ {}_{s}^{\psi} \mathcal{I}^{\theta,\upsilon} \bigl( \eta ( \omega ) -\Xi \varsigma ( \omega ) \bigr) ^{z} \bigr] ^{\frac{1}{z}}. \end{aligned}$$
(4.21)

The addition of inequalities (4.20) and (4.21) completes the proof. □

Theorem 4.3

Consider positive functions η, ς on \([ 0,\infty ) \) with \({}_{s}^{\psi }\mathcal{I}^{\theta ,\upsilon }\eta ^{z} ( \omega ) , {}_{s}^{\psi }\mathcal{I}^{\theta ,\upsilon }\varsigma ^{z} ( \omega ) <\infty \), \(\forall \omega \in [ 0,\infty ) \) and for all \(\upsilon \in ( 0,1 ] \), \(\theta \in \mathbb{C} \), \(\operatorname{Re} ( \theta ) \geq 0\), \(z\geq 1\). Let ψ be a strictly increasing continuous function. Assume that Ł, φ are two positive functions such that \(0<{\L } ( \kappa ) \leq \frac{\eta ( \kappa ) }{\varsigma ( \kappa ) }\leq \varphi ( \kappa ) \), \(\kappa \in [ s,\omega ] \). Then we have

$$ \bigl( {}_{s}^{\psi }\mathcal{I}^{\theta ,\upsilon }\eta ^{z} ( \omega ) \bigr) ^{\frac{1}{z}}+ \bigl( {}_{s}^{\psi } \mathcal{I}^{\theta ,\upsilon }\varsigma ^{z} ( \omega ) \bigr) ^{\frac{1}{z}}\leq 2 \bigl( {}_{s}^{\psi }\mathcal{I}^{\theta , \upsilon } \xi ^{z} \bigl( \eta ( \omega ) ,\varsigma ( \omega ) \bigr) \bigr) ^{\frac{1}{z}}, $$
(4.22)

where ξ is an integrable function defined on \([ 0,\infty ) \) by

$$ \xi \bigl( \eta ( \omega ) ,\varsigma ( \omega ) \bigr) =\max \biggl\{ \biggl[ \biggl( 1+ \frac{\varphi ( \omega ) }{{\L } ( \omega ) } \biggr) \eta ( \omega ) - \varphi ( \omega ) \varsigma ( \omega ) \biggr] , \frac{ ( \varphi ( \omega ) +{\L } ( \omega ) ) \varsigma ( \omega ) -\eta ( \omega ) }{{\L } ( \omega ) } \biggr\} . $$

Proof

Due to the assumption \(0<{\L } ( \kappa ) \leq \frac{\eta ( \kappa ) }{\varsigma ( \kappa ) } \leq \varphi ( \kappa ) \), \(\kappa \in [ s,\omega ] \), we get

$$ {\L } ( \kappa ) \leq \varphi ( \kappa ) +{ \L } ( \kappa ) - \frac{\eta ( \kappa ) }{\varsigma ( \kappa ) } $$
(4.23)

and

$$ \varphi ( \kappa ) +{\L } ( \kappa ) - \frac{\eta ( \kappa ) }{\varsigma ( \kappa ) }\leq \varphi ( \kappa ) . $$
(4.24)

By using the inequalities (4.23) and (4.24), we can write

$$ \varsigma ( \kappa ) \leq \frac{ ( \varphi ( \kappa ) +{\L } ( \kappa ) ) \varsigma ( \kappa ) -\eta ( \kappa ) }{{\L } ( \kappa ) }\leq \xi \bigl( \eta ( \kappa ) , \varsigma ( \kappa ) \bigr) , $$
(4.25)

where ξ is an integrable function defined on \([ 0,\infty ) \) by

$$ \xi \bigl( \eta ( \kappa ) ,\varsigma ( \kappa ) \bigr) =\max \biggl\{ \biggl[ \biggl( 1+ \frac{\varphi ( \kappa ) }{{\L } ( \kappa ) } \biggr) \eta ( \kappa ) - \varphi ( \kappa ) \varsigma ( \kappa ) \biggr] , \frac{ ( \varphi ( \kappa ) +{\L } ( \kappa ) ) \varsigma ( \kappa ) -\eta ( \kappa ) }{{\L } ( \kappa ) } \biggr\} , $$

which leads to

$$ \varsigma ^{z} ( \kappa ) \leq \xi ^{z} \bigl( \eta ( \kappa ) ,\varsigma ( \kappa ) \bigr) . $$
(4.26)

On the other hand, from the assumption \(\frac{1}{\varphi ( \kappa ) }\leq \frac{\varsigma ( \kappa ) }{\eta ( \kappa ) }\leq \frac{1}{{\L } ( \kappa ) }\), we have

$$ \frac{1}{\varphi ( \kappa ) }\leq \frac{1}{\varphi ( \kappa ) }+ \frac{1}{{\L } ( \kappa ) }- \frac{\varsigma ( \kappa ) }{\eta ( \kappa ) } $$
(4.27)

and

$$ \frac{1}{\varphi ( \kappa ) }+ \frac{1}{{\L } ( \kappa ) }- \frac{\varsigma ( \kappa ) }{\eta ( \kappa ) } \leq \frac{1}{{\L } ( \kappa ) }. $$
(4.28)

Using (4.27) and (4.28), we obtain

$$ \frac{1}{\varphi ( \kappa ) }\leq \frac{ ( \frac{1}{\varphi ( \kappa ) }+\frac{1}{{\L } ( \kappa ) } ) \eta ( \kappa ) -\varsigma ( \kappa ) }{\eta ( \kappa ) } \leq \frac{1}{{\L } ( \kappa ) }. $$

So

$$\begin{aligned} \eta ( \kappa ) \leq &\varphi ( \kappa ) \biggl( \frac{1}{v ( \tau ) }+ \frac{1}{{\L } ( \kappa ) } \biggr) \eta ( \kappa ) -\varphi ( \kappa ) \varsigma ( \kappa ) \\ =& \biggl( 1+ \frac{\varphi ( \kappa ) }{{\L } ( \kappa ) } \biggr) \eta ( \kappa ) -\varphi ( \kappa ) \varsigma ( \kappa ) \\ \leq &\max \biggl\{ \biggl[ \biggl( 1+ \frac{\varphi ( \kappa ) }{{\L } ( \kappa ) } \biggr) \eta ( \kappa ) - \varphi ( \kappa ) \varsigma ( \kappa ) \biggr] , \frac{ ( \varphi ( \kappa ) +{\L } ( \kappa ) ) \varsigma ( \kappa ) -\eta ( \kappa ) }{{\L } ( \kappa ) } \biggr\} \\ =&\xi \bigl( \eta ( \kappa ) ,\varsigma ( \kappa ) \bigr) , \end{aligned}$$

which yields

$$ \eta ^{z} ( \kappa ) \leq \xi ^{z} \bigl( \eta ( \kappa ) , \varsigma ( \kappa ) \bigr) . $$
(4.29)

Multiplying both sides of (4.26) and (4.29) by \(\frac{1}{\upsilon ^{\theta }\Gamma ( \theta ) }\times \frac{\exp [ \frac{\upsilon -1}{\upsilon } ( \psi ( \omega ) -\psi ( \kappa ) ) ] }{ ( \psi ( \omega ) -\psi ( \kappa ) ) ^{1-\theta }} \psi ^{\prime } ( \kappa )\), \(\kappa <\omega \), then integrating the results with respect to κ over \(( s,\omega )\), we respectively get

$$ \bigl( {}_{s}^{\psi }\mathcal{I}^{\theta ,\upsilon }\varsigma ^{z} ( \omega ) \bigr) ^{\frac{1}{z}}\leq \bigl( {}^{\psi } \mathcal{I}_{s}^{\theta ,\upsilon }\xi ^{z} \bigl( \eta ( \omega ) , \varsigma ( \omega ) \bigr) \bigr) ^{\frac{1}{z}} $$
(4.30)

and

$$ \bigl( {}_{s}^{\psi }\mathcal{I}^{\theta ,\upsilon }\eta ^{z} ( \omega ) \bigr) ^{\frac{1}{z}}\leq \bigl( {}_{s}^{\psi } \mathcal{I}^{\theta ,\upsilon }\xi ^{z} \bigl( \eta ( \omega ) ,\varsigma ( \omega ) \bigr) \bigr) ^{ \frac{1}{z}}. $$
(4.31)

Hence, the addition of (4.30) and (4.31) ends the proof. □

Concluding remarks

We have applied a proportional fractional integral operator with respect to another strictly increasing continuous function ψ. We then improved and generalized several consequences in the framework of fractional integral inequalities of Minkowski’s type. The functions used in this work are bounded by two positive functions to get reverse Minkowski inequalities in the new setting. Moreover, we have introduced new fractional integral inequalities which have a close relationship to the reverse Minkowski-type inequalities via ψ-proportional fractional integral. Also with the aid of the considered operator, some new special cases of reverse Minkowski-type inequality have been discussed. The acquired results can be applied to emphasize the existence of nontrivial answers to various problems having fractional order. The results derived in this work are general in character and give some contributions to inequality theory, e.g., when υ and ψ take different values, our results reduce to many results that include classical fractional operators such as Riemann–Liouville, Hadamard, Katugampola, etc. As a future work, we are considering studying such results with respect to the Mittag-Leffler power law [41].

Availability of data and materials

Not applicable.

References

  1. 1.

    Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies Elsevier, Amsterdam (2006)

    MATH  Google Scholar 

  2. 2.

    Jarad, F., Abdeljawad, T.: Generalized fractional derivatives and Laplace transform. Discrete Contin. Dyn. Syst., Ser. S 13(3), 709–722 (2020)

    MathSciNet  MATH  Google Scholar 

  3. 3.

    Abdo, M.S., Shah, K., Panchal, S.K., Wahash, H.A.: Existence and Ulam stability results of a coupled system for terminal value problems involving ψ-Hilfer fractional operator. Adv. Differ. Equ. 2020, 316 (2020)

    MathSciNet  Article  Google Scholar 

  4. 4.

    Abdo, M.S., Abdeljawad, T., Ali, S.M., Shah, K., Jarad, F.: Existence of positive solutions for weighted fractional order differential equations. Chaos Solitons Fractals 141, 110341 (2020). https://doi.org/10.1016/j.chaos.2020.110341

    MathSciNet  Article  Google Scholar 

  5. 5.

    Wahash, H.A., Abdo, M.S., Saeed, A.M., Panchal, S.K.: Singular fractional differential equations with ψ-Caputo operator and modified Picard’s iterative method. Appl. Math. E-Notes 20, 215–229 (2020)

    MathSciNet  MATH  Google Scholar 

  6. 6.

    Abdulwasaa, M.A., Abdo, M.S., Shah, K., Nofal, T.A., Panchal, S.K., Kawale, S.V., Abdel-Aty, A.H.: Fractal-fractional mathematical modeling and forecasting of new cases and deaths of COVID-19 epidemic outbreaks in India. Results Phys. 20, 103702 (2021)

    Article  Google Scholar 

  7. 7.

    Redhwan, S.S., Abdo, M.S., Shah, K., Abdeljawad, T., Dawood, S., Abdo, H.A., Shaikh, S.L.: Mathematical modeling for the outbreak of the coronavirus (COVID-19) under fractional nonlocal operator. Results Phys. 19, 103610 (2020)

    Article  Google Scholar 

  8. 8.

    Abdeljawad, T., Hajjib, M.A., Al-Mdallal, Q.M., Jarad, F.: Analysis of some generalized ABC-fractional logistic models. Alex. Eng. J. 59(4), 2141–2148 (2020)

    Article  Google Scholar 

  9. 9.

    Atangana, A.: Modelling the spread of COVID-19 with new fractal-fractional operators: can the lockdown save mankind before vaccination? Chaos Solitons Fractals 136, 109860 (2020)

    MathSciNet  Article  Google Scholar 

  10. 10.

    Kreyszig, E.: Introductory Functional Analysis with Applications, vol. 1. Wiley, New York (1989)

    MATH  Google Scholar 

  11. 11.

    Atangana, A., Araz, S.İ.: Analysis of a new partial integro-differential equation with mixed fractional operators. Chaos Solitons Fractals 127, 257–271 (2019)

    MathSciNet  Article  Google Scholar 

  12. 12.

    Araz, S.I.: Numerical analysis of a new Volterra integro-differential equation involving fractal-fractional operators. Chaos Solitons Fractals 130, Article ID 109396 (2020)

    MathSciNet  Article  Google Scholar 

  13. 13.

    Atangana, A., Araz, S.İ.: New concept in calculus: piecewise differential and integral operators. Chaos Solitons Fractals 145(1), Article ID 110638 (2021)

    MathSciNet  Article  Google Scholar 

  14. 14.

    Rahman, G., Abdeljawad, T., Jarad, F., Khan, A., Nisar, K.S.: Certain inequalities via generalized proportional Hadamard fractional integral operators. Adv. Differ. Equ. 2019, 454 (2019)

    MathSciNet  Article  Google Scholar 

  15. 15.

    Rashid, S., Jarad, F., Noor, M.A., Kalsoom, H., Chu, Y.M.: Inequalities by means of generalized proportional fractional integral operators with respect another function. Mathematics 7(12), Article ID 1225 (2019)

    Article  Google Scholar 

  16. 16.

    Adjabi, Y., Jarad, F., Abdeljawad, T.: On generalized fractional operators and a Gronwall type inequality with applications. Filomat 31(17), 5457–5473 (2017)

    MathSciNet  Article  Google Scholar 

  17. 17.

    Alzabut, J., Abdeljawad, T., Jarad, F., et al.: A Gronwall inequality via the generalized proportional fractional derivative with applications. J. Inequal. Appl. 2019, 101 (2019)

    MathSciNet  Article  Google Scholar 

  18. 18.

    Bougoffa, L.: On Minkowski and Hardy integral inequalities. J. Inequal. Pure Appl. Math. 7(2), 60 (2006)

    MathSciNet  MATH  Google Scholar 

  19. 19.

    Dahmani, Z.: On Minkowski and Hermite–Hadamard integral inequalities via fractional integration. Ann. Funct. Anal. 1(1), 51–58 (2010)

    MathSciNet  Article  Google Scholar 

  20. 20.

    Set, E., Ozdemir, M., Dragomir, S.: On the Hermite–Hadamard inequality and other integral inequalities involving two functions. J. Inequal. Appl. (2010). https://doi.org/10.1155/2010/148102

    MathSciNet  Article  MATH  Google Scholar 

  21. 21.

    Yang, W.: Some new fractional quantum integral inequalities. Appl. Math. Lett. 6(25), 963–969 (2012)

    MathSciNet  Article  Google Scholar 

  22. 22.

    Taf, S., Brahim, K.: Some new results using Hadamard fractional integral. Int. J. Nonlinear Anal. Appl. 7(1), 103–109 (2015)

    MATH  Google Scholar 

  23. 23.

    Chinchane, V.L., Pachpatte, D.B.: New fractional inequalities via Hadamard fractional integral. Int. J. Funct. Anal. Appl. 5(3), 165–176 (2013). https://doi.org/10.12785/msl/030301

    MathSciNet  Article  MATH  Google Scholar 

  24. 24.

    da Vanterler, J., Sousa, C., Capelas de Oliveira, E.: The Minkowski’s inequality by means of a generalized fractional integral. AIMS Ser. Appl. Math. 3(1), 131–147 (2018)

    Article  Google Scholar 

  25. 25.

    Rahman, G., Khan, A., Abdeljawad, T., Nisar, K.S.: The Minkowski inequalities via generalized proportional fractional integral operators. Adv. Differ. Equ. 2019, 287 (2019). https://doi.org/10.1186/s13662-019-2229-7

    MathSciNet  Article  Google Scholar 

  26. 26.

    Aljaaidi, T.A., Pachpatte, D.B.: The Minkowski’s inequalities via ψ-Riemann–Liouville fractional integral operators. Rend. Circ. Mat. Palermo, II. Ser. (2020). https://doi.org/10.1007/s12215-020-00539-w

    Article  MATH  Google Scholar 

  27. 27.

    Rashid, S., Jarad, F., Chu, Y.: A note on reverse Minkowski inequality via generalized proportional fractional integral operator with respect to another function. Math. Probl. Eng. 2020, 7630260 (2020). https://doi.org/10.1155/2020/7630260

    MathSciNet  Article  Google Scholar 

  28. 28.

    Maja, A., Farid, G., Pećarić, J., Siddique, U.: Generalized Minkowski type fractional inequalities involving extended Mittag-Leffler function. J. Indian Math. Soc. 87(3–4), 137–147 (2020)

    MathSciNet  MATH  Google Scholar 

  29. 29.

    Chinchane, V.L., Pachpatte, D.B.: New fractional inequalities involving Saigo fractional integral operator. Math. Sci. Lett. 3(3), 133–139 (2014)

    Article  Google Scholar 

  30. 30.

    Herrmann, R.: Fractional Calculus. An Introduction for Physicists. World Scientific, Singapore (2011)

    Book  Google Scholar 

  31. 31.

    Khan, H., Abdeljawad, T., Tunç, C., Alkhazzan, A., Khan, A.: Minkowski’s inequality for the AB-fractional integral operator. J. Inequal. Appl. 2019, 96 (2019). https://doi.org/10.1186/s13660-019-2045-3

    MathSciNet  Article  Google Scholar 

  32. 32.

    Mubeen, S., Habib, S., Naeem, M.N.: The Minkowski inequality involving generalized k-fractional conformable integral. J. Inequal. Appl. 2019, 81 (2019). https://doi.org/10.1186/s13660-019-2040-8

    MathSciNet  Article  Google Scholar 

  33. 33.

    Sulaiman, W.T.: Reverses of Minkowski’s, Hölder’s, and Hardy’s integral inequalities. Int. J. Mod. Math. Sci. 1(1), 14–24 (2012)

    MathSciNet  Google Scholar 

  34. 34.

    Usta, F., Budak, H., Ertugral, F., Sarıkaya, M.Z.: The Minkowski’s inequalities utilizing newly defined generalized fractional integral operators. Commun. Fac. Sci. Univ. Ank. Sér. A1 Math. Stat. 68(1), 686–701 (2019)

    MathSciNet  Google Scholar 

  35. 35.

    Aljaaidi, T.A., Pachpatte, D.B.: Some Gruss-type inequalities using generalized Katugampola fractional integral. AIMS Math. 5(2), 1011–1024 (2020). https://doi.org/10.3934/math.2020070

    MathSciNet  Article  Google Scholar 

  36. 36.

    Sousa, J., Oliveira, D.S., Capelas de Oliveira, E.: Gruss-type inequalities by means of generalized fractional integrals. Bull. Braz. Math. Soc. 50(4), 1029–1047 (2019). https://doi.org/10.1007/s00574-019-00138-z

    MathSciNet  Article  MATH  Google Scholar 

  37. 37.

    Aljaaidi, T.A., Pachpatte, D.B.: New generalization of reverse Minkowski’s inequality for fractional integral. Adv. Theory Nonlinear Anal. Appl. 5(1), 72–81 (2021). https://doi.org/10.31197/atnaa.756605

    Article  Google Scholar 

  38. 38.

    Samko, S.G., Kilbas, A.A., Marichev, O.I., et al.: Fractional Integrals and Derivatives. Theory and Applications. Gordon & Breach, Yverdon (1993)

    MATH  Google Scholar 

  39. 39.

    Jarad, F., Abdeljawad, T., Alzabut, J.: Generalized fractional derivatives generated by a class of local proportional derivatives. Eur. Phys. J. Spec. Top. 226, 3457–3471 (2017)

    Article  Google Scholar 

  40. 40.

    Jarad, F., Alqudah, M.A., Abdeljawad, T.: On more generalized form of proportional fractional operators. Open Math. 18, 167–176 (2020)

    MathSciNet  Article  Google Scholar 

  41. 41.

    Atangana, A., Baleanu, D.: New fractional derivatives with non-local and non-singular kernel: theory and application to heat transfer. Model. Therm. Sci. 20(2), 763–769 (2016)

    Article  Google Scholar 

Download references

Acknowledgements

The third and fifth authors would like to thank Prince Sultan University for funding this research work.

Funding

Prince Sultan University funded this manuscript through the TAS lab.

Author information

Affiliations

Authors

Contributions

All authors equally contributed to this manuscript and approved the final version.

Corresponding author

Correspondence to Wasfi Shatanawi.

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/.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Aljaaidi, T.A., Pachpatte, D.B., Shatanawi, W. et al. Generalized proportional fractional integral functional bounds in Minkowski’s inequalities. Adv Differ Equ 2021, 419 (2021). https://doi.org/10.1186/s13662-021-03582-8

Download citation

MSC

  • 26D10
  • 26A33

Keywords

  • Minkowski inequalities
  • Fractional inequalities
  • ψ-proportional fractional operators