- Research
- Open access
- Published:

# On a nonlinear fractional differential equation on partially ordered metric spaces

*Advances in Difference Equations*
**volume 2013**, Article number: 83 (2013)

## Abstract

In this paper, by using a fixed point result on ordered metric spaces, we prove the existence and uniqueness of a solution of the nonlinear fractional differential equation {D}^{\alpha}u(t)=f(t,u(t)) (t\in I=[0,T], 0<\alpha <1) *via* the periodic boundary condition u(0)=0, where T>0 and f:I\times \mathbb{R}\to \mathbb{R} is a continuous increasing function and {}^{c}D^{\alpha} denotes the Caputo fractional derivative of order *α*. Also, we solve it by using the anti-periodic boundary conditions u(0)+u(T)=0 with u(0)\le 0 and u(0)+\mu u(T)=0 with u(0)\le 0 and \mu >0 separately.

## 1 Introduction

Fractional calculus started to be used intensively as an important tool in several branches of science and engineering (see, for example, [1–20] and the references therein). This type of calculus has an important impact in describing the dynamics of complex phenomena [1–4, 17]. During the last few years, some new experimental confirmations have appeared in the literature in addition to the ones already established in chemistry, engineering, biology, physics, *etc.* As a result, the fractional differential equations were investigated intensively during the last few years. A special attention was devoted to the solvability of linear initial fractional differential equations on terms of special functions. On the other hand, the fixed point theory has wide applications in several fields (see Ref. [21] and the references therein) and it is continuously developing. Having these above mentioned things in mind, in this manuscript we have the main aim to prove the existence and uniqueness of a nonlinear fractional differential equation of Caputo type with the help of results obtained within ordered metric spaces. The paper is organized as follows. After the introductory part, in the second section, we present some of the basic tools needed in the rest of the manuscript. The third section is devoted to the main result as well as to the illustrative examples. Finally, the manuscript ends with our conclusions.

## 2 Basic tools

Recall that for a continuous function f:[0,\mathrm{\infty})\to \mathbb{R}, the Caputo derivative of fractional order *α* is defined as follows.

**Definition 2.1** The Caputo fractional derivative of order *α* for a continuous function *f* is defined by

**Definition 2.2** The Riemann-Liouville fractional integral of order *α* is defined by

whenever the integral exists (see, for example, [2, 3] and [18]).

**Theorem 2.1** *Let* (M,\u2aaf,d) *be a complete ordered metric space*, *and let* *f* *be an increasing self*-*map on* *M*. *Suppose that there exist* {x}_{0}\in M *and* \beta \in \mathrm{\Omega} *such that* {x}_{0}\u2aaff({x}_{0}) *and* d(f(x),f(y))\le \beta (d(x,y))d(x,y) *for all* x,y\in M *with* x\u2ab0y. *Assume that either* *f* *is continuous or* *M* *has the property that if* \{{x}_{n}\} *is an increasing sequence and* {x}_{n}\to x *for some* x\in M, *then* {x}_{n}\u2aafx *for all* *n*. *Also*, *suppose that for each* x,y\in M, *there exists* z\in M *such that* *z* *is comparable with* *x* *and* *y*. *Then* *f* *has a unique fixed point*.

## 3 Main result

We study the existence and uniqueness of a solution for fractional differential equations with two types of boundary conditions.

### 3.1 Existence results for a nonlinear fractional differential equation in ordered metric spaces

Consider the nonlinear fractional differential equation:

*via* the boundary condition u(0)=0, where T>0 and f:I\times \mathbb{R}\to \mathbb{R} is a continuous function. A function *β* is called a lower solution of the fractional boundary value problem whenever \beta \in C[0,T] and *β* satisfies {}^{c}D^{\alpha}\beta (t)\le f(t,\beta (t)) and \beta (0)\le 0. Let Ω denote the class of the functions \beta :[0,\mathrm{\infty})\to [0,1) satisfying the condition \beta ({t}_{n})\to 1 implies {t}_{n}\to 0. Also, let Φ denote the class of increasing functions \varphi :[0,\mathrm{\infty})\to [0,\mathrm{\infty}) such that \varphi (x)<x for all x>0 and \frac{\varphi (x)}{x}\in \mathrm{\Omega}. By using the following result of [21], we study the existence of solution for the above nonlinear fractional differential equation. One can compare it with the relation (6) in [13]. This nonlinear fractional differential equation has been solved for 3<\alpha \le 4 and different boundary value conditions [22]. Also, our technique in this section was used in [23] for solving another nonlinear fractional differential equation.

**Lemma 3.1** *Suppose that* 0<\alpha <1, t\in I=[0,T] *and* T>0. *Then the problem* {}^{c}D^{\alpha}u(t)=f(t,u(t)) *with the boundary value condition* u(0)=0 *is equivalent to the fractional integral equation*

*where*

*Proof* From {}^{c}D^{\alpha}u(t)=f(t,u(t)), 0<\alpha <1 and boundary conditions, one can see that u(t)-u(0)={I}^{\alpha}f(t,u(t)). By the definition of the fractional integral, we get

Thus,

This completes the proof. □

Now, we are ready to state and prove our main result.

**Theorem 3.2** *Consider the nonlinear fractional differential equation* {}^{c}D^{\alpha}u(t)=f(t,u(t)) (t\in I=[0,T], 0<\alpha <1) *via the boundary condition* u(0)=0, *where* T>0, \varphi \in \mathrm{\Phi}, f:I\times \mathbb{R}\to \mathbb{R} *is an increasing continuous function and* 0\le f(t,y)-f(t,x)\le \frac{\mathrm{\Gamma}(\alpha +1)}{{T}^{\alpha}}\varphi (y-x) *for all* x,y\in \mathbb{R} *with* x\le y. *If there exists a lower solution for the problem*, *then the problem has a unique solution*.

*Proof* Note that by using Lemma 3.1, the problem is equivalent to the integral equation u(t)={\int}_{0}^{T}G(t,s)f(s,u(s))\phantom{\rule{0.2em}{0ex}}ds, where

Define F:C(I,\mathbb{R})\to C(I,\mathbb{R}) by (Fu)(t)={\int}_{0}^{T}G(t,s)f(s,u(s))\phantom{\rule{0.2em}{0ex}}ds. Note that u\in C(I,\mathbb{R}) is a fixed point of *F* if and only if *u* is a solution of the problem. Let M=C(I,\mathbb{R}). Define the order ≤ on *M* by f\le g if and only if f(t)\le g(t) for all t\in I. Then (M,\le ,d) is a complete ordered metric space, where d(f,g)={sup}_{t\in I}|f(t)-g(t)|. It is easy to check that *F* is an increasing self-map. Thus,

for all u\ge v. Since the function *ϕ* is increasing and u\ge v, we get

and so

for all u\u2ab0v. Now, let *β* be a lower solution for the problem. We show that \beta \u2aafF(\beta ). Since *β* is a lower solution for the problem, we get {I}^{\alpha}{D}^{\alpha}\beta (t)\le {I}^{\alpha}f(t,\beta (t)) and u(0)\le 0, and so

for all t\in I. Since u(0)\le 0, we have \beta (t)\le {\int}_{0}^{t}\frac{{(t-s)}^{\alpha -1}}{\mathrm{\Gamma}(\alpha )}f(s,\beta (s))\phantom{\rule{0.2em}{0ex}}ds. Thus, we obtain \beta (t)\le F(\beta )(t) for all t\in I. Thus, \beta \le F(\beta ). Note that the space (M,\le ,d) has the property that if \{{f}_{n}\} is an increasing sequence and {f}_{n}\to f for some f\in M, then {f}_{n}\u2aaff for all *n*. Therefore by using Theorem 2.1, *F* has a unique fixed point. □

**Example 3.1**

Consider the nonlinear fractional differential equation

*via* the periodic boundary condition u(0)=0, where \varphi (t)=\frac{4}{5}t and the function f:I\times \mathbb{R}\to \mathbb{R} is defined by f(t,u(t))=\frac{1}{9}(t+u(t)). Note that

for all x,y\in C([0,\frac{\pi}{2}],\mathbb{R}) with x\le y. Then, by using Theorem 3.2, the existence of a lower solution for the problem provides the existence of a unique solution.

**Example 3.2** Let m\ge 1 be given. Consider the nonlinear fractional differential equation

*via* the boundary condition u(0)=0, where \varphi (t)=\frac{4}{5}t and the function f:I\times \mathbb{R}\to \mathbb{R} is defined by f(t,u(t))={t}^{m}+\frac{1}{8}u(t). Note that

for all x,y\in C([0,1],\mathbb{R}) with x\le y. Then, by using Theorem 3.2, the existence of a lower solution for the problem provides the existence of a unique solution.

### 3.2 Existence result for a nonlinear fractional differential equation with the anti-periodic boundary condition

In this section, we solve the nonlinear fractional differential equation

*via* the boundary condition u(0)+u(T)=0 with u(0)\le 0, where T>0 and f:I\times \mathbb{R}\to \mathbb{R} is an increasing continuous function and f\le 0.

**Lemma 3.3** *Suppose that* 0<\alpha <1, t\in I=[0,T] *and* T>0. *Then the problem* {}^{c}D^{\alpha}u(t)=f(t,u(t)) *with the boundary value condition* u(0)+u(T)=0 *with* u(0)\le 0 *is equivalent to the fractional integral equation* u(t)={\int}_{0}^{T}G(t,s)f(s,u(s))\phantom{\rule{0.2em}{0ex}}ds, *where*

*Proof* It is easy to see that u(t)-u(0)={I}^{\alpha}f(t,u(t)). Hence,

and so u(T)=u(0)+{\int}_{0}^{T}\frac{{(T-s)}^{\alpha -1}}{\mathrm{\Gamma}(\alpha )}f(s,u(s))\phantom{\rule{0.2em}{0ex}}ds. Thus,

This completes the proof. □

Now, we present the next result.

**Theorem 3.4** *Consider the nonlinear fractional differential equation* {}^{c}D^{\alpha}u(t)=f(t,u(t)) *via the boundary condition* u(0)+u(T)=0 *with* u(0)\le 0, *where* T>0, \varphi \in \mathrm{\Phi}, f:I\times \mathbb{R}\to \mathbb{R} *is an increasing continuous function and* f\le 0 *and* 0\le f(t,y)-f(t,x)\le \frac{2\mathrm{\Gamma}(\alpha +1)}{{T}^{\alpha}}\varphi (y-x) *for all* x,y\in \mathbb{R} *with* x\le y. *If there exists a lower solution for the problem*, *then the problem has a unique solution*.

*Proof* Note that by using Lemma 3.3, the problem is equivalent to the integral equation u(t)={\int}_{0}^{T}G(t,s)f(s,u(s))\phantom{\rule{0.2em}{0ex}}ds, where

Define F:C(I,\mathbb{R})\to C(I,\mathbb{R}) by (Fu)(t)={\int}_{0}^{T}G(t,s)f(s,u(s))\phantom{\rule{0.2em}{0ex}}ds. Note that u\in C(I,\mathbb{R}) is a fixed point of *F* if and only if *u* is a solution of the problem. Let M=C(I,\mathbb{R}). Define the order ≤ on *M* by f\le g if and only if f(t)\le g(t) for all t\in I. Then (M,\le ,d) is a complete ordered metric space, where d(f,g)={sup}_{t\in I}|f(t)-g(t)|. It is easy to check that *F* is an increasing self-map. Thus,

for all u\ge v. Since the function *ϕ* is increasing and u\ge v, we get \varphi (u(s)-v(s))\le \varphi (d(u,v)), and so

for all u\u2ab0v. Now, let *β* be a lower solution for the problem. We show that \beta \u2aafF(\beta ). Since *β* is a lower solution for the problem, we get {I}^{\alpha}{D}^{\alpha}\beta (t)\le {I}^{\alpha}f(t,\beta (t)), \beta (0)+\beta (T)\le 0 and \beta (0)\le 0. Hence,

and so \beta (t)\le -\beta (T)+{\int}_{0}^{t}\frac{{(t-s)}^{\alpha -1}}{\mathrm{\Gamma}(\alpha )}f(s,\beta (s))\phantom{\rule{0.2em}{0ex}}ds for all t\in I. Since -\beta (T)\le 0, \beta (t)\le {\int}_{0}^{t}\frac{{(t-s)}^{\alpha -1}}{\mathrm{\Gamma}(\alpha )}f(s,\beta (s))\phantom{\rule{0.2em}{0ex}}ds and

Thus,

and so

Hence, \beta (t)\le {\int}_{0}^{T}G(t,s)f(s,\beta (s))\phantom{\rule{0.2em}{0ex}}ds=(F\beta )(t), that is, \beta \le F(\beta ). Note that the space (M,\le ,d) has the property that if \{{f}_{n}\} is an increasing sequence and {f}_{n}\to f for some f\in M, then {f}_{n}\u2aaff for all *n*. Therefore, by using Theorem 2.1, *F* has a unique fixed point. □

### 3.3 Existence result for a nonlinear fractional differential equation with another boundary condition

In this section, we solve the nonlinear fractional differential equation

*via* the boundary condition u(0)+\mu u(T)=0 with u(0)\le 0 and \mu >0, where T>0 and f:I\times \mathbb{R}\to \mathbb{R} is an increasing continuous function and f\le 0.

**Lemma 3.5** *Suppose that* 0<\alpha <1, t\in I=[0,T] *and* T>0. *Then the problem* {}^{c}D^{\alpha}u(t)=f(t,u(t)) *with the boundary value condition* u(0)+\mu u(T)=0 *with* u(0)\le 0 *and* \mu >0 *is equivalent to the fractional integral equation* u(t)={\int}_{0}^{T}G(t,s)f(s,u(s))\phantom{\rule{0.2em}{0ex}}ds, *where*

*Proof* It is easy to see that u(t)-u(0)={I}^{\alpha}f(t,u(t)), and so

Hence, u(T)=u(0)+{\int}_{0}^{T}\frac{{(T-s)}^{\alpha -1}}{\mathrm{\Gamma}(\alpha )}f(s,u(s))\phantom{\rule{0.2em}{0ex}}ds. Since u(T)=\frac{-u(0)}{\mu}, u(0)=\frac{-\mu}{\mu +1}{\int}_{0}^{T}\frac{{(T-s)}^{\alpha -1}}{\mathrm{\Gamma}(\alpha )}f(s,u(s))\phantom{\rule{0.2em}{0ex}}ds, and so

Thus,

This completes the proof. □

Now, we give the following result.

**Theorem 3.6** *Consider the nonlinear fractional differential equation* {}^{c}D^{\alpha}u(t)=f(t,u(t)) *via the boundary condition* u(0)+\mu u(T)=0 *with* u(0)\le 0 *and* \mu >0, *where* T>0, \varphi \in \mathrm{\Phi}, f:I\times \mathbb{R}\to \mathbb{R} *is an increasing continuous function and* f\le 0 *and* 0\le f(t,y)-f(t,x)\le \frac{\mathrm{\Gamma}(\alpha )}{{T}^{\alpha}}\varphi (y-x) *for all* x,y\in \mathbb{R} *with* x\le y. *If there exists a lower solution for the problem*, *then the problem has a unique solution*.

*Proof* Note that by using Lemma 3.5, the problem is equivalent to the integral equation u(t)={\int}_{0}^{T}G(t,s)f(s,u(s))\phantom{\rule{0.2em}{0ex}}ds, where

Define F:C(I,\mathbb{R})\to C(I,\mathbb{R}) by (Fu)(t)={\int}_{0}^{T}G(t,s)f(s,u(s))\phantom{\rule{0.2em}{0ex}}ds. Note that u\in C(I,\mathbb{R}) is a fixed point of *F* if and only if *u* is a solution of the problem. Let M=C(I,\mathbb{R}). Define the order ≤ on *M* by f\le g if and only if f(t)\le g(t) for all t\in I. Then (M,\le ,d) is a complete ordered metric space, where d(f,g)={sup}_{t\in I}|f(t)-g(t)|. It is easy to check that *F* is an increasing self-map. Thus,

for all u\ge v. Since the function *ϕ* is increasing and u\ge v, we get \varphi (u(s)-v(s))\le \varphi (d(u,v)), and so

for all u\u2ab0v. Now, let *β* be a lower solution for the problem. We show that \beta \u2aafF(\beta ). Since *β* is a lower solution for the problem, we get {I}^{\alpha}{D}^{\alpha}\beta (t)\le {I}^{\alpha}f(t,\beta (t)), \beta (0)+\mu \beta (T)\le 0 and \beta (0)\le 0. Hence, \beta (t)\le \beta (0)+{\int}_{0}^{t}\frac{{(t-s)}^{\alpha -1}}{\mathrm{\Gamma}(\alpha )}f(s,\beta (s))\phantom{\rule{0.2em}{0ex}}ds, and so

for all t\in I. Since f\le 0, {\int}_{0}^{T}\frac{-\mu {(T-s)}^{\alpha -1}}{(\mu +1)\mathrm{\Gamma}(\alpha )}f(s,\beta (s))\phantom{\rule{0.2em}{0ex}}ds\ge 0. Thus,

and so \beta (t)\le {\int}_{0}^{T}G(t,s)f(s,\beta (s))\phantom{\rule{0.2em}{0ex}}ds=(F\beta )(t). Hence, \beta \le F(\beta ). Note that the space (M,\le ,d) has the property that if \{{f}_{n}\} is an increasing sequence and {f}_{n}\to f for some f\in M, then {f}_{n}\u2aaff for all *n*. Therefore by using Theorem 2.1, *F* has a unique fixed point. □

## Conclusions

In this manuscript, by making use of fixed point techniques on ordered metric spaces, the existence and uniqueness of the solution of a nonlinear fractional differential equation with periodic and anti-periodic boundary conditions were investigated. To sustain our results, two illustrative examples were analyzed in detail.

## References

Miller KS, Ross B:

*An Introduction to the Fractional Calculus and Fractional Differential Equation*. Wiley, New York; 1993.Kilbas AA, Srivastava HM, Trujillo JJ North-Holland Mathematics Studies 204. In

*Theory and Applications of Fractional Differential Equations*. Elsevier, Amsterdam; 2006.Podlubny I:

*Fractional Differential Equations*. Academic Press, San Diego; 1999.Samko SG, Kilbas AA, Marichev OI:

*Fractional Integral and Derivative, Theory and Applications*. Gordon & Breach, New York; 1993.Baleanu D: Fractional variational principles in action.

*Phys. Scr.*2009., 2009(T136): Article ID 014006Tenreiro JA: Fractional derivatives: probability interpretation and frequency response of rational approximations.

*Commun. Nonlinear Sci. Numer. Simul.*2009, 14: 3492–3497. 10.1016/j.cnsns.2009.02.004Delbosco D, Rodino L: Existence and uniqueness for a nonlinear fractional differential equation.

*J. Math. Anal. Appl.*1996, 204: 609–925. 10.1006/jmaa.1996.0456Zhang S: The existence of a positive solution for nonlinear fractional differential equation.

*J. Math. Anal. Appl.*2000, 252: 804–812. 10.1006/jmaa.2000.7123Zhang S: Existence of positive solutions for some class of nonlinear fractional equation.

*J. Math. Anal. Appl.*2003, 278: 136–148. 10.1016/S0022-247X(02)00583-8Hashim I, Abdulaziz O, Momani S: Homotopy analysis method for fractional initial value problems.

*Commun. Nonlinear Sci. Numer. Simul.*2009, 14: 674–684. 10.1016/j.cnsns.2007.09.014Al-Mdallal M, Syam MI, Anwar MN: A collocation-shooting method for solving fractional boundary value problems.

*Commun. Nonlinear Sci. Numer. Simul.*2010, 15: 3814–3822. 10.1016/j.cnsns.2010.01.020Jafari H, Daftardar-Gejji V: Positive solution of nonlinear fractional boundary value problems using a domain decomposition method.

*J. Appl. Math. Comput.*2006, 180: 700–706. 10.1016/j.amc.2006.01.007Ahmad B, Nieto JJ: Existence of solutions for nonlocal boundary value problems of higher-order nonlinear fractional differential equations.

*Abstr. Appl. Anal.*2009., 2009: Article ID 494720Nieto JJ: Maximum principles for fractional differential equations derived from Mittag-Leffler functions.

*Appl. Math. Lett.*2010, 23: 1248–1251. 10.1016/j.aml.2010.06.007Belmekki M, Nieto JJ, Rodriguez-Lopez R: Existence of periodic solution for a nonlinear fractional differential equation.

*Bound. Value Probl.*2009., 2009: Article ID 324561Qiu T, Bai Z: Existence of positive solution for singular fractional equations.

*Electron. J. Differ. Equ.*2008, 146: 1–9.Baleanu D, Diethelm K, Scalas E, Trujillo JJ Series on Complexity, Nonlinearity and Chaos. In

*Fractional Calculus Models and Numerical Methods*. World Scientific, Singapore; 2012.Baleanu D, Mustafa OG: On the global existence of solutions to a class of fractional differential equations.

*Comput. Math. Appl.*2010, 59(5):1835–1841. 10.1016/j.camwa.2009.08.028Agarwal RP, Lakshmikantam V, Nieto JJ: On the concept of solution for fractional differential equations with uncertainty.

*Nonlinear Anal.*2010, 72: 2859–2862. 10.1016/j.na.2009.11.029Zhao Y, Sun Sh, Han Z: The existence of multiple positive solutions for boundary value problems of nonlinear fractional differential equations.

*Commun. Nonlinear Sci. Numer. Simul.*2011, 16: 2086–2097. 10.1016/j.cnsns.2010.08.017Amini-Harandi A, Emami H: A fixed point theorem for contraction type maps in partially ordered metric spaces and application to ordinary differential equations.

*Nonlinear Anal.*2010, 72: 2238–2242. 10.1016/j.na.2009.10.023Cabrera IJ, Harjani J, Sadarangani KB: Existence and uniqueness of positive solutions for a singular fractional three-point boundary value problem.

*Abstr. Appl. Anal.*2012., 2012: Article ID 803417Zhou X, Wu W, Ma H: A contraction fixed point theorem in partially ordered metric spaces and application to fractional differential equations.

*Abstr. Appl. Anal.*2012., 2012: Article ID 856302

## Acknowledgements

This work is partially supported by the Scientific and Technical Research Council of Turkey. Research of the second and third authors was supported by Azarbaidjan Shahid Madani University.

## Author information

### Authors and Affiliations

### Corresponding author

## Additional information

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

All authors have equal contributions.

## Rights and permissions

**Open Access** This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

## About this article

### Cite this article

Baleanu, D., Mohammadi, H. & Rezapour, S. On a nonlinear fractional differential equation on partially ordered metric spaces.
*Adv Differ Equ* **2013**, 83 (2013). https://doi.org/10.1186/1687-1847-2013-83

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/1687-1847-2013-83