Abstract
In the research paper, the authors exploit the definition of a new class of fractional integral operators, recently proposed by Jarad et al. (Adv. Differ. Equ. 2017:247, 2017), to define a new class of generalized k-fractional integral operators and develop a generalization of the reverse Minkowski inequality involving the newly introduced fractional integral operators. The two new theorems correlating with this inequality, including statements and verifications of other inequalities via the suggested k-fractional conformable integral operators, are presented.
Similar content being viewed by others
1 Introduction
The calculus of non-integer order, generally referred to as fractional calculus, deals with the generalization of integrals and derivatives operators, in particular inequalities involving fractional integrals. Many definitions of fractional integral operators exist in the literature, for example: Riemann–Liouville fractional integral, Hadamard integral, Liouville integral, Weyl, Erdélyi–Kober and Katugampola fractional integral [2,3,4,5]. Recently, Khalil et al. [6] and Adeljawad [7] presented a new class of fractional operators, namely the local fractional conformable integral and derivative operators. Using such fractional integral operators, one generalizes the fractional operators by involving new parameters and obtains the related inequalities: Hadamard, Hermite–Hadamard, Opial, Grüss, Ostrowski, among others [8,9,10,11,12,13,14]. For instance, Katugampola [15] suggested a generalized fractional integral operator unifying other well-known existing ones: Riemann–Liouville, Hadamard, Weyl, Liouville, and Erdélyi–Kober. Jarad et al. [1] presented the generalized conformable derivatives and integral operators by the standard fractional calculus iteration procedure on fractional conformable operators. Such generalizations motivate the upcoming research to present more innovative ideas to unify the fractional operators and obtain the inequalities involving such generalized fractional operators.
Applications of integral inequalities are important in numerous fields of science: mathematics, physics, engineering, among others; particularly we mention initial-value problems, stability of linear transformation, integral differential equations, and impulse equations [16, 17]. We refer the readers to [10, 18, 19] for such applications in several branches of mathematics and the references therein. Inequalities regarding fractional integral operators accumulate many functional applications in different areas of science. Moreover, the theory of fractional calculus plays an important role in solving differential equations, integral equations, and integral-differential equations, including many other special function problems.
Thus, the new results involving integral inequalities have been possible; consequently, some applications have been made [16, 17]. We mention a few of them, i.e., the inequalities of Minkowski, Holder, Hardy, Hermite–Hadamard, Jensen, among others [20,21,22,23,24,25,26]. Such applications of fractional integral operators motivate us to present the generalization of the existing fractional conformable operators and generalize the reverse Minkowski inequality [27,28,29,30,31] involving generalized k-fractional conformable integrals.
The paper is categorized as follows. In Sect. 2, we exhibit the notations and basic definitions of fractional integrals as well as our newly defined generalized k-fractional conformable integrals. We prove the theorems regarding the reverse Minkowski inequality as well as the appropriate spaces for such operators. In Sect. 3, we propose our main results consisting of the reverse Minkowski inequality via the generalized k-fractional conformable integral. In Sect. 4, we present the related inequalities using this fractional integral. The last section containing concluding remarks closes the article.
2 Notations and preliminaries
This section recalls some notations and useful definitions of classical fractional calculus as well as the reverse Minkowski inequality theorem using the classical Riemann integral addressed by Set et al. [21] and its relevant generalization via Riemann–Liouville and Hadamard fractional integrals which were motivation for the study. Furthermore, the fractional conformable integrals are discussed and a theorem is presented so as to recover particular cases.
Definition 1
A function \(f(z)\) is said to be in \(L_{p}[a,b]\) if
Theorem 1
Let \(f_{1}, f_{2} \in L_{p}[a,b]\) be two positive functions, with \(1\leq p\leq \infty \), \(0<\int _{a}^{b}f_{1}^{p}(t)\,dt<\infty \), and \(0<\int _{a}^{b}f_{2}^{p}(t)\,dt<\infty \). If \(0< m\leq \frac{f _{1}(t)}{f_{2}(t)}\leq M\) for \(m, M \in \mathbb{R^{+}}\) and \(\forall t \in [a,b]\), then
with \(c_{1}=\frac{M(m+1)+(M+1)}{(m+1)(M+1)}\) [21].
Theorem 2
Let \(f_{1}, f_{2} \in L_{p}[a,b]\) be two positive functions, with \(1\leq p\leq \infty \), \(0<\int _{a}^{b}f_{1}^{p}(t)\,dt<\infty \), and \(0<\int _{a}^{b}f_{2}^{p}(t)\,dt<\infty \). If \(0< m\leq \frac{f _{1}(t)}{f_{2}(t)}\leq M\) for \(m, M \in \mathbb{R^{+}}\) and \(\forall t \in [a,b]\), then
with \(c_{2}=\frac{(m+1)(M+1)}{M}-2\) [21].
Definition 2
A function \(f(z)\) is said to be in \(L_{p,s}[a,b]\) if
Definition 3
The space \(X_{c,p}(a,b)\) for \(c\in \mathbb{R} \), \(a< b\) and \(1\leq p< \infty \) contains those complex valued Lebesgue measurable functions g on \((a,b)\) with \(\|g\|_{X_{c,p}}\), where
and for \(p=\infty \),
Particularly, for \(c=\frac{1}{p}\), the function space \(X_{c,p}(a,b)\) concurs with the space \(L_{p}(a,b)\) [2].
Definition 4
For \(\alpha \in \mathbb{C}\), \(\operatorname{Re}(\alpha )>0\), the left Riemann–Liouville fractional integral [2, 4] of order α starting from a has the following form:
while the right Riemann–Liouville fractional integral of [2, 4] order \(\alpha >0\) ending at \(b>a\) is defined by
Definition 5
For \(\alpha \in \mathbb{C}\) and \(\operatorname{Re}(\alpha )>0\), the left Riemann–Liouville fractional derivative [1] of order α starting from a is defined below:
Meanwhile the right Riemann–Liouville fractional derivative [1] of order \(\alpha >0\) ending at \(b>a\) takes the form
Definition 6
The left Caputo fractional derivative [1] of order α, \(\operatorname{Re}(\alpha )>0\) starting from a has the form
while the right Caputo fractional derivative [1] of order \(\alpha >0\) ending at \(b>a\) takes the form
Definition 7
The left Hadamard fractional integral [1] of order \(\alpha \in \mathbb{C}\), \(\operatorname{Re}(\alpha )>0\) starting from a is given below:
and the right Hadamard fractional integral [1] of order α ending at \(b>a\) takes the form
Definition 8
The left Hadamard fractional derivative [1] of order \(\alpha \in \mathbb{C}\), \(\operatorname{Re}(\alpha )>0\) starting from a can be defined as
and the right Hadamard fractional derivative [1] of order α ending at \(b>a\) takes the form
Definition 9
For a real function \(f\in X_{c,p}(a,b)\), the generalized left and right Katugampola fractional integrals [28] of order \(\alpha \in \mathbb{R}\), \(\rho >0\), \(\operatorname{Re}(\alpha )>0\) take the form
and
respectively.
Definition 10
The generalized left and right Katugampola fractional derivatives [29] of order \(\alpha \in \mathbb{R}\), \(\rho >0\), \(\operatorname{Re}(\alpha )>0\) are defined below:
and
respectively, where \(\gamma =t^{1-\rho }\frac{d}{dt}\).
Dahmani [30] verified the reverse Minkowski inequality together with a relevant result to the inequality associated with Riemann–Liouville fractional integral corresponding to the following two theorems.
Theorem 3
For \(\alpha >0\) and \(p\geq 1\). Let \(f_{1}, f_{2}\in L_{1,s}[a,t]\) be two positive functions in \([0,\infty)\) such that, for all \(t>a\), \(\mathcal{I}_{a^{+},k}^{\alpha ,s}f_{1}^{p}(t)<\infty \) and \(\mathcal{I}_{a^{+},k}^{\alpha ,s}f_{2}^{p}(t)<\infty \). If \(0< m\leq \frac{f _{1}(x)}{f_{2}(x)}\leq M\) for \(m, M\in \mathbb{R^{+}}\) and for all \(x\in [a, t]\), then
with \(c_{1}=\frac{M(m+1)+(M+1)}{(m+1)(M+1)}\) [30].
Theorem 4
For \(\alpha >0\) and \(p\geq 1\). Let \(f_{2}, f_{2}\in L_{1,s}[a,t]\) be two positive functions in \([0,\infty)\) such that, for all \(t>a\), \(\mathcal{I}_{a^{+},k}^{\alpha ,s}f_{1}^{p}(t)<\infty \) and \(\mathcal{I}_{a^{+},k}^{\alpha ,s}f_{2}^{p}(t)<\infty \). If \(0< m\leq \frac{f _{1}(x)}{f_{2}(x)}\leq M\) for \(m, M\in \mathbb{R^{+}}\) and for all \(x\in [a, t]\), then
with \(c_{2}=\frac{(m+1)(M+1)}{M}-2\) [30].
Chinchane et al. [31] and Sabrina et al. [32] established the following two theorems for the reverse Minkowski inequality involving Hadamard fractional integral operator.
Theorem 5
For \(\alpha >0\) and \(p\geq 1\). Let \(f_{1}, f_{2}\in L_{1,s}[a,t]\) be two positive functions in \([0,\infty)\) such that, for all \(t>a\), \(\mathcal{F}_{a^{+},k}^{\alpha ,s}f_{1}^{p}(t)<\infty \) and \(\mathcal{F}_{a^{+},k}^{\alpha ,s}f_{2}^{p}(t)<\infty \). If \(0< m\leq \frac{f _{1}(x)}{f_{2}(x)}\leq M\) for \(m, M\in \mathbb{R^{+}}\) and for all \(x\in [a, t]\), then
with \(c_{1}=\frac{M(m+1)+(M+1)}{(m+1)(M+1)}\) [31, 32].
Theorem 6
For \(\alpha >0\) and \(p\geq 1\). Let \(f_{2}, f_{2}\in L_{1,s}[a,t]\) be two positive functions in \([0,\infty)\) such that, for all \(t>a\), \(\mathcal{F}_{a^{+},k}^{\alpha ,s}f_{1}^{p}(t)<\infty \) and \(\mathcal{F}_{a^{+},k}^{\alpha ,s}f_{2}^{p}(t)<\infty \). If \(0< m\leq \frac{f _{1}(x)}{f_{2}(x)}\leq M\) for \(m, M\in \mathbb{R^{+}}\) and for all \(x\in [a, t]\), then
with \(c_{2}=\frac{(m+1)(M+1)}{M}-2\) [31, 32].
Chinchane et al. [33] presented the reverse Minkowski inequality by fractional integral of Saigo, and recently Chinchane [34] proved the same inequality via the k-fractional integral. In 2017, Jarad et al. [1] introduced a new fractional integral that generalizes the above mentioned pre-existing fractional integrals. Conclusively, we define the generalization of this integral in the k-analogue form in addition to a theorem for the study of their particular cases.
Definition 11
If \(f\in L_{1}[a,b]\), then the left fractional conformable integral of order \(\alpha \geq 0\) defined by Abdeljawad [7] is given by
Definition 12
If \(f\in L_{1}[a,b]\), then the right fractional conformable integral of order \(\alpha \geq 0\) defined by Abdeljawad [7] is given by
Definition 13
If \(f\in L_{1,s}[a,b]\), then the generalized left fractional conformable integral \(\mathfrak{T}_{a}^{\alpha ,s}\) of order \(\alpha \in \mathbb{C}\), \(\operatorname{Re}(\alpha )>0\) and \(s>0\), introduced by Jarad et al. [1], is defined by
where Γ is the Euler gamma function.
Definition 14
If \(f\in L_{1,s}[a,b]\), then the generalized right fractional conformable integral \(\mathfrak{T}_{b}^{\alpha ,s}\) of order \(\alpha \in \mathbb{C}\), \(\operatorname{Re}(\alpha )>0\) and \(s>0\), introduced by Jarad et al. [1], is defined by
where Γ is the Euler gamma function.
Definition 15
The \((k,s)\)-fractional conformable integrals (left and right) of order \(\alpha \in \mathbb{C}\), \(\operatorname{Re}(\alpha )>0\) of a continuous function \(f(x)\) on \([0,\infty )\), are given as follows:
and
respectively, if integrals exist, where \(k>0\), \(s\in \mathbb{R}\setminus \{0\}\).
Theorem 7
For \(k>0\), \(s\in \mathbb{R}\setminus \{0\}\), \(\alpha >0\) and \(p\geq 1\). Then, for \(f\in L_{1,s}[a,t]\), for all \(t>a\), we have [15]:
-
(1)
When \(k=1\) in (2.25), it reduces to generalized left fractional conformable integral (2.23).
-
(2)
For \(a=0\), \(k=1\), and \(s=1\) in (2.25), it coincides with Riemann–Liouville fractional integral (2.3).
-
(3)
When \(a=0\) and \(\alpha \rightarrow 0\), it becomes left Hadamard fractional integral (2.11).
-
(4)
It gives generalized Katugampola fractional integral (2.13) for \(a=0\).
Theorem 8
Let \(f\in L_{1} [a,b ]\), \(s\in \mathbb{R}\setminus \{0\}\), and \(k>0\). Then \(\mathfrak{F}_{a^{+},k}^{\alpha ,s}f(x) (\mathfrak{F} _{b^{-},k}^{\alpha ,s}f(x) )\) exists for any \(x\in [a,b ]\), \(\operatorname{Re} (\alpha )>0 \).
Proof
Let \(\triangle ^{\prime }:= [a,b ]\times [a,b ]\) and \(P^{\prime }:\triangle ^{\prime }\rightarrow \mathbb{R}\) such that
Clearly, it can be seen that
where
and
Since \(P^{\prime }\) is measurable on \(\triangle ^{\prime }\), then it can be written as
By using the double integral, we get
i.e.,
So, the function \(Q^{\prime }:\triangle ^{\prime }\rightarrow \mathbb{R}\) such that \(Q^{\prime }(x,t):=P^{\prime }(x,t)f(x)\) is integrable over \(\triangle ^{\prime }\) by Tonelli’s theorem. Hence, by Fubini’s theorem \(\int _{a}^{b}P ^{\prime }(x,t)f(x)\,dx\) is an integrable function over \([a,b]\) as a function of \(t\in [a,b]\), i.e., \(\mathfrak{F}_{a^{+},k}^{\alpha ,s}f(x)\) exists.
The existence of the right k-fractional conformable integral \(\mathfrak{F}_{b^{-},k}^{\alpha ,s}f(x)\) can be proved in a similar manner. □
3 Reverse Minkowski inequality involving generalized k-fractional conformable integrals
This section contains our main contribution of establishing the proof of the reverse Minkowski inequality via our newly defined generalized k-fractional conformable integral (2.25) and a related theorem referred to as the reverse Minkowski inequality.
Theorem 9
For \(k>0\), \(s\in \mathbb{R}\setminus \{0\}\), \(\alpha >0\) and \(p\geq 1\). Let \(f_{1}, f_{2}\in L_{1,s}[a,t]\) be two positive functions in \([0,\infty)\) such that, for all \(t>a\), \(\mathfrak{F}_{a^{+},k}^{\alpha ,s}f_{1}^{p}(t)<\infty \) and \(\mathfrak{F}_{a^{+},k}^{\alpha ,s}f_{2} ^{p}(t)<\infty \). If \(0< m\leq \frac{f_{1}(x)}{f_{2}(x)}\leq M\) for \(m, M\in \mathbb{R^{+}}\) and for all \(x\in [a, t]\), then
with \(c_{1}=\frac{M(m+1)+(M+1)}{(m+1)(M+1)}\).
Proof
Under the given conditions \(\frac{f_{1}(x)}{f_{2}(x)}\leq M\), \(a\leq x\leq t\), it can be written
which implies that
By multiplying both sides of (3.2) with \(\frac{s^{1-\frac{\alpha }{k}} ((t-a)^{s}-(x-a)^{s} )^{\frac{\alpha }{k}-1}(x-a)^{s-1}}{k \varGamma _{k}(\alpha )}\) and then integrating with respect to the variable x from a to t, we obtain
Accordingly, it can be written as
In contrast, as \(mf_{2}(x)\leq f_{1}(x)\), it follows
Further, by multiplying both sides of (3.5) with \(\frac{s^{1-\frac{ \alpha }{k}} ((t-a)^{s}-(x-a)^{s} )^{\frac{\alpha }{k}-1}(x-a)^{s-1}}{k \varGamma _{k}(\alpha )}\) and then integrating with respect to the variable x from a to t, we obtain
The required result (3.1) follows from (3.4) and (3.6). □
Inequality (3.1) is known as the reverse Minkowski inequality involving generalized k-fractional conformable integral.
Theorem 10
For \(k>0\), \(s\in \mathbb{R}\setminus \{0\}\), \(\alpha >0\) and \(p\geq 1\). Let \(f_{2}, f_{2}\in L_{1,s}[a,t]\) be two positive functions in \([0,\infty)\) such that, for all \(t>a\), \(\mathfrak{F}_{a^{+},k}^{\alpha ,s}f_{1}^{p}(t)<\infty \) and \(\mathfrak{F}_{a^{+},k}^{\alpha ,s}f_{2} ^{p}(t)<\infty \). If \(0< m\leq \frac{f_{1}(x)}{f_{2}(x)}\leq M\) for \(m, M\in \mathbb{R^{+}}\) and for all \(x\in [a, t]\), then
with \(c_{2}=\frac{(m+1)(M+1)}{M}-2\).
Proof
Taking the product between (3.4) and (3.6) results in
Involving the Minkowski inequality, on the right side of (3.8), we get
From (3.9), it can be concluded that
□
4 Related fractional integral inequalities
This section contains the generalization of the results presented by Chinchane, Sulaiman, and Sroysang related to the reverse Minkowski inequality via Riemann integral operator, involving the proposed generalized k-fractional conformable integral (2.25).
Theorem 11
For \(k>0\), \(s\in \mathbb{R}\setminus \{0\}\), \(\alpha >0\), \(p,q\geq 1\) and \(\frac{1}{p}+\frac{1}{q}=1\). Let \(f_{1}, f_{2}\in L_{1,s}[a,t]\) be two positive functions in \([0,\infty)\) such that, for all \(t>a\), \(\mathfrak{F}_{a^{+},k}^{\alpha ,s}f_{1}^{p}(t)<\infty \) and \(\mathfrak{F}_{a^{+},k}^{\alpha ,s}f_{2}^{p}(t)<\infty \). If \(0< m\leq \frac{f_{1}(x)}{f_{2}(x)}\leq M\) for \(m, M\in \mathbb{R^{+}}\) and for all \(x\in [a, t]\), then
Proof
Under the given conditions \(\frac{f_{1}(x)}{f_{2}(x)}\leq M\), \(a\leq x\leq t\), it can be written
Multiplying both sides of (4.2) by \(f^{\frac{1}{p}}(x)\), we can rewrite it as follows:
Multiplying both sides of (4.3) with \(\frac{s^{1- \frac{\alpha }{k}} ((t-a)^{s}-(x-a)^{s} )^{\frac{\alpha }{k}-1}(x-a)^{s-1}}{k \varGamma _{k}(\alpha )}\) and then integrating with respect to the variable x from a to t, we obtain
Accordingly, it can be written as
In contrast, as \(mf_{2}(x)\leq f_{1}(x)\), it follows
Further, by multiplying both sides of (4.6) by \(f_{2}^{ \frac{1}{q}}(x)\) and invoking the relation \(\frac{1}{p}+\frac{1}{q}=1\), it yields
Multiplying both sides of (4.7) by \(\frac{s^{1-\frac{\alpha }{k}} ((t-a)^{s}-(x-a)^{s} )^{\frac{\alpha }{k}-1}(x-a)^{s-1}}{k \varGamma _{k}(\alpha )}\) and then integrating with respect to the variable x from a to t, we obtain
Conducting the product between (4.5) and (4.8) and using the relation \(\frac{1}{p}+\frac{1}{q}=1\), the required inequality (4.1) can be concluded. □
Theorem 12
For \(k>0\), \(s\in \mathbb{R}\setminus \{0\}\), \(\alpha >0\), \(p,q\geq 1\) and \(\frac{1}{p}+\frac{1}{q}=1\). Let \(f_{1}, f_{2}\in L_{1,s}[a,t]\) be two positive functions in \([0,\infty)\) such that, for all \(t>a\), \(\mathfrak{F}_{a^{+},k}^{\alpha ,s}f_{1}^{p}(t)<\infty \) and \(\mathfrak{F}_{a^{+},k}^{\alpha ,s}f_{2}^{p}(t)<\infty \). If \(0< m\leq \frac{f_{1}(x)}{f_{2}(x)}\leq M\) for \(m, M\in \mathbb{R^{+}}\) and for all \(x\in [a, t]\), then
with \(c_{3}=\frac{2^{p-1}M^{p}}{p(M+1)^{p}}\) and \(c_{4}= \frac{2^{q-1}}{q(m+1)^{q}}\).
Proof
Using the hypothesis, we get the following identity:
Multiplying both sides of (4.10) with \(\frac{s^{1- \frac{\alpha }{k}} ((t-a)^{s}-(x-a)^{s} )^{\frac{\alpha }{k}-1}(x-a)^{s-1}}{k \varGamma _{k}(\alpha )}\) and then integrating with respect to the variable x from a to t, we obtain
Accordingly, it can be written as
In contrast, as \(0< m<\frac{f_{1}(x)}{f_{2}(x)}\), \(a< x< t\), it follows
Further, by multiplying both sides of (4.13) by \(\frac{s^{1-\frac{ \alpha }{k}} ((t-a)^{s}-(x-a)^{s} )^{\frac{\alpha }{k}-1}(x-a)^{s-1}}{k \varGamma _{k}(\alpha )}\) and then integrating with respect to the variable x from a to t, we obtain
Taking into account Young’s inequality,
Now multiplying both sides of (4.15) by \(\frac{s^{1-\frac{\alpha }{k}} ((t-a)^{s}-(x-a)^{s} )^{\frac{\alpha }{k}-1}(x-a)^{s-1}}{k \varGamma _{k}(\alpha )}\) and then integrating with respect to the variable x from a to t, we obtain
Invoking (4.12) and (4.14) into (4.16), we obtain
Using the inequality \((x+y)^{s}\leq 2^{s-1}(x^{s}+y^{s})\), \(s>1\), \(x,y>0\), one obtains
and
The proof of (4.9) can be concluded from (4.17), (4.18), and (4.19) collectively. □
Theorem 13
For \(k>0\), \(s\in \mathbb{R}\setminus \{0\}\), \(\alpha >0\), \(p\geq 1\). Let \(f_{1}, f_{2}\in L_{1,s}[a,t]\) be two positive functions in \([0,\infty)\) such that, for all \(t>a\), \(\mathfrak{F}_{a^{+},k}^{\alpha ,s}f_{1}^{p}(t)<\infty \) and \(\mathfrak{F}_{a^{+},k}^{\alpha ,s}f_{2} ^{p}(t)<\infty \). If \(0< c< m\leq \frac{f_{1}(x)}{f_{2}(x)}\leq M\) for \(m, M\in \mathbb{R^{+}}\) and for all \(x\in [a, t]\), then
Proof
Using the hypothesis \(0< c< m\leq M\), we get
It can be concluded that
Further, we have that
implies
Again, we have that
implies
Multiplying both sides of (4.21) with \(\frac{s^{1- \frac{\alpha }{k}} ((t-a)^{s}-(x-a)^{s} )^{\frac{\alpha }{k}-1}(x-a)^{s-1}}{k \varGamma _{k}(\alpha )}\) and then integrating with respect to the variable x from a to t, we obtain
Accordingly, it can be written as
Repeating the same steps with (4.22), we obtain
The proof of (4.20) can be concluded by adding (4.23) and (4.24). □
Theorem 14
For \(k>0\), \(s\in \mathbb{R}\setminus \{0\}\), \(\alpha >0\) and \(p\geq 1\). Let \(f_{1}, f_{2}\in L_{1,s}[a,t]\) be two positive functions in \([0,\infty )\) such that, for all \(t>a\), \(\mathfrak{F}_{a^{+},k}^{\alpha ,s}f_{1}^{p}(t)<\infty \) and \(\mathfrak{F}_{a^{+},k}^{\alpha ,s}f_{2} ^{p}(t)<\infty \). If \(0\leq a\leq f_{1}(x)\leq A\) and \(0\leq b\leq f _{2}(x)\leq B\) for \(m, M\in \mathbb{R^{+}}\) and for all \(x\in [a, t]\), then
with \(c_{5}=\frac{A(a+B)+B(A+b)}{(A+b)(a+B)}\).
Proof
Under the given conditions, it follows that
Conducting the product between (4.26) and \(0< a\leq f_{1}(x) \leq A\), we have
From (4.27), we get
and
By multiplying both sides of (4.28) with \(\frac{s^{1-\frac{ \alpha }{k}} ((t-a)^{s}-(x-a)^{s} )^{\frac{\alpha }{k}-1}(x-a)^{s-1}}{k \varGamma _{k}(\alpha )}\) and then integrating with respect to the variable x from a to t, we obtain
Accordingly, it can be written as
Repeating the same steps with (4.29), we obtain
The proof of (4.25) can be concluded by adding (4.30) and (4.31). □
Theorem 15
For \(k>0\), \(s\in \mathbb{R}\setminus \{0\}\), \(\alpha >0\). Let \(f_{1}, f _{2}\in L_{1,s}[a,t]\) be two positive functions in \([0,\infty )\) such that, for all \(t>a\), \(\mathfrak{F}_{a^{+},k}^{\alpha ,s}f_{1}^{p}(t)< \infty \) and \(\mathfrak{F}_{a^{+},k}^{\alpha ,s}f_{2}^{p}(t)<\infty \). If \(0< m\leq \frac{f_{1}(x)}{f_{2}(x)}\leq M\) for \(m, M\in \mathbb{R^{+}}\) and for all \(x\in [a, t]\), then
Proof
Using \(0< m\leq \frac{f_{1}(x)}{f_{2}(x)}\leq M\), it follows that
Also, it follows that \(\frac{1}{M}\leq \frac{f_{2}(x)}{f_{1}(x)} \leq \frac{1}{m}\), which yields
Conducting the product between (4.33) and (4.34), we have
By multiplying both sides of (4.35) with \(\frac{s^{1-\frac{ \alpha }{k}} ((t-a)^{s}-(x-a)^{s} )^{\frac{\alpha }{k}-1}(x-a)^{s-1}}{k \varGamma _{k}(\alpha )}\) and then integrating with respect to the variable x from a to t, we obtain
with \(c_{6}=\frac{1}{(m+1)(M+1)}\). Accordingly, the required result (4.32) can be concluded. □
Theorem 16
For \(k>0\), \(s\in \mathbb{R}\setminus \{0\}\), \(\alpha >0\) and \(p\geq 1\). Let \(f_{1}, f_{2}\in L_{1,s}[a,t]\) be two positive functions in \([0,\infty)\) such that, for all \(t>a\), \(\mathfrak{F}_{a^{+},k}^{\alpha ,s}f_{1}^{p}(t)<\infty \) and \(\mathfrak{F}_{a^{+},k}^{\alpha ,s}f_{2} ^{p}(t)<\infty \). If \(0< m\leq \frac{f_{1}(x)}{f_{2}(x)}\leq M\) for \(m, M\in \mathbb{R^{+}}\) and for all \(x\in [a, t]\), then
where \(h(f_{1}(x),f_{2}(x))= \max \{M[ (\frac{M}{m}+1 )f_{1}(t)-Mf _{2}(t)],\frac{(m+M)f_{2}(t)-f_{1}(t)}{m}\}\).
Proof
Under the given conditions \(0< m\leq \frac{f_{1}(x)}{f_{2}(x)}\leq M\), \(a\leq x\leq t\), it can be written
and
From (4.35) and (4.38), we obtain
where \(h(f_{1}(x),f_{2}(x))= \max \{M[ (\frac{M}{m}+1 )f_{1}(t)-Mf _{2}(t)],\frac{(m+M)f_{2}(t)-f_{1}(t)}{m}\}\).
From hypothesis, it also follows that \(0<\frac{1}{M}\leq \frac{f_{2}(x)}{f _{1}(x)}\leq \frac{1}{m}\) implies that
and
From (4.40) and (4.41), we get
which can be rewritten as
We can write from (4.39) and (4.43)
By multiplying both sides of (4.44) with \(\frac{s^{1-\frac{ \alpha }{k}} ((t-a)^{s}-(x-a)^{s} )^{\frac{\alpha }{k}-1}(x-a)^{s-1}}{k \varGamma _{k}(\alpha )}\) and then integrating with respect to the variable x from a to t, we obtain
Accordingly, it can be written as
Repeating the same procedure as above, for (4.45), we have
The required result (4.36) follows from (4.46) and (4.47). □
By (2.25) and Theorem (7), under the appropriate values of parameters for each individual fractional integral, the preceding introduced and proved theorems (Theorem 9 to Theorem 16) can be deduced as particular cases, each result involving the following fractional integrals: Riemann–Liouville, Hadamard, Liouville, Katugampola, and generalized fractional conformable integrals.
5 Conclusion
This manuscript starts with a concise overview of fractional integrals in the sense of Riemann–Liouville, Hadamard, and Katugampola as well as a new fractional integral operator according to Jarad et al. [1]. We define the formulation of k-fractional conformable integral operators and their existence. We generalize the reverse Minkowski inequality using k-fractional conformable integrals; as a particular case, the inequality involving fractional integrals in the Riemann–Liouville, Hadamard, and Katugampola sense is given [15]. The related important inequalities involving k-fractional conformable integral are also illustrated. Several inequalities can be generalized for the application of these newly introduced fractional integral operators. Amongst them, we cite the Chebyshev inequality, Grüss-type inequality, and Chebyshev–Grüss type inequality recently introduced and proved in [35,36,37].
References
Jarad, F., Uǧurlu, E., Abdeljawad, T., Baleanu, D.: On a new class of fractional operators. Adv. Differ. Equ. 2017, 247 (2017)
Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 207. Elsevier, Amsterdam (2006)
Herrmann, R.: Fractional Calculus: An Introduction for Physicists. World Scientific, Singapore (2011)
Podlubny, I.: Fractional Differential Equation. Mathematics in Science and Engineering, vol. 198. Academic Press, San Diego (1999)
Katugampola, U.N.: A new approach to generalized fractional derivatives. Bull. Math. Anal. Appl. 6, 1–15 (2014)
Khalil, R., Al Horani, M., Yousef, A., Sababheh, M.: A new definition of fractional derivative. J. Comput. Appl. Math. 264, 65–70 (2014)
Abdeljawad, T.: On conformable fractional calculus. J. Comput. Appl. Math. 279, 57–66 (2015)
Bohner, M., Matthews, T.: The Grüss inequality on time scales. Commun. Math. Anal. 3, 1–8 (2007)
Anderson, D.R.: Taylors formula and integral inequalities for conformable fractional derivatives. In: Contributions in Mathematics and Engineering, pp. 25–43. Springer, Cham (2016)
Set, E., İşcan, İ, Sarikaya, M.Z., Özdemir, M.E.: On new inequalities of Hermite–Hadamard Fejér type for convex functions via fractional integrals. Appl. Math. Comput. 259, 875–881 (2015)
Chen, F.: Extensions of the Hermite–Hadamard inequality for convex functions via fractional integrals. J. Math. Inequal. 10, 75–81 (2016)
Wang, J., Li, X., Fekan, M., Zhou, Y.: Hermite–Hadamard-type inequalities for Riemann–Liouville fractional integrals via two kinds of convexity. Appl. Anal. 92, 2241–2253 (2013)
Sarikaya, M.Z., Budak, H.: New inequalities of Opial type for conformable fractional integrals. Turk. J. Math. 41, 1164–1173 (2017)
Chen, H., Katugampola, U.N.: Hermite–Hadamard and Hermite–Hadamard–Fejér type inequalities for generalized fractional integrals. J. Math. Anal. Appl. 446, 1274–1291 (2013)
Katugampola, U.N.: New fractional integral unifying six existing fractional integrals (2016). arXiv:1612.08596
Bandle, C., Gilányi, A., Losonczi, L., Páles, Z., Plum, M.: Inequalities and Applications: Conference on Inequalities and Applications, vol. 157, Noszvaj (Hungary), September 2007. Springer, Berlin (2008)
Bainov, D.D., Simeonov, P.S.: Integral Inequalities and Applications, vol. 57. Springer, Berlin (2013)
Dragomir, S.S.: Hermite–Hadamard’s type inequalities for operator convex functions. Appl. Math. Comput. 218, 766–772 (2011)
Yildirim, H., Kirtay, Z.: Ostrowski inequality for generalized fractional integral and related inequalities. Malaya J. Mat. 2, 322–329 (2014)
Hutník, O.: On Hadamard type inequalities for generalized weighted quasi-arithmetic means. J. Inequal. Pure Appl. Math. 7, 1–10 (2006)
Set, E., Özdemir, M., Dragomir, S.: On the Hermite–Hadamard inequality and other integral inequalities involving two functions. J. Inequal. Appl. 2010, 148102 (2010)
Szeligowska, W., Kaluszka, M.: On Jensen’s inequality for generalized Choquet integral with an application to risk aversion (2016). arXiv:1609.00554
Bougoffa, L.: On Minkowski and Hardy integral inequalities. J. Inequal. Pure Appl. Math. 7, 1–3 (2006)
Hutník, O.: Some integral inequalities of Hölder and Minkowski type. Colloq. Math. 108, 247–261 (2007)
Beesack, P.R.: Hardy’s inequality and its extensions. Pac. J. Math. 11, 39–61 (1961)
Oguntuase, J.A., Imoru, C.O.: New generalizations of Hardy’s integral inequality. J. Math. Anal. Appl. 241, 73–82 (2000)
Sousa, J., De Oliveira, E.C.: The Minkowski’s inequality by means of a generalized fractional integral (2017). arXiv:1705.07191
Katugampola, U.N.: New approach to generalized fractional integral. Appl. Math. Comput. 218, 860–865 (2011)
Katugampola, U.N.: A new approach to generalized fractional derivatives. Bull. Math. Anal. Appl. 6, 1–15 (2014)
Dahmani, Z.: On Minkowski and Hermite–Hadamard integral inequalities via fractional integration. Ann. Funct. Anal. 1, 51–58 (2010)
Chinchane, V.L., Pachpatte, D.B.: New fractional inequalities via Hadamard fractional integral. Int. J. Funct. Anal. 5, 165–176 (2013)
Taf, S., Brahim, K.: Some new results using Hadamard fractional integral. Int. J. Nonlinear Anal. Appl. 2, 24–42 (2015)
Chinchane, V.L., Pachpatte, D.B.: New fractional inequalities involving Saigo fractional integral operator. Math. Sci. Lett. 3, 133–139 (2014)
Chinchane, V.L.: New approach to Minkowski fractional inequalities using generalized k-fractional integral operator (2017). arXiv:1702.05234
Habib, S., Mubeen, S.: Chebyshev type integral inequalities for generalized k-fractional conformable integrals. J. Inequal. Spec. Funct. 9, 53–65 (2018)
Habib, S., Mubeen, S.: Grüss type integral inequalities for a new class of k-fractional integrals (2018, submitted)
Habib, S., Mubeen, S.: Chebyshev–Grüss type integral inequalities involving \((k, \alpha )\) fractional conformable integrals (2018, submitted)
Acknowledgements
The authors would like to express profound gratitude to referees and the editor for deeper review of this paper and their valuable advice.
Availability of data and materials
Not applicable.
Funding
This work was supported by the Higher Education Commission, Pakistan.
Author information
Authors and Affiliations
Contributions
The authors SM, SH, and MNN equally contributed to and approved the writing of this paper.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
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
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-019-2040-8