- Research
- Open Access
- Published:
Fractional versions of Minkowski-type integral inequalities via unified Mittag-Leffler function
Advances in Continuous and Discrete Models volume 2022, Article number: 9 (2022)
Abstract
We present unified versions of Minkowski-type fractional integral inequalities with the help of fractional integral operator based on a unified Mittag-Leffler function. These inequalities provide new as well as already known fractional versions of Minkowski-type inequalities.
1 Introduction
A Swedish mathematician Gosta Mittag-Leffler introduced a function in the form of a power series [1]
where \(t, \alpha \in \mathbb{C}\) and \(\Re (\alpha )>0\). This function is called the Mittag-Leffler function. It plays a vital role in the representation of solutions of fractional differential equations. Many researchers have given its various generalizations and extensions, which are used to formulate solutions of real-world problems in different fields of science and engineering [2, 3]. The Mittag-Leffler function is also used to introduce new generalized fractional integral operators. These integral operators are frequently used for extensions and generalizations of well-known classical integral inequalities. For a detailed study of the Mittag-Leffler function, we refer the readers to [4–8].
In [9] a generalization of the Mittag-Leffler function is given in the form of Q-function. In [6] the extended generalized Mittag-Leffler function and its related fractional integral operator are described along with their applications to generalizing classical Opial-type inequalities. In [10] a unified form of the Mittag-Leffler function, which generates a generalized Q-function and the extended generalized Mittag-Leffler function, is studied; also, a fractional integral operator containing a unified Mittag-Leffler function is introduced, and its boundedness is proved. For some recent related work, we refer the readers to [11–14].
In this paper, we present Minkowski-type inequalities by using the fractional integral operator corresponding to the unified Mittag-Leffler function. The findings of this paper are implicitly related with several Minkowski-type inequalities already studied for different kinds of known fractional integral operators. Some particular cases of the main results are explicitly given in the form of corollaries. First, we give the definition of the unified Mittag-Leffler function and the associated fractional integral operator (see [10]).
Definition 1
Let \(\underline{a}=(a_{1}, a_{2},\ldots,a_{n})\), \(\underline{b}=(b_{1}, b_{2},\ldots,b_{n})\), \(\underline{c}=(c_{1}, c_{2},\ldots,c_{n})\), where \(a_{i}, b_{i}, c_{i}\in \mathbb{C} \), \(i=1,\ldots,n\). Also, let α, β, γ, δ, μ, ν, λ, ρ, \(\theta , t\in \mathbb{C}\), \(\min \{\Re (\alpha ), \Re (\beta ), \Re (\gamma ), \Re (\delta ), \Re (\lambda ), \Re (\theta )\}>0\), and \(k\in (0,1)\cup \mathbb{N}\). Let \(k+\Re (\rho ) < \Re (\delta +\nu +\alpha )\) with \(\operatorname{Im}(\rho )=\operatorname{Im}(\delta +\nu +\alpha )\). Then the unified Mittag-Leffler function is defined by
If we put \(n=1\), \(b_{1}=c_{1}+lk\), \(a_{1}=\theta -\lambda \), \(c_{1}=\lambda \), \(\rho =\nu =0\), and \(\delta >0\) in (1.1), then we get the extended generalized Mittag-Leffler function defined in [6]. Also, by substituting \(a_{i}=l\), \(p=0\), and \(\Re (\rho )>0\) into (1.1) we get the generalized Q-function defined in [9].
Definition 2
Let \(f\in L_{1}[a, b]\). Then for \(\xi \in [a, b]\), the fractional integral operators corresponding to (1.1) are defined by
By fixing \(n=1\), \(b_{1}=c_{1}+lk\), \(a_{1}=\theta -\lambda \), \(c_{1}=\lambda \), \(\rho =\nu =0\), and \(\delta >0\) we get the fractional integral operator given in [6]. By taking \(a_{i}=l\), \(p=0\), and \(\Re (\rho )>0\) in (1.2) and (1.3) we define the fractional integral operators corresponding to the generalized Q-function as follows:
From (1.1) various generalized Mittag-Leffler functions given by Wiman [15], Prabhakar [8], Shukla and Parajapati [4], Salim and Faraj [7], Rahman et al. [5], Andrić et al. [6], and Bhatnagar and Pandey [9] can be easily deduced. Also, the fractional integral operators associated with these Mittag-Leffler functions can be obtained. Before moving toward our main results, we give the following Minkowski-type inequalities. First, we state the integral version of the classical Minkowski inequality.
Theorem 1
Let ϕ, \(\psi \in L_{r}[d, e]\). Then for \(r\geq 1\),
A reversed Minkowski-type inequality is given as follows.
Theorem 2
([16])
Let ϕ, \(\psi \in L_{r}[d, e]\) be such that ϕ, \(\psi \in \Re ^{+}\) and \(0\leq k_{1}\leq \frac{\phi (\xi )}{\psi (\xi )}\leq k_{2}\) for all \(\xi \in [d, e]\). Then for \(r\geq 1\), we have
Another reversed Minkowski-type inequality is given as follows.
Theorem 3
([17])
Under the assumptions of Theorem 2, we have the inequality
In the next section, we give some generalized versions of Minkowski-type integral inequalities using fractional integral operators containing the unified Mittag-Leffler function (1.1) defined in Definition 2. Also, the reversed Minkowski-type integral inequalities for these fractional integral operators are proved.
We will use the following notations to make a smart representation of results of this paper: \(M^{\lambda ,\rho ,\theta ,k,n}_{\alpha ,\beta ,\gamma ,\delta ,\mu , \nu }=\mathbf{M}\), \(I_{a^{+}, \alpha , \beta , \gamma , \delta , \mu , \nu }^{\omega , \lambda , \rho , \theta , k, n}=\mathbf{I}\), \({}_{Q}I_{a^{+}, \alpha , \beta , \gamma , \delta , \mu , \nu }^{\omega , \lambda , \rho , \theta , k, n}={}_{\mathbf{Q}}\mathbf{I}\).
2 Generalized versions of Minkowski-type inequalities
In this section, we give generalized Minkowski-type integral inequalities for fractional operators defined in (1.2) and (1.3).
Theorem 4
Let \(\omega \in \mathbb{R}\), \(\underline{a}=(a_{1}, a_{2}, \ldots, a_{n})\), \(\underline{b}=(b_{1}, b_{2}, \ldots, b_{n})\), \(\underline{c}=(c_{1}, c_{2}, \ldots, c_{n})\), where \(a_{i}, b_{i}, c_{i}\in \mathbb{R}\), \(i=1,\ldots,n\). Also, let \(\mu , \nu , \rho , t\in \mathbb{R}\), \(\alpha , \beta , \gamma , \delta , \lambda , \theta >0\), and \(k\in (0,1)\cup \mathbb{N}\). Let \(k+\rho < \delta +\nu +\alpha \). Let \(r>1\) be such that \(\frac{1}{r}+\frac{1}{s}=1\), and let ϕ and ψ be positive and rth-power integrable functions on \([d,e]\). If \(\frac{\phi }{\psi }\) is bounded above by \(k_{2}\) and bounded below by \(k_{1}\) with \(k_{1}>0\), then we have
Proof
Under the conditions on \(\frac{\phi }{\psi }\), we have the inequalities
Multiplying both sides of these inequalities by \((\xi -t)^{\beta -1}\mathbf{M}(\omega (\xi -t)^{\alpha };v)\) and integrating over \([d,\xi ]\), we get
These two inequalities further take the following forms
Now multiplying inequalities (2.2) and (2.3), we get required result. □
Corollary 1
Under the assumptions of Theorem 4, together with \(a_{i}=l\), \(p=0\), and \(\rho >0\) in (2.1), we get
Remark 1
The Minkowski-type inequality containing the extended Mittag-Leffler function introduced by Andrić et al. [18] can be deduced from the theorem by setting \(n=1\), \(\alpha, \beta, \gamma, \delta, \mu, \lambda, \theta, k >0\), \(\theta >\lambda\), \(0< k\leq \delta +\alpha \), \(b_{1}=c_{1}+lk\), \(a_{1}=\theta -\lambda \), \(c_{1}=\lambda \), and \(\rho =0=\nu \).
Before moving toward the proof of our next result, we state a particular case
of the GM-AM inequality for \(x, y\geq 0\) with \(r, s> 1\) satisfying \(r^{-1}+s^{-1}=1\),
and also the elementary inequality
Theorem 5
Let \(\omega \in \mathbb{R}\), \(\underline{a}=(a_{1}, a_{2}, \ldots, a_{n})\), \(\underline{b}=(b_{1}, b_{2}, \ldots, b_{n})\), \(\underline{c}=(c_{1}, c_{2}, \ldots, c_{n})\), where \(a_{i}, b_{i}, c_{i}\in \mathbb{R}\), \(i=1,\ldots,n\). Also, let α, β, γ, δ, μ, ν, λ, ρ, θ, \(t\in \mathbb{R}\), \(k\in (0,1)\cup \mathbb{N}\), and \(\min \{{\alpha , \beta , \gamma , \delta , \lambda , \theta }\}>0\). Let \(k+\rho < \delta +\nu +\alpha \). Let \(r, s\geq 1\) be such that \(\frac{1}{r}+\frac{1}{s}=1\), and let ϕ and ψ be positive rth-power integrable functions on \([d,e]\) such that their ratio is bounded above by \(k_{2}\) and bounded below by \(k_{1}\) with \(k_{1}, k_{2} >0\). Then we have the following inequality:
Proof
Under the conditions on \(\frac{\phi }{\psi }\) given in the theorem, we have the following inequalities:
Multiplying both sides of the above inequalities by \((\xi -t)^{\beta -1}\mathbf{M}(\omega (\xi -t)^{\alpha },v)\) and integrating on \([d,\xi ]\), these inequalities take the following form
By a particular case of the GM-AM inequality we have
Multiplying both sides of this inequality by \((\xi -t)^{\beta -1}\mathbf{M}(\omega (\xi -t)^{\alpha };v)\) and integrating on \([d,\xi ]\), we have
Applying (2.8) to the sum of (2.6) and (2.7), we get the inequality
Applying (2.4) in (2.9), we obtain (2.5). □
Corollary 2
Under the assumptions of Theorem 5with \(a_{i}=l\), \(p=0\), and \(\rho >0\) in (2.5), we get the inequality
Remark 2
For \(n=1\), \(\alpha, \beta, \gamma, \delta, \mu, \lambda, \theta, k >0\), \(\theta >\lambda\), \(0< k\leq \delta +\alpha \), \(b_{1}=c_{1}+lk\), \(a_{1}=\theta -\lambda \), \(c_{1}=\lambda \) and \(\rho =0=\nu \), (2.5) produces the result presented by Andrić et al. [18].
Theorem 6
Let \(\omega \in \mathbb{R}\), \(\underline{a}=(a_{1}, a_{2}, \ldots, a_{n})\), \(\underline{b}=(b_{1}, b_{2}, \ldots, b_{n})\), \(\underline{c}=(c_{1}, c_{2}, \ldots, c_{n})\), where \(a_{i}, b_{i}, c_{i}\in \mathbb{R}\), \(i=1,\ldots,n\). Also, let α, β, γ, δ, μ, ν, λ, ρ, θ, \(t\in \mathbb{R}\), \(k\in (0,1)\cup \mathbb{N}\), and \(\min \{{\alpha , \beta , \gamma , \delta , \lambda , \theta }\}>0\). Let \(k+\rho < \delta +\nu +\alpha \). Let \(r\geq 1\), and let ϕ and ψ be positive rth-power integrable functions on \([d,e]\) such that their ratio is bounded above by \(k_{2}\) and bounded below by \(k_{1}\) with \(k_{1}, k_{2} >0\). Then we have the inequalities
Proof
From the boundedness of the ratio of the functions ϕ and ψ we have
Using the upper bound \(\frac{\phi (t)}{\psi (t)}\leq k_{2}\), we have
Using the lower bound \(k_{1}\leq \frac{\phi (t)}{\psi (t)}\), we have
From inequalities (2.11) and (2.13) we obtain the inequality
From inequalities (2.12) and (2.14) we obtain the inequality
Now multiplying \((\xi -t)^{\beta -1}\mathbf{M}(\omega (\xi -t)^{\alpha };v)\) by the product of (2.15) and (2.16) and integrating on \([d, \xi ]\), we get (2.10). □
Corollary 3
Under the assumptions of Theorem 6along with \(a_{i}=l\), \(p=0\), and \(\rho >0\) in (2.10), we have the inequality
Remark 3
Inequality (2.10) is the generalization of the inequalities proved by Andrić et al. [18]. By setting \(n=1\), \(\alpha, \beta, \gamma, \delta, \mu, \lambda, \theta, k >0\), \(\theta >\lambda\), \(0< k\leq \delta +\alpha \), \(b_{1}=c_{1}+lk\), \(a_{1}=\theta -\lambda \), \(c_{1}=\lambda \), and \(\rho =0=\nu \) the result of [18] can be deduced.
Theorem 7
Let \(\omega \in \mathbb{R}\), \(\underline{a}=(a_{1}, a_{2}, \ldots, a_{n})\), \(\underline{b}=(b_{1}, b_{2}, \ldots, b_{n})\), \(\underline{c}=(c_{1}, c_{2}, \ldots, c_{n})\), where \(a_{i}, b_{i}, c_{i}\in \mathbb{R}\), \(i=1,\ldots,n\). Also, let α, β, γ, δ, μ, ν, λ, ρ, θ, \(t\in \mathbb{R}\), \(k\in (0,1)\cup \mathbb{N}\), and \(\min \{{\alpha , \beta , \gamma , \delta , \lambda , \theta }\}>0\). Let \(k+\rho < \delta +\nu +\alpha \). Let \(r\geq 1\), and let ϕ and ψ be positive and rth-power integrable functions on \([d,e]\) such that their ratio is bounded above by \(k_{2}\) and bounded below by \(k_{1}\) with \(k_{1}, k_{2} >0\) and \(0<\eta <k_{1}\). Then we have the following inequalities:
Proof
By the conditions on ϕ and ψ in the statement we have
and the above inequality takes the form
Multiplying the last inequality by \((\xi -t)^{\beta -1}\mathbf{M}(\omega (\xi -t)^{\alpha };v)\) and integrating on \([d,\xi ]\), we obtain
Inequality (2.18) can also be written as
and after certain steps, the above inequality takes the form
By multiplying with \((\xi -t)^{\beta -1}\mathbf{M}(\omega (\xi -t)^{\alpha };v)\) and integrating on \([d,\xi ]\) the above inequality becomes
Adding (2.19) and (2.20), we obtain (2.17). □
Corollary 4
Under the assumptions of Theorem 7with \(a_{i}=l\), \(p=0\), and \(\rho >0\) in (2.17), we have the following inequality:
Remark 4
The above theorem reproduces the Minkowski-type inequality involving the extended Mittag-Leffler function presented by Andrić et al. [18] by setting \(n=1\), \(\alpha, \beta, \gamma, \delta, \mu, \lambda, \theta, k >0\), \(\theta >\lambda\), \(0< k\leq \delta +\alpha \), \(b_{1}=c_{1}+lk\), \(a_{1}=\theta -\lambda \), \(c_{1}=\lambda \), and \(\rho =0=\nu \).
3 Fractional integral inequalities of reverse Minkowski type
In this section, we state and prove some reverse versions of Minkowski-type inequalities, which are generalizations of (1.6) and (1.8).
Theorem 8
Let \(\omega \in \mathbb{R}\), \(\underline{a}=(a_{1}, a_{2}, \ldots, a_{n})\), \(\underline{b}=(b_{1}, b_{2}, \ldots, b_{n})\), \(\underline{c}=(c_{1}, c_{2}, \ldots, c_{n})\), where \(a_{i}, b_{i}, c_{i}\in \mathbb{R}\), \(i=1,\ldots,n\). Also, let α, β, γ, δ, μ, ν, λ, ρ, \(\theta , t\in \mathbb{R}\), \(k\in (0,1)\cup \mathbb{N}\), and \(\min \{{\alpha , \beta , \gamma , \delta , \lambda , \theta }\}>0\). Let \(k+\rho < \delta +\nu +\alpha \). Let \(r\geq 1\), and let ϕ and ψ be positive and rth-power integrable functions on \([d,e]\) such that their ratio is bounded above by \(k_{2}\) and bounded below by \(k_{1}\) with \(k_{1}, k_{2} >0\). Then
where \(m=\frac{k_{2}(k_{1}+1)+(k_{2}+1)}{(k_{1}+1)(k_{2}+1)}\).
Proof
Under the conditions of the theorem on \(\frac{\phi }{\psi }\), we have the following inequalities:
By multiplying both sides of inequalities by \((\xi -t)^{\beta -1}\mathbf{M}(\omega (\xi -t)^{\alpha };v)\) and integrating on \([d,\xi ]\) the above inequalities become
The above inequalities further produce the following inequalities:
The sum of (3.4) and (3.5) gives (3.1). □
Corollary 5
Under the assumptions of Theorem 8with \(a_{i}=l\), \(p=0\), and \(\rho >0\) in (3.1), we obtain the following inequality:
where \(m=\frac{k_{2}(k_{1}+1)+(k_{2}+1)}{(k_{1}+1)(k_{2}+1)}\).
Remark 5
The Minkowski-type fractional integral inequality containing the extended Mittag-Leffler function introduced by Andrić et al. [18] turns out to be a particular case of (3.1) by setting \(n=1\), \(\alpha , \beta , \gamma , \delta , \mu , \lambda , \theta , k >0\), \(\theta >\lambda \), \(0< k\leq \delta +\alpha \), \(b_{1}=c_{1}+lk\), \(a_{1}=\theta -\lambda \), \(c_{1}=\lambda \), and \(\rho =0=\nu \).
Theorem 9
Let \(\omega \in \mathbb{R}\), \(\underline{a}=(a_{1}, a_{2}, \ldots, a_{n})\), \(\underline{b}=(b_{1}, b_{2}, \ldots, b_{n})\), \(\underline{c}=(c_{1}, c_{2}, \ldots, c_{n})\), where \(a_{i}, b_{i}, c_{i}\in \mathbb{R}\), \(i=1,\ldots,n\). Also let α, β, γ, δ, μ, ν, λ, ρ, θ, \(t\in \mathbb{R}\), \(k\in (0,1)\cup \mathbb{N}\) and \(\min \{{\alpha , \beta , \gamma , \delta , \lambda , \theta }\}>0\). Let \(k+\rho < \delta +\nu +\alpha \). Let \(r\geq 1\), and let ϕ and ψ be positive and rth-power integrable functions on \([d,e]\) such that their ratio is bounded above by \(k_{2}\) and bounded below by \(k_{1}\) with \(k_{1}, k_{2} >0\). Then we have the following inequality:
where \(M=k_{2}^{-1}(k_{2}+1)(k_{1}+1)-2\).
Proof
From the preceding theorem we have the following integral inequalities:
Taking the product of these inequalities and using Minkowski’s inequality, we get
This inequality takes the following form by simplification:
□
Corollary 6
Under the assumptions of Theorem 9and setting \(a_{i}=l\), \(p=0\), and \(\rho >0\) in (3.6), we have the following inequality:
where \(M=k_{2}^{-1}(k_{2}+1)(k_{1}+1)-2\).
Remark 6
Putting \(n=1\), \(\alpha, \beta, \gamma, \delta, \mu, \lambda, \theta, k >0\), \(\theta >\lambda\), \(0< k\leq \delta +\alpha \), \(b_{1}=c_{1}+lk\), \(a_{1}=\theta -\lambda \), \(c_{1}=\lambda \) and \(\rho =0=\nu \), the above theorem reproduces the Minkowski-type inequality involving the extended Mittag-Leffler function presented by Andrić et al. [18].
4 Conclusions
We have proved some generalized Minkowski-type integral inequalities using fractional integral operators associated with unified Mittag-Leffler function. A number of such inequalities already studied for various types of known fractional integral operators can be deduced from the results of this paper. The unified Mittag-Leffler function and associated integral operators can be applied to extend and generalize the classical concepts.
Availability of data and materials
There is no additional data required for the finding of results of this paper.
References
Mittag-Leffler, G.: Sur la nouvelle fonction \(E(x)\). C. R. Acad. Sci. Paris 137, 554–558 (1903)
Mathai, A.M., Haubold, H.J.: Special Functions for Applied Scientists. Springer, New York (2008)
Gómez, J.F., Torres, L., Escobar, R.F.: Fractional Derivatives with Mittag-Leffler Kernel: Trends and Applications in Science and Engineering. Springer, Switzerland (2019)
Shukla, A.K., Prajapati, J.C.: On a generalization of Mittag-Leffler function and its properties. J. Math. Anal. Appl. 336, 797–811 (2007)
Rahman, G., Baleanu, D., Qurashi, M.A., Purohit, S.D., Mubeen, S., Arshad, M.: The extended Mittag-Leffler function via fractional calculus. J. Nonlinear Sci. Appl. 10, 4244–4253 (2017)
Andrić, M., Farid, G., Pečarić, J.: A further extension of Mittag-Leffler function. J. Fract. Calc. Appl. 21(5), 1377–1395 (2018)
Salim, T.O., Faraj, A.W.: A generalization of Mittag-Leffler function and integral operator associated with fractional calculus. J. Fract. Calc. Appl. 3(5), 1–13 (2012)
Prabhakar, T.R.: A singular integral equation with a generalized Mittag-Leffler function in the kernel. Yokohama Math. J. 19, 7–15 (1971)
Bhatnagar, D., Pandey, R.M.: A study of some integral transforms on Q function. South East Asian J. Math. Math. Sci. 16(1), 99–110 (2020)
Zhang, Y., Farid, G., Salleh, Z., Ahmad, A.: A unified Mittag-Leffler function and associated fractional integral operator. Math. Probl. Eng. 2021, Article ID 6043769 (2021)
Rashid, S., Hammouch, Z., Jarad, F., Chu, Y.M.: New estimates of integral inequalities via generalized proportional fractional integral operator with respect to another function. Fractals 28(8), 2040027 (2020)
Jawad, T.A., Rashid, S., Hammouch, Z., Chu, Y.M.: Some new local fractional inequalities associated with generalized \((s, m)\)-convex functions and applications. Adv. Differ. Equ. 1, 1–27 (2020)
Jawad, T.A., Rashid, S., Hammouch, Z., Işcan, I., Chu, Y.M.: Some new Simpson-type inequalities for generalized p-convex function on fractal sets with applications. Adv. Differ. Equ. 1, 1–26 (2020)
Jawad, T.A., Rashid, S., Deeb, A.A.E., Hammouch, Z., Chu, Y.M.: Certain new weighted estimates proposing generalized proportional fractional operator in another sense. Adv. Differ. Equ. 1, 1–16 (2020)
Wiman, A.: Über den Fundamentalsatz in der Teorie der Funktionen \(E_{a}(x)\). Acta Math. 29, 191–201 (1905)
Bougoffa, L.: On Minkowski and Hardy integral inequalities. J. Inequal. Pure Appl. Math. 7(2), 60 (2006)
Set, E., Özdemir, M., Dragomir, S.S.: On the Hermite–Hadamard inequality and other integral inequalities involving two functions. J. Inequal. Appl. 2010, 148102 (2010)
Andrić, M., 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)
Acknowledgements
We are thankful to reviewers for careful reading and valuable suggestions.
Funding
There is no funding available for the publication of this paper.
Author information
Authors and Affiliations
Contributions
All authors have equal contribution in this paper. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Zhou, SS., Farid, G. & Ahmad, A. Fractional versions of Minkowski-type integral inequalities via unified Mittag-Leffler function. Adv Cont Discr Mod 2022, 9 (2022). https://doi.org/10.1186/s13662-022-03681-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-022-03681-0
MSC
- 26D10
- 33E12
- 26A33
Keywords
- Mittag-Leffler function
- Fractional integral operator
- Minkowski’s inequality