Skip to content
• Research
• Open Access

# A note on the initial value problem of fractional evolution equations

Advances in Difference Equations20152015:155

https://doi.org/10.1186/s13662-015-0470-2

• Received: 16 November 2014
• Accepted: 13 April 2015
• Published:

## Abstract

In this paper, we discuss the continuous dependence of mild solutions on initial values and orders for the initial value problem of fractional evolution equations in infinite dimensional spaces. The results obtained in this paper improve and extend some related conclusions on this topic. This paper can be considered as a contribution to this emerging field.

## Keywords

• fractional evolution equation
• initial value problem
• continuous dependence

• 35R11
• 47J35

## 1 Introduction

Fractional differential equations have recently come to be considered to be a very powerful tool to help scientists explore the hidden properties of the dynamics of complex systems in various fields of sciences and engineering. In recent years, fractional differential equations played the key role of a fundamental, efficient, and convenient theoretical framework for more adequate modeling of complex dynamic processes. Indeed, we can find numerous applications in viscoelasticity, electromagnetism, diffusion, control, mechanics, physics, signal processing, chemistry, bioengineering, medicine, and in many other areas. For more details as regards fractional differential equations we refer to the monographs by Miller and Ross , Podlubny  and Kilbas et al. , the papers by Eidelman and Kochubei  and Lakshmikantham and Vatsala , and the survey by Agarwal et al. .

In this paper, we are concerned with the continuous dependence of mild solutions on initial values and orders for the initial value problem (IVP) of the fractional evolution equation
$$\left \{ \begin{array}{l} {}_{0}^{\mathrm{C}}D^{\alpha}_{t}u(t)+ Au(t)=f(t,u(t)),\quad t\geq0, \\ u(0)=u_{0} \end{array} \right .$$
(1.1)
in Banach space E, where $${}_{0}^{\mathrm{C}}D^{\alpha}_{t}$$ is the Caputo fractional derivative of order $$0<\alpha<1$$, $$A:D(A)\subset E\to E$$ is a closed linear operator and −A generates a uniformly bounded $$C_{0}$$-semigroup $$T(t)$$ ($$t\geq 0$$) in E, $$f:[0,\infty)\times E\rightarrow E$$ is a continuous nonlinear mapping, $$u_{0}\in E$$.

In recent years, there has been a significant development in the theory of fractional evolution equations. Due to fractional semilinear evolution equations being abstract formulations for many problems arising in engineering and physics, fractional evolution equations have attracted much attention in recent years; see  and the references cited therein. In addition, some numerical methods have been used to solve space-time or space fractional evolution equations; see .

However, we observed that all of the existing articles are only devoted to the study of the existence, uniqueness, and controllability of mild solutions for fractional evolution equations; up to now the continuous dependence of mild solutions on parameters for fractional evolution equations has not been considered in the literature. In order to fill this gap, we are concerned with the continuous dependence of mild solutions on the initial values and orders for IVP (1.1).

## 2 Preliminaries

In this section, we introduce some notations, definitions, and preliminary facts which are used in the sequel.

Let E be a Banach space with the norm $$\|\cdot\|$$ and let $$a>0$$ be a constant. We denote by $$C([0,a],E)$$ the Banach space of all continuous E-value functions on interval $$[0,a]$$ with the supnorm $$\| u\|_{C}=\sup_{t\in[0,a]}\| u(t)\|$$. Throughout this paper, we assume that $$A:D(A)\subset E\to E$$ is a closed linear operator and −A generates a uniformly bounded $$C_{0}$$-semigroup $$T(t)$$ ($$t\geq0$$) on E. Let $$M=\sup_{t\in [0,+\infty)}\| T(t)\|_{\mathcal{L}(E)}$$, where $$\mathcal{L}(E)$$ stands for the Banach space of all linear and bounded operators in E. For more details of the theory of operator semigroups, see .

Let $$0<\alpha<1$$. The Caputo fractional order derivative of order α with the lower limit 0 for a function $$u\in C^{1}[0,a]$$ is defined as
$${}_{0}^{\mathrm{C}}D^{\alpha}_{t} u(t)=J_{t}^{1-\alpha} u'(t)=\frac{1}{\Gamma(1-\alpha )}\int _{0}^{t}(t-s) ^{-\alpha} u'(s)\, ds,\quad t>0,$$
(2.1)
where Γ stands for the gamma function, and the fractional integral of order $$\alpha>0$$ with the lower limit 0 for a function u is defined as
$$J_{t}^{\alpha}u(t)=\frac{1}{\Gamma(\alpha)}\int_{0}^{t} (t-s) ^{\alpha-1}u(s)\, ds.$$
(2.2)

If u is an abstract function with values in E, then the integrals which appear in (2.1) and (2.2) are taken in Bochner’s sense. For the details as regards the definitions of fractional derivative and integral, please see .

### Definition 2.1

By a mild solution of IVP (1.1) on $$[0,\infty)$$, we mean a continuous function u defined from $$[0,\infty)$$ into E satisfying
$$u(t)=\mathcal{T}_{\alpha}(t)u_{0}+\int_{0}^{t}(t-s)^{\alpha-1} \mathcal{S}_{\alpha}(t-s)f\bigl(s,u(s)\bigr)\, ds, \quad t\in[0, \infty),$$
(2.3)
where
\begin{aligned} &\mathcal{T}_{\alpha}(t)=\int _{0}^{\infty}h_{\alpha}(s)T\bigl(t^{\alpha}s\bigr)\, ds,\qquad \mathcal{S}_{\alpha}(t)=\alpha\int_{0}^{\infty}sh_{\alpha}(s)T \bigl(t^{\alpha}s\bigr)\, ds, \\ &h_{\alpha}(s)=\frac{1}{\pi\alpha}\sum_{n=1}^{\infty}(-s)^{n-1} \frac{\Gamma(n\alpha+1)}{n!}\sin(n\pi \alpha),\quad s\in(0,\infty), \end{aligned}
(2.4)
is a function of Wright type defined on $$(0,\infty)$$ which satisfies
$$h_{\alpha}(s)\geq0,\quad s\in(0,\infty), \qquad \int_{0}^{\infty}h_{\alpha}(s) \, ds=1$$
and
$$\int_{0}^{\infty}s^{v}h_{\alpha}(s)\, ds=\frac{\Gamma(1+v)}{\Gamma (1+\alpha v)}, \quad v\in[0,1].$$

The following lemma will be of fundamental importance in what follows (see [7, 9]).

### Lemma 2.2

The operators $$\mathcal{T}_{q}(t)$$ ($$t\geq0$$) and $$\mathcal{S}_{\alpha}(t)$$ ($$t\geq0$$) have the following properties:
1. (1)
For every fixed $$t\geq0$$, $$\mathcal{T}_{\alpha}(t)$$ and $$\mathcal{S}_{\alpha}(t)$$ are linear bounded operators, i.e.,
$$\bigl\Vert \mathcal{T}_{\alpha}(t)u\bigr\Vert \leq M\| u\|,\qquad \bigl\Vert \mathcal{S}_{\alpha}(t)u\bigr\Vert \leq\frac{M}{\Gamma(\alpha)}\| u \|, \quad u\in E.$$

2. (2)

The operators $$\mathcal{T}_{\alpha}(t)$$ ($$t\geq0$$) and $$\mathcal{S}_{\alpha}(t)$$ ($$t\geq0$$) are strongly continuous on $$[0,\infty)$$.

In what follows, we recall the following Gronwall-Bellman type inequalities, which can be used in fractional differential equations and integral equations with singular kernel.

### Lemma 2.3

()

Suppose that $$m>0$$, $$n\geq0$$, and $$q>0$$. If $$u(t)$$ is nonnegative and locally integrable on $$0\leq t< C$$ (some $$C\leq+\infty$$) with
$$u(t)\leq m+n\int_{0}^{t}(t-s)^{q-1}u(s) \, ds$$
(2.5)
on this interval. Then
$$u(t)\leq mE_{q}\bigl(n\Gamma(q)t^{q}\bigr),\quad 0\leq t< C,$$
(2.6)
where $$E_{q}$$ is the Mittag-Leffler function defined by
$$E_{q}(z)=\sum_{n=0}^{\infty} \frac{z^{n}}{\Gamma(nq+1)},\quad z\in\mathbb {C}.$$
(2.7)

### Lemma 2.4

()

Suppose $$q>0$$, $$m(t)$$ is a nonnegative function locally integrable on $$0\leq t< C$$ and $$n(t)$$ is a nonnegative, nondecreasing, continuous function defined on $$0\leq t< C$$, $$n(t)\leq K$$ (constant), and suppose $$u(t)$$ is nonnegative and locally integrable on $$0\leq t< C$$ with
$$u(t)\leq m(t)+n(t)\int_{0}^{t}(t-s)^{q-1}u(s) \, ds$$
(2.8)
on this interval. Then
$$u(t)\leq m(t)+\int_{0}^{t} \Biggl[\sum _{n=1}^{\infty}\frac{(n(t)\Gamma (q))^{n}}{\Gamma(nq)}(t-s)^{nq-1}m(s) \Biggr]\, ds,\quad 0\leq t< C.$$
(2.9)

## 3 Main results

In this section, we state and prove the main results of this paper. We suppose that the nonlinear term f satisfies the following local Lipschitz condition:
(H f ):
For any $$\overline{t}>0$$ and constant $$r>0$$, there exists a positive constant $$L=L(r,\overline{t})$$ such that
$$\bigl\Vert f\bigl(t,u(t)\bigr)- f\bigl(t,v(t)\bigr)\bigr\Vert \leq L\bigl\Vert u(t)-v(t)\bigr\Vert$$
for every $$t\in[0,\overline{t}]$$ and all $$u, v\in E$$ satisfying $$\| u(t)\|\leq r$$, $$\|v(t)\|\leq r$$.

### Theorem 3.1

Assume that the condition (H f ) is satisfied, then there exists a constant $$a>0$$ such that IVP (1.1) has a unique mild solution u on $$[0,a]$$. Moreover, for any $$\epsilon>0$$, there exists a constant $$\delta>0$$ such that for arbitrary $$\overline {u}_{0}\in E$$ satisfying $$\|\overline{u}_{0}-u_{0}\|<\delta$$, the initial value problem (IVP) of the fractional evolution equation
$$\left \{ \begin{array}{l} {}_{0}^{\mathrm{C}}D^{\alpha}_{t}u(t)+ Au(t)=f(t,u(t)), \quad t\geq0, \\ u(0)=\overline{u}_{0} \end{array} \right .$$
(3.1)
has a unique mild solution $$\overline{u}$$ on $$[0,a]$$ and $$\|\overline {u}(t)-u(t)\|<\epsilon$$ for every $$t\in[0,a]$$.

### Proof

We first prove the local existence and uniqueness of mild solutions for IVP (1.1) on interval $$[0,a_{1}]$$ for an appropriately small constant $$a_{1}>0$$, which will be given later. Consider the operator $$\mathcal{F}:C([0,a_{1}],E)\rightarrow C([0,a_{1}],E)$$ defined by
$$(\mathcal{F}u) (t)=\mathcal{T}_{\alpha}(t)u_{0}+\int _{0}^{t}(t-s)^{\alpha-1} \mathcal{S}_{\alpha}(t-s)f \bigl(s,u(s)\bigr)\, ds,\quad t\in[0,a_{1}].$$
(3.2)
From the continuity of nonlinear term f and Lemma 2.2(2) one can easily see that the operator $$\mathcal{F}:C([0,a_{1}],E)\rightarrow C([0,a_{1}],E)$$ is continuous. By Definition 2.1, the mild solution of IVP (1.1) on $$[0,a_{1}]$$ is equivalent to the fixed point of the operator $$\mathcal{F}$$ defined by (3.2). Let $$R=2M\| u_{0}\|$$, $$L=L(R,1)$$, $$N=\max_{0\leq t\leq1}\|f(t,\theta)\|$$. Denote $$\Omega_{R}=\{u\in C([0,a_{1}],E) :\| u(t)\|\leq R, t\in[0,a_{1}]\}$$, then $$\Omega_{R}$$ is a closed ball in $$C([0,a_{1}],E)$$ with center θ and radius R. Set
$$a_{1}:=\min \biggl\{ 1, \biggl(\frac{\Gamma(\alpha+1)\| u_{0}\|}{LR+N} \biggr)^{\frac{1}{\alpha}}, \biggl(\frac{\Gamma(\alpha+1)}{ ML+1} \biggr)^{\frac{1}{\alpha}} \biggr\} .$$
(3.3)
For any $$u\in\Omega_{R}$$ and $$t\in[0,a_{1}]$$, by Lemma 2.2(1), (3.2), (3.3), and the condition (H f ), we have
\begin{aligned} \bigl\Vert (\mathcal{F}u) (t)\bigr\Vert \leq& M\| u_{0}\|+\frac{M}{\Gamma(\alpha)}\int_{0}^{t} (t-s)^{\alpha-1} \bigl(\bigl\Vert f\bigl(s,u(s)\bigr)-f(s,\theta)\bigr\Vert +\bigl\Vert f(s,\theta)\bigr\Vert \bigr) \,ds \\ \leq& M\| u_{0}\|+\frac{(LR+N)Ma_{1}^{\alpha}}{\Gamma(\alpha+1)} \\ \leq&2M\|u_{0}\| \\ =&R. \end{aligned}
(3.4)
Therefore, $$\mathcal{F}u\in\Omega_{R}$$. Thus, we proved that $$\mathcal{F}:\Omega_{R}\rightarrow\Omega_{R}$$ is a continuous operator. Now we show that the operator $$\mathcal{F}$$ is a contraction in $$\Omega_{R}$$. For any $$u, v\in C([0,a_{1}],E)$$, and $$t\in[0,a_{1}]$$, it follows from Lemma 2.2(1), (3.2), (3.3), and the condition (H f ) that
\begin{aligned} \bigl\Vert (\mathcal{F}u) (t)-(\mathcal{F}v) (t)\bigr\Vert \leq&\frac{M}{\Gamma (\alpha)}\int_{0}^{t} (t-s)^{\alpha-1}\bigl\Vert f\bigl(s,u(s)\bigr)-f\bigl(s,v(s)\bigr)\bigr\Vert \, ds \\ \leq& \frac{MLa_{1}^{\alpha}}{\Gamma(\alpha+1)}\|u-v\|_{C} \\ < & \|u-v\|_{C}. \end{aligned}
(3.5)
Thus, by (3.5) we have
$$\| \mathcal{F}u-\mathcal{F}v\|_{C}< \|u-v\|_{C},$$
which means that $$\mathcal{F}$$ has a unique fixed point $$u\in\Omega _{R}$$, which is in turn a unique mild solution of IVP (1.1) on $$[0,a_{1}]$$. Using a similar method we can prove that IVP (3.1) has a unique mild solution $$\overline{u}$$ on $$[0,a_{2}]$$ for appropriate constant $$a_{2}>0$$. Let $$a=\min\{a_{1},a_{2}\}$$. Then for any $$t\in[0,a]$$, $$u(t)$$ and $$\overline{u}(t)$$ are the unique mild solutions of IVP (1.1) and IVP (3.1), respectively, and they are given by
$$u(t)=\mathcal{T}_{\alpha}(t)u_{0}+\int_{0}^{t}(t-s)^{\alpha-1} \mathcal{S}_{\alpha}(t-s)f\bigl(s,u(s)\bigr)\, ds$$
(3.6)
and
$$\overline{u}(t)=\mathcal{T}_{\alpha}(t)\overline{u}_{0}+\int _{0}^{t}(t-s)^{\alpha-1} \mathcal{S}_{\alpha}(t-s)f \bigl(s,\overline{u}(s)\bigr)\, ds.$$
(3.7)
Next, we prove the continuous dependence of the mild solutions on the initial values. For any $$\epsilon>0$$, choosing $$\delta=\frac{\Gamma (\alpha)\epsilon}{ME_{\alpha}(ML(R,a)a^{\alpha})+1}$$ such that $$\| u_{0}-\overline{u}_{0}\|\leq\delta$$, where $$E_{\alpha}$$ is the Mittag-Leffler function defined by (2.7). From (3.6), (3.7), Lemma 2.2(1), and the condition (H f ), we get
\begin{aligned} \bigl\Vert u(t)-\overline{u}(t)\bigr\Vert \leq&\frac{M}{\Gamma(\alpha)}\Vert u_{0}-\overline{u}_{0}\Vert +\frac{M}{\Gamma(\alpha)}\int _{0}^{t} (t-s)^{\alpha-1}\bigl\Vert f \bigl(s,u(s)\bigr)-f\bigl(s,\overline{u}(s)\bigr)\bigr\Vert \, ds \\ \leq& \frac{M\delta}{\Gamma(\alpha)}+\frac{ML(R,a)}{\Gamma (\alpha)}\int_{0}^{t} (t-s)^{\alpha-1}\bigl\Vert u(s)-\overline{u}(s)\bigr\Vert \, ds \end{aligned}
(3.8)
for any $$t\in[0,a]$$. Therefore, by (3.8) and Lemma 2.3 one gets
$$\bigl\Vert u(t)-\overline{u}(t)\bigr\Vert \leq\frac{M\delta}{\Gamma(\alpha )}E_{\alpha}\bigl(ML(R,a)a^{\alpha}\bigr)< \epsilon.$$
This completes the proof of Theorem 3.1. □

Next, we discuss the continuous dependence of the mild solutions for IVP (1.1) on the orders.

### Theorem 3.2

Assume that the condition (H f ) is satisfied, then there exists a constant $$a>0$$ such that for any $$0<\beta<1$$, for IVP (1.1), and for the IVP of the fractional evolution equation
$$\left \{ \begin{array}{l} {}_{0}^{\mathrm{C}}D^{\beta}_{t}u(t)+ Au(t)=f(t,u(t)),\quad t\geq0, \\ u(0)=u_{0} \end{array} \right .$$
(3.9)
there exist unique mild solutions u and $$\tilde{u}$$ on $$[0,a]$$, respectively, and $$\|\tilde{u}(t)-u(t)\|\rightarrow0$$ as $$\alpha \rightarrow\beta$$ for every $$t\in[0,a]$$.

### Proof

By using a similar method to the proof of Theorem 3.1, we can prove that for IVP (1.1) and IVP (3.9) there exist unique mild solutions u and $$\tilde{u}$$ on $$[0,a]$$ for an appropriate constant $$a>0$$, respectively, and u and $$\tilde{u}$$ are given by (3.6) and the following integral equation:
$$\tilde{u}(t)=\mathcal{T}_{\beta}(t)u_{0}+\int _{0}^{t}(t-s)^{\beta-1} \mathcal{S}_{\beta}(t-s)f \bigl(s,\tilde{u}(s)\bigr)\, ds.$$
(3.10)
Without loss of generality, we may assume that $$\alpha>\beta$$. Then by (2.4), (3.6), (3.10), Lemma 2.2(1), and the condition (H f ) one has
\begin{aligned} \bigl\Vert u(t)-\tilde{u}(t)\bigr\Vert \leq&\bigl\Vert \mathcal{T}_{\alpha}(t)u_{0}-\mathcal {T}_{\beta}(t)u_{0} \bigr\Vert + \biggl\Vert \int_{0}^{t}(t-s)^{\alpha-1} \mathcal{S}_{\alpha}(t-s)f\bigl(s,u(s)\bigr)\, ds \\ &{}-\int_{0}^{t}(t-s)^{\beta-1} \mathcal{S}_{\beta}(t-s)f\bigl(s,\tilde{u}(s)\bigr)\, ds \biggr\Vert \\ \leq&\int_{0}^{\infty}\bigl\Vert h_{\alpha}( \tau)T\bigl(t^{\alpha}\tau\bigr)u_{0}-h_{\beta}(\tau)T \bigl(t^{\beta}\tau\bigr)u_{0}\bigr\Vert \, d\tau \\ &{}+\frac{MF}{\alpha\Gamma(\beta)}t^{\alpha}-\frac{MF}{\Gamma (\beta+1)}t^{\beta} \\ &{}+F\int_{0}^{t}(t-s)^{\alpha-1}\int _{0}^{\infty}\tau \bigl\Vert \alpha h_{\alpha}( \tau)T\bigl((t-s)^{\alpha}\tau\bigr) \\ &{}-\beta h_{\beta}(\tau )T\bigl((t-s)^{\beta}\tau\bigr) \bigr\Vert \, d\tau \, ds \\ &{}+\frac{ML(R,a)}{\Gamma(\beta)}\int_{0}^{t}(t-s)^{\alpha-1} \bigl\Vert u(s)-\tilde{u}(s)\bigr\Vert \, ds \end{aligned}
(3.11)
for every $$t\in[0,a]$$, where $$F=\max_{0\leq t\leq a}\{\|f(t,u(t))\|:\| u(t)\|\leq R\}$$. By (3.11), the properties of the Wright type functions $$h_{\alpha}(\cdot)$$, $$h_{\beta}(\cdot)$$, and the semigroup $$T(t)$$ ($$t\geq0$$), we know that for any $$t\in[0,a]$$,
\begin{aligned} m(t) :=&\int_{0}^{\infty}\bigl\Vert h_{\alpha}(\tau)T\bigl(t^{\alpha}\tau\bigr)u_{0}-h_{\beta}(\tau)T\bigl(t^{\beta}\tau\bigr)u_{0}\bigr\Vert \, d\tau + \frac{MF}{\alpha\Gamma(\beta)}t^{\alpha}-\frac{MF}{\Gamma(\beta +1)}t^{\beta} \\ &{}+F\int_{0}^{t}(t-s)^{\alpha-1}\int _{0}^{\infty}\tau \bigl\Vert \alpha h_{\alpha}( \tau)T\bigl((t-s)^{\alpha}\tau\bigr) \\ &{}-\beta h_{\beta}(\tau )T\bigl((t-s)^{\beta}\tau\bigr) \bigr\Vert \, d\tau\, ds \\ \rightarrow& 0\quad \text{as } \alpha\rightarrow\beta. \end{aligned}
(3.12)
Therefore, by (3.11), (3.12), and Lemma 2.4, we get
\begin{aligned} \bigl\Vert u(t)-\tilde{u}(t)\bigr\Vert \leq& m(t)+\int_{0}^{t} \Biggl[\sum_{n=1}^{\infty}\frac{(ML(R,a)\Gamma(\alpha))^{n}}{ \Gamma(\beta)^{n}\Gamma(n\alpha)}(t-s)^{n\alpha-1}m(s) \Biggr]\, ds \\ \rightarrow& 0 \quad \text{as } \alpha\rightarrow\beta \end{aligned}
for every $$t\in[0,a]$$. This completes the proof of Theorem 3.2. □

### Remark 3.3

The results obtained in this paper can be applied to all kinds of time-fractional partial differential equations. Using Theorems 3.1 and 3.2 one can obtain the continuous dependence results for the concrete fractional partial differential equations. Based on Theorem 3.2, obtained in this paper, we can approximate the solutions of time-fractional differential equations by the solutions of integer order differential equations, which are easier to obtain. Therefore, Theorem 3.2 gives an approach to obtain an approximate solution of fractional differential equations.

## Declarations

### Acknowledgements

The authors are very grateful to the anonymous referees for their valuable suggestions. This work is supported by NWNU-LKQN-14-3 and NNSF of China (11261053).

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.

## Authors’ Affiliations

(1)
Department of Mathematics, Northwest Normal University, Lanzhou, 730070, P.R. China
(2)
Department of Mathematics, Zhixing College of Northwest Normal University, Lanzhou, 730070, P.R. China

## References

Advertisement 