 Research
 Open access
 Published:
Fractional neutral evolution equations with nonlocal conditions
Advances in Difference Equations volume 2013, Article number: 117 (2013)
Abstract
In the present paper, we deal with the fractional neutral differential equations involving nonlocal initial conditions. The existence of mild solutions are established. The results are obtained by using the fractional power of operators and the Sadovskii’s fixed point theorem. An application to a fractional partial differential equation with nonlocal initial condition is also considered.
MSC:26A33, 34K30, 34K37, 34K40.
1 Introduction
The nonlocal condition, which is a generalization of the classical condition, was motivated by physical problems. The pioneering work on nonlocal conditions is due to Byszewski (see [1–3]). Existence results for semilinear evolution equations with nonlocal conditions were investigated in [4–6]. Neutral differential equations arises in many areas of applied mathematics and such equations have received much attention in recent years. A good guide to the literature for neutral functional differential equations is the Hale book [7].
Fractional differential equations describe many practical dynamical phenomena arising in engineering, physics, economy and science. In particular, we can find numerous applications in viscoelasticity, electrochemistry, control, electromagnetic, seepage flow in porous media and in fluid dynamic traffic models (see [8–10]). The result obtained is a generalization and a continuation of some results reported in [11–15].
The main purpose of this paper is to study the existence of mild solutions of semilinear neutral fractional differential equations with nonlocal conditions in the following form
where −A is the infinitesimal generator of an analytic semigroup and the functions F, G and g are given functions to be defined later. The fractional derivative {}^{c}D^{\alpha}, 0<\alpha <1 is understood in the Caputo sense.
2 Preliminaries
Throughout this paper, X will be a Banach space with the norm \parallel \cdot \parallel and A:D(A)\to X is the infinitesimal generator of an analytic compact semigroup of uniformly bounded linear operators \{S(t),t\ge 0\}. This means that there exists a M\ge 1 such that \parallel S(t)\parallel \le M. We assume without loss of generality that 0\in \rho (A). This allows us to define the fractional power {A}^{\gamma}, for 0<\gamma \le 1, as a closed linear operator on its domain D({A}^{\gamma}) with inverse {A}^{\gamma}.
We will introduce the following basic properties of {A}^{\gamma}.
Theorem 2.1 (see [16])

(1)
{X}_{\gamma}=D({A}^{\gamma}) is a Banach space with the norm {\parallel x\parallel}_{\gamma}=\parallel {A}^{\gamma}x\parallel, x\in {X}_{\gamma}.

(2)
S(t):X\to {X}_{\gamma} for each t>0 and {A}^{\gamma}S(t)x=S(t){A}^{\gamma}x for each x\in {X}_{\gamma} and t\ge 0.

(3)
For every t>0, {A}^{\gamma}S(t) is bounded on X and there exists a positive constant {C}_{\gamma} such that
\parallel {A}^{\gamma}S(t)\parallel \le \frac{{C}_{\gamma}}{{t}^{\gamma}}.(2.1) 
(4)
If 0<\beta <\gamma \le 1, then D({A}^{\gamma})\hookrightarrow D({A}^{\beta}) and the embedding is compact whenever the resolvent operator of A is compact.
Let us recall the following known definitions.
The fractional integral of order \alpha >0 with the lower limit zero for a function f can be defined as
provided the righthand side is pointwise defined on [0,\mathrm{\infty}), where \mathrm{\Gamma}(\cdot ) is the Gamma function.
The Caputo derivative of order α with the lower limit zero for a function f can be written as
If f is an abstract function with values in X, then the integrals appearing in the above definitions are taken in Bochner’s sense.
We list the following basic assumptions of this paper.
(H1) F:J\times {X}^{m+1}\to X is a continuous function, and there exists a constant \beta \in (0,1) and {M}_{1},{M}_{2}>0 such that the function {A}^{\beta}F satisfies the Lipschitz condition:
for 0\le {s}_{1}, {s}_{2}\le b, {x}_{i},{y}_{i}\in X, i=0,1,\dots ,m and the inequality
holds for (t,{x}_{0},{x}_{1},\dots ,{x}_{m})\in J\times {X}^{m+1}.
(H2) The function G:J\times {X}^{n+1}\to X satisfies the following conditions:

(i)
for each t\in J, the function G(t,\cdot ):{X}^{n+1}\to X is continuous and for each ({x}_{0},{x}_{1},\dots ,{x}_{n})\in {X}^{n+1} the function G(\cdot ,{x}_{0},{x}_{1},\dots ,{x}_{n}):J\to X is strongly measurable;

(ii)
for each positive number q\in N, there is a positive function {h}_{q}(\cdot ):[0,b]\to {R}^{+} such that
\underset{\parallel {x}_{0}\parallel ,\dots ,\parallel {x}_{n}\parallel \le q}{sup}\parallel G(t,{x}_{0},{x}_{1},\dots ,{x}_{n})\parallel \le {h}_{q}(t),
the function s\to {(ts)}^{1\alpha}{h}_{q}(s)\in {L}^{1}([0,t],{R}^{+}) and there exists a \mathrm{\Lambda}>0 such that
(H3) {a}_{i},{b}_{j}\in C(J,J), i=1,2,\dots ,n, j=1,2,\dots ,m. g\in C(E,X), here and hereafter E=C(J,X), and g satisfies that:

(i)
There exist positive constants {M}_{3} and {M}_{4} such that \parallel g(x)\parallel \le {M}_{3}\parallel x\parallel +{M}_{4} for all x\in E;

(ii)
g is a completely continuous map.
At the end of this section, we recall the fixedpoint theorem of Sadoviskii [20], which is used to establish the existence of the mild solution of the nonlocal Cauchy problem (1.1).
Theorem 2.2 (Sadovskii’s fixedpoint theorem)
Let Φ be a condensing operator on a Banach space X, that is, Φ is continuous and takes bounded sets into bounded sets, and \mu (\mathrm{\Phi}(B))\le \mu (B) for every bounded set B of X with \mu (B)>0. If \mathrm{\Phi}(\mathrm{\Upsilon})\subset \mathrm{\Upsilon} for a convex, closed and bounded set ϒ of X, then Φ has a fixed point in X (where \mu (\cdot ) denotes Kuratowski’s measure of noncompactness).
3 Main result
In this section, we study the existence of mild solutions for the neutral fractional differential equations with nonlocal conditions (1.1), so we introduce the concept of a mild solution.
A continuous function x(\cdot ):J\to X is said to be a mild solution of the nonlocal Cauchy problem (1.1) if the function {(ts)}^{\alpha 1}A{T}_{\alpha}(ts)F(s,x(s),x({b}_{1}(s)),\dots ,x({b}_{m}(s))), s\in [0,b) is integrable on [0,b) and the following integral equation is verified:
where
with {\eta}_{\alpha} is a probability density function defined on (0,\mathrm{\infty}), that is {\eta}_{\alpha}(\theta )\ge 0, \theta \in (0,\mathrm{\infty}) and {\int}_{0}^{\mathrm{\infty}}{\eta}_{\alpha}(\theta )\phantom{\rule{0.2em}{0ex}}d\theta =1.
Remark {\int}_{0}^{\mathrm{\infty}}\theta {\eta}_{\alpha}(\theta )\phantom{\rule{0.2em}{0ex}}d\theta =\frac{1}{\mathrm{\Gamma}(1+\alpha )}.
Lemma 3.1 (see [22])
The operators {S}_{\alpha}(t) and {T}_{\alpha}(t) have the following properties:

(I)
for any fixed x\in X, \parallel {S}_{\alpha}(t)x\parallel \le M\parallel x\parallel, \parallel {T}_{\alpha}(t)x\parallel \le \frac{\alpha M}{\mathrm{\Gamma}(\alpha +1)}\parallel x\parallel;

(II)
\{{S}_{\alpha}(t),t\ge 0\} and \{{T}_{\alpha}(t),t\ge 0\} are strongly continuous;

(III)
for every t>0, {S}_{\alpha}(t) and {T}_{\alpha}(t) are also compact operators;

(IV)
for any x\in X, \beta \in (0,1) and \delta \in (0,1), we have A{T}_{\alpha}(t)x={A}^{1\beta}{T}_{\alpha}(t){A}^{\beta}x and \parallel {A}^{\delta}{T}_{\alpha}(t)\parallel \le \frac{\alpha {C}_{\delta}\mathrm{\Gamma}(2\delta )}{{t}^{\alpha \delta}\mathrm{\Gamma}(1+\alpha (1\delta ))}, t\in (0,b].
Theorem 3.1 If the assumptions (H1)(H3) are satisfied and {x}_{0}\in X, then the nonlocal Cauchy problem (1.1) has a mild solution provided that
and
where {M}_{0}=\parallel {A}^{\beta}\parallel.
Proof
For the sake of brevity, we rewrite that
Define the operator Φ on E by
For each positive integer q, let {B}_{q}=\{x\in E:\parallel x(t)\parallel \le q,0\le t\le b\}.
Then for each q, {B}_{q} is clearly a bounded closed convex set in E.
From Lemma 3.1 and (2.2) yield
it follows that {(ts)}^{\alpha 1}A{T}_{\alpha}(ts)F(s,v(s)) is integrable on J, by Bochner’s theorem [23] so Φ is well defined on {B}_{q}. Similarly, from (H2)(ii), we obtain
We claim that there exists a positive number q such that \mathrm{\Phi}{B}_{q}\subseteq {B}_{q}. If it is not true, then for each positive number q, there is a function {x}_{q}(\cdot )\in {B}_{q}, but \mathrm{\Phi}{x}_{q}\notin {B}_{q}, but \parallel \mathrm{\Phi}{x}_{q}(t)\parallel >q for some t(q)\in J, where t(q) denotes that t is dependent of q. However, from equations (2.2), (3.4) and (3.5) and (H3)(i), we have
Dividing both sides of (3.6) by q and taking the lower limit as q\to +\mathrm{\infty}, we get
This contradicts (3.3). Hence, for positive q, \mathrm{\Phi}{B}_{q}\subseteq {B}_{q}.
Next, we will show that the operator Φ has a fixed point on {B}_{q}, which implies that equation (1.1) has a mild solution. We decompose Φ as \mathrm{\Phi}={\mathrm{\Phi}}_{1}+{\mathrm{\Phi}}_{2}, where the operators {\mathrm{\Phi}}_{1} and {\mathrm{\Phi}}_{2} are defined on {B}_{q}, respectively, by
and
for t\in J. We will show that {\mathrm{\Phi}}_{1} verifies a contraction condition while {\mathrm{\Phi}}_{2} is a compact operator.
To prove that {\mathrm{\Phi}}_{1} satisfies a contraction condition, we take {x}_{1},{x}_{2}\in {B}_{q}, then for each t\in J and by condition (H1) and (3.2), we have
Hence,
Thus,
and by assumption 0<{L}_{0}<1, we see that {\mathrm{\Phi}}_{1} is a contraction.
To prove that {\mathrm{\Phi}}_{2} is compact, firstly we prove that {\mathrm{\Phi}}_{2} is continuous on {B}_{q}.
Let \{{x}_{n}\}\subseteq {B}_{q} with {x}_{n}\to x in {B}_{q}, then for each s\in J, {u}_{n}(s)\to u(s), and by (H2)(i), we have G(s,{u}_{n}(s))\to G(s,u(s)), as n\to \mathrm{\infty}.
By the dominated convergence theorem, we have
as n\to \mathrm{\infty}, that is continuous.
Next, we prove that the family \{{\mathrm{\Phi}}_{2}x:x\in {B}_{q}\} is a family equicontinuous functions. To do this, let \u03f5>0 small, 0<{t}_{1}<{t}_{2}, then
We see that \parallel ({\mathrm{\Phi}}_{2}x)({t}_{2})({\mathrm{\Phi}}_{2}x)({t}_{1})\parallel tends to zero independently of x\in {B}_{q} as {t}_{2}\to {t}_{1}, with ϵ sufficiently small since the compactness of {S}_{\alpha}(t) for t>0 (see [16]) implies the continuity of {S}_{\alpha}(t) for t>0 in t in the uniform operator topology. Similarly, using the compactness of the set g({B}_{q}) we can prove that the function {\mathrm{\Phi}}_{2}x, x\in {B}_{q} are equicontinuous at t=0. Hence, {\mathrm{\Phi}}_{2} maps {B}_{q} into a family of equicontinuous functions.
It remains to prove that V(t)=\{({\mathrm{\Phi}}_{2}x)(t):x\in {B}_{q}\} is relatively compact in X. Obviously, by condition (H3), V(0) is relatively compact in X.
Let 0<t\le b be fixed, 0<\u03f5<t, arbitrary \delta >0, for x\in {B}_{q}, we define
Since S({\u03f5}^{\alpha}\delta ), {\u03f5}^{\alpha}\delta >0 is a compact operator, then the set {V}^{\u03f5,\delta}(t)=\{({\mathrm{\Phi}}_{2}^{\u03f5,\delta}x)(t):x\in {B}_{q}\} is relatively compact in X for every ϵ, 0<\u03f5<t and for all \delta >0.
Moreover, for every x\in {B}_{q}, we have
Therefore, there are relative compact sets arbitrary close to the set V(t), t>0. Hence, the set V(t), t>0 is also relatively compact in X.
Thus, by ArzelaAscoli theorem {\mathrm{\Phi}}_{2} is a compact operator. Those arguments enable us to conclude that \mathrm{\Phi}={\mathrm{\Phi}}_{1}+{\mathrm{\Phi}}_{2} is a condensing map on {B}_{q}, and by the fixedpoint theorem of Sadovskii there exists a fixed point x(\cdot ) for Φ on {B}_{q}. Therefore, the nonlocal Cauchy problem (1.1) has a mild solution, and the proof is completed. □
4 Example
Let X={L}^{2}([0,\pi ],R), we consider the following fractional neutral partial differential equations
u(t,0)=u(t,\pi )=0, 0\le t\le b,
where {}^{c}\partial _{t}^{\alpha} is a Caputo fractional partial derivative of order 0<\alpha <1, b>0, z\in [0,\pi ], p is a positive integer, 0<{t}_{0}<{t}_{1}<\cdots <{t}_{p}<b.
We define an operator A by Af={f}^{\u2033} with the domain
Then −A generates a strongly continuous semigroup {\{S(t)\}}_{t\ge 0} which is compact, analytic, and selfadjoint. Furthermore, −A has a discrete spectrum, the eigenvalues are {n}^{2}, n\in N, with the corresponding normalized eigenvectors {u}_{n}(z)={(2/\pi )}^{1/2}sin(nz). We also use the following properties:

(a)
If f\in D(A), then Af={\sum}_{n=1}^{\mathrm{\infty}}{n}^{2}\u3008f,{u}_{n}\u3009{u}_{n}.

(b)
For each f\in X, {A}^{1/2}f={\sum}_{n=1}^{\mathrm{\infty}}\frac{1}{n}\u3008f,{u}_{n}\u3009{u}_{n}. In particular, \parallel {A}^{1/2}\parallel =1.

(c)
The operator {A}^{1/2} is given by
{A}^{1/2}f=\sum _{n=1}^{\mathrm{\infty}}n\u3008f,{u}_{n}\u3009{u}_{n}
on the space D({A}^{1/2})=\{f(\cdot )\in X,{\sum}_{n=1}^{\mathrm{\infty}}n\u3008f,{u}_{n}\u3009{u}_{n}\in X\}.
The system (4.1) can be reformulated as the following nonlocal Cauchy problem in X:
where x(t)=u(t,\cdot ) that is (x(t))(z)=u(t,z), t\in [0,b], z\in [0,\pi ].
The function F:[0,b]\times X\to X is given by
holds for (\phi ,t)\in [0,b]\times X\to X and z\in [0,\pi ].
The function G:[0,b]\times X\to X is given by
holds for (\phi ,t)\in [0,b]\times X\to X and z\in [0,\pi ], and the function g:E\to X is given by
where {K}_{g}(u)(z)={\int}_{0}^{\pi}k(z,y)u(y)\phantom{\rule{0.2em}{0ex}}dy, for z\in [0,\pi ].
We can take \alpha =\frac{1}{2} and G(t,x)=\frac{1}{{t}^{1/3}}sinx, then (H2) is satisfied. Furthermore, assume that {M}_{3}={M}_{4}=(p+1){[{\int}_{0}^{\pi}{\int}_{0}^{\pi}{k}^{2}(z,y)\phantom{\rule{0.2em}{0ex}}dy\phantom{\rule{0.2em}{0ex}}dz]}^{1/2}. Then (H3) is satisfied (noting that {K}_{g}:X\to X is completely continuous).
Moreover, we assume the following conditions hold:

(i)
The function a(z,y), z,y\in [0,\pi ] is measurable and
{\int}_{0}^{\pi}{\int}_{0}^{\pi}{a}^{2}(z,y)\phantom{\rule{0.2em}{0ex}}dy\phantom{\rule{0.2em}{0ex}}dz<\mathrm{\infty}. 
(ii)
The function {\partial}_{z}a(z,y) is measurable, a(0,y)=a(\pi ,y)=0, and let
{N}_{1}={\left[{\int}_{0}^{\pi}{\int}_{0}^{\pi}{({\partial}_{z}a(z,y))}^{2}\phantom{\rule{0.2em}{0ex}}dy\phantom{\rule{0.2em}{0ex}}dz\right]}^{1/2}<\mathrm{\infty}.
Therefore, the conditions (H1)(H3) are all satisfied. Hence, according to Theorem 3.1, system (4.1) has a mild solution provided that (3.2) and (3.3) hold.
References
Byszewski L, Lakshmikantham V: Theorem about the existence and uniqueness of a solution of a nonlocal Cauchy problem in a Banach space. Appl. Anal. 1990, 40: 11–19.
Byszewski L: Theorems about the existence and uniqueness of solutions of a semilinear evolution nonlocal Cauchy problem. J. Math. Anal. Appl. 1991, 162: 494–506. 10.1016/0022247X(91)90164U
Byszewski L: Existence and uniqueness of solutions of semilinear evolution nonlocal Cauchy problem. Zesz. Nauk. Politech. Rzesz., Mat. Fiz. 1993, 18: 109–112.
Boucherif A, Precup R: Semilinear evolution equations with nonlocal initial conditions. Dyn. Syst. Appl. 2007, 16(3):507–516.
Liang J, Xiao TJ: Semilinear integrodifferential equations with nonlocal initial conditions. Comput. Math. Appl. 2004, 47(6–7):863–875. 10.1016/S08981221(04)900715
Boucherif A: Semilinear evolution inclusions with nonlocal conditions. Appl. Math. Lett. 2009, 22(8):1145–1149. 10.1016/j.aml.2008.10.004
Hale J, Verduyn L, Sjoerd M Applied Mathematical Sciences 99. In Introduction to Functional Differential Equations. Springer, New York; 1993.
Diethelm K, Freed AD: On the solution of nonlinear fractional order differential equations used in the modeling of viscoelasticity. In Scientific Computing in Chemical Engineering II  Computational Fluid Dynamics, Reaction Engineering and Molecular Properties. Edited by: Keil F, Mackens W, Voss H, Werther J. Springer, Heidelberg; 1999:217–224.
Kilbas AA, Srivastava HM, Juan Trujillo J NorthHolland Mathematics Studies 204. In Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam; 2006.
Hilfer R: Applications of Fractional Calculus in Physics. World Scientific, Singapore; 2000.
Fu X, Ezzinbi K: Existence of solutions for neutral functional differential evolution equations with nonlocal conditions. Nonlinear Anal. 2003, 54: 215–227. 10.1016/S0362546X(03)000476
Wang JR, Zhou Y: A class of fractional evolution equations and optimal controls. Nonlinear Anal., Real World Appl. 2011, 12: 262–272. 10.1016/j.nonrwa.2010.06.013
Chang JC, Liu H: Existence of solutions for a class of neutral partial differential equations with nonlocal conditions in the α norm. Nonlinear Anal. 2009, 71: 3759–3768. 10.1016/j.na.2009.02.035
Henriquez H, Cuevas C, Caicedo A: Asymptotically periodic solutions of neutral partial differential equations with infinite delay. Commun. Pure Appl. Anal. 2013, 12(5):2031–2068.
Agarwal RP, dos Santos JP, Cuevas C: Analytic resolvent operator and existence results for fractional integrodifferential equations. J. Abstr. Differ. Equ. Appl. 2012, 2(2):26–47.
Pazy A: Semigroups of Linear Operators and Applications to Partial Differential Equations. Springer, New York; 1983.
Podlubny I: Fractional Differential Equations. Academic Press, San Diego; 1999.
Miller KS, Ross B: An Introduction to the Fractional Calculus and Fractional Differential Equations. Wiley, New York; 1993.
Samko S, Kilbas A, Marichev OL: Fractional Integrals and Derivatives. Gordon & Breach, New York; 1993.
Sadovskii BN: On a fixed point principle. Funct. Anal. Appl. 1967, 1: 74–76.
ElBorai MM: Some probability densities and fundamental solutions of fractional evolution equations. Chaos Solitons Fractals 2002, 14(3):433–440. 10.1016/S09600779(01)002089
Zhou Y, Jiao F, Li J: Existence of mild solutions for fractional neutral evolution equations. Comput. Math. Appl. 2010, 59: 1063–1077. 10.1016/j.camwa.2009.06.026
Marle CM: Measures et Probabilités. Hermann, Paris; 1974.
Acknowledgements
I would like to thank the referees and Professor Ravi Agarwal for their valuable comments and suggestions.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The author declares that he has no competing interests.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Ahmed, H.M. Fractional neutral evolution equations with nonlocal conditions. Adv Differ Equ 2013, 117 (2013). https://doi.org/10.1186/168718472013117
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/168718472013117