Skip to main content

Theory and Modern Applications

Existence of mild solutions for fractional nonlocal evolution equations with delay in partially ordered Banach spaces

An Erratum to this article was published on 06 February 2017

Abstract

This paper deals with the existence of mild solutions for the abstract fractional nonlocal evolution equations with noncompact semigroup in partially ordered Banach spaces. Under some mixed conditions, a group of sufficient conditions for the existence of abstract fractional nonlocal evolution equations are obtained by using a Krasnoselskii type fixed point theorem. The results we obtained are a generalization and continuation of the recent results on this issue. At the end, an example is given to illustrate the applicability of abstract result.

1 Introduction

Let \((E,\leq,\|\cdot\|)\) be a partially ordered Banach space. We consider the existence of mild solutions for the fractional nonlocal evolution equation

$$ \left \{ \textstyle\begin{array}{l} D_{t}^{q}x(t)+Ax(t)=f(t,x_{t})+h(t,x_{t}),\quad t\in J:=[0,b], \\ x_{0}(t)=\varphi(t)+g(x),\quad t\in[-r, 0], \end{array}\displaystyle \right . $$
(1.1)

where \(D_{t}^{q}\) is the Caputo fractional derivative of order \(q\in(0, 1)\), \(b>0\) and \(r>0\) are constants, \(-A: D(A)\subset E\rightarrow E\) generates a positive \(C_{0}\)-semigroup \(T(t)\) (\(t\geq0\)) of uniformly bounded linear operator in E, f, h and g are given functions, \(\varphi: [-r, 0]\rightarrow E\) is continuous, \(x_{t}\) is defined by \(x_{t}(\tau)=x(t+\tau)\) for all \(\tau\in[-r, 0]\) and \(t\in J\).

It is well known that the differential equations with different type of boundary conditions have an extensive physical background and realistic applications, and the theory has been considerably developed in recent years [1–12]. Recently, in [1, 2, 7], the authors studied the existence of solutions for the initial value problem of the first order ordinary differential equation

$$ x'(t)=f\bigl(t, x(t)\bigr)+g\bigl(t, x(t)\bigr),\quad t \in[t_{0}, t_{0}+a],\qquad x(t_{0})=x_{0} \in{\mathbb{R}} , $$
(1.2)

where \(t_{0}\geq0\), \(a>0\) are two constants. In [1], the existence theorems of the problem (1.2) are proved by using a hybrid Schaefer type fixed point theorem under strong Lipschitz and compactness type conditions. In [2, 7], under weaker partial continuity and partial compactness type conditions, some existence theorems are obtained by using a Krasnoselskii type fixed point theorem. These results are all for first order ordinary differential equations without delay, but as far as we know the existence of solutions for nonlinear fractional evolution equations with the nonlocal initial condition and delay in partially ordered Banach spaces has not been considered. This is the main motivation of the present paper. In this paper, we will prove the existence of mild solutions for the problem (1.1) in partially ordered Banach spaces by using the Krasnoselskii type fixed point theorem under some weaker partial continuity and partial compactness type conditions. The results we obtained are a generalization and continuation of the recent results on this issue. At the end, we give an example of the fractional parabolic equation to illustrate the applicability of abstract result.

2 Preliminaries

Let \((X,\leq,\|\cdot\|)\) be a partially ordered normed linear space. Two elements x, y in X are said to be comparable if either \(x\leq y\) or \(y\leq x\). A function \(\varPsi : X\rightarrow X\) is said to be upper semi-continuous (u.s.c.) if the set \(\{x\in X: \varPsi (x)\cap B\neq \varnothing\}\) is closed for any closed subset B in X. Definitions 1-8 have been introduced in [2, 3, 7] and are frequently used in the subsequent part of the article.

Definition 1

A partially ordered normed linear space X is said to be regular if either

  1. (i)

    if a nondecreasing sequence \(\{x_{n}\}_{n=0}^{\infty}\subset X\) converges to \(x^{*}\), then \(x_{n}\leq x^{*}\) for all \(n\in{\mathbb{N}}\), or

  2. (ii)

    if a nonincreasing sequence \(\{x_{n}\}_{n=0}^{\infty}\subset X\) converges to \(x^{*}\), then \(x_{n}\geq x^{*}\) for all \(n\in{\mathbb{N}}\).

Definition 2

The order relation ≤ and the norm \(\|\cdot\|\) on partially ordered normed linear space \((X,\leq,\|\cdot\|)\) are compatible if for any monotone nondecreasing or monotone nonincreasing sequence \(\{x_{n}\} \subset X\), the convergence of any subsequence \(\{x_{n_{k}}\}\) of \(\{x_{n}\} \) to \(x^{*}\) implies that the whole sequence \(\{x_{n}\}\) converges to \(x^{*}\).

Definition 3

A mapping \(Q: X\rightarrow X\) is nondecreasing if \(x\leq y\) implies \(Qx\leq Qy\) for all \(x,y\in X\). Similarly, Q is nonincreasing if \(x\leq y\) implies \(Qx\geq Qy\) for all \(x,y\in X\).

Definition 4

A mapping \(Q: X\rightarrow X\) is partially continuous at a point \(a\in X\) if for every \(\epsilon>0\) there exists a \(\delta>0\) such that \(\| Qx-Qa\|<\epsilon\) whenever x is comparable to a and \(\|x-a\| <\delta\). If Q is partially continuous at every point of X, then it is partially continuous on X.

Definition 5

A mapping \(Q: X\rightarrow X\) is partially bounded if \(Q(C)\) is bounded for every chain C in X. Q is bounded if \(Q(X)\) is a bounded subset of X.

Remark 1

If Q is bounded in X, then it is partially bounded in X. However, the reverse description does not hold.

Definition 6

A mapping \(Q: X\rightarrow X\) is partially compact if \(Q(C)\) is relatively compact on X for all totally ordered sets or chains C of X.

Definition 7

A mapping \(\psi: {\mathbb{R}}^{+}\rightarrow{\mathbb{R}}^{+}\) is called a \(\mathfrak{D}\)-function if it is an upper semi-continuous and monotonic nondecreasing function satisfying \(\psi(0)=0\).

Remark 2

Examples of \(\mathfrak{D}\)-functions are \(\psi(r)=kr\) for \(k>0\), \(\psi(r)=\frac{r}{1+r}\) and \(\psi(r)=\tan^{-1}r\) etc. If \(\phi,\psi\) are two \(\mathfrak{D}\)-functions, then (i) \(\phi+\psi\), (ii) \(\lambda \phi,\lambda>0\), and (iii) \(\phi\circ\psi\) are all \(\mathfrak{D}\)-functions.

Definition 8

A mapping \(Q: X\rightarrow X\) is called a partially nonlinear \(\mathfrak {D}\)-contraction if there exists a \(\mathfrak{D}\)-function ψ such that

$$\bigl\Vert Q(x)-Q(y)\bigr\Vert \leq\psi\bigl(\Vert x-y\Vert \bigr) $$

for all comparable elements \(x, y\in X\) with \(\psi(r)< r\) for \(r>0\).

Our result is based on the following Krasnoselskii type fixed point theorem, which can be found in [3].

Lemma 1

Let \((X,\leq,\|\cdot\|)\) be a regular partially ordered complete normed linear space such that the order relation ≤ and the norm \(\|\cdot\| \) in X are compatible. Let \(A, B: X\rightarrow X\) be two nondecreasing operators such that:

  1. (a)

    A is partially bounded and it is a partially nonlinear \(\mathcal{D}\)-contraction,

  2. (b)

    B is partially continuous and partially compact, and

  3. (c)

    there exists an element \(x_{0}\in X\) such that \(x_{0}\leq Ax_{0}+Bx_{0}\).

Then the operator equation \(x=Ax+Bx\) has a solution \(x^{*}\in X\) and the sequence \(\{x_{n}\}\) defined by \(x_{n+1}=Ax_{n}+Bx_{n}\), \(n=0,1,2,\ldots\) , converges monotonically to \(x^{*}\).

At the end of this section, we recall the definitions of fractional calculus. See [5, 12] for more details.

Definition 9

The fractional integral of order \(\alpha>0\) with the lower limit zero for a function f is defined by

$$I^{\alpha}f(t)=\frac{1}{\varGamma (\alpha)} \int_{0}^{t}(t-s)^{\alpha -1}f(s)\,ds, \quad t>0, $$

where Γ is the gamma function.

The Caputo fractional derivative of order \(n-1<\alpha<n\) with the lower limit zero for a function \(f\in C^{n}[0,\infty)\) can be written as

$$D_{t}^{\alpha}f(t)=\frac{1}{\varGamma (n-\alpha)} \int _{0}^{t}(t-s)^{n-\alpha -1}f^{(n)}(s) \,ds,\quad t>0, n\in{\mathbb{N}}. $$

Remark 3

By Definition 9, the Caputo derivative of a constant is equal to zero.

3 Existence theorem

Let E be a partially ordered Banach space with the partial order ≤ and the norm \(\|\cdot\|\), whose positive cone K is defined by \(K=\{ x\in E: x\geq0\}\). It is well known that if cone K is normal, then the order relation ≤ and the norm \(\|\cdot\|\) in E are compatible. Throughout this paper, we assume that \(-A: D(A)\subset E\rightarrow E\) generates a positive \(C_{0}\)-semigroup \(T(t)\) (\(t\geq0\)) of uniformly bounded linear operator in E. Namely, there exists a constant \(M>0\) such that \(\|T(t)\|\leq M\) for all \(t\geq0\). A \(C_{0}\)-semigroup \(T(t)\) (\(t\geq0\)) is said to be positive if the inequality \(T(t)x\geq0 \) holds for all \(x\geq0\). Let \(K\geq0\) be a constant. Then \(-(A+KI)\) generates a positive \(C_{0}\)-semigroup \(S(t)=e^{-Kt}T(t)\) (\(t\geq 0\)) in E. For more properties of operator semigroup and positive \(C_{0}\)-semigroup, please see [4, 8].

Denote by \(C([-r, b], E)\) the Banach space of all continuous E-valued functions on the interval \([-r, b]\) with the norm \(\|x\|_{[-r,b]}=\max_{t\in[-r,b]}\|x(t)\|\) for any \(x\in C([-r,b],E)\). Define a positive cone \(K_{C}\) by

$$K_{C}=\bigl\{ x\in C\bigl([-r,b],E\bigr): x(t)\in K, t\in[-r,b]\bigr\} . $$

Then \(C([-r,b], E)\) is a partially ordered Banach space with the order relation ≤ induced by \(K_{C}\). \(K_{C}\) is normal if K is normal. Similarly, \((C([-r, 0], E),\leq,\|x\|_{[-r,0]})\) is also a partially ordered Banach space.

In the rest of this paper, we consider the following assumptions:

  1. (H1)

    \(\|e^{-K\theta(t_{2}^{q}-t_{1}^{q})}T(t_{2}^{q}\theta)-T(t_{1}^{q}\theta)\| \rightarrow0\) as \(t_{2}-t_{1}\rightarrow0\) for every \(\theta\in(0,+\infty)\).

  2. (H2)

    The function \(f(t,x): J\times C([-r, 0], E)\rightarrow E\) is continuous in x for all \(t\in J\) and satisfies the following conditions:

    1. (i)

      There exist a constant \(0<\sigma\leq\frac{\varGamma (q+1)}{Mb^{q}}\) and a \(\mathcal{D}\)-function ψ satisfying \(\psi(r)< r\) for \(r>0\) such that

      $$0\leq\bigl[f(t,x_{t})+Kx(t)\bigr]-\bigl[f(t,y_{t})+Ky(t) \bigr]\leq\sigma\psi(x-y) $$

      for all \(t\in J\) and \(x,y\in C([-r,b], E)\) with \(x\geq y\), where \(K>0\) is a constant.

    2. (ii)

      \(f(t,x_{t})+Kx(t)\) is bounded for all \(t\in J\).

  3. (H3)

    The function \(h(t,x): J\times C([-r, 0], E)\rightarrow E\) is continuous, bounded and nondecreasing in x for all \(t\in J\).

  4. (H4)

    The function \(g: C([-r, b], E)\rightarrow E\) is continuous, bounded and nondecreasing.

  5. (H5)

    There exists a function \(v\in C([-r, b], E)\) such that \(D_{t}^{q}v(t)+Av(t)\leq f(t, v_{t})+h(t, v_{t})\) for \(t\in J\) and \(v_{0}(t)\leq \varphi(t)+g(v)\) for \(t\in[-r,0]\).

By assumptions (H2)(ii), (H3), and (H4), there exist positive constants \(K_{1}\), \(K_{2}\) and \(K_{3}\) such that

$$ \bigl\Vert \hat{f}(t,x_{t})\bigr\Vert \leq K_{1},\qquad \bigl\Vert h(t,x_{t})\bigr\Vert \leq K_{2},\qquad \bigl\Vert g(x)\bigr\Vert \leq K_{3}, $$
(3.1)

where \(\hat{f}(t,x_{t})=f(t,x_{t})+Kx(t)\).

Let \(X=C([-r, b], E)\). Define an operator \(A: X\rightarrow X\) by

$$ (Ax) (t)=\left \{ \textstyle\begin{array}{l@{\quad}l} 0, &t\in[-r,0], \\ \int_{0}^{t}(t-s)^{q-1}V(t-s)\hat{f}(s,x_{s})\,ds,& t\in J, \end{array}\displaystyle \right . $$
(3.2)

where

$$V(t)= \int_{0}^{\infty}q\theta\eta_{q}(\theta)S \bigl(t^{q}\theta \bigr)\, d\theta,\quad 0< q< 1, $$

where \(S(t)=e^{-Kt}T(t)\) for all \(t\geq0\) and

$$\begin{aligned}& \eta_{q}(\theta)=\frac{1}{q}\theta^{-1-\frac{1}{q}}\rho _{q}\bigl(\theta ^{-\frac{1}{q}}\bigr), \\& \rho_{q}( \theta)=\frac{1}{\pi}\sum_{n=1}^{\infty}(-1)^{n-1} \theta ^{-qn-1}\frac{\varGamma (nq+1)}{n!}\sin(n\pi q),\quad \theta\in(0,\infty). \end{aligned}$$

Lemma 2

Let the assumption (H2) hold. Then the operator A is nondecreasing, partially bounded, and it is a partially nonlinear \(\mathcal{\mathcal {D}}\)-contraction in X.

Proof

Since \(T(t)\) (\(t\geq0\)) is a positive \(C_{0}\)-semigroup, it follows that \(\{V(t)\}_{t\geq0}\) are positive operators. By the assumption (H2), it is easy to see that A is nondecreasing in X. By (3.1), for any \(x\in X\), we have

$$\bigl\Vert (Ax) (t)\bigr\Vert \leq \int_{0}^{t}(t-s)^{q-1}\bigl\Vert V(t-s) \hat{f}(s,x_{s})\bigr\Vert \, ds\leq \frac{Mb^{q}K_{1}}{\varGamma (q+1)} $$

for all \(t\in J\). Taking the maximum over \(t\in[-r, b]\) on both sides, we obtain

$$\|Ax\|_{[-r, b]}\leq\frac{Mb^{q}K_{1}}{\varGamma (q+1)}. $$

Therefore, A is bounded in X, which further implies that A is partially bounded in X.

We next prove that A is a partially nonlinear \(\mathcal {D}\)-contraction. For any comparable elements \(x, y\in X\), by the assumption (H2), we have

$$\begin{aligned} \bigl\Vert (Ax) (t)-(Ay) (t)\bigr\Vert \leq& \int_{0}^{t}(t-s)^{q-1}\bigl\Vert V(t-s) \bigl[\hat {f}(s,x_{s})-\hat{f}(s,y_{s})\bigr]\bigr\Vert \,ds \\ \leq&\frac{M\sigma}{ \varGamma (q)} \int_{0}^{t}(t-s)^{q-1}\psi\bigl(\Vert x_{s}-y_{s}\Vert \bigr)\,ds \\ \leq&\psi\bigl(\Vert x-y\Vert _{[-r, b]}\bigr) \end{aligned}$$

for all \(t\in J\). Taking the maximum over \(t\in[-r, b]\) on both sides, we obtain

$$ \Vert Ax-Ay\Vert _{[-r, b]}\leq\psi\bigl(\Vert x-y\Vert _{[-r, b]}\bigr) $$
(3.3)

for all comparable elements \(x, y\in X\). This implies that A is a partially nonlinear \(\mathcal{D}\)-contraction in X. This completes the proof. □

Define an operator \(B: X\rightarrow X\) by

$$ (Bx) (t)=\left \{ \textstyle\begin{array}{l@{\quad}l} \varphi(t)+g(x),& t\in[-r,0], \\ U(t)(\varphi(0)+g(x))+\int_{0}^{t}(t-s)^{q-1}V(t-s)h(s,x_{s})\,ds,& t\in J, \end{array}\displaystyle \right . $$
(3.4)

where \(V(t)\) is defined before and

$$U(t)= \int_{0}^{\infty}\eta_{q}(\theta)S \bigl(t^{q}\theta\bigr)\, d\theta,\quad 0< q< 1, $$

where \(S(\cdot)\), \(\eta_{q}(\cdot)\), \(\rho_{q}(\cdot)\) are defined before.

Lemma 3

Let assumptions (H1), (H3), and (H4) hold. Then the operator B is nondecreasing, partially continuous and partially compact in X.

Proof

Since \(T(t)\) (\(t\geq0\)) is a positive \(C_{0}\)-semigroup, it follows that \(\{U(t)\}_{t\geq0}\) and \(\{V(t)\}_{t\geq0}\) are positive operators. Since the functions h and g are nondecreasing, it is easy to see that B is nondecreasing in X.

Take a sequence \(\{x_{n}\}\) in a chain \(C\subset X\) with \(x_{n}\rightarrow x^{*}\) as \(n\rightarrow+\infty\). Since the functions f and h are continuous in x for all \(t\in J\), by the dominated convergence theorem, we have

$$\begin{aligned} \lim_{n\rightarrow+\infty}(Bx_{n}) (t) =&U(t) \Bigl(\varphi(0)+\lim _{n\rightarrow+\infty}g(x_{n})\Bigr) \\ &{}+ \int_{0}^{t}(t-s)^{q-1}V(t-s)\lim _{n\rightarrow+\infty}h(s,x_{n,s})\,ds \\ =&\bigl(Bx^{*}\bigr) (t) \end{aligned}$$

for any \(t\in[-r, b]\), where \(x_{n,s}=(x_{n})_{s}\). Therefore, we deduce that \(Bx_{n}\) converges to \(Bx^{*}\) pointwise on \([-r, b]\). On the other hand, for any \(t_{1}, t_{2}\in J\) with \(t_{1}< t_{2}\), we have

$$\begin{aligned}& \bigl\Vert (Bx_{n}) (t_{2})-(Bx_{n}) (t_{1})\bigr\Vert \\& \quad \leq \bigl\Vert U(t_{2}) \bigl( \varphi (0)+g(x_{n})\bigr)-U(t_{1}) \bigl( \varphi(0)+g(x_{n})\bigr)\bigr\Vert \\& \qquad {}+\biggl\Vert \int_{0}^{t_{1}}(t_{2}-s)^{q-1} \bigl[V(t_{2}-s)-V(t_{1}-s)\bigr]h(s,x_{n,s})\,ds \biggr\Vert \\& \qquad {}+\biggl\Vert \int_{0}^{t_{1}}\bigl[(t_{2}-s)^{q-1}-(t_{1}-s)^{q-1} \bigr]V(t_{1}-s)h(s,x_{n,s})\, ds\biggr\Vert \\& \qquad {}+\biggl\Vert \int_{t_{1}}^{t_{2}}(t_{2}-s)^{q-1}V(t_{2}-s)h(s,x_{n,s}) \,ds\biggr\Vert \\& \quad \leq \int_{0}^{\infty}\eta_{q}(\theta)e^{-Kt_{1}^{q}\theta} \bigl\Vert e^{-K\theta (t_{2}^{q}-t_{1}^{q})}T\bigl(t_{2}^{q}\theta\bigr)-T \bigl(t_{1}^{q}\theta\bigr)\bigr\Vert \,d\theta\bigl( \Vert \varphi \Vert _{[-r,0]}+K_{3}\bigr) \\& \qquad {}+qK_{2} \int_{0}^{t_{1}}(t_{2}-s)^{q-1} \\& \qquad {}\times \int_{0}^{\infty}\theta\eta _{q}(\theta)\bigl\Vert e^{-K(t_{2}-s)^{q}\theta}T\bigl((t_{2}-s)^{q}\theta \bigr)-e^{-K(t_{1}-s)^{q}\theta }T\bigl((t_{1}-s)^{q}\theta\bigr)\bigr\Vert \,d\theta\,ds \\& \qquad {}+\frac{MK_{2}}{\varGamma (q)} \int_{0}^{t_{1}}\bigl|(t_{2}-s)^{q-1}-(t_{1}-s)^{q-1}\bigr| \, ds \\& \qquad {}+\frac{MK_{2}(t_{2}-t_{1})^{q}}{\varGamma (q+1)} \\& \quad \rightarrow 0 \end{aligned}$$

as \(t_{2}-t_{1}\rightarrow0\) uniformly for all \(n\in{\mathbb{N}}\). This implies that \(Bx_{n}\rightarrow Bx^{*}\) uniformly. Hence the operator B is partially continuous in X.

We next prove that B is partially compact in X. We will prove that \(B(C)\) is uniformly bounded and equi-continuous for any chain \(C\subset X\). Using a similar method as above we can prove that, for any \(t_{1}, t_{2}\in J\) with \(t_{1}< t_{2}\), \(\|y(t_{2})-y(t_{1})\|\rightarrow0\) as \(t_{2}-t_{1}\rightarrow0\) uniformly for all \(y\in B(C)\). This implies that \(B(C)\) is equi-continuous for any chain \(C\subset X\). For any \(y\in B(C)\), by assumptions (H3) and (H4), if \(t\in[-r,0]\), we have

$$\bigl\Vert y(t)\bigr\Vert \leq\|\varphi\|_{[-r,0]}+K_{3}. $$

If \(t\in J\), we have

$$\bigl\Vert y(t)\bigr\Vert \leq M\bigl(\Vert \varphi \Vert _{[-r,0]}+K_{3}\bigr)+\frac{Mb^{q}K_{2}}{\varGamma (q+1)}. $$

Therefore,

$$\|y\|_{[-r,b]}\leq(M+1) \bigl(\Vert \varphi \Vert _{[-r,0]}+K_{3} \bigr)+\frac {Mb^{q}K_{2}}{\varGamma (q+1)}, $$

which implies that \(B(C)\) is uniformly bounded in X. Therefore, B is partially compact in X. This completes the proof. □

Theorem 1

Let \((E,\leq,\|\cdot\|)\) be a partially ordered Banach space, whose positive cone P is normal, and let −A generate a positive \(C_{0}\)-semigroup \(T(t)\) (\(t\geq0\)) in E. Assume that the conditions (H1)-(H5) hold. Then the fractional nonlocal evolution equation (1.1) has a solution \(x^{*}\in C([-r,b], E)\) and the sequence \(\{x_{n}\}\) defined by \(x_{0}=v\), \(x_{n+1}=Ax_{n}+Bx_{n}\), \(n=0,1,2,\ldots\) , converges monotonically to \(x^{*}\).

Proof

We consider an auxiliary fractional evolution equation

$$ \left \{ \textstyle\begin{array}{ll} D_{t}^{q}x(t)+(A+KI)x(t)=\hat{f}(t,x_{t})+h(t,x_{t}), \quad t\in J, \\ x_{0}(t)=\varphi(t)+g(x),\quad t\in[-r, 0], \end{array}\displaystyle \right . $$
(3.5)

where \(\hat{f}(t,x_{t})=f(t,x_{t})+Kx(t)\). Clearly, the mild solution of fractional nonlocal evolution equation (1.1) is equivalent to the mild solution of fractional nonlocal evolution equation (3.5). We will use Lemma 1 to prove that the fractional nonlocal evolution equation (3.5) has a mild solutions in X. For this purpose, we define two operators \(A, B: X\rightarrow X\) as in (3.2) and (3.4). Then by Lemmas 2 and 3, we deduce that A is nondecreasing, partially bounded, and it is a partially nonlinear \(\mathcal{D}\)-contraction, and B is nondecreasing, partially continuous, and partially compact. It remains to prove that v satisfies the inequality \(v\leq Av+Bv\).

By assumption (H5), we have

$$\left \{ \textstyle\begin{array}{l} D_{t}^{q}v(t)+(A+KI)v(t)\leq\hat{f}(t,v_{t})+h(t,v_{t}),\quad t\in J, \\ v_{0}(t)\leq\varphi(t)+g(v),\quad t\in[-r,0]. \end{array}\displaystyle \right . $$

Let \(D^{q}v(t)+(A+KI)v(t)=G(t)\) for all \(t\in J\). Then

$$\begin{aligned} v(t) =&U(t)v_{0}(0)+ \int_{0}^{t}(t-s)^{q-1}V(t-s)G(s)\,ds \\ \leq&U(t) \bigl(\varphi(0)+g(v)\bigr)+ \int_{0}^{t}(t-s)^{q-1}V(t-s)\bigl[\hat {f}(t,v_{t})+h(t,v_{t})\bigr]\,ds \\ =&Av(t)+Bv(t) \end{aligned}$$

for all \(t\in J\). For \(t\in[-r,0]\), \(v_{0}(t)\leq\varphi (t)+g(v)=(Bv)(t)=(Av)(t)+(Bv)(t)\). This implies that \(v\leq Av+Bv\). Hence, all conditions of the Lemma 1 are satisfied. By Lemma 1, the fractional nonlocal evolution equation (3.5) has a mild solution \(x^{*}\in C([-r,b], E)\), which is also a mild solution of the fractional nonlocal evolution equation (1.1), and the sequence \(\{x_{n}\}\) defined by \(x_{0}=v\), \(x_{n+1}=Ax_{n}+Bx_{n}\), \(n=0,1,2,\ldots\) , converges monotonically to \(x^{*}\). This completes the proof. □

Remark 4

If \(g\equiv0\), \(A\equiv0\) and without delay in equation (1.1), Theorem 1 still extends the main result in [2], because the condition (H2) in this paper is much weaker than the condition (A1) in [2] and the condition (H1) is not needed if \(A\equiv0\) in equation (1.1). On the other hand, in the case of \(A\neq0\), we do not use the assumptions of the compactness and equi-continuity of the \(C_{0}\)-semigroup in this paper, just assume that the \(C_{0}\)-semigroup \(T(t)\) (\(t\geq0\)) is positive and satisfies the condition (H1). Hence, our result also extends some existing results of evolution equation.

Remark 5

In this paper, the order relation in the partially ordered Banach space is induced by positive cone. By the closed property of positive cone, we obtain the regularity (see Definition 1) of the partially ordered Banach space. And by the normal property of positive cone, we see that the order relation and the norm in the partially ordered Banach space are compatible (see Definition 2). Hence, it is different from [1–3, 7].

4 Application

At the end of this paper, we give an example of the fractional parabolic equation to illustrate the applicability of the abstract result.

Let \(\varOmega \subset{\mathbb{R}}^{n}\) be a bounded domain with a sufficiently smooth boundary ∂Ω. Consider the following nonlocal problem of the fractional parabolic equation:

$$ \left \{ \textstyle\begin{array}{l} D_{t}^{q}x(t,y)-\varDelta x(t,y) \\ \quad =f(t,y,x_{t}(\tau, y))+h(t,y,x_{t}(\tau, y)),\quad t\in[0,b], \tau\in[-r, 0], y\in \varOmega , \\ x|_{\partial \varOmega }=0, \\ x_{0}(\tau, y)=\varphi(\tau)+g(x)(y),\quad \tau\in[-r, 0], y\in \varOmega , \end{array}\displaystyle \right . $$
(4.1)

where \(D_{t}^{q}\) denotes the Caputo fractional derivative of order \(q\in (0, 1)\), Δ is the Laplace operator, \(b>0\) and \(r>0\) are two constants. \(x_{t}(\tau, y)\) is defined by \(x_{t}(\tau, y)=(t+\tau, y)\) for all \(t\in[0, b]\), \(\tau\in[-r, 0]\) and \(y\in \varOmega \).

Let \(E=L^{2}(\varOmega , {\mathbb{R}})\). Define an operator \(A: D(A)\subset E\rightarrow E\) by

$$D(A)=\{x\in E: \varDelta x\in E, x|_{\partial \varOmega }=0\},\qquad Ax=-\varDelta x. $$

Then, by [9], −A generates an analysis semigroup \(T(t)\) (\(t\geq0\)) in E and there exists \(M>0\) such that \(\|T(t)\|\leq M\). By the maximum principle of the parabolic type equation, \(T(t)\) (\(t\geq0\)) is a positive \(C_{0}\)-semigroup in E. Hence we see that the condition (H1) holds.

Let \(f(t,y,x_{t}(\tau, y))=\frac{\sigma|x_{t}(\tau, y)|}{1+|x_{t}(\tau, y)|}-x(t,y)\), where \(\sigma\in(0, \frac{\varGamma (q+1)}{Mb^{q}})\) is a constant and \(\varGamma (\cdot)\) is the Gamma function. Then f is continuous, \(\hat{f}(t,y,x_{t}(\tau, y))=\frac{\sigma|x_{t}(\tau, y)|}{1+|x_{t}(\tau, y)|}\leq\frac{\varGamma (q+1)}{Mb^{q}}\) and

$$0\leq\hat{f}(t,y,w)-\hat{f}(t,y,u)\leq\sigma\biggl(\frac {\vert w-u\vert }{1+\vert w-u\vert }\biggr)= \sigma\psi\bigl(\vert w-u\vert \bigr)=\sigma\psi(w-u) $$

for all \(t\in[0,b]\), \(y\in \varOmega \) and \(w\geq u\), where \(\psi(r)=\frac {r}{1+r}\). This implies that the condition (H2) holds.

Let

$$h\bigl(t,y,x_{t}(\tau,y)\bigr)=\left \{ \textstyle\begin{array}{l@{\quad}l} 1, &\mbox{if }x\leq0, \\ 1+2x_{t}(\tau, y),& \mbox{if }0< x< 2, \\ 5,& \mbox{if }x\geq2, \end{array}\displaystyle \right .\qquad g(x) (y)=\left \{ \textstyle\begin{array}{l@{\quad}l} 1,& \mbox{if }x\leq0, \\ 1+\frac{x(t,y)}{1+x(t,y)},& \mbox{if }x>0. \end{array}\displaystyle \right . $$

Then the conditions (H3) and (H4) hold with \(K_{2}=5\), \(K_{3}=2\).

Let \(\lambda_{1}\) be an eigenvalue of the Laplace operator −Δ under the Dirichlet boundary condition \(x|_{\partial \varOmega }=0\) and \(e_{1}\in E\) the corresponding eigenvector. Assume that \(\lambda _{1}e_{1}(y)\leq f(t,y,e_{1}(y))+h(t,y,e_{1}(y))\), \(t\in[0,b]\), \(y\in \varOmega \) and \(e_{1}(y)\leq\varphi(t)+g(e_{1})(y)\), \(t\in[-r,0]\), \(y\in \varOmega \). Then the condition (H5) holds with \(v=e_{1}(y)\) for all \(y\in \varOmega \).

Let

$$\begin{aligned}& x(t) (\cdot)=x(t, \cdot) , \\& f(t,x_{t}) (\cdot)=f\bigl(t,\cdot,x_{t}(\tau,\cdot)\bigr) , \\& h(t,x_{t}) (\cdot)=h\bigl(t,\cdot,x_{t}(\tau,\cdot)\bigr) , \\& g(x)=g(x) (\cdot) . \end{aligned}$$

Then the fractional parabolic equation (4.1) can be rewritten into the abstract fractional nonlocal evolution equation (1.1). Hence by Theorem 1, the nonlocal problem of the fractional parabolic equation (4.1) has a solution.

References

  1. Dhage, B: A nonlinear alternative with applications to nonlinear perturbed differential equations. Nonlinear Stud. 13, 343-354 (2006)

    MathSciNet  MATH  Google Scholar 

  2. Dhage, B, Dhage, S, Ntouyas, S: Approximating solutions of nonlinear hybrid differential equations. Appl. Math. Lett. 34, 76-80 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  3. Dhage, B: Partially continuous mappings in partially ordered normed linear spaces and applications to functional integral equations. Tamkang J. Math. 45, 397-426 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  4. Guo, D, Lakshmikantham, V, Liu, X: Nonlinear Integral Equations in Abstract Spaces. Mathematics and Its Applications, vol. 373. Kluwer Academic, Dordrecht (1996)

    Book  MATH  Google Scholar 

  5. Liang, J, Yang, H: Controllability of fractional integro-differential evolution equations with nonlocal conditions. Appl. Math. Comput. 254, 20-29 (2015)

    MathSciNet  Google Scholar 

  6. Nashine, H, Samet, B: Fixed point results for mappings satisfying \((\psi, \varphi )\)-weakly contractive conditions in partially ordered metric spaces. Nonlinear Anal. 74, 2201-2209 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  7. Pathak, H, Rodríguez-López, R: Existence and approximation of solutions to nonlinear hybrid ordinary differential equations. Appl. Math. Lett. 39, 101-106 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  8. Pazy, A: Semigroups of Linear Operators and Applications to Partial Differential Equations. Springer, Berlin (1983)

    Book  MATH  Google Scholar 

  9. Sinestrari, E: On the abstract Cauchy problem of parabolic type in space of continuous functions. J. Math. Anal. Appl. 107, 16-66 (1985)

    Article  MathSciNet  MATH  Google Scholar 

  10. Wang, RN, Xiao, TJ, Liang, J: A note on the fractional Cauchy problems with nonlocal initial conditions. Appl. Math. Lett. 24, 1435-1442 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  11. Xiao, TJ, Liang, J: Coupled second order semilinear evolution equations indirectly damped via memory effects. J. Differ. Equ. 254, 2128-2157 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  12. Zhou, Y, Jiao, F: Nonlocal Cauchy problem for fractional evolution equations. Nonlinear Anal. 11, 4465-4475 (2010)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

The first author is thankful to the Sheng Tong-sheng Technological Innovation Fund of Gansu Agricultural University (GSAU-STS-1423) and the second author is thankful to the NSFC (11261053).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Yue Liang.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.

An erratum to this article is available at http://dx.doi.org/10.1186/s13662-017-1100-y.

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.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Liang, Y., Yang, H. & Gou, K. Existence of mild solutions for fractional nonlocal evolution equations with delay in partially ordered Banach spaces. Adv Differ Equ 2017, 11 (2017). https://doi.org/10.1186/s13662-016-1058-1

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-016-1058-1

MSC

Keywords