# Comparison principles for fractional differential equations with the Caputo derivatives

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

## Keywords

Comparison principle Fractional differential equation Caputo derivatives Local existence Extremal solutions## MSC

26A33 26D10 34A12 34A40## 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, 2, 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.

*p*(\(0< p<1\)). Hadid et al. [4] presented the local existence and uniqueness of solutions of nonlinear differential equations. Lakshmikantham and Vatsala [5, 6, 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

*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

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

*p*th fractional integral of \(f(t)\) is defined by

### Definition 2

*n*. Then the

*p*th Caputo fractional derivative of \(f(t)\) is defined by

*n*th-order derivative of \(f(t)\).

### Definition 3

*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:

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

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

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.

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

### Example 1

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

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

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

*ϵ*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.

## Notes

### Acknowledgements

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

### Authors’ contributions

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

### Funding

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

### Competing interests

The authors declare that they have no competing interests.

## References

- 1.Oldham, K.B., Spanier, J.: The Fractional Calculus. Academic Press, New York (1974) zbMATHGoogle Scholar
- 2.Podlubny, I.: Fractional Differential Equations. Academic Press, San Diego (1999) zbMATHGoogle Scholar
- 3.Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Application of Fractional Differential Equation. Elsevier, Amsterdam (2006) zbMATHGoogle Scholar
- 4.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) MathSciNetzbMATHGoogle Scholar - 5.Lakshmikantham, V., Vatsala, A.S.: Theory of fractional differential inequalities and applications. Commun. Appl. Anal.
**11**, 395–402 (2007) MathSciNetzbMATHGoogle Scholar - 6.Lakshmikantham, V.: Theory of fractional functional differential equations. Nonlinear Anal., Theory Methods Appl.
**69**, 3337–3343 (2008) MathSciNetCrossRefzbMATHGoogle Scholar - 7.Lakshmikantham, V., Vatsala, A.S.: Basic theory of fractional differential equations. Nonlinear Anal., Theory Methods Appl.
**69**, 2677–2682 (2008) MathSciNetCrossRefzbMATHGoogle Scholar - 8.Denton, Z., Vatsala, A.S.: Fractional integral inequalities and applications. Comput. Math. Appl.
**59**, 1087–1094 (2010) MathSciNetCrossRefzbMATHGoogle Scholar - 9.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) MathSciNetCrossRefGoogle Scholar - 10.Yu, C., Gao, G.: Existence of fractional differential equations. J. Math. Anal. Appl.
**310**, 26–29 (2005) MathSciNetCrossRefzbMATHGoogle Scholar - 11.Yakar, A.: Some generalizations of comparison results for fractional differential equations. Comput. Math. Appl.
**62**, 3215–3220 (2011) MathSciNetCrossRefzbMATHGoogle Scholar - 12.Vasundhara Devi, J., Mc Rae, F.A., Drici, Z.: Variational Lyapunov method for fractional differential equations. Comput. Math. Appl.
**64**, 2982–2989 (2012) MathSciNetCrossRefzbMATHGoogle Scholar - 13.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) MathSciNetCrossRefzbMATHGoogle Scholar - 14.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) MathSciNetCrossRefzbMATHGoogle Scholar - 15.Wang, F.: Existence and uniqueness of solutions for a nonlinear fractional differential equation. J. Appl. Math. Comput.
**39**, 53–67 (2012) MathSciNetCrossRefzbMATHGoogle Scholar - 16.Kosmatov, N.: Integral equations and initial value problems for nonlinear differential equations of fractional order. Nonlinear Anal., Theory Methods Appl.
**70**, 2521–2529 (2009) MathSciNetCrossRefzbMATHGoogle Scholar - 17.Hu, T., Qian, D., Li, C.: Comparison theorem of fractional differential equations. Commun. Appl. Math. Comput. Sci.
**23**, 97–103 (2009) MathSciNetGoogle Scholar - 18.Xu, Y.: Comparison principle and solution bound of fractional differential equations. In: Proceedings of the ASME IDET-CIE Conference Boston, Massachusetts, USA (2015) Google Scholar
- 19.Yu, H., Bao, S., Liu, X.: A new comparison theorem of fractional differential equations. Math. Pract. Theory
**46**, 1–8 (2016) MathSciNetGoogle Scholar

## Copyright information

**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.