Abstract
In this work, a sufficient condition required for the presence of positive solutions to a coupled system of fractional nonlinear differential equations of implicit type is studied. To study sufficient conditions essential for the existence of unique solution degree theory is used. Two examples are given to illustrate the established results.
Similar content being viewed by others
1 Introduction
The concept of fractional differential equations (abbreviated as FDEs) has been examined and considered seeing its usefulness and plentiful presentations in different disciplines of applied science, engineering, and technology such as computer networking, fluid dynamics, control theory, mathematical biology, economics, viscoelasticity, optimization theory, and control theory [1–8]. Nonlinear fractal oscillator is recognized in a fractal space by fractal derivative, and its variational principle is gained for a thin film equation [9]. In a fractal space He’s fractional derivative [10] is assumed to originate evolution equations involving fractional order [11]. In a fractal process, the Fornberg–Whitham fractional equation through He’s fractional derivative is considered [12], and future challenges of fractal calculus have been illustrated from two-scale thermodynamics to fractal variational principle by Ji-Huan He [13]. Substantial consideration has been given to the presence of solutions of initial and boundary value problems (BVPs) having CFD.
Diverse sort of problems dedicated to FDEs, like local and nonlocal BVPs, Dirichlet and Neumann BVPs, integral BVPs, and impulsive BVPs, have been explored so far. An indispensable class of FDEs named implicit fractional differential equations (shortly IFDEs) has been considered by numerous writers. This is because of the point that many problems of finances and decision-making can be modeled by using IFDEs. Recently more courtesy has been given to scrutinizing sufficient conditions essential for the existence of solutions to IFDEs. It was observed sensibly that the existence of solutions to IFDEs had a lot of solicitations in optimization theory, quantitative theory, viscoelasticity, and fluid mechanics [14–19]. Nonlocal Cauchy problem via a fractional operator including power kernel in Banach spaces was considered in [20]. The fractional hampered generalized regularized long wave equation in the sagacity of Caputo, Atangana–Baleanu, and Caputo–Fabrizio fractional derivatives was investigated in [21]. In [22] authors presented a method for nonlinear fractional regularized long-wave (RLW) models. Mehmet Yavuz [23] inspected innovative solutions of fractional order best valuing models and their fundamental mathematical studies.
Fixed point concept has been used to probe the existence and uniqueness for some problems. Operating these notions, one needs strong compact settings due to which the area is limited to some BVPs. To spread the methods to additional classes of BVPs, mathematicians have been attracted to finding a tool of nonlinear analysis. One of the strong tools is the degree method. After studying the present literature, we pointed out that IFDEs having integral boundary conditions have not been properly studied by the degree method. There are very few results in the literature which utilized the degree method for the existence of solutions to initial and some BVPs having CFD [1, 24–27]. Therefore, inspired by the applications of IFDEs, Samina et al. [28] investigated the presence of solutions to the following coupled system “of IFDEs through fixed point theory
where \(\kappa , \delta \in (1, 2]\), \(\xi \in (0, \infty )\), \(\ell \in [0, \xi ]\) and \(\mathcal{F}, \overline{\mathcal{F}} : \mathfrak{J}\times \mathfrak{R} \times \mathfrak{R} \rightarrow \mathfrak{R} \) are nonlinear continuous functions.” Using fixed point theory, Cabada et al. [29] discussed the following problem:
where \(2<\kappa <3\), \(0 < \zeta < 2\), D is the CFD and \(\mathcal{F}:\mathfrak{J}\times [0, \infty )\rightarrow [0, \infty )\).
Motivated by [28] and [29], we use degree theory and investigate some suitable conditions for uniqueness and existence of solutions to the following IFDEs:
where \(\kappa ,\delta \in (2,3]\), D denotes the CFD, \(\mathcal{F}, \overline{\mathcal{F}} : \mathfrak{J}\times \mathfrak{R} \times \mathfrak{R} \rightarrow \mathfrak{R} \), \(\mathrm{g}_{1}, \mathrm{g}_{2} :\mathfrak{J}\times \mathfrak{R} \rightarrow \mathfrak{R} \), and \(r, h:\mathfrak{J}\rightarrow \mathfrak{R} \) are continuous functions.
2 Preliminaries
To prove the main results, we need some definitions and results in the sequel from the existing literature. Throughout the work the notations \(\mathcal{M}=C (\mathfrak{J}, \mathfrak{R} )\) and \(\mathcal{N}=C (\mathfrak{J},\mathfrak{R} )\) are used for Banach spaces having the norm \(\Vert \mathrm{u} \Vert =\sup \{ \vert \mathrm{u}(\ell ) \vert :\ell \in \mathfrak{J}\}\). The product \(\mathcal{M}\times \mathcal{N}\) is a Banach space with the norm \(\Vert (\mathrm{u}, \mathrm{w}) \Vert = \Vert \mathrm{u} \Vert + \Vert \mathrm{w} \Vert \).
Definition 2.1
([30])
“Let \(\mathcal{W} : \mathcal{V} \rightarrow \mathcal{M}\) be a bounded continuous function, where \(\mathcal{V} \subseteq \mathcal{M}\). Then, for all bounded subset \(S\subseteq \mathcal{V}\), \(\mathcal{W}\) is
-
(1)
σ-Lipschitz if \(\exists \mathcal{K}\geq 0\) \(\ni \sigma (\mathcal{W}(S) )\leq \mathcal{K} \sigma (S)\), ∀ bounded subsets \(S\subseteq \mathcal{V}\);
-
(2)
strict σ-contraction if \(\exists 0\leq \mathcal{K}< 1\) with \(\sigma (\mathcal{W}(S) )\leq \mathcal{K} \sigma (S)\), ∀ bounded sets \(S\subseteq \mathcal{V}\);
-
(3)
σ-condensing if \(\sigma (\mathcal{W}(S) ) < \sigma (S)\), ∀ bounded sets \(S\subseteq \mathcal{V}\) having \(\sigma (S) > 0\). In the other sense, \(\sigma (\mathcal{W}(S) )\geq \sigma (S)\) implies \(\sigma (S)=0\).
Furthermore, \(\mathcal{W}:\mathcal{V}\rightarrow \mathcal{M}\) is Lipschitz whenever \(\exists \mathcal{K}>0\) provided
Further, if \(\mathcal{K}<1\), then \(\mathcal{W}\) is a strict contraction.”
Proposition 2.1
([31])
If \(\mathcal{W}, T:\mathcal{V} \rightarrow \mathcal{M}\) are σ-Lipschitz maps having constants \(\mathcal{K}_{1}\) and \(\mathcal{K}_{2}\) respectively, then \(\mathcal{W}+T\) is σ-Lipschitz having constant \(\mathcal{K}_{1}+\mathcal{K}_{2}\).
Proposition 2.2
([31])
If \(\mathcal{W}:\mathcal{V} \rightarrow \mathcal{M}\) is Lipschitz having constant \(\mathcal{K}\), then \(\mathcal{W}\) is σ-Lipschitz having the same constant \(\mathcal{K}\).
Proposition 2.3
([31])
If \(\mathcal{W}:\mathcal{V} \rightarrow \mathcal{M}\) is compact, then \(\mathcal{W}\) is σ-Lipschitz having the constant \(\mathcal{K}=0\).
Theorem 2.1
([31])
Let \(\mathcal{W}:\mathcal{M}\rightarrow \mathcal{M}\) be σ-condensing having
If Θ is bounded in \(\mathcal{M}\), so \(\exists r>0\) \(\ni \Theta \subset S_{r}(0)\), so the degree
It means that \(\mathcal{W}\) has at least one fixed point.
Definition 2.2
([32])
“The arbitrary order (\(\kappa > 0\)) integral of a function \(\mathcal{F}:\mathfrak{R} ^{+}\rightarrow \mathfrak{R} \) is given by
Definition 2.3
([32])
The arbitrary order (\(\kappa > 0\)) derivative of a function \(\mathcal{F}:\mathfrak{R} ^{+}\rightarrow \mathfrak{R} \) in the Caputo sense is given by
Lemma 2.1
[32] Let \(\kappa >0\), then
for arbitrary \(c_{i}\in \mathfrak{R} \), \(i=0,1,2,\ldots,n-1\).
3 Main results
Before studying the existence results for BVP (1.1), we list the following assumptions.
- \((C_{1})\):
-
For random \(\mathrm{u}, \mathrm{w}, \overline{\mathrm{u}}, \overline{\mathrm{w}} \in \mathfrak{R} \), ∃ numbers \(k_{r}, k_{h}\in [0, 1)\) with
$$ \begin{aligned} & \bigl\vert r(\mathrm{u})-r(\overline{\mathrm{u}}) \bigr\vert \leq k_{r} \vert \mathrm{u}-\overline{\mathrm{u}} \vert , \\ & \bigl\vert h(\mathrm{w})-h(\overline{\mathrm{w}}) \bigr\vert \leq k_{h} \vert \mathrm{w}- \overline{\mathrm{w}} \vert . \end{aligned} $$ - \((C_{2})\):
-
For arbitrary \(\mathrm{u}, \mathrm{w} \in \mathfrak{R} \), ∃ constants \(c_{r}\), \(c_{h}\), \(M_{r}\), \(M_{h}\) with
$$ \begin{aligned} & \bigl\vert r(\mathrm{u}) \bigr\vert \leq c_{r} \vert \mathrm{u} \vert +M_{r}, \\ & \bigl\vert h(\mathrm{w}) \bigr\vert \leq c_{h} \vert \mathrm{w} \vert +M_{h}. \end{aligned} $$ - \((C_{3})\):
-
For arbitrary \(\mathrm{u}, \mathrm{w} \in \mathfrak{R} \), ∃ constants \(z_{\mathrm{g}_{1}}\), \(z_{\mathrm{g}_{2}}\), \(N_{\mathrm{g}_{1}}\), \(N_{\mathrm{g}_{2}}\) with
$$ \begin{aligned} & \bigl\vert \mathrm{g}_{1} \bigl( \mathrm{s}, \mathrm{u}(\mathrm{s}) \bigr) \bigr\vert \leq z_{\mathrm{g}_{1}} \vert \mathrm{u} \vert +N_{\mathrm{g}_{1}}, \\ & \bigl\vert \mathrm{g}_{2} \bigl(\mathrm{s}, \mathrm{w}( \mathrm{s}) \bigr) \bigr\vert \leq z_{ \mathrm{g}_{2}} \vert \mathrm{w} \vert +N_{\mathrm{g}_{2}}. \end{aligned} $$ - \((C_{4})\):
-
For arbitrary \(\mathrm{u}, \mathrm{w} \in \mathfrak{R} \), ∃ constants \(c_{1}, d_{1}>0\), \(0< c_{2}, d_{2}<1\), \(M_{\mathcal{F}}\), \(M_{\overline{\mathcal{F}}}\) with
$$ \begin{aligned} & \bigl\vert \mathcal{F} \bigl(\mathrm{s}, \mathrm{w}( \mathrm{s}), \omega (\mathrm{s}) \bigr) \bigr\vert \leq c_{1} \vert \mathrm{w} \vert +c_{2} \vert \omega \vert +M_{ \mathcal{F}}, \\ & \bigl\vert \overline{\mathcal{F}} \bigl(\mathrm{s}, \mathrm{u}(\mathrm{s}), z( \mathrm{s}) \bigr) \bigr\vert \leq d_{1} \vert \mathrm{u} \vert +d_{2} \vert z \vert +M_{ \overline{\mathcal{F}}}, \end{aligned} $$where \(D^{\kappa }\mathrm{u}(\mathrm{s})=\omega (\mathrm{s})\) and \(D^{\kappa }\mathrm{w}(\mathrm{s})=z(\mathrm{s})\).
- \((C_{5})\):
-
For arbitrary \(\mathrm{u}, \mathrm{w}, \overline{\mathrm{u}}, \overline{\mathrm{w}} \in \mathfrak{R} \), ∃ constants \(a_{1}\), \(a_{2}\) with
$$ \begin{aligned} & \bigl\vert \mathrm{g}_{1} \bigl( \mathrm{s}, \mathrm{u}(\mathrm{s}) \bigr)- \mathrm{g}_{1} \bigl( \mathrm{s}, \overline{\mathrm{u}}(\mathrm{s}) \bigr) \bigr\vert \leq a_{1} \vert \mathrm{u}-\overline{\mathrm{u}} \vert , \\ & \bigl\vert \mathrm{g}_{2} \bigl(\mathrm{s}, \mathrm{w}( \mathrm{s}) \bigr)-\mathrm{g}_{2} \bigl( \mathrm{s}, \overline{ \mathrm{w}}( \mathrm{s}) \bigr) \bigr\vert \leq a_{2} \vert \mathrm{w}- \overline{\mathrm{w}} \vert . \end{aligned} $$ - \((C_{6})\):
-
For arbitrary \(\mathrm{u}, \mathrm{w}, \overline{\mathrm{u}}, \overline{\mathrm{w}} \in \mathfrak{R} \), ∃ constants \(C_{\mathrm{g}_{1}}, C_{\mathrm{g}_{2}}>0\), \(0< D_{\mathrm{g}_{1}}, D_{ \mathrm{g}_{2}}<1\) with
$$ \begin{aligned} & \bigl\vert \mathcal{F} \bigl(\mathrm{s}, \mathrm{w}( \mathrm{s}), \omega (\mathrm{s}) \bigr)-\mathcal{F} \bigl(\mathrm{s}, \overline{ \mathrm{w}}( \mathrm{s}), \overline{\omega }(\mathrm{s}) \bigr) \bigr\vert \leq C_{\mathrm{g}_{1}} \vert \mathrm{w}-\overline{\mathrm{w}} \vert +D_{\mathrm{g}_{1}} \vert \omega - \overline{\omega } \vert , \\ & \bigl\vert \overline{\mathcal{F}} \bigl(\mathrm{s}, \mathrm{u}(\mathrm{s}), z( \mathrm{s}) \bigr)-\overline{\mathcal{F}} \bigl(\mathrm{s}, \overline{ \mathrm{u}}( \mathrm{s}), \overline{z}(\mathrm{s}) \bigr) \bigr\vert \leq C_{\mathrm{g}_{2}} \vert \mathrm{u}-\overline{\mathrm{u}} \vert +D_{\mathrm{g}_{2}} \vert z-\overline{z} \vert , \end{aligned} $$where \(D^{\kappa }\mathrm{u}(\mathrm{s})=\omega (\mathrm{s})\) and \(D^{\kappa }\mathrm{w}(\mathrm{s})=z(\mathrm{s})\).
Lemma 3.1
Let the integrable function \(h:\mathfrak{J}\rightarrow \mathfrak{R} \). Then the IFDE
with boundary condition of type
has a solution
Proof
Applying the operator \(I^{\kappa }\) to \(D^{\kappa } \mathrm{u}(\ell )=h(\ell )\), and by Lemma 2.1, we have
Utilizing the boundary conditions to (3.1), we get
Substituting in equation (3.1), we have
□
By Lemma 3.1, the solutions of coupled system (1.1) are solutions of the following system of integral equations:
Let \(\mathcal{A}=(\mathcal{A}_{1}, \mathcal{A}_{2})\), \(\mathcal{B}=( \mathcal{B}_{1}, \mathcal{B}_{2})\), and \(\mathcal{T}=\mathcal{A}+\mathcal{B}\), where \(\mathcal{A}_{1}:\mathcal{M}\rightarrow \mathcal{M} \) and \(\mathcal{A}_{2}:\mathcal{N}\rightarrow \mathcal{N}\) are defined by
and
and \(\mathcal{B}_{1}, \mathcal{B}_{2}:\mathcal{M}\times \mathcal{N} \rightarrow \mathcal{M}\times \mathcal{N}\) are defined by
and
Then the solution of (1.1) in the operator form becomes
Lemma 3.2
The following Lipschitz condition is satisfied for the operator \(\mathcal{A}\):
Proof
For any \((\mathrm{u}, \mathrm{w}), (\overline{\mathrm{u}}, \overline{\mathrm{w}})\in \mathcal{M}\times \mathcal{N}\), we have
which implies that
where \(k_{\theta }=\max \{k_{r}, k_{h}\}\). Thus \(\mathcal{A}\) is Lipschitz having constant \(k_{\theta }\), and in view of Proposition 2.2, \(\mathcal{A}\) is σ-Lipschitz having constant \(k_{\theta }\). □
Lemma 3.3
The operator \(\mathcal{B}:\mathcal{M}\times \mathcal{N}\rightarrow \mathcal{M} \times \mathcal{N}\) is continuous.
Proof
Let \(\{ (\mathrm{u}_{n}, \mathrm{w}_{n} )\}\) be a sequence in a bounded set
so that \((\mathrm{u}_{n}, \mathrm{w}_{n})\rightarrow (\mathrm{u}, \mathrm{w})\) as \(n\rightarrow \infty \) in \(D_{k}\). To check the continuity of \(\mathcal{B}\), we have to show that
For this, we have
which implies that
From the continuity of \(\mathcal{F}\) it follows that
For each \(\ell \in \mathfrak{J}\), using \((C_{5})\) we obtain
similarly other terms approach 0 as \(n\rightarrow \infty \). It follows that
Similarly,
Therefore \(\mathcal{B}_{1}\) and \(\mathcal{B}_{2}\) and thus \(\mathcal{B}\) is continuous. □
Lemma 3.4
The following growth conditions are valid for the operators \(\mathcal{A}\) and \(\mathcal{B}\):
and
respectively, where \(c_{\theta }=\max \{c_{r}, c_{h}\}\), \(\theta =\max \{z_{\mathrm{g}_{1}}+\frac{2d_{1}}{1-d_{2}}, z_{ \mathrm{g}_{2}}+\frac{2c_{1}}{1-c_{2}}\}\), and \(\Lambda =\frac{2M_{\mathcal{F}}}{1-c_{2}}+ \frac{2M_{\overline{\mathcal{F}}}}{1-d_{2}}+N_{\mathrm{g}_{1}}+N_{ \mathrm{g}_{2}}\).
Proof
For the growth condition, consider
where \(M=M_{r}+M_{h}+ \vert \mathrm{u}_{o} \vert + \vert \mathrm{w}_{o} \vert \), hence the operator \(\mathcal{A}\) satisfies the growth condition. Now
similarly
Now
which implies that
which is the required growth condition on \(\mathcal{B}\). □
Lemma 3.5
The operator \(\mathcal{B}:\mathcal{M}\times \mathcal{N}\rightarrow \mathcal{M} \times \mathcal{N}\) is compact. Consequently, \(\mathcal{B}\) is σ-Lipschitz with the constant zero.
Proof
Consider a sequence \(\{(\mathrm{u}_{n},\mathrm{w}_{n})\}_{n \in \mathbb{N}}\) in \(\mathfrak{D}\), where \(\mathfrak{D}\) is a bounded subset of \(D_{k}\). Then, by using the growth condition of \(\mathcal{B}\) (3.7), it is clear that \(G(\mathfrak{D})\) is bounded. Now, we will show that \(\mathcal{B}\) is equicontinuous. For each \(\{(\mathrm{u}_{n},\mathrm{w}_{n})\}\) in \(\mathfrak{D}\) and for each \(\epsilon >0\), we have
which implies that
Taking limit as \(\tau \rightarrow \ell \), we get
So there exists \(\epsilon > 0\) such that
similarly
Therefore, from (3.10) and (3.11), we get
Thus \(\mathcal{B}\) is equicontinuous, and therefore \(\mathcal{B}(\mathfrak{D})\) is compact in \(\mathcal{M}\times \mathcal{N}\). In view of Proposition 2.3, \(\mathcal{B}\) is σ-Lipschitz having zero constant. □
Theorem 3.1
Under assumptions \((C_{1})\)–\((C_{4})\), BVP (1.1) has at least one solution \((\mathrm{u}, \mathrm{w})\in \mathcal{M}\times \mathcal{N}\) provided \(c_{\theta }+\theta <1\) and a solution set of (1.1) is bounded in \(\mathcal{M}\times \mathcal{N}\).
Proof
By Lemma 3.2, \(\mathcal{A}\) is Lipschitz having constant \(k_{\theta }\in [0, 1)\), and by Lemma 3.5, \(\mathcal{B}\) is Lipschitz having zero constant. Therefore, by Proposition 2.1, \(\mathcal{T}\) is a σ-contraction having constant \(k_{\theta }\). Now define
We have to prove that \(\mathcal{Q}\) is bounded in \(\mathcal{M}\times \mathcal{N}\). So, choose \((\mathrm{u}, \mathrm{w}) \in \mathcal{Q}\), then by using (3.6) and (3.7), we have
Thus \(\mathcal{Q}\) is bounded in \(\mathcal{M}\times \mathcal{N}\). Therefore Theorem 2.1 guarantees that \(\mathcal{T}\) possesses at least one fixed point. Hence the considered problem has at least one solution. □
Theorem 3.2
Suppose that \((k_{\theta }+C^{\prime }+D^{\prime } ) < 1\). Let assumptions \((C_{1})\), \((C_{5})\), and \((C_{6})\) be satisfied. Then BVP (1.1) has a unique solution.
Proof
In the light of Banach contraction theorem, for any \((\mathrm{u}, \mathrm{w}), (\overline{\mathrm{u}}, \overline{\mathrm{w}})\in \mathcal{M}\times \mathcal{N}\), consider
which implies that
where \(C^{\prime } =\max \{a_{1}, \frac{2C_{\mathrm{g}_{1}}}{1-D_{\mathrm{g}_{1}}}\}\), similarly
Now, from (3.13) and (3.14), we have
it follows that
Thus, from (3.4) and (3.15), we have
it means that \(\mathcal{T}\) is a contraction. Therefore system (1.1) has a unique solution. □
Example 3.1
Consider the given problem as follows:
Here,
Now assumptions \((C_{1})\)–\((C_{6})\) are satisfied for \(k_{r}=c_{r}=\frac{5}{8}\), \(k_{h}=c_{h}=\frac{2}{11}\), \(M_{r}=\frac{3}{4}\), \(M_{h}=\frac{5}{8}\), \(z_{\mathrm{g}_{1}}=a_{1}=\frac{1}{32}\), \(z_{\mathrm{g}_{2}}=a_{2}=\frac{1}{50}\), \(C_{\mathrm{g}_{1}}=c_{1}=\frac{1}{55}\), \(D_{\mathrm{g}_{1}}=c_{2}=\frac{1}{65}\), \(C_{\mathrm{g}_{2}}=d_{1}= \frac{1}{30}\), \(D_{\mathrm{g}_{2}}=d_{2}=\frac{1}{35}\), \(M_{\mathcal{F}}=\frac{1}{40}\), \(M_{\overline{\mathcal{F}}}= \frac{1}{60}\), and \(N_{\mathrm{g}_{1}}=N_{\mathrm{g}_{2}}=0\). Consider the set
Let \((\mathrm{u}, \mathrm{w})\in \mathcal{Q}\) and \(\varrho \in \mathfrak{J}\), then
which shows that \(\mathcal{Q}\) is bounded. Thus, by Theorem 3.1, problem (3.16) possesses at least one solution, and the solution set is bounded. Further \(k_{\theta }+C^{\prime }+D^{\prime }\simeq 0.762<1\), hence Theorem 3.2 guarantees that problem (3.16) has a unique solution.
Example 3.2
Consider another problem as follows:
Here,
Now assumptions \((C_{1})\)–\((C_{6})\) are satisfied for \(k_{r}=c_{r}=\frac{2}{25}\), \(k_{h}=c_{h}=\frac{3}{13}\), \(M_{r}=\frac{1}{3}\), \(M_{h}=\frac{1}{18}\), \(z_{\mathrm{g}_{1}}=a_{1}=\frac{1}{48}\), \(z_{\mathrm{g}_{2}}=a_{2}=\frac{1}{75}\), \(C_{\mathrm{g}_{1}}=c_{1}=\frac{1}{52}\), \(D_{\mathrm{g}_{1}}=c_{2}=\frac{1}{55}\), \(C_{\mathrm{g}_{2}}=d_{1}= \frac{1}{63}\), \(D_{\mathrm{g}_{2}}=d_{2}=\frac{1}{19}\), \(M_{\mathcal{F}}=\frac{1}{10}\), \(M_{\overline{\mathcal{F}}}= \frac{1}{35}\), and \(N_{\mathrm{g}_{1}}=N_{\mathrm{g}_{2}}=0\). Consider the set
Let \((\mathrm{u}, \mathrm{w})\in \mathcal{Q}\) and \(\varrho \in \mathfrak{J}\), then
which shows that \(\mathcal{Q}\) is bounded. Thus, by Theorem 3.1, problem (3.17) possesses at least one solution, and the solution set is bounded. Further \(k_{\theta }+C^{\prime }+D^{\prime }\simeq 0.684<1\), hence Theorem 3.2 guarantees that problem (3.17) has a unique solution.
4 Conclusion
Upon the applications of a nonlinear analysis tool called degree method, we have established some appropriate results which are required for the existence and uniqueness of the solution to a coupled system of nonlinear IFDEs. Classical fixed point theory has been used to investigate the existence and uniqueness for some problems. Utilizing these results, one needs strong compact conditions due to which the area is restricted to some BVPs. Therefore we used the degree method which relaxed these conditions. There are very few results in the literature which utilized the degree method for the existence of solutions to initial and some BVPs having CFD, but a coupled system of IFDEs has not yet been investigated very well. All the results have been demonstrated by proper examples.
Availability of data and materials
Not applicable.
References
Baleanu, D., Mousalou, A., Rezapour, S.: A new method for investigating approximate solutions of some fractional integro-differential equations involving the Caputo–Fabrizio derivative. Differ. Equ. Appl. 7(2) (2015)
Agarwal, R.P., Benchohra, M., Hamani, S.: Boundary value problems for differential inclusions with fractional order. Adv. Stud. Contemp. Math. 12(2), 181–196 (2008)
Ameen, R., Jarad, F., Abdeljawad, T.: Ulam stability for delay fractional differential equations with a generalized Caputo derivative. Filomat 32(15), 5265–5274 (2018)
Aydogan, M.S., Baleanu, D., Mousalou, A., Rezapour, S.: On high order fractional integro-differential equations including the Caputo Fabrizio derivative. Bound. Value Probl. 2018, 90 (2018)
Ahmad, H., Akgül, A., Khan, T.A., Stanimirović, P.S., Chu, Y.M.: New perspective on the conventional solutions of the nonlinear time-fractional partial differential equations. Complexity 2020, 8829017 (2020). https://doi.org/10.1155/2020/8829017
Wang, G.: Explicit iteration and unbounded solutions for fractional integral boundary value problem on an infinite interval. Appl. Math. Lett. 47, 1–7 (2015)
Wang, G., Pei, K., Agarwal, R., et al.: Nonlocal Hadamard fractional boundary value problem with Hadamard integral and discrete boundary conditions on a half-line. J. Comput. Appl. Math. 343, 230–239 (2018)
Wang, G., Ren, X.: Radial symmetry of standing waves for nonlinear fractional Laplacian Hardy–Schrödinger systems. Appl. Math. Lett. 110, 106560 (2020)
He, J.-H., Sun, C.: A variational principle for a thin film equation. J. Math. Chem. 57(9), 2075–2081 (2019)
He, J.-H.: A tutorial review on fractal spacetime and fractional calculus. Int. J. Theor. Phys. 53(11), 3698–3718 (2014)
Wang, K.-L., Yao, S.-W.: He’s fractional derivative for the evolution equation. Therm. Sci. 24(4), 2507–2513 (2020)
Wang, K.-L., Liu, S.-Y.: He’s fractional derivative and its application for fractional Fornberg–Whitham equation. Therm. Sci. 21(5), 2049–2055 (2017)
He, J.-H., Ain, Q.-T.: New promises and future challenges of fractal calculus: from two-scale thermodynamics to fractal variational principle. Therm. Sci. 24(2), 659–681 (2020)
Wang, J., Fečkan, M., Zhou, Y.: A survey on impulsive fractional differential equations. Fract. Calc. Appl. Anal. 19(4), 806–831 (2016)
Benchohra, M., Lazreg, J.E.: Exsitence and Ulam stability for nonlinear implicit fractional differential equations with Hadamard derivative. Stud. Univ. Babeş–Bolyai, Math. 62, 27–38 (2017)
Shah, K., Hussain, W., Thounthong, P., Borisut, P., Kumam, P., Arif, M.: On nonlinear implicit fractional differential equations with integral boundary condition involving p-Laplacian operator without compactness. Thai J. Math. 12, 301–321 (2018)
Shah, K., Khalil, H., Khan, R.A.: Investigation of positive solution to a coupled system of impulsive boundary value problems for nonlinear fractional order differential equations. Chaos Solitons Fractals 77, 240–246 (2015)
Wang, G., Yang, Z., Zhang, L., Baleanu, D.: Radial solutions of a nonlinear k-Hessian system involving a nonlinear operator. Commun. Nonlinear Sci. Numer. Simul. 91, 105396 (2020)
Pei, K., Wang, G., Sun, Y.: Successive iterations and positive extremal solutions for a Hadamard type fractional integro-differential equations on infinite domain. Appl. Math. Comput. 312, 158–168 (2017)
Keten, A., Yavuz, M., Baleanu, D.: Nonlocal Cauchy problem via a fractional operator involving power kernel in Banach spaces. Fractal Fract. 3(2), 27 (2019) https://doi.org/10.3390/fractalfract3020027
Yavuz, M., Sulaiman, T.A., Usta, F., Bulut, H.: Analysis and numerical computations of the fractional regularized longwave equation with damping term. Math. Methods Appl. Sci. https://doi.org/10.1002/mma.6343
Yavuz, M., Abdeljawad, T.: Nonlinear regularized long-wave models with a new integral transformation applied to the fractional derivative with power and Mittag-Leffler kernel. Adv. Differ. Equ. 2020, Article ID 367 (2020)
Yavuz, M.: European option pricing models described by fractional operators with classical and generalized Mittag-Leffler kernels. Numer. Methods Partial Differ. Equ. https://doi.org/10.1002/num.22645
Sher, M., Shah, K., Feckan, M., Khan, R.A.: Qualitative analysis of multi-terms fractional order delay differential equations via the topological degree theory. Mathematics 8(2), 218 (2020)
Wang, J., Zhou, Y., Wei, W.: Study in fractional differential equations by means of topological degree methods. Numer. Funct. Anal. Optim. 33(2), 216–238 (2012)
Ali, A., Shah, K., Li, Y.: Topological degree theory and Ulam’s stability analysis of a boundary value problem of fractional differential equations. In: Front. Func. Equ. Analy. Ineq., pp. 73–92 (2019)
Sher, M., Shah, K., Rassias, J.: On qualitative theory of fractional order delay evolution equation via the prior estimate method. Math. Methods Appl. Sci. 43, 6464–6475 (2020)
Samina, Shah, K., Khan, R.A., Baleanu, D.: Study of implicit type coupled system of non-integer order differential equations with antiperiodic boundary conditions. Math. Methods Appl. Sci. 42, 2033–2042 (2019)
Cabada, A., Wang, G.: Positive solutions of nonlinear fractional differential equations with integral boundary value conditions. J. Math. Anal. Appl. 398(1), 403–411 (2012)
Isaia, F.: On a nonlinear integral equation without compactness. Acta Math. Univ. Comen. 75(2), 233–240 (2006)
Ali, A., Sarwar, M., Zada, M.B., Shah, K.: Degree theory and existence of positive solutions to coupled system involving proportional delay with fractional integral boundary conditions. Math. Methods Appl. Sci., 1–13 (2020)
Ahmad, I., Shah, K., Rahman, G., Baleanu, D.: Stability analysis for a nonlinear coupled system of fractional hybrid delay differential equations. Math. Methods Appl. Sci. 43, 8669–8682 (2020)
Acknowledgements
Taif University Researchers Supporting Project number (TURSP-2020/031), Taif University, Taif, Saudi Arabia.
Funding
The authors received financial support from Taif University Researchers Supporting Project Number (TURSP-2020/031), Taif University, Taif, Saudi Arabia.
Author information
Authors and Affiliations
Contributions
All authors contributed equally to the writing of this manuscript. All authors read 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
Sarwar, M., Ali, A., Zada, M.B. et al. Study of an implicit type coupled system of fractional differential equations by means of topological degree theory. Adv Differ Equ 2021, 116 (2021). https://doi.org/10.1186/s13662-021-03267-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-021-03267-2