- Research
- Open access
- Published:
A note on the initial value problem of fractional evolution equations
Advances in Difference Equations volume 2015, Article number: 155 (2015)
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.
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 [1], Podlubny [2] and Kilbas et al. [3], the papers by Eidelman and Kochubei [4] and Lakshmikantham and Vatsala [5], and the survey by Agarwal et al. [6].
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
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 [7–17] and the references cited therein. In addition, some numerical methods have been used to solve space-time or space fractional evolution equations; see [18–23].
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 [24].
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
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
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 [1–3].
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
where
is a function of Wright type defined on \((0,\infty)\) which satisfies
and
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)
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)
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
([25])
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
on this interval. Then
where \(E_{q}\) is the Mittag-Leffler function defined by
Lemma 2.4
([26])
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
on this interval. Then
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
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
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
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
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
Thus, by (3.5) we have
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
and
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
for any \(t\in[0,a]\). Therefore, by (3.8) and Lemma 2.3 one gets
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
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:
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
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]\),
Therefore, by (3.11), (3.12), and Lemma 2.4, we get
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.
References
Miller, KS, Ross, B: An Introduction to the Fractional Calculus and Differential Equations. Wiley, New York (1993)
Podlubny, I: Fractional Differential Equations. Academic Press, San Diego (1999)
Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204. Elsevier, Amsterdam (2006)
Eidelman, SD, Kochubei, AN: Cauchy problem for fractional diffusion equations. J. Differ. Equ. 199, 211-255 (2004)
Lakshmikantham, V, Vatsala, AS: Basic theory of fractional differential equations. Nonlinear Anal. 69, 1677-1682 (2008)
Agarwal, RP, Benchohra, M, Hamani, S: A survey on existence results for boundary value problems of nonlinear fractional differential equations and inclusions. Acta Appl. Math. 109, 973-1033 (2010)
El-Borai, MM: Some probability densities and fundamental solutions of fractional evolution equations. Chaos Solitons Fractals 14, 433-440 (2002)
El-Borai, MM, El-Nadi, KS, El-Akabawy, EG: On some fractional evolution equations. Comput. Math. Appl. 59, 1352-1355 (2010)
Wang, J, Zhou, Y: A class of fractional evolution equations and optimal controls. Nonlinear Anal., Real World Appl. 12, 262-272 (2011)
Wang, J, Zhou, Y, Fečkan, M: Abstract Cauchy problem for fractional differential equations. Nonlinear Dyn. 74, 685-700 (2013)
Wang, R, Xiao, TJ, Liang, J: A note on the fractional Cauchy problems with nonlocal conditions. Appl. Math. Lett. 24, 1435-1442 (2011)
Chen, P, Li, Y: Existence of mild solutions for fractional evolution equations with mixed monotone nonlocal conditions. Z. Angew. Math. Phys. 65, 711-728 (2014)
Chen, P, Li, Y, Chen, Q, Feng, B: On the initial value problem of fractional evolution equations with noncompact semigroup. Comput. Math. Appl. 67, 1108-1115 (2014)
Chen, P, Li, Y, Li, Q: Existence of mild solutions for fractional evolution equations with non-local initial conditions. Ann. Pol. Math. 110, 13-24 (2014)
Herzallah, MAE, Baleanu, D: On fractional order hybrid differential equations. Abstr. Appl. Anal. 2014, Article ID 389386 (2014)
Herzallah, MAE, El-Shahed, M, Baleanu, D: Mild and strong solutions for a fractional nonlinear Neumann boundary value problem. J. Comput. Anal. Appl. 15, 341-352 (2013)
Kerboua, M, Debbouche, A, Baleanu, D: Approximate controllability of Sobolev type nonlocal fractional stochastic dynamic systems in Hilbert spaces. Abstr. Appl. Anal. 2013, Article ID 262191 (2013)
Bhrawy, AH, Zaky, MA, Baleanu, D: New numerical approximations for space-time fractional Burgers’ equations via a Legendre spectral-collocation method. Rom. Rep. Phys. 67(2), 1-13 (2015)
Bhrawy, AH, Baleanu, D: A spectral Legendre-Gauss-Lobatto collocation method for a space-fractional advection diffusion equations with variable coefficients. Rep. Math. Phys. 72, 219-233 (2013)
Bhrawy, AH, Al-Zahrani, AA, Alhame, YA, Baleanu, D: A new generalized Laguerre-Gauss collocation scheme for numerical solution of generalized fractional pantograph equations. Rom. J. Phys. 59, 646-657 (2014)
Bhrawy, AH, Zaky, MK: A method based on the Jacobi tau approximation for solving multi-term time-space fractional partial differential equations. J. Comput. Phys. 281, 876-895 (2015)
Bhrawy, AH, Doha, EH, Baleanu, D, Ezz-Eldien, SS: A spectral tau algorithm based on Jacobi operational matrix for numerical solution of time fractional diffusion-wave equations. J. Comput. Phys. (2014). doi:10.1016/j.jcp.2014.03.039
Abdelkawy, MA, Zaky, MA, Bhrawy, AH, Baleanu, D: Numerical simulation of time variable fractional order mobile-immobile advection-dispersion model. Rom. Rep. Phys. 67(3), 1-19 (2015)
Pazy, A: Semigroups of Linear Operators and Applications to Partial Differential Equations. Springer, Berlin (1983)
Henry, D: Geometric Theory of Semilinear Parabolic Equations. Lecture Notes in Math., vol. 840. Springer, New York (1981)
Ye, H, Gao, J, Ding, Y: A generalized Gronwall inequality and its application to a fractional differential equation. J. Math. Anal. Appl. 328, 1075-1081 (2007)
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).
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 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.
About this article
Cite this article
Chen, P., Zhang, X. & Li, Y. A note on the initial value problem of fractional evolution equations. Adv Differ Equ 2015, 155 (2015). https://doi.org/10.1186/s13662-015-0470-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-015-0470-2