- Research
- Open access
- Published:

# Comparison principles for fractional differential equations with the Caputo derivatives

*Advances in Difference Equations*
**volumeÂ 2018**, ArticleÂ number:Â 237 (2018)

## Abstract

In this paper, we deal with comparison principles for fractional differential equations involving the Caputo derivatives of order *p* with \(0\leq n-1< p\leq n\). First, we present comparison results with strict inequalities for fractional differential equations with the Caputo derivatives. Then we investigate local existence and extremal solutions for fractional differential equations with the Caputo derivatives. Finally, we consider comparison results with nonstrict inequalities for fractional differential equations with the Caputo derivatives.

## 1 Introduction

The theory of fractional differential equations with the Caputo derivatives greatly attracted the attention of many scholars for their wide applications to various fields, such as in physics, engineering, electrochemistry, and so on; see [1â€“3] and related references therein. The mathematical modeling and simulation of systems and processes based on the fractional derivatives of the Caputo type describing their properties naturally lead to the necessity to solve these fractional differential equations. Analytic solutions are usually provided for some special fractional differential equations with the Caputo derivatives. There is a growing interest in the existence theory and properties of solutions and numerical treatments for fractional differential equations. The comparison principle plays an important role in the study of the numerical solutions and properties of fractional differential equations.

Many researchers studied the fractional differential equations involving the Riemannâ€“Liouville derivatives of order *p* (\(0< p<1\)). Hadid et al. [4] presented the local existence and uniqueness of solutions of nonlinear differential equations. Lakshmikantham and Vatsala [5â€“7] investigated some quantitative properties for fractional differential equations with the Riemannâ€“Liouville derivatives by employing differential and integral inequalities. They investigated the comparison theorem for Riemannâ€“Liouville-type fractional differential inequalities (\(0< p<1\)) of the form

where \(D^{p}v(t)\) represents the Riemannâ€“Liouville derivative of \(v(t)\) of order *p*. When one of the inequalities is strict, we have \(v(t)< w(t)\) if \(v(0)< w(0)\). If both inequalities are nonstrict, then \(v(t)\leq w(t)\) if \(v(0)\leq w(0)\) and \(LT^{p}\leq\frac{1}{\Gamma (1-p)}\), where *L* is a Lipschitz constant satisfying \(|f(t,x)-f(t,y)|\leq L|x-y|\). Denton and Vatsala [8] further developed these properties for fractional integral equations of the form

where \(w_{a}=\Gamma(q)w(t)(t-a)^{1-p}|_{t=a}\) and \(v_{a}=\Gamma (q)v(t)(t-a)^{1-p}|_{t=a}\). Then if one of inequalities is strict, then \(v_{a}< w_{a}\) implies \(v(t)< w(t)\). The other conclusion \(v(t)\leq w(t)\) holds if \(v_{a}\leq w_{a}\) and \(f(t,x)\) satisfies the right-sided Lipschitz condition. Meanwhile, they presented the Gronwall inequalities for the Riemannâ€“Liouville-type fractional differential equations. Many other researches can be seen in [9â€“16] and related references therein.

However, for the Riemannâ€“Liouville case, one would have to specify the values of certain fractional derivatives (and integrals) of the unknown solution at the initial point. The Riemannâ€“Liouville derivative is more commonly applied in pure mathematics. The Caputo derivative can just overcome these defects, since the initial values \(x(0),x'(0),\ldots , x^{(n-1)}(0)\) are specified and have a well-understood physical meaning. In this case, the comparison principles for Caputo-type fractional differential equations are important for the study of properties of their solutions. As we know, the work on comparison principles for fractional differential equations involving the Caputo derivative of order *p* (\(0\leq n-1< p\leq n\)) is yet to be initiated. In this paper, we present comparison principles for fractional differential equations involving the Caputo derivatives of order *p* (\(n-1< p\leq n\)) under strict and nonstrict inequalities and investigate the existence of extremal solutions to fractional differential equations with the Caputo derivatives.

The remainder of this paper is organized as follows. In Sect.Â 2, we recall two types of fractional derivatives with some properties. In Sect.Â 3, we present comparison results under strict inequality conditions for the fractional differential equations involving the Caputo derivatives of order *p* (\(0\leq n-1< p\leq n\)) with initial conditions. In Sect.Â 4, we investigate the local existence theorem and extremal solutions to fractional differential equations involving the Caputo derivatives with initial value conditions. In Sect.Â 5, we consider the comparison principles under nonstrict inequality conditions for fractional differential equations with the Caputo derivatives by employing the theorems proposed in the previous sections.

## 2 Preliminaries

In this section, we recall two types of fractional order derivatives of a function with some properties.

### Definition 1

For \(p>0\) and \(f\in C[a,b]\). The *p*th fractional integral of \(f(t)\) is defined by

### Definition 2

Let \(0\leq n-1< p\leq n\) and \(f:[a,b]\rightarrow R\) be a differentiable function of at least order *n*. Then the *p*th Caputo fractional derivative of \(f(t)\) is defined by

where \(f^{(n)}(t)\) is the *n*th-order derivative of \(f(t)\).

### Definition 3

Let \(0< p< 1\) and \(f\in C[a,b]\). The *p*th Riemannâ€“Liouville fractional derivative of \(f(t)\) is defined by

Now we give some properties of the fractional integral and Caputo and Riemannâ€“Liouville fractional derivatives:

(i) These two types of fractional derivatives satisfies (\(0< p<1\)) are related as follows:

(ii) The fractional derivative and the fractional integral are related as follows (\(0\leq n-1< p\leq n\)):

(iii) Integer-order and fractional derivatives satisfy the equality (\(p>0\))

### Remark 1

We abbreviate \(I_{0+}^{p}\), \(D_{0+}^{p}\), and \({}^{c}D_{0+}^{p}\) as \(I^{p}\), \(D^{p}\), and \({}^{c}D^{p}\), respectively.

## 3 Comparison principles with strict inequalities

Consider the following initial value problem (IVP) with Caputo-type fractional differential equation:

where \(f\in C([0,T]\times R,R)\) and \(0\leq n-1< p\leq n\). The IVP (3) is equivalent to the following Volterra fractional integral equation:

We need the following useful lemma.

### Lemma 1

*Let*
\(m(t): R_{+} \rightarrow R\)
*be locally Lipschitz continuous such that*, *for*
\(t_{1}\in(0,+\infty)\),

*Then*
\(D^{p}m(t_{1})\geq0\)
*for*
\(p\in(0,1)\).

The result of LemmaÂ 1 was presented in [5] for a locally HÃ¶lder continuous function \(m(t)\). However, the proof in [5] is wrong since it requires the condition that \(\lambda+p-1>0\), where *Î»* is the HÃ¶lder constant for \(m(t)\), but \(\lambda+p-1>0\) is not always true for \(p\in(0,1)\). If the HÃ¶lder continuity is replaced by the Lipschitz continuity, that is, \(\lambda=1\), then \(\lambda+p-1>0\), and then the proof of LemmaÂ 1 follows from [5].

Now, we present a comparison principle for fractional differential equation with the Caputo derivative under strict inequalities when \(p\in(0,1)\).

### Theorem 1

*Assume that*
\(f(t,x)\)
*and*
\(F(t,x)\)
*are two continuous functions defined on*
\(G= [0,T]\times R\)
*satisfying the inequality*

*Suppose that*
\(x=\varphi(t)\)
*and*
\(x=\phi(t)\)
*are solutions of the following initial value problems* (\(0< p<1\)):

*respectively*. *Then we have*

### Proof

Denote \(\psi(t)= \varphi(t)-\phi(t)\), \(t\in[0,T]\). We have

Then \({}^{c}D^{p}\psi(t)=D^{p}\psi(t)\), and there exists \(\sigma>0\) such that \(\psi(t)<0\) for \(0< t<\sigma\). Suppose that inequality (6) is incorrect. Then there exists at least one \(t_{1}\) (>0) such that \(\psi(t_{1})=0\). Denote

Then \(\psi(\beta)=0\) and \(\psi(t)<0\) for \(0< t<\beta\).

Since \({}^{c}D^{p} \psi(t)=f(t,x)-F(t,x)\), \(t\in[0,T]\), and \(f(t,x)\), \(F(t,x)\) are continuous in *G*, it follows that \(\psi'(t)\) is a locally bounded function by DefinitionÂ 2. Therefore \(\psi(t)\) is locally Lipschitz continuous in \(0\leq t\leq T\). Thus \(D^{p}\psi(\beta )\geq0\) by LemmaÂ 1.

On the other hand, since \(\psi(\beta)=0\), denote \(\gamma= \varphi (\beta)=\phi(\beta)\). Then

It is obvious that (7) is in contradiction with (5). Hence (6) is proved.â€ƒâ–¡

### Remark 2

When \(p=1\), TheoremÂ 1 is also true as the well-known comparison theorem for ordinary differential equations with initial value condition.

Next, we extend TheoremÂ 1 to the case for fractional differential equations with the Caputo derivative of order \(n-1< p\leq n\) with initial value conditions by employing TheoremÂ 1.

### Theorem 2

*Under assumption* (5), *suppose that*
\(x=\varphi(t)\)
*and*
\(x=\phi (t)\)
*are solutions of the following initial value problems* (\(1\leq n-1< p\leq n\)):

*respectively*. *Then*
\(\varphi(t)<\phi(t)\)
*for*
\(t\in(0,T]\).

### Proof

Consider \({}^{c}D^{p}x(t)= {}^{c}D^{q}D^{n-1}x(t)\) with \(q=p-n+1\in(0,1]\). Denote \(y(t)=D^{n-1}x(t)\), \(t\in[0,T]\). Then the IVPs (\(E_{3}\)) and (\(E_{4}\)) can be transformed into initial value problems of order \(0< q\leq1\). Indeed, we have

Denote

By inequality (5) we have \(\hat{f}(t,y(t))<\hat{F}(t,y(t))\) for \(t\in[0,T]\). The original initial value problems (\(E_{3}\)) and (\(E_{4}\)) can be written as

Assume that \(\hat{\varphi}(t)\) and \(\hat{\phi}(t)\) are solutions of (\(\hat{E_{3}}\)) and (\(\hat{E_{4}}\)), respectively. Then by TheoremÂ 1 and RemarkÂ 2 we have \(\hat{\varphi}(t)<\hat{\phi}(t)\) for \(t\in(0,T]\).

Since \(x(t)\) and \(y(t)\) satisfy equation (9), we obtain

which finishes the proof.â€ƒâ–¡

### Example 1

Assume that \(1 < p \leq2\) and that \(\varphi(t)\) and \(\phi(t)\) are solutions to the two initial value problems

respectively, where \(t\geq0\). Then we have \(x< t+x\) for \(t>0\), and

where \(E_{\alpha,\beta}(z)=\sum_{k=0}^{\infty}\frac{z^{k}}{\Gamma(k\alpha +\beta)}\). We know that \(\varphi(t)<\phi(t)\) for \(t>0\). This is consistent with TheoremÂ 2.

### Remark 3

Some researchers [17, 18] attempted to give similar comparison principles for fractional differential equations with the Caputo derivatives by the method of the integral mean value theorem, which, however, does not guarantee the correctness of their proofs. Yu et al. [19] presented comparison theorems for fractional differential equations involving the Riemannâ€“Liouville and Caputo derivatives of order \(0< p<1\) with Lipschitz condition \(f(t,u)-f(t,v)\leq L(u-v)\) for \(u>v\).

## 4 Local existence and extremal solutions

In this section, we investigate the existence and extremal solutions for IVP (3).

### Theorem 3

*Assume that*
\(f\in C[R_{1}, R]\), *where*

*and there exists*
\(M>0\)
*such that*
\(|f(t,x)|\leq M\)
*in*
\(R_{1}\). *Then there exists at least one solution for IVP* (3) *in*
\(t\in[0,T]\).

### Proof

Let \(\delta>0\), and let \(x_{0}(t)\) be a continuous function in the interval \([-\delta,0]\) such that \(x_{0}^{(k)}(0)=x_{k}\), \(k=0,1,\ldots,n-1\), \(\vert x_{0}(t)-\sum_{k=0}^{n-1}\frac{x_{k}t^{k}}{\Gamma (k+1)} \vert \leq K\) for \(t\in[-\delta,0]\), and \(|{}^{c}D^{p}x_{0}(t)|\leq M\). For \(0\leq\eta\leq\delta\), we define \(x_{\eta}(t)=x_{0}(t)\) in \([-\delta,0]\) and

for \(t\in[0,\alpha_{1}]\), where \(\alpha_{1}=\min \{\alpha, \eta \} \) and \(\alpha=\min ( [\frac{K}{M}\Gamma(p+1) ]^{\frac {1}{p}},T )\). Then we observe that \({}^{c}D^{p}x_{\eta}(t)\) exists and

because of the choice of \(\alpha_{1}\). If \(\alpha_{1}<\alpha\), then we can employ (10) to extend \(x_{\eta}(t)\) as a continuously fractional differentiable function on \([0,\alpha_{2}]\), where \(\alpha_{2}=\min(\alpha ,2\eta)\). Continuing this process, we can define \(x_{\eta}(t)\) over \([0,\alpha]\) so that

for \(t\in[0, \alpha]\). Furthermore, for \(0\leq t_{1}< t_{2}\leq\alpha\), we have

Then there exists \(M_{1}>0\) such that

provided that \(|t_{2}-t_{1}|<\delta_{1}=\min \{\delta_{1}', \frac{\epsilon}{3M_{1}}, [\frac{\epsilon}{6M_{1}}]^{\frac{1}{p}} \}\), where \(\delta_{1}'>0\) is such that \(|t_{2}^{p}-t_{1}^{p}|<\frac{\epsilon}{3M_{1}}\) for \(|t_{2}-t_{1}|<\delta _{1}'\), since \(g(t)=t^{p}\), \(t\in[0,\alpha]\), is uniformly continuous. Then we find that the family \(\{x_{\eta}(t)\}\) consists of a series of equicontinuous and uniformly bounded functions. The Ascoliâ€“ArzelÃ theorem shows the existence of a sequence \(\{\eta_{m}\}\) such that \(\eta _{1}>\eta_{2}>\cdots>\eta_{m}\rightarrow0\) as \(m\rightarrow\infty\) and \(x(t)=\lim_{m\rightarrow\infty}x_{\eta_{m}}(t-\eta_{m})\) exists uniformly in \([0, \alpha]\). Since \(f(t,x)\) is continuous, we obtain that \(f(t,x_{\eta_{m}}(t-\eta_{m}))\) tends uniformly to \(f(t,x(t))\) as \(m\rightarrow\infty\). Hence, term-by-term operations of (10) with \(\eta=\eta_{m}\) and \(\alpha_{1}=\alpha_{m}\) yield

for \(t\in[0,\alpha]\). Thus \(x(t)\) is a solution of IVP (3) for \(t\in[0,\alpha]\). By the extension method (10) there exists at least one solution for IVP (3) in the interval \([0,T]\). Therefore the theorem is proved.â€ƒâ–¡

Employing TheoremÂ 2 and TheoremÂ 3 synthetically, we present the existence of extremal solutions for IVP (3).

### Theorem 4

*Under the assumptions of TheoremÂ *3, *there exist extremal solutions for the IVP* (3) *in the interval*
\(t\in[0,T]\).

### Proof

Consider the fractional differential equation with initial value conditions

where \(\epsilon_{m}>0\) (\(m=1,2,\ldots \)), and \(\epsilon_{m}\) decreases and tends to 0 as \(m\rightarrow\infty\). Then by TheoremÂ 3 there exists at least one solution \(x=\varphi_{m}(t)\) for the initial value problem (\(E_{m}\)) in \(0\leq t\leq T\):

Moreover, there exists \(M_{2}>0\) such that \(\varphi_{m}(t)\) satisfies

for \(0\leq t\leq T\). For \(0\leq t_{1}< t_{2}\leq T\), we have

Then there exists \(M_{3}>0\) such that

provided that \(|t_{2}-t_{1}|<\delta_{2}=\min \{\delta_{2}', \frac{1}{3M_{3}}, [\frac{\epsilon}{6M_{3}}]^{\frac{1}{p}} \}\), where \(\delta_{2}'>0\) is such that \(|t_{2}^{p}-t_{1}^{p}|<\frac{\epsilon}{3M_{2}}\) for \(|t_{2}-t_{1}|\leq \delta_{2}'\), since \(g(t)=t^{p}\), \(t\in[0,\alpha]\), is uniformly continuous. Thus the sequence \(\{\varphi_{m}(t)\}\) consists of equicontinuous and uniformly bounded functions on the interval \(0\leq t\leq T\). Then by the Ascoliâ€“ArzelÃ theorem the sequence \(\{\varphi _{m}(t)\}\) has a uniformly convergent subsequence \(\{\varphi_{m_{k}}(t)\}\). Then denote

Therefore \(\Phi(t)\) is a solution of IVP (3).

On the other hand, since \(\epsilon_{m}>0\) and \(f(t,x(t))< f(t,x(t))+\epsilon_{m}\), \(\Phi(t)\) is the maximal solution of IVP (3) by TheoremÂ 2. In a similar way, just replacing \(\epsilon_{m}\) with \(-\epsilon _{m}\), we observe that there exists a minimal solution of IVP (3). Therefore, the proof is completed.â€ƒâ–¡

## 5 Comparison principles with nonstrict inequalities

In this section, we present comparison principles with nonstrict inequality condition for fractional differential equations with the Caputo derivatives of order *p* with \(0\leq n-1< p\leq n\).

### Theorem 5

*Assume that*
\(f(t,x)\)
*and*
\(F(t,x)\)
*are two continuous functions defined on*
\(G= [0,T]\times R\)
*and satisfying the inequality*

*Suppose that*
\(x=\phi(t), \phi_{m}(t)\), *and*
\(\phi_{M}(t)\)
*are the solution*, *minimal solution*, *and maximal solution of the IVP* (\(E_{3}\)) *and that*
\(x=\psi(t), \psi_{m}(t)\), *and*
\(\psi_{M}(t)\)
*are the solution*, *minimal solution*, *and maximal solution of the IVP* (\(E_{4}\)), *respectively*. *Then*

*for*
\(t\in[0,T]\).

### Proof

Consider the initial value problem

where \(\epsilon>0\) is a small positive number. By TheoremÂ 3 the IVP (\(E_{\epsilon}\)) has at least one solution. Denote it by \(\psi (t,\epsilon)\). Since \(f(t,x)\leq F(t,x)< F(t,x)+\epsilon\), \(t\in[0,T]\), by TheoremÂ 2 we have \(\phi(t)<\psi(t,\epsilon)\) for \(t\in(0,T]\). Since \(\lim_{\epsilon\rightarrow0}\psi(t,\epsilon)=\psi_{M}(t)\) uniformly on \(0\leq t\leq T\), we obtain

Just replacing *Ïµ* with âˆ’*Ïµ*, the other inequality is proved similarly. Thus, the proof is completed.â€ƒâ–¡

## 6 Conclusion

In this paper, we obtained comparison principles for fractional differential equations with the Caputo derivatives of order *p* (\(0\leq n-1< p\leq n\)) under strict and nonstrict inequalities. Then the local existence and extremal solutions of fractional differential equations involving the Caputo derivatives were proposed. The results presented in this paper may be applied for further study of the quantitative properties of fractional differential equations with the Caputo derivatives.

## References

Oldham, K.B., Spanier, J.: The Fractional Calculus. Academic Press, New York (1974)

Podlubny, I.: Fractional Differential Equations. Academic Press, San Diego (1999)

Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Application of Fractional Differential Equation. Elsevier, Amsterdam (2006)

Hadid, S.B., Taâ€™ani, A.A., Momani, S.M.: Some existence theorems on differential equations of generalized order through a fixed-point theorem. J. Fract. Calc.

**9**, 45â€“49 (1996)Lakshmikantham, V., Vatsala, A.S.: Theory of fractional differential inequalities and applications. Commun. Appl. Anal.

**11**, 395â€“402 (2007)Lakshmikantham, V.: Theory of fractional functional differential equations. Nonlinear Anal., Theory Methods Appl.

**69**, 3337â€“3343 (2008)Lakshmikantham, V., Vatsala, A.S.: Basic theory of fractional differential equations. Nonlinear Anal., Theory Methods Appl.

**69**, 2677â€“2682 (2008)Denton, Z., Vatsala, A.S.: Fractional integral inequalities and applications. Comput. Math. Appl.

**59**, 1087â€“1094 (2010)Denton, Z., RamÃrez, J.D.: Existence of minimal and maximal solutions to RL fractional integro-differential initial value problem. Opusc. Math.

**37**, 705â€“724 (2017)Yu, C., Gao, G.: Existence of fractional differential equations. J. Math. Anal. Appl.

**310**, 26â€“29 (2005)Yakar, A.: Some generalizations of comparison results for fractional differential equations. Comput. Math. Appl.

**62**, 3215â€“3220 (2011)Vasundhara Devi, J., Mc Rae, F.A., Drici, Z.: Variational Lyapunov method for fractional differential equations. Comput. Math. Appl.

**64**, 2982â€“2989 (2012)Ibrahim, R.W., Momani, S.: On the existence and uniqueness of solutions of a class of fractional differential equations. J. Math. Anal. Appl.

**334**, 1â€“10 (2007)Deng, J., Ma, L.: Existence and uniqueness of solutions of initial value problems for nonlinear fractional differential equations. Appl. Math. Lett.

**23**, 676â€“680 (2010)Wang, F.: Existence and uniqueness of solutions for a nonlinear fractional differential equation. J. Appl. Math. Comput.

**39**, 53â€“67 (2012)Kosmatov, N.: Integral equations and initial value problems for nonlinear differential equations of fractional order. Nonlinear Anal., Theory Methods Appl.

**70**, 2521â€“2529 (2009)Hu, T., Qian, D., Li, C.: Comparison theorem of fractional differential equations. Commun. Appl. Math. Comput. Sci.

**23**, 97â€“103 (2009)Xu, Y.: Comparison principle and solution bound of fractional differential equations. In: Proceedings of the ASME IDET-CIE Conference Boston, Massachusetts, USA (2015)

Yu, H., Bao, S., Liu, X.: A new comparison theorem of fractional differential equations. Math. Pract. Theory

**46**, 1â€“8 (2016)

## Acknowledgements

The authors are thankful to the reviewers for their useful corrections and suggestions, which improved the quality of this paper.

## Funding

This work is supported by National Natural Science Foundation of China (Grant No. 61673011).

## Author information

### Authors and Affiliations

### Contributions

Both authors contributed equally and significantly in writing this paper. Both authors read and approved the final manuscript.

### Corresponding author

## Ethics declarations

### Competing interests

The authors declare that they have no competing interests.

## Additional information

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

Lu, Z., Zhu, Y. Comparison principles for fractional differential equations with the Caputo derivatives.
*Adv Differ Equ* **2018**, 237 (2018). https://doi.org/10.1186/s13662-018-1691-y

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/s13662-018-1691-y