Advances in Mathematical Physics

Volume 2015 (2015), Article ID 174156, 9 pages

http://dx.doi.org/10.1155/2015/174156

## On the Nonlinear Fractional Differential Equations with Caputo Sequential Fractional Derivative

^{1}School of Mathematical Sciences, South China Normal University, Guangzhou 510631, China^{2}School of Mathematics, South China University of Technology, Guangzhou 510641, China

Received 3 August 2015; Accepted 27 October 2015

Academic Editor: Ivan Avramidi

Copyright © 2015 Hailong Ye and Rui Huang. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### Abstract

The purpose of this paper is to investigate the existence of solutions to the following initial value problem for nonlinear fractional differential equation involving Caputo sequential fractional derivative , , , , where , are Caputo fractional derivatives, , , , and . Local existence of solutions is established by employing Schauder fixed point theorem. Then a growth condition imposed to guarantees not only the global existence of solutions on the interval , but also the fact that the intervals of existence of solutions with any fixed initial value can be extended to . Three illustrative examples are also presented. Existence results for initial value problems of ordinary differential equations with -Laplacian on the half-axis follow as a special case of our results.

#### 1. Introduction

This paper deals with the following initial value problem for nonlinear fractional differential equation involving Caputo sequential fractional derivative:where , are Caputo fractional derivatives, , , , and , and is continuous on , . When , the equation in (1) becomes a sequential fractional differential equation. Here, we follow the definition of sequential fractional derivative presented by Podlubny [1]:where the symbol () means the Riemann-Liouville derivative or the Caputo derivative. It is easy to see that (2) is a generalized expression presented by Miller and Ross in [2].

Fractional differential equations have been of great interest for the past three decades; see the monographs [1–4] and the papers of [5–8]. This is due to the intensive development of the theory of fractional calculus itself as well as its applications. Apart from diverse areas of pure mathematics, fractional differential equations can be used in modeling of various fields of science and engineering such as rheology, self-similar dynamical processes, porous media, fluid flows, viscoelasticity, electrochemistry, control, electromagnetic, and many other branches of science. For details, see [9–12] and the references therein.

Recently, we note that the investigation for the existence of solutions of sequential fractional differential equations associated with a variety of initial and boundary value conditions has attracted the considerable attention of researchers. Here, we mention some works on them. In [13, 14], the authors investigated a class of Riemann-Liouville sequential fractional differential equation and obtained existence, nonexistence, and asymptotic property of the solutions by some nonlinear analysis methods. In [15, 16], the authors considered the existence and uniqueness of the solutions for initial value problems involving Riemann-Liouville sequential fractional derivative by using monotone iterative method and fixed point method. As for sequential fractional differential equations associated with boundary value conditions, we refer the reader to [17–22]. For example, Chen and Tang [21] considered the existence of the solutions for the following Caputo sequential fractional differential equation: with -point boundary value conditions by the coincidence degree continuation theorem. After that, in 2015, Jiang [22] investigated the following Riemann-Liouville sequential fractional differential equations with -Laplacian at resonance: where , . By the extension of the continuous theorem in [23] and constructing suitable operators, they obtained the existence of solutions satisfied integral boundary value conditions.

In view of the facts that the Laplace transform of the Caputo derivative allows utilization of initial values of classical integer-order derivatives and that the Caputo derivative of a constant is 0, sequential fractional differential equations involving the Caputo fractional derivative have more clear physical interpretations than those involving the Riemann-Liouville fractional derivative (see [3, 4]).

To the best of our knowledge, there is no paper dealing with the existence of solutions of Caputo sequential fractional differential equations with initial value conditions. In our latest paper [24], by virtue of uniform Lipschitz continuity of on for every , we proved the existence and uniqueness of solutions of problem (1). Now, in this paper, we are concerned with the initial value problem (1) without uniform Lipschitz continuity of . By fractional Taylor expansion theorem, we first obtain an integral equation equivalent to the initial value problem (1), to which local existence of solutions is established utilizing Schauder fixed point theorem. Then a growth condition imposed to guarantees not only the global existence of solutions on the interval , but also the fact that the intervals of existence of solutions with any fixed initial value can be extended to . In addition, existence results for initial value problems of ordinary differential equations with -Laplacian on the half-axis follow as a special case of our results.

The paper is organized as follows. In Section 2, we present some necessary definitions and preliminary results that will be used in our discussions. The main results and their proofs are given in Section 3. In Section 4, we will give three examples to illustrate our results.

#### 2. Preliminaries

In this section, we introduce some basic definitions and notations (see the monographs [1, 2] for further details) and give several useful preliminary results which are used throughout this paper.

*Definition 1. *Let . The Riemann-Liouville fractional integral of a function of order is given by provided that the right-hand side is pointwise defined on . Here and in what follows is the Gamma function.

The fractional integration operator has that the following semigroup property holds for all , .

*Definition 2. *Let and let be the smallest integer that exceeds . The Riemann-Liouville fractional derivative of a continuous function of order is given by provided that the right-hand side is pointwise defined on .

Obviously, the Riemann-Liouville fractional differentiation is the left inverse of the Riemann-Liouville fractional integration for continuous function in the following sense: for . However, it is not the right inverse. More precisely, we have the following fractional Taylor expansion theorem.

Theorem 3. *Let . Assume that is such that is absolutely continuous. Then *

*Definition 4. *Let and let be the smallest integer that exceeds . The Caputo fractional derivative of a continuous function of order is given by provided that the right-hand side is pointwise defined on .

The definition of solutions of the initial value problem (1) is given as follows.

*Definition 5. *Let ; a function is called a solution of (1) on , if (i), , ;(ii) satisfies problem (1) on .

*Definition 6. *A function is called a solution of (1) on , if for any , is a solution of problem (1) on .

In order to study the existence of solutions of (1), we should transform problem (1) into an equivalent integral equation. We need the following two lemmas.

Lemma 7. *Let ; then one has *

Lemma 8. *Let . If is a continuous function defined on , then is continuous with respect to in .*

*Proof. *Let and take . For , we haveSince is continuous and bounded in the neighborhood of , we conclude thatwhere . Combining (13), (14) with (15), we arrive at In addition, it is easy to see that Therefore, is continuous with respect to in .

*Remark 9. *If , then is continuous on . According to Lemma 8, the function is also continuous in and .

Now we are ready to transform problem (1) into an equivalent integral equation. For the reader’s convenience, we list two special notations that will be used in the following paper: and for .

Proposition 10. *A function defined in is a solution of problem (1) if and only if it satisfies the following integral equation on :where *

*Proof. *First we prove the necessity. Let be a solution of problem (1) and define and then and . According to Definition 4 and Theorem 3, the differential equation of problem (1) can be transformed into the following form: Obviously, is absolutely continuous on . Combining with Theorem 3, we have That is, Applying Definition 4 and Theorem 3 again, we have Obviously, . Combining with Theorem 3, we have Therefore, satisfies the integral equation (19).

Next, we prove the sufficiency. Let be a solution of the integral equation (19). Combining with Definition 1, (19) reduces toFrom Remark 9, we see that and . That is, and . Applying the operator to both sides of (27), we obtain that Then we have and . By virtue of , we transform the above equation into the following form:Similarly, applying the operator to both sides of (29), we arrive at Therefore, is a solution of (1) on . Summing up, we complete the proof of Proposition 10.

Since can be chosen arbitrarily large in Proposition 10, according to Definition 6, we have the following result.

Corollary 11. *Let ; then is a solution of problem (1) if and only if it satisfies the integral equation (19) on .*

By Corollary 11, we obtain the following two existence results.

*Remark 12. *If , and for , then the constant function is a solution of problem (1).

*Remark 13. *If for , then problem (1) has a solution on .

The following fixed point lemma is the main tool in the proofs of our results.

Lemma 14 (Schauder fixed point theorem). *Let be a closed, convex, and nonempty subset of a Banach space , and let be a mapping such that is a relatively compact subset in . Then has at least one fixed point in .*

#### 3. Main Results

In this section, we will give and prove our main results in this paper.

Theorem 15. *For any fixed initial values and , there exists a sufficiently small constant such that problem (1) has a solution on .*

*Proof. *For any given positive constant , choose sufficiently small which will be determined later. Let Obviously, is a closed, convex, and nonempty subset of . On this set we define the operator : where According to Proposition 10, in what follows, it suffices to show that the operator has a fixed point in .

Firstly, we will show that for any . To this end we begin by noting that for any , by Remark 9. Then we obtain that . Furthermore, for we have where Now we can choose so small thatwhich means that ; that is, maps the set to itself.

Secondly, we will also show that the family of functions is a relatively compact set. That is to say, we need to show that is uniformly bounded and equicontinuous on . The uniform boundedness follows from the definition of . As for the equicontinuity, for and , we see that where is independent of , , and . Therefore is uniformly bounded and equicontinuous on , and thus is a relatively compact subset of . By Lemma 14 there exists such that and is a solution of problem (1) on . The proof is completed.

We have proved the local existence of solutions of problem (1) in Theorem 15. However, maximal intervals of existence of those solutions are not necessarily , which change according to initial values and . We give an example to illustrate it.

*Example 16. *Consider the following initial value problem for second-order ordinary differential equationwhere is a constant. When , it is easy to see that the function is a solution of (38) on and is the maximum interval of existence. When , however, the function is a solution of (38) on and is the maximum interval of existence.

Under certain growth condition on the nonlinearity in (1), we will show that any solutions obtained in Theorem 15 can be extended to the interval as solutions of problem (1).

Theorem 17. *Suppose that there exist constant and two nonnegative continuous functions , defined on such thatThen maximum intervals of existence of any solutions of (1) obtained in Theorem 15 are .*

*Proof. *Let be a solution of (1) on where . By Definition 6, it suffices to prove that for any fixed , there exists a function as a solution of (1) on such that for . The proof will be completed by applying Lemma 14. Choose which will be determined later and denote Obviously, is a closed, convex, and nonempty subset of . On this set we define the operator : where It is easy to see that for any . Further, by virtue of (40) we have where Since , that is, , we can choose so large that Then maps the set to itself. To apply Lemma 14, we also need to show that the family of functions is a relatively compact set. That is to say, we need to show that is uniformly bounded and equicontinuous on . The uniform boundedness follows from the definition of . As for the equicontinuity, we see that, for and , where is independent of , , and . Therefore is uniformly bounded and equicontinuous on , and thus is a relatively compact subset in . By Lemma 14 there exists such that . Noting that , we define From the definition of , we see that is a solution of (1) on , which completes the proof.

In a special case, an estimate of increasing rate for solutions as is made.

Corollary 18. *Suppose that is bounded on . Let be a solution of (1) on ; then .*

*Proof. *According to Corollary 11, we have Note that and we obtain where is independent of and . Since , we conclude that

#### 4. Example

To illustrate our main results, we will present three examples.

*Example 19. *Consider the initial value problem for sequential fractional differential equationwhere . Here , , , and . It is easy to see that for . According to Theorem 17, problem (53) has at least one positive solution on for any fixed . Let be a positive solution of (53) on . Since is bounded on when , we further have an estimate of increasing rate for by Corollary 18:

*Example 20. *Consider the initial value problem for nonlinear fractional differential equationwhere . Here , , and . Choosing , we see that for , where . According to Theorem 17, problem (56) has at least one solution on . Let be a solution of (56) on . By simple computation similar to that in the proof of Corollary 18, we further have an estimate of increasing rate for :

*Example 21. *Consider the initial value problems for ordinary differential equations with -Laplacianwhere . Here and . Choosing , we see that for . According to Theorem 17, problem (59) has at least one solution on . Let be a solution of (59) on . By simple computation similar to that in the proof of Corollary 18, we further have an estimate of increasing rate for :

#### Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

#### Acknowledgments

The second author was supported in part by National Natural Science Foundation of China (no. 11071099), CPSF (no. 2015M572301), and the Fundamental Research Funds for the Central Universities (no. 2015ZM191).

#### References

- I. Podlubny,
*Fractional Differential Equations*, Academic Press, New York, NY, USA, 1999. View at MathSciNet - K. S. Miller and B. Ross,
*An Introduction to the Fractional Calculus and Differential Equations*, John Wiley & Sons, New York, NY, USA, 1993. View at MathSciNet - A. A. Kilbas, H. M. Srivastava, and J. J. Trujillo,
*Theory and Applications of Fractional Differential Equations*, Elsevier Science B.V., Amsterdam, The Netherlands, 2006. View at MathSciNet - K. Diethelm,
*The Analysis of Fractional Differential Equations*, Springer, Berlin, Germany, 2010. View at Publisher · View at Google Scholar · View at MathSciNet - R. P. Agarwal, M. Benchohra, and S. Hamani, “A survey on existence results for boundary value problems of nonlinear fractional differential equations and inclusions,”
*Acta Applicandae Mathematicae*, vol. 109, no. 3, pp. 973–1033, 2010. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - Z. Zhang, F. Zeng, and G. E. Karniadakis, “Optimal error estimates of spectral petrov—galerkin and collocation methods for initial value problems of fractional differential equations,”
*SIAM Journal on Numerical Analysis*, vol. 53, no. 4, pp. 2074–2096, 2015. View at Publisher · View at Google Scholar · View at MathSciNet - J. Čermák and T. Kisela, “Stability properties of two-term fractional differential equations,”
*Nonlinear Dynamics*, vol. 80, no. 4, pp. 1673–1684, 2015. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - T. Jankowski, “Systems of nonlinear fractional differential equations,”
*Fractional Calculus and Applied Analysis*, vol. 18, no. 1, pp. 122–132, 2015. View at Publisher · View at Google Scholar · View at MathSciNet - K. Diethelm and A. D. Freed, “On the soluton of nonlinear fractional order differential equations used in the modeling of viscoplasticity,” in
*Scientific Computing in Chemical Engineering II. Computational Flluid Dynamics, Reaction Engineering and Molecular Porperties*, F. Keil, W. Mackens, H. Voss, and J. Werther, Eds., pp. 217–224, Springer, Heidelberg, Germany, 1999. View at Google Scholar - C. Giannantoni, “The problem of the initial conditions and their physical meaning in linear differential equations of fractional order,”
*Applied Mathematics and Computation*, vol. 141, no. 1, pp. 87–102, 2003. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - R. Hilfer,
*Applications of Fractional Calculus in Physics*, World Scientific, Singapore, 2000. View at Publisher · View at Google Scholar · View at MathSciNet - N. Laskin, “Fractional Schrödinger equation,”
*Physical Review E*, vol. 66, no. 5, Article ID 056108, pp. 1–7, 2002. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - D. Băleanu, O. G. Mustafa, and R. P. Agarwal, “On the solution set for a class of sequential fractional differential equations,”
*Journal of Physics. A. Mathematical and Theoretical*, vol. 43, no. 38, Article ID 385209, 2010. View at Publisher · View at Google Scholar · View at MathSciNet - D. Băleanu, O. G. Mustafa, and R. P. Agarwal, “On ${L}^{p}$-solutions for a class of sequential fractional differential equations,”
*Applied Mathematics and Computation*, vol. 218, no. 5, pp. 2074–2081, 2011. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - Q. Li, H. Su, and Z. Wei, “Existence and uniqueness result for a class of sequential fractional differential equations,”
*Journal of Applied Mathematics and Computing*, vol. 38, no. 1-2, pp. 641–652, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus - Z. Wei, Q. Li, and J. Che, “Initial value problems for fractional differential equations involving Riemann-Liouville sequential fractional derivative,”
*Journal of Mathematical Analysis and Applications*, vol. 367, no. 1, pp. 260–272, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus - C. Bai, “Impulsive periodic boundary value problems for fractional differential equation involving Riemann-Liouville sequential fractional derivative,”
*Journal of Mathematical Analysis and Applications*, vol. 384, no. 2, pp. 211–231, 2011. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - A. Alsaedi, S. K. Ntouyas, R. P. Agarwal, and B. Ahmad, “On Caputo type sequential fractional differential equations with nonlocal integral boundary conditions,”
*Advances in Difference Equations*, vol. 2015, article 33, 2015. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - B. Ahmad and S. K. Ntouyas, “Existence results for a coupled system of Caputo type sequential fractional differential equations with nonlocal integral boundary conditions,”
*Applied Mathematics and Computation*, vol. 266, pp. 615–622, 2015. View at Publisher · View at Google Scholar · View at MathSciNet - B. Ahmad and J. J. Nieto, “Sequential fractional differential equations with three-point boundary conditions,”
*Computers & Mathematics with Applications*, vol. 64, no. 10, pp. 3046–3052, 2012. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - Y. Chen and X. Tang, “Solvability of sequential fractional order multi-point boundary value problems at resonance,”
*Applied Mathematics and Computation*, vol. 218, no. 14, pp. 7638–7648, 2012. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - W. Jiang, “Solvability of fractional differential equations with
*p*-Laplacian at resonance,”*Applied Mathematics and Computation*, vol. 260, pp. 48–56, 2015. View at Publisher · View at Google Scholar · View at MathSciNet - W. Ge and J. Ren, “An extension of Mawhin's continuation theorem and its application to boundary value problems with a
*p*-Laplacain,”*Nonlinear Analysis, Theory, Methods and Applications*, vol. 58, no. 3-4, pp. 477–488, 2004. View at Publisher · View at Google Scholar · View at Scopus - H. Ye and R. Huang, “Initial value problem for nonlinear fractional differential equations with sequential fractional derivative,”
*Advances in Difference Equations*, vol. 2015, article 291, 2015. View at Publisher · View at Google Scholar · View at MathSciNet