Abstract
In this paper, we study a coupled system of generalized Sturm–Liouville problems and Langevin fractional differential equations described by Atangana–Baleanu–Caputo (ABC for short) derivatives whose formulations are based on the notable Mittag-Leffler kernel. Prior to the main results, the equivalence of the coupled system to a nonlinear system of integral equations is proved. Once that has been done, we show in detail the existence–uniqueness and Ulam stability by the aid of fixed point theorems. Further, the continuous dependence of the solutions is extensively discussed. Some examples are given to illustrate the obtained results.
Similar content being viewed by others
1 Introduction
The subject of fractional calculus is a generalization of ordinary differentiation and integration to an arbitrary order, which might be noninteger. Very recently it was recognized that fractional calculus arise naturally in various fields of science and engineering. Today we witness an increasing number of proposals for operators, both in the form of derivatives and integrals [1, 2] with the extension of fractional calculus. In consequence, there are several contributions focusing on different definitions of fractional derivatives such as the Riemann–Liouville (RL), Hadamard, Grünwald–Letnikov, Riesz, Caputo, Marchaud, Weyl, and Hilfer derivatives; see [3–12] for some detailed information. All these derivatives are known to contain singular kernels and some generalized fractional derivatives are novel such as conformable fractional derivative [13], beta-derivative [14], or we have a new definition [15, 16]. Generally, various definitions differ from one another in choosing special kernels and some form of differential operator. For example, for the kernel \(k(t,s)=t-s\) and the differential operator \({d}/{d}t\), we obtain the Riemann–Liouville definition.
In the recent contribution, Caputo and Fabrizio [17] proposed a new formulation involving a fractional derivative whose kernel is an exponential function. Motivated by [17], Atangana and Baleanu in [18], introduced a new definition of the fractional derivative to answer some outstanding questions that were posed by many researchers within the field of fractional calculus based on fractional operators with Mittag-Leffler, nonsingular smooth kernel. Their derivative has a nonsingular and nonlocal kernel and accepts all properties of fractional derivatives. This new derivative has gained widely attention and attracted a large number of scientists in different scientific fields for the exploration of diverse topics. Afterward, many articles on this subject have been published in order to generalize the results of the fractional derivative without a singular kernel in many directions. To the best of our knowledge, few contributions associated with ABC-fractional derivatives have been published; see [19–22] and the references therein.
In addition, the Sturm–Liouville problem plays an important role in different areas of applied sciences and engineering; for example see [23]. A standard form of the linear Sturm–Liouville differential equation of second order is defined by
with appropriate initial conditions, where the functions \(p ( t ) \) and \(u ( t ) \) are continuous on the interval \([ a,b ] \) such that \(p ( t ) >0\) and \(u ( t ) >0\). D is the usual derivative and \(f:[a,b]\times \mathbb{R} \rightarrow \mathbb{R} ^{+}\) is a continuous function. The fractional Sturm–Liouville problems were developed by some researchers in theory and application; see [24].
On the other hand, in [25] Langevin introduced the classical Langevin equation as follows:
The classical Langevin equation with various boundary conditions has been studied by many authors; see [26] and the references therein. Various generalizations of the Langevin equation have been offered to describe dynamical processes in a fractal medium. This gives rise to the study of the fractional Langevin equation; see [27]. The fractional Langevin equation was introduced by Mainardi and collaborators in the earlier 1990s. Several types of fractional Langevin equation were studied in [28–33].
Meanwhile, in the same year, research into fractional order systems has become a subject of focus because of many advantages of fractional derivatives. For more papers on fractional order systems, see [34–48] and the references therein.
More recently, the study of fractional Langevin equation in frame of Caputo derivative has comparably been of small scale; see [49, 50] in which the authors discussed Sturm–Liouville and Langevin equations via Hadamard fractional derivatives and systems of fractional Langevin equations of Riemann–Liouville and Caputo types, respctively However, to the best of our knowledge, few of the relevant studies on coupled systems of fractional differential equations have been briefly reviewed for further information on this topic.
To conclude this introductory section, we introduce the coupled system involving ABC differential operators with nonsingular kernel, which are discussed throughout this paper, which take the form
where \(\mathbf{D}_{t}^{\circ }\) denotes the ABC-fractional derivative with \(( {}^{\circ } ) \in \{ \alpha _{i},\beta _{i}\}\) and \(0<\alpha _{i}\), \(\beta _{i}\le 1\), \(J= [ 0,T ] \), \(p_{i}\in C ( J, \mathbb{R} \setminus \{0\} ) \); \(q_{i}\in C(J, \mathbb{R} )\) and \(f_{i}\in ( J\times \mathbb{R} \times \mathbb{R} , \mathbb{R} ) \) are some continuous functions.
Note that system (1.3) is a generalization of Sturm–Liouville and Langevin fractional differential systems. In the special case if \(q_{i}(t)\equiv 0\) then (1.3) is reduced to the Sturm–Liouville fractional differential equations. For the case \(p_{i}(t)\equiv 1\) and \(q_{i}(t)\equiv \lambda _{i}\) system (1.3) is reduced to the Langevin fractional differential equations. However, the theorems we present include and extend some previous results.
We arrange this paper as follows: In Sect. 2, we introduce some notations, properties, lemmas, definitions of fractional calculus. We present a slight generalization for the Ulam–Hyers theorem which was used in studying the stability. Section 3 contains main results and is divided into 6 subsections. In Sect. 3.1 we first solve the corresponding linear problem and show the equivalence between the nonlinear problem (1.3) and integral equation. In Sect. 3.2, we adopt Banach’s contraction mapping principle In Sect. 3.3, we use Krasnoselskii’s fixed point theorem to prove the existence and uniqueness of solutions for problem (1.3). Section 3.4 is devoted to the stable solution of the fractional coupled systems (1.3) which is provided by using the classical technique of nonlinear functional analysis investigated by Ulam. In Sect. 3.5, we look at the question as to how the solution u varies when we change the order of the ABC-differential operator or the initial values and the dependence on parameters of nonlinear term f is also established. Illustrative examples are presented in the last subsection. Finally, the paper is concluded in Sect. 4.
2 Preliminaries
In this subsection, we introduce some notations, definitions, properties and lemmas of fractional calculus, we present briefly the so-called operators with nonsingular kernel. and present preliminary results needed in our proofs later.
Definition 2.1
Let \(s\in {}[ 1,\infty )\) and \((a,b)\) be an open subset of \(\mathbb{R} \), the space \(\mathbb{H}^{s}(a,b)\) is defined by
The left-sided RL-fractional derivative of order \(\alpha \in ( n-1,n ] \), of a continuous function \(f: [ 0,\infty ) \longrightarrow \mathbb{R} \) is given by
provided that the right side is pointwise defined on \(\mathbb{R} ^{+}\).
The corresponding left-sided RL-integral operator of order \(0<\alpha \leq 1\), of a continuous function \(f: [ 0,\infty ) \longrightarrow \mathbb{R} \) is given by
provided that the right side is pointwise defined on \(\mathbb{R} ^{+}\).
Let us recall the well-known definition of the Caputo fractional derivative [3]. Given \(b>a\), \(f\in \mathbb{H}^{1} ( a,b ) \) and \(0<\alpha <1\), the Caputo fractional derivative of f of order α is given by
By changing the kernel \(( t-\tau )^{-\alpha }\) by the function
and \(1/\varGamma ( 1-\alpha )\) by \(\mathbf{B}(\alpha )/ ( 1-\alpha )\), one obtains the new ABC-fractional derivative of order \(0<\alpha <1\),
where \(f\in \mathbb{H}^{1}(0,1)\), \(0<\alpha <1\) and \(\mathbf{B}(\alpha )\) is the known normalized positive function satisfying the properties \(\mathbf{B}(0)=1\), \(\mathbf{B}(1)=1\) and
According to the ABC derivative, it is clear that, if f is a constant function, then \(\mathbf{D}_{t}^{\alpha }f(t)=0\) as in the usual Caputo derivative. The main difference between the usual Caputo derivative and ABC-derivative is that, contrary to the usual Caputo definition, the new kernel has no singularity for \(t=\tau \). This ABC-fractional derivative \(\mathbf{D}_{t}^{\alpha }\) is less affected by the past, compared with the \({}^{c}\mathfrak{D}_{t}^{\alpha }\) which shows a slow stabilization. The term \(E_{\alpha }\) can be expressed as a single- or two- parameter Mittag-Leffler function defined by power series expansions
where \(\alpha >0\) and \(\beta \in \mathbb{C}\). When \(\beta =1\), we shortly write \(E_{\alpha ,1}(t)=E_{\alpha }(t)\).
The fractional integral associated to the ABC-fractional derivative with no-singular and non-local kernel is defined by
where \(\mathfrak{I}_{t}^{\alpha }\) is the left RL-fractional integral given in (2.2).
We shall state some properties of the fractional integral and fractional differential operators.
Property 2.2
Let \(f ( t ) \in \mathbb{H}^{1}(a,b)\).
-
(i)
The RL-fractional integral operators \(\mathfrak{I}_{\tau }^{\alpha }\) satisfy the semigroup property
$$ \mathfrak{I}_{t}^{\alpha } \bigl[ \mathfrak{I}_{\tau }^{\beta } [ f ] \bigr] =\mathfrak{I}_{t}^{\alpha +\beta } [ f ] , \quad \alpha \geq 0, \beta \geq 0. $$ -
(ii)
The ABC-fractional derivative and ABC-fractional integral of a function f fulfill the semigroup property [51],
$$ \mathbf{I}_{t}^{\alpha } \bigl[ \mathbf{D}_{\tau }^{\alpha } [ f ] \bigr] =f(t)-f(a),\quad 0< \alpha < 1. $$ -
(iii)
The following statement holds:
$$\begin{aligned} \mathbf{I}_{t}^{\alpha } \bigl[ \mathbf{I}_{\tau }^{\beta } [ f ] \bigr] =&\frac{1}{\mathbf{B}(\alpha )\mathbf{B}(\beta )} \\ &{}\times \bigl[ (1-\alpha ) (1-\beta )f(t)+(1-\beta )\alpha \mathfrak{I}_{t}^{ \alpha } [ f ] +(1-\alpha )\beta \mathfrak{I}_{t}^{\beta } [ f ] + \alpha \beta \mathfrak{I}_{t}^{\alpha +\beta } [ f ] \bigr] . \end{aligned}$$
Property 2.3
Let \(f(t)\in L^{1}(a,b)\). The following statements hold:
-
(i)
For any \(\alpha \geq 0 \) and \(\beta >0\),
$$ \mathfrak{I}_{t}^{\alpha } \bigl[ ( \tau -a ) ^{\beta -1} \bigr] =\frac{\varGamma ( \beta ) }{\varGamma ( \beta +\alpha ) } ( t-a ) ^{\beta +\alpha -1}. $$For \(j=1,2,\ldots, [ \beta ] +1\),
$$ \mathfrak{D}_{t}^{\alpha } \bigl[ ( \tau -a ) ^{\beta -j} \bigr] =0. $$ -
(ii)
The RL-fractional integral and ABC-fractional integral of a function f fulfill the semigroup property
$$ \mathfrak{I}_{t}^{\beta } \bigl[ \mathbf{I}_{\tau }^{\alpha } [ 1 ] \bigr] = \frac{ ( (1-\alpha )+\alpha \mathfrak{I}_{t}^{\alpha } [ 1 ] ) }{\mathbf{B} ( \alpha ) }\mathfrak{I}_{t}^{ \beta } [ 1 ] . $$
In this paper, we take \(X=\mathcal{C}(J, \mathbb{R} )\) to be the Banach space of all continuous functions defined on J and endowed with the usual supremum norm. Obviously, the product space \(( X\times X,\Vert ( \cdot,\cdot ) \Vert ) \) is also a Banach space with the norm
Let ϒ, \(\varUpsilon _{1}\), \(\varUpsilon _{2}:X\times X\rightarrow X\times X\) be three operators such that
with
For completeness, we state the fixed point theorems and Ulam–Hyers stability theorem that will be employed therein.
Theorem 2.4
([52])
Let\(\mathcal{B}_{r}\)be the closed ball of radius\(r>0\), centred at zero, in a Banach spaceXwith\(\varUpsilon :\mathcal{B}_{r}\rightarrow X\)a contraction and\(\varUpsilon (\partial \mathcal{B}_{r})\subseteq \mathcal{B}_{r}\). Thenϒhas a unique fixed point in\(\mathcal{B}_{r}\).
Theorem 2.5
([52])
Let\(\mathcal{M}\)be a closed, convex, non-empty subset of a Banach space\(X\times X\). Suppose that\(\mathbb{E}\)and\(\mathbb{F}\)map\(\mathcal{M}\)intoXand that
-
(i)
\(\mathbb{E}u+\mathbb{F}v\in \mathcal{M}\)for all\(u,v\in \mathcal{M}\);
-
(ii)
\(\mathbb{E}\)is compact and continuous;
-
(iii)
\(\mathbb{F}\)is a contraction mapping.
Then there exists\(w\in \mathcal{M}\)such that\(\mathbb{E}w+\mathbb{F}w=w\), where\(w= ( u,v ) \in X\times X\).
Definition 2.6
([53])
Let X be a Banach space and \(\varUpsilon _{1}\), \(\varUpsilon _{2}:X\times X\rightarrow X\times X\) be two operators. Then the operational equations system provided by
is called Ulam–Hyers stable if we can find \(\sigma _{j}>0\), \(j=1,\ldots,4\), such that, for each \(\varepsilon _{1}\), \(\varepsilon _{2}>0\), and each solution-pair \((v_{1}^{\ast },v_{2}^{\ast })\in X\times X\) of the inequalities
there exists a solution \((u_{1}^{\ast },u_{2}^{\ast })\in X\times X\) of system (2.9) such that
Theorem 2.7
([53])
LetXbe a Banach space, \(\varUpsilon _{1}\), \(\varUpsilon _{2}:X\times X\rightarrow X\times X\)be two operators such that
for all\((v_{1},v_{2})\), \((v_{1}^{\ast },v_{2}^{\ast })\in X\times X\)and if the matrix
converges to zero. Then the operational equations system (2.12) is Ulam–Hyers stable.
3 Main results
This section contains our main results.
3.1 Fractional coupled system (1.3)
In order to study the nonlinear fractional coupled system (1.3), we first consider the associated linear problem and obtain its solution.
3.1.1 Linear fractional coupled system
In this subsection, we consider now the linear coupled system
Lemma 3.1
Considering the first equation of system (3.1), we assume that\(x_{i}\in C(J,\mathbb{R} )\cap L^{1} ( J ) \). Then, problem (3.1) is equivalent to the integral equation
Proof
Assume \(u_{i}(t)\) satisfies (3.1). By applying the fractional integral operators \(\mathbf{I}^{\alpha _{i}}\) and \(\mathbf{I}^{\beta _{i}}\) successively to (3.1), we obtain
for some real constants \(c_{1}\) and \(c_{2}\). Using the first boundary condition \(u_{i}(0)=0\) in (3.4), we have
Using the second boundary condition in (3.3), we have
Substituting the value of \(c_{1}\) in (3.5), we obtain
Substituting the values of \(c_{1}\) and \(c_{2}\) from (3.6) and (3.7), respectively, in (3.4), we end up with (3.2).
Conversely, it can be easily shown by direct computation that the integral equation (3.2) satisfies the boundary value problem (3.1). The proof is complete.
By a solution of problem (3.1) we mean a pair of functions \((u_{1},u_{2})\in X\times X\) satisfying (3.2) for all \(t\in J\), \(i=1,2 \). □
Lemma 3.2
Let\(x_{i}\in \mathcal{C}(J,\mathbb{R} )\cap L^{1} ( J ) \), \(i=1,2\). Then the integral solution for the linear system of fractional differential equations (3.1) is given by the pair of functions\((u_{1},u_{2})\in X\times X\), with (3.2).
3.1.2 Nonlinear fractional coupled system
In this subsection, we consider a nonlinear coupled system of the form (1.3).
From problem (3.1) we get the fractional integral system
which is equivalent to the initial value problem (1.3).
By virtue of Lemma 3.2, we get the following.
Lemma 3.3
Suppose that\(f_{1}\), \(f_{2}:J\times \mathbb{R} \times \mathbb{R} \rightarrow \mathbb{R} \)are continuous functions. Then\(( u_{1},u_{2} ) \in X\times X\)is a solution of (1.3) if and only if\(( u_{1},u_{2} ) \in X\times X\)is a solution of system (3.8).
Proof
The proof is immediate from Lemma 3.1, so we omit it. □
Since problem (1.3) and Eq. (3.8) are equivalent, it is enough to prove that there exists only one solution to (3.8).
In this paper, a closed ball with radius r centered on the zero function in \(X\times X\) is defined by
We define an operator \(\varPsi :X\times X\rightarrow X\times X\) by
where
Observe that problem (3.8) has solutions if and only if the operator equation \(\varPsi u=u\) has fixed points.
We make use of the following notations: for \(i=1,2\)
and
where
and
where
Throughout the remaining part of this paper, we assume the following conditions hold.
(\(\mathbf{A}_{1}\)) Assume that \(f_{i}:J\times \mathbb{R} \times \mathbb{R} \longrightarrow \mathbb{R} \) are continuous functions and there exist constants \(M_{i}>0\) such that, for all \(t\in J\) and \(u_{i},v_{i}\in \mathbb{R} \), \(i=1,2\), we have
(\(\mathbf{A}_{2}\)) Assume that there exist real constants \(N_{i}>0\) such that
for all \((t,u_{1},u_{2})\in J\times \mathbb{R} \times \mathbb{R} \). Also, let
By our assumption, for \((t,u_{1},u_{2})\in J\times \mathbb{R} \times \mathbb{R} \), we have
Let us introduce the notation
and
3.2 Existence and uniqueness of the solution of (3.8)
In this subsection, we apply Banach’s fixed point theorem to establish existence and uniqueness of solutions of (3.8).
Theorem 3.4
Assume (\(\mathbf{A}_{1}\)) and\(0< p_{i}^{\ast } ( 2M_{i}\mu _{i}^{\ast }+q_{i}^{\ast }\gamma _{1, \beta _{1}}^{\ast } ) <1\), for\(i=1,2\), hold. If we choose
then problem (1.3) has a unique solution\(u\in \mathcal{B}_{r}\).
Proof
Step i. We show that \(\varPsi (\mathcal{B}_{r})\subseteq \mathcal{B}_{r}\). To see this, for \(u=(u_{1},u_{2})\in \mathcal{B}_{r}\), \(t\in J\), \(i=1,2\), we have
We used the fact that
These imply that
Thus, we have
From (3.15) and (3.20), we obtain
again from (3.15) and (3.20), one has
In view of (3.20), we have
Using the above estimate in inequality (3.19), we obtain
where \(\mu _{i} ( t ) \) and \(\Im _{4,i} ( t ) \) are given by (3.13) and (3.14), respectively.
Taking the maximum on both sides of the inequality (3.25), the following can be obtained:
Choose a real constant \(r>0\) such that
with
and taking into account that (3.28), we conclude that (3.27) holds.
Step ii. Next, we show that Ψ is a contraction mapping. To see this, let \(u=(u_{1},u_{2})\), \(v=(v_{1},v_{2})\in \mathcal{B}_{r}\) and for any \(t\in J\), we get
In view of (3.20), we have
Similarly to the above argument, we can also obtain
again from (3.31), we have
In the same way, we obtain
Using (3.29)–(3.34), we obtain
with \(\Im _{4,i} ( t ) \) as in (3.14),
where \(\gamma _{1,\beta _{1}}^{\ast } ( t ) \) and \(\mu _{i} ( t ) \) are given by (3.12) and (3.13) respectively.
Furthermore, for any \(t\in J\), from inequality (3.36), we obtain
with
implying that (3.37) holds, where
Since \(L<1\), therefore, the operator Ψ is a contraction. Thus, by Theorem 2.4, problem (1.3) has a unique solution \(u\in B_{r}\). This completes the proof. □
3.3 Existence of solutions of (3.8)
In this subsection, define the following operators: \(\mathbb{E}, \mathbb{F}:\mathcal{B}_{r}\rightarrow X\times X\) and \(\mathbb{T}:\mathcal{B}_{r}\rightarrow X\times X\) by \(\mathbb{E}=(\mathbb{E}_{1},\mathbb{E}_{2})\), \(\mathbb{F}= ( \mathbb{F}_{1},\mathbb{F}_{2} ) \) and \(\mathbb{T}=\mathbb{E}+\mathbb{F}\), with
where the operators \(\mathbb{E}_{i}:X\times X\longrightarrow X \) and \(\mathbb{F}_{i}:X\times X\longrightarrow X\) are defined, respectively, by
and
with
and
The operator \(\mathbb{T}\) is well defined as \(f_{1}\) and \(f_{2}\) are continuous functions. Then the system of integral equations (3.8) can be written as an operator equation of the form
and solutions of problem (3.44) mean solutions of the operator equation, that is, fixed points of \(\mathbb{T}\).
We apply Krasnoselskii’s fixed point theorem to establish the existence of solutions of system (1.3).
Theorem 3.5
Assume (\(\mathbf{A}_{1}\)), (\(\mathbf{A}_{2}\)) and\(0< q_{i}^{\ast }p_{i}^{\ast }\gamma _{3,\beta _{i}}^{\ast }<1\), for\(i=1,2\)hold. If we choose
then the boundary value problem (1.3) has at least one solution\(u\in \mathcal{B}_{r}\).
Proof
We will prove the theorem in several steps. Clearly, \(\mathcal{B}_{r}\) is a closed, convex, non-empty subset of \(X\times X\).
Step 1: The first condition of Theorem 2.5holds.
That is,
For this purpose, take \(u=(u_{1},u_{2})\) and \(v=(v_{1},v_{2})\) in \(\mathcal{B}_{r}\), \(t\in J\), and consider
Now taking the maximum on both sides of the inequality (3.47), we obtain
Analogously, we obtain
Therefore, from (3.42), (3.49) and (3.50), we get
Similarly, taking the maximum on both sides of the inequality (3.51), the following can be obtained:
where
Consequently,
Hence, using (3.48) and (3.53), we can conclude that
where
Choose a real constant \(r>0\) such that
with
Thus, \(\Vert \mathbb{E}u+\mathbb{F}v\Vert \leq r\), this implying that (3.45) holds.
Step 2: \(\mathbb{F}\)is a contraction mapping.
To see this, let \(u=(u_{1},u_{2})\) and \(v=(v_{1},v_{2})\in \mathcal{B}_{r}\). Following the proof of Theorem 2.4, we have
Taking the maximum on both sides of the inequality (3.59), we obtain
where \(\mu _{i} ( t ) \) is defined in (3.13). So, from (3.60), we get
where \(L=\max \{L_{1},L_{2}\}\), with
When \(L<1\), the operator \(\mathbb{F}\) is a contraction.
Step 3: \(\mathbb{E}\)is continuous in\(X\times X \).
Let \(\{ ( u_{1,n},u_{2,n} ) \} \) be a sequence of a bounded set
such that \(( u_{1,n},u_{2,n} ) \longrightarrow ( u_{1},u_{2} ) \) as \(n\longrightarrow \infty \) in \(U_{r}\),
Now taking the maximum on both sides of the inequality (3.63), we obtain
which implies that
Clearly, \(\mathbb{E}\) is continuous in view of the continuity of \(u_{1}\) and \(u_{2}\).
Step 4: \(\mathbb{E}\)is equicontinuous.
For this purpose, take \((u_{1},u_{2})\in \mathcal{B}_{r}\), \(t_{1}\), \(t_{2}\in J\) such that \(t_{1}< t_{2}\). Then we have
provided
proving the claim. Observe that \(\vert \mathbb{E}_{i}(u_{1},u_{2})(t_{2})-\mathbb{E}_{i}(u_{1},u_{2})(t_{1}) \vert \rightarrow 0\) as \(t_{1}\rightarrow t_{2}\), implying that \(\mathbb{E}(u_{1},u_{2})\) is equicontinuous and thus the operator \(\mathbb{E}(u_{1},u_{2})\) is completely continuous.
Step 5: \(\mathbb{E}\)is uniformly bounded.
It follows from (3.51) that \(\mathbb{E}\) is uniformly bounded. Therefore, by the Arzelà–Ascoli theorem, we conclude that \(\mathbb{E}\) is a compact operator. Thus, all the conditions of Theorem 2.5 are fulfilled. Hence, system (1.3) has at least one solution \(u\in \mathcal{B}_{r}\). The proof is complete. □
3.4 Ulam-type stability of solutions of (3.8)
In this subsection, we use Urs’s [53] approach to establishing the Ulam–Hyers stability of solutions of (1.3). Thanks to Definition 2.6 and Theorem 2.7, the respective results are obtained.
Theorem 3.6
Assume (\(\mathbf{A}_{1}\)) and\(0< p_{i}^{\ast } ( 2M_{i}\mu _{i}^{\ast }+q_{i}^{\ast }\gamma _{1, \beta _{i}}^{\ast } ) <1\)for\(i=1,2\), hold. Choose
Further, assume the spectral radius of matrix\(\tilde{\mathcal{H}}_{\sigma }\)is less than one. Then the solutions of (1.3) are Ulam–Hyers stable.
Proof
In view of Theorem 2.4, we have
which implies that
where
Since the spectral radius of \(\tilde{\mathcal{H}}_{\sigma }\) is less than one, the solution of (1.3) is Ulam–Hyers stable. □
3.5 Dependence of solution on the parameters
For \(f_{i}\) Lipschitz in the second variables, the solution’s dependence on the order of the differential operator, the boundary values, and the nonlinear term \(f_{i}\) are also discussed.
In the following, for any \(u_{i}\in X\), we let
3.5.1 The dependence on parameters of the left-hand side of (3.8)
In this subsection, we show that the solutions of two equations with neighboring orders will (under suitable conditions on their right-hand sides \(f_{i}\)) lie close to one another.
Theorem 3.7
Suppose that the conditions of Theorem 2.5hold. Let\(u ( t ) = ( u_{1}(t),u_{2}(t) ) \)and\(u^{\epsilon } ( t ) = ( u_{1}^{\epsilon }(t),u_{2}^{ \epsilon }(t) ) \)be the solutions, respectively, of problems (1.3) and
with the boundary conditions (1.3), where\(0<\alpha _{i}-\epsilon <\alpha _{i}\leq 1\). Then\(\Vert u^{\epsilon }-u \Vert =\mathcal{O} ( \epsilon ) \), forϵsufficiently small.
Proof
By the above theorems, we can obtain the following results. Let
On the one hand, from (3.8) and (3.73)
From (3.74)
Repeating arguments similar to that above we can arrive at
From (3.74)–(3.78), we can get
where
and
From (3.79) and (\(\mathbf{A}_{1}\)) we have
as a result, we obtain the following:
where
Consequently, from (3.84), we obtain
where
and
Thus, in accordance with (3.85), we obtain \(\Vert u^{\epsilon }-u \Vert =O ( \epsilon ) \). □
Theorem 3.8
Suppose that the conditions of Theorem 2.5hold. Let\(u ( t )\), \(u^{\epsilon } ( t )\)be the solutions, respectively, of problems (1.3) and
with the boundary conditions
where\(0<\alpha _{i}-\epsilon <\alpha _{i}\leq 1\)and\(0<\beta _{i}-\epsilon <\beta _{i}\leq 1\). Then\(\Vert u^{\epsilon }-u \Vert =\mathcal{O} ( \epsilon ) \), forϵsufficiently small.
Proof
Let \(u ( t ) \) and \(u^{\epsilon } ( t ) \) be the solutions of (1.3) and (3.86)–(3.87), respectively. Hence, by the above theorems, we can obtain the following results. Let
be the solution of (3.86)–(3.87).
On the one hand, from (3.8) and (3.88)
Similar to the above, we can obtain
Analogously, we have
Taking similar procedures to (3.74) to (3.89), we obtain
where
and
From (3.94) with (3.15), we have
Similarly, it can be shown that
where
Consequently, from (3.99), we obtain
where
Thus, in accordance with (3.100), we obtain \(\Vert u^{\epsilon }-u \Vert =O ( \epsilon ) \). □
Theorem 3.9
Suppose that the conditions of Theorem 2.5hold. Let\(u ( t )\), \(u^{\epsilon } ( t )\)be the solutions, respectively, of problems (1.3) and
with the boundary conditions
where\(0<\beta _{i}-\epsilon <\beta _{i}\leq 1\). Then\(\Vert u^{\epsilon }-u \Vert =\mathcal{O} ( \epsilon ) \), forϵsufficiently small.
Proof
By the above theorems, we can obtain the following results. Let
be the solution of (3.101)–(3.102).
On the one hand, from (3.8) and (3.103)
In a similar manner, we can get
Moreover, we have by (3.104)–(3.108)
where
Thus, from (3.109) with (3.15), we get
Consequently, we obtain
Thus, in accordance with (3.114) we obtain \(\Vert u^{\epsilon }-u \Vert =O ( \epsilon ) \). □
3.5.2 The dependence on parameters of the right-hand side of (3.8)
Theorem 3.10
Assume that the hypotheses in Theorem 2.5hold. Let\(u ( t )\), \(u^{\epsilon } ( t )\)be the solutions, respectively, of problems (1.3) and
with boundary conditions (1.3), where\(1<\alpha _{i}\leq 2\)and\(( g_{i}^{\epsilon } ) ( t ) :=g_{i} ( t,u_{1}^{ \epsilon } ( t ) ,u_{2}^{\epsilon } ( t ) ) \), \(t\in ( 0,T ) \). Then\(\Vert u^{\epsilon }-u \Vert =O ( \epsilon ) \).
Proof
In accordance with Lemma 3.2, we have
Similarly, it can be shown that
Rewriting (3.119) as
where
Hence, from (3.124) with (3.15), we have
again from (3.128), one has
Then we have \(d^{\ast }\longrightarrow 0\) as \(\epsilon \longrightarrow 0\), implies \(\Vert u^{\epsilon }-u \Vert =O ( \epsilon ) \) as desired. □
3.5.3 The dependence on parameters of initial conditions of (1.3)
The following theorem investigates the continuous dependence of the solutions of system (1.3) on the initial value and the functions \(f_{i}\). For this purpose, we introduce small changes in the initial conditions of (1.3) and consider (1.3-a) with boundary conditions
Theorem 3.11
Assume the conditions of Theorem 2.5hold. Let\(u ( t )\), \(u^{\epsilon } ( t )\)be respective solutions of problems (1.3) and the boundary conditions (1.3-a)– (3.114). Then\(\Vert u^{\epsilon }-u \Vert =O ( \epsilon ) \).
Proof
Let \(u ( t ) = ( u_{1}(t),u_{2}(t) ) \) and \(u^{\epsilon } ( t ) = ( u_{1}^{\epsilon }(t),u_{2}^{ \epsilon }(t) ) \) be the solutions of (1.3) and (1.3-a)–(3.114), respectively. Hence
Now we derive from (3.8) and (3.131) that
Similarly to the above argument, we can also obtain
From (3.132)–(3.136), we derive that
where
Combining (3.15) with (3.137), we have
Taking the maximum on both sides of the inequality (3.139), the following can be obtained:
From the inequality (3.140) we have
where
Then we have \(n^{\ast } |\!|\!|f |\!|\!|+e^{ \ast }\longrightarrow 0\) as \(\epsilon \longrightarrow 0\), implies \(\Vert u^{\epsilon }-u \Vert =O ( \epsilon ) \) as desired. □
3.6 Examples
In this subsection, we will give examples to illustrate our main result.
Example 3.12
Let us first consider system (1.3) with
It is easy to see that the function \(f_{i}\) satisfies condition (H1).
From system (1.3) we take \(\alpha _{1}=3/5\), \(\beta _{1}=2/3\) and \(\alpha _{2}=2/5\), \(\beta _{2}=3/4 \), \(p_{1}=t^{3/2}+1/8\), \(q_{1}=t^{2/7}-1\), \(p_{2}=t^{5/3}+1/9\), \(q_{2}=t^{3/10}-1\). By using the Maple program, we can find that
We see that \(T_{\mathrm{min}} = 0.0465 < T \le T_{\mathrm{max}} = 2.2268\), and all the conditions of Theorem 3.4 are satisfied. Thus, the coupled system (1.3) has at least one solution. For example, when \(T \in \{T_{\mathrm{min}}, 1, 2, 2.2260, T_{\mathrm{max}}\}\), we have
T | \(r_{1}\) | \(r_{2}\) |
---|---|---|
0.0465 | 0.023148 | 0.047611 |
1 | 0.105130 | 0.283450 |
2 | 0.234970 | 2.493400 |
2.2260 | 0.276200 | 644.8100 |
2.2268 | 0.276370 | 4850.400 |
Then \(r \ge \max \{r_{1},r_{2}\} = 4850.400\). In this way, we have actually shown that the coupled system (1.3) has at least one solution and the solution lies in
Example 3.13
Consider problem (1.3), with
From system (1.3) we take \(\alpha _{1}=3/5\), \(\beta _{1}=2/3\) and \(\alpha _{2}=2/5\), \(\beta _{2}=3/4\), \(p_{1}=t^{3/2}+1/8\), \(q_{1}=0\), \(p_{2}=1\), \(q_{2}=\frac{1}{7}\),
It is easy to see that the function \(f_{i}\) satisfies condition (H1). Set \(T=2\), we can find that
the assumptions of Theorem 3.4 are satisfied with
Further, we see that (3.8) holds.
Example 3.14
Consider problem (1.3), with
For system (1.3) we take \(\alpha _{1}=3/5\), \(\beta _{1}=2/3\) and \(\alpha _{2}=2/5\), \(\beta _{2}=3/4\), \(p_{1}=t^{3/2}+1/8\), \(q_{1}=t^{2/7}-1\), \(p_{2}=t^{5/3}+1/7\), \(q_{2}=t^{3/10}-1\).
It is easy to see that the function \(f_{i}\) satisfies condition (\(\mathbf{A}_{2}\)). Set \(T=2\), we can find that
On the other hand, we have
the assumptions of Theorem 3.5 are satisfied with \(r\geq 52.833\).
Example 3.15
For system (1.3) we take \(\alpha _{1}=3/5\), \(\beta _{1}=2/3\) and \(\alpha _{2}=2/5\), \(\beta _{2}=3/4\), \(p_{1}=t^{3/2}+1/8\), \(q_{1}=0 \), \(p_{2}=1\), \(q_{2}=\frac{1}{7}\), with
Then, by the use of Theorem 3.6, we have
Here, te characteristic polynomial is \(\lambda ^{2}-0.611 87\lambda +4. 006 4\times 10^{-2}\), the spectral radius \(\rho ( \tilde{\mathcal{H}}_{\sigma } ) =0.53731<1\). Therefore, the matrix \(\tilde{\mathcal{H}}_{\sigma }\) converges to zero, and hence the solutions of (1.3) are Hyers–Ulam stable by using Theorem 2.4.
4 Conclusions
The theory of fractional operators with nonsingular kernels is new and we need to study the qualitative properties of differential equations involving such operators. This paper is different from the ones presented in the previous literature and shows that it is possible to extend the analysis of the coupled system with the Sturm–Liouville problems and the nonlinear Langevin equation to the concepts of fractional differentiation, using the newly introduced notion of the ABC-fractional derivative with nonlocal and nonsingular kernel. ABC-fractional operators were therefore used in this work to present some results dealing with the existence and uniqueness of solutions for the coupled system. As a first step, the coupled system is transformed to a fixed point problem by applying the tools of ABC-fractional calculus. Based on this, the existence results are established by means of Krasnoselskii’s fixed point theorem and Banach’s contraction principle. The paper also presented a discussion of the Ulam–Hyers stability of the solution of the proposed problem. We also analyzed the continuous dependence of solutions as regards the right-hand side of the equations, initial value condition and the fractional order for the coupled system. We conclude that such a method is very powerful, effectual and suitable for the solution of coupled systems. The concerned theory has been enriched by providing suitable examples.
References
Debnath, L.: Recent applications of fractional calculus to science and engineering. Int. J. Math. Math. Sci. 54, 3413–3442 (2003)
Angstmann, C.N., Erickson, A.M., Henry, B.I., McGann, A.V., Murray, J.M., Nichols, J.A.: Fractional order compartment models. SIAM J. Appl. Math. 77, 430–446 (2017)
Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006)
Seemab, A., Ur Rehman, M., Alzabut, J., Hamdi, A.: On the existence of positive solutions for generalized fractional boundary value problems. Bound. Value Probl. 2019, 186 (2019). https://doi.org/10.1186/s13661-019-01300-8
Berhail, A., Bouache, N., Matar, M.M., Alzabut, J.: On nonlocal integral and derivative boundary value problem of nonlinear Hadamard Langevin equation with three different fractional orders. Bol. Soc. Mat. Mex. (2019). https://doi.org/10.1007/s40590-019-00257-z
Kalvandi, V., Samei, M.E.: New stability results for a sum-type fractional q-integro-differential equation. J. Adv. Math. Stud. 12(2), 201–209 (2019)
Samei, M.E., Yang, W.: Existence of solutions for k-dimensional system of multi-term fractional q-integro-differential equations under anti-periodic boundary conditions via quantum calculus. Math. Methods Appl. Sci. 43, 4360–4382 (2020)
Ahmadi, A., Samei, M.E.: On existence and uniqueness of solutions for a class of coupled system of three term fractional q-differential equations. J. Adv. Math. Stud. 13(1), 69–80 (2020)
Abbas, S.: Existence of solutions to fractional order ordinary and delay differential equations and applications. Electron. J. Differ. Equ. 2011, Paper No. 9 (2011)
Abbas, S., Mahto, L., Favini, A., Hafayed, M.: Dynamical study of fractional model of allelopathic stimulatory phytoplankton species. Differ. Equ. Dyn. Syst. 24(3), 267–280 (2016)
Kavitha, V., Abbas, S., Murugesu, R.: Existence of Stepanov-like weighted pseudo almost automorphic solutions of fractional integro-differential equations via measure theory. Nonlinear Stud. 24(4), 825–850 (2017)
Syed, A., Vedat, S.E., Shaher, M.: Dynamical analysis of the Irving–Mullineux oscillator equation of fractional order. Signal Process. 102, 171–176 (2014)
Khalil, R., Al Horani, M., Yousef, A., Sababheh, M.: A new definition of fractional derivative. J. Comput. Appl. Math. 264, 65–70 (2014)
Atangana, A., Noutchie, S.C.O.: Model of break-bone fever via beta-derivatives. BioMed Res. Int. 2014, Article ID 523159 (2014)
Jarad, F., Baleanu, D., Abdeljawad, A.: Caputo-type modification of the Hadamard fractional derivatives. Adv. Differ. Equ. 2012, 142 (2012)
Atangana, A.: On the new fractional derivative and application to nonlinear Fisher’s reaction–diffusion equation. Appl. Math. Comput. 273, 948–956 (2016)
Caputo, M., Fabrizio, M.: A new definition of fractional derivative without singular kernel. Prog. Fract. Differ. Appl. 1(2), 1–13 (2015)
Atangana, A., Baleanu, D.: New fractional derivatives with nonlocal and non-singular kernel: theory and application to heat transfer model. Therm. Sci. 20(2), 763–769 (2016)
Losada, J., Nieto, J.J.: Properties of a new fractional derivative without singular kernel. Prog. Fract. Differ. Appl. 1(2), 87–92 (2015)
Hristov, J.: Derivatives with non-singular kernels from the Caputo–Fabrizio definition and beyond: appraising analysis with emphasis on diffusion models. Front. Fract. Calc. 1, 270–342 (2017)
Baleanu, D., Fernandez, A.: On some new properties of fractional derivatives with Mittag-Leffler kernel. Commun. Nonlinear Sci. Numer. Simul. 59, 444–462 (2018)
Jarad, F., Abdeljawad, T., Hammouch, Z.: On a class of ordinary differential equations in the framework of Atangana–Baleanu fractional derivative. Chaos Solitons Fractals 117, 16–20 (2018)
Zettl, A.: Sturm–Liouville Theory. Mathematical Surveys and Monographs, vol. 121. Am. Math. Soc., Providence (2005)
Klimek, M., Agrawal, O.P.: Fractional Sturm–Liouville problem. Comput. Math. Appl. 66, 795–812 (2013)
Langevin, P.: Sur la théorie du mouvement brownien [On the theory of Brownian motion]. C. R. Acad. Sci. Paris 146, 530–533 (1908)
Mainardi, F., Pironi, P.: The fractional Langevin equation: Brownian motion revisited. Extr. Math. 11(1), 140–154 (1996)
Lutz, E.: Fractional Langevin equation. Phys. Rev. E 64, 051106 (2001)
Coffey, W.T., Kalmykov, Y.P., Waldron, J.T.: The Langevin Equation. With Applications to Stochastic Problems in Physics, Chemistry and Electrical Engineering, 2nd edn. World Scientific Series in Contemporary Chemical Physics, vol. 14. World Scientific, River Edge (2004)
Fa, K.S.: Generalized Langevin equation with fractional derivative and long-time correlation function. Phys. Rev. E 73(6), 061104 (2006)
Zhou, H., Alzabut, J., Yang, L.: On fractional Langevin differential equations with anti-periodic boundary conditions. Eur. Phys. J. Spec. Top. 226(16–18), 3577–3590 (2017)
Ahmad, B., Alsaedi, A., Salem, S.: On a nonlocal integral boundary value problem of nonlinear Langevin equation with different fractional orders. Adv. Differ. Equ. 2019, 57 (2019). https://doi.org/10.1186/s13662-019-2003-x
Ahmad, B., Nieto, J.J., Alsaedi, A., El-Shahed, M.: A study of nonlinear Langevin equation involving two fractional orders in different intervals. Nonlinear Anal. 13, 599–606 (2012)
Samei, M.E., Hedayati, V., Ranjbar, G.K.: The existence of solution for k-dimensional system of Langevin Hadamard-type fractional differential inclusions with 2k different fractional orders. Mediterr. J. Math. 17(1), Paper No. 37 (2020)
Sudsutad, W., Ntouyas, S.K., Tariboon, J.: Systems of fractional Langevin equations of Riemann–Liouville and Hadamard types. Adv. Differ. Equ. 2015, 235 (2015)
Ahmad, B., Nieto, J.J., Alsaedi, A., Aqlan, M.: A coupled system of Caputo-type sequential fractional differential equations with coupled (periodic/anti-periodic type) boundary conditions. Mediterr. J. Math. 14(6), Article ID 227 (2017)
Agarwal, R.P., Ahmad, B., Garout, D., Alsaedi, A.: Existence results for coupled nonlinear fractional differential equations equipped with nonlocal coupled flux and multi-point-boundary conditions. Chaos Solitons Fractals 102, 149–161 (2017)
Ahmad, M., Zada, A., Alzabut, J.: Hyres–Ulam stability of coupled system of fractional differential equations of Hilfer–Hadamard type. Demonstr. Math. 52, 283–295 (2019)
Ahmad, M., Zada, A., Alzabut, J.: Stability analysis for a nonlinear coupled implicit switched singular fractional differential system with p-Laplacian. Adv. Differ. Equ. 2019, 436 (2019)
Zada, A., Waheed, H., Alzabut, J., Wang, X.: Existence and stability of impulsive coupled system of fractional integrodifferential equations. Demonstr. Math. 52, 296–335 (2019)
Zhou, X., Xu, C.: Well-posedness of a kind of nonlinear coupled system of fractional differential equations. Sci. China Math. 59, 1209–1220 (2016)
Wang, J., Zhang, Y.: Analysis of fractional order differential coupled systems. Math. Methods Appl. Sci. 38, 3322–3338 (2015)
Liu, W., Yan, X., Qi, W.: Positive solutions for coupled nonlinear fractional differential equations. J. Appl. Math. 2014, Article ID 790862 (2014)
Yang, W.: Positive solutions for a coupled system of nonlinear fractional differential equations with integral boundary conditions. Comput. Math. Appl. 63, 288–297 (2012)
Ahmad, B., Luca, R.: Existence of solutions for a system of fractional differential equations with coupled nonlocal boundary conditions. Fract. Calc. Appl. Anal. 21(2), 423–441 (2018)
Su, X.: Boundary value problem for a coupled system of nonlinear fractional differential equations. Appl. Math. Lett. 22, 64–69 (2009)
Iswarya, M., Raja, R., Rajchakit, G., Alzabut, J., Lim, C.P.: A perspective on graph theory based stability analysis of impulsive stochastic recurrent neural networks with time-varying delays. Adv. Differ. Equ. 2019, 502 (2019). https://doi.org/10.1186/s13662-019-2443-3
Rajchakit, G., Pratap, A., Raja, R., Cao, J., Alzabut, J., Huang, C.: Hybrid control scheme for projective lag synchronization of Riemann Liouville sense fractional order memristive BAM neural networks with mixed delays. Mathematics 7, 759 (2019). https://doi.org/10.3390/math7080759
Matar, M.M., Abu Skhail, E.S., Alzabut, J.: On solvability of nonlinear fractional differential systems involving nonlocal initial conditions. Math. Methods Appl. Sci. (2019). https://doi.org/10.1002/mma.5910
Kiataramkul, C., Sotiris, K.N., Tariboon, J., Kijjathanakorn, A.: Generalized Sturm–Liouville and Langevin equations via Hadamard fractional derivatives with anti-periodic boundary conditions. Bound. Value Probl. 2016, 217 (2016)
Muensawat, T., Ntouyas, S.K., Tariboon, J.: Systems of generalized Sturm–Liouville and Langevin fractional differential equations. Adv. Differ. Equ. 2017, 63 (2017)
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
Smart, D.R.: Fixed Point Theorems. Cambridge University Press, Cambridge (1980)
Urs, C.: Coupled fixed point theorems and applications to periodic boundary value problems. Miskolc Math. Notes 14(1), 323–333 (2013)
Acknowledgements
The second author would like to thank Prince Sultan University for supporting this work through research group Nonlinear Analysis Methods in Applied Mathematics (NAMAM) group number RG-DES-2017-01-17.
Availability of data and materials
Not applicable.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
All authors have equally and significantly contributed to the contents of the paper. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
On behalf of all authors, the corresponding author states that there is no conflict of interest.
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
Baleanu, D., Alzabut, J., Jonnalagadda, J.M. et al. A coupled system of generalized Sturm–Liouville problems and Langevin fractional differential equations in the framework of nonlocal and nonsingular derivatives. Adv Differ Equ 2020, 239 (2020). https://doi.org/10.1186/s13662-020-02690-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-020-02690-1