Abstract fractional integro-differential equations involving nonlocal initial conditions in a-norm

fractional integro-differential equations involving nonlocal initial conditions in a-norm Rong-Nian Wang, Jun Liu and De-Han Chen * Correspondence: rnwang@mail. ustc.edu.cn Department of Mathematics, NanChang University, NanChang, JiangXi 330031, People’s Republic of China Abstract In the present paper, we deal with the Cauchy problems of abstract fractional integro-differential equations involving nonlocal initial conditions in a-norm, where the operator A in the linear part is the generator of a compact analytic semigroup. New criterions, ensuring the existence of mild solutions, are established. The results are obtained by using the theory of operator families associated with the function of Wright type and the semigroup generated by A, Krasnoselkii’s fixed point theorem and Schauder’s fixed point theorem. An application to a fractional partial integrodifferential equation with nonlocal initial condition is also considered. Mathematics subject classification (2000) 26A33, 34G10, 34G20


Introduction
Let (A, D(A)) be the infinitesimal generator of a compact analytic semigroup of bounded linear operators {T(t)} t≥0 on a real Banach space (X, ||·||) and 0 r(A).
Denote by X a , the Banach space D(A a ) endowed with the graph norm ||u|| a = ||A a u|| for u X a . The present paper concerns the study of the Cauchy problem for abstract fractional integro-differential equation involving nonlocal initial condition ⎧ ⎪ ⎪ ⎨ ⎪ ⎪ ⎩ c D β t u(t) = Au(t) + F(t, u(t), u(κ 1 (t))) + X a are given functions to be specified later. As can be seen, H constitutes a nonlocal condition.
The fractional calculus that allows us to consider integration and differentiation of any order, not necessarily integer, has been the object of extensive study for analyzing not only anomalous diffusion on fractals (physical objects of fractional dimension, like some amorphous semiconductors or strongly porous materials; see [1][2][3] and references therein), but also fractional phenomena in optimal control (see, e.g., [4][5][6]). As indicated in [2,5,7] and the related references given there, the advantages of fractional derivatives become apparent in modeling mechanical and electrical properties of real materials, as well as in the description of rheological properties of rocks, and in many other fields. One of the emerging branches of the study is the Cauchy problems of abstract differential equations involving fractional derivatives in time. In recent decades, there has been a lot of interest in this type of problems, its applications and various generalizations (cf. e.g., [8][9][10][11] and references therein). It is significant to study this class of problems, because, in this way, one is more realistic to describe the memory and hereditary properties of various materials and processes (cf. [4,5,12,13]).
In particular, much interest has developed regarding the abstract fractional Cauchy problems involving nonlocal initial conditions. For example, by using the fractional power of operators and some fixed point theorems, the authors studied the existence of mild solutions in [14] for fractional differential equations with nonlocal initial conditions and in [15] for fractional neutral differential equations with nonlocal initial conditions and time delays. The existence of mild solutions for fractional differential equations with nonlocal initial conditions in a-norm using the contraction mapping principle and the Schauder's fixed point theorem have been investigated in [16].
We here mention that the abstract problem with nonlocal initial condition was first considered by Byszewski [17], and the importance of nonlocal initial conditions in different fields has been discussed in [18,19] and the references therein. Deng [19], especially, gave the following nonlocal initial values: ..., p) are given constants and 0 <t 1 < ··· <t p-1 <t p < + ∞ (p N), which is used to describe the diffusion phenomenon of a small amount of gas in a transparent tube. In the past several years theorems about existence, uniqueness and stability of Cauchy problem for abstract evolution equations with nonlocal initial conditions have been studied by many authors, see for instance [19][20][21][22][23][24][25][26][27][28] and references therein.
In this paper, we will study the existence of mild solutions for the fractional Cauchy problem (1.1). New criterions are established. Both Krasnoselkii's fixed point theorem and Schauder's fixed point theorem, and the theory of operator families associated with the function of Wright type and the semigroup generated by A, are employed in our approach. The results obtained are generalizations and continuation of the recent results on this issue.
The paper is organized as follows. In Section 2, some required notations, definitions and lemmas are given. In Section 3, we present our main results and their proofs.

Preliminaries
In this section, we introduce some notations, definitions and preliminary facts which are used throughout this work.
We first recall some definitions of fractional calculus (see e.g., [6,13] for more details).
Definition 2.1 The Riemann-Liouville fractional integral operator of order b > 0 of function f is defined as provided the right-hand side is pointwise defined on [0, ∞), where Γ(·) is the gamma function.
Definition 2.2 The Caputo fractional derivative of order b > 0, m -1 <b <m, m N, is defined as where D m t := d m dt m and f is an abstract function with value in X. If 0 <b < 1, then Throughout this paper, we let A : D(A) X be the infinitesimal generator of a compact analytic semigroup of bounded linear operators {T(t)} t≥0 on X and 0 r(A), which allows us to define the fractional power A a for 0 ≤ a < 1, as a closed linear operator on its domain D(A a ) with inverse A -a . Let X a denote the Banach space D(A a ) endowed with the graph norm ||u|| a = || A a u|| for u X a and let C([0, T];X a ) be the Banach space of all continuous functions from [0, T] into X a with the uniform norm topology L (X) stands for the Banach space of all linear and bounded operators on X. Let M be a constant such that For k > 0, write The following are basic properties of A a . Theorem 2.1 ( [29], pp. 69-75)).
(a) T(t) : X X a for each t > 0, and A a T(t)x = T(t)A a x for each x X a and t ≥ 0. (b) A a T(t) is bounded on X for every t > 0 and there exist M a > 0 and δ > 0 such that (c) A -a is a bounded linear operator in X with D(A a ) = Im(A -a ).
(d) If 0 <a 1 ≤ a 2 , then X α 2 .↪ X α 1 Lemma 2.1. [27]The restriction of T(t) to X a is exactly the part of T(t) in X a and is an immediately compact semigroup in X a , and hence it is immediately normcontinuous.

Define two families {S β (t)} t≥0 and {P β (t)} t≥0 of linear operators by
is the function of Wright type defined on (0, ∞) which satisfies (2:1) The following lemma follows from the results in [15]. Lemma 2.2. The following properties hold: (1) For every t ≥ 0, S β (t)and P β (t)are linear and bounded operators on X, i.e., for all x X and 0 ≤ t < ∞.
We can also prove the following criterion. Lemma 2.3. The functions t → A α P β (t) and t → A α S β (t) are continuous in the uniform operator topology on (0, +∞).
On the other hand, for any x X, we write Therefore, using (2.2, 2.3) and Lemma 2.2, we get which together with the arbitrariness of r > 0 implies that A α P β (t) is continuous in the uniform operator topology for t > 0. A similar argument enable us to give the characterization of continuity on A α P β (t). This completes the proof. ■ Lemma 2.4. For every t > 0, the restriction of S β (t)to X a and the restriction of P β (t)to X a are compact operators in X a .
Proof. First consider the restriction of S β (t) to X a . For any r > 0 and t > 0, it is sufficient to show that the set {S β (t)u; u ∈ B r }is relatively compact in X a , where B r := {u X a ; ||u|| a ≤ r}.
Since by Lemma 2.1, the restriction of T(t) to X a is compact for t > 0 in X a , for each t > 0 and ε (0, t), in X a , we conclude, using the total boundedness, that the set {S β (t)u; u ∈ B r } is relatively compact, which implies that the restriction of S β (t) to X a is compact. The same idea can be used to prove that the restriction of P β (t) to X a is also compact. ■ The following fixed point theorems play a key role in the proofs of our main results, which can be found in many books.
Lemma 2.5 (Krasnoselskii's Fixed Point Theorem). Let E be a Banach space and B be a bounded closed and convex subset of E, and let F 1 , F 2 be maps of B into E such that F 1 x + F 2 y B for every pair x, y B. If F 1 is a contraction and F 2 is completely continuous, then the equation   (1 -a)) and functions k (·) L 1/g (0, T; ℝ + ), j k (·)

Main results
(H 2 ) F, G : [0, T] × X a × X a X are continuous and there exist constants L F , L K such that Remark 3.1. Let us note that (H 4 ) is the case when the values of the solution u(t) for t near zero do not affect H(u). We refer to [19]for a case in point.
In the sequel, we set k := T 0 K(t)dt. We are now ready to state our main results in this section.
Theorem 3.1. Let the assumptions (H 0 ), (H 1 ) and (H 3 ) be satisfied. Then, for u 0 X a , the fractional Cauchy problem (1.1) has at least one mild solution provided that Proof.
Let v C([0, T]; X a ) be fixed with |v| a ≡ 0. From (3.1) and (H 1 ), it is easy to see that there exists a k 0 > 0 such that Consider a mapping Γ defined on k 0 by It is easy to verify that (Γu)(·) C([0, T]; X a ) for every u ∈ k 0 . Moreover, for every pair v, u ∈ k 0 and t [0, T], by (H 1 ) a direct calculation yields That is, 1 v + 2 u ∈ k 0 for every pair v, u ∈ k 0 . Therefore, the fractional Cauchy problem (1.1) has a mild solution if and only if the operator equation Γ 1 u + Γ 2 u = u has a solution in k 0 .
In what follows, we will show that Γ 1 and Γ 2 satisfy the conditions of Lemma 2.5. From (H 3 ) and (3.1), we infer that Γ 1 is a contraction. Next, we show that Γ 2 is completely continuous on k 0 .
On the other hand, for 0 <t 1 <t 2 ≤ T and ε' > 0 small enough, we have u(s)) ds, Therefore, it follows from (H 1 ), Lemma 2.2, and Lemma 2.3 that from which it is easy to see that A i (i = 1, 2, 3, 4) tends to zero independently of u ∈ k 0 as t 2t 1 0 and ε' 0. Hence, we can conclude that and the limit is independently of u ∈ k 0 . For the case when 0 = t 1 <t 2 ≤ T, since ||(Γ 2 u)(t 1 ) -(Γ 2 u)(t 2 )|| a can be made small when t 2 is small independently of u ∈ k 0 . Consequently, the set {( 2 )(·); · ∈ [0, T], u ∈ k 0 } is equicontinuous. Now applying the Arzela-Ascoli theorem, it follows that Γ 2 is compact on k 0 . Therefore, applying Lemma 2.5, we conclude that Γ has a fixed point, which gives rise to a mild solution of Cauchy problem (1.1). This completes the proof. ■ The second result of this paper is the following theorem. Theorem 3.2. Let the assumptions (H 0 ), (H 2 ), (H 4 ) and (H 5 ) be satisfied. Then, for u 0 X a , the fractional Cauchy problem (1.1) has at least one mild solution provided that Proof. The proof is divided into the following two steps.
Step 1. Assume that w C([h, T]; X a ) is fixed and set It is clear that w C([0, T]; X a ). We define a mapping Γ w on C([0, T]; X a ) by Clearly, (Γ w u)(·) C([0, T]; X a ) for every u C([0, T]; X a ). Moreover, for u Θ k , from (H 2 ), it follows that where v C([0, T]; X a ) is fixed with |v| a ≡ 0, which implies that there exists a integer k 0 > 0 such that Γ w maps k 0 into itself. In fact, if this is not the case, then for each k > 0, there would exist u k Θ k and t k [0, T] such that ||(Γ w u k )(t k )|| a >k. Thus, we have Dividing on both sides by k and taking the lower limit as k +∞, we get this contradicts (3.2). Also, for u, v ∈ k 0 , a direct calculation yields which together with (3.2) implies that Γ w is a contraction mapping on k 0 . Thus, by the Banach contraction mapping principle, Γ w has a unique fixed point u w ∈ k 0 , i.e., Step 2. Write  Then, A has a discrete spectrum and the eigenvalues are -n 2 , n N, with the corresponding normalized eigenvectors y n (x) = 2 π sin(nx). Moreover, A generates a compact, analytic semigroup {T(t)} t≥0 . The following results are well also known (see [29] for more details):

It is clear that
(1) T(t)u = ∞ n=1 e −n 2 t (u, y n )y n , T(t) L(X) ≤ e −t for all t ≥ 0.