Abstract
Fractional derivatives with three parameter generalized Mittag-Leffler kernels and their properties are studied. The corresponding integral operators are obtained with the help of Laplace transforms. The action of the presented fractional integrals on the Caputo and Riemann type derivatives with three parameter Mittag-Leffler kernels is analyzed. Integration by parts formulas in the sense of Riemann and Caputo are proved and then used to formulate the fractional Euler–Lagrange equations with an illustrative example. Certain nonconstant functions whose fractional derivatives are zero are determined as well.
Similar content being viewed by others
1 Basics and preliminaries
Fractional calculus is an emerging field with several real world applications in various areas of science and engineering [1,2,3,4,5,6,7,8,9,10,11,12,13].
Recently, generalized versions of the standard classical fractional derivatives and their discrete versions (see, for example, Refs. [14,15,16,17,18,19]) are required by a better description of the dynamics of so-called complex systems. The extension of these fractional operators with nonsingular kernels and the Lyapunov type inequalities and their discrete versions have been later investigated in [20,21,22,23]. Further, the monotonicity analysis of such discrete fractional operators has been also studied in [24, 25]. Thus, we have to investigate if the new fractional derivative with Mittag-Leffler kernel can be used properly for treating the control problems and if it can be used successfully to produce new fractional Euler–Lagrange equations. As it can be seen, these types of equations contain two types of derivatives, the left and right ones, and they are new types of equations. The solutions of these types of equations were used successfully to treat several complex oscillatory systems [26,27,28,29,30,31,32,33]. In fact, the fractional variational principles provided the scientific community with a new type of Euler–Lagrange equations which opened new directions in the field of numerical analysis.
Keeping the above mentioned things in our minds, we discuss in our manuscript the fractional operators with three parameter generalized Mittag-Leffler kernels and we present the integration by parts formulas, and finally we obtain the related fractional Euler–Lagrange equations. Therefore, we generalize the results obtained in [15, 17]. The defined fractional derivatives depend on a limiting approach of weighted versions of Prabhakar fractional integrals [34] with the help of delta Dirac functions. Prabhakar fractional integrals were investigated in [35] as well.
We recall that the Q-operator action, \((Qf)(t)=f(a+b-t)\), was utilized earlier in fractional calculus [1,2,3,4] to relate left and right type fractional integrals and derivatives. Then, recently, it has been employed to relate left and right fractional sums and differences [36, 37]. In our article, we will use the action of Q-operator in order to define and to confirm our definitions of fractional derivatives with Mittag-Leffler function kernels.
Definition 1
The Mittag-Leffler function of one parameter is written as
and the expression of the one with two parameters α and β has the following form:
where \(E_{\alpha ,1}(\lambda ,z)=E_{\alpha }(\lambda ,z)\).
We recall that the formula of the generalized ML of three parameters is
where \((\sigma )_{k}=\sigma (\sigma +1)\cdots(\sigma +k-1)\) is the Pochhammer symbol. Notice that \((1)_{k}=k!\) so that \(E^{1}_{\alpha , \beta } ( z)=E_{\alpha ,\beta } ( z)\).
Using a modified version, the following is the ML function of three parameters:
Definition 2
Let \(s \in \mathbb{R}\) and \(f_{1},g_{1}:[a,\infty ) \rightarrow \mathbb{R}\) be functions. The convolution of \(f_{1}\) with \(g_{1}\) starting from a is written as
and the Laplace transform starting from a of \(f_{1}\) as
When \(a=0\), we use \(\mathbb{L}\) instead of \(\mathbb{L}_{a}\).
Depending on Definition 2, we can prove the following a-convolution Laplace identity that we shall use throughout this article.
Proposition 1
For f, g defined on \([a,\infty )\) we conclude that
Proof
The proof is straightforward and can be achieved by using definition and interchanging the orders of the integrals. □
2 Generalized fractional derivatives with singular ML kernels with three parameters
Definition 3
The generalized ABR and ABC fractional derivatives with kernel \(E^{\gamma }_{\alpha , \mu }(\lambda ,t)\), where \(0<\alpha <1\), \(\operatorname{Re}(\mu )>0\), \(\gamma \in \mathbb{R}\), and \(\lambda =\frac{-\alpha }{1- \alpha }\), are defined respectively by
The right one by
and
The right one by
Here \(B(0)=B(1)=1\). Simply \(B(\alpha )\) can be chosen as 1.
Remark 1
Note that the above generalized type fractional derivatives have singular kernels for \(0<\mu <1\). However, the one parameter ML function kernel defined in [15] is nonsingular. Also, the limiting process \(\alpha ,\mu ,\gamma \rightarrow 1\) gives the ordinary derivative.
Theorem 1
([35])
For \(\rho , \mu ,\gamma , \nu , \sigma , \lambda \in \mathbb{C}\) (\(\operatorname{Re}(\rho ), \operatorname{Re}(\mu ), \operatorname{Re}(\nu )>0\)), we have
Particularly, if \(\gamma =1\), \(\mu =1\), and \(\rho =\alpha \), we have
Remark 2
If we utilize the modified notation of ML, then (11) becomes
and (12) is written as
For \(\alpha , \mu ,\gamma , \lambda \in \mathbb{C}\) (\(\operatorname{Re}(\alpha) >0\)), and \(n \in \mathbb{N}\), we conclude that [3]
Now, from (13) and (15), we see that
and
Remark 3
Noting that
from (16) and (17) for \(\sigma =-\gamma \), it implies that
is a nonzero function such that its ABR and ABC derivatives are zero. By inspection we report that the function \(G(x)\) tends to 1 as \(\mu \rightarrow 1^{-}\) and \(\alpha \rightarrow 1\) with \(\gamma =1\). Also, it is of interest to study the fractional polynomial function \(G_{\gamma }(x)\) with \(\gamma =1,2,3,\ldots \) (see Example 1 below).
Now, we solve the equation \(({}^{\mathrm{ABR}}_{a}D^{\alpha ,\mu ,\gamma } f)(t) =u(t)\) with \(\gamma =1\) to find the fractional integral operator of two parameters. After we perform the Laplace transform to both sides, we utilize the convolution identity in Proposition 1 and make use of the fact that
and that \(f(t)\) is continuous at a to have
where \(U(s)=(\mathbb{L}_{a} u(t))(s)\), \(F(s)=(\mathbb{L}_{a} f(t))(s)\), and \(\lambda = \frac{-\alpha }{1-\alpha }\). From which it follows that
Utilizing the inverse Laplace, we see that
As a result, we have the following definition.
Definition 4
Let f be a continuous function defined on an interval \([a,b]\) and assume \(0<\alpha \leq 1\), \(\mu >0\). Then the left and right fractional integrals of two parameters α and μ are defined respectively by
and
where \((_{a}I^{\alpha }u)(t)\) and \((I_{b}^{\alpha }u)(t)\) are the left and right Riemann fractional integrals.
Remark 4
Note that if μ tends to 1 in Definition 4, we have \(({}^{\mathrm{AB}}_{a}I^{\alpha ,1} u)(t)=({}^{\mathrm{AB}}_{a}I^{\alpha } u)(t)\) and \(({}^{\mathrm{AB}}I_{b}^{\alpha ,1} u)(t)=({}^{\mathrm{AB}}I_{b}^{\alpha } u)(t)\). The case of finding explicit formulas for the left and right AB fractional integrals of order α, μ, γ when \(\gamma \neq 1\) has not been treated above. However, it is possible to formulate the particular cases \(\gamma =2,3,4,\ldots\) with the help of Laplace transforms. In fact, the AB fractional integrals of order \(0<\alpha \leq 1\), \(\mu >0\), \(\gamma =1,2,\ldots \) , are given by
and
From [15] we recall the following:
Actually, the a-version is (f is regular at a)
and the b-right fractional version is
More generally, we can state and give proof of the following.
Theorem 2
(The relation between the generalized ABR and the generalized ABC fractional derivatives)
For any \(0<\alpha <1\), \(\mu >0\), \(\gamma \in \mathbb{R}\), and f is regular at a, we have
-
\(({}^{\mathrm{ABC}}_{a}D^{\alpha ,\mu ,\gamma } f)(x)=({}^{\mathrm{ABR}}_{a}D^{\alpha , \mu ,\gamma }f)(x)-\frac{B(\alpha )}{1-\alpha } f(a)E^{\gamma }_{ \alpha ,\mu }(\lambda , x-a)\),
-
\(({}^{\mathrm{ABC}}D_{b}^{\alpha ,\mu ,\gamma } f)(x)=({}^{\mathrm{ABR}}D_{b}^{\alpha }f)(x)-\frac{B( \alpha )}{1-\alpha } f(b)E^{\gamma }_{\alpha ,\mu } (\lambda ,b-x)\),
where always \(\lambda =\frac{-\alpha }{1-\alpha }\).
Proof
From the relations
and
we conclude that
Applying the inverse Laplace to (28), we finish our conclusion in the first part. The second part can be proved with the help of the first part as well as the Q-operator action. □
Using Theorem 2, (19), (20), and the identity (see [3] page 78 or Theorem 3 in [35])
or in a modified version as
we can conclude the following.
Proposition 2
For \(0< \alpha < 1\), \(\mu >0\), \(\gamma =1\), we have
Similarly,
In the proof of Proposition 2, we need to make use of the identity
Remark 5
From Remark 4 with \(\gamma =2\), for \(0<\alpha <1\), \(\mu >0\), we have
In particular,
Hence, we can generalize Proposition 2 for other values of γ as follows.
Proposition 3
For \(0< \alpha < 1\), \(\mu >0\), \(\gamma =2\), and \(\lambda =\frac{- \alpha }{1-\alpha }\), we have
Similarly, by the action of the Q-operator, we have
More generally, if we proceed inductively on \(\gamma \in \mathbb{N}\) by making use of the identity
we can state the following γ-version of Proposition 2 and Proposition 3.
Theorem 3
For \(0< \alpha < 1\), \(\mu >0\), \(\gamma \in \mathbb{N}\), and \(\lambda =\frac{- \alpha }{1-\alpha }\), we have
Similarly, by using Q-operator, we get
3 Integration by parts
Below we shall deal with integration by parts for fractional integrals \(({}^{\mathrm{AB}}_{a}I^{\alpha , \mu ,\gamma } u)(t)\) and derivatives \(({}^{\mathrm{AB}}_{a}D^{\alpha , \mu ,\gamma } u)(t)\) of orders \(0<\alpha <1\), \(\operatorname{Re}( \mu )>0\), \(\gamma =1,2,3,\ldots \) . The extension for arbitrary γ is still open since there is no explicit formula for the integral operator in case \(\gamma \notin \mathbb{N}\).
Below we discuss the following function spaces: For \(p\geq 1\) and \(0<\alpha <1\), \(\mu >0\), \(\gamma \in \mathbb{C}\), we define
and
The discussion in the previous section shows that
and
We next prove that \(({}^{\mathrm{AB}}_{a}I^{\alpha ,\mu ,\gamma } {}^{\mathrm{ABR}}_{a}D ^{\alpha ,\mu ,\gamma } f)(t)=f(t)\) and
thus the function spaces \(({}^{\mathrm{AB}}_{a}I^{\alpha ,\mu ,\gamma } )(L_{p})\) and \(({}^{\mathrm{AB}}I_{b}^{\alpha ,\mu ,\gamma })(L_{p})\) are nonempty.
Theorem 4
Let \(0<\alpha <1\), \(\mu >0\), \(\gamma \in \mathbb{N} \), then the functions \(({}^{\mathrm{ABR}}_{a}D^{\alpha ,\mu ,\gamma } f)(t)\) and \(({}^{\mathrm{ABR}}D_{b}^{ \alpha ,\mu ,\gamma } f)(t)\) satisfy the equations
respectively.
Proof
Below we discuss the proof for the left case only. Using the Q-operator, the right case can be proved easily. With the help of the definition we show that the first equation is equivalent to
For \(\gamma =1\), the Laplace transform gives us the following:
from which it follows that
After that, the Laplace inverse implies that \(g(t)=({}^{\mathrm{ABR}}_{a}D^{ \alpha ,\mu .1} f)(t)\).
For \(\gamma =2\), the Laplace transform gives
from which it follows by (26) with \(\gamma =2\) that
Now, the Laplace inverse gives \(g(t)=({}^{\mathrm{ABR}}_{a}D^{\alpha ,\mu .2} f)(t)\). If we proceed inductively on γ by making use of (26) and (21), we conclude that \(g(t)=({}^{\mathrm{ABR}}_{a}D ^{\alpha ,\mu .\gamma } f)(t)\). The right case follows by the left case and the action of the Q-operator. □
Theorem 5
Let \(0<\alpha <1\), \(\mu >0\), \(\gamma \in \mathbb{N} \), \(p\geq 1\), \(q \geq 1\), and \(\frac{1}{p}+\frac{1}{q}\leq 1+\alpha \) (\(p\neq 1\) and \(q\neq 1\) in the case \(\frac{1}{p}+\frac{1}{q}=1+\alpha \)). Then
-
If \(\varphi (x) \in L_{p}(a,b) \) and \(\psi (x) \in L_{q}(a,b)\), then
$$\begin{aligned} \int _{a}^{b} \varphi (x) \bigl( {}^{\mathrm{AB}}_{a}I^{\alpha ,\mu ,\gamma }\psi \bigr) (x)\,dx =& \int _{a}^{b} \psi (x) \bigl({}^{\mathrm{AB}}I_{b}^{\alpha ,\mu ,\gamma } \varphi\bigr) (x)\,dx \end{aligned}$$(42)and similarly,
$$\begin{aligned} \int _{a}^{b} \varphi (x) \bigl( {}^{\mathrm{AB}}I_{b}^{\alpha ,\mu ,\gamma }\psi \bigr) (x)\,dx =& \int _{a}^{b} \psi (x) \bigl({}^{\mathrm{AB}} _{a}I^{\alpha ,\mu ,\gamma }\varphi \bigr) (x)\,dx. \end{aligned}$$(43) -
If \(f(x) \in {}^{\mathrm{AB}}I_{b}^{\alpha ,\mu ,\gamma } (L_{p}) \) and \(g(x) \in {}^{\mathrm{AB}}_{a}I^{\alpha ,\mu ,\gamma } (L_{q})\), then
$$ \int _{a}^{b} f(x) \bigl({}^{\mathrm{ABR}}_{a}D^{\alpha ,\mu ,\gamma } g\bigr) (x)\,dx= \int _{a}^{b} \bigl({}^{\mathrm{ABR}}D_{b}^{\alpha ,\mu ,\gamma } f\bigr) (x) g(x)\,dx $$and similarly,
$$\begin{aligned} \int _{a}^{b} f(x) \bigl({}^{\mathrm{AB}}D_{b}^{\alpha ,\mu ,\gamma }g \bigr) (x)\,dx =& \int _{a}^{b} g(x) \bigl({}^{\mathrm{AB}} _{a}D^{\alpha ,\mu ,\gamma }f\bigr) (x)\,dx \end{aligned}$$(44)for \(f(x) \in {}^{\mathrm{AB}}_{a}I^{\alpha ,\mu ,\gamma } (L_{p}) \) and \(g(x) \in {}^{\mathrm{AB}}I_{b}^{\alpha ,\mu ,\gamma } (L_{q})\).
Proof
-
The proof follows by (21), (22) and the integration by parts for (classical) Riemann–Liouville fractional integrals.
-
From the assumption and the first part, we have
$$\begin{aligned} \int _{a}^{b} f(x) \bigl({}^{\mathrm{ABR}}_{a}D^{\alpha ,\mu ,\gamma } g\bigr) (x)\,dx =& \int _{a}^{b} \bigl( {}^{\mathrm{AB}}I_{b}^{\alpha ,\mu ,\gamma } \phi \bigr) (x).\bigl( {}^{\mathrm{ABR}}_{a}D^{\alpha ,\mu ,\gamma } {}^{\mathrm{ABR}}_{a}I^{\alpha ,\mu , \gamma } \varphi \bigr) (x)\,dx \\ =& \int _{a}^{b} \bigl( {}^{\mathrm{AB}}I_{b}^{\alpha ,\mu ,\gamma } \phi \bigr) (x). \varphi (x)\,dx \\ =& \int _{a}^{b} \phi (x). \bigl({}^{\mathrm{AB}}_{a}I^{\alpha ,\mu ,\gamma } \varphi \bigr) (x)\,dx \\ =& \int _{a}^{b} \bigl({}^{\mathrm{ABR}}D_{b}^{\alpha ,\mu ,\gamma } f\bigr) (x) g(x)\,dx. \end{aligned}$$The fact that the fractional integral operator and the differential operator are inverses to each other has been used (notice Theorem 4 and above it). □
From [35] recall the (left) generalized fractional integral operator
Thus, we define the (right) generalized fractional integral operator as
where \(E_{\rho ,\mu }^{\gamma }(z)=\sum_{k=0}^{\infty }\frac{(\gamma )_{k} z^{k}}{\varGamma (\rho k+\mu )k!}\) is the generalized Mittag-Leffler function which is defined for complex ρ, μ, γ (\(\operatorname{Re}(\rho )>0\)) [3, 35].
Using notations (45) and (46) and with the help of Theorems 2 and 5, we can state the following integration by parts theorem for the Caputo case.
Proposition 4
(Integration by parts for the Caputo type derivative \({}^{\mathrm{ABC}}_{a}D^{\alpha , \mu ,\gamma }\))
Let \(0<\alpha <1\), \(\mu >0\), \(\gamma \in \mathbb{N} \), then
-
\(\int _{a}^{b} ({}^{\mathrm{ABC}}_{a}D^{\alpha ,\mu ,\gamma } f)(t)g(t)= \int _{a}^{b} f(t) ({}^{\mathrm{ABR}}D_{b}^{\alpha ,\mu ,\gamma } g)(t)+ \frac{B( \alpha )}{1-\alpha } f(t) (\mathbf{ E}^{\gamma }_{\alpha ,\mu , \frac{- \alpha }{1-\alpha },b^{-}}g )(t)|_{a}^{b}\).
-
\(\int _{a}^{b} ({}^{\mathrm{ABC}}D_{b}^{\alpha }f)(t)g(t)= \int _{a}^{b} f(t) ({}^{\mathrm{ABR}}_{a}D^{\alpha ,\mu ,\gamma } g)(t)- \frac{B(\alpha )}{1-\alpha } f(t) (\mathbf{ E}^{\gamma }_{\alpha ,\mu , \frac{-\alpha }{1-\alpha },a^{+}}g )(t)|_{a}^{b}\).
4 The related fractional Euler–Lagrange equations
Below we investigate the corresponding Euler–Lagrange equations for a Lagrangian possessing the left new Caputo derivative with three parameter Mittag-Leffler kernel.
Theorem 6
Let \(0<\alpha \leq 1\), \(\mu >0\), \(\gamma \in \mathbb{N}\), and \(a< b\) be real numbers. Suppose that the functional \(J:C^{2}[0,b]\rightarrow \mathbb{R}\), namely
possesses a local extremum in \(S=\{y \in C^{2}[a,b]: y(a)=A, y(b)=B \}\) at some \(f \in S\), keeping in mind that \(L:[a,b]\times \mathbb{R} \times \mathbb{R}\rightarrow \mathbb{R}\). Then
where \(L_{1}(s)= \frac{\partial L}{\partial f}(s)\) and \(L_{2}(s)=\frac{ \partial L}{\partial {}^{\mathrm{ABC}}_{a}D^{\alpha ,\mu ,\gamma } f}(s)\).
Proof
Let us suppose that J has local maximum in S at f. Thus, there exists \(\epsilon >0\) fulfilling \(J(\widehat{f})-J(f)\leq 0\) for all \(\widehat{f}\in S\) with \(\|\widehat{f}-f\|=\sup_{t \in [a,b]} | \widehat{f}(t)-f(t)|< \epsilon \). For any \(\widehat{f} \in S\), there is \(\eta \in H=\{y \in C^{2}[a,b], y(a)=y(b)=0\}\) fulfilling \(\widehat{f}=f+\epsilon \eta \). As a result, the ϵ-Taylor theorem provides the following:
Then
Here \(\delta J(\eta ,y)=\int _{a}^{b}[\eta (t) L_{1}(t)+ ({}^{\mathrm{ABC}}_{0}D ^{\alpha ,\mu ,\gamma } \eta )(t) L_{2}(t)]\,dt\) represents the first variation of J.
After some calculations and using the integration by parts formula in Proposition 4, we get
for all \(\eta \in H\), and hence the result follows by the fundamental lemma of calculus of variation. □
Here, the quantity \((\mathbf{ E}^{\gamma }_{\alpha ,\mu , \frac{- \alpha }{1-\alpha },b^{-}}L_{2} )(t)|_{a}^{b} =0\) above is named the natural boundary condition.
For the special case when the Lagrangian depends on the right Caputo derivative, we have the following.
Theorem 7
Let us consider \(0<\alpha \leq 1\), \(\mu >0\), \(\gamma \in \mathbb{N}\), and \(a_{1}< b_{1}\overline{}\) be real numbers. Assume that the functional \(J:C^{2}[a_{1},b_{1}]\rightarrow \mathbb{R}\) of the form
possesses a local extremum in \(S=\{y \in C^{2}[a_{1},b_{1}]: y(a _{1})=A, y(b_{1})=B\}\) at some \(f \in S\), where \(L:[a_{1},b_{1}] \times \mathbb{R}\times \mathbb{R}\rightarrow \mathbb{R}\). Then
where \(L_{1}(s)= \frac{\partial L}{\partial f}(s)\) and \(L_{2}(s)=\frac{ \partial L}{\partial {}^{\mathrm{ABC}}D_{b}{_{1}}^{\alpha ,\mu ,\gamma } f}(s)\).
Proof
The proof looks similar to Theorem 6. □
Example 1
We analyze the following example of physical interest by Theorem 6. Let us consider \(J(y)=\int _{a}^{b}[\frac{1}{2}( {}^{\mathrm{ABC}}_{a}D^{\alpha ,\mu ,\gamma } y(t))^{2}-V(y(t))]\), where \(0<\alpha <1\), \(\mu >0\), \(\gamma \in \mathbb{N}\) and with \(y(a)\), \(y(b)\) are assigned or with the natural boundary condition
As a result, the related Euler–Lagrange equation becomes
We noticed that the Euler–Lagrange equations consist of composition of left and right type fractional derivatives with three parameter ML-kernels (see [4] for more details).
-
The free particle case corresponds to \(V\equiv 0\). In this case we get
$$ \bigl({}^{\mathrm{ABR}}D_{b}^{\alpha ,\mu ,\gamma } {}^{\mathrm{ABC}}_{a}D^{\alpha ,\mu , \gamma } y\bigr) (t)=0. $$By applying \({}^{\mathrm{AB}}I_{b}^{\alpha ,\mu ,\gamma } \) to both sides, we conclude that
$$ \bigl({}^{\mathrm{ABC}}_{a}D^{\alpha ,\mu ,\gamma } y\bigr) (t)=0. $$Then, by Remark 3, it implies that the solution is written as
$$ y(t)=c_{1}+ G_{\gamma }(x-a)=c_{1}+ \frac{1-\alpha }{B(\alpha )}E^{- \gamma }_{\alpha , \nu }(\lambda ,x-a), \quad \nu \rightarrow 1-\mu , $$(51)and hence using \(y(a)=A\) we obtain
$$ y(t)=y(a)+G_{\gamma }(x-a) . $$(52)For example,
$$\begin{aligned} G_{1}(x-a) =&\frac{1-\alpha }{B(\alpha )}\biggl[\frac{(x-a)^{-\mu }}{\varGamma (1-\mu )}- \lambda \frac{(x-a)^{\alpha -\mu }}{\varGamma (\alpha +1- \mu )}\biggr] \\ =& \frac{1-\alpha }{B(\alpha )}\frac{(x-a)^{-\mu }}{\varGamma (1-\mu )}+\frac{ \alpha }{B(\alpha )}\frac{(x-a)^{\alpha -\mu }}{\varGamma (\alpha +1- \mu )}. \end{aligned}$$(53)Notice that \(\mu \rightarrow 1^{-}\) and \(a=0\) will result in the function \(g(x)=\frac{\alpha x^{\alpha -1}}{B(\alpha ) \varGamma (\alpha )}\) proposed in [17]. We remark here that as alpha goes to one, we get the classical case. For \(\gamma =2\), we have by \((-2)_{0}=1\), \((-2)_{1}=-2\), \((-2)_{2}=2\)
$$\begin{aligned} G_{2}(x-a) =&\frac{1-\alpha }{B(\alpha )}\biggl[\frac{(x-a)^{-\mu }}{\varGamma (1-\mu )}-2 \lambda \frac{(x-a)^{\alpha -\mu }}{\varGamma (\alpha +1- \mu )} \\ &{}+ 2 \lambda ^{2}\frac{(x-a)^{2\alpha -\mu }}{\varGamma (2\alpha +1- \mu )}\biggr] \\ =& \frac{1-\alpha }{B(\alpha )}\frac{(x-a)^{-\mu }}{\varGamma (1-\mu )}+ 2\frac{\alpha }{B(\alpha )} \frac{(x-a)^{\alpha -\mu }}{\varGamma (\alpha +1-\mu )} \\ &{}+ \frac{2\alpha ^{2}}{B(\alpha )(1-\alpha )}\frac{(x-a)^{2\alpha - \mu }}{\varGamma (2\alpha +1-\mu )}. \end{aligned}$$(54)Hence, \(G_{\gamma }(x-a)\) is singular at \(\alpha =1\) for \(\gamma =2,3,4,\ldots \) .
-
Considering \(V(y)=c y^{2}/2\), the expression of the fractional Euler–Lagrange equation is written as \(({}^{\mathrm{ABR}}D_{b}^{\alpha }{}^{\mathrm{ABC}} _{a}D^{\alpha ,\mu ,\gamma } y)(t)=cy(t)\). Then, applying \({}^{\mathrm{AB}}I _{b}^{\alpha ,\mu ,\gamma }\) and \({}^{\mathrm{AB}}_{a}I^{\alpha ,\mu ,\gamma }\) respectively together with use of Theorem 3, we obtain
$$ y(t)=y(a)+c \bigl({}^{\mathrm{AB}}_{a}I^{\alpha ,\mu ,\gamma } {}^{\mathrm{AB}}I_{b}^{\alpha , \mu ,\gamma } y\bigr) (t), $$(55)
which contains, when α tends to 1, the classical case.
5 Conclusions
The fractional derivatives studied in [15, 17] are of interest for real world problems since they contain nonsingular Mittag-Leffler kernels and their corresponding fractional integrals are expressed by mean of the classical Riemann fractional integrals. They also obey the action of Q-operator in studying the left and right fractional operators. In this article we have generalized the results obtained in [15, 17] by defining fractional derivatives with Mittag-Leffler kernels of three parameters \(0<\alpha <1\), \(\mu >0\), \(\gamma \in \mathbb{R}\) and then obtained their corresponding fractional integrals when the function is regular at a (the non-regular case is still open). Such kernels might be singular depending on the value of μ. For such fractional derivatives either in Riemann (ABR) or Caputo (ABC) sense, we proved integration by parts when \(\gamma \in \mathbb{N}\) since we were able just to calculate the corresponding fractional integrals by Laplace transforms. We have applied our integration by parts on a fractional variational problem with Lagrangian containing left or right ABC-derivatives, after which we analyzed a detailed example of physical interest, where nonconstant solutions expressed by means of \(G_{\gamma }(x-a)\), \(\gamma =1,2,\ldots \) , have been obtained for zero potential Lagrangian. The action of the corresponding proposed left and right fractional integrals on left and right ABC derivatives has been studied with the surprising conclusion that this action does not depend on the three parameters of the Mittag-Leffler kernel (see Theorem 3). This action is useful to solve fractional dynamical systems with ABC derivatives. We have related the ABR and ABC derivatives for arbitrary γ (see Theorem 2). All the results obtained in [15, 17] can be recovered by setting \(\gamma =\mu =1\).
References
Podlubny, I.: Fractional Differential Equations. Academic Press, San Diego (1999)
Samko, S.G., Kilbas, A.A., Marichev, O.I.: Fractional Integrals and Derivatives: Theory and Applications. Gordon and Breach, Yverdon (1993)
Kilbas, A., Srivastava, H.M., Trujillo, J.J.: Theory and Application of Fractional Differential Equations. Mathematics Studies, vol. 204. North-Holland, Amsterdam (2006)
Abdeljawad, T., Baleanu, D., Jarad, F.: Existence and uniqueness theorem for a class of delay differential equations with left and right Caputo fractional derivatives. J. Math. Phys. 49, 083507 (2008)
Magin, R.L.: Fractional Calculus in Bioengineering. Begell House Publishers (2006)
Baleanu, D., Diethelm, K., Scalas, E., Trujillo, J.J.: Fractional Calculus Models and Numerical Methods, Series on Complexity, Nonlinearity and Chaos. World Scientific, Singapore (2012)
Hilfer, R.: Applications of Fractional Calculus in Physics. World Scientific, Singapore (2000)
Bagley, R.L., Torvik, P.J.: A generalized derivative model for elastomer damper. Shock Vib. Bull. 49, 135–143 (1979)
Yang, X.Y., Gao, F., Srivastava, H.M.: A new computational approach for solving nonlinear local fractional PDEs. J. Comput. Appl. Math. 339(339), 285–296 (2018)
Yang, X.J., Tenreiro Machado, J.A., Srivastava, H.M.: A new fractional derivative without singular kernel: application to the modelling of the steady heat flow. Therm. Sci. 20(2), 753–756 (2016)
Yang, X.J., Gao, F., Tenreiro Machado, J.A., Baleanu, D.: A new fractional derivative involving the normalized sinc function without singular kernel. Eur. Phys. J. Spec. Top. 226(16–18), 3567–3575 (2017)
Yang, X.J.: New rheological problems involving general fractional derivatives with nonsingular power-law kernels. Proc. Rom. Acad., Ser. A: Math. Phys. Tech. Sci. Inf. Sci. 19(1), 45–52 (2018)
Yang, X.Y., Tenreiro Machado, J.A., Baleanu, D.: Anomalous diffusion models with general fractional derivatives within the kernels of the extended Mittag-Leffler type functions. Rom. Rep. Phys. 69(4), 115 (2017)
Caputo, M., Fabrizio, M.: A new definition of fractional derivative without singular kernel. Prog. Fract. Differ. Appl. 1(2), 73–85 (2015)
Atangana, A., Baleanu, D.: New fractional derivative with non-local and non-singular kernel. Therm. Sci. 20(2), 757–763 (2016)
Abdeljawad, T., Baleanu, D.: Discrete fractional differences with nonsingular discrete Mittag-Leffler kernels. Adv. Differ. Equ. 2016, 232 (2016). https://doi.org/10.1186/s13662-016-0949-5
Abdeljawad, T., Baleanu, D.: Integration by parts and its applications of a new nonlocal fractional derivative with Mittag-Leffler nonsingular kernel. J. Nonlinear Sci. Appl. 10(3), 1098–1107 (2017)
Abdeljawad, T., Baleanu, D.: On fractional derivatives with exponential kernel and their discrete versions. Rep. Math. Phys. 80(1), 11–27 (2017)
Abdeljawad, T., Al-Mdallal, Q.M.: Discrete Mittag-Leffler kernel type fractional difference initial value problems and Gronwall’s inequality. J. Comput. Appl. Math. 339, 218–230 (2018). https://doi.org/10.1016/j.cam.2017.10.021
Abdeljawad, T.: Fractional operators with exponential kernels and a Lyapunov type inequality. Adv. Differ. Equ. 2017, 313 (2017)
Abdeljawad, T.: A Lyapunov type inequality for fractional operators with nonsingular Mittag-Leffler kernel. J. Inequal. Appl. 2017, 130 (2017)
Abdeljawad, T., Al-Mdallal, Q.M., Hajji, M.A.: Arbitrary order fractional difference operators with discrete exponential kernels and applications. Discrete Dyn. Nat. Soc. 2017, Article ID 4149320 (2017)
Abdeljawad, T., Madjidi, F.: Lyapunov-type inequalities for fractional difference operators with discrete Mittag-Leffler kernel of order \(2<\alpha < 5/2\). Eur. Phys. J. Spec. Top. 226(16–18), 3355–3368 (2017)
Abdeljawad, T., Baleanu, D.: Monotonicity analysis of a nabla discrete fractional operator with discrete Mittag-Leffler kernel. Chaos Solitons Fractals 102 106–110 (2017)
Abdeljawad, T., Baleanu, D.: Monotonicity results for fractional difference operators with discrete exponential kernels. Adv. Differ. Equ. 2017, 78 (2017). https://doi.org/10.1186/s13662-017-1126-1
Baleanu, D., Jihad, A., Petras, I.: Numerical solutions of the fractional Euler–Lagrange’s equations of a thin elastica model. Nonlinear Dyn. 81(1–2), 97–102 (2015)
Bouzid, N., Merad, M., Baleanu, D.: On fractional Duffin–Kemmer–Petiau equation. Few-Body Syst. 57(4), 265–273 (2016)
Agila, A., Baleanu, D., Eid, R., Irfanoglu, B.: Applications of the extended fractional Euler–Lagrange equations model to freely oscillating dynamical systems. Rom. J. Phys. 61(3–4), 350–359 (2016)
Baleanu, D., Abdeljawad, T., Jarad, F.: Fractional variational principles with delay. J. Phys. A, Math. Theor. 41(31), 315403 (2008)
Jarad, F., Abdeljawad, T., Baleanu, D.: On Riesz–Caputo formulation for sequential fractional variational principles. Abstr. Appl. Anal. 2012, Article ID 890396 (2012)
Jarad, F., Abdeljawad, T., Baleanu, D.: Fractional variational optimal control problems with delayed arguments. Nonlinear Dyn. 62(3), 609–614 (2010)
Jarad, F., Abdeljawad, T., Baleanu, D.: Fractional variational principles with delay within Caputo derivatives. Rep. Math. Phys. 65, 17–28 (2010)
Jarad, F., Abdeljawad, T., Baleanu, D.: Higher order variational optimal control problems with delayed arguments. Appl. Math. Comput. 218(18), 9234–9240 (2012)
Prabhakar, T.R.: A singular integral equation with a generalized Mittag-Leffler function in the kernel. Yokohama Math. J. 19, 7–15 (1971)
Kilbas, A.A., Saigo, M., Saxena, K.: Generalized Mittag-Leffler function and generalized fractional calculus operators. Integral Transforms Spec. Funct. 15(1), 31–49 (2004)
Abdeljawad, T.: On delta and nabla Caputo fractional differences and dual identities. Discrete Dyn. Nat. Soc. 201, Article ID 406910 (2013)
Abdeljawad, T.: Dual identities in fractional difference calculus within Riemann. Adv. Differ. Equ. 2013, 36 (2013)
Availability of data and materials
Data sharing not applicable to this article as no datasets were generated or analyzed during the current study.
Funding
The first author would like to thank Prince Sultan University for funding this work through research group Nonlinear Analysis Methods in Applied Mathematics (NAMAM) group number RG-DES-2017-01-17.
Author information
Authors and Affiliations
Contributions
All authors read and approved the final manuscript.
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
Abdeljawad, T., Baleanu, D. On fractional derivatives with generalized Mittag-Leffler kernels. Adv Differ Equ 2018, 468 (2018). https://doi.org/10.1186/s13662-018-1914-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-018-1914-2