- Research
- Open Access
- Published:
Ulam–Hyers–Mittag-Leffler stability for tripled system of weighted fractional operator with TIME delay
Advances in Difference Equations volume 2021, Article number: 299 (2021)
Abstract
This study is aimed to investigate the sufficient conditions of the existence of unique solutions and the Ulam–Hyers–Mittag-Leffler (UHML) stability for a tripled system of weighted generalized Caputo fractional derivatives investigated by Jarad et al. (Fractals 28:2040011 2020) in the frame of Chebyshev and Bielecki norms with time delay. The acquired results are obtained by using Banach fixed point theorems and the Picard operator (PO) method. Finally, a pertinent example of the results obtained is demonstrated.
1 Introduction
The topic of fractional differential equations (FDEs) has attracted the interest of researchers from various disciplines thanks to it being considered a useful gizmo in modeling the dynamics of various physical systems and their applications in many fields of applied sciences, engineering and technical sciences, etc. For further details, we refer the readers to [2–5].
There are various definitions of fractional calculus (FC) that developed the (FDEs) in modeling and describe the memory accurately. Among these famous operators are Riemann–Liouville, Riemann, Grunwald–Letnikov, Caputo, Hilfer and Hadamard which are the foremost used. For more details, we refer the readers to [1, 6–17]. There is a prominent and noticeable interest within the investigation of qualitative characteristics of solutions (existence, uniqueness, stability) of (FDEs). For applications and up-to-date work, we refer the readers to [18–26].
On the other hand, the study of coupled systems involving (FDEs) is additionally important as intrinsically systems occur in various problems of applied nature. For a few theoretical works on coupled systems of (FDEs), we refer to a series of papers [27–31].
The topic of stability of systems is one among the foremost important qualitative characteristics of a solution. But as far as we know, this is often the primary work with regard to a tripled system of weighted fractional differential equations with time delay.
Tripled fractional boundary systems may be a generalization of coupled fractional systems as they are governed by three associated differential equations with three conditions [32, 33].
Recently, Matar et al. [34], by means of some fixed point theorems like Banach and Krasnoselskii, studied the existence and uniqueness of solutions of the tripled system
with cyclic permutation boundary conditions
where \({}^{C}\mathcal{D}_{0^{+}}^{\kappa _{i}}\) denotes the Caputo fractional derivative (CFD) of order \(\kappa _{i}\), \(i=1,2,3\), \(f_{i}: [ 0,T ] \times \mathbb{R} ^{3}\rightarrow \mathbb{R} \) are continuous functions, \(\sigma =(1,2,3)\) is a cycle permutation.
Wang and Zhang [35], by means of the Banach fixed point theorem and the Picard operator method, studied existence, uniqueness, and UHML stability results with respect to Chebyshev and Bielecki norms of the following problem:
where \({}^{C}\mathcal{D}_{0^{+}}^{\kappa }\) is the Caputo FD of order κ.
Motivated by the preceding works, in the current paper, we investigate the existence of a unique solution and a UHML stability result for a tripled system of weighted Caputo fractional differential equations (TSWFDEs) with time delay
where \({}_{w}^{C}\mathcal{D}_{0^{+}}^{\kappa _{i},\varphi }\) is the weighted generalized Caputo fractional derivative (WCFD) of order \(\kappa _{i} \in ( 0,1 ) \), \(wf_{i}:(0,b]\times \mathbb{R} ^{3}\times \mathbb{R} ^{3}\rightarrow \mathbb{R} \) is a given continuous function, \(w(\varkappa )\neq 0\) is a weighted function with \(w^{-1}(\varkappa )=\frac{1}{w(\varkappa )}\), \(\varphi :(0,b]\rightarrow \mathbb{R} ^{+}\) is strictly increasing such that \(\varphi \in C^{1} [ 0,b ] \) with \(\varphi ^{\prime } ( \varkappa ) \neq 0\) for all \(\varkappa \in (0,b]\), \(\vartheta _{i}\in C ( [-r,0],\mathbb{R} ) \) and \(\mathfrak{h}\in C ( [ 0,b ] ,[-r,b] ) \) with \(\mathfrak{h}(\varkappa )\leq \varkappa \), \(r>0\). For simplicity, we denote the sequence of functions \(( \varsigma _{1}(\varkappa ),\varsigma _{2}(\varkappa ), \varsigma _{3}(\varkappa ) ) \) by \(\varsigma (\varkappa )\) and \(( \varsigma _{1}(\mathfrak{h}(\varkappa )),\varsigma _{2}(\mathfrak{h}(\varkappa ),\varsigma _{3}(\mathfrak{h}(\varkappa ) ) \) by \(\varsigma (\mathfrak{h}(\varkappa ))\). In the sequel, the functions such as \(f_{i} ( \varkappa ,\varsigma _{1}(\varkappa ),\varsigma _{2}( \varkappa ),\varsigma _{3}(\varkappa ),\varsigma _{1}(\mathfrak{h}( \varkappa )),\varsigma _{2}(\mathfrak{h}(\varkappa ),\varsigma _{3}(\mathfrak{h}(\varkappa ) ) \) will be written as \(f_{i} ( \varkappa ,\varsigma (\varkappa ),\varsigma ( \mathfrak{h}(\varkappa )) ) \).
By a solution of system (1.1), it is meant that there is a sequence \(\varsigma = ( \varsigma _{1},\varsigma _{2},\varsigma _{3} ) \) satisfying system (1.1) on \((0,b]\).
The major contribution of this paper is to derive equivalent fractional integral equations to the (TSWFDEs) and to establish the existence of a unique solution and Ulam–Hyers–Mittag-Leffler stability results for (TSWFDEs) with respect to Chebyshev and Bielecki norms with time delay. The Picard operator method and the Banach fixed point theorem are the important tools used to prove our main result. To the best of our observation, there is no analytical literature on studying the existence of tripled systems of fractional differential equations (TSWFDEs). This paper is the first work to study the existence of a unique solution and an Ulam–Hyers–Mittag-Leffler stability result for (TSWFDEs) with respect to Chebyshev and Bielecki norms with time delay.
This paper is systematized as follows: In Sect. 2, we render the rudimentary definitions and prove some lemmas that are applied throughout this paper, also we present the concepts of some fixed point theorems. In Sect. 3, we prove the existence of unique solutions and (UHML) stability results of system (1.1) under Chebyshev and Bielecki norms. In Sect. 4, we give a pertinent example to illustrate our results. Concluding remarks about our results are given in the last section.
2 Preliminaries
In this part, we give important definitions and auxiliary lemmas that are pertinent to our main results.
Let \(E=C ( [ -r,b ] ,\mathbb{R} ) \) and \(\Omega =C ( [ 0,b ] ,\mathbb{R} ) \), (\(b>0 \)) be the Banach spaces of continuous function \(u: [ -r,b ] \rightarrow \mathbb{R}\) and \(v: [ 0,b ] \rightarrow \mathbb{R} \) with the norms
and
respectively. Clearly, E and Ω are the Banach spaces with the above norms. Let \(E^{\ast }:=E\times E\times E\) and \(\Omega ^{\ast }:=\Omega \times \Omega \times \Omega \) be the product spaces with the norms
and
respectively.
Definition 2.1
([1])
Let \(\kappa >0\) and \(\varsigma : [ 0,b ] \rightarrow \mathbb{R} \) be an integrable function. Then (WCFI) and (WCFD) are given by
and
respectively, where \(\mathcal{N}_{\varphi }^{\kappa -1}(\varkappa ,s)=\varphi ^{\prime }(s)( \varphi (\varkappa )-\varphi (s))^{\kappa -1}\), \(n= [ \kappa ] +1\), and φ is a strictly increasing function on \([0,b]\).
Definition 2.2
([1])
Let \(\kappa \in ( n-1,n ) \), \(n\in \mathbb{N} \), and \(\varsigma \in A_{w}^{n} [ 0,b ] \). Then (WCFD) is given by
where \(n= [ \kappa ] +1\) and \(\varsigma _{\varphi ,w}^{ [ i ] }(\varkappa )= ( \frac{1}{\varphi ^{\prime }(\varkappa )}\frac{d}{d\varkappa } ) ^{i} ( w(\varkappa )\varsigma (\varkappa ) ) \). Moreover, \({}^{C}\mathcal{D}_{0^{+}}^{\kappa ,\varphi ,w}\) can be written as
where \(n= [ \kappa ] +1\) and \(\varsigma _{\varphi }^{ [ n ] }(\varkappa )= ( \frac{1}{\varphi ^{\prime }(\varkappa )}\frac{d}{d\varkappa } ) ^{n} ( \varsigma (\varkappa ) ) \). In particular, if \(\kappa =n\in \mathbb{N} \), we have \({}^{C}\mathcal{D}_{0^{+}}^{\kappa ,\varphi ,w}\varsigma (\varkappa )= \varsigma _{\varphi ,w}^{ [ n ] }(\varkappa )\).
Lemma 2.3
([1])
Let \(\kappa ,\gamma >0\). Then
and
in case \({}_{w}^{C}\mathcal{D}_{0^{+}}^{\kappa ,\varphi } [ w^{-1}( \varkappa ) ( \varphi (\varkappa )-\varphi (0) ) ^{\gamma -1} ] =0\) for all \(\gamma -1\in \{ 0,1,\ldots,n-1 \} \), \(n\in \mathbb{N} \).
Remark 2.4
([1])
If \(w(\varkappa )=1\), then equation (2.1) reduces to the relation obtained in Kilbas et al. [3].
Lemma 2.5
([1])
For \(\kappa \in ( n-1,n ) \), \(n\in \mathbb{N} \), we have
and
In this paper, due to \(\kappa \in ( 0,1 ) \), then
Lemma 2.6
([1])
Let \(\kappa >0\). Then \({}_{w}\mathcal{I}_{0^{+}}^{\kappa ,\varphi }: ( C [ 0,b ] ,\mathbb{R} ) \rightarrow ( C [ 0,b ] ,\mathbb{R} ) \) is bounded. Moreover,
Definition 2.7
([35])
Let \((X,d)\) be a metric space. Now \(T:X\rightarrow X\) is a Picard operator if there exists \(\varsigma ^{\ast }\in X\) such that \(F_{T}= \varsigma ^{\ast }\), where \(F_{T} =\{\varsigma \in X:T(\varsigma )=\varsigma \}\) is the fixed point set of T, and the sequence \((T^{n}(\varsigma _{0}))_{n\in \mathbb{N} }\) converges to \(\varsigma ^{\ast }\) for all \(\varsigma _{0}\in X\).
Lemma 2.8
([35])
Let \((X,d,\leq )\) be an ordered metric space, and let \(T:X\rightarrow X\) be an increasing Picard operator with \(F_{T} = \{\varsigma _{T}^{\ast }\}\). Then, for \(\varsigma \in X\), \(\varsigma \leq T(\varsigma )\) implies \(\varsigma \leq \varsigma _{T}^{ \ast }\).
Remark 2.9
A sequence \(( \widehat{\varsigma }_{1},\widehat{\varsigma }_{2}, \widehat{\varsigma }_{3} ) \in E^{\ast }\) satisfies the inequality
if and only if there exists a function \(w\eta _{i}\in \Omega \) such that
-
(1)
\(\vert w(\varkappa )\eta _{i}(\varkappa ) \vert \leq \varepsilon _{i}E_{\kappa _{i}} ( \varphi (\varkappa )-\varphi (0) ) ^{\kappa _{i}}\), \(\varkappa \in ( 0,b ] \);
-
(2)
\({}_{w}^{C}\mathcal{D}_{0^{+}}^{\kappa ,\varphi }\widehat{\varsigma }_{i}(\varkappa )=f_{i} (\varkappa ,\widehat{\varsigma }, \widehat{\varsigma }(\mathfrak{h}(\varkappa )) )+\eta _{i}(\varkappa )\), \(\varkappa \in ( 0,b ] \).
Definition 2.10
System (1.1) is (UHML) stable with respect to \(E_{\kappa }((\varphi (\varkappa )-\varphi (0))^{\kappa })=\max_{ \varkappa \in ( 0,b ] } \{ E_{\kappa _{i}}(\varphi ( \varkappa )-\varphi (0))^{\kappa _{i}} \} \), \(i=1,2,3\), if there exists \(\mathcal{M}>0\) such that, for each \(\varepsilon =\max \{\varepsilon _{1},\varepsilon _{2},\varepsilon _{3} \}>0\) and each sequence \(( \widehat{\varsigma }_{1},\widehat{\varsigma }_{2}, \widehat{\varsigma }_{3} ) \in E^{\ast }\) satisfies inequality (2.3), there exists a solution \(( \varsigma _{1},\varsigma _{2},\varsigma _{3} ) \in E^{\ast }\) of system (1.1) with
Lemma 2.11
Let \(i=1,2,3\) and \(wf_{i}: ( 0,b ] \times \mathbb{R} ^{3}\times \mathbb{R} ^{3}\rightarrow \mathbb{R} \) be continuous functions. If the sequence \(( \varsigma _{1},\varsigma _{2},\varsigma _{3} ) \in E^{ \ast }\) satisfies system (1.1), then, in view of Lemma 2.5, we can easily prove that \(( \varsigma _{1},\varsigma _{2},\varsigma _{3} ) \) satisfies the following integral equations:
for all \(i=1,2,3\).
Lemma 2.12
Let \(\kappa _{i}\in ( 0,1 ) \), \(i=1,2,3 \), and \(\mu =\max_{\varkappa \in (0,b]} \vert w(\varkappa ) \vert \). If a sequence \(( \widehat{\varsigma }_{1},\widehat{\varsigma }_{2}, \widehat{\varsigma }_{3} ) \in E^{\ast }\) satisfies inequality (2.3), then \(( \widehat{\varsigma }_{1},\widehat{\varsigma }_{2}, \widehat{\varsigma }_{3} ) \) satisfies the following integral inequality:
Proof
Let \(( \widehat{\varsigma }_{1},\widehat{\varsigma }_{2}, \widehat{\varsigma }_{3} ) \in E^{\ast }\) satisfy inequality (2.3). Then, in the light of Remark 2.9 and Lemma 2.11, we have
Thus, we have
□
Let us consider the continuous operator \(\mathcal{G}:E^{\ast }\rightarrow E^{\ast }\) defined by
where
and
3 Main results
In this section, we prove the existence of a unique solution and a (UHML) stability result for system (1.1) with respect to Chebyshev and Bielecki norms with time delay. For our analysis, the following hypotheses should be satisfied.
(H1) \(wf_{i}\in C ( [ 0,b ] \times \mathbb{R} ^{3}\times \mathbb{R} ^{3},\mathbb{R} ) \), \(\mathfrak{h}\in C ( [ 0,b ] , [ -r,b ] ) \), \(\mathfrak{h}(\varkappa )\leq \varkappa \), \(r>0\), \(i=1,2,3\).
(H1) \(( wf_{i} ) : [ 0,b ] \times \mathbb{R} ^{3}\times \mathbb{R} ^{3}\rightarrow \mathbb{R} \) are continuous functions and there exists \(\mathcal{L}_{i}>0\) such that
for all \(\varkappa \in (0,b]\), \(\varsigma ,v,z,y\in \mathbb{R} ^{3}\).
Theorem 3.1
Assume that (H1) and (H2) are satisfied. If
then system (1.1) has a unique solution \(\varsigma = ( \varsigma _{1},\varsigma _{2},\varsigma _{3} ) \in \Xi :=E\cap \Omega \times E\cap \Omega \times E\cap \Omega \).
Proof
Define a closed ball set as \(\mathbb{P}_{\zeta }= \{ ( \varsigma _{1},\varsigma _{2}, \varsigma _{3} ) \in E^{\ast }: \Vert ( \varsigma _{1}, \varsigma _{2},\varsigma _{3} ) \Vert _{E^{\ast }}\leq \zeta \} \) with \(\zeta \geq \frac{\Lambda }{1-\Upsilon }\), where
and \(\widehat{f_{i}}=\sup_{s\in {}[ 0,b]} \vert wf_{i}(s,0,0) \vert \), \(\mu =\max_{\varkappa \in [ 0,b ] } \vert w( \varkappa ) \vert \). In order to examine the existence of a unique solution by means of the Banach fixed point theorem, we only prove that the operator \(\mathcal{G} ( \varsigma ) \) defined by (2.5) has a fixed point in Ξ. For this purpose, we split the proof into the following steps.
Step (1): \(\mathcal{G} ( \varsigma ) \) is continuous.
From the continuity of functions \(wf_{i} ( \varkappa ,\varsigma (\varkappa ),\varsigma ( \mathfrak{h}(\varkappa )) )\), we deduce that the operator \(\mathcal{G} ( \varsigma _{1},\varsigma _{2},\varsigma _{3} ) \) is continuous too.
Step (2): \(\mathcal{G} ( \varsigma ) \in \mathbb{P}_{\zeta }\)
Case (1). For each \(\varsigma = ( \varsigma _{1},\varsigma _{2},\varsigma _{3} ) \in \mathbb{P}_{\zeta }\) and for \(\varkappa \in [ -r,0 ] \), we have
Hence
Case (2). For each \(\varsigma = ( \varsigma _{1},\varsigma _{2},\varsigma _{3} ) \in \mathbb{P}_{\zeta }\) and for \(\varkappa \in [ 0,b ] \), we have
which implies
This proves that \(\mathcal{G} ( \varsigma ) \in \mathbb{P}_{\zeta } \).
Step (3): \(\mathcal{G} ( \varsigma ) \) is a contraction in \(\mathbb{P}_{\zeta }\).
In this step, we will show that the operator \(\mathcal{G} ( \varsigma ) \) is a contraction mapping on \(\mathbb{P}_{\zeta }\) with respect to the norm \(\Vert ( \varsigma _{1},\varsigma _{2},\varsigma _{3} ) \Vert _{E^{\ast }}= \Vert \varsigma _{1} \Vert _{E}+ \Vert \varsigma _{2} \Vert _{E}+ \Vert \varsigma _{3} \Vert _{E}\).
Case (1): For \(( \varsigma _{1},\varsigma _{2},\varsigma _{3} ) , ( v_{1},v_{2},v_{3} ) \in \mathbb{P}_{\zeta }\) and \(\varkappa \in {}[ -r,0]\), we have
It follows that
Case (2): For \(( \varsigma _{1},\varsigma _{2},\varsigma _{3} ) , ( v_{1},v_{2},v_{3} ) \in \mathbb{P}_{\zeta }\), \(\varkappa \in ( 0,b ] \) and by (H2), we obtain
It follows that
Thus, in light of the above cases, for all \(\varkappa \in {}[ -r,b]\), we get
Thus, the operator \(\mathcal{G} ( \varsigma _{1},\varsigma _{2},\varsigma _{3} ) \) is a contraction mapping on Ξ with respect to the norm
So, by the above steps and the Banach fixed point theorem, we deduce that system (1.1) has a unique solution in Ξ. □
Theorem 3.2
Assume that (H1) and (H2) are satisfied. If
and \(\mathcal{M=}\frac{3}{\mu \lambda }>0\), where \(\lambda =1-\sum_{i=1}^{3}\frac{2\mathcal{L}_{i} ( \varphi (b)-\varphi (0) ) ^{\kappa _{i}}}{\mu \Gamma (\kappa _{i}+1)}\neq 0\), then
is UHML stable.
Proof
Let \(\widehat{\varsigma }= ( \widehat{\varsigma }_{1}, \widehat{\varsigma }_{2},\widehat{\varsigma }_{3} ) \in \Xi \) be a sequence satisfying inequality (2.3) and \(\varsigma = ( \varsigma _{1},\varsigma _{2},\varsigma _{3} ) \in \Xi \) be a unique solution to the following (TSWFDEs)
Now, by Lemma 2.11, for \(i=1,2,3\), we have
First, for all \(\varkappa \in {}[ -r,0]\), we have \(\vert \widehat{\varsigma }_{i}(\varkappa )-\varsigma _{i}(\varkappa ) \vert =0\). Next, from (H2) and Lemma 2.12, for each \(\varkappa \in ( 0,b ] \), we have
Set \(\Omega _{+}:=C ( [ -r,b ] ,\mathbb{R} ^{+} ) \) and \(\Omega _{+}^{\ast }=\Omega _{+}\times \Omega _{+}\times \Omega _{+}\). Now, for each sequence \(y= ( y_{1},y_{2},y_{3} ) \in \Omega _{+}^{\ast }\), we consider the operator \(\mathcal{U}:\Omega _{+}^{\ast }\rightarrow \Omega _{+}\) defined by
where \(\mathcal{U}_{i} ( y_{1},y_{2},y_{3} ) ( \varkappa )\), \(i=1,2,3\), given as
We prove that \(\mathcal{U} ( y_{1},y_{2},y_{3} ) \) is a Picard operator. For \(i=1,2,3\), \(\varkappa \in ( 0,b ] \) and \(( y_{1},y_{2},y_{3} ) , ( \widehat{y}_{1}, \widehat{y}_{2},\widehat{y}_{3} ) \in \Omega _{+}^{\ast }\), we have
which implies
Since \(\Upsilon <1\), we conclude that the operator \(\mathcal{U}\) is a contraction mapping on Ξ with respect to the norm
According to the Banach fixed point theorem, we deduce that \(\mathcal{U} ( y_{1},y_{2},y_{3} ) \) is a Picard operator and \(F_{\mathcal{U}}= ( y_{1}^{\ast },y_{2}^{\ast },y_{3}^{\ast } ) \). Now, for all \(\varkappa \in (0,b]\), we have
and
For \(i=1,2,3\), we get
Next, we prove that the solution \(( y_{1}^{\ast },y_{2}^{\ast },y_{3}^{\ast } ) \) is increasing. Let \(\sigma =\max \{ \sigma _{1},\sigma _{2},\sigma _{3} \} \), where \(\sigma _{i}:=\min_{s\in ( 0,b ] } [ y_{i}^{\ast }(s)+y_{i}^{ \ast }(\mathfrak{h}(s)) ] \in \mathbb{R} _{+}\), \(i=1,2,3\), then for all \(0\leq \varkappa _{1}<\varkappa _{2}\leq b\), we have
Therefore \(y_{i}^{\ast }\) is increasing for all \(i=1,2,3\), and consequently \(( y_{1}^{\ast },y_{2}^{\ast },y_{3}^{\ast } ) \) is increasing too. Due to \(\mathfrak{h}(\varkappa )\leq \varkappa \), we get \(y_{i}^{\ast }(\mathfrak{h}(\varkappa ))\leq y_{i}^{\ast }(\varkappa )\) and hence
In particular, if \(y_{i}= \vert \widehat{\varsigma }_{i}(\varkappa )-\varsigma _{i}( \varkappa ) \vert \), (\(i=1,2,3 \)), from (3.3), \(y_{i}\leq \mathcal{U}_{i} ( y_{1}^{\ast },y_{2}^{\ast },y_{3}^{ \ast } ) \) by Lemma 2.8, we obtain \(y_{i}\leq y_{i}^{\ast }\), where \(\mathcal{U}_{i}\) is an increasing Picard operator. As a result, we get
It follows that
Thus
As a result, we get
Hence, equation (3.2) is UHML stable. □
Next, we use the Bielecki norm \(\Vert \cdot \Vert _{B}\). Let \(B_{i}=E=C ( [ -r,b ] ,\mathbb{R} ) \) be the Banach spaces of continuous functions \(\varsigma _{i}: [ -r,b ] \rightarrow \mathbb{R} \), (\(i=1,2,\ldots,n \)) with the norms
where
Define the product space \(B=B_{1}\times B_{2}\times B_{3}\). Clearly, B is a Banach space with the following Bielecki norm:
Theorem 3.3
Assume that (H1) and (H2) are satisfied. If
then system (1.1) has a unique solution \(( \varsigma _{1},\varsigma _{2},\varsigma _{3} ) \in \Xi :=E\cap \Omega \times E\cap \Omega \times E\cap \Omega \).
Proof
In order to prove the uniqueness of solution, by means of the Banach fixed point theorem, we only prove that the operator \(\mathcal{G} ( \varsigma _{1},\varsigma _{2},\varsigma _{3} ) \) defined by (2.5) has a fixed point in Ξ with respect to Bielecki’s norm. For this purpose, we divided the proof into the following steps.
Step (1): \(\mathcal{G} ( \varsigma _{1},\varsigma _{2},\varsigma _{3} ) \) is continuous.
The continuity of a function \(f_{i}\) implies that the operator \(\mathcal{G} ( \varsigma _{1},\varsigma _{2},\varsigma _{3} ) \) is continuous too.
Step (2): \(\mathcal{G} ( \varsigma _{1},\varsigma _{2},\varsigma _{3} ) \in \mathbb{P}_{\zeta ^{\ast }}\).
Define \(\mathbb{P}_{\zeta ^{\ast }}\) is a bounded, closed, and convex set as \(\mathbb{P}_{\zeta ^{\ast }}= \{ ( \varsigma _{1}, \varsigma _{2},\varsigma _{3} ) \in B: \Vert ( \varsigma _{1},\varsigma _{2},\varsigma _{3} ) \Vert _{B} \leq \zeta ^{\ast } \} \) with
where \(\widehat{f_{i}}=\sup_{s\in {}[ 0,b]} \vert wf_{i}(s,0,0) \vert \) and \(\mu =\max_{\varkappa \in [ 0,b ] } \vert w( \varkappa ) \vert \).
Case (1). For each \(( \varsigma _{1},\varsigma _{2},\varsigma _{3} ) \in \mathbb{P}_{\zeta }\), \(i=1,2,3\), and for \(\varkappa \in [ -r,0 ] \), we have
Hence
Case (2). For each \(( \varsigma _{1},\varsigma _{2},\varsigma _{3} ) \in \mathbb{P}_{\zeta ^{\ast }}\), \(i=1,2,3\), and for \(\varkappa \in [ 0,b ] \), we have
which implies
This proves that \(\mathcal{G} ( \varsigma _{1},\varsigma _{2},\varsigma _{3} ) \in \mathbb{P}_{\zeta ^{\ast }}\).
Step (3): \(\mathcal{G} ( \varsigma _{1},\varsigma _{2},\varsigma _{3} ) \) is a contraction.
In this step, we need only to prove that the operator \(\mathcal{G} ( \varsigma _{1},\varsigma _{2},\varsigma _{3} ) \) is a contraction mapping on Ξ with respect to the Bielecki norm B.
Case (1): For \(( \varsigma _{1},\varsigma _{2},\varsigma _{3} ) , ( v_{1},v_{2},v_{3} ) \in B\) and \(\varkappa \in {}[ -r,0]\), \(i=1,2,3\), we have
It follows that
Case (2): For \(( \varsigma _{1},\varsigma _{2},\varsigma _{3} ) , ( v_{1},v_{2},v_{3} ) \in B\), \(\varkappa \in ( 0,b ] \) and by (H2), we obtain
It follows that
Thus, the operator \(\mathcal{G} ( \varsigma _{1},\varsigma _{2},\varsigma _{3} ) \) is a contraction mapping on Ξ with respect to Bielecki’s norm. So, by the above steps and the Banach fixed point theorem, we deduce that system (1.1) has a unique solution in Ξ.
The proof of UHML stability is just like in Theorem 3.1, so we omit it here. □
4 An example
Example 4.1
-i Consider the following WFDE:
Set \(\kappa _{i}=\frac{1}{i}\), \(f_{i} ( \cdot ,\varsigma (\cdot ), \varsigma (\mathfrak{h}(\cdot )) ) =\sum_{i=1}^{n} [ \varphi _{i}(\cdot )-\varphi _{i}(0)+\frac{1}{10} ( \cos (2 \varsigma _{i}(\cdot -1))+ \frac{\varsigma _{i}^{2}(\cdot )}{1+\varsigma _{i}^{2}(\cdot )} ) ] \), \(w_{i}(\varkappa )=e^{-\varkappa }\), \(i=1,2,3\), \(\mathfrak{h}(\cdot )=(\cdot -1)\). Thus, for all \(\varsigma _{i},\varsigma _{i}^{\ast }\in \mathbb{R} ^{+}\) and \(\varkappa \in (0,1]\), we have
Here \(\mathcal{L}_{i}=\frac{1}{10}\) for all \(i=1,2,3\). We select \(\varphi (\varkappa ):=e^{\varkappa }\). Then we get \(\mu =\max_{\varkappa \in (0,1]} \vert e^{\varkappa } \vert =e\), and hence \(\Upsilon =\sum_{i=1}^{3}\frac{2\mathcal{L}_{i}}{\mu } \frac{ ( \varphi (b)-\varphi (0) ) ^{\kappa _{i}}}{\Gamma (\kappa _{i}+1)} \simeq 0.5\). Thus all conditions in Theorem 3.1 are satisfied, and hence system (4.1) has a unique solution. Finally, we see that the inequality
is satisfied. Then equation (3.2) is UHML stable with
where \(\mathcal{M}\simeq 2.2>0\).
5 Conclusion
We have obtained the existence of unique solutions and Ulam–Hyers–Mittag-Leffler stability results for the solution of a tripled system of weighted generalized Caputo fractional derivatives investigated by Jarad et al. [1] with respect to Chebyshev and Bielecki norms and time delay based on the reduction of fractional differential equations to integral equations. We employed the Picard operator method and fixed point theorems to obtain our results. To the best of our observation, there is no analytical literature on studying the existence of tripled systems of fractional differential equations. This paper is the first work to study existence of a unique solution and an Ulam–Hyers–Mittag-Leffler stability result for (TSWFDEs) with respect to Chebyshev and Bielecki norms with time delay. We trust the reported results here will have a positive impact on the event of further applications in engineering and applied sciences.
Availability of data and materials
Data sharing is not applicable to this article as no datasets were generated or analysed during the current study.
References
Jarad, F., Abdeljawad, T., Shah, K.: On the weighted fractional operators of a function with respect to another function. Fractals 28(08), 2040011 (2020)
Podlubny, I.: Fractional Differential Equations. Academic Press, New York (1999)
Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of the Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204 (2006)
Samko, S.G., Kilbas, A.A., Marichev, O.I.: Fractional Integrals and Derivatives. Gordon & Breach, Yverdon (1993)
Atangana, A., Baleanu, D.: New fractional derivatives with non-local and non-singular kernel: theory and application to heat transfer model. Therm. Sci. 20(2), 763–769 (2016)
Abdeljawad, T., Baleanu, D.: On fractional derivatives with generalized Mittag-Leffler kernels. Adv. Differ. Equ. 2018, 468 (2018)
Almeida, R.: A Caputo fractional derivative of a function with respect to another function. Commun. Nonlinear Sci. Numer. Simul. 44, 460–481 (2017)
Almeida, R., Malinowska, A.B., Odzijewicz, T.: Fractional differential equations with dependence on the Caputo–Katugampola derivative. J. Comput. Nonlinear Dyn. 11(6), 061017 (2016). https://doi.org/10.1115/1.4034432
Atangana, A.: Fractal-fractional differentiation and integration: connecting fractal calculus and fractional calculus to predict complex system. Chaos Solitons Fractals 102, 396–406 (2017)
Jarad, F., Abdeljawad, T.: Generalized fractional derivatives and Laplace transform. Discrete Contin. Dyn. Syst., Ser. S 13(3), 709–722 (2020)
Jarad, F., Abdeljawad, T., Baleanu, D.: Caputo-type modification of the Hadamard fractional derivatives. Adv. Differ. Equ. 2012(1), 142 (2012)
Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006)
Katugampola, U.N.: A new approach to generalized fractional derivatives. Bull. Math. Anal. Appl. 6(4), 1–15 (2014)
Oliveira, D.S., de Oliveira, E.C.: Hilfer–Katugampola fractional derivatives. Comput. Appl. Math. 37(3), 3672–3690 (2018)
Sousa, J.V.C., de Oliveira, C.E.: On the ψ-Hilfer fractional derivative. Commun. Nonlinear Sci. Numer. Simul. 60, 72–91 (2018)
Abdeljawad, T.: Fractional operators with generalized Mittag-Leffler kernels and their differintegrals. Chaos 29, 023102 (2019). https://doi.org/10.1063/1.5085726
Abdeljawad, T.: Fractional difference operators with discrete generalized Mittag-Leffler kernels. Chaos Solitons Fractals 126, 315–324 (2019)
Abdo, M.S., Hanan, A.W., Panchal, S.K.: Ulam–Hyers–Mittag-Leffler stability for a ψ -Hilfer problem with fractional order and infinite delay. Results Appl. Math. 7, 100115 (2020). https://doi.org/10.1016/j.rinam.2020.100115
Almalahi, M.A., Abdo, M.S., Panchal, S.K.: ψ-Hilfer fractional functional differential equation by Picard operator method. J. Appl. Nonlinear Dyn. 9(4), 685–702 (2020)
Almalahi, M.A., Abdo, M.S., Panchal, S.K.: Existence and Ulam–Hyers–Mittag-Leffler stability results of ψ-Hilfer nonlocal Cauchy problem. Rend. Circ. Mat. Palermo (2) 70(1), 57–77 (2021)
Almalahi, M.A., Panchal, S.K.: On the theory of ψ-Hilfer nonlocal Cauchy problem. J. Sib. Fed. Univ. Math. Phys. 14(2), 159–175 (2021). https://doi.org/10.17516/1997-1397-2021-14-2-161-177
Al-Mayyahi, S.Y., Abdo, M.S., Redhwan, S.S., Abood, B.N.: Boundary value problems for a coupled system of Hadamard-type fractional differential equations. IAENG Int. J. Appl. Math. 51(1), 1–10 (2021)
Abdo, M.S., Abdeljawad, T., Ali, S.M., Shah, K., Jarad, F.: Existence of positive solutions for weighted fractional order differential equations. Chaos Solitons Fractals 141, 110341 (2020)
Afshari, H., Atapour, M., Karapınar, E.: A discussion on a generalized Geraghty multi-valued mappings and applications. Adv. Differ. Equ. 2020, 356 (2020). https://doi.org/10.1186/s13662-020-02819-2
Afshari, H., Karapı, N.E.: A discussion on the existence of positive solutions of the boundary value problems via ψ-Hilfer fractional derivative on b-metric spaces. Adv. Differ. Equ. 2020, 616 (2020). https://doi.org/10.1186/s13662-020-03076-z
Afshari, H., Baleanu, D.: Applications of some fixed point theorems for fractional differential equations with Mittag-Leffler kernel. Adv. Differ. Equ. 2020, 140 (2020). https://doi.org/10.1186/s13662-020-02592-2
Almalahi, M.A., Panchal, S.K., Jarad, F.: Stability results of positive solutions for a system of ψ-Hilfer fractional differential equations. Chaos Solitons Fractals 147, 110931 (2021)
Ahmad, B., Ntouyas, S.K.: Existence results for a coupled system of Caputo type sequential fractional differential equations with nonlocal integral boundary conditions. Appl. Math. Comput. 266, 615–622 (2015)
Almalahi, M.A., Abdo, M.S., Panchal, S.K.: Existence and Ulam–Hyers stability results of a coupled system of ψ-Hilfer sequential fractional differential equations. Results Appl. Math. 10, 100142 (2021)
Ahmad, B., Ntouyas, S.K., Alsaedi, A.: On a coupled system of fractional differential equations with coupled nonlocal and integral boundary conditions. Chaos Solitons Fractals 83, 234–241 (2016)
Alsulami, H.H., Ntouyas, S.K., Agarwal, R.P., Ahmad, B., Alsaedi, A.: A study of fractional-order coupled systems with a new concept of coupled non-separated boundary conditions. Bound. Value Probl. 2017, 68 (2017)
Berinde, V., Borcut, M.: Tripled fixed point theorems for contractive type mappings in partially ordered metric spaces. Nonlinear Anal., Theory Methods Appl. 74(15), 4889–4897 (2011)
Karakaya, K., Bouzara, N.-E., DoLan, K., Atalan, Y.: Existence of tripled fixed points for a class of condensing operators in Banach spaces. Sci. World J. 2014, Article ID 541862 (2014). https://doi.org/10.1155/2014/541862
Matar, M.M., Amra, I.A., Alzabut, J.: Existence of solutions for tripled system of fractional differential equations involving cyclic permutation boundary conditions. Bound. Value Probl. 2020, 140 (2020)
Wang, J., Zhang, Y.: Ulam–Hyers-Mittag-Leffler stability of fractional-order delay differential equations. Optimization 63, 1181–1190 (2014)
Acknowledgements
All authors would like to thank their institutions for the support.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
All authors equally contributed this manuscript and approved the final version.
Corresponding authors
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
Almalahi, M.A., Panchal, S.K., Jarad, F. et al. Ulam–Hyers–Mittag-Leffler stability for tripled system of weighted fractional operator with TIME delay. Adv Differ Equ 2021, 299 (2021). https://doi.org/10.1186/s13662-021-03455-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-021-03455-0
MSC
- 34A08
- 34B15
- 34A12
- 47H10
Keywords
- Fractional differential equation
- Weighted Caputo operator
- Fixed point theorem