- Research
- Open Access
- Published:
The existence of positive mild solutions for fractional differential evolution equations with nonlocal conditions of order \(1<\alpha<2\)
Advances in Difference Equations volume 2015, Article number: 159 (2015)
Abstract
In this paper, we investigate the existence of positive mild solutions of fractional evolution equations with nonlocal conditions of order \(1<\alpha<2\) by using Schauder’s fixed point theorem and Krasnoselskii’s fixed point theorem.
1 Introduction
The differential equations involving fractional derivatives have recently been studied extensively, because they have proved to be valuable in various fields of science and engineering. Indeed, we can find numerous applications in electrochemistry, electromagnetism, biology, and hydrogeology. For example space-fractional diffusion equations have been used in groundwater hydrology to model the transport of passive-tracers carried by fluid flow in a porous medium [1, 2], or to model activator-inhibitor dynamics with anomalous diffusion [3]. In particular, there has been a significant development in fractional evolution equations. The existence of solutions for fractional evolution equations has been studied by many authors during recent years. Many excellent results were obtained in this field [3–11].
Shu and Wang [4] studied the existence of mild solutions for the fractional differential equations with nonlocal conditions in a Banach space X:
where \(D_{t}^{\alpha}\) is the Caputo fractional derivative of order \(1<\alpha<2\). By using the contraction mapping principle and Krasnoselskii’s fixed point theorem, they obtained the existence of solutions for the equation.
Mu [5] considered the existence of mild solutions to the following semilinear fractional evolution equations:
where \(D^{\alpha}\) is the Caputo fractional derivative of order \(0<\alpha<1\). −A is the infinitesimal generator of an analytic semigroup \(T(t)=e^{At}|_{t\geq0}\), and \(f:I\times X\rightarrow X\) is continuous.
As is well known, a mild solution to system (1.1) satisfies the following equation:
Since \(0<\alpha<1\), we can combine the probability density function and semigroup theory to describe the corresponding solution operators \(S_{\alpha}(t)\), \(T_{\alpha}(t)\) (see [12]), where
where \(\phi_{\alpha}(\theta)\) is the probability density function defined on \((0,\infty)\) such that its Laplace transform is
Thus, it is obvious that whatever operator A is, \(T(t)=e^{At}\), \(T_{\alpha}(t)\), \(S_{\alpha}(t)\) are always positive if −A is the infinitesimal generator of an analytic semigroup \(T(t)\).
In [6], Mu and Fan investigate the existence and uniqueness of positive mild solutions of the following periodic boundary value problem for the fractional evolution equations in an ordered Banach space in [6]:
where \(D^{\alpha}\) is the Caputo fractional derivative of order \(0<\alpha<1\). First, using the probability density function and semigroup theory the authors established the mild solutions of the associated linear fractional evolution equations. Then they estimated the spectral radius of resolvent operators accurately. With the aid of the estimation, the existence and uniqueness results of positive mild solutions are obtained by using the monotone iterative technique.
However, for \(1<\alpha<2\), the existence of a positive mild solution for a fractional differential evolution equation still is an untreated topic in the literature. On the one hand, whether \(K_{\alpha}(t)\), \(T_{\alpha}(t)\) is positive is still unknown, meanwhile \(S_{\alpha}(t)\) is not positive; see Remark 2.3. On the other hand, we do not know if we can still use the probability density function together with semigroup theory to describe the corresponding solution operators \(S_{\alpha}(t)\), \(K_{\alpha}(t)\), and \(T_{\alpha}(t)\). So, it is difficult for us to investigate the positive mild solutions of fractional differential evolution equation in the way as [5] did. In [11], Bai and Lü investigate the positive solutions for nonlinear fractional differential equation by means of some fixed point theorem on cone. Given these, using the fixed point theorem on a cone, we investigate the existence of positive mild solution of such a fractional order differential equation.
Motivated by the above, in this paper, we study the existence of positive mild solutions of the following fractional differential evolution equation in an ordered Banach space X with positive cone P:
where \(D^{\alpha}\) is the Caputo fractional derivatives of \(1<\alpha <2\), A is a sectorial operator of type \((M,\theta,\alpha,\mu)\) defined from domain \(D(A)\subset X\) into X, the nonlinear map \(f,g:J\times X\rightarrow P\) are continuous, \(q:[0,T]\rightarrow R^{+}\) is an integrable function on \([0,T]\), and \(q=\max_{t\in[0,T]}\int_{0}^{t} |q(t-s)|\,ds\). \(m,n:X\rightarrow X\) are also continuous.
The rest of this paper is organized as follows. In Section 2, we first present some basic definitions and theorems to be used. Then we investigate the properties of solution operators by means of classical Mittag-Leffler function. The main results of this article are given in Section 3. In Section 4, an example is considered to illustrate the applications of the main results presented in Section 3. Finally, in Section 5, we make a conclusion of this paper.
2 Preliminaries
In this part, we will introduce some basic definitions and theorems that are used throughout this paper.
2.1 Definitions and theorems
If X is an ordered Banach space with the norm \(\|\cdot\|\). Let P be a cone in which defined a partial ordering in X by \(x\leq y\) if and only if \(y-x\in P\). P is said to be normal if there exists a positive constant N such that \(\theta\leq x\leq y\) implies \(\|x\|\leq N\| y\| \), where θ denotes the zero element of X, and the smallest N is called the normal constant of P. P is called solid if its interior P is nonempty. If \(x\leq y\) and \(x\neq y\), we write \(x< y\). If P is solid and \(y-x\in\dot{P}\), we write \(x\ll y\). For details on cone theory, see [13].
Besides, if X is an ordered Banach space, then \(C(J,X)\) is also an ordered Banach space with the partial order ≤ induced by the positive cone \(K=\{x\in C(J,X): x(t)\geq\theta, \mbox{for all } t\in J\}\).
Throughout this paper, we assume that P is a positive cone of ordered Banach space X, then \(K=\{x\in C(J,X): x(t)\geq\theta, \mbox{for all } t\in J\}\) also is the positive cone of Banach space \(C(J,X)\).
In general, the Mittag-Leffler function is defined as [14]:
where \(H_{\alpha}\) denotes a Hankel path, a contour starting and ending at −∞, and encircling the disc \(|\mu|\leq|z|^{\frac{1}{\alpha}}\) counterclockwise.
Theorem 2.1
([15])
Let A be a densely defined operator in X satisfying the following conditions:
-
(1)
For some \(0<\theta<\pi/2\), \(\mu+S_{\theta}=\{\mu+\lambda:\lambda \in C, |\operatorname{Arg}(-\lambda)|<\theta\}\).
-
(2)
There exists a constant M such that
$$\bigl\Vert (\lambda I-A)^{-1}\bigr\Vert \leq\frac{M}{|\lambda-\mu|}, \quad \lambda\notin \mu+S_{\theta}. $$
Then A is the infinitesimal generator of a semigroup \(T(t)\) satisfying \(\|T(t)\|\leq C\). Moreover, \(T(t)=\frac{1}{2\pi i}\int_{c} e^{\lambda t}R(\lambda,A)\, d\lambda\) with c being a suitable path \(\lambda\notin\mu+S_{\theta}\) for \(\lambda\in c\).
Definition 2.1
([4])
Let \(A:D(A)\subseteq X\rightarrow X\) be a closed linear operator. A is said to be a sectorial operator of type \((M,\theta,\alpha,\mu)\) if there exist \(0<\theta<\pi/2\), \(M>0\), and \(\mu\in R\) such that the α-resolvent of A exists outside the sector
and
Remark 2.1
([4])
If A is a sectorial operator of type \((M,\theta,\alpha,\mu)\), then it is not difficult to see that A is the infinitesimal generator of a α-resolvent family \(\{T_{\alpha}(t)\}_{t\geq0}\) in a Banach space, where \(T_{\alpha}(t)=\frac{1}{2\pi i}\int_{C} e^{\lambda t} R(\lambda^{\alpha},A)\,d\lambda\).
Definition 2.2
([4])
A function \(x\in C([0,T],X)\) is called a mild solution of problem (1.2) if it satisfies the operator equation
Definition 2.3
([5])
Let \(R(t)_{(t\geq0)}\) be an α-resolvent solution operator in X. If \(R(t)x\geq\theta\) for every \(x\geq\theta\), \(x\in X\), and \(t\geq0\), then \(R(t)_{(t\geq0)}\) is called to be positive.
Definition 2.4
([7])
Let \(A:D(A)\rightarrow X\) be a linear operator. Operator A is said to be nonnegative if and only if it satisfies both of the following conditions:
-
(1)
There exists \(K\geq0\) such that for every value of \(\lambda>0\) and every \(u\in D(A)\), we have
$$\lambda\|u\|\leq K\|\lambda u+Au\|. $$ -
(2)
\(R(\lambda I+A)=X\) for every value of \(\lambda>0\).
Definition 2.5
([7])
If A is a linear operator and satisfies condition (1) in Definition 2.4 for \(K=1\), then A is said to be accretive. In addition, A is said to be m-accretive if condition (2) is also satisfied.
Definition 2.6
Operator A is a sectorial accretive operator of type \((M,\theta,\alpha ,\mu)\) if and only if A is a sectorial operator of type \((M,\theta ,\alpha,\mu)\) and A is accretive.
Remark 2.2
([7])
Assume that A is a Hilbert space with inner product \((\cdot;\cdot)\). Then the necessary and sufficient condition for A to be accretive is \(\operatorname{Re}(Au,u)\geq0\) for every \(u\in D(A)\). Particularly, if X is a real Hilbert space and A is positive, then we obtain \((Au,u)\geq0\) for every \(u\in D(A)\). Note that an ordered Banach space is a real space, implying that if X is an ordered Banach space and A is accretive, then \((Au,u)\geq0\) for every \(u\in D(A)\).
Now, we state two well-known fixed point theorems, which are needed to prove our main results.
Theorem 2.2
(Schauder’s fixed point theorem)
Let Y be a nonempty, closed, bounded, and convex subset of a Banach space X, and suppose that \(T:Y\rightarrow Y\) is a compact operator. Then T has at least one fixed point in Y.
Theorem 2.3
(Krasnoselskii’s fixed point theorem)
Let M be a closed convex and nonempty subset of a Banach space X. Let A, B be the operators such that (i) \(Ax+By\in M\) whenever \(x,y\in M\); (ii) A is compact and continuous; (iii) B is a contraction mapping. Then there exists \(z\in M\) such that \(z=Az+Bz\).
2.2 Properties of solution operators
Lemma 2.1
If A is a sectorial operator of type \((M,\theta,\alpha,\mu)\), then we have
and
Proof
We note that
Applying the transformation \(\zeta=\eta^{\frac{1}{\alpha}}\) to (2.1) gives
Since A is a sectorial operator of type \((M,\theta,\alpha,\mu)\), it follows from the inequality
that A is the infinitesimal generator of α-resolvent families \(\{S_{\alpha}(t)\}_{t\geq0}\), \(\{K_{\alpha}(t)\}_{t\geq0}\), and \(\{ T_{\alpha}(t)\}_{t\geq0}\) (see [4]). Hence, using the transformation \(t^{-\alpha}\eta=\lambda^{\alpha}\) (i.e., \(t^{-\alpha}\,d\eta=\alpha\lambda^{\alpha-1}\,d\lambda\) and \(e^{\eta^{\frac {1}{\alpha}}}=e^{t\lambda}\)), we obtain
Similarly, we show that
and
□
Remark 2.3
The Mittag-Leffler function \(E_{\alpha ,1}(x)\) is well known to have a finite number of real zeros in the range \(1<\alpha<2\). Reference [16] deduces that operator \(S_{\alpha}(t)\) is non-positive by Lemma 2.1.
Remark 2.4
It follows from Definition 2.6 and Remark 2.2 that if X is an ordered Banach space and A is a sectorial accretive operator of type \((M,\theta,\alpha,\mu)\), then the α-resolvent families \(\{T_{\alpha}(t)\}_{t\geq0}\), \(\{S_{\alpha }(t)\}_{t\geq0}\), and \(\{K_{\alpha}(t)\}_{t\geq0}\) are all positive.
Theorem 2.4
([4])
Let A be a sectorial operator of type \((M,\theta,\alpha,\mu)\). Then the following estimates on \(\|S_{\alpha}(t)\|\) hold.
-
(i)
Suppose \(\mu\geq0\). Given \(\phi\in(0,\pi)\), we have
$$\begin{aligned} \bigl\Vert S_{\alpha}(t)\bigr\Vert \leq&\frac{K_{1}(\theta,\phi)Me^{[K_{1}(\theta,\phi )(1+\mu t^{\alpha})]^{\frac{1}{\alpha}}} [(1+\frac{\sin\phi}{\sin (\phi-\theta)})^{\frac{1}{\alpha}}-1 ]}{\pi\sin^{1+\frac{1}{\alpha }}\theta}\bigl(1+\mu t^{\alpha}\bigr) \\ &{}+\frac{\Gamma(\alpha)M}{\pi(1+\mu t^{\alpha})|\cos\frac{\pi-\phi }{\alpha}|^{\alpha}\sin\theta\sin\phi}, \end{aligned}$$for \(t>0\), where \(K_{1}(\theta,\phi)=\max\{1,\frac{\sin\theta}{\sin(\theta -\phi)}\}\).
-
(ii)
Suppose \(\mu<0\). Given \(\phi\in(0,\pi)\), we have
$$\bigl\Vert S_{\alpha}(t)\bigr\Vert \leq \biggl(\frac{eM[(1+\sin\phi)^{\frac{1}{\alpha }}-1]}{\pi|\cos\phi|^{1+\frac{1}{\alpha}}}+ \frac{\Gamma(\alpha)M}{\pi|\cos\phi||\cos\frac{\pi-\phi}{\alpha }|^{\alpha}} \biggr)\frac{1}{1+|\mu|t^{\alpha}}, $$for \(t>0\).
Theorem 2.5
([4])
Let A be a sectorial operator of type \((M,\theta,\alpha,\mu)\). Then the following estimates on \(\|T_{\alpha}(t)\|\), \(\|K_{\alpha}(t)\|\) hold.
-
(i)
Suppose \(\mu\geq0\). Given \(\phi\in(0,\pi)\), we have
$$\begin{aligned}& \bigl\Vert T_{\alpha}(t)\bigr\Vert \leq \frac{Me^{[K_{1}(\theta,\phi)(1+\mu t^{\alpha })]^{\frac{1}{\alpha}}} [(1+\frac{\sin\phi}{\sin(\theta-\phi )})^{\frac{1}{\alpha}}-1 ]}{\pi\sin\theta}\bigl(1+\mu t^{\alpha}\bigr)^{\frac {1}{\alpha}}t^{\alpha-1} \\& \hphantom{\bigl\Vert T_{\alpha}(t)\bigr\Vert \leq}{} + \frac{Mt^{\alpha-1}}{\pi(1+\mu t^{\alpha})|\cos\frac{\pi-\phi}{\alpha }|^{\alpha}\sin\theta\sin\phi}, \\& \bigl\Vert K_{\alpha}(t)\bigr\Vert \leq \frac{M K_{1}(\theta,\phi)e^{[K_{1}(\theta,\phi )(1+\mu t^{\alpha})]^{\frac{1}{\alpha}}} [(1+\frac{\sin\phi}{\sin (\theta-\phi)})^{\frac{1}{\alpha}}-1 ] }{\pi\sin^{\frac{\alpha+2}{\alpha}}\theta}\bigl(1+\mu t^{\alpha}\bigr)^{\frac {\alpha-1}{\alpha}}t^{\alpha-1} \\& \hphantom{\bigl\Vert K_{\alpha}(t)\bigr\Vert \leq}{} + \frac{M\alpha\Gamma(\alpha)}{\pi(1+\mu t^{\alpha})|\cos\frac{\pi-\phi }{\alpha}|^{\alpha}\sin\theta\sin\phi}, \end{aligned}$$for \(t>0\), where \(K_{1}(\theta,\phi)=\max\{1,\frac{\sin\theta}{\sin(\theta -\phi)}\}\).
-
(ii)
Suppose \(\mu<0\). Given \(\phi\in(0,\pi)\), we have
$$\begin{aligned}& \bigl\Vert T_{\alpha}(t)\bigr\Vert \leq \biggl(\frac{eM[(1+\sin\phi)^{\frac{1}{\alpha }}-1]}{\pi|\cos\phi|}+ \frac{M}{\pi|\cos\phi||\cos\frac{\pi-\phi}{\alpha}|} \biggr)\frac {t^{\alpha-1}}{1+|\mu|t^{\alpha}} , \\& \bigl\Vert K_{\alpha}(t)\bigr\Vert \leq \biggl(\frac{eMt[(1+\sin\phi)^{\frac{1}{\alpha }}-1]}{\pi|\cos\phi|^{1+\frac{2}{\alpha}}}+ \frac{\alpha\Gamma(\alpha)M}{\pi|\cos\phi||\cos\frac{\pi-\phi}{\alpha }|} \biggr)\frac{1}{1+|\mu|t^{\alpha}} , \end{aligned}$$for \(t>0\).
3 Main result
Because of the estimation on \(\|S_{\alpha}(t)\|\), \(\|K_{\alpha}(t)\|\), and \(\|T_{\alpha}(t)\|\) in Theorem 2.4 and Theorem 2.5, it is easy to see they are bounded. So we make the following assumptions:
- (H1)::
-
There exist positive numbers \(\widetilde{M}\) such that for any \(t\in J\), we have
$$\sup_{t\in J}\bigl\Vert S_{\alpha}(t)\bigr\Vert \leq \widetilde{M},\qquad \sup_{t\in J}\bigl\Vert K_{\alpha}(t) \bigr\Vert \leq\widetilde{M}, \qquad \sup_{t\in J}\bigl\Vert T_{\alpha}(t)\bigr\Vert \leq\widetilde{M}. $$ - (H2)::
-
The linear operator A is a sectorial accretive operator of type \((M,\theta,\alpha,\mu)\) and generates compact α-resolvent families \(\{T_{\alpha}(t)\}_{t\geq0}\), \(\{S_{\alpha}(t)\}_{t\geq0}\), and \(\{K_{\alpha}(t)\}_{t\geq0}\).
- (H3)::
-
\(f,g:J\times X\rightarrow P\) is jointly continuous and for any \(k>0\) there exist positive functions \(\mu_{k},\nu_{k}\in L([0,T],R^{+})\) such that
$$\sup_{\Vert u\Vert \leq k}\bigl\Vert f(t,u)\bigr\Vert \leq \mu_{k}(t),\qquad \sup_{\Vert u\Vert \leq k}\bigl\Vert g(t,u)\bigr\Vert \leq\nu_{k}(t). $$ - (H4)::
-
\(u_{0}-m(u),u_{1}-n(u)\in C(X,P)\) and there exist positive numbers a, b, c, d such that
$$\bigl\Vert m(u)\bigr\Vert \leq a\|u\|+b, \qquad \bigl\Vert n(u)\bigr\Vert \leq c\|u\|+d, \quad \mbox{for all } u\in X. $$
Theorem 3.1
Assume that (H1)-(H4) hold, if \(\widetilde{M}(a+c)<1\), then problem (1.2) has at least one positive mild solution on J.
Proof
Using Definition 2.2, the mild solution of nonlocal fractional differential evolution equation (1.2) can be expressed as
Choose
and consider \(Q=\{u\in K: \|u\|\leq r\}\). Define the operator \(\Gamma :Q\rightarrow C(J,X)\) by
Step 1: we prove that \(\Gamma Q\subseteq Q\).
For any \(u\in Q\), based on assumptions (H3) and (H4), for \(t\in J\), we have
In view of (H2), we note that A is a sectorial accretive operator of type \((M,\theta,\alpha,\mu)\) and generates compact and positive α-resolvent families \(\{S_{\alpha}(t)\}_{t\geq0}\), \(\{K_{\alpha }(t)\}_{t\geq0}\), and \(\{T_{\alpha}(t)\}_{t\geq0}\). Then we have
Consequently, we obtain
Also we have
Combining (3.5) with (3.6), we obtain
Step 2: continuity of F.
Let \(\{u_{n}\}\) be a sequence in Q such that \(\|u_{n}-\overline{u}\| \rightarrow0\). Noting that f, g, m, n are continuous, as \(n\rightarrow \infty\) we have
For all \(t\in J\), we get
From (3.7) and (3.8), we obtain \(\lim_{n\rightarrow \infty}(\Gamma u_{n})(t)=(\Gamma u)(t)\), that is, the operator Γ is continuous.
Step 3: compactness of Γ.
To this end, we use the Arzela-Ascoli theorem. We prove that \(\{(\Gamma u)(t): u\in Q\}\) is relatively compact in X. First, we prove that \(\{ (\Gamma u)(t): u\in Q\}\) is uniformly bounded. We have
Now, let us prove that \(\Gamma(Q)\) is equicontinuous. The function \(\{ (\Gamma u)(t): u\in Q\}\) are equicontinuous at \(t=0\). For \(0< t_{1}< t_{2}\leq T\) and \(u\in Q\), we have
where
The continuity of functions \(t\rightarrow\|S_{\alpha}(t)\|\), \(t\rightarrow\|K_{\alpha}(t)\|\) for \(t\in(0,T]\), allows us to conclude that \(\lim_{t_{1}\rightarrow t_{2}}I_{1}=0\). Indeed, we have
Therefore, the continuity of function \(t\rightarrow\|T_{\alpha}(t)\|\) for \(t\in(0,T]\) also allows us to conclude that \(\lim_{t_{1}\rightarrow t_{2}}I_{2}=0\). We have
Consequently, \(\lim_{t_{1}\rightarrow t_{2}} I_{3}=0\).
Thus, for \(t\in J\), \(\{(\Gamma u)(t): u\in Q\}\) is a family of equicontinuous function. We have proved that \(\{\Gamma(Q)\}\) is relatively compact. Hence by the Arzela-Ascoli theorem, Γ is compact. Schauder’s fixed point theorem allows us to conclude that Γ has at least one fixed point on J. As \((\Gamma u)(t)\geq \theta\) when \(u\in Q\), problem (1.2) has at least one positive mild solution on J. □
In the following, we give an existence result in the case where (H4) is not satisfied. We need the following assumptions.
- (H5)::
-
\(u_{0}-m(u),u_{1}-n(u):X\rightarrow P\) are continuous and bounded on X.
- (H6)::
-
There exist positive numbers \(l_{1}\), \(l_{2}\) such that for any \(t\in J\), \(u,v\in X\) we have
$$\bigl\Vert f(t,u)-f(t,v)\bigr\Vert \leq l_{1}\|u-v\|, \qquad \bigl\Vert g(t,u)-g(t,v)\bigr\Vert \leq l_{2}\|u-v\|. $$
Theorem 3.2
Assume that (H1)-(H3), (H5)-(H6) hold. If \(\widetilde {M}T(l_{1}+ql_{2})<1\), then problem (1.2) has at least one positive mild solution on J.
Proof
Choose
and consider \(\Omega=\{u\in K:\|u\|\leq R\}\). Define operators S, T on Ω by
Firstly, we prove that when \(u,v\in\Omega\), we have \(Su+Tv\in\Omega\).
Similar to (3.3) and (3.4), for \(u,v\in\Omega\), we obtain
Consequently, we have
Following from (H1), (H3), and (H5), we also have
Combining (3.9) with (3.10), we have \(Su+Tv\in\Omega\), for \(u,v\in\Omega\).
Secondly, we prove that the operator T is a contraction.
For any \(u,v\in\Omega\), we get
Since \(\widetilde{M}T(l_{1}+q l_{2})<1\), operator T is a contraction.
Thirdly, we prove that S is continuous.
Let \(u_{n},u\in\Omega\), \(\|u_{n}(t)-u(t)\|\rightarrow0\) as \(n\rightarrow \infty\). Noting that m, n are continuous, we have
Then
Following from (3.11), we have \(\lim_{n\rightarrow\infty}(S u_{n})(t)=(S u)(t)\). That is, operator S is continuous.
Lastly, we prove S is compact.
To this end, we use the Ascoli-Arzela theorem. We prove that \(\{ (Su)(t):u\in\Omega\}\) is relatively compact for \(t\in J\). For \(u\in \Omega\), we have
This shows operator S is uniformly bounded.
Now, let us prove that \(S(\Omega)\) is equicontinuous. Obviously, the function \((Su)(t)\) is equicontinuous at \(t=0\). For \(0< t_{1}< t_{2}\leq T\), \(u\in\Omega\), we have
In view of (H5), \(\|u_{0}-m(u)\|\), \(\|u_{1}-n(u)\|\) are bounded, so the continuity of functions \(t\rightarrow\|S_{\alpha}(t)\|\), \(t\rightarrow \|K_{\alpha}(t)\|\) for \(t\in(0,T]\), allows us to conclude that
In short, we have proved that \(\{S(\Omega)\}\) is relatively compact for \(\{(S u)(t): u\in\Omega\}\) is a family of equicontinuous function. Hence by the Arzela-Ascoli theorem, S is compact. As all the conditions of Krasnoselskii’s fixed point theorem are satisfied, we conclude that Cauchy problem (1.2) has at least one mild solution on J. Given that \(Su+Tu\geq\theta\) for \(u\in\Omega\), we learn that Cauchy problem (1.2) has at least one positive mild solution on J. □
4 Example
We consider the following fractional differential equation:
where \(t\in J=[0,1]\), \(0\leq x\leq\pi\), \(1<\alpha<2\), let \(X=L^{2}([0,\pi ])\). Then the fractional differential equation (4.1) has at least one positive mild solution on J.
Proof
As \(X=L^{2}([0,\pi])\), then the positive cone of X is \(P=\{u\in C(J,X):u(t,x)\geq0, \mbox{a.e. }(t,x)\in J\times X\}\). The operator \(A:D(A)\subset X\rightarrow X\) is given by
It is well known that A is the infinitesimal generator of an analytic semigroup \(\{T(t)\}_{t\geq0}\) on X. Furthermore, A has discrete spectrum with eigenvalues \(-n^{2}\), \(n\in N\), and corresponding normalized eigenfunctions given by \(z_{n}(x)=(\frac{\pi}{2})^{1/2} \sin (nx)\) [17]. In addition, \(\{z_{n}:n\in N\}\) is an orthonormal basis of X and
It follows from this representation that \(T(t)\) is compact for every \(t>0\) and that \(\|T(t)\|\leq e^{-t}\) for every \(t\geq0\) [18].
As indicated in [9], the operator \(A=\Delta\) is a sectorial operator of type \((M,\theta,\alpha,\mu)\) and generates compact α-resolvent families \(\{S_{\alpha}(t)\}_{t\geq0}\), \(\{K_{\alpha}(t)\} _{t\geq0}\), and \(\{T_{\alpha}(t)\}_{t\geq0}\). Since it was proved in [19] that \(A=\Delta\) is an m-accretive operator on X with dense domain, assumption (H2) is satisfied.
In this situation,
From the estimates on the norms of operators of Theorem 2.4 and Theorem 2.5, we can obtain \(\widetilde{M}=3\) (see [4]). Moreover, for \(t\in J\), \(u,v\in R\) we have
So, we have \(l_{1}=\frac{1}{8}\), \(l_{2}=\frac{1}{16}\). Meanwhile,
Hence, \(\|\mu_{1}\|=\frac{1}{8}\), \(\|\nu_{1}\|=\frac{\sqrt{3}}{4}\), which means assumptions (H3) and (H6) are satisfied. We have
For \(u\in R\), we have
Then assumption (H5) is satisfied.
Consequently,
It is not difficult to conclude that all the conditions of Theorem 3.2 are satisfied. Hence, the nonlocal fractional differential equation (4.1) has at least one positive mild solution. □
5 Conclusion
In this paper, we discussed the existence of positive mild solution of a kind of fractional differential evolution equation with nonlocal conditions of order \(1<\alpha<2\). Firstly, we investigated the properties of solution operators by means of the classical Mittag-Leffler function. Secondly, we obtain the existence result by applying Schauder’s fixed point theorem and Krasnoselskii’s fixed point theorem under some special conditions.
Based on this work, our future work will be devoted to the study of the existence of positive mild solutions of impulsive fractional differential evolution equations of order \(1<\alpha<2\).
References
Benson, DA: The fractional advection-dispersion equation. PhD thesis, University of Nevada, Reno, NV, USA (1998)
Schumer, R, Benson, DA, Meerschaert, MM, Wheatcraft, SW: Eulerian derivation of the fractional advection-dispersion equation. J. Contam. Hydrol. 48, 69-88 (2001)
Henry, BI, Wearne, SL: Existence of Turing instabilities in a two-species fractional reaction-diffusion system. SIAM J. Appl. Math. 62, 870-887 (2001)
Shu, X, Wang, Q: The existence and uniqueness of mild solutions for fractional differential equations with nonlocal conditions of order \(1<\alpha<2\). Comput. Appl. Math. 64, 2100-2110 (2012)
Mu, J: Monotone iterative technique for fractional evolution equations in Banach spaces. J. Appl. Math. (2011). doi:10.1155/2011/767186
Mu, J, Fan, H: Positive mild solutions of periodic boundary value problems for fractional evolution equations. J. Appl. Math. (2012). doi:10.1155/2012/691651
Bazhlekova, E: Fractional evolution equations in Banach spaces. PhD thesis, Eindhoven University of Technology (2001)
Zhang, X: Positive solutions for a second-order nonlinear impulsive singular integro-differential equation with integral conditions in Banach spaces. J. Math. Res. Appl. 32(5), 599-614 (2012)
Denton, Z, Ng, PW, Vatsala, AS: Quasilinearization method via lower and upper solutions for Riemann-Liouville fractional differential equations. Nonlinear Dyn. Syst. Theory 11, 239-251 (2011)
Ren, Y, Qin, Y, Sakthivel, R: Existence results for fractional order semilinear integro-differential evolution equations with infinite delay. Integral Equ. Oper. Theory 67, 33-49 (2010)
Bai, Z, Lü, H: Positive solutions for boundary value problem of nonlinear fractional differential equation. J. Math. Anal. Appl. 311, 495-505 (2005)
Mainardi, F, Paradisi, P, Gorenflo, R: Probability distributions generated by fractional diffusion equations. In: Kertesz, J, Kondor, I (eds.) Econophysics: An Emerging Science. Kluwer Academic, Dordrecht (2000)
Guo, D, Lakshmikantham, V: Nonlinear Problems in Abstract Cones. Academic Press, Boston (1988)
Podlubny, I: Fractional Differential Equations. Academic Press, New York (1999)
Pazy, A: Semigroups of linear operators and applications to partial differential equations. Appl. Math. Sci. (1983). doi:10.1007/978-1-4612-5561-1
Hanneken, JW, Vaught, DM, Narahari Achar, BN: Enumeration of the real zeros of the Mittag-Leffler function \(E\alpha(z)\), \(1<\alpha<2\). In: Advances in Fractional Calculus: Theoretical Developments and Applications, pp. 15-26 (2007)
Balachandran, K, Sakthivel, R: Existence of solutions of neutral functional integrodifferential equation in Banach spaces. Proc. Indian Acad. Sci. Math. Sci. 109, 325-332 (1999)
Hernández, E, Sakthivel, R, Aki, ST: Existence results for impulsive evolution differential equations with state-dependent delay. Electron. J. Differ. Equ. 2008, 28 (2008)
Bénilan, P: Equations d’evolution dans un espace de Banach quelconque et appications. Thèse de doctorat d’état, Orasy (1972)
Acknowledgements
The work is supported by Hunan Provincial Natural Science Foundation of China Grant No. 14JJ2050.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
The authors declare that the study was realized in collaboration with the same responsibility. All authors read and approved the final manuscript.
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
Wang, X., Shu, X. The existence of positive mild solutions for fractional differential evolution equations with nonlocal conditions of order \(1<\alpha<2\) . Adv Differ Equ 2015, 159 (2015). https://doi.org/10.1186/s13662-015-0461-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-015-0461-3
Keywords
- positive mild solutions
- fractional evolution equations
- solution operators
- accretive operator
- fixed point theorem