- Research
- Open access
- Published:
Existence of mild solution for a class of coupled systems of neutral fractional integro-differential equations with infinite delay in Banach space
Advances in Difference Equations volume 2019, Article number: 284 (2019)
Abstract
We deal with a class of coupled systems of neutral fractional integro-differential equations with infinite delay in a Banach space in this paper. Based on the Banach contraction principle and Krasnoselskii’s fixed point theorem, some new sufficient criteria are established to guarantee the existence of mild solutions. As an application, an example is given to illustrate the effectiveness of our main results.
1 Introduction
Fractional differential equations have arisen as an excellent instrument for the description of hereditary properties of various processes and applications in plenty of fields such as porous medium, network, electro-magnetics, aerodynamics, visco-elasticity, ecology, bioscience, medicine biology, and so on. In the monograph [1], readers can find many mathematical models of fractional differential equations and their applications. Therefore, the study of fractional differential equation has attracted much attention and research. In recent years, many scholars have begun researching some new type of fractional differential equations, which include the neutral terms, integro-differential terms, or coupled terms. There have been some papers dealing with these fractional differential equations (see [2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35]). However, it is difficult and challenging to study this type of fractional differential equations since it involves the time delays and the abstract operators. So the purpose of this paper is to consider a class of coupled systems of neutral fractional integro-differential equations with infinite delay in a Banach space as follows:
where \(0<\alpha \), \(\beta <1\), \(J=[0,b]\), \({}^{c}D_{t}^{\alpha }\) and \({}^{c}D_{t}^{\beta }\) denote the Caputo fractional derivatives. \(\mathscr{A}\), \(\mathscr{B}\) are the infinitesimal generators of a strongly continuous semigroup \(\{\mathcal{T}_{\alpha }(t),t\geq 0\}\) and \(\{\mathcal{T}_{\beta }(t),t\geq 0\}\) in a Banach space X, respectively. \(g_{i}: J\times \mathcal{B}_{h}^{2} \rightarrow X\), \(f_{i}: J\times \mathcal{B}_{h}^{2}\times X \rightarrow X\), \(e_{i}: J^{2}\times \mathcal{B}_{h}^{2} \rightarrow X\) (\(i=1,2\)) are three given continuous functions. We assume that the histories \(x_{t},y_{t}: (-\infty , 0] \rightarrow X\), \(x_{t}(s)=x(t+s)\), \(y_{t}(s)=x(t+s)\), \(s\leq 0\), belong to an abstract phase space \(\mathcal{B}_{h}\) characterized in Preliminaries. Two given initial functions \(\phi _{1}\), \(\phi _{2}\) also belong to an abstract phase space \(\mathcal{B}_{h}\).
In addition, the main inspiration also comes from the literature [10, 13]. In [10], the authors investigated the existence of a mild solution for the following neutral fractional functional integro-differential equation with infinite delay:
where \({}^{c}D^{q}_{t}\) is the Caputo fractional derivative of order \(0< q<1\). \(\mathscr{A}\) is the infinitesimal generator of a strongly continuous semigroup of \(\{\mathcal{T}(t), t>0\}\) in a Banach space X. \(f: J\times \mathcal{B}_{h}\times X\), \(g: J\times \mathcal{B} _{h}\), \(h: J^{2}\times \mathcal{B}_{h}\) are given functions, where \(\mathcal{B}_{h}\) is a phase space. The histories \(x_{t}: (-\infty , 0] {\rightarrow }X\) defined by \(x_{t}(s)=x(t+s)\), \(s\leq 0\), belong to an abstract space \(\mathcal{B}_{h}\).
In [13], Zhang, Huang, and Liu researched the existence and uniqueness of a mild solution for the fractional equation with nonlocal conditions and infinite delay as follows:
where \({}^{c}D^{q}_{t}\) is the Caputo fractional derivative of order \(0< q<1\). The operator \(\mathscr{A}\) generates a strongly continuous semigroup of bounded liner operators \(\{\mathcal{T}(t), t>0\}\) in the Banach space X. And u, f are two given continuous functions, \(x(\cdot )\) belongs to the Banach space X, and \(x_{t}(\cdot )\) denotes \(x_{t}(\theta )=x(t+\theta )\), \(\theta \in (-\infty , 0]\). \(I_{k}: X {\rightarrow }X\), \(\Delta x|_{t=t_{k}}=x(t_{k}^{+})-x(t_{k}^{-})\) with \(x(t_{k}^{+})=\lim_{h{\rightarrow }0^{+}}x(t_{k}+h)\), \(x(t_{k}^{-})= \lim_{h{\rightarrow }0^{-}}x(t_{k}+h)\), \(k=1,2,\ldots ,n\), for \(0=t_{0}< t_{1}< t_{2}<\cdots <t_{n}<t_{n+1}=b\).
To the best our knowledge, there are rare papers dealing with the coupled system of neutral fractional integro-differential equations with infinite delay in a Banach space. Therefore, it is important and interesting to study the existence of a mild solution for system (1.1) by the fixed point theorem. Our results are based on the properties of the analytic semigroup and ideas and techniques.
The rest of this paper is organized as follows. In Sect. 2, we recall some definitions and lemmas including the Caputo fractional calculus, the Mittag-Leffler function, and the analytic semigroup. In Sect. 3, we shall prove the existence of solutions for system (1.1). In Sect. 4, an example is given to demonstrate the application of our main results. Finally, the conclusion is given to simply recall our studies and results obtained in Sect. 5.
2 Preliminaries
In this section, we present some primary components, including notations, definitions, lemmas, and so on, which are required in the whole paper.
First, we present the abstract phase space \(\mathcal{B}_{h}\), which has been used in [36]. Assume that \(h: (-\infty ,0]\rightarrow (0,+\infty )\) is a continuous function with \(l=\int _{-\infty }^{0}h(t)\,dt<+\infty \). For any \(c>0\), we define \(\mathcal{B} = \{\psi : [-c,0]\rightarrow X\text{ such that }\psi (t)\text{ is bounded and measurable}\}\) and equip with the norm \(\|\psi \|_{[-c, 0]} = \sup_{s\in [-c, 0]} |\psi (s)|\), \(\forall \psi \in \mathcal{B}\). Let us define
If \(\mathcal{B}_{h}\) is equipped with the norm \(\|\psi \|_{ \mathcal{B}_{h}} = \int _{-\infty }^{0}h(s)\|\psi \|_{[s,0]}\,ds\), \(\forall \psi \in \mathcal{B}_{h}\), then it is obvious that \((\mathcal{B}_{h}, \|\cdot \|_{\mathcal{B}_{h}})\) is a Banach space. Define
equipped with a seminorm \(\|w\|_{\mathcal{B}_{h}^{\prime }} =\max \{ \|\phi _{1}\|_{\mathcal{B}_{h}},\|\phi _{2}\|_{\mathcal{B}_{h}},\|w_{1}\|_{b}, \|w_{2}\|_{b}\}\), where \(\|w_{i}\|_{b}=\sup_{s\in [0,b]} \{\|w_{i}(s) \|\}\), \(i=1,2\).
Obviously, \(\mathcal{B}_{h}^{\prime }\subset \mathbb{X}=X\times X\). For any \((x,y)\in \mathbb{X}\), define the seminorm \(\|(x,y)\|=\|(x,y)\|_{ \mathcal{B}'_{h}}\). Thus \(\mathcal{B}_{h}^{\prime }\) is a Banach space.
Lemma 2.1
Assume \(w=(w_{1},w_{2})\in \mathcal{B}_{h}^{\prime }\), then for \(t \in J\), \(w_{it} \in \mathcal{B}_{h}\). Moreover, \(l|w_{i}(t)| \leq \|w _{it}\|_{\mathcal{B}_{h}} \leq \|\phi _{i}\|_{\mathcal{B}_{h}} + l \sup_{s\in [0, t]}|w_{i}(s)|\), where \(l = \int _{-\infty }^{0}h(t) < +\infty \), \(i=1,2\).
Definition 2.1
The Riemann–Liouville fractional integral of order α of a continuous function \(f: (a,\infty )\rightarrow R\) is given by
provided that the right-hand side is pointwise defined on \((a,\infty )\).
Definition 2.2
If \(f\in C^{n}((a,\infty ),R)\) and \(\alpha >0\), then the Caputo fractional derivative of order α is given by
where \(n-1<\alpha \leq n\), provided that the right-hand side is pointwise defined on \((a,\infty )\).
Lemma 2.2
([37])
Assume that \(u\in C(a,b)\cap L(a,b)\) with a Caputo fractional derivative of order \(\alpha >0\) that belongs to \(C^{n}(a,b)\), then
for some \(c_{i}\in R\), \(i=0,1,2,\ldots ,n-1\), where n is the smallest integer greater than or equal to α.
Definition 2.3
([37])
A two-parameter function of the Mittag-Leffler type is defined by the series expansion
where C is a contour which starts and ends at −∞ and encircles the disc \(|\lambda |\leq \sqrt{|z|}\) counter clockwise. \(\mathbb{C}\) is the complex field, \(\operatorname{Re}(z)\) stands for the real part of complex number z.
For short, \(E_{\alpha }(z)=E_{\alpha ,1}(z)\). It is an entire function which provides a simple generalization of the exponent function \(E_{1}(z)=e^{z}\) and the cosine function \(E_{2}(z^{2})=\cosh (z)\), \(E_{2}(-z^{2})=\cos (z)\), and plays a vital role in the theory of fractional differential equations. The most interesting properties of the Mittag-Leffler functions are associated with their Laplace integral
and for more details, see [37].
Definition 2.4
([39])
A closed and linear operator \(\mathscr{A}\) is said to be sectorial if there are constants \(\omega \in \mathbb{R}\), \(\theta \in [\frac{ \pi }{2},\pi ]\), \(M>0\) such that the following two conditions are satisfied:
-
(1)
\(\rho (\mathscr{A})\subset S_{\omega ,\theta }=\{\lambda \in \mathbb{C}: \lambda \neq \omega , |\arg (\lambda -\omega )|< \theta \}\),
-
(2)
\(\|(\lambda I-\mathscr{A})^{-1}\| \leq \frac{\mathcal{M}}{| \lambda -\omega |}\), \(\lambda \in S_{\omega ,\theta }\).
Definition 2.5
([39])
Let \(\mathscr{A}\) be a closed and linear operator with the domain \(D(\mathscr{A})\) defined in a Banach space X. Let \(\rho ( \mathscr{A})\) be the resolvent set of \(\mathscr{A}\). \(\mathscr{A}\) is called the generator of an α-resolvent family if there exist \(\omega \geq 0\) and a strongly continuous function \(\mathcal{T}_{ \alpha }: \mathbb{R}_{+}{\rightarrow }\mathcal{L}(X)\), where \(\mathcal{L}(X)\) is a Banach space of all bounded linear operators from X into X and the corresponding norm is denoted by \(\|\cdot \|\) such that \(\{\lambda ^{\alpha }: \operatorname{Re}(\lambda )>\omega \}\subset \rho ( \mathscr{A})\) and
where \(\mathcal{T}_{\alpha }(t)\) is called the α-resolvent family generated by \(\mathscr{A}\).
Definition 2.6
([39])
Let \(\mathscr{A}\) be a closed and linear operator with the domain \(D(\mathscr{A})\) defined in a Banach space X and \(\alpha >0\). We say that \(\mathscr{A}\) is the generator of a solution operator if there exist \(\omega \geq 0\) and a strongly continuous function \(\mathcal{T} _{\alpha }: \mathbb{R}_{+}{\rightarrow }\mathcal{L}(X)\) such that \(\{\lambda ^{\alpha }: \operatorname{Re}(\lambda )>\omega \}\subset \rho (\mathscr{A})\) and
where \(\mathcal{T}_{\alpha }(t)\) is called the solution operator generated by \(\mathscr{A}\).
The concept of the solution operator is closely related to the concept of a resolvent family. For more details on α-resolvent family and solution operators, we refer the reader to [38] and the references therein.
Lemma 2.3
([16])
If E is a real Banach space and \(F: E \rightarrow E\) is a contraction mapping, then F has a unique fixed point in E.
Lemma 2.4
(Krasnoselskii’s fixed point theorem [15])
Let B be a nonempty closed convex subset of a Banach space \((X, \|\cdot \|)\). Suppose that P and Q map B into X such that
-
(i)
\(Px + Qx \in B\);
-
(ii)
P is a contraction mapping;
-
(iii)
Q is continuous and compact.
Then there exists \(z \in B\) such that \(z = Pz + Qz\).
Lemma 2.5
If the functions \(g_{i}: J\times \mathcal{B}^{2}_{h}\rightarrow X\), \(f _{i}: J\times \mathcal{B}^{2}_{h}\times X\rightarrow X\), \(e_{i}: J^{2} \times \mathcal{B}^{2}_{h}\rightarrow X\) (\(i=1,2\)) satisfy the uniform Hölder condition with exponent \(\gamma \in (0,1]\), \(\mathscr{A}\) and \(\mathscr{B}\) are sectorial operators, then a pair of solutions \((x,y)\in \mathbb{X}=X\times X\) of system (1.1) is given by the following coupled system of integral equations:
where
here \(\hat{B}_{r}\) denotes the Bromwich path; \(\mathcal{T}_{\alpha }(t)\) and \(\mathcal{T}_{\beta }(t)\) are the solution operators generated by \(\mathscr{A}\) and \(\mathscr{B}\), respectively.
Proof
Assume that \((x,y)\in \mathbb{X}=X \times X\) is a pair of solutions of system (1.1), then we have for \(t\in J\)
Applying Lemma 2.2, (2.2) gives
By using the initial conditions \(x(0)=\phi _{1}(0)\), \(y(0)=\phi _{2}(0)\), we get
Therefore,
Taking the Laplace transformation of system (2.4) on both sides, we obtain
Taking the inverse Laplace transformation on both sides of system (2.5), we have
By the above computation, we obtain the mild solution defined by (2.1) satisfying (1.1). The proof is completed. □
Definition 2.7
A pair of continuous functions \((x,y): (-\infty ,+\infty ){\rightarrow }\mathbb{X}=X\times X\) is said to be a pair of mild solutions of system (1.1) if \(x(0)=\phi _{1}(0)\in \mathcal{B}_{h}\), \(y(0)=\phi _{2}(0)\in \mathcal{B}_{h}\), and \((x,y)\) satisfies the following coupled system (2.1) of integral equations.
3 Existence of mild solutions
In this section, we shall employ the fixed point theorems of the operator to prove the existence of a mild solution to system (1.1). According to Lemma 2.5, we define the operator \(F: \mathbb{X}\rightarrow \mathbb{X}\) by
where
So the existence of solutions for system (1.1) is equivalent to the existence of the fixed point for the operator F defined by (3.1)–(3.3). Next we shall prove our main results.
Theorem 3.1
Assume that conditions \((H_{1})\)–\((H_{5})\) hold. Then system (1.1) has a pair of unique mild solutions \((x^{*},y^{*}) \in \mathbb{X}\).
- \((H_{1})\) :
-
The strongly continuous semigroups of bounded linear operators \(\mathcal{T}_{\alpha }(t)\) and \(\mathcal{T}_{\beta }(t)\) generated by \(\mathscr{A}\) and \(\mathscr{B}\) are all compact, and there exist two positive constants \(N_{1}\) and \(N_{2}\) such that the modules of \(\mathcal{T}_{\alpha }(t)\) and \(\mathcal{T}_{\beta }(t)\) satisfy
$$\begin{aligned} \bigl\Vert \mathcal{T}_{\alpha }(t) \bigr\Vert \leq N_{1}, \qquad \bigl\Vert \mathcal{T}_{\beta }(t) \bigr\Vert \leq N_{2}, \quad \forall t\in J. \end{aligned}$$ - \((H_{2})\) :
-
The functions \(g_{i}: J\times \mathcal{B}^{2}_{h} \rightarrow X\) (\(i=1,2\)) are the continuous functions, and there exist some positive constants \(a_{i1}\) and \(a_{i2}\) such that, for all \(t\in J\), \(x_{t}\), \(y_{t}\), \(\overline{x}_{t}\), \(\overline{y}_{t} \in \mathcal{B}_{h}\)
$$\begin{aligned} \bigl\Vert g_{i}(t,x_{t},y_{t})-g_{i}(t, \overline{x}_{t},\overline{y}_{t}) \bigr\Vert &\leq a_{i1} \Vert x_{t}-\overline{x}_{t} \Vert _{\mathcal{B}_{h}} +a_{i2} \Vert y _{t}- \overline{y}_{t} \Vert _{\mathcal{B}_{h}}. \end{aligned}$$ - \((H_{3})\) :
-
The functions \(f_{i}: J\times \mathcal{B}^{2}_{h} \times X \rightarrow X\) (\(i=1,2\)) are the continuous functions, and there exist some positive constants \(b_{i1}\), \(b_{i2}\), and \(b_{i3}\) such that for all \(t\in J\), \(x_{t}\), \(y_{t}\), \(\overline{x} _{t}\), \(\overline{y}_{t}\in \mathcal{B}_{h}\), u, \(v\in X\)
$$\begin{aligned} \bigl\Vert f_{i}(t,x_{t},y_{t},u)-f_{i}(t, \overline{x}_{t},\overline{y}_{t},v) \bigr\Vert &\leq b_{i1} \Vert x_{t}-\overline{x}_{t} \Vert _{\mathcal{B}_{h}} +b_{i2} \Vert y _{t}- \overline{y}_{t} \Vert _{\mathcal{B}_{h}}+b_{i3} \Vert u-v \Vert . \end{aligned}$$ - \((H_{4})\) :
-
The functions \(e_{i}: J^{2}\times \mathcal{B}^{2} _{h}\rightarrow X\) (\(i=1,2\)) are the continuous functions, and there exist some positive constants \(c_{i1}\) and \(c_{i2}\) such that for all \(t,s\in J\), \(x_{s}\), \(y_{s}\), \(\overline{x}_{s}\), \(\overline{y}_{s} \in \mathcal{B}_{h}\)
$$\begin{aligned} \bigl\Vert e_{i}(t,s,x_{s},y_{s})-e_{i}(t,s, \overline{x}_{s},\overline{y}_{s}) \bigr\Vert &\leq c_{i1} \Vert x_{s}-\overline{x}_{s} \Vert _{\mathcal{B}_{h}} +c_{i2} \Vert y _{s}- \overline{y}_{s} \Vert _{\mathcal{B}_{h}}. \end{aligned}$$ - \((H_{5})\) :
-
\(l[a_{i1}+a_{i2}+bN_{i}(b_{i1}+b_{12})+b^{2}N_{i}b _{i3}(c_{i1}+c_{i2})]<1\), \(i=1,2\), where \(l=\int _{-\infty }^{0}h(s)\,ds\).
Proof
Now we use Lemma 2.3 to prove that \(F: \mathbb{X}{\rightarrow }\mathbb{X}\) defined by (3.1)–(3.3) has a unique fixed point. In fact, for all \(t\in (-\infty ,b]\), \((x,y)\), \((\overline{x}, \overline{y})\in \mathbb{X}\), when \(t\in (-\infty ,0]\), we have
which implies that
When \(t\in J=[0,b]\), it follows from \((H_{1})\)–\((H_{4})\) that
Similarly, we have
In view of \((H_{5})\) and (3.4)–(3.6), we know that F defined by (3.1)–(3.3) is a contraction mapping. Then F has a unique fixed point \((x^{*},y^{*})\in \mathbb{X}\). Therefore, system (1.1) has a pair of unique mild solutions \((x^{*},y^{*})\in \mathbb{X}\). The proof of Theorem 3.1 is completed. □
Theorem 3.2
Assume that \((H_{1})\)–\((H_{2})\) hold. If the following conditions \((H_{6})\)–\((H_{8})\) hold, then system (1.1) has at least a pair of mild solutions.
- \((H_{6})\) :
-
The functions \(f_{i}: J\times \mathcal{B}^{2}_{h} \times X \rightarrow X\) (\(i=1,2\)) are the continuous functions, and there exist some positive constants \(B_{i1}\), \(B_{i2}\), and \(B_{i3}\) such that for all \(t\in J\), \(x_{t}\), \(y_{t}\in \mathcal{B} _{h}\), \(u\in X\)
$$\begin{aligned} \bigl\Vert f_{i}(t,x_{t},y_{t},u) \bigr\Vert &\leq B_{i1} \Vert x_{t} \Vert _{\mathcal{B}_{h}} +B _{i2} \Vert y_{t} \Vert _{\mathcal{B}_{h}}+B_{i3} \Vert u \Vert . \end{aligned}$$ - \((H_{7})\) :
-
The functions \(e_{i}: J^{2}\times \mathcal{B}^{2} _{h}\rightarrow X\) (\(i=1,2\)) are the continuous functions, and there exist some positive constants \(C_{i1}\) and \(C_{i2}\) such that for all \(t,s\in J\), \(x_{s}\), \(y_{s}\in \mathcal{B}_{h}\)
$$\begin{aligned} \bigl\Vert e_{i}(t,s,x_{s},y_{s}) \bigr\Vert &\leq C_{i1} \Vert x_{s} \Vert _{\mathcal{B}_{h}} +C _{i2} \Vert y_{s} \Vert _{\mathcal{B}_{h}}. \end{aligned}$$ - \((H_{8})\) :
-
\(\varrho _{i}=N_{i}+(l+N_{i})(a_{i1}+a_{i2})+lbN_{i}(B _{i1}+B_{i2})+lb^{2}N_{i}B_{i3}(C_{i1}+C_{i2})<1\), \(i=1,2\), where \(l=\int _{-\infty }^{0}h(s)\,ds\).
Proof
Let \(r=\max \{\frac{(1+N_{1})\sup_{t\in J}\|g_{1}(t,0,0)\|}{1- \varrho _{1}}, \frac{(1+N_{2})\sup_{t\in J}\|g_{2}(t,0,0)\|}{1-\varrho _{2}} \}\), \(\overline{\varOmega }=\{(x,y)\in \mathbb{X}:\|(x,y)\| \leq r\}\), where \(\|(x,y)\|=\|(x,y)\|_{\mathcal{B}'_{h}}\) Clearly, Ω̅ is a nonempty closed convex subset of a Banach space \(\mathbb{X}\). Define the operator \(F: \mathbb{X}{\rightarrow } \mathbb{X}\) as (3.1)–(3.3). We split \(F=P+Q\) such that, for all \(t\in (-\infty ,b]\), \((x,y)\in \mathbb{X}\),
When \(t\in (-\infty ,0]\), for all \((x,y)\in \overline{\varOmega }\), we have
When \(t\in J=[0,b]\), for all \((x,y)\in \overline{\varOmega }\), it follows from \((H_{1})\)–\((H_{2})\) and \((H_{6})\)–\((H_{8})\) that
Similarly, we also get
(3.11)–(3.13) indicate that \(P(x,y)+Q(x,y)\in \overline{ \varOmega }\), that is, condition (i) of Lemma 2.4 holds. Similar to (3.11)–(3.13), we also prove that P and Q map Ω̅ into \(\overline{\varOmega }\subset {X}\), and Q is uniformly bounded. Next we only need to show that P is a contraction mapping, and Q is equicontinuous. Indeed, for all \((x,y)\), \((\overline{x},\overline{y})\in \overline{\varOmega }\), when \(t\in (-\infty ,0]\), \(P(x,y)(t)-P(\overline{x},\overline{y})(t)=(\phi _{1}(t)-\phi _{1}(t),\phi _{2}(t)-\phi _{2}(t))=(0,0)\), which leads to
When \(t\in J=[0,b]\), from (3.7)–(3.8), \((H_{2})\), and \((H_{8})\), we have
According to (3.14) and (3.15), we conclude that P is contract, namely condition (ii) of Lemma 2.4 holds.
Now we verify that Q is equicontinuous. For all \((x,y)\in \overline{ \varOmega }\), \(t_{1}, t_{2}\in (-\infty ,b]\) with \(t_{1}< t_{2}\). When \(-\infty < t_{1}< t_{2}\leq 0\), (3.9) and (3.10) give
When \(0\leq t_{1}< t_{2}\leq b\), from (3.9), (3.10), \((H_{1})\), \((H_{6})\), and \((H_{7})\), we have
Similar to (3.17), we also get
When \(-\infty < t_{1}<0<t_{2}\leq b\), noticing that \(t_{2}\rightarrow t_{1}\) means that \(t_{2}\rightarrow 0^{+}\) and \(t_{1}\rightarrow 0^{-}\), we obtain
From (3.16)–(3.19), we know that Q is equicontinuous. Hence, by the Arzela–Ascoli theorem, we conclude that \(Q:\overline{ \varOmega }{\rightarrow }\overline{\varOmega }\) is completely continuous, that is, condition (iii) of Lemma 2.4 also holds. Thus all the conditions of Lemma 2.4 hold. According to Lemma 2.4, we know that system (1.1) has a pair of solutions \((x^{*},y^{*})\in \overline{\varOmega }\). The proof is completed. □
4 Illustrative example
Consider the following coupled system of neutral partial integro-differential equations with fractional derivative of the form
where \(0<\alpha \), \(\beta <1\), \(u_{t}=u(t+\theta ,x)\), \(v_{t}=v(t+ \theta ,x)\), \(\theta \leq 0\), \(\phi _{1}(t,x), \phi _{2}(t,x)\in \mathcal{B}_{h}\), \({}^{c}D_{t}^{\alpha }\) and \({}^{c}D_{t}^{\beta }\) are Caputo fractional derivatives.
Let \(X=L^{2}[0,\pi ]\) with the norm \(\|u\|_{L^{2}}=(\int _{0}^{\pi }|u(s)|^{2}\,ds)^{ \frac{1}{2}}\). \(\mathbb{X}=X\times X\) with the norm \(\|(u,v)\|=\max \{\|u\|_{L^{2}},\|v\|_{L^{2}}\}\).We choose \(h=e^{2s}\), \(s<0\), then \(l=\int _{-\infty }^{0}h(s)\,ds=\frac{1}{2}<\infty \) for \(t\leq 0\) and determine
Define the operator \(\mathscr{A},\mathscr{B}: D\subset X{\rightarrow }X\) by \(\mathscr{A}w=\mathscr{B}w=w''\) with the domain D defined as
Then
in which \(w_{n}(x)=\sqrt{\frac{2}{\pi }}\sin (nx)\) (\(n=1,2,\ldots \)) is the orthogonal set of eigenvectors of \(\mathscr{A}\) and \(\mathscr{B}\). It has been long known that \(\mathscr{A}\) and \(\mathscr{B}\) are the infinitesimal generators of an analytic semigroup \(\{\mathcal{T}_{ \alpha }(t)\}_{t\geq 0}\) and \(\{\mathcal{T}_{\beta }(t)\}_{t\geq 0}\) in X and are provided by
Since the analytic semigroups \(\{\mathcal{T}_{\alpha }(t)\}_{t\geq 0}\) and \(\{\mathcal{T}_{\beta }(t)\}_{t\geq 0}\) are compact [37], there exist some constants \(N_{1},N_{2}>0\) such that \(\|\mathcal{T}_{\alpha }(t)\|_{\mathcal{L}(X)}\leq N_{1}\) and \(\|\mathcal{T}_{\beta }(t)\| _{\mathcal{L}(X)}\leq N_{2}\).
Take \(g_{i}(t,u_{t},v_{t})=\frac{\sin t(u_{t}^{2}+v_{t}^{2})}{100}\) (\(i=1,2\)), \(f_{i}(t,u_{t},v_{t},w)=\frac{u_{t}^{3}+\cos (v_{t})+w}{100}\) (\(i=1,2\)), \(e_{i}(t,s,u_{s},v_{s})=\frac{e^{t+s-2}(u_{t}+v_{t})}{100}\) (\(i=1,2\)). By the simple calculation, we have
From the above discussion, we obtain \(l=\frac{1}{2}\), \(b=1\), \(a_{11}=a_{21}= a_{12}=a_{22}=\frac{\sqrt{\pi }}{50}\), \(b_{11}=b _{21}=\frac{3\sqrt{\pi }}{100}\), \(b_{12}=b_{22}=b_{13}=b_{23}=c_{11}=c _{21}=c_{12}=c_{21}=\frac{\sqrt{\pi }}{100}\). Taking \(N_{i}= \frac{1}{5}\) (\(i=1,2\)), we derive
Thus, conditions \((H_{1})\)–\((H_{5})\) hold. According to Theorem 3.1, we know that system (4.1) has a pair of unique mild solutions \((u^{*},v^{*})\in L^{2}[0,\pi ]\times L^{2}[0,\pi ]\). Similarly, we easily verify that conditions \((H_{6})\)–\((H_{8})\) also hold. It follows from Theorem 3.2 that system (4.1) has at least a pair of mild solutions \((u^{*},v^{*})\in L^{2}[0,\pi ] \times L^{2}[0,\pi ]\).
5 Conclusions
The fractional differential equation has a significant role to play in some phenomena and processes of many fields such as physics, chemistry, aerodynamics, electrodynamics of a complex medium, polymer rheology, capacitor theory, electrical circuits, biology, control theory, fitting of experimental data, and so on. Therefore, the subject of fractional differential equations is gaining much importance and attention. In recent years, some scholars began researching the neutral fractional differential equation. These types of equations usually contain the fractional derivatives of time delay and the abstract operators. So it is difficult and challenging to study them. There are rare papers dealing with a coupled system of neutral fractional equations with time delays. Thereby, we study a class of coupled systems of neutral fractional differential integro-differential equations with infinite delay in a Banach space in this paper. By applying the Banach contraction principle and Krasnoselskii’s fixed point theorem, some new existence criteria of mild solutions are obtained.
References
Baleanu, D., Diethelm, K., Scalas, E., Trujillo, J.: Fractional Calculus: Models and Numerical Methods. World Scientific, Singapore (2012)
Dabas, J., Chauhan, A.: Existence and uniqueness of mild solution for an impulsive neutral fractional integro-differential equation with infinite delay. Math. Comput. Model. 57, 754–763 (2013)
Santos, J., Arjunan, M., Cuevas, C.: Existence results for fractional neutral integro-differential equations with state-dependent delay. Comput. Math. Appl. 62(3), 1275–1283 (2011)
Zhao, K., Wang, K.: Existence of solutions for the delayed nonlinear fractional functional differential equations with three-point integral boundary value conditions. Adv. Differ. Equ. 2016, 284 (2016)
Zhao, K.: Triple positive solutions for two classes of delayed nonlinear fractional FDEs with nonlinear integral boundary value conditions. Bound. Value Probl. 2015, 181 (2015)
Liao, J., Chen, F., Hu, S.: Existence of solutions for fractional impulsive neutral functional differential equations with infinite delay. Neurocomputing 122, 156–162 (2013)
Sakthivel, R., Revathi, P., Ren, Y.: Existence of solutions for nonlinear fractional stochastic differential equations. Nonlinear Anal., Theory Methods Appl. 81, 70–86 (2013)
Zhao, K., Gong, P.: Positive solutions of m-point multi-term fractional integral BVP involving time-delay for fractional differential equations. Bound. Value Probl. 2015, 19 (2015)
Zhao, K.: Multiple positive solutions of integral BVPs for high-order nonlinear fractional differential equations with impulses and distributed delays. Dyn. Syst. 30(2), 208–223 (2015)
Ravichandran, C., Baleanu, D.: Existence results for fractional neutral functional integro-differential evolution equations with infinite delay in Banach spaces. Adv. Differ. Equ. 2013, 215 (2013)
Park, J., Balachandran, K., Annapoorani, N.: Existence results for impulsive neutral functional integrodifferential equations with infinite delay. Nonlinear Anal., Theory Methods Appl. 71, 3152–3162 (2009)
Guo, T., Jiang, W.: Impulsive fractional functional differential equations. Comput. Math. Appl. 64, 3414–3424 (2012)
Zhang, X., Huang, X., Liu, Z.: The existence and uniqueness of mild solutions for impulsive fractional equations with nonlocal conditions and infinite delay. Nonlinear Anal. Hybrid Syst. 4, 775–781 (2010)
Cao, J., Luo, Y., Liu, G.: Some results for impulsive fractional differential inclusions with infinite delay and sectorial operators in Banach spaces. Appl. Math. Comput. 273, 237–257 (2016)
Bao, H., Cao, J.: Existence of solutions for fractional stochastic impulsive neutral functional differential equations with infinite delay. Adv. Differ. Equ. 2017, 66 (2017)
Chang, Y., Anguraj, A., Arjunan, M.: Existence results for impulsive neutral functional differential equations with infinite delay. Nonlinear Anal. Hybrid Syst. 2, 209–218 (2008)
Shah, K., Khan, R.: Multiple positive solutions to a coupled systems of nonlinear fractional differential equations. SpringerPlus 2016, 5 (2016)
Li, Y., Shah, K., Khan, R.: Iterative technique for coupled integral boundary value problem of non- integer order differential equations. Adv. Differ. Equ. 2017, 251 (2017)
Wang, J., Shah, K., Ali, A.: Existence and Hyers–Ulam stability of fractional nonlinear impulsive switched coupled evolution equations. Math. Methods Appl. Sci. 41(6), 2392–2402 (2018)
Ali, S., Shah, K., Jarad, F.: On stable iterative solutions for a class of boundary value problem of nonlinear fractional order differential equations. Math. Methods Appl. Sci. 42(3), 968–981 (2018)
Shah, K., Khan, R., Baleanu, D.: Study of implicit type coupled system of non-integer order differential equations with anti-periodic boundary conditions. Math. Methods Appl. Sci. (2019). https://doi.org/10.1002/mma.5496
Alsaedi, A., Baleanu, D., Etemad, S., Rezapour, S.: On coupled systems of time-fractional differential problems by using a new fractional derivative. J. Funct. Spaces 2016, Article ID 4626940 (2016)
Agarwal, R., Baleanu, D., Hedayati, V., Rezapour, S.: Two fractional derivative inclusion problems via integral boundary condition. Appl. Math. Comput. 257, 205–212 (2015)
Baleanu, D., Rezapour, S., Mohammadi, H.: Some existence results on nonlinear fractional differential equations. Philos. Trans. R. Soc. Lond. A 371, 20120144 (2013)
Baleanu, D., Mohammadi, H., Rezapour, S.: The existence of solutions for a nonlinear mixed problem of singular fractional differential equations. Adv. Differ. Equ. 2013, 359 (2013)
Baleanu, D., Mousalou, A., Rezapour, S.: A new method for investigating approximate solutions of some fractional integro-differential equations involving the Caputo–Fabrizio derivative. Adv. Differ. Equ. 2017, 51 (2017)
Baleanu, D., Mousalou, A., Rezapour, S.: On the existence of solutions for some infinite coefficient-symmetric Caputo–Fabrizio fractional integro-differential equations. Bound. Value Probl. 2017, 145 (2017)
Baleanu, D., Mousalou, A., Rezapour, S.: The extended fractional Caputo–Fabrizio derivative of order \(0\leq \sigma <1\) on \(C_{R}[0,1]\) and the existence of solutions for two higher-order series-type differential equations. Adv. Differ. Equ. 2018, 255 (2018)
Kojabad, E., Rezapour, S.: Approximate solutions of a sum-type fractional integro-differential equation by using Chebyshev and Legendre polynomials. Adv. Differ. Equ. 2017, 351 (2017)
Aydogan, M., Baleanu, D., Mousalou, A., Rezapour, S.: On approximate solutions for two higher-order Caputo–Fabrizio fractional integro-differential equations. Adv. Differ. Equ. 2017, 221 (2017)
Aydogan, M., Baleanu, D., Rezapour, S.: On high order fractional integro-differential equations including the Caputo–Fabrizio derivative. Bound. Value Probl. 2018, 90 (2018)
Mallika, D., Baleanu, D., Suganya, S., Arjunan, M.: Existence results for fractional neutral integro-differential systems with nonlocal condition through resolvent operators. An. Ştiinţ. Univ. ‘Ovidius’ Constanţa, Ser. Mat. 27(1), 107–124 (2019)
Kalamani, P., Baleanu, D., Arjunan, M.: Local existence for an impulsive fractional neutral integro-differential system with Riemann–Liouville fractional derivatives in a Banach space. Adv. Differ. Equ. 2018, 416 (2018)
Chen, F., Baleanu, D., Wu, G.: Existence results of fractional differential equations with Riesz–Caputo derivative. Eur. Phys. J. Spec. Top. 226(16–18), 3411–3425 (2017)
Shiri, B., Baleanu, D.: System of fractional differential algebraic equations with applications. Chaos Solitons Fractals 120, 203–212 (2019)
Chang, Y.: Controllability of impulsive functional differential systems with infinite delay in Banach spaces. Chaos Solitons Fractals 33, 1601–1609 (2007)
Kilbas, A., Srivastava, H., Trujillo, J.: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204. Elsevier, Amsterdam (2006)
Podlubny, I.: Fractional Differential Equations. Academic Press, New York (1993)
Haase, M.: The Functional Calculus for Sectorial Operators. Operator Theory: Advances and Applications, vol. 169. Birkhäuser, Basel (2006)
Acknowledgements
The authors thank the referees for a number of suggestions which have improved many aspects of this article.
Availability of data and materials
Not applicable.sd
Funding
This work was supported by the National Natural Sciences Foundation of Peoples Republic of China under Grant (Nos. 11161025, 11661047).
Author information
Authors and Affiliations
Contributions
The authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare to have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Liu, J., Zhao, K. Existence of mild solution for a class of coupled systems of neutral fractional integro-differential equations with infinite delay in Banach space. Adv Differ Equ 2019, 284 (2019). https://doi.org/10.1186/s13662-019-2232-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-019-2232-z