- Research
- Open access
- Published:

# Stability and boundedness of solutions of the initial value problem for a class of time-fractional diffusion equations

*Advances in Difference Equations*
**volumeÂ 2017**, ArticleÂ number:Â 230 (2017)

## Abstract

The aim of this paper is to study the stability and boundedness of solutions of the initial value problem for a class of time-fractional diffusion equations. We first establish a fractional Duhamel principle for the nonhomogeneous time-fractional diffusion equation. Then based on it and the superposition principle, the solution of the above initial value problem is represented. Finally, we obtain the stability and boundedness of the solution and present an illustrative example.

## 1 Introduction

Fractional differential equations have received considerable attentions during the past few decades because they are useful for modeling many practical phenomena. And a large amount of results such as existence, uniqueness, stability, etc. of the solution have been obtained for the fractional differential equations (see [1â€“5] and the references therein).

In recent years, fractional partial differential equations have been applicated in the study of viscoelasticity, biology, anomalous diffusion, such as [6â€“10]. Based on the existing inequalities, Jleli [6] presented the Lyapunov inequalities for fractional partial differential equations. The authors in [8] obtained the approximate analytical solutions for two different types of nonlinear time-fractional systems of partial differential equations using the fractional natural decomposition method. And a maximum principle for the generalized time-fractional diffusion equation with the Caputo fractional derivative is established by Luchko [7].

Furthermore, initial-boundary value problems for both ordinary fractional differential equations and fractional partial differential equations are studied in the literatures (see [11â€“15] and the references therein). The authors in [14] established an existence result for a class of nonlinear fractional partial differential equations with the standard Caputo fractional derivative of order \(1<\alpha\leq2\). In [15], Wang discussed the nonlocal initial value problem for fractional differential equations with the Hilfer fractional derivative.

Zhu [16] and Ouyang [17] investigated the existence and uniqueness of the solution of the following nonlinear fractional reaction-diffusion equation with initial-boundary values and delays:

where \(0\leq\tau_{i}(t)\leq t\), \(t\in R_{+}\) (\(i=1,2,\ldots,l\)), *l* is a positive integer number, \(a(t):R_{+} \rightarrow R\) is continuous and \(\varphi(x) \in L^{2}(\Omega)\). \({}^{C}D_{t}^{\alpha}\) is the standard Caputo fractional derivative of order *Î±* (\(0<\alpha \leq1\)).

In [18], Umarov generalized the classical Duhamel principle for the Cauchy problem to general inhomogeneous fractional distributed differential-operator equations of the form

where \(\mu\in(m-1,m]\), \(h(t)\) and \(\varphi_{k}\), \(k=0,1,\ldots,m\) are given *X*-valued vector-functions. \(D_{\ast}^{\alpha}\) denotes the operator of fractional differentiation of order \(0<\alpha<1\) in the sense of Caputo.

The stability of the solution of a definite solution problem is of great importance in the theory of partial differential equations. However, we have not found any related references which investigate the stability of solutions of initial value problems for time-fractional diffusion equations. Motivated by this fact, in this paper we establish a fractional Duhamel principle, then apply it to study the stability and boundedness of the solution of the time-fractional diffusion equation

with the initial condition

where \(a\neq0\), \(\varphi(x)\in L^{p} (R)\), \(p\geq1\). \(h(x,t)\) is a continuously differentiable function and \(h(x,0)=0\). \({}^{C}_{0}D_{t}^{\alpha}\) represents the following Caputo fractional derivative of order \(\alpha>0\):

where Î“ is the Gamma function and \(n=[\alpha]\) denotes the integer part of *Î±*. Moreover, the Caputo fractional derivative of *Î±* is also defined as \(\frac{\partial^{\alpha}u(x,t)}{\partial t^{\alpha}}={{}_{0}}I_{t}^{n-\alpha}\frac{\partial ^{n}}{\partial t^{n}}u(x,t)\).

The rest of this article is organized as follows. SectionÂ 2 is devoted to some preliminaries. In SectionÂ 3, we present our main results of this paper. An illustrative example is provided in SectionÂ 4.

## 2 Preliminaries

In this section, we introduce some definitions and lemmas which will be used later.

### Definition 2.1

[1]

The two-parameter Mittag-Leffler function is defined as

where Î“ is the Gamma function.

The Laplace transform of the Mittag-Leffler function in two parameters is

### Definition 2.2

[1]

The Laplace transform of the Caputo fractional derivative \({}^{C}_{0}D_{t}^{\alpha}f(t)\) is

where \(\tilde{f}(s)\) is the Laplace transform of \(f(t)\).

Particularly, for \(0<\alpha \leq1\),

### Definition 2.3

[1]

The Fourier transform of a continuous function \(h(x)\) absolutely integrable in *R* is defined by

and the inverse Fourier transform is defined by

### Lemma 2.1

[18]

*Suppose*
\(v(t,\tau)\)
*is an X*-*valued function defined for all*
\(t\geq \tau\geq0\), *the derivatives*
\(\frac{\partial^{j}v(t,\tau)}{\partial t^{j}}\), \(0\leq j\leq k-1\), *are jointly continuous in the X*-*norm*, *and*
\(\frac{\partial^{k}v(t,\tau)}{\partial t^{k}}\in L^{1}(0,t;X)\)
*for all*
\(t>0\). *Let*
\(u(t)=\int_{0}^{t} v(t,\tau)\,d\tau\). *Then*

### Lemma 2.2

[19]

*For every*
\(\alpha\in(0,1)\), *the uniform estimate*

*holds over*
\(R^{+} \), *where*
\(E_{\alpha}(-x)\)
*denotes*
\(E_{\alpha,1}(-x)\).

### Remark 2.1

Obviously, \(0< E_{\alpha,1}(-x)<1\), for any \(x>0\) by LemmaÂ 2.2.

### Lemma 2.3

[20]

*Let*
\(0<\alpha<1\). *Then*

### Lemma 2.4

[21]

*The Fourier transform of the Dirac delta function*
\(\delta(x)\)
*is*

*and the inverse Fourier transform of the Dirac delta function*
\(\delta (x)\)
*is*

### Lemma 2.5

[21]

*The Dirac delta function*
\(\delta(x)\)
*has the following property*:

### Lemma 2.6

[21], Hausdorff-Young inequality

*If*
\(f\in L^{1} \), \(g\in L^{p} \) (\(p\geq1\)), *then*
\(h=f\ast g \in L^{p}\)
*and*

*where*
\(f\ast g=\int_{R} f(x-y)g(y)\,dy\)
*denotes the convolution between*
*f*
*and*
*g*.

## 3 Main results

In this section, we first consider the situation of \(h(x,t)=0\) in the IVP (5)-(6). That is, we discuss the homogeneous IVP

### Lemma 3.1

*The solution of the homogeneous the IVP* (21)-(22) *has the form*

*where*
\(G(x,t)=\frac{1}{2\pi} \int_{R} e^{-i\xi x}E_{\alpha,1}(-a^{2}\xi ^{2}t^{\alpha})\,d\xi\)
*is the Green function*.

### Proof

Applying the Laplace transform to equation (21) with respect to the variable *t* yields

then applying the Fourier transform with respect to variable *x*, we obtain

where \(i^{2}=-1\). So we have

Applying the inverse Laplace transform yields

Furthermore, by using the inverse Fourier transform and Fubiniâ€™s theorem, we get

where

is the Green function. This completes the proof.â€ƒâ–¡

### Property 3.1

*The Green function*
\(G(x,t)\)
*has the following property*:

### Proof

By LemmaÂ 2.2, it follows

LemmaÂ 2.5 implies that

which completes the proof.â€ƒâ–¡

### 3.1 Fractional Duhamel principle

We now consider equation (5) with the initial data \(u(x,0)=\varphi(x)=0\). That is, we study the nonhomogeneous IVP

A fractional Duhamel principle is firstly given, which can reduce the nonhomogeneous the IVP (33)-(34) to the corresponding homogeneous IVP.

### Theorem 3.1

Fractional Duhamel principle

*The solution of the nonhomogeneous the IVP* (33)-(34) *is given by*

*where*
\(w(x,t;\tau)\)
*is the solution of the homogeneous equation*

*satisfying*

*where*
\(h(x,t)\)
*is a continuously differentiable function*.

### Proof

Assume that \(w(x,t;\tau)\) is the solution of the IVP (36)-(37). We next prove that \(u(x,t)=\int_{0}^{t}w(x,t;\tau)\,d\tau\) is the solution of the IVP (33)-(34). Let \(k=1\) in LemmaÂ 2.1, then

Thus it follows that

In addition, \(u(x,0)=0\). Therefore, \(u(x,t)=\int_{0}^{t}w(x,t;\tau)\, d\tau\) is the solution of the IVP (33)-(34). The proof is completed.â€ƒâ–¡

### Corollary 3.1

(i) *The the IVP* (36)-(37) *has the solution*. *In fact*, *let*
\(t'=t-\tau\)
*in* (36)-(37), *then the IVP* (36)-(37) *can be turned into the form*

*LemmaÂ *
3.1
*implies that the solution of the problem* (40)-(41) *can be obtained by*

*Hence*, *the solution of the IVP* (36)-(37) *can be represented as*

(ii) *Furthermore*, *by TheoremÂ *
3.1, *the solution of the IVP* (33)-(34) *has the form*

Combining LemmaÂ 3.1 with CorollaryÂ 3.1, we can get the following theorem.

### Theorem 3.2

*The solution of the nonhomogeneous the IVP* (5)-(6) *has the form*

*where*
\(u_{1}(x,t)\), \(u_{2}(x,t)\)
*are solutions of the IVPs* (21)-(22), (33)-(34), *respectively*. *That is*,

*where*
\(G(x,t)=\frac{1}{2\pi}\int_{R} e^{-i\xi x}E_{\alpha,1}(-a^{2}\xi ^{2}t^{\alpha})\,d\xi\)
*is the Green function*.

### Theorem 3.3

*When*
\(t\rightarrow0\), *the solution* (46) *of the Cauchy problem* (5)-(6) *is bounded by the initial data*

### Proof

From (46) and LemmaÂ 2.4, we have

Then the inequality (48), LemmaÂ 2.6 and the property of the Dirac delta function \(\delta(x)\) imply

for \(p\geq1\), which completes the proof.â€ƒâ–¡

### 3.2 Stability of solution

This section presents the stability of the solution of the nonhomogeneous the IVP (5)-(6).

### Definition 3.1

Suppose that *H* is a linear normed space with the norm \(\Vert \cdot \Vert _{H}\), \(u_{1}(x,t)\), \(u_{2}(x,t)\) are solutions of the IVP (5)-(6) corresponding to initial datum \(\varphi_{1}(x)\), \(\varphi_{2}(x)\), respectively. For any \(\varepsilon >0\), if there exists a constant \(\delta>0\) such that \(\Vert \varphi_{1}(x)-\varphi_{2}(x) \Vert <\delta\) implies \(\Vert u_{1}(x,t)-u_{2}(x,t) \Vert <\varepsilon\), then we say that the solution of the IVP (5)-(6) is stable.

### Theorem 3.4

Stability

*Assume*
\(\varphi(x)\in L^{p}(R)\), \(p\geq1\). *Then the solution*
\(u(x,t)\)
*of the nonhomogeneous IVP* (5)-(6) *is stable*.

### Proof

Suppose that \(u_{1}(x,t)\) is the solution of the nonhomogeneous IVP

and that \(u_{2}(x,t)\) is the solution of the nonhomogeneous IVP

Then the superposition principle implies that \(u_{1}(x,t)-u_{2}(x,t)\) is the solution of the following homogeneous IVP:

By LemmaÂ 3.1, we get

where \(G(x,t)=\frac{1}{2\pi}\int_{R} e^{-i\xi x}E_{\alpha,1}(-a^{2}\xi ^{2}t^{\alpha})\,d\xi\) is the Green function. Taking the \(L^{p}\)-norm (\(p\geq1\)) on both sides of equation (56), then LemmaÂ 2.6 yields

for \(t>0\). Then from LemmaÂ 2.6 and the property of the Green function \(G(x,t)\) it follows that

For any \(\varepsilon>0\), choose \(\delta<\varepsilon\). Then \(\Vert \varphi_{1}(x)-\varphi_{2}(x) \Vert _{L^{p}(R)}<\delta\) implies \(\Vert u_{1}(x,t)-u_{2}(x,t) \Vert _{L^{p}(R)}<\varepsilon\), \(t>0\). By DefinitionÂ 3.1, the solution \(u(x,t)\) of the nonhomogeneous the IVP (5)-(6) is stable. The proof is completed.â€ƒâ–¡

## 4 Illustrative example

In this section, we provide an example to show the application of our stability result.

### Example 4.1

Consider the following nonhomogeneous equation:

with the initial condition

The well-known formula (\(0<\alpha<1\))

and TheoremÂ 3.2 imply that the solution of the IVP (59)-(60) is

Suppose that \(u_{1}(x,t)\), \(u_{2}(x,t)\) are solutions of the IVP (59)-(60) corresponding to initial datum \(x_{1}^{2}\), \(x_{2}^{2}\), respectively. Then, for \(p\geq1\), we have

For any \(\varepsilon>0\), choose \(\delta<\varepsilon\). Then \(\Vert x_{1}^{2}-x_{2}^{2} \Vert _{L^{p}(R)}<\delta\) implies \(\Vert u_{1}(x,t)-u_{2}(x,t) \Vert _{L^{p}(R)}<\varepsilon\), \(t>0\). According to DefinitionÂ 3.1, the solution (62) of the IVP (59)-(60) is stable.

## References

Podlubny, I: Fractional Differential Equations. Academic Press, New York (1993)

Agarwal, RP, Zhou, Y, He, YY: Existence of fractional neutral functional differential equations. Comput. Math. Appl.

**59**, 1095-1100 (2010)Zhou, XF, Hu, LG, Liu, S, Jiang, W: Stability criterion for a class of nonlinear fractional differential systems. Appl. Math. Lett.

**28**, 25-29 (2014)Zhou, XF, Huang, Q, Jiang, W: A note on the stability criterion for a class of nonlinear fractional differential systems. Appl. Math. Lett.

**31**, 16-17 (2014)Liu, KW, Jiang, W: Stability of nonlinear Caputo fractional differential equations. Appl. Math. Model.

**40**, 3919-3924 (2016)Jleli, M, Kirane, M, Samet, B: Lyapunov-type inequality for fractional partial differential equations. Appl. Math. Lett.

**66**, 30-39 (2017)Luchko, Y: Maximum principle for the generalized time-fractional diffusion equation. J. Math. Anal. Appl.

**351**, 218-223 (2009)Rawashdeh, MS, Jammal, HA: New approximate solutions to fractional nonlinear systems of partial differential equations using the FNDM. Adv. Differ. Equ.

**2016**, 235 (2016)Ferreira, M, Vieira, N: Fundamental solutions of the time fractional diffusion-wave and parabolic Dirac operators. J.Â Math. Anal. Appl.

**447**, 329-353 (2017)Morales-Delgado, VF, GÃ³mez-Aguilar, JF: Laplace homotopy analysis method for solving linear partial differential equations using a fractional derivative with and without kernel singular. Adv. Differ. Equ.

**2016**, 164 (2016)Liu, YJ: Existence and uniqueness of solutions for a class of initial value problems of fractional differential systems on half lines. Bull. Sci. Math.

**137**, 1048-1071 (2013)Kosmatov, N: Integral equations and initial value problems for nonlinear differential equations of fractional order. Nonlinear Anal.

**70**, 2521-2529 (2009)Agarwal, RP, Benchohra, M, Hamani, A: Boundary value problem for fractional differential equations. Georgian Math. J.

**16**, 401-411 (2009)Seemab, A, Rehman, M: A note on fractional Duhamelâ€™s principle and its application to a class of fractional partial differential equations. Appl. Math. Lett.

**64**, 8-14 (2017)Wang, JR, Zhang, Y: Nonlocal initial value problems for differential equations with Hilfer fractional derivative. Appl. Math. Comput.

**266**, 850-859 (2015)Zhu, B, Liu, L, Wu, Y: Local and global existence of mild solutions for a class of nonlinear fractional reaction-diffusion equations with delay. Appl. Math. Lett.

**61**, 73-79 (2016)Ouyang, Z: Existence and uniqueness of the solutions for a class of nonlinear fractional order partial differential equations with delay. Comput. Math. Appl.

**61**, 860-870 (2011)Umarov, S: On fractional Duhamelâ€™s principle and its applications. J. Differ. Equ.

**252**, 5217-5234 (2012)Simon, T: Comparing FrÃ©chet and positive stable laws (2014). arXiv:1310.1888v2 [math.PR]

Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006)

HÃ¶rmander, L: The Analysis of Linear Partial Differential Operators. Springer, Berlin (2005)

## Acknowledgements

This paper is supported by National Natural Science Foundation of China (11371027, 11471015 and 11601003), Natural Science Foundation of Anhui Province (1508085MA01, 1608085MA12 and 1708085MA15) and Program of Natural Science Research for Universities of Anhui Province (KJ2016A023).

## 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 in this article. They read and approved the final manuscript.

### Publisherâ€™s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

## 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

Wen, Y., Zhou, XF. & Wang, J. Stability and boundedness of solutions of the initial value problem for a class of time-fractional diffusion equations.
*Adv Differ Equ* **2017**, 230 (2017). https://doi.org/10.1186/s13662-017-1271-6

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/s13662-017-1271-6