 Research
 Open access
 Published:
Existence and uniqueness of mild solutions for a class of nonlinear fractional evolution equation
Advances in Difference Equations volume 2014, Article number: 150 (2014)
Abstract
In this paper, we discuss a class of fractional evolution equations with the RiemannLiouville fractional derivative and obtain the existence and uniqueness of mild solutions by using some classical fixed point theorem. Then we give some examples to demonstrate the main results.
MSC:30C45, 30C80.
1 Introduction
The nonlinear fractional evolution equation is a general form for fractional ordinary differential equations, fractional partial differential equations, and fractional functional differential equations related to the time variable. We can widely find the applications in several fields of sciences and technology. Many real phenomena in those fields can be described very successfully by models using mathematical tools of fractional calculus, such as dielectric polarization, electrodeelectrolyte polarization, electromagnetic waves, modeling of earthquakes, fluid dynamics, traffic models with fractional derivative, measurements of viscoelastic material properties, modeling of viscoplasticity, control theory, and economy (see [1–4]). There has been a great deal of interest in the solutions of fractional evolution equations in infinite dimensional space. One is referred to the monographs of N’Guérékata et al. [5], Mophou et al. [6, 7], Liu et al. [8, 9], EIBorai [10], Zhou et al. [11, 12], and the references therein. But to the best of the author’s knowledge, most of them have researched the fractional evolution equation with Caputo derivative and the initial conditions such as x(0)={x}_{0} and so on; there are few papers on the RiemannLiouville fractional derivative. We note that on a series of examples from the field of viscoelasticity, Heymans and Podlubny [13] have demonstrated that it is possible to attribute physical meaning to initial conditions expressed in terms of RiemannLiouville fractional derivatives, and that it is possible to obtain initial values for such initial conditions by appropriate measurements or observations. In this paper, we discuss the existence and uniqueness of the following fractional evolution equation with RiemannLiouville fractional derivative:
where {D}^{q} is the RiemannLiouville fractional derivative of order 0<q<1, A is the infinitesimal generator of a qresolvent family {S}_{q}(t) defined on a Banach space X and x(t)\in {C}_{1q}([0,T],X). The function f:[0,T]\times {C}_{1q}([0,T],X)\to X is given and satisfies some conditions which are weak compared to the existing results and the conclusion is generalized.
2 Definitions and preliminary results
In this section, we introduce preliminary facts which are used throughout this paper. Let us denote by C([0,T],X) the space of all Xvalued continuous functions defined on [0,T], which turns out to be a Banach space with the norm
We define similarly another Banach space {C}_{1q}([0,T],X), which Xvalued function x(t) is continuous on (0,T] and {t}^{1q}x(t) is continuous on [0,T] with the norm
\mathcal{L}(X) is the space of all linear and bounded operators on X. The definitions and results of the fractional calculus reported below are not exhaustive but rather oriented to the subject of this paper. For the proofs, which are omitted, we refer the reader to [14, 15] or other texts on basic fractional calculus. As x is an abstract function with values in X, the integrals which appear in Definition 2.1 and Definition 2.2 are taken in Bochner’s sense.
Definition 2.1 (see [15])
The fractional primitive of order q>0 of function x(t)\in {C}_{1q}([0,T],X) is given by
From [16] we know {I}_{0}^{q}x(t) exists for all q>0, when x\in {C}_{1q}([0,T],X) and {I}_{0}^{1q}x(0) is bounded; notice also that when x\in C([0,T],X) then {I}_{0}^{q}x(t)\in C[0,T], and, moreover, {I}_{0}^{1q}x(0)=0.
Definition 2.2 (see [15])
The fractional derivative of order 0<q<1 of a function x(t)\in {C}_{1q}([0,T],X) is given by
We have {D}_{0}^{q}{I}_{0}^{q}x(t)=x(t) for all x(t)\in {C}_{1q}([0,T],X).
Lemma 2.3 (see [15])
Let 0<q<1. If we assume x(t)\in {C}_{1q}([0,T],X), then the fractional differential equation
has x(t)=c{t}^{q1}, c\in R, as solutions.
From this lemma we can obtain the following law of composition.
Lemma 2.4 (see [15])
Assume that x(t)\in {C}_{1q}([0,T],X) with a fractional derivative of order 0<q<1 that belongs to {C}_{1q}([0,T],X). Then
for some c\in R. When the function x is in C([0,T],X), then c=0.
Recall that the Laplace transform of a function f\in {L}^{1}({R}_{+},X) is defined by \mathfrak{L}(f(t))={\int}_{0}^{\mathrm{\infty}}{e}^{\lambda t}f(t)\phantom{\rule{0.2em}{0ex}}dt, Re(\lambda )>\omega, if the integral is absolutely convergent for Re(\lambda )>\omega.
Theorem 2.5 (see [17])
Let E be a closed, convex and bounded and nonempty subset of a Banach space X and N:E\to E be a completely continuous operator. Then N has at least one fixed point in E.
Definition 2.6 (see [7])
Let A be a closed and linear operator with domain D(A) defined on Banach space X and q>0. Let \rho (A) be the resolvent set of A. We call A the generator of a qresolvent family, if there exist \omega \ge 0 and a strongly continuous function {S}_{q}:{R}_{+}\to \mathcal{L}(X) satisfying {S}_{q}(0)=I such that \{{\lambda}^{q}:Re(\lambda )>\omega \}\subset \rho (A) and
In this case, {S}_{q}(t) is called the qresolvent family generated by A.
Remark 2.7 Note that if A is the generator of an qresolvent family {S}_{q}(t) then the Laplace transform of {S}_{q}(t) is \mathfrak{L}({S}_{q}(t))={({\lambda}^{q}IA)}^{1}.
Then using the fact that
we deduce for the Laplace transform of (1.1)
and then
Consequently,
if A generates the qresolvent family {S}_{q}(t).
Throughout this work f will be a continuous function [0,T]\times {C}_{1q}([0,T],X)\to X.
Definition 2.8 A function x\in {C}_{1q}([0,T],X) is said to be a mild solution of (1.1) if x satisfies
Since we have the uniqueness of the Laplace transform, a 1resolvent family is the same as a {C}_{0}semigroup whereas a 2resolvent family corresponds to the concept of sine family; see [18]. We note that qresolvent families are a particular case of (q,k)regularized families introduced in [19]. These have been studied in a series of several papers in recent years (see [20, 21] and so on). According to [19] a qresolvent family {S}_{q}(t) corresponds to a regularized family. For more details on the qresolvent family, we refer to [22] and the references therein. We also refer to [6] for more information as regards the resolvent or solution operator. As in the situation of {C}_{0}semigroups we have diverse relations of a qresolvent family and its generator. So we can assume the following condition to present the first result in this paper.
3 Results
We present now our first result.
Theorem 3.1 Assume that
(H_{0}) There exist M>0 and \delta >0 such that \parallel {S}_{q}(t)\parallel \le M{e}^{\delta t};
(H_{1}) There exist a constant l\in (0,q) and u(t)\in {L}^{\frac{1}{l}}([0,T],{R}^{+}) such that
where {T}^{1q}{e}^{\delta T}<{(\frac{ql}{1l})}^{1l}\frac{1}{M{u}^{\ast}} and {u}^{\ast}={({\int}_{0}^{T}{(u(s))}^{\frac{1}{l}}\phantom{\rule{0.2em}{0ex}}ds)}^{l}.
Then (1.1) has a unique mild solution on [0,T].
Proof Let
Consider the operator N:{C}_{1q}([0,T],X)\to {C}_{1q}([0,T],X) defined by
Let {B}_{R}=\{x(\cdot )\in {C}_{1q}([0,T],X):{\parallel x\parallel}_{1q}\le R\}, which is a bounded and closed subset of {C}_{1q}([0,T],X). For any x(\cdot )\in {B}_{R}, we have
Now let
The righthand side will be positive if
Therefore, N maps the ball of {B}_{R} of radius R into itself, when T satisfies (3.1).
Next we show that N is a contraction on {B}_{R}. For this, let us take x(\cdot ),y(\cdot )\in {B}_{R}, then we get
From the condition (3.1), we conclude that N is a contraction. Therefore, N has a unique fixed point in {B}_{R}. So (2.1) is the unique mild solution of (1.1) on [0,T]. □
Now we assume that
(H_{2}) There exist a constant l\in (0,q) and a function u(t)\in {L}^{\frac{1}{l}}([0,T],(0,\mathrm{\infty})) such that
where 0\le \rho <1;
(H_{3}) The qresolvent family {S}_{q}(t)x is equicontinuous.
Theorem 3.2 Assume that (H_{0}), (H_{2}), and (H_{3}) hold. Then (1.1) has at least one mild solution on [0,T].
Proof Define
where
Observe that {B}_{r} is a closed, bounded, and convex subset of Banach space X.
Now we prove that N:{B}_{r}\to {B}_{r}. For any x\in {B}_{r}, we have
Notice that N(x(t)) is continuous on [0,T], therefore N:{B}_{r}\to {B}_{r}.
In view of the continuity of f, it is easy to show that the operator N is continuous. Now we show that N is a completely continuous operator. For each x\in {B}_{r}, let {t}_{1},{t}_{2}\in [0,T] with {t}_{2}>{t}_{1}. Then
where
Actually, {I}_{1} and {I}_{2} tend to 0 as {t}_{1}\to {t}_{2} independently of x\in {B}_{r}. Indeed, since {S}_{q}(t) is equicontinuous, we have \parallel {S}_{q}({t}_{1}){x}_{0}{S}_{q}({t}_{2}){x}_{0}\parallel \to 0, \parallel {S}_{q}({t}_{1})f(s,x(s)){S}_{q}({t}_{2})f(s,x(s))\parallel \to 0. Hence {I}_{1}\to 0.
In view of (H_{0}), (H_{2}), and 1l+\rho (1q)>0, we have
and since
so {s}^{\rho (q1)}\in {L}^{\frac{1}{1l}}([0,T],{\mathbb{R}}^{+}). According to the Hölder inequality we can obtain u(s){s}^{\rho (q1)}\in {L}^{1}([0,T],{\mathbb{R}}^{+}), then
In view of the Lebesgue’s dominated convergence theorem, we can deduce that {I}_{2}\to 0 as {t}_{1}\to {t}_{2},
{I}_{3}\to 0 as {t}_{1}\to {t}_{2}. Hence N maps bounded sets of X into equicontinuous sets of X.
Next we will prove the operator N maps {B}_{r} into a relatively compact set in X. Indeed from the equicontinuity of {S}_{q}(t) and N:{B}_{r}\to {B}_{r}, according to the ArzelaAscoli theorem the set \{Nx(t):x\in {B}_{r}\} is relatively compact in X, for every t\in [0,T]. Therefore, we can obtain N is a completely continuous operator. Thus the conclusion of Theorem 2.5 implies that (1.1) has at least one mild solution on [0,T]. □
Now we assume that
(H_{4}) There exist a constant l\in (0,q) and a function u(t)\in {L}^{\frac{1}{l}}([0,T],(0,\mathrm{\infty})) such that
and M{e}^{\delta T}{u}^{\ast}{(\frac{1l}{\rho q\rho +1l})}^{1l}{T}^{\rho q\rho +2lq}<1.
Corollary 3.3 Assume that (H_{0}), (H_{3}), and (H_{4}) hold. Then (1.1) has at least one mild solution on [0,T].
The proof of the Corollary 3.3 is similar to Theorem 3.2.
4 Example
Example 4.1 Let q=\frac{1}{2}, T=1, {x}_{0}=1. Consider the following fractional evolution equation:
Assume that x\in {C}_{\frac{1}{2}}[0,1], A:D(A)\subset {C}_{\frac{1}{2}}[0,1]\to {C}_{\frac{1}{2}}[0,1], defined by Ax={x}^{\prime}, x\in D(A), where D(A)=\{x\in {C}_{\frac{1}{2}}[0,1]\mid {x}^{\prime}\in {C}_{\frac{1}{2}}[0,1]\}.
It is well know that A is an infinitesimal generator of a semigroup \{{S}_{\frac{1}{2}}(t),t\ge 0\} in {C}_{\frac{1}{2}}[0,1] and given by {S}_{\frac{1}{2}}(t)x(s)=x(t+s), for x\in {C}_{\frac{1}{2}}[0,1], {S}_{\frac{1}{2}}(t) is a strongly continuous semigroup on {C}_{\frac{1}{2}}[0,1] and \parallel {S}_{\frac{1}{2}}(t)\parallel \le 1. We choose f(t,x(t))=\frac{1}{64}{t}^{\frac{2}{3}}x(t).
Obviously, f(t,x(t)) is continuous on [0,1] since x\in {C}_{\frac{1}{2}}[0,1],
We know \frac{1}{64}{t}^{\frac{2}{3}}\in {L}^{4}([0,1],{R}^{+}), {u}^{\ast}={(\frac{3}{11})}^{\frac{1}{4}},
So (4.1) has a unique mild solution on [0,1] by Theorem 3.1.
Example 4.2 Let q=\frac{1}{2}, T=1, {x}_{0}=1. Consider the following fractional evolution equation:
Assume that x\in {C}_{\frac{1}{2}}[0,1], A:D(A)\subset {C}_{\frac{1}{2}}[0,1]\to {C}_{\frac{1}{2}}[0,1], defined by Ax={x}^{\prime}, x\in D(A), where D(A)=\{x\in {C}_{\frac{1}{2}}[0,1]\mid {x}^{\prime}\in {C}_{\frac{1}{2}}[0,1]\}.
It is well known that A is an infinitesimal generator of a semigroup \{{S}_{\frac{1}{2}}(t),t\ge 0\} in {C}_{\frac{1}{2}}[0,1] and given by {S}_{\frac{1}{2}}(t)x(s)=x(t+s), for x\in {C}_{\frac{1}{2}}[0,1], {S}_{\frac{1}{2}}(t) is a strongly continuous semigroup on {C}_{\frac{1}{2}}[0,1], \parallel {S}_{\frac{1}{2}}(t)\parallel \le 1, and we assume that {S}_{\frac{1}{2}}(t)x is equicontinuous.
We choose f(t,x(t))=\frac{1}{64}{t}^{\frac{2}{3}}x{(t)}^{\rho}, 0\le \rho \le 1. Obviously, f(t,x(t)) is continuous on [0,1] since x\in {C}_{\frac{1}{2}}[0,1] and
We know \frac{1}{64}{t}^{\frac{2}{3}\frac{1}{2}\rho}\in {L}^{4}([0,1],{R}^{+}), {u}^{\ast}={(\frac{3}{5})}^{\frac{1}{4}},
So (4.2) has at least one mild solution on [0,1] by Theorem 3.2 and Corollary 3.3.
Example 4.3 To illustrate our results, we give another more concrete example of application. We consider the following fractional anomalous diffusion equation:
To study this system in the abstract form (1.1), we choose the space X={L}^{2}[0,\pi ] and the operator A defined by Az={z}^{\u2033}, with domain D(A)=\{z\in {L}^{2}[0,\pi ]:z,{z}^{\prime}\text{absolutely continuous,}\phantom{\rule{0.25em}{0ex}}{z}^{\u2033}\in X,z(0)=z(\pi )=0\}.
Then A generates a uniformly bounded analytic semigroup which satisfies the condition (H_{0}), (H_{3}). Furthermore, A has a discrete spectrum, the eigenvalues are {n}^{2}, n\in N, with the corresponding normalized eigenvectors {\gamma}_{n}(x)={(2/\pi )}^{1/2}sin(nx). Then the following properties hold.

(i)
If z\in D(A), then
Az=\sum _{n=1}^{\mathrm{\infty}}{n}^{2}\u3008z,{\gamma}_{n}\u3009{\gamma}_{n}. 
(ii)
For each z\in X,
{A}^{\frac{1}{2}}z=\sum _{n=1}^{\mathrm{\infty}}\frac{1}{n}\u3008z,{\gamma}_{n}\u3009{\gamma}_{n}.
In particular, \parallel {A}^{\frac{1}{2}}\parallel =1.

(iii)
The operator {A}^{\frac{1}{2}} is given by
{A}^{\frac{1}{2}}z=\sum _{n=1}^{\mathrm{\infty}}n\u3008z,{\gamma}_{n}\u3009{\gamma}_{n}
on the space D({A}^{\frac{1}{2}})=\{z(\cdot )\in X,{A}^{\frac{1}{2}}z\in X\}.
If the nonlinear term f(t,z) satisfies the condition (H_{1}), then (4.3) has a unique mild solution on [0,T] by Theorem 3.1. If the nonlinear term f(t,z) satisfies the conditions (H_{2}) and (H_{4}), then (4.3) has at least one mild solution on [0,T] by Theorem 3.2 and Corollary 3.3.
References
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, Machens W, Voss H, Werther J. Springer, Heidelberg; 1999:217–224.
Caputo M: Linear models of dissipation whose Q is almost independent. Geophys. J. R. Astron. Soc. 1967, 13: 529–539. 10.1111/j.1365246X.1967.tb02303.x
Gaul L, Klein P, Kempfle S: Damping description involving fractional operators. Mech. Syst. Signal Process. 1991, 5: 81–88. 10.1016/08883270(91)90016X
Hilfer R: Applications of Fractional Calculus in Physics. World Scientific, Singapore; 2000.
N’Guérékata GM: A Cauchy problem for some abstract fractional differential equation with nonlocal conditions. Nonlinear Anal. 2009, 70: 1873–1876. 10.1016/j.na.2008.02.087
Mophou GM, N’Guérékata GM: Optimal control of a fractional diffusion equation with state constraints. Comput. Math. Appl. 2011, 62: 1413–1426. 10.1016/j.camwa.2011.04.044
Mophou GM, N’Guérékata GM: Existence of mild solutions for some semilinear neutral fractional functional evolution equation with infinite delay. Appl. Math. Comput. 2010, 216: 61–69. 10.1016/j.amc.2009.12.062
Liu ZH, Li XW: Existence and uniqueness of solutions for the nonlinear impulsive fractional differential equations. Commun. Nonlinear Sci. Numer. Simul. 2013, 18: 1362–1373. 10.1016/j.cnsns.2012.10.010
Liu ZH, Sun JH: Nonlinear boundary value problems of fractional functional integrodifferential equation. Comput. Math. Appl. 2012, 64: 3228–3234. 10.1016/j.camwa.2012.02.026
EIBorai MM: Some probability densities and fundamental solutions of fractional evolution equations. Chaos Solitons Fractals 2002, 14: 433–440. 10.1016/S09600779(01)002089
Zhou Y, Jiao F: Nonlocal Cauchy problem for fractional evolution equations. Nonlinear Anal. 2010, 11: 4465–4475. 10.1016/j.nonrwa.2010.05.029
Zhou Y, Jiao F, Li J: Existence and uniqueness for p type fractional neutral differential equations. Nonlinear Anal., Theory Methods Appl. 2009, 71(7–8):2724–2733. 10.1016/j.na.2009.01.105
Heymans N, Podlubny I: Physical interpretation of initial conditions for fractional differential equations with RiemannLiouville fractional derivatives. Rheol. Acta 2006, 45(5):765–771. 10.1007/s0039700500435
Miller KS, Ross B: An Introduction to Fractional Calculus and Fractional Differential Equations. Wiley, New York; 1993.
Delbosco D, Rodino L: Existence and uniqueness for a nonlinear fractional differential equation. J. Math. Anal. Appl. 1996, 204: 609–625. 10.1006/jmaa.1996.0456
Belmekki M, Nieto JJ, RodrguezLopez R: Existence of periodic solution for a nonlinear fractional differential equation. Bound. Value Probl. 2009., 2009: Article ID 324561
Smart DR: Fixed Point Theorems. Cambridge University Press, Cambridge; 1980.
Agarwal RP, de Andrade B, Cuevas C: On type of periodicity and ergodicity to a class of fractional order differential equations. Adv. Differ. Equ. 2010., 2010: Article ID 179750
Lizama C: Regularized solutions for abstract Volterra equations. J. Math. Anal. Appl. 2000, 243: 278–292. 10.1006/jmaa.1999.6668
Lizama C: On approximation and representation of Kregularized resolvent families. Integral Equ. Oper. Theory 2001, 41(2):223–229. 10.1007/BF01295306
Lizama C, Sánchez J: On perturbation of k regularized resolvent families. Taiwan. J. Math. 2003, 7(2):217–227.
Araya D, Lizama C: Almost automorphic mild solutions to fractional differential equations. Nonlinear Anal. TMA 2009, 69(11):3692–3705.
Acknowledgements
The authors are highly grateful for the referee’s careful reading and comments on this note. The present project is supported by Science and Technology Department of Hunan Province granted 2014FJ3071, Hunan Provincial Educational Department Science Foundation no. 13C1035 and NNSF of China Grant no. 11301039, no. 11301040.
Author information
Authors and Affiliations
Corresponding author
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.
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
Wang, F., Wang, P. Existence and uniqueness of mild solutions for a class of nonlinear fractional evolution equation. Adv Differ Equ 2014, 150 (2014). https://doi.org/10.1186/168718472014150
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/168718472014150